runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3311134-1304111470/watcher-3311134-1304111470 -o /tmp/evaluation-result-3311134-1304111470/solver-3311134-1304111470 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311134-1304111470.cnf -hbr 2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 5.29 7.22 7.64 5/194 3322
/proc/meminfo: memFree=25591304/32951124 swapFree=67111524/67111528
[pid=3322] ppid=3320 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/3322/stat : 3322 (java) R 3320 3322 2480 0 -1 4202496 1225 0 0 0 0 0 0 0 20 0 1 0 503562485 23580672 712 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 47402097196644 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3322/statm: 5757 725 536 9 0 124 0
[pid=3322/tid=3323] ppid=3320 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3323/stat : 3323 (java) R 3320 3322 2480 0 -1 4202560 71 0 0 0 0 0 0 0 22 0 2 0 503562485 29065216 898 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228090527367 0 0 4096 0 0 0 0 -1 5 0 0 0
[startup+0.0867481 s]
/proc/loadavg: 5.29 7.22 7.64 5/194 3322
/proc/meminfo: memFree=25591304/32951124 swapFree=67111524/67111528
[pid=3322] ppid=3320 vsize=15741820 CPUtime=0.09 cores=1,3,5,7
/proc/3322/stat : 3322 (java) S 3320 3322 2480 0 -1 4202496 5443 0 1 0 8 1 0 0 20 0 18 0 503562485 16119623680 4857 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3322/statm: 3935455 4859 2115 9 0 3926174 0
[pid=3322/tid=3323] ppid=3320 vsize=15741820 CPUtime=0.06 cores=1,3,5,7
/proc/3322/task/3323/stat : 3323 (java) R 3320 3322 2480 0 -1 4202560 3300 0 1 0 6 0 0 0 22 0 18 0 503562485 16119623680 4859 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 47402094872595 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15741820
[startup+0.100708 s]
/proc/loadavg: 5.29 7.22 7.64 5/194 3322
/proc/meminfo: memFree=25591304/32951124 swapFree=67111524/67111528
[pid=3322] ppid=3320 vsize=15741820 CPUtime=0.1 cores=1,3,5,7
/proc/3322/stat : 3322 (java) S 3320 3322 2480 0 -1 4202496 5607 0 1 0 9 1 0 0 20 0 18 0 503562485 16119623680 5021 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3322/statm: 3935455 5022 2116 9 0 3926174 0
[pid=3322/tid=3323] ppid=3320 vsize=15741820 CPUtime=0.08 cores=1,3,5,7
/proc/3322/task/3323/stat : 3323 (java) R 3320 3322 2480 0 -1 4202560 3463 0 1 0 7 1 0 0 22 0 18 0 503562485 16119623680 5022 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107279739 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15741820
[startup+0.300673 s]
/proc/loadavg: 5.29 7.22 7.64 5/194 3322
/proc/meminfo: memFree=25591304/32951124 swapFree=67111524/67111528
[pid=3322] ppid=3320 vsize=15745180 CPUtime=0.52 cores=1,3,5,7
/proc/3322/stat : 3322 (java) S 3320 3322 2480 0 -1 4202496 15929 0 1 0 49 3 0 0 20 0 18 0 503562485 16123064320 14366 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3322/statm: 3936295 14371 2206 9 0 3927014 0
[pid=3322/tid=3323] ppid=3320 vsize=15745180 CPUtime=0.28 cores=1,3,5,7
/proc/3322/task/3323/stat : 3323 (java) R 3320 3322 2480 0 -1 4202560 10813 0 1 0 26 2 0 0 22 0 18 0 503562485 16123064320 14374 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 46912505642225 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15745180
[startup+0.700614 s]
/proc/loadavg: 5.29 7.22 7.64 5/194 3322
/proc/meminfo: memFree=25591304/32951124 swapFree=67111524/67111528
[pid=3322] ppid=3320 vsize=15745180 CPUtime=0.93 cores=1,3,5,7
/proc/3322/stat : 3322 (java) S 3320 3322 2480 0 -1 4202496 41853 0 1 0 87 6 0 0 20 0 18 0 503562485 16123064320 40288 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3322/statm: 3936295 40288 2222 9 0 3927014 0
[pid=3322/tid=3323] ppid=3320 vsize=15745180 CPUtime=0.68 cores=1,3,5,7
/proc/3322/task/3323/stat : 3323 (java) R 3320 3322 2480 0 -1 4202560 35544 0 1 0 63 5 0 0 24 0 18 0 503562485 16123064320 40288 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 46912505587944 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15745180
[startup+1.50146 s]
/proc/loadavg: 5.29 7.22 7.64 5/220 3350
/proc/meminfo: memFree=25261372/32951124 swapFree=67111524/67111528
[pid=3322] ppid=3320 vsize=15756616 CPUtime=2.24 cores=1,3,5,7
/proc/3322/stat : 3322 (java) S 3320 3322 2480 0 -1 4202496 47778 0 1 0 217 7 0 0 20 0 22 0 503562485 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3322/statm: 3939154 43637 2264 9 0 3929873 0
[pid=3322/tid=3323] ppid=3320 vsize=15756616 CPUtime=1.47 cores=1,3,5,7
/proc/3322/task/3323/stat : 3323 (java) R 3320 3322 2480 0 -1 4202560 35674 0 1 0 142 5 0 0 25 0 22 0 503562485 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 46912505834485 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3322/tid=3326] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3326/stat : 3326 (java) S 3320 3322 2480 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 22 0 503562486 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 0
[pid=3322/tid=3327] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3327/stat : 3327 (java) S 3320 3322 2480 0 -1 4202560 66 0 0 0 0 0 0 0 18 0 22 0 503562486 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3328] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3328/stat : 3328 (java) S 3320 3322 2480 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 22 0 503562486 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3329] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3329/stat : 3329 (java) S 3320 3322 2480 0 -1 4202560 954 0 0 0 0 0 0 0 18 0 22 0 503562486 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3330] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3330/stat : 3330 (java) S 3320 3322 2480 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503562486 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 0
[pid=3322/tid=3331] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3331/stat : 3331 (java) S 3320 3322 2480 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503562486 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3332] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3332/stat : 3332 (java) S 3320 3322 2480 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503562486 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3333] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3333/stat : 3333 (java) S 3320 3322 2480 0 -1 4202560 392 0 0 0 0 0 0 0 18 0 22 0 503562486 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 0
[pid=3322/tid=3334] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3334/stat : 3334 (java) S 3320 3322 2480 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503562487 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107267584 0 0 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3335] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3335/stat : 3335 (java) S 3320 3322 2480 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503562487 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 0
[pid=3322/tid=3336] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3336/stat : 3336 (java) S 3320 3322 2480 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 503562487 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 0
[pid=3322/tid=3337] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3337/stat : 3337 (java) S 3320 3322 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503562489 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107274673 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 0
[pid=3322/tid=3339] ppid=3320 vsize=15756616 CPUtime=0.42 cores=1,3,5,7
/proc/3322/task/3339/stat : 3339 (java) S 3320 3322 2480 0 -1 4202560 4678 0 0 0 41 1 0 0 15 0 22 0 503562489 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 0
[pid=3322/tid=3340] ppid=3320 vsize=15756616 CPUtime=0.31 cores=1,3,5,7
/proc/3322/task/3340/stat : 3340 (java) S 3320 3322 2480 0 -1 4202560 4484 0 0 0 31 0 0 0 15 0 22 0 503562489 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3341] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3341/stat : 3341 (java) S 3320 3322 2480 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 503562489 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3342] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3342/stat : 3342 (java) S 3320 3322 2480 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503562489 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107267584 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3347] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3347/stat : 3347 (java) S 3320 3322 2480 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 503562569 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107267584 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3348] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3348/stat : 3348 (java) S 3320 3322 2480 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 503562569 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107267584 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3349] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3349/stat : 3349 (java) S 3320 3322 2480 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 503562569 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107267584 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3350] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3350/stat : 3350 (java) S 3320 3322 2480 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 503562569 16134774784 43637 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107267584 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 15756616
[startup+3.11496 s]
/proc/loadavg: 5.29 7.22 7.64 5/220 3351
/proc/meminfo: memFree=25242772/32951124 swapFree=67111524/67111528
[pid=3322] ppid=3320 vsize=15756616 CPUtime=5.51 cores=1,3,5,7
/proc/3322/stat : 3322 (java) S 3320 3322 2480 0 -1 4202496 75959 0 1 0 538 13 0 0 20 0 22 0 503562485 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3322/statm: 3939154 71483 2274 9 0 3929873 0
[pid=3322/tid=3323] ppid=3320 vsize=15756616 CPUtime=2.03 cores=1,3,5,7
/proc/3322/task/3323/stat : 3323 (java) S 3320 3322 2480 0 -1 4202560 35726 0 1 0 197 6 0 0 25 0 22 0 503562485 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3326] ppid=3320 vsize=15756616 CPUtime=0.02 cores=1,3,5,7
/proc/3322/task/3326/stat : 3326 (java) R 3320 3322 2480 0 -1 4202560 3621 0 0 0 2 0 0 0 15 0 22 0 503562486 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 47402097251488 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3322/tid=3327] ppid=3320 vsize=15756616 CPUtime=0.01 cores=1,3,5,7
/proc/3322/task/3327/stat : 3327 (java) R 3320 3322 2480 0 -1 4202560 1359 0 0 0 1 0 0 0 15 0 22 0 503562486 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228095404343 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3322/tid=3328] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3328/stat : 3328 (java) S 3320 3322 2480 0 -1 4202560 2432 0 0 0 0 0 0 0 16 0 22 0 503562486 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3329] ppid=3320 vsize=15756616 CPUtime=0.02 cores=1,3,5,7
/proc/3322/task/3329/stat : 3329 (java) R 3320 3322 2480 0 -1 4202560 4131 0 0 0 2 0 0 0 15 0 22 0 503562486 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228095404343 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3322/tid=3330] ppid=3320 vsize=15756616 CPUtime=0.03 cores=1,3,5,7
/proc/3322/task/3330/stat : 3330 (java) R 3320 3322 2480 0 -1 4202560 5368 0 0 0 2 1 0 0 15 0 22 0 503562486 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228095404343 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3322/tid=3331] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3331/stat : 3331 (java) R 3320 3322 2480 0 -1 4202560 2556 0 0 0 0 0 0 0 15 0 22 0 503562486 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228095404343 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3322/tid=3332] ppid=3320 vsize=15756616 CPUtime=0.03 cores=1,3,5,7
/proc/3322/task/3332/stat : 3332 (java) R 3320 3322 2480 0 -1 4202560 5777 0 0 0 3 0 0 0 15 0 22 0 503562486 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228095404343 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3322/tid=3333] ppid=3320 vsize=15756616 CPUtime=0.02 cores=1,3,5,7
/proc/3322/task/3333/stat : 3333 (java) R 3320 3322 2480 0 -1 4202560 3829 0 0 0 2 0 0 0 15 0 22 0 503562486 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3322/tid=3334] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3334/stat : 3334 (java) S 3320 3322 2480 0 -1 4202560 88 0 0 0 0 0 0 0 16 0 22 0 503562487 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 0 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3335] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3335/stat : 3335 (java) S 3320 3322 2480 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503562487 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 0
[pid=3322/tid=3336] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3336/stat : 3336 (java) S 3320 3322 2480 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 503562487 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 0
[pid=3322/tid=3337] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3337/stat : 3337 (java) S 3320 3322 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503562489 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107274673 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 0
[pid=3322/tid=3339] ppid=3320 vsize=15756616 CPUtime=0.97 cores=1,3,5,7
/proc/3322/task/3339/stat : 3339 (java) S 3320 3322 2480 0 -1 4202560 5095 0 0 0 96 1 0 0 15 0 22 0 503562489 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 0
[pid=3322/tid=3340] ppid=3320 vsize=15756616 CPUtime=0.64 cores=1,3,5,7
/proc/3322/task/3340/stat : 3340 (java) S 3320 3322 2480 0 -1 4202560 4533 0 0 0 64 0 0 0 15 0 22 0 503562489 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3341] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3341/stat : 3341 (java) S 3320 3322 2480 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 503562489 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3342] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3342/stat : 3342 (java) S 3320 3322 2480 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503562489 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107267584 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 0
[pid=3322/tid=3347] ppid=3320 vsize=15756616 CPUtime=0.09 cores=1,3,5,7
/proc/3322/task/3347/stat : 3347 (java) S 3320 3322 2480 0 -1 4202560 17 0 0 0 9 0 0 0 15 0 22 0 503562569 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3348] ppid=3320 vsize=15756616 CPUtime=0.4 cores=1,3,5,7
/proc/3322/task/3348/stat : 3348 (java) S 3320 3322 2480 0 -1 4202560 11 0 0 0 40 0 0 0 15 0 22 0 503562569 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3349] ppid=3320 vsize=15756616 CPUtime=0.64 cores=1,3,5,7
/proc/3322/task/3349/stat : 3349 (java) S 3320 3322 2480 0 -1 4202560 9 0 0 0 64 0 0 0 15 0 22 0 503562569 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3350] ppid=3320 vsize=15756616 CPUtime=0.5 cores=1,3,5,7
/proc/3322/task/3350/stat : 3350 (java) S 3320 3322 2480 0 -1 4202560 21 0 0 0 50 0 0 0 15 0 22 0 503562569 16134774784 71483 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 15756616
[startup+6.30154 s]
/proc/loadavg: 5.75 7.28 7.66 10/220 3351
/proc/meminfo: memFree=23794436/32951124 swapFree=67111524/67111528
[pid=3322] ppid=3320 vsize=15756616 CPUtime=18.22 cores=1,3,5,7
/proc/3322/stat : 3322 (java) S 3320 3322 2480 0 -1 4202496 259381 0 1 0 1783 39 0 0 20 0 22 0 503562485 16134774784 253974 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3322/statm: 3939154 253974 2274 9 0 3929873 0
[pid=3322/tid=3323] ppid=3320 vsize=15756616 CPUtime=2.03 cores=1,3,5,7
/proc/3322/task/3323/stat : 3323 (java) S 3320 3322 2480 0 -1 4202560 35726 0 1 0 197 6 0 0 25 0 22 0 503562485 16134774784 253974 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3326] ppid=3320 vsize=15756616 CPUtime=0.08 cores=1,3,5,7
/proc/3322/task/3326/stat : 3326 (java) S 3320 3322 2480 0 -1 4202560 8927 0 0 0 7 1 0 0 16 0 22 0 503562486 16134774784 253974 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3327] ppid=3320 vsize=15756616 CPUtime=0.12 cores=1,3,5,7
/proc/3322/task/3327/stat : 3327 (java) S 3320 3322 2480 0 -1 4202560 19385 0 0 0 10 2 0 0 16 0 22 0 503562486 16134774784 253974 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3328] ppid=3320 vsize=15756616 CPUtime=0.04 cores=1,3,5,7
/proc/3322/task/3328/stat : 3328 (java) S 3320 3322 2480 0 -1 4202560 6676 0 0 0 4 0 0 0 15 0 22 0 503562486 16134774784 253974 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3329] ppid=3320 vsize=15756616 CPUtime=0.16 cores=1,3,5,7
/proc/3322/task/3329/stat : 3329 (java) S 3320 3322 2480 0 -1 4202560 40237 0 0 0 10 6 0 0 16 0 22 0 503562486 16134774784 253974 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 0
[pid=3322/tid=3330] ppid=3320 vsize=15756616 CPUtime=0.2 cores=1,3,5,7
/proc/3322/task/3330/stat : 3330 (java) S 3320 3322 2480 0 -1 4202560 28924 0 0 0 15 5 0 0 16 0 22 0 503562486 16134774784 253974 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3331] ppid=3320 vsize=15756616 CPUtime=0.1 cores=1,3,5,7
/proc/3322/task/3331/stat : 3331 (java) S 3320 3322 2480 0 -1 4202560 16276 0 0 0 8 2 0 0 15 0 22 0 503562486 16134774784 253974 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3332] ppid=3320 vsize=15756616 CPUtime=0.2 cores=1,3,5,7
/proc/3322/task/3332/stat : 3332 (java) S 3320 3322 2480 0 -1 4202560 34110 0 0 0 16 4 0 0 16 0 22 0 503562486 16134774784 253974 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3333] ppid=3320 vsize=15756616 CPUtime=0.1 cores=1,3,5,7
/proc/3322/task/3333/stat : 3333 (java) S 3320 3322 2480 0 -1 4202560 13348 0 0 0 9 1 0 0 16 0 22 0 503562486 16134774784 253974 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/3322/task/3323/stat : 3323 (java) S 3320 3322 2480 0 -1 4202560 35726 0 1 0 197 6 0 0 25 0 21 0 503562485 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3326] ppid=3320 vsize=15756616 CPUtime=3.11 cores=1,3,5,7
/proc/3322/task/3326/stat : 3326 (java) S 3320 3322 2480 0 -1 4202560 415497 0 0 0 227 84 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3327] ppid=3320 vsize=15756616 CPUtime=2.32 cores=1,3,5,7
/proc/3322/task/3327/stat : 3327 (java) S 3320 3322 2480 0 -1 4202560 245595 0 0 0 176 56 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3328] ppid=3320 vsize=15756616 CPUtime=3.51 cores=1,3,5,7
/proc/3322/task/3328/stat : 3328 (java) S 3320 3322 2480 0 -1 4202560 441752 0 0 0 255 96 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3329] ppid=3320 vsize=15756616 CPUtime=3.38 cores=1,3,5,7
/proc/3322/task/3329/stat : 3329 (java) S 3320 3322 2480 0 -1 4202560 448876 0 0 0 242 96 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3330] ppid=3320 vsize=15756616 CPUtime=2.69 cores=1,3,5,7
/proc/3322/task/3330/stat : 3330 (java) S 3320 3322 2480 0 -1 4202560 386712 0 0 0 200 69 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3331] ppid=3320 vsize=15756616 CPUtime=3 cores=1,3,5,7
/proc/3322/task/3331/stat : 3331 (java) S 3320 3322 2480 0 -1 4202560 322653 0 0 0 241 59 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3332] ppid=3320 vsize=15756616 CPUtime=2.78 cores=1,3,5,7
/proc/3322/task/3332/stat : 3332 (java) S 3320 3322 2480 0 -1 4202560 302251 0 0 0 227 51 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3333] ppid=3320 vsize=15756616 CPUtime=4.09 cores=1,3,5,7
/proc/3322/task/3333/stat : 3333 (java) S 3320 3322 2480 0 -1 4202560 476529 0 0 0 312 97 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3334] ppid=3320 vsize=15756616 CPUtime=865.98 cores=1,3,5,7
/proc/3322/task/3334/stat : 3334 (java) R 3320 3322 2480 0 -1 4202560 554865 0 0 0 86465 133 0 0 18 0 21 0 503562487 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 47402092476626 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=3322/tid=3335] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3335/stat : 3335 (java) S 3320 3322 2480 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 503562487 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3336] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3336/stat : 3336 (java) S 3320 3322 2480 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 21 0 503562487 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3337] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3337/stat : 3337 (java) S 3320 3322 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 503562489 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107274673 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 0
[pid=3322/tid=3339] ppid=3320 vsize=15756616 CPUtime=1.13 cores=1,3,5,7
/proc/3322/task/3339/stat : 3339 (java) S 3320 3322 2480 0 -1 4202560 5126 0 0 0 112 1 0 0 15 0 21 0 503562489 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3340] ppid=3320 vsize=15756616 CPUtime=0.76 cores=1,3,5,7
/proc/3322/task/3340/stat : 3340 (java) S 3320 3322 2480 0 -1 4202560 4567 0 0 0 76 0 0 0 15 0 21 0 503562489 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3341] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3341/stat : 3341 (java) S 3320 3322 2480 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 21 0 503562489 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3342] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3342/stat : 3342 (java) S 3320 3322 2480 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 21 0 503562489 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107267584 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3347] ppid=3320 vsize=15756616 CPUtime=306.15 cores=1,3,5,7
/proc/3322/task/3347/stat : 3347 (java) S 3320 3322 2480 0 -1 4202560 65328 0 0 0 30597 18 0 0 15 0 21 0 503562569 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3348] ppid=3320 vsize=15756616 CPUtime=306.44 cores=1,3,5,7
/proc/3322/task/3348/stat : 3348 (java) S 3320 3322 2480 0 -1 4202560 61825 0 0 0 30631 13 0 0 15 0 21 0 503562569 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3349] ppid=3320 vsize=15756616 CPUtime=306.01 cores=1,3,5,7
/proc/3322/task/3349/stat : 3349 (java) S 3320 3322 2480 0 -1 4202560 54215 0 0 0 30588 13 0 0 15 0 21 0 503562569 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 4
Current children cumulated CPU time (s) 2117.35
Current children cumulated vsize (KiB) 15756616
[startup+1242.31 s]
/proc/loadavg: 3.34 4.81 5.98 2/192 3411
/proc/meminfo: memFree=13999860/32951124 swapFree=67111348/67111528
[pid=3322] ppid=3320 vsize=15756616 CPUtime=2177.46 cores=1,3,5,7
/proc/3322/stat : 3322 (java) S 3320 3322 2480 0 -1 4202496 3877687 0 1 0 216923 823 0 0 20 0 21 0 503562485 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3322/statm: 3939154 3841872 2294 9 0 3929873 0
[pid=3322/tid=3323] ppid=3320 vsize=15756616 CPUtime=2.03 cores=1,3,5,7
/proc/3322/task/3323/stat : 3323 (java) S 3320 3322 2480 0 -1 4202560 35726 0 1 0 197 6 0 0 25 0 21 0 503562485 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3326] ppid=3320 vsize=15756616 CPUtime=3.11 cores=1,3,5,7
/proc/3322/task/3326/stat : 3326 (java) S 3320 3322 2480 0 -1 4202560 415497 0 0 0 227 84 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3327] ppid=3320 vsize=15756616 CPUtime=2.32 cores=1,3,5,7
/proc/3322/task/3327/stat : 3327 (java) S 3320 3322 2480 0 -1 4202560 245595 0 0 0 176 56 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3328] ppid=3320 vsize=15756616 CPUtime=3.51 cores=1,3,5,7
/proc/3322/task/3328/stat : 3328 (java) S 3320 3322 2480 0 -1 4202560 441752 0 0 0 255 96 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3329] ppid=3320 vsize=15756616 CPUtime=3.38 cores=1,3,5,7
/proc/3322/task/3329/stat : 3329 (java) S 3320 3322 2480 0 -1 4202560 448876 0 0 0 242 96 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3330] ppid=3320 vsize=15756616 CPUtime=2.69 cores=1,3,5,7
/proc/3322/task/3330/stat : 3330 (java) S 3320 3322 2480 0 -1 4202560 386712 0 0 0 200 69 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3331] ppid=3320 vsize=15756616 CPUtime=3 cores=1,3,5,7
/proc/3322/task/3331/stat : 3331 (java) S 3320 3322 2480 0 -1 4202560 322653 0 0 0 241 59 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3332] ppid=3320 vsize=15756616 CPUtime=2.78 cores=1,3,5,7
/proc/3322/task/3332/stat : 3332 (java) S 3320 3322 2480 0 -1 4202560 302251 0 0 0 227 51 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3333] ppid=3320 vsize=15756616 CPUtime=4.09 cores=1,3,5,7
/proc/3322/task/3333/stat : 3333 (java) S 3320 3322 2480 0 -1 4202560 476529 0 0 0 312 97 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3334] ppid=3320 vsize=15756616 CPUtime=925.93 cores=1,3,5,7
/proc/3322/task/3334/stat : 3334 (java) R 3320 3322 2480 0 -1 4202560 554870 0 0 0 92454 139 0 0 18 0 21 0 503562487 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 47402091775811 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=3322/tid=3335] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3335/stat : 3335 (java) S 3320 3322 2480 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 503562487 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3336] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3336/stat : 3336 (java) S 3320 3322 2480 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 21 0 503562487 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3337] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3337/stat : 3337 (java) S 3320 3322 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 503562489 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107274673 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 0
[pid=3322/tid=3339] ppid=3320 vsize=15756616 CPUtime=1.13 cores=1,3,5,7
/proc/3322/task/3339/stat : 3339 (java) S 3320 3322 2480 0 -1 4202560 5126 0 0 0 112 1 0 0 15 0 21 0 503562489 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3340] ppid=3320 vsize=15756616 CPUtime=0.76 cores=1,3,5,7
/proc/3322/task/3340/stat : 3340 (java) S 3320 3322 2480 0 -1 4202560 4567 0 0 0 76 0 0 0 15 0 21 0 503562489 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3341] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3341/stat : 3341 (java) S 3320 3322 2480 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 21 0 503562489 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3342] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3342/stat : 3342 (java) S 3320 3322 2480 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 21 0 503562489 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107267584 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3347] ppid=3320 vsize=15756616 CPUtime=306.2 cores=1,3,5,7
/proc/3322/task/3347/stat : 3347 (java) S 3320 3322 2480 0 -1 4202560 65328 0 0 0 30601 19 0 0 15 0 21 0 503562569 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3348] ppid=3320 vsize=15756616 CPUtime=306.5 cores=1,3,5,7
/proc/3322/task/3348/stat : 3348 (java) S 3320 3322 2480 0 -1 4202560 61825 0 0 0 30636 14 0 0 15 0 21 0 503562569 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3349] ppid=3320 vsize=15756616 CPUtime=306.05 cores=1,3,5,7
/proc/3322/task/3349/stat : 3349 (java) S 3320 3322 2480 0 -1 4202560 54861 0 0 0 30590 15 0 0 15 0 21 0 503562569 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 4
Current children cumulated CPU time (s) 2177.46
Current children cumulated vsize (KiB) 15756616
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 1.86 4.11 5.66 2/192 3412
/proc/meminfo: memFree=13999692/32951124 swapFree=67111348/67111528
[pid=3322] ppid=3320 vsize=15756616 CPUtime=2235.26 cores=1,3,5,7
/proc/3322/stat : 3322 (java) S 3320 3322 2480 0 -1 4202496 3878317 0 1 0 222693 833 0 0 20 0 21 0 503562485 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3322/statm: 3939154 3841872 2294 9 0 3929873 0
[pid=3322/tid=3323] ppid=3320 vsize=15756616 CPUtime=2.03 cores=1,3,5,7
/proc/3322/task/3323/stat : 3323 (java) S 3320 3322 2480 0 -1 4202560 35726 0 1 0 197 6 0 0 25 0 21 0 503562485 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3326] ppid=3320 vsize=15756616 CPUtime=3.11 cores=1,3,5,7
/proc/3322/task/3326/stat : 3326 (java) S 3320 3322 2480 0 -1 4202560 415497 0 0 0 227 84 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3327] ppid=3320 vsize=15756616 CPUtime=2.32 cores=1,3,5,7
/proc/3322/task/3327/stat : 3327 (java) S 3320 3322 2480 0 -1 4202560 245595 0 0 0 176 56 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3328] ppid=3320 vsize=15756616 CPUtime=3.51 cores=1,3,5,7
/proc/3322/task/3328/stat : 3328 (java) S 3320 3322 2480 0 -1 4202560 441752 0 0 0 255 96 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3329] ppid=3320 vsize=15756616 CPUtime=3.38 cores=1,3,5,7
/proc/3322/task/3329/stat : 3329 (java) S 3320 3322 2480 0 -1 4202560 448876 0 0 0 242 96 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3330] ppid=3320 vsize=15756616 CPUtime=2.69 cores=1,3,5,7
/proc/3322/task/3330/stat : 3330 (java) S 3320 3322 2480 0 -1 4202560 386712 0 0 0 200 69 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3331] ppid=3320 vsize=15756616 CPUtime=3 cores=1,3,5,7
/proc/3322/task/3331/stat : 3331 (java) S 3320 3322 2480 0 -1 4202560 322653 0 0 0 241 59 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3332] ppid=3320 vsize=15756616 CPUtime=2.78 cores=1,3,5,7
/proc/3322/task/3332/stat : 3332 (java) S 3320 3322 2480 0 -1 4202560 302251 0 0 0 227 51 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3333] ppid=3320 vsize=15756616 CPUtime=4.09 cores=1,3,5,7
/proc/3322/task/3333/stat : 3333 (java) S 3320 3322 2480 0 -1 4202560 476529 0 0 0 312 97 0 0 16 0 21 0 503562486 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 7 0 0 0
[pid=3322/tid=3334] ppid=3320 vsize=15756616 CPUtime=983.58 cores=1,3,5,7
/proc/3322/task/3334/stat : 3334 (java) R 3320 3322 2480 0 -1 4202560 554875 0 0 0 98212 146 0 0 18 0 21 0 503562487 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 47402093343069 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=3322/tid=3335] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3335/stat : 3335 (java) S 3320 3322 2480 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 503562487 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3336] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3336/stat : 3336 (java) S 3320 3322 2480 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 21 0 503562487 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3337] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3337/stat : 3337 (java) S 3320 3322 2480 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 503562489 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107274673 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 0
[pid=3322/tid=3339] ppid=3320 vsize=15756616 CPUtime=1.13 cores=1,3,5,7
/proc/3322/task/3339/stat : 3339 (java) S 3320 3322 2480 0 -1 4202560 5126 0 0 0 112 1 0 0 15 0 21 0 503562489 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3340] ppid=3320 vsize=15756616 CPUtime=0.76 cores=1,3,5,7
/proc/3322/task/3340/stat : 3340 (java) S 3320 3322 2480 0 -1 4202560 4567 0 0 0 76 0 0 0 15 0 21 0 503562489 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3341] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3341/stat : 3341 (java) S 3320 3322 2480 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 21 0 503562489 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3342] ppid=3320 vsize=15756616 CPUtime=0 cores=1,3,5,7
/proc/3322/task/3342/stat : 3342 (java) S 3320 3322 2480 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 21 0 503562489 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107267584 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3347] ppid=3320 vsize=15756616 CPUtime=306.26 cores=1,3,5,7
/proc/3322/task/3347/stat : 3347 (java) S 3320 3322 2480 0 -1 4202560 65328 0 0 0 30606 20 0 0 15 0 21 0 503562569 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 1 0 0 0
[pid=3322/tid=3348] ppid=3320 vsize=15756616 CPUtime=306.56 cores=1,3,5,7
/proc/3322/task/3348/stat : 3348 (java) S 3320 3322 2480 0 -1 4202560 61825 0 0 0 30641 15 0 0 16 0 21 0 503562569 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 3 0 0 0
[pid=3322/tid=3349] ppid=3320 vsize=15756616 CPUtime=306.08 cores=1,3,5,7
/proc/3322/task/3349/stat : 3349 (java) S 3320 3322 2480 0 -1 4202560 55483 0 0 0 30592 16 0 0 15 0 21 0 503562569 16134774784 3841872 33554432000 1073741824 1073778376 140733908134416 18446744073709551615 228107266969 0 4 0 16800975 18446604469274436032 0 0 -1 5 0 0 4
Current children cumulated CPU time (s) 2235.26
Current children cumulated vsize (KiB) 15756616
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -3322
[startup+1302.3 s]
/proc/loadavg: 1.86 4.11 5.66 2/193 3413
/proc/meminfo: memFree=13999684/32951124 swapFree=67111348/67111528
[pid=3322] ppid=3320 vsize=0 CPUtime=2237.56 cores=1,3,5,7
/proc/3322/stat : 3322 (java) R 3320 3322 2480 0 -1 4203524 3878344 0 1 0 222895 861 0 0 18 0 1 0 503562485 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/3322/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2237.56
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.6 s]
/proc/loadavg: 1.86 4.11 5.66 2/193 3413
/proc/meminfo: memFree=13999684/32951124 swapFree=67111348/67111528
[pid=3322] ppid=3320 vsize=0 CPUtime=2237.86 cores=1,3,5,7
/proc/3322/stat : 3322 (java) R 3320 3322 2480 0 -1 4203524 3878344 0 1 0 222895 891 0 0 18 0 1 0 503562485 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/3322/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2237.86
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.62
CPU time (s): 2237.89
CPU user time (s): 2228.96
CPU system time (s): 8.93664
CPU usage (%): 171.799
Max. virtual memory (cumulated for all children) (KiB): 15758076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2228.96
system time used= 8.93664
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3878344
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= 77120
involuntary context switches= 41669
runsolver used 2.10868 second user time and 5.04623 second system time
The end