Trace number 3250034

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-03-24? (TO) 4800.44 1201.79

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-16-16-unsat.cnf
MD5SUMc07743bac800f91e403382f26717b1d0
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 variables256
Number of clauses2176
Sum of the clauses size7936
Maximum clause length16
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21920
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5256

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: 935)

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-3250034-1304090473/watcher-3250034-1304090473 -o /tmp/evaluation-result-3250034-1304090473/solver-3250034-1304090473 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3250034-1304090473.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.53 7.98 7.97 6/180 19134
/proc/meminfo: memFree=30280288/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=49476 CPUtime=0 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 490 0 0 0 0 0 0 0 25 0 4 0 520647668 50663424 427 33554432000 4194304 4623224 140733614060704 18446744073709551615 47536188168114 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 12369 427 301 105 0 7873 0
[pid=19134/tid=19135] ppid=19132 vsize=49476 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 520647668 50663424 427 33554432000 4194304 4623224 140733614060704 18446744073709551615 47536188168114 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=49476 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 520647668 50663424 427 33554432000 4194304 4623224 140733614060704 18446744073709551615 253640915953 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=49476 CPUtime=0 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 520647668 50663424 427 33554432000 4194304 4623224 140733614060704 18446744073709551615 47536188168114 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0778639 s]
/proc/loadavg: 7.53 7.98 7.97 6/180 19134
/proc/meminfo: memFree=30280288/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=248108 CPUtime=0.28 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 2084 0 0 0 28 0 0 0 25 0 4 0 520647668 254062592 1667 33554432000 4194304 4623224 140733614060704 18446744073709551615 4526990 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 62027 1667 342 105 0 57531 0
[pid=19134/tid=19135] ppid=19132 vsize=248108 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 435 0 0 0 7 0 0 0 25 0 4 0 520647668 254062592 1667 33554432000 4194304 4623224 140733614060704 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=248108 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 446 0 0 0 7 0 0 0 25 0 4 0 520647668 254062592 1667 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376835 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=248108 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 191 0 0 0 7 0 0 0 18 0 4 0 520647668 254062592 1667 33554432000 4194304 4623224 140733614060704 18446744073709551615 4354492 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 248108

[startup+0.100859 s]
/proc/loadavg: 7.53 7.98 7.97 6/180 19134
/proc/meminfo: memFree=30280288/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=248108 CPUtime=0.38 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 2260 0 0 0 38 0 0 0 25 0 4 0 520647668 254062592 1842 33554432000 4194304 4623224 140733614060704 18446744073709551615 4276340 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 62027 1842 341 105 0 57531 0
[pid=19134/tid=19135] ppid=19132 vsize=248108 CPUtime=0.09 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 462 0 0 0 9 0 0 0 25 0 4 0 520647668 254062592 1842 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=248108 CPUtime=0.09 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 507 0 0 0 9 0 0 0 25 0 4 0 520647668 254062592 1842 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=248108 CPUtime=0.09 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 249 0 0 0 9 0 0 0 18 0 4 0 520647668 254062592 1842 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 248108

[startup+0.300825 s]
/proc/loadavg: 7.53 7.98 7.97 6/180 19134
/proc/meminfo: memFree=30280288/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=250976 CPUtime=1.17 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 4387 0 0 0 117 0 0 0 25 0 4 0 520647668 256999424 3335 33554432000 4194304 4623224 140733614060704 18446744073709551615 4414972 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 62744 3335 341 105 0 58248 0
[pid=19134/tid=19135] ppid=19132 vsize=250976 CPUtime=0.28 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 1206 0 0 0 28 0 0 0 18 0 4 0 520647668 256999424 3335 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=250976 CPUtime=0.29 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 1144 0 0 0 29 0 0 0 25 0 4 0 520647668 256999424 3335 33554432000 4194304 4623224 140733614060704 18446744073709551615 4377005 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=250976 CPUtime=0.29 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 618 0 0 0 29 0 0 0 18 0 4 0 520647668 256999424 3335 33554432000 4194304 4623224 140733614060704 18446744073709551615 4560264 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 250976

