Trace number 3289759

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.21 1201.83

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom21.cnf
MD5SUMe6407843d1fbd00b68d4ad600a25dfb2
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 variables48639
Number of clauses162901
Sum of the clauses size415741
Maximum clause length1542
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 283161
Number of clauses of size 378900
Number of clauses of size 4230
Number of clauses of size 519
Number of clauses of size over 5590

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-3289759-1304081864/watcher-3289759-1304081864 -o /tmp/evaluation-result-3289759-1304081864/solver-3289759-1304081864 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3289759-1304081864.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.23 7.93 8.03 2/181 5377
/proc/meminfo: memFree=29723260/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=13904 CPUtime=0 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) R 5375 5377 4914 0 -1 4202496 1566 1261 0 0 0 0 0 0 18 0 1 0 519784285 14237696 1494 33554432000 4194304 4417332 140735592064512 18446744073709551615 255377301248 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5377/statm: 3476 1494 143 55 0 1362 0

[startup+0.0200231 s]
/proc/loadavg: 7.23 7.93 8.03 2/181 5377
/proc/meminfo: memFree=29723260/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=16900 CPUtime=0.01 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) R 5375 5377 4914 0 -1 4202496 2320 1261 0 0 1 0 0 0 18 0 1 0 519784285 17305600 2248 33554432000 4194304 4417332 140735592064512 18446744073709551615 4274337 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5377/statm: 4225 2248 148 55 0 2111 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16900

[startup+0.101015 s]
/proc/loadavg: 7.23 7.93 8.03 2/181 5377
/proc/meminfo: memFree=29723260/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=29600 CPUtime=0.08 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) R 5375 5377 4914 0 -1 4202496 5495 1261 0 0 8 0 0 0 18 0 1 0 519784285 30310400 5423 33554432000 4194304 4417332 140735592064512 18446744073709551615 255377301248 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5377/statm: 7400 5423 148 55 0 5286 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29600

[startup+0.300931 s]
/proc/loadavg: 7.23 7.93 8.03 2/181 5377
/proc/meminfo: memFree=29723260/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=155796 CPUtime=0.56 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 14402 1261 0 0 55 1 0 0 19 0 5 0 519784285 159535104 10746 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 38949 10746 173 55 0 36835 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 155796

[startup+0.700858 s]
/proc/loadavg: 7.23 7.93 8.03 2/181 5377
/proc/meminfo: memFree=29723260/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=157440 CPUtime=2.17 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 18954 1261 0 0 215 2 0 0 19 0 5 0 519784285 161218560 11159 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 39360 11159 175 55 0 37246 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 157440

[startup+1.50071 s]
/proc/loadavg: 7.13 7.90 8.02 11/190 5391
/proc/meminfo: memFree=29655368/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=153404 CPUtime=5.36 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 24359 1261 0 0 533 3 0 0 19 0 5 0 519784285 157085696 11411 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 38351 11411 176 55 0 36237 0
[pid=5377/tid=5388] ppid=5375 vsize=153404 CPUtime=1.29 cores=1,3,5,7
/proc/5377/task/5388/stat : 5388 (plingeling) R 5375 5377 4914 0 -1 4202560 4070 1261 0 0 129 0 0 0 25 0 5 0 519784306 157085696 11411 33554432000 4194304 4417332 140735592064512 18446744073709551615 4236920 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=5377/tid=5389] ppid=5375 vsize=153404 CPUtime=1.28 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 2142 1261 0 0 128 0 0 0 25 0 5 0 519784306 157085696 11411 33554432000 4194304 4417332 140735592064512 18446744073709551615 4291031 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=153404 CPUtime=1.28 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 7574 1261 0 0 127 1 0 0 25 0 5 0 519784306 157085696 11411 33554432000 4194304 4417332 140735592064512 18446744073709551615 4302036 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=153404 CPUtime=1.28 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 1105 1261 0 0 128 0 0 0 19 0 5 0 519784306 157085696 11411 33554432000 4194304 4417332 140735592064512 18446744073709551615 4365076 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 153404

