Trace number 3309927

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
Plingeling 587UNSAT 34683.4 4346.59

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E00X23.cnf
MD5SUM9cec6483d4ca03e8555377ba059b61ae
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2417.94
Satisfiable
(Un)Satisfiability was proved
Number of variables15364
Number of clauses2133873
Sum of the clauses size18060684
Maximum clause length91
Minimum clause length1
Number of clauses of size 116
Number of clauses of size 240913
Number of clauses of size 337518
Number of clauses of size 422333
Number of clauses of size 5147683
Number of clauses of size over 51885410

Solver Data 

34683.29/4346.58	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3309927-1304015083/watcher-3309927-1304015083 -o /tmp/evaluation-result-3309927-1304015083/solver-3309927-1304015083 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3309927-1304015083.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.50 7.90 7.97 1/170 9186
/proc/meminfo: memFree=26276888/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=9944 CPUtime=0 cores=0-7
/proc/9186/stat : 9186 (plingeling) R 9184 9186 8816 0 -1 4202496 572 1256 0 0 0 0 0 0 23 0 1 0 513108213 10182656 500 33554432000 4194304 4417332 140734323168688 18446744073709551615 208080232192 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9186/statm: 2486 500 147 55 0 372 0

[startup+0.105389 s]
/proc/loadavg: 7.50 7.90 7.97 1/170 9186
/proc/meminfo: memFree=26276888/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=27016 CPUtime=0.09 cores=0-7
/proc/9186/stat : 9186 (plingeling) R 9184 9186 8816 0 -1 4202496 4961 1256 0 0 9 0 0 0 24 0 1 0 513108213 27664384 4777 33554432000 4194304 4417332 140734323168688 18446744073709551615 4231657 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9186/statm: 6754 4777 148 55 0 4640 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27016

[startup+0.20037 s]
/proc/loadavg: 7.50 7.90 7.97 1/170 9186
/proc/meminfo: memFree=26276888/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=35208 CPUtime=0.19 cores=0-7
/proc/9186/stat : 9186 (plingeling) R 9184 9186 8816 0 -1 4202496 7009 1256 0 0 18 1 0 0 24 0 1 0 513108213 36052992 6825 33554432000 4194304 4417332 140734323168688 18446744073709551615 4320914 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9186/statm: 8802 6825 148 55 0 6688 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35208

[startup+0.300351 s]
/proc/loadavg: 7.50 7.90 7.97 1/170 9186
/proc/meminfo: memFree=26276888/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=51592 CPUtime=0.29 cores=0-7
/proc/9186/stat : 9186 (plingeling) R 9184 9186 8816 0 -1 4202496 11105 1256 0 0 28 1 0 0 24 0 1 0 513108213 52830208 10921 33554432000 4194304 4417332 140734323168688 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9186/statm: 12898 10921 148 55 0 10784 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51592

[startup+0.700275 s]
/proc/loadavg: 7.50 7.90 7.97 1/170 9186
/proc/meminfo: memFree=26276888/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=92552 CPUtime=0.68 cores=0-7
/proc/9186/stat : 9186 (plingeling) R 9184 9186 8816 0 -1 4202496 21345 1256 0 0 66 2 0 0 25 0 1 0 513108213 94773248 21161 33554432000 4194304 4417332 140734323168688 18446744073709551615 4231277 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9186/statm: 23138 21161 148 55 0 21024 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 92552

[startup+1.50012 s]
/proc/loadavg: 7.50 7.90 7.97 2/171 9192
/proc/meminfo: memFree=26102420/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=215360 CPUtime=1.48 cores=0-7
/proc/9186/stat : 9186 (plingeling) R 9184 9186 8816 0 -1 4202496 52055 1256 0 0 142 6 0 0 25 0 1 0 513108213 220528640 51863 33554432000 4194304 4417332 140734323168688 18446744073709551615 208079851097 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9186/statm: 53840 51863 148 55 0 51726 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 215360

[startup+3.10082 s]
/proc/loadavg: 7.50 7.90 7.97 2/171 9192
/proc/meminfo: memFree=25869928/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=543040 CPUtime=3.09 cores=0-7
/proc/9186/stat : 9186 (plingeling) R 9184 9186 8816 0 -1 4202496 133975 1256 0 0 293 16 0 0 25 0 1 0 513108213 556072960 133783 33554432000 4194304 4417332 140734323168688 18446744073709551615 4323180 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9186/statm: 135760 133783 148 55 0 133646 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 543040

[startup+6.30021 s]
/proc/loadavg: 6.97 7.79 7.93 2/171 9193
/proc/meminfo: memFree=25217928/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=1067328 CPUtime=6.29 cores=0-7
/proc/9186/stat : 9186 (plingeling) R 9184 9186 8816 0 -1 4202496 265047 1256 0 0 598 31 0 0 25 0 1 0 513108213 1092943872 264855 33554432000 4194304 4417332 140734323168688 18446744073709551615 4231387 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/9186/statm: 266832 264855 148 55 0 264718 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1067328

