Trace number 3372452

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 587f (fixed)? (TO) 40001.4 5009.89

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf
MD5SUM4ab53801f3b1a3f7169c9fb38cba4184
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables171676
Number of clauses870241
Sum of the clauses size2069671
Maximum clause length63
Minimum clause length1
Number of clauses of size 1211
Number of clauses of size 2859140
Number of clauses of size 32700
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 58190

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3372452-1305437626/watcher-3372452-1305437626 -o /tmp/evaluation-result-3372452-1305437626/solver-3372452-1305437626 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3372452-1305437626.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: 8.00 7.36 5.73 1/342 4740
/proc/meminfo: memFree=21486176/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=11824 CPUtime=0 cores=0-7
/proc/4740/stat : 4740 (plingeling) R 4738 4740 4536 0 -1 4202496 1019 1260 0 0 0 0 0 0 18 0 1 0 636178765 12107776 950 33554432000 4194304 4417452 140733749291168 18446744073709551615 255106462681 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/4740/statm: 2956 960 144 55 0 842 0

[startup+0.0281341 s]
/proc/loadavg: 8.00 7.36 5.73 1/342 4740
/proc/meminfo: memFree=21486176/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=16380 CPUtime=0.02 cores=0-7
/proc/4740/stat : 4740 (plingeling) R 4738 4740 4536 0 -1 4202496 2187 1260 0 0 2 0 0 0 18 0 1 0 636178765 16773120 2118 33554432000 4194304 4417452 140733749291168 18446744073709551615 4264920 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/4740/statm: 4095 2118 148 55 0 1981 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16380

[startup+0.101103 s]
/proc/loadavg: 8.00 7.36 5.73 1/342 4740
/proc/meminfo: memFree=21486176/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=26696 CPUtime=0.08 cores=0-7
/proc/4740/stat : 4740 (plingeling) R 4738 4740 4536 0 -1 4202496 4757 1260 0 0 8 0 0 0 18 0 1 0 636178765 27336704 4688 33554432000 4194304 4417452 140733749291168 18446744073709551615 255106462701 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/4740/statm: 6706 4710 149 55 0 4592 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26696

[startup+0.301066 s]
/proc/loadavg: 8.00 7.36 5.73 1/342 4740
/proc/meminfo: memFree=21486176/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=63384 CPUtime=0.29 cores=0-7
/proc/4740/stat : 4740 (plingeling) R 4738 4740 4536 0 -1 4202496 13939 1260 0 0 27 2 0 0 19 0 1 0 636178765 64905216 13870 33554432000 4194304 4417452 140733749291168 18446744073709551615 255106768640 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/4740/statm: 15846 13870 149 55 0 13732 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 63384

[startup+0.700994 s]
/proc/loadavg: 8.00 7.36 5.73 1/342 4740
/proc/meminfo: memFree=21486176/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=129016 CPUtime=0.69 cores=0-7
/proc/4740/stat : 4740 (plingeling) R 4738 4740 4536 0 -1 4202496 30363 1260 0 0 66 3 0 0 19 0 1 0 636178765 132112384 30278 33554432000 4194304 4417452 140733749291168 18446744073709551615 4262049 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/4740/statm: 32254 30278 149 55 0 30140 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 129016

[startup+1.50085 s]
/proc/loadavg: 7.44 7.25 5.70 2/343 4746
/proc/meminfo: memFree=21360804/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=240320 CPUtime=1.49 cores=0-7
/proc/4740/stat : 4740 (plingeling) R 4738 4740 4536 0 -1 4202496 58205 1260 0 0 143 6 0 0 21 0 1 0 636178765 246087680 58104 33554432000 4194304 4417452 140733749291168 18446744073709551615 4236008 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/4740/statm: 60080 58104 149 55 0 57966 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 240320

[startup+3.10055 s]
/proc/loadavg: 7.44 7.25 5.70 9/351 4754
/proc/meminfo: memFree=21239344/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=349864 CPUtime=14.1 cores=0-7
/proc/4740/stat : 4740 (plingeling) S 4738 4740 4536 0 -1 4202496 117381 1260 0 0 1394 16 0 0 18 0 9 0 636178765 358260736 55624 33554432000 4194304 4417452 140733749291168 18446744073709551615 255118571493 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4740/statm: 87466 55624 176 55 0 85352 0
[pid=4740/tid=4747] ppid=4738 vsize=349864 CPUtime=1.56 cores=0-7
/proc/4740/task/4747/stat : 4747 (plingeling) R 4738 4740 4536 0 -1 4202560 9739 1260 0 0 155 1 0 0 25 0 9 0 636178917 358260736 55624 33554432000 4194304 4417452 140733749291168 18446744073709551615 4260032 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4740/tid=4748] ppid=4738 vsize=349864 CPUtime=1.57 cores=0-7
/proc/4740/task/4748/stat : 4748 (plingeling) R 4738 4740 4536 0 -1 4202560 5993 1260 0 0 156 1 0 0 25 0 9 0 636178917 358260736 55624 33554432000 4194304 4417452 140733749291168 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4740/tid=4749] ppid=4738 vsize=349864 CPUtime=1.57 cores=0-7
/proc/4740/task/4749/stat : 4749 (plingeling) R 4738 4740 4536 0 -1 4202560 7349 1260 0 0 156 1 0 0 25 0 9 0 636178917 358260736 55624 33554432000 4194304 4417452 140733749291168 18446744073709551615 4278641 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4740/tid=4750] ppid=4738 vsize=349864 CPUtime=1.57 cores=0-7
/proc/4740/task/4750/stat : 4750 (plingeling) R 4738 4740 4536 0 -1 4202560 2920 1260 0 0 157 0 0 0 23 0 9 0 636178917 358260736 55624 33554432000 4194304 4417452 140733749291168 18446744073709551615 4358080 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4740/tid=4751] ppid=4738 vsize=349864 CPUtime=1.57 cores=0-7
/proc/4740/task/4751/stat : 4751 (plingeling) R 4738 4740 4536 0 -1 4202560 9186 1260 0 0 156 1 0 0 20 0 9 0 636178917 358260736 55624 33554432000 4194304 4417452 140733749291168 18446744073709551615 4236634 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4740/tid=4752] ppid=4738 vsize=349864 CPUtime=1.56 cores=0-7
/proc/4740/task/4752/stat : 4752 (plingeling) R 4738 4740 4536 0 -1 4202560 11491 1260 0 0 155 1 0 0 20 0 9 0 636178917 358260736 55624 33554432000 4194304 4417452 140733749291168 18446744073709551615 4236995 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4740/tid=4753] ppid=4738 vsize=349864 CPUtime=1.53 cores=0-7
/proc/4740/task/4753/stat : 4753 (plingeling) R 4738 4740 4536 0 -1 4202560 7489 1260 0 0 153 0 0 0 23 0 9 0 636178917 358260736 55624 33554432000 4194304 4417452 140733749291168 18446744073709551615 4275894 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4740/tid=4754] ppid=4738 vsize=349864 CPUtime=1.57 cores=0-7
/proc/4740/task/4754/stat : 4754 (plingeling) R 4738 4740 4536 0 -1 4202560 4993 1260 0 0 156 1 0 0 25 0 9 0 636178918 358260736 55624 33554432000 4194304 4417452 140733749291168 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 14.1
Current children cumulated vsize (KiB) 349864

