Trace number 1780660

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) 1882.79 1000.07

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UCG-20-5p1.cnf
MD5SUM93858500e23e9a4bf0619d7bf7dc00f3
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark814.98
Satisfiable
(Un)Satisfiability was proved
Number of variables224986
Number of clauses1204430
Sum of the clauses size2908691
Maximum clause length10
Minimum clause length1
Number of clauses of size 111403
Number of clauses of size 2851953
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-1780660-1243649244/watcher-1780660-1243649244 -o /tmp/evaluation-result-1780660-1243649244/solver-1780660-1243649244 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780660-1243649244.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: 6.30 6.51 6.53 6/112 15101
/proc/meminfo: memFree=3037616/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=968 CPUtime=0
/proc/15100/stat : 15100 (satake) R 15098 15100 23155 0 -1 4202496 108 0 0 0 0 0 0 0 25 0 2 0 1129588697 991232 65 4294967295 134512640 135180984 3218454704 3218454048 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 242 65 54 164 0 77 0
[pid=15100/tid=15101] ppid=15098 vsize=968 CPUtime=0
/proc/15100/task/15101/stat : 15101 (satake) R 15098 15100 23155 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 2 0 1129588697 991232 65 4294967295 134512640 135180984 3218454704 3086578500 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.085245 s]
/proc/loadavg: 6.30 6.51 6.53 6/112 15101
/proc/meminfo: memFree=3037616/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=66720 CPUtime=0.09
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 12369 0 0 0 1 8 0 0 25 0 5 0 1129588697 68321280 12317 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 16680 12317 63 164 0 16515 0
[pid=15100/tid=15101] ppid=15098 vsize=66720 CPUtime=0
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1129588697 68321280 12317 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 66720

[startup+0.17482 s]
/proc/loadavg: 6.30 6.51 6.53 6/112 15101
/proc/meminfo: memFree=3037616/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=95092 CPUtime=0.17
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 17918 0 0 0 7 10 0 0 25 0 5 0 1129588697 97374208 17866 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 23773 17866 63 164 0 23608 0
[pid=15100/tid=15101] ppid=15098 vsize=95092 CPUtime=0
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1129588697 97374208 17867 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 95092

[startup+0.304809 s]
/proc/loadavg: 6.30 6.51 6.53 6/112 15101
/proc/meminfo: memFree=3037616/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=140984 CPUtime=0.29
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 28931 0 0 0 15 14 0 0 25 0 5 0 1129588697 144367616 28868 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 35246 28873 63 164 0 35081 0
[pid=15100/tid=15101] ppid=15098 vsize=140984 CPUtime=0
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1129588697 144367616 28876 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 140984

[startup+0.704774 s]
/proc/loadavg: 6.30 6.51 6.53 6/112 15101
/proc/meminfo: memFree=3037616/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=170456 CPUtime=0.69
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 37293 0 0 0 52 17 0 0 25 0 5 0 1129588697 174546944 37222 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 42614 37222 63 164 0 42449 0
[pid=15100/tid=15101] ppid=15098 vsize=170456 CPUtime=0
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1129588697 174546944 37222 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 170456

[startup+1.50471 s]
/proc/loadavg: 6.30 6.51 6.53 8/116 15105
/proc/meminfo: memFree=2881328/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=193212 CPUtime=1.45
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 42791 0 0 0 127 18 0 0 25 0 5 0 1129588697 197849088 42720 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 48303 42720 63 164 0 48138 0
[pid=15100/tid=15101] ppid=15098 vsize=193212 CPUtime=0
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1129588697 197849088 42720 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15100/tid=15103] ppid=15098 vsize=193212 CPUtime=0.65
/proc/15100/task/15103/stat : 15103 (satake) R 15098 15100 23155 0 -1 4202560 15317 0 0 0 59 6 0 0 25 0 5 0 1129588698 197849088 42720 4294967295 134512640 135180984 3218454704 3086512384 134519833 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15104] ppid=15098 vsize=193212 CPUtime=0.53
/proc/15100/task/15104/stat : 15104 (satake) R 15098 15100 23155 0 -1 4202560 14591 0 0 0 46 7 0 0 25 0 5 0 1129588698 197849088 42720 4294967295 134512640 135180984 3218454704 3086446892 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15105] ppid=15098 vsize=193212 CPUtime=0.27
/proc/15100/task/15105/stat : 15105 (satake) R 15098 15100 23155 0 -1 4202560 12765 0 0 0 22 5 0 0 25 0 5 0 1129588698 197849088 42720 4294967295 134512640 135180984 3218454704 3086381328 134520025 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 193212

