Trace number 1780510

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
satake 2009-03-22 (4 threads)? (TO) 1977.54 1000.07

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-20-5p1.cnf
MD5SUMc530016627d60451f148c386bba0e9bf
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3611.89
Satisfiable
(Un)Satisfiability was proved
Number of variables224962
Number of clauses1204358
Sum of the clauses size2908547
Maximum clause length10
Minimum clause length1
Number of clauses of size 111403
Number of clauses of size 2851881
Number of clauses of size 3284354
Number of clauses of size 46300
Number of clauses of size 525200
Number of clauses of size over 525220

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1780510-1243648197/watcher-1780510-1243648197 -o /tmp/evaluation-result-1780510-1243648197/solver-1780510-1243648197 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780510-1243648197.cnf 4 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 5.27 5.49 5.46 6/114 21514
/proc/meminfo: memFree=3152128/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=964 CPUtime=0
/proc/21513/stat : 21513 (satake) R 21511 21513 8716 0 -1 4202496 107 0 0 0 0 0 0 0 19 0 2 0 1129483832 987136 64 4294967295 134512640 135180984 3218639072 3218638416 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 241 64 54 164 0 76 0
[pid=21513/tid=21514] ppid=21511 vsize=964 CPUtime=0
/proc/21513/task/21514/stat : 21514 (satake) R 21511 21513 8716 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 1129483832 987136 64 4294967295 134512640 135180984 3218639072 3086115652 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.088751 s]
/proc/loadavg: 5.27 5.49 5.46 6/114 21514
/proc/meminfo: memFree=3152128/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=75896 CPUtime=0.14
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 18236 0 0 0 2 12 0 0 19 0 5 0 1129483832 77717504 18179 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 18974 18181 63 164 0 18809 0
[pid=21513/tid=21514] ppid=21511 vsize=75896 CPUtime=0
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1129483832 77717504 18181 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 75896

[startup+0.108755 s]
/proc/loadavg: 5.27 5.49 5.46 6/114 21514
/proc/meminfo: memFree=3152128/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=84840 CPUtime=0.16
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 20050 0 0 0 3 13 0 0 19 0 5 0 1129483832 86876160 19986 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 21210 19986 63 164 0 21045 0
[pid=21513/tid=21514] ppid=21511 vsize=84840 CPUtime=0
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1129483832 86876160 19986 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 84840

[startup+0.308729 s]
/proc/loadavg: 5.27 5.49 5.46 6/114 21514
/proc/meminfo: memFree=3152128/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=162972 CPUtime=0.49
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 35289 0 0 0 26 23 0 0 19 0 5 0 1129483832 166883328 35218 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 40743 35218 63 164 0 40578 0
[pid=21513/tid=21514] ppid=21511 vsize=162972 CPUtime=0
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1129483832 166883328 35218 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 162972

[startup+0.708696 s]
/proc/loadavg: 5.27 5.49 5.46 6/114 21514
/proc/meminfo: memFree=3152128/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=183924 CPUtime=1.28
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 40317 0 0 0 99 29 0 0 19 0 5 0 1129483832 188338176 40246 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 45981 40246 63 164 0 45816 0
[pid=21513/tid=21514] ppid=21511 vsize=183924 CPUtime=0
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1129483832 188338176 40246 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 183924

[startup+1.50865 s]
/proc/loadavg: 5.27 5.49 5.46 6/118 21518
/proc/meminfo: memFree=2975716/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=232136 CPUtime=2.74
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 53474 0 0 0 236 38 0 0 19 0 5 0 1129483832 237707264 53403 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 58034 53403 63 164 0 57869 0
[pid=21513/tid=21514] ppid=21511 vsize=232136 CPUtime=0
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1129483832 237707264 53403 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21513/tid=21516] ppid=21511 vsize=232136 CPUtime=1.31
/proc/21513/task/21516/stat : 21516 (satake) R 21511 21513 8716 0 -1 4202560 20531 0 0 0 117 14 0 0 16 0 5 0 1129483832 237707264 53404 4294967295 134512640 135180984 3218639072 3086049428 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21513/tid=21517] ppid=21511 vsize=232136 CPUtime=0.15
/proc/21513/task/21517/stat : 21517 (satake) R 21511 21513 8716 0 -1 4202560 11777 0 0 0 7 8 0 0 20 0 5 0 1129483832 237707264 53404 4294967295 134512640 135180984 3218639072 3085984032 134513762 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21513/tid=21518] ppid=21511 vsize=232136 CPUtime=1.28
/proc/21513/task/21518/stat : 21518 (satake) R 21511 21513 8716 0 -1 4202560 21050 0 0 0 112 16 0 0 16 0 5 0 1129483832 237707264 53404 4294967295 134512640 135180984 3218639072 3085918180 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 232136

