Trace number 3259262

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.33 1201.75

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes7.cnf
MD5SUM6200c727c8a5a324974090a1f9a6d7ab
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.03669
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

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-3259262-1304054550/watcher-3259262-1304054550 -o /tmp/evaluation-result-3259262-1304054550/solver-3259262-1304054550 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3259262-1304054550.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.47 7.97 7.94 3/174 30587
/proc/meminfo: memFree=27813524/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=9004 CPUtime=0 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) R 30585 30587 30345 0 -1 4202496 312 1262 0 0 0 0 0 0 25 0 1 0 517052737 9220096 240 33554432000 4194304 4417332 140735381661312 18446744073709551615 4231626 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30587/statm: 2251 240 146 55 0 137 0

[startup+0.146766 s]
/proc/loadavg: 7.47 7.97 7.94 3/174 30587
/proc/meminfo: memFree=27813524/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=61148 CPUtime=0.44 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 4720 1262 0 0 44 0 0 0 25 0 5 0 517052737 62615552 3102 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 15287 3102 176 55 0 13173 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 61148

[startup+0.200755 s]
/proc/loadavg: 7.47 7.97 7.94 3/174 30587
/proc/meminfo: memFree=27813524/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=62208 CPUtime=0.65 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 4985 1262 0 0 65 0 0 0 25 0 5 0 517052737 63700992 3367 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 15552 3367 176 55 0 13438 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 62208

[startup+0.300738 s]
/proc/loadavg: 7.47 7.97 7.94 3/174 30587
/proc/meminfo: memFree=27813524/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=62916 CPUtime=1.05 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 5553 1262 0 0 105 0 0 0 25 0 5 0 517052737 64425984 3516 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 15729 3516 180 55 0 13615 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 62916

[startup+0.700666 s]
/proc/loadavg: 7.47 7.97 7.94 3/174 30587
/proc/meminfo: memFree=27813524/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=70468 CPUtime=2.66 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 7902 1262 0 0 265 1 0 0 25 0 5 0 517052737 72159232 5404 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 17617 5404 180 55 0 15503 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 70468

[startup+1.50052 s]
/proc/loadavg: 7.47 7.97 7.94 10/186 30627
/proc/meminfo: memFree=27735984/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=70020 CPUtime=5.85 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 11157 1262 0 0 584 1 0 0 25 0 5 0 517052737 71700480 5292 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 17505 5292 180 55 0 15391 0
[pid=30587/tid=30605] ppid=30585 vsize=70020 CPUtime=1.45 cores=1,3,5,7
/proc/30587/task/30605/stat : 30605 (plingeling) R 30585 30587 30345 0 -1 4202560 755 1262 0 0 145 0 0 0 20 0 5 0 517052741 71700480 5292 33554432000 4194304 4417332 140735381661312 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30587/tid=30606] ppid=30585 vsize=70020 CPUtime=1.45 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 893 1262 0 0 145 0 0 0 25 0 5 0 517052741 71700480 5292 33554432000 4194304 4417332 140735381661312 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=70020 CPUtime=1.45 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 827 1262 0 0 145 0 0 0 25 0 5 0 517052741 71700480 5292 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364549 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=70020 CPUtime=1.44 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 6244 1262 0 0 144 0 0 0 25 0 5 0 517052741 71700480 5292 33554432000 4194304 4417332 140735381661312 18446744073709551615 4236906 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 70020

[startup+3.10023 s]
/proc/loadavg: 7.47 7.97 7.94 9/186 30627
/proc/meminfo: memFree=27712920/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=84812 CPUtime=12.24 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 17149 1262 0 0 1222 2 0 0 25 0 5 0 517052737 86847488 8902 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 21203 8902 180 55 0 19089 0
[pid=30587/tid=30605] ppid=30585 vsize=84812 CPUtime=3.05 cores=1,3,5,7
/proc/30587/task/30605/stat : 30605 (plingeling) R 30585 30587 30345 0 -1 4202560 755 1262 0 0 305 0 0 0 25 0 5 0 517052741 86847488 8902 33554432000 4194304 4417332 140735381661312 18446744073709551615 4336619 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30587/tid=30606] ppid=30585 vsize=84812 CPUtime=3.05 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 1389 1262 0 0 305 0 0 0 25 0 5 0 517052741 86847488 8902 33554432000 4194304 4417332 140735381661312 18446744073709551615 4249216 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=84812 CPUtime=3.05 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 1114 1262 0 0 305 0 0 0 25 0 5 0 517052741 86847488 8902 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364990 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=84812 CPUtime=3.04 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 11453 1262 0 0 302 2 0 0 25 0 5 0 517052741 86847488 8902 33554432000 4194304 4417332 140735381661312 18446744073709551615 4353461 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 84812

