Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 220 | 1798.02 | 1798.45 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb |
MD5SUM | 9828b7020b058ee74169951dda258843 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 191 |
Best CPU time to get the best result obtained on this benchmark | 1800.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 186 |
Optimality of the best value was proved | NO |
Number of variables | 476 |
Total number of constraints | 476 |
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 | 476 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 476 |
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 | 476 |
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 | 476 |
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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656455-1276364667.opb 0.00/0.00 c File size is 43369 bytes. 0.00/0.00 c Highest Coefficient sum: 476 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.007 s 0.00/0.01 c Var: 476 Constr: 476 0/0/476 Lit: 4278 Watch. Lit: 1533 0.00/0.01 c Obj. Vars: 476 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.012 s 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 0 476 476 4278 8 1989 8556 0 0 0.01 0.89/0.91 c Initial Lower Bound: 144 0.89/0.91 c Initial Path Cost: 0 0.89/0.91 o 227 7.08/7.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.20 c 0 476 477 4754 9 2500 9556 1 0 0.92 7.08/7.20 o 226 29.99/30.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.99/30.05 c 2 476 480 5697 11 2752 9556 4 0 7.20 29.99/30.05 c 102 476 722 66552 92 3255 10512 246 6 14.66 29.99/30.05 c 354 476 1453 261675 180 4698 11564 977 15 23.09 29.99/30.05 o 224 96.17/96.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 96.17/96.21 c 354 476 1454 262151 180 4981 9556 978 11 30.05 96.17/96.21 c 454 476 1658 311179 187 5409 10512 1182 11 38.00 96.17/96.21 c 705 476 2292 475292 207 6641 11564 1816 15 46.43 96.17/96.21 c 1181 476 3703 850413 229 9456 12721 3227 20 57.20 96.17/96.21 c 1994 476 6006 1423261 236 14131 13994 5530 28 69.42 96.17/96.21 c 3314 476 8466 2022640 238 19014 15394 7990 40 82.10 96.17/96.21 o 223 103.37/103.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 103.37/103.49 c 4847 476 11808 2821572 238 25952 9556 11332 50 96.19 103.37/103.49 o 222 167.85/167.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 167.85/167.99 c 4848 476 5258 1160064 220 12346 9556 4782 46 103.47 167.85/167.99 c 4948 476 5547 1235358 222 12950 10512 5071 44 112.07 167.85/167.99 c 5198 476 6284 1452863 231 14440 11564 5808 43 120.67 167.85/167.99 c 5673 476 7653 1847042 241 17178 12721 7177 43 131.10 167.85/167.99 c 6487 476 10035 2507863 249 21923 13994 9559 45 143.01 167.85/167.99 c 7807 476 13811 3587934 259 29529 15394 13335 49 158.48 167.85/167.99 o 221 233.24/233.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 233.24/233.30 c 8331 476 14751 3813999 258 31566 9556 14275 49 167.96 233.24/233.30 c 8431 476 5553 1428929 257 12702 10512 5077 47 177.36 233.24/233.30 c 8681 476 6296 1651848 262 14201 11564 5820 46 187.35 233.24/233.30 c 9157 476 7694 2053432 266 16963 12721 7218 46 198.26 233.24/233.30 c 9971 476 10028 2686090 267 21641 13994 9552 47 210.93 233.24/233.30 c 11291 476 13153 3468313 263 27866 15394 12677 50 224.96 233.24/233.30 o 220 1797.96/1798.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.43 c 11426 476 13524 3561075 263 28890 9556 13048 48 233.25 1797.96/1798.43 c 11526 476 5546 1348288 243 12698 10512 5070 47 242.08 1797.96/1798.43 c 11777 476 6254 1560421 249 14103 11564 5778 46 251.78 1797.96/1798.43 c 12252 476 7590 1968027 259 16792 12721 7114 46 263.56 1797.96/1798.43 c 13067 476 9909 2572546 259 21390 13994 9433 47 275.20 1797.96/1798.43 c 14387 476 13506 3472588 257 28587 15394 13030 49 290.07 1797.96/1798.43 c 16468 476 11370 2945500 259 24514 16934 10894 53 310.43 1797.96/1798.43 c 19691 476 11380 2918015 256 24474 18628 10904 58 336.73 1797.96/1798.43 c 24628 476 16060 4203067 261 33744 20491 15584 65 374.73 1797.96/1798.43 c 32135 476 16793 4407795 262 35204 22541 16317 74 432.48 1797.96/1798.43 c 43497 476 14984 3916739 261 31590 24796 14508 84 517.66 1797.96/1798.43 c 60642 476 13310 3434335 258 28226 27276 12834 93 649.32 1797.96/1798.43 c 86461 476 16252 4145945 255 34094 30004 15776 102 846.53 1797.96/1798.43 c 125294 476 21348 5558931 260 44347 33005 20872 109 1145.87 1797.96/1798.43 c 183646 476 21903 5759210 262 45423 36306 21427 113 1615.93 1797.96/1798.43 c Resources Exceeded 1797.96/1798.43 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 x474 x475 -x476 1797.96/1798.43 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.43 c 38 205643 40082 285848 29450 7512989 28974 114 1798.00 1797.96/1798.43 c Objective: 220 1797.96/1798.43 s SATISFIABLE 1797.96/1798.43 c Total time: 1798 s
OK 220
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656455-1276364667/watcher-2656455-1276364667 -o /tmp/evaluation-result-2656455-1276364667/solver-2656455-1276364667 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656455-1276364667.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.84 2.13 1.89 3/106 12302 /proc/meminfo: memFree=1796148/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=10836 CPUtime=0 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 317 0 0 0 0 0 0 0 20 0 1 0 10122112 11096064 235 1992294400 134512640 137138936 4293105168 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 2709 236 174 642 0 2054 0 [startup+0.0217791 s] /proc/loadavg: 1.84 2.13 1.89 3/106 12302 /proc/meminfo: memFree=1796148/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=11016 CPUtime=0.02 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 435 0 0 0 2 0 0 0 20 0 1 0 10122112 11280384 342 1992294400 134512640 137138936 4293105168 18446744073709551615 134712115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 2754 342 218 642 0 2110 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11016 [startup+0.101785 s] /proc/loadavg: 1.84 2.13 1.89 3/106 12302 /proc/meminfo: memFree=1796148/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=12316 CPUtime=0.09 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 709 0 0 0 9 0 0 0 20 0 1 0 10122112 12611584 610 1992294400 134512640 137138936 4293105168 18446744073709551615 135456393 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 3079 610 278 642 0 2435 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12316 [startup+0.301799 s] /proc/loadavg: 1.84 2.13 1.89 3/106 12302 /proc/meminfo: memFree=1796148/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=12600 CPUtime=0.29 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 866 0 0 0 29 0 0 0 20 0 1 0 10122112 12902400 691 1992294400 134512640 137138936 4293105168 18446744073709551615 135466156 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 3150 691 278 642 0 2506 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12600 [startup+0.701832 s] /proc/loadavg: 1.84 2.13 1.89 3/106 12302 /proc/meminfo: memFree=1796148/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=13308 CPUtime=0.69 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 1410 0 0 0 69 0 0 0 21 0 1 0 10122112 13627392 763 1992294400 134512640 137138936 4293105168 18446744073709551615 135440702 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 3327 763 278 642 0 2683 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13308 [startup+1.5019 s] /proc/loadavg: 1.77 2.11 1.89 2/107 12303 /proc/meminfo: memFree=1794528/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=13508 CPUtime=1.49 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 3813 0 0 0 148 1 0 0 23 0 1 0 10122112 13832192 649 1992294400 134512640 137138936 4293105168 18446744073709551615 134768725 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 3377 649 283 642 0 2733 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13508 [startup+3.10102 s] /proc/loadavg: 1.77 2.11 1.89 2/107 12303 /proc/meminfo: memFree=1794280/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=13676 CPUtime=3.09 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 7687 0 0 0 306 3 0 0 25 0 1 0 10122112 14004224 570 1992294400 134512640 137138936 4293105168 18446744073709551615 135456378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 3419 570 283 642 0 2775 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13676 [startup+6.30128 s] /proc/loadavg: 1.71 2.10 1.88 2/107 12303 /proc/meminfo: memFree=1794280/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=13408 CPUtime=6.29 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 21010 0 0 0 623 6 0 0 25 0 1 0 10122112 13729792 533 1992294400 134512640 137138936 4293105168 18446744073709551615 135446760 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 3352 533 283 642 0 2708 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13408 [startup+12.7008 s] /proc/loadavg: 1.65 2.08 1.88 2/107 12303 /proc/meminfo: memFree=1794280/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=13736 CPUtime=12.69 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 44466 0 0 0 1255 14 0 0 25 0 1 0 10122112 14065664 640 1992294400 134512640 137138936 4293105168 18446744073709551615 135344034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 3434 640 288 642 0 2790 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13736 [startup+25.5008 s] /proc/loadavg: 1.50 2.02 1.86 2/107 12303 /proc/meminfo: memFree=1790932/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=17340 CPUtime=25.48 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 129886 0 0 0 2510 38 0 0 25 0 1 0 10122112 17756160 1453 1992294400 134512640 137138936 4293105168 18446744073709551615 135464386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 4335 1453 288 642 0 3691 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17340 [startup+51.1008 s] /proc/loadavg: 1.41 1.96 1.84 2/107 12305 /proc/meminfo: memFree=1787832/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=20364 CPUtime=51.07 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 264603 0 0 0 5027 80 0 0 25 0 1 0 10122112 20852736 2202 1992294400 134512640 137138936 4293105168 18446744073709551615 134734499 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 5091 2202 292 642 0 4447 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20364 [startup+102.309 s] /proc/loadavg: 1.25 1.82 1.80 2/107 12307 /proc/meminfo: memFree=1757080/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=51388 CPUtime=102.27 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 919461 0 0 0 9942 285 0 0 25 0 1 0 10122112 52621312 9796 1992294400 134512640 137138936 4293105168 18446744073709551615 135466083 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 12847 9796 292 642 0 12203 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 51388 [startup+162.302 s] /proc/loadavg: 1.16 1.69 1.76 2/107 12307 /proc/meminfo: memFree=1744060/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=64460 CPUtime=162.25 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 1234560 0 0 0 15804 421 0 0 25 0 1 0 10122112 66007040 12907 1992294400 134512640 137138936 4293105168 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 16115 12899 292 642 0 15471 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 64460 [startup+222.301 s] /proc/loadavg: 1.13 1.58 1.71 2/107 12309 /proc/meminfo: memFree=1744060/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=61192 CPUtime=222.24 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 1532840 0 0 0 21676 548 0 0 25 0 1 0 10122112 62660608 12971 1992294400 134512640 137138936 4293105168 18446744073709551615 134602766 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 15298 12971 292 642 0 14654 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 61192 [startup+282.301 s] /proc/loadavg: 1.04 1.47 1.66 2/107 12311 /proc/meminfo: memFree=1743936/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=63840 CPUtime=282.22 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 1756478 0 0 0 27570 652 0 0 25 0 1 0 10122112 65372160 12995 1992294400 134512640 137138936 4293105168 18446744073709551615 134734496 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 15960 12995 292 642 0 15316 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 63840 [startup+342.301 s] /proc/loadavg: 1.01 1.38 1.62 2/107 12313 /proc/meminfo: memFree=1730544/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=77756 CPUtime=342.21 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 2189217 0 0 0 33371 850 0 0 25 0 1 0 10122112 79622144 16373 1992294400 134512640 137138936 4293105168 18446744073709551615 135457396 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 19439 16373 292 642 0 18795 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 77756 [startup+402.302 s] /proc/loadavg: 1.00 1.31 1.58 2/107 12315 /proc/meminfo: memFree=1718516/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=88132 CPUtime=402.2 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 2659541 0 0 0 39141 1079 0 0 25 0 1 0 10122112 90247168 19411 1992294400 134512640 137138936 4293105168 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 22146 19414 292 642 0 21502 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 88132 [startup+462.302 s] /proc/loadavg: 1.00 1.25 1.54 2/107 12315 /proc/meminfo: memFree=1711076/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=94348 CPUtime=462.18 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 3057852 0 0 0 44927 1291 0 0 25 0 1 0 10122112 96612352 21263 1992294400 134512640 137138936 4293105168 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 23587 21263 292 642 0 22943 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 94348 [startup+522.301 s] /proc/loadavg: 1.00 1.20 1.50 2/107 12317 /proc/meminfo: memFree=1709092/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=98132 CPUtime=522.17 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 3382224 0 0 0 50727 1490 0 0 25 0 1 0 10122112 100487168 21662 1992294400 134512640 137138936 4293105168 18446744073709551615 135382816 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 24533 21663 292 642 0 23889 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 98132 [startup+582.301 s] /proc/loadavg: 1.05 1.18 1.47 2/107 12319 /proc/meminfo: memFree=1703636/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=101704 CPUtime=582.16 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 3783407 0 0 0 56509 1707 0 0 25 0 1 0 10122112 104144896 23102 1992294400 134512640 137138936 4293105168 18446744073709551615 135744742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 25426 23102 292 642 0 24782 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 101704 [startup+642.301 s] /proc/loadavg: 1.02 1.14 1.44 2/107 12321 /proc/meminfo: memFree=1703140/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=102172 CPUtime=642.15 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 4120384 0 0 0 62303 1912 0 0 25 0 1 0 10122112 104624128 23219 1992294400 134512640 137138936 4293105168 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 25543 23219 292 642 0 24899 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 102172 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1681068/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=123116 CPUtime=1122.01 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 6907472 0 0 0 108642 3559 0 0 25 0 1 0 10122112 126070784 28455 1992294400 134512640 137138936 4293105168 18446744073709551615 134909751 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 30779 28455 292 642 0 30135 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 123116 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.23 2/107 12344 /proc/meminfo: memFree=1672884/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=131780 CPUtime=1182 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 7270194 0 0 0 114444 3756 0 0 25 0 1 0 10122112 134942720 30621 1992294400 134512640 137138936 4293105168 18446744073709551615 134599793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 32945 30621 292 642 0 32301 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 131780 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.21 2/107 12346 /proc/meminfo: memFree=1667428/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=139636 CPUtime=1241.99 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 7634556 0 0 0 120228 3971 0 0 25 0 1 0 10122112 142987264 31987 1992294400 134512640 137138936 4293105168 18446744073709551615 134732330 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 34909 31987 292 642 0 34265 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 139636 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.20 2/107 12348 /proc/meminfo: memFree=1667428/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=139648 CPUtime=1301.98 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 7924617 0 0 0 126043 4155 0 0 25 0 1 0 10122112 142999552 31988 1992294400 134512640 137138936 4293105168 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 34912 31988 292 642 0 34268 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 139648 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.18 2/107 12348 /proc/meminfo: memFree=1667428/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=137196 CPUtime=1361.96 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 8229736 0 0 0 131852 4344 0 0 25 0 1 0 10122112 140488704 31975 1992294400 134512640 137138936 4293105168 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 34299 31975 292 642 0 33655 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 137196 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.17 2/107 12350 /proc/meminfo: memFree=1667428/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=137136 CPUtime=1421.95 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 8527588 0 0 0 137665 4530 0 0 25 0 1 0 10122112 140427264 31960 1992294400 134512640 137138936 4293105168 18446744073709551615 134750870 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 34284 31960 292 642 0 33640 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 137136 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.16 2/107 12352 /proc/meminfo: memFree=1667304/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=137132 CPUtime=1481.93 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 8838663 0 0 0 143457 4736 0 0 25 0 1 0 10122112 140423168 31959 1992294400 134512640 137138936 4293105168 18446744073709551615 134750212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 34283 31959 292 642 0 33639 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 137132 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 12354 /proc/meminfo: memFree=1667304/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=139556 CPUtime=1541.91 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 9139136 0 0 0 149271 4920 0 0 25 0 1 0 10122112 142905344 31965 1992294400 134512640 137138936 4293105168 18446744073709551615 135251734 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 34889 31965 292 642 0 34245 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 139556 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 12356 /proc/meminfo: memFree=1667304/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=137120 CPUtime=1601.91 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 9427306 0 0 0 155082 5109 0 0 25 0 1 0 10122112 140410880 31956 1992294400 134512640 137138936 4293105168 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 34280 31956 292 642 0 33636 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 137120 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 12356 /proc/meminfo: memFree=1662592/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=142156 CPUtime=1661.89 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 9772270 0 0 0 160891 5298 0 0 25 0 1 0 10122112 145567744 33183 1992294400 134512640 137138936 4293105168 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 35539 33183 292 642 0 34895 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 142156 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 12358 /proc/meminfo: memFree=1662468/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=142012 CPUtime=1721.87 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 10110711 0 0 0 166674 5513 0 0 25 0 1 0 10122112 145420288 33179 1992294400 134512640 137138936 4293105168 18446744073709551615 134607111 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 35503 33179 292 642 0 34859 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 142012 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 12360 /proc/meminfo: memFree=1662344/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=142044 CPUtime=1781.86 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 10411829 0 0 0 172470 5716 0 0 25 0 1 0 10122112 145453056 33187 1992294400 134512640 137138936 4293105168 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 35511 33187 292 642 0 34867 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 142044 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.10 2/107 12360 /proc/meminfo: memFree=1662344/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=143876 CPUtime=1791.46 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 10461666 0 0 0 173397 5749 0 0 25 0 1 0 10122112 147329024 33193 1992294400 134512640 137138936 4293105168 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 35969 33193 292 642 0 35325 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 143876 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.10 2/107 12360 /proc/meminfo: memFree=1662344/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=144688 CPUtime=1794.66 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 10481337 0 0 0 173706 5760 0 0 25 0 1 0 10122112 148160512 33196 1992294400 134512640 137138936 4293105168 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 36172 33196 292 642 0 35528 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (KiB) 144688 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.10 2/107 12360 /proc/meminfo: memFree=1662344/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=144676 CPUtime=1796.26 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 10490386 0 0 0 173860 5766 0 0 25 0 1 0 10122112 148148224 33196 1992294400 134512640 137138936 4293105168 18446744073709551615 134730672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 36169 33196 292 642 0 35525 0 Current children cumulated CPU time (s) 1796.26 Current children cumulated vsize (KiB) 144676 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.10 2/107 12360 /proc/meminfo: memFree=1662344/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=144716 CPUtime=1797.06 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 10494737 0 0 0 173938 5768 0 0 25 0 1 0 10122112 148189184 33196 1992294400 134512640 137138936 4293105168 18446744073709551615 134868983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 35511 33187 292 642 0 34867 0 Current children cumulated CPU time (s) 1797.06 Current children cumulated vsize (KiB) 144716 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.10 2/107 12360 /proc/meminfo: memFree=1662344/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=142044 CPUtime=1797.45 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 10497202 0 0 0 173976 5769 0 0 25 0 1 0 10122112 145453056 33187 1992294400 134512640 137138936 4293105168 18446744073709551615 136505802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 35511 33187 292 642 0 34867 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (KiB) 142044 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 12360 /proc/meminfo: memFree=1662344/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=142044 CPUtime=1797.85 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 10499424 0 0 0 174014 5771 0 0 25 0 1 0 10122112 145453056 33187 1992294400 134512640 137138936 4293105168 18446744073709551615 134828910 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 35511 33187 292 642 0 34867 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 142044 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.10 2/107 12360 /proc/meminfo: memFree=1662344/2059040 swapFree=4136596/4192956 [pid=12302] ppid=12300 vsize=142044 CPUtime=1797.96 /proc/12302/stat : 12302 (bsolo_pb10) R 12300 12302 11984 0 -1 4202496 10499953 0 0 0 174025 5771 0 0 25 0 1 0 10122112 145453056 33187 1992294400 134512640 137138936 4293105168 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12302/statm: 35511 33187 292 642 0 34867 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 142044 Child status: 0 Real time (s): 1798.45 CPU time (s): 1798.02 CPU user time (s): 1740.28 CPU system time (s): 57.7362 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 144796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1740.28 system time used= 57.7362 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10500093 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= 23996 runsolver used 3.07253 second user time and 8.38772 second system time The end
Begin job on node026 at 2010-06-12 19:44:27 IDJOB=2656455 IDBENCH=1950 IDSOLVER=1162 FILE ID=node026/2656455-1276364667 PBS_JOBID= 11173218 Free space on /tmp= 62508 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656455-1276364667/watcher-2656455-1276364667 -o /tmp/evaluation-result-2656455-1276364667/solver-2656455-1276364667 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656455-1276364667.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9828b7020b058ee74169951dda258843 RANDOM SEED=1280787358 node026.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.201 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.40 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.201 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1796552 kB Buffers: 51192 kB Cached: 120644 kB SwapCached: 22412 kB Active: 105852 kB Inactive: 91344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1796552 kB SwapTotal: 4192956 kB SwapFree: 4136596 kB Dirty: 4024 kB Writeback: 4 kB AnonPages: 10696 kB Mapped: 9156 kB Slab: 43464 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179844 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= 62508 MiB End job on node026 at 2010-06-12 20:14:26