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-3481672-1307577698/watcher-3481672-1307577698 -o /tmp/evaluation-result-3481672-1307577698/solver-3481672-1307577698 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481672-1307577698.opb -seed 1910217087 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.08 1.60 2/802 8288
/proc/meminfo: memFree=24734312/32951124 swapFree=33333036/67111528
[pid=8288] ppid=8286 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/8288/stat : 8288 (python) R 8286 8288 7156 0 -1 4202496 884 0 0 0 0 0 0 0 20 0 1 0 948000643 16154624 766 33554432000 4194304 5683644 140735473693360 18446744073709551615 224284586693 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/8288/statm: 3944 766 343 364 0 431 0
[startup+0.039182 s]
/proc/loadavg: 2.08 2.08 1.60 2/802 8288
/proc/meminfo: memFree=24734312/32951124 swapFree=33333036/67111528
[pid=8288] ppid=8286 vsize=18888 CPUtime=0.02 cores=0,2,4,6
/proc/8288/stat : 8288 (python) R 8286 8288 7156 0 -1 4202496 1288 0 0 0 2 0 0 0 20 0 1 0 948000643 19341312 1141 33554432000 4194304 5683644 140735473693360 18446744073709551615 4510845 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/8288/statm: 4722 1141 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888
[startup+0.106206 s]
/proc/loadavg: 2.08 2.08 1.60 2/802 8288
/proc/meminfo: memFree=24734312/32951124 swapFree=33333036/67111528
[pid=8288] ppid=8286 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/8288/stat : 8288 (python) R 8286 8288 7156 0 -1 4202496 3169 932 1 0 6 1 0 0 18 0 1 0 948000643 98435072 2484 33554432000 4194304 5683644 140735473693360 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8288/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.301191 s]
/proc/loadavg: 2.08 2.08 1.60 2/802 8288
/proc/meminfo: memFree=24734312/32951124 swapFree=33333036/67111528
[pid=8288] ppid=8286 vsize=203276 CPUtime=0.23 cores=0,2,4,6
/proc/8288/stat : 8288 (python) S 8286 8288 7156 0 -1 4202496 6710 932 1 0 17 6 0 0 17 0 1 0 948000643 208154624 4990 33554432000 4194304 5683644 140735473693360 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/8288/statm: 50819 4992 1472 364 0 3781 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 203276
[startup+0.701071 s]
/proc/loadavg: 2.08 2.08 1.60 2/802 8288
/proc/meminfo: memFree=24734312/32951124 swapFree=33333036/67111528
[pid=8288] ppid=8286 vsize=286360 CPUtime=0.61 cores=0,2,4,6
/proc/8288/stat : 8288 (python) R 8286 8288 7156 0 -1 4202496 10597 932 1 0 51 10 0 0 17 0 1 0 948000643 293232640 7938 33554432000 4194304 5683644 140735473693360 18446744073709551615 224288334517 0 0 16781312 33554434 0 0 0 17 6 0 0 0
/proc/8288/statm: 71590 7938 1816 364 0 6483 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 286360
[startup+1.50099 s]
/proc/loadavg: 2.08 2.08 1.60 3/806 8296
/proc/meminfo: memFree=24596148/32951124 swapFree=33333036/67111528
[pid=8288] ppid=8286 vsize=296976 CPUtime=0.69 cores=0,2,4,6
/proc/8288/stat : 8288 (python) S 8286 8288 7156 0 -1 4202496 10969 932 1 0 59 10 0 0 20 0 2 0 948000643 304103424 8083 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/8288/statm: 74244 8083 1870 364 0 9131 0
[pid=8294] ppid=8288 vsize=286732 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (python) S 8288 8288 7156 0 -1 4202560 741 0 0 0 0 0 0 0 16 0 1 0 948000721 293613568 6561 33554432000 4194304 5683644 140735473693360 18446744073709551615 224284945935 0 0 16781312 33554946 6545424232325546244 0 0 17 2 0 0 0
/proc/8294/statm: 71683 6561 352 364 0 6570 0
[pid=8296] ppid=8294 vsize=63060 CPUtime=0.71 cores=0,2,4,6
/proc/8296/stat : 8296 (scip-2.0.1.linu) R 8294 8296 8296 0 -1 4202496 14678 0 0 0 67 4 0 0 22 0 1 0 948000721 64573440 13304 33554432000 4194304 13684479 140733929310960 18446744073709551615 5688979 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8296/statm: 15765 13304 657 2317 0 13443 0
[pid=8288/tid=8295] ppid=8286 vsize=296976 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8295/stat : 8295 (python) S 8286 8288 7156 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 2 0 948000721 304103424 8083 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 646768
[startup+3.10072 s]
/proc/loadavg: 2.08 2.08 1.60 3/806 8296
/proc/meminfo: memFree=24549524/32951124 swapFree=33333036/67111528
[pid=8288] ppid=8286 vsize=296976 CPUtime=0.69 cores=0,2,4,6
/proc/8288/stat : 8288 (python) S 8286 8288 7156 0 -1 4202496 10969 932 1 0 59 10 0 0 20 0 2 0 948000643 304103424 8083 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/8288/statm: 74244 8083 1870 364 0 9131 0
[pid=8294] ppid=8288 vsize=286732 CPUtime=0 cores=0,2,4,6
/proc/8294/stat : 8294 (python) S 8288 8288 7156 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 1 0 948000721 293613568 6561 33554432000 4194304 5683644 140735473693360 18446744073709551615 224284945935 0 0 16781312 33554946 6545424232325546244 0 0 17 2 0 0 0
/proc/8294/statm: 71683 6561 352 364 0 6570 0
[pid=8296] ppid=8294 vsize=101184 CPUtime=2.31 cores=0,2,4,6
/proc/8296/stat : 8296 (scip-2.0.1.linu) R 8294 8296 8296 0 -1 4202496 24112 0 0 0 224 7 0 0 25 0 1 0 948000721 103612416 22425 33554432000 4194304 13684479 140733929310960 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8296/statm: 25296 22425 763 2317 0 22974 0
[pid=8288/tid=8295] ppid=8286 vsize=296976 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8295/stat : 8295 (python) S 8286 8288 7156 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 2 0 948000721 304103424 8083 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 684892
[startup+6.30119 s]
/proc/loadavg: 2.31 2.13 1.62 3/806 8296
/proc/meminfo: memFree=24485372/32951124 swapFree=33333036/67111528
[pid=8288] ppid=8286 vsize=296976 CPUtime=0.69 cores=0,2,4,6
/proc/8288/stat : 8288 (python) S 8286 8288 7156 0 -1 4202496 10969 932 1 0 59 10 0 0 20 0 2 0 948000643 304103424 8083 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/8288/statm: 74244 8083 1870 364 0 9131 0
[pid=8294] ppid=8288 vsize=286732 CPUtime=0.02 cores=0,2,4,6
/proc/8294/stat : 8294 (python) S 8288 8288 7156 0 -1 4202560 898 0 0 0 1 1 0 0 15 0 1 0 948000721 293613568 6585 33554432000 4194304 5683644 140735473693360 18446744073709551615 224284945935 0 0 16781312 33554946 4211299868490072064 0 0 17 2 0 0 0
/proc/8294/statm: 71683 6585 376 364 0 6570 0
[pid=8296] ppid=8294 vsize=102456 CPUtime=5.51 cores=0,2,4,6
/proc/8296/stat : 8296 (scip-2.0.1.linu) R 8294 8296 8296 0 -1 4202496 24911 0 0 0 543 8 0 0 18 0 1 0 948000721 104914944 23220 33554432000 4194304 13684479 140733929310960 18446744073709551615 7390632 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8296/statm: 25614 23220 810 2317 0 23292 0
[pid=8288/tid=8295] ppid=8286 vsize=296976 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8295/stat : 8295 (python) S 8286 8288 7156 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 2 0 948000721 304103424 8083 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 686164
[startup+12.7011 s]
/proc/loadavg: 2.28 2.13 1.62 3/806 8296
/proc/meminfo: memFree=24406284/32951124 swapFree=33333036/67111528
[pid=8288] ppid=8286 vsize=296976 CPUtime=0.69 cores=0,2,4,6
/proc/8288/stat : 8288 (python) S 8286 8288 7156 0 -1 4202496 10969 932 1 0 59 10 0 0 20 0 2 0 948000643 304103424 8083 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/8288/statm: 74244 8083 1870 364 0 9131 0
[pid=8294] ppid=8288 vsize=286732 CPUtime=0.04 cores=0,2,4,6
/proc/8294/stat : 8294 (python) S 8288 8288 7156 0 -1 4202560 903 0 0 0 2 2 0 0 15 0 1 0 948000721 293613568 6585 33554432000 4194304 5683644 140735473693360 18446744073709551615 224284945935 0 0 16781312 33554946 72556772316949169 0 0 17 6 0 0 0
/proc/8294/statm: 71683 6585 376 364 0 6570 0
[pid=8296] ppid=8294 vsize=102456 CPUtime=11.91 cores=0,2,4,6
/proc/8296/stat : 8296 (scip-2.0.1.linu) R 8294 8296 8296 0 -1 4202496 24944 0 0 0 1182 9 0 0 25 0 1 0 948000721 104914944 23253 33554432000 4194304 13684479 140733929310960 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8296/statm: 25614 23253 810 2317 0 23292 0
[pid=8288/tid=8295] ppid=8286 vsize=296976 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8295/stat : 8295 (python) S 8286 8288 7156 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 2 0 948000721 304103424 8083 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 686164
[startup+25.501 s]
/proc/loadavg: 2.37 2.16 1.64 3/806 8298
/proc/meminfo: memFree=24399356/32951124 swapFree=33333036/67111528
[pid=8288] ppid=8286 vsize=296976 CPUtime=0.69 cores=0,2,4,6
/proc/8288/stat : 8288 (python) S 8286 8288 7156 0 -1 4202496 10969 932 1 0 59 10 0 0 20 0 2 0 948000643 304103424 8083 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/8288/statm: 74244 8083 1870 364 0 9131 0
[pid=8294] ppid=8288 vsize=286732 CPUtime=0.11 cores=0,2,4,6
/proc/8294/stat : 8294 (python) S 8288 8288 7156 0 -1 4202560 910 0 0 0 5 6 0 0 15 0 1 0 948000721 293613568 6585 33554432000 4194304 5683644 140735473693360 18446744073709551615 224284945935 0 0 16781312 33554946 72409437758827185 0 0 17 4 0 0 0
/proc/8294/statm: 71683 6585 376 364 0 6570 0
[pid=8296] ppid=8294 vsize=104776 CPUtime=24.71 cores=0,2,4,6
/proc/8296/stat : 8296 (scip-2.0.1.linu) R 8294 8296 8296 0 -1 4202496 25710 0 0 0 2456 15 0 0 25 0 1 0 948000721 107290624 23987 33554432000 4194304 13684479 140733929310960 18446744073709551615 7390577 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8296/statm: 26194 23987 820 2317 0 23872 0
[pid=8288/tid=8295] ppid=8286 vsize=296976 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8295/stat : 8295 (python) S 8286 8288 7156 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 2 0 948000721 304103424 8083 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 688484
[startup+51.1007 s]
/proc/loadavg: 2.30 2.16 1.65 3/810 8302
/proc/meminfo: memFree=24214020/32951124 swapFree=33333036/67111528
[pid=8288] ppid=8286 vsize=307232 CPUtime=0.72 cores=0,2,4,6
/proc/8288/stat : 8288 (python) S 8286 8288 7156 0 -1 4202496 11877 932 1 0 61 11 0 0 20 0 3 0 948000643 314605568 8090 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/8288/statm: 76808 8090 1873 364 0 11692 0
[pid=8294] ppid=8288 vsize=296976 CPUtime=0.26 cores=0,2,4,6
/proc/8294/stat : 8294 (python) S 8288 8288 7156 0 -1 4202560 1083 0 0 0 12 14 0 0 16 0 2 0 948000721 304103424 6621 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/8294/statm: 74244 6621 407 364 0 9131 0
[pid=8296] ppid=8294 vsize=106908 CPUtime=50.18 cores=0,2,4,6
/proc/8296/stat : 8296 (scip-2.0.1.linu) T 8294 8296 8296 0 -1 4202496 27751 0 0 0 4997 21 0 0 25 0 1 0 948000721 109473792 24442 33554432000 4194304 13684479 140733929310960 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/8296/statm: 26727 24442 820 2317 0 24405 0
[pid=8288/tid=8295] ppid=8286 vsize=307232 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8295/stat : 8295 (python) S 8286 8288 7156 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 3 0 948000721 314605568 8090 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 711116
[startup+102.323 s]
/proc/loadavg: 2.18 2.15 1.67 3/822 8316
/proc/meminfo: memFree=23922092/32951124 swapFree=33333036/67111528
[pid=8288] ppid=8286 vsize=317488 CPUtime=0.74 cores=0,2,4,6
/proc/8288/stat : 8288 (python) S 8286 8288 7156 0 -1 4202496 12804 932 1 0 63 11 0 0 20 0 4 0 948000643 325107712 8096 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/8288/statm: 79372 8096 1875 364 0 14253 0
[pid=8294] ppid=8288 vsize=296976 CPUtime=0.26 cores=0,2,4,6
/proc/8294/stat : 8294 (python) S 8288 8288 7156 0 -1 4202560 1083 0 0 0 12 14 0 0 16 0 2 0 948000721 304103424 6621 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/8294/statm: 74244 6621 407 364 0 9131 0
[pid=8296] ppid=8294 vsize=106908 CPUtime=50.18 cores=0,2,4,6
/proc/8296/stat : 8296 (scip-2.0.1.linu) T 8294 8296 8296 0 -1 4202496 27751 0 0 0 4997 21 0 0 25 0 1 0 948000721 109473792 24442 33554432000 4194304 13684479 140733929310960 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/8296/statm: 26727 24442 820 2317 0 24405 0
[pid=8294/tid=8303] ppid=8288 vsize=296976 CPUtime=0 cores=0,2,4,6
/proc/8294/task/8303/stat : 8303 (python) S 8288 8288 7156 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 948005741 304103424 6621 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554946 18446604453084567488 0 0 -1 2 0 0 0
[pid=8304] ppid=8288 vsize=296988 CPUtime=0.24 cores=0,2,4,6
/proc/8304/stat : 8304 (python) S 8288 8288 7156 0 -1 4202560 1185 0 0 0 12 12 0 0 17 0 2 0 948005743 304115712 6617 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8304/statm: 74247 6617 403 364 0 9131 0
[pid=8306] ppid=8304 vsize=146188 CPUtime=47.07 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.linu) T 8304 8306 8306 0 -1 4202496 34499 0 0 0 4687 20 0 0 25 0 1 0 948005743 149696512 32251 33554432000 4194304 15243407 140734932226624 18446744073709551615 6958423 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/8306/statm: 36547 32251 950 2698 0 33842 0
[pid=8304/tid=8313] ppid=8288 vsize=296988 CPUtime=0 cores=0,2,4,6
/proc/8304/task/8313/stat : 8313 (python) S 8288 8288 7156 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948010451 304115712 6617 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554946 18446604443481849984 0 0 -1 6 0 0 0
[pid=8314] ppid=8288 vsize=307244 CPUtime=0.02 cores=0,2,4,6
/proc/8314/stat : 8314 (python) S 8288 8288 7156 0 -1 4202560 943 0 0 0 1 1 0 0 15 0 1 0 948010454 314617856 6590 33554432000 4194304 5683644 140735473693360 18446744073709551615 224284945990 0 0 16781312 33554946 4294934787 0 0 17 4 0 0 0
/proc/8314/statm: 76811 6590 373 364 0 11692 0
[pid=8316] ppid=8314 vsize=20600 CPUtime=4.2 cores=0,2,4,6
/proc/8316/stat : 8316 (wbo1.4a) R 8314 8316 8316 0 -1 4202496 5468 0 0 0 415 5 0 0 25 0 1 0 948010454 21094400 4672 33554432000 134512640 135751879 4294467568 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/8316/statm: 5150 4672 146 303 0 4845 0
[pid=8288/tid=8295] ppid=8286 vsize=317488 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8295/stat : 8295 (python) S 8286 8288 7156 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 4 0 948000721 325107712 8096 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 4 0 0 0
[pid=8288/tid=8305] ppid=8286 vsize=317488 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8305/stat : 8305 (python) S 8286 8288 7156 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 4 0 948005743 325107712 8096 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 0 0 0 0
[pid=8288/tid=8315] ppid=8286 vsize=317488 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8315/stat : 8315 (python) S 8286 8288 7156 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 4 0 948010454 325107712 8096 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=8366/tid=8378] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8378/stat : 8378 (java) S 8364 8366 8366 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 948019958 8744882176 16858 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296741785 0 4 0 16800975 18446604452396126272 0 0 -1 4 0 0 0
[pid=8366/tid=8379] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8379/stat : 8379 (java) S 8364 8366 8366 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948019961 8744882176 16858 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296749489 0 4 0 16800975 18446604452396126272 0 0 -1 4 0 0 0
[pid=8366/tid=8380] ppid=8364 vsize=8539924 CPUtime=0.16 cores=0,2,4,6
/proc/8366/task/8380/stat : 8380 (java) R 8364 8366 8366 0 -1 4202560 2049 0 0 0 16 0 0 0 16 0 18 0 948019961 8744882176 16858 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 47455093078315 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=8366/tid=8381] ppid=8364 vsize=8539924 CPUtime=0.21 cores=0,2,4,6
/proc/8366/task/8381/stat : 8381 (java) R 8364 8366 8366 0 -1 4202560 2332 0 0 0 21 0 0 0 25 0 18 0 948019961 8744882176 16858 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 47455089834052 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8366/tid=8382] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8382/stat : 8382 (java) S 8364 8366 8366 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948019961 8744882176 16858 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296741785 0 4 0 16800975 18446604452396126272 0 0 -1 6 0 0 0
[pid=8366/tid=8383] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8383/stat : 8383 (java) S 8364 8366 8366 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948019961 8744882176 16858 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296742400 0 4 0 16800975 18446604452396126272 0 0 -1 0 0 0 0
[pid=8288/tid=8295] ppid=8286 vsize=338000 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8295/stat : 8295 (python) S 8286 8288 7156 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 6 0 948000721 346112000 8108 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 4 0 0 0
[pid=8288/tid=8305] ppid=8286 vsize=338000 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8305/stat : 8305 (python) S 8286 8288 7156 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 6 0 948005743 346112000 8108 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 0 0 0 0
[pid=8288/tid=8315] ppid=8286 vsize=338000 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8315/stat : 8315 (python) S 8286 8288 7156 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 6 0 948010454 346112000 8108 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 0 0 0 0
[pid=8288/tid=8340] ppid=8286 vsize=338000 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8340/stat : 8340 (python) S 8286 8288 7156 0 -1 4202560 33 932 0 0 0 0 0 0 20 0 6 0 948015152 346112000 8108 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 0 0 0 0
[pid=8288/tid=8365] ppid=8286 vsize=338000 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8365/stat : 8365 (python) S 8286 8288 7156 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 6 0 948019956 346112000 8108 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 195.93
Current children cumulated vsize (KiB) 19405136
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+193.502 s]
/proc/loadavg: 2.04 2.10 1.70 6/887 8383
/proc/meminfo: memFree=22301984/32951124 swapFree=33333036/67111528
[pid=8288] ppid=8286 vsize=338000 CPUtime=0.8 cores=0,2,4,6
/proc/8288/stat : 8288 (python) S 8286 8288 7156 0 -1 4202496 14623 932 1 0 69 11 0 0 20 0 6 0 948000643 346112000 8108 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/8288/statm: 84500 8108 1879 364 0 19375 0
[pid=8294] ppid=8288 vsize=296976 CPUtime=0.26 cores=0,2,4,6
/proc/8294/stat : 8294 (python) S 8288 8288 7156 0 -1 4202560 1083 0 0 0 12 14 0 0 16 0 2 0 948000721 304103424 6621 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/8294/statm: 74244 6621 407 364 0 9131 0
[pid=8296] ppid=8294 vsize=106908 CPUtime=50.18 cores=0,2,4,6
/proc/8296/stat : 8296 (scip-2.0.1.linu) T 8294 8296 8296 0 -1 4202496 27751 0 0 0 4997 21 0 0 25 0 1 0 948000721 109473792 24442 33554432000 4194304 13684479 140733929310960 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/8296/statm: 26727 24442 820 2317 0 24405 0
[pid=8294/tid=8303] ppid=8288 vsize=296976 CPUtime=0 cores=0,2,4,6
/proc/8294/task/8303/stat : 8303 (python) S 8288 8288 7156 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 948005741 304103424 6621 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554946 18446604453084567488 0 0 -1 2 0 0 0
[pid=8304] ppid=8288 vsize=296988 CPUtime=0.24 cores=0,2,4,6
/proc/8304/stat : 8304 (python) S 8288 8288 7156 0 -1 4202560 1185 0 0 0 12 12 0 0 17 0 2 0 948005743 304115712 6617 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8304/statm: 74247 6617 403 364 0 9131 0
[pid=8306] ppid=8304 vsize=146188 CPUtime=47.07 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.linu) T 8304 8306 8306 0 -1 4202496 34499 0 0 0 4687 20 0 0 25 0 1 0 948005743 149696512 32251 33554432000 4194304 15243407 140734932226624 18446744073709551615 6958423 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/8306/statm: 36547 32251 950 2698 0 33842 0
[pid=8304/tid=8313] ppid=8288 vsize=296988 CPUtime=0 cores=0,2,4,6
/proc/8304/task/8313/stat : 8313 (python) S 8288 8288 7156 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948010451 304115712 6617 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554946 18446604443481849984 0 0 -1 6 0 0 0
[pid=8314] ppid=8288 vsize=307244 CPUtime=0.25 cores=0,2,4,6
/proc/8314/stat : 8314 (python) S 8288 8288 7156 0 -1 4202560 1120 0 0 0 13 12 0 0 17 0 2 0 948010454 314617856 6615 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8314/statm: 76811 6615 397 364 0 11692 0
[pid=8316] ppid=8314 vsize=190044 CPUtime=46.94 cores=0,2,4,6
/proc/8316/stat : 8316 (wbo1.4a) T 8314 8316 8316 0 -1 4202496 47799 0 0 0 4658 36 0 0 25 0 1 0 948010454 194605056 47003 33554432000 134512640 135751879 4294467568 18446744073709551615 134606393 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/8316/statm: 47511 47003 146 303 0 47206 0
[pid=8314/tid=8338] ppid=8288 vsize=307244 CPUtime=0 cores=0,2,4,6
/proc/8314/task/8338/stat : 8338 (python) S 8288 8288 7156 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 948015149 314617856 6615 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554946 18446604447111546752 0 0 -1 6 0 0 0
[pid=8339] ppid=8288 vsize=317500 CPUtime=0.28 cores=0,2,4,6
/proc/8339/stat : 8339 (python) S 8288 8288 7156 0 -1 4202560 1148 0 0 0 13 15 0 0 17 0 2 0 948015152 325120000 6619 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8339/statm: 79375 6619 397 364 0 14253 0
[pid=8341] ppid=8339 vsize=8538188 CPUtime=49.14 cores=0,2,4,6
/proc/8341/stat : 8341 (java) T 8339 8341 8341 0 -1 4202496 28474 0 1 0 4910 4 0 0 18 0 19 0 948015152 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8341/statm: 2134547 24840 2258 9 0 2125288 0
[pid=8341/tid=8342] ppid=8339 vsize=8538188 CPUtime=47.49 cores=0,2,4,6
/proc/8341/task/8342/stat : 8342 (java) T 8339 8341 8341 0 -1 4202560 14342 0 1 0 4747 2 0 0 25 0 19 0 948015153 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8341/tid=8343] ppid=8339 vsize=8538188 CPUtime=0.03 cores=0,2,4,6
/proc/8341/task/8343/stat : 8343 (java) T 8339 8341 8341 0 -1 4202560 409 0 0 0 3 0 0 0 15 0 19 0 948015153 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8341/tid=8344] ppid=8339 vsize=8538188 CPUtime=0.02 cores=0,2,4,6
/proc/8341/task/8344/stat : 8344 (java) T 8339 8341 8341 0 -1 4202560 877 0 0 0 2 0 0 0 15 0 19 0 948015153 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8341/tid=8345] ppid=8339 vsize=8538188 CPUtime=0.04 cores=0,2,4,6
/proc/8341/task/8345/stat : 8345 (java) T 8339 8341 8341 0 -1 4202560 968 0 0 0 4 0 0 0 15 0 19 0 948015153 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8341/tid=8346] ppid=8339 vsize=8538188 CPUtime=0.02 cores=0,2,4,6
/proc/8341/task/8346/stat : 8346 (java) T 8339 8341 8341 0 -1 4202560 730 0 0 0 2 0 0 0 15 0 19 0 948015153 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8341/tid=8347] ppid=8339 vsize=8538188 CPUtime=0.03 cores=0,2,4,6
/proc/8341/task/8347/stat : 8347 (java) T 8339 8341 8341 0 -1 4202560 392 0 0 0 3 0 0 0 15 0 19 0 948015153 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8341/tid=8348] ppid=8339 vsize=8538188 CPUtime=0.01 cores=0,2,4,6
/proc/8341/task/8348/stat : 8348 (java) T 8339 8341 8341 0 -1 4202560 499 0 0 0 1 0 0 0 15 0 19 0 948015153 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8341/tid=8349] ppid=8339 vsize=8538188 CPUtime=0.01 cores=0,2,4,6
/proc/8341/task/8349/stat : 8349 (java) T 8339 8341 8341 0 -1 4202560 29 0 0 0 1 0 0 0 15 0 19 0 948015153 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8341/tid=8350] ppid=8339 vsize=8538188 CPUtime=0.02 cores=0,2,4,6
/proc/8341/task/8350/stat : 8350 (java) T 8339 8341 8341 0 -1 4202560 242 0 0 0 2 0 0 0 15 0 19 0 948015153 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8341/tid=8351] ppid=8339 vsize=8538188 CPUtime=0.36 cores=0,2,4,6
/proc/8341/task/8351/stat : 8351 (java) T 8339 8341 8341 0 -1 4202560 2463 0 0 0 36 0 0 0 15 0 19 0 948015154 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 47762438504797 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8341/tid=8352] ppid=8339 vsize=8538188 CPUtime=0 cores=0,2,4,6
/proc/8341/task/8352/stat : 8352 (java) T 8339 8341 8341 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948015154 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8341/tid=8353] ppid=8339 vsize=8538188 CPUtime=0 cores=0,2,4,6
/proc/8341/task/8353/stat : 8353 (java) T 8339 8341 8341 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 948015154 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8341/tid=8354] ppid=8339 vsize=8538188 CPUtime=0 cores=0,2,4,6
/proc/8341/task/8354/stat : 8354 (java) T 8339 8341 8341 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948015157 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8341/tid=8355] ppid=8339 vsize=8538188 CPUtime=0.53 cores=0,2,4,6
/proc/8341/task/8355/stat : 8355 (java) T 8339 8341 8341 0 -1 4202560 2521 0 0 0 53 0 0 0 15 0 19 0 948015157 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8341/tid=8356] ppid=8339 vsize=8538188 CPUtime=0.5 cores=0,2,4,6
/proc/8341/task/8356/stat : 8356 (java) T 8339 8341 8341 0 -1 4202560 3611 0 0 0 50 0 0 0 15 0 19 0 948015157 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8341/tid=8357] ppid=8339 vsize=8538188 CPUtime=0 cores=0,2,4,6
/proc/8341/task/8357/stat : 8357 (java) T 8339 8341 8341 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948015157 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8341/tid=8358] ppid=8339 vsize=8538188 CPUtime=0 cores=0,2,4,6
/proc/8341/task/8358/stat : 8358 (java) T 8339 8341 8341 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948015157 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8341/tid=8359] ppid=8339 vsize=8538188 CPUtime=0 cores=0,2,4,6
/proc/8341/task/8359/stat : 8359 (java) T 8339 8341 8341 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948015196 8743104512 24840 33554432000 1073741824 1073778376 140734290435392 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8339/tid=8363] ppid=8288 vsize=317500 CPUtime=0 cores=0,2,4,6
/proc/8339/task/8363/stat : 8363 (python) S 8288 8288 7156 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 948019953 325120000 6619 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554946 18446604451261092864 0 0 -1 6 0 0 0
[pid=8364] ppid=8288 vsize=327756 CPUtime=0 cores=0,2,4,6
/proc/8364/stat : 8364 (python) S 8288 8288 7156 0 -1 4202560 805 0 0 0 0 0 0 0 19 0 1 0 948019956 335622144 6574 33554432000 4194304 5683644 140735473693360 18446744073709551615 224284945990 0 0 16781312 33554946 2315636745829351424 0 0 17 0 0 0 0
/proc/8364/statm: 81939 6574 349 364 0 16814 0
[pid=8366] ppid=8364 vsize=8539344 CPUtime=0.77 cores=0,2,4,6
/proc/8366/stat : 8366 (java) S 8364 8366 8366 0 -1 4202496 17136 0 1 0 75 2 0 0 20 0 18 0 948019956 8744288256 15591 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8366/statm: 2134836 15593 2205 9 0 2125577 0
[pid=8366/tid=8367] ppid=8364 vsize=8539924 CPUtime=0.4 cores=0,2,4,6
/proc/8366/task/8367/stat : 8367 (java) R 8364 8366 8366 0 -1 4202560 12628 0 1 0 39 1 0 0 18 0 18 0 948019957 8744882176 16855 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296752587 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8366/tid=8368] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8368/stat : 8368 (java) S 8364 8366 8366 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948019957 8744882176 16855 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296741785 0 4 0 16800975 18446604452396126272 0 0 -1 4 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8369/stat : 8369 (java) S 8364 8366 8366 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948019957 8744882176 16856 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296741785 0 4 0 16800975 18446604452396126272 0 0 -1 4 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8370/stat : 8370 (java) S 8364 8366 8366 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948019957 8744882176 16856 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296741785 0 4 0 16800975 18446604452396126272 0 0 -1 4 0 0 0
[pid=8366/tid=8371] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8371/stat : 8371 (java) S 8364 8366 8366 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948019957 8744882176 16857 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296741785 0 4 0 16800975 18446604452396126272 0 0 -1 6 0 0 0
[pid=8366/tid=8372] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8372/stat : 8372 (java) S 8364 8366 8366 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948019957 8744882176 16857 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296741785 0 4 0 16800975 18446604452396126272 0 0 -1 6 0 0 0
[pid=8366/tid=8373] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8373/stat : 8373 (java) S 8364 8366 8366 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948019957 8744882176 16858 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296741785 0 4 0 16800975 18446604452396126272 0 0 -1 6 0 0 0
[pid=8366/tid=8374] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8374/stat : 8374 (java) S 8364 8366 8366 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948019957 8744882176 16858 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296741785 0 4 0 16800975 18446604452396126272 0 0 -1 6 0 0 0
[pid=8366/tid=8375] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8375/stat : 8375 (java) S 8364 8366 8366 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948019957 8744882176 16858 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296741785 0 4 0 16800975 18446604452396126272 0 0 -1 6 0 0 0
[pid=8366/tid=8376] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8376/stat : 8376 (java) S 8364 8366 8366 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948019958 8744882176 16858 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296742400 0 0 0 16800975 18446604452396126272 0 0 -1 4 0 0 0
[pid=8366/tid=8377] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8377/stat : 8377 (java) S 8364 8366 8366 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 948019958 8744882176 16858 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296741785 0 4 0 16800975 18446604452396126272 0 0 -1 4 0 0 0
[pid=8366/tid=8378] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8378/stat : 8378 (java) S 8364 8366 8366 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 948019958 8744882176 16858 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296741785 0 4 0 16800975 18446604452396126272 0 0 -1 4 0 0 0
[pid=8366/tid=8379] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8379/stat : 8379 (java) S 8364 8366 8366 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948019961 8744882176 16858 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296749489 0 4 0 16800975 18446604452396126272 0 0 -1 4 0 0 0
[pid=8366/tid=8380] ppid=8364 vsize=8539924 CPUtime=0.16 cores=0,2,4,6
/proc/8366/task/8380/stat : 8380 (java) R 8364 8366 8366 0 -1 4202560 2049 0 0 0 16 0 0 0 16 0 18 0 948019961 8744882176 16858 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 47455093078315 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=8366/tid=8381] ppid=8364 vsize=8539924 CPUtime=0.21 cores=0,2,4,6
/proc/8366/task/8381/stat : 8381 (java) R 8364 8366 8366 0 -1 4202560 2332 0 0 0 21 0 0 0 25 0 18 0 948019961 8744882176 16858 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 47455089834052 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8366/tid=8382] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8382/stat : 8382 (java) S 8364 8366 8366 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948019961 8744882176 16858 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296741785 0 4 0 16800975 18446604452396126272 0 0 -1 6 0 0 0
[pid=8366/tid=8383] ppid=8364 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/8366/task/8383/stat : 8383 (java) S 8364 8366 8366 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948019961 8744882176 16858 33554432000 1073741824 1073778376 140737047951200 18446744073709551615 224296742400 0 4 0 16800975 18446604452396126272 0 0 -1 0 0 0 0
[pid=8288/tid=8295] ppid=8286 vsize=338000 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8295/stat : 8295 (python) S 8286 8288 7156 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 6 0 948000721 346112000 8108 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 4 0 0 0
[pid=8288/tid=8305] ppid=8286 vsize=338000 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8305/stat : 8305 (python) S 8286 8288 7156 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 6 0 948005743 346112000 8108 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 0 0 0 0
[pid=8288/tid=8315] ppid=8286 vsize=338000 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8315/stat : 8315 (python) S 8286 8288 7156 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 6 0 948010454 346112000 8108 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 0 0 0 0
[pid=8288/tid=8340] ppid=8286 vsize=338000 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8340/stat : 8340 (python) S 8286 8288 7156 0 -1 4202560 33 932 0 0 0 0 0 0 20 0 6 0 948015152 346112000 8108 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 0 0 0 0
[pid=8288/tid=8365] ppid=8286 vsize=338000 CPUtime=0 cores=0,2,4,6
/proc/8288/task/8365/stat : 8365 (python) S 8286 8288 7156 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 6 0 948019956 346112000 8108 33554432000 4194304 5683644 140735473693360 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453450541824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 195.93
Current children cumulated vsize (KiB) 19405136
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8288 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=693894
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=122981
# CPU time returned by wait4() is 0.816875
# while last known CPU time is 195.93
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 193.7
CPU time (s): 195.93
CPU user time (s): 194.46
CPU system time (s): 1.47
CPU usage (%): 101.151
Max. virtual memory (cumulated for all children) (KiB): 19405916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.693894
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15558
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= 1007
involuntary context switches= 30
runsolver used 1.49777 second user time and 2.81457 second system time
The end