[startup+6.30065 s]
/proc/loadavg: 7.51 7.97 7.94 10/186 30627
/proc/meminfo: memFree=27682456/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=96036 CPUtime=25.02 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 26625 1262 0 0 2499 3 0 0 25 0 5 0 517052737 98340864 11796 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 24009 11796 180 55 0 21895 0
[pid=30587/tid=30605] ppid=30585 vsize=96036 CPUtime=6.25 cores=1,3,5,7
/proc/30587/task/30605/stat : 30605 (plingeling) R 30585 30587 30345 0 -1 4202560 755 1262 0 0 625 0 0 0 25 0 5 0 517052741 98340864 11796 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30587/tid=30606] ppid=30585 vsize=96036 CPUtime=6.25 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 1389 1262 0 0 625 0 0 0 25 0 5 0 517052741 98340864 11796 33554432000 4194304 4417332 140735381661312 18446744073709551615 4365986 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=96036 CPUtime=6.25 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 2129 1262 0 0 625 0 0 0 25 0 5 0 517052741 98340864 11796 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364614 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=96036 CPUtime=6.22 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 19914 1262 0 0 619 3 0 0 25 0 5 0 517052741 98340864 11796 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364973 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 96036

[startup+12.7005 s]
/proc/loadavg: 7.55 7.97 7.94 10/186 30627
/proc/meminfo: memFree=27656328/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=187756 CPUtime=50.59 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 46112 1262 0 0 5053 6 0 0 25 0 5 0 517052737 192262144 18359 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 46939 18359 181 55 0 44825 0
[pid=30587/tid=30605] ppid=30585 vsize=187756 CPUtime=12.65 cores=1,3,5,7
/proc/30587/task/30605/stat : 30605 (plingeling) R 30585 30587 30345 0 -1 4202560 1756 1262 0 0 1265 0 0 0 25 0 5 0 517052741 192262144 18359 33554432000 4194304 4417332 140735381661312 18446744073709551615 4321391 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30587/tid=30606] ppid=30585 vsize=187756 CPUtime=12.65 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 1830 1262 0 0 1265 0 0 0 25 0 5 0 517052741 192262144 18359 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364531 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=187756 CPUtime=12.65 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 3814 1262 0 0 1265 0 0 0 25 0 5 0 517052741 192262144 18359 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=187756 CPUtime=12.58 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 36274 1262 0 0 1253 5 0 0 25 0 5 0 517052741 192262144 18359 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364776 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 187756

[startup+25.5012 s]
/proc/loadavg: 7.65 7.97 7.94 10/186 30628
/proc/meminfo: memFree=27491028/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=217408 CPUtime=101.72 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 82772 1262 0 0 10161 11 0 0 25 0 5 0 517052737 222625792 25786 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 54352 25786 181 55 0 52238 0
[pid=30587/tid=30605] ppid=30585 vsize=217408 CPUtime=25.45 cores=1,3,5,7
/proc/30587/task/30605/stat : 30605 (plingeling) R 30585 30587 30345 0 -1 4202560 4154 1262 0 0 2545 0 0 0 25 0 5 0 517052741 222625792 25786 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364792 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30587/tid=30606] ppid=30585 vsize=217408 CPUtime=25.45 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 4158 1262 0 0 2545 0 0 0 25 0 5 0 517052741 222625792 25786 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364463 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=217408 CPUtime=25.45 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 12672 1262 0 0 2544 1 0 0 25 0 5 0 517052741 222625792 25786 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364479 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=217408 CPUtime=25.31 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 59350 1262 0 0 2523 8 0 0 25 0 5 0 517052741 222625792 25786 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 217408

