Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 34.0118 | 34.0276 |
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.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/432060-1178013019/instance-432060-1178013019.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 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.003 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.69/3.80 c 102 264 496 7859 15 1577 2428 102 10200 0.01 3.69/3.80 c 253 264 647 18347 28 1898 2671 253 11000 0.02 3.69/3.80 c 478 264 872 31423 36 2333 2939 478 11380 0.04 3.69/3.80 c 816 264 1210 53493 44 2985 3233 816 11826 0.07 3.69/3.80 c 1324 264 1718 83932 48 4017 3557 1324 10592 0.12 3.69/3.80 c 2088 264 2482 132818 53 5553 3913 2088 9666 0.22 3.69/3.80 c 3234 264 3628 200839 55 7789 4305 3234 6954 0.47 3.69/3.80 c 4956 264 3037 164099 54 6617 4736 2643 6353 0.78 3.69/3.80 c 7541 264 3149 170801 54 6862 5210 2755 5661 1.33 3.69/3.80 c 11421 264 4207 245818 58 8968 5732 3813 5612 2.04 3.69/3.80 c 17244 264 3861 244494 63 8320 6306 3467 4669 3.69 3.69/3.80 o 225 3.794 5.19/5.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.21 c 18156 264 4774 305689 64 10108 2223 4380 4785 3.79 5.19/5.21 c 18258 264 1609 82230 51 3826 2446 1215 4779 3.82 5.19/5.21 c 18509 264 1860 97993 52 4311 2691 1466 4818 3.84 5.19/5.21 c 18985 264 2336 126160 54 5234 2961 1942 4867 3.90 5.19/5.21 c 19800 264 3151 179205 56 6879 3258 2757 4956 4.00 5.19/5.21 c 21121 264 2624 144867 55 5838 3584 2230 5007 4.22 5.19/5.21 c 23202 264 2842 146250 51 6254 3943 2448 5018 4.62 5.19/5.21 o 171 5.212 7.89/7.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.89/7.98 c 26058 264 3666 194727 53 7898 2223 3272 4999 5.21 7.89/7.98 c 26159 264 1608 75748 47 3830 2446 1214 4999 5.23 7.89/7.98 c 26410 264 1859 93256 50 4324 2691 1465 5015 5.27 7.89/7.98 c 26886 264 2335 121036 51 5257 2961 1941 5031 5.34 7.89/7.98 c 27699 264 3148 167984 53 6885 3258 2754 5050 5.48 7.89/7.98 c 29019 264 2787 138398 49 6152 3584 2393 5018 5.78 7.89/7.98 c 31101 264 3030 149237 49 6631 3943 2636 4960 6.27 7.89/7.98 c 34324 264 4132 241924 58 8830 4338 3738 5033 6.82 7.89/7.98 c 39261 264 4268 246175 57 9067 4772 3874 5031 7.80 7.89/7.98 o 129 7.975 8.49/8.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.49/8.57 c 40279 264 2781 144473 51 6105 2223 2387 5041 7.99 8.49/8.57 c 40379 264 1607 77447 48 3810 2446 1213 5043 8.01 8.49/8.57 c 40629 264 1857 94928 51 4269 2691 1463 5054 8.04 8.49/8.57 c 41105 264 2333 126031 54 5245 2961 1939 5075 8.10 8.49/8.57 c 41918 264 3146 181066 57 6885 3258 2752 5098 8.22 8.49/8.57 c 43238 264 2611 147710 56 5818 3584 2217 5122 8.44 8.49/8.57 o 97 8.563 9.98/10.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.98/10.05 c 44060 264 3434 202820 59 7438 2223 3040 5145 8.56 9.98/10.05 c 44161 264 1608 83207 51 3819 2446 1214 5144 8.58 9.98/10.05 c 44413 264 1860 98350 52 4286 2691 1466 5161 8.61 9.98/10.05 c 44888 264 2335 125757 53 5259 2961 1941 5179 8.67 9.98/10.05 c 45702 264 3149 181663 57 6871 3258 2755 5213 8.77 9.98/10.05 c 47022 264 2740 155798 56 6050 3584 2346 5252 8.95 9.98/10.05 c 49104 264 2957 145540 49 6466 3943 2563 5283 9.29 9.98/10.05 c 52327 254 4066 230694 56 8707 4338 3672 5341 9.80 9.98/10.05 o 21 10.047 10.29/10.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.29/10.35 c 54186 254 3508 191842 54 7623 2221 3114 5393 10.05 10.29/10.35 c 54287 244 1609 72508 45 3771 2444 1215 5395 10.06 10.29/10.35 c 54538 244 1860 89391 48 4282 2689 1466 5408 10.08 10.29/10.35 c 55013 244 2335 116964 50 5237 2958 1941 5429 10.13 10.29/10.35 c 55827 244 3149 163377 51 6841 3254 2755 5452 10.24 10.29/10.35 o 9 10.344 10.49/10.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.49/10.53 c 56680 234 2166 95744 44 4940 2217 1772 5479 10.34 10.49/10.53 c 56781 224 2267 101236 44 5096 2439 1873 5482 10.36 10.49/10.53 c 57031 224 2517 114761 45 5602 2683 2123 5489 10.39 10.49/10.53 c 57507 224 2993 142244 47 6526 2952 2599 5498 10.46 10.49/10.53 o 3 10.523 33.98/34.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.98/34.02 c 57963 224 1875 78549 41 4316 2215 1481 5505 10.53 33.98/34.02 c 58063 215 1975 85614 43 4559 2437 1581 5509 10.54 33.98/34.02 c 58314 215 2226 99682 44 5023 2681 1832 5513 10.58 33.98/34.02 c 58789 215 2701 125118 46 5986 2950 2307 5514 10.66 33.98/34.02 c 59602 192 1876 84891 45 4327 3246 1482 5535 10.77 33.98/34.02 c 60922 192 3196 160361 50 7011 3571 2802 5550 10.97 33.98/34.02 c 63005 192 3342 175358 52 7267 3929 2948 5495 11.46 33.98/34.02 c 66229 192 2377 129485 54 5311 4322 1983 5321 12.45 33.98/34.02 c 71165 192 2732 148107 54 6025 4755 2338 5125 13.88 33.98/34.02 c 78671 192 5212 305763 58 10989 5231 4818 4957 15.87 33.98/34.02 c 90032 192 5289 315822 59 11148 5755 4895 4758 18.92 33.98/34.02 c 107178 192 4309 238363 55 9203 6331 3915 4390 24.41 33.98/34.02 c 132997 175 3815 172402 45 8177 6965 3421 3948 33.68 33.98/34.02 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 33.98/34.02 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 33.98/34.02 v -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 33.98/34.02 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 33.98/34.02 c 63 133894 1243 141750 4712 209490 4318 3937 34.01 33.98/34.02 c Objective: 3 33.98/34.02 s OPTIMUM FOUND 33.98/34.02 c Total time: 34.007 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-432060-1178013019 -o ROOT/results/node23/solver-432060-1178013019 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/432060-1178013019/instance-432060-1178013019.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 11911 /proc/meminfo: memFree=1824240/2055920 swapFree=4169104/4192956 [pid=11911] ppid=11909 vsize=19552 CPUtime=0 /proc/11911/stat : 11911 (bsolo3.0.16) R 11909 11911 11120 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 249219025 20021248 343 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11911/statm: 4888 343 290 324 0 3956 0 [startup+0.0519639 s] /proc/loadavg: 0.92 0.98 0.99 3/77 11911 /proc/meminfo: memFree=1824240/2055920 swapFree=4169104/4192956 [pid=11911] ppid=11909 vsize=4576 CPUtime=0.04 /proc/11911/stat : 11911 (bsolo3.0.16) R 11909 11911 11120 0 -1 4194304 540 0 0 0 4 0 0 0 18 0 1 0 249219025 4685824 508 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11911/statm: 1144 508 312 324 0 213 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4576 [startup+0.101973 s] /proc/loadavg: 0.92 0.98 0.99 3/77 11911 /proc/meminfo: memFree=1824240/2055920 swapFree=4169104/4192956 [pid=11911] ppid=11909 vsize=5100 CPUtime=0.09 /proc/11911/stat : 11911 (bsolo3.0.16) R 11909 11911 11120 0 -1 4194304 669 0 0 0 9 0 0 0 18 0 1 0 249219025 5222400 637 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11911/statm: 1275 637 312 324 0 344 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5100 [startup+0.302012 s] /proc/loadavg: 0.92 0.98 0.99 3/77 11911 /proc/meminfo: memFree=1824240/2055920 swapFree=4169104/4192956 [pid=11911] ppid=11909 vsize=6384 CPUtime=0.29 /proc/11911/stat : 11911 (bsolo3.0.16) R 11909 11911 11120 0 -1 4194304 994 0 0 0 29 0 0 0 19 0 1 0 249219025 6537216 962 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11911/statm: 1596 962 312 324 0 665 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6384 [startup+0.701089 s] /proc/loadavg: 0.92 0.98 0.99 3/77 11911 /proc/meminfo: memFree=1824240/2055920 swapFree=4169104/4192956 [pid=11911] ppid=11909 vsize=7940 CPUtime=0.69 /proc/11911/stat : 11911 (bsolo3.0.16) R 11909 11911 11120 0 -1 4194304 1395 0 0 0 69 0 0 0 22 0 1 0 249219025 8130560 1363 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11911/statm: 1985 1363 312 324 0 1054 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7940 [startup+1.50124 s] /proc/loadavg: 0.92 0.98 0.99 2/78 11912 /proc/meminfo: memFree=1819880/2055920 swapFree=4169104/4192956 [pid=11911] ppid=11909 vsize=8460 CPUtime=1.49 /proc/11911/stat : 11911 (bsolo3.0.16) R 11909 11911 11120 0 -1 4194304 1522 0 0 0 148 1 0 0 25 0 1 0 249219025 8663040 1490 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11911/statm: 2115 1490 312 324 0 1184 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8460 [startup+3.10156 s] /proc/loadavg: 0.93 0.98 0.99 2/78 11912 /proc/meminfo: memFree=1818728/2055920 swapFree=4169104/4192956 [pid=11911] ppid=11909 vsize=9624 CPUtime=3.09 /proc/11911/stat : 11911 (bsolo3.0.16) R 11909 11911 11120 0 -1 4194304 1823 0 0 0 307 2 0 0 25 0 1 0 249219025 9854976 1791 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11911/statm: 2406 1791 312 324 0 1475 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9624 [startup+6.30117 s] /proc/loadavg: 0.93 0.98 0.99 2/78 11912 /proc/meminfo: memFree=1817768/2055920 swapFree=4169104/4192956 [pid=11911] ppid=11909 vsize=9844 CPUtime=6.29 /proc/11911/stat : 11911 (bsolo3.0.16) R 11909 11911 11120 0 -1 4194304 1867 0 0 0 626 3 0 0 25 0 1 0 249219025 10080256 1835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11911/statm: 2461 1835 313 324 0 1530 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9844 [startup+12.7014 s] /proc/loadavg: 0.94 0.98 0.99 2/78 11912 /proc/meminfo: memFree=1817768/2055920 swapFree=4169104/4192956 [pid=11911] ppid=11909 vsize=9844 CPUtime=12.68 /proc/11911/stat : 11911 (bsolo3.0.16) R 11909 11911 11120 0 -1 4194304 1867 0 0 0 1263 5 0 0 25 0 1 0 249219025 10080256 1835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11911/statm: 2461 1835 313 324 0 1530 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 9844 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/78 11912 /proc/meminfo: memFree=1817832/2055920 swapFree=4169104/4192956 [pid=11911] ppid=11909 vsize=9840 CPUtime=25.48 /proc/11911/stat : 11911 (bsolo3.0.16) R 11909 11911 11120 0 -1 4194304 1874 0 0 0 2539 9 0 0 25 0 1 0 249219025 10076160 1842 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11911/statm: 2460 1842 313 324 0 1529 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9840 Solver just ended. Dumping a history of the last processes samples [startup+28.7015 s] /proc/loadavg: 0.95 0.98 0.99 2/78 11912 /proc/meminfo: memFree=1817704/2055920 swapFree=4169104/4192956 [pid=11911] ppid=11909 vsize=9968 CPUtime=28.67 /proc/11911/stat : 11911 (bsolo3.0.16) R 11909 11911 11120 0 -1 4194304 1905 0 0 0 2857 10 0 0 25 0 1 0 249219025 10207232 1873 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11911/statm: 2492 1873 313 324 0 1561 0 Current children cumulated CPU time (s) 28.67 Current children cumulated vsize (KiB) 9968 [startup+31.9041 s] /proc/loadavg: 0.95 0.98 0.99 2/78 11912 /proc/meminfo: memFree=1817704/2055920 swapFree=4169104/4192956 [pid=11911] ppid=11909 vsize=9968 CPUtime=31.88 /proc/11911/stat : 11911 (bsolo3.0.16) R 11909 11911 11120 0 -1 4194304 1906 0 0 0 3177 11 0 0 25 0 1 0 249219025 10207232 1874 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2936454 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11911/statm: 2492 1874 313 324 0 1561 0 Current children cumulated CPU time (s) 31.88 Current children cumulated vsize (KiB) 9968 [startup+32.7013 s] /proc/loadavg: 0.95 0.98 0.99 2/78 11912 /proc/meminfo: memFree=1817704/2055920 swapFree=4169104/4192956 [pid=11911] ppid=11909 vsize=9968 CPUtime=32.68 /proc/11911/stat : 11911 (bsolo3.0.16) R 11909 11911 11120 0 -1 4194304 1906 0 0 0 3257 11 0 0 25 0 1 0 249219025 10207232 1874 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11911/statm: 2492 1874 313 324 0 1561 0 Current children cumulated CPU time (s) 32.68 Current children cumulated vsize (KiB) 9968 [startup+33.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/78 11912 /proc/meminfo: memFree=1817704/2055920 swapFree=4169104/4192956 [pid=11911] ppid=11909 vsize=9968 CPUtime=33.47 /proc/11911/stat : 11911 (bsolo3.0.16) R 11909 11911 11120 0 -1 4194304 1906 0 0 0 3336 11 0 0 25 0 1 0 249219025 10207232 1874 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11911/statm: 2492 1874 313 324 0 1561 0 Current children cumulated CPU time (s) 33.47 Current children cumulated vsize (KiB) 9968 [startup+33.9015 s] /proc/loadavg: 0.95 0.98 0.99 2/78 11912 /proc/meminfo: memFree=1817704/2055920 swapFree=4169104/4192956 [pid=11911] ppid=11909 vsize=9968 CPUtime=33.87 /proc/11911/stat : 11911 (bsolo3.0.16) R 11909 11911 11120 0 -1 4194304 1906 0 0 0 3376 11 0 0 25 0 1 0 249219025 10207232 1874 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11911/statm: 2492 1874 313 324 0 1561 0 Current children cumulated CPU time (s) 33.87 Current children cumulated vsize (KiB) 9968 [startup+34.0015 s] /proc/loadavg: 0.95 0.98 0.99 2/78 11912 /proc/meminfo: memFree=1817704/2055920 swapFree=4169104/4192956 [pid=11911] ppid=11909 vsize=9968 CPUtime=33.98 /proc/11911/stat : 11911 (bsolo3.0.16) R 11909 11911 11120 0 -1 4194304 1906 0 0 0 3387 11 0 0 25 0 1 0 249219025 10207232 1874 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11911/statm: 2492 1874 313 324 0 1561 0 Current children cumulated CPU time (s) 33.98 Current children cumulated vsize (KiB) 9968 Child status: 0 Real time (s): 34.0276 CPU time (s): 34.0118 CPU user time (s): 33.8908 CPU system time (s): 0.120981 CPU usage (%): 99.9535 Max. virtual memory (cumulated for all children) (KiB): 9968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 33.8908 system time used= 0.120981 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= 42 runsolver used 0.028995 second user time and 0.081987 second system time The end
Begin job on node23 on Tue May 1 09:50:19 UTC 2007 IDJOB= 432060 IDBENCH= 48096 IDSOLVER= 163 FILE ID= node23/432060-1178013019 PBS_JOBID= 4728298 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/432060-1178013019/instance-432060-1178013019.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-432060-1178013019 -o ROOT/results/node23/solver-432060-1178013019 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/432060-1178013019/instance-432060-1178013019.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= ece282cf8dbd0acc24f1883b841333ea RANDOM SEED= 935226579 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node23.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.276 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.276 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: 1824648 kB Buffers: 38052 kB Cached: 103908 kB SwapCached: 2472 kB Active: 102116 kB Inactive: 63164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1824648 kB SwapTotal: 4192956 kB SwapFree: 4169104 kB Dirty: 6600 kB Writeback: 0 kB Mapped: 30784 kB Slab: 51484 kB Committed_AS: 3082504 kB PageTables: 1796 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 node23 on Tue May 1 09:50:53 UTC 2007