Trace number 3386067

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.2 1204.37

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-7-12-unsat.cnf
MD5SUM72a4d94c7603cb921acb8c9bb848aa10
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark11.2073
Satisfiable
(Un)Satisfiability was proved
Number of variables84
Number of clauses301
Sum of the clauses size1092
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2252
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 549

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

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

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


[startup+0 s]
/proc/loadavg: 7.95 8.01 7.81 6/427 5892
/proc/meminfo: memFree=20005932/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=180284 CPUtime=0 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 494 0 0 0 0 0 0 0 25 0 4 0 748384944 184610816 428 33554432000 4194304 4625164 140735784193296 18446744073709551615 260905054917 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 45071 432 339 106 0 40574 0
[pid=5892/tid=5893] ppid=5890 vsize=180464 CPUtime=0 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 22 0 0 0 0 0 0 0 25 0 4 0 748384945 184795136 574 33554432000 4194304 4625164 140735784193296 18446744073709551615 260905499118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=180464 CPUtime=0 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 37 0 0 0 0 0 0 0 25 0 4 0 748384945 184795136 574 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=180464 CPUtime=0 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 49 0 0 0 0 0 0 0 25 0 4 0 748384945 184795136 574 33554432000 4194304 4625164 140735784193296 18446744073709551615 260905055265 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.114432 s]
/proc/loadavg: 7.95 8.01 7.81 6/427 5892
/proc/meminfo: memFree=20005932/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=248012 CPUtime=0.42 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 2227 0 0 0 42 0 0 0 25 0 4 0 748384944 253964288 1520 33554432000 4194304 4625164 140735784193296 18446744073709551615 4512015 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 62003 1520 345 106 0 57506 0
[pid=5892/tid=5893] ppid=5890 vsize=248012 CPUtime=0.09 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 554 0 0 0 9 0 0 0 25 0 4 0 748384945 253964288 1520 33554432000 4194304 4625164 140735784193296 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=248012 CPUtime=0.1 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 619 0 0 0 10 0 0 0 25 0 4 0 748384945 253964288 1520 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351894 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=248012 CPUtime=0.1 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 290 0 0 0 10 0 0 0 25 0 4 0 748384945 253964288 1520 33554432000 4194304 4625164 140735784193296 18446744073709551615 4548720 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 248012

[startup+0.200417 s]
/proc/loadavg: 7.95 8.01 7.81 6/427 5892
/proc/meminfo: memFree=20005932/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=248952 CPUtime=0.76 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 2941 0 0 0 76 0 0 0 25 0 4 0 748384944 254926848 2052 33554432000 4194304 4625164 140735784193296 18446744073709551615 4511967 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 62238 2052 345 106 0 57741 0
[pid=5892/tid=5893] ppid=5890 vsize=248952 CPUtime=0.18 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 715 0 0 0 18 0 0 0 25 0 4 0 748384945 254926848 2052 33554432000 4194304 4625164 140735784193296 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=248952 CPUtime=0.19 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 933 0 0 0 19 0 0 0 25 0 4 0 748384945 254926848 2052 33554432000 4194304 4625164 140735784193296 18446744073709551615 4339559 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=248952 CPUtime=0.19 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 476 0 0 0 19 0 0 0 25 0 4 0 748384945 254926848 2052 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 248952

[startup+0.3004 s]
/proc/loadavg: 7.95 8.01 7.81 6/427 5892
/proc/meminfo: memFree=20005932/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=250028 CPUtime=1.16 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 3961 0 0 0 116 0 0 0 25 0 4 0 748384944 256028672 2626 33554432000 4194304 4625164 140735784193296 18446744073709551615 4356539 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 62507 2626 345 106 0 58010 0
[pid=5892/tid=5893] ppid=5890 vsize=250028 CPUtime=0.28 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 1092 0 0 0 28 0 0 0 25 0 4 0 748384945 256028672 2626 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=250028 CPUtime=0.29 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 1269 0 0 0 29 0 0 0 25 0 4 0 748384945 256028672 2626 33554432000 4194304 4625164 140735784193296 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=250028 CPUtime=0.29 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 666 0 0 0 29 0 0 0 25 0 4 0 748384945 256028672 2626 33554432000 4194304 4625164 140735784193296 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 250028

