Trace number 3261946

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.12 1201.92

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-24_567.cnf
MD5SUMcb7c9df8144e5ba66f8009983efe791f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark14.0229
Satisfiable
(Un)Satisfiability was proved
Number of variables284
Number of clauses42826
Sum of the clauses size191271
Maximum clause length24
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2377
Number of clauses of size 339422
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 53027

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-3261946-1304092437/watcher-3261946-1304092437 -o /tmp/evaluation-result-3261946-1304092437/solver-3261946-1304092437 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3261946-1304092437.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: 5.64 4.96 6.24 5/179 12459
/proc/meminfo: memFree=26584868/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=9432 CPUtime=0 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) R 12457 12459 12004 0 -1 4202496 453 1262 0 0 0 0 0 0 25 0 1 0 520842390 9658368 381 33554432000 4194304 4417332 140733865366080 18446744073709551615 242970550016 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/12459/statm: 2358 381 147 55 0 244 0

[startup+0.046206 s]
/proc/loadavg: 5.64 4.96 6.24 5/179 12459
/proc/meminfo: memFree=26584868/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=25648 CPUtime=0.03 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) R 12457 12459 12004 0 -1 4202496 4514 1262 0 0 3 0 0 0 25 0 1 0 520842390 26263552 4420 33554432000 4194304 4417332 140733865366080 18446744073709551615 242970244067 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/12459/statm: 6412 4420 148 55 0 4298 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25648

[startup+0.169148 s]
/proc/loadavg: 5.64 4.96 6.24 5/179 12459
/proc/meminfo: memFree=26584868/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=73104 CPUtime=0.47 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 6584 1262 0 0 47 0 0 0 25 0 5 0 520842390 74858496 5935 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 18276 5935 178 55 0 16162 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 73104

[startup+0.300128 s]
/proc/loadavg: 5.64 4.96 6.24 5/179 12459
/proc/meminfo: memFree=26584868/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=71248 CPUtime=1 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 7172 1262 0 0 100 0 0 0 25 0 5 0 520842390 72957952 5599 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 17812 5599 179 55 0 15698 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 71248

[startup+0.701062 s]
/proc/loadavg: 5.64 4.96 6.24 5/179 12459
/proc/meminfo: memFree=26584868/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=71248 CPUtime=2.6 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 7172 1262 0 0 260 0 0 0 25 0 5 0 520842390 72957952 5599 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 17812 5599 179 55 0 15698 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 71248

[startup+1.50092 s]
/proc/loadavg: 5.64 4.96 6.24 9/184 12469
/proc/meminfo: memFree=26562384/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=73712 CPUtime=5.79 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 7788 1262 0 0 579 0 0 0 25 0 5 0 520842390 75481088 6215 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 18428 6215 179 55 0 16314 0
[pid=12459/tid=12466] ppid=12457 vsize=73712 CPUtime=1.44 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (plingeling) R 12457 12459 12004 0 -1 4202560 922 1262 0 0 144 0 0 0 20 0 5 0 520842396 75481088 6215 33554432000 4194304 4417332 140733865366080 18446744073709551615 4365960 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12459/tid=12467] ppid=12457 vsize=73712 CPUtime=1.43 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 655 1262 0 0 143 0 0 0 20 0 5 0 520842396 75481088 6215 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364720 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=73712 CPUtime=1.43 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 743 1262 0 0 143 0 0 0 25 0 5 0 520842396 75481088 6215 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364750 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=73712 CPUtime=1.43 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 410 1262 0 0 143 0 0 0 25 0 5 0 520842396 75481088 6215 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 73712

[startup+3.10065 s]
/proc/loadavg: 5.64 4.96 6.24 9/184 12469
/proc/meminfo: memFree=26562652/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=79676 CPUtime=12.19 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 9279 1262 0 0 1218 1 0 0 25 0 5 0 520842390 81588224 7706 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 19919 7706 179 55 0 17805 0
[pid=12459/tid=12466] ppid=12457 vsize=79676 CPUtime=3.03 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (plingeling) R 12457 12459 12004 0 -1 4202560 1254 1262 0 0 303 0 0 0 25 0 5 0 520842396 81588224 7706 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364531 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12459/tid=12467] ppid=12457 vsize=79676 CPUtime=3.03 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 762 1262 0 0 303 0 0 0 25 0 5 0 520842396 81588224 7706 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364713 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=79676 CPUtime=3.02 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 1457 1262 0 0 302 0 0 0 25 0 5 0 520842396 81588224 7706 33554432000 4194304 4417332 140733865366080 18446744073709551615 4366002 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=79676 CPUtime=3.03 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 748 1262 0 0 303 0 0 0 25 0 5 0 520842396 81588224 7706 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364473 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 79676