[startup+6.30097 s]
/proc/loadavg: 7.44 7.25 5.70 9/351 4754
/proc/meminfo: memFree=21219100/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=439724 CPUtime=39.65 cores=0-7
/proc/4740/stat : 4740 (plingeling) S 4738 4740 4536 0 -1 4202496 172519 1260 0 0 3941 24 0 0 18 0 9 0 636178765 450277376 82751 33554432000 4194304 4417452 140733749291168 18446744073709551615 255118571493 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4740/statm: 109931 82751 180 55 0 107817 0
[pid=4740/tid=4747] ppid=4738 vsize=439724 CPUtime=4.77 cores=0-7
/proc/4740/task/4747/stat : 4747 (plingeling) R 4738 4740 4536 0 -1 4202560 16755 1260 0 0 474 3 0 0 25 0 9 0 636178917 450277376 82751 33554432000 4194304 4417452 140733749291168 18446744073709551615 4252007 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4740/tid=4748] ppid=4738 vsize=439724 CPUtime=4.76 cores=0-7
/proc/4740/task/4748/stat : 4748 (plingeling) R 4738 4740 4536 0 -1 4202560 14582 1260 0 0 474 2 0 0 25 0 9 0 636178917 450277376 82751 33554432000 4194304 4417452 140733749291168 18446744073709551615 4249228 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4740/tid=4749] ppid=4738 vsize=439724 CPUtime=4.77 cores=0-7
/proc/4740/task/4749/stat : 4749 (plingeling) R 4738 4740 4536 0 -1 4202560 16171 1260 0 0 475 2 0 0 25 0 9 0 636178917 450277376 82751 33554432000 4194304 4417452 140733749291168 18446744073709551615 4236290 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4740/tid=4750] ppid=4738 vsize=439724 CPUtime=4.77 cores=0-7
/proc/4740/task/4750/stat : 4750 (plingeling) R 4738 4740 4536 0 -1 4202560 5856 1260 0 0 476 1 0 0 25 0 9 0 636178917 450277376 82751 33554432000 4194304 4417452 140733749291168 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4740/tid=4751] ppid=4738 vsize=439724 CPUtime=4.78 cores=0-7
/proc/4740/task/4751/stat : 4751 (plingeling) R 4738 4740 4536 0 -1 4202560 17116 1260 0 0 476 2 0 0 25 0 9 0 636178917 450277376 82751 33554432000 4194304 4417452 140733749291168 18446744073709551615 4252995 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4740/tid=4752] ppid=4738 vsize=439724 CPUtime=4.72 cores=0-7
/proc/4740/task/4752/stat : 4752 (plingeling) R 4738 4740 4536 0 -1 4202560 21082 1260 0 0 470 2 0 0 25 0 9 0 636178917 450277376 82751 33554432000 4194304 4417452 140733749291168 18446744073709551615 4233504 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4740/tid=4753] ppid=4738 vsize=439724 CPUtime=4.73 cores=0-7
/proc/4740/task/4753/stat : 4753 (plingeling) R 4738 4740 4536 0 -1 4202560 14823 1260 0 0 472 1 0 0 25 0 9 0 636178917 450277376 82751 33554432000 4194304 4417452 140733749291168 18446744073709551615 4378336 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4740/tid=4754] ppid=4738 vsize=439724 CPUtime=4.76 cores=0-7
/proc/4740/task/4754/stat : 4754 (plingeling) R 4738 4740 4536 0 -1 4202560 7913 1260 0 0 475 1 0 0 25 0 9 0 636178918 450277376 82751 33554432000 4194304 4417452 140733749291168 18446744073709551615 4252379 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 39.65
Current children cumulated vsize (KiB) 439724

