Trace number 3370952

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Plingeling 587f (fixed)? (TO) 4800.29 1204.77

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-16-16-unsat.cnf
MD5SUMc07743bac800f91e403382f26717b1d0
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables256
Number of clauses2176
Sum of the clauses size7936
Maximum clause length16
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21920
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5256

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3370952-1305426680/watcher-3370952-1305426680 -o /tmp/evaluation-result-3370952-1305426680/solver-3370952-1305426680 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3370952-1305426680.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: 9.29 9.09 8.60 8/348 25445
/proc/meminfo: memFree=17156024/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=50416 CPUtime=0.01 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 461 1255 0 0 1 0 0 0 25 0 5 0 654268945 51625984 387 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 12604 387 175 55 0 10490 0
[pid=25439/tid=25451] ppid=25437 vsize=50416 CPUtime=0 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 45 1255 0 0 0 0 0 0 25 0 5 0 654268945 51625984 387 33554432000 4194304 4417452 140734131138320 18446744073709551615 4331802 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=50416 CPUtime=0 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 1 1255 0 0 0 0 0 0 25 0 5 0 654268945 51625984 387 33554432000 4194304 4417452 140734131138320 18446744073709551615 4278283 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=50416 CPUtime=0 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 1 1255 0 0 0 0 0 0 25 0 5 0 654268945 51625984 387 33554432000 4194304 4417452 140734131138320 18446744073709551615 270613215726 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=50416 CPUtime=0 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 32 1255 0 0 0 0 0 0 25 0 5 0 654268945 51625984 387 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 2 0 0 0

[startup+0.118668 s]
/proc/loadavg: 9.29 9.09 8.60 8/348 25445
/proc/meminfo: memFree=17156024/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=120280 CPUtime=0.43 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 2026 1255 0 0 43 0 0 0 25 0 5 0 654268945 123166720 1523 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 30070 1523 180 55 0 27956 0
[pid=25439/tid=25451] ppid=25437 vsize=120280 CPUtime=0.11 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 392 1255 0 0 11 0 0 0 25 0 5 0 654268945 123166720 1523 33554432000 4194304 4417452 140734131138320 18446744073709551615 4310308 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=120280 CPUtime=0.1 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 244 1255 0 0 10 0 0 0 25 0 5 0 654268945 123166720 1523 33554432000 4194304 4417452 140734131138320 18446744073709551615 4310483 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=120280 CPUtime=0.1 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 208 1255 0 0 10 0 0 0 25 0 5 0 654268945 123166720 1523 33554432000 4194304 4417452 140734131138320 18446744073709551615 270613215726 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=120280 CPUtime=0.11 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 800 1255 0 0 11 0 0 0 25 0 5 0 654268945 123166720 1523 33554432000 4194304 4417452 140734131138320 18446744073709551615 4251148 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 120280

[startup+0.200715 s]
/proc/loadavg: 9.29 9.09 8.60 8/348 25445
/proc/meminfo: memFree=17156024/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=121380 CPUtime=0.76 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 2742 1255 0 0 76 0 0 0 25 0 5 0 654268945 124293120 1805 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 30345 1805 180 55 0 28231 0
[pid=25439/tid=25451] ppid=25437 vsize=121380 CPUtime=0.19 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 510 1255 0 0 19 0 0 0 25 0 5 0 654268945 124293120 1805 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=121380 CPUtime=0.19 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 244 1255 0 0 19 0 0 0 25 0 5 0 654268945 124293120 1805 33554432000 4194304 4417452 140734131138320 18446744073709551615 4295507 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=121380 CPUtime=0.18 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 565 1255 0 0 18 0 0 0 25 0 5 0 654268945 124293120 1805 33554432000 4194304 4417452 140734131138320 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=121380 CPUtime=0.19 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 1041 1255 0 0 19 0 0 0 25 0 5 0 654268945 124293120 1805 33554432000 4194304 4417452 140734131138320 18446744073709551615 4321680 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 121380

