Trace number 3385970

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) 3899.9 1300.26

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf
MD5SUM1037a2754a0a53f62ba8ec901741c9e9
Bench CategoryCRAFTED (crafted 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 variables540
Number of clauses40510
Sum of the clauses size81524
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 240492
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 518

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-3385970-1305582191/watcher-3385970-1305582191 -o /tmp/evaluation-result-3385970-1305582191/solver-3385970-1305582191 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3385970-1305582191.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: 6.95 3.38 2.53 7/332 20644
/proc/meminfo: memFree=24228220/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=22052 CPUtime=0 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 1192 0 0 0 0 0 0 0 25 0 1 0 748449670 22581248 879 33554432000 4194304 4625164 140733837666240 18446744073709551615 260020093397 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20644/statm: 5513 888 298 106 0 1016 0
[pid=20644/tid=20645] ppid=20642 vsize=52784 CPUtime=0 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 748449671 54050816 908 33554432000 4194304 4625164 140733837666240 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=52784 CPUtime=0 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 748449671 54050816 908 33554432000 4194304 4625164 140733837666240 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=52784 CPUtime=0 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 748449671 54050816 908 33554432000 4194304 4625164 140733837666240 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0720881 s]
/proc/loadavg: 6.95 3.38 2.53 7/332 20644
/proc/meminfo: memFree=24228220/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=119388 CPUtime=0.13 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 1607 0 0 0 13 0 0 0 25 0 4 0 748449670 122253312 1293 33554432000 4194304 4625164 140733837666240 18446744073709551615 4339447 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20644/statm: 29847 1293 328 106 0 25350 0
[pid=20644/tid=20645] ppid=20642 vsize=119388 CPUtime=0.04 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) D 20642 20644 20571 0 -1 4202560 155 0 0 0 4 0 0 0 25 0 4 0 748449671 122253312 1293 33554432000 4194304 4625164 140733837666240 18446744073709551615 260020439223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=119388 CPUtime=0 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 93 0 0 0 0 0 0 0 25 0 4 0 748449671 122253312 1293 33554432000 4194304 4625164 140733837666240 18446744073709551615 4291811 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=119388 CPUtime=0.05 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) D 20642 20644 20571 0 -1 4202560 129 0 0 0 5 0 0 0 25 0 4 0 748449671 122253312 1293 33554432000 4194304 4625164 140733837666240 18446744073709551615 260020093047 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 119388

[startup+0.171951 s]
/proc/loadavg: 6.95 3.38 2.53 7/332 20644
/proc/meminfo: memFree=24228220/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=190620 CPUtime=0.32 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 5341 0 0 0 32 0 0 0 25 0 4 0 748449670 195194880 3421 33554432000 4194304 4625164 140733837666240 18446744073709551615 260020439223 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20644/statm: 47655 3421 333 106 0 43158 0
[pid=20644/tid=20645] ppid=20642 vsize=190620 CPUtime=0.11 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 484 0 0 0 11 0 0 0 25 0 4 0 748449671 195194880 3421 33554432000 4194304 4625164 140733837666240 18446744073709551615 4464383 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=190620 CPUtime=0.1 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) D 20642 20644 20571 0 -1 4202560 613 0 0 0 10 0 0 0 25 0 4 0 748449671 195194880 3421 33554432000 4194304 4625164 140733837666240 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=190620 CPUtime=0.06 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) S 20642 20644 20571 0 -1 4202560 147 0 0 0 6 0 0 0 25 0 4 0 748449671 195194880 3421 33554432000 4194304 4625164 140733837666240 18446744073709551615 260020500974 0 0 4096 2 18446604453175371712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 190620

[startup+0.300926 s]
/proc/loadavg: 6.95 3.38 2.53 7/332 20644
/proc/meminfo: memFree=24228220/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=258744 CPUtime=0.55 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 7895 0 0 0 55 0 0 0 25 0 4 0 748449670 264953856 5004 33554432000 4194304 4625164 140733837666240 18446744073709551615 260020093136 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20644/statm: 64686 5004 333 106 0 60189 0
[pid=20644/tid=20645] ppid=20642 vsize=258744 CPUtime=0.2 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 1071 0 0 0 20 0 0 0 25 0 4 0 748449671 264953856 5004 33554432000 4194304 4625164 140733837666240 18446744073709551615 260020057121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=258744 CPUtime=0.22 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 1159 0 0 0 22 0 0 0 25 0 4 0 748449671 264953856 5004 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=258744 CPUtime=0.08 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 435 0 0 0 8 0 0 0 25 0 4 0 748449671 264953856 5004 33554432000 4194304 4625164 140733837666240 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 258744

