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-3478881-1307442176/watcher-3478881-1307442176 -o /tmp/evaluation-result-3478881-1307442176/solver-3478881-1307442176 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3478881-1307442176.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.12 2.10 2.02 3/552 9837
/proc/meminfo: memFree=24787676/32951124 swapFree=46970528/67111528
[pid=9837] ppid=9835 vsize=33748 CPUtime=0 cores=0,2,4,6
/proc/9837/stat : 9837 (java) S 9835 9837 9329 0 -1 4202496 1283 0 0 0 0 0 0 0 25 0 2 0 836633838 34557952 999 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/9837/statm: 8437 999 769 9 0 386 0
[pid=9837/tid=9839] ppid=9835 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9329 0 -1 4202560 8375 0 1 0 0 0 0 0 25 0 2 0 836633839 10694979584 9191 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.11089 s]
/proc/loadavg: 2.12 2.10 2.02 3/552 9837
/proc/meminfo: memFree=24787676/32951124 swapFree=46970528/67111528
[pid=9837] ppid=9835 vsize=10539788 CPUtime=0.12 cores=0,2,4,6
/proc/9837/stat : 9837 (java) S 9835 9837 9329 0 -1 4202496 13166 0 1 0 10 2 0 0 25 0 18 0 836633838 10792742912 12862 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9837/statm: 2634947 12862 2126 9 0 2625681 0
[pid=9837/tid=9839] ppid=9835 vsize=10539788 CPUtime=0.09 cores=0,2,4,6
/proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9329 0 -1 4202560 11309 0 1 0 8 1 0 0 18 0 18 0 836633839 10792742912 12862 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212039340337 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539788
[startup+0.200816 s]
/proc/loadavg: 2.12 2.10 2.02 3/552 9837
/proc/meminfo: memFree=24787676/32951124 swapFree=46970528/67111528
[pid=9837] ppid=9835 vsize=10540800 CPUtime=0.27 cores=0,2,4,6
/proc/9837/stat : 9837 (java) S 9835 9837 9329 0 -1 4202496 14082 0 1 0 25 2 0 0 25 0 18 0 836633838 10793779200 13778 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9837/statm: 2635200 13779 2184 9 0 2625934 0
[pid=9837/tid=9839] ppid=9835 vsize=10540800 CPUtime=0.19 cores=0,2,4,6
/proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9329 0 -1 4202560 11873 0 1 0 17 2 0 0 18 0 18 0 836633839 10793779200 13779 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10540800
[startup+0.300797 s]
/proc/loadavg: 2.12 2.10 2.02 3/552 9837
/proc/meminfo: memFree=24787676/32951124 swapFree=46970528/67111528
[pid=9837] ppid=9835 vsize=10542340 CPUtime=0.49 cores=0,2,4,6
/proc/9837/stat : 9837 (java) S 9835 9837 9329 0 -1 4202496 15982 0 1 0 47 2 0 0 25 0 18 0 836633838 10795356160 15543 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9837/statm: 2635585 15544 2202 9 0 2626319 0
[pid=9837/tid=9839] ppid=9835 vsize=10542340 CPUtime=0.28 cores=0,2,4,6
/proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9329 0 -1 4202560 13227 0 1 0 26 2 0 0 18 0 18 0 836633839 10795356160 15544 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 46912505567973 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542340
[startup+0.700782 s]
/proc/loadavg: 2.12 2.10 2.02 3/552 9837
/proc/meminfo: memFree=24787676/32951124 swapFree=46970528/67111528
[pid=9837] ppid=9835 vsize=10545836 CPUtime=1.16 cores=0,2,4,6
/proc/9837/stat : 9837 (java) S 9835 9837 9329 0 -1 4202496 52361 0 1 0 109 7 0 0 25 0 18 0 836633838 10798936064 50794 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9837/statm: 2636459 50798 2216 9 0 2627193 0
[pid=9837/tid=9839] ppid=9835 vsize=10545836 CPUtime=0.69 cores=0,2,4,6
/proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9329 0 -1 4202560 46723 0 1 0 62 7 0 0 18 0 18 0 836633839 10798936064 50800 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 46912505576651 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10545836
[startup+1.50067 s]
/proc/loadavg: 2.51 2.18 2.05 3/571 9856
/proc/meminfo: memFree=24055824/32951124 swapFree=46970528/67111528
[pid=9837] ppid=9835 vsize=10546516 CPUtime=2.4 cores=0,2,4,6
/proc/9837/stat : 9837 (java) S 9835 9837 9329 0 -1 4202496 114346 0 1 0 224 16 0 0 25 0 19 0 836633838 10799632384 110663 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9837/statm: 2636629 110664 2237 9 0 2627363 0
[pid=9837/tid=9839] ppid=9835 vsize=10546516 CPUtime=1.48 cores=0,2,4,6
/proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9329 0 -1 4202560 106522 0 1 0 134 14 0 0 20 0 19 0 836633839 10799632384 110666 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 46912505762230 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9837/tid=9841] ppid=9835 vsize=10546516 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9841/stat : 9841 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633840 10799632384 110666 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9842] ppid=9835 vsize=10546516 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9842/stat : 9842 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633840 10799632384 110667 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9843] ppid=9835 vsize=10546516 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9843/stat : 9843 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633840 10799632384 110668 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9844] ppid=9835 vsize=10546516 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9844/stat : 9844 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633840 10799632384 110668 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9845] ppid=9835 vsize=10546516 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9845/stat : 9845 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633840 10799632384 110668 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9846] ppid=9835 vsize=10546516 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9846/stat : 9846 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633840 10799632384 110669 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9847] ppid=9835 vsize=10546516 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9847/stat : 9847 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633840 10799632384 110669 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9848] ppid=9835 vsize=10546516 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9848/stat : 9848 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633840 10799632384 110670 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9849] ppid=9835 vsize=10546516 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9849/stat : 9849 (java) S 9835 9837 9329 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 836633842 10799632384 110681 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471872 0 0 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9850] ppid=9835 vsize=10546516 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9850/stat : 9850 (java) S 9835 9837 9329 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 836633842 10799632384 110682 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9851] ppid=9835 vsize=10546516 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9851/stat : 9851 (java) S 9835 9837 9329 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 836633842 10799632384 110683 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9852] ppid=9835 vsize=10546516 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9852/stat : 9852 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633844 10799632384 110685 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051478961 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9853] ppid=9835 vsize=10546516 CPUtime=0.43 cores=0,2,4,6
/proc/9837/task/9853/stat : 9853 (java) S 9835 9837 9329 0 -1 4202560 3176 0 0 0 42 1 0 0 18 0 19 0 836633844 10799632384 110688 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9854] ppid=9835 vsize=10546516 CPUtime=0.47 cores=0,2,4,6
/proc/9837/task/9854/stat : 9854 (java) S 9835 9837 9329 0 -1 4202560 3490 0 0 0 47 0 0 0 19 0 19 0 836633844 10799632384 110691 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 4 0 0 0
[pid=9837/tid=9855] ppid=9835 vsize=10546516 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9855/stat : 9855 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633844 10799632384 110693 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9856] ppid=9835 vsize=10546516 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9856/stat : 9856 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 836633844 10799632384 110697 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471872 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 10546516
[startup+3.10136 s]
/proc/loadavg: 2.51 2.18 2.05 4/572 9857
/proc/meminfo: memFree=23239400/32951124 swapFree=46970528/67111528
[pid=9837] ppid=9835 vsize=10549292 CPUtime=4.51 cores=0,2,4,6
/proc/9837/stat : 9837 (java) S 9835 9837 9329 0 -1 4202496 267596 0 1 0 418 33 0 0 25 0 19 0 836633838 10802475008 259239 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9837/statm: 2637323 259241 2240 9 0 2628057 0
[pid=9837/tid=9839] ppid=9835 vsize=10549292 CPUtime=3.07 cores=0,2,4,6
/proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9329 0 -1 4202560 253403 0 1 0 277 30 0 0 19 0 19 0 836633839 10802475008 259242 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 46912505762216 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9837/tid=9841] ppid=9835 vsize=10549292 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9841/stat : 9841 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633840 10802475008 259242 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9842] ppid=9835 vsize=10549292 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9842/stat : 9842 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633840 10802475008 259243 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9843] ppid=9835 vsize=10549292 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9843/stat : 9843 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633840 10802475008 259245 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9844] ppid=9835 vsize=10549292 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9844/stat : 9844 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633840 10802475008 259248 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9845] ppid=9835 vsize=10549292 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9845/stat : 9845 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633840 10802475008 259251 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9846] ppid=9835 vsize=10549292 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9846/stat : 9846 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633840 10802475008 259254 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9847] ppid=9835 vsize=10549292 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9847/stat : 9847 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633840 10802475008 259254 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9848] ppid=9835 vsize=10549292 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9848/stat : 9848 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633840 10802475008 259255 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9849] ppid=9835 vsize=10549292 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9849/stat : 9849 (java) S 9835 9837 9329 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 836633842 10802475008 259255 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471872 0 0 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9850] ppid=9835 vsize=10549292 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9850/stat : 9850 (java) S 9835 9837 9329 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 836633842 10802475008 259259 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9851] ppid=9835 vsize=10549292 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9851/stat : 9851 (java) S 9835 9837 9329 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 836633842 10802475008 259261 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9852] ppid=9835 vsize=10549292 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9852/stat : 9852 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633844 10802475008 259261 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051478961 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9853] ppid=9835 vsize=10549292 CPUtime=0.8 cores=0,2,4,6
/proc/9837/task/9853/stat : 9853 (java) S 9835 9837 9329 0 -1 4202560 8962 0 0 0 78 2 0 0 15 0 19 0 836633844 10802475008 259262 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 0 0 0 0
[pid=9837/tid=9854] ppid=9835 vsize=10549292 CPUtime=0.61 cores=0,2,4,6
/proc/9837/task/9854/stat : 9854 (java) S 9835 9837 9329 0 -1 4202560 4072 0 0 0 61 0 0 0 15 0 19 0 836633844 10802475008 259264 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 4 0 0 0
[pid=9837/tid=9855] ppid=9835 vsize=10549292 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9855/stat : 9855 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633844 10802475008 259268 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9856] ppid=9835 vsize=10549292 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9856/stat : 9856 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 836633844 10802475008 259271 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471872 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9857] ppid=9835 vsize=10549292 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9857/stat : 9857 (java) S 9835 9837 9329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 836633953 10802475008 259274 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471872 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 10549292
[startup+6.3008 s]
/proc/loadavg: 2.47 2.17 2.05 3/572 9857
/proc/meminfo: memFree=20587784/32951124 swapFree=46970528/67111528
[pid=9837] ppid=9835 vsize=10546484 CPUtime=7.8 cores=0,2,4,6
/proc/9837/stat : 9837 (java) S 9835 9837 9329 0 -1 4202496 507112 0 1 0 723 57 0 0 25 0 19 0 836633838 10799599616 498134 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9837/statm: 2636621 498134 2266 9 0 2627355 0
[pid=9837/tid=9839] ppid=9835 vsize=10546484 CPUtime=6.16 cores=0,2,4,6
/proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9329 0 -1 4202560 482008 0 1 0 562 54 0 0 25 0 19 0 836633839 10799599616 498134 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 46912505840357 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9837/tid=9841] ppid=9835 vsize=10546484 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9841/stat : 9841 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 836633840 10799599616 498134 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9842] ppid=9835 vsize=10546484 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9842/stat : 9842 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 836633840 10799599616 498134 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9843] ppid=9835 vsize=10546484 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9843/stat : 9843 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 836633840 10799599616 498134 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9844] ppid=9835 vsize=10546484 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9844/stat : 9844 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 836633840 10799599616 498134 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9845] ppid=9835 vsize=10546484 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9845/stat : 9845 (java) S 9835 9837 9329 0 -1 4202560 64 0 0 0 0 0 0 0 18 0 19 0 836633840 10799599616 498134 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9846] ppid=9835 vsize=10546484 CPUtime=0.01 cores=0,2,4,6
/proc/9837/task/9846/stat : 9846 (java) S 9835 9837 9329 0 -1 4202560 1235 0 0 0 1 0 0 0 18 0 19 0 836633840 10799599616 498134 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 0 0 0 0
[pid=9837/tid=9847] ppid=9835 vsize=10546484 CPUtime=0.02 cores=0,2,4,6
/proc/9837/task/9847/stat : 9847 (java) S 9835 9837 9329 0 -1 4202560 1756 0 0 0 2 0 0 0 18 0 19 0 836633840 10799599616 498134 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 0 0 0 0
[pid=9837/tid=9848] ppid=9835 vsize=10546484 CPUtime=0.02 cores=0,2,4,6
/proc/9837/task/9848/stat : 9848 (java) S 9835 9837 9329 0 -1 4202560 1954 0 0 0 2 0 0 0 18 0 19 0 836633840 10799599616 498134 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9849] ppid=9835 vsize=10546484 CPUtime=0.07 cores=0,2,4,6
/proc/9837/task/9849/stat : 9849 (java) S 9835 9837 9329 0 -1 4202560 5894 0 0 0 7 0 0 0 16 0 19 0 836633842 10799599616 498134 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471872 0 0 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9850] ppid=9835 vsize=10546484 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9850/stat : 9850 (java) S 9835 9837 9329 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836633842 10799599616 498134 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9851] ppid=9835 vsize=10546484 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9851/stat : 9851 (java) S 9835 9837 9329 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836633842 10799599616 498134 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9852] ppid=9835 vsize=10546484 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9852/stat : 9852 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633844 10799599616 498134 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051478961 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9853] ppid=9835 vsize=10546484 CPUtime=0.83 cores=0,2,4,6
/proc/9837/task/9853/stat : 9853 (java) S 9835 9837 9329 0 -1 4202560 8967 0 0 0 81 2 0 0 15 0 19 0 836633844 10799599616 498134 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 0 0 0 0
[pid=9837/tid=9854] ppid=9835 vsize=10546484 CPUtime=0.63 cores=0,2,4,6
/proc/9837/task/9854/stat : 9854 (java) S 9835 9837 9329 0 -1 4202560 4079 0 0 0 63 0 0 0 15 0 19 0 836633844 10799599616 498134 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 4 0 0 0
[pid=9837/tid=9855] ppid=9835 vsize=10546484 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9855/stat : 9855 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633844 10799599616 498134 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/9837/task/9850/stat : 9850 (java) S 9835 9837 9329 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836633842 10800570368 915860 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9851] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9851/stat : 9851 (java) S 9835 9837 9329 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836633842 10800570368 915860 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9852] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9852/stat : 9852 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633844 10800570368 915860 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051478961 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9853] ppid=9835 vsize=10547432 CPUtime=1.11 cores=0,2,4,6
/proc/9837/task/9853/stat : 9853 (java) S 9835 9837 9329 0 -1 4202560 10689 0 0 0 109 2 0 0 15 0 19 0 836633844 10800570368 915860 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 0 0 0 0
[pid=9837/tid=9854] ppid=9835 vsize=10547432 CPUtime=0.9 cores=0,2,4,6
/proc/9837/task/9854/stat : 9854 (java) S 9835 9837 9329 0 -1 4202560 4773 0 0 0 90 0 0 0 15 0 19 0 836633844 10800570368 915860 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 4 0 0 0
[pid=9837/tid=9855] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9855/stat : 9855 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633844 10800570368 915860 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9856] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9856/stat : 9856 (java) S 9835 9837 9329 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 836633844 10800570368 915860 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471872 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9857] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9857/stat : 9857 (java) S 9835 9837 9329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 836633953 10800570368 915860 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471872 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1668.47
Current children cumulated vsize (KiB) 10547432
[startup+1722.3 s]
/proc/loadavg: 2.12 2.11 2.04 3/572 9960
/proc/meminfo: memFree=17647316/32951124 swapFree=46970528/67111528
[pid=9837] ppid=9835 vsize=10547432 CPUtime=1728.64 cores=0,2,4,6
/proc/9837/stat : 9837 (java) S 9835 9837 9329 0 -1 4202496 928570 0 1 0 172758 106 0 0 25 0 19 0 836633838 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9837/statm: 2636858 916672 2267 9 0 2627592 0
[pid=9837/tid=9839] ppid=9835 vsize=10547432 CPUtime=1719.03 cores=0,2,4,6
/proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9329 0 -1 4202560 849571 0 1 0 171809 94 0 0 25 0 19 0 836633839 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 46912505853654 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9837/tid=9841] ppid=9835 vsize=10547432 CPUtime=0.83 cores=0,2,4,6
/proc/9837/task/9841/stat : 9841 (java) S 9835 9837 9329 0 -1 4202560 5874 0 0 0 83 0 0 0 15 0 19 0 836633840 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 4 0 0 0
[pid=9837/tid=9842] ppid=9835 vsize=10547432 CPUtime=0.79 cores=0,2,4,6
/proc/9837/task/9842/stat : 9842 (java) S 9835 9837 9329 0 -1 4202560 5475 0 0 0 79 0 0 0 16 0 19 0 836633840 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9843] ppid=9835 vsize=10547432 CPUtime=0.79 cores=0,2,4,6
/proc/9837/task/9843/stat : 9843 (java) S 9835 9837 9329 0 -1 4202560 5724 0 0 0 79 0 0 0 16 0 19 0 836633840 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9844] ppid=9835 vsize=10547432 CPUtime=0.78 cores=0,2,4,6
/proc/9837/task/9844/stat : 9844 (java) S 9835 9837 9329 0 -1 4202560 6474 0 0 0 78 0 0 0 15 0 19 0 836633840 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9845] ppid=9835 vsize=10547432 CPUtime=0.74 cores=0,2,4,6
/proc/9837/task/9845/stat : 9845 (java) S 9835 9837 9329 0 -1 4202560 5062 0 0 0 74 0 0 0 16 0 19 0 836633840 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 4 0 0 0
[pid=9837/tid=9846] ppid=9835 vsize=10547432 CPUtime=0.92 cores=0,2,4,6
/proc/9837/task/9846/stat : 9846 (java) S 9835 9837 9329 0 -1 4202560 8097 0 0 0 91 1 0 0 15 0 19 0 836633840 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 4 0 0 0
[pid=9837/tid=9847] ppid=9835 vsize=10547432 CPUtime=0.74 cores=0,2,4,6
/proc/9837/task/9847/stat : 9847 (java) S 9835 9837 9329 0 -1 4202560 6603 0 0 0 74 0 0 0 15 0 19 0 836633840 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9848] ppid=9835 vsize=10547432 CPUtime=0.88 cores=0,2,4,6
/proc/9837/task/9848/stat : 9848 (java) S 9835 9837 9329 0 -1 4202560 8490 0 0 0 88 0 0 0 16 0 19 0 836633840 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9849] ppid=9835 vsize=10547432 CPUtime=0.99 cores=0,2,4,6
/proc/9837/task/9849/stat : 9849 (java) S 9835 9837 9329 0 -1 4202560 10487 0 0 0 97 2 0 0 15 0 19 0 836633842 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471872 0 0 0 16800975 18446604453973748672 0 0 -1 0 0 0 0
[pid=9837/tid=9850] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9850/stat : 9850 (java) S 9835 9837 9329 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836633842 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9851] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9851/stat : 9851 (java) S 9835 9837 9329 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836633842 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9852] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9852/stat : 9852 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633844 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051478961 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9853] ppid=9835 vsize=10547432 CPUtime=1.11 cores=0,2,4,6
/proc/9837/task/9853/stat : 9853 (java) S 9835 9837 9329 0 -1 4202560 10689 0 0 0 109 2 0 0 15 0 19 0 836633844 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 0 0 0 0
[pid=9837/tid=9854] ppid=9835 vsize=10547432 CPUtime=0.9 cores=0,2,4,6
/proc/9837/task/9854/stat : 9854 (java) S 9835 9837 9329 0 -1 4202560 4773 0 0 0 90 0 0 0 15 0 19 0 836633844 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 4 0 0 0
[pid=9837/tid=9855] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9855/stat : 9855 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633844 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9856] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9856/stat : 9856 (java) S 9835 9837 9329 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 836633844 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471872 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9857] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9857/stat : 9857 (java) S 9835 9837 9329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 836633953 10800570368 916672 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471872 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1728.64
Current children cumulated vsize (KiB) 10547432
[startup+1782.3 s]
/proc/loadavg: 2.04 2.09 2.03 3/572 9962
/proc/meminfo: memFree=17637988/32951124 swapFree=46970528/67111528
[pid=9837] ppid=9835 vsize=10547432 CPUtime=1788.88 cores=0,2,4,6
/proc/9837/stat : 9837 (java) S 9835 9837 9329 0 -1 4202496 930100 0 1 0 178781 107 0 0 25 0 19 0 836633838 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9837/statm: 2636858 918158 2267 9 0 2627592 0
[pid=9837/tid=9839] ppid=9835 vsize=10547432 CPUtime=1778.92 cores=0,2,4,6
/proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9329 0 -1 4202560 849576 0 1 0 177798 94 0 0 25 0 19 0 836633839 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 46912505853600 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9837/tid=9841] ppid=9835 vsize=10547432 CPUtime=0.91 cores=0,2,4,6
/proc/9837/task/9841/stat : 9841 (java) S 9835 9837 9329 0 -1 4202560 6225 0 0 0 91 0 0 0 16 0 19 0 836633840 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 0 0 0 0
[pid=9837/tid=9842] ppid=9835 vsize=10547432 CPUtime=0.87 cores=0,2,4,6
/proc/9837/task/9842/stat : 9842 (java) S 9835 9837 9329 0 -1 4202560 5949 0 0 0 87 0 0 0 16 0 19 0 836633840 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9843] ppid=9835 vsize=10547432 CPUtime=0.81 cores=0,2,4,6
/proc/9837/task/9843/stat : 9843 (java) S 9835 9837 9329 0 -1 4202560 5793 0 0 0 81 0 0 0 16 0 19 0 836633840 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 4 0 0 0
[pid=9837/tid=9844] ppid=9835 vsize=10547432 CPUtime=0.81 cores=0,2,4,6
/proc/9837/task/9844/stat : 9844 (java) S 9835 9837 9329 0 -1 4202560 6546 0 0 0 81 0 0 0 16 0 19 0 836633840 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9845] ppid=9835 vsize=10547432 CPUtime=0.77 cores=0,2,4,6
/proc/9837/task/9845/stat : 9845 (java) S 9835 9837 9329 0 -1 4202560 5356 0 0 0 77 0 0 0 15 0 19 0 836633840 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 4 0 0 0
[pid=9837/tid=9846] ppid=9835 vsize=10547432 CPUtime=0.94 cores=0,2,4,6
/proc/9837/task/9846/stat : 9846 (java) S 9835 9837 9329 0 -1 4202560 8176 0 0 0 93 1 0 0 16 0 19 0 836633840 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9847] ppid=9835 vsize=10547432 CPUtime=0.76 cores=0,2,4,6
/proc/9837/task/9847/stat : 9847 (java) S 9835 9837 9329 0 -1 4202560 6681 0 0 0 76 0 0 0 15 0 19 0 836633840 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 0 0 0 0
[pid=9837/tid=9848] ppid=9835 vsize=10547432 CPUtime=0.92 cores=0,2,4,6
/proc/9837/task/9848/stat : 9848 (java) S 9835 9837 9329 0 -1 4202560 8592 0 0 0 92 0 0 0 15 0 19 0 836633840 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 4 0 0 0
[pid=9837/tid=9849] ppid=9835 vsize=10547432 CPUtime=0.99 cores=0,2,4,6
/proc/9837/task/9849/stat : 9849 (java) S 9835 9837 9329 0 -1 4202560 10491 0 0 0 97 2 0 0 15 0 19 0 836633842 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471872 0 0 0 16800975 18446604453973748672 0 0 -1 0 0 0 0
[pid=9837/tid=9850] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9850/stat : 9850 (java) S 9835 9837 9329 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836633842 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9851] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9851/stat : 9851 (java) S 9835 9837 9329 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836633842 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9852] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9852/stat : 9852 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633844 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051478961 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9853] ppid=9835 vsize=10547432 CPUtime=1.11 cores=0,2,4,6
/proc/9837/task/9853/stat : 9853 (java) S 9835 9837 9329 0 -1 4202560 10689 0 0 0 109 2 0 0 15 0 19 0 836633844 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 0 0 0 0
[pid=9837/tid=9854] ppid=9835 vsize=10547432 CPUtime=0.9 cores=0,2,4,6
/proc/9837/task/9854/stat : 9854 (java) S 9835 9837 9329 0 -1 4202560 4773 0 0 0 90 0 0 0 15 0 19 0 836633844 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 4 0 0 0
[pid=9837/tid=9855] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9855/stat : 9855 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633844 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9856] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9856/stat : 9856 (java) S 9835 9837 9329 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 836633844 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471872 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9857] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9857/stat : 9857 (java) S 9835 9837 9329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 836633953 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471872 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1788.88
Current children cumulated vsize (KiB) 10547432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.5 s]
/proc/loadavg: 2.04 2.09 2.03 3/572 9962
/proc/meminfo: memFree=17637980/32951124 swapFree=46970528/67111528
[pid=9837] ppid=9835 vsize=10547432 CPUtime=1800.08 cores=0,2,4,6
/proc/9837/stat : 9837 (java) S 9835 9837 9329 0 -1 4202496 930102 0 1 0 179901 107 0 0 25 0 19 0 836633838 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9837/statm: 2636858 918158 2267 9 0 2627592 0
[pid=9837/tid=9839] ppid=9835 vsize=10547432 CPUtime=1790.14 cores=0,2,4,6
/proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9329 0 -1 4202560 849576 0 1 0 178920 94 0 0 25 0 19 0 836633839 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 46912505853473 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9837/tid=9841] ppid=9835 vsize=10547432 CPUtime=0.91 cores=0,2,4,6
/proc/9837/task/9841/stat : 9841 (java) S 9835 9837 9329 0 -1 4202560 6225 0 0 0 91 0 0 0 16 0 19 0 836633840 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 0 0 0 0
[pid=9837/tid=9842] ppid=9835 vsize=10547432 CPUtime=0.87 cores=0,2,4,6
/proc/9837/task/9842/stat : 9842 (java) S 9835 9837 9329 0 -1 4202560 5949 0 0 0 87 0 0 0 16 0 19 0 836633840 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9843] ppid=9835 vsize=10547432 CPUtime=0.81 cores=0,2,4,6
/proc/9837/task/9843/stat : 9843 (java) S 9835 9837 9329 0 -1 4202560 5793 0 0 0 81 0 0 0 16 0 19 0 836633840 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 4 0 0 0
[pid=9837/tid=9844] ppid=9835 vsize=10547432 CPUtime=0.81 cores=0,2,4,6
/proc/9837/task/9844/stat : 9844 (java) S 9835 9837 9329 0 -1 4202560 6546 0 0 0 81 0 0 0 16 0 19 0 836633840 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9845] ppid=9835 vsize=10547432 CPUtime=0.77 cores=0,2,4,6
/proc/9837/task/9845/stat : 9845 (java) S 9835 9837 9329 0 -1 4202560 5356 0 0 0 77 0 0 0 15 0 19 0 836633840 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 4 0 0 0
[pid=9837/tid=9846] ppid=9835 vsize=10547432 CPUtime=0.94 cores=0,2,4,6
/proc/9837/task/9846/stat : 9846 (java) S 9835 9837 9329 0 -1 4202560 8176 0 0 0 93 1 0 0 16 0 19 0 836633840 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9847] ppid=9835 vsize=10547432 CPUtime=0.76 cores=0,2,4,6
/proc/9837/task/9847/stat : 9847 (java) S 9835 9837 9329 0 -1 4202560 6681 0 0 0 76 0 0 0 15 0 19 0 836633840 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 0 0 0 0
[pid=9837/tid=9848] ppid=9835 vsize=10547432 CPUtime=0.92 cores=0,2,4,6
/proc/9837/task/9848/stat : 9848 (java) S 9835 9837 9329 0 -1 4202560 8592 0 0 0 92 0 0 0 15 0 19 0 836633840 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 4 0 0 0
[pid=9837/tid=9849] ppid=9835 vsize=10547432 CPUtime=0.99 cores=0,2,4,6
/proc/9837/task/9849/stat : 9849 (java) S 9835 9837 9329 0 -1 4202560 10491 0 0 0 97 2 0 0 15 0 19 0 836633842 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471872 0 0 0 16800975 18446604453973748672 0 0 -1 0 0 0 0
[pid=9837/tid=9850] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9850/stat : 9850 (java) S 9835 9837 9329 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836633842 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9851] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9851/stat : 9851 (java) S 9835 9837 9329 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836633842 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9852] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9852/stat : 9852 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633844 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051478961 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9853] ppid=9835 vsize=10547432 CPUtime=1.11 cores=0,2,4,6
/proc/9837/task/9853/stat : 9853 (java) S 9835 9837 9329 0 -1 4202560 10689 0 0 0 109 2 0 0 15 0 19 0 836633844 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 0 0 0 0
[pid=9837/tid=9854] ppid=9835 vsize=10547432 CPUtime=0.9 cores=0,2,4,6
/proc/9837/task/9854/stat : 9854 (java) S 9835 9837 9329 0 -1 4202560 4773 0 0 0 90 0 0 0 15 0 19 0 836633844 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 4 0 0 0
[pid=9837/tid=9855] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9855/stat : 9855 (java) S 9835 9837 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836633844 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=9837/tid=9856] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9856/stat : 9856 (java) S 9835 9837 9329 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 836633844 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471872 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=9837/tid=9857] ppid=9835 vsize=10547432 CPUtime=0 cores=0,2,4,6
/proc/9837/task/9857/stat : 9857 (java) S 9835 9837 9329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 836633953 10800570368 918158 33554432000 1073741824 1073778376 140736396097280 18446744073709551615 212051471872 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10547432
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.63 s]
/proc/loadavg: 2.04 2.09 2.03 3/572 9962
/proc/meminfo: memFree=17637980/32951124 swapFree=46970528/67111528
[pid=9837] ppid=9835 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/9837/stat : 9837 (java) R 9835 9837 9329 0 -1 4203524 930132 0 1 0 179911 113 0 0 17 0 1 0 836633838 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9837/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.69
CPU time (s): 1800.32
CPU user time (s): 1799.11
CPU system time (s): 1.20582
CPU usage (%): 100.369
Max. virtual memory (cumulated for all children) (KiB): 10549972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 1.20582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 930132
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= 41253
involuntary context switches= 17278
runsolver used 10.3324 second user time and 22.3166 second system time
The end