[startup+12.7009 s]
/proc/loadavg: 7.52 7.28 5.73 9/351 4754
/proc/meminfo: memFree=21119836/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=473044 CPUtime=90.77 cores=0-7
/proc/4740/stat : 4740 (plingeling) S 4738 4740 4536 0 -1 4202496 185583 1260 0 0 9051 26 0 0 18 0 9 0 636178765 484397056 91088 33554432000 4194304 4417452 140733749291168 18446744073709551615 255118571493 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4740/statm: 118261 91088 180 55 0 116147 0
[pid=4740/tid=4747] ppid=4738 vsize=473044 CPUtime=11.17 cores=0-7
/proc/4740/task/4747/stat : 4747 (plingeling) R 4738 4740 4536 0 -1 4202560 17013 1260 0 0 1114 3 0 0 25 0 9 0 636178917 484397056 91088 33554432000 4194304 4417452 140733749291168 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4740/tid=4748] ppid=4738 vsize=473044 CPUtime=11.16 cores=0-7
/proc/4740/task/4748/stat : 4748 (plingeling) R 4738 4740 4536 0 -1 4202560 14582 1260 0 0 1114 2 0 0 25 0 9 0 636178917 484397056 91088 33554432000 4194304 4417452 140733749291168 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4740/tid=4749] ppid=4738 vsize=473044 CPUtime=11.17 cores=0-7
/proc/4740/task/4749/stat : 4749 (plingeling) R 4738 4740 4536 0 -1 4202560 16427 1260 0 0 1115 2 0 0 25 0 9 0 636178917 484397056 91088 33554432000 4194304 4417452 140733749291168 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4740/tid=4750] ppid=4738 vsize=473044 CPUtime=11.17 cores=0-7
/proc/4740/task/4750/stat : 4750 (plingeling) R 4738 4740 4536 0 -1 4202560 17913 1260 0 0 1115 2 0 0 25 0 9 0 636178917 484397056 91088 33554432000 4194304 4417452 140733749291168 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4740/tid=4751] ppid=4738 vsize=473044 CPUtime=11.17 cores=0-7
/proc/4740/task/4751/stat : 4751 (plingeling) R 4738 4740 4536 0 -1 4202560 17118 1260 0 0 1115 2 0 0 25 0 9 0 636178917 484397056 91088 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364446 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4740/tid=4752] ppid=4738 vsize=473044 CPUtime=11.04 cores=0-7
/proc/4740/task/4752/stat : 4752 (plingeling) R 4738 4740 4536 0 -1 4202560 21339 1260 0 0 1102 2 0 0 25 0 9 0 636178917 484397056 91088 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4740/tid=4753] ppid=4738 vsize=473044 CPUtime=11.13 cores=0-7
/proc/4740/task/4753/stat : 4753 (plingeling) R 4738 4740 4536 0 -1 4202560 15055 1260 0 0 1112 1 0 0 25 0 9 0 636178917 484397056 91088 33554432000 4194304 4417452 140733749291168 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4740/tid=4754] ppid=4738 vsize=473044 CPUtime=11.16 cores=0-7
/proc/4740/task/4754/stat : 4754 (plingeling) R 4738 4740 4536 0 -1 4202560 7915 1260 0 0 1115 1 0 0 25 0 9 0 636178918 484397056 91088 33554432000 4194304 4417452 140733749291168 18446744073709551615 4237211 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 90.77
Current children cumulated vsize (KiB) 473044

[startup+25.5006 s]
/proc/loadavg: 7.60 7.30 5.75 9/351 4755
/proc/meminfo: memFree=21021488/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=559416 CPUtime=193.02 cores=0-7
/proc/4740/stat : 4740 (plingeling) S 4738 4740 4536 0 -1 4202496 212134 1260 0 0 19273 29 0 0 18 0 9 0 636178765 572841984 116492 33554432000 4194304 4417452 140733749291168 18446744073709551615 255118571493 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4740/statm: 139854 116492 180 55 0 137740 0
[pid=4740/tid=4747] ppid=4738 vsize=559416 CPUtime=23.97 cores=0-7
/proc/4740/task/4747/stat : 4747 (plingeling) R 4738 4740 4536 0 -1 4202560 17013 1260 0 0 2394 3 0 0 25 0 9 0 636178917 572841984 116492 33554432000 4194304 4417452 140733749291168 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4740/tid=4748] ppid=4738 vsize=559416 CPUtime=23.97 cores=0-7
/proc/4740/task/4748/stat : 4748 (plingeling) R 4738 4740 4536 0 -1 4202560 19385 1260 0 0 2394 3 0 0 25 0 9 0 636178917 572841984 116492 33554432000 4194304 4417452 140733749291168 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4740/tid=4749] ppid=4738 vsize=559416 CPUtime=23.97 cores=0-7
/proc/4740/task/4749/stat : 4749 (plingeling) R 4738 4740 4536 0 -1 4202560 21011 1260 0 0 2394 3 0 0 25 0 9 0 636178917 572841984 116492 33554432000 4194304 4417452 140733749291168 18446744073709551615 4358116 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4740/tid=4750] ppid=4738 vsize=559416 CPUtime=23.97 cores=0-7
/proc/4740/task/4750/stat : 4750 (plingeling) R 4738 4740 4536 0 -1 4202560 31736 1260 0 0 2393 4 0 0 25 0 9 0 636178917 572841984 116492 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4740/tid=4751] ppid=4738 vsize=559416 CPUtime=23.97 cores=0-7
/proc/4740/task/4751/stat : 4751 (plingeling) R 4738 4740 4536 0 -1 4202560 17630 1260 0 0 2395 2 0 0 25 0 9 0 636178917 572841984 116492 33554432000 4194304 4417452 140733749291168 18446744073709551615 4357106 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4740/tid=4752] ppid=4738 vsize=559416 CPUtime=23.69 cores=0-7
/proc/4740/task/4752/stat : 4752 (plingeling) R 4738 4740 4536 0 -1 4202560 22107 1260 0 0 2367 2 0 0 25 0 9 0 636178917 572841984 116492 33554432000 4194304 4417452 140733749291168 18446744073709551615 4237194 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4740/tid=4753] ppid=4738 vsize=559416 CPUtime=23.93 cores=0-7
/proc/4740/task/4753/stat : 4753 (plingeling) R 4738 4740 4536 0 -1 4202560 15117 1260 0 0 2392 1 0 0 25 0 9 0 636178917 572841984 116492 33554432000 4194304 4417452 140733749291168 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4740/tid=4754] ppid=4738 vsize=559416 CPUtime=23.97 cores=0-7
/proc/4740/task/4754/stat : 4754 (plingeling) R 4738 4740 4536 0 -1 4202560 9914 1260 0 0 2395 2 0 0 25 0 9 0 636178918 572841984 116492 33554432000 4194304 4417452 140733749291168 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 193.02
Current children cumulated vsize (KiB) 559416

