Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 217 | 1798.03 | 1798.51 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb |
MD5SUM | 9cfc9eabeae08d1064da7d7b87db93a4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 193 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 185 |
Optimality of the best value was proved | NO |
Number of variables | 473 |
Total number of constraints | 473 |
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 | 473 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 18 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1877003-1245136739.opb 0.00/0.00 c File size is 43304 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.006 s 0.00/0.00 c Var: 473 Constr: 473 1/0/472 Lit: 4279 Watch. Lit: 1524 0.00/0.00 c Obj. Vars: 473 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.01 s 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 0 473 473 4279 9 1945 8538 0 0 0.01 0.89/0.99 c Initial Lower Bound: 143 0.89/0.99 c Initial Path Cost: 0 0.89/0.99 o 234 6.68/6.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.68/6.75 c 0 473 474 4752 10 2436 9538 1 0 1.00 6.68/6.75 o 232 13.49/13.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.49/13.55 c 1 473 476 5465 11 2683 9538 3 0 6.75 13.49/13.55 o 228 19.99/20.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.99/20.05 c 1 473 477 5938 12 2976 9538 4 0 13.55 19.99/20.05 o 224 26.69/26.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.69/26.70 c 1 473 478 6411 13 3261 9538 5 0 20.05 26.69/26.70 o 223 83.57/83.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 83.57/83.60 c 60 473 637 44574 69 3836 9538 164 2 26.70 83.57/83.60 c 161 473 911 113337 124 4337 10492 438 4 33.61 83.57/83.60 c 411 473 1580 294617 186 5704 11542 1107 9 41.79 83.57/83.60 c 887 473 2933 631699 215 8367 12697 2460 17 51.33 83.57/83.60 c 1701 473 4952 1127378 227 12448 13967 4479 27 61.51 83.57/83.60 c 3021 473 8622 2135714 247 19800 15364 8149 40 75.47 83.57/83.60 o 222 98.36/98.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 98.36/98.45 c 3392 473 9311 2300840 247 21407 9538 8838 40 83.58 98.36/98.45 c 3493 473 9575 2368542 247 21857 10492 9102 38 90.71 98.36/98.45 o 221 491.96/492.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 491.96/492.12 c 3525 473 9622 2380095 247 22294 9538 9149 35 98.42 491.96/492.12 c 3625 473 9899 2456845 248 22808 10492 9426 34 106.23 491.96/492.12 c 3875 473 10607 2632112 248 24256 11542 10134 33 114.67 491.96/492.12 c 4351 473 11864 2981880 251 26782 12697 11391 35 124.22 491.96/492.12 c 5164 473 7302 1794411 245 16184 13967 6829 37 136.33 491.96/492.12 c 6484 473 10815 2767339 255 23189 15364 10342 43 150.31 491.96/492.12 c 8565 473 8392 2087895 248 18324 16901 7919 50 168.90 491.96/492.12 c 11788 473 17090 4432749 259 35790 18592 16617 61 193.15 491.96/492.12 c 16724 473 10951 2854268 260 23423 20452 10478 72 229.45 491.96/492.12 c 24230 473 19749 4970830 251 41071 22498 19276 85 283.73 491.96/492.12 c 35593 473 13028 3291023 252 27585 24748 12555 97 363.77 491.96/492.12 c 52738 471 19857 4902926 246 41321 27223 19384 108 484.56 491.96/492.12 o 220 781.68/781.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 781.68/781.94 c 52780 471 19922 4918686 246 41597 9538 19449 107 491.99 781.68/781.94 c 52881 471 5511 1264837 229 12594 10492 5038 105 501.98 781.68/781.94 c 53131 471 6200 1455794 234 13971 11542 5727 104 510.60 781.68/781.94 c 53606 471 7491 1827296 243 16549 12697 7018 103 519.98 781.68/781.94 c 54420 471 9778 2424319 247 21164 13967 9305 102 531.90 781.68/781.94 c 55741 471 13188 3298282 250 27943 15364 12715 101 547.09 781.68/781.94 c 57823 471 9179 2243320 244 19959 16901 8706 102 566.79 781.68/781.94 c 61047 471 8928 2131660 238 19394 18592 8455 103 591.67 781.68/781.94 c 65983 471 12599 3180371 252 26784 20452 12126 105 627.21 781.68/781.94 c 73489 471 10718 2511185 234 22979 22498 10245 108 677.62 781.68/781.94 c 84850 471 17859 4457049 249 37295 24748 17386 111 759.38 781.68/781.94 o 219 1649.55/1650.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1649.55/1650.04 c 87976 471 24787 6159371 248 51357 9538 24314 112 781.73 1649.55/1650.04 c 88076 471 5381 1215330 225 12339 10492 4908 111 792.22 1649.55/1650.04 c 88328 471 5936 1345408 226 13407 11542 5463 110 800.37 1649.55/1650.04 c 88803 471 7244 1689607 233 16101 12697 6771 109 811.37 1649.55/1650.04 c 89616 471 9404 2271166 241 20358 13967 8931 108 822.57 1649.55/1650.04 c 90936 471 12683 3095796 244 26942 15364 12210 108 837.32 1649.55/1650.04 c 93017 471 10154 2462127 242 21850 16901 9681 108 854.32 1649.55/1650.04 c 96240 471 9839 2457862 249 21267 18592 9366 109 878.86 1649.55/1650.04 c 101177 471 13016 3250707 249 27607 20452 12543 110 912.83 1649.55/1650.04 c 108685 471 12041 3234677 268 25691 22498 11568 112 963.55 1649.55/1650.04 c 120046 471 14660 3511649 239 30883 24748 14187 115 1038.50 1649.55/1650.04 c 137191 471 21362 5448428 255 44487 27223 20889 118 1162.53 1649.55/1650.04 c 163011 471 21592 5434870 251 44728 29946 21119 120 1352.05 1649.55/1650.04 c 201843 471 16995 4181398 246 35586 32941 16522 122 1642.90 1649.55/1650.04 o 217 1797.91/1798.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.49 c 201843 471 16996 4181869 246 35828 9538 16523 122 1649.60 1797.91/1798.49 c 201943 471 5494 1285767 234 12589 10492 5021 121 1657.68 1797.91/1798.49 c 202194 471 6207 1492631 240 13924 11542 5734 121 1666.79 1797.91/1798.49 c 202669 471 7437 1835645 246 16444 12697 6964 120 1677.79 1797.91/1798.49 c 203482 471 9788 2514101 256 21140 13967 9315 120 1689.77 1797.91/1798.49 c 204803 471 13088 3385934 258 27720 15364 12615 120 1703.89 1797.91/1798.49 c 206884 471 10543 2771519 262 22706 16901 10070 120 1723.03 1797.91/1798.49 c 210107 471 10360 2667617 257 22347 18592 9887 120 1749.27 1797.91/1798.49 c 215043 471 13901 3695276 265 29351 20452 13428 120 1789.72 1797.91/1798.49 c Resources Exceeded 1797.91/1798.49 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.91/1798.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.49 c 58 215225 48256 332344 14389 3818632 13916 119 1798.00 1797.91/1798.49 c Objective: 217 1797.91/1798.49 s SATISFIABLE 1797.91/1798.49 c Total time: 1798 s
OK 217
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877003-1245136739/watcher-1877003-1245136739 -o /tmp/evaluation-result-1877003-1245136739/solver-1877003-1245136739 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877003-1245136739.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/64 2598 /proc/meminfo: memFree=1642104/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=10756 CPUtime=0 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 181274530 11014144 227 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 2689 228 175 640 0 2034 0 [startup+0.065384 s] /proc/loadavg: 0.99 0.98 0.99 3/64 2598 /proc/meminfo: memFree=1642104/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=12304 CPUtime=0.06 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 598 0 0 0 6 0 0 0 18 0 1 0 181274530 12599296 563 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 3076 563 284 640 0 2432 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12304 [startup+0.101387 s] /proc/loadavg: 0.99 0.98 0.99 3/64 2598 /proc/meminfo: memFree=1642104/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=12300 CPUtime=0.09 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 642 0 0 0 9 0 0 0 18 0 1 0 181274530 12595200 586 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 3075 589 284 640 0 2431 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12300 [startup+0.30141 s] /proc/loadavg: 0.99 0.98 0.99 3/64 2598 /proc/meminfo: memFree=1642104/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=12796 CPUtime=0.29 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 865 0 0 0 29 0 0 0 19 0 1 0 181274530 13103104 669 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 3199 669 284 640 0 2555 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12796 [startup+0.701457 s] /proc/loadavg: 0.99 0.98 0.99 3/64 2598 /proc/meminfo: memFree=1642104/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=12840 CPUtime=0.69 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 1222 0 0 0 69 0 0 0 22 0 1 0 181274530 13148160 737 1992294400 134512640 137136520 4294956256 18446744073709551615 135438857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 3210 737 284 640 0 2566 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12840 [startup+1.50155 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2599 /proc/meminfo: memFree=1641136/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=13040 CPUtime=1.49 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 3228 0 0 0 148 1 0 0 25 0 1 0 181274530 13352960 622 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 3260 622 292 640 0 2616 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13040 [startup+3.10174 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2599 /proc/meminfo: memFree=1640816/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=13156 CPUtime=3.09 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 9289 0 0 0 306 3 0 0 25 0 1 0 181274530 13471744 644 1992294400 134512640 137136520 4294956256 18446744073709551615 135438625 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 3289 644 292 640 0 2645 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13156 [startup+6.30111 s] /proc/loadavg: 1.07 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1640688/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=13052 CPUtime=6.29 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 20940 0 0 0 621 8 0 0 25 0 1 0 181274530 13365248 508 1992294400 134512640 137136520 4294956256 18446744073709551615 135079058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 3263 508 292 640 0 2619 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13052 [startup+12.7019 s] /proc/loadavg: 1.07 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1640624/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=13544 CPUtime=12.68 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 46840 0 0 0 1253 15 0 0 25 0 1 0 181274530 13869056 557 1992294400 134512640 137136520 4294956256 18446744073709551615 135443223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 3386 557 295 640 0 2742 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13544 [startup+25.5014 s] /proc/loadavg: 1.05 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1640176/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=12996 CPUtime=25.48 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 102551 0 0 0 2514 34 0 0 25 0 1 0 181274530 13307904 540 1992294400 134512640 137136520 4294956256 18446744073709551615 136503955 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 3249 540 295 640 0 2605 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12996 [startup+51.1013 s] /proc/loadavg: 1.03 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1633904/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=21124 CPUtime=51.08 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 322380 0 0 0 5000 108 0 0 25 0 1 0 181274530 21630976 2503 1992294400 134512640 137136520 4294956256 18446744073709551615 135438666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 5281 2503 296 640 0 4637 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 21124 [startup+102.305 s] /proc/loadavg: 1.01 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1609200/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=45640 CPUtime=102.26 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 848174 0 0 0 9946 280 0 0 25 0 1 0 181274530 46735360 8505 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 11410 8505 296 640 0 10766 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 45640 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1595760/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=59404 CPUtime=162.25 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 1343156 0 0 0 15746 479 0 0 25 0 1 0 181274530 60829696 11985 1992294400 134512640 137136520 4294956256 18446744073709551615 134732473 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 14851 11985 296 640 0 14207 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 59404 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1573040/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=80276 CPUtime=222.23 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 1935343 0 0 0 21500 723 0 0 25 0 1 0 181274530 82202624 17398 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 20069 17398 296 640 0 19425 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 80276 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1566832/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=86464 CPUtime=282.21 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 2362797 0 0 0 27282 939 0 0 25 0 1 0 181274530 88539136 18949 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 21683 18950 296 640 0 21039 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 86464 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1560560/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=93396 CPUtime=342.2 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 2805440 0 0 0 33065 1155 0 0 25 0 1 0 181274530 95637504 20514 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 23349 20514 296 640 0 22705 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 93396 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1555056/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=97872 CPUtime=402.18 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 3200024 0 0 0 38871 1347 0 0 25 0 1 0 181274530 100220928 22166 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 24468 22166 296 640 0 23824 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 97872 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1549488/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=102240 CPUtime=462.16 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 3623700 0 0 0 44659 1557 0 0 25 0 1 0 181274530 104693760 23258 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 25560 23258 296 640 0 24916 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 102240 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1549232/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=104424 CPUtime=522.15 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 3893666 0 0 0 50529 1686 0 0 25 0 1 0 181274530 106930176 23314 1992294400 134512640 137136520 4294956256 18446744073709551615 135380752 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 26106 23314 296 640 0 25462 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 104424 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1549424/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=104160 CPUtime=582.13 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 4187737 0 0 0 56387 1826 0 0 25 0 1 0 181274530 106659840 23264 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 26040 23264 296 640 0 25396 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 104160 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1549424/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=102532 CPUtime=642.13 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 4274080 0 0 0 62341 1872 0 0 25 0 1 0 181274530 104992768 23261 1992294400 134512640 137136520 4294956256 18446744073709551615 135087215 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 25633 23261 296 640 0 24989 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 102532 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1549104/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=102916 CPUtime=1062 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 4274148 0 0 0 104311 1889 0 0 25 0 1 0 181274530 105385984 23329 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 25729 23329 296 640 0 25085 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 102916 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1548016/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=103448 CPUtime=1121.99 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 4408157 0 0 0 110236 1963 0 0 25 0 1 0 181274530 105930752 23560 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 25862 23560 296 640 0 25218 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 103448 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1544624/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=109824 CPUtime=1181.97 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 4780667 0 0 0 116043 2154 0 0 25 0 1 0 181274530 112459776 24763 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 27456 24763 296 640 0 26812 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 109824 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1541808/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=111712 CPUtime=1241.95 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 5166049 0 0 0 121842 2353 0 0 25 0 1 0 181274530 114393088 25096 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 27928 25096 296 640 0 27284 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 111712 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1541680/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=109672 CPUtime=1301.94 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 5505159 0 0 0 127647 2547 0 0 25 0 1 0 181274530 112304128 25116 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 27418 25116 296 640 0 26774 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 109672 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1541616/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=111176 CPUtime=1361.93 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 5824447 0 0 0 133466 2727 0 0 25 0 1 0 181274530 113844224 25122 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 27794 25122 296 640 0 27150 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 111176 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1535152/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=116112 CPUtime=1421.91 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 6276967 0 0 0 139247 2944 0 0 25 0 1 0 181274530 118898688 26726 1992294400 134512640 137136520 4294956256 18446744073709551615 136502553 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 29028 26726 296 640 0 28384 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 116112 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1534896/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=118548 CPUtime=1481.89 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 6599305 0 0 0 145066 3123 0 0 25 0 1 0 181274530 121393152 26795 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 29637 26795 296 640 0 28993 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 118548 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1533744/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=119288 CPUtime=1541.88 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 6921494 0 0 0 150884 3304 0 0 25 0 1 0 181274530 122150912 27077 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 29924 27079 296 640 0 29280 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 119288 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1533808/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=117476 CPUtime=1601.86 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 7232471 0 0 0 156709 3477 0 0 25 0 1 0 181274530 120295424 27067 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 29369 27067 296 640 0 28725 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 117476 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1533104/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=120576 CPUtime=1661.85 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 7511698 0 0 0 162558 3627 0 0 25 0 1 0 181274530 123469824 27261 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 30144 27261 296 640 0 29500 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 120576 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1533744/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=117472 CPUtime=1721.83 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 7822721 0 0 0 168413 3770 0 0 25 0 1 0 181274530 120291328 27066 1992294400 134512640 137136520 4294956256 18446744073709551615 136501974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 29368 27066 296 640 0 28724 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 117472 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1533744/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=119340 CPUtime=1781.81 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 8103039 0 0 0 174259 3922 0 0 25 0 1 0 181274530 122204160 27071 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 29835 27071 296 640 0 29191 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 119340 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1533424/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=120540 CPUtime=1791.41 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 8141468 0 0 0 175192 3949 0 0 25 0 1 0 181274530 123432960 27184 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 30135 27184 296 640 0 29491 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 120540 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1533680/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=120336 CPUtime=1794.61 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 8151335 0 0 0 175509 3952 0 0 25 0 1 0 181274530 123224064 27107 1992294400 134512640 137136520 4294956256 18446744073709551615 135471074 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 30084 27107 296 640 0 29440 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 120336 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1533680/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=120120 CPUtime=1796.21 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 8156067 0 0 0 175667 3954 0 0 25 0 1 0 181274530 123002880 27138 1992294400 134512640 137136520 4294956256 18446744073709551615 135447705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 30030 27138 296 640 0 29386 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (KiB) 120120 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1533680/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=117460 CPUtime=1797.01 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 8158651 0 0 0 175746 3955 0 0 25 0 1 0 181274530 120279040 27063 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 29365 27063 296 640 0 28721 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 117460 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1533680/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=117460 CPUtime=1797.81 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194304 8162746 0 0 0 175824 3957 0 0 25 0 1 0 181274530 120279040 27063 1992294400 134512640 137136520 4294956256 18446744073709551615 136518854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 29365 27063 296 640 0 28721 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 117460 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2599 /proc/meminfo: memFree=1533680/2055920 swapFree=4192812/4192956 [pid=2598] ppid=2596 vsize=0 CPUtime=1798.01 /proc/2598/stat : 2598 (bsolo) R 2596 2598 2050 0 -1 4194308 8163719 0 0 0 175842 3959 0 0 25 0 1 0 181274530 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2598/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.01 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.51 CPU time (s): 1798.03 CPU user time (s): 1758.43 CPU system time (s): 39.6 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 121064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1758.43 system time used= 39.6 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8163719 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 2806 runsolver used 1.40479 second user time and 3.60345 second system time The end
Begin job on node11 at 2009-06-16 09:18:59 IDJOB=1877003 IDBENCH=1951 IDSOLVER=699 FILE ID=node11/1877003-1245136739 PBS_JOBID= 9363717 Free space on /tmp= 66196 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877003-1245136739/watcher-1877003-1245136739 -o /tmp/evaluation-result-1877003-1245136739/solver-1877003-1245136739 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877003-1245136739.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9cfc9eabeae08d1064da7d7b87db93a4 RANDOM SEED=1584694554 node11.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1642520 kB Buffers: 33320 kB Cached: 303280 kB SwapCached: 0 kB Active: 58796 kB Inactive: 291232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1642520 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3984 kB Writeback: 0 kB Mapped: 23244 kB Slab: 49328 kB Committed_AS: 176800 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66192 MiB End job on node11 at 2009-06-16 09:48:58