Trace number 3262386

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Plingeling 587? (TO) 4800.28 1201.52

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_406.cnf
MD5SUM906590ef62b3db2841b2d529fd1636f7
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark698.76
Satisfiable
(Un)Satisfiability was proved
Number of variables203
Number of clauses22241
Sum of the clauses size99837
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 268
Number of clauses of size 320324
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51849

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3262386-1304093644/watcher-3262386-1304093644 -o /tmp/evaluation-result-3262386-1304093644/solver-3262386-1304093644 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3262386-1304093644.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.56 7.90 7.53 5/179 12577
/proc/meminfo: memFree=26582456/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=9432 CPUtime=0 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) R 12575 12577 12004 0 -1 4202496 451 1251 0 0 0 0 0 0 23 0 1 0 520963070 9658368 380 33554432000 4194304 4417332 140737403359328 18446744073709551615 242970550016 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/12577/statm: 2358 380 147 55 0 244 0

[startup+0.062042 s]
/proc/loadavg: 7.56 7.90 7.53 5/179 12577
/proc/meminfo: memFree=26582456/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=60252 CPUtime=0.13 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 2990 1251 0 0 13 0 0 0 24 0 5 0 520963070 61698048 2616 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 15063 2639 174 55 0 12949 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 60252

[startup+0.136986 s]
/proc/loadavg: 7.56 7.90 7.53 5/179 12577
/proc/meminfo: memFree=26582456/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=61424 CPUtime=0.43 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 3539 1251 0 0 43 0 0 0 24 0 5 0 520963070 62898176 3165 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 15356 3165 181 55 0 13242 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 61424

[startup+0.300957 s]
/proc/loadavg: 7.56 7.90 7.53 5/179 12577
/proc/meminfo: memFree=26582456/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=61012 CPUtime=1.09 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 3872 1251 0 0 109 0 0 0 24 0 5 0 520963070 62476288 3020 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 15253 3020 181 55 0 13139 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 61012

[startup+0.700892 s]
/proc/loadavg: 7.56 7.90 7.53 5/179 12577
/proc/meminfo: memFree=26582456/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=61560 CPUtime=2.69 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 4030 1251 0 0 269 0 0 0 24 0 5 0 520963070 63037440 3178 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 15390 3178 181 55 0 13276 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 61560

[startup+1.50076 s]
/proc/loadavg: 7.56 7.90 7.53 9/184 12587
/proc/meminfo: memFree=26570172/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=66824 CPUtime=5.88 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 5346 1251 0 0 588 0 0 0 24 0 5 0 520963070 68427776 4494 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 16706 4494 181 55 0 14592 0
[pid=12577/tid=12584] ppid=12575 vsize=66824 CPUtime=1.46 cores=1,3,5,7
/proc/12577/task/12584/stat : 12584 (plingeling) R 12575 12577 12004 0 -1 4202560 405 1251 0 0 146 0 0 0 25 0 5 0 520963074 68427776 4494 33554432000 4194304 4417332 140737403359328 18446744073709551615 4366046 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12577/tid=12585] ppid=12575 vsize=66824 CPUtime=1.45 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 529 1251 0 0 145 0 0 0 25 0 5 0 520963074 68427776 4494 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=66824 CPUtime=1.46 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 317 1251 0 0 146 0 0 0 25 0 5 0 520963074 68427776 4494 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=66824 CPUtime=1.46 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 1370 1251 0 0 146 0 0 0 25 0 5 0 520963074 68427776 4494 33554432000 4194304 4417332 140737403359328 18446744073709551615 4365960 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 66824

[startup+3.10048 s]
/proc/loadavg: 7.75 7.94 7.54 9/184 12587
/proc/meminfo: memFree=26560004/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=135460 CPUtime=12.26 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 6843 1251 0 0 1226 0 0 0 24 0 5 0 520963070 138711040 5302 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 33865 5302 181 55 0 31751 0
[pid=12577/tid=12584] ppid=12575 vsize=135460 CPUtime=3.06 cores=1,3,5,7
/proc/12577/task/12584/stat : 12584 (plingeling) R 12575 12577 12004 0 -1 4202560 666 1251 0 0 306 0 0 0 25 0 5 0 520963074 138711040 5302 33554432000 4194304 4417332 140737403359328 18446744073709551615 4356778 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12577/tid=12585] ppid=12575 vsize=135460 CPUtime=3.05 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 697 1251 0 0 305 0 0 0 25 0 5 0 520963074 138711040 5302 33554432000 4194304 4417332 140737403359328 18446744073709551615 4366576 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=135460 CPUtime=3.06 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 469 1251 0 0 306 0 0 0 18 0 5 0 520963074 138711040 5302 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364683 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=135460 CPUtime=3.05 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 2286 1251 0 0 305 0 0 0 25 0 5 0 520963074 138711040 5302 33554432000 4194304 4417332 140737403359328 18446744073709551615 4366002 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 135460

