Trace number 3290877

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-03-24? (TO) 4800.5 1201.9

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/korf-17.cnf
MD5SUMade81e5508101352b3d942708b201606
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark505.23
Satisfiable
(Un)Satisfiability was proved
Number of variables6664
Number of clauses89966
Sum of the clauses size425665
Maximum clause length36
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 216962
Number of clauses of size 310874
Number of clauses of size 412189
Number of clauses of size 522355
Number of clauses of size over 527586

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290877-1304098479/watcher-3290877-1304098479 -o /tmp/evaluation-result-3290877-1304098479/solver-3290877-1304098479 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3290877-1304098479.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: 6.32 7.68 7.55 3/176 2157
/proc/meminfo: memFree=31438424/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=21364 CPUtime=0 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 622 0 0 0 0 0 0 0 25 0 1 0 521446665 21876736 560 33554432000 4194304 4623224 140736959852688 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/2157/statm: 5341 560 296 105 0 845 0

[startup+0.0633069 s]
/proc/loadavg: 6.32 7.68 7.55 3/176 2157
/proc/meminfo: memFree=31438424/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=136532 CPUtime=0.06 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 7629 0 0 0 5 1 0 0 25 0 4 0 521446665 139808768 5496 33554432000 4194304 4623224 140736959852688 18446744073709551615 235594527429 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 34133 5496 321 105 0 29637 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 136532

[startup+0.145468 s]
/proc/loadavg: 6.32 7.68 7.55 3/176 2157
/proc/meminfo: memFree=31438424/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=279748 CPUtime=0.38 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 11103 0 0 0 37 1 0 0 25 0 4 0 521446665 286461952 7576 33554432000 4194304 4623224 140736959852688 18446744073709551615 235594564053 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 69937 7576 342 105 0 65441 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 279748

[startup+0.300127 s]
/proc/loadavg: 6.32 7.68 7.55 3/176 2157
/proc/meminfo: memFree=31438424/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=280224 CPUtime=1 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 15438 0 0 0 98 2 0 0 25 0 4 0 521446665 286949376 8119 33554432000 4194304 4623224 140736959852688 18446744073709551615 4414829 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 70056 8119 342 105 0 65560 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 280224

[startup+0.701056 s]
/proc/loadavg: 6.32 7.68 7.55 3/176 2157
/proc/meminfo: memFree=31438424/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=283708 CPUtime=2.61 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 23864 0 0 0 257 4 0 0 25 0 4 0 521446665 290516992 9664 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510116 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 70927 9664 342 105 0 66431 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 283708

[startup+1.50091 s]
/proc/loadavg: 6.32 7.68 7.55 10/184 2165
/proc/meminfo: memFree=31374016/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=281700 CPUtime=5.8 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 34888 0 0 0 575 5 0 0 25 0 4 0 521446665 288460800 10426 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 70425 10426 343 105 0 65929 0
[pid=2157/tid=2163] ppid=2155 vsize=281700 CPUtime=1.43 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 3022 0 0 0 143 0 0 0 25 0 4 0 521446671 288460800 10426 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=281700 CPUtime=1.43 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 1882 0 0 0 143 0 0 0 25 0 4 0 521446671 288460800 10426 33554432000 4194304 4623224 140736959852688 18446744073709551615 4317199 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=281700 CPUtime=1.42 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 19409 0 0 0 140 2 0 0 25 0 4 0 521446671 288460800 10426 33554432000 4194304 4623224 140736959852688 18446744073709551615 4552689 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 281700

