Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 213 | 1798.02 | 1798.65 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb |
MD5SUM | 1e2b8f542cc5dec610d6e9b4663a878b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 189 |
Best CPU time to get the best result obtained on this benchmark | 1800.18 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 183 |
Optimality of the best value was proved | NO |
Number of variables | 473 |
Total number of constraints | 472 |
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 | 472 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 17 |
Number of terms in the objective function | 473 |
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 | 473 |
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 | 473 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657372-1276373921.opb 0.00/0.00 c File size is 43236 bytes. 0.00/0.00 c Highest Coefficient sum: 473 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.008 s 0.00/0.01 c Var: 473 Constr: 472 1/0/471 Lit: 4267 Watch. Lit: 1511 0.00/0.01 c Obj. Vars: 473 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.013 s 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 0 473 472 4267 9 1964 8526 0 0 0.01 0.79/0.81 c Initial Lower Bound: 140 0.79/0.81 c Initial Path Cost: 0 0.79/0.81 o 226 23.88/23.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.88/23.92 c 0 473 473 4740 10 2425 9526 1 0 0.81 23.88/23.92 c 101 473 578 29394 50 2643 10479 106 13 7.62 23.88/23.92 c 352 473 1067 156013 146 3673 11527 595 22 15.97 23.88/23.92 o 223 30.99/31.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.99/31.07 c 352 473 1068 156486 146 3923 9526 596 14 23.92 30.99/31.07 o 222 38.68/38.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.68/38.76 c 352 473 1069 156959 146 4185 9526 597 11 31.06 38.68/38.76 o 221 173.03/173.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 173.03/173.17 c 368 473 1091 162308 148 4485 9526 619 9 38.76 173.03/173.17 c 469 473 1292 213104 164 4901 10479 820 9 46.97 173.03/173.17 c 719 473 1771 341945 193 5898 11527 1299 12 56.47 173.03/173.17 c 1195 473 2710 595552 219 7739 12680 2238 18 65.33 173.03/173.17 c 2008 473 4322 1038929 240 10952 13949 3850 26 76.60 173.03/173.17 c 3328 473 6876 1730995 251 16066 15344 6404 36 90.32 173.03/173.17 c 5409 473 10903 2758923 253 24132 16879 10431 50 108.14 173.03/173.17 c 8632 473 16965 4276776 252 36237 18567 16493 65 131.93 173.03/173.17 c 13569 473 15817 3844557 243 33222 20424 15345 81 165.93 173.03/173.17 o 218 198.33/198.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 198.33/198.48 c 13569 473 15818 3845030 243 33432 9526 15346 78 173.12 198.33/198.48 c 13669 473 5383 1185094 220 12365 10479 4911 75 181.58 198.33/198.48 c 13920 473 5759 1272153 220 13092 11527 5287 73 190.08 198.33/198.48 o 216 206.72/206.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 206.72/206.88 c 13920 473 5760 1272626 220 13361 9526 5288 70 198.41 206.72/206.88 o 215 1018.43/1018.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1018.43/1018.83 c 13928 473 5769 1274860 220 13625 9526 5297 67 206.81 1018.43/1018.83 c 14030 473 5972 1336311 223 14087 10479 5500 65 215.51 1018.43/1018.83 c 14281 473 6463 1468774 227 15041 11527 5991 63 224.52 1018.43/1018.83 c 14756 473 7400 1730236 233 16872 12680 6928 62 235.17 1018.43/1018.83 c 15569 473 9017 2195378 243 20189 13949 8545 63 246.99 1018.43/1018.83 c 16889 473 11625 2890760 248 25358 15344 11153 64 260.96 1018.43/1018.83 c 18970 473 15733 4087266 259 33567 16879 15261 67 281.10 1018.43/1018.83 c 22194 473 13252 3518802 265 28084 18567 12780 72 306.44 1018.43/1018.83 c 27130 473 13274 3713872 279 28131 20424 12802 79 342.99 1018.43/1018.83 c 34636 473 17610 4906133 278 36791 22467 17138 88 393.01 1018.43/1018.83 c 45998 473 16532 4504287 272 34667 24714 16060 97 469.43 1018.43/1018.83 c 63143 473 22344 5983128 267 46248 27186 21872 109 576.44 1018.43/1018.83 c 88962 473 24405 6695343 274 50387 29905 23933 119 743.12 1018.43/1018.83 c 127795 473 25368 6526492 257 52314 32896 24896 126 1008.45 1018.43/1018.83 o 214 1592.34/1592.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1592.34/1592.96 c 128224 473 26096 6700163 256 54007 9526 25624 125 1018.48 1592.34/1592.96 c 128327 473 5436 1289599 237 12407 10479 4964 124 1032.02 1592.34/1592.96 c 128578 473 5936 1438030 242 13476 11527 5464 123 1040.80 1592.34/1592.96 c 129054 473 6882 1712636 248 15335 12680 6410 122 1051.66 1592.34/1592.96 c 129869 473 8511 2179571 256 18603 13949 8039 122 1064.24 1592.34/1592.96 c 131190 473 11146 2918793 261 23880 15344 10674 121 1078.62 1592.34/1592.96 c 133273 473 15304 4050881 264 32192 16879 14832 121 1098.27 1592.34/1592.96 c 136496 473 12738 3377429 265 27064 18567 12266 121 1123.55 1592.34/1592.96 c 141435 473 12768 3433035 268 27113 20424 12296 122 1157.84 1592.34/1592.96 c 148943 473 16942 4661198 275 35479 22467 16470 122 1211.18 1592.34/1592.96 c 160304 473 16133 4275087 264 33871 24714 15661 124 1282.60 1592.34/1592.96 c 177448 473 22198 5933024 267 45971 27186 21726 127 1389.93 1592.34/1592.96 c 203267 473 24403 6670967 273 50393 29905 23931 128 1584.73 1592.34/1592.96 o 213 1797.96/1798.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.63 c 203268 473 24406 6671916 273 50668 9526 23934 127 1592.40 1797.96/1798.63 c 203368 473 5436 1399829 257 12483 10479 4964 126 1605.95 1797.96/1798.63 c 203618 473 5934 1549815 261 13489 11527 5462 126 1614.71 1797.96/1798.63 c 204093 473 6855 1824646 266 15323 12680 6383 125 1625.41 1797.96/1798.63 c 204906 473 8463 2282880 269 18533 13949 7991 125 1637.76 1797.96/1798.63 c 206226 473 11097 2973354 267 23794 15344 10625 124 1652.11 1797.96/1798.63 c 208308 473 15234 4166900 273 32027 16879 14762 124 1670.89 1797.96/1798.63 c 211532 473 12711 3436484 270 27025 18567 12239 124 1696.31 1797.96/1798.63 c 216470 473 12794 3505260 273 27209 20424 12322 124 1732.11 1797.96/1798.63 c 223977 473 16850 4422565 262 35292 22467 16378 125 1779.38 1797.96/1798.63 c Resources Exceeded 1797.96/1798.63 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 x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 1797.96/1798.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.63 c 55 225965 40793 309672 20803 5587962 20331 125 1798.01 1797.96/1798.63 c Objective: 213 1797.96/1798.63 s SATISFIABLE 1797.96/1798.63 c Total time: 1798.01 s
OK 213
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657372-1276373921/watcher-2657372-1276373921 -o /tmp/evaluation-result-2657372-1276373921/solver-2657372-1276373921 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657372-1276373921.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.85 0.97 0.99 3/106 16428 /proc/meminfo: memFree=1836752/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=10832 CPUtime=0 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 12993662 11091968 237 1992294400 134512640 137138936 4293195680 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 2708 237 174 642 0 2053 0 [startup+0.021307 s] /proc/loadavg: 0.85 0.97 0.99 3/106 16428 /proc/meminfo: memFree=1836752/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=11024 CPUtime=0.01 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 430 0 0 0 1 0 0 0 20 0 1 0 12993662 11288576 338 1992294400 134512640 137138936 4293195680 18446744073709551615 135745135 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 2756 338 218 642 0 2112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11024 [startup+0.101323 s] /proc/loadavg: 0.85 0.97 0.99 3/106 16428 /proc/meminfo: memFree=1836752/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=12524 CPUtime=0.09 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 703 0 0 0 9 0 0 0 20 0 1 0 12993662 12824576 584 1992294400 134512640 137138936 4293195680 18446744073709551615 135445326 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 3131 584 278 642 0 2487 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12524 [startup+0.301362 s] /proc/loadavg: 0.85 0.97 0.99 3/106 16428 /proc/meminfo: memFree=1836752/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=12904 CPUtime=0.29 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 941 0 0 0 29 0 0 0 20 0 1 0 12993662 13213696 684 1992294400 134512640 137138936 4293195680 18446744073709551615 135466069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 3226 684 278 642 0 2582 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12904 [startup+0.701439 s] /proc/loadavg: 0.85 0.97 0.99 3/106 16428 /proc/meminfo: memFree=1836752/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=13284 CPUtime=0.69 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 1322 0 0 0 69 0 0 0 21 0 1 0 12993662 13602816 825 1992294400 134512640 137138936 4293195680 18446744073709551615 135439902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 3321 825 279 642 0 2677 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13284 [startup+1.5016 s] /proc/loadavg: 0.85 0.97 0.99 2/107 16429 /proc/meminfo: memFree=1835132/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=13700 CPUtime=1.49 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 3096 0 0 0 148 1 0 0 23 0 1 0 12993662 14028800 641 1992294400 134512640 137138936 4293195680 18446744073709551615 136169875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 3425 641 283 642 0 2781 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13700 [startup+3.10191 s] /proc/loadavg: 0.85 0.97 0.99 2/107 16429 /proc/meminfo: memFree=1834884/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=12752 CPUtime=3.09 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 8130 0 0 0 306 3 0 0 25 0 1 0 12993662 13058048 519 1992294400 134512640 137138936 4293195680 18446744073709551615 135432407 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 3188 520 283 642 0 2544 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12752 [startup+6.30153 s] /proc/loadavg: 0.86 0.97 0.99 2/107 16429 /proc/meminfo: memFree=1834884/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=13244 CPUtime=6.29 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 20278 0 0 0 623 6 0 0 25 0 1 0 12993662 13561856 583 1992294400 134512640 137138936 4293195680 18446744073709551615 135465175 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 3311 583 283 642 0 2667 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13244 [startup+12.7018 s] /proc/loadavg: 0.87 0.97 0.99 2/107 16429 /proc/meminfo: memFree=1834388/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=13324 CPUtime=12.69 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 53362 0 0 0 1254 15 0 0 25 0 1 0 12993662 13643776 719 1992294400 134512640 137138936 4293195680 18446744073709551615 135434240 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 3331 719 291 642 0 2687 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13324 [startup+25.5013 s] /proc/loadavg: 0.90 0.97 0.99 2/107 16429 /proc/meminfo: memFree=1832528/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=15956 CPUtime=25.48 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 130576 0 0 0 2510 38 0 0 25 0 1 0 12993662 16338944 1107 1992294400 134512640 137138936 4293195680 18446744073709551615 135438370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 3989 1107 291 642 0 3345 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15956 [startup+51.1013 s] /proc/loadavg: 0.93 0.97 0.99 2/107 16431 /proc/meminfo: memFree=1832156/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=16876 CPUtime=51.07 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 244030 0 0 0 5032 75 0 0 25 0 1 0 12993662 17281024 1301 1992294400 134512640 137138936 4293195680 18446744073709551615 135463917 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 4219 1301 291 642 0 3575 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16876 [startup+102.308 s] /proc/loadavg: 0.97 0.97 0.99 2/107 16431 /proc/meminfo: memFree=1806240/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=40132 CPUtime=102.26 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 927461 0 0 0 9947 279 0 0 25 0 1 0 12993662 41095168 7708 1992294400 134512640 137138936 4293195680 18446744073709551615 134912018 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 10067 7717 291 642 0 9423 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 40132 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16433 /proc/meminfo: memFree=1770900/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=77392 CPUtime=162.24 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 1937688 0 0 0 15597 627 0 0 25 0 1 0 12993662 79249408 16494 1992294400 134512640 137138936 4293195680 18446744073709551615 134730632 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 19348 16494 291 642 0 18704 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 77392 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16435 /proc/meminfo: memFree=1770528/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=78088 CPUtime=222.22 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 2163503 0 0 0 21508 714 0 0 25 0 1 0 12993662 79962112 16558 1992294400 134512640 137138936 4293195680 18446744073709551615 135466094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 19522 16558 291 642 0 18878 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 78088 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16437 /proc/meminfo: memFree=1770528/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=78784 CPUtime=282.19 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 2454575 0 0 0 27356 863 0 0 25 0 1 0 12993662 80674816 16636 1992294400 134512640 137138936 4293195680 18446744073709551615 135466079 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 19696 16636 291 642 0 19052 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 78784 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16439 /proc/meminfo: memFree=1759244/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=88860 CPUtime=342.17 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 2931203 0 0 0 33133 1084 0 0 25 0 1 0 12993662 90992640 19419 1992294400 134512640 137138936 4293195680 18446744073709551615 135404686 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 22215 19419 291 642 0 21571 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 88860 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16439 /proc/meminfo: memFree=1749944/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=98468 CPUtime=402.15 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 3398798 0 0 0 38905 1310 0 0 25 0 1 0 12993662 100831232 21635 1992294400 134512640 137138936 4293195680 18446744073709551615 135447532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 24617 21635 291 642 0 23973 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 98468 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16441 /proc/meminfo: memFree=1746224/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=99800 CPUtime=462.13 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 3855467 0 0 0 44653 1560 0 0 25 0 1 0 12993662 102195200 22625 1992294400 134512640 137138936 4293195680 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 24950 22625 291 642 0 24306 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 99800 [startup+522.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16443 /proc/meminfo: memFree=1742380/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=106360 CPUtime=522.1 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 4300008 0 0 0 50415 1795 0 0 25 0 1 0 12993662 108912640 23616 1992294400 134512640 137138936 4293195680 18446744073709551615 134850647 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 26590 23616 291 642 0 25946 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 106360 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16445 /proc/meminfo: memFree=1741760/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=107336 CPUtime=582.09 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 4674538 0 0 0 56194 2015 0 0 25 0 1 0 12993662 109912064 23752 1992294400 134512640 137138936 4293195680 18446744073709551615 135440705 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 26834 23752 291 642 0 26190 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 107336 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16447 /proc/meminfo: memFree=1733328/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=115020 CPUtime=642.07 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 5130196 0 0 0 61946 2261 0 0 25 0 1 0 12993662 117780480 25813 1992294400 134512640 137138936 4293195680 18446744073709551615 134732308 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 28755 25813 291 642 0 28111 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 115020 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1723408/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=124040 CPUtime=1121.9 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 8149835 0 0 0 108213 3977 0 0 25 0 1 0 12993662 127016960 28106 1992294400 134512640 137138936 4293195680 18446744073709551615 134869030 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30424 28099 291 642 0 29780 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 124040 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16461 /proc/meminfo: memFree=1723408/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=123060 CPUtime=1181.88 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 8425121 0 0 0 114039 4149 0 0 25 0 1 0 12993662 126013440 28103 1992294400 134512640 137138936 4293195680 18446744073709551615 135412751 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30765 28103 291 642 0 30121 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 123060 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16463 /proc/meminfo: memFree=1723284/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=122700 CPUtime=1241.86 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 8678230 0 0 0 119865 4321 0 0 25 0 1 0 12993662 125644800 28102 1992294400 134512640 137138936 4293195680 18446744073709551615 135381386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30759 28103 291 642 0 30115 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 122700 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16463 /proc/meminfo: memFree=1723160/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=122700 CPUtime=1301.84 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 8809177 0 0 0 125759 4425 0 0 25 0 1 0 12993662 125644800 28103 1992294400 134512640 137138936 4293195680 18446744073709551615 134730668 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30507 28101 291 642 0 29863 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 122700 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16465 /proc/meminfo: memFree=1723160/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=122028 CPUtime=1361.82 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 8892569 0 0 0 131663 4519 0 0 25 0 1 0 12993662 124956672 28101 1992294400 134512640 137138936 4293195680 18446744073709551615 135568063 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30507 28101 291 642 0 29863 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 122028 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16467 /proc/meminfo: memFree=1723036/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=122032 CPUtime=1421.8 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 8976013 0 0 0 137585 4595 0 0 25 0 1 0 12993662 124960768 28102 1992294400 134512640 137138936 4293195680 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30508 28102 291 642 0 29864 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 122032 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16469 /proc/meminfo: memFree=1723036/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=122700 CPUtime=1481.77 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 9050580 0 0 0 143498 4679 0 0 25 0 1 0 12993662 125644800 28105 1992294400 134512640 137138936 4293195680 18446744073709551615 135381560 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30675 28105 291 642 0 30031 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 122700 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16471 /proc/meminfo: memFree=1723036/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=122032 CPUtime=1541.75 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 9116360 0 0 0 149416 4759 0 0 25 0 1 0 12993662 124960768 28103 1992294400 134512640 137138936 4293195680 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30508 28103 291 642 0 29864 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 122032 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16471 /proc/meminfo: memFree=1723036/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=123556 CPUtime=1601.73 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 9187980 0 0 0 155339 4834 0 0 25 0 1 0 12993662 126521344 28170 1992294400 134512640 137138936 4293195680 18446744073709551615 135445889 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30889 28170 291 642 0 30245 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 123556 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16473 /proc/meminfo: memFree=1723036/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=122504 CPUtime=1661.71 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 9239977 0 0 0 161314 4857 0 0 25 0 1 0 12993662 125444096 28107 1992294400 134512640 137138936 4293195680 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30626 28107 291 642 0 29982 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 122504 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16475 /proc/meminfo: memFree=1723036/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=122508 CPUtime=1721.69 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 9259469 0 0 0 167302 4867 0 0 25 0 1 0 12993662 125448192 28109 1992294400 134512640 137138936 4293195680 18446744073709551615 134734512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30627 28109 291 642 0 29983 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 122508 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16477 /proc/meminfo: memFree=1722912/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=123588 CPUtime=1781.67 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 9271559 0 0 0 173290 4877 0 0 25 0 1 0 12993662 126554112 28213 1992294400 134512640 137138936 4293195680 18446744073709551615 135344103 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30897 28213 291 642 0 30253 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 123588 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16477 /proc/meminfo: memFree=1722912/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=122508 CPUtime=1791.28 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 9277769 0 0 0 174248 4880 0 0 25 0 1 0 12993662 125448192 28105 1992294400 134512640 137138936 4293195680 18446744073709551615 135449954 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30627 28105 291 642 0 29983 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 122508 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16477 /proc/meminfo: memFree=1722912/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=122508 CPUtime=1794.47 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 9277769 0 0 0 174567 4880 0 0 25 0 1 0 12993662 125448192 28105 1992294400 134512640 137138936 4293195680 18446744073709551615 134923824 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30627 28105 291 642 0 29983 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (KiB) 122508 [startup+1796.7 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16477 /proc/meminfo: memFree=1722912/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=122508 CPUtime=1796.06 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 9277769 0 0 0 174726 4880 0 0 25 0 1 0 12993662 125448192 28105 1992294400 134512640 137138936 4293195680 18446744073709551615 136504137 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30627 28105 291 642 0 29983 0 Current children cumulated CPU time (s) 1796.06 Current children cumulated vsize (KiB) 122508 [startup+1797.5 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16477 /proc/meminfo: memFree=1722912/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=122508 CPUtime=1796.86 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 9277769 0 0 0 174806 4880 0 0 25 0 1 0 12993662 125448192 28105 1992294400 134512640 137138936 4293195680 18446744073709551615 134751002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30627 28105 291 642 0 29983 0 Current children cumulated CPU time (s) 1796.86 Current children cumulated vsize (KiB) 122508 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16477 /proc/meminfo: memFree=1722912/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=122508 CPUtime=1797.66 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 9277769 0 0 0 174886 4880 0 0 25 0 1 0 12993662 125448192 28105 1992294400 134512640 137138936 4293195680 18446744073709551615 135379190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30627 28105 291 642 0 29983 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (KiB) 122508 [startup+1798.51 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16477 /proc/meminfo: memFree=1722912/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=122508 CPUtime=1797.87 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 9277769 0 0 0 174907 4880 0 0 25 0 1 0 12993662 125448192 28105 1992294400 134512640 137138936 4293195680 18446744073709551615 135447627 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30627 28105 291 642 0 29983 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 122508 [startup+1798.6 s] /proc/loadavg: 0.99 0.97 0.99 2/107 16477 /proc/meminfo: memFree=1722912/2059040 swapFree=4136164/4192956 [pid=16428] ppid=16426 vsize=122508 CPUtime=1797.96 /proc/16428/stat : 16428 (bsolo_pb10) R 16426 16428 16403 0 -1 4202496 9277769 0 0 0 174916 4880 0 0 25 0 1 0 12993662 125448192 28105 1992294400 134512640 137138936 4293195680 18446744073709551615 134730664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16428/statm: 30627 28105 291 642 0 29983 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 122508 Child status: 0 Real time (s): 1798.65 CPU time (s): 1798.02 CPU user time (s): 1749.2 CPU system time (s): 48.8186 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 125656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1749.2 system time used= 48.8186 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9277769 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= 1 involuntary context switches= 3436 runsolver used 2.84257 second user time and 8.61169 second system time The end
Begin job on node011 at 2010-06-12 22:18:41 IDJOB=2657372 IDBENCH=1962 IDSOLVER=1163 FILE ID=node011/2657372-1276373921 PBS_JOBID= 11173233 Free space on /tmp= 62264 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657372-1276373921/watcher-2657372-1276373921 -o /tmp/evaluation-result-2657372-1276373921/solver-2657372-1276373921 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657372-1276373921.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1e2b8f542cc5dec610d6e9b4663a878b RANDOM SEED=1669078915 node011.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 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.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1837280 kB Buffers: 49860 kB Cached: 110068 kB SwapCached: 11036 kB Active: 93604 kB Inactive: 79728 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1837280 kB SwapTotal: 4192956 kB SwapFree: 4136164 kB Dirty: 4160 kB Writeback: 0 kB AnonPages: 10608 kB Mapped: 9064 kB Slab: 26568 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180704 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62260 MiB End job on node011 at 2010-06-12 22:48:40