Trace number 3371270

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.25 1212.35

General information on the benchmark

NameSAT03/industrial/schuppan/l2s/
valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf
MD5SUMcb369c4583eb075a3a8cb5a04701e120
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4716.27
Satisfiable
(Un)Satisfiability was proved
Number of variables985042
Number of clauses3113540
Sum of the clauses size7976612
Maximum clause length618
Minimum clause length1
Number of clauses of size 1158
Number of clauses of size 21490897
Number of clauses of size 31578048
Number of clauses of size 428388
Number of clauses of size 59876
Number of clauses of size over 56173

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-3371270-1305430710/watcher-3371270-1305430710 -o /tmp/evaluation-result-3371270-1305430710/solver-3371270-1305430710 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3371270-1305430710.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.01 7.88 7.88 5/358 21801
/proc/meminfo: memFree=21181432/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=20272 CPUtime=0 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) R 21799 21801 21414 0 -1 4202496 2423 1251 0 0 0 0 0 0 21 0 1 0 654669077 20758528 2354 33554432000 4194304 4417452 140735126866848 18446744073709551615 218905424989 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/21801/statm: 5068 2367 139 55 0 2954 0

[startup+0.072293 s]
/proc/loadavg: 7.01 7.88 7.88 5/358 21801
/proc/meminfo: memFree=21181432/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=94440 CPUtime=0.06 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) R 21799 21801 21414 0 -1 4202496 21719 1251 0 0 4 2 0 0 21 0 1 0 654669077 96706560 21634 33554432000 4194304 4417452 140735126866848 18446744073709551615 4264950 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/21801/statm: 23610 21634 149 55 0 21496 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94440

[startup+0.100286 s]
/proc/loadavg: 7.01 7.88 7.88 5/358 21801
/proc/meminfo: memFree=21181432/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=102772 CPUtime=0.09 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) R 21799 21801 21414 0 -1 4202496 23802 1251 0 0 7 2 0 0 21 0 1 0 654669077 105238528 23717 33554432000 4194304 4417452 140735126866848 18446744073709551615 4264945 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/21801/statm: 25693 23717 149 55 0 23579 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 102772

[startup+0.300254 s]
/proc/loadavg: 7.01 7.88 7.88 5/358 21801
/proc/meminfo: memFree=21181432/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=152820 CPUtime=0.29 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) R 21799 21801 21414 0 -1 4202496 36350 1251 0 0 26 3 0 0 22 0 1 0 654669077 156487680 36229 33554432000 4194304 4417452 140735126866848 18446744073709551615 4264930 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/21801/statm: 38205 36229 149 55 0 36091 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 152820

[startup+0.70018 s]
/proc/loadavg: 7.01 7.88 7.88 5/358 21801
/proc/meminfo: memFree=21181432/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=219900 CPUtime=0.69 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) R 21799 21801 21414 0 -1 4202496 53120 1251 0 0 64 5 0 0 24 0 1 0 654669077 225177600 52999 33554432000 4194304 4417452 140735126866848 18446744073709551615 218905730816 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/21801/statm: 54975 52999 149 55 0 52861 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 219900

[startup+1.50103 s]
/proc/loadavg: 7.01 7.88 7.88 6/359 21807
/proc/meminfo: memFree=20944964/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=353524 CPUtime=1.49 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) R 21799 21801 21414 0 -1 4202496 86530 1251 0 0 140 9 0 0 25 0 1 0 654669077 362008576 86405 33554432000 4194304 4417452 140735126866848 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/21801/statm: 88381 86405 149 55 0 86267 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 353524

[startup+3.10074 s]
/proc/loadavg: 7.01 7.88 7.88 6/359 21807
/proc/meminfo: memFree=20791948/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=387836 CPUtime=3.09 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) R 21799 21801 21414 0 -1 4202496 95108 1251 0 0 299 10 0 0 25 0 1 0 654669077 397144064 94983 33554432000 4194304 4417452 140735126866848 18446744073709551615 218905730816 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/21801/statm: 96959 94983 149 55 0 94845 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 387836

[startup+6.30017 s]
/proc/loadavg: 6.85 7.83 7.86 6/359 21807
/proc/meminfo: memFree=20714472/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=586492 CPUtime=6.29 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) R 21799 21801 21414 0 -1 4202496 144772 1251 0 0 613 16 0 0 25 0 1 0 654669077 600567808 144647 33554432000 4194304 4417452 140735126866848 18446744073709551615 4264934 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/21801/statm: 146623 144647 149 55 0 144509 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 586492

