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-3481710-1307577219/watcher-3481710-1307577219 -o /tmp/evaluation-result-3481710-1307577219/solver-3481710-1307577219 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481710-1307577219.opb -seed 366253404 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.95 1.94 1.23 2/654 18658
/proc/meminfo: memFree=25185572/32950928 swapFree=38525204/67111528
[pid=18658] ppid=18656 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/18658/stat : 18658 (python) R 18656 18658 17436 0 -1 4202496 1046 0 0 0 0 0 0 0 17 0 1 0 869321651 16629760 918 33554432000 4194304 5683644 140734150623296 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18658/statm: 4060 918 381 364 0 547 0
[startup+0.093196 s]
/proc/loadavg: 1.95 1.94 1.23 2/654 18658
/proc/meminfo: memFree=25185572/32950928 swapFree=38525204/67111528
[pid=18658] ppid=18656 vsize=96132 CPUtime=0.07 cores=1,3,5,7
/proc/18658/stat : 18658 (python) S 18656 18658 17436 0 -1 4202496 3032 467 1 0 5 2 0 0 18 0 1 0 869321651 98439168 2483 33554432000 4194304 5683644 140734150623296 18446744073709551615 208080232192 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 0
/proc/18658/statm: 24033 2483 792 364 0 1628 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96132
[startup+0.104488 s]
/proc/loadavg: 1.95 1.94 1.23 2/654 18658
/proc/meminfo: memFree=25185572/32950928 swapFree=38525204/67111528
[pid=18658] ppid=18656 vsize=96128 CPUtime=0.08 cores=1,3,5,7
/proc/18658/stat : 18658 (python) R 18656 18658 17436 0 -1 4202496 3168 930 1 0 6 2 0 0 18 0 1 0 869321651 98435072 2483 33554432000 4194304 5683644 140734150623296 18446744073709551615 5168605 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/18658/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.300401 s]
/proc/loadavg: 1.95 1.94 1.23 2/654 18658
/proc/meminfo: memFree=25185572/32950928 swapFree=38525204/67111528
[pid=18658] ppid=18656 vsize=202860 CPUtime=0.24 cores=1,3,5,7
/proc/18658/stat : 18658 (python) S 18656 18658 17436 0 -1 4202496 6657 930 1 0 18 6 0 0 17 0 1 0 869321651 207728640 4945 33554432000 4194304 5683644 140734150623296 18446744073709551615 208080230400 0 2147483391 16781312 2 18446744071699207358 0 0 17 3 0 0 0
/proc/18658/statm: 50715 4945 1472 364 0 3677 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 202860
[startup+0.700322 s]
/proc/loadavg: 1.95 1.94 1.23 2/654 18658
/proc/meminfo: memFree=25185572/32950928 swapFree=38525204/67111528
[pid=18658] ppid=18656 vsize=292004 CPUtime=0.61 cores=1,3,5,7
/proc/18658/stat : 18658 (python) R 18656 18658 17436 0 -1 4202496 11533 930 1 0 52 9 0 0 17 0 1 0 869321651 299012096 9268 33554432000 4194304 5683644 140734150623296 18446744073709551615 4942035 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18658/statm: 73001 9268 1781 364 0 7894 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 292004
[startup+1.50017 s]
/proc/loadavg: 1.95 1.94 1.23 3/655 18663
/proc/meminfo: memFree=25148264/32950928 swapFree=38525204/67111528
[pid=18658] ppid=18656 vsize=308124 CPUtime=1.4 cores=1,3,5,7
/proc/18658/stat : 18658 (python) R 18656 18658 17436 0 -1 4202496 21534 930 1 0 131 9 0 0 18 0 1 0 869321651 315518976 13378 33554432000 4194304 5683644 140734150623296 18446744073709551615 47061371138625 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/18658/statm: 77031 13378 1815 364 0 11924 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 308124
[startup+3.10086 s]
/proc/loadavg: 1.95 1.94 1.23 3/655 18663
/proc/meminfo: memFree=24970324/32950928 swapFree=38525204/67111528
[pid=18658] ppid=18656 vsize=308124 CPUtime=3 cores=1,3,5,7
/proc/18658/stat : 18658 (python) R 18656 18658 17436 0 -1 4202496 21535 930 1 0 290 10 0 0 21 0 1 0 869321651 315518976 13379 33554432000 4194304 5683644 140734150623296 18446744073709551615 47061532517218 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/18658/statm: 77031 13379 1816 364 0 11924 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 308124
[startup+6.30026 s]
/proc/loadavg: 1.96 1.94 1.24 3/658 18666
/proc/meminfo: memFree=24582808/32950928 swapFree=38525204/67111528
[pid=18658] ppid=18656 vsize=318736 CPUtime=3.11 cores=1,3,5,7
/proc/18658/stat : 18658 (python) S 18656 18658 17436 0 -1 4202496 21910 930 1 0 301 10 0 0 24 0 2 0 869321651 326385664 13525 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/18658/statm: 79684 13525 1872 364 0 14571 0
[pid=18664] ppid=18658 vsize=308492 CPUtime=0.02 cores=1,3,5,7
/proc/18664/stat : 18664 (python) S 18658 18658 17436 0 -1 4202560 919 0 0 0 1 1 0 0 15 0 1 0 869321971 315895808 12024 33554432000 4194304 5683644 140734150623296 18446744073709551615 208080252431 0 0 16781312 33554946 7078700703375393030 0 0 17 7 0 0 0
/proc/18664/statm: 77123 12024 375 364 0 12010 0
[pid=18666] ppid=18664 vsize=58592 CPUtime=3.09 cores=1,3,5,7
/proc/18666/stat : 18666 (wbo1.4a) R 18664 18666 18666 0 -1 4202496 15877 0 0 0 307 2 0 0 25 0 1 0 869321971 59998208 14182 33554432000 134512640 135751879 4288837312 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/18666/statm: 14648 14182 146 303 0 14343 0
[pid=18658/tid=18665] ppid=18656 vsize=318736 CPUtime=0 cores=1,3,5,7
/proc/18658/task/18665/stat : 18665 (python) S 18656 18658 17436 0 -1 4202560 29 930 0 0 0 0 0 0 24 0 2 0 869321971 326385664 13525 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092055985 0 0 16781312 33554434 18446604460714695424 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 685820
[startup+12.701 s]
/proc/loadavg: 1.96 1.94 1.24 3/658 18666
/proc/meminfo: memFree=24196256/32950928 swapFree=38525204/67111528
[pid=18658] ppid=18656 vsize=318736 CPUtime=3.11 cores=1,3,5,7
/proc/18658/stat : 18658 (python) S 18656 18658 17436 0 -1 4202496 21910 930 1 0 301 10 0 0 24 0 2 0 869321651 326385664 13525 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/18658/statm: 79684 13525 1872 364 0 14571 0
[pid=18664] ppid=18658 vsize=308492 CPUtime=0.04 cores=1,3,5,7
/proc/18664/stat : 18664 (python) S 18658 18658 17436 0 -1 4202560 1017 0 0 0 2 2 0 0 15 0 1 0 869321971 315895808 12029 33554432000 4194304 5683644 140734150623296 18446744073709551615 208080252431 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/18664/statm: 77123 12029 380 364 0 12010 0
[pid=18666] ppid=18664 vsize=66056 CPUtime=9.48 cores=1,3,5,7
/proc/18666/stat : 18666 (wbo1.4a) R 18664 18666 18666 0 -1 4202496 17751 0 0 0 946 2 0 0 25 0 1 0 869321971 67641344 16056 33554432000 134512640 135751879 4288837312 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/18666/statm: 16514 16056 146 303 0 16209 0
[pid=18658/tid=18665] ppid=18656 vsize=318736 CPUtime=0 cores=1,3,5,7
/proc/18658/task/18665/stat : 18665 (python) S 18656 18658 17436 0 -1 4202560 29 930 0 0 0 0 0 0 24 0 2 0 869321971 326385664 13525 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092055985 0 0 16781312 33554434 18446604460714695424 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 693284
[startup+25.5007 s]
/proc/loadavg: 1.97 1.94 1.25 3/658 18667
/proc/meminfo: memFree=23558888/32950928 swapFree=38525204/67111528
[pid=18658] ppid=18656 vsize=318736 CPUtime=3.11 cores=1,3,5,7
/proc/18658/stat : 18658 (python) S 18656 18658 17436 0 -1 4202496 21910 930 1 0 301 10 0 0 24 0 2 0 869321651 326385664 13525 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/18658/statm: 79684 13525 1872 364 0 14571 0
[pid=18664] ppid=18658 vsize=308492 CPUtime=0.1 cores=1,3,5,7
/proc/18664/stat : 18664 (python) S 18658 18658 17436 0 -1 4202560 1026 0 0 0 5 5 0 0 15 0 1 0 869321971 315895808 12029 33554432000 4194304 5683644 140734150623296 18446744073709551615 208080252431 0 0 16781312 33554946 5623753486446373581 0 0 17 7 0 0 0
/proc/18664/statm: 77123 12029 380 364 0 12010 0
[pid=18666] ppid=18664 vsize=71144 CPUtime=22.28 cores=1,3,5,7
/proc/18666/stat : 18666 (wbo1.4a) R 18664 18666 18666 0 -1 4202496 19039 0 0 0 2225 3 0 0 25 0 1 0 869321971 72851456 17344 33554432000 134512640 135751879 4288837312 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/18666/statm: 17786 17344 146 303 0 17481 0
[pid=18658/tid=18665] ppid=18656 vsize=318736 CPUtime=0 cores=1,3,5,7
/proc/18658/task/18665/stat : 18665 (python) S 18656 18658 17436 0 -1 4202560 29 930 0 0 0 0 0 0 24 0 2 0 869321971 326385664 13525 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092055985 0 0 16781312 33554434 18446604460714695424 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 698372
[startup+51.1017 s]
/proc/loadavg: 2.16 1.99 1.29 6/683 18692
/proc/meminfo: memFree=23464280/32950928 swapFree=38525204/67111528
[pid=18658] ppid=18656 vsize=328992 CPUtime=3.13 cores=1,3,5,7
/proc/18658/stat : 18658 (python) S 18656 18658 17436 0 -1 4202496 22766 930 1 0 303 10 0 0 20 0 3 0 869321651 336887808 13532 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/18658/statm: 82248 13532 1875 364 0 17132 0
[pid=18664] ppid=18658 vsize=318736 CPUtime=0.24 cores=1,3,5,7
/proc/18664/stat : 18664 (python) S 18658 18658 17436 0 -1 4202560 1175 0 0 0 11 13 0 0 17 0 2 0 869321971 326385664 12065 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18664/statm: 79684 12065 411 364 0 14571 0
[pid=18666] ppid=18664 vsize=74336 CPUtime=46.95 cores=1,3,5,7
/proc/18666/stat : 18666 (wbo1.4a) T 18664 18666 18666 0 -1 4202496 19826 0 0 0 4690 5 0 0 25 0 1 0 869321971 76120064 18131 33554432000 134512640 135751879 4288837312 18446744073709551615 134611292 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/18666/statm: 18584 18131 146 303 0 18279 0
[pid=18664/tid=18672] ppid=18658 vsize=318736 CPUtime=0 cores=1,3,5,7
/proc/18664/task/18672/stat : 18672 (python) S 18658 18658 17436 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869326667 326385664 12065 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092055985 0 0 16781312 33554946 18446604464758493632 0 0 -1 7 0 0 0
[pid=18673] ppid=18658 vsize=318748 CPUtime=0 cores=1,3,5,7
/proc/18673/stat : 18673 (python) S 18658 18658 17436 0 -1 4202560 788 0 0 0 0 0 0 0 19 0 1 0 869326670 326397952 12001 33554432000 4194304 5683644 140734150623296 18446744073709551615 208080252486 0 0 16781312 33554946 2878227695819292672 0 0 17 5 0 0 0
/proc/18673/statm: 79687 12001 348 364 0 14571 0
[pid=18675] ppid=18673 vsize=8543900 CPUtime=1.45 cores=1,3,5,7
/proc/18675/stat : 18675 (java) S 18673 18675 18675 0 -1 4202496 49171 0 1 0 138 7 0 0 17 0 18 0 869326670 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18675/statm: 2135975 46131 2225 9 0 2126716 0
[pid=18675/tid=18676] ppid=18673 vsize=8543900 CPUtime=0.86 cores=1,3,5,7
/proc/18675/task/18676/stat : 18676 (java) R 18673 18675 18675 0 -1 4202560 35190 0 1 0 81 5 0 0 18 0 18 0 869326671 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 46912505519836 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18675/tid=18677] ppid=18673 vsize=8543900 CPUtime=0.02 cores=1,3,5,7
/proc/18675/task/18677/stat : 18677 (java) S 18673 18675 18675 0 -1 4202560 1494 0 0 0 2 0 0 0 16 0 18 0 869326672 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446604467037743040 0 0 -1 5 0 0 0
[pid=18675/tid=18678] ppid=18673 vsize=8543900 CPUtime=0.01 cores=1,3,5,7
/proc/18675/task/18678/stat : 18678 (java) S 18673 18675 18675 0 -1 4202560 1413 0 0 0 1 0 0 0 16 0 18 0 869326672 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446604467037743040 0 0 -1 3 0 0 0
[pid=18675/tid=18679] ppid=18673 vsize=8543900 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18679/stat : 18679 (java) S 18673 18675 18675 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869326672 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446604467037743040 0 0 -1 5 0 0 0
[pid=18675/tid=18680] ppid=18673 vsize=8543900 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18680/stat : 18680 (java) S 18673 18675 18675 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869326672 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446604467037743040 0 0 -1 5 0 0 0
[pid=18675/tid=18681] ppid=18673 vsize=8543900 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18681/stat : 18681 (java) S 18673 18675 18675 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869326672 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446604467037743040 0 0 -1 5 0 0 0
[pid=18675/tid=18682] ppid=18673 vsize=8543900 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18682/stat : 18682 (java) S 18673 18675 18675 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869326672 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446604467037743040 0 0 -1 5 0 0 0
[pid=18675/tid=18683] ppid=18673 vsize=8543900 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18683/stat : 18683 (java) S 18673 18675 18675 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869326672 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446604467037743040 0 0 -1 5 0 0 0
[pid=18675/tid=18684] ppid=18673 vsize=8543900 CPUtime=0.01 cores=1,3,5,7
/proc/18675/task/18684/stat : 18684 (java) S 18673 18675 18675 0 -1 4202560 1430 0 0 0 1 0 0 0 16 0 18 0 869326672 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446604467037743040 0 0 -1 7 0 0 0
[pid=18675/tid=18685] ppid=18673 vsize=8543900 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18685/stat : 18685 (java) S 18673 18675 18675 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 18 0 869326673 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048896 0 0 0 16800975 18446604467037743040 0 0 -1 5 0 0 0
[pid=18675/tid=18686] ppid=18673 vsize=8543900 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18686/stat : 18686 (java) S 18673 18675 18675 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 18 0 869326673 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446604467037743040 0 0 -1 5 0 0 0
[pid=18675/tid=18687] ppid=18673 vsize=8543900 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18687/stat : 18687 (java) S 18673 18675 18675 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 18 0 869326673 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446604467037743040 0 0 -1 5 0 0 0
[pid=18675/tid=18688] ppid=18673 vsize=8543900 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18688/stat : 18688 (java) S 18673 18675 18675 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869326675 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092055985 0 4 0 16800975 18446604467037743040 0 0 -1 5 0 0 0
[pid=18675/tid=18689] ppid=18673 vsize=8543900 CPUtime=0.22 cores=1,3,5,7
/proc/18675/task/18689/stat : 18689 (java) S 18673 18675 18675 0 -1 4202560 3339 0 0 0 22 0 0 0 17 0 18 0 869326675 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446604467037743040 0 0 -1 7 0 0 0
[pid=18675/tid=18690] ppid=18673 vsize=8543900 CPUtime=0.28 cores=1,3,5,7
/proc/18675/task/18690/stat : 18690 (java) S 18673 18675 18675 0 -1 4202560 4844 0 0 0 28 0 0 0 21 0 18 0 869326675 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446604467037743040 0 0 -1 5 0 0 0
[pid=18675/tid=18691] ppid=18673 vsize=8543900 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18691/stat : 18691 (java) S 18673 18675 18675 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869326675 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446604467037743040 0 0 -1 3 0 0 0
[pid=18675/tid=18692] ppid=18673 vsize=8543900 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18692/stat : 18692 (java) S 18673 18675 18675 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869326675 8748953600 46131 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048896 0 4 0 16800975 18446604467037743040 0 0 -1 7 0 0 0
[pid=18658/tid=18665] ppid=18656 vsize=328992 CPUtime=0 cores=1,3,5,7
/proc/18658/task/18665/stat : 18665 (python) S 18656 18658 17436 0 -1 4202560 29 930 0 0 0 0 0 0 24 0 3 0 869321971 336887808 13532 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092055985 0 0 16781312 33554434 18446604460714695424 0 0 -1 1 0 0 0
[pid=18658/tid=18674] ppid=18656 vsize=328992 CPUtime=0 cores=1,3,5,7
/proc/18658/task/18674/stat : 18674 (python) S 18656 18658 17436 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 3 0 869326670 336887808 13532 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092055985 0 0 16781312 33554434 18446604460714695424 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.77
Current children cumulated vsize (KiB) 9584712
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+98.9016 s]
/proc/loadavg: 2.08 1.99 1.32 6/706 18717
################
# More data... #
################
/proc/18699/stat : 18699 (java) S 18697 18699 18699 0 -1 4202496 11623 0 1 0 43 1 0 0 18 0 18 0 869331519 8748679168 9566 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18699/statm: 2135908 9566 2187 9 0 2126649 0
[pid=18699/tid=18700] ppid=18697 vsize=8543632 CPUtime=0.23 cores=1,3,5,7
/proc/18699/task/18700/stat : 18700 (java) R 18697 18699 18699 0 -1 4202560 4796 0 1 0 23 0 0 0 25 0 18 0 869331520 8748679168 9751 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18699/tid=18701] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18701/stat : 18701 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869331520 8748679168 9751 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=18699/tid=18702] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18702/stat : 18702 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869331520 8748679168 9751 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18699/tid=18703] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18703/stat : 18703 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869331520 8748679168 9752 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18699/tid=18704] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18704/stat : 18704 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869331521 8748679168 9752 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18699/tid=18705] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18705/stat : 18705 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869331521 8748679168 9752 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18699/tid=18706] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18706/stat : 18706 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869331521 8748679168 9753 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18699/tid=18707] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18707/stat : 18707 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869331521 8748679168 9753 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18699/tid=18708] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18708/stat : 18708 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869331521 8748679168 9753 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18699/tid=18709] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18709/stat : 18709 (java) S 18697 18699 18699 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 869331522 8748679168 9753 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048896 0 0 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18699/tid=18710] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18710/stat : 18710 (java) S 18697 18699 18699 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 869331522 8748679168 9754 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=18699/tid=18711] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18711/stat : 18711 (java) S 18697 18699 18699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869331522 8748679168 9754 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=18699/tid=18712] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18712/stat : 18712 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869331524 8748679168 9754 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092055985 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=18699/tid=18713] ppid=18697 vsize=8543632 CPUtime=0.09 cores=1,3,5,7
/proc/18699/task/18713/stat : 18713 (java) R 18697 18699 18699 0 -1 4202560 1321 0 0 0 9 0 0 0 25 0 18 0 869331524 8748679168 9755 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 47983082108545 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18699/tid=18714] ppid=18697 vsize=8543632 CPUtime=0.1 cores=1,3,5,7
/proc/18699/task/18714/stat : 18714 (java) R 18697 18699 18699 0 -1 4202560 4353 0 0 0 10 0 0 0 17 0 18 0 869331524 8748679168 9755 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 47983081360863 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18699/tid=18715] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18715/stat : 18715 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869331524 8748679168 9755 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=18699/tid=18716] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18716/stat : 18716 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869331524 8748679168 9756 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048896 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18658/tid=18665] ppid=18656 vsize=339248 CPUtime=0 cores=1,3,5,7
/proc/18658/task/18665/stat : 18665 (python) S 18656 18658 17436 0 -1 4202560 29 930 0 0 0 0 0 0 24 0 4 0 869321971 347389952 13538 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092055985 0 0 16781312 33554434 18446604460714695424 0 0 -1 1 0 0 0
[pid=18658/tid=18674] ppid=18656 vsize=339248 CPUtime=0 cores=1,3,5,7
/proc/18658/task/18674/stat : 18674 (python) S 18656 18658 17436 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 4 0 869326670 347389952 13538 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092055985 0 0 16781312 33554434 18446604460714695424 0 0 -1 3 0 0 0
[pid=18658/tid=18698] ppid=18656 vsize=339248 CPUtime=0 cores=1,3,5,7
/proc/18658/task/18698/stat : 18698 (python) S 18656 18658 17436 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 4 0 869331519 347389952 13538 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092055985 0 0 16781312 33554434 18446604460714695424 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 18468632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+98.9016 s]
/proc/loadavg: 2.08 1.99 1.32 6/706 18717
/proc/meminfo: memFree=20700100/32950928 swapFree=38525204/67111528
[pid=18658] ppid=18656 vsize=339248 CPUtime=3.16 cores=1,3,5,7
/proc/18658/stat : 18658 (python) S 18656 18658 17436 0 -1 4202496 23682 930 1 0 306 10 0 0 19 0 4 0 869321651 347389952 13538 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/18658/statm: 84812 13538 1877 364 0 19693 0
[pid=18664] ppid=18658 vsize=318736 CPUtime=0.24 cores=1,3,5,7
/proc/18664/stat : 18664 (python) S 18658 18658 17436 0 -1 4202560 1175 0 0 0 11 13 0 0 17 0 2 0 869321971 326385664 12065 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18664/statm: 79684 12065 411 364 0 14571 0
[pid=18666] ppid=18664 vsize=74336 CPUtime=46.95 cores=1,3,5,7
/proc/18666/stat : 18666 (wbo1.4a) T 18664 18666 18666 0 -1 4202496 19826 0 0 0 4690 5 0 0 25 0 1 0 869321971 76120064 18131 33554432000 134512640 135751879 4288837312 18446744073709551615 134611292 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/18666/statm: 18584 18131 146 303 0 18279 0
[pid=18664/tid=18672] ppid=18658 vsize=318736 CPUtime=0 cores=1,3,5,7
/proc/18664/task/18672/stat : 18672 (python) S 18658 18658 17436 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869326667 326385664 12065 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092055985 0 0 16781312 33554946 18446604464758493632 0 0 -1 7 0 0 0
[pid=18673] ppid=18658 vsize=318748 CPUtime=0.21 cores=1,3,5,7
/proc/18673/stat : 18673 (python) S 18658 18658 17436 0 -1 4202560 1111 0 0 0 10 11 0 0 16 0 2 0 869326670 326397952 12050 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18673/statm: 79687 12050 396 364 0 14571 0
[pid=18675] ppid=18673 vsize=8544928 CPUtime=50.81 cores=1,3,5,7
/proc/18675/stat : 18675 (java) T 18673 18675 18675 0 -1 4202496 695911 0 1 0 5008 73 0 0 15 0 19 0 869326670 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18675/statm: 2136232 691484 2248 9 0 2126973 0
[pid=18675/tid=18676] ppid=18673 vsize=8544928 CPUtime=48.18 cores=1,3,5,7
/proc/18675/task/18676/stat : 18676 (java) T 18673 18675 18675 0 -1 4202560 630568 0 1 0 4754 64 0 0 25 0 19 0 869326671 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 46912505862937 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18675/tid=18677] ppid=18673 vsize=8544928 CPUtime=0.13 cores=1,3,5,7
/proc/18675/task/18677/stat : 18677 (java) T 18673 18675 18675 0 -1 4202560 8439 0 0 0 12 1 0 0 15 0 19 0 869326672 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18675/tid=18678] ppid=18673 vsize=8544928 CPUtime=0.09 cores=1,3,5,7
/proc/18675/task/18678/stat : 18678 (java) T 18673 18675 18675 0 -1 4202560 6538 0 0 0 9 0 0 0 15 0 19 0 869326672 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18675/tid=18679] ppid=18673 vsize=8544928 CPUtime=0.06 cores=1,3,5,7
/proc/18675/task/18679/stat : 18679 (java) T 18673 18675 18675 0 -1 4202560 3717 0 0 0 6 0 0 0 15 0 19 0 869326672 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18675/tid=18680] ppid=18673 vsize=8544928 CPUtime=0.08 cores=1,3,5,7
/proc/18675/task/18680/stat : 18680 (java) T 18673 18675 18675 0 -1 4202560 6304 0 0 0 8 0 0 0 15 0 19 0 869326672 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18675/tid=18681] ppid=18673 vsize=8544928 CPUtime=0.09 cores=1,3,5,7
/proc/18675/task/18681/stat : 18681 (java) T 18673 18675 18675 0 -1 4202560 6239 0 0 0 9 0 0 0 15 0 19 0 869326672 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18675/tid=18682] ppid=18673 vsize=8544928 CPUtime=0.1 cores=1,3,5,7
/proc/18675/task/18682/stat : 18682 (java) T 18673 18675 18675 0 -1 4202560 6161 0 0 0 10 0 0 0 15 0 19 0 869326672 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18675/tid=18683] ppid=18673 vsize=8544928 CPUtime=0.13 cores=1,3,5,7
/proc/18675/task/18683/stat : 18683 (java) T 18673 18675 18675 0 -1 4202560 8272 0 0 0 12 1 0 0 15 0 19 0 869326672 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18675/tid=18684] ppid=18673 vsize=8544928 CPUtime=0.1 cores=1,3,5,7
/proc/18675/task/18684/stat : 18684 (java) T 18673 18675 18675 0 -1 4202560 7354 0 0 0 10 0 0 0 15 0 19 0 869326672 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18675/tid=18685] ppid=18673 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18685/stat : 18685 (java) T 18673 18675 18675 0 -1 4202560 1271 0 0 0 0 0 0 0 15 0 19 0 869326673 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048896 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18675/tid=18686] ppid=18673 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18686/stat : 18686 (java) T 18673 18675 18675 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869326673 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18675/tid=18687] ppid=18673 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18687/stat : 18687 (java) T 18673 18675 18675 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869326673 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18675/tid=18688] ppid=18673 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18688/stat : 18688 (java) T 18673 18675 18675 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869326675 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092055985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18675/tid=18689] ppid=18673 vsize=8544928 CPUtime=0.78 cores=1,3,5,7
/proc/18675/task/18689/stat : 18689 (java) T 18673 18675 18675 0 -1 4202560 4630 0 0 0 77 1 0 0 15 0 19 0 869326675 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18675/tid=18690] ppid=18673 vsize=8544928 CPUtime=0.96 cores=1,3,5,7
/proc/18675/task/18690/stat : 18690 (java) T 18673 18675 18675 0 -1 4202560 5022 0 0 0 96 0 0 0 15 0 19 0 869326675 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18675/tid=18691] ppid=18673 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18691/stat : 18691 (java) T 18673 18675 18675 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869326675 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18675/tid=18692] ppid=18673 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18692/stat : 18692 (java) T 18673 18675 18675 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869326675 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18675/tid=18693] ppid=18673 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/18675/task/18693/stat : 18693 (java) T 18673 18675 18675 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869326797 8750006272 691484 33554432000 1073741824 1073778376 140736578171840 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18673/tid=18696] ppid=18658 vsize=318748 CPUtime=0 cores=1,3,5,7
/proc/18673/task/18696/stat : 18696 (python) S 18658 18658 17436 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869331516 326397952 12050 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092055985 0 0 16781312 33554946 18446604459560578112 0 0 -1 7 0 0 0
[pid=18697] ppid=18658 vsize=329004 CPUtime=0 cores=1,3,5,7
/proc/18697/stat : 18697 (python) S 18658 18658 17436 0 -1 4202560 819 0 0 0 0 0 0 0 17 0 1 0 869331519 336900096 12005 33554432000 4194304 5683644 140734150623296 18446744073709551615 208080252486 0 0 16781312 33554946 665253999942828032 0 0 17 1 0 0 0
/proc/18697/statm: 82251 12005 348 364 0 17132 0
[pid=18699] ppid=18697 vsize=8543632 CPUtime=0.44 cores=1,3,5,7
/proc/18699/stat : 18699 (java) S 18697 18699 18699 0 -1 4202496 11623 0 1 0 43 1 0 0 18 0 18 0 869331519 8748679168 9566 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18699/statm: 2135908 9566 2187 9 0 2126649 0
[pid=18699/tid=18700] ppid=18697 vsize=8543632 CPUtime=0.23 cores=1,3,5,7
/proc/18699/task/18700/stat : 18700 (java) R 18697 18699 18699 0 -1 4202560 4796 0 1 0 23 0 0 0 25 0 18 0 869331520 8748679168 9751 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18699/tid=18701] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18701/stat : 18701 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869331520 8748679168 9751 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=18699/tid=18702] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18702/stat : 18702 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869331520 8748679168 9751 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18699/tid=18703] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18703/stat : 18703 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869331520 8748679168 9752 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18699/tid=18704] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18704/stat : 18704 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869331521 8748679168 9752 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18699/tid=18705] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18705/stat : 18705 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869331521 8748679168 9752 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18699/tid=18706] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18706/stat : 18706 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869331521 8748679168 9753 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18699/tid=18707] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18707/stat : 18707 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869331521 8748679168 9753 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18699/tid=18708] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18708/stat : 18708 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869331521 8748679168 9753 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18699/tid=18709] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18709/stat : 18709 (java) S 18697 18699 18699 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 869331522 8748679168 9753 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048896 0 0 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18699/tid=18710] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18710/stat : 18710 (java) S 18697 18699 18699 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 869331522 8748679168 9754 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=18699/tid=18711] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18711/stat : 18711 (java) S 18697 18699 18699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869331522 8748679168 9754 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=18699/tid=18712] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18712/stat : 18712 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869331524 8748679168 9754 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092055985 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=18699/tid=18713] ppid=18697 vsize=8543632 CPUtime=0.09 cores=1,3,5,7
/proc/18699/task/18713/stat : 18713 (java) R 18697 18699 18699 0 -1 4202560 1321 0 0 0 9 0 0 0 25 0 18 0 869331524 8748679168 9755 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 47983082108545 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18699/tid=18714] ppid=18697 vsize=8543632 CPUtime=0.1 cores=1,3,5,7
/proc/18699/task/18714/stat : 18714 (java) R 18697 18699 18699 0 -1 4202560 4353 0 0 0 10 0 0 0 17 0 18 0 869331524 8748679168 9755 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 47983081360863 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18699/tid=18715] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18715/stat : 18715 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869331524 8748679168 9755 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048281 0 4 0 16800975 18446604470113333568 0 0 -1 5 0 0 0
[pid=18699/tid=18716] ppid=18697 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/18699/task/18716/stat : 18716 (java) S 18697 18699 18699 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869331524 8748679168 9756 33554432000 1073741824 1073778376 140735127302960 18446744073709551615 208092048896 0 4 0 16800975 18446604470113333568 0 0 -1 3 0 0 0
[pid=18658/tid=18665] ppid=18656 vsize=339248 CPUtime=0 cores=1,3,5,7
/proc/18658/task/18665/stat : 18665 (python) S 18656 18658 17436 0 -1 4202560 29 930 0 0 0 0 0 0 24 0 4 0 869321971 347389952 13538 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092055985 0 0 16781312 33554434 18446604460714695424 0 0 -1 1 0 0 0
[pid=18658/tid=18674] ppid=18656 vsize=339248 CPUtime=0 cores=1,3,5,7
/proc/18658/task/18674/stat : 18674 (python) S 18656 18658 17436 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 4 0 869326670 347389952 13538 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092055985 0 0 16781312 33554434 18446604460714695424 0 0 -1 3 0 0 0
[pid=18658/tid=18698] ppid=18656 vsize=339248 CPUtime=0 cores=1,3,5,7
/proc/18658/task/18698/stat : 18698 (python) S 18656 18658 17436 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 4 0 869331519 347389952 13538 33554432000 4194304 5683644 140734150623296 18446744073709551615 208092055985 0 0 16781312 33554434 18446604460714695424 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 18468632
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18658 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=62534
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=112982
# CPU time returned by wait4() is 3.17552
# while last known CPU time is 101.81
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 98.9763
CPU time (s): 101.81
CPU user time (s): 100.68
CPU system time (s): 1.13
CPU usage (%): 102.863
Max. virtual memory (cumulated for all children) (KiB): 18468632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.06253
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24613
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= 1001
involuntary context switches= 24
runsolver used 0.526919 second user time and 1.23381 second system time
The end