Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.02 | 1800.48 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-qiu.opb |
MD5SUM | 644f01bea590fadfbdc9e969c95da3cf |
Bench Category | OPT-SMALLINT (optimisation, small 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 | 23808 |
Total number of constraints | 1192 |
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 | 1192 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 5940 |
Number of terms in the objective function | 7968 |
Biggest coefficient in the objective function | 993 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 530424 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530424 |
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.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/348917-1176606672/instance-348917-1176606672.opb 0.00/0.00 c File size is 1013388 bytes. 0.09/0.19 c Highest Coefficient sum: 530424 0.09/0.19 c Parsing was ok!! 0.09/0.19 c Total parsing time: 0.189 s 0.19/0.20 c Var: 23808 Constr: 1324 128/0/1196 Lit: 103488 Watch. Lit: 36460 0.19/0.20 c Obj. Vars: 7968 (33.4677 % of total variables) 36.08/36.12 c Pre-processing Time: 36.102 s 36.08/36.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.08/36.12 c 0 10840 1324 103488 78 77301 176298 0 0 36.10 36.08/36.12 c Switching off LPR mode. 1799.93/1800.45 c 100 10840 1424 210102 147 77505 193928 100 2 36.84 1799.93/1800.45 c 250 10840 1574 211729 134 77804 213321 250 6 37.07 1799.93/1800.45 c 475 10839 1799 213776 118 78253 234654 475 12 37.47 1799.93/1800.45 c 813 10839 2137 217551 101 78929 258120 813 21 38.06 1799.93/1800.45 c 1321 10839 2645 223320 84 79945 283933 1321 33 39.15 1799.93/1800.45 c 2085 10839 3409 233118 68 81472 312327 2085 49 42.17 1799.93/1800.45 c 3232 10838 4556 245782 53 83764 343560 3232 69 46.23 1799.93/1800.45 c 4959 10837 6283 264926 42 87217 377917 4959 90 54.94 1799.93/1800.45 c 7552 10833 8876 292013 32 92399 415709 7552 104 72.39 1799.93/1800.45 c 11431 10829 12755 334814 26 100149 457280 11431 93 122.65 1799.93/1800.45 c 17254 10814 18578 391169 21 111781 503009 17254 54 316.76 1799.93/1800.45 c 25996 10805 27320 528227 19 129257 553310 25996 49 524.95 1799.93/1800.45 c 39106 10788 40430 670179 16 155461 608642 39106 50 775.16 1799.93/1800.45 c 58777 10737 60101 6218082 103 194756 669507 58777 46 1254.66 1799.93/1800.45 c 88287 10699 89611 6538114 72 253737 736458 88287 49 1787.57 1799.93/1800.45 c Resources Exceeded 1799.93/1800.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.45 c 15 89080 26608 7188462 90404 6546411 89080 49 1800.00 1799.93/1800.45 s UNKNOWN 1799.93/1800.45 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/node61/watcher-348917-1176606672 -o ROOT/results/node61/solver-348917-1176606672 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348917-1176606672/instance-348917-1176606672.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: 1.08 1.05 1.01 3/64 31773 /proc/meminfo: memFree=1662864/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=20540 CPUtime=0 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 345 0 1 0 0 0 0 0 18 0 1 0 72630843 21032960 314 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134536080 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 5135 323 280 324 0 3956 0 [startup+0.0350551 s] /proc/loadavg: 1.08 1.05 1.01 3/64 31773 /proc/meminfo: memFree=1662864/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=6088 CPUtime=0.02 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 683 0 1 0 2 0 0 0 18 0 1 0 72630843 6234112 652 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 1522 653 318 324 0 343 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 6088 [startup+0.101062 s] /proc/loadavg: 1.08 1.05 1.01 3/64 31773 /proc/meminfo: memFree=1662864/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=7332 CPUtime=0.09 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 1100 0 1 0 9 0 0 0 18 0 1 0 72630843 7507968 1029 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 1833 1029 406 324 0 654 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7332 [startup+0.30108 s] /proc/loadavg: 1.08 1.05 1.01 3/64 31773 /proc/meminfo: memFree=1662864/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=10900 CPUtime=0.29 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 2344 0 1 0 29 0 0 0 19 0 1 0 72630843 11161600 2025 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 2725 2025 306 324 0 1794 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10900 [startup+0.701118 s] /proc/loadavg: 1.08 1.05 1.01 3/64 31773 /proc/meminfo: memFree=1662864/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=10900 CPUtime=0.69 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 2344 0 1 0 69 0 0 0 22 0 1 0 72630843 11161600 2025 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 2725 2025 306 324 0 1794 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10900 [startup+1.50119 s] /proc/loadavg: 1.07 1.05 1.01 2/65 31774 /proc/meminfo: memFree=1655688/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=10900 CPUtime=1.48 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 2344 0 1 0 148 0 0 0 25 0 1 0 72630843 11161600 2025 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 2725 2025 306 324 0 1794 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10900 [startup+3.10135 s] /proc/loadavg: 1.07 1.05 1.01 2/65 31774 /proc/meminfo: memFree=1655368/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=10900 CPUtime=3.08 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 2344 0 1 0 308 0 0 0 25 0 1 0 72630843 11161600 2025 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 2725 2025 306 324 0 1794 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10900 [startup+6.30165 s] /proc/loadavg: 1.07 1.05 1.01 2/65 31774 /proc/meminfo: memFree=1655368/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=10900 CPUtime=6.29 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 2344 0 1 0 628 1 0 0 25 0 1 0 72630843 11161600 2025 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 2725 2025 306 324 0 1794 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10900 [startup+12.7013 s] /proc/loadavg: 1.06 1.05 1.01 2/65 31774 /proc/meminfo: memFree=1655368/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=10900 CPUtime=12.69 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 2344 0 1 0 1268 1 0 0 25 0 1 0 72630843 11161600 2025 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 2725 2025 306 324 0 1794 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10900 [startup+25.5015 s] /proc/loadavg: 1.05 1.05 1.00 2/65 31774 /proc/meminfo: memFree=1655496/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=10900 CPUtime=25.48 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 2344 0 1 0 2547 1 0 0 25 0 1 0 72630843 11161600 2025 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 2725 2025 306 324 0 1794 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10900 [startup+51.1019 s] /proc/loadavg: 1.03 1.04 1.00 2/65 31774 /proc/meminfo: memFree=1653128/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=13356 CPUtime=51.07 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 3399 0 1 0 5096 11 0 0 25 0 1 0 72630843 13676544 2650 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 3339 2650 312 324 0 2408 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 13356 [startup+102.306 s] /proc/loadavg: 1.01 1.03 1.00 2/65 31774 /proc/meminfo: memFree=1651592/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=14964 CPUtime=102.26 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 3783 0 1 0 10196 30 0 0 25 0 1 0 72630843 15323136 3034 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 3741 3034 312 324 0 2810 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 14964 [startup+162.302 s] /proc/loadavg: 1.00 1.03 1.00 2/65 31774 /proc/meminfo: memFree=1650760/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=15768 CPUtime=162.24 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 3978 0 1 0 16175 49 0 0 25 0 1 0 72630843 16146432 3229 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 3942 3229 312 324 0 3011 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 15768 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 31774 /proc/meminfo: memFree=1650248/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=16172 CPUtime=222.23 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 4109 0 1 0 22156 67 0 0 25 0 1 0 72630843 16560128 3360 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 4043 3360 312 324 0 3112 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 16172 [startup+282.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 31774 /proc/meminfo: memFree=1649736/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=16700 CPUtime=282.21 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 4218 0 1 0 28139 82 0 0 25 0 1 0 72630843 17100800 3469 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 4175 3469 312 324 0 3244 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 16700 [startup+342.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 31774 /proc/meminfo: memFree=1649544/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=16836 CPUtime=342.2 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 4266 0 1 0 34122 98 0 0 25 0 1 0 72630843 17240064 3517 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 4209 3517 312 324 0 3278 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 16836 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31774 /proc/meminfo: memFree=1649416/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=16972 CPUtime=402.18 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 4294 0 1 0 40109 109 0 0 25 0 1 0 72630843 17379328 3545 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134575135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 4243 3545 312 324 0 3312 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 16972 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31774 /proc/meminfo: memFree=1649096/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=17240 CPUtime=462.17 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 4367 0 1 0 46096 121 0 0 25 0 1 0 72630843 17653760 3618 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 4310 3618 312 324 0 3379 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 17240 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31774 /proc/meminfo: memFree=1647240/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=19188 CPUtime=522.15 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 4850 0 1 0 52078 137 0 0 25 0 1 0 72630843 19648512 4101 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 4797 4101 312 324 0 3866 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 19188 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31774 /proc/meminfo: memFree=1645704/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=20660 CPUtime=582.13 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 5214 0 1 0 58064 149 0 0 25 0 1 0 72630843 21155840 4465 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 5165 4465 312 324 0 4234 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 20660 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31774 /proc/meminfo: memFree=1645320/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=21060 CPUtime=642.13 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 5315 0 1 0 64053 160 0 0 25 0 1 0 72630843 21565440 4566 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 5265 4566 312 324 0 4334 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 21060 ################ # More data... # ################ /proc/meminfo: memFree=1640520/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=25736 CPUtime=1122 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 6499 0 1 0 111940 260 0 0 25 0 1 0 72630843 26353664 5750 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 6434 5750 312 324 0 5503 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 25736 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1640136/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=26136 CPUtime=1181.99 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 6586 0 1 0 117925 274 0 0 25 0 1 0 72630843 26763264 5837 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 6534 5837 312 324 0 5603 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 26136 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1639816/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=26404 CPUtime=1241.98 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 6648 0 1 0 123908 290 0 0 25 0 1 0 72630843 27037696 5899 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 6601 5899 312 324 0 5670 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 26404 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1568904/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=97164 CPUtime=1301.96 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 24350 0 1 0 129877 319 0 0 25 0 1 0 72630843 99495936 23601 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 24291 23601 312 324 0 23360 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 97164 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1568264/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=97832 CPUtime=1361.95 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 24513 0 1 0 135861 334 0 0 25 0 1 0 72630843 100179968 23764 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 24458 23764 312 324 0 23527 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 97832 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1567560/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=98632 CPUtime=1421.93 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 24692 0 1 0 141847 346 0 0 25 0 1 0 72630843 100999168 23943 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 24658 23943 312 324 0 23727 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 98632 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1567176/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=98900 CPUtime=1481.92 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 24769 0 1 0 147831 361 0 0 25 0 1 0 72630843 101273600 24020 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 24725 24020 312 324 0 23794 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 98900 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1566792/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=99168 CPUtime=1541.9 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 24847 0 1 0 153817 373 0 0 25 0 1 0 72630843 101548032 24098 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 24792 24098 312 324 0 23861 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 99168 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1566216/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=99840 CPUtime=1601.88 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 24996 0 1 0 159799 389 0 0 25 0 1 0 72630843 102236160 24247 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 24960 24247 312 324 0 24029 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 99840 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1565832/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=100108 CPUtime=1661.87 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 25093 0 1 0 165785 402 0 0 25 0 1 0 72630843 102510592 24344 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551581 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 25027 24344 312 324 0 24096 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 100108 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1565320/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=100644 CPUtime=1721.85 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 25204 0 1 0 171769 416 0 0 25 0 1 0 72630843 103059456 24455 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 25161 24455 312 324 0 24230 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 100644 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1563272/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=102652 CPUtime=1781.84 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 25727 0 1 0 177756 428 0 0 25 0 1 0 72630843 105115648 24978 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 25663 24978 312 324 0 24732 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 102652 Solver just ended. Dumping a history of the last processes samples [startup+1791.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1562952/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=103052 CPUtime=1791.44 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 25800 0 1 0 178714 430 0 0 25 0 1 0 72630843 105525248 25051 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 25763 25051 312 324 0 24832 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 103052 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1562888/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=103056 CPUtime=1794.64 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 25821 0 1 0 179033 431 0 0 25 0 1 0 72630843 105529344 25072 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 25764 25072 312 324 0 24833 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (KiB) 103056 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1562824/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=103188 CPUtime=1797.84 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 25834 0 1 0 179352 432 0 0 25 0 1 0 72630843 105664512 25085 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 25797 25085 312 324 0 24866 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 103188 [startup+1799.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1562824/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=103188 CPUtime=1798.64 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 25836 0 1 0 179432 432 0 0 25 0 1 0 72630843 105664512 25087 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 25797 25087 312 324 0 24866 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (KiB) 103188 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1562824/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=103188 CPUtime=1799.44 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 25836 0 1 0 179512 432 0 0 25 0 1 0 72630843 105664512 25087 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 25797 25087 312 324 0 24866 0 Current children cumulated CPU time (s) 1799.44 Current children cumulated vsize (KiB) 103188 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1562824/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=103188 CPUtime=1799.83 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 25836 0 1 0 179551 432 0 0 25 0 1 0 72630843 105664512 25087 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 25797 25087 312 324 0 24866 0 Current children cumulated CPU time (s) 1799.83 Current children cumulated vsize (KiB) 103188 [startup+1800.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31776 /proc/meminfo: memFree=1562824/2055920 swapFree=4191892/4192956 [pid=31773] ppid=31771 vsize=103188 CPUtime=1799.93 /proc/31773/stat : 31773 (bsolo3.0.16) R 31771 31773 27764 0 -1 4194304 25837 0 1 0 179561 432 0 0 25 0 1 0 72630843 105664512 25088 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31773/statm: 25797 25088 312 324 0 24866 0 Current children cumulated CPU time (s) 1799.93 Current children cumulated vsize (KiB) 103188 Child status: 0 Real time (s): 1800.48 CPU time (s): 1800.02 CPU user time (s): 1795.68 CPU system time (s): 4.34334 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 103188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.68 system time used= 4.34334 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25838 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13 involuntary context switches= 4147 runsolver used 1.09683 second user time and 3.82542 second system time The end
Begin job on node61 on Sun Apr 15 03:11:12 UTC 2007 IDJOB= 348917 IDBENCH= 1781 IDSOLVER= 163 FILE ID= node61/348917-1176606672 PBS_JOBID= 4556984 Free space on /tmp= 66559 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-qiu.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348917-1176606672/instance-348917-1176606672.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-348917-1176606672 -o ROOT/results/node61/solver-348917-1176606672 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348917-1176606672/instance-348917-1176606672.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 644f01bea590fadfbdc9e969c95da3cf RANDOM SEED= 354473275 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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.240 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.240 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: 1663272 kB Buffers: 12384 kB Cached: 264184 kB SwapCached: 396 kB Active: 84452 kB Inactive: 207792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1663272 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 5368 kB Writeback: 0 kB Mapped: 24484 kB Slab: 86476 kB Committed_AS: 128400 kB PageTables: 1388 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= 66559 MiB End job on node61 on Sun Apr 15 03:41:13 UTC 2007