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-4084615-1465285201/watcher-4084615-1465285201 -o /tmp/evaluation-result-4084615-1465285201/solver-4084615-1465285201 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465257785-23301 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084615-1465285201.opb
pid=27979
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.00 2.00 2.00 4/197 27982
/proc/meminfo: memFree=31514456/32872528 swapFree=8144/8144
[pid=27982] ppid=27979 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27979 27982 23284 0 -1 4202496 1294 0 0 0 0 0 0 0 20 0 2 0 110452160 95129600 927 33554432000 1073741824 1073778376 140733959784096 140733959775232 206412218429 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27982/statm: 23225 927 703 9 0 16769 0
[pid=27982/tid=27983] ppid=27979 vsize=94112 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27983/stat : 27983 (java) R 27979 27982 23284 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 2 0 110452161 96370688 931 33554432000 1073741824 1073778376 140733959784096 139950479957544 206399696167 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100061 s]
/proc/loadavg: 2.00 2.00 2.00 4/197 27982
/proc/meminfo: memFree=31514456/32872528 swapFree=8144/8144
[pid=27982] ppid=27979 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27979 27982 23284 0 -1 4202496 4386 0 1 0 8 1 0 0 20 0 18 0 110452160 9787879424 6024 33554432000 1073741824 1073778376 140733959784096 140733959775232 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27982/statm: 2389619 6024 2125 9 0 2380296 0
[pid=27982/tid=27983] ppid=27979 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/27982/task/27983/stat : 27983 (java) R 27979 27982 23284 0 -1 4202560 2378 0 1 0 5 1 0 0 20 0 18 0 110452161 9787879424 6024 33554432000 1073741824 1073778376 140733959784096 139950479960992 206412244237 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200256 s]
/proc/loadavg: 2.00 2.00 2.00 4/197 27982
/proc/meminfo: memFree=31514456/32872528 swapFree=8144/8144
[pid=27982] ppid=27979 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27979 27982 23284 0 -1 4202496 4946 0 1 0 26 1 0 0 20 0 18 0 110452160 9787879424 6964 33554432000 1073741824 1073778376 140733959784096 140733959775232 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27982/statm: 2389619 6964 2217 9 0 2380296 0
[pid=27982/tid=27983] ppid=27979 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/27982/task/27983/stat : 27983 (java) R 27979 27982 23284 0 -1 4202560 2398 0 1 0 14 2 0 0 20 0 18 0 110452161 9787879424 6964 33554432000 1073741824 1073778376 140733959784096 139950479961992 139950318180446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300271 s]
/proc/loadavg: 2.00 2.00 2.00 4/197 27982
/proc/meminfo: memFree=31514456/32872528 swapFree=8144/8144
[pid=27982] ppid=27979 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27979 27982 23284 0 -1 4202496 7327 0 1 0 52 2 0 0 20 0 18 0 110452160 9787879424 11394 33554432000 1073741824 1073778376 140733959784096 140733959775232 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27982/statm: 2389619 11394 2233 9 0 2380296 0
[pid=27982/tid=27983] ppid=27979 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/27982/task/27983/stat : 27983 (java) R 27979 27982 23284 0 -1 4202560 2404 0 1 0 24 2 0 0 20 0 18 0 110452161 9787879424 11394 33554432000 1073741824 1073778376 140733959784096 139950479961992 139950318237332 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476
[startup+0.700266 s]
/proc/loadavg: 2.00 2.00 2.00 4/197 27982
/proc/meminfo: memFree=31514456/32872528 swapFree=8144/8144
[pid=27982] ppid=27979 vsize=9625040 CPUtime=1.34 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27979 27982 23284 0 -1 4202496 8463 0 1 0 131 3 0 0 20 0 19 0 110452160 9856040960 35536 33554432000 1073741824 1073778376 140733959784096 140733959775232 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27982/statm: 2406260 35536 2263 9 0 2396937 0
[pid=27982/tid=27983] ppid=27979 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/27982/task/27983/stat : 27983 (java) R 27979 27982 23284 0 -1 4202560 2464 0 1 0 62 4 0 0 20 0 19 0 110452161 9856040960 35536 33554432000 1073741824 1073778376 140733959784096 139950479961152 139950318854440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9625040
[startup+1.50079 s]
/proc/loadavg: 2.00 2.00 2.00 3/216 28003
/proc/meminfo: memFree=31380104/32872528 swapFree=8144/8144
[pid=27982] ppid=27979 vsize=9625040 CPUtime=2.27 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27979 27982 23284 0 -1 4202496 8987 0 1 0 223 4 0 0 20 0 19 0 110452160 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 140733959775232 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27982/statm: 2406260 36176 2264 9 0 2396937 0
[pid=27982/tid=27983] ppid=27979 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/27982/task/27983/stat : 27983 (java) R 27979 27982 23284 0 -1 4202560 2465 0 1 0 142 4 0 0 20 0 19 0 110452161 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139950479962296 139950318870544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27985] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27985/stat : 27985 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139950441453864 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27986] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27986/stat : 27986 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139950440401064 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27987] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27987/stat : 27987 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139950439348776 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27988] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27988/stat : 27988 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139950438295976 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27989] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27989/stat : 27989 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139950437243688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27990] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27990/stat : 27990 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139950318152360 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27991] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27991/stat : 27991 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139950317100072 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27992] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27992/stat : 27992 (java) S 27979 27982 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139950316047272 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27993] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27993/stat : 27993 (java) S 27979 27982 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110452164 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139950303848680 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27994] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27994/stat : 27994 (java) S 27979 27982 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110452164 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139950302794744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27995] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27995/stat : 27995 (java) S 27979 27982 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110452165 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139949697393928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27998] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27998/stat : 27998 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452167 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139949696342416 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27999] ppid=27979 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/27982/task/27999/stat : 27999 (java) S 27979 27982 23284 0 -1 4202560 2441 0 0 0 38 0 0 0 20 0 19 0 110452167 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139949695290040 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28000] ppid=27979 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/27982/task/28000/stat : 28000 (java) S 27979 27982 23284 0 -1 4202560 2804 0 0 0 39 0 0 0 20 0 19 0 110452167 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139949694237240 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28001] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28001/stat : 28001 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452167 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139949693185144 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28002] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28002/stat : 28002 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452167 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139949692132552 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28003] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28003/stat : 28003 (java) S 27979 27982 23284 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110452219 9856040960 36176 33554432000 1073741824 1073778376 140733959784096 139949691077544 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 9625040
[startup+3.10087 s]
/proc/loadavg: 2.00 2.00 2.00 3/216 28003
/proc/meminfo: memFree=31377436/32872528 swapFree=8144/8144
[pid=27982] ppid=27979 vsize=9625040 CPUtime=4.31 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27979 27982 23284 0 -1 4202496 15918 0 1 0 427 4 0 0 20 0 19 0 110452160 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 140733959775232 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27982/statm: 2406260 41285 2271 9 0 2396937 0
[pid=27982/tid=27983] ppid=27979 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/27982/task/27983/stat : 27983 (java) R 27979 27982 23284 0 -1 4202560 2469 0 1 0 302 4 0 0 20 0 19 0 110452161 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139950479962472 139950318844245 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27985] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27985/stat : 27985 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139950441453864 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27986] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27986/stat : 27986 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139950440401064 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27987] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27987/stat : 27987 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139950439348776 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27988] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27988/stat : 27988 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139950438295976 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27989] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27989/stat : 27989 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139950437243688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27990] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27990/stat : 27990 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139950318152360 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27991] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27991/stat : 27991 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139950317100072 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27992] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27992/stat : 27992 (java) S 27979 27982 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139950316047272 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27993] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27993/stat : 27993 (java) S 27979 27982 23284 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 110452164 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139950303848680 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27994] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27994/stat : 27994 (java) S 27979 27982 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110452164 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139950302794744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27995] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27995/stat : 27995 (java) S 27979 27982 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110452165 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139949697393928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27998] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27998/stat : 27998 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452167 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139949696342416 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27999] ppid=27979 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/27982/task/27999/stat : 27999 (java) S 27979 27982 23284 0 -1 4202560 9361 0 0 0 80 1 0 0 20 0 19 0 110452167 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139949695290040 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=28000] ppid=27979 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/27982/task/28000/stat : 28000 (java) S 27979 27982 23284 0 -1 4202560 2810 0 0 0 40 0 0 0 20 0 19 0 110452167 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139949694237240 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28001] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28001/stat : 28001 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452167 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139949693185144 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28002] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28002/stat : 28002 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452167 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139949692132552 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28003] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28003/stat : 28003 (java) S 27979 27982 23284 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110452219 9856040960 41285 33554432000 1073741824 1073778376 140733959784096 139949691077544 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 9625040
[startup+6.30087 s]
/proc/loadavg: 2.00 2.00 2.00 3/216 28003
/proc/meminfo: memFree=31357532/32872528 swapFree=8144/8144
[pid=27982] ppid=27979 vsize=9625040 CPUtime=7.56 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27979 27982 23284 0 -1 4202496 15928 0 1 0 752 4 0 0 20 0 19 0 110452160 9856040960 41457 33554432000 1073741824 1073778376 140733959784096 140733959775232 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27982/statm: 2406260 41457 2271 9 0 2396937 0
[pid=27982/tid=27983] ppid=27979 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/27982/task/27983/stat : 27983 (java) R 27979 27982 23284 0 -1 4202560 2473 0 1 0 621 4 0 0 20 0 19 0 110452161 9856040960 41457 33554432000 1073741824 1073778376 140733959784096 139950479960544 139950318882441 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27985] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27985/stat : 27985 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 41457 33554432000 1073741824 1073778376 140733959784096 139950441453864 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27986] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27986/stat : 27986 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 41457 33554432000 1073741824 1073778376 140733959784096 139950440401064 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27987] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27987/stat : 27987 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 41457 33554432000 1073741824 1073778376 140733959784096 139950439348776 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27988] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27988/stat : 27988 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 41457 33554432000 1073741824 1073778376 140733959784096 139950438295976 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27989] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27989/stat : 27989 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 41457 33554432000 1073741824 1073778376 140733959784096 139950437243688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27990] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27990/stat : 27990 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 41457 33554432000 1073741824 1073778376 140733959784096 139950318152360 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27991] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27991/stat : 27991 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 41457 33554432000 1073741824 1073778376 140733959784096 139950317100072 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27992] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27992/stat : 27992 (java) S 27979 27982 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110452163 9856040960 41457 33554432000 1073741824 1073778376 140733959784096 139950316047272 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27993] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27993/stat : 27993 (java) S 27979 27982 23284 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 110452164 9856040960 41457 33554432000 1073741824 1073778376 140733959784096 139950303848680 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27994] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27994/stat : 27994 (java) S 27979 27982 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110452164 9856040960 41457 33554432000 1073741824 1073778376 140733959784096 139950302794744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27995] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27995/stat : 27995 (java) S 27979 27982 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110452165 9856040960 41457 33554432000 1073741824 1073778376 140733959784096 139949697393928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27998] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27998/stat : 27998 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452167 9856040960 41457 33554432000 1073741824 1073778376 140733959784096 139949696342416 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27999] ppid=27979 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/27982/task/27999/stat : 27999 (java) S 27979 27982 23284 0 -1 4202560 9367 0 0 0 83 1 0 0 20 0 19 0 110452167 9856040960 41457 33554432000 1073741824 1073778376 140733959784096 139949695290040 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=28000] ppid=27979 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
################
# More data... #
################
[pid=27982/tid=28003] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28003/stat : 28003 (java) S 27979 27982 23284 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110452219 9856040960 126104 33554432000 1073741824 1073778376 140733959784096 139949691077544 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1668.18
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/215 28066
/proc/meminfo: memFree=30965936/32872528 swapFree=8144/8144
[pid=27982] ppid=27979 vsize=9625040 CPUtime=1728.37 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27979 27982 23284 0 -1 4202496 21698 0 1 0 172708 129 0 0 20 0 19 0 110452160 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 140733959775232 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27982/statm: 2406260 122991 2293 9 0 2396937 0
[pid=27982/tid=27983] ppid=27979 vsize=9625040 CPUtime=1714.66 cores=1,3,5,7
/proc/27982/task/27983/stat : 27983 (java) R 27979 27982 23284 0 -1 4202560 2518 0 1 0 171433 33 0 0 20 0 19 0 110452161 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139950479953712 139950318747390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27985] ppid=27979 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/27982/task/27985/stat : 27985 (java) S 27979 27982 23284 0 -1 4202560 626 0 0 0 57 9 0 0 20 0 19 0 110452163 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139950441453864 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27986] ppid=27979 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/27982/task/27986/stat : 27986 (java) S 27979 27982 23284 0 -1 4202560 457 0 0 0 68 16 0 0 20 0 19 0 110452163 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139950440401064 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27987] ppid=27979 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/27982/task/27987/stat : 27987 (java) S 27979 27982 23284 0 -1 4202560 715 0 0 0 70 15 0 0 20 0 19 0 110452163 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139950439348776 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27988] ppid=27979 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/27982/task/27988/stat : 27988 (java) S 27979 27982 23284 0 -1 4202560 474 0 0 0 56 9 0 0 20 0 19 0 110452163 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139950438295976 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27989] ppid=27979 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/27982/task/27989/stat : 27989 (java) S 27979 27982 23284 0 -1 4202560 691 0 0 0 60 9 0 0 20 0 19 0 110452163 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139950437243688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27990] ppid=27979 vsize=9625040 CPUtime=0.83 cores=1,3,5,7
/proc/27982/task/27990/stat : 27990 (java) S 27979 27982 23284 0 -1 4202560 609 0 0 0 71 12 0 0 20 0 19 0 110452163 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139950318152360 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27991] ppid=27979 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/27982/task/27991/stat : 27991 (java) S 27979 27982 23284 0 -1 4202560 978 0 0 0 66 10 0 0 20 0 19 0 110452163 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139950317100072 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27992] ppid=27979 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/27982/task/27992/stat : 27992 (java) S 27979 27982 23284 0 -1 4202560 544 0 0 0 66 8 0 0 20 0 19 0 110452163 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139950316047272 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27993] ppid=27979 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/27982/task/27993/stat : 27993 (java) S 27979 27982 23284 0 -1 4202560 418 0 0 0 143 3 0 0 20 0 19 0 110452164 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139950303848680 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27994] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27994/stat : 27994 (java) S 27979 27982 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110452164 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139950302794744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27995] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27995/stat : 27995 (java) S 27979 27982 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110452165 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139949697393928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27998] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27998/stat : 27998 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452167 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139949696342416 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27999] ppid=27979 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/27982/task/27999/stat : 27999 (java) S 27979 27982 23284 0 -1 4202560 9369 0 0 0 83 1 0 0 20 0 19 0 110452167 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139949695290040 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=28000] ppid=27979 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/27982/task/28000/stat : 28000 (java) S 27979 27982 23284 0 -1 4202560 2937 0 0 0 47 0 0 0 20 0 19 0 110452167 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139949694237240 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28001] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28001/stat : 28001 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452167 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139949693185144 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28002] ppid=27979 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/27982/task/28002/stat : 28002 (java) S 27979 27982 23284 0 -1 4202560 99 0 0 0 30 38 0 0 20 0 19 0 110452167 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139949692132552 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28003] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28003/stat : 28003 (java) S 27979 27982 23284 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110452219 9856040960 122991 33554432000 1073741824 1073778376 140733959784096 139949691077544 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1728.37
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/215 28133
/proc/meminfo: memFree=31041700/32872528 swapFree=8144/8144
[pid=27982] ppid=27979 vsize=9625040 CPUtime=1788.53 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27979 27982 23284 0 -1 4202496 21709 0 1 0 178722 131 0 0 20 0 19 0 110452160 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 140733959775232 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27982/statm: 2406260 120910 2293 9 0 2396937 0
[pid=27982/tid=27983] ppid=27979 vsize=9625040 CPUtime=1774.45 cores=1,3,5,7
/proc/27982/task/27983/stat : 27983 (java) R 27979 27982 23284 0 -1 4202560 2520 0 1 0 177412 33 0 0 20 0 19 0 110452161 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950479961424 139950318965618 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27985] ppid=27979 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/27982/task/27985/stat : 27985 (java) S 27979 27982 23284 0 -1 4202560 629 0 0 0 61 9 0 0 20 0 19 0 110452163 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950441453864 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27986] ppid=27979 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/27982/task/27986/stat : 27986 (java) S 27979 27982 23284 0 -1 4202560 457 0 0 0 69 16 0 0 20 0 19 0 110452163 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950440401064 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27987] ppid=27979 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/27982/task/27987/stat : 27987 (java) S 27979 27982 23284 0 -1 4202560 715 0 0 0 71 15 0 0 20 0 19 0 110452163 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950439348776 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27988] ppid=27979 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/27982/task/27988/stat : 27988 (java) S 27979 27982 23284 0 -1 4202560 474 0 0 0 59 9 0 0 20 0 19 0 110452163 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950438295976 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27989] ppid=27979 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/27982/task/27989/stat : 27989 (java) S 27979 27982 23284 0 -1 4202560 691 0 0 0 62 9 0 0 20 0 19 0 110452163 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950437243688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27990] ppid=27979 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/27982/task/27990/stat : 27990 (java) S 27979 27982 23284 0 -1 4202560 609 0 0 0 73 12 0 0 20 0 19 0 110452163 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950318152360 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27991] ppid=27979 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/27982/task/27991/stat : 27991 (java) S 27979 27982 23284 0 -1 4202560 978 0 0 0 69 10 0 0 20 0 19 0 110452163 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950317100072 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27992] ppid=27979 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/27982/task/27992/stat : 27992 (java) S 27979 27982 23284 0 -1 4202560 544 0 0 0 71 8 0 0 20 0 19 0 110452163 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950316047272 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27993] ppid=27979 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/27982/task/27993/stat : 27993 (java) S 27979 27982 23284 0 -1 4202560 420 0 0 0 143 3 0 0 20 0 19 0 110452164 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950303848680 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27994] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27994/stat : 27994 (java) S 27979 27982 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110452164 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950302794744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27995] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27995/stat : 27995 (java) S 27979 27982 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110452165 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139949697393928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27998] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27998/stat : 27998 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452167 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139949696342416 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27999] ppid=27979 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/27982/task/27999/stat : 27999 (java) S 27979 27982 23284 0 -1 4202560 9369 0 0 0 83 1 0 0 20 0 19 0 110452167 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139949695290040 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=28000] ppid=27979 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/27982/task/28000/stat : 28000 (java) S 27979 27982 23284 0 -1 4202560 2937 0 0 0 47 0 0 0 20 0 19 0 110452167 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139949694237240 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28001] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28001/stat : 28001 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452167 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139949693185144 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28002] ppid=27979 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/27982/task/28002/stat : 28002 (java) S 27979 27982 23284 0 -1 4202560 103 0 0 0 31 39 0 0 20 0 19 0 110452167 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139949692132552 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28003] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28003/stat : 28003 (java) S 27979 27982 23284 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110452219 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139949691077544 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1788.53
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.8 s]
/proc/loadavg: 2.01 2.01 2.00 3/215 28133
/proc/meminfo: memFree=31041580/32872528 swapFree=8144/8144
[pid=27982] ppid=27979 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/27982/stat : 27982 (java) S 27979 27982 23284 0 -1 4202496 21709 0 1 0 179872 131 0 0 20 0 19 0 110452160 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 140733959775232 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27982/statm: 2406260 120910 2293 9 0 2396937 0
[pid=27982/tid=27983] ppid=27979 vsize=9625040 CPUtime=1785.92 cores=1,3,5,7
/proc/27982/task/27983/stat : 27983 (java) R 27979 27982 23284 0 -1 4202560 2520 0 1 0 178558 34 0 0 20 0 19 0 110452161 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950479961424 139950318946387 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27985] ppid=27979 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/27982/task/27985/stat : 27985 (java) S 27979 27982 23284 0 -1 4202560 629 0 0 0 61 9 0 0 20 0 19 0 110452163 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950441453864 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27986] ppid=27979 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/27982/task/27986/stat : 27986 (java) S 27979 27982 23284 0 -1 4202560 457 0 0 0 69 16 0 0 20 0 19 0 110452163 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950440401064 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27987] ppid=27979 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/27982/task/27987/stat : 27987 (java) S 27979 27982 23284 0 -1 4202560 715 0 0 0 71 15 0 0 20 0 19 0 110452163 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950439348776 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27988] ppid=27979 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/27982/task/27988/stat : 27988 (java) S 27979 27982 23284 0 -1 4202560 474 0 0 0 59 9 0 0 20 0 19 0 110452163 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950438295976 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27989] ppid=27979 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/27982/task/27989/stat : 27989 (java) S 27979 27982 23284 0 -1 4202560 691 0 0 0 62 9 0 0 20 0 19 0 110452163 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950437243688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27990] ppid=27979 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/27982/task/27990/stat : 27990 (java) S 27979 27982 23284 0 -1 4202560 609 0 0 0 73 12 0 0 20 0 19 0 110452163 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950318152360 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27991] ppid=27979 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/27982/task/27991/stat : 27991 (java) S 27979 27982 23284 0 -1 4202560 978 0 0 0 69 10 0 0 20 0 19 0 110452163 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950317100072 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=27992] ppid=27979 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/27982/task/27992/stat : 27992 (java) S 27979 27982 23284 0 -1 4202560 544 0 0 0 71 8 0 0 20 0 19 0 110452163 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950316047272 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=27993] ppid=27979 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/27982/task/27993/stat : 27993 (java) S 27979 27982 23284 0 -1 4202560 420 0 0 0 143 3 0 0 20 0 19 0 110452164 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950303848680 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27982/tid=27994] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27994/stat : 27994 (java) S 27979 27982 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110452164 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139950302794744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27995] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27995/stat : 27995 (java) S 27979 27982 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110452165 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139949697393928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27998] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/27998/stat : 27998 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452167 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139949696342416 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27982/tid=27999] ppid=27979 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/27982/task/27999/stat : 27999 (java) S 27979 27982 23284 0 -1 4202560 9369 0 0 0 83 1 0 0 20 0 19 0 110452167 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139949695290040 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27982/tid=28000] ppid=27979 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/27982/task/28000/stat : 28000 (java) S 27979 27982 23284 0 -1 4202560 2937 0 0 0 47 0 0 0 20 0 19 0 110452167 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139949694237240 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28001] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28001/stat : 28001 (java) S 27979 27982 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452167 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139949693185144 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28002] ppid=27979 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/27982/task/28002/stat : 28002 (java) S 27979 27982 23284 0 -1 4202560 103 0 0 0 31 40 0 0 20 0 19 0 110452167 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139949692132552 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27982/tid=28003] ppid=27979 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27982/task/28003/stat : 28003 (java) S 27979 27982 23284 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110452219 9856040960 120910 33554432000 1073741824 1073778376 140733959784096 139949691077544 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 27982 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 27982 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=199240
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=800726
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1793.88
CPU time (s): 1800.03
CPU user time (s): 1798.72
CPU system time (s): 1.31
CPU usage (%): 100.343
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.2
system time used= 1.80073
maximum resident set size= 906776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21743
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39017
involuntary context switches= 14915
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8554 second user time and 7.93379 second system time
The end