runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4101154-1466212867/watcher-4101154-1466212867 -o /tmp/evaluation-result-4101154-1466212867/solver-4101154-1466212867 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466206104-16279 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101154-1466212867.opb
pid=18671
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: 4.30 4.35 4.32 4/197 18674
/proc/meminfo: memFree=25985280/32872528 swapFree=1556504/1720024
[pid=18674] ppid=18671 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/18674/stat : 18674 (java) R 18671 18674 16262 0 -1 4202496 420 0 0 0 0 0 0 0 20 0 1 0 23335318 9445376 90 33554432000 1073741824 1073778376 140733591483616 140733591480744 270320842167 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18674/statm: 2306 93 75 9 0 38 0
[startup+0.100059 s]
/proc/loadavg: 4.30 4.35 4.32 4/197 18674
/proc/meminfo: memFree=25985280/32872528 swapFree=1556504/1720024
[pid=18674] ppid=18671 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/18674/stat : 18674 (java) S 18671 18674 16262 0 -1 4202496 4468 0 1 0 8 1 0 0 20 0 18 0 23335318 9787879424 5578 33554432000 1073741824 1073778376 140733591483616 140733591474752 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18674/statm: 2389619 5578 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200553 s]
/proc/loadavg: 4.30 4.35 4.32 4/197 18674
/proc/meminfo: memFree=25985280/32872528 swapFree=1556504/1720024
[pid=18674] ppid=18671 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/18674/stat : 18674 (java) S 18671 18674 16262 0 -1 4202496 5097 0 1 0 26 1 0 0 20 0 18 0 23335318 9787879424 6490 33554432000 1073741824 1073778376 140733591483616 140733591474752 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18674/statm: 2389619 6490 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.30024 s]
/proc/loadavg: 4.30 4.35 4.32 4/197 18674
/proc/meminfo: memFree=25985280/32872528 swapFree=1556504/1720024
[pid=18674] ppid=18671 vsize=9558476 CPUtime=0.52 cores=1,3,5,7
/proc/18674/stat : 18674 (java) S 18671 18674 16262 0 -1 4202496 11214 0 1 0 50 2 0 0 20 0 18 0 23335318 9787879424 13542 33554432000 1073741824 1073778376 140733591483616 140733591474752 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18674/statm: 2389619 13543 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476
[startup+0.700198 s]
/proc/loadavg: 4.30 4.35 4.32 4/197 18674
/proc/meminfo: memFree=25985280/32872528 swapFree=1556504/1720024
[pid=18674] ppid=18671 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/18674/stat : 18674 (java) S 18671 18674 16262 0 -1 4202496 19978 0 1 0 192 4 0 0 20 0 22 0 23335318 10060525568 20836 33554432000 1073741824 1073778376 140733591483616 140733591474752 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18674/statm: 2456183 20836 2259 9 0 2446860 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 9824732
[startup+1.50096 s]
/proc/loadavg: 4.30 4.35 4.32 7/219 18696
/proc/meminfo: memFree=25858864/32872528 swapFree=1556504/1720024
[pid=18674] ppid=18671 vsize=9824732 CPUtime=4.83 cores=1,3,5,7
/proc/18674/stat : 18674 (java) S 18671 18674 16262 0 -1 4202496 30318 0 1 0 474 9 0 0 20 0 22 0 23335318 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140733591474752 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18674/statm: 2456183 49226 2284 9 0 2446860 0
[pid=18674/tid=18676] ppid=18671 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/18674/task/18676/stat : 18676 (java) S 18671 18674 16262 0 -1 4202560 2485 0 1 0 37 1 0 0 20 0 22 0 23335319 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330206581624 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18677] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18677/stat : 18677 (java) S 18671 18674 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23335320 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330050607912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18678] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18678/stat : 18678 (java) S 18671 18674 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23335320 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330049555112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18674/tid=18679] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18679/stat : 18679 (java) S 18671 18674 16262 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23335320 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330048502824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18674/tid=18680] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18680/stat : 18680 (java) S 18671 18674 16262 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 23335320 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330047450024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18681] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18681/stat : 18681 (java) S 18671 18674 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23335320 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330046396712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18682] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18682/stat : 18682 (java) S 18671 18674 16262 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 23335320 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330045343912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18683] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18683/stat : 18683 (java) S 18671 18674 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23335320 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330044291624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18674/tid=18684] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18684/stat : 18684 (java) S 18671 18674 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23335320 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330043238824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18685] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18685/stat : 18685 (java) S 18671 18674 16262 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 23335321 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330030828264 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18686] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18686/stat : 18686 (java) S 18671 18674 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23335322 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330029774328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18687] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18687/stat : 18687 (java) S 18671 18674 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23335322 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330028721928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18688] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18688/stat : 18688 (java) S 18671 18674 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23335324 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330027670416 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18689] ppid=18671 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/18674/task/18689/stat : 18689 (java) R 18671 18674 16262 0 -1 4202560 18301 0 0 0 113 3 0 0 20 0 22 0 23335324 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330026595128 140330212424958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18690] ppid=18671 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/18674/task/18690/stat : 18690 (java) S 18671 18674 16262 0 -1 4202560 8044 0 0 0 109 1 0 0 20 0 22 0 23335324 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330025564216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18691] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18691/stat : 18691 (java) S 18671 18674 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23335324 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330024512120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18692] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18692/stat : 18692 (java) S 18671 18674 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23335324 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330023459528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18693] ppid=18671 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/18674/task/18693/stat : 18693 (java) R 18671 18674 16262 0 -1 4202560 33 0 0 0 103 0 0 0 20 0 22 0 23335360 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330022347024 140330078619568 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18674/tid=18694] ppid=18671 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/18674/task/18694/stat : 18694 (java) R 18671 18674 16262 0 -1 4202560 69 0 0 0 99 1 0 0 20 0 22 0 23335360 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330021301416 140330079193289 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18695] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18695/stat : 18695 (java) S 18671 18674 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23335363 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330020251304 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18696] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18696/stat : 18696 (java) S 18671 18674 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23335363 10060525568 49226 33554432000 1073741824 1073778376 140733591483616 140330019198504 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 9824732
[startup+3.101 s]
/proc/loadavg: 4.30 4.35 4.32 6/219 18696
/proc/meminfo: memFree=25656052/32872528 swapFree=1556504/1720024
[pid=18674] ppid=18671 vsize=9824732 CPUtime=8.33 cores=1,3,5,7
/proc/18674/stat : 18674 (java) S 18671 18674 16262 0 -1 4202496 30696 0 1 0 816 17 0 0 20 0 22 0 23335318 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140733591474752 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18674/statm: 2456183 90702 2284 9 0 2446860 0
[pid=18674/tid=18676] ppid=18671 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/18674/task/18676/stat : 18676 (java) S 18671 18674 16262 0 -1 4202560 2485 0 1 0 37 1 0 0 20 0 22 0 23335319 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330206581624 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18677] ppid=18671 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18674/task/18677/stat : 18677 (java) S 18671 18674 16262 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 22 0 23335320 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330050607912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18678] ppid=18671 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18674/task/18678/stat : 18678 (java) S 18671 18674 16262 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 22 0 23335320 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330049555112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18679] ppid=18671 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18674/task/18679/stat : 18679 (java) S 18671 18674 16262 0 -1 4202560 45 0 0 0 4 2 0 0 20 0 22 0 23335320 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330048502824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18680] ppid=18671 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18674/task/18680/stat : 18680 (java) S 18671 18674 16262 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 23335320 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330047450024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18681] ppid=18671 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18674/task/18681/stat : 18681 (java) S 18671 18674 16262 0 -1 4202560 41 0 0 0 5 1 0 0 20 0 22 0 23335320 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330046396712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18682] ppid=18671 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18674/task/18682/stat : 18682 (java) S 18671 18674 16262 0 -1 4202560 27 0 0 0 2 0 0 0 20 0 22 0 23335320 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330045343912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18683] ppid=18671 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18674/task/18683/stat : 18683 (java) S 18671 18674 16262 0 -1 4202560 29 0 0 0 3 0 0 0 20 0 22 0 23335320 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330044291624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18684] ppid=18671 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18674/task/18684/stat : 18684 (java) S 18671 18674 16262 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 23335320 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330043238824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18685] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18685/stat : 18685 (java) S 18671 18674 16262 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 23335321 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330030828264 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18686] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18686/stat : 18686 (java) S 18671 18674 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23335322 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330029774328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18687] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18687/stat : 18687 (java) S 18671 18674 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23335322 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330028721928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18688] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18688/stat : 18688 (java) S 18671 18674 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23335324 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330027670416 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18689] ppid=18671 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/18674/task/18689/stat : 18689 (java) S 18671 18674 16262 0 -1 4202560 18325 0 0 0 122 3 0 0 20 0 22 0 23335324 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330026617016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18690] ppid=18671 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/18674/task/18690/stat : 18690 (java) S 18671 18674 16262 0 -1 4202560 8050 0 0 0 115 1 0 0 20 0 22 0 23335324 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330025564216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18691] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18691/stat : 18691 (java) S 18671 18674 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23335324 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330024512120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18692] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18692/stat : 18692 (java) S 18671 18674 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23335324 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330023459528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18693] ppid=18671 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/18674/task/18693/stat : 18693 (java) R 18671 18674 16262 0 -1 4202560 36 0 0 0 253 0 0 0 20 0 22 0 23335360 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330022347040 140330079082712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18674/tid=18694] ppid=18671 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/18674/task/18694/stat : 18694 (java) R 18671 18674 16262 0 -1 4202560 127 0 0 0 248 2 0 0 20 0 22 0 23335360 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330021302040 140330079107600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18695] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18695/stat : 18695 (java) S 18671 18674 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23335363 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330020251304 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18696] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18696/stat : 18696 (java) S 18671 18674 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23335363 10060525568 90702 33554432000 1073741824 1073778376 140733591483616 140330019198504 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.33
Current children cumulated vsize (KiB) 9824732
[startup+6.30104 s]
/proc/loadavg: 4.28 4.34 4.32 5/219 18696
/proc/meminfo: memFree=25358732/32872528 swapFree=1556504/1720024
[pid=18674] ppid=18671 vsize=9824732 CPUtime=14.88 cores=1,3,5,7
/proc/18674/stat : 18674 (java) S 18671 18674 16262 0 -1 4202496 31841 0 1 0 1456 32 0 0 20 0 22 0 23335318 10060525568 251523 33554432000 1073741824 1073778376 140733591483616 140733591474752 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18674/statm: 2456183 251523 2284 9 0 2446860 0
[pid=18674/tid=18676] ppid=18671 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/18674/task/18676/stat : 18676 (java) S 18671 18674 16262 0 -1 4202560 2485 0 1 0 37 1 0 0 20 0 22 0 23335319 10060525568 251523 33554432000 1073741824 1073778376 140733591483616 140330206581624 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18677] ppid=18671 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/18674/task/18677/stat : 18677 (java) S 18671 18674 16262 0 -1 4202560 42 0 0 0 4 3 0 0 20 0 22 0 23335320 10060525568 251523 33554432000 1073741824 1073778376 140733591483616 140330050607912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18678] ppid=18671 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/18674/task/18678/stat : 18678 (java) S 18671 18674 16262 0 -1 4202560 35 0 0 0 5 2 0 0 20 0 22 0 23335320 10060525568 251523 33554432000 1073741824 1073778376 140733591483616 140330049555112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18679] ppid=18671 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/18674/task/18679/stat : 18679 (java) S 18671 18674 16262 0 -1 4202560 65 0 0 0 7 2 0 0 20 0 22 0 23335320 10060525568 251523 33554432000 1073741824 1073778376 140733591483616 140330048502824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18680] ppid=18671 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18674/task/18680/stat : 18680 (java) S 18671 18674 16262 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 22 0 23335320 10060525568 251523 33554432000 1073741824 1073778376 140733591483616 140330047450024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18681] ppid=18671 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/18674/task/18681/stat : 18681 (java) S 18671 18674 16262 0 -1 4202560 59 0 0 0 8 2 0 0 20 0 22 0 23335320 10060525568 251523 33554432000 1073741824 1073778376 140733591483616 140330046396712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18682] ppid=18671 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18674/task/18682/stat : 18682 (java) S 18671 18674 16262 0 -1 4202560 44 0 0 0 3 2 0 0 20 0 22 0 23335320 10060525568 251523 33554432000 1073741824 1073778376 140733591483616 140330045343912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18683] ppid=18671 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18674/task/18683/stat : 18683 (java) S 18671 18674 16262 0 -1 4202560 40 0 0 0 3 2 0 0 20 0 22 0 23335320 10060525568 251523 33554432000 1073741824 1073778376 140733591483616 140330044291624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18684] ppid=18671 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18674/task/18684/stat : 18684 (java) S 18671 18674 16262 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 23335320 10060525568 251523 33554432000 1073741824 1073778376 140733591483616 140330043238824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18685] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18685/stat : 18685 (java) S 18671 18674 16262 0 -1 4202560 459 0 0 0 0 0 0 0 20 0 22 0 23335321 10060525568 251523 33554432000 1073741824 1073778376 140733591483616 140330030828264 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18686] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18686/stat : 18686 (java) S 18671 18674 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23335322 10060525568 251523 33554432000 1073741824 1073778376 140733591483616 140330029774328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18687] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18687/stat : 18687 (java) S 18671 18674 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23335322 10060525568 251523 33554432000 1073741824 1073778376 140733591483616 140330028721928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18688] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18688/stat : 18688 (java) S 18671 18674 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23335324 10060525568 251523 33554432000 1073741824 1073778376 140733591483616 140330027670416 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18689] ppid=18671 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
################
# More data... #
################
/proc/18674/task/18679/stat : 18679 (java) S 18671 18674 16262 0 -1 4202560 390 0 0 0 256 8 0 0 20 0 22 0 23335320 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330048502824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18680] ppid=18671 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/18674/task/18680/stat : 18680 (java) S 18671 18674 16262 0 -1 4202560 393 0 0 0 246 8 0 0 20 0 22 0 23335320 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330047450024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18674/tid=18681] ppid=18671 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/18674/task/18681/stat : 18681 (java) S 18671 18674 16262 0 -1 4202560 423 0 0 0 272 10 0 0 20 0 22 0 23335320 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330046396712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18682] ppid=18671 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/18674/task/18682/stat : 18682 (java) S 18671 18674 16262 0 -1 4202560 413 0 0 0 275 9 0 0 20 0 22 0 23335320 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330045343912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18683] ppid=18671 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/18674/task/18683/stat : 18683 (java) S 18671 18674 16262 0 -1 4202560 385 0 0 0 274 7 0 0 20 0 22 0 23335320 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330044291624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18684] ppid=18671 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/18674/task/18684/stat : 18684 (java) S 18671 18674 16262 0 -1 4202560 374 0 0 0 261 7 0 0 20 0 22 0 23335320 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330043238824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18685] ppid=18671 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/18674/task/18685/stat : 18685 (java) S 18671 18674 16262 0 -1 4202560 2326 0 0 0 182 18 0 0 20 0 22 0 23335321 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330030828264 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18674/tid=18686] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18686/stat : 18686 (java) S 18671 18674 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23335322 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330029774328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18687] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18687/stat : 18687 (java) S 18671 18674 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23335322 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330028721928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18688] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18688/stat : 18688 (java) S 18671 18674 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23335324 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330027670416 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18689] ppid=18671 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/18674/task/18689/stat : 18689 (java) S 18671 18674 16262 0 -1 4202560 23649 0 0 0 205 5 0 0 20 0 22 0 23335324 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330026617016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18690] ppid=18671 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/18674/task/18690/stat : 18690 (java) S 18671 18674 16262 0 -1 4202560 8050 0 0 0 122 1 0 0 20 0 22 0 23335324 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330025564216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18691] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18691/stat : 18691 (java) S 18671 18674 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23335324 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330024512120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18692] ppid=18671 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/18674/task/18692/stat : 18692 (java) S 18671 18674 16262 0 -1 4202560 46 0 0 0 13 22 0 0 20 0 22 0 23335324 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330023459528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18693] ppid=18671 vsize=9824732 CPUtime=811.7 cores=1,3,5,7
/proc/18674/task/18693/stat : 18693 (java) R 18671 18674 16262 0 -1 4202560 216 0 0 0 81155 15 0 0 20 0 22 0 23335360 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330022354072 140330079094712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18674/tid=18694] ppid=18671 vsize=9824732 CPUtime=811.7 cores=1,3,5,7
/proc/18674/task/18694/stat : 18694 (java) R 18671 18674 16262 0 -1 4202560 1700 0 0 0 81124 46 0 0 20 0 22 0 23335360 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330021301888 140330079135678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18695] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18695/stat : 18695 (java) S 18671 18674 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23335363 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330020251304 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18696] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18696/stat : 18696 (java) S 18671 18674 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23335363 10060525568 586788 33554432000 1073741824 1073778376 140733591483616 140330019198504 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1654.95
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.15 4.20 4.25 5/219 18785
/proc/meminfo: memFree=23752848/32872528 swapFree=1556504/1720024
[pid=18674] ppid=18671 vsize=9824732 CPUtime=1775.66 cores=1,3,5,7
/proc/18674/stat : 18674 (java) S 18671 18674 16262 0 -1 4202496 42941 0 1 0 177418 148 0 0 20 0 22 0 23335318 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140733591474752 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18674/statm: 2456183 575630 2293 9 0 2446860 0
[pid=18674/tid=18676] ppid=18671 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/18674/task/18676/stat : 18676 (java) S 18671 18674 16262 0 -1 4202560 2498 0 1 0 40 3 0 0 20 0 22 0 23335319 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330206581624 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18677] ppid=18671 vsize=9824732 CPUtime=2.76 cores=1,3,5,7
/proc/18674/task/18677/stat : 18677 (java) S 18671 18674 16262 0 -1 4202560 404 0 0 0 265 11 0 0 20 0 22 0 23335320 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330050607912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18678] ppid=18671 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/18674/task/18678/stat : 18678 (java) S 18671 18674 16262 0 -1 4202560 389 0 0 0 259 8 0 0 20 0 22 0 23335320 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330049555112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18679] ppid=18671 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/18674/task/18679/stat : 18679 (java) S 18671 18674 16262 0 -1 4202560 390 0 0 0 273 8 0 0 20 0 22 0 23335320 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330048502824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18680] ppid=18671 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/18674/task/18680/stat : 18680 (java) S 18671 18674 16262 0 -1 4202560 393 0 0 0 265 8 0 0 20 0 22 0 23335320 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330047450024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18681] ppid=18671 vsize=9824732 CPUtime=3.05 cores=1,3,5,7
/proc/18674/task/18681/stat : 18681 (java) S 18671 18674 16262 0 -1 4202560 423 0 0 0 295 10 0 0 20 0 22 0 23335320 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330046396712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18682] ppid=18671 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/18674/task/18682/stat : 18682 (java) S 18671 18674 16262 0 -1 4202560 413 0 0 0 301 9 0 0 20 0 22 0 23335320 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330045343912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18674/tid=18683] ppid=18671 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/18674/task/18683/stat : 18683 (java) S 18671 18674 16262 0 -1 4202560 385 0 0 0 293 7 0 0 20 0 22 0 23335320 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330044291624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18684] ppid=18671 vsize=9824732 CPUtime=2.86 cores=1,3,5,7
/proc/18674/task/18684/stat : 18684 (java) S 18671 18674 16262 0 -1 4202560 374 0 0 0 279 7 0 0 20 0 22 0 23335320 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330043238824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18685] ppid=18671 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/18674/task/18685/stat : 18685 (java) S 18671 18674 16262 0 -1 4202560 2330 0 0 0 182 20 0 0 20 0 22 0 23335321 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330030828264 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18686] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18686/stat : 18686 (java) S 18671 18674 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23335322 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330029774328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18687] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18687/stat : 18687 (java) S 18671 18674 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23335322 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330028721928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18688] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18688/stat : 18688 (java) S 18671 18674 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23335324 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330027670416 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18689] ppid=18671 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/18674/task/18689/stat : 18689 (java) S 18671 18674 16262 0 -1 4202560 23649 0 0 0 205 5 0 0 20 0 22 0 23335324 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330026617016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18690] ppid=18671 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/18674/task/18690/stat : 18690 (java) S 18671 18674 16262 0 -1 4202560 8050 0 0 0 122 1 0 0 20 0 22 0 23335324 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330025564216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18691] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18691/stat : 18691 (java) S 18671 18674 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23335324 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330024512120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18692] ppid=18671 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/18674/task/18692/stat : 18692 (java) S 18671 18674 16262 0 -1 4202560 50 0 0 0 14 23 0 0 20 0 22 0 23335324 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330023459528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18693] ppid=18671 vsize=9824732 CPUtime=871.15 cores=1,3,5,7
/proc/18674/task/18693/stat : 18693 (java) R 18671 18674 16262 0 -1 4202560 222 0 0 0 87099 16 0 0 20 0 22 0 23335360 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330022353952 140330079082351 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18674/tid=18694] ppid=18671 vsize=9824732 CPUtime=871.13 cores=1,3,5,7
/proc/18674/task/18694/stat : 18694 (java) R 18671 18674 16262 0 -1 4202560 1706 0 0 0 87066 47 0 0 20 0 22 0 23335360 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330021301920 140330079135844 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18695] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18695/stat : 18695 (java) S 18671 18674 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23335363 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330020251304 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18696] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18696/stat : 18696 (java) S 18671 18674 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23335363 10060525568 575630 33554432000 1073741824 1073778376 140733591483616 140330019198504 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1775.66
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+894.408 s]
/proc/loadavg: 4.12 4.19 4.24 5/219 18785
/proc/meminfo: memFree=23763828/32872528 swapFree=1556504/1720024
[pid=18674] ppid=18671 vsize=9824732 CPUtime=1800 cores=1,3,5,7
/proc/18674/stat : 18674 (java) S 18671 18674 16262 0 -1 4202496 42946 0 1 0 179852 148 0 0 20 0 22 0 23335318 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140733591474752 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18674/statm: 2456183 572777 2293 9 0 2446860 0
[pid=18674/tid=18676] ppid=18671 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/18674/task/18676/stat : 18676 (java) S 18671 18674 16262 0 -1 4202560 2498 0 1 0 40 3 0 0 20 0 22 0 23335319 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330206581624 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18677] ppid=18671 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/18674/task/18677/stat : 18677 (java) S 18671 18674 16262 0 -1 4202560 404 0 0 0 268 11 0 0 20 0 22 0 23335320 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330050607912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18678] ppid=18671 vsize=9824732 CPUtime=2.69 cores=1,3,5,7
/proc/18674/task/18678/stat : 18678 (java) S 18671 18674 16262 0 -1 4202560 389 0 0 0 261 8 0 0 20 0 22 0 23335320 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330049555112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18679] ppid=18671 vsize=9824732 CPUtime=2.86 cores=1,3,5,7
/proc/18674/task/18679/stat : 18679 (java) S 18671 18674 16262 0 -1 4202560 390 0 0 0 278 8 0 0 20 0 22 0 23335320 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330048502824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18680] ppid=18671 vsize=9824732 CPUtime=2.76 cores=1,3,5,7
/proc/18674/task/18680/stat : 18680 (java) S 18671 18674 16262 0 -1 4202560 393 0 0 0 268 8 0 0 20 0 22 0 23335320 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330047450024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18681] ppid=18671 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/18674/task/18681/stat : 18681 (java) S 18671 18674 16262 0 -1 4202560 423 0 0 0 300 10 0 0 20 0 22 0 23335320 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330046396712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18682] ppid=18671 vsize=9824732 CPUtime=3.14 cores=1,3,5,7
/proc/18674/task/18682/stat : 18682 (java) S 18671 18674 16262 0 -1 4202560 413 0 0 0 305 9 0 0 20 0 22 0 23335320 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330045343912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18683] ppid=18671 vsize=9824732 CPUtime=3.05 cores=1,3,5,7
/proc/18674/task/18683/stat : 18683 (java) S 18671 18674 16262 0 -1 4202560 385 0 0 0 298 7 0 0 20 0 22 0 23335320 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330044291624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18684] ppid=18671 vsize=9824732 CPUtime=2.91 cores=1,3,5,7
/proc/18674/task/18684/stat : 18684 (java) S 18671 18674 16262 0 -1 4202560 374 0 0 0 284 7 0 0 20 0 22 0 23335320 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330043238824 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18685] ppid=18671 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/18674/task/18685/stat : 18685 (java) S 18671 18674 16262 0 -1 4202560 2330 0 0 0 182 20 0 0 20 0 22 0 23335321 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330030828264 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18674/tid=18686] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18686/stat : 18686 (java) S 18671 18674 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23335322 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330029774328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18687] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18687/stat : 18687 (java) S 18671 18674 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23335322 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330028721928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18688] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18688/stat : 18688 (java) S 18671 18674 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23335324 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330027670416 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18689] ppid=18671 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/18674/task/18689/stat : 18689 (java) S 18671 18674 16262 0 -1 4202560 23649 0 0 0 205 5 0 0 20 0 22 0 23335324 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330026617016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18690] ppid=18671 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/18674/task/18690/stat : 18690 (java) S 18671 18674 16262 0 -1 4202560 8050 0 0 0 122 1 0 0 20 0 22 0 23335324 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330025564216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18674/tid=18691] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18691/stat : 18691 (java) S 18671 18674 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23335324 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330024512120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18692] ppid=18671 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/18674/task/18692/stat : 18692 (java) S 18671 18674 16262 0 -1 4202560 52 0 0 0 14 24 0 0 20 0 22 0 23335324 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330023459528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18693] ppid=18671 vsize=9824732 CPUtime=883.11 cores=1,3,5,7
/proc/18674/task/18693/stat : 18693 (java) R 18671 18674 16262 0 -1 4202560 222 0 0 0 88295 16 0 0 20 0 22 0 23335360 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330022353952 140330079206112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18674/tid=18694] ppid=18671 vsize=9824732 CPUtime=883.11 cores=1,3,5,7
/proc/18674/task/18694/stat : 18694 (java) R 18671 18674 16262 0 -1 4202560 1709 0 0 0 88264 47 0 0 20 0 22 0 23335360 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330021301888 140330079107321 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18674/tid=18695] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18695/stat : 18695 (java) S 18671 18674 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23335363 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330020251304 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18674/tid=18696] ppid=18671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18674/task/18696/stat : 18696 (java) S 18671 18674 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23335363 10060525568 572777 33554432000 1073741824 1073778376 140733591483616 140330019198504 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18674 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18674 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=119252
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=11694
# CPU time returned by wait4() is 1796.13
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 894.471
CPU time (s): 1800
CPU user time (s): 1798.52
CPU system time (s): 1.48
CPU usage (%): 201.236
Max. virtual memory (cumulated for all children) (KiB): 9826248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.12
system time used= 2.01169
maximum resident set size= 2872552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42989
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27317
involuntary context switches= 50967
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9431 second user time and 7.38388 second system time
The end