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-3481873-1307576615/watcher-3481873-1307576615 -o /tmp/evaluation-result-3481873-1307576615/solver-3481873-1307576615 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481873-1307576615.opb -seed 2126520465 -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.22 0.96 0.36 2/372 16399
/proc/meminfo: memFree=27418508/32951124 swapFree=67056304/67111528
[pid=16399] ppid=16397 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/16399/stat : 16399 (python) R 16397 16399 16077 0 -1 4202496 898 0 0 0 0 0 0 0 20 0 1 0 947892203 16150528 778 33554432000 4194304 5683644 140736679202640 18446744073709551615 260020439175 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16399/statm: 3943 778 343 364 0 430 0
[startup+0.0697359 s]
/proc/loadavg: 2.22 0.96 0.36 2/372 16399
/proc/meminfo: memFree=27418508/32951124 swapFree=67056304/67111528
[pid=16399] ppid=16397 vsize=36504 CPUtime=0.04 cores=1,3,5,7
/proc/16399/stat : 16399 (python) S 16397 16399 16077 0 -1 4202496 1620 0 0 0 3 1 0 0 20 0 1 0 947892203 37380096 1450 33554432000 4194304 5683644 140736679202640 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/16399/statm: 9208 1452 452 364 0 1025 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36504
[startup+0.100721 s]
/proc/loadavg: 2.22 0.96 0.36 2/372 16399
/proc/meminfo: memFree=27418508/32951124 swapFree=67056304/67111528
[pid=16399] ppid=16397 vsize=85360 CPUtime=0.05 cores=1,3,5,7
/proc/16399/stat : 16399 (python) D 16397 16399 16077 0 -1 4202496 2593 0 0 0 4 1 0 0 18 0 1 0 947892203 87408640 2315 33554432000 4194304 5683644 140736679202640 18446744073709551615 260020401719 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 0
/proc/16399/statm: 21340 2315 714 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+0.300746 s]
/proc/loadavg: 2.22 0.96 0.36 2/372 16399
/proc/meminfo: memFree=27418508/32951124 swapFree=67056304/67111528
[pid=16399] ppid=16397 vsize=123740 CPUtime=0.13 cores=1,3,5,7
/proc/16399/stat : 16399 (python) S 16397 16399 16077 0 -1 4202496 5354 928 1 0 10 3 0 0 18 0 1 0 947892203 126709760 3741 33554432000 4194304 5683644 140736679202640 18446744073709551615 260020391941 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 7
/proc/16399/statm: 30935 3741 987 364 0 2767 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 123740
[startup+0.700614 s]
/proc/loadavg: 2.22 0.96 0.36 2/372 16399
/proc/meminfo: memFree=27418508/32951124 swapFree=67056304/67111528
[pid=16399] ppid=16397 vsize=264084 CPUtime=0.37 cores=1,3,5,7
/proc/16399/stat : 16399 (python) S 16397 16399 16077 0 -1 4202496 8446 928 1 0 28 9 0 0 17 0 1 0 947892203 270422016 6527 33554432000 4194304 5683644 140736679202640 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 7
/proc/16399/statm: 66021 6527 1682 364 0 5218 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 264084
[startup+1.50051 s]
/proc/loadavg: 2.22 0.96 0.36 2/368 16427
/proc/meminfo: memFree=27564952/32951124 swapFree=67056304/67111528
[pid=16399] ppid=16397 vsize=293256 CPUtime=0.45 cores=1,3,5,7
/proc/16399/stat : 16399 (python) S 16397 16399 16077 0 -1 4202496 9663 928 1 0 35 10 0 0 19 0 2 0 947892203 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 7
/proc/16399/statm: 73314 7164 1870 364 0 8201 0
[pid=16422] ppid=16399 vsize=283012 CPUtime=0 cores=1,3,5,7
/proc/16422/stat : 16422 (python) S 16399 16399 16077 0 -1 4202560 771 0 0 0 0 0 0 0 15 0 1 0 947892281 289804288 5642 33554432000 4194304 5683644 140736679202640 18446744073709551615 260020416015 0 0 16781312 33554946 177121745457643520 0 0 17 7 0 0 0
/proc/16422/statm: 70753 5642 352 364 0 5640 0
[pid=16424] ppid=16422 vsize=35804 CPUtime=0.7 cores=1,3,5,7
/proc/16424/stat : 16424 (scip-2.0.1.linu) R 16422 16424 16424 0 -1 4202496 8050 0 0 0 63 7 0 0 18 0 1 0 947892281 36663296 6556 33554432000 4194304 13684479 140735825524704 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16424/statm: 8951 6556 794 2317 0 6629 0
[pid=16399/tid=16423] ppid=16397 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16399/task/16423/stat : 16423 (python) S 16397 16399 16077 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947892281 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604468119935808 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 612072
[startup+3.1002 s]
/proc/loadavg: 2.28 0.99 0.38 3/369 16430
/proc/meminfo: memFree=27485792/32951124 swapFree=67056304/67111528
[pid=16399] ppid=16397 vsize=293256 CPUtime=0.45 cores=1,3,5,7
/proc/16399/stat : 16399 (python) S 16397 16399 16077 0 -1 4202496 9663 928 1 0 35 10 0 0 19 0 2 0 947892203 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 7
/proc/16399/statm: 73314 7164 1870 364 0 8201 0
[pid=16422] ppid=16399 vsize=283012 CPUtime=0 cores=1,3,5,7
/proc/16422/stat : 16422 (python) S 16399 16399 16077 0 -1 4202560 771 0 0 0 0 0 0 0 15 0 1 0 947892281 289804288 5642 33554432000 4194304 5683644 140736679202640 18446744073709551615 260020416015 0 0 16781312 33554946 1465376312351784960 0 0 17 7 0 0 0
/proc/16422/statm: 70753 5642 352 364 0 5640 0
[pid=16424] ppid=16422 vsize=35804 CPUtime=2.3 cores=1,3,5,7
/proc/16424/stat : 16424 (scip-2.0.1.linu) R 16422 16424 16424 0 -1 4202496 8053 0 0 0 215 15 0 0 20 0 1 0 947892281 36663296 6559 33554432000 4194304 13684479 140735825524704 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16424/statm: 8951 6559 796 2317 0 6629 0
[pid=16399/tid=16423] ppid=16397 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16399/task/16423/stat : 16423 (python) S 16397 16399 16077 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947892281 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604468119935808 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 612072
[startup+6.30063 s]
/proc/loadavg: 2.28 0.99 0.38 3/376 16443
/proc/meminfo: memFree=27376316/32951124 swapFree=67056304/67111528
[pid=16399] ppid=16397 vsize=293256 CPUtime=0.45 cores=1,3,5,7
/proc/16399/stat : 16399 (python) S 16397 16399 16077 0 -1 4202496 9663 928 1 0 35 10 0 0 19 0 2 0 947892203 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 7
/proc/16399/statm: 73314 7164 1870 364 0 8201 0
[pid=16422] ppid=16399 vsize=283012 CPUtime=0.01 cores=1,3,5,7
/proc/16422/stat : 16422 (python) S 16399 16399 16077 0 -1 4202560 909 0 0 0 0 1 0 0 15 0 1 0 947892281 289804288 5666 33554432000 4194304 5683644 140736679202640 18446744073709551615 260020416015 0 0 16781312 33554946 505417526461595648 0 0 17 7 0 0 0
/proc/16422/statm: 70753 5666 376 364 0 5640 0
[pid=16424] ppid=16422 vsize=35804 CPUtime=5.51 cores=1,3,5,7
/proc/16424/stat : 16424 (scip-2.0.1.linu) R 16422 16424 16424 0 -1 4202496 8071 0 0 0 518 33 0 0 21 0 1 0 947892281 36663296 6577 33554432000 4194304 13684479 140735825524704 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16424/statm: 8951 6577 797 2317 0 6629 0
[pid=16399/tid=16423] ppid=16397 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16399/task/16423/stat : 16423 (python) S 16397 16399 16077 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947892281 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604468119935808 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 612072
[startup+12.7005 s]
/proc/loadavg: 2.38 1.06 0.40 3/376 16443
/proc/meminfo: memFree=27338664/32951124 swapFree=67056304/67111528
[pid=16399] ppid=16397 vsize=293256 CPUtime=0.45 cores=1,3,5,7
/proc/16399/stat : 16399 (python) S 16397 16399 16077 0 -1 4202496 9663 928 1 0 35 10 0 0 19 0 2 0 947892203 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 7
/proc/16399/statm: 73314 7164 1870 364 0 8201 0
[pid=16422] ppid=16399 vsize=283012 CPUtime=0.04 cores=1,3,5,7
/proc/16422/stat : 16422 (python) S 16399 16399 16077 0 -1 4202560 917 0 0 0 2 2 0 0 15 0 1 0 947892281 289804288 5666 33554432000 4194304 5683644 140736679202640 18446744073709551615 260020416015 0 0 16781312 33554946 1375147360224542720 0 0 17 3 0 0 0
/proc/16422/statm: 70753 5666 376 364 0 5640 0
[pid=16424] ppid=16422 vsize=47024 CPUtime=11.91 cores=1,3,5,7
/proc/16424/stat : 16424 (scip-2.0.1.linu) R 16422 16424 16424 0 -1 4202496 10662 0 0 0 1124 67 0 0 18 0 1 0 947892281 48152576 9142 33554432000 4194304 13684479 140735825524704 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16424/statm: 11756 9142 821 2317 0 9434 0
[pid=16399/tid=16423] ppid=16397 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16399/task/16423/stat : 16423 (python) S 16397 16399 16077 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947892281 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604468119935808 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 623292
[startup+25.5011 s]
/proc/loadavg: 2.32 1.09 0.42 3/376 16443
/proc/meminfo: memFree=27334836/32951124 swapFree=67056304/67111528
[pid=16399] ppid=16397 vsize=293256 CPUtime=0.45 cores=1,3,5,7
/proc/16399/stat : 16399 (python) S 16397 16399 16077 0 -1 4202496 9663 928 1 0 35 10 0 0 19 0 2 0 947892203 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 7
/proc/16399/statm: 73314 7164 1870 364 0 8201 0
[pid=16422] ppid=16399 vsize=283012 CPUtime=0.07 cores=1,3,5,7
/proc/16422/stat : 16422 (python) S 16399 16399 16077 0 -1 4202560 933 0 0 0 3 4 0 0 15 0 1 0 947892281 289804288 5666 33554432000 4194304 5683644 140736679202640 18446744073709551615 260020416015 0 0 16781312 33554946 686456294978093056 0 0 17 5 0 0 0
/proc/16422/statm: 70753 5666 376 364 0 5640 0
[pid=16424] ppid=16422 vsize=47224 CPUtime=24.71 cores=1,3,5,7
/proc/16424/stat : 16424 (scip-2.0.1.linu) R 16422 16424 16424 0 -1 4202496 10905 0 0 0 2330 141 0 0 18 0 1 0 947892281 48357376 9370 33554432000 4194304 13684479 140735825524704 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16424/statm: 11806 9370 821 2317 0 9484 0
[pid=16399/tid=16423] ppid=16397 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16399/task/16423/stat : 16423 (python) S 16397 16399 16077 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947892281 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604468119935808 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 623492
Solver just ended. Dumping a history of the last processes samples
[startup+31.9129 s]
/proc/loadavg: 2.27 1.12 0.44 3/376 16443
/proc/meminfo: memFree=27334976/32951124 swapFree=67056304/67111528
[pid=16399] ppid=16397 vsize=293256 CPUtime=0.45 cores=1,3,5,7
/proc/16399/stat : 16399 (python) S 16397 16399 16077 0 -1 4202496 9663 928 1 0 35 10 0 0 19 0 2 0 947892203 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 7
/proc/16399/statm: 73314 7164 1870 364 0 8201 0
[pid=16422] ppid=16399 vsize=283012 CPUtime=0.09 cores=1,3,5,7
/proc/16422/stat : 16422 (python) S 16399 16399 16077 0 -1 4202560 939 0 0 0 4 5 0 0 15 0 1 0 947892281 289804288 5666 33554432000 4194304 5683644 140736679202640 18446744073709551615 260020416015 0 0 16781312 33554946 2622714044066299904 0 0 17 5 0 0 0
/proc/16422/statm: 70753 5666 376 364 0 5640 0
[pid=16424] ppid=16422 vsize=47656 CPUtime=31.12 cores=1,3,5,7
/proc/16424/stat : 16424 (scip-2.0.1.linu) R 16422 16424 16424 0 -1 4202496 10999 0 0 0 2934 178 0 0 18 0 1 0 947892281 48799744 9463 33554432000 4194304 13684479 140735825524704 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16424/statm: 11914 9463 821 2317 0 9592 0
[pid=16399/tid=16423] ppid=16397 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16399/task/16423/stat : 16423 (python) S 16397 16399 16077 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947892281 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604468119935808 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 31.66
Current children cumulated vsize (KiB) 623924
[startup+38.3008 s]
/proc/loadavg: 2.25 1.13 0.45 3/376 16443
/proc/meminfo: memFree=27334612/32951124 swapFree=67056304/67111528
[pid=16399] ppid=16397 vsize=293256 CPUtime=0.45 cores=1,3,5,7
/proc/16399/stat : 16399 (python) S 16397 16399 16077 0 -1 4202496 9663 928 1 0 35 10 0 0 19 0 2 0 947892203 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 7
/proc/16399/statm: 73314 7164 1870 364 0 8201 0
[pid=16422] ppid=16399 vsize=283012 CPUtime=0.12 cores=1,3,5,7
/proc/16422/stat : 16422 (python) S 16399 16399 16077 0 -1 4202560 947 0 0 0 6 6 0 0 15 0 1 0 947892281 289804288 5667 33554432000 4194304 5683644 140736679202640 18446744073709551615 260020416015 0 0 16781312 33554946 4211143059234095104 0 0 17 5 0 0 0
/proc/16422/statm: 70753 5667 376 364 0 5640 0
[pid=16424] ppid=16422 vsize=47656 CPUtime=37.51 cores=1,3,5,7
/proc/16424/stat : 16424 (scip-2.0.1.linu) R 16422 16424 16424 0 -1 4202496 10999 0 0 0 3535 216 0 0 18 0 1 0 947892281 48799744 9463 33554432000 4194304 13684479 140735825524704 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16424/statm: 11914 9463 821 2317 0 9592 0
[pid=16399/tid=16423] ppid=16397 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16399/task/16423/stat : 16423 (python) S 16397 16399 16077 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947892281 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604468119935808 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 38.08
Current children cumulated vsize (KiB) 623924
[startup+39.9005 s]
/proc/loadavg: 2.25 1.13 0.45 3/376 16443
/proc/meminfo: memFree=27334612/32951124 swapFree=67056304/67111528
[pid=16399] ppid=16397 vsize=293256 CPUtime=0.45 cores=1,3,5,7
/proc/16399/stat : 16399 (python) S 16397 16399 16077 0 -1 4202496 9663 928 1 0 35 10 0 0 19 0 2 0 947892203 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 7
/proc/16399/statm: 73314 7164 1870 364 0 8201 0
[pid=16422] ppid=16399 vsize=283012 CPUtime=0.12 cores=1,3,5,7
/proc/16422/stat : 16422 (python) S 16399 16399 16077 0 -1 4202560 948 0 0 0 6 6 0 0 15 0 1 0 947892281 289804288 5668 33554432000 4194304 5683644 140736679202640 18446744073709551615 260020416015 0 0 16781312 33554946 2616430756020355072 0 0 17 5 0 0 0
/proc/16422/statm: 70753 5668 377 364 0 5640 0
[pid=16424] ppid=16422 vsize=47656 CPUtime=39.1 cores=1,3,5,7
/proc/16424/stat : 16424 (scip-2.0.1.linu) R 16422 16424 16424 0 -1 4202496 10999 0 0 0 3685 225 0 0 18 0 1 0 947892281 48799744 9463 33554432000 4194304 13684479 140735825524704 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16424/statm: 11914 9463 821 2317 0 9592 0
[pid=16399/tid=16423] ppid=16397 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16399/task/16423/stat : 16423 (python) S 16397 16399 16077 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947892281 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604468119935808 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 39.67
Current children cumulated vsize (KiB) 623924
[startup+41.5012 s]
/proc/loadavg: 2.25 1.13 0.45 3/376 16443
/proc/meminfo: memFree=27334740/32951124 swapFree=67056304/67111528
[pid=16399] ppid=16397 vsize=293256 CPUtime=0.45 cores=1,3,5,7
/proc/16399/stat : 16399 (python) S 16397 16399 16077 0 -1 4202496 9663 928 1 0 35 10 0 0 19 0 2 0 947892203 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 7
/proc/16399/statm: 73314 7164 1870 364 0 8201 0
[pid=16422] ppid=16399 vsize=283012 CPUtime=0.13 cores=1,3,5,7
/proc/16422/stat : 16422 (python) S 16399 16399 16077 0 -1 4202560 952 0 0 0 6 7 0 0 15 0 1 0 947892281 289804288 5669 33554432000 4194304 5683644 140736679202640 18446744073709551615 260020416015 0 0 16781312 33554946 411944628485357568 0 0 17 7 0 0 0
/proc/16422/statm: 70753 5669 377 364 0 5640 0
[pid=16424] ppid=16422 vsize=47656 CPUtime=40.7 cores=1,3,5,7
/proc/16424/stat : 16424 (scip-2.0.1.linu) R 16422 16424 16424 0 -1 4202496 10999 0 0 0 3836 234 0 0 18 0 1 0 947892281 48799744 9463 33554432000 4194304 13684479 140735825524704 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16424/statm: 11914 9463 821 2317 0 9592 0
[pid=16399/tid=16423] ppid=16397 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16399/task/16423/stat : 16423 (python) S 16397 16399 16077 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947892281 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604468119935808 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 41.28
Current children cumulated vsize (KiB) 623924
[startup+42.301 s]
/proc/loadavg: 2.23 1.15 0.45 3/376 16444
/proc/meminfo: memFree=27334740/32951124 swapFree=67056304/67111528
[pid=16399] ppid=16397 vsize=293256 CPUtime=0.45 cores=1,3,5,7
/proc/16399/stat : 16399 (python) S 16397 16399 16077 0 -1 4202496 9663 928 1 0 35 10 0 0 19 0 2 0 947892203 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 7
/proc/16399/statm: 73314 7164 1870 364 0 8201 0
[pid=16422] ppid=16399 vsize=283012 CPUtime=0.13 cores=1,3,5,7
/proc/16422/stat : 16422 (python) S 16399 16399 16077 0 -1 4202560 952 0 0 0 6 7 0 0 15 0 1 0 947892281 289804288 5669 33554432000 4194304 5683644 140736679202640 18446744073709551615 260020416015 0 0 16781312 33554946 200744306103812096 0 0 17 7 0 0 0
/proc/16422/statm: 70753 5669 377 364 0 5640 0
[pid=16424] ppid=16422 vsize=47656 CPUtime=41.51 cores=1,3,5,7
/proc/16424/stat : 16424 (scip-2.0.1.linu) R 16422 16424 16424 0 -1 4202496 10999 0 0 0 3911 240 0 0 18 0 1 0 947892281 48799744 9463 33554432000 4194304 13684479 140735825524704 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16424/statm: 11914 9463 821 2317 0 9592 0
[pid=16399/tid=16423] ppid=16397 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16399/task/16423/stat : 16423 (python) S 16397 16399 16077 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947892281 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604468119935808 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 42.09
Current children cumulated vsize (KiB) 623924
[startup+42.501 s]
/proc/loadavg: 2.23 1.15 0.45 3/376 16444
/proc/meminfo: memFree=27334740/32951124 swapFree=67056304/67111528
[pid=16399] ppid=16397 vsize=293256 CPUtime=0.45 cores=1,3,5,7
/proc/16399/stat : 16399 (python) S 16397 16399 16077 0 -1 4202496 9663 928 1 0 35 10 0 0 19 0 2 0 947892203 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 7
/proc/16399/statm: 73314 7164 1870 364 0 8201 0
[pid=16422] ppid=16399 vsize=283012 CPUtime=0.13 cores=1,3,5,7
/proc/16422/stat : 16422 (python) S 16399 16399 16077 0 -1 4202560 952 0 0 0 6 7 0 0 15 0 1 0 947892281 289804288 5669 33554432000 4194304 5683644 140736679202640 18446744073709551615 260020416015 0 0 16781312 33554946 776164675594223616 0 0 17 7 0 0 0
/proc/16422/statm: 70753 5669 377 364 0 5640 0
[pid=16424] ppid=16422 vsize=47656 CPUtime=41.7 cores=1,3,5,7
/proc/16424/stat : 16424 (scip-2.0.1.linu) R 16422 16424 16424 0 -1 4202496 10999 0 0 0 3929 241 0 0 18 0 1 0 947892281 48799744 9463 33554432000 4194304 13684479 140735825524704 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16424/statm: 11914 9463 821 2317 0 9592 0
[pid=16399/tid=16423] ppid=16397 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16399/task/16423/stat : 16423 (python) S 16397 16399 16077 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947892281 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604468119935808 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 42.28
Current children cumulated vsize (KiB) 623924
[startup+42.6009 s]
/proc/loadavg: 2.23 1.15 0.45 3/376 16444
/proc/meminfo: memFree=27334740/32951124 swapFree=67056304/67111528
[pid=16399] ppid=16397 vsize=293256 CPUtime=0.45 cores=1,3,5,7
/proc/16399/stat : 16399 (python) S 16397 16399 16077 0 -1 4202496 9663 928 1 0 35 10 0 0 19 0 2 0 947892203 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 7
/proc/16399/statm: 73314 7164 1870 364 0 8201 0
[pid=16422] ppid=16399 vsize=283012 CPUtime=0.14 cores=1,3,5,7
/proc/16422/stat : 16422 (python) S 16399 16399 16077 0 -1 4202560 958 0 0 0 7 7 0 0 16 0 1 0 947892281 289804288 5675 33554432000 4194304 5683644 140736679202640 18446744073709551615 260020416015 0 0 16781312 33554946 1527646504850817024 0 0 17 7 0 0 0
/proc/16422/statm: 70753 5675 377 364 0 5640 0
[pid=16424] ppid=16422 vsize=47656 CPUtime=41.81 cores=1,3,5,7
/proc/16424/stat : 16424 (scip-2.0.1.linu) R 16422 16424 16424 0 -1 4202496 11000 0 0 0 3939 242 0 0 18 0 1 0 947892281 48799744 9464 33554432000 4194304 13684479 140735825524704 18446744073709551615 6738066 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/16424/statm: 11914 9464 822 2317 0 9592 0
[pid=16399/tid=16423] ppid=16397 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16399/task/16423/stat : 16423 (python) S 16397 16399 16077 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947892281 300294144 7164 33554432000 4194304 5683644 140736679202640 18446744073709551615 260032219569 0 0 16781312 33554434 18446604468119935808 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 42.4
Current children cumulated vsize (KiB) 623924
Child status: 0
Real time (s): 42.6297
CPU time (s): 42.4545
CPU user time (s): 39.8349
CPU system time (s): 2.6196
CPU usage (%): 99.5891
Max. virtual memory (cumulated for all children) (KiB): 623924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.8349
system time used= 2.6196
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27310
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= 2960
involuntary context switches= 129
runsolver used 0.114982 second user time and 0.32495 second system time
The end