Trace number 3386266

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.52 1205.22

General information on the benchmark

Nameibm-2002-30r-k85.cnf
MD5SUMc08fe2d9c476652207ada677b7ca59f9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark42.9815
Satisfiable
(Un)Satisfiability was proved
Number of variables181484
Number of clauses890298
Sum of the clauses size2338581
Maximum clause length19
Minimum clause length1
Number of clauses of size 1771
Number of clauses of size 2667172
Number of clauses of size 3144951
Number of clauses of size 424791
Number of clauses of size 511035
Number of clauses of size over 541578

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-3386266-1305577168/watcher-3386266-1305577168 -o /tmp/evaluation-result-3386266-1305577168/solver-3386266-1305577168 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386266-1305577168.cnf -threads=4 

running on 4 cores: 1,3,5,7

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: 7.58 8.03 8.03 3/446 30236
/proc/meminfo: memFree=18681768/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=55032 CPUtime=0.01 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 3901 0 0 0 1 0 0 0 23 0 1 0 747947639 56352768 3797 33554432000 4194304 4625164 140733256198016 18446744073709551615 215988592384 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30236/statm: 13758 3797 296 106 0 9261 0

[startup+0.101808 s]
/proc/loadavg: 7.58 8.03 8.03 3/446 30236
/proc/meminfo: memFree=18681768/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=63348 CPUtime=0.09 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 8881 0 0 0 8 1 0 0 23 0 1 0 747947639 64868352 5795 33554432000 4194304 4625164 140733256198016 18446744073709551615 215988592384 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30236/statm: 15837 5795 296 106 0 11340 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 63348

[startup+0.200789 s]
/proc/loadavg: 7.58 8.03 8.03 3/446 30236
/proc/meminfo: memFree=18681768/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=72268 CPUtime=0.18 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 14367 0 0 0 17 1 0 0 24 0 1 0 747947639 74002432 8118 33554432000 4194304 4625164 140733256198016 18446744073709551615 4585871 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30236/statm: 18067 8121 296 106 0 13570 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 72268

[startup+0.300772 s]
/proc/loadavg: 7.58 8.03 8.03 3/446 30236
/proc/meminfo: memFree=18681768/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=81252 CPUtime=0.29 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 19852 0 0 0 27 2 0 0 25 0 1 0 747947639 83202048 10389 33554432000 4194304 4625164 140733256198016 18446744073709551615 215988211299 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30236/statm: 20313 10389 296 106 0 15816 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 81252

[startup+0.700704 s]
/proc/loadavg: 7.58 8.03 8.03 3/446 30236
/proc/meminfo: memFree=18681768/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=439752 CPUtime=1.43 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 62257 0 0 0 135 8 0 0 25 0 4 0 747947639 450306048 45767 33554432000 4194304 4625164 140733256198016 18446744073709551615 4338085 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 109938 45767 336 106 0 105441 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 439752

[startup+1.50056 s]
/proc/loadavg: 7.58 8.03 8.03 10/454 30244
/proc/meminfo: memFree=18261360/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=452692 CPUtime=4.6 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 73343 0 0 0 451 9 0 0 25 0 4 0 747947639 463556608 49402 33554432000 4194304 4625164 140733256198016 18446744073709551615 4391821 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 113173 49402 336 106 0 108676 0
[pid=30236/tid=30239] ppid=30232 vsize=452692 CPUtime=1.03 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 6743 0 0 0 102 1 0 0 25 0 4 0 747947684 463556608 49402 33554432000 4194304 4625164 140733256198016 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=452692 CPUtime=1.04 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 6170 0 0 0 103 1 0 0 25 0 4 0 747947684 463556608 49402 33554432000 4194304 4625164 140733256198016 18446744073709551615 4318002 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=452692 CPUtime=1.02 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 7701 0 0 0 102 0 0 0 25 0 4 0 747947684 463556608 49402 33554432000 4194304 4625164 140733256198016 18446744073709551615 4547262 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 452692