[startup+12.701 s]
/proc/loadavg: 6.70 7.78 7.85 9/363 21811
/proc/meminfo: memFree=20321540/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=889036 CPUtime=15.83 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) S 21799 21801 21414 0 -1 4202496 265610 1251 0 0 1547 36 0 0 25 0 5 0 654669077 910372864 210025 33554432000 4194304 4417452 140735126866848 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/21801/statm: 222259 210025 159 55 0 220145 0
[pid=21801/tid=21808] ppid=21799 vsize=889036 CPUtime=1.05 cores=1,3,5,7
/proc/21801/task/21808/stat : 21808 (plingeling) R 21799 21801 21414 0 -1 4202560 13526 1251 0 0 103 2 0 0 25 0 5 0 654670241 910372864 210025 33554432000 4194304 4417452 140735126866848 18446744073709551615 4271012 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21801/tid=21809] ppid=21799 vsize=889036 CPUtime=1.04 cores=1,3,5,7
/proc/21801/task/21809/stat : 21809 (plingeling) R 21799 21801 21414 0 -1 4202560 13570 1251 0 0 102 2 0 0 18 0 5 0 654670241 910372864 210025 33554432000 4194304 4417452 140735126866848 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21801/tid=21810] ppid=21799 vsize=889036 CPUtime=1.03 cores=1,3,5,7
/proc/21801/task/21810/stat : 21810 (plingeling) R 21799 21801 21414 0 -1 4202560 13585 1251 0 0 101 2 0 0 18 0 5 0 654670241 910372864 210025 33554432000 4194304 4417452 140735126866848 18446744073709551615 4270966 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21801/tid=21811] ppid=21799 vsize=889036 CPUtime=1.03 cores=1,3,5,7
/proc/21801/task/21811/stat : 21811 (plingeling) R 21799 21801 21414 0 -1 4202560 13585 1251 0 0 101 2 0 0 25 0 5 0 654670241 910372864 210025 33554432000 4194304 4417452 140735126866848 18446744073709551615 4270989 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 15.83
Current children cumulated vsize (KiB) 889036

[startup+25.5007 s]
/proc/loadavg: 6.99 7.79 7.85 9/363 21811
/proc/meminfo: memFree=20088948/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=1055272 CPUtime=66.84 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) S 21799 21801 21414 0 -1 4202496 471661 1251 0 0 6624 60 0 0 25 0 5 0 654669077 1080598528 245336 33554432000 4194304 4417452 140735126866848 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/21801/statm: 263818 245336 177 55 0 261704 0
[pid=21801/tid=21808] ppid=21799 vsize=1055272 CPUtime=13.84 cores=1,3,5,7
/proc/21801/task/21808/stat : 21808 (plingeling) R 21799 21801 21414 0 -1 4202560 60657 1251 0 0 1376 8 0 0 25 0 5 0 654670241 1080598528 245336 33554432000 4194304 4417452 140735126866848 18446744073709551615 4302020 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21801/tid=21809] ppid=21799 vsize=1055272 CPUtime=13.85 cores=1,3,5,7
/proc/21801/task/21809/stat : 21809 (plingeling) R 21799 21801 21414 0 -1 4202560 71768 1251 0 0 1375 10 0 0 25 0 5 0 654670241 1080598528 245336 33554432000 4194304 4417452 140735126866848 18446744073709551615 218905424974 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21801/tid=21810] ppid=21799 vsize=1055272 CPUtime=13.82 cores=1,3,5,7
/proc/21801/task/21810/stat : 21810 (plingeling) R 21799 21801 21414 0 -1 4202560 106481 1251 0 0 1370 12 0 0 25 0 5 0 654670241 1080598528 245336 33554432000 4194304 4417452 140735126866848 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21801/tid=21811] ppid=21799 vsize=1055272 CPUtime=13.67 cores=1,3,5,7
/proc/21801/task/21811/stat : 21811 (plingeling) R 21799 21801 21414 0 -1 4202560 21411 1251 0 0 1364 3 0 0 25 0 5 0 654670241 1080598528 245336 33554432000 4194304 4417452 140735126866848 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 66.84
Current children cumulated vsize (KiB) 1055272

[startup+51.101 s]
/proc/loadavg: 7.40 7.82 7.86 9/363 21812
/proc/meminfo: memFree=19997360/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=1251452 CPUtime=168.94 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) S 21799 21801 21414 0 -1 4202496 567754 1251 0 0 16823 71 0 0 25 0 5 0 654669077 1281486848 284311 33554432000 4194304 4417452 140735126866848 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/21801/statm: 312863 284311 180 55 0 310749 0
[pid=21801/tid=21808] ppid=21799 vsize=1251452 CPUtime=39.44 cores=1,3,5,7
/proc/21801/task/21808/stat : 21808 (plingeling) R 21799 21801 21414 0 -1 4202560 89930 1251 0 0 3932 12 0 0 25 0 5 0 654670241 1281486848 284311 33554432000 4194304 4417452 140735126866848 18446744073709551615 4273321 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21801/tid=21809] ppid=21799 vsize=1251452 CPUtime=39.44 cores=1,3,5,7
/proc/21801/task/21809/stat : 21809 (plingeling) R 21799 21801 21414 0 -1 4202560 106819 1251 0 0 3931 13 0 0 25 0 5 0 654670241 1281486848 284311 33554432000 4194304 4417452 140735126866848 18446744073709551615 4253222 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21801/tid=21810] ppid=21799 vsize=1251452 CPUtime=39.41 cores=1,3,5,7
/proc/21801/task/21810/stat : 21810 (plingeling) R 21799 21801 21414 0 -1 4202560 138250 1251 0 0 3926 15 0 0 25 0 5 0 654670241 1281486848 284311 33554432000 4194304 4417452 140735126866848 18446744073709551615 4250017 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21801/tid=21811] ppid=21799 vsize=1251452 CPUtime=38.98 cores=1,3,5,7
/proc/21801/task/21811/stat : 21811 (plingeling) R 21799 21801 21414 0 -1 4202560 21411 1251 0 0 3895 3 0 0 25 0 5 0 654670241 1281486848 284311 33554432000 4194304 4417452 140735126866848 18446744073709551615 4237169 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 168.94
Current children cumulated vsize (KiB) 1251452

