Trace number 1781185

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) 1974.62 1000.05

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_11_UNKNOWN.cnf
MD5SUMe0639bbed56c8b8c34616f8cb99c381c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1740
Number of clauses114011
Sum of the clauses size339448
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22792
Number of clauses of size 3111196
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

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-1781185-1243652883/watcher-1781185-1243652883 -o /tmp/evaluation-result-1781185-1243652883/solver-1781185-1243652883 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781185-1243652883.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: 4.71 5.08 5.26 7/116 11068
/proc/meminfo: memFree=3159516/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=1096 CPUtime=0
/proc/11065/stat : 11065 (satake) R 11063 11065 8716 0 -1 4202496 110 0 0 0 0 0 0 0 21 0 4 0 1129952321 1122304 67 4294967295 134512640 135180984 3218757888 3218757232 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11065/statm: 274 67 54 164 0 109 0
[pid=11065/tid=11066] ppid=11063 vsize=1096 CPUtime=0
/proc/11065/task/11066/stat : 11066 (satake) R 11063 11065 8716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1129952321 1122304 67 4294967295 134512640 135180984 3218757888 3086422852 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=1096 CPUtime=0
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1129952321 1122304 67 4294967295 134512640 135180984 3218757888 3086357316 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=1096 CPUtime=0
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1129952321 1122304 67 4294967295 134512640 135180984 3218757888 3086291780 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.101354 s]
/proc/loadavg: 4.71 5.08 5.26 7/116 11068
/proc/meminfo: memFree=3159516/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=14012 CPUtime=0.11
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 3122 0 0 0 11 0 0 0 21 0 5 0 1129952321 14348288 3072 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 3503 3073 63 164 0 3338 0
[pid=11065/tid=11066] ppid=11063 vsize=14012 CPUtime=0
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1129952321 14348288 3073 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=14012 CPUtime=0.06
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 1156 0 0 0 6 0 0 0 22 0 5 0 1129952321 14348288 3073 4294967295 134512640 135180984 3218757888 3086356452 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=14012 CPUtime=0.04
/proc/11065/task/11068/stat : 11068 (satake) S 11063 11065 8716 0 -1 4202560 1088 0 0 0 4 0 0 0 23 0 5 0 1129952321 14348288 3074 4294967295 134512640 135180984 3218757888 3086291092 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 14012

[startup+0.211346 s]
/proc/loadavg: 4.71 5.08 5.26 7/116 11068
/proc/meminfo: memFree=3159516/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=16596 CPUtime=0.3
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 4668 0 0 0 29 1 0 0 21 0 5 0 1129952321 16994304 3726 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 4149 3726 68 164 0 3984 0
[pid=11065/tid=11066] ppid=11063 vsize=16596 CPUtime=0
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 5 0 1129952321 16994304 3726 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=16596 CPUtime=0.16
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 1644 0 0 0 16 0 0 0 22 0 5 0 1129952321 16994304 3726 4294967295 134512640 135180984 3218757888 3086356052 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=16596 CPUtime=0.08
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 1588 0 0 0 7 1 0 0 22 0 5 0 1129952321 16994304 3726 4294967295 134512640 135180984 3218757888 3086290592 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16596

[startup+0.311337 s]
/proc/loadavg: 4.71 5.08 5.26 7/116 11068
/proc/meminfo: memFree=3159516/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=19132 CPUtime=0.48
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 5192 0 0 0 47 1 0 0 21 0 5 0 1129952321 19591168 3804 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 4783 3804 68 164 0 4618 0
[pid=11065/tid=11066] ppid=11063 vsize=19132 CPUtime=0
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 5 0 1129952321 19591168 3804 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=19132 CPUtime=0.23
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 1702 0 0 0 23 0 0 0 22 0 5 0 1129952321 19591168 3804 4294967295 134512640 135180984 3218757888 3086356052 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=19132 CPUtime=0.1
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 1618 0 0 0 9 1 0 0 22 0 5 0 1129952321 19591168 3804 4294967295 134512640 135180984 3218757888 3086290592 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 19132

