Trace number 3386088

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
SArTagnan 2011-05-15 (fixed)? (TO) 3884.94 1300.08

General information on the benchmark

NameSAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-040-039.shuffled-as.sat05-1194.cnf
MD5SUM8c84d9b9f2d75de33656119bc03a9afb
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark45.3841
Satisfiable
(Un)Satisfiability was proved
Number of variables1560
Number of clauses30460
Sum of the clauses size62400
Maximum clause length39
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 230420
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3386088-1305583069/watcher-3386088-1305583069 -o /tmp/evaluation-result-3386088-1305583069/solver-3386088-1305583069 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386088-1305583069.cnf -threads=4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 10.09 9.80 7.57 7/493 539
/proc/meminfo: memFree=20599284/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=18268 CPUtime=0 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4194304 239 0 0 0 0 0 0 0 25 0 1 0 402498196 18706432 189 33554432000 4194304 4625164 140734216183136 18446744073709551615 268655699432 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/539/statm: 4567 189 156 106 0 57 0
[pid=539/tid=540] ppid=537 vsize=52044 CPUtime=0 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 402498198 53293056 863 33554432000 4194304 4625164 140734216183136 18446744073709551615 268660718577 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=539/tid=541] ppid=537 vsize=52044 CPUtime=0 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 402498198 53293056 863 33554432000 4194304 4625164 140734216183136 18446744073709551615 268660718577 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=539/tid=542] ppid=537 vsize=52044 CPUtime=0 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 402498198 53293056 863 33554432000 4194304 4625164 140734216183136 18446744073709551615 268660718577 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0809189 s]
/proc/loadavg: 10.09 9.80 7.57 7/493 539
/proc/meminfo: memFree=20599284/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=118796 CPUtime=0.14 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 1452 0 0 0 14 0 0 0 25 0 4 0 402498196 121647104 1241 33554432000 4194304 4625164 140734216183136 18446744073709551615 47195554535346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/539/statm: 29699 1241 323 106 0 25202 0
[pid=539/tid=540] ppid=537 vsize=118796 CPUtime=0.04 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) D 537 539 370 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 4 0 402498198 121647104 1241 33554432000 4194304 4625164 140734216183136 18446744073709551615 4273465 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=539/tid=541] ppid=537 vsize=118796 CPUtime=0.01 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) D 537 539 370 0 -1 4202560 315 0 0 0 1 0 0 0 25 0 4 0 402498198 121647104 1241 33554432000 4194304 4625164 140734216183136 18446744073709551615 268660323013 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=539/tid=542] ppid=537 vsize=118796 CPUtime=0.06 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 68 0 0 0 6 0 0 0 25 0 4 0 402498198 121647104 1241 33554432000 4194304 4625164 140734216183136 18446744073709551615 268660705463 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 118796

[startup+0.120868 s]
/proc/loadavg: 10.09 9.80 7.57 7/493 539
/proc/meminfo: memFree=20599284/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=120016 CPUtime=0.21 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 2085 0 0 0 21 0 0 0 25 0 4 0 402498196 122896384 1870 33554432000 4194304 4625164 140734216183136 18446744073709551615 268660359360 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/539/statm: 30004 1870 329 106 0 25507 0
[pid=539/tid=540] ppid=537 vsize=120016 CPUtime=0.07 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 272 0 0 0 7 0 0 0 25 0 4 0 402498198 122896384 1870 33554432000 4194304 4625164 140734216183136 18446744073709551615 4345276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=539/tid=541] ppid=537 vsize=120016 CPUtime=0.02 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 544 0 0 0 2 0 0 0 25 0 4 0 402498198 122896384 1870 33554432000 4194304 4625164 140734216183136 18446744073709551615 4347464 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=539/tid=542] ppid=537 vsize=120016 CPUtime=0.1 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) D 537 539 370 0 -1 4202560 174 0 0 0 10 0 0 0 25 0 4 0 402498198 122896384 1870 33554432000 4194304 4625164 140734216183136 18446744073709551615 268660705463 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 120016