[startup+102.314 s]
/proc/loadavg: 7.81 7.86 7.87 9/363 21813
/proc/meminfo: memFree=20115560/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=1079608 CPUtime=373.18 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) S 21799 21801 21414 0 -1 4202496 587080 1251 0 0 37244 74 0 0 25 0 5 0 654669077 1105518592 241350 33554432000 4194304 4417452 140735126866848 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/21801/statm: 269902 241350 180 55 0 267788 0
[pid=21801/tid=21808] ppid=21799 vsize=1079608 CPUtime=90.14 cores=1,3,5,7
/proc/21801/task/21808/stat : 21808 (plingeling) R 21799 21801 21414 0 -1 4202560 98122 1251 0 0 9001 13 0 0 25 0 5 0 654670241 1105518592 241350 33554432000 4194304 4417452 140735126866848 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21801/tid=21809] ppid=21799 vsize=1079608 CPUtime=90.65 cores=1,3,5,7
/proc/21801/task/21809/stat : 21809 (plingeling) R 21799 21801 21414 0 -1 4202560 115011 1251 0 0 9050 15 0 0 25 0 5 0 654670241 1105518592 241350 33554432000 4194304 4417452 140735126866848 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21801/tid=21810] ppid=21799 vsize=1079608 CPUtime=90.62 cores=1,3,5,7
/proc/21801/task/21810/stat : 21810 (plingeling) R 21799 21801 21414 0 -1 4202560 138250 1251 0 0 9047 15 0 0 25 0 5 0 654670241 1105518592 241350 33554432000 4194304 4417452 140735126866848 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21801/tid=21811] ppid=21799 vsize=1079608 CPUtime=90.09 cores=1,3,5,7
/proc/21801/task/21811/stat : 21811 (plingeling) R 21799 21801 21414 0 -1 4202560 24353 1251 0 0 9005 4 0 0 25 0 5 0 654670241 1105518592 241350 33554432000 4194304 4417452 140735126866848 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 373.18
Current children cumulated vsize (KiB) 1079608

[startup+162.301 s]
/proc/loadavg: 8.07 7.92 7.88 9/363 21815
/proc/meminfo: memFree=20131404/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=1052692 CPUtime=612.43 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) S 21799 21801 21414 0 -1 4202496 587530 1251 0 0 61169 74 0 0 25 0 5 0 654669077 1077956608 234621 33554432000 4194304 4417452 140735126866848 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/21801/statm: 263173 234621 180 55 0 261059 0
[pid=21801/tid=21808] ppid=21799 vsize=1052692 CPUtime=149.43 cores=1,3,5,7
/proc/21801/task/21808/stat : 21808 (plingeling) R 21799 21801 21414 0 -1 4202560 98231 1251 0 0 14930 13 0 0 25 0 5 0 654670241 1077956608 234621 33554432000 4194304 4417452 140735126866848 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21801/tid=21809] ppid=21799 vsize=1052692 CPUtime=150.64 cores=1,3,5,7
/proc/21801/task/21809/stat : 21809 (plingeling) R 21799 21801 21414 0 -1 4202560 115120 1251 0 0 15049 15 0 0 25 0 5 0 654670241 1077956608 234621 33554432000 4194304 4417452 140735126866848 18446744073709551615 4237169 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21801/tid=21810] ppid=21799 vsize=1052692 CPUtime=150.61 cores=1,3,5,7
/proc/21801/task/21810/stat : 21810 (plingeling) R 21799 21801 21414 0 -1 4202560 138482 1251 0 0 15046 15 0 0 25 0 5 0 654670241 1077956608 234621 33554432000 4194304 4417452 140735126866848 18446744073709551615 4248923 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21801/tid=21811] ppid=21799 vsize=1052692 CPUtime=150.08 cores=1,3,5,7
/proc/21801/task/21811/stat : 21811 (plingeling) R 21799 21801 21414 0 -1 4202560 24353 1251 0 0 15004 4 0 0 25 0 5 0 654670241 1077956608 234621 33554432000 4194304 4417452 140735126866848 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 612.43
Current children cumulated vsize (KiB) 1052692