[startup+0.700853 s]
/proc/loadavg: 6.95 3.38 2.53 7/332 20644
/proc/meminfo: memFree=24228220/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=267500 CPUtime=1.45 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 18152 0 0 0 143 2 0 0 25 0 4 0 748449670 273920000 11286 33554432000 4194304 4625164 140733837666240 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20644/statm: 66875 11286 388 106 0 62378 0
[pid=20644/tid=20645] ppid=20642 vsize=267500 CPUtime=0.48 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 2186 0 0 0 48 0 0 0 25 0 4 0 748449671 273920000 11286 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=267500 CPUtime=0.4 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 1707 0 0 0 40 0 0 0 25 0 4 0 748449671 273920000 11286 33554432000 4194304 4625164 140733837666240 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=267500 CPUtime=0.37 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 995 0 0 0 37 0 0 0 25 0 4 0 748449671 273920000 11286 33554432000 4194304 4625164 140733837666240 18446744073709551615 4547381 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 267500

[startup+1.50071 s]
/proc/loadavg: 6.95 3.38 2.53 11/336 20648
/proc/meminfo: memFree=24179576/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=270004 CPUtime=3.46 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 19097 0 0 0 344 2 0 0 25 0 4 0 748449670 276484096 12191 33554432000 4194304 4625164 140733837666240 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20644/statm: 67501 12191 398 106 0 63004 0
[pid=20644/tid=20645] ppid=20642 vsize=270004 CPUtime=1.28 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 2326 0 0 0 128 0 0 0 25 0 4 0 748449671 276484096 12191 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=270004 CPUtime=0.82 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 2362 0 0 0 82 0 0 0 25 0 4 0 748449671 276484096 12191 33554432000 4194304 4625164 140733837666240 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=270004 CPUtime=0.73 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 1139 0 0 0 73 0 0 0 24 0 4 0 748449671 276484096 12191 33554432000 4194304 4625164 140733837666240 18446744073709551615 4562833 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 270004

[startup+3.10041 s]
/proc/loadavg: 7.20 3.49 2.57 11/336 20648
/proc/meminfo: memFree=24169904/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=281204 CPUtime=8.24 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 24617 0 0 0 822 2 0 0 25 0 4 0 748449670 287952896 16401 33554432000 4194304 4625164 140733837666240 18446744073709551615 4521590 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20644/statm: 70301 16401 382 106 0 65804 0
[pid=20644/tid=20645] ppid=20642 vsize=281204 CPUtime=2.88 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 5013 0 0 0 288 0 0 0 25 0 4 0 748449671 287952896 16401 33554432000 4194304 4625164 140733837666240 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=281204 CPUtime=2.42 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 4731 0 0 0 242 0 0 0 25 0 4 0 748449671 287952896 16401 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=281204 CPUtime=1.52 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 1603 0 0 0 152 0 0 0 25 0 4 0 748449671 287952896 16401 33554432000 4194304 4625164 140733837666240 18446744073709551615 4552340 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.24
Current children cumulated vsize (KiB) 281204

[startup+6.30083 s]
/proc/loadavg: 7.20 3.49 2.57 11/336 20648
/proc/meminfo: memFree=24135660/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=300264 CPUtime=17.81 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 33440 0 0 0 1777 4 0 0 25 0 4 0 748449670 307470336 22397 33554432000 4194304 4625164 140733837666240 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20644/statm: 75066 22398 419 106 0 70569 0
[pid=20644/tid=20645] ppid=20642 vsize=300264 CPUtime=6.08 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 10095 0 0 0 607 1 0 0 25 0 4 0 748449671 307470336 22398 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=300264 CPUtime=5.61 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 7747 0 0 0 561 0 0 0 25 0 4 0 748449671 307470336 22398 33554432000 4194304 4625164 140733837666240 18446744073709551615 260020057121 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=300264 CPUtime=3.38 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 2322 0 0 0 338 0 0 0 25 0 4 0 748449671 307470336 22398 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351839 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17.81
Current children cumulated vsize (KiB) 300264

