Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 3 | 653.052 | 653.153 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=5-P1=113-P2=107-P3=11-P4=43-P5=101-B.opb |
MD5SUM | 8a0125b71bb37b2e2e8bfc178a3ff25d |
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 | 4.00539 |
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 | 105 |
Total number of constraints | 11 |
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 | 11 |
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) | 245 |
Sum of products size (including duplicates) | 490 |
Number of different products | 245 |
Sum of products size | 490 |
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: Generic Pseudo-Boolean 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-1879541-1245245287.opb 0.00/0.00 c File size is 18218 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.002 s 0.00/0.00 c Var: 350 Constr: 506 245/0/261 Lit: 2128 Watch. Lit: 1317 0.00/0.00 c Obj. Vars: 7 (2 % 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 350 506 2128 4 1825 2867 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 3.79/3.82 c 100 350 676 10458 15 3674 3154 170 4166 0.02 3.79/3.82 c 251 350 898 21887 24 5737 3470 392 3637 0.07 3.79/3.82 c 476 350 1277 42508 33 7801 3818 771 3689 0.13 3.79/3.82 c 815 350 1898 80541 42 10910 4200 1392 3171 0.26 3.79/3.82 c 1323 350 2679 122073 45 14215 4621 2173 2589 0.51 3.79/3.82 c 2086 350 4047 199003 49 24074 5084 3541 2264 0.92 3.79/3.82 c 3233 350 3443 186838 54 20922 5593 2937 1255 2.58 3.79/3.82 o 19 13.09/13.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.09/13.13 c 4889 350 3339 158976 47 22872 2881 2833 1277 3.83 13.09/13.13 c 4990 332 1948 78149 40 11190 3170 1442 1273 3.92 13.09/13.13 c 5241 332 2409 105501 43 17157 3488 1903 1302 4.02 13.09/13.13 c 5716 332 3320 159090 47 24891 3837 2814 1278 4.47 13.09/13.13 c 6529 332 2571 137090 53 12695 4221 2065 1269 5.14 13.09/13.13 c 7850 332 2827 113793 40 19989 4644 2321 1186 6.62 13.09/13.13 c 9932 332 4293 226862 52 35135 5109 3787 1063 9.34 13.09/13.13 o 11 16.69/16.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.69/16.73 c 13007 332 4180 198812 47 27224 2877 3674 990 13.13 16.69/16.73 c 13108 323 2107 86038 40 15426 3165 1601 991 13.22 16.69/16.73 c 13360 323 2580 116052 44 20528 3482 2074 1002 13.33 16.69/16.73 c 13835 323 3466 164725 47 26424 3831 2960 1022 13.52 16.69/16.73 c 14650 323 2938 126163 42 16703 4215 2432 1028 14.24 16.69/16.73 c 15970 323 3130 125824 40 21537 4637 2624 962 16.59 16.69/16.73 o 9 54.18/54.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 54.18/54.22 c 16254 323 3646 152028 41 27257 2875 3140 971 16.73 54.18/54.22 c 16354 323 2143 81763 38 14275 3163 1637 972 16.81 54.18/54.22 c 16604 323 2615 106564 40 22424 3480 2109 980 16.93 54.18/54.22 c 17079 323 3502 159653 45 30508 3829 2996 989 17.26 54.18/54.22 c 17892 323 2932 139822 47 18749 4212 2426 983 18.19 54.18/54.22 c 19213 323 3237 157978 48 30733 4634 2731 975 19.69 54.18/54.22 c 21294 323 4724 237002 50 50204 5098 4218 953 22.34 54.18/54.22 c 24517 323 4958 247708 49 41371 5608 4452 822 29.82 54.18/54.22 c 29453 323 5091 243810 47 40811 6169 4585 698 42.14 54.18/54.22 o 5 55.48/55.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 55.48/55.54 c 34513 323 4630 222563 48 45409 2875 4124 636 54.22 55.48/55.54 c 34614 323 2142 87574 40 20154 3163 1636 636 54.39 55.48/55.54 c 34866 314 2615 112862 43 26669 3480 2109 639 54.54 55.48/55.54 c 35343 314 3477 159874 45 32710 3829 2971 642 54.98 55.48/55.54 o 3 652.99/653.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 652.99/653.15 c 35947 314 2426 105769 43 20123 2873 1920 646 55.58 652.99/653.15 c 36047 295 2625 117508 44 22253 3161 2119 647 55.71 652.99/653.15 c 36298 295 3088 142972 46 24405 3478 2582 649 55.91 652.99/653.15 c 36774 295 3963 189070 47 34825 3826 3457 653 56.31 652.99/653.15 c 37587 295 3197 145461 45 26328 4209 2691 657 57.19 652.99/653.15 c 38907 295 3179 150456 47 22942 4630 2673 659 58.97 652.99/653.15 c 40989 295 4565 204127 44 34073 5094 4059 657 62.35 652.99/653.15 c 44213 295 5112 254564 49 41354 5604 4606 636 69.44 652.99/653.15 c 49149 295 5343 266606 49 44719 6165 4837 589 83.33 652.99/653.15 c 56657 294 6249 307961 49 53583 6782 5743 571 99.22 652.99/653.15 c 68020 294 6394 319727 50 35421 7461 5888 454 149.68 652.99/653.15 c 85165 294 5850 284218 48 50979 8208 5344 390 218.24 652.99/653.15 c 110984 294 7076 355245 50 58659 9029 6570 307 361.06 652.99/653.15 c 149816 292 8466 417218 49 70927 9932 7960 264 566.16 652.99/653.15 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 x37 -x38 -x39 -x40 -x41 -x42 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 x43 -x44 -x45 -x46 -x47 -x48 -x49 x71 -x72 -x73 -x74 -x75 -x76 -x77 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -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 x50 -x51 -x52 -x53 x54 -x55 -x56 -x78 -x79 -x80 -x81 -x82 -x83 -x84 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 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x57 x58 -x59 -x60 x61 -x62 x63 -x85 -x86 x87 -x88 -x89 -x90 -x91 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 x64 -x65 -x66 x67 x68 x69 x70 x92 -x93 -x94 -x95 -x96 -x97 -x98 x302 -x303 -x304 x305 x306 x307 x308 x309 -x310 -x311 x312 x313 x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x99 x100 -x101 -x102 -x103 -x104 -x105 652.99/653.15 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 652.99/653.15 c 47 157425 2457 168965 7229 338904 6723 241 653.05 652.99/653.15 c Objective: 3 652.99/653.15 s OPTIMUM FOUND 652.99/653.15 c Total time: 653.048 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-1879541-1245245287/watcher-1879541-1245245287 -o /tmp/evaluation-result-1879541-1245245287/solver-1879541-1245245287 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879541-1245245287.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: 0.32 0.11 0.04 3/64 2578 /proc/meminfo: memFree=1962512/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=10712 CPUtime=0 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 281 0 0 0 0 0 0 0 18 0 1 0 8112 10969088 260 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 2678 261 188 640 0 2034 0 [startup+0.0208229 s] /proc/loadavg: 0.32 0.11 0.04 3/64 2578 /proc/meminfo: memFree=1962512/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=10844 CPUtime=0.01 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 327 0 0 0 1 0 0 0 18 0 1 0 8112 11104256 306 1992294400 134512640 137136520 4294956256 18446744073709551615 134544879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 2711 306 197 640 0 2067 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10844 [startup+0.101821 s] /proc/loadavg: 0.32 0.11 0.04 3/64 2578 /proc/meminfo: memFree=1962512/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=11364 CPUtime=0.09 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 438 0 0 0 9 0 0 0 18 0 1 0 8112 11636736 417 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 2841 417 198 640 0 2197 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11364 [startup+0.301812 s] /proc/loadavg: 0.32 0.11 0.04 3/64 2578 /proc/meminfo: memFree=1962512/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=12276 CPUtime=0.29 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 672 0 0 0 29 0 0 0 19 0 1 0 8112 12570624 651 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 3069 651 198 640 0 2425 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12276 [startup+0.701798 s] /proc/loadavg: 0.32 0.11 0.04 3/64 2578 /proc/meminfo: memFree=1962512/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=13180 CPUtime=0.69 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 908 0 0 0 69 0 0 0 22 0 1 0 8112 13496320 887 1992294400 134512640 137136520 4294956256 18446744073709551615 136502191 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 3295 887 198 640 0 2651 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13180 [startup+1.50177 s] /proc/loadavg: 0.32 0.11 0.04 2/65 2579 /proc/meminfo: memFree=1958664/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=15124 CPUtime=1.49 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 1402 0 0 0 149 0 0 0 25 0 1 0 8112 15486976 1381 1992294400 134512640 137136520 4294956256 18446744073709551615 136502115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 3781 1381 198 640 0 3137 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15124 [startup+3.10171 s] /proc/loadavg: 0.32 0.11 0.04 2/65 2579 /proc/meminfo: memFree=1956872/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=16028 CPUtime=3.09 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 1627 0 0 0 309 0 0 0 25 0 1 0 8112 16412672 1606 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 4007 1606 198 640 0 3363 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16028 [startup+6.3016 s] /proc/loadavg: 0.38 0.13 0.04 2/65 2579 /proc/meminfo: memFree=1955720/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=16940 CPUtime=6.29 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 1837 0 0 0 628 1 0 0 25 0 1 0 8112 17346560 1816 1992294400 134512640 137136520 4294956256 18446744073709551615 136518894 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 4235 1816 198 640 0 3591 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16940 [startup+12.7014 s] /proc/loadavg: 0.43 0.14 0.05 2/65 2579 /proc/meminfo: memFree=1955720/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=16940 CPUtime=12.69 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 1837 0 0 0 1266 3 0 0 25 0 1 0 8112 17346560 1816 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 4235 1816 198 640 0 3591 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16940 [startup+25.5019 s] /proc/loadavg: 0.55 0.18 0.06 2/65 2579 /proc/meminfo: memFree=1955528/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=17196 CPUtime=25.49 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 1915 0 0 0 2544 5 0 0 25 0 1 0 8112 17608704 1894 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 4299 1894 198 640 0 3655 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 17196 [startup+51.101 s] /proc/loadavg: 0.70 0.25 0.08 2/65 2579 /proc/meminfo: memFree=1955400/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=17456 CPUtime=51.08 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 1962 0 0 0 5102 6 0 0 25 0 1 0 8112 17874944 1941 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 4364 1941 198 640 0 3720 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17456 [startup+102.304 s] /proc/loadavg: 0.87 0.36 0.13 2/65 2579 /proc/meminfo: memFree=1954376/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=18496 CPUtime=102.28 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 2231 0 0 0 10218 10 0 0 25 0 1 0 8112 18939904 2210 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 4624 2210 198 640 0 3980 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 18496 [startup+162.301 s] /proc/loadavg: 0.95 0.47 0.18 2/65 2579 /proc/meminfo: memFree=1953288/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=19536 CPUtime=162.27 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 2486 0 0 0 16213 14 0 0 25 0 1 0 8112 20004864 2465 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 4884 2465 198 640 0 4240 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 19536 [startup+222.301 s] /proc/loadavg: 0.98 0.57 0.23 2/65 2579 /proc/meminfo: memFree=1953160/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=19656 CPUtime=222.26 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 2511 0 0 0 22210 16 0 0 25 0 1 0 8112 20127744 2490 1992294400 134512640 137136520 4294956256 18446744073709551615 135982506 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 4914 2490 198 640 0 4270 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 19656 [startup+282.302 s] /proc/loadavg: 0.99 0.64 0.28 2/65 2579 /proc/meminfo: memFree=1953032/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=19768 CPUtime=282.25 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 2539 0 0 0 28207 18 0 0 25 0 1 0 8112 20242432 2518 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 4942 2518 198 640 0 4298 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 19768 [startup+342.302 s] /proc/loadavg: 0.99 0.71 0.32 2/65 2579 /proc/meminfo: memFree=1952968/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=19764 CPUtime=342.24 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 2542 0 0 0 34203 21 0 0 25 0 1 0 8112 20238336 2521 1992294400 134512640 137136520 4294956256 18446744073709551615 136518854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 4941 2521 198 640 0 4297 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 19764 [startup+402.302 s] /proc/loadavg: 0.99 0.76 0.36 2/65 2579 /proc/meminfo: memFree=1951240/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=21460 CPUtime=402.23 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 2969 0 0 0 40199 24 0 0 25 0 1 0 8112 21975040 2948 1992294400 134512640 137136520 4294956256 18446744073709551615 134576308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 5365 2948 198 640 0 4721 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 21460 [startup+462.302 s] /proc/loadavg: 0.99 0.80 0.39 2/65 2579 /proc/meminfo: memFree=1951176/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=21460 CPUtime=462.22 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 2969 0 0 0 46194 28 0 0 25 0 1 0 8112 21975040 2948 1992294400 134512640 137136520 4294956256 18446744073709551615 136502090 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 5365 2948 198 640 0 4721 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 21460 [startup+522.301 s] /proc/loadavg: 0.99 0.83 0.43 2/65 2579 /proc/meminfo: memFree=1951176/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=21460 CPUtime=522.21 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 2969 0 0 0 52190 31 0 0 25 0 1 0 8112 21975040 2948 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 5365 2948 198 640 0 4721 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 21460 [startup+582.302 s] /proc/loadavg: 1.04 0.87 0.47 2/65 2579 /proc/meminfo: memFree=1951112/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=21464 CPUtime=582.2 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 2979 0 0 0 58187 33 0 0 25 0 1 0 8112 21979136 2958 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 5366 2958 198 640 0 4722 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 21464 [startup+642.301 s] /proc/loadavg: 1.01 0.89 0.50 2/65 2579 /proc/meminfo: memFree=1950664/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=21960 CPUtime=642.19 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 3089 0 0 0 64184 35 0 0 25 0 1 0 8112 22487040 3068 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 5490 3068 198 640 0 4846 0 Current children cumulated CPU time (s) 642.19 Current children cumulated vsize (KiB) 21960 Solver just ended. Dumping a history of the last processes samples [startup+646.302 s] /proc/loadavg: 1.01 0.90 0.50 2/65 2579 /proc/meminfo: memFree=1950664/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=21960 CPUtime=646.19 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 3089 0 0 0 64584 35 0 0 25 0 1 0 8112 22487040 3068 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 5490 3068 198 640 0 4846 0 Current children cumulated CPU time (s) 646.19 Current children cumulated vsize (KiB) 21960 [startup+649.502 s] /proc/loadavg: 1.01 0.90 0.50 2/65 2579 /proc/meminfo: memFree=1950664/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=21960 CPUtime=649.39 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 3089 0 0 0 64904 35 0 0 25 0 1 0 8112 22487040 3068 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 5490 3068 198 640 0 4846 0 Current children cumulated CPU time (s) 649.39 Current children cumulated vsize (KiB) 21960 [startup+651.102 s] /proc/loadavg: 1.01 0.90 0.50 2/65 2579 /proc/meminfo: memFree=1950664/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=21960 CPUtime=651 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 3089 0 0 0 65064 36 0 0 25 0 1 0 8112 22487040 3068 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 5490 3068 198 640 0 4846 0 Current children cumulated CPU time (s) 651 Current children cumulated vsize (KiB) 21960 [startup+651.902 s] /proc/loadavg: 1.01 0.90 0.50 2/65 2579 /proc/meminfo: memFree=1950664/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=21960 CPUtime=651.79 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 3089 0 0 0 65143 36 0 0 25 0 1 0 8112 22487040 3068 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 5490 3068 198 640 0 4846 0 Current children cumulated CPU time (s) 651.79 Current children cumulated vsize (KiB) 21960 [startup+652.702 s] /proc/loadavg: 1.01 0.90 0.50 2/65 2579 /proc/meminfo: memFree=1950664/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=21960 CPUtime=652.59 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 3089 0 0 0 65223 36 0 0 25 0 1 0 8112 22487040 3068 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 5490 3068 198 640 0 4846 0 Current children cumulated CPU time (s) 652.59 Current children cumulated vsize (KiB) 21960 [startup+653.102 s] /proc/loadavg: 1.01 0.90 0.50 2/65 2579 /proc/meminfo: memFree=1950664/2055920 swapFree=4192956/4192956 [pid=2578] ppid=2576 vsize=21960 CPUtime=652.99 /proc/2578/stat : 2578 (bsolo) R 2576 2578 2495 0 -1 4194304 3089 0 0 0 65263 36 0 0 25 0 1 0 8112 22487040 3068 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2578/statm: 5490 3068 198 640 0 4846 0 Current children cumulated CPU time (s) 652.99 Current children cumulated vsize (KiB) 21960 Child status: 0 Real time (s): 653.153 CPU time (s): 653.052 CPU user time (s): 652.687 CPU system time (s): 0.364944 CPU usage (%): 99.9845 Max. virtual memory (cumulated for all children) (KiB): 21960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 652.687 system time used= 0.364944 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3091 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= 592 runsolver used 0.620905 second user time and 1.17482 second system time The end
Begin job on node1 at 2009-06-17 15:28:07 IDJOB=1879541 IDBENCH=48091 IDSOLVER=701 FILE ID=node1/1879541-1245245287 PBS_JOBID= 9372340 Free space on /tmp= 66204 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=5-P1=113-P2=107-P3=11-P4=43-P5=101-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879541-1245245287/watcher-1879541-1245245287 -o /tmp/evaluation-result-1879541-1245245287/solver-1879541-1245245287 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879541-1245245287.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8a0125b71bb37b2e2e8bfc178a3ff25d RANDOM SEED=1857797824 node1.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.198 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.198 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: 1962992 kB Buffers: 7748 kB Cached: 44136 kB SwapCached: 0 kB Active: 41720 kB Inactive: 22812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1962992 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4744 kB Writeback: 0 kB Mapped: 22524 kB Slab: 14348 kB Committed_AS: 50192 kB PageTables: 1436 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-1879541-1245245287.opb Free space on /tmp at the end= 66200 MiB End job on node1 at 2009-06-17 15:39:01