[startup+3.10457 s]
/proc/loadavg: 6.28 6.50 6.52 9/116 15105
/proc/meminfo: memFree=2847788/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=252668 CPUtime=3.13
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 58440 0 0 0 291 22 0 0 25 0 5 0 1129588697 258732032 58369 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 63167 58369 64 164 0 63002 0
[pid=15100/tid=15101] ppid=15098 vsize=252668 CPUtime=0
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1129588697 258732032 58369 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15100/tid=15103] ppid=15098 vsize=252668 CPUtime=1.09
/proc/15100/task/15103/stat : 15103 (satake) R 15098 15100 23155 0 -1 4202560 20377 0 0 0 103 6 0 0 25 0 5 0 1129588698 258732032 58370 4294967295 134512640 135180984 3218454704 3086512100 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15104] ppid=15098 vsize=252668 CPUtime=1.23
/proc/15100/task/15104/stat : 15104 (satake) R 15098 15100 23155 0 -1 4202560 21186 0 0 0 115 8 0 0 25 0 5 0 1129588698 258732032 58370 4294967295 134512640 135180984 3218454704 3086446808 134579486 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15100/tid=15105] ppid=15098 vsize=252668 CPUtime=0.81
/proc/15100/task/15105/stat : 15105 (satake) R 15098 15100 23155 0 -1 4202560 16760 0 0 0 73 8 0 0 25 0 5 0 1129588698 258732032 58370 4294967295 134512640 135180984 3218454704 3086381304 134519893 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 252668

[startup+6.30432 s]
/proc/loadavg: 6.28 6.50 6.52 9/116 15105
/proc/meminfo: memFree=2816916/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=235512 CPUtime=8.91
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 66755 0 0 0 856 35 0 0 25 0 5 0 1129588697 241164288 55338 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 58878 55338 68 164 0 58713 0
[pid=15100/tid=15101] ppid=15098 vsize=235512 CPUtime=0.07
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 3810 0 0 0 3 4 0 0 16 0 5 0 1129588697 241164288 55338 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=15100/tid=15103] ppid=15098 vsize=235512 CPUtime=3.64
/proc/15100/task/15103/stat : 15103 (satake) R 15098 15100 23155 0 -1 4202560 21217 0 0 0 356 8 0 0 17 0 5 0 1129588698 241164288 55338 4294967295 134512640 135180984 3218454704 3086511984 134528446 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15100/tid=15104] ppid=15098 vsize=235512 CPUtime=3.86
/proc/15100/task/15104/stat : 15104 (satake) R 15098 15100 23155 0 -1 4202560 21319 0 0 0 376 10 0 0 18 0 5 0 1129588698 241164288 55338 4294967295 134512640 135180984 3218454704 3086446440 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15105] ppid=15098 vsize=235512 CPUtime=1.34
/proc/15100/task/15105/stat : 15105 (satake) R 15098 15100 23155 0 -1 4202560 20298 0 0 0 121 13 0 0 25 0 5 0 1129588698 241164288 55338 4294967295 134512640 135180984 3218454704 3086381288 134672228 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.91
Current children cumulated vsize (KiB) 235512