[startup+12.7007 s]
/proc/loadavg: 7.63 3.70 2.65 11/336 20648
/proc/meminfo: memFree=24096100/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=327448 CPUtime=36.94 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 61635 0 0 0 3687 7 0 0 25 0 4 0 748449670 335306752 31511 33554432000 4194304 4625164 140733837666240 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20644/statm: 81862 31511 346 106 0 77365 0
[pid=20644/tid=20645] ppid=20642 vsize=327448 CPUtime=12.48 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 16248 0 0 0 1246 2 0 0 25 0 4 0 748449671 335306752 31511 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=327448 CPUtime=9.78 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 13141 0 0 0 976 2 0 0 25 0 4 0 748449671 335306752 31511 33554432000 4194304 4625164 140733837666240 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=327448 CPUtime=7 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 15437 0 0 0 699 1 0 0 25 0 4 0 748449671 335306752 31511 33554432000 4194304 4625164 140733837666240 18446744073709551615 4552423 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 36.94
Current children cumulated vsize (KiB) 327448

[startup+25.5003 s]
/proc/loadavg: 7.99 3.91 2.72 11/336 20649
/proc/meminfo: memFree=24025912/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=355144 CPUtime=75.2 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 107525 0 0 0 7504 16 0 0 25 0 4 0 748449670 363667456 44751 33554432000 4194304 4625164 140733837666240 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20644/statm: 88786 44751 357 106 0 84289 0
[pid=20644/tid=20645] ppid=20642 vsize=355144 CPUtime=23.93 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 24427 0 0 0 2389 4 0 0 25 0 4 0 748449671 363667456 44751 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=355144 CPUtime=18.39 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 20145 0 0 0 1836 3 0 0 25 0 4 0 748449671 363667456 44751 33554432000 4194304 4625164 140733837666240 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=355144 CPUtime=13.47 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 45533 0 0 0 1341 6 0 0 25 0 4 0 748449671 363667456 44751 33554432000 4194304 4625164 140733837666240 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 75.2
Current children cumulated vsize (KiB) 355144

[startup+51.1006 s]
/proc/loadavg: 8.68 4.39 2.92 11/336 20649
/proc/meminfo: memFree=23896904/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=411516 CPUtime=151.71 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 215165 0 0 0 15137 34 0 0 25 0 4 0 748449670 421392384 68674 33554432000 4194304 4625164 140733837666240 18446744073709551615 4393263 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20644/statm: 102879 68674 432 106 0 98382 0
[pid=20644/tid=20645] ppid=20642 vsize=411516 CPUtime=41.6 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 38256 0 0 0 4152 8 0 0 25 0 4 0 748449671 421392384 68674 33554432000 4194304 4625164 140733837666240 18446744073709551615 4352010 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=411516 CPUtime=38.54 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 31402 0 0 0 3848 6 0 0 25 0 4 0 748449671 421392384 68674 33554432000 4194304 4625164 140733837666240 18446744073709551615 4462619 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=411516 CPUtime=26.57 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 118891 0 0 0 2641 16 0 0 25 0 4 0 748449671 421392384 68674 33554432000 4194304 4625164 140733837666240 18446744073709551615 4276059 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 151.71
Current children cumulated vsize (KiB) 411516

[startup+102.312 s]
/proc/loadavg: 9.58 5.37 3.33 11/336 20651
/proc/meminfo: memFree=23692504/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=705276 CPUtime=304.68 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 352209 0 0 0 30409 59 0 0 25 0 4 0 748449670 722202624 106635 33554432000 4194304 4625164 140733837666240 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20644/statm: 176319 106635 456 106 0 171822 0
[pid=20644/tid=20645] ppid=20642 vsize=705276 CPUtime=67.53 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 55158 0 0 0 6739 14 0 0 25 0 4 0 748449671 722202624 106635 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=705276 CPUtime=72.69 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 37132 0 0 0 7259 10 0 0 25 0 4 0 748449671 722202624 106635 33554432000 4194304 4625164 140733837666240 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=705276 CPUtime=69.61 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 182040 0 0 0 6936 25 0 0 25 0 4 0 748449671 722202624 106635 33554432000 4194304 4625164 140733837666240 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 304.68
Current children cumulated vsize (KiB) 705276

[startup+162.3 s]

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


