Trace number 3371123

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.24 1202.84

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-7-12-unsat.cnf
MD5SUM72a4d94c7603cb921acb8c9bb848aa10
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark11.2073
Satisfiable
(Un)Satisfiability was proved
Number of variables84
Number of clauses301
Sum of the clauses size1092
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2252
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 549

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-3371123-1305426553/watcher-3371123-1305426553 -o /tmp/evaluation-result-3371123-1305426553/solver-3371123-1305426553 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3371123-1305426553.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: 2.88 1.47 1.33 5/295 13665
/proc/meminfo: memFree=16667216/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=49836 CPUtime=0 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 330 1253 0 0 0 0 0 0 25 0 5 0 654258037 51032064 256 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 12459 256 175 55 0 10345 0
[pid=13665/tid=13671] ppid=13663 vsize=50140 CPUtime=0 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 37 1253 0 0 0 0 0 0 25 0 5 0 654258037 51343360 335 33554432000 4194304 4417452 140736540825856 18446744073709551615 4354079 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=50140 CPUtime=0 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 13 1253 0 0 0 0 0 0 25 0 5 0 654258037 51343360 335 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=50140 CPUtime=0 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 1 1253 0 0 0 0 0 0 25 0 5 0 654258037 51343360 335 33554432000 4194304 4417452 140736540825856 18446744073709551615 218371062254 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=50140 CPUtime=0 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 70 1253 0 0 0 0 0 0 25 0 5 0 654258037 51343360 345 33554432000 4194304 4417452 140736540825856 18446744073709551615 4355553 0 0 4096 17442 0 0 0 -1 0 0 0 0

[startup+0.072267 s]
/proc/loadavg: 2.88 1.47 1.33 5/295 13665
/proc/meminfo: memFree=16667216/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=118284 CPUtime=0.25 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 1343 1253 0 0 25 0 0 0 25 0 5 0 654258037 121122816 988 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 29571 988 180 55 0 27457 0
[pid=13665/tid=13671] ppid=13663 vsize=118284 CPUtime=0.06 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 241 1253 0 0 6 0 0 0 25 0 5 0 654258037 121122816 988 33554432000 4194304 4417452 140736540825856 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=118284 CPUtime=0.06 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 259 1253 0 0 6 0 0 0 25 0 5 0 654258037 121122816 988 33554432000 4194304 4417452 140736540825856 18446744073709551615 218371015082 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=118284 CPUtime=0.05 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 247 1253 0 0 5 0 0 0 25 0 5 0 654258037 121122816 988 33554432000 4194304 4417452 140736540825856 18446744073709551615 218370651087 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=118284 CPUtime=0.06 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 308 1253 0 0 6 0 0 0 25 0 5 0 654258037 121122816 988 33554432000 4194304 4417452 140736540825856 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 118284

[startup+0.110681 s]
/proc/loadavg: 2.88 1.47 1.33 5/295 13665
/proc/meminfo: memFree=16667216/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=119696 CPUtime=0.4 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 2043 1253 0 0 40 0 0 0 25 0 5 0 654258037 122568704 1312 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 29924 1312 180 55 0 27810 0
[pid=13665/tid=13671] ppid=13663 vsize=119696 CPUtime=0.1 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 400 1253 0 0 10 0 0 0 25 0 5 0 654258037 122568704 1312 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=119696 CPUtime=0.1 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 400 1253 0 0 10 0 0 0 25 0 5 0 654258037 122568704 1312 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=119696 CPUtime=0.09 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 457 1253 0 0 9 0 0 0 25 0 5 0 654258037 122568704 1312 33554432000 4194304 4417452 140736540825856 18446744073709551615 218371015082 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=119696 CPUtime=0.1 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) D 13663 13665 13510 0 -1 4202560 498 1253 0 0 10 0 0 0 25 0 5 0 654258037 122568704 1312 33554432000 4194304 4417452 140736540825856 18446744073709551615 218370651112 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 119696

