Trace number 3371489

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) 4800.45 1204.91

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-3371489-1305421454/watcher-3371489-1305421454 -o /tmp/evaluation-result-3371489-1305421454/solver-3371489-1305421454 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3371489-1305421454.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.64 7.94 7.99 5/417 9826
/proc/meminfo: memFree=19749700/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=11360 CPUtime=0 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) R 9824 9826 9516 0 -1 4202496 900 1259 0 0 0 0 0 0 25 0 1 0 732376189 11632640 831 33554432000 4194304 4417452 140734716094480 18446744073709551615 215988592384 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/9826/statm: 2840 831 144 55 0 726 0

[startup+0.0936551 s]
/proc/loadavg: 7.64 7.94 7.99 5/417 9826
/proc/meminfo: memFree=19749700/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=24012 CPUtime=0.08 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) R 9824 9826 9516 0 -1 4202496 4096 1259 0 0 8 0 0 0 25 0 1 0 732376189 24588288 4027 33554432000 4194304 4417452 140734716094480 18446744073709551615 215988592384 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/9826/statm: 6003 4027 149 55 0 3889 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24012

[startup+0.100651 s]
/proc/loadavg: 7.64 7.94 7.99 5/417 9826
/proc/meminfo: memFree=19749700/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=24012 CPUtime=0.09 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) R 9824 9826 9516 0 -1 4202496 4096 1259 0 0 9 0 0 0 25 0 1 0 732376189 24588288 4027 33554432000 4194304 4417452 140734716094480 18446744073709551615 4209644 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/9826/statm: 6003 4027 149 55 0 3889 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24012

[startup+0.300621 s]
/proc/loadavg: 7.64 7.94 7.99 5/417 9826
/proc/meminfo: memFree=19749700/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=60396 CPUtime=0.29 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) R 9824 9826 9516 0 -1 4202496 13192 1259 0 0 27 2 0 0 25 0 1 0 732376189 61845504 13123 33554432000 4194304 4417452 140734716094480 18446744073709551615 4235981 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/9826/statm: 15099 13123 149 55 0 12985 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60396

[startup+0.70055 s]
/proc/loadavg: 7.64 7.94 7.99 5/417 9826
/proc/meminfo: memFree=19749700/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=125428 CPUtime=0.69 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) R 9824 9826 9516 0 -1 4202496 29450 1259 0 0 65 4 0 0 25 0 1 0 732376189 128438272 29381 33554432000 4194304 4417452 140734716094480 18446744073709551615 215988592384 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/9826/statm: 31357 29381 149 55 0 29243 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 125428

[startup+1.50042 s]
/proc/loadavg: 7.64 7.94 7.99 9/422 9836
/proc/meminfo: memFree=19630496/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=174904 CPUtime=3.54 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) S 9824 9826 9516 0 -1 4202496 53507 1259 0 0 347 7 0 0 25 0 5 0 732376189 179101696 31507 33554432000 4194304 4417452 140734716094480 18446744073709551615 216000395237 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/9826/statm: 43726 31507 174 55 0 41612 0
[pid=9826/tid=9833] ppid=9824 vsize=174904 CPUtime=0.68 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (plingeling) R 9824 9826 9516 0 -1 4202560 6427 1259 0 0 68 0 0 0 25 0 5 0 732376269 179101696 31507 33554432000 4194304 4417452 140734716094480 18446744073709551615 4307546 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9834] ppid=9824 vsize=174904 CPUtime=0.66 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 7503 1259 0 0 66 0 0 0 25 0 5 0 732376269 179101696 31507 33554432000 4194304 4417452 140734716094480 18446744073709551615 4290595 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=174904 CPUtime=0.68 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 6655 1259 0 0 67 1 0 0 25 0 5 0 732376270 179101696 31507 33554432000 4194304 4417452 140734716094480 18446744073709551615 4301735 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=174904 CPUtime=0.68 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 3460 1259 0 0 68 0 0 0 25 0 5 0 732376270 179101696 31507 33554432000 4194304 4417452 140734716094480 18446744073709551615 4236845 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 174904

