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-3456958-1307210449/watcher-3456958-1307210449 -o /tmp/evaluation-result-3456958-1307210449/solver-3456958-1307210449 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456958-1307210449.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 2/532 20359
/proc/meminfo: memFree=15401580/32950940 swapFree=67111364/67111528
[pid=20359] ppid=20357 vsize=35820 CPUtime=0 cores=1,3,5,7
/proc/20359/stat : 20359 (java) S 20357 20359 19289 0 -1 4202496 1363 0 1 0 0 0 0 0 25 0 2 0 911275717 36679680 1066 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/20359/statm: 8955 1066 828 9 0 386 0
[pid=20359/tid=20360] ppid=20357 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20360/stat : 20360 (java) R 20357 20359 19289 0 -1 4202560 5466 0 1 0 0 0 0 0 25 0 2 0 911275718 10694979584 6282 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0856429 s]
/proc/loadavg: 2.00 2.01 2.00 2/532 20359
/proc/meminfo: memFree=15401580/32950940 swapFree=67111364/67111528
[pid=20359] ppid=20357 vsize=10473248 CPUtime=0.06 cores=1,3,5,7
/proc/20359/stat : 20359 (java) S 20357 20359 19289 0 -1 4202496 12110 0 1 0 5 1 0 0 25 0 18 0 911275717 10724605952 11807 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20359/statm: 2618312 11807 1776 9 0 2609046 0
[pid=20359/tid=20360] ppid=20357 vsize=10473248 CPUtime=0.06 cores=1,3,5,7
/proc/20359/task/20360/stat : 20360 (java) R 20357 20359 19289 0 -1 4202560 10910 0 1 0 5 1 0 0 25 0 18 0 911275718 10724605952 11807 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000418485 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473248
[startup+0.100519 s]
/proc/loadavg: 2.00 2.01 2.00 2/532 20359
/proc/meminfo: memFree=15401580/32950940 swapFree=67111364/67111528
[pid=20359] ppid=20357 vsize=10539848 CPUtime=0.09 cores=1,3,5,7
/proc/20359/stat : 20359 (java) S 20357 20359 19289 0 -1 4202496 13006 0 1 0 8 1 0 0 25 0 18 0 911275717 10792804352 12703 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20359/statm: 2634962 12703 2093 9 0 2625696 0
[pid=20359/tid=20360] ppid=20357 vsize=10539848 CPUtime=0.08 cores=1,3,5,7
/proc/20359/task/20360/stat : 20360 (java) R 20357 20359 19289 0 -1 4202560 11116 0 1 0 7 1 0 0 25 0 18 0 911275718 10792804352 12703 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 47526968215672 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539848
[startup+0.300489 s]
/proc/loadavg: 2.00 2.01 2.00 2/532 20359
/proc/meminfo: memFree=15401580/32950940 swapFree=67111364/67111528
[pid=20359] ppid=20357 vsize=10546452 CPUtime=0.54 cores=1,3,5,7
/proc/20359/stat : 20359 (java) S 20357 20359 19289 0 -1 4202496 20029 0 1 0 51 3 0 0 25 0 19 0 911275717 10799566848 18168 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20359/statm: 2636613 18170 2208 9 0 2627347 0
[pid=20359/tid=20360] ppid=20357 vsize=10546452 CPUtime=0.28 cores=1,3,5,7
/proc/20359/task/20360/stat : 20360 (java) R 20357 20359 19289 0 -1 4202560 12955 0 1 0 26 2 0 0 25 0 19 0 911275718 10799566848 18171 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10546452
[startup+0.700419 s]
/proc/loadavg: 2.00 2.01 2.00 2/532 20359
/proc/meminfo: memFree=15401580/32950940 swapFree=67111364/67111528
[pid=20359] ppid=20357 vsize=10552444 CPUtime=1.62 cores=1,3,5,7
/proc/20359/stat : 20359 (java) S 20357 20359 19289 0 -1 4202496 53064 0 1 0 155 7 0 0 25 0 19 0 911275717 10805702656 49915 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20359/statm: 2638111 49919 2219 9 0 2628845 0
[pid=20359/tid=20360] ppid=20357 vsize=10552444 CPUtime=0.68 cores=1,3,5,7
/proc/20359/task/20360/stat : 20360 (java) R 20357 20359 19289 0 -1 4202560 42730 0 1 0 62 6 0 0 25 0 19 0 911275718 10805702656 49921 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 46912505628801 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10552444
[startup+1.50128 s]
/proc/loadavg: 2.00 2.01 2.00 3/551 20378
/proc/meminfo: memFree=15079724/32950940 swapFree=67111364/67111528
[pid=20359] ppid=20357 vsize=10552444 CPUtime=2.59 cores=1,3,5,7
/proc/20359/stat : 20359 (java) S 20357 20359 19289 0 -1 4202496 145793 0 1 0 241 18 0 0 25 0 19 0 911275717 10805702656 142644 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20359/statm: 2638111 142650 2225 9 0 2628845 0
[pid=20359/tid=20360] ppid=20357 vsize=10552444 CPUtime=1.48 cores=1,3,5,7
/proc/20359/task/20360/stat : 20360 (java) R 20357 20359 19289 0 -1 4202560 135443 0 1 0 132 16 0 0 25 0 19 0 911275718 10805702656 142652 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 46912505607888 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 142655 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20363] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 142659 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20364] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 142662 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20365] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 142665 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20366] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 142667 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20367] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 142670 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20368] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20368/stat : 20368 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 142674 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20369] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20369/stat : 20369 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 142676 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20370] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20370/stat : 20370 (java) S 20357 20359 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911275721 10805702656 142679 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000409088 0 0 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20371] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20371/stat : 20371 (java) S 20357 20359 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911275721 10805702656 142682 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20372] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20372/stat : 20372 (java) S 20357 20359 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911275721 10805702656 142685 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20373] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20373/stat : 20373 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275724 10805702656 142688 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000416177 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20374] ppid=20357 vsize=10552444 CPUtime=0.53 cores=1,3,5,7
/proc/20359/task/20374/stat : 20374 (java) S 20357 20359 19289 0 -1 4202560 4416 0 0 0 53 0 0 0 19 0 19 0 911275724 10805702656 142690 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
[pid=20359/tid=20375] ppid=20357 vsize=10552444 CPUtime=0.54 cores=1,3,5,7
/proc/20359/task/20375/stat : 20375 (java) S 20357 20359 19289 0 -1 4202560 4783 0 0 0 54 0 0 0 20 0 19 0 911275724 10805702656 142693 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 3 0 0 0
[pid=20359/tid=20376] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20376/stat : 20376 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275724 10805702656 142696 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 3 0 0 0
[pid=20359/tid=20377] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20377/stat : 20377 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911275724 10805702656 142698 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000409088 0 4 0 16800975 18446604461918048320 0 0 -1 3 0 0 0
[pid=20359/tid=20378] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20378/stat : 20378 (java) S 20357 20359 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911275734 10805702656 142701 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000409088 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 10552444
[startup+3.10099 s]
/proc/loadavg: 2.00 2.01 2.00 3/551 20378
/proc/meminfo: memFree=14574176/32950940 swapFree=67111364/67111528
[pid=20359] ppid=20357 vsize=10552444 CPUtime=4.21 cores=1,3,5,7
/proc/20359/stat : 20359 (java) S 20357 20359 19289 0 -1 4202496 320984 0 1 0 386 35 0 0 25 0 19 0 911275717 10805702656 317833 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20359/statm: 2638111 317841 2225 9 0 2628845 0
[pid=20359/tid=20360] ppid=20357 vsize=10552444 CPUtime=3.08 cores=1,3,5,7
/proc/20359/task/20360/stat : 20360 (java) R 20357 20359 19289 0 -1 4202560 310630 0 1 0 274 34 0 0 25 0 19 0 911275718 10805702656 317843 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 46912505580538 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 317848 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20363] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 317852 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20364] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 317857 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20365] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 317860 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20366] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 317864 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20367] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 317868 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20368] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20368/stat : 20368 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 317872 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20369] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20369/stat : 20369 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 317876 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20370] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20370/stat : 20370 (java) S 20357 20359 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911275721 10805702656 317880 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000409088 0 0 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20371] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20371/stat : 20371 (java) S 20357 20359 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911275721 10805702656 317884 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20372] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20372/stat : 20372 (java) S 20357 20359 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911275721 10805702656 317887 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20373] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20373/stat : 20373 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275724 10805702656 317890 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000416177 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20374] ppid=20357 vsize=10552444 CPUtime=0.56 cores=1,3,5,7
/proc/20359/task/20374/stat : 20374 (java) S 20357 20359 19289 0 -1 4202560 4421 0 0 0 56 0 0 0 15 0 19 0 911275724 10805702656 317894 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
[pid=20359/tid=20375] ppid=20357 vsize=10552444 CPUtime=0.55 cores=1,3,5,7
/proc/20359/task/20375/stat : 20375 (java) S 20357 20359 19289 0 -1 4202560 4783 0 0 0 55 0 0 0 15 0 19 0 911275724 10805702656 317898 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 3 0 0 0
[pid=20359/tid=20376] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20376/stat : 20376 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275724 10805702656 317902 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 3 0 0 0
[pid=20359/tid=20377] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20377/stat : 20377 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911275724 10805702656 317905 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000409088 0 4 0 16800975 18446604461918048320 0 0 -1 3 0 0 0
[pid=20359/tid=20378] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20378/stat : 20378 (java) S 20357 20359 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911275734 10805702656 317909 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000409088 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 10552444
[startup+6.30144 s]
/proc/loadavg: 2.00 2.01 2.00 3/551 20378
/proc/meminfo: memFree=13552280/32950940 swapFree=67111364/67111528
[pid=20359] ppid=20357 vsize=10552444 CPUtime=7.42 cores=1,3,5,7
/proc/20359/stat : 20359 (java) S 20357 20359 19289 0 -1 4202496 554833 0 1 0 686 56 0 0 25 0 19 0 911275717 10805702656 551204 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20359/statm: 2638111 551204 2226 9 0 2628845 0
[pid=20359/tid=20360] ppid=20357 vsize=10552444 CPUtime=6.28 cores=1,3,5,7
/proc/20359/task/20360/stat : 20360 (java) R 20357 20359 19289 0 -1 4202560 544468 0 1 0 573 55 0 0 25 0 19 0 911275718 10805702656 551204 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 46912505852227 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 551204 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20363] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 551204 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20364] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 551204 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20365] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 551204 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20366] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 551204 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20367] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 551204 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20368] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20368/stat : 20368 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 551204 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20369] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20369/stat : 20369 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275720 10805702656 551204 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20370] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20370/stat : 20370 (java) S 20357 20359 19289 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 911275721 10805702656 551204 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000409088 0 0 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20371] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20371/stat : 20371 (java) S 20357 20359 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911275721 10805702656 551204 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20372] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20372/stat : 20372 (java) S 20357 20359 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911275721 10805702656 551204 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20373] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20373/stat : 20373 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275724 10805702656 551204 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000416177 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20374] ppid=20357 vsize=10552444 CPUtime=0.57 cores=1,3,5,7
/proc/20359/task/20374/stat : 20374 (java) S 20357 20359 19289 0 -1 4202560 4421 0 0 0 57 0 0 0 15 0 19 0 911275724 10805702656 551204 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
[pid=20359/tid=20375] ppid=20357 vsize=10552444 CPUtime=0.55 cores=1,3,5,7
/proc/20359/task/20375/stat : 20375 (java) S 20357 20359 19289 0 -1 4202560 4783 0 0 0 55 0 0 0 15 0 19 0 911275724 10805702656 551204 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=20359/tid=20378] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20378/stat : 20378 (java) S 20357 20359 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911275734 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000409088 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.23
Current children cumulated vsize (KiB) 10552444
[startup+1782.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/551 20484
/proc/meminfo: memFree=12379512/32950940 swapFree=67111364/67111528
[pid=20359] ppid=20357 vsize=10552444 CPUtime=1784.23 cores=1,3,5,7
/proc/20359/stat : 20359 (java) S 20357 20359 19289 0 -1 4202496 979840 0 1 0 178310 113 0 0 25 0 19 0 911275717 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20359/statm: 2638111 968445 2239 9 0 2628845 0
[pid=20359/tid=20360] ppid=20357 vsize=10552444 CPUtime=1781.9 cores=1,3,5,7
/proc/20359/task/20360/stat : 20360 (java) R 20357 20359 19289 0 -1 4202560 774645 0 1 0 178109 81 0 0 25 0 19 0 911275718 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 46912505608688 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=10552444 CPUtime=0.12 cores=1,3,5,7
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19289 0 -1 4202560 22365 0 0 0 8 4 0 0 16 0 19 0 911275720 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 3 0 0 0
[pid=20359/tid=20363] ppid=20357 vsize=10552444 CPUtime=0.14 cores=1,3,5,7
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19289 0 -1 4202560 22626 0 0 0 12 2 0 0 16 0 19 0 911275720 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 1 0 0 0
[pid=20359/tid=20364] ppid=20357 vsize=10552444 CPUtime=0.12 cores=1,3,5,7
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19289 0 -1 4202560 26356 0 0 0 8 4 0 0 16 0 19 0 911275720 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
[pid=20359/tid=20365] ppid=20357 vsize=10552444 CPUtime=0.09 cores=1,3,5,7
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19289 0 -1 4202560 19889 0 0 0 7 2 0 0 15 0 19 0 911275720 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 1 0 0 0
[pid=20359/tid=20366] ppid=20357 vsize=10552444 CPUtime=0.08 cores=1,3,5,7
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19289 0 -1 4202560 13784 0 0 0 6 2 0 0 16 0 19 0 911275720 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 1 0 0 0
[pid=20359/tid=20367] ppid=20357 vsize=10552444 CPUtime=0.19 cores=1,3,5,7
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19289 0 -1 4202560 31773 0 0 0 15 4 0 0 15 0 19 0 911275720 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
[pid=20359/tid=20368] ppid=20357 vsize=10552444 CPUtime=0.22 cores=1,3,5,7
/proc/20359/task/20368/stat : 20368 (java) S 20357 20359 19289 0 -1 4202560 35207 0 0 0 17 5 0 0 16 0 19 0 911275720 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
[pid=20359/tid=20369] ppid=20357 vsize=10552444 CPUtime=0.12 cores=1,3,5,7
/proc/20359/task/20369/stat : 20369 (java) S 20357 20359 19289 0 -1 4202560 22686 0 0 0 10 2 0 0 16 0 19 0 911275720 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20370] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20370/stat : 20370 (java) S 20357 20359 19289 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 911275721 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000409088 0 0 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20371] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20371/stat : 20371 (java) S 20357 20359 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911275721 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20372] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20372/stat : 20372 (java) S 20357 20359 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911275721 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20373] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20373/stat : 20373 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275724 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000416177 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20374] ppid=20357 vsize=10552444 CPUtime=0.57 cores=1,3,5,7
/proc/20359/task/20374/stat : 20374 (java) S 20357 20359 19289 0 -1 4202560 4425 0 0 0 57 0 0 0 16 0 19 0 911275724 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
[pid=20359/tid=20375] ppid=20357 vsize=10552444 CPUtime=0.55 cores=1,3,5,7
/proc/20359/task/20375/stat : 20375 (java) S 20357 20359 19289 0 -1 4202560 4783 0 0 0 55 0 0 0 15 0 19 0 911275724 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 3 0 0 0
[pid=20359/tid=20376] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20376/stat : 20376 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275724 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 3 0 0 0
[pid=20359/tid=20377] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20377/stat : 20377 (java) S 20357 20359 19289 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 911275724 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000409088 0 4 0 16800975 18446604461918048320 0 0 -1 1 0 0 0
[pid=20359/tid=20378] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20378/stat : 20378 (java) S 20357 20359 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911275734 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000409088 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.23
Current children cumulated vsize (KiB) 10552444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.1 s]
/proc/loadavg: 2.12 2.04 2.01 3/551 20485
/proc/meminfo: memFree=12379512/32950940 swapFree=67111364/67111528
[pid=20359] ppid=20357 vsize=10552444 CPUtime=1800.04 cores=1,3,5,7
/proc/20359/stat : 20359 (java) S 20357 20359 19289 0 -1 4202496 979840 0 1 0 179891 113 0 0 25 0 19 0 911275717 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20359/statm: 2638111 968445 2239 9 0 2628845 0
[pid=20359/tid=20360] ppid=20357 vsize=10552444 CPUtime=1797.72 cores=1,3,5,7
/proc/20359/task/20360/stat : 20360 (java) R 20357 20359 19289 0 -1 4202560 774645 0 1 0 179691 81 0 0 25 0 19 0 911275718 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 46912505608717 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=10552444 CPUtime=0.12 cores=1,3,5,7
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19289 0 -1 4202560 22365 0 0 0 8 4 0 0 16 0 19 0 911275720 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 3 0 0 0
[pid=20359/tid=20363] ppid=20357 vsize=10552444 CPUtime=0.14 cores=1,3,5,7
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19289 0 -1 4202560 22626 0 0 0 12 2 0 0 16 0 19 0 911275720 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 1 0 0 0
[pid=20359/tid=20364] ppid=20357 vsize=10552444 CPUtime=0.12 cores=1,3,5,7
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19289 0 -1 4202560 26356 0 0 0 8 4 0 0 16 0 19 0 911275720 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
[pid=20359/tid=20365] ppid=20357 vsize=10552444 CPUtime=0.09 cores=1,3,5,7
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19289 0 -1 4202560 19889 0 0 0 7 2 0 0 15 0 19 0 911275720 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 1 0 0 0
[pid=20359/tid=20366] ppid=20357 vsize=10552444 CPUtime=0.08 cores=1,3,5,7
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19289 0 -1 4202560 13784 0 0 0 6 2 0 0 16 0 19 0 911275720 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 1 0 0 0
[pid=20359/tid=20367] ppid=20357 vsize=10552444 CPUtime=0.19 cores=1,3,5,7
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19289 0 -1 4202560 31773 0 0 0 15 4 0 0 15 0 19 0 911275720 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
[pid=20359/tid=20368] ppid=20357 vsize=10552444 CPUtime=0.22 cores=1,3,5,7
/proc/20359/task/20368/stat : 20368 (java) S 20357 20359 19289 0 -1 4202560 35207 0 0 0 17 5 0 0 16 0 19 0 911275720 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
[pid=20359/tid=20369] ppid=20357 vsize=10552444 CPUtime=0.12 cores=1,3,5,7
/proc/20359/task/20369/stat : 20369 (java) S 20357 20359 19289 0 -1 4202560 22686 0 0 0 10 2 0 0 16 0 19 0 911275720 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20370] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20370/stat : 20370 (java) S 20357 20359 19289 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 911275721 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000409088 0 0 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20371] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20371/stat : 20371 (java) S 20357 20359 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911275721 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20372] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20372/stat : 20372 (java) S 20357 20359 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911275721 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20373] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20373/stat : 20373 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275724 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000416177 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20374] ppid=20357 vsize=10552444 CPUtime=0.57 cores=1,3,5,7
/proc/20359/task/20374/stat : 20374 (java) S 20357 20359 19289 0 -1 4202560 4425 0 0 0 57 0 0 0 16 0 19 0 911275724 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
[pid=20359/tid=20375] ppid=20357 vsize=10552444 CPUtime=0.55 cores=1,3,5,7
/proc/20359/task/20375/stat : 20375 (java) S 20357 20359 19289 0 -1 4202560 4783 0 0 0 55 0 0 0 15 0 19 0 911275724 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 3 0 0 0
[pid=20359/tid=20376] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20376/stat : 20376 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275724 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 3 0 0 0
[pid=20359/tid=20377] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20377/stat : 20377 (java) S 20357 20359 19289 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 911275724 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000409088 0 4 0 16800975 18446604461918048320 0 0 -1 1 0 0 0
[pid=20359/tid=20378] ppid=20357 vsize=10552444 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20378/stat : 20378 (java) S 20357 20359 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911275734 10805702656 968445 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000409088 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10552444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.22 s]
/proc/loadavg: 2.12 2.04 2.01 3/551 20485
/proc/meminfo: memFree=12379512/32950940 swapFree=67111364/67111528
[pid=20359] ppid=20357 vsize=10554500 CPUtime=1800.25 cores=1,3,5,7
/proc/20359/stat : 20359 (java) S 20357 20359 19289 0 -1 4202496 979871 0 1 0 179903 122 0 0 18 0 19 0 911275717 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20359/statm: 2638625 968474 2241 9 0 2629359 0
[pid=20359/tid=20360] ppid=20357 vsize=10554500 CPUtime=1797.83 cores=1,3,5,7
/proc/20359/task/20360/stat : 20360 (java) R 20357 20359 19289 0 -1 4202560 774645 0 1 0 179702 81 0 0 25 0 19 0 911275718 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 46912505608705 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20359/tid=20362] ppid=20357 vsize=10554500 CPUtime=0.12 cores=1,3,5,7
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19289 0 -1 4202560 22365 0 0 0 8 4 0 0 16 0 19 0 911275720 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 3 0 0 0
[pid=20359/tid=20363] ppid=20357 vsize=10554500 CPUtime=0.14 cores=1,3,5,7
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19289 0 -1 4202560 22626 0 0 0 12 2 0 0 16 0 19 0 911275720 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 1 0 0 0
[pid=20359/tid=20364] ppid=20357 vsize=10554500 CPUtime=0.12 cores=1,3,5,7
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19289 0 -1 4202560 26356 0 0 0 8 4 0 0 16 0 19 0 911275720 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
[pid=20359/tid=20365] ppid=20357 vsize=10554500 CPUtime=0.09 cores=1,3,5,7
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19289 0 -1 4202560 19889 0 0 0 7 2 0 0 15 0 19 0 911275720 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 1 0 0 0
[pid=20359/tid=20366] ppid=20357 vsize=10554500 CPUtime=0.08 cores=1,3,5,7
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19289 0 -1 4202560 13784 0 0 0 6 2 0 0 16 0 19 0 911275720 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 1 0 0 0
[pid=20359/tid=20367] ppid=20357 vsize=10554500 CPUtime=0.19 cores=1,3,5,7
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19289 0 -1 4202560 31773 0 0 0 15 4 0 0 15 0 19 0 911275720 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
[pid=20359/tid=20368] ppid=20357 vsize=10554500 CPUtime=0.22 cores=1,3,5,7
/proc/20359/task/20368/stat : 20368 (java) S 20357 20359 19289 0 -1 4202560 35207 0 0 0 17 5 0 0 16 0 19 0 911275720 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
[pid=20359/tid=20369] ppid=20357 vsize=10554500 CPUtime=0.12 cores=1,3,5,7
/proc/20359/task/20369/stat : 20369 (java) S 20357 20359 19289 0 -1 4202560 22686 0 0 0 10 2 0 0 16 0 19 0 911275720 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20370] ppid=20357 vsize=10554500 CPUtime=0.09 cores=1,3,5,7
/proc/20359/task/20370/stat : 20370 (java) R 20357 20359 19289 0 -1 4202560 48 0 0 0 0 9 0 0 16 0 19 0 911275721 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 215988545847 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=20359/tid=20371] ppid=20357 vsize=10554500 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20371/stat : 20371 (java) S 20357 20359 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911275721 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20372] ppid=20357 vsize=10554500 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20372/stat : 20372 (java) S 20357 20359 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911275721 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 5 0 0 0
[pid=20359/tid=20374] ppid=20357 vsize=10554500 CPUtime=0.57 cores=1,3,5,7
/proc/20359/task/20374/stat : 20374 (java) S 20357 20359 19289 0 -1 4202560 4425 0 0 0 57 0 0 0 16 0 19 0 911275724 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
[pid=20359/tid=20375] ppid=20357 vsize=10554500 CPUtime=0.55 cores=1,3,5,7
/proc/20359/task/20375/stat : 20375 (java) S 20357 20359 19289 0 -1 4202560 4783 0 0 0 55 0 0 0 15 0 19 0 911275724 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 3 0 0 0
[pid=20359/tid=20376] ppid=20357 vsize=10554500 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20376/stat : 20376 (java) S 20357 20359 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911275724 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 0 4 0 16800975 18446604461918048320 0 0 -1 3 0 0 0
[pid=20359/tid=20378] ppid=20357 vsize=10554500 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20378/stat : 20378 (java) S 20357 20359 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911275734 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000409088 0 4 0 16800975 18446604461918048320 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 10554500
[startup+1798.4 s]
/proc/loadavg: 2.12 2.04 2.01 4/552 20488
/proc/meminfo: memFree=12379372/32950940 swapFree=67111364/67111528
[pid=20359] ppid=20357 vsize=10554500 CPUtime=1800.62 cores=1,3,5,7
/proc/20359/stat : 20359 (java) S 20357 20359 19289 0 -1 4202496 979871 0 1 0 179921 141 0 0 18 0 19 0 911275717 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20359/statm: 2638625 968474 2241 9 0 2629359 0
[pid=20359/tid=20364] ppid=20357 vsize=10554500 CPUtime=0.12 cores=1,3,5,7
/proc/20359/task/20364/stat : 20364 (java) R 20357 20359 19289 0 -1 4202560 26356 0 0 0 8 4 0 0 15 0 4 0 911275720 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 256 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20359/tid=20374] ppid=20357 vsize=10554500 CPUtime=0.57 cores=1,3,5,7
/proc/20359/task/20374/stat : 20374 (java) R 20357 20359 19289 0 -1 4202560 4425 0 0 0 57 0 0 0 15 0 4 0 911275724 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000408473 256 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20359/tid=20378] ppid=20357 vsize=10554500 CPUtime=0 cores=1,3,5,7
/proc/20359/task/20378/stat : 20378 (java) R 20357 20359 19289 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 4 0 911275734 10807808000 968474 33554432000 1073741824 1073778376 140733663739280 18446744073709551615 216000409088 256 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (KiB) 10554500
[startup+1798.52 s]
/proc/loadavg: 2.12 2.04 2.01 4/552 20488
/proc/meminfo: memFree=12379372/32950940 swapFree=67111364/67111528
[pid=20359] ppid=20357 vsize=0 CPUtime=1800.74 cores=1,3,5,7
/proc/20359/stat : 20359 (java) Z 20357 20359 19289 0 -1 4203548 979871 0 1 0 179922 152 0 0 15 0 2 0 911275717 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20359/statm: 0 0 0 0 0 0 0
[pid=20359/tid=20378] ppid=20357 vsize=0 CPUtime=0.1 cores=1,3,5,7
/proc/20359/task/20378/stat : 20378 (java) R 20357 20359 19289 0 -1 4203588 7 0 0 0 0 10 0 0 18 0 2 0 911275734 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.57
CPU time (s): 1800.79
CPU user time (s): 1799.22
CPU system time (s): 1.57076
CPU usage (%): 100.124
Max. virtual memory (cumulated for all children) (KiB): 10554500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 1.57076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 979871
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= 37374
involuntary context switches= 6121
runsolver used 9.42557 second user time and 20.6739 second system time
The end