Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -12 | 1798.01 | 1798.59 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_3.opb |
MD5SUM | 138d1c5c8dee06528dd1cfb072975c49 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 855.239 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1236 |
Sum of products size (including duplicates) | 2472 |
Number of different products | 618 |
Sum of products size | 1236 |
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-2671060-1276716751.opb 0.00/0.00 c File size is 50556 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.008 s 0.00/0.01 c Var: 718 Constr: 1388 668/102/618 Lit: 5244 Watch. Lit: 4528 0.00/0.01 c Obj. Vars: 50 (6.96379 % of total variables) 0.09/0.12 c Pre-processing Time: 0.128 s 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 718 1388 5244 3 4528 10741 0 0 0.13 0.09/0.13 c Switching off lower bounding mode. 0.09/0.13 o -1 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 718 1389 5294 3 4531 10774 1 0 0.13 0.09/0.13 o -2 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 2 718 1392 5461 3 4539 10791 4 15 0.13 0.09/0.13 o -3 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 63 718 1454 9496 6 4666 10807 66 463 0.14 0.19/0.25 c 163 718 1554 16862 10 4866 11888 166 1086 0.15 0.19/0.25 c 413 718 1804 35701 19 5366 13077 416 2269 0.18 0.19/0.25 c 888 718 2279 75543 33 6316 14385 891 3762 0.24 0.19/0.25 o -4 0.30/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.30/0.31 c 973 718 2365 80530 34 6492 10824 977 3923 0.25 0.30/0.31 c 1073 718 2465 89279 36 6692 11907 1077 4142 0.26 0.30/0.31 c 1323 718 2715 108519 39 7192 13098 1327 4530 0.29 0.30/0.31 o -5 1.19/1.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.26 c 1504 718 2897 123642 42 7561 10841 1509 4774 0.32 1.19/1.26 c 1604 718 2997 132192 44 7761 11926 1609 4890 0.33 1.19/1.26 c 1854 718 3247 151085 46 8261 13119 1859 5135 0.36 1.19/1.26 c 2329 718 3722 192215 51 9211 14431 2334 5558 0.42 1.19/1.26 c 3142 718 4535 252918 55 10837 15875 3147 5797 0.54 1.19/1.26 c 4462 718 5855 356204 60 13477 17463 4467 5698 0.78 1.19/1.26 c 6544 718 7937 531073 66 17641 19210 6549 5381 1.22 1.19/1.26 o -7 1.19/1.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.26 c 6680 718 8074 535882 66 17922 10874 6686 5297 1.26 1.19/1.26 o -8 10.49/10.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.49/10.58 c 6685 718 8080 536186 66 17942 10891 6692 5288 1.26 10.49/10.58 c 6785 718 8180 543279 66 18142 11981 6792 5280 1.28 10.49/10.58 c 7035 718 8430 560908 66 18642 13180 7042 5285 1.33 10.49/10.58 c 7510 718 8905 596182 66 19592 14499 7517 5307 1.42 10.49/10.58 c 8323 718 9718 657768 67 21218 15949 8330 5291 1.57 10.49/10.58 c 9643 718 11038 756268 68 23858 17544 9650 5077 1.90 10.49/10.58 c 11724 718 13119 894457 68 28020 19299 11731 4826 2.43 10.49/10.58 c 14947 718 16342 1149607 70 34466 21229 14954 4221 3.54 10.49/10.58 c 19883 718 21278 1462571 68 44338 23352 19890 3277 6.07 10.49/10.58 o -9 36.68/36.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.68/36.71 c 26028 718 14156 911502 64 30081 10907 12768 2459 10.58 36.68/36.71 c 26128 718 6943 419236 60 15647 11998 5555 2418 10.80 36.68/36.71 c 26378 718 7193 439130 61 16147 13198 5805 2426 10.87 36.68/36.71 c 26854 718 7669 476870 62 17099 14518 6281 2437 11.02 36.68/36.71 c 27667 718 8482 536691 63 18725 15970 7094 2452 11.28 36.68/36.71 c 28987 718 9802 634282 64 21365 17568 8414 2462 11.77 36.68/36.71 c 31068 718 11883 777562 65 25527 19325 10495 2470 12.58 36.68/36.71 c 34291 718 15106 989378 65 31973 21258 13718 2410 14.23 36.68/36.71 c 39227 718 20042 1332338 66 41845 23384 18654 2288 17.14 36.68/36.71 c 46733 718 14377 902631 62 30515 25723 12989 2014 23.20 36.68/36.71 c 58094 718 25738 1695190 65 53237 28296 24350 2031 28.60 36.68/36.71 o -10 177.05/177.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 177.05/177.17 c 66936 718 16609 1075757 64 34989 10924 15221 1823 36.70 177.05/177.17 c 67036 718 6951 393628 56 15664 12017 5563 1804 37.16 177.05/177.17 c 67286 718 7201 409290 56 16164 13219 5813 1808 37.21 177.05/177.17 c 67761 718 7676 444515 57 17114 14541 6288 1815 37.32 177.05/177.17 c 68574 718 8489 501273 59 18740 15996 7101 1827 37.52 177.05/177.17 c 69894 718 9809 583460 59 21380 17596 8421 1846 37.86 177.05/177.17 c 71975 718 11890 726227 61 25542 19356 10502 1865 38.59 177.05/177.17 c 75198 718 15113 944582 62 31988 21292 13725 1879 40.02 177.05/177.17 c 80134 718 20049 1281829 63 41860 23422 18661 1852 43.25 177.05/177.17 c 87640 718 14311 899134 62 30384 25765 12923 1752 50.02 177.05/177.17 c 99001 718 25672 1697546 66 53106 28342 24284 1732 57.16 177.05/177.17 c 116145 718 24789 1516812 61 51340 31177 23401 1621 71.63 177.05/177.17 c 141964 718 29883 1855709 62 61528 34295 28495 1535 92.46 177.05/177.17 c 180796 718 21052 1225116 58 43866 37725 19664 1408 128.38 177.05/177.17 o -11 1510.22/1510.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1510.22/1510.70 c 236273 718 22302 1484343 66 46377 10941 20914 1333 177.12 1510.22/1510.70 c 236373 718 6960 406887 58 15683 12036 5572 1324 178.43 1510.22/1510.70 c 236623 718 7210 421771 58 16183 13240 5822 1325 178.49 1510.22/1510.70 c 237098 718 7685 448592 58 17133 14565 6297 1327 178.60 1510.22/1510.70 c 237911 718 8498 492559 57 18759 16022 7110 1330 178.81 1510.22/1510.70 c 239231 718 9818 569393 57 21399 17625 8430 1334 179.23 1510.22/1510.70 c 241312 718 11899 691394 58 25561 19388 10511 1341 179.89 1510.22/1510.70 c 244535 718 15122 897538 59 32007 21327 13734 1350 181.14 1510.22/1510.70 c 249472 718 20059 1178277 58 41881 23460 18671 1359 183.46 1510.22/1510.70 c 256980 718 14322 763627 53 30407 25807 12934 1359 189.02 1510.22/1510.70 c 268341 718 25683 1553824 60 53129 28388 24295 1372 195.47 1510.22/1510.70 c 285485 718 24827 1594966 64 51417 31227 23439 1381 206.66 1510.22/1510.70 c 311305 718 29859 1960616 65 61481 34350 28471 1358 229.18 1510.22/1510.70 c 350137 718 21149 1378028 65 44061 37786 19761 1340 261.19 1510.22/1510.70 c 408489 718 25233 1503287 59 52229 41565 23845 1298 314.62 1510.22/1510.70 c 496121 718 20369 1295263 63 42501 45722 18981 1260 393.54 1510.22/1510.70 c 627673 718 12850 754090 58 27463 50295 11462 1163 539.40 1510.22/1510.70 c 825105 718 13462 801944 59 28687 55325 12074 1080 763.95 1510.22/1510.70 c 1121357 718 44009 2971087 67 89781 60858 42621 957 1170.82 1510.22/1510.70 o -12 1797.92/1798.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.58 c 1338536 718 13247 731995 55 28258 10957 11859 877 1525.82 1797.92/1798.58 c 1338636 718 6968 354572 50 15700 12053 5580 876 1526.51 1797.92/1798.58 c 1338886 718 7218 367982 50 16200 13259 5830 877 1526.58 1797.92/1798.58 c 1339362 718 7694 393911 51 17152 14585 6306 877 1526.76 1797.92/1798.58 c 1340175 718 8507 441101 51 18778 16044 7119 877 1527.04 1797.92/1798.58 c 1341495 718 9827 514886 52 21418 17649 8439 878 1527.47 1797.92/1798.58 c 1343576 718 11908 636781 53 25580 19414 10520 879 1528.19 1797.92/1798.58 c 1346799 718 15131 835444 55 32026 21356 13743 880 1530.08 1797.92/1798.58 c 1351735 718 20067 1137564 56 41898 23492 18679 881 1533.17 1797.92/1798.58 c 1359242 718 14361 810513 56 30486 25842 12973 882 1539.60 1797.92/1798.58 c 1370603 718 25722 1597059 62 53208 28427 24334 886 1545.41 1797.92/1798.58 c 1387747 718 24833 1545680 62 51430 31270 23445 890 1558.45 1797.92/1798.58 c 1413566 718 29913 1878434 62 61590 34398 28525 892 1583.23 1797.92/1798.58 c 1452398 718 21168 1334739 63 44100 37838 19780 896 1619.63 1797.92/1798.58 c 1510750 718 25077 1598745 63 51918 41622 23689 906 1666.36 1797.92/1798.58 c 1598382 718 20042 1244230 62 41848 45785 18654 906 1763.23 1797.92/1798.58 c Resources Exceeded 1797.92/1798.58 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 -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 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -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 1797.92/1798.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.58 c 86 1634019 1574 1641016 20750 1422400 19362 908 1798.00 1797.92/1798.58 c Objective: -12 1797.92/1798.58 s SATISFIABLE 1797.92/1798.58 c Total time: 1798 s
OK -12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671060-1276716751/watcher-2671060-1276716751 -o /tmp/evaluation-result-2671060-1276716751/solver-2671060-1276716751 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671060-1276716751.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 4/105 20636 /proc/meminfo: memFree=1745220/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=10844 CPUtime=0 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 12968270 11104256 252 1992294400 134512640 137138936 4286770752 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 2711 252 175 642 0 2054 0 [startup+0.0816079 s] /proc/loadavg: 1.00 1.00 1.00 4/105 20636 /proc/meminfo: memFree=1745220/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=11056 CPUtime=0.07 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 411 0 0 0 7 0 0 0 25 0 1 0 12968270 11321344 317 1992294400 134512640 137138936 4286770752 18446744073709551615 134542690 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 2764 317 184 642 0 2120 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11056 [startup+0.10161 s] /proc/loadavg: 1.00 1.00 1.00 4/105 20636 /proc/meminfo: memFree=1745220/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=11056 CPUtime=0.09 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 411 0 0 0 9 0 0 0 25 0 1 0 12968270 11321344 317 1992294400 134512640 137138936 4286770752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 2764 317 184 642 0 2120 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11056 [startup+0.301636 s] /proc/loadavg: 1.00 1.00 1.00 4/105 20636 /proc/meminfo: memFree=1745220/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=12572 CPUtime=0.3 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 806 0 0 0 29 1 0 0 25 0 1 0 12968270 12873728 712 1992294400 134512640 137138936 4286770752 18446744073709551615 134543705 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 3143 712 191 642 0 2499 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 12572 [startup+0.701684 s] /proc/loadavg: 1.00 1.00 1.00 4/105 20636 /proc/meminfo: memFree=1745220/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=15576 CPUtime=0.69 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 1538 0 0 0 68 1 0 0 25 0 1 0 12968270 15949824 1444 1992294400 134512640 137138936 4286770752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 3894 1444 191 642 0 3250 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15576 [startup+1.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20637 /proc/meminfo: memFree=1738764/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=19964 CPUtime=1.49 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 2647 0 0 0 147 2 0 0 25 0 1 0 12968270 20443136 2553 1992294400 134512640 137138936 4286770752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 4991 2553 191 642 0 4347 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19964 [startup+3.10199 s] /proc/loadavg: 1.00 1.00 1.00 3/107 20638 /proc/meminfo: memFree=1714576/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=25716 CPUtime=3.09 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 4076 0 0 0 306 3 0 0 25 0 1 0 12968270 26333184 3982 1992294400 134512640 137138936 4286770752 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 6429 3982 191 642 0 5785 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25716 [startup+6.30137 s] /proc/loadavg: 1.08 1.02 1.01 2/106 20638 /proc/meminfo: memFree=1724008/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=32228 CPUtime=6.29 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 5705 0 0 0 623 6 0 0 25 0 1 0 12968270 33001472 5611 1992294400 134512640 137138936 4286770752 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 8057 5611 191 642 0 7413 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32228 [startup+12.7012 s] /proc/loadavg: 1.07 1.02 1.00 2/106 20638 /proc/meminfo: memFree=1718800/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=36324 CPUtime=12.69 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 6740 0 0 0 1259 10 0 0 25 0 1 0 12968270 37195776 6646 1992294400 134512640 137138936 4286770752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 9081 6646 191 642 0 8437 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36324 [startup+25.5007 s] /proc/loadavg: 1.06 1.01 1.00 2/106 20638 /proc/meminfo: memFree=1718800/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=36320 CPUtime=25.48 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 6740 0 0 0 2535 13 0 0 25 0 1 0 12968270 37191680 6646 1992294400 134512640 137138936 4286770752 18446744073709551615 134575920 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 9080 6646 191 642 0 8436 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36320 [startup+51.1009 s] /proc/loadavg: 1.04 1.01 1.00 2/106 20640 /proc/meminfo: memFree=1715080/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=40032 CPUtime=51.07 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 7673 0 0 0 5087 20 0 0 25 0 1 0 12968270 40992768 7579 1992294400 134512640 137138936 4286770752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 10008 7579 191 642 0 9364 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 40032 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/106 20640 /proc/meminfo: memFree=1711236/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=43776 CPUtime=102.27 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 8644 0 0 0 10196 31 0 0 25 0 1 0 12968270 44826624 8515 1992294400 134512640 137138936 4286770752 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 10944 8515 191 642 0 10300 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 43776 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20642 /proc/meminfo: memFree=1708012/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=47068 CPUtime=162.24 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 9491 0 0 0 16181 43 0 0 25 0 1 0 12968270 48197632 9324 1992294400 134512640 137138936 4286770752 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 11767 9324 191 642 0 11123 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 47068 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20644 /proc/meminfo: memFree=1706028/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=49332 CPUtime=222.22 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 10042 0 0 0 22163 59 0 0 25 0 1 0 12968270 50515968 9875 1992294400 134512640 137138936 4286770752 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 12333 9875 191 642 0 11689 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49332 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20646 /proc/meminfo: memFree=1706028/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=49332 CPUtime=282.2 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 10042 0 0 0 28148 72 0 0 25 0 1 0 12968270 50515968 9875 1992294400 134512640 137138936 4286770752 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 12333 9875 191 642 0 11689 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 49332 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20648 /proc/meminfo: memFree=1705284/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=49876 CPUtime=342.19 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 10222 0 0 0 34134 85 0 0 25 0 1 0 12968270 51073024 10013 1992294400 134512640 137138936 4286770752 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 12469 10013 191 642 0 11825 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 49876 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 3/106 20648 /proc/meminfo: memFree=1704292/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=51108 CPUtime=402.17 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 10528 0 0 0 40118 99 0 0 25 0 1 0 12968270 52334592 10319 1992294400 134512640 137138936 4286770752 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 12777 10319 191 642 0 12133 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 51108 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20650 /proc/meminfo: memFree=1699208/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=56160 CPUtime=462.15 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 11837 0 0 0 46104 111 0 0 25 0 1 0 12968270 57507840 11582 1992294400 134512640 137138936 4286770752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 14040 11582 191 642 0 13396 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 56160 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20652 /proc/meminfo: memFree=1699084/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=56160 CPUtime=522.13 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 11855 0 0 0 52090 123 0 0 25 0 1 0 12968270 57507840 11600 1992294400 134512640 137138936 4286770752 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 14040 11600 191 642 0 13396 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 56160 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20654 /proc/meminfo: memFree=1693628/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=61464 CPUtime=582.11 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 13234 0 0 0 58078 133 0 0 25 0 1 0 12968270 62939136 12929 1992294400 134512640 137138936 4286770752 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 15366 12929 191 642 0 14722 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 61464 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20656 /proc/meminfo: memFree=1693628/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=61744 CPUtime=642.11 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 13283 0 0 0 64064 147 0 0 25 0 1 0 12968270 63225856 12978 1992294400 134512640 137138936 4286770752 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 15436 12978 191 642 0 14792 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 61744 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1687676/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=67508 CPUtime=1061.96 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 14779 0 0 0 105975 221 0 0 25 0 1 0 12968270 69128192 14419 1992294400 134512640 137138936 4286770752 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 16877 14419 191 642 0 16233 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 67508 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20668 /proc/meminfo: memFree=1687676/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=67508 CPUtime=1121.94 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 14779 0 0 0 111961 233 0 0 25 0 1 0 12968270 69128192 14419 1992294400 134512640 137138936 4286770752 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 16877 14419 191 642 0 16233 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 67508 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20670 /proc/meminfo: memFree=1687552/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=67508 CPUtime=1181.93 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 14779 0 0 0 117950 243 0 0 25 0 1 0 12968270 69128192 14419 1992294400 134512640 137138936 4286770752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 16877 14419 191 642 0 16233 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 67508 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20672 /proc/meminfo: memFree=1682468/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=72148 CPUtime=1241.91 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 16008 0 0 0 123935 256 0 0 25 0 1 0 12968270 73879552 15587 1992294400 134512640 137138936 4286770752 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 18037 15587 191 642 0 17393 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 72148 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20672 /proc/meminfo: memFree=1682344/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=72412 CPUtime=1301.89 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 16066 0 0 0 129921 268 0 0 25 0 1 0 12968270 74149888 15645 1992294400 134512640 137138936 4286770752 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 18103 15645 191 642 0 17459 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 72412 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20674 /proc/meminfo: memFree=1682344/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=72412 CPUtime=1361.86 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 16066 0 0 0 135909 277 0 0 25 0 1 0 12968270 74149888 15645 1992294400 134512640 137138936 4286770752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 18103 15645 191 642 0 17459 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 72412 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20676 /proc/meminfo: memFree=1682344/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=72412 CPUtime=1421.85 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 16066 0 0 0 141899 286 0 0 25 0 1 0 12968270 74149888 15645 1992294400 134512640 137138936 4286770752 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 18103 15645 191 642 0 17459 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 72412 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20678 /proc/meminfo: memFree=1682344/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=72412 CPUtime=1481.83 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 16066 0 0 0 147885 298 0 0 25 0 1 0 12968270 74149888 15645 1992294400 134512640 137138936 4286770752 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 18103 15645 191 642 0 17459 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 72412 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20680 /proc/meminfo: memFree=1682344/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=71880 CPUtime=1541.81 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 16066 0 0 0 153873 308 0 0 25 0 1 0 12968270 73605120 15544 1992294400 134512640 137138936 4286770752 18446744073709551615 136502606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 17970 15544 191 642 0 17326 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 71880 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20680 /proc/meminfo: memFree=1682344/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=71880 CPUtime=1601.79 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 16066 0 0 0 159860 319 0 0 25 0 1 0 12968270 73605120 15544 1992294400 134512640 137138936 4286770752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 17970 15544 191 642 0 17326 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 71880 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20682 /proc/meminfo: memFree=1682344/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=71880 CPUtime=1661.77 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 16066 0 0 0 165844 333 0 0 25 0 1 0 12968270 73605120 15544 1992294400 134512640 137138936 4286770752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 17970 15544 191 642 0 17326 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 71880 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20693 /proc/meminfo: memFree=1682220/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=71380 CPUtime=1721.74 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 16066 0 0 0 171828 346 0 0 25 0 1 0 12968270 73093120 15419 1992294400 134512640 137138936 4286770752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 17845 15419 191 642 0 17201 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 71380 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20695 /proc/meminfo: memFree=1682220/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=71380 CPUtime=1781.72 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 16066 0 0 0 177812 360 0 0 25 0 1 0 12968270 73093120 15419 1992294400 134512640 137138936 4286770752 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 17845 15419 191 642 0 17201 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 71380 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20695 /proc/meminfo: memFree=1682220/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=71380 CPUtime=1791.32 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 16066 0 0 0 178771 361 0 0 25 0 1 0 12968270 73093120 15419 1992294400 134512640 137138936 4286770752 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 17845 15419 191 642 0 17201 0 Current children cumulated CPU time (s) 1791.32 Current children cumulated vsize (KiB) 71380 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20695 /proc/meminfo: memFree=1682220/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=71380 CPUtime=1794.52 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 16066 0 0 0 179091 361 0 0 25 0 1 0 12968270 73093120 15419 1992294400 134512640 137138936 4286770752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 17845 15419 191 642 0 17201 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (KiB) 71380 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20695 /proc/meminfo: memFree=1682220/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=71380 CPUtime=1796.11 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 16066 0 0 0 179250 361 0 0 25 0 1 0 12968270 73093120 15419 1992294400 134512640 137138936 4286770752 18446744073709551615 134573847 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 17845 15419 191 642 0 17201 0 Current children cumulated CPU time (s) 1796.11 Current children cumulated vsize (KiB) 71380 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20695 /proc/meminfo: memFree=1682220/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=71380 CPUtime=1796.91 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 16066 0 0 0 179329 362 0 0 25 0 1 0 12968270 73093120 15419 1992294400 134512640 137138936 4286770752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 17845 15419 191 642 0 17201 0 Current children cumulated CPU time (s) 1796.91 Current children cumulated vsize (KiB) 71380 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20695 /proc/meminfo: memFree=1682220/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=71380 CPUtime=1797.71 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 16066 0 0 0 179409 362 0 0 25 0 1 0 12968270 73093120 15419 1992294400 134512640 137138936 4286770752 18446744073709551615 134575807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 17845 15419 191 642 0 17201 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (KiB) 71380 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20695 /proc/meminfo: memFree=1682220/2059040 swapFree=4164956/4192956 [pid=20636] ppid=20634 vsize=71380 CPUtime=1797.92 /proc/20636/stat : 20636 (bsolo_pb10) R 20634 20636 20420 0 -1 4202496 16066 0 0 0 179430 362 0 0 25 0 1 0 12968270 73093120 15419 1992294400 134512640 137138936 4286770752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20636/statm: 17845 15419 191 642 0 17201 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 71380 Child status: 0 Real time (s): 1798.59 CPU time (s): 1798.01 CPU user time (s): 1794.38 CPU system time (s): 3.63045 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (KiB): 72412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.38 system time used= 3.63045 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16067 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= 3408 runsolver used 2.89656 second user time and 8.5637 second system time The end
Begin job on node080 at 2010-06-16 21:32:31 IDJOB=2671060 IDBENCH=48246 IDSOLVER=1163 FILE ID=node080/2671060-1276716751 PBS_JOBID= 11174151 Free space on /tmp= 62592 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671060-1276716751/watcher-2671060-1276716751 -o /tmp/evaluation-result-2671060-1276716751/solver-2671060-1276716751 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671060-1276716751.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 138d1c5c8dee06528dd1cfb072975c49 RANDOM SEED=1038872718 node080.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.242 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.242 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 : 5999.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1746120 kB Buffers: 86724 kB Cached: 113872 kB SwapCached: 1540 kB Active: 100576 kB Inactive: 133588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1746120 kB SwapTotal: 4192956 kB SwapFree: 4164956 kB Dirty: 4004 kB Writeback: 0 kB AnonPages: 31984 kB Mapped: 14412 kB Slab: 56992 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182064 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671060-1276716751.opb Free space on /tmp at the end= 62588 MiB End job on node080 at 2010-06-16 22:02:30