[startup+3.10114 s]
/proc/loadavg: 7.64 7.94 7.99 9/422 9836
/proc/meminfo: memFree=19617540/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=182364 CPUtime=9.93 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) S 9824 9826 9516 0 -1 4202496 60172 1259 0 0 985 8 0 0 25 0 5 0 732376189 186740736 33375 33554432000 4194304 4417452 140734716094480 18446744073709551615 216000395237 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/9826/statm: 45591 33375 177 55 0 43477 0
[pid=9826/tid=9833] ppid=9824 vsize=182364 CPUtime=2.28 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (plingeling) R 9824 9826 9516 0 -1 4202560 6555 1259 0 0 228 0 0 0 25 0 5 0 732376269 186740736 33375 33554432000 4194304 4417452 140734716094480 18446744073709551615 4265800 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9834] ppid=9824 vsize=182364 CPUtime=2.25 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 9781 1259 0 0 224 1 0 0 25 0 5 0 732376269 186740736 33375 33554432000 4194304 4417452 140734716094480 18446744073709551615 4234768 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=182364 CPUtime=2.28 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 10914 1259 0 0 227 1 0 0 25 0 5 0 732376270 186740736 33375 33554432000 4194304 4417452 140734716094480 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=182364 CPUtime=2.28 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 3460 1259 0 0 228 0 0 0 25 0 5 0 732376270 186740736 33375 33554432000 4194304 4417452 140734716094480 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (KiB) 182364

[startup+6.30057 s]
/proc/loadavg: 7.67 7.94 7.99 9/422 9836
/proc/meminfo: memFree=19586168/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=228740 CPUtime=22.68 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) S 9824 9826 9516 0 -1 4202496 76078 1259 0 0 2258 10 0 0 25 0 5 0 732376189 234229760 44984 33554432000 4194304 4417452 140734716094480 18446744073709551615 216000395237 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/9826/statm: 57185 44984 180 55 0 55071 0
[pid=9826/tid=9833] ppid=9824 vsize=228740 CPUtime=5.48 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (plingeling) R 9824 9826 9516 0 -1 4202560 11364 1259 0 0 547 1 0 0 25 0 5 0 732376269 234229760 44984 33554432000 4194304 4417452 140734716094480 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9834] ppid=9824 vsize=228740 CPUtime=5.4 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 14771 1259 0 0 539 1 0 0 25 0 5 0 732376269 234229760 44984 33554432000 4194304 4417452 140734716094480 18446744073709551615 4248888 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=228740 CPUtime=5.47 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 14027 1259 0 0 546 1 0 0 25 0 5 0 732376270 234229760 44984 33554432000 4194304 4417452 140734716094480 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=228740 CPUtime=5.48 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 6454 1259 0 0 548 0 0 0 25 0 5 0 732376270 234229760 44984 33554432000 4194304 4417452 140734716094480 18446744073709551615 4356995 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 22.68
Current children cumulated vsize (KiB) 228740

[startup+12.7005 s]
/proc/loadavg: 7.69 7.94 7.99 9/422 9836
/proc/meminfo: memFree=19560980/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=248932 CPUtime=48.18 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) S 9824 9826 9516 0 -1 4202496 81238 1259 0 0 4808 10 0 0 25 0 5 0 732376189 254906368 50032 33554432000 4194304 4417452 140734716094480 18446744073709551615 216000395237 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/9826/statm: 62233 50032 180 55 0 60119 0
[pid=9826/tid=9833] ppid=9824 vsize=248932 CPUtime=11.84 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (plingeling) R 9824 9826 9516 0 -1 4202560 11364 1259 0 0 1183 1 0 0 25 0 5 0 732376269 254906368 50032 33554432000 4194304 4417452 140734716094480 18446744073709551615 4232801 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9826/tid=9834] ppid=9824 vsize=248932 CPUtime=11.76 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 14771 1259 0 0 1175 1 0 0 25 0 5 0 732376269 254906368 50032 33554432000 4194304 4417452 140734716094480 18446744073709551615 4358082 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=248932 CPUtime=11.87 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 14027 1259 0 0 1186 1 0 0 25 0 5 0 732376270 254906368 50032 33554432000 4194304 4417452 140734716094480 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=248932 CPUtime=11.87 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 11614 1259 0 0 1187 0 0 0 25 0 5 0 732376270 254906368 50032 33554432000 4194304 4417452 140734716094480 18446744073709551615 4356995 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 48.18
Current children cumulated vsize (KiB) 248932

