Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 226.614 | 226.675 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb |
MD5SUM | 2f50a7c4db6c104684b2cc399418ffd9 |
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.183971 |
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 | 120 |
Total number of constraints | 11 |
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 | 11 |
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) | 320 |
Sum of products size (including duplicates) | 640 |
Number of different products | 320 |
Sum of products size | 640 |
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/453021-1178012505/instance-453021-1178012505.opb 0.00/0.00 c File size is 5712 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.002 s 0.00/0.00 c Var: 440 Constr: 656 320/0/336 Lit: 2752 Watch. Lit: 1692 0.00/0.00 c Obj. Vars: 8 (1.81818 % 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 440 656 2752 4 2364 3690 0 0 0.01 0.00/0.01 c Switching off LPR mode. 140.15/140.26 c 100 440 756 8269 10 2525 4060 100 6666 0.01 140.15/140.26 c 250 440 906 17090 18 2814 4467 250 10000 0.03 140.15/140.26 c 475 440 1131 29564 26 3256 4914 475 10555 0.04 140.15/140.26 c 813 440 1469 50055 34 3904 5406 813 10037 0.08 140.15/140.26 c 1323 440 1979 79892 40 4932 5947 1323 9061 0.15 140.15/140.26 c 2086 440 2742 126647 46 6423 6542 2086 7585 0.28 140.15/140.26 c 3232 440 3888 195767 50 8722 7197 3232 6804 0.47 140.15/140.26 c 4953 440 5609 299066 53 12144 7917 4953 5297 0.94 140.15/140.26 c 7537 440 8193 450365 54 17319 8709 7537 3973 1.90 140.15/140.26 c 11416 440 7650 413830 54 16227 9580 6994 3216 3.55 140.15/140.26 c 17239 440 8611 463802 53 18158 10539 7955 2771 6.22 140.15/140.26 c 25977 440 6418 395519 61 13716 11593 5762 2725 9.53 140.15/140.26 c 39087 440 7761 468344 60 16398 12753 7105 2303 16.96 140.15/140.26 c 58758 440 7642 452384 59 16201 14029 6986 2060 28.52 140.15/140.26 c 88268 440 7892 477437 60 16717 15432 7236 1809 48.78 140.15/140.26 c 132538 437 12990 823861 63 26910 16976 12334 1778 74.52 140.15/140.26 c 198948 436 9889 573264 57 20728 18674 9233 1446 137.52 140.15/140.26 o 97 140.221 141.45/141.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 141.45/141.53 c 207871 436 18813 1185076 62 38559 3706 18157 1482 140.22 141.45/141.53 c 207972 436 2614 133201 50 6145 4077 1958 1480 140.48 141.45/141.53 c 208222 436 2864 151179 52 6692 4485 2208 1482 140.50 141.45/141.53 c 208697 436 3339 184074 55 7598 4934 2683 1484 140.55 141.45/141.53 c 209510 426 4152 238997 57 9233 5428 3496 1489 140.70 141.45/141.53 c 210831 426 5473 325142 59 11882 5971 4817 1494 141.04 141.45/141.53 o 3 141.493 226.53/226.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 226.53/226.66 c 212697 426 4279 241285 56 9546 3704 3623 1503 141.49 226.53/226.66 c 212798 416 4380 248223 56 9761 4075 3724 1503 141.50 226.53/226.66 c 213050 416 4632 264601 57 10263 4483 3976 1505 141.53 226.53/226.66 c 213526 416 5108 297998 58 11200 4932 4452 1507 141.62 226.53/226.66 c 214341 396 3358 182926 54 7721 5426 2702 1512 141.73 226.53/226.66 c 215662 396 4679 272833 58 10351 5969 4023 1519 141.94 226.53/226.66 c 217743 396 3649 191555 52 8287 6566 2993 1527 142.53 226.53/226.66 c 220966 396 6872 405284 58 14736 7223 6216 1537 143.76 226.53/226.66 c 225903 386 4276 246247 57 9515 7946 3620 1556 145.09 226.53/226.66 c 233410 386 7697 449997 58 16314 8741 7041 1579 147.76 226.53/226.66 c 244771 386 5659 310863 54 12281 9616 5003 1594 153.51 226.53/226.66 c 261915 365 8042 457766 56 17012 10578 7386 1603 163.31 226.53/226.66 c 287735 365 6069 337437 55 13100 11636 5413 1627 176.79 226.53/226.66 c 326567 362 8798 514093 58 18586 12800 8142 1664 196.22 226.53/226.66 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 226.53/226.66 v -x31 -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 -x81 -x82 226.53/226.66 v -x83 -x84 -x85 -x86 -x87 -x88 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 x65 -x66 -x67 -x68 226.53/226.66 v -x69 x70 -x71 -x72 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 x105 x106 x107 x108 x109 226.53/226.66 v -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 226.53/226.66 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 226.53/226.66 c 37 372777 2015 381496 9317 511519 8661 1645 226.61 226.53/226.66 c Objective: 3 226.53/226.66 s OPTIMUM FOUND 226.53/226.66 c Total time: 226.607 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-453021-1178012505 -o ROOT/results/node7/solver-453021-1178012505 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453021-1178012505/instance-453021-1178012505.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 4111 /proc/meminfo: memFree=1808952/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=19556 CPUtime=0 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 372 0 0 0 0 0 0 0 18 0 1 0 277288160 20025344 342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 4889 343 288 324 0 3957 0 [startup+0.0429189 s] /proc/loadavg: 1.00 1.00 1.00 3/77 4111 /proc/meminfo: memFree=1808952/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=4452 CPUtime=0.03 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 525 0 0 0 3 0 0 0 18 0 1 0 277288160 4558848 493 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 1113 493 310 324 0 183 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4452 [startup+0.102911 s] /proc/loadavg: 1.00 1.00 1.00 3/77 4111 /proc/meminfo: memFree=1808952/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=4964 CPUtime=0.09 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 648 0 0 0 9 0 0 0 18 0 1 0 277288160 5083136 616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 1241 616 310 324 0 311 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4964 [startup+0.302944 s] /proc/loadavg: 1.00 1.00 1.00 3/77 4111 /proc/meminfo: memFree=1808952/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=6136 CPUtime=0.29 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 941 0 0 0 29 0 0 0 19 0 1 0 277288160 6283264 909 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551478 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 1534 909 310 324 0 604 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6136 [startup+0.701975 s] /proc/loadavg: 1.00 1.00 1.00 3/77 4111 /proc/meminfo: memFree=1808952/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=7684 CPUtime=0.69 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 1329 0 0 0 69 0 0 0 22 0 1 0 277288160 7868416 1297 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 1921 1297 310 324 0 991 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7684 [startup+1.50106 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4112 /proc/meminfo: memFree=1803952/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=9752 CPUtime=1.49 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 1853 0 0 0 149 0 0 0 25 0 1 0 277288160 9986048 1821 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 2438 1821 310 324 0 1508 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9752 [startup+3.10123 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4112 /proc/meminfo: memFree=1801392/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=11816 CPUtime=3.08 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 2355 0 0 0 308 0 0 0 25 0 1 0 277288160 12099584 2323 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 2954 2323 310 324 0 2024 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 11816 [startup+6.30156 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4112 /proc/meminfo: memFree=1799856/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=12460 CPUtime=6.29 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 2531 0 0 0 628 1 0 0 25 0 1 0 277288160 12759040 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 3115 2499 310 324 0 2185 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12460 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4112 /proc/meminfo: memFree=1797296/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=15548 CPUtime=12.68 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 3311 0 0 0 1267 1 0 0 25 0 1 0 277288160 15921152 3279 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10849712 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 3887 3279 310 324 0 2957 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15548 [startup+25.5026 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4112 /proc/meminfo: memFree=1796208/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=16436 CPUtime=25.48 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 3514 0 0 0 2547 1 0 0 25 0 1 0 277288160 16830464 3482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 4109 3482 310 324 0 3179 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16436 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4112 /proc/meminfo: memFree=1794160/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=18472 CPUtime=51.08 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 4026 0 0 0 5106 2 0 0 25 0 1 0 277288160 18915328 3994 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 4618 3994 310 324 0 3688 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 18472 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4112 /proc/meminfo: memFree=1791920/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=20632 CPUtime=102.27 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 4582 0 0 0 10224 3 0 0 25 0 1 0 277288160 21127168 4550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 5158 4550 310 324 0 4228 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20632 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4112 /proc/meminfo: memFree=1791152/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=21364 CPUtime=162.25 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 4753 0 0 0 16221 4 0 0 25 0 1 0 277288160 21876736 4721 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 5341 4721 311 324 0 4411 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 21364 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4112 /proc/meminfo: memFree=1791152/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=21364 CPUtime=222.23 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 4753 0 0 0 22219 4 0 0 25 0 1 0 277288160 21876736 4721 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 5341 4721 311 324 0 4411 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 21364 Solver just ended. Dumping a history of the last processes samples [startup+223.901 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4112 /proc/meminfo: memFree=1791152/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=21364 CPUtime=223.83 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 4753 0 0 0 22379 4 0 0 25 0 1 0 277288160 21876736 4721 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 5341 4721 311 324 0 4411 0 Current children cumulated CPU time (s) 223.83 Current children cumulated vsize (KiB) 21364 [startup+225.506 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4112 /proc/meminfo: memFree=1791152/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=21364 CPUtime=225.43 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 4753 0 0 0 22539 4 0 0 25 0 1 0 277288160 21876736 4721 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 5341 4721 311 324 0 4411 0 Current children cumulated CPU time (s) 225.43 Current children cumulated vsize (KiB) 21364 [startup+226.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4112 /proc/meminfo: memFree=1791152/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=21364 CPUtime=226.23 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 4753 0 0 0 22619 4 0 0 25 0 1 0 277288160 21876736 4721 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572650 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 5341 4721 311 324 0 4411 0 Current children cumulated CPU time (s) 226.23 Current children cumulated vsize (KiB) 21364 [startup+226.502 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4112 /proc/meminfo: memFree=1791152/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=21364 CPUtime=226.43 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 4753 0 0 0 22639 4 0 0 25 0 1 0 277288160 21876736 4721 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134520568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 5341 4721 311 324 0 4411 0 Current children cumulated CPU time (s) 226.43 Current children cumulated vsize (KiB) 21364 [startup+226.606 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4112 /proc/meminfo: memFree=1791152/2055920 swapFree=4157044/4192956 [pid=4111] ppid=4109 vsize=21364 CPUtime=226.53 /proc/4111/stat : 4111 (bsolo3.0.17) R 4109 4111 3174 0 -1 4194304 4753 0 0 0 22649 4 0 0 25 0 1 0 277288160 21876736 4721 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4111/statm: 5341 4721 311 324 0 4411 0 Current children cumulated CPU time (s) 226.53 Current children cumulated vsize (KiB) 21364 Child status: 0 Real time (s): 226.675 CPU time (s): 226.614 CPU user time (s): 226.563 CPU system time (s): 0.050992 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 21364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 226.563 system time used= 0.050992 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4757 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= 124 runsolver used 0.172973 second user time and 0.512922 second system time The end
Begin job on node7 on Tue May 1 09:41:45 UTC 2007 IDJOB= 453021 IDBENCH= 48088 IDSOLVER= 199 FILE ID= node7/453021-1178012505 PBS_JOBID= 4728318 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=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453021-1178012505/instance-453021-1178012505.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-453021-1178012505 -o ROOT/results/node7/solver-453021-1178012505 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453021-1178012505/instance-453021-1178012505.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 2f50a7c4db6c104684b2cc399418ffd9 RANDOM SEED= 436934925 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node7.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.231 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.231 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: 1809424 kB Buffers: 37744 kB Cached: 119700 kB SwapCached: 15548 kB Active: 67848 kB Inactive: 113080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1809424 kB SwapTotal: 4192956 kB SwapFree: 4157044 kB Dirty: 6588 kB Writeback: 0 kB Mapped: 30460 kB Slab: 51004 kB Committed_AS: 9085508 kB PageTables: 1860 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 node7 on Tue May 1 09:45:32 UTC 2007