[startup+12.701 s]
/proc/loadavg: 7.14 7.81 7.93 9/179 9201
/proc/meminfo: memFree=24912608/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=1582180 CPUtime=37.55 cores=0-7
/proc/9186/stat : 9186 (plingeling) S 9184 9186 8816 0 -1 4202496 467313 1256 0 0 3686 69 0 0 25 0 9 0 513108213 1620152320 356710 33554432000 4194304 4417332 140734323168688 18446744073709551615 208092035045 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/9186/statm: 395545 356710 177 55 0 393431 0
[pid=9186/tid=9194] ppid=9184 vsize=1582180 CPUtime=3.57 cores=0-7
/proc/9186/task/9194/stat : 9194 (plingeling) R 9184 9186 8816 0 -1 4202560 240 1256 0 0 357 0 0 0 25 0 9 0 513109125 1620152320 356710 33554432000 4194304 4417332 140734323168688 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9186/tid=9195] ppid=9184 vsize=1582180 CPUtime=3.56 cores=0-7
/proc/9186/task/9195/stat : 9195 (plingeling) R 9184 9186 8816 0 -1 4202560 16732 1256 0 0 351 5 0 0 25 0 9 0 513109125 1620152320 356710 33554432000 4194304 4417332 140734323168688 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9186/tid=9196] ppid=9184 vsize=1582180 CPUtime=3.54 cores=0-7
/proc/9186/task/9196/stat : 9196 (plingeling) R 9184 9186 8816 0 -1 4202560 17166 1256 0 0 352 2 0 0 25 0 9 0 513109125 1620152320 356710 33554432000 4194304 4417332 140734323168688 18446744073709551615 4234399 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9186/tid=9197] ppid=9184 vsize=1582180 CPUtime=3.53 cores=0-7
/proc/9186/task/9197/stat : 9197 (plingeling) R 9184 9186 8816 0 -1 4202560 18646 1256 0 0 348 5 0 0 25 0 9 0 513109125 1620152320 356710 33554432000 4194304 4417332 140734323168688 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9186/tid=9198] ppid=9184 vsize=1582180 CPUtime=3.56 cores=0-7
/proc/9186/task/9198/stat : 9198 (plingeling) R 9184 9186 8816 0 -1 4202560 440 1256 0 0 356 0 0 0 25 0 9 0 513109127 1620152320 356710 33554432000 4194304 4417332 140734323168688 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9186/tid=9199] ppid=9184 vsize=1582180 CPUtime=3.52 cores=0-7
/proc/9186/task/9199/stat : 9199 (plingeling) R 9184 9186 8816 0 -1 4202560 379 1256 0 0 352 0 0 0 25 0 9 0 513109127 1620152320 356710 33554432000 4194304 4417332 140734323168688 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9186/tid=9200] ppid=9184 vsize=1582180 CPUtime=3.56 cores=0-7
/proc/9186/task/9200/stat : 9200 (plingeling) R 9184 9186 8816 0 -1 4202560 17196 1256 0 0 351 5 0 0 25 0 9 0 513109127 1620152320 356710 33554432000 4194304 4417332 140734323168688 18446744073709551615 4234397 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9186/tid=9201] ppid=9184 vsize=1582180 CPUtime=3.52 cores=0-7
/proc/9186/task/9201/stat : 9201 (plingeling) R 9184 9186 8816 0 -1 4202560 378 1256 0 0 352 0 0 0 25 0 9 0 513109127 1620152320 356710 33554432000 4194304 4417332 140734323168688 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 37.55
Current children cumulated vsize (KiB) 1582180

[startup+25.5006 s]
/proc/loadavg: 7.33 7.82 7.93 9/179 9201
/proc/meminfo: memFree=24568080/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=1863700 CPUtime=139.41 cores=0-7
/proc/9186/stat : 9186 (plingeling) S 9184 9186 8816 0 -1 4202496 782819 1256 0 0 13788 153 0 0 25 0 9 0 513108213 1908428800 427093 33554432000 4194304 4417332 140734323168688 18446744073709551615 208092035045 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/9186/statm: 465925 427093 180 55 0 463811 0
[pid=9186/tid=9194] ppid=9184 vsize=1863700 CPUtime=16.27 cores=0-7
/proc/9186/task/9194/stat : 9194 (plingeling) R 9184 9186 8816 0 -1 4202560 52112 1256 0 0 1613 14 0 0 25 0 9 0 513109125 1908428800 427093 33554432000 4194304 4417332 140734323168688 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9186/tid=9195] ppid=9184 vsize=1863700 CPUtime=16.32 cores=0-7
/proc/9186/task/9195/stat : 9195 (plingeling) R 9184 9186 8816 0 -1 4202560 52440 1256 0 0 1621 11 0 0 25 0 9 0 513109125 1908428800 427093 33554432000 4194304 4417332 140734323168688 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9186/tid=9196] ppid=9184 vsize=1863700 CPUtime=16.29 cores=0-7
/proc/9186/task/9196/stat : 9196 (plingeling) R 9184 9186 8816 0 -1 4202560 50191 1256 0 0 1620 9 0 0 25 0 9 0 513109125 1908428800 427093 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364734 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9186/tid=9197] ppid=9184 vsize=1863700 CPUtime=16.13 cores=0-7
/proc/9186/task/9197/stat : 9197 (plingeling) R 9184 9186 8816 0 -1 4202560 24216 1256 0 0 1607 6 0 0 25 0 9 0 513109125 1908428800 427093 33554432000 4194304 4417332 140734323168688 18446744073709551615 4251060 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9186/tid=9198] ppid=9184 vsize=1863700 CPUtime=16.34 cores=0-7
/proc/9186/task/9198/stat : 9198 (plingeling) R 9184 9186 8816 0 -1 4202560 52704 1256 0 0 1616 18 0 0 25 0 9 0 513109127 1908428800 427093 33554432000 4194304 4417332 140734323168688 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9186/tid=9199] ppid=9184 vsize=1863700 CPUtime=16.26 cores=0-7
/proc/9186/task/9199/stat : 9199 (plingeling) R 9184 9186 8816 0 -1 4202560 52528 1256 0 0 1617 9 0 0 25 0 9 0 513109127 1908428800 427093 33554432000 4194304 4417332 140734323168688 18446744073709551615 4260714 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9186/tid=9200] ppid=9184 vsize=1863700 CPUtime=16.35 cores=0-7
/proc/9186/task/9200/stat : 9200 (plingeling) R 9184 9186 8816 0 -1 4202560 50262 1256 0 0 1616 19 0 0 25 0 9 0 513109127 1908428800 427093 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9186/tid=9201] ppid=9184 vsize=1863700 CPUtime=16.26 cores=0-7
/proc/9186/task/9201/stat : 9201 (plingeling) R 9184 9186 8816 0 -1 4202560 52230 1256 0 0 1612 14 0 0 25 0 9 0 513109127 1908428800 427093 33554432000 4194304 4417332 140734323168688 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 139.41
Current children cumulated vsize (KiB) 1863700