[startup+3.10029 s]
/proc/loadavg: 7.58 8.03 8.03 10/454 30244
/proc/meminfo: memFree=18251324/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=457088 CPUtime=10.98 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 78945 0 0 0 1088 10 0 0 25 0 4 0 747947639 468058112 51458 33554432000 4194304 4625164 140733256198016 18446744073709551615 4509246 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 114272 51458 343 106 0 109775 0
[pid=30236/tid=30239] ppid=30232 vsize=457088 CPUtime=2.63 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 7284 0 0 0 262 1 0 0 25 0 4 0 747947684 468058112 51458 33554432000 4194304 4625164 140733256198016 18446744073709551615 4352800 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=457088 CPUtime=2.64 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 6770 0 0 0 263 1 0 0 25 0 4 0 747947684 468058112 51458 33554432000 4194304 4625164 140733256198016 18446744073709551615 4339179 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=457088 CPUtime=2.61 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 9204 0 0 0 260 1 0 0 25 0 4 0 747947684 468058112 51458 33554432000 4194304 4625164 140733256198016 18446744073709551615 47176596655800 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.98
Current children cumulated vsize (KiB) 457088

[startup+6.30072 s]
/proc/loadavg: 7.61 8.02 8.03 10/454 30244
/proc/meminfo: memFree=18202220/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=516308 CPUtime=23.74 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 129005 0 0 0 2356 18 0 0 25 0 4 0 747947639 528699392 64640 33554432000 4194304 4625164 140733256198016 18446744073709551615 4497648 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 129077 64643 344 106 0 124580 0
[pid=30236/tid=30239] ppid=30232 vsize=516308 CPUtime=5.84 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 17711 0 0 0 581 3 0 0 25 0 4 0 747947684 528699392 64646 33554432000 4194304 4625164 140733256198016 18446744073709551615 4487184 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=516308 CPUtime=5.83 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 17663 0 0 0 581 2 0 0 25 0 4 0 747947684 528699392 64646 33554432000 4194304 4625164 140733256198016 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=516308 CPUtime=5.75 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 26719 0 0 0 572 3 0 0 25 0 4 0 747947684 528699392 64648 33554432000 4194304 4625164 140733256198016 18446744073709551615 4339176 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.74
Current children cumulated vsize (KiB) 516308

[startup+12.7006 s]
/proc/loadavg: 7.64 8.02 8.03 10/454 30244
/proc/meminfo: memFree=18090120/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=649636 CPUtime=49.23 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 239552 0 0 0 4890 33 0 0 25 0 4 0 747947639 665227264 89852 33554432000 4194304 4625164 140733256198016 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 162409 89852 344 106 0 157912 0
[pid=30236/tid=30239] ppid=30232 vsize=649636 CPUtime=12.23 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 40566 0 0 0 1218 5 0 0 25 0 4 0 747947684 665227264 89852 33554432000 4194304 4625164 140733256198016 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=649636 CPUtime=12.24 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 40774 0 0 0 1218 6 0 0 25 0 4 0 747947684 665227264 89852 33554432000 4194304 4625164 140733256198016 18446744073709551615 4335146 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=649636 CPUtime=12.05 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 68193 0 0 0 1195 10 0 0 25 0 4 0 747947684 665227264 89852 33554432000 4194304 4625164 140733256198016 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.23
Current children cumulated vsize (KiB) 649636