[startup+3.10041 s]
/proc/loadavg: 7.13 7.90 8.02 10/190 5391
/proc/meminfo: memFree=29642056/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=177288 CPUtime=11.75 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 32987 1261 0 0 1171 4 0 0 19 0 5 0 519784285 181542912 15771 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 44322 15771 181 55 0 42208 0
[pid=5377/tid=5388] ppid=5375 vsize=177288 CPUtime=2.89 cores=1,3,5,7
/proc/5377/task/5388/stat : 5388 (plingeling) R 5375 5377 4914 0 -1 4202560 6195 1261 0 0 289 0 0 0 25 0 5 0 519784306 181542912 15771 33554432000 4194304 4417332 140735592064512 18446744073709551615 4273667 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=5377/tid=5389] ppid=5375 vsize=177288 CPUtime=2.88 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 4453 1261 0 0 288 0 0 0 25 0 5 0 519784306 181542912 15771 33554432000 4194304 4417332 140735592064512 18446744073709551615 4272844 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=177288 CPUtime=2.88 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 10395 1261 0 0 287 1 0 0 25 0 5 0 519784306 181542912 15771 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364509 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=177288 CPUtime=2.88 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 2476 1261 0 0 288 0 0 0 24 0 5 0 519784306 181542912 15771 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364541 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.75
Current children cumulated vsize (KiB) 177288

[startup+6.30082 s]
/proc/loadavg: 7.20 7.90 8.02 10/190 5391
/proc/meminfo: memFree=29627292/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=171832 CPUtime=24.53 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 34277 1261 0 0 2449 4 0 0 19 0 5 0 519784285 175955968 14915 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 42958 14915 181 55 0 40844 0
[pid=5377/tid=5388] ppid=5375 vsize=171832 CPUtime=6.09 cores=1,3,5,7
/proc/5377/task/5388/stat : 5388 (plingeling) R 5375 5377 4914 0 -1 4202560 6208 1261 0 0 609 0 0 0 25 0 5 0 519784306 175955968 14915 33554432000 4194304 4417332 140735592064512 18446744073709551615 255376960692 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=5377/tid=5389] ppid=5375 vsize=171832 CPUtime=6.08 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 4630 1261 0 0 608 0 0 0 25 0 5 0 519784306 175955968 14915 33554432000 4194304 4417332 140735592064512 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=171832 CPUtime=6.08 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 10923 1261 0 0 607 1 0 0 25 0 5 0 519784306 175955968 14915 33554432000 4194304 4417332 140735592064512 18446744073709551615 4357499 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=171832 CPUtime=6.06 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 3048 1261 0 0 606 0 0 0 25 0 5 0 519784306 175955968 14915 33554432000 4194304 4417332 140735592064512 18446744073709551615 4236830 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.53
Current children cumulated vsize (KiB) 171832

[startup+12.7006 s]
/proc/loadavg: 7.26 7.90 8.02 9/190 5391
/proc/meminfo: memFree=29622468/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=171232 CPUtime=50.11 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 36791 1261 0 0 5006 5 0 0 19 0 5 0 519784285 175341568 14257 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 42808 14257 181 55 0 40694 0
[pid=5377/tid=5388] ppid=5375 vsize=171232 CPUtime=12.49 cores=1,3,5,7
/proc/5377/task/5388/stat : 5388 (plingeling) R 5375 5377 4914 0 -1 4202560 6492 1261 0 0 1249 0 0 0 25 0 5 0 519784306 175341568 14257 33554432000 4194304 4417332 140735592064512 18446744073709551615 4357111 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=5377/tid=5389] ppid=5375 vsize=171232 CPUtime=12.49 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 5306 1261 0 0 1248 1 0 0 25 0 5 0 519784306 175341568 14257 33554432000 4194304 4417332 140735592064512 18446744073709551615 4321688 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=171232 CPUtime=12.49 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 11703 1261 0 0 1247 2 0 0 25 0 5 0 519784306 175341568 14257 33554432000 4194304 4417332 140735592064512 18446744073709551615 4251045 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=171232 CPUtime=12.42 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 3822 1261 0 0 1242 0 0 0 25 0 5 0 519784306 175341568 14257 33554432000 4194304 4417332 140735592064512 18446744073709551615 4365065 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.11
Current children cumulated vsize (KiB) 171232

