Trace number 3259570

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Plingeling 587? (TO) 4800.41 1201.88

General information on the benchmark

NameCRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes1.cnf
MD5SUM118632220c6f3388c45a2582e9a2ac0e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark816.061
Satisfiable
(Un)Satisfiability was proved
Number of variables1560
Number of clauses133795
Sum of the clauses size269030
Maximum clause length26
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2133735
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.74 7.99 7.98 2/177 696
/proc/meminfo: memFree=27172408/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=8724 CPUtime=0 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) R 694 696 330 0 -1 4202496 239 1253 0 0 0 0 0 0 21 0 1 0 517142839 8933376 169 33554432000 4194304 4417332 140734625879888 18446744073709551615 210204341219 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/696/statm: 2181 171 136 55 0 67 0

[startup+0.00947693 s]
/proc/loadavg: 7.74 7.99 7.98 2/177 696
/proc/meminfo: memFree=27172408/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=9552 CPUtime=0 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) R 694 696 330 0 -1 4202496 479 1253 0 0 0 0 0 0 21 0 1 0 517142839 9781248 409 33554432000 4194304 4417332 140734625879888 18446744073709551615 4259328 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/696/statm: 2388 409 146 55 0 274 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9552

[startup+0.100396 s]
/proc/loadavg: 7.74 7.99 7.98 2/177 696
/proc/meminfo: memFree=27172408/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=132536 CPUtime=0.11 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 4632 1253 0 0 11 0 0 0 22 0 5 0 517142839 135716864 4558 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 33134 4558 169 55 0 31020 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 132536

[startup+0.300362 s]
/proc/loadavg: 7.74 7.99 7.98 2/177 696
/proc/meminfo: memFree=27172408/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=135332 CPUtime=0.91 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 9763 1253 0 0 90 1 0 0 22 0 5 0 517142839 138579968 5255 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 33833 5255 176 55 0 31719 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 135332

[startup+0.700295 s]
/proc/loadavg: 7.74 7.99 7.98 2/177 696
/proc/meminfo: memFree=27172408/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=146148 CPUtime=2.51 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 14065 1253 0 0 249 2 0 0 22 0 5 0 517142839 149655552 7963 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 36537 7963 180 55 0 34423 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 146148

[startup+1.50116 s]
/proc/loadavg: 7.74 7.99 7.98 10/186 710
/proc/meminfo: memFree=27126464/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=157980 CPUtime=5.7 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 19257 1253 0 0 568 2 0 0 22 0 5 0 517142839 161771520 10921 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 39495 10921 180 55 0 37381 0
[pid=696/tid=707] ppid=694 vsize=157980 CPUtime=1.4 cores=0,2,4,6
/proc/696/task/707/stat : 707 (plingeling) R 694 696 330 0 -1 4202560 1796 1253 0 0 140 0 0 0 25 0 5 0 517142848 161771520 10921 33554432000 4194304 4417332 140734625879888 18446744073709551615 4249601 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=696/tid=708] ppid=694 vsize=157980 CPUtime=1.4 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 1758 1253 0 0 140 0 0 0 25 0 5 0 517142848 161771520 10921 33554432000 4194304 4417332 140734625879888 18446744073709551615 4258244 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=157980 CPUtime=1.39 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 1476 1253 0 0 139 0 0 0 25 0 5 0 517142848 161771520 10921 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=157980 CPUtime=1.4 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 9682 1253 0 0 139 1 0 0 25 0 5 0 517142848 161771520 10921 33554432000 4194304 4417332 140734625879888 18446744073709551615 4357169 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 157980

[startup+3.1009 s]
/proc/loadavg: 7.76 7.99 7.98 10/186 710
/proc/meminfo: memFree=27115056/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=165444 CPUtime=12.1 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 28273 1253 0 0 1206 4 0 0 22 0 5 0 517142839 169414656 12845 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 41361 12845 180 55 0 39247 0
[pid=696/tid=707] ppid=694 vsize=165444 CPUtime=3 cores=0,2,4,6
/proc/696/task/707/stat : 707 (plingeling) R 694 696 330 0 -1 4202560 2607 1253 0 0 300 0 0 0 25 0 5 0 517142848 169414656 12845 33554432000 4194304 4417332 140734625879888 18446744073709551615 4258188 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=696/tid=708] ppid=694 vsize=165444 CPUtime=3 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 2569 1253 0 0 300 0 0 0 25 0 5 0 517142848 169414656 12845 33554432000 4194304 4417332 140734625879888 18446744073709551615 4250072 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=165444 CPUtime=2.99 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 1649 1253 0 0 299 0 0 0 25 0 5 0 517142848 169414656 12845 33554432000 4194304 4417332 140734625879888 18446744073709551615 4344081 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=165444 CPUtime=2.99 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 16903 1253 0 0 297 2 0 0 25 0 5 0 517142848 169414656 12845 33554432000 4194304 4417332 140734625879888 18446744073709551615 4357448 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.1
Current children cumulated vsize (KiB) 165444

