Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 60.4078 | 60.5171 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=53-P1=5-P2=67-P3=53-P4=17-P5=103-P6=29-P7=71-P8=47-B.opb |
MD5SUM | 43e5891f3de726e47642c5b88db45e69 |
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.145977 |
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 | 168 |
Total number of constraints | 17 |
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 | 17 |
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) | 392 |
Sum of products size (including duplicates) | 784 |
Number of different products | 392 |
Sum of products size | 784 |
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/452865-1177988570/instance-452865-1177988570.opb 0.00/0.00 c File size is 7241 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: 560 Constr: 809 392/0/417 Lit: 3409 Watch. Lit: 2106 0.00/0.00 c Obj. Vars: 7 (1.25 % of total variables) 0.00/0.01 c Pre-processing Time: 0.009 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 560 809 3409 4 2923 4596 0 0 0.01 0.00/0.01 c Switching off LPR mode. 20.18/20.28 c 100 560 909 8589 9 3060 5056 100 7142 0.01 20.18/20.28 c 251 560 1060 15568 14 3354 5562 251 10913 0.02 20.18/20.28 c 477 560 1286 25725 20 3794 6119 477 11925 0.04 20.18/20.28 c 815 560 1624 41604 25 4470 6731 815 11985 0.07 20.18/20.28 c 1323 560 2132 68650 32 5453 7405 1323 12844 0.10 20.18/20.28 c 2086 560 2895 107910 37 7020 8146 2086 10077 0.21 20.18/20.28 c 3232 560 4041 167356 41 9272 8961 3232 9647 0.34 20.18/20.28 c 4953 560 5762 243423 42 12688 9858 4953 7726 0.64 20.18/20.28 c 7538 560 8347 358274 42 17862 10844 7538 5399 1.40 20.18/20.28 c 11417 560 6539 279272 42 14214 11929 5730 4784 2.39 20.18/20.28 c 17239 559 12361 614032 49 25917 13122 11552 4420 3.90 20.18/20.28 c 25978 559 7547 338590 44 16317 14435 6738 3238 8.02 20.18/20.28 c 39088 559 13098 660928 50 27416 15879 12289 2774 14.09 20.18/20.28 o 19 20.268 42.16/42.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.16/42.27 c 54796 556 12153 593593 48 25484 4610 11344 2703 20.27 42.16/42.27 c 54897 556 3221 124571 38 7686 5072 2412 2695 20.37 42.16/42.27 c 55147 556 3471 136606 39 8073 5580 2662 2703 20.40 42.16/42.27 c 55622 556 3946 162679 41 9035 6139 3137 2721 20.44 42.16/42.27 c 56436 556 4760 205412 43 10744 6753 3951 2750 20.52 42.16/42.27 c 57756 556 6080 276479 45 13382 7429 5271 2790 20.70 42.16/42.27 c 59838 556 8162 381727 46 17531 8172 7353 2848 21.00 42.16/42.27 c 63062 556 7246 326890 45 15695 8990 6437 2891 21.81 42.16/42.27 c 67999 556 7381 321126 43 15956 9890 6572 2828 24.04 42.16/42.27 c 75506 556 9429 447125 47 20065 10880 8620 2880 26.21 42.16/42.27 c 86867 544 9418 428683 45 20070 11969 8609 2966 29.29 42.16/42.27 c 104011 534 8224 385463 46 17640 13166 7415 2750 37.82 42.16/42.27 o 9 42.25 47.36/47.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.36/47.42 c 117161 534 7538 335997 44 16284 4606 6729 2773 42.25 47.36/47.42 c 117261 534 3223 140964 43 7652 5067 2414 2772 42.29 47.36/47.42 c 117512 534 3474 153811 44 8154 5574 2665 2777 42.31 47.36/47.42 c 117988 534 3950 178029 45 9100 6132 3141 2785 42.36 47.36/47.42 c 118801 534 4763 219791 46 10708 6746 3954 2799 42.44 47.36/47.42 c 120121 534 6083 288269 47 13376 7421 5274 2816 42.65 47.36/47.42 c 122203 534 8165 390177 47 17541 8164 7356 2824 43.27 47.36/47.42 c 125427 534 7242 315748 43 15643 8981 6433 2804 44.73 47.36/47.42 c 130364 533 7530 323756 42 16265 9880 6721 2796 46.62 47.36/47.42 o 7 47.395 49.16/49.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 49.16/49.25 c 133414 524 10581 477068 45 22375 4604 9772 2814 47.40 49.16/49.25 c 133515 515 3226 124368 38 7691 5065 2417 2812 47.47 49.16/49.25 c 133765 515 3476 136868 39 8177 5572 2667 2815 47.51 49.16/49.25 c 134240 515 3951 162086 41 9145 6130 3142 2819 47.61 49.16/49.25 c 135054 515 4765 203626 42 10780 6744 3956 2823 47.84 49.16/49.25 c 136374 515 6085 270668 44 13388 7419 5276 2821 48.33 49.16/49.25 o 3 49.221 60.36/60.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 60.36/60.43 c 138279 515 7991 363748 45 17210 4602 7182 2809 49.22 60.36/60.43 c 138381 496 3228 120123 37 7699 5063 2419 2808 49.28 60.36/60.43 c 138631 496 3478 132860 38 8189 5570 2669 2811 49.30 60.36/60.43 c 139106 496 3953 157277 39 9174 6128 3144 2816 49.39 60.36/60.43 c 139920 496 4767 199015 41 10796 6741 3958 2827 49.49 60.36/60.43 c 141241 496 6088 262667 43 13418 7416 5279 2833 49.84 60.36/60.43 c 143323 496 8170 362197 44 17574 8158 7361 2828 50.67 60.36/60.43 c 146547 496 7105 311856 43 15462 8974 6296 2853 51.36 60.36/60.43 c 151483 493 7468 320911 42 16179 9872 6659 2870 52.78 60.36/60.43 c 158990 485 9927 408501 41 21117 10860 9118 2812 56.54 60.36/60.43 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 60.36/60.43 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 60.36/60.43 v -x60 x61 x62 -x63 x64 -x65 -x66 x67 -x68 -x69 -x70 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x71 -x72 -x73 -x74 -x75 -x76 -x77 60.36/60.43 v -x120 -x121 x122 -x123 -x124 -x125 -x126 x78 -x79 -x80 -x81 -x82 -x83 x84 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x85 -x86 60.36/60.43 v -x87 -x88 -x89 -x90 -x91 x134 -x135 -x136 -x137 -x138 x139 -x140 x92 x93 -x94 -x95 -x96 -x97 -x98 -x141 -x142 -x143 -x144 -x145 60.36/60.43 v -x146 -x147 x99 -x100 -x101 -x102 -x103 -x104 -x105 x148 -x149 -x150 -x151 -x152 -x153 -x154 x106 -x107 -x108 -x109 -x110 60.36/60.43 v x111 -x112 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 x164 x165 -x166 -x167 -x168 60.36/60.43 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 60.36/60.43 c 50 163828 1943 175775 9241 342838 8432 2712 60.40 60.36/60.43 c Objective: 3 60.36/60.43 s OPTIMUM FOUND 60.36/60.43 c Total time: 60.401 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-452865-1177988570 -o ROOT/results/node10/solver-452865-1177988570 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452865-1177988570/instance-452865-1177988570.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.00 1.00 1.00 3/77 22183 /proc/meminfo: memFree=1703624/2055920 swapFree=4145504/4192956 [pid=22183] ppid=22181 vsize=3932 CPUtime=0 /proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 274894514 4026368 348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22183/statm: 983 349 290 324 0 51 0 [startup+0.053623 s] /proc/loadavg: 1.00 1.00 1.00 3/77 22183 /proc/meminfo: memFree=1703624/2055920 swapFree=4145504/4192956 [pid=22183] ppid=22181 vsize=4580 CPUtime=0.04 /proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 555 0 0 0 4 0 0 0 18 0 1 0 274894514 4689920 523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22183/statm: 1145 523 310 324 0 215 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4580 [startup+0.102633 s] /proc/loadavg: 1.00 1.00 1.00 3/77 22183 /proc/meminfo: memFree=1703624/2055920 swapFree=4145504/4192956 [pid=22183] ppid=22181 vsize=5100 CPUtime=0.09 /proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 688 0 0 0 9 0 0 0 18 0 1 0 274894514 5222400 656 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22183/statm: 1275 656 310 324 0 345 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5100 [startup+0.301682 s] /proc/loadavg: 1.00 1.00 1.00 3/77 22183 /proc/meminfo: memFree=1703624/2055920 swapFree=4145504/4192956 [pid=22183] ppid=22181 vsize=6388 CPUtime=0.29 /proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 1012 0 0 0 29 0 0 0 19 0 1 0 274894514 6541312 980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22183/statm: 1597 980 310 324 0 667 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6388 [startup+0.701762 s] /proc/loadavg: 1.00 1.00 1.00 3/77 22183 /proc/meminfo: memFree=1703624/2055920 swapFree=4145504/4192956 [pid=22183] ppid=22181 vsize=7936 CPUtime=0.69 /proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 1397 0 0 0 69 0 0 0 22 0 1 0 274894514 8126464 1365 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22183/statm: 1984 1365 310 324 0 1054 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7936 [startup+1.50193 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22184 /proc/meminfo: memFree=1698560/2055920 swapFree=4145504/4192956 [pid=22183] ppid=22181 vsize=9756 CPUtime=1.49 /proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 1842 0 0 0 148 1 0 0 25 0 1 0 274894514 9990144 1810 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22183/statm: 2439 1810 310 324 0 1509 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9756 [startup+3.10128 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22184 /proc/meminfo: memFree=1696192/2055920 swapFree=4145504/4192956 [pid=22183] ppid=22181 vsize=12216 CPUtime=3.09 /proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 2464 0 0 0 308 1 0 0 25 0 1 0 274894514 12509184 2432 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9339030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22183/statm: 3054 2432 310 324 0 2124 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12216 [startup+6.30197 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22184 /proc/meminfo: memFree=1692544/2055920 swapFree=4145504/4192956 [pid=22183] ppid=22181 vsize=14520 CPUtime=6.29 /proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 3035 0 0 0 627 2 0 0 25 0 1 0 274894514 14868480 3003 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22183/statm: 3630 3003 310 324 0 2700 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14520 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22184 /proc/meminfo: memFree=1691072/2055920 swapFree=4145504/4192956 [pid=22183] ppid=22181 vsize=15824 CPUtime=12.68 /proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 3366 0 0 0 1266 2 0 0 25 0 1 0 274894514 16203776 3334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22183/statm: 3956 3334 310 324 0 3026 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15824 [startup+25.5021 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22184 /proc/meminfo: memFree=1689920/2055920 swapFree=4145504/4192956 [pid=22183] ppid=22181 vsize=16996 CPUtime=25.48 /proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 3659 0 0 0 2546 2 0 0 25 0 1 0 274894514 17403904 3627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22183/statm: 4249 3627 311 324 0 3319 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16996 [startup+51.1026 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22184 /proc/meminfo: memFree=1689920/2055920 swapFree=4145504/4192956 [pid=22183] ppid=22181 vsize=16996 CPUtime=51.06 /proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 3659 0 0 0 5104 2 0 0 25 0 1 0 274894514 17403904 3627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22183/statm: 4249 3627 311 324 0 3319 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 16996 Solver just ended. Dumping a history of the last processes samples [startup+57.502 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22184 /proc/meminfo: memFree=1689984/2055920 swapFree=4145504/4192956 [pid=22183] ppid=22181 vsize=16996 CPUtime=57.46 /proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 3659 0 0 0 5744 2 0 0 25 0 1 0 274894514 17403904 3627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22183/statm: 4249 3627 311 324 0 3319 0 Current children cumulated CPU time (s) 57.46 Current children cumulated vsize (KiB) 16996 [startup+59.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22184 /proc/meminfo: memFree=1689984/2055920 swapFree=4145504/4192956 [pid=22183] ppid=22181 vsize=16996 CPUtime=59.06 /proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 3659 0 0 0 5904 2 0 0 25 0 1 0 274894514 17403904 3627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22183/statm: 4249 3627 311 324 0 3319 0 Current children cumulated CPU time (s) 59.06 Current children cumulated vsize (KiB) 16996 [startup+59.9015 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22184 /proc/meminfo: memFree=1689984/2055920 swapFree=4145504/4192956 [pid=22183] ppid=22181 vsize=16996 CPUtime=59.85 /proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 3659 0 0 0 5983 2 0 0 25 0 1 0 274894514 17403904 3627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22183/statm: 4249 3627 311 324 0 3319 0 Current children cumulated CPU time (s) 59.85 Current children cumulated vsize (KiB) 16996 [startup+60.3016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22184 /proc/meminfo: memFree=1689984/2055920 swapFree=4145504/4192956 [pid=22183] ppid=22181 vsize=16996 CPUtime=60.25 /proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 3659 0 0 0 6023 2 0 0 25 0 1 0 274894514 17403904 3627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22183/statm: 4249 3627 311 324 0 3319 0 Current children cumulated CPU time (s) 60.25 Current children cumulated vsize (KiB) 16996 [startup+60.5056 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22184 /proc/meminfo: memFree=1689984/2055920 swapFree=4145504/4192956 [pid=22183] ppid=22181 vsize=0 CPUtime=60.4 /proc/22183/stat : 22183 (bsolo3.0.17) D 22181 22183 20151 0 -1 4194308 3663 0 0 0 6037 3 0 0 25 0 1 0 274894514 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0 /proc/22183/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 60.4 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 60.5171 CPU time (s): 60.4078 CPU user time (s): 60.3758 CPU system time (s): 0.031995 CPU usage (%): 99.8194 Max. virtual memory (cumulated for all children) (KiB): 16996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 60.3758 system time used= 0.031995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3663 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= 309 runsolver used 0.051992 second user time and 0.12698 second system time The end
Begin job on node10 on Tue May 1 03:02:50 UTC 2007 IDJOB= 452865 IDBENCH= 47932 IDSOLVER= 199 FILE ID= node10/452865-1177988570 PBS_JOBID= 4728131 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=53-P1=5-P2=67-P3=53-P4=17-P5=103-P6=29-P7=71-P8=47-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452865-1177988570/instance-452865-1177988570.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-452865-1177988570 -o ROOT/results/node10/solver-452865-1177988570 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452865-1177988570/instance-452865-1177988570.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 43e5891f3de726e47642c5b88db45e69 RANDOM SEED= 412541016 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1704032 kB Buffers: 32424 kB Cached: 220504 kB SwapCached: 15808 kB Active: 104352 kB Inactive: 181252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1704032 kB SwapTotal: 4192956 kB SwapFree: 4145504 kB Dirty: 6800 kB Writeback: 0 kB Mapped: 30776 kB Slab: 51916 kB Committed_AS: 3860300 kB PageTables: 1712 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 node10 on Tue May 1 03:03:51 UTC 2007