Trace number 3289713

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.28 1202.03

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom17.cnf
MD5SUMa6df2ce216327c64a0156683acb72fc2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables32733
Number of clauses109177
Sum of the clauses size278009
Maximum clause length1080
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 256533
Number of clauses of size 352066
Number of clauses of size 4152
Number of clauses of size 515
Number of clauses of size over 5410

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-3289713-1304081864/watcher-3289713-1304081864 -o /tmp/evaluation-result-3289713-1304081864/solver-3289713-1304081864 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3289713-1304081864.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.23 7.93 8.03 2/178 5366
/proc/meminfo: memFree=29732212/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=11664 CPUtime=0 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) R 5364 5366 4914 0 -1 4202496 1005 1252 0 0 0 0 0 0 21 0 1 0 519784280 11943936 934 33554432000 4194304 4417332 140734983530416 18446744073709551615 255377301248 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/5366/statm: 2916 934 143 55 0 802 0

[startup+0.0695611 s]
/proc/loadavg: 7.23 7.93 8.03 2/178 5366
/proc/meminfo: memFree=29732212/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=27252 CPUtime=0.05 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) R 5364 5366 4914 0 -1 4202496 4933 1252 0 0 5 0 0 0 21 0 1 0 519784280 27906048 4836 33554432000 4194304 4417332 140734983530416 18446744073709551615 4264900 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/5366/statm: 6813 4836 148 55 0 4699 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27252

[startup+0.100555 s]
/proc/loadavg: 7.23 7.93 8.03 2/178 5366
/proc/meminfo: memFree=29732212/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=27252 CPUtime=0.08 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) R 5364 5366 4914 0 -1 4202496 4933 1252 0 0 8 0 0 0 21 0 1 0 519784280 27906048 4836 33554432000 4194304 4417332 140734983530416 18446744073709551615 4320802 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/5366/statm: 6813 4836 148 55 0 4699 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27252

[startup+0.300416 s]
/proc/loadavg: 7.23 7.93 8.03 2/178 5366
/proc/meminfo: memFree=29732212/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=147732 CPUtime=0.77 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 11439 1252 0 0 75 2 0 0 21 0 5 0 519784280 151277568 9044 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 36933 9044 173 55 0 34819 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 147732

[startup+0.700344 s]
/proc/loadavg: 7.23 7.93 8.03 2/178 5366
/proc/meminfo: memFree=29732212/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=147732 CPUtime=2.37 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 14524 1252 0 0 235 2 0 0 21 0 5 0 519784280 151277568 9197 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 36933 9197 175 55 0 34819 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 147732

[startup+1.50119 s]
/proc/loadavg: 7.13 7.90 8.02 10/190 5391
/proc/meminfo: memFree=29653756/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=152356 CPUtime=5.57 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 18761 1252 0 0 554 3 0 0 21 0 5 0 519784280 156012544 9522 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 38089 9522 177 55 0 35975 0
[pid=5366/tid=5384] ppid=5364 vsize=152356 CPUtime=1.36 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (plingeling) R 5364 5366 4914 0 -1 4202560 1430 1252 0 0 136 0 0 0 25 0 5 0 519784294 156012544 9522 33554432000 4194304 4417332 140734983530416 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5366/tid=5385] ppid=5364 vsize=152356 CPUtime=1.35 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 1629 1252 0 0 135 0 0 0 25 0 5 0 519784294 156012544 9522 33554432000 4194304 4417332 140734983530416 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=152356 CPUtime=1.35 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 8019 1252 0 0 135 0 0 0 25 0 5 0 519784294 156012544 9522 33554432000 4194304 4417332 140734983530416 18446744073709551615 4275873 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=152356 CPUtime=1.35 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 690 1252 0 0 135 0 0 0 25 0 5 0 519784294 156012544 9522 33554432000 4194304 4417332 140734983530416 18446744073709551615 4237002 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (KiB) 152356