[startup+3.10849 s]
/proc/loadavg: 5.27 5.49 5.46 7/118 21518
/proc/meminfo: memFree=2974728/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=212756 CPUtime=5.89
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 60202 0 0 0 546 43 0 0 19 0 5 0 1129483832 217862144 48785 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 53189 48785 68 164 0 53024 0
[pid=21513/tid=21514] ppid=21511 vsize=212756 CPUtime=0.06
/proc/21513/task/21514/stat : 21514 (satake) R 21511 21513 8716 0 -1 4202560 3642 0 0 0 3 3 0 0 18 0 5 0 1129483832 217862144 48785 4294967295 134512640 135180984 3218639072 3086114836 134580588 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21513/tid=21516] ppid=21511 vsize=212756 CPUtime=2.69
/proc/21513/task/21516/stat : 21516 (satake) R 21511 21513 8716 0 -1 4202560 21347 0 0 0 255 14 0 0 16 0 5 0 1129483832 217862144 48785 4294967295 134512640 135180984 3218639072 3086049136 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21513/tid=21517] ppid=21511 vsize=212756 CPUtime=0.6
/proc/21513/task/21517/stat : 21517 (satake) R 21511 21513 8716 0 -1 4202560 13572 0 0 0 52 8 0 0 19 0 5 0 1129483832 217862144 48785 4294967295 134512640 135180984 3218639072 3085984032 134513762 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21513/tid=21518] ppid=21511 vsize=212756 CPUtime=2.54
/proc/21513/task/21518/stat : 21518 (satake) R 21511 21513 8716 0 -1 4202560 21531 0 0 0 236 18 0 0 16 0 5 0 1129483832 217862144 48785 4294967295 134512640 135180984 3218639072 3085918000 134523800 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 212756

[startup+6.30821 s]
/proc/loadavg: 5.65 5.56 5.48 6/118 21526
/proc/meminfo: memFree=2951540/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=218916 CPUtime=12.28
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 61413 0 0 0 1169 59 0 0 19 0 5 0 1129483832 224169984 49996 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 54729 49996 68 164 0 54564 0
[pid=21513/tid=21514] ppid=21511 vsize=218916 CPUtime=0.14
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 3652 0 0 0 3 11 0 0 16 0 5 0 1129483832 224169984 49996 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21513/tid=21516] ppid=21511 vsize=218916 CPUtime=5.8
/proc/21513/task/21516/stat : 21516 (satake) R 21511 21513 8716 0 -1 4202560 21480 0 0 0 566 14 0 0 20 0 5 0 1129483832 224169984 49996 4294967295 134512640 135180984 3218639072 3086049040 134525129 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21513/tid=21517] ppid=21511 vsize=218916 CPUtime=0.81
/proc/21513/task/21517/stat : 21517 (satake) R 21511 21513 8716 0 -1 4202560 14610 0 0 0 71 10 0 0 19 0 5 0 1129483832 224169984 49996 4294967295 134512640 135180984 3218639072 3085984000 134519853 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21513/tid=21518] ppid=21511 vsize=218916 CPUtime=5.53
/proc/21513/task/21518/stat : 21518 (satake) R 21511 21513 8716 0 -1 4202560 21561 0 0 0 529 24 0 0 18 0 5 0 1129483832 224169984 49996 4294967295 134512640 135180984 3218639072 3085917968 134525209 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 218916

