Trace number 3386238

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) 3907.93 1300.09

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/korf-18.cnf
MD5SUM47bea79e2bf12e18e409c2c4bd6fac03
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark671.532
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses186934
Sum of the clauses size1289969
Maximum clause length55
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 220093
Number of clauses of size 316000
Number of clauses of size 45706
Number of clauses of size 56282
Number of clauses of size over 5138847

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.17 4.50 3/387 7627
/proc/meminfo: memFree=23340244/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=24284 CPUtime=0 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 919 0 0 0 0 0 0 0 21 0 1 0 748444172 24866816 746 33554432000 4194304 4625164 140734242369312 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7627/statm: 6133 758 299 106 0 1636 0

[startup+0.0689609 s]
/proc/loadavg: 2.00 2.17 4.50 3/387 7627
/proc/meminfo: memFree=23340244/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=34196 CPUtime=0.06 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 5409 0 0 0 5 1 0 0 21 0 1 0 748444172 35016704 3224 33554432000 4194304 4625164 140734242369312 18446744073709551615 231895490304 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7627/statm: 8549 3224 299 106 0 4052 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 34196

[startup+0.100954 s]
/proc/loadavg: 2.00 2.17 4.50 3/387 7627
/proc/meminfo: memFree=23340244/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=39160 CPUtime=0.09 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 7854 0 0 0 8 1 0 0 21 0 1 0 748444172 40099840 4590 33554432000 4194304 4625164 140734242369312 18446744073709551615 231895490304 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7627/statm: 9790 4594 320 106 0 5293 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39160

[startup+0.300856 s]
/proc/loadavg: 2.00 2.17 4.50 3/387 7627
/proc/meminfo: memFree=23340244/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=184460 CPUtime=0.42 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 20581 0 0 0 39 3 0 0 23 0 4 0 748444172 188887040 14926 33554432000 4194304 4625164 140734242369312 18446744073709551615 4391821 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7627/statm: 46115 14926 400 106 0 41618 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 184460

[startup+0.700781 s]
/proc/loadavg: 2.00 2.17 4.50 3/387 7627
/proc/meminfo: memFree=23340244/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=255408 CPUtime=1.47 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 30521 0 0 0 143 4 0 0 24 0 4 0 748444172 261537792 18708 33554432000 4194304 4625164 140734242369312 18446744073709551615 4390435 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7627/statm: 63852 18708 354 106 0 59355 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 255408

[startup+1.50063 s]
/proc/loadavg: 2.00 2.17 4.50 8/391 7631
/proc/meminfo: memFree=23207864/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=263528 CPUtime=3.86 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 39774 0 0 0 380 6 0 0 25 0 4 0 748444172 269852672 22848 33554432000 4194304 4625164 140734242369312 18446744073709551615 4513489 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7627/statm: 65882 22848 352 106 0 61385 0
[pid=7627/tid=7629] ppid=7625 vsize=263528 CPUtime=0.83 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 2471 0 0 0 83 0 0 0 25 0 4 0 748444188 269852672 22848 33554432000 4194304 4625164 140734242369312 18446744073709551615 4464748 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=263528 CPUtime=1.12 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 2395 0 0 0 112 0 0 0 25 0 4 0 748444188 269852672 22848 33554432000 4194304 4625164 140734242369312 18446744073709551615 4288719 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=263528 CPUtime=0.82 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 13826 0 0 0 81 1 0 0 25 0 4 0 748444188 269852672 22848 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 263528

[startup+3.10033 s]
/proc/loadavg: 2.40 2.25 4.51 8/394 7637
/proc/meminfo: memFree=23144552/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=268408 CPUtime=8.63 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 49292 0 0 0 856 7 0 0 25 0 4 0 748444172 274849792 26443 33554432000 4194304 4625164 140734242369312 18446744073709551615 4512054 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7627/statm: 67102 26443 353 106 0 62605 0
[pid=7627/tid=7629] ppid=7625 vsize=268408 CPUtime=2.42 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 3539 0 0 0 242 0 0 0 25 0 4 0 748444188 274849792 26443 33554432000 4194304 4625164 140734242369312 18446744073709551615 4467313 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=268408 CPUtime=2.28 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 2779 0 0 0 228 0 0 0 25 0 4 0 748444188 274849792 26443 33554432000 4194304 4625164 140734242369312 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=268408 CPUtime=1.6 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 17916 0 0 0 158 2 0 0 25 0 4 0 748444188 274849792 26443 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351884 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.63
Current children cumulated vsize (KiB) 268408