[startup+51.1011 s]
/proc/loadavg: 7.73 7.35 5.81 9/351 4755
/proc/meminfo: memFree=20922772/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=692620 CPUtime=397.53 cores=0-7
/proc/4740/stat : 4740 (plingeling) S 4738 4740 4536 0 -1 4202496 263236 1260 0 0 39718 35 0 0 18 0 9 0 636178765 709242880 146926 33554432000 4194304 4417452 140733749291168 18446744073709551615 255118571493 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4740/statm: 173155 146926 180 55 0 171041 0
[pid=4740/tid=4747] ppid=4738 vsize=692620 CPUtime=49.56 cores=0-7
/proc/4740/task/4747/stat : 4747 (plingeling) R 4738 4740 4536 0 -1 4202560 23424 1260 0 0 4952 4 0 0 25 0 9 0 636178917 709242880 146926 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4740/tid=4748] ppid=4738 vsize=692620 CPUtime=49.57 cores=0-7
/proc/4740/task/4748/stat : 4748 (plingeling) R 4738 4740 4536 0 -1 4202560 25663 1260 0 0 4953 4 0 0 25 0 9 0 636178917 709242880 146926 33554432000 4194304 4417452 140733749291168 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4740/tid=4749] ppid=4738 vsize=692620 CPUtime=49.57 cores=0-7
/proc/4740/task/4749/stat : 4749 (plingeling) R 4738 4740 4536 0 -1 4202560 26340 1260 0 0 4954 3 0 0 25 0 9 0 636178917 709242880 146926 33554432000 4194304 4417452 140733749291168 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4740/tid=4750] ppid=4738 vsize=692620 CPUtime=49.56 cores=0-7
/proc/4740/task/4750/stat : 4750 (plingeling) R 4738 4740 4536 0 -1 4202560 45930 1260 0 0 4951 5 0 0 25 0 9 0 636178917 709242880 146926 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4740/tid=4751] ppid=4738 vsize=692620 CPUtime=49.57 cores=0-7
/proc/4740/task/4751/stat : 4751 (plingeling) R 4738 4740 4536 0 -1 4202560 28996 1260 0 0 4954 3 0 0 25 0 9 0 636178917 709242880 146926 33554432000 4194304 4417452 140733749291168 18446744073709551615 4358106 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4740/tid=4752] ppid=4738 vsize=692620 CPUtime=49.02 cores=0-7
/proc/4740/task/4752/stat : 4752 (plingeling) R 4738 4740 4536 0 -1 4202560 26483 1260 0 0 4899 3 0 0 25 0 9 0 636178917 709242880 146926 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4740/tid=4753] ppid=4738 vsize=692620 CPUtime=49.53 cores=0-7
/proc/4740/task/4753/stat : 4753 (plingeling) R 4738 4740 4536 0 -1 4202560 17165 1260 0 0 4951 2 0 0 25 0 9 0 636178917 709242880 146926 33554432000 4194304 4417452 140733749291168 18446744073709551615 4353533 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4740/tid=4754] ppid=4738 vsize=692620 CPUtime=49.57 cores=0-7
/proc/4740/task/4754/stat : 4754 (plingeling) R 4738 4740 4536 0 -1 4202560 11014 1260 0 0 4955 2 0 0 25 0 9 0 636178918 709242880 146926 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 397.53
Current children cumulated vsize (KiB) 692620

[startup+102.313 s]
/proc/loadavg: 7.95 7.48 5.94 9/351 4757

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