[startup+12.7077 s]
/proc/loadavg: 5.67 5.57 5.49 6/118 21534
/proc/meminfo: memFree=2956744/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=208768 CPUtime=24.87
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 65860 0 0 0 2409 78 0 0 19 0 5 0 1129483832 213778432 48770 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 52192 48770 68 164 0 52027 0
[pid=21513/tid=21514] ppid=21511 vsize=208768 CPUtime=0.22
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 3658 0 0 0 7 15 0 0 15 0 5 0 1129483832 213778432 48770 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21513/tid=21516] ppid=21511 vsize=208768 CPUtime=9.28
/proc/21513/task/21516/stat : 21516 (satake) R 21511 21513 8716 0 -1 4202560 21615 0 0 0 912 16 0 0 25 0 5 0 1129483832 213778432 48770 4294967295 134512640 135180984 3218639072 3086049040 134525204 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21513/tid=21517] ppid=21511 vsize=208768 CPUtime=5.33
/proc/21513/task/21517/stat : 21517 (satake) R 21511 21513 8716 0 -1 4202560 18858 0 0 0 513 20 0 0 25 0 5 0 1129483832 213778432 48770 4294967295 134512640 135180984 3218639072 3085983600 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21513/tid=21518] ppid=21511 vsize=208768 CPUtime=10.04
/proc/21513/task/21518/stat : 21518 (satake) R 21511 21513 8716 0 -1 4202560 21619 0 0 0 977 27 0 0 25 0 5 0 1129483832 213778432 48770 4294967295 134512640 135180984 3218639072 3085918064 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.87
Current children cumulated vsize (KiB) 208768

[startup+25.5066 s]
/proc/loadavg: 5.75 5.59 5.49 6/118 21740
/proc/meminfo: memFree=2953176/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=212556 CPUtime=49.54
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 66788 0 0 0 4863 91 0 0 19 0 5 0 1129483832 217657344 49698 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 53139 49698 68 164 0 52974 0
[pid=21513/tid=21514] ppid=21511 vsize=212556 CPUtime=0.35
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 3668 0 0 0 12 23 0 0 15 0 5 0 1129483832 217657344 49698 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21513/tid=21516] ppid=21511 vsize=212556 CPUtime=16.55
/proc/21513/task/21516/stat : 21516 (satake) R 21511 21513 8716 0 -1 4202560 22117 0 0 0 1637 18 0 0 25 0 5 0 1129483832 217657344 49698 4294967295 134512640 135180984 3218639072 3086049136 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21513/tid=21517] ppid=21511 vsize=212556 CPUtime=14.33
/proc/21513/task/21517/stat : 21517 (satake) R 21511 21513 8716 0 -1 4202560 19007 0 0 0 1411 22 0 0 25 0 5 0 1129483832 217657344 49698 4294967295 134512640 135180984 3218639072 3085983600 134528796 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21513/tid=21518] ppid=21511 vsize=212556 CPUtime=18.31
/proc/21513/task/21518/stat : 21518 (satake) R 21511 21513 8716 0 -1 4202560 21886 0 0 0 1803 28 0 0 25 0 5 0 1129483832 217657344 49698 4294967295 134512640 135180984 3218639072 3085918064 134528286 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.54
Current children cumulated vsize (KiB) 212556

[startup+51.1143 s]
/proc/loadavg: 5.63 5.57 5.49 6/118 21777
/proc/meminfo: memFree=2945668/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=220276 CPUtime=99.86
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 68792 0 0 0 9876 110 0 0 19 0 5 0 1129483832 225562624 51702 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 55069 51702 68 164 0 54904 0
[pid=21513/tid=21514] ppid=21511 vsize=220276 CPUtime=0.49
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 3687 0 0 0 16 33 0 0 15 0 5 0 1129483832 225562624 51702 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21513/tid=21516] ppid=21511 vsize=220276 CPUtime=32.63
/proc/21513/task/21516/stat : 21516 (satake) R 21511 21513 8716 0 -1 4202560 23103 0 0 0 3242 21 0 0 25 0 5 0 1129483832 225562624 51702 4294967295 134512640 135180984 3218639072 3086049104 134520027 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21513/tid=21517] ppid=21511 vsize=220276 CPUtime=32.23
/proc/21513/task/21517/stat : 21517 (satake) R 21511 21513 8716 0 -1 4202560 19345 0 0 0 3201 22 0 0 25 0 5 0 1129483832 225562624 51702 4294967295 134512640 135180984 3218639072 3085983504 134525337 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21513/tid=21518] ppid=21511 vsize=220276 CPUtime=34.51
/proc/21513/task/21518/stat : 21518 (satake) R 21511 21513 8716 0 -1 4202560 22547 0 0 0 3417 34 0 0 25 0 5 0 1129483832 225562624 51702 4294967295 134512640 135180984 3218639072 3085918064 134528954 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.86
Current children cumulated vsize (KiB) 220276

