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-3481597-1307578453/watcher-3481597-1307578453 -o /tmp/evaluation-result-3481597-1307578453/solver-3481597-1307578453 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481597-1307578453.opb -seed 2115914433 -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.08 2.10 1.83 2/703 2236
/proc/meminfo: memFree=11973544/32951124 swapFree=36471928/67111528
[pid=2236] ppid=2234 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/2236/stat : 2236 (python) S 2234 2236 32706 0 -1 4202496 894 0 0 0 0 0 0 0 25 0 1 0 869445843 16150528 776 33554432000 4194304 5683644 140736366523200 18446744073709551615 230809163776 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/2236/statm: 3943 776 343 364 0 430 0
[startup+0.104678 s]
/proc/loadavg: 2.08 2.10 1.83 2/703 2236
/proc/meminfo: memFree=11973544/32951124 swapFree=36471928/67111528
[pid=2236] ppid=2234 vsize=96120 CPUtime=0.07 cores=1,3,5,7
/proc/2236/stat : 2236 (python) R 2234 2236 32706 0 -1 4202496 3167 930 1 0 6 1 0 0 18 0 1 0 869445843 98426880 2482 33554432000 4194304 5683644 140736366523200 18446744073709551615 5177504 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2236/statm: 24030 2482 792 364 0 1625 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96120
[startup+0.200664 s]
/proc/loadavg: 2.08 2.10 1.83 2/703 2236
/proc/meminfo: memFree=11973544/32951124 swapFree=36471928/67111528
[pid=2236] ppid=2234 vsize=123736 CPUtime=0.14 cores=1,3,5,7
/proc/2236/stat : 2236 (python) R 2234 2236 32706 0 -1 4202496 5355 930 1 0 11 3 0 0 17 0 1 0 869445843 126705664 3743 33554432000 4194304 5683644 140736366523200 18446744073709551615 230809161733 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2236/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123736
[startup+0.30065 s]
/proc/loadavg: 2.08 2.10 1.83 2/703 2236
/proc/meminfo: memFree=11973544/32951124 swapFree=36471928/67111528
[pid=2236] ppid=2234 vsize=177816 CPUtime=0.22 cores=1,3,5,7
/proc/2236/stat : 2236 (python) S 2234 2236 32706 0 -1 4202496 6260 930 1 0 17 5 0 0 17 0 1 0 869445843 182083584 4569 33554432000 4194304 5683644 140736366523200 18446744073709551615 230804242055 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/2236/statm: 44454 4569 1238 364 0 3566 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 177816
[startup+0.700583 s]
/proc/loadavg: 2.08 2.10 1.83 2/703 2236
/proc/meminfo: memFree=11973544/32951124 swapFree=36471928/67111528
[pid=2236] ppid=2234 vsize=284884 CPUtime=0.59 cores=1,3,5,7
/proc/2236/stat : 2236 (python) R 2234 2236 32706 0 -1 4202496 10772 1349 1 0 45 10 3 1 17 0 1 0 869445843 291721216 7614 33554432000 4194304 5683644 140736366523200 18446744073709551615 230812648281 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/2236/statm: 71221 7614 1864 364 0 6111 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 284884
[startup+1.50042 s]
/proc/loadavg: 2.08 2.10 1.83 3/707 2245
/proc/meminfo: memFree=11909776/32951124 swapFree=36471928/67111528
[pid=2236] ppid=2234 vsize=295140 CPUtime=0.59 cores=1,3,5,7
/proc/2236/stat : 2236 (python) S 2234 2236 32706 0 -1 4202496 11118 1349 1 0 45 10 3 1 19 0 2 0 869445843 302223360 7625 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2236/statm: 73785 7625 1871 364 0 8672 0
[pid=2243] ppid=2236 vsize=284896 CPUtime=0 cores=1,3,5,7
/proc/2243/stat : 2243 (python) S 2236 2236 32706 0 -1 4202560 794 0 0 0 0 0 0 0 16 0 1 0 869445913 291733504 6075 33554432000 4194304 5683644 140736366523200 18446744073709551615 230809185807 0 0 16781312 33554946 4478011900143042823 0 0 17 3 0 0 0
/proc/2243/statm: 71224 6075 325 364 0 6111 0
[pid=2245] ppid=2243 vsize=49532 CPUtime=0.78 cores=1,3,5,7
/proc/2245/stat : 2245 (scip-2.0.1.linu) R 2243 2245 2245 0 -1 4202496 10562 0 0 0 62 16 0 0 21 0 1 0 869445914 50720768 9798 33554432000 4194304 13684479 140735563720016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2245/statm: 12383 9798 736 2317 0 10061 0
[pid=2236/tid=2244] ppid=2234 vsize=295140 CPUtime=0.04 cores=1,3,5,7
/proc/2236/task/2244/stat : 2244 (python) S 2234 2236 32706 0 -1 4202560 29 1349 0 0 0 0 3 1 19 0 2 0 869445914 302223360 7625 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458966376896 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 629568
[startup+3.10113 s]
/proc/loadavg: 2.08 2.10 1.83 3/707 2245
/proc/meminfo: memFree=11874188/32951124 swapFree=36471928/67111528
[pid=2236] ppid=2234 vsize=295140 CPUtime=0.59 cores=1,3,5,7
/proc/2236/stat : 2236 (python) S 2234 2236 32706 0 -1 4202496 11118 1349 1 0 45 10 3 1 19 0 2 0 869445843 302223360 7625 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2236/statm: 73785 7625 1871 364 0 8672 0
[pid=2243] ppid=2236 vsize=284896 CPUtime=0 cores=1,3,5,7
/proc/2243/stat : 2243 (python) S 2236 2236 32706 0 -1 4202560 807 0 0 0 0 0 0 0 15 0 1 0 869445913 291733504 6075 33554432000 4194304 5683644 140736366523200 18446744073709551615 230809185807 0 0 16781312 33554946 2476032595851214848 0 0 17 3 0 0 0
/proc/2243/statm: 71224 6075 325 364 0 6111 0
[pid=2245] ppid=2243 vsize=82804 CPUtime=2.39 cores=1,3,5,7
/proc/2245/stat : 2245 (scip-2.0.1.linu) R 2243 2245 2245 0 -1 4202496 18938 0 0 0 217 22 0 0 25 0 1 0 869445914 84791296 18080 33554432000 4194304 13684479 140735563720016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2245/statm: 20701 18080 831 2317 0 18379 0
[pid=2236/tid=2244] ppid=2234 vsize=295140 CPUtime=0.04 cores=1,3,5,7
/proc/2236/task/2244/stat : 2244 (python) S 2234 2236 32706 0 -1 4202560 29 1349 0 0 0 0 3 1 19 0 2 0 869445914 302223360 7625 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458966376896 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 662840
[startup+6.30055 s]
/proc/loadavg: 2.07 2.10 1.83 3/707 2246
/proc/meminfo: memFree=11877536/32951124 swapFree=36471928/67111528
[pid=2236] ppid=2234 vsize=295140 CPUtime=0.59 cores=1,3,5,7
/proc/2236/stat : 2236 (python) S 2234 2236 32706 0 -1 4202496 11118 1349 1 0 45 10 3 1 19 0 2 0 869445843 302223360 7625 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2236/statm: 73785 7625 1871 364 0 8672 0
[pid=2243] ppid=2236 vsize=284896 CPUtime=0.01 cores=1,3,5,7
/proc/2243/stat : 2243 (python) S 2236 2236 32706 0 -1 4202560 947 0 0 0 1 0 0 0 15 0 1 0 869445913 291733504 6098 33554432000 4194304 5683644 140736366523200 18446744073709551615 230809185807 0 0 16781312 33554946 1532470921355329536 0 0 17 3 0 0 0
/proc/2243/statm: 71224 6098 348 364 0 6111 0
[pid=2245] ppid=2243 vsize=82804 CPUtime=5.59 cores=1,3,5,7
/proc/2245/stat : 2245 (scip-2.0.1.linu) R 2243 2245 2245 0 -1 4202496 18965 0 0 0 531 28 0 0 25 0 1 0 869445914 84791296 18098 33554432000 4194304 13684479 140735563720016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2245/statm: 20701 18098 822 2317 0 18379 0
[pid=2236/tid=2244] ppid=2234 vsize=295140 CPUtime=0.04 cores=1,3,5,7
/proc/2236/task/2244/stat : 2244 (python) S 2234 2236 32706 0 -1 4202560 29 1349 0 0 0 0 3 1 19 0 2 0 869445914 302223360 7625 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458966376896 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 662840
[startup+12.7004 s]
/proc/loadavg: 2.07 2.10 1.83 3/707 2246
/proc/meminfo: memFree=11864652/32951124 swapFree=36471928/67111528
[pid=2236] ppid=2234 vsize=295140 CPUtime=0.59 cores=1,3,5,7
/proc/2236/stat : 2236 (python) S 2234 2236 32706 0 -1 4202496 11118 1349 1 0 45 10 3 1 19 0 2 0 869445843 302223360 7625 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2236/statm: 73785 7625 1871 364 0 8672 0
[pid=2243] ppid=2236 vsize=284896 CPUtime=0.04 cores=1,3,5,7
/proc/2243/stat : 2243 (python) S 2236 2236 32706 0 -1 4202560 952 0 0 0 2 2 0 0 15 0 1 0 869445913 291733504 6098 33554432000 4194304 5683644 140736366523200 18446744073709551615 230809185807 0 0 16781312 33554946 5623458817330129710 0 0 17 3 0 0 0
/proc/2243/statm: 71224 6098 348 364 0 6111 0
[pid=2245] ppid=2243 vsize=93008 CPUtime=11.99 cores=1,3,5,7
/proc/2245/stat : 2245 (scip-2.0.1.linu) R 2243 2245 2245 0 -1 4202496 22010 0 0 0 1158 41 0 0 25 0 1 0 869445914 95240192 21143 33554432000 4194304 13684479 140735563720016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2245/statm: 23252 21143 830 2317 0 20930 0
[pid=2236/tid=2244] ppid=2234 vsize=295140 CPUtime=0.04 cores=1,3,5,7
/proc/2236/task/2244/stat : 2244 (python) S 2234 2236 32706 0 -1 4202560 29 1349 0 0 0 0 3 1 19 0 2 0 869445914 302223360 7625 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458966376896 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 673044
[startup+25.501 s]
/proc/loadavg: 2.05 2.09 1.84 3/707 2246
/proc/meminfo: memFree=11850216/32951124 swapFree=36471928/67111528
[pid=2236] ppid=2234 vsize=295140 CPUtime=0.59 cores=1,3,5,7
/proc/2236/stat : 2236 (python) S 2234 2236 32706 0 -1 4202496 11118 1349 1 0 45 10 3 1 19 0 2 0 869445843 302223360 7625 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2236/statm: 73785 7625 1871 364 0 8672 0
[pid=2243] ppid=2236 vsize=284896 CPUtime=0.08 cores=1,3,5,7
/proc/2243/stat : 2243 (python) S 2236 2236 32706 0 -1 4202560 956 0 0 0 4 4 0 0 15 0 1 0 869445913 291733504 6098 33554432000 4194304 5683644 140736366523200 18446744073709551615 230809185807 0 0 16781312 33554946 5623753486446373678 0 0 17 7 0 0 0
/proc/2243/statm: 71224 6098 348 364 0 6111 0
[pid=2245] ppid=2243 vsize=109900 CPUtime=24.79 cores=1,3,5,7
/proc/2245/stat : 2245 (scip-2.0.1.linu) R 2243 2245 2245 0 -1 4202496 28405 0 0 0 2399 80 0 0 25 0 1 0 869445914 112537600 24826 33554432000 4194304 13684479 140735563720016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2245/statm: 27475 24826 839 2317 0 25153 0
[pid=2236/tid=2244] ppid=2234 vsize=295140 CPUtime=0.04 cores=1,3,5,7
/proc/2236/task/2244/stat : 2244 (python) S 2234 2236 32706 0 -1 4202560 29 1349 0 0 0 0 3 1 19 0 2 0 869445914 302223360 7625 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458966376896 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 689936
[startup+51.1004 s]
/proc/loadavg: 2.03 2.08 1.84 3/733 2282
/proc/meminfo: memFree=11679912/32951124 swapFree=36471928/67111528
[pid=2236] ppid=2234 vsize=305396 CPUtime=0.62 cores=1,3,5,7
/proc/2236/stat : 2236 (python) S 2234 2236 32706 0 -1 4202496 11982 1349 1 0 47 11 3 1 19 0 3 0 869445843 312725504 7632 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2236/statm: 76349 7632 1874 364 0 11233 0
[pid=2243] ppid=2236 vsize=295140 CPUtime=0.18 cores=1,3,5,7
/proc/2243/stat : 2243 (python) S 2236 2236 32706 0 -1 4202560 1167 0 0 0 8 10 0 0 16 0 2 0 869445913 302223360 6166 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2243/statm: 73785 6166 411 364 0 8672 0
[pid=2245] ppid=2243 vsize=105772 CPUtime=50 cores=1,3,5,7
/proc/2245/stat : 2245 (scip-2.0.1.linu) T 2243 2245 2245 0 -1 4202496 29354 0 0 0 4851 149 0 0 25 0 1 0 869445914 108310528 24345 33554432000 4194304 13684479 140735563720016 18446744073709551615 7354521 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/2245/statm: 26443 24345 845 2317 0 24121 0
[pid=2243/tid=2279] ppid=2236 vsize=295140 CPUtime=0 cores=1,3,5,7
/proc/2243/task/2279/stat : 2279 (python) S 2236 2236 32706 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869450914 302223360 6166 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554946 18446604467753762944 0 0 -1 7 0 0 0
[pid=2280] ppid=2236 vsize=295152 CPUtime=0 cores=1,3,5,7
/proc/2280/stat : 2280 (python) S 2236 2236 32706 0 -1 4202560 747 0 0 0 0 0 0 0 17 0 1 0 869450917 302235648 6074 33554432000 4194304 5683644 140736366523200 18446744073709551615 230809185862 0 0 16781312 33554946 1905143846354812928 0 0 17 3 0 0 0
/proc/2280/statm: 73788 6074 320 364 0 8672 0
[pid=2282] ppid=2280 vsize=50604 CPUtime=0.35 cores=1,3,5,7
/proc/2282/stat : 2282 (scip-2.0.1.linu) R 2280 2282 2282 0 -1 4202496 9983 0 0 0 20 15 0 0 21 0 1 0 869450917 51818496 9329 33554432000 4194304 15243407 140733287589088 18446744073709551615 7128935 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2282/statm: 12651 9329 824 2698 0 9946 0
[pid=2236/tid=2244] ppid=2234 vsize=305396 CPUtime=0.04 cores=1,3,5,7
/proc/2236/task/2244/stat : 2244 (python) S 2234 2236 32706 0 -1 4202560 29 1349 0 0 0 0 3 1 19 0 3 0 869445914 312725504 7632 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458966376896 0 0 -1 3 0 0 0
[pid=2236/tid=2281] ppid=2234 vsize=305396 CPUtime=0.04 cores=1,3,5,7
/proc/2236/task/2281/stat : 2281 (python) S 2234 2236 32706 0 -1 4202560 28 1349 0 0 0 0 3 1 20 0 3 0 869450917 312725504 7632 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458966376896 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 1052064
[startup+102.301 s]
/proc/loadavg: 2.01 2.07 1.84 3/759 2311
/proc/meminfo: memFree=11273160/32951124 swapFree=36471928/67111528
[pid=2236] ppid=2234 vsize=315652 CPUtime=0.65 cores=1,3,5,7
/proc/2236/stat : 2236 (python) S 2234 2236 32706 0 -1 4202496 12928 1349 1 0 50 11 3 1 20 0 4 0 869445843 323227648 7638 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2236/statm: 78913 7638 1876 364 0 13794 0
[pid=2243] ppid=2236 vsize=295140 CPUtime=0.18 cores=1,3,5,7
/proc/2243/stat : 2243 (python) S 2236 2236 32706 0 -1 4202560 1167 0 0 0 8 10 0 0 16 0 2 0 869445913 302223360 6166 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2243/statm: 73785 6166 411 364 0 8672 0
[pid=2245] ppid=2243 vsize=105772 CPUtime=50 cores=1,3,5,7
/proc/2245/stat : 2245 (scip-2.0.1.linu) T 2243 2245 2245 0 -1 4202496 29354 0 0 0 4851 149 0 0 25 0 1 0 869445914 108310528 24345 33554432000 4194304 13684479 140735563720016 18446744073709551615 7354521 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/2245/statm: 26443 24345 845 2317 0 24121 0
[pid=2243/tid=2279] ppid=2236 vsize=295140 CPUtime=0 cores=1,3,5,7
/proc/2243/task/2279/stat : 2279 (python) S 2236 2236 32706 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869450914 302223360 6166 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554946 18446604467753762944 0 0 -1 7 0 0 0
[pid=2280] ppid=2236 vsize=295152 CPUtime=0.17 cores=1,3,5,7
/proc/2280/stat : 2280 (python) S 2236 2236 32706 0 -1 4202560 1110 0 0 0 7 10 0 0 16 0 2 0 869450917 302235648 6146 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2280/statm: 73788 6146 391 364 0 8672 0
[pid=2282] ppid=2280 vsize=90320 CPUtime=46.47 cores=1,3,5,7
/proc/2282/stat : 2282 (scip-2.0.1.linu) T 2280 2282 2282 0 -1 4202496 24806 0 0 0 4617 30 0 0 25 0 1 0 869450917 92487680 18847 33554432000 4194304 15243407 140733287589088 18446744073709551615 8113627 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/2282/statm: 22580 18847 961 2698 0 19875 0
[pid=2280/tid=2288] ppid=2236 vsize=295152 CPUtime=0 cores=1,3,5,7
/proc/2280/task/2288/stat : 2288 (python) S 2236 2236 32706 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869455566 302235648 6146 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554946 18446604454509199552 0 0 -1 7 0 0 0
[pid=2289] ppid=2236 vsize=305408 CPUtime=0.01 cores=1,3,5,7
/proc/2289/stat : 2289 (python) S 2236 2236 32706 0 -1 4202560 917 0 0 0 0 1 0 0 15 0 1 0 869455568 312737792 6102 33554432000 4194304 5683644 140736366523200 18446744073709551615 230809185862 0 0 16781312 33554946 1521631188404404224 0 0 17 5 0 0 0
################
# More data... #
################
[pid=2316/tid=2324] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2324/stat : 2324 (java) S 2314 2316 2316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460333 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820981657 0 4 0 16800975 18446604464593896512 0 0 -1 1 0 0 0
[pid=2316/tid=2325] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2325/stat : 2325 (java) S 2314 2316 2316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460333 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820981657 0 4 0 16800975 18446604464593896512 0 0 -1 1 0 0 0
[pid=2316/tid=2326] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2326/stat : 2326 (java) S 2314 2316 2316 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869460334 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820982272 0 0 0 16800975 18446604464593896512 0 0 -1 7 0 0 0
[pid=2316/tid=2327] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2327/stat : 2327 (java) S 2314 2316 2316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869460334 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820981657 0 4 0 16800975 18446604464593896512 0 0 -1 7 0 0 0
[pid=2316/tid=2328] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2328/stat : 2328 (java) S 2314 2316 2316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869460334 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820981657 0 4 0 16800975 18446604464593896512 0 0 -1 7 0 0 0
[pid=2316/tid=2329] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2329/stat : 2329 (java) S 2314 2316 2316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460336 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820989361 0 4 0 16800975 18446604464593896512 0 0 -1 7 0 0 0
[pid=2316/tid=2330] ppid=2314 vsize=8547464 CPUtime=0.36 cores=1,3,5,7
/proc/2316/task/2330/stat : 2330 (java) R 2314 2316 2316 0 -1 4202560 4362 0 0 0 36 0 0 0 25 0 19 0 869460336 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 47380537052531 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2316/tid=2331] ppid=2314 vsize=8547464 CPUtime=0.32 cores=1,3,5,7
/proc/2316/task/2331/stat : 2331 (java) R 2314 2316 2316 0 -1 4202560 5997 0 0 0 32 0 0 0 25 0 19 0 869460337 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 47380536020601 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2316/tid=2332] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2332/stat : 2332 (java) S 2314 2316 2316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460337 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820981657 0 4 0 16800975 18446604464593896512 0 0 -1 7 0 0 0
[pid=2316/tid=2333] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2333/stat : 2333 (java) S 2314 2316 2316 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869460337 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820982272 0 4 0 16800975 18446604464593896512 0 0 -1 5 0 0 0
[pid=2316/tid=2334] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2334/stat : 2334 (java) S 2314 2316 2316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869460371 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820982272 0 4 0 16800975 18446604464593896512 0 0 -1 7 0 0 0
[pid=2236/tid=2244] ppid=2234 vsize=325908 CPUtime=0.04 cores=1,3,5,7
/proc/2236/task/2244/stat : 2244 (python) S 2234 2236 32706 0 -1 4202560 29 1349 0 0 0 0 3 1 19 0 5 0 869445914 333729792 7644 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458966376896 0 0 -1 3 0 0 0
[pid=2236/tid=2281] ppid=2234 vsize=325908 CPUtime=0.04 cores=1,3,5,7
/proc/2236/task/2281/stat : 2281 (python) S 2234 2236 32706 0 -1 4202560 28 1349 0 0 0 0 3 1 20 0 5 0 869450917 333729792 7644 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458966376896 0 0 -1 3 0 0 0
[pid=2236/tid=2290] ppid=2234 vsize=325908 CPUtime=0.04 cores=1,3,5,7
/proc/2236/task/2290/stat : 2290 (python) S 2234 2236 32706 0 -1 4202560 33 1349 0 0 0 0 3 1 20 0 5 0 869455569 333729792 7644 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458966376896 0 0 -1 7 0 0 0
[pid=2236/tid=2315] ppid=2234 vsize=325908 CPUtime=0.04 cores=1,3,5,7
/proc/2236/task/2315/stat : 2315 (python) S 2234 2236 32706 0 -1 4202560 29 1349 0 0 0 0 3 1 20 0 5 0 869460331 333729792 7644 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458966376896 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 147.68
Current children cumulated vsize (KiB) 18823904
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+145.401 s]
/proc/loadavg: 2.00 2.06 1.85 6/781 2334
/proc/meminfo: memFree=11025500/32951124 swapFree=36471928/67111528
[pid=2236] ppid=2234 vsize=325908 CPUtime=0.67 cores=1,3,5,7
/proc/2236/stat : 2236 (python) S 2234 2236 32706 0 -1 4202496 13871 1349 1 0 52 11 3 1 19 0 5 0 869445843 333729792 7644 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2236/statm: 81477 7644 1878 364 0 16355 0
[pid=2243] ppid=2236 vsize=295140 CPUtime=0.18 cores=1,3,5,7
/proc/2243/stat : 2243 (python) S 2236 2236 32706 0 -1 4202560 1167 0 0 0 8 10 0 0 16 0 2 0 869445913 302223360 6166 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2243/statm: 73785 6166 411 364 0 8672 0
[pid=2245] ppid=2243 vsize=105772 CPUtime=50 cores=1,3,5,7
/proc/2245/stat : 2245 (scip-2.0.1.linu) T 2243 2245 2245 0 -1 4202496 29354 0 0 0 4851 149 0 0 25 0 1 0 869445914 108310528 24345 33554432000 4194304 13684479 140735563720016 18446744073709551615 7354521 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/2245/statm: 26443 24345 845 2317 0 24121 0
[pid=2243/tid=2279] ppid=2236 vsize=295140 CPUtime=0 cores=1,3,5,7
/proc/2243/task/2279/stat : 2279 (python) S 2236 2236 32706 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869450914 302223360 6166 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554946 18446604467753762944 0 0 -1 7 0 0 0
[pid=2280] ppid=2236 vsize=295152 CPUtime=0.17 cores=1,3,5,7
/proc/2280/stat : 2280 (python) S 2236 2236 32706 0 -1 4202560 1110 0 0 0 7 10 0 0 16 0 2 0 869450917 302235648 6146 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2280/statm: 73788 6146 391 364 0 8672 0
[pid=2282] ppid=2280 vsize=90320 CPUtime=46.47 cores=1,3,5,7
/proc/2282/stat : 2282 (scip-2.0.1.linu) T 2280 2282 2282 0 -1 4202496 24806 0 0 0 4617 30 0 0 25 0 1 0 869450917 92487680 18847 33554432000 4194304 15243407 140733287589088 18446744073709551615 8113627 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/2282/statm: 22580 18847 961 2698 0 19875 0
[pid=2280/tid=2288] ppid=2236 vsize=295152 CPUtime=0 cores=1,3,5,7
/proc/2280/task/2288/stat : 2288 (python) S 2236 2236 32706 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869455566 302235648 6146 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554946 18446604454509199552 0 0 -1 7 0 0 0
[pid=2289] ppid=2236 vsize=305408 CPUtime=0.2 cores=1,3,5,7
/proc/2289/stat : 2289 (python) S 2236 2236 32706 0 -1 4202560 1121 0 0 0 9 11 0 0 16 0 2 0 869455568 312737792 6150 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/2289/statm: 76352 6150 391 364 0 11233 0
[pid=2291] ppid=2289 vsize=8543848 CPUtime=48.8 cores=1,3,5,7
/proc/2291/stat : 2291 (java) T 2289 2291 2291 0 -1 4202496 152989 0 1 0 4862 18 0 0 18 0 19 0 869455569 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/2291/statm: 2135962 126751 2259 9 0 2126703 0
[pid=2291/tid=2292] ppid=2289 vsize=8543848 CPUtime=46.89 cores=1,3,5,7
/proc/2291/task/2292/stat : 2292 (java) T 2289 2291 2291 0 -1 4202560 128789 0 1 0 4675 14 0 0 25 0 19 0 869455570 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 46912505612824 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2291/tid=2293] ppid=2289 vsize=8543848 CPUtime=0.02 cores=1,3,5,7
/proc/2291/task/2293/stat : 2293 (java) T 2289 2291 2291 0 -1 4202560 713 0 0 0 2 0 0 0 15 0 19 0 869455570 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2291/tid=2294] ppid=2289 vsize=8543848 CPUtime=0.03 cores=1,3,5,7
/proc/2291/task/2294/stat : 2294 (java) T 2289 2291 2291 0 -1 4202560 2014 0 0 0 3 0 0 0 15 0 19 0 869455570 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2291/tid=2295] ppid=2289 vsize=8543848 CPUtime=0.03 cores=1,3,5,7
/proc/2291/task/2295/stat : 2295 (java) T 2289 2291 2291 0 -1 4202560 718 0 0 0 3 0 0 0 15 0 19 0 869455570 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2291/tid=2296] ppid=2289 vsize=8543848 CPUtime=0.02 cores=1,3,5,7
/proc/2291/task/2296/stat : 2296 (java) T 2289 2291 2291 0 -1 4202560 813 0 0 0 2 0 0 0 15 0 19 0 869455570 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2291/tid=2297] ppid=2289 vsize=8543848 CPUtime=0.02 cores=1,3,5,7
/proc/2291/task/2297/stat : 2297 (java) T 2289 2291 2291 0 -1 4202560 864 0 0 0 2 0 0 0 15 0 19 0 869455570 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2291/tid=2298] ppid=2289 vsize=8543848 CPUtime=0.03 cores=1,3,5,7
/proc/2291/task/2298/stat : 2298 (java) T 2289 2291 2291 0 -1 4202560 1424 0 0 0 3 0 0 0 15 0 19 0 869455570 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2291/tid=2299] ppid=2289 vsize=8543848 CPUtime=0.02 cores=1,3,5,7
/proc/2291/task/2299/stat : 2299 (java) T 2289 2291 2291 0 -1 4202560 797 0 0 0 2 0 0 0 15 0 19 0 869455570 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2291/tid=2300] ppid=2289 vsize=8543848 CPUtime=0.05 cores=1,3,5,7
/proc/2291/task/2300/stat : 2300 (java) T 2289 2291 2291 0 -1 4202560 1495 0 0 0 5 0 0 0 15 0 19 0 869455570 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2291/tid=2301] ppid=2289 vsize=8543848 CPUtime=0.5 cores=1,3,5,7
/proc/2291/task/2301/stat : 2301 (java) T 2289 2291 2291 0 -1 4202560 3049 0 0 0 49 1 0 0 15 0 19 0 869455571 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820982272 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2291/tid=2302] ppid=2289 vsize=8543848 CPUtime=0 cores=1,3,5,7
/proc/2291/task/2302/stat : 2302 (java) T 2289 2291 2291 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869455572 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2291/tid=2303] ppid=2289 vsize=8543848 CPUtime=0 cores=1,3,5,7
/proc/2291/task/2303/stat : 2303 (java) T 2289 2291 2291 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869455572 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2291/tid=2304] ppid=2289 vsize=8543848 CPUtime=0 cores=1,3,5,7
/proc/2291/task/2304/stat : 2304 (java) T 2289 2291 2291 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869455574 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820989361 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2291/tid=2305] ppid=2289 vsize=8543848 CPUtime=0.56 cores=1,3,5,7
/proc/2291/task/2305/stat : 2305 (java) T 2289 2291 2291 0 -1 4202560 5713 0 0 0 56 0 0 0 15 0 19 0 869455574 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2291/tid=2306] ppid=2289 vsize=8543848 CPUtime=0.54 cores=1,3,5,7
/proc/2291/task/2306/stat : 2306 (java) T 2289 2291 2291 0 -1 4202560 5210 0 0 0 54 0 0 0 15 0 19 0 869455574 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2291/tid=2307] ppid=2289 vsize=8543848 CPUtime=0 cores=1,3,5,7
/proc/2291/task/2307/stat : 2307 (java) T 2289 2291 2291 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869455574 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2291/tid=2309] ppid=2289 vsize=8543848 CPUtime=0 cores=1,3,5,7
/proc/2291/task/2309/stat : 2309 (java) T 2289 2291 2291 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869455574 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2291/tid=2311] ppid=2289 vsize=8543848 CPUtime=0 cores=1,3,5,7
/proc/2291/task/2311/stat : 2311 (java) T 2289 2291 2291 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869455609 8748900352 126751 33554432000 1073741824 1073778376 140735335309136 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2289/tid=2313] ppid=2236 vsize=305408 CPUtime=0 cores=1,3,5,7
/proc/2289/task/2313/stat : 2313 (python) S 2236 2236 32706 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869460329 312737792 6150 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554946 18446604468893689984 0 0 -1 5 0 0 0
[pid=2314] ppid=2236 vsize=315664 CPUtime=0 cores=1,3,5,7
/proc/2314/stat : 2314 (python) S 2236 2236 32706 0 -1 4202560 794 0 0 0 0 0 0 0 15 0 1 0 869460331 323239936 6082 33554432000 4194304 5683644 140736366523200 18446744073709551615 230809185862 0 0 16781312 33554946 3265716067556655104 0 0 17 3 0 0 0
/proc/2314/statm: 78916 6082 320 364 0 13794 0
[pid=2316] ppid=2314 vsize=8546692 CPUtime=1.19 cores=1,3,5,7
/proc/2316/stat : 2316 (java) S 2314 2316 2316 0 -1 4202496 18060 0 1 0 116 3 0 0 19 0 19 0 869460332 8751812608 13891 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/2316/statm: 2136673 13891 2221 9 0 2127414 0
[pid=2316/tid=2317] ppid=2314 vsize=8547464 CPUtime=0.49 cores=1,3,5,7
/proc/2316/task/2317/stat : 2317 (java) R 2314 2316 2316 0 -1 4202560 6492 0 1 0 48 1 0 0 19 0 19 0 869460332 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 46912505228269 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=2316/tid=2318] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2318/stat : 2318 (java) S 2314 2316 2316 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869460333 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820981657 0 4 0 16800975 18446604464593896512 0 0 -1 7 0 0 0
[pid=2316/tid=2319] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2319/stat : 2319 (java) S 2314 2316 2316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869460333 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820981657 0 4 0 16800975 18446604464593896512 0 0 -1 7 0 0 0
[pid=2316/tid=2320] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2320/stat : 2320 (java) S 2314 2316 2316 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869460333 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820981657 0 4 0 16800975 18446604464593896512 0 0 -1 7 0 0 0
[pid=2316/tid=2321] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2321/stat : 2321 (java) S 2314 2316 2316 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869460333 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820981657 0 4 0 16800975 18446604464593896512 0 0 -1 7 0 0 0
[pid=2316/tid=2322] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2322/stat : 2322 (java) S 2314 2316 2316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460333 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820981657 0 4 0 16800975 18446604464593896512 0 0 -1 1 0 0 0
[pid=2316/tid=2323] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2323/stat : 2323 (java) S 2314 2316 2316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460333 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820981657 0 4 0 16800975 18446604464593896512 0 0 -1 1 0 0 0
[pid=2316/tid=2324] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2324/stat : 2324 (java) S 2314 2316 2316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460333 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820981657 0 4 0 16800975 18446604464593896512 0 0 -1 1 0 0 0
[pid=2316/tid=2325] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2325/stat : 2325 (java) S 2314 2316 2316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460333 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820981657 0 4 0 16800975 18446604464593896512 0 0 -1 1 0 0 0
[pid=2316/tid=2326] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2326/stat : 2326 (java) S 2314 2316 2316 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869460334 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820982272 0 0 0 16800975 18446604464593896512 0 0 -1 7 0 0 0
[pid=2316/tid=2327] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2327/stat : 2327 (java) S 2314 2316 2316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869460334 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820981657 0 4 0 16800975 18446604464593896512 0 0 -1 7 0 0 0
[pid=2316/tid=2328] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2328/stat : 2328 (java) S 2314 2316 2316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869460334 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820981657 0 4 0 16800975 18446604464593896512 0 0 -1 7 0 0 0
[pid=2316/tid=2329] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2329/stat : 2329 (java) S 2314 2316 2316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460336 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820989361 0 4 0 16800975 18446604464593896512 0 0 -1 7 0 0 0
[pid=2316/tid=2330] ppid=2314 vsize=8547464 CPUtime=0.36 cores=1,3,5,7
/proc/2316/task/2330/stat : 2330 (java) R 2314 2316 2316 0 -1 4202560 4362 0 0 0 36 0 0 0 25 0 19 0 869460336 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 47380537052531 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2316/tid=2331] ppid=2314 vsize=8547464 CPUtime=0.32 cores=1,3,5,7
/proc/2316/task/2331/stat : 2331 (java) R 2314 2316 2316 0 -1 4202560 5997 0 0 0 32 0 0 0 25 0 19 0 869460337 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 47380536020601 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2316/tid=2332] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2332/stat : 2332 (java) S 2314 2316 2316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460337 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820981657 0 4 0 16800975 18446604464593896512 0 0 -1 7 0 0 0
[pid=2316/tid=2333] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2333/stat : 2333 (java) S 2314 2316 2316 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869460337 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820982272 0 4 0 16800975 18446604464593896512 0 0 -1 5 0 0 0
[pid=2316/tid=2334] ppid=2314 vsize=8547464 CPUtime=0 cores=1,3,5,7
/proc/2316/task/2334/stat : 2334 (java) S 2314 2316 2316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869460371 8752603136 14085 33554432000 1073741824 1073778376 140735452425872 18446744073709551615 230820982272 0 4 0 16800975 18446604464593896512 0 0 -1 7 0 0 0
[pid=2236/tid=2244] ppid=2234 vsize=325908 CPUtime=0.04 cores=1,3,5,7
/proc/2236/task/2244/stat : 2244 (python) S 2234 2236 32706 0 -1 4202560 29 1349 0 0 0 0 3 1 19 0 5 0 869445914 333729792 7644 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458966376896 0 0 -1 3 0 0 0
[pid=2236/tid=2281] ppid=2234 vsize=325908 CPUtime=0.04 cores=1,3,5,7
/proc/2236/task/2281/stat : 2281 (python) S 2234 2236 32706 0 -1 4202560 28 1349 0 0 0 0 3 1 20 0 5 0 869450917 333729792 7644 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458966376896 0 0 -1 3 0 0 0
[pid=2236/tid=2290] ppid=2234 vsize=325908 CPUtime=0.04 cores=1,3,5,7
/proc/2236/task/2290/stat : 2290 (python) S 2234 2236 32706 0 -1 4202560 33 1349 0 0 0 0 3 1 20 0 5 0 869455569 333729792 7644 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458966376896 0 0 -1 7 0 0 0
[pid=2236/tid=2315] ppid=2234 vsize=325908 CPUtime=0.04 cores=1,3,5,7
/proc/2236/task/2315/stat : 2315 (python) S 2234 2236 32706 0 -1 4202560 29 1349 0 0 0 0 3 1 20 0 5 0 869460331 333729792 7644 33554432000 4194304 5683644 140736366523200 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458966376896 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 147.68
Current children cumulated vsize (KiB) 18823904
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2236 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=563914
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=128980
# CPU time returned by wait4() is 0.692894
# while last known CPU time is 147.68
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 145.473
CPU time (s): 147.68
CPU user time (s): 145.25
CPU system time (s): 2.43
CPU usage (%): 101.517
Max. virtual memory (cumulated for all children) (KiB): 18823904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.563914
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15222
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= 3332
involuntary context switches= 17
runsolver used 0.710891 second user time and 1.50477 second system time
The end