[startup+0.300208 s]
/proc/loadavg: 2.88 1.47 1.33 5/295 13665
/proc/meminfo: memFree=16667216/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=120792 CPUtime=1.16 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 4377 1253 0 0 116 0 0 0 25 0 5 0 654258037 123691008 1635 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 30198 1635 180 55 0 28084 0
[pid=13665/tid=13671] ppid=13663 vsize=120792 CPUtime=0.29 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 1032 1253 0 0 29 0 0 0 25 0 5 0 654258037 123691008 1635 33554432000 4194304 4417452 140736540825856 18446744073709551615 4366126 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=120792 CPUtime=0.28 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 924 1253 0 0 28 0 0 0 25 0 5 0 654258037 123691008 1635 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=120792 CPUtime=0.28 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 989 1253 0 0 28 0 0 0 25 0 5 0 654258037 123691008 1635 33554432000 4194304 4417452 140736540825856 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=120792 CPUtime=0.29 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 1144 1253 0 0 29 0 0 0 25 0 5 0 654258037 123691008 1635 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 120792

[startup+0.701138 s]
/proc/loadavg: 2.88 1.47 1.33 5/295 13665
/proc/meminfo: memFree=16667216/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=124880 CPUtime=2.76 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 8439 1253 0 0 275 1 0 0 25 0 5 0 654258037 127877120 2657 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 31220 2657 180 55 0 29106 0
[pid=13665/tid=13671] ppid=13663 vsize=124880 CPUtime=0.69 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 2128 1253 0 0 69 0 0 0 25 0 5 0 654258037 127877120 2657 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364829 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=124880 CPUtime=0.68 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 1807 1253 0 0 68 0 0 0 25 0 5 0 654258037 127877120 2657 33554432000 4194304 4417452 140736540825856 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=124880 CPUtime=0.68 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 1909 1253 0 0 68 0 0 0 25 0 5 0 654258037 127877120 2657 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364735 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=124880 CPUtime=0.68 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 2307 1253 0 0 68 0 0 0 25 0 5 0 654258037 127877120 2657 33554432000 4194304 4417452 140736540825856 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 124880

[startup+1.501 s]
/proc/loadavg: 3.37 1.59 1.37 9/300 13675
/proc/meminfo: memFree=16658296/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=128300 CPUtime=5.95 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 17619 1253 0 0 593 2 0 0 25 0 5 0 654258037 131379200 3481 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 32075 3481 180 55 0 29961 0
[pid=13665/tid=13671] ppid=13663 vsize=128300 CPUtime=1.48 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 4849 1253 0 0 148 0 0 0 25 0 5 0 654258037 131379200 3481 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=128300 CPUtime=1.48 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 3811 1253 0 0 148 0 0 0 25 0 5 0 654258037 131379200 3481 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=128300 CPUtime=1.47 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 3973 1253 0 0 147 0 0 0 25 0 5 0 654258037 131379200 3481 33554432000 4194304 4417452 140736540825856 18446744073709551615 218370651117 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=128300 CPUtime=1.48 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 4698 1253 0 0 148 0 0 0 25 0 5 0 654258037 131379200 3481 33554432000 4194304 4417452 140736540825856 18446744073709551615 4320817 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 128300

[startup+3.10071 s]
/proc/loadavg: 3.37 1.59 1.37 9/300 13675
/proc/meminfo: memFree=16659660/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=134068 CPUtime=12.34 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 30391 1253 0 0 1230 4 0 0 25 0 5 0 654258037 137285632 4946 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 33517 4946 180 55 0 31403 0
[pid=13665/tid=13671] ppid=13663 vsize=134068 CPUtime=3.09 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 8420 1253 0 0 308 1 0 0 25 0 5 0 654258037 137285632 4946 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=134068 CPUtime=3.08 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 7175 1253 0 0 307 1 0 0 25 0 5 0 654258037 137285632 4946 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=134068 CPUtime=3.06 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 6800 1253 0 0 306 0 0 0 25 0 5 0 654258037 137285632 4946 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=134068 CPUtime=3.09 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 7708 1253 0 0 308 1 0 0 25 0 5 0 654258037 137285632 4946 33554432000 4194304 4417452 140736540825856 18446744073709551615 4354762 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 134068