[startup+51.1007 s]
/proc/loadavg: 7.56 7.83 7.93 9/179 9202
/proc/meminfo: memFree=24148568/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=2284512 CPUtime=344.05 cores=0-7
/proc/9186/stat : 9186 (plingeling) S 9184 9186 8816 0 -1 4202496 1034099 1256 0 0 34225 180 0 0 25 0 9 0 513108213 2339340288 532296 33554432000 4194304 4417332 140734323168688 18446744073709551615 208092035045 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/9186/statm: 571128 532296 180 55 0 569014 0
[pid=9186/tid=9194] ppid=9184 vsize=2284512 CPUtime=41.88 cores=0-7
/proc/9186/task/9194/stat : 9194 (plingeling) R 9184 9186 8816 0 -1 4202560 84880 1256 0 0 4170 18 0 0 25 0 9 0 513109125 2339340288 532296 33554432000 4194304 4417332 140734323168688 18446744073709551615 4239395 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9186/tid=9195] ppid=9184 vsize=2284512 CPUtime=41.78 cores=0-7
/proc/9186/task/9195/stat : 9195 (plingeling) R 9184 9186 8816 0 -1 4202560 88131 1256 0 0 4162 16 0 0 25 0 9 0 513109125 2339340288 532296 33554432000 4194304 4417332 140734323168688 18446744073709551615 4250548 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9186/tid=9196] ppid=9184 vsize=2284512 CPUtime=41.88 cores=0-7
/proc/9186/task/9196/stat : 9196 (plingeling) R 9184 9186 8816 0 -1 4202560 85622 1256 0 0 4176 12 0 0 25 0 9 0 513109125 2339340288 532296 33554432000 4194304 4417332 140734323168688 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9186/tid=9197] ppid=9184 vsize=2284512 CPUtime=41.71 cores=0-7
/proc/9186/task/9197/stat : 9197 (plingeling) R 9184 9186 8816 0 -1 4202560 38075 1256 0 0 4163 8 0 0 25 0 9 0 513109125 2339340288 532296 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364776 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9186/tid=9198] ppid=9184 vsize=2284512 CPUtime=41.93 cores=0-7
/proc/9186/task/9198/stat : 9198 (plingeling) R 9184 9186 8816 0 -1 4202560 86086 1256 0 0 4172 21 0 0 25 0 9 0 513109127 2339340288 532296 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9186/tid=9199] ppid=9184 vsize=2284512 CPUtime=41.85 cores=0-7
/proc/9186/task/9199/stat : 9199 (plingeling) R 9184 9186 8816 0 -1 4202560 86885 1256 0 0 4172 13 0 0 25 0 9 0 513109127 2339340288 532296 33554432000 4194304 4417332 140734323168688 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9186/tid=9200] ppid=9184 vsize=2284512 CPUtime=41.95 cores=0-7
/proc/9186/task/9200/stat : 9200 (plingeling) R 9184 9186 8816 0 -1 4202560 83286 1256 0 0 4172 23 0 0 25 0 9 0 513109127 2339340288 532296 33554432000 4194304 4417332 140734323168688 18446744073709551615 4239395 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9186/tid=9201] ppid=9184 vsize=2284512 CPUtime=41.86 cores=0-7
/proc/9186/task/9201/stat : 9201 (plingeling) R 9184 9186 8816 0 -1 4202560 84998 1256 0 0 4169 17 0 0 25 0 9 0 513109127 2339340288 532296 33554432000 4194304 4417332 140734323168688 18446744073709551615 4239401 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 344.05
Current children cumulated vsize (KiB) 2284512

