Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.13 | 1800.66 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos15.opb |
MD5SUM | 1be7a0a5556e21a359d6f31cb8a3ccd8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 256 |
Best CPU time to get the best result obtained on this benchmark | 1802.01 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 240 |
Optimality of the best value was proved | NO |
Number of variables | 17600 |
Total number of constraints | 632 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 632 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 150 |
Number of terms in the objective function | 10400 |
Biggest coefficient in the objective function | 3638 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 533864 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261895 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 533864 |
Number of bits of the biggest sum of numbers | 20 |
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.02 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.02 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.02 c type "bsolo -h" for help 0.00/0.02 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.03 c Time Limit set to 1800 0.00/0.03 c Memory Limit set to 1800 MB 0.00/0.03 c Instance file /tmp/evaluation/350745-1176545757/instance-350745-1176545757.opb 0.00/0.03 c File size is 602786 bytes. 0.06/0.14 c Highest Coefficient sum: 533864 0.06/0.14 c Parsing was ok!! 0.06/0.14 c Total parsing time: 0.114 s 0.06/0.15 c Var: 17600 Constr: 872 0/0/872 Lit: 76920 Watch. Lit: 13645 0.06/0.15 c Obj. Vars: 10400 (59.0909 % of total variables) 0.46/0.52 c Pre-processing Time: 0.494 s 0.46/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.46/0.52 c 0 14041 872 76920 88 67632 153840 0 0 0.49 0.46/0.52 c Switching off LPR mode. 1799.95/1800.53 c 101 14041 973 79622 81 67831 169225 101 194 0.52 1799.95/1800.53 c 252 14041 1124 85631 76 68165 186148 252 401 0.63 1799.95/1800.53 c 477 14041 1349 95723 70 68613 204763 477 645 0.74 1799.95/1800.53 c 815 14041 1687 105686 62 69289 225240 815 861 0.95 1799.95/1800.53 c 1325 14041 2197 136775 62 70300 247765 1325 1299 1.02 1799.95/1800.53 c 2088 14041 2960 163286 55 71799 272542 2088 1465 1.43 1799.95/1800.53 c 3235 14041 4107 195131 47 74091 299797 3235 1991 1.62 1799.95/1800.53 c 4956 14041 5828 249211 42 77533 329777 4956 2511 1.97 1799.95/1800.53 c 7540 14041 8412 353866 42 82710 362755 7540 2992 2.52 1799.95/1800.53 c 11419 14041 12291 470887 38 90461 399031 11419 3557 3.21 1799.95/1800.53 c 17241 14041 18113 872526 48 105351 438935 17241 3446 5.00 1799.95/1800.53 c 25978 14041 26850 1343402 50 122645 482829 25978 3635 7.15 1799.95/1800.53 c 39089 14041 39961 2233824 55 148876 531112 39089 3574 10.94 1799.95/1800.53 c 58760 14041 59632 3267515 54 188139 584224 58760 2437 24.10 1799.95/1800.53 c 88272 14041 89144 6200663 69 247263 642647 88272 1625 54.31 1799.95/1800.53 c 132542 14041 133414 10343044 77 335812 706912 132542 951 139.23 1799.95/1800.53 c 198952 14040 199824 13696278 68 468655 777604 198952 701 283.54 1799.95/1800.53 c 298573 14040 299445 26489205 88 667845 855365 298573 419 712.44 1799.95/1800.53 c 448010 14040 448882 35081656 78 966348 940902 448010 457 979.96 1799.95/1800.53 c Resources Exceeded 1799.95/1800.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.53 c 19 590008 34173 1009347 590880 58578783 590008 327 1800.00 1799.95/1800.53 s UNKNOWN 1799.95/1800.53 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-350745-1176545757 -o ROOT/results/node12/solver-350745-1176545757 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350745-1176545757/instance-350745-1176545757.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: 0.92 0.98 0.99 3/77 17576 /proc/meminfo: memFree=1742456/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=3780 CPUtime=0 /proc/17576/stat : 17576 (bsolo3.0.16) D 17574 17576 16177 0 -1 4194304 215 0 3 0 0 0 0 0 18 0 1 0 130613132 3870720 186 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9826992 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/17576/statm: 945 186 159 324 0 14 0 [startup+0.0891149 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17576 /proc/meminfo: memFree=1742456/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=6212 CPUtime=0.05 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 837 0 6 0 5 0 0 0 18 0 1 0 130613132 6361088 811 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 1553 811 353 324 0 474 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 6212 [startup+0.101115 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17576 /proc/meminfo: memFree=1742456/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=6348 CPUtime=0.06 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 908 0 6 0 6 0 0 0 18 0 1 0 130613132 6500352 882 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 1587 882 368 324 0 508 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 6348 [startup+0.301135 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17576 /proc/meminfo: memFree=1742456/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=9392 CPUtime=0.26 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 1857 0 6 0 25 1 0 0 19 0 1 0 130613132 9617408 1683 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134549317 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 2348 1684 306 324 0 1417 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9392 [startup+0.701176 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17576 /proc/meminfo: memFree=1742456/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=9520 CPUtime=0.66 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 2288 0 6 0 64 2 0 0 23 0 1 0 130613132 9748480 1728 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 2380 1728 312 324 0 1449 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 9520 [startup+1.50126 s] /proc/loadavg: 0.92 0.98 0.99 2/78 17577 /proc/meminfo: memFree=1735408/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=10836 CPUtime=1.46 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 2616 0 6 0 141 5 0 0 25 0 1 0 130613132 11096064 2056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 2709 2056 312 324 0 1778 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 10836 [startup+3.10142 s] /proc/loadavg: 0.93 0.98 0.99 2/78 17577 /proc/meminfo: memFree=1732784/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=15268 CPUtime=3.06 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 3725 0 6 0 298 8 0 0 25 0 1 0 130613132 15634432 3165 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 3817 3165 312 324 0 2886 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 15268 [startup+6.30174 s] /proc/loadavg: 0.93 0.98 0.99 2/78 17577 /proc/meminfo: memFree=1722032/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=26080 CPUtime=6.26 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 6433 0 6 0 613 13 0 0 25 0 1 0 130613132 26705920 5873 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 6520 5873 312 324 0 5589 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 26080 [startup+12.7014 s] /proc/loadavg: 0.94 0.98 0.99 2/78 17577 /proc/meminfo: memFree=1700464/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=45824 CPUtime=12.65 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 11372 0 6 0 1246 19 0 0 25 0 1 0 130613132 46923776 10812 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 11456 10812 312 324 0 10525 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 45824 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/78 17577 /proc/meminfo: memFree=1684336/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=62204 CPUtime=25.45 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 15438 0 6 0 2517 28 0 0 25 0 1 0 130613132 63696896 14878 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 15551 14878 312 324 0 14620 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 62204 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/78 17577 /proc/meminfo: memFree=1650160/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=95340 CPUtime=51.04 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 23727 0 6 0 5068 36 0 0 25 0 1 0 130613132 97628160 23167 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10129160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 23835 23167 312 324 0 22904 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 95340 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 17577 /proc/meminfo: memFree=1603952/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=141076 CPUtime=102.23 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 35174 0 6 0 10173 50 0 0 25 0 1 0 130613132 144461824 34614 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 35269 34614 312 324 0 34338 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 141076 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17577 /proc/meminfo: memFree=1571824/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=173324 CPUtime=162.21 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 43222 0 6 0 16153 68 0 0 25 0 1 0 130613132 177483776 42662 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 43331 42662 312 324 0 42400 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 173324 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17577 /proc/meminfo: memFree=1552688/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=192300 CPUtime=222.19 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 47961 0 6 0 22139 80 0 0 25 0 1 0 130613132 196915200 47401 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 48075 47401 312 324 0 47144 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 192300 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17577 /proc/meminfo: memFree=1539568/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=205268 CPUtime=282.18 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 51214 0 6 0 28130 88 0 0 25 0 1 0 130613132 210194432 50654 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 51317 50654 312 324 0 50386 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 205268 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17577 /proc/meminfo: memFree=1482480/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=262384 CPUtime=342.17 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 65508 0 6 0 34111 106 0 0 25 0 1 0 130613132 268681216 64948 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 65596 64948 312 324 0 64665 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 262384 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17577 /proc/meminfo: memFree=1456688/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=288240 CPUtime=402.15 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 71950 0 6 0 40094 121 0 0 25 0 1 0 130613132 295157760 71390 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 72060 71390 312 324 0 71129 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 288240 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17577 /proc/meminfo: memFree=1436720/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=307868 CPUtime=462.13 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 76856 0 6 0 46083 130 0 0 25 0 1 0 130613132 315256832 76296 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 76967 76296 312 324 0 76036 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 307868 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17577 /proc/meminfo: memFree=1423984/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=320528 CPUtime=522.11 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 80042 0 6 0 52074 137 0 0 25 0 1 0 130613132 328220672 79482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 80132 79482 312 324 0 79201 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 320528 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17577 /proc/meminfo: memFree=1400176/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=344144 CPUtime=582.1 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 85938 0 6 0 58063 147 0 0 25 0 1 0 130613132 352403456 85378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 86036 85378 312 324 0 85105 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 344144 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17577 /proc/meminfo: memFree=1376560/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=367568 CPUtime=642.09 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 91788 0 6 0 64055 154 0 0 25 0 1 0 130613132 376389632 91228 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 91892 91228 312 324 0 90961 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 367568 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.03 1.00 1.00 2/78 17577 /proc/meminfo: memFree=1326704/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=417160 CPUtime=822.03 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 104206 0 6 0 82026 177 0 0 25 0 1 0 130613132 427171840 103646 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 104290 103646 312 324 0 103359 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 417160 [startup+882.301 s] /proc/loadavg: 1.05 1.01 1.00 2/78 17577 /proc/meminfo: memFree=1297840/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=445824 CPUtime=882.01 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 111373 0 6 0 88009 192 0 0 25 0 1 0 130613132 456523776 110813 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 111456 110813 312 324 0 110525 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 445824 [startup+942.301 s] /proc/loadavg: 1.05 1.02 1.00 2/78 17579 /proc/meminfo: memFree=1252528/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=491592 CPUtime=941.99 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 122785 0 6 0 93989 210 0 0 25 0 1 0 130613132 503390208 122225 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 122898 122225 312 324 0 121967 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 491592 [startup+1002.3 s] /proc/loadavg: 1.12 1.04 1.00 2/78 17579 /proc/meminfo: memFree=1192560/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=551436 CPUtime=1001.98 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 137772 0 6 0 99969 229 0 0 25 0 1 0 130613132 564670464 137212 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 137859 137212 312 324 0 136928 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 551436 [startup+1062.3 s] /proc/loadavg: 1.05 1.03 1.00 2/78 17579 /proc/meminfo: memFree=1144368/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=599540 CPUtime=1061.97 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 149775 0 6 0 105951 246 0 0 25 0 1 0 130613132 613928960 149215 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 149885 149215 312 324 0 148954 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 599540 [startup+1122.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 17579 /proc/meminfo: memFree=1115504/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=627820 CPUtime=1121.95 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 156842 0 6 0 111937 258 0 0 25 0 1 0 130613132 642887680 156282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 156955 156282 312 324 0 156024 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 627820 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 17579 /proc/meminfo: memFree=1098224/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=645024 CPUtime=1181.93 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 161158 0 6 0 117928 265 0 0 25 0 1 0 130613132 660504576 160598 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 161256 160598 312 324 0 160325 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 645024 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 17579 /proc/meminfo: memFree=1079920/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=663188 CPUtime=1241.91 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 165697 0 6 0 123917 274 0 0 25 0 1 0 130613132 679104512 165137 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 165797 165137 312 324 0 164866 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 663188 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 17579 /proc/meminfo: memFree=1066096/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=676720 CPUtime=1301.9 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 169094 0 6 0 129911 279 0 0 25 0 1 0 130613132 692961280 168534 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 169180 168534 312 324 0 168249 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 676720 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17579 /proc/meminfo: memFree=1033200/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=709940 CPUtime=1361.88 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 177373 0 6 0 135901 287 0 0 25 0 1 0 130613132 726978560 176813 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 177485 176813 312 324 0 176554 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 709940 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17579 /proc/meminfo: memFree=1010928/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=731812 CPUtime=1421.86 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 182844 0 6 0 141893 293 0 0 25 0 1 0 130613132 749375488 182284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 182953 182284 312 324 0 182022 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 731812 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17579 /proc/meminfo: memFree=996528/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=746384 CPUtime=1481.85 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 186494 0 6 0 147885 300 0 0 25 0 1 0 130613132 764297216 185934 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 186596 185934 312 324 0 185665 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 746384 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17579 /proc/meminfo: memFree=978544/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=764040 CPUtime=1541.83 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 190914 0 6 0 153879 304 0 0 25 0 1 0 130613132 782376960 190354 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 191010 190354 312 324 0 190079 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 764040 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17579 /proc/meminfo: memFree=966704/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=775984 CPUtime=1601.81 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 193882 0 6 0 159872 309 0 0 25 0 1 0 130613132 794607616 193322 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 193996 193322 312 324 0 193065 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 775984 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17579 /proc/meminfo: memFree=954672/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=787800 CPUtime=1661.8 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 196857 0 6 0 165867 313 0 0 25 0 1 0 130613132 806707200 196297 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 196950 196297 312 324 0 196019 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 787800 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17579 /proc/meminfo: memFree=941616/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=801048 CPUtime=1721.78 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 200175 0 6 0 171861 317 0 0 25 0 1 0 130613132 820273152 199615 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 200262 199615 312 324 0 199331 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 801048 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17579 /proc/meminfo: memFree=926320/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=815996 CPUtime=1781.76 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194304 203897 0 6 0 177855 321 0 0 25 0 1 0 130613132 835579904 203337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 203999 203337 312 324 0 203068 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 815996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17579 /proc/meminfo: memFree=1358384/2055920 swapFree=4191880/4192956 [pid=17576] ppid=17574 vsize=0 CPUtime=1800.07 /proc/17576/stat : 17576 (bsolo3.0.16) R 17574 17576 16177 0 -1 4194308 205201 0 6 0 179676 331 0 0 25 0 1 0 130613132 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17576/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.13 CPU user time (s): 1796.77 CPU system time (s): 3.36349 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 821164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.77 system time used= 3.36349 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 205201 page faults= 6 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18 involuntary context switches= 3880 runsolver used 2.11668 second user time and 4.32934 second system time The end
Begin job on node12 on Sat Apr 14 10:15:58 UTC 2007 IDJOB= 350745 IDBENCH= 1584 IDSOLVER= 163 FILE ID= node12/350745-1176545757 PBS_JOBID= 4556736 Free space on /tmp= 66429 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos15.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350745-1176545757/instance-350745-1176545757.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-350745-1176545757 -o ROOT/results/node12/solver-350745-1176545757 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350745-1176545757/instance-350745-1176545757.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 1be7a0a5556e21a359d6f31cb8a3ccd8 RANDOM SEED= 888540206 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 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.239 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 : 5914.62 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.239 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1742800 kB Buffers: 19800 kB Cached: 196032 kB SwapCached: 408 kB Active: 99152 kB Inactive: 163708 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1742800 kB SwapTotal: 4192956 kB SwapFree: 4191880 kB Dirty: 5000 kB Writeback: 0 kB Mapped: 64052 kB Slab: 35724 kB Committed_AS: 4013196 kB PageTables: 1804 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66429 MiB End job on node12 on Sat Apr 14 10:46:00 UTC 2007