[startup+6.3011 s]
/proc/loadavg: 5.83 5.01 6.25 9/184 12469
/proc/meminfo: memFree=26554588/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=84340 CPUtime=24.97 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 10892 1262 0 0 2496 1 0 0 25 0 5 0 520842390 86364160 8872 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 21085 8872 179 55 0 18971 0
[pid=12459/tid=12466] ppid=12457 vsize=84340 CPUtime=6.23 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (plingeling) R 12457 12459 12004 0 -1 4202560 1254 1262 0 0 623 0 0 0 25 0 5 0 520842396 86364160 8872 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12459/tid=12467] ppid=12457 vsize=84340 CPUtime=6.23 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 948 1262 0 0 623 0 0 0 25 0 5 0 520842396 86364160 8872 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=84340 CPUtime=6.2 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 2130 1262 0 0 620 0 0 0 25 0 5 0 520842396 86364160 8872 33554432000 4194304 4417332 140733865366080 18446744073709551615 4365977 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=84340 CPUtime=6.23 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 1502 1262 0 0 623 0 0 0 25 0 5 0 520842396 86364160 8872 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 84340

[startup+12.701 s]
/proc/loadavg: 6.00 5.06 6.26 9/184 12469
/proc/meminfo: memFree=26540564/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=87032 CPUtime=50.54 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 17045 1262 0 0 5052 2 0 0 25 0 5 0 520842390 89120768 9577 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 21758 9577 179 55 0 19644 0
[pid=12459/tid=12466] ppid=12457 vsize=87032 CPUtime=12.63 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (plingeling) R 12457 12459 12004 0 -1 4202560 1254 1262 0 0 1263 0 0 0 25 0 5 0 520842396 89120768 9577 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12459/tid=12467] ppid=12457 vsize=87032 CPUtime=12.63 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 1410 1262 0 0 1263 0 0 0 25 0 5 0 520842396 89120768 9577 33554432000 4194304 4417332 140733865366080 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=87032 CPUtime=12.56 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 3190 1262 0 0 1256 0 0 0 25 0 5 0 520842396 89120768 9577 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=87032 CPUtime=12.63 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 6133 1262 0 0 1263 0 0 0 25 0 5 0 520842396 89120768 9577 33554432000 4194304 4417332 140733865366080 18446744073709551615 4365897 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 87032

[startup+25.5008 s]
/proc/loadavg: 6.44 5.20 6.29 9/184 12470
/proc/meminfo: memFree=26523584/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=95188 CPUtime=101.66 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 33082 1262 0 0 10162 4 0 0 25 0 5 0 520842390 97472512 11587 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 23797 11587 179 55 0 21683 0
[pid=12459/tid=12466] ppid=12457 vsize=95188 CPUtime=25.43 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (plingeling) R 12457 12459 12004 0 -1 4202560 3853 1262 0 0 2543 0 0 0 25 0 5 0 520842396 97472512 11587 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364671 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12459/tid=12467] ppid=12457 vsize=95188 CPUtime=25.43 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 3133 1262 0 0 2543 0 0 0 25 0 5 0 520842396 97472512 11587 33554432000 4194304 4417332 140733865366080 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=95188 CPUtime=25.29 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 6042 1262 0 0 2529 0 0 0 25 0 5 0 520842396 97472512 11587 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364568 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=95188 CPUtime=25.43 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 14996 1262 0 0 2541 2 0 0 25 0 5 0 520842396 97472512 11587 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 95188