[startup+25.5003 s]
/proc/loadavg: 7.42 7.90 8.02 10/190 5392
/proc/meminfo: memFree=29571180/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=203712 CPUtime=101.23 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 47460 1261 0 0 10117 6 0 0 19 0 5 0 519784285 208601088 22383 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 50928 22383 181 55 0 48814 0
[pid=5377/tid=5388] ppid=5375 vsize=203712 CPUtime=25.29 cores=1,3,5,7
/proc/5377/task/5388/stat : 5388 (plingeling) R 5375 5377 4914 0 -1 4202560 9561 1261 0 0 2528 1 0 0 25 0 5 0 519784306 208601088 22383 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=5377/tid=5389] ppid=5375 vsize=203712 CPUtime=25.28 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 6478 1261 0 0 2527 1 0 0 25 0 5 0 519784306 208601088 22383 33554432000 4194304 4417332 140735592064512 18446744073709551615 4250713 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=203712 CPUtime=25.29 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 14369 1261 0 0 2527 2 0 0 25 0 5 0 519784306 208601088 22383 33554432000 4194304 4417332 140735592064512 18446744073709551615 4356700 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=203712 CPUtime=25.14 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 7584 1261 0 0 2514 0 0 0 25 0 5 0 519784306 208601088 22383 33554432000 4194304 4417332 140735592064512 18446744073709551615 4236827 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.23
Current children cumulated vsize (KiB) 203712

[startup+51.1005 s]
/proc/loadavg: 7.62 7.91 8.01 9/190 5392
/proc/meminfo: memFree=29531432/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=223088 CPUtime=203.5 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 62014 1261 0 0 20341 9 0 0 19 0 5 0 519784285 228442112 27227 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 55772 27227 181 55 0 53658 0
[pid=5377/tid=5388] ppid=5375 vsize=223088 CPUtime=50.89 cores=1,3,5,7
/proc/5377/task/5388/stat : 5388 (plingeling) R 5375 5377 4914 0 -1 4202560 12069 1261 0 0 5088 1 0 0 25 0 5 0 519784306 228442112 27227 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364541 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=5377/tid=5389] ppid=5375 vsize=223088 CPUtime=50.88 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 9675 1261 0 0 5087 1 0 0 25 0 5 0 519784306 228442112 27227 33554432000 4194304 4417332 140735592064512 18446744073709551615 4236878 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=223088 CPUtime=50.88 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 17450 1261 0 0 5086 2 0 0 25 0 5 0 519784306 228442112 27227 33554432000 4194304 4417332 140735592064512 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=223088 CPUtime=50.61 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 13352 1261 0 0 5059 2 0 0 25 0 5 0 519784306 228442112 27227 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.5
Current children cumulated vsize (KiB) 223088

[startup+102.307 s]
/proc/loadavg: 7.83 7.92 8.01 10/190 5394
/proc/meminfo: memFree=29484540/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=246252 CPUtime=408.04 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 94102 1261 0 0 40791 13 0 0 19 0 5 0 519784285 252162048 33050 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 61563 33050 181 55 0 59449 0
[pid=5377/tid=5388] ppid=5375 vsize=246252 CPUtime=102.1 cores=1,3,5,7
/proc/5377/task/5388/stat : 5388 (plingeling) R 5375 5377 4914 0 -1 4202560 17103 1261 0 0 10208 2 0 0 25 0 5 0 519784306 252162048 33050 33554432000 4194304 4417332 140735592064512 18446744073709551615 4365986 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=5377/tid=5389] ppid=5375 vsize=246252 CPUtime=102.1 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 17160 1261 0 0 10207 3 0 0 25 0 5 0 519784306 252162048 33050 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=246252 CPUtime=102.09 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 22565 1261 0 0 10206 3 0 0 25 0 5 0 519784306 252162048 33050 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364776 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=246252 CPUtime=101.53 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 27806 1261 0 0 10150 3 0 0 25 0 5 0 519784306 252162048 33050 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.04
Current children cumulated vsize (KiB) 246252