[startup+102.301 s]
/proc/loadavg: 7.81 7.86 7.93 9/179 9203
/proc/meminfo: memFree=24504740/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=1928136 CPUtime=753.42 cores=0-7
/proc/9186/stat : 9186 (plingeling) S 9184 9186 8816 0 -1 4202496 1087462 1256 0 0 75153 189 0 0 25 0 9 0 513108213 1974411264 443202 33554432000 4194304 4417332 140734323168688 18446744073709551615 208092035045 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/9186/statm: 482034 443202 180 55 0 479920 0
[pid=9186/tid=9194] ppid=9184 vsize=1928136 CPUtime=93.08 cores=0-7
/proc/9186/task/9194/stat : 9194 (plingeling) R 9184 9186 8816 0 -1 4202560 84991 1256 0 0 9290 18 0 0 25 0 9 0 513109125 1974411264 443202 33554432000 4194304 4417332 140734323168688 18446744073709551615 4247473 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9186/tid=9195] ppid=9184 vsize=1928136 CPUtime=92.7 cores=0-7
/proc/9186/task/9195/stat : 9195 (plingeling) R 9184 9186 8816 0 -1 4202560 89316 1256 0 0 9254 16 0 0 25 0 9 0 513109125 1974411264 443202 33554432000 4194304 4417332 140734323168688 18446744073709551615 4275950 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9186/tid=9196] ppid=9184 vsize=1928136 CPUtime=93.08 cores=0-7
/proc/9186/task/9196/stat : 9196 (plingeling) R 9184 9186 8816 0 -1 4202560 121331 1256 0 0 9292 16 0 0 25 0 9 0 513109125 1974411264 443202 33554432000 4194304 4417332 140734323168688 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9186/tid=9197] ppid=9184 vsize=1928136 CPUtime=92.92 cores=0-7
/proc/9186/task/9197/stat : 9197 (plingeling) R 9184 9186 8816 0 -1 4202560 48796 1256 0 0 9283 9 0 0 25 0 9 0 513109125 1974411264 443202 33554432000 4194304 4417332 140734323168688 18446744073709551615 4365094 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9186/tid=9198] ppid=9184 vsize=1928136 CPUtime=93.15 cores=0-7
/proc/9186/task/9198/stat : 9198 (plingeling) R 9184 9186 8816 0 -1 4202560 86434 1256 0 0 9293 22 0 0 25 0 9 0 513109127 1974411264 443202 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364722 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9186/tid=9199] ppid=9184 vsize=1928136 CPUtime=93.07 cores=0-7
/proc/9186/task/9199/stat : 9199 (plingeling) R 9184 9186 8816 0 -1 4202560 88190 1256 0 0 9293 14 0 0 25 0 9 0 513109127 1974411264 443202 33554432000 4194304 4417332 140734323168688 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9186/tid=9200] ppid=9184 vsize=1928136 CPUtime=93.16 cores=0-7
/proc/9186/task/9200/stat : 9200 (plingeling) R 9184 9186 8816 0 -1 4202560 85191 1256 0 0 9292 24 0 0 25 0 9 0 513109127 1974411264 443202 33554432000 4194304 4417332 140734323168688 18446744073709551615 4239395 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9186/tid=9201] ppid=9184 vsize=1928136 CPUtime=93.07 cores=0-7
/proc/9186/task/9201/stat : 9201 (plingeling) R 9184 9186 8816 0 -1 4202560 87077 1256 0 0 9289 18 0 0 25 0 9 0 513109127 1974411264 443202 33554432000 4194304 4417332 140734323168688 18446744073709551615 4234384 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 753.42
Current children cumulated vsize (KiB) 1928136

[startup+162.301 s]
/proc/loadavg: 7.93 7.88 7.93 9/179 9205
/proc/meminfo: memFree=24495944/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=1936640 CPUtime=1233.06 cores=0-7
/proc/9186/stat : 9186 (plingeling) S 9184 9186 8816 0 -1 4202496 1099207 1256 0 0 123116 190 0 0 25 0 9 0 513108213 1983119360 445328 33554432000 4194304 4417332 140734323168688 18446744073709551615 208092035045 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/9186/statm: 484160 445328 180 55 0 482046 0
[pid=9186/tid=9194] ppid=9184 vsize=1936640 CPUtime=153.08 cores=0-7
/proc/9186/task/9194/stat : 9194 (plingeling) R 9184 9186 8816 0 -1 4202560 86736 1256 0 0 15290 18 0 0 25 0 9 0 513109125 1983119360 445328 33554432000 4194304 4417332 140734323168688 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9186/tid=9195] ppid=9184 vsize=1936640 CPUtime=152.38 cores=0-7

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

/proc/9186/task/9199/stat : 9199 (plingeling) R 9184 9186 8816 0 -1 4202560 659751 1256 0 0 431611 121 0 0 25 0 9 0 513109127 1941368832 435208 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364683 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9186/tid=9200] ppid=9184 vsize=1895868 CPUtime=4317.41 cores=0-7
/proc/9186/task/9200/stat : 9200 (plingeling) R 9184 9186 8816 0 -1 4202560 801779 1256 0 0 431588 153 0 0 25 0 9 0 513109127 1941368832 435208 33554432000 4194304 4417332 140734323168688 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9186/tid=9201] ppid=9184 vsize=1895868 CPUtime=4317.33 cores=0-7
/proc/9186/task/9201/stat : 9201 (plingeling) R 9184 9186 8816 0 -1 4202560 603636 1256 0 0 431635 98 0 0 25 0 9 0 513109127 1941368832 435208 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 34523.1
Current children cumulated vsize (KiB) 1895868