[startup+25.5012 s]
/proc/loadavg: 7.84 7.96 7.99 9/422 9836
/proc/meminfo: memFree=19438460/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=294308 CPUtime=99.21 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) S 9824 9826 9516 0 -1 4202496 92818 1259 0 0 9909 12 0 0 25 0 5 0 732376189 301371392 61376 33554432000 4194304 4417452 140734716094480 18446744073709551615 216000395237 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/9826/statm: 73577 61376 180 55 0 71463 0
[pid=9826/tid=9833] ppid=9824 vsize=294308 CPUtime=24.46 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (plingeling) R 9824 9826 9516 0 -1 4202560 12274 1259 0 0 2445 1 0 0 25 0 5 0 732376269 301371392 61376 33554432000 4194304 4417452 140734716094480 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9826/tid=9834] ppid=9824 vsize=294308 CPUtime=24.57 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 15157 1259 0 0 2455 2 0 0 25 0 5 0 732376269 301371392 61376 33554432000 4194304 4417452 140734716094480 18446744073709551615 4264232 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=294308 CPUtime=24.68 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 16513 1259 0 0 2466 2 0 0 25 0 5 0 732376270 301371392 61376 33554432000 4194304 4417452 140734716094480 18446744073709551615 4357142 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=294308 CPUtime=24.68 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 19412 1259 0 0 2467 1 0 0 25 0 5 0 732376270 301371392 61376 33554432000 4194304 4417452 140734716094480 18446744073709551615 4364567 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 99.21
Current children cumulated vsize (KiB) 294308

[startup+51.1007 s]
/proc/loadavg: 7.89 7.96 7.99 9/422 9837
/proc/meminfo: memFree=19319920/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=360236 CPUtime=201.26 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) S 9824 9826 9516 0 -1 4202496 135033 1259 0 0 20109 17 0 0 25 0 5 0 732376189 368881664 77858 33554432000 4194304 4417452 140734716094480 18446744073709551615 216000395237 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/9826/statm: 90059 77858 180 55 0 87945 0
[pid=9826/tid=9833] ppid=9824 vsize=360236 CPUtime=49.71 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (plingeling) R 9824 9826 9516 0 -1 4202560 18808 1259 0 0 4969 2 0 0 25 0 5 0 732376269 368881664 77858 33554432000 4194304 4417452 140734716094480 18446744073709551615 4357260 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9826/tid=9834] ppid=9824 vsize=360236 CPUtime=50.16 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 19322 1259 0 0 5014 2 0 0 25 0 5 0 732376269 368881664 77858 33554432000 4194304 4417452 140734716094480 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=360236 CPUtime=50.28 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 16513 1259 0 0 5026 2 0 0 25 0 5 0 732376270 368881664 77858 33554432000 4194304 4417452 140734716094480 18446744073709551615 4356992 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=360236 CPUtime=50.27 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 50928 1259 0 0 5022 5 0 0 25 0 5 0 732376270 368881664 77858 33554432000 4194304 4417452 140734716094480 18446744073709551615 4358008 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 201.26
Current children cumulated vsize (KiB) 360236

