Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -11 | 1798.01 | 1798.92 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_2.opb |
MD5SUM | 2468d4642d986af58e932976ec0c4f0e |
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 | 1716.62 |
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) | 1232 |
Sum of products size (including duplicates) | 2464 |
Number of different products | 616 |
Sum of products size | 1232 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878282-1245209986.opb 0.00/0.00 c File size is 50402 bytes. 0.00/0.00 c Highest Coefficient sum: 100 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.006 s 0.00/0.00 c Var: 716 Constr: 1384 666/102/616 Lit: 5228 Watch. Lit: 4514 0.00/0.00 c Obj. Vars: 50 (6.98324 % of total variables) 0.09/0.13 c Pre-processing Time: 0.13 s 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 716 1384 5228 3 4514 10700 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 716 1385 5278 3 4517 10733 1 0 0.13 0.09/0.13 o -2 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 2 716 1388 5443 3 4525 10750 4 15 0.13 0.09/0.14 c 102 716 1488 11463 7 4725 11826 104 718 0.14 0.09/0.14 o -3 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 109 716 1496 11865 7 4744 10767 112 756 0.14 0.19/0.28 c 209 716 1596 18181 11 4944 11844 212 1366 0.15 0.19/0.28 c 459 716 1846 37776 20 5444 13029 462 2508 0.18 0.19/0.28 c 934 716 2321 74446 32 6394 14332 937 4078 0.23 0.19/0.28 o -4 2.29/2.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.36 c 1631 716 3019 111921 37 7794 10783 1635 5866 0.28 2.29/2.36 c 1731 716 3119 118370 37 7994 11862 1735 5907 0.29 2.29/2.36 c 1981 716 3369 137765 40 8494 13049 1985 6039 0.33 2.29/2.36 c 2456 716 3844 170337 44 9444 14354 2460 6265 0.39 2.29/2.36 c 3269 716 4657 237103 50 11070 15790 3273 6460 0.51 2.29/2.36 c 4589 716 5977 340524 56 13710 17370 4593 6593 0.70 2.29/2.36 c 6670 716 8058 470484 58 17872 19108 6674 6456 1.03 2.29/2.36 c 9893 716 11281 742504 65 24318 21019 9897 5313 1.86 2.29/2.36 o -5 4.49/4.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.52 c 11519 716 12908 869484 67 27577 10800 11524 4876 2.36 4.49/4.52 c 11619 716 6885 448806 65 15521 11881 5501 4545 2.56 4.49/4.52 c 11869 716 7135 466471 65 16021 13070 5751 4509 2.63 4.49/4.52 c 12344 716 7610 503671 66 16971 14378 6226 4454 2.77 4.49/4.52 c 13157 716 8423 567751 67 18597 15816 7039 4325 3.04 4.49/4.52 c 14477 716 9743 673817 69 21237 17398 8359 4097 3.53 4.49/4.52 c 16559 716 11825 844307 71 25401 19138 10441 3775 4.39 4.49/4.52 o -7 4.49/4.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.54 c 16646 716 11913 847018 71 25584 10833 10529 3679 4.52 4.49/4.54 o -8 7.18/7.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.23 c 16654 716 11922 847539 71 25610 10850 10538 3663 4.55 7.18/7.23 c 16754 716 12022 854501 71 25810 11936 10638 3628 4.62 7.18/7.23 c 17004 716 12272 871104 70 26310 13130 10888 3618 4.70 7.18/7.23 c 17479 716 12747 901585 70 27260 14444 11363 3609 4.84 7.18/7.23 c 18292 716 13560 959996 70 28886 15889 12176 3620 5.05 7.18/7.23 c 19612 716 14880 1038622 69 31526 17478 13496 3675 5.34 7.18/7.23 c 21693 716 16961 1176585 69 35688 19226 15577 3664 5.92 7.18/7.23 c 24916 716 20184 1426312 70 42134 21149 18800 3566 6.99 7.18/7.23 o -9 78.45/78.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.45/78.59 c 25517 716 20786 1473841 70 43347 10867 19402 3527 7.23 78.45/78.59 c 25617 716 6919 414304 59 15593 11954 5535 3146 8.14 78.45/78.59 c 25867 716 7169 432018 60 16093 13150 5785 3152 8.21 78.45/78.59 c 26342 716 7644 464896 60 17043 14466 6260 3159 8.34 78.45/78.59 c 27155 716 8457 526398 62 18669 15913 7073 3159 8.59 78.45/78.59 c 28475 716 9777 628731 64 21309 17505 8393 3181 8.95 78.45/78.59 c 30556 716 11858 791281 66 25471 19256 10474 3170 9.64 78.45/78.59 c 33780 716 15082 1045927 69 31919 21182 13698 3125 10.81 78.45/78.59 c 38716 716 20018 1411879 70 41791 23301 18634 2983 12.98 78.45/78.59 c 46222 716 14356 994596 69 30467 25632 12972 2576 17.94 78.45/78.59 c 57584 716 25718 1820957 70 53191 28196 24334 2278 25.27 78.45/78.59 c 74728 716 24980 1786977 71 51715 31016 23596 1965 38.02 78.45/78.59 c 100547 716 30205 1794088 59 62165 34118 28821 1631 61.65 78.45/78.59 o -10 1046.97/1047.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1046.97/1047.51 c 125943 716 32010 1762902 55 65785 10883 30626 1603 78.55 1046.97/1047.51 c 126043 716 6927 331713 47 15610 11972 5543 1552 81.18 1046.97/1047.51 c 126293 716 7177 347157 48 16110 13170 5793 1554 81.23 1046.97/1047.51 c 126768 716 7652 375308 49 17060 14488 6268 1557 81.37 1046.97/1047.51 c 127581 716 8465 424904 50 18686 15937 7081 1563 81.58 1046.97/1047.51 c 128901 716 9785 505622 51 21326 17531 8401 1574 81.88 1046.97/1047.51 c 130982 716 11866 622233 52 25488 19285 10482 1590 82.33 1046.97/1047.51 c 134205 716 15089 833492 55 31934 21214 13705 1610 83.35 1046.97/1047.51 c 139141 716 20025 1160402 57 41806 23336 18641 1624 85.67 1046.97/1047.51 c 146647 716 14396 861679 59 30548 25670 13012 1602 91.54 1046.97/1047.51 c 158008 716 25757 1573321 61 53270 28238 24373 1615 97.83 1046.97/1047.51 c 175152 716 25083 1487371 59 51922 31062 23699 1580 110.81 1046.97/1047.51 c 200971 716 30359 1781786 58 62474 34169 28975 1526 131.64 1046.97/1047.51 c 239803 716 22014 1243407 56 45784 37586 20630 1476 162.43 1046.97/1047.51 c 298155 716 26553 1516022 57 54862 41345 25169 1399 213.07 1046.97/1047.51 c 385787 716 22423 1405091 62 46602 45480 21039 1314 293.40 1046.97/1047.51 c 517339 716 15446 938932 60 32648 50029 14062 1202 430.22 1046.97/1047.51 c 714771 716 17781 1065408 59 37318 55032 16397 1068 669.06 1046.97/1047.51 c 1011023 716 49933 3274608 65 101622 60536 48549 983 1028.25 1046.97/1047.51 o -11 1797.98/1798.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.91 c 1019378 716 58289 3841401 65 118345 10900 56905 973 1046.99 1797.98/1798.91 c 1019478 716 6935 375764 54 15627 11991 5551 967 1053.49 1797.98/1798.91 c 1019728 716 7185 389589 54 16127 13191 5801 967 1053.58 1797.98/1798.91 c 1020203 716 7660 419983 54 17077 14511 6276 968 1053.74 1797.98/1798.91 c 1021017 716 8474 466365 55 18705 15963 7090 968 1054.03 1797.98/1798.91 c 1022337 716 9794 549514 56 21345 17560 8410 969 1054.49 1797.98/1798.91 c 1024418 716 11875 687816 57 25507 19317 10491 970 1055.12 1797.98/1798.91 c 1027641 716 15098 901357 59 31953 21249 13714 972 1056.43 1797.98/1798.91 c 1032577 716 20034 1221160 60 41825 23374 18650 975 1058.72 1797.98/1798.91 c 1040083 716 14312 853474 59 30381 25712 12928 975 1066.65 1797.98/1798.91 c 1051444 716 25673 1613992 62 53103 28284 24289 979 1073.65 1797.98/1798.91 c 1068589 716 24909 1644663 66 51575 31113 23525 983 1086.83 1797.98/1798.91 c 1094408 716 30151 1887423 62 62059 34225 28767 983 1112.35 1797.98/1798.91 c 1133240 716 21776 1223113 56 45309 37648 20392 987 1147.20 1797.98/1798.91 c 1191592 716 26199 1539271 58 54155 41413 24815 994 1198.45 1797.98/1798.91 c 1279224 716 21907 1227430 56 45571 45555 20523 988 1294.52 1797.98/1798.91 c 1410776 716 14820 901774 60 31397 50111 13436 945 1491.68 1797.98/1798.91 c 1608208 716 16743 901455 53 35243 55123 15359 928 1732.76 1797.98/1798.91 c Resources Exceeded 1797.98/1798.91 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 -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.98/1798.91 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.91 c 81 1658394 1811 1665568 22872 1279240 21488 922 1798.00 1797.98/1798.91 c Objective: -11 1797.98/1798.91 s SATISFIABLE 1797.98/1798.91 c Total time: 1798 s
OK -11
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878282-1245209986/watcher-1878282-1245209986 -o /tmp/evaluation-result-1878282-1245209986/solver-1878282-1245209986 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878282-1245209986.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/65 16287 /proc/meminfo: memFree=1855672/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=10756 CPUtime=0 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 1 0 188596507 11014144 239 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 2689 239 176 640 0 2032 0 [startup+0.0450969 s] /proc/loadavg: 1.00 1.00 1.00 3/65 16287 /proc/meminfo: memFree=1855672/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=10980 CPUtime=0.04 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 351 0 0 0 4 0 0 0 18 0 1 0 188596507 11243520 322 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 2745 322 189 640 0 2101 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10980 [startup+0.101107 s] /proc/loadavg: 1.00 1.00 1.00 3/65 16287 /proc/meminfo: memFree=1855672/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=10980 CPUtime=0.09 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 351 0 0 0 9 0 0 0 18 0 1 0 188596507 11243520 322 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 2745 322 189 640 0 2101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10980 [startup+0.301144 s] /proc/loadavg: 1.00 1.00 1.00 3/65 16287 /proc/meminfo: memFree=1855672/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=12616 CPUtime=0.29 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 782 0 0 0 29 0 0 0 19 0 1 0 188596507 12918784 753 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 3154 753 197 640 0 2510 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12616 [startup+0.70122 s] /proc/loadavg: 1.00 1.00 1.00 3/65 16287 /proc/meminfo: memFree=1855672/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=15748 CPUtime=0.69 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 1563 0 0 0 68 1 0 0 23 0 1 0 188596507 16125952 1534 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 3937 1534 197 640 0 3293 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15748 [startup+1.50137 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16288 /proc/meminfo: memFree=1848624/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=20020 CPUtime=1.49 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 2613 0 0 0 147 2 0 0 25 0 1 0 188596507 20500480 2584 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 5005 2584 197 640 0 4361 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20020 [startup+3.10168 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16288 /proc/meminfo: memFree=1843632/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=23384 CPUtime=3.09 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 3453 0 0 0 306 3 0 0 25 0 1 0 188596507 23945216 3424 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 5846 3424 197 640 0 5202 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23384 [startup+6.30129 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16288 /proc/meminfo: memFree=1839920/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=28876 CPUtime=6.29 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 4819 0 0 0 624 5 0 0 25 0 1 0 188596507 29569024 4790 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 7219 4790 197 640 0 6575 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28876 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16288 /proc/meminfo: memFree=1833840/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=31992 CPUtime=12.69 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 5613 0 0 0 1262 7 0 0 25 0 1 0 188596507 32759808 5584 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 7998 5584 197 640 0 7354 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31992 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16288 /proc/meminfo: memFree=1828976/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=37252 CPUtime=25.47 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 6927 0 0 0 2538 9 0 0 25 0 1 0 188596507 38146048 6898 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 9313 6898 197 640 0 8669 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 37252 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16288 /proc/meminfo: memFree=1822256/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=43692 CPUtime=51.06 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 8550 0 0 0 5093 13 0 0 25 0 1 0 188596507 44740608 8521 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 10923 8521 197 640 0 10279 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 43692 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16288 /proc/meminfo: memFree=1822064/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=43704 CPUtime=102.24 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 8587 0 0 0 10202 22 0 0 25 0 1 0 188596507 44752896 8524 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 10926 8524 197 640 0 10282 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 43704 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16288 /proc/meminfo: memFree=1822000/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=43704 CPUtime=162.2 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 8587 0 0 0 16188 32 0 0 25 0 1 0 188596507 44752896 8524 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 10926 8524 197 640 0 10282 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 43704 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16288 /proc/meminfo: memFree=1820272/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=45652 CPUtime=222.18 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 9081 0 0 0 22176 42 0 0 25 0 1 0 188596507 46747648 8980 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 11413 8980 197 640 0 10769 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 45652 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16288 /proc/meminfo: memFree=1815088/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=50828 CPUtime=282.15 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 10417 0 0 0 28164 51 0 0 25 0 1 0 188596507 52047872 10274 1992294400 134512640 137136520 4294956256 18446744073709551615 134543806 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 12707 10274 197 640 0 12063 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 50828 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16288 /proc/meminfo: memFree=1810800/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=54904 CPUtime=342.11 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 11487 0 0 0 34149 62 0 0 25 0 1 0 188596507 56221696 11298 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 13726 11298 197 640 0 13082 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 54904 [startup+402.303 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16288 /proc/meminfo: memFree=1810736/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=55096 CPUtime=402.09 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 11530 0 0 0 40138 71 0 0 25 0 1 0 188596507 56418304 11341 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 13774 11341 197 640 0 13130 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 55096 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16288 /proc/meminfo: memFree=1808816/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=57260 CPUtime=462.06 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 12093 0 0 0 46126 80 0 0 25 0 1 0 188596507 58634240 11904 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 14315 11904 197 640 0 13671 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 57260 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16288 /proc/meminfo: memFree=1806448/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=59404 CPUtime=522.04 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 12657 0 0 0 52116 88 0 0 25 0 1 0 188596507 60829696 12418 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 14851 12418 197 640 0 14207 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 59404 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16288 /proc/meminfo: memFree=1806448/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=59404 CPUtime=582 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 12657 0 0 0 58107 93 0 0 25 0 1 0 188596507 60829696 12418 1992294400 134512640 137136520 4294956256 18446744073709551615 134607060 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 14851 12418 197 640 0 14207 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 59404 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16288 /proc/meminfo: memFree=1806384/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=59404 CPUtime=641.98 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 12657 0 0 0 64098 100 0 0 25 0 1 0 188596507 60829696 12418 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 14851 12418 197 640 0 14207 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 59404 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1799024/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1061.77 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 106024 153 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1061.77 Current children cumulated vsize (KiB) 66356 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16289 /proc/meminfo: memFree=1798832/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1121.74 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 112012 162 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1121.74 Current children cumulated vsize (KiB) 66356 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16289 /proc/meminfo: memFree=1798832/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1181.71 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 118000 171 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1181.71 Current children cumulated vsize (KiB) 66356 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16290 /proc/meminfo: memFree=1798768/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1241.68 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 123989 179 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1241.68 Current children cumulated vsize (KiB) 66356 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16296 /proc/meminfo: memFree=1798760/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1301.65 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 129978 187 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 136503524 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1301.65 Current children cumulated vsize (KiB) 66356 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16296 /proc/meminfo: memFree=1798760/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1361.63 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 135970 193 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1361.63 Current children cumulated vsize (KiB) 66356 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16296 /proc/meminfo: memFree=1798760/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1421.59 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 141958 201 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1421.59 Current children cumulated vsize (KiB) 66356 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16296 /proc/meminfo: memFree=1798760/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1481.56 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 147948 208 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1481.56 Current children cumulated vsize (KiB) 66356 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16296 /proc/meminfo: memFree=1798760/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1541.53 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 153939 214 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1541.53 Current children cumulated vsize (KiB) 66356 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16296 /proc/meminfo: memFree=1798704/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1601.49 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 159929 220 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1601.49 Current children cumulated vsize (KiB) 66356 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16296 /proc/meminfo: memFree=1798640/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1661.47 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 165919 228 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1661.47 Current children cumulated vsize (KiB) 66356 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16296 /proc/meminfo: memFree=1798576/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1721.44 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 171910 234 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1721.44 Current children cumulated vsize (KiB) 66356 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16296 /proc/meminfo: memFree=1798448/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1781.38 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 177898 240 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (KiB) 66356 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16296 /proc/meminfo: memFree=1798448/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1790.98 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 178858 240 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1790.98 Current children cumulated vsize (KiB) 66356 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16296 /proc/meminfo: memFree=1798448/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1794.19 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 179178 241 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1794.19 Current children cumulated vsize (KiB) 66356 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16296 /proc/meminfo: memFree=1798448/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1795.78 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 179337 241 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1795.78 Current children cumulated vsize (KiB) 66356 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16296 /proc/meminfo: memFree=1798448/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1797.38 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 179497 241 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1797.38 Current children cumulated vsize (KiB) 66356 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16296 /proc/meminfo: memFree=1798448/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1797.78 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 179537 241 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 66356 [startup+1798.9 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16296 /proc/meminfo: memFree=1798448/2055920 swapFree=4178232/4192956 [pid=16287] ppid=16285 vsize=66356 CPUtime=1797.98 /proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 179557 241 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16287/statm: 16589 14175 197 640 0 15945 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 66356 Child status: 0 Real time (s): 1798.92 CPU time (s): 1798.01 CPU user time (s): 1795.58 CPU system time (s): 2.42863 CPU usage (%): 99.9494 Max. virtual memory (cumulated for all children) (KiB): 66356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.58 system time used= 2.42863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14527 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= 3 involuntary context switches= 6704 runsolver used 2.24166 second user time and 4.07038 second system time The end
Begin job on node91 at 2009-06-17 05:39:46 IDJOB=1878282 IDBENCH=48262 IDSOLVER=700 FILE ID=node91/1878282-1245209986 PBS_JOBID= 9368359 Free space on /tmp= 66444 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_2.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878282-1245209986/watcher-1878282-1245209986 -o /tmp/evaluation-result-1878282-1245209986/solver-1878282-1245209986 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878282-1245209986.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2468d4642d986af58e932976ec0c4f0e RANDOM SEED=1493022765 node91.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 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.261 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1856216 kB Buffers: 21948 kB Cached: 108984 kB SwapCached: 8264 kB Active: 27204 kB Inactive: 113572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1856216 kB SwapTotal: 4192956 kB SwapFree: 4178232 kB Dirty: 3956 kB Writeback: 0 kB Mapped: 15500 kB Slab: 44792 kB Committed_AS: 95264 kB PageTables: 1368 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878282-1245209986.opb Free space on /tmp at the end= 66440 MiB End job on node91 at 2009-06-17 06:09:45