[startup+162.301 s]
/proc/loadavg: 7.98 7.95 8.01 10/190 5395
/proc/meminfo: memFree=29435400/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=273024 CPUtime=647.71 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 119517 1261 0 0 64753 18 0 0 19 0 5 0 519784285 279576576 39817 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 68256 39817 181 55 0 66142 0
[pid=5377/tid=5388] ppid=5375 vsize=273024 CPUtime=162.09 cores=1,3,5,7
/proc/5377/task/5388/stat : 5388 (plingeling) R 5375 5377 4914 0 -1 4202560 22488 1261 0 0 16206 3 0 0 25 0 5 0 519784306 279576576 39817 33554432000 4194304 4417332 140735592064512 18446744073709551615 4312183 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=5377/tid=5389] ppid=5375 vsize=273024 CPUtime=162.08 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 25685 1261 0 0 16204 4 0 0 25 0 5 0 519784306 279576576 39817 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364750 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=273024 CPUtime=162.09 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 24399 1261 0 0 16206 3 0 0 25 0 5 0 519784306 279576576 39817 33554432000 4194304 4417332 140735592064512 18446744073709551615 4365960 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=273024 CPUtime=161.21 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 37477 1261 0 0 16116 5 0 0 25 0 5 0 519784306 279576576 39817 33554432000 4194304 4417332 140735592064512 18446744073709551615 4365045 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 647.71
Current children cumulated vsize (KiB) 273024


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

[pid=5377/tid=5389] ppid=5375 vsize=378276 CPUtime=702.1 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 104149 1261 0 0 70195 15 0 0 25 0 5 0 519784306 387354624 66024 33554432000 4194304 4417332 140735592064512 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=378276 CPUtime=702.1 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 98875 1261 0 0 70196 14 0 0 25 0 5 0 519784306 387354624 66024 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=378276 CPUtime=698.27 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 118581 1261 0 0 69810 17 0 0 25 0 5 0 519784306 387354624 66024 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.81
Current children cumulated vsize (KiB) 378276

[startup+762.307 s]
/proc/loadavg: 8.34 8.18 8.10 10/190 5423
/proc/meminfo: memFree=29184852/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=400640 CPUtime=3044.51 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 461817 1261 0 0 304383 68 0 0 19 0 5 0 519784285 410255360 71615 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 100160 71615 181 55 0 98046 0
[pid=5377/tid=5388] ppid=5375 vsize=400640 CPUtime=762.11 cores=1,3,5,7
/proc/5377/task/5388/stat : 5388 (plingeling) R 5375 5377 4914 0 -1 4202560 122210 1261 0 0 76193 18 0 0 25 0 5 0 519784306 410255360 71615 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364531 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=5377/tid=5389] ppid=5375 vsize=400640 CPUtime=762.11 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 104160 1261 0 0 76196 15 0 0 25 0 5 0 519784306 410255360 71615 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364713 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=400640 CPUtime=762.11 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 98886 1261 0 0 76197 14 0 0 25 0 5 0 519784306 410255360 71615 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=400640 CPUtime=757.95 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 127093 1261 0 0 75777 18 0 0 25 0 5 0 519784306 410255360 71615 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.51
Current children cumulated vsize (KiB) 400640

