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-3482039-1307576736/watcher-3482039-1307576736 -o /tmp/evaluation-result-3482039-1307576736/solver-3482039-1307576736 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482039-1307576736.opb -seed 1067838095 -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.40 1.53 0.68 2/581 15274
/proc/meminfo: memFree=20442728/32950940 swapFree=67111360/67111528
[pid=15274] ppid=15272 vsize=15760 CPUtime=0 cores=0,2,4,6
/proc/15274/stat : 15274 (python) R 15272 15274 14716 0 -1 4202496 844 0 0 0 0 0 0 0 25 0 1 0 947904416 16138240 727 33554432000 4194304 5683644 140734249812608 18446744073709551615 215988590592 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/15274/statm: 3941 728 334 364 0 428 0
[startup+0.0689799 s]
/proc/loadavg: 2.40 1.53 0.68 2/581 15274
/proc/meminfo: memFree=20442728/32950940 swapFree=67111360/67111528
[pid=15274] ppid=15272 vsize=54500 CPUtime=0.05 cores=0,2,4,6
/proc/15274/stat : 15274 (python) R 15272 15274 14716 0 -1 4202496 2049 0 0 0 4 1 0 0 17 0 1 0 947904416 55808000 1808 33554432000 4194304 5683644 140734249812608 18446744073709551615 215988590592 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/15274/statm: 13626 1810 492 364 0 1276 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54500
[startup+0.100998 s]
/proc/loadavg: 2.40 1.53 0.68 2/581 15274
/proc/meminfo: memFree=20442728/32950940 swapFree=67111360/67111528
[pid=15274] ppid=15272 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/15274/stat : 15274 (python) R 15272 15274 14716 0 -1 4202496 3168 928 1 0 6 2 0 0 18 0 1 0 947904416 98430976 2483 33554432000 4194304 5683644 140734249812608 18446744073709551615 5168776 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15274/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.300928 s]
/proc/loadavg: 2.40 1.53 0.68 2/581 15274
/proc/meminfo: memFree=20442728/32950940 swapFree=67111360/67111528
[pid=15274] ppid=15272 vsize=123876 CPUtime=0.2 cores=0,2,4,6
/proc/15274/stat : 15274 (python) S 15272 15274 14716 0 -1 4202496 5394 928 1 0 14 6 0 0 17 0 1 0 947904416 126849024 3763 33554432000 4194304 5683644 140734249812608 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/15274/statm: 30969 3763 987 364 0 2801 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 123876
[startup+0.700858 s]
/proc/loadavg: 2.40 1.53 0.68 2/581 15274
/proc/meminfo: memFree=20442728/32950940 swapFree=67111360/67111528
[pid=15274] ppid=15272 vsize=293256 CPUtime=0.45 cores=0,2,4,6
/proc/15274/stat : 15274 (python) S 15272 15274 14716 0 -1 4202496 9659 928 1 0 34 11 0 0 19 0 2 0 947904416 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15274/statm: 73314 7163 1870 364 0 8201 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293256
[startup+1.50072 s]
/proc/loadavg: 2.36 1.54 0.68 3/585 15282
/proc/meminfo: memFree=20383300/32950940 swapFree=67111360/67111528
[pid=15274] ppid=15272 vsize=293256 CPUtime=0.45 cores=0,2,4,6
/proc/15274/stat : 15274 (python) S 15272 15274 14716 0 -1 4202496 9659 928 1 0 34 11 0 0 19 0 2 0 947904416 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15274/statm: 73314 7163 1870 364 0 8201 0
[pid=15280] ppid=15274 vsize=283012 CPUtime=0 cores=0,2,4,6
/proc/15280/stat : 15280 (python) S 15274 15274 14716 0 -1 4202560 758 0 0 0 0 0 0 0 16 0 1 0 947904474 289804288 5641 33554432000 4194304 5683644 140734249812608 18446744073709551615 215988612623 0 0 16781312 33554946 3194893195011948544 0 0 17 4 0 0 0
/proc/15280/statm: 70753 5641 352 364 0 5640 0
[pid=15282] ppid=15280 vsize=25040 CPUtime=0.9 cores=0,2,4,6
/proc/15282/stat : 15282 (scip-2.0.1.linu) R 15280 15282 15282 0 -1 4202496 4527 0 0 0 88 2 0 0 21 0 1 0 947904475 25640960 3902 33554432000 4194304 13684479 140736044730080 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15282/statm: 6260 3902 749 2317 0 3938 0
[pid=15274/tid=15281] ppid=15272 vsize=293256 CPUtime=0 cores=0,2,4,6
/proc/15274/task/15281/stat : 15281 (python) S 15272 15274 14716 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947904475 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000416177 0 0 16781312 33554434 18446604444808702080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 601308
[startup+3.10044 s]
/proc/loadavg: 2.36 1.54 0.68 3/585 15282
/proc/meminfo: memFree=20376872/32950940 swapFree=67111360/67111528
[pid=15274] ppid=15272 vsize=293256 CPUtime=0.45 cores=0,2,4,6
/proc/15274/stat : 15274 (python) S 15272 15274 14716 0 -1 4202496 9659 928 1 0 34 11 0 0 19 0 2 0 947904416 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15274/statm: 73314 7163 1870 364 0 8201 0
[pid=15280] ppid=15274 vsize=283012 CPUtime=0 cores=0,2,4,6
/proc/15280/stat : 15280 (python) S 15274 15274 14716 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 1 0 947904474 289804288 5641 33554432000 4194304 5683644 140734249812608 18446744073709551615 215988612623 0 0 16781312 33554946 4223999953640357888 0 0 17 4 0 0 0
/proc/15280/statm: 70753 5641 352 364 0 5640 0
[pid=15282] ppid=15280 vsize=49276 CPUtime=2.5 cores=0,2,4,6
/proc/15282/stat : 15282 (scip-2.0.1.linu) R 15280 15282 15282 0 -1 4202496 10664 0 0 0 246 4 0 0 25 0 1 0 947904475 50458624 10031 33554432000 4194304 13684479 140736044730080 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15282/statm: 12319 10031 775 2317 0 9997 0
[pid=15274/tid=15281] ppid=15272 vsize=293256 CPUtime=0 cores=0,2,4,6
/proc/15274/task/15281/stat : 15281 (python) S 15272 15274 14716 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947904475 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000416177 0 0 16781312 33554434 18446604444808702080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 625544
[startup+6.30095 s]
/proc/loadavg: 2.50 1.58 0.70 3/585 15282
/proc/meminfo: memFree=20328636/32950940 swapFree=67111360/67111528
[pid=15274] ppid=15272 vsize=293256 CPUtime=0.45 cores=0,2,4,6
/proc/15274/stat : 15274 (python) S 15272 15274 14716 0 -1 4202496 9659 928 1 0 34 11 0 0 19 0 2 0 947904416 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15274/statm: 73314 7163 1870 364 0 8201 0
[pid=15280] ppid=15274 vsize=283012 CPUtime=0.02 cores=0,2,4,6
/proc/15280/stat : 15280 (python) S 15274 15274 14716 0 -1 4202560 898 0 0 0 1 1 0 0 15 0 1 0 947904474 289804288 5664 33554432000 4194304 5683644 140734249812608 18446744073709551615 215988612623 0 0 16781312 33554946 3848146034127536128 0 0 17 6 0 0 0
/proc/15280/statm: 70753 5664 375 364 0 5640 0
[pid=15282] ppid=15280 vsize=76488 CPUtime=5.7 cores=0,2,4,6
/proc/15282/stat : 15282 (scip-2.0.1.linu) R 15280 15282 15282 0 -1 4202496 17524 0 0 0 560 10 0 0 22 0 1 0 947904475 78323712 16874 33554432000 4194304 13684479 140736044730080 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15282/statm: 19122 16874 795 2317 0 16800 0
[pid=15274/tid=15281] ppid=15272 vsize=293256 CPUtime=0 cores=0,2,4,6
/proc/15274/task/15281/stat : 15281 (python) S 15272 15274 14716 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947904475 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000416177 0 0 16781312 33554434 18446604444808702080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 652756
[startup+12.7009 s]
/proc/loadavg: 2.45 1.59 0.71 3/585 15282
/proc/meminfo: memFree=20323836/32950940 swapFree=67111360/67111528
[pid=15274] ppid=15272 vsize=293256 CPUtime=0.45 cores=0,2,4,6
/proc/15274/stat : 15274 (python) S 15272 15274 14716 0 -1 4202496 9659 928 1 0 34 11 0 0 19 0 2 0 947904416 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15274/statm: 73314 7163 1870 364 0 8201 0
[pid=15280] ppid=15274 vsize=283012 CPUtime=0.06 cores=0,2,4,6
/proc/15280/stat : 15280 (python) S 15274 15274 14716 0 -1 4202560 906 0 0 0 3 3 0 0 16 0 1 0 947904474 289804288 5665 33554432000 4194304 5683644 140734249812608 18446744073709551615 215988612623 0 0 16781312 33554946 72556772316949348 0 0 17 6 0 0 0
/proc/15280/statm: 70753 5665 376 364 0 5640 0
[pid=15282] ppid=15280 vsize=76488 CPUtime=12.1 cores=0,2,4,6
/proc/15282/stat : 15282 (scip-2.0.1.linu) R 15280 15282 15282 0 -1 4202496 17526 0 0 0 1193 17 0 0 25 0 1 0 947904475 78323712 16876 33554432000 4194304 13684479 140736044730080 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15282/statm: 19122 16876 797 2317 0 16800 0
[pid=15274/tid=15281] ppid=15272 vsize=293256 CPUtime=0 cores=0,2,4,6
/proc/15274/task/15281/stat : 15281 (python) S 15272 15274 14716 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947904475 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000416177 0 0 16781312 33554434 18446604444808702080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 652756
[startup+25.5006 s]
/proc/loadavg: 2.35 1.60 0.73 3/589 15286
/proc/meminfo: memFree=20229076/32950940 swapFree=67111360/67111528
[pid=15274] ppid=15272 vsize=293256 CPUtime=0.45 cores=0,2,4,6
/proc/15274/stat : 15274 (python) S 15272 15274 14716 0 -1 4202496 9659 928 1 0 34 11 0 0 19 0 2 0 947904416 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15274/statm: 73314 7163 1870 364 0 8201 0
[pid=15280] ppid=15274 vsize=283012 CPUtime=0.1 cores=0,2,4,6
/proc/15280/stat : 15280 (python) S 15274 15274 14716 0 -1 4202560 910 0 0 0 5 5 0 0 15 0 1 0 947904474 289804288 5665 33554432000 4194304 5683644 140734249812608 18446744073709551615 215988612623 0 0 16781312 33554946 72556772316949348 0 0 17 6 0 0 0
/proc/15280/statm: 70753 5665 376 364 0 5640 0
[pid=15282] ppid=15280 vsize=76488 CPUtime=24.9 cores=0,2,4,6
/proc/15282/stat : 15282 (scip-2.0.1.linu) R 15280 15282 15282 0 -1 4202496 17526 0 0 0 2454 36 0 0 25 0 1 0 947904475 78323712 16876 33554432000 4194304 13684479 140736044730080 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15282/statm: 19122 16876 797 2317 0 16800 0
[pid=15274/tid=15281] ppid=15272 vsize=293256 CPUtime=0 cores=0,2,4,6
/proc/15274/task/15281/stat : 15281 (python) S 15272 15274 14716 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947904475 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000416177 0 0 16781312 33554434 18446604444808702080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 652756
Solver just ended. Dumping a history of the last processes samples
[startup+38.3004 s]
/proc/loadavg: 2.30 1.62 0.74 3/589 15287
/proc/meminfo: memFree=20220692/32950940 swapFree=67111360/67111528
[pid=15274] ppid=15272 vsize=293256 CPUtime=0.45 cores=0,2,4,6
/proc/15274/stat : 15274 (python) S 15272 15274 14716 0 -1 4202496 9659 928 1 0 34 11 0 0 19 0 2 0 947904416 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15274/statm: 73314 7163 1870 364 0 8201 0
[pid=15280] ppid=15274 vsize=283012 CPUtime=0.16 cores=0,2,4,6
/proc/15280/stat : 15280 (python) S 15274 15274 14716 0 -1 4202560 915 0 0 0 8 8 0 0 15 0 1 0 947904474 289804288 5665 33554432000 4194304 5683644 140734249812608 18446744073709551615 215988612623 0 0 16781312 33554946 72556772316949348 0 0 17 6 0 0 0
/proc/15280/statm: 70753 5665 376 364 0 5640 0
[pid=15282] ppid=15280 vsize=76488 CPUtime=37.7 cores=0,2,4,6
/proc/15282/stat : 15282 (scip-2.0.1.linu) R 15280 15282 15282 0 -1 4202496 17529 0 0 0 3716 54 0 0 25 0 1 0 947904475 78323712 16879 33554432000 4194304 13684479 140736044730080 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15282/statm: 19122 16879 799 2317 0 16800 0
[pid=15274/tid=15281] ppid=15272 vsize=293256 CPUtime=0 cores=0,2,4,6
/proc/15274/task/15281/stat : 15281 (python) S 15272 15274 14716 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947904475 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000416177 0 0 16781312 33554434 18446604444808702080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 38.31
Current children cumulated vsize (KiB) 652756
[startup+41.5008 s]
/proc/loadavg: 2.35 1.64 0.75 3/589 15287
/proc/meminfo: memFree=20226440/32950940 swapFree=67111360/67111528
[pid=15274] ppid=15272 vsize=293256 CPUtime=0.45 cores=0,2,4,6
/proc/15274/stat : 15274 (python) S 15272 15274 14716 0 -1 4202496 9659 928 1 0 34 11 0 0 19 0 2 0 947904416 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15274/statm: 73314 7163 1870 364 0 8201 0
[pid=15280] ppid=15274 vsize=283012 CPUtime=0.16 cores=0,2,4,6
/proc/15280/stat : 15280 (python) S 15274 15274 14716 0 -1 4202560 915 0 0 0 8 8 0 0 15 0 1 0 947904474 289804288 5665 33554432000 4194304 5683644 140734249812608 18446744073709551615 215988612623 0 0 16781312 33554946 3598512549085052928 0 0 17 6 0 0 0
/proc/15280/statm: 70753 5665 376 364 0 5640 0
[pid=15282] ppid=15280 vsize=76488 CPUtime=40.91 cores=0,2,4,6
/proc/15282/stat : 15282 (scip-2.0.1.linu) R 15280 15282 15282 0 -1 4202496 17529 0 0 0 4032 59 0 0 25 0 1 0 947904475 78323712 16879 33554432000 4194304 13684479 140736044730080 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15282/statm: 19122 16879 799 2317 0 16800 0
[pid=15274/tid=15281] ppid=15272 vsize=293256 CPUtime=0 cores=0,2,4,6
/proc/15274/task/15281/stat : 15281 (python) S 15272 15274 14716 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947904475 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000416177 0 0 16781312 33554434 18446604444808702080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 41.52
Current children cumulated vsize (KiB) 652756
[startup+44.7013 s]
/proc/loadavg: 2.35 1.64 0.75 3/589 15287
/proc/meminfo: memFree=20223716/32950940 swapFree=67111360/67111528
[pid=15274] ppid=15272 vsize=293256 CPUtime=0.45 cores=0,2,4,6
/proc/15274/stat : 15274 (python) S 15272 15274 14716 0 -1 4202496 9659 928 1 0 34 11 0 0 19 0 2 0 947904416 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15274/statm: 73314 7163 1870 364 0 8201 0
[pid=15280] ppid=15274 vsize=283012 CPUtime=0.18 cores=0,2,4,6
/proc/15280/stat : 15280 (python) S 15274 15274 14716 0 -1 4202560 917 0 0 0 9 9 0 0 15 0 1 0 947904474 289804288 5665 33554432000 4194304 5683644 140734249812608 18446744073709551615 215988612623 0 0 16781312 33554946 72409437758827364 0 0 17 4 0 0 0
/proc/15280/statm: 70753 5665 376 364 0 5640 0
[pid=15282] ppid=15280 vsize=76488 CPUtime=44.1 cores=0,2,4,6
/proc/15282/stat : 15282 (scip-2.0.1.linu) R 15280 15282 15282 0 -1 4202496 17529 0 0 0 4348 62 0 0 25 0 1 0 947904475 78323712 16879 33554432000 4194304 13684479 140736044730080 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15282/statm: 19122 16879 799 2317 0 16800 0
[pid=15274/tid=15281] ppid=15272 vsize=293256 CPUtime=0 cores=0,2,4,6
/proc/15274/task/15281/stat : 15281 (python) S 15272 15274 14716 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947904475 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000416177 0 0 16781312 33554434 18446604444808702080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 44.73
Current children cumulated vsize (KiB) 652756
[startup+46.301 s]
/proc/loadavg: 2.33 1.65 0.76 3/589 15287
/proc/meminfo: memFree=20224708/32950940 swapFree=67111360/67111528
[pid=15274] ppid=15272 vsize=293256 CPUtime=0.45 cores=0,2,4,6
/proc/15274/stat : 15274 (python) S 15272 15274 14716 0 -1 4202496 9659 928 1 0 34 11 0 0 19 0 2 0 947904416 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15274/statm: 73314 7163 1870 364 0 8201 0
[pid=15280] ppid=15274 vsize=283012 CPUtime=0.18 cores=0,2,4,6
/proc/15280/stat : 15280 (python) S 15274 15274 14716 0 -1 4202560 917 0 0 0 9 9 0 0 15 0 1 0 947904474 289804288 5665 33554432000 4194304 5683644 140734249812608 18446744073709551615 215988612623 0 0 16781312 33554946 72409437758827364 0 0 17 4 0 0 0
/proc/15280/statm: 70753 5665 376 364 0 5640 0
[pid=15282] ppid=15280 vsize=76488 CPUtime=45.7 cores=0,2,4,6
/proc/15282/stat : 15282 (scip-2.0.1.linu) R 15280 15282 15282 0 -1 4202496 17529 0 0 0 4506 64 0 0 25 0 1 0 947904475 78323712 16879 33554432000 4194304 13684479 140736044730080 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15282/statm: 19122 16879 799 2317 0 16800 0
[pid=15274/tid=15281] ppid=15272 vsize=293256 CPUtime=0 cores=0,2,4,6
/proc/15274/task/15281/stat : 15281 (python) S 15272 15274 14716 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947904475 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000416177 0 0 16781312 33554434 18446604444808702080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 46.33
Current children cumulated vsize (KiB) 652756
[startup+46.7008 s]
/proc/loadavg: 2.33 1.65 0.76 3/589 15287
/proc/meminfo: memFree=20224708/32950940 swapFree=67111360/67111528
[pid=15274] ppid=15272 vsize=293256 CPUtime=0.45 cores=0,2,4,6
/proc/15274/stat : 15274 (python) S 15272 15274 14716 0 -1 4202496 9659 928 1 0 34 11 0 0 19 0 2 0 947904416 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15274/statm: 73314 7163 1870 364 0 8201 0
[pid=15280] ppid=15274 vsize=283012 CPUtime=0.18 cores=0,2,4,6
/proc/15280/stat : 15280 (python) S 15274 15274 14716 0 -1 4202560 917 0 0 0 9 9 0 0 15 0 1 0 947904474 289804288 5665 33554432000 4194304 5683644 140734249812608 18446744073709551615 215988612623 0 0 16781312 33554946 72409437758827364 0 0 17 4 0 0 0
/proc/15280/statm: 70753 5665 376 364 0 5640 0
[pid=15282] ppid=15280 vsize=76488 CPUtime=46.1 cores=0,2,4,6
/proc/15282/stat : 15282 (scip-2.0.1.linu) R 15280 15282 15282 0 -1 4202496 17529 0 0 0 4545 65 0 0 25 0 1 0 947904475 78323712 16879 33554432000 4194304 13684479 140736044730080 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15282/statm: 19122 16879 799 2317 0 16800 0
[pid=15274/tid=15281] ppid=15272 vsize=293256 CPUtime=0 cores=0,2,4,6
/proc/15274/task/15281/stat : 15281 (python) S 15272 15274 14716 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947904475 300294144 7163 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000416177 0 0 16781312 33554434 18446604444808702080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 46.73
Current children cumulated vsize (KiB) 652756
[startup+47.1007 s]
/proc/loadavg: 2.33 1.65 0.76 3/589 15287
/proc/meminfo: memFree=20224708/32950940 swapFree=67111360/67111528
[pid=15274] ppid=15272 vsize=303980 CPUtime=0.48 cores=0,2,4,6
/proc/15274/stat : 15274 (python) S 15272 15274 14716 0 -1 4202496 10458 928 1 0 37 11 0 0 20 0 3 0 947904416 311275520 7293 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15274/statm: 75995 7293 1873 364 0 10879 0
[pid=15280] ppid=15274 vsize=293256 CPUtime=0.2 cores=0,2,4,6
/proc/15280/stat : 15280 (python) S 15274 15274 14716 0 -1 4202560 1077 0 0 0 10 10 0 0 17 0 2 0 947904474 300294144 5701 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/15280/statm: 73314 5701 407 364 0 8201 0
[pid=15282] ppid=15280 vsize=76488 CPUtime=46.33 cores=0,2,4,6
/proc/15282/stat : 15282 (scip-2.0.1.linu) T 15280 15282 15282 0 -1 4202496 17529 0 0 0 4567 66 0 0 25 0 1 0 947904475 78323712 16879 33554432000 4194304 13684479 140736044730080 18446744073709551615 7361391 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/15282/statm: 19122 16879 799 2317 0 16800 0
[pid=15274/tid=15281] ppid=15272 vsize=303980 CPUtime=0 cores=0,2,4,6
/proc/15274/task/15281/stat : 15281 (python) S 15272 15274 14716 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 3 0 947904475 311275520 7293 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000416177 0 0 16781312 33554434 18446604444808702080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 47.01
Current children cumulated vsize (KiB) 673724
[startup+47.2007 s]
/proc/loadavg: 2.33 1.65 0.76 5/611 15309
/proc/meminfo: memFree=20203020/32950940 swapFree=67111360/67111528
[pid=15274] ppid=15272 vsize=303980 CPUtime=0.48 cores=0,2,4,6
/proc/15274/stat : 15274 (python) S 15272 15274 14716 0 -1 4202496 10458 928 1 0 37 11 0 0 20 0 3 0 947904416 311275520 7293 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15274/statm: 75995 7293 1873 364 0 10879 0
[pid=15280] ppid=15274 vsize=293256 CPUtime=0.2 cores=0,2,4,6
/proc/15280/stat : 15280 (python) S 15274 15274 14716 0 -1 4202560 1077 0 0 0 10 10 0 0 17 0 2 0 947904474 300294144 5701 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/15280/statm: 73314 5701 407 364 0 8201 0
[pid=15282] ppid=15280 vsize=76488 CPUtime=46.33 cores=0,2,4,6
/proc/15282/stat : 15282 (scip-2.0.1.linu) T 15280 15282 15282 0 -1 4202496 17529 0 0 0 4567 66 0 0 25 0 1 0 947904475 78323712 16879 33554432000 4194304 13684479 140736044730080 18446744073709551615 7361391 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/15282/statm: 19122 16879 799 2317 0 16800 0
[pid=15280/tid=15288] ppid=15274 vsize=293256 CPUtime=0 cores=0,2,4,6
/proc/15280/task/15288/stat : 15288 (python) S 15274 15274 14716 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947909109 300294144 5701 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000416177 0 0 16781312 33554946 18446604449545593920 0 0 -1 4 0 0 0
[pid=15289] ppid=15274 vsize=293736 CPUtime=0 cores=0,2,4,6
/proc/15289/stat : 15289 (python) S 15274 15274 14716 0 -1 4202560 787 0 0 0 0 0 0 0 18 0 1 0 947909111 300785664 5765 33554432000 4194304 5683644 140734249812608 18446744073709551615 215988612678 0 0 16781312 33554946 458468809452290048 0 0 17 6 0 0 0
/proc/15289/statm: 73434 5765 349 364 0 8318 0
[pid=15291] ppid=15289 vsize=8537756 CPUtime=0.37 cores=0,2,4,6
/proc/15291/stat : 15291 (java) S 15289 15291 15291 0 -1 4202496 8019 0 1 0 36 1 0 0 20 0 19 0 947909112 8742662144 6992 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/15291/statm: 2134439 6992 2194 9 0 2125180 0
[pid=15291/tid=15292] ppid=15289 vsize=8537048 CPUtime=0.24 cores=0,2,4,6
/proc/15291/task/15292/stat : 15292 (java) R 15289 15291 15291 0 -1 4202560 4089 0 1 0 23 1 0 0 25 0 19 0 947909113 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 47570659177678 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15291/tid=15293] ppid=15289 vsize=8537048 CPUtime=0 cores=0,2,4,6
/proc/15291/task/15293/stat : 15293 (java) S 15289 15291 15291 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947909113 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 216000408473 0 4 0 16800975 18446604445362866944 0 0 -1 6 0 0 0
[pid=15291/tid=15294] ppid=15289 vsize=8537048 CPUtime=0 cores=0,2,4,6
/proc/15291/task/15294/stat : 15294 (java) S 15289 15291 15291 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947909113 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 216000408473 0 4 0 16800975 18446604445362866944 0 0 -1 6 0 0 0
[pid=15291/tid=15295] ppid=15289 vsize=8537048 CPUtime=0 cores=0,2,4,6
/proc/15291/task/15295/stat : 15295 (java) S 15289 15291 15291 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947909113 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 216000408473 0 4 0 16800975 18446604445362866944 0 0 -1 6 0 0 0
[pid=15291/tid=15296] ppid=15289 vsize=8537048 CPUtime=0 cores=0,2,4,6
/proc/15291/task/15296/stat : 15296 (java) S 15289 15291 15291 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947909113 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 216000408473 0 4 0 16800975 18446604445362866944 0 0 -1 6 0 0 0
[pid=15291/tid=15297] ppid=15289 vsize=8537048 CPUtime=0 cores=0,2,4,6
/proc/15291/task/15297/stat : 15297 (java) S 15289 15291 15291 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947909113 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 216000408473 0 4 0 16800975 18446604445362866944 0 0 -1 6 0 0 0
[pid=15291/tid=15298] ppid=15289 vsize=8537048 CPUtime=0 cores=0,2,4,6
/proc/15291/task/15298/stat : 15298 (java) S 15289 15291 15291 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947909113 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 216000408473 0 4 0 16800975 18446604445362866944 0 0 -1 6 0 0 0
[pid=15291/tid=15299] ppid=15289 vsize=8537048 CPUtime=0 cores=0,2,4,6
/proc/15291/task/15299/stat : 15299 (java) S 15289 15291 15291 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947909113 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 216000408473 0 4 0 16800975 18446604445362866944 0 0 -1 2 0 0 0
[pid=15291/tid=15300] ppid=15289 vsize=8537048 CPUtime=0 cores=0,2,4,6
/proc/15291/task/15300/stat : 15300 (java) S 15289 15291 15291 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947909113 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 216000408473 0 4 0 16800975 18446604445362866944 0 0 -1 2 0 0 0
[pid=15291/tid=15301] ppid=15289 vsize=8537048 CPUtime=0 cores=0,2,4,6
/proc/15291/task/15301/stat : 15301 (java) S 15289 15291 15291 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947909114 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 216000409088 0 0 0 16800975 18446604445362866944 0 0 -1 6 0 0 0
[pid=15291/tid=15302] ppid=15289 vsize=8537048 CPUtime=0 cores=0,2,4,6
/proc/15291/task/15302/stat : 15302 (java) S 15289 15291 15291 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947909115 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 216000408473 0 4 0 16800975 18446604445362866944 0 0 -1 6 0 0 0
[pid=15291/tid=15303] ppid=15289 vsize=8537048 CPUtime=0 cores=0,2,4,6
/proc/15291/task/15303/stat : 15303 (java) S 15289 15291 15291 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947909115 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 216000408473 0 4 0 16800975 18446604445362866944 0 0 -1 6 0 0 0
[pid=15291/tid=15304] ppid=15289 vsize=8537048 CPUtime=0 cores=0,2,4,6
/proc/15291/task/15304/stat : 15304 (java) S 15289 15291 15291 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947909117 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 216000416177 0 4 0 16800975 18446604445362866944 0 0 -1 6 0 0 0
[pid=15291/tid=15305] ppid=15289 vsize=8537048 CPUtime=0.07 cores=0,2,4,6
/proc/15291/task/15305/stat : 15305 (java) R 15289 15291 15291 0 -1 4202560 1042 0 0 0 7 0 0 0 25 0 19 0 947909117 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 47570657025114 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15291/tid=15306] ppid=15289 vsize=8537048 CPUtime=0.07 cores=0,2,4,6
/proc/15291/task/15306/stat : 15306 (java) R 15289 15291 15291 0 -1 4202560 1572 0 0 0 7 0 0 0 25 0 19 0 947909117 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 47570659084773 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15291/tid=15307] ppid=15289 vsize=8537048 CPUtime=0 cores=0,2,4,6
/proc/15291/task/15307/stat : 15307 (java) S 15289 15291 15291 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947909117 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 216000408473 0 4 0 16800975 18446604445362866944 0 0 -1 6 0 0 0
[pid=15291/tid=15308] ppid=15289 vsize=8537048 CPUtime=0 cores=0,2,4,6
/proc/15291/task/15308/stat : 15308 (java) S 15289 15291 15291 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947909117 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 216000409088 0 4 0 16800975 18446604445362866944 0 0 -1 6 0 0 0
[pid=15291/tid=15309] ppid=15289 vsize=8537048 CPUtime=0 cores=0,2,4,6
/proc/15291/task/15309/stat : 15309 (java) S 15289 15291 15291 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947909133 8741937152 6966 33554432000 1073741824 1073778376 140734699882928 18446744073709551615 216000409088 0 4 0 16800975 18446604445362866944 0 0 -1 6 0 0 0
[pid=15274/tid=15281] ppid=15272 vsize=303980 CPUtime=0 cores=0,2,4,6
/proc/15274/task/15281/stat : 15281 (python) S 15272 15274 14716 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 3 0 947904475 311275520 7293 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000416177 0 0 16781312 33554434 18446604444808702080 0 0 -1 4 0 0 0
[pid=15274/tid=15290] ppid=15272 vsize=303980 CPUtime=0 cores=0,2,4,6
/proc/15274/task/15290/stat : 15290 (python) S 15272 15274 14716 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 3 0 947909111 311275520 7293 33554432000 4194304 5683644 140734249812608 18446744073709551615 216000416177 0 0 16781312 33554434 18446604444808702080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.38
Current children cumulated vsize (KiB) 9505216
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15274 and gives
# childrusage.ru_utime.tv_sec=46
# childrusage.ru_utime.tv_usec=185978
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=894863
# CPU time returned by wait4() is 47.0808
# while last known CPU time is 47.38
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 47.3179
CPU time (s): 47.38
CPU user time (s): 46.5
CPU system time (s): 0.88
CPU usage (%): 100.131
Max. virtual memory (cumulated for all children) (KiB): 9505216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.186
system time used= 0.894863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35612
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= 1745
involuntary context switches= 98
runsolver used 0.278957 second user time and 0.543917 second system time
The end