[startup+6.30036 s]
/proc/loadavg: 7.76 7.99 7.98 10/186 710
/proc/meminfo: memFree=27102024/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=172260 CPUtime=24.89 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 40131 1253 0 0 2483 6 0 0 22 0 5 0 517142839 176394240 14549 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 43065 14549 180 55 0 40951 0
[pid=696/tid=707] ppid=694 vsize=172260 CPUtime=6.2 cores=0,2,4,6
/proc/696/task/707/stat : 707 (plingeling) R 694 696 330 0 -1 4202560 2607 1253 0 0 620 0 0 0 25 0 5 0 517142848 176394240 14549 33554432000 4194304 4417332 140734625879888 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=696/tid=708] ppid=694 vsize=172260 CPUtime=6.2 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 2569 1253 0 0 620 0 0 0 25 0 5 0 517142848 176394240 14549 33554432000 4194304 4417332 140734625879888 18446744073709551615 4258604 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=172260 CPUtime=6.17 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 1649 1253 0 0 617 0 0 0 25 0 5 0 517142848 176394240 14549 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364750 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=172260 CPUtime=6.2 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 28761 1253 0 0 616 4 0 0 25 0 5 0 517142848 176394240 14549 33554432000 4194304 4417332 140734625879888 18446744073709551615 4357657 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.89
Current children cumulated vsize (KiB) 172260

[startup+12.7003 s]
/proc/loadavg: 7.80 7.99 7.98 9/186 710
/proc/meminfo: memFree=27045044/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=195688 CPUtime=50.44 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 69772 1253 0 0 5035 9 0 0 22 0 5 0 517142839 200384512 20380 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 48922 20380 180 55 0 46808 0
[pid=696/tid=707] ppid=694 vsize=195688 CPUtime=12.6 cores=0,2,4,6
/proc/696/task/707/stat : 707 (plingeling) R 694 696 330 0 -1 4202560 3417 1253 0 0 1260 0 0 0 25 0 5 0 517142848 200384512 20380 33554432000 4194304 4417332 140734625879888 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=696/tid=708] ppid=694 vsize=195688 CPUtime=12.6 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 3379 1253 0 0 1260 0 0 0 25 0 5 0 517142848 200384512 20380 33554432000 4194304 4417332 140734625879888 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=195688 CPUtime=12.54 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 2284 1253 0 0 1254 0 0 0 25 0 5 0 517142848 200384512 20380 33554432000 4194304 4417332 140734625879888 18446744073709551615 4249609 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=195688 CPUtime=12.59 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 56147 1253 0 0 1252 7 0 0 25 0 5 0 517142848 200384512 20380 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364736 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 195688

[startup+25.5012 s]
/proc/loadavg: 7.83 7.99 7.98 10/186 711
/proc/meminfo: memFree=26947824/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=269116 CPUtime=101.58 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 110330 1253 0 0 10142 16 0 0 22 0 5 0 517142839 275574784 38737 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 67279 38737 180 55 0 65165 0
[pid=696/tid=707] ppid=694 vsize=269116 CPUtime=25.4 cores=0,2,4,6
/proc/696/task/707/stat : 707 (plingeling) R 694 696 330 0 -1 4202560 4781 1253 0 0 2540 0 0 0 25 0 5 0 517142848 275574784 38737 33554432000 4194304 4417332 140734625879888 18446744073709551615 4307609 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=696/tid=708] ppid=694 vsize=269116 CPUtime=25.4 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 4120 1253 0 0 2540 0 0 0 25 0 5 0 517142848 275574784 38737 33554432000 4194304 4417332 140734625879888 18446744073709551615 4283648 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=269116 CPUtime=25.27 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 7408 1253 0 0 2526 1 0 0 25 0 5 0 517142848 275574784 38737 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364568 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=269116 CPUtime=25.4 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 89476 1253 0 0 2527 13 0 0 25 0 5 0 517142848 275574784 38737 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 269116

