Trace number 3385976

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) 4800.43 1204.92

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf
MD5SUMe826117d87949a5b285e72732bfa395b
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 variables870
Number of clauses69964
Sum of the clauses size140740
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 269935
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 529

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-3385976-1305582362/watcher-3385976-1305582362 -o /tmp/evaluation-result-3385976-1305582362/solver-3385976-1305582362 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3385976-1305582362.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: 4.68 5.03 6.11 4/458 17396
/proc/meminfo: memFree=14443272/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=21152 CPUtime=0.01 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 1059 0 0 0 1 0 0 0 22 0 1 0 650652357 21659648 584 33554432000 4194304 4625164 140734003067056 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/17396/statm: 5288 584 296 106 0 791 0

[startup+0.04989 s]
/proc/loadavg: 4.68 5.03 6.11 4/458 17396
/proc/meminfo: memFree=14443272/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=253248 CPUtime=0.12 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 3212 0 0 0 12 0 0 0 24 0 4 0 650652357 259325952 2515 33554432000 4194304 4625164 140734003067056 18446744073709551615 4336632 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 63312 2515 343 106 0 58815 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 253248

[startup+0.100882 s]
/proc/loadavg: 4.68 5.03 6.11 4/458 17396
/proc/meminfo: memFree=14443272/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=254448 CPUtime=0.33 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 3847 0 0 0 32 1 0 0 24 0 4 0 650652357 260554752 2857 33554432000 4194304 4625164 140734003067056 18446744073709551615 4512326 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 63612 2858 346 106 0 59115 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 254448

[startup+0.300848 s]
/proc/loadavg: 4.68 5.03 6.11 4/458 17396
/proc/meminfo: memFree=14443272/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=257912 CPUtime=1.13 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 6326 0 0 0 112 1 0 0 25 0 4 0 650652357 264101888 4895 33554432000 4194304 4625164 140734003067056 18446744073709551615 4512312 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 64478 4895 345 106 0 59981 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 257912

[startup+0.700778 s]
/proc/loadavg: 4.68 5.03 6.11 4/458 17396
/proc/meminfo: memFree=14443272/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=260084 CPUtime=2.73 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 9490 0 0 0 272 1 0 0 25 0 4 0 650652357 266326016 7510 33554432000 4194304 4625164 140734003067056 18446744073709551615 4512007 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 65021 7510 348 106 0 60524 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 260084

[startup+1.50064 s]
/proc/loadavg: 4.68 5.03 6.11 11/466 17404
/proc/meminfo: memFree=14366836/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=269700 CPUtime=5.91 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 15156 0 0 0 589 2 0 0 25 0 4 0 650652357 276172800 11806 33554432000 4194304 4625164 140734003067056 18446744073709551615 4513492 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 67425 11806 366 106 0 62928 0
[pid=17396/tid=17402] ppid=17394 vsize=269700 CPUtime=1.46 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 3161 0 0 0 146 0 0 0 25 0 4 0 650652359 276172800 11806 33554432000 4194304 4625164 140734003067056 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=269700 CPUtime=1.47 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 3218 0 0 0 147 0 0 0 25 0 4 0 650652359 276172800 11806 33554432000 4194304 4625164 140734003067056 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=269700 CPUtime=1.45 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 1813 0 0 0 145 0 0 0 25 0 4 0 650652359 276172800 11806 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 269700

[startup+3.10036 s]
/proc/loadavg: 4.68 5.03 6.11 11/466 17404
/proc/meminfo: memFree=14295536/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=274052 CPUtime=12.29 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 20790 0 0 0 1226 3 0 0 25 0 4 0 650652357 280629248 13935 33554432000 4194304 4625164 140734003067056 18446744073709551615 4512054 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 68513 13935 356 106 0 64016 0
[pid=17396/tid=17402] ppid=17394 vsize=274052 CPUtime=3.07 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 4298 0 0 0 306 1 0 0 25 0 4 0 650652359 280629248 13935 33554432000 4194304 4625164 140734003067056 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=274052 CPUtime=3.07 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 3791 0 0 0 307 0 0 0 25 0 4 0 650652359 280629248 13935 33554432000 4194304 4625164 140734003067056 18446744073709551615 4339628 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=274052 CPUtime=3.03 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 4029 0 0 0 303 0 0 0 25 0 4 0 650652359 280629248 13935 33554432000 4194304 4625164 140734003067056 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 274052