[startup+0.700753 s]
/proc/loadavg: 7.53 7.98 7.97 6/180 19134
/proc/meminfo: memFree=30280288/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=256852 CPUtime=2.76 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 9247 0 0 0 274 2 0 0 25 0 4 0 520647668 263016448 6100 33554432000 4194304 4623224 140733614060704 18446744073709551615 4414965 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 64213 6100 342 105 0 59717 0
[pid=19134/tid=19135] ppid=19132 vsize=256852 CPUtime=0.68 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 2574 0 0 0 68 0 0 0 18 0 4 0 520647668 263016448 6100 33554432000 4194304 4623224 140733614060704 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=256852 CPUtime=0.68 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 2882 0 0 0 67 1 0 0 25 0 4 0 520647668 263016448 6100 33554432000 4194304 4623224 140733614060704 18446744073709551615 4461306 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=256852 CPUtime=0.69 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 1486 0 0 0 69 0 0 0 18 0 4 0 520647668 263016448 6100 33554432000 4194304 4623224 140733614060704 18446744073709551615 4366671 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 256852

[startup+1.50061 s]
/proc/loadavg: 7.53 7.98 7.97 9/184 19138
/proc/meminfo: memFree=30243436/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=262508 CPUtime=5.96 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 17234 0 0 0 592 4 0 0 25 0 4 0 520647668 268808192 10620 33554432000 4194304 4623224 140733614060704 18446744073709551615 4360117 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 65627 10620 342 105 0 61131 0
[pid=19134/tid=19135] ppid=19132 vsize=262508 CPUtime=1.48 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 4087 0 0 0 147 1 0 0 20 0 4 0 520647668 268808192 10620 33554432000 4194304 4623224 140733614060704 18446744073709551615 4366480 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=262508 CPUtime=1.48 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 6481 0 0 0 147 1 0 0 25 0 4 0 520647668 268808192 10621 33554432000 4194304 4623224 140733614060704 18446744073709551615 253640520737 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=262508 CPUtime=1.49 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 3277 0 0 0 149 0 0 0 20 0 4 0 520647668 268808192 10621 33554432000 4194304 4623224 140733614060704 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 262508

[startup+3.10032 s]
/proc/loadavg: 7.53 7.98 7.97 9/184 19138
/proc/meminfo: memFree=30213800/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=275064 CPUtime=12.35 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 29492 0 0 0 1229 6 0 0 25 0 4 0 520647668 281665536 17532 33554432000 4194304 4623224 140733614060704 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 68766 17532 420 105 0 64270 0
[pid=19134/tid=19135] ppid=19132 vsize=275064 CPUtime=3.07 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 6457 0 0 0 306 1 0 0 25 0 4 0 520647668 281665536 17532 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=275064 CPUtime=3.08 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 10146 0 0 0 306 2 0 0 25 0 4 0 520647668 281665536 17532 33554432000 4194304 4623224 140733614060704 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=275064 CPUtime=3.09 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 7963 0 0 0 308 1 0 0 25 0 4 0 520647668 281665536 17532 33554432000 4194304 4623224 140733614060704 18446744073709551615 4550495 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 275064

[startup+6.30073 s]
/proc/loadavg: 7.57 7.98 7.97 9/184 19138
/proc/meminfo: memFree=30157388/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=297180 CPUtime=25.13 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 43696 0 0 0 2503 10 0 0 25 0 4 0 520647668 304312320 26861 33554432000 4194304 4623224 140733614060704 18446744073709551615 4414965 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 74295 26861 548 105 0 69799 0
[pid=19134/tid=19135] ppid=19132 vsize=297180 CPUtime=6.25 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 12275 0 0 0 622 3 0 0 25 0 4 0 520647668 304312320 26861 33554432000 4194304 4623224 140733614060704 18446744073709551615 4366359 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=297180 CPUtime=6.28 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 14584 0 0 0 625 3 0 0 25 0 4 0 520647668 304312320 26861 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376862 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=297180 CPUtime=6.29 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 10177 0 0 0 628 1 0 0 25 0 4 0 520647668 304312320 26861 33554432000 4194304 4623224 140733614060704 18446744073709551615 4549195 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 297180