[startup+0.300308 s]
/proc/loadavg: 10.09 9.80 7.57 7/493 539
/proc/meminfo: memFree=20599284/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=189212 CPUtime=0.57 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 4995 0 0 0 57 0 0 0 25 0 4 0 402498196 193753088 3762 33554432000 4194304 4625164 140734216183136 18446744073709551615 4336638 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/539/statm: 47303 3763 342 106 0 42806 0
[pid=539/tid=540] ppid=537 vsize=189212 CPUtime=0.14 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 908 0 0 0 14 0 0 0 25 0 4 0 402498198 193753088 3768 33554432000 4194304 4625164 140734216183136 18446744073709551615 4462650 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=539/tid=541] ppid=537 vsize=189212 CPUtime=0.03 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 651 0 0 0 3 0 0 0 24 0 4 0 402498198 193753088 3771 33554432000 4194304 4625164 140734216183136 18446744073709551615 268660323361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=539/tid=542] ppid=537 vsize=189212 CPUtime=0.27 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 502 0 0 0 27 0 0 0 25 0 4 0 402498198 193753088 3771 33554432000 4194304 4625164 140734216183136 18446744073709551615 4561060 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 189212

[startup+0.700238 s]
/proc/loadavg: 10.09 9.80 7.57 7/493 539
/proc/meminfo: memFree=20599284/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=202808 CPUtime=1.4 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 11758 0 0 0 139 1 0 0 25 0 4 0 402498196 207675392 7920 33554432000 4194304 4625164 140734216183136 18446744073709551615 4393061 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/539/statm: 50702 7920 345 106 0 46205 0
[pid=539/tid=540] ppid=537 vsize=202808 CPUtime=0.17 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 1008 0 0 0 17 0 0 0 24 0 4 0 402498198 207675392 7920 33554432000 4194304 4625164 140734216183136 18446744073709551615 4278514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=539/tid=541] ppid=537 vsize=202808 CPUtime=0.32 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 3070 0 0 0 32 0 0 0 25 0 4 0 402498198 207675392 7920 33554432000 4194304 4625164 140734216183136 18446744073709551615 4352047 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=539/tid=542] ppid=537 vsize=202808 CPUtime=0.57 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 825 0 0 0 57 0 0 0 25 0 4 0 402498198 207675392 7920 33554432000 4194304 4625164 140734216183136 18446744073709551615 4375257 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 202808

[startup+1.5011 s]
/proc/loadavg: 10.09 9.80 7.57 10/497 543
/proc/meminfo: memFree=20562680/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=278732 CPUtime=2.97 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 14920 0 0 0 296 1 0 0 18 0 4 0 402498196 285421568 11073 33554432000 4194304 4625164 140734216183136 18446744073709551615 4499429 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/539/statm: 69683 11073 345 106 0 65186 0
[pid=539/tid=540] ppid=537 vsize=278732 CPUtime=0.93 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 3487 0 0 0 93 0 0 0 25 0 4 0 402498198 285421568 11073 33554432000 4194304 4625164 140734216183136 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=539/tid=541] ppid=537 vsize=278732 CPUtime=0.33 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 3110 0 0 0 33 0 0 0 25 0 4 0 402498198 285421568 11073 33554432000 4194304 4625164 140734216183136 18446744073709551615 268660705463 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=539/tid=542] ppid=537 vsize=278732 CPUtime=0.65 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) S 537 539 370 0 -1 4202560 929 0 0 0 65 0 0 0 25 0 4 0 402498198 285421568 11073 33554432000 4194304 4625164 140734216183136 18446744073709551615 268660767214 0 0 4096 2 18446604445742810368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 278732

[startup+3.10081 s]
/proc/loadavg: 10.09 9.80 7.57 11/497 543
/proc/meminfo: memFree=20541104/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=285516 CPUtime=6.15 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 24938 0 0 0 612 3 0 0 20 0 4 0 402498196 292368384 18983 33554432000 4194304 4625164 140734216183136 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/539/statm: 71379 18983 365 106 0 66882 0
[pid=539/tid=540] ppid=537 vsize=285516 CPUtime=1.32 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 4225 0 0 0 132 0 0 0 25 0 4 0 402498198 292368384 18983 33554432000 4194304 4625164 140734216183136 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=539/tid=541] ppid=537 vsize=285516 CPUtime=0.81 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 8946 0 0 0 81 0 0 0 25 0 4 0 402498198 292368384 18983 33554432000 4194304 4625164 140734216183136 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=539/tid=542] ppid=537 vsize=285516 CPUtime=1.87 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 1754 0 0 0 187 0 0 0 19 0 4 0 402498198 292368384 18983 33554432000 4194304 4625164 140734216183136 18446744073709551615 4546792 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 285516