[startup+102.31 s]
/proc/loadavg: 5.64 5.58 5.49 6/118 22041
/proc/meminfo: memFree=2922748/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=242748 CPUtime=200.28
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 74366 0 0 0 19878 150 0 0 19 0 5 0 1129483832 248573952 57276 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 60687 57276 68 164 0 60522 0
[pid=21513/tid=21514] ppid=21511 vsize=242748 CPUtime=0.82
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 3722 0 0 0 30 52 0 0 16 0 5 0 1129483832 248573952 57276 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21513/tid=21516] ppid=21511 vsize=242748 CPUtime=63.26
/proc/21513/task/21516/stat : 21516 (satake) R 21511 21513 8716 0 -1 4202560 25324 0 0 0 6295 31 0 0 25 0 5 0 1129483832 248573952 57277 4294967295 134512640 135180984 3218639072 3086048940 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21513/tid=21517] ppid=21511 vsize=242748 CPUtime=66.57
/proc/21513/task/21517/stat : 21517 (satake) R 21511 21513 8716 0 -1 4202560 21068 0 0 0 6629 28 0 0 25 0 5 0 1129483832 248573952 57277 4294967295 134512640 135180984 3218639072 3085983432 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21513/tid=21518] ppid=21511 vsize=242748 CPUtime=69.63
/proc/21513/task/21518/stat : 21518 (satake) R 21511 21513 8716 0 -1 4202560 24143 0 0 0 6924 39 0 0 25 0 5 0 1129483832 248573952 57277 4294967295 134512640 135180984 3218639072 3085918128 134532445 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 200.28
Current children cumulated vsize (KiB) 242748

[startup+162.315 s]
/proc/loadavg: 5.68 5.60 5.51 6/118 22324
/proc/meminfo: memFree=2894780/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=270444 CPUtime=318.45
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 81280 0 0 0 31656 189 0 0 19 0 5 0 1129483832 276934656 64190 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 67611 64190 68 164 0 67446 0
[pid=21513/tid=21514] ppid=21511 vsize=270444 CPUtime=1.12
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 3827 0 0 0 41 71 0 0 16 0 5 0 1129483832 276934656 64190 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21513/tid=21516] ppid=21511 vsize=270444 CPUtime=99.12
/proc/21513/task/21516/stat : 21516 (satake) R 21511 21513 8716 0 -1 4202560 27681 0 0 0 9875 37 0 0 25 0 5 0 1129483832 276934656 64190 4294967295 134512640 135180984 3218639072 3086049040 134525228 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21513/tid=21517] ppid=21511 vsize=270444 CPUtime=108.6
/proc/21513/task/21517/stat : 21517 (satake) R 21511 21513 8716 0 -1 4202560 23389 0 0 0 10824 36 0 0 25 0 5 0 1129483832 276934656 64190 4294967295 134512640 135180984 3218639072 3085983392 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21513/tid=21518] ppid=21511 vsize=270444 CPUtime=109.61
/proc/21513/task/21518/stat : 21518 (satake) R 21511 21513 8716 0 -1 4202560 26273 0 0 0 10916 45 0 0 25 0 5 0 1129483832 276934656 64190 4294967295 134512640 135180984 3218639072 3085917960 134519103 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 318.45

################
# More data... #
################