[startup+0.300698 s]
/proc/loadavg: 9.29 9.09 8.60 8/348 25445
/proc/meminfo: memFree=17156024/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=121936 CPUtime=1.15 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 4360 1255 0 0 115 0 0 0 25 0 5 0 654268945 124862464 1950 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 30484 1950 180 55 0 28370 0
[pid=25439/tid=25451] ppid=25437 vsize=121936 CPUtime=0.29 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 893 1255 0 0 29 0 0 0 25 0 5 0 654268945 124862464 1950 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=121936 CPUtime=0.28 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 616 1255 0 0 28 0 0 0 25 0 5 0 654268945 124862464 1950 33554432000 4194304 4417452 140734131138320 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=121936 CPUtime=0.28 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 695 1255 0 0 28 0 0 0 25 0 5 0 654268945 124862464 1950 33554432000 4194304 4417452 140734131138320 18446744073709551615 4309920 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=121936 CPUtime=0.28 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 1774 1255 0 0 28 0 0 0 25 0 5 0 654268945 124862464 1950 33554432000 4194304 4417452 140734131138320 18446744073709551615 4358937 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 121936

[startup+0.700629 s]
/proc/loadavg: 9.29 9.09 8.60 8/348 25445
/proc/meminfo: memFree=17156024/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=126912 CPUtime=2.75 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 10011 1255 0 0 274 1 0 0 25 0 5 0 654268945 129957888 3194 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 31728 3194 180 55 0 29614 0
[pid=25439/tid=25451] ppid=25437 vsize=126912 CPUtime=0.68 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 2393 1255 0 0 68 0 0 0 25 0 5 0 654268945 129957888 3194 33554432000 4194304 4417452 140734131138320 18446744073709551615 4242043 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=126912 CPUtime=0.68 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 1948 1255 0 0 68 0 0 0 25 0 5 0 654268945 129957888 3194 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=126912 CPUtime=0.68 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 2487 1255 0 0 68 0 0 0 25 0 5 0 654268945 129957888 3194 33554432000 4194304 4417452 140734131138320 18446744073709551615 4320823 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=126912 CPUtime=0.68 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 2801 1255 0 0 68 0 0 0 25 0 5 0 654268945 129957888 3194 33554432000 4194304 4417452 140734131138320 18446744073709551615 4250873 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 126912

[startup+1.50049 s]
/proc/loadavg: 9.29 9.09 8.60 10/353 25473
/proc/meminfo: memFree=17107568/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=131164 CPUtime=5.93 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 22152 1255 0 0 590 3 0 0 25 0 5 0 654268945 134311936 4253 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 32791 4253 180 55 0 30677 0
[pid=25439/tid=25451] ppid=25437 vsize=131164 CPUtime=1.49 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 5445 1255 0 0 148 1 0 0 25 0 5 0 654268945 134311936 4253 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=131164 CPUtime=1.47 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 4792 1255 0 0 147 0 0 0 25 0 5 0 654268945 134311936 4253 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=131164 CPUtime=1.46 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 5669 1255 0 0 146 0 0 0 25 0 5 0 654268945 134311936 4253 33554432000 4194304 4417452 140734131138320 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=131164 CPUtime=1.48 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 5864 1255 0 0 147 1 0 0 25 0 5 0 654268945 134311936 4253 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 131164

[startup+3.10121 s]
/proc/loadavg: 9.26 9.09 8.60 11/351 25510
/proc/meminfo: memFree=17101368/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=135640 CPUtime=12.3 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 47463 1255 0 0 1224 6 0 0 25 0 5 0 654268945 138895360 5356 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 33910 5356 180 55 0 31796 0
[pid=25439/tid=25451] ppid=25437 vsize=135640 CPUtime=3.08 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 12211 1255 0 0 307 1 0 0 25 0 5 0 654268945 138895360 5356 33554432000 4194304 4417452 140734131138320 18446744073709551615 4365088 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=135640 CPUtime=3.06 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 12489 1255 0 0 305 1 0 0 25 0 5 0 654268945 138895360 5356 33554432000 4194304 4417452 140734131138320 18446744073709551615 4309718 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=135640 CPUtime=3.04 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 12634 1255 0 0 303 1 0 0 25 0 5 0 654268945 138895360 5356 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=135640 CPUtime=3.08 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 9747 1255 0 0 307 1 0 0 25 0 5 0 654268945 138895360 5356 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 135640