[startup+12.7138 s]
/proc/loadavg: 6.38 6.52 6.53 8/116 15107
/proc/meminfo: memFree=2838164/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=212816 CPUtime=19.09
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 67123 0 0 0 1861 48 0 0 25 0 5 0 1129588697 217923584 50033 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 53204 50033 68 164 0 53039 0
[pid=15100/tid=15101] ppid=15098 vsize=212816 CPUtime=0.15
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 3811 0 0 0 3 12 0 0 16 0 5 0 1129588697 217923584 50033 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=15100/tid=15103] ppid=15098 vsize=212816 CPUtime=7.34
/proc/15100/task/15103/stat : 15103 (satake) R 15098 15100 23155 0 -1 4202560 21238 0 0 0 723 11 0 0 16 0 5 0 1129588698 217923584 50033 4294967295 134512640 135180984 3218454704 3086512000 134518585 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15100/tid=15104] ppid=15098 vsize=212816 CPUtime=8.03
/proc/15100/task/15104/stat : 15104 (satake) R 15098 15100 23155 0 -1 4202560 21359 0 0 0 792 11 0 0 25 0 5 0 1129588698 217923584 50033 4294967295 134512640 135180984 3218454704 3086446440 134520873 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15105] ppid=15098 vsize=212816 CPUtime=3.57
/proc/15100/task/15105/stat : 15105 (satake) R 15098 15100 23155 0 -1 4202560 20604 0 0 0 343 14 0 0 25 0 5 0 1129588698 217923584 50033 4294967295 134512640 135180984 3218454704 3086380716 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 212816

[startup+25.5127 s]
/proc/loadavg: 6.32 6.50 6.52 6/116 15108
/proc/meminfo: memFree=2835032/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=216672 CPUtime=40.56
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 67962 0 0 0 3984 72 0 0 25 0 5 0 1129588697 221872128 50872 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 54168 50872 68 164 0 54003 0
[pid=15100/tid=15101] ppid=15098 vsize=216672 CPUtime=0.36
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 3837 0 0 0 11 25 0 0 16 0 5 0 1129588697 221872128 50872 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=15100/tid=15103] ppid=15098 vsize=216672 CPUtime=15.81
/proc/15100/task/15103/stat : 15103 (satake) R 15098 15100 23155 0 -1 4202560 21504 0 0 0 1563 18 0 0 16 0 5 0 1129588698 221872128 50872 4294967295 134512640 135180984 3218454704 3086511920 134523783 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15100/tid=15104] ppid=15098 vsize=216672 CPUtime=14.26
/proc/15100/task/15104/stat : 15104 (satake) R 15098 15100 23155 0 -1 4202560 21655 0 0 0 1414 12 0 0 25 0 5 0 1129588698 221872128 50872 4294967295 134512640 135180984 3218454704 3086446280 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15105] ppid=15098 vsize=216672 CPUtime=10.13
/proc/15100/task/15105/stat : 15105 (satake) R 15098 15100 23155 0 -1 4202560 20855 0 0 0 996 17 0 0 25 0 5 0 1129588698 221872128 50872 4294967295 134512640 135180984 3218454704 3086380704 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 40.56
Current children cumulated vsize (KiB) 216672

[startup+51.1106 s]
/proc/loadavg: 6.36 6.49 6.52 8/117 15126
/proc/meminfo: memFree=2825820/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=225448 CPUtime=83.52
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 70317 0 0 0 8227 125 0 0 25 0 5 0 1129588697 230858752 53227 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 56362 53227 68 164 0 56197 0
[pid=15100/tid=15101] ppid=15098 vsize=225448 CPUtime=0.84
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 3945 0 0 0 26 58 0 0 15 0 5 0 1129588697 230858752 53227 4294967295 134512640 135180984 3218454704 3086577684 134580588 0 0 0 0 3223036975 0 0 -1 3 0 0 0
[pid=15100/tid=15103] ppid=15098 vsize=225448 CPUtime=32.7
/proc/15100/task/15103/stat : 15103 (satake) R 15098 15100 23155 0 -1 4202560 22409 0 0 0 3242 28 0 0 16 0 5 0 1129588698 230858752 53227 4294967295 134512640 135180984 3218454704 3086511888 134525163 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15100/tid=15104] ppid=15098 vsize=225448 CPUtime=25.87
/proc/15100/task/15104/stat : 15104 (satake) R 15098 15100 23155 0 -1 4202560 22304 0 0 0 2574 13 0 0 25 0 5 0 1129588698 230858752 53227 4294967295 134512640 135180984 3218454704 3086446240 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15105] ppid=15098 vsize=225448 CPUtime=24.11
/proc/15100/task/15105/stat : 15105 (satake) R 15098 15100 23155 0 -1 4202560 21548 0 0 0 2385 26 0 0 25 0 5 0 1129588698 230858752 53227 4294967295 134512640 135180984 3218454704 3086380744 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 83.52
Current children cumulated vsize (KiB) 225448

