Trace number 3385870

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) 2883.69 1300.06

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf
MD5SUMfaed4f95ee485d18812f5d39a28df3e5
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 variables349
Number of clauses33487
Sum of the clauses size151837
Maximum clause length19
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 330276
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 53211

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-3385870-1305582132/watcher-3385870-1305582132 -o /tmp/evaluation-result-3385870-1305582132/solver-3385870-1305582132 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3385870-1305582132.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.00 7.01 8.14 8/342 19099
/proc/meminfo: memFree=11010932/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=16172 CPUtime=0 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4194304 114 0 0 0 0 0 0 0 21 0 1 0 669812936 16560128 68 33554432000 4194304 4625164 140736258103536 18446744073709551615 237273955975 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19099/statm: 4043 68 52 106 0 54 0

[startup+0.0792439 s]
/proc/loadavg: 7.00 7.01 8.14 8/342 19099
/proc/meminfo: memFree=11010932/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=57420 CPUtime=0.09 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 3260 0 0 0 9 0 0 0 21 0 4 0 669812936 58798080 2310 33554432000 4194304 4625164 140736258103536 18446744073709551615 47105257887656 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19099/statm: 14355 2310 301 106 0 9858 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 57420

[startup+0.10024 s]
/proc/loadavg: 7.00 7.01 8.14 8/342 19099
/proc/meminfo: memFree=11010932/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=192204 CPUtime=0.12 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 4001 0 0 0 12 0 0 0 22 0 4 0 669812936 196816896 2867 33554432000 4194304 4625164 140736258103536 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19099/statm: 48051 2867 333 106 0 43554 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 192204

[startup+0.300204 s]
/proc/loadavg: 7.00 7.01 8.14 8/342 19099
/proc/meminfo: memFree=11010932/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=192204 CPUtime=0.32 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 4107 0 0 0 32 0 0 0 22 0 4 0 669812936 196816896 2973 33554432000 4194304 4625164 140736258103536 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19099/statm: 48051 2973 333 106 0 43554 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 192204

[startup+0.700135 s]
/proc/loadavg: 7.00 7.01 8.14 8/342 19099
/proc/meminfo: memFree=11010932/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=193800 CPUtime=1.05 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 5766 0 0 0 105 0 0 0 23 0 4 0 669812936 198451200 3679 33554432000 4194304 4625164 140736258103536 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19099/statm: 48450 3679 336 106 0 43953 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 193800

[startup+1.50099 s]
/proc/loadavg: 7.00 7.01 8.14 16/354 19116
/proc/meminfo: memFree=10983672/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=200208 CPUtime=2.66 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 9699 0 0 0 265 1 0 0 25 0 4 0 669812936 205012992 5716 33554432000 4194304 4625164 140736258103536 18446744073709551615 4512180 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19099/statm: 50052 5716 336 106 0 45555 0
[pid=19099/tid=19101] ppid=19097 vsize=200208 CPUtime=0.65 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 815 0 0 0 65 0 0 0 21 0 4 0 669812939 205012992 5716 33554432000 4194304 4625164 140736258103536 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=200208 CPUtime=0.54 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 1066 0 0 0 54 0 0 0 25 0 4 0 669812939 205012992 5716 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=200208 CPUtime=0.62 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 3745 0 0 0 62 0 0 0 21 0 4 0 669812939 205012992 5716 33554432000 4194304 4625164 140736258103536 18446744073709551615 4552354 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 200208

[startup+3.10071 s]
/proc/loadavg: 7.64 7.14 8.17 16/354 19116
/proc/meminfo: memFree=10967180/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=201032 CPUtime=5.76 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 17291 0 0 0 574 2 0 0 25 0 4 0 669812936 205856768 6845 33554432000 4194304 4625164 140736258103536 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19099/statm: 50258 6845 339 106 0 45761 0
[pid=19099/tid=19101] ppid=19097 vsize=201032 CPUtime=1.45 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 1026 0 0 0 145 0 0 0 25 0 4 0 669812939 205856768 6845 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=201032 CPUtime=1.34 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 1257 0 0 0 134 0 0 0 25 0 4 0 669812939 205856768 6845 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=201032 CPUtime=1.42 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 10840 0 0 0 141 1 0 0 24 0 4 0 669812939 205856768 6845 33554432000 4194304 4625164 140736258103536 18446744073709551615 4469600 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 201032

