runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4103336-1466236592/watcher-4103336-1466236592 -o /tmp/evaluation-result-4103336-1466236592/solver-4103336-1466236592 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466206086-5894 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103336-1466236592.opb
pid=11609
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.24 2.27 2.21 4/194 11612
/proc/meminfo: memFree=28021644/32872528 swapFree=1590032/1720848
[pid=11612] ppid=11609 vsize=9212 CPUtime=0 cores=0,2,4,6
/proc/11612/stat : 11612 (java) R 11609 11612 5878 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 25707572 9433088 63 33554432000 1073741824 1073778376 140736583295120 140736583292248 226075119904 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11612/statm: 2306 75 58 9 0 38 0
[startup+0.10006 s]
/proc/loadavg: 2.24 2.27 2.21 4/194 11612
/proc/meminfo: memFree=28021644/32872528 swapFree=1590032/1720848
[pid=11612] ppid=11609 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11609 11612 5878 0 -1 4202496 4414 0 1 0 7 1 0 0 20 0 18 0 25707572 9787879424 6041 33554432000 1073741824 1073778376 140736583295120 140736583286256 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11612/statm: 2389619 6041 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200293 s]
/proc/loadavg: 2.24 2.27 2.21 4/194 11612
/proc/meminfo: memFree=28021644/32872528 swapFree=1590032/1720848
[pid=11612] ppid=11609 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11609 11612 5878 0 -1 4202496 5119 0 1 0 27 2 0 0 20 0 18 0 25707572 9787879424 7112 33554432000 1073741824 1073778376 140736583295120 140736583286256 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11612/statm: 2389619 7112 2219 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476
[startup+0.300236 s]
/proc/loadavg: 2.24 2.27 2.21 4/194 11612
/proc/meminfo: memFree=28021644/32872528 swapFree=1590032/1720848
[pid=11612] ppid=11609 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11609 11612 5878 0 -1 4202496 6790 0 1 0 50 2 0 0 20 0 18 0 25707572 9787879424 9655 33554432000 1073741824 1073778376 140736583295120 140736583286256 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11612/statm: 2389619 9655 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476
[startup+0.700259 s]
/proc/loadavg: 2.24 2.27 2.21 4/194 11612
/proc/meminfo: memFree=28021644/32872528 swapFree=1590032/1720848
[pid=11612] ppid=11609 vsize=9558476 CPUtime=1.14 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11609 11612 5878 0 -1 4202496 8057 0 1 0 109 5 0 0 20 0 18 0 25707572 9787879424 41947 33554432000 1073741824 1073778376 140736583295120 140736583286256 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11612/statm: 2389619 41947 2262 9 0 2380296 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9558476
[startup+1.50084 s]
/proc/loadavg: 2.30 2.28 2.22 4/213 11631
/proc/meminfo: memFree=27802940/32872528 swapFree=1590032/1720848
[pid=11612] ppid=11609 vsize=9625040 CPUtime=2.42 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11609 11612 5878 0 -1 4202496 10196 0 1 0 235 7 0 0 20 0 19 0 25707572 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 140736583286256 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11612/statm: 2406260 50492 2275 9 0 2396937 0
[pid=11612/tid=11614] ppid=11609 vsize=9625040 CPUtime=1.39 cores=0,2,4,6
/proc/11612/task/11614/stat : 11614 (java) R 11609 11612 5878 0 -1 4202560 2469 0 1 0 135 4 0 0 20 0 19 0 25707573 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139856053899544 139855896655948 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11612/tid=11615] ppid=11609 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/11612/task/11615/stat : 11615 (java) S 11609 11612 5878 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 25707574 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139856015391272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11616] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11616/stat : 11616 (java) S 11609 11612 5878 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 25707574 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139855895980456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11617] ppid=11609 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/11612/task/11617/stat : 11617 (java) S 11609 11612 5878 0 -1 4202560 145 0 0 0 4 0 0 0 20 0 19 0 25707574 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139855894927656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11618] ppid=11609 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/11612/task/11618/stat : 11618 (java) S 11609 11612 5878 0 -1 4202560 103 0 0 0 1 0 0 0 20 0 19 0 25707574 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139855893874856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11619] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11619/stat : 11619 (java) S 11609 11612 5878 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25707574 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139855892823080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11612/tid=11620] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11620/stat : 11620 (java) S 11609 11612 5878 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 25707574 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139855891770280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11612/tid=11621] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11621/stat : 11621 (java) S 11609 11612 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25707574 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139855890717480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11622] ppid=11609 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/11612/task/11622/stat : 11622 (java) S 11609 11612 5878 0 -1 4202560 142 0 0 0 4 0 0 0 20 0 19 0 25707574 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139855889664680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11623] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11623/stat : 11623 (java) S 11609 11612 5878 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 25707575 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139855407335912 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11612/tid=11624] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11624/stat : 11624 (java) S 11609 11612 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25707575 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139855406281976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11625] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11625/stat : 11625 (java) S 11609 11612 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25707576 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139855405229064 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11626] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11626/stat : 11626 (java) S 11609 11612 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25707578 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139855404177552 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11627] ppid=11609 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/11612/task/11627/stat : 11627 (java) S 11609 11612 5878 0 -1 4202560 2697 0 0 0 38 0 0 0 20 0 19 0 25707578 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139855403125688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11628] ppid=11609 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/11612/task/11628/stat : 11628 (java) S 11609 11612 5878 0 -1 4202560 3284 0 0 0 40 0 0 0 20 0 19 0 25707578 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139855402072888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11629] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11629/stat : 11629 (java) S 11609 11612 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25707578 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139855401020280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11630] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11630/stat : 11630 (java) S 11609 11612 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25707578 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139855399967688 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11631] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11631/stat : 11631 (java) S 11609 11612 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25707660 9856040960 50492 33554432000 1073741824 1073778376 140736583295120 139855398913192 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 9625040
[startup+3.1008 s]
/proc/loadavg: 2.30 2.28 2.22 3/213 11631
/proc/meminfo: memFree=27752796/32872528 swapFree=1590032/1720848
[pid=11612] ppid=11609 vsize=9625040 CPUtime=4.12 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11609 11612 5878 0 -1 4202496 10485 0 1 0 399 13 0 0 20 0 19 0 25707572 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 140736583286256 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11612/statm: 2406260 87524 2275 9 0 2396937 0
[pid=11612/tid=11614] ppid=11609 vsize=9625040 CPUtime=2.92 cores=0,2,4,6
/proc/11612/task/11614/stat : 11614 (java) R 11609 11612 5878 0 -1 4202560 2529 0 1 0 286 6 0 0 20 0 19 0 25707573 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139856053899440 139855896654924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11615] ppid=11609 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/11612/task/11615/stat : 11615 (java) S 11609 11612 5878 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 19 0 25707574 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139856015391272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11616] ppid=11609 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/11612/task/11616/stat : 11616 (java) S 11609 11612 5878 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 25707574 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139855895980456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11617] ppid=11609 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/11612/task/11617/stat : 11617 (java) S 11609 11612 5878 0 -1 4202560 155 0 0 0 4 1 0 0 20 0 19 0 25707574 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139855894927656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11618] ppid=11609 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/11612/task/11618/stat : 11618 (java) S 11609 11612 5878 0 -1 4202560 119 0 0 0 2 0 0 0 20 0 19 0 25707574 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139855893874856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11619] ppid=11609 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/11612/task/11619/stat : 11619 (java) S 11609 11612 5878 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 19 0 25707574 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139855892823080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11620] ppid=11609 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/11612/task/11620/stat : 11620 (java) S 11609 11612 5878 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 19 0 25707574 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139855891770280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11612/tid=11621] ppid=11609 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/11612/task/11621/stat : 11621 (java) S 11609 11612 5878 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 25707574 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139855890717480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11622] ppid=11609 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/11612/task/11622/stat : 11622 (java) S 11609 11612 5878 0 -1 4202560 148 0 0 0 5 0 0 0 20 0 19 0 25707574 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139855889664680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11623] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11623/stat : 11623 (java) S 11609 11612 5878 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 25707575 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139855407335912 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11624] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11624/stat : 11624 (java) S 11609 11612 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25707575 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139855406281976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11625] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11625/stat : 11625 (java) S 11609 11612 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25707576 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139855405229064 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11626] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11626/stat : 11626 (java) S 11609 11612 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25707578 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139855404177552 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11627] ppid=11609 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/11612/task/11627/stat : 11627 (java) S 11609 11612 5878 0 -1 4202560 2697 0 0 0 39 0 0 0 20 0 19 0 25707578 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139855403125688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11628] ppid=11609 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/11612/task/11628/stat : 11628 (java) S 11609 11612 5878 0 -1 4202560 3284 0 0 0 40 0 0 0 20 0 19 0 25707578 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139855402072888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11629] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11629/stat : 11629 (java) S 11609 11612 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25707578 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139855401020280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11630] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11630/stat : 11630 (java) S 11609 11612 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25707578 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139855399967688 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11631] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11631/stat : 11631 (java) S 11609 11612 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25707660 9856040960 87524 33554432000 1073741824 1073778376 140736583295120 139855398913192 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 9625040
[startup+6.30084 s]
/proc/loadavg: 2.30 2.28 2.22 3/213 11631
/proc/meminfo: memFree=26563728/32872528 swapFree=1590032/1720848
[pid=11612] ppid=11609 vsize=9625040 CPUtime=7.52 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11609 11612 5878 0 -1 4202496 10642 0 1 0 734 18 0 0 20 0 19 0 25707572 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 140736583286256 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11612/statm: 2406260 98321 2279 9 0 2396937 0
[pid=11612/tid=11614] ppid=11609 vsize=9625040 CPUtime=6.07 cores=0,2,4,6
/proc/11612/task/11614/stat : 11614 (java) R 11609 11612 5878 0 -1 4202560 2532 0 1 0 601 6 0 0 20 0 19 0 25707573 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139856053897536 139855896675858 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11615] ppid=11609 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/11612/task/11615/stat : 11615 (java) S 11609 11612 5878 0 -1 4202560 43 0 0 0 2 1 0 0 20 0 19 0 25707574 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139856015391272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11616] ppid=11609 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/11612/task/11616/stat : 11616 (java) S 11609 11612 5878 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 25707574 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139855895980456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11617] ppid=11609 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/11612/task/11617/stat : 11617 (java) S 11609 11612 5878 0 -1 4202560 183 0 0 0 7 3 0 0 20 0 19 0 25707574 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139855894927656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11618] ppid=11609 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/11612/task/11618/stat : 11618 (java) S 11609 11612 5878 0 -1 4202560 126 0 0 0 2 1 0 0 20 0 19 0 25707574 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139855893874856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11619] ppid=11609 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/11612/task/11619/stat : 11619 (java) S 11609 11612 5878 0 -1 4202560 42 0 0 0 4 1 0 0 20 0 19 0 25707574 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139855892823080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11620] ppid=11609 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/11612/task/11620/stat : 11620 (java) S 11609 11612 5878 0 -1 4202560 65 0 0 0 6 3 0 0 20 0 19 0 25707574 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139855891770280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11612/tid=11621] ppid=11609 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/11612/task/11621/stat : 11621 (java) S 11609 11612 5878 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 25707574 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139855890717480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11622] ppid=11609 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/11612/task/11622/stat : 11622 (java) S 11609 11612 5878 0 -1 4202560 177 0 0 0 6 1 0 0 20 0 19 0 25707574 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139855889664680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11623] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11623/stat : 11623 (java) S 11609 11612 5878 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 25707575 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139855407335912 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11612/tid=11624] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11624/stat : 11624 (java) S 11609 11612 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25707575 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139855406281976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11625] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11625/stat : 11625 (java) S 11609 11612 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25707576 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139855405229064 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11626] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11626/stat : 11626 (java) S 11609 11612 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25707578 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139855404177552 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11627] ppid=11609 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/11612/task/11627/stat : 11627 (java) S 11609 11612 5878 0 -1 4202560 2699 0 0 0 43 0 0 0 20 0 19 0 25707578 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139855403125688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11628] ppid=11609 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/11612/task/11628/stat : 11628 (java) S 11609 11612 5878 0 -1 4202560 3288 0 0 0 43 0 0 0 20 0 19 0 25707578 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139855402072888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11629] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11629/stat : 11629 (java) S 11609 11612 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25707578 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139855401020280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11630] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11630/stat : 11630 (java) S 11609 11612 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25707578 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139855399967688 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11631] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11631/stat : 11631 (java) S 11609 11612 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25707660 9856040960 98321 33554432000 1073741824 1073778376 140736583295120 139855398913192 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=11612/tid=11631] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11631/stat : 11631 (java) S 11609 11612 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25707660 9856040960 615391 33554432000 1073741824 1073778376 140736583295120 139855398913192 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1670.6
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.28 2.34 2.29 3/213 11763
/proc/meminfo: memFree=26212016/32872528 swapFree=1590032/1720848
[pid=11612] ppid=11609 vsize=9625040 CPUtime=1731.76 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11609 11612 5878 0 -1 4202496 35403 0 1 0 172910 266 0 0 20 0 19 0 25707572 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 140736583286256 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11612/statm: 2406260 660022 2287 9 0 2396937 0
[pid=11612/tid=11614] ppid=11609 vsize=9625040 CPUtime=1712.77 cores=0,2,4,6
/proc/11612/task/11614/stat : 11614 (java) R 11609 11612 5878 0 -1 4202560 3977 0 1 0 171223 54 0 0 20 0 19 0 25707573 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139856053898480 139855896720468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11615] ppid=11609 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/11612/task/11615/stat : 11615 (java) S 11609 11612 5878 0 -1 4202560 1977 0 0 0 116 30 0 0 20 0 19 0 25707574 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139856015391272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11616] ppid=11609 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/11612/task/11616/stat : 11616 (java) S 11609 11612 5878 0 -1 4202560 1701 0 0 0 117 27 0 0 20 0 19 0 25707574 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139855895980456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11612/tid=11617] ppid=11609 vsize=9625040 CPUtime=1.35 cores=0,2,4,6
/proc/11612/task/11617/stat : 11617 (java) S 11609 11612 5878 0 -1 4202560 2111 0 0 0 109 26 0 0 20 0 19 0 25707574 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139855894927656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11618] ppid=11609 vsize=9625040 CPUtime=1.13 cores=0,2,4,6
/proc/11612/task/11618/stat : 11618 (java) S 11609 11612 5878 0 -1 4202560 1845 0 0 0 92 21 0 0 20 0 19 0 25707574 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139855893874856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11612/tid=11619] ppid=11609 vsize=9625040 CPUtime=1.71 cores=0,2,4,6
/proc/11612/task/11619/stat : 11619 (java) S 11609 11612 5878 0 -1 4202560 3237 0 0 0 139 32 0 0 20 0 19 0 25707574 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139855892823080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11620] ppid=11609 vsize=9625040 CPUtime=1.2 cores=0,2,4,6
/proc/11612/task/11620/stat : 11620 (java) S 11609 11612 5878 0 -1 4202560 3025 0 0 0 97 23 0 0 20 0 19 0 25707574 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139855891770280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11621] ppid=11609 vsize=9625040 CPUtime=1.24 cores=0,2,4,6
/proc/11612/task/11621/stat : 11621 (java) S 11609 11612 5878 0 -1 4202560 3699 0 0 0 97 27 0 0 20 0 19 0 25707574 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139855890717480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11622] ppid=11609 vsize=9625040 CPUtime=1.6 cores=0,2,4,6
/proc/11612/task/11622/stat : 11622 (java) S 11609 11612 5878 0 -1 4202560 4271 0 0 0 137 23 0 0 20 0 19 0 25707574 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139855889664680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11623] ppid=11609 vsize=9625040 CPUtime=2.09 cores=0,2,4,6
/proc/11612/task/11623/stat : 11623 (java) S 11609 11612 5878 0 -1 4202560 2216 0 0 0 205 4 0 0 20 0 19 0 25707575 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139855407335912 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11612/tid=11624] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11624/stat : 11624 (java) S 11609 11612 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25707575 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139855406281976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11625] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11625/stat : 11625 (java) S 11609 11612 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25707576 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139855405229064 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11626] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11626/stat : 11626 (java) S 11609 11612 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25707578 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139855404177552 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11627] ppid=11609 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/11612/task/11627/stat : 11627 (java) S 11609 11612 5878 0 -1 4202560 2699 0 0 0 43 0 0 0 20 0 19 0 25707578 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139855403125688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11628] ppid=11609 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/11612/task/11628/stat : 11628 (java) S 11609 11612 5878 0 -1 4202560 3288 0 0 0 49 0 0 0 20 0 19 0 25707578 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139855402072888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11629] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11629/stat : 11629 (java) S 11609 11612 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25707578 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139855401020280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11630] ppid=11609 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/11612/task/11630/stat : 11630 (java) S 11609 11612 5878 0 -1 4202560 99 0 0 0 35 31 0 0 20 0 19 0 25707578 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139855399967688 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11631] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11631/stat : 11631 (java) S 11609 11612 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25707660 9856040960 660022 33554432000 1073741824 1073778376 140736583295120 139855398913192 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1731.76
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.20 2.30 2.27 3/213 11764
/proc/meminfo: memFree=26007100/32872528 swapFree=1590032/1720848
[pid=11612] ppid=11609 vsize=9625040 CPUtime=1792.47 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11609 11612 5878 0 -1 4202496 35480 0 1 0 178978 269 0 0 20 0 19 0 25707572 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 140736583286256 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11612/statm: 2406260 586763 2287 9 0 2396937 0
[pid=11612/tid=11614] ppid=11609 vsize=9625040 CPUtime=1771.92 cores=0,2,4,6
/proc/11612/task/11614/stat : 11614 (java) R 11609 11612 5878 0 -1 4202560 3983 0 1 0 177138 54 0 0 20 0 19 0 25707573 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139856053898480 139855896675868 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11612/tid=11615] ppid=11609 vsize=9625040 CPUtime=1.54 cores=0,2,4,6
/proc/11612/task/11615/stat : 11615 (java) S 11609 11612 5878 0 -1 4202560 1977 0 0 0 124 30 0 0 20 0 19 0 25707574 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139856015391272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11616] ppid=11609 vsize=9625040 CPUtime=1.59 cores=0,2,4,6
/proc/11612/task/11616/stat : 11616 (java) S 11609 11612 5878 0 -1 4202560 1701 0 0 0 132 27 0 0 20 0 19 0 25707574 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139855895980456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11612/tid=11617] ppid=11609 vsize=9625040 CPUtime=1.55 cores=0,2,4,6
/proc/11612/task/11617/stat : 11617 (java) S 11609 11612 5878 0 -1 4202560 2111 0 0 0 129 26 0 0 20 0 19 0 25707574 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139855894927656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11618] ppid=11609 vsize=9625040 CPUtime=1.21 cores=0,2,4,6
/proc/11612/task/11618/stat : 11618 (java) S 11609 11612 5878 0 -1 4202560 1852 0 0 0 100 21 0 0 20 0 19 0 25707574 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139855893874856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11612/tid=11619] ppid=11609 vsize=9625040 CPUtime=1.82 cores=0,2,4,6
/proc/11612/task/11619/stat : 11619 (java) S 11609 11612 5878 0 -1 4202560 3237 0 0 0 150 32 0 0 20 0 19 0 25707574 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139855892823080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11620] ppid=11609 vsize=9625040 CPUtime=1.3 cores=0,2,4,6
/proc/11612/task/11620/stat : 11620 (java) S 11609 11612 5878 0 -1 4202560 3025 0 0 0 107 23 0 0 20 0 19 0 25707574 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139855891770280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11621] ppid=11609 vsize=9625040 CPUtime=1.39 cores=0,2,4,6
/proc/11612/task/11621/stat : 11621 (java) S 11609 11612 5878 0 -1 4202560 3740 0 0 0 111 28 0 0 20 0 19 0 25707574 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139855890717480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11622] ppid=11609 vsize=9625040 CPUtime=1.71 cores=0,2,4,6
/proc/11612/task/11622/stat : 11622 (java) S 11609 11612 5878 0 -1 4202560 4286 0 0 0 148 23 0 0 20 0 19 0 25707574 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139855889664680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11623] ppid=11609 vsize=9625040 CPUtime=2.53 cores=0,2,4,6
/proc/11612/task/11623/stat : 11623 (java) S 11609 11612 5878 0 -1 4202560 2220 0 0 0 249 4 0 0 20 0 19 0 25707575 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139855407335912 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11624] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11624/stat : 11624 (java) S 11609 11612 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25707575 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139855406281976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11625] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11625/stat : 11625 (java) S 11609 11612 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25707576 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139855405229064 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11626] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11626/stat : 11626 (java) S 11609 11612 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25707578 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139855404177552 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11627] ppid=11609 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/11612/task/11627/stat : 11627 (java) S 11609 11612 5878 0 -1 4202560 2699 0 0 0 43 0 0 0 20 0 19 0 25707578 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139855403125688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11628] ppid=11609 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/11612/task/11628/stat : 11628 (java) S 11609 11612 5878 0 -1 4202560 3288 0 0 0 49 0 0 0 20 0 19 0 25707578 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139855402072888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11629] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11629/stat : 11629 (java) S 11609 11612 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25707578 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139855401020280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11630] ppid=11609 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/11612/task/11630/stat : 11630 (java) S 11609 11612 5878 0 -1 4202560 103 0 0 0 36 33 0 0 20 0 19 0 25707578 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139855399967688 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11631] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11631/stat : 11631 (java) S 11609 11612 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25707660 9856040960 586763 33554432000 1073741824 1073778376 140736583295120 139855398913192 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1792.47
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.81 s]
/proc/loadavg: 2.26 2.31 2.28 3/213 11764
/proc/meminfo: memFree=25873532/32872528 swapFree=1590032/1720848
[pid=11612] ppid=11609 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11609 11612 5878 0 -1 4202496 35520 0 1 0 179736 269 0 0 20 0 19 0 25707572 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 140736583286256 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11612/statm: 2406260 572037 2287 9 0 2396937 0
[pid=11612/tid=11614] ppid=11609 vsize=9625040 CPUtime=1779.38 cores=0,2,4,6
/proc/11612/task/11614/stat : 11614 (java) R 11609 11612 5878 0 -1 4202560 3984 0 1 0 177883 55 0 0 20 0 19 0 25707573 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139856053898464 139855896560231 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11612/tid=11615] ppid=11609 vsize=9625040 CPUtime=1.54 cores=0,2,4,6
/proc/11612/task/11615/stat : 11615 (java) S 11609 11612 5878 0 -1 4202560 1977 0 0 0 124 30 0 0 20 0 19 0 25707574 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139856015391272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11616] ppid=11609 vsize=9625040 CPUtime=1.6 cores=0,2,4,6
/proc/11612/task/11616/stat : 11616 (java) S 11609 11612 5878 0 -1 4202560 1701 0 0 0 133 27 0 0 20 0 19 0 25707574 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139855895980456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11617] ppid=11609 vsize=9625040 CPUtime=1.57 cores=0,2,4,6
/proc/11612/task/11617/stat : 11617 (java) S 11609 11612 5878 0 -1 4202560 2111 0 0 0 131 26 0 0 20 0 19 0 25707574 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139855894927656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11618] ppid=11609 vsize=9625040 CPUtime=1.22 cores=0,2,4,6
/proc/11612/task/11618/stat : 11618 (java) S 11609 11612 5878 0 -1 4202560 1891 0 0 0 101 21 0 0 20 0 19 0 25707574 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139855893874856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11619] ppid=11609 vsize=9625040 CPUtime=1.83 cores=0,2,4,6
/proc/11612/task/11619/stat : 11619 (java) S 11609 11612 5878 0 -1 4202560 3237 0 0 0 151 32 0 0 20 0 19 0 25707574 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139855892823080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11620] ppid=11609 vsize=9625040 CPUtime=1.3 cores=0,2,4,6
/proc/11612/task/11620/stat : 11620 (java) S 11609 11612 5878 0 -1 4202560 3025 0 0 0 107 23 0 0 20 0 19 0 25707574 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139855891770280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11621] ppid=11609 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/11612/task/11621/stat : 11621 (java) S 11609 11612 5878 0 -1 4202560 3740 0 0 0 114 28 0 0 20 0 19 0 25707574 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139855890717480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11622] ppid=11609 vsize=9625040 CPUtime=1.72 cores=0,2,4,6
/proc/11612/task/11622/stat : 11622 (java) S 11609 11612 5878 0 -1 4202560 4286 0 0 0 149 23 0 0 20 0 19 0 25707574 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139855889664680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11623] ppid=11609 vsize=9625040 CPUtime=2.53 cores=0,2,4,6
/proc/11612/task/11623/stat : 11623 (java) S 11609 11612 5878 0 -1 4202560 2220 0 0 0 249 4 0 0 20 0 19 0 25707575 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139855407335912 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11624] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11624/stat : 11624 (java) S 11609 11612 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25707575 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139855406281976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11625] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11625/stat : 11625 (java) S 11609 11612 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25707576 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139855405229064 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11626] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11626/stat : 11626 (java) S 11609 11612 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25707578 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139855404177552 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11627] ppid=11609 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/11612/task/11627/stat : 11627 (java) S 11609 11612 5878 0 -1 4202560 2699 0 0 0 43 0 0 0 20 0 19 0 25707578 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139855403125688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11628] ppid=11609 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/11612/task/11628/stat : 11628 (java) S 11609 11612 5878 0 -1 4202560 3288 0 0 0 49 0 0 0 20 0 19 0 25707578 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139855402072888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11612/tid=11629] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11629/stat : 11629 (java) S 11609 11612 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25707578 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139855401020280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11612/tid=11630] ppid=11609 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/11612/task/11630/stat : 11630 (java) S 11609 11612 5878 0 -1 4202560 103 0 0 0 36 33 0 0 20 0 19 0 25707578 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139855399967688 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11612/tid=11631] ppid=11609 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11631/stat : 11631 (java) S 11609 11612 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25707660 9856040960 572037 33554432000 1073741824 1073778376 140736583295120 139855398913192 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11612 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11612 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=887439
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=172517
# CPU time returned by wait4() is 1796.06
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1789.85
CPU time (s): 1800.05
CPU user time (s): 1797.36
CPU system time (s): 2.69
CPU usage (%): 100.57
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.89
system time used= 3.17252
maximum resident set size= 3260212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35568
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39564
involuntary context switches= 8749
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1502 second user time and 11.6852 second system time
The end