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-3458948-1307149087/watcher-3458948-1307149087 -o /tmp/evaluation-result-3458948-1307149087/solver-3458948-1307149087 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458948-1307149087.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: 2.18 2.06 2.00 2/501 20324
/proc/meminfo: memFree=24296288/32950928 swapFree=61542356/67111528
[pid=20324] ppid=20322 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/20324/stat : 20324 (java) S 20322 20324 14759 0 -1 4202496 2047 0 1 0 0 0 0 0 25 0 2 0 905139403 13833195520 1748 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/20324/statm: 3377245 1762 906 9 0 3368401 0
[pid=20324/tid=20325] ppid=20322 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20325/stat : 20325 (java) R 20322 20324 14759 0 -1 4202560 6967 0 1 0 0 0 0 0 25 0 2 0 905139403 13850947584 7782 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.107697 s]
/proc/loadavg: 2.18 2.06 2.00 2/501 20324
/proc/meminfo: memFree=24296288/32950928 swapFree=61542356/67111528
[pid=20324] ppid=20322 vsize=13621676 CPUtime=0.11 cores=1,3,5,7
/proc/20324/stat : 20324 (java) S 20322 20324 14759 0 -1 4202496 15643 0 1 0 9 2 0 0 25 0 18 0 905139403 13948596224 15298 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20324/statm: 3405419 15298 2093 9 0 3396153 0
[pid=20324/tid=20325] ppid=20322 vsize=13621676 CPUtime=0.09 cores=1,3,5,7
/proc/20324/task/20325/stat : 20325 (java) R 20322 20324 14759 0 -1 4202560 13711 0 1 0 8 1 0 0 18 0 18 0 905139403 13948596224 15298 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 47186688234519 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621676
[startup+0.200631 s]
/proc/loadavg: 2.18 2.06 2.00 2/501 20324
/proc/meminfo: memFree=24296288/32950928 swapFree=61542356/67111528
[pid=20324] ppid=20322 vsize=13622320 CPUtime=0.3 cores=1,3,5,7
/proc/20324/stat : 20324 (java) S 20322 20324 14759 0 -1 4202496 17852 0 1 0 28 2 0 0 25 0 18 0 905139403 13949255680 17422 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20324/statm: 3405580 17423 2190 9 0 3396314 0
[pid=20324/tid=20325] ppid=20322 vsize=13622320 CPUtime=0.18 cores=1,3,5,7
/proc/20324/task/20325/stat : 20325 (java) R 20322 20324 14759 0 -1 4202560 15337 0 1 0 16 2 0 0 18 0 18 0 905139403 13949255680 17423 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13622320
[startup+0.300613 s]
/proc/loadavg: 2.18 2.06 2.00 2/501 20324
/proc/meminfo: memFree=24296288/32950928 swapFree=61542356/67111528
[pid=20324] ppid=20322 vsize=13623812 CPUtime=0.48 cores=1,3,5,7
/proc/20324/stat : 20324 (java) S 20322 20324 14759 0 -1 4202496 23779 0 1 0 45 3 0 0 25 0 18 0 905139403 13950783488 22884 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20324/statm: 3405953 22887 2200 9 0 3396687 0
[pid=20324/tid=20325] ppid=20322 vsize=13623812 CPUtime=0.28 cores=1,3,5,7
/proc/20324/task/20325/stat : 20325 (java) R 20322 20324 14759 0 -1 4202560 20273 0 1 0 26 2 0 0 18 0 18 0 905139403 13950783488 22888 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13623812
[startup+0.700597 s]
/proc/loadavg: 2.18 2.06 2.00 2/501 20324
/proc/meminfo: memFree=24296288/32950928 swapFree=61542356/67111528
[pid=20324] ppid=20322 vsize=13623812 CPUtime=1.03 cores=1,3,5,7
/proc/20324/stat : 20324 (java) S 20322 20324 14759 0 -1 4202496 54355 0 1 0 97 6 0 0 25 0 18 0 905139403 13950783488 53419 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20324/statm: 3405953 53422 2205 9 0 3396687 0
[pid=20324/tid=20325] ppid=20322 vsize=13623812 CPUtime=0.68 cores=1,3,5,7
/proc/20324/task/20325/stat : 20325 (java) R 20322 20324 14759 0 -1 4202560 50737 0 1 0 63 5 0 0 18 0 18 0 905139403 13950783488 53424 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 46912505365742 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 13623812
[startup+1.50139 s]
/proc/loadavg: 2.18 2.06 2.00 3/519 20342
/proc/meminfo: memFree=23930304/32950928 swapFree=61542356/67111528
[pid=20324] ppid=20322 vsize=13623812 CPUtime=1.84 cores=1,3,5,7
/proc/20324/stat : 20324 (java) S 20322 20324 14759 0 -1 4202496 128131 0 1 0 171 13 0 0 25 0 18 0 905139403 13950783488 127196 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20324/statm: 3405953 127199 2205 9 0 3396687 0
[pid=20324/tid=20325] ppid=20322 vsize=13623812 CPUtime=1.48 cores=1,3,5,7
/proc/20324/task/20325/stat : 20325 (java) R 20322 20324 14759 0 -1 4202560 124513 0 1 0 136 12 0 0 20 0 18 0 905139403 13950783488 127200 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 46912505574659 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20324/tid=20327] ppid=20322 vsize=13623812 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20327/stat : 20327 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905139405 13950783488 127203 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20328] ppid=20322 vsize=13623812 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20328/stat : 20328 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905139405 13950783488 127205 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20329] ppid=20322 vsize=13623812 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20329/stat : 20329 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905139405 13950783488 127206 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20330] ppid=20322 vsize=13623812 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20330/stat : 20330 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905139405 13950783488 127209 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20331] ppid=20322 vsize=13623812 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20331/stat : 20331 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905139405 13950783488 127211 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20332] ppid=20322 vsize=13623812 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20332/stat : 20332 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905139405 13950783488 127213 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20333] ppid=20322 vsize=13623812 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20333/stat : 20333 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905139405 13950783488 127215 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20334] ppid=20322 vsize=13623812 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20334/stat : 20334 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905139405 13950783488 127215 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20335] ppid=20322 vsize=13623812 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20335/stat : 20335 (java) S 20322 20324 14759 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 905139406 13950783488 127217 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 0 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20336] ppid=20322 vsize=13623812 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20336/stat : 20336 (java) S 20322 20324 14759 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 905139407 13950783488 127218 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20337] ppid=20322 vsize=13623812 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20337/stat : 20337 (java) S 20322 20324 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 905139407 13950783488 127220 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20338] ppid=20322 vsize=13623812 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20338/stat : 20338 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905139409 13950783488 127222 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917217713 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20339] ppid=20322 vsize=13623812 CPUtime=0.18 cores=1,3,5,7
/proc/20324/task/20339/stat : 20339 (java) S 20322 20324 14759 0 -1 4202560 1421 0 0 0 18 0 0 0 16 0 18 0 905139409 13950783488 127224 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20340] ppid=20322 vsize=13623812 CPUtime=0.15 cores=1,3,5,7
/proc/20324/task/20340/stat : 20340 (java) S 20322 20324 14759 0 -1 4202560 1052 0 0 0 15 0 0 0 17 0 18 0 905139409 13950783488 127226 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20341] ppid=20322 vsize=13623812 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20341/stat : 20341 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905139409 13950783488 127228 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20342] ppid=20322 vsize=13623812 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20342/stat : 20342 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 905139409 13950783488 127231 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 13623812
[startup+3.1011 s]
/proc/loadavg: 2.18 2.06 2.00 4/520 20343
/proc/meminfo: memFree=23758308/32950928 swapFree=61542356/67111528
[pid=20324] ppid=20322 vsize=13624840 CPUtime=3.89 cores=1,3,5,7
/proc/20324/stat : 20324 (java) S 20322 20324 14759 0 -1 4202496 139009 0 1 0 375 14 0 0 25 0 19 0 905139403 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20324/statm: 3406210 135518 2224 9 0 3396944 0
[pid=20324/tid=20325] ppid=20322 vsize=13624840 CPUtime=3.08 cores=1,3,5,7
/proc/20324/task/20325/stat : 20325 (java) R 20322 20324 14759 0 -1 4202560 132680 0 1 0 295 13 0 0 25 0 19 0 905139403 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 46912505757748 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20324/tid=20327] ppid=20322 vsize=13624840 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20327/stat : 20327 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139405 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20328] ppid=20322 vsize=13624840 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20328/stat : 20328 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139405 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20329] ppid=20322 vsize=13624840 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20329/stat : 20329 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139405 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20330] ppid=20322 vsize=13624840 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20330/stat : 20330 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139405 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20331] ppid=20322 vsize=13624840 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20331/stat : 20331 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139405 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20332] ppid=20322 vsize=13624840 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20332/stat : 20332 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139405 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20333] ppid=20322 vsize=13624840 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20333/stat : 20333 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139405 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20334] ppid=20322 vsize=13624840 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20334/stat : 20334 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139405 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20335] ppid=20322 vsize=13624840 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20335/stat : 20335 (java) S 20322 20324 14759 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 905139406 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 0 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20336] ppid=20322 vsize=13624840 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20336/stat : 20336 (java) S 20322 20324 14759 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905139407 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20337] ppid=20322 vsize=13624840 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20337/stat : 20337 (java) S 20322 20324 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905139407 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20338] ppid=20322 vsize=13624840 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20338/stat : 20338 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139409 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917217713 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20339] ppid=20322 vsize=13624840 CPUtime=0.36 cores=1,3,5,7
/proc/20324/task/20339/stat : 20339 (java) S 20322 20324 14759 0 -1 4202560 1609 0 0 0 36 0 0 0 15 0 19 0 905139409 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20340] ppid=20322 vsize=13624840 CPUtime=0.42 cores=1,3,5,7
/proc/20324/task/20340/stat : 20340 (java) S 20322 20324 14759 0 -1 4202560 3560 0 0 0 42 0 0 0 15 0 19 0 905139409 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20341] ppid=20322 vsize=13624840 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20341/stat : 20341 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139409 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20342] ppid=20322 vsize=13624840 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20342/stat : 20342 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905139409 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20343] ppid=20322 vsize=13624840 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20343/stat : 20343 (java) S 20322 20324 14759 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 905139577 13951836160 135518 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 13624840
[startup+6.3006 s]
/proc/loadavg: 2.17 2.06 2.00 3/520 20343
/proc/meminfo: memFree=23753180/32950928 swapFree=61542356/67111528
[pid=20324] ppid=20322 vsize=13624392 CPUtime=7.13 cores=1,3,5,7
/proc/20324/stat : 20324 (java) S 20322 20324 14759 0 -1 4202496 140167 0 1 0 699 14 0 0 25 0 19 0 905139403 13951377408 136562 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20324/statm: 3406098 136562 2226 9 0 3396832 0
[pid=20324/tid=20325] ppid=20322 vsize=13624392 CPUtime=6.28 cores=1,3,5,7
/proc/20324/task/20325/stat : 20325 (java) R 20322 20324 14759 0 -1 4202560 133831 0 1 0 615 13 0 0 21 0 19 0 905139403 13951377408 136562 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 46912505532928 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20324/tid=20327] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20327/stat : 20327 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139405 13951377408 136562 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20328] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20328/stat : 20328 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139405 13951377408 136562 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20329] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20329/stat : 20329 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139405 13951377408 136562 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20330] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20330/stat : 20330 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139405 13951377408 136562 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20331] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20331/stat : 20331 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139405 13951377408 136562 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20332] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20332/stat : 20332 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139405 13951377408 136562 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20333] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20333/stat : 20333 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139405 13951377408 136562 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20334] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20334/stat : 20334 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139405 13951377408 136562 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20335] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20335/stat : 20335 (java) S 20322 20324 14759 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 905139406 13951377408 136562 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 0 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20336] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20336/stat : 20336 (java) S 20322 20324 14759 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905139407 13951377408 136562 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20337] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20337/stat : 20337 (java) S 20322 20324 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905139407 13951377408 136562 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20338] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20338/stat : 20338 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139409 13951377408 136562 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917217713 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20339] ppid=20322 vsize=13624392 CPUtime=0.41 cores=1,3,5,7
/proc/20324/task/20339/stat : 20339 (java) S 20322 20324 14759 0 -1 4202560 1615 0 0 0 41 0 0 0 15 0 19 0 905139409 13951377408 136562 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20340] ppid=20322 vsize=13624392 CPUtime=0.42 cores=1,3,5,7
/proc/20324/task/20340/stat : 20340 (java) S 20322 20324 14759 0 -1 4202560 3560 0 0 0 42 0 0 0 16 0 19 0 905139409 13951377408 136562 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20341] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20341/stat : 20341 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139409 13951377408 136562 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=20324/tid=20332] ppid=20322 vsize=13624392 CPUtime=0.3 cores=1,3,5,7
/proc/20324/task/20332/stat : 20332 (java) S 20322 20324 14759 0 -1 4202560 9154 0 0 0 29 1 0 0 15 0 19 0 905139405 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20333] ppid=20322 vsize=13624392 CPUtime=0.25 cores=1,3,5,7
/proc/20324/task/20333/stat : 20333 (java) S 20322 20324 14759 0 -1 4202560 7487 0 0 0 24 1 0 0 15 0 19 0 905139405 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20334] ppid=20322 vsize=13624392 CPUtime=0.22 cores=1,3,5,7
/proc/20324/task/20334/stat : 20334 (java) S 20322 20324 14759 0 -1 4202560 10996 0 0 0 21 1 0 0 15 0 19 0 905139405 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20335] ppid=20322 vsize=13624392 CPUtime=10.31 cores=1,3,5,7
/proc/20324/task/20335/stat : 20335 (java) S 20322 20324 14759 0 -1 4202560 43572 0 0 0 1027 4 0 0 15 0 19 0 905139406 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 0 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20336] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20336/stat : 20336 (java) S 20322 20324 14759 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 905139407 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20337] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20337/stat : 20337 (java) S 20322 20324 14759 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905139407 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20338] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20338/stat : 20338 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139409 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917217713 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20339] ppid=20322 vsize=13624392 CPUtime=0.45 cores=1,3,5,7
/proc/20324/task/20339/stat : 20339 (java) S 20322 20324 14759 0 -1 4202560 1631 0 0 0 45 0 0 0 15 0 19 0 905139409 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20340] ppid=20322 vsize=13624392 CPUtime=0.61 cores=1,3,5,7
/proc/20324/task/20340/stat : 20340 (java) S 20322 20324 14759 0 -1 4202560 8693 0 0 0 61 0 0 0 15 0 19 0 905139409 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20341] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20341/stat : 20341 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139409 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20342] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20342/stat : 20342 (java) S 20322 20324 14759 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 905139409 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20343] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20343/stat : 20343 (java) S 20322 20324 14759 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 905139577 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.61
Current children cumulated vsize (KiB) 13624392
[startup+1782.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/520 20399
/proc/meminfo: memFree=22848076/32950928 swapFree=61542356/67111528
[pid=20324] ppid=20322 vsize=13624392 CPUtime=1784.62 cores=1,3,5,7
/proc/20324/stat : 20324 (java) S 20322 20324 14759 0 -1 4202496 249863 0 1 0 178432 30 0 0 25 0 19 0 905139403 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20324/statm: 3406098 241614 2252 9 0 3396832 0
[pid=20324/tid=20325] ppid=20322 vsize=13624392 CPUtime=1771.33 cores=1,3,5,7
/proc/20324/task/20325/stat : 20325 (java) R 20322 20324 14759 0 -1 4202560 136405 0 1 0 177120 13 0 0 25 0 19 0 905139403 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 46912505913080 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20324/tid=20327] ppid=20322 vsize=13624392 CPUtime=0.24 cores=1,3,5,7
/proc/20324/task/20327/stat : 20327 (java) S 20322 20324 14759 0 -1 4202560 6585 0 0 0 24 0 0 0 15 0 19 0 905139405 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20328] ppid=20322 vsize=13624392 CPUtime=0.24 cores=1,3,5,7
/proc/20324/task/20328/stat : 20328 (java) S 20322 20324 14759 0 -1 4202560 8808 0 0 0 23 1 0 0 15 0 19 0 905139405 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 3 0 0 0
[pid=20324/tid=20329] ppid=20322 vsize=13624392 CPUtime=0.16 cores=1,3,5,7
/proc/20324/task/20329/stat : 20329 (java) S 20322 20324 14759 0 -1 4202560 5050 0 0 0 15 1 0 0 15 0 19 0 905139405 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20330] ppid=20322 vsize=13624392 CPUtime=0.23 cores=1,3,5,7
/proc/20324/task/20330/stat : 20330 (java) S 20322 20324 14759 0 -1 4202560 9730 0 0 0 22 1 0 0 15 0 19 0 905139405 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 3 0 0 0
[pid=20324/tid=20331] ppid=20322 vsize=13624392 CPUtime=0.14 cores=1,3,5,7
/proc/20324/task/20331/stat : 20331 (java) S 20322 20324 14759 0 -1 4202560 499 0 0 0 14 0 0 0 16 0 19 0 905139405 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20332] ppid=20322 vsize=13624392 CPUtime=0.3 cores=1,3,5,7
/proc/20324/task/20332/stat : 20332 (java) S 20322 20324 14759 0 -1 4202560 9154 0 0 0 29 1 0 0 15 0 19 0 905139405 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20333] ppid=20322 vsize=13624392 CPUtime=0.25 cores=1,3,5,7
/proc/20324/task/20333/stat : 20333 (java) S 20322 20324 14759 0 -1 4202560 7487 0 0 0 24 1 0 0 15 0 19 0 905139405 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20334] ppid=20322 vsize=13624392 CPUtime=0.22 cores=1,3,5,7
/proc/20324/task/20334/stat : 20334 (java) S 20322 20324 14759 0 -1 4202560 10996 0 0 0 21 1 0 0 15 0 19 0 905139405 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20335] ppid=20322 vsize=13624392 CPUtime=10.31 cores=1,3,5,7
/proc/20324/task/20335/stat : 20335 (java) S 20322 20324 14759 0 -1 4202560 43572 0 0 0 1027 4 0 0 15 0 19 0 905139406 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 0 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20336] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20336/stat : 20336 (java) S 20322 20324 14759 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 905139407 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20337] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20337/stat : 20337 (java) S 20322 20324 14759 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905139407 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20338] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20338/stat : 20338 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139409 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917217713 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20339] ppid=20322 vsize=13624392 CPUtime=0.45 cores=1,3,5,7
/proc/20324/task/20339/stat : 20339 (java) S 20322 20324 14759 0 -1 4202560 1631 0 0 0 45 0 0 0 15 0 19 0 905139409 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20340] ppid=20322 vsize=13624392 CPUtime=0.61 cores=1,3,5,7
/proc/20324/task/20340/stat : 20340 (java) S 20322 20324 14759 0 -1 4202560 8693 0 0 0 61 0 0 0 15 0 19 0 905139409 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20341] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20341/stat : 20341 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139409 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20342] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20342/stat : 20342 (java) S 20322 20324 14759 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 905139409 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20343] ppid=20322 vsize=13624392 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20343/stat : 20343 (java) S 20322 20324 14759 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 905139577 13951377408 241614 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.62
Current children cumulated vsize (KiB) 13624392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.6 s]
/proc/loadavg: 2.11 2.06 2.01 3/520 20447
/proc/meminfo: memFree=23618276/32950928 swapFree=61542356/67111528
[pid=20324] ppid=20322 vsize=13626444 CPUtime=1800.07 cores=1,3,5,7
/proc/20324/stat : 20324 (java) S 20322 20324 14759 0 -1 4202496 295921 0 1 0 179969 38 0 0 25 0 19 0 905139403 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20324/statm: 3406611 287545 2253 9 0 3397345 0
[pid=20324/tid=20325] ppid=20322 vsize=13626444 CPUtime=1786.4 cores=1,3,5,7
/proc/20324/task/20325/stat : 20325 (java) R 20322 20324 14759 0 -1 4202560 136405 0 1 0 178627 13 0 0 25 0 19 0 905139403 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 46912505913102 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20324/tid=20327] ppid=20322 vsize=13626444 CPUtime=0.29 cores=1,3,5,7
/proc/20324/task/20327/stat : 20327 (java) S 20322 20324 14759 0 -1 4202560 19434 0 0 0 27 2 0 0 16 0 19 0 905139405 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20328] ppid=20322 vsize=13626444 CPUtime=0.24 cores=1,3,5,7
/proc/20324/task/20328/stat : 20328 (java) S 20322 20324 14759 0 -1 4202560 8808 0 0 0 23 1 0 0 15 0 19 0 905139405 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 3 0 0 0
[pid=20324/tid=20329] ppid=20322 vsize=13626444 CPUtime=0.16 cores=1,3,5,7
/proc/20324/task/20329/stat : 20329 (java) S 20322 20324 14759 0 -1 4202560 5050 0 0 0 15 1 0 0 15 0 19 0 905139405 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20330] ppid=20322 vsize=13626444 CPUtime=0.27 cores=1,3,5,7
/proc/20324/task/20330/stat : 20330 (java) S 20322 20324 14759 0 -1 4202560 19696 0 0 0 24 3 0 0 16 0 19 0 905139405 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 3 0 0 0
[pid=20324/tid=20331] ppid=20322 vsize=13626444 CPUtime=0.2 cores=1,3,5,7
/proc/20324/task/20331/stat : 20331 (java) S 20322 20324 14759 0 -1 4202560 12918 0 0 0 18 2 0 0 16 0 19 0 905139405 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20332] ppid=20322 vsize=13626444 CPUtime=0.3 cores=1,3,5,7
/proc/20324/task/20332/stat : 20332 (java) S 20322 20324 14759 0 -1 4202560 9154 0 0 0 29 1 0 0 15 0 19 0 905139405 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20333] ppid=20322 vsize=13626444 CPUtime=0.25 cores=1,3,5,7
/proc/20324/task/20333/stat : 20333 (java) S 20322 20324 14759 0 -1 4202560 7487 0 0 0 24 1 0 0 15 0 19 0 905139405 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20334] ppid=20322 vsize=13626444 CPUtime=0.27 cores=1,3,5,7
/proc/20324/task/20334/stat : 20334 (java) S 20322 20324 14759 0 -1 4202560 21422 0 0 0 23 4 0 0 16 0 19 0 905139405 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20335] ppid=20322 vsize=13626444 CPUtime=10.5 cores=1,3,5,7
/proc/20324/task/20335/stat : 20335 (java) S 20322 20324 14759 0 -1 4202560 43573 0 0 0 1046 4 0 0 15 0 19 0 905139406 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 0 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20336] ppid=20322 vsize=13626444 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20336/stat : 20336 (java) S 20322 20324 14759 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 905139407 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20337] ppid=20322 vsize=13626444 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20337/stat : 20337 (java) S 20322 20324 14759 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905139407 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20338] ppid=20322 vsize=13626444 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20338/stat : 20338 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139409 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917217713 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20339] ppid=20322 vsize=13626444 CPUtime=0.46 cores=1,3,5,7
/proc/20324/task/20339/stat : 20339 (java) S 20322 20324 14759 0 -1 4202560 2028 0 0 0 46 0 0 0 15 0 19 0 905139409 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20340] ppid=20322 vsize=13626444 CPUtime=0.61 cores=1,3,5,7
/proc/20324/task/20340/stat : 20340 (java) S 20322 20324 14759 0 -1 4202560 8693 0 0 0 61 0 0 0 15 0 19 0 905139409 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20341] ppid=20322 vsize=13626444 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20341/stat : 20341 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139409 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20342] ppid=20322 vsize=13626444 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20342/stat : 20342 (java) S 20322 20324 14759 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 905139409 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20343] ppid=20322 vsize=13626444 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20343/stat : 20343 (java) S 20322 20324 14759 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 905139577 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13626444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.6 s]
/proc/loadavg: 2.11 2.06 2.01 3/520 20447
/proc/meminfo: memFree=23618276/32950928 swapFree=61542356/67111528
[pid=20324] ppid=20322 vsize=13626444 CPUtime=1800.07 cores=1,3,5,7
/proc/20324/stat : 20324 (java) S 20322 20324 14759 0 -1 4202496 295921 0 1 0 179969 38 0 0 25 0 19 0 905139403 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20324/statm: 3406611 287545 2253 9 0 3397345 0
[pid=20324/tid=20325] ppid=20322 vsize=13626444 CPUtime=1786.4 cores=1,3,5,7
/proc/20324/task/20325/stat : 20325 (java) R 20322 20324 14759 0 -1 4202560 136405 0 1 0 178627 13 0 0 25 0 19 0 905139403 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 46912505913102 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20324/tid=20327] ppid=20322 vsize=13626444 CPUtime=0.29 cores=1,3,5,7
/proc/20324/task/20327/stat : 20327 (java) S 20322 20324 14759 0 -1 4202560 19434 0 0 0 27 2 0 0 16 0 19 0 905139405 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20328] ppid=20322 vsize=13626444 CPUtime=0.24 cores=1,3,5,7
/proc/20324/task/20328/stat : 20328 (java) S 20322 20324 14759 0 -1 4202560 8808 0 0 0 23 1 0 0 15 0 19 0 905139405 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 3 0 0 0
[pid=20324/tid=20329] ppid=20322 vsize=13626444 CPUtime=0.16 cores=1,3,5,7
/proc/20324/task/20329/stat : 20329 (java) S 20322 20324 14759 0 -1 4202560 5050 0 0 0 15 1 0 0 15 0 19 0 905139405 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20330] ppid=20322 vsize=13626444 CPUtime=0.27 cores=1,3,5,7
/proc/20324/task/20330/stat : 20330 (java) S 20322 20324 14759 0 -1 4202560 19696 0 0 0 24 3 0 0 16 0 19 0 905139405 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 3 0 0 0
[pid=20324/tid=20331] ppid=20322 vsize=13626444 CPUtime=0.2 cores=1,3,5,7
/proc/20324/task/20331/stat : 20331 (java) S 20322 20324 14759 0 -1 4202560 12918 0 0 0 18 2 0 0 16 0 19 0 905139405 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20332] ppid=20322 vsize=13626444 CPUtime=0.3 cores=1,3,5,7
/proc/20324/task/20332/stat : 20332 (java) S 20322 20324 14759 0 -1 4202560 9154 0 0 0 29 1 0 0 15 0 19 0 905139405 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20333] ppid=20322 vsize=13626444 CPUtime=0.25 cores=1,3,5,7
/proc/20324/task/20333/stat : 20333 (java) S 20322 20324 14759 0 -1 4202560 7487 0 0 0 24 1 0 0 15 0 19 0 905139405 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20334] ppid=20322 vsize=13626444 CPUtime=0.27 cores=1,3,5,7
/proc/20324/task/20334/stat : 20334 (java) S 20322 20324 14759 0 -1 4202560 21422 0 0 0 23 4 0 0 16 0 19 0 905139405 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20335] ppid=20322 vsize=13626444 CPUtime=10.5 cores=1,3,5,7
/proc/20324/task/20335/stat : 20335 (java) S 20322 20324 14759 0 -1 4202560 43573 0 0 0 1046 4 0 0 15 0 19 0 905139406 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 0 0 16800975 18446604454584328576 0 0 -1 5 0 0 0
[pid=20324/tid=20336] ppid=20322 vsize=13626444 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20336/stat : 20336 (java) S 20322 20324 14759 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 905139407 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20337] ppid=20322 vsize=13626444 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20337/stat : 20337 (java) S 20322 20324 14759 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905139407 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20338] ppid=20322 vsize=13626444 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20338/stat : 20338 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139409 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917217713 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20339] ppid=20322 vsize=13626444 CPUtime=0.46 cores=1,3,5,7
/proc/20324/task/20339/stat : 20339 (java) S 20322 20324 14759 0 -1 4202560 2028 0 0 0 46 0 0 0 15 0 19 0 905139409 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20340] ppid=20322 vsize=13626444 CPUtime=0.61 cores=1,3,5,7
/proc/20324/task/20340/stat : 20340 (java) S 20322 20324 14759 0 -1 4202560 8693 0 0 0 61 0 0 0 15 0 19 0 905139409 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20341] ppid=20322 vsize=13626444 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20341/stat : 20341 (java) S 20322 20324 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905139409 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210009 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
[pid=20324/tid=20342] ppid=20322 vsize=13626444 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20342/stat : 20342 (java) S 20322 20324 14759 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 905139409 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 4 0 16800975 18446604454584328576 0 0 -1 1 0 0 0
[pid=20324/tid=20343] ppid=20322 vsize=13626444 CPUtime=0 cores=1,3,5,7
/proc/20324/task/20343/stat : 20343 (java) S 20322 20324 14759 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 905139577 13953478656 287545 33554432000 1073741824 1073778376 140737014394672 18446744073709551615 260917210624 0 4 0 16800975 18446604454584328576 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13626444
Child status: 143
Real time (s): 1797.68
CPU time (s): 1800.17
CPU user time (s): 1799.74
CPU system time (s): 0.430934
CPU usage (%): 100.138
Max. virtual memory (cumulated for all children) (KiB): 13626444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.430934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295960
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= 38786
involuntary context switches= 5746
runsolver used 8.37573 second user time and 20.3019 second system time
The end