[startup+6.30093 s]
/proc/loadavg: 7.75 7.94 7.54 9/184 12587
/proc/meminfo: memFree=26553432/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=140416 CPUtime=25.05 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 10866 1251 0 0 2504 1 0 0 24 0 5 0 520963070 143785984 6541 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 35104 6541 181 55 0 32990 0
[pid=12577/tid=12584] ppid=12575 vsize=140416 CPUtime=6.26 cores=1,3,5,7
/proc/12577/task/12584/stat : 12584 (plingeling) R 12575 12577 12004 0 -1 4202560 825 1251 0 0 626 0 0 0 25 0 5 0 520963074 143785984 6541 33554432000 4194304 4417332 140737403359328 18446744073709551615 4353424 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12577/tid=12585] ppid=12575 vsize=140416 CPUtime=6.23 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 1315 1251 0 0 623 0 0 0 25 0 5 0 520963074 143785984 6541 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364502 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=140416 CPUtime=6.26 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 1448 1251 0 0 626 0 0 0 25 0 5 0 520963074 143785984 6541 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364544 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=140416 CPUtime=6.25 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 4553 1251 0 0 625 0 0 0 25 0 5 0 520963074 143785984 6541 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 140416

[startup+12.7008 s]
/proc/loadavg: 7.79 7.94 7.55 9/184 12587
/proc/meminfo: memFree=26549356/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=146732 CPUtime=50.61 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 24349 1251 0 0 5057 4 0 0 24 0 5 0 520963070 150253568 8141 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 36683 8141 181 55 0 34569 0
[pid=12577/tid=12584] ppid=12575 vsize=146732 CPUtime=12.65 cores=1,3,5,7
/proc/12577/task/12584/stat : 12584 (plingeling) R 12575 12577 12004 0 -1 4202560 3508 1251 0 0 1265 0 0 0 25 0 5 0 520963074 150253568 8141 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12577/tid=12585] ppid=12575 vsize=146732 CPUtime=12.59 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 3604 1251 0 0 1259 0 0 0 25 0 5 0 520963074 150253568 8141 33554432000 4194304 4417332 140737403359328 18446744073709551615 4343913 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=146732 CPUtime=12.65 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 3349 1251 0 0 1265 0 0 0 25 0 5 0 520963074 150253568 8141 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364990 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=146732 CPUtime=12.64 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 11163 1251 0 0 1263 1 0 0 25 0 5 0 520963074 150253568 8141 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364534 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 146732

[startup+25.5006 s]
/proc/loadavg: 7.82 7.94 7.55 9/184 12588
/proc/meminfo: memFree=26533988/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=161096 CPUtime=101.74 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 53208 1251 0 0 10165 9 0 0 24 0 5 0 520963070 164962304 11732 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 40274 11732 181 55 0 38160 0
[pid=12577/tid=12584] ppid=12575 vsize=161096 CPUtime=25.45 cores=1,3,5,7
/proc/12577/task/12584/stat : 12584 (plingeling) R 12575 12577 12004 0 -1 4202560 10287 1251 0 0 2544 1 0 0 25 0 5 0 520963074 164962304 11732 33554432000 4194304 4417332 140737403359328 18446744073709551615 4366303 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12577/tid=12585] ppid=12575 vsize=161096 CPUtime=25.33 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 8292 1251 0 0 2532 1 0 0 25 0 5 0 520963074 164962304 11732 33554432000 4194304 4417332 140737403359328 18446744073709551615 4321391 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=161096 CPUtime=25.45 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 8924 1251 0 0 2544 1 0 0 25 0 5 0 520963074 164962304 11732 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=161096 CPUtime=25.43 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 22980 1251 0 0 2540 3 0 0 25 0 5 0 520963074 164962304 11732 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 161096