[startup+0.700328 s]
/proc/loadavg: 7.95 8.01 7.81 6/427 5892
/proc/meminfo: memFree=20005932/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=253304 CPUtime=2.77 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 7212 0 0 0 276 1 0 0 25 0 4 0 748384944 259383296 4552 33554432000 4194304 4625164 140735784193296 18446744073709551615 4513324 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 63326 4552 347 106 0 58829 0
[pid=5892/tid=5893] ppid=5890 vsize=253304 CPUtime=0.68 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 2118 0 0 0 68 0 0 0 25 0 4 0 748384945 259383296 4552 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=253304 CPUtime=0.68 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 2163 0 0 0 68 0 0 0 25 0 4 0 748384945 259383296 4552 33554432000 4194304 4625164 140735784193296 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=253304 CPUtime=0.69 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 1596 0 0 0 69 0 0 0 25 0 4 0 748384945 259383296 4552 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 253304

[startup+1.50018 s]
/proc/loadavg: 7.95 8.01 7.81 9/431 5896
/proc/meminfo: memFree=19981108/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=258632 CPUtime=5.95 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 11698 0 0 0 593 2 0 0 25 0 4 0 748384944 264839168 7192 33554432000 4194304 4625164 140735784193296 18446744073709551615 4512066 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 64658 7192 354 106 0 60161 0
[pid=5892/tid=5893] ppid=5890 vsize=258632 CPUtime=1.46 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 3726 0 0 0 146 0 0 0 25 0 4 0 748384945 264839168 7192 33554432000 4194304 4625164 140735784193296 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=258632 CPUtime=1.48 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 3563 0 0 0 148 0 0 0 25 0 4 0 748384945 264839168 7192 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=258632 CPUtime=1.48 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 2775 0 0 0 148 0 0 0 25 0 4 0 748384945 264839168 7192 33554432000 4194304 4625164 140735784193296 18446744073709551615 4552380 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 258632

[startup+3.10089 s]
/proc/loadavg: 7.95 8.01 7.81 10/431 5896
/proc/meminfo: memFree=19963752/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=267424 CPUtime=12.33 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 18880 0 0 0 1231 2 0 0 25 0 4 0 748384944 273842176 10070 33554432000 4194304 4625164 140735784193296 18446744073709551615 4512092 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 66856 10070 354 106 0 62359 0
[pid=5892/tid=5893] ppid=5890 vsize=267424 CPUtime=3.05 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 5530 0 0 0 305 0 0 0 25 0 4 0 748384945 273842176 10070 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=267424 CPUtime=3.08 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 5405 0 0 0 308 0 0 0 25 0 4 0 748384945 273842176 10070 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351942 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=267424 CPUtime=3.08 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 5586 0 0 0 308 0 0 0 25 0 4 0 748384945 273842176 10070 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 267424

[startup+6.3003 s]
/proc/loadavg: 7.95 8.01 7.81 9/431 5897
/proc/meminfo: memFree=19928544/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=281188 CPUtime=25.09 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 39826 0 0 0 2504 5 0 0 25 0 4 0 748384944 287936512 16322 33554432000 4194304 4625164 140735784193296 18446744073709551615 4512312 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 70297 16322 396 106 0 65800 0
[pid=5892/tid=5893] ppid=5890 vsize=281188 CPUtime=6.21 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 11231 0 0 0 619 2 0 0 25 0 4 0 748384945 287936512 16322 33554432000 4194304 4625164 140735784193296 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=281188 CPUtime=6.29 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 8317 0 0 0 628 1 0 0 25 0 4 0 748384945 287936512 16322 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=281188 CPUtime=6.28 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 16882 0 0 0 627 1 0 0 25 0 4 0 748384945 287936512 16322 33554432000 4194304 4625164 140735784193296 18446744073709551615 4552423 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 281188