[pid=21513/tid=21516] ppid=21511 vsize=446376 CPUtime=325.36
/proc/21513/task/21516/stat : 21516 (satake) R 21511 21513 8716 0 -1 4202560 43426 0 0 0 32483 53 0 0 25 0 5 0 1129483832 457089024 108285 4294967295 134512640 135180984 3218639072 3086049136 134528278 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21513/tid=21517] ppid=21511 vsize=446376 CPUtime=345.53
/proc/21513/task/21517/stat : 21517 (satake) R 21511 21513 8716 0 -1 4202560 37581 0 0 0 34495 58 0 0 25 0 5 0 1129483832 457089024 108285 4294967295 134512640 135180984 3218639072 3085983600 134528652 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21513/tid=21518] ppid=21511 vsize=446376 CPUtime=357.39
/proc/21513/task/21518/stat : 21518 (satake) R 21511 21513 8716 0 -1 4202560 40075 0 0 0 35669 70 0 0 25 0 5 0 1129483832 457089024 108285 4294967295 134512640 135180984 3218639072 3085917968 134524624 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1030.46
Current children cumulated vsize (KiB) 446376

[startup+582.309 s]
/proc/loadavg: 5.51 5.64 5.56 6/118 24265
/proc/meminfo: memFree=2684940/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=480040 CPUtime=1149.32
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 133729 0 0 0 114600 332 0 0 19 0 5 0 1129483832 491560960 116639 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 120010 116639 68 164 0 119845 0
[pid=21513/tid=21514] ppid=21511 vsize=480040 CPUtime=2.26
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 4214 0 0 0 83 143 0 0 15 0 5 0 1129483832 491560960 116639 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21513/tid=21516] ppid=21511 vsize=480040 CPUtime=357.42
/proc/21513/task/21516/stat : 21516 (satake) R 21511 21513 8716 0 -1 4202560 45929 0 0 0 35689 53 0 0 25 0 5 0 1129483832 491560960 116639 4294967295 134512640 135180984 3218639072 3086049136 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21513/tid=21517] ppid=21511 vsize=480040 CPUtime=391.03
/proc/21513/task/21517/stat : 21517 (satake) R 21511 21513 8716 0 -1 4202560 40678 0 0 0 39042 61 0 0 25 0 5 0 1129483832 491560960 116639 4294967295 134512640 135180984 3218639072 3085983600 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21513/tid=21518] ppid=21511 vsize=480040 CPUtime=398.61
/proc/21513/task/21518/stat : 21518 (satake) R 21511 21513 8716 0 -1 4202560 42798 0 0 0 39786 75 0 0 25 0 5 0 1129483832 491560960 116639 4294967295 134512640 135180984 3218639072 3085917964 134519094 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1149.32
Current children cumulated vsize (KiB) 480040

[startup+642.303 s]
/proc/loadavg: 5.50 5.61 5.55 6/120 24544
/proc/meminfo: memFree=2650756/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=513228 CPUtime=1268.16
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 142238 0 0 0 126461 355 0 0 19 0 5 0 1129483832 525545472 125148 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 128307 125148 68 164 0 128142 0
[pid=21513/tid=21514] ppid=21511 vsize=513228 CPUtime=2.4
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 4245 0 0 0 89 151 0 0 15 0 5 0 1129483832 525545472 125148 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21513/tid=21516] ppid=21511 vsize=513228 CPUtime=393.32
/proc/21513/task/21516/stat : 21516 (satake) R 21511 21513 8716 0 -1 4202560 48838 0 0 0 39272 60 0 0 25 0 5 0 1129483832 525545472 125148 4294967295 134512640 135180984 3218639072 3086049072 134523641 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21513/tid=21517] ppid=21511 vsize=513228 CPUtime=434.63
/proc/21513/task/21517/stat : 21517 (satake) R 21511 21513 8716 0 -1 4202560 43721 0 0 0 43397 66 0 0 25 0 5 0 1129483832 525545472 125148 4294967295 134512640 135180984 3218639072 3085983600 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21513/tid=21518] ppid=21511 vsize=513228 CPUtime=437.81
/proc/21513/task/21518/stat : 21518 (satake) R 21511 21513 8716 0 -1 4202560 45324 0 0 0 43703 78 0 0 25 0 5 0 1129483832 525545472 125148 4294967295 134512640 135180984 3218639072 3085918064 134528470 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1268.16
Current children cumulated vsize (KiB) 513228