[startup+762.312 s]
/proc/loadavg: 10.08 9.59 6.77 11/336 20668
/proc/meminfo: memFree=19471184/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=5029588 CPUtime=2273.23 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 4202137 0 0 0 226696 627 0 0 25 0 4 0 748449670 5150298112 1033709 33554432000 4194304 4625164 140733837666240 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20644/statm: 1257397 1033709 346 106 0 1252900 0
[pid=20644/tid=20645] ppid=20642 vsize=5029588 CPUtime=632.77 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 170043 0 0 0 63240 37 0 0 25 0 4 0 748449671 5150298112 1033709 33554432000 4194304 4625164 140733837666240 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=5029588 CPUtime=458.13 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 134729 0 0 0 45754 59 0 0 25 0 4 0 748449671 5150298112 1033709 33554432000 4194304 4625164 140733837666240 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=5029588 CPUtime=518.22 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 1590554 0 0 0 51599 223 0 0 25 0 4 0 748449671 5150298112 1033709 33554432000 4194304 4625164 140733837666240 18446744073709551615 4547901 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2273.23
Current children cumulated vsize (KiB) 5029588

[startup+822.3 s]
/proc/loadavg: 10.06 9.67 6.97 11/336 20670
/proc/meminfo: memFree=19260944/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=5101040 CPUtime=2470.19 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 4262210 0 0 0 246376 643 0 0 25 0 4 0 748449670 5223464960 1078281 33554432000 4194304 4625164 140733837666240 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20644/statm: 1275260 1078281 346 106 0 1270763 0
[pid=20644/tid=20645] ppid=20642 vsize=5101040 CPUtime=692.76 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 170050 0 0 0 69239 37 0 0 25 0 4 0 748449671 5223464960 1078281 33554432000 4194304 4625164 140733837666240 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=5101040 CPUtime=510.6 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 138348 0 0 0 50998 62 0 0 25 0 4 0 748449671 5223464960 1078281 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=5101040 CPUtime=570.31 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 1592176 0 0 0 56807 224 0 0 25 0 4 0 748449671 5223464960 1078281 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2470.19
Current children cumulated vsize (KiB) 5101040

[startup+882.3 s]
/proc/loadavg: 10.13 9.76 7.17 11/336 20671
/proc/meminfo: memFree=18035252/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=7008648 CPUtime=2649.53 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 5296016 0 0 0 264172 781 0 0 25 0 4 0 748449670 7176855552 1379220 33554432000 4194304 4625164 140733837666240 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20644/statm: 1752162 1379220 363 106 0 1747665 0
[pid=20644/tid=20645] ppid=20642 vsize=7008648 CPUtime=752.76 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 170086 0 0 0 75238 38 0 0 25 0 4 0 748449671 7176855552 1379220 33554432000 4194304 4625164 140733837666240 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=7008648 CPUtime=567.63 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 145352 0 0 0 56698 65 0 0 25 0 4 0 748449671 7176855552 1379220 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=7008648 CPUtime=601.4 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 1649846 0 0 0 59908 232 0 0 25 0 4 0 748449671 7176855552 1379220 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2649.53
Current children cumulated vsize (KiB) 7008648

[startup+942.3 s]
/proc/loadavg: 10.23 9.85 7.36 11/336 20673
/proc/meminfo: memFree=17784356/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=7095312 CPUtime=2830.21 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 5589098 0 0 0 282194 827 0 0 25 0 4 0 748449670 7265599488 1433617 33554432000 4194304 4625164 140733837666240 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20644/statm: 1773828 1433617 365 106 0 1769331 0
[pid=20644/tid=20645] ppid=20642 vsize=7095312 CPUtime=812.67 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 171270 0 0 0 81229 38 0 0 25 0 4 0 748449671 7265599488 1433617 33554432000 4194304 4625164 140733837666240 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=7095312 CPUtime=605.41 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 153156 0 0 0 60468 73 0 0 25 0 4 0 748449671 7265599488 1433617 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=7095312 CPUtime=631.23 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 1876418 0 0 0 62861 262 0 0 25 0 4 0 748449671 7265599488 1433617 33554432000 4194304 4625164 140733837666240 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2830.21
Current children cumulated vsize (KiB) 7095312

