Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 148.615 | 148.658 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=89-P1=13-P2=37-P3=97-P4=101-P5=107-P6=37-P7=19-P8=47-P9=127-B.opb |
MD5SUM | b3aade8de77ac68c9aa967132edd1f5e |
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.159975 |
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 | 189 |
Total number of constraints | 19 |
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 | 19 |
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) | 441 |
Sum of products size (including duplicates) | 882 |
Number of different products | 441 |
Sum of products size | 882 |
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/452827-1177982513/instance-452827-1177982513.opb 0.00/0.00 c File size is 8217 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.004 s 0.00/0.00 c Var: 630 Constr: 910 441/0/469 Lit: 3836 Watch. Lit: 2369 0.00/0.00 c Obj. Vars: 7 (1.11111 % of total variables) 0.00/0.01 c Pre-processing Time: 0.01 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 630 910 3836 4 3289 5172 0 0 0.01 0.00/0.01 c Switching off LPR mode. 11.29/11.31 c 102 630 1012 9200 9 3421 5690 102 6375 0.02 11.29/11.31 c 252 630 1162 17603 15 3714 6260 252 10080 0.03 11.29/11.31 c 479 630 1389 28606 20 4137 6887 479 11682 0.04 11.29/11.31 c 817 630 1727 48065 27 4798 7576 817 12378 0.07 11.29/11.31 c 1325 630 2235 73329 32 5768 8334 1325 12500 0.11 11.29/11.31 c 2089 630 2999 111997 37 7330 9168 2089 11802 0.18 11.29/11.31 c 3237 630 4147 168827 40 9670 10085 3237 9222 0.35 11.29/11.31 c 4958 630 5868 262375 44 13060 11094 4958 8446 0.59 11.29/11.31 c 7542 630 8452 388962 46 18161 12204 7542 6197 1.22 11.29/11.31 c 11421 630 12331 592358 48 26030 13425 11421 6042 1.89 11.29/11.31 c 17243 630 11259 502215 44 23836 14768 10349 4208 4.10 11.29/11.31 c 25980 630 12176 572051 46 25697 16245 11266 4107 6.33 11.29/11.31 c 39091 630 16792 821718 48 34905 17870 15882 3541 11.04 11.29/11.31 o 99 11.311 32.78/32.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.78/32.81 c 41341 630 9846 465725 47 21032 5186 8936 3635 11.37 32.78/32.81 c 41441 630 3604 141241 39 8641 5705 2694 3617 11.46 32.78/32.81 c 41691 630 3854 154771 40 9093 6276 2944 3634 11.47 32.78/32.81 c 42169 630 4332 181637 41 10115 6904 3422 3662 11.51 32.78/32.81 c 42982 630 5145 224872 43 11574 7595 4235 3699 11.62 32.78/32.81 c 44303 630 6466 293368 45 14229 8355 5556 3765 11.77 32.78/32.81 c 46384 630 8547 401238 46 18380 9191 7637 3808 12.18 32.78/32.81 c 49607 630 6860 312594 45 15004 10111 5950 3919 12.65 32.78/32.81 c 54544 630 6526 300325 46 14340 11123 5616 3959 13.77 32.78/32.81 c 62051 630 7980 370773 46 17301 12236 7070 3954 15.69 32.78/32.81 c 73412 630 12654 645577 51 26659 13460 11744 3712 19.78 32.78/32.81 c 90560 630 7971 356238 44 17229 14807 7061 3344 27.08 32.78/32.81 o 25 32.803 113.86/113.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 113.86/113.96 c 103703 630 13283 669733 50 27943 5186 12373 3161 32.80 113.86/113.96 c 103804 622 3606 138270 38 8646 5705 2696 3150 32.95 113.86/113.96 c 104054 622 3856 152020 39 9080 6276 2946 3155 32.98 113.86/113.96 c 104531 622 4333 178274 41 9973 6904 3423 3165 33.02 113.86/113.96 c 105344 612 5146 224270 43 11673 7595 4236 3181 33.11 113.86/113.96 c 106666 612 6468 300389 46 14278 8355 5558 3202 33.31 113.86/113.96 c 108747 612 8549 403551 47 18431 9191 7639 3236 33.60 113.86/113.96 c 111970 612 6666 306515 45 14685 10111 5756 3278 34.15 113.86/113.96 c 116906 612 6028 274212 45 13439 11123 5118 3322 35.19 113.86/113.96 c 124412 609 7446 294943 39 16254 12236 6536 3388 36.71 113.86/113.96 c 135773 609 12171 565048 46 25655 13460 11261 3428 39.60 113.86/113.96 c 152917 609 7921 360729 45 17195 14807 7011 3414 44.79 113.86/113.96 c 178738 609 9931 490280 49 21257 16288 9021 3061 58.38 113.86/113.96 c 217570 606 14128 529091 37 29617 17917 13218 2891 75.24 113.86/113.96 o 3 113.93 148.55/148.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 148.55/148.65 c 273702 602 14473 674415 46 30243 5182 13563 2402 113.93 148.55/148.65 c 273803 586 3614 138433 38 8646 5701 2704 2400 114.05 148.55/148.65 c 274054 586 3865 149965 38 9104 6272 2955 2402 114.07 148.55/148.65 c 274529 586 4340 171383 39 10061 6900 3430 2405 114.12 148.55/148.65 c 275342 586 5153 209430 40 11676 7591 4243 2410 114.25 148.55/148.65 c 276662 586 6473 275437 42 14321 8351 5563 2415 114.54 148.55/148.65 c 278744 586 8555 378580 44 18480 9187 7645 2419 115.19 148.55/148.65 c 281968 586 7108 310527 43 15618 10106 6198 2424 116.32 148.55/148.65 c 286904 585 6937 298977 43 15203 11117 6027 2412 118.94 148.55/148.65 c 294410 564 8646 391383 45 18640 12229 7736 2429 121.20 148.55/148.65 c 305772 564 7273 321636 44 15870 13452 6363 2449 124.83 148.55/148.65 c 322916 561 10596 483513 45 22526 14798 9686 2461 131.21 148.55/148.65 c 348736 552 13802 598424 43 28981 16278 12892 2471 141.08 148.55/148.65 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 148.55/148.65 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 148.55/148.65 v -x60 x61 x62 x63 x64 -x65 -x66 -x67 x68 x69 -x70 x71 -x72 -x73 x74 -x75 x76 x77 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x78 -x79 148.55/148.65 v -x80 x81 -x82 -x83 -x84 x134 x135 -x136 x137 x138 -x139 -x140 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x141 -x142 x143 -x144 -x145 148.55/148.65 v -x146 -x147 x92 -x93 x94 -x95 -x96 x97 -x98 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x99 x100 -x101 x102 -x103 x104 -x105 -x155 148.55/148.65 v -x156 x157 -x158 -x159 -x160 -x161 x106 -x107 -x108 -x109 -x110 -x111 -x112 x162 -x163 -x164 -x165 -x166 -x167 -x168 x113 148.55/148.65 v -x114 -x115 -x116 x117 -x118 -x119 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x120 -x121 -x122 -x123 -x124 -x125 -x126 x176 148.55/148.65 v x177 x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 148.55/148.65 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 148.55/148.65 c 52 357639 5742 381812 14489 568670 13579 2406 148.61 148.55/148.65 c Objective: 3 148.55/148.65 s OPTIMUM FOUND 148.55/148.65 c Total time: 148.609 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-452827-1177982513 -o ROOT/results/node45/solver-452827-1177982513 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452827-1177982513/instance-452827-1177982513.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 0.99 0.91 3/77 6088 /proc/meminfo: memFree=1805768/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=11748 CPUtime=0 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 373 0 0 0 0 0 0 0 18 0 1 0 153097000 12029952 343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 2937 344 289 324 0 2004 0 [startup+0.0992711 s] /proc/loadavg: 1.00 0.99 0.91 3/77 6088 /proc/meminfo: memFree=1805768/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=5236 CPUtime=0.09 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 704 0 0 0 9 0 0 0 18 0 1 0 153097000 5361664 671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 1309 671 310 324 0 379 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5236 [startup+0.101271 s] /proc/loadavg: 1.00 0.99 0.91 3/77 6088 /proc/meminfo: memFree=1805768/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=5236 CPUtime=0.09 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 707 0 0 0 9 0 0 0 18 0 1 0 153097000 5361664 674 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134584999 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 1309 674 310 324 0 379 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5236 [startup+0.301291 s] /proc/loadavg: 1.00 0.99 0.91 3/77 6088 /proc/meminfo: memFree=1805768/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=6520 CPUtime=0.29 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 1031 0 0 0 29 0 0 0 19 0 1 0 153097000 6676480 998 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 1630 998 310 324 0 700 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6520 [startup+0.701332 s] /proc/loadavg: 1.00 0.99 0.91 3/77 6088 /proc/meminfo: memFree=1805768/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=8588 CPUtime=0.69 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 1560 0 0 0 68 1 0 0 22 0 1 0 153097000 8794112 1527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 2147 1527 310 324 0 1217 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8588 [startup+1.50141 s] /proc/loadavg: 1.00 0.99 0.91 2/78 6089 /proc/meminfo: memFree=1800000/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=11444 CPUtime=1.49 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 2276 0 0 0 148 1 0 0 25 0 1 0 153097000 11718656 2243 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 2861 2243 310 324 0 1931 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11444 [startup+3.10157 s] /proc/loadavg: 1.00 0.99 0.91 2/78 6089 /proc/meminfo: memFree=1795840/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=14632 CPUtime=3.09 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 3065 0 0 0 307 2 0 0 25 0 1 0 153097000 14983168 3032 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 3658 3032 310 324 0 2728 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14632 [startup+6.3019 s] /proc/loadavg: 1.00 0.99 0.91 2/78 6089 /proc/meminfo: memFree=1793408/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=15648 CPUtime=6.29 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 3320 0 0 0 627 2 0 0 25 0 1 0 153097000 16023552 3287 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 3912 3287 310 324 0 2982 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15648 [startup+12.7016 s] /proc/loadavg: 1.00 0.99 0.91 2/78 6089 /proc/meminfo: memFree=1790848/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=18236 CPUtime=12.69 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 3980 0 0 0 1267 2 0 0 25 0 1 0 153097000 18673664 3947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 4559 3947 311 324 0 3629 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18236 [startup+25.5019 s] /proc/loadavg: 1.00 0.99 0.91 2/78 6089 /proc/meminfo: memFree=1790848/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=18236 CPUtime=25.48 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 3980 0 0 0 2546 2 0 0 25 0 1 0 153097000 18673664 3947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5160488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 4559 3947 311 324 0 3629 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18236 [startup+51.1015 s] /proc/loadavg: 1.00 0.99 0.91 3/78 6089 /proc/meminfo: memFree=1790912/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=18236 CPUtime=51.07 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 3980 0 0 0 5105 2 0 0 25 0 1 0 153097000 18673664 3947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 4559 3947 311 324 0 3629 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 18236 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.91 2/78 6089 /proc/meminfo: memFree=1790912/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=18236 CPUtime=102.27 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 3980 0 0 0 10224 3 0 0 25 0 1 0 153097000 18673664 3947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 4559 3947 311 324 0 3629 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 18236 Solver just ended. Dumping a history of the last processes samples [startup+127.901 s] /proc/loadavg: 1.00 0.99 0.91 2/78 6089 /proc/meminfo: memFree=1790848/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=18236 CPUtime=127.85 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 3980 0 0 0 12782 3 0 0 25 0 1 0 153097000 18673664 3947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 4559 3947 311 324 0 3629 0 Current children cumulated CPU time (s) 127.85 Current children cumulated vsize (KiB) 18236 [startup+140.702 s] /proc/loadavg: 1.00 0.99 0.91 2/78 6089 /proc/meminfo: memFree=1790848/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=18236 CPUtime=140.65 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 3980 0 0 0 14062 3 0 0 25 0 1 0 153097000 18673664 3947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5160612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 4559 3947 311 324 0 3629 0 Current children cumulated CPU time (s) 140.65 Current children cumulated vsize (KiB) 18236 [startup+143.902 s] /proc/loadavg: 1.00 0.99 0.91 2/78 6089 /proc/meminfo: memFree=1790848/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=18236 CPUtime=143.85 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 3980 0 0 0 14382 3 0 0 25 0 1 0 153097000 18673664 3947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527352 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 4559 3947 311 324 0 3629 0 Current children cumulated CPU time (s) 143.85 Current children cumulated vsize (KiB) 18236 [startup+147.101 s] /proc/loadavg: 1.00 0.99 0.91 2/78 6089 /proc/meminfo: memFree=1790848/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=18236 CPUtime=147.05 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 3980 0 0 0 14702 3 0 0 25 0 1 0 153097000 18673664 3947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 4559 3947 311 324 0 3629 0 Current children cumulated CPU time (s) 147.05 Current children cumulated vsize (KiB) 18236 [startup+147.901 s] /proc/loadavg: 1.00 0.99 0.91 2/78 6089 /proc/meminfo: memFree=1790848/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=18236 CPUtime=147.85 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 3980 0 0 0 14782 3 0 0 25 0 1 0 153097000 18673664 3947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 4559 3947 311 324 0 3629 0 Current children cumulated CPU time (s) 147.85 Current children cumulated vsize (KiB) 18236 [startup+148.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 6089 /proc/meminfo: memFree=1790848/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=18236 CPUtime=148.25 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 3980 0 0 0 14822 3 0 0 25 0 1 0 153097000 18673664 3947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 4559 3947 311 324 0 3629 0 Current children cumulated CPU time (s) 148.25 Current children cumulated vsize (KiB) 18236 [startup+148.505 s] /proc/loadavg: 1.00 0.99 0.91 2/78 6089 /proc/meminfo: memFree=1790848/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=18236 CPUtime=148.45 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 3980 0 0 0 14842 3 0 0 25 0 1 0 153097000 18673664 3947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 4559 3947 311 324 0 3629 0 Current children cumulated CPU time (s) 148.45 Current children cumulated vsize (KiB) 18236 [startup+148.601 s] /proc/loadavg: 1.00 0.99 0.91 2/78 6089 /proc/meminfo: memFree=1790848/2055920 swapFree=4157808/4192956 [pid=6088] ppid=6086 vsize=18236 CPUtime=148.55 /proc/6088/stat : 6088 (bsolo3.0.17) R 6086 6088 2717 0 -1 4194304 3980 0 0 0 14852 3 0 0 25 0 1 0 153097000 18673664 3947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5158785 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6088/statm: 4559 3947 311 324 0 3629 0 Current children cumulated CPU time (s) 148.55 Current children cumulated vsize (KiB) 18236 Child status: 0 Real time (s): 148.658 CPU time (s): 148.615 CPU user time (s): 148.574 CPU system time (s): 0.040993 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 18236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 148.574 system time used= 0.040993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3984 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= 221 runsolver used 0.112982 second user time and 0.336948 second system time The end
Begin job on node45 on Tue May 1 01:21:53 UTC 2007 IDJOB= 452827 IDBENCH= 47894 IDSOLVER= 199 FILE ID= node45/452827-1177982513 PBS_JOBID= 4727950 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=7-P0=89-P1=13-P2=37-P3=97-P4=101-P5=107-P6=37-P7=19-P8=47-P9=127-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452827-1177982513/instance-452827-1177982513.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-452827-1177982513 -o ROOT/results/node45/solver-452827-1177982513 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452827-1177982513/instance-452827-1177982513.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= b3aade8de77ac68c9aa967132edd1f5e RANDOM SEED= 219596079 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.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.218 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.218 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: 1806176 kB Buffers: 28932 kB Cached: 138140 kB SwapCached: 14284 kB Active: 66936 kB Inactive: 123248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1806176 kB SwapTotal: 4192956 kB SwapFree: 4157808 kB Dirty: 6608 kB Writeback: 0 kB Mapped: 30160 kB Slab: 45140 kB Committed_AS: 1466836 kB PageTables: 1736 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 node45 on Tue May 1 01:24:23 UTC 2007