[startup+51.1009 s]
/proc/loadavg: 7.95 8.01 7.99 9/186 711
/proc/meminfo: memFree=26872380/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=291364 CPUtime=203.85 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 179206 1253 0 0 20358 27 0 0 22 0 5 0 517142839 298356736 44299 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 72841 44299 180 55 0 70727 0
[pid=696/tid=707] ppid=694 vsize=291364 CPUtime=51 cores=0,2,4,6
/proc/696/task/707/stat : 707 (plingeling) R 694 696 330 0 -1 4202560 7395 1253 0 0 5099 1 0 0 25 0 5 0 517142848 298356736 44299 33554432000 4194304 4417332 140734625879888 18446744073709551615 4357111 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=696/tid=708] ppid=694 vsize=291364 CPUtime=51 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 5861 1253 0 0 5100 0 0 0 25 0 5 0 517142848 298356736 44299 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364742 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=291364 CPUtime=50.74 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 14893 1253 0 0 5072 2 0 0 25 0 5 0 517142848 298356736 44299 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=291364 CPUtime=51 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 146512 1253 0 0 5078 22 0 0 25 0 5 0 517142848 298356736 44299 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364473 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 291364

[startup+102.306 s]
/proc/loadavg: 7.98 8.00 7.99 10/186 713
/proc/meminfo: memFree=26704840/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=413780 CPUtime=408.38 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 274865 1253 0 0 40798 40 0 0 22 0 5 0 517142839 423710720 74904 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 103445 74904 181 55 0 101331 0
[pid=696/tid=707] ppid=694 vsize=413780 CPUtime=102.2 cores=0,2,4,6
/proc/696/task/707/stat : 707 (plingeling) R 694 696 330 0 -1 4202560 10594 1253 0 0 10219 1 0 0 25 0 5 0 517142848 423710720 74904 33554432000 4194304 4417332 140734625879888 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=696/tid=708] ppid=694 vsize=413780 CPUtime=102.2 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 10401 1253 0 0 10219 1 0 0 25 0 5 0 517142848 423710720 74904 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=413780 CPUtime=101.67 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 30298 1253 0 0 10163 4 0 0 25 0 5 0 517142848 423710720 74904 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=413780 CPUtime=102.21 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 219027 1253 0 0 10188 33 0 0 25 0 5 0 517142848 423710720 74904 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364473 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.38
Current children cumulated vsize (KiB) 413780

[startup+162.3 s]
/proc/loadavg: 7.99 8.00 7.99 10/186 714
/proc/meminfo: memFree=26367280/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=591808 CPUtime=648.04 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 343185 1253 0 0 64752 52 0 0 22 0 5 0 517142839 606011392 119443 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 147952 119443 181 55 0 145838 0
[pid=696/tid=707] ppid=694 vsize=591808 CPUtime=162.2 cores=0,2,4,6
/proc/696/task/707/stat : 707 (plingeling) R 694 696 330 0 -1 4202560 16733 1253 0 0 16218 2 0 0 25 0 5 0 517142848 606011392 119443 33554432000 4194304 4417332 140734625879888 18446744073709551615 4263232 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=696/tid=708] ppid=694 vsize=591808 CPUtime=162.19 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 15081 1253 0 0 16218 1 0 0 25 0 5 0 517142848 606011392 119443 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364683 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=591808 CPUtime=161.32 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 44108 1253 0 0 16127 5 0 0 25 0 5 0 517142848 606011392 119443 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=591808 CPUtime=162.2 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 262718 1253 0 0 16179 41 0 0 25 0 5 0 517142848 606011392 119443 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.04
Current children cumulated vsize (KiB) 591808


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

[pid=696/tid=708] ppid=694 vsize=1266540 CPUtime=702.21 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 21134 1253 0 0 70218 3 0 0 25 0 5 0 517142848 1296936960 288094 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364753 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=1266540 CPUtime=698.33 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 109338 1253 0 0 69820 13 0 0 25 0 5 0 517142848 1296936960 288094 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364541 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=1266540 CPUtime=702.19 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 571152 1253 0 0 70134 85 0 0 25 0 5 0 517142848 1296936960 288094 33554432000 4194304 4417332 140734625879888 18446744073709551615 4236706 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.05
Current children cumulated vsize (KiB) 1266540