[startup+0.711301 s]
/proc/loadavg: 4.71 5.08 5.26 7/116 11068
/proc/meminfo: memFree=3159516/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=20188 CPUtime=1.2
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 5570 0 0 0 119 1 0 0 21 0 5 0 1129952321 20672512 4182 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 5047 4182 68 164 0 4882 0
[pid=11065/tid=11066] ppid=11063 vsize=20188 CPUtime=0
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 5 0 1129952321 20672512 4182 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=20188 CPUtime=0.56
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 1787 0 0 0 56 0 0 0 22 0 5 0 1129952321 20672512 4182 4294967295 134512640 135180984 3218757888 3086356168 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=20188 CPUtime=0.25
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 1720 0 0 0 24 1 0 0 22 0 5 0 1129952321 20672512 4182 4294967295 134512640 135180984 3218757888 3086290592 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 20188

[startup+1.51124 s]
/proc/loadavg: 4.71 5.08 5.26 5/118 11070
/proc/meminfo: memFree=3142644/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=21640 CPUtime=2.61
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 6040 0 0 0 257 4 0 0 21 0 5 0 1129952321 22159360 4652 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 5410 4652 68 164 0 5245 0
[pid=11065/tid=11066] ppid=11063 vsize=21640 CPUtime=0.01
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 44 0 0 0 1 0 0 0 16 0 5 0 1129952321 22159360 4652 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=21640 CPUtime=0.95
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 1882 0 0 0 95 0 0 0 23 0 5 0 1129952321 22159360 4652 4294967295 134512640 135180984 3218757888 3086356168 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=21640 CPUtime=0.73
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 1912 0 0 0 70 3 0 0 22 0 5 0 1129952321 22159360 4652 4294967295 134512640 135180984 3218757888 3086290800 134528674 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11065/tid=11070] ppid=11063 vsize=21640 CPUtime=0.92
/proc/11065/task/11070/stat : 11070 (satake) R 11063 11065 8716 0 -1 4202560 2091 0 0 0 91 1 0 0 23 0 5 0 1129952323 22159360 4652 4294967295 134512640 135180984 3218757888 3086216876 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 21640

[startup+3.1111 s]
/proc/loadavg: 4.71 5.08 5.26 5/118 11070
/proc/meminfo: memFree=3140100/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=25316 CPUtime=5.28
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 6769 0 0 0 520 8 0 0 21 0 5 0 1129952321 25923584 5381 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 6329 5381 68 164 0 6164 0
[pid=11065/tid=11066] ppid=11063 vsize=25316 CPUtime=0.03
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 54 0 0 0 1 2 0 0 15 0 5 0 1129952321 25923584 5381 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=25316 CPUtime=1.62
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 2166 0 0 0 162 0 0 0 25 0 5 0 1129952321 25923584 5381 4294967295 134512640 135180984 3218757888 3086356128 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=25316 CPUtime=1.75
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 2176 0 0 0 171 4 0 0 25 0 5 0 1129952321 25923584 5381 4294967295 134512640 135180984 3218757888 3086290632 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11070] ppid=11063 vsize=25316 CPUtime=1.88
/proc/11065/task/11070/stat : 11070 (satake) S 11063 11065 8716 0 -1 4202560 2262 0 0 0 186 2 0 0 25 0 5 0 1129952323 25923584 5381 4294967295 134512640 135180984 3218757888 3086216864 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 25316