[startup+702.308 s]
/proc/loadavg: 5.64 5.64 5.56 7/118 24818
/proc/meminfo: memFree=2617484/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=546888 CPUtime=1387.36
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 150564 0 0 0 138363 373 0 0 19 0 5 0 1129483832 560013312 133474 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 136722 133474 68 164 0 136557 0
[pid=21513/tid=21514] ppid=21511 vsize=546888 CPUtime=2.52
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 4282 0 0 0 93 159 0 0 15 0 5 0 1129483832 560013312 133474 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21513/tid=21516] ppid=21511 vsize=546888 CPUtime=434.45
/proc/21513/task/21516/stat : 21516 (satake) R 21511 21513 8716 0 -1 4202560 52033 0 0 0 43381 64 0 0 25 0 5 0 1129483832 560013312 133474 4294967295 134512640 135180984 3218639072 3086049136 134526371 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21513/tid=21517] ppid=21511 vsize=546888 CPUtime=476.14
/proc/21513/task/21517/stat : 21517 (satake) R 21511 21513 8716 0 -1 4202560 46247 0 0 0 47547 67 0 0 25 0 5 0 1129483832 560013312 133474 4294967295 134512640 135180984 3218639072 3085983600 134528562 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21513/tid=21518] ppid=21511 vsize=546888 CPUtime=474.25
/proc/21513/task/21518/stat : 21518 (satake) R 21511 21513 8716 0 -1 4202560 47892 0 0 0 47342 83 0 0 25 0 5 0 1129483832 560013312 133474 4294967295 134512640 135180984 3218639072 3085918032 134519935 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1387.36
Current children cumulated vsize (KiB) 546888

[startup+762.323 s]
/proc/loadavg: 5.69 5.65 5.56 7/120 25094
/proc/meminfo: memFree=2583600/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=581232 CPUtime=1506.37
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 158745 0 0 0 150245 392 0 0 19 0 5 0 1129483832 595181568 141655 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 145308 141655 68 164 0 145143 0
[pid=21513/tid=21514] ppid=21511 vsize=581232 CPUtime=2.67
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 4313 0 0 0 99 168 0 0 15 0 5 0 1129483832 595181568 141655 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21513/tid=21516] ppid=21511 vsize=581232 CPUtime=474.55
/proc/21513/task/21516/stat : 21516 (satake) R 21511 21513 8716 0 -1 4202560 54960 0 0 0 47388 67 0 0 25 0 5 0 1129483832 595181568 141655 4294967295 134512640 135180984 3218639072 3086049008 134522699 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21513/tid=21517] ppid=21511 vsize=581232 CPUtime=513.67
/proc/21513/task/21517/stat : 21517 (satake) R 21511 21513 8716 0 -1 4202560 48681 0 0 0 51296 71 0 0 25 0 5 0 1129483832 595181568 141655 4294967295 134512640 135180984 3218639072 3085983600 134528866 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21513/tid=21518] ppid=21511 vsize=581232 CPUtime=515.48
/proc/21513/task/21518/stat : 21518 (satake) R 21511 21513 8716 0 -1 4202560 50681 0 0 0 51462 86 0 0 25 0 5 0 1129483832 595181568 141655 4294967295 134512640 135180984 3218639072 3085918056 134520881 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1506.37
Current children cumulated vsize (KiB) 581232