[startup+51.1004 s]
/proc/loadavg: 7.04 5.44 6.34 9/184 12470
/proc/meminfo: memFree=26512640/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=104492 CPUtime=203.93 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 75041 1262 0 0 20382 11 0 0 25 0 5 0 520842390 106999808 13942 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 26123 13942 180 55 0 24009 0
[pid=12459/tid=12466] ppid=12457 vsize=104492 CPUtime=51.03 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (plingeling) R 12457 12459 12004 0 -1 4202560 15712 1262 0 0 5102 1 0 0 25 0 5 0 520842396 106999808 13942 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12459/tid=12467] ppid=12457 vsize=104492 CPUtime=51.02 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 13101 1262 0 0 5100 2 0 0 25 0 5 0 520842396 106999808 13942 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=104492 CPUtime=50.75 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 13544 1262 0 0 5074 1 0 0 25 0 5 0 520842396 106999808 13942 33554432000 4194304 4417332 140733865366080 18446744073709551615 4365906 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=104492 CPUtime=51.02 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 27626 1262 0 0 5099 3 0 0 25 0 5 0 520842396 106999808 13942 33554432000 4194304 4417332 140733865366080 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 104492

[startup+102.307 s]
/proc/loadavg: 7.66 5.85 6.43 9/184 12472
/proc/meminfo: memFree=26478280/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=121372 CPUtime=408.48 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 169155 1262 0 0 40819 29 0 0 25 0 5 0 520842390 124284928 18135 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 30343 18135 180 55 0 28229 0
[pid=12459/tid=12466] ppid=12457 vsize=121372 CPUtime=102.24 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (plingeling) R 12457 12459 12004 0 -1 4202560 40230 1262 0 0 10218 6 0 0 25 0 5 0 520842396 124284928 18135 33554432000 4194304 4417332 140733865366080 18446744073709551615 4365977 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12459/tid=12467] ppid=12457 vsize=121372 CPUtime=102.23 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 36716 1262 0 0 10217 6 0 0 25 0 5 0 520842396 124284928 18135 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364639 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=121372 CPUtime=101.68 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 35305 1262 0 0 10162 6 0 0 25 0 5 0 520842396 124284928 18135 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=121372 CPUtime=102.23 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 51846 1262 0 0 10215 8 0 0 25 0 5 0 520842396 124284928 18135 33554432000 4194304 4417332 140733865366080 18446744073709551615 4365897 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.48
Current children cumulated vsize (KiB) 121372

[startup+162.301 s]
/proc/loadavg: 7.94 6.25 6.53 9/184 12473
/proc/meminfo: memFree=26458552/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=138532 CPUtime=648.13 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 280758 1262 0 0 64765 48 0 0 25 0 5 0 520842390 141856768 22425 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 34633 22425 180 55 0 32519 0
[pid=12459/tid=12466] ppid=12457 vsize=138532 CPUtime=162.24 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (plingeling) R 12457 12459 12004 0 -1 4202560 64493 1262 0 0 16213 11 0 0 25 0 5 0 520842396 141856768 22425 33554432000 4194304 4417332 140733865366080 18446744073709551615 4366718 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12459/tid=12467] ppid=12457 vsize=138532 CPUtime=162.22 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 68976 1262 0 0 16211 11 0 0 25 0 5 0 520842396 141856768 22425 33554432000 4194304 4417332 140733865366080 18446744073709551615 4365963 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=138532 CPUtime=161.35 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 62755 1262 0 0 16124 11 0 0 25 0 5 0 520842396 141856768 22425 33554432000 4194304 4417332 140733865366080 18446744073709551615 4310483 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=138532 CPUtime=162.23 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 79476 1262 0 0 16210 13 0 0 25 0 5 0 520842396 141856768 22425 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 648.13
Current children cumulated vsize (KiB) 138532


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

[pid=12459/tid=12467] ppid=12457 vsize=204028 CPUtime=762.23 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 281709 1262 0 0 76179 44 0 0 25 0 5 0 520842396 208924672 38804 33554432000 4194304 4417332 140733865366080 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=204028 CPUtime=757.27 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 265703 1262 0 0 75682 45 0 0 25 0 5 0 520842396 208924672 38804 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=204028 CPUtime=762.23 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 307025 1262 0 0 76174 49 0 0 25 0 5 0 520842396 208924672 38804 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364526 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.07
Current children cumulated vsize (KiB) 204028