[startup+6.30114 s]
/proc/loadavg: 7.64 7.14 8.17 13/354 19116
/proc/meminfo: memFree=10940892/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=207788 CPUtime=10.59 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) D 19097 19099 19071 0 -1 4202496 25323 0 0 0 1056 3 0 0 21 0 4 0 669812936 212774912 9878 33554432000 4194304 4625164 140736258103536 18446744073709551615 4339447 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19099/statm: 51947 9878 345 106 0 47450 0
[pid=19099/tid=19101] ppid=19097 vsize=207788 CPUtime=2.6 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) D 19097 19099 19071 0 -1 4202560 2034 0 0 0 260 0 0 0 20 0 4 0 669812939 212774912 9878 33554432000 4194304 4625164 140736258103536 18446744073709551615 237278922935 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=207788 CPUtime=2.53 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) D 19097 19099 19071 0 -1 4202560 2514 0 0 0 253 0 0 0 23 0 4 0 669812939 212774912 9878 33554432000 4194304 4625164 140736258103536 18446744073709551615 4339639 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=207788 CPUtime=2.65 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 15485 0 0 0 264 1 0 0 25 0 4 0 669812939 212774912 9878 33554432000 4194304 4625164 140736258103536 18446744073709551615 237278576848 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.59
Current children cumulated vsize (KiB) 207788

[startup+12.701 s]
/proc/loadavg: 8.77 7.40 8.25 16/354 19116
/proc/meminfo: memFree=10896276/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=218500 CPUtime=23.46 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 47066 0 0 0 2340 6 0 0 25 0 4 0 669812936 223744000 15154 33554432000 4194304 4625164 140736258103536 18446744073709551615 4396709 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19099/statm: 54625 15154 340 106 0 50128 0
[pid=19099/tid=19101] ppid=19097 vsize=218500 CPUtime=6.15 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 5625 0 0 0 615 0 0 0 25 0 4 0 669812939 223744000 15154 33554432000 4194304 4625164 140736258103536 18446744073709551615 4462650 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=218500 CPUtime=5.74 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 4179 0 0 0 574 0 0 0 23 0 4 0 669812939 223744000 15154 33554432000 4194304 4625164 140736258103536 18446744073709551615 4352192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=218500 CPUtime=5.52 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 30038 0 0 0 549 3 0 0 25 0 4 0 669812939 223744000 15154 33554432000 4194304 4625164 140736258103536 18446744073709551615 4552383 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.46
Current children cumulated vsize (KiB) 218500

[startup+25.5007 s]
/proc/loadavg: 9.73 7.65 8.32 14/354 19116
/proc/meminfo: memFree=10818820/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=246344 CPUtime=54.34 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 91120 0 0 0 5422 12 0 0 24 0 4 0 669812936 252256256 25851 33554432000 4194304 4625164 140736258103536 18446744073709551615 4425138 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19099/statm: 61586 25851 340 106 0 57089 0
[pid=19099/tid=19101] ppid=19097 vsize=246344 CPUtime=13.09 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 10256 0 0 0 1308 1 0 0 25 0 4 0 669812939 252256256 25851 33554432000 4194304 4625164 140736258103536 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=246344 CPUtime=14.31 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 8497 0 0 0 1430 1 0 0 24 0 4 0 669812939 252256256 25851 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=246344 CPUtime=11.79 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 60437 0 0 0 1172 7 0 0 25 0 4 0 669812939 252256256 25851 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 54.34
Current children cumulated vsize (KiB) 246344

[startup+51.1012 s]
/proc/loadavg: 11.66 8.27 8.50 16/354 19117
/proc/meminfo: memFree=10718668/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=272880 CPUtime=104.51 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 109662 0 0 0 10434 17 0 0 25 0 4 0 669812936 279429120 37969 33554432000 4194304 4625164 140736258103536 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19099/statm: 68220 37969 340 106 0 63723 0
[pid=19099/tid=19101] ppid=19097 vsize=272880 CPUtime=25.62 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 16160 0 0 0 2559 3 0 0 25 0 4 0 669812939 279429120 37969 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=272880 CPUtime=26.76 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 13742 0 0 0 2673 3 0 0 25 0 4 0 669812939 279429120 37969 33554432000 4194304 4625164 140736258103536 18446744073709551615 4288561 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=272880 CPUtime=24.39 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 65423 0 0 0 2431 8 0 0 25 0 4 0 669812939 279429120 37969 33554432000 4194304 4625164 140736258103536 18446744073709551615 4552336 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 104.51
Current children cumulated vsize (KiB) 272880