[startup+12.7011 s]
/proc/loadavg: 7.96 8.01 7.81 9/431 5897
/proc/meminfo: memFree=19879080/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=308104 CPUtime=50.6 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 63995 0 0 0 5050 10 0 0 25 0 4 0 748384944 315498496 22742 33554432000 4194304 4625164 140735784193296 18446744073709551615 4338085 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 77026 22742 378 106 0 72529 0
[pid=5892/tid=5893] ppid=5890 vsize=308104 CPUtime=12.52 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 16221 0 0 0 1249 3 0 0 25 0 4 0 748384945 315498496 22742 33554432000 4194304 4625164 140735784193296 18446744073709551615 4352002 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=308104 CPUtime=12.69 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 16289 0 0 0 1267 2 0 0 25 0 4 0 748384945 315498496 22742 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=308104 CPUtime=12.68 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 27742 0 0 0 1265 3 0 0 25 0 4 0 748384945 315498496 22742 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 308104

[startup+25.5008 s]
/proc/loadavg: 7.97 8.01 7.82 10/431 5897
/proc/meminfo: memFree=19799192/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=334848 CPUtime=101.62 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 80441 0 0 0 10148 14 0 0 25 0 4 0 748384944 342884352 33609 33554432000 4194304 4625164 140735784193296 18446744073709551615 4356384 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 83712 33609 353 106 0 79215 0
[pid=5892/tid=5893] ppid=5890 vsize=334848 CPUtime=25.14 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 24894 0 0 0 2509 5 0 0 25 0 4 0 748384945 342884352 33609 33554432000 4194304 4625164 140735784193296 18446744073709551615 47348944695277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=334848 CPUtime=25.48 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 18906 0 0 0 2545 3 0 0 25 0 4 0 748384945 342884352 33609 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=334848 CPUtime=25.49 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 31926 0 0 0 2545 4 0 0 25 0 4 0 748384945 342884352 33609 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 334848

[startup+51.1011 s]
/proc/loadavg: 8.04 8.02 7.82 9/431 5898
/proc/meminfo: memFree=19690188/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=363600 CPUtime=203.69 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 194485 0 0 0 20337 32 0 0 25 0 4 0 748384944 372326400 49426 33554432000 4194304 4625164 140735784193296 18446744073709551615 4519417 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 90900 49426 432 106 0 86403 0
[pid=5892/tid=5893] ppid=5890 vsize=363600 CPUtime=50.39 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 27686 0 0 0 5033 6 0 0 25 0 4 0 748384945 372326400 49426 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=363600 CPUtime=51.09 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 38096 0 0 0 5103 6 0 0 25 0 4 0 748384945 372326400 49426 33554432000 4194304 4625164 140735784193296 18446744073709551615 4345227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=363600 CPUtime=51.09 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 121130 0 0 0 5091 18 0 0 25 0 4 0 748384945 372326400 49426 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.69
Current children cumulated vsize (KiB) 363600

[startup+102.301 s]
/proc/loadavg: 8.16 8.05 7.84 9/431 5899
/proc/meminfo: memFree=19466328/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=515836 CPUtime=407.81 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 291378 0 0 0 40732 49 0 0 25 0 4 0 748384944 528216064 84069 33554432000 4194304 4625164 140735784193296 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 128959 84069 1390 106 0 124462 0
[pid=5892/tid=5893] ppid=5890 vsize=515836 CPUtime=100.9 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 42993 0 0 0 10081 9 0 0 25 0 4 0 748384945 528216064 84069 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=515836 CPUtime=102.3 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 57658 0 0 0 10219 11 0 0 25 0 4 0 748384945 528216064 84069 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=515836 CPUtime=102.3 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 168747 0 0 0 10205 25 0 0 25 0 4 0 748384945 528216064 84069 33554432000 4194304 4625164 140735784193296 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.81
Current children cumulated vsize (KiB) 515836

[startup+162.301 s]

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

[pid=5892] ppid=5890 vsize=1057792 CPUtime=2559.69 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 1732337 0 0 0 255693 276 0 0 25 0 4 0 748384944 1083179008 190045 33554432000 4194304 4625164 140735784193296 18446744073709551615 4519319 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 264448 190045 346 106 0 259951 0
[pid=5892/tid=5893] ppid=5890 vsize=1057792 CPUtime=633.54 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 134673 0 0 0 63319 35 0 0 25 0 4 0 748384945 1083179008 190045 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=1057792 CPUtime=642.3 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 138979 0 0 0 64196 34 0 0 25 0 4 0 748384945 1083179008 190045 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=1057792 CPUtime=642.3 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 1376391 0 0 0 64036 194 0 0 25 0 4 0 748384945 1083179008 190045 33554432000 4194304 4625164 140735784193296 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2559.69
Current children cumulated vsize (KiB) 1057792