[pid=4740/tid=4749] ppid=4738 vsize=13681344 CPUtime=4720.41 cores=0-7
/proc/4740/task/4749/stat : 4749 (plingeling) R 4738 4740 4536 0 -1 4202560 5485172 1260 0 0 470929 1112 0 0 25 0 9 0 636178917 14009696256 3393207 33554432000 4194304 4417452 140733749291168 18446744073709551615 4356995 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4740/tid=4750] ppid=4738 vsize=13681344 CPUtime=4719.66 cores=0-7
/proc/4740/task/4750/stat : 4750 (plingeling) R 4738 4740 4536 0 -1 4202560 10610844 1260 0 0 469659 2307 0 0 25 0 9 0 636178917 14009696256 3393207 33554432000 4194304 4417452 140733749291168 18446744073709551615 4357314 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4740/tid=4751] ppid=4738 vsize=13681344 CPUtime=4713.81 cores=0-7
/proc/4740/task/4751/stat : 4751 (plingeling) R 4738 4740 4536 0 -1 4202560 5803841 1260 0 0 470182 1199 0 0 25 0 9 0 636178917 14009696256 3393207 33554432000 4194304 4417452 140733749291168 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4740/tid=4752] ppid=4738 vsize=13681344 CPUtime=4715.92 cores=0-7
/proc/4740/task/4752/stat : 4752 (plingeling) R 4738 4740 4536 0 -1 4202560 6195328 1260 0 0 470329 1263 0 0 25 0 9 0 636178917 14009696256 3393207 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4740/tid=4753] ppid=4738 vsize=13681344 CPUtime=4684.17 cores=0-7
/proc/4740/task/4753/stat : 4753 (plingeling) R 4738 4740 4536 0 -1 4202560 4093603 1260 0 0 467608 809 0 0 25 0 9 0 636178917 14009696256 3393207 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4740/tid=4754] ppid=4738 vsize=13681344 CPUtime=4720.07 cores=0-7
/proc/4740/task/4754/stat : 4754 (plingeling) R 4738 4740 4536 0 -1 4202560 5307158 1260 0 0 470983 1024 0 0 25 0 9 0 636178918 14009696256 3393207 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 37710.2
Current children cumulated vsize (KiB) 13681344

[startup+4782.3 s]
/proc/loadavg: 8.06 8.06 8.01 9/351 4894
/proc/meminfo: memFree=6222828/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=15346316 CPUtime=38189.3 cores=0-7
/proc/4740/stat : 4740 (plingeling) S 4738 4740 4536 0 -1 4202496 50595611 1260 0 0 3808653 10275 0 0 18 0 9 0 636178765 15714627584 3809450 33554432000 4194304 4417452 140733749291168 18446744073709551615 255118571493 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4740/statm: 3836579 3809450 180 55 0 3834465 0
[pid=4740/tid=4747] ppid=4738 vsize=15346316 CPUtime=4775.48 cores=0-7
/proc/4740/task/4747/stat : 4747 (plingeling) R 4738 4740 4536 0 -1 4202560 5466779 1260 0 0 476435 1113 0 0 25 0 9 0 636178917 15714627584 3809450 33554432000 4194304 4417452 140733749291168 18446744073709551615 4358116 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4740/tid=4748] ppid=4738 vsize=15346316 CPUtime=4778.94 cores=0-7
/proc/4740/task/4748/stat : 4748 (plingeling) R 4738 4740 4536 0 -1 4202560 6717172 1260 0 0 476696 1198 0 0 19 0 9 0 636178917 15714627584 3809450 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4740/tid=4749] ppid=4738 vsize=15346316 CPUtime=4780.38 cores=0-7
/proc/4740/task/4749/stat : 4749 (plingeling) R 4738 4740 4536 0 -1 4202560 5728135 1260 0 0 476844 1194 0 0 25 0 9 0 636178917 15714627584 3809450 33554432000 4194304 4417452 140733749291168 18446744073709551615 4250786 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4740/tid=4750] ppid=4738 vsize=15346316 CPUtime=4779.63 cores=0-7
/proc/4740/task/4750/stat : 4750 (plingeling) R 4738 4740 4536 0 -1 4202560 10887836 1260 0 0 475560 2403 0 0 25 0 9 0 636178917 15714627584 3809450 33554432000 4194304 4417452 140733749291168 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4740/tid=4751] ppid=4738 vsize=15346316 CPUtime=4773.17 cores=0-7
/proc/4740/task/4751/stat : 4751 (plingeling) R 4738 4740 4536 0 -1 4202560 5918474 1260 0 0 476094 1223 0 0 25 0 9 0 636178917 15714627584 3809450 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364583 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4740/tid=4752] ppid=4738 vsize=15346316 CPUtime=4775.89 cores=0-7
/proc/4740/task/4752/stat : 4752 (plingeling) R 4738 4740 4536 0 -1 4202560 6230022 1260 0 0 476318 1271 0 0 25 0 9 0 636178917 15714627584 3809450 33554432000 4194304 4417452 140733749291168 18446744073709551615 4358214 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4740/tid=4753] ppid=4738 vsize=15346316 CPUtime=4744.16 cores=0-7
/proc/4740/task/4753/stat : 4753 (plingeling) R 4738 4740 4536 0 -1 4202560 4169100 1260 0 0 473594 822 0 0 25 0 9 0 636178917 15714627584 3809450 33554432000 4194304 4417452 140733749291168 18446744073709551615 4356783 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4740/tid=4754] ppid=4738 vsize=15346316 CPUtime=4780.06 cores=0-7
/proc/4740/task/4754/stat : 4754 (plingeling) R 4738 4740 4536 0 -1 4202560 5419872 1260 0 0 476964 1042 0 0 25 0 9 0 636178918 15714627584 3809450 33554432000 4194304 4417452 140733749291168 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 38189.3
Current children cumulated vsize (KiB) 15346316