[startup+6.30025 s]
/proc/loadavg: 10.09 9.80 7.58 9/497 543
/proc/meminfo: memFree=20492988/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=293916 CPUtime=12.41 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 39901 0 0 0 1236 5 0 0 25 0 4 0 402498196 300969984 28639 33554432000 4194304 4625164 140734216183136 18446744073709551615 4393061 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/539/statm: 73479 28639 346 106 0 68982 0
[pid=539/tid=540] ppid=537 vsize=293916 CPUtime=2.47 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 6251 0 0 0 246 1 0 0 25 0 4 0 402498198 300969984 28639 33554432000 4194304 4625164 140734216183136 18446744073709551615 268660323013 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=539/tid=541] ppid=537 vsize=293916 CPUtime=1.37 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 13533 0 0 0 136 1 0 0 23 0 4 0 402498198 300969984 28639 33554432000 4194304 4625164 140734216183136 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=539/tid=542] ppid=537 vsize=293916 CPUtime=4.3 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 9060 0 0 0 430 0 0 0 25 0 4 0 402498198 300969984 28639 33554432000 4194304 4625164 140734216183136 18446744073709551615 4339160 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 293916

[startup+12.7011 s]
/proc/loadavg: 10.08 9.81 7.59 12/497 543
/proc/meminfo: memFree=20395424/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=397572 CPUtime=26.75 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 80168 0 0 0 2662 13 0 0 18 0 4 0 402498196 407113728 53551 33554432000 4194304 4625164 140734216183136 18446744073709551615 4338083 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/539/statm: 99393 53551 352 106 0 94896 0
[pid=539/tid=540] ppid=537 vsize=397572 CPUtime=7.14 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 14332 0 0 0 712 2 0 0 25 0 4 0 402498198 407113728 53551 33554432000 4194304 4625164 140734216183136 18446744073709551615 4352010 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=539/tid=541] ppid=537 vsize=397572 CPUtime=3.2 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 25123 0 0 0 315 5 0 0 25 0 4 0 402498198 407113728 53551 33554432000 4194304 4625164 140734216183136 18446744073709551615 268660705463 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=539/tid=542] ppid=537 vsize=397572 CPUtime=8.11 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 24790 0 0 0 808 3 0 0 22 0 4 0 402498198 407113728 53551 33554432000 4194304 4625164 140734216183136 18446744073709551615 4352800 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 26.75
Current children cumulated vsize (KiB) 397572

[startup+25.5009 s]
/proc/loadavg: 10.06 9.82 7.63 11/497 544
/proc/meminfo: memFree=20198628/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=536520 CPUtime=64.88 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 142171 0 0 0 6462 26 0 0 19 0 4 0 402498196 549396480 98508 33554432000 4194304 4625164 140734216183136 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/539/statm: 134130 98508 523 106 0 129633 0
[pid=539/tid=540] ppid=537 vsize=536520 CPUtime=16.65 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 26096 0 0 0 1661 4 0 0 25 0 4 0 402498198 549396480 98508 33554432000 4194304 4625164 140734216183136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=539/tid=541] ppid=537 vsize=536520 CPUtime=8.16 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 49243 0 0 0 804 12 0 0 25 0 4 0 402498198 549396480 98508 33554432000 4194304 4625164 140734216183136 18446744073709551615 4351996 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=539/tid=542] ppid=537 vsize=536520 CPUtime=19.85 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 36944 0 0 0 1980 5 0 0 25 0 4 0 402498198 549396480 98508 33554432000 4194304 4625164 140734216183136 18446744073709551615 4351894 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 64.88
Current children cumulated vsize (KiB) 536520