[startup+102.317 s]
/proc/loadavg: 7.95 7.97 7.99 9/422 9838
/proc/meminfo: memFree=19136012/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=481908 CPUtime=405.41 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) S 9824 9826 9516 0 -1 4202496 231972 1259 0 0 40511 30 0 0 25 0 5 0 732376189 493473792 108282 33554432000 4194304 4417452 140734716094480 18446744073709551615 216000395237 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/9826/statm: 120477 108282 180 55 0 118363 0
[pid=9826/tid=9833] ppid=9824 vsize=481908 CPUtime=100.21 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (plingeling) R 9824 9826 9516 0 -1 4202560 25464 1259 0 0 10018 3 0 0 25 0 5 0 732376269 493473792 108282 33554432000 4194304 4417452 140734716094480 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9826/tid=9834] ppid=9824 vsize=481908 CPUtime=101.38 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 24662 1259 0 0 10135 3 0 0 25 0 5 0 732376269 493473792 108282 33554432000 4194304 4417452 140734716094480 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=481908 CPUtime=101.49 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 28378 1259 0 0 10146 3 0 0 25 0 5 0 732376270 493473792 108282 33554432000 4194304 4417452 140734716094480 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=481908 CPUtime=101.5 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 124006 1259 0 0 10135 15 0 0 25 0 5 0 732376270 493473792 108282 33554432000 4194304 4417452 140734716094480 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 405.41
Current children cumulated vsize (KiB) 481908

[startup+162.3 s]
/proc/loadavg: 8.07 8.00 8.00 9/422 9840
/proc/meminfo: memFree=18874456/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=564460 CPUtime=644.54 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) S 9824 9826 9516 0 -1 4202496 341987 1259 0 0 64407 47 0 0 25 0 5 0 732376189 578007040 128920 33554432000 4194304 4417452 140734716094480 18446744073709551615 216000395237 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/9826/statm: 141115 128920 180 55 0 139001 0
[pid=9826/tid=9833] ppid=9824 vsize=564460 CPUtime=159.39 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (plingeling) R 9824 9826 9516 0 -1 4202560 34554 1259 0 0 15934 5 0 0 25 0 5 0 732376269 578007040 128920 33554432000 4194304 4417452 140734716094480 18446744073709551615 4357566 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9826/tid=9834] ppid=9824 vsize=564460 CPUtime=161.36 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 29398 1259 0 0 16133 3 0 0 25 0 5 0 732376269 578007040 128920 33554432000 4194304 4417452 140734716094480 18446744073709551615 4357566 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=564460 CPUtime=161.47 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 53746 1259 0 0 16141 6 0 0 25 0 5 0 732376270 578007040 128920 33554432000 4194304 4417452 140734716094480 18446744073709551615 4354492 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=564460 CPUtime=161.48 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 194827 1259 0 0 16122 26 0 0 25 0 5 0 732376270 578007040 128920 33554432000 4194304 4417452 140734716094480 18446744073709551615 4358082 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 644.54
Current children cumulated vsize (KiB) 564460


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

[pid=9826/tid=9834] ppid=9824 vsize=1597856 CPUtime=701.37 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 173998 1259 0 0 70111 26 0 0 25 0 5 0 732376269 1636204544 370887 33554432000 4194304 4417452 140734716094480 18446744073709551615 4264768 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=1597856 CPUtime=701.47 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 443594 1259 0 0 70081 66 0 0 25 0 5 0 732376270 1636204544 370887 33554432000 4194304 4417452 140734716094480 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=1597856 CPUtime=701.48 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 1104451 1259 0 0 69984 164 0 0 25 0 5 0 732376270 1636204544 370887 33554432000 4194304 4417452 140734716094480 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2797.16
Current children cumulated vsize (KiB) 1597856

