Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 31.7022 | 31.7281 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=71-P1=107-P2=197-P3=67-B.opb |
MD5SUM | ece282cf8dbd0acc24f1883b841333ea |
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.074988 |
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 | 72 |
Total number of constraints | 7 |
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 | 7 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 192 |
Sum of products size (including duplicates) | 384 |
Number of different products | 192 |
Sum of products size | 384 |
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/453029-1178013138/instance-453029-1178013138.opb 0.00/0.00 c File size is 3503 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 264 Constr: 394 192/0/202 Lit: 1648 Watch. Lit: 1016 0.00/0.00 c Obj. Vars: 8 (3.0303 % of total variables) 0.00/0.00 c Pre-processing Time: 0.004 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 264 394 1648 4 1416 2207 0 0 0.00 0.00/0.00 c Switching off LPR mode. 3.48/3.55 c 102 264 496 7859 15 1577 2428 102 9272 0.01 3.48/3.55 c 253 264 647 18347 28 1898 2671 253 11000 0.02 3.48/3.55 c 478 264 872 31423 36 2333 2939 478 11950 0.04 3.48/3.55 c 816 264 1210 53493 44 2985 3233 816 12553 0.07 3.48/3.55 c 1324 264 1718 83932 48 4017 3557 1324 11413 0.12 3.48/3.55 c 2088 264 2482 132818 53 5553 3913 2088 10440 0.20 3.48/3.55 c 3234 264 3628 200839 55 7789 4305 3234 7573 0.43 3.48/3.55 c 4956 264 3037 164099 54 6617 4736 2643 6902 0.72 3.48/3.55 c 7541 264 3149 170801 54 6862 5210 2755 6130 1.23 3.48/3.55 c 11421 264 4207 245818 58 8968 5732 3813 6052 1.89 3.48/3.55 c 17244 264 3861 244494 63 8320 6306 3467 4996 3.45 3.48/3.55 o 225 3.546 4.78/4.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.78/4.87 c 18156 264 4774 305689 64 10108 2223 4380 5120 3.55 4.78/4.87 c 18258 264 1609 82230 51 3826 2446 1215 5112 3.57 4.78/4.87 c 18509 264 1860 97993 52 4311 2691 1466 5155 3.59 4.78/4.87 c 18985 264 2336 126160 54 5234 2961 1942 5207 3.65 4.78/4.87 c 19800 264 3151 179205 56 6879 3258 2757 5301 3.73 4.78/4.87 c 21121 264 2624 144867 55 5838 3584 2230 5356 3.94 4.78/4.87 c 23202 264 2842 146250 51 6254 3943 2448 5369 4.32 4.78/4.87 o 171 4.87 7.38/7.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.38/7.47 c 26058 264 3666 194727 53 7898 2223 3272 5350 4.87 7.38/7.47 c 26159 264 1608 75748 47 3830 2446 1214 5350 4.89 7.38/7.47 c 26410 264 1859 93256 50 4324 2691 1465 5366 4.92 7.38/7.47 c 26886 264 2335 121036 51 5257 2961 1941 5384 4.99 7.38/7.47 c 27699 264 3148 167984 53 6885 3258 2754 5405 5.12 7.38/7.47 c 29019 264 2787 138398 49 6152 3584 2393 5370 5.40 7.38/7.47 c 31101 264 3030 149237 49 6631 3943 2636 5304 5.86 7.38/7.47 c 34324 264 4132 241924 58 8830 4338 3738 5380 6.38 7.38/7.47 c 39261 264 4268 246175 57 9067 4772 3874 5374 7.30 7.38/7.47 o 129 7.465 7.98/8.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.98/8.02 c 40279 264 2781 144473 51 6105 2223 2387 5384 7.48 7.98/8.02 c 40379 264 1607 77447 48 3810 2446 1213 5388 7.49 7.98/8.02 c 40629 264 1857 94928 51 4269 2691 1463 5399 7.52 7.98/8.02 c 41105 264 2333 126031 54 5245 2961 1939 5422 7.58 7.98/8.02 c 41918 264 3146 181066 57 6885 3258 2752 5448 7.69 7.98/8.02 c 43238 264 2611 147710 56 5818 3584 2217 5474 7.90 7.98/8.02 o 97 8.012 9.28/9.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.28/9.39 c 44060 264 3434 202820 59 7438 2223 3040 5499 8.01 9.28/9.39 c 44161 264 1608 83207 51 3819 2446 1214 5498 8.03 9.28/9.39 c 44413 264 1860 98350 52 4286 2691 1466 5516 8.05 9.28/9.39 c 44888 264 2335 125757 53 5259 2961 1941 5536 8.11 9.28/9.39 c 45702 264 3149 181663 57 6871 3258 2755 5573 8.20 9.28/9.39 c 47022 264 2740 155798 56 6050 3584 2346 5615 8.37 9.28/9.39 c 49104 264 2957 145540 49 6466 3943 2563 5651 8.69 9.28/9.39 c 52327 254 4066 230694 56 8707 4338 3672 5713 9.16 9.28/9.39 o 21 9.389 9.58/9.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.58/9.67 c 54186 254 3508 191842 54 7623 2221 3114 5771 9.39 9.58/9.67 c 54287 244 1609 72508 45 3771 2444 1215 5773 9.40 9.58/9.67 c 54538 244 1860 89391 48 4282 2689 1466 5787 9.42 9.58/9.67 c 55013 244 2335 116964 50 5237 2958 1941 5809 9.47 9.58/9.67 c 55827 244 3149 163377 51 6841 3254 2755 5835 9.57 9.58/9.67 o 9 9.664 9.79/9.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.79/9.83 c 56680 234 2166 95744 44 4940 2217 1772 5865 9.66 9.79/9.83 c 56781 224 2267 101236 44 5096 2439 1873 5868 9.68 9.79/9.83 c 57031 224 2517 114761 45 5602 2683 2123 5875 9.71 9.79/9.83 c 57507 224 2993 142244 47 6526 2952 2599 5886 9.77 9.79/9.83 o 3 9.83 31.66/31.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.66/31.72 c 57963 224 1875 78549 41 4316 2215 1481 5893 9.84 31.66/31.72 c 58063 215 1975 85614 43 4559 2437 1581 5897 9.85 31.66/31.72 c 58314 215 2226 99682 44 5023 2681 1832 5902 9.88 31.66/31.72 c 58789 215 2701 125118 46 5986 2950 2307 5904 9.96 31.66/31.72 c 59602 192 1876 84891 45 4327 3246 1482 5927 10.05 31.66/31.72 c 60922 192 3196 160361 50 7011 3571 2802 5944 10.25 31.66/31.72 c 63005 192 3342 175358 52 7267 3929 2948 5887 10.70 31.66/31.72 c 66229 192 2377 129485 54 5311 4322 1983 5704 11.61 31.66/31.72 c 71165 192 2732 148107 54 6025 4755 2338 5504 12.93 31.66/31.72 c 78671 192 5212 305763 58 10989 5231 4818 5336 14.74 31.66/31.72 c 90032 192 5289 315822 59 11148 5755 4895 5128 17.55 31.66/31.72 c 107178 192 4309 238363 55 9203 6331 3915 4725 22.68 31.66/31.72 c 132997 175 3815 172402 45 8177 6965 3421 4236 31.40 31.66/31.72 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 31.66/31.72 v -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x57 -x58 31.66/31.72 v -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 31.66/31.72 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 31.66/31.72 c 63 133894 1243 141750 4712 209490 4318 4224 31.70 31.66/31.72 c Objective: 3 31.66/31.72 s OPTIMUM FOUND 31.66/31.72 c Total time: 31.697 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-453029-1178013138 -o ROOT/results/node1/solver-453029-1178013138 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453029-1178013138/instance-453029-1178013138.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.97 0.98 3/77 26627 /proc/meminfo: memFree=1828288/2055920 swapFree=4145736/4192956 [pid=26627] ppid=26625 vsize=3928 CPUtime=0 /proc/26627/stat : 26627 (bsolo3.0.17) R 26625 26627 24573 0 -1 4194304 382 0 0 0 0 0 0 0 18 0 1 0 277351640 4022272 352 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26627/statm: 982 353 290 324 0 51 0 [startup+0.0956491 s] /proc/loadavg: 0.92 0.97 0.98 3/77 26627 /proc/meminfo: memFree=1828288/2055920 swapFree=4145736/4192956 [pid=26627] ppid=26625 vsize=5100 CPUtime=0.09 /proc/26627/stat : 26627 (bsolo3.0.17) R 26625 26627 24573 0 -1 4194304 670 0 0 0 9 0 0 0 18 0 1 0 277351640 5222400 639 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573312 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26627/statm: 1275 639 310 324 0 345 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5100 [startup+0.101649 s] /proc/loadavg: 0.92 0.97 0.98 3/77 26627 /proc/meminfo: memFree=1828288/2055920 swapFree=4145736/4192956 [pid=26627] ppid=26625 vsize=5100 CPUtime=0.09 /proc/26627/stat : 26627 (bsolo3.0.17) R 26625 26627 24573 0 -1 4194304 686 0 0 0 9 0 0 0 18 0 1 0 277351640 5222400 655 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26627/statm: 1275 655 310 324 0 345 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5100 [startup+0.301671 s] /proc/loadavg: 0.92 0.97 0.98 3/77 26627 /proc/meminfo: memFree=1828288/2055920 swapFree=4145736/4192956 [pid=26627] ppid=26625 vsize=6520 CPUtime=0.29 /proc/26627/stat : 26627 (bsolo3.0.17) R 26625 26627 24573 0 -1 4194304 1023 0 0 0 29 0 0 0 19 0 1 0 277351640 6676480 992 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26627/statm: 1630 993 310 324 0 700 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6520 [startup+0.701719 s] /proc/loadavg: 0.92 0.97 0.98 3/77 26627 /proc/meminfo: memFree=1828288/2055920 swapFree=4145736/4192956 [pid=26627] ppid=26625 vsize=8068 CPUtime=0.69 /proc/26627/stat : 26627 (bsolo3.0.17) R 26625 26627 24573 0 -1 4194304 1426 0 0 0 69 0 0 0 23 0 1 0 277351640 8261632 1395 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26627/statm: 2017 1395 310 324 0 1087 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8068 [startup+1.50181 s] /proc/loadavg: 0.92 0.97 0.98 2/78 26628 /proc/meminfo: memFree=1823864/2055920 swapFree=4145736/4192956 [pid=26627] ppid=26625 vsize=8460 CPUtime=1.49 /proc/26627/stat : 26627 (bsolo3.0.17) R 26625 26627 24573 0 -1 4194304 1519 0 0 0 149 0 0 0 25 0 1 0 277351640 8663040 1488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6270721 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26627/statm: 2115 1488 310 324 0 1185 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8460 [startup+3.102 s] /proc/loadavg: 0.92 0.97 0.98 2/78 26628 /proc/meminfo: memFree=1822712/2055920 swapFree=4145736/4192956 [pid=26627] ppid=26625 vsize=9624 CPUtime=3.08 /proc/26627/stat : 26627 (bsolo3.0.17) R 26625 26627 24573 0 -1 4194304 1820 0 0 0 308 0 0 0 25 0 1 0 277351640 9854976 1789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26627/statm: 2406 1789 310 324 0 1476 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 9624 [startup+6.30137 s] /proc/loadavg: 0.93 0.97 0.98 2/78 26628 /proc/meminfo: memFree=1821944/2055920 swapFree=4145736/4192956 [pid=26627] ppid=26625 vsize=9844 CPUtime=6.28 /proc/26627/stat : 26627 (bsolo3.0.17) R 26625 26627 24573 0 -1 4194304 1864 0 0 0 628 0 0 0 25 0 1 0 277351640 10080256 1833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550937 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26627/statm: 2461 1833 311 324 0 1531 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 9844 [startup+12.7011 s] /proc/loadavg: 0.93 0.97 0.98 2/78 26628 /proc/meminfo: memFree=1821752/2055920 swapFree=4145736/4192956 [pid=26627] ppid=26625 vsize=9844 CPUtime=12.68 /proc/26627/stat : 26627 (bsolo3.0.17) R 26625 26627 24573 0 -1 4194304 1864 0 0 0 1268 0 0 0 25 0 1 0 277351640 10080256 1833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6262611 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26627/statm: 2461 1833 311 324 0 1531 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 9844 [startup+25.5016 s] /proc/loadavg: 0.95 0.97 0.98 2/78 26628 /proc/meminfo: memFree=1821816/2055920 swapFree=4145736/4192956 [pid=26627] ppid=26625 vsize=9840 CPUtime=25.47 /proc/26627/stat : 26627 (bsolo3.0.17) R 26625 26627 24573 0 -1 4194304 1871 0 0 0 2547 0 0 0 25 0 1 0 277351640 10076160 1840 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6262363 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26627/statm: 2460 1840 311 324 0 1530 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 9840 Solver just ended. Dumping a history of the last processes samples [startup+28.702 s] /proc/loadavg: 0.95 0.97 0.98 2/78 26628 /proc/meminfo: memFree=1821816/2055920 swapFree=4145736/4192956 [pid=26627] ppid=26625 vsize=9968 CPUtime=28.66 /proc/26627/stat : 26627 (bsolo3.0.17) R 26625 26627 24573 0 -1 4194304 1903 0 0 0 2866 0 0 0 25 0 1 0 277351640 10207232 1872 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586863 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26627/statm: 2492 1872 311 324 0 1562 0 Current children cumulated CPU time (s) 28.66 Current children cumulated vsize (KiB) 9968 [startup+30.3022 s] /proc/loadavg: 0.95 0.97 0.98 2/78 26628 /proc/meminfo: memFree=1821816/2055920 swapFree=4145736/4192956 [pid=26627] ppid=26625 vsize=9968 CPUtime=30.26 /proc/26627/stat : 26627 (bsolo3.0.17) R 26625 26627 24573 0 -1 4194304 1903 0 0 0 3026 0 0 0 25 0 1 0 277351640 10207232 1872 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527352 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26627/statm: 2492 1872 311 324 0 1562 0 Current children cumulated CPU time (s) 30.26 Current children cumulated vsize (KiB) 9968 [startup+31.1013 s] /proc/loadavg: 0.95 0.97 0.98 2/78 26628 /proc/meminfo: memFree=1821816/2055920 swapFree=4145736/4192956 [pid=26627] ppid=26625 vsize=9968 CPUtime=31.06 /proc/26627/stat : 26627 (bsolo3.0.17) R 26625 26627 24573 0 -1 4194304 1903 0 0 0 3106 0 0 0 25 0 1 0 277351640 10207232 1872 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26627/statm: 2492 1872 311 324 0 1562 0 Current children cumulated CPU time (s) 31.06 Current children cumulated vsize (KiB) 9968 [startup+31.5013 s] /proc/loadavg: 0.95 0.97 0.98 2/78 26628 /proc/meminfo: memFree=1821816/2055920 swapFree=4145736/4192956 [pid=26627] ppid=26625 vsize=9968 CPUtime=31.46 /proc/26627/stat : 26627 (bsolo3.0.17) R 26625 26627 24573 0 -1 4194304 1903 0 0 0 3146 0 0 0 25 0 1 0 277351640 10207232 1872 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26627/statm: 2492 1872 311 324 0 1562 0 Current children cumulated CPU time (s) 31.46 Current children cumulated vsize (KiB) 9968 [startup+31.7014 s] /proc/loadavg: 0.95 0.97 0.98 2/78 26628 /proc/meminfo: memFree=1821816/2055920 swapFree=4145736/4192956 [pid=26627] ppid=26625 vsize=9968 CPUtime=31.66 /proc/26627/stat : 26627 (bsolo3.0.17) R 26625 26627 24573 0 -1 4194304 1903 0 0 0 3166 0 0 0 25 0 1 0 277351640 10207232 1872 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571486 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26627/statm: 2492 1872 311 324 0 1562 0 Current children cumulated CPU time (s) 31.66 Current children cumulated vsize (KiB) 9968 Child status: 0 Real time (s): 31.7281 CPU time (s): 31.7022 CPU user time (s): 31.6902 CPU system time (s): 0.011998 CPU usage (%): 99.9184 Max. virtual memory (cumulated for all children) (KiB): 9968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.6902 system time used= 0.011998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1907 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= 823 runsolver used 0.036994 second user time and 0.087986 second system time The end
Begin job on node1 on Tue May 1 09:52:18 UTC 2007 IDJOB= 453029 IDBENCH= 48096 IDSOLVER= 199 FILE ID= node1/453029-1178013138 PBS_JOBID= 4728277 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=8-P0=71-P1=107-P2=197-P3=67-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453029-1178013138/instance-453029-1178013138.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-453029-1178013138 -o ROOT/results/node1/solver-453029-1178013138 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453029-1178013138/instance-453029-1178013138.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= ece282cf8dbd0acc24f1883b841333ea RANDOM SEED= 880721966 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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: 1828696 kB Buffers: 37188 kB Cached: 103116 kB SwapCached: 14532 kB Active: 106576 kB Inactive: 57284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1828696 kB SwapTotal: 4192956 kB SwapFree: 4145736 kB Dirty: 6604 kB Writeback: 0 kB Mapped: 30400 kB Slab: 48832 kB Committed_AS: 5771856 kB PageTables: 1836 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 node1 on Tue May 1 09:52:50 UTC 2007