[startup+6.30115 s]
/proc/loadavg: 3.74 1.70 1.41 9/300 13675
/proc/meminfo: memFree=16647492/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=140472 CPUtime=25.11 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 57283 1253 0 0 2503 8 0 0 25 0 5 0 654258037 143843328 6523 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 35118 6523 180 55 0 33004 0
[pid=13665/tid=13671] ppid=13663 vsize=140472 CPUtime=6.29 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 14089 1253 0 0 627 2 0 0 25 0 5 0 654258037 143843328 6523 33554432000 4194304 4417452 140736540825856 18446744073709551615 4365092 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=140472 CPUtime=6.28 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 14886 1253 0 0 626 2 0 0 25 0 5 0 654258037 143843328 6523 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=140472 CPUtime=6.23 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 13562 1253 0 0 622 1 0 0 25 0 5 0 654258037 143843328 6523 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=140472 CPUtime=6.28 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 14458 1253 0 0 627 1 0 0 25 0 5 0 654258037 143843328 6523 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 140472

[startup+12.701 s]
/proc/loadavg: 4.08 1.80 1.44 9/300 13676
/proc/meminfo: memFree=16627276/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=146536 CPUtime=50.65 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 89350 1253 0 0 5053 12 0 0 25 0 5 0 654258037 150052864 8071 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 36634 8071 180 55 0 34520 0
[pid=13665/tid=13671] ppid=13663 vsize=146536 CPUtime=12.68 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 22350 1253 0 0 1266 2 0 0 25 0 5 0 654258037 150052864 8071 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=146536 CPUtime=12.68 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 23889 1253 0 0 1265 3 0 0 25 0 5 0 654258037 150052864 8071 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=146536 CPUtime=12.56 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 20421 1253 0 0 1254 2 0 0 25 0 5 0 654258037 150052864 8071 33554432000 4194304 4417452 140736540825856 18446744073709551615 4365067 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=146536 CPUtime=12.69 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 22402 1253 0 0 1266 3 0 0 25 0 5 0 654258037 150052864 8071 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364669 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 146536

[startup+25.5007 s]
/proc/loadavg: 4.95 2.10 1.55 9/300 13676
/proc/meminfo: memFree=16607316/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=162800 CPUtime=101.74 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 137824 1253 0 0 10153 21 0 0 25 0 5 0 654258037 166707200 12119 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 40700 12119 180 55 0 38586 0
[pid=13665/tid=13671] ppid=13663 vsize=162800 CPUtime=25.48 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 35548 1253 0 0 2544 4 0 0 25 0 5 0 654258037 166707200 12119 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=162800 CPUtime=25.49 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 35409 1253 0 0 2543 6 0 0 25 0 5 0 654258037 166707200 12119 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=162800 CPUtime=25.25 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 32047 1253 0 0 2521 4 0 0 25 0 5 0 654258037 166707200 12119 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=162800 CPUtime=25.49 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 34532 1253 0 0 2544 5 0 0 25 0 5 0 654258037 166707200 12119 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364854 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 162800

[startup+51.1012 s]
/proc/loadavg: 5.99 2.58 1.72 9/300 13677
/proc/meminfo: memFree=16583624/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=180740 CPUtime=203.9 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 207553 1253 0 0 20360 30 0 0 25 0 5 0 654258037 185077760 16622 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 45185 16622 180 55 0 43071 0
[pid=13665/tid=13671] ppid=13663 vsize=180740 CPUtime=51.09 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 50670 1253 0 0 5102 7 0 0 25 0 5 0 654258037 185077760 16622 33554432000 4194304 4417452 140736540825856 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=180740 CPUtime=51.08 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 56358 1253 0 0 5100 8 0 0 25 0 5 0 654258037 185077760 16622 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=180740 CPUtime=50.61 cores=0,2,4,6

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

