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-3454718-1307186669/watcher-3454718-1307186669 -o /tmp/evaluation-result-3454718-1307186669/solver-3454718-1307186669 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454718-1307186669.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: 3.41 2.03 1.87 4/509 20618
/proc/meminfo: memFree=20769284/32951124 swapFree=46575304/67111528
[pid=20618] ppid=20616 vsize=24004 CPUtime=0 cores=1,3,5,7
/proc/20618/stat : 20618 (java) R 20616 20618 17058 0 -1 4202496 1139 0 0 0 0 0 0 0 25 0 2 0 562858149 24580096 877 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268660718577 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/20618/statm: 6001 877 664 9 0 381 0
[pid=20618/tid=20619] ppid=20616 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20619/stat : 20619 (java) R 20616 20618 17058 0 -1 4202560 5193 0 1 0 0 0 0 0 25 0 2 0 562858150 10694979584 6009 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.087714 s]
/proc/loadavg: 3.41 2.03 1.87 4/509 20618
/proc/meminfo: memFree=20769284/32951124 swapFree=46575304/67111528
[pid=20618] ppid=20616 vsize=10539964 CPUtime=0.08 cores=1,3,5,7
/proc/20618/stat : 20618 (java) S 20616 20618 17058 0 -1 4202496 12759 0 1 0 7 1 0 0 25 0 18 0 562858149 10792923136 12457 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20618/statm: 2634991 12457 2050 9 0 2625725 0
[pid=20618/tid=20619] ppid=20616 vsize=10539964 CPUtime=0.07 cores=1,3,5,7
/proc/20618/task/20619/stat : 20619 (java) R 20616 20618 17058 0 -1 4202560 10937 0 1 0 6 1 0 0 25 0 18 0 562858150 10792923136 12458 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 46949483633491 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539964
[startup+0.100758 s]
/proc/loadavg: 3.41 2.03 1.87 4/509 20618
/proc/meminfo: memFree=20769284/32951124 swapFree=46575304/67111528
[pid=20618] ppid=20616 vsize=10540112 CPUtime=0.1 cores=1,3,5,7
/proc/20618/stat : 20618 (java) S 20616 20618 17058 0 -1 4202496 13032 0 1 0 8 2 0 0 25 0 18 0 562858149 10793074688 12730 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20618/statm: 2635028 12730 2092 9 0 2625762 0
[pid=20618/tid=20619] ppid=20616 vsize=10540112 CPUtime=0.08 cores=1,3,5,7
/proc/20618/task/20619/stat : 20619 (java) R 20616 20618 17058 0 -1 4202560 11107 0 1 0 7 1 0 0 25 0 18 0 562858150 10793074688 12731 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 46949479399099 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540112
[startup+0.300678 s]
/proc/loadavg: 3.41 2.03 1.87 4/509 20618
/proc/meminfo: memFree=20769284/32951124 swapFree=46575304/67111528
[pid=20618] ppid=20616 vsize=10614428 CPUtime=0.65 cores=1,3,5,7
/proc/20618/stat : 20618 (java) S 20616 20618 17058 0 -1 4202496 17594 0 1 0 62 3 0 0 25 0 22 0 562858149 10869174272 16188 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20618/statm: 2653607 16189 2211 9 0 2644341 0
[pid=20618/tid=20619] ppid=20616 vsize=10614428 CPUtime=0.15 cores=1,3,5,7
/proc/20618/task/20619/stat : 20619 (java) S 20616 20618 17058 0 -1 4202560 11708 0 1 0 14 1 0 0 25 0 22 0 562858150 10869174272 16189 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 10614428
[startup+0.700607 s]
/proc/loadavg: 3.41 2.03 1.87 4/509 20618
/proc/meminfo: memFree=20769284/32951124 swapFree=46575304/67111528
[pid=20618] ppid=20616 vsize=10626020 CPUtime=2.2 cores=1,3,5,7
/proc/20618/stat : 20618 (java) S 20616 20618 17058 0 -1 4202496 38268 0 1 0 214 6 0 0 25 0 22 0 562858149 10881044480 34905 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20618/statm: 2656505 34906 2254 9 0 2647239 0
[pid=20618/tid=20619] ppid=20616 vsize=10626020 CPUtime=0.15 cores=1,3,5,7
/proc/20618/task/20619/stat : 20619 (java) R 20616 20618 17058 0 -1 4202560 11708 0 1 0 14 1 0 0 20 0 22 0 562858150 10881044480 34906 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 10626020
[startup+1.50147 s]
/proc/loadavg: 3.41 2.03 1.87 7/531 20640
/proc/meminfo: memFree=20549148/32951124 swapFree=46575304/67111528
[pid=20618] ppid=20616 vsize=10626020 CPUtime=4.33 cores=1,3,5,7
/proc/20618/stat : 20618 (java) S 20616 20618 17058 0 -1 4202496 79825 0 1 0 422 11 0 0 25 0 22 0 562858149 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20618/statm: 2656505 72746 2257 9 0 2647239 0
[pid=20618/tid=20619] ppid=20616 vsize=10626020 CPUtime=0.15 cores=1,3,5,7
/proc/20618/task/20619/stat : 20619 (java) S 20616 20618 17058 0 -1 4202560 11708 0 1 0 14 1 0 0 15 0 22 0 562858150 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 18446604464538568640 0 0 -1 3 0 0 0
[pid=20618/tid=20621] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20621/stat : 20621 (java) S 20616 20618 17058 0 -1 4202560 336 0 0 0 0 0 0 0 15 0 22 0 562858151 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
[pid=20618/tid=20622] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20622/stat : 20622 (java) S 20616 20618 17058 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 562858151 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
[pid=20618/tid=20623] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20623/stat : 20623 (java) S 20616 20618 17058 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 22 0 562858151 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 3 0 0 0
[pid=20618/tid=20624] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20624/stat : 20624 (java) S 20616 20618 17058 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 22 0 562858151 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 3 0 0 0
[pid=20618/tid=20625] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20625/stat : 20625 (java) S 20616 20618 17058 0 -1 4202560 84 0 0 0 0 0 0 0 16 0 22 0 562858151 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 3 0 0 0
[pid=20618/tid=20626] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20626/stat : 20626 (java) S 20616 20618 17058 0 -1 4202560 116 0 0 0 0 0 0 0 15 0 22 0 562858151 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 3 0 0 0
[pid=20618/tid=20627] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20627/stat : 20627 (java) S 20616 20618 17058 0 -1 4202560 158 0 0 0 0 0 0 0 16 0 22 0 562858151 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
[pid=20618/tid=20628] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20628/stat : 20628 (java) S 20616 20618 17058 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 22 0 562858151 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20629] ppid=20616 vsize=10626020 CPUtime=0.07 cores=1,3,5,7
/proc/20618/task/20629/stat : 20629 (java) S 20616 20618 17058 0 -1 4202560 1495 0 0 0 7 0 0 0 16 0 22 0 562858152 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 0 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20630] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20630/stat : 20630 (java) S 20616 20618 17058 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 562858153 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20631] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20631/stat : 20631 (java) S 20616 20618 17058 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 22 0 562858153 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20632] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20632/stat : 20632 (java) S 20616 20618 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562858155 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672485809 0 4 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20633] ppid=20616 vsize=10626020 CPUtime=0.82 cores=1,3,5,7
/proc/20618/task/20633/stat : 20633 (java) S 20616 20618 17058 0 -1 4202560 9232 0 0 0 80 2 0 0 21 0 22 0 562858155 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20634] ppid=20616 vsize=10626020 CPUtime=0.79 cores=1,3,5,7
/proc/20618/task/20634/stat : 20634 (java) R 20616 20618 17058 0 -1 4202560 5241 0 0 0 79 0 0 0 15 0 22 0 562858155 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 46949482688088 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20618/tid=20635] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20635/stat : 20635 (java) S 20616 20618 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562858155 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20636] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20636/stat : 20636 (java) S 20616 20618 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562858155 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
[pid=20618/tid=20637] ppid=20616 vsize=10626020 CPUtime=1.21 cores=1,3,5,7
/proc/20618/task/20637/stat : 20637 (java) R 20616 20618 17058 0 -1 4202560 333 0 0 0 121 0 0 0 18 0 22 0 562858166 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 46912505590709 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20618/tid=20638] ppid=20616 vsize=10626020 CPUtime=1.21 cores=1,3,5,7
/proc/20618/task/20638/stat : 20638 (java) R 20616 20618 17058 0 -1 4202560 49341 0 0 0 116 5 0 0 18 0 22 0 562858166 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 46912505624809 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20618/tid=20639] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20639/stat : 20639 (java) S 20616 20618 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 562858167 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20640] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20640/stat : 20640 (java) S 20616 20618 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 562858167 10881044480 72746 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 10626020
[startup+3.10119 s]
/proc/loadavg: 3.46 2.06 1.88 5/531 20640
/proc/meminfo: memFree=20461484/32951124 swapFree=46575304/67111528
[pid=20618] ppid=20616 vsize=10626020 CPUtime=7.46 cores=1,3,5,7
/proc/20618/stat : 20618 (java) S 20616 20618 17058 0 -1 4202496 92053 0 1 0 733 13 0 0 25 0 22 0 562858149 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20618/statm: 2656505 84970 2257 9 0 2647239 0
[pid=20618/tid=20619] ppid=20616 vsize=10626020 CPUtime=0.15 cores=1,3,5,7
/proc/20618/task/20619/stat : 20619 (java) S 20616 20618 17058 0 -1 4202560 11708 0 1 0 14 1 0 0 15 0 22 0 562858150 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 18446604464538568640 0 0 -1 3 0 0 0
[pid=20618/tid=20621] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20621/stat : 20621 (java) S 20616 20618 17058 0 -1 4202560 336 0 0 0 0 0 0 0 15 0 22 0 562858151 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
[pid=20618/tid=20622] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20622/stat : 20622 (java) S 20616 20618 17058 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 22 0 562858151 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
[pid=20618/tid=20623] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20623/stat : 20623 (java) S 20616 20618 17058 0 -1 4202560 234 0 0 0 0 0 0 0 16 0 22 0 562858151 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20624] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20624/stat : 20624 (java) S 20616 20618 17058 0 -1 4202560 116 0 0 0 0 0 0 0 15 0 22 0 562858151 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 3 0 0 0
[pid=20618/tid=20625] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20625/stat : 20625 (java) S 20616 20618 17058 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 22 0 562858151 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 3 0 0 0
[pid=20618/tid=20626] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20626/stat : 20626 (java) S 20616 20618 17058 0 -1 4202560 119 0 0 0 0 0 0 0 16 0 22 0 562858151 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 3 0 0 0
[pid=20618/tid=20627] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20627/stat : 20627 (java) S 20616 20618 17058 0 -1 4202560 204 0 0 0 0 0 0 0 16 0 22 0 562858151 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
[pid=20618/tid=20628] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20628/stat : 20628 (java) S 20616 20618 17058 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 22 0 562858151 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20629] ppid=20616 vsize=10626020 CPUtime=0.17 cores=1,3,5,7
/proc/20618/task/20629/stat : 20629 (java) S 20616 20618 17058 0 -1 4202560 2971 0 0 0 17 0 0 0 15 0 22 0 562858152 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 0 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20630] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20630/stat : 20630 (java) S 20616 20618 17058 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 562858153 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20631] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20631/stat : 20631 (java) S 20616 20618 17058 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 22 0 562858153 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20632] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20632/stat : 20632 (java) S 20616 20618 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562858155 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672485809 0 4 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20633] ppid=20616 vsize=10626020 CPUtime=0.82 cores=1,3,5,7
/proc/20618/task/20633/stat : 20633 (java) S 20616 20618 17058 0 -1 4202560 9232 0 0 0 80 2 0 0 20 0 22 0 562858155 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20634] ppid=20616 vsize=10626020 CPUtime=0.82 cores=1,3,5,7
/proc/20618/task/20634/stat : 20634 (java) S 20616 20618 17058 0 -1 4202560 5249 0 0 0 82 0 0 0 15 0 22 0 562858155 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20635] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20635/stat : 20635 (java) S 20616 20618 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562858155 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20636] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20636/stat : 20636 (java) S 20616 20618 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562858155 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
[pid=20618/tid=20637] ppid=20616 vsize=10626020 CPUtime=2.69 cores=1,3,5,7
/proc/20618/task/20637/stat : 20637 (java) R 20616 20618 17058 0 -1 4202560 334 0 0 0 269 0 0 0 20 0 22 0 562858166 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 46912505536951 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20618/tid=20638] ppid=20616 vsize=10626020 CPUtime=2.7 cores=1,3,5,7
/proc/20618/task/20638/stat : 20638 (java) R 20616 20618 17058 0 -1 4202560 59958 0 0 0 264 6 0 0 19 0 22 0 562858166 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 46912506033427 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20618/tid=20639] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20639/stat : 20639 (java) S 20616 20618 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 562858167 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20640] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20640/stat : 20640 (java) S 20616 20618 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 562858167 10881044480 84970 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 10626020
Solver just ended. Dumping a history of the last processes samples
[startup+3.50115 s]
/proc/loadavg: 3.46 2.06 1.88 5/531 20640
/proc/meminfo: memFree=20434284/32951124 swapFree=46575304/67111528
[pid=20618] ppid=20616 vsize=10626020 CPUtime=8.23 cores=1,3,5,7
/proc/20618/stat : 20618 (java) S 20616 20618 17058 0 -1 4202496 94289 0 1 0 810 13 0 0 25 0 22 0 562858149 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20618/statm: 2656505 87205 2257 9 0 2647239 0
[pid=20618/tid=20619] ppid=20616 vsize=10626020 CPUtime=0.15 cores=1,3,5,7
/proc/20618/task/20619/stat : 20619 (java) S 20616 20618 17058 0 -1 4202560 11708 0 1 0 14 1 0 0 15 0 22 0 562858150 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 18446604464538568640 0 0 -1 3 0 0 0
[pid=20618/tid=20621] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20621/stat : 20621 (java) S 20616 20618 17058 0 -1 4202560 336 0 0 0 0 0 0 0 15 0 22 0 562858151 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
[pid=20618/tid=20622] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20622/stat : 20622 (java) S 20616 20618 17058 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 22 0 562858151 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
[pid=20618/tid=20623] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20623/stat : 20623 (java) S 20616 20618 17058 0 -1 4202560 234 0 0 0 0 0 0 0 16 0 22 0 562858151 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20624] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20624/stat : 20624 (java) S 20616 20618 17058 0 -1 4202560 123 0 0 0 0 0 0 0 16 0 22 0 562858151 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 3 0 0 0
[pid=20618/tid=20625] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20625/stat : 20625 (java) S 20616 20618 17058 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 22 0 562858151 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 3 0 0 0
[pid=20618/tid=20626] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20626/stat : 20626 (java) S 20616 20618 17058 0 -1 4202560 137 0 0 0 0 0 0 0 16 0 22 0 562858151 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 3 0 0 0
[pid=20618/tid=20627] ppid=20616 vsize=10626020 CPUtime=0.01 cores=1,3,5,7
/proc/20618/task/20627/stat : 20627 (java) S 20616 20618 17058 0 -1 4202560 220 0 0 0 1 0 0 0 16 0 22 0 562858151 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
[pid=20618/tid=20628] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20628/stat : 20628 (java) S 20616 20618 17058 0 -1 4202560 263 0 0 0 0 0 0 0 16 0 22 0 562858151 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20629] ppid=20616 vsize=10626020 CPUtime=0.2 cores=1,3,5,7
/proc/20618/task/20629/stat : 20629 (java) S 20616 20618 17058 0 -1 4202560 3459 0 0 0 20 0 0 0 16 0 22 0 562858152 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 0 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20630] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20630/stat : 20630 (java) S 20616 20618 17058 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 562858153 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20631] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20631/stat : 20631 (java) S 20616 20618 17058 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 22 0 562858153 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20632] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20632/stat : 20632 (java) S 20616 20618 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562858155 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672485809 0 4 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20633] ppid=20616 vsize=10626020 CPUtime=0.82 cores=1,3,5,7
/proc/20618/task/20633/stat : 20633 (java) S 20616 20618 17058 0 -1 4202560 9232 0 0 0 80 2 0 0 20 0 22 0 562858155 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20634] ppid=20616 vsize=10626020 CPUtime=0.82 cores=1,3,5,7
/proc/20618/task/20634/stat : 20634 (java) S 20616 20618 17058 0 -1 4202560 5249 0 0 0 82 0 0 0 15 0 22 0 562858155 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20635] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20635/stat : 20635 (java) S 20616 20618 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562858155 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20636] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20636/stat : 20636 (java) S 20616 20618 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562858155 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
[pid=20618/tid=20637] ppid=20616 vsize=10626020 CPUtime=3.06 cores=1,3,5,7
/proc/20618/task/20637/stat : 20637 (java) R 20616 20618 17058 0 -1 4202560 335 0 0 0 306 0 0 0 20 0 22 0 562858166 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 46912505675086 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20618/tid=20638] ppid=20616 vsize=10626020 CPUtime=3.06 cores=1,3,5,7
/proc/20618/task/20638/stat : 20638 (java) R 20616 20618 17058 0 -1 4202560 61650 0 0 0 300 6 0 0 19 0 22 0 562858166 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 46912505697608 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20618/tid=20639] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20639/stat : 20639 (java) S 20616 20618 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 562858167 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20640] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20640/stat : 20640 (java) S 20616 20618 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 562858167 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.23
Current children cumulated vsize (KiB) 10626020
[startup+3.70112 s]
/proc/loadavg: 3.46 2.06 1.88 5/531 20640
/proc/meminfo: memFree=20434284/32951124 swapFree=46575304/67111528
[pid=20618] ppid=20616 vsize=10626020 CPUtime=8.63 cores=1,3,5,7
/proc/20618/stat : 20618 (java) S 20616 20618 17058 0 -1 4202496 94289 0 1 0 850 13 0 0 25 0 22 0 562858149 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20618/statm: 2656505 87205 2257 9 0 2647239 0
[pid=20618/tid=20619] ppid=20616 vsize=10626020 CPUtime=0.15 cores=1,3,5,7
/proc/20618/task/20619/stat : 20619 (java) S 20616 20618 17058 0 -1 4202560 11708 0 1 0 14 1 0 0 15 0 22 0 562858150 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 18446604464538568640 0 0 -1 3 0 0 0
[pid=20618/tid=20621] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20621/stat : 20621 (java) S 20616 20618 17058 0 -1 4202560 336 0 0 0 0 0 0 0 15 0 22 0 562858151 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
[pid=20618/tid=20622] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20622/stat : 20622 (java) S 20616 20618 17058 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 22 0 562858151 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
[pid=20618/tid=20623] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20623/stat : 20623 (java) S 20616 20618 17058 0 -1 4202560 234 0 0 0 0 0 0 0 16 0 22 0 562858151 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20624] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20624/stat : 20624 (java) S 20616 20618 17058 0 -1 4202560 123 0 0 0 0 0 0 0 16 0 22 0 562858151 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 3 0 0 0
[pid=20618/tid=20625] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20625/stat : 20625 (java) S 20616 20618 17058 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 22 0 562858151 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 3 0 0 0
[pid=20618/tid=20626] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20626/stat : 20626 (java) S 20616 20618 17058 0 -1 4202560 137 0 0 0 0 0 0 0 16 0 22 0 562858151 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 3 0 0 0
[pid=20618/tid=20627] ppid=20616 vsize=10626020 CPUtime=0.01 cores=1,3,5,7
/proc/20618/task/20627/stat : 20627 (java) S 20616 20618 17058 0 -1 4202560 220 0 0 0 1 0 0 0 16 0 22 0 562858151 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
[pid=20618/tid=20628] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20628/stat : 20628 (java) S 20616 20618 17058 0 -1 4202560 263 0 0 0 0 0 0 0 16 0 22 0 562858151 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20629] ppid=20616 vsize=10626020 CPUtime=0.2 cores=1,3,5,7
/proc/20618/task/20629/stat : 20629 (java) S 20616 20618 17058 0 -1 4202560 3459 0 0 0 20 0 0 0 16 0 22 0 562858152 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 0 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20630] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20630/stat : 20630 (java) S 20616 20618 17058 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 562858153 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20631] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20631/stat : 20631 (java) S 20616 20618 17058 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 22 0 562858153 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20632] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20632/stat : 20632 (java) S 20616 20618 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562858155 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672485809 0 4 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20633] ppid=20616 vsize=10626020 CPUtime=0.82 cores=1,3,5,7
/proc/20618/task/20633/stat : 20633 (java) S 20616 20618 17058 0 -1 4202560 9232 0 0 0 80 2 0 0 20 0 22 0 562858155 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 5 0 0 0
[pid=20618/tid=20634] ppid=20616 vsize=10626020 CPUtime=0.82 cores=1,3,5,7
/proc/20618/task/20634/stat : 20634 (java) S 20616 20618 17058 0 -1 4202560 5249 0 0 0 82 0 0 0 15 0 22 0 562858155 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20635] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20635/stat : 20635 (java) S 20616 20618 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562858155 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478105 0 4 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20636] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20636/stat : 20636 (java) S 20616 20618 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562858155 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
[pid=20618/tid=20637] ppid=20616 vsize=10626020 CPUtime=3.26 cores=1,3,5,7
/proc/20618/task/20637/stat : 20637 (java) R 20616 20618 17058 0 -1 4202560 335 0 0 0 326 0 0 0 20 0 22 0 562858166 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 46912505674087 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20618/tid=20638] ppid=20616 vsize=10626020 CPUtime=3.26 cores=1,3,5,7
/proc/20618/task/20638/stat : 20638 (java) R 20616 20618 17058 0 -1 4202560 61650 0 0 0 320 6 0 0 19 0 22 0 562858166 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 46912505621035 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20618/tid=20639] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20639/stat : 20639 (java) S 20616 20618 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 562858167 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 18446604464538568640 0 0 -1 1 0 0 0
[pid=20618/tid=20640] ppid=20616 vsize=10626020 CPUtime=0 cores=1,3,5,7
/proc/20618/task/20640/stat : 20640 (java) S 20616 20618 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 562858167 10881044480 87205 33554432000 1073741824 1073778376 140736294667824 18446744073709551615 268672478720 0 4 0 16800975 18446604464538568640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.63
Current children cumulated vsize (KiB) 10626020
[startup+3.8011 s]
/proc/loadavg: 3.46 2.06 1.88 5/531 20640
/proc/meminfo: memFree=20434284/32951124 swapFree=46575304/67111528
[pid=20618] ppid=20616 vsize=0 CPUtime=8.74 cores=1,3,5,7
/proc/20618/stat : 20618 (java) R 20616 20618 17058 0 -1 4203524 94312 0 1 0 859 15 0 0 18 0 1 0 562858149 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20618/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.74
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 3.80152
CPU time (s): 8.74267
CPU user time (s): 8.59069
CPU system time (s): 0.151976
CPU usage (%): 229.978
Max. virtual memory (cumulated for all children) (KiB): 10626020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.59069
system time used= 0.151976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94312
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= 650
involuntary context switches= 253
runsolver used 0.020996 second user time and 0.054991 second system time
The end