[startup+4842.3 s]
/proc/loadavg: 8.13 8.07 8.01 9/351 4895
/proc/meminfo: memFree=5507608/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=16084328 CPUtime=38667.3 cores=0-7
/proc/4740/stat : 4740 (plingeling) S 4738 4740 4536 0 -1 4202496 52603794 1260 0 0 3855936 10797 0 0 18 0 9 0 636178765 16470351872 3988623 33554432000 4194304 4417452 140733749291168 18446744073709551615 255118571493 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4740/statm: 4021082 3988640 180 55 0 4018968 0
[pid=4740/tid=4747] ppid=4738 vsize=16084328 CPUtime=4835.48 cores=0-7
/proc/4740/task/4747/stat : 4747 (plingeling) R 4738 4740 4536 0 -1 4202560 5639894 1260 0 0 482403 1145 0 0 25 0 9 0 636178917 16470351872 3988649 33554432000 4194304 4417452 140733749291168 18446744073709551615 4250927 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4740/tid=4748] ppid=4738 vsize=16084328 CPUtime=4838.82 cores=0-7
/proc/4740/task/4748/stat : 4748 (plingeling) R 4738 4740 4536 0 -1 4202560 6776214 1260 0 0 482674 1208 0 0 25 0 9 0 636178917 16470351872 3988660 33554432000 4194304 4417452 140733749291168 18446744073709551615 255106462813 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4740/tid=4749] ppid=4738 vsize=16084328 CPUtime=4840.39 cores=0-7
/proc/4740/task/4749/stat : 4749 (plingeling) R 4738 4740 4536 0 -1 4202560 5865671 1260 0 0 482815 1224 0 0 25 0 9 0 636178917 16470351872 3988669 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4740/tid=4750] ppid=4738 vsize=16084328 CPUtime=4839.41 cores=0-7
/proc/4740/task/4750/stat : 4750 (plingeling) R 4738 4740 4536 0 -1 4202560 12138693 1260 0 0 481174 2767 0 0 25 0 9 0 636178917 16470351872 3988679 33554432000 4194304 4417452 140733749291168 18446744073709551615 4355849 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4740/tid=4751] ppid=4738 vsize=16084328 CPUtime=4833.16 cores=0-7
/proc/4740/task/4751/stat : 4751 (plingeling) R 4738 4740 4536 0 -1 4202560 5983693 1260 0 0 482077 1239 0 0 25 0 9 0 636178917 16470351872 3988689 33554432000 4194304 4417452 140733749291168 18446744073709551615 4306294 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4740/tid=4752] ppid=4738 vsize=16084328 CPUtime=4835.21 cores=0-7
/proc/4740/task/4752/stat : 4752 (plingeling) R 4738 4740 4536 0 -1 4202560 6342287 1260 0 0 482226 1295 0 0 25 0 9 0 636178917 16470351872 3988698 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4740/tid=4753] ppid=4738 vsize=16084328 CPUtime=4803.75 cores=0-7
/proc/4740/task/4753/stat : 4753 (plingeling) R 4738 4740 4536 0 -1 4202560 4240189 1260 0 0 479541 834 0 0 25 0 9 0 636178917 16470351872 3988707 33554432000 4194304 4417452 140733749291168 18446744073709551615 4236961 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4740/tid=4754] ppid=4738 vsize=16084328 CPUtime=4839.52 cores=0-7
/proc/4740/task/4754/stat : 4754 (plingeling) R 4738 4740 4536 0 -1 4202560 5558970 1260 0 0 482877 1075 0 0 25 0 9 0 636178918 16470351872 3988718 33554432000 4194304 4417452 140733749291168 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 38667.3
Current children cumulated vsize (KiB) 16084328

[startup+4902.3 s]
/proc/loadavg: 8.05 8.06 8.00 9/351 4897
/proc/meminfo: memFree=5122836/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=16483464 CPUtime=39146.6 cores=0-7
/proc/4740/stat : 4740 (plingeling) S 4738 4740 4536 0 -1 4202496 53091234 1260 0 0 3903757 10905 0 0 18 0 9 0 636178765 16879067136 4093737 33554432000 4194304 4417452 140733749291168 18446744073709551615 255118571493 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4740/statm: 4120866 4093737 180 55 0 4118752 0
[pid=4740/tid=4747] ppid=4738 vsize=16483464 CPUtime=4895.47 cores=0-7
/proc/4740/task/4747/stat : 4747 (plingeling) R 4738 4740 4536 0 -1 4202560 5678131 1260 0 0 488390 1157 0 0 25 0 9 0 636178917 16879067136 4093737 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4740/tid=4748] ppid=4738 vsize=16483464 CPUtime=4898.82 cores=0-7
/proc/4740/task/4748/stat : 4748 (plingeling) R 4738 4740 4536 0 -1 4202560 6842897 1260 0 0 488662 1220 0 0 25 0 9 0 636178917 16879067136 4093737 33554432000 4194304 4417452 140733749291168 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4740/tid=4749] ppid=4738 vsize=16483464 CPUtime=4900.38 cores=0-7
/proc/4740/task/4749/stat : 4749 (plingeling) R 4738 4740 4536 0 -1 4202560 6063039 1260 0 0 488767 1271 0 0 25 0 9 0 636178917 16879067136 4093737 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4740/tid=4750] ppid=4738 vsize=16483464 CPUtime=4899.41 cores=0-7
/proc/4740/task/4750/stat : 4750 (plingeling) R 4738 4740 4536 0 -1 4202560 12138693 1260 0 0 487174 2767 0 0 25 0 9 0 636178917 16879067136 4093737 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4740/tid=4751] ppid=4738 vsize=16483464 CPUtime=4893.17 cores=0-7
/proc/4740/task/4751/stat : 4751 (plingeling) R 4738 4740 4536 0 -1 4202560 6084208 1260 0 0 488052 1265 0 0 25 0 9 0 636178917 16879067136 4093737 33554432000 4194304 4417452 140733749291168 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4740/tid=4752] ppid=4738 vsize=16483464 CPUtime=4894.56 cores=0-7
/proc/4740/task/4752/stat : 4752 (plingeling) R 4738 4740 4536 0 -1 4202560 6377690 1260 0 0 488156 1300 0 0 25 0 9 0 636178917 16879067136 4093737 33554432000 4194304 4417452 140733749291168 18446744073709551615 4265383 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4740/tid=4753] ppid=4738 vsize=16483464 CPUtime=4863.72 cores=0-7
/proc/4740/task/4753/stat : 4753 (plingeling) R 4738 4740 4536 0 -1 4202560 4289385 1260 0 0 485531 841 0 0 25 0 9 0 636178917 16879067136 4093737 33554432000 4194304 4417452 140733749291168 18446744073709551615 4236928 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4740/tid=4754] ppid=4738 vsize=16483464 CPUtime=4899.52 cores=0-7
/proc/4740/task/4754/stat : 4754 (plingeling) R 4738 4740 4536 0 -1 4202560 5558970 1260 0 0 488877 1075 0 0 25 0 9 0 636178918 16879067136 4093737 33554432000 4194304 4417452 140733749291168 18446744073709551615 4232801 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 39146.6
Current children cumulated vsize (KiB) 16483464