[startup+762.316 s]
/proc/loadavg: 8.10 8.09 8.02 9/422 9856
/proc/meminfo: memFree=17627520/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=1179956 CPUtime=3036.4 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) S 9824 9826 9516 0 -1 4202496 2130806 1259 0 0 303315 325 0 0 25 0 5 0 732376189 1208274944 266412 33554432000 4194304 4417452 140734716094480 18446744073709551615 216000395237 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/9826/statm: 294989 266412 180 55 0 292875 0
[pid=9826/tid=9833] ppid=9824 vsize=1179956 CPUtime=751.19 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (plingeling) R 9824 9826 9516 0 -1 4202560 208913 1259 0 0 75089 30 0 0 25 0 5 0 732376269 1208274944 266412 33554432000 4194304 4417452 140734716094480 18446744073709551615 4357159 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9826/tid=9834] ppid=9824 vsize=1179956 CPUtime=761.39 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 215318 1259 0 0 76107 32 0 0 25 0 5 0 732376269 1208274944 266412 33554432000 4194304 4417452 140734716094480 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=1179956 CPUtime=761.49 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 475856 1259 0 0 76077 72 0 0 25 0 5 0 732376270 1208274944 266412 33554432000 4194304 4417452 140734716094480 18446744073709551615 4306272 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=1179956 CPUtime=761.5 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 1201257 1259 0 0 75964 186 0 0 25 0 5 0 732376270 1208274944 266412 33554432000 4194304 4417452 140734716094480 18446744073709551615 4357281 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3036.4
Current children cumulated vsize (KiB) 1179956

[startup+822.301 s]
/proc/loadavg: 8.14 8.10 8.03 9/422 9858
/proc/meminfo: memFree=17472744/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=1667432 CPUtime=3275.53 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) S 9824 9826 9516 0 -1 4202496 2327205 1259 0 0 327203 350 0 0 25 0 5 0 732376189 1707450368 388294 33554432000 4194304 4417452 140734716094480 18446744073709551615 216000395237 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/9826/statm: 416858 388294 180 55 0 414744 0
[pid=9826/tid=9833] ppid=9824 vsize=1667432 CPUtime=810.36 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (plingeling) R 9824 9826 9516 0 -1 4202560 230474 1259 0 0 81002 34 0 0 25 0 5 0 732376269 1707450368 388294 33554432000 4194304 4417452 140734716094480 18446744073709551615 4309920 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9826/tid=9834] ppid=9824 vsize=1667432 CPUtime=821.37 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 236676 1259 0 0 82103 34 0 0 25 0 5 0 732376269 1707450368 388294 33554432000 4194304 4417452 140734716094480 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=1667432 CPUtime=821.48 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 518214 1259 0 0 82069 79 0 0 25 0 5 0 732376270 1707450368 388294 33554432000 4194304 4417452 140734716094480 18446744073709551615 4250795 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=1667432 CPUtime=821.48 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 1312379 1259 0 0 81951 197 0 0 25 0 5 0 732376270 1707450368 388294 33554432000 4194304 4417452 140734716094480 18446744073709551615 4357595 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3275.53
Current children cumulated vsize (KiB) 1667432

[startup+882.3 s]
/proc/loadavg: 8.05 8.08 8.02 9/422 9859
/proc/meminfo: memFree=17396196/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=1326900 CPUtime=3514.69 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) S 9824 9826 9516 0 -1 4202496 2627050 1259 0 0 351063 406 0 0 25 0 5 0 732376189 1358745600 303133 33554432000 4194304 4417452 140734716094480 18446744073709551615 216000395237 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/9826/statm: 331725 303133 180 55 0 329611 0
[pid=9826/tid=9833] ppid=9824 vsize=1326900 CPUtime=870.08 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (plingeling) R 9824 9826 9516 0 -1 4202560 252905 1259 0 0 86970 38 0 0 25 0 5 0 732376269 1358745600 303133 33554432000 4194304 4417452 140734716094480 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9826/tid=9834] ppid=9824 vsize=1326900 CPUtime=881.37 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 261609 1259 0 0 88099 38 0 0 25 0 5 0 732376269 1358745600 303133 33554432000 4194304 4417452 140734716094480 18446744073709551615 4365602 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=1326900 CPUtime=880.93 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 553154 1259 0 0 88009 84 0 0 25 0 5 0 732376270 1358745600 303133 33554432000 4194304 4417452 140734716094480 18446744073709551615 4364877 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=1326900 CPUtime=881.47 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 1529920 1259 0 0 87907 240 0 0 25 0 5 0 732376270 1358745600 303133 33554432000 4194304 4417452 140734716094480 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3514.69
Current children cumulated vsize (KiB) 1326900

