runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3687875-1337877295/watcher-3687875-1337877295 -o /tmp/evaluation-result-3687875-1337877295/solver-3687875-1337877295 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687875-1337877295.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 3/194 12770
/proc/meminfo: memFree=27784640/32873844 swapFree=7364/7364
[pid=12770] ppid=12768 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12770/stat : 12770 (java) D 12768 12770 12001 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253855603 9515008 183 33554432000 1073741824 1073778376 140735678873968 140735678865000 251032059573 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/12770/statm: 2323 183 140 9 0 71 0
[startup+0.0131671 s]
/proc/loadavg: 2.00 2.00 1.94 3/194 12770
/proc/meminfo: memFree=27784640/32873844 swapFree=7364/7364
[pid=12770] ppid=12768 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/12770/stat : 12770 (java) S 12768 12770 12001 0 -1 4202496 1240 0 0 0 0 0 0 0 20 0 2 0 253855603 98635776 948 33554432000 1073741824 1073778376 140734664846672 140734664837808 251035418685 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12770/statm: 24081 948 718 9 0 16771 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96324
[startup+0.10016 s]
/proc/loadavg: 2.00 2.00 1.94 3/194 12770
/proc/meminfo: memFree=27784640/32873844 swapFree=7364/7364
[pid=12770] ppid=12768 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/12770/stat : 12770 (java) S 12768 12770 12001 0 -1 4202496 4339 0 1 0 8 0 0 0 20 0 18 0 253855603 9787813888 5022 33554432000 1073741824 1073778376 140734664846672 140734664837808 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12770/statm: 2389603 5022 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.30019 s]
/proc/loadavg: 2.00 2.00 1.94 3/194 12770
/proc/meminfo: memFree=27784640/32873844 swapFree=7364/7364
[pid=12770] ppid=12768 vsize=9558412 CPUtime=0.45 cores=1,3,5,7
/proc/12770/stat : 12770 (java) S 12768 12770 12001 0 -1 4202496 5753 0 1 0 44 1 0 0 20 0 18 0 253855603 9787813888 7891 33554432000 1073741824 1073778376 140734664846672 140734664837808 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12770/statm: 2389603 7891 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558412
[startup+0.700195 s]
/proc/loadavg: 2.00 2.00 1.94 3/194 12770
/proc/meminfo: memFree=27784640/32873844 swapFree=7364/7364
[pid=12770] ppid=12768 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/12770/stat : 12770 (java) S 12768 12770 12001 0 -1 4202496 9143 0 1 0 113 3 0 0 20 0 19 0 253855603 9855975424 25721 33554432000 1073741824 1073778376 140734664846672 140734664837808 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12770/statm: 2406244 25721 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9624976
[startup+1.50078 s]
/proc/loadavg: 2.00 2.00 1.94 3/213 12789
/proc/meminfo: memFree=27681024/32873844 swapFree=7364/7364
[pid=12770] ppid=12768 vsize=9624976 CPUtime=2.08 cores=1,3,5,7
/proc/12770/stat : 12770 (java) S 12768 12770 12001 0 -1 4202496 9265 0 1 0 203 5 0 0 20 0 19 0 253855603 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140734664837808 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12770/statm: 2406244 34512 2278 9 0 2396937 0
[pid=12770/tid=12772] ppid=12768 vsize=9624976 CPUtime=1.43 cores=1,3,5,7
/proc/12770/task/12772/stat : 12772 (java) R 12768 12770 12001 0 -1 4202560 2548 0 1 0 140 3 0 0 20 0 19 0 253855604 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016881066392 140016753285030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12773] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12773/stat : 12773 (java) S 12768 12770 12001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253855605 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016725084968 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12774] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12774/stat : 12774 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855605 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016724032168 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12775] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12775/stat : 12775 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855605 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016722979880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12776] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12776/stat : 12776 (java) S 12768 12770 12001 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253855605 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016721927080 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12770/tid=12777] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12777/stat : 12777 (java) S 12768 12770 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253855605 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016720873768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12778] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12778/stat : 12778 (java) S 12768 12770 12001 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253855605 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016719820968 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12779] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12779/stat : 12779 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855605 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016718768680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12780] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12780/stat : 12780 (java) S 12768 12770 12001 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253855605 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016717715880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12781] ppid=12768 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/12770/task/12781/stat : 12781 (java) S 12768 12770 12001 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 253855606 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016705305320 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12782] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12782/stat : 12782 (java) S 12768 12770 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253855607 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016704251384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12783] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12783/stat : 12783 (java) S 12768 12770 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253855607 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016703198984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12784] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12784/stat : 12784 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855609 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016702147472 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12785] ppid=12768 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/12770/task/12785/stat : 12785 (java) R 12768 12770 12001 0 -1 4202560 2699 0 0 0 33 0 0 0 20 0 19 0 253855609 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016701094072 140016885153120 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12786] ppid=12768 vsize=9624976 CPUtime=0.24 cores=1,3,5,7
/proc/12770/task/12786/stat : 12786 (java) R 12768 12770 12001 0 -1 4202560 2759 0 0 0 24 0 0 0 20 0 19 0 253855609 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016700041272 140016888039944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12787] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12787/stat : 12787 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855609 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016698989176 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12788] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12788/stat : 12788 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855609 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016697936584 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12789] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12789/stat : 12789 (java) S 12768 12770 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253855653 9855975424 34512 33554432000 1073741824 1073778376 140734664846672 140016696882600 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9624976
[startup+3.10082 s]
/proc/loadavg: 2.00 2.00 1.94 3/213 12789
/proc/meminfo: memFree=27631120/32873844 swapFree=7364/7364
[pid=12770] ppid=12768 vsize=9624976 CPUtime=3.78 cores=1,3,5,7
/proc/12770/stat : 12770 (java) S 12768 12770 12001 0 -1 4202496 9342 0 1 0 369 9 0 0 20 0 19 0 253855603 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140734664837808 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12770/statm: 2406244 46308 2278 9 0 2396937 0
[pid=12770/tid=12772] ppid=12768 vsize=9624976 CPUtime=2.96 cores=1,3,5,7
/proc/12770/task/12772/stat : 12772 (java) R 12768 12770 12001 0 -1 4202560 2549 0 1 0 293 3 0 0 20 0 19 0 253855604 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016881066272 140016753318898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12773] ppid=12768 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/12770/task/12773/stat : 12773 (java) S 12768 12770 12001 0 -1 4202560 25 0 0 0 0 1 0 0 20 0 19 0 253855605 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016725084968 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12774] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12774/stat : 12774 (java) S 12768 12770 12001 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253855605 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016724032168 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12775] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12775/stat : 12775 (java) S 12768 12770 12001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253855605 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016722979880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12776] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12776/stat : 12776 (java) S 12768 12770 12001 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 253855605 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016721927080 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12777] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12777/stat : 12777 (java) S 12768 12770 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253855605 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016720873768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12778] ppid=12768 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/12770/task/12778/stat : 12778 (java) S 12768 12770 12001 0 -1 4202560 15 0 0 0 0 1 0 0 20 0 19 0 253855605 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016719820968 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12779] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12779/stat : 12779 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855605 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016718768680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12780] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12780/stat : 12780 (java) S 12768 12770 12001 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253855605 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016717715880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12781] ppid=12768 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/12770/task/12781/stat : 12781 (java) S 12768 12770 12001 0 -1 4202560 45 0 0 0 5 0 0 0 20 0 19 0 253855606 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016705305320 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12770/tid=12782] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12782/stat : 12782 (java) S 12768 12770 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253855607 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016704251384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12783] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12783/stat : 12783 (java) S 12768 12770 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253855607 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016703198984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12784] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12784/stat : 12784 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855609 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016702147472 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12785] ppid=12768 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/12770/task/12785/stat : 12785 (java) S 12768 12770 12001 0 -1 4202560 2705 0 0 0 35 0 0 0 20 0 19 0 253855609 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016701094072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12786] ppid=12768 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/12770/task/12786/stat : 12786 (java) S 12768 12770 12001 0 -1 4202560 2761 0 0 0 26 0 0 0 20 0 19 0 253855609 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016700041272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12787] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12787/stat : 12787 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855609 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016698989176 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12788] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12788/stat : 12788 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855609 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016697936584 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12789] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12789/stat : 12789 (java) S 12768 12770 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253855653 9855975424 46308 33554432000 1073741824 1073778376 140734664846672 140016696882600 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 9624976
[startup+6.30083 s]
/proc/loadavg: 2.00 2.00 1.94 3/213 12789
/proc/meminfo: memFree=27602264/32873844 swapFree=7364/7364
[pid=12770] ppid=12768 vsize=9624976 CPUtime=7.17 cores=1,3,5,7
/proc/12770/stat : 12770 (java) S 12768 12770 12001 0 -1 4202496 9880 0 1 0 706 11 0 0 20 0 19 0 253855603 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140734664837808 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12770/statm: 2406244 47857 2278 9 0 2396937 0
[pid=12770/tid=12772] ppid=12768 vsize=9624976 CPUtime=6.04 cores=1,3,5,7
/proc/12770/task/12772/stat : 12772 (java) R 12768 12770 12001 0 -1 4202560 2550 0 1 0 601 3 0 0 20 0 19 0 253855604 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016881066272 140016753284776 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12773] ppid=12768 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/12770/task/12773/stat : 12773 (java) S 12768 12770 12001 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 19 0 253855605 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016725084968 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12774] ppid=12768 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/12770/task/12774/stat : 12774 (java) S 12768 12770 12001 0 -1 4202560 132 0 0 0 1 1 0 0 20 0 19 0 253855605 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016724032168 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12770/tid=12775] ppid=12768 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/12770/task/12775/stat : 12775 (java) S 12768 12770 12001 0 -1 4202560 131 0 0 0 1 0 0 0 20 0 19 0 253855605 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016722979880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12770/tid=12776] ppid=12768 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/12770/task/12776/stat : 12776 (java) S 12768 12770 12001 0 -1 4202560 179 0 0 0 2 0 0 0 20 0 19 0 253855605 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016721927080 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12777] ppid=12768 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/12770/task/12777/stat : 12777 (java) S 12768 12770 12001 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 253855605 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016720873768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12778] ppid=12768 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/12770/task/12778/stat : 12778 (java) S 12768 12770 12001 0 -1 4202560 16 0 0 0 0 2 0 0 20 0 19 0 253855605 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016719820968 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12779] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12779/stat : 12779 (java) S 12768 12770 12001 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253855605 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016718768680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12780] ppid=12768 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/12770/task/12780/stat : 12780 (java) S 12768 12770 12001 0 -1 4202560 98 0 0 0 1 0 0 0 20 0 19 0 253855605 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016717715880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12781] ppid=12768 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/12770/task/12781/stat : 12781 (java) S 12768 12770 12001 0 -1 4202560 45 0 0 0 13 0 0 0 20 0 19 0 253855606 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016705305320 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12782] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12782/stat : 12782 (java) S 12768 12770 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253855607 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016704251384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12783] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12783/stat : 12783 (java) S 12768 12770 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253855607 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016703198984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12784] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12784/stat : 12784 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855609 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016702147472 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12785] ppid=12768 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/12770/task/12785/stat : 12785 (java) S 12768 12770 12001 0 -1 4202560 2743 0 0 0 48 0 0 0 20 0 19 0 253855609 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016701094072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12786] ppid=12768 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/12770/task/12786/stat : 12786 (java) S 12768 12770 12001 0 -1 4202560 2762 0 0 0 26 0 0 0 20 0 19 0 253855609 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016700041272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12787] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12787/stat : 12787 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855609 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016698989176 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12788] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12788/stat : 12788 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855609 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016697936584 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12789] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12789/stat : 12789 (java) S 12768 12770 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253855653 9855975424 47857 33554432000 1073741824 1073778376 140734664846672 140016696882600 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 9624976
[startup+12.7008 s]
################
# More data... #
################
[pid=12770/tid=12778] ppid=12768 vsize=9624976 CPUtime=2.51 cores=1,3,5,7
/proc/12770/task/12778/stat : 12778 (java) S 12768 12770 12001 0 -1 4202560 723 0 0 0 234 17 0 0 20 0 19 0 253855605 9855975424 180833 33554432000 1073741824 1073778376 140734664846672 140016719820968 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12779] ppid=12768 vsize=9624976 CPUtime=2.61 cores=1,3,5,7
/proc/12770/task/12779/stat : 12779 (java) S 12768 12770 12001 0 -1 4202560 1333 0 0 0 240 21 0 0 20 0 19 0 253855605 9855975424 180833 33554432000 1073741824 1073778376 140734664846672 140016718768680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12770/tid=12780] ppid=12768 vsize=9624976 CPUtime=2.43 cores=1,3,5,7
/proc/12770/task/12780/stat : 12780 (java) S 12768 12770 12001 0 -1 4202560 1501 0 0 0 225 18 0 0 20 0 19 0 253855605 9855975424 180833 33554432000 1073741824 1073778376 140734664846672 140016717715880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12781] ppid=12768 vsize=9624976 CPUtime=6.04 cores=1,3,5,7
/proc/12770/task/12781/stat : 12781 (java) S 12768 12770 12001 0 -1 4202560 1278 0 0 0 597 7 0 0 20 0 19 0 253855606 9855975424 180833 33554432000 1073741824 1073778376 140734664846672 140016705305320 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12782] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12782/stat : 12782 (java) S 12768 12770 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253855607 9855975424 180833 33554432000 1073741824 1073778376 140734664846672 140016704251384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12783] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12783/stat : 12783 (java) S 12768 12770 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253855607 9855975424 180833 33554432000 1073741824 1073778376 140734664846672 140016703198984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12784] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12784/stat : 12784 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855609 9855975424 180833 33554432000 1073741824 1073778376 140734664846672 140016702147472 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12785] ppid=12768 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/12770/task/12785/stat : 12785 (java) S 12768 12770 12001 0 -1 4202560 2750 0 0 0 50 0 0 0 20 0 19 0 253855609 9855975424 180833 33554432000 1073741824 1073778376 140734664846672 140016701094072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12786] ppid=12768 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/12770/task/12786/stat : 12786 (java) S 12768 12770 12001 0 -1 4202560 2762 0 0 0 26 0 0 0 20 0 19 0 253855609 9855975424 180833 33554432000 1073741824 1073778376 140734664846672 140016700041272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12787] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12787/stat : 12787 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855609 9855975424 180833 33554432000 1073741824 1073778376 140734664846672 140016698989176 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12788] ppid=12768 vsize=9624976 CPUtime=0.82 cores=1,3,5,7
/proc/12770/task/12788/stat : 12788 (java) S 12768 12770 12001 0 -1 4202560 95 0 0 0 40 42 0 0 20 0 19 0 253855609 9855975424 180833 33554432000 1073741824 1073778376 140734664846672 140016697936584 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12789] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12789/stat : 12789 (java) S 12768 12770 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253855653 9855975424 180833 33554432000 1073741824 1073778376 140734664846672 140016696882600 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1678.45
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/213 12886
/proc/meminfo: memFree=26659948/32873844 swapFree=7364/7364
[pid=12770] ppid=12768 vsize=9624976 CPUtime=1739.58 cores=1,3,5,7
/proc/12770/stat : 12770 (java) S 12768 12770 12001 0 -1 4202496 23736 0 1 0 173738 220 0 0 20 0 19 0 253855603 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140734664837808 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12770/statm: 2406244 187262 2279 9 0 2396937 0
[pid=12770/tid=12772] ppid=12768 vsize=9624976 CPUtime=1709.64 cores=1,3,5,7
/proc/12770/task/12772/stat : 12772 (java) R 12768 12770 12001 0 -1 4202560 2910 0 1 0 170931 33 0 0 20 0 19 0 253855604 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016881065312 140016753260545 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12773] ppid=12768 vsize=9624976 CPUtime=2.92 cores=1,3,5,7
/proc/12770/task/12773/stat : 12773 (java) S 12768 12770 12001 0 -1 4202560 2023 0 0 0 272 20 0 0 20 0 19 0 253855605 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016725084968 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12774] ppid=12768 vsize=9624976 CPUtime=2.83 cores=1,3,5,7
/proc/12770/task/12774/stat : 12774 (java) S 12768 12770 12001 0 -1 4202560 1371 0 0 0 261 22 0 0 20 0 19 0 253855605 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016724032168 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12775] ppid=12768 vsize=9624976 CPUtime=2.74 cores=1,3,5,7
/proc/12770/task/12775/stat : 12775 (java) S 12768 12770 12001 0 -1 4202560 1439 0 0 0 257 17 0 0 20 0 19 0 253855605 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016722979880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12776] ppid=12768 vsize=9624976 CPUtime=2.73 cores=1,3,5,7
/proc/12770/task/12776/stat : 12776 (java) S 12768 12770 12001 0 -1 4202560 2036 0 0 0 253 20 0 0 20 0 19 0 253855605 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016721927080 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12770/tid=12777] ppid=12768 vsize=9624976 CPUtime=2.73 cores=1,3,5,7
/proc/12770/task/12777/stat : 12777 (java) S 12768 12770 12001 0 -1 4202560 1651 0 0 0 259 14 0 0 20 0 19 0 253855605 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016720873768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12770/tid=12778] ppid=12768 vsize=9624976 CPUtime=2.73 cores=1,3,5,7
/proc/12770/task/12778/stat : 12778 (java) S 12768 12770 12001 0 -1 4202560 853 0 0 0 256 17 0 0 20 0 19 0 253855605 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016719820968 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12779] ppid=12768 vsize=9624976 CPUtime=2.82 cores=1,3,5,7
/proc/12770/task/12779/stat : 12779 (java) S 12768 12770 12001 0 -1 4202560 1672 0 0 0 261 21 0 0 20 0 19 0 253855605 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016718768680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12780] ppid=12768 vsize=9624976 CPUtime=2.64 cores=1,3,5,7
/proc/12770/task/12780/stat : 12780 (java) S 12768 12770 12001 0 -1 4202560 1682 0 0 0 246 18 0 0 20 0 19 0 253855605 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016717715880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12781] ppid=12768 vsize=9624976 CPUtime=6.05 cores=1,3,5,7
/proc/12770/task/12781/stat : 12781 (java) S 12768 12770 12001 0 -1 4202560 1306 0 0 0 598 7 0 0 20 0 19 0 253855606 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016705305320 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12782] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12782/stat : 12782 (java) S 12768 12770 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253855607 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016704251384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12783] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12783/stat : 12783 (java) S 12768 12770 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253855607 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016703198984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12784] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12784/stat : 12784 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855609 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016702147472 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12785] ppid=12768 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/12770/task/12785/stat : 12785 (java) S 12768 12770 12001 0 -1 4202560 2750 0 0 0 50 0 0 0 20 0 19 0 253855609 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016701094072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12786] ppid=12768 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/12770/task/12786/stat : 12786 (java) S 12768 12770 12001 0 -1 4202560 2762 0 0 0 26 0 0 0 20 0 19 0 253855609 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016700041272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12787] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12787/stat : 12787 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855609 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016698989176 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12788] ppid=12768 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/12770/task/12788/stat : 12788 (java) S 12768 12770 12001 0 -1 4202560 99 0 0 0 42 43 0 0 20 0 19 0 253855609 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016697936584 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12789] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12789/stat : 12789 (java) S 12768 12770 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253855653 9855975424 187262 33554432000 1073741824 1073778376 140734664846672 140016696882600 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1739.58
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1781.7 s]
/proc/loadavg: 2.55 2.11 2.03 3/213 12886
/proc/meminfo: memFree=26638004/32873844 swapFree=7364/7364
[pid=12770] ppid=12768 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/12770/stat : 12770 (java) S 12768 12770 12001 0 -1 4202496 23793 0 1 0 179780 225 0 0 20 0 19 0 253855603 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140734664837808 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12770/statm: 2406244 183479 2279 9 0 2396937 0
[pid=12770/tid=12772] ppid=12768 vsize=9624976 CPUtime=1768.4 cores=1,3,5,7
/proc/12770/task/12772/stat : 12772 (java) R 12768 12770 12001 0 -1 4202560 2941 0 1 0 176805 35 0 0 20 0 19 0 253855604 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016881065312 140016753260545 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12773] ppid=12768 vsize=9624976 CPUtime=3.13 cores=1,3,5,7
/proc/12770/task/12773/stat : 12773 (java) S 12768 12770 12001 0 -1 4202560 2024 0 0 0 292 21 0 0 20 0 19 0 253855605 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016725084968 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12774] ppid=12768 vsize=9624976 CPUtime=3.03 cores=1,3,5,7
/proc/12770/task/12774/stat : 12774 (java) S 12768 12770 12001 0 -1 4202560 1371 0 0 0 281 22 0 0 20 0 19 0 253855605 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016724032168 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12775] ppid=12768 vsize=9624976 CPUtime=2.9 cores=1,3,5,7
/proc/12770/task/12775/stat : 12775 (java) S 12768 12770 12001 0 -1 4202560 1440 0 0 0 273 17 0 0 20 0 19 0 253855605 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016722979880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12770/tid=12776] ppid=12768 vsize=9624976 CPUtime=2.91 cores=1,3,5,7
/proc/12770/task/12776/stat : 12776 (java) S 12768 12770 12001 0 -1 4202560 2036 0 0 0 271 20 0 0 20 0 19 0 253855605 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016721927080 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12777] ppid=12768 vsize=9624976 CPUtime=2.93 cores=1,3,5,7
/proc/12770/task/12777/stat : 12777 (java) S 12768 12770 12001 0 -1 4202560 1651 0 0 0 279 14 0 0 20 0 19 0 253855605 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016720873768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12778] ppid=12768 vsize=9624976 CPUtime=2.91 cores=1,3,5,7
/proc/12770/task/12778/stat : 12778 (java) S 12768 12770 12001 0 -1 4202560 853 0 0 0 274 17 0 0 20 0 19 0 253855605 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016719820968 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12779] ppid=12768 vsize=9624976 CPUtime=3 cores=1,3,5,7
/proc/12770/task/12779/stat : 12779 (java) S 12768 12770 12001 0 -1 4202560 1672 0 0 0 278 22 0 0 20 0 19 0 253855605 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016718768680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12780] ppid=12768 vsize=9624976 CPUtime=2.82 cores=1,3,5,7
/proc/12770/task/12780/stat : 12780 (java) S 12768 12770 12001 0 -1 4202560 1683 0 0 0 264 18 0 0 20 0 19 0 253855605 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016717715880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12770/tid=12781] ppid=12768 vsize=9624976 CPUtime=6.24 cores=1,3,5,7
/proc/12770/task/12781/stat : 12781 (java) S 12768 12770 12001 0 -1 4202560 1325 0 0 0 617 7 0 0 20 0 19 0 253855606 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016705305320 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12782] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12782/stat : 12782 (java) S 12768 12770 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253855607 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016704251384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12783] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12783/stat : 12783 (java) S 12768 12770 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253855607 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016703198984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12784] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12784/stat : 12784 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855609 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016702147472 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12785] ppid=12768 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/12770/task/12785/stat : 12785 (java) S 12768 12770 12001 0 -1 4202560 2750 0 0 0 50 0 0 0 20 0 19 0 253855609 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016701094072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12786] ppid=12768 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/12770/task/12786/stat : 12786 (java) S 12768 12770 12001 0 -1 4202560 2762 0 0 0 26 0 0 0 20 0 19 0 253855609 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016700041272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12787] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12787/stat : 12787 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855609 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016698989176 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12788] ppid=12768 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/12770/task/12788/stat : 12788 (java) S 12768 12770 12001 0 -1 4202560 103 0 0 0 43 44 0 0 20 0 19 0 253855609 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016697936584 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12789] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12789/stat : 12789 (java) S 12768 12770 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253855653 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016696882600 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1781.7 s]
/proc/loadavg: 2.55 2.11 2.03 3/213 12886
/proc/meminfo: memFree=26638004/32873844 swapFree=7364/7364
[pid=12770] ppid=12768 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/12770/stat : 12770 (java) S 12768 12770 12001 0 -1 4202496 23793 0 1 0 179780 225 0 0 20 0 19 0 253855603 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140734664837808 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12770/statm: 2406244 183479 2279 9 0 2396937 0
[pid=12770/tid=12772] ppid=12768 vsize=9624976 CPUtime=1768.4 cores=1,3,5,7
/proc/12770/task/12772/stat : 12772 (java) R 12768 12770 12001 0 -1 4202560 2941 0 1 0 176805 35 0 0 20 0 19 0 253855604 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016881065312 140016753260545 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12773] ppid=12768 vsize=9624976 CPUtime=3.13 cores=1,3,5,7
/proc/12770/task/12773/stat : 12773 (java) S 12768 12770 12001 0 -1 4202560 2024 0 0 0 292 21 0 0 20 0 19 0 253855605 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016725084968 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12774] ppid=12768 vsize=9624976 CPUtime=3.03 cores=1,3,5,7
/proc/12770/task/12774/stat : 12774 (java) S 12768 12770 12001 0 -1 4202560 1371 0 0 0 281 22 0 0 20 0 19 0 253855605 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016724032168 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12775] ppid=12768 vsize=9624976 CPUtime=2.9 cores=1,3,5,7
/proc/12770/task/12775/stat : 12775 (java) S 12768 12770 12001 0 -1 4202560 1440 0 0 0 273 17 0 0 20 0 19 0 253855605 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016722979880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12770/tid=12776] ppid=12768 vsize=9624976 CPUtime=2.91 cores=1,3,5,7
/proc/12770/task/12776/stat : 12776 (java) S 12768 12770 12001 0 -1 4202560 2036 0 0 0 271 20 0 0 20 0 19 0 253855605 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016721927080 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12777] ppid=12768 vsize=9624976 CPUtime=2.93 cores=1,3,5,7
/proc/12770/task/12777/stat : 12777 (java) S 12768 12770 12001 0 -1 4202560 1651 0 0 0 279 14 0 0 20 0 19 0 253855605 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016720873768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12778] ppid=12768 vsize=9624976 CPUtime=2.91 cores=1,3,5,7
/proc/12770/task/12778/stat : 12778 (java) S 12768 12770 12001 0 -1 4202560 853 0 0 0 274 17 0 0 20 0 19 0 253855605 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016719820968 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12779] ppid=12768 vsize=9624976 CPUtime=3 cores=1,3,5,7
/proc/12770/task/12779/stat : 12779 (java) S 12768 12770 12001 0 -1 4202560 1672 0 0 0 278 22 0 0 20 0 19 0 253855605 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016718768680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12780] ppid=12768 vsize=9624976 CPUtime=2.82 cores=1,3,5,7
/proc/12770/task/12780/stat : 12780 (java) S 12768 12770 12001 0 -1 4202560 1683 0 0 0 264 18 0 0 20 0 19 0 253855605 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016717715880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12770/tid=12781] ppid=12768 vsize=9624976 CPUtime=6.24 cores=1,3,5,7
/proc/12770/task/12781/stat : 12781 (java) S 12768 12770 12001 0 -1 4202560 1325 0 0 0 617 7 0 0 20 0 19 0 253855606 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016705305320 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12782] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12782/stat : 12782 (java) S 12768 12770 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253855607 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016704251384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12783] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12783/stat : 12783 (java) S 12768 12770 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253855607 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016703198984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12784] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12784/stat : 12784 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855609 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016702147472 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12785] ppid=12768 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/12770/task/12785/stat : 12785 (java) S 12768 12770 12001 0 -1 4202560 2750 0 0 0 50 0 0 0 20 0 19 0 253855609 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016701094072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12770/tid=12786] ppid=12768 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/12770/task/12786/stat : 12786 (java) S 12768 12770 12001 0 -1 4202560 2762 0 0 0 26 0 0 0 20 0 19 0 253855609 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016700041272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12787] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12787/stat : 12787 (java) S 12768 12770 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253855609 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016698989176 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12770/tid=12788] ppid=12768 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/12770/task/12788/stat : 12788 (java) S 12768 12770 12001 0 -1 4202560 103 0 0 0 43 44 0 0 20 0 19 0 253855609 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016697936584 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12770/tid=12789] ppid=12768 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12770/task/12789/stat : 12789 (java) S 12768 12770 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253855653 9855975424 183479 33554432000 1073741824 1073778376 140734664846672 140016696882600 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976
Child status: 143
Real time (s): 1781.76
CPU time (s): 1800.25
CPU user time (s): 1797.74
CPU system time (s): 2.51062
CPU usage (%): 101.038
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.74
system time used= 2.51062
maximum resident set size= 969096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23832
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49250
involuntary context switches= 49780
runsolver used 6.18206 second user time and 16.4325 second system time
The end