[startup+6.30073 s]
/proc/loadavg: 2.40 2.25 4.51 11/397 7640
/proc/meminfo: memFree=22654240/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=268408 CPUtime=18.2 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 74684 0 0 0 1809 11 0 0 25 0 4 0 748444172 274849792 32815 33554432000 4194304 4625164 140734242369312 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7627/statm: 67102 32815 380 106 0 62605 0
[pid=7627/tid=7629] ppid=7625 vsize=268408 CPUtime=5.62 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 5950 0 0 0 562 0 0 0 25 0 4 0 748444188 274849792 32815 33554432000 4194304 4625164 140734242369312 18446744073709551615 4278669 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=268408 CPUtime=3.83 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 4859 0 0 0 383 0 0 0 25 0 4 0 748444188 274849792 32815 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=268408 CPUtime=3.19 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 38596 0 0 0 315 4 0 0 25 0 4 0 748444188 274849792 32815 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18.2
Current children cumulated vsize (KiB) 268408

[startup+12.7005 s]
/proc/loadavg: 3.01 2.38 4.54 11/397 7640
/proc/meminfo: memFree=22498724/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=282952 CPUtime=37.32 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 88959 0 0 0 3719 13 0 0 25 0 4 0 748444172 289742848 36762 33554432000 4194304 4625164 140734242369312 18446744073709551615 4509083 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7627/statm: 70738 36762 386 106 0 66241 0
[pid=7627/tid=7629] ppid=7625 vsize=282952 CPUtime=12.02 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 9357 0 0 0 1201 1 0 0 25 0 4 0 748444188 289742848 36762 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=282952 CPUtime=6.96 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 5459 0 0 0 695 1 0 0 25 0 4 0 748444188 289742848 36762 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=282952 CPUtime=6.39 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 48830 0 0 0 634 5 0 0 25 0 4 0 748444188 289742848 36762 33554432000 4194304 4625164 140734242369312 18446744073709551615 4334733 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 37.32
Current children cumulated vsize (KiB) 282952

[startup+25.5011 s]
/proc/loadavg: 4.62 2.77 4.63 11/397 7641
/proc/meminfo: memFree=22387820/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=305076 CPUtime=75.55 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 139306 0 0 0 7533 22 0 0 25 0 4 0 748444172 312397824 45552 33554432000 4194304 4625164 140734242369312 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7627/statm: 76269 45552 430 106 0 71772 0
[pid=7627/tid=7629] ppid=7625 vsize=305076 CPUtime=23.01 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 16570 0 0 0 2297 4 0 0 25 0 4 0 748444188 312397824 45552 33554432000 4194304 4625164 140734242369312 18446744073709551615 4330793 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=305076 CPUtime=13.3 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 8835 0 0 0 1329 1 0 0 25 0 4 0 748444188 312397824 45552 33554432000 4194304 4625164 140734242369312 18446744073709551615 4352310 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=305076 CPUtime=14.5 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 88453 0 0 0 1439 11 0 0 25 0 4 0 748444188 312397824 45552 33554432000 4194304 4625164 140734242369312 18446744073709551615 4551230 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 75.55
Current children cumulated vsize (KiB) 305076

[startup+51.1003 s]
/proc/loadavg: 6.59 3.38 4.78 11/397 7641
/proc/meminfo: memFree=22205424/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=396328 CPUtime=152.02 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 294243 0 0 0 15157 45 0 0 25 0 4 0 748444172 405839872 56527 33554432000 4194304 4625164 140734242369312 18446744073709551615 4338055 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7627/statm: 99082 56527 348 106 0 94585 0
[pid=7627/tid=7629] ppid=7625 vsize=396328 CPUtime=41.31 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 27158 0 0 0 4123 8 0 0 25 0 4 0 748444188 405839872 56527 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=396328 CPUtime=25.3 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 16096 0 0 0 2526 4 0 0 25 0 4 0 748444188 405839872 56527 33554432000 4194304 4625164 140734242369312 18446744073709551615 4288653 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=396328 CPUtime=36.44 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 224961 0 0 0 3616 28 0 0 25 0 4 0 748444188 405839872 56527 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 152.02
Current children cumulated vsize (KiB) 396328