[startup+102.313 s]
/proc/loadavg: 13.76 9.43 8.89 16/354 19118
/proc/meminfo: memFree=10521256/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=391652 CPUtime=231.08 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 325750 0 0 0 23064 44 0 0 25 0 4 0 669812936 401051648 65932 33554432000 4194304 4625164 140736258103536 18446744073709551615 4519381 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19099/statm: 97913 65932 402 106 0 93416 0
[pid=19099/tid=19101] ppid=19097 vsize=391652 CPUtime=51.13 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 25225 0 0 0 5110 3 0 0 25 0 4 0 669812939 401051648 65932 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=391652 CPUtime=52.21 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 19765 0 0 0 5217 4 0 0 25 0 4 0 669812939 401051648 65932 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=391652 CPUtime=74.23 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 248694 0 0 0 7392 31 0 0 25 0 4 0 669812939 401051648 65932 33554432000 4194304 4625164 140736258103536 18446744073709551615 4552399 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 231.08
Current children cumulated vsize (KiB) 391652

[startup+162.3 s]
/proc/loadavg: 14.50 10.36 9.24 16/354 19120
/proc/meminfo: memFree=10347896/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=484604 CPUtime=365.86 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 598520 0 0 0 36505 81 0 0 25 0 4 0 669812936 496234496 90819 33554432000 4194304 4625164 140736258103536 18446744073709551615 4512042 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19099/statm: 121151 90819 819 106 0 116654 0
[pid=19099/tid=19101] ppid=19097 vsize=484604 CPUtime=79.92 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 35288 0 0 0 7987 5 0 0 25 0 4 0 669812939 496234496 90819 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=484604 CPUtime=90.3 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 27386 0 0 0 9024 6 0 0 25 0 4 0 669812939 496234496 90819 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=484604 CPUtime=113.38 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 490511 0 0 0 11275 63 0 0 25 0 4 0 669812939 496234496 90819 33554432000 4194304 4625164 140736258103536 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 365.86
Current children cumulated vsize (KiB) 484604

[startup+222.301 s]
/proc/loadavg: 14.97 11.31 9.64 16/354 19122
/proc/meminfo: memFree=10212356/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=519472 CPUtime=485.25 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 712073 0 0 0 48430 95 0 0 25 0 4 0 669812936 531939328 100119 33554432000 4194304 4625164 140736258103536 18446744073709551615 4512779 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19099/statm: 129868 100119 651 106 0 125371 0
[pid=19099/tid=19101] ppid=19097 vsize=519472 CPUtime=109.91 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 36112 0 0 0 10986 5 0 0 25 0 4 0 669812939 531939328 100119 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=519472 CPUtime=120.07 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 30716 0 0 0 12001 6 0 0 25 0 4 0 669812939 531939328 100119 33554432000 4194304 4625164 140736258103536 18446744073709551615 4352494 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=519472 CPUtime=143 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 587629 0 0 0 14225 75 0 0 25 0 4 0 669812939 531939328 100119 33554432000 4194304 4625164 140736258103536 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 485.25
Current children cumulated vsize (KiB) 519472

[startup+282.301 s]

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

[pid=19099] ppid=19097 vsize=924672 CPUtime=1528.19 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 1654301 0 0 0 152601 218 0 0 25 0 4 0 669812936 946864128 182487 33554432000 4194304 4625164 140736258103536 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19099/statm: 231168 182487 462 106 0 226671 0
[pid=19099/tid=19101] ppid=19097 vsize=924672 CPUtime=349.88 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 57791 0 0 0 34979 9 0 0 25 0 4 0 669812939 946864128 182487 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=924672 CPUtime=358.51 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 56134 0 0 0 35841 10 0 0 25 0 4 0 669812939 946864128 182487 33554432000 4194304 4625164 140736258103536 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=924672 CPUtime=467.7 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 1435021 0 0 0 46587 183 0 0 25 0 4 0 669812939 946864128 182487 33554432000 4194304 4625164 140736258103536 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1528.19
Current children cumulated vsize (KiB) 924672

