Trace number 3290725

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 587? (TO) 4800.21 1202.14

General information on the benchmark

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

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290725-1304097386/watcher-3290725-1304097386 -o /tmp/evaluation-result-3290725-1304097386/solver-3290725-1304097386 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3290725-1304097386.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.87 7.94 7.59 5/181 1766
/proc/meminfo: memFree=25536568/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=8860 CPUtime=0 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) R 1764 1766 1454 0 -1 4202496 282 1258 0 0 0 0 0 0 25 0 1 0 502154092 9072640 211 33554432000 4194304 4417332 140734143940384 18446744073709551615 228095144907 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/1766/statm: 2215 222 146 55 0 101 0

[startup+0.060859 s]
/proc/loadavg: 7.87 7.94 7.59 5/181 1766
/proc/meminfo: memFree=25536568/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=19592 CPUtime=0.05 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) R 1764 1766 1454 0 -1 4202496 3120 1258 0 0 5 0 0 0 25 0 1 0 502154092 20062208 2921 33554432000 4194304 4417332 140734143940384 18446744073709551615 4209709 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/1766/statm: 4898 2921 148 55 0 2784 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19592

[startup+0.100837 s]
/proc/loadavg: 7.87 7.94 7.59 5/181 1766
/proc/meminfo: memFree=25536568/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=27784 CPUtime=0.09 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) R 1764 1766 1454 0 -1 4202496 5168 1258 0 0 9 0 0 0 25 0 1 0 502154092 28450816 4969 33554432000 4194304 4417332 140734143940384 18446744073709551615 4259618 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/1766/statm: 6946 4969 148 55 0 4832 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27784

[startup+0.300804 s]
/proc/loadavg: 7.87 7.94 7.59 5/181 1766
/proc/meminfo: memFree=25536568/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=76936 CPUtime=0.29 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) R 1764 1766 1454 0 -1 4202496 17456 1258 0 0 27 2 0 0 25 0 1 0 502154092 78782464 17257 33554432000 4194304 4417332 140734143940384 18446744073709551615 4227869 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/1766/statm: 19234 17257 148 55 0 17120 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 76936

[startup+0.700693 s]
/proc/loadavg: 7.87 7.94 7.59 5/181 1766
/proc/meminfo: memFree=25536568/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=173864 CPUtime=1.76 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 18458 1258 0 0 174 2 0 0 25 0 5 0 502154092 178036736 14924 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 43466 14924 174 55 0 41352 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 173864

[startup+1.50055 s]
/proc/loadavg: 7.87 7.94 7.59 9/186 1776
/proc/meminfo: memFree=25476520/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=192376 CPUtime=4.95 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 23953 1258 0 0 492 3 0 0 25 0 5 0 502154092 196993024 19572 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 48094 19572 176 55 0 45980 0
[pid=1766/tid=1773] ppid=1764 vsize=192376 CPUtime=1.15 cores=0,2,4,6
/proc/1766/task/1773/stat : 1773 (plingeling) R 1764 1766 1454 0 -1 4202560 387 1258 0 0 115 0 0 0 25 0 5 0 502154126 196993024 19572 33554432000 4194304 4417332 140734143940384 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1766/tid=1774] ppid=1764 vsize=192376 CPUtime=1.14 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 2269 1258 0 0 114 0 0 0 25 0 5 0 502154126 196993024 19572 33554432000 4194304 4417332 140734143940384 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=192376 CPUtime=1.15 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 2335 1258 0 0 115 0 0 0 25 0 5 0 502154126 196993024 19572 33554432000 4194304 4417332 140734143940384 18446744073709551615 4255998 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=192376 CPUtime=1.15 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 1494 1258 0 0 115 0 0 0 25 0 5 0 502154126 196993024 19572 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364512 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.95
Current children cumulated vsize (KiB) 192376

