Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 222 | 1798.03 | 1798.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb |
MD5SUM | 90154dd1b8a90675a35ad37cbef52f77 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 196 |
Best CPU time to get the best result obtained on this benchmark | 1799.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 189 |
Optimality of the best value was proved | NO |
Number of variables | 481 |
Total number of constraints | 481 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 481 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 481 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 481 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 481 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.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-1877132-1245136457.opb 0.00/0.00 c File size is 43841 bytes. 0.00/0.00 c Highest Coefficient sum: 481 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.00 c Var: 481 Constr: 481 0/0/481 Lit: 4331 Watch. Lit: 1563 0.00/0.00 c Obj. Vars: 481 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.01 s 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 0 481 481 4331 9 2030 8662 0 0 0.01 0.59/0.69 c Initial Lower Bound: 147 0.59/0.69 c Initial Path Cost: 0 0.59/0.69 o 237 7.49/7.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.49/7.53 c 0 481 482 4812 9 2489 9662 1 0 0.69 7.49/7.53 o 236 15.19/15.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.19/15.27 c 10 481 493 7729 15 2759 9662 12 1 7.53 15.19/15.27 o 230 31.68/31.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.68/31.76 c 10 481 494 8210 16 3078 9662 13 0 15.27 31.68/31.76 c 111 481 783 84824 108 3736 10629 302 4 23.84 31.68/31.76 o 229 47.08/47.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.08/47.13 c 112 481 785 85539 108 3899 9662 304 3 31.75 47.08/47.13 c 213 481 1076 159622 148 4517 10629 595 5 39.99 47.08/47.13 o 227 54.47/54.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 54.47/54.55 c 213 481 1077 160103 148 4754 9662 596 4 47.12 54.47/54.55 o 226 101.85/101.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 101.85/101.96 c 248 481 1134 174253 153 5128 9662 653 4 54.53 101.85/101.96 c 348 481 1379 246766 178 5616 10629 898 5 63.48 101.85/101.96 c 598 481 2029 416708 205 6925 11692 1548 8 72.90 101.85/101.96 c 1074 481 3116 692473 222 9117 12862 2635 12 82.98 101.85/101.96 c 1888 481 4992 1155845 231 12826 14149 4511 19 94.93 101.85/101.96 o 225 185.33/185.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 185.33/185.47 c 1959 481 5096 1181259 231 13299 9662 4615 19 101.93 185.33/185.47 c 2060 481 5378 1249552 232 13855 10629 4897 18 110.33 185.33/185.47 c 2310 481 6044 1439539 238 15183 11692 5563 19 120.48 185.33/185.47 c 2786 481 7351 1806194 245 17808 12862 6870 21 131.32 185.33/185.47 c 3599 481 9487 2378905 250 22110 14149 9006 25 142.61 185.33/185.47 c 4919 481 12886 3341112 259 28916 15564 12405 30 158.74 185.33/185.47 c 7000 481 9811 2540625 258 21264 17121 9330 39 177.89 185.33/185.47 o 224 267.71/267.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 267.71/267.82 c 7000 481 9812 2541106 258 21498 9662 9331 37 185.41 267.71/267.82 c 7100 481 9956 2575904 258 21808 10629 9475 36 192.57 267.71/267.82 c 7351 481 10582 2735070 258 23086 11692 10101 36 202.13 267.71/267.82 c 7826 481 11763 3037662 258 25396 12862 11282 36 212.22 267.71/267.82 c 8639 481 7066 1771736 250 15749 14149 6585 38 223.87 267.71/267.82 c 9959 481 10297 2594998 252 22216 15564 9816 41 239.90 267.71/267.82 c 12040 481 15998 4054081 253 33616 17121 15517 46 259.43 267.71/267.82 o 223 417.16/417.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 417.16/417.31 c 12098 481 16123 4084534 253 34104 9662 15642 45 267.74 417.16/417.31 c 12198 481 5552 1305688 235 12720 10629 5071 44 276.14 417.16/417.31 c 12448 481 6173 1462397 236 13983 11692 5692 43 285.42 417.16/417.31 c 12924 481 7187 1719588 239 16043 12862 6706 43 296.42 417.16/417.31 c 13739 481 9390 2330852 248 20424 14149 8909 44 308.76 417.16/417.31 c 15060 481 13082 3360747 256 27808 15564 12601 46 324.25 417.16/417.31 c 17141 481 10598 2725439 257 22834 17121 10117 49 344.19 417.16/417.31 c 20365 481 9500 2313353 243 20660 18834 9019 55 369.75 417.16/417.31 c 25303 481 13179 3471583 263 27978 20718 12698 62 407.94 417.16/417.31 o 222 1797.90/1798.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.90/1798.59 c 25556 481 13727 3603957 262 29341 9662 13246 61 417.18 1797.90/1798.59 c 25657 481 5579 1425758 255 12739 10629 5098 60 426.62 1797.90/1798.59 c 25907 481 6232 1626628 261 14072 11692 5751 59 436.21 1797.90/1798.59 c 26382 481 7595 2031215 267 16830 12862 7114 58 447.16 1797.90/1798.59 c 27197 481 9728 2657244 273 21070 14149 9247 59 459.16 1797.90/1798.59 c 28517 481 13262 3630593 273 28171 15564 12781 59 475.33 1797.90/1798.59 c 30600 481 10558 2722126 257 22732 17121 10077 61 494.53 1797.90/1798.59 c 33823 481 10340 2635650 254 22399 18834 9859 65 520.17 1797.90/1798.59 c 38759 481 12130 2976070 245 25979 20718 11649 69 558.65 1797.90/1798.59 c 46265 481 11099 3026439 272 23801 22790 10618 75 614.22 1797.90/1798.59 c 57627 481 18953 5017944 264 39521 25070 18472 82 695.63 1797.90/1798.59 c 74772 481 13017 3592838 276 27654 27578 12536 91 817.85 1797.90/1798.59 c 100591 481 25028 6813644 272 51706 30336 24547 99 1008.24 1797.90/1798.59 c 139423 481 20549 5468884 266 42729 33370 20068 107 1302.52 1797.90/1798.59 c 197775 481 22070 6156927 278 45768 36708 21589 113 1738.78 1797.90/1798.59 c Resources Exceeded 1797.90/1798.59 v -x1 -x2 -x3 -x4 x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 x13 x14 x15 x16 x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 x33 x34 x35 x36 -x37 x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 x51 x52 -x53 -x54 -x55 x56 -x57 x58 x59 -x60 x61 -x62 -x63 x64 x65 -x66 x67 -x68 -x69 x70 -x71 x72 x73 -x74 -x75 -x76 x77 x78 -x79 x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 -x92 x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 x107 x108 x109 -x110 -x111 x112 -x113 -x114 -x115 x116 x117 x118 -x119 x120 x121 x122 -x123 x124 x125 -x126 -x127 x128 -x129 x130 -x131 -x132 -x133 x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 x146 x147 x148 -x149 x150 -x151 x152 -x153 x154 -x155 x156 x157 -x158 x159 x160 -x161 -x162 x163 -x164 -x165 x166 x167 -x168 x169 -x170 -x171 -x172 x173 x174 -x175 x176 x177 x178 -x179 x180 -x181 x182 -x183 x184 x185 -x186 -x187 -x188 x189 x190 x191 -x192 x193 -x194 -x195 x196 x197 x198 -x199 -x200 x201 -x202 -x203 -x204 x205 -x206 -x207 x208 x209 x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 x218 -x219 x220 x221 x222 x223 -x224 -x225 -x226 x227 x228 x229 -x230 x231 x232 -x233 -x234 -x235 x236 -x237 x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 x250 -x251 x252 x253 x254 -x255 -x256 -x257 -x258 x259 -x260 x261 -x262 x263 x264 -x265 x266 x267 -x268 -x269 x270 -x271 x272 -x273 -x274 -x275 x276 -x277 x278 -x279 -x280 x281 -x282 x283 x284 x285 -x286 x287 x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 x311 x312 -x313 x314 x315 x316 x317 x318 x319 -x320 x321 x322 x323 x324 x325 x326 -x327 x328 x329 -x330 x331 -x332 x333 x334 x335 x336 -x337 x338 x339 -x340 x341 x342 x343 -x344 -x345 x346 x347 x348 x349 x350 -x351 x352 x353 x354 x355 -x356 x357 x358 x359 -x360 x361 -x362 -x363 x364 x365 x366 -x367 x368 x369 -x370 x371 x372 x373 x374 x375 x376 x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 x385 -x386 -x387 x388 x389 x390 -x391 -x392 x393 -x394 -x395 x396 -x397 x398 x399 x400 -x401 -x402 x403 -x404 -x405 x406 x407 -x408 -x409 -x410 x411 x412 -x413 -x414 x415 -x416 x417 -x418 x419 x420 -x421 -x422 -x423 -x424 x425 x426 x427 -x428 x429 x430 x431 -x432 x433 x434 -x435 x436 x437 -x438 -x439 -x440 -x441 x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 x452 x453 -x454 -x455 -x456 x457 -x458 x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 x472 x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 1797.90/1798.59 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.59 c 50 205800 38177 287613 24967 6718102 24486 114 1798.00 1797.90/1798.59 c Objective: 222 1797.90/1798.59 s SATISFIABLE 1797.90/1798.59 c Total time: 1798 s
OK 222
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877132-1245136457/watcher-1877132-1245136457 -o /tmp/evaluation-result-1877132-1245136457/solver-1877132-1245136457 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877132-1245136457.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 4416 /proc/meminfo: memFree=1850456/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=10756 CPUtime=0 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 181246599 11014144 227 1992294400 134512640 137136520 4294956256 18446744073709551615 134516189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 2689 228 175 640 0 2034 0 [startup+0.0247241 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4416 /proc/meminfo: memFree=1850456/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=11712 CPUtime=0.02 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 452 0 0 0 2 0 0 0 18 0 1 0 181246599 11993088 425 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 2928 427 248 640 0 2284 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11712 [startup+0.102738 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4416 /proc/meminfo: memFree=1850456/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=12256 CPUtime=0.09 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 640 0 0 0 9 0 0 0 18 0 1 0 181246599 12550144 605 1992294400 134512640 137136520 4294956256 18446744073709551615 135447703 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 3064 605 284 640 0 2420 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12256 [startup+0.301772 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4416 /proc/meminfo: memFree=1850456/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=12848 CPUtime=0.29 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 898 0 0 0 29 0 0 0 19 0 1 0 181246599 13156352 698 1992294400 134512640 137136520 4294956256 18446744073709551615 135444704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 3212 698 284 640 0 2568 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12848 [startup+0.701843 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4416 /proc/meminfo: memFree=1850456/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=12584 CPUtime=0.69 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 1564 0 0 0 69 0 0 0 22 0 1 0 181246599 12886016 563 1992294400 134512640 137136520 4294956256 18446744073709551615 135434605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 3146 563 289 640 0 2502 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12584 [startup+1.50198 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4417 /proc/meminfo: memFree=1849104/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=13256 CPUtime=1.49 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 4805 0 0 0 147 2 0 0 25 0 1 0 181246599 13574144 721 1992294400 134512640 137136520 4294956256 18446744073709551615 135435203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 3314 721 289 640 0 2670 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13256 [startup+3.10126 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4417 /proc/meminfo: memFree=1848912/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=13212 CPUtime=3.09 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 8935 0 0 0 306 3 0 0 25 0 1 0 181246599 13529088 612 1992294400 134512640 137136520 4294956256 18446744073709551615 134766826 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 3303 613 289 640 0 2659 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13212 [startup+6.30182 s] /proc/loadavg: 1.07 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1849104/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=13644 CPUtime=6.29 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 20901 0 0 0 620 9 0 0 25 0 1 0 181246599 13971456 535 1992294400 134512640 137136520 4294956256 18446744073709551615 134766791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 3411 535 289 640 0 2767 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13644 [startup+12.7019 s] /proc/loadavg: 1.07 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1849104/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=14064 CPUtime=12.69 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 48477 0 0 0 1250 19 0 0 25 0 1 0 181246599 14401536 589 1992294400 134512640 137136520 4294956256 18446744073709551615 135455236 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 3516 589 292 640 0 2872 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14064 [startup+25.5022 s] /proc/loadavg: 1.05 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1847120/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=15356 CPUtime=25.48 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 111739 0 0 0 2507 41 0 0 25 0 1 0 181246599 15724544 986 1992294400 134512640 137136520 4294956256 18446744073709551615 135464210 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 3839 986 296 640 0 3195 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15356 [startup+51.1017 s] /proc/loadavg: 1.03 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1846992/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=16376 CPUtime=51.07 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 223389 0 0 0 5029 78 0 0 25 0 1 0 181246599 16769024 1147 1992294400 134512640 137136520 4294956256 18446744073709551615 134766772 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 4094 1147 296 640 0 3450 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16376 [startup+102.306 s] /proc/loadavg: 1.01 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1833104/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=29184 CPUtime=102.26 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 676170 0 0 0 9987 239 0 0 25 0 1 0 181246599 29884416 4532 1992294400 134512640 137136520 4294956256 18446744073709551615 135430351 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 7296 4532 296 640 0 6652 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 29184 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1804432/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=57520 CPUtime=162.24 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 1272130 0 0 0 15781 443 0 0 25 0 1 0 181246599 58900480 11603 1992294400 134512640 137136520 4294956256 18446744073709551615 135380752 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 14380 11604 296 640 0 13736 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 57520 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1792784/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=68884 CPUtime=222.22 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 1722666 0 0 0 21602 620 0 0 25 0 1 0 181246599 70537216 14547 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 17221 14548 296 640 0 16577 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 68884 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1792784/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=70336 CPUtime=282.2 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 2015278 0 0 0 27469 751 0 0 25 0 1 0 181246599 72024064 14580 1992294400 134512640 137136520 4294956256 18446744073709551615 135471103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 17584 14580 296 640 0 16940 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 70336 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1791248/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=71320 CPUtime=342.18 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 2335889 0 0 0 33314 904 0 0 25 0 1 0 181246599 73031680 14929 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 17830 14929 296 640 0 17186 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 71320 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1777936/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=82192 CPUtime=402.16 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 2810264 0 0 0 39084 1132 0 0 25 0 1 0 181246599 84164608 18246 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 20548 18246 296 640 0 19904 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 82192 [startup+462.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1777872/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=85748 CPUtime=462.14 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 3076462 0 0 0 44956 1258 0 0 25 0 1 0 181246599 87805952 18421 1992294400 134512640 137136520 4294956256 18446744073709551615 135438861 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 21437 18421 296 640 0 20793 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 85748 [startup+522.301 s] /proc/loadavg: 1.05 1.01 1.00 2/65 4417 /proc/meminfo: memFree=1777424/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=85748 CPUtime=522.11 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 3419604 0 0 0 50782 1429 0 0 25 0 1 0 181246599 87805952 18336 1992294400 134512640 137136520 4294956256 18446744073709551615 134847230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 21437 18336 296 640 0 20793 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 85748 [startup+582.302 s] /proc/loadavg: 1.06 1.02 1.00 2/65 4417 /proc/meminfo: memFree=1777872/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=82188 CPUtime=582.1 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 3730615 0 0 0 56614 1596 0 0 25 0 1 0 181246599 84160512 18245 1992294400 134512640 137136520 4294956256 18446744073709551615 134623657 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 20547 18245 296 640 0 19903 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 82188 [startup+642.301 s] /proc/loadavg: 1.18 1.08 1.02 2/65 4417 /proc/meminfo: memFree=1760976/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=98960 CPUtime=642.08 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 4218486 0 0 0 62377 1831 0 0 25 0 1 0 181246599 101335040 22438 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 24740 22438 296 640 0 24096 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 98960 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1734736/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=127388 CPUtime=1121.92 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 7245047 0 0 0 108778 3414 0 0 25 0 1 0 181246599 130445312 28946 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 31847 28946 296 640 0 31203 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 127388 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1734224/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=125452 CPUtime=1181.9 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 7609326 0 0 0 114576 3614 0 0 25 0 1 0 181246599 128462848 29061 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 31363 29061 296 640 0 30719 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 125452 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1732944/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=126556 CPUtime=1241.88 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 7980066 0 0 0 120371 3817 0 0 25 0 1 0 181246599 129593344 29337 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 31639 29337 296 640 0 30995 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 126556 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1732880/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=128984 CPUtime=1301.87 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 8337034 0 0 0 126171 4016 0 0 25 0 1 0 181246599 132079616 29345 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 32246 29345 296 640 0 31602 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 128984 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1718288/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=141116 CPUtime=1361.84 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 8795556 0 0 0 131951 4233 0 0 25 0 1 0 181246599 144502784 32977 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 35279 32977 296 640 0 34635 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 141116 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1712272/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=149120 CPUtime=1421.83 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 9200257 0 0 0 137744 4439 0 0 25 0 1 0 181246599 152698880 34486 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 37395 34488 296 640 0 36751 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 149120 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1712272/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=147108 CPUtime=1481.81 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 9518626 0 0 0 143566 4615 0 0 25 0 1 0 181246599 150638592 34475 1992294400 134512640 137136520 4294956256 18446744073709551615 134551138 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 36777 34475 296 640 0 36133 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 147108 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1712208/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=148764 CPUtime=1541.78 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 9856789 0 0 0 149376 4802 0 0 25 0 1 0 181246599 152334336 34481 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 37191 34481 296 640 0 36547 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 148764 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1712208/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=147108 CPUtime=1601.77 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 10174556 0 0 0 155189 4988 0 0 25 0 1 0 181246599 150638592 34475 1992294400 134512640 137136520 4294956256 18446744073709551615 136502148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 36777 34475 296 640 0 36133 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 147108 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1712208/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=147108 CPUtime=1661.75 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 10477404 0 0 0 161014 5161 0 0 25 0 1 0 181246599 150638592 34475 1992294400 134512640 137136520 4294956256 18446744073709551615 136502553 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 36777 34475 296 640 0 36133 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 147108 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1712208/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=147240 CPUtime=1721.73 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 10801063 0 0 0 166824 5349 0 0 25 0 1 0 181246599 150773760 34476 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 36810 34476 296 640 0 36166 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 147240 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1709584/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=150052 CPUtime=1781.71 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 11149135 0 0 0 172642 5529 0 0 25 0 1 0 181246599 153653248 35211 1992294400 134512640 137136520 4294956256 18446744073709551615 136502038 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 37513 35211 296 640 0 36869 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 150052 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 4417 /proc/meminfo: memFree=1709072/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=152552 CPUtime=1791.31 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 11198034 0 0 0 173576 5555 0 0 25 0 1 0 181246599 156213248 35222 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 38138 35222 296 640 0 37494 0 Current children cumulated CPU time (s) 1791.31 Current children cumulated vsize (KiB) 152552 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1709072/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=150060 CPUtime=1794.51 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 11218559 0 0 0 173884 5567 0 0 25 0 1 0 181246599 153661440 35213 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 37515 35213 296 640 0 36871 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (KiB) 150060 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1709072/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=150060 CPUtime=1796.1 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 11227435 0 0 0 174037 5573 0 0 25 0 1 0 181246599 153661440 35213 1992294400 134512640 137136520 4294956256 18446744073709551615 134598604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 37515 35213 296 640 0 36871 0 Current children cumulated CPU time (s) 1796.1 Current children cumulated vsize (KiB) 150060 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1709072/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=152492 CPUtime=1796.91 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 11232435 0 0 0 174114 5577 0 0 25 0 1 0 181246599 156151808 35222 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 38123 35222 296 640 0 37479 0 Current children cumulated CPU time (s) 1796.91 Current children cumulated vsize (KiB) 152492 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1709072/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=152532 CPUtime=1797.71 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 11237316 0 0 0 174191 5580 0 0 25 0 1 0 181246599 156192768 35222 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 38133 35222 296 640 0 37489 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (KiB) 152532 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1709072/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=151760 CPUtime=1797.9 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194304 11238278 0 0 0 174210 5580 0 0 25 0 1 0 181246599 155402240 35219 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/statm: 37940 35220 296 640 0 37296 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 151760 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4417 /proc/meminfo: memFree=1709072/2055920 swapFree=4191900/4192956 [pid=4416] ppid=4414 vsize=0 CPUtime=1798 /proc/4416/stat : 4416 (bsolo) R 4414 4416 4054 0 -1 4194308 11238640 0 0 0 174219 5581 0 0 25 0 1 0 181246599 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4416/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.62 CPU time (s): 1798.03 CPU user time (s): 1742.2 CPU system time (s): 55.8325 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (KiB): 152692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1742.2 system time used= 55.8325 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11238640 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= 2259 runsolver used 1.65275 second user time and 3.2965 second system time The end
Begin job on node4 at 2009-06-16 09:14:17 IDJOB=1877132 IDBENCH=1949 IDSOLVER=699 FILE ID=node4/1877132-1245136457 PBS_JOBID= 9363700 Free space on /tmp= 66408 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877132-1245136457/watcher-1877132-1245136457 -o /tmp/evaluation-result-1877132-1245136457/solver-1877132-1245136457 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877132-1245136457.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 90154dd1b8a90675a35ad37cbef52f77 RANDOM SEED=1851241854 node4.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.259 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.259 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: 1850936 kB Buffers: 18672 kB Cached: 118156 kB SwapCached: 260 kB Active: 28688 kB Inactive: 121424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1850936 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3980 kB Writeback: 0 kB Mapped: 21804 kB Slab: 40804 kB Committed_AS: 135960 kB PageTables: 1472 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= 66404 MiB End job on node4 at 2009-06-16 09:44:15