[startup+762.313 s]
/proc/loadavg: 15.26 14.51 12.04 16/354 19136
/proc/meminfo: memFree=9392888/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=1006656 CPUtime=1677.2 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 2150695 0 0 0 167435 285 0 0 25 0 4 0 669812936 1030815744 192035 33554432000 4194304 4625164 140736258103536 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19099/statm: 251664 192035 462 106 0 247167 0
[pid=19099/tid=19101] ppid=19097 vsize=1006656 CPUtime=379.87 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 76900 0 0 0 37976 11 0 0 25 0 4 0 669812939 1030815744 192035 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=1006656 CPUtime=388.25 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 56605 0 0 0 38815 10 0 0 25 0 4 0 669812939 1030815744 192035 33554432000 4194304 4625164 140736258103536 18446744073709551615 237278546906 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=1006656 CPUtime=527.04 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 1887576 0 0 0 52460 244 0 0 25 0 4 0 669812939 1030815744 192035 33554432000 4194304 4625164 140736258103536 18446744073709551615 4579367 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1677.2
Current children cumulated vsize (KiB) 1006656

[startup+822.301 s]
/proc/loadavg: 15.21 14.62 12.22 16/354 19138
/proc/meminfo: memFree=9287232/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=1040144 CPUtime=1826.41 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 2467117 0 0 0 182316 325 0 0 25 0 4 0 669812936 1065107456 202683 33554432000 4194304 4625164 140736258103536 18446744073709551615 4393124 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19099/statm: 260036 202683 384 106 0 255539 0
[pid=19099/tid=19101] ppid=19097 vsize=1040144 CPUtime=409.87 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 81838 0 0 0 40975 12 0 0 25 0 4 0 669812939 1065107456 202683 33554432000 4194304 4625164 140736258103536 18446744073709551615 4352299 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=1040144 CPUtime=418.13 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 57644 0 0 0 41802 11 0 0 25 0 4 0 669812939 1065107456 202683 33554432000 4194304 4625164 140736258103536 18446744073709551615 4352145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=1040144 CPUtime=586.37 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 2191906 0 0 0 58355 282 0 0 25 0 4 0 669812939 1065107456 202683 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1826.41
Current children cumulated vsize (KiB) 1040144

[startup+882.3 s]
/proc/loadavg: 15.16 14.72 12.41 16/354 19139
/proc/meminfo: memFree=9232040/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=1040144 CPUtime=1975.64 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 2994781 0 0 0 197170 394 0 0 25 0 4 0 669812936 1065107456 206857 33554432000 4194304 4625164 140736258103536 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19099/statm: 260036 206857 377 106 0 255539 0
[pid=19099/tid=19101] ppid=19097 vsize=1040144 CPUtime=439.86 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 82253 0 0 0 43974 12 0 0 25 0 4 0 669812939 1065107456 206857 33554432000 4194304 4625164 140736258103536 18446744073709551615 4352192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=1040144 CPUtime=448.04 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 58093 0 0 0 44793 11 0 0 25 0 4 0 669812939 1065107456 206857 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=1040144 CPUtime=645.71 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 2712237 0 0 0 64220 351 0 0 25 0 4 0 669812939 1065107456 206857 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1975.64
Current children cumulated vsize (KiB) 1040144

[startup+942.301 s]
/proc/loadavg: 15.10 14.78 12.56 16/354 19141
/proc/meminfo: memFree=9144612/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=1073632 CPUtime=2124.68 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 3376621 0 0 0 212030 438 0 0 25 0 4 0 669812936 1099399168 215870 33554432000 4194304 4625164 140736258103536 18446744073709551615 4511926 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19099/statm: 268408 215870 371 106 0 263911 0
[pid=19099/tid=19101] ppid=19097 vsize=1073632 CPUtime=469.86 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 82707 0 0 0 46974 12 0 0 25 0 4 0 669812939 1099399168 215870 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=1073632 CPUtime=477.74 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 62544 0 0 0 47763 11 0 0 25 0 4 0 669812939 1099399168 215870 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=1073632 CPUtime=705.04 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 3086471 0 0 0 70111 393 0 0 25 0 4 0 669812939 1099399168 215870 33554432000 4194304 4625164 140736258103536 18446744073709551615 237278538165 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2124.68
Current children cumulated vsize (KiB) 1073632