[startup+3.10089 s]
/proc/loadavg: 7.13 7.90 8.02 9/190 5391
/proc/meminfo: memFree=29645156/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=155208 CPUtime=11.96 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 22359 1252 0 0 1193 3 0 0 21 0 5 0 519784280 158932992 10436 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 38802 10436 181 55 0 36688 0
[pid=5366/tid=5384] ppid=5364 vsize=155208 CPUtime=2.95 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (plingeling) R 5364 5366 4914 0 -1 4202560 2932 1252 0 0 295 0 0 0 25 0 5 0 519784294 158932992 10436 33554432000 4194304 4417332 140734983530416 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5366/tid=5385] ppid=5364 vsize=155208 CPUtime=2.94 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 3140 1252 0 0 294 0 0 0 25 0 5 0 519784294 158932992 10436 33554432000 4194304 4417332 140734983530416 18446744073709551615 4337277 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=155208 CPUtime=2.96 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 8604 1252 0 0 295 1 0 0 25 0 5 0 519784294 158932992 10436 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=155208 CPUtime=2.95 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 690 1252 0 0 295 0 0 0 25 0 5 0 519784294 158932992 10436 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364549 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.96
Current children cumulated vsize (KiB) 155208

[startup+6.3003 s]
/proc/loadavg: 7.20 7.90 8.02 9/190 5391
/proc/meminfo: memFree=29627292/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=157052 CPUtime=24.75 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 24799 1252 0 0 2471 4 0 0 21 0 5 0 519784280 160821248 11437 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 39263 11437 181 55 0 37149 0
[pid=5366/tid=5384] ppid=5364 vsize=157052 CPUtime=6.15 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (plingeling) R 5364 5366 4914 0 -1 4202560 2932 1252 0 0 615 0 0 0 25 0 5 0 519784294 160821248 11437 33554432000 4194304 4417332 140734983530416 18446744073709551615 4258589 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5366/tid=5385] ppid=5364 vsize=157052 CPUtime=6.12 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 3148 1252 0 0 612 0 0 0 25 0 5 0 519784294 160821248 11437 33554432000 4194304 4417332 140734983530416 18446744073709551615 4248238 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=157052 CPUtime=6.15 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 10558 1252 0 0 614 1 0 0 25 0 5 0 519784294 160821248 11437 33554432000 4194304 4417332 140734983530416 18446744073709551615 4365045 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=157052 CPUtime=6.15 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 1168 1252 0 0 615 0 0 0 25 0 5 0 519784294 160821248 11437 33554432000 4194304 4417332 140734983530416 18446744073709551615 4353618 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.75
Current children cumulated vsize (KiB) 157052

[startup+12.7011 s]
/proc/loadavg: 7.26 7.90 8.02 9/190 5391
/proc/meminfo: memFree=29622468/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=161472 CPUtime=50.31 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 29597 1252 0 0 5026 5 0 0 21 0 5 0 519784280 165347328 13879 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 40368 13879 181 55 0 38254 0
[pid=5366/tid=5384] ppid=5364 vsize=161472 CPUtime=12.56 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (plingeling) R 5364 5366 4914 0 -1 4202560 3789 1252 0 0 1255 1 0 0 25 0 5 0 519784294 165347328 13879 33554432000 4194304 4417332 140734983530416 18446744073709551615 4258392 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5366/tid=5385] ppid=5364 vsize=161472 CPUtime=12.49 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 3622 1252 0 0 1249 0 0 0 25 0 5 0 519784294 165347328 13879 33554432000 4194304 4417332 140734983530416 18446744073709551615 4259068 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=161472 CPUtime=12.55 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 12540 1252 0 0 1254 1 0 0 25 0 5 0 519784294 165347328 13879 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364722 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=161472 CPUtime=12.55 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 2653 1252 0 0 1255 0 0 0 25 0 5 0 519784294 165347328 13879 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364463 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.31
Current children cumulated vsize (KiB) 161472

[startup+25.5007 s]
/proc/loadavg: 7.42 7.90 8.02 9/190 5392
/proc/meminfo: memFree=29571180/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=180612 CPUtime=101.44 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 39223 1252 0 0 10138 6 0 0 21 0 5 0 519784280 184946688 18813 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 45153 18813 181 55 0 43039 0
[pid=5366/tid=5384] ppid=5364 vsize=180612 CPUtime=25.36 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (plingeling) R 5364 5366 4914 0 -1 4202560 6093 1252 0 0 2535 1 0 0 25 0 5 0 519784294 184946688 18813 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364502 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5366/tid=5385] ppid=5364 vsize=180612 CPUtime=25.21 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 5209 1252 0 0 2521 0 0 0 25 0 5 0 519784294 184946688 18813 33554432000 4194304 4417332 140734983530416 18446744073709551615 4252935 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=180612 CPUtime=25.36 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 16832 1252 0 0 2534 2 0 0 25 0 5 0 519784294 184946688 18813 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364541 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=180612 CPUtime=25.35 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 4096 1252 0 0 2535 0 0 0 25 0 5 0 519784294 184946688 18813 33554432000 4194304 4417332 140734983530416 18446744073709551615 4236630 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 180612