[startup+12.7006 s]
/proc/loadavg: 7.60 7.98 7.97 9/184 19138
/proc/meminfo: memFree=30079244/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=321400 CPUtime=50.7 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 79651 0 0 0 5052 18 0 0 25 0 4 0 520647668 329113600 39811 33554432000 4194304 4623224 140733614060704 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 80350 39811 405 105 0 75854 0
[pid=19134/tid=19135] ppid=19132 vsize=321400 CPUtime=12.61 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 18321 0 0 0 1256 5 0 0 25 0 4 0 520647668 329113600 39811 33554432000 4194304 4623224 140733614060704 18446744073709551615 4366480 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=321400 CPUtime=12.68 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 30141 0 0 0 1261 7 0 0 25 0 4 0 520647668 329113600 39811 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=321400 CPUtime=12.68 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 24160 0 0 0 1265 3 0 0 25 0 4 0 520647668 329113600 39811 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376742 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 321400

[startup+25.5002 s]
/proc/loadavg: 7.69 7.98 7.97 9/184 19139
/proc/meminfo: memFree=29978436/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=339216 CPUtime=101.83 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 127219 0 0 0 10156 27 0 0 25 0 4 0 520647668 347357184 55749 33554432000 4194304 4623224 140733614060704 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 84804 55749 604 105 0 80308 0
[pid=19134/tid=19135] ppid=19132 vsize=339216 CPUtime=25.35 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 25624 0 0 0 2528 7 0 0 25 0 4 0 520647668 347357184 55749 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=339216 CPUtime=25.48 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 34716 0 0 0 2540 8 0 0 25 0 4 0 520647668 347357184 55749 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=339216 CPUtime=25.48 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 56486 0 0 0 2540 8 0 0 25 0 4 0 520647668 347357184 55749 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376735 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 339216

[startup+51.1005 s]
/proc/loadavg: 7.85 8.00 7.98 10/184 19139
/proc/meminfo: memFree=29827384/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=528420 CPUtime=204.09 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 255392 0 0 0 20357 52 0 0 25 0 4 0 520647668 541102080 83294 33554432000 4194304 4623224 140733614060704 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 132105 83294 760 105 0 127609 0
[pid=19134/tid=19135] ppid=19132 vsize=528420 CPUtime=50.81 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 40903 0 0 0 5067 14 0 0 25 0 4 0 520647668 541102080 83294 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376582 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=528420 CPUtime=51.08 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 49079 0 0 0 5095 13 0 0 25 0 4 0 520647668 541102080 83294 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=528420 CPUtime=51.09 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 149567 0 0 0 5087 22 0 0 25 0 4 0 520647668 541102080 83294 33554432000 4194304 4623224 140733614060704 18446744073709551615 4366416 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 528420

[startup+102.307 s]
/proc/loadavg: 8.08 8.03 7.99 9/184 19141
/proc/meminfo: memFree=29486116/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=726060 CPUtime=408.64 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 386847 0 0 0 40787 77 0 0 25 0 4 0 520647668 743485440 134544 33554432000 4194304 4623224 140733614060704 18446744073709551615 4510302 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 181515 134544 1273 105 0 177019 0
[pid=19134/tid=19135] ppid=19132 vsize=726060 CPUtime=101.73 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 59676 0 0 0 10154 19 0 0 25 0 4 0 520647668 743485440 134545 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=726060 CPUtime=102.29 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 73183 0 0 0 10208 21 0 0 25 0 4 0 520647668 743485440 134545 33554432000 4194304 4623224 140733614060704 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=726060 CPUtime=102.29 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 198899 0 0 0 10200 29 0 0 25 0 4 0 520647668 743485440 134546 33554432000 4194304 4623224 140733614060704 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 726060

[startup+162.3 s]

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

[pid=19134] ppid=19132 vsize=2130656 CPUtime=2805.39 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 3166747 0 0 0 279941 598 0 0 25 0 4 0 520647668 2181791744 431537 33554432000 4194304 4623224 140733614060704 18446744073709551615 4356025 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 532664 431538 364 105 0 528168 0
[pid=19134/tid=19135] ppid=19132 vsize=2130656 CPUtime=698.47 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 207504 0 0 0 69756 91 0 0 25 0 4 0 520647668 2181791744 431539 33554432000 4194304 4623224 140733614060704 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=2130656 CPUtime=702.3 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 243223 0 0 0 70143 87 0 0 25 0 4 0 520647668 2181791744 431540 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376813 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=2130656 CPUtime=702.29 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 1621108 0 0 0 69982 247 0 0 25 0 4 0 520647668 2181791744 431541 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 2130656