[startup+222.301 s]
/proc/loadavg: 8.15 7.96 7.90 9/363 21817
/proc/meminfo: memFree=20052136/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=1057684 CPUtime=851.73 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) S 21799 21801 21414 0 -1 4202496 590586 1251 0 0 85098 75 0 0 25 0 5 0 654669077 1083068416 235869 33554432000 4194304 4417452 140735126866848 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/21801/statm: 264421 235869 180 55 0 262307 0
[pid=21801/tid=21808] ppid=21799 vsize=1057684 CPUtime=208.71 cores=1,3,5,7
/proc/21801/task/21808/stat : 21808 (plingeling) R 21799 21801 21414 0 -1 4202560 99761 1251 0 0 20858 13 0 0 25 0 5 0 654670241 1083068416 235869 33554432000 4194304 4417452 140735126866848 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21801/tid=21809] ppid=21799 vsize=1057684 CPUtime=210.64 cores=1,3,5,7
/proc/21801/task/21809/stat : 21809 (plingeling) R 21799 21801 21414 0 -1 4202560 116646 1251 0 0 21049 15 0 0 25 0 5 0 654670241 1083068416 235869 33554432000 4194304 4417452 140735126866848 18446744073709551615 4260694 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21801/tid=21810] ppid=21799 vsize=1057684 CPUtime=210.61 cores=1,3,5,7
/proc/21801/task/21810/stat : 21810 (plingeling) R 21799 21801 21414 0 -1 4202560 138482 1251 0 0 21046 15 0 0 25 0 5 0 654670241 1083068416 235869 33554432000 4194304 4417452 140735126866848 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21801/tid=21811] ppid=21799 vsize=1057684 CPUtime=210.09 cores=1,3,5,7
/proc/21801/task/21811/stat : 21811 (plingeling) R 21799 21801 21414 0 -1 4202560 24353 1251 0 0 21005 4 0 0 25 0 5 0 654670241 1083068416 235869 33554432000 4194304 4417452 140735126866848 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 851.73
Current children cumulated vsize (KiB) 1057684

[startup+282.301 s]
/proc/loadavg: 8.17 8.00 7.91 9/363 21818
/proc/meminfo: memFree=20035000/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=1045384 CPUtime=1091.03 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) S 21799 21801 21414 0 -1 4202496 599980 1251 0 0 109027 76 0 0 25 0 5 0 654669077 1070473216 232794 33554432000 4194304 4417452 140735126866848 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/21801/statm: 261346 232794 180 55 0 259232 0
[pid=21801/tid=21808] ppid=21799 vsize=1045384 CPUtime=268.01 cores=1,3,5,7

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

[pid=21801/tid=21809] ppid=21799 vsize=1011984 CPUtime=750.67 cores=1,3,5,7
/proc/21801/task/21809/stat : 21809 (plingeling) R 21799 21801 21414 0 -1 4202560 124944 1251 0 0 75051 16 0 0 25 0 5 0 654670241 1036271616 224482 33554432000 4194304 4417452 140735126866848 18446744073709551615 4364480 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21801/tid=21810] ppid=21799 vsize=1011984 CPUtime=750.64 cores=1,3,5,7
/proc/21801/task/21810/stat : 21810 (plingeling) R 21799 21801 21414 0 -1 4202560 162427 1251 0 0 75045 19 0 0 25 0 5 0 654670241 1036271616 224482 33554432000 4194304 4417452 140735126866848 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21801/tid=21811] ppid=21799 vsize=1011984 CPUtime=750.11 cores=1,3,5,7
/proc/21801/task/21811/stat : 21811 (plingeling) R 21799 21801 21414 0 -1 4202560 24353 1251 0 0 75007 4 0 0 25 0 5 0 654670241 1036271616 224482 33554432000 4194304 4417452 140735126866848 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3005.46
Current children cumulated vsize (KiB) 1011984