[startup+51.101 s]
/proc/loadavg: 7.62 7.91 8.01 9/190 5392
/proc/meminfo: memFree=29531432/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=201012 CPUtime=203.7 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 58094 1252 0 0 20362 8 0 0 21 0 5 0 519784280 205836288 23545 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 50253 23545 181 55 0 48139 0
[pid=5366/tid=5384] ppid=5364 vsize=201012 CPUtime=50.95 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (plingeling) R 5364 5366 4914 0 -1 4202560 11272 1252 0 0 5094 1 0 0 25 0 5 0 519784294 205836288 23545 33554432000 4194304 4417332 140734983530416 18446744073709551615 4366014 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5366/tid=5385] ppid=5364 vsize=201012 CPUtime=50.68 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 8578 1252 0 0 5067 1 0 0 25 0 5 0 519784294 205836288 23545 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=201012 CPUtime=50.95 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 26413 1252 0 0 5092 3 0 0 25 0 5 0 519784294 205836288 23545 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=201012 CPUtime=50.95 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 4838 1252 0 0 5095 0 0 0 25 0 5 0 519784294 205836288 23545 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364502 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.7
Current children cumulated vsize (KiB) 201012

[startup+102.307 s]
/proc/loadavg: 7.83 7.92 8.01 9/190 5394
/proc/meminfo: memFree=29484912/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=220832 CPUtime=408.25 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 124358 1252 0 0 40807 18 0 0 21 0 5 0 519784280 226131968 29316 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 55208 29316 181 55 0 53094 0
[pid=5366/tid=5384] ppid=5364 vsize=220832 CPUtime=102.17 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (plingeling) R 5364 5366 4914 0 -1 4202560 23506 1252 0 0 10214 3 0 0 25 0 5 0 519784294 226131968 29316 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5366/tid=5385] ppid=5364 vsize=220832 CPUtime=101.6 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 21827 1252 0 0 10157 3 0 0 25 0 5 0 519784294 226131968 29316 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=220832 CPUtime=102.16 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 52169 1252 0 0 10209 7 0 0 25 0 5 0 519784294 226131968 29316 33554432000 4194304 4417332 140734983530416 18446744073709551615 4357984 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=220832 CPUtime=102.15 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 19863 1252 0 0 10213 2 0 0 25 0 5 0 519784294 226131968 29316 33554432000 4194304 4417332 140734983530416 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.25
Current children cumulated vsize (KiB) 220832

[startup+162.3 s]
/proc/loadavg: 7.98 7.95 8.01 9/190 5395
/proc/meminfo: memFree=29435276/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=241488 CPUtime=647.89 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 192311 1252 0 0 64760 29 0 0 21 0 5 0 519784280 247283712 34756 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 60372 34756 181 55 0 58258 0
[pid=5366/tid=5384] ppid=5364 vsize=241488 CPUtime=162.16 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (plingeling) R 5364 5366 4914 0 -1 4202560 39681 1252 0 0 16211 5 0 0 25 0 5 0 519784294 247283712 34756 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5366/tid=5385] ppid=5364 vsize=241488 CPUtime=161.27 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 35662 1252 0 0 16122 5 0 0 25 0 5 0 519784294 247283712 34756 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364519 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=241488 CPUtime=162.16 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 76915 1252 0 0 16204 12 0 0 25 0 5 0 519784294 247283712 34756 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=241488 CPUtime=162.14 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 33060 1252 0 0 16210 4 0 0 25 0 5 0 519784294 247283712 34756 33554432000 4194304 4417332 140734983530416 18446744073709551615 4355764 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 647.89
Current children cumulated vsize (KiB) 241488


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

[pid=5366/tid=5385] ppid=5364 vsize=328716 CPUtime=698.32 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 149908 1252 0 0 69810 22 0 0 25 0 5 0 519784294 336605184 56192 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=328716 CPUtime=702.01 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 289257 1252 0 0 70154 47 0 0 25 0 5 0 519784294 336605184 56192 33554432000 4194304 4417332 140734983530416 18446744073709551615 4344081 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=328716 CPUtime=701.46 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 124341 1252 0 0 70126 20 0 0 25 0 5 0 519784294 336605184 56192 33554432000 4194304 4417332 140734983530416 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2804.13
Current children cumulated vsize (KiB) 328716