[startup+102.315 s]
/proc/loadavg: 8.75 4.52 5.09 11/397 7643
/proc/meminfo: memFree=22016392/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=443504 CPUtime=305.01 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 431246 0 0 0 30433 68 0 0 25 0 4 0 748444172 454148096 67913 33554432000 4194304 4625164 140734242369312 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7627/statm: 110876 67913 347 106 0 106379 0
[pid=7627/tid=7629] ppid=7625 vsize=443504 CPUtime=80.29 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 29168 0 0 0 8021 8 0 0 25 0 4 0 748444188 454148096 67913 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=443504 CPUtime=53.92 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 17906 0 0 0 5387 5 0 0 25 0 4 0 748444188 454148096 67913 33554432000 4194304 4625164 140734242369312 18446744073709551615 4352069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=443504 CPUtime=86.99 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 349106 0 0 0 8653 46 0 0 25 0 4 0 748444188 454148096 67913 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 305.01
Current children cumulated vsize (KiB) 443504

[startup+162.301 s]
/proc/loadavg: 9.43 5.41 5.36 11/397 7674
/proc/meminfo: memFree=22816780/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=552836 CPUtime=484.21 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 839736 0 0 0 48288 133 0 0 25 0 4 0 748444172 566104064 96455 33554432000 4194304 4625164 140734242369312 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7627/statm: 138209 96455 350 106 0 133712 0
[pid=7627/tid=7629] ppid=7625 vsize=552836 CPUtime=124.28 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 44259 0 0 0 12415 13 0 0 25 0 4 0 748444188 566104064 96455 33554432000 4194304 4625164 140734242369312 18446744073709551615 4466133 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=552836 CPUtime=99.89 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 31871 0 0 0 9978 11 0 0 25 0 4 0 748444188 566104064 96455 33554432000 4194304 4625164 140734242369312 18446744073709551615 4339541 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=552836 CPUtime=128.34 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 726773 0 0 0 12734 100 0 0 25 0 4 0 748444188 566104064 96455 33554432000 4194304 4625164 140734242369312 18446744073709551615 4334466 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 484.21
Current children cumulated vsize (KiB) 552836

[startup+222.3 s]
/proc/loadavg: 9.88 6.34 5.68 11/397 7676
/proc/meminfo: memFree=22611404/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=776824 CPUtime=668.44 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 1077066 0 0 0 66671 173 0 0 25 0 4 0 748444172 795467776 132019 33554432000 4194304 4625164 140734242369312 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7627/statm: 194206 132019 527 106 0 189709 0
[pid=7627/tid=7629] ppid=7625 vsize=776824 CPUtime=171.44 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 49945 0 0 0 17130 14 0 0 25 0 4 0 748444188 795467776 132019 33554432000 4194304 4625164 140734242369312 18446744073709551615 4339628 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=776824 CPUtime=158.81 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 49183 0 0 0 15865 16 0 0 25 0 4 0 748444188 795467776 132019 33554432000 4194304 4625164 140734242369312 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=776824 CPUtime=163.04 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 929691 0 0 0 16171 133 0 0 25 0 4 0 748444188 795467776 132019 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 668.44
Current children cumulated vsize (KiB) 776824

[startup+282.301 s]

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

[pid=7627] ppid=7625 vsize=1450352 CPUtime=2122.56 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 2982120 0 0 0 211743 513 0 0 25 0 4 0 748444172 1485160448 290380 33554432000 4194304 4625164 140734242369312 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7627/statm: 362588 290380 348 106 0 358091 0
[pid=7627/tid=7629] ppid=7625 vsize=1450352 CPUtime=522.12 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 115739 0 0 0 52160 52 0 0 25 0 4 0 748444188 1485160448 290380 33554432000 4194304 4625164 140734242369312 18446744073709551615 4467253 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=1450352 CPUtime=527.84 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 123328 0 0 0 52732 52 0 0 25 0 4 0 748444188 1485160448 290380 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=1450352 CPUtime=451.52 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 2564764 0 0 0 44775 377 0 0 25 0 4 0 748444188 1485160448 290380 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2122.56
Current children cumulated vsize (KiB) 1450352