[startup+762.306 s]
/proc/loadavg: 8.14 8.10 8.02 10/186 730
/proc/meminfo: memFree=25224668/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=1408832 CPUtime=3044.74 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 780705 1253 0 0 304359 115 0 0 22 0 5 0 517142839 1442643968 323667 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 352208 323667 181 55 0 350094 0
[pid=696/tid=707] ppid=694 vsize=1408832 CPUtime=762.21 cores=0,2,4,6
/proc/696/task/707/stat : 707 (plingeling) R 694 696 330 0 -1 4202560 38963 1253 0 0 76216 5 0 0 25 0 5 0 517142848 1442643968 323667 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=696/tid=708] ppid=694 vsize=1408832 CPUtime=762.21 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 21134 1253 0 0 76218 3 0 0 25 0 5 0 517142848 1442643968 323667 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=1408832 CPUtime=758.01 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 111386 1253 0 0 75787 14 0 0 25 0 5 0 517142848 1442643968 323667 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364942 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=1408832 CPUtime=762.19 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 604677 1253 0 0 76128 91 0 0 25 0 5 0 517142848 1442643968 323667 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.74
Current children cumulated vsize (KiB) 1408832

[startup+822.301 s]
/proc/loadavg: 8.12 8.09 8.02 10/186 732
/proc/meminfo: memFree=25656904/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=930864 CPUtime=3284.39 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 857590 1253 0 0 328312 127 0 0 22 0 5 0 517142839 953204736 204175 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 232716 204175 181 55 0 230602 0
[pid=696/tid=707] ppid=694 vsize=930864 CPUtime=822.21 cores=0,2,4,6
/proc/696/task/707/stat : 707 (plingeling) R 694 696 330 0 -1 4202560 41011 1253 0 0 82216 5 0 0 25 0 5 0 517142848 953204736 204175 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=696/tid=708] ppid=694 vsize=930864 CPUtime=822.21 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 21134 1253 0 0 82218 3 0 0 25 0 5 0 517142848 953204736 204175 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=930864 CPUtime=817.67 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 113434 1253 0 0 81753 14 0 0 25 0 5 0 517142848 953204736 204175 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=930864 CPUtime=822.19 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 677466 1253 0 0 82116 103 0 0 25 0 5 0 517142848 953204736 204175 33554432000 4194304 4417332 140734625879888 18446744073709551615 4365960 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.39
Current children cumulated vsize (KiB) 930864

[startup+882.301 s]
/proc/loadavg: 8.11 8.09 8.02 9/186 733
/proc/meminfo: memFree=25711180/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=947248 CPUtime=3524.06 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 867830 1253 0 0 352278 128 0 0 22 0 5 0 517142839 969981952 208271 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 236812 208271 181 55 0 234698 0
[pid=696/tid=707] ppid=694 vsize=947248 CPUtime=882.21 cores=0,2,4,6
/proc/696/task/707/stat : 707 (plingeling) R 694 696 330 0 -1 4202560 45107 1253 0 0 88215 6 0 0 25 0 5 0 517142848 969981952 208271 33554432000 4194304 4417332 140734625879888 18446744073709551615 4343671 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=696/tid=708] ppid=694 vsize=947248 CPUtime=882.2 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 25230 1253 0 0 88217 3 0 0 25 0 5 0 517142848 969981952 208271 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=947248 CPUtime=877.34 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 115482 1253 0 0 87720 14 0 0 25 0 5 0 517142848 969981952 208271 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=947248 CPUtime=882.19 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 677466 1253 0 0 88116 103 0 0 25 0 5 0 517142848 969981952 208271 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364788 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.06
Current children cumulated vsize (KiB) 947248

[startup+942.301 s]
/proc/loadavg: 8.17 8.10 8.02 9/186 735
/proc/meminfo: memFree=25490916/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=1144732 CPUtime=3763.73 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 917201 1253 0 0 376236 137 0 0 22 0 5 0 517142839 1172205568 257642 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 286183 257642 181 55 0 284069 0
[pid=696/tid=707] ppid=694 vsize=1144732 CPUtime=942.2 cores=0,2,4,6
/proc/696/task/707/stat : 707 (plingeling) R 694 696 330 0 -1 4202560 53637 1253 0 0 94214 6 0 0 25 0 5 0 517142848 1172205568 257642 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=696/tid=708] ppid=694 vsize=1144732 CPUtime=942.2 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 27278 1253 0 0 94217 3 0 0 25 0 5 0 517142848 1172205568 257642 33554432000 4194304 4417332 140734625879888 18446744073709551615 4366297 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=1144732 CPUtime=937.01 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 115482 1253 0 0 93687 14 0 0 25 0 5 0 517142848 1172205568 257642 33554432000 4194304 4417332 140734625879888 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=1144732 CPUtime=942.19 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 716259 1253 0 0 94108 111 0 0 25 0 5 0 517142848 1172205568 257642 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364750 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.73
Current children cumulated vsize (KiB) 1144732

