Trace number 3371454

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Plingeling 587f (fixed)? (TO) 4800.15 1202.93

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom18.cnf
MD5SUM9ece8f569c93ceee834817ef3350ed8e
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 variables36410
Number of clauses121578
Sum of the clauses size309786
Maximum clause length1188
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 262692
Number of clauses of size 358247
Number of clauses of size 4170
Number of clauses of size 516
Number of clauses of size over 5452

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3371454-1305423599/watcher-3371454-1305423599 -o /tmp/evaluation-result-3371454-1305423599/solver-3371454-1305423599 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3371454-1305423599.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: 8.23 7.07 7.21 5/305 18937
/proc/meminfo: memFree=11916424/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=14748 CPUtime=0 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) R 18935 18937 18486 0 -1 4202496 1780 1251 0 0 0 0 0 0 25 0 1 0 653957815 15101952 1710 33554432000 4194304 4417452 140737036278704 18446744073709551615 255377301248 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/18937/statm: 3687 1710 148 55 0 1573 0

[startup+0.023149 s]
/proc/loadavg: 8.23 7.07 7.21 5/305 18937
/proc/meminfo: memFree=11916424/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=16624 CPUtime=0.01 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) R 18935 18937 18486 0 -1 4202496 2268 1251 0 0 1 0 0 0 25 0 1 0 653957815 17022976 2180 33554432000 4194304 4417452 140737036278704 18446744073709551615 255377301248 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/18937/statm: 4156 2180 149 55 0 2042 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16624

[startup+0.10113 s]
/proc/loadavg: 8.23 7.07 7.21 5/305 18937
/proc/meminfo: memFree=11916424/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=29340 CPUtime=0.08 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) R 18935 18937 18486 0 -1 4202496 5415 1251 0 0 8 0 0 0 25 0 1 0 653957815 30044160 5327 33554432000 4194304 4417452 140737036278704 18446744073709551615 4231642 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/18937/statm: 7335 5327 149 55 0 5221 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29340

[startup+0.301057 s]
/proc/loadavg: 8.23 7.07 7.21 5/305 18937
/proc/meminfo: memFree=11916424/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=148548 CPUtime=0.72 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 15708 1251 0 0 70 2 0 0 25 0 5 0 653957815 152113152 8567 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 37137 8567 174 55 0 35023 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 148548

[startup+0.700982 s]
/proc/loadavg: 8.23 7.07 7.21 5/305 18937
/proc/meminfo: memFree=11916424/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=153076 CPUtime=2.32 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 24392 1251 0 0 229 3 0 0 25 0 5 0 653957815 156749824 9700 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 38269 9700 175 55 0 36155 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 153076

[startup+1.50083 s]
/proc/loadavg: 8.23 7.07 7.21 9/310 18947
/proc/meminfo: memFree=11878448/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=145864 CPUtime=5.51 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 37759 1251 0 0 546 5 0 0 25 0 5 0 653957815 149364736 8836 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 36466 8836 176 55 0 34352 0
[pid=18937/tid=18944] ppid=18935 vsize=145864 CPUtime=1.33 cores=0,2,4,6
/proc/18937/task/18944/stat : 18944 (plingeling) R 18935 18937 18486 0 -1 4202560 9520 1251 0 0 133 0 0 0 25 0 5 0 653957830 149364736 8836 33554432000 4194304 4417452 140737036278704 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18937/tid=18945] ppid=18935 vsize=145864 CPUtime=1.33 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 9079 1251 0 0 132 1 0 0 25 0 5 0 653957830 149364736 8836 33554432000 4194304 4417452 140737036278704 18446744073709551615 4277552 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=145864 CPUtime=1.33 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 9172 1251 0 0 132 1 0 0 25 0 5 0 653957830 149364736 8836 33554432000 4194304 4417452 140737036278704 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=145864 CPUtime=1.33 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 572 1251 0 0 133 0 0 0 25 0 5 0 653957830 149364736 8836 33554432000 4194304 4417452 140737036278704 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 145864