[startup+762.307 s]
/proc/loadavg: 8.03 8.05 8.00 9/184 19158
/proc/meminfo: memFree=27649784/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=2334004 CPUtime=3045.09 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 3618410 0 0 0 303832 677 0 0 25 0 4 0 520647668 2390020096 457426 33554432000 4194304 4623224 140733614060704 18446744073709551615 4414955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 583501 457426 342 105 0 579005 0
[pid=19134/tid=19135] ppid=19132 vsize=2334004 CPUtime=758.15 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 207565 0 0 0 75724 91 0 0 25 0 4 0 520647668 2390020096 457426 33554432000 4194304 4623224 140733614060704 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=2334004 CPUtime=762.29 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 254010 0 0 0 76134 95 0 0 25 0 4 0 520647668 2390020096 457426 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=2334004 CPUtime=762.3 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 1891102 0 0 0 75938 292 0 0 25 0 4 0 520647668 2390020096 457426 33554432000 4194304 4623224 140733614060704 18446744073709551615 253640518894 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 2334004

[startup+822.301 s]
/proc/loadavg: 8.16 8.07 8.01 9/184 19160
/proc/meminfo: memFree=27545860/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=2476016 CPUtime=3284.74 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 3960521 0 0 0 327737 737 0 0 25 0 4 0 520647668 2535440384 472893 33554432000 4194304 4623224 140733614060704 18446744073709551615 4510123 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 619004 472893 342 105 0 614508 0
[pid=19134/tid=19135] ppid=19132 vsize=2476016 CPUtime=817.82 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 207588 0 0 0 81691 91 0 0 25 0 4 0 520647668 2535440384 472893 33554432000 4194304 4623224 140733614060704 18446744073709551615 4486256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=2476016 CPUtime=822.29 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 328581 0 0 0 82122 107 0 0 25 0 4 0 520647668 2535440384 472893 33554432000 4194304 4623224 140733614060704 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=2476016 CPUtime=822.29 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 2156355 0 0 0 81890 339 0 0 25 0 4 0 520647668 2535440384 472893 33554432000 4194304 4623224 140733614060704 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 2476016

[startup+882.301 s]
/proc/loadavg: 8.20 8.09 8.02 9/184 19162
/proc/meminfo: memFree=27502440/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=2476016 CPUtime=3524.42 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 4190847 0 0 0 351664 778 0 0 25 0 4 0 520647668 2535440384 477563 33554432000 4194304 4623224 140733614060704 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 619004 477563 342 105 0 614508 0
[pid=19134/tid=19135] ppid=19132 vsize=2476016 CPUtime=877.49 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 207598 0 0 0 87658 91 0 0 25 0 4 0 520647668 2535440384 477563 33554432000 4194304 4623224 140733614060704 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=2476016 CPUtime=882.3 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 328624 0 0 0 88122 108 0 0 25 0 4 0 520647668 2535440384 477563 33554432000 4194304 4623224 140733614060704 18446744073709551615 4357655 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=2476016 CPUtime=882.3 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 2384613 0 0 0 87850 380 0 0 25 0 4 0 520647668 2535440384 477563 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 2476016

[startup+942.301 s]
/proc/loadavg: 8.20 8.10 8.02 9/184 19163
/proc/meminfo: memFree=27464480/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=2476016 CPUtime=3764.1 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 4429456 0 0 0 375590 820 0 0 25 0 4 0 520647668 2535440384 482371 33554432000 4194304 4623224 140733614060704 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 619004 482371 360 105 0 614508 0
[pid=19134/tid=19135] ppid=19132 vsize=2476016 CPUtime=937.17 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 207606 0 0 0 93626 91 0 0 25 0 4 0 520647668 2535440384 482371 33554432000 4194304 4623224 140733614060704 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=2476016 CPUtime=942.3 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 328673 0 0 0 94122 108 0 0 25 0 4 0 520647668 2535440384 482371 33554432000 4194304 4623224 140733614060704 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=2476016 CPUtime=942.3 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 2621507 0 0 0 93809 421 0 0 25 0 4 0 520647668 2535440384 482371 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 2476016

