Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 212 | 1798.04 | 1798.59 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb |
MD5SUM | 008a49e8cb0d34e0becb5a5e15efaa2a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 183 |
Best CPU time to get the best result obtained on this benchmark | 1800.21 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 177 |
Optimality of the best value was proved | NO |
Number of variables | 465 |
Total number of constraints | 465 |
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 | 465 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 465 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 465 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 465 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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-1879982-1245138886.opb 0.00/0.00 c File size is 42423 bytes. 0.00/0.00 c Highest Coefficient sum: 465 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.006 s 0.00/0.00 c Var: 465 Constr: 465 1/0/464 Lit: 4195 Watch. Lit: 1483 0.00/0.00 c Obj. Vars: 465 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.01 s 0.89/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.95 c 0 465 465 4195 9 1886 8372 0 0 0.01 0.89/0.95 c Initial Lower Bound: 136 0.89/0.95 c Initial Path Cost: 0 0.89/0.95 o 222 6.39/6.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.43 c 0 465 466 4660 10 2364 9372 1 0 0.96 6.39/6.43 o 221 13.29/13.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.29/13.30 c 25 465 516 20147 39 6266 9372 51 3 6.43 13.29/13.30 o 219 54.78/54.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 54.78/54.89 c 25 465 517 20612 39 5015 9372 52 1 13.30 54.78/54.89 c 125 465 814 104261 128 5394 10310 349 6 19.67 54.78/54.89 c 378 465 1567 322137 205 7008 11342 1102 13 27.63 54.78/54.89 c 853 465 2980 711884 238 10452 12477 2515 22 37.35 54.78/54.89 c 1666 465 5393 1332673 247 17947 13725 4928 34 48.64 54.78/54.89 o 218 85.67/85.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 85.67/85.75 c 1667 465 5396 1333822 247 16976 9372 4931 30 54.87 85.67/85.75 c 1768 465 5581 1387246 248 28170 10310 5116 28 62.30 85.67/85.75 c 2019 465 6321 1574838 249 25258 11342 5856 28 70.12 85.67/85.75 c 2494 465 7273 1840331 253 69856 12477 6808 31 79.44 85.67/85.75 o 217 91.36/91.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 91.36/91.47 c 2494 465 7274 1840796 253 47358 9372 6809 29 85.73 91.36/91.47 o 216 124.16/124.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 124.16/124.24 c 2494 465 7275 1841261 253 46789 9372 6810 27 91.44 124.16/124.24 c 2594 465 7511 1898255 252 48831 10310 7046 26 98.17 124.16/124.24 c 2844 465 8209 2077954 253 67640 11342 7744 26 106.90 124.16/124.24 c 3319 465 9626 2429990 252 55955 12477 9161 28 116.69 124.16/124.24 o 215 131.75/131.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 131.75/131.83 c 3319 465 9627 2430455 252 61419 9372 9162 26 124.20 131.75/131.83 o 214 215.43/215.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 215.43/215.60 c 3349 465 9686 2449722 252 68029 9372 9221 25 131.80 215.43/215.60 c 3450 465 5152 1244181 241 46407 10310 4687 24 139.39 215.43/215.60 c 3701 465 5892 1443873 245 48909 11342 5427 25 147.80 215.43/215.60 c 4177 465 7189 1784541 248 74460 12477 6724 26 157.60 215.43/215.60 c 4991 465 9291 2335562 251 74697 13725 8826 29 168.75 215.43/215.60 c 6311 465 13179 3349139 254 81735 15098 12714 34 184.52 215.43/215.60 c 8392 465 10465 2759291 263 254234 16608 10000 40 207.94 215.43/215.60 o 213 950.69/951.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 950.69/951.05 c 8488 465 10698 2816664 263 141496 9372 10233 39 215.53 950.69/951.05 c 8588 465 5449 1429972 262 129181 10310 4984 38 224.16 950.69/951.05 c 8838 465 6187 1628889 263 103939 11342 5722 38 232.19 950.69/951.05 c 9313 465 7582 2002560 264 106390 12477 7117 38 241.94 950.69/951.05 c 10129 465 10016 2698446 269 106096 13725 9551 39 255.04 950.69/951.05 c 11449 465 13898 3737235 268 110734 15098 13433 42 270.08 950.69/951.05 c 13530 465 12150 3121772 256 42844 16608 11685 46 291.33 950.69/951.05 c 16754 465 13052 3159656 242 35462 18269 12587 52 319.16 950.69/951.05 c 21690 465 16681 4484303 268 560058 20096 16216 58 370.07 950.69/951.05 c 29196 465 17941 4726631 263 45473 22106 17476 67 435.30 950.69/951.05 c 40558 465 17450 4619786 264 39870 24317 16985 77 522.74 950.69/951.05 c 57702 465 12625 3415719 270 606676 26749 12160 61 937.42 950.69/951.05 o 212 1797.95/1798.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.56 c 58522 465 14483 3961821 273 390538 9372 14018 61 950.76 1797.95/1798.56 c 58624 465 5457 1458890 267 129709 10310 4992 60 973.45 1797.95/1798.56 c 58875 465 6210 1662846 267 118323 11342 5745 59 982.71 1797.95/1798.56 c 59351 465 7631 2045121 268 111953 12477 7166 59 992.78 1797.95/1798.56 c 60164 465 10057 2721644 270 113055 13725 9592 59 1006.19 1797.95/1798.56 c 61486 465 14008 3791826 270 121984 15098 13543 60 1021.76 1797.95/1798.56 c 63567 465 12278 3389674 276 51656 16608 11813 60 1047.88 1797.95/1798.56 c 66790 465 13151 3532731 268 37266 18269 12686 62 1075.79 1797.95/1798.56 c 71726 465 18270 4774666 261 44808 20096 17805 64 1113.06 1797.95/1798.56 c 79232 465 16135 3792808 235 98360 22106 15670 67 1166.16 1797.95/1798.56 c 90593 465 15460 4189785 271 36467 24317 14995 72 1249.87 1797.95/1798.56 c 107738 465 16041 4366567 272 48134 26749 15576 77 1386.68 1797.95/1798.56 c Resources Exceeded 1797.95/1798.56 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 x43 x44 x45 -x46 -x47 -x48 -x49 -x50 x51 x52 -x53 -x54 x55 x56 x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 x68 x69 -x70 -x71 x72 x73 -x74 -x75 -x76 -x77 x78 x79 -x80 x81 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 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 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 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 -x353 -x354 -x355 -x356 x357 -x358 x359 x360 -x361 -x362 x363 x364 -x365 -x366 x367 x368 -x369 -x370 x371 x372 -x373 x374 x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 x390 x391 -x392 -x393 x394 -x395 x396 x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 x421 x422 x423 -x424 -x425 x426 -x427 -x428 x429 x430 x431 x432 x433 x434 -x435 x436 -x437 -x438 x439 x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 x451 -x452 x453 -x454 x455 x456 x457 -x458 -x459 x460 -x461 x462 x463 -x464 -x465 1797.95/1798.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.56 c 48 129784 33073 213816 26518 7728475 26053 72 1798.01 1797.95/1798.56 c Objective: 212 1797.95/1798.56 s SATISFIABLE 1797.95/1798.56 c Total time: 1798.01 s
OK 212
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879982-1245138886/watcher-1879982-1245138886 -o /tmp/evaluation-result-1879982-1245138886/solver-1879982-1245138886 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879982-1245138886.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 0.97 0.97 3/64 3359 /proc/meminfo: memFree=1406648/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=10756 CPUtime=0 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 181489684 11014144 228 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 2689 228 175 640 0 2034 0 [startup+0.0523521 s] /proc/loadavg: 1.00 0.97 0.97 3/64 3359 /proc/meminfo: memFree=1406648/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=12228 CPUtime=0.04 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 571 0 0 0 4 0 0 0 18 0 1 0 181489684 12521472 538 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 3057 538 284 640 0 2413 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12228 [startup+0.101357 s] /proc/loadavg: 1.00 0.97 0.97 3/64 3359 /proc/meminfo: memFree=1406648/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=12456 CPUtime=0.09 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 658 0 0 0 9 0 0 0 18 0 1 0 181489684 12754944 604 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 3114 604 284 640 0 2470 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12456 [startup+0.30138 s] /proc/loadavg: 1.00 0.97 0.97 3/64 3359 /proc/meminfo: memFree=1406648/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=12512 CPUtime=0.29 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 853 0 0 0 29 0 0 0 20 0 1 0 181489684 12812288 672 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 3128 672 284 640 0 2484 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12512 [startup+0.701427 s] /proc/loadavg: 1.00 0.97 0.97 3/64 3359 /proc/meminfo: memFree=1406648/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=13196 CPUtime=0.69 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 1297 0 0 0 69 0 0 0 24 0 1 0 181489684 13512704 712 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 3299 712 284 640 0 2655 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13196 [startup+1.50152 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3360 /proc/meminfo: memFree=1405360/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=13240 CPUtime=1.49 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 2472 0 0 0 148 1 0 0 25 0 1 0 181489684 13557760 712 1992294400 134512640 137136520 4294956256 18446744073709551615 135431493 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 3310 712 292 640 0 2666 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13240 [startup+3.10171 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3360 /proc/meminfo: memFree=1404976/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=13520 CPUtime=3.09 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 8768 0 0 0 306 3 0 0 25 0 1 0 181489684 13844480 584 1992294400 134512640 137136520 4294956256 18446744073709551615 135463994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 3380 588 292 640 0 2736 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13520 [startup+6.30109 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3360 /proc/meminfo: memFree=1405360/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=11080 CPUtime=6.29 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 23182 0 0 0 620 9 0 0 25 0 1 0 181489684 11345920 464 1992294400 134512640 137136520 4294956256 18446744073709551615 134748124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 2770 464 292 640 0 2126 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11080 [startup+12.7018 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3360 /proc/meminfo: memFree=1404912/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=13936 CPUtime=12.69 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 47505 0 0 0 1252 17 0 0 25 0 1 0 181489684 14270464 599 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 3484 599 295 640 0 2840 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13936 [startup+25.5014 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3360 /proc/meminfo: memFree=1403888/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=14412 CPUtime=25.48 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 117410 0 0 0 2507 41 0 0 25 0 1 0 181489684 14757888 828 1992294400 134512640 137136520 4294956256 18446744073709551615 135381796 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 3603 829 295 640 0 2959 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14412 [startup+51.1014 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3360 /proc/meminfo: memFree=1387504/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=31904 CPUtime=51.07 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 407342 0 0 0 4968 139 0 0 25 0 1 0 181489684 32669696 5041 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 7976 5041 295 640 0 7332 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 31904 [startup+102.305 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3360 /proc/meminfo: memFree=1378928/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=40380 CPUtime=102.26 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 745565 0 0 0 9966 260 0 0 25 0 1 0 181489684 41349120 7209 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 10095 7209 295 640 0 9451 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 40380 [startup+162.302 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3360 /proc/meminfo: memFree=1371056/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=48232 CPUtime=162.24 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 1107096 0 0 0 15823 401 0 0 25 0 1 0 181489684 49389568 9117 1992294400 134512640 137136520 4294956256 18446744073709551615 135438662 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 12058 9117 295 640 0 11414 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 48232 [startup+222.302 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3360 /proc/meminfo: memFree=1348656/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=69664 CPUtime=222.22 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 1604158 0 0 0 21622 600 0 0 25 0 1 0 181489684 71335936 14663 1992294400 134512640 137136520 4294956256 18446744073709551615 135379074 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 17416 14664 295 640 0 16772 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 69664 [startup+282.302 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3360 /proc/meminfo: memFree=1343216/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=73192 CPUtime=282.2 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 1909658 0 0 0 27486 734 0 0 25 0 1 0 181489684 74948608 15995 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 18298 15995 295 640 0 17654 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 73192 [startup+342.302 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3360 /proc/meminfo: memFree=1337200/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=81800 CPUtime=342.19 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 2306092 0 0 0 33299 920 0 0 25 0 1 0 181489684 83763200 17589 1992294400 134512640 137136520 4294956256 18446744073709551615 135438606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 20450 17589 296 640 0 19806 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 81800 [startup+402.301 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1319792/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=98404 CPUtime=402.15 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 2768560 0 0 0 39086 1129 0 0 25 0 1 0 181489684 100765696 21856 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 24705 21859 296 640 0 24061 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 98404 [startup+462.301 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1310768/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=105524 CPUtime=462.14 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 3138579 0 0 0 44905 1309 0 0 25 0 1 0 181489684 108056576 24079 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 26381 24079 296 640 0 25737 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 105524 [startup+522.301 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1310832/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=105516 CPUtime=522.12 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 3480427 0 0 0 50711 1501 0 0 25 0 1 0 181489684 108048384 24077 1992294400 134512640 137136520 4294956256 18446744073709551615 134600249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 26379 24077 296 640 0 25735 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 105516 [startup+582.301 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1310832/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=105520 CPUtime=582.1 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 3707120 0 0 0 56580 1630 0 0 25 0 1 0 181489684 108052480 24078 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 26380 24078 296 640 0 25736 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 105520 [startup+642.302 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1300144/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=117768 CPUtime=642.09 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 3964678 0 0 0 62463 1746 0 0 25 0 1 0 181489684 120594432 26757 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 29442 26757 296 640 0 28798 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 117768 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1288304/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=129896 CPUtime=1061.96 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 4765357 0 0 0 104042 2154 0 0 25 0 1 0 181489684 133013504 29691 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 32474 29691 296 640 0 31830 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 129896 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1288368/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=128720 CPUtime=1121.94 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 4947805 0 0 0 109927 2267 0 0 25 0 1 0 181489684 131809280 29682 1992294400 134512640 137136520 4294956256 18446744073709551615 136505351 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 32180 29682 296 640 0 31536 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 128720 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1288368/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=128244 CPUtime=1181.92 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 4958602 0 0 0 115918 2274 0 0 25 0 1 0 181489684 131321856 29676 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 32061 29676 296 640 0 31417 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 128244 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1288304/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=128244 CPUtime=1241.91 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 4958602 0 0 0 121914 2277 0 0 25 0 1 0 181489684 131321856 29676 1992294400 134512640 137136520 4294956256 18446744073709551615 134616453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 32061 29676 296 640 0 31417 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 128244 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1288368/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=128244 CPUtime=1301.89 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 4958609 0 0 0 127909 2280 0 0 25 0 1 0 181489684 131321856 29683 1992294400 134512640 137136520 4294956256 18446744073709551615 135438779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 32061 29683 296 640 0 31417 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 128244 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1288368/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=128244 CPUtime=1361.87 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 4958609 0 0 0 133903 2284 0 0 25 0 1 0 181489684 131321856 29683 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 32061 29683 296 640 0 31417 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 128244 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1288368/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=128244 CPUtime=1421.86 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 4958609 0 0 0 139899 2287 0 0 25 0 1 0 181489684 131321856 29683 1992294400 134512640 137136520 4294956256 18446744073709551615 136518854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 32061 29683 296 640 0 31417 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 128244 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1288368/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=128256 CPUtime=1481.84 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 4958611 0 0 0 145895 2289 0 0 25 0 1 0 181489684 131334144 29685 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 32064 29685 296 640 0 31420 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 128256 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1288176/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=127904 CPUtime=1541.82 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 4960292 0 0 0 151891 2291 0 0 25 0 1 0 181489684 130973696 29673 1992294400 134512640 137136520 4294956256 18446744073709551615 134600696 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 31976 29673 296 640 0 31332 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 127904 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1273200/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=142864 CPUtime=1601.8 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 5137179 0 0 0 157819 2361 0 0 25 0 1 0 181489684 146292736 33413 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 35716 33413 296 640 0 35072 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 142864 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1273200/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=142864 CPUtime=1661.79 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 5194817 0 0 0 163781 2398 0 0 25 0 1 0 181489684 146292736 33413 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 35716 33413 296 640 0 35072 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 142864 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1273264/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=142864 CPUtime=1721.76 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 5281726 0 0 0 169728 2448 0 0 25 0 1 0 181489684 146292736 33413 1992294400 134512640 137136520 4294956256 18446744073709551615 134544010 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 35716 33413 296 640 0 35072 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 142864 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1270192/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=148420 CPUtime=1781.75 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 5398370 0 0 0 175665 2510 0 0 25 0 1 0 181489684 151982080 34251 1992294400 134512640 137136520 4294956256 18446744073709551615 135438606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 37105 34251 296 640 0 36461 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 148420 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1267440/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=148576 CPUtime=1791.35 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 5436104 0 0 0 176612 2523 0 0 25 0 1 0 181489684 152141824 34841 1992294400 134512640 137136520 4294956256 18446744073709551615 134544259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 37144 34841 296 640 0 36500 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 148576 [startup+1795.1 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1266480/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=149512 CPUtime=1794.55 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 5450780 0 0 0 176927 2528 0 0 25 0 1 0 181489684 153100288 35075 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 37378 35075 296 640 0 36734 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (KiB) 149512 [startup+1796.7 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1266096/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=150064 CPUtime=1796.14 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 5458624 0 0 0 177083 2531 0 0 25 0 1 0 181489684 153665536 35213 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 37516 35213 296 640 0 36872 0 Current children cumulated CPU time (s) 1796.14 Current children cumulated vsize (KiB) 150064 [startup+1797.5 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1265776/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=150288 CPUtime=1796.95 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 5462739 0 0 0 177162 2533 0 0 25 0 1 0 181489684 153894912 35269 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 37572 35269 296 640 0 36928 0 Current children cumulated CPU time (s) 1796.95 Current children cumulated vsize (KiB) 150288 [startup+1798.3 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1265776/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=150552 CPUtime=1797.75 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 5465671 0 0 0 177241 2534 0 0 25 0 1 0 181489684 154165248 35335 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 37638 35335 296 640 0 36994 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 150552 [startup+1798.51 s] /proc/loadavg: 1.00 0.97 0.97 2/65 3366 /proc/meminfo: memFree=1265456/2055920 swapFree=4191900/4192956 [pid=3359] ppid=3357 vsize=150624 CPUtime=1797.95 /proc/3359/stat : 3359 (bsolo) R 3357 3359 2747 0 -1 4194304 5466377 0 0 0 177261 2534 0 0 25 0 1 0 181489684 154238976 35353 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3359/statm: 37656 35353 296 640 0 37012 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 150624 Child status: 0 Real time (s): 1798.59 CPU time (s): 1798.04 CPU user time (s): 1772.67 CPU system time (s): 25.3701 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 152256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1772.67 system time used= 25.3701 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5466657 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= 3860 runsolver used 1.53677 second user time and 3.42848 second system time The end
Begin job on node1 at 2009-06-16 09:54:46 IDJOB=1879982 IDBENCH=1960 IDSOLVER=701 FILE ID=node1/1879982-1245138886 PBS_JOBID= 9363693 Free space on /tmp= 66220 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879982-1245138886/watcher-1879982-1245138886 -o /tmp/evaluation-result-1879982-1245138886/solver-1879982-1245138886 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879982-1245138886.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 008a49e8cb0d34e0becb5a5e15efaa2a RANDOM SEED=81500736 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.245 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.245 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: 1407128 kB Buffers: 65636 kB Cached: 488640 kB SwapCached: 400 kB Active: 92244 kB Inactive: 475452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1407128 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3980 kB Writeback: 0 kB Mapped: 22532 kB Slab: 67112 kB Committed_AS: 147920 kB PageTables: 1436 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= 66216 MiB End job on node1 at 2009-06-16 10:24:45