Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 26600 | 1800.02 | 1800.61 |
Name | normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb |
MD5SUM | aa73e48897f9c10e5003e2188d9e7ab9 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24890 |
Best CPU time to get the best result obtained on this benchmark | 0.119981 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24890 |
Optimality of the best value was proved | YES |
Number of variables | 644 |
Total number of constraints | 1034 |
Number of constraints which are clauses | 1034 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 31 |
Number of terms in the objective function | 353 |
Biggest coefficient in the objective function | 2034 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 561307 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 2034 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 561307 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433735-1177963011/instance-433735-1177963011.opb 0.00/0.00 c File size is 31269 bytes. 0.00/0.01 c Highest Coefficient sum: 561307 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.005 s 0.00/0.01 c Var: 644 Constr: 1034 1034/0/0 Lit: 2598 Watch. Lit: 2064 0.00/0.01 c Obj. Vars: 353 (54.8137 % of total variables) 0.00/0.01 c Pre-processing Time: 0.011 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 630 1010 2554 2 2020 336 0 0 0.01 0.00/0.01 c Switching off LPR mode. 0.00/0.01 o 26629 0.011 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 630 1011 2903 2 2357 1034 1 0 0.01 0.00/0.01 o 26600 0.012 1800.00/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.00/1800.60 c 3 630 1015 3326 3 2700 1034 5 250 0.01 1800.00/1800.60 c 105 630 1117 6678 5 2904 1138 107 4772 0.02 1800.00/1800.60 c 355 630 1367 12245 8 3404 1252 357 6826 0.05 1800.00/1800.60 c 831 630 1843 24585 13 4356 1378 833 7694 0.11 1800.00/1800.60 c 1644 630 1700 17578 10 3734 1516 690 8220 0.20 1800.00/1800.60 c 2967 630 2088 32674 15 4511 1668 1078 7081 0.42 1800.00/1800.60 c 5052 630 2062 41628 20 4459 1835 1052 6691 0.76 1800.00/1800.60 c 8275 630 1929 23080 11 4192 2019 919 7509 1.10 1800.00/1800.60 c 13211 630 2122 37220 17 4579 2221 1112 6460 2.04 1800.00/1800.60 c 20718 630 2787 35126 12 5908 2444 1777 6730 3.08 1800.00/1800.60 c 32079 630 2891 50068 17 6117 2689 1881 6529 4.91 1800.00/1800.60 c 49223 630 3119 51460 16 6573 2958 2109 6662 7.39 1800.00/1800.60 c 75044 630 3501 88587 25 7336 3254 2491 6172 12.16 1800.00/1800.61 c 113876 630 3566 125529 35 7467 3580 2556 5463 20.84 1800.00/1800.61 c 172230 630 2801 58868 21 5937 3939 1791 5462 31.53 1800.00/1800.61 c 259863 630 4165 64763 15 8664 4333 3155 5752 45.18 1800.00/1800.61 c 391415 630 5153 143414 27 10641 4767 4143 5219 74.99 1800.00/1800.61 c 588847 630 4784 94331 19 9903 5244 3774 5124 114.91 1800.00/1800.61 c 885099 630 4948 149106 30 10230 5769 3938 4884 181.20 1800.00/1800.61 c 1329581 630 6596 162949 24 13527 6346 5586 4835 274.98 1800.00/1800.61 c 1996410 630 5947 220737 37 12229 6981 4937 4567 437.09 1800.00/1800.61 c 2996755 630 6142 168848 27 12619 7680 5132 4317 694.13 1800.00/1800.61 c 4497377 630 6645 206057 31 13624 8449 5635 4038 1113.61 1800.00/1800.61 c 6748415 630 5901 134858 22 12137 9294 4891 3764 1792.41 1800.00/1800.61 c Caught signal: 15 1800.00/1800.61 v -x56 -x58 -x60 -x62 -x64 -x66 -x68 -x70 -x72 -x74 -x76 -x77 -x79 -x80 -x81 -x82 -x84 -x86 -x88 x89 -x91 -x93 -x95 -x97 -x99 -x100 1800.00/1800.61 v -x102 -x104 -x105 -x107 -x109 -x111 -x113 -x115 -x117 -x119 -x120 -x122 -x124 -x126 -x127 -x129 -x131 -x133 -x135 -x137 -x139 1800.00/1800.61 v -x140 -x142 -x144 -x146 -x148 -x150 -x152 -x154 -x156 -x158 -x160 -x162 -x164 -x166 -x168 -x170 x172 -x174 -x176 -x178 -x180 1800.00/1800.61 v -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 1800.00/1800.61 v -x224 -x226 -x228 -x230 -x232 -x234 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x256 -x258 -x260 -x262 1800.00/1800.61 v -x263 -x265 -x267 -x269 -x271 -x273 x274 -x276 -x278 -x280 -x282 -x283 -x285 -x287 -x288 -x290 -x292 -x293 -x295 -x297 -x299 1800.00/1800.61 v -x301 -x303 -x305 -x307 -x309 -x310 x311 -x313 -x314 -x316 -x318 -x319 -x321 -x323 -x324 -x326 -x327 -x329 -x331 -x333 -x334 1800.00/1800.61 v -x336 -x338 -x340 -x342 -x343 -x345 -x346 -x348 -x349 -x350 -x352 -x354 -x355 -x357 -x358 -x359 -x360 -x362 -x363 -x365 -x367 1800.00/1800.61 v -x368 -x370 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x388 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 1800.00/1800.61 v -x407 -x409 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x423 -x425 -x426 -x428 -x430 -x432 -x434 -x435 -x437 -x439 -x441 -x443 1800.00/1800.61 v -x445 -x447 -x449 -x451 x452 -x454 -x455 -x457 -x458 -x459 -x461 -x463 -x465 -x467 -x469 x470 -x472 -x473 -x474 -x475 -x477 1800.00/1800.61 v -x479 -x481 -x482 -x483 -x485 -x486 -x487 -x489 -x490 -x492 -x493 -x494 -x496 -x498 -x500 -x502 -x503 -x505 -x506 -x508 -x510 1800.00/1800.61 v x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x526 -x528 -x530 -x531 -x532 -x534 -x536 -x537 -x539 -x541 -x543 -x544 -x546 1800.00/1800.61 v x547 -x548 -x550 -x551 -x553 -x555 -x556 -x558 -x559 -x561 -x563 -x565 -x567 -x569 -x570 -x571 -x573 -x574 -x575 -x576 -x578 1800.00/1800.61 v -x580 x581 -x582 -x583 -x585 -x586 x587 -x589 -x591 -x593 -x594 -x595 -x596 -x598 -x599 -x600 -x602 -x604 -x605 -x606 -x607 1800.00/1800.61 v -x609 x610 -x611 -x612 -x613 -x615 x616 x617 -x618 -x619 -x621 -x622 -x623 x624 -x626 -x627 -x628 -x629 -x630 -x631 -x632 1800.00/1800.61 v -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 x642 x643 -x644 -x55 -x1 -x57 -x59 -x61 -x2 -x63 -x65 -x67 -x69 -x71 -x73 1800.00/1800.61 v -x75 -x3 -x78 -x4 -x5 -x6 -x83 -x85 -x87 -x90 -x92 -x94 -x96 -x98 -x7 -x101 -x103 -x8 -x106 -x108 -x110 -x9 -x112 -x114 -x116 1800.00/1800.61 v -x118 -x121 -x123 -x10 -x125 -x128 -x11 -x130 -x132 -x134 -x136 -x138 -x141 -x12 -x143 -x145 -x147 -x149 -x151 -x153 -x155 1800.00/1800.61 v -x157 -x159 -x161 -x163 -x165 -x167 -x169 x171 -x173 -x175 -x177 -x179 -x181 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x197 1800.00/1800.61 v -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x13 -x236 -x238 1800.00/1800.61 v -x240 -x242 -x14 -x244 -x246 -x248 -x250 -x252 -x254 -x257 -x259 -x261 -x15 -x264 -x266 -x268 -x270 -x272 -x275 -x277 -x279 1800.00/1800.61 v -x281 -x284 -x286 -x16 -x289 -x291 -x17 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x18 -x308 x19 -x312 -x20 -x315 -x317 -x21 1800.00/1800.61 v -x320 -x322 -x22 -x325 -x23 -x328 -x330 -x332 -x335 -x337 -x339 -x24 -x341 -x344 -x25 -x347 -x26 -x27 -x351 -x28 -x353 -x356 1800.00/1800.61 v -x29 -x30 -x361 -x364 -x31 -x366 -x369 -x32 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x390 -x392 -x394 -x396 -x33 -x398 1800.00/1800.61 v -x400 -x402 -x404 -x406 -x408 -x411 -x413 -x415 -x417 -x34 -x419 -x421 -x424 -x35 -x427 -x429 -x431 -x433 -x436 -x438 -x440 1800.00/1800.61 v -x442 -x444 -x446 -x448 -x450 -x453 -x36 -x456 -x37 -x460 -x462 -x464 -x466 -x468 -x471 -x38 -x39 -x40 -x476 -x478 -x480 -x41 1800.00/1800.61 v -x484 -x42 -x488 -x491 -x43 -x495 -x497 -x499 -x501 -x504 -x507 -x509 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x527 -x529 1800.00/1800.61 v -x44 -x533 -x535 -x45 -x538 -x540 -x542 -x545 -x549 -x552 -x554 -x557 -x560 -x562 -x564 -x566 -x568 -x572 -x46 -x577 -x579 1800.00/1800.61 v -x47 -x584 -x588 -x590 -x592 -x48 -x49 -x597 -x50 -x601 -x51 -x603 -x608 -x614 -x620 -x52 -x625 -x53 -x54 1800.00/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1800.61 c 25 6780819 4639752 36649814 9155 217884 8145 3767 1800.01 1800.00/1800.61 c Objective: 26600 1800.00/1800.61 s SATISFIABLE 1800.00/1800.61 c Total time: 1800.01 s
OK 26600
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-433735-1177963011 -o ROOT/results/node15/solver-433735-1177963011 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433735-1177963011/instance-433735-1177963011.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.97 0.96 3/77 30457 /proc/meminfo: memFree=1746544/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=11768 CPUtime=0 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 244218677 12050432 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2942 334 279 324 0 2004 0 [startup+0.0903371 s] /proc/loadavg: 0.91 0.97 0.96 3/77 30457 /proc/meminfo: memFree=1746544/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=4452 CPUtime=0.08 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 543 0 0 0 8 0 0 0 18 0 1 0 244218677 4558848 505 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 1113 505 311 324 0 183 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4452 [startup+0.101338 s] /proc/loadavg: 0.91 0.97 0.96 3/77 30457 /proc/meminfo: memFree=1746544/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=4584 CPUtime=0.09 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 552 0 0 0 9 0 0 0 18 0 1 0 244218677 4694016 514 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 1146 514 311 324 0 216 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4584 [startup+0.301356 s] /proc/loadavg: 0.91 0.97 0.96 3/77 30457 /proc/meminfo: memFree=1746544/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=4848 CPUtime=0.29 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 640 0 0 0 29 0 0 0 19 0 1 0 244218677 4964352 602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 1212 602 311 324 0 282 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4848 [startup+0.701393 s] /proc/loadavg: 0.91 0.97 0.96 3/77 30457 /proc/meminfo: memFree=1746544/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=5236 CPUtime=0.69 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 708 0 0 0 69 0 0 0 22 0 1 0 244218677 5361664 670 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 1309 670 311 324 0 379 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5236 [startup+1.50147 s] /proc/loadavg: 0.91 0.97 0.96 2/78 30458 /proc/meminfo: memFree=1745000/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=5240 CPUtime=1.49 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 733 0 0 0 149 0 0 0 25 0 1 0 244218677 5365760 695 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7946081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 1310 695 311 324 0 380 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5240 [startup+3.10166 s] /proc/loadavg: 0.92 0.97 0.96 2/78 30458 /proc/meminfo: memFree=1744680/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=5372 CPUtime=3.09 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 765 0 0 0 309 0 0 0 25 0 1 0 244218677 5500928 727 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 1343 727 311 324 0 413 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5372 [startup+6.30191 s] /proc/loadavg: 0.92 0.97 0.96 2/78 30458 /proc/meminfo: memFree=1744296/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=5624 CPUtime=6.29 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 834 0 0 0 629 0 0 0 25 0 1 0 244218677 5758976 796 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 1406 796 311 324 0 476 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5624 [startup+12.7015 s] /proc/loadavg: 0.93 0.97 0.96 2/78 30458 /proc/meminfo: memFree=1743016/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=6928 CPUtime=12.69 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 1144 0 0 0 1268 1 0 0 25 0 1 0 244218677 7094272 1106 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134584944 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 1732 1106 311 324 0 802 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6928 [startup+25.5017 s] /proc/loadavg: 0.94 0.97 0.96 2/78 30458 /proc/meminfo: memFree=1741992/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=8072 CPUtime=25.49 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 1429 0 0 0 2548 1 0 0 25 0 1 0 244218677 8265728 1391 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134575211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2018 1391 311 324 0 1088 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8072 [startup+51.101 s] /proc/loadavg: 0.96 0.97 0.96 3/78 30458 /proc/meminfo: memFree=1741992/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=8068 CPUtime=51.08 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 1430 0 0 0 5107 1 0 0 25 0 1 0 244218677 8261632 1392 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2017 1392 311 324 0 1087 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 8068 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.96 2/78 30458 /proc/meminfo: memFree=1741864/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=8196 CPUtime=102.27 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 1461 0 0 0 10225 2 0 0 25 0 1 0 244218677 8392704 1423 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2049 1423 311 324 0 1119 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 8196 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30458 /proc/meminfo: memFree=1741864/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=8200 CPUtime=162.25 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 1462 0 0 0 16223 2 0 0 25 0 1 0 244218677 8396800 1424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550850 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2050 1424 311 324 0 1120 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 8200 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30458 /proc/meminfo: memFree=1741736/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=8200 CPUtime=222.23 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 1473 0 0 0 22221 2 0 0 25 0 1 0 244218677 8396800 1435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2050 1435 311 324 0 1120 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 8200 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.96 2/84 30622 /proc/meminfo: memFree=1739768/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=8792 CPUtime=282.12 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 1774 0 0 0 28209 3 0 0 25 0 1 0 244218677 9003008 1591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2198 1591 311 324 0 1268 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 8792 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1740712/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=9052 CPUtime=342.09 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 1830 0 0 0 34206 3 0 0 25 0 1 0 244218677 9269248 1646 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7946327 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2263 1646 311 324 0 1333 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 9052 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1740712/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=9052 CPUtime=402.07 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 1830 0 0 0 40203 4 0 0 25 0 1 0 244218677 9269248 1646 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134575070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2263 1646 311 324 0 1333 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 9052 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1740776/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=9056 CPUtime=462.05 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 1832 0 0 0 46201 4 0 0 25 0 1 0 244218677 9273344 1648 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2264 1648 311 324 0 1334 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 9056 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1740712/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=9056 CPUtime=522.04 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 1832 0 0 0 52199 5 0 0 25 0 1 0 244218677 9273344 1648 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7945892 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2264 1648 311 324 0 1334 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 9056 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1740776/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=9056 CPUtime=582.02 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 1832 0 0 0 58197 5 0 0 25 0 1 0 244218677 9273344 1648 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7945878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2264 1648 311 324 0 1334 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 9056 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1740840/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=9056 CPUtime=642.01 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 1832 0 0 0 64195 6 0 0 25 0 1 0 244218677 9273344 1648 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2264 1648 311 324 0 1334 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 9056 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1739560/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=10360 CPUtime=821.96 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2166 0 0 0 82188 8 0 0 25 0 1 0 244218677 10608640 1982 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2590 1982 311 324 0 1660 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 10360 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1739560/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=10344 CPUtime=881.94 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2166 0 0 0 88186 8 0 0 25 0 1 0 244218677 10592256 1979 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2586 1979 311 324 0 1656 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 10344 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1739624/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=10240 CPUtime=941.93 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2166 0 0 0 94184 9 0 0 25 0 1 0 244218677 10485760 1953 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2560 1953 311 324 0 1630 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 10240 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1739624/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=10200 CPUtime=1001.91 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2166 0 0 0 100182 9 0 0 25 0 1 0 244218677 10444800 1943 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2550 1943 311 324 0 1620 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 10200 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1740008/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=9764 CPUtime=1061.9 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2166 0 0 0 106180 10 0 0 25 0 1 0 244218677 9998336 1834 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7945872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2441 1834 311 324 0 1511 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 9764 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1740008/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=9748 CPUtime=1121.88 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2167 0 0 0 112177 11 0 0 25 0 1 0 244218677 9981952 1830 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2437 1830 311 324 0 1507 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 9748 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1740136/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=9656 CPUtime=1181.86 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2167 0 0 0 118175 11 0 0 25 0 1 0 244218677 9887744 1807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551039 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2414 1807 311 324 0 1484 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 9656 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1740136/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=9640 CPUtime=1241.84 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2167 0 0 0 124173 11 0 0 25 0 1 0 244218677 9871360 1803 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2410 1803 311 324 0 1480 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 9640 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1740136/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=9636 CPUtime=1301.84 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2167 0 0 0 130172 12 0 0 25 0 1 0 244218677 9867264 1802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2409 1802 311 324 0 1479 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 9636 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1740264/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=9756 CPUtime=1361.82 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2190 0 0 0 136169 13 0 0 25 0 1 0 244218677 9990144 1822 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2439 1822 311 324 0 1509 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 9756 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1740328/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=9604 CPUtime=1421.8 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2190 0 0 0 142167 13 0 0 25 0 1 0 244218677 9834496 1794 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2401 1794 311 324 0 1471 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 9604 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1739624/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=10368 CPUtime=1481.78 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2382 0 0 0 148165 13 0 0 25 0 1 0 244218677 10616832 1983 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2592 1983 311 324 0 1662 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 10368 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1739432/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=10592 CPUtime=1541.77 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2422 0 0 0 154163 14 0 0 25 0 1 0 244218677 10846208 2023 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2648 2023 311 324 0 1718 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 10592 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1739368/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=10588 CPUtime=1601.75 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2422 0 0 0 160160 15 0 0 25 0 1 0 244218677 10842112 2023 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2647 2023 311 324 0 1717 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 10588 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1739368/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=10584 CPUtime=1661.73 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2422 0 0 0 166158 15 0 0 25 0 1 0 244218677 10838016 2023 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7954082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2646 2023 311 324 0 1716 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 10584 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1738664/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=11324 CPUtime=1721.72 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2603 0 0 0 172156 16 0 0 25 0 1 0 244218677 11595776 2204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2831 2204 311 324 0 1901 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 11324 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1738216/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=11712 CPUtime=1781.7 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2699 0 0 0 178154 16 0 0 25 0 1 0 244218677 11993088 2300 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551709 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2928 2300 311 324 0 1998 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 11712 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30656 /proc/meminfo: memFree=1738280/2055920 swapFree=4169108/4192956 [pid=30457] ppid=30455 vsize=11576 CPUtime=1800 /proc/30457/stat : 30457 (bsolo3.0.17) R 30455 30457 29700 0 -1 4194304 2700 0 0 0 179984 16 0 0 25 0 1 0 244218677 11853824 2287 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30457/statm: 2894 2287 311 324 0 1964 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 11576 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.61 CPU time (s): 1800.02 CPU user time (s): 1799.85 CPU system time (s): 0.170974 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 11720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.85 system time used= 0.170974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2704 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 3254 runsolver used 1.47877 second user time and 3.66144 second system time The end
Begin job on node15 on Mon Apr 30 19:56:51 UTC 2007 IDJOB= 433735 IDBENCH= 25022 IDSOLVER= 199 FILE ID= node15/433735-1177963011 PBS_JOBID= 4727712 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433735-1177963011/instance-433735-1177963011.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-433735-1177963011 -o ROOT/results/node15/solver-433735-1177963011 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433735-1177963011/instance-433735-1177963011.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= aa73e48897f9c10e5003e2188d9e7ab9 RANDOM SEED= 647896432 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.227 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.227 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: 1747016 kB Buffers: 36636 kB Cached: 182236 kB SwapCached: 2264 kB Active: 92476 kB Inactive: 150232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1747016 kB SwapTotal: 4192956 kB SwapFree: 4169108 kB Dirty: 6612 kB Writeback: 0 kB Mapped: 31460 kB Slab: 51636 kB Committed_AS: 7201552 kB PageTables: 1872 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= 66558 MiB End job on node15 on Mon Apr 30 20:26:53 UTC 2007