[startup+6.31082 s]
/proc/loadavg: 4.81 5.09 5.27 7/118 11078
/proc/meminfo: memFree=3133396/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=30388 CPUtime=10.59
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 8223 0 0 0 1049 10 0 0 21 0 5 0 1129952321 31117312 6835 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 7597 6835 68 164 0 7432 0
[pid=11065/tid=11066] ppid=11063 vsize=30388 CPUtime=0.04
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 58 0 0 0 1 3 0 0 15 0 5 0 1129952321 31117312 6835 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=30388 CPUtime=3.44
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 2762 0 0 0 343 1 0 0 25 0 5 0 1129952321 31117312 6835 4294967295 134512640 135180984 3218757888 3086356336 134528866 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=30388 CPUtime=3.53
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 2601 0 0 0 349 4 0 0 25 0 5 0 1129952321 31117312 6835 4294967295 134512640 135180984 3218757888 3086290640 134691935 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11070] ppid=11063 vsize=30388 CPUtime=3.58
/proc/11065/task/11070/stat : 11070 (satake) R 11063 11065 8716 0 -1 4202560 2691 0 0 0 356 2 0 0 25 0 5 0 1129952323 31117312 6835 4294967295 134512640 135180984 3218757888 3086216864 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.59
Current children cumulated vsize (KiB) 30388

[startup+12.7103 s]
/proc/loadavg: 4.75 5.07 5.26 6/118 11086
/proc/meminfo: memFree=3124856/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=37756 CPUtime=21.92
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 10242 0 0 0 2177 15 0 0 21 0 5 0 1129952321 38662144 8854 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 9439 8854 68 164 0 9274 0
[pid=11065/tid=11066] ppid=11063 vsize=37756 CPUtime=0.07
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 62 0 0 0 4 3 0 0 15 0 5 0 1129952321 38662144 8854 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=37756 CPUtime=7.62
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 3439 0 0 0 759 3 0 0 25 0 5 0 1129952321 38662144 8854 4294967295 134512640 135180984 3218757888 3086356128 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=37756 CPUtime=7.24
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 3253 0 0 0 720 4 0 0 25 0 5 0 1129952321 38662144 8854 4294967295 134512640 135180984 3218757888 3086290800 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11070] ppid=11063 vsize=37756 CPUtime=6.99
/proc/11065/task/11070/stat : 11070 (satake) R 11063 11065 8716 0 -1 4202560 3377 0 0 0 694 5 0 0 25 0 5 0 1129952323 38662144 8854 4294967295 134512640 135180984 3218757888 3086217068 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.92
Current children cumulated vsize (KiB) 37756

[startup+25.5092 s]
/proc/loadavg: 4.58 5.02 5.24 6/118 11106
/proc/meminfo: memFree=3111800/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=50496 CPUtime=45.93
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 13207 0 0 0 4570 23 0 0 21 0 5 0 1129952321 51707904 11819 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 12624 11819 68 164 0 12459 0
[pid=11065/tid=11066] ppid=11063 vsize=50496 CPUtime=0.1
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 72 0 0 0 5 5 0 0 15 0 5 0 1129952321 51707904 11819 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=50496 CPUtime=16.34
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 4416 0 0 0 1630 4 0 0 25 0 5 0 1129952321 51707904 11819 4294967295 134512640 135180984 3218757888 3086356128 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=50496 CPUtime=15.87
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 4325 0 0 0 1580 7 0 0 25 0 5 0 1129952321 51707904 11819 4294967295 134512640 135180984 3218757888 3086290800 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11065/tid=11070] ppid=11063 vsize=50496 CPUtime=13.62
/proc/11065/task/11070/stat : 11070 (satake) R 11063 11065 8716 0 -1 4202560 4283 0 0 0 1355 7 0 0 25 0 5 0 1129952323 51707904 11819 4294967295 134512640 135180984 3218757888 3086216864 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 45.93
Current children cumulated vsize (KiB) 50496

