Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.1 | 1800.69 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb |
MD5SUM | 158d85b2efcaf56eab2db834482aadfb |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 16224 |
Total number of constraints | 1488 |
Number of constraints which are clauses | 192 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1296 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 309 |
Number of terms in the objective function | 10368 |
Biggest coefficient in the objective function | 418848431931392 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 180197911475330400 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 418848431931392 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 180197911475330400 |
Number of bits of the biggest sum of numbers | 58 |
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.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433361-1177958148/instance-433361-1177958148.opb 0.00/0.00 c File size is 930375 bytes. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Highest Coefficient sum: 1.80198e+17 0.09/0.13 c Parsing was ok!! 0.09/0.13 c Total parsing time: 0.131 s 0.09/0.14 c Var: 16224 Constr: 1608 384/0/1224 Lit: 69192 Watch. Lit: 19080 0.09/0.14 c Obj. Vars: 10368 (63.9053 % of total variables) 0.79/0.88 c Pre-processing Time: 0.877 s 1800.02/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.60 c 0 9010 1608 69192 43 53398 136687 0 0 0.88 1800.02/1800.60 c 101 9010 1709 79407 46 53867 150356 101 105 0.95 1800.02/1800.60 c 253 9010 1861 88493 47 54174 165392 253 254 0.99 1800.02/1800.60 c 478 9010 2086 98504 47 54621 181932 478 461 1.03 1800.02/1800.60 c 816 9010 2424 112585 46 55280 200126 816 727 1.12 1800.02/1800.60 c 1326 9010 2934 137197 46 56322 220139 1326 1043 1.27 1800.02/1800.60 c 2091 9010 3699 227159 61 57808 242153 2091 1405 1.49 1800.02/1800.60 c 3238 9010 4846 370705 76 60102 266369 3238 1831 1.77 1800.02/1800.60 c 4960 9010 6568 586403 89 63548 293006 4960 2045 2.42 1800.02/1800.60 c 7544 9010 9152 907806 99 68711 322307 7544 1821 4.14 1800.02/1800.60 c 11423 9010 13031 1391904 106 76457 354538 11423 1336 8.54 1800.02/1800.60 c 17247 9010 18855 2119925 112 88119 389992 17247 1080 15.96 1800.02/1800.60 c 25984 9010 27592 3212913 116 105577 428992 25984 795 32.66 1800.02/1800.60 c 39094 9010 40702 5124358 125 131692 471892 39094 781 50.03 1800.02/1800.60 c 58766 9010 60374 8359649 138 171028 519082 58766 632 92.85 1800.02/1800.60 c 88276 9010 89884 13238477 147 230056 570991 88276 474 186.09 1800.02/1800.60 c 132546 9010 134154 20553421 153 318588 628091 132546 219 603.21 1800.02/1800.60 c 198956 9010 200564 31526100 157 451420 690901 198956 132 1498.97 1800.02/1800.60 c Caught signal: 15 1800.02/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.60 c 17 214886 268 233748 216494 34158330 214886 119 1800.03 1800.02/1800.60 s UNKNOWN 1800.02/1800.60 c Total time: 1800.03 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-433361-1177958148 -o ROOT/results/node27/solver-433361-1177958148 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433361-1177958148/instance-433361-1177958148.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.97 1.01 0.93 3/65 24903 /proc/meminfo: memFree=1771800/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=12648 CPUtime=0 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 208510777 12951552 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 3162 332 279 324 0 2004 0 [startup+0.0595301 s] /proc/loadavg: 0.97 1.01 0.93 3/65 24903 /proc/meminfo: memFree=1771800/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=6348 CPUtime=0.05 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 835 0 0 0 5 0 0 0 18 0 1 0 208510777 6500352 805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 1587 805 379 324 0 429 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 6348 [startup+0.101533 s] /proc/loadavg: 0.97 1.01 0.93 3/65 24903 /proc/meminfo: memFree=1771800/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=6740 CPUtime=0.09 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 1003 0 0 0 9 0 0 0 18 0 1 0 208510777 6901760 973 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 1685 973 451 324 0 527 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6740 [startup+0.301552 s] /proc/loadavg: 0.97 1.01 0.93 3/65 24903 /proc/meminfo: memFree=1771800/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=8704 CPUtime=0.29 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 1762 0 0 0 28 1 0 0 19 0 1 0 208510777 8912896 1504 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 2176 1504 304 324 0 1246 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8704 [startup+0.701592 s] /proc/loadavg: 0.97 1.01 0.93 3/65 24903 /proc/meminfo: memFree=1771800/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=8704 CPUtime=0.69 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 1763 0 0 0 68 1 0 0 22 0 1 0 208510777 8912896 1505 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 2176 1505 304 324 0 1246 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8704 [startup+1.50168 s] /proc/loadavg: 0.97 1.01 0.93 2/66 24904 /proc/meminfo: memFree=1766736/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=11016 CPUtime=1.49 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 2634 0 0 0 147 2 0 0 25 0 1 0 208510777 11280384 2103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 2754 2103 310 324 0 1824 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11016 [startup+3.10184 s] /proc/loadavg: 0.97 1.01 0.93 2/66 24904 /proc/meminfo: memFree=1761168/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=17576 CPUtime=3.09 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 4270 0 0 0 305 4 0 0 25 0 1 0 208510777 17997824 3739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 4394 3739 310 324 0 3464 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17576 [startup+6.30116 s] /proc/loadavg: 0.97 1.01 0.93 2/66 24904 /proc/meminfo: memFree=1752976/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=24028 CPUtime=6.29 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 5865 0 0 0 624 5 0 0 25 0 1 0 208510777 24604672 5334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 6007 5334 310 324 0 5077 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24028 [startup+12.7018 s] /proc/loadavg: 0.98 1.01 0.93 2/66 24904 /proc/meminfo: memFree=1743696/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=32928 CPUtime=12.69 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 8082 0 0 0 1262 7 0 0 25 0 1 0 208510777 33718272 7551 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 8232 7551 310 324 0 7302 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32928 [startup+25.5011 s] /proc/loadavg: 0.98 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1730512/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=45312 CPUtime=25.48 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 11204 0 0 0 2538 10 0 0 25 0 1 0 208510777 46399488 10673 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 11328 10673 310 324 0 10398 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45312 [startup+51.1017 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1697040/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=79584 CPUtime=51.08 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 19767 0 0 0 5091 17 0 0 25 0 1 0 208510777 81494016 19236 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 19896 19236 310 324 0 18966 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 79584 [startup+102.306 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1640976/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=134540 CPUtime=102.27 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 33515 0 0 0 10199 28 0 0 25 0 1 0 208510777 137768960 32984 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 33635 32984 310 324 0 32705 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 134540 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1599952/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=175836 CPUtime=162.24 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 43815 0 0 0 16186 38 0 0 25 0 1 0 208510777 180056064 43284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 43959 43284 310 324 0 43029 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 175836 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1577808/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=197556 CPUtime=222.23 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 49262 0 0 0 22179 44 0 0 25 0 1 0 208510777 202297344 48731 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 49389 48731 310 324 0 48459 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 197556 [startup+282.302 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1560464/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=215032 CPUtime=282.21 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 53618 0 0 0 28172 49 0 0 25 0 1 0 208510777 220192768 53087 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 53758 53087 310 324 0 52828 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 215032 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1545040/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=230184 CPUtime=342.19 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 57419 0 0 0 34165 54 0 0 25 0 1 0 208510777 235708416 56888 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 57546 56888 310 324 0 56616 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 230184 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1531728/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=243672 CPUtime=402.17 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 60773 0 0 0 40159 58 0 0 25 0 1 0 208510777 249520128 60242 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 60918 60242 310 324 0 59988 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 243672 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1517776/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=257424 CPUtime=462.17 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 64212 0 0 0 46155 62 0 0 25 0 1 0 208510777 263602176 63681 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 64356 63681 310 324 0 63426 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 257424 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1506576/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=268616 CPUtime=522.15 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 67028 0 0 0 52150 65 0 0 25 0 1 0 208510777 275062784 66497 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 67154 66497 310 324 0 66224 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 268616 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1495376/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=279804 CPUtime=582.13 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 69805 0 0 0 58145 68 0 0 25 0 1 0 208510777 286519296 69274 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 69951 69274 310 324 0 69021 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 279804 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1482896/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=292136 CPUtime=642.12 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 72888 0 0 0 64139 73 0 0 25 0 1 0 208510777 299147264 72357 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 73034 72357 310 324 0 72104 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 292136 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1441808/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=333388 CPUtime=822.07 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 83225 0 0 0 82124 83 0 0 25 0 1 0 208510777 341389312 82694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 83347 82694 310 324 0 82417 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 333388 [startup+882.302 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1430160/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=344836 CPUtime=882.04 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 86080 0 0 0 88118 86 0 0 25 0 1 0 208510777 353112064 85549 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 86209 85549 310 324 0 85279 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 344836 [startup+942.302 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1419984/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=355120 CPUtime=942.03 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 88651 0 0 0 94114 89 0 0 25 0 1 0 208510777 363642880 88120 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 88780 88120 310 324 0 87850 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 355120 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1409424/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=365532 CPUtime=1002.01 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 91261 0 0 0 100109 92 0 0 25 0 1 0 208510777 374304768 90730 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 91383 90730 310 324 0 90453 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 365532 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1401040/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=374028 CPUtime=1062 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 93368 0 0 0 106106 94 0 0 25 0 1 0 208510777 383004672 92837 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 93507 92837 310 324 0 92577 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 374028 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1392016/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=382900 CPUtime=1121.97 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 95599 0 0 0 112101 96 0 0 25 0 1 0 208510777 392089600 95068 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 95725 95068 310 324 0 94795 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 382900 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1382544/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=392404 CPUtime=1181.96 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 97974 0 0 0 118097 99 0 0 25 0 1 0 208510777 401821696 97443 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 98101 97443 310 324 0 97171 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 392404 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1373904/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=401024 CPUtime=1241.95 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 100109 0 0 0 124094 101 0 0 25 0 1 0 208510777 410648576 99578 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1899972 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 100256 99578 310 324 0 99326 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 401024 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1367440/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=407320 CPUtime=1301.94 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 101701 0 0 0 130091 103 0 0 25 0 1 0 208510777 417095680 101170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550890 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 101830 101170 310 324 0 100900 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 407320 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1360528/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=414388 CPUtime=1361.91 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 103461 0 0 0 136086 105 0 0 25 0 1 0 208510777 424333312 102930 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1908386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 103597 102930 310 324 0 102667 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 414388 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1352976/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=421840 CPUtime=1421.9 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 105319 0 0 0 142082 108 0 0 25 0 1 0 208510777 431964160 104788 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 105460 104788 310 324 0 104530 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 421840 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.93 2/66 24904 /proc/meminfo: memFree=1345680/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=429168 CPUtime=1481.87 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 107146 0 0 0 148077 110 0 0 25 0 1 0 208510777 439468032 106615 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 107292 106615 310 324 0 106362 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 429168 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.93 2/72 25060 /proc/meminfo: memFree=1337816/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=435720 CPUtime=1541.8 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 108780 0 0 0 154065 115 0 0 25 0 1 0 208510777 446177280 108249 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 108930 108249 310 324 0 108000 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 435720 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.93 2/66 25102 /proc/meminfo: memFree=1331152/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=443560 CPUtime=1601.77 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 110758 0 0 0 160060 117 0 0 25 0 1 0 208510777 454205440 110227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 110890 110227 310 324 0 109960 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 443560 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.93 2/66 25102 /proc/meminfo: memFree=1323088/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=451528 CPUtime=1661.75 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 112741 0 0 0 166056 119 0 0 25 0 1 0 208510777 462364672 112210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 112882 112210 310 324 0 111952 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 451528 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.93 2/66 25102 /proc/meminfo: memFree=1316560/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=458080 CPUtime=1721.73 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 114385 0 0 0 172052 121 0 0 25 0 1 0 208510777 469073920 113854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 114520 113854 310 324 0 113590 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 458080 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 0.93 2/66 25102 /proc/meminfo: memFree=1310160/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=464384 CPUtime=1781.72 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 115967 0 0 0 178049 123 0 0 25 0 1 0 208510777 475529216 115436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 116096 115436 310 324 0 115166 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 464384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 1.00 0.93 2/66 25102 /proc/meminfo: memFree=1308112/2055920 swapFree=4182924/4192956 [pid=24903] ppid=24901 vsize=466444 CPUtime=1800.02 /proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 116464 0 0 0 179878 124 0 0 25 0 1 0 208510777 477638656 115933 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24903/statm: 116611 115933 310 324 0 115681 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 466444 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.69 CPU time (s): 1800.1 CPU user time (s): 1798.79 CPU system time (s): 1.3178 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (KiB): 466444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.79 system time used= 1.3178 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116468 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 3078 runsolver used 1.3338 second user time and 3.64545 second system time The end
Begin job on node27 on Mon Apr 30 18:35:49 UTC 2007 IDJOB= 433361 IDBENCH= 2521 IDSOLVER= 199 FILE ID= node27/433361-1177958148 PBS_JOBID= 4727695 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433361-1177958148/instance-433361-1177958148.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-433361-1177958148 -o ROOT/results/node27/solver-433361-1177958148 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433361-1177958148/instance-433361-1177958148.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 158d85b2efcaf56eab2db834482aadfb RANDOM SEED= 815789915 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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 : 5931.00 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.213 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: 1772336 kB Buffers: 32560 kB Cached: 170908 kB SwapCached: 4068 kB Active: 71092 kB Inactive: 144024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1772336 kB SwapTotal: 4192956 kB SwapFree: 4182924 kB Dirty: 7492 kB Writeback: 0 kB Mapped: 17592 kB Slab: 54476 kB Committed_AS: 2314072 kB PageTables: 1416 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= 66557 MiB End job on node27 on Mon Apr 30 19:05:51 UTC 2007