[startup+4339.2 s]
/proc/loadavg: 8.06 8.06 8.00 9/179 9328
/proc/meminfo: memFree=24536308/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=1897004 CPUtime=34625.3 cores=0-7
/proc/9186/stat : 9186 (plingeling) S 9184 9186 8816 0 -1 4202496 6441699 1256 0 0 3461395 1138 0 0 25 0 9 0 513108213 1942532096 435492 33554432000 4194304 4417332 140734323168688 18446744073709551615 208092035045 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/9186/statm: 474251 435492 180 55 0 472137 0
[pid=9186/tid=9194] ppid=9184 vsize=1897004 CPUtime=4330.13 cores=0-7
/proc/9186/task/9194/stat : 9194 (plingeling) R 9184 9186 8816 0 -1 4202560 838111 1256 0 0 432864 149 0 0 25 0 9 0 513109125 1942532096 435492 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9186/tid=9195] ppid=9184 vsize=1897004 CPUtime=4306.65 cores=0-7
/proc/9186/task/9195/stat : 9195 (plingeling) R 9184 9186 8816 0 -1 4202560 427379 1256 0 0 430594 71 0 0 25 0 9 0 513109125 1942532096 435492 33554432000 4194304 4417332 140734323168688 18446744073709551615 4353886 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9186/tid=9196] ppid=9184 vsize=1897004 CPUtime=4329.04 cores=0-7
/proc/9186/task/9196/stat : 9196 (plingeling) R 9184 9186 8816 0 -1 4202560 1010325 1256 0 0 432726 178 0 0 25 0 9 0 513109125 1942532096 435492 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9186/tid=9197] ppid=9184 vsize=1897004 CPUtime=4329.83 cores=0-7
/proc/9186/task/9197/stat : 9197 (plingeling) R 9184 9186 8816 0 -1 4202560 828380 1256 0 0 432830 153 0 0 25 0 9 0 513109125 1942532096 435492 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9186/tid=9198] ppid=9184 vsize=1897004 CPUtime=4330.04 cores=0-7
/proc/9186/task/9198/stat : 9198 (plingeling) R 9184 9186 8816 0 -1 4202560 868418 1256 0 0 432842 162 0 0 25 0 9 0 513109127 1942532096 435492 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9186/tid=9199] ppid=9184 vsize=1897004 CPUtime=4330.12 cores=0-7
/proc/9186/task/9199/stat : 9199 (plingeling) R 9184 9186 8816 0 -1 4202560 664843 1256 0 0 432890 122 0 0 25 0 9 0 513109127 1942532096 435492 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9186/tid=9200] ppid=9184 vsize=1897004 CPUtime=4330.2 cores=0-7
/proc/9186/task/9200/stat : 9200 (plingeling) R 9184 9186 8816 0 -1 4202560 804471 1256 0 0 432867 153 0 0 25 0 9 0 513109127 1942532096 435492 33554432000 4194304 4417332 140734323168688 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9186/tid=9201] ppid=9184 vsize=1897004 CPUtime=4330.13 cores=0-7
/proc/9186/task/9201/stat : 9201 (plingeling) R 9184 9186 8816 0 -1 4202560 603636 1256 0 0 432915 98 0 0 25 0 9 0 513109127 1942532096 435492 33554432000 4194304 4417332 140734323168688 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 34625.3
Current children cumulated vsize (KiB) 1897004

[startup+4342.4 s]
/proc/loadavg: 8.06 8.06 8.00 9/179 9328
/proc/meminfo: memFree=24536300/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=1885312 CPUtime=34650.9 cores=0-7
/proc/9186/stat : 9186 (plingeling) S 9184 9186 8816 0 -1 4202496 6445330 1256 0 0 3463953 1139 0 0 25 0 9 0 513108213 1930559488 432569 33554432000 4194304 4417332 140734323168688 18446744073709551615 208092035045 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/9186/statm: 471328 432569 180 55 0 469214 0
[pid=9186/tid=9194] ppid=9184 vsize=1885312 CPUtime=4333.33 cores=0-7
/proc/9186/task/9194/stat : 9194 (plingeling) R 9184 9186 8816 0 -1 4202560 838111 1256 0 0 433184 149 0 0 25 0 9 0 513109125 1930559488 432569 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364942 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9186/tid=9195] ppid=9184 vsize=1885312 CPUtime=4309.83 cores=0-7
/proc/9186/task/9195/stat : 9195 (plingeling) R 9184 9186 8816 0 -1 4202560 427379 1256 0 0 430912 71 0 0 25 0 9 0 513109125 1930559488 432569 33554432000 4194304 4417332 140734323168688 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9186/tid=9196] ppid=9184 vsize=1885312 CPUtime=4332.24 cores=0-7
/proc/9186/task/9196/stat : 9196 (plingeling) R 9184 9186 8816 0 -1 4202560 1010325 1256 0 0 433046 178 0 0 25 0 9 0 513109125 1930559488 432569 33554432000 4194304 4417332 140734323168688 18446744073709551615 4365975 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9186/tid=9197] ppid=9184 vsize=1885312 CPUtime=4333.03 cores=0-7
/proc/9186/task/9197/stat : 9197 (plingeling) R 9184 9186 8816 0 -1 4202560 828380 1256 0 0 433150 153 0 0 25 0 9 0 513109125 1930559488 432569 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9186/tid=9198] ppid=9184 vsize=1885312 CPUtime=4333.24 cores=0-7
/proc/9186/task/9198/stat : 9198 (plingeling) R 9184 9186 8816 0 -1 4202560 868418 1256 0 0 433162 162 0 0 25 0 9 0 513109127 1930559488 432569 33554432000 4194304 4417332 140734323168688 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9186/tid=9199] ppid=9184 vsize=1885312 CPUtime=4333.32 cores=0-7
/proc/9186/task/9199/stat : 9199 (plingeling) R 9184 9186 8816 0 -1 4202560 668474 1256 0 0 433210 122 0 0 25 0 9 0 513109127 1930559488 432569 33554432000 4194304 4417332 140734323168688 18446744073709551615 4366029 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9186/tid=9200] ppid=9184 vsize=1885312 CPUtime=4333.4 cores=0-7
/proc/9186/task/9200/stat : 9200 (plingeling) R 9184 9186 8816 0 -1 4202560 804471 1256 0 0 433187 153 0 0 25 0 9 0 513109127 1930559488 432569 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364713 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9186/tid=9201] ppid=9184 vsize=1885312 CPUtime=4333.33 cores=0-7
/proc/9186/task/9201/stat : 9201 (plingeling) R 9184 9186 8816 0 -1 4202560 603636 1256 0 0 433235 98 0 0 25 0 9 0 513109127 1930559488 432569 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 34650.9
Current children cumulated vsize (KiB) 1885312

