Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 223 | 1798.62 | 1799.35 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb |
MD5SUM | 90154dd1b8a90675a35ad37cbef52f77 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 194 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 189 |
Optimality of the best value was proved | NO |
Number of variables | 481 |
Total number of constraints | 481 |
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 | 481 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 481 |
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 | 481 |
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 | 481 |
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-2656573-1276363878.opb 0.00/0.00 c File size is 43841 bytes. 0.00/0.00 c Highest Coefficient sum: 481 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: 481 Constr: 481 0/0/481 Lit: 4331 Watch. Lit: 1563 0.00/0.01 c Obj. Vars: 481 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.012 s 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 0 481 481 4331 9 2030 8662 0 0 0.01 0.59/0.68 c Initial Lower Bound: 147 0.59/0.68 c Initial Path Cost: 0 0.59/0.69 o 237 7.39/7.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.39/7.47 c 0 481 482 4812 9 2489 9662 1 0 0.69 7.39/7.47 o 236 15.09/15.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.09/15.11 c 10 481 493 7729 15 2759 9662 12 1 7.46 15.09/15.11 o 230 31.37/31.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.37/31.45 c 10 481 494 8210 16 3078 9662 13 0 15.11 31.37/31.45 c 111 481 796 88447 111 3762 10629 315 4 23.64 31.37/31.45 o 229 46.68/46.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 46.68/46.72 c 112 481 798 89162 111 3925 9662 317 3 31.44 46.68/46.72 c 213 481 1091 163770 150 4547 10629 610 5 39.62 46.68/46.72 o 227 53.97/54.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 53.97/54.06 c 213 481 1092 164251 150 4784 9662 611 4 46.70 53.97/54.06 o 226 101.55/101.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 101.55/101.63 c 248 481 1153 179425 155 5166 9662 672 4 54.04 101.55/101.63 c 348 481 1444 265584 183 5746 10629 963 5 62.97 101.55/101.63 c 598 481 2153 451608 209 7173 11692 1672 8 72.31 101.55/101.63 c 1074 481 3341 754232 225 9567 12862 2860 13 82.38 101.55/101.63 c 1888 481 5348 1251320 233 13777 14149 4867 20 94.31 101.55/101.63 o 225 1040.87/1041.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1040.87/1041.39 c 2017 481 5702 1338010 234 14745 9662 5221 19 101.59 1040.87/1041.39 c 2117 481 5982 1410969 235 15340 10629 5501 19 110.14 1040.87/1041.39 c 2368 481 6708 1611133 240 16798 11692 6227 19 119.52 1040.87/1041.39 c 2843 481 8013 1957039 244 19378 12862 7532 22 129.00 1040.87/1041.39 c 3657 481 10385 2651487 255 24131 14149 9904 25 140.85 1040.87/1041.39 c 4977 481 14045 3657048 260 31465 15564 13564 31 155.55 1040.87/1041.39 c 7058 481 11929 3210573 269 25500 17121 11448 40 176.08 1040.87/1041.39 c 10281 481 11824 3119060 263 25282 18834 11343 50 205.57 1040.87/1041.39 c 15217 481 16513 4481891 271 34629 20718 16032 62 243.77 1040.87/1041.39 c 22724 481 16787 4649580 276 35188 22790 16306 75 301.27 1040.87/1041.39 c 34086 481 14126 4033324 285 29901 25070 13645 86 392.42 1040.87/1041.39 c 51230 481 24098 6404514 265 49823 27578 23617 96 529.82 1040.87/1041.39 c 77049 481 26351 7209655 273 54341 30336 25870 105 726.92 1040.87/1041.39 c 115881 481 16601 4262932 256 34836 33370 16120 112 1033.88 1040.87/1041.39 o 224 1103.25/1103.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1103.25/1103.77 c 115906 481 16667 4279919 256 35204 9662 16186 111 1040.98 1103.25/1103.77 c 116007 481 5615 1373442 244 12856 10629 5134 110 1049.79 1103.25/1103.77 c 116257 481 6346 1597776 251 14330 11692 5865 109 1058.37 1103.25/1103.77 c 116732 481 7746 2012388 259 17136 12862 7265 109 1069.19 1103.25/1103.77 c 117546 481 10098 2606115 258 21812 14149 9617 108 1080.78 1103.25/1103.77 c 118866 481 13995 3644876 260 29632 15564 13514 108 1095.98 1103.25/1103.77 o 223 1798.56/1799.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.56/1799.32 c 118866 481 13996 3645357 260 29835 9662 13515 107 1103.32 1798.56/1799.32 c 118967 481 5599 1374410 245 12835 10629 5118 107 1110.72 1798.56/1799.32 c 119218 481 6336 1582569 249 14305 11692 5855 106 1121.01 1798.56/1799.32 c 119693 481 7740 1984933 256 17108 12862 7259 105 1131.76 1798.56/1799.32 c 120506 481 10052 2666876 265 21740 14149 9571 105 1144.47 1798.56/1799.32 c 121826 481 13949 3812461 273 29517 15564 13468 104 1160.80 1798.56/1799.32 c 123907 481 11727 3067057 261 25059 17121 11246 104 1180.96 1798.56/1799.32 c 127132 481 12046 3271986 271 25697 18834 11565 105 1210.16 1798.56/1799.32 c 132068 481 16372 4432739 270 34406 20718 15891 105 1248.71 1798.56/1799.32 c 139575 481 16399 4511280 275 34432 22790 15918 106 1305.68 1798.56/1799.32 c 150937 481 13960 3680644 263 29529 25070 13479 108 1389.63 1798.56/1799.32 c 168082 481 25158 6820474 271 51916 27578 24677 111 1509.33 1798.56/1799.32 c 193902 481 14271 3923068 274 30170 30336 13790 113 1708.20 1798.56/1799.32 c Resources Exceeded 1798.56/1799.32 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 x477 -x478 x479 x480 -x481 1798.56/1799.32 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.56/1799.32 c 45 205390 38557 284209 15650 4210487 15169 114 1798.59 1798.56/1799.32 c Objective: 223 1798.56/1799.32 s SATISFIABLE 1798.56/1799.32 c Total time: 1798.59 s
OK 223
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656573-1276363878/watcher-2656573-1276363878 -o /tmp/evaluation-result-2656573-1276363878/solver-2656573-1276363878 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656573-1276363878.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 1.00 1.00 3/106 13540 /proc/meminfo: memFree=1580108/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=10836 CPUtime=0 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 11989468 11096064 237 1992294400 134512640 137138936 4288341552 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 2709 237 174 642 0 2054 0 [startup+0.0418371 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13540 /proc/meminfo: memFree=1580108/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=12100 CPUtime=0.03 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 591 0 0 0 3 0 0 0 20 0 1 0 11989468 12390400 499 1992294400 134512640 137138936 4288341552 18446744073709551615 135340221 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 3025 499 275 642 0 2381 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12100 [startup+0.100849 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13540 /proc/meminfo: memFree=1580108/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=12336 CPUtime=0.09 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 697 0 0 0 9 0 0 0 20 0 1 0 11989468 12632064 597 1992294400 134512640 137138936 4288341552 18446744073709551615 135466081 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 3084 597 278 642 0 2440 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12336 [startup+0.300892 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13540 /proc/meminfo: memFree=1580108/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=12928 CPUtime=0.29 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 958 0 0 0 29 0 0 0 20 0 1 0 11989468 13238272 693 1992294400 134512640 137138936 4288341552 18446744073709551615 135463915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 3232 693 278 642 0 2588 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12928 [startup+0.700977 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13540 /proc/meminfo: memFree=1580108/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=13224 CPUtime=0.69 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 1649 0 0 0 69 0 0 0 20 0 1 0 11989468 13541376 583 1992294400 134512640 137138936 4288341552 18446744073709551615 135251372 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 3306 583 283 642 0 2662 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13224 [startup+1.50115 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13541 /proc/meminfo: memFree=1578612/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=13336 CPUtime=1.48 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 4868 0 0 0 147 1 0 0 23 0 1 0 11989468 13656064 719 1992294400 134512640 137138936 4288341552 18446744073709551615 134734506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 3334 719 283 642 0 2690 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 13336 [startup+3.10149 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13541 /proc/meminfo: memFree=1578240/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=13292 CPUtime=3.09 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 9024 0 0 0 306 3 0 0 25 0 1 0 11989468 13611008 636 1992294400 134512640 137138936 4288341552 18446744073709551615 135463917 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 3323 637 283 642 0 2679 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13292 [startup+6.30117 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13541 /proc/meminfo: memFree=1578116/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=13720 CPUtime=6.29 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 21143 0 0 0 622 7 0 0 25 0 1 0 11989468 14049280 582 1992294400 134512640 137138936 4288341552 18446744073709551615 135466079 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 3430 582 283 642 0 2786 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13720 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13541 /proc/meminfo: memFree=1577744/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=14124 CPUtime=12.69 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 49248 0 0 0 1252 17 0 0 25 0 1 0 11989468 14462976 598 1992294400 134512640 137138936 4288341552 18446744073709551615 135446766 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 3531 598 288 642 0 2887 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14124 [startup+25.5003 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13541 /proc/meminfo: memFree=1576752/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=15428 CPUtime=25.48 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 112329 0 0 0 2511 37 0 0 25 0 1 0 11989468 15798272 948 1992294400 134512640 137138936 4288341552 18446744073709551615 135446772 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 3857 948 292 642 0 3213 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15428 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13543 /proc/meminfo: memFree=1576008/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=16512 CPUtime=51.07 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 224501 0 0 0 5034 73 0 0 25 0 1 0 11989468 16908288 1199 1992294400 134512640 137138936 4288341552 18446744073709551615 135457386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 4128 1199 292 642 0 3484 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16512 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13543 /proc/meminfo: memFree=1559640/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=32380 CPUtime=102.25 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 686457 0 0 0 10016 209 0 0 25 0 1 0 11989468 33157120 5256 1992294400 134512640 137138936 4288341552 18446744073709551615 135438619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 8095 5256 292 642 0 7451 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 32380 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13545 /proc/meminfo: memFree=1530128/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=62332 CPUtime=162.23 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 1294618 0 0 0 15831 392 0 0 25 0 1 0 11989468 63827968 12611 1992294400 134512640 137138936 4288341552 18446744073709551615 135470042 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 15583 12613 292 642 0 14939 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 62332 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13547 /proc/meminfo: memFree=1514008/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=75140 CPUtime=222.2 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 1815608 0 0 0 21604 616 0 0 25 0 1 0 11989468 76943360 16461 1992294400 134512640 137138936 4288341552 18446744073709551615 134828798 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 18785 16461 292 642 0 18141 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 75140 [startup+282.301 s] /proc/loadavg: 1.04 1.01 1.00 2/107 13549 /proc/meminfo: memFree=1497640/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=94036 CPUtime=282.18 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 2294239 0 0 0 27370 848 0 0 25 0 1 0 11989468 96292864 20643 1992294400 134512640 137138936 4288341552 18446744073709551615 134732336 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 23509 20643 292 642 0 22865 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 94036 [startup+342.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 13551 /proc/meminfo: memFree=1490820/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=98728 CPUtime=342.15 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 2678256 0 0 0 33158 1057 0 0 25 0 1 0 11989468 101097472 22358 1992294400 134512640 137138936 4288341552 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 24682 22358 292 642 0 24038 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 98728 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13551 /proc/meminfo: memFree=1481024/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=110180 CPUtime=402.13 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 3062534 0 0 0 38968 1245 0 0 25 0 1 0 11989468 112824320 24690 1992294400 134512640 137138936 4288341552 18446744073709551615 135445326 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 27545 24691 292 642 0 26901 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 110180 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13553 /proc/meminfo: memFree=1480776/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=110900 CPUtime=462.1 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 3436540 0 0 0 44747 1463 0 0 25 0 1 0 11989468 113561600 24851 1992294400 134512640 137138936 4288341552 18446744073709551615 134732370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 27725 24851 292 642 0 27081 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 110900 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13555 /proc/meminfo: memFree=1480652/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=108660 CPUtime=522.08 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 3763018 0 0 0 50544 1664 0 0 25 0 1 0 11989468 111267840 24841 1992294400 134512640 137138936 4288341552 18446744073709551615 136504393 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 27165 24841 292 642 0 26521 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 108660 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13557 /proc/meminfo: memFree=1466888/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=122460 CPUtime=582.06 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 4209202 0 0 0 56319 1887 0 0 25 0 1 0 11989468 125399040 28291 1992294400 134512640 137138936 4288341552 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 30615 28291 292 642 0 29971 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 122460 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13559 /proc/meminfo: memFree=1466392/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=125068 CPUtime=642.04 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 4546941 0 0 0 62111 2093 0 0 25 0 1 0 11989468 128069632 28404 1992294400 134512640 137138936 4288341552 18446744073709551615 134730668 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 31267 28404 292 642 0 30623 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 125068 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1463168/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=128232 CPUtime=1061.87 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 6876559 0 0 0 102720 3467 0 0 25 0 1 0 11989468 131309568 29152 1992294400 134512640 137138936 4288341552 18446744073709551615 135463577 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 32058 29152 292 642 0 31414 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 128232 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13571 /proc/meminfo: memFree=1463664/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=128320 CPUtime=1121.84 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 7147348 0 0 0 108592 3592 0 0 25 0 1 0 11989468 131399680 29024 1992294400 134512640 137138936 4288341552 18446744073709551615 134768875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 32080 29024 292 642 0 31436 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 128320 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13573 /proc/meminfo: memFree=1463664/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=128156 CPUtime=1181.82 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 7395979 0 0 0 114454 3728 0 0 25 0 1 0 11989468 131231744 29060 1992294400 134512640 137138936 4288341552 18446744073709551615 135456285 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 32039 29060 292 642 0 31395 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 128156 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13575 /proc/meminfo: memFree=1463540/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=124996 CPUtime=1241.79 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 7652884 0 0 0 120282 3897 0 0 25 0 1 0 11989468 127995904 28925 1992294400 134512640 137138936 4288341552 18446744073709551615 136504083 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 31249 28925 292 642 0 30605 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 124996 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13575 /proc/meminfo: memFree=1463416/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=125296 CPUtime=1301.77 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 7790751 0 0 0 126172 4005 0 0 25 0 1 0 11989468 128303104 28929 1992294400 134512640 137138936 4288341552 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 31324 28929 292 642 0 30680 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 125296 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13577 /proc/meminfo: memFree=1463416/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=124992 CPUtime=1361.75 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 7870554 0 0 0 132093 4082 0 0 25 0 1 0 11989468 127991808 28924 1992294400 134512640 137138936 4288341552 18446744073709551615 136504265 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 31248 28924 292 642 0 30604 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 124992 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13579 /proc/meminfo: memFree=1463540/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=125372 CPUtime=1421.73 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 7946892 0 0 0 138014 4159 0 0 25 0 1 0 11989468 128380928 28928 1992294400 134512640 137138936 4288341552 18446744073709551615 134556069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 31343 28928 292 642 0 30699 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 125372 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13581 /proc/meminfo: memFree=1463416/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=125372 CPUtime=1481.7 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8019340 0 0 0 143927 4243 0 0 25 0 1 0 11989468 128380928 28928 1992294400 134512640 137138936 4288341552 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 31343 28928 292 642 0 30699 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 125372 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13583 /proc/meminfo: memFree=1463416/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=125376 CPUtime=1541.68 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8090634 0 0 0 149853 4315 0 0 25 0 1 0 11989468 128385024 28929 1992294400 134512640 137138936 4288341552 18446744073709551615 135783051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 31344 28929 292 642 0 30700 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 125376 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13583 /proc/meminfo: memFree=1463416/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=125376 CPUtime=1601.65 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8157410 0 0 0 155767 4398 0 0 25 0 1 0 11989468 128385024 28929 1992294400 134512640 137138936 4288341552 18446744073709551615 136574033 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 31496 28931 292 642 0 30852 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 125376 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13585 /proc/meminfo: memFree=1463416/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=125376 CPUtime=1661.62 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8222050 0 0 0 161681 4481 0 0 25 0 1 0 11989468 128385024 28929 1992294400 134512640 137138936 4288341552 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 31344 28929 292 642 0 30700 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 125376 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13587 /proc/meminfo: memFree=1463416/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=125996 CPUtime=1721.6 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8287258 0 0 0 167605 4555 0 0 25 0 1 0 11989468 129019904 28931 1992294400 134512640 137138936 4288341552 18446744073709551615 134730585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 31499 28931 292 642 0 30855 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 125996 [startup+1782.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 13589 /proc/meminfo: memFree=1462548/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=127664 CPUtime=1781.58 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8486009 0 0 0 173459 4699 0 0 25 0 1 0 11989468 130727936 29175 1992294400 134512640 137138936 4288341552 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 31916 29176 292 642 0 31272 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 127664 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13598 /proc/meminfo: memFree=1461928/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=127656 CPUtime=1791.17 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8536847 0 0 0 174384 4733 0 0 25 0 1 0 11989468 130719744 29176 1992294400 134512640 137138936 4288341552 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 31914 29176 292 642 0 31270 0 Current children cumulated CPU time (s) 1791.17 Current children cumulated vsize (KiB) 127656 [startup+1795.1 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13598 /proc/meminfo: memFree=1461928/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=125976 CPUtime=1794.37 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8553891 0 0 0 174692 4745 0 0 25 0 1 0 11989468 128999424 29170 1992294400 134512640 137138936 4288341552 18446744073709551615 136511151 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 31494 29170 292 642 0 30850 0 Current children cumulated CPU time (s) 1794.37 Current children cumulated vsize (KiB) 125976 [startup+1796.7 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13598 /proc/meminfo: memFree=1461928/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=125976 CPUtime=1795.96 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8560934 0 0 0 174846 4750 0 0 25 0 1 0 11989468 128999424 29170 1992294400 134512640 137138936 4288341552 18446744073709551615 134712236 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 31494 29170 292 642 0 30850 0 Current children cumulated CPU time (s) 1795.96 Current children cumulated vsize (KiB) 125976 [startup+1798.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13598 /proc/meminfo: memFree=1461928/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=125976 CPUtime=1797.56 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8566734 0 0 0 175002 4754 0 0 25 0 1 0 11989468 128999424 29170 1992294400 134512640 137138936 4288341552 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 31494 29170 292 642 0 30850 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (KiB) 125976 [startup+1799.1 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13598 /proc/meminfo: memFree=1461928/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=125976 CPUtime=1798.36 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8566734 0 0 0 175082 4754 0 0 25 0 1 0 11989468 128999424 29170 1992294400 134512640 137138936 4288341552 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 31494 29170 292 642 0 30850 0 Current children cumulated CPU time (s) 1798.36 Current children cumulated vsize (KiB) 125976 [startup+1799.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13598 /proc/meminfo: memFree=1461928/2059040 swapFree=4192956/4192956 [pid=13540] ppid=13538 vsize=125976 CPUtime=1798.56 /proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8566734 0 0 0 175102 4754 0 0 25 0 1 0 11989468 128999424 29170 1992294400 134512640 137138936 4288341552 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13540/statm: 31494 29170 292 642 0 30850 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (KiB) 125976 Child status: 0 Real time (s): 1799.35 CPU time (s): 1798.62 CPU user time (s): 1751.06 CPU system time (s): 47.5588 CPU usage (%): 99.9595 Max. virtual memory (cumulated for all children) (KiB): 128748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1751.06 system time used= 47.5588 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8566734 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= 3755 runsolver used 3.2655 second user time and 8.19375 second system time The end
Begin job on node010 at 2010-06-12 19:31:18 IDJOB=2656573 IDBENCH=1949 IDSOLVER=1162 FILE ID=node010/2656573-1276363878 PBS_JOBID= 11173203 Free space on /tmp= 62500 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_17.opb.PB06.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656573-1276363878/watcher-2656573-1276363878 -o /tmp/evaluation-result-2656573-1276363878/solver-2656573-1276363878 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656573-1276363878.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 90154dd1b8a90675a35ad37cbef52f77 RANDOM SEED=428467203 node010.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.267 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.53 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.267 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: 1580512 kB Buffers: 127156 kB Cached: 221080 kB SwapCached: 0 kB Active: 156256 kB Inactive: 251276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1580512 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3996 kB Writeback: 56 kB AnonPages: 59212 kB Mapped: 15408 kB Slab: 49244 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181396 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= 62496 MiB End job on node010 at 2010-06-12 20:01:18