[startup+51.1005 s]
/proc/loadavg: 7.77 7.97 7.94 10/186 30628
/proc/meminfo: memFree=27394720/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=264012 CPUtime=203.99 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 128996 1262 0 0 20381 18 0 0 25 0 5 0 517052737 270348288 37437 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 66003 37437 181 55 0 63889 0
[pid=30587/tid=30605] ppid=30585 vsize=264012 CPUtime=51.04 cores=1,3,5,7
/proc/30587/task/30605/stat : 30605 (plingeling) R 30585 30587 30345 0 -1 4202560 7544 1262 0 0 5104 0 0 0 25 0 5 0 517052741 270348288 37437 33554432000 4194304 4417332 140735381661312 18446744073709551615 4307843 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30587/tid=30606] ppid=30585 vsize=264012 CPUtime=51.05 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 6487 1262 0 0 5105 0 0 0 25 0 5 0 517052741 270348288 37437 33554432000 4194304 4417332 140735381661312 18446744073709551615 4357259 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=264012 CPUtime=51.05 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 25730 1262 0 0 5102 3 0 0 25 0 5 0 517052741 270348288 37437 33554432000 4194304 4417332 140735381661312 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=264012 CPUtime=50.78 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 86797 1262 0 0 5065 13 0 0 25 0 5 0 517052741 270348288 37437 33554432000 4194304 4417332 140735381661312 18446744073709551615 4357123 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 264012

[startup+102.301 s]
/proc/loadavg: 7.90 7.97 7.94 10/186 30630
/proc/meminfo: memFree=27120652/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=324184 CPUtime=408.53 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 198492 1262 0 0 40824 29 0 0 25 0 5 0 517052737 331964416 52479 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 81046 52479 181 55 0 78932 0
[pid=30587/tid=30605] ppid=30585 vsize=324184 CPUtime=102.26 cores=1,3,5,7
/proc/30587/task/30605/stat : 30605 (plingeling) R 30585 30587 30345 0 -1 4202560 11255 1262 0 0 10225 1 0 0 25 0 5 0 517052741 331964416 52479 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30587/tid=30606] ppid=30585 vsize=324184 CPUtime=102.25 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 15055 1262 0 0 10224 1 0 0 25 0 5 0 517052741 331964416 52479 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364753 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=324184 CPUtime=102.25 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 42952 1262 0 0 10220 5 0 0 25 0 5 0 517052741 331964416 52479 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=324184 CPUtime=101.7 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 126792 1262 0 0 10150 20 0 0 25 0 5 0 517052741 331964416 52479 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.53
Current children cumulated vsize (KiB) 324184

[startup+162.3 s]
/proc/loadavg: 7.96 7.97 7.94 10/186 30631
/proc/meminfo: memFree=27063688/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=354412 CPUtime=648.19 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 289496 1262 0 0 64776 43 0 0 25 0 5 0 517052737 362917888 60037 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 88603 60037 181 55 0 86489 0
[pid=30587/tid=30605] ppid=30585 vsize=354412 CPUtime=162.25 cores=1,3,5,7
/proc/30587/task/30605/stat : 30605 (plingeling) R 30585 30587 30345 0 -1 4202560 25385 1262 0 0 16222 3 0 0 25 0 5 0 517052741 362917888 60037 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30587/tid=30606] ppid=30585 vsize=354412 CPUtime=162.24 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 37663 1262 0 0 16220 4 0 0 25 0 5 0 517052741 362917888 60037 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=354412 CPUtime=162.25 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 62521 1262 0 0 16217 8 0 0 25 0 5 0 517052741 362917888 60037 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=354412 CPUtime=161.37 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 161489 1262 0 0 16112 25 0 0 25 0 5 0 517052741 362917888 60037 33554432000 4194304 4417332 140735381661312 18446744073709551615 4365007 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.19
Current children cumulated vsize (KiB) 354412


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

[pid=30587/tid=30606] ppid=30585 vsize=612892 CPUtime=702.26 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 226753 1262 0 0 70196 30 0 0 25 0 5 0 517052741 627601408 123516 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=612892 CPUtime=702.27 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 207396 1262 0 0 70198 29 0 0 25 0 5 0 517052741 627601408 123516 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=612892 CPUtime=698.44 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 349997 1262 0 0 69790 54 0 0 25 0 5 0 517052741 627601408 123516 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.3
Current children cumulated vsize (KiB) 612892

