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-4085840-1465255303/watcher-4085840-1465255303 -o /tmp/evaluation-result-4085840-1465255303/solver-4085840-1465255303 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465222695-5849 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085840-1465255303.opb
pid=10652
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.15 2.17 2.17 3/194 10655
/proc/meminfo: memFree=30093320/32872528 swapFree=16204/1518544
[pid=10655] ppid=10652 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/10655/stat : 10655 (java) R 10652 10655 5832 0 -1 4202496 404 0 0 0 0 0 0 0 20 0 1 0 107463203 9445376 76 33554432000 1073741824 1073778376 140736461889488 140736461886616 229346687071 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10655/statm: 2306 93 74 9 0 38 0
[startup+0.10006 s]
/proc/loadavg: 2.15 2.17 2.17 3/194 10655
/proc/meminfo: memFree=30093320/32872528 swapFree=16204/1518544
[pid=10655] ppid=10652 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/10655/stat : 10655 (java) S 10652 10655 5832 0 -1 4202496 4451 0 1 0 8 1 0 0 20 0 18 0 107463203 9787879424 5578 33554432000 1073741824 1073778376 140736461889488 140736461880624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10655/statm: 2389619 5578 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200329 s]
/proc/loadavg: 2.15 2.17 2.17 3/194 10655
/proc/meminfo: memFree=30093320/32872528 swapFree=16204/1518544
[pid=10655] ppid=10652 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/10655/stat : 10655 (java) S 10652 10655 5832 0 -1 4202496 4927 0 1 0 22 1 0 0 20 0 18 0 107463203 9787879424 6498 33554432000 1073741824 1073778376 140736461889488 140736461880624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10655/statm: 2389619 6498 2200 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300338 s]
/proc/loadavg: 2.15 2.17 2.17 3/194 10655
/proc/meminfo: memFree=30093320/32872528 swapFree=16204/1518544
[pid=10655] ppid=10652 vsize=9558476 CPUtime=0.43 cores=1,3,5,7
/proc/10655/stat : 10655 (java) S 10652 10655 5832 0 -1 4202496 5385 0 1 0 41 2 0 0 20 0 18 0 107463203 9787879424 7715 33554432000 1073741824 1073778376 140736461889488 140736461880624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10655/statm: 2389619 7715 2237 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558476
[startup+0.700307 s]
/proc/loadavg: 2.15 2.17 2.17 3/194 10655
/proc/meminfo: memFree=30093320/32872528 swapFree=16204/1518544
[pid=10655] ppid=10652 vsize=9625040 CPUtime=1.62 cores=1,3,5,7
/proc/10655/stat : 10655 (java) S 10652 10655 5832 0 -1 4202496 26518 0 1 0 156 6 0 0 20 0 19 0 107463203 9856040960 25855 33554432000 1073741824 1073778376 140736461889488 140736461880624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10655/statm: 2406260 25855 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9625040
[startup+1.50086 s]
/proc/loadavg: 2.15 2.17 2.17 3/213 10674
/proc/meminfo: memFree=29989324/32872528 swapFree=16204/1518544
[pid=10655] ppid=10652 vsize=9625040 CPUtime=3.1 cores=1,3,5,7
/proc/10655/stat : 10655 (java) S 10652 10655 5832 0 -1 4202496 31893 0 1 0 303 7 0 0 20 0 19 0 107463203 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140736461880624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10655/statm: 2406260 28408 2269 9 0 2396937 0
[pid=10655/tid=10657] ppid=10652 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/10655/task/10657/stat : 10657 (java) R 10652 10655 5832 0 -1 4202560 2491 0 1 0 144 1 0 0 20 0 19 0 107463204 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140065065087192 140064937367301 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10658] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10658/stat : 10658 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140064909080744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10659] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10659/stat : 10659 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140064908028200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10660] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10660/stat : 10660 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140064906975656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10655/tid=10661] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10661/stat : 10661 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140064905923112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10662] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10662/stat : 10662 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140064904870568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10663] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10663/stat : 10663 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140064903818024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10664] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10664/stat : 10664 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140064902765480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10665] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10665/stat : 10665 (java) S 10652 10655 5832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140064901712936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10666] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10666/stat : 10666 (java) S 10652 10655 5832 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107463206 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140064889301096 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10667] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10667/stat : 10667 (java) S 10652 10655 5832 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107463207 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140064888247416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10668] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10668/stat : 10668 (java) S 10652 10655 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107463207 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140064887194760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10669] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10669/stat : 10669 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463209 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140064886143504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10670] ppid=10652 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/10655/task/10670/stat : 10670 (java) S 10652 10655 5832 0 -1 4202560 11344 0 0 0 76 3 0 0 20 0 19 0 107463209 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140064885090872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10671] ppid=10652 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/10655/task/10671/stat : 10671 (java) S 10652 10655 5832 0 -1 4202560 16786 0 0 0 79 3 0 0 20 0 19 0 107463209 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140064884038328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10672] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10672/stat : 10672 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463209 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140064882985976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10673] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10673/stat : 10673 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463209 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140064881933640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10674] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10674/stat : 10674 (java) S 10652 10655 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107463253 9856040960 28408 33554432000 1073741824 1073778376 140736461889488 140064880878376 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 9625040
[startup+3.10083 s]
/proc/loadavg: 2.15 2.17 2.17 3/213 10674
/proc/meminfo: memFree=29987000/32872528 swapFree=16204/1518544
[pid=10655] ppid=10652 vsize=9625040 CPUtime=4.76 cores=1,3,5,7
/proc/10655/stat : 10655 (java) S 10652 10655 5832 0 -1 4202496 31903 0 1 0 469 7 0 0 20 0 19 0 107463203 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140736461880624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10655/statm: 2406260 28417 2269 9 0 2396937 0
[pid=10655/tid=10657] ppid=10652 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/10655/task/10657/stat : 10657 (java) R 10652 10655 5832 0 -1 4202560 2493 0 1 0 303 2 0 0 20 0 19 0 107463204 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140065065087464 140064937589276 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10658] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10658/stat : 10658 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140064909080744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10659] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10659/stat : 10659 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140064908028200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10660] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10660/stat : 10660 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140064906975656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10655/tid=10661] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10661/stat : 10661 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140064905923112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10662] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10662/stat : 10662 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140064904870568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10663] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10663/stat : 10663 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140064903818024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10664] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10664/stat : 10664 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140064902765480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10665] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10665/stat : 10665 (java) S 10652 10655 5832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140064901712936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10666] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10666/stat : 10666 (java) S 10652 10655 5832 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107463206 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140064889301096 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10667] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10667/stat : 10667 (java) S 10652 10655 5832 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107463207 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140064888247416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10668] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10668/stat : 10668 (java) S 10652 10655 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107463207 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140064887194760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10669] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10669/stat : 10669 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463209 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140064886143504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10670] ppid=10652 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/10655/task/10670/stat : 10670 (java) S 10652 10655 5832 0 -1 4202560 11344 0 0 0 76 3 0 0 20 0 19 0 107463209 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140064885090872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10671] ppid=10652 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/10655/task/10671/stat : 10671 (java) S 10652 10655 5832 0 -1 4202560 16793 0 0 0 86 3 0 0 20 0 19 0 107463209 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140064884038328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10672] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10672/stat : 10672 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463209 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140064882985976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10673] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10673/stat : 10673 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463209 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140064881933640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10674] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10674/stat : 10674 (java) S 10652 10655 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107463253 9856040960 28417 33554432000 1073741824 1073778376 140736461889488 140064880878376 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 9625040
[startup+6.30068 s]
/proc/loadavg: 2.14 2.17 2.17 3/213 10674
/proc/meminfo: memFree=29990348/32872528 swapFree=16204/1518544
[pid=10655] ppid=10652 vsize=9625040 CPUtime=8.03 cores=1,3,5,7
/proc/10655/stat : 10655 (java) S 10652 10655 5832 0 -1 4202496 31999 0 1 0 796 7 0 0 20 0 19 0 107463203 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140736461880624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10655/statm: 2406260 28132 2276 9 0 2396937 0
[pid=10655/tid=10657] ppid=10652 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/10655/task/10657/stat : 10657 (java) R 10652 10655 5832 0 -1 4202560 2495 0 1 0 622 2 0 0 20 0 19 0 107463204 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140065065078496 140064937577628 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=10655/tid=10658] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10658/stat : 10658 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140064909080744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10659] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10659/stat : 10659 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140064908028200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10660] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10660/stat : 10660 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140064906975656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10655/tid=10661] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10661/stat : 10661 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140064905923112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10662] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10662/stat : 10662 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140064904870568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10663] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10663/stat : 10663 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140064903818024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10664] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10664/stat : 10664 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140064902765480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10665] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10665/stat : 10665 (java) S 10652 10655 5832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107463205 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140064901712936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10666] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10666/stat : 10666 (java) S 10652 10655 5832 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107463206 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140064889301096 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10667] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10667/stat : 10667 (java) S 10652 10655 5832 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107463207 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140064888247416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10668] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10668/stat : 10668 (java) S 10652 10655 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107463207 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140064887194760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10669] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10669/stat : 10669 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463209 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140064886143504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10670] ppid=10652 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/10655/task/10670/stat : 10670 (java) S 10652 10655 5832 0 -1 4202560 11347 0 0 0 77 3 0 0 20 0 19 0 107463209 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140064885090872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10671] ppid=10652 vsize=9625040 CPUtime=0.95 cores=1,3,5,7
/proc/10655/task/10671/stat : 10671 (java) S 10652 10655 5832 0 -1 4202560 16884 0 0 0 92 3 0 0 20 0 19 0 107463209 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140064884038328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10672] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10672/stat : 10672 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463209 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140064882985976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10673] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10673/stat : 10673 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463209 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140064881933640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10674] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10674/stat : 10674 (java) S 10652 10655 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107463253 9856040960 28132 33554432000 1073741824 1073778376 140736461889488 140064880878376 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.03
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
/proc/10655/task/10674/stat : 10674 (java) S 10652 10655 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107463253 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064880878376 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1664.91
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.22 2.18 2.18 3/214 10977
/proc/meminfo: memFree=29871696/32872528 swapFree=16204/1518544
[pid=10655] ppid=10652 vsize=9625040 CPUtime=1724.92 cores=1,3,5,7
/proc/10655/stat : 10655 (java) S 10652 10655 5832 0 -1 4202496 33198 0 1 0 172445 47 0 0 20 0 19 0 107463203 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140736461880624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10655/statm: 2406260 100433 2289 9 0 2396937 0
[pid=10655/tid=10657] ppid=10652 vsize=9625040 CPUtime=1717.62 cores=1,3,5,7
/proc/10655/task/10657/stat : 10657 (java) R 10652 10655 5832 0 -1 4202560 2556 0 1 0 171734 28 0 0 20 0 19 0 107463204 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140065065078480 140064937577485 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10658] ppid=10652 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/10655/task/10658/stat : 10658 (java) S 10652 10655 5832 0 -1 4202560 35 0 0 0 3 2 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064909080744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10659] ppid=10652 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/10655/task/10659/stat : 10659 (java) S 10652 10655 5832 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064908028200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10660] ppid=10652 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/10655/task/10660/stat : 10660 (java) S 10652 10655 5832 0 -1 4202560 45 0 0 0 6 2 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064906975656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10661] ppid=10652 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/10655/task/10661/stat : 10661 (java) S 10652 10655 5832 0 -1 4202560 51 0 0 0 5 3 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064905923112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10662] ppid=10652 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/10655/task/10662/stat : 10662 (java) S 10652 10655 5832 0 -1 4202560 165 0 0 0 7 3 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064904870568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10663] ppid=10652 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/10655/task/10663/stat : 10663 (java) S 10652 10655 5832 0 -1 4202560 178 0 0 0 6 4 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064903818024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10655/tid=10664] ppid=10652 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/10655/task/10664/stat : 10664 (java) S 10652 10655 5832 0 -1 4202560 160 0 0 0 4 2 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064902765480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10665] ppid=10652 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/10655/task/10665/stat : 10665 (java) S 10652 10655 5832 0 -1 4202560 161 0 0 0 3 2 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064901712936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10655/tid=10666] ppid=10652 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/10655/task/10666/stat : 10666 (java) S 10652 10655 5832 0 -1 4202560 90 0 0 0 1 0 0 0 20 0 19 0 107463206 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064889301096 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10667] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10667/stat : 10667 (java) S 10652 10655 5832 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107463207 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064888247416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10668] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10668/stat : 10668 (java) S 10652 10655 5832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107463207 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064887194760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10669] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10669/stat : 10669 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463209 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064886143504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10670] ppid=10652 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/10655/task/10670/stat : 10670 (java) S 10652 10655 5832 0 -1 4202560 11349 0 0 0 79 3 0 0 20 0 19 0 107463209 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064885090872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10671] ppid=10652 vsize=9625040 CPUtime=1.26 cores=1,3,5,7
/proc/10655/task/10671/stat : 10671 (java) S 10652 10655 5832 0 -1 4202560 17022 0 0 0 123 3 0 0 20 0 19 0 107463209 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064884038328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10672] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10672/stat : 10672 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463209 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064882985976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10673] ppid=10652 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/10655/task/10673/stat : 10673 (java) S 10652 10655 5832 0 -1 4202560 99 0 0 0 17 22 0 0 20 0 19 0 107463209 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064881933640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10674] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10674/stat : 10674 (java) S 10652 10655 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107463253 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064880878376 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1724.92
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.39 2.23 2.19 4/213 10978
/proc/meminfo: memFree=29871992/32872528 swapFree=16204/1518544
[pid=10655] ppid=10652 vsize=9625040 CPUtime=1784.94 cores=1,3,5,7
/proc/10655/stat : 10655 (java) S 10652 10655 5832 0 -1 4202496 33202 0 1 0 178446 48 0 0 20 0 19 0 107463203 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140736461880624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10655/statm: 2406260 100433 2289 9 0 2396937 0
[pid=10655/tid=10657] ppid=10652 vsize=9625040 CPUtime=1777.47 cores=1,3,5,7
/proc/10655/task/10657/stat : 10657 (java) R 10652 10655 5832 0 -1 4202560 2556 0 1 0 177718 29 0 0 20 0 19 0 107463204 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140065065078480 140064937653173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10658] ppid=10652 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/10655/task/10658/stat : 10658 (java) S 10652 10655 5832 0 -1 4202560 35 0 0 0 3 2 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064909080744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10659] ppid=10652 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/10655/task/10659/stat : 10659 (java) S 10652 10655 5832 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064908028200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10660] ppid=10652 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/10655/task/10660/stat : 10660 (java) S 10652 10655 5832 0 -1 4202560 45 0 0 0 6 2 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064906975656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10661] ppid=10652 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/10655/task/10661/stat : 10661 (java) S 10652 10655 5832 0 -1 4202560 51 0 0 0 5 3 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064905923112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10662] ppid=10652 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/10655/task/10662/stat : 10662 (java) S 10652 10655 5832 0 -1 4202560 165 0 0 0 7 3 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064904870568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10663] ppid=10652 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/10655/task/10663/stat : 10663 (java) S 10652 10655 5832 0 -1 4202560 178 0 0 0 6 4 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064903818024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10655/tid=10664] ppid=10652 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/10655/task/10664/stat : 10664 (java) S 10652 10655 5832 0 -1 4202560 160 0 0 0 4 2 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064902765480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10665] ppid=10652 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/10655/task/10665/stat : 10665 (java) S 10652 10655 5832 0 -1 4202560 161 0 0 0 3 2 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064901712936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10655/tid=10666] ppid=10652 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/10655/task/10666/stat : 10666 (java) S 10652 10655 5832 0 -1 4202560 90 0 0 0 1 0 0 0 20 0 19 0 107463206 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064889301096 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10667] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10667/stat : 10667 (java) S 10652 10655 5832 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107463207 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064888247416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10668] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10668/stat : 10668 (java) S 10652 10655 5832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107463207 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064887194760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10669] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10669/stat : 10669 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463209 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064886143504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10670] ppid=10652 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/10655/task/10670/stat : 10670 (java) S 10652 10655 5832 0 -1 4202560 11349 0 0 0 79 3 0 0 20 0 19 0 107463209 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064885090872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10671] ppid=10652 vsize=9625040 CPUtime=1.26 cores=1,3,5,7
/proc/10655/task/10671/stat : 10671 (java) S 10652 10655 5832 0 -1 4202560 17022 0 0 0 123 3 0 0 20 0 19 0 107463209 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064884038328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10672] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10672/stat : 10672 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463209 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064882985976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10673] ppid=10652 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/10655/task/10673/stat : 10673 (java) S 10652 10655 5832 0 -1 4202560 103 0 0 0 17 23 0 0 20 0 19 0 107463209 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064881933640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10674] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10674/stat : 10674 (java) S 10652 10655 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107463253 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064880878376 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1784.94
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.4 s]
/proc/loadavg: 2.37 2.23 2.19 3/213 10978
/proc/meminfo: memFree=29872136/32872528 swapFree=16204/1518544
[pid=10655] ppid=10652 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/10655/stat : 10655 (java) S 10652 10655 5832 0 -1 4202496 33202 0 1 0 179956 48 0 0 20 0 19 0 107463203 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140736461880624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10655/statm: 2406260 100433 2289 9 0 2396937 0
[pid=10655/tid=10657] ppid=10652 vsize=9625040 CPUtime=1792.54 cores=1,3,5,7
/proc/10655/task/10657/stat : 10657 (java) R 10652 10655 5832 0 -1 4202560 2556 0 1 0 179225 29 0 0 20 0 19 0 107463204 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140065065078480 140064937653173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10658] ppid=10652 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/10655/task/10658/stat : 10658 (java) S 10652 10655 5832 0 -1 4202560 35 0 0 0 3 2 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064909080744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10659] ppid=10652 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/10655/task/10659/stat : 10659 (java) S 10652 10655 5832 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064908028200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10660] ppid=10652 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/10655/task/10660/stat : 10660 (java) S 10652 10655 5832 0 -1 4202560 45 0 0 0 6 2 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064906975656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10661] ppid=10652 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/10655/task/10661/stat : 10661 (java) S 10652 10655 5832 0 -1 4202560 51 0 0 0 5 3 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064905923112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10662] ppid=10652 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/10655/task/10662/stat : 10662 (java) S 10652 10655 5832 0 -1 4202560 165 0 0 0 7 3 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064904870568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10663] ppid=10652 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/10655/task/10663/stat : 10663 (java) S 10652 10655 5832 0 -1 4202560 178 0 0 0 6 4 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064903818024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10655/tid=10664] ppid=10652 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/10655/task/10664/stat : 10664 (java) S 10652 10655 5832 0 -1 4202560 160 0 0 0 4 2 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064902765480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10665] ppid=10652 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/10655/task/10665/stat : 10665 (java) S 10652 10655 5832 0 -1 4202560 161 0 0 0 3 2 0 0 20 0 19 0 107463205 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064901712936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10655/tid=10666] ppid=10652 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/10655/task/10666/stat : 10666 (java) S 10652 10655 5832 0 -1 4202560 90 0 0 0 1 0 0 0 20 0 19 0 107463206 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064889301096 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10667] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10667/stat : 10667 (java) S 10652 10655 5832 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107463207 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064888247416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10668] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10668/stat : 10668 (java) S 10652 10655 5832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107463207 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064887194760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10669] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10669/stat : 10669 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463209 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064886143504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10670] ppid=10652 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/10655/task/10670/stat : 10670 (java) S 10652 10655 5832 0 -1 4202560 11349 0 0 0 79 3 0 0 20 0 19 0 107463209 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064885090872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10655/tid=10671] ppid=10652 vsize=9625040 CPUtime=1.26 cores=1,3,5,7
/proc/10655/task/10671/stat : 10671 (java) S 10652 10655 5832 0 -1 4202560 17022 0 0 0 123 3 0 0 20 0 19 0 107463209 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064884038328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10672] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10672/stat : 10672 (java) S 10652 10655 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107463209 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064882985976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10655/tid=10673] ppid=10652 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/10655/task/10673/stat : 10673 (java) S 10652 10655 5832 0 -1 4202560 103 0 0 0 18 23 0 0 20 0 19 0 107463209 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064881933640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10655/tid=10674] ppid=10652 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10655/task/10674/stat : 10674 (java) S 10652 10655 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107463253 9856040960 100433 33554432000 1073741824 1073778376 140736461889488 140064880878376 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 10655 sig 9
??? kill -10655 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 10655 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=29114
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=932858
# CPU time returned by wait4() is 1795.96
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1797.45
CPU time (s): 1800.04
CPU user time (s): 1799.56
CPU system time (s): 0.48
CPU usage (%): 100.144
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.03
system time used= 0.932858
maximum resident set size= 401864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33242
page faults= 1
swaps= 0
block input operations= 240
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38202
involuntary context switches= 3748
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3314 second user time and 13.284 second system time
The end