[startup+1002.3 s]
/proc/loadavg: 10.08 9.87 7.52 11/336 20675
/proc/meminfo: memFree=17706288/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=7095312 CPUtime=3009.59 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 5836595 0 0 0 300089 870 0 0 25 0 4 0 748449670 7265599488 1443781 33554432000 4194304 4625164 140733837666240 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20644/statm: 1773828 1443782 351 106 0 1769331 0
[pid=20644/tid=20645] ppid=20642 vsize=7095312 CPUtime=872.67 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 171664 0 0 0 87229 38 0 0 25 0 4 0 748449671 7265599488 1443782 33554432000 4194304 4625164 140733837666240 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=7095312 CPUtime=635.4 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 157603 0 0 0 63462 78 0 0 25 0 4 0 748449671 7265599488 1443783 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=7095312 CPUtime=661.24 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 2114247 0 0 0 65826 298 0 0 25 0 4 0 748449671 7265599488 1443783 33554432000 4194304 4625164 140733837666240 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3009.59
Current children cumulated vsize (KiB) 7095312

[startup+1062.3 s]
/proc/loadavg: 10.15 9.92 7.67 11/336 20676
/proc/meminfo: memFree=17656744/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=7095312 CPUtime=3188.97 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 6086044 0 0 0 317990 907 0 0 25 0 4 0 748449670 7265599488 1448627 33554432000 4194304 4625164 140733837666240 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20644/statm: 1773828 1448627 350 106 0 1769331 0
[pid=20644/tid=20645] ppid=20642 vsize=7095312 CPUtime=932.67 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 171685 0 0 0 93229 38 0 0 25 0 4 0 748449671 7265599488 1448627 33554432000 4194304 4625164 140733837666240 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=7095312 CPUtime=665.36 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 160117 0 0 0 66454 82 0 0 25 0 4 0 748449671 7265599488 1448627 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=7095312 CPUtime=691.29 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 2358530 0 0 0 68798 331 0 0 25 0 4 0 748449671 7265599488 1448627 33554432000 4194304 4625164 140733837666240 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3188.97
Current children cumulated vsize (KiB) 7095312

[startup+1122.3 s]
/proc/loadavg: 10.22 9.98 7.84 11/336 20687
/proc/meminfo: memFree=17574748/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=7173872 CPUtime=3368.32 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 6329146 0 0 0 335886 946 0 0 25 0 4 0 748449670 7346044928 1460770 33554432000 4194304 4625164 140733837666240 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20644/statm: 1793468 1460791 346 106 0 1788971 0
[pid=20644/tid=20645] ppid=20642 vsize=7173872 CPUtime=980.61 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 171840 0 0 0 98023 38 0 0 25 0 4 0 748449671 7346044928 1460800 33554432000 4194304 4625164 140733837666240 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=7173872 CPUtime=695.4 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 162333 0 0 0 69455 85 0 0 25 0 4 0 748449671 7346044928 1460813 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=7173872 CPUtime=736.25 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 2581480 0 0 0 73261 364 0 0 25 0 4 0 748449671 7346044928 1460825 33554432000 4194304 4625164 140733837666240 18446744073709551615 260020093387 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3368.32
Current children cumulated vsize (KiB) 7173872

[startup+1182.3 s]
/proc/loadavg: 10.23 10.01 7.97 11/336 20688
/proc/meminfo: memFree=17352844/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=7181360 CPUtime=3547.71 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 6592632 0 0 0 353787 984 0 0 25 0 4 0 748449670 7353712640 1508127 33554432000 4194304 4625164 140733837666240 18446744073709551615 4519559 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20644/statm: 1795340 1508127 354 106 0 1790843 0
[pid=20644/tid=20645] ppid=20642 vsize=7181360 CPUtime=1040.61 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 172056 0 0 0 104023 38 0 0 25 0 4 0 748449671 7353712640 1508127 33554432000 4194304 4625164 140733837666240 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=7181360 CPUtime=751.45 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 166319 0 0 0 75058 87 0 0 25 0 4 0 748449671 7353712640 1508127 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=7181360 CPUtime=766.18 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 2792962 0 0 0 76227 391 0 0 25 0 4 0 748449671 7353712640 1508127 33554432000 4194304 4625164 140733837666240 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3547.71
Current children cumulated vsize (KiB) 7181360