[startup+1002.3 s]
/proc/loadavg: 8.06 8.08 8.02 9/186 737
/proc/meminfo: memFree=25252680/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=1254376 CPUtime=4003.39 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 944612 1253 0 0 400199 140 0 0 22 0 5 0 517142839 1284481024 285053 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 313594 285053 181 55 0 311480 0
[pid=696/tid=707] ppid=694 vsize=1254376 CPUtime=1002.2 cores=0,2,4,6
/proc/696/task/707/stat : 707 (plingeling) R 694 696 330 0 -1 4202560 53637 1253 0 0 100214 6 0 0 25 0 5 0 517142848 1284481024 285053 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364473 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=696/tid=708] ppid=694 vsize=1254376 CPUtime=1002.2 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 27278 1253 0 0 100217 3 0 0 25 0 5 0 517142848 1284481024 285053 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=1254376 CPUtime=996.67 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 115482 1253 0 0 99653 14 0 0 25 0 5 0 517142848 1284481024 285053 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364753 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=1254376 CPUtime=1002.18 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 743670 1253 0 0 100105 113 0 0 25 0 5 0 517142848 1284481024 285053 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364526 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.39
Current children cumulated vsize (KiB) 1254376

[startup+1062.3 s]
/proc/loadavg: 8.08 8.08 8.02 10/186 738
/proc/meminfo: memFree=25177636/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=1334720 CPUtime=4243.06 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 966746 1253 0 0 424162 144 0 0 22 0 5 0 517142839 1366753280 305139 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 333680 305139 181 55 0 331566 0
[pid=696/tid=707] ppid=694 vsize=1334720 CPUtime=1062.21 cores=0,2,4,6
/proc/696/task/707/stat : 707 (plingeling) R 694 696 330 0 -1 4202560 53637 1253 0 0 106215 6 0 0 25 0 5 0 517142848 1366753280 305139 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=696/tid=708] ppid=694 vsize=1334720 CPUtime=1062.21 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 27278 1253 0 0 106217 4 0 0 25 0 5 0 517142848 1366753280 305139 33554432000 4194304 4417332 140734625879888 18446744073709551615 4366053 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=1334720 CPUtime=1056.34 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 115482 1253 0 0 105620 14 0 0 25 0 5 0 517142848 1366753280 305139 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=1334720 CPUtime=1062.18 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 765804 1253 0 0 106100 118 0 0 25 0 5 0 517142848 1366753280 305139 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.06
Current children cumulated vsize (KiB) 1334720

[startup+1122.3 s]
/proc/loadavg: 8.09 8.08 8.02 10/186 740
/proc/meminfo: memFree=25072700/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=1334720 CPUtime=4482.73 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 968794 1253 0 0 448128 145 0 0 22 0 5 0 517142839 1366753280 305139 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 333680 305139 181 55 0 331566 0
[pid=696/tid=707] ppid=694 vsize=1334720 CPUtime=1122.21 cores=0,2,4,6
/proc/696/task/707/stat : 707 (plingeling) R 694 696 330 0 -1 4202560 53637 1253 0 0 112215 6 0 0 25 0 5 0 517142848 1366753280 305139 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364734 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=696/tid=708] ppid=694 vsize=1334720 CPUtime=1122.21 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 29326 1253 0 0 112217 4 0 0 25 0 5 0 517142848 1366753280 305139 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364887 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=1334720 CPUtime=1116.01 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 115482 1253 0 0 111587 14 0 0 25 0 5 0 517142848 1366753280 305139 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=1334720 CPUtime=1122.18 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 765804 1253 0 0 112100 118 0 0 25 0 5 0 517142848 1366753280 305139 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.73
Current children cumulated vsize (KiB) 1334720