[startup+762.307 s]
/proc/loadavg: 8.34 8.18 8.10 9/190 5423
/proc/meminfo: memFree=29184852/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=366864 CPUtime=3043.84 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 811057 1252 0 0 304252 132 0 0 21 0 5 0 519784280 375668736 65438 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 91716 65438 181 55 0 89602 0
[pid=5366/tid=5384] ppid=5364 vsize=366864 CPUtime=762.18 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (plingeling) R 5364 5366 4914 0 -1 4202560 193327 1252 0 0 76186 32 0 0 25 0 5 0 519784294 375668736 65438 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5366/tid=5385] ppid=5364 vsize=366864 CPUtime=758.01 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 163833 1252 0 0 75776 25 0 0 25 0 5 0 519784294 375668736 65438 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=366864 CPUtime=762.02 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 311504 1252 0 0 76152 50 0 0 25 0 5 0 519784294 375668736 65438 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=366864 CPUtime=761.46 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 135400 1252 0 0 76124 22 0 0 25 0 5 0 519784294 375668736 65438 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3043.84
Current children cumulated vsize (KiB) 366864

[startup+822.301 s]
/proc/loadavg: 8.25 8.19 8.10 9/190 5425
/proc/meminfo: memFree=29135852/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=357664 CPUtime=3283.49 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 866275 1252 0 0 328207 142 0 0 21 0 5 0 519784280 366247936 63431 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 89416 63431 181 55 0 87302 0
[pid=5366/tid=5384] ppid=5364 vsize=357664 CPUtime=822.18 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (plingeling) R 5364 5366 4914 0 -1 4202560 206275 1252 0 0 82183 35 0 0 25 0 5 0 519784294 366247936 63431 33554432000 4194304 4417332 140734983530416 18446744073709551615 4277897 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5366/tid=5385] ppid=5364 vsize=357664 CPUtime=817.67 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 176205 1252 0 0 81740 27 0 0 25 0 5 0 519784294 366247936 63431 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=357664 CPUtime=822.01 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 328225 1252 0 0 82149 52 0 0 25 0 5 0 519784294 366247936 63431 33554432000 4194304 4417332 140734983530416 18446744073709551615 4321577 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=357664 CPUtime=821.45 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 148577 1252 0 0 82121 24 0 0 25 0 5 0 519784294 366247936 63431 33554432000 4194304 4417332 140734983530416 18446744073709551615 4237136 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3283.49
Current children cumulated vsize (KiB) 357664

[startup+882.301 s]
/proc/loadavg: 8.30 8.21 8.11 9/190 5426
/proc/meminfo: memFree=29021000/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=411448 CPUtime=3523.15 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 935348 1252 0 0 352162 153 0 0 21 0 5 0 519784280 421322752 78308 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 102862 78308 181 55 0 100748 0
[pid=5366/tid=5384] ppid=5364 vsize=411448 CPUtime=882.18 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (plingeling) R 5364 5366 4914 0 -1 4202560 218678 1252 0 0 88181 37 0 0 25 0 5 0 519784294 421322752 78308 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5366/tid=5385] ppid=5364 vsize=411448 CPUtime=877.35 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 191178 1252 0 0 87706 29 0 0 25 0 5 0 519784294 421322752 78308 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=411448 CPUtime=882.02 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 357377 1252 0 0 88144 58 0 0 25 0 5 0 519784294 421322752 78308 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=411448 CPUtime=881.45 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 161122 1252 0 0 88118 27 0 0 25 0 5 0 519784294 421322752 78308 33554432000 4194304 4417332 140734983530416 18446744073709551615 4251246 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3523.15
Current children cumulated vsize (KiB) 411448