[startup+51.107 s]
/proc/loadavg: 4.79 5.03 5.24 7/118 11327
/proc/meminfo: memFree=3096520/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=66496 CPUtime=95.24
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 17097 0 0 0 9488 36 0 0 21 0 5 0 1129952321 68091904 15709 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 16624 15709 68 164 0 16459 0
[pid=11065/tid=11066] ppid=11063 vsize=66496 CPUtime=0.17
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 93 0 0 0 6 11 0 0 15 0 5 0 1129952321 68091904 15709 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=66496 CPUtime=33.57
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 5593 0 0 0 3351 6 0 0 25 0 5 0 1129952321 68091904 15709 4294967295 134512640 135180984 3218757888 3086356336 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=66496 CPUtime=32.21
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 5576 0 0 0 3212 9 0 0 25 0 5 0 1129952321 68091904 15709 4294967295 134512640 135180984 3218757888 3086290800 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11065/tid=11070] ppid=11063 vsize=66496 CPUtime=29.29
/proc/11065/task/11070/stat : 11070 (satake) R 11063 11065 8716 0 -1 4202560 5724 0 0 0 2919 10 0 0 25 0 5 0 1129952323 68091904 15709 4294967295 134512640 135180984 3218757888 3086217072 134528641 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 95.24
Current children cumulated vsize (KiB) 66496

[startup+102.313 s]
/proc/loadavg: 5.06 5.06 5.23 6/118 11590
/proc/meminfo: memFree=3074128/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=87900 CPUtime=195.69
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 22443 0 0 0 19510 59 0 0 21 0 5 0 1129952321 90009600 21055 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 21975 21055 68 164 0 21810 0
[pid=11065/tid=11066] ppid=11063 vsize=87900 CPUtime=0.37
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 146 0 0 0 13 24 0 0 15 0 5 0 1129952321 90009600 21055 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=87900 CPUtime=70.41
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 7169 0 0 0 7030 11 0 0 25 0 5 0 1129952321 90009600 21055 4294967295 134512640 135180984 3218757888 3086356336 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=87900 CPUtime=62.4
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 7449 0 0 0 6228 12 0 0 25 0 5 0 1129952321 90009600 21055 4294967295 134512640 135180984 3218757888 3086290592 134580407 0 0 0 0 0 0 0 -1 2 0 0 0

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

[pid=11065/tid=11067] ppid=11063 vsize=198576 CPUtime=380.62
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 15395 0 0 0 38028 34 0 0 25 0 5 0 1129952321 203341824 47707 4294967295 134512640 135180984 3218757888 3086356336 134528756 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=198576 CPUtime=375.34
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 18121 0 0 0 37492 42 0 0 25 0 5 0 1129952321 203341824 47707 4294967295 134512640 135180984 3218757888 3086290720 134520784 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11070] ppid=11063 vsize=198576 CPUtime=391.45
/proc/11065/task/11070/stat : 11070 (satake) R 11063 11065 8716 0 -1 4202560 15262 0 0 0 39114 31 0 0 25 0 5 0 1129952323 203341824 47707 4294967295 134512640 135180984 3218757888 3086217072 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1147.96
Current children cumulated vsize (KiB) 198576

[startup+642.306 s]
/proc/loadavg: 5.46 5.41 5.33 6/118 14078
/proc/meminfo: memFree=2965128/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=200788 CPUtime=1267.16
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 49671 0 0 0 126567 149 0 0 21 0 5 0 1129952321 205606912 48283 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 50197 48283 68 164 0 50032 0
[pid=11065/tid=11066] ppid=11063 vsize=200788 CPUtime=0.56
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 208 0 0 0 19 37 0 0 15 0 5 0 1129952321 205606912 48283 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=200788 CPUtime=426.21
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 15519 0 0 0 42587 34 0 0 25 0 5 0 1129952321 205606912 48283 4294967295 134512640 135180984 3218757888 3086356336 134528719 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=200788 CPUtime=400.18
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 18270 0 0 0 39976 42 0 0 25 0 5 0 1129952321 205606912 48283 4294967295 134512640 135180984 3218757888 3086290912 134531534 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11070] ppid=11063 vsize=200788 CPUtime=440.21
/proc/11065/task/11070/stat : 11070 (satake) R 11063 11065 8716 0 -1 4202560 15563 0 0 0 43985 36 0 0 25 0 5 0 1129952323 205606912 48283 4294967295 134512640 135180984 3218757888 3086217072 134528633 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1267.16
Current children cumulated vsize (KiB) 200788

