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-3689662-1337884081/watcher-3689662-1337884081 -o /tmp/evaluation-result-3689662-1337884081/solver-3689662-1337884081 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689662-1337884081.opb
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: 3.76 3.90 3.83 4/197 22390
/proc/meminfo: memFree=26433884/32873844 swapFree=7384/7384
[pid=22390] ppid=22388 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22390/stat : 22390 (java) R 22388 22390 18255 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254533518 9515008 183 33554432000 1073741824 1073778376 140737481155232 140737481146264 239873113781 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22390/statm: 2323 183 140 9 0 71 0
[startup+0.0179639 s]
/proc/loadavg: 3.76 3.90 3.83 4/197 22390
/proc/meminfo: memFree=26433884/32873844 swapFree=7384/7384
[pid=22390] ppid=22388 vsize=101528 CPUtime=0 cores=1,3,5,7
/proc/22390/stat : 22390 (java) S 22388 22390 18255 0 -1 4202496 1369 0 0 0 0 0 0 0 20 0 2 0 254533518 103964672 1051 33554432000 1073741824 1073778376 140736676874560 140736676865696 239876472893 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22390/statm: 25382 1052 806 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528
[startup+0.100318 s]
/proc/loadavg: 3.76 3.90 3.83 4/197 22390
/proc/meminfo: memFree=26433884/32873844 swapFree=7384/7384
[pid=22390] ppid=22388 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/22390/stat : 22390 (java) S 22388 22390 18255 0 -1 4202496 4264 0 1 0 8 0 0 0 20 0 18 0 254533518 9787813888 5456 33554432000 1073741824 1073778376 140736676874560 140736676865696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22390/statm: 2389603 5456 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.30022 s]
/proc/loadavg: 3.76 3.90 3.83 4/197 22390
/proc/meminfo: memFree=26433884/32873844 swapFree=7384/7384
[pid=22390] ppid=22388 vsize=9558412 CPUtime=0.56 cores=1,3,5,7
/proc/22390/stat : 22390 (java) S 22388 22390 18255 0 -1 4202496 7338 0 1 0 55 1 0 0 20 0 18 0 254533518 9787813888 11992 33554432000 1073741824 1073778376 140736676874560 140736676865696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22390/statm: 2389603 11992 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558412
[startup+0.700209 s]
/proc/loadavg: 3.76 3.90 3.83 4/197 22390
/proc/meminfo: memFree=26433884/32873844 swapFree=7384/7384
[pid=22390] ppid=22388 vsize=9558412 CPUtime=1.52 cores=1,3,5,7
/proc/22390/stat : 22390 (java) S 22388 22390 18255 0 -1 4202496 14385 0 1 0 144 8 0 0 20 0 18 0 254533518 9787813888 46134 33554432000 1073741824 1073778376 140736676874560 140736676865696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22390/statm: 2389603 46134 2251 9 0 2380296 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9558412
[startup+1.50076 s]
/proc/loadavg: 3.76 3.90 3.83 5/219 22412
/proc/meminfo: memFree=26254932/32873844 swapFree=7384/7384
[pid=22390] ppid=22388 vsize=9824668 CPUtime=4.52 cores=1,3,5,7
/proc/22390/stat : 22390 (java) S 22388 22390 18255 0 -1 4202496 23983 0 1 0 442 10 0 0 20 0 22 0 254533518 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140736676865696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22390/statm: 2456167 50275 2271 9 0 2446860 0
[pid=22390/tid=22392] ppid=22388 vsize=9824668 CPUtime=0.69 cores=1,3,5,7
/proc/22390/task/22392/stat : 22392 (java) S 22388 22390 18255 0 -1 4202560 2515 0 1 0 65 4 0 0 20 0 22 0 254533519 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140087321703416 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22393] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22393/stat : 22393 (java) S 22388 22390 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254533520 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140087283194152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22394] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22394/stat : 22394 (java) S 22388 22390 18255 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254533520 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140087282141352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22390/tid=22395] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22395/stat : 22395 (java) S 22388 22390 18255 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254533520 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140087281089064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22396] ppid=22388 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22390/task/22396/stat : 22396 (java) S 22388 22390 18255 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 254533520 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140087280036264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22397] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22397/stat : 22397 (java) S 22388 22390 18255 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 254533520 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140087278983976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22390/tid=22398] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22398/stat : 22398 (java) S 22388 22390 18255 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254533520 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140087277931176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22399] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22399/stat : 22399 (java) S 22388 22390 18255 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254533520 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140087276878888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22400] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22400/stat : 22400 (java) S 22388 22390 18255 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254533520 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140087275826088 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22401] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22401/stat : 22401 (java) S 22388 22390 18255 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 254533521 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140087145756904 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22402] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22402/stat : 22402 (java) S 22388 22390 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254533522 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140087144702968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22403] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22403/stat : 22403 (java) S 22388 22390 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254533522 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140087143650568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22404] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22404/stat : 22404 (java) S 22388 22390 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254533524 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140087142599056 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22405] ppid=22388 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/22390/task/22405/stat : 22405 (java) R 22388 22390 18255 0 -1 4202560 9809 0 0 0 107 1 0 0 20 0 22 0 254533524 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140087141534048 140087329459886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22406] ppid=22388 vsize=9824668 CPUtime=1.13 cores=1,3,5,7
/proc/22390/task/22406/stat : 22406 (java) R 22388 22390 18255 0 -1 4202560 10248 0 0 0 111 2 0 0 20 0 22 0 254533524 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140087140481056 140087327877760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22407] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22407/stat : 22407 (java) S 22388 22390 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254533524 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140087139441784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22390/tid=22408] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22408/stat : 22408 (java) S 22388 22390 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254533524 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140087138389192 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22409] ppid=22388 vsize=9824668 CPUtime=0.72 cores=1,3,5,7
/proc/22390/task/22409/stat : 22409 (java) R 22388 22390 18255 0 -1 4202560 27 0 0 0 72 0 0 0 20 0 22 0 254533593 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140086129713816 140087154247147 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22410] ppid=22388 vsize=9824668 CPUtime=0.73 cores=1,3,5,7
/proc/22390/task/22410/stat : 22410 (java) R 22388 22390 18255 0 -1 4202560 70 0 0 0 73 0 0 0 20 0 22 0 254533593 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140086128644472 140087154271586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22390/tid=22411] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22411/stat : 22411 (java) S 22388 22390 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254533596 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140086127609000 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22412] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22412/stat : 22412 (java) S 22388 22390 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254533596 10060460032 50275 33554432000 1073741824 1073778376 140736676874560 140086126556200 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 9824668
[startup+3.10088 s]
/proc/loadavg: 3.76 3.90 3.83 4/219 22412
/proc/meminfo: memFree=26211372/32873844 swapFree=7384/7384
[pid=22390] ppid=22388 vsize=9824668 CPUtime=8.18 cores=1,3,5,7
/proc/22390/stat : 22390 (java) S 22388 22390 18255 0 -1 4202496 24654 0 1 0 799 19 0 0 20 0 22 0 254533518 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140736676865696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22390/statm: 2456167 90595 2273 9 0 2446860 0
[pid=22390/tid=22392] ppid=22388 vsize=9824668 CPUtime=0.69 cores=1,3,5,7
/proc/22390/task/22392/stat : 22392 (java) S 22388 22390 18255 0 -1 4202560 2515 0 1 0 65 4 0 0 20 0 22 0 254533519 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140087321703416 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22393] ppid=22388 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/22390/task/22393/stat : 22393 (java) S 22388 22390 18255 0 -1 4202560 69 0 0 0 2 2 0 0 20 0 22 0 254533520 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140087283194152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22394] ppid=22388 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22390/task/22394/stat : 22394 (java) S 22388 22390 18255 0 -1 4202560 60 0 0 0 2 0 0 0 20 0 22 0 254533520 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140087282141352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22395] ppid=22388 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22390/task/22395/stat : 22395 (java) S 22388 22390 18255 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 254533520 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140087281089064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22396] ppid=22388 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/22390/task/22396/stat : 22396 (java) S 22388 22390 18255 0 -1 4202560 35 0 0 0 4 2 0 0 20 0 22 0 254533520 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140087280036264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22397] ppid=22388 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22390/task/22397/stat : 22397 (java) S 22388 22390 18255 0 -1 4202560 14 0 0 0 1 1 0 0 20 0 22 0 254533520 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140087278983976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22398] ppid=22388 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22390/task/22398/stat : 22398 (java) S 22388 22390 18255 0 -1 4202560 64 0 0 0 1 1 0 0 20 0 22 0 254533520 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140087277931176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22399] ppid=22388 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/22390/task/22399/stat : 22399 (java) S 22388 22390 18255 0 -1 4202560 22 0 0 0 2 2 0 0 20 0 22 0 254533520 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140087276878888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22400] ppid=22388 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22390/task/22400/stat : 22400 (java) S 22388 22390 18255 0 -1 4202560 58 0 0 0 1 0 0 0 20 0 22 0 254533520 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140087275826088 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22401] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22401/stat : 22401 (java) S 22388 22390 18255 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 254533521 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140087145756904 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22402] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22402/stat : 22402 (java) S 22388 22390 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254533522 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140087144702968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22403] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22403/stat : 22403 (java) S 22388 22390 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254533522 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140087143650568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22404] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22404/stat : 22404 (java) S 22388 22390 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254533524 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140087142599056 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22405] ppid=22388 vsize=9824668 CPUtime=1.22 cores=1,3,5,7
/proc/22390/task/22405/stat : 22405 (java) S 22388 22390 18255 0 -1 4202560 9958 0 0 0 120 2 0 0 20 0 22 0 254533524 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140087141546680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22406] ppid=22388 vsize=9824668 CPUtime=1.38 cores=1,3,5,7
/proc/22390/task/22406/stat : 22406 (java) S 22388 22390 18255 0 -1 4202560 10300 0 0 0 135 3 0 0 20 0 22 0 254533524 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140087140493880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22407] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22407/stat : 22407 (java) S 22388 22390 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254533524 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140087139441784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22390/tid=22408] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22408/stat : 22408 (java) S 22388 22390 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254533524 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140087138389192 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22409] ppid=22388 vsize=9824668 CPUtime=2.22 cores=1,3,5,7
/proc/22390/task/22409/stat : 22409 (java) R 22388 22390 18255 0 -1 4202560 27 0 0 0 222 0 0 0 20 0 22 0 254533593 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140086129713256 140087154039802 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22410] ppid=22388 vsize=9824668 CPUtime=2.26 cores=1,3,5,7
/proc/22390/task/22410/stat : 22410 (java) R 22388 22390 18255 0 -1 4202560 128 0 0 0 224 2 0 0 20 0 22 0 254533593 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140086128659688 140087153937237 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22390/tid=22411] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22411/stat : 22411 (java) S 22388 22390 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254533596 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140086127609000 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22412] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22412/stat : 22412 (java) S 22388 22390 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254533596 10060460032 90595 33554432000 1073741824 1073778376 140736676874560 140086126556200 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.18
Current children cumulated vsize (KiB) 9824668
[startup+6.30085 s]
/proc/loadavg: 3.78 3.90 3.83 5/219 22412
/proc/meminfo: memFree=26020844/32873844 swapFree=7384/7384
[pid=22390] ppid=22388 vsize=9824668 CPUtime=14.78 cores=1,3,5,7
/proc/22390/stat : 22390 (java) S 22388 22390 18255 0 -1 4202496 25463 0 1 0 1455 23 0 0 20 0 22 0 254533518 10060460032 101424 33554432000 1073741824 1073778376 140736676874560 140736676865696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22390/statm: 2456167 101424 2285 9 0 2446860 0
[pid=22390/tid=22392] ppid=22388 vsize=9824668 CPUtime=0.69 cores=1,3,5,7
/proc/22390/task/22392/stat : 22392 (java) S 22388 22390 18255 0 -1 4202560 2515 0 1 0 65 4 0 0 20 0 22 0 254533519 10060460032 101424 33554432000 1073741824 1073778376 140736676874560 140087321703416 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22393] ppid=22388 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/22390/task/22393/stat : 22393 (java) S 22388 22390 18255 0 -1 4202560 78 0 0 0 4 2 0 0 20 0 22 0 254533520 10060460032 101424 33554432000 1073741824 1073778376 140736676874560 140087283194152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22390/tid=22394] ppid=22388 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22390/task/22394/stat : 22394 (java) S 22388 22390 18255 0 -1 4202560 67 0 0 0 2 1 0 0 20 0 22 0 254533520 10060460032 101424 33554432000 1073741824 1073778376 140736676874560 140087282141352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22395] ppid=22388 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22390/task/22395/stat : 22395 (java) S 22388 22390 18255 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 22 0 254533520 10060460032 101424 33554432000 1073741824 1073778376 140736676874560 140087281089064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22396] ppid=22388 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/22390/task/22396/stat : 22396 (java) S 22388 22390 18255 0 -1 4202560 38 0 0 0 4 3 0 0 20 0 22 0 254533520 10060460032 101424 33554432000 1073741824 1073778376 140736676874560 140087280036264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22397] ppid=22388 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/22390/task/22397/stat : 22397 (java) S 22388 22390 18255 0 -1 4202560 27 0 0 0 2 2 0 0 20 0 22 0 254533520 10060460032 101424 33554432000 1073741824 1073778376 140736676874560 140087278983976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22398] ppid=22388 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22390/task/22398/stat : 22398 (java) S 22388 22390 18255 0 -1 4202560 69 0 0 0 2 1 0 0 20 0 22 0 254533520 10060460032 101424 33554432000 1073741824 1073778376 140736676874560 140087277931176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22399] ppid=22388 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/22390/task/22399/stat : 22399 (java) S 22388 22390 18255 0 -1 4202560 51 0 0 0 5 2 0 0 20 0 22 0 254533520 10060460032 101424 33554432000 1073741824 1073778376 140736676874560 140087276878888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22390/tid=22400] ppid=22388 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22390/task/22400/stat : 22400 (java) S 22388 22390 18255 0 -1 4202560 76 0 0 0 3 0 0 0 20 0 22 0 254533520 10060460032 101424 33554432000 1073741824 1073778376 140736676874560 140087275826088 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22401] ppid=22388 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/22390/task/22401/stat : 22401 (java) S 22388 22390 18255 0 -1 4202560 230 0 0 0 8 0 0 0 20 0 22 0 254533521 10060460032 101424 33554432000 1073741824 1073778376 140736676874560 140087145756904 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22402] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22402/stat : 22402 (java) S 22388 22390 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254533522 10060460032 101424 33554432000 1073741824 1073778376 140736676874560 140087144702968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22403] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22403/stat : 22403 (java) S 22388 22390 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254533522 10060460032 101424 33554432000 1073741824 1073778376 140736676874560 140087143650568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22404] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22404/stat : 22404 (java) S 22388 22390 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254533524 10060460032 101424 33554432000 1073741824 1073778376 140736676874560 140087142599056 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22405] ppid=22388 vsize=9824668 CPUtime=1.38 cores=1,3,5,7
/proc/22390/task/22405/stat : 22405 (java) S 22388 22390 18255 0 -1 4202560 10630 0 0 0 136 2 0 0 20 0 22 0 254533524 10060460032 101424 33554432000 1073741824 1073778376 140736676874560 140087141546680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
/proc/22390/statm: 2456167 846884 2285 9 0 2446860 0
[pid=22390/tid=22392] ppid=22388 vsize=9824668 CPUtime=0.73 cores=1,3,5,7
/proc/22390/task/22392/stat : 22392 (java) S 22388 22390 18255 0 -1 4202560 2548 0 1 0 67 6 0 0 20 0 22 0 254533519 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140087321703416 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22393] ppid=22388 vsize=9824668 CPUtime=2.04 cores=1,3,5,7
/proc/22390/task/22393/stat : 22393 (java) S 22388 22390 18255 0 -1 4202560 424 0 0 0 187 17 0 0 20 0 22 0 254533520 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140087283194152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22394] ppid=22388 vsize=9824668 CPUtime=2.26 cores=1,3,5,7
/proc/22390/task/22394/stat : 22394 (java) S 22388 22390 18255 0 -1 4202560 838 0 0 0 206 20 0 0 20 0 22 0 254533520 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140087282141352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22395] ppid=22388 vsize=9824668 CPUtime=2.07 cores=1,3,5,7
/proc/22390/task/22395/stat : 22395 (java) S 22388 22390 18255 0 -1 4202560 299 0 0 0 195 12 0 0 20 0 22 0 254533520 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140087281089064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22396] ppid=22388 vsize=9824668 CPUtime=2.26 cores=1,3,5,7
/proc/22390/task/22396/stat : 22396 (java) S 22388 22390 18255 0 -1 4202560 357 0 0 0 209 17 0 0 20 0 22 0 254533520 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140087280036264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22397] ppid=22388 vsize=9824668 CPUtime=2.24 cores=1,3,5,7
/proc/22390/task/22397/stat : 22397 (java) S 22388 22390 18255 0 -1 4202560 372 0 0 0 208 16 0 0 20 0 22 0 254533520 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140087278983976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22398] ppid=22388 vsize=9824668 CPUtime=1.86 cores=1,3,5,7
/proc/22390/task/22398/stat : 22398 (java) S 22388 22390 18255 0 -1 4202560 392 0 0 0 170 16 0 0 20 0 22 0 254533520 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140087277931176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22399] ppid=22388 vsize=9824668 CPUtime=2.41 cores=1,3,5,7
/proc/22390/task/22399/stat : 22399 (java) S 22388 22390 18255 0 -1 4202560 452 0 0 0 224 17 0 0 20 0 22 0 254533520 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140087276878888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22400] ppid=22388 vsize=9824668 CPUtime=2.17 cores=1,3,5,7
/proc/22390/task/22400/stat : 22400 (java) S 22388 22390 18255 0 -1 4202560 421 0 0 0 202 15 0 0 20 0 22 0 254533520 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140087275826088 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22401] ppid=22388 vsize=9824668 CPUtime=40.41 cores=1,3,5,7
/proc/22390/task/22401/stat : 22401 (java) S 22388 22390 18255 0 -1 4202560 3197 0 0 0 4025 16 0 0 20 0 22 0 254533521 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140087145756904 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22402] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22402/stat : 22402 (java) S 22388 22390 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254533522 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140087144702968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22403] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22403/stat : 22403 (java) S 22388 22390 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254533522 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140087143650568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22404] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22404/stat : 22404 (java) S 22388 22390 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254533524 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140087142599056 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22405] ppid=22388 vsize=9824668 CPUtime=1.92 cores=1,3,5,7
/proc/22390/task/22405/stat : 22405 (java) S 22388 22390 18255 0 -1 4202560 12744 0 0 0 189 3 0 0 20 0 22 0 254533524 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140087141546680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22390/tid=22406] ppid=22388 vsize=9824668 CPUtime=1.53 cores=1,3,5,7
/proc/22390/task/22406/stat : 22406 (java) S 22388 22390 18255 0 -1 4202560 10302 0 0 0 150 3 0 0 20 0 22 0 254533524 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140087140493880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22407] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22407/stat : 22407 (java) S 22388 22390 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254533524 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140087139441784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22390/tid=22408] ppid=22388 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/22390/task/22408/stat : 22408 (java) S 22388 22390 18255 0 -1 4202560 47 0 0 0 18 20 0 0 20 0 22 0 254533524 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140087138389192 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22409] ppid=22388 vsize=9824668 CPUtime=774.28 cores=1,3,5,7
/proc/22390/task/22409/stat : 22409 (java) R 22388 22390 18255 0 -1 4202560 85 0 0 0 77415 13 0 0 20 0 22 0 254533593 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140086129713376 140087154093293 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22390/tid=22410] ppid=22388 vsize=9824668 CPUtime=774.33 cores=1,3,5,7
/proc/22390/task/22410/stat : 22410 (java) R 22388 22390 18255 0 -1 4202560 2033 0 0 0 77378 55 0 0 20 0 22 0 254533593 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140086128658672 140087154467033 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22411] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22411/stat : 22411 (java) S 22388 22390 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254533596 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140086127609000 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22412] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22412/stat : 22412 (java) S 22388 22390 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254533596 10060460032 846884 33554432000 1073741824 1073778376 140736676874560 140086126556200 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1615.01
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.99 3.98 3.91 5/218 22483
/proc/meminfo: memFree=23808384/32873844 swapFree=7384/7384
[pid=22390] ppid=22388 vsize=9824668 CPUtime=1734.25 cores=1,3,5,7
/proc/22390/stat : 22390 (java) S 22388 22390 18255 0 -1 4202496 36372 0 1 0 173198 227 0 0 20 0 22 0 254533518 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140736676865696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22390/statm: 2456167 856202 2285 9 0 2446860 0
[pid=22390/tid=22392] ppid=22388 vsize=9824668 CPUtime=0.74 cores=1,3,5,7
/proc/22390/task/22392/stat : 22392 (java) S 22388 22390 18255 0 -1 4202560 2549 0 1 0 68 6 0 0 20 0 22 0 254533519 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140087321703416 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22393] ppid=22388 vsize=9824668 CPUtime=2.25 cores=1,3,5,7
/proc/22390/task/22393/stat : 22393 (java) S 22388 22390 18255 0 -1 4202560 517 0 0 0 208 17 0 0 20 0 22 0 254533520 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140087283194152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22394] ppid=22388 vsize=9824668 CPUtime=2.4 cores=1,3,5,7
/proc/22390/task/22394/stat : 22394 (java) S 22388 22390 18255 0 -1 4202560 856 0 0 0 220 20 0 0 20 0 22 0 254533520 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140087282141352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22395] ppid=22388 vsize=9824668 CPUtime=2.28 cores=1,3,5,7
/proc/22390/task/22395/stat : 22395 (java) S 22388 22390 18255 0 -1 4202560 404 0 0 0 215 13 0 0 20 0 22 0 254533520 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140087281089064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22396] ppid=22388 vsize=9824668 CPUtime=2.43 cores=1,3,5,7
/proc/22390/task/22396/stat : 22396 (java) S 22388 22390 18255 0 -1 4202560 525 0 0 0 225 18 0 0 20 0 22 0 254533520 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140087280036264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22397] ppid=22388 vsize=9824668 CPUtime=2.43 cores=1,3,5,7
/proc/22390/task/22397/stat : 22397 (java) S 22388 22390 18255 0 -1 4202560 412 0 0 0 227 16 0 0 20 0 22 0 254533520 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140087278983976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22398] ppid=22388 vsize=9824668 CPUtime=2.01 cores=1,3,5,7
/proc/22390/task/22398/stat : 22398 (java) S 22388 22390 18255 0 -1 4202560 573 0 0 0 185 16 0 0 20 0 22 0 254533520 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140087277931176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22399] ppid=22388 vsize=9824668 CPUtime=2.55 cores=1,3,5,7
/proc/22390/task/22399/stat : 22399 (java) S 22388 22390 18255 0 -1 4202560 469 0 0 0 238 17 0 0 20 0 22 0 254533520 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140087276878888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22400] ppid=22388 vsize=9824668 CPUtime=2.28 cores=1,3,5,7
/proc/22390/task/22400/stat : 22400 (java) S 22388 22390 18255 0 -1 4202560 429 0 0 0 213 15 0 0 20 0 22 0 254533520 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140087275826088 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22401] ppid=22388 vsize=9824668 CPUtime=41.79 cores=1,3,5,7
/proc/22390/task/22401/stat : 22401 (java) S 22388 22390 18255 0 -1 4202560 3229 0 0 0 4163 16 0 0 20 0 22 0 254533521 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140087145756904 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22402] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22402/stat : 22402 (java) S 22388 22390 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254533522 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140087144702968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22403] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22403/stat : 22403 (java) S 22388 22390 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254533522 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140087143650568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22404] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22404/stat : 22404 (java) S 22388 22390 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254533524 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140087142599056 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22405] ppid=22388 vsize=9824668 CPUtime=1.92 cores=1,3,5,7
/proc/22390/task/22405/stat : 22405 (java) S 22388 22390 18255 0 -1 4202560 12744 0 0 0 189 3 0 0 20 0 22 0 254533524 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140087141546680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22390/tid=22406] ppid=22388 vsize=9824668 CPUtime=1.53 cores=1,3,5,7
/proc/22390/task/22406/stat : 22406 (java) S 22388 22390 18255 0 -1 4202560 10302 0 0 0 150 3 0 0 20 0 22 0 254533524 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140087140493880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22407] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22407/stat : 22407 (java) S 22388 22390 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254533524 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140087139441784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22390/tid=22408] ppid=22388 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/22390/task/22408/stat : 22408 (java) R 22388 22390 18255 0 -1 4202560 51 0 0 0 19 23 0 0 20 0 22 0 254533524 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140087138389192 239876497845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22409] ppid=22388 vsize=9824668 CPUtime=832.4 cores=1,3,5,7
/proc/22390/task/22409/stat : 22409 (java) R 22388 22390 18255 0 -1 4202560 89 0 0 0 83226 14 0 0 20 0 22 0 254533593 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140086129711584 140087153851680 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22390/tid=22410] ppid=22388 vsize=9824668 CPUtime=832.43 cores=1,3,5,7
/proc/22390/task/22410/stat : 22410 (java) R 22388 22390 18255 0 -1 4202560 2034 0 0 0 83187 56 0 0 20 0 22 0 254533593 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140086128659472 140087154593163 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22411] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22411/stat : 22411 (java) S 22388 22390 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254533596 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140086127609000 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22412] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22412/stat : 22412 (java) S 22388 22390 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254533596 10060460032 856202 33554432000 1073741824 1073778376 140736676874560 140086126556200 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1734.25
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+916.201 s]
/proc/loadavg: 3.99 3.98 3.91 5/219 22484
/proc/meminfo: memFree=23713176/32873844 swapFree=7384/7384
[pid=22390] ppid=22388 vsize=9824668 CPUtime=1800.16 cores=1,3,5,7
/proc/22390/stat : 22390 (java) S 22388 22390 18255 0 -1 4202496 36494 0 1 0 179785 231 0 0 20 0 22 0 254533518 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140736676865696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22390/statm: 2456167 865983 2286 9 0 2446860 0
[pid=22390/tid=22392] ppid=22388 vsize=9824668 CPUtime=0.74 cores=1,3,5,7
/proc/22390/task/22392/stat : 22392 (java) S 22388 22390 18255 0 -1 4202560 2549 0 1 0 68 6 0 0 20 0 22 0 254533519 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140087321703416 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22393] ppid=22388 vsize=9824668 CPUtime=2.4 cores=1,3,5,7
/proc/22390/task/22393/stat : 22393 (java) S 22388 22390 18255 0 -1 4202560 533 0 0 0 222 18 0 0 20 0 22 0 254533520 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140087283194152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22394] ppid=22388 vsize=9824668 CPUtime=2.47 cores=1,3,5,7
/proc/22390/task/22394/stat : 22394 (java) S 22388 22390 18255 0 -1 4202560 868 0 0 0 227 20 0 0 20 0 22 0 254533520 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140087282141352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22395] ppid=22388 vsize=9824668 CPUtime=2.36 cores=1,3,5,7
/proc/22390/task/22395/stat : 22395 (java) S 22388 22390 18255 0 -1 4202560 407 0 0 0 223 13 0 0 20 0 22 0 254533520 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140087281089064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22396] ppid=22388 vsize=9824668 CPUtime=2.48 cores=1,3,5,7
/proc/22390/task/22396/stat : 22396 (java) S 22388 22390 18255 0 -1 4202560 532 0 0 0 229 19 0 0 20 0 22 0 254533520 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140087280036264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22397] ppid=22388 vsize=9824668 CPUtime=2.54 cores=1,3,5,7
/proc/22390/task/22397/stat : 22397 (java) S 22388 22390 18255 0 -1 4202560 426 0 0 0 238 16 0 0 20 0 22 0 254533520 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140087278983976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22398] ppid=22388 vsize=9824668 CPUtime=2.06 cores=1,3,5,7
/proc/22390/task/22398/stat : 22398 (java) S 22388 22390 18255 0 -1 4202560 596 0 0 0 190 16 0 0 20 0 22 0 254533520 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140087277931176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22399] ppid=22388 vsize=9824668 CPUtime=2.69 cores=1,3,5,7
/proc/22390/task/22399/stat : 22399 (java) S 22388 22390 18255 0 -1 4202560 483 0 0 0 251 18 0 0 20 0 22 0 254533520 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140087276878888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22400] ppid=22388 vsize=9824668 CPUtime=2.32 cores=1,3,5,7
/proc/22390/task/22400/stat : 22400 (java) S 22388 22390 18255 0 -1 4202560 438 0 0 0 217 15 0 0 20 0 22 0 254533520 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140087275826088 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22401] ppid=22388 vsize=9824668 CPUtime=44.05 cores=1,3,5,7
/proc/22390/task/22401/stat : 22401 (java) S 22388 22390 18255 0 -1 4202560 3246 0 0 0 4388 17 0 0 20 0 22 0 254533521 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140087145756904 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22402] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22402/stat : 22402 (java) S 22388 22390 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254533522 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140087144702968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22403] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22403/stat : 22403 (java) S 22388 22390 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254533522 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140087143650568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22404] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22404/stat : 22404 (java) S 22388 22390 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254533524 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140087142599056 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22390/tid=22405] ppid=22388 vsize=9824668 CPUtime=1.94 cores=1,3,5,7
/proc/22390/task/22405/stat : 22405 (java) S 22388 22390 18255 0 -1 4202560 12747 0 0 0 191 3 0 0 20 0 22 0 254533524 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140087141546680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22390/tid=22406] ppid=22388 vsize=9824668 CPUtime=1.53 cores=1,3,5,7
/proc/22390/task/22406/stat : 22406 (java) S 22388 22390 18255 0 -1 4202560 10302 0 0 0 150 3 0 0 20 0 22 0 254533524 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140087140493880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22407] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22407/stat : 22407 (java) S 22388 22390 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254533524 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140087139441784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22390/tid=22408] ppid=22388 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/22390/task/22408/stat : 22408 (java) S 22388 22390 18255 0 -1 4202560 53 0 0 0 19 23 0 0 20 0 22 0 254533524 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140087138389192 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22409] ppid=22388 vsize=9824668 CPUtime=863.79 cores=1,3,5,7
/proc/22390/task/22409/stat : 22409 (java) R 22388 22390 18255 0 -1 4202560 90 0 0 0 86364 15 0 0 20 0 22 0 254533593 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140086129711344 140087154247147 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22390/tid=22410] ppid=22388 vsize=9824668 CPUtime=863.8 cores=1,3,5,7
/proc/22390/task/22410/stat : 22410 (java) R 22388 22390 18255 0 -1 4202560 2035 0 0 0 86323 57 0 0 20 0 22 0 254533593 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140086128659568 140087154593107 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22390/tid=22411] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22411/stat : 22411 (java) S 22388 22390 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254533596 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140086127609000 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22390/tid=22412] ppid=22388 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22390/task/22412/stat : 22412 (java) S 22388 22390 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254533596 10060460032 865983 33554432000 1073741824 1073778376 140736676874560 140086126556200 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22390 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=339370
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=770578
# CPU time returned by wait4() is 1796.11
# while last known CPU time is 1800.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 916.29
CPU time (s): 1800.16
CPU user time (s): 1797.85
CPU system time (s): 2.31
CPU usage (%): 196.462
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.34
system time used= 2.77058
maximum resident set size= 3464052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36526
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24839
involuntary context switches= 34118
runsolver used 4.14137 second user time and 8.31274 second system time
The end