[startup+51.1004 s]
/proc/loadavg: 10.04 9.83 7.69 11/497 544
/proc/meminfo: memFree=19921716/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=899232 CPUtime=141.19 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 220135 0 0 0 14074 45 0 0 25 0 4 0 402498196 920813568 165609 33554432000 4194304 4625164 140734216183136 18446744073709551615 4338055 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/539/statm: 224808 165609 565 106 0 220311 0
[pid=539/tid=540] ppid=537 vsize=899232 CPUtime=33.43 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 40338 0 0 0 3335 8 0 0 25 0 4 0 402498198 920813568 165609 33554432000 4194304 4625164 140734216183136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=539/tid=541] ppid=537 vsize=899232 CPUtime=19.06 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 91627 0 0 0 1882 24 0 0 25 0 4 0 402498198 920813568 165609 33554432000 4194304 4625164 140734216183136 18446744073709551615 4467406 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=539/tid=542] ppid=537 vsize=899232 CPUtime=44.05 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 43578 0 0 0 4399 6 0 0 25 0 4 0 402498198 920813568 165609 33554432000 4194304 4625164 140734216183136 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 141.19
Current children cumulated vsize (KiB) 899232

[startup+102.319 s]
/proc/loadavg: 10.14 9.88 7.82 11/497 546
/proc/meminfo: memFree=19795308/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=973392 CPUtime=293.98 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 524088 0 0 0 29307 91 0 0 25 0 4 0 402498196 996753408 188710 33554432000 4194304 4625164 140734216183136 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/539/statm: 243348 188711 350 106 0 238851 0
[pid=539/tid=540] ppid=537 vsize=973392 CPUtime=59.52 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 43692 0 0 0 5944 8 0 0 25 0 4 0 402498198 996753408 188711 33554432000 4194304 4625164 140734216183136 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=539/tid=541] ppid=537 vsize=973392 CPUtime=48.26 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 101727 0 0 0 4799 27 0 0 25 0 4 0 402498198 996753408 188711 33554432000 4194304 4625164 140734216183136 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=539/tid=542] ppid=537 vsize=973392 CPUtime=91.16 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 313000 0 0 0 9072 44 0 0 25 0 4 0 402498198 996753408 188711 33554432000 4194304 4625164 140734216183136 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 293.98
Current children cumulated vsize (KiB) 973392

[startup+162.301 s]

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

[pid=539] ppid=537 vsize=1444220 CPUtime=2101.32 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 2390866 0 0 0 209757 375 0 0 25 0 4 0 402498196 1478881280 280117 33554432000 4194304 4625164 140734216183136 18446744073709551615 4393112 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/539/statm: 361055 280117 734 106 0 356558 0
[pid=539/tid=540] ppid=537 vsize=1444220 CPUtime=565.65 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 52776 0 0 0 56554 11 0 0 25 0 4 0 402498198 1478881280 280117 33554432000 4194304 4625164 140734216183136 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=539/tid=541] ppid=537 vsize=1444220 CPUtime=564.73 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 113116 0 0 0 56440 33 0 0 25 0 4 0 402498198 1478881280 280117 33554432000 4194304 4625164 140734216183136 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=539/tid=542] ppid=537 vsize=1444220 CPUtime=465.61 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 2002514 0 0 0 46266 295 0 0 25 0 4 0 402498198 1478881280 280117 33554432000 4194304 4625164 140734216183136 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2101.32
Current children cumulated vsize (KiB) 1444220

[startup+762.318 s]
/proc/loadavg: 10.12 10.11 8.99 12/497 613
/proc/meminfo: memFree=19447448/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=1458972 CPUtime=2280.4 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 2655691 0 0 0 227626 414 0 0 25 0 4 0 402498196 1493987328 291415 33554432000 4194304 4625164 140734216183136 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/539/statm: 364743 291415 832 106 0 360246 0
[pid=539/tid=540] ppid=537 vsize=1458972 CPUtime=597.05 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 53087 0 0 0 59694 11 0 0 25 0 4 0 402498198 1493987328 291415 33554432000 4194304 4625164 140734216183136 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=539/tid=541] ppid=537 vsize=1458972 CPUtime=623.79 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 114080 0 0 0 62346 33 0 0 25 0 4 0 402498198 1493987328 291415 33554432000 4194304 4625164 140734216183136 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=539/tid=542] ppid=537 vsize=1458972 CPUtime=495.56 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 2249913 0 0 0 49225 331 0 0 25 0 4 0 402498198 1493987328 291415 33554432000 4194304 4625164 140734216183136 18446744073709551615 4352002 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2280.4
Current children cumulated vsize (KiB) 1458972

