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-3453557-1307196167/watcher-3453557-1307196167 -o /tmp/evaluation-result-3453557-1307196167/solver-3453557-1307196167 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453557-1307196167.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: 0.92 1.02 1.42 2/452 30661
/proc/meminfo: memFree=24539420/32951124 swapFree=60476376/67111528
[pid=30661] ppid=30659 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30661/stat : 30661 (java) S 30659 30661 30629 0 -1 4202496 5330 0 1 0 0 0 0 0 25 0 2 0 812032617 10694979584 5032 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/30661/statm: 2611079 5046 917 9 0 2602235 0
[pid=30661/tid=30662] ppid=30659 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30662/stat : 30662 (java) R 30659 30661 30629 0 -1 4202560 4275 0 1 0 0 0 0 0 25 0 2 0 812032617 10694979584 5091 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0625571 s]
/proc/loadavg: 0.92 1.02 1.42 2/452 30661
/proc/meminfo: memFree=24539420/32951124 swapFree=60476376/67111528
[pid=30661] ppid=30659 vsize=10472784 CPUtime=0.04 cores=1,3,5,7
/proc/30661/stat : 30661 (java) S 30659 30661 30629 0 -1 4202496 11627 0 1 0 3 1 0 0 25 0 18 0 812032617 10724130816 11324 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30661/statm: 2618196 11326 1729 9 0 2608937 0
[pid=30661/tid=30662] ppid=30659 vsize=10472784 CPUtime=0.04 cores=1,3,5,7
/proc/30661/task/30662/stat : 30662 (java) R 30659 30661 30629 0 -1 4202560 10455 0 1 0 3 1 0 0 25 0 18 0 812032617 10724130816 11327 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 47117679491059 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10472784
[startup+0.100537 s]
/proc/loadavg: 0.92 1.02 1.42 2/452 30661
/proc/meminfo: memFree=24539420/32951124 swapFree=60476376/67111528
[pid=30661] ppid=30659 vsize=10605428 CPUtime=0.1 cores=1,3,5,7
/proc/30661/stat : 30661 (java) S 30659 30661 30629 0 -1 4202496 13068 0 1 0 9 1 0 0 25 0 18 0 812032617 10859958272 12730 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30661/statm: 2651357 12731 2093 9 0 2642091 0
[pid=30661/tid=30662] ppid=30659 vsize=10605428 CPUtime=0.08 cores=1,3,5,7
/proc/30661/task/30662/stat : 30662 (java) R 30659 30661 30629 0 -1 4202560 11132 0 1 0 7 1 0 0 18 0 18 0 812032617 10859958272 12731 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 47117677121443 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605428
[startup+0.300505 s]
/proc/loadavg: 0.92 1.02 1.42 2/452 30661
/proc/meminfo: memFree=24539420/32951124 swapFree=60476376/67111528
[pid=30661] ppid=30659 vsize=10606860 CPUtime=0.47 cores=1,3,5,7
/proc/30661/stat : 30661 (java) S 30659 30661 30629 0 -1 4202496 16014 0 1 0 45 2 0 0 25 0 18 0 812032617 10861424640 15333 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30661/statm: 2651715 15334 2199 9 0 2642449 0
[pid=30661/tid=30662] ppid=30659 vsize=10606860 CPUtime=0.28 cores=1,3,5,7
/proc/30661/task/30662/stat : 30662 (java) R 30659 30661 30629 0 -1 4202560 13047 0 1 0 26 2 0 0 18 0 18 0 812032617 10861424640 15334 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 46912505552790 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10606860
[startup+0.700433 s]
/proc/loadavg: 0.92 1.02 1.42 2/452 30661
/proc/meminfo: memFree=24539420/32951124 swapFree=60476376/67111528
[pid=30661] ppid=30659 vsize=10615680 CPUtime=1.34 cores=1,3,5,7
/proc/30661/stat : 30661 (java) S 30659 30661 30629 0 -1 4202496 39599 0 1 0 129 5 0 0 25 0 19 0 812032617 10870456320 36787 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30661/statm: 2653920 36787 2236 9 0 2644654 0
[pid=30661/tid=30662] ppid=30659 vsize=10615680 CPUtime=0.54 cores=1,3,5,7
/proc/30661/task/30662/stat : 30662 (java) S 30659 30661 30629 0 -1 4202560 31950 0 1 0 50 4 0 0 19 0 19 0 812032617 10870456320 36787 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 4 0 16800975 18446604470138152000 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 10615680
[startup+1.5013 s]
/proc/loadavg: 0.92 1.02 1.42 1/492 30710
/proc/meminfo: memFree=24172496/32951124 swapFree=60476376/67111528
[pid=30661] ppid=30659 vsize=10615680 CPUtime=1.65 cores=1,3,5,7
/proc/30661/stat : 30661 (java) S 30659 30661 30629 0 -1 4202496 44139 0 1 0 160 5 0 0 25 0 19 0 812032617 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30661/statm: 2653920 38577 2236 9 0 2644654 0
[pid=30661/tid=30662] ppid=30659 vsize=10615680 CPUtime=0.55 cores=1,3,5,7
/proc/30661/task/30662/stat : 30662 (java) S 30659 30661 30629 0 -1 4202560 32004 0 1 0 51 4 0 0 17 0 19 0 812032617 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 4 0 16800975 18446604470138152000 0 0 -1 1 0 0 0
[pid=30661/tid=30670] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30670/stat : 30670 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812032619 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30671] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30671/stat : 30671 (java) S 30659 30661 30629 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 812032619 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30672] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30672/stat : 30672 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812032619 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30673] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30673/stat : 30673 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812032619 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30674] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30674/stat : 30674 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812032619 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30675] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30675/stat : 30675 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812032619 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30676] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30676/stat : 30676 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812032619 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30677] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30677/stat : 30677 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812032619 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30678] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30678/stat : 30678 (java) S 30659 30661 30629 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 812032620 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 0 0 16800975 18446604470138152000 0 0 -1 1 0 0 0
[pid=30661/tid=30688] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30688/stat : 30688 (java) S 30659 30661 30629 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 812032620 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30689] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30689/stat : 30689 (java) S 30659 30661 30629 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 812032620 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30693] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30693/stat : 30693 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812032623 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828060081 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30694] ppid=30659 vsize=10615680 CPUtime=0.44 cores=1,3,5,7
/proc/30661/task/30694/stat : 30694 (java) S 30659 30661 30629 0 -1 4202560 6055 0 0 0 44 0 0 0 16 0 19 0 812032623 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30695] ppid=30659 vsize=10615680 CPUtime=0.47 cores=1,3,5,7
/proc/30661/task/30695/stat : 30695 (java) S 30659 30661 30629 0 -1 4202560 4283 0 0 0 47 0 0 0 16 0 19 0 812032623 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30696] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30696/stat : 30696 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812032623 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30697] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30697/stat : 30697 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 812032623 10870456320 38577 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10615680
[startup+3.10095 s]
/proc/loadavg: 1.17 1.07 1.44 6/495 30726
/proc/meminfo: memFree=24132792/32951124 swapFree=60476376/67111528
[pid=30661] ppid=30659 vsize=10615680 CPUtime=2.74 cores=1,3,5,7
/proc/30661/stat : 30661 (java) S 30659 30661 30629 0 -1 4202496 54287 0 1 0 268 6 0 0 25 0 22 0 812032617 10870456320 46233 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30661/statm: 2653920 46235 2242 9 0 2644654 0
[pid=30661/tid=30662] ppid=30659 vsize=10615680 CPUtime=0.55 cores=1,3,5,7
/proc/30661/task/30662/stat : 30662 (java) S 30659 30661 30629 0 -1 4202560 32056 0 1 0 51 4 0 0 16 0 22 0 812032617 10870456320 46235 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 4 0 16800975 18446604470138152000 0 0 -1 1 0 0 0
[pid=30661/tid=30670] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30670/stat : 30670 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812032619 10870456320 46236 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30671] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30671/stat : 30671 (java) S 30659 30661 30629 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 812032619 10870456320 46237 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30672] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30672/stat : 30672 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812032619 10870456320 46237 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30673] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30673/stat : 30673 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812032619 10870456320 46238 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30674] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30674/stat : 30674 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812032619 10870456320 46239 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30675] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30675/stat : 30675 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812032619 10870456320 46239 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30676] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30676/stat : 30676 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812032619 10870456320 46240 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30677] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30677/stat : 30677 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812032619 10870456320 46241 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30678] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30678/stat : 30678 (java) S 30659 30661 30629 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 812032620 10870456320 46241 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 0 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30688] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30688/stat : 30688 (java) S 30659 30661 30629 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 812032620 10870456320 46242 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30689] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30689/stat : 30689 (java) S 30659 30661 30629 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812032620 10870456320 46242 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30693] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30693/stat : 30693 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812032623 10870456320 46243 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828060081 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30694] ppid=30659 vsize=10615680 CPUtime=0.8 cores=1,3,5,7
/proc/30661/task/30694/stat : 30694 (java) R 30659 30661 30629 0 -1 4202560 7849 0 0 0 80 0 0 0 15 0 22 0 812032623 10870456320 46243 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 47117675633744 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30661/tid=30695] ppid=30659 vsize=10615680 CPUtime=0.78 cores=1,3,5,7
/proc/30661/task/30695/stat : 30695 (java) S 30659 30661 30629 0 -1 4202560 5901 0 0 0 78 0 0 0 15 0 22 0 812032623 10870456320 46244 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30696] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30696/stat : 30696 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812032623 10870456320 46247 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30697] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30697/stat : 30697 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812032623 10870456320 46250 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30713] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30713/stat : 30713 (java) S 30659 30661 30629 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 812032724 10870456320 46252 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 10615680
[startup+6.30136 s]
/proc/loadavg: 1.17 1.07 1.44 3/495 30765
/proc/meminfo: memFree=23748716/32951124 swapFree=60476376/67111528
[pid=30661] ppid=30659 vsize=10615680 CPUtime=5.18 cores=1,3,5,7
/proc/30661/stat : 30661 (java) S 30659 30661 30629 0 -1 4202496 118636 0 1 0 503 15 0 0 25 0 22 0 812032617 10870456320 107597 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30661/statm: 2653920 107629 2268 9 0 2644654 0
[pid=30661/tid=30662] ppid=30659 vsize=10615680 CPUtime=0.56 cores=1,3,5,7
/proc/30661/task/30662/stat : 30662 (java) S 30659 30661 30629 0 -1 4202560 32071 0 1 0 52 4 0 0 16 0 22 0 812032617 10870456320 107649 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30670] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30670/stat : 30670 (java) S 30659 30661 30629 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 812032619 10870456320 107670 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30671] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30671/stat : 30671 (java) S 30659 30661 30629 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 22 0 812032619 10870456320 107690 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 1 0 0 0
[pid=30661/tid=30672] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30672/stat : 30672 (java) S 30659 30661 30629 0 -1 4202560 373 0 0 0 0 0 0 0 15 0 22 0 812032619 10870456320 107711 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30673] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30673/stat : 30673 (java) S 30659 30661 30629 0 -1 4202560 588 0 0 0 0 0 0 0 18 0 22 0 812032619 10870456320 107730 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30674] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30674/stat : 30674 (java) S 30659 30661 30629 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 22 0 812032619 10870456320 107750 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30675] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30675/stat : 30675 (java) S 30659 30661 30629 0 -1 4202560 516 0 0 0 0 0 0 0 16 0 22 0 812032619 10870456320 107771 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 1 0 0 0
[pid=30661/tid=30676] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30676/stat : 30676 (java) S 30659 30661 30629 0 -1 4202560 562 0 0 0 0 0 0 0 15 0 22 0 812032619 10870456320 107787 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30677] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30677/stat : 30677 (java) S 30659 30661 30629 0 -1 4202560 267 0 0 0 0 0 0 0 16 0 22 0 812032619 10870456320 107797 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30678] ppid=30659 vsize=10615680 CPUtime=0.11 cores=1,3,5,7
/proc/30661/task/30678/stat : 30678 (java) S 30659 30661 30629 0 -1 4202560 2862 0 0 0 11 0 0 0 16 0 22 0 812032620 10870456320 107797 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 0 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30688] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30688/stat : 30688 (java) S 30659 30661 30629 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 812032620 10870456320 107797 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30689] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30689/stat : 30689 (java) S 30659 30661 30629 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 812032620 10870456320 107797 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30693] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30693/stat : 30693 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812032623 10870456320 107797 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828060081 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30694] ppid=30659 vsize=10615680 CPUtime=0.98 cores=1,3,5,7
/proc/30661/task/30694/stat : 30694 (java) R 30659 30661 30629 0 -1 4202560 8468 0 0 0 98 0 0 0 15 0 22 0 812032623 10870456320 107797 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 47117677403590 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30661/tid=30695] ppid=30659 vsize=10615680 CPUtime=0.97 cores=1,3,5,7
/proc/30661/task/30695/stat : 30695 (java) S 30659 30661 30629 0 -1 4202560 8847 0 0 0 96 1 0 0 15 0 22 0 812032623 10870456320 107797 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30696] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30696/stat : 30696 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812032623 10870456320 107797 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30697] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30697/stat : 30697 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812032623 10870456320 107797 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30713] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30713/stat : 30713 (java) S 30659 30661 30629 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 812032724 10870456320 107803 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 10615680
Solver just ended. Dumping a history of the last processes samples
[startup+7.90109 s]
/proc/loadavg: 1.31 1.11 1.44 4/498 30777
/proc/meminfo: memFree=23457692/32951124 swapFree=60476376/67111528
[pid=30661] ppid=30659 vsize=10615680 CPUtime=7.87 cores=1,3,5,7
/proc/30661/stat : 30661 (java) S 30659 30661 30629 0 -1 4202496 137182 0 1 0 770 17 0 0 25 0 22 0 812032617 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30661/statm: 2653920 125609 2269 9 0 2644654 0
[pid=30661/tid=30662] ppid=30659 vsize=10615680 CPUtime=0.56 cores=1,3,5,7
/proc/30661/task/30662/stat : 30662 (java) S 30659 30661 30629 0 -1 4202560 32072 0 1 0 52 4 0 0 15 0 22 0 812032617 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 4 0 16800975 18446604470138152000 0 0 -1 1 0 0 0
[pid=30661/tid=30670] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30670/stat : 30670 (java) S 30659 30661 30629 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 812032619 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 1 0 0 0
[pid=30661/tid=30671] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30671/stat : 30671 (java) S 30659 30661 30629 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 22 0 812032619 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 1 0 0 0
[pid=30661/tid=30672] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30672/stat : 30672 (java) S 30659 30661 30629 0 -1 4202560 374 0 0 0 0 0 0 0 15 0 22 0 812032619 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30673] ppid=30659 vsize=10615680 CPUtime=0.01 cores=1,3,5,7
/proc/30661/task/30673/stat : 30673 (java) S 30659 30661 30629 0 -1 4202560 589 0 0 0 1 0 0 0 15 0 22 0 812032619 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 1 0 0 0
[pid=30661/tid=30674] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30674/stat : 30674 (java) S 30659 30661 30629 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 22 0 812032619 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30675] ppid=30659 vsize=10615680 CPUtime=0.01 cores=1,3,5,7
/proc/30661/task/30675/stat : 30675 (java) S 30659 30661 30629 0 -1 4202560 517 0 0 0 1 0 0 0 15 0 22 0 812032619 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30676] ppid=30659 vsize=10615680 CPUtime=0.01 cores=1,3,5,7
/proc/30661/task/30676/stat : 30676 (java) S 30659 30661 30629 0 -1 4202560 563 0 0 0 1 0 0 0 15 0 22 0 812032619 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30677] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30677/stat : 30677 (java) S 30659 30661 30629 0 -1 4202560 267 0 0 0 0 0 0 0 15 0 22 0 812032619 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30678] ppid=30659 vsize=10615680 CPUtime=0.24 cores=1,3,5,7
/proc/30661/task/30678/stat : 30678 (java) S 30659 30661 30629 0 -1 4202560 3315 0 0 0 24 0 0 0 15 0 22 0 812032620 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 0 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30688] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30688/stat : 30688 (java) S 30659 30661 30629 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 812032620 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30689] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30689/stat : 30689 (java) S 30659 30661 30629 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 812032620 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30693] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30693/stat : 30693 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812032623 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828060081 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30694] ppid=30659 vsize=10615680 CPUtime=1.15 cores=1,3,5,7
/proc/30661/task/30694/stat : 30694 (java) S 30659 30661 30629 0 -1 4202560 10155 0 0 0 115 0 0 0 15 0 22 0 812032623 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30695] ppid=30659 vsize=10615680 CPUtime=0.98 cores=1,3,5,7
/proc/30661/task/30695/stat : 30695 (java) S 30659 30661 30629 0 -1 4202560 8848 0 0 0 97 1 0 0 15 0 22 0 812032623 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30696] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30696/stat : 30696 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812032623 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30697] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30697/stat : 30697 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812032623 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 4 0 16800975 18446604470138152000 0 0 -1 1 0 0 0
[pid=30661/tid=30713] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30713/stat : 30713 (java) S 30659 30661 30629 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 812032724 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30775] ppid=30659 vsize=10615680 CPUtime=1.13 cores=1,3,5,7
/proc/30661/task/30775/stat : 30775 (java) R 30659 30661 30629 0 -1 4202560 125 0 0 0 113 0 0 0 16 0 22 0 812033278 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 46912505785307 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30661/tid=30776] ppid=30659 vsize=10615680 CPUtime=1.13 cores=1,3,5,7
/proc/30661/task/30776/stat : 30776 (java) R 30659 30661 30629 0 -1 4202560 16073 0 0 0 112 1 0 0 17 0 22 0 812033278 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 46912505922816 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30661/tid=30777] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30777/stat : 30777 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 812033279 10870456320 125609 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.87
Current children cumulated vsize (KiB) 10615680
[startup+8.30103 s]
/proc/loadavg: 1.31 1.11 1.44 4/498 30777
/proc/meminfo: memFree=23457692/32951124 swapFree=60476376/67111528
[pid=30661] ppid=30659 vsize=10615680 CPUtime=8.58 cores=1,3,5,7
/proc/30661/stat : 30661 (java) S 30659 30661 30629 0 -1 4202496 137493 0 1 0 841 17 0 0 25 0 19 0 812032617 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30661/statm: 2653920 125919 2269 9 0 2644654 0
[pid=30661/tid=30662] ppid=30659 vsize=10615680 CPUtime=0.56 cores=1,3,5,7
/proc/30661/task/30662/stat : 30662 (java) S 30659 30661 30629 0 -1 4202560 32072 0 1 0 52 4 0 0 15 0 19 0 812032617 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 4 0 16800975 18446604470138152000 0 0 -1 1 0 0 0
[pid=30661/tid=30670] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30670/stat : 30670 (java) S 30659 30661 30629 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 812032619 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 1 0 0 0
[pid=30661/tid=30671] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30671/stat : 30671 (java) S 30659 30661 30629 0 -1 4202560 160 0 0 0 0 0 0 0 16 0 19 0 812032619 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30672] ppid=30659 vsize=10615680 CPUtime=0.01 cores=1,3,5,7
/proc/30661/task/30672/stat : 30672 (java) S 30659 30661 30629 0 -1 4202560 374 0 0 0 1 0 0 0 16 0 19 0 812032619 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30673] ppid=30659 vsize=10615680 CPUtime=0.01 cores=1,3,5,7
/proc/30661/task/30673/stat : 30673 (java) S 30659 30661 30629 0 -1 4202560 589 0 0 0 1 0 0 0 16 0 19 0 812032619 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 1 0 0 0
[pid=30661/tid=30674] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30674/stat : 30674 (java) S 30659 30661 30629 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 19 0 812032619 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30675] ppid=30659 vsize=10615680 CPUtime=0.01 cores=1,3,5,7
/proc/30661/task/30675/stat : 30675 (java) S 30659 30661 30629 0 -1 4202560 517 0 0 0 1 0 0 0 15 0 19 0 812032619 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30676] ppid=30659 vsize=10615680 CPUtime=0.01 cores=1,3,5,7
/proc/30661/task/30676/stat : 30676 (java) S 30659 30661 30629 0 -1 4202560 563 0 0 0 1 0 0 0 15 0 19 0 812032619 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30677] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30677/stat : 30677 (java) S 30659 30661 30629 0 -1 4202560 267 0 0 0 0 0 0 0 16 0 19 0 812032619 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
[pid=30661/tid=30678] ppid=30659 vsize=10615680 CPUtime=0.29 cores=1,3,5,7
/proc/30661/task/30678/stat : 30678 (java) S 30659 30661 30629 0 -1 4202560 3625 0 0 0 29 0 0 0 15 0 19 0 812032620 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 0 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30688] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30688/stat : 30688 (java) S 30659 30661 30629 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 812032620 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30689] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30689/stat : 30689 (java) S 30659 30661 30629 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 812032620 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30693] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30693/stat : 30693 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812032623 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828060081 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30694] ppid=30659 vsize=10615680 CPUtime=1.15 cores=1,3,5,7
/proc/30661/task/30694/stat : 30694 (java) S 30659 30661 30629 0 -1 4202560 10155 0 0 0 115 0 0 0 15 0 19 0 812032623 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 5 0 0 0
[pid=30661/tid=30695] ppid=30659 vsize=10615680 CPUtime=0.98 cores=1,3,5,7
/proc/30661/task/30695/stat : 30695 (java) S 30659 30661 30629 0 -1 4202560 8848 0 0 0 97 1 0 0 15 0 19 0 812032623 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30696] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30696/stat : 30696 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 812032623 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052377 0 4 0 16800975 18446604470138152000 0 0 -1 3 0 0 0
[pid=30661/tid=30697] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30697/stat : 30697 (java) S 30659 30661 30629 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 812032623 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 4 0 16800975 18446604470138152000 0 0 -1 1 0 0 0
[pid=30661/tid=30713] ppid=30659 vsize=10615680 CPUtime=0 cores=1,3,5,7
/proc/30661/task/30713/stat : 30713 (java) S 30659 30661 30629 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 812032724 10870456320 125919 33554432000 1073741824 1073778376 140737004107872 18446744073709551615 220828052992 0 4 0 16800975 18446604470138152000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.58
Current children cumulated vsize (KiB) 10615680
[startup+8.70098 s]
/proc/loadavg: 1.31 1.11 1.44 4/478 30778
/proc/meminfo: memFree=23756564/32951124 swapFree=60476376/67111528
[pid=30661] ppid=30659 vsize=0 CPUtime=8.65 cores=1,3,5,7
/proc/30661/stat : 30661 (java) Z 30659 30661 30629 0 -1 4203548 137498 0 1 0 846 19 0 0 18 0 1 0 812032617 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30661/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.65
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 8.7177
CPU time (s): 8.66468
CPU user time (s): 8.46771
CPU system time (s): 0.19697
CPU usage (%): 99.3919
Max. virtual memory (cumulated for all children) (KiB): 10615680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.46771
system time used= 0.19697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137498
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= 1040
involuntary context switches= 272
runsolver used 0.041993 second user time and 0.112982 second system time
The end