[startup+1002.3 s]
/proc/loadavg: 15.07 14.83 12.73 16/354 19142
/proc/meminfo: memFree=9083100/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=1116720 CPUtime=2273.92 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 3883460 0 0 0 226887 505 0 0 25 0 4 0 669812936 1143521280 222556 33554432000 4194304 4625164 140736258103536 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19099/statm: 279180 222556 359 106 0 274683 0
[pid=19099/tid=19101] ppid=19097 vsize=1116720 CPUtime=499.85 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 83428 0 0 0 49973 12 0 0 25 0 4 0 669812939 1143521280 222556 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=1116720 CPUtime=507.63 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 63212 0 0 0 50752 11 0 0 25 0 4 0 669812939 1143521280 222556 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=1116720 CPUtime=764.38 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 3578228 0 0 0 75980 458 0 0 25 0 4 0 669812939 1143521280 222556 33554432000 4194304 4625164 140736258103536 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2273.92
Current children cumulated vsize (KiB) 1116720

[startup+1062.3 s]
/proc/loadavg: 15.12 14.89 12.87 16/354 19144
/proc/meminfo: memFree=9026920/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=1116720 CPUtime=2409.14 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 4151244 0 0 0 240378 536 0 0 25 0 4 0 669812936 1143521280 227557 33554432000 4194304 4625164 140736258103536 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19099/statm: 279180 227557 354 106 0 274683 0
[pid=19099/tid=19101] ppid=19097 vsize=1116720 CPUtime=529.81 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 83681 0 0 0 52969 12 0 0 25 0 4 0 669812939 1143521280 227557 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=1116720 CPUtime=537.27 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 64023 0 0 0 53716 11 0 0 25 0 4 0 669812939 1143521280 227557 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=1116720 CPUtime=810.17 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 3841893 0 0 0 80529 488 0 0 25 0 4 0 669812939 1143521280 227557 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2409.14
Current children cumulated vsize (KiB) 1116720

[startup+1122.3 s]
/proc/loadavg: 15.14 14.94 13.02 16/354 19146
/proc/meminfo: memFree=8960944/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=1186036 CPUtime=2528.19 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 4278052 0 0 0 252266 553 0 0 25 0 4 0 669812936 1214500864 235748 33554432000 4194304 4625164 140736258103536 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19099/statm: 296509 235748 404 106 0 292012 0
[pid=19099/tid=19101] ppid=19097 vsize=1186036 CPUtime=559.64 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 85581 0 0 0 55951 13 0 0 25 0 4 0 669812939 1214500864 235748 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=1186036 CPUtime=567.01 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 64455 0 0 0 56689 12 0 0 25 0 4 0 669812939 1214500864 235748 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=1186036 CPUtime=839.67 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 3963726 0 0 0 83464 503 0 0 25 0 4 0 669812939 1214500864 235748 33554432000 4194304 4625164 140736258103536 18446744073709551615 4352765 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2528.19
Current children cumulated vsize (KiB) 1186036

[startup+1182.3 s]
/proc/loadavg: 15.18 14.98 13.14 16/354 19156
/proc/meminfo: memFree=8908700/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=1253508 CPUtime=2647.51 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 4409371 0 0 0 264181 570 0 0 25 0 4 0 669812936 1283592192 239816 33554432000 4194304 4625164 140736258103536 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19099/statm: 313377 239816 363 106 0 308880 0
[pid=19099/tid=19101] ppid=19097 vsize=1253508 CPUtime=589.63 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 86106 0 0 0 58949 14 0 0 25 0 4 0 669812939 1283592192 239816 33554432000 4194304 4625164 140736258103536 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=1253508 CPUtime=596.52 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 65556 0 0 0 59640 12 0 0 25 0 4 0 669812939 1283592192 239816 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=1253508 CPUtime=869.49 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 4083763 0 0 0 86432 517 0 0 25 0 4 0 669812939 1283592192 239816 33554432000 4194304 4625164 140736258103536 18446744073709551615 4335412 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2647.51
Current children cumulated vsize (KiB) 1253508