[startup+702.311 s]
/proc/loadavg: 5.42 5.41 5.33 7/118 14353
/proc/meminfo: memFree=2963368/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=204284 CPUtime=1385.77
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 50139 0 0 0 138420 157 0 0 21 0 5 0 1129952321 209186816 48751 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 51071 48751 68 164 0 50906 0
[pid=11065/tid=11066] ppid=11063 vsize=204284 CPUtime=0.6
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 239 0 0 0 20 40 0 0 15 0 5 0 1129952321 209186816 48751 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=204284 CPUtime=471.56
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 15624 0 0 0 47122 34 0 0 25 0 5 0 1129952321 209186816 48751 4294967295 134512640 135180984 3218757888 3086356336 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=204284 CPUtime=425.06
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 18306 0 0 0 42463 43 0 0 25 0 5 0 1129952321 209186816 48751 4294967295 134512640 135180984 3218757888 3086290800 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11065/tid=11070] ppid=11063 vsize=204284 CPUtime=488.55
/proc/11065/task/11070/stat : 11070 (satake) R 11063 11065 8716 0 -1 4202560 15859 0 0 0 48815 40 0 0 25 0 5 0 1129952323 209186816 48751 4294967295 134512640 135180984 3218757888 3086217072 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1385.77
Current children cumulated vsize (KiB) 204284

[startup+762.316 s]
/proc/loadavg: 5.42 5.40 5.33 6/120 14638
/proc/meminfo: memFree=2962148/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=205088 CPUtime=1504.93
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 50317 0 0 0 150324 169 0 0 21 0 5 0 1129952321 210010112 48929 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 51272 48929 68 164 0 51107 0
[pid=11065/tid=11066] ppid=11063 vsize=205088 CPUtime=0.68
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 251 0 0 0 23 45 0 0 15 0 5 0 1129952321 210010112 48929 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=205088 CPUtime=506.61
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 15649 0 0 0 50626 35 0 0 25 0 5 0 1129952321 210010112 48929 4294967295 134512640 135180984 3218757888 3086356336 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=205088 CPUtime=458.21
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 18320 0 0 0 45776 45 0 0 25 0 5 0 1129952321 210010112 48929 4294967295 134512640 135180984 3218757888 3086290800 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11070] ppid=11063 vsize=205088 CPUtime=539.43
/proc/11065/task/11070/stat : 11070 (satake) R 11063 11065 8716 0 -1 4202560 15986 0 0 0 53899 44 0 0 25 0 5 0 1129952323 210010112 48929 4294967295 134512640 135180984 3218757888 3086217072 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1504.93
Current children cumulated vsize (KiB) 205088

[startup+822.31 s]
/proc/loadavg: 5.45 5.40 5.33 6/118 14911
/proc/meminfo: memFree=2961452/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=206112 CPUtime=1623.62
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 50535 0 0 0 162179 183 0 0 21 0 5 0 1129952321 211058688 49147 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 51528 49147 68 164 0 51363 0
[pid=11065/tid=11066] ppid=11063 vsize=206112 CPUtime=0.78
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 265 0 0 0 25 53 0 0 15 0 5 0 1129952321 211058688 49147 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=206112 CPUtime=537.21
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 15662 0 0 0 53684 37 0 0 25 0 5 0 1129952321 211058688 49147 4294967295 134512640 135180984 3218757888 3086356336 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=206112 CPUtime=502.28
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 18329 0 0 0 50182 46 0 0 25 0 5 0 1129952321 211058688 49147 4294967295 134512640 135180984 3218757888 3086290800 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11065/tid=11070] ppid=11063 vsize=206112 CPUtime=583.35
/proc/11065/task/11070/stat : 11070 (satake) R 11063 11065 8716 0 -1 4202560 16168 0 0 0 58288 47 0 0 25 0 5 0 1129952323 211058688 49147 4294967295 134512640 135180984 3218757888 3086216864 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1623.62
Current children cumulated vsize (KiB) 206112

