runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3717985-1338258168/watcher-3717985-1338258168 -o /tmp/evaluation-result-3717985-1338258168/solver-3717985-1338258168 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3717985-1338258168.wbo
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: 1.92 2.00 2.00 3/194 6992
/proc/meminfo: memFree=24586656/32873844 swapFree=7628/7628
[pid=6992] ppid=6990 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/6992/stat : 6992 (java) R 6990 6992 31640 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 291941186 278528 34 33554432000 1073741824 1073778376 140733884113424 140733884110600 254741146919 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6992/statm: 68 34 25 9 0 25 0
[startup+0.022981 s]
/proc/loadavg: 1.92 2.00 2.00 3/194 6992
/proc/meminfo: memFree=24586656/32873844 swapFree=7628/7628
[pid=6992] ppid=6990 vsize=101528 CPUtime=0 cores=1,3,5,7
/proc/6992/stat : 6992 (java) S 6990 6992 31640 0 -1 4202496 1369 0 0 0 0 0 0 0 20 0 2 0 291941186 103964672 1051 33554432000 1073741824 1073778376 140737268467360 140737268458496 254753669181 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6992/statm: 25382 1053 806 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528
[startup+0.100336 s]
/proc/loadavg: 1.92 2.00 2.00 3/194 6992
/proc/meminfo: memFree=24586656/32873844 swapFree=7628/7628
[pid=6992] ppid=6990 vsize=9558416 CPUtime=0.07 cores=1,3,5,7
/proc/6992/stat : 6992 (java) S 6990 6992 31640 0 -1 4202496 3360 0 1 0 6 1 0 0 20 0 18 0 291941186 9787817984 4568 33554432000 1073741824 1073778376 140737268467360 140737268458496 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6992/statm: 2389604 4568 1773 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558416
[startup+0.300307 s]
/proc/loadavg: 1.92 2.00 2.00 3/194 6992
/proc/meminfo: memFree=24586656/32873844 swapFree=7628/7628
[pid=6992] ppid=6990 vsize=9558416 CPUtime=0.43 cores=1,3,5,7
/proc/6992/stat : 6992 (java) S 6990 6992 31640 0 -1 4202496 5083 0 1 0 42 1 0 0 20 0 18 0 291941186 9787817984 8088 33554432000 1073741824 1073778376 140737268467360 140737268458496 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6992/statm: 2389604 8088 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558416
[startup+0.700313 s]
/proc/loadavg: 1.92 2.00 2.00 3/194 6992
/proc/meminfo: memFree=24586656/32873844 swapFree=7628/7628
[pid=6992] ppid=6990 vsize=9558416 CPUtime=1.25 cores=1,3,5,7
/proc/6992/stat : 6992 (java) S 6990 6992 31640 0 -1 4202496 7679 0 1 0 117 8 0 0 20 0 18 0 291941186 9787817984 44886 33554432000 1073741824 1073778376 140737268467360 140737268458496 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6992/statm: 2389604 44897 2259 9 0 2380296 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9558416
[startup+1.5008 s]
/proc/loadavg: 1.92 2.00 2.00 4/213 7011
/proc/meminfo: memFree=24413020/32873844 swapFree=7628/7628
[pid=6992] ppid=6990 vsize=9624980 CPUtime=2.69 cores=1,3,5,7
/proc/6992/stat : 6992 (java) S 6990 6992 31640 0 -1 4202496 12071 0 1 0 260 9 0 0 20 0 19 0 291941186 9855979520 45515 33554432000 1073741824 1073778376 140737268467360 140737268458496 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6992/statm: 2406245 45515 2268 9 0 2396937 0
[pid=6992/tid=6994] ppid=6990 vsize=9624980 CPUtime=1.41 cores=1,3,5,7
/proc/6992/task/6994/stat : 6994 (java) R 6990 6992 31640 0 -1 4202560 2522 0 1 0 137 4 0 0 20 0 19 0 291941187 9855979520 45515 33554432000 1073741824 1073778376 140737268467360 140088599884712 140088428301904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6992/tid=6995] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/6995/stat : 6995 (java) S 6990 6992 31640 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291941188 9855979520 45515 33554432000 1073741824 1073778376 140737268467360 140088561376296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=6996] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/6996/stat : 6996 (java) S 6990 6992 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291941188 9855979520 45515 33554432000 1073741824 1073778376 140737268467360 140088560323496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=6997] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/6997/stat : 6997 (java) S 6990 6992 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291941188 9855979520 45515 33554432000 1073741824 1073778376 140737268467360 140088559270696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6992/tid=6998] ppid=6990 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/6992/task/6998/stat : 6998 (java) S 6990 6992 31640 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 291941189 9855979520 45515 33554432000 1073741824 1073778376 140737268467360 140088558217896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=6999] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/6999/stat : 6999 (java) S 6990 6992 31640 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291941189 9855979520 45515 33554432000 1073741824 1073778376 140737268467360 140088557165096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7000] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7000/stat : 7000 (java) S 6990 6992 31640 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291941189 9855979520 45515 33554432000 1073741824 1073778376 140737268467360 140088556112296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6992/tid=7001] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7001/stat : 7001 (java) S 6990 6992 31640 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291941189 9855979520 45515 33554432000 1073741824 1073778376 140737268467360 140088555059496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7002] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7002/stat : 7002 (java) S 6990 6992 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291941189 9855979520 45515 33554432000 1073741824 1073778376 140737268467360 140088554006696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7003] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7003/stat : 7003 (java) S 6990 6992 31640 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 291941190 9855979520 45515 33554432000 1073741824 1073778376 140737268467360 140088423984104 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7004] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7004/stat : 7004 (java) S 6990 6992 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291941190 9855979520 45515 33554432000 1073741824 1073778376 140737268467360 140088422930168 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7005] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7005/stat : 7005 (java) S 6990 6992 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291941190 9855979520 45515 33554432000 1073741824 1073778376 140737268467360 140088421877256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7006] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7006/stat : 7006 (java) S 6990 6992 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291941193 9855979520 45521 33554432000 1073741824 1073778376 140737268467360 140088420825744 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7007] ppid=6990 vsize=9624980 CPUtime=0.48 cores=1,3,5,7
/proc/6992/task/7007/stat : 7007 (java) R 6990 6992 31640 0 -1 4202560 3041 0 0 0 48 0 0 0 20 0 19 0 291941193 9855979520 45526 33554432000 1073741824 1073778376 140737268467360 140088419772856 254749979307 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7008] ppid=6990 vsize=9624980 CPUtime=0.6 cores=1,3,5,7
/proc/6992/task/7008/stat : 7008 (java) S 6990 6992 31640 0 -1 4202560 5193 0 0 0 60 0 0 0 20 0 19 0 291941193 9855979520 45526 33554432000 1073741824 1073778376 140737268467360 140088418720056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6992/tid=7009] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7009/stat : 7009 (java) S 6990 6992 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291941193 9855979520 45526 33554432000 1073741824 1073778376 140737268467360 140088417667448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6992/tid=7010] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7010/stat : 7010 (java) S 6990 6992 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291941193 9855979520 45536 33554432000 1073741824 1073778376 140737268467360 140088416614856 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7011] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7011/stat : 7011 (java) S 6990 6992 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291941271 9855979520 45551 33554432000 1073741824 1073778376 140737268467360 140088415561384 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 9624980
[startup+3.10081 s]
/proc/loadavg: 2.01 2.02 2.01 3/213 7011
/proc/meminfo: memFree=24411640/32873844 swapFree=7628/7628
[pid=6992] ppid=6990 vsize=9624980 CPUtime=4.38 cores=1,3,5,7
/proc/6992/stat : 6992 (java) S 6990 6992 31640 0 -1 4202496 12786 0 1 0 429 9 0 0 20 0 19 0 291941186 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140737268458496 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6992/statm: 2406245 45516 2269 9 0 2396937 0
[pid=6992/tid=6994] ppid=6990 vsize=9624980 CPUtime=3.01 cores=1,3,5,7
/proc/6992/task/6994/stat : 6994 (java) R 6990 6992 31640 0 -1 4202560 2524 0 1 0 297 4 0 0 20 0 19 0 291941187 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088599884296 140088428430905 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6992/tid=6995] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/6995/stat : 6995 (java) S 6990 6992 31640 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291941188 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088561376296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=6996] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/6996/stat : 6996 (java) S 6990 6992 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291941188 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088560323496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=6997] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/6997/stat : 6997 (java) S 6990 6992 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291941188 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088559270696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6992/tid=6998] ppid=6990 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/6992/task/6998/stat : 6998 (java) S 6990 6992 31640 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 291941189 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088558217896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=6999] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/6999/stat : 6999 (java) S 6990 6992 31640 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291941189 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088557165096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7000] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7000/stat : 7000 (java) S 6990 6992 31640 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291941189 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088556112296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6992/tid=7001] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7001/stat : 7001 (java) S 6990 6992 31640 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291941189 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088555059496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7002] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7002/stat : 7002 (java) S 6990 6992 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291941189 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088554006696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7003] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7003/stat : 7003 (java) S 6990 6992 31640 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 291941190 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088423984104 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7004] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7004/stat : 7004 (java) S 6990 6992 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291941190 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088422930168 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7005] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7005/stat : 7005 (java) S 6990 6992 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291941190 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088421877256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7006] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7006/stat : 7006 (java) S 6990 6992 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291941193 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088420825744 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7007] ppid=6990 vsize=9624980 CPUtime=0.54 cores=1,3,5,7
/proc/6992/task/7007/stat : 7007 (java) S 6990 6992 31640 0 -1 4202560 3743 0 0 0 54 0 0 0 20 0 19 0 291941193 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088419772856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7008] ppid=6990 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/6992/task/7008/stat : 7008 (java) S 6990 6992 31640 0 -1 4202560 5193 0 0 0 63 0 0 0 20 0 19 0 291941193 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088418720056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6992/tid=7009] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7009/stat : 7009 (java) S 6990 6992 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291941193 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088417667448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6992/tid=7010] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7010/stat : 7010 (java) S 6990 6992 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291941193 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088416614856 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7011] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7011/stat : 7011 (java) S 6990 6992 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291941271 9855979520 45516 33554432000 1073741824 1073778376 140737268467360 140088415561384 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 9624980
[startup+6.30072 s]
/proc/loadavg: 2.01 2.02 2.01 3/213 7011
/proc/meminfo: memFree=24411392/32873844 swapFree=7628/7628
[pid=6992] ppid=6990 vsize=9624980 CPUtime=7.59 cores=1,3,5,7
/proc/6992/stat : 6992 (java) S 6990 6992 31640 0 -1 4202496 12788 0 1 0 750 9 0 0 20 0 19 0 291941186 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140737268458496 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6992/statm: 2406245 45497 2269 9 0 2396937 0
[pid=6992/tid=6994] ppid=6990 vsize=9624980 CPUtime=6.2 cores=1,3,5,7
/proc/6992/task/6994/stat : 6994 (java) R 6990 6992 31640 0 -1 4202560 2526 0 1 0 616 4 0 0 20 0 19 0 291941187 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088599884408 140088429185742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6992/tid=6995] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/6995/stat : 6995 (java) S 6990 6992 31640 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291941188 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088561376296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=6996] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/6996/stat : 6996 (java) S 6990 6992 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291941188 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088560323496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=6997] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/6997/stat : 6997 (java) S 6990 6992 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291941188 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088559270696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6992/tid=6998] ppid=6990 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/6992/task/6998/stat : 6998 (java) S 6990 6992 31640 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 291941189 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088558217896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=6999] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/6999/stat : 6999 (java) S 6990 6992 31640 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291941189 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088557165096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7000] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7000/stat : 7000 (java) S 6990 6992 31640 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291941189 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088556112296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6992/tid=7001] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7001/stat : 7001 (java) S 6990 6992 31640 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291941189 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088555059496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7002] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7002/stat : 7002 (java) S 6990 6992 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291941189 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088554006696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7003] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7003/stat : 7003 (java) S 6990 6992 31640 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 291941190 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088423984104 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7004] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7004/stat : 7004 (java) S 6990 6992 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291941190 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088422930168 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7005] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7005/stat : 7005 (java) S 6990 6992 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291941190 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088421877256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7006] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7006/stat : 7006 (java) S 6990 6992 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291941193 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088420825744 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7007] ppid=6990 vsize=9624980 CPUtime=0.54 cores=1,3,5,7
/proc/6992/task/7007/stat : 7007 (java) S 6990 6992 31640 0 -1 4202560 3743 0 0 0 54 0 0 0 20 0 19 0 291941193 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088419772856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7008] ppid=6990 vsize=9624980 CPUtime=0.64 cores=1,3,5,7
/proc/6992/task/7008/stat : 7008 (java) S 6990 6992 31640 0 -1 4202560 5193 0 0 0 64 0 0 0 20 0 19 0 291941193 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088418720056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6992/tid=7009] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7009/stat : 7009 (java) S 6990 6992 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291941193 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088417667448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6992/tid=7010] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7010/stat : 7010 (java) S 6990 6992 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291941193 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088416614856 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7011] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7011/stat : 7011 (java) S 6990 6992 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291941271 9855979520 45497 33554432000 1073741824 1073778376 140737268467360 140088415561384 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.59
Current children cumulated vsize (KiB) 9624980
[startup+12.7006 s]
################
# More data... #
################
[pid=6992/tid=7007] ppid=6990 vsize=9624980 CPUtime=0.58 cores=1,3,5,7
/proc/6992/task/7007/stat : 7007 (java) S 6990 6992 31640 0 -1 4202560 3758 0 0 0 58 0 0 0 20 0 19 0 291941193 9855979520 75542 33554432000 1073741824 1073778376 140737268467360 140088419772856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6992/tid=7008] ppid=6990 vsize=9624980 CPUtime=0.82 cores=1,3,5,7
/proc/6992/task/7008/stat : 7008 (java) S 6990 6992 31640 0 -1 4202560 5356 0 0 0 82 0 0 0 20 0 19 0 291941193 9855979520 75542 33554432000 1073741824 1073778376 140737268467360 140088418720056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7009] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7009/stat : 7009 (java) S 6990 6992 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291941193 9855979520 75542 33554432000 1073741824 1073778376 140737268467360 140088417667448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6992/tid=7010] ppid=6990 vsize=9624980 CPUtime=0.55 cores=1,3,5,7
/proc/6992/task/7010/stat : 7010 (java) S 6990 6992 31640 0 -1 4202560 99 0 0 0 36 19 0 0 20 0 19 0 291941193 9855979520 75542 33554432000 1073741824 1073778376 140737268467360 140088416614856 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6992/tid=7011] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7011/stat : 7011 (java) S 6990 6992 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291941271 9855979520 75542 33554432000 1073741824 1073778376 140737268467360 140088415561384 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1724.99
Current children cumulated vsize (KiB) 9624980
[startup+1782.3 s]
/proc/loadavg: 1.00 1.10 1.48 2/189 7225
/proc/meminfo: memFree=29405120/32873844 swapFree=7628/7628
[pid=6992] ppid=6990 vsize=9624980 CPUtime=1785.01 cores=1,3,5,7
/proc/6992/stat : 6992 (java) S 6990 6992 31640 0 -1 4202496 13864 0 1 0 178468 33 0 0 20 0 19 0 291941186 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140737268458496 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6992/statm: 2406245 75550 2282 9 0 2396937 0
[pid=6992/tid=6994] ppid=6990 vsize=9624980 CPUtime=1772.1 cores=1,3,5,7
/proc/6992/task/6994/stat : 6994 (java) R 6990 6992 31640 0 -1 4202560 2567 0 1 0 177180 30 0 0 20 0 19 0 291941187 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088599884064 140088428991715 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=6995] ppid=6990 vsize=9624980 CPUtime=0.23 cores=1,3,5,7
/proc/6992/task/6995/stat : 6995 (java) S 6990 6992 31640 0 -1 4202560 74 0 0 0 21 2 0 0 20 0 19 0 291941188 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088561376296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6992/tid=6996] ppid=6990 vsize=9624980 CPUtime=0.23 cores=1,3,5,7
/proc/6992/task/6996/stat : 6996 (java) S 6990 6992 31640 0 -1 4202560 82 0 0 0 21 2 0 0 20 0 19 0 291941188 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088560323496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6992/tid=6997] ppid=6990 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/6992/task/6997/stat : 6997 (java) S 6990 6992 31640 0 -1 4202560 76 0 0 0 16 2 0 0 20 0 19 0 291941188 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088559270696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6992/tid=6998] ppid=6990 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/6992/task/6998/stat : 6998 (java) S 6990 6992 31640 0 -1 4202560 89 0 0 0 17 2 0 0 20 0 19 0 291941189 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088558217896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=6999] ppid=6990 vsize=9624980 CPUtime=0.23 cores=1,3,5,7
/proc/6992/task/6999/stat : 6999 (java) S 6990 6992 31640 0 -1 4202560 37 0 0 0 21 2 0 0 20 0 19 0 291941189 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088557165096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6992/tid=7000] ppid=6990 vsize=9624980 CPUtime=0.22 cores=1,3,5,7
/proc/6992/task/7000/stat : 7000 (java) S 6990 6992 31640 0 -1 4202560 116 0 0 0 20 2 0 0 20 0 19 0 291941189 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088556112296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6992/tid=7001] ppid=6990 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/6992/task/7001/stat : 7001 (java) S 6990 6992 31640 0 -1 4202560 58 0 0 0 16 0 0 0 20 0 19 0 291941189 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088555059496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7002] ppid=6990 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/6992/task/7002/stat : 7002 (java) S 6990 6992 31640 0 -1 4202560 156 0 0 0 21 3 0 0 20 0 19 0 291941189 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088554006696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7003] ppid=6990 vsize=9624980 CPUtime=4.99 cores=1,3,5,7
/proc/6992/task/7003/stat : 7003 (java) S 6990 6992 31640 0 -1 4202560 211 0 0 0 497 2 0 0 20 0 19 0 291941190 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088423984104 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6992/tid=7004] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7004/stat : 7004 (java) S 6990 6992 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291941190 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088422930168 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7005] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7005/stat : 7005 (java) S 6990 6992 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291941190 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088421877256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7006] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7006/stat : 7006 (java) S 6990 6992 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291941193 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088420825744 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7007] ppid=6990 vsize=9624980 CPUtime=0.58 cores=1,3,5,7
/proc/6992/task/7007/stat : 7007 (java) S 6990 6992 31640 0 -1 4202560 3758 0 0 0 58 0 0 0 20 0 19 0 291941193 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088419772856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6992/tid=7008] ppid=6990 vsize=9624980 CPUtime=0.82 cores=1,3,5,7
/proc/6992/task/7008/stat : 7008 (java) S 6990 6992 31640 0 -1 4202560 5356 0 0 0 82 0 0 0 20 0 19 0 291941193 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088418720056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7009] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7009/stat : 7009 (java) S 6990 6992 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291941193 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088417667448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6992/tid=7010] ppid=6990 vsize=9624980 CPUtime=0.56 cores=1,3,5,7
/proc/6992/task/7010/stat : 7010 (java) S 6990 6992 31640 0 -1 4202560 103 0 0 0 37 19 0 0 20 0 19 0 291941193 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088416614856 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7011] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7011/stat : 7011 (java) S 6990 6992 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291941271 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088415561384 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1785.01
Current children cumulated vsize (KiB) 9624980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.3 s]
/proc/loadavg: 1.00 1.10 1.47 2/189 7225
/proc/meminfo: memFree=29404996/32873844 swapFree=7628/7628
[pid=6992] ppid=6990 vsize=9624980 CPUtime=1800.02 cores=1,3,5,7
/proc/6992/stat : 6992 (java) S 6990 6992 31640 0 -1 4202496 13864 0 1 0 179969 33 0 0 20 0 19 0 291941186 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140737268458496 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6992/statm: 2406245 75550 2282 9 0 2396937 0
[pid=6992/tid=6994] ppid=6990 vsize=9624980 CPUtime=1787.07 cores=1,3,5,7
/proc/6992/task/6994/stat : 6994 (java) R 6990 6992 31640 0 -1 4202560 2567 0 1 0 178676 31 0 0 20 0 19 0 291941187 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088599884064 140088429186109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=6995] ppid=6990 vsize=9624980 CPUtime=0.23 cores=1,3,5,7
/proc/6992/task/6995/stat : 6995 (java) S 6990 6992 31640 0 -1 4202560 74 0 0 0 21 2 0 0 20 0 19 0 291941188 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088561376296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6992/tid=6996] ppid=6990 vsize=9624980 CPUtime=0.23 cores=1,3,5,7
/proc/6992/task/6996/stat : 6996 (java) S 6990 6992 31640 0 -1 4202560 82 0 0 0 21 2 0 0 20 0 19 0 291941188 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088560323496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6992/tid=6997] ppid=6990 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/6992/task/6997/stat : 6997 (java) S 6990 6992 31640 0 -1 4202560 76 0 0 0 16 2 0 0 20 0 19 0 291941188 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088559270696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6992/tid=6998] ppid=6990 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/6992/task/6998/stat : 6998 (java) S 6990 6992 31640 0 -1 4202560 89 0 0 0 17 2 0 0 20 0 19 0 291941189 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088558217896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=6999] ppid=6990 vsize=9624980 CPUtime=0.23 cores=1,3,5,7
/proc/6992/task/6999/stat : 6999 (java) S 6990 6992 31640 0 -1 4202560 37 0 0 0 21 2 0 0 20 0 19 0 291941189 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088557165096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6992/tid=7000] ppid=6990 vsize=9624980 CPUtime=0.22 cores=1,3,5,7
/proc/6992/task/7000/stat : 7000 (java) S 6990 6992 31640 0 -1 4202560 116 0 0 0 20 2 0 0 20 0 19 0 291941189 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088556112296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6992/tid=7001] ppid=6990 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/6992/task/7001/stat : 7001 (java) S 6990 6992 31640 0 -1 4202560 58 0 0 0 16 0 0 0 20 0 19 0 291941189 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088555059496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7002] ppid=6990 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/6992/task/7002/stat : 7002 (java) S 6990 6992 31640 0 -1 4202560 156 0 0 0 21 3 0 0 20 0 19 0 291941189 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088554006696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7003] ppid=6990 vsize=9624980 CPUtime=4.99 cores=1,3,5,7
/proc/6992/task/7003/stat : 7003 (java) S 6990 6992 31640 0 -1 4202560 211 0 0 0 497 2 0 0 20 0 19 0 291941190 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088423984104 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6992/tid=7004] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7004/stat : 7004 (java) S 6990 6992 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291941190 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088422930168 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7005] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7005/stat : 7005 (java) S 6990 6992 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291941190 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088421877256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7006] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7006/stat : 7006 (java) S 6990 6992 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291941193 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088420825744 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7007] ppid=6990 vsize=9624980 CPUtime=0.58 cores=1,3,5,7
/proc/6992/task/7007/stat : 7007 (java) S 6990 6992 31640 0 -1 4202560 3758 0 0 0 58 0 0 0 20 0 19 0 291941193 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088419772856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6992/tid=7008] ppid=6990 vsize=9624980 CPUtime=0.82 cores=1,3,5,7
/proc/6992/task/7008/stat : 7008 (java) S 6990 6992 31640 0 -1 4202560 5356 0 0 0 82 0 0 0 20 0 19 0 291941193 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088418720056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7009] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7009/stat : 7009 (java) S 6990 6992 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291941193 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088417667448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6992/tid=7010] ppid=6990 vsize=9624980 CPUtime=0.57 cores=1,3,5,7
/proc/6992/task/7010/stat : 7010 (java) S 6990 6992 31640 0 -1 4202560 103 0 0 0 37 20 0 0 20 0 19 0 291941193 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088416614856 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7011] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7011/stat : 7011 (java) S 6990 6992 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291941271 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088415561384 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.3 s]
/proc/loadavg: 1.00 1.10 1.47 2/189 7225
/proc/meminfo: memFree=29404996/32873844 swapFree=7628/7628
[pid=6992] ppid=6990 vsize=9624980 CPUtime=1800.02 cores=1,3,5,7
/proc/6992/stat : 6992 (java) S 6990 6992 31640 0 -1 4202496 13864 0 1 0 179969 33 0 0 20 0 19 0 291941186 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140737268458496 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6992/statm: 2406245 75550 2282 9 0 2396937 0
[pid=6992/tid=6994] ppid=6990 vsize=9624980 CPUtime=1787.07 cores=1,3,5,7
/proc/6992/task/6994/stat : 6994 (java) R 6990 6992 31640 0 -1 4202560 2567 0 1 0 178676 31 0 0 20 0 19 0 291941187 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088599884064 140088429186109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=6995] ppid=6990 vsize=9624980 CPUtime=0.23 cores=1,3,5,7
/proc/6992/task/6995/stat : 6995 (java) S 6990 6992 31640 0 -1 4202560 74 0 0 0 21 2 0 0 20 0 19 0 291941188 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088561376296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6992/tid=6996] ppid=6990 vsize=9624980 CPUtime=0.23 cores=1,3,5,7
/proc/6992/task/6996/stat : 6996 (java) S 6990 6992 31640 0 -1 4202560 82 0 0 0 21 2 0 0 20 0 19 0 291941188 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088560323496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6992/tid=6997] ppid=6990 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/6992/task/6997/stat : 6997 (java) S 6990 6992 31640 0 -1 4202560 76 0 0 0 16 2 0 0 20 0 19 0 291941188 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088559270696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6992/tid=6998] ppid=6990 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/6992/task/6998/stat : 6998 (java) S 6990 6992 31640 0 -1 4202560 89 0 0 0 17 2 0 0 20 0 19 0 291941189 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088558217896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=6999] ppid=6990 vsize=9624980 CPUtime=0.23 cores=1,3,5,7
/proc/6992/task/6999/stat : 6999 (java) S 6990 6992 31640 0 -1 4202560 37 0 0 0 21 2 0 0 20 0 19 0 291941189 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088557165096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6992/tid=7000] ppid=6990 vsize=9624980 CPUtime=0.22 cores=1,3,5,7
/proc/6992/task/7000/stat : 7000 (java) S 6990 6992 31640 0 -1 4202560 116 0 0 0 20 2 0 0 20 0 19 0 291941189 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088556112296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6992/tid=7001] ppid=6990 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/6992/task/7001/stat : 7001 (java) S 6990 6992 31640 0 -1 4202560 58 0 0 0 16 0 0 0 20 0 19 0 291941189 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088555059496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7002] ppid=6990 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/6992/task/7002/stat : 7002 (java) S 6990 6992 31640 0 -1 4202560 156 0 0 0 21 3 0 0 20 0 19 0 291941189 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088554006696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7003] ppid=6990 vsize=9624980 CPUtime=4.99 cores=1,3,5,7
/proc/6992/task/7003/stat : 7003 (java) S 6990 6992 31640 0 -1 4202560 211 0 0 0 497 2 0 0 20 0 19 0 291941190 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088423984104 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6992/tid=7004] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7004/stat : 7004 (java) S 6990 6992 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291941190 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088422930168 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7005] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7005/stat : 7005 (java) S 6990 6992 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291941190 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088421877256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7006] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7006/stat : 7006 (java) S 6990 6992 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291941193 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088420825744 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7007] ppid=6990 vsize=9624980 CPUtime=0.58 cores=1,3,5,7
/proc/6992/task/7007/stat : 7007 (java) S 6990 6992 31640 0 -1 4202560 3758 0 0 0 58 0 0 0 20 0 19 0 291941193 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088419772856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6992/tid=7008] ppid=6990 vsize=9624980 CPUtime=0.82 cores=1,3,5,7
/proc/6992/task/7008/stat : 7008 (java) S 6990 6992 31640 0 -1 4202560 5356 0 0 0 82 0 0 0 20 0 19 0 291941193 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088418720056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7009] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7009/stat : 7009 (java) S 6990 6992 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291941193 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088417667448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6992/tid=7010] ppid=6990 vsize=9624980 CPUtime=0.57 cores=1,3,5,7
/proc/6992/task/7010/stat : 7010 (java) S 6990 6992 31640 0 -1 4202560 103 0 0 0 37 20 0 0 20 0 19 0 291941193 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088416614856 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6992/tid=7011] ppid=6990 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6992/task/7011/stat : 7011 (java) S 6990 6992 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291941271 9855979520 75550 33554432000 1073741824 1073778376 140737268467360 140088415561384 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624980
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6992 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=240082
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=821875
# CPU time returned by wait4() is 1796.06
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1797.35
CPU time (s): 1800.02
CPU user time (s): 1799.69
CPU system time (s): 0.33
CPU usage (%): 100.148
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.24
system time used= 0.821875
maximum resident set size= 302320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13897
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39238
involuntary context switches= 11051
runsolver used 7.80981 second user time and 13.434 second system time
The end