runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14881 MiB free)
memory of node 1: 16384 MiB (15529 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396509-1568401521/watcher-4396509-1568401521 -o /tmp/evaluation-result-4396509-1568401521/solver-4396509-1568401521 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568393561-471 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1396021419 HOME/instance-4396509-1568401521.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2750, runsolver pid=2747
Current StackSize limit: 8192 KiB
[startup+0.100125 s]*
/proc/loadavg: 1.64 1.48 1.41 3/220 2808
/proc/meminfo: memFree=31133104/32770624 swapFree=66995200/67108860
[pid=2750] ppid=2747 vsize=9972712 memory=17084 CPUtime=0.09 cores=1,3,5,7
/proc/2750/stat : 2750 (java) S 2747 2750 436 0 -1 1077944320 4545 13026 0 0 1 1 5 2 20 0 6 0 416403532 10212057088 4271 33554432000 4194304 4196468 140728841206960 140728841189504 140688805035767 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
/proc/2750/statm: 2493178 4271 1935 1 0 2481616 0
[pid=2750/tid=2804] ppid=2747 vsize=10055356 memory=7022364594140610616 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2804/stat : 2804 (java) R 2747 2750 436 0 -1 4202560 2414 13026 0 0 0 0 5 2 20 0 7 0 416403540 10296684544 4403 33554432000 4194304 4196468 140728841206960 140688776878864 140688789116254 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2805] ppid=2747 vsize=10055356 memory=343 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2805/stat : 2805 (java) S 2747 2750 436 0 -1 1077944384 1 13026 0 0 0 0 5 2 20 0 7 0 416403541 10296684544 4403 33554432000 4194304 4196468 140728841206960 140688809277840 140688805045973 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2806] ppid=2747 vsize=10055356 memory=288371023691658880 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2806/stat : 2806 (java) S 2747 2750 436 0 -1 1077944384 1 13026 0 0 0 0 5 2 20 0 7 0 416403541 10296684544 4403 33554432000 4194304 4196468 140728841206960 140688708167952 140688805045973 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2807] ppid=2747 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2807/stat : 2807 (java) S 2747 2750 436 0 -1 1077944384 2 13026 0 0 0 0 5 2 20 0 7 0 416403541 10296684544 4403 33554432000 4194304 4196468 140728841206960 140688707115664 140688805045973 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2808] ppid=2747 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2808/stat : 2808 (java) S 2747 2750 436 0 -1 1077944384 2 13026 0 0 0 0 5 2 20 0 7 0 416403541 10296684544 4403 33554432000 4194304 4196468 140728841206960 140688706062864 140688805045973 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2809] ppid=2747 vsize=10055356 memory=140647539947136 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2809/stat : 2809 (java) S 2747 2750 436 0 -1 1077944384 2 13026 0 0 0 0 5 2 20 0 7 0 416403543 10296684544 4403 33554432000 4194304 4196468 140728841206960 140688263764592 140688805046914 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17084 KiB
[startup+0.210155 s]*
/proc/loadavg: 1.64 1.48 1.41 3/229 2817
/proc/meminfo: memFree=31114536/32770624 swapFree=66995200/67108860
[pid=2750] ppid=2747 vsize=10820148 memory=42320 CPUtime=0.26 cores=1,3,5,7
/proc/2750/stat : 2750 (java) S 2747 2750 436 0 -1 1077944320 7393 13026 0 0 17 2 5 2 20 0 15 0 416403532 11079831552 10580 33554432000 4194304 4196468 140728841206960 140728841189504 140688805035767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
/proc/2750/statm: 2705037 10580 3280 1 0 2667149 0
[pid=2750/tid=2804] ppid=2747 vsize=10820148 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/2750/task/2804/stat : 2804 (java) R 2747 2750 436 0 -1 4202560 3897 13026 0 0 10 1 5 2 20 0 15 0 416403540 11079831552 10580 33554432000 4194304 4196468 140728841206960 140688776859488 140688797272894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2805] ppid=2747 vsize=10820148 memory=343 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2805/stat : 2805 (java) S 2747 2750 436 0 -1 1077944384 1 13026 0 0 0 0 5 2 20 0 15 0 416403541 11079831552 10580 33554432000 4194304 4196468 140728841206960 140688809277840 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2806] ppid=2747 vsize=10820148 memory=288371023691658880 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2806/stat : 2806 (java) S 2747 2750 436 0 -1 1077944384 1 13026 0 0 0 0 5 2 20 0 15 0 416403541 11079831552 10580 33554432000 4194304 4196468 140728841206960 140688708167952 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2807] ppid=2747 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2807/stat : 2807 (java) S 2747 2750 436 0 -1 1077944384 2 13026 0 0 0 0 5 2 20 0 15 0 416403541 11079831552 10580 33554432000 4194304 4196468 140728841206960 140688707115664 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2808] ppid=2747 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2808/stat : 2808 (java) S 2747 2750 436 0 -1 1077944384 2 13026 0 0 0 0 5 2 20 0 15 0 416403541 11079831552 10580 33554432000 4194304 4196468 140728841206960 140688706062864 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2809] ppid=2747 vsize=10820148 memory=140647539947136 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2809/stat : 2809 (java) S 2747 2750 436 0 -1 1077944384 2 13026 0 0 0 0 5 2 20 0 15 0 416403543 11079831552 10580 33554432000 4194304 4196468 140728841206960 140688263764592 140688805046914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2810] ppid=2747 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2810/stat : 2810 (java) S 2747 2750 436 0 -1 1077944384 13 13026 0 0 0 0 5 2 20 0 15 0 416403543 11079831552 10580 33554432000 4194304 4196468 140728841206960 140687693571360 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2811] ppid=2747 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2811/stat : 2811 (java) S 2747 2750 436 0 -1 1077944384 1 13026 0 0 0 0 5 2 20 0 15 0 416403543 11079831552 10580 33554432000 4194304 4196468 140728841206960 140687559353968 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2812] ppid=2747 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2812/stat : 2812 (java) S 2747 2750 436 0 -1 1077944384 3 13026 0 0 0 0 5 2 20 0 15 0 416403546 11079831552 10580 33554432000 4194304 4196468 140728841206960 140687319063120 140688805054363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2813] ppid=2747 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2750/task/2813/stat : 2813 (java) S 2747 2750 436 0 -1 1077944384 472 13026 0 0 1 0 5 2 20 0 15 0 416403546 11079831552 10580 33554432000 4194304 4196468 140728841206960 140688262711408 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2814] ppid=2747 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2750/task/2814/stat : 2814 (java) S 2747 2750 436 0 -1 1077944384 190 13026 0 0 1 0 5 2 20 0 15 0 416403546 11079831552 10580 33554432000 4194304 4196468 140728841206960 140688261658608 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2815] ppid=2747 vsize=10820148 memory=140647539947136 CPUtime=0.1 cores=1,3,5,7
/proc/2750/task/2815/stat : 2815 (java) R 2747 2750 436 0 -1 4202560 612 13026 0 0 3 0 5 2 20 0 15 0 416403546 11079831552 10580 33554432000 4194304 4196468 140728841206960 140688260605504 140688783527822 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2816] ppid=2747 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2816/stat : 2816 (java) S 2747 2750 436 0 -1 1077944384 3 13026 0 0 0 0 5 2 20 0 15 0 416403546 11079831552 10580 33554432000 4194304 4196468 140728841206960 140687285504480 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2817] ppid=2747 vsize=10820148 memory=140647539947136 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2817/stat : 2817 (java) S 2747 2750 436 0 -1 1077944384 1 13026 0 0 0 0 5 2 20 0 15 0 416403546 11079831552 10580 33554432000 4194304 4196468 140728841206960 140688259554224 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 42320 KiB
[startup+0.311522 s]*
/proc/loadavg: 1.64 1.48 1.41 3/229 2817
/proc/meminfo: memFree=31101956/32770624 swapFree=66995200/67108860
[pid=2750] ppid=2747 vsize=10820148 memory=50616 CPUtime=0.39 cores=1,3,5,7
/proc/2750/stat : 2750 (java) S 2747 2750 436 0 -1 1077944320 10896 13026 0 0 29 3 5 2 20 0 15 0 416403532 11079831552 12654 33554432000 4194304 4196468 140728841206960 140728841189504 140688805035767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
/proc/2750/statm: 2705037 12654 3296 1 0 2667149 0
[pid=2750/tid=2804] ppid=2747 vsize=10820148 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/2750/task/2804/stat : 2804 (java) R 2747 2750 436 0 -1 4202560 7375 13026 0 0 18 3 5 2 20 0 15 0 416403540 11079831552 12654 33554432000 4194304 4196468 140728841206960 140688776841872 140688789116254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2805] ppid=2747 vsize=10820148 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2805/stat : 2805 (java) S 2747 2750 436 0 -1 1077944384 1 13026 0 0 0 0 5 2 20 0 15 0 416403541 11079831552 12654 33554432000 4194304 4196468 140728841206960 140688809277840 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2806] ppid=2747 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2806/stat : 2806 (java) S 2747 2750 436 0 -1 1077944384 1 13026 0 0 0 0 5 2 20 0 15 0 416403541 11079831552 12654 33554432000 4194304 4196468 140728841206960 140688708167952 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2807] ppid=2747 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2807/stat : 2807 (java) S 2747 2750 436 0 -1 1077944384 2 13026 0 0 0 0 5 2 20 0 15 0 416403541 11079831552 12654 33554432000 4194304 4196468 140728841206960 140688707115664 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2808] ppid=2747 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2808/stat : 2808 (java) S 2747 2750 436 0 -1 1077944384 2 13026 0 0 0 0 5 2 20 0 15 0 416403541 11079831552 12654 33554432000 4194304 4196468 140728841206960 140688706062864 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2809] ppid=2747 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2809/stat : 2809 (java) S 2747 2750 436 0 -1 1077944384 2 13026 0 0 0 0 5 2 20 0 15 0 416403543 11079831552 12654 33554432000 4194304 4196468 140728841206960 140688263764592 140688805046914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2810] ppid=2747 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2810/stat : 2810 (java) S 2747 2750 436 0 -1 1077944384 13 13026 0 0 0 0 5 2 20 0 15 0 416403543 11079831552 12654 33554432000 4194304 4196468 140728841206960 140687693571360 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2811] ppid=2747 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2811/stat : 2811 (java) S 2747 2750 436 0 -1 1077944384 1 13026 0 0 0 0 5 2 20 0 15 0 416403543 11079831552 12654 33554432000 4194304 4196468 140728841206960 140687559353968 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2812] ppid=2747 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2812/stat : 2812 (java) S 2747 2750 436 0 -1 1077944384 3 13026 0 0 0 0 5 2 20 0 15 0 416403546 11079831552 12654 33554432000 4194304 4196468 140728841206960 140687319063120 140688805054363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2813] ppid=2747 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2750/task/2813/stat : 2813 (java) R 2747 2750 436 0 -1 1077944384 473 13026 0 0 2 0 5 2 20 0 15 0 416403546 11079831552 12654 33554432000 4194304 4196468 140728841206960 140688262711408 140688805046914 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2814] ppid=2747 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2750/task/2814/stat : 2814 (java) S 2747 2750 436 0 -1 1077944384 190 13026 0 0 1 0 5 2 20 0 15 0 416403546 11079831552 12654 33554432000 4194304 4196468 140728841206960 140688261658608 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2815] ppid=2747 vsize=10820148 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2750/task/2815/stat : 2815 (java) R 2747 2750 436 0 -1 1077944384 621 13026 0 0 5 0 5 2 20 0 15 0 416403546 11079831552 12654 33554432000 4194304 4196468 140728841206960 140688260606320 140688805046914 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2816] ppid=2747 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2816/stat : 2816 (java) S 2747 2750 436 0 -1 1077944384 3 13026 0 0 0 0 5 2 20 0 15 0 416403546 11079831552 12654 33554432000 4194304 4196468 140728841206960 140687285504480 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2817] ppid=2747 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2817/stat : 2817 (java) S 2747 2750 436 0 -1 1077944384 1 13026 0 0 0 0 5 2 20 0 15 0 416403546 11079831552 12654 33554432000 4194304 4196468 140728841206960 140688259554224 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50616 KiB
[startup+0.701519 s]
/proc/loadavg: 1.64 1.48 1.41 5/229 2817
/proc/meminfo: memFree=31088116/32770624 swapFree=66995200/67108860
[pid=2750] ppid=2747 vsize=10824360 memory=83620 CPUtime=1.14 cores=1,3,5,7
/proc/2750/stat : 2750 (java) S 2747 2750 436 0 -1 1077944320 15135 13026 0 0 101 6 5 2 20 0 15 0 416403532 11084144640 20905 33554432000 4194304 4196468 140728841206960 140728841189504 140688805035767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
/proc/2750/statm: 2706090 20905 3496 1 0 2668173 0
[pid=2750/tid=2804] ppid=2747 vsize=10824360 memory=6009316314409559652 CPUtime=0.66 cores=1,3,5,7
/proc/2750/task/2804/stat : 2804 (java) R 2747 2750 436 0 -1 4202560 10381 13026 0 0 54 5 5 2 20 0 15 0 416403540 11084144640 20905 33554432000 4194304 4196468 140728841206960 140688776856592 140688798135998 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2805] ppid=2747 vsize=10824360 memory=7955703662245210472 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2805/stat : 2805 (java) S 2747 2750 436 0 -1 1077944384 1 13026 0 0 0 0 5 2 20 0 15 0 416403541 11084144640 20905 33554432000 4194304 4196468 140728841206960 140688809277840 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2806] ppid=2747 vsize=10824360 memory=6226905323352122727 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2806/stat : 2806 (java) S 2747 2750 436 0 -1 1077944384 1 13026 0 0 0 0 5 2 20 0 15 0 416403541 11084144640 20905 33554432000 4194304 4196468 140728841206960 140688708167952 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2807] ppid=2747 vsize=10824360 memory=6371561406723085672 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2807/stat : 2807 (java) S 2747 2750 436 0 -1 1077944384 2 13026 0 0 0 0 5 2 20 0 15 0 416403541 11084144640 20905 33554432000 4194304 4196468 140728841206960 140688707115664 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2808] ppid=2747 vsize=10824360 memory=6935650355287975249 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2808/stat : 2808 (java) S 2747 2750 436 0 -1 1077944384 2 13026 0 0 0 0 5 2 20 0 15 0 416403541 11084144640 20905 33554432000 4194304 4196468 140728841206960 140688706062864 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2809] ppid=2747 vsize=10824360 memory=140647539945969 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2809/stat : 2809 (java) S 2747 2750 436 0 -1 1077944384 5 13026 0 0 0 0 5 2 20 0 15 0 416403543 11084144640 20905 33554432000 4194304 4196468 140728841206960 140688263764592 140688805046914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2810] ppid=2747 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2810/stat : 2810 (java) S 2747 2750 436 0 -1 1077944384 13 13026 0 0 0 0 5 2 20 0 15 0 416403543 11084144640 20905 33554432000 4194304 4196468 140728841206960 140687693571360 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2811] ppid=2747 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2811/stat : 2811 (java) S 2747 2750 436 0 -1 1077944384 1 13026 0 0 0 0 5 2 20 0 15 0 416403543 11084144640 20905 33554432000 4194304 4196468 140728841206960 140687559353968 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2812] ppid=2747 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2812/stat : 2812 (java) S 2747 2750 436 0 -1 1077944384 3 13026 0 0 0 0 5 2 20 0 15 0 416403546 11084144640 20905 33554432000 4194304 4196468 140728841206960 140687319063120 140688805054363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2813] ppid=2747 vsize=10824360 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/2750/task/2813/stat : 2813 (java) R 2747 2750 436 0 -1 4202560 965 13026 0 0 11 0 5 2 20 0 15 0 416403546 11084144640 20905 33554432000 4194304 4196468 140728841206960 140688262711408 140688782785498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2814] ppid=2747 vsize=10824360 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/2750/task/2814/stat : 2814 (java) S 2747 2750 436 0 -1 1077944384 703 13026 0 0 16 0 5 2 20 0 15 0 416403546 11084144640 20905 33554432000 4194304 4196468 140728841206960 140688261658608 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2815] ppid=2747 vsize=10824360 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/2750/task/2815/stat : 2815 (java) S 2747 2750 436 0 -1 1077944384 844 13026 0 0 17 0 5 2 20 0 15 0 416403546 11084144640 20905 33554432000 4194304 4196468 140728841206960 140688260606320 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2816] ppid=2747 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2816/stat : 2816 (java) S 2747 2750 436 0 -1 1077944384 3 13026 0 0 0 0 5 2 20 0 15 0 416403546 11084144640 20905 33554432000 4194304 4196468 140728841206960 140687285504480 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2817] ppid=2747 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2817/stat : 2817 (java) S 2747 2750 436 0 -1 1077944384 1 13026 0 0 0 0 5 2 20 0 15 0 416403546 11084144640 20905 33554432000 4194304 4196468 140728841206960 140688259554224 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83620 KiB
[startup+1.50072 s]
/proc/loadavg: 1.64 1.48 1.41 3/229 2817
/proc/meminfo: memFree=31043076/32770624 swapFree=66995200/67108860
[pid=2750] ppid=2747 vsize=10834676 memory=171284 CPUtime=2.48 cores=1,3,5,7
/proc/2750/stat : 2750 (java) S 2747 2750 436 0 -1 1077944320 21785 13026 0 0 230 11 5 2 20 0 15 0 416403532 11094708224 42821 33554432000 4194304 4196468 140728841206960 140728841189504 140688805035767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
/proc/2750/statm: 2708669 42821 3586 1 0 2670733 0
[pid=2750/tid=2804] ppid=2747 vsize=10834676 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/2750/task/2804/stat : 2804 (java) R 2747 2750 436 0 -1 4202560 15231 13026 0 0 128 8 5 2 20 0 15 0 416403540 11094708224 42821 33554432000 4194304 4196468 140728841206960 140688776835664 140688789116254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2805] ppid=2747 vsize=10834676 memory=-7533511066075829596 CPUtime=0.08 cores=1,3,5,7
/proc/2750/task/2805/stat : 2805 (java) S 2747 2750 436 0 -1 1077944384 75 13026 0 0 1 0 5 2 20 0 15 0 416403541 11094708224 42821 33554432000 4194304 4196468 140728841206960 140688809277840 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2806] ppid=2747 vsize=10834676 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/2750/task/2806/stat : 2806 (java) S 2747 2750 436 0 -1 1077944384 22 13026 0 0 1 0 5 2 20 0 15 0 416403541 11094708224 42821 33554432000 4194304 4196468 140728841206960 140688708167952 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2807] ppid=2747 vsize=10834676 memory=6944656592455350634 CPUtime=0.08 cores=1,3,5,7
/proc/2750/task/2807/stat : 2807 (java) S 2747 2750 436 0 -1 1077944384 353 13026 0 0 1 0 5 2 20 0 15 0 416403541 11094708224 42821 33554432000 4194304 4196468 140728841206960 140688707115664 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2808] ppid=2747 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2750/task/2808/stat : 2808 (java) S 2747 2750 436 0 -1 1077944384 76 13026 0 0 1 0 5 2 20 0 15 0 416403541 11094708224 42821 33554432000 4194304 4196468 140728841206960 140688706062864 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2809] ppid=2747 vsize=10834676 memory=281294856528704 CPUtime=0.08 cores=1,3,5,7
/proc/2750/task/2809/stat : 2809 (java) S 2747 2750 436 0 -1 1077944384 152 13026 0 0 1 0 5 2 20 0 15 0 416403543 11094708224 42821 33554432000 4194304 4196468 140728841206960 140688263764592 140688805046914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2810] ppid=2747 vsize=10834676 memory=140647428276928 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2810/stat : 2810 (java) S 2747 2750 436 0 -1 1077944384 14 13026 0 0 0 0 5 2 20 0 15 0 416403543 11094708224 42821 33554432000 4194304 4196468 140728841206960 140687693571360 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2811] ppid=2747 vsize=10834676 memory=1384 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2811/stat : 2811 (java) S 2747 2750 436 0 -1 1077944384 1 13026 0 0 0 0 5 2 20 0 15 0 416403543 11094708224 42821 33554432000 4194304 4196468 140728841206960 140687559353968 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2812] ppid=2747 vsize=10834676 memory=776 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2812/stat : 2812 (java) S 2747 2750 436 0 -1 1077944384 3 13026 0 0 0 0 5 2 20 0 15 0 416403546 11094708224 42821 33554432000 4194304 4196468 140728841206960 140687319063120 140688805054363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2813] ppid=2747 vsize=10834676 memory=281294856606176 CPUtime=0.32 cores=1,3,5,7
/proc/2750/task/2813/stat : 2813 (java) S 2747 2750 436 0 -1 1077944384 1113 13026 0 0 25 0 5 2 20 0 15 0 416403546 11094708224 42821 33554432000 4194304 4196468 140728841206960 140688262711408 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2814] ppid=2747 vsize=10834676 memory=419660 CPUtime=0.32 cores=1,3,5,7
/proc/2750/task/2814/stat : 2814 (java) S 2747 2750 436 0 -1 1077944384 891 13026 0 0 25 0 5 2 20 0 15 0 416403546 11094708224 42821 33554432000 4194304 4196468 140728841206960 140688261658608 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2815] ppid=2747 vsize=10834676 memory=1764 CPUtime=0.49 cores=1,3,5,7
/proc/2750/task/2815/stat : 2815 (java) R 2747 2750 436 0 -1 4202560 1641 13026 0 0 42 0 5 2 20 0 15 0 416403546 11094708224 42821 33554432000 4194304 4196468 140728841206960 140688260606320 140688798132603 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2816] ppid=2747 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2816/stat : 2816 (java) S 2747 2750 436 0 -1 1077944384 3 13026 0 0 0 0 5 2 20 0 15 0 416403546 11094708224 42821 33554432000 4194304 4196468 140728841206960 140687285504480 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2817] ppid=2747 vsize=10834676 memory=6788 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2817/stat : 2817 (java) S 2747 2750 436 0 -1 1077944384 1 13026 0 0 0 0 5 2 20 0 15 0 416403546 11094708224 42821 33554432000 4194304 4196468 140728841206960 140688259554224 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
################
# More data... #
################
/proc/2750/task/2804/stat : 2804 (java) R 2747 2750 436 0 -1 4202560 55465 13026 0 0 224364 41 5 2 20 0 15 0 416403540 11107311616 161415 33554432000 4194304 4196468 140728841206960 140688776871696 140688395825662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2805] ppid=2747 vsize=10846984 memory=164 CPUtime=7.7 cores=1,3,5,7
/proc/2750/task/2805/stat : 2805 (java) S 2747 2750 436 0 -1 1077944384 8439 13026 0 0 723 40 5 2 20 0 15 0 416403541 11107311616 161415 33554432000 4194304 4196468 140728841206960 140688809277840 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2806] ppid=2747 vsize=10846984 memory=645660 CPUtime=7.7 cores=1,3,5,7
/proc/2750/task/2806/stat : 2806 (java) S 2747 2750 436 0 -1 1077944384 9899 13026 0 0 722 41 5 2 20 0 15 0 416403541 11107311616 161415 33554432000 4194304 4196468 140728841206960 140688708167952 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2807] ppid=2747 vsize=10846984 memory=645660 CPUtime=7.69 cores=1,3,5,7
/proc/2750/task/2807/stat : 2807 (java) S 2747 2750 436 0 -1 1077944384 8245 13026 0 0 722 40 5 2 20 0 15 0 416403541 11107311616 161415 33554432000 4194304 4196468 140728841206960 140688707115664 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2808] ppid=2747 vsize=10846984 memory=645660 CPUtime=7.68 cores=1,3,5,7
/proc/2750/task/2808/stat : 2808 (java) S 2747 2750 436 0 -1 1077944384 7374 13026 0 0 719 42 5 2 20 0 15 0 416403541 11107311616 161415 33554432000 4194304 4196468 140728841206960 140688706062864 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2809] ppid=2747 vsize=10846984 memory=645660 CPUtime=8.04 cores=1,3,5,7
/proc/2750/task/2809/stat : 2809 (java) S 2747 2750 436 0 -1 1077944384 10240 13026 0 0 761 36 5 2 20 0 15 0 416403543 11107311616 161415 33554432000 4194304 4196468 140728841206960 140688263764592 140688805046914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2810] ppid=2747 vsize=10846984 memory=281294857586496 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2810/stat : 2810 (java) S 2747 2750 436 0 -1 1077944384 16 13026 0 0 0 0 5 2 20 0 15 0 416403543 11107311616 161415 33554432000 4194304 4196468 140728841206960 140687693571488 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2811] ppid=2747 vsize=10846984 memory=645660 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2811/stat : 2811 (java) S 2747 2750 436 0 -1 1077944384 9 13026 0 0 0 0 5 2 20 0 15 0 416403543 11107311616 161415 33554432000 4194304 4196468 140728841206960 140687559353984 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2812] ppid=2747 vsize=10846984 memory=645660 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2812/stat : 2812 (java) S 2747 2750 436 0 -1 1077944384 3 13026 0 0 0 0 5 2 20 0 15 0 416403546 11107311616 161415 33554432000 4194304 4196468 140728841206960 140687319063120 140688805054363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2813] ppid=2747 vsize=10846984 memory=645660 CPUtime=3.79 cores=1,3,5,7
/proc/2750/task/2813/stat : 2813 (java) S 2747 2750 436 0 -1 1077944384 24761 13026 0 0 369 3 5 2 20 0 15 0 416403546 11107311616 161415 33554432000 4194304 4196468 140728841206960 140688262711408 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2814] ppid=2747 vsize=10846984 memory=645660 CPUtime=3.43 cores=1,3,5,7
/proc/2750/task/2814/stat : 2814 (java) S 2747 2750 436 0 -1 1077944384 24395 13026 0 0 333 3 5 2 20 0 15 0 416403546 11107311616 161415 33554432000 4194304 4196468 140728841206960 140688261658608 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2815] ppid=2747 vsize=10846984 memory=1804 CPUtime=1.91 cores=1,3,5,7
/proc/2750/task/2815/stat : 2815 (java) S 2747 2750 436 0 -1 1077944384 28407 13026 0 0 180 4 5 2 20 0 15 0 416403546 11107311616 161415 33554432000 4194304 4196468 140728841206960 140688260606320 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2816] ppid=2747 vsize=10846984 memory=988 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2816/stat : 2816 (java) S 2747 2750 436 0 -1 1077944384 3 13026 0 0 0 0 5 2 20 0 15 0 416403546 11107311616 161415 33554432000 4194304 4196468 140728841206960 140687285504480 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2817] ppid=2747 vsize=10846984 memory=645660 CPUtime=1.27 cores=1,3,5,7
/proc/2750/task/2817/stat : 2817 (java) S 2747 2750 436 0 -1 1077944384 1424 13026 0 0 63 57 5 2 20 0 15 0 416403546 11107311616 161415 33554432000 4194304 4196468 140728841206960 140688259554224 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
Current children cumulated CPU time: 2292.8 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 645660 KiB
[startup+2322.3 s]
/proc/loadavg: 1.36 1.30 1.33 3/227 3160
/proc/meminfo: memFree=30326056/32770624 swapFree=66995208/67108860
[pid=2750] ppid=2747 vsize=10846984 memory=645764 CPUtime=2353.41 cores=1,3,5,7
/proc/2750/stat : 2750 (java) S 2747 2750 436 0 -1 1077944320 182145 13026 0 0 235065 269 5 2 20 0 15 0 416403532 11107311616 161441 33554432000 4194304 4196468 140728841206960 140728841189504 140688805035767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
/proc/2750/statm: 2711746 161441 3630 1 0 2673805 0
[pid=2750/tid=2804] ppid=2747 vsize=10846984 memory=645756 CPUtime=2303.68 cores=1,3,5,7
/proc/2750/task/2804/stat : 2804 (java) R 2747 2750 436 0 -1 4202560 56090 13026 0 0 230319 42 5 2 20 0 15 0 416403540 11107311616 161441 33554432000 4194304 4196468 140728841206960 140688776871360 140688395473540 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2805] ppid=2747 vsize=10846984 memory=645756 CPUtime=7.9 cores=1,3,5,7
/proc/2750/task/2805/stat : 2805 (java) S 2747 2750 436 0 -1 1077944384 8481 13026 0 0 742 41 5 2 20 0 15 0 416403541 11107311616 161441 33554432000 4194304 4196468 140728841206960 140688809277840 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2806] ppid=2747 vsize=10846984 memory=645764 CPUtime=7.91 cores=1,3,5,7
/proc/2750/task/2806/stat : 2806 (java) S 2747 2750 436 0 -1 1077944384 9919 13026 0 0 742 42 5 2 20 0 15 0 416403541 11107311616 161441 33554432000 4194304 4196468 140728841206960 140688708167952 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2807] ppid=2747 vsize=10846984 memory=645764 CPUtime=7.89 cores=1,3,5,7
/proc/2750/task/2807/stat : 2807 (java) S 2747 2750 436 0 -1 1077944384 8513 13026 0 0 741 41 5 2 20 0 15 0 416403541 11107311616 161441 33554432000 4194304 4196468 140728841206960 140688707115664 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2808] ppid=2747 vsize=10846984 memory=645764 CPUtime=7.88 cores=1,3,5,7
/proc/2750/task/2808/stat : 2808 (java) S 2747 2750 436 0 -1 1077944384 7449 13026 0 0 738 43 5 2 20 0 15 0 416403541 11107311616 161441 33554432000 4194304 4196468 140728841206960 140688706062864 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2809] ppid=2747 vsize=10846984 memory=3632 CPUtime=8.24 cores=1,3,5,7
/proc/2750/task/2809/stat : 2809 (java) S 2747 2750 436 0 -1 1077944384 10441 13026 0 0 780 37 5 2 20 0 15 0 416403543 11107311616 161441 33554432000 4194304 4196468 140728841206960 140688263764592 140688805046914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2810] ppid=2747 vsize=10846984 memory=1052 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2810/stat : 2810 (java) S 2747 2750 436 0 -1 1077944384 16 13026 0 0 0 0 5 2 20 0 15 0 416403543 11107311616 161441 33554432000 4194304 4196468 140728841206960 140687693571488 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2811] ppid=2747 vsize=10846984 memory=1708 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2811/stat : 2811 (java) S 2747 2750 436 0 -1 1077944384 9 13026 0 0 0 0 5 2 20 0 15 0 416403543 11107311616 161441 33554432000 4194304 4196468 140728841206960 140687559353984 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2812] ppid=2747 vsize=10846984 memory=645764 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2812/stat : 2812 (java) S 2747 2750 436 0 -1 1077944384 3 13026 0 0 0 0 5 2 20 0 15 0 416403546 11107311616 161441 33554432000 4194304 4196468 140728841206960 140687319063120 140688805054363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2813] ppid=2747 vsize=10846984 memory=1156 CPUtime=3.79 cores=1,3,5,7
/proc/2750/task/2813/stat : 2813 (java) S 2747 2750 436 0 -1 1077944384 24763 13026 0 0 369 3 5 2 20 0 15 0 416403546 11107311616 161441 33554432000 4194304 4196468 140728841206960 140688262711408 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2814] ppid=2747 vsize=10846984 memory=645764 CPUtime=3.43 cores=1,3,5,7
/proc/2750/task/2814/stat : 2814 (java) S 2747 2750 436 0 -1 1077944384 24397 13026 0 0 333 3 5 2 20 0 15 0 416403546 11107311616 161441 33554432000 4194304 4196468 140728841206960 140688261658608 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2815] ppid=2747 vsize=10846984 memory=645764 CPUtime=1.91 cores=1,3,5,7
/proc/2750/task/2815/stat : 2815 (java) S 2747 2750 436 0 -1 1077944384 28409 13026 0 0 180 4 5 2 20 0 15 0 416403546 11107311616 161441 33554432000 4194304 4196468 140728841206960 140688260606320 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2816] ppid=2747 vsize=10846984 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2816/stat : 2816 (java) S 2747 2750 436 0 -1 1077944384 3 13026 0 0 0 0 5 2 20 0 15 0 416403546 11107311616 161441 33554432000 4194304 4196468 140728841206960 140687285504480 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2817] ppid=2747 vsize=10846984 memory=5904 CPUtime=1.29 cores=1,3,5,7
/proc/2750/task/2817/stat : 2817 (java) S 2747 2750 436 0 -1 1077944384 1442 13026 0 0 64 58 5 2 20 0 15 0 416403546 11107311616 161441 33554432000 4194304 4196468 140728841206960 140688259554224 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
Current children cumulated CPU time: 2353.41 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 645764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2368.5 s]
/proc/loadavg: 1.21 1.27 1.32 3/227 3163
/proc/meminfo: memFree=30327264/32770624 swapFree=66995208/67108860
[pid=2750] ppid=2747 vsize=10846984 memory=645768 CPUtime=2400.06 cores=1,3,5,7
/proc/2750/stat : 2750 (java) S 2747 2750 436 0 -1 1077944320 182443 13026 0 0 239728 271 5 2 20 0 15 0 416403532 11107311616 161442 33554432000 4194304 4196468 140728841206960 140728841189504 140688805035767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
/proc/2750/statm: 2711746 161442 3630 1 0 2673805 0
[pid=2750/tid=2804] ppid=2747 vsize=10846984 memory=645768 CPUtime=2349.52 cores=1,3,5,7
/proc/2750/task/2804/stat : 2804 (java) R 2747 2750 436 0 -1 4202560 56338 13026 0 0 234903 42 5 2 20 0 15 0 416403540 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688776870768 140688395445191 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2805] ppid=2747 vsize=10846984 memory=238493 CPUtime=8.06 cores=1,3,5,7
/proc/2750/task/2805/stat : 2805 (java) S 2747 2750 436 0 -1 1077944384 8485 13026 0 0 757 42 5 2 20 0 15 0 416403541 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688809277840 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2806] ppid=2747 vsize=10846984 memory=233466 CPUtime=8.06 cores=1,3,5,7
/proc/2750/task/2806/stat : 2806 (java) S 2747 2750 436 0 -1 1077944384 9938 13026 0 0 757 42 5 2 20 0 15 0 416403541 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688708167952 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2807] ppid=2747 vsize=10846984 memory=645768 CPUtime=8.04 cores=1,3,5,7
/proc/2750/task/2807/stat : 2807 (java) S 2747 2750 436 0 -1 1077944384 8517 13026 0 0 756 41 5 2 20 0 15 0 416403541 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688707115664 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2808] ppid=2747 vsize=10846984 memory=6656426216303648864 CPUtime=8.04 cores=1,3,5,7
/proc/2750/task/2808/stat : 2808 (java) S 2747 2750 436 0 -1 1077944384 7458 13026 0 0 754 43 5 2 20 0 15 0 416403541 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688706062864 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2809] ppid=2747 vsize=10846984 memory=645768 CPUtime=8.4 cores=1,3,5,7
/proc/2750/task/2809/stat : 2809 (java) S 2747 2750 436 0 -1 1077944384 10451 13026 0 0 795 38 5 2 20 0 15 0 416403543 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688263764592 140688805046914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2810] ppid=2747 vsize=10846984 memory=645768 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2810/stat : 2810 (java) S 2747 2750 436 0 -1 1077944384 16 13026 0 0 0 0 5 2 20 0 15 0 416403543 11107311616 161442 33554432000 4194304 4196468 140728841206960 140687693571488 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2811] ppid=2747 vsize=10846984 memory=645768 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2811/stat : 2811 (java) S 2747 2750 436 0 -1 1077944384 9 13026 0 0 0 0 5 2 20 0 15 0 416403543 11107311616 161442 33554432000 4194304 4196468 140728841206960 140687559353984 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2812] ppid=2747 vsize=10846984 memory=281294857102320 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2812/stat : 2812 (java) S 2747 2750 436 0 -1 1077944384 3 13026 0 0 0 0 5 2 20 0 15 0 416403546 11107311616 161442 33554432000 4194304 4196468 140728841206960 140687319063120 140688805054363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2813] ppid=2747 vsize=10846984 memory=645768 CPUtime=3.79 cores=1,3,5,7
/proc/2750/task/2813/stat : 2813 (java) S 2747 2750 436 0 -1 1077944384 24763 13026 0 0 369 3 5 2 20 0 15 0 416403546 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688262711408 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2814] ppid=2747 vsize=10846984 memory=645768 CPUtime=3.43 cores=1,3,5,7
/proc/2750/task/2814/stat : 2814 (java) S 2747 2750 436 0 -1 1077944384 24398 13026 0 0 333 3 5 2 20 0 15 0 416403546 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688261658608 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2815] ppid=2747 vsize=10846984 memory=645768 CPUtime=1.91 cores=1,3,5,7
/proc/2750/task/2815/stat : 2815 (java) S 2747 2750 436 0 -1 1077944384 28409 13026 0 0 180 4 5 2 20 0 15 0 416403546 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688260606320 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2816] ppid=2747 vsize=10846984 memory=496 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2816/stat : 2816 (java) S 2747 2750 436 0 -1 1077944384 3 13026 0 0 0 0 5 2 20 0 15 0 416403546 11107311616 161442 33554432000 4194304 4196468 140728841206960 140687285504480 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2817] ppid=2747 vsize=10846984 memory=928 CPUtime=1.32 cores=1,3,5,7
/proc/2750/task/2817/stat : 2817 (java) S 2747 2750 436 0 -1 1077944384 1445 13026 0 0 66 59 5 2 20 0 15 0 416403546 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688259554224 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 645768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2368.53 s]
# the end of solver process 2750 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.36 s, system=2.75332 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2368.5 s]
/proc/loadavg: 1.21 1.27 1.32 3/227 3163
/proc/meminfo: memFree=30327264/32770624 swapFree=66995208/67108860
[pid=2750] ppid=2747 vsize=10846984 memory=645768 CPUtime=2400.06 cores=1,3,5,7
/proc/2750/stat : 2750 (java) S 2747 2750 436 0 -1 1077944320 182443 13026 0 0 239728 271 5 2 20 0 15 0 416403532 11107311616 161442 33554432000 4194304 4196468 140728841206960 140728841189504 140688805035767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
/proc/2750/statm: 2711746 161442 3630 1 0 2673805 0
[pid=2750/tid=2804] ppid=2747 vsize=10846984 memory=645768 CPUtime=2349.52 cores=1,3,5,7
/proc/2750/task/2804/stat : 2804 (java) R 2747 2750 436 0 -1 4202560 56338 13026 0 0 234903 42 5 2 20 0 15 0 416403540 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688776870768 140688395445191 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2805] ppid=2747 vsize=10846984 memory=238493 CPUtime=8.06 cores=1,3,5,7
/proc/2750/task/2805/stat : 2805 (java) S 2747 2750 436 0 -1 1077944384 8485 13026 0 0 757 42 5 2 20 0 15 0 416403541 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688809277840 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2806] ppid=2747 vsize=10846984 memory=233466 CPUtime=8.06 cores=1,3,5,7
/proc/2750/task/2806/stat : 2806 (java) S 2747 2750 436 0 -1 1077944384 9938 13026 0 0 757 42 5 2 20 0 15 0 416403541 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688708167952 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2807] ppid=2747 vsize=10846984 memory=645768 CPUtime=8.04 cores=1,3,5,7
/proc/2750/task/2807/stat : 2807 (java) S 2747 2750 436 0 -1 1077944384 8517 13026 0 0 756 41 5 2 20 0 15 0 416403541 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688707115664 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2808] ppid=2747 vsize=10846984 memory=6656426216303648864 CPUtime=8.04 cores=1,3,5,7
/proc/2750/task/2808/stat : 2808 (java) S 2747 2750 436 0 -1 1077944384 7458 13026 0 0 754 43 5 2 20 0 15 0 416403541 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688706062864 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2809] ppid=2747 vsize=10846984 memory=645768 CPUtime=8.4 cores=1,3,5,7
/proc/2750/task/2809/stat : 2809 (java) S 2747 2750 436 0 -1 1077944384 10451 13026 0 0 795 38 5 2 20 0 15 0 416403543 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688263764592 140688805046914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2810] ppid=2747 vsize=10846984 memory=645768 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2810/stat : 2810 (java) S 2747 2750 436 0 -1 1077944384 16 13026 0 0 0 0 5 2 20 0 15 0 416403543 11107311616 161442 33554432000 4194304 4196468 140728841206960 140687693571488 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2811] ppid=2747 vsize=10846984 memory=645768 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2811/stat : 2811 (java) S 2747 2750 436 0 -1 1077944384 9 13026 0 0 0 0 5 2 20 0 15 0 416403543 11107311616 161442 33554432000 4194304 4196468 140728841206960 140687559353984 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2812] ppid=2747 vsize=10846984 memory=281294857102320 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2812/stat : 2812 (java) S 2747 2750 436 0 -1 1077944384 3 13026 0 0 0 0 5 2 20 0 15 0 416403546 11107311616 161442 33554432000 4194304 4196468 140728841206960 140687319063120 140688805054363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2813] ppid=2747 vsize=10846984 memory=645768 CPUtime=3.79 cores=1,3,5,7
/proc/2750/task/2813/stat : 2813 (java) S 2747 2750 436 0 -1 1077944384 24763 13026 0 0 369 3 5 2 20 0 15 0 416403546 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688262711408 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2814] ppid=2747 vsize=10846984 memory=645768 CPUtime=3.43 cores=1,3,5,7
/proc/2750/task/2814/stat : 2814 (java) S 2747 2750 436 0 -1 1077944384 24398 13026 0 0 333 3 5 2 20 0 15 0 416403546 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688261658608 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2815] ppid=2747 vsize=10846984 memory=645768 CPUtime=1.91 cores=1,3,5,7
/proc/2750/task/2815/stat : 2815 (java) S 2747 2750 436 0 -1 1077944384 28409 13026 0 0 180 4 5 2 20 0 15 0 416403546 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688260606320 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2816] ppid=2747 vsize=10846984 memory=496 CPUtime=0.07 cores=1,3,5,7
/proc/2750/task/2816/stat : 2816 (java) S 2747 2750 436 0 -1 1077944384 3 13026 0 0 0 0 5 2 20 0 15 0 416403546 11107311616 161442 33554432000 4194304 4196468 140728841206960 140687285504480 140688805045973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
[pid=2750/tid=2817] ppid=2747 vsize=10846984 memory=928 CPUtime=1.32 cores=1,3,5,7
/proc/2750/task/2817/stat : 2817 (java) S 2747 2750 436 0 -1 1077944384 1445 13026 0 0 66 59 5 2 20 0 15 0 416403546 11107311616 161442 33554432000 4194304 4196468 140728841206960 140688259554224 140688805046914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27885568 140728841214703 140728841217221 140728841217221 140728841220047 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 645768 KiB
Child status: 143
Real time (s): 2368.53
CPU time (s): 2400.11
CPU user time (s): 2397.36
CPU system time (s): 2.75332
CPU usage (%): 101.334
Max. virtual memory (cumulated for all children) (KiB): 10846984
Max. memory (cumulated for all children) (KiB): 645768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.36
system time used= 2.75332
maximum resident set size= 649980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196418
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 216386
involuntary context switches= 7552
# summary of solver processes directly reported to runsolver:
# pid: 2750
# total CPU time (s): 2400.11
# total CPU user time (s): 2397.36
# total CPU system time (s): 2.75332
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3878 second user time and 23.4079 second system time
The end