[startup+51.1012 s]
/proc/loadavg: 7.88 7.94 7.56 9/184 12588
/proc/meminfo: memFree=26525056/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=166156 CPUtime=204 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 112251 1251 0 0 20381 19 0 0 24 0 5 0 520963070 170143744 13007 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 41539 13007 181 55 0 39425 0
[pid=12577/tid=12584] ppid=12575 vsize=166156 CPUtime=51.06 cores=1,3,5,7
/proc/12577/task/12584/stat : 12584 (plingeling) R 12575 12577 12004 0 -1 4202560 21944 1251 0 0 5103 3 0 0 25 0 5 0 520963074 170143744 13007 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364776 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12577/tid=12585] ppid=12575 vsize=166156 CPUtime=50.81 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 23028 1251 0 0 5077 4 0 0 25 0 5 0 520963074 170143744 13007 33554432000 4194304 4417332 140737403359328 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=166156 CPUtime=51.06 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 23094 1251 0 0 5102 4 0 0 25 0 5 0 520963074 170143744 13007 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=166156 CPUtime=51.03 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 41460 1251 0 0 5096 7 0 0 25 0 5 0 520963074 170143744 13007 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204
Current children cumulated vsize (KiB) 166156

[startup+102.306 s]
/proc/loadavg: 8.04 7.98 7.59 9/184 12590
/proc/meminfo: memFree=26478416/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=193364 CPUtime=408.56 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 215440 1251 0 0 40821 35 0 0 24 0 5 0 520963070 198004736 19809 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 48341 19809 181 55 0 46227 0
[pid=12577/tid=12584] ppid=12575 vsize=193364 CPUtime=102.26 cores=1,3,5,7
/proc/12577/task/12584/stat : 12584 (plingeling) R 12575 12577 12004 0 -1 4202560 44491 1251 0 0 10219 7 0 0 25 0 5 0 520963074 198004736 19809 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364502 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12577/tid=12585] ppid=12575 vsize=193364 CPUtime=101.75 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 49673 1251 0 0 10167 8 0 0 25 0 5 0 520963074 198004736 19809 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=193364 CPUtime=102.26 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 49010 1251 0 0 10218 8 0 0 25 0 5 0 520963074 198004736 19809 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364541 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=193364 CPUtime=102.23 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 69541 1251 0 0 10212 11 0 0 25 0 5 0 520963074 198004736 19809 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.56
Current children cumulated vsize (KiB) 193364

[startup+162.301 s]
/proc/loadavg: 8.15 8.03 7.63 9/184 12591
/proc/meminfo: memFree=26448900/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=193500 CPUtime=648.23 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 338974 1251 0 0 64769 54 0 0 24 0 5 0 520963070 198144000 19843 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 48375 19843 181 55 0 46261 0
[pid=12577/tid=12584] ppid=12575 vsize=193500 CPUtime=162.26 cores=1,3,5,7
/proc/12577/task/12584/stat : 12584 (plingeling) R 12575 12577 12004 0 -1 4202560 71037 1251 0 0 16215 11 0 0 25 0 5 0 520963074 198144000 19843 33554432000 4194304 4417332 140737403359328 18446744073709551615 4250947 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12577/tid=12585] ppid=12575 vsize=193500 CPUtime=161.43 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 82948 1251 0 0 16130 13 0 0 25 0 5 0 520963074 198144000 19843 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364750 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=193500 CPUtime=162.26 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 79236 1251 0 0 16213 13 0 0 25 0 5 0 520963074 198144000 19843 33554432000 4194304 4417332 140737403359328 18446744073709551615 4320947 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=193500 CPUtime=162.22 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 103028 1251 0 0 16207 15 0 0 25 0 5 0 520963074 198144000 19843 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 648.23
Current children cumulated vsize (KiB) 193500


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

[pid=12577/tid=12585] ppid=12575 vsize=241220 CPUtime=758.64 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 316591 1251 0 0 75814 50 0 0 25 0 5 0 520963074 247009280 31742 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=241220 CPUtime=762.24 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 310038 1251 0 0 76172 52 0 0 25 0 5 0 520963074 247009280 31742 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364479 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=241220 CPUtime=762.23 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 313642 1251 0 0 76172 51 0 0 25 0 5 0 520963074 247009280 31742 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364652 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.45
Current children cumulated vsize (KiB) 241220