[startup+822.301 s]
/proc/loadavg: 8.25 8.19 8.10 9/190 5425
/proc/meminfo: memFree=29135852/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=459760 CPUtime=3284.17 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 484406 1261 0 0 328346 71 0 0 19 0 5 0 519784285 470794240 86395 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 114940 86395 181 55 0 112826 0
[pid=5377/tid=5388] ppid=5375 vsize=459760 CPUtime=822.11 cores=1,3,5,7
/proc/5377/task/5388/stat : 5388 (plingeling) R 5375 5377 4914 0 -1 4202560 128571 1261 0 0 82192 19 0 0 25 0 5 0 519784306 470794240 86395 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364544 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=5377/tid=5389] ppid=5375 vsize=459760 CPUtime=822.1 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 106208 1261 0 0 82195 15 0 0 25 0 5 0 519784306 470794240 86395 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=459760 CPUtime=822.1 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 110066 1261 0 0 82195 15 0 0 25 0 5 0 519784306 470794240 86395 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=459760 CPUtime=817.63 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 130093 1261 0 0 81744 19 0 0 25 0 5 0 519784306 470794240 86395 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364706 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.17
Current children cumulated vsize (KiB) 459760

[startup+882.3 s]
/proc/loadavg: 8.30 8.21 8.11 9/190 5426
/proc/meminfo: memFree=29021000/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=512296 CPUtime=3523.85 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 497540 1261 0 0 352312 73 0 0 19 0 5 0 519784285 524591104 99529 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 128074 99529 181 55 0 125960 0
[pid=5377/tid=5388] ppid=5375 vsize=512296 CPUtime=882.1 cores=1,3,5,7
/proc/5377/task/5388/stat : 5388 (plingeling) R 5375 5377 4914 0 -1 4202560 133489 1261 0 0 88191 19 0 0 25 0 5 0 519784306 524591104 99529 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=5377/tid=5389] ppid=5375 vsize=512296 CPUtime=882.11 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 110316 1261 0 0 88195 16 0 0 25 0 5 0 519784306 524591104 99529 33554432000 4194304 4417332 140735592064512 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=512296 CPUtime=882.1 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 114174 1261 0 0 88194 16 0 0 25 0 5 0 519784306 524591104 99529 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364750 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=512296 CPUtime=877.3 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 130093 1261 0 0 87711 19 0 0 25 0 5 0 519784306 524591104 99529 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.85
Current children cumulated vsize (KiB) 512296

[startup+942.3 s]
/proc/loadavg: 8.40 8.25 8.13 9/190 5428
/proc/meminfo: memFree=29053584/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=512500 CPUtime=3763.52 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 511991 1261 0 0 376278 74 0 0 19 0 5 0 519784285 524800000 99580 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 128125 99580 181 55 0 126011 0
[pid=5377/tid=5388] ppid=5375 vsize=512500 CPUtime=942.11 cores=1,3,5,7
/proc/5377/task/5388/stat : 5388 (plingeling) R 5375 5377 4914 0 -1 4202560 137596 1261 0 0 94191 20 0 0 25 0 5 0 519784306 524800000 99580 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364479 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=5377/tid=5389] ppid=5375 vsize=512500 CPUtime=942.11 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 110316 1261 0 0 94195 16 0 0 25 0 5 0 519784306 524800000 99580 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=512500 CPUtime=942.11 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 114174 1261 0 0 94195 16 0 0 25 0 5 0 519784306 524800000 99580 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364742 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=512500 CPUtime=936.98 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 140437 1261 0 0 93678 20 0 0 25 0 5 0 519784306 524800000 99580 33554432000 4194304 4417332 140735592064512 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.52
Current children cumulated vsize (KiB) 512500

