Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 214 | 1798.03 | 1798.52 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb |
MD5SUM | a65a3b6248e07fcc15fb8d2bec9ac9bd |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 187 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 182 |
Optimality of the best value was proved | NO |
Number of variables | 470 |
Total number of constraints | 470 |
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 | 470 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 470 |
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 | 470 |
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 | 470 |
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: Clause 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-1878559-1245136260.opb 0.00/0.00 c File size is 43354 bytes. 0.00/0.00 c Highest Coefficient sum: 470 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.00 c Var: 470 Constr: 470 1/0/469 Lit: 4286 Watch. Lit: 1503 0.00/0.00 c Obj. Vars: 470 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.009 s 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 0 470 470 4286 9 1933 8560 0 0 0.01 0.79/0.83 c Initial Lower Bound: 139 0.79/0.83 c Initial Path Cost: 0 0.79/0.83 o 223 21.09/21.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.09/21.13 c 0 470 471 4756 10 2370 9560 1 0 0.83 21.09/21.13 c 101 470 599 34288 57 2635 10517 129 15 6.43 21.09/21.13 c 352 470 1084 159519 147 3657 11569 614 25 13.97 21.09/21.13 o 222 28.08/28.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.08/28.10 c 380 470 1141 173065 151 4058 9560 671 17 21.13 28.08/28.10 o 221 81.07/81.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 81.07/81.15 c 434 470 1207 188953 156 4418 9560 737 15 28.09 81.07/81.15 c 534 470 1394 233338 167 4784 10517 924 14 35.97 81.07/81.15 c 784 470 1892 367547 194 5789 11569 1422 17 44.05 81.07/81.15 c 1261 470 2787 581519 208 7544 12726 2317 24 52.35 81.07/81.15 c 2074 470 4394 994038 226 10790 13999 3924 33 62.53 81.07/81.15 c 3394 470 6394 1462048 228 14773 15399 5924 45 74.47 81.07/81.15 o 217 87.46/87.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 87.46/87.52 c 3394 470 6395 1462518 228 15040 9560 5925 41 81.13 87.46/87.52 o 216 101.26/101.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 101.26/101.36 c 3400 470 6402 1464323 228 15334 9560 5932 38 87.50 101.26/101.36 c 3500 470 6599 1517017 229 15774 10517 6129 36 94.82 101.26/101.36 o 215 107.96/108.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 107.96/108.04 c 3500 470 6600 1517487 229 15934 9560 6130 34 101.34 107.96/108.04 o 214 1797.90/1798.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.90/1798.50 c 3500 470 6601 1517957 229 16197 9560 6131 32 108.01 1797.90/1798.50 c 3600 470 6790 1562679 230 16594 10517 6320 31 114.51 1797.90/1798.50 c 3851 470 7285 1695556 232 17607 11569 6815 31 121.87 1797.90/1798.50 c 4326 470 8225 1920440 233 19464 12726 7755 33 130.57 1797.90/1798.50 c 5140 470 9830 2358530 239 22675 13999 9360 36 141.23 1797.90/1798.50 c 6462 470 12327 2961961 240 27659 15399 11857 42 153.82 1797.90/1798.50 c 8544 470 8363 2011804 240 18226 16939 7893 49 172.28 1797.90/1798.50 c 11768 470 14667 3662839 249 30840 18633 14197 60 194.38 1797.90/1798.50 c 16704 470 14659 3874137 264 30895 20497 14189 73 226.67 1797.90/1798.50 c 24210 470 18889 5127819 271 39313 22547 18419 88 272.58 1797.90/1798.50 c 35571 470 17538 4713588 268 36637 24802 17068 104 339.93 1797.90/1798.50 c 52715 470 23512 5697703 242 48540 27283 23042 118 445.63 1797.90/1798.50 c 78535 470 25086 6971481 277 51722 30012 24616 127 615.03 1797.90/1798.50 c 117367 470 25936 6939068 267 53380 33014 25466 136 862.99 1797.90/1798.50 c 175719 470 31220 8093886 259 63986 36316 30750 141 1245.31 1797.90/1798.50 c Resources Exceeded 1797.90/1798.50 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 1797.90/1798.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.50 c 29 257079 48816 349372 16908 4431752 16438 142 1798.01 1797.90/1798.50 c Objective: 214 1797.90/1798.50 s SATISFIABLE 1797.90/1798.50 c Total time: 1798.01 s
OK 214
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878559-1245136260/watcher-1878559-1245136260 -o /tmp/evaluation-result-1878559-1245136260/solver-1878559-1245136260 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878559-1245136260.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/65 2169 /proc/meminfo: memFree=1738400/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=10756 CPUtime=0 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 246 0 0 0 0 0 0 0 20 0 1 0 170152408 11014144 230 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 2689 230 175 640 0 2034 0 [startup+0.0155111 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2169 /proc/meminfo: memFree=1738400/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=10844 CPUtime=0.01 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 358 0 0 0 1 0 0 0 20 0 1 0 170152408 11104256 331 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 2711 331 224 640 0 2067 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10844 [startup+0.10252 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2169 /proc/meminfo: memFree=1738400/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=12204 CPUtime=0.09 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 651 0 0 0 9 0 0 0 20 0 1 0 170152408 12496896 619 1992294400 134512640 137136520 4294956256 18446744073709551615 135464002 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 3051 619 284 640 0 2407 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12204 [startup+0.301538 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2169 /proc/meminfo: memFree=1738400/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=12700 CPUtime=0.29 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 877 0 0 0 29 0 0 0 22 0 1 0 170152408 13004800 712 1992294400 134512640 137136520 4294956256 18446744073709551615 135447705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 3175 712 284 640 0 2531 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12700 [startup+0.702576 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2169 /proc/meminfo: memFree=1738400/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=13076 CPUtime=0.69 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 1532 0 0 0 69 0 0 0 25 0 1 0 170152408 13389824 762 1992294400 134512640 137136520 4294956256 18446744073709551615 135447705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 3269 762 284 640 0 2625 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13076 [startup+1.50165 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1737176/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=13596 CPUtime=1.49 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 5157 0 0 0 147 2 0 0 25 0 1 0 170152408 13922304 648 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 3399 648 292 640 0 2755 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13596 [startup+3.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1736920/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=13548 CPUtime=3.09 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 10332 0 0 0 306 3 0 0 25 0 1 0 170152408 13873152 607 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 3387 607 292 640 0 2743 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13548 [startup+6.3011 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1736984/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=12964 CPUtime=6.29 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 31672 0 0 0 618 11 0 0 25 0 1 0 170152408 13275136 543 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 3241 543 295 640 0 2597 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12964 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1736472/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=13712 CPUtime=12.69 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 61058 0 0 0 1248 21 0 0 25 0 1 0 170152408 14041088 608 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 3428 608 295 640 0 2784 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13712 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1734168/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=16148 CPUtime=25.49 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 146609 0 0 0 2501 48 0 0 25 0 1 0 170152408 16535552 1106 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 4037 1106 295 640 0 3393 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 16148 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1732120/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=19024 CPUtime=51.07 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 329059 0 0 0 5002 105 0 0 25 0 1 0 170152408 19480576 1974 1992294400 134512640 137136520 4294956256 18446744073709551615 135438606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 4756 1974 295 640 0 4112 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19024 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1716824/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=34100 CPUtime=102.26 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 856281 0 0 0 9959 267 0 0 25 0 1 0 170152408 34918400 5594 1992294400 134512640 137136520 4294956256 18446744073709551615 135454306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 8525 5594 295 640 0 7881 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 34100 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1696792/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=52396 CPUtime=162.25 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 1534030 0 0 0 15749 476 0 0 25 0 1 0 170152408 53653504 10796 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 13099 10796 295 640 0 12455 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 52396 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1670296/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=77820 CPUtime=222.23 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 2298748 0 0 0 21469 754 0 0 25 0 1 0 170152408 79687680 17152 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 19455 17152 295 640 0 18811 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 77820 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1658264/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=91312 CPUtime=282.21 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 2840394 0 0 0 27229 992 0 0 25 0 1 0 170152408 93503488 20147 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 22828 20147 295 640 0 22184 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 91312 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1652568/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=98376 CPUtime=342.2 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 3349110 0 0 0 32986 1234 0 0 25 0 1 0 170152408 100737024 21639 1992294400 134512640 137136520 4294956256 18446744073709551615 135342558 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 24594 21639 295 640 0 23950 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 98376 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1647064/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=103028 CPUtime=402.18 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 3824609 0 0 0 38765 1453 0 0 25 0 1 0 170152408 105500672 22925 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 25757 22925 295 640 0 25113 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 103028 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1643096/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=108100 CPUtime=462.17 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 4202947 0 0 0 44571 1646 0 0 25 0 1 0 170152408 110694400 24067 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 27025 24067 295 640 0 26381 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 108100 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1621080/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=129804 CPUtime=522.14 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 4778800 0 0 0 50325 1889 0 0 25 0 1 0 170152408 132919296 29696 1992294400 134512640 137136520 4294956256 18446744073709551615 136503955 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 32652 29699 295 640 0 32008 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 129804 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1618456/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=131792 CPUtime=582.13 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 5197737 0 0 0 56116 2097 0 0 25 0 1 0 170152408 134955008 30039 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 32948 30039 295 640 0 32304 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 131792 [startup+642.303 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1618392/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=131036 CPUtime=642.12 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 5593402 0 0 0 61916 2296 0 0 25 0 1 0 170152408 134180864 30036 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 32759 30036 295 640 0 32115 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 131036 [startup+702.303 s] ################ # More data... # ################ /proc/meminfo: memFree=1616920/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=130860 CPUtime=1062 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 8112703 0 0 0 102573 3627 0 0 25 0 1 0 170152408 134000640 30412 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 32715 30412 295 640 0 32071 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 130860 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1616920/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=133252 CPUtime=1121.98 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 8505402 0 0 0 108378 3820 0 0 25 0 1 0 170152408 136450048 30421 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 33313 30421 295 640 0 32669 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 133252 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1616920/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=130860 CPUtime=1181.97 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 8894903 0 0 0 114181 4016 0 0 25 0 1 0 170152408 134000640 30412 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 32715 30412 295 640 0 32071 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 130860 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1616920/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=130848 CPUtime=1241.95 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 9295827 0 0 0 119978 4217 0 0 25 0 1 0 170152408 133988352 30409 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 32712 30409 295 640 0 32068 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 130848 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1605976/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=141580 CPUtime=1301.94 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 9819385 0 0 0 125745 4449 0 0 25 0 1 0 170152408 144977920 33092 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 35395 33092 295 640 0 34751 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 141580 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1603544/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=146396 CPUtime=1361.92 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 10221469 0 0 0 131546 4646 0 0 25 0 1 0 170152408 149909504 33708 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 36599 33708 295 640 0 35955 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 146396 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1603544/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=144004 CPUtime=1421.91 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 10603204 0 0 0 137340 4851 0 0 25 0 1 0 170152408 147460096 33698 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 36001 33698 295 640 0 35357 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 144004 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1603608/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=146384 CPUtime=1481.88 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 10969025 0 0 0 143152 5036 0 0 25 0 1 0 170152408 149897216 33708 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 36596 33708 295 640 0 35952 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 146384 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2170 /proc/meminfo: memFree=1603608/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=144000 CPUtime=1541.88 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 11295633 0 0 0 148973 5215 0 0 25 0 1 0 170152408 147456000 33697 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 36000 33697 295 640 0 35356 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 144000 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2172 /proc/meminfo: memFree=1603608/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=145492 CPUtime=1601.85 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 11527347 0 0 0 154826 5359 0 0 25 0 1 0 170152408 148983808 33697 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 36000 33697 295 640 0 35356 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 145492 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2172 /proc/meminfo: memFree=1603544/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=144000 CPUtime=1661.83 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 11806964 0 0 0 160658 5525 0 0 25 0 1 0 170152408 147456000 33697 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 36000 33697 295 640 0 35356 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 144000 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2172 /proc/meminfo: memFree=1603352/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=146384 CPUtime=1721.82 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 12094228 0 0 0 166491 5691 0 0 25 0 1 0 170152408 149897216 33711 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 36596 33711 295 640 0 35952 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 146384 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2172 /proc/meminfo: memFree=1603416/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=144164 CPUtime=1781.81 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 12437389 0 0 0 172305 5876 0 0 25 0 1 0 170152408 147623936 33706 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 36041 33706 295 640 0 35397 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 144164 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2172 /proc/meminfo: memFree=1603416/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=146396 CPUtime=1791.41 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 12491354 0 0 0 173239 5902 0 0 25 0 1 0 170152408 149909504 33708 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 36599 33708 295 640 0 35955 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 146396 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2172 /proc/meminfo: memFree=1603416/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=144004 CPUtime=1794.61 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 12514134 0 0 0 173548 5913 0 0 25 0 1 0 170152408 147460096 33698 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 36001 33698 295 640 0 35357 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 144004 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2172 /proc/meminfo: memFree=1603416/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=144004 CPUtime=1796.2 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 12525200 0 0 0 173701 5919 0 0 25 0 1 0 170152408 147460096 33698 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 36001 33698 295 640 0 35357 0 Current children cumulated CPU time (s) 1796.2 Current children cumulated vsize (KiB) 144004 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2172 /proc/meminfo: memFree=1603416/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=145636 CPUtime=1797 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 12531329 0 0 0 173778 5922 0 0 25 0 1 0 170152408 149131264 33704 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 36409 33704 295 640 0 35765 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (KiB) 145636 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2172 /proc/meminfo: memFree=1603416/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=146384 CPUtime=1797.8 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194304 12537231 0 0 0 173854 5926 0 0 25 0 1 0 170152408 149897216 33711 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 36596 33711 295 640 0 35952 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 146384 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2172 /proc/meminfo: memFree=1603416/2055920 swapFree=4192812/4192956 [pid=2169] ppid=2167 vsize=0 CPUtime=1798 /proc/2169/stat : 2169 (bsolo) R 2167 2169 1941 0 -1 4194308 12538638 0 0 0 173873 5927 0 0 25 0 1 0 170152408 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2169/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.52 CPU time (s): 1798.03 CPU user time (s): 1738.74 CPU system time (s): 59.296 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 146564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1738.74 system time used= 59.296 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12538638 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= 2811 runsolver used 2.0027 second user time and 4.48232 second system time The end
Begin job on node8 at 2009-06-16 09:11:00 IDJOB=1878559 IDBENCH=1948 IDSOLVER=700 FILE ID=node8/1878559-1245136260 PBS_JOBID= 9363715 Free space on /tmp= 66316 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878559-1245136260/watcher-1878559-1245136260 -o /tmp/evaluation-result-1878559-1245136260/solver-1878559-1245136260 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878559-1245136260.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a65a3b6248e07fcc15fb8d2bec9ac9bd RANDOM SEED=1118707703 node8.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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1738880 kB Buffers: 46876 kB Cached: 182896 kB SwapCached: 0 kB Active: 65692 kB Inactive: 178920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1738880 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3980 kB Writeback: 0 kB Mapped: 24628 kB Slab: 58248 kB Committed_AS: 166744 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66312 MiB End job on node8 at 2009-06-16 09:40:58