[startup+822.301 s]
/proc/loadavg: 8.31 7.99 7.34 9/184 12503
/proc/meminfo: memFree=26266120/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=201608 CPUtime=3283.72 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 1214039 1262 0 0 328175 197 0 0 25 0 5 0 520842390 206446592 38199 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 50402 38199 180 55 0 48288 0
[pid=12459/tid=12466] ppid=12457 vsize=201608 CPUtime=822.25 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (plingeling) R 12457 12459 12004 0 -1 4202560 297053 1262 0 0 82178 47 0 0 25 0 5 0 520842396 206446592 38199 33554432000 4194304 4417332 140733865366080 18446744073709551615 4263206 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12459/tid=12467] ppid=12457 vsize=201608 CPUtime=822.22 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 299211 1262 0 0 82175 47 0 0 25 0 5 0 520842396 206446592 38199 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364549 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=201608 CPUtime=816.94 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 280571 1262 0 0 81647 47 0 0 25 0 5 0 520842396 206446592 38199 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364680 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=201608 CPUtime=822.22 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 332146 1262 0 0 82169 53 0 0 25 0 5 0 520842396 206446592 38199 33554432000 4194304 4417332 140733865366080 18446744073709551615 4357111 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3283.72
Current children cumulated vsize (KiB) 201608

[startup+882.301 s]
/proc/loadavg: 8.15 8.00 7.38 9/184 12504
/proc/meminfo: memFree=26199768/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=245568 CPUtime=3523.39 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 1316537 1262 0 0 352125 214 0 0 25 0 5 0 520842390 251461632 49189 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 61392 49189 180 55 0 59278 0
[pid=12459/tid=12466] ppid=12457 vsize=245568 CPUtime=882.24 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (plingeling) R 12457 12459 12004 0 -1 4202560 318941 1262 0 0 88173 51 0 0 25 0 5 0 520842396 251461632 49189 33554432000 4194304 4417332 140733865366080 18446744073709551615 4251060 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12459/tid=12467] ppid=12457 vsize=245568 CPUtime=882.22 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 325524 1262 0 0 88171 51 0 0 25 0 5 0 520842396 251461632 49189 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=245568 CPUtime=876.62 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 311443 1262 0 0 87610 52 0 0 25 0 5 0 520842396 251461632 49189 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364544 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=245568 CPUtime=882.21 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 355571 1262 0 0 88164 57 0 0 25 0 5 0 520842396 251461632 49189 33554432000 4194304 4417332 140733865366080 18446744073709551615 4365960 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3523.39
Current children cumulated vsize (KiB) 245568

[startup+942.301 s]
/proc/loadavg: 8.09 8.01 7.42 9/184 12506
/proc/meminfo: memFree=26192680/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=226100 CPUtime=3763.06 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 1409306 1262 0 0 376077 229 0 0 25 0 5 0 520842390 231526400 44322 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 56525 44322 180 55 0 54411 0
[pid=12459/tid=12466] ppid=12457 vsize=226100 CPUtime=942.25 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (plingeling) R 12457 12459 12004 0 -1 4202560 341882 1262 0 0 94170 55 0 0 25 0 5 0 520842396 231526400 44322 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12459/tid=12467] ppid=12457 vsize=226100 CPUtime=942.22 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 349998 1262 0 0 94167 55 0 0 25 0 5 0 520842396 231526400 44322 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=226100 CPUtime=936.3 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 331136 1262 0 0 93574 56 0 0 25 0 5 0 520842396 231526400 44322 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=226100 CPUtime=942.21 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 381232 1262 0 0 94159 62 0 0 25 0 5 0 520842396 231526400 44322 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364990 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.06
Current children cumulated vsize (KiB) 226100

[startup+1002.3 s]
/proc/loadavg: 8.14 8.04 7.47 9/184 12508
/proc/meminfo: memFree=26193528/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=193708 CPUtime=4002.73 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 1491898 1262 0 0 400030 243 0 0 25 0 5 0 520842390 198356992 36224 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 48427 36224 180 55 0 46313 0
[pid=12459/tid=12466] ppid=12457 vsize=193708 CPUtime=1002.25 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (plingeling) R 12457 12459 12004 0 -1 4202560 362191 1262 0 0 100167 58 0 0 25 0 5 0 520842396 198356992 36224 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12459/tid=12467] ppid=12457 vsize=193708 CPUtime=1002.22 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 371895 1262 0 0 100163 59 0 0 25 0 5 0 520842396 198356992 36224 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364753 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=193708 CPUtime=995.97 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 350356 1262 0 0 99538 59 0 0 25 0 5 0 520842396 198356992 36224 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=193708 CPUtime=1002.21 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 402398 1262 0 0 100156 65 0 0 25 0 5 0 520842396 198356992 36224 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4002.73
Current children cumulated vsize (KiB) 193708

