Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 523.954 | 524.142 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=487-P1=163-P2=173-P3=211-B.opb |
MD5SUM | fb1c97600aa303ca13bb2482d5ad3e27 |
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.099984 |
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 | 81 |
Total number of constraints | 7 |
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 | 7 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 243 |
Sum of products size (including duplicates) | 486 |
Number of different products | 243 |
Sum of products size | 486 |
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/452880-1177990375/instance-452880-1177990375.opb 0.00/0.00 c File size is 4313 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 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: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271 0.00/0.00 c Obj. Vars: 9 (2.77778 % of total variables) 0.00/0.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 324 496 2070 4 1781 2762 0 0 0.01 0.00/0.00 c Switching off LPR mode. 37.67/37.75 c 101 324 597 9742 16 1968 3039 101 6733 0.01 37.67/37.75 c 252 324 748 22395 29 2207 3343 252 9333 0.03 37.67/37.75 c 478 324 974 39682 40 2660 3678 478 9755 0.05 37.67/37.75 c 817 324 1313 65905 50 3330 4046 817 9179 0.09 37.67/37.75 c 1325 324 1821 105759 58 4340 4451 1325 8717 0.15 37.67/37.75 c 2088 324 2584 163862 63 5868 4897 2088 6845 0.30 37.67/37.75 c 3234 324 3730 250399 67 8178 5387 3234 5518 0.59 37.67/37.75 c 4955 324 5451 379229 69 11560 5926 4955 4463 1.11 37.67/37.75 c 7539 324 4936 341500 69 10525 6519 4440 3858 1.95 37.67/37.75 c 11420 324 5488 383265 69 11637 7171 4992 3702 3.08 37.67/37.75 c 17242 324 7538 544416 72 15749 7889 7042 3230 5.34 37.67/37.75 c 25980 324 8199 584125 71 17054 8678 7703 2981 8.71 37.67/37.75 c 39090 324 8078 560507 69 16823 9546 7582 2695 14.50 37.67/37.75 c 58760 324 8334 590374 70 17256 10501 7838 2447 24.01 37.67/37.75 o 265 37.726 146.73/146.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 146.73/146.85 c 87046 324 9368 739143 78 19441 2780 8872 2307 37.73 146.73/146.85 c 87146 324 1987 126673 63 4747 3059 1491 2304 37.81 146.73/146.85 c 87396 324 2237 147114 65 5181 3365 1741 2310 37.83 146.73/146.85 c 87871 324 2712 186198 68 6172 3702 2216 2319 37.89 146.73/146.85 c 88685 324 3526 251169 71 7761 4073 3030 2330 38.05 146.73/146.85 c 90006 324 2731 177964 65 6176 4481 2235 2345 38.37 146.73/146.85 c 92087 324 4812 339626 70 10320 4930 4316 2369 38.87 146.73/146.85 c 95311 324 5289 396445 74 11306 5424 4793 2412 39.51 146.73/146.85 c 100248 324 4491 302978 67 9735 5967 3995 2462 40.70 146.73/146.85 c 107754 324 5872 413250 70 12433 6564 5376 2500 43.09 146.73/146.85 c 119115 324 3779 245792 65 8264 7221 3283 2508 47.49 146.73/146.85 c 136259 324 5524 429162 77 11732 7944 5028 2560 53.23 146.73/146.85 c 162079 324 6815 474814 69 14290 8739 6319 2605 62.21 146.73/146.85 c 200911 324 5103 379044 74 10907 9613 4607 2596 77.38 146.73/146.85 c 259264 324 9172 626009 68 19028 10575 8676 2492 104.04 146.73/146.85 o 35 146.795 349.16/349.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 349.16/349.37 c 342378 324 10729 847169 78 22136 2780 10233 2332 146.79 349.16/349.37 c 342480 324 1989 125470 63 4665 3059 1493 2331 146.91 349.16/349.37 c 342731 324 2240 146248 65 5161 3365 1744 2332 146.94 349.16/349.37 c 343207 324 2716 185013 68 6101 3702 2220 2334 147.01 349.16/349.37 c 344020 324 3529 249611 70 7740 4073 3033 2337 147.16 349.16/349.37 c 345340 324 2731 178290 65 6156 4481 2235 2341 147.49 349.16/349.37 c 347423 324 4814 339934 70 10319 4930 4318 2347 148.02 349.16/349.37 c 350646 324 2962 193794 65 6633 5424 2466 2353 148.96 349.16/349.37 c 355583 324 4916 373986 76 10577 5967 4420 2368 150.12 349.16/349.37 c 363090 324 6174 433004 70 13068 6564 5678 2386 152.17 349.16/349.37 c 374451 324 4077 277454 68 8813 7221 3581 2392 156.48 349.16/349.37 c 391595 314 6293 437841 69 13243 7944 5797 2407 162.63 349.16/349.37 c 417414 291 7298 589922 80 15303 8739 6802 2414 172.86 349.16/349.37 c 456246 291 5420 380239 70 11481 9613 4924 2388 190.99 349.16/349.37 c 514598 291 9224 738533 80 19174 10575 8728 2349 219.06 349.16/349.37 c 602230 291 9932 692207 69 20584 11633 9436 2288 263.14 349.16/349.37 c 733783 291 8878 689983 77 18483 12797 8382 2141 342.70 349.16/349.37 o 17 349.244 425.24/425.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 425.24/425.40 c 749950 291 11997 894501 74 24679 2774 11501 2147 349.24 425.24/425.40 c 750050 291 1987 127220 64 4661 3052 1491 2146 349.44 425.24/425.40 c 750300 291 2237 147399 65 5182 3358 1741 2146 349.47 425.24/425.40 c 750776 291 2713 184673 68 6141 3694 2217 2147 349.53 425.24/425.40 c 751589 291 3526 249146 70 7737 4064 3030 2149 349.68 425.24/425.40 c 752909 291 2694 174029 64 6074 4471 2198 2151 350.00 425.24/425.40 c 754990 291 4775 335416 70 10220 4919 4279 2152 350.73 425.24/425.40 c 758214 291 5430 384690 70 11542 5411 4934 2156 351.65 425.24/425.40 c 763151 291 4737 324833 68 10161 5953 4241 2161 353.08 425.24/425.40 c 770658 291 6064 417758 68 12827 6549 5568 2167 355.56 425.24/425.40 c 782020 291 6995 507335 72 14699 7204 6499 2176 359.36 425.24/425.40 c 799164 291 5391 372068 69 11433 7925 4895 2187 365.26 425.24/425.40 c 824983 291 6806 473185 69 14283 8718 6310 2192 376.26 425.24/425.40 c 863816 291 5493 373786 68 11699 9590 4997 2203 392.04 425.24/425.40 c 922168 279 9571 662617 69 19810 10550 9075 2188 421.38 425.24/425.40 o 9 425.249 425.54/425.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 425.54/425.72 c 931529 279 7863 626356 79 16431 2772 7367 2190 425.25 425.54/425.72 c 931630 268 1990 123761 62 4699 3050 1494 2190 425.35 425.54/425.72 c 931881 268 2241 145326 64 5208 3356 1745 2190 425.40 425.54/425.72 c 932356 268 2716 188084 69 6153 3692 2220 2191 425.48 425.54/425.72 o 3 425.57 523.90/524.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 523.90/524.13 c 932916 268 3277 225706 68 7308 2770 2781 2192 425.57 523.90/524.13 c 933016 258 1888 111322 58 4481 3048 1392 2192 425.60 523.90/524.13 c 933266 258 2138 134417 62 5035 3353 1642 2192 425.63 523.90/524.13 c 933741 258 2613 175923 67 5970 3689 2117 2193 425.74 523.90/524.13 c 934555 258 3427 244154 71 7575 4058 2931 2193 426.00 523.90/524.13 c 935875 258 2574 174194 67 5876 4464 2078 2194 426.51 523.90/524.13 c 937956 234 4655 347992 74 10037 4911 4159 2196 427.07 523.90/524.13 c 941179 234 5272 399319 75 11270 5403 4776 2197 428.33 523.90/524.13 c 946115 234 4465 330961 74 9668 5944 3969 2199 430.21 523.90/524.13 c 953622 234 5690 425018 74 12127 6539 5194 2202 432.98 523.90/524.13 c 964984 234 6735 509332 75 14202 7193 6239 2202 438.19 523.90/524.13 c 982128 234 5126 372808 72 10987 7913 4630 2203 445.75 523.90/524.13 c 1007948 234 6261 463341 74 13248 8705 5765 2204 457.15 523.90/524.13 c 1046781 234 8993 675375 75 18726 9576 8497 2192 477.46 523.90/524.13 c 1105133 231 7948 585191 73 16592 10534 7452 2176 507.78 523.90/524.13 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 523.90/524.13 v -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x46 -x47 -x48 523.90/524.13 v -x49 -x50 x51 -x52 -x53 -x54 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 523.90/524.13 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 523.90/524.13 c 80 1128348 2805 1140050 9499 653840 9003 2153 523.95 523.90/524.13 c Objective: 3 523.90/524.13 s OPTIMUM FOUND 523.90/524.13 c Total time: 523.947 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node3/watcher-452880-1177990375 -o ROOT/results/node3/solver-452880-1177990375 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452880-1177990375/instance-452880-1177990375.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.93 1.00 0.99 3/77 16776 /proc/meminfo: memFree=1854176/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=3932 CPUtime=0 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 275075284 4026368 346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 983 346 289 324 0 51 0 [startup+0.0796349 s] /proc/loadavg: 0.93 1.00 0.99 3/77 16776 /proc/meminfo: memFree=1854176/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=4828 CPUtime=0.07 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 627 0 0 0 7 0 0 0 18 0 1 0 275075284 4943872 595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 1207 595 310 324 0 277 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4828 [startup+0.101638 s] /proc/loadavg: 0.93 1.00 0.99 3/77 16776 /proc/meminfo: memFree=1854176/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=5084 CPUtime=0.09 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 675 0 0 0 9 0 0 0 18 0 1 0 275075284 5206016 643 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 1271 643 310 324 0 341 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5084 [startup+0.301671 s] /proc/loadavg: 0.93 1.00 0.99 3/77 16776 /proc/meminfo: memFree=1854176/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=6376 CPUtime=0.29 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 989 0 0 0 29 0 0 0 19 0 1 0 275075284 6529024 957 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 1594 957 310 324 0 664 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6376 [startup+0.701734 s] /proc/loadavg: 0.93 1.00 0.99 3/77 16776 /proc/meminfo: memFree=1854176/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=7940 CPUtime=0.69 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 1394 0 0 0 69 0 0 0 23 0 1 0 275075284 8130560 1362 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11366186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 1985 1362 310 324 0 1055 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7940 [startup+1.50186 s] /proc/loadavg: 0.93 1.00 0.99 2/78 16777 /proc/meminfo: memFree=1848984/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=10668 CPUtime=1.49 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 2075 0 0 0 148 1 0 0 25 0 1 0 275075284 10924032 2043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 2667 2043 310 324 0 1737 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10668 [startup+3.10113 s] /proc/loadavg: 0.93 1.00 0.99 2/78 16777 /proc/meminfo: memFree=1846936/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=11184 CPUtime=3.09 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 2220 0 0 0 308 1 0 0 25 0 1 0 275075284 11452416 2188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 2796 2188 310 324 0 1866 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11184 [startup+6.30164 s] /proc/loadavg: 0.93 1.00 0.99 2/78 16778 /proc/meminfo: memFree=1845336/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=12868 CPUtime=6.29 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 2620 0 0 0 628 1 0 0 25 0 1 0 275075284 13176832 2588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 3217 2588 310 324 0 2287 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12868 [startup+12.7027 s] /proc/loadavg: 0.94 1.00 0.99 2/78 16778 /proc/meminfo: memFree=1843992/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=13516 CPUtime=12.69 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 2794 0 0 0 1267 2 0 0 25 0 1 0 275075284 13840384 2762 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 3379 2762 310 324 0 2449 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13516 [startup+25.5018 s] /proc/loadavg: 0.95 1.00 0.99 2/78 16778 /proc/meminfo: memFree=1842584/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=15416 CPUtime=25.48 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 3260 0 0 0 2546 2 0 0 25 0 1 0 275075284 15785984 3228 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 3854 3228 310 324 0 2924 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15416 [startup+51.1019 s] /proc/loadavg: 0.97 1.00 0.99 2/78 16778 /proc/meminfo: memFree=1840664/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=16972 CPUtime=51.07 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 3656 0 0 0 5104 3 0 0 25 0 1 0 275075284 17379328 3624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 4243 3624 311 324 0 3313 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16972 [startup+102.305 s] /proc/loadavg: 0.98 1.00 0.99 2/78 16778 /proc/meminfo: memFree=1840600/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=16972 CPUtime=102.25 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 3656 0 0 0 10222 3 0 0 25 0 1 0 275075284 17379328 3624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 4243 3624 311 324 0 3313 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 16972 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16778 /proc/meminfo: memFree=1840536/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=16972 CPUtime=162.23 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 3657 0 0 0 16219 4 0 0 25 0 1 0 275075284 17379328 3625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 4243 3625 311 324 0 3313 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 16972 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16778 /proc/meminfo: memFree=1840472/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=16972 CPUtime=222.21 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 3657 0 0 0 22217 4 0 0 25 0 1 0 275075284 17379328 3625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 4243 3625 311 324 0 3313 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 16972 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16778 /proc/meminfo: memFree=1839064/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=18392 CPUtime=282.19 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 4009 0 0 0 28214 5 0 0 25 0 1 0 275075284 18833408 3977 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551042 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 4598 3977 311 324 0 3668 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 18392 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16778 /proc/meminfo: memFree=1839000/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=18392 CPUtime=342.16 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 4009 0 0 0 34211 5 0 0 25 0 1 0 275075284 18833408 3977 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134519592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 4598 3977 311 324 0 3668 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 18392 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16778 /proc/meminfo: memFree=1838680/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=18444 CPUtime=402.15 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 4100 0 0 0 40209 6 0 0 25 0 1 0 275075284 18886656 4004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 4611 4004 311 324 0 3681 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 18444 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16778 /proc/meminfo: memFree=1838680/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=18444 CPUtime=462.12 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 4100 0 0 0 46206 6 0 0 25 0 1 0 275075284 18886656 4004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 4611 4004 311 324 0 3681 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 18444 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16778 /proc/meminfo: memFree=1838680/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=18444 CPUtime=522.1 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 4100 0 0 0 52204 6 0 0 25 0 1 0 275075284 18886656 4004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 4611 4004 311 324 0 3681 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 18444 Solver just ended. Dumping a history of the last processes samples [startup+523.101 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16778 /proc/meminfo: memFree=1838680/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=18444 CPUtime=522.9 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 4100 0 0 0 52284 6 0 0 25 0 1 0 275075284 18886656 4004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 4611 4004 311 324 0 3681 0 Current children cumulated CPU time (s) 522.9 Current children cumulated vsize (KiB) 18444 [startup+523.902 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16778 /proc/meminfo: memFree=1838680/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=18444 CPUtime=523.7 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 4100 0 0 0 52364 6 0 0 25 0 1 0 275075284 18886656 4004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 4611 4004 311 324 0 3681 0 Current children cumulated CPU time (s) 523.7 Current children cumulated vsize (KiB) 18444 [startup+524.102 s] /proc/loadavg: 0.99 1.00 0.99 2/78 16778 /proc/meminfo: memFree=1838680/2055920 swapFree=4139036/4192956 [pid=16776] ppid=16774 vsize=18444 CPUtime=523.9 /proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 4100 0 0 0 52384 6 0 0 25 0 1 0 275075284 18886656 4004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16776/statm: 4611 4004 311 324 0 3681 0 Current children cumulated CPU time (s) 523.9 Current children cumulated vsize (KiB) 18444 Child status: 0 Real time (s): 524.142 CPU time (s): 523.954 CPU user time (s): 523.881 CPU system time (s): 0.072988 CPU usage (%): 99.9642 Max. virtual memory (cumulated for all children) (KiB): 18780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 523.881 system time used= 0.072988 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4104 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= 10603 runsolver used 0.420936 second user time and 1.09383 second system time The end
Begin job on node3 on Tue May 1 03:32:55 UTC 2007 IDJOB= 452880 IDBENCH= 47947 IDSOLVER= 199 FILE ID= node3/452880-1177990375 PBS_JOBID= 4728192 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=9-P0=487-P1=163-P2=173-P3=211-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452880-1177990375/instance-452880-1177990375.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-452880-1177990375 -o ROOT/results/node3/solver-452880-1177990375 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452880-1177990375/instance-452880-1177990375.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= fb1c97600aa303ca13bb2482d5ad3e27 RANDOM SEED= 768304303 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.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.270 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.270 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: 1854584 kB Buffers: 23916 kB Cached: 95616 kB SwapCached: 16672 kB Active: 79532 kB Inactive: 66708 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854584 kB SwapTotal: 4192956 kB SwapFree: 4139036 kB Dirty: 6692 kB Writeback: 0 kB Mapped: 33472 kB Slab: 40600 kB Committed_AS: 7234712 kB PageTables: 1792 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 node3 on Tue May 1 03:41:40 UTC 2007