[startup+822.301 s]
/proc/loadavg: 10.16 10.13 9.07 11/497 615
/proc/meminfo: memFree=19383044/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=1467272 CPUtime=2459.39 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 2786288 0 0 0 245505 434 0 0 25 0 4 0 402498196 1502486528 298255 33554432000 4194304 4625164 140734216183136 18446744073709551615 4393089 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/539/statm: 366818 298255 854 106 0 362321 0
[pid=539/tid=540] ppid=537 vsize=1467272 CPUtime=627.04 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 53205 0 0 0 62693 11 0 0 25 0 4 0 402498198 1502486528 298255 33554432000 4194304 4625164 140734216183136 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=539/tid=541] ppid=537 vsize=1467272 CPUtime=682.82 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 114456 0 0 0 68249 33 0 0 25 0 4 0 402498198 1502486528 298255 33554432000 4194304 4625164 140734216183136 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=539/tid=542] ppid=537 vsize=1467272 CPUtime=525.54 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 2370671 0 0 0 52205 349 0 0 25 0 4 0 402498198 1502486528 298255 33554432000 4194304 4625164 140734216183136 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2459.39
Current children cumulated vsize (KiB) 1467272

[startup+882.3 s]
/proc/loadavg: 10.14 10.13 9.13 12/497 616
/proc/meminfo: memFree=19307480/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=1467272 CPUtime=2638.43 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 3069424 0 0 0 263367 476 0 0 25 0 4 0 402498196 1502486528 304247 33554432000 4194304 4625164 140734216183136 18446744073709551615 4393061 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/539/statm: 366818 304247 814 106 0 362321 0
[pid=539/tid=540] ppid=537 vsize=1467272 CPUtime=657.03 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 53318 0 0 0 65692 11 0 0 25 0 4 0 402498198 1502486528 304247 33554432000 4194304 4625164 140734216183136 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=539/tid=541] ppid=537 vsize=1467272 CPUtime=741.85 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 114532 0 0 0 74152 33 0 0 25 0 4 0 402498198 1502486528 304247 33554432000 4194304 4625164 140734216183136 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=539/tid=542] ppid=537 vsize=1467272 CPUtime=555.54 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 2623991 0 0 0 55170 384 0 0 25 0 4 0 402498198 1502486528 304247 33554432000 4194304 4625164 140734216183136 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2638.43
Current children cumulated vsize (KiB) 1467272

[startup+942.301 s]
/proc/loadavg: 10.13 10.14 9.20 11/497 618
/proc/meminfo: memFree=19242468/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=1470440 CPUtime=2817.48 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 3360583 0 0 0 281228 520 0 0 25 0 4 0 402498196 1505730560 309201 33554432000 4194304 4625164 140734216183136 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/539/statm: 367610 309201 785 106 0 363113 0
[pid=539/tid=540] ppid=537 vsize=1470440 CPUtime=711.53 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 53426 0 0 0 71142 11 0 0 25 0 4 0 402498198 1505730560 309201 33554432000 4194304 4625164 140734216183136 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=539/tid=541] ppid=537 vsize=1470440 CPUtime=800.9 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 115738 0 0 0 80056 34 0 0 25 0 4 0 402498198 1505730560 309201 33554432000 4194304 4625164 140734216183136 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=539/tid=542] ppid=537 vsize=1470440 CPUtime=585.52 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 2900716 0 0 0 58127 425 0 0 25 0 4 0 402498198 1505730560 309201 33554432000 4194304 4625164 140734216183136 18446744073709551615 4339536 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2817.48
Current children cumulated vsize (KiB) 1470440

[startup+1002.3 s]
/proc/loadavg: 10.26 10.18 9.27 11/497 620
/proc/meminfo: memFree=19098464/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=1634324 CPUtime=2996.5 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 3728709 0 0 0 299072 578 0 0 25 0 4 0 402498196 1673547776 323417 33554432000 4194304 4625164 140734216183136 18446744073709551615 4393051 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/539/statm: 408581 323417 785 106 0 404084 0
[pid=539/tid=540] ppid=537 vsize=1634324 CPUtime=771.53 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 53519 0 0 0 77142 11 0 0 25 0 4 0 402498198 1673547776 323417 33554432000 4194304 4625164 140734216183136 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=539/tid=541] ppid=537 vsize=1634324 CPUtime=859.92 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 125410 0 0 0 85957 35 0 0 25 0 4 0 402498198 1673547776 323417 33554432000 4194304 4625164 140734216183136 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=539/tid=542] ppid=537 vsize=1634324 CPUtime=615.6 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 3155295 0 0 0 61094 466 0 0 25 0 4 0 402498198 1673547776 323417 33554432000 4194304 4625164 140734216183136 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2996.5
Current children cumulated vsize (KiB) 1634324

