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-3481670-1307577696/watcher-3481670-1307577696 -o /tmp/evaluation-result-3481670-1307577696/solver-3481670-1307577696 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481670-1307577696.opb -seed 1067838095 -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: 2.17 2.10 1.61 1/797 8254
/proc/meminfo: memFree=24889176/32951124 swapFree=33333036/67111528
[pid=8254] ppid=8252 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/8254/stat : 8254 (python) S 8252 8254 7156 0 -1 4202496 795 0 0 0 0 0 0 0 17 0 1 0 948000392 15749120 681 33554432000 4194304 5683644 140734544427632 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/8254/statm: 3845 681 322 364 0 332 0
[startup+0.025749 s]
/proc/loadavg: 2.17 2.10 1.61 1/797 8254
/proc/meminfo: memFree=24889176/32951124 swapFree=33333036/67111528
[pid=8254] ppid=8252 vsize=16392 CPUtime=0 cores=1,3,5,7
/proc/8254/stat : 8254 (python) R 8252 8254 7156 0 -1 4202496 1079 0 0 0 0 0 0 0 17 0 1 0 948000392 16785408 949 33554432000 4194304 5683644 140734544427632 18446744073709551615 224284923904 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/8254/statm: 4099 955 390 364 0 586 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16392
[startup+0.100726 s]
/proc/loadavg: 2.17 2.10 1.61 1/797 8254
/proc/meminfo: memFree=24889176/32951124 swapFree=33333036/67111528
[pid=8254] ppid=8252 vsize=85364 CPUtime=0.06 cores=1,3,5,7
/proc/8254/stat : 8254 (python) R 8252 8254 7156 0 -1 4202496 2598 0 0 0 4 2 0 0 17 0 1 0 948000392 87412736 2317 33554432000 4194304 5683644 140734544427632 18446744073709551615 5213754 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8254/statm: 21341 2317 715 364 0 1558 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85364
[startup+0.300715 s]
/proc/loadavg: 2.17 2.10 1.61 1/797 8254
/proc/meminfo: memFree=24889176/32951124 swapFree=33333036/67111528
[pid=8254] ppid=8252 vsize=123740 CPUtime=0.16 cores=1,3,5,7
/proc/8254/stat : 8254 (python) S 8252 8254 7156 0 -1 4202496 5357 933 1 0 10 6 0 0 16 0 1 0 948000392 126709760 3744 33554432000 4194304 5683644 140734544427632 18446744073709551615 224284921861 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/8254/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700648 s]
/proc/loadavg: 2.17 2.10 1.61 1/797 8254
/proc/meminfo: memFree=24889176/32951124 swapFree=33333036/67111528
[pid=8254] ppid=8252 vsize=271348 CPUtime=0.4 cores=1,3,5,7
/proc/8254/stat : 8254 (python) R 8252 8254 7156 0 -1 4202496 8757 933 1 0 26 14 0 0 15 0 1 0 948000392 277860352 6713 33554432000 4194304 5683644 140734544427632 18446744073709551615 224284925696 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8254/statm: 67837 6713 1716 364 0 5388 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 271348
[startup+1.50047 s]
/proc/loadavg: 2.08 2.08 1.60 3/795 8281
/proc/meminfo: memFree=24854000/32951124 swapFree=33333036/67111528
[pid=8254] ppid=8252 vsize=298912 CPUtime=1.2 cores=1,3,5,7
/proc/8254/stat : 8254 (python) R 8252 8254 7156 0 -1 4202496 16005 933 1 0 104 16 0 0 16 0 1 0 948000392 306085888 11076 33554432000 4194304 5683644 140734544427632 18446744073709551615 224284584757 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/8254/statm: 74728 11076 1816 364 0 9621 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 298912
[startup+3.10018 s]
/proc/loadavg: 2.08 2.08 1.60 3/803 8293
/proc/meminfo: memFree=24656804/32951124 swapFree=33333036/67111528
[pid=8254] ppid=8252 vsize=310424 CPUtime=1.62 cores=1,3,5,7
/proc/8254/stat : 8254 (python) S 8252 8254 7156 0 -1 4202496 16605 933 1 0 146 16 0 0 19 0 2 0 948000392 317874176 11445 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8254/statm: 77606 11445 1870 364 0 12493 0
[pid=8282] ppid=8254 vsize=300180 CPUtime=0 cores=1,3,5,7
/proc/8282/stat : 8282 (python) S 8254 8254 7156 0 -1 4202560 736 0 0 0 0 0 0 0 15 0 1 0 948000585 307384320 9922 33554432000 4194304 5683644 140734544427632 18446744073709551615 224284945935 0 0 16781312 33554946 3781146446980415750 0 0 17 5 0 0 0
/proc/8282/statm: 75045 9922 351 364 0 9932 0
[pid=8284] ppid=8282 vsize=172168 CPUtime=1.16 cores=1,3,5,7
/proc/8284/stat : 8284 (scip-2.0.1.linu) R 8282 8284 8284 0 -1 4202496 42378 0 0 0 94 22 0 0 22 0 1 0 948000585 176300032 40150 33554432000 4194304 13684479 140735426039616 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8284/statm: 43042 40150 630 2317 0 40720 0
[pid=8254/tid=8283] ppid=8252 vsize=310424 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8283/stat : 8283 (python) S 8252 8254 7156 0 -1 4202560 25 933 0 0 0 0 0 0 19 0 2 0 948000585 317874176 11445 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 782772
[startup+6.30067 s]
/proc/loadavg: 2.08 2.08 1.60 3/806 8296
/proc/meminfo: memFree=24547664/32951124 swapFree=33333036/67111528
[pid=8254] ppid=8252 vsize=310424 CPUtime=1.62 cores=1,3,5,7
/proc/8254/stat : 8254 (python) S 8252 8254 7156 0 -1 4202496 16605 933 1 0 146 16 0 0 19 0 2 0 948000392 317874176 11445 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8254/statm: 77606 11445 1870 364 0 12493 0
[pid=8282] ppid=8254 vsize=300180 CPUtime=0.02 cores=1,3,5,7
/proc/8282/stat : 8282 (python) S 8254 8254 7156 0 -1 4202560 892 0 0 0 1 1 0 0 15 0 1 0 948000585 307384320 9946 33554432000 4194304 5683644 140734544427632 18446744073709551615 224284945935 0 0 16781312 33554946 15448294058522280198 0 0 17 3 0 0 0
/proc/8282/statm: 75045 9946 375 364 0 9932 0
[pid=8284] ppid=8282 vsize=190664 CPUtime=4.36 cores=1,3,5,7
/proc/8284/stat : 8284 (scip-2.0.1.linu) R 8282 8284 8284 0 -1 4202496 47123 0 0 0 403 33 0 0 25 0 1 0 948000585 195239936 44865 33554432000 4194304 13684479 140735426039616 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8284/statm: 47666 44865 717 2317 0 45344 0
[pid=8254/tid=8283] ppid=8252 vsize=310424 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8283/stat : 8283 (python) S 8252 8254 7156 0 -1 4202560 25 933 0 0 0 0 0 0 19 0 2 0 948000585 317874176 11445 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 801268
[startup+12.7006 s]
/proc/loadavg: 2.28 2.13 1.62 3/806 8296
/proc/meminfo: memFree=24397208/32951124 swapFree=33333036/67111528
[pid=8254] ppid=8252 vsize=310424 CPUtime=1.62 cores=1,3,5,7
/proc/8254/stat : 8254 (python) S 8252 8254 7156 0 -1 4202496 16605 933 1 0 146 16 0 0 19 0 2 0 948000392 317874176 11445 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8254/statm: 77606 11445 1870 364 0 12493 0
[pid=8282] ppid=8254 vsize=300180 CPUtime=0.05 cores=1,3,5,7
/proc/8282/stat : 8282 (python) S 8254 8254 7156 0 -1 4202560 896 0 0 0 3 2 0 0 15 0 1 0 948000585 307384320 9946 33554432000 4194304 5683644 140734544427632 18446744073709551615 224284945935 0 0 16781312 33554946 5623458817330129683 0 0 17 3 0 0 0
/proc/8282/statm: 75045 9946 375 364 0 9932 0
[pid=8284] ppid=8282 vsize=344840 CPUtime=10.76 cores=1,3,5,7
/proc/8284/stat : 8284 (scip-2.0.1.linu) R 8282 8284 8284 0 -1 4202496 87225 0 0 0 1035 41 0 0 25 0 1 0 948000585 353116160 80310 33554432000 4194304 13684479 140735426039616 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8284/statm: 86210 80310 776 2317 0 83888 0
[pid=8254/tid=8283] ppid=8252 vsize=310424 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8283/stat : 8283 (python) S 8252 8254 7156 0 -1 4202560 25 933 0 0 0 0 0 0 19 0 2 0 948000585 317874176 11445 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 955444
[startup+25.5005 s]
/proc/loadavg: 2.40 2.16 1.64 3/806 8298
/proc/meminfo: memFree=24401464/32951124 swapFree=33333036/67111528
[pid=8254] ppid=8252 vsize=310424 CPUtime=1.62 cores=1,3,5,7
/proc/8254/stat : 8254 (python) S 8252 8254 7156 0 -1 4202496 16605 933 1 0 146 16 0 0 19 0 2 0 948000392 317874176 11445 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8254/statm: 77606 11445 1870 364 0 12493 0
[pid=8282] ppid=8254 vsize=300180 CPUtime=0.12 cores=1,3,5,7
/proc/8282/stat : 8282 (python) S 8254 8254 7156 0 -1 4202560 903 0 0 0 6 6 0 0 15 0 1 0 948000585 307384320 9946 33554432000 4194304 5683644 140734544427632 18446744073709551615 224284945935 0 0 16781312 33554946 5623458817330129683 0 0 17 3 0 0 0
/proc/8282/statm: 75045 9946 375 364 0 9932 0
[pid=8284] ppid=8282 vsize=349584 CPUtime=23.56 cores=1,3,5,7
/proc/8284/stat : 8284 (scip-2.0.1.linu) R 8282 8284 8284 0 -1 4202496 88596 0 0 0 2313 43 0 0 25 0 1 0 948000585 357974016 81681 33554432000 4194304 13684479 140735426039616 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8284/statm: 87396 81681 780 2317 0 85074 0
[pid=8254/tid=8283] ppid=8252 vsize=310424 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8283/stat : 8283 (python) S 8252 8254 7156 0 -1 4202560 25 933 0 0 0 0 0 0 19 0 2 0 948000585 317874176 11445 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 960188
[startup+51.1011 s]
/proc/loadavg: 2.33 2.16 1.65 3/810 8302
/proc/meminfo: memFree=24270936/32951124 swapFree=33333036/67111528
[pid=8254] ppid=8252 vsize=320680 CPUtime=1.65 cores=1,3,5,7
/proc/8254/stat : 8254 (python) S 8252 8254 7156 0 -1 4202496 17483 933 1 0 149 16 0 0 20 0 3 0 948000392 328376320 11452 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/8254/statm: 80170 11452 1873 364 0 15054 0
[pid=8282] ppid=8254 vsize=310424 CPUtime=0.24 cores=1,3,5,7
/proc/8282/stat : 8282 (python) S 8254 8254 7156 0 -1 4202560 1131 0 0 0 11 13 0 0 17 0 2 0 948000585 317874176 9987 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8282/statm: 77606 9987 411 364 0 12493 0
[pid=8284] ppid=8282 vsize=350204 CPUtime=47.69 cores=1,3,5,7
/proc/8284/stat : 8284 (scip-2.0.1.linu) T 8282 8284 8284 0 -1 4202496 89111 0 0 0 4722 47 0 0 25 0 1 0 948000585 358608896 82196 33554432000 4194304 13684479 140735426039616 18446744073709551615 7387872 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/8284/statm: 87551 82196 780 2317 0 85229 0
[pid=8282/tid=8299] ppid=8254 vsize=310424 CPUtime=0 cores=1,3,5,7
/proc/8282/task/8299/stat : 8299 (python) S 8254 8254 7156 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 948005356 317874176 9987 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554946 18446604461561476928 0 0 -1 7 0 0 0
[pid=8300] ppid=8254 vsize=310436 CPUtime=0 cores=1,3,5,7
/proc/8300/stat : 8300 (python) S 8254 8254 7156 0 -1 4202560 781 0 0 0 0 0 0 0 15 0 1 0 948005358 317886464 9923 33554432000 4194304 5683644 140734544427632 18446744073709551615 224284945990 0 0 16781312 33554946 8801849279111987461 0 0 17 5 0 0 0
/proc/8300/statm: 77609 9923 348 364 0 12493 0
[pid=8302] ppid=8300 vsize=188784 CPUtime=1.42 cores=1,3,5,7
/proc/8302/stat : 8302 (scip-2.0.1.linu) R 8300 8302 8302 0 -1 4202496 46199 0 0 0 117 25 0 0 23 0 1 0 948005359 193314816 43972 33554432000 4194304 15243407 140734984112000 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/8302/statm: 47196 43972 689 2698 0 44491 0
[pid=8254/tid=8283] ppid=8252 vsize=320680 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8283/stat : 8283 (python) S 8252 8254 7156 0 -1 4202560 25 933 0 0 0 0 0 0 19 0 3 0 948000585 328376320 11452 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 3 0 0 0
[pid=8254/tid=8301] ppid=8252 vsize=320680 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8301/stat : 8301 (python) S 8252 8254 7156 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 3 0 948005358 328376320 11452 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 1480528
[startup+102.301 s]
/proc/loadavg: 2.18 2.15 1.67 3/822 8316
/proc/meminfo: memFree=23936352/32951124 swapFree=33333036/67111528
[pid=8254] ppid=8252 vsize=330936 CPUtime=1.68 cores=1,3,5,7
/proc/8254/stat : 8254 (python) S 8252 8254 7156 0 -1 4202496 18416 933 1 0 151 17 0 0 20 0 4 0 948000392 338878464 11458 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/8254/statm: 82734 11458 1875 364 0 17615 0
[pid=8282] ppid=8254 vsize=310424 CPUtime=0.24 cores=1,3,5,7
/proc/8282/stat : 8282 (python) S 8254 8254 7156 0 -1 4202560 1131 0 0 0 11 13 0 0 17 0 2 0 948000585 317874176 9987 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8282/statm: 77606 9987 411 364 0 12493 0
[pid=8284] ppid=8282 vsize=350204 CPUtime=47.69 cores=1,3,5,7
/proc/8284/stat : 8284 (scip-2.0.1.linu) T 8282 8284 8284 0 -1 4202496 89111 0 0 0 4722 47 0 0 25 0 1 0 948000585 358608896 82196 33554432000 4194304 13684479 140735426039616 18446744073709551615 7387872 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/8284/statm: 87551 82196 780 2317 0 85229 0
[pid=8282/tid=8299] ppid=8254 vsize=310424 CPUtime=0 cores=1,3,5,7
/proc/8282/task/8299/stat : 8299 (python) S 8254 8254 7156 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 948005356 317874176 9987 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554946 18446604461561476928 0 0 -1 7 0 0 0
[pid=8300] ppid=8254 vsize=310436 CPUtime=0.24 cores=1,3,5,7
/proc/8300/stat : 8300 (python) S 8254 8254 7156 0 -1 4202560 1122 0 0 0 12 12 0 0 17 0 2 0 948005358 317886464 9972 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8300/statm: 77609 9972 396 364 0 12493 0
[pid=8302] ppid=8300 vsize=337496 CPUtime=46.42 cores=1,3,5,7
/proc/8302/stat : 8302 (scip-2.0.1.linu) T 8300 8302 8302 0 -1 4202496 93617 0 0 0 4599 43 0 0 25 0 1 0 948005359 345595904 72840 33554432000 4194304 15243407 140734984112000 18446744073709551615 4957281 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/8302/statm: 84374 72840 898 2698 0 81669 0
[pid=8300/tid=8309] ppid=8254 vsize=310436 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8309/stat : 8309 (python) S 8254 8254 7156 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948010004 317886464 9972 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554946 18446604458112623936 0 0 -1 7 0 0 0
[pid=8310] ppid=8254 vsize=320692 CPUtime=0.02 cores=1,3,5,7
/proc/8310/stat : 8310 (python) S 8254 8254 7156 0 -1 4202560 938 0 0 0 1 1 0 0 15 0 1 0 948010006 328388608 9951 33554432000 4194304 5683644 140734544427632 18446744073709551615 224284945990 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/8310/statm: 80173 9951 372 364 0 15054 0
[pid=8312] ppid=8310 vsize=20848 CPUtime=6.13 cores=1,3,5,7
/proc/8312/stat : 8312 (wbo1.4a) R 8310 8312 8312 0 -1 4202496 9832 0 0 0 566 47 0 0 25 0 1 0 948010006 21348352 4594 33554432000 134512640 135751879 4291480432 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/8312/statm: 5212 4594 146 303 0 4907 0
[pid=8254/tid=8283] ppid=8252 vsize=330936 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8283/stat : 8283 (python) S 8252 8254 7156 0 -1 4202560 25 933 0 0 0 0 0 0 19 0 4 0 948000585 338878464 11458 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 3 0 0 0
[pid=8254/tid=8301] ppid=8252 vsize=330936 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8301/stat : 8301 (python) S 8252 8254 7156 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 4 0 948005358 338878464 11458 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=8254/tid=8283] ppid=8252 vsize=361704 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8283/stat : 8283 (python) S 8252 8254 7156 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 7 0 948000585 370384896 11476 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 3 0 0 0
[pid=8254/tid=8301] ppid=8252 vsize=361704 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8301/stat : 8301 (python) S 8252 8254 7156 0 -1 4202560 32 933 0 0 0 0 0 0 18 0 7 0 948005358 370384896 11476 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 7 0 0 0
[pid=8254/tid=8311] ppid=8252 vsize=361704 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8311/stat : 8311 (python) S 8252 8254 7156 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 7 0 948010006 370384896 11476 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 7 0 0 0
[pid=8254/tid=8319] ppid=8252 vsize=361704 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8319/stat : 8319 (python) S 8252 8254 7156 0 -1 4202560 31 933 0 0 0 0 0 0 20 0 7 0 948015143 370384896 11476 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 7 0 0 0
[pid=8254/tid=8390] ppid=8252 vsize=361704 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8390/stat : 8390 (python) S 8252 8254 7156 0 -1 4202560 31 933 0 0 0 0 0 0 20 0 7 0 948020045 370384896 11476 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 3 0 0 0
[pid=8254/tid=8664] ppid=8252 vsize=361704 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8664/stat : 8664 (python) S 8252 8254 7156 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 7 0 948061856 370384896 11476 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 619.43
Current children cumulated vsize (KiB) 20290868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+614.702 s]
/proc/loadavg: 2.30 2.14 1.85 5/935 8683
/proc/meminfo: memFree=18756116/32951124 swapFree=33333036/67111528
[pid=8254] ppid=8252 vsize=361704 CPUtime=1.79 cores=1,3,5,7
/proc/8254/stat : 8254 (python) S 8252 8254 7156 0 -1 4202496 21291 933 1 0 162 17 0 0 19 0 7 0 948000392 370384896 11476 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/8254/statm: 90426 11476 1881 364 0 25298 0
[pid=8282] ppid=8254 vsize=310424 CPUtime=1.66 cores=1,3,5,7
/proc/8282/stat : 8282 (python) S 8254 8254 7156 0 -1 4202560 1221 0 0 0 78 88 0 0 16 0 2 0 948000585 317874176 9988 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8282/statm: 77606 9988 412 364 0 12493 0
[pid=8284] ppid=8282 vsize=333592 CPUtime=321.95 cores=1,3,5,7
/proc/8284/stat : 8284 (scip-2.0.1.linu) T 8282 8284 8284 0 -1 4202496 93068 0 0 0 32127 68 0 0 25 0 1 0 948000585 341598208 78596 33554432000 4194304 13684479 140735426039616 18446744073709551615 7387926 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/8284/statm: 83398 78596 965 2317 0 81076 0
[pid=8282/tid=8299] ppid=8254 vsize=310424 CPUtime=0 cores=1,3,5,7
/proc/8282/task/8299/stat : 8299 (python) S 8254 8254 7156 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 948005356 317874176 9988 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554946 18446604461561476928 0 0 -1 7 0 0 0
[pid=8300] ppid=8254 vsize=310436 CPUtime=0.52 cores=1,3,5,7
/proc/8300/stat : 8300 (python) S 8254 8254 7156 0 -1 4202560 1157 0 0 0 25 27 0 0 15 0 2 0 948005358 317886464 9972 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8300/statm: 77609 9972 396 364 0 12493 0
[pid=8302] ppid=8300 vsize=345600 CPUtime=96.69 cores=1,3,5,7
/proc/8302/stat : 8302 (scip-2.0.1.linu) T 8300 8302 8302 0 -1 4202496 98694 0 0 0 9574 95 0 0 25 0 1 0 948005359 353894400 77917 33554432000 4194304 15243407 140734984112000 18446744073709551615 6953042 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/8302/statm: 86400 77917 923 2698 0 83695 0
[pid=8300/tid=8309] ppid=8254 vsize=310436 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8309/stat : 8309 (python) S 8254 8254 7156 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 948010004 317886464 9972 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554946 18446604458112623936 0 0 -1 3 0 0 0
[pid=8310] ppid=8254 vsize=320692 CPUtime=0.28 cores=1,3,5,7
/proc/8310/stat : 8310 (python) S 8254 8254 7156 0 -1 4202560 1109 0 0 0 14 14 0 0 16 0 2 0 948010006 328388608 9976 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8310/statm: 80173 9976 396 364 0 15054 0
[pid=8312] ppid=8310 vsize=190832 CPUtime=51.29 cores=1,3,5,7
/proc/8312/stat : 8312 (wbo1.4a) T 8310 8312 8312 0 -1 4202496 52622 0 0 0 5016 113 0 0 25 0 1 0 948010006 195411968 47112 33554432000 134512640 135751879 4291480432 18446744073709551615 134616489 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/8312/statm: 47708 47112 146 303 0 47403 0
[pid=8310/tid=8317] ppid=8254 vsize=320692 CPUtime=0 cores=1,3,5,7
/proc/8310/task/8317/stat : 8317 (python) S 8254 8254 7156 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948015140 328388608 9976 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554946 18446604469304919232 0 0 -1 7 0 0 0
[pid=8318] ppid=8254 vsize=330948 CPUtime=0.25 cores=1,3,5,7
/proc/8318/stat : 8318 (python) S 8254 8254 7156 0 -1 4202560 1134 0 0 0 12 13 0 0 16 0 2 0 948015143 338890752 9980 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/8318/statm: 82737 9980 396 364 0 17615 0
[pid=8320] ppid=8318 vsize=8540408 CPUtime=50.99 cores=1,3,5,7
/proc/8320/stat : 8320 (java) T 8318 8320 8320 0 -1 4202496 300487 0 1 0 5063 36 0 0 15 0 19 0 948015143 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8320/statm: 2135102 282589 2247 9 0 2125843 0
[pid=8320/tid=8321] ppid=8318 vsize=8540408 CPUtime=48.72 cores=1,3,5,7
/proc/8320/task/8321/stat : 8321 (java) T 8318 8320 8320 0 -1 4202560 247363 0 1 0 4845 27 0 0 25 0 19 0 948015144 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 46912505926412 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8320/tid=8322] ppid=8318 vsize=8540408 CPUtime=0.08 cores=1,3,5,7
/proc/8320/task/8322/stat : 8322 (java) T 8318 8320 8320 0 -1 4202560 5509 0 0 0 8 0 0 0 15 0 19 0 948015144 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8320/tid=8323] ppid=8318 vsize=8540408 CPUtime=0.08 cores=1,3,5,7
/proc/8320/task/8323/stat : 8323 (java) T 8318 8320 8320 0 -1 4202560 5332 0 0 0 8 0 0 0 15 0 19 0 948015144 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8320/tid=8324] ppid=8318 vsize=8540408 CPUtime=0.08 cores=1,3,5,7
/proc/8320/task/8324/stat : 8324 (java) T 8318 8320 8320 0 -1 4202560 5830 0 0 0 8 0 0 0 15 0 19 0 948015144 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8320/tid=8325] ppid=8318 vsize=8540408 CPUtime=0.08 cores=1,3,5,7
/proc/8320/task/8325/stat : 8325 (java) T 8318 8320 8320 0 -1 4202560 5332 0 0 0 7 1 0 0 15 0 19 0 948015144 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8320/tid=8326] ppid=8318 vsize=8540408 CPUtime=0.07 cores=1,3,5,7
/proc/8320/task/8326/stat : 8326 (java) T 8318 8320 8320 0 -1 4202560 4893 0 0 0 7 0 0 0 15 0 19 0 948015144 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8320/tid=8327] ppid=8318 vsize=8540408 CPUtime=0.08 cores=1,3,5,7
/proc/8320/task/8327/stat : 8327 (java) T 8318 8320 8320 0 -1 4202560 5824 0 0 0 8 0 0 0 15 0 19 0 948015144 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8320/tid=8328] ppid=8318 vsize=8540408 CPUtime=0.05 cores=1,3,5,7
/proc/8320/task/8328/stat : 8328 (java) T 8318 8320 8320 0 -1 4202560 3549 0 0 0 5 0 0 0 15 0 19 0 948015144 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8320/tid=8329] ppid=8318 vsize=8540408 CPUtime=0.05 cores=1,3,5,7
/proc/8320/task/8329/stat : 8329 (java) T 8318 8320 8320 0 -1 4202560 3944 0 0 0 5 0 0 0 15 0 19 0 948015144 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8320/tid=8330] ppid=8318 vsize=8540408 CPUtime=0 cores=1,3,5,7
/proc/8320/task/8330/stat : 8330 (java) T 8318 8320 8320 0 -1 4202560 950 0 0 0 0 0 0 0 15 0 19 0 948015145 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296742400 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8320/tid=8331] ppid=8318 vsize=8540408 CPUtime=0 cores=1,3,5,7
/proc/8320/task/8331/stat : 8331 (java) T 8318 8320 8320 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 948015146 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8320/tid=8332] ppid=8318 vsize=8540408 CPUtime=0 cores=1,3,5,7
/proc/8320/task/8332/stat : 8332 (java) T 8318 8320 8320 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 948015146 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8320/tid=8333] ppid=8318 vsize=8540408 CPUtime=0 cores=1,3,5,7
/proc/8320/task/8333/stat : 8333 (java) T 8318 8320 8320 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948015148 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8320/tid=8334] ppid=8318 vsize=8540408 CPUtime=0.8 cores=1,3,5,7
/proc/8320/task/8334/stat : 8334 (java) T 8318 8320 8320 0 -1 4202560 3616 0 0 0 80 0 0 0 15 0 19 0 948015148 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8320/tid=8335] ppid=8318 vsize=8540408 CPUtime=0.76 cores=1,3,5,7
/proc/8320/task/8335/stat : 8335 (java) T 8318 8320 8320 0 -1 4202560 6950 0 0 0 76 0 0 0 15 0 19 0 948015148 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8320/tid=8336] ppid=8318 vsize=8540408 CPUtime=0 cores=1,3,5,7
/proc/8320/task/8336/stat : 8336 (java) T 8318 8320 8320 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948015148 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8320/tid=8337] ppid=8318 vsize=8540408 CPUtime=0 cores=1,3,5,7
/proc/8320/task/8337/stat : 8337 (java) T 8318 8320 8320 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 948015148 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8320/tid=8360] ppid=8318 vsize=8540408 CPUtime=0 cores=1,3,5,7
/proc/8320/task/8360/stat : 8360 (java) T 8318 8320 8320 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948015217 8745377792 282589 33554432000 1073741824 1073778376 140735707247376 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8318/tid=8388] ppid=8254 vsize=330948 CPUtime=0 cores=1,3,5,7
/proc/8318/task/8388/stat : 8388 (python) S 8254 8254 7156 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 948020043 338890752 9980 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554946 18446604469298354176 0 0 -1 5 0 0 0
[pid=8389] ppid=8254 vsize=341204 CPUtime=0.47 cores=1,3,5,7
/proc/8389/stat : 8389 (python) S 8254 8254 7156 0 -1 4202560 1167 0 0 0 19 28 0 0 19 0 2 0 948020045 349392896 9984 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8389/statm: 85301 9984 396 364 0 20176 0
[pid=8391] ppid=8389 vsize=22236 CPUtime=93.47 cores=1,3,5,7
/proc/8391/stat : 8391 (clasp-1.3.7-x86) T 8389 8391 8391 0 -1 4202496 6115 0 0 0 9347 0 0 0 25 0 1 0 948020045 22769664 5254 33554432000 134512640 136139019 4288606656 18446744073709551615 134883443 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/8391/statm: 5559 5254 187 398 0 5159 0
[pid=8389/tid=8469] ppid=8254 vsize=341204 CPUtime=0 cores=1,3,5,7
/proc/8389/task/8469/stat : 8469 (python) S 8254 8254 7156 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 948029393 349392896 9984 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554946 18446604467674770240 0 0 -1 7 0 0 0
[pid=8663] ppid=8254 vsize=351460 CPUtime=0 cores=1,3,5,7
/proc/8663/stat : 8663 (python) S 8254 8254 7156 0 -1 4202560 798 0 0 0 0 0 0 0 19 0 1 0 948061856 359895040 9939 33554432000 4194304 5683644 140734544427632 18446744073709551615 224284945990 0 0 16781312 33554946 5011563042941403396 0 0 17 3 0 0 0
/proc/8663/statm: 87865 9939 348 364 0 22737 0
[pid=8665] ppid=8663 vsize=8531332 CPUtime=0.07 cores=1,3,5,7
/proc/8665/stat : 8665 (java) S 8663 8665 8665 0 -1 4202496 4712 0 1 0 6 1 0 0 17 0 18 0 948061857 8736083968 4167 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/8665/statm: 2132833 4173 1958 9 0 2123574 0
[pid=8665/tid=8666] ppid=8663 vsize=8531332 CPUtime=0.06 cores=1,3,5,7
/proc/8665/task/8666/stat : 8666 (java) R 8663 8665 8665 0 -1 4202560 3063 0 1 0 6 0 0 0 22 0 18 0 948061858 8736083968 4517 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296752587 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8665/tid=8667] ppid=8663 vsize=8531332 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8667/stat : 8667 (java) S 8663 8665 8665 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948061858 8736083968 4517 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296741785 0 4 0 16800975 18446604462121323392 0 0 -1 3 0 0 0
[pid=8665/tid=8668] ppid=8663 vsize=8531332 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8668/stat : 8668 (java) S 8663 8665 8665 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948061858 8736083968 4517 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296741785 0 4 0 16800975 18446604462121323392 0 0 -1 3 0 0 0
[pid=8665/tid=8669] ppid=8663 vsize=8531332 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8669/stat : 8669 (java) S 8663 8665 8665 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948061858 8736083968 4517 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296741785 0 4 0 16800975 18446604462121323392 0 0 -1 3 0 0 0
[pid=8665/tid=8670] ppid=8663 vsize=8531332 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8670/stat : 8670 (java) S 8663 8665 8665 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948061858 8736083968 4518 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296741785 0 4 0 16800975 18446604462121323392 0 0 -1 3 0 0 0
[pid=8665/tid=8671] ppid=8663 vsize=8531332 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8671/stat : 8671 (java) S 8663 8665 8665 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948061858 8736083968 4518 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296741785 0 4 0 16800975 18446604462121323392 0 0 -1 3 0 0 0
[pid=8665/tid=8672] ppid=8663 vsize=8531332 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8672/stat : 8672 (java) S 8663 8665 8665 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948061858 8736083968 4518 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296741785 0 4 0 16800975 18446604462121323392 0 0 -1 3 0 0 0
[pid=8665/tid=8673] ppid=8663 vsize=8531332 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8673/stat : 8673 (java) S 8663 8665 8665 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948061858 8736083968 4519 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296741785 0 4 0 16800975 18446604462121323392 0 0 -1 3 0 0 0
[pid=8665/tid=8674] ppid=8663 vsize=8531332 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8674/stat : 8674 (java) S 8663 8665 8665 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948061858 8736083968 4519 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296741785 0 4 0 16800975 18446604462121323392 0 0 -1 3 0 0 0
[pid=8665/tid=8675] ppid=8663 vsize=8531332 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8675/stat : 8675 (java) S 8663 8665 8665 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 948061859 8736083968 4519 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296742400 0 0 0 16800975 18446604462121323392 0 0 -1 7 0 0 0
[pid=8665/tid=8676] ppid=8663 vsize=8531332 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8676/stat : 8676 (java) S 8663 8665 8665 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 18 0 948061860 8736083968 4519 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296741785 0 4 0 16800975 18446604462121323392 0 0 -1 7 0 0 0
[pid=8665/tid=8677] ppid=8663 vsize=8531332 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8677/stat : 8677 (java) S 8663 8665 8665 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 18 0 948061860 8736083968 4519 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296741785 0 4 0 16800975 18446604462121323392 0 0 -1 3 0 0 0
[pid=8665/tid=8678] ppid=8663 vsize=8531332 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8678/stat : 8678 (java) S 8663 8665 8665 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948061862 8736083968 4519 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296749489 0 4 0 16800975 18446604462121323392 0 0 -1 7 0 0 0
[pid=8665/tid=8679] ppid=8663 vsize=8531332 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8679/stat : 8679 (java) S 8663 8665 8665 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 18 0 948061862 8736083968 4520 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296741785 0 4 0 16800975 18446604462121323392 0 0 -1 3 0 0 0
[pid=8665/tid=8680] ppid=8663 vsize=8531332 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8680/stat : 8680 (java) S 8663 8665 8665 0 -1 4202560 549 0 0 0 0 0 0 0 20 0 18 0 948061862 8736083968 4520 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296741785 0 4 0 16800975 18446604462121323392 0 0 -1 3 0 0 0
[pid=8665/tid=8682] ppid=8663 vsize=8531332 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8682/stat : 8682 (java) S 8663 8665 8665 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948061862 8736083968 4520 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296741785 0 4 0 16800975 18446604462121323392 0 0 -1 3 0 0 0
[pid=8665/tid=8683] ppid=8663 vsize=8531332 CPUtime=0 cores=1,3,5,7
/proc/8665/task/8683/stat : 8683 (java) S 8663 8665 8665 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948061862 8736083968 4520 33554432000 1073741824 1073778376 140737195540624 18446744073709551615 224296742400 0 4 0 16800975 18446604462121323392 0 0 -1 3 0 0 0
[pid=8254/tid=8283] ppid=8252 vsize=361704 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8283/stat : 8283 (python) S 8252 8254 7156 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 7 0 948000585 370384896 11476 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 3 0 0 0
[pid=8254/tid=8301] ppid=8252 vsize=361704 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8301/stat : 8301 (python) S 8252 8254 7156 0 -1 4202560 32 933 0 0 0 0 0 0 18 0 7 0 948005358 370384896 11476 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 7 0 0 0
[pid=8254/tid=8311] ppid=8252 vsize=361704 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8311/stat : 8311 (python) S 8252 8254 7156 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 7 0 948010006 370384896 11476 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 7 0 0 0
[pid=8254/tid=8319] ppid=8252 vsize=361704 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8319/stat : 8319 (python) S 8252 8254 7156 0 -1 4202560 31 933 0 0 0 0 0 0 20 0 7 0 948015143 370384896 11476 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 7 0 0 0
[pid=8254/tid=8390] ppid=8252 vsize=361704 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8390/stat : 8390 (python) S 8252 8254 7156 0 -1 4202560 31 933 0 0 0 0 0 0 20 0 7 0 948020045 370384896 11476 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 3 0 0 0
[pid=8254/tid=8664] ppid=8252 vsize=361704 CPUtime=0 cores=1,3,5,7
/proc/8254/task/8664/stat : 8664 (python) S 8252 8254 7156 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 7 0 948061856 370384896 11476 33554432000 4194304 5683644 140734544427632 18446744073709551615 224296749489 0 0 16781312 33554434 18446604469298355072 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 619.43
Current children cumulated vsize (KiB) 20290868
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8254 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=625752
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=181972
# CPU time returned by wait4() is 1.80772
# while last known CPU time is 619.43
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 614.798
CPU time (s): 619.43
CPU user time (s): 614.43
CPU system time (s): 5
CPU usage (%): 100.753
Max. virtual memory (cumulated for all children) (KiB): 20290868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.62575
system time used= 0.181972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22227
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= 3838
involuntary context switches= 28
runsolver used 5.17821 second user time and 12.0842 second system time
The end