Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT (TO) | 214 | 1800.05 | 1800.64 |
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: Generic Pseudo-Boolean 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-1879989-1245136328.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.006 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.01 s 0.79/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.90 c 0 470 470 4286 9 1933 8560 0 0 0.01 0.79/0.90 c Initial Lower Bound: 139 0.79/0.90 c Initial Path Cost: 0 0.89/0.90 o 223 6.79/6.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.79/6.85 c 0 470 471 4756 10 2370 9560 1 0 0.90 6.79/6.85 o 222 70.56/70.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.56/70.65 c 68 470 616 43290 70 7879 9560 146 9 6.85 70.56/70.65 c 169 470 907 120965 133 6451 10517 437 11 14.40 70.56/70.65 c 419 470 1652 318565 192 7984 11569 1182 18 22.51 70.56/70.65 c 895 470 3075 703075 228 10750 12726 2605 27 32.15 70.56/70.65 c 1708 470 5328 1306908 245 57551 13999 4858 39 43.66 70.56/70.65 c 3029 470 8049 2130963 264 213716 15399 7579 51 58.86 70.56/70.65 o 221 106.95/107.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 106.95/107.07 c 3584 470 9648 2597174 269 183849 9560 9178 50 70.63 106.95/107.07 c 3684 470 9924 2670886 269 167195 10517 9454 46 78.83 106.95/107.07 c 3934 470 10450 2836741 271 187086 11569 9980 44 87.96 106.95/107.07 c 4409 470 11837 3224829 272 176054 12726 11367 44 99.85 106.95/107.07 o 216 290.89/291.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 290.89/291.08 c 4409 470 11838 3225299 272 166691 9560 11368 41 107.04 290.89/291.08 c 4509 470 5544 1506115 271 117487 10517 5074 39 115.54 290.89/291.08 c 4759 470 6277 1718401 273 110297 11569 5807 37 125.29 290.89/291.08 c 5235 470 7659 2119774 276 109644 12726 7189 38 136.57 290.89/291.08 c 6049 470 10072 2827099 280 113414 13999 9602 40 148.79 290.89/291.08 c 7369 470 13540 3750510 276 172508 15399 13070 44 164.49 290.89/291.08 c 9450 470 11508 3047062 264 57977 16939 11038 50 187.26 290.89/291.08 c 12673 470 8941 2560035 286 552921 18633 8471 56 225.44 290.89/291.08 c 17610 470 13509 3441330 254 157763 20497 13039 62 280.52 290.89/291.08 o 215 410.56/410.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 410.56/410.73 c 17940 470 14285 3660900 256 174700 9560 13815 61 290.99 410.56/410.73 c 18041 470 5420 1312918 242 53279 10517 4950 59 301.88 410.56/410.73 c 18291 470 6147 1513678 246 49903 11569 5677 58 310.63 410.56/410.73 c 18766 470 7549 1891686 250 49896 12726 7079 58 321.17 410.56/410.73 c 19579 470 9964 2584588 259 52551 13999 9494 58 333.74 410.56/410.73 c 20899 470 13818 3669673 265 60347 15399 13348 59 349.66 410.56/410.73 c 22980 470 9654 2706134 280 335015 16939 9184 61 371.81 410.56/410.73 c 26203 470 10240 2794517 272 97986 18633 9770 65 402.80 410.56/410.73 o 214 1800.02/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.61 c 26232 470 10313 2813622 272 102764 9560 9843 63 410.60 1800.02/1800.61 c 26333 470 5553 1437788 258 19740 10517 5083 62 419.81 1800.02/1800.61 c 26584 470 6299 1640649 260 21446 11569 5829 62 428.24 1800.02/1800.61 c 27059 470 7700 2015671 261 24370 12726 7230 61 438.32 1800.02/1800.61 c 27872 470 10131 2690222 265 29109 13999 9661 61 449.88 1800.02/1800.61 c 29192 470 14061 3811652 271 37787 15399 13591 62 464.73 1800.02/1800.61 c 31273 470 12018 3107530 258 42765 16939 11548 64 484.21 1800.02/1800.61 c 34496 470 12583 3178536 252 39141 18633 12113 67 511.60 1800.02/1800.61 c 39432 470 17350 4514625 260 68320 20497 16880 71 551.31 1800.02/1800.61 c 46939 470 17936 4858779 270 109942 22547 17466 77 609.36 1800.02/1800.61 c 58300 470 19825 5852112 295 1319964 24802 19355 76 765.50 1800.02/1800.61 c 75444 470 19305 5392154 279 46657 27283 18835 78 960.48 1800.02/1800.61 c 101263 470 25421 6983078 274 60084 30012 24951 87 1160.23 1800.02/1800.61 c 140095 470 17289 4741599 274 51398 33014 16819 95 1470.80 1800.02/1800.61 c Caught signal: 15 1800.02/1800.61 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 1800.02/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.61 c 42 174118 29053 229781 18788 5419346 18318 96 1800.03 1800.02/1800.61 c Objective: 214 1800.02/1800.61 s SATISFIABLE 1800.02/1800.61 c Total time: 1800.03 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-1879989-1245136328/watcher-1879989-1245136328 -o /tmp/evaluation-result-1879989-1245136328/solver-1879989-1245136328 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879989-1245136328.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/64 32043 /proc/meminfo: memFree=1622036/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=10756 CPUtime=0 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 181229980 11014144 227 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 2689 227 174 640 0 2034 0 [startup+0.00810602 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32043 /proc/meminfo: memFree=1622036/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=10712 CPUtime=0 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 181229980 10969088 264 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 2711 265 185 640 0 2067 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10712 [startup+0.101122 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32043 /proc/meminfo: memFree=1622036/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=12204 CPUtime=0.09 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 640 0 0 0 9 0 0 0 18 0 1 0 181229980 12496896 608 1992294400 134512640 137136520 4294956256 18446744073709551615 135442977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 3051 608 284 640 0 2407 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12204 [startup+0.301155 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32043 /proc/meminfo: memFree=1622036/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=12700 CPUtime=0.29 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 861 0 0 0 29 0 0 0 19 0 1 0 181229980 13004800 696 1992294400 134512640 137136520 4294956256 18446744073709551615 135332265 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 3175 696 284 640 0 2531 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12700 [startup+0.701222 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32043 /proc/meminfo: memFree=1622036/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=13076 CPUtime=0.69 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 1475 0 0 0 69 0 0 0 22 0 1 0 181229980 13389824 705 1992294400 134512640 137136520 4294956256 18446744073709551615 135342556 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 3269 705 284 640 0 2625 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13076 [startup+1.50136 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1620748/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=13388 CPUtime=1.49 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 4805 0 0 0 148 1 0 0 25 0 1 0 181229980 13709312 602 1992294400 134512640 137136520 4294956256 18446744073709551615 134766797 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 3347 602 292 640 0 2703 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13388 [startup+3.10163 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1620300/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=13564 CPUtime=3.09 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 9211 0 0 0 307 2 0 0 25 0 1 0 181229980 13889536 681 1992294400 134512640 137136520 4294956256 18446744073709551615 135461845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 3391 683 292 640 0 2747 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13564 [startup+6.30118 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1620556/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=13192 CPUtime=6.29 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 21822 0 0 0 623 6 0 0 25 0 1 0 181229980 13508608 524 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 3298 524 292 640 0 2654 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13192 [startup+12.7023 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1619988/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=14188 CPUtime=12.69 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 50790 0 0 0 1253 16 0 0 25 0 1 0 181229980 14528512 743 1992294400 134512640 137136520 4294956256 18446744073709551615 135455314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 3547 743 295 640 0 2903 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14188 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1615380/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=18268 CPUtime=25.48 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 137475 0 0 0 2504 44 0 0 25 0 1 0 181229980 18706432 1732 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 4567 1732 295 640 0 3923 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18268 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1602644/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=29192 CPUtime=51.07 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 408329 0 0 0 4970 137 0 0 25 0 1 0 181229980 29892608 4995 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 7298 4995 295 640 0 6654 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 29192 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1574228/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=60768 CPUtime=102.26 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 848655 0 0 0 9928 298 0 0 25 0 1 0 181229980 62226432 12246 1992294400 134512640 137136520 4294956256 18446744073709551615 135461593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 15192 12246 296 640 0 14548 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 60768 [startup+162.302 s] /proc/loadavg: 1.04 1.01 1.00 2/65 32044 /proc/meminfo: memFree=1570324/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=62196 CPUtime=162.24 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 1113758 0 0 0 15802 422 0 0 25 0 1 0 181229980 63688704 13247 1992294400 134512640 137136520 4294956256 18446744073709551615 136509008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 15549 13247 296 640 0 14905 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 62196 [startup+222.302 s] /proc/loadavg: 1.05 1.02 1.00 2/65 32044 /proc/meminfo: memFree=1544084/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=87716 CPUtime=222.22 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 1510196 0 0 0 21620 602 0 0 25 0 1 0 181229980 89821184 19627 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 21929 19627 296 640 0 21285 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 87716 [startup+282.301 s] /proc/loadavg: 1.08 1.05 1.01 2/65 32044 /proc/meminfo: memFree=1535764/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=98692 CPUtime=282.2 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 1805759 0 0 0 27470 750 0 0 25 0 1 0 181229980 101060608 21658 1992294400 134512640 137136520 4294956256 18446744073709551615 135338151 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 24673 21658 296 640 0 24029 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 98692 [startup+342.301 s] /proc/loadavg: 1.03 1.03 1.00 2/65 32044 /proc/meminfo: memFree=1536148/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=95452 CPUtime=342.18 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 2040520 0 0 0 33363 855 0 0 25 0 1 0 181229980 97742848 21561 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 23863 21561 296 640 0 23219 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 95452 [startup+402.302 s] /proc/loadavg: 1.01 1.03 1.00 2/65 32044 /proc/meminfo: memFree=1536148/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=96988 CPUtime=402.16 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 2290449 0 0 0 39225 991 0 0 25 0 1 0 181229980 99315712 21565 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 24247 21565 296 640 0 23603 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 96988 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 32044 /proc/meminfo: memFree=1536148/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=95444 CPUtime=462.14 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 2493301 0 0 0 45124 1090 0 0 25 0 1 0 181229980 97734656 21559 1992294400 134512640 137136520 4294956256 18446744073709551615 134617414 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 23861 21559 296 640 0 23217 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 95444 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 32044 /proc/meminfo: memFree=1536148/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=97096 CPUtime=522.12 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 2724264 0 0 0 50986 1226 0 0 25 0 1 0 181229980 99426304 21564 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 24274 21564 296 640 0 23630 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 97096 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 32044 /proc/meminfo: memFree=1536148/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=95440 CPUtime=582.1 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 2920222 0 0 0 56845 1365 0 0 25 0 1 0 181229980 97730560 21558 1992294400 134512640 137136520 4294956256 18446744073709551615 134597731 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 23860 21558 296 640 0 23216 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 95440 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1530900/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=103188 CPUtime=642.08 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 3095671 0 0 0 62734 1474 0 0 25 0 1 0 181229980 105664512 22859 1992294400 134512640 137136520 4294956256 18446744073709551615 135471103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 25797 22859 296 640 0 25153 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 103188 [startup+702.302 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1492564/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=138840 CPUtime=822.03 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 3718926 0 0 0 80444 1759 0 0 25 0 1 0 181229980 142172160 32408 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 34710 32408 296 640 0 34066 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 138840 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1484052/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=149968 CPUtime=882 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 3959634 0 0 0 86324 1876 0 0 25 0 1 0 181229980 153567232 34533 1992294400 134512640 137136520 4294956256 18446744073709551615 134732448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 37492 34533 296 640 0 36848 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 149968 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1484052/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=149964 CPUtime=941.99 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 4295730 0 0 0 92136 2063 0 0 25 0 1 0 181229980 153563136 34535 1992294400 134512640 137136520 4294956256 18446744073709551615 136571969 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 36826 34524 296 640 0 36182 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 149964 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1484116/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=149232 CPUtime=1001.97 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 4569102 0 0 0 97977 2220 0 0 25 0 1 0 181229980 152813568 34517 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 36813 34511 296 640 0 36169 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 149232 [startup+1062.3 s] /proc/loadavg: 1.06 1.01 1.00 2/65 32044 /proc/meminfo: memFree=1484116/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=147212 CPUtime=1061.95 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 4776286 0 0 0 103836 2359 0 0 25 0 1 0 181229980 150745088 34501 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 36803 34501 296 640 0 36159 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 147212 [startup+1122.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 32044 /proc/meminfo: memFree=1484116/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=148912 CPUtime=1121.92 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 4876813 0 0 0 109740 2452 0 0 25 0 1 0 181229980 152485888 34506 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 37228 34506 296 640 0 36584 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 148912 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1484052/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=147684 CPUtime=1181.91 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 4952127 0 0 0 115671 2520 0 0 25 0 1 0 181229980 151228416 34524 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 36921 34524 296 640 0 36277 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 147684 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1484052/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=147684 CPUtime=1241.89 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 5020993 0 0 0 121602 2587 0 0 25 0 1 0 181229980 151228416 34524 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 36921 34524 296 640 0 36277 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 147684 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1483988/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=147684 CPUtime=1301.87 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 5037194 0 0 0 127580 2607 0 0 25 0 1 0 181229980 151228416 34524 1992294400 134512640 137136520 4294956256 18446744073709551615 135379312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 36921 34524 296 640 0 36277 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 147684 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1483988/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=147684 CPUtime=1361.85 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 5037734 0 0 0 133573 2612 0 0 25 0 1 0 181229980 151228416 34524 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 36921 34524 296 640 0 36277 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 147684 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1483988/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=147684 CPUtime=1421.84 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 5037840 0 0 0 139569 2615 0 0 25 0 1 0 181229980 151228416 34524 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 36921 34524 296 640 0 36277 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 147684 [startup+1482.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 32044 /proc/meminfo: memFree=1483796/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=147684 CPUtime=1481.81 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 5044260 0 0 0 145561 2620 0 0 25 0 1 0 181229980 151228416 34526 1992294400 134512640 137136520 4294956256 18446744073709551615 134847536 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 36921 34526 296 640 0 36277 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 147684 [startup+1542.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 32044 /proc/meminfo: memFree=1483796/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=147696 CPUtime=1541.79 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 5045724 0 0 0 151552 2627 0 0 25 0 1 0 181229980 151240704 34529 1992294400 134512640 137136520 4294956256 18446744073709551615 134730237 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 36924 34529 296 640 0 36280 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 147696 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1478996/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=152100 CPUtime=1601.77 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 5288082 0 0 0 157417 2760 0 0 25 0 1 0 181229980 155750400 35723 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 38025 35723 296 640 0 37381 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 152100 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1479124/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=152100 CPUtime=1661.75 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 5552176 0 0 0 163257 2918 0 0 25 0 1 0 181229980 155750400 35723 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 38025 35723 296 640 0 37381 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 152100 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1479124/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=152096 CPUtime=1721.73 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 5788125 0 0 0 169109 3064 0 0 25 0 1 0 181229980 155746304 35722 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 38024 35722 296 640 0 37380 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 152096 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1479060/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=152096 CPUtime=1781.71 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 6014121 0 0 0 174978 3193 0 0 25 0 1 0 181229980 155746304 35722 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 38024 35722 296 640 0 37380 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 152096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32044 /proc/meminfo: memFree=1479060/2055920 swapFree=4181368/4192956 [pid=32043] ppid=32041 vsize=152096 CPUtime=1800.02 /proc/32043/stat : 32043 (bsolo) R 32041 32043 31664 0 -1 4194304 6065782 0 0 0 176779 3223 0 0 25 0 1 0 181229980 155746304 35722 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32043/statm: 38024 35722 296 640 0 37380 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 152096 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.64 CPU time (s): 1800.05 CPU user time (s): 1767.8 CPU system time (s): 32.2551 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 154916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1767.8 system time used= 32.2551 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6065784 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= 2662 runsolver used 1.63375 second user time and 3.32349 second system time The end
Begin job on node43 at 2009-06-16 09:12:08 IDJOB=1879989 IDBENCH=1948 IDSOLVER=701 FILE ID=node43/1879989-1245136328 PBS_JOBID= 9363711 Free space on /tmp= 66192 MiB SOLVER NAME= bsolo 3.1 pb 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 -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879989-1245136328/watcher-1879989-1245136328 -o /tmp/evaluation-result-1879989-1245136328/solver-1879989-1245136328 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879989-1245136328.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a65a3b6248e07fcc15fb8d2bec9ac9bd RANDOM SEED=1322244900 node43.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.281 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.281 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: 1622516 kB Buffers: 41640 kB Cached: 325172 kB SwapCached: 5352 kB Active: 30576 kB Inactive: 344092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1622516 kB SwapTotal: 4192956 kB SwapFree: 4181368 kB Dirty: 3984 kB Writeback: 0 kB Mapped: 13588 kB Slab: 44616 kB Committed_AS: 168804 kB PageTables: 1448 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= 66188 MiB End job on node43 at 2009-06-16 09:42:10