Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 178.144 | 178.2 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=97-P1=43-P2=127-P3=89-P4=59-P5=127-P6=43-P7=127-P8=67-P9=17-B.opb |
MD5SUM | bc362e080dfd9e6c883df7eeb6006e66 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.155976 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 189 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 441 |
Sum of products size (including duplicates) | 882 |
Number of different products | 441 |
Sum of products size | 882 |
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/452933-1177998158/instance-452933-1177998158.opb 0.00/0.00 c File size is 8217 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 630 Constr: 910 441/0/469 Lit: 3836 Watch. Lit: 2369 0.00/0.00 c Obj. Vars: 7 (1.11111 % of total variables) 0.00/0.01 c Pre-processing Time: 0.01 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 630 910 3836 4 3289 5172 0 0 0.01 0.00/0.01 c Switching off LPR mode. 75.77/75.87 c 102 630 1012 7641 7 3467 5690 102 6375 0.02 75.77/75.87 c 253 630 1163 13576 11 3753 6260 253 9730 0.03 75.77/75.87 c 478 630 1388 26185 18 4219 6887 478 11658 0.04 75.77/75.87 c 817 630 1727 41906 24 4856 7576 817 12378 0.07 75.77/75.87 c 1325 630 2235 63867 28 5859 8334 1325 11422 0.12 75.77/75.87 c 2088 630 2998 103054 34 7413 9168 2088 12139 0.17 75.77/75.87 c 3235 630 4145 158381 38 9689 10085 3235 10077 0.32 75.77/75.87 c 4956 630 5866 241867 41 13083 11094 4956 8500 0.58 75.77/75.87 c 7541 630 8451 356893 42 18285 12204 7541 6130 1.23 75.77/75.87 c 11420 630 12330 547285 44 25974 13425 11420 5479 2.08 75.77/75.87 c 17242 627 11409 519827 45 24148 14768 10499 4608 3.74 75.77/75.87 c 25979 627 12614 610336 48 26555 16245 11704 4119 6.31 75.77/75.87 c 39089 627 9037 394642 43 19412 17870 8127 3813 10.25 75.77/75.87 c 58760 627 10007 467028 46 21324 19658 9097 2545 23.08 75.77/75.87 c 88270 627 19337 941848 48 39960 21624 18427 1985 44.46 75.77/75.87 c 132541 627 19185 896338 46 39656 23787 18275 1941 68.26 75.77/75.87 o 3 75.845 178.04/178.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 178.04/178.19 c 158174 626 18260 882014 48 37866 5186 17350 2085 75.84 178.04/178.19 c 158274 571 3609 135721 37 8624 5705 2699 2078 76.13 178.04/178.19 c 158525 571 3860 149112 38 9098 6276 2950 2081 76.16 178.04/178.19 c 159001 571 4336 174731 40 10003 6904 3426 2086 76.19 178.04/178.19 c 159814 571 5149 215677 41 11609 7595 4239 2095 76.28 178.04/178.19 c 161135 571 6470 284646 43 14298 8355 5560 2106 76.49 178.04/178.19 c 163216 571 8551 389838 45 18438 9191 7641 2123 76.84 178.04/178.19 c 166440 571 7033 306811 43 15368 10111 6123 2136 77.90 178.04/178.19 c 171377 571 6819 282208 41 14970 11123 5909 2124 80.66 178.04/178.19 c 178883 568 8232 376972 45 17798 12236 7322 2164 82.65 178.04/178.19 c 190244 567 7156 301051 42 15663 13460 6246 2158 88.15 178.04/178.19 c 207388 567 10036 460124 45 21407 14807 9126 2180 95.12 178.04/178.19 c 233207 558 12643 589302 46 26678 16288 11733 2170 107.46 178.04/178.19 c 272040 558 9599 375323 39 20568 17917 8689 2012 135.14 178.04/178.19 c 330392 553 13104 532342 40 27488 19709 12194 1936 170.59 178.04/178.19 v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 x11 -x12 -x13 -x14 x15 x16 -x17 -x18 -x19 -x20 x21 x22 x23 x24 -x25 -x26 -x27 x28 x29 x30 x31 178.04/178.19 v -x32 -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 x46 x47 x48 -x49 x50 x51 -x52 -x53 -x54 -x55 -x56 x57 x58 -x59 178.04/178.19 v -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 -x68 -x69 x70 x71 x72 -x73 x74 x75 -x76 -x77 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x78 178.04/178.19 v -x79 -x80 -x81 x82 -x83 -x84 -x134 x135 x136 x137 -x138 -x139 -x140 x85 x86 x87 -x88 x89 x90 -x91 x141 -x142 -x143 x144 -x145 178.04/178.19 v -x146 -x147 x92 -x93 -x94 -x95 -x96 -x97 -x98 x148 x149 -x150 -x151 -x152 -x153 -x154 x99 x100 -x101 -x102 -x103 -x104 -x105 178.04/178.19 v -x155 -x156 -x157 -x158 -x159 -x160 -x161 x106 x107 -x108 x109 -x110 x111 -x112 x162 -x163 -x164 -x165 -x166 -x167 -x168 x113 178.04/178.19 v -x114 -x115 -x116 -x117 -x118 -x119 x169 -x170 -x171 -x172 -x173 -x174 -x175 x120 x121 -x122 -x123 -x124 -x125 -x126 -x176 178.04/178.19 v -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 178.04/178.19 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 178.04/178.19 c 31 336729 2692 352036 19441 780820 18531 1890 178.14 178.04/178.19 c Objective: 3 178.04/178.19 s OPTIMUM FOUND 178.04/178.19 c Total time: 178.136 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-452933-1177998158 -o ROOT/results/node71/solver-452933-1177998158 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452933-1177998158/instance-452933-1177998158.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.99 0.97 0.98 3/64 2605 /proc/meminfo: memFree=1791144/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=3936 CPUtime=0 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 275805151 4030464 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 984 345 289 324 0 51 0 [startup+0.0346269 s] /proc/loadavg: 0.99 0.97 0.98 3/64 2605 /proc/meminfo: memFree=1791144/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=4456 CPUtime=0.03 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 519 0 0 0 3 0 0 0 18 0 1 0 275805151 4562944 486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 1114 486 310 324 0 184 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4456 [startup+0.101636 s] /proc/loadavg: 0.99 0.97 0.98 3/64 2605 /proc/meminfo: memFree=1791144/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=4972 CPUtime=0.09 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 663 0 0 0 9 0 0 0 18 0 1 0 275805151 5091328 630 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 1243 630 310 324 0 313 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4972 [startup+0.301663 s] /proc/loadavg: 0.99 0.97 0.98 3/64 2605 /proc/meminfo: memFree=1791144/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=6520 CPUtime=0.29 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 1029 0 0 0 29 0 0 0 19 0 1 0 275805151 6676480 996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551028 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 1630 996 310 324 0 700 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6520 [startup+0.701718 s] /proc/loadavg: 0.99 0.97 0.98 3/64 2605 /proc/meminfo: memFree=1791144/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=8204 CPUtime=0.69 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 1459 0 0 0 69 0 0 0 22 0 1 0 275805151 8400896 1426 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 2051 1426 310 324 0 1121 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8204 [startup+1.50183 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2606 /proc/meminfo: memFree=1785952/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=10160 CPUtime=1.49 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 1941 0 0 0 148 1 0 0 25 0 1 0 275805151 10403840 1908 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 2540 1908 310 324 0 1610 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10160 [startup+3.10104 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2606 /proc/meminfo: memFree=1782176/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=13792 CPUtime=3.09 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 2868 0 0 0 308 1 0 0 25 0 1 0 275805151 14123008 2835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 3448 2835 310 324 0 2518 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13792 [startup+6.30148 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2606 /proc/meminfo: memFree=1778976/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=15432 CPUtime=6.29 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 3265 0 0 0 627 2 0 0 25 0 1 0 275805151 15802368 3232 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7638949 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 3858 3232 310 324 0 2928 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15432 [startup+12.7014 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2606 /proc/meminfo: memFree=1777768/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=16724 CPUtime=12.69 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 3597 0 0 0 1267 2 0 0 25 0 1 0 275805151 17125376 3564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7639619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 4181 3564 310 324 0 3251 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16724 [startup+25.5011 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2606 /proc/meminfo: memFree=1775720/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=18840 CPUtime=25.48 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 4121 0 0 0 2545 3 0 0 25 0 1 0 275805151 19292160 4088 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 4710 4088 310 324 0 3780 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18840 [startup+51.1016 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2606 /proc/meminfo: memFree=1773480/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=21620 CPUtime=51.07 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 4820 0 0 0 5104 3 0 0 25 0 1 0 275805151 22138880 4787 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 5405 4787 310 324 0 4475 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21620 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2608 /proc/meminfo: memFree=1771112/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=23284 CPUtime=102.27 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 5265 0 0 0 10223 4 0 0 25 0 1 0 275805151 23842816 5214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 5821 5214 311 324 0 4891 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 23284 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2608 /proc/meminfo: memFree=1771112/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=23284 CPUtime=162.24 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 5265 0 0 0 16220 4 0 0 25 0 1 0 275805151 23842816 5214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 5821 5214 311 324 0 4891 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 23284 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2608 /proc/meminfo: memFree=1771112/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=23284 CPUtime=166.24 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 5265 0 0 0 16620 4 0 0 25 0 1 0 275805151 23842816 5214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 5821 5214 311 324 0 4891 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 23284 [startup+172.705 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2608 /proc/meminfo: memFree=1771112/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=23284 CPUtime=172.64 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 5265 0 0 0 17260 4 0 0 25 0 1 0 275805151 23842816 5214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 5821 5214 311 324 0 4891 0 Current children cumulated CPU time (s) 172.64 Current children cumulated vsize (KiB) 23284 [startup+175.902 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2608 /proc/meminfo: memFree=1771112/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=23284 CPUtime=175.84 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 5265 0 0 0 17580 4 0 0 25 0 1 0 275805151 23842816 5214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 5821 5214 311 324 0 4891 0 Current children cumulated CPU time (s) 175.84 Current children cumulated vsize (KiB) 23284 [startup+177.502 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2608 /proc/meminfo: memFree=1771112/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=23284 CPUtime=177.44 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 5265 0 0 0 17740 4 0 0 25 0 1 0 275805151 23842816 5214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 5821 5214 311 324 0 4891 0 Current children cumulated CPU time (s) 177.44 Current children cumulated vsize (KiB) 23284 [startup+177.902 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2608 /proc/meminfo: memFree=1771112/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=23284 CPUtime=177.84 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 5265 0 0 0 17780 4 0 0 25 0 1 0 275805151 23842816 5214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 5821 5214 311 324 0 4891 0 Current children cumulated CPU time (s) 177.84 Current children cumulated vsize (KiB) 23284 [startup+178.102 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2608 /proc/meminfo: memFree=1771112/2055920 swapFree=4184188/4192956 [pid=2605] ppid=2603 vsize=23284 CPUtime=178.04 /proc/2605/stat : 2605 (bsolo3.0.17) R 2603 2605 1730 0 -1 4194304 5265 0 0 0 17800 4 0 0 25 0 1 0 275805151 23842816 5214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2605/statm: 5821 5214 311 324 0 4891 0 Current children cumulated CPU time (s) 178.04 Current children cumulated vsize (KiB) 23284 Child status: 0 Real time (s): 178.2 CPU time (s): 178.144 CPU user time (s): 178.097 CPU system time (s): 0.046992 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 23388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 178.097 system time used= 0.046992 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5269 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= 11 involuntary context switches= 132 runsolver used 0.136979 second user time and 0.357945 second system time The end
Begin job on node71 on Tue May 1 05:42:38 UTC 2007 IDJOB= 452933 IDBENCH= 48000 IDSOLVER= 199 FILE ID= node71/452933-1177998158 PBS_JOBID= 4728235 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=97-P1=43-P2=127-P3=89-P4=59-P5=127-P6=43-P7=127-P8=67-P9=17-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452933-1177998158/instance-452933-1177998158.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-452933-1177998158 -o ROOT/results/node71/solver-452933-1177998158 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452933-1177998158/instance-452933-1177998158.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= bc362e080dfd9e6c883df7eeb6006e66 RANDOM SEED= 182093981 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.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.234 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.234 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: 1791616 kB Buffers: 40008 kB Cached: 147156 kB SwapCached: 2692 kB Active: 90464 kB Inactive: 107424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1791616 kB SwapTotal: 4192956 kB SwapFree: 4184188 kB Dirty: 6596 kB Writeback: 0 kB Mapped: 16200 kB Slab: 52420 kB Committed_AS: 4474660 kB PageTables: 1448 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= 66558 MiB End job on node71 on Tue May 1 05:45:37 UTC 2007