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-4249970-1500695979/watcher-4249970-1500695979 -o /tmp/evaluation-result-4249970-1500695979/solver-4249970-1500695979 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7775 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 93532486 HOME/instance-4249970-1500695979.xml
pid=8244
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 13.95 11.44 12.26 10/270 8247
/proc/meminfo: memFree=27962932/32770624 swapFree=5880/297360
[pid=8247] ppid=8244 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8247/stat : 8247 (xcsp3-exec) S 8244 8247 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4865620 9740288 346 33554432000 4194304 5098028 140737019218128 140737019216232 139793761219196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9003008 140737019221136 140737019221344 140737019221344 140737019224043 0
/proc/8247/statm: 2378 346 289 221 0 87 0
[startup+0.100064 s]
/proc/loadavg: 13.95 11.44 12.26 10/270 8247
/proc/meminfo: memFree=27962932/32770624 swapFree=5880/297360
[pid=8247] ppid=8244 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8247/stat : 8247 (xcsp3-exec) S 8244 8247 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4865620 9740288 346 33554432000 4194304 5098028 140737019218128 140737019216232 139793761219196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9003008 140737019221136 140737019221344 140737019221344 140737019224043 0
/proc/8247/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200263 s]
/proc/loadavg: 13.95 11.44 12.26 10/270 8247
/proc/meminfo: memFree=27962932/32770624 swapFree=5880/297360
[pid=8247] ppid=8244 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8247/stat : 8247 (xcsp3-exec) S 8244 8247 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4865620 9740288 346 33554432000 4194304 5098028 140737019218128 140737019216232 139793761219196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9003008 140737019221136 140737019221344 140737019221344 140737019224043 0
/proc/8247/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300267 s]
/proc/loadavg: 13.95 11.44 12.26 10/270 8247
/proc/meminfo: memFree=27962932/32770624 swapFree=5880/297360
[pid=8247] ppid=8244 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8247/stat : 8247 (xcsp3-exec) S 8244 8247 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4865620 9740288 346 33554432000 4194304 5098028 140737019218128 140737019216232 139793761219196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9003008 140737019221136 140737019221344 140737019221344 140737019224043 0
/proc/8247/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700235 s]
/proc/loadavg: 13.95 11.44 12.26 10/270 8247
/proc/meminfo: memFree=27962932/32770624 swapFree=5880/297360
[pid=8247] ppid=8244 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8247/stat : 8247 (xcsp3-exec) S 8244 8247 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4865620 9740288 346 33554432000 4194304 5098028 140737019218128 140737019216232 139793761219196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9003008 140737019221136 140737019221344 140737019221344 140737019224043 0
/proc/8247/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5009 s]
/proc/loadavg: 13.95 11.44 12.26 11/291 8268
/proc/meminfo: memFree=27745180/32770624 swapFree=5880/297444
[pid=8247] ppid=8244 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8247/stat : 8247 (xcsp3-exec) S 8244 8247 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4865620 9740288 346 33554432000 4194304 5098028 140737019218128 140737019216232 139793761219196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9003008 140737019221136 140737019221344 140737019221344 140737019224043 0
/proc/8247/statm: 2378 346 289 221 0 87 0
[pid=8248] ppid=8247 vsize=13269256 CPUtime=3.96 cores=0,2,4,6,8,10,12,14
/proc/8248/stat : 8248 (java) S 8247 8247 7744 0 -1 1077944320 14784 0 0 0 343 53 0 0 20 0 20 0 4865620 13587718144 100332 33554432000 4194304 4196468 140735658099584 140735658082128 140654207729399 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
/proc/8248/statm: 3317314 100332 3231 1 0 3304547 0
[pid=8248/tid=8249] ppid=8247 vsize=13269256 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8249/stat : 8249 (java) R 8247 8247 7744 0 -1 4202560 6693 0 0 0 128 6 0 0 20 0 20 0 4865621 13587718144 100332 33554432000 4194304 4196468 140735658099584 140654211967392 140653824447868 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8251] ppid=8247 vsize=13269256 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8251/stat : 8251 (java) S 8247 8247 7744 0 -1 1077944384 113 0 0 0 6 5 0 0 20 0 20 0 4865622 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653806718096 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8252] ppid=8247 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8252/stat : 8252 (java) S 8247 8247 7744 0 -1 1077944384 102 0 0 0 5 5 0 0 20 0 20 0 4865622 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653805665296 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8253] ppid=8247 vsize=13269256 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8253/stat : 8253 (java) S 8247 8247 7744 0 -1 1077944384 107 0 0 0 5 6 0 0 20 0 20 0 4865622 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653804612496 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8254] ppid=8247 vsize=13269256 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8254/stat : 8254 (java) S 8247 8247 7744 0 -1 1077944384 123 0 0 0 6 5 0 0 20 0 20 0 4865622 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653803559696 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8255] ppid=8247 vsize=13269256 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8255/stat : 8255 (java) S 8247 8247 7744 0 -1 1077944384 104 0 0 0 6 5 0 0 20 0 20 0 4865622 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653802506896 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8256] ppid=8247 vsize=13269256 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8256/stat : 8256 (java) S 8247 8247 7744 0 -1 1077944384 105 0 0 0 6 5 0 0 20 0 20 0 4865622 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653801454096 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8257] ppid=8247 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8257/stat : 8257 (java) S 8247 8247 7744 0 -1 1077944384 106 0 0 0 6 4 0 0 20 0 20 0 4865622 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653800401296 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8258] ppid=8247 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8258/stat : 8258 (java) S 8247 8247 7744 0 -1 1077944384 86 0 0 0 4 5 0 0 20 0 20 0 4865622 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653799348496 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8259] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8259/stat : 8259 (java) S 8247 8247 7744 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 20 0 4865624 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653535161200 140654207740546 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8260] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8260/stat : 8260 (java) S 8247 8247 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4865625 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653534107168 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8261] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8261/stat : 8261 (java) S 8247 8247 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4865625 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653533054320 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8262] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8262/stat : 8262 (java) S 8247 8247 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4865630 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653532002640 140654207747995 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8263] ppid=8247 vsize=13269256 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8263/stat : 8263 (java) S 8247 8247 7744 0 -1 1077944384 1766 0 0 0 46 0 0 0 20 0 20 0 4865630 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653530950000 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8264] ppid=8247 vsize=13269256 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8264/stat : 8264 (java) S 8247 8247 7744 0 -1 1077944384 809 0 0 0 39 0 0 0 20 0 20 0 4865630 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653529897200 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8265] ppid=8247 vsize=13269256 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8265/stat : 8265 (java) S 8247 8247 7744 0 -1 1077944384 1543 0 0 0 41 0 0 0 20 0 20 0 4865630 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653528844400 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8266] ppid=8247 vsize=13269256 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8266/stat : 8266 (java) S 8247 8247 7744 0 -1 1077944384 1620 0 0 0 37 0 0 0 20 0 20 0 4865630 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653527791600 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8267] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8267/stat : 8267 (java) S 8247 8247 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4865630 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653526740064 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8268] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8268/stat : 8268 (java) S 8247 8247 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4865630 13587718144 100332 33554432000 4194304 4196468 140735658099584 140653525687344 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 13278768
[startup+3.1009 s]
/proc/loadavg: 13.95 11.44 12.26 17/291 8268
/proc/meminfo: memFree=26935536/32770624 swapFree=5880/297444
[pid=8247] ppid=8244 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8247/stat : 8247 (xcsp3-exec) S 8244 8247 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4865620 9740288 346 33554432000 4194304 5098028 140737019218128 140737019216232 139793761219196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9003008 140737019221136 140737019221344 140737019221344 140737019224043 0
/proc/8247/statm: 2378 346 289 221 0 87 0
[pid=8248] ppid=8247 vsize=13269256 CPUtime=11.51 cores=0,2,4,6,8,10,12,14
/proc/8248/stat : 8248 (java) S 8247 8247 7744 0 -1 1077944320 69152 0 0 0 822 329 0 0 20 0 20 0 4865620 13587718144 322793 33554432000 4194304 4196468 140735658099584 140735658082128 140654207729399 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
/proc/8248/statm: 3317314 322793 3240 1 0 3304547 0
[pid=8248/tid=8249] ppid=8247 vsize=13269256 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8249/stat : 8249 (java) R 8247 8247 7744 0 -1 4202560 6913 0 0 0 175 9 0 0 20 0 20 0 4865621 13587718144 322793 33554432000 4194304 4196468 140735658099584 140654211964920 140653824683489 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8251] ppid=8247 vsize=13269256 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8251/stat : 8251 (java) S 8247 8247 7744 0 -1 1077944384 6802 0 0 0 59 38 0 0 20 0 20 0 4865622 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653806718096 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8252] ppid=8247 vsize=13269256 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8252/stat : 8252 (java) S 8247 8247 7744 0 -1 1077944384 6504 0 0 0 57 39 0 0 20 0 20 0 4865622 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653805665296 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8253] ppid=8247 vsize=13269256 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8253/stat : 8253 (java) S 8247 8247 7744 0 -1 1077944384 6598 0 0 0 56 40 0 0 20 0 20 0 4865622 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653804612496 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8254] ppid=8247 vsize=13269256 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8254/stat : 8254 (java) S 8247 8247 7744 0 -1 1077944384 6748 0 0 0 59 39 0 0 20 0 20 0 4865622 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653803559696 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8255] ppid=8247 vsize=13269256 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8255/stat : 8255 (java) S 8247 8247 7744 0 -1 1077944384 6346 0 0 0 57 40 0 0 20 0 20 0 4865622 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653802506896 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8256] ppid=8247 vsize=13269256 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8256/stat : 8256 (java) S 8247 8247 7744 0 -1 1077944384 6878 0 0 0 57 38 0 0 20 0 20 0 4865622 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653801454096 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8257] ppid=8247 vsize=13269256 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8257/stat : 8257 (java) S 8247 8247 7744 0 -1 1077944384 7202 0 0 0 56 37 0 0 20 0 20 0 4865622 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653800401296 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8258] ppid=8247 vsize=13269256 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8258/stat : 8258 (java) S 8247 8247 7744 0 -1 1077944384 6937 0 0 0 53 41 0 0 20 0 20 0 4865622 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653799348496 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8259] ppid=8247 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8259/stat : 8259 (java) S 8247 8247 7744 0 -1 1077944384 1154 0 0 0 21 0 0 0 20 0 20 0 4865624 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653535161200 140654207740546 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8260] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8260/stat : 8260 (java) S 8247 8247 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4865625 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653534107232 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8261] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8261/stat : 8261 (java) S 8247 8247 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4865625 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653533054336 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8262] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8262/stat : 8262 (java) S 8247 8247 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4865630 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653532002640 140654207747995 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8263] ppid=8247 vsize=13269256 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8263/stat : 8263 (java) S 8247 8247 7744 0 -1 1077944384 1769 0 0 0 47 0 0 0 20 0 20 0 4865630 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653530950000 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8264] ppid=8247 vsize=13269256 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8264/stat : 8264 (java) S 8247 8247 7744 0 -1 1077944384 809 0 0 0 39 0 0 0 20 0 20 0 4865630 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653529897200 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8265] ppid=8247 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8265/stat : 8265 (java) S 8247 8247 7744 0 -1 1077944384 1548 0 0 0 42 0 0 0 20 0 20 0 4865630 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653528844400 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8266] ppid=8247 vsize=13269256 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8266/stat : 8266 (java) S 8247 8247 7744 0 -1 1077944384 1647 0 0 0 38 0 0 0 20 0 20 0 4865630 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653527791600 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8267] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8267/stat : 8267 (java) S 8247 8247 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4865630 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653526740064 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8268] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8268/stat : 8268 (java) S 8247 8247 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4865630 13587718144 322793 33554432000 4194304 4196468 140735658099584 140653525687344 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
Current children cumulated CPU time (s) 11.51
Current children cumulated vsize (KiB) 13278768
[startup+6.30099 s]
/proc/loadavg: 13.55 11.40 12.25 8/283 8364
/proc/meminfo: memFree=30480584/32770624 swapFree=5880/297444
[pid=8247] ppid=8244 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8247/stat : 8247 (xcsp3-exec) S 8244 8247 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4865620 9740288 346 33554432000 4194304 5098028 140737019218128 140737019216232 139793761219196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9003008 140737019221136 140737019221344 140737019221344 140737019224043 0
/proc/8247/statm: 2378 346 289 221 0 87 0
[pid=8248] ppid=8247 vsize=13269256 CPUtime=14.71 cores=0,2,4,6,8,10,12,14
/proc/8248/stat : 8248 (java) S 8247 8247 7744 0 -1 1077944320 74563 0 0 0 1142 329 0 0 20 0 20 0 4865620 13587718144 322797 33554432000 4194304 4196468 140735658099584 140735658082128 140654207729399 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
/proc/8248/statm: 3317314 322797 3241 1 0 3304547 0
[pid=8248/tid=8249] ppid=8247 vsize=13269256 CPUtime=5.04 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8249/stat : 8249 (java) R 8247 8247 7744 0 -1 4202560 12322 0 0 0 494 10 0 0 20 0 20 0 4865621 13587718144 322797 33554432000 4194304 4196468 140735658099584 140654211964496 140653824683584 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8251] ppid=8247 vsize=13269256 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8251/stat : 8251 (java) S 8247 8247 7744 0 -1 1077944384 6802 0 0 0 59 38 0 0 20 0 20 0 4865622 13587718144 322797 33554432000 4194304 4196468 140735658099584 140653806718096 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8252] ppid=8247 vsize=13269256 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8252/stat : 8252 (java) S 8247 8247 7744 0 -1 1077944384 6504 0 0 0 57 39 0 0 20 0 20 0 4865622 13587718144 322797 33554432000 4194304 4196468 140735658099584 140653805665296 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8253] ppid=8247 vsize=13269256 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8253/stat : 8253 (java) S 8247 8247 7744 0 -1 1077944384 6598 0 0 0 56 40 0 0 20 0 20 0 4865622 13587718144 322797 33554432000 4194304 4196468 140735658099584 140653804612496 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8254] ppid=8247 vsize=13269256 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8254/stat : 8254 (java) S 8247 8247 7744 0 -1 1077944384 6748 0 0 0 59 39 0 0 20 0 20 0 4865622 13587718144 322797 33554432000 4194304 4196468 140735658099584 140653803559696 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8255] ppid=8247 vsize=13269256 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8255/stat : 8255 (java) S 8247 8247 7744 0 -1 1077944384 6346 0 0 0 57 40 0 0 20 0 20 0 4865622 13587718144 322797 33554432000 4194304 4196468 140735658099584 140653802506896 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8256] ppid=8247 vsize=13269256 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8256/stat : 8256 (java) S 8247 8247 7744 0 -1 1077944384 6878 0 0 0 57 38 0 0 20 0 20 0 4865622 13587718144 322797 33554432000 4194304 4196468 140735658099584 140653801454096 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8257] ppid=8247 vsize=13269256 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8257/stat : 8257 (java) S 8247 8247 7744 0 -1 1077944384 7202 0 0 0 56 37 0 0 20 0 20 0 4865622 13587718144 322797 33554432000 4194304 4196468 140735658099584 140653800401296 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8258] ppid=8247 vsize=13269256 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8258/stat : 8258 (java) S 8247 8247 7744 0 -1 1077944384 6937 0 0 0 53 41 0 0 20 0 20 0 4865622 13587718144 322797 33554432000 4194304 4196468 140735658099584 140653799348496 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8259] ppid=8247 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8259/stat : 8259 (java) S 8247 8247 7744 0 -1 1077944384 1154 0 0 0 21 0 0 0 20 0 20 0 4865624 13587718144 322797 33554432000 4194304 4196468 140735658099584 140653535161200 140654207740546 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8260] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8260/stat : 8260 (java) S 8247 8247 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4865625 13587718144 322797 33554432000 4194304 4196468 140735658099584 140653534107232 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8261] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8261/stat : 8261 (java) S 8247 8247 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4865625 13587718144 322797 33554432000 4194304 4196468 140735658099584 140653533054336 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8262] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8262/stat : 8262 (java) S 8247 8247 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4865630 13587718144 322797 33554432000 4194304 4196468 140735658099584 140653532002640 140654207747995 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
################
# More data... #
################
/proc/8248/task/8260/stat : 8260 (java) S 8247 8247 7744 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 4865625 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653534107232 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8261] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8261/stat : 8261 (java) S 8247 8247 7744 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 4865625 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653533054336 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8262] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8262/stat : 8262 (java) S 8247 8247 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653532002640 140654207747995 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8263] ppid=8247 vsize=13269256 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8263/stat : 8263 (java) S 8247 8247 7744 0 -1 1077944384 2157 0 0 0 50 0 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653530950000 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8264] ppid=8247 vsize=13269256 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8264/stat : 8264 (java) S 8247 8247 7744 0 -1 1077944384 1841 0 0 0 44 0 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653529897200 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8265] ppid=8247 vsize=13269256 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8265/stat : 8265 (java) S 8247 8247 7744 0 -1 1077944384 2481 0 0 0 45 0 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653528844400 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8266] ppid=8247 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8266/stat : 8266 (java) S 8247 8247 7744 0 -1 1077944384 2320 0 0 0 39 1 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653527791600 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8267] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8267/stat : 8267 (java) S 8247 8247 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653526740064 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8268] ppid=8247 vsize=13269256 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8268/stat : 8268 (java) S 8247 8247 7744 0 -1 1077944384 273 0 0 0 13 10 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653525687344 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 14 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
Current children cumulated CPU time (s) 490.19
Current children cumulated vsize (KiB) 13278768
[startup+348.401 s]
/proc/loadavg: 3.28 5.52 9.30 10/285 8965
/proc/meminfo: memFree=20615820/32770624 swapFree=5880/298328
[pid=8247] ppid=8244 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8247/stat : 8247 (xcsp3-exec) S 8244 8247 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4865620 9740288 346 33554432000 4194304 5098028 140737019218128 140737019216232 139793761219196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9003008 140737019221136 140737019221344 140737019221344 140737019224043 0
/proc/8247/statm: 2378 346 289 221 0 87 0
[pid=8248] ppid=8247 vsize=13269256 CPUtime=493.32 cores=0,2,4,6,8,10,12,14
/proc/8248/stat : 8248 (java) S 8247 8247 7744 0 -1 1077944320 482779 0 0 0 45697 3635 0 0 20 0 20 0 4865620 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140735658082128 140654207729399 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
/proc/8248/statm: 3317314 2609832 3254 1 0 3304547 0
[pid=8248/tid=8249] ppid=8247 vsize=13269256 CPUtime=323.37 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8249/stat : 8249 (java) S 8247 8247 7744 0 -1 1077944384 52892 0 0 0 32309 28 0 0 20 0 20 0 4865621 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140654211967504 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8251] ppid=8247 vsize=13269256 CPUtime=20.59 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8251/stat : 8251 (java) R 8247 8247 7744 0 -1 4202560 24650 0 0 0 1626 433 0 0 20 0 20 0 4865622 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653806718216 140654200357607 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8252] ppid=8247 vsize=13269256 CPUtime=20.23 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8252/stat : 8252 (java) R 8247 8247 7744 0 -1 4202560 43475 0 0 0 1594 429 0 0 20 0 20 0 4865622 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653805665416 140654200357607 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8253] ppid=8247 vsize=13269256 CPUtime=20.31 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8253/stat : 8253 (java) R 8247 8247 7744 0 -1 4202560 32279 0 0 0 1574 457 0 0 20 0 20 0 4865622 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653804612616 140654191112434 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8254] ppid=8247 vsize=13269256 CPUtime=20.55 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8254/stat : 8254 (java) R 8247 8247 7744 0 -1 4202560 26449 0 0 0 1610 445 0 0 20 0 20 0 4865622 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653803559504 140654200357607 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8255] ppid=8247 vsize=13269256 CPUtime=20.64 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8255/stat : 8255 (java) R 8247 8247 7744 0 -1 4202560 78196 0 0 0 1582 482 0 0 20 0 20 0 4865622 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653802507016 140654200357607 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8256] ppid=8247 vsize=13269256 CPUtime=20.59 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8256/stat : 8256 (java) R 8247 8247 7744 0 -1 4202560 120325 0 0 0 1608 451 0 0 20 0 20 0 4865622 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653801454296 140654200832408 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8257] ppid=8247 vsize=13269256 CPUtime=20.43 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8257/stat : 8257 (java) R 8247 8247 7744 0 -1 4202560 27142 0 0 0 1588 455 0 0 20 0 20 0 4865622 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653800401416 140654200357607 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8258] ppid=8247 vsize=13269256 CPUtime=20.56 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8258/stat : 8258 (java) R 8247 8247 7744 0 -1 4202560 34648 0 0 0 1621 435 0 0 20 0 20 0 4865622 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653799348616 140654200357607 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8259] ppid=8247 vsize=13269256 CPUtime=3.87 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8259/stat : 8259 (java) S 8247 8247 7744 0 -1 1077944384 32343 0 0 0 384 3 0 0 20 0 20 0 4865624 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653535159760 140654207739605 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8260] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8260/stat : 8260 (java) S 8247 8247 7744 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 4865625 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653534107232 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8261] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8261/stat : 8261 (java) S 8247 8247 7744 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 4865625 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653533054336 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8262] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8262/stat : 8262 (java) S 8247 8247 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653532002640 140654207747995 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8263] ppid=8247 vsize=13269256 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8263/stat : 8263 (java) S 8247 8247 7744 0 -1 1077944384 2157 0 0 0 50 0 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653530950000 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8264] ppid=8247 vsize=13269256 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8264/stat : 8264 (java) S 8247 8247 7744 0 -1 1077944384 1841 0 0 0 44 0 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653529897200 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8265] ppid=8247 vsize=13269256 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8265/stat : 8265 (java) S 8247 8247 7744 0 -1 1077944384 2481 0 0 0 45 0 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653528844400 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8266] ppid=8247 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8266/stat : 8266 (java) S 8247 8247 7744 0 -1 1077944384 2320 0 0 0 39 1 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653527791600 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8267] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8267/stat : 8267 (java) S 8247 8247 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653526740064 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8268] ppid=8247 vsize=13269256 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8268/stat : 8268 (java) S 8247 8247 7744 0 -1 1077944384 273 0 0 0 13 10 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653525687344 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
Current children cumulated CPU time (s) 493.32
Current children cumulated vsize (KiB) 13278768
[startup+348.601 s]
/proc/loadavg: 3.28 5.52 9.30 10/285 8965
/proc/meminfo: memFree=20615820/32770624 swapFree=5880/298328
[pid=8247] ppid=8244 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8247/stat : 8247 (xcsp3-exec) S 8244 8247 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4865620 9740288 346 33554432000 4194304 5098028 140737019218128 140737019216232 139793761219196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9003008 140737019221136 140737019221344 140737019221344 140737019224043 0
/proc/8247/statm: 2378 346 289 221 0 87 0
[pid=8248] ppid=8247 vsize=13269256 CPUtime=494.1 cores=0,2,4,6,8,10,12,14
/proc/8248/stat : 8248 (java) S 8247 8247 7744 0 -1 1077944320 483622 0 0 0 45775 3635 0 0 20 0 20 0 4865620 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140735658082128 140654207729399 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
/proc/8248/statm: 3317314 2609832 3254 1 0 3304547 0
[pid=8248/tid=8249] ppid=8247 vsize=13269256 CPUtime=323.37 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8249/stat : 8249 (java) S 8247 8247 7744 0 -1 1077944384 52892 0 0 0 32309 28 0 0 20 0 20 0 4865621 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140654211967504 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8251] ppid=8247 vsize=13269256 CPUtime=20.67 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8251/stat : 8251 (java) S 8247 8247 7744 0 -1 1077944384 24650 0 0 0 1634 433 0 0 20 0 20 0 4865622 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653806718096 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8252] ppid=8247 vsize=13269256 CPUtime=20.31 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8252/stat : 8252 (java) S 8247 8247 7744 0 -1 1077944384 43475 0 0 0 1602 429 0 0 20 0 20 0 4865622 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653805665296 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8253] ppid=8247 vsize=13269256 CPUtime=20.39 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8253/stat : 8253 (java) S 8247 8247 7744 0 -1 1077944384 32279 0 0 0 1582 457 0 0 20 0 20 0 4865622 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653804612496 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8254] ppid=8247 vsize=13269256 CPUtime=20.63 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8254/stat : 8254 (java) S 8247 8247 7744 0 -1 1077944384 26449 0 0 0 1618 445 0 0 20 0 20 0 4865622 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653803559696 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8255] ppid=8247 vsize=13269256 CPUtime=20.73 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8255/stat : 8255 (java) S 8247 8247 7744 0 -1 1077944384 78196 0 0 0 1591 482 0 0 20 0 20 0 4865622 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653802506896 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8256] ppid=8247 vsize=13269256 CPUtime=20.68 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8256/stat : 8256 (java) S 8247 8247 7744 0 -1 1077944384 120511 0 0 0 1617 451 0 0 20 0 20 0 4865622 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653801454096 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8257] ppid=8247 vsize=13269256 CPUtime=20.51 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8257/stat : 8257 (java) S 8247 8247 7744 0 -1 1077944384 27142 0 0 0 1596 455 0 0 20 0 20 0 4865622 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653800401296 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8258] ppid=8247 vsize=13269256 CPUtime=20.65 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8258/stat : 8258 (java) S 8247 8247 7744 0 -1 1077944384 34648 0 0 0 1630 435 0 0 20 0 20 0 4865622 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653799348496 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8259] ppid=8247 vsize=13269256 CPUtime=3.98 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8259/stat : 8259 (java) R 8247 8247 7744 0 -1 4202560 33000 0 0 0 395 3 0 0 20 0 20 0 4865624 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653535159648 140654192725800 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8260] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8260/stat : 8260 (java) S 8247 8247 7744 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 4865625 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653534107232 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8261] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8261/stat : 8261 (java) S 8247 8247 7744 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 4865625 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653533054336 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8262] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8262/stat : 8262 (java) S 8247 8247 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653532002640 140654207747995 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8263] ppid=8247 vsize=13269256 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8263/stat : 8263 (java) S 8247 8247 7744 0 -1 1077944384 2157 0 0 0 50 0 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653530950000 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8264] ppid=8247 vsize=13269256 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8264/stat : 8264 (java) S 8247 8247 7744 0 -1 1077944384 1841 0 0 0 44 0 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653529897200 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8265] ppid=8247 vsize=13269256 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8265/stat : 8265 (java) S 8247 8247 7744 0 -1 1077944384 2481 0 0 0 45 0 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653528844400 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8266] ppid=8247 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8266/stat : 8266 (java) S 8247 8247 7744 0 -1 1077944384 2320 0 0 0 39 1 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653527791600 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8267] ppid=8247 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8267/stat : 8267 (java) S 8247 8247 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653526740064 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8268] ppid=8247 vsize=13269256 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8268/stat : 8268 (java) S 8247 8247 7744 0 -1 1077944384 273 0 0 0 13 10 0 0 20 0 20 0 4865630 13587718144 2609832 33554432000 4194304 4196468 140735658099584 140653525687344 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
Current children cumulated CPU time (s) 494.1
Current children cumulated vsize (KiB) 13278768
[startup+348.701 s]
/proc/loadavg: 3.18 5.46 9.26 5/284 8966
/proc/meminfo: memFree=20428840/32770624 swapFree=5880/298328
[pid=8247] ppid=8244 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8247/stat : 8247 (xcsp3-exec) S 8244 8247 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4865620 9740288 346 33554432000 4194304 5098028 140737019218128 140737019216232 139793761219196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9003008 140737019221136 140737019221344 140737019221344 140737019224043 0
/proc/8247/statm: 2378 346 289 221 0 87 0
[pid=8248] ppid=8247 vsize=13335820 CPUtime=494.2 cores=0,2,4,6,8,10,12,14
/proc/8248/stat : 8248 (java) S 8247 8247 7744 0 -1 1077944320 483955 0 0 0 45785 3635 0 0 20 0 19 0 4865620 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140735658082128 140654207729399 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
/proc/8248/statm: 3333955 2609863 3256 1 0 3321188 0
[pid=8248/tid=8249] ppid=8247 vsize=13335820 CPUtime=323.37 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8249/stat : 8249 (java) S 8247 8247 7744 0 -1 1077944384 52968 0 0 0 32309 28 0 0 20 0 19 0 4865621 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140654211972240 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8251] ppid=8247 vsize=13335820 CPUtime=20.67 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8251/stat : 8251 (java) S 8247 8247 7744 0 -1 1077944384 24650 0 0 0 1634 433 0 0 20 0 19 0 4865622 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140653806718096 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8252] ppid=8247 vsize=13335820 CPUtime=20.31 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8252/stat : 8252 (java) S 8247 8247 7744 0 -1 1077944384 43475 0 0 0 1602 429 0 0 20 0 19 0 4865622 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140653805665296 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8253] ppid=8247 vsize=13335820 CPUtime=20.4 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8253/stat : 8253 (java) S 8247 8247 7744 0 -1 1077944384 32279 0 0 0 1582 458 0 0 20 0 19 0 4865622 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140653804612496 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8254] ppid=8247 vsize=13335820 CPUtime=20.63 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8254/stat : 8254 (java) S 8247 8247 7744 0 -1 1077944384 26449 0 0 0 1618 445 0 0 20 0 19 0 4865622 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140653803559696 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8255] ppid=8247 vsize=13335820 CPUtime=20.73 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8255/stat : 8255 (java) S 8247 8247 7744 0 -1 1077944384 78196 0 0 0 1591 482 0 0 20 0 19 0 4865622 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140653802506896 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8256] ppid=8247 vsize=13335820 CPUtime=20.68 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8256/stat : 8256 (java) S 8247 8247 7744 0 -1 1077944384 120511 0 0 0 1617 451 0 0 20 0 19 0 4865622 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140653801454096 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8257] ppid=8247 vsize=13335820 CPUtime=20.51 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8257/stat : 8257 (java) S 8247 8247 7744 0 -1 1077944384 27142 0 0 0 1596 455 0 0 20 0 19 0 4865622 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140653800401296 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8258] ppid=8247 vsize=13335820 CPUtime=20.65 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8258/stat : 8258 (java) S 8247 8247 7744 0 -1 1077944384 34648 0 0 0 1630 435 0 0 20 0 19 0 4865622 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140653799348496 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8259] ppid=8247 vsize=13335820 CPUtime=4.08 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8259/stat : 8259 (java) S 8247 8247 7744 0 -1 1077944384 33000 0 0 0 405 3 0 0 20 0 19 0 4865624 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140653535161408 140654207740546 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8260] ppid=8247 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8260/stat : 8260 (java) S 8247 8247 7744 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 4865625 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140653534107232 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8261] ppid=8247 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8261/stat : 8261 (java) S 8247 8247 7744 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 4865625 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140653533054336 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8262] ppid=8247 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8262/stat : 8262 (java) S 8247 8247 7744 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 4865630 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140653532001408 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8263] ppid=8247 vsize=13335820 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8263/stat : 8263 (java) S 8247 8247 7744 0 -1 1077944384 2289 0 0 0 51 0 0 0 20 0 19 0 4865630 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140653530935072 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8264] ppid=8247 vsize=13335820 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8264/stat : 8264 (java) S 8247 8247 7744 0 -1 1077944384 1865 0 0 0 44 0 0 0 20 0 19 0 4865630 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140653529889296 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8265] ppid=8247 vsize=13335820 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8265/stat : 8265 (java) S 8247 8247 7744 0 -1 1077944384 2481 0 0 0 45 0 0 0 20 0 19 0 4865630 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140653528844400 140654207740546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8266] ppid=8247 vsize=13335820 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8266/stat : 8266 (java) S 8247 8247 7744 0 -1 1077944384 2356 0 0 0 39 1 0 0 20 0 19 0 4865630 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140653527788208 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
[pid=8248/tid=8267] ppid=8247 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8248/task/8267/stat : 8267 (java) S 8247 8247 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 4865630 13655879680 2609863 33554432000 4194304 4196468 140735658099584 140653526740064 140654207739605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19951616 140735658108092 140735658108268 140735658108268 140735658110927 0
Current children cumulated CPU time (s) 494.2
Current children cumulated vsize (KiB) 13345332
Child status: 1
Real time (s): 348.781
CPU time (s): 494.286
CPU user time (s): 457.861
CPU system time (s): 36.4252
CPU usage (%): 141.718
Max. virtual memory (cumulated for all children) (KiB): 13345332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 457.861
system time used= 36.4252
maximum resident set size= 10439772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 484513
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25702
involuntary context switches= 29786
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.57375 second user time and 3.59688 second system time
The end