[startup+762.301 s]
/proc/loadavg: 8.22 8.12 8.01 10/186 30647
/proc/meminfo: memFree=25682264/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=712828 CPUtime=3045 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 1047116 1262 0 0 304348 152 0 0 25 0 5 0 517052737 729935872 149641 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 178207 149641 181 55 0 176093 0
[pid=30587/tid=30605] ppid=30585 vsize=712828 CPUtime=762.27 cores=1,3,5,7
/proc/30587/task/30605/stat : 30605 (plingeling) R 30585 30587 30345 0 -1 4202560 211164 1262 0 0 76197 30 0 0 25 0 5 0 517052741 729935872 149641 33554432000 4194304 4417332 140735381661312 18446744073709551615 4309183 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30587/tid=30606] ppid=30585 vsize=712828 CPUtime=762.27 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 246035 1262 0 0 76194 33 0 0 25 0 5 0 517052741 729935872 149641 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=712828 CPUtime=762.27 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 222646 1262 0 0 76196 31 0 0 25 0 5 0 517052741 729935872 149641 33554432000 4194304 4417332 140735381661312 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=712828 CPUtime=758.12 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 364833 1262 0 0 75756 56 0 0 25 0 5 0 517052741 729935872 149641 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 712828

[startup+822.301 s]
/proc/loadavg: 8.20 8.13 8.02 10/186 30649
/proc/meminfo: memFree=25614632/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=780552 CPUtime=3284.66 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 1112594 1262 0 0 328305 161 0 0 25 0 5 0 517052737 799285248 166572 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 195138 166572 181 55 0 193024 0
[pid=30587/tid=30605] ppid=30585 vsize=780552 CPUtime=822.27 cores=1,3,5,7
/proc/30587/task/30605/stat : 30605 (plingeling) R 30585 30587 30345 0 -1 4202560 231334 1262 0 0 82195 32 0 0 25 0 5 0 517052741 799285248 166572 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364473 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30587/tid=30606] ppid=30585 vsize=780552 CPUtime=822.27 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 270705 1262 0 0 82190 37 0 0 25 0 5 0 517052741 799285248 166572 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364753 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=780552 CPUtime=822.27 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 226742 1262 0 0 82195 32 0 0 25 0 5 0 517052741 799285248 166572 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364671 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=780552 CPUtime=817.79 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 381375 1262 0 0 81720 59 0 0 25 0 5 0 517052741 799285248 166572 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.66
Current children cumulated vsize (KiB) 780552

[startup+882.307 s]
/proc/loadavg: 8.19 8.13 8.02 10/186 30651
/proc/meminfo: memFree=25467648/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=781408 CPUtime=3524.36 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 1167480 1262 0 0 352269 167 0 0 25 0 5 0 517052737 800161792 166786 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 195352 166786 181 55 0 193238 0
[pid=30587/tid=30605] ppid=30585 vsize=781408 CPUtime=882.28 cores=1,3,5,7
/proc/30587/task/30605/stat : 30605 (plingeling) R 30585 30587 30345 0 -1 4202560 248342 1262 0 0 88193 35 0 0 25 0 5 0 517052741 800161792 166786 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30587/tid=30606] ppid=30585 vsize=781408 CPUtime=882.27 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 286235 1262 0 0 88189 38 0 0 25 0 5 0 517052741 800161792 166786 33554432000 4194304 4417332 140735381661312 18446744073709551615 4365960 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=781408 CPUtime=882.28 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 235551 1262 0 0 88195 33 0 0 25 0 5 0 517052741 800161792 166786 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364463 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=781408 CPUtime=877.46 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 394914 1262 0 0 87686 60 0 0 25 0 5 0 517052741 800161792 166786 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.36
Current children cumulated vsize (KiB) 781408

[startup+942.301 s]
/proc/loadavg: 8.17 8.14 8.03 10/186 30652
/proc/meminfo: memFree=25124864/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=804240 CPUtime=3764.03 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 1226865 1262 0 0 376228 175 0 0 25 0 5 0 517052737 823541760 172494 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 201060 172494 181 55 0 198946 0
[pid=30587/tid=30605] ppid=30585 vsize=804240 CPUtime=942.28 cores=1,3,5,7
/proc/30587/task/30605/stat : 30605 (plingeling) R 30585 30587 30345 0 -1 4202560 274260 1262 0 0 94190 38 0 0 25 0 5 0 517052741 823541760 172494 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30587/tid=30606] ppid=30585 vsize=804240 CPUtime=942.27 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 305924 1262 0 0 94186 41 0 0 25 0 5 0 517052741 823541760 172494 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=804240 CPUtime=942.27 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 248816 1262 0 0 94193 34 0 0 25 0 5 0 517052741 823541760 172494 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=804240 CPUtime=937.14 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 395427 1262 0 0 93653 61 0 0 25 0 5 0 517052741 823541760 172494 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364750 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.03
Current children cumulated vsize (KiB) 804240