[startup+3.10053 s]
/proc/loadavg: 8.29 7.11 7.22 9/310 18947
/proc/meminfo: memFree=11881672/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=160220 CPUtime=11.9 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 45987 1251 0 0 1183 7 0 0 25 0 5 0 653957815 164065280 11503 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 40055 11503 180 55 0 37941 0
[pid=18937/tid=18944] ppid=18935 vsize=160220 CPUtime=2.93 cores=0,2,4,6
/proc/18937/task/18944/stat : 18944 (plingeling) R 18935 18937 18486 0 -1 4202560 12127 1251 0 0 292 1 0 0 25 0 5 0 653957830 164065280 11503 33554432000 4194304 4417452 140737036278704 18446744073709551615 4252507 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18937/tid=18945] ppid=18935 vsize=160220 CPUtime=2.93 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 11937 1251 0 0 292 1 0 0 25 0 5 0 653957830 164065280 11503 33554432000 4194304 4417452 140737036278704 18446744073709551615 4253152 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=160220 CPUtime=2.94 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 11768 1251 0 0 292 2 0 0 25 0 5 0 653957830 164065280 11503 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=160220 CPUtime=2.92 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 739 1251 0 0 292 0 0 0 25 0 5 0 653957830 164065280 11503 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.9
Current children cumulated vsize (KiB) 160220

[startup+6.30094 s]
/proc/loadavg: 8.29 7.11 7.22 9/310 18948
/proc/meminfo: memFree=11877824/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=163292 CPUtime=24.67 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 46797 1251 0 0 2460 7 0 0 25 0 5 0 653957815 167211008 12271 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 40823 12271 180 55 0 38709 0
[pid=18937/tid=18944] ppid=18935 vsize=163292 CPUtime=6.14 cores=0,2,4,6
/proc/18937/task/18944/stat : 18944 (plingeling) R 18935 18937 18486 0 -1 4202560 12293 1251 0 0 613 1 0 0 25 0 5 0 653957830 167211008 12271 33554432000 4194304 4417452 140737036278704 18446744073709551615 4252361 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18937/tid=18945] ppid=18935 vsize=163292 CPUtime=6.13 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 12024 1251 0 0 612 1 0 0 25 0 5 0 653957830 167211008 12271 33554432000 4194304 4417452 140737036278704 18446744073709551615 4234264 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=163292 CPUtime=6.14 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 12073 1251 0 0 612 2 0 0 25 0 5 0 653957830 167211008 12271 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=163292 CPUtime=6.09 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 991 1251 0 0 609 0 0 0 25 0 5 0 653957830 167211008 12271 33554432000 4194304 4417452 140737036278704 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.67
Current children cumulated vsize (KiB) 163292

[startup+12.7008 s]
/proc/loadavg: 8.24 7.13 7.23 9/310 18948
/proc/meminfo: memFree=11875640/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=173836 CPUtime=50.2 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 51052 1251 0 0 5013 7 0 0 25 0 5 0 653957815 178008064 14939 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 43459 14939 180 55 0 41345 0
[pid=18937/tid=18944] ppid=18935 vsize=173836 CPUtime=12.53 cores=0,2,4,6
/proc/18937/task/18944/stat : 18944 (plingeling) R 18935 18937 18486 0 -1 4202560 12840 1251 0 0 1252 1 0 0 25 0 5 0 653957830 178008064 14939 33554432000 4194304 4417452 140737036278704 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18937/tid=18945] ppid=18935 vsize=173836 CPUtime=12.53 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 12812 1251 0 0 1252 1 0 0 25 0 5 0 653957830 178008064 14939 33554432000 4194304 4417452 140737036278704 18446744073709551615 4366402 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=173836 CPUtime=12.54 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 12087 1251 0 0 1252 2 0 0 25 0 5 0 653957830 178008064 14939 33554432000 4194304 4417452 140737036278704 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=173836 CPUtime=12.42 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 3897 1251 0 0 1242 0 0 0 25 0 5 0 653957830 178008064 14939 33554432000 4194304 4417452 140737036278704 18446744073709551615 4365167 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.2
Current children cumulated vsize (KiB) 173836