[startup+822.3 s]
/proc/loadavg: 4.01 4.64 6.01 5/174 12626
/proc/meminfo: memFree=26437948/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=292828 CPUtime=3285.16 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 1325162 1251 0 0 328301 215 0 0 24 0 5 0 520963070 299855872 44644 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 73207 44644 181 55 0 71093 0
[pid=12577/tid=12584] ppid=12575 vsize=292828 CPUtime=822.27 cores=1,3,5,7
/proc/12577/task/12584/stat : 12584 (plingeling) R 12575 12577 12004 0 -1 4202560 303133 1251 0 0 82181 46 0 0 25 0 5 0 520963074 299855872 44644 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12577/tid=12585] ppid=12575 vsize=292828 CPUtime=818.37 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 342032 1251 0 0 81783 54 0 0 25 0 5 0 520963074 299855872 44644 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=292828 CPUtime=822.24 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 336710 1251 0 0 82167 57 0 0 25 0 5 0 520963074 299855872 44644 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=292828 CPUtime=822.22 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 340562 1251 0 0 82166 56 0 0 25 0 5 0 520963074 299855872 44644 33554432000 4194304 4417332 140737403359328 18446744073709551615 4236895 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3285.16
Current children cumulated vsize (KiB) 292828

[startup+882.301 s]
/proc/loadavg: 4.06 4.54 5.89 5/174 12628
/proc/meminfo: memFree=26454924/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=287136 CPUtime=3524.88 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 1398106 1251 0 0 352263 225 0 0 24 0 5 0 520963070 294027264 43221 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 71784 43221 181 55 0 69670 0
[pid=12577/tid=12584] ppid=12575 vsize=287136 CPUtime=882.27 cores=1,3,5,7
/proc/12577/task/12584/stat : 12584 (plingeling) R 12575 12577 12004 0 -1 4202560 321984 1251 0 0 88178 49 0 0 25 0 5 0 520963074 294027264 43221 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12577/tid=12585] ppid=12575 vsize=287136 CPUtime=878.1 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 355865 1251 0 0 87754 56 0 0 25 0 5 0 520963074 294027264 43221 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364526 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=287136 CPUtime=882.24 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 357653 1251 0 0 88164 60 0 0 25 0 5 0 520963074 294027264 43221 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364549 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=287136 CPUtime=882.23 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 359879 1251 0 0 88164 59 0 0 25 0 5 0 520963074 294027264 43221 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.88
Current children cumulated vsize (KiB) 287136

[startup+942.301 s]
/proc/loadavg: 4.02 4.44 5.77 5/174 12629
/proc/meminfo: memFree=26481068/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=261940 CPUtime=3764.61 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 1467667 1251 0 0 376225 236 0 0 24 0 5 0 520963070 268226560 36922 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 65485 36922 181 55 0 63371 0
[pid=12577/tid=12584] ppid=12575 vsize=261940 CPUtime=942.26 cores=1,3,5,7
/proc/12577/task/12584/stat : 12584 (plingeling) R 12575 12577 12004 0 -1 4202560 336593 1251 0 0 94175 51 0 0 25 0 5 0 520963074 268226560 36922 33554432000 4194304 4417332 140737403359328 18446744073709551615 4259612 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12577/tid=12585] ppid=12575 vsize=261940 CPUtime=937.82 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 371423 1251 0 0 93724 58 0 0 25 0 5 0 520963074 268226560 36922 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=261940 CPUtime=942.24 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 369699 1251 0 0 94162 62 0 0 25 0 5 0 520963074 268226560 36922 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364736 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=261940 CPUtime=942.22 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 387227 1251 0 0 94159 63 0 0 25 0 5 0 520963074 268226560 36922 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.61
Current children cumulated vsize (KiB) 261940

[startup+1002.3 s]
/proc/loadavg: 4.05 4.37 5.66 5/174 12631
/proc/meminfo: memFree=26476464/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=266532 CPUtime=4004.32 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 1552319 1251 0 0 400184 248 0 0 24 0 5 0 520963070 272928768 38070 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 66633 38070 181 55 0 64519 0
[pid=12577/tid=12584] ppid=12575 vsize=266532 CPUtime=1002.27 cores=1,3,5,7
/proc/12577/task/12584/stat : 12584 (plingeling) R 12575 12577 12004 0 -1 4202560 352920 1251 0 0 100173 54 0 0 25 0 5 0 520963074 272928768 38070 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364753 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12577/tid=12585] ppid=12575 vsize=266532 CPUtime=997.54 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 392210 1251 0 0 99693 61 0 0 25 0 5 0 520963074 272928768 38070 33554432000 4194304 4417332 140737403359328 18446744073709551615 4344048 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=266532 CPUtime=1002.23 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 392447 1251 0 0 100158 65 0 0 25 0 5 0 520963074 272928768 38070 33554432000 4194304 4417332 140737403359328 18446744073709551615 4358148 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=266532 CPUtime=1002.22 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 412017 1251 0 0 100156 66 0 0 25 0 5 0 520963074 272928768 38070 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364547 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4004.32
Current children cumulated vsize (KiB) 266532

