Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 15780 | 1800.01 | 1800.87 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos5.opb |
MD5SUM | 687e90f40c46b53feec9c54ee9b43fa6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 15363 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 15360 |
Optimality of the best value was proved | NO |
Number of variables | 163 |
Total number of constraints | 73 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 3 |
Number of constraints which are nor clauses,nor cardinality constraints | 70 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 102 |
Number of terms in the objective function | 163 |
Biggest coefficient in the objective function | 1024 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 74742 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 74742 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.23 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.23 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.23 c type "bsolo -h" for help 0.00/0.23 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.23 c Time Limit set to 1800 0.00/0.23 c Memory Limit set to 1800 MB 0.00/0.23 c Instance file /tmp/evaluation/351915-1176617353/instance-351915-1176617353.opb 0.00/0.23 c File size is 50269 bytes. 0.00/0.23 c Highest Coefficient sum: 74742 0.00/0.23 c Parsing was ok!! 0.00/0.23 c Total parsing time: 0.008 s 0.00/0.23 c Var: 163 Constr: 73 0/3/70 Lit: 5326 Watch. Lit: 548 0.00/0.23 c Obj. Vars: 163 (100 % of total variables) 0.00/0.24 c Pre-processing Time: 0.013 s 0.00/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.25 c 0 163 73 5326 72 548 10705 0 0 0.01 0.00/0.25 c Initial Lower Bound: 13312 0.00/0.25 c Initial Path Cost: 0 0.00/0.25 o 20480 0.021 0.16/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.16/0.41 c 0 163 74 5489 74 693 11031 1 0 0.02 0.16/0.41 o 16897 0.182 * 0.56/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.56/0.86 c 0 163 75 5652 75 893 11357 2 0 0.18 0.56/0.86 c 100 163 251 17290 68 1467 12493 178 210 0.47 0.56/0.86 o 16896 0.631 * 0.76/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.76/1.03 c 102 163 256 17667 69 1486 11357 183 161 0.63 0.76/1.03 o 16641 0.798 * 0.96/1.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.96/1.21 c 102 163 257 17830 69 1642 11357 184 127 0.80 0.96/1.21 o 16386 0.983 * 2.05/2.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.05/2.33 c 102 163 258 17993 69 1730 11357 185 103 0.98 2.05/2.33 c 202 163 438 31693 72 2213 12493 365 152 1.33 2.05/2.33 c 452 163 876 62344 71 3170 13743 803 238 1.89 2.05/2.33 o 16131 2.1 * 2.56/2.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.56/2.83 c 454 163 879 62668 71 3417 11357 806 216 2.10 2.56/2.83 c 554 163 1056 74016 70 3506 12493 983 229 2.41 2.56/2.83 o 16067 2.597 * 37.95/38.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.95/38.30 c 557 163 1063 74549 70 3743 11357 990 214 2.60 37.95/38.30 c 657 163 1244 84773 68 4179 12493 1171 224 2.92 37.95/38.30 c 907 163 1704 111946 65 5024 13743 1631 258 3.52 37.95/38.30 c 1382 163 2538 174779 68 6897 15118 2465 306 4.51 37.95/38.30 c 2195 163 3876 285663 73 9578 16630 3803 357 6.13 37.95/38.30 c 3515 163 6289 449593 71 14256 18294 6216 405 8.68 37.95/38.30 c 5596 163 10080 692329 68 22034 20124 10007 427 13.09 37.95/38.30 c 8820 163 15730 1036635 65 33405 22137 15657 421 20.92 37.95/38.30 c 13756 163 12857 841234 65 26652 24351 12784 421 32.61 37.95/38.30 o 16005 38.052 * 38.34/38.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.34/38.67 c 15740 163 16359 1064752 65 34047 11031 16286 413 38.05 38.34/38.67 o 15874 38.424 * 104.62/104.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 104.62/104.91 c 15742 163 5595 372002 66 12318 11031 5522 409 38.42 104.62/104.91 c 15843 163 5780 384083 66 12417 12135 5707 408 38.81 104.62/104.91 c 16093 163 6237 408227 65 13339 13349 6164 406 39.57 104.62/104.91 c 16568 163 7095 454151 64 15400 14684 7022 405 40.91 104.62/104.91 c 17381 163 8567 518632 60 18191 16153 8494 403 43.08 104.62/104.91 c 18701 163 10857 656848 60 22977 17769 10784 401 46.55 104.62/104.91 c 20782 163 14650 950588 64 30525 19546 14577 401 51.73 104.62/104.91 c 24005 163 10719 679854 63 22137 21501 10646 398 60.23 104.62/104.91 c 28941 163 19712 1146188 58 40119 23652 19639 392 73.75 104.62/104.91 c 36447 163 20400 1230500 60 41810 26018 20327 380 95.80 104.62/104.91 o 15873 104.646 * 108.62/108.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 108.62/108.97 c 39597 163 26021 1534646 58 53040 11031 25948 378 104.65 108.62/108.97 c 39697 163 5779 328745 56 12118 12135 5706 373 106.35 108.62/108.97 c 39947 163 6236 355258 56 13370 13349 6163 372 107.15 108.62/108.97 c 40423 163 7097 415129 58 14835 14684 7024 372 108.45 108.62/108.97 o 15780 108.7 * 1799.94/1800.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.94/1800.86 c 40436 163 7118 416589 58 15268 11031 7045 371 108.70 1799.94/1800.86 c 40536 163 7296 427419 58 15623 12135 7223 371 109.14 1799.94/1800.86 c 40786 163 7746 449899 58 16564 13349 7673 371 109.90 1799.94/1800.86 c 41261 163 8586 497062 57 18773 14684 8513 370 111.29 1799.94/1800.86 c 42074 163 10013 578753 57 21511 16153 9940 370 113.64 1799.94/1800.86 c 43394 163 12360 732726 59 25993 17769 12287 370 117.14 1799.94/1800.86 c 45475 163 15984 967100 60 33123 19546 15911 372 121.97 1799.94/1800.86 c 48698 163 12057 687940 57 25066 21501 11984 372 130.56 1799.94/1800.86 c 53634 163 20766 1246946 60 42745 23652 20693 373 143.69 1799.94/1800.86 c 61140 163 21115 1326364 62 43066 26018 21042 370 164.84 1799.94/1800.86 c 72502 163 10947 820356 74 22914 28620 10874 359 201.82 1799.94/1800.86 c 89646 163 24255 1766066 72 49258 31483 24182 340 263.32 1799.94/1800.86 c 115465 163 30854 1933111 62 62722 34632 30781 324 355.46 1799.94/1800.86 c 154297 163 23914 1480102 61 48752 38096 23841 302 509.78 1799.94/1800.86 c 212649 163 18734 1175293 62 39108 41906 18661 295 720.58 1799.94/1800.86 c 300281 163 25590 1306476 51 52211 46097 25517 285 1050.81 1799.94/1800.86 c 431833 163 39798 2850954 71 80640 50707 39725 275 1568.38 1799.94/1800.86 c Resources Exceeded 1799.94/1800.86 v -x1 -x12 x23 x34 -x45 x116 -x161 -x162 x163 -x2 -x3 -x4 x5 -x6 -x7 x8 x9 -x10 -x11 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 1799.94/1800.86 v -x24 -x25 x26 -x27 x28 -x29 -x30 x31 -x32 x33 -x35 -x36 x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x46 -x47 -x48 -x49 x50 x51 x52 x53 1799.94/1800.86 v x54 x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 x80 1799.94/1800.86 v -x81 -x82 -x83 x84 x85 x86 x87 -x88 x89 x90 -x91 -x92 -x93 x94 x95 x96 x97 x98 x99 x100 x101 -x102 -x103 -x104 x105 x106 -x107 x108 1799.94/1800.86 v x109 -x110 -x111 -x112 x113 -x114 -x115 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 x128 x129 x130 x131 1799.94/1800.86 v x132 -x133 x134 -x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 -x144 x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 1799.94/1800.86 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 1799.94/1800.86 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.86 c 51 483843 703 488734 12728 611277 12655 268 1800.00 1799.94/1800.86 c Objective: 15780 1799.94/1800.86 s SATISFIABLE 1799.94/1800.86 c Total time: 1800 s
OK 15780
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node76/watcher-351915-1176617353 -o ROOT/results/node76/solver-351915-1176617353 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351915-1176617353/instance-351915-1176617353.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.09 2.26 1.60 3/69 26786 /proc/meminfo: memFree=1983080/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=18572 CPUtime=0 /proc/26786/stat : 26786 (runsolver) D 26784 26786 31307 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 109649833 19017728 292 18446744073709551615 4194304 4296420 548682068976 18446744073709551615 206843737111 0 0 4096 24578 18446744071563611212 0 0 17 1 0 0 /proc/26786/statm: 4643 292 257 24 0 2626 0 [startup+0.0136549 s] /proc/loadavg: 2.09 2.26 1.60 3/69 26786 /proc/meminfo: memFree=1983080/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=18572 CPUtime=0 /proc/26786/stat : 26786 (runsolver) D 26784 26786 31307 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 109649833 19017728 292 18446744073709551615 4194304 4296420 548682068976 18446744073709551615 206843737111 0 0 4096 24578 18446744071563611212 0 0 17 0 0 0 /proc/26786/statm: 4643 292 257 24 0 2626 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 18572 [startup+0.101676 s] /proc/loadavg: 2.09 2.26 1.60 3/69 26786 /proc/meminfo: memFree=1983080/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=2524 CPUtime=0 /proc/26786/stat : 26786 (bsolo3.0.16) D 26784 26786 31307 0 -1 4194304 50 0 2 0 0 0 0 0 18 0 1 0 109649833 2584576 36 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4822167 0 0 4096 0 18446744071563481621 0 0 17 0 0 0 /proc/26786/statm: 631 36 28 324 0 8 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2524 [startup+0.301715 s] /proc/loadavg: 2.09 2.26 1.60 3/69 26786 /proc/meminfo: memFree=1983080/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=13172 CPUtime=0.07 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 1180 0 17 0 7 0 0 0 18 0 1 0 109649833 13488128 616 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134792811 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26786/statm: 3293 616 389 324 0 2361 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13172 [startup+0.701788 s] /proc/loadavg: 2.09 2.26 1.60 3/69 26786 /proc/meminfo: memFree=1983080/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=5516 CPUtime=0.47 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 5695 0 17 0 45 2 0 0 21 0 1 0 109649833 5648384 697 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134688645 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26786/statm: 1379 697 390 324 0 447 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 5516 [startup+1.50194 s] /proc/loadavg: 2.09 2.26 1.60 2/70 26787 /proc/meminfo: memFree=1979488/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=5072 CPUtime=1.26 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 10930 0 17 0 122 4 0 0 25 0 1 0 109649833 5193728 726 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 1268 726 390 324 0 336 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 5072 [startup+3.10125 s] /proc/loadavg: 2.09 2.26 1.60 2/70 26787 /proc/meminfo: memFree=1978848/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=6080 CPUtime=2.85 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 23732 0 17 0 276 9 0 0 25 0 1 0 109649833 6225920 950 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 1520 950 390 324 0 588 0 Current children cumulated CPU time (s) 2.85 Current children cumulated vsize (KiB) 6080 [startup+6.30187 s] /proc/loadavg: 2.00 2.24 1.60 2/70 26787 /proc/meminfo: memFree=1976680/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=9392 CPUtime=6.05 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 40445 0 17 0 588 17 0 0 25 0 1 0 109649833 9617408 1641 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5253109 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 2348 1641 390 324 0 1416 0 Current children cumulated CPU time (s) 6.05 Current children cumulated vsize (KiB) 9392 [startup+12.7011 s] /proc/loadavg: 1.92 2.22 1.60 2/70 26787 /proc/meminfo: memFree=1970672/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=14324 CPUtime=12.45 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 69667 0 17 0 1213 32 0 0 25 0 1 0 109649833 14667776 3001 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 3581 3001 390 324 0 2649 0 Current children cumulated CPU time (s) 12.45 Current children cumulated vsize (KiB) 14324 [startup+25.5016 s] /proc/loadavg: 1.71 2.16 1.59 2/70 26787 /proc/meminfo: memFree=1961520/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=23072 CPUtime=25.24 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 131203 0 17 0 2461 63 0 0 25 0 1 0 109649833 23625728 5228 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 5768 5228 390 324 0 4836 0 Current children cumulated CPU time (s) 25.24 Current children cumulated vsize (KiB) 23072 [startup+51.1015 s] /proc/loadavg: 1.47 2.06 1.57 2/70 26787 /proc/meminfo: memFree=1958320/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=26584 CPUtime=50.84 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 216634 0 17 0 4971 113 0 0 25 0 1 0 109649833 27222016 6027 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 6646 6027 390 324 0 5714 0 Current children cumulated CPU time (s) 50.84 Current children cumulated vsize (KiB) 26584 [startup+102.305 s] /proc/loadavg: 1.20 1.90 1.54 2/70 26787 /proc/meminfo: memFree=1958320/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=26584 CPUtime=102.02 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 344376 0 17 0 10005 197 0 0 25 0 1 0 109649833 27222016 6036 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 6646 6036 390 324 0 5714 0 Current children cumulated CPU time (s) 102.02 Current children cumulated vsize (KiB) 26584 [startup+162.301 s] /proc/loadavg: 1.07 1.73 1.50 2/70 26787 /proc/meminfo: memFree=1957232/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=27744 CPUtime=162 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 499622 0 17 0 15901 299 0 0 25 0 1 0 109649833 28409856 6308 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5254654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 6936 6308 390 324 0 6004 0 Current children cumulated CPU time (s) 162 Current children cumulated vsize (KiB) 27744 [startup+222.302 s] /proc/loadavg: 1.02 1.60 1.47 2/70 26787 /proc/meminfo: memFree=1952432/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=32064 CPUtime=221.97 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 773436 0 17 0 21740 457 0 0 25 0 1 0 109649833 32833536 7486 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 8016 7486 390 324 0 7084 0 Current children cumulated CPU time (s) 221.97 Current children cumulated vsize (KiB) 32064 [startup+282.301 s] /proc/loadavg: 1.01 1.48 1.44 2/70 26787 /proc/meminfo: memFree=1946992/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=37456 CPUtime=281.96 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 951363 0 17 0 27633 563 0 0 25 0 1 0 109649833 38354944 8835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134707685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 9364 8835 390 324 0 8432 0 Current children cumulated CPU time (s) 281.96 Current children cumulated vsize (KiB) 37456 [startup+342.303 s] /proc/loadavg: 1.00 1.39 1.41 2/70 26787 /proc/meminfo: memFree=1946992/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=38184 CPUtime=341.94 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 1173788 0 17 0 33494 700 0 0 25 0 1 0 109649833 39100416 8826 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 9546 8826 390 324 0 8614 0 Current children cumulated CPU time (s) 341.94 Current children cumulated vsize (KiB) 38184 [startup+402.301 s] /proc/loadavg: 1.00 1.32 1.38 2/70 26787 /proc/meminfo: memFree=1946992/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=37404 CPUtime=401.92 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 1383683 0 17 0 39360 832 0 0 25 0 1 0 109649833 38301696 8822 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 9351 8822 390 324 0 8419 0 Current children cumulated CPU time (s) 401.92 Current children cumulated vsize (KiB) 37404 [startup+462.301 s] /proc/loadavg: 1.00 1.26 1.35 2/70 26787 /proc/meminfo: memFree=1946992/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=37404 CPUtime=461.89 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 1556624 0 17 0 45243 946 0 0 25 0 1 0 109649833 38301696 8822 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 9351 8822 390 324 0 8419 0 Current children cumulated CPU time (s) 461.89 Current children cumulated vsize (KiB) 37404 [startup+522.302 s] /proc/loadavg: 1.00 1.21 1.33 2/70 26787 /proc/meminfo: memFree=1946928/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=37404 CPUtime=521.87 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 1697098 0 17 0 51132 1055 0 0 25 0 1 0 109649833 38301696 8822 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 9351 8822 390 324 0 8419 0 Current children cumulated CPU time (s) 521.87 Current children cumulated vsize (KiB) 37404 [startup+582.301 s] /proc/loadavg: 1.00 1.17 1.30 2/70 26787 /proc/meminfo: memFree=1944816/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=39800 CPUtime=581.85 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 1749984 0 17 0 57082 1103 0 0 25 0 1 0 109649833 40755200 9357 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134708126 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 9950 9357 390 324 0 9018 0 Current children cumulated CPU time (s) 581.85 Current children cumulated vsize (KiB) 39800 [startup+642.302 s] /proc/loadavg: 1.00 1.14 1.28 2/70 26787 /proc/meminfo: memFree=1944752/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=39768 CPUtime=641.83 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 1765533 0 17 0 63059 1124 0 0 25 0 1 0 109649833 40722432 9357 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 9942 9357 390 324 0 9010 0 Current children cumulated CPU time (s) 641.83 Current children cumulated vsize (KiB) 39768 ################ # More data... # ################ /proc/meminfo: memFree=1937456/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=47148 CPUtime=1121.67 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 2994995 0 17 0 110272 1895 0 0 25 0 1 0 109649833 48279552 11126 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135267606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 11787 11126 390 324 0 10855 0 Current children cumulated CPU time (s) 1121.67 Current children cumulated vsize (KiB) 47148 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.14 2/70 26787 /proc/meminfo: memFree=1929072/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=55928 CPUtime=1181.65 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 3155904 0 17 0 116169 1996 0 0 25 0 1 0 109649833 57270272 13353 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313648 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 13982 13353 390 324 0 13050 0 Current children cumulated CPU time (s) 1181.65 Current children cumulated vsize (KiB) 55928 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.13 2/70 26787 /proc/meminfo: memFree=1928496/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=55984 CPUtime=1241.63 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 3220895 0 17 0 122107 2056 0 0 25 0 1 0 109649833 57327616 13362 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135227471 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 13996 13362 390 324 0 13064 0 Current children cumulated CPU time (s) 1241.63 Current children cumulated vsize (KiB) 55984 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.12 2/70 26787 /proc/meminfo: memFree=1928368/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=55716 CPUtime=1301.61 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 3285872 0 17 0 128044 2117 0 0 25 0 1 0 109649833 57053184 13376 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 13929 13376 390 324 0 12997 0 Current children cumulated CPU time (s) 1301.61 Current children cumulated vsize (KiB) 55716 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.11 2/70 26787 /proc/meminfo: memFree=1928368/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=55716 CPUtime=1361.59 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 3334900 0 17 0 133993 2166 0 0 25 0 1 0 109649833 57053184 13376 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 13929 13376 390 324 0 12997 0 Current children cumulated CPU time (s) 1361.59 Current children cumulated vsize (KiB) 55716 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.09 2/70 26787 /proc/meminfo: memFree=1928304/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=55716 CPUtime=1421.56 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 3364293 0 17 0 139956 2200 0 0 25 0 1 0 109649833 57053184 13376 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 13929 13376 390 324 0 12997 0 Current children cumulated CPU time (s) 1421.56 Current children cumulated vsize (KiB) 55716 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.09 2/70 26787 /proc/meminfo: memFree=1928496/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=55228 CPUtime=1481.54 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 3386912 0 17 0 145928 2226 0 0 25 0 1 0 109649833 56553472 13278 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135325803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 13807 13278 390 324 0 12875 0 Current children cumulated CPU time (s) 1481.54 Current children cumulated vsize (KiB) 55228 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.08 2/70 26787 /proc/meminfo: memFree=1928624/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=55228 CPUtime=1541.52 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 3485285 0 17 0 151848 2304 0 0 25 0 1 0 109649833 56553472 13278 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 13807 13278 390 324 0 12875 0 Current children cumulated CPU time (s) 1541.52 Current children cumulated vsize (KiB) 55228 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.07 2/70 26787 /proc/meminfo: memFree=1927408/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=56464 CPUtime=1601.5 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 3604154 0 17 0 157758 2392 0 0 25 0 1 0 109649833 57819136 13570 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 14116 13570 390 324 0 13184 0 Current children cumulated CPU time (s) 1601.5 Current children cumulated vsize (KiB) 56464 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.07 2/70 26787 /proc/meminfo: memFree=1927408/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=56464 CPUtime=1661.48 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 3782258 0 17 0 163637 2511 0 0 25 0 1 0 109649833 57819136 13571 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091749 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 14116 13571 390 324 0 13184 0 Current children cumulated CPU time (s) 1661.48 Current children cumulated vsize (KiB) 56464 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.06 2/70 26787 /proc/meminfo: memFree=1927344/2055888 swapFree=4078144/4096564 [pid=26786] ppid=26784 vsize=56464 CPUtime=1721.46 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 3895566 0 17 0 169557 2589 0 0 25 0 1 0 109649833 57819136 13571 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 14116 13571 390 324 0 13184 0 Current children cumulated CPU time (s) 1721.46 Current children cumulated vsize (KiB) 56464 [startup+1782.3 s] /proc/loadavg: 1.07 1.03 1.07 2/70 26789 /proc/meminfo: memFree=1923696/2055888 swapFree=4078192/4096564 [pid=26786] ppid=26784 vsize=56464 CPUtime=1781.44 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 4086776 0 17 0 175422 2722 0 0 25 0 1 0 109649833 57819136 13571 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 14116 13571 390 324 0 13184 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (KiB) 56464 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.06 1.03 1.07 2/70 26789 /proc/meminfo: memFree=1923696/2055888 swapFree=4078192/4096564 [pid=26786] ppid=26784 vsize=56464 CPUtime=1791.04 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 4117563 0 17 0 176361 2743 0 0 25 0 1 0 109649833 57819136 13571 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 14116 13571 390 324 0 13184 0 Current children cumulated CPU time (s) 1791.04 Current children cumulated vsize (KiB) 56464 [startup+1795.1 s] /proc/loadavg: 1.05 1.02 1.07 2/70 26789 /proc/meminfo: memFree=1923696/2055888 swapFree=4078192/4096564 [pid=26786] ppid=26784 vsize=56464 CPUtime=1794.24 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 4121230 0 17 0 176678 2746 0 0 25 0 1 0 109649833 57819136 13571 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546310 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 14116 13571 390 324 0 13184 0 Current children cumulated CPU time (s) 1794.24 Current children cumulated vsize (KiB) 56464 [startup+1798.3 s] /proc/loadavg: 1.05 1.02 1.07 2/70 26789 /proc/meminfo: memFree=1923696/2055888 swapFree=4078192/4096564 [pid=26786] ppid=26784 vsize=56464 CPUtime=1797.43 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 4121230 0 17 0 176997 2746 0 0 25 0 1 0 109649833 57819136 13571 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 14116 13571 390 324 0 13184 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (KiB) 56464 [startup+1799.9 s] /proc/loadavg: 1.05 1.02 1.07 2/70 26789 /proc/meminfo: memFree=1923696/2055888 swapFree=4078192/4096564 [pid=26786] ppid=26784 vsize=56464 CPUtime=1799.04 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 4124624 0 17 0 177156 2748 0 0 25 0 1 0 109649833 57819136 13571 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 14116 13571 390 324 0 13184 0 Current children cumulated CPU time (s) 1799.04 Current children cumulated vsize (KiB) 56464 [startup+1800.3 s] /proc/loadavg: 1.05 1.02 1.07 2/70 26789 /proc/meminfo: memFree=1923696/2055888 swapFree=4078192/4096564 [pid=26786] ppid=26784 vsize=56972 CPUtime=1799.43 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 4125733 0 17 0 177195 2748 0 0 25 0 1 0 109649833 58339328 13574 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134800534 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 14243 13574 390 324 0 13311 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (KiB) 56972 [startup+1800.7 s] /proc/loadavg: 1.05 1.02 1.07 2/70 26789 /proc/meminfo: memFree=1923696/2055888 swapFree=4078192/4096564 [pid=26786] ppid=26784 vsize=56464 CPUtime=1799.83 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 4126929 0 17 0 177234 2749 0 0 25 0 1 0 109649833 57819136 13571 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134708928 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 14116 13571 390 324 0 13184 0 Current children cumulated CPU time (s) 1799.83 Current children cumulated vsize (KiB) 56464 [startup+1800.8 s] /proc/loadavg: 1.05 1.02 1.07 2/70 26789 /proc/meminfo: memFree=1923696/2055888 swapFree=4078192/4096564 [pid=26786] ppid=26784 vsize=57276 CPUtime=1799.94 /proc/26786/stat : 26786 (bsolo3.0.16) R 26784 26786 31307 0 -1 4194304 4127221 0 17 0 177244 2750 0 0 25 0 1 0 109649833 58650624 13580 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134695057 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26786/statm: 14319 13580 390 324 0 13387 0 Current children cumulated CPU time (s) 1799.94 Current children cumulated vsize (KiB) 57276 Child status: 0 Real time (s): 1800.87 CPU time (s): 1800.01 CPU user time (s): 1772.5 CPU system time (s): 27.5128 CPU usage (%): 99.9522 Max. virtual memory (cumulated for all children) (KiB): 57328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1772.5 system time used= 27.5128 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4127429 page faults= 17 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 46 involuntary context switches= 2843 runsolver used 1.3298 second user time and 3.59245 second system time The end
Begin job on node76 on Sun Apr 15 06:09:13 UTC 2007 IDJOB= 351915 IDBENCH= 1848 IDSOLVER= 163 FILE ID= node76/351915-1176617353 PBS_JOBID= 4557028 Free space on /tmp= 66647 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351915-1176617353/instance-351915-1176617353.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-351915-1176617353 -o ROOT/results/node76/solver-351915-1176617353 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351915-1176617353/instance-351915-1176617353.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6 RANDOM SEED= 537335403 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.277 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.17 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.277 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1983552 kB Buffers: 2276 kB Cached: 23536 kB SwapCached: 5128 kB Active: 17668 kB Inactive: 14716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1983552 kB SwapTotal: 4096564 kB SwapFree: 4078144 kB Dirty: 4560 kB Writeback: 0 kB Mapped: 10288 kB Slab: 26408 kB Committed_AS: 3253928 kB PageTables: 1440 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66647 MiB End job on node76 on Sun Apr 15 06:39:14 UTC 2007