[startup+882.315 s]
/proc/loadavg: 5.48 5.40 5.34 6/118 15189
/proc/meminfo: memFree=2960576/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=206440 CPUtime=1742.5
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 50600 0 0 0 174057 193 0 0 21 0 5 0 1129952321 211394560 49212 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 51610 49212 68 164 0 51445 0
[pid=11065/tid=11066] ppid=11063 vsize=206440 CPUtime=0.84
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 265 0 0 0 27 57 0 0 15 0 5 0 1129952321 211394560 49212 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=206440 CPUtime=583.21
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 15668 0 0 0 58282 39 0 0 25 0 5 0 1129952321 211394560 49212 4294967295 134512640 135180984 3218757888 3086356336 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=206440 CPUtime=545.33
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 18387 0 0 0 54486 47 0 0 25 0 5 0 1129952321 211394560 49212 4294967295 134512640 135180984 3218757888 3086290800 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11070] ppid=11063 vsize=206440 CPUtime=613.12
/proc/11065/task/11070/stat : 11070 (satake) R 11063 11065 8716 0 -1 4202560 16169 0 0 0 61262 50 0 0 25 0 5 0 1129952323 211394560 49212 4294967295 134512640 135180984 3218757888 3086217072 134528756 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1742.5
Current children cumulated vsize (KiB) 206440

[startup+942.31 s]
/proc/loadavg: 5.21 5.34 5.32 7/118 15461
/proc/meminfo: memFree=2959912/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=207956 CPUtime=1860.52
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 50904 0 0 0 185844 208 0 0 21 0 5 0 1129952321 212946944 49516 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 51989 49516 68 164 0 51824 0
[pid=11065/tid=11066] ppid=11063 vsize=207956 CPUtime=0.89
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 265 0 0 0 31 58 0 0 15 0 5 0 1129952321 212946944 49516 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=207956 CPUtime=626.72
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 15873 0 0 0 62628 44 0 0 25 0 5 0 1129952321 212946944 49516 4294967295 134512640 135180984 3218757888 3086356128 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=207956 CPUtime=584.92
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 18485 0 0 0 58442 50 0 0 25 0 5 0 1129952321 212946944 49516 4294967295 134512640 135180984 3218757888 3086290800 134528862 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11070] ppid=11063 vsize=207956 CPUtime=647.99
/proc/11065/task/11070/stat : 11070 (satake) R 11063 11065 8716 0 -1 4202560 16170 0 0 0 64743 56 0 0 25 0 5 0 1129952323 212946944 49516 4294967295 134512640 135180984 3218757888 3086217072 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1860.52
Current children cumulated vsize (KiB) 207956



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 5.26 5.32 5.31 6/118 15736
/proc/meminfo: memFree=2957664/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=210684 CPUtime=1974.58
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 51407 0 0 0 197242 216 0 0 21 0 5 0 1129952321 215740416 50011 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 52671 50011 68 164 0 52506 0
[pid=11065/tid=11066] ppid=11063 vsize=210684 CPUtime=0.97
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 265 0 0 0 34 63 0 0 15 0 5 0 1129952321 215740416 50011 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=210684 CPUtime=665.11
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 16088 0 0 0 66466 45 0 0 25 0 5 0 1129952321 215740416 50011 4294967295 134512640 135180984 3218757888 3086356336 134528470 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=210684 CPUtime=628.5
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 18640 0 0 0 62800 50 0 0 25 0 5 0 1129952321 215740416 50011 4294967295 134512640 135180984 3218757888 3086290796 134520661 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11070] ppid=11063 vsize=210684 CPUtime=680
/proc/11065/task/11070/stat : 11070 (satake) R 11063 11065 8716 0 -1 4202560 16303 0 0 0 67942 58 0 0 25 0 5 0 1129952323 215740416 50011 4294967295 134512640 135180984 3218757888 3086217072 134528633 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1974.58
Current children cumulated vsize (KiB) 210684

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

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