[startup+6.30064 s]
/proc/loadavg: 9.26 9.09 8.60 11/351 25608
/proc/meminfo: memFree=17092052/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=149920 CPUtime=25 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 108989 1255 0 0 2485 15 0 0 25 0 5 0 654268945 153518080 8944 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 37480 8944 180 55 0 35366 0
[pid=25439/tid=25451] ppid=25437 vsize=149920 CPUtime=6.27 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 30552 1255 0 0 623 4 0 0 25 0 5 0 654268945 153518080 8944 33554432000 4194304 4417452 140734131138320 18446744073709551615 4263232 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=149920 CPUtime=6.24 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 31095 1255 0 0 621 3 0 0 25 0 5 0 654268945 153518080 8944 33554432000 4194304 4417452 140734131138320 18446744073709551615 4354448 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=149920 CPUtime=6.18 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 31173 1255 0 0 614 4 0 0 25 0 5 0 654268945 153518080 8944 33554432000 4194304 4417452 140734131138320 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=149920 CPUtime=6.27 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 15787 1255 0 0 625 2 0 0 25 0 5 0 654268945 153518080 8944 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 149920

[startup+12.7005 s]
/proc/loadavg: 9.38 9.12 8.62 10/352 25812
/proc/meminfo: memFree=17057164/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=153856 CPUtime=50.43 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 197295 1255 0 0 5013 30 0 0 25 0 5 0 654268945 157548544 9921 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 38464 9921 180 55 0 36350 0
[pid=25439/tid=25451] ppid=25437 vsize=153856 CPUtime=12.59 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 58732 1255 0 0 1250 9 0 0 25 0 5 0 654268945 157548544 9921 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=153856 CPUtime=12.64 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 57338 1255 0 0 1256 8 0 0 25 0 5 0 654268945 157548544 9921 33554432000 4194304 4417452 140734131138320 18446744073709551615 4357159 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=153856 CPUtime=12.5 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 51424 1255 0 0 1243 7 0 0 25 0 5 0 654268945 157548544 9921 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=153856 CPUtime=12.66 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 29419 1255 0 0 1262 4 0 0 25 0 5 0 654268945 157548544 9921 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 153856

[startup+25.5012 s]
/proc/loadavg: 9.32 9.11 8.62 10/353 26200
/proc/meminfo: memFree=16988108/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=201552 CPUtime=101.29 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 376838 1255 0 0 10074 55 0 0 25 0 5 0 654268945 206389248 21822 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 50388 21822 180 55 0 48274 0
[pid=25439/tid=25451] ppid=25437 vsize=201552 CPUtime=25.24 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 118796 1255 0 0 2507 17 0 0 25 0 5 0 654268945 206389248 21822 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=201552 CPUtime=25.42 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 94114 1255 0 0 2529 13 0 0 25 0 5 0 654268945 206389248 21822 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=201552 CPUtime=25.13 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 115217 1255 0 0 2498 15 0 0 25 0 5 0 654268945 206389248 21822 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364992 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=201552 CPUtime=25.47 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 48329 1255 0 0 2539 8 0 0 25 0 5 0 654268945 206389248 21822 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.29
Current children cumulated vsize (KiB) 201552

[startup+51.1007 s]
/proc/loadavg: 9.28 9.12 8.63 11/352 26985
/proc/meminfo: memFree=16913532/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=253188 CPUtime=203.05 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 677791 1255 0 0 20209 96 0 0 25 0 5 0 654268945 259264512 34731 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 63297 34731 180 55 0 61183 0
[pid=25439/tid=25451] ppid=25437 vsize=253188 CPUtime=50.49 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 213133 1255 0 0 5019 30 0 0 25 0 5 0 654268945 259264512 34731 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=253188 CPUtime=51.01 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 162852 1255 0 0 5078 23 0 0 25 0 5 0 654268945 259264512 34731 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=253188 CPUtime=50.44 cores=0,2,4,6

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