[startup+6.30079 s]
/proc/loadavg: 5.03 5.10 6.13 11/466 17404
/proc/meminfo: memFree=14260996/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=291016 CPUtime=25.05 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 44353 0 0 0 2498 7 0 0 25 0 4 0 650652357 298000384 20361 33554432000 4194304 4625164 140734003067056 18446744073709551615 4512326 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 72754 20361 356 106 0 68257 0
[pid=17396/tid=17402] ppid=17394 vsize=291016 CPUtime=6.27 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 8976 0 0 0 625 2 0 0 25 0 4 0 650652359 298000384 20361 33554432000 4194304 4625164 140734003067056 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=291016 CPUtime=6.27 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 7731 0 0 0 626 1 0 0 25 0 4 0 650652359 298000384 20361 33554432000 4194304 4625164 140734003067056 18446744073709551615 4317274 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=291016 CPUtime=6.18 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 15082 0 0 0 617 1 0 0 25 0 4 0 650652359 298000384 20361 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 291016

[startup+12.7007 s]
/proc/loadavg: 5.34 5.16 6.14 11/466 17404
/proc/meminfo: memFree=14210544/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=310720 CPUtime=50.54 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 59813 0 0 0 5043 11 0 0 25 0 4 0 650652357 318177280 28582 33554432000 4194304 4625164 140734003067056 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 77680 28582 356 106 0 73183 0
[pid=17396/tid=17402] ppid=17394 vsize=310720 CPUtime=12.67 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 12952 0 0 0 1264 3 0 0 25 0 4 0 650652359 318177280 28582 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=310720 CPUtime=12.67 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 9773 0 0 0 1265 2 0 0 25 0 4 0 650652359 318177280 28582 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=310720 CPUtime=12.48 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 17742 0 0 0 1246 2 0 0 25 0 4 0 650652359 318177280 28582 33554432000 4194304 4625164 140734003067056 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 310720

[startup+25.5004 s]
/proc/loadavg: 6.15 5.35 6.19 11/466 17404
/proc/meminfo: memFree=14079612/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=359364 CPUtime=101.54 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 147052 0 0 0 10130 24 0 0 25 0 4 0 650652357 367988736 51260 33554432000 4194304 4625164 140734003067056 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 89841 51260 483 106 0 85344 0
[pid=17396/tid=17402] ppid=17394 vsize=359364 CPUtime=25.46 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 19395 0 0 0 2542 4 0 0 25 0 4 0 650652359 367988736 51260 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=359364 CPUtime=25.47 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 13547 0 0 0 2544 3 0 0 25 0 4 0 650652359 367988736 51260 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351795 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=359364 CPUtime=25.07 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 60333 0 0 0 2499 8 0 0 25 0 4 0 650652359 367988736 51260 33554432000 4194304 4625164 140734003067056 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 359364

[startup+51.1009 s]
/proc/loadavg: 7.28 5.67 6.27 11/466 17405
/proc/meminfo: memFree=13967364/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=467652 CPUtime=203.54 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 250498 0 0 0 20314 40 0 0 25 0 4 0 650652357 478875648 68791 33554432000 4194304 4625164 140734003067056 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 116913 68791 916 106 0 112416 0
[pid=17396/tid=17402] ppid=17394 vsize=467652 CPUtime=51.05 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 28114 0 0 0 5098 7 0 0 25 0 4 0 650652359 478875648 68791 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=467652 CPUtime=51.07 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 14881 0 0 0 5103 4 0 0 25 0 4 0 650652359 478875648 68791 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=467652 CPUtime=50.29 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 148568 0 0 0 5009 20 0 0 25 0 4 0 650652359 478875648 68791 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.54
Current children cumulated vsize (KiB) 467652

