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-3456288-1307223521/watcher-3456288-1307223521 -o /tmp/evaluation-result-3456288-1307223521/solver-3456288-1307223521 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456288-1307223521.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.07 2.01 2/593 6640
/proc/meminfo: memFree=19911076/32951124 swapFree=58940260/67111528
[pid=6640] ppid=6638 vsize=24004 CPUtime=0 cores=1,3,5,7
/proc/6640/stat : 6640 (java) S 6638 6640 5603 0 -1 4202496 1141 0 0 0 0 0 0 0 25 0 2 0 833949845 24580096 877 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699477989 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/6640/statm: 6014 884 671 9 0 381 0
[pid=6640/tid=6641] ppid=6638 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6641/stat : 6641 (java) R 6638 6640 5603 0 -1 4202560 7072 0 1 0 0 0 0 0 18 0 2 0 833949846 10694979584 7888 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0618721 s]
/proc/loadavg: 2.03 2.07 2.01 2/593 6640
/proc/meminfo: memFree=19911076/32951124 swapFree=58940260/67111528
[pid=6640] ppid=6638 vsize=10472756 CPUtime=0.04 cores=1,3,5,7
/proc/6640/stat : 6640 (java) S 6638 6640 5603 0 -1 4202496 11603 0 1 0 3 1 0 0 25 0 18 0 833949845 10724102144 11299 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6640/statm: 2618189 11300 1721 9 0 2608937 0
[pid=6640/tid=6641] ppid=6638 vsize=10472756 CPUtime=0.04 cores=1,3,5,7
/proc/6640/task/6641/stat : 6641 (java) R 6638 6640 5603 0 -1 4202560 10429 0 1 0 3 1 0 0 25 0 18 0 833949846 10724102144 11300 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10472756
[startup+0.105932 s]
/proc/loadavg: 2.03 2.07 2.01 2/593 6640
/proc/meminfo: memFree=19911076/32951124 swapFree=58940260/67111528
[pid=6640] ppid=6638 vsize=10540112 CPUtime=0.11 cores=1,3,5,7
/proc/6640/stat : 6640 (java) S 6638 6640 5603 0 -1 4202496 13048 0 1 0 9 2 0 0 25 0 18 0 833949845 10793074688 12744 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6640/statm: 2635028 12744 2092 9 0 2625762 0
[pid=6640/tid=6641] ppid=6638 vsize=10540112 CPUtime=0.08 cores=1,3,5,7
/proc/6640/task/6641/stat : 6641 (java) R 6638 6640 5603 0 -1 4202560 11195 0 1 0 7 1 0 0 25 0 18 0 833949846 10793074688 12744 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540112
[startup+0.300794 s]
/proc/loadavg: 2.03 2.07 2.01 2/593 6640
/proc/meminfo: memFree=19911076/32951124 swapFree=58940260/67111528
[pid=6640] ppid=6638 vsize=10542392 CPUtime=0.51 cores=1,3,5,7
/proc/6640/stat : 6640 (java) S 6638 6640 5603 0 -1 4202496 16915 0 1 0 49 2 0 0 25 0 18 0 833949845 10795409408 15969 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6640/statm: 2635598 15970 2201 9 0 2626332 0
[pid=6640/tid=6641] ppid=6638 vsize=10542392 CPUtime=0.27 cores=1,3,5,7
/proc/6640/task/6641/stat : 6641 (java) R 6638 6640 5603 0 -1 4202560 13306 0 1 0 26 1 0 0 25 0 18 0 833949846 10795409408 15971 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 46912505554267 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10542392
[startup+0.700755 s]
/proc/loadavg: 2.03 2.07 2.01 2/593 6640
/proc/meminfo: memFree=19911076/32951124 swapFree=58940260/67111528
[pid=6640] ppid=6638 vsize=10545916 CPUtime=1.56 cores=1,3,5,7
/proc/6640/stat : 6640 (java) S 6638 6640 5603 0 -1 4202496 30576 0 1 0 152 4 0 0 25 0 19 0 833949845 10799017984 24738 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6640/statm: 2636479 24738 2237 9 0 2627213 0
[pid=6640/tid=6641] ppid=6638 vsize=10545916 CPUtime=0.67 cores=1,3,5,7
/proc/6640/task/6641/stat : 6641 (java) R 6638 6640 5603 0 -1 4202560 18256 0 1 0 65 2 0 0 25 0 19 0 833949846 10799017984 24738 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 46912505941475 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10545916
[startup+1.50161 s]
/proc/loadavg: 2.03 2.07 2.01 4/612 6659
/proc/meminfo: memFree=19718796/32951124 swapFree=58940260/67111528
[pid=6640] ppid=6638 vsize=10550908 CPUtime=2.85 cores=1,3,5,7
/proc/6640/stat : 6640 (java) S 6638 6640 5603 0 -1 4202496 124969 0 1 0 271 14 0 0 25 0 19 0 833949845 10804129792 118228 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6640/statm: 2637727 118237 2239 9 0 2628461 0
[pid=6640/tid=6641] ppid=6638 vsize=10550908 CPUtime=1.48 cores=1,3,5,7
/proc/6640/task/6641/stat : 6641 (java) R 6638 6640 5603 0 -1 4202560 109367 0 1 0 136 12 0 0 18 0 19 0 833949846 10804129792 118241 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 46912505822762 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6640/tid=6643] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6643/stat : 6643 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833949848 10804129792 118246 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6644] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6644/stat : 6644 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833949848 10804129792 118246 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6645] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6645/stat : 6645 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833949848 10804129792 118249 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6646] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6646/stat : 6646 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833949848 10804129792 118256 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6647] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6647/stat : 6647 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833949848 10804129792 118262 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6648] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6648/stat : 6648 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833949848 10804129792 118264 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6649] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6649/stat : 6649 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833949848 10804129792 118264 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6650] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6650/stat : 6650 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833949848 10804129792 118270 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6651] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6651/stat : 6651 (java) S 6638 6640 5603 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833949849 10804129792 118276 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491840 0 0 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6652] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6652/stat : 6652 (java) S 6638 6640 5603 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 833949849 10804129792 118282 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6653] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6653/stat : 6653 (java) S 6638 6640 5603 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833949849 10804129792 118282 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6654] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6654/stat : 6654 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833949851 10804129792 118284 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699498929 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6655] ppid=6638 vsize=10550908 CPUtime=0.78 cores=1,3,5,7
/proc/6640/task/6655/stat : 6655 (java) S 6638 6640 5603 0 -1 4202560 8580 0 0 0 77 1 0 0 22 0 19 0 833949851 10804129792 118291 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6656] ppid=6638 vsize=10550908 CPUtime=0.57 cores=1,3,5,7
/proc/6640/task/6656/stat : 6656 (java) S 6638 6640 5603 0 -1 4202560 5873 0 0 0 57 0 0 0 23 0 19 0 833949851 10804129792 118297 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6657] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6657/stat : 6657 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833949851 10804129792 118300 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6658] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6658/stat : 6658 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833949851 10804129792 118300 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491840 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6659] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6659/stat : 6659 (java) S 6638 6640 5603 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833949888 10804129792 118305 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491840 0 4 0 16800975 18446604455588623360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 10550908
[startup+3.10132 s]
/proc/loadavg: 2.03 2.07 2.01 3/612 6659
/proc/meminfo: memFree=19131496/32951124 swapFree=58940260/67111528
[pid=6640] ppid=6638 vsize=10550908 CPUtime=4.56 cores=1,3,5,7
/proc/6640/stat : 6640 (java) S 6638 6640 5603 0 -1 4202496 349064 0 1 0 416 40 0 0 25 0 19 0 833949845 10804129792 342323 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6640/statm: 2637727 342327 2239 9 0 2628461 0
[pid=6640/tid=6641] ppid=6638 vsize=10550908 CPUtime=3.08 cores=1,3,5,7
/proc/6640/task/6641/stat : 6641 (java) R 6638 6640 5603 0 -1 4202560 333418 0 1 0 270 38 0 0 18 0 19 0 833949846 10804129792 342329 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 46912505981693 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6640/tid=6643] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6643/stat : 6643 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833949848 10804129792 342336 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6644] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6644/stat : 6644 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833949848 10804129792 342343 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6645] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6645/stat : 6645 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833949848 10804129792 342349 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6646] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6646/stat : 6646 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833949848 10804129792 342353 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6647] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6647/stat : 6647 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833949848 10804129792 342353 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6648] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6648/stat : 6648 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833949848 10804129792 342356 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6649] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6649/stat : 6649 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833949848 10804129792 342363 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6650] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6650/stat : 6650 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833949848 10804129792 342370 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6651] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6651/stat : 6651 (java) S 6638 6640 5603 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833949849 10804129792 342376 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491840 0 0 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6652] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6652/stat : 6652 (java) S 6638 6640 5603 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 833949849 10804129792 342379 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6653] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6653/stat : 6653 (java) S 6638 6640 5603 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833949849 10804129792 342379 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6654] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6654/stat : 6654 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833949851 10804129792 342384 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699498929 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6655] ppid=6638 vsize=10550908 CPUtime=0.84 cores=1,3,5,7
/proc/6640/task/6655/stat : 6655 (java) S 6638 6640 5603 0 -1 4202560 8587 0 0 0 83 1 0 0 15 0 19 0 833949851 10804129792 342391 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6656] ppid=6638 vsize=10550908 CPUtime=0.61 cores=1,3,5,7
/proc/6640/task/6656/stat : 6656 (java) S 6638 6640 5603 0 -1 4202560 5904 0 0 0 61 0 0 0 17 0 19 0 833949851 10804129792 342398 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6657] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6657/stat : 6657 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833949851 10804129792 342404 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6658] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6658/stat : 6658 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833949851 10804129792 342406 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491840 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6659] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6659/stat : 6659 (java) S 6638 6640 5603 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833949888 10804129792 342406 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491840 0 4 0 16800975 18446604455588623360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 10550908
[startup+6.30073 s]
/proc/loadavg: 2.03 2.07 2.01 3/612 6659
/proc/meminfo: memFree=17279928/32951124 swapFree=58940260/67111528
[pid=6640] ppid=6638 vsize=10550908 CPUtime=7.87 cores=1,3,5,7
/proc/6640/stat : 6640 (java) S 6638 6640 5603 0 -1 4202496 667517 0 1 0 712 75 0 0 25 0 19 0 833949845 10804129792 658122 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6640/statm: 2637727 658122 2252 9 0 2628461 0
[pid=6640/tid=6641] ppid=6638 vsize=10550908 CPUtime=6.28 cores=1,3,5,7
/proc/6640/task/6641/stat : 6641 (java) R 6638 6640 5603 0 -1 4202560 651090 0 1 0 555 73 0 0 19 0 19 0 833949846 10804129792 658122 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 46912505989438 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6640/tid=6643] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6643/stat : 6643 (java) S 6638 6640 5603 0 -1 4202560 220 0 0 0 0 0 0 0 18 0 19 0 833949848 10804129792 658122 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6644] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6644/stat : 6644 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833949848 10804129792 658122 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6645] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6645/stat : 6645 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833949848 10804129792 658122 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6646] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6646/stat : 6646 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833949848 10804129792 658122 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6647] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6647/stat : 6647 (java) S 6638 6640 5603 0 -1 4202560 273 0 0 0 0 0 0 0 18 0 19 0 833949848 10804129792 658122 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6648] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6648/stat : 6648 (java) S 6638 6640 5603 0 -1 4202560 263 0 0 0 0 0 0 0 18 0 19 0 833949848 10804129792 658122 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6649] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6649/stat : 6649 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833949848 10804129792 658122 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6650] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6650/stat : 6650 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833949848 10804129792 658122 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6651] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6651/stat : 6651 (java) S 6638 6640 5603 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 833949849 10804129792 658122 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491840 0 0 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6652] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6652/stat : 6652 (java) S 6638 6640 5603 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833949849 10804129792 658122 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6653] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6653/stat : 6653 (java) S 6638 6640 5603 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833949849 10804129792 658122 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6654] ppid=6638 vsize=10550908 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6654/stat : 6654 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833949851 10804129792 658122 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699498929 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6655] ppid=6638 vsize=10550908 CPUtime=0.91 cores=1,3,5,7
/proc/6640/task/6655/stat : 6655 (java) S 6638 6640 5603 0 -1 4202560 8595 0 0 0 90 1 0 0 15 0 19 0 833949851 10804129792 658122 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6656] ppid=6638 vsize=10550908 CPUtime=0.65 cores=1,3,5,7
/proc/6640/task/6656/stat : 6656 (java) S 6638 6640 5603 0 -1 4202560 5908 0 0 0 65 0 0 0 15 0 19 0 833949851 10804129792 658122 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=6640/tid=6659] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6659/stat : 6659 (java) S 6638 6640 5603 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833949888 10805673984 1055790 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491840 0 4 0 16800975 18446604455588623360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1673.18
Current children cumulated vsize (KiB) 10552416
[startup+1722.3 s]
/proc/loadavg: 2.11 2.04 2.00 3/612 6764
/proc/meminfo: memFree=15650788/32951124 swapFree=58940260/67111528
[pid=6640] ppid=6638 vsize=10552416 CPUtime=1733.61 cores=1,3,5,7
/proc/6640/stat : 6640 (java) S 6638 6640 5603 0 -1 4202496 1074516 0 1 0 173233 128 0 0 25 0 19 0 833949845 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6640/statm: 2638104 1058668 2254 9 0 2628838 0
[pid=6640/tid=6641] ppid=6638 vsize=10552416 CPUtime=1717.67 cores=1,3,5,7
/proc/6640/task/6641/stat : 6641 (java) R 6638 6640 5603 0 -1 4202560 855949 0 1 0 171675 92 0 0 25 0 19 0 833949846 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 46912505822800 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6640/tid=6643] ppid=6638 vsize=10552416 CPUtime=1.77 cores=1,3,5,7
/proc/6640/task/6643/stat : 6643 (java) S 6638 6640 5603 0 -1 4202560 26222 0 0 0 174 3 0 0 15 0 19 0 833949848 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6644] ppid=6638 vsize=10552416 CPUtime=1.76 cores=1,3,5,7
/proc/6640/task/6644/stat : 6644 (java) S 6638 6640 5603 0 -1 4202560 28134 0 0 0 172 4 0 0 16 0 19 0 833949848 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 5 0 0 0
[pid=6640/tid=6645] ppid=6638 vsize=10552416 CPUtime=1.67 cores=1,3,5,7
/proc/6640/task/6645/stat : 6645 (java) S 6638 6640 5603 0 -1 4202560 26482 0 0 0 164 3 0 0 15 0 19 0 833949848 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 1 0 0 0
[pid=6640/tid=6646] ppid=6638 vsize=10552416 CPUtime=1.78 cores=1,3,5,7
/proc/6640/task/6646/stat : 6646 (java) S 6638 6640 5603 0 -1 4202560 23781 0 0 0 175 3 0 0 15 0 19 0 833949848 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 5 0 0 0
[pid=6640/tid=6647] ppid=6638 vsize=10552416 CPUtime=1.7 cores=1,3,5,7
/proc/6640/task/6647/stat : 6647 (java) S 6638 6640 5603 0 -1 4202560 27254 0 0 0 166 4 0 0 15 0 19 0 833949848 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6648] ppid=6638 vsize=10552416 CPUtime=1.56 cores=1,3,5,7
/proc/6640/task/6648/stat : 6648 (java) S 6638 6640 5603 0 -1 4202560 19178 0 0 0 153 3 0 0 15 0 19 0 833949848 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6649] ppid=6638 vsize=10552416 CPUtime=1.76 cores=1,3,5,7
/proc/6640/task/6649/stat : 6649 (java) S 6638 6640 5603 0 -1 4202560 26932 0 0 0 173 3 0 0 16 0 19 0 833949848 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6650] ppid=6638 vsize=10552416 CPUtime=1.62 cores=1,3,5,7
/proc/6640/task/6650/stat : 6650 (java) S 6638 6640 5603 0 -1 4202560 24475 0 0 0 158 4 0 0 16 0 19 0 833949848 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 1 0 0 0
[pid=6640/tid=6651] ppid=6638 vsize=10552416 CPUtime=0.05 cores=1,3,5,7
/proc/6640/task/6651/stat : 6651 (java) S 6638 6640 5603 0 -1 4202560 111 0 0 0 3 2 0 0 15 0 19 0 833949849 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491840 0 0 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6652] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6652/stat : 6652 (java) S 6638 6640 5603 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833949849 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6653] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6653/stat : 6653 (java) S 6638 6640 5603 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833949849 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6654] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6654/stat : 6654 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833949851 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699498929 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6655] ppid=6638 vsize=10552416 CPUtime=1.08 cores=1,3,5,7
/proc/6640/task/6655/stat : 6655 (java) S 6638 6640 5603 0 -1 4202560 8603 0 0 0 107 1 0 0 15 0 19 0 833949851 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6656] ppid=6638 vsize=10552416 CPUtime=1.08 cores=1,3,5,7
/proc/6640/task/6656/stat : 6656 (java) S 6638 6640 5603 0 -1 4202560 6146 0 0 0 107 1 0 0 15 0 19 0 833949851 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 5 0 0 0
[pid=6640/tid=6657] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6657/stat : 6657 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833949851 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6658] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6658/stat : 6658 (java) S 6638 6640 5603 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833949851 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491840 0 4 0 16800975 18446604455588623360 0 0 -1 1 0 0 0
[pid=6640/tid=6659] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6659/stat : 6659 (java) S 6638 6640 5603 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833949888 10805673984 1058668 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491840 0 4 0 16800975 18446604455588623360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1733.61
Current children cumulated vsize (KiB) 10552416
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/612 6766
/proc/meminfo: memFree=15625212/32951124 swapFree=58940260/67111528
[pid=6640] ppid=6638 vsize=10552416 CPUtime=1793.96 cores=1,3,5,7
/proc/6640/stat : 6640 (java) S 6638 6640 5603 0 -1 4202496 1077043 0 1 0 179268 128 0 0 25 0 19 0 833949845 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6640/statm: 2638104 1061139 2254 9 0 2628838 0
[pid=6640/tid=6641] ppid=6638 vsize=10552416 CPUtime=1777.41 cores=1,3,5,7
/proc/6640/task/6641/stat : 6641 (java) R 6638 6640 5603 0 -1 4202560 855959 0 1 0 177649 92 0 0 25 0 19 0 833949846 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 46912505981957 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6640/tid=6643] ppid=6638 vsize=10552416 CPUtime=1.87 cores=1,3,5,7
/proc/6640/task/6643/stat : 6643 (java) S 6638 6640 5603 0 -1 4202560 26431 0 0 0 184 3 0 0 15 0 19 0 833949848 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 1 0 0 0
[pid=6640/tid=6644] ppid=6638 vsize=10552416 CPUtime=1.84 cores=1,3,5,7
/proc/6640/task/6644/stat : 6644 (java) S 6638 6640 5603 0 -1 4202560 28547 0 0 0 180 4 0 0 15 0 19 0 833949848 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 1 0 0 0
[pid=6640/tid=6645] ppid=6638 vsize=10552416 CPUtime=1.76 cores=1,3,5,7
/proc/6640/task/6645/stat : 6645 (java) S 6638 6640 5603 0 -1 4202560 27045 0 0 0 173 3 0 0 15 0 19 0 833949848 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 5 0 0 0
[pid=6640/tid=6646] ppid=6638 vsize=10552416 CPUtime=1.79 cores=1,3,5,7
/proc/6640/task/6646/stat : 6646 (java) S 6638 6640 5603 0 -1 4202560 23781 0 0 0 176 3 0 0 15 0 19 0 833949848 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 5 0 0 0
[pid=6640/tid=6647] ppid=6638 vsize=10552416 CPUtime=1.75 cores=1,3,5,7
/proc/6640/task/6647/stat : 6647 (java) S 6638 6640 5603 0 -1 4202560 27514 0 0 0 171 4 0 0 16 0 19 0 833949848 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6648] ppid=6638 vsize=10552416 CPUtime=1.7 cores=1,3,5,7
/proc/6640/task/6648/stat : 6648 (java) S 6638 6640 5603 0 -1 4202560 19740 0 0 0 167 3 0 0 15 0 19 0 833949848 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6649] ppid=6638 vsize=10552416 CPUtime=1.82 cores=1,3,5,7
/proc/6640/task/6649/stat : 6649 (java) S 6638 6640 5603 0 -1 4202560 27165 0 0 0 179 3 0 0 16 0 19 0 833949848 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 1 0 0 0
[pid=6640/tid=6650] ppid=6638 vsize=10552416 CPUtime=1.72 cores=1,3,5,7
/proc/6640/task/6650/stat : 6650 (java) S 6638 6640 5603 0 -1 4202560 24744 0 0 0 168 4 0 0 16 0 19 0 833949848 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 5 0 0 0
[pid=6640/tid=6651] ppid=6638 vsize=10552416 CPUtime=0.05 cores=1,3,5,7
/proc/6640/task/6651/stat : 6651 (java) S 6638 6640 5603 0 -1 4202560 115 0 0 0 3 2 0 0 15 0 19 0 833949849 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491840 0 0 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6652] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6652/stat : 6652 (java) S 6638 6640 5603 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833949849 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6653] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6653/stat : 6653 (java) S 6638 6640 5603 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833949849 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6654] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6654/stat : 6654 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833949851 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699498929 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6655] ppid=6638 vsize=10552416 CPUtime=1.08 cores=1,3,5,7
/proc/6640/task/6655/stat : 6655 (java) S 6638 6640 5603 0 -1 4202560 8603 0 0 0 107 1 0 0 15 0 19 0 833949851 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6656] ppid=6638 vsize=10552416 CPUtime=1.08 cores=1,3,5,7
/proc/6640/task/6656/stat : 6656 (java) S 6638 6640 5603 0 -1 4202560 6146 0 0 0 107 1 0 0 15 0 19 0 833949851 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 5 0 0 0
[pid=6640/tid=6657] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6657/stat : 6657 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833949851 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6658] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6658/stat : 6658 (java) S 6638 6640 5603 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833949851 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491840 0 4 0 16800975 18446604455588623360 0 0 -1 1 0 0 0
[pid=6640/tid=6659] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6659/stat : 6659 (java) S 6638 6640 5603 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833949888 10805673984 1061139 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491840 0 4 0 16800975 18446604455588623360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1793.96
Current children cumulated vsize (KiB) 10552416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/612 6766
/proc/meminfo: memFree=15622232/32951124 swapFree=58940260/67111528
[pid=6640] ppid=6638 vsize=10552416 CPUtime=1800.02 cores=1,3,5,7
/proc/6640/stat : 6640 (java) S 6638 6640 5603 0 -1 4202496 1077520 0 1 0 179873 129 0 0 25 0 19 0 833949845 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6640/statm: 2638104 1061601 2254 9 0 2628838 0
[pid=6640/tid=6641] ppid=6638 vsize=10552416 CPUtime=1783.4 cores=1,3,5,7
/proc/6640/task/6641/stat : 6641 (java) R 6638 6640 5603 0 -1 4202560 855960 0 1 0 178248 92 0 0 25 0 19 0 833949846 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 46912505941526 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6640/tid=6643] ppid=6638 vsize=10552416 CPUtime=1.89 cores=1,3,5,7
/proc/6640/task/6643/stat : 6643 (java) S 6638 6640 5603 0 -1 4202560 26666 0 0 0 186 3 0 0 16 0 19 0 833949848 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 1 0 0 0
[pid=6640/tid=6644] ppid=6638 vsize=10552416 CPUtime=1.86 cores=1,3,5,7
/proc/6640/task/6644/stat : 6644 (java) S 6638 6640 5603 0 -1 4202560 28555 0 0 0 182 4 0 0 16 0 19 0 833949848 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6645] ppid=6638 vsize=10552416 CPUtime=1.76 cores=1,3,5,7
/proc/6640/task/6645/stat : 6645 (java) S 6638 6640 5603 0 -1 4202560 27045 0 0 0 173 3 0 0 15 0 19 0 833949848 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 5 0 0 0
[pid=6640/tid=6646] ppid=6638 vsize=10552416 CPUtime=1.79 cores=1,3,5,7
/proc/6640/task/6646/stat : 6646 (java) S 6638 6640 5603 0 -1 4202560 23781 0 0 0 176 3 0 0 15 0 19 0 833949848 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 5 0 0 0
[pid=6640/tid=6647] ppid=6638 vsize=10552416 CPUtime=1.75 cores=1,3,5,7
/proc/6640/task/6647/stat : 6647 (java) S 6638 6640 5603 0 -1 4202560 27514 0 0 0 171 4 0 0 15 0 19 0 833949848 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6648] ppid=6638 vsize=10552416 CPUtime=1.7 cores=1,3,5,7
/proc/6640/task/6648/stat : 6648 (java) S 6638 6640 5603 0 -1 4202560 19740 0 0 0 167 3 0 0 15 0 19 0 833949848 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 7 0 0 0
[pid=6640/tid=6649] ppid=6638 vsize=10552416 CPUtime=1.82 cores=1,3,5,7
/proc/6640/task/6649/stat : 6649 (java) S 6638 6640 5603 0 -1 4202560 27165 0 0 0 179 3 0 0 15 0 19 0 833949848 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 1 0 0 0
[pid=6640/tid=6650] ppid=6638 vsize=10552416 CPUtime=1.74 cores=1,3,5,7
/proc/6640/task/6650/stat : 6650 (java) S 6638 6640 5603 0 -1 4202560 24977 0 0 0 170 4 0 0 16 0 19 0 833949848 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 5 0 0 0
[pid=6640/tid=6651] ppid=6638 vsize=10552416 CPUtime=0.05 cores=1,3,5,7
/proc/6640/task/6651/stat : 6651 (java) S 6638 6640 5603 0 -1 4202560 115 0 0 0 3 2 0 0 15 0 19 0 833949849 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491840 0 0 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6652] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6652/stat : 6652 (java) S 6638 6640 5603 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833949849 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6653] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6653/stat : 6653 (java) S 6638 6640 5603 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833949849 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6654] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6654/stat : 6654 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833949851 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699498929 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6655] ppid=6638 vsize=10552416 CPUtime=1.08 cores=1,3,5,7
/proc/6640/task/6655/stat : 6655 (java) S 6638 6640 5603 0 -1 4202560 8603 0 0 0 107 1 0 0 15 0 19 0 833949851 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6656] ppid=6638 vsize=10552416 CPUtime=1.08 cores=1,3,5,7
/proc/6640/task/6656/stat : 6656 (java) S 6638 6640 5603 0 -1 4202560 6146 0 0 0 107 1 0 0 15 0 19 0 833949851 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 5 0 0 0
[pid=6640/tid=6657] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6657/stat : 6657 (java) S 6638 6640 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833949851 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491225 0 4 0 16800975 18446604455588623360 0 0 -1 3 0 0 0
[pid=6640/tid=6658] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6658/stat : 6658 (java) S 6638 6640 5603 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833949851 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491840 0 4 0 16800975 18446604455588623360 0 0 -1 1 0 0 0
[pid=6640/tid=6659] ppid=6638 vsize=10552416 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6659/stat : 6659 (java) S 6638 6640 5603 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833949888 10805673984 1061601 33554432000 1073741824 1073778376 140737006613616 18446744073709551615 212699491840 0 4 0 16800975 18446604455588623360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10552416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.43 s]
/proc/loadavg: 2.04 2.03 2.00 3/612 6766
/proc/meminfo: memFree=15622232/32951124 swapFree=58940260/67111528
[pid=6640] ppid=6638 vsize=0 CPUtime=1800.17 cores=1,3,5,7
/proc/6640/stat : 6640 (java) Z 6638 6640 5603 0 -1 4203548 1077554 0 1 0 179882 135 0 0 17 0 2 0 833949845 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6640/statm: 0 0 0 0 0 0 0
[pid=6640/tid=6641] ppid=6638 vsize=0 CPUtime=1783.5 cores=1,3,5,7
/proc/6640/task/6641/stat : 6641 (java) R 6638 6640 5603 0 -1 4203588 855960 0 1 0 178251 99 0 0 25 0 2 0 833949846 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
[startup+1788.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/596 6769
/proc/meminfo: memFree=19004336/32951124 swapFree=58940260/67111528
[pid=6640] ppid=6638 vsize=0 CPUtime=1800.25 cores=1,3,5,7
/proc/6640/stat : 6640 (java) Z 6638 6640 5603 0 -1 4203548 1077554 0 1 0 179882 143 0 0 17 0 2 0 833949845 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6640/statm: 0 0 0 0 0 0 0
[pid=6640/tid=6641] ppid=6638 vsize=0 CPUtime=1783.59 cores=1,3,5,7
/proc/6640/task/6641/stat : 6641 (java) R 6638 6640 5603 0 -1 4203588 855960 0 1 0 178251 108 0 0 25 0 2 0 833949846 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1788.54
CPU time (s): 1800.29
CPU user time (s): 1798.83
CPU system time (s): 1.46178
CPU usage (%): 100.657
Max. virtual memory (cumulated for all children) (KiB): 10552416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.46178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1077554
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= 44158
involuntary context switches= 26376
runsolver used 10.3724 second user time and 24.7112 second system time
The end