[startup+3.10064 s]
/proc/loadavg: 6.32 7.68 7.55 10/184 2165
/proc/meminfo: memFree=31361120/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=298592 CPUtime=12.2 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 58644 0 0 0 1210 10 0 0 25 0 4 0 521446665 305758208 15167 33554432000 4194304 4623224 140736959852688 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 74648 15167 382 105 0 70152 0
[pid=2157/tid=2163] ppid=2155 vsize=298592 CPUtime=3.02 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 4815 0 0 0 302 0 0 0 25 0 4 0 521446671 305758208 15167 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376832 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=298592 CPUtime=3.03 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 3599 0 0 0 302 1 0 0 25 0 4 0 521446671 305758208 15167 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376487 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=298592 CPUtime=3.02 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 39644 0 0 0 296 6 0 0 25 0 4 0 521446671 305758208 15167 33554432000 4194304 4623224 140736959852688 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.2
Current children cumulated vsize (KiB) 298592

[startup+6.30107 s]
/proc/loadavg: 6.46 7.68 7.55 10/184 2165
/proc/meminfo: memFree=31329404/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=303496 CPUtime=24.98 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 85727 0 0 0 2482 16 0 0 25 0 4 0 521446665 310779904 18325 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510384 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 75874 18325 345 105 0 71378 0
[pid=2157/tid=2163] ppid=2155 vsize=303496 CPUtime=6.22 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 7257 0 0 0 621 1 0 0 25 0 4 0 521446671 310779904 18325 33554432000 4194304 4623224 140736959852688 18446744073709551615 4377133 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=303496 CPUtime=6.23 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 5827 0 0 0 622 1 0 0 18 0 4 0 521446671 310779904 18325 33554432000 4194304 4623224 140736959852688 18446744073709551615 4460986 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=303496 CPUtime=6.2 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 60542 0 0 0 610 10 0 0 25 0 4 0 521446671 310779904 18325 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376853 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 303496

[startup+12.7009 s]
/proc/loadavg: 6.58 7.69 7.55 6/178 2216
/proc/meminfo: memFree=31259024/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=301688 CPUtime=50.54 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 165521 0 0 0 5024 30 0 0 25 0 4 0 521446665 308928512 21758 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 75422 21758 345 105 0 70926 0
[pid=2157/tid=2163] ppid=2155 vsize=301688 CPUtime=12.62 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 8197 0 0 0 1258 4 0 0 25 0 4 0 521446671 308928512 21758 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=301688 CPUtime=12.63 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 7803 0 0 0 1261 2 0 0 25 0 4 0 521446671 308928512 21758 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=301688 CPUtime=12.57 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 136118 0 0 0 1237 20 0 0 25 0 4 0 521446671 308928512 21758 33554432000 4194304 4623224 140736959852688 18446744073709551615 4550432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 301688

[startup+25.5007 s]
/proc/loadavg: 6.77 7.67 7.55 9/184 2226
/proc/meminfo: memFree=30329804/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=325028 CPUtime=101.66 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 302008 0 0 0 10115 51 0 0 25 0 4 0 521446665 332828672 31477 33554432000 4194304 4623224 140736959852688 18446744073709551615 4517492 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 81257 31477 345 105 0 76761 0
[pid=2157/tid=2163] ppid=2155 vsize=325028 CPUtime=25.42 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 17170 0 0 0 2536 6 0 0 25 0 4 0 521446671 332828672 31477 33554432000 4194304 4623224 140736959852688 18446744073709551615 4366465 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=325028 CPUtime=25.42 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 17560 0 0 0 2538 4 0 0 25 0 4 0 521446671 332828672 31477 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=325028 CPUtime=25.29 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 252650 0 0 0 2494 35 0 0 25 0 4 0 521446671 332828672 31477 33554432000 4194304 4623224 140736959852688 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 325028

[startup+51.1012 s]
/proc/loadavg: 7.25 7.71 7.56 9/184 2227
/proc/meminfo: memFree=30012960/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=345924 CPUtime=203.92 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 411391 0 0 0 20324 68 0 0 25 0 4 0 521446665 354226176 51454 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510900 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 86481 51454 366 105 0 81985 0
[pid=2157/tid=2163] ppid=2155 vsize=345924 CPUtime=51.02 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 27791 0 0 0 5094 8 0 0 25 0 4 0 521446671 354226176 51454 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=345924 CPUtime=51.03 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 28419 0 0 0 5095 8 0 0 25 0 4 0 521446671 354226176 51454 33554432000 4194304 4623224 140736959852688 18446744073709551615 4289757 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=345924 CPUtime=50.75 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 336396 0 0 0 5028 47 0 0 25 0 4 0 521446671 354226176 51454 33554432000 4194304 4623224 140736959852688 18446744073709551615 4545317 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 345924