[startup+1002.3 s]
/proc/loadavg: 8.06 8.11 8.02 10/186 30654
/proc/meminfo: memFree=25940860/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=842268 CPUtime=4003.71 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 1261048 1262 0 0 400190 181 0 0 25 0 5 0 517052737 862482432 182001 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 210567 182001 181 55 0 208453 0
[pid=30587/tid=30605] ppid=30585 vsize=842268 CPUtime=1002.27 cores=1,3,5,7
/proc/30587/task/30605/stat : 30605 (plingeling) R 30585 30587 30345 0 -1 4202560 288177 1262 0 0 100187 40 0 0 25 0 5 0 517052741 862482432 182001 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364796 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30587/tid=30606] ppid=30585 vsize=842268 CPUtime=1002.27 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 320006 1262 0 0 100184 43 0 0 25 0 5 0 517052741 862482432 182001 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364796 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=842268 CPUtime=1002.27 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 252912 1262 0 0 100193 34 0 0 25 0 5 0 517052741 862482432 182001 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=842268 CPUtime=996.81 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 397515 1262 0 0 99620 61 0 0 25 0 5 0 517052741 862482432 182001 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.71
Current children cumulated vsize (KiB) 842268

[startup+1062.3 s]
/proc/loadavg: 8.02 8.09 8.02 9/186 30655
/proc/meminfo: memFree=25921216/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=846104 CPUtime=4243.38 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 1300907 1262 0 0 424152 186 0 0 25 0 5 0 517052737 866410496 182960 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 211526 182960 181 55 0 209412 0
[pid=30587/tid=30605] ppid=30585 vsize=846104 CPUtime=1062.28 cores=1,3,5,7
/proc/30587/task/30605/stat : 30605 (plingeling) R 30585 30587 30345 0 -1 4202560 313165 1262 0 0 106184 44 0 0 25 0 5 0 517052741 866410496 182960 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30587/tid=30606] ppid=30585 vsize=846104 CPUtime=1062.27 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 334877 1262 0 0 106182 45 0 0 25 0 5 0 517052741 866410496 182960 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=846104 CPUtime=1062.27 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 252912 1262 0 0 106193 34 0 0 25 0 5 0 517052741 866410496 182960 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=846104 CPUtime=1056.49 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 397515 1262 0 0 105588 61 0 0 25 0 5 0 517052741 866410496 182960 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.38
Current children cumulated vsize (KiB) 846104

[startup+1122.3 s]
/proc/loadavg: 8.01 8.07 8.01 9/186 30657
/proc/meminfo: memFree=25675896/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=989576 CPUtime=4483.07 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 1366071 1262 0 0 448109 198 0 0 25 0 5 0 517052737 1013325824 216773 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 247394 216773 181 55 0 245280 0
[pid=30587/tid=30605] ppid=30585 vsize=989576 CPUtime=1122.28 cores=1,3,5,7
/proc/30587/task/30605/stat : 30605 (plingeling) R 30585 30587 30345 0 -1 4202560 329578 1262 0 0 112182 46 0 0 25 0 5 0 517052741 1013325824 216773 33554432000 4194304 4417332 140735381661312 18446744073709551615 4358027 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30587/tid=30606] ppid=30585 vsize=989576 CPUtime=1122.27 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 341754 1262 0 0 112181 46 0 0 25 0 5 0 517052741 1013325824 216773 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=989576 CPUtime=1122.28 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 277148 1262 0 0 112190 38 0 0 25 0 5 0 517052741 1013325824 216773 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=989576 CPUtime=1116.16 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 415153 1262 0 0 111551 65 0 0 25 0 5 0 517052741 1013325824 216773 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364526 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.07
Current children cumulated vsize (KiB) 989576