[startup+3.10025 s]
/proc/loadavg: 7.87 7.94 7.59 9/186 1776
/proc/meminfo: memFree=25444900/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=212292 CPUtime=11.34 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 31608 1258 0 0 1130 4 0 0 25 0 5 0 502154092 217387008 24562 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 53073 24562 180 55 0 50959 0
[pid=1766/tid=1773] ppid=1764 vsize=212292 CPUtime=2.74 cores=0,2,4,6
/proc/1766/task/1773/stat : 1773 (plingeling) R 1764 1766 1454 0 -1 4202560 4160 1258 0 0 274 0 0 0 25 0 5 0 502154126 217387008 24562 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364736 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1766/tid=1774] ppid=1764 vsize=212292 CPUtime=2.73 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 3934 1258 0 0 273 0 0 0 25 0 5 0 502154126 217387008 24562 33554432000 4194304 4417332 140734143940384 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=212292 CPUtime=2.75 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 2528 1258 0 0 275 0 0 0 25 0 5 0 502154126 217387008 24562 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=212292 CPUtime=2.75 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 3518 1258 0 0 275 0 0 0 25 0 5 0 502154126 217387008 24562 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.34
Current children cumulated vsize (KiB) 212292

[startup+6.30066 s]
/proc/loadavg: 7.88 7.94 7.59 9/186 1776
/proc/meminfo: memFree=25423448/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=224484 CPUtime=24.12 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 37110 1258 0 0 2407 5 0 0 25 0 5 0 502154092 229871616 27584 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 56121 27584 180 55 0 54007 0
[pid=1766/tid=1773] ppid=1764 vsize=224484 CPUtime=5.94 cores=0,2,4,6
/proc/1766/task/1773/stat : 1773 (plingeling) R 1764 1766 1454 0 -1 4202560 5292 1258 0 0 594 0 0 0 25 0 5 0 502154126 229871616 27584 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1766/tid=1774] ppid=1764 vsize=224484 CPUtime=5.91 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 4425 1258 0 0 591 0 0 0 25 0 5 0 502154126 229871616 27584 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=224484 CPUtime=5.95 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 3119 1258 0 0 595 0 0 0 25 0 5 0 502154126 229871616 27584 33554432000 4194304 4417332 140734143940384 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=224484 CPUtime=5.94 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 6806 1258 0 0 594 0 0 0 25 0 5 0 502154126 229871616 27584 33554432000 4194304 4417332 140734143940384 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.12
Current children cumulated vsize (KiB) 224484

[startup+12.7005 s]
/proc/loadavg: 7.89 7.94 7.60 9/186 1776
/proc/meminfo: memFree=25437996/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=219852 CPUtime=49.69 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 51763 1258 0 0 4961 8 0 0 25 0 5 0 502154092 225128448 26490 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 54963 26490 180 55 0 52849 0
[pid=1766/tid=1773] ppid=1764 vsize=219852 CPUtime=12.34 cores=0,2,4,6
/proc/1766/task/1773/stat : 1773 (plingeling) R 1764 1766 1454 0 -1 4202560 9572 1258 0 0 1233 1 0 0 25 0 5 0 502154126 225128448 26490 33554432000 4194304 4417332 140734143940384 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1766/tid=1774] ppid=1764 vsize=219852 CPUtime=12.29 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 5443 1258 0 0 1228 1 0 0 25 0 5 0 502154126 225128448 26490 33554432000 4194304 4417332 140734143940384 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=219852 CPUtime=12.35 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 4893 1258 0 0 1235 0 0 0 25 0 5 0 502154126 225128448 26490 33554432000 4194304 4417332 140734143940384 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=219852 CPUtime=12.34 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 14387 1258 0 0 1232 2 0 0 25 0 5 0 502154126 225128448 26490 33554432000 4194304 4417332 140734143940384 18446744073709551615 4365963 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.69
Current children cumulated vsize (KiB) 219852