[startup+102.306 s]
/proc/loadavg: 7.79 7.79 7.59 9/184 2228
/proc/meminfo: memFree=29709328/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=544020 CPUtime=408.46 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 626552 0 0 0 40740 106 0 0 25 0 4 0 521446665 557076480 89617 33554432000 4194304 4623224 140736959852688 18446744073709551615 4354460 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 136005 89617 595 105 0 131509 0
[pid=2157/tid=2163] ppid=2155 vsize=544020 CPUtime=102.23 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 42907 0 0 0 10211 12 0 0 25 0 4 0 521446671 557076480 89617 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376823 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=544020 CPUtime=102.24 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 41948 0 0 0 10212 12 0 0 25 0 4 0 521446671 557076480 89617 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=544020 CPUtime=101.68 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 506197 0 0 0 10094 74 0 0 25 0 4 0 521446671 557076480 89617 33554432000 4194304 4623224 140736959852688 18446744073709551615 4545353 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.46
Current children cumulated vsize (KiB) 544020

[startup+162.301 s]
/proc/loadavg: 8.03 7.85 7.63 9/184 2229
/proc/meminfo: memFree=29425508/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=746716 CPUtime=648.11 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 688153 0 0 0 64695 116 0 0 25 0 4 0 521446665 764637184 125389 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 186679 125389 852 105 0 182183 0
[pid=2157/tid=2163] ppid=2155 vsize=746716 CPUtime=162.22 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 62897 0 0 0 16206 16 0 0 25 0 4 0 521446671 764637184 125389 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=746716 CPUtime=162.23 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 60152 0 0 0 16209 14 0 0 25 0 4 0 521446671 764637184 125389 33554432000 4194304 4623224 140736959852688 18446744073709551615 4377048 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=746716 CPUtime=161.35 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 513294 0 0 0 16060 75 0 0 25 0 4 0 521446671 764637184 125389 33554432000 4194304 4623224 140736959852688 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.11
Current children cumulated vsize (KiB) 746716

[startup+222.301 s]
/proc/loadavg: 8.11 7.91 7.66 9/184 2231
/proc/meminfo: memFree=29250584/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=802432 CPUtime=887.79 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 732576 0 0 0 88651 128 0 0 25 0 4 0 521446665 821690368 142254 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 200608 142254 417 105 0 196112 0
[pid=2157/tid=2163] ppid=2155 vsize=802432 CPUtime=222.22 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 65995 0 0 0 22204 18 0 0 25 0 4 0 521446671 821690368 142254 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=802432 CPUtime=222.24 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 64212 0 0 0 22207 17 0 0 25 0 4 0 521446671 821690368 142254 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=802432 CPUtime=221.03 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 514869 0 0 0 22027 76 0 0 25 0 4 0 521446671 821690368 142254 33554432000 4194304 4623224 140736959852688 18446744073709551615 4366381 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.79
Current children cumulated vsize (KiB) 802432

[startup+282.301 s]

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

[pid=2157] ppid=2155 vsize=1677228 CPUtime=2565.49 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 3003870 0 0 0 256052 497 0 0 25 0 4 0 521446665 1717481472 316881 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 419307 316881 509 105 0 414811 0
[pid=2157/tid=2163] ppid=2155 vsize=1677228 CPUtime=642.23 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 145472 0 0 0 64181 42 0 0 25 0 4 0 521446671 1717481472 316881 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=1677228 CPUtime=640.73 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 149287 0 0 0 64032 41 0 0 25 0 4 0 521446671 1717481472 316881 33554432000 4194304 4623224 140736959852688 18446744073709551615 4366407 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=1677228 CPUtime=640.26 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 2438757 0 0 0 63659 367 0 0 25 0 4 0 521446671 1717481472 316881 33554432000 4194304 4623224 140736959852688 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.49
Current children cumulated vsize (KiB) 1677228