[pid=13665/tid=13672] ppid=13663 vsize=454488 CPUtime=702.3 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 192780 1253 0 0 70201 29 0 0 25 0 5 0 654258037 465395712 85027 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=454488 CPUtime=695.81 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 271931 1253 0 0 69545 36 0 0 25 0 5 0 654258037 465395712 85027 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=454488 CPUtime=702.3 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 202484 1253 0 0 70201 29 0 0 25 0 5 0 654258037 465395712 85027 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.74
Current children cumulated vsize (KiB) 454488

[startup+762.311 s]
/proc/loadavg: 8.01 7.53 5.08 9/300 13696
/proc/meminfo: memFree=16127248/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=442020 CPUtime=3042.21 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 915381 1253 0 0 304095 126 0 0 25 0 5 0 654258037 452628480 81910 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 110505 81910 180 55 0 108391 0
[pid=13665/tid=13671] ppid=13663 vsize=442020 CPUtime=762.31 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 202365 1253 0 0 76205 26 0 0 25 0 5 0 654258037 452628480 81910 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=442020 CPUtime=762.31 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 199378 1253 0 0 76201 30 0 0 25 0 5 0 654258037 452628480 81910 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=442020 CPUtime=755.25 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 282861 1253 0 0 75488 37 0 0 25 0 5 0 654258037 452628480 81910 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=442020 CPUtime=762.31 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 230489 1253 0 0 76199 32 0 0 25 0 5 0 654258037 452628480 81910 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3042.21
Current children cumulated vsize (KiB) 442020

[startup+822.301 s]
/proc/loadavg: 8.00 7.62 5.26 9/300 13697
/proc/meminfo: memFree=16079092/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=462032 CPUtime=3281.63 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 942912 1253 0 0 328033 130 0 0 25 0 5 0 654258037 473120768 86913 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 115508 86913 180 55 0 113394 0
[pid=13665/tid=13671] ppid=13663 vsize=462032 CPUtime=822.3 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 202365 1253 0 0 82204 26 0 0 25 0 5 0 654258037 473120768 86913 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=462032 CPUtime=822.31 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 199825 1253 0 0 82201 30 0 0 25 0 5 0 654258037 473120768 86913 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=462032 CPUtime=814.7 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 299245 1253 0 0 81430 40 0 0 25 0 5 0 654258037 473120768 86913 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=462032 CPUtime=822.3 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 241189 1253 0 0 82197 33 0 0 25 0 5 0 654258037 473120768 86913 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3281.63
Current children cumulated vsize (KiB) 462032

[startup+882.3 s]
/proc/loadavg: 8.00 7.68 5.43 9/300 13699
/proc/meminfo: memFree=16159412/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=487700 CPUtime=3521.08 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 983878 1253 0 0 351972 136 0 0 25 0 5 0 654258037 499404800 93362 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 121925 93362 180 55 0 119811 0
[pid=13665/tid=13671] ppid=13663 vsize=487700 CPUtime=882.3 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 216917 1253 0 0 88202 28 0 0 25 0 5 0 654258037 499404800 93362 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=487700 CPUtime=882.3 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 209584 1253 0 0 88199 31 0 0 25 0 5 0 654258037 499404800 93362 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=487700 CPUtime=874.14 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 311533 1253 0 0 87373 41 0 0 25 0 5 0 654258037 499404800 93362 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=487700 CPUtime=882.3 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 245556 1253 0 0 88197 33 0 0 25 0 5 0 654258037 499404800 93362 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3521.08
Current children cumulated vsize (KiB) 487700