[startup+25.5004 s]
/proc/loadavg: 8.21 7.16 7.24 9/310 18948
/proc/meminfo: memFree=11848744/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=193788 CPUtime=101.28 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 56035 1251 0 0 10120 8 0 0 25 0 5 0 653957815 198438912 19901 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 48447 19901 180 55 0 46333 0
[pid=18937/tid=18944] ppid=18935 vsize=193788 CPUtime=25.33 cores=0,2,4,6
/proc/18937/task/18944/stat : 18944 (plingeling) R 18935 18937 18486 0 -1 4202560 14175 1251 0 0 2532 1 0 0 25 0 5 0 653957830 198438912 19901 33554432000 4194304 4417452 140737036278704 18446744073709551615 4366418 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18937/tid=18945] ppid=18935 vsize=193788 CPUtime=25.33 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 14313 1251 0 0 2531 2 0 0 25 0 5 0 653957830 198438912 19901 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=193788 CPUtime=25.34 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 13098 1251 0 0 2532 2 0 0 25 0 5 0 653957830 198438912 19901 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=193788 CPUtime=25.1 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 5033 1251 0 0 2510 0 0 0 25 0 5 0 653957830 198438912 19901 33554432000 4194304 4417452 140737036278704 18446744073709551615 4250873 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.28
Current children cumulated vsize (KiB) 193788

[startup+51.1006 s]
/proc/loadavg: 8.13 7.23 7.26 9/310 18949
/proc/meminfo: memFree=11773528/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=211276 CPUtime=203.45 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 70129 1251 0 0 20335 10 0 0 25 0 5 0 653957815 216346624 24273 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 52819 24273 180 55 0 50705 0
[pid=18937/tid=18944] ppid=18935 vsize=211276 CPUtime=50.94 cores=0,2,4,6
/proc/18937/task/18944/stat : 18944 (plingeling) R 18935 18937 18486 0 -1 4202560 17486 1251 0 0 5092 2 0 0 25 0 5 0 653957830 216346624 24273 33554432000 4194304 4417452 140737036278704 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18937/tid=18945] ppid=18935 vsize=211276 CPUtime=50.93 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 18806 1251 0 0 5090 3 0 0 25 0 5 0 653957830 216346624 24273 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=211276 CPUtime=50.93 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 15099 1251 0 0 5091 2 0 0 25 0 5 0 653957830 216346624 24273 33554432000 4194304 4417452 140737036278704 18446744073709551615 4354469 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=211276 CPUtime=50.48 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 9322 1251 0 0 5047 1 0 0 25 0 5 0 653957830 216346624 24273 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.45
Current children cumulated vsize (KiB) 211276

[startup+102.311 s]
/proc/loadavg: 8.09 7.37 7.30 9/310 18950
/proc/meminfo: memFree=11785032/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=250964 CPUtime=407.82 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 108498 1251 0 0 40766 16 0 0 25 0 5 0 653957815 256987136 34195 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 62741 34195 180 55 0 60627 0
[pid=18937/tid=18944] ppid=18935 vsize=250964 CPUtime=102.14 cores=0,2,4,6
/proc/18937/task/18944/stat : 18944 (plingeling) R 18935 18937 18486 0 -1 4202560 27740 1251 0 0 10211 3 0 0 25 0 5 0 653957830 256987136 34195 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18937/tid=18945] ppid=18935 vsize=250964 CPUtime=102.13 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 27155 1251 0 0 10209 4 0 0 25 0 5 0 653957830 256987136 34195 33554432000 4194304 4417452 140737036278704 18446744073709551615 4366603 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=250964 CPUtime=102.15 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 23734 1251 0 0 10212 3 0 0 25 0 5 0 653957830 256987136 34195 33554432000 4194304 4417452 140737036278704 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=250964 CPUtime=101.21 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 20453 1251 0 0 10119 2 0 0 25 0 5 0 653957830 256987136 34195 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.82
Current children cumulated vsize (KiB) 250964