[startup+702.301 s]
/proc/loadavg: 8.12 8.04 7.81 9/184 2244
/proc/meminfo: memFree=27984128/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=1761432 CPUtime=2805.15 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 3120218 0 0 0 279996 519 0 0 25 0 4 0 521446665 1803706368 331022 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 440358 331022 463 105 0 435862 0
[pid=2157/tid=2163] ppid=2155 vsize=1761432 CPUtime=702.23 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 147482 0 0 0 70181 42 0 0 25 0 4 0 521446671 1803706368 331022 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=1761432 CPUtime=700.4 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 151867 0 0 0 69997 43 0 0 25 0 4 0 521446671 1803706368 331022 33554432000 4194304 4623224 140736959852688 18446744073709551615 4289658 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=1761432 CPUtime=700.26 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 2544496 0 0 0 69641 385 0 0 25 0 4 0 521446671 1803706368 331022 33554432000 4194304 4623224 140736959852688 18446744073709551615 4363970 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.15
Current children cumulated vsize (KiB) 1761432

[startup+762.307 s]
/proc/loadavg: 8.11 8.05 7.83 9/184 2245
/proc/meminfo: memFree=27921088/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=1889460 CPUtime=3044.85 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 3472052 0 0 0 303913 572 0 0 25 0 4 0 521446665 1934807040 349608 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 472365 349608 345 105 0 467869 0
[pid=2157/tid=2163] ppid=2155 vsize=1889460 CPUtime=762.24 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 150442 0 0 0 76181 43 0 0 25 0 4 0 521446671 1934807040 349609 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=1889460 CPUtime=760.08 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 154819 0 0 0 75962 46 0 0 25 0 4 0 521446671 1934807040 349609 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376687 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=1889460 CPUtime=760.27 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 2855515 0 0 0 75597 430 0 0 25 0 4 0 521446671 1934807040 349609 33554432000 4194304 4623224 140736959852688 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.85
Current children cumulated vsize (KiB) 1889460

[startup+822.301 s]
/proc/loadavg: 8.10 8.05 7.84 9/184 2247
/proc/meminfo: memFree=27849968/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=1893552 CPUtime=3284.5 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 3935548 0 0 0 327805 645 0 0 25 0 4 0 521446665 1938997248 366452 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 473388 366452 346 105 0 468892 0
[pid=2157/tid=2163] ppid=2155 vsize=1893552 CPUtime=822.23 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 152904 0 0 0 82179 44 0 0 25 0 4 0 521446671 1938997248 366452 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=1893552 CPUtime=819.75 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 158067 0 0 0 81928 47 0 0 25 0 4 0 521446671 1938997248 366452 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=1893552 CPUtime=820.27 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 3305084 0 0 0 81527 500 0 0 25 0 4 0 521446671 1938997248 366452 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.5
Current children cumulated vsize (KiB) 1893552

[startup+882.301 s]
/proc/loadavg: 8.15 8.07 7.85 9/184 2249
/proc/meminfo: memFree=27741164/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=1989748 CPUtime=3524.17 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 4400498 0 0 0 351703 714 0 0 25 0 4 0 521446665 2037501952 389868 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 497437 389868 345 105 0 492941 0
[pid=2157/tid=2163] ppid=2155 vsize=1989748 CPUtime=882.24 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 203104 0 0 0 88173 51 0 0 25 0 4 0 521446671 2037501952 389868 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=1989748 CPUtime=879.42 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 161648 0 0 0 87894 48 0 0 25 0 4 0 521446671 2037501952 389868 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=1989748 CPUtime=880.27 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 3704995 0 0 0 87469 558 0 0 25 0 4 0 521446671 2037501952 389868 33554432000 4194304 4623224 140736959852688 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.17
Current children cumulated vsize (KiB) 1989748

