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-3456520-1307215870/watcher-3456520-1307215870 -o /tmp/evaluation-result-3456520-1307215870/solver-3456520-1307215870 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456520-1307215870.opb
running on 4 cores: 0,2,4,6
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.00 0.00 0.00 2/553 14512
/proc/meminfo: memFree=28660916/32951124 swapFree=34426104/67111528
[pid=14512] ppid=14510 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/14512/stat : 14512 (java) S 14510 14512 14484 0 -1 4202496 1663 0 1 0 0 0 0 0 23 0 2 0 911817709 10681323520 1364 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/14512/statm: 2607745 1377 906 9 0 2598901 0
[pid=14512/tid=14513] ppid=14510 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14513/stat : 14513 (java) R 14510 14512 14484 0 -1 4202560 7639 0 1 0 0 0 0 0 24 0 2 0 911817710 10694979584 8455 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0965789 s]
/proc/loadavg: 0.00 0.00 0.00 2/553 14512
/proc/meminfo: memFree=28660916/32951124 swapFree=34426104/67111528
[pid=14512] ppid=14510 vsize=10540232 CPUtime=0.09 cores=0,2,4,6
/proc/14512/stat : 14512 (java) S 14510 14512 14484 0 -1 4202496 12992 0 1 0 8 1 0 0 23 0 18 0 911817709 10793197568 12666 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14512/statm: 2635058 12666 2093 9 0 2625792 0
[pid=14512/tid=14513] ppid=14510 vsize=10540232 CPUtime=0.07 cores=0,2,4,6
/proc/14512/task/14513/stat : 14513 (java) R 14510 14512 14484 0 -1 4202560 11069 0 1 0 6 1 0 0 18 0 18 0 911817710 10793197568 12666 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224284587041 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540232
[startup+0.100587 s]
/proc/loadavg: 0.00 0.00 0.00 2/553 14512
/proc/meminfo: memFree=28660916/32951124 swapFree=34426104/67111528
[pid=14512] ppid=14510 vsize=10540232 CPUtime=0.09 cores=0,2,4,6
/proc/14512/stat : 14512 (java) S 14510 14512 14484 0 -1 4202496 13053 0 1 0 8 1 0 0 23 0 18 0 911817709 10793197568 12727 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14512/statm: 2635058 12727 2093 9 0 2625792 0
[pid=14512/tid=14513] ppid=14510 vsize=10540232 CPUtime=0.08 cores=0,2,4,6
/proc/14512/task/14513/stat : 14513 (java) R 14510 14512 14484 0 -1 4202560 11130 0 1 0 7 1 0 0 18 0 18 0 911817710 10793197568 12727 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 46912496197392 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540232
[startup+0.308572 s]
/proc/loadavg: 0.00 0.00 0.00 2/553 14512
/proc/meminfo: memFree=28660916/32951124 swapFree=34426104/67111528
[pid=14512] ppid=14510 vsize=10542904 CPUtime=0.49 cores=0,2,4,6
/proc/14512/stat : 14512 (java) S 14510 14512 14484 0 -1 4202496 16190 0 1 0 47 2 0 0 23 0 19 0 911817709 10795933696 15450 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14512/statm: 2635726 15450 2210 9 0 2626460 0
[pid=14512/tid=14513] ppid=14510 vsize=10542904 CPUtime=0.29 cores=0,2,4,6
/proc/14512/task/14513/stat : 14513 (java) R 14510 14512 14484 0 -1 4202560 12999 0 1 0 27 2 0 0 19 0 19 0 911817710 10795933696 15450 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 46912505205061 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542904
[startup+0.700453 s]
/proc/loadavg: 0.00 0.00 0.00 2/553 14512
/proc/meminfo: memFree=28660916/32951124 swapFree=34426104/67111528
[pid=14512] ppid=14510 vsize=10557604 CPUtime=1.61 cores=0,2,4,6
/proc/14512/stat : 14512 (java) S 14510 14512 14484 0 -1 4202496 44774 0 1 0 155 6 0 0 23 0 19 0 911817709 10810986496 40889 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14512/statm: 2639401 40895 2223 9 0 2630135 0
[pid=14512/tid=14513] ppid=14510 vsize=10557604 CPUtime=0.68 cores=0,2,4,6
/proc/14512/task/14513/stat : 14513 (java) R 14510 14512 14484 0 -1 4202560 31516 0 1 0 64 4 0 0 18 0 19 0 911817710 10810986496 40898 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 46912505659873 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 10557604
[startup+1.50133 s]
/proc/loadavg: 0.00 0.00 0.00 2/572 14531
/proc/meminfo: memFree=28399444/32951124 swapFree=34426104/67111528
[pid=14512] ppid=14510 vsize=10557604 CPUtime=2.84 cores=0,2,4,6
/proc/14512/stat : 14512 (java) S 14510 14512 14484 0 -1 4202496 125506 0 1 0 270 14 0 0 23 0 19 0 911817709 10810986496 121618 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14512/statm: 2639401 121620 2226 9 0 2630135 0
[pid=14512/tid=14513] ppid=14510 vsize=10557604 CPUtime=1.48 cores=0,2,4,6
/proc/14512/task/14513/stat : 14513 (java) R 14510 14512 14484 0 -1 4202560 112182 0 1 0 135 13 0 0 18 0 19 0 911817710 10810986496 121620 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 46912505660021 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14512/tid=14515] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14515/stat : 14515 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 121623 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14516] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14516/stat : 14516 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 121625 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14517] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14517/stat : 14517 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 121627 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14518] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14518/stat : 14518 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 121629 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14519] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14519/stat : 14519 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 121630 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14520] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14520/stat : 14520 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 121632 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
[pid=14512/tid=14521] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14521/stat : 14521 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 121633 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14522] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14522/stat : 14522 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 121635 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14523] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14523/stat : 14523 (java) S 14510 14512 14484 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911817713 10810986496 121637 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 0 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
[pid=14512/tid=14524] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14524/stat : 14524 (java) S 14510 14512 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911817713 10810986496 121640 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14525] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14525/stat : 14525 (java) S 14510 14512 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911817713 10810986496 121643 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14526] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14526/stat : 14526 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817715 10810986496 121646 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296749489 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14527] ppid=14510 vsize=10557604 CPUtime=0.68 cores=0,2,4,6
/proc/14512/task/14527/stat : 14527 (java) S 14510 14512 14484 0 -1 4202560 5139 0 0 0 68 0 0 0 21 0 19 0 911817715 10810986496 121647 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14528] ppid=14510 vsize=10557604 CPUtime=0.65 cores=0,2,4,6
/proc/14512/task/14528/stat : 14528 (java) S 14510 14512 14484 0 -1 4202560 7026 0 0 0 65 0 0 0 15 0 19 0 911817715 10810986496 121649 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 4 0 0 0
[pid=14512/tid=14529] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14529/stat : 14529 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817715 10810986496 121651 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
[pid=14512/tid=14530] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14530/stat : 14530 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911817715 10810986496 121653 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14531] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14531/stat : 14531 (java) S 14510 14512 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817739 10810986496 121655 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 10557604
[startup+3.10106 s]
/proc/loadavg: 0.00 0.00 0.00 2/572 14531
/proc/meminfo: memFree=27924772/32951124 swapFree=34426104/67111528
[pid=14512] ppid=14510 vsize=10557604 CPUtime=4.46 cores=0,2,4,6
/proc/14512/stat : 14512 (java) S 14510 14512 14484 0 -1 4202496 290195 0 1 0 413 33 0 0 23 0 19 0 911817709 10810986496 286306 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14512/statm: 2639401 286309 2226 9 0 2630135 0
[pid=14512/tid=14513] ppid=14510 vsize=10557604 CPUtime=3.08 cores=0,2,4,6
/proc/14512/task/14513/stat : 14513 (java) R 14510 14512 14484 0 -1 4202560 276872 0 1 0 277 31 0 0 18 0 19 0 911817710 10810986496 286311 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 46912505659873 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14512/tid=14515] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14515/stat : 14515 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 286313 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14516] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14516/stat : 14516 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 286315 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14517] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14517/stat : 14517 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 286317 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14518] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14518/stat : 14518 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 286319 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14519] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14519/stat : 14519 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 286321 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14520] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14520/stat : 14520 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 286323 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
[pid=14512/tid=14521] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14521/stat : 14521 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 286325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14522] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14522/stat : 14522 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 286327 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14523] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14523/stat : 14523 (java) S 14510 14512 14484 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911817713 10810986496 286329 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 0 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
[pid=14512/tid=14524] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14524/stat : 14524 (java) S 14510 14512 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911817713 10810986496 286331 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14525] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14525/stat : 14525 (java) S 14510 14512 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911817713 10810986496 286334 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14526] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14526/stat : 14526 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817715 10810986496 286336 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296749489 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14527] ppid=14510 vsize=10557604 CPUtime=0.7 cores=0,2,4,6
/proc/14512/task/14527/stat : 14527 (java) S 14510 14512 14484 0 -1 4202560 5141 0 0 0 70 0 0 0 15 0 19 0 911817715 10810986496 286338 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14528] ppid=14510 vsize=10557604 CPUtime=0.65 cores=0,2,4,6
/proc/14512/task/14528/stat : 14528 (java) S 14510 14512 14484 0 -1 4202560 7026 0 0 0 65 0 0 0 15 0 19 0 911817715 10810986496 286341 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 4 0 0 0
[pid=14512/tid=14529] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14529/stat : 14529 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817715 10810986496 286343 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
[pid=14512/tid=14530] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14530/stat : 14530 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911817715 10810986496 286345 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14531] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14531/stat : 14531 (java) S 14510 14512 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817739 10810986496 286347 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 10557604
[startup+6.30155 s]
/proc/loadavg: 0.16 0.03 0.01 3/595 14559
/proc/meminfo: memFree=25796648/32951124 swapFree=34426104/67111528
[pid=14512] ppid=14510 vsize=10557604 CPUtime=7.68 cores=0,2,4,6
/proc/14512/stat : 14512 (java) S 14510 14512 14484 0 -1 4202496 592405 0 1 0 702 66 0 0 23 0 19 0 911817709 10810986496 588507 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14512/statm: 2639401 588511 2227 9 0 2630135 0
[pid=14512/tid=14513] ppid=14510 vsize=10557604 CPUtime=6.28 cores=0,2,4,6
/proc/14512/task/14513/stat : 14513 (java) R 14510 14512 14484 0 -1 4202560 579078 0 1 0 563 65 0 0 25 0 19 0 911817710 10810986496 588512 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 46912505708305 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14512/tid=14515] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14515/stat : 14515 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 588515 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14516] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14516/stat : 14516 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 588517 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14517] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14517/stat : 14517 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 588518 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14518] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14518/stat : 14518 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 588520 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14519] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14519/stat : 14519 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 588522 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14520] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14520/stat : 14520 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 588524 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
[pid=14512/tid=14521] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14521/stat : 14521 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 588527 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14522] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14522/stat : 14522 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817711 10810986496 588529 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14523] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14523/stat : 14523 (java) S 14510 14512 14484 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 911817713 10810986496 588532 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 0 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
[pid=14512/tid=14524] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14524/stat : 14524 (java) S 14510 14512 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911817713 10810986496 588534 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14525] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14525/stat : 14525 (java) S 14510 14512 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911817713 10810986496 588536 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14526] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14526/stat : 14526 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817715 10810986496 588538 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296749489 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14527] ppid=14510 vsize=10557604 CPUtime=0.72 cores=0,2,4,6
/proc/14512/task/14527/stat : 14527 (java) S 14510 14512 14484 0 -1 4202560 5143 0 0 0 72 0 0 0 15 0 19 0 911817715 10810986496 588540 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14528] ppid=14510 vsize=10557604 CPUtime=0.65 cores=0,2,4,6
/proc/14512/task/14528/stat : 14528 (java) S 14510 14512 14484 0 -1 4202560 7027 0 0 0 65 0 0 0 15 0 19 0 911817715 10810986496 588542 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/14512/task/14525/stat : 14525 (java) S 14510 14512 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911817713 10810986496 918898 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14526] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14526/stat : 14526 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817715 10810986496 918898 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296749489 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14527] ppid=14510 vsize=10557604 CPUtime=0.86 cores=0,2,4,6
/proc/14512/task/14527/stat : 14527 (java) S 14510 14512 14484 0 -1 4202560 5181 0 0 0 86 0 0 0 15 0 19 0 911817715 10810986496 918898 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14528] ppid=14510 vsize=10557604 CPUtime=0.76 cores=0,2,4,6
/proc/14512/task/14528/stat : 14528 (java) S 14510 14512 14484 0 -1 4202560 7038 0 0 0 76 0 0 0 16 0 19 0 911817715 10810986496 918898 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 4 0 0 0
[pid=14512/tid=14529] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14529/stat : 14529 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817715 10810986496 918898 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
[pid=14512/tid=14530] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14530/stat : 14530 (java) S 14510 14512 14484 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 911817715 10810986496 918898 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14531] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14531/stat : 14531 (java) S 14510 14512 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817739 10810986496 918898 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1666.51
Current children cumulated vsize (KiB) 10557604
[startup+1722.3 s]
/proc/loadavg: 2.11 2.10 1.72 3/595 14608
/proc/meminfo: memFree=21304844/32951124 swapFree=34426104/67111528
[pid=14512] ppid=14510 vsize=10557604 CPUtime=1726.6 cores=0,2,4,6
/proc/14512/stat : 14512 (java) S 14510 14512 14484 0 -1 4202496 924619 0 1 0 172554 106 0 0 23 0 19 0 911817709 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14512/statm: 2639401 919310 2257 9 0 2630135 0
[pid=14512/tid=14513] ppid=14510 vsize=10557604 CPUtime=1720.17 cores=0,2,4,6
/proc/14512/task/14513/stat : 14513 (java) R 14510 14512 14484 0 -1 4202560 835715 0 1 0 171923 94 0 0 25 0 19 0 911817710 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 46912505659921 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14512/tid=14515] ppid=14510 vsize=10557604 CPUtime=0.55 cores=0,2,4,6
/proc/14512/task/14515/stat : 14515 (java) S 14510 14512 14484 0 -1 4202560 11183 0 0 0 54 1 0 0 16 0 19 0 911817711 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14516] ppid=14510 vsize=10557604 CPUtime=0.53 cores=0,2,4,6
/proc/14512/task/14516/stat : 14516 (java) S 14510 14512 14484 0 -1 4202560 11574 0 0 0 52 1 0 0 15 0 19 0 911817711 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14517] ppid=14510 vsize=10557604 CPUtime=0.46 cores=0,2,4,6
/proc/14512/task/14517/stat : 14517 (java) S 14510 14512 14484 0 -1 4202560 6625 0 0 0 46 0 0 0 16 0 19 0 911817711 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 4 0 0 0
[pid=14512/tid=14518] ppid=14510 vsize=10557604 CPUtime=0.47 cores=0,2,4,6
/proc/14512/task/14518/stat : 14518 (java) S 14510 14512 14484 0 -1 4202560 5945 0 0 0 47 0 0 0 16 0 19 0 911817711 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
[pid=14512/tid=14519] ppid=14510 vsize=10557604 CPUtime=0.54 cores=0,2,4,6
/proc/14512/task/14519/stat : 14519 (java) S 14510 14512 14484 0 -1 4202560 8694 0 0 0 53 1 0 0 15 0 19 0 911817711 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14520] ppid=14510 vsize=10557604 CPUtime=0.58 cores=0,2,4,6
/proc/14512/task/14520/stat : 14520 (java) S 14510 14512 14484 0 -1 4202560 9253 0 0 0 58 0 0 0 15 0 19 0 911817711 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14521] ppid=14510 vsize=10557604 CPUtime=0.51 cores=0,2,4,6
/proc/14512/task/14521/stat : 14521 (java) S 14510 14512 14484 0 -1 4202560 7958 0 0 0 51 0 0 0 16 0 19 0 911817711 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14522] ppid=14510 vsize=10557604 CPUtime=0.53 cores=0,2,4,6
/proc/14512/task/14522/stat : 14522 (java) S 14510 14512 14484 0 -1 4202560 8368 0 0 0 53 0 0 0 15 0 19 0 911817711 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14523] ppid=14510 vsize=10557604 CPUtime=0.48 cores=0,2,4,6
/proc/14512/task/14523/stat : 14523 (java) S 14510 14512 14484 0 -1 4202560 5831 0 0 0 47 1 0 0 15 0 19 0 911817713 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 0 0 16800975 18446604443481851776 0 0 -1 4 0 0 0
[pid=14512/tid=14524] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14524/stat : 14524 (java) S 14510 14512 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911817713 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14525] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14525/stat : 14525 (java) S 14510 14512 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911817713 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14526] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14526/stat : 14526 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817715 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296749489 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14527] ppid=14510 vsize=10557604 CPUtime=0.86 cores=0,2,4,6
/proc/14512/task/14527/stat : 14527 (java) S 14510 14512 14484 0 -1 4202560 5181 0 0 0 86 0 0 0 15 0 19 0 911817715 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14528] ppid=14510 vsize=10557604 CPUtime=0.76 cores=0,2,4,6
/proc/14512/task/14528/stat : 14528 (java) S 14510 14512 14484 0 -1 4202560 7038 0 0 0 76 0 0 0 16 0 19 0 911817715 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 4 0 0 0
[pid=14512/tid=14529] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14529/stat : 14529 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817715 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
[pid=14512/tid=14530] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14530/stat : 14530 (java) S 14510 14512 14484 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 911817715 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14531] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14531/stat : 14531 (java) S 14510 14512 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817739 10810986496 919310 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1726.6
Current children cumulated vsize (KiB) 10557604
[startup+1782.3 s]
/proc/loadavg: 2.07 2.09 1.74 3/595 14610
/proc/meminfo: memFree=21299736/32951124 swapFree=34426104/67111528
[pid=14512] ppid=14510 vsize=10557604 CPUtime=1786.74 cores=0,2,4,6
/proc/14512/stat : 14512 (java) S 14510 14512 14484 0 -1 4202496 925670 0 1 0 178568 106 0 0 23 0 19 0 911817709 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14512/statm: 2639401 920325 2257 9 0 2630135 0
[pid=14512/tid=14513] ppid=14510 vsize=10557604 CPUtime=1780.12 cores=0,2,4,6
/proc/14512/task/14513/stat : 14513 (java) R 14510 14512 14484 0 -1 4202560 835719 0 1 0 177918 94 0 0 25 0 19 0 911817710 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 46912505841011 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14512/tid=14515] ppid=14510 vsize=10557604 CPUtime=0.58 cores=0,2,4,6
/proc/14512/task/14515/stat : 14515 (java) S 14510 14512 14484 0 -1 4202560 11343 0 0 0 57 1 0 0 16 0 19 0 911817711 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 4 0 0 0
[pid=14512/tid=14516] ppid=14510 vsize=10557604 CPUtime=0.56 cores=0,2,4,6
/proc/14512/task/14516/stat : 14516 (java) S 14510 14512 14484 0 -1 4202560 11724 0 0 0 55 1 0 0 15 0 19 0 911817711 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14517] ppid=14510 vsize=10557604 CPUtime=0.5 cores=0,2,4,6
/proc/14512/task/14517/stat : 14517 (java) S 14510 14512 14484 0 -1 4202560 6758 0 0 0 50 0 0 0 16 0 19 0 911817711 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14518] ppid=14510 vsize=10557604 CPUtime=0.5 cores=0,2,4,6
/proc/14512/task/14518/stat : 14518 (java) S 14510 14512 14484 0 -1 4202560 6093 0 0 0 50 0 0 0 16 0 19 0 911817711 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
[pid=14512/tid=14519] ppid=14510 vsize=10557604 CPUtime=0.56 cores=0,2,4,6
/proc/14512/task/14519/stat : 14519 (java) S 14510 14512 14484 0 -1 4202560 8805 0 0 0 55 1 0 0 16 0 19 0 911817711 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14520] ppid=14510 vsize=10557604 CPUtime=0.6 cores=0,2,4,6
/proc/14512/task/14520/stat : 14520 (java) S 14510 14512 14484 0 -1 4202560 9379 0 0 0 60 0 0 0 15 0 19 0 911817711 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14521] ppid=14510 vsize=10557604 CPUtime=0.54 cores=0,2,4,6
/proc/14512/task/14521/stat : 14521 (java) S 14510 14512 14484 0 -1 4202560 8171 0 0 0 54 0 0 0 16 0 19 0 911817711 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
[pid=14512/tid=14522] ppid=14510 vsize=10557604 CPUtime=0.53 cores=0,2,4,6
/proc/14512/task/14522/stat : 14522 (java) S 14510 14512 14484 0 -1 4202560 8368 0 0 0 53 0 0 0 15 0 19 0 911817711 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14523] ppid=14510 vsize=10557604 CPUtime=0.48 cores=0,2,4,6
/proc/14512/task/14523/stat : 14523 (java) S 14510 14512 14484 0 -1 4202560 5835 0 0 0 47 1 0 0 15 0 19 0 911817713 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 0 0 16800975 18446604443481851776 0 0 -1 4 0 0 0
[pid=14512/tid=14524] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14524/stat : 14524 (java) S 14510 14512 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911817713 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14525] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14525/stat : 14525 (java) S 14510 14512 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911817713 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14526] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14526/stat : 14526 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817715 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296749489 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14527] ppid=14510 vsize=10557604 CPUtime=0.86 cores=0,2,4,6
/proc/14512/task/14527/stat : 14527 (java) S 14510 14512 14484 0 -1 4202560 5181 0 0 0 86 0 0 0 15 0 19 0 911817715 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14528] ppid=14510 vsize=10557604 CPUtime=0.76 cores=0,2,4,6
/proc/14512/task/14528/stat : 14528 (java) S 14510 14512 14484 0 -1 4202560 7038 0 0 0 76 0 0 0 16 0 19 0 911817715 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 4 0 0 0
[pid=14512/tid=14529] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14529/stat : 14529 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817715 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
[pid=14512/tid=14530] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14530/stat : 14530 (java) S 14510 14512 14484 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 911817715 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14531] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14531/stat : 14531 (java) S 14510 14512 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817739 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1786.74
Current children cumulated vsize (KiB) 10557604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.6 s]
/proc/loadavg: 2.06 2.08 1.74 3/595 14619
/proc/meminfo: memFree=21298180/32951124 swapFree=34426104/67111528
[pid=14512] ppid=14510 vsize=10557604 CPUtime=1800.05 cores=0,2,4,6
/proc/14512/stat : 14512 (java) S 14510 14512 14484 0 -1 4202496 925672 0 1 0 179899 106 0 0 23 0 19 0 911817709 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14512/statm: 2639401 920325 2257 9 0 2630135 0
[pid=14512/tid=14513] ppid=14510 vsize=10557604 CPUtime=1793.44 cores=0,2,4,6
/proc/14512/task/14513/stat : 14513 (java) R 14510 14512 14484 0 -1 4202560 835719 0 1 0 179250 94 0 0 25 0 19 0 911817710 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 46912505602103 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14512/tid=14515] ppid=14510 vsize=10557604 CPUtime=0.58 cores=0,2,4,6
/proc/14512/task/14515/stat : 14515 (java) S 14510 14512 14484 0 -1 4202560 11343 0 0 0 57 1 0 0 16 0 19 0 911817711 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 4 0 0 0
[pid=14512/tid=14516] ppid=14510 vsize=10557604 CPUtime=0.56 cores=0,2,4,6
/proc/14512/task/14516/stat : 14516 (java) S 14510 14512 14484 0 -1 4202560 11724 0 0 0 55 1 0 0 15 0 19 0 911817711 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14517] ppid=14510 vsize=10557604 CPUtime=0.5 cores=0,2,4,6
/proc/14512/task/14517/stat : 14517 (java) S 14510 14512 14484 0 -1 4202560 6758 0 0 0 50 0 0 0 16 0 19 0 911817711 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14518] ppid=14510 vsize=10557604 CPUtime=0.5 cores=0,2,4,6
/proc/14512/task/14518/stat : 14518 (java) S 14510 14512 14484 0 -1 4202560 6093 0 0 0 50 0 0 0 16 0 19 0 911817711 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
[pid=14512/tid=14519] ppid=14510 vsize=10557604 CPUtime=0.56 cores=0,2,4,6
/proc/14512/task/14519/stat : 14519 (java) S 14510 14512 14484 0 -1 4202560 8805 0 0 0 55 1 0 0 16 0 19 0 911817711 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14520] ppid=14510 vsize=10557604 CPUtime=0.6 cores=0,2,4,6
/proc/14512/task/14520/stat : 14520 (java) S 14510 14512 14484 0 -1 4202560 9379 0 0 0 60 0 0 0 15 0 19 0 911817711 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14521] ppid=14510 vsize=10557604 CPUtime=0.54 cores=0,2,4,6
/proc/14512/task/14521/stat : 14521 (java) S 14510 14512 14484 0 -1 4202560 8171 0 0 0 54 0 0 0 16 0 19 0 911817711 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
[pid=14512/tid=14522] ppid=14510 vsize=10557604 CPUtime=0.53 cores=0,2,4,6
/proc/14512/task/14522/stat : 14522 (java) S 14510 14512 14484 0 -1 4202560 8368 0 0 0 53 0 0 0 15 0 19 0 911817711 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14523] ppid=14510 vsize=10557604 CPUtime=0.48 cores=0,2,4,6
/proc/14512/task/14523/stat : 14523 (java) S 14510 14512 14484 0 -1 4202560 5835 0 0 0 47 1 0 0 15 0 19 0 911817713 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 0 0 16800975 18446604443481851776 0 0 -1 4 0 0 0
[pid=14512/tid=14524] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14524/stat : 14524 (java) S 14510 14512 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911817713 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14525] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14525/stat : 14525 (java) S 14510 14512 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911817713 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14526] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14526/stat : 14526 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817715 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296749489 0 4 0 16800975 18446604443481851776 0 0 -1 2 0 0 0
[pid=14512/tid=14527] ppid=14510 vsize=10557604 CPUtime=0.86 cores=0,2,4,6
/proc/14512/task/14527/stat : 14527 (java) S 14510 14512 14484 0 -1 4202560 5181 0 0 0 86 0 0 0 15 0 19 0 911817715 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14528] ppid=14510 vsize=10557604 CPUtime=0.76 cores=0,2,4,6
/proc/14512/task/14528/stat : 14528 (java) S 14510 14512 14484 0 -1 4202560 7038 0 0 0 76 0 0 0 16 0 19 0 911817715 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 4 0 0 0
[pid=14512/tid=14529] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14529/stat : 14529 (java) S 14510 14512 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817715 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296741785 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
[pid=14512/tid=14530] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14530/stat : 14530 (java) S 14510 14512 14484 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 911817715 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 4 0 16800975 18446604443481851776 0 0 -1 0 0 0 0
[pid=14512/tid=14531] ppid=14510 vsize=10557604 CPUtime=0 cores=0,2,4,6
/proc/14512/task/14531/stat : 14531 (java) S 14510 14512 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817739 10810986496 920325 33554432000 1073741824 1073778376 140735447008848 18446744073709551615 224296742400 0 4 0 16800975 18446604443481851776 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10557604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.8 s]
/proc/loadavg: 2.06 2.08 1.74 3/595 14619
/proc/meminfo: memFree=21298180/32951124 swapFree=34426104/67111528
[pid=14512] ppid=14510 vsize=0 CPUtime=1800.26 cores=0,2,4,6
/proc/14512/stat : 14512 (java) Z 14510 14512 14484 0 -1 4203548 925711 0 1 0 179905 121 0 0 17 0 2 0 911817709 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14512/statm: 0 0 0 0 0 0 0
[pid=14512/tid=14513] ppid=14510 vsize=0 CPUtime=1793.6 cores=0,2,4,6
/proc/14512/task/14513/stat : 14513 (java) R 14510 14512 14484 0 -1 4203588 835719 0 1 0 179252 108 0 0 25 0 2 0 911817710 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.82
CPU time (s): 1800.28
CPU user time (s): 1799.05
CPU system time (s): 1.22881
CPU usage (%): 100.249
Max. virtual memory (cumulated for all children) (KiB): 10557604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.22881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 925711
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= 39707
involuntary context switches= 46020
runsolver used 11.2493 second user time and 23.0715 second system time
The end