Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 60.5608 | 60.5829 |
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.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/429764-1177988527/instance-429764-1177988527.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.39/20.42 c 100 560 909 8589 9 3060 5056 100 7142 0.01 20.39/20.42 c 251 560 1060 15568 14 3354 5562 251 10458 0.02 20.39/20.42 c 477 560 1286 25725 20 3794 6119 477 11634 0.04 20.39/20.42 c 815 560 1624 41604 25 4470 6731 815 11811 0.07 20.39/20.42 c 1323 560 2132 68650 32 5453 7405 1323 12721 0.10 20.39/20.42 c 2086 560 2895 107910 37 7020 8146 2086 9933 0.21 20.39/20.42 c 3232 560 4041 167356 41 9272 8961 3232 9533 0.34 20.39/20.42 c 4953 560 5762 243423 42 12688 9858 4953 7550 0.66 20.39/20.42 c 7538 560 8347 358274 42 17862 10844 7538 5242 1.44 20.39/20.42 c 11417 560 6539 279272 42 14214 11929 5730 4663 2.45 20.39/20.42 c 17239 559 12361 614032 49 25917 13122 11552 4330 3.98 20.39/20.42 c 25978 559 7547 338590 44 16317 14435 6738 3180 8.17 20.39/20.42 c 39088 559 13098 660928 50 27416 15879 12289 2743 14.25 20.39/20.42 o 19 20.408 42.47/42.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.47/42.54 c 54796 556 12153 593593 48 25484 4610 11344 2685 20.41 42.47/42.54 c 54897 556 3221 124571 38 7686 5072 2412 2676 20.51 42.47/42.54 c 55147 556 3471 136606 39 8073 5580 2662 2684 20.54 42.47/42.54 c 55622 556 3946 162679 41 9035 6139 3137 2702 20.58 42.47/42.54 c 56436 556 4760 205412 43 10744 6753 3951 2731 20.66 42.47/42.54 c 57756 556 6080 276479 45 13382 7429 5271 2770 20.84 42.47/42.54 c 59838 556 8162 381727 46 17531 8172 7353 2828 21.16 42.47/42.54 c 63062 556 7246 326890 45 15695 8990 6437 2870 21.97 42.47/42.54 c 67999 556 7381 321126 43 15956 9890 6572 2807 24.22 42.47/42.54 c 75506 556 9429 447125 47 20065 10880 8620 2859 26.41 42.47/42.54 c 86867 544 9418 428683 45 20070 11969 8609 2941 29.53 42.47/42.54 c 104011 534 8224 385463 46 17640 13166 7415 2730 38.09 42.47/42.54 o 9 42.532 47.67/47.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.67/47.73 c 117161 534 7538 335997 44 16284 4606 6729 2754 42.53 47.67/47.73 c 117261 534 3223 140964 43 7652 5067 2414 2754 42.57 47.67/47.73 c 117512 534 3474 153811 44 8154 5574 2665 2759 42.59 47.67/47.73 c 117988 534 3950 178029 45 9100 6132 3141 2767 42.64 47.67/47.73 c 118801 534 4763 219791 46 10708 6746 3954 2780 42.73 47.67/47.73 c 120121 534 6083 288269 47 13376 7421 5274 2797 42.94 47.67/47.73 c 122203 534 8165 390177 47 17541 8164 7356 2805 43.56 47.67/47.73 c 125427 534 7242 315748 43 15643 8981 6433 2785 45.03 47.67/47.73 c 130364 533 7530 323756 42 16265 9880 6721 2777 46.93 47.67/47.73 o 7 47.715 49.48/49.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 49.48/49.56 c 133414 524 10581 477068 45 22375 4604 9772 2796 47.72 49.48/49.56 c 133515 515 3226 124368 38 7691 5065 2417 2794 47.78 49.48/49.56 c 133765 515 3476 136868 39 8177 5572 2667 2796 47.83 49.48/49.56 c 134240 515 3951 162086 41 9145 6130 3142 2800 47.93 49.48/49.56 c 135054 515 4765 203626 42 10780 6744 3956 2804 48.16 49.48/49.56 c 136374 515 6085 270668 44 13388 7419 5276 2802 48.66 49.48/49.56 o 3 49.547 60.47/60.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 60.47/60.57 c 138279 515 7991 363748 45 17210 4602 7182 2790 49.55 60.47/60.57 c 138381 496 3228 120123 37 7699 5063 2419 2789 49.60 60.47/60.57 c 138631 496 3478 132860 38 8189 5570 2669 2793 49.63 60.47/60.57 c 139106 496 3953 157277 39 9174 6128 3144 2798 49.72 60.47/60.57 c 139920 496 4767 199015 41 10796 6741 3958 2808 49.82 60.47/60.57 c 141241 496 6088 262667 43 13418 7416 5279 2815 50.16 60.47/60.57 c 143323 496 8170 362197 44 17574 8158 7361 2811 50.98 60.47/60.57 c 146547 496 7105 311856 43 15462 8974 6296 2836 51.66 60.47/60.57 c 151483 493 7468 320911 42 16179 9872 6659 2854 53.06 60.47/60.57 c 158990 485 9927 408501 41 21117 10860 9118 2802 56.74 60.47/60.57 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.47/60.57 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.47/60.57 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.47/60.57 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.47/60.57 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.47/60.57 v -x146 -x147 x99 -x100 -x101 -x102 -x103 -x104 -x105 x148 -x149 -x150 -x151 -x152 -x153 -x154 x106 -x107 -x108 -x109 -x110 60.47/60.57 v x111 -x112 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 x164 x165 -x166 -x167 -x168 60.47/60.57 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 60.47/60.57 c 50 163828 1943 175775 9241 342838 8432 2705 60.55 60.47/60.57 c Objective: 3 60.47/60.57 s OPTIMUM FOUND 60.47/60.57 c Total time: 60.555 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-429764-1177988527 -o ROOT/results/node9/solver-429764-1177988527 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429764-1177988527/instance-429764-1177988527.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.91 0.97 0.99 3/77 25969 /proc/meminfo: memFree=1759496/2055920 swapFree=4145484/4192956 [pid=25969] ppid=25967 vsize=3932 CPUtime=0 /proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 380 0 0 0 0 0 0 0 18 0 1 0 274890321 4026368 349 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25969/statm: 983 349 292 324 0 50 0 [startup+0.074438 s] /proc/loadavg: 0.91 0.97 0.99 3/77 25969 /proc/meminfo: memFree=1759496/2055920 swapFree=4145484/4192956 [pid=25969] ppid=25967 vsize=4840 CPUtime=0.07 /proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 606 0 0 0 7 0 0 0 18 0 1 0 274890321 4956160 573 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25969/statm: 1210 574 312 324 0 279 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4840 [startup+0.102441 s] /proc/loadavg: 0.91 0.97 0.99 3/77 25969 /proc/meminfo: memFree=1759496/2055920 swapFree=4145484/4192956 [pid=25969] ppid=25967 vsize=5100 CPUtime=0.09 /proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 686 0 0 0 9 0 0 0 18 0 1 0 274890321 5222400 653 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25969/statm: 1275 653 312 324 0 344 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5100 [startup+0.301466 s] /proc/loadavg: 0.91 0.97 0.99 3/77 25969 /proc/meminfo: memFree=1759496/2055920 swapFree=4145484/4192956 [pid=25969] ppid=25967 vsize=6388 CPUtime=0.29 /proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 1008 0 0 0 29 0 0 0 19 0 1 0 274890321 6541312 975 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25969/statm: 1597 975 312 324 0 666 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6388 [startup+0.701508 s] /proc/loadavg: 0.91 0.97 0.99 3/77 25969 /proc/meminfo: memFree=1759496/2055920 swapFree=4145484/4192956 [pid=25969] ppid=25967 vsize=7936 CPUtime=0.69 /proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 1388 0 0 0 69 0 0 0 22 0 1 0 274890321 8126464 1355 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25969/statm: 1984 1355 312 324 0 1053 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7936 [startup+1.5016 s] /proc/loadavg: 0.92 0.97 0.99 2/78 25970 /proc/meminfo: memFree=1754688/2055920 swapFree=4145484/4192956 [pid=25969] ppid=25967 vsize=9624 CPUtime=1.49 /proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 1825 0 0 0 148 1 0 0 25 0 1 0 274890321 9854976 1792 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25969/statm: 2406 1792 312 324 0 1475 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9624 [startup+3.10178 s] /proc/loadavg: 0.92 0.97 0.99 2/78 25970 /proc/meminfo: memFree=1752512/2055920 swapFree=4145484/4192956 [pid=25969] ppid=25967 vsize=12216 CPUtime=3.09 /proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 2467 0 0 0 307 2 0 0 25 0 1 0 274890321 12509184 2434 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25969/statm: 3054 2434 312 324 0 2123 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12216 [startup+6.30114 s] /proc/loadavg: 0.92 0.97 0.99 2/78 25970 /proc/meminfo: memFree=1748416/2055920 swapFree=4145484/4192956 [pid=25969] ppid=25967 vsize=14520 CPUtime=6.28 /proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3038 0 0 0 626 2 0 0 25 0 1 0 274890321 14868480 3005 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25969/statm: 3630 3005 312 324 0 2699 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 14520 [startup+12.7019 s] /proc/loadavg: 0.93 0.97 0.99 2/78 25970 /proc/meminfo: memFree=1747224/2055920 swapFree=4145484/4192956 [pid=25969] ppid=25967 vsize=15824 CPUtime=12.69 /proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3369 0 0 0 1265 4 0 0 25 0 1 0 274890321 16203776 3336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25969/statm: 3956 3336 312 324 0 3025 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15824 [startup+25.5023 s] /proc/loadavg: 0.94 0.97 0.99 2/78 25970 /proc/meminfo: memFree=1746200/2055920 swapFree=4145484/4192956 [pid=25969] ppid=25967 vsize=16996 CPUtime=25.48 /proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3662 0 0 0 2541 7 0 0 25 0 1 0 274890321 17403904 3629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25969/statm: 4249 3629 313 324 0 3318 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16996 [startup+51.1022 s] /proc/loadavg: 0.96 0.97 0.99 2/78 25970 /proc/meminfo: memFree=1746264/2055920 swapFree=4145484/4192956 [pid=25969] ppid=25967 vsize=16996 CPUtime=51.07 /proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3662 0 0 0 5094 13 0 0 25 0 1 0 274890321 17403904 3629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25969/statm: 4249 3629 313 324 0 3318 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16996 Solver just ended. Dumping a history of the last processes samples [startup+57.5019 s] /proc/loadavg: 0.97 0.97 0.99 2/78 25970 /proc/meminfo: memFree=1746264/2055920 swapFree=4145484/4192956 [pid=25969] ppid=25967 vsize=16996 CPUtime=57.47 /proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3662 0 0 0 5733 14 0 0 25 0 1 0 274890321 17403904 3629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25969/statm: 4249 3629 313 324 0 3318 0 Current children cumulated CPU time (s) 57.47 Current children cumulated vsize (KiB) 16996 [startup+59.1011 s] /proc/loadavg: 0.97 0.97 0.99 3/78 25970 /proc/meminfo: memFree=1746264/2055920 swapFree=4145484/4192956 [pid=25969] ppid=25967 vsize=16996 CPUtime=59.07 /proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3662 0 0 0 5893 14 0 0 25 0 1 0 274890321 17403904 3629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25969/statm: 4249 3629 313 324 0 3318 0 Current children cumulated CPU time (s) 59.07 Current children cumulated vsize (KiB) 16996 [startup+59.9022 s] /proc/loadavg: 0.97 0.97 0.99 2/78 25970 /proc/meminfo: memFree=1746264/2055920 swapFree=4145484/4192956 [pid=25969] ppid=25967 vsize=16996 CPUtime=59.87 /proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3662 0 0 0 5973 14 0 0 25 0 1 0 274890321 17403904 3629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25969/statm: 4249 3629 313 324 0 3318 0 Current children cumulated CPU time (s) 59.87 Current children cumulated vsize (KiB) 16996 [startup+60.3012 s] /proc/loadavg: 0.97 0.97 0.99 2/78 25970 /proc/meminfo: memFree=1746264/2055920 swapFree=4145484/4192956 [pid=25969] ppid=25967 vsize=16996 CPUtime=60.27 /proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3662 0 0 0 6013 14 0 0 25 0 1 0 274890321 17403904 3629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25969/statm: 4249 3629 313 324 0 3318 0 Current children cumulated CPU time (s) 60.27 Current children cumulated vsize (KiB) 16996 [startup+60.5043 s] /proc/loadavg: 0.97 0.97 0.99 2/78 25970 /proc/meminfo: memFree=1746328/2055920 swapFree=4145484/4192956 [pid=25969] ppid=25967 vsize=16996 CPUtime=60.47 /proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3662 0 0 0 6033 14 0 0 25 0 1 0 274890321 17403904 3629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551006 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25969/statm: 4249 3629 313 324 0 3318 0 Current children cumulated CPU time (s) 60.47 Current children cumulated vsize (KiB) 16996 Child status: 0 Real time (s): 60.5829 CPU time (s): 60.5608 CPU user time (s): 60.4088 CPU system time (s): 0.151976 CPU usage (%): 99.9635 Max. virtual memory (cumulated for all children) (KiB): 16996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 60.4088 system time used= 0.151976 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= 129 runsolver used 0.044993 second user time and 0.141978 second system time The end
Begin job on node9 on Tue May 1 03:02:08 UTC 2007 IDJOB= 429764 IDBENCH= 47932 IDSOLVER= 163 FILE ID= node9/429764-1177988527 PBS_JOBID= 4728196 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=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.16 -t1800 -m1800 /tmp/evaluation/429764-1177988527/instance-429764-1177988527.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-429764-1177988527 -o ROOT/results/node9/solver-429764-1177988527 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429764-1177988527/instance-429764-1177988527.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 43e5891f3de726e47642c5b88db45e69 RANDOM SEED= 711384017 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.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.221 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.221 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: 1760096 kB Buffers: 43256 kB Cached: 163452 kB SwapCached: 15448 kB Active: 103440 kB Inactive: 126948 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1760096 kB SwapTotal: 4192956 kB SwapFree: 4145484 kB Dirty: 6748 kB Writeback: 0 kB Mapped: 30600 kB Slab: 51000 kB Committed_AS: 6767976 kB PageTables: 1788 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 node9 on Tue May 1 03:03:08 UTC 2007