[startup+942.301 s]
/proc/loadavg: 8.06 8.06 7.86 9/184 2250
/proc/meminfo: memFree=27616116/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=2112100 CPUtime=3763.85 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 4888344 0 0 0 375597 788 0 0 25 0 4 0 521446665 2162790400 416533 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510226 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 528025 416533 345 105 0 523529 0
[pid=2157/tid=2163] ppid=2155 vsize=2112100 CPUtime=942.24 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 206090 0 0 0 94170 54 0 0 25 0 4 0 521446671 2162790400 416533 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=2112100 CPUtime=939.09 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 164802 0 0 0 93860 49 0 0 25 0 4 0 521446671 2162790400 416533 33554432000 4194304 4623224 140736959852688 18446744073709551615 4466303 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=2112100 CPUtime=940.26 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 4112413 0 0 0 93408 618 0 0 25 0 4 0 521446671 2162790400 416533 33554432000 4194304 4623224 140736959852688 18446744073709551615 4577456 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.85
Current children cumulated vsize (KiB) 2112100

[startup+1002.3 s]
/proc/loadavg: 8.02 8.04 7.87 9/184 2252
/proc/meminfo: memFree=27579252/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=2123816 CPUtime=4003.47 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 5330757 0 0 0 399490 857 0 0 25 0 4 0 521446665 2174787584 426718 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 530954 426718 354 105 0 526458 0
[pid=2157/tid=2163] ppid=2155 vsize=2123816 CPUtime=1002.23 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 207644 0 0 0 100168 55 0 0 25 0 4 0 521446671 2174787584 426718 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=2123816 CPUtime=998.77 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 166470 0 0 0 99827 50 0 0 25 0 4 0 521446671 2174787584 426718 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=2123816 CPUtime=1000.27 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 4547295 0 0 0 99342 685 0 0 25 0 4 0 521446671 2174787584 426718 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.47
Current children cumulated vsize (KiB) 2123816

[startup+1062.3 s]
/proc/loadavg: 8.00 8.03 7.87 9/184 2262
/proc/meminfo: memFree=27547220/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=2123816 CPUtime=4243.14 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 5688407 0 0 0 423399 915 0 0 25 0 4 0 521446665 2174787584 435218 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 530954 435219 348 105 0 526458 0
[pid=2157/tid=2163] ppid=2155 vsize=2123816 CPUtime=1062.24 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 207943 0 0 0 106168 56 0 0 25 0 4 0 521446671 2174787584 435219 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=2123816 CPUtime=1058.44 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 168065 0 0 0 105794 50 0 0 25 0 4 0 521446671 2174787584 435219 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=2123816 CPUtime=1060.27 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 4895169 0 0 0 105286 741 0 0 25 0 4 0 521446671 2174787584 435219 33554432000 4194304 4623224 140736959852688 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.14
Current children cumulated vsize (KiB) 2123816

[startup+1122.3 s]
/proc/loadavg: 8.00 8.03 7.88 9/184 2264
/proc/meminfo: memFree=27460488/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=2275488 CPUtime=4482.8 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 6133548 0 0 0 447297 983 0 0 25 0 4 0 521446665 2330099712 453913 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 568872 453913 345 105 0 564376 0
[pid=2157/tid=2163] ppid=2155 vsize=2275488 CPUtime=1122.23 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 208825 0 0 0 112167 56 0 0 25 0 4 0 521446671 2330099712 453913 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=2275488 CPUtime=1118.11 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 214461 0 0 0 111756 55 0 0 25 0 4 0 521446671 2330099712 453913 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376946 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=2275488 CPUtime=1120.27 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 5280824 0 0 0 111227 800 0 0 25 0 4 0 521446671 2330099712 453913 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376858 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.8
Current children cumulated vsize (KiB) 2275488