[startup+942.301 s]
/proc/loadavg: 8.07 8.08 8.02 9/422 9861
/proc/meminfo: memFree=17080340/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=1872692 CPUtime=3753.87 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) S 9824 9826 9516 0 -1 4202496 2886977 1259 0 0 374947 440 0 0 25 0 5 0 732376189 1917636608 439627 33554432000 4194304 4417452 140734716094480 18446744073709551615 216000395237 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/9826/statm: 468173 439627 180 55 0 466059 0
[pid=9826/tid=9833] ppid=9824 vsize=1872692 CPUtime=930.07 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (plingeling) R 9824 9826 9516 0 -1 4202560 265451 1259 0 0 92967 40 0 0 25 0 5 0 732376269 1917636608 439627 33554432000 4194304 4417452 140734716094480 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9826/tid=9834] ppid=9824 vsize=1872692 CPUtime=941.37 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 290493 1259 0 0 94096 41 0 0 25 0 5 0 732376269 1917636608 439627 33554432000 4194304 4417452 140734716094480 18446744073709551615 4307609 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=1872692 CPUtime=940.12 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 610056 1259 0 0 93920 92 0 0 25 0 5 0 732376270 1917636608 439627 33554432000 4194304 4417452 140734716094480 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=1872692 CPUtime=941.48 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 1691515 1259 0 0 93887 261 0 0 25 0 5 0 732376270 1917636608 439627 33554432000 4194304 4417452 140734716094480 18446744073709551615 4356847 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3753.87
Current children cumulated vsize (KiB) 1872692

[startup+1002.3 s]
/proc/loadavg: 8.07 8.08 8.02 9/422 9862
/proc/meminfo: memFree=16909572/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=1694868 CPUtime=3993.04 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) S 9824 9826 9516 0 -1 4202496 3169209 1259 0 0 398822 482 0 0 25 0 5 0 732376189 1735544832 395119 33554432000 4194304 4417452 140734716094480 18446744073709551615 216000395237 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/9826/statm: 423717 395119 180 55 0 421603 0
[pid=9826/tid=9833] ppid=9824 vsize=1694868 CPUtime=990.07 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (plingeling) R 9824 9826 9516 0 -1 4202560 300640 1259 0 0 98963 44 0 0 25 0 5 0 732376269 1735544832 395119 33554432000 4194304 4417452 140734716094480 18446744073709551615 4263109 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9826/tid=9834] ppid=9824 vsize=1694868 CPUtime=1001.38 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 443503 1259 0 0 100077 61 0 0 25 0 5 0 732376269 1735544832 395119 33554432000 4194304 4417452 140734716094480 18446744073709551615 4236797 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=1694868 CPUtime=999.28 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 649389 1259 0 0 99829 99 0 0 25 0 5 0 732376270 1735544832 395119 33554432000 4194304 4417452 140734716094480 18446744073709551615 4277485 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=1694868 CPUtime=1001.48 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 1746215 1259 0 0 99876 272 0 0 25 0 5 0 732376270 1735544832 395119 33554432000 4194304 4417452 140734716094480 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3993.04
Current children cumulated vsize (KiB) 1694868