[startup+702.301 s]
/proc/loadavg: 8.06 8.12 7.97 9/431 5918
/proc/meminfo: memFree=18074076/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=1061884 CPUtime=2798.88 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 2029136 0 0 0 279570 318 0 0 25 0 4 0 748384944 1087369216 201149 33554432000 4194304 4625164 140735784193296 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 265471 201149 346 106 0 260974 0
[pid=5892/tid=5893] ppid=5890 vsize=1061884 CPUtime=692.71 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 137127 0 0 0 69234 37 0 0 25 0 4 0 748384945 1087369216 201149 33554432000 4194304 4625164 140735784193296 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=1061884 CPUtime=702.31 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 144114 0 0 0 70195 36 0 0 25 0 4 0 748384945 1087369216 201149 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=1061884 CPUtime=702.3 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 1664467 0 0 0 69999 231 0 0 25 0 4 0 748384945 1087369216 201149 33554432000 4194304 4625164 140735784193296 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2798.88
Current children cumulated vsize (KiB) 1061884

[startup+762.301 s]
/proc/loadavg: 7.20 7.93 7.92 5/422 5937
/proc/meminfo: memFree=19268568/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=1101172 CPUtime=3038.09 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 2283958 0 0 0 303450 359 0 0 25 0 4 0 748384944 1127600128 216047 33554432000 4194304 4625164 140735784193296 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 275293 216047 346 106 0 270796 0
[pid=5892/tid=5893] ppid=5890 vsize=1101172 CPUtime=751.91 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 140847 0 0 0 75150 41 0 0 25 0 4 0 748384945 1127600128 216047 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=1101172 CPUtime=762.32 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 152187 0 0 0 76195 37 0 0 25 0 4 0 748384945 1127600128 216047 33554432000 4194304 4625164 140735784193296 18446744073709551615 4352208 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=1101172 CPUtime=762.32 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 1904626 0 0 0 75966 266 0 0 25 0 4 0 748384945 1127600128 216047 33554432000 4194304 4625164 140735784193296 18446744073709551615 4547283 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3038.09
Current children cumulated vsize (KiB) 1101172

[startup+822.301 s]
/proc/loadavg: 5.21 7.22 7.68 5/422 5938
/proc/meminfo: memFree=19246596/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=1101172 CPUtime=3277.25 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 2385990 0 0 0 327345 380 0 0 25 0 4 0 748384944 1127600128 221718 33554432000 4194304 4625164 140735784193296 18446744073709551615 4393000 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 275293 221718 346 106 0 270796 0
[pid=5892/tid=5893] ppid=5890 vsize=1101172 CPUtime=811.09 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 144109 0 0 0 81060 49 0 0 25 0 4 0 748384945 1127600128 221718 33554432000 4194304 4625164 140735784193296 18446744073709551615 4339569 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=1101172 CPUtime=822.31 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 152295 0 0 0 82193 38 0 0 25 0 4 0 748384945 1127600128 221718 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=1101172 CPUtime=822.31 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 2002251 0 0 0 81952 279 0 0 25 0 4 0 748384945 1127600128 221718 33554432000 4194304 4625164 140735784193296 18446744073709551615 4547807 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3277.25
Current children cumulated vsize (KiB) 1101172

[startup+882.316 s]
/proc/loadavg: 4.55 6.66 7.46 5/422 5940
/proc/meminfo: memFree=19196984/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=1266860 CPUtime=3516.49 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 2879225 0 0 0 351189 460 0 0 25 0 4 0 748384944 1297264640 234020 33554432000 4194304 4625164 140735784193296 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 316715 234020 392 106 0 312218 0
[pid=5892/tid=5893] ppid=5890 vsize=1266860 CPUtime=870.27 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 144889 0 0 0 86976 51 0 0 25 0 4 0 748384945 1297264640 234020 33554432000 4194304 4625164 140735784193296 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=1266860 CPUtime=882.33 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 204329 0 0 0 88189 44 0 0 25 0 4 0 748384945 1297264640 234020 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=1266860 CPUtime=882.32 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 2285171 0 0 0 87911 321 0 0 25 0 4 0 748384945 1297264640 234020 33554432000 4194304 4625164 140735784193296 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3516.49
Current children cumulated vsize (KiB) 1266860