[pid=25439/tid=25452] ppid=25437 vsize=954856 CPUtime=701.85 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 598391 1255 0 0 70096 89 0 0 25 0 5 0 654268945 977772544 209623 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=954856 CPUtime=697.76 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 860197 1255 0 0 69652 124 0 0 25 0 5 0 654268945 977772544 209623 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=954856 CPUtime=702.08 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 311814 1255 0 0 70156 52 0 0 25 0 5 0 654268945 977772544 209623 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2796
Current children cumulated vsize (KiB) 954856

[startup+762.301 s]
/proc/loadavg: 4.08 5.39 7.12 5/335 9312
/proc/meminfo: memFree=16876036/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=1001496 CPUtime=3035.4 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 2428057 1255 0 0 303168 372 0 0 25 0 5 0 654268945 1025531904 221283 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 250374 221283 180 55 0 248260 0
[pid=25439/tid=25451] ppid=25437 vsize=1001496 CPUtime=753.64 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 629229 1255 0 0 75265 99 0 0 25 0 5 0 654268945 1025531904 221283 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=1001496 CPUtime=761.86 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 598391 1255 0 0 76097 89 0 0 25 0 5 0 654268945 1025531904 221283 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=1001496 CPUtime=757.77 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 860197 1255 0 0 75653 124 0 0 25 0 5 0 654268945 1025531904 221283 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=1001496 CPUtime=762.08 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 339858 1255 0 0 76150 58 0 0 25 0 5 0 654268945 1025531904 221283 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3035.4
Current children cumulated vsize (KiB) 1001496

[startup+822.3 s]
/proc/loadavg: 4.03 5.14 6.92 5/335 9313
/proc/meminfo: memFree=16804316/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=1073832 CPUtime=3274.7 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 2512126 1255 0 0 327089 381 0 0 25 0 5 0 654268945 1099603968 239367 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 268458 239367 180 55 0 266344 0
[pid=25439/tid=25451] ppid=25437 vsize=1073832 CPUtime=812.99 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 693603 1255 0 0 81192 107 0 0 25 0 5 0 654268945 1099603968 239367 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=1073832 CPUtime=821.85 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 598391 1255 0 0 82096 89 0 0 25 0 5 0 654268945 1099603968 239367 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=1073832 CPUtime=817.76 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 868389 1255 0 0 81651 125 0 0 25 0 5 0 654268945 1099603968 239367 33554432000 4194304 4417452 140734131138320 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=1073832 CPUtime=822.07 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 351361 1255 0 0 82148 59 0 0 25 0 5 0 654268945 1099603968 239367 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3274.7
Current children cumulated vsize (KiB) 1073832

[startup+882.313 s]
/proc/loadavg: 4.01 4.93 6.73 5/335 9315
/proc/meminfo: memFree=16766436/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=1109020 CPUtime=3514.1 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 2557863 1255 0 0 351019 391 0 0 25 0 5 0 654268945 1135636480 248689 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 277255 248689 180 55 0 275141 0
[pid=25439/tid=25451] ppid=25437 vsize=1109020 CPUtime=872.34 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 693603 1255 0 0 87127 107 0 0 25 0 5 0 654268945 1135636480 248689 33554432000 4194304 4417452 140734131138320 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=1109020 CPUtime=881.86 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 635936 1255 0 0 88090 96 0 0 25 0 5 0 654268945 1135636480 248689 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364784 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=1109020 CPUtime=877.78 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 868389 1255 0 0 87652 126 0 0 25 0 5 0 654268945 1135636480 248689 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=1109020 CPUtime=882.09 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 359553 1255 0 0 88148 61 0 0 25 0 5 0 654268945 1135636480 248689 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3514.1
Current children cumulated vsize (KiB) 1109020

[startup+942.301 s]
/proc/loadavg: 4.00 4.75 6.56 5/335 9316
/proc/meminfo: memFree=16820944/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=1055124 CPUtime=3753.41 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 2597190 1255 0 0 374945 396 0 0 25 0 5 0 654268945 1080446976 235247 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 263781 235247 180 55 0 261667 0
[pid=25439/tid=25451] ppid=25437 vsize=1055124 CPUtime=931.68 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 693603 1255 0 0 93061 107 0 0 25 0 5 0 654268945 1080446976 235247 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=1055124 CPUtime=941.85 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 635936 1255 0 0 94089 96 0 0 25 0 5 0 654268945 1080446976 235247 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=1055124 CPUtime=937.76 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 891332 1255 0 0 93647 129 0 0 25 0 5 0 654268945 1080446976 235247 33554432000 4194304 4417452 140734131138320 18446744073709551615 4309875 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=1055124 CPUtime=942.08 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 375937 1255 0 0 94146 62 0 0 25 0 5 0 654268945 1080446976 235247 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3753.41
Current children cumulated vsize (KiB) 1055124