[startup+1062.3 s]
/proc/loadavg: 8.05 8.03 7.50 9/184 12509
/proc/meminfo: memFree=26118256/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=228744 CPUtime=4242.41 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 1573821 1262 0 0 423986 255 0 0 25 0 5 0 520842390 234233856 44983 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 57186 44983 180 55 0 55072 0
[pid=12459/tid=12466] ppid=12457 vsize=228744 CPUtime=1062.25 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (plingeling) R 12457 12459 12004 0 -1 4202560 385902 1262 0 0 106164 61 0 0 25 0 5 0 520842396 234233856 44983 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364800 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12459/tid=12467] ppid=12457 vsize=228744 CPUtime=1062.22 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 396567 1262 0 0 106160 62 0 0 25 0 5 0 520842396 234233856 44983 33554432000 4194304 4417332 140733865366080 18446744073709551615 4343691 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=228744 CPUtime=1055.65 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 364245 1262 0 0 105504 61 0 0 25 0 5 0 520842396 234233856 44983 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364656 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=228744 CPUtime=1062.21 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 422049 1262 0 0 106152 69 0 0 25 0 5 0 520842396 234233856 44983 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4242.41
Current children cumulated vsize (KiB) 228744

[startup+1122.3 s]
/proc/loadavg: 8.02 8.02 7.53 9/184 12511
/proc/meminfo: memFree=26084632/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=252368 CPUtime=4482.09 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 1649245 1262 0 0 447943 266 0 0 25 0 5 0 520842390 258424832 50889 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 63092 50889 180 55 0 60978 0
[pid=12459/tid=12466] ppid=12457 vsize=252368 CPUtime=1122.25 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (plingeling) R 12457 12459 12004 0 -1 4202560 400254 1262 0 0 112162 63 0 0 25 0 5 0 520842396 258424832 50889 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12459/tid=12467] ppid=12457 vsize=252368 CPUtime=1122.21 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 422350 1262 0 0 112155 66 0 0 25 0 5 0 520842396 258424832 50889 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=252368 CPUtime=1115.31 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 383245 1262 0 0 111468 63 0 0 25 0 5 0 520842396 258424832 50889 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364753 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=252368 CPUtime=1122.21 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 438338 1262 0 0 112151 70 0 0 25 0 5 0 520842396 258424832 50889 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364683 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.09
Current children cumulated vsize (KiB) 252368

[startup+1182.3 s]
/proc/loadavg: 7.81 7.97 7.54 9/184 12549
/proc/meminfo: memFree=26437492/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=198908 CPUtime=4721.76 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 1744819 1262 0 0 471896 280 0 0 25 0 5 0 520842390 203681792 37515 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 49727 37515 180 55 0 47613 0
[pid=12459/tid=12466] ppid=12457 vsize=198908 CPUtime=1182.25 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (plingeling) R 12457 12459 12004 0 -1 4202560 422016 1262 0 0 118159 66 0 0 25 0 5 0 520842396 203681792 37515 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364942 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12459/tid=12467] ppid=12457 vsize=198908 CPUtime=1182.22 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 443412 1262 0 0 118152 70 0 0 25 0 5 0 520842396 203681792 37515 33554432000 4194304 4417332 140733865366080 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=198908 CPUtime=1175 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 407302 1262 0 0 117433 67 0 0 25 0 5 0 520842396 203681792 37515 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364397 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=198908 CPUtime=1182.21 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 467031 1262 0 0 118147 74 0 0 25 0 5 0 520842396 203681792 37515 33554432000 4194304 4417332 140733865366080 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4721.76
Current children cumulated vsize (KiB) 198908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 7.86 7.97 7.55 9/184 12550
/proc/meminfo: memFree=26368752/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=257712 CPUtime=4800.07 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 1779417 1262 0 0 479722 285 0 0 25 0 5 0 520842390 263897088 52216 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 64428 52216 180 55 0 62314 0
[pid=12459/tid=12466] ppid=12457 vsize=257712 CPUtime=1201.86 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (plingeling) R 12457 12459 12004 0 -1 4202560 432796 1262 0 0 120119 67 0 0 25 0 5 0 520842396 263897088 52216 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364482 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12459/tid=12467] ppid=12457 vsize=257712 CPUtime=1201.82 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 456135 1262 0 0 120110 72 0 0 25 0 5 0 520842396 263897088 52216 33554432000 4194304 4417332 140733865366080 18446744073709551615 4365894 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=257712 CPUtime=1194.5 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 412345 1262 0 0 119382 68 0 0 25 0 5 0 520842396 263897088 52216 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=257712 CPUtime=1201.82 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 473083 1262 0 0 120106 76 0 0 25 0 5 0 520842396 263897088 52216 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 257712

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

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

