Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 32.3301 | 32.3454 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=127-P1=59-P2=127-P3=89-P4=17-P5=43-P6=53-B.opb |
MD5SUM | 2a6a0a2817e3d179ce21769d61c8a844 |
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.107982 |
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 | 126 |
Total number of constraints | 13 |
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 | 13 |
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) | 294 |
Sum of products size (including duplicates) | 588 |
Number of different products | 294 |
Sum of products size | 588 |
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/431402-1178005827/instance-431402-1178005827.opb 0.00/0.00 c File size is 5392 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.002 s 0.00/0.00 c Var: 420 Constr: 607 294/0/313 Lit: 2555 Watch. Lit: 1580 0.00/0.00 c Obj. Vars: 7 (1.66667 % of total variables) 0.00/0.01 c Pre-processing Time: 0.007 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 420 607 2555 4 2191 3443 0 0 0.01 0.00/0.01 c Switching off LPR mode. 17.69/17.77 c 101 420 708 7560 10 2308 3788 101 7769 0.01 17.69/17.77 c 251 420 858 15265 17 2597 4167 251 12550 0.02 17.69/17.77 c 476 420 1083 25715 23 3025 4584 476 13222 0.04 17.69/17.77 c 816 420 1423 43050 30 3733 5043 816 12000 0.07 17.69/17.77 c 1325 420 1932 66944 34 4713 5548 1325 10515 0.13 17.69/17.77 c 2088 420 2695 101164 37 6224 6103 2088 9280 0.23 17.69/17.77 c 3235 420 3842 158365 41 8503 6714 3235 8911 0.36 17.69/17.77 c 4957 420 5564 251650 45 11947 7386 4957 7322 0.68 17.69/17.77 c 7543 420 4301 197012 45 9455 8125 3694 7865 0.96 17.69/17.77 c 11422 420 8180 381031 46 17296 8938 7573 7015 1.63 17.69/17.77 c 17245 420 9338 423076 45 19545 9832 8731 6749 2.56 17.69/17.77 c 25982 419 7727 394257 51 16361 10816 7120 4943 5.26 17.69/17.77 c 39092 419 9669 432834 44 20232 11898 9062 3526 11.08 17.69/17.77 c 58763 416 10678 538740 50 22238 13088 10071 3319 17.70 17.69/17.77 o 65 17.761 18.19/18.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.19/18.29 c 59263 416 11179 564653 50 23253 3457 10572 3336 17.76 18.19/18.29 c 59363 416 2440 101801 41 5799 3803 1833 3323 17.86 18.19/18.29 c 59613 416 2690 114776 42 6319 4184 2083 3331 17.90 18.19/18.29 c 60089 416 3166 139662 44 7233 4603 2559 3344 17.96 18.19/18.29 c 60903 416 3980 181551 45 8890 5064 3373 3356 18.15 18.19/18.29 o 43 18.284 22.29/22.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.29/22.37 c 62101 416 5179 243950 47 11258 3457 4572 3396 18.28 22.29/22.37 c 62201 407 2440 96087 39 5766 3803 1833 3397 18.31 22.29/22.37 c 62452 407 2691 109574 40 6261 4184 2084 3407 18.33 22.29/22.37 c 62928 407 3167 134193 42 7260 4603 2560 3423 18.38 22.29/22.37 c 63742 407 3981 174851 43 8884 5064 3374 3440 18.53 22.29/22.37 c 65063 407 5302 245217 46 11535 5571 4695 3472 18.74 22.29/22.37 c 67145 407 4523 198658 43 9909 6129 3916 3492 19.22 22.29/22.37 c 70368 407 4618 195146 42 10093 6742 4011 3483 20.20 22.29/22.37 c 75305 404 6148 267475 43 13182 7417 5541 3470 21.70 22.29/22.37 o 7 22.366 30.98/31.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.98/31.07 c 79463 404 6368 289062 45 13669 3455 5761 3552 22.37 30.98/31.07 c 79565 404 2444 89680 36 5861 3801 1837 3552 22.40 30.98/31.07 c 79815 404 2694 101733 37 6324 4182 2087 3560 22.42 30.98/31.07 c 80290 404 3169 126169 39 7247 4601 2562 3573 22.47 30.98/31.07 c 81104 404 3983 166961 41 8854 5062 3376 3592 22.58 30.98/31.07 c 82425 404 5304 232021 43 11498 5569 4697 3607 22.85 30.98/31.07 c 84507 404 4548 195077 42 9966 6126 3941 3615 23.38 30.98/31.07 c 87730 404 4645 193958 41 10177 6739 4038 3620 24.23 30.98/31.07 c 92667 403 6150 263680 42 13150 7413 5543 3536 26.20 30.98/31.07 c 100173 385 6042 262441 43 12988 8155 5435 3472 28.85 30.98/31.07 o 3 31.052 32.28/32.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.28/32.34 c 106013 376 7724 341206 44 16393 3449 7117 3414 31.05 32.28/32.34 c 106113 376 2442 84183 34 5813 3794 1835 3411 31.10 32.28/32.34 c 106364 376 2693 96645 35 6288 4174 2086 3417 31.12 32.28/32.34 c 106839 376 3168 121150 38 7223 4592 2561 3426 31.18 32.28/32.34 c 107652 376 3981 161372 40 8853 5052 3374 3437 31.32 32.28/32.34 c 108973 368 5302 223587 42 11496 5558 4695 3438 31.69 32.28/32.34 c 111056 357 4480 176406 39 9878 6114 3873 3474 31.97 32.28/32.34 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 32.28/32.34 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 -x85 x86 -x87 -x88 32.28/32.34 v -x89 -x90 -x91 x57 -x58 x59 x60 -x61 x62 -x63 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x64 x65 x66 -x67 -x68 -x69 -x70 x99 -x100 -x101 32.28/32.34 v -x102 -x103 -x104 -x105 x71 -x72 -x73 -x74 x75 x76 -x77 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x78 -x79 x80 x81 -x82 x83 -x84 32.28/32.34 v x113 x114 x115 -x116 x117 -x118 -x119 -x120 -x121 x122 -x123 x124 -x125 -x126 32.28/32.34 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 32.28/32.34 c 45 112573 1159 119016 5997 227199 5390 3482 32.32 32.28/32.34 c Objective: 3 32.28/32.34 s OPTIMUM FOUND 32.28/32.34 c Total time: 32.324 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-431402-1178005827 -o ROOT/results/node19/solver-431402-1178005827 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431402-1178005827/instance-431402-1178005827.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.86 0.97 0.98 3/77 17044 /proc/meminfo: memFree=1811960/2055920 swapFree=4153644/4192956 [pid=17044] ppid=17042 vsize=3932 CPUtime=0 /proc/17044/stat : 17044 (bsolo3.0.16) R 17042 17044 16822 0 -1 4194304 379 0 0 0 0 0 0 0 18 0 1 0 248500071 4026368 348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134539222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17044/statm: 983 349 292 324 0 50 0 [startup+0.100356 s] /proc/loadavg: 0.86 0.97 0.98 3/77 17044 /proc/meminfo: memFree=1811960/2055920 swapFree=4153644/4192956 [pid=17044] ppid=17042 vsize=4840 CPUtime=0.09 /proc/17044/stat : 17044 (bsolo3.0.16) R 17042 17044 16822 0 -1 4194304 632 0 0 0 9 0 0 0 18 0 1 0 248500071 4956160 599 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17044/statm: 1210 599 312 324 0 279 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4840 [startup+0.201367 s] /proc/loadavg: 0.86 0.97 0.98 3/77 17044 /proc/meminfo: memFree=1811960/2055920 swapFree=4153644/4192956 [pid=17044] ppid=17042 vsize=5484 CPUtime=0.19 /proc/17044/stat : 17044 (bsolo3.0.16) R 17042 17044 16822 0 -1 4194304 778 0 0 0 19 0 0 0 18 0 1 0 248500071 5615616 745 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17044/statm: 1371 746 312 324 0 440 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5484 [startup+0.301377 s] /proc/loadavg: 0.86 0.97 0.98 3/77 17044 /proc/meminfo: memFree=1811960/2055920 swapFree=4153644/4192956 [pid=17044] ppid=17042 vsize=5872 CPUtime=0.29 /proc/17044/stat : 17044 (bsolo3.0.16) R 17042 17044 16822 0 -1 4194304 874 0 0 0 29 0 0 0 19 0 1 0 248500071 6012928 841 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17044/statm: 1468 841 312 324 0 537 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5872 [startup+0.701421 s] /proc/loadavg: 0.86 0.97 0.98 3/77 17044 /proc/meminfo: memFree=1811960/2055920 swapFree=4153644/4192956 [pid=17044] ppid=17042 vsize=7928 CPUtime=0.69 /proc/17044/stat : 17044 (bsolo3.0.16) R 17042 17044 16822 0 -1 4194304 1405 0 0 0 68 1 0 0 22 0 1 0 248500071 8118272 1372 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17044/statm: 1982 1372 312 324 0 1051 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7928 [startup+1.50151 s] /proc/loadavg: 0.86 0.97 0.98 2/78 17045 /proc/meminfo: memFree=1805744/2055920 swapFree=4153644/4192956 [pid=17044] ppid=17042 vsize=9880 CPUtime=1.49 /proc/17044/stat : 17044 (bsolo3.0.16) R 17042 17044 16822 0 -1 4194304 1887 0 0 0 148 1 0 0 25 0 1 0 248500071 10117120 1854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17044/statm: 2470 1854 312 324 0 1539 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9880 [startup+3.10168 s] /proc/loadavg: 0.86 0.97 0.98 2/78 17045 /proc/meminfo: memFree=1804464/2055920 swapFree=4153644/4192956 [pid=17044] ppid=17042 vsize=11668 CPUtime=3.09 /proc/17044/stat : 17044 (bsolo3.0.16) R 17042 17044 16822 0 -1 4194304 2322 0 0 0 307 2 0 0 25 0 1 0 248500071 11948032 2289 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17044/statm: 2917 2289 312 324 0 1986 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11668 [startup+6.30103 s] /proc/loadavg: 0.87 0.97 0.98 3/78 17045 /proc/meminfo: memFree=1803184/2055920 swapFree=4153644/4192956 [pid=17044] ppid=17042 vsize=12960 CPUtime=6.29 /proc/17044/stat : 17044 (bsolo3.0.16) R 17042 17044 16822 0 -1 4194304 2655 0 0 0 625 4 0 0 25 0 1 0 248500071 13271040 2622 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17044/statm: 3240 2622 312 324 0 2309 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12960 [startup+12.7017 s] /proc/loadavg: 0.88 0.97 0.98 2/78 17045 /proc/meminfo: memFree=1802424/2055920 swapFree=4153644/4192956 [pid=17044] ppid=17042 vsize=13088 CPUtime=12.69 /proc/17044/stat : 17044 (bsolo3.0.16) R 17042 17044 16822 0 -1 4194304 2679 0 0 0 1263 6 0 0 25 0 1 0 248500071 13402112 2646 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17044/statm: 3272 2646 312 324 0 2341 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13088 [startup+25.5011 s] /proc/loadavg: 0.90 0.97 0.98 2/78 17045 /proc/meminfo: memFree=1801912/2055920 swapFree=4153644/4192956 [pid=17044] ppid=17042 vsize=13592 CPUtime=25.48 /proc/17044/stat : 17044 (bsolo3.0.16) R 17042 17044 16822 0 -1 4194304 2815 0 0 0 2538 10 0 0 25 0 1 0 248500071 13918208 2782 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17044/statm: 3398 2782 313 324 0 2467 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13592 Solver just ended. Dumping a history of the last processes samples [startup+25.6011 s] /proc/loadavg: 0.90 0.97 0.98 2/78 17045 /proc/meminfo: memFree=1801912/2055920 swapFree=4153644/4192956 [pid=17044] ppid=17042 vsize=13592 CPUtime=25.58 /proc/17044/stat : 17044 (bsolo3.0.16) R 17042 17044 16822 0 -1 4194304 2815 0 0 0 2548 10 0 0 25 0 1 0 248500071 13918208 2782 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17044/statm: 3398 2782 313 324 0 2467 0 Current children cumulated CPU time (s) 25.58 Current children cumulated vsize (KiB) 13592 [startup+28.8015 s] /proc/loadavg: 0.90 0.97 0.98 2/78 17045 /proc/meminfo: memFree=1801912/2055920 swapFree=4153644/4192956 [pid=17044] ppid=17042 vsize=13592 CPUtime=28.78 /proc/17044/stat : 17044 (bsolo3.0.16) R 17042 17044 16822 0 -1 4194304 2815 0 0 0 2867 11 0 0 25 0 1 0 248500071 13918208 2782 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17044/statm: 3398 2782 313 324 0 2467 0 Current children cumulated CPU time (s) 28.78 Current children cumulated vsize (KiB) 13592 [startup+30.4016 s] /proc/loadavg: 0.91 0.97 0.98 2/78 17045 /proc/meminfo: memFree=1801912/2055920 swapFree=4153644/4192956 [pid=17044] ppid=17042 vsize=13592 CPUtime=30.39 /proc/17044/stat : 17044 (bsolo3.0.16) R 17042 17044 16822 0 -1 4194304 2815 0 0 0 3027 12 0 0 25 0 1 0 248500071 13918208 2782 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17044/statm: 3398 2782 313 324 0 2467 0 Current children cumulated CPU time (s) 30.39 Current children cumulated vsize (KiB) 13592 [startup+31.2017 s] /proc/loadavg: 0.91 0.97 0.98 2/78 17045 /proc/meminfo: memFree=1801784/2055920 swapFree=4153644/4192956 [pid=17044] ppid=17042 vsize=13592 CPUtime=31.18 /proc/17044/stat : 17044 (bsolo3.0.16) R 17042 17044 16822 0 -1 4194304 2815 0 0 0 3106 12 0 0 25 0 1 0 248500071 13918208 2782 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17044/statm: 3398 2782 313 324 0 2467 0 Current children cumulated CPU time (s) 31.18 Current children cumulated vsize (KiB) 13592 [startup+32.0058 s] /proc/loadavg: 0.91 0.97 0.98 2/78 17045 /proc/meminfo: memFree=1801784/2055920 swapFree=4153644/4192956 [pid=17044] ppid=17042 vsize=13592 CPUtime=31.98 /proc/17044/stat : 17044 (bsolo3.0.16) R 17042 17044 16822 0 -1 4194304 2815 0 0 0 3186 12 0 0 25 0 1 0 248500071 13918208 2782 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17044/statm: 3398 2782 313 324 0 2467 0 Current children cumulated CPU time (s) 31.98 Current children cumulated vsize (KiB) 13592 [startup+32.2018 s] /proc/loadavg: 0.91 0.97 0.98 2/78 17045 /proc/meminfo: memFree=1801784/2055920 swapFree=4153644/4192956 [pid=17044] ppid=17042 vsize=13592 CPUtime=32.18 /proc/17044/stat : 17044 (bsolo3.0.16) R 17042 17044 16822 0 -1 4194304 2815 0 0 0 3206 12 0 0 25 0 1 0 248500071 13918208 2782 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17044/statm: 3398 2782 313 324 0 2467 0 Current children cumulated CPU time (s) 32.18 Current children cumulated vsize (KiB) 13592 [startup+32.3018 s] /proc/loadavg: 0.91 0.97 0.98 2/78 17045 /proc/meminfo: memFree=1801784/2055920 swapFree=4153644/4192956 [pid=17044] ppid=17042 vsize=13592 CPUtime=32.28 /proc/17044/stat : 17044 (bsolo3.0.16) R 17042 17044 16822 0 -1 4194304 2815 0 0 0 3216 12 0 0 25 0 1 0 248500071 13918208 2782 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17044/statm: 3398 2782 313 324 0 2467 0 Current children cumulated CPU time (s) 32.28 Current children cumulated vsize (KiB) 13592 Child status: 0 Real time (s): 32.3454 CPU time (s): 32.3301 CPU user time (s): 32.2011 CPU system time (s): 0.12898 CPU usage (%): 99.9526 Max. virtual memory (cumulated for all children) (KiB): 13608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 32.2011 system time used= 0.12898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2816 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= 11 involuntary context switches= 60 runsolver used 0.027995 second user time and 0.076988 second system time The end
Begin job on node19 on Tue May 1 07:50:27 UTC 2007 IDJOB= 431402 IDBENCH= 48049 IDSOLVER= 163 FILE ID= node19/431402-1178005827 PBS_JOBID= 4728296 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=127-P1=59-P2=127-P3=89-P4=17-P5=43-P6=53-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431402-1178005827/instance-431402-1178005827.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-431402-1178005827 -o ROOT/results/node19/solver-431402-1178005827 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431402-1178005827/instance-431402-1178005827.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 2a6a0a2817e3d179ce21769d61c8a844 RANDOM SEED= 243016901 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1812432 kB Buffers: 48400 kB Cached: 105260 kB SwapCached: 7976 kB Active: 51256 kB Inactive: 129468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1812432 kB SwapTotal: 4192956 kB SwapFree: 4153644 kB Dirty: 6884 kB Writeback: 0 kB Mapped: 29876 kB Slab: 48192 kB Committed_AS: 5661628 kB PageTables: 1784 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 node19 on Tue May 1 07:51:00 UTC 2007