[startup+822.308 s]
/proc/loadavg: 5.82 5.69 5.58 6/118 25369
/proc/meminfo: memFree=2555812/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=612004 CPUtime=1624.87
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 166168 0 0 0 162069 418 0 0 19 0 5 0 1129483832 626692096 149078 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 153001 149078 68 164 0 152836 0
[pid=21513/tid=21514] ppid=21511 vsize=612004 CPUtime=2.78
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 4342 0 0 0 103 175 0 0 16 0 5 0 1129483832 626692096 149078 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21513/tid=21516] ppid=21511 vsize=612004 CPUtime=510.21
/proc/21513/task/21516/stat : 21516 (satake) R 21511 21513 8716 0 -1 4202560 57232 0 0 0 50946 75 0 0 25 0 5 0 1129483832 626692096 149078 4294967295 134512640 135180984 3218639072 3086049128 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21513/tid=21517] ppid=21511 vsize=612004 CPUtime=554.23
/proc/21513/task/21517/stat : 21517 (satake) R 21511 21513 8716 0 -1 4202560 51254 0 0 0 55347 76 0 0 25 0 5 0 1129483832 626692096 149078 4294967295 134512640 135180984 3218639072 3085983596 134520875 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21513/tid=21518] ppid=21511 vsize=612004 CPUtime=557.65
/proc/21513/task/21518/stat : 21518 (satake) R 21511 21513 8716 0 -1 4202560 53230 0 0 0 55673 92 0 0 25 0 5 0 1129483832 626692096 149078 4294967295 134512640 135180984 3218639072 3085918064 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1624.87
Current children cumulated vsize (KiB) 612004

[startup+882.313 s]
/proc/loadavg: 6.00 5.76 5.60 6/118 25644
/proc/meminfo: memFree=2522768/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=643664 CPUtime=1743.9
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 174234 0 0 0 173951 439 0 0 19 0 5 0 1129483832 659111936 157144 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 160916 157144 68 164 0 160751 0
[pid=21513/tid=21514] ppid=21511 vsize=643664 CPUtime=2.88
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 4370 0 0 0 107 181 0 0 15 0 5 0 1129483832 659111936 157144 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21513/tid=21516] ppid=21511 vsize=643664 CPUtime=552.7
/proc/21513/task/21516/stat : 21516 (satake) R 21511 21513 8716 0 -1 4202560 60305 0 0 0 55187 83 0 0 25 0 5 0 1129483832 659111936 157144 4294967295 134512640 135180984 3218639072 3086049132 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21513/tid=21517] ppid=21511 vsize=643664 CPUtime=592.11
/proc/21513/task/21517/stat : 21517 (satake) R 21511 21513 8716 0 -1 4202560 53517 0 0 0 59132 79 0 0 25 0 5 0 1129483832 659111936 157144 4294967295 134512640 135180984 3218639072 3085983404 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21513/tid=21518] ppid=21511 vsize=643664 CPUtime=596.21
/proc/21513/task/21518/stat : 21518 (satake) R 21511 21513 8716 0 -1 4202560 55932 0 0 0 59525 96 0 0 25 0 5 0 1129483832 659111936 157144 4294967295 134512640 135180984 3218639072 3085918064 134528680 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1743.9
Current children cumulated vsize (KiB) 643664

