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-4116262-1466960970/watcher-4116262-1466960970 -o /tmp/evaluation-result-4116262-1466960970/solver-4116262-1466960970 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18142 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116262-1466960970.opb
pid=21038
running on 4 cores: 0,2,4,6
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.24 4.25 4.24 4/197 21041
/proc/meminfo: memFree=26734716/32872528 swapFree=1437460/1543748
[pid=21041] ppid=21038 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/21041/stat : 21041 (java) D 21038 21041 18126 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 29136320 9515008 183 33554432000 1073741824 1073778376 140734387256912 140734387247944 266435641013 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/21041/statm: 2323 183 140 9 0 71 0
[startup+0.10014 s]
/proc/loadavg: 4.24 4.25 4.24 4/197 21041
/proc/meminfo: memFree=26734716/32872528 swapFree=1437460/1543748
[pid=21041] ppid=21038 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/21041/stat : 21041 (java) S 21038 21041 18126 0 -1 4202496 4440 0 1 0 8 1 0 0 20 0 18 0 29136320 9787879424 6061 33554432000 1073741824 1073778376 140736556977024 140736556968160 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21041/statm: 2389619 6061 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200232 s]
/proc/loadavg: 4.24 4.25 4.24 4/197 21041
/proc/meminfo: memFree=26734716/32872528 swapFree=1437460/1543748
[pid=21041] ppid=21038 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/21041/stat : 21041 (java) S 21038 21041 18126 0 -1 4202496 4699 0 1 0 23 1 0 0 20 0 18 0 29136320 9787879424 6783 33554432000 1073741824 1073778376 140736556977024 140736556968160 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21041/statm: 2389619 6783 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300225 s]
/proc/loadavg: 4.24 4.25 4.24 4/197 21041
/proc/meminfo: memFree=26734716/32872528 swapFree=1437460/1543748
[pid=21041] ppid=21038 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/21041/stat : 21041 (java) S 21038 21041 18126 0 -1 4202496 5771 0 1 0 46 2 0 0 20 0 18 0 29136320 9787879424 8498 33554432000 1073741824 1073778376 140736556977024 140736556968160 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21041/statm: 2389619 8498 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700176 s]
/proc/loadavg: 4.24 4.25 4.24 4/197 21041
/proc/meminfo: memFree=26734716/32872528 swapFree=1437460/1543748
[pid=21041] ppid=21038 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/21041/stat : 21041 (java) S 21038 21041 18126 0 -1 4202496 14422 0 1 0 167 4 0 0 20 0 22 0 29136320 10060525568 24706 33554432000 1073741824 1073778376 140736556977024 140736556968160 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21041/statm: 2456183 24706 2265 9 0 2446860 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 9824732
[startup+1.50086 s]
/proc/loadavg: 4.06 4.21 4.22 7/219 21063
/proc/meminfo: memFree=26600008/32872528 swapFree=1437460/1543748
[pid=21041] ppid=21038 vsize=9824732 CPUtime=4.71 cores=0,2,4,6
/proc/21041/stat : 21041 (java) S 21038 21041 18126 0 -1 4202496 20506 0 1 0 464 7 0 0 20 0 22 0 29136320 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 140736556968160 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21041/statm: 2456183 48127 2292 9 0 2446860 0
[pid=21041/tid=21043] ppid=21038 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/21041/task/21043/stat : 21043 (java) S 21038 21041 18126 0 -1 4202560 2478 0 1 0 46 2 0 0 20 0 22 0 29136321 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681908155256 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21041/tid=21044] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21044/stat : 21044 (java) S 21038 21041 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29136322 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681869646760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21045] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21045/stat : 21045 (java) S 21038 21041 18126 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 29136322 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681868594216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21046] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21046/stat : 21046 (java) S 21038 21041 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29136323 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681867541160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21047] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21047/stat : 21047 (java) S 21038 21041 18126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29136323 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681748478760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21041/tid=21048] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21048/stat : 21048 (java) S 21038 21041 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29136323 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681747425704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21049] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21049/stat : 21049 (java) S 21038 21041 18126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29136323 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681746373160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21050] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21050/stat : 21050 (java) S 21038 21041 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29136323 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681745320104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21041/tid=21051] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21051/stat : 21051 (java) S 21038 21041 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29136323 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681744267560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21052] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21052/stat : 21052 (java) S 21038 21041 18126 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 29136324 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681261939560 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21053] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21053/stat : 21053 (java) S 21038 21041 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29136324 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681260885880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21054] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21054/stat : 21054 (java) S 21038 21041 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29136324 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681259832712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21055] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21055/stat : 21055 (java) S 21038 21041 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29136326 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681258781456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21056] ppid=21038 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/21041/task/21056/stat : 21056 (java) S 21038 21041 18126 0 -1 4202560 9787 0 0 0 110 2 0 0 20 0 22 0 29136326 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681257728312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21057] ppid=21038 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/21041/task/21057/stat : 21057 (java) S 21038 21041 18126 0 -1 4202560 6767 0 0 0 108 2 0 0 20 0 22 0 29136326 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681256675768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21058] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21058/stat : 21058 (java) S 21038 21041 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29136326 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681255622904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21059] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21059/stat : 21059 (java) S 21038 21041 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29136326 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681254570568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21060] ppid=21038 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/21041/task/21060/stat : 21060 (java) R 21038 21041 18126 0 -1 4202560 17 0 0 0 94 0 0 0 20 0 22 0 29136372 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681253507488 139681749224294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21041/tid=21061] ppid=21038 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/21041/task/21061/stat : 21061 (java) R 21038 21041 18126 0 -1 4202560 75 0 0 0 92 2 0 0 20 0 22 0 29136372 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681252463320 139681749272796 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21062] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21062/stat : 21062 (java) S 21038 21041 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29136373 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681251411240 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21063] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21063/stat : 21063 (java) S 21038 21041 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29136373 10060525568 48127 33554432000 1073741824 1073778376 140736556977024 139681250358696 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.71
Current children cumulated vsize (KiB) 9824732
[startup+3.10095 s]
/proc/loadavg: 4.06 4.21 4.22 5/219 21063
/proc/meminfo: memFree=26435648/32872528 swapFree=1437460/1543748
[pid=21041] ppid=21038 vsize=9824732 CPUtime=8.1 cores=0,2,4,6
/proc/21041/stat : 21041 (java) S 21038 21041 18126 0 -1 4202496 20796 0 1 0 793 17 0 0 20 0 22 0 29136320 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 140736556968160 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21041/statm: 2456183 90756 2292 9 0 2446860 0
[pid=21041/tid=21043] ppid=21038 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/21041/task/21043/stat : 21043 (java) S 21038 21041 18126 0 -1 4202560 2478 0 1 0 46 2 0 0 20 0 22 0 29136321 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681908155256 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21041/tid=21044] ppid=21038 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/21041/task/21044/stat : 21044 (java) S 21038 21041 18126 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 29136322 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681869646760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21045] ppid=21038 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21041/task/21045/stat : 21045 (java) S 21038 21041 18126 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 29136322 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681868594216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21046] ppid=21038 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/21041/task/21046/stat : 21046 (java) S 21038 21041 18126 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 22 0 29136323 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681867541160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21047] ppid=21038 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/21041/task/21047/stat : 21047 (java) S 21038 21041 18126 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 29136323 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681748478760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21048] ppid=21038 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21041/task/21048/stat : 21048 (java) S 21038 21041 18126 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 22 0 29136323 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681747425704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21049] ppid=21038 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/21041/task/21049/stat : 21049 (java) S 21038 21041 18126 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 29136323 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681746373160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21050] ppid=21038 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21041/task/21050/stat : 21050 (java) S 21038 21041 18126 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 29136323 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681745320104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21041/tid=21051] ppid=21038 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21041/task/21051/stat : 21051 (java) S 21038 21041 18126 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 29136323 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681744267560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21052] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21052/stat : 21052 (java) S 21038 21041 18126 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 29136324 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681261939560 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21053] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21053/stat : 21053 (java) S 21038 21041 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29136324 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681260885880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21054] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21054/stat : 21054 (java) S 21038 21041 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29136324 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681259832712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21055] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21055/stat : 21055 (java) S 21038 21041 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29136326 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681258781456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21056] ppid=21038 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/21041/task/21056/stat : 21056 (java) S 21038 21041 18126 0 -1 4202560 9787 0 0 0 120 2 0 0 20 0 22 0 29136326 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681257728312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21057] ppid=21038 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/21041/task/21057/stat : 21057 (java) S 21038 21041 18126 0 -1 4202560 6767 0 0 0 110 2 0 0 20 0 22 0 29136326 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681256675768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21058] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21058/stat : 21058 (java) S 21038 21041 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29136326 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681255622904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21059] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21059/stat : 21059 (java) S 21038 21041 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29136326 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681254570568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21060] ppid=21038 vsize=9824732 CPUtime=2.46 cores=0,2,4,6
/proc/21041/task/21060/stat : 21060 (java) R 21038 21041 18126 0 -1 4202560 18 0 0 0 246 0 0 0 20 0 22 0 29136372 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681253514496 139681749224580 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21041/tid=21061] ppid=21038 vsize=9824732 CPUtime=2.44 cores=0,2,4,6
/proc/21041/task/21061/stat : 21061 (java) R 21038 21041 18126 0 -1 4202560 135 0 0 0 240 4 0 0 20 0 22 0 29136372 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681252462048 139681749274492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21062] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21062/stat : 21062 (java) S 21038 21041 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29136373 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681251411240 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21063] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21063/stat : 21063 (java) S 21038 21041 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29136373 10060525568 90756 33554432000 1073741824 1073778376 140736556977024 139681250358696 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.1
Current children cumulated vsize (KiB) 9824732
[startup+6.30097 s]
/proc/loadavg: 4.05 4.20 4.22 5/219 21063
/proc/meminfo: memFree=26125288/32872528 swapFree=1437460/1543748
[pid=21041] ppid=21038 vsize=9824732 CPUtime=14.65 cores=0,2,4,6
/proc/21041/stat : 21041 (java) S 21038 21041 18126 0 -1 4202496 21575 0 1 0 1438 27 0 0 20 0 22 0 29136320 10060525568 162543 33554432000 1073741824 1073778376 140736556977024 140736556968160 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21041/statm: 2456183 162543 2292 9 0 2446860 0
[pid=21041/tid=21043] ppid=21038 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/21041/task/21043/stat : 21043 (java) S 21038 21041 18126 0 -1 4202560 2478 0 1 0 46 2 0 0 20 0 22 0 29136321 10060525568 162543 33554432000 1073741824 1073778376 140736556977024 139681908155256 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21041/tid=21044] ppid=21038 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/21041/task/21044/stat : 21044 (java) S 21038 21041 18126 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 29136322 10060525568 162543 33554432000 1073741824 1073778376 140736556977024 139681869646760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21045] ppid=21038 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/21041/task/21045/stat : 21045 (java) S 21038 21041 18126 0 -1 4202560 88 0 0 0 4 2 0 0 20 0 22 0 29136322 10060525568 162543 33554432000 1073741824 1073778376 140736556977024 139681868594216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21046] ppid=21038 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/21041/task/21046/stat : 21046 (java) S 21038 21041 18126 0 -1 4202560 34 0 0 0 5 1 0 0 20 0 22 0 29136323 10060525568 162543 33554432000 1073741824 1073778376 140736556977024 139681867541160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21047] ppid=21038 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/21041/task/21047/stat : 21047 (java) S 21038 21041 18126 0 -1 4202560 149 0 0 0 4 2 0 0 20 0 22 0 29136323 10060525568 162543 33554432000 1073741824 1073778376 140736556977024 139681748478760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21048] ppid=21038 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/21041/task/21048/stat : 21048 (java) S 21038 21041 18126 0 -1 4202560 51 0 0 0 8 3 0 0 20 0 22 0 29136323 10060525568 162543 33554432000 1073741824 1073778376 140736556977024 139681747425704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21049] ppid=21038 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/21041/task/21049/stat : 21049 (java) S 21038 21041 18126 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 29136323 10060525568 162543 33554432000 1073741824 1073778376 140736556977024 139681746373160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21050] ppid=21038 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/21041/task/21050/stat : 21050 (java) S 21038 21041 18126 0 -1 4202560 99 0 0 0 5 4 0 0 20 0 22 0 29136323 10060525568 162543 33554432000 1073741824 1073778376 140736556977024 139681745320104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21051] ppid=21038 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/21041/task/21051/stat : 21051 (java) S 21038 21041 18126 0 -1 4202560 84 0 0 0 5 2 0 0 20 0 22 0 29136323 10060525568 162543 33554432000 1073741824 1073778376 140736556977024 139681744267560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21052] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21052/stat : 21052 (java) S 21038 21041 18126 0 -1 4202560 463 0 0 0 0 0 0 0 20 0 22 0 29136324 10060525568 162543 33554432000 1073741824 1073778376 140736556977024 139681261939560 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21053] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21053/stat : 21053 (java) S 21038 21041 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29136324 10060525568 162543 33554432000 1073741824 1073778376 140736556977024 139681260885880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21054] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21054/stat : 21054 (java) S 21038 21041 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29136324 10060525568 162543 33554432000 1073741824 1073778376 140736556977024 139681259832712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21055] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21055/stat : 21055 (java) S 21038 21041 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29136326 10060525568 162543 33554432000 1073741824 1073778376 140736556977024 139681258781456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21056] ppid=21038 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.20 4.23 4.23 6/219 21154
/proc/meminfo: memFree=22927804/32872528 swapFree=1437460/1543748
[pid=21041] ppid=21038 vsize=9824732 CPUtime=1654.29 cores=0,2,4,6
/proc/21041/stat : 21041 (java) S 21038 21041 18126 0 -1 4202496 31870 0 1 0 165230 199 0 0 20 0 22 0 29136320 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 140736556968160 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21041/statm: 2456183 944187 2301 9 0 2446860 0
[pid=21041/tid=21043] ppid=21038 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/21041/task/21043/stat : 21043 (java) S 21038 21041 18126 0 -1 4202560 2486 0 1 0 49 3 0 0 20 0 22 0 29136321 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681908155256 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21044] ppid=21038 vsize=9824732 CPUtime=2.82 cores=0,2,4,6
/proc/21041/task/21044/stat : 21044 (java) S 21038 21041 18126 0 -1 4202560 738 0 0 0 266 16 0 0 20 0 22 0 29136322 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681869646760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21045] ppid=21038 vsize=9824732 CPUtime=3.17 cores=0,2,4,6
/proc/21041/task/21045/stat : 21045 (java) S 21038 21041 18126 0 -1 4202560 705 0 0 0 299 18 0 0 20 0 22 0 29136322 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681868594216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21046] ppid=21038 vsize=9824732 CPUtime=2.87 cores=0,2,4,6
/proc/21041/task/21046/stat : 21046 (java) S 21038 21041 18126 0 -1 4202560 822 0 0 0 272 15 0 0 20 0 22 0 29136323 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681867541160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21047] ppid=21038 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/21041/task/21047/stat : 21047 (java) S 21038 21041 18126 0 -1 4202560 685 0 0 0 283 18 0 0 20 0 22 0 29136323 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681748478760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21048] ppid=21038 vsize=9824732 CPUtime=2.69 cores=0,2,4,6
/proc/21041/task/21048/stat : 21048 (java) S 21038 21041 18126 0 -1 4202560 671 0 0 0 251 18 0 0 20 0 22 0 29136323 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681747425704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21041/tid=21049] ppid=21038 vsize=9824732 CPUtime=2.79 cores=0,2,4,6
/proc/21041/task/21049/stat : 21049 (java) S 21038 21041 18126 0 -1 4202560 591 0 0 0 265 14 0 0 20 0 22 0 29136323 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681746373160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21050] ppid=21038 vsize=9824732 CPUtime=3.05 cores=0,2,4,6
/proc/21041/task/21050/stat : 21050 (java) S 21038 21041 18126 0 -1 4202560 767 0 0 0 285 20 0 0 20 0 22 0 29136323 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681745320104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21051] ppid=21038 vsize=9824732 CPUtime=3.28 cores=0,2,4,6
/proc/21041/task/21051/stat : 21051 (java) S 21038 21041 18126 0 -1 4202560 920 0 0 0 312 16 0 0 20 0 22 0 29136323 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681744267560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21052] ppid=21038 vsize=9824732 CPUtime=3.67 cores=0,2,4,6
/proc/21041/task/21052/stat : 21052 (java) S 21038 21041 18126 0 -1 4202560 2288 0 0 0 358 9 0 0 20 0 22 0 29136324 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681261939560 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21053] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21053/stat : 21053 (java) S 21038 21041 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29136324 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681260885880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21054] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21054/stat : 21054 (java) S 21038 21041 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29136324 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681259832712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21055] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21055/stat : 21055 (java) S 21038 21041 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29136326 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681258781456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21056] ppid=21038 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/21041/task/21056/stat : 21056 (java) S 21038 21041 18126 0 -1 4202560 9789 0 0 0 127 2 0 0 20 0 22 0 29136326 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681257728312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21057] ppid=21038 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/21041/task/21057/stat : 21057 (java) S 21038 21041 18126 0 -1 4202560 8562 0 0 0 175 3 0 0 20 0 22 0 29136326 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681256675768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21058] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21058/stat : 21058 (java) S 21038 21041 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29136326 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681255622904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21059] ppid=21038 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/21041/task/21059/stat : 21059 (java) S 21038 21041 18126 0 -1 4202560 47 0 0 0 15 16 0 0 20 0 22 0 29136326 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681254570568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21060] ppid=21038 vsize=9824732 CPUtime=811.69 cores=0,2,4,6
/proc/21041/task/21060/stat : 21060 (java) R 21038 21041 18126 0 -1 4202560 61 0 0 0 81155 14 0 0 20 0 22 0 29136372 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681253515200 139681749223889 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21061] ppid=21038 vsize=9824732 CPUtime=811.54 cores=0,2,4,6
/proc/21041/task/21061/stat : 21061 (java) R 21038 21041 18126 0 -1 4202560 1473 0 0 0 81104 50 0 0 20 0 22 0 29136372 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681252463760 139681749272442 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21041/tid=21062] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21062/stat : 21062 (java) S 21038 21041 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29136373 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681251411240 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21063] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21063/stat : 21063 (java) S 21038 21041 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29136373 10060525568 944187 33554432000 1073741824 1073778376 140736556977024 139681250358696 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1654.29
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.23 4.23 4.23 6/219 21155
/proc/meminfo: memFree=22840084/32872528 swapFree=1437460/1543748
[pid=21041] ppid=21038 vsize=9824732 CPUtime=1774.87 cores=0,2,4,6
/proc/21041/stat : 21041 (java) S 21038 21041 18126 0 -1 4202496 31922 0 1 0 177284 203 0 0 20 0 22 0 29136320 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 140736556968160 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21041/statm: 2456183 950331 2301 9 0 2446860 0
[pid=21041/tid=21043] ppid=21038 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/21041/task/21043/stat : 21043 (java) S 21038 21041 18126 0 -1 4202560 2486 0 1 0 50 3 0 0 20 0 22 0 29136321 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681908155256 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21044] ppid=21038 vsize=9824732 CPUtime=2.97 cores=0,2,4,6
/proc/21041/task/21044/stat : 21044 (java) S 21038 21041 18126 0 -1 4202560 743 0 0 0 281 16 0 0 20 0 22 0 29136322 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681869646760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21045] ppid=21038 vsize=9824732 CPUtime=3.27 cores=0,2,4,6
/proc/21041/task/21045/stat : 21045 (java) S 21038 21041 18126 0 -1 4202560 710 0 0 0 309 18 0 0 20 0 22 0 29136322 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681868594216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21046] ppid=21038 vsize=9824732 CPUtime=3.11 cores=0,2,4,6
/proc/21041/task/21046/stat : 21046 (java) S 21038 21041 18126 0 -1 4202560 828 0 0 0 295 16 0 0 20 0 22 0 29136323 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681867541160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21047] ppid=21038 vsize=9824732 CPUtime=3.13 cores=0,2,4,6
/proc/21041/task/21047/stat : 21047 (java) S 21038 21041 18126 0 -1 4202560 686 0 0 0 295 18 0 0 20 0 22 0 29136323 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681748478760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21048] ppid=21038 vsize=9824732 CPUtime=2.9 cores=0,2,4,6
/proc/21041/task/21048/stat : 21048 (java) S 21038 21041 18126 0 -1 4202560 677 0 0 0 271 19 0 0 20 0 22 0 29136323 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681747425704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21041/tid=21049] ppid=21038 vsize=9824732 CPUtime=2.92 cores=0,2,4,6
/proc/21041/task/21049/stat : 21049 (java) S 21038 21041 18126 0 -1 4202560 594 0 0 0 278 14 0 0 20 0 22 0 29136323 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681746373160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21050] ppid=21038 vsize=9824732 CPUtime=3.24 cores=0,2,4,6
/proc/21041/task/21050/stat : 21050 (java) S 21038 21041 18126 0 -1 4202560 774 0 0 0 304 20 0 0 20 0 22 0 29136323 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681745320104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21051] ppid=21038 vsize=9824732 CPUtime=3.43 cores=0,2,4,6
/proc/21041/task/21051/stat : 21051 (java) S 21038 21041 18126 0 -1 4202560 922 0 0 0 327 16 0 0 20 0 22 0 29136323 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681744267560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21052] ppid=21038 vsize=9824732 CPUtime=3.67 cores=0,2,4,6
/proc/21041/task/21052/stat : 21052 (java) S 21038 21041 18126 0 -1 4202560 2294 0 0 0 358 9 0 0 20 0 22 0 29136324 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681261939560 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21053] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21053/stat : 21053 (java) S 21038 21041 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29136324 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681260885880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21054] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21054/stat : 21054 (java) S 21038 21041 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29136324 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681259832712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21055] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21055/stat : 21055 (java) S 21038 21041 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29136326 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681258781456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21056] ppid=21038 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/21041/task/21056/stat : 21056 (java) S 21038 21041 18126 0 -1 4202560 9789 0 0 0 127 2 0 0 20 0 22 0 29136326 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681257728312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21057] ppid=21038 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/21041/task/21057/stat : 21057 (java) S 21038 21041 18126 0 -1 4202560 8562 0 0 0 175 3 0 0 20 0 22 0 29136326 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681256675768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21058] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21058/stat : 21058 (java) S 21038 21041 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29136326 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681255622904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21059] ppid=21038 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/21041/task/21059/stat : 21059 (java) S 21038 21041 18126 0 -1 4202560 51 0 0 0 17 17 0 0 20 0 22 0 29136326 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681254570568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21060] ppid=21038 vsize=9824732 CPUtime=871.34 cores=0,2,4,6
/proc/21041/task/21060/stat : 21060 (java) R 21038 21041 18126 0 -1 4202560 62 0 0 0 87119 15 0 0 20 0 22 0 29136372 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681253515200 139681749036242 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21041/tid=21061] ppid=21038 vsize=9824732 CPUtime=871.18 cores=0,2,4,6
/proc/21041/task/21061/stat : 21061 (java) R 21038 21041 18126 0 -1 4202560 1479 0 0 0 87067 51 0 0 20 0 22 0 29136372 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681252463760 139681749272507 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21062] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21062/stat : 21062 (java) S 21038 21041 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29136373 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681251411240 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21063] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21063/stat : 21063 (java) S 21038 21041 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29136373 10060525568 950331 33554432000 1073741824 1073778376 140736556977024 139681250358696 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1774.87
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+894.801 s]
/proc/loadavg: 4.27 4.24 4.23 5/219 21155
/proc/meminfo: memFree=22784796/32872528 swapFree=1437460/1543748
[pid=21041] ppid=21038 vsize=9824732 CPUtime=1800.09 cores=0,2,4,6
/proc/21041/stat : 21041 (java) S 21038 21041 18126 0 -1 4202496 31926 0 1 0 179805 204 0 0 20 0 22 0 29136320 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 140736556968160 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21041/statm: 2456183 950838 2301 9 0 2446860 0
[pid=21041/tid=21043] ppid=21038 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/21041/task/21043/stat : 21043 (java) S 21038 21041 18126 0 -1 4202560 2487 0 1 0 50 3 0 0 20 0 22 0 29136321 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681908155256 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21044] ppid=21038 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/21041/task/21044/stat : 21044 (java) S 21038 21041 18126 0 -1 4202560 743 0 0 0 285 16 0 0 20 0 22 0 29136322 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681869646760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21045] ppid=21038 vsize=9824732 CPUtime=3.37 cores=0,2,4,6
/proc/21041/task/21045/stat : 21045 (java) S 21038 21041 18126 0 -1 4202560 710 0 0 0 319 18 0 0 20 0 22 0 29136322 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681868594216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21046] ppid=21038 vsize=9824732 CPUtime=3.15 cores=0,2,4,6
/proc/21041/task/21046/stat : 21046 (java) S 21038 21041 18126 0 -1 4202560 828 0 0 0 299 16 0 0 20 0 22 0 29136323 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681867541160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21047] ppid=21038 vsize=9824732 CPUtime=3.22 cores=0,2,4,6
/proc/21041/task/21047/stat : 21047 (java) S 21038 21041 18126 0 -1 4202560 687 0 0 0 304 18 0 0 20 0 22 0 29136323 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681748478760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21048] ppid=21038 vsize=9824732 CPUtime=3 cores=0,2,4,6
/proc/21041/task/21048/stat : 21048 (java) S 21038 21041 18126 0 -1 4202560 677 0 0 0 281 19 0 0 20 0 22 0 29136323 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681747425704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21049] ppid=21038 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/21041/task/21049/stat : 21049 (java) S 21038 21041 18126 0 -1 4202560 594 0 0 0 284 14 0 0 20 0 22 0 29136323 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681746373160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21050] ppid=21038 vsize=9824732 CPUtime=3.27 cores=0,2,4,6
/proc/21041/task/21050/stat : 21050 (java) S 21038 21041 18126 0 -1 4202560 774 0 0 0 307 20 0 0 20 0 22 0 29136323 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681745320104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21051] ppid=21038 vsize=9824732 CPUtime=3.48 cores=0,2,4,6
/proc/21041/task/21051/stat : 21051 (java) S 21038 21041 18126 0 -1 4202560 923 0 0 0 332 16 0 0 20 0 22 0 29136323 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681744267560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21052] ppid=21038 vsize=9824732 CPUtime=3.68 cores=0,2,4,6
/proc/21041/task/21052/stat : 21052 (java) S 21038 21041 18126 0 -1 4202560 2294 0 0 0 358 10 0 0 20 0 22 0 29136324 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681261939560 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21053] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21053/stat : 21053 (java) S 21038 21041 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29136324 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681260885880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21054] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21054/stat : 21054 (java) S 21038 21041 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29136324 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681259832712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21055] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21055/stat : 21055 (java) S 21038 21041 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29136326 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681258781456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21056] ppid=21038 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/21041/task/21056/stat : 21056 (java) S 21038 21041 18126 0 -1 4202560 9789 0 0 0 127 2 0 0 20 0 22 0 29136326 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681257728312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21041/tid=21057] ppid=21038 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/21041/task/21057/stat : 21057 (java) S 21038 21041 18126 0 -1 4202560 8562 0 0 0 175 3 0 0 20 0 22 0 29136326 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681256675768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21058] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21058/stat : 21058 (java) S 21038 21041 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29136326 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681255622904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21059] ppid=21038 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/21041/task/21059/stat : 21059 (java) S 21038 21041 18126 0 -1 4202560 51 0 0 0 17 17 0 0 20 0 22 0 29136326 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681254570568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21041/tid=21060] ppid=21038 vsize=9824732 CPUtime=883.7 cores=0,2,4,6
/proc/21041/task/21060/stat : 21060 (java) R 21038 21041 18126 0 -1 4202560 62 0 0 0 88355 15 0 0 20 0 22 0 29136372 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681253515200 139681749249048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21041/tid=21061] ppid=21038 vsize=9824732 CPUtime=883.54 cores=0,2,4,6
/proc/21041/task/21061/stat : 21061 (java) R 21038 21041 18126 0 -1 4202560 1480 0 0 0 88303 51 0 0 20 0 22 0 29136372 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681252461664 139681749300157 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21062] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21062/stat : 21062 (java) S 21038 21041 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29136373 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681251411240 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21041/tid=21063] ppid=21038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21041/task/21063/stat : 21063 (java) S 21038 21041 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29136373 10060525568 950838 33554432000 1073741824 1073778376 140736556977024 139681250358696 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 21041 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 894.858
CPU time (s): 1800.76
CPU user time (s): 1798.21
CPU system time (s): 2.55061
CPU usage (%): 201.234
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.21
system time used= 2.55061
maximum resident set size= 3803468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31960
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24167
involuntary context switches= 31023
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.55316 second user time and 7.67483 second system time
The end