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-4100226-1466208330/watcher-4100226-1466208330 -o /tmp/evaluation-result-4100226-1466208330/solver-4100226-1466208330 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8353 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100226-1466208330.opb
pid=11278
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.33 3.92 4/197 11281
/proc/meminfo: memFree=27857252/32872528 swapFree=1499884/1696108
[pid=11281] ppid=11278 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/11281/stat : 11281 (java) D 11278 11281 8337 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 22878867 9515008 176 33554432000 1073741824 1073778376 140734829101168 140734829083896 225444709264 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/11281/statm: 2323 176 133 9 0 71 0
[startup+0.100058 s]
/proc/loadavg: 4.24 4.33 3.92 4/197 11281
/proc/meminfo: memFree=27857252/32872528 swapFree=1499884/1696108
[pid=11281] ppid=11278 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/11281/stat : 11281 (java) S 11278 11281 8337 0 -1 4202496 4322 0 1 0 7 1 0 0 20 0 18 0 22878867 9787879424 5449 33554432000 1073741824 1073778376 140736237152112 140736237143248 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 2389619 5449 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200216 s]
/proc/loadavg: 4.24 4.33 3.92 4/197 11281
/proc/meminfo: memFree=27857252/32872528 swapFree=1499884/1696108
[pid=11281] ppid=11278 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/11281/stat : 11281 (java) S 11278 11281 8337 0 -1 4202496 4765 0 1 0 22 2 0 0 20 0 18 0 22878867 9787879424 11433 33554432000 1073741824 1073778376 140736237152112 140736237143248 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 2389619 11433 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300231 s]
/proc/loadavg: 4.24 4.33 3.92 4/197 11281
/proc/meminfo: memFree=27857252/32872528 swapFree=1499884/1696108
[pid=11281] ppid=11278 vsize=9558476 CPUtime=0.53 cores=0,2,4,6
/proc/11281/stat : 11281 (java) S 11278 11281 8337 0 -1 4202496 6711 0 1 0 51 2 0 0 20 0 18 0 22878867 9787879424 14163 33554432000 1073741824 1073778376 140736237152112 140736237143248 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 2389619 14163 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476
[startup+0.70019 s]
/proc/loadavg: 4.24 4.33 3.92 4/197 11281
/proc/meminfo: memFree=27857252/32872528 swapFree=1499884/1696108
[pid=11281] ppid=11278 vsize=9558476 CPUtime=1.64 cores=0,2,4,6
/proc/11281/stat : 11281 (java) S 11278 11281 8337 0 -1 4202496 18191 0 1 0 159 5 0 0 20 0 18 0 22878867 9787879424 43667 33554432000 1073741824 1073778376 140736237152112 140736237143248 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 2389619 43667 2260 9 0 2380296 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9558476
[startup+1.50081 s]
/proc/loadavg: 4.24 4.33 3.92 4/215 11299
/proc/meminfo: memFree=27559332/32872528 swapFree=1499884/1696108
[pid=11281] ppid=11278 vsize=9558476 CPUtime=2.86 cores=0,2,4,6
/proc/11281/stat : 11281 (java) S 11278 11281 8337 0 -1 4202496 18970 0 1 0 266 20 0 0 20 0 18 0 22878867 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 140736237143248 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 2389619 98452 2276 9 0 2380296 0
[pid=11281/tid=11283] ppid=11278 vsize=9558476 CPUtime=1.31 cores=0,2,4,6
/proc/11281/task/11283/stat : 11283 (java) R 11278 11281 8337 0 -1 4202560 2523 0 1 0 126 5 0 0 20 0 18 0 22878868 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 139721790984144 139721731186363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11284] ppid=11278 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/11281/task/11284/stat : 11284 (java) S 11278 11281 8337 0 -1 4202560 37 0 0 0 4 2 0 0 20 0 18 0 22878869 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 139721729723304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11285] ppid=11278 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/11281/task/11285/stat : 11285 (java) S 11278 11281 8337 0 -1 4202560 30 0 0 0 4 1 0 0 20 0 18 0 22878869 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 139721633905704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11286] ppid=11278 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/11281/task/11286/stat : 11286 (java) S 11278 11281 8337 0 -1 4202560 115 0 0 0 2 1 0 0 20 0 18 0 22878869 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 139721632852648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11287] ppid=11278 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/11281/task/11287/stat : 11287 (java) S 11278 11281 8337 0 -1 4202560 208 0 0 0 6 3 0 0 20 0 18 0 22878869 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 139721631800104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11288] ppid=11278 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/11281/task/11288/stat : 11288 (java) S 11278 11281 8337 0 -1 4202560 104 0 0 0 4 1 0 0 20 0 18 0 22878869 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 139721630747048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11289] ppid=11278 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/11281/task/11289/stat : 11289 (java) S 11278 11281 8337 0 -1 4202560 116 0 0 0 5 2 0 0 20 0 18 0 22878869 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 139721629694504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11290] ppid=11278 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/11281/task/11290/stat : 11290 (java) S 11278 11281 8337 0 -1 4202560 28 0 0 0 3 1 0 0 20 0 18 0 22878869 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 139721628641448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11291] ppid=11278 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/11281/task/11291/stat : 11291 (java) S 11278 11281 8337 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 18 0 22878869 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 139721627588904 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11292] ppid=11278 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11292/stat : 11292 (java) S 11278 11281 8337 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 22878870 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 139721615178600 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11293] ppid=11278 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11293/stat : 11293 (java) S 11278 11281 8337 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 22878871 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 139721614124920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11294] ppid=11278 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11294/stat : 11294 (java) S 11278 11281 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 22878871 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 139721613071752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11295] ppid=11278 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11295/stat : 11295 (java) S 11278 11281 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22878873 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 139721612020496 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11296] ppid=11278 vsize=9558476 CPUtime=0.43 cores=0,2,4,6
/proc/11281/task/11296/stat : 11296 (java) S 11278 11281 8337 0 -1 4202560 5130 0 0 0 42 1 0 0 20 0 18 0 22878873 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 139721610967352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11297] ppid=11278 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/11281/task/11297/stat : 11297 (java) S 11278 11281 8337 0 -1 4202560 9328 0 0 0 50 2 0 0 20 0 18 0 22878873 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 139721609914808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11298] ppid=11278 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11298/stat : 11298 (java) S 11278 11281 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22878873 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 139721608861944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11299] ppid=11278 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11299/stat : 11299 (java) S 11278 11281 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22878873 9787879424 98452 33554432000 1073741824 1073778376 140736237152112 139721607809608 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 9558476
[startup+3.10079 s]
/proc/loadavg: 4.14 4.31 3.91 11/215 11299
/proc/meminfo: memFree=27292044/32872528 swapFree=1499884/1696108
[pid=11281] ppid=11278 vsize=9558476 CPUtime=5.31 cores=0,2,4,6
/proc/11281/stat : 11281 (java) S 11278 11281 8337 0 -1 4202496 20506 0 1 0 485 46 0 0 20 0 18 0 22878867 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 140736237143248 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 2389619 163576 2284 9 0 2380296 0
[pid=11281/tid=11283] ppid=11278 vsize=9558476 CPUtime=2.03 cores=0,2,4,6
/proc/11281/task/11283/stat : 11283 (java) R 11278 11281 8337 0 -1 4202560 2534 0 1 0 198 5 0 0 20 0 18 0 22878868 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 139721790984160 139721731422979 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11284] ppid=11278 vsize=9558476 CPUtime=0.15 cores=0,2,4,6
/proc/11281/task/11284/stat : 11284 (java) S 11278 11281 8337 0 -1 4202560 220 0 0 0 11 4 0 0 20 0 18 0 22878869 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 139721729723304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11285] ppid=11278 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/11281/task/11285/stat : 11285 (java) S 11278 11281 8337 0 -1 4202560 273 0 0 0 21 6 0 0 20 0 18 0 22878869 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 139721633905704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11286] ppid=11278 vsize=9558476 CPUtime=0.12 cores=0,2,4,6
/proc/11281/task/11286/stat : 11286 (java) S 11278 11281 8337 0 -1 4202560 148 0 0 0 9 3 0 0 20 0 18 0 22878869 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 139721632852648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11281/tid=11287] ppid=11278 vsize=9558476 CPUtime=0.19 cores=0,2,4,6
/proc/11281/task/11287/stat : 11287 (java) S 11278 11281 8337 0 -1 4202560 245 0 0 0 14 5 0 0 20 0 18 0 22878869 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 139721631800104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11288] ppid=11278 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/11281/task/11288/stat : 11288 (java) S 11278 11281 8337 0 -1 4202560 176 0 0 0 17 5 0 0 20 0 18 0 22878869 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 139721630747048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11281/tid=11289] ppid=11278 vsize=9558476 CPUtime=0.2 cores=0,2,4,6
/proc/11281/task/11289/stat : 11289 (java) S 11278 11281 8337 0 -1 4202560 174 0 0 0 15 5 0 0 20 0 18 0 22878869 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 139721629694504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11281/tid=11290] ppid=11278 vsize=9558476 CPUtime=0.2 cores=0,2,4,6
/proc/11281/task/11290/stat : 11290 (java) S 11278 11281 8337 0 -1 4202560 285 0 0 0 15 5 0 0 20 0 18 0 22878869 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 139721628641448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11281/tid=11291] ppid=11278 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/11281/task/11291/stat : 11291 (java) S 11278 11281 8337 0 -1 4202560 290 0 0 0 18 5 0 0 20 0 18 0 22878869 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 139721627588904 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11292] ppid=11278 vsize=9558476 CPUtime=0.58 cores=0,2,4,6
/proc/11281/task/11292/stat : 11292 (java) S 11278 11281 8337 0 -1 4202560 450 0 0 0 58 0 0 0 20 0 18 0 22878870 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 139721615178600 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11293] ppid=11278 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11293/stat : 11293 (java) S 11278 11281 8337 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 22878871 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 139721614124920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11294] ppid=11278 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11294/stat : 11294 (java) S 11278 11281 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 22878871 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 139721613071752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11295] ppid=11278 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11295/stat : 11295 (java) S 11278 11281 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22878873 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 139721612020496 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11296] ppid=11278 vsize=9558476 CPUtime=0.43 cores=0,2,4,6
/proc/11281/task/11296/stat : 11296 (java) S 11278 11281 8337 0 -1 4202560 5130 0 0 0 42 1 0 0 20 0 18 0 22878873 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 139721610967352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11297] ppid=11278 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/11281/task/11297/stat : 11297 (java) S 11278 11281 8337 0 -1 4202560 9328 0 0 0 50 2 0 0 20 0 18 0 22878873 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 139721609914808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11298] ppid=11278 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11298/stat : 11298 (java) S 11278 11281 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22878873 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 139721608861944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11299] ppid=11278 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11299/stat : 11299 (java) S 11278 11281 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22878873 9787879424 163576 33554432000 1073741824 1073778376 140736237152112 139721607809608 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 9558476
[startup+6.30081 s]
/proc/loadavg: 4.14 4.31 3.91 4/215 11299
/proc/meminfo: memFree=26819760/32872528 swapFree=1499884/1696108
[pid=11281] ppid=11278 vsize=9558476 CPUtime=9.81 cores=0,2,4,6
/proc/11281/stat : 11281 (java) S 11278 11281 8337 0 -1 4202496 22857 0 1 0 900 81 0 0 20 0 18 0 22878867 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 140736237143248 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 2389619 292234 2284 9 0 2380296 0
[pid=11281/tid=11283] ppid=11278 vsize=9558476 CPUtime=3.87 cores=0,2,4,6
/proc/11281/task/11283/stat : 11283 (java) R 11278 11281 8337 0 -1 4202560 2817 0 1 0 378 9 0 0 20 0 18 0 22878868 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 139721790990440 139721731192117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11284] ppid=11278 vsize=9558476 CPUtime=0.4 cores=0,2,4,6
/proc/11281/task/11284/stat : 11284 (java) S 11278 11281 8337 0 -1 4202560 311 0 0 0 31 9 0 0 20 0 18 0 22878869 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 139721729723304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11285] ppid=11278 vsize=9558476 CPUtime=0.43 cores=0,2,4,6
/proc/11281/task/11285/stat : 11285 (java) S 11278 11281 8337 0 -1 4202560 353 0 0 0 34 9 0 0 20 0 18 0 22878869 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 139721633905704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11286] ppid=11278 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/11281/task/11286/stat : 11286 (java) S 11278 11281 8337 0 -1 4202560 524 0 0 0 22 6 0 0 20 0 18 0 22878869 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 139721632852648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11281/tid=11287] ppid=11278 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/11281/task/11287/stat : 11287 (java) S 11278 11281 8337 0 -1 4202560 595 0 0 0 36 10 0 0 20 0 18 0 22878869 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 139721631800104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11288] ppid=11278 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/11281/task/11288/stat : 11288 (java) S 11278 11281 8337 0 -1 4202560 264 0 0 0 37 10 0 0 20 0 18 0 22878869 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 139721630747048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11289] ppid=11278 vsize=9558476 CPUtime=0.41 cores=0,2,4,6
/proc/11281/task/11289/stat : 11289 (java) S 11278 11281 8337 0 -1 4202560 316 0 0 0 33 8 0 0 20 0 18 0 22878869 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 139721629694504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11290] ppid=11278 vsize=9558476 CPUtime=0.31 cores=0,2,4,6
/proc/11281/task/11290/stat : 11290 (java) S 11278 11281 8337 0 -1 4202560 492 0 0 0 24 7 0 0 20 0 18 0 22878869 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 139721628641448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11291] ppid=11278 vsize=9558476 CPUtime=0.53 cores=0,2,4,6
/proc/11281/task/11291/stat : 11291 (java) S 11278 11281 8337 0 -1 4202560 406 0 0 0 41 12 0 0 20 0 18 0 22878869 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 139721627588904 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11292] ppid=11278 vsize=9558476 CPUtime=1.5 cores=0,2,4,6
/proc/11281/task/11292/stat : 11292 (java) S 11278 11281 8337 0 -1 4202560 1068 0 0 0 150 0 0 0 20 0 18 0 22878870 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 139721615178600 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11293] ppid=11278 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11293/stat : 11293 (java) S 11278 11281 8337 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 22878871 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 139721614124920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11294] ppid=11278 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11294/stat : 11294 (java) S 11278 11281 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 22878871 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 139721613071752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11295] ppid=11278 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11295/stat : 11295 (java) S 11278 11281 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22878873 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 139721612020496 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11296] ppid=11278 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/11281/task/11296/stat : 11296 (java) S 11278 11281 8337 0 -1 4202560 5130 0 0 0 45 1 0 0 20 0 18 0 22878873 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 139721610967352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11297] ppid=11278 vsize=9558476 CPUtime=0.54 cores=0,2,4,6
/proc/11281/task/11297/stat : 11297 (java) S 11278 11281 8337 0 -1 4202560 9328 0 0 0 52 2 0 0 20 0 18 0 22878873 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 139721609914808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11298] ppid=11278 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11298/stat : 11298 (java) S 11278 11281 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22878873 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 139721608861944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11299] ppid=11278 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11299/stat : 11299 (java) S 11278 11281 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22878873 9787879424 292234 33554432000 1073741824 1073778376 140736237152112 139721607809608 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9.81
Current children cumulated vsize (KiB) 9558476
[startup+12.7009 s]
/proc/loadavg: 4.12 4.30 3.91 9/219 11303
/proc/meminfo: memFree=25973752/32872528 swapFree=1499884/1696108
[pid=11281] ppid=11278 vsize=9824732 CPUtime=22.9 cores=0,2,4,6
/proc/11281/stat : 11281 (java) S 11278 11281 8337 0 -1 4202496 25376 0 1 0 2133 157 0 0 20 0 22 0 22878867 10060525568 476840 33554432000 1073741824 1073778376 140736237152112 140736237143248 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 2456183 476840 2293 9 0 2446860 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.38 4.39 4.18 5/219 11470
/proc/meminfo: memFree=23452496/32872528 swapFree=1499884/1696108
[pid=11281] ppid=11278 vsize=9824732 CPUtime=1663.88 cores=0,2,4,6
/proc/11281/stat : 11281 (java) S 11278 11281 8337 0 -1 4202496 32337 0 1 0 165991 397 0 0 20 0 22 0 22878867 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 140736237143248 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 2456183 988503 2298 9 0 2446860 0
[pid=11281/tid=11283] ppid=11278 vsize=9824732 CPUtime=5.99 cores=0,2,4,6
/proc/11281/task/11283/stat : 11283 (java) S 11278 11281 8337 0 -1 4202560 3392 0 1 0 586 13 0 0 20 0 22 0 22878868 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721790993272 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11284] ppid=11278 vsize=9824732 CPUtime=7.17 cores=0,2,4,6
/proc/11281/task/11284/stat : 11284 (java) S 11278 11281 8337 0 -1 4202560 1145 0 0 0 672 45 0 0 20 0 22 0 22878869 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721729723304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11281/tid=11285] ppid=11278 vsize=9824732 CPUtime=7.1 cores=0,2,4,6
/proc/11281/task/11285/stat : 11285 (java) S 11278 11281 8337 0 -1 4202560 1216 0 0 0 662 48 0 0 20 0 22 0 22878869 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721633905704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11286] ppid=11278 vsize=9824732 CPUtime=6.7 cores=0,2,4,6
/proc/11281/task/11286/stat : 11286 (java) S 11278 11281 8337 0 -1 4202560 1333 0 0 0 628 42 0 0 20 0 22 0 22878869 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721632852648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11287] ppid=11278 vsize=9824732 CPUtime=6.74 cores=0,2,4,6
/proc/11281/task/11287/stat : 11287 (java) S 11278 11281 8337 0 -1 4202560 1411 0 0 0 624 50 0 0 20 0 22 0 22878869 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721631800104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11288] ppid=11278 vsize=9824732 CPUtime=6.36 cores=0,2,4,6
/proc/11281/task/11288/stat : 11288 (java) S 11278 11281 8337 0 -1 4202560 1453 0 0 0 594 42 0 0 20 0 22 0 22878869 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721630747048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11289] ppid=11278 vsize=9824732 CPUtime=6.21 cores=0,2,4,6
/proc/11281/task/11289/stat : 11289 (java) S 11278 11281 8337 0 -1 4202560 1162 0 0 0 581 40 0 0 20 0 22 0 22878869 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721629694504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11290] ppid=11278 vsize=9824732 CPUtime=6.75 cores=0,2,4,6
/proc/11281/task/11290/stat : 11290 (java) S 11278 11281 8337 0 -1 4202560 1132 0 0 0 639 36 0 0 20 0 22 0 22878869 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721628641448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11291] ppid=11278 vsize=9824732 CPUtime=7.5 cores=0,2,4,6
/proc/11281/task/11291/stat : 11291 (java) S 11278 11281 8337 0 -1 4202560 1252 0 0 0 697 53 0 0 20 0 22 0 22878869 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721627588904 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11292] ppid=11278 vsize=9824732 CPUtime=4.1 cores=0,2,4,6
/proc/11281/task/11292/stat : 11292 (java) S 11278 11281 8337 0 -1 4202560 2930 0 0 0 403 7 0 0 20 0 22 0 22878870 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721615178600 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11293] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11293/stat : 11293 (java) S 11278 11281 8337 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 22878871 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721614124920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11294] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11294/stat : 11294 (java) S 11278 11281 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22878871 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721613071752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11295] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11295/stat : 11295 (java) S 11278 11281 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22878873 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721612020496 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11296] ppid=11278 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
/proc/11281/task/11296/stat : 11296 (java) S 11278 11281 8337 0 -1 4202560 5145 0 0 0 154 2 0 0 20 0 22 0 22878873 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721610967352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11281/tid=11297] ppid=11278 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/11281/task/11297/stat : 11297 (java) S 11278 11281 8337 0 -1 4202560 9351 0 0 0 121 2 0 0 20 0 22 0 22878873 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721609914808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11298] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11298/stat : 11298 (java) S 11278 11281 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22878873 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721608861944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11299] ppid=11278 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/11281/task/11299/stat : 11299 (java) S 11278 11281 8337 0 -1 4202560 47 0 0 0 13 14 0 0 20 0 22 0 22878873 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721607809608 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11300] ppid=11278 vsize=9824732 CPUtime=798.13 cores=0,2,4,6
/proc/11281/task/11300/stat : 11300 (java) R 11278 11281 8337 0 -1 4202560 46 0 0 0 79799 14 0 0 20 0 22 0 22879737 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721606746512 139721731388484 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11301] ppid=11278 vsize=9824732 CPUtime=798.17 cores=0,2,4,6
/proc/11281/task/11301/stat : 11301 (java) R 11278 11281 8337 0 -1 4202560 55 0 0 0 79803 14 0 0 20 0 22 0 22879737 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721605700496 139721731656751 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11302] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11302/stat : 11302 (java) S 11278 11281 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22879756 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721604650280 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11303] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11303/stat : 11303 (java) S 11278 11281 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22879761 10060525568 988503 33554432000 1073741824 1073778376 140736237152112 139721603597736 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1663.88
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.46 4.40 4.19 6/220 11474
/proc/meminfo: memFree=23488436/32872528 swapFree=1499884/1696108
[pid=11281] ppid=11278 vsize=9824732 CPUtime=1784.72 cores=0,2,4,6
/proc/11281/stat : 11281 (java) S 11278 11281 8337 0 -1 4202496 32374 0 1 0 178074 398 0 0 20 0 22 0 22878867 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 140736237143248 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 2456183 990572 2298 9 0 2446860 0
[pid=11281/tid=11283] ppid=11278 vsize=9824732 CPUtime=5.99 cores=0,2,4,6
/proc/11281/task/11283/stat : 11283 (java) S 11278 11281 8337 0 -1 4202560 3392 0 1 0 586 13 0 0 20 0 22 0 22878868 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721790993272 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11284] ppid=11278 vsize=9824732 CPUtime=7.45 cores=0,2,4,6
/proc/11281/task/11284/stat : 11284 (java) S 11278 11281 8337 0 -1 4202560 1146 0 0 0 700 45 0 0 20 0 22 0 22878869 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721729723304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11281/tid=11285] ppid=11278 vsize=9824732 CPUtime=7.26 cores=0,2,4,6
/proc/11281/task/11285/stat : 11285 (java) S 11278 11281 8337 0 -1 4202560 1216 0 0 0 678 48 0 0 20 0 22 0 22878869 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721633905704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11286] ppid=11278 vsize=9824732 CPUtime=6.81 cores=0,2,4,6
/proc/11281/task/11286/stat : 11286 (java) S 11278 11281 8337 0 -1 4202560 1333 0 0 0 639 42 0 0 20 0 22 0 22878869 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721632852648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11287] ppid=11278 vsize=9824732 CPUtime=6.89 cores=0,2,4,6
/proc/11281/task/11287/stat : 11287 (java) S 11278 11281 8337 0 -1 4202560 1414 0 0 0 639 50 0 0 20 0 22 0 22878869 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721631800104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11288] ppid=11278 vsize=9824732 CPUtime=6.54 cores=0,2,4,6
/proc/11281/task/11288/stat : 11288 (java) S 11278 11281 8337 0 -1 4202560 1453 0 0 0 611 43 0 0 20 0 22 0 22878869 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721630747048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11281/tid=11289] ppid=11278 vsize=9824732 CPUtime=6.61 cores=0,2,4,6
/proc/11281/task/11289/stat : 11289 (java) S 11278 11281 8337 0 -1 4202560 1163 0 0 0 620 41 0 0 20 0 22 0 22878869 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721629694504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11290] ppid=11278 vsize=9824732 CPUtime=7.09 cores=0,2,4,6
/proc/11281/task/11290/stat : 11290 (java) S 11278 11281 8337 0 -1 4202560 1133 0 0 0 673 36 0 0 20 0 22 0 22878869 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721628641448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11281/tid=11291] ppid=11278 vsize=9824732 CPUtime=7.64 cores=0,2,4,6
/proc/11281/task/11291/stat : 11291 (java) S 11278 11281 8337 0 -1 4202560 1252 0 0 0 711 53 0 0 20 0 22 0 22878869 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721627588904 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11292] ppid=11278 vsize=9824732 CPUtime=4.1 cores=0,2,4,6
/proc/11281/task/11292/stat : 11292 (java) S 11278 11281 8337 0 -1 4202560 2955 0 0 0 403 7 0 0 20 0 22 0 22878870 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721615178600 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11293] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11293/stat : 11293 (java) S 11278 11281 8337 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 22878871 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721614124920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11294] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11294/stat : 11294 (java) S 11278 11281 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22878871 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721613071752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11295] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11295/stat : 11295 (java) S 11278 11281 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22878873 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721612020496 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11296] ppid=11278 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
/proc/11281/task/11296/stat : 11296 (java) S 11278 11281 8337 0 -1 4202560 5145 0 0 0 154 2 0 0 20 0 22 0 22878873 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721610967352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11281/tid=11297] ppid=11278 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/11281/task/11297/stat : 11297 (java) S 11278 11281 8337 0 -1 4202560 9351 0 0 0 121 2 0 0 20 0 22 0 22878873 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721609914808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11298] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11298/stat : 11298 (java) S 11278 11281 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22878873 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721608861944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11299] ppid=11278 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/11281/task/11299/stat : 11299 (java) S 11278 11281 8337 0 -1 4202560 51 0 0 0 14 15 0 0 20 0 22 0 22878873 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721607809608 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11300] ppid=11278 vsize=9824732 CPUtime=857.68 cores=0,2,4,6
/proc/11281/task/11300/stat : 11300 (java) R 11278 11281 8337 0 -1 4202560 46 0 0 0 85753 15 0 0 20 0 22 0 22879737 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721606753360 139721731604697 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11301] ppid=11278 vsize=9824732 CPUtime=857.73 cores=0,2,4,6
/proc/11281/task/11301/stat : 11301 (java) R 11278 11281 8337 0 -1 4202560 57 0 0 0 85758 15 0 0 20 0 22 0 22879737 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721605701296 139721731656738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11302] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11302/stat : 11302 (java) S 11278 11281 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22879756 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721604650280 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11303] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11303/stat : 11303 (java) S 11278 11281 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22879761 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721603597736 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1784.72
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+890.008 s]
/proc/loadavg: 4.39 4.39 4.19 5/220 11475
/proc/meminfo: memFree=23487692/32872528 swapFree=1499884/1696108
[pid=11281] ppid=11278 vsize=9824732 CPUtime=1800.12 cores=0,2,4,6
/proc/11281/stat : 11281 (java) S 11278 11281 8337 0 -1 4202496 32374 0 1 0 179613 399 0 0 20 0 22 0 22878867 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 140736237143248 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 2456183 990572 2298 9 0 2446860 0
[pid=11281/tid=11283] ppid=11278 vsize=9824732 CPUtime=5.99 cores=0,2,4,6
/proc/11281/task/11283/stat : 11283 (java) S 11278 11281 8337 0 -1 4202560 3392 0 1 0 586 13 0 0 20 0 22 0 22878868 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721790993272 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11284] ppid=11278 vsize=9824732 CPUtime=7.45 cores=0,2,4,6
/proc/11281/task/11284/stat : 11284 (java) S 11278 11281 8337 0 -1 4202560 1146 0 0 0 700 45 0 0 20 0 22 0 22878869 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721729723304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11281/tid=11285] ppid=11278 vsize=9824732 CPUtime=7.26 cores=0,2,4,6
/proc/11281/task/11285/stat : 11285 (java) S 11278 11281 8337 0 -1 4202560 1216 0 0 0 678 48 0 0 20 0 22 0 22878869 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721633905704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11286] ppid=11278 vsize=9824732 CPUtime=6.81 cores=0,2,4,6
/proc/11281/task/11286/stat : 11286 (java) S 11278 11281 8337 0 -1 4202560 1333 0 0 0 639 42 0 0 20 0 22 0 22878869 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721632852648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11287] ppid=11278 vsize=9824732 CPUtime=6.89 cores=0,2,4,6
/proc/11281/task/11287/stat : 11287 (java) S 11278 11281 8337 0 -1 4202560 1414 0 0 0 639 50 0 0 20 0 22 0 22878869 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721631800104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11288] ppid=11278 vsize=9824732 CPUtime=6.54 cores=0,2,4,6
/proc/11281/task/11288/stat : 11288 (java) S 11278 11281 8337 0 -1 4202560 1453 0 0 0 611 43 0 0 20 0 22 0 22878869 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721630747048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11281/tid=11289] ppid=11278 vsize=9824732 CPUtime=6.61 cores=0,2,4,6
/proc/11281/task/11289/stat : 11289 (java) S 11278 11281 8337 0 -1 4202560 1163 0 0 0 620 41 0 0 20 0 22 0 22878869 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721629694504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11290] ppid=11278 vsize=9824732 CPUtime=7.09 cores=0,2,4,6
/proc/11281/task/11290/stat : 11290 (java) S 11278 11281 8337 0 -1 4202560 1133 0 0 0 673 36 0 0 20 0 22 0 22878869 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721628641448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11281/tid=11291] ppid=11278 vsize=9824732 CPUtime=7.64 cores=0,2,4,6
/proc/11281/task/11291/stat : 11291 (java) S 11278 11281 8337 0 -1 4202560 1252 0 0 0 711 53 0 0 20 0 22 0 22878869 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721627588904 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11292] ppid=11278 vsize=9824732 CPUtime=4.1 cores=0,2,4,6
/proc/11281/task/11292/stat : 11292 (java) S 11278 11281 8337 0 -1 4202560 2955 0 0 0 403 7 0 0 20 0 22 0 22878870 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721615178600 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11293] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11293/stat : 11293 (java) S 11278 11281 8337 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 22878871 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721614124920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11294] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11294/stat : 11294 (java) S 11278 11281 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22878871 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721613071752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11295] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11295/stat : 11295 (java) S 11278 11281 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22878873 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721612020496 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11296] ppid=11278 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
/proc/11281/task/11296/stat : 11296 (java) S 11278 11281 8337 0 -1 4202560 5145 0 0 0 154 2 0 0 20 0 22 0 22878873 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721610967352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11281/tid=11297] ppid=11278 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/11281/task/11297/stat : 11297 (java) S 11278 11281 8337 0 -1 4202560 9351 0 0 0 121 2 0 0 20 0 22 0 22878873 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721609914808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11298] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11298/stat : 11298 (java) S 11278 11281 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22878873 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721608861944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11281/tid=11299] ppid=11278 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/11281/task/11299/stat : 11299 (java) S 11278 11281 8337 0 -1 4202560 51 0 0 0 14 15 0 0 20 0 22 0 22878873 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721607809608 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11300] ppid=11278 vsize=9824732 CPUtime=865.38 cores=0,2,4,6
/proc/11281/task/11300/stat : 11300 (java) R 11278 11281 8337 0 -1 4202560 46 0 0 0 86523 15 0 0 20 0 22 0 22879737 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721606753360 139721731406391 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11281/tid=11301] ppid=11278 vsize=9824732 CPUtime=865.43 cores=0,2,4,6
/proc/11281/task/11301/stat : 11301 (java) R 11278 11281 8337 0 -1 4202560 57 0 0 0 86528 15 0 0 20 0 22 0 22879737 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721605701296 139721731656738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11302] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11302/stat : 11302 (java) S 11278 11281 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22879756 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721604650280 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11281/tid=11303] ppid=11278 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11281/task/11303/stat : 11303 (java) S 11278 11281 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22879761 10060525568 990572 33554432000 1073741824 1073778376 140736237152112 139721603597736 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
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 11281 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 890.061
CPU time (s): 1800.7
CPU user time (s): 1796.26
CPU system time (s): 4.44332
CPU usage (%): 202.312
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.26
system time used= 4.44332
maximum resident set size= 4000384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32410
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23305
involuntary context switches= 24977
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62499 second user time and 6.26305 second system time
The end