[startup+102.318 s]
/proc/loadavg: 8.29 6.20 6.42 11/466 17406
/proc/meminfo: memFree=13731384/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=513272 CPUtime=407.59 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 279457 0 0 0 40715 44 0 0 25 0 4 0 650652357 525590528 88759 33554432000 4194304 4625164 140734003067056 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 128318 88759 1139 106 0 123821 0
[pid=17396/tid=17402] ppid=17394 vsize=513272 CPUtime=102.26 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 40802 0 0 0 10217 9 0 0 25 0 4 0 650652359 525590528 88759 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=513272 CPUtime=102.29 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 22327 0 0 0 10224 5 0 0 25 0 4 0 650652359 525590528 88759 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=513272 CPUtime=100.72 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 154075 0 0 0 10051 21 0 0 25 0 4 0 650652359 525590528 88759 33554432000 4194304 4625164 140734003067056 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.59
Current children cumulated vsize (KiB) 513272

[startup+162.3 s]
/proc/loadavg: 8.82 6.74 6.59 11/466 17408
/proc/meminfo: memFree=13508048/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=741224 CPUtime=646.61 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 420683 0 0 0 64594 67 0 0 25 0 4 0 650652357 759013376 121083 33554432000 4194304 4625164 140734003067056 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 185306 121083 750 106 0 180809 0
[pid=17396/tid=17402] ppid=17394 vsize=741224 CPUtime=162.24 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 44702 0 0 0 16212 12 0 0 25 0 4 0 650652359 759013376 121083 33554432000 4194304 4625164 140734003067056 18446744073709551615 4353256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=741224 CPUtime=162.28 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 24289 0 0 0 16222 6 0 0 25 0 4 0 650652359 759013376 121083 33554432000 4194304 4625164 140734003067056 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=741224 CPUtime=159.78 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 232101 0 0 0 15946 32 0 0 25 0 4 0 650652359 759013376 121083 33554432000 4194304 4625164 140734003067056 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 646.61
Current children cumulated vsize (KiB) 741224

[startup+222.301 s]
/proc/loadavg: 9.00 7.17 6.75 11/466 17410
/proc/meminfo: memFree=13297488/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=810280 CPUtime=885.66 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 482798 0 0 0 88486 80 0 0 25 0 4 0 650652357 829726720 144094 33554432000 4194304 4625164 140734003067056 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 202570 144094 584 106 0 198073 0
[pid=17396/tid=17402] ppid=17394 vsize=810280 CPUtime=222.22 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 60584 0 0 0 22207 15 0 0 25 0 4 0 650652359 829726720 144094 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=810280 CPUtime=222.27 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 27794 0 0 0 22218 9 0 0 25 0 4 0 650652359 829726720 144094 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=810280 CPUtime=218.85 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 259597 0 0 0 21849 36 0 0 25 0 4 0 650652359 829726720 144094 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 885.66
Current children cumulated vsize (KiB) 810280

[startup+282.3 s]

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

[pid=17396] ppid=17394 vsize=1645084 CPUtime=2559.16 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 3509039 0 0 0 255387 529 0 0 25 0 4 0 650652357 1684566016 313788 33554432000 4194304 4625164 140734003067056 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 411271 313788 364 106 0 406774 0
[pid=17396/tid=17402] ppid=17394 vsize=1645084 CPUtime=642.13 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 129719 0 0 0 64178 35 0 0 25 0 4 0 650652359 1684566016 313788 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=1645084 CPUtime=642.29 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 70050 0 0 0 64202 27 0 0 25 0 4 0 650652359 1684566016 313788 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=1645084 CPUtime=632.39 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 2797787 0 0 0 62850 389 0 0 25 0 4 0 650652359 1684566016 313788 33554432000 4194304 4625164 140734003067056 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2559.16
Current children cumulated vsize (KiB) 1645084