[startup+1062.3 s]
/proc/loadavg: 8.06 8.07 8.02 9/422 9864
/proc/meminfo: memFree=16063720/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=2477608 CPUtime=4232.23 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) S 9824 9826 9516 0 -1 4202496 3516585 1259 0 0 422686 537 0 0 25 0 5 0 732376189 2537070592 590845 33554432000 4194304 4417452 140734716094480 18446744073709551615 216000395237 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/9826/statm: 619402 590845 180 55 0 617288 0
[pid=9826/tid=9833] ppid=9824 vsize=2477608 CPUtime=1050.07 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (plingeling) R 9824 9826 9516 0 -1 4202560 330061 1259 0 0 104959 48 0 0 25 0 5 0 732376269 2537070592 590845 33554432000 4194304 4417452 140734716094480 18446744073709551615 4236554 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9826/tid=9834] ppid=9824 vsize=2477608 CPUtime=1061.38 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 509407 1259 0 0 106065 73 0 0 25 0 5 0 732376269 2537070592 590845 33554432000 4194304 4417452 140734716094480 18446744073709551615 4264942 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=2477608 CPUtime=1058.47 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 746185 1259 0 0 105733 114 0 0 25 0 5 0 732376270 2537070592 590845 33554432000 4194304 4417452 140734716094480 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=2477608 CPUtime=1061.48 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 1901470 1259 0 0 105852 296 0 0 25 0 5 0 732376270 2537070592 590845 33554432000 4194304 4417452 140734716094480 18446744073709551615 4259186 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4232.23
Current children cumulated vsize (KiB) 2477608

[startup+1122.3 s]
/proc/loadavg: 8.10 8.07 8.02 9/422 9866
/proc/meminfo: memFree=16751016/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=1498160 CPUtime=4471.41 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) S 9824 9826 9516 0 -1 4202496 3736801 1259 0 0 446560 581 0 0 25 0 5 0 732376189 1534115840 345925 33554432000 4194304 4417452 140734716094480 18446744073709551615 216000395237 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/9826/statm: 374540 345925 180 55 0 372426 0
[pid=9826/tid=9833] ppid=9824 vsize=1498160 CPUtime=1110.07 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (plingeling) R 9824 9826 9516 0 -1 4202560 357843 1259 0 0 110955 52 0 0 25 0 5 0 732376269 1534115840 345925 33554432000 4194304 4417452 140734716094480 18446744073709551615 4356995 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9826/tid=9834] ppid=9824 vsize=1498160 CPUtime=1121.37 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 538053 1259 0 0 112060 77 0 0 25 0 5 0 732376269 1534115840 345925 33554432000 4194304 4417452 140734716094480 18446744073709551615 4365954 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=1498160 CPUtime=1117.65 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 804283 1259 0 0 111641 124 0 0 25 0 5 0 732376270 1534115840 345925 33554432000 4194304 4417452 140734716094480 18446744073709551615 4232508 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=1498160 CPUtime=1121.48 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 2007160 1259 0 0 111827 321 0 0 25 0 5 0 732376270 1534115840 345925 33554432000 4194304 4417452 140734716094480 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4471.41
Current children cumulated vsize (KiB) 1498160