[startup+942.301 s]
/proc/loadavg: 8.00 7.74 5.59 9/300 13700
/proc/meminfo: memFree=16112504/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=486864 CPUtime=3760.54 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 1008753 1253 0 0 375914 140 0 0 25 0 5 0 654258037 498548736 93121 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 121716 93121 180 55 0 119602 0
[pid=13665/tid=13671] ppid=13663 vsize=486864 CPUtime=942.31 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 221481 1253 0 0 94202 29 0 0 25 0 5 0 654258037 498548736 93121 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=486864 CPUtime=942.3 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 209584 1253 0 0 94199 31 0 0 25 0 5 0 654258037 498548736 93121 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=486864 CPUtime=933.59 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 311533 1253 0 0 93318 41 0 0 25 0 5 0 654258037 498548736 93121 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364893 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=486864 CPUtime=942.31 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 265867 1253 0 0 94194 37 0 0 25 0 5 0 654258037 498548736 93121 33554432000 4194304 4417452 140736540825856 18446744073709551615 4366099 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760.54
Current children cumulated vsize (KiB) 486864

[startup+1002.3 s]
/proc/loadavg: 8.04 7.80 5.74 9/300 13702
/proc/meminfo: memFree=16074532/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=511272 CPUtime=3999.99 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 1039431 1253 0 0 399855 144 0 0 25 0 5 0 654258037 523542528 99223 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 127818 99223 180 55 0 125704 0
[pid=13665/tid=13671] ppid=13663 vsize=511272 CPUtime=1002.31 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 221481 1253 0 0 100202 29 0 0 25 0 5 0 654258037 523542528 99223 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=511272 CPUtime=1002.31 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 234160 1253 0 0 100197 34 0 0 25 0 5 0 654258037 523542528 99223 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=511272 CPUtime=993.04 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 317635 1253 0 0 99261 43 0 0 25 0 5 0 654258037 523542528 99223 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=511272 CPUtime=1002.31 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 265867 1253 0 0 100194 37 0 0 25 0 5 0 654258037 523542528 99223 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3999.99
Current children cumulated vsize (KiB) 511272

[startup+1062.3 s]
/proc/loadavg: 8.10 7.86 5.89 9/300 13703
/proc/meminfo: memFree=16029236/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=544208 CPUtime=4239.44 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 1047665 1253 0 0 423799 145 0 0 25 0 5 0 654258037 557268992 107457 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 136052 107457 180 55 0 133938 0
[pid=13665/tid=13671] ppid=13663 vsize=544208 CPUtime=1062.31 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 221481 1253 0 0 106202 29 0 0 25 0 5 0 654258037 557268992 107457 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=544208 CPUtime=1062.3 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 238256 1253 0 0 106196 34 0 0 25 0 5 0 654258037 557268992 107457 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=544208 CPUtime=1052.49 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 317635 1253 0 0 105206 43 0 0 25 0 5 0 654258037 557268992 107457 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=544208 CPUtime=1062.3 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 270005 1253 0 0 106193 37 0 0 25 0 5 0 654258037 557268992 107457 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4239.44
Current children cumulated vsize (KiB) 544208

[startup+1122.3 s]
/proc/loadavg: 8.20 7.93 6.04 9/300 13705
/proc/meminfo: memFree=15952324/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=639884 CPUtime=4478.88 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 1107479 1253 0 0 447733 155 0 0 25 0 5 0 654258037 655241216 131374 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 159971 131374 180 55 0 157857 0
[pid=13665/tid=13671] ppid=13663 vsize=639884 CPUtime=1122.31 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 231884 1253 0 0 112200 31 0 0 25 0 5 0 654258037 655241216 131374 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364972 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=639884 CPUtime=1122.31 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 252136 1253 0 0 112194 37 0 0 25 0 5 0 654258037 655241216 131374 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=639884 CPUtime=1111.92 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 326793 1253 0 0 111148 44 0 0 25 0 5 0 654258037 655241216 131374 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=639884 CPUtime=1122.31 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 296378 1253 0 0 112189 42 0 0 25 0 5 0 654258037 655241216 131374 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4478.88
Current children cumulated vsize (KiB) 639884

