Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 184 | 1798 | 1798.73 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_2.opb |
MD5SUM | 1d334f36842eecbe8db395477b7c6bcb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 15 |
Best CPU time to get the best result obtained on this benchmark | 1791.89 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 85 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1943 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6340 |
Number of bits of the biggest sum of numbers | 13 |
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-2657557-1276598985.opb 0.00/0.00 c File size is 13323 bytes. 0.00/0.00 c Highest Coefficient sum: 6340 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 198 Constr: 16 0/0/16 Lit: 1374 Watch. Lit: 400 0.00/0.00 c Obj. Vars: 128 (64.6465 % of total variables) 0.00/0.00 c Pre-processing Time: 0.004 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 198 16 1374 85 406 2748 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 958 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 198 17 1502 88 908 3004 1 0 0.01 0.00/0.02 c 100 198 117 9690 82 1107 3305 101 5000 0.02 0.00/0.02 o 951 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 108 198 126 10469 83 1246 3004 110 4909 0.02 0.00/0.04 c 208 198 226 18773 83 1431 3305 210 5777 0.04 0.00/0.04 o 942 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 229 198 248 20155 81 1561 3004 232 5871 0.04 0.00/0.05 c 329 198 348 26069 74 1773 3305 332 5981 0.06 0.00/0.05 o 842 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 330 198 350 26235 74 1891 3004 334 5892 0.06 0.00/0.05 o 840 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 330 198 351 26363 75 1995 3004 335 5789 0.06 0.00/0.06 o 836 0.06/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.07 c 334 198 356 26831 75 2085 3004 340 5758 0.06 0.06/0.07 o 830 0.06/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.09 c 382 198 405 31044 76 2307 3004 389 5617 0.07 0.06/0.09 c 483 198 506 38630 76 2587 3305 490 5488 0.09 0.06/0.09 o 615 0.06/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.09 c 483 198 507 38758 76 2562 3004 491 5426 0.09 0.06/0.09 o 613 0.06/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.09 c 484 198 509 38990 76 2669 3004 493 5377 0.09 0.06/0.09 o 611 0.06/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.10 c 490 198 516 39650 76 2764 3004 500 5384 0.09 0.06/0.10 o 609 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 520 198 547 41906 76 2870 3004 531 5306 0.10 0.09/0.10 o 607 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 550 198 578 44242 76 3016 3004 562 5238 0.10 0.09/0.11 o 601 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 596 198 625 47444 75 3239 3004 609 5182 0.12 0.09/0.14 c 696 198 725 54219 74 3482 3305 709 5080 0.14 0.09/0.14 o 567 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 726 198 756 56411 74 3541 3004 740 5041 0.14 0.09/0.16 o 566 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 809 198 840 60400 71 3784 3004 824 5088 0.16 0.09/0.17 o 562 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 854 198 886 64441 72 3997 3004 870 4994 0.17 0.09/0.19 c 957 198 989 70310 71 4294 3305 973 5010 0.19 0.09/0.19 o 536 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 973 198 1006 71386 70 4269 3004 990 4964 0.20 0.19/0.21 o 530 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 1037 198 1071 75098 70 4522 3004 1055 4891 0.21 0.19/0.21 o 361 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 1043 198 1078 75593 70 4605 3004 1062 4873 0.21 0.19/0.22 o 359 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 1060 198 1096 76815 70 4668 3004 1080 4862 0.22 0.19/0.22 o 357 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 1098 198 1135 78926 69 4882 3004 1119 4880 0.23 0.39/0.42 c 1200 198 1237 86680 70 4966 3305 1221 4918 0.24 0.39/0.42 c 1451 198 1488 102116 68 5337 3636 1472 4986 0.29 0.39/0.42 c 1926 198 1963 124720 63 6406 4000 1947 4938 0.39 0.39/0.42 o 355 2.89/2.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.96 c 2060 198 2098 133784 63 6561 3004 2082 4904 0.42 2.89/2.96 c 2161 198 2199 138112 62 7327 3305 2183 4900 0.44 2.89/2.96 c 2411 198 2449 150168 61 7747 3636 2433 4930 0.49 2.89/2.96 c 2886 198 2924 175156 59 8658 4000 2908 4883 0.59 2.89/2.96 c 3699 198 3737 216911 58 10308 4401 3721 4785 0.77 2.89/2.96 c 5019 198 2780 145344 52 6591 4842 2764 4583 1.09 2.89/2.96 c 7100 198 2438 127342 52 5778 5327 2422 4353 1.63 2.89/2.96 c 10323 198 2917 148239 50 6733 5860 2901 4203 2.46 2.89/2.96 o 354 8.69/8.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.69/8.76 c 12201 198 4796 267326 55 10613 3004 4780 4113 2.97 8.69/8.76 c 12301 198 1619 101580 62 4143 3305 1603 4074 3.02 8.69/8.76 c 12551 198 1869 114777 61 4628 3636 1853 4076 3.08 8.69/8.76 c 13026 198 2344 139505 59 5591 4000 2328 4094 3.18 8.69/8.76 c 13840 198 3158 187338 59 7218 4401 3142 4094 3.38 8.69/8.76 c 15160 198 2218 132606 59 5343 4842 2202 4061 3.73 8.69/8.76 c 17241 198 4299 245775 57 9506 5327 4283 4010 4.30 8.69/8.76 c 20464 198 4806 260580 54 10513 5860 4790 3964 5.16 8.69/8.76 c 25400 198 3782 203168 53 8453 6447 3766 3860 6.58 8.69/8.76 c 32906 198 4719 275231 58 10342 7092 4703 3764 8.74 8.69/8.76 o 350 8.80/8.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.80/8.82 c 32962 198 4776 278733 58 10562 3004 4760 3762 8.76 8.80/8.82 c 33062 198 1619 94109 58 4143 3305 1603 3750 8.81 8.80/8.82 o 348 8.89/8.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.89/8.95 c 33081 198 1639 95653 58 4291 3004 1623 3750 8.82 8.89/8.95 c 33181 198 1739 102087 58 4502 3305 1723 3753 8.84 8.89/8.95 c 33431 198 1989 117430 59 4989 3636 1973 3759 8.89 8.89/8.95 o 347 8.89/8.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.89/8.99 c 33699 198 2258 132560 58 5655 3004 2242 3766 8.95 8.89/8.99 c 33800 198 2359 137970 58 5843 3305 2343 3768 8.97 8.89/8.99 o 329 8.99/9.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.99/9.09 c 33879 198 2439 141939 58 6104 3004 2423 3770 8.99 8.99/9.09 c 33979 198 2539 148024 58 6337 3305 2523 3770 9.01 8.99/9.09 c 34229 198 2789 165770 59 6818 3636 2773 3776 9.06 8.99/9.09 o 327 8.99/9.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.99/9.09 c 34346 198 2907 170788 58 7177 3004 2891 3780 9.09 8.99/9.09 o 307 9.09/9.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.14 c 34364 198 2926 171828 58 7316 3004 2910 3780 9.09 9.09/9.14 c 34466 198 1519 92213 60 3924 3305 1503 3777 9.12 9.09/9.14 o 303 9.49/9.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.49/9.52 c 34533 198 1587 95741 60 4194 3004 1571 3779 9.14 9.49/9.52 c 34634 198 1688 101826 60 4392 3305 1672 3783 9.15 9.49/9.52 c 34884 198 1938 116674 60 4890 3636 1922 3791 9.20 9.49/9.52 c 35360 198 2414 146676 60 5830 4000 2398 3805 9.29 9.49/9.52 c 36173 198 3227 196715 60 7469 4401 3211 3825 9.46 9.49/9.52 o 301 9.49/9.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.49/9.54 c 36466 198 3521 212822 60 8162 3004 3505 3829 9.52 9.49/9.54 o 297 9.79/9.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.79/9.82 c 36552 198 1606 96925 60 4207 3004 1590 3830 9.54 9.79/9.82 c 36652 198 1706 101125 59 4431 3305 1690 3834 9.56 9.79/9.82 c 36903 198 1957 116968 59 4922 3636 1941 3840 9.61 9.79/9.82 c 37378 198 2432 141234 58 5887 4000 2416 3847 9.71 9.79/9.82 o 215 11.29/11.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.29/11.31 c 37832 198 2887 172391 59 6898 3004 2871 3853 9.82 11.29/11.31 c 37933 198 2988 177724 59 7126 3305 2972 3852 9.85 11.29/11.31 c 38183 198 3238 190296 58 7612 3636 3222 3857 9.90 11.29/11.31 c 38658 198 1848 101661 55 4587 4000 1832 3860 10.02 11.29/11.31 c 39472 198 2662 140612 52 6220 4401 2646 3876 10.18 11.29/11.31 c 40792 198 3982 217400 54 8874 4842 3966 3876 10.52 11.29/11.31 c 42875 198 3565 222306 62 8028 5327 3549 3845 11.15 11.29/11.31 o 190 15.19/15.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.19/15.29 c 43596 198 4287 262350 61 9589 3004 4271 3854 11.31 15.19/15.29 c 43696 198 1619 96078 59 4138 3305 1603 3851 11.34 15.19/15.29 c 43946 198 1869 107093 57 4632 3636 1853 3858 11.39 15.19/15.29 c 44421 198 2344 129989 55 5592 4000 2328 3867 11.48 15.19/15.29 c 45234 198 3157 171310 54 7216 4401 3141 3879 11.66 15.19/15.29 c 46554 198 2218 106447 47 5317 4842 2202 3895 11.95 15.19/15.29 c 48636 198 4300 206501 48 9501 5327 4284 3921 12.40 15.19/15.29 c 51859 198 4796 248431 51 10477 5860 4780 3899 13.30 15.19/15.29 c 56795 198 3736 199956 53 8381 6447 3720 3848 14.76 15.19/15.29 o 188 15.29/15.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.29/15.38 c 58807 198 5749 302099 52 12525 3004 5733 3847 15.29 15.29/15.38 c 58907 198 1619 80473 49 4119 3305 1603 3834 15.36 15.29/15.38 o 186 15.39/15.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.39/15.42 c 58960 198 1673 83504 49 4373 3004 1657 3835 15.37 15.39/15.42 c 59060 198 1773 88834 50 4573 3305 1757 3836 15.39 15.39/15.42 o 184 1797.96/1798.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.73 c 59219 198 1933 97158 50 5017 3004 1917 3839 15.42 1797.96/1798.73 c 59319 198 2033 100917 49 5197 3305 2017 3842 15.44 1797.96/1798.73 c 59569 198 2283 110903 48 5701 3636 2267 3849 15.48 1797.96/1798.73 c 60044 198 2758 130710 47 6629 4000 2742 3862 15.55 1797.96/1798.73 c 60857 198 3571 164458 46 8270 4401 3555 3880 15.68 1797.96/1798.73 c 62177 198 2649 105418 39 6183 4842 2633 3905 15.92 1797.96/1798.73 c 64258 198 4730 185744 39 10347 5327 4714 3952 16.26 1797.96/1798.73 c 67481 198 5243 199168 37 11362 5860 5227 4001 16.86 1797.96/1798.73 c 72417 198 4218 183937 43 9322 6447 4202 4015 18.03 1797.96/1798.73 c 79923 198 5170 240792 46 11223 7092 5154 4018 19.89 1797.96/1798.73 c 91284 198 5736 250651 43 12359 7802 5720 4004 22.80 1797.96/1798.73 c 108429 198 7073 331642 46 15031 8583 7057 3914 27.70 1797.96/1798.73 c 134249 198 6812 300674 44 14520 9442 6796 3762 35.68 1797.96/1798.73 c 173081 198 7495 333514 44 15875 10387 7479 3658 47.31 1797.96/1798.73 c 231433 198 8178 321459 39 17249 11426 8162 3479 66.52 1797.96/1798.73 c 319065 198 9361 355387 37 19600 12569 9345 3332 95.73 1797.96/1798.73 c 450617 198 7913 336621 42 16692 13826 7897 3050 147.71 1797.96/1798.73 c 648049 198 10433 434338 41 21731 15209 10417 2660 243.55 1797.96/1798.73 c 944301 198 8270 354460 42 17444 16730 8254 2342 403.14 1797.96/1798.73 c 1388783 198 15120 724124 47 31121 18404 15104 2105 659.56 1797.96/1798.73 c 2055611 198 15795 783279 49 32489 20245 15779 1898 1082.69 1797.96/1798.73 c 3055956 198 19482 862207 44 39867 22270 19466 1748 1747.49 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 1797.96/1798.73 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.73 c 113 3132811 84730 3239134 16827 764047 16811 1742 1798.00 1797.96/1798.73 c Objective: 184 1797.96/1798.73 s SATISFIABLE 1797.96/1798.73 c Total time: 1798 s
OK 184
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657557-1276598985/watcher-2657557-1276598985 -o /tmp/evaluation-result-2657557-1276598985/solver-2657557-1276598985 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657557-1276598985.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/106 4978 /proc/meminfo: memFree=1719092/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=18604 CPUtime=0 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 334 0 0 0 0 0 0 0 18 0 1 0 35500077 19050496 248 1992294400 134512640 137138936 4293981584 18446744073709551615 134575067 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 4651 248 191 642 0 4007 0 [startup+0.065584 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4978 /proc/meminfo: memFree=1719092/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=11176 CPUtime=0.06 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 433 0 0 0 6 0 0 0 20 0 1 0 35500077 11444224 347 1992294400 134512640 137138936 4293981584 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 2794 348 191 642 0 2150 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11176 [startup+0.100591 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4978 /proc/meminfo: memFree=1719092/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=11304 CPUtime=0.09 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 482 0 0 0 9 0 0 0 20 0 1 0 35500077 11575296 396 1992294400 134512640 137138936 4293981584 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 2826 396 191 642 0 2182 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11304 [startup+0.30063 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4978 /proc/meminfo: memFree=1719092/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=12324 CPUtime=0.29 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 711 0 0 0 29 0 0 0 20 0 1 0 35500077 12619776 625 1992294400 134512640 137138936 4293981584 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 3081 625 191 642 0 2437 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12324 [startup+0.700708 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4978 /proc/meminfo: memFree=1719092/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=13728 CPUtime=0.69 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 1079 0 0 0 68 1 0 0 21 0 1 0 35500077 14057472 993 1992294400 134512640 137138936 4293981584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 3432 993 191 642 0 2788 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13728 [startup+1.50086 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4979 /proc/meminfo: memFree=1714992/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=14620 CPUtime=1.49 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 1290 0 0 0 148 1 0 0 23 0 1 0 35500077 14970880 1204 1992294400 134512640 137138936 4293981584 18446744073709551615 134575900 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 3655 1204 191 642 0 3011 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14620 [startup+3.10118 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4979 /proc/meminfo: memFree=1714620/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=15000 CPUtime=3.09 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 1392 0 0 0 307 2 0 0 25 0 1 0 35500077 15360000 1306 1992294400 134512640 137138936 4293981584 18446744073709551615 134603085 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 3750 1306 191 642 0 3106 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15000 [startup+6.3008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4979 /proc/meminfo: memFree=1713876/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=15500 CPUtime=6.29 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 1527 0 0 0 626 3 0 0 25 0 1 0 35500077 15872000 1441 1992294400 134512640 137138936 4293981584 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 3875 1441 191 642 0 3231 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15500 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4981 /proc/meminfo: memFree=1712884/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=16144 CPUtime=12.69 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 1679 0 0 0 1262 7 0 0 25 0 1 0 35500077 16531456 1593 1992294400 134512640 137138936 4293981584 18446744073709551615 134542627 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 4036 1593 191 642 0 3392 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16144 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4981 /proc/meminfo: memFree=1712760/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=16276 CPUtime=25.48 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 1718 0 0 0 2534 14 0 0 25 0 1 0 35500077 16666624 1632 1992294400 134512640 137138936 4293981584 18446744073709551615 134575990 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 4069 1632 191 642 0 3425 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16276 [startup+51.1006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4981 /proc/meminfo: memFree=1711148/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=17916 CPUtime=51.07 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 2118 0 0 0 5081 26 0 0 25 0 1 0 35500077 18345984 2032 1992294400 134512640 137138936 4293981584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 4479 2032 191 642 0 3835 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17916 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4983 /proc/meminfo: memFree=1709784/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=19236 CPUtime=102.26 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 2457 0 0 0 10181 45 0 0 25 0 1 0 35500077 19697664 2371 1992294400 134512640 137138936 4293981584 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 4809 2371 191 642 0 4165 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 19236 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4985 /proc/meminfo: memFree=1708668/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=20404 CPUtime=162.23 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 2743 0 0 0 16157 66 0 0 25 0 1 0 35500077 20893696 2657 1992294400 134512640 137138936 4293981584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 5101 2657 191 642 0 4457 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 20404 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4985 /proc/meminfo: memFree=1707800/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=21244 CPUtime=222.2 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 2953 0 0 0 22134 86 0 0 25 0 1 0 35500077 21753856 2867 1992294400 134512640 137138936 4293981584 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 5311 2867 191 642 0 4667 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 21244 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4987 /proc/meminfo: memFree=1706064/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=22820 CPUtime=282.18 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 3365 0 0 0 28115 103 0 0 25 0 1 0 35500077 23367680 3279 1992294400 134512640 137138936 4293981584 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 5705 3279 191 642 0 5061 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 22820 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4989 /proc/meminfo: memFree=1706064/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=22808 CPUtime=342.16 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 3365 0 0 0 34099 117 0 0 25 0 1 0 35500077 23355392 3276 1992294400 134512640 137138936 4293981584 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 5702 3276 191 642 0 5058 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 22808 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4991 /proc/meminfo: memFree=1706064/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=22640 CPUtime=402.14 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 3365 0 0 0 40078 136 0 0 25 0 1 0 35500077 23183360 3234 1992294400 134512640 137138936 4293981584 18446744073709551615 134609408 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 5660 3234 191 642 0 5016 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 22640 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4993 /proc/meminfo: memFree=1705940/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=22968 CPUtime=462.12 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 3432 0 0 0 46056 156 0 0 25 0 1 0 35500077 23519232 3300 1992294400 134512640 137138936 4293981584 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 5742 3300 191 642 0 5098 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 22968 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4993 /proc/meminfo: memFree=1705072/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=23820 CPUtime=522.09 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 3646 0 0 0 52034 175 0 0 25 0 1 0 35500077 24391680 3514 1992294400 134512640 137138936 4293981584 18446744073709551615 134542918 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 5955 3514 191 642 0 5311 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 23820 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4995 /proc/meminfo: memFree=1705072/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=23804 CPUtime=582.07 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 3646 0 0 0 58015 192 0 0 25 0 1 0 35500077 24375296 3514 1992294400 134512640 137138936 4293981584 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 5951 3514 191 642 0 5307 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 23804 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4997 /proc/meminfo: memFree=1705072/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=23800 CPUtime=642.05 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 3646 0 0 0 63995 210 0 0 25 0 1 0 35500077 24371200 3514 1992294400 134512640 137138936 4293981584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 5950 3514 191 642 0 5306 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 23800 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1702716/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=25420 CPUtime=1061.86 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4053 0 0 0 105864 322 0 0 25 0 1 0 35500077 26030080 3921 1992294400 134512640 137138936 4293981584 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6355 3921 191 642 0 5711 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 25420 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5018 /proc/meminfo: memFree=1702592/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=25548 CPUtime=1121.84 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4083 0 0 0 111843 341 0 0 25 0 1 0 35500077 26161152 3951 1992294400 134512640 137138936 4293981584 18446744073709551615 134573847 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6387 3951 191 642 0 5743 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 25548 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5020 /proc/meminfo: memFree=1702592/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=25548 CPUtime=1181.81 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4083 0 0 0 117825 356 0 0 25 0 1 0 35500077 26161152 3951 1992294400 134512640 137138936 4293981584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6387 3951 191 642 0 5743 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 25548 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5022 /proc/meminfo: memFree=1702592/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=25520 CPUtime=1241.79 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4083 0 0 0 123805 374 0 0 25 0 1 0 35500077 26132480 3951 1992294400 134512640 137138936 4293981584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6380 3951 191 642 0 5736 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 25520 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5024 /proc/meminfo: memFree=1702592/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=25572 CPUtime=1301.78 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4087 0 0 0 129787 391 0 0 25 0 1 0 35500077 26185728 3955 1992294400 134512640 137138936 4293981584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6393 3955 191 642 0 5749 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 25572 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5026 /proc/meminfo: memFree=1702592/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=25552 CPUtime=1361.74 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4087 0 0 0 135769 405 0 0 25 0 1 0 35500077 26165248 3955 1992294400 134512640 137138936 4293981584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6388 3955 191 642 0 5744 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 25552 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5026 /proc/meminfo: memFree=1702592/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=25548 CPUtime=1421.72 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4087 0 0 0 141752 420 0 0 25 0 1 0 35500077 26161152 3955 1992294400 134512640 137138936 4293981584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6387 3955 191 642 0 5743 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 25548 [startup+1482.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 5031 /proc/meminfo: memFree=1702220/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=25548 CPUtime=1481.69 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4087 0 0 0 147732 437 0 0 25 0 1 0 35500077 26161152 3955 1992294400 134512640 137138936 4293981584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6387 3955 191 642 0 5743 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 25548 [startup+1542.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 5033 /proc/meminfo: memFree=1702220/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=25540 CPUtime=1541.66 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4087 0 0 0 153714 452 0 0 25 0 1 0 35500077 26152960 3955 1992294400 134512640 137138936 4293981584 18446744073709551615 134618135 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6385 3955 191 642 0 5741 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 25540 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5035 /proc/meminfo: memFree=1701848/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=25896 CPUtime=1601.64 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4169 0 0 0 159695 469 0 0 25 0 1 0 35500077 26517504 4037 1992294400 134512640 137138936 4293981584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6474 4037 191 642 0 5830 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 25896 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5037 /proc/meminfo: memFree=1702096/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=25768 CPUtime=1661.61 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4169 0 0 0 165674 487 0 0 25 0 1 0 35500077 26386432 4016 1992294400 134512640 137138936 4293981584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6442 4016 191 642 0 5798 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 25768 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5037 /proc/meminfo: memFree=1702096/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=25768 CPUtime=1721.59 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4169 0 0 0 171657 502 0 0 25 0 1 0 35500077 26386432 4016 1992294400 134512640 137138936 4293981584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6442 4016 191 642 0 5798 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 25768 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5039 /proc/meminfo: memFree=1702096/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=25896 CPUtime=1781.57 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4193 0 0 0 177640 517 0 0 25 0 1 0 35500077 26517504 4039 1992294400 134512640 137138936 4293981584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6474 4039 191 642 0 5830 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 25896 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5039 /proc/meminfo: memFree=1702096/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=25896 CPUtime=1791.17 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4193 0 0 0 178597 520 0 0 25 0 1 0 35500077 26517504 4039 1992294400 134512640 137138936 4293981584 18446744073709551615 134542554 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6474 4039 191 642 0 5830 0 Current children cumulated CPU time (s) 1791.17 Current children cumulated vsize (KiB) 25896 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5039 /proc/meminfo: memFree=1702096/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=26012 CPUtime=1794.37 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4220 0 0 0 178916 521 0 0 25 0 1 0 35500077 26636288 4066 1992294400 134512640 137138936 4293981584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6503 4066 191 642 0 5859 0 Current children cumulated CPU time (s) 1794.37 Current children cumulated vsize (KiB) 26012 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5039 /proc/meminfo: memFree=1701972/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=26012 CPUtime=1795.97 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4220 0 0 0 179076 521 0 0 25 0 1 0 35500077 26636288 4066 1992294400 134512640 137138936 4293981584 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6503 4066 191 642 0 5859 0 Current children cumulated CPU time (s) 1795.97 Current children cumulated vsize (KiB) 26012 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5039 /proc/meminfo: memFree=1701972/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=26012 CPUtime=1796.76 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4220 0 0 0 179155 521 0 0 25 0 1 0 35500077 26636288 4066 1992294400 134512640 137138936 4293981584 18446744073709551615 134575826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6503 4066 191 642 0 5859 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (KiB) 26012 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5039 /proc/meminfo: memFree=1701972/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=26012 CPUtime=1797.56 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4220 0 0 0 179235 521 0 0 25 0 1 0 35500077 26636288 4066 1992294400 134512640 137138936 4293981584 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6503 4066 191 642 0 5859 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (KiB) 26012 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5039 /proc/meminfo: memFree=1701972/2059040 swapFree=4136232/4192956 [pid=4978] ppid=4976 vsize=26012 CPUtime=1797.96 /proc/4978/stat : 4978 (bsolo_pb10) R 4976 4978 4513 0 -1 4202496 4220 0 0 0 179275 521 0 0 25 0 1 0 35500077 26636288 4066 1992294400 134512640 137138936 4293981584 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4978/statm: 6503 4066 191 642 0 5859 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 26012 Child status: 0 Real time (s): 1798.73 CPU time (s): 1798 CPU user time (s): 1792.78 CPU system time (s): 5.22021 CPU usage (%): 99.9595 Max. virtual memory (cumulated for all children) (KiB): 26012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.78 system time used= 5.22021 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4221 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= 23086 runsolver used 3.12453 second user time and 8.33973 second system time The end
Begin job on node011 at 2010-06-15 12:49:45 IDJOB=2657557 IDBENCH=2895 IDSOLVER=1163 FILE ID=node011/2657557-1276598985 PBS_JOBID= 11172229 Free space on /tmp= 62360 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657557-1276598985/watcher-2657557-1276598985 -o /tmp/evaluation-result-2657557-1276598985/solver-2657557-1276598985 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657557-1276598985.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb RANDOM SEED=1403840889 node011.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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1719620 kB Buffers: 110832 kB Cached: 150288 kB SwapCached: 10072 kB Active: 103000 kB Inactive: 171300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1719620 kB SwapTotal: 4192956 kB SwapFree: 4136232 kB Dirty: 3912 kB Writeback: 16 kB AnonPages: 11568 kB Mapped: 9344 kB Slab: 43296 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180836 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= 62356 MiB End job on node011 at 2010-06-15 13:19:44