[startup+162.301 s]
/proc/loadavg: 8.06 7.50 7.35 9/310 18952
/proc/meminfo: memFree=11695128/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=261060 CPUtime=647.24 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 155478 1251 0 0 64699 25 0 0 25 0 5 0 653957815 267325440 36719 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 65265 36719 180 55 0 63151 0
[pid=18937/tid=18944] ppid=18935 vsize=261060 CPUtime=162.14 cores=0,2,4,6
/proc/18937/task/18944/stat : 18944 (plingeling) R 18935 18937 18486 0 -1 4202560 42686 1251 0 0 16207 7 0 0 25 0 5 0 653957830 267325440 36719 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18937/tid=18945] ppid=18935 vsize=261060 CPUtime=162.1 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 34081 1251 0 0 16205 5 0 0 25 0 5 0 653957830 267325440 36719 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=261060 CPUtime=162.14 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 34035 1251 0 0 16209 5 0 0 25 0 5 0 653957830 267325440 36719 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=261060 CPUtime=160.67 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 35260 1251 0 0 16062 5 0 0 25 0 5 0 653957830 267325440 36719 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.24
Current children cumulated vsize (KiB) 261060


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

[pid=18937/tid=18945] ppid=18935 vsize=423528 CPUtime=762.04 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 116316 1251 0 0 76186 18 0 0 25 0 5 0 653957830 433692672 77336 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=423528 CPUtime=762.17 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 95430 1251 0 0 76203 14 0 0 25 0 5 0 653957830 433692672 77336 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=423528 CPUtime=755.19 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 73930 1251 0 0 75509 10 0 0 25 0 5 0 653957830 433692672 77336 33554432000 4194304 4417452 140737036278704 18446744073709551615 4353504 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.75
Current children cumulated vsize (KiB) 423528

[startup+822.301 s]
/proc/loadavg: 8.27 8.14 7.77 10/310 18969
/proc/meminfo: memFree=11441516/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=408948 CPUtime=3281.17 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 438915 1251 0 0 328051 66 0 0 25 0 5 0 653957815 418762752 73691 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 102237 73691 180 55 0 100123 0
[pid=18937/tid=18944] ppid=18935 vsize=408948 CPUtime=822.16 cores=0,2,4,6
/proc/18937/task/18944/stat : 18944 (plingeling) R 18935 18937 18486 0 -1 4202560 126307 1251 0 0 82197 19 0 0 25 0 5 0 653957830 418762752 73691 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18937/tid=18945] ppid=18935 vsize=408948 CPUtime=822.02 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 123729 1251 0 0 82183 19 0 0 25 0 5 0 653957830 418762752 73691 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=408948 CPUtime=822.16 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 99388 1251 0 0 82201 15 0 0 25 0 5 0 653957830 418762752 73691 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=408948 CPUtime=814.65 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 80075 1251 0 0 81454 11 0 0 25 0 5 0 653957830 418762752 73691 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.17
Current children cumulated vsize (KiB) 408948

