Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 612.118 | 612.379 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=499-P1=293-P2=223-P3=277-B.opb |
MD5SUM | ffde7c44e1ce67f9a67e822c2db106af |
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 | 2.52461 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Clause Learning 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 HOME/instance-1878063-1245188689.opb 0.00/0.00 c File size is 17961 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 lower bounding mode. 0.89/0.90 c 102 324 598 8737 14 1949 3039 102 6375 0.02 0.89/0.90 c 255 324 751 24825 33 2235 3343 255 6710 0.04 0.89/0.90 c 480 324 976 42700 43 2716 3678 480 6857 0.07 0.89/0.90 c 819 324 1315 70776 53 3361 4046 819 7184 0.11 0.89/0.90 c 1327 324 1823 118677 65 4329 4451 1327 6410 0.21 0.89/0.90 c 2091 324 2587 196922 76 5861 4897 2091 5906 0.35 0.89/0.90 c 3238 324 3734 292136 78 8235 5387 3238 5432 0.60 0.89/0.90 o 171 5.19/5.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.25 c 4520 324 5017 401874 80 10764 2780 4521 5016 0.90 5.19/5.25 c 4620 313 1987 126484 63 4738 3059 1491 4973 0.93 5.19/5.25 c 4872 313 2239 146319 65 5251 3365 1743 4986 0.98 5.19/5.25 c 5347 313 2714 185777 68 6182 3702 2218 5087 1.05 5.19/5.25 c 6161 313 3528 253817 71 7812 4073 3032 5134 1.20 5.19/5.25 c 7481 313 2560 166770 65 5867 4481 2064 4832 1.55 5.19/5.25 c 9562 313 4641 346956 74 10013 4930 4145 4653 2.06 5.19/5.25 c 12785 313 5242 383286 73 11198 5424 4746 4589 2.79 5.19/5.25 c 17722 313 4586 300397 65 9904 5967 4090 3649 4.86 5.19/5.25 o 57 8.69/8.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.69/8.71 c 19558 313 6423 441414 68 13587 2778 5927 3724 5.25 8.69/8.71 c 19658 302 1987 117899 59 4761 3056 1491 3713 5.29 8.69/8.71 c 19908 302 2237 137572 61 5204 3362 1741 3737 5.33 8.69/8.71 c 20384 302 2713 175198 64 6140 3699 2217 3772 5.40 8.69/8.71 c 21197 302 3526 238224 67 7762 4069 3030 3820 5.55 8.69/8.71 c 22517 302 2566 164094 63 5869 4476 2070 3844 5.86 8.69/8.71 c 24598 302 4647 319061 68 10028 4924 4151 3860 6.37 8.69/8.71 c 27822 291 5221 356424 68 11138 5417 4725 3806 7.31 8.69/8.71 o 37 15.59/15.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.59/15.62 c 32177 291 3943 257473 65 8615 2774 3447 3692 8.71 15.59/15.62 c 32277 291 1987 109171 54 4694 3052 1491 3693 8.74 15.59/15.62 c 32528 291 2238 127142 56 5189 3358 1742 3701 8.79 15.59/15.62 c 33003 291 2713 162500 59 6137 3694 2217 3715 8.88 15.59/15.62 c 33816 291 3526 222464 63 7767 4064 3030 3726 9.07 15.59/15.62 c 35137 291 2705 160017 59 6119 4471 2209 3713 9.46 15.59/15.62 c 37218 291 4786 326140 68 10312 4919 4290 3760 9.90 15.59/15.62 c 40443 291 5375 384242 71 11456 5411 4879 3759 10.76 15.59/15.62 c 45380 291 4686 324039 69 10074 5953 4190 3660 12.40 15.59/15.62 c 52888 291 6020 416098 69 12760 6549 5524 3514 15.05 15.59/15.62 o 25 21.39/21.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.39/21.40 c 54442 291 4001 254480 63 8780 2774 3505 3484 15.62 21.39/21.40 c 54542 280 1987 104335 52 4757 3052 1491 3485 15.65 21.39/21.40 c 54792 280 2237 123220 55 5241 3358 1741 3492 15.69 21.39/21.40 c 55267 280 2712 157783 58 6186 3694 2216 3504 15.77 21.39/21.40 c 56081 280 3526 217816 61 7823 4064 3030 3510 15.97 21.39/21.40 c 57402 280 2597 171605 66 5942 4471 2101 3534 16.24 21.39/21.40 c 59484 280 4679 329834 70 10085 4919 4183 3567 16.67 21.39/21.40 c 62707 280 5312 364387 68 11348 5411 4816 3528 17.77 21.39/21.40 c 67643 280 4597 297164 64 9920 5953 4101 3451 19.60 21.39/21.40 o 17 23.78/23.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.78/23.85 c 73377 280 3912 279557 71 8576 2772 3416 3429 21.40 23.78/23.85 c 73477 280 1987 112262 56 4731 3050 1491 3430 21.42 23.78/23.85 c 73730 280 2240 130983 58 5241 3356 1744 3436 21.45 23.78/23.85 c 74205 280 2715 174486 64 6193 3692 2219 3447 21.53 23.78/23.85 c 75020 280 3530 239579 67 7769 4062 3034 3463 21.66 23.78/23.85 c 76341 280 2677 175566 65 6059 4469 2181 3480 21.93 23.78/23.85 c 78423 280 4759 337756 70 10239 4916 4263 3456 22.69 23.78/23.85 c 81646 280 5395 384258 71 11480 5408 4899 3435 23.77 23.78/23.85 o 3 612.03/612.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 612.03/612.37 c 81994 280 5744 413415 71 12219 2772 5248 3439 23.84 612.03/612.37 c 82095 280 1988 120505 60 4747 3050 1492 3437 23.89 612.03/612.37 c 82345 269 2238 139647 62 5250 3356 1742 3441 23.93 612.03/612.37 c 82820 269 2713 180027 66 6170 3692 2217 3451 24.00 612.03/612.37 c 83634 269 3527 250170 70 7817 4062 3031 3461 24.16 612.03/612.37 c 84954 269 2634 172296 65 6047 4469 2138 3471 24.47 612.03/612.37 c 87035 269 4715 324567 68 10193 4916 4219 3470 25.08 612.03/612.37 c 90259 269 5352 363065 67 11467 5408 4856 3443 26.21 612.03/612.37 c 95197 269 4637 312140 67 10006 5949 4141 3397 28.02 612.03/612.37 c 102704 235 5783 436674 75 12255 6544 5287 3388 30.31 612.03/612.37 c 114065 235 6629 473958 71 13927 7199 6133 3395 33.60 612.03/612.37 c 131210 235 4995 329844 66 10684 7919 4499 3200 41.00 612.03/612.37 c 157029 235 5387 396729 73 11528 8711 4891 2890 54.32 612.03/612.37 c 195861 235 7852 538497 68 16461 9583 7356 2600 75.32 612.03/612.37 c 254216 235 5861 449907 76 12451 10542 5365 2398 105.98 612.03/612.37 c 341849 234 5956 425155 71 12647 11597 5460 2165 157.83 612.03/612.37 c 473402 234 11164 826714 74 23078 12757 10668 1893 250.07 612.03/612.37 c 670834 234 9614 744674 77 19981 14033 9118 1713 391.45 612.03/612.37 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 x32 -x33 -x34 -x35 x36 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 612.03/612.37 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 612.03/612.37 c 69 925192 9158 950783 11992 725480 11496 1511 612.11 612.03/612.37 c Objective: 3 612.03/612.37 s OPTIMUM FOUND 612.03/612.37 c Total time: 612.114 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878063-1245188689/watcher-1878063-1245188689 -o /tmp/evaluation-result-1878063-1245188689/solver-1878063-1245188689 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878063-1245188689.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.01 1.00 3/64 4540 /proc/meminfo: memFree=1896856/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=10712 CPUtime=0 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 186469068 10969088 261 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 2678 261 189 640 0 2034 0 [startup+0.0676949 s] /proc/loadavg: 1.00 1.01 1.00 3/64 4540 /proc/meminfo: memFree=1896856/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=11348 CPUtime=0.06 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 425 0 0 0 6 0 0 0 18 0 1 0 186469068 11620352 404 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 2837 404 196 640 0 2193 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11348 [startup+0.101698 s] /proc/loadavg: 1.00 1.01 1.00 3/64 4540 /proc/meminfo: memFree=1896856/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=11608 CPUtime=0.09 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 501 0 0 0 9 0 0 0 18 0 1 0 186469068 11886592 480 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 2902 480 196 640 0 2258 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11608 [startup+0.301717 s] /proc/loadavg: 1.00 1.01 1.00 3/64 4540 /proc/meminfo: memFree=1896856/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=13136 CPUtime=0.29 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 883 0 0 0 29 0 0 0 19 0 1 0 186469068 13451264 862 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 3284 862 196 640 0 2640 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13136 [startup+0.701754 s] /proc/loadavg: 1.00 1.01 1.00 3/64 4540 /proc/meminfo: memFree=1896856/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=15172 CPUtime=0.7 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 1408 0 0 0 69 1 0 0 23 0 1 0 186469068 15536128 1387 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 3793 1387 196 640 0 3149 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 15172 [startup+1.50183 s] /proc/loadavg: 1.00 1.01 1.00 2/65 4541 /proc/meminfo: memFree=1890896/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=16428 CPUtime=1.49 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 1699 0 0 0 148 1 0 0 25 0 1 0 186469068 16822272 1678 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 4107 1678 197 640 0 3463 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16428 [startup+3.10198 s] /proc/loadavg: 1.00 1.01 1.00 2/65 4541 /proc/meminfo: memFree=1890768/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=16940 CPUtime=3.1 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 1854 0 0 0 308 2 0 0 25 0 1 0 186469068 17346560 1833 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 4235 1833 197 640 0 3591 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 16940 [startup+6.30129 s] /proc/loadavg: 1.00 1.01 1.00 2/65 4541 /proc/meminfo: memFree=1889936/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=17072 CPUtime=6.28 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 1875 0 0 0 626 2 0 0 25 0 1 0 186469068 17481728 1854 1992294400 134512640 137136520 4294956256 18446744073709551615 134543898 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 4268 1854 197 640 0 3624 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17072 [startup+12.7019 s] /proc/loadavg: 1.00 1.01 1.00 2/65 4541 /proc/meminfo: memFree=1889808/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=17072 CPUtime=12.69 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 1875 0 0 0 1265 4 0 0 25 0 1 0 186469068 17481728 1854 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 4268 1854 197 640 0 3624 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17072 [startup+25.5011 s] /proc/loadavg: 1.00 1.01 1.00 2/65 4541 /proc/meminfo: memFree=1888976/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=18084 CPUtime=25.49 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 2126 0 0 0 2540 9 0 0 25 0 1 0 186469068 18518016 2105 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 4521 2105 197 640 0 3877 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18084 [startup+51.1016 s] /proc/loadavg: 1.00 1.01 1.00 2/65 4541 /proc/meminfo: memFree=1886416/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=20672 CPUtime=51.07 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 2779 0 0 0 5092 15 0 0 25 0 1 0 186469068 21168128 2758 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 5168 2758 197 640 0 4524 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20672 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4541 /proc/meminfo: memFree=1884496/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=22620 CPUtime=102.25 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 3254 0 0 0 10200 25 0 0 25 0 1 0 186469068 23162880 3233 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 5655 3233 197 640 0 5011 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 22620 [startup+162.301 s] /proc/loadavg: 1.08 1.02 1.01 2/65 4541 /proc/meminfo: memFree=1883280/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=23944 CPUtime=162.23 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 3585 0 0 0 16188 35 0 0 25 0 1 0 186469068 24518656 3564 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 5986 3564 197 640 0 5342 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 23944 [startup+222.301 s] /proc/loadavg: 1.03 1.01 1.00 2/65 4541 /proc/meminfo: memFree=1881936/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=24980 CPUtime=222.2 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 3861 0 0 0 22176 44 0 0 25 0 1 0 186469068 25579520 3840 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 6245 3840 197 640 0 5601 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 24980 [startup+282.302 s] /proc/loadavg: 1.01 1.00 1.00 2/65 4541 /proc/meminfo: memFree=1880976/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=26068 CPUtime=282.18 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 4119 0 0 0 28161 57 0 0 25 0 1 0 186469068 26693632 4098 1992294400 134512640 137136520 4294956256 18446744073709551615 134571594 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 6517 4098 197 640 0 5873 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 26068 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4541 /proc/meminfo: memFree=1880976/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=26064 CPUtime=342.16 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 4119 0 0 0 34149 67 0 0 25 0 1 0 186469068 26689536 4098 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 6516 4098 197 640 0 5872 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 26064 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4541 /proc/meminfo: memFree=1880016/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=27024 CPUtime=402.11 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 4359 0 0 0 40135 76 0 0 25 0 1 0 186469068 27672576 4338 1992294400 134512640 137136520 4294956256 18446744073709551615 134543813 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 6756 4338 197 640 0 6112 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 27024 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4543 /proc/meminfo: memFree=1879312/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=27552 CPUtime=462.08 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 4499 0 0 0 46123 85 0 0 25 0 1 0 186469068 28213248 4478 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 6888 4478 197 640 0 6244 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 27552 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4543 /proc/meminfo: memFree=1879312/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=27548 CPUtime=522.06 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 4499 0 0 0 52113 93 0 0 25 0 1 0 186469068 28209152 4478 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 6887 4478 197 640 0 6243 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 27548 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4543 /proc/meminfo: memFree=1879056/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=27872 CPUtime=582.04 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 4570 0 0 0 58099 105 0 0 25 0 1 0 186469068 28540928 4549 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 6968 4549 197 640 0 6324 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 27872 Solver just ended. Dumping a history of the last processes samples [startup+588.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4543 /proc/meminfo: memFree=1879056/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=27872 CPUtime=588.44 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 4570 0 0 0 58738 106 0 0 25 0 1 0 186469068 28540928 4549 1992294400 134512640 137136520 4294956256 18446744073709551615 134574384 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 6968 4549 197 640 0 6324 0 Current children cumulated CPU time (s) 588.44 Current children cumulated vsize (KiB) 27872 [startup+601.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4543 /proc/meminfo: memFree=1879056/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=27864 CPUtime=601.24 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 4570 0 0 0 60016 108 0 0 25 0 1 0 186469068 28532736 4549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 6966 4549 197 640 0 6322 0 Current children cumulated CPU time (s) 601.24 Current children cumulated vsize (KiB) 27864 [startup+607.901 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4543 /proc/meminfo: memFree=1879056/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=27864 CPUtime=607.63 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 4570 0 0 0 60655 108 0 0 25 0 1 0 186469068 28532736 4549 1992294400 134512640 137136520 4294956256 18446744073709551615 136502052 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 6966 4549 197 640 0 6322 0 Current children cumulated CPU time (s) 607.63 Current children cumulated vsize (KiB) 27864 [startup+609.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4543 /proc/meminfo: memFree=1879056/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=27724 CPUtime=609.24 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 4570 0 0 0 60815 109 0 0 25 0 1 0 186469068 28389376 4530 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 6931 4530 197 640 0 6287 0 Current children cumulated CPU time (s) 609.24 Current children cumulated vsize (KiB) 27724 [startup+611.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4543 /proc/meminfo: memFree=1879056/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=27724 CPUtime=610.84 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 4570 0 0 0 60975 109 0 0 25 0 1 0 186469068 28389376 4530 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 6931 4530 197 640 0 6287 0 Current children cumulated CPU time (s) 610.84 Current children cumulated vsize (KiB) 27724 [startup+611.901 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4543 /proc/meminfo: memFree=1879056/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=27724 CPUtime=611.63 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 4570 0 0 0 61054 109 0 0 25 0 1 0 186469068 28389376 4530 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 6931 4530 197 640 0 6287 0 Current children cumulated CPU time (s) 611.63 Current children cumulated vsize (KiB) 27724 [startup+612.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4543 /proc/meminfo: memFree=1879056/2055920 swapFree=4181652/4192956 [pid=4540] ppid=4538 vsize=27724 CPUtime=612.03 /proc/4540/stat : 4540 (bsolo) R 4538 4540 3959 0 -1 4194304 4570 0 0 0 61094 109 0 0 25 0 1 0 186469068 28389376 4530 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4540/statm: 6931 4530 197 640 0 6287 0 Current children cumulated CPU time (s) 612.03 Current children cumulated vsize (KiB) 27724 Child status: 0 Real time (s): 612.379 CPU time (s): 612.118 CPU user time (s): 611.022 CPU system time (s): 1.09583 CPU usage (%): 99.9575 Max. virtual memory (cumulated for all children) (KiB): 27872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 611.022 system time used= 1.09583 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4572 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= 2 involuntary context switches= 2413 runsolver used 0.641902 second user time and 1.59176 second system time The end
Begin job on node18 at 2009-06-16 23:44:49 IDJOB=1878063 IDBENCH=48043 IDSOLVER=700 FILE ID=node18/1878063-1245188689 PBS_JOBID= 9363939 Free space on /tmp= 66172 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=499-P1=293-P2=223-P3=277-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878063-1245188689/watcher-1878063-1245188689 -o /tmp/evaluation-result-1878063-1245188689/solver-1878063-1245188689 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878063-1245188689.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ffde7c44e1ce67f9a67e822c2db106af RANDOM SEED=1900937102 node18.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.236 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.236 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: 1897336 kB Buffers: 44504 kB Cached: 69772 kB SwapCached: 5540 kB Active: 59884 kB Inactive: 62284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1897336 kB SwapTotal: 4192956 kB SwapFree: 4181652 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 12940 kB Slab: 22464 kB Committed_AS: 154880 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878063-1245188689.opb Free space on /tmp at the end= 66168 MiB End job on node18 at 2009-06-16 23:55:01