[startup+4962.3 s]
/proc/loadavg: 8.10 8.06 8.01 9/351 4898
/proc/meminfo: memFree=5438232/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=16129720 CPUtime=39625.9 cores=0-7
/proc/4740/stat : 4740 (plingeling) S 4738 4740 4536 0 -1 4202496 53658797 1260 0 0 3951570 11024 0 0 18 0 9 0 636178765 16516833280 4005301 33554432000 4194304 4417452 140733749291168 18446744073709551615 255118571493 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4740/statm: 4032430 4005301 180 55 0 4030316 0
[pid=4740/tid=4747] ppid=4738 vsize=16129720 CPUtime=4955.47 cores=0-7
/proc/4740/task/4747/stat : 4747 (plingeling) R 4738 4740 4536 0 -1 4202560 5742162 1260 0 0 494382 1165 0 0 25 0 9 0 636178917 16516833280 4005301 33554432000 4194304 4417452 140733749291168 18446744073709551615 4357930 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4740/tid=4748] ppid=4738 vsize=16129720 CPUtime=4958.82 cores=0-7
/proc/4740/task/4748/stat : 4748 (plingeling) R 4738 4740 4536 0 -1 4202560 6913234 1260 0 0 494647 1235 0 0 25 0 9 0 636178917 16516833280 4005301 33554432000 4194304 4417452 140733749291168 18446744073709551615 4309871 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4740/tid=4749] ppid=4738 vsize=16129720 CPUtime=4960.37 cores=0-7
/proc/4740/task/4749/stat : 4749 (plingeling) R 4738 4740 4536 0 -1 4202560 6242878 1260 0 0 494736 1301 0 0 25 0 9 0 636178917 16516833280 4005301 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4740/tid=4750] ppid=4738 vsize=16129720 CPUtime=4959.39 cores=0-7
/proc/4740/task/4750/stat : 4750 (plingeling) R 4738 4740 4536 0 -1 4202560 12138693 1260 0 0 493172 2767 0 0 25 0 9 0 636178917 16516833280 4005301 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364699 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4740/tid=4751] ppid=4738 vsize=16129720 CPUtime=4953.16 cores=0-7
/proc/4740/task/4751/stat : 4751 (plingeling) R 4738 4740 4536 0 -1 4202560 6129285 1260 0 0 494042 1274 0 0 25 0 9 0 636178917 16516833280 4005301 33554432000 4194304 4417452 140733749291168 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4740/tid=4752] ppid=4738 vsize=16129720 CPUtime=4953.9 cores=0-7
/proc/4740/task/4752/stat : 4752 (plingeling) R 4738 4740 4536 0 -1 4202560 6429817 1260 0 0 494079 1311 0 0 25 0 9 0 636178917 16516833280 4005301 33554432000 4194304 4417452 140733749291168 18446744073709551615 4358082 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4740/tid=4753] ppid=4738 vsize=16129720 CPUtime=4923.73 cores=0-7
/proc/4740/task/4753/stat : 4753 (plingeling) R 4738 4740 4536 0 -1 4202560 4366595 1260 0 0 491510 863 0 0 25 0 9 0 636178917 16516833280 4005301 33554432000 4194304 4417452 140733749291168 18446744073709551615 4366657 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4740/tid=4754] ppid=4738 vsize=16129720 CPUtime=4959.52 cores=0-7
/proc/4740/task/4754/stat : 4754 (plingeling) R 4738 4740 4536 0 -1 4202560 5637912 1260 0 0 494854 1098 0 0 25 0 9 0 636178918 16516833280 4005301 33554432000 4194304 4417452 140733749291168 18446744073709551615 4250945 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 39625.9
Current children cumulated vsize (KiB) 16129720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5009.2 s]
/proc/loadavg: 8.04 8.05 8.00 9/351 4900
/proc/meminfo: memFree=4288172/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=17273944 CPUtime=40000.7 cores=0-7
/proc/4740/stat : 4740 (plingeling) S 4738 4740 4536 0 -1 4202496 54187831 1260 0 0 3988929 11137 0 0 18 0 9 0 636178765 17688518656 4291357 33554432000 4194304 4417452 140733749291168 18446744073709551615 255118571493 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4740/statm: 4318486 4291357 180 55 0 4316372 0
[pid=4740/tid=4747] ppid=4738 vsize=17273944 CPUtime=5002.39 cores=0-7
/proc/4740/task/4747/stat : 4747 (plingeling) R 4738 4740 4536 0 -1 4202560 5812395 1260 0 0 499057 1182 0 0 25 0 9 0 636178917 17688518656 4291357 33554432000 4194304 4417452 140733749291168 18446744073709551615 4232609 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4740/tid=4748] ppid=4738 vsize=17273944 CPUtime=5005.72 cores=0-7
/proc/4740/task/4748/stat : 4748 (plingeling) R 4738 4740 4536 0 -1 4202560 6964680 1260 0 0 499326 1246 0 0 25 0 9 0 636178917 17688518656 4291357 33554432000 4194304 4417452 140733749291168 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4740/tid=4749] ppid=4738 vsize=17273944 CPUtime=5007.29 cores=0-7
/proc/4740/task/4749/stat : 4749 (plingeling) R 4738 4740 4536 0 -1 4202560 6354123 1260 0 0 499409 1320 0 0 25 0 9 0 636178917 17688518656 4291357 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4740/tid=4750] ppid=4738 vsize=17273944 CPUtime=5006.3 cores=0-7
/proc/4740/task/4750/stat : 4750 (plingeling) R 4738 4740 4536 0 -1 4202560 12138693 1260 0 0 497863 2767 0 0 25 0 9 0 636178917 17688518656 4291357 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4740/tid=4751] ppid=4738 vsize=17273944 CPUtime=5000.07 cores=0-7
/proc/4740/task/4751/stat : 4751 (plingeling) R 4738 4740 4536 0 -1 4202560 6291092 1260 0 0 498688 1319 0 0 25 0 9 0 636178917 17688518656 4291357 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4740/tid=4752] ppid=4738 vsize=17273944 CPUtime=5000.28 cores=0-7
/proc/4740/task/4752/stat : 4752 (plingeling) R 4738 4740 4536 0 -1 4202560 6498258 1260 0 0 498709 1319 0 0 25 0 9 0 636178917 17688518656 4291357 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4740/tid=4753] ppid=4738 vsize=17273944 CPUtime=4970.63 cores=0-7
/proc/4740/task/4753/stat : 4753 (plingeling) R 4738 4740 4536 0 -1 4202560 4416339 1260 0 0 496191 872 0 0 25 0 9 0 636178917 17688518656 4291357 33554432000 4194304 4417452 140733749291168 18446744073709551615 4364885 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4740/tid=4754] ppid=4738 vsize=17273944 CPUtime=5006.44 cores=0-7
/proc/4740/task/4754/stat : 4754 (plingeling) R 4738 4740 4536 0 -1 4202560 5654030 1260 0 0 499542 1102 0 0 25 0 9 0 636178918 17688518656 4291357 33554432000 4194304 4417452 140733749291168 18446744073709551615 4311347 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 40000.7
Current children cumulated vsize (KiB) 17273944

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

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