[startup+1002.3 s]
/proc/loadavg: 4.00 4.61 6.40 5/335 9318
/proc/meminfo: memFree=16915112/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=960788 CPUtime=3992.75 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 2726410 1255 0 0 398861 414 0 0 25 0 5 0 654268945 983846912 211631 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 240197 211631 180 55 0 238083 0
[pid=25439/tid=25451] ppid=25437 vsize=960788 CPUtime=991.03 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 693603 1255 0 0 98996 107 0 0 25 0 5 0 654268945 983846912 211631 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=960788 CPUtime=1001.86 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 652320 1255 0 0 100087 99 0 0 25 0 5 0 654268945 983846912 211631 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=960788 CPUtime=997.76 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 968749 1255 0 0 99637 139 0 0 25 0 5 0 654268945 983846912 211631 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=960788 CPUtime=1002.08 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 411356 1255 0 0 100140 68 0 0 25 0 5 0 654268945 983846912 211631 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3992.75
Current children cumulated vsize (KiB) 960788

[startup+1062.3 s]
/proc/loadavg: 4.00 4.50 6.24 5/335 9320
/proc/meminfo: memFree=16911096/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=965432 CPUtime=4232.12 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 2752147 1255 0 0 422795 417 0 0 25 0 5 0 654268945 988602368 212792 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 241358 212792 180 55 0 239244 0
[pid=25439/tid=25451] ppid=25437 vsize=965432 CPUtime=1050.38 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 693603 1255 0 0 104931 107 0 0 25 0 5 0 654268945 988602368 212792 33554432000 4194304 4417452 140734131138320 18446744073709551615 4344176 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=965432 CPUtime=1061.86 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 668704 1255 0 0 106086 100 0 0 25 0 5 0 654268945 988602368 212792 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=965432 CPUtime=1057.76 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 968749 1255 0 0 105637 139 0 0 25 0 5 0 654268945 988602368 212792 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=965432 CPUtime=1062.08 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 420709 1255 0 0 106139 69 0 0 25 0 5 0 654268945 988602368 212792 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4232.12
Current children cumulated vsize (KiB) 965432

[startup+1122.3 s]
/proc/loadavg: 4.03 4.42 6.11 5/335 9321
/proc/meminfo: memFree=16862300/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=1013956 CPUtime=4471.46 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 2772470 1255 0 0 446726 420 0 0 25 0 5 0 654268945 1038290944 224923 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 253489 224923 180 55 0 251375 0
[pid=25439/tid=25451] ppid=25437 vsize=1013956 CPUtime=1109.72 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 693603 1255 0 0 110865 107 0 0 25 0 5 0 654268945 1038290944 224923 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=1013956 CPUtime=1121.86 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 676896 1255 0 0 112085 101 0 0 25 0 5 0 654268945 1038290944 224923 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=1013956 CPUtime=1117.77 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 980880 1255 0 0 111635 142 0 0 25 0 5 0 654268945 1038290944 224923 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=1013956 CPUtime=1122.08 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 420709 1255 0 0 112139 69 0 0 25 0 5 0 654268945 1038290944 224923 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4471.46
Current children cumulated vsize (KiB) 1013956