[startup+942.301 s]
/proc/loadavg: 4.24 6.19 7.24 5/422 5942
/proc/meminfo: memFree=19144260/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=1398172 CPUtime=3755.62 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 3440626 0 0 0 375015 547 0 0 25 0 4 0 748384944 1431728128 247072 33554432000 4194304 4625164 140735784193296 18446744073709551615 4519319 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 349543 247072 391 106 0 345046 0
[pid=5892/tid=5893] ppid=5890 vsize=1398172 CPUtime=929.45 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 190911 0 0 0 92887 58 0 0 25 0 4 0 748384945 1431728128 247072 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=1398172 CPUtime=942.31 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 204449 0 0 0 94187 44 0 0 25 0 4 0 748384945 1431728128 247072 33554432000 4194304 4625164 140735784193296 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=1398172 CPUtime=942.3 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 2539094 0 0 0 93869 361 0 0 25 0 4 0 748384945 1431728128 247072 33554432000 4194304 4625164 140735784193296 18446744073709551615 4548757 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3755.62
Current children cumulated vsize (KiB) 1398172

[startup+1002.3 s]
/proc/loadavg: 4.16 5.81 7.04 5/422 5943
/proc/meminfo: memFree=19124164/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=1400152 CPUtime=3994.81 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 3943406 0 0 0 398855 626 0 0 25 0 4 0 748384944 1433755648 252244 33554432000 4194304 4625164 140735784193296 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 350038 252244 428 106 0 345541 0
[pid=5892/tid=5893] ppid=5890 vsize=1400152 CPUtime=988.63 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 191961 0 0 0 98804 59 0 0 25 0 4 0 748384945 1433755648 252244 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=1400152 CPUtime=1002.32 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 206569 0 0 0 100187 45 0 0 25 0 4 0 748384945 1433755648 252244 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=1400152 CPUtime=1002.31 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 2795675 0 0 0 99833 398 0 0 25 0 4 0 748384945 1433755648 252244 33554432000 4194304 4625164 140735784193296 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3994.81
Current children cumulated vsize (KiB) 1400152

[startup+1062.3 s]
/proc/loadavg: 4.06 5.47 6.85 5/422 5945
/proc/meminfo: memFree=19067348/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=1450136 CPUtime=4234 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 4459273 0 0 0 422699 701 0 0 25 0 4 0 748384944 1484939264 266618 33554432000 4194304 4625164 140735784193296 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 362534 266618 412 106 0 358037 0
[pid=5892/tid=5893] ppid=5890 vsize=1450136 CPUtime=1047.82 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 202624 0 0 0 104722 60 0 0 25 0 4 0 748384945 1484939264 266618 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=1450136 CPUtime=1062.32 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 208109 0 0 0 106186 46 0 0 25 0 4 0 748384945 1484939264 266405 33554432000 4194304 4625164 140735784193296 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=1450136 CPUtime=1062.31 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 3044854 0 0 0 105799 432 0 0 25 0 4 0 748384945 1484939264 266405 33554432000 4194304 4625164 140735784193296 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4234
Current children cumulated vsize (KiB) 1450136

[startup+1122.3 s]
/proc/loadavg: 4.09 5.22 6.67 5/422 5946
/proc/meminfo: memFree=19050840/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=1450136 CPUtime=4473.18 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 4956821 0 0 0 446534 784 0 0 25 0 4 0 748384944 1484939264 270803 33554432000 4194304 4625164 140735784193296 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 362534 270803 410 106 0 358037 0
[pid=5892/tid=5893] ppid=5890 vsize=1450136 CPUtime=1107 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 203052 0 0 0 110639 61 0 0 25 0 4 0 748384945 1484939264 270803 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=1450136 CPUtime=1122.32 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 210377 0 0 0 112183 49 0 0 25 0 4 0 748384945 1484939264 270803 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=1450136 CPUtime=1122.31 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 3297455 0 0 0 111762 469 0 0 25 0 4 0 748384945 1484939264 270803 33554432000 4194304 4625164 140735784193296 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4473.18
Current children cumulated vsize (KiB) 1450136