[startup+822.301 s]
/proc/loadavg: 8.14 8.10 7.99 9/363 21832
/proc/meminfo: memFree=19706800/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=1011440 CPUtime=3244.71 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) S 21799 21801 21414 0 -1 4202496 629316 1251 0 0 324390 81 0 0 25 0 5 0 654669077 1035714560 224346 33554432000 4194304 4417452 140735126866848 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/21801/statm: 252860 224346 180 55 0 250746 0
[pid=21801/tid=21808] ppid=21799 vsize=1011440 CPUtime=801.65 cores=1,3,5,7
/proc/21801/task/21808/stat : 21808 (plingeling) R 21799 21801 21414 0 -1 4202560 105120 1251 0 0 80151 14 0 0 25 0 5 0 654670241 1035714560 224346 33554432000 4194304 4417452 140735126866848 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21801/tid=21809] ppid=21799 vsize=1011440 CPUtime=810.66 cores=1,3,5,7
/proc/21801/task/21809/stat : 21809 (plingeling) R 21799 21801 21414 0 -1 4202560 124944 1251 0 0 81050 16 0 0 25 0 5 0 654670241 1035714560 224346 33554432000 4194304 4417452 140735126866848 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21801/tid=21810] ppid=21799 vsize=1011440 CPUtime=810.63 cores=1,3,5,7
/proc/21801/task/21810/stat : 21810 (plingeling) R 21799 21801 21414 0 -1 4202560 163555 1251 0 0 81044 19 0 0 25 0 5 0 654670241 1035714560 224346 33554432000 4194304 4417452 140735126866848 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21801/tid=21811] ppid=21799 vsize=1011440 CPUtime=810.1 cores=1,3,5,7
/proc/21801/task/21811/stat : 21811 (plingeling) R 21799 21801 21414 0 -1 4202560 24353 1251 0 0 81006 4 0 0 25 0 5 0 654670241 1035714560 224346 33554432000 4194304 4417452 140735126866848 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3244.71
Current children cumulated vsize (KiB) 1011440

[startup+882.301 s]
/proc/loadavg: 8.16 8.11 8.00 9/363 21834
/proc/meminfo: memFree=19727476/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=1006652 CPUtime=3484 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) S 21799 21801 21414 0 -1 4202496 630487 1251 0 0 348319 81 0 0 25 0 5 0 654669077 1030811648 223149 33554432000 4194304 4417452 140735126866848 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/21801/statm: 251663 223149 180 55 0 249549 0
[pid=21801/tid=21808] ppid=21799 vsize=1006652 CPUtime=860.94 cores=1,3,5,7
/proc/21801/task/21808/stat : 21808 (plingeling) R 21799 21801 21414 0 -1 4202560 105120 1251 0 0 86080 14 0 0 25 0 5 0 654670241 1030811648 223149 33554432000 4194304 4417452 140735126866848 18446744073709551615 4346497 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21801/tid=21809] ppid=21799 vsize=1006652 CPUtime=870.66 cores=1,3,5,7
/proc/21801/task/21809/stat : 21809 (plingeling) R 21799 21801 21414 0 -1 4202560 126030 1251 0 0 87050 16 0 0 25 0 5 0 654670241 1030811648 223149 33554432000 4194304 4417452 140735126866848 18446744073709551615 4248238 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21801/tid=21810] ppid=21799 vsize=1006652 CPUtime=870.63 cores=1,3,5,7
/proc/21801/task/21810/stat : 21810 (plingeling) R 21799 21801 21414 0 -1 4202560 163640 1251 0 0 87044 19 0 0 25 0 5 0 654670241 1030811648 223149 33554432000 4194304 4417452 140735126866848 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21801/tid=21811] ppid=21799 vsize=1006652 CPUtime=870.1 cores=1,3,5,7
/proc/21801/task/21811/stat : 21811 (plingeling) R 21799 21801 21414 0 -1 4202560 24353 1251 0 0 87006 4 0 0 25 0 5 0 654670241 1030811648 223149 33554432000 4194304 4417452 140735126866848 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3484
Current children cumulated vsize (KiB) 1006652

[startup+942.301 s]
/proc/loadavg: 8.12 8.10 8.00 9/363 21836
/proc/meminfo: memFree=19760432/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=1011384 CPUtime=3723.31 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) S 21799 21801 21414 0 -1 4202496 631670 1251 0 0 372250 81 0 0 25 0 5 0 654669077 1035657216 224332 33554432000 4194304 4417452 140735126866848 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/21801/statm: 252846 224332 180 55 0 250732 0
[pid=21801/tid=21808] ppid=21799 vsize=1011384 CPUtime=920.23 cores=1,3,5,7
/proc/21801/task/21808/stat : 21808 (plingeling) R 21799 21801 21414 0 -1 4202560 106218 1251 0 0 92009 14 0 0 25 0 5 0 654670241 1035657216 224332 33554432000 4194304 4417452 140735126866848 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21801/tid=21809] ppid=21799 vsize=1011384 CPUtime=930.66 cores=1,3,5,7
/proc/21801/task/21809/stat : 21809 (plingeling) R 21799 21801 21414 0 -1 4202560 126115 1251 0 0 93050 16 0 0 25 0 5 0 654670241 1035657216 224332 33554432000 4194304 4417452 140735126866848 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21801/tid=21810] ppid=21799 vsize=1011384 CPUtime=930.64 cores=1,3,5,7
/proc/21801/task/21810/stat : 21810 (plingeling) R 21799 21801 21414 0 -1 4202560 163640 1251 0 0 93045 19 0 0 25 0 5 0 654670241 1035657216 224332 33554432000 4194304 4417452 140735126866848 18446744073709551615 4353703 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21801/tid=21811] ppid=21799 vsize=1011384 CPUtime=930.1 cores=1,3,5,7
/proc/21801/task/21811/stat : 21811 (plingeling) R 21799 21801 21414 0 -1 4202560 24353 1251 0 0 93006 4 0 0 25 0 5 0 654670241 1035657216 224332 33554432000 4194304 4417452 140735126866848 18446744073709551615 4366523 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3723.31
Current children cumulated vsize (KiB) 1011384