[startup+1062.3 s]
/proc/loadavg: 10.13 10.16 9.32 11/497 621
/proc/meminfo: memFree=19028744/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=1639736 CPUtime=3175.55 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 4031735 0 0 0 316929 626 0 0 25 0 4 0 402498196 1679089664 328053 33554432000 4194304 4625164 140734216183136 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/539/statm: 409934 328053 769 106 0 405437 0
[pid=539/tid=540] ppid=537 vsize=1639736 CPUtime=831.53 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 53623 0 0 0 83142 11 0 0 25 0 4 0 402498198 1679089664 328053 33554432000 4194304 4625164 140734216183136 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=539/tid=541] ppid=537 vsize=1639736 CPUtime=918.97 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 126970 0 0 0 91861 36 0 0 25 0 4 0 402498198 1679089664 328053 33554432000 4194304 4625164 140734216183136 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=539/tid=542] ppid=537 vsize=1639736 CPUtime=645.61 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 3423883 0 0 0 64054 507 0 0 25 0 4 0 402498198 1679089664 328053 33554432000 4194304 4625164 140734216183136 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3175.55
Current children cumulated vsize (KiB) 1639736

[startup+1122.3 s]
/proc/loadavg: 10.16 10.16 9.37 11/497 623
/proc/meminfo: memFree=18917748/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=1644620 CPUtime=3354.58 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 4332856 0 0 0 334782 676 0 0 25 0 4 0 402498196 1684090880 333824 33554432000 4194304 4625164 140734216183136 18446744073709551615 4393080 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/539/statm: 411155 333824 775 106 0 406658 0
[pid=539/tid=540] ppid=537 vsize=1644620 CPUtime=891.53 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 53756 0 0 0 89142 11 0 0 25 0 4 0 402498198 1684090880 333824 33554432000 4194304 4625164 140734216183136 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=539/tid=541] ppid=537 vsize=1644620 CPUtime=978 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 128230 0 0 0 97764 36 0 0 25 0 4 0 402498198 1684090880 333824 33554432000 4194304 4625164 140734216183136 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=539/tid=542] ppid=537 vsize=1644620 CPUtime=675.6 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 3685985 0 0 0 67012 548 0 0 25 0 4 0 402498198 1684090880 333824 33554432000 4194304 4625164 140734216183136 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3354.58
Current children cumulated vsize (KiB) 1644620

[startup+1182.3 s]
/proc/loadavg: 10.13 10.14 9.41 11/497 624
/proc/meminfo: memFree=18876564/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=1650164 CPUtime=3533.61 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 4622352 0 0 0 352644 717 0 0 25 0 4 0 402498196 1689767936 337883 33554432000 4194304 4625164 140734216183136 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/539/statm: 412541 337883 656 106 0 408044 0
[pid=539/tid=540] ppid=537 vsize=1650164 CPUtime=951.52 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 53953 0 0 0 95141 11 0 0 25 0 4 0 402498198 1689767936 337883 33554432000 4194304 4625164 140734216183136 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=539/tid=541] ppid=537 vsize=1650164 CPUtime=1037.03 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 129658 0 0 0 103667 36 0 0 25 0 4 0 402498198 1689767936 337883 33554432000 4194304 4625164 140734216183136 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=539/tid=542] ppid=537 vsize=1650164 CPUtime=705.6 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 3935843 0 0 0 69977 583 0 0 25 0 4 0 402498198 1689767936 337883 33554432000 4194304 4625164 140734216183136 18446744073709551615 4547375 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3533.61
Current children cumulated vsize (KiB) 1650164