[startup+25.5004 s]
/proc/loadavg: 7.80 8.04 8.04 10/454 30245
/proc/meminfo: memFree=17764940/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=967264 CPUtime=100.24 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 413337 0 0 0 9964 60 0 0 25 0 4 0 747947639 990478336 167820 33554432000 4194304 4625164 140733256198016 18446744073709551615 4518211 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 241816 167820 347 106 0 237319 0
[pid=30236/tid=30239] ppid=30232 vsize=967264 CPUtime=25.03 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 44210 0 0 0 2497 6 0 0 25 0 4 0 747947684 990478336 167820 33554432000 4194304 4625164 140733256198016 18446744073709551615 4478071 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=967264 CPUtime=25.03 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 41445 0 0 0 2497 6 0 0 25 0 4 0 747947684 990478336 167820 33554432000 4194304 4625164 140733256198016 18446744073709551615 4477984 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=967264 CPUtime=24.65 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 96522 0 0 0 2451 14 0 0 25 0 4 0 747947684 990478336 167820 33554432000 4194304 4625164 140733256198016 18446744073709551615 4477982 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 100.24
Current children cumulated vsize (KiB) 967264

[startup+51.1009 s]
/proc/loadavg: 7.87 8.03 8.03 10/454 30245
/proc/meminfo: memFree=17638704/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=1089088 CPUtime=202.26 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 454153 0 0 0 20159 67 0 0 25 0 4 0 747947639 1115226112 191881 33554432000 4194304 4625164 140733256198016 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 272272 191881 347 106 0 267775 0
[pid=30236/tid=30239] ppid=30232 vsize=1089088 CPUtime=50.63 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 44212 0 0 0 5057 6 0 0 25 0 4 0 747947684 1115226112 191881 33554432000 4194304 4625164 140733256198016 18446744073709551615 4479705 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=1089088 CPUtime=50.63 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 41509 0 0 0 5057 6 0 0 25 0 4 0 747947684 1115226112 191881 33554432000 4194304 4625164 140733256198016 18446744073709551615 4278669 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=1089088 CPUtime=49.88 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 96548 0 0 0 4974 14 0 0 25 0 4 0 747947684 1115226112 191881 33554432000 4194304 4625164 140733256198016 18446744073709551615 4477984 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 202.26
Current children cumulated vsize (KiB) 1089088

[startup+102.301 s]
/proc/loadavg: 8.00 8.04 8.03 10/454 30247
/proc/meminfo: memFree=17184728/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=1435212 CPUtime=406.35 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 585881 0 0 0 40546 89 0 0 25 0 4 0 747947639 1469657088 294576 33554432000 4194304 4625164 140733256198016 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 358803 294576 347 106 0 354306 0
[pid=30236/tid=30239] ppid=30232 vsize=1435212 CPUtime=101.84 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 89652 0 0 0 10172 12 0 0 25 0 4 0 747947684 1469657088 294576 33554432000 4194304 4625164 140733256198016 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=1435212 CPUtime=101.85 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 90003 0 0 0 10172 13 0 0 25 0 4 0 747947684 1469657088 294576 33554432000 4194304 4625164 140733256198016 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=1435212 CPUtime=100.32 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 123571 0 0 0 10013 19 0 0 25 0 4 0 747947684 1469657088 294576 33554432000 4194304 4625164 140733256198016 18446744073709551615 4334910 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 406.35
Current children cumulated vsize (KiB) 1435212

[startup+162.3 s]
/proc/loadavg: 8.05 8.05 8.03 9/454 30278
/proc/meminfo: memFree=17235728/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=1555184 CPUtime=645.4 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 666674 0 0 0 64436 104 0 0 25 0 4 0 747947639 1592508416 315280 33554432000 4194304 4625164 140733256198016 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 388796 315280 347 106 0 384299 0
[pid=30236/tid=30239] ppid=30232 vsize=1555184 CPUtime=161.83 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 109100 0 0 0 16167 16 0 0 25 0 4 0 747947684 1592508416 315280 33554432000 4194304 4625164 140733256198016 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=1555184 CPUtime=161.84 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 108453 0 0 0 16168 16 0 0 25 0 4 0 747947684 1592508416 315280 33554432000 4194304 4625164 140733256198016 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=1555184 CPUtime=159.42 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 140905 0 0 0 15920 22 0 0 25 0 4 0 747947684 1592508416 315280 33554432000 4194304 4625164 140733256198016 18446744073709551615 215988247545 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 645.4
Current children cumulated vsize (KiB) 1555184