[startup+25.5011 s]
/proc/loadavg: 7.91 7.94 7.60 9/186 1777
/proc/meminfo: memFree=25414200/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=237920 CPUtime=100.83 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 83441 1258 0 0 10069 14 0 0 25 0 5 0 502154092 243630080 31007 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 59480 31007 180 55 0 57366 0
[pid=1766/tid=1773] ppid=1764 vsize=237920 CPUtime=25.15 cores=0,2,4,6
/proc/1766/task/1773/stat : 1773 (plingeling) R 1764 1766 1454 0 -1 4202560 18224 1258 0 0 2512 3 0 0 25 0 5 0 502154126 243630080 31007 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1766/tid=1774] ppid=1764 vsize=237920 CPUtime=25.02 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 8447 1258 0 0 2501 1 0 0 25 0 5 0 502154126 243630080 31007 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364656 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=237920 CPUtime=25.15 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 9720 1258 0 0 2513 2 0 0 25 0 5 0 502154126 243630080 31007 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364734 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=237920 CPUtime=25.14 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 29582 1258 0 0 2510 4 0 0 25 0 5 0 502154126 243630080 31007 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.83
Current children cumulated vsize (KiB) 237920

[startup+51.1004 s]
/proc/loadavg: 8.00 7.96 7.62 9/186 1777
/proc/meminfo: memFree=25395312/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=258780 CPUtime=203.1 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 133472 1258 0 0 20288 22 0 0 25 0 5 0 502154092 264990720 36192 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 64695 36192 181 55 0 62581 0
[pid=1766/tid=1773] ppid=1764 vsize=258780 CPUtime=50.74 cores=0,2,4,6
/proc/1766/task/1773/stat : 1773 (plingeling) R 1764 1766 1454 0 -1 4202560 31025 1258 0 0 5069 5 0 0 25 0 5 0 502154126 264990720 36192 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1766/tid=1774] ppid=1764 vsize=258780 CPUtime=50.5 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 16729 1258 0 0 5047 3 0 0 25 0 5 0 502154126 264990720 36192 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=258780 CPUtime=50.75 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 19719 1258 0 0 5072 3 0 0 25 0 5 0 502154126 264990720 36192 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=258780 CPUtime=50.74 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 48531 1258 0 0 5067 7 0 0 25 0 5 0 502154126 264990720 36192 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.1
Current children cumulated vsize (KiB) 258780

[startup+102.307 s]
/proc/loadavg: 8.04 7.98 7.64 9/186 1779
/proc/meminfo: memFree=25362188/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=266032 CPUtime=407.67 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 233055 1258 0 0 40728 39 0 0 25 0 5 0 502154092 272416768 38030 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 66508 38030 181 55 0 64394 0
[pid=1766/tid=1773] ppid=1764 vsize=266032 CPUtime=101.96 cores=0,2,4,6
/proc/1766/task/1773/stat : 1773 (plingeling) R 1764 1766 1454 0 -1 4202560 57197 1258 0 0 10186 10 0 0 25 0 5 0 502154126 272416768 38030 33554432000 4194304 4417332 140734143940384 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1766/tid=1774] ppid=1764 vsize=266032 CPUtime=101.44 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 33421 1258 0 0 10138 6 0 0 25 0 5 0 502154126 272416768 38030 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=266032 CPUtime=101.96 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 36740 1258 0 0 10190 6 0 0 25 0 5 0 502154126 272416768 38030 33554432000 4194304 4417332 140734143940384 18446744073709551615 4277945 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=266032 CPUtime=101.94 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 88229 1258 0 0 10181 13 0 0 25 0 5 0 502154126 272416768 38030 33554432000 4194304 4417332 140734143940384 18446744073709551615 4365960 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.67
Current children cumulated vsize (KiB) 266032