[startup+882.301 s]
/proc/loadavg: 8.21 8.14 7.79 10/310 18971
/proc/meminfo: memFree=11422412/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=422760 CPUtime=3520.61 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 465428 1251 0 0 351991 70 0 0 25 0 5 0 653957815 432906240 77144 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 105690 77144 180 55 0 103576 0
[pid=18937/tid=18944] ppid=18935 vsize=422760 CPUtime=882.16 cores=0,2,4,6
/proc/18937/task/18944/stat : 18944 (plingeling) R 18935 18937 18486 0 -1 4202560 136690 1251 0 0 88196 20 0 0 25 0 5 0 653957830 432906240 77144 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18937/tid=18945] ppid=18935 vsize=422760 CPUtime=882.01 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 130697 1251 0 0 88181 20 0 0 25 0 5 0 653957830 432906240 77144 33554432000 4194304 4417452 140737036278704 18446744073709551615 4353598 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=422760 CPUtime=882.16 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 108550 1251 0 0 88200 16 0 0 25 0 5 0 653957830 432906240 77144 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=422760 CPUtime=874.1 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 80075 1251 0 0 87399 11 0 0 25 0 5 0 653957830 432906240 77144 33554432000 4194304 4417452 140737036278704 18446744073709551615 4355824 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.61
Current children cumulated vsize (KiB) 422760

[startup+942.301 s]
/proc/loadavg: 8.27 8.17 7.82 9/310 19009
/proc/meminfo: memFree=11777944/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=395256 CPUtime=3760.06 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 492457 1251 0 0 375932 74 0 0 25 0 5 0 653957815 404742144 70300 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 98814 70300 180 55 0 96700 0
[pid=18937/tid=18944] ppid=18935 vsize=395256 CPUtime=942.16 cores=0,2,4,6
/proc/18937/task/18944/stat : 18944 (plingeling) R 18935 18937 18486 0 -1 4202560 139991 1251 0 0 94195 21 0 0 25 0 5 0 653957830 404742144 70300 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18937/tid=18945] ppid=18935 vsize=395256 CPUtime=942.01 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 133757 1251 0 0 94180 21 0 0 25 0 5 0 653957830 404742144 70300 33554432000 4194304 4417452 140737036278704 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=395256 CPUtime=942.16 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 121026 1251 0 0 94198 18 0 0 25 0 5 0 653957830 404742144 70300 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=395256 CPUtime=933.55 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 88267 1251 0 0 93343 12 0 0 25 0 5 0 653957830 404742144 70300 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.06
Current children cumulated vsize (KiB) 395256

[startup+1002.3 s]
/proc/loadavg: 8.20 8.17 7.84 9/310 19011
/proc/meminfo: memFree=11695964/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=461976 CPUtime=3999.52 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 522495 1251 0 0 399875 77 0 0 25 0 5 0 653957815 473063424 86948 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 115494 86948 180 55 0 113380 0
[pid=18937/tid=18944] ppid=18935 vsize=461976 CPUtime=1002.17 cores=0,2,4,6
/proc/18937/task/18944/stat : 18944 (plingeling) R 18935 18937 18486 0 -1 4202560 149024 1251 0 0 100195 22 0 0 25 0 5 0 653957830 473063424 86948 33554432000 4194304 4417452 140737036278704 18446744073709551615 4263109 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18937/tid=18945] ppid=18935 vsize=461976 CPUtime=1002 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 139783 1251 0 0 100179 21 0 0 25 0 5 0 653957830 473063424 86948 33554432000 4194304 4417452 140737036278704 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=461976 CPUtime=1002.17 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 126896 1251 0 0 100198 19 0 0 25 0 5 0 653957830 473063424 86948 33554432000 4194304 4417452 140737036278704 18446744073709551615 4237176 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=461976 CPUtime=993.01 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 97376 1251 0 0 99288 13 0 0 25 0 5 0 653957830 473063424 86948 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364589 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.52
Current children cumulated vsize (KiB) 461976