[startup+702.3 s]
/proc/loadavg: 9.19 8.77 7.71 11/466 17422
/proc/meminfo: memFree=10366444/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=1724460 CPUtime=2798.17 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 3943917 0 0 0 279222 595 0 0 25 0 4 0 650652357 1765847040 329212 33554432000 4194304 4625164 140734003067056 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 431115 329212 364 106 0 426618 0
[pid=17396/tid=17402] ppid=17394 vsize=1724460 CPUtime=702.11 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 131026 0 0 0 70175 36 0 0 25 0 4 0 650652359 1765847040 329212 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=1724460 CPUtime=702.28 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 72728 0 0 0 70198 30 0 0 25 0 4 0 650652359 1765847040 329212 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=1724460 CPUtime=691.46 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 3203214 0 0 0 68699 447 0 0 25 0 4 0 650652359 1765847040 329212 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2798.17
Current children cumulated vsize (KiB) 1724460

[startup+762.318 s]
/proc/loadavg: 9.12 8.83 7.79 11/466 17424
/proc/meminfo: memFree=10185512/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=1793064 CPUtime=3037.29 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 3978883 0 0 0 303122 607 0 0 25 0 4 0 650652357 1836097536 352794 33554432000 4194304 4625164 140734003067056 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 448266 352794 373 106 0 443769 0
[pid=17396/tid=17402] ppid=17394 vsize=1793064 CPUtime=762.1 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 134646 0 0 0 76172 38 0 0 25 0 4 0 650652359 1836097536 352794 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=1793064 CPUtime=762.3 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 75450 0 0 0 76196 34 0 0 25 0 4 0 650652359 1836097536 352794 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=1793064 CPUtime=750.54 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 3207585 0 0 0 74606 448 0 0 25 0 4 0 650652359 1836097536 352794 33554432000 4194304 4625164 140734003067056 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3037.29
Current children cumulated vsize (KiB) 1793064

[startup+822.3 s]
/proc/loadavg: 9.08 8.87 7.87 11/466 17426
/proc/meminfo: memFree=10031748/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=2013468 CPUtime=3276.28 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 4620437 0 0 0 326928 700 0 0 25 0 4 0 650652357 2061791232 376091 33554432000 4194304 4625164 140734003067056 18446744073709551615 4511967 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 503367 376091 372 106 0 498870 0
[pid=17396/tid=17402] ppid=17394 vsize=2013468 CPUtime=822.07 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 138061 0 0 0 82166 41 0 0 25 0 4 0 650652359 2061791232 376091 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351930 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=2013468 CPUtime=822.28 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 75829 0 0 0 82194 34 0 0 25 0 4 0 650652359 2061791232 376091 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=2013468 CPUtime=809.6 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 3692685 0 0 0 80442 518 0 0 25 0 4 0 650652359 2061791232 376091 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3276.28
Current children cumulated vsize (KiB) 2013468

[startup+882.301 s]
/proc/loadavg: 9.07 8.90 7.94 11/466 17427
/proc/meminfo: memFree=9855908/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=2025356 CPUtime=3515.33 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 4788481 0 0 0 350806 727 0 0 25 0 4 0 650652357 2073964544 391977 33554432000 4194304 4625164 140734003067056 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 506339 391977 361 106 0 501842 0
[pid=17396/tid=17402] ppid=17394 vsize=2025356 CPUtime=882.05 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 141958 0 0 0 88163 42 0 0 25 0 4 0 650652359 2073964544 391977 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=2025356 CPUtime=882.28 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 77853 0 0 0 88192 36 0 0 25 0 4 0 650652359 2073964544 391977 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=2025356 CPUtime=868.67 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 3830984 0 0 0 86329 538 0 0 25 0 4 0 650652359 2073964544 391977 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3515.33
Current children cumulated vsize (KiB) 2025356

