Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | SAT (TO) | 24266 | 1800.06 | 1800.51 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gt2.opb |
MD5SUM | fbf213ed65afe4e66abc3948eb02a29f |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 21166 |
Best CPU time to get the best result obtained on this benchmark | 4.76028 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21166 |
Optimality of the best value was proved | NO |
Number of variables | 556 |
Total number of constraints | 180 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 178 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 304 |
Biggest coefficient in the objective function | 62376 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 3092598 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 62376 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 3092598 |
Number of bits of the biggest sum of numbers | 22 |
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 PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 120/0 clauses 60/0 units 0 0.00/0.00 c vars 556 0.00/0.00 c objective 304 + 0 0.09/0.15 c 0.136979 11.918 100 810 0.09/0.15 o 284968 0.09/0.16 c 0.146977 12.2812 133 1060 0.09/0.16 o 277207 0.09/0.17 c 0.150977 12.2812 133 1256 0.09/0.17 o 276092 0.09/0.17 c 0.154976 12.2812 134 1468 0.09/0.17 o 270818 0.09/0.18 c 0.158975 12.2812 135 1666 0.09/0.18 o 270401 0.09/0.18 c 0.162975 12.2812 137 1888 0.09/0.18 o 257103 0.09/0.19 c 0.173973 12.2812 158 2115 0.09/0.19 o 251988 0.09/0.20 c 0.176973 12.2812 159 2389 0.09/0.20 o 249246 0.19/0.20 c 0.180972 12.2812 159 2642 0.19/0.20 o 238010 0.19/0.20 c 0.184971 12.2812 160 2912 0.19/0.20 o 229493 0.19/0.21 c 0.188971 12.2812 160 3201 0.19/0.21 o 229130 0.19/0.21 c 0.19197 12.2812 160 3464 0.19/0.21 o 224790 0.19/0.22 c 0.19497 12.2812 166 3754 0.19/0.22 o 218483 0.19/0.22 c 0.197969 12.2812 170 4064 0.19/0.23 o 207897 0.19/0.23 c 0.203968 12.2812 175 4334 0.19/0.23 o 207757 0.19/0.24 c 0.207968 12.2812 177 4595 0.19/0.24 o 207572 0.19/0.26 c 0.222966 12.2812 239 4925 0.19/0.26 o 203190 0.19/0.26 c 0.226965 12.2812 240 5218 0.19/0.26 o 194066 0.19/0.27 c 0.230964 12.2812 240 5498 0.19/0.27 o 189614 0.19/0.27 c 0.235964 12.2812 241 5798 0.19/0.27 o 171477 0.19/0.28 c 0.238963 12.2812 241 6097 0.19/0.28 o 171227 0.19/0.28 c 0.241963 12.2812 241 6372 0.19/0.28 o 163284 0.19/0.28 c 0.244962 12.2812 241 6660 0.19/0.28 o 163257 0.19/0.29 c 0.246962 12.2812 241 6948 0.19/0.29 o 158300 0.19/0.29 c 0.251961 12.2812 243 7196 0.19/0.29 o 152967 0.29/0.30 c 0.255961 12.2812 243 7496 0.29/0.30 o 136226 0.29/0.30 c 0.25996 12.2812 243 7792 0.29/0.30 o 130592 0.29/0.31 c 0.26296 12.2812 243 8085 0.29/0.31 o 129779 0.29/0.31 c 0.266959 12.2812 243 8390 0.29/0.31 o 117654 0.29/0.32 c 0.269958 12.2812 243 8706 0.29/0.32 o 114167 0.29/0.32 c 0.274958 12.2812 243 9011 0.29/0.32 o 108092 0.29/0.32 c 0.279957 12.2812 243 9299 0.29/0.32 o 93348 0.29/0.33 c 0.283956 12.2812 243 9586 0.29/0.33 o 87497 0.29/0.33 c 0.287956 12.2812 245 9869 0.29/0.33 o 81181 0.29/0.34 c 0.291955 12.2812 254 10169 0.29/0.34 o 77257 0.29/0.35 c 0.296954 12.2812 256 10429 0.29/0.35 o 76950 0.29/0.35 c 0.300954 12.2812 259 10699 0.29/0.35 o 76627 0.29/0.36 c 0.308953 12.2812 280 11041 0.29/0.36 o 76566 0.29/0.37 c 0.32295 12.4062 322 11385 0.29/0.37 o 74923 0.39/0.40 c 0.347947 12.4062 419 11829 0.39/0.40 o 69257 0.69/0.77 c 0.657899 12.7852 667 13869 0.69/0.77 o 63013 0.69/0.78 c 0.665898 12.7852 674 14302 0.69/0.78 o 62258 0.79/0.81 c 0.697893 12.7852 794 15279 0.79/0.81 o 56646 1.10/1.13 c 0.965853 13.043 1094 18134 1.10/1.13 o 56054 1.10/1.16 c 0.995848 13.043 1210 18825 1.10/1.16 o 54827 1.10/1.17 c 0.999848 13.043 1211 19038 1.10/1.17 o 53485 1.10/1.18 c 1.00785 13.043 1236 19322 1.10/1.18 o 52395 1.29/1.38 c 1.16382 13.043 1257 22330 1.29/1.38 o 52383 1.29/1.39 c 1.17282 13.043 1267 22693 1.29/1.39 o 51452 1.29/1.39 c 1.17582 13.043 1268 22999 1.29/1.39 o 51381 1.39/1.41 c 1.18482 13.043 1297 23440 1.39/1.41 o 51232 1.39/1.45 c 1.21781 13.1719 727 24130 1.39/1.45 o 50470 1.49/1.51 c 1.27581 13.1719 908 24810 1.49/1.51 o 49819 1.49/1.54 c 1.3028 13.1719 1004 25185 1.49/1.54 o 49701 1.49/1.57 c 1.3278 13.1719 1105 26041 1.49/1.57 o 49241 1.59/1.62 c 1.36979 13.1719 1233 26608 1.59/1.62 o 48631 1.79/1.87 c 1.57776 13.1719 1275 29075 1.79/1.87 o 48281 1.89/1.90 c 1.60675 13.1719 693 29724 1.89/1.90 o 44903 1.89/1.90 c 1.61075 13.1719 694 30013 1.89/1.91 o 41445 1.89/1.91 c 1.61275 13.1719 694 30281 1.89/1.91 o 35794 2.49/2.56 c 2.15067 13.1719 1265 35096 2.49/2.56 o 34444 3.20/3.20 c 2.68759 13.1719 1014 40556 3.20/3.20 o 34215 3.39/3.41 c 2.86256 13.1719 850 42574 3.39/3.41 o 33912 4.49/4.53 c 3.81742 13.5586 975 49557 4.49/4.53 o 31308 6.89/6.92 c 5.84511 14.7148 1460 62745 6.89/6.92 o 31196 25.69/25.79 c 21.6487 14.832 1021 169575 25.69/25.79 o 29292 31.59/31.66 c 26.484 14.793 2874 207340 31.59/31.66 o 29149 36.29/36.33 c 30.3474 14.793 1490 241701 36.29/36.33 o 28162 40.88/40.92 c 34.2208 15.5664 1423 266719 40.88/40.92 o 28061 42.98/43.05 c 36.0005 15.5664 800 280256 42.98/43.05 o 27363 79.87/79.92 c 66.9978 15.6953 1746 465649 79.87/79.92 o 26797 89.66/89.76 c 75.2266 15.6953 1217 516576 89.66/89.76 o 26618 97.87/97.99 c 82.1565 15.6953 1262 559252 97.87/97.99 o 26240 111.57/111.63 c 93.6708 15.9609 1160 623800 111.57/111.63 o 25199 226.34/226.47 c 190.978 16.4492 1081 1117766 226.34/226.47 o 25027 461.89/462.09 c 389.771 16.4492 1401 2094195 461.89/462.09 o 24761 654.93/655.14 c 553.202 16.543 1656 2969258 654.93/655.14 o 24314 1054.64/1054.93 c 891.392 17.0312 1573 4724386 1054.64/1054.93 o 24266 1800.05/1800.50 s SATISFIABLE 1800.05/1800.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 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556
OK 24266
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682110-1277477338/watcher-2682110-1277477338 -o /tmp/evaluation-result-2682110-1277477338/solver-2682110-1277477338 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682110-1277477338.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.91 0.95 0.80 3/106 23121 /proc/meminfo: memFree=1812092/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=2268 CPUtime=0 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 123335114 2322432 196 1992294400 134512640 136421960 4293643248 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23121/statm: 567 196 145 467 0 98 0 [startup+0.0277051 s] /proc/loadavg: 0.91 0.95 0.80 3/106 23121 /proc/meminfo: memFree=1812092/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=5024 CPUtime=0.02 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 975 0 0 0 2 0 0 0 20 0 1 0 123335114 5144576 895 1992294400 134512640 136421960 4293643248 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 1256 897 193 467 0 787 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5024 [startup+0.100711 s] /proc/loadavg: 0.91 0.95 0.80 3/106 23121 /proc/meminfo: memFree=1812092/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=11632 CPUtime=0.09 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 2577 0 0 0 8 1 0 0 20 0 1 0 123335114 11911168 2497 1992294400 134512640 136421960 4293643248 18446744073709551615 134911544 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 2908 2497 203 467 0 2439 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11632 [startup+0.30073 s] /proc/loadavg: 0.91 0.95 0.80 3/106 23121 /proc/meminfo: memFree=1812092/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=12572 CPUtime=0.29 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 2839 0 0 0 25 4 0 0 20 0 1 0 123335114 12873728 2734 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 3143 2734 236 467 0 2674 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12572 [startup+0.700767 s] /proc/loadavg: 0.91 0.95 0.80 3/106 23121 /proc/meminfo: memFree=1812092/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=12828 CPUtime=0.69 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 2919 0 0 0 59 10 0 0 20 0 1 0 123335114 13135872 2799 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 3207 2799 236 467 0 2738 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12828 [startup+1.50084 s] /proc/loadavg: 0.91 0.95 0.80 2/107 23122 /proc/meminfo: memFree=1801420/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=13484 CPUtime=1.49 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3064 0 0 0 126 23 0 0 22 0 1 0 123335114 13807616 2932 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 3371 2932 237 467 0 2902 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13484 [startup+3.10099 s] /proc/loadavg: 0.91 0.95 0.80 2/107 23122 /proc/meminfo: memFree=1801048/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=13484 CPUtime=3.09 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3097 0 0 0 259 50 0 0 25 0 1 0 123335114 13807616 2956 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 3371 2956 237 467 0 2902 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13484 [startup+6.30028 s] /proc/loadavg: 0.92 0.95 0.80 2/107 23122 /proc/meminfo: memFree=1799436/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=15064 CPUtime=6.29 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3477 0 0 0 532 97 0 0 25 0 1 0 123335114 15425536 3333 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 3766 3333 237 467 0 3297 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15064 [startup+12.7019 s] /proc/loadavg: 0.93 0.95 0.80 2/107 23122 /proc/meminfo: memFree=1799064/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=15064 CPUtime=12.69 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3478 0 0 0 1067 202 0 0 25 0 1 0 123335114 15425536 3333 1992294400 134512640 136421960 4293643248 18446744073709551615 134868553 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 3766 3333 237 467 0 3297 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15064 [startup+25.501 s] /proc/loadavg: 0.94 0.96 0.80 2/107 23122 /proc/meminfo: memFree=1799064/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=15184 CPUtime=25.48 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3518 0 0 0 2141 407 0 0 25 0 1 0 123335114 15548416 3373 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 3796 3373 237 467 0 3327 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15184 [startup+51.1004 s] /proc/loadavg: 0.96 0.96 0.81 2/107 23122 /proc/meminfo: memFree=1798444/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=15936 CPUtime=51.08 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3698 0 0 0 4271 837 0 0 25 0 1 0 123335114 16318464 3546 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 3984 3546 237 467 0 3515 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15936 [startup+102.308 s] /proc/loadavg: 0.98 0.96 0.82 2/107 23124 /proc/meminfo: memFree=1797948/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=16068 CPUtime=102.27 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3757 0 0 0 8578 1649 0 0 25 0 1 0 123335114 16453632 3602 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4017 3602 237 467 0 3548 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 16068 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.82 2/107 23126 /proc/meminfo: memFree=1797204/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=16840 CPUtime=162.26 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3947 0 0 0 13650 2576 0 0 25 0 1 0 123335114 17244160 3781 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4210 3781 237 467 0 3741 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 16840 [startup+222.301 s] /proc/loadavg: 1.08 1.00 0.84 2/107 23128 /proc/meminfo: memFree=1797204/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=16840 CPUtime=222.24 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3947 0 0 0 18745 3479 0 0 25 0 1 0 123335114 17244160 3781 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4210 3781 237 467 0 3741 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 16840 [startup+282.301 s] /proc/loadavg: 1.06 1.01 0.85 2/107 23128 /proc/meminfo: memFree=1797080/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=16840 CPUtime=282.22 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3948 0 0 0 23799 4423 0 0 25 0 1 0 123335114 17244160 3781 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4210 3781 237 467 0 3741 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 16840 [startup+342.301 s] /proc/loadavg: 1.13 1.04 0.87 2/107 23130 /proc/meminfo: memFree=1796956/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=16840 CPUtime=342.21 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3948 0 0 0 28815 5406 0 0 25 0 1 0 123335114 17244160 3781 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4210 3781 237 467 0 3741 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 16840 [startup+402.301 s] /proc/loadavg: 1.12 1.04 0.88 3/107 23132 /proc/meminfo: memFree=1796832/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=16840 CPUtime=402.19 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3948 0 0 0 33919 6300 0 0 25 0 1 0 123335114 17244160 3781 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4210 3781 237 467 0 3741 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 16840 [startup+462.301 s] /proc/loadavg: 1.11 1.05 0.89 2/107 23134 /proc/meminfo: memFree=1796832/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=16840 CPUtime=462.18 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3949 0 0 0 38994 7224 0 0 25 0 1 0 123335114 17244160 3781 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4210 3781 237 467 0 3741 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 16840 [startup+522.301 s] /proc/loadavg: 1.08 1.05 0.90 2/107 23136 /proc/meminfo: memFree=1796708/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=16840 CPUtime=522.17 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3962 0 0 0 44074 8143 0 0 25 0 1 0 123335114 17244160 3794 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4210 3794 237 467 0 3741 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 16840 [startup+582.301 s] /proc/loadavg: 1.03 1.04 0.91 2/107 23136 /proc/meminfo: memFree=1796708/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=16840 CPUtime=582.15 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3962 0 0 0 49121 9094 0 0 25 0 1 0 123335114 17244160 3794 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4210 3794 237 467 0 3741 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 16840 [startup+642.301 s] /proc/loadavg: 1.01 1.03 0.91 2/107 23138 /proc/meminfo: memFree=1796584/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=16936 CPUtime=642.14 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4041 0 0 0 54232 9982 0 0 25 0 1 0 123335114 17342464 3820 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4234 3820 237 467 0 3765 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 16936 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.01 0.91 2/107 23153 /proc/meminfo: memFree=1795840/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17168 CPUtime=882.06 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4095 0 0 0 74522 13684 0 0 25 0 1 0 123335114 17580032 3873 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4292 3873 237 467 0 3823 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 17168 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 23155 /proc/meminfo: memFree=1795592/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17436 CPUtime=942.05 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4193 0 0 0 79655 14550 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4359 3945 237 467 0 3890 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 17436 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 23157 /proc/meminfo: memFree=1795592/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17436 CPUtime=1002.04 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4193 0 0 0 84703 15501 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4359 3945 237 467 0 3890 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 17436 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 23159 /proc/meminfo: memFree=1795592/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17436 CPUtime=1062.02 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 89757 16445 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4359 3945 237 467 0 3890 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 17436 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 23161 /proc/meminfo: memFree=1795592/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17436 CPUtime=1122.01 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 94847 17354 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4359 3945 237 467 0 3890 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 17436 [startup+1182.3 s] /proc/loadavg: 1.07 1.02 0.91 2/107 23161 /proc/meminfo: memFree=1795468/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17436 CPUtime=1182 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 99891 18309 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4359 3945 237 467 0 3890 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 17436 [startup+1242.3 s] /proc/loadavg: 1.02 1.01 0.91 2/107 23163 /proc/meminfo: memFree=1795220/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17436 CPUtime=1241.97 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 104941 19256 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4359 3945 237 467 0 3890 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 17436 [startup+1302.3 s] /proc/loadavg: 1.01 1.00 0.91 2/107 23165 /proc/meminfo: memFree=1795096/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17436 CPUtime=1301.97 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 110014 20183 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4359 3945 237 467 0 3890 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 17436 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 23167 /proc/meminfo: memFree=1795096/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17436 CPUtime=1361.94 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 115107 21087 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4359 3945 237 467 0 3890 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 17436 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.91 2/107 23169 /proc/meminfo: memFree=1795096/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17436 CPUtime=1421.94 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 120141 22053 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4359 3945 237 467 0 3890 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 17436 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 23169 /proc/meminfo: memFree=1795096/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17436 CPUtime=1481.92 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 125190 23002 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4359 3945 237 467 0 3890 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 17436 [startup+1542.3 s] /proc/loadavg: 1.04 1.01 0.92 2/107 23174 /proc/meminfo: memFree=1794352/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17436 CPUtime=1541.9 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 130270 23920 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4359 3945 237 467 0 3890 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 17436 [startup+1602.3 s] /proc/loadavg: 1.01 1.01 0.92 2/107 23176 /proc/meminfo: memFree=1794600/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17436 CPUtime=1601.89 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 135308 24881 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4359 3945 237 467 0 3890 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 17436 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 23178 /proc/meminfo: memFree=1794600/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17436 CPUtime=1661.88 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 140390 25798 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4359 3945 237 467 0 3890 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 17436 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 23180 /proc/meminfo: memFree=1794600/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17436 CPUtime=1721.87 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 145456 26731 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4359 3945 237 467 0 3890 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 17436 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 23180 /proc/meminfo: memFree=1794724/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17700 CPUtime=1781.85 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4243 0 0 0 150612 27573 0 0 25 0 1 0 123335114 18124800 3994 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4425 3994 237 467 0 3956 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 17700 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.92 2/107 23182 /proc/meminfo: memFree=1794724/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17612 CPUtime=1800.05 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4252 0 0 0 152205 27800 0 0 25 0 1 0 123335114 18034688 3989 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4403 3989 237 467 0 3934 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 17612 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.92 2/107 23182 /proc/meminfo: memFree=1794724/2059040 swapFree=4135508/4192956 [pid=23121] ppid=23119 vsize=17612 CPUtime=1800.05 /proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4252 0 0 0 152205 27800 0 0 25 0 1 0 123335114 18034688 3989 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23121/statm: 4403 3989 237 467 0 3934 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 17612 Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1522.05 CPU system time (s): 278.008 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 17792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1522.05 system time used= 278.008 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4253 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= 1 involuntary context switches= 3124 runsolver used 2.74758 second user time and 8.73867 second system time The end
Begin job on node015 at 2010-06-25 16:48:58 IDJOB=2682110 IDBENCH=1528 IDSOLVER=1192 FILE ID=node015/2682110-1277477338 PBS_JOBID= 11190521 Free space on /tmp= 62412 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2682110-1277477338/watcher-2682110-1277477338 -o /tmp/evaluation-result-2682110-1277477338/solver-2682110-1277477338 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682110-1277477338.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fbf213ed65afe4e66abc3948eb02a29f RANDOM SEED=2104420222 node015.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1812612 kB Buffers: 42704 kB Cached: 102764 kB SwapCached: 10404 kB Active: 17672 kB Inactive: 141224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1812612 kB SwapTotal: 4192956 kB SwapFree: 4135508 kB Dirty: 1948 kB Writeback: 0 kB AnonPages: 12028 kB Mapped: 8400 kB Slab: 65432 kB PageTables: 4204 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181448 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62408 MiB End job on node015 at 2010-06-25 17:19:00