[startup+1182.3 s]
/proc/loadavg: 8.00 8.02 7.88 9/184 2266
/proc/meminfo: memFree=27421012/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=2275812 CPUtime=4722.48 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 6320282 0 0 0 471236 1012 0 0 25 0 4 0 521446665 2330431488 461434 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510172 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 568953 461434 345 105 0 564457 0
[pid=2157/tid=2163] ppid=2155 vsize=2275812 CPUtime=1182.23 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 209146 0 0 0 118167 56 0 0 25 0 4 0 521446671 2330431488 461434 33554432000 4194304 4623224 140736959852688 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=2275812 CPUtime=1177.79 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 216057 0 0 0 117724 55 0 0 25 0 4 0 521446671 2330431488 461434 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=2275812 CPUtime=1180.26 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 5459021 0 0 0 117200 826 0 0 25 0 4 0 521446671 2330431488 461434 33554432000 4194304 4623224 140736959852688 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.48
Current children cumulated vsize (KiB) 2275812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.00 8.02 7.89 9/184 2266
/proc/meminfo: memFree=27405984/32950928 swapFree=67111404/67111528
[pid=2157] ppid=2155 vsize=2279588 CPUtime=4800.38 cores=0,2,4,6
/proc/2157/stat : 2157 (SArTagnan) R 2155 2157 2120 0 -1 4202496 6332027 0 0 0 479024 1014 0 0 25 0 4 0 521446665 2334298112 467761 33554432000 4194304 4623224 140736959852688 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2157/statm: 569897 467761 345 105 0 565401 0
[pid=2157/tid=2163] ppid=2155 vsize=2279588 CPUtime=1201.74 cores=0,2,4,6
/proc/2157/task/2163/stat : 2163 (SArTagnan) R 2155 2157 2120 0 -1 4202560 209506 0 0 0 120118 56 0 0 25 0 4 0 521446671 2334298112 467761 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2157/tid=2164] ppid=2155 vsize=2279588 CPUtime=1197.19 cores=0,2,4,6
/proc/2157/task/2164/stat : 2164 (SArTagnan) R 2155 2157 2120 0 -1 4202560 216306 0 0 0 119663 56 0 0 25 0 4 0 521446671 2334298112 467761 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2157/tid=2165] ppid=2155 vsize=2279588 CPUtime=1199.77 cores=0,2,4,6
/proc/2157/task/2165/stat : 2165 (SArTagnan) R 2155 2157 2120 0 -1 4202560 5464979 0 0 0 119150 827 0 0 25 0 4 0 521446671 2334298112 467761 33554432000 4194304 4623224 140736959852688 18446744073709551615 4376837 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 2279588

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): 1201.9
CPU time (s): 4800.5
CPU user time (s): 4790.27
CPU system time (s): 10.2264
CPU usage (%): 399.409
Max. virtual memory (cumulated for all children) (KiB): 2505616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.27
system time used= 10.2264
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6332027
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= 2120
involuntary context switches= 34475

runsolver used 1.9477 second user time and 4.6003 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 19:34:39
IDJOB=3290877
IDBENCH=83451
IDSOLVER=1656
FILE ID=node120/3290877-1304098479
RUNJOBID= node120-1304098479-2138
PBS_JOBID= 13170619
Free space on /tmp= 72072 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-17.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290877-1304098479/watcher-3290877-1304098479 -o /tmp/evaluation-result-3290877-1304098479/solver-3290877-1304098479 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3290877-1304098479.cnf -threads=4

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

MD5SUM BENCH= ade81e5508101352b3d942708b201606
RANDOM SEED=486658392

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.78
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.809
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.809
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.82
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.809
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:      31439324 kB
Buffers:        479320 kB
Cached:         607384 kB
SwapCached:          8 kB
Active:         406108 kB
Inactive:       745488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31439324 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:            3984 kB
Writeback:           0 kB
AnonPages:       64368 kB
Mapped:          14244 kB
Slab:           295908 kB
PageTables:       4864 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   197288 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= 71972 MiB
End job on node120 at 2011-04-29 19:54:43