[startup+942.3 s]
/proc/loadavg: 9.18 8.98 8.03 11/466 17438
/proc/meminfo: memFree=9662720/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=2076556 CPUtime=3754.36 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 4930929 0 0 0 374686 750 0 0 25 0 4 0 650652357 2126393344 402165 33554432000 4194304 4625164 140734003067056 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 519139 402165 361 106 0 514642 0
[pid=17396/tid=17402] ppid=17394 vsize=2076556 CPUtime=942.01 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 144625 0 0 0 94157 44 0 0 25 0 4 0 650652359 2126393344 402165 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=2076556 CPUtime=942.28 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 79491 0 0 0 94191 37 0 0 25 0 4 0 650652359 2126393344 402165 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=2076556 CPUtime=927.74 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 3900728 0 0 0 92226 548 0 0 25 0 4 0 650652359 2126393344 402165 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351786 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3754.36
Current children cumulated vsize (KiB) 2076556

[startup+1002.3 s]
/proc/loadavg: 9.06 8.98 8.09 11/466 17439
/proc/meminfo: memFree=9365360/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=2190096 CPUtime=3993.42 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 5489572 0 0 0 398511 831 0 0 25 0 4 0 650652357 2242658304 425048 33554432000 4194304 4625164 140734003067056 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 547524 425048 351 106 0 543027 0
[pid=17396/tid=17402] ppid=17394 vsize=2190096 CPUtime=1002 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 152613 0 0 0 100154 46 0 0 25 0 4 0 650652359 2242658304 425048 33554432000 4194304 4625164 140734003067056 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=2190096 CPUtime=1002.28 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 79935 0 0 0 100191 37 0 0 25 0 4 0 650652359 2242658304 425048 33554432000 4194304 4625164 140734003067056 18446744073709551615 4288900 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=2190096 CPUtime=986.82 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 4429304 0 0 0 98059 623 0 0 25 0 4 0 650652359 2242658304 425048 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3993.42
Current children cumulated vsize (KiB) 2190096

[startup+1062.3 s]
/proc/loadavg: 9.25 9.04 8.16 11/466 17441
/proc/meminfo: memFree=9159632/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=2289588 CPUtime=4232.51 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 5821284 0 0 0 422372 879 0 0 25 0 4 0 650652357 2344538112 461841 33554432000 4194304 4625164 140734003067056 18446744073709551615 4512315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 572397 461841 347 106 0 567900 0
[pid=17396/tid=17402] ppid=17394 vsize=2289588 CPUtime=1061.98 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 153990 0 0 0 106152 46 0 0 25 0 4 0 650652359 2344538112 461841 33554432000 4194304 4625164 140734003067056 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=2289588 CPUtime=1062.29 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 98734 0 0 0 106189 40 0 0 25 0 4 0 650652359 2344538112 461841 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=2289588 CPUtime=1045.89 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 4698340 0 0 0 103931 658 0 0 25 0 4 0 650652359 2344538112 461841 33554432000 4194304 4625164 140734003067056 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4232.51
Current children cumulated vsize (KiB) 2289588

[startup+1122.3 s]
/proc/loadavg: 9.31 9.08 8.23 11/466 17443
/proc/meminfo: memFree=8866860/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=2841448 CPUtime=4471.54 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 6589327 0 0 0 446169 985 0 0 25 0 4 0 650652357 2909642752 526367 33554432000 4194304 4625164 140734003067056 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 710362 526367 346 106 0 705865 0
[pid=17396/tid=17402] ppid=17394 vsize=2841448 CPUtime=1121.97 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 199801 0 0 0 112145 52 0 0 25 0 4 0 650652359 2909642752 526367 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=2841448 CPUtime=1122.29 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 99277 0 0 0 112189 40 0 0 25 0 4 0 650652359 2909642752 526367 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=2841448 CPUtime=1104.96 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 5179965 0 0 0 109768 728 0 0 25 0 4 0 650652359 2909642752 526367 33554432000 4194304 4625164 140734003067056 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4471.54
Current children cumulated vsize (KiB) 2841448