[startup+102.316 s]
/proc/loadavg: 6.23 6.44 6.50 7/116 15297
/proc/meminfo: memFree=2802176/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=248704 CPUtime=166.6
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 76057 0 0 0 16444 216 0 0 25 0 5 0 1129588697 254672896 58967 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 62176 58967 68 164 0 62011 0
[pid=15100/tid=15101] ppid=15098 vsize=248704 CPUtime=1.65
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 4147 0 0 0 53 112 0 0 15 0 5 0 1129588697 254672896 58967 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=15100/tid=15103] ppid=15098 vsize=248704 CPUtime=63.85
/proc/15100/task/15103/stat : 15103 (satake) S 15098 15100 23155 0 -1 4202560 24585 0 0 0 6332 53 0 0 16 0 5 0 1129588698 254672896 58967 4294967295 134512640 135180984 3218454704 3086511776 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=15100/tid=15104] ppid=15098 vsize=248704 CPUtime=53.86
/proc/15100/task/15104/stat : 15104 (satake) R 15098 15100 23155 0 -1 4202560 24099 0 0 0 5365 21 0 0 25 0 5 0 1129588698 254672896 58967 4294967295 134512640 135180984 3218454704 3086446352 134525385 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15105] ppid=15098 vsize=248704 CPUtime=47.24
/proc/15100/task/15105/stat : 15105 (satake) R 15098 15100 23155 0 -1 4202560 23115 0 0 0 4694 30 0 0 25 0 5 0 1129588698 254672896 58967 4294967295 134512640 135180984 3218454704 3086380716 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 166.6
Current children cumulated vsize (KiB) 248704

[startup+162.301 s]
/proc/loadavg: 6.09 6.35 6.46 7/116 15485
/proc/meminfo: memFree=2777592/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=273496 CPUtime=248.51
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 82167 0 0 0 24599 252 0 0 25 0 5 0 1129588697 280059904 65077 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 68374 65077 68 164 0 68209 0
[pid=15100/tid=15101] ppid=15098 vsize=273496 CPUtime=1.96
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 4266 0 0 0 63 133 0 0 15 0 5 0 1129588697 280059904 65077 4294967295 134512640 135180984 3218454704 3086577684 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=15100/tid=15103] ppid=15098 vsize=273496 CPUtime=90.13
/proc/15100/task/15103/stat : 15103 (satake) R 15098 15100 23155 0 -1 4202560 26611 0 0 0 8949 64 0 0 25 0 5 0 1129588698 280059904 65077 4294967295 134512640 135180984 3218454704 3086511788 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15100/tid=15104] ppid=15098 vsize=273496 CPUtime=79.26
/proc/15100/task/15104/stat : 15104 (satake) R 15098 15100 23155 0 -1 4202560 26198 0 0 0 7903 23 0 0 25 0 5 0 1129588698 280059904 65077 4294967295 134512640 135180984 3218454704 3086446448 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15105] ppid=15098 vsize=273496 CPUtime=77.16
/proc/15100/task/15105/stat : 15105 (satake) S 15098 15100 23155 0 -1 4202560 24981 0 0 0 7684 32 0 0 16 0 5 0 1129588698 280059904 65077 4294967295 134512640 135180984 3218454704 3086380704 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 248.51

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