[startup+1062.3 s]
/proc/loadavg: 4.06 4.32 5.56 5/174 12632
/proc/meminfo: memFree=26456232/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=295412 CPUtime=4244.06 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 1635386 1251 0 0 424144 262 0 0 24 0 5 0 520963070 302501888 45290 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 73853 45290 181 55 0 71739 0
[pid=12577/tid=12584] ppid=12575 vsize=295412 CPUtime=1062.27 cores=1,3,5,7
/proc/12577/task/12584/stat : 12584 (plingeling) R 12575 12577 12004 0 -1 4202560 378403 1251 0 0 106169 58 0 0 25 0 5 0 520963074 302501888 45290 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12577/tid=12585] ppid=12575 vsize=295412 CPUtime=1057.27 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 411043 1251 0 0 105663 64 0 0 25 0 5 0 520963074 302501888 45290 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=295412 CPUtime=1062.23 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 409176 1251 0 0 106155 68 0 0 25 0 5 0 520963074 302501888 45290 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=295412 CPUtime=1062.22 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 434039 1251 0 0 106152 70 0 0 25 0 5 0 520963074 302501888 45290 33554432000 4194304 4417332 140737403359328 18446744073709551615 4366297 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4244.06
Current children cumulated vsize (KiB) 295412

[startup+1122.3 s]
/proc/loadavg: 4.06 4.27 5.46 5/174 12634
/proc/meminfo: memFree=26443816/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=297956 CPUtime=4483.78 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 1717626 1251 0 0 448104 274 0 0 24 0 5 0 520963070 305106944 45926 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 74489 45926 181 55 0 72375 0
[pid=12577/tid=12584] ppid=12575 vsize=297956 CPUtime=1122.26 cores=1,3,5,7
/proc/12577/task/12584/stat : 12584 (plingeling) R 12575 12577 12004 0 -1 4202560 402722 1251 0 0 112165 61 0 0 25 0 5 0 520963074 305106944 45926 33554432000 4194304 4417332 140737403359328 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12577/tid=12585] ppid=12575 vsize=297956 CPUtime=1116.99 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 432384 1251 0 0 111632 67 0 0 25 0 5 0 520963074 305106944 45926 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=297956 CPUtime=1122.23 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 428577 1251 0 0 112152 71 0 0 25 0 5 0 520963074 305106944 45926 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=297956 CPUtime=1122.22 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 451218 1251 0 0 112150 72 0 0 25 0 5 0 520963074 305106944 45926 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.78
Current children cumulated vsize (KiB) 297956

[startup+1182.3 s]
/proc/loadavg: 4.06 4.23 5.37 5/174 12636
/proc/meminfo: memFree=26451108/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=291252 CPUtime=4723.51 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 1794666 1251 0 0 472065 286 0 0 24 0 5 0 520963070 298242048 44250 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 72813 44250 181 55 0 70699 0
[pid=12577/tid=12584] ppid=12575 vsize=291252 CPUtime=1182.26 cores=1,3,5,7
/proc/12577/task/12584/stat : 12584 (plingeling) R 12575 12577 12004 0 -1 4202560 422425 1251 0 0 118162 64 0 0 25 0 5 0 520963074 298242048 44250 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364796 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12577/tid=12585] ppid=12575 vsize=291252 CPUtime=1176.72 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 451224 1251 0 0 117602 70 0 0 25 0 5 0 520963074 298242048 44250 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=291252 CPUtime=1182.23 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 446742 1251 0 0 118149 74 0 0 25 0 5 0 520963074 298242048 44250 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=291252 CPUtime=1182.22 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 471550 1251 0 0 118147 75 0 0 25 0 5 0 520963074 298242048 44250 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4723.51
Current children cumulated vsize (KiB) 291252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.5 s]
/proc/loadavg: 4.11 4.23 5.35 5/174 12636
/proc/meminfo: memFree=26458048/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=284292 CPUtime=4800.23 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 1819396 1251 0 0 479733 290 0 0 24 0 5 0 520963070 291115008 42510 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 71073 42510 181 55 0 68959 0
[pid=12577/tid=12584] ppid=12575 vsize=284292 CPUtime=1201.48 cores=1,3,5,7
/proc/12577/task/12584/stat : 12584 (plingeling) R 12575 12577 12004 0 -1 4202560 425200 1251 0 0 120083 65 0 0 25 0 5 0 520963074 291115008 42510 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364683 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12577/tid=12585] ppid=12575 vsize=284292 CPUtime=1195.83 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 459741 1251 0 0 119512 71 0 0 25 0 5 0 520963074 291115008 42510 33554432000 4194304 4417332 140737403359328 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=284292 CPUtime=1201.44 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 452103 1251 0 0 120069 75 0 0 25 0 5 0 520963074 291115008 42510 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=284292 CPUtime=1201.43 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 479627 1251 0 0 120066 77 0 0 25 0 5 0 520963074 291115008 42510 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364639 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 284292

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

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