[startup+1182.3 s]
/proc/loadavg: 4.05 4.36 5.99 5/335 9323
/proc/meminfo: memFree=16862248/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=1046724 CPUtime=4710.82 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 2829814 1255 0 0 470655 427 0 0 25 0 5 0 654268945 1071845376 233115 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 261681 233115 180 55 0 259567 0
[pid=25439/tid=25451] ppid=25437 vsize=1046724 CPUtime=1169.08 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 693603 1255 0 0 116801 107 0 0 25 0 5 0 654268945 1071845376 233115 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=1046724 CPUtime=1181.85 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 734240 1255 0 0 118078 107 0 0 25 0 5 0 654268945 1071845376 233115 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=1046724 CPUtime=1177.77 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 980880 1255 0 0 117635 142 0 0 25 0 5 0 654268945 1071845376 233115 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=1046724 CPUtime=1182.09 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 420709 1255 0 0 118140 69 0 0 25 0 5 0 654268945 1071845376 233115 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4710.82
Current children cumulated vsize (KiB) 1046724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.7 s]
/proc/loadavg: 4.09 4.35 5.94 5/335 9323
/proc/meminfo: memFree=16735752/32951124 swapFree=67056804/67111528
[pid=25439] ppid=25437 vsize=1140360 CPUtime=4800.21 cores=0,2,4,6
/proc/25439/stat : 25439 (plingeling) S 25437 25439 563 0 -1 4202496 2901732 1255 0 0 479584 437 0 0 25 0 5 0 654268945 1167728640 256524 33554432000 4194304 4417452 140734131138320 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25439/statm: 285090 256524 180 55 0 282976 0
[pid=25439/tid=25451] ppid=25437 vsize=1140360 CPUtime=1191.23 cores=0,2,4,6
/proc/25439/task/25451/stat : 25451 (plingeling) R 25437 25439 563 0 -1 4202560 693603 1255 0 0 119016 107 0 0 25 0 5 0 654268945 1167728640 256524 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25439/tid=25452] ppid=25437 vsize=1140360 CPUtime=1204.27 cores=0,2,4,6
/proc/25439/task/25452/stat : 25452 (plingeling) R 25437 25439 563 0 -1 4202560 758816 1255 0 0 120317 110 0 0 25 0 5 0 654268945 1167728640 256524 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25439/tid=25453] ppid=25437 vsize=1140360 CPUtime=1200.17 cores=0,2,4,6
/proc/25439/task/25453/stat : 25453 (plingeling) R 25437 25439 563 0 -1 4202560 1014573 1255 0 0 119870 147 0 0 25 0 5 0 654268945 1167728640 256524 33554432000 4194304 4417452 140734131138320 18446744073709551615 4364809 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25439/tid=25454] ppid=25437 vsize=1140360 CPUtime=1204.49 cores=0,2,4,6
/proc/25439/task/25454/stat : 25454 (plingeling) R 25437 25439 563 0 -1 4202560 434358 1255 0 0 120379 70 0 0 25 0 5 0 654268945 1167728640 256524 33554432000 4194304 4417452 140734131138320 18446744073709551615 4250507 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 1140360

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.77
CPU time (s): 4800.29
CPU user time (s): 4795.87
CPU system time (s): 4.42433
CPU usage (%): 398.441
Max. virtual memory (cumulated for all children) (KiB): 1174024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.87
system time used= 4.42433
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2902987
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= 260
involuntary context switches= 31351

runsolver used 4.10238 second user time and 9.04063 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-15 04:31:20
IDJOB=3370952
IDBENCH=83223
IDSOLVER=1848
FILE ID=node108/3370952-1305426680
RUNJOBID= node108-1305423738-581
PBS_JOBID= 13324595
Free space on /tmp= 73576 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-16-16-unsat.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3370952-1305426680/watcher-3370952-1305426680 -o /tmp/evaluation-result-3370952-1305426680/solver-3370952-1305426680 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3370952-1305426680.cnf

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

MD5SUM BENCH= c07743bac800f91e403382f26717b1d0
RANDOM SEED=691366278

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17156452 kB
Buffers:        288624 kB
Cached:        4483688 kB
SwapCached:       8700 kB
Active:       11661152 kB
Inactive:      3817960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17156452 kB
SwapTotal:    67111528 kB
SwapFree:     67056804 kB
Dirty:             256 kB
Writeback:           0 kB
AnonPages:    10704864 kB
Mapped:          27792 kB
Slab:           208560 kB
PageTables:      40380 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52916240 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= 73576 MiB
End job on node108 at 2011-05-15 04:51:27