[startup+4344.01 s]
/proc/loadavg: 8.05 8.06 8.00 9/179 9328
/proc/meminfo: memFree=24545228/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=1888096 CPUtime=34663.8 cores=0-7
/proc/9186/stat : 9186 (plingeling) S 9184 9186 8816 0 -1 4202496 6446026 1256 0 0 3465236 1139 0 0 25 0 9 0 513108213 1933410304 433265 33554432000 4194304 4417332 140734323168688 18446744073709551615 208092035045 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/9186/statm: 472024 433265 180 55 0 469910 0
[pid=9186/tid=9194] ppid=9184 vsize=1888096 CPUtime=4334.94 cores=0-7
/proc/9186/task/9194/stat : 9194 (plingeling) R 9184 9186 8816 0 -1 4202560 838111 1256 0 0 433345 149 0 0 25 0 9 0 513109125 1933410304 433265 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9186/tid=9195] ppid=9184 vsize=1888096 CPUtime=4311.43 cores=0-7
/proc/9186/task/9195/stat : 9195 (plingeling) R 9184 9186 8816 0 -1 4202560 427379 1256 0 0 431072 71 0 0 25 0 9 0 513109125 1933410304 433265 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364482 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9186/tid=9196] ppid=9184 vsize=1888096 CPUtime=4333.85 cores=0-7
/proc/9186/task/9196/stat : 9196 (plingeling) R 9184 9186 8816 0 -1 4202560 1010325 1256 0 0 433207 178 0 0 25 0 9 0 513109125 1933410304 433265 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9186/tid=9197] ppid=9184 vsize=1888096 CPUtime=4334.63 cores=0-7
/proc/9186/task/9197/stat : 9197 (plingeling) R 9184 9186 8816 0 -1 4202560 828380 1256 0 0 433310 153 0 0 25 0 9 0 513109125 1933410304 433265 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9186/tid=9198] ppid=9184 vsize=1888096 CPUtime=4334.85 cores=0-7
/proc/9186/task/9198/stat : 9198 (plingeling) R 9184 9186 8816 0 -1 4202560 868418 1256 0 0 433323 162 0 0 25 0 9 0 513109127 1933410304 433265 33554432000 4194304 4417332 140734323168688 18446744073709551615 4365003 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9186/tid=9199] ppid=9184 vsize=1888096 CPUtime=4334.92 cores=0-7
/proc/9186/task/9199/stat : 9199 (plingeling) R 9184 9186 8816 0 -1 4202560 668474 1256 0 0 433370 122 0 0 25 0 9 0 513109127 1933410304 433265 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9186/tid=9200] ppid=9184 vsize=1888096 CPUtime=4335 cores=0-7
/proc/9186/task/9200/stat : 9200 (plingeling) R 9184 9186 8816 0 -1 4202560 805167 1256 0 0 433347 153 0 0 25 0 9 0 513109127 1933410304 433265 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9186/tid=9201] ppid=9184 vsize=1888096 CPUtime=4334.94 cores=0-7
/proc/9186/task/9201/stat : 9201 (plingeling) R 9184 9186 8816 0 -1 4202560 603636 1256 0 0 433396 98 0 0 25 0 9 0 513109127 1933410304 433265 33554432000 4194304 4417332 140734323168688 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 34663.8
Current children cumulated vsize (KiB) 1888096