[startup+1242.3 s]
/proc/loadavg: 10.22 10.05 8.12 11/336 20690
/proc/meminfo: memFree=17307140/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=7181624 CPUtime=3727.08 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 6928102 0 0 0 371679 1029 0 0 25 0 4 0 748449670 7353982976 1512857 33554432000 4194304 4625164 140733837666240 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20644/statm: 1795406 1512857 349 106 0 1790909 0
[pid=20644/tid=20645] ppid=20642 vsize=7181624 CPUtime=1100.26 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 172124 0 0 0 109988 38 0 0 25 0 4 0 748449671 7353982976 1512857 33554432000 4194304 4625164 140733837666240 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=7181624 CPUtime=781.58 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 167563 0 0 0 78070 88 0 0 25 0 4 0 748449671 7353982976 1512857 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=7181624 CPUtime=804.29 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 3119831 0 0 0 79995 434 0 0 25 0 4 0 748449671 7353982976 1512857 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3727.08
Current children cumulated vsize (KiB) 7181624



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 10.13 10.06 8.23 11/336 20723
/proc/meminfo: memFree=17896516/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=7247228 CPUtime=3899.64 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) R 20642 20644 20571 0 -1 4202496 7313405 0 0 0 388878 1086 0 0 25 0 4 0 748449670 7421161472 1528917 33554432000 4194304 4625164 140733837666240 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20644/statm: 1811807 1528917 347 106 0 1807310 0
[pid=20644/tid=20645] ppid=20642 vsize=7247228 CPUtime=1149.97 cores=0,2,4,6
/proc/20644/task/20645/stat : 20645 (SArTagnan) R 20642 20644 20571 0 -1 4202560 172338 0 0 0 114959 38 0 0 25 0 4 0 748449671 7421161472 1528917 33554432000 4194304 4625164 140733837666240 18446744073709551615 4488051 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20644/tid=20646] ppid=20642 vsize=7247228 CPUtime=823.07 cores=0,2,4,6
/proc/20644/task/20646/stat : 20646 (SArTagnan) R 20642 20644 20571 0 -1 4202560 196724 0 0 0 82216 91 0 0 25 0 4 0 748449671 7421161472 1528917 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=7247228 CPUtime=856.71 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4202560 3455558 0 0 0 85192 479 0 0 25 0 4 0 748449671 7421161472 1528917 33554432000 4194304 4625164 140733837666240 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3899.64
Current children cumulated vsize (KiB) 7247228

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

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

[startup+1300.21 s]
/proc/loadavg: 10.13 10.06 8.23 8/335 20724
/proc/meminfo: memFree=20216688/32951124 swapFree=67083432/67111528
[pid=20644] ppid=20642 vsize=0 CPUtime=3899.84 cores=0,2,4,6
/proc/20644/stat : 20644 (SArTagnan) Z 20642 20644 20571 0 -1 4203548 7313405 0 0 0 388879 1105 0 0 25 0 2 0 748449670 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20644/statm: 0 0 0 0 0 0 0
[pid=20644/tid=20647] ppid=20642 vsize=0 CPUtime=856.92 cores=0,2,4,6
/proc/20644/task/20647/stat : 20647 (SArTagnan) R 20642 20644 20571 0 -1 4203588 3455558 0 0 0 85193 499 0 0 25 0 2 0 748449671 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3899.84
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.26
CPU time (s): 3899.9
CPU user time (s): 3888.8
CPU system time (s): 11.1033
CPU usage (%): 299.932
Max. virtual memory (cumulated for all children) (KiB): 8927600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3888.8
system time used= 11.1033
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7313405
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= 13892
involuntary context switches= 46458

runsolver used 3.70344 second user time and 9.55155 second system time

The end

Launcher Data 

Begin job on node110 at 2011-05-16 23:43:11
IDJOB=3385970
IDBENCH=83945
IDSOLVER=1871
FILE ID=node110/3385970-1305582191
RUNJOBID= node110-1305582132-20589
PBS_JOBID= 13350306
Free space on /tmp= 73504 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385970-1305582191/watcher-3385970-1305582191 -o /tmp/evaluation-result-3385970-1305582191/solver-3385970-1305582191 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3385970-1305582191.cnf -threads=4

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

MD5SUM BENCH= 1037a2754a0a53f62ba8ec901741c9e9
RANDOM SEED=1293309560

node110.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.830
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.66
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.830
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.83
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.830
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.75
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.830
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.83
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.830
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.76
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.830
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	: 5332.83
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.830
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.74
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.830
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:      24228500 kB
Buffers:        290676 kB
Cached:        3223892 kB
SwapCached:       1416 kB
Active:        5233300 kB
Inactive:      3160596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24228500 kB
SwapTotal:    67111528 kB
SwapFree:     67083432 kB
Dirty:             832 kB
Writeback:           0 kB
AnonPages:     4877036 kB
Mapped:          28948 kB
Slab:           236108 kB
PageTables:      29400 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 77444852 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= 73504 MiB
End job on node110 at 2011-05-17 00:04:53