[startup+1182.3 s]
/proc/loadavg: 8.08 8.08 8.02 10/186 741
/proc/meminfo: memFree=24987612/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=1366384 CPUtime=4722.4 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 982854 1253 0 0 472093 147 0 0 22 0 5 0 517142839 1399177216 313055 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 341596 313055 181 55 0 339482 0
[pid=696/tid=707] ppid=694 vsize=1366384 CPUtime=1182.21 cores=0,2,4,6
/proc/696/task/707/stat : 707 (plingeling) R 694 696 330 0 -1 4202560 63601 1253 0 0 118214 7 0 0 25 0 5 0 517142848 1399177216 313055 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364734 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=696/tid=708] ppid=694 vsize=1366384 CPUtime=1182.21 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 33422 1253 0 0 118216 5 0 0 25 0 5 0 517142848 1399177216 313055 33554432000 4194304 4417332 140734625879888 18446744073709551615 4366573 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=1366384 CPUtime=1175.68 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 115482 1253 0 0 117554 14 0 0 25 0 5 0 517142848 1399177216 313055 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=1366384 CPUtime=1182.18 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 765804 1253 0 0 118100 118 0 0 25 0 5 0 517142848 1399177216 313055 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.4
Current children cumulated vsize (KiB) 1366384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.06 8.07 8.02 5/180 743
/proc/meminfo: memFree=25931660/32951124 swapFree=67088964/67111528
[pid=696] ppid=694 vsize=1358192 CPUtime=4800.3 cores=0,2,4,6
/proc/696/stat : 696 (plingeling) S 694 696 330 0 -1 4202496 982854 1253 0 0 479883 147 0 0 22 0 5 0 517142839 1390788608 311007 33554432000 4194304 4417332 140734625879888 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/696/statm: 339548 311007 181 55 0 337434 0
[pid=696/tid=707] ppid=694 vsize=1358192 CPUtime=1201.71 cores=0,2,4,6
/proc/696/task/707/stat : 707 (plingeling) R 694 696 330 0 -1 4202560 63601 1253 0 0 120164 7 0 0 25 0 5 0 517142848 1390788608 311007 33554432000 4194304 4417332 140734625879888 18446744073709551615 4343680 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=696/tid=708] ppid=694 vsize=1358192 CPUtime=1201.72 cores=0,2,4,6
/proc/696/task/708/stat : 708 (plingeling) R 694 696 330 0 -1 4202560 33422 1253 0 0 120167 5 0 0 25 0 5 0 517142848 1390788608 311007 33554432000 4194304 4417332 140734625879888 18446744073709551615 4343680 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=696/tid=709] ppid=694 vsize=1358192 CPUtime=1195.07 cores=0,2,4,6
/proc/696/task/709/stat : 709 (plingeling) R 694 696 330 0 -1 4202560 115482 1253 0 0 119493 14 0 0 25 0 5 0 517142848 1390788608 311007 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=696/tid=710] ppid=694 vsize=1358192 CPUtime=1201.68 cores=0,2,4,6
/proc/696/task/710/stat : 710 (plingeling) R 694 696 330 0 -1 4202560 765804 1253 0 0 120050 118 0 0 25 0 5 0 517142848 1390788608 311007 33554432000 4194304 4417332 140734625879888 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 1358192

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): 1201.88
CPU time (s): 4800.41
CPU user time (s): 4798.87
CPU system time (s): 1.53977
CPU usage (%): 399.409
Max. virtual memory (cumulated for all children) (KiB): 1441600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.87
system time used= 1.53977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 984108
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= 122
involuntary context switches= 23653

runsolver used 1.89671 second user time and 4.64129 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-29 07:37:23
IDJOB=3259570
IDBENCH=71593
IDSOLVER=1605
FILE ID=node130/3259570-1304055443
RUNJOBID= node130-1304055443-671
PBS_JOBID= 13170415
Free space on /tmp= 71992 MiB

SOLVER NAME= Plingeling 587
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v1560c133795gyes1.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3259570-1304055443/watcher-3259570-1304055443 -o /tmp/evaluation-result-3259570-1304055443/solver-3259570-1304055443 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3259570-1304055443.cnf

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

MD5SUM BENCH= 118632220c6f3388c45a2582e9a2ac0e
RANDOM SEED=9105467

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27174424 kB
Buffers:       1156728 kB
Cached:        4095484 kB
SwapCached:      22432 kB
Active:         365420 kB
Inactive:      4980252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27174424 kB
SwapTotal:    67111528 kB
SwapFree:     67088964 kB
Dirty:            2724 kB
Writeback:           0 kB
AnonPages:       71216 kB
Mapped:          15200 kB
Slab:           368488 kB
PageTables:       4772 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   217704 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= 71992 MiB
End job on node130 at 2011-04-29 07:57:27