[startup+1000.02 s]
/proc/loadavg: 5.26 5.32 5.31 6/118 15736
/proc/meminfo: memFree=2957664/3368532 swapFree=1954888/1959888
[pid=11065] ppid=11063 vsize=210684 CPUtime=1974.58
/proc/11065/stat : 11065 (satake) S 11063 11065 8716 0 -1 4202496 51407 0 0 0 197242 216 0 0 21 0 5 0 1129952321 215740416 50011 4294967295 134512640 135180984 3218757888 3218757324 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11065/statm: 52671 50011 68 164 0 52506 0
[pid=11065/tid=11066] ppid=11063 vsize=210684 CPUtime=0.97
/proc/11065/task/11066/stat : 11066 (satake) S 11063 11065 8716 0 -1 4202560 265 0 0 0 34 63 0 0 15 0 5 0 1129952321 215740416 50011 4294967295 134512640 135180984 3218757888 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11065/tid=11067] ppid=11063 vsize=210684 CPUtime=665.11
/proc/11065/task/11067/stat : 11067 (satake) R 11063 11065 8716 0 -1 4202560 16088 0 0 0 66466 45 0 0 25 0 5 0 1129952321 215740416 50011 4294967295 134512640 135180984 3218757888 3086356336 134528470 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11068] ppid=11063 vsize=210684 CPUtime=628.5
/proc/11065/task/11068/stat : 11068 (satake) R 11063 11065 8716 0 -1 4202560 18640 0 0 0 62800 50 0 0 25 0 5 0 1129952321 215740416 50011 4294967295 134512640 135180984 3218757888 3086290796 134520661 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11065/tid=11070] ppid=11063 vsize=210684 CPUtime=680
/proc/11065/task/11070/stat : 11070 (satake) R 11063 11065 8716 0 -1 4202560 16303 0 0 0 67942 58 0 0 25 0 5 0 1129952323 215740416 50011 4294967295 134512640 135180984 3218757888 3086217072 134528633 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1974.58
Current children cumulated vsize (KiB) 210684

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.05
CPU time (s): 1974.62
CPU user time (s): 1972.45
CPU system time (s): 2.17
CPU usage (%): 197.453
Max. virtual memory (cumulated for all children) (KiB): 210684

deleting IPC queue 19398656
deleting IPC queue 19431425
deleting IPC queue 19464194
deleting IPC queue 19496963
deleting IPC queue 19529732
deleting IPC queue 19562501
deleting IPC queue 19595270
deleting IPC queue 19628039
deleting IPC queue 19660808
deleting IPC queue 19693577
deleting IPC queue 19726346
deleting IPC queue 19759115
deleting IPC queue 19791884
deleting IPC queue 19824653
deleting IPC queue 19857422
deleting IPC queue 19890191

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1972.45
system time used= 2.17
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51407
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= 131338
involuntary context switches= 204306

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 05:08:03
IDJOB=1781185
IDBENCH=71103
IDSOLVER=629
FILE ID=/1781185-1243652883
PBS_JOBID=
Free space on /tmp= 15880 MiB

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

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

MD5SUM BENCH= e0639bbed56c8b8c34616f8cb99c381c
RANDOM SEED= 1821638605

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:       3159516 kB
Buffers:         14772 kB
Cached:         119372 kB
SwapCached:        720 kB
Active:          55380 kB
Inactive:        94536 kB
HighTotal:     2489216 kB
HighFree:      2350256 kB
LowTotal:       879316 kB
LowFree:        809260 kB
SwapTotal:     1959888 kB
SwapFree:      1954888 kB
Dirty:            2624 kB
Writeback:           0 kB
AnonPages:       15056 kB
Mapped:           6252 kB
Slab:            48680 kB
SReclaimable:    41120 kB
SUnreclaim:       7560 kB
PageTables:        712 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= 15880 MiB
End job on  at 2009-05-30 05:24:45