[startup+1062.3 s]
/proc/loadavg: 8.25 8.20 7.87 9/310 19013
/proc/meminfo: memFree=11691860/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=450012 CPUtime=4238.96 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 553564 1251 0 0 423815 81 0 0 25 0 5 0 653957815 460812288 83957 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 112503 83957 180 55 0 110389 0
[pid=18937/tid=18944] ppid=18935 vsize=450012 CPUtime=1062.17 cores=0,2,4,6
/proc/18937/task/18944/stat : 18944 (plingeling) R 18935 18937 18486 0 -1 4202560 153882 1251 0 0 106195 22 0 0 25 0 5 0 653957830 460812288 83957 33554432000 4194304 4417452 140737036278704 18446744073709551615 4366661 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18937/tid=18945] ppid=18935 vsize=450012 CPUtime=1061.98 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 147158 1251 0 0 106176 22 0 0 25 0 5 0 653957830 460812288 83957 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=450012 CPUtime=1062.16 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 138169 1251 0 0 106196 20 0 0 25 0 5 0 653957830 460812288 83957 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=450012 CPUtime=1052.47 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 104939 1251 0 0 105233 14 0 0 25 0 5 0 653957830 460812288 83957 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4238.96
Current children cumulated vsize (KiB) 450012

[startup+1122.3 s]
/proc/loadavg: 8.13 8.17 7.88 10/310 19014
/proc/meminfo: memFree=11647084/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=480616 CPUtime=4478.41 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 583209 1251 0 0 447754 87 0 0 25 0 5 0 653957815 492150784 91608 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 120154 91608 180 55 0 118040 0
[pid=18937/tid=18944] ppid=18935 vsize=480616 CPUtime=1122.17 cores=0,2,4,6
/proc/18937/task/18944/stat : 18944 (plingeling) R 18935 18937 18486 0 -1 4202560 164396 1251 0 0 112193 24 0 0 25 0 5 0 653957830 492150784 91608 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18937/tid=18945] ppid=18935 vsize=480616 CPUtime=1121.98 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 151254 1251 0 0 112175 23 0 0 25 0 5 0 653957830 492150784 91608 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=480616 CPUtime=1122.16 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 145913 1251 0 0 112194 22 0 0 25 0 5 0 653957830 492150784 91608 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=480616 CPUtime=1111.9 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 112230 1251 0 0 111175 15 0 0 25 0 5 0 653957830 492150784 91608 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4478.41
Current children cumulated vsize (KiB) 480616

[startup+1182.3 s]
/proc/loadavg: 8.22 8.20 7.91 9/310 19016
/proc/meminfo: memFree=11635532/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=490192 CPUtime=4717.86 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 611674 1251 0 0 471696 90 0 0 25 0 5 0 653957815 501956608 94002 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 122548 94002 180 55 0 120434 0
[pid=18937/tid=18944] ppid=18935 vsize=490192 CPUtime=1182.17 cores=0,2,4,6
/proc/18937/task/18944/stat : 18944 (plingeling) R 18935 18937 18486 0 -1 4202560 167637 1251 0 0 118193 24 0 0 25 0 5 0 653957830 501956608 94002 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18937/tid=18945] ppid=18935 vsize=490192 CPUtime=1181.98 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 160014 1251 0 0 118174 24 0 0 25 0 5 0 653957830 501956608 94002 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=490192 CPUtime=1182.17 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 155758 1251 0 0 118193 24 0 0 25 0 5 0 653957830 501956608 94002 33554432000 4194304 4417452 140737036278704 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=490192 CPUtime=1171.37 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 118849 1251 0 0 117121 16 0 0 25 0 5 0 653957830 501956608 94002 33554432000 4194304 4417452 140737036278704 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4717.86
Current children cumulated vsize (KiB) 490192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.23 8.20 7.91 9/310 19016
/proc/meminfo: memFree=11645444/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=460960 CPUtime=4800.1 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 622432 1251 0 0 479917 93 0 0 25 0 5 0 653957815 472023040 86694 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 115240 86694 180 55 0 113126 0
[pid=18937/tid=18944] ppid=18935 vsize=460960 CPUtime=1202.78 cores=0,2,4,6
/proc/18937/task/18944/stat : 18944 (plingeling) R 18935 18937 18486 0 -1 4202560 168481 1251 0 0 120254 24 0 0 25 0 5 0 653957830 472023040 86694 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18937/tid=18945] ppid=18935 vsize=460960 CPUtime=1202.58 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 163658 1251 0 0 120233 25 0 0 25 0 5 0 653957830 472023040 86694 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=460960 CPUtime=1202.78 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 160672 1251 0 0 120254 24 0 0 25 0 5 0 653957830 472023040 86694 33554432000 4194304 4417452 140737036278704 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=460960 CPUtime=1191.77 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 120205 1251 0 0 119161 16 0 0 25 0 5 0 653957830 472023040 86694 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364784 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 460960

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

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