[startup+1182.3 s]
/proc/loadavg: 9.25 9.09 8.28 11/466 17444
/proc/meminfo: memFree=8451080/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=2945752 CPUtime=4710.63 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 6664631 0 0 0 470060 1003 0 0 25 0 4 0 650652357 3016450048 568386 33554432000 4194304 4625164 140734003067056 18446744073709551615 4393074 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 736438 568386 346 106 0 731941 0
[pid=17396/tid=17402] ppid=17394 vsize=2945752 CPUtime=1181.96 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 202234 0 0 0 118142 54 0 0 25 0 4 0 650652359 3016450048 568386 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=2945752 CPUtime=1182.29 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 101978 0 0 0 118186 43 0 0 25 0 4 0 650652359 3016450048 568386 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=2945752 CPUtime=1164.05 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 5198695 0 0 0 115675 730 0 0 25 0 4 0 650652359 3016450048 568386 33554432000 4194304 4625164 140734003067056 18446744073709551615 4559615 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4710.63
Current children cumulated vsize (KiB) 2945752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.8 s]
/proc/loadavg: 9.16 9.08 8.30 10/466 17445
/proc/meminfo: memFree=8360436/32951124 swapFree=67111348/67111528
[pid=17396] ppid=17394 vsize=2948304 CPUtime=4800.3 cores=0,2,4,6
/proc/17396/stat : 17396 (SArTagnan) R 17394 17396 16929 0 -1 4202496 6685260 0 0 0 479022 1008 0 0 25 0 4 0 650652357 3019063296 582985 33554432000 4194304 4625164 140734003067056 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17396/statm: 737076 582985 346 106 0 732579 0
[pid=17396/tid=17402] ppid=17394 vsize=2948304 CPUtime=1204.46 cores=0,2,4,6
/proc/17396/task/17402/stat : 17402 (SArTagnan) R 17394 17396 16929 0 -1 4202560 202434 0 0 0 120392 54 0 0 25 0 4 0 650652359 3019063296 582985 33554432000 4194304 4625164 140734003067056 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17396/tid=17403] ppid=17394 vsize=2948304 CPUtime=1204.8 cores=0,2,4,6
/proc/17396/task/17403/stat : 17403 (SArTagnan) R 17394 17396 16929 0 -1 4202560 102293 0 0 0 120437 43 0 0 25 0 4 0 650652359 3019063296 582985 33554432000 4194304 4625164 140734003067056 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17396/tid=17404] ppid=17394 vsize=2948304 CPUtime=1186.19 cores=0,2,4,6
/proc/17396/task/17404/stat : 17404 (SArTagnan) R 17394 17396 16929 0 -1 4202560 5199489 0 0 0 117889 730 0 0 25 0 4 0 650652359 3019063296 582985 33554432000 4194304 4625164 140734003067056 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 2948304

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): 1204.92
CPU time (s): 4800.43
CPU user time (s): 4790.26
CPU system time (s): 10.1785
CPU usage (%): 398.404
Max. virtual memory (cumulated for all children) (KiB): 3412736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.26
system time used= 10.1785
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6685260
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= 1769
involuntary context switches= 36681

runsolver used 5.2802 second user time and 13.324 second system time

The end

Launcher Data 

Begin job on node144 at 2011-05-16 23:46:02
IDJOB=3385976
IDBENCH=83986
IDSOLVER=1871
FILE ID=node144/3385976-1305582362
RUNJOBID= node144-1305582362-17377
PBS_JOBID= 13350220
Free space on /tmp= 73268 MiB

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

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

MD5SUM BENCH= e826117d87949a5b285e72732bfa395b
RANDOM SEED=1704532059

node144.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.850
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.70
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.850
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	: 5226.16
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.850
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.850
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.850
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.75
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.850
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.82
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.850
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.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14443800 kB
Buffers:        331260 kB
Cached:        4122128 kB
SwapCached:          0 kB
Active:       15266496 kB
Inactive:      2866508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14443800 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            2028 kB
Writeback:           0 kB
AnonPages:    13679044 kB
Mapped:          37844 kB
Slab:           246256 kB
PageTables:      60888 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 136765384 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= 73268 MiB
End job on node144 at 2011-05-17 00:06:09