[startup+1002.3 s]
/proc/loadavg: 8.19 8.11 8.02 9/184 19165
/proc/meminfo: memFree=27435068/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=2476016 CPUtime=4003.78 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 4687687 0 0 0 399512 866 0 0 25 0 4 0 520647668 2535440384 484923 33554432000 4194304 4623224 140733614060704 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 619004 484923 358 105 0 614508 0
[pid=19134/tid=19135] ppid=19132 vsize=2476016 CPUtime=996.84 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 207614 0 0 0 99593 91 0 0 25 0 4 0 520647668 2535440384 484923 33554432000 4194304 4623224 140733614060704 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=2476016 CPUtime=1002.3 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 328735 0 0 0 100122 108 0 0 25 0 4 0 520647668 2535440384 484923 33554432000 4194304 4623224 140733614060704 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=2476016 CPUtime=1002.3 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 2878665 0 0 0 99764 466 0 0 25 0 4 0 520647668 2535440384 484923 33554432000 4194304 4623224 140733614060704 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 2476016

[startup+1062.3 s]
/proc/loadavg: 8.13 8.10 8.02 9/184 19166
/proc/meminfo: memFree=27403304/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=2476016 CPUtime=4243.47 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 4867323 0 0 0 423449 898 0 0 25 0 4 0 520647668 2535440384 487051 33554432000 4194304 4623224 140733614060704 18446744073709551615 4510066 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 619004 487051 342 105 0 614508 0
[pid=19134/tid=19135] ppid=19132 vsize=2476016 CPUtime=1056.52 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 207621 0 0 0 105561 91 0 0 25 0 4 0 520647668 2535440384 487051 33554432000 4194304 4623224 140733614060704 18446744073709551615 4357644 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=2476016 CPUtime=1062.3 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 328786 0 0 0 106122 108 0 0 25 0 4 0 520647668 2535440384 487051 33554432000 4194304 4623224 140733614060704 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=2476016 CPUtime=1062.3 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 3057626 0 0 0 105732 498 0 0 25 0 4 0 520647668 2535440384 487051 33554432000 4194304 4623224 140733614060704 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 2476016

[startup+1122.3 s]
/proc/loadavg: 8.15 8.11 8.03 9/184 19168
/proc/meminfo: memFree=27347852/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=2476016 CPUtime=4483.14 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 5077312 0 0 0 447379 935 0 0 25 0 4 0 520647668 2535440384 491202 33554432000 4194304 4623224 140733614060704 18446744073709551615 4414993 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 619004 491202 367 105 0 614508 0
[pid=19134/tid=19135] ppid=19132 vsize=2476016 CPUtime=1116.19 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 207627 0 0 0 111528 91 0 0 25 0 4 0 520647668 2535440384 491202 33554432000 4194304 4623224 140733614060704 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=2476016 CPUtime=1122.31 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 328841 0 0 0 112123 108 0 0 25 0 4 0 520647668 2535440384 491202 33554432000 4194304 4623224 140733614060704 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=2476016 CPUtime=1122.3 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 3266301 0 0 0 111695 535 0 0 25 0 4 0 520647668 2535440384 491202 33554432000 4194304 4623224 140733614060704 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 2476016

[startup+1182.3 s]
/proc/loadavg: 8.16 8.12 8.03 9/184 19170
/proc/meminfo: memFree=27308760/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=2476016 CPUtime=4722.83 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 5335700 0 0 0 471303 980 0 0 25 0 4 0 520647668 2535440384 493158 33554432000 4194304 4623224 140733614060704 18446744073709551615 4415005 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 619004 493158 346 105 0 614508 0
[pid=19134/tid=19135] ppid=19132 vsize=2476016 CPUtime=1175.87 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 207631 0 0 0 117496 91 0 0 25 0 4 0 520647668 2535440384 493161 33554432000 4194304 4623224 140733614060704 18446744073709551615 4486260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=2476016 CPUtime=1182.31 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 328893 0 0 0 118123 108 0 0 25 0 4 0 520647668 2535440384 493161 33554432000 4194304 4623224 140733614060704 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=2476016 CPUtime=1182.31 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 3523109 0 0 0 117651 580 0 0 25 0 4 0 520647668 2535440384 493161 33554432000 4194304 4623224 140733614060704 18446744073709551615 4577678 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.83
Current children cumulated vsize (KiB) 2476016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.82 8.05 8.01 10/184 19261
/proc/meminfo: memFree=28255360/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=2541552 CPUtime=4800.34 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 5410882 0 0 0 479041 993 0 0 25 0 4 0 520647668 2602549248 494347 33554432000 4194304 4623224 140733614060704 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 635388 494350 342 105 0 630892 0
[pid=19134/tid=19135] ppid=19132 vsize=2541552 CPUtime=1195.16 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 207631 0 0 0 119425 91 0 0 25 0 4 0 520647668 2602549248 494350 33554432000 4194304 4623224 140733614060704 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=2541552 CPUtime=1201.71 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 328903 0 0 0 120063 108 0 0 25 0 4 0 520647668 2602549248 494350 33554432000 4194304 4623224 140733614060704 18446744073709551615 4357610 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=2541552 CPUtime=1201.71 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 3598179 0 0 0 119578 593 0 0 25 0 4 0 520647668 2602549248 494350 33554432000 4194304 4623224 140733614060704 18446744073709551615 4577678 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 2541552

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

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

