Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 111.556 | 111.585 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb |
MD5SUM | 74c00e33b4232d137ad873ae982593f6 |
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.097984 |
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 | 96 |
Total number of constraints | 9 |
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 | 9 |
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) | 256 |
Sum of products size (including duplicates) | 512 |
Number of different products | 256 |
Sum of products size | 512 |
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/431472-1178006686/instance-431472-1178006686.opb 0.00/0.00 c File size is 4596 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: 352 Constr: 525 256/0/269 Lit: 2200 Watch. Lit: 1354 0.00/0.00 c Obj. Vars: 8 (2.27273 % of total variables) 0.00/0.01 c Pre-processing Time: 0.006 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 352 525 2200 4 1890 2949 0 0 0.01 0.00/0.01 c Switching off LPR mode. 23.69/23.79 c 100 352 625 11498 18 2067 3244 100 6250 0.02 23.69/23.79 c 250 352 775 22816 29 2360 3569 250 7812 0.03 23.69/23.79 c 477 352 1002 38284 38 2793 3926 477 9352 0.05 23.69/23.79 c 815 352 1340 60687 45 3437 4319 815 9476 0.09 23.69/23.79 c 1323 352 1848 95422 51 4449 4751 1323 9873 0.13 23.69/23.79 c 2086 352 2611 145035 55 6016 5227 2086 9933 0.21 23.69/23.79 c 3232 352 3757 226741 60 8290 5750 3232 9181 0.35 23.69/23.79 c 4953 352 5478 336931 61 11726 6326 4953 7055 0.70 23.69/23.79 c 7538 352 4739 278067 58 10215 6959 4214 6475 1.16 23.69/23.79 c 11417 352 4920 263982 53 10550 7655 4395 5332 2.14 23.69/23.79 c 17239 352 6764 404162 59 14248 8421 6239 4942 3.49 23.69/23.79 c 25976 352 6921 375491 54 14565 9264 6396 4190 6.20 23.69/23.79 c 39087 352 5517 340387 61 11811 10191 4992 3720 10.51 23.69/23.79 c 58757 352 8945 491482 54 18672 11211 8420 3210 18.30 23.69/23.79 o 51 23.789 32.68/32.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.68/32.70 c 69836 349 8485 483396 56 17708 2965 7960 2935 23.79 32.68/32.70 c 69936 349 2111 110562 52 5011 3262 1586 2932 23.84 32.68/32.70 c 70187 349 2362 128316 54 5481 3589 1837 2940 23.87 32.68/32.70 c 70662 349 2837 161133 56 6454 3948 2312 2953 23.93 32.68/32.70 c 71476 349 3651 216688 59 8073 4343 3126 2965 24.11 32.68/32.70 c 72797 349 2726 150236 55 6243 4778 2201 2970 24.50 32.68/32.70 c 74878 349 4807 293630 61 10425 5256 4282 3020 24.79 32.68/32.70 c 78101 349 5202 306986 59 11193 5782 4677 3095 25.23 32.68/32.70 c 83037 349 3894 223332 57 8538 6361 3369 3146 26.39 32.68/32.70 c 90543 349 4737 266244 56 10171 6998 4212 3139 28.84 32.68/32.70 o 17 32.694 53.28/53.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 53.28/53.38 c 101347 329 4851 270745 55 10463 2961 4326 3099 32.70 53.28/53.38 c 101448 329 2112 97441 46 5028 3258 1587 3100 32.72 53.28/53.38 c 101698 329 2362 114558 48 5511 3584 1837 3105 32.74 53.28/53.38 c 102173 329 2837 146961 51 6479 3943 2312 3114 32.81 53.28/53.38 c 102986 329 3650 202230 55 8078 4338 3125 3127 32.93 53.28/53.38 c 104308 329 2699 141280 52 6171 4772 2174 3148 33.13 53.28/53.38 c 106390 329 4781 265494 55 10299 5250 4256 3178 33.48 53.28/53.38 c 109613 319 5118 300706 58 11043 5776 4593 3196 34.29 53.28/53.38 c 114549 319 4094 232796 56 8973 6354 3569 3164 36.19 53.28/53.38 c 122055 319 5073 290177 57 10915 6990 4548 3139 38.87 53.28/53.38 c 133416 319 5692 334442 58 12174 7690 5167 3080 43.31 53.28/53.38 c 150560 319 7081 401901 56 14908 8460 6556 2880 52.26 53.28/53.38 o 11 53.367 62.17/62.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.17/62.29 c 154746 319 6763 394387 58 14312 2959 6238 2899 53.37 62.17/62.29 c 154847 319 2112 99717 47 5015 3255 1587 2899 53.40 62.17/62.29 c 155097 319 2362 116925 49 5535 3581 1837 2903 53.42 62.17/62.29 c 155573 319 2838 149839 52 6446 3940 2313 2908 53.49 62.17/62.29 c 156387 319 3652 204395 55 8069 4335 3127 2914 53.66 62.17/62.29 c 157708 319 2710 147219 54 6196 4769 2185 2919 54.03 62.17/62.29 c 159790 319 4792 283604 59 10387 5246 4267 2921 54.69 62.17/62.29 c 163014 319 5089 303133 59 10994 5771 4564 2946 55.32 62.17/62.29 c 167950 309 3807 214711 56 8376 6349 3282 2968 56.58 62.17/62.29 c 175457 309 4763 263912 55 10286 6984 4238 2950 59.46 62.17/62.29 o 3 62.273 111.46/111.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 111.46/111.58 c 183720 309 5725 341414 59 12237 2957 5200 2950 62.27 111.46/111.58 c 183821 309 2112 106837 50 5025 3253 1587 2950 62.30 111.46/111.58 c 184071 309 2362 124413 52 5509 3579 1837 2953 62.32 111.46/111.58 c 184547 309 2838 157382 55 6438 3937 2313 2958 62.38 111.46/111.58 c 185361 309 3652 212213 58 8095 4331 3127 2963 62.56 111.46/111.58 c 186682 309 2698 144308 53 6144 4765 2173 2966 62.92 111.46/111.58 c 188763 309 4779 280743 58 10336 5242 4254 2971 63.53 111.46/111.58 c 191987 309 5282 305173 57 11350 5767 4757 2966 64.71 111.46/111.58 c 196923 309 4247 247196 58 9254 6344 3722 2957 66.58 111.46/111.58 c 204429 278 4949 284785 57 10692 6979 4424 2975 68.71 111.46/111.58 c 215790 278 5460 307507 56 11650 7677 4935 2947 73.21 111.46/111.58 c 232934 278 6728 384922 57 14217 8445 6203 2887 80.66 111.46/111.58 c 258753 278 5607 321787 57 11996 9290 5082 2841 91.05 111.46/111.58 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 111.46/111.58 v -x32 x33 x34 x35 -x36 x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x49 -x50 111.46/111.58 v -x51 -x52 -x53 -x54 -x55 -x56 x73 -x74 x75 x76 x77 -x78 -x79 -x80 x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x81 -x82 -x83 -x84 -x85 111.46/111.58 v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 111.46/111.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 111.46/111.58 c 59 297298 1524 305429 5970 312534 5445 2665 111.55 111.46/111.58 c Objective: 3 111.46/111.58 s OPTIMUM FOUND 111.46/111.58 c Total time: 111.551 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-431472-1178006686 -o ROOT/results/node51/solver-431472-1178006686 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431472-1178006686/instance-431472-1178006686.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.92 0.98 0.99 3/64 3839 /proc/meminfo: memFree=1810584/2055920 swapFree=4183264/4192956 [pid=3839] ppid=3837 vsize=11744 CPUtime=0 /proc/3839/stat : 3839 (bsolo3.0.16) R 3837 3839 3199 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 155513708 12025856 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3839/statm: 2936 346 291 324 0 2003 0 [startup+0.0495811 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3839 /proc/meminfo: memFree=1810584/2055920 swapFree=4183264/4192956 [pid=3839] ppid=3837 vsize=4580 CPUtime=0.04 /proc/3839/stat : 3839 (bsolo3.0.16) R 3837 3839 3199 0 -1 4194304 551 0 0 0 4 0 0 0 18 0 1 0 155513708 4689920 518 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3839/statm: 1145 518 312 324 0 214 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4580 [startup+0.101584 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3839 /proc/meminfo: memFree=1810584/2055920 swapFree=4183264/4192956 [pid=3839] ppid=3837 vsize=5104 CPUtime=0.09 /proc/3839/stat : 3839 (bsolo3.0.16) R 3837 3839 3199 0 -1 4194304 676 0 0 0 9 0 0 0 18 0 1 0 155513708 5226496 643 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3839/statm: 1276 643 312 324 0 345 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5104 [startup+0.301601 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3839 /proc/meminfo: memFree=1810584/2055920 swapFree=4183264/4192956 [pid=3839] ppid=3837 vsize=6912 CPUtime=0.29 /proc/3839/stat : 3839 (bsolo3.0.16) R 3837 3839 3199 0 -1 4194304 1132 0 0 0 28 1 0 0 19 0 1 0 155513708 7077888 1099 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3839/statm: 1728 1099 312 324 0 797 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6912 [startup+0.701638 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3839 /proc/meminfo: memFree=1810584/2055920 swapFree=4183264/4192956 [pid=3839] ppid=3837 vsize=8868 CPUtime=0.69 /proc/3839/stat : 3839 (bsolo3.0.16) R 3837 3839 3199 0 -1 4194304 1637 0 0 0 67 2 0 0 22 0 1 0 155513708 9080832 1604 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3839/statm: 2217 1604 312 324 0 1286 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8868 [startup+1.50171 s] /proc/loadavg: 0.93 0.98 0.99 2/65 3840 /proc/meminfo: memFree=1803728/2055920 swapFree=4183264/4192956 [pid=3839] ppid=3837 vsize=10416 CPUtime=1.49 /proc/3839/stat : 3839 (bsolo3.0.16) R 3837 3839 3199 0 -1 4194304 2019 0 0 0 147 2 0 0 25 0 1 0 155513708 10665984 1986 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3839/statm: 2604 1986 312 324 0 1673 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10416 [startup+3.10185 s] /proc/loadavg: 0.93 0.98 0.99 2/65 3840 /proc/meminfo: memFree=1803344/2055920 swapFree=4183264/4192956 [pid=3839] ppid=3837 vsize=11176 CPUtime=3.09 /proc/3839/stat : 3839 (bsolo3.0.16) R 3837 3839 3199 0 -1 4194304 2197 0 0 0 306 3 0 0 25 0 1 0 155513708 11444224 2164 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3839/statm: 2794 2164 312 324 0 1863 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11176 [startup+6.30114 s] /proc/loadavg: 0.93 0.98 0.99 2/65 3840 /proc/meminfo: memFree=1802128/2055920 swapFree=4183264/4192956 [pid=3839] ppid=3837 vsize=11940 CPUtime=6.29 /proc/3839/stat : 3839 (bsolo3.0.16) R 3837 3839 3199 0 -1 4194304 2389 0 0 0 626 3 0 0 25 0 1 0 155513708 12226560 2356 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3839/statm: 2985 2356 312 324 0 2054 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11940 [startup+12.7017 s] /proc/loadavg: 0.94 0.98 0.99 2/65 3840 /proc/meminfo: memFree=1800152/2055920 swapFree=4183264/4192956 [pid=3839] ppid=3837 vsize=13844 CPUtime=12.69 /proc/3839/stat : 3839 (bsolo3.0.16) R 3837 3839 3199 0 -1 4194304 2887 0 0 0 1264 5 0 0 25 0 1 0 155513708 14176256 2854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3839/statm: 3461 2854 312 324 0 2530 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13844 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/65 3840 /proc/meminfo: memFree=1800152/2055920 swapFree=4183264/4192956 [pid=3839] ppid=3837 vsize=13848 CPUtime=25.48 /proc/3839/stat : 3839 (bsolo3.0.16) R 3837 3839 3199 0 -1 4194304 2889 0 0 0 2540 8 0 0 25 0 1 0 155513708 14180352 2856 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3839/statm: 3462 2856 313 324 0 2531 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13848 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/65 3840 /proc/meminfo: memFree=1800152/2055920 swapFree=4183264/4192956 [pid=3839] ppid=3837 vsize=13848 CPUtime=51.08 /proc/3839/stat : 3839 (bsolo3.0.16) R 3837 3839 3199 0 -1 4194304 2889 0 0 0 5093 15 0 0 25 0 1 0 155513708 14180352 2856 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3839/statm: 3462 2856 313 324 0 2531 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 13848 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 3840 /proc/meminfo: memFree=1800152/2055920 swapFree=4183264/4192956 [pid=3839] ppid=3837 vsize=13844 CPUtime=102.27 /proc/3839/stat : 3839 (bsolo3.0.16) R 3837 3839 3199 0 -1 4194304 2889 0 0 0 10202 25 0 0 25 0 1 0 155513708 14176256 2856 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527360 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3839/statm: 3461 2856 313 324 0 2530 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 13844 Solver just ended. Dumping a history of the last processes samples [startup+105.501 s] /proc/loadavg: 0.98 0.98 0.99 2/65 3840 /proc/meminfo: memFree=1800152/2055920 swapFree=4183264/4192956 [pid=3839] ppid=3837 vsize=13844 CPUtime=105.47 /proc/3839/stat : 3839 (bsolo3.0.16) R 3837 3839 3199 0 -1 4194304 2889 0 0 0 10521 26 0 0 25 0 1 0 155513708 14176256 2856 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3839/statm: 3461 2856 313 324 0 2530 0 Current children cumulated CPU time (s) 105.47 Current children cumulated vsize (KiB) 13844 [startup+108.701 s] /proc/loadavg: 0.98 0.98 0.99 2/65 3840 /proc/meminfo: memFree=1800152/2055920 swapFree=4183264/4192956 [pid=3839] ppid=3837 vsize=13844 CPUtime=108.66 /proc/3839/stat : 3839 (bsolo3.0.16) R 3837 3839 3199 0 -1 4194304 2889 0 0 0 10840 26 0 0 25 0 1 0 155513708 14176256 2856 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3839/statm: 3461 2856 313 324 0 2530 0 Current children cumulated CPU time (s) 108.66 Current children cumulated vsize (KiB) 13844 [startup+110.301 s] /proc/loadavg: 0.98 0.98 0.99 2/65 3840 /proc/meminfo: memFree=1800152/2055920 swapFree=4183264/4192956 [pid=3839] ppid=3837 vsize=13844 CPUtime=110.26 /proc/3839/stat : 3839 (bsolo3.0.16) R 3837 3839 3199 0 -1 4194304 2889 0 0 0 11000 26 0 0 25 0 1 0 155513708 14176256 2856 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3048778 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3839/statm: 3461 2856 313 324 0 2530 0 Current children cumulated CPU time (s) 110.26 Current children cumulated vsize (KiB) 13844 [startup+111.105 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3840 /proc/meminfo: memFree=1800152/2055920 swapFree=4183264/4192956 [pid=3839] ppid=3837 vsize=13844 CPUtime=111.06 /proc/3839/stat : 3839 (bsolo3.0.16) R 3837 3839 3199 0 -1 4194304 2889 0 0 0 11080 26 0 0 25 0 1 0 155513708 14176256 2856 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3839/statm: 3461 2856 313 324 0 2530 0 Current children cumulated CPU time (s) 111.06 Current children cumulated vsize (KiB) 13844 [startup+111.502 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3840 /proc/meminfo: memFree=1800152/2055920 swapFree=4183264/4192956 [pid=3839] ppid=3837 vsize=13844 CPUtime=111.46 /proc/3839/stat : 3839 (bsolo3.0.16) R 3837 3839 3199 0 -1 4194304 2889 0 0 0 11120 26 0 0 25 0 1 0 155513708 14176256 2856 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3839/statm: 3461 2856 313 324 0 2530 0 Current children cumulated CPU time (s) 111.46 Current children cumulated vsize (KiB) 13844 Child status: 0 Real time (s): 111.585 CPU time (s): 111.556 CPU user time (s): 111.283 CPU system time (s): 0.272958 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 13848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 111.283 system time used= 0.272958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2890 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= 75 runsolver used 0.088986 second user time and 0.224965 second system time The end
Begin job on node51 on Tue May 1 08:04:46 UTC 2007 IDJOB= 431472 IDBENCH= 48054 IDSOLVER= 163 FILE ID= node51/431472-1178006686 PBS_JOBID= 4728269 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=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431472-1178006686/instance-431472-1178006686.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-431472-1178006686 -o ROOT/results/node51/solver-431472-1178006686 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431472-1178006686/instance-431472-1178006686.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 74c00e33b4232d137ad873ae982593f6 RANDOM SEED= 321008132 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node51.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.223 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.223 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: 1810928 kB Buffers: 25444 kB Cached: 146648 kB SwapCached: 3552 kB Active: 50296 kB Inactive: 131456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1810928 kB SwapTotal: 4192956 kB SwapFree: 4183264 kB Dirty: 6684 kB Writeback: 0 kB Mapped: 15496 kB Slab: 49172 kB Committed_AS: 4460044 kB PageTables: 1408 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 node51 on Tue May 1 08:06:38 UTC 2007