[startup+162.301 s]
/proc/loadavg: 8.05 7.99 7.66 9/186 1780
/proc/meminfo: memFree=25368848/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=271972 CPUtime=647.34 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 346428 1258 0 0 64674 60 0 0 25 0 5 0 502154092 278499328 39521 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 67993 39521 181 55 0 65879 0
[pid=1766/tid=1773] ppid=1764 vsize=271972 CPUtime=161.96 cores=0,2,4,6
/proc/1766/task/1773/stat : 1773 (plingeling) R 1764 1766 1454 0 -1 4202560 79909 1258 0 0 16181 15 0 0 25 0 5 0 502154126 278499328 39521 33554432000 4194304 4417332 140734143940384 18446744073709551615 4366025 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1766/tid=1774] ppid=1764 vsize=271972 CPUtime=161.13 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 59890 1258 0 0 16102 11 0 0 25 0 5 0 502154126 278499328 39521 33554432000 4194304 4417332 140734143940384 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=271972 CPUtime=161.95 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 61490 1258 0 0 16185 10 0 0 25 0 5 0 502154126 278499328 39521 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=271972 CPUtime=161.93 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 127671 1258 0 0 16173 20 0 0 25 0 5 0 502154126 278499328 39521 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 647.34
Current children cumulated vsize (KiB) 271972


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

[pid=1766/tid=1774] ppid=1764 vsize=606364 CPUtime=757.94 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 212723 1258 0 0 75759 35 0 0 25 0 5 0 502154126 620916736 123088 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364938 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=606364 CPUtime=761.97 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 217660 1258 0 0 76162 35 0 0 25 0 5 0 502154126 620916736 123088 33554432000 4194304 4417332 140734143940384 18446744073709551615 4366592 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=606364 CPUtime=761.07 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 340182 1258 0 0 76052 55 0 0 25 0 5 0 502154126 620916736 123088 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364487 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3043.33
Current children cumulated vsize (KiB) 606364

[startup+822.301 s]
/proc/loadavg: 8.06 8.08 7.87 9/186 1801
/proc/meminfo: memFree=24986444/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=596064 CPUtime=3282.99 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 1087459 1258 0 0 328119 180 0 0 25 0 5 0 502154092 610369536 120512 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 149016 120512 181 55 0 146902 0
[pid=1766/tid=1773] ppid=1764 vsize=596064 CPUtime=821.98 cores=0,2,4,6
/proc/1766/task/1773/stat : 1773 (plingeling) R 1764 1766 1454 0 -1 4202560 268047 1258 0 0 82154 44 0 0 25 0 5 0 502154126 610369536 120512 33554432000 4194304 4417332 140734143940384 18446744073709551615 4278215 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1766/tid=1774] ppid=1764 vsize=596064 CPUtime=817.61 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 229659 1258 0 0 81722 39 0 0 25 0 5 0 502154126 610369536 120512 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=596064 CPUtime=821.97 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 232103 1258 0 0 82159 38 0 0 25 0 5 0 502154126 610369536 120512 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=596064 CPUtime=821.06 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 340182 1258 0 0 82051 55 0 0 25 0 5 0 502154126 610369536 120512 33554432000 4194304 4417332 140734143940384 18446744073709551615 4357111 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3282.99
Current children cumulated vsize (KiB) 596064

[startup+882.301 s]
/proc/loadavg: 8.12 8.09 7.89 9/186 1802
/proc/meminfo: memFree=24846052/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=715124 CPUtime=3522.66 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 1144584 1258 0 0 352076 190 0 0 25 0 5 0 502154092 732286976 150278 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 178781 150278 181 55 0 176667 0
[pid=1766/tid=1773] ppid=1764 vsize=715124 CPUtime=881.98 cores=0,2,4,6
/proc/1766/task/1773/stat : 1773 (plingeling) R 1764 1766 1454 0 -1 4202560 278742 1258 0 0 88152 46 0 0 25 0 5 0 502154126 732286976 150278 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364544 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1766/tid=1774] ppid=1764 vsize=715124 CPUtime=877.29 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 243226 1258 0 0 87688 41 0 0 25 0 5 0 502154126 732286976 150278 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=715124 CPUtime=881.98 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 240079 1258 0 0 88158 40 0 0 25 0 5 0 502154126 732286976 150278 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=715124 CPUtime=881.06 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 365069 1258 0 0 88045 61 0 0 25 0 5 0 502154126 732286976 150278 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3522.66
Current children cumulated vsize (KiB) 715124

