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-3458638-1307152327/watcher-3458638-1307152327 -o /tmp/evaluation-result-3458638-1307152327/solver-3458638-1307152327 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458638-1307152327.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.92 1.99 1.99 1/384 4667
/proc/meminfo: memFree=23730624/32951124 swapFree=49244120/67111528
[pid=4667] ppid=4665 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/4667/stat : 4667 (java) R 4665 4667 31984 0 -1 4202496 947 0 0 0 0 0 0 0 25 0 1 0 826835477 23580672 691 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218365989159 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4667/statm: 5757 692 509 9 0 124 0
[pid=4667/tid=4668] ppid=4665 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4668/stat : 4668 (java) R 4665 4667 31984 0 -1 4202560 1759 0 1 0 0 0 0 0 25 0 2 0 826835478 13833195520 2574 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.077957 s]
/proc/loadavg: 1.92 1.99 1.99 1/384 4667
/proc/meminfo: memFree=23730624/32951124 swapFree=49244120/67111528
[pid=4667] ppid=4665 vsize=13555024 CPUtime=0.05 cores=1,3,5,7
/proc/4667/stat : 4667 (java) S 4665 4667 31984 0 -1 4202496 14362 0 1 0 4 1 0 0 25 0 18 0 826835477 13880344576 14059 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4667/statm: 3388756 14059 1754 9 0 3379490 0
[pid=4667/tid=4668] ppid=4665 vsize=13555024 CPUtime=0.05 cores=1,3,5,7
/proc/4667/task/4668/stat : 4668 (java) R 4665 4667 31984 0 -1 4202560 13190 0 1 0 4 1 0 0 25 0 18 0 826835478 13880344576 14059 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13555024
[startup+0.100916 s]
/proc/loadavg: 1.92 1.99 1.99 1/384 4667
/proc/meminfo: memFree=23730624/32951124 swapFree=49244120/67111528
[pid=4667] ppid=4665 vsize=13622608 CPUtime=0.1 cores=1,3,5,7
/proc/4667/stat : 4667 (java) S 4665 4667 31984 0 -1 4202496 15469 0 1 0 8 2 0 0 25 0 18 0 826835477 13949550592 15166 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4667/statm: 3405652 15167 2092 9 0 3396386 0
[pid=4667/tid=4668] ppid=4665 vsize=13622608 CPUtime=0.08 cores=1,3,5,7
/proc/4667/task/4668/stat : 4668 (java) R 4665 4667 31984 0 -1 4202560 13551 0 1 0 6 2 0 0 18 0 18 0 826835478 13949550592 15167 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 47646107153461 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) 13622608
[startup+0.300924 s]
/proc/loadavg: 1.92 1.99 1.99 1/384 4667
/proc/meminfo: memFree=23730624/32951124 swapFree=49244120/67111528
[pid=4667] ppid=4665 vsize=13625680 CPUtime=0.45 cores=1,3,5,7
/proc/4667/stat : 4667 (java) S 4665 4667 31984 0 -1 4202496 22996 0 1 0 42 3 0 0 25 0 18 0 826835477 13952696320 22663 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4667/statm: 3406420 22666 2200 9 0 3397154 0
[pid=4667/tid=4668] ppid=4665 vsize=13625680 CPUtime=0.28 cores=1,3,5,7
/proc/4667/task/4668/stat : 4668 (java) R 4665 4667 31984 0 -1 4202560 20350 0 1 0 26 2 0 0 18 0 18 0 826835478 13952696320 22668 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 46912505559149 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13625680
[startup+0.724853 s]
/proc/loadavg: 1.92 1.99 1.99 1/384 4667
/proc/meminfo: memFree=23730624/32951124 swapFree=49244120/67111528
[pid=4667] ppid=4665 vsize=13628752 CPUtime=1.2 cores=1,3,5,7
/proc/4667/stat : 4667 (java) S 4665 4667 31984 0 -1 4202496 120032 0 1 0 107 13 0 0 25 0 18 0 826835477 13955842048 118424 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4667/statm: 3407188 118452 2216 9 0 3397922 0
[pid=4667/tid=4668] ppid=4665 vsize=13628752 CPUtime=0.7 cores=1,3,5,7
/proc/4667/task/4668/stat : 4668 (java) R 4665 4667 31984 0 -1 4202560 114445 0 1 0 58 12 0 0 18 0 18 0 826835478 13955842048 118466 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 47646108449882 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 13628752
[startup+1.50071 s]
/proc/loadavg: 1.92 1.99 1.99 2/402 4685
/proc/meminfo: memFree=22748452/32951124 swapFree=49244120/67111528
[pid=4667] ppid=4665 vsize=13628752 CPUtime=1.97 cores=1,3,5,7
/proc/4667/stat : 4667 (java) S 4665 4667 31984 0 -1 4202496 559654 0 1 0 137 60 0 0 25 0 18 0 826835477 13955842048 558046 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4667/statm: 3407188 558075 2216 9 0 3397922 0
[pid=4667/tid=4668] ppid=4665 vsize=13628752 CPUtime=1.48 cores=1,3,5,7
/proc/4667/task/4668/stat : 4668 (java) R 4665 4667 31984 0 -1 4202560 554066 0 1 0 88 60 0 0 19 0 18 0 826835478 13955842048 558087 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 47646108449882 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4667/tid=4670] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4670/stat : 4670 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826835480 13955842048 558104 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4671] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4671/stat : 4671 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826835480 13955842048 558119 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4672] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4672/stat : 4672 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826835480 13955842048 558135 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4673] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4673/stat : 4673 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826835480 13955842048 558150 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4674] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4674/stat : 4674 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826835480 13955842048 558166 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4675] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4675/stat : 4675 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826835480 13955842048 558180 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4676] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4676/stat : 4676 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826835480 13955842048 558195 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4677] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4677/stat : 4677 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826835480 13955842048 558210 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4678] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4678/stat : 4678 (java) S 4665 4667 31984 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 826835481 13955842048 558226 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773760 0 0 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4679] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4679/stat : 4679 (java) S 4665 4667 31984 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826835482 13955842048 558241 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4680] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4680/stat : 4680 (java) S 4665 4667 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826835482 13955842048 558257 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4681] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4681/stat : 4681 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826835484 13955842048 558272 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382780849 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4682] ppid=4665 vsize=13628752 CPUtime=0.21 cores=1,3,5,7
/proc/4667/task/4682/stat : 4682 (java) S 4665 4667 31984 0 -1 4202560 1510 0 0 0 21 0 0 0 23 0 18 0 826835484 13955842048 558288 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
[pid=4667/tid=4683] ppid=4665 vsize=13628752 CPUtime=0.27 cores=1,3,5,7
/proc/4667/task/4683/stat : 4683 (java) S 4665 4667 31984 0 -1 4202560 2972 0 0 0 27 0 0 0 16 0 18 0 826835484 13955842048 558303 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4684] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4684/stat : 4684 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826835484 13955842048 558319 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4685] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4685/stat : 4685 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826835484 13955842048 558335 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773760 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 13628752
[startup+3.10142 s]
/proc/loadavg: 1.92 1.99 1.99 3/401 4694
/proc/meminfo: memFree=20337504/32951124 swapFree=49244120/67111528
[pid=4667] ppid=4665 vsize=13628752 CPUtime=3.72 cores=1,3,5,7
/proc/4667/stat : 4667 (java) S 4665 4667 31984 0 -1 4202496 865493 0 1 0 279 93 0 0 25 0 18 0 826835477 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4667/statm: 3407188 863874 2232 9 0 3397922 0
[pid=4667/tid=4668] ppid=4665 vsize=13628752 CPUtime=3.02 cores=1,3,5,7
/proc/4667/task/4668/stat : 4668 (java) R 4665 4667 31984 0 -1 4202560 845485 0 1 0 212 90 0 0 24 0 18 0 826835478 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 47646108449879 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4667/tid=4670] ppid=4665 vsize=13628752 CPUtime=0.03 cores=1,3,5,7
/proc/4667/task/4670/stat : 4670 (java) S 4665 4667 31984 0 -1 4202560 3326 0 0 0 3 0 0 0 16 0 18 0 826835480 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4671] ppid=4665 vsize=13628752 CPUtime=0.02 cores=1,3,5,7
/proc/4667/task/4671/stat : 4671 (java) S 4665 4667 31984 0 -1 4202560 2019 0 0 0 2 0 0 0 15 0 18 0 826835480 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 7 0 0 0
[pid=4667/tid=4672] ppid=4665 vsize=13628752 CPUtime=0.02 cores=1,3,5,7
/proc/4667/task/4672/stat : 4672 (java) S 4665 4667 31984 0 -1 4202560 1553 0 0 0 2 0 0 0 15 0 18 0 826835480 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4673] ppid=4665 vsize=13628752 CPUtime=0.02 cores=1,3,5,7
/proc/4667/task/4673/stat : 4673 (java) S 4665 4667 31984 0 -1 4202560 1369 0 0 0 2 0 0 0 15 0 18 0 826835480 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
[pid=4667/tid=4674] ppid=4665 vsize=13628752 CPUtime=0.02 cores=1,3,5,7
/proc/4667/task/4674/stat : 4674 (java) S 4665 4667 31984 0 -1 4202560 1685 0 0 0 2 0 0 0 16 0 18 0 826835480 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
[pid=4667/tid=4675] ppid=4665 vsize=13628752 CPUtime=0.03 cores=1,3,5,7
/proc/4667/task/4675/stat : 4675 (java) S 4665 4667 31984 0 -1 4202560 2357 0 0 0 3 0 0 0 16 0 18 0 826835480 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 7 0 0 0
[pid=4667/tid=4676] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4676/stat : 4676 (java) S 4665 4667 31984 0 -1 4202560 473 0 0 0 0 0 0 0 16 0 18 0 826835480 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4677] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4677/stat : 4677 (java) S 4665 4667 31984 0 -1 4202560 1594 0 0 0 0 0 0 0 16 0 18 0 826835480 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4678] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4678/stat : 4678 (java) S 4665 4667 31984 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 18 0 826835481 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773760 0 0 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4679] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4679/stat : 4679 (java) S 4665 4667 31984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 826835482 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4680] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4680/stat : 4680 (java) S 4665 4667 31984 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 826835482 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4681] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4681/stat : 4681 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826835484 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382780849 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4682] ppid=4665 vsize=13628752 CPUtime=0.21 cores=1,3,5,7
/proc/4667/task/4682/stat : 4682 (java) S 4665 4667 31984 0 -1 4202560 1510 0 0 0 21 0 0 0 23 0 18 0 826835484 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
[pid=4667/tid=4683] ppid=4665 vsize=13628752 CPUtime=0.27 cores=1,3,5,7
/proc/4667/task/4683/stat : 4683 (java) S 4665 4667 31984 0 -1 4202560 2972 0 0 0 27 0 0 0 15 0 18 0 826835484 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4684] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4684/stat : 4684 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826835484 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4685] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4685/stat : 4685 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826835484 13955842048 863874 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773760 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 13628752
[startup+6.30087 s]
/proc/loadavg: 1.93 1.99 1.99 3/422 4730
/proc/meminfo: memFree=20169300/32951124 swapFree=49244120/67111528
[pid=4667] ppid=4665 vsize=13628752 CPUtime=7.32 cores=1,3,5,7
/proc/4667/stat : 4667 (java) S 4665 4667 31984 0 -1 4202496 1127009 0 1 0 611 121 0 0 25 0 18 0 826835477 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4667/statm: 3407188 1125220 2232 9 0 3397922 0
[pid=4667/tid=4668] ppid=4665 vsize=13628752 CPUtime=6.09 cores=1,3,5,7
/proc/4667/task/4668/stat : 4668 (java) R 4665 4667 31984 0 -1 4202560 1087831 0 1 0 494 115 0 0 25 0 18 0 826835478 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 47646108449889 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4667/tid=4670] ppid=4665 vsize=13628752 CPUtime=0.1 cores=1,3,5,7
/proc/4667/task/4670/stat : 4670 (java) S 4665 4667 31984 0 -1 4202560 8077 0 0 0 9 1 0 0 16 0 18 0 826835480 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4671] ppid=4665 vsize=13628752 CPUtime=0.1 cores=1,3,5,7
/proc/4667/task/4671/stat : 4671 (java) S 4665 4667 31984 0 -1 4202560 4815 0 0 0 10 0 0 0 16 0 18 0 826835480 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 7 0 0 0
[pid=4667/tid=4672] ppid=4665 vsize=13628752 CPUtime=0.09 cores=1,3,5,7
/proc/4667/task/4672/stat : 4672 (java) S 4665 4667 31984 0 -1 4202560 1960 0 0 0 9 0 0 0 15 0 18 0 826835480 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4673] ppid=4665 vsize=13628752 CPUtime=0.06 cores=1,3,5,7
/proc/4667/task/4673/stat : 4673 (java) S 4665 4667 31984 0 -1 4202560 3682 0 0 0 6 0 0 0 15 0 18 0 826835480 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 7 0 0 0
[pid=4667/tid=4674] ppid=4665 vsize=13628752 CPUtime=0.04 cores=1,3,5,7
/proc/4667/task/4674/stat : 4674 (java) S 4665 4667 31984 0 -1 4202560 3776 0 0 0 4 0 0 0 15 0 18 0 826835480 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
[pid=4667/tid=4675] ppid=4665 vsize=13628752 CPUtime=0.07 cores=1,3,5,7
/proc/4667/task/4675/stat : 4675 (java) S 4665 4667 31984 0 -1 4202560 4153 0 0 0 7 0 0 0 16 0 18 0 826835480 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
[pid=4667/tid=4676] ppid=4665 vsize=13628752 CPUtime=0.08 cores=1,3,5,7
/proc/4667/task/4676/stat : 4676 (java) S 4665 4667 31984 0 -1 4202560 3031 0 0 0 8 0 0 0 16 0 18 0 826835480 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4677] ppid=4665 vsize=13628752 CPUtime=0.06 cores=1,3,5,7
/proc/4667/task/4677/stat : 4677 (java) S 4665 4667 31984 0 -1 4202560 4048 0 0 0 6 0 0 0 15 0 18 0 826835480 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4678] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4678/stat : 4678 (java) S 4665 4667 31984 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 18 0 826835481 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773760 0 0 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4679] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4679/stat : 4679 (java) S 4665 4667 31984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 826835482 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4680] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4680/stat : 4680 (java) S 4665 4667 31984 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 826835482 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4681] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4681/stat : 4681 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826835484 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382780849 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4682] ppid=4665 vsize=13628752 CPUtime=0.22 cores=1,3,5,7
/proc/4667/task/4682/stat : 4682 (java) S 4665 4667 31984 0 -1 4202560 1511 0 0 0 22 0 0 0 18 0 18 0 826835484 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
[pid=4667/tid=4683] ppid=4665 vsize=13628752 CPUtime=0.3 cores=1,3,5,7
/proc/4667/task/4683/stat : 4683 (java) S 4665 4667 31984 0 -1 4202560 2975 0 0 0 30 0 0 0 16 0 18 0 826835484 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4684] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4684/stat : 4684 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826835484 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4685] ppid=4665 vsize=13628752 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4685/stat : 4685 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826835484 13955842048 1125220 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773760 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=4667/tid=4731] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4731/stat : 4731 (java) S 4665 4667 31984 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 826837081 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773760 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1665.97
Current children cumulated vsize (KiB) 13629780
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/423 5255
/proc/meminfo: memFree=19042444/32951124 swapFree=49244120/67111528
[pid=4667] ppid=4665 vsize=13629780 CPUtime=1726.01 cores=1,3,5,7
/proc/4667/stat : 4667 (java) S 4665 4667 31984 0 -1 4202496 1156327 0 1 0 172475 126 0 0 25 0 19 0 826835477 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4667/statm: 3407445 1151604 2263 9 0 3398179 0
[pid=4667/tid=4668] ppid=4665 vsize=13629780 CPUtime=1709.65 cores=1,3,5,7
/proc/4667/task/4668/stat : 4668 (java) R 4665 4667 31984 0 -1 4202560 1089519 0 1 0 170849 116 0 0 25 0 19 0 826835478 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 46912505900503 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4667/tid=4670] ppid=4665 vsize=13629780 CPUtime=0.4 cores=1,3,5,7
/proc/4667/task/4670/stat : 4670 (java) S 4665 4667 31984 0 -1 4202560 9294 0 0 0 39 1 0 0 15 0 19 0 826835480 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
[pid=4667/tid=4671] ppid=4665 vsize=13629780 CPUtime=0.47 cores=1,3,5,7
/proc/4667/task/4671/stat : 4671 (java) S 4665 4667 31984 0 -1 4202560 7210 0 0 0 46 1 0 0 16 0 19 0 826835480 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 7 0 0 0
[pid=4667/tid=4672] ppid=4665 vsize=13629780 CPUtime=0.43 cores=1,3,5,7
/proc/4667/task/4672/stat : 4672 (java) S 4665 4667 31984 0 -1 4202560 4828 0 0 0 43 0 0 0 15 0 19 0 826835480 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 7 0 0 0
[pid=4667/tid=4673] ppid=4665 vsize=13629780 CPUtime=0.35 cores=1,3,5,7
/proc/4667/task/4673/stat : 4673 (java) S 4665 4667 31984 0 -1 4202560 4374 0 0 0 35 0 0 0 16 0 19 0 826835480 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
[pid=4667/tid=4674] ppid=4665 vsize=13629780 CPUtime=0.38 cores=1,3,5,7
/proc/4667/task/4674/stat : 4674 (java) S 4665 4667 31984 0 -1 4202560 4609 0 0 0 38 0 0 0 16 0 19 0 826835480 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 7 0 0 0
[pid=4667/tid=4675] ppid=4665 vsize=13629780 CPUtime=0.47 cores=1,3,5,7
/proc/4667/task/4675/stat : 4675 (java) S 4665 4667 31984 0 -1 4202560 6474 0 0 0 47 0 0 0 15 0 19 0 826835480 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 7 0 0 0
[pid=4667/tid=4676] ppid=4665 vsize=13629780 CPUtime=0.35 cores=1,3,5,7
/proc/4667/task/4676/stat : 4676 (java) S 4665 4667 31984 0 -1 4202560 4067 0 0 0 35 0 0 0 15 0 19 0 826835480 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4677] ppid=4665 vsize=13629780 CPUtime=0.47 cores=1,3,5,7
/proc/4667/task/4677/stat : 4677 (java) S 4665 4667 31984 0 -1 4202560 6090 0 0 0 47 0 0 0 16 0 19 0 826835480 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4678] ppid=4665 vsize=13629780 CPUtime=11.62 cores=1,3,5,7
/proc/4667/task/4678/stat : 4678 (java) S 4665 4667 31984 0 -1 4202560 11338 0 0 0 1161 1 0 0 15 0 19 0 826835481 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773760 0 0 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4679] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4679/stat : 4679 (java) S 4665 4667 31984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826835482 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4680] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4680/stat : 4680 (java) S 4665 4667 31984 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826835482 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4681] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4681/stat : 4681 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826835484 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382780849 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4682] ppid=4665 vsize=13629780 CPUtime=0.58 cores=1,3,5,7
/proc/4667/task/4682/stat : 4682 (java) S 4665 4667 31984 0 -1 4202560 1616 0 0 0 58 0 0 0 15 0 19 0 826835484 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
[pid=4667/tid=4683] ppid=4665 vsize=13629780 CPUtime=0.7 cores=1,3,5,7
/proc/4667/task/4683/stat : 4683 (java) S 4665 4667 31984 0 -1 4202560 5658 0 0 0 70 0 0 0 15 0 19 0 826835484 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4684] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4684/stat : 4684 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826835484 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4685] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4685/stat : 4685 (java) S 4665 4667 31984 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826835484 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773760 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4731] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4731/stat : 4731 (java) S 4665 4667 31984 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 826837081 13956894720 1151604 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773760 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1726.01
Current children cumulated vsize (KiB) 13629780
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/423 5256
/proc/meminfo: memFree=19041648/32951124 swapFree=49244120/67111528
[pid=4667] ppid=4665 vsize=13629780 CPUtime=1786.04 cores=1,3,5,7
/proc/4667/stat : 4667 (java) S 4665 4667 31984 0 -1 4202496 1156338 0 1 0 178478 126 0 0 25 0 19 0 826835477 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4667/statm: 3407445 1151610 2263 9 0 3398179 0
[pid=4667/tid=4668] ppid=4665 vsize=13629780 CPUtime=1769.43 cores=1,3,5,7
/proc/4667/task/4668/stat : 4668 (java) R 4665 4667 31984 0 -1 4202560 1089520 0 1 0 176827 116 0 0 25 0 19 0 826835478 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 46912505957965 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4667/tid=4670] ppid=4665 vsize=13629780 CPUtime=0.4 cores=1,3,5,7
/proc/4667/task/4670/stat : 4670 (java) S 4665 4667 31984 0 -1 4202560 9294 0 0 0 39 1 0 0 15 0 19 0 826835480 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
[pid=4667/tid=4671] ppid=4665 vsize=13629780 CPUtime=0.47 cores=1,3,5,7
/proc/4667/task/4671/stat : 4671 (java) S 4665 4667 31984 0 -1 4202560 7210 0 0 0 46 1 0 0 15 0 19 0 826835480 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 7 0 0 0
[pid=4667/tid=4672] ppid=4665 vsize=13629780 CPUtime=0.43 cores=1,3,5,7
/proc/4667/task/4672/stat : 4672 (java) S 4665 4667 31984 0 -1 4202560 4828 0 0 0 43 0 0 0 15 0 19 0 826835480 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 7 0 0 0
[pid=4667/tid=4673] ppid=4665 vsize=13629780 CPUtime=0.35 cores=1,3,5,7
/proc/4667/task/4673/stat : 4673 (java) S 4665 4667 31984 0 -1 4202560 4374 0 0 0 35 0 0 0 15 0 19 0 826835480 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
[pid=4667/tid=4674] ppid=4665 vsize=13629780 CPUtime=0.4 cores=1,3,5,7
/proc/4667/task/4674/stat : 4674 (java) S 4665 4667 31984 0 -1 4202560 4610 0 0 0 40 0 0 0 16 0 19 0 826835480 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 7 0 0 0
[pid=4667/tid=4675] ppid=4665 vsize=13629780 CPUtime=0.49 cores=1,3,5,7
/proc/4667/task/4675/stat : 4675 (java) S 4665 4667 31984 0 -1 4202560 6479 0 0 0 49 0 0 0 16 0 19 0 826835480 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 7 0 0 0
[pid=4667/tid=4676] ppid=4665 vsize=13629780 CPUtime=0.36 cores=1,3,5,7
/proc/4667/task/4676/stat : 4676 (java) S 4665 4667 31984 0 -1 4202560 4067 0 0 0 36 0 0 0 16 0 19 0 826835480 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4677] ppid=4665 vsize=13629780 CPUtime=0.47 cores=1,3,5,7
/proc/4667/task/4677/stat : 4677 (java) S 4665 4667 31984 0 -1 4202560 6090 0 0 0 47 0 0 0 16 0 19 0 826835480 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4678] ppid=4665 vsize=13629780 CPUtime=11.83 cores=1,3,5,7
/proc/4667/task/4678/stat : 4678 (java) S 4665 4667 31984 0 -1 4202560 11340 0 0 0 1182 1 0 0 15 0 19 0 826835481 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773760 0 0 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4679] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4679/stat : 4679 (java) S 4665 4667 31984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826835482 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4680] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4680/stat : 4680 (java) S 4665 4667 31984 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826835482 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4681] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4681/stat : 4681 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826835484 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382780849 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4682] ppid=4665 vsize=13629780 CPUtime=0.58 cores=1,3,5,7
/proc/4667/task/4682/stat : 4682 (java) S 4665 4667 31984 0 -1 4202560 1616 0 0 0 58 0 0 0 15 0 19 0 826835484 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
[pid=4667/tid=4683] ppid=4665 vsize=13629780 CPUtime=0.7 cores=1,3,5,7
/proc/4667/task/4683/stat : 4683 (java) S 4665 4667 31984 0 -1 4202560 5658 0 0 0 70 0 0 0 15 0 19 0 826835484 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4684] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4684/stat : 4684 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826835484 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4685] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4685/stat : 4685 (java) S 4665 4667 31984 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826835484 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773760 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4731] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4731/stat : 4731 (java) S 4665 4667 31984 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 826837081 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773760 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1786.04
Current children cumulated vsize (KiB) 13629780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.32 s]
/proc/loadavg: 2.06 2.01 2.00 3/423 5257
/proc/meminfo: memFree=19042004/32951124 swapFree=49244120/67111528
[pid=4667] ppid=4665 vsize=13629780 CPUtime=1800.06 cores=1,3,5,7
/proc/4667/stat : 4667 (java) S 4665 4667 31984 0 -1 4202496 1156340 0 1 0 179880 126 0 0 25 0 19 0 826835477 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4667/statm: 3407445 1151610 2263 9 0 3398179 0
[pid=4667/tid=4668] ppid=4665 vsize=13629780 CPUtime=1783.46 cores=1,3,5,7
/proc/4667/task/4668/stat : 4668 (java) R 4665 4667 31984 0 -1 4202560 1089520 0 1 0 178230 116 0 0 25 0 19 0 826835478 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 46912505919701 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4667/tid=4670] ppid=4665 vsize=13629780 CPUtime=0.4 cores=1,3,5,7
/proc/4667/task/4670/stat : 4670 (java) S 4665 4667 31984 0 -1 4202560 9294 0 0 0 39 1 0 0 15 0 19 0 826835480 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
[pid=4667/tid=4671] ppid=4665 vsize=13629780 CPUtime=0.47 cores=1,3,5,7
/proc/4667/task/4671/stat : 4671 (java) S 4665 4667 31984 0 -1 4202560 7210 0 0 0 46 1 0 0 15 0 19 0 826835480 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 7 0 0 0
[pid=4667/tid=4672] ppid=4665 vsize=13629780 CPUtime=0.43 cores=1,3,5,7
/proc/4667/task/4672/stat : 4672 (java) S 4665 4667 31984 0 -1 4202560 4828 0 0 0 43 0 0 0 15 0 19 0 826835480 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 7 0 0 0
[pid=4667/tid=4673] ppid=4665 vsize=13629780 CPUtime=0.35 cores=1,3,5,7
/proc/4667/task/4673/stat : 4673 (java) S 4665 4667 31984 0 -1 4202560 4374 0 0 0 35 0 0 0 15 0 19 0 826835480 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
[pid=4667/tid=4674] ppid=4665 vsize=13629780 CPUtime=0.4 cores=1,3,5,7
/proc/4667/task/4674/stat : 4674 (java) S 4665 4667 31984 0 -1 4202560 4610 0 0 0 40 0 0 0 16 0 19 0 826835480 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 7 0 0 0
[pid=4667/tid=4675] ppid=4665 vsize=13629780 CPUtime=0.49 cores=1,3,5,7
/proc/4667/task/4675/stat : 4675 (java) S 4665 4667 31984 0 -1 4202560 6479 0 0 0 49 0 0 0 16 0 19 0 826835480 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 7 0 0 0
[pid=4667/tid=4676] ppid=4665 vsize=13629780 CPUtime=0.36 cores=1,3,5,7
/proc/4667/task/4676/stat : 4676 (java) S 4665 4667 31984 0 -1 4202560 4067 0 0 0 36 0 0 0 16 0 19 0 826835480 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4677] ppid=4665 vsize=13629780 CPUtime=0.47 cores=1,3,5,7
/proc/4667/task/4677/stat : 4677 (java) S 4665 4667 31984 0 -1 4202560 6090 0 0 0 47 0 0 0 16 0 19 0 826835480 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4678] ppid=4665 vsize=13629780 CPUtime=11.83 cores=1,3,5,7
/proc/4667/task/4678/stat : 4678 (java) S 4665 4667 31984 0 -1 4202560 11340 0 0 0 1182 1 0 0 15 0 19 0 826835481 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773760 0 0 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4679] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4679/stat : 4679 (java) S 4665 4667 31984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826835482 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4680] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4680/stat : 4680 (java) S 4665 4667 31984 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826835482 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4681] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4681/stat : 4681 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826835484 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382780849 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4682] ppid=4665 vsize=13629780 CPUtime=0.58 cores=1,3,5,7
/proc/4667/task/4682/stat : 4682 (java) S 4665 4667 31984 0 -1 4202560 1616 0 0 0 58 0 0 0 15 0 19 0 826835484 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 3 0 0 0
[pid=4667/tid=4683] ppid=4665 vsize=13629780 CPUtime=0.7 cores=1,3,5,7
/proc/4667/task/4683/stat : 4683 (java) S 4665 4667 31984 0 -1 4202560 5658 0 0 0 70 0 0 0 15 0 19 0 826835484 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4684] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4684/stat : 4684 (java) S 4665 4667 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826835484 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773145 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
[pid=4667/tid=4685] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4685/stat : 4685 (java) S 4665 4667 31984 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826835484 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773760 0 4 0 16800975 18446604456590572416 0 0 -1 5 0 0 0
[pid=4667/tid=4731] ppid=4665 vsize=13629780 CPUtime=0 cores=1,3,5,7
/proc/4667/task/4731/stat : 4731 (java) S 4665 4667 31984 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 826837081 13956894720 1151610 33554432000 1073741824 1073778376 140736239672912 18446744073709551615 218382773760 0 4 0 16800975 18446604456590572416 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13629780
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.42 s]
/proc/loadavg: 2.06 2.01 2.00 3/423 5257
/proc/meminfo: memFree=19042004/32951124 swapFree=49244120/67111528
[pid=4667] ppid=4665 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/4667/stat : 4667 (java) Z 4665 4667 31984 0 -1 4203548 1156490 0 1 0 179891 131 0 0 17 0 2 0 826835477 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4667/statm: 0 0 0 0 0 0 0
[pid=4667/tid=4668] ppid=4665 vsize=0 CPUtime=1783.55 cores=1,3,5,7
/proc/4667/task/4668/stat : 4668 (java) R 4665 4667 31984 0 -1 4203588 1089520 0 1 0 178233 122 0 0 25 0 2 0 826835478 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
[startup+1796.5 s]
/proc/loadavg: 2.06 2.01 2.00 3/423 5257
/proc/meminfo: memFree=19042004/32951124 swapFree=49244120/67111528
[pid=4667] ppid=4665 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/4667/stat : 4667 (java) Z 4665 4667 31984 0 -1 4203548 1156490 0 1 0 179891 139 0 0 17 0 2 0 826835477 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4667/statm: 0 0 0 0 0 0 0
[pid=4667/tid=4668] ppid=4665 vsize=0 CPUtime=1783.63 cores=1,3,5,7
/proc/4667/task/4668/stat : 4668 (java) R 4665 4667 31984 0 -1 4203588 1089520 0 1 0 178233 130 0 0 25 0 2 0 826835478 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.54
CPU time (s): 1800.35
CPU user time (s): 1798.91
CPU system time (s): 1.44078
CPU usage (%): 100.212
Max. virtual memory (cumulated for all children) (KiB): 13629780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.44078
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1156490
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= 39093
involuntary context switches= 6265
runsolver used 6.63399 second user time and 16.2775 second system time
The end