[startup+942.307 s]
/proc/loadavg: 6.08 5.81 5.63 7/118 25931
/proc/meminfo: memFree=2496372/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=669592 CPUtime=1863.03
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 180867 0 0 0 185847 456 0 0 19 0 5 0 1129483832 685662208 163777 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 167398 163777 68 164 0 167233 0
[pid=21513/tid=21514] ppid=21511 vsize=669592 CPUtime=2.94
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 4388 0 0 0 108 186 0 0 15 0 5 0 1129483832 685662208 163777 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21513/tid=21516] ppid=21511 vsize=669592 CPUtime=595.3
/proc/21513/task/21516/stat : 21516 (satake) R 21511 21513 8716 0 -1 4202560 63104 0 0 0 59444 86 0 0 25 0 5 0 1129483832 685662208 163777 4294967295 134512640 135180984 3218639072 3086049104 134520027 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21513/tid=21517] ppid=21511 vsize=669592 CPUtime=627.98
/proc/21513/task/21517/stat : 21517 (satake) R 21511 21513 8716 0 -1 4202560 55236 0 0 0 62713 85 0 0 25 0 5 0 1129483832 685662208 163777 4294967295 134512640 135180984 3218639072 3085983600 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21513/tid=21518] ppid=21511 vsize=669592 CPUtime=636.81
/proc/21513/task/21518/stat : 21518 (satake) R 21511 21513 8716 0 -1 4202560 58029 0 0 0 63582 99 0 0 25 0 5 0 1129483832 685662208 163777 4294967295 134512640 135180984 3218639072 3085918064 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1863.03
Current children cumulated vsize (KiB) 669592



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.91 5.81 5.64 6/120 26206
/proc/meminfo: memFree=2463328/3368532 swapFree=1954888/1959888
[pid=21513] ppid=21511 vsize=701356 CPUtime=1977.47
/proc/21513/stat : 21513 (satake) S 21511 21513 8716 0 -1 4202496 188725 0 0 0 197275 472 0 0 19 0 5 0 1129483832 718188544 171635 4294967295 134512640 135180984 3218639072 3218638508 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21513/statm: 175339 171635 68 164 0 175174 0
[pid=21513/tid=21514] ppid=21511 vsize=701356 CPUtime=3.05
/proc/21513/task/21514/stat : 21514 (satake) S 21511 21513 8716 0 -1 4202560 4404 0 0 0 112 193 0 0 15 0 5 0 1129483832 718188544 171635 4294967295 134512640 135180984 3218639072 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21513/tid=21516] ppid=21511 vsize=701356 CPUtime=630.98
/proc/21513/task/21516/stat : 21516 (satake) R 21511 21513 8716 0 -1 4202560 65671 0 0 0 63008 90 0 0 25 0 5 0 1129483832 718188544 171635 4294967295 134512640 135180984 3218639072 3086049076 134523985 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21513/tid=21517] ppid=21511 vsize=701356 CPUtime=669.63
/proc/21513/task/21517/stat : 21517 (satake) R 21511 21513 8716 0 -1 4202560 58195 0 0 0 66874 89 0 0 25 0 5 0 1129483832 718188544 171635 4294967295 134512640 135180984 3218639072 3085983504 134525473 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21513/tid=21518] ppid=21511 vsize=701356 CPUtime=673.81
/proc/21513/task/21518/stat : 21518 (satake) R 21511 21513 8716 0 -1 4202560 60345 0 0 0 67281 100 0 0 25 0 5 0 1129483832 718188544 171635 4294967295 134512640 135180984 3218639072 3085918064 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1977.47
Current children cumulated vsize (KiB) 701356

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.07
CPU time (s): 1977.54
CPU user time (s): 1972.79
CPU system time (s): 4.75
CPU usage (%): 197.74
Max. virtual memory (cumulated for all children) (KiB): 701356

deleting IPC queue 15204352
deleting IPC queue 15237121
deleting IPC queue 15269890
deleting IPC queue 15302659
deleting IPC queue 15335428
deleting IPC queue 15368197
deleting IPC queue 15400966
deleting IPC queue 15433735
deleting IPC queue 15466504
deleting IPC queue 15499273
deleting IPC queue 15532042
deleting IPC queue 15564811
deleting IPC queue 15597580
deleting IPC queue 15630349
deleting IPC queue 15663118
deleting IPC queue 15695887

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1972.79
system time used= 4.75
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188725
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 658910
involuntary context switches= 672513

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 03:49:57
IDJOB=1780510
IDBENCH=71013
IDSOLVER=629
FILE ID=/1780510-1243648197
PBS_JOBID=
Free space on /tmp= 15860 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-5p1.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780510-1243648197/watcher-1780510-1243648197 -o /tmp/evaluation-result-1780510-1243648197/solver-1780510-1243648197 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780510-1243648197.cnf 4 10000

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= c530016627d60451f148c386bba0e9bf
RANDOM SEED= 1209006871

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.43
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.11
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.16
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.15
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3152128 kB
Buffers:         14224 kB
Cached:         126988 kB
SwapCached:        720 kB
Active:          74936 kB
Inactive:        81716 kB
HighTotal:     2489216 kB
HighFree:      2342672 kB
LowTotal:       879316 kB
LowFree:        809456 kB
SwapTotal:     1959888 kB
SwapFree:      1954888 kB
Dirty:           23456 kB
Writeback:           0 kB
AnonPages:       14956 kB
Mapped:           6172 kB
Slab:            48872 kB
SReclaimable:    41080 kB
SUnreclaim:       7792 kB
PageTables:        740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   117264 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15860 MiB
End job on  at 2009-05-30 04:06:40