[startup+942.301 s]
/proc/loadavg: 8.10 8.09 7.90 9/186 1804
/proc/meminfo: memFree=24811304/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=784480 CPUtime=3762.35 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 1213155 1258 0 0 376034 201 0 0 25 0 5 0 502154092 803307520 167617 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 196120 167617 181 55 0 194006 0
[pid=1766/tid=1773] ppid=1764 vsize=784480 CPUtime=941.97 cores=0,2,4,6
/proc/1766/task/1773/stat : 1773 (plingeling) R 1764 1766 1454 0 -1 4202560 300319 1258 0 0 94149 48 0 0 25 0 5 0 502154126 803307520 167617 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1766/tid=1774] ppid=1764 vsize=784480 CPUtime=936.97 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 259619 1258 0 0 93653 44 0 0 25 0 5 0 502154126 803307520 167617 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=784480 CPUtime=941.97 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 254363 1258 0 0 94156 41 0 0 25 0 5 0 502154126 803307520 167617 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=784480 CPUtime=941.05 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 381386 1258 0 0 94041 64 0 0 25 0 5 0 502154126 803307520 167617 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364544 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3762.35
Current children cumulated vsize (KiB) 784480

[startup+1002.3 s]
/proc/loadavg: 7.87 8.04 7.89 9/186 1843
/proc/meminfo: memFree=24879192/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=818328 CPUtime=4002.01 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 1268518 1258 0 0 399991 210 0 0 25 0 5 0 502154092 837967872 176079 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 204582 176079 181 55 0 202468 0
[pid=1766/tid=1773] ppid=1764 vsize=818328 CPUtime=1001.98 cores=0,2,4,6
/proc/1766/task/1773/stat : 1773 (plingeling) R 1764 1766 1454 0 -1 4202560 317054 1258 0 0 100147 51 0 0 25 0 5 0 502154126 837967872 176079 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1766/tid=1774] ppid=1764 vsize=818328 CPUtime=996.64 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 274115 1258 0 0 99618 46 0 0 25 0 5 0 502154126 837967872 176079 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=818328 CPUtime=1001.98 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 270156 1258 0 0 100154 44 0 0 25 0 5 0 502154126 837967872 176079 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=818328 CPUtime=1001.04 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 389725 1258 0 0 100039 65 0 0 25 0 5 0 502154126 837967872 176079 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4002.01
Current children cumulated vsize (KiB) 818328

[startup+1062.3 s]
/proc/loadavg: 8.07 8.06 7.91 9/186 1844
/proc/meminfo: memFree=24779244/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=799260 CPUtime=4241.7 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 1291087 1258 0 0 423956 214 0 0 25 0 5 0 502154092 818442240 171312 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 199815 171312 181 55 0 197701 0
[pid=1766/tid=1773] ppid=1764 vsize=799260 CPUtime=1061.98 cores=0,2,4,6
/proc/1766/task/1773/stat : 1773 (plingeling) R 1764 1766 1454 0 -1 4202560 323309 1258 0 0 106146 52 0 0 25 0 5 0 502154126 818442240 171312 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364887 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1766/tid=1774] ppid=1764 vsize=799260 CPUtime=1056.33 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 283758 1258 0 0 105585 48 0 0 25 0 5 0 502154126 818442240 171312 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364680 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=799260 CPUtime=1061.98 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 276827 1258 0 0 106153 45 0 0 25 0 5 0 502154126 818442240 171312 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=799260 CPUtime=1061.03 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 389725 1258 0 0 106038 65 0 0 25 0 5 0 502154126 818442240 171312 33554432000 4194304 4417332 140734143940384 18446744073709551615 4357111 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4241.7
Current children cumulated vsize (KiB) 799260