[startup+1182.3 s]
/proc/loadavg: 6.16 7.57 7.85 5/412 9885
/proc/meminfo: memFree=18899644/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=2486376 CPUtime=4710.6 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) S 9824 9826 9516 0 -1 4202496 4079546 1259 0 0 470435 625 0 0 25 0 5 0 732376189 2546049024 594882 33554432000 4194304 4417452 140734716094480 18446744073709551615 216000395237 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/9826/statm: 621594 594882 180 55 0 619480 0
[pid=9826/tid=9833] ppid=9824 vsize=2486376 CPUtime=1170.06 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (plingeling) R 9824 9826 9516 0 -1 4202560 462013 1259 0 0 116942 64 0 0 25 0 5 0 732376269 2546049024 594882 33554432000 4194304 4417452 140734716094480 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9826/tid=9834] ppid=9824 vsize=2486376 CPUtime=1181.38 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 550769 1259 0 0 118059 79 0 0 25 0 5 0 732376269 2546049024 594882 33554432000 4194304 4417452 140734716094480 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=2486376 CPUtime=1176.84 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 930562 1259 0 0 117541 143 0 0 25 0 5 0 732376270 2546049024 594882 33554432000 4194304 4417452 140734716094480 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=2486376 CPUtime=1181.48 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 2106740 1259 0 0 117816 332 0 0 25 0 5 0 732376270 2546049024 594882 33554432000 4194304 4417452 140734716094480 18446744073709551615 4358748 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4710.6
Current children cumulated vsize (KiB) 2486376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.8 s]
/proc/loadavg: 5.42 7.28 7.75 5/412 9886
/proc/meminfo: memFree=19244080/32950940 swapFree=67111356/67111528
[pid=9826] ppid=9824 vsize=2141600 CPUtime=4800.3 cores=1,3,5,7
/proc/9826/stat : 9826 (plingeling) S 9824 9826 9516 0 -1 4202496 4168376 1259 0 0 479384 646 0 0 25 0 5 0 732376189 2192998400 508722 33554432000 4194304 4417452 140734716094480 18446744073709551615 216000395237 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/9826/statm: 535400 508722 180 55 0 533286 0
[pid=9826/tid=9833] ppid=9824 vsize=2141600 CPUtime=1192.57 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (plingeling) R 9824 9826 9516 0 -1 4202560 473646 1259 0 0 119191 66 0 0 25 0 5 0 732376269 2192998400 508722 33554432000 4194304 4417452 140734716094480 18446744073709551615 4263227 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9826/tid=9834] ppid=9824 vsize=2141600 CPUtime=1203.89 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (plingeling) R 9824 9826 9516 0 -1 4202560 550772 1259 0 0 120310 79 0 0 25 0 5 0 732376269 2192998400 508722 33554432000 4194304 4417452 140734716094480 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9826/tid=9835] ppid=9824 vsize=2141600 CPUtime=1199.03 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (plingeling) R 9824 9826 9516 0 -1 4202560 931711 1259 0 0 119757 146 0 0 25 0 5 0 732376270 2192998400 508722 33554432000 4194304 4417452 140734716094480 18446744073709551615 4330445 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9826/tid=9836] ppid=9824 vsize=2141600 CPUtime=1204 cores=1,3,5,7
/proc/9826/task/9836/stat : 9836 (plingeling) R 9824 9826 9516 0 -1 4202560 2182785 1259 0 0 120051 349 0 0 25 0 5 0 732376270 2192998400 508722 33554432000 4194304 4417452 140734716094480 18446744073709551615 4366646 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 2141600

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.91
CPU time (s): 4800.45
CPU user time (s): 4793.89
CPU system time (s): 6.555
CPU usage (%): 398.408
Max. virtual memory (cumulated for all children) (KiB): 2656312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.89
system time used= 6.555
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4169636
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= 236
involuntary context switches= 33909

runsolver used 4.32234 second user time and 12.1512 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-15 03:04:14
IDJOB=3371489
IDBENCH=82389
IDSOLVER=1848
FILE ID=node117/3371489-1305421454
RUNJOBID= node117-1305418966-9535
PBS_JOBID= 13324567
Free space on /tmp= 73232 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-3371489-1305421454/watcher-3371489-1305421454 -o /tmp/evaluation-result-3371489-1305421454/solver-3371489-1305421454 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3371489-1305421454.cnf

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

MD5SUM BENCH= 4ab53801f3b1a3f7169c9fb38cba4184
RANDOM SEED=1049537697

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

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      19750112 kB
Buffers:        302284 kB
Cached:        3301120 kB
SwapCached:          0 kB
Active:       10931804 kB
Inactive:      1912660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      19750112 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           15468 kB
Writeback:           0 kB
AnonPages:     9240608 kB
Mapped:          32428 kB
Slab:           244240 kB
PageTables:      47164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 101876708 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= 73400 MiB
End job on node117 at 2011-05-15 03:24:21