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-3311773-1304183675/watcher-3311773-1304183675 -o /tmp/evaluation-result-3311773-1304183675/solver-3311773-1304183675 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311773-1304183675.cnf -hbr 2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.73 4.12 5.51 2/192 591
/proc/meminfo: memFree=30728908/32951132 swapFree=67111356/67111528
[pid=591] ppid=589 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/591/stat : 591 (java) R 589 591 32546 0 -1 4202496 493 0 0 0 0 0 0 0 22 0 1 0 529967187 9318400 154 33554432000 1073741824 1073778376 140733759388240 18446744073709551615 274664631895 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/591/statm: 2275 154 125 9 0 67 0
[startup+0.0216749 s]
/proc/loadavg: 3.73 4.12 5.51 2/192 591
/proc/meminfo: memFree=30728908/32951132 swapFree=67111356/67111528
[pid=591] ppid=589 vsize=15602060 CPUtime=0.01 cores=0,2,4,6
/proc/591/stat : 591 (java) S 589 591 32546 0 -1 4202496 3305 0 1 0 1 0 0 0 22 0 11 0 529967187 15976509440 2747 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/591/statm: 3900515 2750 1598 9 0 3891263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15602060
[startup+0.100654 s]
/proc/loadavg: 3.73 4.12 5.51 2/192 591
/proc/meminfo: memFree=30728908/32951132 swapFree=67111356/67111528
[pid=591] ppid=589 vsize=15742268 CPUtime=0.1 cores=0,2,4,6
/proc/591/stat : 591 (java) S 589 591 32546 0 -1 4202496 5565 0 1 0 9 1 0 0 22 0 18 0 529967187 16120082432 4976 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/591/statm: 3935567 4976 2117 9 0 3926286 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15742268
[startup+0.300639 s]
/proc/loadavg: 3.73 4.12 5.51 2/192 591
/proc/meminfo: memFree=30728908/32951132 swapFree=67111356/67111528
[pid=591] ppid=589 vsize=15747600 CPUtime=0.52 cores=0,2,4,6
/proc/591/stat : 591 (java) S 589 591 32546 0 -1 4202496 14859 0 1 0 49 3 0 0 22 0 18 0 529967187 16125542400 13027 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/591/statm: 3936900 13033 2207 9 0 3927619 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15747600
[startup+0.700546 s]
/proc/loadavg: 3.73 4.12 5.51 2/192 591
/proc/meminfo: memFree=30728908/32951132 swapFree=67111356/67111528
[pid=591] ppid=589 vsize=15747600 CPUtime=0.93 cores=0,2,4,6
/proc/591/stat : 591 (java) S 589 591 32546 0 -1 4202496 41921 0 1 0 87 6 0 0 22 0 18 0 529967187 16125542400 40087 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/591/statm: 3936900 40087 2223 9 0 3927619 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15747600
[startup+1.50138 s]
/proc/loadavg: 3.73 4.12 5.51 12/218 627
/proc/meminfo: memFree=30345216/32951132 swapFree=67111356/67111528
[pid=591] ppid=589 vsize=15770800 CPUtime=2.54 cores=0,2,4,6
/proc/591/stat : 591 (java) S 589 591 32546 0 -1 4202496 55463 0 1 0 245 9 0 0 22 0 22 0 529967187 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/591/statm: 3942700 49574 2262 9 0 3933419 0
[pid=591/tid=593] ppid=589 vsize=15770800 CPUtime=1.47 cores=0,2,4,6
/proc/591/task/593/stat : 593 (java) R 589 591 32546 0 -1 4202560 35679 0 1 0 142 5 0 0 21 0 22 0 529967188 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 47543871696896 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=591/tid=594] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/594/stat : 594 (java) S 589 591 32546 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 529967188 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=595] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/595/stat : 595 (java) S 589 591 32546 0 -1 4202560 706 0 0 0 0 0 0 0 18 0 22 0 529967188 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=606] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/606/stat : 606 (java) S 589 591 32546 0 -1 4202560 770 0 0 0 0 0 0 0 16 0 22 0 529967188 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=607] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/607/stat : 607 (java) S 589 591 32546 0 -1 4202560 265 0 0 0 0 0 0 0 18 0 22 0 529967188 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=608] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/608/stat : 608 (java) S 589 591 32546 0 -1 4202560 1287 0 0 0 0 0 0 0 18 0 22 0 529967188 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=609] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/609/stat : 609 (java) S 589 591 32546 0 -1 4202560 15 0 0 0 0 0 0 0 17 0 22 0 529967188 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=610] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/610/stat : 610 (java) S 589 591 32546 0 -1 4202560 1468 0 0 0 0 0 0 0 16 0 22 0 529967188 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=611] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/611/stat : 611 (java) S 589 591 32546 0 -1 4202560 114 0 0 0 0 0 0 0 18 0 22 0 529967188 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=612] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/612/stat : 612 (java) S 589 591 32546 0 -1 4202560 72 0 0 0 0 0 0 0 18 0 22 0 529967189 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624896 0 0 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=613] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/613/stat : 613 (java) S 589 591 32546 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529967189 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=614] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/614/stat : 614 (java) S 589 591 32546 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529967190 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=615] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/615/stat : 615 (java) S 589 591 32546 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529967192 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676631985 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=616] ppid=589 vsize=15770800 CPUtime=0.23 cores=0,2,4,6
/proc/591/task/616/stat : 616 (java) S 589 591 32546 0 -1 4202560 2646 0 0 0 23 0 0 0 15 0 22 0 529967192 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=617] ppid=589 vsize=15770800 CPUtime=0.76 cores=0,2,4,6
/proc/591/task/617/stat : 617 (java) R 589 591 32546 0 -1 4202560 11014 0 0 0 75 1 0 0 18 0 22 0 529967192 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 47543870150189 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=591/tid=618] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/618/stat : 618 (java) S 589 591 32546 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529967192 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=619] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/619/stat : 619 (java) S 589 591 32546 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529967192 16149299200 49574 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624896 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=624] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/624/stat : 624 (java) S 589 591 32546 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 529967263 16149299200 49576 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624896 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=625] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/625/stat : 625 (java) S 589 591 32546 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 529967263 16149299200 49577 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624896 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=626] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/626/stat : 626 (java) S 589 591 32546 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 529967264 16149299200 49578 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624896 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=627] ppid=589 vsize=15770800 CPUtime=0 cores=0,2,4,6
/proc/591/task/627/stat : 627 (java) S 589 591 32546 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 529967264 16149299200 49578 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624896 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 15770800
[startup+4.21192 s]
/proc/loadavg: 3.73 4.12 5.51 10/218 627
/proc/meminfo: memFree=30035960/32951132 swapFree=67111356/67111528
[pid=591] ppid=589 vsize=15768624 CPUtime=9.8 cores=0,2,4,6
/proc/591/stat : 591 (java) S 589 591 32546 0 -1 4202496 273333 0 1 0 940 40 0 0 22 0 22 0 529967187 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/591/statm: 3942156 262929 2275 9 0 3932875 0
[pid=591/tid=593] ppid=589 vsize=15768624 CPUtime=2.01 cores=0,2,4,6
/proc/591/task/593/stat : 593 (java) S 589 591 32546 0 -1 4202560 35729 0 1 0 196 5 0 0 22 0 22 0 529967188 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=594] ppid=589 vsize=15768624 CPUtime=0.09 cores=0,2,4,6
/proc/591/task/594/stat : 594 (java) R 589 591 32546 0 -1 4202560 14878 0 0 0 7 2 0 0 16 0 22 0 529967188 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=591/tid=595] ppid=589 vsize=15768624 CPUtime=0.07 cores=0,2,4,6
/proc/591/task/595/stat : 595 (java) S 589 591 32546 0 -1 4202560 13600 0 0 0 6 1 0 0 16 0 22 0 529967188 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=606] ppid=589 vsize=15768624 CPUtime=0.13 cores=0,2,4,6
/proc/591/task/606/stat : 606 (java) S 589 591 32546 0 -1 4202560 23567 0 0 0 9 4 0 0 15 0 22 0 529967188 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=607] ppid=589 vsize=15768624 CPUtime=0.16 cores=0,2,4,6
/proc/591/task/607/stat : 607 (java) S 589 591 32546 0 -1 4202560 31037 0 0 0 12 4 0 0 15 0 22 0 529967188 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=608] ppid=589 vsize=15768624 CPUtime=0.08 cores=0,2,4,6
/proc/591/task/608/stat : 608 (java) S 589 591 32546 0 -1 4202560 13385 0 0 0 6 2 0 0 15 0 22 0 529967188 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=609] ppid=589 vsize=15768624 CPUtime=0.12 cores=0,2,4,6
/proc/591/task/609/stat : 609 (java) S 589 591 32546 0 -1 4202560 28338 0 0 0 8 4 0 0 16 0 22 0 529967188 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=610] ppid=589 vsize=15768624 CPUtime=0.06 cores=0,2,4,6
/proc/591/task/610/stat : 610 (java) S 589 591 32546 0 -1 4202560 10596 0 0 0 6 0 0 0 15 0 22 0 529967188 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=611] ppid=589 vsize=15768624 CPUtime=0.06 cores=0,2,4,6
/proc/591/task/611/stat : 611 (java) S 589 591 32546 0 -1 4202560 7631 0 0 0 5 1 0 0 15 0 22 0 529967188 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=612] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/612/stat : 612 (java) S 589 591 32546 0 -1 4202560 598 0 0 0 0 0 0 0 15 0 22 0 529967189 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624896 0 0 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=613] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/613/stat : 613 (java) S 589 591 32546 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529967189 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=614] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/614/stat : 614 (java) S 589 591 32546 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529967190 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=615] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/615/stat : 615 (java) S 589 591 32546 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529967192 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676631985 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=616] ppid=589 vsize=15768624 CPUtime=0.76 cores=0,2,4,6
/proc/591/task/616/stat : 616 (java) S 589 591 32546 0 -1 4202560 6173 0 0 0 75 1 0 0 15 0 22 0 529967192 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=617] ppid=589 vsize=15768624 CPUtime=1.23 cores=0,2,4,6
/proc/591/task/617/stat : 617 (java) S 589 591 32546 0 -1 4202560 11140 0 0 0 122 1 0 0 15 0 22 0 529967192 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=618] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/618/stat : 618 (java) S 589 591 32546 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529967192 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=619] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/619/stat : 619 (java) S 589 591 32546 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529967192 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624896 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=624] ppid=589 vsize=15768624 CPUtime=1.03 cores=0,2,4,6
/proc/591/task/624/stat : 624 (java) R 589 591 32546 0 -1 4202560 6293 0 0 0 103 0 0 0 16 0 22 0 529967263 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 46912506221603 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=591/tid=625] ppid=589 vsize=15768624 CPUtime=1.11 cores=0,2,4,6
/proc/591/task/625/stat : 625 (java) R 589 591 32546 0 -1 4202560 29238 0 0 0 108 3 0 0 15 0 22 0 529967263 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 47543873119104 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=591/tid=626] ppid=589 vsize=15768624 CPUtime=1.51 cores=0,2,4,6
/proc/591/task/626/stat : 626 (java) R 589 591 32546 0 -1 4202560 18931 0 0 0 149 2 0 0 15 0 22 0 529967264 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 46912506396739 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=591/tid=627] ppid=589 vsize=15768624 CPUtime=1.21 cores=0,2,4,6
/proc/591/task/627/stat : 627 (java) R 589 591 32546 0 -1 4202560 20814 0 0 0 120 1 0 0 15 0 22 0 529967264 16147070976 262929 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 46912506423431 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.8
Current children cumulated vsize (KiB) 15768624
[startup+6.30152 s]
/proc/loadavg: 4.47 4.27 5.55 6/218 627
/proc/meminfo: memFree=26769580/32951132 swapFree=67111356/67111528
[pid=591] ppid=589 vsize=15768624 CPUtime=17.5 cores=0,2,4,6
/proc/591/stat : 591 (java) S 589 591 32546 0 -1 4202496 483878 0 1 0 1676 74 0 0 22 0 22 0 529967187 16147070976 473031 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/591/statm: 3942156 473031 2283 9 0 3932875 0
[pid=591/tid=593] ppid=589 vsize=15768624 CPUtime=2.01 cores=0,2,4,6
/proc/591/task/593/stat : 593 (java) S 589 591 32546 0 -1 4202560 35729 0 1 0 196 5 0 0 22 0 22 0 529967188 16147070976 473031 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=594] ppid=589 vsize=15768624 CPUtime=0.11 cores=0,2,4,6
/proc/591/task/594/stat : 594 (java) S 589 591 32546 0 -1 4202560 17138 0 0 0 9 2 0 0 15 0 22 0 529967188 16147070976 473031 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=595] ppid=589 vsize=15768624 CPUtime=0.18 cores=0,2,4,6
/proc/591/task/595/stat : 595 (java) S 589 591 32546 0 -1 4202560 28222 0 0 0 14 4 0 0 16 0 22 0 529967188 16147070976 473031 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=606] ppid=589 vsize=15768624 CPUtime=0.26 cores=0,2,4,6
/proc/591/task/606/stat : 606 (java) S 589 591 32546 0 -1 4202560 62576 0 0 0 15 11 0 0 16 0 22 0 529967188 16147070976 473031 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=607] ppid=589 vsize=15768624 CPUtime=0.16 cores=0,2,4,6
/proc/591/task/607/stat : 607 (java) S 589 591 32546 0 -1 4202560 31037 0 0 0 12 4 0 0 15 0 22 0 529967188 16147070976 473031 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=608] ppid=589 vsize=15768624 CPUtime=0.15 cores=0,2,4,6
/proc/591/task/608/stat : 608 (java) S 589 591 32546 0 -1 4202560 28247 0 0 0 11 4 0 0 15 0 22 0 529967188 16147070976 473031 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=609] ppid=589 vsize=15768624 CPUtime=0.21 cores=0,2,4,6
/proc/591/task/609/stat : 609 (java) S 589 591 32546 0 -1 4202560 39473 0 0 0 15 6 0 0 15 0 22 0 529967188 16147070976 473031 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=610] ppid=589 vsize=15768624 CPUtime=0.14 cores=0,2,4,6
/proc/591/task/610/stat : 610 (java) S 589 591 32546 0 -1 4202560 35085 0 0 0 9 5 0 0 16 0 22 0 529967188 16147070976 473031 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=611] ppid=589 vsize=15768624 CPUtime=0.22 cores=0,2,4,6
/proc/591/task/611/stat : 611 (java) S 589 591 32546 0 -1 4202560 42068 0 0 0 14 8 0 0 16 0 22 0 529967188 16147070976 473031 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=612] ppid=589 vsize=15768624 CPUtime=0.2 cores=0,2,4,6
/proc/591/task/612/stat : 612 (java) S 589 591 32546 0 -1 4202560 12116 0 0 0 19 1 0 0 16 0 22 0 529967189 16147070976 473031 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624896 0 0 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=613] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/613/stat : 613 (java) S 589 591 32546 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529967189 16147070976 473031 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=614] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/614/stat : 614 (java) S 589 591 32546 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529967190 16147070976 473031 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=615] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/615/stat : 615 (java) S 589 591 32546 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529967192 16147070976 473031 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676631985 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=616] ppid=589 vsize=15768624 CPUtime=0.79 cores=0,2,4,6
/proc/591/task/616/stat : 616 (java) S 589 591 32546 0 -1 4202560 6406 0 0 0 78 1 0 0 15 0 22 0 529967192 16147070976 473031 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=591/tid=611] ppid=589 vsize=15768624 CPUtime=2.9 cores=0,2,4,6
/proc/591/task/611/stat : 611 (java) S 589 591 32546 0 -1 4202560 359904 0 0 0 221 69 0 0 16 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=612] ppid=589 vsize=15768624 CPUtime=1043.67 cores=0,2,4,6
/proc/591/task/612/stat : 612 (java) R 589 591 32546 0 -1 4202560 675606 0 0 0 104213 154 0 0 18 0 21 0 529967189 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 47543868227721 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=591/tid=613] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/613/stat : 613 (java) S 589 591 32546 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 529967189 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=614] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/614/stat : 614 (java) S 589 591 32546 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 21 0 529967190 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=615] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/615/stat : 615 (java) S 589 591 32546 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 529967192 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676631985 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=616] ppid=589 vsize=15768624 CPUtime=0.95 cores=0,2,4,6
/proc/591/task/616/stat : 616 (java) S 589 591 32546 0 -1 4202560 6441 0 0 0 94 1 0 0 15 0 21 0 529967192 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=617] ppid=589 vsize=15768624 CPUtime=1.29 cores=0,2,4,6
/proc/591/task/617/stat : 617 (java) S 589 591 32546 0 -1 4202560 11142 0 0 0 128 1 0 0 15 0 21 0 529967192 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=618] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/618/stat : 618 (java) S 589 591 32546 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 529967192 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=619] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/619/stat : 619 (java) S 589 591 32546 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 21 0 529967192 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624896 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=624] ppid=589 vsize=15768624 CPUtime=128.59 cores=0,2,4,6
/proc/591/task/624/stat : 624 (java) S 589 591 32546 0 -1 4202560 74102 0 0 0 12835 24 0 0 15 0 21 0 529967263 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=626] ppid=589 vsize=15768624 CPUtime=129.16 cores=0,2,4,6
/proc/591/task/626/stat : 626 (java) S 589 591 32546 0 -1 4202560 100764 0 0 0 12897 19 0 0 15 0 21 0 529967264 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=627] ppid=589 vsize=15768624 CPUtime=128.98 cores=0,2,4,6
/proc/591/task/627/stat : 627 (java) S 589 591 32546 0 -1 4202560 92684 0 0 0 12878 20 0 0 15 0 21 0 529967264 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1586.11
Current children cumulated vsize (KiB) 15768624
[startup+1242.3 s]
/proc/loadavg: 4.87 5.00 5.29 6/217 711
/proc/meminfo: memFree=15086956/32951132 swapFree=67111356/67111528
[pid=591] ppid=589 vsize=15768624 CPUtime=1646.12 cores=0,2,4,6
/proc/591/stat : 591 (java) S 589 591 32546 0 -1 4202496 3917410 0 1 0 163853 759 0 0 22 0 21 0 529967187 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/591/statm: 3942156 3834470 2295 9 0 3932875 0
[pid=591/tid=593] ppid=589 vsize=15768624 CPUtime=2.01 cores=0,2,4,6
/proc/591/task/593/stat : 593 (java) S 589 591 32546 0 -1 4202560 35729 0 1 0 196 5 0 0 22 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=594] ppid=589 vsize=15768624 CPUtime=3.17 cores=0,2,4,6
/proc/591/task/594/stat : 594 (java) S 589 591 32546 0 -1 4202560 354157 0 0 0 253 64 0 0 16 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=595] ppid=589 vsize=15768624 CPUtime=2.62 cores=0,2,4,6
/proc/591/task/595/stat : 595 (java) S 589 591 32546 0 -1 4202560 274603 0 0 0 218 44 0 0 16 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=606] ppid=589 vsize=15768624 CPUtime=3.03 cores=0,2,4,6
/proc/591/task/606/stat : 606 (java) S 589 591 32546 0 -1 4202560 330269 0 0 0 242 61 0 0 15 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=607] ppid=589 vsize=15768624 CPUtime=3.19 cores=0,2,4,6
/proc/591/task/607/stat : 607 (java) S 589 591 32546 0 -1 4202560 396423 0 0 0 249 70 0 0 16 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=608] ppid=589 vsize=15768624 CPUtime=3.29 cores=0,2,4,6
/proc/591/task/608/stat : 608 (java) S 589 591 32546 0 -1 4202560 456268 0 0 0 252 77 0 0 16 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=609] ppid=589 vsize=15768624 CPUtime=2.92 cores=0,2,4,6
/proc/591/task/609/stat : 609 (java) S 589 591 32546 0 -1 4202560 329557 0 0 0 234 58 0 0 16 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=610] ppid=589 vsize=15768624 CPUtime=3 cores=0,2,4,6
/proc/591/task/610/stat : 610 (java) S 589 591 32546 0 -1 4202560 318679 0 0 0 244 56 0 0 15 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=611] ppid=589 vsize=15768624 CPUtime=2.9 cores=0,2,4,6
/proc/591/task/611/stat : 611 (java) S 589 591 32546 0 -1 4202560 359904 0 0 0 221 69 0 0 16 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=612] ppid=589 vsize=15768624 CPUtime=1103.61 cores=0,2,4,6
/proc/591/task/612/stat : 612 (java) R 589 591 32546 0 -1 4202560 675608 0 0 0 110199 162 0 0 18 0 21 0 529967189 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 47543870169571 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=591/tid=613] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/613/stat : 613 (java) S 589 591 32546 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 529967189 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=614] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/614/stat : 614 (java) S 589 591 32546 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 21 0 529967190 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=615] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/615/stat : 615 (java) S 589 591 32546 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 529967192 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676631985 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=616] ppid=589 vsize=15768624 CPUtime=0.95 cores=0,2,4,6
/proc/591/task/616/stat : 616 (java) S 589 591 32546 0 -1 4202560 6441 0 0 0 94 1 0 0 15 0 21 0 529967192 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=617] ppid=589 vsize=15768624 CPUtime=1.29 cores=0,2,4,6
/proc/591/task/617/stat : 617 (java) S 589 591 32546 0 -1 4202560 11142 0 0 0 128 1 0 0 15 0 21 0 529967192 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=618] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/618/stat : 618 (java) S 589 591 32546 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 529967192 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=619] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/619/stat : 619 (java) S 589 591 32546 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 21 0 529967192 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624896 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=624] ppid=589 vsize=15768624 CPUtime=128.61 cores=0,2,4,6
/proc/591/task/624/stat : 624 (java) S 589 591 32546 0 -1 4202560 74532 0 0 0 12836 25 0 0 15 0 21 0 529967263 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=626] ppid=589 vsize=15768624 CPUtime=129.19 cores=0,2,4,6
/proc/591/task/626/stat : 626 (java) S 589 591 32546 0 -1 4202560 101081 0 0 0 12899 20 0 0 15 0 21 0 529967264 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=627] ppid=589 vsize=15768624 CPUtime=129 cores=0,2,4,6
/proc/591/task/627/stat : 627 (java) S 589 591 32546 0 -1 4202560 92734 0 0 0 12880 20 0 0 15 0 21 0 529967264 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1646.12
Current children cumulated vsize (KiB) 15768624
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 5.01 5.01 5.27 6/217 712
/proc/meminfo: memFree=14952040/32951132 swapFree=67111356/67111528
[pid=591] ppid=589 vsize=15768624 CPUtime=1703.83 cores=0,2,4,6
/proc/591/stat : 591 (java) S 589 591 32546 0 -1 4202496 3918182 0 1 0 169614 769 0 0 22 0 21 0 529967187 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/591/statm: 3942156 3834470 2295 9 0 3932875 0
[pid=591/tid=593] ppid=589 vsize=15768624 CPUtime=2.01 cores=0,2,4,6
/proc/591/task/593/stat : 593 (java) S 589 591 32546 0 -1 4202560 35729 0 1 0 196 5 0 0 22 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=594] ppid=589 vsize=15768624 CPUtime=3.17 cores=0,2,4,6
/proc/591/task/594/stat : 594 (java) S 589 591 32546 0 -1 4202560 354157 0 0 0 253 64 0 0 16 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=595] ppid=589 vsize=15768624 CPUtime=2.62 cores=0,2,4,6
/proc/591/task/595/stat : 595 (java) S 589 591 32546 0 -1 4202560 274603 0 0 0 218 44 0 0 16 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=606] ppid=589 vsize=15768624 CPUtime=3.03 cores=0,2,4,6
/proc/591/task/606/stat : 606 (java) S 589 591 32546 0 -1 4202560 330269 0 0 0 242 61 0 0 15 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=607] ppid=589 vsize=15768624 CPUtime=3.19 cores=0,2,4,6
/proc/591/task/607/stat : 607 (java) S 589 591 32546 0 -1 4202560 396423 0 0 0 249 70 0 0 16 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=608] ppid=589 vsize=15768624 CPUtime=3.29 cores=0,2,4,6
/proc/591/task/608/stat : 608 (java) S 589 591 32546 0 -1 4202560 456268 0 0 0 252 77 0 0 16 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=609] ppid=589 vsize=15768624 CPUtime=2.92 cores=0,2,4,6
/proc/591/task/609/stat : 609 (java) S 589 591 32546 0 -1 4202560 329557 0 0 0 234 58 0 0 16 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=610] ppid=589 vsize=15768624 CPUtime=3 cores=0,2,4,6
/proc/591/task/610/stat : 610 (java) S 589 591 32546 0 -1 4202560 318679 0 0 0 244 56 0 0 15 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=611] ppid=589 vsize=15768624 CPUtime=2.9 cores=0,2,4,6
/proc/591/task/611/stat : 611 (java) S 589 591 32546 0 -1 4202560 359904 0 0 0 221 69 0 0 16 0 21 0 529967188 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=612] ppid=589 vsize=15768624 CPUtime=1161.27 cores=0,2,4,6
/proc/591/task/612/stat : 612 (java) R 589 591 32546 0 -1 4202560 675612 0 0 0 115958 169 0 0 18 0 21 0 529967189 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 47543872886979 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=591/tid=613] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/613/stat : 613 (java) S 589 591 32546 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 529967189 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=614] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/614/stat : 614 (java) S 589 591 32546 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 21 0 529967190 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 6 0 0 0
[pid=591/tid=615] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/615/stat : 615 (java) S 589 591 32546 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 529967192 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676631985 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
[pid=591/tid=616] ppid=589 vsize=15768624 CPUtime=0.95 cores=0,2,4,6
/proc/591/task/616/stat : 616 (java) S 589 591 32546 0 -1 4202560 6441 0 0 0 94 1 0 0 15 0 21 0 529967192 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=617] ppid=589 vsize=15768624 CPUtime=1.29 cores=0,2,4,6
/proc/591/task/617/stat : 617 (java) S 589 591 32546 0 -1 4202560 11142 0 0 0 128 1 0 0 15 0 21 0 529967192 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=618] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/618/stat : 618 (java) S 589 591 32546 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 529967192 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=619] ppid=589 vsize=15768624 CPUtime=0 cores=0,2,4,6
/proc/591/task/619/stat : 619 (java) S 589 591 32546 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 21 0 529967192 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624896 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=624] ppid=589 vsize=15768624 CPUtime=128.63 cores=0,2,4,6
/proc/591/task/624/stat : 624 (java) S 589 591 32546 0 -1 4202560 74777 0 0 0 12837 26 0 0 15 0 21 0 529967263 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 2 0 0 0
[pid=591/tid=626] ppid=589 vsize=15768624 CPUtime=129.2 cores=0,2,4,6
/proc/591/task/626/stat : 626 (java) S 589 591 32546 0 -1 4202560 101563 0 0 0 12900 20 0 0 15 0 21 0 529967264 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 0 0 0 0
[pid=591/tid=627] ppid=589 vsize=15768624 CPUtime=129.02 cores=0,2,4,6
/proc/591/task/627/stat : 627 (java) S 589 591 32546 0 -1 4202560 92771 0 0 0 12881 21 0 0 15 0 21 0 529967264 16147070976 3834470 33554432000 1073741824 1073778376 140734449144528 18446744073709551615 274676624281 0 4 0 16800975 18446604445722339264 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1703.83
Current children cumulated vsize (KiB) 15768624
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -591
[startup+1302.3 s]
/proc/loadavg: 5.01 5.01 5.27 6/218 713
/proc/meminfo: memFree=14895732/32951132 swapFree=67111356/67111528
[pid=591] ppid=589 vsize=0 CPUtime=1706.12 cores=0,2,4,6
/proc/591/stat : 591 (java) Z 589 591 32546 0 -1 4203548 3918214 0 1 0 169815 797 0 0 18 0 2 0 529967187 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/591/statm: 0 0 0 0 0 0 0
[pid=591/tid=618] ppid=589 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/591/task/618/stat : 618 (java) R 589 591 32546 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 529967192 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1706.12
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 5.01 5.01 5.27 6/218 713
/proc/meminfo: memFree=14895732/32951132 swapFree=67111356/67111528
[pid=591] ppid=589 vsize=0 CPUtime=1706.22 cores=0,2,4,6
/proc/591/stat : 591 (java) Z 589 591 32546 0 -1 4203548 3918214 0 1 0 169815 807 0 0 18 0 2 0 529967187 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/591/statm: 0 0 0 0 0 0 0
[pid=591/tid=618] ppid=589 vsize=0 CPUtime=0.38 cores=0,2,4,6
/proc/591/task/618/stat : 618 (java) R 589 591 32546 0 -1 4203588 1 0 0 0 0 38 0 0 18 0 2 0 529967192 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1706.22
Current children cumulated vsize (KiB) 0
[startup+1302.5 s]
/proc/loadavg: 5.01 5.01 5.27 6/198 713
/proc/meminfo: memFree=27665852/32951132 swapFree=67111356/67111528
[pid=591] ppid=589 vsize=0 CPUtime=1706.32 cores=0,2,4,6
/proc/591/stat : 591 (java) Z 589 591 32546 0 -1 4203548 3918214 0 1 0 169815 817 0 0 18 0 2 0 529967187 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/591/statm: 0 0 0 0 0 0 0
[pid=591/tid=618] ppid=589 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/591/task/618/stat : 618 (java) R 589 591 32546 0 -1 4203588 1 0 0 0 0 48 0 0 18 0 2 0 529967192 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1706.32
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.6
CPU time (s): 1706.44
CPU user time (s): 1698.16
CPU system time (s): 8.27874
CPU usage (%): 131.002
Max. virtual memory (cumulated for all children) (KiB): 15770800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1698.16
system time used= 8.27874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3918214
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94498
involuntary context switches= 40732
runsolver used 2.05069 second user time and 5.49416 second system time
The end