[startup+5009.41 s]
/proc/loadavg: 8.04 8.05 8.00 2/345 4901
/proc/meminfo: memFree=6354928/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=0 CPUtime=40000.9 cores=0-7
/proc/4740/stat : 4740 (plingeling) Z 4738 4740 4536 0 -1 4203548 54187832 1260 0 0 3988938 11156 0 0 18 0 2 0 636178765 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/4740/statm: 0 0 0 0 0 0 0
[pid=4740/tid=4752] ppid=4738 vsize=0 CPUtime=5000.48 cores=0-7
/proc/4740/task/4752/stat : 4752 (plingeling) R 4738 4740 4536 0 -1 4203588 6498258 1260 0 0 498710 1338 0 0 25 0 2 0 636178917 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 40000.9
Current children cumulated vsize (KiB) 0

[startup+5009.8 s]
/proc/loadavg: 8.04 8.05 8.00 2/345 4901
/proc/meminfo: memFree=6354928/32951124 swapFree=67111348/67111528
[pid=4740] ppid=4738 vsize=0 CPUtime=40001.3 cores=0-7
/proc/4740/stat : 4740 (plingeling) Z 4738 4740 4536 0 -1 4203548 54187832 1260 0 0 3988938 11195 0 0 18 0 2 0 636178765 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/4740/statm: 0 0 0 0 0 0 0
[pid=4740/tid=4752] ppid=4738 vsize=0 CPUtime=5000.87 cores=0-7
/proc/4740/task/4752/stat : 4752 (plingeling) R 4738 4740 4536 0 -1 4203588 6498258 1260 0 0 498710 1377 0 0 25 0 2 0 636178917 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 40001.3
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5009.89
CPU time (s): 40001.4
CPU user time (s): 39889.4
CPU system time (s): 112.045
CPU usage (%): 798.449
Max. virtual memory (cumulated for all children) (KiB): 17693188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39889.4
system time used= 112.045
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54189092
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= 2253
involuntary context switches= 189150

runsolver used 14.9147 second user time and 39.8489 second system time

The end

Launcher Data 

Begin job on node144 at 2011-05-15 07:33:46
IDJOB=3372452
IDBENCH=82389
IDSOLVER=1851
FILE ID=node144/3372452-1305437626
RUNJOBID= node144-1305437051-4550
PBS_JOBID= 13324764
Free space on /tmp= 73240 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372452-1305437626/watcher-3372452-1305437626 -o /tmp/evaluation-result-3372452-1305437626/solver-3372452-1305437626 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3372452-1305437626.cnf

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

MD5SUM BENCH= 4ab53801f3b1a3f7169c9fb38cba4184
RANDOM SEED=2122821355

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21486704 kB
Buffers:        297596 kB
Cached:        3692000 kB
SwapCached:          0 kB
Active:        8318736 kB
Inactive:      2798128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21486704 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           15936 kB
Writeback:           0 kB
AnonPages:     7127288 kB
Mapped:          27220 kB
Slab:           244708 kB
PageTables:      36744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 81969692 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= 73240 MiB
End job on node144 at 2011-05-15 08:57:18