[startup+1002.3 s]
/proc/loadavg: 8.19 8.11 8.01 9/363 21837
/proc/meminfo: memFree=19786568/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=1006376 CPUtime=3962.61 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) S 21799 21801 21414 0 -1 4202496 631755 1251 0 0 396179 82 0 0 25 0 5 0 654669077 1030529024 223080 33554432000 4194304 4417452 140735126866848 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/21801/statm: 251594 223080 180 55 0 249480 0
[pid=21801/tid=21808] ppid=21799 vsize=1006376 CPUtime=979.52 cores=1,3,5,7
/proc/21801/task/21808/stat : 21808 (plingeling) R 21799 21801 21414 0 -1 4202560 106303 1251 0 0 97938 14 0 0 25 0 5 0 654670241 1030529024 223080 33554432000 4194304 4417452 140735126866848 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21801/tid=21809] ppid=21799 vsize=1006376 CPUtime=990.66 cores=1,3,5,7
/proc/21801/task/21809/stat : 21809 (plingeling) R 21799 21801 21414 0 -1 4202560 126115 1251 0 0 99050 16 0 0 25 0 5 0 654670241 1030529024 223080 33554432000 4194304 4417452 140735126866848 18446744073709551615 4236564 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21801/tid=21810] ppid=21799 vsize=1006376 CPUtime=990.64 cores=1,3,5,7
/proc/21801/task/21810/stat : 21810 (plingeling) R 21799 21801 21414 0 -1 4202560 163640 1251 0 0 99045 19 0 0 25 0 5 0 654670241 1030529024 223080 33554432000 4194304 4417452 140735126866848 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21801/tid=21811] ppid=21799 vsize=1006376 CPUtime=990.1 cores=1,3,5,7
/proc/21801/task/21811/stat : 21811 (plingeling) R 21799 21801 21414 0 -1 4202560 24353 1251 0 0 99006 4 0 0 25 0 5 0 654670241 1030529024 223080 33554432000 4194304 4417452 140735126866848 18446744073709551615 4364607 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3962.61
Current children cumulated vsize (KiB) 1006376

[startup+1062.3 s]
/proc/loadavg: 8.07 8.09 8.00 9/363 21839
/proc/meminfo: memFree=19762860/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=1006356 CPUtime=4201.91 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) S 21799 21801 21414 0 -1 4202496 631838 1251 0 0 420109 82 0 0 25 0 5 0 654669077 1030508544 223075 33554432000 4194304 4417452 140735126866848 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/21801/statm: 251589 223075 180 55 0 249475 0
[pid=21801/tid=21808] ppid=21799 vsize=1006356 CPUtime=1038.82 cores=1,3,5,7
/proc/21801/task/21808/stat : 21808 (plingeling) R 21799 21801 21414 0 -1 4202560 106303 1251 0 0 103868 14 0 0 25 0 5 0 654670241 1030508544 223075 33554432000 4194304 4417452 140735126866848 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21801/tid=21809] ppid=21799 vsize=1006356 CPUtime=1050.66 cores=1,3,5,7
/proc/21801/task/21809/stat : 21809 (plingeling) R 21799 21801 21414 0 -1 4202560 126115 1251 0 0 105050 16 0 0 25 0 5 0 654670241 1030508544 223075 33554432000 4194304 4417452 140735126866848 18446744073709551615 4236830 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21801/tid=21810] ppid=21799 vsize=1006356 CPUtime=1050.64 cores=1,3,5,7
/proc/21801/task/21810/stat : 21810 (plingeling) R 21799 21801 21414 0 -1 4202560 163723 1251 0 0 105045 19 0 0 25 0 5 0 654670241 1030508544 223075 33554432000 4194304 4417452 140735126866848 18446744073709551615 4265433 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21801/tid=21811] ppid=21799 vsize=1006356 CPUtime=1050.11 cores=1,3,5,7
/proc/21801/task/21811/stat : 21811 (plingeling) R 21799 21801 21414 0 -1 4202560 24353 1251 0 0 105007 4 0 0 25 0 5 0 654670241 1030508544 223075 33554432000 4194304 4417452 140735126866848 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4201.91
Current children cumulated vsize (KiB) 1006356