[startup+4345.6 s]
/proc/loadavg: 8.05 8.06 8.00 9/179 9328
/proc/meminfo: memFree=24601772/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=1839088 CPUtime=34676.5 cores=0-7
/proc/9186/stat : 9186 (plingeling) S 9184 9186 8816 0 -1 4202496 6448139 1256 0 0 3466511 1139 0 0 25 0 9 0 513108213 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 208092035045 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/9186/statm: 459772 421013 180 55 0 457658 0
[pid=9186/tid=9194] ppid=9184 vsize=1839088 CPUtime=4336.53 cores=0-7
/proc/9186/task/9194/stat : 9194 (plingeling) R 9184 9186 8816 0 -1 4202560 838111 1256 0 0 433504 149 0 0 25 0 9 0 513109125 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9186/tid=9195] ppid=9184 vsize=1839088 CPUtime=4313.02 cores=0-7
/proc/9186/task/9195/stat : 9195 (plingeling) R 9184 9186 8816 0 -1 4202560 427379 1256 0 0 431231 71 0 0 25 0 9 0 513109125 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9186/tid=9196] ppid=9184 vsize=1839088 CPUtime=4335.44 cores=0-7
/proc/9186/task/9196/stat : 9196 (plingeling) R 9184 9186 8816 0 -1 4202560 1010325 1256 0 0 433366 178 0 0 25 0 9 0 513109125 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9186/tid=9197] ppid=9184 vsize=1839088 CPUtime=4336.24 cores=0-7
/proc/9186/task/9197/stat : 9197 (plingeling) R 9184 9186 8816 0 -1 4202560 828628 1256 0 0 433470 154 0 0 25 0 9 0 513109125 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364526 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9186/tid=9198] ppid=9184 vsize=1839088 CPUtime=4336.44 cores=0-7
/proc/9186/task/9198/stat : 9198 (plingeling) R 9184 9186 8816 0 -1 4202560 868418 1256 0 0 433482 162 0 0 25 0 9 0 513109127 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9186/tid=9199] ppid=9184 vsize=1839088 CPUtime=4336.52 cores=0-7
/proc/9186/task/9199/stat : 9199 (plingeling) R 9184 9186 8816 0 -1 4202560 668474 1256 0 0 433530 122 0 0 25 0 9 0 513109127 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364753 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9186/tid=9200] ppid=9184 vsize=1839088 CPUtime=4336.6 cores=0-7
/proc/9186/task/9200/stat : 9200 (plingeling) R 9184 9186 8816 0 -1 4202560 807032 1256 0 0 433506 154 0 0 25 0 9 0 513109127 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4357986 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9186/tid=9201] ppid=9184 vsize=1839088 CPUtime=4336.53 cores=0-7
/proc/9186/task/9201/stat : 9201 (plingeling) R 9184 9186 8816 0 -1 4202560 603636 1256 0 0 433555 98 0 0 25 0 9 0 513109127 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4250795 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 34676.5
Current children cumulated vsize (KiB) 1839088

[startup+4346 s]
/proc/loadavg: 8.05 8.06 8.00 9/179 9328
/proc/meminfo: memFree=24601772/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=1839088 CPUtime=34679.7 cores=0-7
/proc/9186/stat : 9186 (plingeling) S 9184 9186 8816 0 -1 4202496 6448139 1256 0 0 3466831 1139 0 0 25 0 9 0 513108213 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 208092035045 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/9186/statm: 459772 421013 180 55 0 457658 0
[pid=9186/tid=9194] ppid=9184 vsize=1839088 CPUtime=4336.93 cores=0-7
/proc/9186/task/9194/stat : 9194 (plingeling) R 9184 9186 8816 0 -1 4202560 838111 1256 0 0 433544 149 0 0 25 0 9 0 513109125 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364753 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9186/tid=9195] ppid=9184 vsize=1839088 CPUtime=4313.42 cores=0-7
/proc/9186/task/9195/stat : 9195 (plingeling) R 9184 9186 8816 0 -1 4202560 427379 1256 0 0 431271 71 0 0 25 0 9 0 513109125 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9186/tid=9196] ppid=9184 vsize=1839088 CPUtime=4335.84 cores=0-7
/proc/9186/task/9196/stat : 9196 (plingeling) R 9184 9186 8816 0 -1 4202560 1010325 1256 0 0 433406 178 0 0 25 0 9 0 513109125 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364706 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9186/tid=9197] ppid=9184 vsize=1839088 CPUtime=4336.64 cores=0-7
/proc/9186/task/9197/stat : 9197 (plingeling) R 9184 9186 8816 0 -1 4202560 828628 1256 0 0 433510 154 0 0 25 0 9 0 513109125 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4358652 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9186/tid=9198] ppid=9184 vsize=1839088 CPUtime=4336.84 cores=0-7
/proc/9186/task/9198/stat : 9198 (plingeling) R 9184 9186 8816 0 -1 4202560 868418 1256 0 0 433522 162 0 0 25 0 9 0 513109127 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9186/tid=9199] ppid=9184 vsize=1839088 CPUtime=4336.92 cores=0-7
/proc/9186/task/9199/stat : 9199 (plingeling) R 9184 9186 8816 0 -1 4202560 668474 1256 0 0 433570 122 0 0 25 0 9 0 513109127 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9186/tid=9200] ppid=9184 vsize=1839088 CPUtime=4337 cores=0-7
/proc/9186/task/9200/stat : 9200 (plingeling) R 9184 9186 8816 0 -1 4202560 807032 1256 0 0 433546 154 0 0 25 0 9 0 513109127 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4262955 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9186/tid=9201] ppid=9184 vsize=1839088 CPUtime=4336.93 cores=0-7
/proc/9186/task/9201/stat : 9201 (plingeling) R 9184 9186 8816 0 -1 4202560 603636 1256 0 0 433595 98 0 0 25 0 9 0 513109127 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4251045 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 34679.7
Current children cumulated vsize (KiB) 1839088