[pid=15100/tid=15103] ppid=15098 vsize=433764 CPUtime=319.95
/proc/15100/task/15103/stat : 15103 (satake) R 15098 15100 23155 0 -1 4202560 39921 0 0 0 31905 90 0 0 25 0 5 0 1129588698 444174336 104978 4294967295 134512640 135180984 3218454704 3086511984 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15104] ppid=15098 vsize=433764 CPUtime=303.68
/proc/15100/task/15104/stat : 15104 (satake) R 15098 15100 23155 0 -1 4202560 38690 0 0 0 30318 50 0 0 25 0 5 0 1129588698 444174336 104978 4294967295 134512640 135180984 3218454704 3086446280 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15105] ppid=15098 vsize=433764 CPUtime=311.09
/proc/15100/task/15105/stat : 15105 (satake) R 15098 15100 23155 0 -1 4202560 38730 0 0 0 31050 59 0 0 25 0 5 0 1129588698 444174336 104978 4294967295 134512640 135180984 3218454704 3086380912 134528241 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 937.64
Current children cumulated vsize (KiB) 433764

[startup+582.307 s]
/proc/loadavg: 6.54 6.46 6.46 7/116 16808
/proc/meminfo: memFree=2590740/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=458716 CPUtime=1056.48
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 128530 0 0 0 105249 399 0 0 25 0 5 0 1129588697 469725184 111440 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 114679 111440 68 164 0 114514 0
[pid=15100/tid=15101] ppid=15098 vsize=458716 CPUtime=2.98
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 4638 0 0 0 104 194 0 0 15 0 5 0 1129588697 469725184 111440 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=15100/tid=15103] ppid=15098 vsize=458716 CPUtime=359.85
/proc/15100/task/15103/stat : 15103 (satake) R 15098 15100 23155 0 -1 4202560 42092 0 0 0 35892 93 0 0 25 0 5 0 1129588698 469725184 111440 4294967295 134512640 135180984 3218454704 3086511920 134523667 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15100/tid=15104] ppid=15098 vsize=458716 CPUtime=339.83
/proc/15100/task/15104/stat : 15104 (satake) R 15098 15100 23155 0 -1 4202560 40848 0 0 0 33933 50 0 0 25 0 5 0 1129588698 469725184 111440 4294967295 134512640 135180984 3218454704 3086446448 134526482 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15105] ppid=15098 vsize=458716 CPUtime=353.82
/proc/15100/task/15105/stat : 15105 (satake) R 15098 15100 23155 0 -1 4202560 40841 0 0 0 35320 62 0 0 25 0 5 0 1129588698 469725184 111440 4294967295 134512640 135180984 3218454704 3086380744 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1056.48
Current children cumulated vsize (KiB) 458716

[startup+642.312 s]
/proc/loadavg: 6.66 6.51 6.47 8/116 17000
/proc/meminfo: memFree=2562840/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=487296 CPUtime=1174.95
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 135583 0 0 0 117073 422 0 0 25 0 5 0 1129588697 498991104 118493 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 121824 118493 68 164 0 121659 0
[pid=15100/tid=15101] ppid=15098 vsize=487296 CPUtime=3.1
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 4658 0 0 0 107 203 0 0 15 0 5 0 1129588697 498991104 118493 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=15100/tid=15103] ppid=15098 vsize=487296 CPUtime=400.32
/proc/15100/task/15103/stat : 15103 (satake) R 15098 15100 23155 0 -1 4202560 44411 0 0 0 39932 100 0 0 25 0 5 0 1129588698 498991104 118493 4294967295 134512640 135180984 3218454704 3086511880 134519103 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15100/tid=15104] ppid=15098 vsize=487296 CPUtime=378.33
/proc/15100/task/15104/stat : 15104 (satake) R 15098 15100 23155 0 -1 4202560 43054 0 0 0 37779 54 0 0 25 0 5 0 1129588698 498991104 118493 4294967295 134512640 135180984 3218454704 3086446512 134532454 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15105] ppid=15098 vsize=487296 CPUtime=393.2
/proc/15100/task/15105/stat : 15105 (satake) R 15098 15100 23155 0 -1 4202560 43349 0 0 0 39255 65 0 0 25 0 5 0 1129588698 498991104 118493 4294967295 134512640 135180984 3218454704 3086380864 134527272 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1174.95
Current children cumulated vsize (KiB) 487296

