Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 184 | 1798 | 1798.58 |
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 | 1802.17 |
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.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-1878621-1245174112.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.001 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 5263 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 5142 0.02 0.00/0.04 c 208 198 226 18773 83 1431 3305 210 5942 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 6026 0.04 0.00/0.05 c 329 198 348 26069 74 1773 3305 332 6092 0.05 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 6000 0.06 0.00/0.05 o 840 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 330 198 351 26363 75 1995 3004 335 5892 0.06 0.00/0.05 o 836 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 334 198 356 26831 75 2085 3004 340 5859 0.06 0.00/0.06 o 830 0.00/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.09 c 382 198 405 31044 76 2307 3004 389 5701 0.07 0.00/0.09 c 483 198 506 38630 76 2587 3305 490 5551 0.09 0.00/0.09 o 615 0.00/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.09 c 483 198 507 38758 76 2562 3004 491 5488 0.09 0.00/0.09 o 613 0.00/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.09 c 484 198 509 38990 76 2669 3004 493 5438 0.09 0.00/0.09 o 611 0.09/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.09 c 490 198 516 39650 76 2764 3004 500 5444 0.09 0.09/0.09 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 5360 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 5339 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 5274 0.11 0.09/0.14 c 696 198 725 54219 74 3482 3305 709 5155 0.14 0.09/0.14 o 567 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 726 198 756 56411 74 3541 3004 740 5112 0.14 0.09/0.15 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 5152 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 5053 0.17 0.09/0.19 c 957 198 989 70310 71 4294 3305 973 5063 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 5015 0.19 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 4938 0.21 0.19/0.21 o 361 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 1043 198 1078 75593 70 4605 3004 1062 4919 0.21 0.19/0.21 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 4907 0.22 0.19/0.22 o 357 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 1098 198 1135 78926 69 4882 3004 1119 4923 0.22 0.39/0.41 c 1200 198 1237 86680 70 4966 3305 1221 4979 0.24 0.39/0.41 c 1451 198 1488 102116 68 5337 3636 1472 5038 0.29 0.39/0.41 c 1926 198 1963 124720 63 6406 4000 1947 4989 0.39 0.39/0.41 o 355 2.88/2.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.88/2.94 c 2060 198 2098 133784 63 6561 3004 2082 4951 0.42 2.88/2.94 c 2161 198 2199 138112 62 7327 3305 2183 4956 0.44 2.88/2.94 c 2411 198 2449 150168 61 7747 3636 2433 4981 0.48 2.88/2.94 c 2886 198 2924 175156 59 8658 4000 2908 4933 0.58 2.88/2.94 c 3699 198 3737 216911 58 10308 4401 3721 4828 0.77 2.88/2.94 c 5019 198 2780 145344 52 6591 4842 2764 4630 1.08 2.88/2.94 c 7100 198 2438 127342 52 5778 5327 2422 4393 1.62 2.88/2.94 c 10323 198 2917 148239 50 6733 5860 2901 4241 2.43 2.88/2.94 o 354 8.69/8.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.69/8.78 c 12201 198 4796 267326 55 10613 3004 4780 4144 2.94 8.69/8.78 c 12301 198 1619 101580 62 4143 3305 1603 4104 3.00 8.69/8.78 c 12551 198 1869 114777 61 4628 3636 1853 4105 3.06 8.69/8.78 c 13026 198 2344 139505 59 5591 4000 2328 4122 3.16 8.69/8.78 c 13840 198 3158 187338 59 7218 4401 3142 4120 3.36 8.69/8.78 c 15160 198 2218 132606 59 5343 4842 2202 4081 3.71 8.69/8.78 c 17241 198 4299 245775 57 9506 5327 4283 4025 4.28 8.69/8.78 c 20464 198 4806 260580 54 10513 5860 4790 3970 5.15 8.69/8.78 c 25400 198 3782 203168 53 8453 6447 3766 3858 6.58 8.69/8.78 c 32906 198 4719 275231 58 10342 7092 4703 3756 8.76 8.69/8.78 o 350 8.79/8.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.79/8.84 c 32962 198 4776 278733 58 10562 3004 4760 3755 8.78 8.79/8.84 c 33062 198 1619 94109 58 4143 3305 1603 3743 8.83 8.79/8.84 o 348 8.89/8.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.89/8.96 c 33081 198 1639 95653 58 4291 3004 1623 3743 8.84 8.89/8.96 c 33181 198 1739 102087 58 4502 3305 1723 3745 8.86 8.89/8.96 c 33431 198 1989 117430 59 4989 3636 1973 3752 8.91 8.89/8.96 o 347 8.99/9.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.99/9.00 c 33699 198 2258 132560 58 5655 3004 2242 3759 8.96 8.99/9.00 c 33800 198 2359 137970 58 5843 3305 2343 3761 8.99 8.99/9.00 o 329 9.09/9.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.10 c 33879 198 2439 141939 58 6104 3004 2423 3762 9.00 9.09/9.10 c 33979 198 2539 148024 58 6337 3305 2523 3763 9.03 9.09/9.10 c 34229 198 2789 165770 59 6818 3636 2773 3769 9.08 9.09/9.10 o 327 9.09/9.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.11 c 34346 198 2907 170788 58 7177 3004 2891 3772 9.10 9.09/9.11 o 307 9.09/9.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.15 c 34364 198 2926 171828 58 7316 3004 2910 3772 9.11 9.09/9.15 c 34466 198 1519 92213 60 3924 3305 1503 3770 9.14 9.09/9.15 o 303 9.48/9.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.48/9.54 c 34533 198 1587 95741 60 4194 3004 1571 3772 9.15 9.48/9.54 c 34634 198 1688 101826 60 4392 3305 1672 3776 9.17 9.48/9.54 c 34884 198 1938 116674 60 4890 3636 1922 3784 9.22 9.48/9.54 c 35360 198 2414 146676 60 5830 4000 2398 3798 9.31 9.48/9.54 c 36173 198 3227 196715 60 7469 4401 3211 3818 9.47 9.48/9.54 o 301 9.48/9.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.48/9.56 c 36466 198 3521 212822 60 8162 3004 3505 3822 9.54 9.48/9.56 o 297 9.79/9.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.79/9.84 c 36552 198 1606 96925 60 4207 3004 1590 3822 9.56 9.79/9.84 c 36652 198 1706 101125 59 4431 3305 1690 3826 9.58 9.79/9.84 c 36903 198 1957 116968 59 4922 3636 1941 3833 9.63 9.79/9.84 c 37378 198 2432 141234 58 5887 4000 2416 3840 9.73 9.79/9.84 o 215 11.29/11.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.29/11.34 c 37832 198 2887 172391 59 6898 3004 2871 3845 9.84 11.29/11.34 c 37933 198 2988 177724 59 7126 3305 2972 3845 9.87 11.29/11.34 c 38183 198 3238 190296 58 7612 3636 3222 3849 9.92 11.29/11.34 c 38658 198 1848 101661 55 4587 4000 1832 3852 10.04 11.29/11.34 c 39472 198 2662 140612 52 6220 4401 2646 3869 10.20 11.29/11.34 c 40792 198 3982 217400 54 8874 4842 3966 3868 10.54 11.29/11.34 c 42875 198 3565 222306 62 8028 5327 3549 3836 11.18 11.29/11.34 o 190 15.29/15.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.29/15.31 c 43596 198 4287 262350 61 9589 3004 4271 3845 11.34 15.29/15.31 c 43696 198 1619 96078 59 4138 3305 1603 3842 11.37 15.29/15.31 c 43946 198 1869 107093 57 4632 3636 1853 3849 11.42 15.29/15.31 c 44421 198 2344 129989 55 5592 4000 2328 3857 11.51 15.29/15.31 c 45234 198 3157 171310 54 7216 4401 3141 3869 11.69 15.29/15.31 c 46554 198 2218 106447 47 5317 4842 2202 3885 11.98 15.29/15.31 c 48636 198 4300 206501 48 9501 5327 4284 3910 12.44 15.29/15.31 c 51859 198 4796 248431 51 10477 5860 4780 3889 13.33 15.29/15.31 c 56795 198 3736 199956 53 8381 6447 3720 3841 14.78 15.29/15.31 o 188 15.39/15.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.39/15.40 c 58807 198 5749 302099 52 12525 3004 5733 3840 15.31 15.39/15.40 c 58907 198 1619 80473 49 4119 3305 1603 3827 15.39 15.39/15.40 o 186 15.39/15.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.39/15.45 c 58960 198 1673 83504 49 4373 3004 1657 3828 15.40 15.39/15.45 c 59060 198 1773 88834 50 4573 3305 1757 3829 15.42 15.39/15.45 o 184 1797.92/1798.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.58 c 59219 198 1933 97158 50 5017 3004 1917 3833 15.45 1797.92/1798.58 c 59319 198 2033 100917 49 5197 3305 2017 3836 15.46 1797.92/1798.58 c 59569 198 2283 110903 48 5701 3636 2267 3842 15.50 1797.92/1798.58 c 60044 198 2758 130710 47 6629 4000 2742 3856 15.57 1797.92/1798.58 c 60857 198 3571 164458 46 8270 4401 3555 3875 15.71 1797.92/1798.58 c 62177 198 2649 105418 39 6183 4842 2633 3900 15.94 1797.92/1798.58 c 64258 198 4730 185744 39 10347 5327 4714 3948 16.28 1797.92/1798.58 c 67481 198 5243 199168 37 11362 5860 5227 3999 16.87 1797.92/1798.58 c 72417 198 4218 183937 43 9322 6447 4202 4014 18.04 1797.92/1798.58 c 79923 198 5170 240792 46 11223 7092 5154 4018 19.89 1797.92/1798.58 c 91284 198 5736 250651 43 12359 7802 5720 4007 22.78 1797.92/1798.58 c 108429 198 7073 331642 46 15031 8583 7057 3913 27.71 1797.92/1798.58 c 134249 198 6812 300674 44 14520 9442 6796 3758 35.72 1797.92/1798.58 c 173081 198 7495 333514 44 15875 10387 7479 3655 47.34 1797.92/1798.58 c 231433 198 8178 321459 39 17249 11426 8162 3476 66.56 1797.92/1798.58 c 319065 198 9361 355387 37 19600 12569 9345 3331 95.77 1797.92/1798.58 c 450617 198 7913 336621 42 16692 13826 7897 3049 147.79 1797.92/1798.58 c 648049 198 10433 434338 41 21731 15209 10417 2657 243.90 1797.92/1798.58 c 944301 198 8270 354460 42 17444 16730 8254 2337 403.98 1797.92/1798.58 c 1388783 198 15120 724124 47 31121 18404 15104 2102 660.59 1797.92/1798.58 c 2055611 198 15795 783279 49 32489 20245 15779 1896 1083.87 1797.92/1798.58 c 3055956 198 19482 862207 44 39867 22270 19466 1747 1748.89 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 -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.92/1798.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.58 c 113 3129698 84688 3235969 13714 645735 13698 1740 1798.00 1797.92/1798.58 c Objective: 184 1797.92/1798.58 s SATISFIABLE 1797.92/1798.58 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-1878621-1245174112/watcher-1878621-1245174112 -o /tmp/evaluation-result-1878621-1245174112/solver-1878621-1245174112 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878621-1245174112.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/64 1842 /proc/meminfo: memFree=1880792/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=18520 CPUtime=0 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 185011602 18964480 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 4630 243 189 640 0 3986 0 [startup+0.0956291 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1842 /proc/meminfo: memFree=1880792/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=11220 CPUtime=0.09 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 413 0 0 0 9 0 0 0 18 0 1 0 185011602 11489280 393 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 2805 393 196 640 0 2161 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11220 [startup+0.101631 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1842 /proc/meminfo: memFree=1880792/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=11220 CPUtime=0.09 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 422 0 0 0 9 0 0 0 18 0 1 0 185011602 11489280 402 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 2805 402 196 640 0 2161 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11220 [startup+0.301664 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1842 /proc/meminfo: memFree=1880792/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=12240 CPUtime=0.29 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 653 0 0 0 29 0 0 0 19 0 1 0 185011602 12533760 633 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 3060 633 196 640 0 2416 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12240 [startup+0.701729 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1842 /proc/meminfo: memFree=1880792/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=13644 CPUtime=0.69 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 1023 0 0 0 68 1 0 0 22 0 1 0 185011602 13971456 1003 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 3411 1003 196 640 0 2767 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13644 [startup+1.50186 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1843 /proc/meminfo: memFree=1876752/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=14536 CPUtime=1.49 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 1227 0 0 0 148 1 0 0 25 0 1 0 185011602 14884864 1207 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 3634 1207 196 640 0 2990 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14536 [startup+3.10113 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1843 /proc/meminfo: memFree=1876624/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=14916 CPUtime=3.08 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 1329 0 0 0 307 1 0 0 25 0 1 0 185011602 15273984 1309 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 3729 1309 196 640 0 3085 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 14916 [startup+6.30166 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1843 /proc/meminfo: memFree=1875664/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=15416 CPUtime=6.29 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 1464 0 0 0 627 2 0 0 25 0 1 0 185011602 15785984 1444 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 3854 1444 196 640 0 3210 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15416 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1843 /proc/meminfo: memFree=1874840/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=16060 CPUtime=12.69 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 1616 0 0 0 1264 5 0 0 25 0 1 0 185011602 16445440 1596 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 4015 1596 196 640 0 3371 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16060 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1843 /proc/meminfo: memFree=1874776/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=16192 CPUtime=25.49 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 1655 0 0 0 2539 10 0 0 25 0 1 0 185011602 16580608 1635 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 4048 1635 196 640 0 3404 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 16192 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1843 /proc/meminfo: memFree=1873112/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=17832 CPUtime=51.07 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 2055 0 0 0 5089 18 0 0 25 0 1 0 185011602 18259968 2035 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 4458 2035 196 640 0 3814 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17832 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1843 /proc/meminfo: memFree=1871768/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=19152 CPUtime=102.26 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 2394 0 0 0 10193 33 0 0 25 0 1 0 185011602 19611648 2374 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 4788 2374 196 640 0 4144 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 19152 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1843 /proc/meminfo: memFree=1870616/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=20320 CPUtime=162.24 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 2680 0 0 0 16177 47 0 0 25 0 1 0 185011602 20807680 2660 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 5080 2660 196 640 0 4436 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 20320 [startup+222.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1843 /proc/meminfo: memFree=1869720/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=21160 CPUtime=222.21 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 2890 0 0 0 22164 57 0 0 25 0 1 0 185011602 21667840 2870 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 5290 2870 196 640 0 4646 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 21160 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1843 /proc/meminfo: memFree=1868056/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=22736 CPUtime=282.2 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 3302 0 0 0 28150 70 0 0 25 0 1 0 185011602 23281664 3282 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 5684 3282 196 640 0 5040 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 22736 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1843 /proc/meminfo: memFree=1868056/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=22724 CPUtime=342.18 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 3302 0 0 0 34138 80 0 0 25 0 1 0 185011602 23269376 3279 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 5681 3279 196 640 0 5037 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 22724 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1843 /proc/meminfo: memFree=1868056/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=22556 CPUtime=402.16 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 3302 0 0 0 40126 90 0 0 25 0 1 0 185011602 23097344 3237 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 5639 3237 196 640 0 4995 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 22556 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1843 /proc/meminfo: memFree=1867864/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=22884 CPUtime=462.14 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 3369 0 0 0 46112 102 0 0 25 0 1 0 185011602 23433216 3303 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 5721 3303 196 640 0 5077 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 22884 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1843 /proc/meminfo: memFree=1866968/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=23736 CPUtime=522.12 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 3583 0 0 0 52098 114 0 0 25 0 1 0 185011602 24305664 3517 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 5934 3517 196 640 0 5290 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 23736 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1845 /proc/meminfo: memFree=1866648/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=23720 CPUtime=582.11 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 3583 0 0 0 58087 124 0 0 25 0 1 0 185011602 24289280 3517 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 5930 3517 196 640 0 5286 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 23720 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1845 /proc/meminfo: memFree=1866648/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=23716 CPUtime=642.08 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 3583 0 0 0 64073 135 0 0 25 0 1 0 185011602 24285184 3517 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 5929 3517 196 640 0 5285 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 23716 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1865048/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25336 CPUtime=1061.94 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 3990 0 0 0 105975 219 0 0 25 0 1 0 185011602 25944064 3924 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6334 3924 196 640 0 5690 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 25336 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1845 /proc/meminfo: memFree=1864920/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25464 CPUtime=1121.93 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4020 0 0 0 111964 229 0 0 25 0 1 0 185011602 26075136 3954 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6366 3954 196 640 0 5722 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 25464 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1851 /proc/meminfo: memFree=1864792/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25464 CPUtime=1181.91 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4020 0 0 0 117952 239 0 0 25 0 1 0 185011602 26075136 3954 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6366 3954 196 640 0 5722 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 25464 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1851 /proc/meminfo: memFree=1864728/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25436 CPUtime=1241.89 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4020 0 0 0 123940 249 0 0 25 0 1 0 185011602 26046464 3954 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6359 3954 196 640 0 5715 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 25436 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1851 /proc/meminfo: memFree=1864728/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25488 CPUtime=1301.87 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4024 0 0 0 129928 259 0 0 25 0 1 0 185011602 26099712 3958 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6372 3958 196 640 0 5728 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 25488 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1851 /proc/meminfo: memFree=1864664/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25468 CPUtime=1361.85 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4024 0 0 0 135917 268 0 0 25 0 1 0 185011602 26079232 3958 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6367 3958 196 640 0 5723 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 25468 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1851 /proc/meminfo: memFree=1864664/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25464 CPUtime=1421.84 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4024 0 0 0 141906 278 0 0 25 0 1 0 185011602 26075136 3958 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6366 3958 196 640 0 5722 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 25464 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1851 /proc/meminfo: memFree=1864600/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25464 CPUtime=1481.81 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4024 0 0 0 147893 288 0 0 25 0 1 0 185011602 26075136 3958 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6366 3958 196 640 0 5722 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 25464 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1851 /proc/meminfo: memFree=1864536/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25456 CPUtime=1541.8 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4024 0 0 0 153881 299 0 0 25 0 1 0 185011602 26066944 3958 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6364 3958 196 640 0 5720 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 25456 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1851 /proc/meminfo: memFree=1864280/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25812 CPUtime=1601.77 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4106 0 0 0 159870 307 0 0 25 0 1 0 185011602 26431488 4040 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6453 4040 196 640 0 5809 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 25812 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1851 /proc/meminfo: memFree=1864216/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25684 CPUtime=1661.76 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4106 0 0 0 165858 318 0 0 25 0 1 0 185011602 26300416 4019 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6421 4019 196 640 0 5777 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 25684 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1851 /proc/meminfo: memFree=1864216/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25684 CPUtime=1721.74 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4106 0 0 0 171846 328 0 0 25 0 1 0 185011602 26300416 4019 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6421 4019 196 640 0 5777 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 25684 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1851 /proc/meminfo: memFree=1864152/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25812 CPUtime=1781.71 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4130 0 0 0 177833 338 0 0 25 0 1 0 185011602 26431488 4042 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6453 4042 196 640 0 5809 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 25812 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1851 /proc/meminfo: memFree=1864152/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25812 CPUtime=1791.32 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4130 0 0 0 178791 341 0 0 25 0 1 0 185011602 26431488 4042 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6453 4042 196 640 0 5809 0 Current children cumulated CPU time (s) 1791.32 Current children cumulated vsize (KiB) 25812 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1851 /proc/meminfo: memFree=1864152/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25812 CPUtime=1794.52 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4130 0 0 0 179111 341 0 0 25 0 1 0 185011602 26431488 4042 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6453 4042 196 640 0 5809 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (KiB) 25812 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1851 /proc/meminfo: memFree=1864152/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25928 CPUtime=1796.11 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4157 0 0 0 179270 341 0 0 25 0 1 0 185011602 26550272 4069 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6482 4069 196 640 0 5838 0 Current children cumulated CPU time (s) 1796.11 Current children cumulated vsize (KiB) 25928 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1851 /proc/meminfo: memFree=1864024/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25928 CPUtime=1796.91 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4157 0 0 0 179350 341 0 0 25 0 1 0 185011602 26550272 4069 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6482 4069 196 640 0 5838 0 Current children cumulated CPU time (s) 1796.91 Current children cumulated vsize (KiB) 25928 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1851 /proc/meminfo: memFree=1864024/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25928 CPUtime=1797.72 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4157 0 0 0 179430 342 0 0 25 0 1 0 185011602 26550272 4069 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6482 4069 196 640 0 5838 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (KiB) 25928 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1851 /proc/meminfo: memFree=1864024/2055920 swapFree=4192812/4192956 [pid=1842] ppid=1840 vsize=25928 CPUtime=1797.92 /proc/1842/stat : 1842 (bsolo) R 1840 1842 1691 0 -1 4194304 4157 0 0 0 179450 342 0 0 25 0 1 0 185011602 26550272 4069 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1842/statm: 6482 4069 196 640 0 5838 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 25928 Child status: 0 Real time (s): 1798.58 CPU time (s): 1798 CPU user time (s): 1794.58 CPU system time (s): 3.42448 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (KiB): 25928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.58 system time used= 3.42448 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4159 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= 2 involuntary context switches= 2267 runsolver used 1.47178 second user time and 3.82942 second system time The end
Begin job on node15 at 2009-06-16 19:41:52 IDJOB=1878621 IDBENCH=2895 IDSOLVER=700 FILE ID=node15/1878621-1245174112 PBS_JOBID= 9363890 Free space on /tmp= 66304 MiB SOLVER NAME= bsolo 3.1 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 -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878621-1245174112/watcher-1878621-1245174112 -o /tmp/evaluation-result-1878621-1245174112/solver-1878621-1245174112 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878621-1245174112.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb RANDOM SEED=49370361 node15.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 : 5931.00 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1881272 kB Buffers: 34396 kB Cached: 69372 kB SwapCached: 0 kB Active: 65480 kB Inactive: 51724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1881272 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3960 kB Writeback: 0 kB Mapped: 23248 kB Slab: 43428 kB Committed_AS: 183656 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878621-1245174112.opb Free space on /tmp at the end= 66300 MiB End job on node15 at 2009-06-16 20:11:51