[startup+4346.4 s]
/proc/loadavg: 8.05 8.06 8.00 9/179 9328
/proc/meminfo: memFree=24594332/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=1839088 CPUtime=34682.9 cores=0-7
/proc/9186/stat : 9186 (plingeling) S 9184 9186 8816 0 -1 4202496 6448139 1256 0 0 3467150 1139 0 0 25 0 9 0 513108213 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 208092035045 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/9186/statm: 459772 421013 180 55 0 457658 0
[pid=9186/tid=9194] ppid=9184 vsize=1839088 CPUtime=4337.33 cores=0-7
/proc/9186/task/9194/stat : 9194 (plingeling) R 9184 9186 8816 0 -1 4202560 838111 1256 0 0 433584 149 0 0 25 0 9 0 513109125 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9186/tid=9195] ppid=9184 vsize=1839088 CPUtime=4313.81 cores=0-7
/proc/9186/task/9195/stat : 9195 (plingeling) R 9184 9186 8816 0 -1 4202560 427379 1256 0 0 431310 71 0 0 25 0 9 0 513109125 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4344093 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9186/tid=9196] ppid=9184 vsize=1839088 CPUtime=4336.24 cores=0-7
/proc/9186/task/9196/stat : 9196 (plingeling) R 9184 9186 8816 0 -1 4202560 1010325 1256 0 0 433446 178 0 0 25 0 9 0 513109125 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364639 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9186/tid=9197] ppid=9184 vsize=1839088 CPUtime=4337.04 cores=0-7
/proc/9186/task/9197/stat : 9197 (plingeling) R 9184 9186 8816 0 -1 4202560 828628 1256 0 0 433550 154 0 0 25 0 9 0 513109125 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9186/tid=9198] ppid=9184 vsize=1839088 CPUtime=4337.24 cores=0-7
/proc/9186/task/9198/stat : 9198 (plingeling) R 9184 9186 8816 0 -1 4202560 868418 1256 0 0 433562 162 0 0 25 0 9 0 513109127 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9186/tid=9199] ppid=9184 vsize=1839088 CPUtime=4337.32 cores=0-7
/proc/9186/task/9199/stat : 9199 (plingeling) R 9184 9186 8816 0 -1 4202560 668474 1256 0 0 433610 122 0 0 25 0 9 0 513109127 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9186/tid=9200] ppid=9184 vsize=1839088 CPUtime=4337.4 cores=0-7
/proc/9186/task/9200/stat : 9200 (plingeling) R 9184 9186 8816 0 -1 4202560 807032 1256 0 0 433586 154 0 0 25 0 9 0 513109127 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9186/tid=9201] ppid=9184 vsize=1839088 CPUtime=4337.33 cores=0-7
/proc/9186/task/9201/stat : 9201 (plingeling) R 9184 9186 8816 0 -1 4202560 603636 1256 0 0 433635 98 0 0 25 0 9 0 513109127 1883226112 421013 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 34682.9
Current children cumulated vsize (KiB) 1839088

[startup+4346.5 s]
/proc/loadavg: 8.05 8.06 8.00 9/179 9328
/proc/meminfo: memFree=24594332/32950928 swapFree=67111364/67111528
[pid=9186] ppid=9184 vsize=1839088 CPUtime=34683.3 cores=0-7
/proc/9186/stat : 9186 (plingeling) S 9184 9186 8816 0 -1 4202496 6448140 1256 0 0 3467190 1139 0 0 18 0 3 0 513108213 1883226112 421014 33554432000 4194304 4417332 140734323168688 18446744073709551615 208092035045 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/9186/statm: 459772 421014 181 55 0 457658 0
[pid=9186/tid=9197] ppid=9184 vsize=1839088 CPUtime=4337.14 cores=0-7
/proc/9186/task/9197/stat : 9197 (plingeling) R 9184 9186 8816 0 -1 4202560 828628 1256 0 0 433560 154 0 0 25 0 3 0 513109125 1883226112 421014 33554432000 4194304 4417332 140734323168688 18446744073709551615 4277488 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9186/tid=9201] ppid=9184 vsize=1839088 CPUtime=4337.43 cores=0-7
/proc/9186/task/9201/stat : 9201 (plingeling) R 9184 9186 8816 0 -1 4202560 603636 1256 0 0 433645 98 0 0 25 0 3 0 513109127 1883226112 421014 33554432000 4194304 4417332 140734323168688 18446744073709551615 4364796 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 34683.3
Current children cumulated vsize (KiB) 1839088

Child status: 20
Real time (s): 4346.59
CPU time (s): 34683.4
CPU user time (s): 34671.9
CPU system time (s): 11.4863
CPU usage (%): 797.945
Max. virtual memory (cumulated for all children) (KiB): 2765988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34671.9
system time used= 11.4863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6449399
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= 261
involuntary context switches= 166191

runsolver used 6.39103 second user time and 17.3084 second system time

The end

Launcher Data 

Begin job on node127 at 2011-04-28 20:24:45
IDJOB=3309927
IDBENCH=83463
IDSOLVER=1695
FILE ID=node127/3309927-1304015083
RUNJOBID= node127-1304007679-8830
PBS_JOBID= 13168838
Free space on /tmp= 71720 MiB

SOLVER NAME= Plingeling 587
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E00X23.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3309927-1304015083/watcher-3309927-1304015083 -o /tmp/evaluation-result-3309927-1304015083/solver-3309927-1304015083 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3309927-1304015083.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 9cec6483d4ca03e8555377ba059b61ae
RANDOM SEED=55593036

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26277168 kB
Buffers:       1370192 kB
Cached:        4761580 kB
SwapCached:          0 kB
Active:        1768000 kB
Inactive:      4427328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26277168 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:          100920 kB
Writeback:           0 kB
AnonPages:       63572 kB
Mapped:          14540 kB
Slab:           411972 kB
PageTables:       4240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   187348 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= 71720 MiB
End job on node127 at 2011-04-28 21:37:12