[startup+222.318 s]
/proc/loadavg: 8.10 8.06 8.04 9/454 30280
/proc/meminfo: memFree=17097684/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=1641300 CPUtime=884.59 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 747432 0 0 0 88340 119 0 0 25 0 4 0 747947639 1680691200 319535 33554432000 4194304 4625164 140733256198016 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 410325 319535 347 106 0 405828 0
[pid=30236/tid=30239] ppid=30232 vsize=1641300 CPUtime=221.85 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 129078 0 0 0 22165 20 0 0 25 0 4 0 747947684 1680691200 319535 33554432000 4194304 4625164 140733256198016 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=1641300 CPUtime=221.85 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 110931 0 0 0 22168 17 0 0 25 0 4 0 747947684 1680691200 319535 33554432000 4194304 4625164 140733256198016 18446744073709551615 4352053 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=1641300 CPUtime=218.54 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 141895 0 0 0 21832 22 0 0 25 0 4 0 747947684 1680691200 319535 33554432000 4194304 4625164 140733256198016 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 884.59
Current children cumulated vsize (KiB) 1641300

[startup+282.3 s]

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

[pid=30236] ppid=30232 vsize=2169896 CPUtime=2558.39 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 3202943 0 0 0 255326 513 0 0 25 0 4 0 747947639 2221973504 430365 33554432000 4194304 4625164 140733256198016 18446744073709551615 4509196 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 542474 430365 347 106 0 537977 0
[pid=30236/tid=30239] ppid=30232 vsize=2169896 CPUtime=641.84 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 179825 0 0 0 64147 37 0 0 25 0 4 0 747947684 2221973504 430365 33554432000 4194304 4625164 140733256198016 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=2169896 CPUtime=641.85 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 139102 0 0 0 64160 25 0 0 25 0 4 0 747947684 2221973504 430365 33554432000 4194304 4625164 140733256198016 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=2169896 CPUtime=632.37 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 2386975 0 0 0 62875 362 0 0 25 0 4 0 747947684 2221973504 430365 33554432000 4194304 4625164 140733256198016 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2558.39
Current children cumulated vsize (KiB) 2169896

[startup+702.301 s]
/proc/loadavg: 8.16 8.08 8.04 9/454 30293
/proc/meminfo: memFree=15019052/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=2228888 CPUtime=2797.51 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 3307608 0 0 0 279219 532 0 0 25 0 4 0 747947639 2282381312 446103 33554432000 4194304 4625164 140733256198016 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 557222 446103 347 106 0 552725 0
[pid=30236/tid=30239] ppid=30232 vsize=2228888 CPUtime=701.85 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 188779 0 0 0 70146 39 0 0 25 0 4 0 747947684 2282381312 446103 33554432000 4194304 4625164 140733256198016 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=2228888 CPUtime=701.85 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 140008 0 0 0 70160 25 0 0 25 0 4 0 747947684 2282381312 446103 33554432000 4194304 4625164 140733256198016 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=2228888 CPUtime=691.48 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 2476957 0 0 0 68772 376 0 0 25 0 4 0 747947684 2282381312 446103 33554432000 4194304 4625164 140733256198016 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2797.51
Current children cumulated vsize (KiB) 2228888

[startup+762.3 s]
/proc/loadavg: 8.18 8.10 8.05 9/454 30294
/proc/meminfo: memFree=14982448/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=2228888 CPUtime=3036.67 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 3316603 0 0 0 303131 536 0 0 25 0 4 0 747947639 2282381312 454990 33554432000 4194304 4625164 140733256198016 18446744073709551615 4513489 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 557222 454990 347 106 0 552725 0
[pid=30236/tid=30239] ppid=30232 vsize=2228888 CPUtime=761.86 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 190572 0 0 0 76146 40 0 0 25 0 4 0 747947684 2282381312 454990 33554432000 4194304 4625164 140733256198016 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=2228888 CPUtime=761.86 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 141591 0 0 0 76160 26 0 0 25 0 4 0 747947684 2282381312 454990 33554432000 4194304 4625164 140733256198016 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=2228888 CPUtime=750.6 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 2477221 0 0 0 74684 376 0 0 25 0 4 0 747947684 2282381312 454990 33554432000 4194304 4625164 140733256198016 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3036.67
Current children cumulated vsize (KiB) 2228888

