runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3458564-1307147477/watcher-3458564-1307147477 -o /tmp/evaluation-result-3458564-1307147477/solver-3458564-1307147477 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458564-1307147477.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.60 1.45 1.72 2/345 24330
/proc/meminfo: memFree=24058176/32951124 swapFree=67056304/67111528
[pid=24330] ppid=24328 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/24330/stat : 24330 (java) S 24328 24330 22016 0 -1 4202496 3549 0 1 0 0 0 0 0 25 0 2 0 904978315 13833195520 3252 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/24330/statm: 3377245 3265 906 9 0 3368401 0
[pid=24330/tid=24331] ppid=24328 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24331/stat : 24331 (java) R 24328 24330 22016 0 -1 4202560 2509 0 1 0 0 0 0 0 25 0 2 0 904978316 13833195520 3325 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.100562 s]
/proc/loadavg: 1.60 1.45 1.72 2/345 24330
/proc/meminfo: memFree=24058176/32951124 swapFree=67056304/67111528
[pid=24330] ppid=24328 vsize=13622084 CPUtime=0.1 cores=1,3,5,7
/proc/24330/stat : 24330 (java) S 24328 24330 22016 0 -1 4202496 15568 0 1 0 9 1 0 0 25 0 18 0 904978315 13949014016 15224 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24330/statm: 3405521 15224 2100 9 0 3396255 0
[pid=24330/tid=24331] ppid=24328 vsize=13622084 CPUtime=0.08 cores=1,3,5,7
/proc/24330/task/24331/stat : 24331 (java) R 24328 24330 22016 0 -1 4202560 13604 0 1 0 7 1 0 0 25 0 18 0 904978316 13949014016 15224 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 47191610631346 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622084
[startup+0.200515 s]
/proc/loadavg: 1.60 1.45 1.72 2/345 24330
/proc/meminfo: memFree=24058176/32951124 swapFree=67056304/67111528
[pid=24330] ppid=24328 vsize=13622352 CPUtime=0.27 cores=1,3,5,7
/proc/24330/stat : 24330 (java) S 24328 24330 22016 0 -1 4202496 16835 0 1 0 26 1 0 0 25 0 18 0 904978315 13949288448 16344 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24330/statm: 3405588 16344 2187 9 0 3396322 0
[pid=24330/tid=24331] ppid=24328 vsize=13622352 CPUtime=0.18 cores=1,3,5,7
/proc/24330/task/24331/stat : 24331 (java) R 24328 24330 22016 0 -1 4202560 14425 0 1 0 17 1 0 0 25 0 18 0 904978316 13949288448 16344 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13622352
[startup+0.300484 s]
/proc/loadavg: 1.60 1.45 1.72 2/345 24330
/proc/meminfo: memFree=24058176/32951124 swapFree=67056304/67111528
[pid=24330] ppid=24328 vsize=13623008 CPUtime=0.48 cores=1,3,5,7
/proc/24330/stat : 24330 (java) S 24328 24330 22016 0 -1 4202496 19158 0 1 0 46 2 0 0 25 0 18 0 904978315 13949960192 18445 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24330/statm: 3405752 18446 2202 9 0 3396486 0
[pid=24330/tid=24331] ppid=24328 vsize=13623008 CPUtime=0.28 cores=1,3,5,7
/proc/24330/task/24331/stat : 24331 (java) R 24328 24330 22016 0 -1 4202560 16014 0 1 0 26 2 0 0 25 0 18 0 904978316 13949960192 18447 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 47191607330440 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13623008
[startup+0.700412 s]
/proc/loadavg: 1.60 1.45 1.72 2/345 24330
/proc/meminfo: memFree=24058176/32951124 swapFree=67056304/67111528
[pid=24330] ppid=24328 vsize=13627756 CPUtime=1.39 cores=1,3,5,7
/proc/24330/stat : 24330 (java) S 24328 24330 22016 0 -1 4202496 28857 0 1 0 136 3 0 0 25 0 19 0 904978315 13954822144 25537 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24330/statm: 3406939 25537 2235 9 0 3397673 0
[pid=24330/tid=24331] ppid=24328 vsize=13627756 CPUtime=0.68 cores=1,3,5,7
/proc/24330/task/24331/stat : 24331 (java) R 24328 24330 22016 0 -1 4202560 21237 0 1 0 65 3 0 0 25 0 19 0 904978316 13954822144 25537 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 46912505329159 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 13627756
[startup+1.50127 s]
/proc/loadavg: 1.60 1.45 1.72 3/364 24349
/proc/meminfo: memFree=23963784/32951124 swapFree=67056304/67111528
[pid=24330] ppid=24328 vsize=13627756 CPUtime=2.23 cores=1,3,5,7
/proc/24330/stat : 24330 (java) S 24328 24330 22016 0 -1 4202496 28936 0 1 0 220 3 0 0 25 0 19 0 904978315 13954822144 25616 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24330/statm: 3406939 25616 2236 9 0 3397673 0
[pid=24330/tid=24331] ppid=24328 vsize=13627756 CPUtime=1.48 cores=1,3,5,7
/proc/24330/task/24331/stat : 24331 (java) R 24328 24330 22016 0 -1 4202560 21310 0 1 0 145 3 0 0 25 0 19 0 904978316 13954822144 25616 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 46912505825323 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24330/tid=24333] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24333/stat : 24333 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978318 13954822144 25616 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24334] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24334/stat : 24334 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978318 13954822144 25616 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24335] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24335/stat : 24335 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978318 13954822144 25616 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24336] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24336/stat : 24336 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978318 13954822144 25617 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24337] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24337/stat : 24337 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978318 13954822144 25617 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24338] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24338/stat : 24338 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978318 13954822144 25617 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24339] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24339/stat : 24339 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978318 13954822144 25617 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24340] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24340/stat : 24340 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978318 13954822144 25617 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24341] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24341/stat : 24341 (java) S 24328 24330 22016 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 19 0 904978319 13954822144 25617 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 0 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24342] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24342/stat : 24342 (java) S 24328 24330 22016 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 904978319 13954822144 25617 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24343] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24343/stat : 24343 (java) S 24328 24330 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904978319 13954822144 25617 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24344] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24344/stat : 24344 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978322 13954822144 25617 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032219569 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24345] ppid=24328 vsize=13627756 CPUtime=0.37 cores=1,3,5,7
/proc/24330/task/24345/stat : 24345 (java) S 24328 24330 22016 0 -1 4202560 2593 0 0 0 37 0 0 0 25 0 19 0 904978322 13954822144 25617 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24346] ppid=24328 vsize=13627756 CPUtime=0.37 cores=1,3,5,7
/proc/24330/task/24346/stat : 24346 (java) S 24328 24330 22016 0 -1 4202560 3874 0 0 0 37 0 0 0 15 0 19 0 904978322 13954822144 25617 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24347] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24347/stat : 24347 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978322 13954822144 25617 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24348] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24348/stat : 24348 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904978322 13954822144 25617 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24349] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24349/stat : 24349 (java) S 24328 24330 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904978365 13954822144 25617 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 13627756
[startup+3.10098 s]
/proc/loadavg: 1.60 1.45 1.72 3/364 24349
/proc/meminfo: memFree=23962740/32951124 swapFree=67056304/67111528
[pid=24330] ppid=24328 vsize=13627756 CPUtime=3.84 cores=1,3,5,7
/proc/24330/stat : 24330 (java) S 24328 24330 22016 0 -1 4202496 29066 0 1 0 381 3 0 0 25 0 19 0 904978315 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24330/statm: 3406939 25744 2236 9 0 3397673 0
[pid=24330/tid=24331] ppid=24328 vsize=13627756 CPUtime=3.08 cores=1,3,5,7
/proc/24330/task/24331/stat : 24331 (java) R 24328 24330 22016 0 -1 4202560 21436 0 1 0 305 3 0 0 25 0 19 0 904978316 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 46912505878766 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24330/tid=24333] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24333/stat : 24333 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978318 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24334] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24334/stat : 24334 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978318 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24335] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24335/stat : 24335 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978318 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24336] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24336/stat : 24336 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978318 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24337] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24337/stat : 24337 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978318 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24338] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24338/stat : 24338 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978318 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24339] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24339/stat : 24339 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978318 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24340] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24340/stat : 24340 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978318 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24341] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24341/stat : 24341 (java) S 24328 24330 22016 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 904978319 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 0 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24342] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24342/stat : 24342 (java) S 24328 24330 22016 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 904978319 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24343] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24343/stat : 24343 (java) S 24328 24330 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904978319 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24344] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24344/stat : 24344 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978322 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032219569 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24345] ppid=24328 vsize=13627756 CPUtime=0.38 cores=1,3,5,7
/proc/24330/task/24345/stat : 24345 (java) S 24328 24330 22016 0 -1 4202560 2596 0 0 0 38 0 0 0 15 0 19 0 904978322 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24346] ppid=24328 vsize=13627756 CPUtime=0.37 cores=1,3,5,7
/proc/24330/task/24346/stat : 24346 (java) S 24328 24330 22016 0 -1 4202560 3874 0 0 0 37 0 0 0 15 0 19 0 904978322 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24347] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24347/stat : 24347 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978322 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24348] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24348/stat : 24348 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904978322 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24349] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24349/stat : 24349 (java) S 24328 24330 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904978365 13954822144 25744 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 13627756
[startup+6.30139 s]
/proc/loadavg: 1.63 1.46 1.72 3/364 24349
/proc/meminfo: memFree=23954816/32951124 swapFree=67056304/67111528
[pid=24330] ppid=24328 vsize=13627756 CPUtime=7.13 cores=1,3,5,7
/proc/24330/stat : 24330 (java) S 24328 24330 22016 0 -1 4202496 31290 0 1 0 709 4 0 0 25 0 19 0 904978315 13954822144 27613 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24330/statm: 3406939 27613 2264 9 0 3397673 0
[pid=24330/tid=24331] ppid=24328 vsize=13627756 CPUtime=6.25 cores=1,3,5,7
/proc/24330/task/24331/stat : 24331 (java) R 24328 24330 22016 0 -1 4202560 21545 0 1 0 622 3 0 0 25 0 19 0 904978316 13954822144 27613 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 46912505166908 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24330/tid=24333] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24333/stat : 24333 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904978318 13954822144 27613 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24334] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24334/stat : 24334 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904978318 13954822144 27613 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24335] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24335/stat : 24335 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904978318 13954822144 27613 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24336] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24336/stat : 24336 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904978318 13954822144 27613 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24337] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24337/stat : 24337 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904978318 13954822144 27613 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24338] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24338/stat : 24338 (java) S 24328 24330 22016 0 -1 4202560 270 0 0 0 0 0 0 0 18 0 19 0 904978318 13954822144 27613 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
[pid=24330/tid=24339] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24339/stat : 24339 (java) S 24328 24330 22016 0 -1 4202560 494 0 0 0 0 0 0 0 18 0 19 0 904978318 13954822144 27613 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24340] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24340/stat : 24340 (java) S 24328 24330 22016 0 -1 4202560 196 0 0 0 0 0 0 0 18 0 19 0 904978318 13954822144 27613 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24341] ppid=24328 vsize=13627756 CPUtime=0.02 cores=1,3,5,7
/proc/24330/task/24341/stat : 24341 (java) S 24328 24330 22016 0 -1 4202560 1136 0 0 0 2 0 0 0 15 0 19 0 904978319 13954822144 27613 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 0 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24342] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24342/stat : 24342 (java) S 24328 24330 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904978319 13954822144 27613 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24343] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24343/stat : 24343 (java) S 24328 24330 22016 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904978319 13954822144 27613 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24344] ppid=24328 vsize=13627756 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24344/stat : 24344 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978322 13954822144 27613 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032219569 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24345] ppid=24328 vsize=13627756 CPUtime=0.43 cores=1,3,5,7
/proc/24330/task/24345/stat : 24345 (java) S 24328 24330 22016 0 -1 4202560 2613 0 0 0 43 0 0 0 15 0 19 0 904978322 13954822144 27613 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24346] ppid=24328 vsize=13627756 CPUtime=0.39 cores=1,3,5,7
/proc/24330/task/24346/stat : 24346 (java) S 24328 24330 22016 0 -1 4202560 3881 0 0 0 39 0 0 0 16 0 19 0 904978322 13954822144 27613 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=24330/tid=24338] ppid=24328 vsize=13627280 CPUtime=0.07 cores=1,3,5,7
/proc/24330/task/24338/stat : 24338 (java) S 24328 24330 22016 0 -1 4202560 287 0 0 0 7 0 0 0 15 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24339] ppid=24328 vsize=13627280 CPUtime=0.07 cores=1,3,5,7
/proc/24330/task/24339/stat : 24339 (java) S 24328 24330 22016 0 -1 4202560 557 0 0 0 7 0 0 0 15 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24340] ppid=24328 vsize=13627280 CPUtime=0.07 cores=1,3,5,7
/proc/24330/task/24340/stat : 24340 (java) S 24328 24330 22016 0 -1 4202560 309 0 0 0 7 0 0 0 16 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
[pid=24330/tid=24341] ppid=24328 vsize=13627280 CPUtime=3.84 cores=1,3,5,7
/proc/24330/task/24341/stat : 24341 (java) S 24328 24330 22016 0 -1 4202560 2561 0 0 0 382 2 0 0 15 0 19 0 904978319 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 0 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24342] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24342/stat : 24342 (java) S 24328 24330 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904978319 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24343] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24343/stat : 24343 (java) S 24328 24330 22016 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904978319 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24344] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24344/stat : 24344 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032219569 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24345] ppid=24328 vsize=13627280 CPUtime=0.56 cores=1,3,5,7
/proc/24330/task/24345/stat : 24345 (java) S 24328 24330 22016 0 -1 4202560 3301 0 0 0 56 0 0 0 15 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24346] ppid=24328 vsize=13627280 CPUtime=0.4 cores=1,3,5,7
/proc/24330/task/24346/stat : 24346 (java) S 24328 24330 22016 0 -1 4202560 3881 0 0 0 40 0 0 0 15 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24347] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24347/stat : 24347 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24348] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24348/stat : 24348 (java) S 24328 24330 22016 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
[pid=24330/tid=24349] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24349/stat : 24349 (java) S 24328 24330 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904978365 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1663.59
Current children cumulated vsize (KiB) 13627280
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/364 24398
/proc/meminfo: memFree=23941652/32951124 swapFree=67056304/67111528
[pid=24330] ppid=24328 vsize=13627280 CPUtime=1723.6 cores=1,3,5,7
/proc/24330/stat : 24330 (java) S 24328 24330 22016 0 -1 4202496 34265 0 1 0 172351 9 0 0 25 0 19 0 904978315 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24330/statm: 3406820 29220 2265 9 0 3397554 0
[pid=24330/tid=24331] ppid=24328 vsize=13627280 CPUtime=1718.01 cores=1,3,5,7
/proc/24330/task/24331/stat : 24331 (java) R 24328 24330 22016 0 -1 4202560 21718 0 1 0 171798 3 0 0 25 0 19 0 904978316 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 46912505878228 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24330/tid=24333] ppid=24328 vsize=13627280 CPUtime=0.06 cores=1,3,5,7
/proc/24330/task/24333/stat : 24333 (java) S 24328 24330 22016 0 -1 4202560 128 0 0 0 6 0 0 0 16 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24334] ppid=24328 vsize=13627280 CPUtime=0.06 cores=1,3,5,7
/proc/24330/task/24334/stat : 24334 (java) S 24328 24330 22016 0 -1 4202560 71 0 0 0 6 0 0 0 16 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
[pid=24330/tid=24335] ppid=24328 vsize=13627280 CPUtime=0.07 cores=1,3,5,7
/proc/24330/task/24335/stat : 24335 (java) S 24328 24330 22016 0 -1 4202560 108 0 0 0 7 0 0 0 15 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24336] ppid=24328 vsize=13627280 CPUtime=0.08 cores=1,3,5,7
/proc/24330/task/24336/stat : 24336 (java) S 24328 24330 22016 0 -1 4202560 37 0 0 0 8 0 0 0 16 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24337] ppid=24328 vsize=13627280 CPUtime=0.07 cores=1,3,5,7
/proc/24330/task/24337/stat : 24337 (java) S 24328 24330 22016 0 -1 4202560 55 0 0 0 7 0 0 0 15 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
[pid=24330/tid=24338] ppid=24328 vsize=13627280 CPUtime=0.07 cores=1,3,5,7
/proc/24330/task/24338/stat : 24338 (java) S 24328 24330 22016 0 -1 4202560 287 0 0 0 7 0 0 0 15 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24339] ppid=24328 vsize=13627280 CPUtime=0.07 cores=1,3,5,7
/proc/24330/task/24339/stat : 24339 (java) S 24328 24330 22016 0 -1 4202560 557 0 0 0 7 0 0 0 15 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24340] ppid=24328 vsize=13627280 CPUtime=0.07 cores=1,3,5,7
/proc/24330/task/24340/stat : 24340 (java) S 24328 24330 22016 0 -1 4202560 309 0 0 0 7 0 0 0 16 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24341] ppid=24328 vsize=13627280 CPUtime=3.98 cores=1,3,5,7
/proc/24330/task/24341/stat : 24341 (java) S 24328 24330 22016 0 -1 4202560 2565 0 0 0 396 2 0 0 15 0 19 0 904978319 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 0 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24342] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24342/stat : 24342 (java) S 24328 24330 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904978319 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24343] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24343/stat : 24343 (java) S 24328 24330 22016 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904978319 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24344] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24344/stat : 24344 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032219569 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24345] ppid=24328 vsize=13627280 CPUtime=0.56 cores=1,3,5,7
/proc/24330/task/24345/stat : 24345 (java) S 24328 24330 22016 0 -1 4202560 3301 0 0 0 56 0 0 0 15 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24346] ppid=24328 vsize=13627280 CPUtime=0.4 cores=1,3,5,7
/proc/24330/task/24346/stat : 24346 (java) S 24328 24330 22016 0 -1 4202560 3881 0 0 0 40 0 0 0 15 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24347] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24347/stat : 24347 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24348] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24348/stat : 24348 (java) S 24328 24330 22016 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
[pid=24330/tid=24349] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24349/stat : 24349 (java) S 24328 24330 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904978365 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1723.6
Current children cumulated vsize (KiB) 13627280
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/364 24447
/proc/meminfo: memFree=23906188/32951124 swapFree=67056304/67111528
[pid=24330] ppid=24328 vsize=13627280 CPUtime=1783.61 cores=1,3,5,7
/proc/24330/stat : 24330 (java) S 24328 24330 22016 0 -1 4202496 34280 0 1 0 178351 10 0 0 25 0 19 0 904978315 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24330/statm: 3406820 29220 2265 9 0 3397554 0
[pid=24330/tid=24331] ppid=24328 vsize=13627280 CPUtime=1777.83 cores=1,3,5,7
/proc/24330/task/24331/stat : 24331 (java) R 24328 24330 22016 0 -1 4202560 21725 0 1 0 177780 3 0 0 25 0 19 0 904978316 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 46912505819808 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24330/tid=24333] ppid=24328 vsize=13627280 CPUtime=0.06 cores=1,3,5,7
/proc/24330/task/24333/stat : 24333 (java) S 24328 24330 22016 0 -1 4202560 128 0 0 0 6 0 0 0 16 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24334] ppid=24328 vsize=13627280 CPUtime=0.06 cores=1,3,5,7
/proc/24330/task/24334/stat : 24334 (java) S 24328 24330 22016 0 -1 4202560 71 0 0 0 6 0 0 0 15 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24335] ppid=24328 vsize=13627280 CPUtime=0.07 cores=1,3,5,7
/proc/24330/task/24335/stat : 24335 (java) S 24328 24330 22016 0 -1 4202560 108 0 0 0 7 0 0 0 15 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24336] ppid=24328 vsize=13627280 CPUtime=0.08 cores=1,3,5,7
/proc/24330/task/24336/stat : 24336 (java) S 24328 24330 22016 0 -1 4202560 37 0 0 0 8 0 0 0 15 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24337] ppid=24328 vsize=13627280 CPUtime=0.08 cores=1,3,5,7
/proc/24330/task/24337/stat : 24337 (java) S 24328 24330 22016 0 -1 4202560 55 0 0 0 8 0 0 0 16 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
[pid=24330/tid=24338] ppid=24328 vsize=13627280 CPUtime=0.08 cores=1,3,5,7
/proc/24330/task/24338/stat : 24338 (java) S 24328 24330 22016 0 -1 4202560 287 0 0 0 8 0 0 0 15 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
[pid=24330/tid=24339] ppid=24328 vsize=13627280 CPUtime=0.07 cores=1,3,5,7
/proc/24330/task/24339/stat : 24339 (java) S 24328 24330 22016 0 -1 4202560 557 0 0 0 7 0 0 0 15 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
[pid=24330/tid=24340] ppid=24328 vsize=13627280 CPUtime=0.07 cores=1,3,5,7
/proc/24330/task/24340/stat : 24340 (java) S 24328 24330 22016 0 -1 4202560 309 0 0 0 7 0 0 0 16 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24341] ppid=24328 vsize=13627280 CPUtime=4.14 cores=1,3,5,7
/proc/24330/task/24341/stat : 24341 (java) S 24328 24330 22016 0 -1 4202560 2569 0 0 0 412 2 0 0 15 0 19 0 904978319 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 0 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24342] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24342/stat : 24342 (java) S 24328 24330 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904978319 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24343] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24343/stat : 24343 (java) S 24328 24330 22016 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904978319 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24344] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24344/stat : 24344 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032219569 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24345] ppid=24328 vsize=13627280 CPUtime=0.56 cores=1,3,5,7
/proc/24330/task/24345/stat : 24345 (java) S 24328 24330 22016 0 -1 4202560 3301 0 0 0 56 0 0 0 15 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24346] ppid=24328 vsize=13627280 CPUtime=0.4 cores=1,3,5,7
/proc/24330/task/24346/stat : 24346 (java) S 24328 24330 22016 0 -1 4202560 3881 0 0 0 40 0 0 0 15 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24347] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24347/stat : 24347 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24348] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24348/stat : 24348 (java) S 24328 24330 22016 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
[pid=24330/tid=24349] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24349/stat : 24349 (java) S 24328 24330 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904978365 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1783.61
Current children cumulated vsize (KiB) 13627280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/364 24457
/proc/meminfo: memFree=23903216/32951124 swapFree=67056304/67111528
[pid=24330] ppid=24328 vsize=13627280 CPUtime=1800.03 cores=1,3,5,7
/proc/24330/stat : 24330 (java) S 24328 24330 22016 0 -1 4202496 34282 0 1 0 179993 10 0 0 25 0 19 0 904978315 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24330/statm: 3406820 29220 2265 9 0 3397554 0
[pid=24330/tid=24331] ppid=24328 vsize=13627280 CPUtime=1794.2 cores=1,3,5,7
/proc/24330/task/24331/stat : 24331 (java) R 24328 24330 22016 0 -1 4202560 21727 0 1 0 179417 3 0 0 25 0 19 0 904978316 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 46912505701801 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24330/tid=24333] ppid=24328 vsize=13627280 CPUtime=0.06 cores=1,3,5,7
/proc/24330/task/24333/stat : 24333 (java) S 24328 24330 22016 0 -1 4202560 128 0 0 0 6 0 0 0 15 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24334] ppid=24328 vsize=13627280 CPUtime=0.06 cores=1,3,5,7
/proc/24330/task/24334/stat : 24334 (java) S 24328 24330 22016 0 -1 4202560 71 0 0 0 6 0 0 0 15 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24335] ppid=24328 vsize=13627280 CPUtime=0.07 cores=1,3,5,7
/proc/24330/task/24335/stat : 24335 (java) S 24328 24330 22016 0 -1 4202560 108 0 0 0 7 0 0 0 15 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24336] ppid=24328 vsize=13627280 CPUtime=0.08 cores=1,3,5,7
/proc/24330/task/24336/stat : 24336 (java) S 24328 24330 22016 0 -1 4202560 37 0 0 0 8 0 0 0 16 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24337] ppid=24328 vsize=13627280 CPUtime=0.08 cores=1,3,5,7
/proc/24330/task/24337/stat : 24337 (java) S 24328 24330 22016 0 -1 4202560 55 0 0 0 8 0 0 0 15 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
[pid=24330/tid=24338] ppid=24328 vsize=13627280 CPUtime=0.08 cores=1,3,5,7
/proc/24330/task/24338/stat : 24338 (java) S 24328 24330 22016 0 -1 4202560 287 0 0 0 8 0 0 0 16 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
[pid=24330/tid=24339] ppid=24328 vsize=13627280 CPUtime=0.07 cores=1,3,5,7
/proc/24330/task/24339/stat : 24339 (java) S 24328 24330 22016 0 -1 4202560 557 0 0 0 7 0 0 0 15 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
[pid=24330/tid=24340] ppid=24328 vsize=13627280 CPUtime=0.07 cores=1,3,5,7
/proc/24330/task/24340/stat : 24340 (java) S 24328 24330 22016 0 -1 4202560 309 0 0 0 7 0 0 0 15 0 19 0 904978318 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24341] ppid=24328 vsize=13627280 CPUtime=4.19 cores=1,3,5,7
/proc/24330/task/24341/stat : 24341 (java) S 24328 24330 22016 0 -1 4202560 2569 0 0 0 417 2 0 0 15 0 19 0 904978319 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 0 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24342] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24342/stat : 24342 (java) S 24328 24330 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904978319 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24343] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24343/stat : 24343 (java) S 24328 24330 22016 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904978319 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24344] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24344/stat : 24344 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032219569 0 4 0 16800975 18446604455713953600 0 0 -1 1 0 0 0
[pid=24330/tid=24345] ppid=24328 vsize=13627280 CPUtime=0.56 cores=1,3,5,7
/proc/24330/task/24345/stat : 24345 (java) S 24328 24330 22016 0 -1 4202560 3301 0 0 0 56 0 0 0 15 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24346] ppid=24328 vsize=13627280 CPUtime=0.4 cores=1,3,5,7
/proc/24330/task/24346/stat : 24346 (java) S 24328 24330 22016 0 -1 4202560 3881 0 0 0 40 0 0 0 15 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 3 0 0 0
[pid=24330/tid=24347] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24347/stat : 24347 (java) S 24328 24330 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032211865 0 4 0 16800975 18446604455713953600 0 0 -1 7 0 0 0
[pid=24330/tid=24348] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24348/stat : 24348 (java) S 24328 24330 22016 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 904978322 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
[pid=24330/tid=24349] ppid=24328 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/24330/task/24349/stat : 24349 (java) S 24328 24330 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904978365 13954334720 29220 33554432000 1073741824 1073778376 140736481174720 18446744073709551615 260032212480 0 4 0 16800975 18446604455713953600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13627280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1798.73
CPU time (s): 1800.07
CPU user time (s): 1799.97
CPU system time (s): 0.107983
CPU usage (%): 100.074
Max. virtual memory (cumulated for all children) (KiB): 13630040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34318
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41266
involuntary context switches= 45072
runsolver used 5.68014 second user time and 12.6541 second system time
The end