[startup+702.307 s]
/proc/loadavg: 6.39 6.46 6.45 8/116 17188
/proc/meminfo: memFree=2535428/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=513696 CPUtime=1293.57
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 142410 0 0 0 128917 440 0 0 25 0 5 0 1129588697 526024704 125320 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 128424 125320 68 164 0 128259 0
[pid=15100/tid=15101] ppid=15098 vsize=513696 CPUtime=3.18
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 4681 0 0 0 111 207 0 0 15 0 5 0 1129588697 526024704 125320 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=15100/tid=15103] ppid=15098 vsize=513696 CPUtime=439
/proc/15100/task/15103/stat : 15103 (satake) R 15098 15100 23155 0 -1 4202560 46270 0 0 0 43797 103 0 0 25 0 5 0 1129588698 526024704 125320 4294967295 134512640 135180984 3218454704 3086512048 134532445 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15100/tid=15104] ppid=15098 vsize=513696 CPUtime=418.48
/proc/15100/task/15104/stat : 15104 (satake) R 15098 15100 23155 0 -1 4202560 45245 0 0 0 41790 58 0 0 25 0 5 0 1129588698 526024704 125320 4294967295 134512640 135180984 3218454704 3086446280 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15105] ppid=15098 vsize=513696 CPUtime=432.91
/proc/15100/task/15105/stat : 15105 (satake) R 15098 15100 23155 0 -1 4202560 46103 0 0 0 43219 72 0 0 25 0 5 0 1129588698 526024704 125320 4294967295 134512640 135180984 3218454704 3086380816 134525399 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1293.57
Current children cumulated vsize (KiB) 513696

[startup+762.322 s]
/proc/loadavg: 6.48 6.48 6.46 7/116 17376
/proc/meminfo: memFree=2507544/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=543076 CPUtime=1412.26
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 149424 0 0 0 140775 451 0 0 25 0 5 0 1129588697 556109824 132334 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 135769 132334 68 164 0 135604 0
[pid=15100/tid=15101] ppid=15098 vsize=543076 CPUtime=3.28
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 4693 0 0 0 117 211 0 0 15 0 5 0 1129588697 556109824 132334 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=15100/tid=15103] ppid=15098 vsize=543076 CPUtime=481.63
/proc/15100/task/15103/stat : 15103 (satake) R 15098 15100 23155 0 -1 4202560 48828 0 0 0 48056 107 0 0 25 0 5 0 1129588698 556109824 132334 4294967295 134512640 135180984 3218454704 3086511816 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15100/tid=15104] ppid=15098 vsize=543076 CPUtime=455.64
/proc/15100/task/15104/stat : 15104 (satake) R 15098 15100 23155 0 -1 4202560 47239 0 0 0 45506 58 0 0 25 0 5 0 1129588698 556109824 132334 4294967295 134512640 135180984 3218454704 3086446384 134523641 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15105] ppid=15098 vsize=543076 CPUtime=471.71
/proc/15100/task/15105/stat : 15105 (satake) R 15098 15100 23155 0 -1 4202560 48553 0 0 0 47096 75 0 0 25 0 5 0 1129588698 556109824 132334 4294967295 134512640 135180984 3218454704 3086380848 134523641 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1412.26
Current children cumulated vsize (KiB) 543076