[startup+1002.3 s]
/proc/loadavg: 8.38 8.26 8.14 10/190 5430
/proc/meminfo: memFree=28970724/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=517488 CPUtime=4003.21 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 522018 1261 0 0 400245 76 0 0 19 0 5 0 519784285 529907712 100827 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 129372 100827 181 55 0 127258 0
[pid=5377/tid=5388] ppid=5375 vsize=517488 CPUtime=1002.11 cores=1,3,5,7
/proc/5377/task/5388/stat : 5388 (plingeling) R 5375 5377 4914 0 -1 4202560 137596 1261 0 0 100191 20 0 0 25 0 5 0 519784306 529907712 100827 33554432000 4194304 4417332 140735592064512 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=5377/tid=5389] ppid=5375 vsize=517488 CPUtime=1002.11 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 114412 1261 0 0 100195 16 0 0 25 0 5 0 519784306 529907712 100827 33554432000 4194304 4417332 140735592064512 18446744073709551615 4355753 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=517488 CPUtime=1002.11 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 114185 1261 0 0 100195 16 0 0 25 0 5 0 519784306 529907712 100827 33554432000 4194304 4417332 140735592064512 18446744073709551615 4366558 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=517488 CPUtime=996.65 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 146357 1261 0 0 99644 21 0 0 25 0 5 0 519784306 529907712 100827 33554432000 4194304 4417332 140735592064512 18446744073709551615 4353447 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.21
Current children cumulated vsize (KiB) 517488

[startup+1062.3 s]
/proc/loadavg: 8.30 8.26 8.14 10/190 5431
/proc/meminfo: memFree=28943424/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=580176 CPUtime=4242.89 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 551249 1261 0 0 424209 80 0 0 19 0 5 0 519784285 594100224 116499 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 145044 116499 181 55 0 142930 0
[pid=5377/tid=5388] ppid=5375 vsize=580176 CPUtime=1062.11 cores=1,3,5,7
/proc/5377/task/5388/stat : 5388 (plingeling) R 5375 5377 4914 0 -1 4202560 141703 1261 0 0 106191 20 0 0 25 0 5 0 519784306 594100224 116499 33554432000 4194304 4417332 140735592064512 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=5377/tid=5389] ppid=5375 vsize=580176 CPUtime=1062.11 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 124336 1261 0 0 106193 18 0 0 25 0 5 0 519784306 594100224 116499 33554432000 4194304 4417332 140735592064512 18446744073709551615 4236845 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=580176 CPUtime=1062.11 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 118281 1261 0 0 106194 17 0 0 25 0 5 0 519784306 594100224 116499 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364734 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=580176 CPUtime=1056.32 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 157461 1261 0 0 105610 22 0 0 25 0 5 0 519784306 594100224 116499 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364329 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.89
Current children cumulated vsize (KiB) 580176

[startup+1122.3 s]
/proc/loadavg: 8.23 8.24 8.14 10/190 5433
/proc/meminfo: memFree=28981820/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=512532 CPUtime=4482.56 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 560593 1261 0 0 448175 81 0 0 19 0 5 0 519784285 524832768 99620 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 128133 99620 181 55 0 126019 0
[pid=5377/tid=5388] ppid=5375 vsize=512532 CPUtime=1122.12 cores=1,3,5,7
/proc/5377/task/5388/stat : 5388 (plingeling) R 5375 5377 4914 0 -1 4202560 141703 1261 0 0 112191 21 0 0 25 0 5 0 519784306 524832768 99620 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=5377/tid=5389] ppid=5375 vsize=512532 CPUtime=1122.11 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 128432 1261 0 0 112193 18 0 0 25 0 5 0 519784306 524832768 99620 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364796 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=512532 CPUtime=1122.11 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 122377 1261 0 0 112194 17 0 0 25 0 5 0 519784306 524832768 99620 33554432000 4194304 4417332 140735592064512 18446744073709551615 4236559 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=512532 CPUtime=1115.99 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 158613 1261 0 0 111577 22 0 0 25 0 5 0 519784306 524832768 99620 33554432000 4194304 4417332 140735592064512 18446744073709551615 4365846 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.56
Current children cumulated vsize (KiB) 512532