[startup+942.301 s]
/proc/loadavg: 8.40 8.25 8.13 9/190 5428
/proc/meminfo: memFree=29056932/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=387464 CPUtime=3762.83 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 986028 1252 0 0 376121 162 0 0 21 0 5 0 519784280 396763136 71414 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 96866 71414 181 55 0 94752 0
[pid=5366/tid=5384] ppid=5364 vsize=387464 CPUtime=942.19 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (plingeling) R 5364 5366 4914 0 -1 4202560 226985 1252 0 0 94180 39 0 0 25 0 5 0 519784294 396763136 71414 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5366/tid=5385] ppid=5364 vsize=387464 CPUtime=937.02 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 200981 1252 0 0 93672 30 0 0 25 0 5 0 519784294 396763136 71414 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=387464 CPUtime=942.01 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 375331 1252 0 0 94140 61 0 0 25 0 5 0 519784294 396763136 71414 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=387464 CPUtime=941.44 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 175738 1252 0 0 94115 29 0 0 25 0 5 0 519784294 396763136 71414 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364355 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3762.83
Current children cumulated vsize (KiB) 387464

[startup+1002.3 s]
/proc/loadavg: 8.38 8.26 8.14 9/190 5430
/proc/meminfo: memFree=28970724/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=457480 CPUtime=4002.5 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 1051563 1252 0 0 400077 173 0 0 21 0 5 0 519784280 468459520 90432 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 114370 90432 181 55 0 112256 0
[pid=5366/tid=5384] ppid=5364 vsize=457480 CPUtime=1002.19 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (plingeling) R 5364 5366 4914 0 -1 4202560 243890 1252 0 0 100177 42 0 0 25 0 5 0 519784294 468459520 90432 33554432000 4194304 4417332 140734983530416 18446744073709551615 4354067 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5366/tid=5385] ppid=5364 vsize=457480 CPUtime=996.69 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 212823 1252 0 0 99637 32 0 0 25 0 5 0 519784294 468459520 90432 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=457480 CPUtime=1002.01 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 392565 1252 0 0 100137 64 0 0 25 0 5 0 519784294 468459520 90432 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364639 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=457480 CPUtime=1001.44 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 195292 1252 0 0 100112 32 0 0 25 0 5 0 519784294 468459520 90432 33554432000 4194304 4417332 140734983530416 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4002.5
Current children cumulated vsize (KiB) 457480

[startup+1062.3 s]
/proc/loadavg: 8.30 8.26 8.14 9/190 5431
/proc/meminfo: memFree=28945036/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=423652 CPUtime=4242.17 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 1096373 1252 0 0 424037 180 0 0 21 0 5 0 519784280 433819648 80866 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 105913 80866 181 55 0 103799 0
[pid=5366/tid=5384] ppid=5364 vsize=423652 CPUtime=1062.19 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (plingeling) R 5364 5366 4914 0 -1 4202560 251805 1252 0 0 106175 44 0 0 25 0 5 0 519784294 433819648 80866 33554432000 4194304 4417332 140734983530416 18446744073709551615 4263118 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5366/tid=5385] ppid=5364 vsize=423652 CPUtime=1056.37 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 220143 1252 0 0 105604 33 0 0 25 0 5 0 519784294 433819648 80866 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=423652 CPUtime=1062.01 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 410535 1252 0 0 106134 67 0 0 25 0 5 0 519784294 433819648 80866 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364800 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=423652 CPUtime=1061.44 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 206897 1252 0 0 106110 34 0 0 25 0 5 0 519784294 433819648 80866 33554432000 4194304 4417332 140734983530416 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.17
Current children cumulated vsize (KiB) 423652

[startup+1122.3 s]
/proc/loadavg: 8.23 8.24 8.14 9/190 5433
/proc/meminfo: memFree=28981820/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=446344 CPUtime=4481.84 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 1147678 1252 0 0 447996 188 0 0 21 0 5 0 519784280 457056256 88462 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 111586 88462 181 55 0 109472 0
[pid=5366/tid=5384] ppid=5364 vsize=446344 CPUtime=1122.19 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (plingeling) R 5364 5366 4914 0 -1 4202560 259388 1252 0 0 112175 44 0 0 25 0 5 0 519784294 457056256 88462 33554432000 4194304 4417332 140734983530416 18446744073709551615 4309496 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5366/tid=5385] ppid=5364 vsize=446344 CPUtime=1116.04 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 231189 1252 0 0 111569 35 0 0 25 0 5 0 519784294 457056256 88462 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=446344 CPUtime=1122.01 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 432832 1252 0 0 112131 70 0 0 25 0 5 0 519784294 457056256 88462 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=446344 CPUtime=1121.43 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 217276 1252 0 0 112107 36 0 0 25 0 5 0 519784294 457056256 88462 33554432000 4194304 4417332 140734983530416 18446744073709551615 4365975 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4481.84
Current children cumulated vsize (KiB) 446344