[startup+1201.9 s]
/proc/loadavg: 7.86 7.97 7.55 9/184 12550
/proc/meminfo: memFree=26368752/32951132 swapFree=67111364/67111528
[pid=12459] ppid=12457 vsize=257712 CPUtime=4800.07 cores=1,3,5,7
/proc/12459/stat : 12459 (plingeling) S 12457 12459 12004 0 -1 4202496 1779417 1262 0 0 479722 285 0 0 25 0 5 0 520842390 263897088 52216 33554432000 4194304 4417332 140733865366080 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/12459/statm: 64428 52216 180 55 0 62314 0
[pid=12459/tid=12466] ppid=12457 vsize=257712 CPUtime=1201.86 cores=1,3,5,7
/proc/12459/task/12466/stat : 12466 (plingeling) R 12457 12459 12004 0 -1 4202560 432796 1262 0 0 120119 67 0 0 25 0 5 0 520842396 263897088 52216 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364482 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12459/tid=12467] ppid=12457 vsize=257712 CPUtime=1201.82 cores=1,3,5,7
/proc/12459/task/12467/stat : 12467 (plingeling) R 12457 12459 12004 0 -1 4202560 456135 1262 0 0 120110 72 0 0 25 0 5 0 520842396 263897088 52216 33554432000 4194304 4417332 140733865366080 18446744073709551615 4365894 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12459/tid=12468] ppid=12457 vsize=257712 CPUtime=1194.5 cores=1,3,5,7
/proc/12459/task/12468/stat : 12468 (plingeling) R 12457 12459 12004 0 -1 4202560 412345 1262 0 0 119382 68 0 0 25 0 5 0 520842396 263897088 52216 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12459/tid=12469] ppid=12457 vsize=257712 CPUtime=1201.82 cores=1,3,5,7
/proc/12459/task/12469/stat : 12469 (plingeling) R 12457 12459 12004 0 -1 4202560 473083 1262 0 0 120106 76 0 0 25 0 5 0 520842396 263897088 52216 33554432000 4194304 4417332 140733865366080 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 257712

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.92
CPU time (s): 4800.12
CPU user time (s): 4797.25
CPU system time (s): 2.86556
CPU usage (%): 399.37
Max. virtual memory (cumulated for all children) (KiB): 284516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.25
system time used= 2.86556
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1780679
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= 141
involuntary context switches= 35824

runsolver used 1.87571 second user time and 4.67529 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-29 17:53:57
IDJOB=3261946
IDBENCH=83266
IDSOLVER=1605
FILE ID=node128/3261946-1304092437
RUNJOBID= node128-1304092396-12394
PBS_JOBID= 13170567
Free space on /tmp= 66972 MiB

SOLVER NAME= Plingeling 587
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-24_567.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3261946-1304092437/watcher-3261946-1304092437 -o /tmp/evaluation-result-3261946-1304092437/solver-3261946-1304092437 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3261946-1304092437.cnf

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

MD5SUM BENCH= cb7c9df8144e5ba66f8009983efe791f
RANDOM SEED=726714739

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      26586636 kB
Buffers:       1280656 kB
Cached:        4391284 kB
SwapCached:        160 kB
Active:         376132 kB
Inactive:      5403188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      26586636 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:             820 kB
Writeback:           4 kB
AnonPages:      106516 kB
Mapped:          15756 kB
Slab:           523868 kB
PageTables:       4992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   290356 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66972 MiB
End job on node128 at 2011-04-29 18:14:01