[startup+762.315 s]
/proc/loadavg: 10.10 9.51 7.64 11/397 7690
/proc/meminfo: memFree=21560912/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=1504768 CPUtime=2301.72 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 3320229 0 0 0 229602 570 0 0 25 0 4 0 748444172 1540882432 306530 33554432000 4194304 4625164 140734242369312 18446744073709551615 4512125 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7627/statm: 376192 306530 347 106 0 371695 0
[pid=7627/tid=7629] ppid=7625 vsize=1504768 CPUtime=576.28 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 118635 0 0 0 57573 55 0 0 20 0 4 0 748444188 1540882432 306530 33554432000 4194304 4625164 140734242369312 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=1504768 CPUtime=564.89 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 126367 0 0 0 56433 56 0 0 25 0 4 0 748444188 1540882432 306530 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=1504768 CPUtime=484.33 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 2862741 0 0 0 48010 423 0 0 25 0 4 0 748444188 1540882432 306530 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2301.72
Current children cumulated vsize (KiB) 1504768

[startup+822.301 s]
/proc/loadavg: 10.15 9.62 7.78 11/397 7692
/proc/meminfo: memFree=21487460/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=1546476 CPUtime=2480.92 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 3367388 0 0 0 247513 579 0 0 25 0 4 0 748444172 1583591424 318051 33554432000 4194304 4625164 140734242369312 18446744073709551615 4511938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7627/statm: 386619 318051 347 106 0 382122 0
[pid=7627/tid=7629] ppid=7625 vsize=1546476 CPUtime=607.61 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 125396 0 0 0 60706 55 0 0 25 0 4 0 748444188 1583591424 318051 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=1546476 CPUtime=624.87 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 131511 0 0 0 62429 58 0 0 25 0 4 0 748444188 1583591424 318051 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=1546476 CPUtime=513.81 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 2897647 0 0 0 50953 428 0 0 25 0 4 0 748444188 1583591424 318051 33554432000 4194304 4625164 140734242369312 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2480.92
Current children cumulated vsize (KiB) 1546476

[startup+882.3 s]
/proc/loadavg: 10.14 9.72 7.94 11/397 7694
/proc/meminfo: memFree=21436700/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=1566500 CPUtime=2660.15 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 3381576 0 0 0 265430 585 0 0 25 0 4 0 748444172 1604096000 323974 33554432000 4194304 4625164 140734242369312 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7627/statm: 391625 323974 415 106 0 387128 0
[pid=7627/tid=7629] ppid=7625 vsize=1566500 CPUtime=666.71 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 126412 0 0 0 66615 56 0 0 25 0 4 0 748444188 1604096000 323974 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=1566500 CPUtime=655.8 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 134113 0 0 0 65518 62 0 0 25 0 4 0 748444188 1604096000 323974 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=1566500 CPUtime=543.79 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 2906991 0 0 0 53950 429 0 0 25 0 4 0 748444188 1604096000 323974 33554432000 4194304 4625164 140734242369312 18446744073709551615 4339541 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2660.15
Current children cumulated vsize (KiB) 1566500

[startup+942.301 s]
/proc/loadavg: 10.15 9.80 8.07 11/397 7695
/proc/meminfo: memFree=21330740/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=1746972 CPUtime=2839.4 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 3454057 0 0 0 283337 603 0 0 25 0 4 0 748444172 1788899328 339670 33554432000 4194304 4625164 140734242369312 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7627/statm: 436743 339670 389 106 0 432246 0
[pid=7627/tid=7629] ppid=7625 vsize=1746972 CPUtime=706.66 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 160261 0 0 0 70604 62 0 0 25 0 4 0 748444188 1788899328 339670 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=1746972 CPUtime=696.66 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 169344 0 0 0 69593 73 0 0 25 0 4 0 748444188 1788899328 339670 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=1746972 CPUtime=597.02 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 2907502 0 0 0 59272 430 0 0 25 0 4 0 748444188 1788899328 339670 33554432000 4194304 4625164 140734242369312 18446744073709551615 4335410 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2839.4
Current children cumulated vsize (KiB) 1746972

