Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 151.815 | 151.882 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=211-P1=223-P2=251-P3=3-P4=107-B.opb |
MD5SUM | 1cc97335e4341ed075b6e9adcc382d23 |
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/430772-1177998574/instance-430772-1177998574.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. 20.58/20.67 c 101 352 626 8521 13 2044 3244 101 7769 0.01 20.58/20.67 c 252 352 777 19733 25 2302 3569 252 9692 0.03 20.58/20.67 c 478 352 1003 35851 35 2747 3926 478 11116 0.04 20.58/20.67 c 816 352 1341 60385 45 3379 4319 816 10880 0.07 20.58/20.67 c 1324 352 1849 95649 51 4394 4751 1324 10764 0.12 20.58/20.67 c 2088 352 2613 148548 56 5995 5227 2088 9405 0.22 20.58/20.67 c 3234 352 3759 231833 61 8194 5750 3234 8488 0.38 20.58/20.67 c 4955 352 5480 350847 64 11650 6326 4955 8109 0.61 20.58/20.67 c 7540 352 4592 268922 58 9910 6959 4067 6962 1.08 20.58/20.67 c 11419 352 4925 258683 52 10555 7655 4400 4525 2.52 20.58/20.67 c 17242 352 6613 410441 62 13952 8421 6088 4692 3.67 20.58/20.67 c 25979 352 6303 359775 57 13378 9264 5778 4272 6.08 20.58/20.67 c 39090 352 5327 284040 53 11454 10191 4802 3020 12.94 20.58/20.67 o 225 20.663 43.06/43.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 43.06/43.14 c 56950 352 7025 485137 69 14810 2965 6500 2756 20.66 43.06/43.14 c 57050 352 2109 108950 51 4993 3262 1584 2754 20.71 43.06/43.14 c 57301 352 2360 124480 52 5431 3589 1835 2763 20.73 43.06/43.14 c 57776 352 2835 153872 54 6383 3948 2310 2778 20.79 43.06/43.14 c 58589 352 3648 202880 55 8027 4343 3123 2800 20.92 43.06/43.14 c 59909 352 2698 139118 51 6149 4778 2173 2835 21.13 43.06/43.14 c 61991 352 4780 281761 58 10372 5256 4255 2895 21.41 43.06/43.14 c 65215 352 5323 315070 59 11429 5782 4798 2975 21.92 43.06/43.14 c 70153 352 4112 208002 50 8993 6361 3587 3064 22.89 43.06/43.14 c 77660 352 5125 273998 53 11009 6998 4600 3082 25.19 43.06/43.14 c 89022 352 5820 304156 52 12365 7698 5295 3073 28.96 43.06/43.14 c 106168 352 6623 395518 59 13915 8468 6098 3189 33.29 43.06/43.14 c 131987 352 6168 374347 60 13024 9315 5643 3121 42.28 43.06/43.14 o 129 43.114 52.36/52.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 52.36/52.42 c 137198 352 6565 377442 57 13883 2965 6040 3182 43.12 52.36/52.42 c 137299 352 2112 110236 52 4985 3262 1587 3181 43.16 52.36/52.42 c 137551 352 2364 127329 53 5494 3589 1839 3185 43.18 52.36/52.42 c 138027 352 2840 154351 54 6436 3948 2315 3192 43.23 52.36/52.42 c 138840 352 3653 199801 54 8074 4343 3128 3204 43.33 52.36/52.42 c 140163 352 2698 123816 45 6144 4778 2173 3217 43.56 52.36/52.42 c 142244 351 4779 265641 55 10295 5256 4254 3244 43.84 52.36/52.42 c 145467 351 5226 323421 61 11195 5782 4701 3255 44.68 52.36/52.42 c 150404 351 4243 243709 57 9166 6361 3718 3226 46.61 52.36/52.42 c 157910 351 5278 300206 56 11278 6998 4753 3199 49.36 52.36/52.42 o 65 52.391 60.96/61.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 60.96/61.03 c 167954 351 4418 274151 62 9633 2965 3893 3205 52.39 60.96/61.03 c 168054 351 2112 114006 53 4990 3262 1587 3205 52.42 60.96/61.03 c 168304 351 2362 130936 55 5472 3589 1837 3209 52.45 60.96/61.03 c 168780 351 2838 162570 57 6383 3948 2313 3214 52.51 60.96/61.03 c 169593 351 3651 216402 59 8044 4343 3126 3221 52.65 60.96/61.03 c 170914 351 2727 146566 53 6209 4778 2202 3227 52.96 60.96/61.03 c 172995 351 4808 281625 58 10358 5256 4283 3231 53.53 60.96/61.03 c 176219 351 5338 311939 58 11402 5782 4813 3225 54.64 60.96/61.03 c 181156 341 4040 236240 58 8917 6361 3515 3251 55.71 60.96/61.03 c 188662 341 5051 292739 57 10850 6998 4526 3213 58.71 60.96/61.03 o 33 61 66.55/66.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 66.55/66.67 c 197144 341 6220 362457 58 13234 2963 5695 3231 61.00 66.55/66.67 c 197244 341 2112 97120 45 5061 3260 1587 3231 61.04 66.55/66.67 c 197495 331 2363 114372 48 5508 3587 1838 3234 61.06 66.55/66.67 c 197970 331 2838 147515 51 6419 3946 2313 3239 61.11 66.55/66.67 c 198783 331 3651 203079 55 8063 4341 3126 3245 61.25 66.55/66.67 c 200103 331 2702 150315 55 6187 4776 2177 3257 61.43 66.55/66.67 c 202185 331 4784 287986 60 10340 5254 4259 3264 61.93 66.55/66.67 c 205408 331 5289 313960 59 11354 5780 4764 3258 63.03 66.55/66.67 c 210345 331 4290 241220 56 9355 6359 3765 3253 64.64 66.55/66.67 o 11 66.642 72.25/72.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 72.25/72.33 c 217775 331 5053 292606 57 10905 2961 4528 3267 66.64 72.25/72.33 c 217875 331 2112 100782 47 5026 3258 1587 3268 66.67 72.25/72.33 c 218127 331 2364 118716 50 5560 3584 1839 3270 66.69 72.25/72.33 c 218603 331 2840 151806 53 6504 3943 2315 3274 66.75 72.25/72.33 c 219416 331 3653 208703 57 8131 4338 3128 3280 66.89 72.25/72.33 c 220737 331 2716 151103 55 6242 4772 2191 3280 67.29 72.25/72.33 c 222818 331 4797 290529 60 10393 5250 4272 3280 67.92 72.25/72.33 c 226041 331 5305 319405 60 11424 5776 4780 3275 69.02 72.25/72.33 c 230977 322 4128 248827 60 9076 6354 3603 3292 70.16 72.25/72.33 o 5 72.292 79.25/79.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 79.25/79.36 c 238381 311 4907 269756 54 10638 2957 4382 3297 72.29 79.25/79.36 c 238483 301 2114 98199 46 5054 3253 1589 3297 72.32 79.25/79.36 c 238733 301 2364 112824 47 5551 3579 1839 3300 72.34 79.25/79.36 c 239208 301 2839 145042 51 6484 3937 2314 3304 72.40 79.25/79.36 c 240022 301 3653 199418 54 8113 4331 3128 3307 72.58 79.25/79.36 c 241344 301 2708 144166 53 6231 4765 2183 3306 72.99 79.25/79.36 c 243425 301 4789 277998 58 10382 5242 4264 3304 73.67 79.25/79.36 c 246649 301 5125 299284 58 11024 5767 4600 3315 74.40 79.25/79.36 c 251586 301 3922 216670 55 8657 6344 3397 3321 75.76 79.25/79.36 c 259093 301 4876 267828 54 10487 6979 4351 3294 78.64 79.25/79.36 o 3 79.327 151.73/151.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 151.73/151.87 c 262044 301 4069 230492 56 8922 2955 3544 3303 79.33 151.73/151.87 c 262145 292 2113 107621 50 5013 3251 1588 3303 79.35 151.73/151.87 c 262395 292 2363 123653 52 5481 3577 1838 3306 79.37 151.73/151.87 c 262870 292 2838 154654 54 6476 3935 2313 3310 79.42 151.73/151.87 c 263684 292 3652 209997 57 8093 4329 3127 3315 79.53 151.73/151.87 c 265004 292 2699 146444 54 6205 4762 2174 3320 79.81 151.73/151.87 c 267085 292 4780 286267 59 10365 5239 4255 3316 80.54 151.73/151.87 c 270309 292 5262 312230 59 11322 5763 4737 3304 81.81 151.73/151.87 c 275246 280 3970 224667 56 8739 6340 3445 3314 83.05 151.73/151.87 c 282753 280 4918 282126 57 10590 6975 4393 3296 85.77 151.73/151.87 c 294114 280 5012 291126 58 10772 7673 4487 3300 89.10 151.73/151.87 c 311258 280 6257 345589 55 13289 8441 5732 3243 95.97 151.73/151.87 c 337078 280 5363 326098 60 11480 9286 4838 3167 106.43 151.73/151.87 c 375910 279 5462 314558 57 11731 10215 4937 3018 124.52 151.73/151.87 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 151.73/151.87 v -x31 -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 151.73/151.87 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 151.73/151.87 v -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 151.73/151.87 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 151.73/151.87 c 88 419507 2609 433672 7296 406121 6771 2763 151.81 151.73/151.87 c Objective: 3 151.73/151.87 s OPTIMUM FOUND 151.73/151.87 c Total time: 151.809 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-430772-1177998574 -o ROOT/results/node38/solver-430772-1177998574 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430772-1177998574/instance-430772-1177998574.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.99 0.99 3/77 22607 /proc/meminfo: memFree=1811312/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=3932 CPUtime=0 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 232024048 4026368 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 983 349 292 324 0 50 0 [startup+0.055191 s] /proc/loadavg: 0.92 0.99 0.99 3/77 22607 /proc/meminfo: memFree=1811312/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=4708 CPUtime=0.04 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 584 0 0 0 4 0 0 0 18 0 1 0 232024048 4820992 551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 1177 551 312 324 0 246 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4708 [startup+0.1012 s] /proc/loadavg: 0.92 0.99 0.99 3/77 22607 /proc/meminfo: memFree=1811312/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=5092 CPUtime=0.09 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 697 0 0 0 9 0 0 0 18 0 1 0 232024048 5214208 664 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 1273 664 312 324 0 342 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5092 [startup+0.301238 s] /proc/loadavg: 0.92 0.99 0.99 3/77 22607 /proc/meminfo: memFree=1811312/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=6768 CPUtime=0.28 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 1105 0 0 0 28 0 0 0 19 0 1 0 232024048 6930432 1072 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 1692 1072 312 324 0 761 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6768 [startup+0.701315 s] /proc/loadavg: 0.92 0.99 0.99 3/77 22607 /proc/meminfo: memFree=1811312/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=9604 CPUtime=0.69 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 1818 0 0 0 68 1 0 0 23 0 1 0 232024048 9834496 1785 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 2401 1785 312 324 0 1470 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9604 [startup+1.50147 s] /proc/loadavg: 0.92 0.99 0.99 2/78 22608 /proc/meminfo: memFree=1804264/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=10752 CPUtime=1.49 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 2089 0 0 0 147 2 0 0 25 0 1 0 232024048 11010048 2056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 2688 2056 312 324 0 1757 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10752 [startup+3.10177 s] /proc/loadavg: 0.92 0.99 0.99 2/78 22608 /proc/meminfo: memFree=1804136/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=11396 CPUtime=3.09 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 2259 0 0 0 307 2 0 0 25 0 1 0 232024048 11669504 2226 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 2849 2226 312 324 0 1918 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11396 [startup+6.30139 s] /proc/loadavg: 0.93 0.99 0.99 2/78 22608 /proc/meminfo: memFree=1802024/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=12552 CPUtime=6.29 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 2542 0 0 0 625 4 0 0 25 0 1 0 232024048 12853248 2509 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 3138 2509 312 324 0 2207 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12552 [startup+12.7016 s] /proc/loadavg: 0.93 0.99 0.99 2/78 22608 /proc/meminfo: memFree=1802032/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=12552 CPUtime=12.69 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 2542 0 0 0 1264 5 0 0 25 0 1 0 232024048 12853248 2509 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 3138 2509 312 324 0 2207 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12552 [startup+25.5011 s] /proc/loadavg: 0.95 0.99 0.99 2/78 22608 /proc/meminfo: memFree=1799088/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=15636 CPUtime=25.48 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 2540 8 0 0 25 0 1 0 232024048 16011264 3289 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 3909 3289 313 324 0 2978 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15636 [startup+51.102 s] /proc/loadavg: 0.96 0.99 0.99 2/78 22608 /proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=15564 CPUtime=51.06 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 5091 15 0 0 25 0 1 0 232024048 15937536 3286 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 3891 3286 313 324 0 2960 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 15564 [startup+102.306 s] /proc/loadavg: 0.98 0.99 0.99 2/78 22608 /proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=15552 CPUtime=102.25 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 10196 29 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 3888 3283 313 324 0 2957 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 15552 Solver just ended. Dumping a history of the last processes samples [startup+127.902 s] /proc/loadavg: 0.99 0.99 0.99 2/78 22608 /proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=15552 CPUtime=127.83 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 12749 34 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 3888 3283 313 324 0 2957 0 Current children cumulated CPU time (s) 127.83 Current children cumulated vsize (KiB) 15552 [startup+140.701 s] /proc/loadavg: 0.99 0.99 0.99 2/78 22608 /proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=15552 CPUtime=140.64 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 14028 36 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 3888 3283 313 324 0 2957 0 Current children cumulated CPU time (s) 140.64 Current children cumulated vsize (KiB) 15552 [startup+147.101 s] /proc/loadavg: 0.99 0.99 0.99 2/78 22608 /proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=15552 CPUtime=147.03 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 14666 37 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9037653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 3888 3283 313 324 0 2957 0 Current children cumulated CPU time (s) 147.03 Current children cumulated vsize (KiB) 15552 [startup+150.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 22608 /proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=15552 CPUtime=150.23 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 14985 38 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 3888 3283 313 324 0 2957 0 Current children cumulated CPU time (s) 150.23 Current children cumulated vsize (KiB) 15552 [startup+151.101 s] /proc/loadavg: 0.99 0.99 0.99 2/78 22608 /proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=15552 CPUtime=151.03 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 15065 38 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 3888 3283 313 324 0 2957 0 Current children cumulated CPU time (s) 151.03 Current children cumulated vsize (KiB) 15552 [startup+151.501 s] /proc/loadavg: 0.99 0.99 0.99 2/78 22608 /proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=15552 CPUtime=151.43 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 15105 38 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 3888 3283 313 324 0 2957 0 Current children cumulated CPU time (s) 151.43 Current children cumulated vsize (KiB) 15552 [startup+151.701 s] /proc/loadavg: 0.99 0.99 0.99 2/78 22608 /proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=15552 CPUtime=151.63 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 15125 38 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 3888 3283 313 324 0 2957 0 Current children cumulated CPU time (s) 151.63 Current children cumulated vsize (KiB) 15552 [startup+151.805 s] /proc/loadavg: 0.99 0.99 0.99 2/78 22608 /proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956 [pid=22607] ppid=22605 vsize=15552 CPUtime=151.73 /proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 15135 38 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22607/statm: 3888 3283 313 324 0 2957 0 Current children cumulated CPU time (s) 151.73 Current children cumulated vsize (KiB) 15552 Child status: 0 Real time (s): 151.882 CPU time (s): 151.815 CPU user time (s): 151.429 CPU system time (s): 0.385941 CPU usage (%): 99.9561 Max. virtual memory (cumulated for all children) (KiB): 15636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 151.429 system time used= 0.385941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3323 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= 10 involuntary context switches= 3161 runsolver used 0.112982 second user time and 0.350946 second system time The end
Begin job on node38 on Tue May 1 05:49:34 UTC 2007 IDJOB= 430772 IDBENCH= 48004 IDSOLVER= 163 FILE ID= node38/430772-1177998574 PBS_JOBID= 4728198 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=211-P1=223-P2=251-P3=3-P4=107-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430772-1177998574/instance-430772-1177998574.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-430772-1177998574 -o ROOT/results/node38/solver-430772-1177998574 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430772-1177998574/instance-430772-1177998574.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 1cc97335e4341ed075b6e9adcc382d23 RANDOM SEED= 91070915 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 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.263 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: 1811720 kB Buffers: 37148 kB Cached: 124380 kB SwapCached: 6772 kB Active: 56232 kB Inactive: 129128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1811720 kB SwapTotal: 4192956 kB SwapFree: 4154564 kB Dirty: 6640 kB Writeback: 0 kB Mapped: 30488 kB Slab: 44016 kB Committed_AS: 2893132 kB PageTables: 2060 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 node38 on Tue May 1 05:52:06 UTC 2007