[startup+1202.9 s]
/proc/loadavg: 8.23 8.20 7.91 9/310 19016
/proc/meminfo: memFree=11645444/32951124 swapFree=66050672/67111528
[pid=18937] ppid=18935 vsize=460960 CPUtime=4800.1 cores=0,2,4,6
/proc/18937/stat : 18937 (plingeling) S 18935 18937 18486 0 -1 4202496 622432 1251 0 0 479917 93 0 0 25 0 5 0 653957815 472023040 86694 33554432000 4194304 4417452 140737036278704 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18937/statm: 115240 86694 180 55 0 113126 0
[pid=18937/tid=18944] ppid=18935 vsize=460960 CPUtime=1202.78 cores=0,2,4,6
/proc/18937/task/18944/stat : 18944 (plingeling) R 18935 18937 18486 0 -1 4202560 168481 1251 0 0 120254 24 0 0 25 0 5 0 653957830 472023040 86694 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18937/tid=18945] ppid=18935 vsize=460960 CPUtime=1202.58 cores=0,2,4,6
/proc/18937/task/18945/stat : 18945 (plingeling) R 18935 18937 18486 0 -1 4202560 163658 1251 0 0 120233 25 0 0 25 0 5 0 653957830 472023040 86694 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18937/tid=18946] ppid=18935 vsize=460960 CPUtime=1202.78 cores=0,2,4,6
/proc/18937/task/18946/stat : 18946 (plingeling) R 18935 18937 18486 0 -1 4202560 160672 1251 0 0 120254 24 0 0 25 0 5 0 653957830 472023040 86694 33554432000 4194304 4417452 140737036278704 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18937/tid=18947] ppid=18935 vsize=460960 CPUtime=1191.77 cores=0,2,4,6
/proc/18937/task/18947/stat : 18947 (plingeling) R 18935 18937 18486 0 -1 4202560 120205 1251 0 0 119161 16 0 0 25 0 5 0 653957830 472023040 86694 33554432000 4194304 4417452 140737036278704 18446744073709551615 4364784 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 460960

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.93
CPU time (s): 4800.15
CPU user time (s): 4799.2
CPU system time (s): 0.948855
CPU usage (%): 399.038
Max. virtual memory (cumulated for all children) (KiB): 520620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.2
system time used= 0.948855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 623683
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= 187
involuntary context switches= 73094

runsolver used 3.24951 second user time and 7.77282 second system time

The end

Launcher Data 

Begin job on node135 at 2011-05-15 03:40:00
IDJOB=3371454
IDBENCH=83127
IDSOLVER=1848
FILE ID=node135/3371454-1305423599
RUNJOBID= node135-1305423325-18865
PBS_JOBID= 13324578
Free space on /tmp= 73340 MiB

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

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

MD5SUM BENCH= 9ece8f569c93ceee834817ef3350ed8e
RANDOM SEED=1697212868

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:      11916588 kB
Buffers:        281364 kB
Cached:        5915732 kB
SwapCached:      50684 kB
Active:       10066432 kB
Inactive:     10725328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11916588 kB
SwapTotal:    67111528 kB
SwapFree:     66050672 kB
Dirty:            2376 kB
Writeback:          24 kB
AnonPages:    14549152 kB
Mapped:          19188 kB
Slab:           135156 kB
PageTables:      47460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 57290808 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= 73340 MiB
End job on node135 at 2011-05-15 04:00:04