[startup+1182.3 s]
/proc/loadavg: 4.09 5.01 6.51 5/422 5948
/proc/meminfo: memFree=19022668/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=1503816 CPUtime=4712.37 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 5467803 0 0 0 470376 861 0 0 25 0 4 0 748384944 1539907584 277403 33554432000 4194304 4625164 140735784193296 18446744073709551615 4511906 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 375954 277403 372 106 0 371457 0
[pid=5892/tid=5893] ppid=5890 vsize=1503816 CPUtime=1166.19 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 204483 0 0 0 116558 61 0 0 25 0 4 0 748384945 1539907584 277403 33554432000 4194304 4625164 140735784193296 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=1503816 CPUtime=1182.32 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 211527 0 0 0 118179 53 0 0 25 0 4 0 748384945 1539907584 277403 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=1503816 CPUtime=1182.32 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 3558633 0 0 0 117726 506 0 0 25 0 4 0 748384945 1539907584 277403 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4712.37
Current children cumulated vsize (KiB) 1503816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.3 s]
/proc/loadavg: 4.07 4.94 6.45 5/422 5949
/proc/meminfo: memFree=19017940/32950928 swapFree=65730892/67111528
[pid=5892] ppid=5890 vsize=1503816 CPUtime=4800.1 cores=0,2,4,6
/proc/5892/stat : 5892 (SArTagnan) R 5890 5892 5247 0 -1 4202496 5656208 0 0 0 479116 894 0 0 25 0 4 0 748384944 1539907584 278668 33554432000 4194304 4625164 140735784193296 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5892/statm: 375954 278668 388 106 0 371457 0
[pid=5892/tid=5893] ppid=5890 vsize=1503816 CPUtime=1187.89 cores=0,2,4,6
/proc/5892/task/5893/stat : 5893 (SArTagnan) R 5890 5892 5247 0 -1 4202560 204976 0 0 0 118728 61 0 0 25 0 4 0 748384945 1539907584 278668 33554432000 4194304 4625164 140735784193296 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5892/tid=5894] ppid=5890 vsize=1503816 CPUtime=1204.34 cores=0,2,4,6
/proc/5892/task/5894/stat : 5894 (SArTagnan) R 5890 5892 5247 0 -1 4202560 211885 0 0 0 120379 55 0 0 25 0 4 0 748384945 1539907584 278668 33554432000 4194304 4625164 140735784193296 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5892/tid=5895] ppid=5890 vsize=1503816 CPUtime=1204.33 cores=0,2,4,6
/proc/5892/task/5895/stat : 5895 (SArTagnan) R 5890 5892 5247 0 -1 4202560 3658495 0 0 0 119912 521 0 0 25 0 4 0 748384945 1539907584 278668 33554432000 4194304 4625164 140735784193296 18446744073709551615 4548757 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1503816

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.37
CPU time (s): 4800.2
CPU user time (s): 4791.21
CPU system time (s): 8.98563
CPU usage (%): 398.566
Max. virtual memory (cumulated for all children) (KiB): 1562220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.21
system time used= 8.98563
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5656377
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= 409
involuntary context switches= 18745

runsolver used 4.74828 second user time and 11.6912 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-16 23:32:23
IDJOB=3386067
IDBENCH=83222
IDSOLVER=1871
FILE ID=node116/3386067-1305581543
RUNJOBID= node116-1305580268-5683
PBS_JOBID= 13350205
Free space on /tmp= 73040 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-7-12-unsat.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386067-1305581543/watcher-3386067-1305581543 -o /tmp/evaluation-result-3386067-1305581543/solver-3386067-1305581543 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386067-1305581543.cnf -threads=4

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

MD5SUM BENCH= 72a4d94c7603cb921acb8c9bb848aa10
RANDOM SEED=25182343

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      20006196 kB
Buffers:        185164 kB
Cached:        2354716 kB
SwapCached:      12328 kB
Active:       11479028 kB
Inactive:      1228520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20006196 kB
SwapTotal:    67111528 kB
SwapFree:     65730892 kB
Dirty:            1056 kB
Writeback:          20 kB
AnonPages:    10165428 kB
Mapped:          20608 kB
Slab:           117644 kB
PageTables:      53452 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 113596072 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= 73040 MiB
End job on node116 at 2011-05-16 23:52:29