[startup+822.301 s]
/proc/loadavg: 8.17 8.11 8.05 9/454 30296
/proc/meminfo: memFree=14774344/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=2228888 CPUtime=3275.74 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 3325180 0 0 0 327034 540 0 0 25 0 4 0 747947639 2282381312 463460 33554432000 4194304 4625164 140733256198016 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 557222 463460 347 106 0 552725 0
[pid=30236/tid=30239] ppid=30232 vsize=2228888 CPUtime=821.85 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 192524 0 0 0 82144 41 0 0 25 0 4 0 747947684 2282381312 463460 33554432000 4194304 4625164 140733256198016 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=2228888 CPUtime=821.85 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 143141 0 0 0 82158 27 0 0 25 0 4 0 747947684 2282381312 463460 33554432000 4194304 4625164 140733256198016 18446744073709551615 4339626 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=2228888 CPUtime=809.71 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 2477464 0 0 0 80595 376 0 0 25 0 4 0 747947684 2282381312 463460 33554432000 4194304 4625164 140733256198016 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3275.74
Current children cumulated vsize (KiB) 2228888

[startup+882.317 s]
/proc/loadavg: 8.16 8.12 8.06 9/454 30298
/proc/meminfo: memFree=14661344/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=2294424 CPUtime=3514.92 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 3370313 0 0 0 350942 550 0 0 25 0 4 0 747947639 2349490176 472968 33554432000 4194304 4625164 140733256198016 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 573606 472968 347 106 0 569109 0
[pid=30236/tid=30239] ppid=30232 vsize=2294424 CPUtime=881.87 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 196854 0 0 0 88143 44 0 0 25 0 4 0 747947684 2349490176 472968 33554432000 4194304 4625164 140733256198016 18446744073709551615 4288793 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=2294424 CPUtime=881.87 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 144078 0 0 0 88159 28 0 0 25 0 4 0 747947684 2349490176 472968 33554432000 4194304 4625164 140733256198016 18446744073709551615 4288746 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=2294424 CPUtime=868.85 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 2513268 0 0 0 86504 381 0 0 25 0 4 0 747947684 2349490176 472968 33554432000 4194304 4625164 140733256198016 18446744073709551615 4554582 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3514.92
Current children cumulated vsize (KiB) 2294424

[startup+942.301 s]
/proc/loadavg: 8.15 8.12 8.06 9/454 30299
/proc/meminfo: memFree=14604268/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=2435116 CPUtime=3753.99 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 3824798 0 0 0 374775 624 0 0 25 0 4 0 747947639 2493558784 490411 33554432000 4194304 4625164 140733256198016 18446744073709551615 4511771 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 608779 490411 347 106 0 604282 0
[pid=30236/tid=30239] ppid=30232 vsize=2435116 CPUtime=941.85 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 238502 0 0 0 94134 51 0 0 25 0 4 0 747947684 2493558784 490411 33554432000 4194304 4625164 140733256198016 18446744073709551615 4339680 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=2435116 CPUtime=941.85 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 146593 0 0 0 94154 31 0 0 25 0 4 0 747947684 2493558784 490411 33554432000 4194304 4625164 140733256198016 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=2435116 CPUtime=927.96 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 2920886 0 0 0 92352 444 0 0 25 0 4 0 747947684 2493558784 490411 33554432000 4194304 4625164 140733256198016 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3753.99
Current children cumulated vsize (KiB) 2435116

