runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456703-1307217688/watcher-3456703-1307217688 -o /tmp/evaluation-result-3456703-1307217688/solver-3456703-1307217688 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456703-1307217688.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.27 2.06 1.72 2/345 605
/proc/meminfo: memFree=21387200/32951124 swapFree=67056304/67111528
[pid=605] ppid=593 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (java) R 593 605 326 0 -1 4202496 527 0 0 0 0 0 0 0 25 0 1 0 911999417 23580672 271 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260015433493 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/605/statm: 5757 283 218 9 0 124 0
[pid=605/tid=606] ppid=593 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/605/task/606/stat : 606 (java) R 593 605 326 0 -1 4202560 1451 0 1 0 0 0 0 0 25 0 2 0 911999418 10681323520 2266 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.118022 s]
/proc/loadavg: 2.27 2.06 1.72 2/345 605
/proc/meminfo: memFree=21387200/32951124 swapFree=67056304/67111528
[pid=605] ppid=593 vsize=10539588 CPUtime=0.12 cores=1,3,5,7
/proc/605/stat : 605 (java) S 593 605 326 0 -1 4202496 13295 0 1 0 11 1 0 0 25 0 18 0 911999417 10792538112 12984 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/605/statm: 2634897 12985 2134 9 0 2625631 0
[pid=605/tid=606] ppid=593 vsize=10539588 CPUtime=0.1 cores=1,3,5,7
/proc/605/task/606/stat : 606 (java) R 593 605 326 0 -1 4202560 11308 0 1 0 9 1 0 0 18 0 18 0 911999418 10792538112 12985 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 47053759937332 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539588
[startup+0.207013 s]
/proc/loadavg: 2.27 2.06 1.72 2/345 605
/proc/meminfo: memFree=21387200/32951124 swapFree=67056304/67111528
[pid=605] ppid=593 vsize=10540052 CPUtime=0.3 cores=1,3,5,7
/proc/605/stat : 605 (java) S 593 605 326 0 -1 4202496 14494 0 1 0 28 2 0 0 25 0 18 0 911999417 10793013248 13992 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/605/statm: 2635013 13992 2187 9 0 2625747 0
[pid=605/tid=606] ppid=593 vsize=10540052 CPUtime=0.18 cores=1,3,5,7
/proc/605/task/606/stat : 606 (java) R 593 605 326 0 -1 4202560 12069 0 1 0 17 1 0 0 18 0 18 0 911999418 10793013248 13992 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032221877 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10540052
[startup+0.313186 s]
/proc/loadavg: 2.27 2.06 1.72 2/345 605
/proc/meminfo: memFree=21387200/32951124 swapFree=67056304/67111528
[pid=605] ppid=593 vsize=10544372 CPUtime=0.6 cores=1,3,5,7
/proc/605/stat : 605 (java) S 593 605 326 0 -1 4202496 18249 0 1 0 58 2 0 0 25 0 19 0 911999417 10797436928 16853 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/605/statm: 2636093 16853 2212 9 0 2626827 0
[pid=605/tid=606] ppid=593 vsize=10544372 CPUtime=0.29 cores=1,3,5,7
/proc/605/task/606/stat : 606 (java) R 593 605 326 0 -1 4202560 13577 0 1 0 27 2 0 0 19 0 19 0 911999418 10797436928 16853 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 46912505193359 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 10544372
[startup+0.700854 s]
/proc/loadavg: 2.27 2.06 1.72 2/345 605
/proc/meminfo: memFree=21387200/32951124 swapFree=67056304/67111528
[pid=605] ppid=593 vsize=10553996 CPUtime=1.76 cores=1,3,5,7
/proc/605/stat : 605 (java) S 593 605 326 0 -1 4202496 33497 0 1 0 172 4 0 0 25 0 19 0 911999417 10807291904 28253 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/605/statm: 2638499 28254 2223 9 0 2629233 0
[pid=605/tid=606] ppid=593 vsize=10553996 CPUtime=0.67 cores=1,3,5,7
/proc/605/task/606/stat : 606 (java) R 593 605 326 0 -1 4202560 19940 0 1 0 65 2 0 0 19 0 19 0 911999418 10807291904 28254 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 46912505586623 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 10553996
[startup+1.50074 s]
/proc/loadavg: 2.27 2.06 1.72 3/364 624
/proc/meminfo: memFree=21114196/32951124 swapFree=67056304/67111528
[pid=605] ppid=593 vsize=10553996 CPUtime=2.62 cores=1,3,5,7
/proc/605/stat : 605 (java) S 593 605 326 0 -1 4202496 93598 0 1 0 251 11 0 0 25 0 19 0 911999417 10807291904 88353 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/605/statm: 2638499 88357 2225 9 0 2629233 0
[pid=605/tid=606] ppid=593 vsize=10553996 CPUtime=1.48 cores=1,3,5,7
/proc/605/task/606/stat : 606 (java) R 593 605 326 0 -1 4202560 80032 0 1 0 139 9 0 0 18 0 19 0 911999418 10807291904 88359 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 46912505815236 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=605/tid=608] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/608/stat : 608 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10807291904 88359 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=609] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/609/stat : 609 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10807291904 88364 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=610] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/610/stat : 610 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10807291904 88364 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=611] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/611/stat : 611 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10807291904 88370 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=612] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/612/stat : 612 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10807291904 88370 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=613] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/613/stat : 613 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10807291904 88374 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=614] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/614/stat : 614 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10807291904 88376 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=615] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/615/stat : 615 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10807291904 88378 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=616] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/616/stat : 616 (java) S 593 605 326 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911999420 10807291904 88381 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032212480 0 0 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=617] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/617/stat : 617 (java) S 593 605 326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911999421 10807291904 88382 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=618] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/618/stat : 618 (java) S 593 605 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911999421 10807291904 88387 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=619] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/619/stat : 619 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999423 10807291904 88387 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032219569 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=620] ppid=593 vsize=10553996 CPUtime=0.53 cores=1,3,5,7
/proc/605/task/620/stat : 620 (java) S 593 605 326 0 -1 4202560 8009 0 0 0 53 0 0 0 17 0 19 0 911999423 10807291904 88392 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=621] ppid=593 vsize=10553996 CPUtime=0.58 cores=1,3,5,7
/proc/605/task/621/stat : 621 (java) S 593 605 326 0 -1 4202560 4403 0 0 0 58 0 0 0 20 0 19 0 911999423 10807291904 88392 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=622] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/622/stat : 622 (java) S 593 605 326 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 911999423 10807291904 88396 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=623] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/623/stat : 623 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911999423 10807291904 88398 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032212480 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=624] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/624/stat : 624 (java) S 593 605 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911999447 10807291904 88400 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032212480 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 10553996
[startup+3.10145 s]
/proc/loadavg: 2.27 2.06 1.72 3/364 624
/proc/meminfo: memFree=20750032/32951124 swapFree=67056304/67111528
[pid=605] ppid=593 vsize=10553996 CPUtime=4.37 cores=1,3,5,7
/proc/605/stat : 605 (java) S 593 605 326 0 -1 4202496 217136 0 1 0 413 24 0 0 25 0 19 0 911999417 10807291904 211889 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/605/statm: 2638499 211889 2227 9 0 2629233 0
[pid=605/tid=606] ppid=593 vsize=10553996 CPUtime=3.08 cores=1,3,5,7
/proc/605/task/606/stat : 606 (java) R 593 605 326 0 -1 4202560 203525 0 1 0 285 23 0 0 18 0 19 0 911999418 10807291904 211889 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 46912505586666 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=605/tid=608] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/608/stat : 608 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10807291904 211890 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=609] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/609/stat : 609 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10807291904 211890 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=610] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/610/stat : 610 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10807291904 211890 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=611] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/611/stat : 611 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10807291904 211891 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=612] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/612/stat : 612 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10807291904 211891 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=613] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/613/stat : 613 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10807291904 211891 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=614] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/614/stat : 614 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10807291904 211891 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=615] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/615/stat : 615 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10807291904 211892 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=616] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/616/stat : 616 (java) S 593 605 326 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 911999420 10807291904 211892 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032212480 0 0 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=617] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/617/stat : 617 (java) S 593 605 326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911999421 10807291904 211892 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=618] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/618/stat : 618 (java) S 593 605 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911999421 10807291904 211893 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=619] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/619/stat : 619 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999423 10807291904 211893 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032219569 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=620] ppid=593 vsize=10553996 CPUtime=0.65 cores=1,3,5,7
/proc/605/task/620/stat : 620 (java) S 593 605 326 0 -1 4202560 8044 0 0 0 65 0 0 0 15 0 19 0 911999423 10807291904 211893 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=621] ppid=593 vsize=10553996 CPUtime=0.61 cores=1,3,5,7
/proc/605/task/621/stat : 621 (java) S 593 605 326 0 -1 4202560 4407 0 0 0 61 0 0 0 15 0 19 0 911999423 10807291904 211893 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=622] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/622/stat : 622 (java) S 593 605 326 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 911999423 10807291904 211894 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=623] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/623/stat : 623 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911999423 10807291904 211894 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032212480 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=624] ppid=593 vsize=10553996 CPUtime=0 cores=1,3,5,7
/proc/605/task/624/stat : 624 (java) S 593 605 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911999447 10807291904 211894 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032212480 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 10553996
[startup+6.30087 s]
/proc/loadavg: 2.25 2.06 1.72 3/364 624
/proc/meminfo: memFree=19734828/32951124 swapFree=67056304/67111528
[pid=605] ppid=593 vsize=10551484 CPUtime=7.65 cores=1,3,5,7
/proc/605/stat : 605 (java) S 593 605 326 0 -1 4202496 455554 0 1 0 713 52 0 0 25 0 19 0 911999417 10804719616 449703 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/605/statm: 2637871 449705 2228 9 0 2628605 0
[pid=605/tid=606] ppid=593 vsize=10551484 CPUtime=6.28 cores=1,3,5,7
/proc/605/task/606/stat : 606 (java) R 593 605 326 0 -1 4202560 441939 0 1 0 578 50 0 0 21 0 19 0 911999418 10804719616 449706 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 46912505822531 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=605/tid=608] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/608/stat : 608 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10804719616 449706 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=609] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/609/stat : 609 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10804719616 449707 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=610] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/610/stat : 610 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10804719616 449708 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=611] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/611/stat : 611 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10804719616 449709 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=612] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/612/stat : 612 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10804719616 449709 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=613] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/613/stat : 613 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10804719616 449710 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=614] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/614/stat : 614 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10804719616 449711 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=615] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/615/stat : 615 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999419 10804719616 449712 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=616] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/616/stat : 616 (java) S 593 605 326 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 911999420 10804719616 449713 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032212480 0 0 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=617] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/617/stat : 617 (java) S 593 605 326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911999421 10804719616 449713 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=618] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/618/stat : 618 (java) S 593 605 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911999421 10804719616 449714 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=619] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/619/stat : 619 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999423 10804719616 449715 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032219569 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=620] ppid=593 vsize=10551484 CPUtime=0.69 cores=1,3,5,7
/proc/605/task/620/stat : 620 (java) S 593 605 326 0 -1 4202560 8047 0 0 0 69 0 0 0 15 0 19 0 911999423 10804719616 449716 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=621] ppid=593 vsize=10551484 CPUtime=0.65 cores=1,3,5,7
/proc/605/task/621/stat : 621 (java) S 593 605 326 0 -1 4202560 4410 0 0 0 65 0 0 0 16 0 19 0 911999423 10804719616 449717 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=605/tid=624] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/624/stat : 624 (java) S 593 605 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911999447 10804719616 1016826 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032212480 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.67
Current children cumulated vsize (KiB) 10551484
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/364 670
/proc/meminfo: memFree=16336932/32951124 swapFree=67056304/67111528
[pid=605] ppid=593 vsize=10551484 CPUtime=1728.81 cores=1,3,5,7
/proc/605/stat : 605 (java) S 593 605 326 0 -1 4202496 1030251 0 1 0 172763 118 0 0 25 0 19 0 911999417 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/605/statm: 2637871 1019828 2257 9 0 2628605 0
[pid=605/tid=606] ppid=593 vsize=10551484 CPUtime=1719.58 cores=1,3,5,7
/proc/605/task/606/stat : 606 (java) R 593 605 326 0 -1 4202560 794084 0 1 0 171871 87 0 0 25 0 19 0 911999418 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 46912505847351 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=605/tid=608] ppid=593 vsize=10551484 CPUtime=0.85 cores=1,3,5,7
/proc/605/task/608/stat : 608 (java) S 593 605 326 0 -1 4202560 25975 0 0 0 83 2 0 0 16 0 19 0 911999419 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 3 0 0 0
[pid=605/tid=609] ppid=593 vsize=10551484 CPUtime=0.8 cores=1,3,5,7
/proc/605/task/609/stat : 609 (java) S 593 605 326 0 -1 4202560 26392 0 0 0 77 3 0 0 16 0 19 0 911999419 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 5 0 0 0
[pid=605/tid=610] ppid=593 vsize=10551484 CPUtime=0.85 cores=1,3,5,7
/proc/605/task/610/stat : 610 (java) S 593 605 326 0 -1 4202560 27019 0 0 0 81 4 0 0 15 0 19 0 911999419 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=611] ppid=593 vsize=10551484 CPUtime=0.85 cores=1,3,5,7
/proc/605/task/611/stat : 611 (java) S 593 605 326 0 -1 4202560 28808 0 0 0 82 3 0 0 16 0 19 0 911999419 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 5 0 0 0
[pid=605/tid=612] ppid=593 vsize=10551484 CPUtime=0.92 cores=1,3,5,7
/proc/605/task/612/stat : 612 (java) S 593 605 326 0 -1 4202560 24735 0 0 0 89 3 0 0 15 0 19 0 911999419 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=613] ppid=593 vsize=10551484 CPUtime=0.83 cores=1,3,5,7
/proc/605/task/613/stat : 613 (java) S 593 605 326 0 -1 4202560 25019 0 0 0 81 2 0 0 15 0 19 0 911999419 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=614] ppid=593 vsize=10551484 CPUtime=0.86 cores=1,3,5,7
/proc/605/task/614/stat : 614 (java) S 593 605 326 0 -1 4202560 31930 0 0 0 83 3 0 0 15 0 19 0 911999419 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=615] ppid=593 vsize=10551484 CPUtime=0.87 cores=1,3,5,7
/proc/605/task/615/stat : 615 (java) S 593 605 326 0 -1 4202560 31331 0 0 0 84 3 0 0 16 0 19 0 911999419 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 3 0 0 0
[pid=605/tid=616] ppid=593 vsize=10551484 CPUtime=0.54 cores=1,3,5,7
/proc/605/task/616/stat : 616 (java) S 593 605 326 0 -1 4202560 1193 0 0 0 54 0 0 0 15 0 19 0 911999420 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032212480 0 0 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=617] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/617/stat : 617 (java) S 593 605 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911999421 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=618] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/618/stat : 618 (java) S 593 605 326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911999421 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=619] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/619/stat : 619 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999423 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032219569 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=620] ppid=593 vsize=10551484 CPUtime=0.86 cores=1,3,5,7
/proc/605/task/620/stat : 620 (java) S 593 605 326 0 -1 4202560 8071 0 0 0 86 0 0 0 15 0 19 0 911999423 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=621] ppid=593 vsize=10551484 CPUtime=0.84 cores=1,3,5,7
/proc/605/task/621/stat : 621 (java) S 593 605 326 0 -1 4202560 4443 0 0 0 84 0 0 0 16 0 19 0 911999423 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=622] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/622/stat : 622 (java) S 593 605 326 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 911999423 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=623] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/623/stat : 623 (java) S 593 605 326 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 911999423 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032212480 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=624] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/624/stat : 624 (java) S 593 605 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911999447 10804719616 1019828 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032212480 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.81
Current children cumulated vsize (KiB) 10551484
[startup+1782.3 s]
/proc/loadavg: 1.93 2.00 1.92 3/364 720
/proc/meminfo: memFree=19455952/32951124 swapFree=67056304/67111528
[pid=605] ppid=593 vsize=10551484 CPUtime=1788.95 cores=1,3,5,7
/proc/605/stat : 605 (java) S 593 605 326 0 -1 4202496 1033325 0 1 0 178776 119 0 0 25 0 19 0 911999417 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/605/statm: 2637871 1022836 2257 9 0 2628605 0
[pid=605/tid=606] ppid=593 vsize=10551484 CPUtime=1779.53 cores=1,3,5,7
/proc/605/task/606/stat : 606 (java) R 593 605 326 0 -1 4202560 794086 0 1 0 177866 87 0 0 25 0 19 0 911999418 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 46912505823091 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=605/tid=608] ppid=593 vsize=10551484 CPUtime=0.88 cores=1,3,5,7
/proc/605/task/608/stat : 608 (java) S 593 605 326 0 -1 4202560 26551 0 0 0 85 3 0 0 15 0 19 0 911999419 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 3 0 0 0
[pid=605/tid=609] ppid=593 vsize=10551484 CPUtime=0.85 cores=1,3,5,7
/proc/605/task/609/stat : 609 (java) S 593 605 326 0 -1 4202560 27168 0 0 0 82 3 0 0 16 0 19 0 911999419 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 5 0 0 0
[pid=605/tid=610] ppid=593 vsize=10551484 CPUtime=0.85 cores=1,3,5,7
/proc/605/task/610/stat : 610 (java) S 593 605 326 0 -1 4202560 27019 0 0 0 81 4 0 0 15 0 19 0 911999419 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=611] ppid=593 vsize=10551484 CPUtime=0.85 cores=1,3,5,7
/proc/605/task/611/stat : 611 (java) S 593 605 326 0 -1 4202560 28808 0 0 0 82 3 0 0 15 0 19 0 911999419 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 5 0 0 0
[pid=605/tid=612] ppid=593 vsize=10551484 CPUtime=0.95 cores=1,3,5,7
/proc/605/task/612/stat : 612 (java) S 593 605 326 0 -1 4202560 25339 0 0 0 92 3 0 0 16 0 19 0 911999419 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 5 0 0 0
[pid=605/tid=613] ppid=593 vsize=10551484 CPUtime=0.85 cores=1,3,5,7
/proc/605/task/613/stat : 613 (java) S 593 605 326 0 -1 4202560 25074 0 0 0 83 2 0 0 16 0 19 0 911999419 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 3 0 0 0
[pid=605/tid=614] ppid=593 vsize=10551484 CPUtime=0.91 cores=1,3,5,7
/proc/605/task/614/stat : 614 (java) S 593 605 326 0 -1 4202560 32586 0 0 0 88 3 0 0 16 0 19 0 911999419 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=615] ppid=593 vsize=10551484 CPUtime=0.89 cores=1,3,5,7
/proc/605/task/615/stat : 615 (java) S 593 605 326 0 -1 4202560 31730 0 0 0 86 3 0 0 15 0 19 0 911999419 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=616] ppid=593 vsize=10551484 CPUtime=0.54 cores=1,3,5,7
/proc/605/task/616/stat : 616 (java) S 593 605 326 0 -1 4202560 1197 0 0 0 54 0 0 0 15 0 19 0 911999420 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032212480 0 0 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=617] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/617/stat : 617 (java) S 593 605 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911999421 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=618] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/618/stat : 618 (java) S 593 605 326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911999421 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=619] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/619/stat : 619 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999423 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032219569 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=620] ppid=593 vsize=10551484 CPUtime=0.86 cores=1,3,5,7
/proc/605/task/620/stat : 620 (java) S 593 605 326 0 -1 4202560 8071 0 0 0 86 0 0 0 15 0 19 0 911999423 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=621] ppid=593 vsize=10551484 CPUtime=0.84 cores=1,3,5,7
/proc/605/task/621/stat : 621 (java) S 593 605 326 0 -1 4202560 4443 0 0 0 84 0 0 0 16 0 19 0 911999423 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=622] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/622/stat : 622 (java) S 593 605 326 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 911999423 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=623] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/623/stat : 623 (java) S 593 605 326 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 911999423 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032212480 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=624] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/624/stat : 624 (java) S 593 605 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911999447 10804719616 1022836 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032212480 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.95
Current children cumulated vsize (KiB) 10551484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.4 s]
/proc/loadavg: 1.94 2.00 1.92 3/364 720
/proc/meminfo: memFree=17355980/32951124 swapFree=67056304/67111528
[pid=605] ppid=593 vsize=10551484 CPUtime=1800.13 cores=1,3,5,7
/proc/605/stat : 605 (java) S 593 605 326 0 -1 4202496 1035007 0 1 0 179894 119 0 0 25 0 19 0 911999417 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/605/statm: 2637871 1024482 2257 9 0 2628605 0
[pid=605/tid=606] ppid=593 vsize=10551484 CPUtime=1790.61 cores=1,3,5,7
/proc/605/task/606/stat : 606 (java) R 593 605 326 0 -1 4202560 794087 0 1 0 178974 87 0 0 25 0 19 0 911999418 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 46912505823360 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=605/tid=608] ppid=593 vsize=10551484 CPUtime=0.88 cores=1,3,5,7
/proc/605/task/608/stat : 608 (java) S 593 605 326 0 -1 4202560 26551 0 0 0 85 3 0 0 15 0 19 0 911999419 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 3 0 0 0
[pid=605/tid=609] ppid=593 vsize=10551484 CPUtime=0.85 cores=1,3,5,7
/proc/605/task/609/stat : 609 (java) S 593 605 326 0 -1 4202560 27168 0 0 0 82 3 0 0 15 0 19 0 911999419 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 5 0 0 0
[pid=605/tid=610] ppid=593 vsize=10551484 CPUtime=0.88 cores=1,3,5,7
/proc/605/task/610/stat : 610 (java) S 593 605 326 0 -1 4202560 27435 0 0 0 84 4 0 0 16 0 19 0 911999419 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=611] ppid=593 vsize=10551484 CPUtime=0.87 cores=1,3,5,7
/proc/605/task/611/stat : 611 (java) S 593 605 326 0 -1 4202560 29151 0 0 0 84 3 0 0 16 0 19 0 911999419 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 5 0 0 0
[pid=605/tid=612] ppid=593 vsize=10551484 CPUtime=0.95 cores=1,3,5,7
/proc/605/task/612/stat : 612 (java) S 593 605 326 0 -1 4202560 25339 0 0 0 92 3 0 0 15 0 19 0 911999419 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 5 0 0 0
[pid=605/tid=613] ppid=593 vsize=10551484 CPUtime=0.88 cores=1,3,5,7
/proc/605/task/613/stat : 613 (java) S 593 605 326 0 -1 4202560 25631 0 0 0 86 2 0 0 16 0 19 0 911999419 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 3 0 0 0
[pid=605/tid=614] ppid=593 vsize=10551484 CPUtime=0.94 cores=1,3,5,7
/proc/605/task/614/stat : 614 (java) S 593 605 326 0 -1 4202560 32947 0 0 0 91 3 0 0 16 0 19 0 911999419 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=615] ppid=593 vsize=10551484 CPUtime=0.89 cores=1,3,5,7
/proc/605/task/615/stat : 615 (java) S 593 605 326 0 -1 4202560 31730 0 0 0 86 3 0 0 15 0 19 0 911999419 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=616] ppid=593 vsize=10551484 CPUtime=0.54 cores=1,3,5,7
/proc/605/task/616/stat : 616 (java) S 593 605 326 0 -1 4202560 1199 0 0 0 54 0 0 0 16 0 19 0 911999420 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032212480 0 0 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=617] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/617/stat : 617 (java) S 593 605 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911999421 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=618] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/618/stat : 618 (java) S 593 605 326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911999421 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=619] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/619/stat : 619 (java) S 593 605 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911999423 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032219569 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=620] ppid=593 vsize=10551484 CPUtime=0.86 cores=1,3,5,7
/proc/605/task/620/stat : 620 (java) S 593 605 326 0 -1 4202560 8071 0 0 0 86 0 0 0 15 0 19 0 911999423 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=621] ppid=593 vsize=10551484 CPUtime=0.84 cores=1,3,5,7
/proc/605/task/621/stat : 621 (java) S 593 605 326 0 -1 4202560 4443 0 0 0 84 0 0 0 16 0 19 0 911999423 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=622] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/622/stat : 622 (java) S 593 605 326 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 911999423 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032211865 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
[pid=605/tid=623] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/623/stat : 623 (java) S 593 605 326 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 911999423 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032212480 0 4 0 16800975 18446604455498075072 0 0 -1 1 0 0 0
[pid=605/tid=624] ppid=593 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/605/task/624/stat : 624 (java) S 593 605 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911999447 10804719616 1024482 33554432000 1073741824 1073778376 140734495273184 18446744073709551615 260032212480 0 4 0 16800975 18446604455498075072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10551484
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.52 s]
/proc/loadavg: 1.94 2.00 1.92 3/364 720
/proc/meminfo: memFree=17355980/32951124 swapFree=67056304/67111528
[pid=605] ppid=593 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/605/stat : 605 (java) Z 593 605 326 0 -1 4203548 1035044 0 1 0 179902 124 0 0 17 0 2 0 911999417 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/605/statm: 0 0 0 0 0 0 0
[pid=605/tid=612] ppid=593 vsize=0 CPUtime=1 cores=1,3,5,7
/proc/605/task/612/stat : 612 (java) R 593 605 326 0 -1 4203588 25339 0 0 0 92 8 0 0 15 0 2 0 911999419 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
[startup+1793.6 s]
/proc/loadavg: 1.94 2.00 1.92 3/364 720
/proc/meminfo: memFree=17355980/32951124 swapFree=67056304/67111528
[pid=605] ppid=593 vsize=0 CPUtime=1800.35 cores=1,3,5,7
/proc/605/stat : 605 (java) Z 593 605 326 0 -1 4203548 1035044 0 1 0 179902 133 0 0 17 0 2 0 911999417 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/605/statm: 0 0 0 0 0 0 0
[pid=605/tid=612] ppid=593 vsize=0 CPUtime=1.09 cores=1,3,5,7
/proc/605/task/612/stat : 612 (java) R 593 605 326 0 -1 4203588 25339 0 0 0 92 17 0 0 15 0 2 0 911999419 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.62
CPU time (s): 1800.37
CPU user time (s): 1799.03
CPU system time (s): 1.3458
CPU usage (%): 100.377
Max. virtual memory (cumulated for all children) (KiB): 10553996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.34579
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1035044
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= 38670
involuntary context switches= 17281
runsolver used 5.95109 second user time and 13.6479 second system time
The end