[startup+1002.3 s]
/proc/loadavg: 10.13 9.86 8.20 11/397 7697
/proc/meminfo: memFree=21256520/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=1755664 CPUtime=3018.63 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 3468320 0 0 0 301252 611 0 0 25 0 4 0 748444172 1797799936 353273 33554432000 4194304 4625164 140734242369312 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7627/statm: 438916 353273 347 106 0 434419 0
[pid=7627/tid=7629] ppid=7625 vsize=1755664 CPUtime=754.68 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 163675 0 0 0 75403 65 0 0 25 0 4 0 748444188 1797799936 353273 33554432000 4194304 4625164 140734242369312 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=1755664 CPUtime=726.81 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 171527 0 0 0 72605 76 0 0 25 0 4 0 748444188 1797799936 353273 33554432000 4194304 4625164 140734242369312 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=1755664 CPUtime=638.4 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 2909813 0 0 0 63410 430 0 0 25 0 4 0 748444188 1797799936 353273 33554432000 4194304 4625164 140734242369312 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3018.63
Current children cumulated vsize (KiB) 1755664

[startup+1062.3 s]
/proc/loadavg: 10.14 9.91 8.31 11/397 7698
/proc/meminfo: memFree=21179212/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=1900000 CPUtime=3197.85 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 3483022 0 0 0 319162 623 0 0 25 0 4 0 748444172 1945600000 367592 33554432000 4194304 4625164 140734242369312 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7627/statm: 475000 367592 347 106 0 470503 0
[pid=7627/tid=7629] ppid=7625 vsize=1900000 CPUtime=808.39 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 166990 0 0 0 80768 71 0 0 25 0 4 0 748444188 1945600000 367592 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=1900000 CPUtime=762.6 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 173967 0 0 0 76181 79 0 0 25 0 4 0 748444188 1945600000 367592 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=1900000 CPUtime=674.52 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 2913266 0 0 0 67021 431 0 0 25 0 4 0 748444188 1945600000 367592 33554432000 4194304 4625164 140734242369312 18446744073709551615 4335274 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3197.85
Current children cumulated vsize (KiB) 1900000

[startup+1122.3 s]
/proc/loadavg: 10.12 9.96 8.44 11/397 7700
/proc/meminfo: memFree=21093096/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=1913748 CPUtime=3377.08 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 3499113 0 0 0 337076 632 0 0 25 0 4 0 748444172 1959677952 383039 33554432000 4194304 4625164 140734242369312 18446744073709551615 4512736 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7627/statm: 478437 383039 348 106 0 473940 0
[pid=7627/tid=7629] ppid=7625 vsize=1913748 CPUtime=841.58 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 170080 0 0 0 84083 75 0 0 25 0 4 0 748444188 1959677952 383039 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=1913748 CPUtime=797.76 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 176070 0 0 0 79694 82 0 0 25 0 4 0 748444188 1959677952 383039 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=1913748 CPUtime=729.74 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 2917388 0 0 0 72542 432 0 0 25 0 4 0 748444188 1959677952 383039 33554432000 4194304 4625164 140734242369312 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3377.08
Current children cumulated vsize (KiB) 1913748

[startup+1182.3 s]
/proc/loadavg: 10.12 9.99 8.53 11/397 7711
/proc/meminfo: memFree=20995152/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=1985580 CPUtime=3556.29 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 3547138 0 0 0 354983 646 0 0 25 0 4 0 748444172 2033233920 402506 33554432000 4194304 4625164 140734242369312 18446744073709551615 4514057 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7627/statm: 496395 402506 347 106 0 491898 0
[pid=7627/tid=7629] ppid=7625 vsize=1985580 CPUtime=879.85 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 173037 0 0 0 87907 78 0 0 25 0 4 0 748444188 2033233920 402506 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=1985580 CPUtime=839.37 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 178832 0 0 0 83851 86 0 0 25 0 4 0 748444188 2033233920 402506 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=1985580 CPUtime=789.75 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 2921466 0 0 0 78542 433 0 0 25 0 4 0 748444188 2033233920 402506 33554432000 4194304 4625164 140734242369312 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3556.29
Current children cumulated vsize (KiB) 1985580