[startup+1002.3 s]
/proc/loadavg: 8.14 8.12 8.07 9/454 30301
/proc/meminfo: memFree=14539140/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=2442164 CPUtime=3993.1 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 4115398 0 0 0 398637 673 0 0 25 0 4 0 747947639 2500775936 497189 33554432000 4194304 4625164 140733256198016 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 610541 497189 347 106 0 606044 0
[pid=30236/tid=30239] ppid=30232 vsize=2442164 CPUtime=1001.86 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 239656 0 0 0 100134 52 0 0 25 0 4 0 747947684 2500775936 497189 33554432000 4194304 4625164 140733256198016 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=2442164 CPUtime=1001.85 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 147771 0 0 0 100153 32 0 0 25 0 4 0 747947684 2500775936 497189 33554432000 4194304 4625164 140733256198016 18446744073709551615 4316846 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=2442164 CPUtime=987.07 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 3206486 0 0 0 98218 489 0 0 25 0 4 0 747947684 2500775936 497189 33554432000 4194304 4625164 140733256198016 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3993.1
Current children cumulated vsize (KiB) 2442164

[startup+1062.3 s]
/proc/loadavg: 8.09 8.11 8.07 9/454 30302
/proc/meminfo: memFree=14339956/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=2573244 CPUtime=4232.24 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 4374311 0 0 0 422513 711 0 0 25 0 4 0 747947639 2635001856 539021 33554432000 4194304 4625164 140733256198016 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 643311 539021 347 106 0 638814 0
[pid=30236/tid=30239] ppid=30232 vsize=2573244 CPUtime=1061.86 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 241111 0 0 0 106133 53 0 0 25 0 4 0 747947684 2635001856 539021 33554432000 4194304 4625164 140733256198016 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=2573244 CPUtime=1061.86 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 147857 0 0 0 106153 33 0 0 25 0 4 0 747947684 2635001856 539021 33554432000 4194304 4625164 140733256198016 18446744073709551615 4477885 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=2573244 CPUtime=1046.2 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 3386027 0 0 0 104106 514 0 0 25 0 4 0 747947684 2635001856 539021 33554432000 4194304 4625164 140733256198016 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4232.24
Current children cumulated vsize (KiB) 2573244

[startup+1122.3 s]
/proc/loadavg: 8.11 8.12 8.07 9/454 30304
/proc/meminfo: memFree=14297280/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=2563296 CPUtime=4471.36 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 4387716 0 0 0 446423 713 0 0 25 0 4 0 747947639 2624815104 536040 33554432000 4194304 4625164 140733256198016 18446744073709551615 4519248 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 640824 536040 347 106 0 636327 0
[pid=30236/tid=30239] ppid=30232 vsize=2563296 CPUtime=1121.86 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 243932 0 0 0 112133 53 0 0 25 0 4 0 747947684 2624815104 536040 33554432000 4194304 4625164 140733256198016 18446744073709551615 4278640 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=2563296 CPUtime=1121.86 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 157552 0 0 0 112152 34 0 0 25 0 4 0 747947684 2624815104 536040 33554432000 4194304 4625164 140733256198016 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=2563296 CPUtime=1105.32 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 3386901 0 0 0 110018 514 0 0 25 0 4 0 747947684 2624815104 536040 33554432000 4194304 4625164 140733256198016 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4471.36
Current children cumulated vsize (KiB) 2563296