[startup+1182.3 s]
/proc/loadavg: 8.28 8.25 8.15 9/190 5434
/proc/meminfo: memFree=29015908/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=367216 CPUtime=4721.52 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 1212034 1252 0 0 471955 197 0 0 21 0 5 0 519784280 376029184 67696 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 91804 67696 181 55 0 89690 0
[pid=5366/tid=5384] ppid=5364 vsize=367216 CPUtime=1182.2 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (plingeling) R 5364 5366 4914 0 -1 4202560 275490 1252 0 0 118173 47 0 0 25 0 5 0 519784294 376029184 67696 33554432000 4194304 4417332 140734983530416 18446744073709551615 4353498 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5366/tid=5385] ppid=5364 vsize=367216 CPUtime=1175.73 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 252099 1252 0 0 117535 38 0 0 25 0 5 0 519784294 376029184 67696 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364544 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=367216 CPUtime=1182.01 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 446783 1252 0 0 118129 72 0 0 25 0 5 0 519784294 376029184 67696 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=367216 CPUtime=1181.43 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 230669 1252 0 0 118105 38 0 0 25 0 5 0 519784294 376029184 67696 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364549 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4721.52
Current children cumulated vsize (KiB) 367216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.20 8.24 8.15 5/184 5436
/proc/meminfo: memFree=29359312/32951124 swapFree=67111352/67111528
[pid=5366] ppid=5364 vsize=458180 CPUtime=4800.23 cores=0,2,4,6
/proc/5366/stat : 5366 (plingeling) S 5364 5366 4914 0 -1 4202496 1238442 1252 0 0 479823 200 0 0 21 0 5 0 519784280 469176320 92738 33554432000 4194304 4417332 140734983530416 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/5366/statm: 114545 92738 181 55 0 112431 0
[pid=5366/tid=5384] ppid=5364 vsize=458180 CPUtime=1201.9 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (plingeling) R 5364 5366 4914 0 -1 4202560 279351 1252 0 0 120143 47 0 0 25 0 5 0 519784294 469176320 92738 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5366/tid=5385] ppid=5364 vsize=458180 CPUtime=1195.32 cores=0,2,4,6
/proc/5366/task/5385/stat : 5385 (plingeling) R 5364 5366 4914 0 -1 4202560 252099 1252 0 0 119494 38 0 0 25 0 5 0 519784294 469176320 92738 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=458180 CPUtime=1201.72 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (plingeling) R 5364 5366 4914 0 -1 4202560 461116 1252 0 0 120099 73 0 0 25 0 5 0 519784294 469176320 92738 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364796 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=5366/tid=5387] ppid=5364 vsize=458180 CPUtime=1201.13 cores=0,2,4,6
/proc/5366/task/5387/stat : 5387 (plingeling) R 5364 5366 4914 0 -1 4202560 238883 1252 0 0 120074 39 0 0 25 0 5 0 519784294 469176320 92738 33554432000 4194304 4417332 140734983530416 18446744073709551615 4364509 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 458180

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.03
CPU time (s): 4800.28
CPU user time (s): 4798.26
CPU system time (s): 2.02269
CPU usage (%): 399.348
Max. virtual memory (cumulated for all children) (KiB): 472192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.26
system time used= 2.02269
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1239695
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= 112
involuntary context switches= 73550

runsolver used 1.82072 second user time and 4.74428 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-29 14:57:44
IDJOB=3289713
IDBENCH=83134
IDSOLVER=1605
FILE ID=node135/3289713-1304081864
RUNJOBID= node135-1304081864-5352
PBS_JOBID= 13170518
Free space on /tmp= 71116 MiB

SOLVER NAME= Plingeling 587
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom17.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289713-1304081864/watcher-3289713-1304081864 -o /tmp/evaluation-result-3289713-1304081864/solver-3289713-1304081864 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3289713-1304081864.cnf

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

MD5SUM BENCH= a6df2ce216327c64a0156683acb72fc2
RANDOM SEED=1619967254

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29732616 kB
Buffers:        904768 kB
Cached:        1726392 kB
SwapCached:        172 kB
Active:          74392 kB
Inactive:      2626540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29732616 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            3648 kB
Writeback:           0 kB
AnonPages:       68912 kB
Mapped:          14496 kB
Slab:           453676 kB
PageTables:       4856 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   194660 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71120 MiB
End job on node135 at 2011-04-29 15:17:48