[startup+1242.3 s]
/proc/loadavg: 15.17 15.01 13.28 16/354 19158
/proc/meminfo: memFree=8842844/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=1192356 CPUtime=2771.12 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 4656862 0 0 0 276510 602 0 0 25 0 4 0 669812936 1220972544 244631 33554432000 4194304 4625164 140736258103536 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19099/statm: 298089 244631 354 106 0 293592 0
[pid=19099/tid=19101] ppid=19097 vsize=1192356 CPUtime=619.53 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 87887 0 0 0 61939 14 0 0 25 0 4 0 669812939 1220972544 244631 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=1192356 CPUtime=630.81 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 66053 0 0 0 63069 12 0 0 25 0 4 0 669812939 1220972544 244631 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=1192356 CPUtime=899.29 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 4323092 0 0 0 89380 549 0 0 25 0 4 0 669812939 1220972544 244631 33554432000 4194304 4625164 140736258103536 18446744073709551615 4547454 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2771.12
Current children cumulated vsize (KiB) 1192356



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 15.25 15.05 13.39 16/354 19159
/proc/meminfo: memFree=8770536/32950904 swapFree=67057400/67111528
[pid=19099] ppid=19097 vsize=1257892 CPUtime=2883.63 cores=0,2,4,6
/proc/19099/stat : 19099 (SArTagnan) R 19097 19099 19071 0 -1 4202496 4913089 0 0 0 287731 632 0 0 25 0 4 0 669812936 1288081408 248791 33554432000 4194304 4625164 140736258103536 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19099/statm: 314473 248791 371 106 0 309976 0
[pid=19099/tid=19101] ppid=19097 vsize=1257892 CPUtime=647.63 cores=0,2,4,6
/proc/19099/task/19101/stat : 19101 (SArTagnan) R 19097 19099 19071 0 -1 4202560 88607 0 0 0 64749 14 0 0 25 0 4 0 669812939 1288081408 248791 33554432000 4194304 4625164 140736258103536 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19099/tid=19102] ppid=19097 vsize=1257892 CPUtime=658.89 cores=0,2,4,6
/proc/19099/task/19102/stat : 19102 (SArTagnan) R 19097 19099 19071 0 -1 4202560 67074 0 0 0 65876 13 0 0 25 0 4 0 669812939 1288081408 248791 33554432000 4194304 4625164 140736258103536 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19099/tid=19103] ppid=19097 vsize=1257892 CPUtime=926.86 cores=0,2,4,6
/proc/19099/task/19103/stat : 19103 (SArTagnan) R 19097 19099 19071 0 -1 4202560 4572866 0 0 0 92109 577 0 0 25 0 4 0 669812939 1288081408 248791 33554432000 4194304 4625164 140736258103536 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2883.63
Current children cumulated vsize (KiB) 1257892

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): 1300.06
CPU time (s): 2883.69
CPU user time (s): 2877.32
CPU system time (s): 6.36703
CPU usage (%): 221.812
Max. virtual memory (cumulated for all children) (KiB): 1323428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2877.32
system time used= 6.36703
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4913089
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= 1226
involuntary context switches= 38524

runsolver used 4.25135 second user time and 9.95749 second system time

The end

Launcher Data 

Begin job on node121 at 2011-05-16 23:42:12
IDJOB=3385870
IDBENCH=83336
IDSOLVER=1871
FILE ID=node121/3385870-1305582132
RUNJOBID= node121-1305582131-19089
PBS_JOBID= 13350299
Free space on /tmp= 73424 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385870-1305582132/watcher-3385870-1305582132 -o /tmp/evaluation-result-3385870-1305582132/solver-3385870-1305582132 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3385870-1305582132.cnf -threads=4

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

MD5SUM BENCH= faed4f95ee485d18812f5d39a28df3e5
RANDOM SEED=1091102904

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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.817
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:     32950904 kB
MemFree:      11011228 kB
Buffers:        340480 kB
Cached:        7022228 kB
SwapCached:       7656 kB
Active:       15886072 kB
Inactive:      5673412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      11011228 kB
SwapTotal:    67111528 kB
SwapFree:     67057400 kB
Dirty:            1216 kB
Writeback:           0 kB
AnonPages:    14194728 kB
Mapped:          28496 kB
Slab:           267156 kB
PageTables:      48516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 66182512 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= 73420 MiB
End job on node121 at 2011-05-17 00:03:54