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-3456736-1307220290/watcher-3456736-1307220290 -o /tmp/evaluation-result-3456736-1307220290/solver-3456736-1307220290 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456736-1307220290.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: 1.94 2.05 2.00 2/576 15008
/proc/meminfo: memFree=25006944/32951124 swapFree=34426104/67111528
[pid=15008] ppid=15006 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14484 0 -1 4202496 2966 0 1 0 0 0 0 0 25 0 2 0 912259671 10681323520 2668 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15008/statm: 2607745 2680 906 9 0 2598901 0
[pid=15008/tid=15009] ppid=15006 vsize=10444480 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15009/stat : 15009 (java) R 15006 15008 14484 0 -1 4202560 8722 0 1 0 0 0 0 0 25 0 2 0 912259672 10695147520 9538 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224284586693 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.120742 s]
/proc/loadavg: 1.94 2.05 2.00 2/576 15008
/proc/meminfo: memFree=25006944/32951124 swapFree=34426104/67111528
[pid=15008] ppid=15006 vsize=10539856 CPUtime=0.14 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14484 0 -1 4202496 13322 0 1 0 12 2 0 0 25 0 18 0 912259671 10792812544 12994 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15008/statm: 2634964 12994 2134 9 0 2625698 0
[pid=15008/tid=15009] ppid=15006 vsize=10539856 CPUtime=0.1 cores=1,3,5,7
/proc/15008/task/15009/stat : 15009 (java) R 15006 15008 14484 0 -1 4202560 11324 0 1 0 9 1 0 0 18 0 18 0 912259672 10792812544 12994 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 10539856
[startup+0.204728 s]
/proc/loadavg: 1.94 2.05 2.00 2/576 15008
/proc/meminfo: memFree=25006944/32951124 swapFree=34426104/67111528
[pid=15008] ppid=15006 vsize=10540672 CPUtime=0.29 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14484 0 -1 4202496 14173 0 1 0 27 2 0 0 25 0 18 0 912259671 10793648128 13811 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15008/statm: 2635168 13811 2185 9 0 2625902 0
[pid=15008/tid=15009] ppid=15006 vsize=10540672 CPUtime=0.18 cores=1,3,5,7
/proc/15008/task/15009/stat : 15009 (java) R 15006 15008 14484 0 -1 4202560 11845 0 1 0 17 1 0 0 18 0 18 0 912259672 10793648128 13811 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 46912505176688 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10540672
[startup+0.300636 s]
/proc/loadavg: 1.94 2.05 2.00 2/576 15008
/proc/meminfo: memFree=25006944/32951124 swapFree=34426104/67111528
[pid=15008] ppid=15006 vsize=10541144 CPUtime=0.49 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14484 0 -1 4202496 15776 0 1 0 47 2 0 0 25 0 18 0 912259671 10794131456 15248 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15008/statm: 2635286 15248 2210 9 0 2626020 0
[pid=15008/tid=15009] ppid=15006 vsize=10541144 CPUtime=0.27 cores=1,3,5,7
/proc/15008/task/15009/stat : 15009 (java) R 15006 15008 14484 0 -1 4202560 12972 0 1 0 26 1 0 0 18 0 18 0 912259672 10794131456 15248 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 46912505215728 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541144
[startup+0.700572 s]
/proc/loadavg: 1.94 2.05 2.00 2/576 15008
/proc/meminfo: memFree=25006944/32951124 swapFree=34426104/67111528
[pid=15008] ppid=15006 vsize=10554792 CPUtime=1.59 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14484 0 -1 4202496 31093 0 1 0 155 4 0 0 25 0 19 0 912259671 10808107008 26962 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15008/statm: 2638698 26962 2223 9 0 2629432 0
[pid=15008/tid=15009] ppid=15006 vsize=10554792 CPUtime=0.67 cores=1,3,5,7
/proc/15008/task/15009/stat : 15009 (java) R 15006 15008 14484 0 -1 4202560 16854 0 1 0 65 2 0 0 18 0 19 0 912259672 10808107008 26962 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 46912505122104 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10554792
[startup+1.50144 s]
/proc/loadavg: 1.94 2.05 2.00 3/595 15027
/proc/meminfo: memFree=24794060/32951124 swapFree=34426104/67111528
[pid=15008] ppid=15006 vsize=10554792 CPUtime=2.7 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14484 0 -1 4202496 93195 0 1 0 259 11 0 0 25 0 19 0 912259671 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15008/statm: 2638698 88574 2226 9 0 2629432 0
[pid=15008/tid=15009] ppid=15006 vsize=10554792 CPUtime=1.48 cores=1,3,5,7
/proc/15008/task/15009/stat : 15009 (java) R 15006 15008 14484 0 -1 4202560 78431 0 1 0 138 10 0 0 18 0 19 0 912259672 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 46912505886854 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15008/tid=15010] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15010/stat : 15010 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 3 0 0 0
[pid=15008/tid=15012] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15012/stat : 15012 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 3 0 0 0
[pid=15008/tid=15013] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15013/stat : 15013 (java) S 15006 15008 14484 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15014] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15014/stat : 15014 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15015] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15015/stat : 15015 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15016] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15016/stat : 15016 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15017] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15017/stat : 15017 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15018] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15018/stat : 15018 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15019] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15019/stat : 15019 (java) S 15006 15008 14484 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912259674 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296742400 0 0 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15020] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15020/stat : 15020 (java) S 15006 15008 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912259675 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15021] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15021/stat : 15021 (java) S 15006 15008 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912259675 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15022] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15022/stat : 15022 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259677 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296749489 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15023] ppid=15006 vsize=10554792 CPUtime=0.67 cores=1,3,5,7
/proc/15008/task/15023/stat : 15023 (java) S 15006 15008 14484 0 -1 4202560 4373 0 0 0 67 0 0 0 22 0 19 0 912259677 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 5 0 0 0
[pid=15008/tid=15024] ppid=15006 vsize=10554792 CPUtime=0.53 cores=1,3,5,7
/proc/15008/task/15024/stat : 15024 (java) S 15006 15008 14484 0 -1 4202560 9230 0 0 0 53 0 0 0 15 0 19 0 912259677 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15025] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15025/stat : 15025 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259677 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15026] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15026/stat : 15026 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912259677 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296742400 0 4 0 16800975 18446604468519724864 0 0 -1 3 0 0 0
[pid=15008/tid=15027] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15027/stat : 15027 (java) S 15006 15008 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912259701 10808107008 88574 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296742400 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 10554792
[startup+3.10117 s]
/proc/loadavg: 1.94 2.05 2.00 3/595 15027
/proc/meminfo: memFree=24404824/32951124 swapFree=34426104/67111528
[pid=15008] ppid=15006 vsize=10554792 CPUtime=4.35 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14484 0 -1 4202496 239001 0 1 0 409 26 0 0 25 0 19 0 912259671 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15008/statm: 2638698 234379 2227 9 0 2629432 0
[pid=15008/tid=15009] ppid=15006 vsize=10554792 CPUtime=3.07 cores=1,3,5,7
/proc/15008/task/15009/stat : 15009 (java) R 15006 15008 14484 0 -1 4202560 224232 0 1 0 283 24 0 0 19 0 19 0 912259672 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 46912505855951 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15008/tid=15010] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15010/stat : 15010 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 3 0 0 0
[pid=15008/tid=15012] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15012/stat : 15012 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 3 0 0 0
[pid=15008/tid=15013] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15013/stat : 15013 (java) S 15006 15008 14484 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15014] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15014/stat : 15014 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15015] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15015/stat : 15015 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15016] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15016/stat : 15016 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15017] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15017/stat : 15017 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15018] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15018/stat : 15018 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15019] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15019/stat : 15019 (java) S 15006 15008 14484 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912259674 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296742400 0 0 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15020] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15020/stat : 15020 (java) S 15006 15008 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912259675 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15021] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15021/stat : 15021 (java) S 15006 15008 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912259675 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15022] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15022/stat : 15022 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259677 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296749489 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15023] ppid=15006 vsize=10554792 CPUtime=0.7 cores=1,3,5,7
/proc/15008/task/15023/stat : 15023 (java) S 15006 15008 14484 0 -1 4202560 4376 0 0 0 70 0 0 0 15 0 19 0 912259677 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 5 0 0 0
[pid=15008/tid=15024] ppid=15006 vsize=10554792 CPUtime=0.54 cores=1,3,5,7
/proc/15008/task/15024/stat : 15024 (java) S 15006 15008 14484 0 -1 4202560 9232 0 0 0 54 0 0 0 15 0 19 0 912259677 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15025] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15025/stat : 15025 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259677 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15026] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15026/stat : 15026 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912259677 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296742400 0 4 0 16800975 18446604468519724864 0 0 -1 3 0 0 0
[pid=15008/tid=15027] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15027/stat : 15027 (java) S 15006 15008 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912259701 10808107008 234379 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296742400 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 10554792
[startup+6.30067 s]
/proc/loadavg: 1.94 2.04 2.00 3/595 15027
/proc/meminfo: memFree=23311052/32951124 swapFree=34426104/67111528
[pid=15008] ppid=15006 vsize=10554792 CPUtime=7.6 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14484 0 -1 4202496 483257 0 1 0 706 54 0 0 25 0 19 0 912259671 10808107008 476954 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15008/statm: 2638698 476955 2228 9 0 2629432 0
[pid=15008/tid=15009] ppid=15006 vsize=10554792 CPUtime=6.27 cores=1,3,5,7
/proc/15008/task/15009/stat : 15009 (java) R 15006 15008 14484 0 -1 4202560 468479 0 1 0 574 53 0 0 25 0 19 0 912259672 10808107008 476955 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 46912505805024 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15008/tid=15010] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15010/stat : 15010 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 476957 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 3 0 0 0
[pid=15008/tid=15012] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15012/stat : 15012 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 476960 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 3 0 0 0
[pid=15008/tid=15013] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15013/stat : 15013 (java) S 15006 15008 14484 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 476961 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15014] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15014/stat : 15014 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 476963 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15015] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15015/stat : 15015 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 476964 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15016] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15016/stat : 15016 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 476966 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15017] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15017/stat : 15017 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 476968 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15018] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15018/stat : 15018 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259673 10808107008 476969 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15019] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15019/stat : 15019 (java) S 15006 15008 14484 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912259674 10808107008 476971 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296742400 0 0 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15020] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15020/stat : 15020 (java) S 15006 15008 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912259675 10808107008 476972 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15021] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15021/stat : 15021 (java) S 15006 15008 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912259675 10808107008 476973 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15022] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15022/stat : 15022 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259677 10808107008 476975 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296749489 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15023] ppid=15006 vsize=10554792 CPUtime=0.76 cores=1,3,5,7
/proc/15008/task/15023/stat : 15023 (java) S 15006 15008 14484 0 -1 4202560 4385 0 0 0 76 0 0 0 15 0 19 0 912259677 10808107008 476976 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 5 0 0 0
[pid=15008/tid=15024] ppid=15006 vsize=10554792 CPUtime=0.55 cores=1,3,5,7
/proc/15008/task/15024/stat : 15024 (java) S 15006 15008 14484 0 -1 4202560 9232 0 0 0 55 0 0 0 15 0 19 0 912259677 10808107008 476978 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=15008/tid=15027] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15027/stat : 15027 (java) S 15006 15008 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912259701 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296742400 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1665.38
Current children cumulated vsize (KiB) 10554792
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/595 15130
/proc/meminfo: memFree=21038388/32951124 swapFree=34426104/67111528
[pid=15008] ppid=15006 vsize=10554792 CPUtime=1725.38 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14484 0 -1 4202496 1005262 0 1 0 172420 118 0 0 25 0 19 0 912259671 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15008/statm: 2638698 990865 2245 9 0 2629432 0
[pid=15008/tid=15009] ppid=15006 vsize=10554792 CPUtime=1721.41 cores=1,3,5,7
/proc/15008/task/15009/stat : 15009 (java) R 15006 15008 14484 0 -1 4202560 770378 0 1 0 172053 88 0 0 25 0 19 0 912259672 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 46912505801709 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15008/tid=15010] ppid=15006 vsize=10554792 CPUtime=0.3 cores=1,3,5,7
/proc/15008/task/15010/stat : 15010 (java) S 15006 15008 14484 0 -1 4202560 27155 0 0 0 28 2 0 0 15 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 3 0 0 0
[pid=15008/tid=15012] ppid=15006 vsize=10554792 CPUtime=0.24 cores=1,3,5,7
/proc/15008/task/15012/stat : 15012 (java) S 15006 15008 14484 0 -1 4202560 25093 0 0 0 21 3 0 0 15 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15013] ppid=15006 vsize=10554792 CPUtime=0.31 cores=1,3,5,7
/proc/15008/task/15013/stat : 15013 (java) S 15006 15008 14484 0 -1 4202560 28191 0 0 0 28 3 0 0 16 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 3 0 0 0
[pid=15008/tid=15014] ppid=15006 vsize=10554792 CPUtime=0.34 cores=1,3,5,7
/proc/15008/task/15014/stat : 15014 (java) S 15006 15008 14484 0 -1 4202560 29069 0 0 0 30 4 0 0 16 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15015] ppid=15006 vsize=10554792 CPUtime=0.35 cores=1,3,5,7
/proc/15008/task/15015/stat : 15015 (java) S 15006 15008 14484 0 -1 4202560 33551 0 0 0 31 4 0 0 15 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15016] ppid=15006 vsize=10554792 CPUtime=0.22 cores=1,3,5,7
/proc/15008/task/15016/stat : 15016 (java) S 15006 15008 14484 0 -1 4202560 19876 0 0 0 20 2 0 0 15 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15017] ppid=15006 vsize=10554792 CPUtime=0.36 cores=1,3,5,7
/proc/15008/task/15017/stat : 15017 (java) S 15006 15008 14484 0 -1 4202560 32869 0 0 0 32 4 0 0 16 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 5 0 0 0
[pid=15008/tid=15018] ppid=15006 vsize=10554792 CPUtime=0.22 cores=1,3,5,7
/proc/15008/task/15018/stat : 15018 (java) S 15006 15008 14484 0 -1 4202560 24136 0 0 0 20 2 0 0 15 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 5 0 0 0
[pid=15008/tid=15019] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15019/stat : 15019 (java) S 15006 15008 14484 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 912259674 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296742400 0 0 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15020] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15020/stat : 15020 (java) S 15006 15008 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912259675 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15021] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15021/stat : 15021 (java) S 15006 15008 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912259675 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15022] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15022/stat : 15022 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259677 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296749489 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15023] ppid=15006 vsize=10554792 CPUtime=0.91 cores=1,3,5,7
/proc/15008/task/15023/stat : 15023 (java) S 15006 15008 14484 0 -1 4202560 4403 0 0 0 91 0 0 0 15 0 19 0 912259677 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 5 0 0 0
[pid=15008/tid=15024] ppid=15006 vsize=10554792 CPUtime=0.6 cores=1,3,5,7
/proc/15008/task/15024/stat : 15024 (java) S 15006 15008 14484 0 -1 4202560 9239 0 0 0 60 0 0 0 16 0 19 0 912259677 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15025] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15025/stat : 15025 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259677 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15026] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15026/stat : 15026 (java) S 15006 15008 14484 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 912259677 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296742400 0 4 0 16800975 18446604468519724864 0 0 -1 3 0 0 0
[pid=15008/tid=15027] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15027/stat : 15027 (java) S 15006 15008 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912259701 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296742400 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1725.38
Current children cumulated vsize (KiB) 10554792
[startup+1782.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/595 15132
/proc/meminfo: memFree=21031144/32951124 swapFree=34426104/67111528
[pid=15008] ppid=15006 vsize=10554792 CPUtime=1785.38 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14484 0 -1 4202496 1005266 0 1 0 178420 118 0 0 25 0 19 0 912259671 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15008/statm: 2638698 990865 2245 9 0 2629432 0
[pid=15008/tid=15009] ppid=15006 vsize=10554792 CPUtime=1781.42 cores=1,3,5,7
/proc/15008/task/15009/stat : 15009 (java) R 15006 15008 14484 0 -1 4202560 770378 0 1 0 178054 88 0 0 25 0 19 0 912259672 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 46912506114215 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15008/tid=15010] ppid=15006 vsize=10554792 CPUtime=0.3 cores=1,3,5,7
/proc/15008/task/15010/stat : 15010 (java) S 15006 15008 14484 0 -1 4202560 27155 0 0 0 28 2 0 0 15 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 3 0 0 0
[pid=15008/tid=15012] ppid=15006 vsize=10554792 CPUtime=0.24 cores=1,3,5,7
/proc/15008/task/15012/stat : 15012 (java) S 15006 15008 14484 0 -1 4202560 25093 0 0 0 21 3 0 0 15 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15013] ppid=15006 vsize=10554792 CPUtime=0.31 cores=1,3,5,7
/proc/15008/task/15013/stat : 15013 (java) S 15006 15008 14484 0 -1 4202560 28191 0 0 0 28 3 0 0 16 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 3 0 0 0
[pid=15008/tid=15014] ppid=15006 vsize=10554792 CPUtime=0.34 cores=1,3,5,7
/proc/15008/task/15014/stat : 15014 (java) S 15006 15008 14484 0 -1 4202560 29069 0 0 0 30 4 0 0 16 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15015] ppid=15006 vsize=10554792 CPUtime=0.35 cores=1,3,5,7
/proc/15008/task/15015/stat : 15015 (java) S 15006 15008 14484 0 -1 4202560 33551 0 0 0 31 4 0 0 15 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15016] ppid=15006 vsize=10554792 CPUtime=0.22 cores=1,3,5,7
/proc/15008/task/15016/stat : 15016 (java) S 15006 15008 14484 0 -1 4202560 19876 0 0 0 20 2 0 0 15 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15017] ppid=15006 vsize=10554792 CPUtime=0.36 cores=1,3,5,7
/proc/15008/task/15017/stat : 15017 (java) S 15006 15008 14484 0 -1 4202560 32869 0 0 0 32 4 0 0 16 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 5 0 0 0
[pid=15008/tid=15018] ppid=15006 vsize=10554792 CPUtime=0.22 cores=1,3,5,7
/proc/15008/task/15018/stat : 15018 (java) S 15006 15008 14484 0 -1 4202560 24136 0 0 0 20 2 0 0 15 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 5 0 0 0
[pid=15008/tid=15019] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15019/stat : 15019 (java) S 15006 15008 14484 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 912259674 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296742400 0 0 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15020] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15020/stat : 15020 (java) S 15006 15008 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912259675 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15021] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15021/stat : 15021 (java) S 15006 15008 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912259675 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15022] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15022/stat : 15022 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259677 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296749489 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15023] ppid=15006 vsize=10554792 CPUtime=0.91 cores=1,3,5,7
/proc/15008/task/15023/stat : 15023 (java) S 15006 15008 14484 0 -1 4202560 4403 0 0 0 91 0 0 0 15 0 19 0 912259677 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 5 0 0 0
[pid=15008/tid=15024] ppid=15006 vsize=10554792 CPUtime=0.6 cores=1,3,5,7
/proc/15008/task/15024/stat : 15024 (java) S 15006 15008 14484 0 -1 4202560 9239 0 0 0 60 0 0 0 16 0 19 0 912259677 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15025] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15025/stat : 15025 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259677 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15026] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15026/stat : 15026 (java) S 15006 15008 14484 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 912259677 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296742400 0 4 0 16800975 18446604468519724864 0 0 -1 3 0 0 0
[pid=15008/tid=15027] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15027/stat : 15027 (java) S 15006 15008 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912259701 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296742400 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1785.38
Current children cumulated vsize (KiB) 10554792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797 s]
/proc/loadavg: 2.13 2.06 2.01 3/595 15132
/proc/meminfo: memFree=21029640/32951124 swapFree=34426104/67111528
[pid=15008] ppid=15006 vsize=10554792 CPUtime=1800.09 cores=1,3,5,7
/proc/15008/stat : 15008 (java) S 15006 15008 14484 0 -1 4202496 1005268 0 1 0 179891 118 0 0 25 0 19 0 912259671 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15008/statm: 2638698 990865 2245 9 0 2629432 0
[pid=15008/tid=15009] ppid=15006 vsize=10554792 CPUtime=1796.14 cores=1,3,5,7
/proc/15008/task/15009/stat : 15009 (java) R 15006 15008 14484 0 -1 4202560 770378 0 1 0 179526 88 0 0 25 0 19 0 912259672 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 46912505801684 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15008/tid=15010] ppid=15006 vsize=10554792 CPUtime=0.3 cores=1,3,5,7
/proc/15008/task/15010/stat : 15010 (java) S 15006 15008 14484 0 -1 4202560 27155 0 0 0 28 2 0 0 15 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 3 0 0 0
[pid=15008/tid=15012] ppid=15006 vsize=10554792 CPUtime=0.24 cores=1,3,5,7
/proc/15008/task/15012/stat : 15012 (java) S 15006 15008 14484 0 -1 4202560 25093 0 0 0 21 3 0 0 15 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15013] ppid=15006 vsize=10554792 CPUtime=0.31 cores=1,3,5,7
/proc/15008/task/15013/stat : 15013 (java) S 15006 15008 14484 0 -1 4202560 28191 0 0 0 28 3 0 0 16 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 3 0 0 0
[pid=15008/tid=15014] ppid=15006 vsize=10554792 CPUtime=0.34 cores=1,3,5,7
/proc/15008/task/15014/stat : 15014 (java) S 15006 15008 14484 0 -1 4202560 29069 0 0 0 30 4 0 0 16 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15015] ppid=15006 vsize=10554792 CPUtime=0.35 cores=1,3,5,7
/proc/15008/task/15015/stat : 15015 (java) S 15006 15008 14484 0 -1 4202560 33551 0 0 0 31 4 0 0 15 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15016] ppid=15006 vsize=10554792 CPUtime=0.22 cores=1,3,5,7
/proc/15008/task/15016/stat : 15016 (java) S 15006 15008 14484 0 -1 4202560 19876 0 0 0 20 2 0 0 15 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15017] ppid=15006 vsize=10554792 CPUtime=0.36 cores=1,3,5,7
/proc/15008/task/15017/stat : 15017 (java) S 15006 15008 14484 0 -1 4202560 32869 0 0 0 32 4 0 0 16 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 5 0 0 0
[pid=15008/tid=15018] ppid=15006 vsize=10554792 CPUtime=0.22 cores=1,3,5,7
/proc/15008/task/15018/stat : 15018 (java) S 15006 15008 14484 0 -1 4202560 24136 0 0 0 20 2 0 0 15 0 19 0 912259673 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 5 0 0 0
[pid=15008/tid=15019] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15019/stat : 15019 (java) S 15006 15008 14484 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 912259674 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296742400 0 0 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15020] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15020/stat : 15020 (java) S 15006 15008 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912259675 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15021] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15021/stat : 15021 (java) S 15006 15008 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912259675 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15022] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15022/stat : 15022 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259677 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296749489 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15023] ppid=15006 vsize=10554792 CPUtime=0.91 cores=1,3,5,7
/proc/15008/task/15023/stat : 15023 (java) S 15006 15008 14484 0 -1 4202560 4403 0 0 0 91 0 0 0 15 0 19 0 912259677 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 5 0 0 0
[pid=15008/tid=15024] ppid=15006 vsize=10554792 CPUtime=0.6 cores=1,3,5,7
/proc/15008/task/15024/stat : 15024 (java) S 15006 15008 14484 0 -1 4202560 9239 0 0 0 60 0 0 0 16 0 19 0 912259677 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
[pid=15008/tid=15025] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15025/stat : 15025 (java) S 15006 15008 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912259677 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296741785 0 4 0 16800975 18446604468519724864 0 0 -1 7 0 0 0
[pid=15008/tid=15026] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15026/stat : 15026 (java) S 15006 15008 14484 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 912259677 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296742400 0 4 0 16800975 18446604468519724864 0 0 -1 3 0 0 0
[pid=15008/tid=15027] ppid=15006 vsize=10554792 CPUtime=0 cores=1,3,5,7
/proc/15008/task/15027/stat : 15027 (java) S 15006 15008 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912259701 10808107008 990865 33554432000 1073741824 1073778376 140735847016720 18446744073709551615 224296742400 0 4 0 16800975 18446604468519724864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10554792
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.13 s]
/proc/loadavg: 2.13 2.06 2.01 3/595 15132
/proc/meminfo: memFree=21029640/32951124 swapFree=34426104/67111528
[pid=15008] ppid=15006 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/15008/stat : 15008 (java) Z 15006 15008 14484 0 -1 4203548 1005298 0 1 0 179895 127 0 0 17 0 2 0 912259671 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15008/statm: 0 0 0 0 0 0 0
[pid=15008/tid=15027] ppid=15006 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/15008/task/15027/stat : 15027 (java) R 15006 15008 14484 0 -1 4203588 7 0 0 0 0 8 0 0 18 0 2 0 912259701 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
[startup+1797.2 s]
/proc/loadavg: 2.13 2.06 2.01 3/595 15132
/proc/meminfo: memFree=21029640/32951124 swapFree=34426104/67111528
[pid=15008] ppid=15006 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/15008/stat : 15008 (java) Z 15006 15008 14484 0 -1 4203548 1005298 0 1 0 179895 135 0 0 17 0 2 0 912259671 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15008/statm: 0 0 0 0 0 0 0
[pid=15008/tid=15027] ppid=15006 vsize=0 CPUtime=0.15 cores=1,3,5,7
/proc/15008/task/15027/stat : 15027 (java) R 15006 15008 14484 0 -1 4203588 7 0 0 0 0 15 0 0 18 0 2 0 912259701 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.2
CPU time (s): 1800.31
CPU user time (s): 1798.96
CPU system time (s): 1.35379
CPU usage (%): 100.173
Max. virtual memory (cumulated for all children) (KiB): 10554792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.35379
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1005298
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= 37545
involuntary context switches= 39447
runsolver used 10.0275 second user time and 24.0143 second system time
The end