[startup+1182.3 s]
/proc/loadavg: 8.00 8.05 8.01 10/186 30659
/proc/meminfo: memFree=25273596/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=1135600 CPUtime=4722.74 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 1452824 1262 0 0 472061 213 0 0 25 0 5 0 517052737 1162854400 253279 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 283900 253279 181 55 0 281786 0
[pid=30587/tid=30605] ppid=30585 vsize=1135600 CPUtime=1182.28 cores=1,3,5,7
/proc/30587/task/30605/stat : 30605 (plingeling) R 30585 30587 30345 0 -1 4202560 347098 1262 0 0 118179 49 0 0 25 0 5 0 517052741 1162854400 253279 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364671 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30587/tid=30606] ppid=30585 vsize=1135600 CPUtime=1182.27 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 373123 1262 0 0 118176 51 0 0 25 0 5 0 517052741 1162854400 253279 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=1135600 CPUtime=1182.28 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 277148 1262 0 0 118190 38 0 0 25 0 5 0 517052741 1162854400 253279 33554432000 4194304 4417332 140735381661312 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=1135600 CPUtime=1175.84 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 453017 1262 0 0 117511 73 0 0 25 0 5 0 517052741 1162854400 253279 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.74
Current children cumulated vsize (KiB) 1135600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.00 8.05 8.00 9/186 30659
/proc/meminfo: memFree=25253248/32951124 swapFree=67111356/67111528
[pid=30587] ppid=30585 vsize=1155960 CPUtime=4800.26 cores=1,3,5,7
/proc/30587/stat : 30587 (plingeling) S 30585 30587 30345 0 -1 4202496 1457914 1262 0 0 479812 214 0 0 25 0 5 0 517052737 1183703040 258369 33554432000 4194304 4417332 140735381661312 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/30587/statm: 288990 258369 181 55 0 286876 0
[pid=30587/tid=30605] ppid=30585 vsize=1155960 CPUtime=1201.69 cores=1,3,5,7
/proc/30587/task/30605/stat : 30605 (plingeling) R 30585 30587 30345 0 -1 4202560 351211 1262 0 0 120119 50 0 0 25 0 5 0 517052741 1183703040 258369 33554432000 4194304 4417332 140735381661312 18446744073709551615 4365986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30587/tid=30606] ppid=30585 vsize=1155960 CPUtime=1201.68 cores=1,3,5,7
/proc/30587/task/30606/stat : 30606 (plingeling) R 30585 30587 30345 0 -1 4202560 374100 1262 0 0 120117 51 0 0 25 0 5 0 517052741 1183703040 258369 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364463 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30587/tid=30607] ppid=30585 vsize=1155960 CPUtime=1201.68 cores=1,3,5,7
/proc/30587/task/30607/stat : 30607 (plingeling) R 30585 30587 30345 0 -1 4202560 277148 1262 0 0 120130 38 0 0 25 0 5 0 517052741 1183703040 258369 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364671 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30587/tid=30608] ppid=30585 vsize=1155960 CPUtime=1195.13 cores=1,3,5,7
/proc/30587/task/30608/stat : 30608 (plingeling) R 30585 30587 30345 0 -1 4202560 453017 1262 0 0 119440 73 0 0 25 0 5 0 517052741 1183703040 258369 33554432000 4194304 4417332 140735381661312 18446744073709551615 4364957 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 1155960

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.75
CPU time (s): 4800.33
CPU user time (s): 4798.15
CPU system time (s): 2.18567
CPU usage (%): 399.444
Max. virtual memory (cumulated for all children) (KiB): 1234060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.15
system time used= 2.18567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1459176
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= 50
involuntary context switches= 37044

runsolver used 1.90971 second user time and 4.65429 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-29 07:22:30
IDJOB=3259262
IDBENCH=71540
IDSOLVER=1605
FILE ID=node137/3259262-1304054550
RUNJOBID= node137-1304052142-30364
PBS_JOBID= 13170416
Free space on /tmp= 71620 MiB

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

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

MD5SUM BENCH= 6200c727c8a5a324974090a1f9a6d7ab
RANDOM SEED=732597413

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27813672 kB
Buffers:        896524 kB
Cached:        3711292 kB
SwapCached:         56 kB
Active:         252336 kB
Inactive:      4419584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27813672 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:             808 kB
Writeback:           0 kB
AnonPages:       64352 kB
Mapped:          14700 kB
Slab:           401096 kB
PageTables:       4628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   194388 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= 71616 MiB
End job on node137 at 2011-04-29 07:42:34