Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 3 | 1798.03 | 1798.93 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=211-P1=223-P2=251-P3=3-P4=107-B.opb |
MD5SUM | 1cc97335e4341ed075b6e9adcc382d23 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 2.68759 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 96 |
Total number of constraints | 9 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 9 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 256 |
Sum of products size (including duplicates) | 512 |
Number of different products | 256 |
Sum of products size | 512 |
0.00/0.00 c bsolo beta version 3.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-1879454-1245243881.opb 0.00/0.00 c File size is 18984 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 352 Constr: 525 256/0/269 Lit: 2200 Watch. Lit: 1354 0.00/0.00 c Obj. Vars: 8 (2.27273 % of total variables) 0.00/0.00 c Pre-processing Time: 0.006 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 352 525 2200 4 1890 2949 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 111.44/111.58 c 100 352 721 14664 20 5331 3244 196 3333 0.03 111.44/111.58 c 250 352 996 34348 34 9876 3569 471 1984 0.13 111.44/111.58 c 475 352 1428 62271 43 16871 3926 903 2012 0.24 111.44/111.58 c 814 352 2027 102376 50 19334 4319 1502 1496 0.54 111.44/111.58 c 1323 352 2983 172406 57 26962 4751 2458 1457 0.91 111.44/111.58 c 2087 352 4471 264156 59 53198 5227 3946 963 2.17 111.44/111.58 c 3233 352 3810 222413 58 40368 5750 3285 717 4.50 111.44/111.58 c 4954 352 4130 232249 56 46681 6326 3605 503 9.84 111.44/111.58 c 7538 352 5642 367388 65 57754 6959 5117 520 14.48 111.44/111.58 c 11419 352 5410 325292 60 60825 7655 4885 416 27.42 111.44/111.58 c 17241 352 8031 533346 66 100688 8421 7506 358 48.12 111.44/111.58 c 25980 352 6797 417861 61 68924 9264 6272 276 94.02 111.44/111.58 o 35 113.04/113.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 113.04/113.16 c 29421 352 8577 535263 62 91863 2965 8052 263 111.54 113.04/113.16 c 29521 352 2206 121009 54 23236 3262 1681 262 112.33 113.04/113.16 c 29772 352 2701 157418 58 31144 3589 2176 264 112.44 113.04/113.16 c 30247 352 3630 222713 61 52446 3948 3105 267 112.88 113.04/113.16 o 33 134.43/134.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 134.43/134.58 c 30368 352 3852 237235 61 53753 2965 3327 268 113.11 134.43/134.58 c 30468 352 2207 119590 54 25745 3262 1682 268 113.33 134.43/134.58 c 30720 352 2700 154033 57 31296 3589 2175 270 113.50 134.43/134.58 c 31196 352 3628 216911 59 52035 3948 3103 272 114.33 134.43/134.58 c 32009 332 2908 163881 56 32780 4343 2383 275 116.18 134.43/134.58 c 33329 332 3139 177598 56 35683 4778 2614 280 118.95 134.43/134.58 c 35411 332 4423 275700 62 38460 5256 3898 289 122.19 134.43/134.58 c 38635 332 4863 286019 58 62471 5782 4338 294 131.11 134.43/134.58 o 13 145.93/146.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 145.93/146.09 c 40730 332 5771 357222 61 73437 2961 5246 302 134.53 145.93/146.09 c 40831 332 2208 112910 51 22612 3258 1683 303 134.75 145.93/146.09 c 41082 332 2690 143252 53 31368 3584 2165 304 134.97 145.93/146.09 c 41557 332 3556 208464 58 41700 3943 3031 307 135.36 145.93/146.09 c 42370 332 3003 167422 55 29805 4338 2478 310 136.68 145.93/146.09 c 43691 332 3231 168352 52 38999 4772 2706 308 141.46 145.93/146.09 c 45772 312 4525 274322 60 54653 5250 4000 315 145.23 145.93/146.09 o 11 149.12/149.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 149.12/149.21 c 46491 312 3155 203385 64 33077 2957 2630 318 146.18 149.12/149.21 c 46591 312 3354 214928 64 36770 3253 2829 318 146.26 149.12/149.21 c 46841 312 2157 118625 54 19120 3579 1632 319 146.77 149.12/149.21 c 47316 312 3051 191059 62 32253 3937 2526 321 147.27 149.12/149.21 c 48130 312 2516 133662 53 23504 4331 1991 323 148.92 149.12/149.21 o 3 1797.99/1798.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.92 c 48451 312 3141 173496 55 38621 2957 2616 324 149.14 1797.99/1798.92 c 48551 312 3293 183291 55 28144 3253 2768 325 149.38 1797.99/1798.92 c 48802 312 3734 209377 56 35848 3579 3209 325 150.01 1797.99/1798.92 c 49280 312 2618 143533 54 24194 3937 2093 327 150.57 1797.99/1798.92 c 50093 312 4155 242481 58 48224 4331 3630 329 151.83 1797.99/1798.92 c 51413 312 4428 251016 56 46342 4765 3903 331 155.19 1797.99/1798.92 c 53494 312 2913 171391 58 14864 5242 2388 337 158.53 1797.99/1798.92 c 56719 312 5709 348187 60 76181 5767 5184 340 166.58 1797.99/1798.92 c 61655 281 5698 364921 64 63221 6344 5173 336 182.97 1797.99/1798.92 c 69161 281 5998 367372 61 77309 6979 5473 314 219.82 1797.99/1798.92 c 80522 281 4758 295483 62 43369 7677 4233 289 277.81 1797.99/1798.92 c 97667 281 8149 516330 63 111567 8445 7624 254 383.92 1797.99/1798.92 c 123487 281 5395 312032 57 56426 9290 4870 220 559.28 1797.99/1798.92 c 162321 281 8288 530885 64 101362 10220 7763 194 834.55 1797.99/1798.92 c 220674 271 5678 323565 56 62048 11243 5153 173 1269.97 1797.99/1798.92 c Resources Exceeded 1797.99/1798.92 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 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 x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 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 -x204 -x205 -x206 -x207 -x208 x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 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 -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 x57 x58 -x59 -x60 x61 -x62 -x63 -x64 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 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 -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 -x351 -x352 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 1797.99/1798.92 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.92 c 51 281971 3705 295837 10435 666684 9910 156 1798.03 1797.99/1798.92 c Objective: 3 1797.99/1798.92 s SATISFIABLE 1797.99/1798.92 c Total time: 1798.03 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-1879454-1245243881/watcher-1879454-1245243881 -o /tmp/evaluation-result-1879454-1245243881/solver-1879454-1245243881 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879454-1245243881.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.99 0.98 0.91 3/64 11578 /proc/meminfo: memFree=1801464/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=10712 CPUtime=0 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 191988703 10969088 264 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 2678 264 189 640 0 2034 0 [startup+0.0236841 s] /proc/loadavg: 0.99 0.98 0.91 3/64 11578 /proc/meminfo: memFree=1801464/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=10972 CPUtime=0.02 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 340 0 0 0 2 0 0 0 18 0 1 0 191988703 11235328 319 1992294400 134512640 137136520 4294956256 18446744073709551615 136503150 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 2743 319 197 640 0 2099 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10972 [startup+0.101698 s] /proc/loadavg: 0.99 0.98 0.91 3/64 11578 /proc/meminfo: memFree=1801464/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=11232 CPUtime=0.09 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 425 0 0 0 9 0 0 0 18 0 1 0 191988703 11501568 404 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 2808 404 198 640 0 2164 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11232 [startup+0.301733 s] /proc/loadavg: 0.99 0.98 0.91 3/64 11578 /proc/meminfo: memFree=1801464/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=12136 CPUtime=0.29 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 637 0 0 0 29 0 0 0 19 0 1 0 191988703 12427264 616 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 3034 616 198 640 0 2390 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12136 [startup+0.701805 s] /proc/loadavg: 0.99 0.98 0.91 3/64 11578 /proc/meminfo: memFree=1801464/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=13172 CPUtime=0.69 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 905 0 0 0 69 0 0 0 23 0 1 0 191988703 13488128 884 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 3293 884 198 640 0 2649 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13172 [startup+1.50195 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1797872/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=14856 CPUtime=1.49 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 1332 0 0 0 149 0 0 0 25 0 1 0 191988703 15212544 1311 1992294400 134512640 137136520 4294956256 18446744073709551615 134543945 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 3714 1311 198 640 0 3070 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14856 [startup+3.10123 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1796080/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=16564 CPUtime=3.09 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 1761 0 0 0 309 0 0 0 25 0 1 0 191988703 16961536 1740 1992294400 134512640 137136520 4294956256 18446744073709551615 134543875 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 4141 1740 198 640 0 3497 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16564 [startup+6.30181 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1793648/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=17996 CPUtime=6.29 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 2103 0 0 0 628 1 0 0 25 0 1 0 191988703 18427904 2082 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 4499 2082 198 640 0 3855 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17996 [startup+12.702 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1793080/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=19168 CPUtime=12.69 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 2390 0 0 0 1267 2 0 0 25 0 1 0 191988703 19628032 2369 1992294400 134512640 137136520 4294956256 18446744073709551615 134540969 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 4792 2369 198 640 0 4148 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19168 [startup+25.5012 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1791608/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=20204 CPUtime=25.48 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 2660 0 0 0 2546 2 0 0 25 0 1 0 191988703 20688896 2639 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 5051 2639 198 640 0 4407 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20204 [startup+51.1018 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1788536/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=23208 CPUtime=51.06 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 3417 0 0 0 5103 3 0 0 25 0 1 0 191988703 23764992 3396 1992294400 134512640 137136520 4294956256 18446744073709551615 134576599 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 5802 3396 198 640 0 5158 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 23208 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1788408/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=23208 CPUtime=102.25 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 3417 0 0 0 10219 6 0 0 25 0 1 0 191988703 23764992 3396 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 5802 3396 198 640 0 5158 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 23208 [startup+162.303 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1788344/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=23212 CPUtime=162.22 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 3418 0 0 0 16213 9 0 0 25 0 1 0 191988703 23769088 3397 1992294400 134512640 137136520 4294956256 18446744073709551615 136509034 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 5803 3397 198 640 0 5159 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 23212 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1788344/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=23212 CPUtime=222.19 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 3418 0 0 0 22206 13 0 0 25 0 1 0 191988703 23769088 3397 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 5803 3397 198 640 0 5159 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 23212 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1788344/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=23212 CPUtime=282.16 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 3418 0 0 0 28200 16 0 0 25 0 1 0 191988703 23769088 3397 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 5803 3397 198 640 0 5159 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 23212 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1788344/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=23212 CPUtime=342.12 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 3418 0 0 0 34193 19 0 0 25 0 1 0 191988703 23769088 3397 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 5803 3397 198 640 0 5159 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 23212 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1788280/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=23212 CPUtime=402.1 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 3418 0 0 0 40188 22 0 0 25 0 1 0 191988703 23769088 3397 1992294400 134512640 137136520 4294956256 18446744073709551615 136502076 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 5803 3397 198 640 0 5159 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 23212 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1788280/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=23212 CPUtime=462.06 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 3418 0 0 0 46182 24 0 0 25 0 1 0 191988703 23769088 3397 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 5803 3397 198 640 0 5159 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 23212 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1788280/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=23212 CPUtime=522.04 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 3418 0 0 0 52178 26 0 0 25 0 1 0 191988703 23769088 3397 1992294400 134512640 137136520 4294956256 18446744073709551615 134544387 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 5803 3397 198 640 0 5159 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 23212 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1788216/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=23212 CPUtime=582.01 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 3418 0 0 0 58173 28 0 0 25 0 1 0 191988703 23769088 3397 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 5803 3397 198 640 0 5159 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 23212 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1787960/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=23712 CPUtime=641.99 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 3527 0 0 0 64169 30 0 0 25 0 1 0 191988703 24281088 3506 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 5928 3506 198 640 0 5284 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 23712 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1785848/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=25764 CPUtime=1061.75 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4053 0 0 0 106128 47 0 0 25 0 1 0 191988703 26382336 4032 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6441 4032 198 640 0 5797 0 Current children cumulated CPU time (s) 1061.75 Current children cumulated vsize (KiB) 25764 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1785784/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=25764 CPUtime=1121.73 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4053 0 0 0 112123 50 0 0 25 0 1 0 191988703 26382336 4032 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6441 4032 198 640 0 5797 0 Current children cumulated CPU time (s) 1121.73 Current children cumulated vsize (KiB) 25764 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1785784/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=25764 CPUtime=1181.7 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4053 0 0 0 118117 53 0 0 25 0 1 0 191988703 26382336 4032 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6441 4032 198 640 0 5797 0 Current children cumulated CPU time (s) 1181.7 Current children cumulated vsize (KiB) 25764 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1785592/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=25764 CPUtime=1241.67 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4053 0 0 0 124113 54 0 0 25 0 1 0 191988703 26382336 4032 1992294400 134512640 137136520 4294956256 18446744073709551615 136518905 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6441 4032 198 640 0 5797 0 Current children cumulated CPU time (s) 1241.67 Current children cumulated vsize (KiB) 25764 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1785528/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=25900 CPUtime=1301.65 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4088 0 0 0 130110 55 0 0 25 0 1 0 191988703 26521600 4067 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6475 4067 198 640 0 5831 0 Current children cumulated CPU time (s) 1301.65 Current children cumulated vsize (KiB) 25900 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1784376/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=27068 CPUtime=1361.62 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4386 0 0 0 136105 57 0 0 25 0 1 0 191988703 27717632 4365 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6767 4365 198 640 0 6123 0 Current children cumulated CPU time (s) 1361.62 Current children cumulated vsize (KiB) 27068 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1784376/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=27068 CPUtime=1421.59 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4386 0 0 0 142100 59 0 0 25 0 1 0 191988703 27717632 4365 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6767 4365 198 640 0 6123 0 Current children cumulated CPU time (s) 1421.59 Current children cumulated vsize (KiB) 27068 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1784376/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=27068 CPUtime=1481.55 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4386 0 0 0 148094 61 0 0 25 0 1 0 191988703 27717632 4365 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6767 4365 198 640 0 6123 0 Current children cumulated CPU time (s) 1481.55 Current children cumulated vsize (KiB) 27068 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1784376/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=27068 CPUtime=1541.53 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4386 0 0 0 154089 64 0 0 25 0 1 0 191988703 27717632 4365 1992294400 134512640 137136520 4294956256 18446744073709551615 134544259 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6767 4365 198 640 0 6123 0 Current children cumulated CPU time (s) 1541.53 Current children cumulated vsize (KiB) 27068 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1784376/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=27068 CPUtime=1601.48 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4386 0 0 0 160083 65 0 0 25 0 1 0 191988703 27717632 4365 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6767 4365 198 640 0 6123 0 Current children cumulated CPU time (s) 1601.48 Current children cumulated vsize (KiB) 27068 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1784312/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=27068 CPUtime=1661.46 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4386 0 0 0 166078 68 0 0 25 0 1 0 191988703 27717632 4365 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6767 4365 198 640 0 6123 0 Current children cumulated CPU time (s) 1661.46 Current children cumulated vsize (KiB) 27068 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1784248/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=27068 CPUtime=1721.43 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4386 0 0 0 172074 69 0 0 25 0 1 0 191988703 27717632 4365 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6767 4365 198 640 0 6123 0 Current children cumulated CPU time (s) 1721.43 Current children cumulated vsize (KiB) 27068 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1784120/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=27068 CPUtime=1781.4 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4386 0 0 0 178069 71 0 0 25 0 1 0 191988703 27717632 4365 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6767 4365 198 640 0 6123 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (KiB) 27068 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1784120/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=27068 CPUtime=1791 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4386 0 0 0 179029 71 0 0 25 0 1 0 191988703 27717632 4365 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6767 4365 198 640 0 6123 0 Current children cumulated CPU time (s) 1791 Current children cumulated vsize (KiB) 27068 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1784120/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=27068 CPUtime=1794.2 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4386 0 0 0 179349 71 0 0 25 0 1 0 191988703 27717632 4365 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6767 4365 198 640 0 6123 0 Current children cumulated CPU time (s) 1794.2 Current children cumulated vsize (KiB) 27068 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1784120/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=27068 CPUtime=1795.79 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4386 0 0 0 179508 71 0 0 25 0 1 0 191988703 27717632 4365 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6767 4365 198 640 0 6123 0 Current children cumulated CPU time (s) 1795.79 Current children cumulated vsize (KiB) 27068 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1784120/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=27068 CPUtime=1797.39 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4386 0 0 0 179668 71 0 0 25 0 1 0 191988703 27717632 4365 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6767 4365 198 640 0 6123 0 Current children cumulated CPU time (s) 1797.39 Current children cumulated vsize (KiB) 27068 [startup+1798.7 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1784120/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=27068 CPUtime=1797.79 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4386 0 0 0 179708 71 0 0 25 0 1 0 191988703 27717632 4365 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6767 4365 198 640 0 6123 0 Current children cumulated CPU time (s) 1797.79 Current children cumulated vsize (KiB) 27068 [startup+1798.9 s] /proc/loadavg: 0.99 0.98 0.91 2/65 11579 /proc/meminfo: memFree=1784120/2055920 swapFree=4180900/4192956 [pid=11578] ppid=11576 vsize=27068 CPUtime=1797.99 /proc/11578/stat : 11578 (bsolo) R 11576 11578 11317 0 -1 4194304 4386 0 0 0 179728 71 0 0 25 0 1 0 191988703 27717632 4365 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11578/statm: 6767 4365 198 640 0 6123 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 27068 Child status: 0 Real time (s): 1798.93 CPU time (s): 1798.03 CPU user time (s): 1797.31 CPU system time (s): 0.72089 CPU usage (%): 99.9499 Max. virtual memory (cumulated for all children) (KiB): 27068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.31 system time used= 0.72089 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4388 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= 7268 runsolver used 2.09968 second user time and 4.44832 second system time The end
Begin job on node12 at 2009-06-17 15:04:41 IDJOB=1879454 IDBENCH=48004 IDSOLVER=701 FILE ID=node12/1879454-1245243881 PBS_JOBID= 9372325 Free space on /tmp= 66232 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=211-P1=223-P2=251-P3=3-P4=107-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879454-1245243881/watcher-1879454-1245243881 -o /tmp/evaluation-result-1879454-1245243881/solver-1879454-1245243881 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879454-1245243881.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1cc97335e4341ed075b6e9adcc382d23 RANDOM SEED=1061664969 node12.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.281 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.281 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: 1801944 kB Buffers: 58440 kB Cached: 143580 kB SwapCached: 6264 kB Active: 104200 kB Inactive: 106184 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1801944 kB SwapTotal: 4192956 kB SwapFree: 4180900 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 13604 kB Slab: 29684 kB Committed_AS: 195400 kB PageTables: 1380 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-1879454-1245243881.opb Free space on /tmp at the end= 66228 MiB End job on node12 at 2009-06-17 15:34:40