[startup+1182.3 s]
/proc/loadavg: 8.28 8.25 8.15 10/190 5434
/proc/meminfo: memFree=29015908/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=561516 CPUtime=4722.25 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 583508 1261 0 0 472141 84 0 0 19 0 5 0 519784285 574992384 111834 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 140379 111834 181 55 0 138265 0
[pid=5377/tid=5388] ppid=5375 vsize=561516 CPUtime=1182.12 cores=1,3,5,7
/proc/5377/task/5388/stat : 5388 (plingeling) R 5375 5377 4914 0 -1 4202560 141714 1261 0 0 118191 21 0 0 25 0 5 0 519784306 574992384 111834 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364463 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=5377/tid=5389] ppid=5375 vsize=561516 CPUtime=1182.12 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 132538 1261 0 0 118193 19 0 0 25 0 5 0 519784306 574992384 111834 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=561516 CPUtime=1182.11 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 126484 1261 0 0 118193 18 0 0 25 0 5 0 519784306 574992384 111834 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364547 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=561516 CPUtime=1175.68 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 173304 1261 0 0 117544 24 0 0 25 0 5 0 519784306 574992384 111834 33554432000 4194304 4417332 140735592064512 18446744073709551615 4236732 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.25
Current children cumulated vsize (KiB) 561516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.20 8.24 8.15 9/190 5435
/proc/meminfo: memFree=28946716/32951124 swapFree=67111352/67111528
[pid=5377] ppid=5375 vsize=527500 CPUtime=4800.16 cores=1,3,5,7
/proc/5377/stat : 5377 (plingeling) S 5375 5377 4914 0 -1 4202496 594789 1261 0 0 479930 86 0 0 19 0 5 0 519784285 540160000 103330 33554432000 4194304 4417332 140735592064512 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/5377/statm: 131875 103330 181 55 0 129761 0
[pid=5377/tid=5388] ppid=5375 vsize=527500 CPUtime=1201.63 cores=1,3,5,7
/proc/5377/task/5388/stat : 5388 (plingeling) R 5375 5377 4914 0 -1 4202560 141714 1261 0 0 120142 21 0 0 25 0 5 0 519784306 540160000 103330 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364796 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=5377/tid=5389] ppid=5375 vsize=527500 CPUtime=1201.62 cores=1,3,5,7
/proc/5377/task/5389/stat : 5389 (plingeling) R 5375 5377 4914 0 -1 4202560 132538 1261 0 0 120143 19 0 0 25 0 5 0 519784306 540160000 103330 33554432000 4194304 4417332 140735592064512 18446744073709551615 4364750 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5377/tid=5390] ppid=5375 vsize=527500 CPUtime=1201.62 cores=1,3,5,7
/proc/5377/task/5390/stat : 5390 (plingeling) R 5375 5377 4914 0 -1 4202560 126484 1261 0 0 120144 18 0 0 25 0 5 0 519784306 540160000 103330 33554432000 4194304 4417332 140735592064512 18446744073709551615 4358241 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=5377/tid=5391] ppid=5375 vsize=527500 CPUtime=1195.06 cores=1,3,5,7
/proc/5377/task/5391/stat : 5391 (plingeling) R 5375 5377 4914 0 -1 4202560 184585 1261 0 0 119481 25 0 0 25 0 5 0 519784306 540160000 103330 33554432000 4194304 4417332 140735592064512 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 527500

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.83
CPU time (s): 4800.21
CPU user time (s): 4799.33
CPU system time (s): 0.887865
CPU usage (%): 399.408
Max. virtual memory (cumulated for all children) (KiB): 608332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.33
system time used= 0.887865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 596050
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= 160
involuntary context switches= 33661

runsolver used 1.83372 second user time and 4.73028 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= e6407843d1fbd00b68d4ad600a25dfb2
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:      29723416 kB
Buffers:        904772 kB
Cached:        1727940 kB
SwapCached:        172 kB
Active:          85516 kB
Inactive:      2624348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29723416 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            4812 kB
Writeback:           0 kB
AnonPages:       77060 kB
Mapped:          15272 kB
Slab:           453676 kB
PageTables:       4468 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   221444 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= 71116 MiB
End job on node135 at 2011-04-29 15:17:48