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-3479001-1307441318/watcher-3479001-1307441318 -o /tmp/evaluation-result-3479001-1307441318/solver-3479001-1307441318 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3479001-1307441318.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.70 3.83 3.81 3/575 4679
/proc/meminfo: memFree=13761180/32950928 swapFree=67056580/67111528
[pid=4679] ppid=4677 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/4679/stat : 4679 (java) S 4677 4679 3822 0 -1 4202496 1127 0 0 0 0 0 0 0 25 0 2 0 855728901 24580096 865 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488497637 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/4679/statm: 6002 867 654 9 0 382 0
[pid=4679/tid=4680] ppid=4677 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4680/stat : 4680 (java) R 4677 4679 3822 0 -1 4202560 6736 0 1 0 0 0 0 0 25 0 2 0 855728902 10694979584 7552 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.11938 s]
/proc/loadavg: 3.70 3.83 3.81 3/575 4679
/proc/meminfo: memFree=13761180/32950928 swapFree=67056580/67111528
[pid=4679] ppid=4677 vsize=10540264 CPUtime=0.13 cores=0,2,4,6
/proc/4679/stat : 4679 (java) S 4677 4679 3822 0 -1 4202496 13325 0 1 0 11 2 0 0 25 0 18 0 855728901 10793230336 13022 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4679/statm: 2635066 13023 2126 9 0 2625800 0
[pid=4679/tid=4680] ppid=4677 vsize=10540264 CPUtime=0.09 cores=0,2,4,6
/proc/4679/task/4680/stat : 4680 (java) R 4677 4679 3822 0 -1 4202560 11347 0 1 0 8 1 0 0 18 0 18 0 855728902 10793230336 13023 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239476690868 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10540264
[startup+0.204365 s]
/proc/loadavg: 3.70 3.83 3.81 3/575 4679
/proc/meminfo: memFree=13761180/32950928 swapFree=67056580/67111528
[pid=4679] ppid=4677 vsize=10540608 CPUtime=0.25 cores=0,2,4,6
/proc/4679/stat : 4679 (java) S 4677 4679 3822 0 -1 4202496 14067 0 1 0 23 2 0 0 25 0 18 0 855728901 10793582592 13764 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4679/statm: 2635152 13764 2170 9 0 2625886 0
[pid=4679/tid=4680] ppid=4677 vsize=10540608 CPUtime=0.18 cores=0,2,4,6
/proc/4679/task/4680/stat : 4680 (java) R 4677 4679 3822 0 -1 4202560 11950 0 1 0 17 1 0 0 18 0 18 0 855728902 10793582592 13764 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 46912505176688 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10540608
[startup+0.568942 s]
/proc/loadavg: 3.70 3.83 3.81 3/575 4679
/proc/meminfo: memFree=13761180/32950928 swapFree=67056580/67111528
[pid=4679] ppid=4677 vsize=10550108 CPUtime=1.65 cores=0,2,4,6
/proc/4679/stat : 4679 (java) S 4677 4679 3822 0 -1 4202496 23868 0 1 0 161 4 0 0 25 0 22 0 855728901 10803310592 21227 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4679/statm: 2637556 23321 2224 9 0 2628290 0
[pid=4679/tid=4680] ppid=4677 vsize=10555680 CPUtime=0.22 cores=0,2,4,6
/proc/4679/task/4680/stat : 4680 (java) S 4677 4679 3822 0 -1 4202560 12440 0 1 0 21 1 0 0 20 0 22 0 855728902 10809016320 28233 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10550108
[startup+0.808239 s]
/proc/loadavg: 3.70 3.83 3.81 3/575 4679
/proc/meminfo: memFree=13761180/32950928 swapFree=67056580/67111528
[pid=4679] ppid=4677 vsize=10558372 CPUtime=2.56 cores=0,2,4,6
/proc/4679/stat : 4679 (java) S 4677 4679 3822 0 -1 4202496 43322 0 1 0 249 7 0 0 25 0 22 0 855728901 10811772928 37000 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4679/statm: 2639593 37000 2230 9 0 2630327 0
[pid=4679/tid=4680] ppid=4677 vsize=10558372 CPUtime=0.22 cores=0,2,4,6
/proc/4679/task/4680/stat : 4680 (java) S 4677 4679 3822 0 -1 4202560 12440 0 1 0 21 1 0 0 15 0 22 0 855728902 10811772928 37002 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 10558372
[startup+1.50112 s]
/proc/loadavg: 3.70 3.83 3.81 5/597 4701
/proc/meminfo: memFree=13533784/32950928 swapFree=67056580/67111528
[pid=4679] ppid=4677 vsize=10559928 CPUtime=4.84 cores=0,2,4,6
/proc/4679/stat : 4679 (java) S 4677 4679 3822 0 -1 4202496 70813 0 1 0 473 11 0 0 25 0 22 0 855728901 10813366272 59313 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4679/statm: 2639982 59316 2257 9 0 2630716 0
[pid=4679/tid=4680] ppid=4677 vsize=10559928 CPUtime=0.22 cores=0,2,4,6
/proc/4679/task/4680/stat : 4680 (java) S 4677 4679 3822 0 -1 4202560 12440 0 1 0 21 1 0 0 15 0 22 0 855728902 10813366272 61051 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4682] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4682/stat : 4682 (java) S 4677 4679 3822 0 -1 4202560 159 0 0 0 0 0 0 0 16 0 22 0 855728903 10813366272 61055 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4683] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4683/stat : 4683 (java) S 4677 4679 3822 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 855728903 10813366272 61058 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4684] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4684/stat : 4684 (java) S 4677 4679 3822 0 -1 4202560 235 0 0 0 0 0 0 0 16 0 22 0 855728903 10813366272 61061 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4685] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4685/stat : 4685 (java) S 4677 4679 3822 0 -1 4202560 127 0 0 0 0 0 0 0 16 0 22 0 855728903 10813366272 61064 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4686] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4686/stat : 4686 (java) S 4677 4679 3822 0 -1 4202560 35 0 0 0 0 0 0 0 16 0 22 0 855728904 10813366272 61067 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 2 0 0 0
[pid=4679/tid=4687] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4687/stat : 4687 (java) S 4677 4679 3822 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 22 0 855728904 10813366272 61069 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4688] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4688/stat : 4688 (java) S 4677 4679 3822 0 -1 4202560 142 0 0 0 0 0 0 0 15 0 22 0 855728904 10813366272 61072 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4689] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4689/stat : 4689 (java) S 4677 4679 3822 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 22 0 855728904 10813366272 61074 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4690] ppid=4677 vsize=10559928 CPUtime=0.03 cores=0,2,4,6
/proc/4679/task/4690/stat : 4690 (java) S 4677 4679 3822 0 -1 4202560 878 0 0 0 3 0 0 0 16 0 22 0 855728905 10813366272 61077 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 0 0 16800975 18446604447461566528 0 0 -1 0 0 0 0
[pid=4679/tid=4691] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4691/stat : 4691 (java) S 4677 4679 3822 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 855728905 10813366272 61080 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4692] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4692/stat : 4692 (java) S 4677 4679 3822 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855728905 10813366272 61083 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4693] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4693/stat : 4693 (java) S 4677 4679 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855728907 10813366272 61087 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488518577 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4694] ppid=4677 vsize=10559928 CPUtime=1.16 cores=0,2,4,6
/proc/4679/task/4694/stat : 4694 (java) S 4677 4679 3822 0 -1 4202560 6994 0 0 0 116 0 0 0 25 0 22 0 855728907 10813366272 61090 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4695] ppid=4677 vsize=10559928 CPUtime=0.96 cores=0,2,4,6
/proc/4679/task/4695/stat : 4695 (java) S 4677 4679 3822 0 -1 4202560 11595 0 0 0 93 3 0 0 15 0 22 0 855728907 10813366272 61093 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4696] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4696/stat : 4696 (java) S 4677 4679 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855728907 10813366272 61096 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4697] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4697/stat : 4697 (java) S 4677 4679 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855728907 10813366272 61099 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 2 0 0 0
[pid=4679/tid=4698] ppid=4677 vsize=10559928 CPUtime=1.22 cores=0,2,4,6
/proc/4679/task/4698/stat : 4698 (java) R 4677 4679 3822 0 -1 4202560 389 0 0 0 122 0 0 0 24 0 22 0 855728926 10813366272 61102 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 46912506172901 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4679/tid=4699] ppid=4677 vsize=10559928 CPUtime=1.21 cores=0,2,4,6
/proc/4679/task/4699/stat : 4699 (java) R 4677 4679 3822 0 -1 4202560 38088 0 0 0 116 5 0 0 18 0 22 0 855728926 10813366272 61105 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 46912505678655 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4679/tid=4700] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4700/stat : 4700 (java) S 4677 4679 3822 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855728926 10813366272 61106 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 0 0 0 0
[pid=4679/tid=4701] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4701/stat : 4701 (java) S 4677 4679 3822 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855728926 10813366272 61111 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 10559928
[startup+3.1018 s]
/proc/loadavg: 3.70 3.83 3.81 5/597 4701
/proc/meminfo: memFree=13300540/32950928 swapFree=67056580/67111528
[pid=4679] ppid=4677 vsize=10559928 CPUtime=8 cores=0,2,4,6
/proc/4679/stat : 4679 (java) S 4677 4679 3822 0 -1 4202496 165649 0 1 0 779 21 0 0 25 0 22 0 855728901 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4679/statm: 2639982 154147 2257 9 0 2630716 0
[pid=4679/tid=4680] ppid=4677 vsize=10559928 CPUtime=0.22 cores=0,2,4,6
/proc/4679/task/4680/stat : 4680 (java) S 4677 4679 3822 0 -1 4202560 12440 0 1 0 21 1 0 0 15 0 22 0 855728902 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4682] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4682/stat : 4682 (java) S 4677 4679 3822 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 22 0 855728903 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4683] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4683/stat : 4683 (java) S 4677 4679 3822 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 22 0 855728903 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4684] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4684/stat : 4684 (java) S 4677 4679 3822 0 -1 4202560 276 0 0 0 0 0 0 0 15 0 22 0 855728903 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4685] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4685/stat : 4685 (java) S 4677 4679 3822 0 -1 4202560 252 0 0 0 0 0 0 0 16 0 22 0 855728903 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4686] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4686/stat : 4686 (java) S 4677 4679 3822 0 -1 4202560 260 0 0 0 0 0 0 0 15 0 22 0 855728904 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 2 0 0 0
[pid=4679/tid=4687] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4687/stat : 4687 (java) S 4677 4679 3822 0 -1 4202560 210 0 0 0 0 0 0 0 15 0 22 0 855728904 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4688] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4688/stat : 4688 (java) S 4677 4679 3822 0 -1 4202560 371 0 0 0 0 0 0 0 15 0 22 0 855728904 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4689] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4689/stat : 4689 (java) S 4677 4679 3822 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 22 0 855728904 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4690] ppid=4677 vsize=10559928 CPUtime=0.09 cores=0,2,4,6
/proc/4679/task/4690/stat : 4690 (java) S 4677 4679 3822 0 -1 4202560 1788 0 0 0 9 0 0 0 16 0 22 0 855728905 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 0 0 16800975 18446604447461566528 0 0 -1 0 0 0 0
[pid=4679/tid=4691] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4691/stat : 4691 (java) S 4677 4679 3822 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 855728905 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4692] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4692/stat : 4692 (java) S 4677 4679 3822 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855728905 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4693] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4693/stat : 4693 (java) S 4677 4679 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855728907 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488518577 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4694] ppid=4677 vsize=10559928 CPUtime=1.17 cores=0,2,4,6
/proc/4679/task/4694/stat : 4694 (java) S 4677 4679 3822 0 -1 4202560 6995 0 0 0 117 0 0 0 17 0 22 0 855728907 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4695] ppid=4677 vsize=10559928 CPUtime=0.98 cores=0,2,4,6
/proc/4679/task/4695/stat : 4695 (java) S 4677 4679 3822 0 -1 4202560 11599 0 0 0 95 3 0 0 15 0 22 0 855728907 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4696] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4696/stat : 4696 (java) S 4677 4679 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855728907 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4697] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4697/stat : 4697 (java) S 4677 4679 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855728907 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 2 0 0 0
[pid=4679/tid=4698] ppid=4677 vsize=10559928 CPUtime=2.73 cores=0,2,4,6
/proc/4679/task/4698/stat : 4698 (java) R 4677 4679 3822 0 -1 4202560 551 0 0 0 273 0 0 0 25 0 22 0 855728926 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 46912505610616 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4679/tid=4699] ppid=4677 vsize=10559928 CPUtime=2.73 cores=0,2,4,6
/proc/4679/task/4699/stat : 4699 (java) R 4677 4679 3822 0 -1 4202560 129227 0 0 0 258 15 0 0 17 0 22 0 855728926 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 46912505638311 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4679/tid=4700] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4700/stat : 4700 (java) S 4677 4679 3822 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855728926 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 0 0 0 0
[pid=4679/tid=4701] ppid=4677 vsize=10559928 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4701/stat : 4701 (java) S 4677 4679 3822 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855728926 10813366272 154147 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8
Current children cumulated vsize (KiB) 10559928
[startup+6.3012 s]
/proc/loadavg: 3.72 3.84 3.81 5/597 4701
/proc/meminfo: memFree=12915112/32950928 swapFree=67056580/67111528
[pid=4679] ppid=4677 vsize=10555780 CPUtime=14.37 cores=0,2,4,6
/proc/4679/stat : 4679 (java) S 4677 4679 3822 0 -1 4202496 237484 0 1 0 1407 30 0 0 25 0 22 0 855728901 10809118720 224808 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4679/statm: 2638945 224811 2257 9 0 2629679 0
[pid=4679/tid=4680] ppid=4677 vsize=10555780 CPUtime=0.22 cores=0,2,4,6
/proc/4679/task/4680/stat : 4680 (java) S 4677 4679 3822 0 -1 4202560 12440 0 1 0 21 1 0 0 15 0 22 0 855728902 10809118720 224813 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4682] ppid=4677 vsize=10555780 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4682/stat : 4682 (java) S 4677 4679 3822 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 22 0 855728903 10809118720 224816 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4683] ppid=4677 vsize=10555780 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4683/stat : 4683 (java) S 4677 4679 3822 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 22 0 855728903 10809118720 224817 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4684] ppid=4677 vsize=10555780 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4684/stat : 4684 (java) S 4677 4679 3822 0 -1 4202560 366 0 0 0 0 0 0 0 15 0 22 0 855728903 10809118720 224819 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 2 0 0 0
[pid=4679/tid=4685] ppid=4677 vsize=10555780 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4685/stat : 4685 (java) S 4677 4679 3822 0 -1 4202560 299 0 0 0 0 0 0 0 15 0 22 0 855728903 10809118720 224821 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4686] ppid=4677 vsize=10555780 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4686/stat : 4686 (java) S 4677 4679 3822 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 22 0 855728904 10809118720 224822 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4687] ppid=4677 vsize=10555780 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4687/stat : 4687 (java) S 4677 4679 3822 0 -1 4202560 298 0 0 0 0 0 0 0 15 0 22 0 855728904 10809118720 224823 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4688] ppid=4677 vsize=10555780 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4688/stat : 4688 (java) S 4677 4679 3822 0 -1 4202560 371 0 0 0 0 0 0 0 15 0 22 0 855728904 10809118720 224825 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4689] ppid=4677 vsize=10555780 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4689/stat : 4689 (java) S 4677 4679 3822 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 22 0 855728904 10809118720 224827 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=4679/tid=4699] ppid=4677 vsize=10555588 CPUtime=703.38 cores=0,2,4,6
/proc/4679/task/4699/stat : 4699 (java) R 4677 4679 3822 0 -1 4202560 248445 0 0 0 70307 31 0 0 25 0 22 0 855728926 10808922112 302642 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 46912505715467 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4679/tid=4700] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4700/stat : 4700 (java) S 4677 4679 3822 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855728926 10808922112 302642 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 0 0 0 0
[pid=4679/tid=4701] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4701/stat : 4701 (java) S 4677 4679 3822 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855728926 10808922112 302642 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1473.94
Current children cumulated vsize (KiB) 10555588
[startup+822.302 s]
/proc/loadavg: 3.73 3.84 3.82 5/597 4981
/proc/meminfo: memFree=22664336/32950928 swapFree=67056580/67111528
[pid=4679] ppid=4677 vsize=10555588 CPUtime=1588.16 cores=0,2,4,6
/proc/4679/stat : 4679 (java) S 4677 4679 3822 0 -1 4202496 320332 0 1 0 158764 52 0 0 25 0 22 0 855728901 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4679/statm: 2638897 303739 2258 9 0 2629631 0
[pid=4679/tid=4680] ppid=4677 vsize=10555588 CPUtime=0.22 cores=0,2,4,6
/proc/4679/task/4680/stat : 4680 (java) S 4677 4679 3822 0 -1 4202560 12449 0 1 0 21 1 0 0 15 0 22 0 855728902 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4682] ppid=4677 vsize=10555588 CPUtime=1.2 cores=0,2,4,6
/proc/4679/task/4682/stat : 4682 (java) S 4677 4679 3822 0 -1 4202560 311 0 0 0 120 0 0 0 16 0 22 0 855728903 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4683] ppid=4677 vsize=10555588 CPUtime=1.07 cores=0,2,4,6
/proc/4679/task/4683/stat : 4683 (java) S 4677 4679 3822 0 -1 4202560 235 0 0 0 107 0 0 0 16 0 22 0 855728903 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4684] ppid=4677 vsize=10555588 CPUtime=1.07 cores=0,2,4,6
/proc/4679/task/4684/stat : 4684 (java) S 4677 4679 3822 0 -1 4202560 487 0 0 0 107 0 0 0 15 0 22 0 855728903 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 0 0 0 0
[pid=4679/tid=4685] ppid=4677 vsize=10555588 CPUtime=1.03 cores=0,2,4,6
/proc/4679/task/4685/stat : 4685 (java) S 4677 4679 3822 0 -1 4202560 398 0 0 0 103 0 0 0 15 0 22 0 855728903 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4686] ppid=4677 vsize=10555588 CPUtime=1.14 cores=0,2,4,6
/proc/4679/task/4686/stat : 4686 (java) S 4677 4679 3822 0 -1 4202560 440 0 0 0 114 0 0 0 15 0 22 0 855728904 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4687] ppid=4677 vsize=10555588 CPUtime=0.99 cores=0,2,4,6
/proc/4679/task/4687/stat : 4687 (java) S 4677 4679 3822 0 -1 4202560 408 0 0 0 99 0 0 0 15 0 22 0 855728904 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4688] ppid=4677 vsize=10555588 CPUtime=1.09 cores=0,2,4,6
/proc/4679/task/4688/stat : 4688 (java) S 4677 4679 3822 0 -1 4202560 480 0 0 0 109 0 0 0 15 0 22 0 855728904 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4689] ppid=4677 vsize=10555588 CPUtime=1 cores=0,2,4,6
/proc/4679/task/4689/stat : 4689 (java) S 4677 4679 3822 0 -1 4202560 361 0 0 0 100 0 0 0 15 0 22 0 855728904 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4690] ppid=4677 vsize=10555588 CPUtime=62.26 cores=0,2,4,6
/proc/4679/task/4690/stat : 4690 (java) S 4677 4679 3822 0 -1 4202560 32025 0 0 0 6217 9 0 0 16 0 22 0 855728905 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 0 0 16800975 18446604447461566528 0 0 -1 2 0 0 0
[pid=4679/tid=4691] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4691/stat : 4691 (java) S 4677 4679 3822 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 855728905 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4692] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4692/stat : 4692 (java) S 4677 4679 3822 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855728905 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4693] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4693/stat : 4693 (java) S 4677 4679 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855728907 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488518577 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4694] ppid=4677 vsize=10555588 CPUtime=1.79 cores=0,2,4,6
/proc/4679/task/4694/stat : 4694 (java) S 4677 4679 3822 0 -1 4202560 10443 0 0 0 178 1 0 0 15 0 22 0 855728907 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4695] ppid=4677 vsize=10555588 CPUtime=1.03 cores=0,2,4,6
/proc/4679/task/4695/stat : 4695 (java) S 4677 4679 3822 0 -1 4202560 11642 0 0 0 100 3 0 0 15 0 22 0 855728907 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4696] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4696/stat : 4696 (java) S 4677 4679 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855728907 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4697] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4697/stat : 4697 (java) S 4677 4679 3822 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 855728907 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4698] ppid=4677 vsize=10555588 CPUtime=757.07 cores=0,2,4,6
/proc/4679/task/4698/stat : 4698 (java) R 4677 4679 3822 0 -1 4202560 1005 0 0 0 75705 2 0 0 25 0 22 0 855728926 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 46912505638224 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4679/tid=4699] ppid=4677 vsize=10555588 CPUtime=757.06 cores=0,2,4,6
/proc/4679/task/4699/stat : 4699 (java) R 4677 4679 3822 0 -1 4202560 248445 0 0 0 75675 31 0 0 25 0 22 0 855728926 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 46912505713209 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4679/tid=4700] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4700/stat : 4700 (java) S 4677 4679 3822 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855728926 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 0 0 0 0
[pid=4679/tid=4701] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4701/stat : 4701 (java) S 4677 4679 3822 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855728926 10808922112 303739 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1588.16
Current children cumulated vsize (KiB) 10555588
[startup+882.301 s]
/proc/loadavg: 3.84 3.85 3.82 5/597 4982
/proc/meminfo: memFree=22653536/32950928 swapFree=67056580/67111528
[pid=4679] ppid=4677 vsize=10555588 CPUtime=1702.83 cores=0,2,4,6
/proc/4679/stat : 4679 (java) S 4677 4679 3822 0 -1 4202496 321275 0 1 0 170230 53 0 0 25 0 22 0 855728901 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4679/statm: 2638897 304653 2258 9 0 2629631 0
[pid=4679/tid=4680] ppid=4677 vsize=10555588 CPUtime=0.22 cores=0,2,4,6
/proc/4679/task/4680/stat : 4680 (java) S 4677 4679 3822 0 -1 4202560 12449 0 1 0 21 1 0 0 15 0 22 0 855728902 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4682] ppid=4677 vsize=10555588 CPUtime=1.3 cores=0,2,4,6
/proc/4679/task/4682/stat : 4682 (java) S 4677 4679 3822 0 -1 4202560 325 0 0 0 130 0 0 0 15 0 22 0 855728903 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4683] ppid=4677 vsize=10555588 CPUtime=1.13 cores=0,2,4,6
/proc/4679/task/4683/stat : 4683 (java) S 4677 4679 3822 0 -1 4202560 237 0 0 0 113 0 0 0 15 0 22 0 855728903 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 0 0 0 0
[pid=4679/tid=4684] ppid=4677 vsize=10555588 CPUtime=1.17 cores=0,2,4,6
/proc/4679/task/4684/stat : 4684 (java) S 4677 4679 3822 0 -1 4202560 503 0 0 0 117 0 0 0 16 0 22 0 855728903 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4685] ppid=4677 vsize=10555588 CPUtime=1.12 cores=0,2,4,6
/proc/4679/task/4685/stat : 4685 (java) S 4677 4679 3822 0 -1 4202560 406 0 0 0 112 0 0 0 15 0 22 0 855728903 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 0 0 0 0
[pid=4679/tid=4686] ppid=4677 vsize=10555588 CPUtime=1.22 cores=0,2,4,6
/proc/4679/task/4686/stat : 4686 (java) S 4677 4679 3822 0 -1 4202560 445 0 0 0 122 0 0 0 16 0 22 0 855728904 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4687] ppid=4677 vsize=10555588 CPUtime=1.1 cores=0,2,4,6
/proc/4679/task/4687/stat : 4687 (java) S 4677 4679 3822 0 -1 4202560 423 0 0 0 110 0 0 0 15 0 22 0 855728904 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4688] ppid=4677 vsize=10555588 CPUtime=1.16 cores=0,2,4,6
/proc/4679/task/4688/stat : 4688 (java) S 4677 4679 3822 0 -1 4202560 491 0 0 0 116 0 0 0 16 0 22 0 855728904 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4689] ppid=4677 vsize=10555588 CPUtime=1.09 cores=0,2,4,6
/proc/4679/task/4689/stat : 4689 (java) S 4677 4679 3822 0 -1 4202560 372 0 0 0 109 0 0 0 16 0 22 0 855728904 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4690] ppid=4677 vsize=10555588 CPUtime=67.87 cores=0,2,4,6
/proc/4679/task/4690/stat : 4690 (java) S 4677 4679 3822 0 -1 4202560 32861 0 0 0 6778 9 0 0 15 0 22 0 855728905 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 0 0 16800975 18446604447461566528 0 0 -1 2 0 0 0
[pid=4679/tid=4691] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4691/stat : 4691 (java) S 4677 4679 3822 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 855728905 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4692] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4692/stat : 4692 (java) S 4677 4679 3822 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855728905 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4693] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4693/stat : 4693 (java) S 4677 4679 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855728907 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488518577 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4694] ppid=4677 vsize=10555588 CPUtime=1.79 cores=0,2,4,6
/proc/4679/task/4694/stat : 4694 (java) S 4677 4679 3822 0 -1 4202560 10443 0 0 0 178 1 0 0 15 0 22 0 855728907 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4695] ppid=4677 vsize=10555588 CPUtime=1.03 cores=0,2,4,6
/proc/4679/task/4695/stat : 4695 (java) S 4677 4679 3822 0 -1 4202560 11642 0 0 0 100 3 0 0 15 0 22 0 855728907 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4696] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4696/stat : 4696 (java) S 4677 4679 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855728907 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4697] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4697/stat : 4697 (java) S 4677 4679 3822 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 855728907 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4698] ppid=4677 vsize=10555588 CPUtime=811.25 cores=0,2,4,6
/proc/4679/task/4698/stat : 4698 (java) R 4677 4679 3822 0 -1 4202560 1026 0 0 0 81122 3 0 0 25 0 22 0 855728926 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 46912505610766 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4679/tid=4699] ppid=4677 vsize=10555588 CPUtime=811.23 cores=0,2,4,6
/proc/4679/task/4699/stat : 4699 (java) R 4677 4679 3822 0 -1 4202560 248445 0 0 0 81092 31 0 0 25 0 22 0 855728926 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 46912505638311 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4679/tid=4700] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4700/stat : 4700 (java) S 4677 4679 3822 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855728926 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 0 0 0 0
[pid=4679/tid=4701] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4701/stat : 4701 (java) S 4677 4679 3822 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855728926 10808922112 304653 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1702.83
Current children cumulated vsize (KiB) 10555588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+933.502 s]
/proc/loadavg: 3.86 3.84 3.82 5/597 4984
/proc/meminfo: memFree=22642240/32950928 swapFree=67056580/67111528
[pid=4679] ppid=4677 vsize=10555588 CPUtime=1800.01 cores=0,2,4,6
/proc/4679/stat : 4679 (java) S 4677 4679 3822 0 -1 4202496 322123 0 1 0 179947 54 0 0 25 0 22 0 855728901 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4679/statm: 2638897 305473 2258 9 0 2629631 0
[pid=4679/tid=4680] ppid=4677 vsize=10555588 CPUtime=0.22 cores=0,2,4,6
/proc/4679/task/4680/stat : 4680 (java) S 4677 4679 3822 0 -1 4202560 12449 0 1 0 21 1 0 0 15 0 22 0 855728902 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 2 0 0 0
[pid=4679/tid=4682] ppid=4677 vsize=10555588 CPUtime=1.42 cores=0,2,4,6
/proc/4679/task/4682/stat : 4682 (java) S 4677 4679 3822 0 -1 4202560 345 0 0 0 142 0 0 0 16 0 22 0 855728903 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 2 0 0 0
[pid=4679/tid=4683] ppid=4677 vsize=10555588 CPUtime=1.2 cores=0,2,4,6
/proc/4679/task/4683/stat : 4683 (java) S 4677 4679 3822 0 -1 4202560 245 0 0 0 120 0 0 0 15 0 22 0 855728903 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 2 0 0 0
[pid=4679/tid=4684] ppid=4677 vsize=10555588 CPUtime=1.29 cores=0,2,4,6
/proc/4679/task/4684/stat : 4684 (java) S 4677 4679 3822 0 -1 4202560 518 0 0 0 129 0 0 0 15 0 22 0 855728903 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4685] ppid=4677 vsize=10555588 CPUtime=1.19 cores=0,2,4,6
/proc/4679/task/4685/stat : 4685 (java) S 4677 4679 3822 0 -1 4202560 408 0 0 0 119 0 0 0 15 0 22 0 855728903 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 2 0 0 0
[pid=4679/tid=4686] ppid=4677 vsize=10555588 CPUtime=1.29 cores=0,2,4,6
/proc/4679/task/4686/stat : 4686 (java) S 4677 4679 3822 0 -1 4202560 452 0 0 0 129 0 0 0 16 0 22 0 855728904 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4687] ppid=4677 vsize=10555588 CPUtime=1.16 cores=0,2,4,6
/proc/4679/task/4687/stat : 4687 (java) S 4677 4679 3822 0 -1 4202560 431 0 0 0 116 0 0 0 15 0 22 0 855728904 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 0 0 0 0
[pid=4679/tid=4688] ppid=4677 vsize=10555588 CPUtime=1.25 cores=0,2,4,6
/proc/4679/task/4688/stat : 4688 (java) S 4677 4679 3822 0 -1 4202560 508 0 0 0 125 0 0 0 15 0 22 0 855728904 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 0 0 0 0
[pid=4679/tid=4689] ppid=4677 vsize=10555588 CPUtime=1.19 cores=0,2,4,6
/proc/4679/task/4689/stat : 4689 (java) S 4677 4679 3822 0 -1 4202560 383 0 0 0 119 0 0 0 16 0 22 0 855728904 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 2 0 0 0
[pid=4679/tid=4690] ppid=4677 vsize=10555588 CPUtime=73.38 cores=0,2,4,6
/proc/4679/task/4690/stat : 4690 (java) S 4677 4679 3822 0 -1 4202560 33597 0 0 0 7328 10 0 0 16 0 22 0 855728905 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 0 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4691] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4691/stat : 4691 (java) S 4677 4679 3822 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 855728905 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4692] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4692/stat : 4692 (java) S 4677 4679 3822 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855728905 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4693] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4693/stat : 4693 (java) S 4677 4679 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855728907 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488518577 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4694] ppid=4677 vsize=10555588 CPUtime=1.79 cores=0,2,4,6
/proc/4679/task/4694/stat : 4694 (java) S 4677 4679 3822 0 -1 4202560 10443 0 0 0 178 1 0 0 15 0 22 0 855728907 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 4 0 0 0
[pid=4679/tid=4695] ppid=4677 vsize=10555588 CPUtime=1.03 cores=0,2,4,6
/proc/4679/task/4695/stat : 4695 (java) S 4677 4679 3822 0 -1 4202560 11642 0 0 0 100 3 0 0 15 0 22 0 855728907 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4696] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4696/stat : 4696 (java) S 4677 4679 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855728907 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488510873 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
[pid=4679/tid=4697] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4697/stat : 4697 (java) S 4677 4679 3822 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 855728907 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 2 0 0 0
[pid=4679/tid=4698] ppid=4677 vsize=10555588 CPUtime=856.76 cores=0,2,4,6
/proc/4679/task/4698/stat : 4698 (java) R 4677 4679 3822 0 -1 4202560 1046 0 0 0 85673 3 0 0 25 0 22 0 855728926 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 46912505610766 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4679/tid=4699] ppid=4677 vsize=10555588 CPUtime=856.74 cores=0,2,4,6
/proc/4679/task/4699/stat : 4699 (java) R 4677 4679 3822 0 -1 4202560 248445 0 0 0 85643 31 0 0 25 0 22 0 855728926 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 46912505713339 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4679/tid=4700] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4700/stat : 4700 (java) S 4677 4679 3822 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855728926 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 0 0 0 0
[pid=4679/tid=4701] ppid=4677 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/4679/task/4701/stat : 4701 (java) S 4677 4679 3822 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855728926 10808922112 305473 33554432000 1073741824 1073778376 140736241501024 18446744073709551615 239488511488 0 4 0 16800975 18446604447461566528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10555588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 933.61
CPU time (s): 1800.2
CPU user time (s): 1799.6
CPU system time (s): 0.601908
CPU usage (%): 192.822
Max. virtual memory (cumulated for all children) (KiB): 10560332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.601908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322163
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= 33337
involuntary context switches= 29477
runsolver used 5.64414 second user time and 12.1122 second system time
The end