[startup+1242.3 s]
/proc/loadavg: 10.05 10.11 9.44 11/497 626
/proc/meminfo: memFree=18791728/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=1655180 CPUtime=3712.64 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 4991387 0 0 0 370491 773 0 0 25 0 4 0 402498196 1694904320 349937 33554432000 4194304 4625164 140734216183136 18446744073709551615 4393074 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/539/statm: 413795 349937 878 106 0 409298 0
[pid=539/tid=540] ppid=537 vsize=1655180 CPUtime=1005.15 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 54519 0 0 0 100503 12 0 0 25 0 4 0 402498198 1694904320 349937 33554432000 4194304 4625164 140734216183136 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=539/tid=541] ppid=537 vsize=1655180 CPUtime=1096.06 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 131111 0 0 0 109569 37 0 0 25 0 4 0 402498198 1694904320 349937 33554432000 4194304 4625164 140734216183136 18446744073709551615 4330958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=539/tid=542] ppid=537 vsize=1655180 CPUtime=742.02 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 4263151 0 0 0 73572 630 0 0 25 0 4 0 402498198 1694904320 349937 33554432000 4194304 4625164 140734216183136 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3712.64
Current children cumulated vsize (KiB) 1655180



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 10.15 10.12 9.49 11/497 628
/proc/meminfo: memFree=18746448/32951124 swapFree=46575272/67111528
[pid=539] ppid=537 vsize=1659536 CPUtime=3884.83 cores=0,2,4,6
/proc/539/stat : 539 (SArTagnan) R 537 539 370 0 -1 4202496 5478268 0 0 0 387647 836 0 0 25 0 4 0 402498196 1699364864 354695 33554432000 4194304 4625164 140734216183136 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/539/statm: 414884 354695 806 106 0 410387 0
[pid=539/tid=540] ppid=537 vsize=1659536 CPUtime=1033.97 cores=0,2,4,6
/proc/539/task/540/stat : 540 (SArTagnan) R 537 539 370 0 -1 4202560 54888 0 0 0 103385 12 0 0 25 0 4 0 402498198 1699364864 355478 33554432000 4194304 4625164 140734216183136 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=539/tid=541] ppid=537 vsize=1659536 CPUtime=1152.85 cores=0,2,4,6
/proc/539/task/541/stat : 541 (SArTagnan) R 537 539 370 0 -1 4202560 132841 0 0 0 115247 38 0 0 25 0 4 0 402498198 1699364864 355478 33554432000 4194304 4625164 140734216183136 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=539/tid=542] ppid=537 vsize=1659536 CPUtime=799.74 cores=0,2,4,6
/proc/539/task/542/stat : 542 (SArTagnan) R 537 539 370 0 -1 4202560 4746088 0 0 0 79282 692 0 0 25 0 4 0 402498198 1699364864 355478 33554432000 4194304 4625164 140734216183136 18446744073709551615 4579396 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3884.83
Current children cumulated vsize (KiB) 1659536

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): 1300.08
CPU time (s): 3884.94
CPU user time (s): 3876.52
CPU system time (s): 8.42472
CPU usage (%): 298.823
Max. virtual memory (cumulated for all children) (KiB): 1900544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3876.52
system time used= 8.42472
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5479115
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= 8871
involuntary context switches= 32824

runsolver used 6.12807 second user time and 14.8787 second system time

The end

Launcher Data 

Begin job on node107 at 2011-05-16 23:57:49
IDJOB=3386088
IDBENCH=85456
IDSOLVER=1871
FILE ID=node107/3386088-1305583069
RUNJOBID= node107-1305582132-388
PBS_JOBID= 13350308
Free space on /tmp= 73232 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT05/crafted/sabharwal05/counting/php/unsat/harder/php-040-039.shuffled-as.sat05-1194.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386088-1305583069/watcher-3386088-1305583069 -o /tmp/evaluation-result-3386088-1305583069/solver-3386088-1305583069 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386088-1305583069.cnf -threads=4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 8c84d9b9f2d75de33656119bc03a9afb
RANDOM SEED=1616980480

node107.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5359.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20599440 kB
Buffers:        238156 kB
Cached:        2417632 kB
SwapCached:       9812 kB
Active:       10610316 kB
Inactive:      1422960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20599440 kB
SwapTotal:    67111528 kB
SwapFree:     46575272 kB
Dirty:             888 kB
Writeback:           0 kB
AnonPages:     9374972 kB
Mapped:          33048 kB
Slab:           153820 kB
PageTables:      96488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 146484112 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73232 MiB
End job on node107 at 2011-05-17 00:19:31