[startup+1122.3 s]
/proc/loadavg: 8.13 8.07 7.92 9/186 1846
/proc/meminfo: memFree=24924176/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=619352 CPUtime=4481.37 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 1356510 1258 0 0 447912 225 0 0 25 0 5 0 502154092 634216448 126335 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 154838 126335 181 55 0 152724 0
[pid=1766/tid=1773] ppid=1764 vsize=619352 CPUtime=1121.99 cores=0,2,4,6
/proc/1766/task/1773/stat : 1773 (plingeling) R 1764 1766 1454 0 -1 4202560 331360 1258 0 0 112146 53 0 0 25 0 5 0 502154126 634216448 126335 33554432000 4194304 4417332 140734143940384 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1766/tid=1774] ppid=1764 vsize=619352 CPUtime=1116 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 291297 1258 0 0 111551 49 0 0 25 0 5 0 502154126 634216448 126335 33554432000 4194304 4417332 140734143940384 18446744073709551615 4365003 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=619352 CPUtime=1121.98 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 286104 1258 0 0 112151 47 0 0 25 0 5 0 502154126 634216448 126335 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=619352 CPUtime=1121.03 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 430281 1258 0 0 112031 72 0 0 25 0 5 0 502154126 634216448 126335 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364750 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4481.37
Current children cumulated vsize (KiB) 619352

[startup+1182.3 s]
/proc/loadavg: 8.10 8.07 7.93 9/186 1847
/proc/meminfo: memFree=24774236/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=647380 CPUtime=4721.05 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 1397297 1258 0 0 471874 231 0 0 25 0 5 0 502154092 662917120 133342 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 161845 133342 181 55 0 159731 0
[pid=1766/tid=1773] ppid=1764 vsize=647380 CPUtime=1181.99 cores=0,2,4,6
/proc/1766/task/1773/stat : 1773 (plingeling) R 1764 1766 1454 0 -1 4202560 343807 1258 0 0 118144 55 0 0 25 0 5 0 502154126 662917120 133342 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364811 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1766/tid=1774] ppid=1764 vsize=647380 CPUtime=1175.68 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 300958 1258 0 0 117517 51 0 0 25 0 5 0 502154126 662917120 133342 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=647380 CPUtime=1181.99 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 297830 1258 0 0 118150 49 0 0 25 0 5 0 502154126 662917120 133342 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=647380 CPUtime=1181.03 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 437234 1258 0 0 118030 73 0 0 25 0 5 0 502154126 662917120 133342 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364722 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4721.05
Current children cumulated vsize (KiB) 647380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.1 s]
/proc/loadavg: 8.07 8.07 7.93 9/186 1848
/proc/meminfo: memFree=24739132/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=674140 CPUtime=4800.15 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 1411960 1258 0 0 479782 233 0 0 25 0 5 0 502154092 690319360 140032 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 168535 140032 181 55 0 166421 0
[pid=1766/tid=1773] ppid=1764 vsize=674140 CPUtime=1201.79 cores=0,2,4,6
/proc/1766/task/1773/stat : 1773 (plingeling) R 1764 1766 1454 0 -1 4202560 348712 1258 0 0 120124 55 0 0 25 0 5 0 502154126 690319360 140032 33554432000 4194304 4417332 140734143940384 18446744073709551615 4365963 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1766/tid=1774] ppid=1764 vsize=674140 CPUtime=1195.37 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 306535 1258 0 0 119485 52 0 0 25 0 5 0 502154126 690319360 140032 33554432000 4194304 4417332 140734143940384 18446744073709551615 4250633 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=674140 CPUtime=1201.79 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 302011 1258 0 0 120130 49 0 0 25 0 5 0 502154126 690319360 140032 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364887 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=674140 CPUtime=1200.83 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 437234 1258 0 0 120010 73 0 0 25 0 5 0 502154126 690319360 140032 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 674140

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

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