[startup+1242.3 s]
/proc/loadavg: 10.17 10.03 8.64 11/397 7712
/proc/meminfo: memFree=20926044/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=2052076 CPUtime=3735.52 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 3560456 0 0 0 372898 654 0 0 25 0 4 0 748444172 2101325824 412855 33554432000 4194304 4625164 140734242369312 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7627/statm: 513019 412855 347 106 0 508522 0
[pid=7627/tid=7629] ppid=7625 vsize=2052076 CPUtime=927.05 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 175259 0 0 0 92623 82 0 0 25 0 4 0 748444188 2101325824 412855 33554432000 4194304 4625164 140734242369312 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=2052076 CPUtime=869.17 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 180608 0 0 0 86829 88 0 0 25 0 4 0 748444188 2101325824 412855 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=2052076 CPUtime=839.32 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 2924524 0 0 0 83498 434 0 0 25 0 4 0 748444188 2101325824 412855 33554432000 4194304 4625164 140734242369312 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3735.52
Current children cumulated vsize (KiB) 2052076



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 10.19 10.06 8.73 11/397 7714
/proc/meminfo: memFree=20840164/32950928 swapFree=60044328/67111528
[pid=7627] ppid=7625 vsize=2133716 CPUtime=3907.82 cores=1,3,5,7
/proc/7627/stat : 7627 (SArTagnan) R 7625 7627 7595 0 -1 4202496 3917915 0 0 0 390070 712 0 0 25 0 4 0 748444172 2184925184 427954 33554432000 4194304 4625164 140734242369312 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7627/statm: 533429 427954 351 106 0 528932 0
[pid=7627/tid=7629] ppid=7625 vsize=2133716 CPUtime=974.67 cores=1,3,5,7
/proc/7627/task/7629/stat : 7629 (SArTagnan) R 7625 7627 7595 0 -1 4202560 177605 0 0 0 97382 85 0 0 25 0 4 0 748444188 2184925184 427954 33554432000 4194304 4625164 140734242369312 18446744073709551615 4352157 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7627/tid=7630] ppid=7625 vsize=2133716 CPUtime=908.01 cores=1,3,5,7
/proc/7627/task/7630/stat : 7630 (SArTagnan) R 7625 7627 7595 0 -1 4202560 182309 0 0 0 90711 90 0 0 25 0 4 0 748444188 2184925184 427954 33554432000 4194304 4625164 140734242369312 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7627/tid=7631] ppid=7625 vsize=2133716 CPUtime=873.16 cores=1,3,5,7
/proc/7627/task/7631/stat : 7631 (SArTagnan) R 7625 7627 7595 0 -1 4202560 3229248 0 0 0 86836 480 0 0 25 0 4 0 748444188 2184925184 427954 33554432000 4194304 4625164 140734242369312 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3907.82
Current children cumulated vsize (KiB) 2133716

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.09
CPU time (s): 3907.93
CPU user time (s): 3900.73
CPU system time (s): 7.2019
CPU usage (%): 300.588
Max. virtual memory (cumulated for all children) (KiB): 2296476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3900.73
system time used= 7.20191
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3917917
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= 6093
involuntary context switches= 36179

runsolver used 4.5733 second user time and 12.0012 second system time

The end

Launcher Data 

Begin job on node114 at 2011-05-16 23:42:15
IDJOB=3386238
IDBENCH=83446
IDSOLVER=1871
FILE ID=node114/3386238-1305582135
RUNJOBID= node114-1305582131-7614
PBS_JOBID= 13350302
Free space on /tmp= 72936 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-18.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386238-1305582135/watcher-3386238-1305582135 -o /tmp/evaluation-result-3386238-1305582135/solver-3386238-1305582135 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386238-1305582135.cnf -threads=4

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

MD5SUM BENCH= 47bea79e2bf12e18e409c2c4bd6fac03
RANDOM SEED=1248363936

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.848
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.74
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.848
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:      23340276 kB
Buffers:         74108 kB
Cached:         503600 kB
SwapCached:      48520 kB
Active:        1178248 kB
Inactive:      8234668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23340276 kB
SwapTotal:    67111528 kB
SwapFree:     60044328 kB
Dirty:            7216 kB
Writeback:           0 kB
AnonPages:     8792600 kB
Mapped:          22352 kB
Slab:            77276 kB
PageTables:      54256 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 81483540 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= 72936 MiB
End job on node114 at 2011-05-17 00:03:57