Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | Wrong UNSAT | 224.999 | 225.072 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=149-P1=419-P2=307-P3=223-B.opb |
MD5SUM | c4226b2f0998740abfed6a5c474083dd |
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.874866 |
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 | 81 |
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 | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 243 |
Sum of products size (including duplicates) | 486 |
Number of different products | 243 |
Sum of products size | 486 |
0.00/0.01 c wbo 1.4 beta - 20100610 0.00/0.01 c Parsing opb file format. File HOME/instance-2701901-1278546254.opb. 0.00/0.01 c Instance file HOME/instance-2701901-1278546254.opb 0.00/0.01 c File size is 17961 bytes. 0.00/0.01 c Highest Coefficient sum: 523264 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.00 s | 0.00/0.01 c | Number Variables: 324 | 0.00/0.01 c | Number Clauses: 243 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 253 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 324 496 2070 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 324 496 2070 | 5500 100 70 | 0.010 % | 0.00/0.02 c | 251 | 324 496 2070 | 6050 251 68 | 0.001 % | 0.00/0.03 c | 477 | 324 496 2070 | 6655 477 74 | 0.010 % | 0.00/0.06 c | 816 | 324 496 2070 | 7320 816 73 | 0.001 % | 0.09/0.12 c | 1323 | 324 496 2070 | 8052 1323 71 | 0.001 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 19 0.09/0.14 o 19 0.09/0.14 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 1479 | 324 497 2079 | 5000 1479 72 | 0.001 % | 0.09/0.16 c | 1579 | 280 497 2079 | 5500 1519 73 | 13.590 % | 0.09/0.17 c | 1729 | 280 497 2079 | 6050 1669 72 | 13.581 % | 0.09/0.19 c | 1955 | 280 497 2079 | 6655 1895 72 | 13.581 % | 0.19/0.22 c | 2295 | 280 497 2079 | 7320 2235 71 | 13.590 % | 0.29/0.30 c | 2803 | 280 497 2079 | 8052 2743 69 | 13.581 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 3 0.29/0.39 o 3 0.29/0.39 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 3384 | 280 498 2088 | 5000 3324 69 | 13.581 % | 0.38/0.40 c | 3484 | 239 498 2088 | 5500 3424 69 | 27.479 % | 0.38/0.43 c | 3634 | 239 498 2088 | 6050 3574 69 | 27.470 % | 0.38/0.47 c | 3860 | 239 498 2088 | 6655 3800 69 | 27.470 % | 0.49/0.51 c | 4199 | 239 498 2088 | 7320 4139 69 | 27.470 % | 0.49/0.58 c | 4706 | 239 498 2088 | 8052 4646 69 | 27.470 % | 0.59/0.69 c | 5465 | 239 498 2088 | 8857 5405 69 | 27.470 % | 0.78/0.87 c | 6604 | 239 498 2088 | 9743 6544 67 | 27.470 % | 1.09/1.11 c | 8312 | 239 498 2088 | 10717 8252 66 | 27.470 % | 1.48/1.56 c | 10874 | 239 498 2088 | 11789 10814 65 | 27.470 % | 2.28/2.38 c | 14719 | 235 498 2088 | 12968 8637 53 | 27.470 % | 3.08/3.12 c | 20485 | 235 498 2088 | 14265 7773 52 | 27.470 % | 4.29/4.36 c | 29134 | 235 498 2088 | 15692 9152 59 | 27.470 % | 6.78/6.82 c | 42113 | 235 498 2088 | 17261 14160 57 | 27.470 % | 9.89/9.91 c | 61575 | 235 498 2088 | 18987 16125 51 | 27.470 % | 15.87/15.95 c | 90767 | 235 498 2088 | 20886 16477 44 | 27.470 % | 25.19/25.23 c | 134556 | 235 498 2088 | 22974 18168 32 | 27.470 % | 43.17/43.27 c | 200241 | 235 498 2088 | 25272 22916 57 | 27.470 % | 68.26/68.39 c | 298767 | 235 498 2088 | 27799 19871 61 | 27.470 % | 109.55/109.62 c | 446556 | 235 498 2088 | 30579 16537 63 | 27.470 % | 176.33/176.47 c | 668239 | 234 498 2088 | 33637 23272 45 | 27.779 % | 182.03/182.19 c There are 90 assigned variables. 9 in cost function. 182.64/182.70 c ============================[ Search Statistics ]============================== 182.64/182.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.64/182.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.64/182.70 c =============================================================================== 182.64/182.70 c | 0 | 234 442 1433 | 5000 0 nan | 0.000 % | 182.73/182.82 c | 100 | 234 442 1433 | 5500 100 55 | 27.780 % | 182.73/182.83 c | 252 | 234 442 1433 | 6050 252 64 | 27.779 % | 182.73/182.85 c | 478 | 234 442 1433 | 6655 478 66 | 27.779 % | 182.73/182.88 c | 816 | 234 442 1433 | 7320 816 63 | 27.779 % | 182.83/182.96 c | 1322 | 234 442 1433 | 8052 1322 64 | 27.779 % | 182.93/183.06 c | 2081 | 234 442 1433 | 8857 2081 61 | 27.779 % | 183.13/183.22 c | 3221 | 234 442 1433 | 9743 3221 59 | 27.779 % | 183.43/183.50 c | 4929 | 234 442 1433 | 10717 4929 54 | 27.779 % | 183.93/184.01 c | 7492 | 234 442 1433 | 11789 7492 51 | 27.779 % | 185.13/185.27 c | 11337 | 234 442 1433 | 12968 11337 49 | 27.779 % | 186.53/186.66 c | 17104 | 234 442 1433 | 14265 10536 39 | 27.779 % | 188.43/188.57 c | 25753 | 234 442 1433 | 15692 11969 39 | 27.779 % | 192.23/192.34 c | 38727 | 234 442 1433 | 17261 9093 33 | 27.779 % | 197.43/197.59 c | 58188 | 234 442 1433 | 18987 11135 27 | 27.779 % | 204.72/204.86 c | 87381 | 234 442 1433 | 20886 11584 25 | 27.779 % | 216.92/217.06 c | 131170 | 234 442 1433 | 22974 13252 21 | 27.783 % | 224.92/225.04 c =============================================================================== 224.92/225.05 c core #1 224.92/225.05 c 224.92/225.05 c 224.92/225.05 c Core size: 83 Core Weight: 2147483647 Total Weight: -2147483647 224.92/225.05 c 224.92/225.05 c 224.92/225.05 c Memory used : 213.58 MB 224.92/225.05 c CPU time : 222.397 s 224.92/225.05 c 224.92/225.05 s UNSATISFIABLE 224.92/225.05 c Total CPU time: 222.397 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701901-1278546254/watcher-2701901-1278546254 -o /tmp/evaluation-result-2701901-1278546254/solver-2701901-1278546254 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701901-1278546254.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.39 0.11 0.03 3/106 29146 /proc/meminfo: memFree=1738936/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=2580 CPUtime=0 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 305 0 0 0 0 0 0 0 20 0 1 0 22838562 2641920 219 1992294400 134512640 135752675 4293223984 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29146/statm: 645 219 144 303 0 340 0 [startup+0.0970001 s] /proc/loadavg: 0.39 0.11 0.03 3/106 29146 /proc/meminfo: memFree=1738936/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=3092 CPUtime=0.09 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 410 0 0 0 9 0 0 0 20 0 1 0 22838562 3166208 324 1992294400 134512640 135752675 4293223984 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29146/statm: 773 324 145 303 0 468 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3092 [startup+0.1 s] /proc/loadavg: 0.39 0.11 0.03 3/106 29146 /proc/meminfo: memFree=1738936/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=3092 CPUtime=0.09 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 412 0 0 0 9 0 0 0 20 0 1 0 22838562 3166208 326 1992294400 134512640 135752675 4293223984 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29146/statm: 773 326 145 303 0 468 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3092 [startup+0.4 s] /proc/loadavg: 0.39 0.11 0.03 3/106 29146 /proc/meminfo: memFree=1738936/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=3996 CPUtime=0.38 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 658 0 0 0 38 0 0 0 20 0 1 0 22838562 4091904 572 1992294400 134512640 135752675 4293223984 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29146/statm: 999 572 145 303 0 694 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 3996 [startup+0.700999 s] /proc/loadavg: 0.39 0.11 0.03 3/106 29146 /proc/meminfo: memFree=1738936/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=4904 CPUtime=0.68 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 873 0 0 0 67 1 0 0 21 0 1 0 22838562 5021696 787 1992294400 134512640 135752675 4293223984 18446744073709551615 134611588 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29146/statm: 1226 787 145 303 0 921 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 4904 [startup+1.501 s] /proc/loadavg: 0.39 0.11 0.03 2/107 29147 /proc/meminfo: memFree=1736076/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=6724 CPUtime=1.48 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 1338 0 0 0 146 2 0 0 23 0 1 0 22838562 6885376 1252 1992294400 134512640 135752675 4293223984 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29146/statm: 1681 1252 145 303 0 1376 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6724 [startup+3.102 s] /proc/loadavg: 0.39 0.11 0.03 2/107 29147 /proc/meminfo: memFree=1733968/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=9744 CPUtime=3.08 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 2077 0 0 0 303 5 0 0 25 0 1 0 22838562 9977856 1991 1992294400 134512640 135752675 4293223984 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29146/statm: 2436 1991 145 303 0 2131 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 9744 [startup+6.30099 s] /proc/loadavg: 0.44 0.12 0.04 2/107 29147 /proc/meminfo: memFree=1726900/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=15976 CPUtime=6.28 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 3645 0 0 0 617 11 0 0 25 0 1 0 22838562 16359424 3559 1992294400 134512640 135752675 4293223984 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29146/statm: 3994 3559 145 303 0 3689 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15976 [startup+12.701 s] /proc/loadavg: 0.48 0.13 0.04 2/107 29147 /proc/meminfo: memFree=1715616/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=26916 CPUtime=12.68 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 6370 0 0 0 1248 20 0 0 25 0 1 0 22838562 27561984 6284 1992294400 134512640 135752675 4293223984 18446744073709551615 134611626 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29146/statm: 6729 6284 145 303 0 6424 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26916 [startup+25.501 s] /proc/loadavg: 0.60 0.18 0.06 2/107 29147 /proc/meminfo: memFree=1700984/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=41028 CPUtime=25.48 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 9893 0 0 0 2512 36 0 0 25 0 1 0 22838562 42012672 9807 1992294400 134512640 135752675 4293223984 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29146/statm: 10257 9807 145 303 0 9952 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41028 [startup+51.1009 s] /proc/loadavg: 0.73 0.24 0.08 2/107 29149 /proc/meminfo: memFree=1673456/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=68860 CPUtime=51.07 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 16813 0 0 0 5040 67 0 0 25 0 1 0 22838562 70512640 16727 1992294400 134512640 135752675 4293223984 18446744073709551615 134518784 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29146/statm: 17215 16727 145 303 0 16910 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 68860 [startup+102.309 s] /proc/loadavg: 0.88 0.36 0.13 2/107 29149 /proc/meminfo: memFree=1616788/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=125136 CPUtime=102.27 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 30870 0 0 0 10103 124 0 0 25 0 1 0 22838562 128139264 30784 1992294400 134512640 135752675 4293223984 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29146/statm: 31284 30784 145 303 0 30979 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 125136 [startup+162.301 s] /proc/loadavg: 0.95 0.47 0.18 2/107 29151 /proc/meminfo: memFree=1550324/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=191800 CPUtime=162.23 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 47497 0 0 0 16027 196 0 0 25 0 1 0 22838562 196403200 47411 1992294400 134512640 135752675 4293223984 18446744073709551615 134611612 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29146/statm: 47950 47411 145 303 0 47645 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 191800 [startup+222.301 s] /proc/loadavg: 0.98 0.56 0.23 2/107 29153 /proc/meminfo: memFree=1524284/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=217252 CPUtime=222.22 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 53955 0 0 0 21969 253 0 0 25 0 1 0 22838562 222466048 53835 1992294400 134512640 135752675 4293223984 18446744073709551615 134611642 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29146/statm: 54313 53835 146 303 0 54008 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 217252 Solver just ended. Dumping a history of the last processes samples [startup+223.901 s] /proc/loadavg: 0.98 0.56 0.23 2/107 29153 /proc/meminfo: memFree=1523912/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=217912 CPUtime=223.81 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 54133 0 0 0 22127 254 0 0 25 0 1 0 22838562 223141888 54013 1992294400 134512640 135752675 4293223984 18446744073709551615 135229081 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29146/statm: 54478 54013 146 303 0 54173 0 Current children cumulated CPU time (s) 223.81 Current children cumulated vsize (KiB) 217912 [startup+224.701 s] /proc/loadavg: 0.98 0.57 0.23 2/107 29153 /proc/meminfo: memFree=1523292/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=218572 CPUtime=224.62 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 54284 0 0 0 22205 257 0 0 25 0 1 0 22838562 223817728 54164 1992294400 134512640 135752675 4293223984 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29146/statm: 54643 54164 146 303 0 54338 0 Current children cumulated CPU time (s) 224.62 Current children cumulated vsize (KiB) 218572 [startup+224.901 s] /proc/loadavg: 0.98 0.57 0.23 2/107 29153 /proc/meminfo: memFree=1523292/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=218704 CPUtime=224.82 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 54311 0 0 0 22225 257 0 0 25 0 1 0 22838562 223952896 54191 1992294400 134512640 135752675 4293223984 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29146/statm: 54676 54191 146 303 0 54371 0 Current children cumulated CPU time (s) 224.82 Current children cumulated vsize (KiB) 218704 [startup+225.001 s] /proc/loadavg: 0.98 0.57 0.23 2/107 29153 /proc/meminfo: memFree=1523292/2059040 swapFree=4138696/4192956 [pid=29146] ppid=29144 vsize=218704 CPUtime=224.92 /proc/29146/stat : 29146 (wbo1.4b) R 29144 29146 28909 0 -1 4202496 54325 0 0 0 22235 257 0 0 25 0 1 0 22838562 223952896 54205 1992294400 134512640 135752675 4293223984 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/29146/statm: 54676 54205 146 303 0 54371 0 Current children cumulated CPU time (s) 224.92 Current children cumulated vsize (KiB) 218704 Child status: 0 Real time (s): 225.072 CPU time (s): 224.999 CPU user time (s): 222.397 CPU system time (s): 2.6016 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 218704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 222.397 system time used= 2.6016 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54329 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= 2 involuntary context switches= 3191 runsolver used 0.408937 second user time and 1.04384 second system time The end
Begin job on node011 at 2010-07-08 01:44:14 IDJOB=2701901 IDBENCH=47885 IDSOLVER=1190 FILE ID=node011/2701901-1278546254 PBS_JOBID= 11239520 Free space on /tmp= 62444 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=149-P1=419-P2=307-P3=223-B.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701901-1278546254/watcher-2701901-1278546254 -o /tmp/evaluation-result-2701901-1278546254/solver-2701901-1278546254 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701901-1278546254.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c4226b2f0998740abfed6a5c474083dd RANDOM SEED=895073630 node011.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.212 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 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.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1741524 kB Buffers: 58712 kB Cached: 169004 kB SwapCached: 7420 kB Active: 140852 kB Inactive: 100828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1741524 kB SwapTotal: 4192956 kB SwapFree: 4138696 kB Dirty: 2736 kB Writeback: 0 kB AnonPages: 11884 kB Mapped: 11864 kB Slab: 53976 kB PageTables: 4148 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180816 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2701901-1278546254.opb Free space on /tmp at the end= 62440 MiB End job on node011 at 2010-07-08 01:47:59