[startup+822.317 s]
/proc/loadavg: 6.53 6.50 6.46 7/116 17562
/proc/meminfo: memFree=2480612/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=569236 CPUtime=1530.89
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 156126 0 0 0 152629 460 0 0 25 0 5 0 1129588697 582897664 139036 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 142309 139036 68 164 0 142144 0
[pid=15100/tid=15101] ppid=15098 vsize=569236 CPUtime=3.37
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 4706 0 0 0 123 214 0 0 15 0 5 0 1129588697 582897664 139036 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=15100/tid=15103] ppid=15098 vsize=569236 CPUtime=517.54
/proc/15100/task/15103/stat : 15103 (satake) R 15098 15100 23155 0 -1 4202560 50848 0 0 0 51644 110 0 0 25 0 5 0 1129588698 582897664 139036 4294967295 134512640 135180984 3218454704 3086511952 134519935 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15100/tid=15104] ppid=15098 vsize=569236 CPUtime=494.73
/proc/15100/task/15104/stat : 15104 (satake) R 15098 15100 23155 0 -1 4202560 49305 0 0 0 49413 60 0 0 25 0 5 0 1129588698 582897664 139036 4294967295 134512640 135180984 3218454704 3086446448 134528680 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15100/tid=15105] ppid=15098 vsize=569236 CPUtime=515.25
/proc/15100/task/15105/stat : 15105 (satake) R 15098 15100 23155 0 -1 4202560 51156 0 0 0 51449 76 0 0 25 0 5 0 1129588698 582897664 139036 4294967295 134512640 135180984 3218454704 3086380904 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1530.89
Current children cumulated vsize (KiB) 569236

[startup+882.312 s]
/proc/loadavg: 6.56 6.51 6.47 7/116 17751
/proc/meminfo: memFree=2455028/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=594016 CPUtime=1649.68
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 162449 0 0 0 164489 479 0 0 25 0 5 0 1129588697 608272384 145359 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 148504 145359 68 164 0 148339 0
[pid=15100/tid=15101] ppid=15098 vsize=594016 CPUtime=3.51
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 4720 0 0 0 128 223 0 0 15 0 5 0 1129588697 608272384 145359 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15100/tid=15103] ppid=15098 vsize=594016 CPUtime=557.55
/proc/15100/task/15103/stat : 15103 (satake) R 15098 15100 23155 0 -1 4202560 52845 0 0 0 55643 112 0 0 25 0 5 0 1129588698 608272384 145359 4294967295 134512640 135180984 3218454704 3086511984 134526240 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15100/tid=15104] ppid=15098 vsize=594016 CPUtime=537.78
/proc/15100/task/15104/stat : 15104 (satake) R 15098 15100 23155 0 -1 4202560 51735 0 0 0 53711 67 0 0 25 0 5 0 1129588698 608272384 145359 4294967295 134512640 135180984 3218454704 3086446280 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15105] ppid=15098 vsize=594016 CPUtime=550.84
/proc/15100/task/15105/stat : 15105 (satake) R 15098 15100 23155 0 -1 4202560 53038 0 0 0 55007 77 0 0 25 0 5 0 1129588698 608272384 145359 4294967295 134512640 135180984 3218454704 3086380908 134520901 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1649.68
Current children cumulated vsize (KiB) 594016