[startup+1201.5 s]
/proc/loadavg: 4.11 4.23 5.35 5/174 12636
/proc/meminfo: memFree=26458048/32951132 swapFree=67111364/67111528
[pid=12577] ppid=12575 vsize=284292 CPUtime=4800.23 cores=1,3,5,7
/proc/12577/stat : 12577 (plingeling) S 12575 12577 12004 0 -1 4202496 1819396 1251 0 0 479733 290 0 0 24 0 5 0 520963070 291115008 42510 33554432000 4194304 4417332 140737403359328 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/12577/statm: 71073 42510 181 55 0 68959 0
[pid=12577/tid=12584] ppid=12575 vsize=284292 CPUtime=1201.48 cores=1,3,5,7
/proc/12577/task/12584/stat : 12584 (plingeling) R 12575 12577 12004 0 -1 4202560 425200 1251 0 0 120083 65 0 0 25 0 5 0 520963074 291115008 42510 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364683 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12577/tid=12585] ppid=12575 vsize=284292 CPUtime=1195.83 cores=1,3,5,7
/proc/12577/task/12585/stat : 12585 (plingeling) R 12575 12577 12004 0 -1 4202560 459741 1251 0 0 119512 71 0 0 25 0 5 0 520963074 291115008 42510 33554432000 4194304 4417332 140737403359328 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12577/tid=12586] ppid=12575 vsize=284292 CPUtime=1201.44 cores=1,3,5,7
/proc/12577/task/12586/stat : 12586 (plingeling) R 12575 12577 12004 0 -1 4202560 452103 1251 0 0 120069 75 0 0 25 0 5 0 520963074 291115008 42510 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12577/tid=12587] ppid=12575 vsize=284292 CPUtime=1201.43 cores=1,3,5,7
/proc/12577/task/12587/stat : 12587 (plingeling) R 12575 12577 12004 0 -1 4202560 479627 1251 0 0 120066 77 0 0 25 0 5 0 520963074 291115008 42510 33554432000 4194304 4417332 140737403359328 18446744073709551615 4364639 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 284292

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.52
CPU time (s): 4800.28
CPU user time (s): 4797.36
CPU system time (s): 2.91156
CPU usage (%): 399.516
Max. virtual memory (cumulated for all children) (KiB): 318660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.36
system time used= 2.91156
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1820647
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= 152
involuntary context switches= 33707

runsolver used 1.53277 second user time and 4.11337 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-29 18:14:04
IDJOB=3262386
IDBENCH=83298
IDSOLVER=1605
FILE ID=node128/3262386-1304093644
RUNJOBID= node128-1304092396-12394
PBS_JOBID= 13170567
Free space on /tmp= 66972 MiB

SOLVER NAME= Plingeling 587
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_406.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262386-1304093644/watcher-3262386-1304093644 -o /tmp/evaluation-result-3262386-1304093644/solver-3262386-1304093644 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3262386-1304093644.cnf

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

MD5SUM BENCH= 906590ef62b3db2841b2d529fd1636f7
RANDOM SEED=1371807913

node128.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.852
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.852
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.852
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.82
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.852
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.75
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.852
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.852
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.852
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.82
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      26582736 kB
Buffers:       1280952 kB
Cached:        4391472 kB
SwapCached:        160 kB
Active:         380196 kB
Inactive:      5402988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      26582736 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:             408 kB
Writeback:           0 kB
AnonPages:      110044 kB
Mapped:          15588 kB
Slab:           524112 kB
PageTables:       4756 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   295312 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66972 MiB
End job on node128 at 2011-04-29 18:34:08