[startup+1122.3 s]
/proc/loadavg: 8.14 8.10 8.01 9/363 21840
/proc/meminfo: memFree=19711248/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=1006676 CPUtime=4441.2 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) S 21799 21801 21414 0 -1 4202496 631999 1251 0 0 444038 82 0 0 25 0 5 0 654669077 1030836224 223155 33554432000 4194304 4417452 140735126866848 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/21801/statm: 251669 223155 180 55 0 249555 0
[pid=21801/tid=21808] ppid=21799 vsize=1006676 CPUtime=1098.11 cores=1,3,5,7
/proc/21801/task/21808/stat : 21808 (plingeling) R 21799 21801 21414 0 -1 4202560 106386 1251 0 0 109797 14 0 0 25 0 5 0 654670241 1030836224 223155 33554432000 4194304 4417452 140735126866848 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21801/tid=21809] ppid=21799 vsize=1006676 CPUtime=1110.66 cores=1,3,5,7
/proc/21801/task/21809/stat : 21809 (plingeling) R 21799 21801 21414 0 -1 4202560 126193 1251 0 0 111050 16 0 0 25 0 5 0 654670241 1030836224 223155 33554432000 4194304 4417452 140735126866848 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21801/tid=21810] ppid=21799 vsize=1006676 CPUtime=1110.64 cores=1,3,5,7
/proc/21801/task/21810/stat : 21810 (plingeling) R 21799 21801 21414 0 -1 4202560 163723 1251 0 0 111045 19 0 0 25 0 5 0 654670241 1030836224 223155 33554432000 4194304 4417452 140735126866848 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21801/tid=21811] ppid=21799 vsize=1006676 CPUtime=1110.11 cores=1,3,5,7
/proc/21801/task/21811/stat : 21811 (plingeling) R 21799 21801 21414 0 -1 4202560 24353 1251 0 0 111007 4 0 0 25 0 5 0 654670241 1030836224 223155 33554432000 4194304 4417452 140735126866848 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4441.2
Current children cumulated vsize (KiB) 1006676

[startup+1182.3 s]
/proc/loadavg: 8.11 8.09 8.01 9/363 21842
/proc/meminfo: memFree=19688900/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=997400 CPUtime=4680.51 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) S 21799 21801 21414 0 -1 4202496 631999 1251 0 0 467969 82 0 0 25 0 5 0 654669077 1021337600 220836 33554432000 4194304 4417452 140735126866848 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/21801/statm: 249350 220836 180 55 0 247236 0
[pid=21801/tid=21808] ppid=21799 vsize=997400 CPUtime=1157.41 cores=1,3,5,7
/proc/21801/task/21808/stat : 21808 (plingeling) R 21799 21801 21414 0 -1 4202560 106386 1251 0 0 115727 14 0 0 25 0 5 0 654670241 1021337600 220836 33554432000 4194304 4417452 140735126866848 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21801/tid=21809] ppid=21799 vsize=997400 CPUtime=1170.66 cores=1,3,5,7
/proc/21801/task/21809/stat : 21809 (plingeling) R 21799 21801 21414 0 -1 4202560 126193 1251 0 0 117050 16 0 0 25 0 5 0 654670241 1021337600 220836 33554432000 4194304 4417452 140735126866848 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21801/tid=21810] ppid=21799 vsize=997400 CPUtime=1170.64 cores=1,3,5,7
/proc/21801/task/21810/stat : 21810 (plingeling) R 21799 21801 21414 0 -1 4202560 163723 1251 0 0 117045 19 0 0 25 0 5 0 654670241 1021337600 220836 33554432000 4194304 4417452 140735126866848 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21801/tid=21811] ppid=21799 vsize=997400 CPUtime=1170.11 cores=1,3,5,7
/proc/21801/task/21811/stat : 21811 (plingeling) R 21799 21801 21414 0 -1 4202560 24353 1251 0 0 117007 4 0 0 25 0 5 0 654670241 1021337600 220836 33554432000 4194304 4417452 140735126866848 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4680.51
Current children cumulated vsize (KiB) 997400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1212.3 s]
/proc/loadavg: 8.12 8.10 8.01 9/363 21884
/proc/meminfo: memFree=20255508/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=997400 CPUtime=4800.17 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) S 21799 21801 21414 0 -1 4202496 632078 1251 0 0 479935 82 0 0 25 0 5 0 654669077 1021337600 220836 33554432000 4194304 4417452 140735126866848 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/21801/statm: 249350 220836 180 55 0 247236 0
[pid=21801/tid=21808] ppid=21799 vsize=997400 CPUtime=1187.04 cores=1,3,5,7
/proc/21801/task/21808/stat : 21808 (plingeling) R 21799 21801 21414 0 -1 4202560 106386 1251 0 0 118690 14 0 0 25 0 5 0 654670241 1021337600 220836 33554432000 4194304 4417452 140735126866848 18446744073709551615 4353714 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21801/tid=21809] ppid=21799 vsize=997400 CPUtime=1200.68 cores=1,3,5,7
/proc/21801/task/21809/stat : 21809 (plingeling) R 21799 21801 21414 0 -1 4202560 126193 1251 0 0 120052 16 0 0 25 0 5 0 654670241 1021337600 220836 33554432000 4194304 4417452 140735126866848 18446744073709551615 4250972 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21801/tid=21810] ppid=21799 vsize=997400 CPUtime=1200.66 cores=1,3,5,7
/proc/21801/task/21810/stat : 21810 (plingeling) R 21799 21801 21414 0 -1 4202560 163802 1251 0 0 120047 19 0 0 25 0 5 0 654670241 1021337600 220836 33554432000 4194304 4417452 140735126866848 18446744073709551615 4365103 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21801/tid=21811] ppid=21799 vsize=997400 CPUtime=1200.12 cores=1,3,5,7
/proc/21801/task/21811/stat : 21811 (plingeling) R 21799 21801 21414 0 -1 4202560 24353 1251 0 0 120008 4 0 0 25 0 5 0 654670241 1021337600 220836 33554432000 4194304 4417452 140735126866848 18446744073709551615 4281957 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 997400

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

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