[startup+942.307 s]
/proc/loadavg: 6.43 6.47 6.45 7/116 17939
/proc/meminfo: memFree=2430052/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=620436 CPUtime=1768.97
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 168813 0 0 0 176396 501 0 0 25 0 5 0 1129588697 635326464 151723 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 155109 151723 68 164 0 154944 0
[pid=15100/tid=15101] ppid=15098 vsize=620436 CPUtime=3.69
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 4744 0 0 0 136 233 0 0 15 0 5 0 1129588697 635326464 151723 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15100/tid=15103] ppid=15098 vsize=620436 CPUtime=600.99
/proc/15100/task/15103/stat : 15103 (satake) R 15098 15100 23155 0 -1 4202560 54919 0 0 0 59983 116 0 0 25 0 5 0 1129588698 635326464 151723 4294967295 134512640 135180984 3218454704 3086511776 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15100/tid=15104] ppid=15098 vsize=620436 CPUtime=572.08
/proc/15100/task/15104/stat : 15104 (satake) R 15098 15100 23155 0 -1 4202560 53625 0 0 0 57138 70 0 0 25 0 5 0 1129588698 635326464 151723 4294967295 134512640 135180984 3218454704 3086446444 134519895 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15105] ppid=15098 vsize=620436 CPUtime=592.21
/proc/15100/task/15105/stat : 15105 (satake) R 15098 15100 23155 0 -1 4202560 55414 0 0 0 59139 82 0 0 25 0 5 0 1129588698 635326464 151723 4294967295 134512640 135180984 3218454704 3086380912 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1768.97
Current children cumulated vsize (KiB) 620436



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 6.64 6.52 6.47 7/116 18142
/proc/meminfo: memFree=2409636/3368532 swapFree=1953788/1959888
[pid=15100] ppid=15098 vsize=639800 CPUtime=1882.73
/proc/15100/stat : 15100 (satake) S 15098 15100 23155 0 -1 4202496 173787 0 0 0 187760 513 0 0 25 0 5 0 1129588697 655155200 156697 4294967295 134512640 135180984 3218454704 3218454140 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15100/statm: 159950 156697 68 164 0 159785 0
[pid=15100/tid=15101] ppid=15098 vsize=639800 CPUtime=3.74
/proc/15100/task/15101/stat : 15101 (satake) S 15098 15100 23155 0 -1 4202560 4758 0 0 0 137 237 0 0 15 0 5 0 1129588697 655155200 156697 4294967295 134512640 135180984 3218454704 3086577680 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15100/tid=15103] ppid=15098 vsize=639800 CPUtime=641.83
/proc/15100/task/15103/stat : 15103 (satake) R 15098 15100 23155 0 -1 4202560 56709 0 0 0 64062 121 0 0 25 0 5 0 1129588698 655155200 156697 4294967295 134512640 135180984 3218454704 3086511984 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15100/tid=15104] ppid=15098 vsize=639800 CPUtime=607.05
/proc/15100/task/15104/stat : 15104 (satake) R 15098 15100 23155 0 -1 4202560 55183 0 0 0 60633 72 0 0 25 0 5 0 1129588698 655155200 156697 4294967295 134512640 135180984 3218454704 3086446416 134520027 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15100/tid=15105] ppid=15098 vsize=639800 CPUtime=630.11
/proc/15100/task/15105/stat : 15105 (satake) R 15098 15100 23155 0 -1 4202560 57026 0 0 0 62928 83 0 0 25 0 5 0 1129588698 655155200 156697 4294967295 134512640 135180984 3218454704 3086380912 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1882.73
Current children cumulated vsize (KiB) 639800

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): 1882.79
CPU user time (s): 1877.62
CPU system time (s): 5.17
CPU usage (%): 188.266
Max. virtual memory (cumulated for all children) (KiB): 639800

deleting IPC queue 12058624
deleting IPC queue 12091393
deleting IPC queue 12124162
deleting IPC queue 12156931
deleting IPC queue 12189700
deleting IPC queue 12222469
deleting IPC queue 12255238
deleting IPC queue 12288007
deleting IPC queue 12320776
deleting IPC queue 12353545
deleting IPC queue 12386314
deleting IPC queue 12419083
deleting IPC queue 12451852
deleting IPC queue 12484621
deleting IPC queue 12517390
deleting IPC queue 12550159

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1877.62
system time used= 5.17
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173788
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= 362743
involuntary context switches= 337511

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 04:07:24
IDJOB=1780660
IDBENCH=71045
IDSOLVER=629
FILE ID=/1780660-1243649244
PBS_JOBID=
Free space on /tmp= 6454 MiB

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

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

MD5SUM BENCH= 93858500e23e9a4bf0619d7bf7dc00f3
RANDOM SEED= 1706398588

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.061
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.41
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.061
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.12
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.061
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.14
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.061
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.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3037616 kB
Buffers:         72048 kB
Cached:         151692 kB
SwapCached:       2256 kB
Active:         129240 kB
Inactive:       111136 kB
HighTotal:     2489216 kB
HighFree:      2319552 kB
LowTotal:       879316 kB
LowFree:        718064 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:           23972 kB
Writeback:           0 kB
AnonPages:       16096 kB
Mapped:           5228 kB
Slab:            80844 kB
SReclaimable:    66924 kB
SUnreclaim:      13920 kB
PageTables:        696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   112676 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6454 MiB
End job on  at 2009-05-30 04:24:08