[startup+1201.7 s]
/proc/loadavg: 7.82 8.05 8.01 10/184 19261
/proc/meminfo: memFree=28255360/32951124 swapFree=67111364/67111528
[pid=19134] ppid=19132 vsize=2541552 CPUtime=4800.34 cores=1,3,5,7
/proc/19134/stat : 19134 (SArTagnan) R 19132 19134 18837 0 -1 4202496 5410882 0 0 0 479041 993 0 0 25 0 4 0 520647668 2602549248 494347 33554432000 4194304 4623224 140733614060704 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19134/statm: 635388 494350 342 105 0 630892 0
[pid=19134/tid=19135] ppid=19132 vsize=2541552 CPUtime=1195.16 cores=1,3,5,7
/proc/19134/task/19135/stat : 19135 (SArTagnan) R 19132 19134 18837 0 -1 4202560 207631 0 0 0 119425 91 0 0 25 0 4 0 520647668 2602549248 494350 33554432000 4194304 4623224 140733614060704 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19134/tid=19136] ppid=19132 vsize=2541552 CPUtime=1201.71 cores=1,3,5,7
/proc/19134/task/19136/stat : 19136 (SArTagnan) R 19132 19134 18837 0 -1 4202560 328903 0 0 0 120063 108 0 0 25 0 4 0 520647668 2602549248 494350 33554432000 4194304 4623224 140733614060704 18446744073709551615 4357610 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19134/tid=19137] ppid=19132 vsize=2541552 CPUtime=1201.71 cores=1,3,5,7
/proc/19134/task/19137/stat : 19137 (SArTagnan) R 19132 19134 18837 0 -1 4202560 3598179 0 0 0 119578 593 0 0 25 0 4 0 520647668 2602549248 494350 33554432000 4194304 4623224 140733614060704 18446744073709551615 4577678 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 2541552

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.79
CPU time (s): 4800.44
CPU user time (s): 4790.43
CPU system time (s): 10.0105
CPU usage (%): 399.442
Max. virtual memory (cumulated for all children) (KiB): 2732212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.43
system time used= 10.0105
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5410933
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= 1421
involuntary context switches= 32238

runsolver used 1.79473 second user time and 4.76828 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-29 17:21:13
IDJOB=3250034
IDBENCH=83223
IDSOLVER=1656
FILE ID=node106/3250034-1304090473
RUNJOBID= node106-1304089256-18856
PBS_JOBID= 13170570
Free space on /tmp= 72160 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-16-16-unsat.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250034-1304090473/watcher-3250034-1304090473 -o /tmp/evaluation-result-3250034-1304090473/solver-3250034-1304090473 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3250034-1304090473.cnf -threads=4

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

MD5SUM BENCH= c07743bac800f91e403382f26717b1d0
RANDOM SEED=216273770

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30280552 kB
Buffers:        248920 kB
Cached:        2065904 kB
SwapCached:         88 kB
Active:         860456 kB
Inactive:      1599916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30280552 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            1108 kB
Writeback:           0 kB
AnonPages:      145356 kB
Mapped:          15456 kB
Slab:           146384 kB
PageTables:       4920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   326524 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= 72156 MiB
End job on node106 at 2011-04-29 17:41:16