Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 223 | 1800.02 | 1800.64 |
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 | 185 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
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.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/352123-1176623658/instance-352123-1176623658.opb 0.00/0.00 c File size is 43304 bytes. 0.00/0.01 c Highest Coefficient sum: 473 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.008 s 0.00/0.01 c Var: 473 Constr: 473 1/0/472 Lit: 4279 Watch. Lit: 1524 0.00/0.01 c Obj. Vars: 473 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.013 s 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 0 473 473 4279 9 1946 8538 0 0 0.01 0.49/0.53 c Initial Lower Bound: 143 0.49/0.53 c Initial Path Cost: 0 0.49/0.53 o 234 0.533 8.48/8.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.48/8.52 c 0 473 474 4752 10 2436 9538 1 0 0.53 8.48/8.52 o 233 8.518 * 43.98/44.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 43.98/44.02 c 0 473 475 5225 11 2621 10538 2 0 8.52 43.98/44.02 c 100 473 635 45038 70 2970 11592 162 5 16.79 43.98/44.02 c 350 473 1103 165979 150 3895 12752 630 13 26.00 43.98/44.02 c 825 473 1837 344089 187 5377 14028 1364 23 35.72 43.98/44.02 o 228 44.011 * 558.84/559.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 558.84/559.18 c 825 473 1838 344562 187 5630 10538 1365 18 44.01 558.84/559.18 c 925 473 2018 389692 193 6007 11592 1545 17 52.00 558.84/559.18 c 1175 473 2477 500048 201 6937 12752 2004 19 60.70 558.84/559.18 c 1650 473 3263 684497 209 8510 14028 2790 23 70.03 558.84/559.18 c 2463 473 4726 1058068 223 11445 15431 4253 30 80.20 558.84/559.18 c 3783 473 7032 1632764 232 16065 16975 6559 40 92.63 558.84/559.18 c 5864 473 10898 2613764 239 23812 18673 10425 54 108.57 558.84/559.18 c 9087 473 16743 4047571 241 35505 20541 16270 71 127.24 558.84/559.18 c 14023 473 15340 3722895 242 32190 22596 14867 86 161.40 558.84/559.18 c 21529 473 15738 3745498 237 32982 24856 15265 105 203.49 558.84/559.18 c 32890 473 21084 5163763 244 43645 27342 20611 122 268.01 558.84/559.18 c 50034 473 17724 4204878 237 36930 30077 17251 129 385.19 558.84/559.18 c 75854 473 20083 4745625 236 41654 33085 19610 138 549.67 558.84/559.18 o 227 558.93 * 1187.35/1187.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1187.35/1187.88 c 76093 473 20453 4833182 236 42624 9538 19980 136 558.93 1187.35/1187.88 c 76193 473 5419 1197187 220 12340 10492 4946 133 569.22 1187.35/1187.88 c 76443 473 5883 1315936 223 13300 11542 5410 131 579.68 1187.35/1187.88 c 76918 473 6788 1558354 229 15107 12697 6315 130 589.96 1187.35/1187.88 c 77731 473 8319 1951700 234 18176 13967 7846 129 601.02 1187.35/1187.88 c 79051 473 10749 2538443 236 23039 15364 10276 128 614.30 1187.35/1187.88 c 81132 473 14449 3463627 239 30413 16901 13976 128 629.45 1187.35/1187.88 c 84355 473 11247 2715049 241 23992 18592 10774 129 653.79 1187.35/1187.88 c 89291 473 10592 2609673 246 22706 20452 10119 128 695.28 1187.35/1187.88 c 96797 473 12747 3119020 244 26980 22498 12274 130 743.43 1187.35/1187.88 c 108158 473 18412 4430392 240 38336 24748 17939 135 800.50 1187.35/1187.88 c 125302 473 16899 4012354 237 35284 27223 16426 139 899.27 1187.35/1187.88 c 151121 473 25285 5840933 231 52033 29946 24812 143 1055.32 1187.35/1187.88 o 226 1187.44 * 1240.43/1240.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1240.43/1240.98 c 168340 473 16696 3857552 231 35090 9538 16223 141 1187.44 1240.43/1240.98 c 168441 473 5403 1178370 218 12315 10492 4930 140 1198.38 1240.43/1240.98 c 168691 473 5814 1278685 219 13184 11542 5341 139 1207.79 1240.43/1240.98 c 169166 473 6653 1488693 223 14821 12697 6180 138 1219.91 1240.43/1240.98 c 169979 473 8196 1884152 229 17926 13967 7723 137 1232.43 1240.43/1240.98 o 223 1240.52 * 1799.98/1800.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.98/1800.62 c 169979 473 8197 1884625 229 18167 9538 7724 137 1240.52 1799.98/1800.62 c 170080 473 8384 1928602 230 18564 10492 7911 136 1249.29 1799.98/1800.62 c 170330 473 8849 2043562 230 19458 11542 8376 135 1257.49 1799.98/1800.62 c 170805 473 9682 2250167 232 21140 12697 9209 134 1267.93 1799.98/1800.62 c 171618 473 11294 2652070 234 24362 13967 10821 134 1280.71 1799.98/1800.62 c 172939 473 13644 3254540 238 29029 15364 13171 133 1294.47 1799.98/1800.62 c 175020 473 9566 2248100 235 20648 16901 9093 133 1315.23 1799.98/1800.62 c 178243 473 15874 3858646 243 33258 18592 15401 133 1339.93 1799.98/1800.62 c 183179 473 13967 3353259 240 29387 20452 13494 133 1372.39 1799.98/1800.62 c 190685 473 16873 4062835 240 35228 22498 16400 134 1413.20 1799.98/1800.62 c 202046 473 14542 3583285 246 30598 24748 14069 135 1490.47 1799.98/1800.62 c 219190 473 18427 4560167 247 38375 27223 17954 137 1592.90 1799.98/1800.62 c 245009 473 16395 4122039 251 34322 29946 15922 140 1747.65 1799.98/1800.62 c Resources Exceeded 1799.98/1800.62 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 1799.98/1800.62 v -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 1799.98/1800.62 v -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 1799.98/1800.62 v -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 1799.98/1800.62 v x114 -x115 -x116 x117 x118 -x119 x120 -x121 x122 x123 -x124 -x125 x126 -x127 x128 -x129 -x130 x131 -x132 x133 x134 x135 -x136 1799.98/1800.62 v x137 x138 x139 x140 x141 x142 -x143 -x144 x145 -x146 -x147 x148 -x149 x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 1799.98/1800.62 v x160 x161 -x162 -x163 -x164 x165 -x166 x167 -x168 -x169 -x170 x171 x172 x173 x174 -x175 x176 -x177 -x178 -x179 x180 x181 x182 1799.98/1800.62 v -x183 x184 x185 x186 -x187 -x188 -x189 x190 x191 x192 x193 x194 -x195 x196 x197 -x198 x199 -x200 -x201 x202 -x203 -x204 -x205 1799.98/1800.62 v x206 -x207 -x208 -x209 x210 x211 x212 -x213 -x214 x215 x216 -x217 -x218 -x219 -x220 x221 x222 x223 -x224 x225 x226 x227 x228 1799.98/1800.62 v -x229 x230 -x231 -x232 -x233 x234 -x235 x236 -x237 -x238 -x239 -x240 x241 x242 x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 1799.98/1800.62 v -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 x265 -x266 x267 -x268 -x269 x270 x271 -x272 1799.98/1800.62 v -x273 -x274 -x275 x276 -x277 -x278 -x279 x280 -x281 -x282 x283 x284 -x285 x286 x287 x288 -x289 -x290 x291 -x292 -x293 x294 1799.98/1800.62 v -x295 x296 -x297 x298 x299 -x300 -x301 -x302 -x303 -x304 x305 x306 -x307 x308 x309 -x310 x311 -x312 x313 x314 x315 x316 -x317 1799.98/1800.62 v x318 x319 -x320 -x321 x322 -x323 x324 -x325 -x326 x327 x328 -x329 -x330 x331 -x332 -x333 x334 -x335 x336 x337 -x338 x339 x340 1799.98/1800.62 v x341 x342 x343 -x344 -x345 -x346 x347 -x348 x349 x350 x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 x359 x360 -x361 x362 x363 1799.98/1800.62 v x364 x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 x373 x374 x375 -x376 -x377 x378 x379 -x380 -x381 x382 x383 -x384 -x385 x386 1799.98/1800.62 v -x387 x388 -x389 -x390 x391 -x392 -x393 -x394 x395 -x396 -x397 x398 x399 x400 -x401 x402 x403 x404 x405 x406 -x407 -x408 -x409 1799.98/1800.62 v -x410 -x411 -x412 x413 -x414 x415 x416 -x417 x418 x419 x420 x421 -x422 x423 -x424 x425 x426 -x427 x428 x429 -x430 -x431 x432 1799.98/1800.62 v x433 -x434 -x435 x436 x437 x438 x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 x449 -x450 x451 -x452 -x453 x454 x455 1799.98/1800.62 v -x456 x457 x458 -x459 -x460 -x461 x462 -x463 -x464 x465 x466 x467 -x468 x469 x470 x471 x472 -x473 1799.98/1800.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.98/1800.62 c 49 253083 12009 298260 12515 3136940 12042 140 1800.00 1799.98/1800.62 c Objective: 223 1799.98/1800.62 s SATISFIABLE 1799.98/1800.62 c Total time: 1800 s
OK 223
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-352123-1176623658 -o ROOT/results/node47/solver-352123-1176623658 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352123-1176623658/instance-352123-1176623658.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.98 3/64 19924 /proc/meminfo: memFree=1908736/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=11780 CPUtime=0 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 17211193 12062720 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 2945 335 281 324 0 2003 0 [startup+0.0245421 s] /proc/loadavg: 0.91 0.95 0.98 3/64 19924 /proc/meminfo: memFree=1908736/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=4572 CPUtime=0.01 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 584 0 0 0 1 0 0 0 18 0 1 0 17211193 4681728 541 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135468346 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 1143 541 332 324 0 212 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4572 [startup+0.101549 s] /proc/loadavg: 0.91 0.95 0.98 3/64 19924 /proc/meminfo: memFree=1908736/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=5824 CPUtime=0.09 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 852 0 0 0 9 0 0 0 18 0 1 0 17211193 5963776 801 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135324666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 1456 803 390 324 0 525 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5824 [startup+0.30157 s] /proc/loadavg: 0.91 0.95 0.98 3/64 19924 /proc/meminfo: memFree=1908736/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=6372 CPUtime=0.29 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 1099 0 0 0 29 0 0 0 19 0 1 0 17211193 6524928 842 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135323035 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 1593 843 390 324 0 662 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6372 [startup+0.701613 s] /proc/loadavg: 0.91 0.95 0.98 3/64 19924 /proc/meminfo: memFree=1908736/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=6856 CPUtime=0.69 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 2117 0 0 0 68 1 0 0 22 0 1 0 17211193 7020544 854 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135325595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 1714 854 392 324 0 783 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6856 [startup+1.5017 s] /proc/loadavg: 0.91 0.95 0.98 2/65 19925 /proc/meminfo: memFree=1907192/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=6972 CPUtime=1.49 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 5188 0 0 0 148 1 0 0 25 0 1 0 17211193 7139328 810 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135331924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 1743 810 392 324 0 812 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6972 [startup+3.10187 s] /proc/loadavg: 0.92 0.95 0.98 2/65 19925 /proc/meminfo: memFree=1906936/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=6904 CPUtime=3.09 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 12049 0 0 0 305 4 0 0 25 0 1 0 17211193 7069696 840 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135306705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 1726 840 392 324 0 795 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6904 [startup+6.30122 s] /proc/loadavg: 0.92 0.95 0.98 2/65 19925 /proc/meminfo: memFree=1907128/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=6964 CPUtime=6.29 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 25536 0 0 0 621 8 0 0 25 0 1 0 17211193 7131136 729 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134721105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 1741 729 392 324 0 810 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6964 [startup+12.7019 s] /proc/loadavg: 0.93 0.96 0.98 2/65 19925 /proc/meminfo: memFree=1906880/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=7568 CPUtime=12.69 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 59043 0 0 0 1247 22 0 0 25 0 1 0 17211193 7749632 750 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135306705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 1892 750 392 324 0 961 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7568 [startup+25.5013 s] /proc/loadavg: 0.94 0.96 0.98 2/65 19925 /proc/meminfo: memFree=1906816/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=5784 CPUtime=25.49 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 132090 0 0 0 2497 52 0 0 25 0 1 0 17211193 5922816 921 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135447819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 1446 921 393 324 0 515 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 5784 [startup+51.1011 s] /proc/loadavg: 0.96 0.96 0.98 2/65 19925 /proc/meminfo: memFree=1902656/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=12212 CPUtime=51.08 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 266596 0 0 0 5002 106 0 0 25 0 1 0 17211193 12505088 1821 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135316298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 3053 1821 393 324 0 2122 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 12212 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.98 2/65 19925 /proc/meminfo: memFree=1885120/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=29600 CPUtime=102.27 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 537713 0 0 0 9998 229 0 0 25 0 1 0 17211193 30310400 6260 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10955854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 7400 6260 393 324 0 6469 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 29600 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19925 /proc/meminfo: memFree=1838272/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=76840 CPUtime=162.24 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 965377 0 0 0 15746 478 0 0 25 0 1 0 17211193 78684160 17928 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135306705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 19210 17928 393 324 0 18279 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 76840 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19925 /proc/meminfo: memFree=1832384/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=79392 CPUtime=222.22 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 1306707 0 0 0 21520 702 0 0 25 0 1 0 17211193 81297408 19323 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10960643 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 19848 19323 393 324 0 18917 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 79392 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19925 /proc/meminfo: memFree=1824576/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=87128 CPUtime=282.21 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 1616284 0 0 0 27313 908 0 0 25 0 1 0 17211193 89219072 21257 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134706607 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 21782 21257 393 324 0 20851 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 87128 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19925 /proc/meminfo: memFree=1816384/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=96992 CPUtime=342.19 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 1946328 0 0 0 33086 1133 0 0 25 0 1 0 17211193 99319808 23317 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134690525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 24436 23320 393 324 0 23505 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 96992 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19925 /proc/meminfo: memFree=1816128/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=97928 CPUtime=402.18 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 2169189 0 0 0 38926 1292 0 0 25 0 1 0 17211193 100278272 23359 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10955854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 24482 23359 393 324 0 23551 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 97928 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20123 /proc/meminfo: memFree=1808432/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=105396 CPUtime=462.06 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 2427514 0 0 0 44725 1481 0 0 25 0 1 0 17211193 107925504 25231 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135334309 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 26349 25231 393 324 0 25418 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 105396 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20123 /proc/meminfo: memFree=1808640/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=102748 CPUtime=522.05 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 2615872 0 0 0 50577 1628 0 0 25 0 1 0 17211193 105213952 25162 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10953055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 25687 25162 393 324 0 24756 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 102748 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20123 /proc/meminfo: memFree=1808640/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=102748 CPUtime=582.03 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 2615872 0 0 0 56574 1629 0 0 25 0 1 0 17211193 105213952 25162 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135324666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 25687 25162 393 324 0 24756 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 102748 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20123 /proc/meminfo: memFree=1808640/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=102748 CPUtime=642.02 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 2615872 0 0 0 62571 1631 0 0 25 0 1 0 17211193 105213952 25162 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 25687 25162 393 324 0 24756 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 102748 ################ # More data... # ################ /proc/meminfo: memFree=1810624/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=100536 CPUtime=1121.87 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 3798628 0 0 0 109644 2543 0 0 25 0 1 0 17211193 102948864 24609 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 25134 24609 393 324 0 24203 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 100536 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20125 /proc/meminfo: memFree=1809920/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=101248 CPUtime=1181.85 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 4014688 0 0 0 115472 2713 0 0 25 0 1 0 17211193 103677952 24787 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551131 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 25312 24787 393 324 0 24381 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 101248 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20125 /proc/meminfo: memFree=1809728/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=104876 CPUtime=1241.83 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 4203894 0 0 0 121371 2812 0 0 25 0 1 0 17211193 107393024 24911 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134721105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 26219 24911 393 324 0 25288 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 104876 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20125 /proc/meminfo: memFree=1809792/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=104100 CPUtime=1301.82 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 4410198 0 0 0 127269 2913 0 0 25 0 1 0 17211193 106598400 24847 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 26025 24847 393 324 0 25094 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 104100 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20125 /proc/meminfo: memFree=1809856/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=101180 CPUtime=1361.8 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 4470054 0 0 0 133225 2955 0 0 25 0 1 0 17211193 103608320 24770 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135308935 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 25295 24770 393 324 0 24364 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 101180 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20125 /proc/meminfo: memFree=1809856/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=101180 CPUtime=1421.79 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 4470054 0 0 0 139220 2959 0 0 25 0 1 0 17211193 103608320 24770 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134695055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 25295 24770 393 324 0 24364 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 101180 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20125 /proc/meminfo: memFree=1809856/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=101180 CPUtime=1481.76 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 4470054 0 0 0 145215 2961 0 0 25 0 1 0 17211193 103608320 24770 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10953055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 25295 24770 393 324 0 24364 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 101180 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20125 /proc/meminfo: memFree=1809920/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=101180 CPUtime=1541.75 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 4470054 0 0 0 151211 2964 0 0 25 0 1 0 17211193 103608320 24770 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 25295 24770 393 324 0 24364 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 101180 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20125 /proc/meminfo: memFree=1809920/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=101180 CPUtime=1601.73 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 4470054 0 0 0 157207 2966 0 0 25 0 1 0 17211193 103608320 24770 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135282115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 25295 24770 393 324 0 24364 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 101180 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20125 /proc/meminfo: memFree=1809920/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=101176 CPUtime=1661.71 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 4470054 0 0 0 163203 2968 0 0 25 0 1 0 17211193 103604224 24769 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10953055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 25294 24769 393 324 0 24363 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 101176 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 3/65 20125 /proc/meminfo: memFree=1809216/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=101824 CPUtime=1721.69 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 4658176 0 0 0 169056 3113 0 0 25 0 1 0 17211193 104267776 24931 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 25456 24931 393 324 0 24525 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 101824 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20125 /proc/meminfo: memFree=1809152/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=103652 CPUtime=1781.68 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 4927152 0 0 0 174862 3306 0 0 25 0 1 0 17211193 106139648 24936 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10955854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 25913 24936 393 324 0 24982 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 103652 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20125 /proc/meminfo: memFree=1803392/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=110056 CPUtime=1791.28 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 5007462 0 0 0 175773 3355 0 0 25 0 1 0 17211193 112697344 26436 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10955854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 27639 26438 393 324 0 26708 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 110056 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20125 /proc/meminfo: memFree=1802176/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=108804 CPUtime=1794.48 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 5017434 0 0 0 176088 3360 0 0 25 0 1 0 17211193 111415296 26676 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 27201 26676 393 324 0 26270 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (KiB) 108804 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20125 /proc/meminfo: memFree=1802176/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=110960 CPUtime=1797.67 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 5023377 0 0 0 176403 3364 0 0 25 0 1 0 17211193 113623040 26683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10955854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 27740 26683 393 324 0 26809 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 110960 [startup+1799.9 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20125 /proc/meminfo: memFree=1802176/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=110960 CPUtime=1799.28 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 5028223 0 0 0 176559 3369 0 0 25 0 1 0 17211193 113623040 26683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10955854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 27740 26683 393 324 0 26809 0 Current children cumulated CPU time (s) 1799.28 Current children cumulated vsize (KiB) 110960 [startup+1800.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20125 /proc/meminfo: memFree=1802176/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=108804 CPUtime=1799.68 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 5029430 0 0 0 176598 3370 0 0 25 0 1 0 17211193 111415296 26676 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134707455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 27201 26676 393 324 0 26270 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (KiB) 108804 [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20125 /proc/meminfo: memFree=1802176/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=108804 CPUtime=1799.87 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 5030067 0 0 0 176617 3370 0 0 25 0 1 0 17211193 111415296 26676 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 27201 26676 393 324 0 26270 0 Current children cumulated CPU time (s) 1799.87 Current children cumulated vsize (KiB) 108804 [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20125 /proc/meminfo: memFree=1802176/2055920 swapFree=4183704/4192956 [pid=19924] ppid=19922 vsize=109472 CPUtime=1799.98 /proc/19924/stat : 19924 (bsolo3.0.16) R 19922 19924 19803 0 -1 4194304 5030379 0 0 0 176627 3371 0 0 25 0 1 0 17211193 112099328 26676 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10955854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19924/statm: 27662 26681 393 324 0 26731 0 Current children cumulated CPU time (s) 1799.98 Current children cumulated vsize (KiB) 109472 Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.02 CPU user time (s): 1766.29 CPU system time (s): 33.7349 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 111588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1766.29 system time used= 33.7349 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5030452 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= 12 involuntary context switches= 1848 runsolver used 1.3038 second user time and 3.67344 second system time The end
Begin job on node47 on Sun Apr 15 07:54:18 UTC 2007 IDJOB= 352123 IDBENCH= 1951 IDSOLVER= 163 FILE ID= node47/352123-1176623658 PBS_JOBID= 4557072 Free space on /tmp= 66560 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352123-1176623658/instance-352123-1176623658.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-352123-1176623658 -o ROOT/results/node47/solver-352123-1176623658 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352123-1176623658/instance-352123-1176623658.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 9cfc9eabeae08d1064da7d7b87db93a4 RANDOM SEED= 255581501 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.221 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.221 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: 1909216 kB Buffers: 5280 kB Cached: 87768 kB SwapCached: 3512 kB Active: 70988 kB Inactive: 31928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1909216 kB SwapTotal: 4192956 kB SwapFree: 4183704 kB Dirty: 4432 kB Writeback: 0 kB Mapped: 15184 kB Slab: 29752 kB Committed_AS: 2093672 kB PageTables: 1452 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= 66560 MiB End job on node47 on Sun Apr 15 08:24:19 UTC 2007