Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 64 | 1798.01 | 1798.74 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb |
MD5SUM | 135acf1f05855c365b3d13b378debe22 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 64 |
Best CPU time to get the best result obtained on this benchmark | 0.289955 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 64 |
Optimality of the best value was proved | YES |
Number of variables | 648 |
Total number of constraints | 1952 |
Number of constraints which are clauses | 1928 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 27 |
Number of terms in the objective function | 648 |
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 | 648 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 648 |
Number of bits of the biggest sum of numbers | 10 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657941-1276404734.opb 0.00/0.00 c File size is 70110 bytes. 0.00/0.01 c Highest Coefficient sum: 648 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.012 s 0.00/0.01 c Var: 648 Constr: 1952 1928/24/0 Lit: 6438 Watch. Lit: 4456 0.00/0.01 c Obj. Vars: 648 (100 % of total variables) 0.00/0.02 c Pre-processing Time: 0.02 s 0.02/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.09 c 0 540 1736 6006 3 4024 5754 0 0 0.02 0.02/0.09 c Initial Lower Bound: 61 0.02/0.09 c Initial Path Cost: 16 4.30/4.30 c 101 540 1837 6988 3 4226 6330 101 1030 0.10 4.30/4.30 c 251 540 1987 9429 4 4526 6964 251 2281 0.11 4.30/4.30 c 476 540 2212 13299 6 4976 7661 476 3552 0.13 4.30/4.30 c 814 540 2550 17892 7 5652 8428 814 4933 0.17 4.30/4.30 c 1322 540 3058 24495 8 6668 9271 1322 6386 0.21 4.30/4.30 c 2085 540 3821 33318 8 8194 10199 2085 7341 0.28 4.30/4.30 c 3231 540 4967 46137 9 10486 11219 3231 7997 0.40 4.30/4.30 c 4952 539 6688 65483 9 13927 12341 4952 8364 0.59 4.30/4.30 c 7538 539 9274 133358 14 19099 13576 7538 6183 1.22 4.30/4.30 c 11418 535 13154 205303 15 26855 14934 11418 4871 2.34 4.30/4.30 c 17241 535 11355 176948 15 23257 16428 9619 4573 3.77 4.30/4.30 o 72 112.45/112.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 112.45/112.52 c 19206 534 13321 208352 15 27655 6790 11585 4465 4.30 112.45/112.52 c 19309 534 5275 65164 12 11560 7470 3539 3193 6.05 112.45/112.52 c 19559 534 5525 68455 12 12059 8218 3789 1865 10.48 112.45/112.52 c 20034 534 6000 76647 12 13010 9040 4264 989 20.24 112.45/112.52 c 20847 534 6813 88801 13 14635 9945 5077 610 34.14 112.45/112.52 c 22167 534 8133 107323 13 17275 10940 6397 395 55.99 112.45/112.52 c 24250 534 10216 147718 14 21441 12035 8480 240 100.65 112.45/112.52 o 66 1239.38/1239.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1239.38/1239.95 c 24783 533 10750 155591 14 22977 6788 9014 220 112.47 1239.38/1239.95 c 24883 533 5282 64529 12 11577 7467 3546 214 115.89 1239.38/1239.95 c 25134 533 5536 67931 12 12085 8214 3800 206 121.43 1239.38/1239.95 c 25609 533 6012 75350 12 13037 9036 4276 195 131.31 1239.38/1239.95 c 26423 533 6826 90005 13 14665 9940 5090 175 150.23 1239.38/1239.95 c 27745 533 8152 116215 14 17317 10935 6416 160 173.05 1239.38/1239.95 c 29827 533 10240 157536 15 21493 12029 8504 141 210.72 1239.38/1239.95 c 33051 533 13475 222089 16 27963 13232 11739 118 279.94 1239.38/1239.95 c 37987 533 11669 191968 16 24351 14556 9933 101 372.44 1239.38/1239.95 c 45493 532 11783 191176 16 24578 16012 10047 87 519.03 1239.38/1239.95 c 56854 530 15117 287064 18 31244 17614 13381 75 755.81 1239.38/1239.95 c 73999 529 14510 246547 16 30029 19376 12774 67 1102.31 1239.38/1239.95 o 64 1797.96/1798.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.73 c 80287 529 20862 370251 17 43200 6780 19126 64 1239.44 1797.96/1798.73 c 80387 529 5278 68829 13 11565 7459 3542 64 1243.18 1797.96/1798.73 c 80640 529 5539 73087 13 12085 8205 3803 64 1249.25 1797.96/1798.73 c 81115 529 6020 80757 13 13049 9026 4284 64 1258.47 1797.96/1798.73 c 81929 529 6879 97282 14 14765 9929 5143 64 1279.06 1797.96/1798.73 c 83249 529 8220 120586 14 17447 10922 6484 63 1307.78 1797.96/1798.73 c 85330 529 10344 160830 15 21695 12015 8608 63 1349.29 1797.96/1798.73 c 88554 529 13599 221767 16 28207 13217 11863 62 1419.91 1797.96/1798.73 c 93493 529 11862 199669 16 24733 14539 10126 61 1530.75 1797.96/1798.73 c 101000 529 12007 221973 18 25022 15993 10271 59 1692.56 1797.96/1798.73 c Resources Exceeded 1797.96/1798.73 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 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 1797.96/1798.73 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.73 c 40 105443 30484 175753 16450 328324 14714 58 1798.00 1797.96/1798.73 c Objective: 64 1797.96/1798.73 s SATISFIABLE 1797.96/1798.73 c Total time: 1798 s
OK 64
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657941-1276404734/watcher-2657941-1276404734 -o /tmp/evaluation-result-2657941-1276404734/solver-2657941-1276404734 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657941-1276404734.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: 2.23 2.49 2.00 3/106 22250 /proc/meminfo: memFree=1515136/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=10868 CPUtime=0 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 340 0 0 0 0 0 0 0 20 0 1 0 14129719 11128832 258 1992294400 134512640 137138936 4289233568 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 2717 258 176 642 0 2055 0 [startup+0.029046 s] /proc/loadavg: 2.23 2.49 2.00 3/106 22250 /proc/meminfo: memFree=1515136/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=11192 CPUtime=0.02 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 494 0 0 0 2 0 0 0 20 0 1 0 14129719 11460608 394 1992294400 134512640 137138936 4289233568 18446744073709551615 134712221 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 2798 394 219 642 0 2154 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11192 [startup+0.10206 s] /proc/loadavg: 2.23 2.49 2.00 3/106 22250 /proc/meminfo: memFree=1515136/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=12168 CPUtime=0.09 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 896 0 0 0 9 0 0 0 20 0 1 0 14129719 12460032 657 1992294400 134512640 137138936 4289233568 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 3042 657 286 642 0 2398 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12168 [startup+0.301097 s] /proc/loadavg: 2.23 2.49 2.00 3/106 22250 /proc/meminfo: memFree=1515136/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=12176 CPUtime=0.29 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 913 0 0 0 29 0 0 0 20 0 1 0 14129719 12468224 674 1992294400 134512640 137138936 4289233568 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 3044 674 286 642 0 2400 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12176 [startup+0.701172 s] /proc/loadavg: 2.23 2.49 2.00 3/106 22250 /proc/meminfo: memFree=1515136/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=12852 CPUtime=0.69 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 1102 0 0 0 68 1 0 0 20 0 1 0 14129719 13160448 863 1992294400 134512640 137138936 4289233568 18446744073709551615 134603118 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 3213 863 286 642 0 2569 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12852 [startup+1.50132 s] /proc/loadavg: 2.23 2.49 2.00 2/107 22251 /proc/meminfo: memFree=1512152/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=14188 CPUtime=1.49 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 1444 0 0 0 147 2 0 0 23 0 1 0 14129719 14528512 1205 1992294400 134512640 137138936 4289233568 18446744073709551615 136504532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 3547 1205 286 642 0 2903 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14188 [startup+3.10162 s] /proc/loadavg: 2.13 2.46 1.99 2/107 22251 /proc/meminfo: memFree=1510540/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=16192 CPUtime=3.09 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 1938 0 0 0 306 3 0 0 25 0 1 0 14129719 16580608 1699 1992294400 134512640 137138936 4289233568 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 4048 1699 286 642 0 3404 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16192 [startup+6.30122 s] /proc/loadavg: 2.13 2.46 1.99 2/107 22251 /proc/meminfo: memFree=1507688/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=18928 CPUtime=6.29 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 23368 0 0 0 620 9 0 0 25 0 1 0 14129719 19382272 1934 1992294400 134512640 137138936 4289233568 18446744073709551615 135251826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 4732 1934 287 642 0 4088 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18928 [startup+12.7014 s] /proc/loadavg: 1.95 2.41 1.98 2/107 22251 /proc/meminfo: memFree=1507564/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=19032 CPUtime=12.68 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 52513 0 0 0 1250 18 0 0 25 0 1 0 14129719 19488768 2098 1992294400 134512640 137138936 4289233568 18446744073709551615 135457370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 4758 2098 287 642 0 4114 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19032 [startup+25.5018 s] /proc/loadavg: 1.81 2.37 1.97 2/107 22251 /proc/meminfo: memFree=1506820/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=19168 CPUtime=25.48 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 64229 0 0 0 2525 23 0 0 25 0 1 0 14129719 19628032 2216 1992294400 134512640 137138936 4289233568 18446744073709551615 135457698 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 4792 2216 287 642 0 4148 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19168 [startup+51.1006 s] /proc/loadavg: 1.53 2.26 1.95 2/107 22253 /proc/meminfo: memFree=1506820/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=18972 CPUtime=51.06 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 117899 0 0 0 5066 40 0 0 25 0 1 0 14129719 19427328 2163 1992294400 134512640 137138936 4289233568 18446744073709551615 135433551 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 4743 2163 287 642 0 4099 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 18972 [startup+102.308 s] /proc/loadavg: 1.21 2.04 1.89 2/107 22253 /proc/meminfo: memFree=1507068/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=19228 CPUtime=102.25 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 154893 0 0 0 10170 55 0 0 25 0 1 0 14129719 19689472 2170 1992294400 134512640 137138936 4289233568 18446744073709551615 135440726 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 4807 2170 287 642 0 4163 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 19228 [startup+162.301 s] /proc/loadavg: 1.08 1.85 1.83 2/107 22255 /proc/meminfo: memFree=1508060/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=18808 CPUtime=162.22 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 752752 0 0 0 15983 239 0 0 25 0 1 0 14129719 19259392 1876 1992294400 134512640 137138936 4289233568 18446744073709551615 135443621 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 4702 1876 288 642 0 4058 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 18808 [startup+222.302 s] /proc/loadavg: 1.03 1.69 1.78 2/107 22257 /proc/meminfo: memFree=1508060/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=16524 CPUtime=222.2 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 1443129 0 0 0 21752 468 0 0 25 0 1 0 14129719 16920576 1780 1992294400 134512640 137138936 4289233568 18446744073709551615 134925495 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 4344 1782 288 642 0 3700 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 16524 [startup+282.301 s] /proc/loadavg: 1.01 1.56 1.72 2/107 22259 /proc/meminfo: memFree=1507936/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=18824 CPUtime=282.17 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 2117474 0 0 0 27531 686 0 0 25 0 1 0 14129719 19275776 1878 1992294400 134512640 137138936 4289233568 18446744073709551615 135443683 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 4706 1878 288 642 0 4062 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 18824 [startup+342.301 s] /proc/loadavg: 1.00 1.46 1.68 2/107 22261 /proc/meminfo: memFree=1507936/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=18096 CPUtime=342.16 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 2804213 0 0 0 33302 914 0 0 25 0 1 0 14129719 18530304 1843 1992294400 134512640 137138936 4289233568 18446744073709551615 135387764 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 4524 1845 288 642 0 3880 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 18096 [startup+402.301 s] /proc/loadavg: 1.00 1.37 1.63 2/107 22261 /proc/meminfo: memFree=1506820/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=18868 CPUtime=402.13 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 2919176 0 0 0 39261 952 0 0 25 0 1 0 14129719 19320832 2139 1992294400 134512640 137138936 4289233568 18446744073709551615 134851581 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 4717 2139 288 642 0 4073 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 18868 [startup+462.301 s] /proc/loadavg: 1.00 1.30 1.59 2/107 22263 /proc/meminfo: memFree=1507068/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=19444 CPUtime=462.11 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 3215998 0 0 0 45160 1051 0 0 25 0 1 0 14129719 19910656 2177 1992294400 134512640 137138936 4289233568 18446744073709551615 135251243 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 4861 2177 288 642 0 4217 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 19444 [startup+522.302 s] /proc/loadavg: 1.00 1.24 1.55 2/107 22265 /proc/meminfo: memFree=1506820/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=19560 CPUtime=522.08 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 3824940 0 0 0 50960 1248 0 0 25 0 1 0 14129719 20029440 2240 1992294400 134512640 137138936 4289233568 18446744073709551615 135248532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 4890 2240 288 642 0 4246 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 19560 [startup+582.301 s] /proc/loadavg: 1.00 1.20 1.51 2/107 22276 /proc/meminfo: memFree=1506696/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=19536 CPUtime=582.04 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 4173830 0 0 0 56843 1361 0 0 25 0 1 0 14129719 20004864 2269 1992294400 134512640 137138936 4289233568 18446744073709551615 135440752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 4884 2269 288 642 0 4240 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 19536 [startup+642.301 s] /proc/loadavg: 1.00 1.16 1.48 2/107 22278 /proc/meminfo: memFree=1506944/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=17084 CPUtime=642.02 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 4797129 0 0 0 62640 1562 0 0 25 0 1 0 14129719 17494016 1943 1992294400 134512640 137138936 4289233568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 4271 1943 289 642 0 3627 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 17084 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1505332/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=20840 CPUtime=1061.85 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 8075752 0 0 0 103516 2669 0 0 25 0 1 0 14129719 21340160 2404 1992294400 134512640 137138936 4289233568 18446744073709551615 134713063 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5210 2404 289 642 0 4566 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 20840 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.27 2/107 22290 /proc/meminfo: memFree=1505332/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=20840 CPUtime=1121.82 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 8474972 0 0 0 109384 2798 0 0 25 0 1 0 14129719 21340160 2407 1992294400 134512640 137138936 4289233568 18446744073709551615 135465915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5210 2407 289 642 0 4566 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 20840 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.25 2/107 22292 /proc/meminfo: memFree=1504712/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=20812 CPUtime=1181.81 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 8869703 0 0 0 115252 2929 0 0 25 0 1 0 14129719 21311488 2514 1992294400 134512640 137138936 4289233568 18446744073709551615 135457844 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5203 2514 289 642 0 4559 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 20812 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.23 2/107 22294 /proc/meminfo: memFree=1504588/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=20920 CPUtime=1241.78 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 9207045 0 0 0 121134 3044 0 0 25 0 1 0 14129719 21422080 2589 1992294400 134512640 137138936 4289233568 18446744073709551615 135466087 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5230 2589 289 642 0 4586 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 20920 [startup+1302.3 s] /proc/loadavg: 1.08 1.02 1.22 2/107 22294 /proc/meminfo: memFree=1505208/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=20880 CPUtime=1301.77 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 9618984 0 0 0 127005 3172 0 0 25 0 1 0 14129719 21381120 2463 1992294400 134512640 137138936 4289233568 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5220 2463 289 642 0 4576 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 20880 [startup+1362.3 s] /proc/loadavg: 1.03 1.02 1.20 2/107 22296 /proc/meminfo: memFree=1504464/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=21092 CPUtime=1361.73 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 9659198 0 0 0 132984 3189 0 0 25 0 1 0 14129719 21598208 2706 1992294400 134512640 137138936 4289233568 18446744073709551615 135448193 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5273 2706 289 642 0 4629 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 21092 [startup+1422.31 s] /proc/loadavg: 1.01 1.01 1.18 2/107 22298 /proc/meminfo: memFree=1503968/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=21100 CPUtime=1421.71 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 9687447 0 0 0 138971 3200 0 0 25 0 1 0 14129719 21606400 2793 1992294400 134512640 137138936 4289233568 18446744073709551615 134720962 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5275 2793 289 642 0 4631 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 21100 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.17 2/107 22300 /proc/meminfo: memFree=1503968/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=20964 CPUtime=1481.69 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 9701341 0 0 0 144961 3208 0 0 25 0 1 0 14129719 21467136 2743 1992294400 134512640 137138936 4289233568 18446744073709551615 134734948 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5241 2743 289 642 0 4597 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 20964 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.16 2/107 22302 /proc/meminfo: memFree=1504216/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=20740 CPUtime=1541.67 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 9730447 0 0 0 150944 3223 0 0 25 0 1 0 14129719 21237760 2559 1992294400 134512640 137138936 4289233568 18446744073709551615 134849466 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5185 2559 289 642 0 4541 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 20740 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 22302 /proc/meminfo: memFree=1503720/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=20944 CPUtime=1601.64 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 9758900 0 0 0 156924 3240 0 0 25 0 1 0 14129719 21446656 2719 1992294400 134512640 137138936 4289233568 18446744073709551615 135251312 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5236 2719 289 642 0 4592 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 20944 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 22304 /proc/meminfo: memFree=1503844/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=20708 CPUtime=1661.62 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 9788934 0 0 0 162907 3255 0 0 25 0 1 0 14129719 21204992 2635 1992294400 134512640 137138936 4289233568 18446744073709551615 134734930 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5177 2635 289 642 0 4533 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 20708 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 22306 /proc/meminfo: memFree=1503720/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=20900 CPUtime=1721.59 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 9817925 0 0 0 168889 3270 0 0 25 0 1 0 14129719 21401600 2688 1992294400 134512640 137138936 4289233568 18446744073709551615 135412428 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5225 2688 289 642 0 4581 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 20900 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 22308 /proc/meminfo: memFree=1503720/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=20724 CPUtime=1781.56 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 9843863 0 0 0 174874 3282 0 0 25 0 1 0 14129719 21221376 2643 1992294400 134512640 137138936 4289233568 18446744073709551615 134840767 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5181 2643 289 642 0 4537 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 20724 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.11 2/107 22308 /proc/meminfo: memFree=1503844/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=20944 CPUtime=1791.17 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 9847538 0 0 0 175834 3283 0 0 25 0 1 0 14129719 21446656 2756 1992294400 134512640 137138936 4289233568 18446744073709551615 134542552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5236 2756 289 642 0 4592 0 Current children cumulated CPU time (s) 1791.17 Current children cumulated vsize (KiB) 20944 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.11 2/107 22308 /proc/meminfo: memFree=1503720/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=20912 CPUtime=1794.37 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 9848664 0 0 0 176153 3284 0 0 25 0 1 0 14129719 21413888 2762 1992294400 134512640 137138936 4289233568 18446744073709551615 135443674 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5228 2762 289 642 0 4584 0 Current children cumulated CPU time (s) 1794.37 Current children cumulated vsize (KiB) 20912 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.11 2/107 22308 /proc/meminfo: memFree=1503844/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=20924 CPUtime=1795.97 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 9849365 0 0 0 176312 3285 0 0 25 0 1 0 14129719 21426176 2715 1992294400 134512640 137138936 4289233568 18446744073709551615 135457908 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5231 2715 289 642 0 4587 0 Current children cumulated CPU time (s) 1795.97 Current children cumulated vsize (KiB) 20924 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.11 2/107 22308 /proc/meminfo: memFree=1503720/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=20940 CPUtime=1796.76 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 9849592 0 0 0 176391 3285 0 0 25 0 1 0 14129719 21442560 2718 1992294400 134512640 137138936 4289233568 18446744073709551615 134731557 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5235 2718 289 642 0 4591 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (KiB) 20940 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 22308 /proc/meminfo: memFree=1503720/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=20708 CPUtime=1797.56 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 9849991 0 0 0 176471 3285 0 0 25 0 1 0 14129719 21204992 2660 1992294400 134512640 137138936 4289233568 18446744073709551615 135443685 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5177 2660 289 642 0 4533 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (KiB) 20708 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.11 2/107 22308 /proc/meminfo: memFree=1503720/2059040 swapFree=4165036/4192956 [pid=22250] ppid=22248 vsize=20932 CPUtime=1797.96 /proc/22250/stat : 22250 (bsolo_pb10) R 22248 22250 22225 0 -1 4202496 9850256 0 0 0 176511 3285 0 0 25 0 1 0 14129719 21434368 2702 1992294400 134512640 137138936 4289233568 18446744073709551615 134849654 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22250/statm: 5233 2702 289 642 0 4589 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 20932 Child status: 0 Real time (s): 1798.74 CPU time (s): 1798.01 CPU user time (s): 1765.15 CPU system time (s): 32.858 CPU usage (%): 99.9594 Max. virtual memory (cumulated for all children) (KiB): 21224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1765.15 system time used= 32.858 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9850282 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= 7699 runsolver used 3.32749 second user time and 8.13476 second system time The end
Begin job on node019 at 2010-06-13 06:52:14 IDJOB=2657941 IDBENCH=2024 IDSOLVER=1163 FILE ID=node019/2657941-1276404734 PBS_JOBID= 11173278 Free space on /tmp= 62356 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657941-1276404734/watcher-2657941-1276404734 -o /tmp/evaluation-result-2657941-1276404734/solver-2657941-1276404734 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657941-1276404734.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 135acf1f05855c365b3d13b378debe22 RANDOM SEED=1131673408 node019.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.264 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.52 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.264 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1515788 kB Buffers: 142820 kB Cached: 283660 kB SwapCached: 1440 kB Active: 169220 kB Inactive: 289884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1515788 kB SwapTotal: 4192956 kB SwapFree: 4165036 kB Dirty: 4308 kB Writeback: 0 kB AnonPages: 31104 kB Mapped: 15380 kB Slab: 62528 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181104 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= 62352 MiB End job on node019 at 2010-06-13 07:22:13