[startup+1212.3 s]
/proc/loadavg: 8.12 8.10 8.01 9/363 21884
/proc/meminfo: memFree=20255508/32951124 swapFree=65581052/67111528
[pid=21801] ppid=21799 vsize=997400 CPUtime=4800.17 cores=1,3,5,7
/proc/21801/stat : 21801 (plingeling) S 21799 21801 21414 0 -1 4202496 632078 1251 0 0 479935 82 0 0 25 0 5 0 654669077 1021337600 220836 33554432000 4194304 4417452 140735126866848 18446744073709551615 218917533669 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/21801/statm: 249350 220836 180 55 0 247236 0
[pid=21801/tid=21808] ppid=21799 vsize=997400 CPUtime=1187.04 cores=1,3,5,7
/proc/21801/task/21808/stat : 21808 (plingeling) R 21799 21801 21414 0 -1 4202560 106386 1251 0 0 118690 14 0 0 25 0 5 0 654670241 1021337600 220836 33554432000 4194304 4417452 140735126866848 18446744073709551615 4353714 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21801/tid=21809] ppid=21799 vsize=997400 CPUtime=1200.68 cores=1,3,5,7
/proc/21801/task/21809/stat : 21809 (plingeling) R 21799 21801 21414 0 -1 4202560 126193 1251 0 0 120052 16 0 0 25 0 5 0 654670241 1021337600 220836 33554432000 4194304 4417452 140735126866848 18446744073709551615 4250972 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21801/tid=21810] ppid=21799 vsize=997400 CPUtime=1200.66 cores=1,3,5,7
/proc/21801/task/21810/stat : 21810 (plingeling) R 21799 21801 21414 0 -1 4202560 163802 1251 0 0 120047 19 0 0 25 0 5 0 654670241 1021337600 220836 33554432000 4194304 4417452 140735126866848 18446744073709551615 4365103 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21801/tid=21811] ppid=21799 vsize=997400 CPUtime=1200.12 cores=1,3,5,7
/proc/21801/task/21811/stat : 21811 (plingeling) R 21799 21801 21414 0 -1 4202560 24353 1251 0 0 120008 4 0 0 25 0 5 0 654670241 1021337600 220836 33554432000 4194304 4417452 140735126866848 18446744073709551615 4281957 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 997400

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1212.35
CPU time (s): 4800.25
CPU user time (s): 4799.4
CPU system time (s): 0.855869
CPU usage (%): 395.945
Max. virtual memory (cumulated for all children) (KiB): 1283228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.4
system time used= 0.855869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 633329
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= 154
involuntary context switches= 36751

runsolver used 3.9304 second user time and 10.4034 second system time

The end

Launcher Data 

Begin job on node137 at 2011-05-15 05:38:34
IDJOB=3371270
IDBENCH=84238
IDSOLVER=1848
FILE ID=node137/3371270-1305430710
RUNJOBID= node137-1305430710-21772
PBS_JOBID= 13324606
Free space on /tmp= 73736 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT03/industrial/schuppan/l2s/valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3371270-1305430710/watcher-3371270-1305430710 -o /tmp/evaluation-result-3371270-1305430710/solver-3371270-1305430710 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3371270-1305430710.cnf

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

MD5SUM BENCH= cb369c4583eb075a3a8cb5a04701e120
RANDOM SEED=632570162

node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21179108 kB
Buffers:        291972 kB
Cached:        3792984 kB
SwapCached:      36328 kB
Active:        1740368 kB
Inactive:      9803420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21179108 kB
SwapTotal:    67111528 kB
SwapFree:     65581052 kB
Dirty:           64356 kB
Writeback:           0 kB
AnonPages:     7431828 kB
Mapped:          19572 kB
Slab:           124100 kB
PageTables:      38860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75977504 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73736 MiB
End job on node137 at 2011-05-15 05:58:48