[startup+1202.1 s]
/proc/loadavg: 8.07 8.07 7.93 9/186 1848
/proc/meminfo: memFree=24739132/32951124 swapFree=67111524/67111528
[pid=1766] ppid=1764 vsize=674140 CPUtime=4800.15 cores=0,2,4,6
/proc/1766/stat : 1766 (plingeling) S 1764 1766 1454 0 -1 4202496 1411960 1258 0 0 479782 233 0 0 25 0 5 0 502154092 690319360 140032 33554432000 4194304 4417332 140734143940384 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1766/statm: 168535 140032 181 55 0 166421 0
[pid=1766/tid=1773] ppid=1764 vsize=674140 CPUtime=1201.79 cores=0,2,4,6
/proc/1766/task/1773/stat : 1773 (plingeling) R 1764 1766 1454 0 -1 4202560 348712 1258 0 0 120124 55 0 0 25 0 5 0 502154126 690319360 140032 33554432000 4194304 4417332 140734143940384 18446744073709551615 4365963 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1766/tid=1774] ppid=1764 vsize=674140 CPUtime=1195.37 cores=0,2,4,6
/proc/1766/task/1774/stat : 1774 (plingeling) R 1764 1766 1454 0 -1 4202560 306535 1258 0 0 119485 52 0 0 25 0 5 0 502154126 690319360 140032 33554432000 4194304 4417332 140734143940384 18446744073709551615 4250633 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1766/tid=1775] ppid=1764 vsize=674140 CPUtime=1201.79 cores=0,2,4,6
/proc/1766/task/1775/stat : 1775 (plingeling) R 1764 1766 1454 0 -1 4202560 302011 1258 0 0 120130 49 0 0 25 0 5 0 502154126 690319360 140032 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364887 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1766/tid=1776] ppid=1764 vsize=674140 CPUtime=1200.83 cores=0,2,4,6
/proc/1766/task/1776/stat : 1776 (plingeling) R 1764 1766 1454 0 -1 4202560 437234 1258 0 0 120010 73 0 0 25 0 5 0 502154126 690319360 140032 33554432000 4194304 4417332 140734143940384 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 674140

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.14
CPU time (s): 4800.21
CPU user time (s): 4797.86
CPU system time (s): 2.35764
CPU usage (%): 399.306
Max. virtual memory (cumulated for all children) (KiB): 829348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.86
system time used= 2.35764
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1413219
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= 84
involuntary context switches= 24309

runsolver used 1.9577 second user time and 4.47232 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-29 19:16:26
IDJOB=3290725
IDBENCH=83446
IDSOLVER=1605
FILE ID=node142/3290725-1304097386
RUNJOBID= node142-1304095973-1472
PBS_JOBID= 13170602
Free space on /tmp= 71308 MiB

SOLVER NAME= Plingeling 587
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-18.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290725-1304097386/watcher-3290725-1304097386 -o /tmp/evaluation-result-3290725-1304097386/solver-3290725-1304097386 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3290725-1304097386.cnf

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

MD5SUM BENCH= 47bea79e2bf12e18e409c2c4bd6fac03
RANDOM SEED=1944302819

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25536848 kB
Buffers:       1679288 kB
Cached:        5043600 kB
SwapCached:          4 kB
Active:         961420 kB
Inactive:      5911384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25536848 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6816 kB
Writeback:          44 kB
AnonPages:      149436 kB
Mapped:          15208 kB
Slab:           478320 kB
PageTables:       4724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   332152 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= 71308 MiB
End job on node142 at 2011-04-29 19:36:30