[startup+1182.3 s]
/proc/loadavg: 8.11 7.95 6.16 9/300 13707
/proc/meminfo: memFree=15862392/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=648260 CPUtime=4718.35 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 1109573 1253 0 0 471679 156 0 0 25 0 5 0 654258037 663818240 133468 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 162065 133468 180 55 0 159951 0
[pid=13665/tid=13671] ppid=13663 vsize=648260 CPUtime=1182.32 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 231884 1253 0 0 118201 31 0 0 25 0 5 0 654258037 663818240 133468 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=648260 CPUtime=1182.31 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 254230 1253 0 0 118194 37 0 0 25 0 5 0 654258037 663818240 133468 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=648260 CPUtime=1171.38 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 326793 1253 0 0 117094 44 0 0 25 0 5 0 654258037 663818240 133468 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=648260 CPUtime=1182.32 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 296378 1253 0 0 118190 42 0 0 25 0 5 0 654258037 663818240 133468 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364861 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4718.35
Current children cumulated vsize (KiB) 648260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.15 7.97 6.20 9/300 13744
/proc/meminfo: memFree=16136384/32951124 swapFree=52307768/67111528
[pid=13665] ppid=13663 vsize=648260 CPUtime=4800.18 cores=0,2,4,6
/proc/13665/stat : 13665 (plingeling) S 13663 13665 13510 0 -1 4202496 1109573 1253 0 0 479862 156 0 0 25 0 5 0 654258037 663818240 133468 33554432000 4194304 4417452 140736540825856 18446744073709551615 218382759909 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/13665/statm: 162065 133468 180 55 0 159951 0
[pid=13665/tid=13671] ppid=13663 vsize=648260 CPUtime=1202.83 cores=0,2,4,6
/proc/13665/task/13671/stat : 13671 (plingeling) R 13663 13665 13510 0 -1 4202560 231884 1253 0 0 120252 31 0 0 25 0 5 0 654258037 663818240 133468 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13665/tid=13672] ppid=13663 vsize=648260 CPUtime=1202.83 cores=0,2,4,6
/proc/13665/task/13672/stat : 13672 (plingeling) R 13663 13665 13510 0 -1 4202560 254230 1253 0 0 120245 38 0 0 25 0 5 0 654258037 663818240 133468 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13665/tid=13673] ppid=13663 vsize=648260 CPUtime=1191.69 cores=0,2,4,6
/proc/13665/task/13673/stat : 13673 (plingeling) R 13663 13665 13510 0 -1 4202560 326793 1253 0 0 119125 44 0 0 25 0 5 0 654258037 663818240 133468 33554432000 4194304 4417452 140736540825856 18446744073709551615 4251100 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13665/tid=13674] ppid=13663 vsize=648260 CPUtime=1202.83 cores=0,2,4,6
/proc/13665/task/13674/stat : 13674 (plingeling) R 13663 13665 13510 0 -1 4202560 296378 1253 0 0 120241 42 0 0 25 0 5 0 654258037 663818240 133468 33554432000 4194304 4417452 140736540825856 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 648260

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): 1202.84
CPU time (s): 4800.24
CPU user time (s): 4798.66
CPU system time (s): 1.58376
CPU usage (%): 399.077
Max. virtual memory (cumulated for all children) (KiB): 652748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.66
system time used= 1.58376
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1110826
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= 114
involuntary context switches= 23294

runsolver used 3.03554 second user time and 7.9148 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-15 04:29:13
IDJOB=3371123
IDBENCH=83222
IDSOLVER=1848
FILE ID=node101/3371123-1305426553
RUNJOBID= node101-1305426532-13528
PBS_JOBID= 13324601
Free space on /tmp= 73760 MiB

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

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

MD5SUM BENCH= 72a4d94c7603cb921acb8c9bb848aa10
RANDOM SEED=930358521

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
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.74
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.841
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.83
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.841
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.841
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:      16667480 kB
Buffers:        329552 kB
Cached:        5978240 kB
SwapCached:      14848 kB
Active:       10887832 kB
Inactive:      5119056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16667480 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:             860 kB
Writeback:           0 kB
AnonPages:     9695848 kB
Mapped:          15300 kB
Slab:           151244 kB
PageTables:      62184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 42086176 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= 73756 MiB
End job on node101 at 2011-05-15 04:49:18