[startup+1182.3 s]
/proc/loadavg: 8.37 8.17 8.09 10/455 30309
/proc/meminfo: memFree=14048972/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=2769180 CPUtime=4709.71 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 4764482 0 0 0 470199 772 0 0 25 0 4 0 747947639 2835640320 581067 33554432000 4194304 4625164 140733256198016 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 692295 581067 347 106 0 687798 0
[pid=30236/tid=30239] ppid=30232 vsize=2769180 CPUtime=1180.93 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 251121 0 0 0 118036 57 0 0 25 0 4 0 747947684 2835640320 581067 33554432000 4194304 4625164 140733256198016 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=2769180 CPUtime=1181.86 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 185569 0 0 0 118146 40 0 0 25 0 4 0 747947684 2835640320 581067 33554432000 4194304 4625164 140733256198016 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=2769180 CPUtime=1165.19 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 3714600 0 0 0 115958 561 0 0 25 0 4 0 747947684 2835640320 581067 33554432000 4194304 4625164 140733256198016 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4709.71
Current children cumulated vsize (KiB) 2769180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.1 s]
/proc/loadavg: 8.38 8.19 8.10 9/454 30309
/proc/meminfo: memFree=14031356/32950940 swapFree=67111356/67111528
[pid=30236] ppid=30232 vsize=2882224 CPUtime=4800.39 cores=1,3,5,7
/proc/30236/stat : 30236 (SArTagnan) R 30232 30236 30199 0 -1 4202496 4963930 0 0 0 479236 803 0 0 25 0 4 0 747947639 2951397376 583263 33554432000 4194304 4625164 140733256198016 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30236/statm: 720556 583263 347 106 0 716059 0
[pid=30236/tid=30239] ppid=30232 vsize=2882224 CPUtime=1203.38 cores=1,3,5,7
/proc/30236/task/30239/stat : 30239 (SArTagnan) R 30232 30236 30199 0 -1 4202560 251168 0 0 0 120281 57 0 0 25 0 4 0 747947684 2951397376 583263 33554432000 4194304 4625164 140733256198016 18446744073709551615 4288998 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30236/tid=30240] ppid=30232 vsize=2882224 CPUtime=1204.67 cores=1,3,5,7
/proc/30236/task/30240/stat : 30240 (SArTagnan) R 30232 30236 30199 0 -1 4202560 185762 0 0 0 120427 40 0 0 25 0 4 0 747947684 2951397376 583263 33554432000 4194304 4625164 140733256198016 18446744073709551615 4352007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30236/tid=30241] ppid=30232 vsize=2882224 CPUtime=1188.01 cores=1,3,5,7
/proc/30236/task/30241/stat : 30241 (SArTagnan) R 30232 30236 30199 0 -1 4202560 3852749 0 0 0 118219 582 0 0 25 0 4 0 747947684 2951397376 583263 33554432000 4194304 4625164 140733256198016 18446744073709551615 4547527 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 2882224

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): 1205.22
CPU time (s): 4800.52
CPU user time (s): 4792.39
CPU system time (s): 8.12876
CPU usage (%): 398.311
Max. virtual memory (cumulated for all children) (KiB): 3107744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.39
system time used= 8.12876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4963931
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= 5151
involuntary context switches= 22233

runsolver used 4.79927 second user time and 13.004 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-16 22:19:29
IDJOB=3386266
IDBENCH=69635
IDSOLVER=1871
FILE ID=node117/3386266-1305577168
RUNJOBID= node117-1305577168-30218
PBS_JOBID= 13350218
Free space on /tmp= 73416 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT_RACE08/cnf/ibm-2002-30r-k85.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386266-1305577168/watcher-3386266-1305577168 -o /tmp/evaluation-result-3386266-1305577168/solver-3386266-1305577168 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386266-1305577168.cnf -threads=4

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

MD5SUM BENCH= c08fe2d9c476652207ada677b7ca59f9
RANDOM SEED=1870163871

node117.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.849
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.69
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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
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.74
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.849
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.75
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.849
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.849
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.74
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.849
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      18682320 kB
Buffers:        339560 kB
Cached:        4779192 kB
SwapCached:          0 kB
Active:       10658856 kB
Inactive:      3242456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      18682320 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           35016 kB
Writeback:           0 kB
AnonPages:     8782072 kB
Mapped:          34076 kB
Slab:           248376 kB
PageTables:      49348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 115492048 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= 73424 MiB
End job on node117 at 2011-05-16 22:39:36