Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 21166 | 1800.07 | 1800.62 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gt2.opb |
MD5SUM | fbf213ed65afe4e66abc3948eb02a29f |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 21166 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21166 |
Optimality of the best value was proved | NO |
Number of variables | 556 |
Total number of constraints | 180 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 178 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 304 |
Biggest coefficient in the objective function | 62376 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 3092598 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 62376 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 3092598 |
Number of bits of the biggest sum of numbers | 22 |
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.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432538-1177944647/instance-432538-1177944647.opb 0.00/0.00 c File size is 18003 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Highest Coefficient sum: 3.0926e+06 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.004 s 0.00/0.00 c Var: 556 Constr: 180 60/2/118 Lit: 1553 Watch. Lit: 925 0.00/0.00 c Obj. Vars: 304 (54.6763 % of total variables) 0.00/0.01 c Pre-processing Time: 0.009 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 513 180 1553 8 1026 2829 0 0 0.01 0.00/0.02 c 103 513 283 16934 59 1247 3112 103 5150 0.02 0.00/0.02 o 112862 0.022 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 122 513 303 19531 64 1547 3393 123 5545 0.02 0.00/0.02 o 110865 0.023 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 126 513 308 20018 64 1824 3393 128 5478 0.02 0.00/0.03 c 226 513 408 28912 70 2039 3733 228 6647 0.03 0.00/0.03 o 107012 0.035 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 229 513 412 29290 71 2347 3393 232 6542 0.04 0.00/0.04 o 106941 0.037 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 240 513 424 30413 71 2660 3393 244 6486 0.04 0.00/0.05 c 341 513 525 38588 73 2854 3733 345 6557 0.05 0.00/0.05 o 103901 0.053 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 342 513 527 38974 73 3116 3393 347 6452 0.05 0.00/0.05 o 103365 0.053 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 342 513 528 39256 74 3386 3393 348 6333 0.05 0.00/0.06 o 102638 0.056 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 353 513 540 40452 74 3690 3393 360 6303 0.06 0.00/0.06 o 97756 0.057 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 354 513 542 40739 75 3979 3393 362 6210 0.06 0.00/0.06 o 95566 0.058 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 354 513 543 41021 75 4259 3393 363 6103 0.06 0.00/0.06 o 95071 0.059 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 354 513 544 41303 75 4538 3393 364 6000 0.06 0.00/0.06 o 93228 0.061 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 355 513 546 41688 76 4821 3393 366 5819 0.06 0.00/0.06 o 91556 0.062 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 355 513 547 41970 76 5108 3393 367 5725 0.06 0.00/0.06 o 90774 0.063 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 355 513 548 42252 77 5386 3393 368 5634 0.06 0.00/0.06 o 90108 0.065 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 356 513 550 42590 77 5662 3393 370 5476 0.07 0.00/0.07 o 90092 0.069 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 383 513 578 43838 75 5985 3393 398 5550 0.07 0.09/0.16 c 486 513 681 46911 68 6178 3733 501 6075 0.08 0.09/0.16 c 737 513 932 66137 70 6670 4107 752 5118 0.14 0.09/0.16 o 89989 0.156 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 781 513 977 69248 70 7079 3393 797 5006 0.16 0.09/0.16 o 88104 0.163 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 806 513 1003 71132 70 7328 3393 823 4914 0.16 0.09/0.16 o 86544 0.166 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 808 513 1006 71484 71 7632 3393 826 4867 0.17 0.09/0.17 o 82878 0.167 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 808 513 1007 71766 71 7912 3393 827 4838 0.17 0.09/0.17 o 79280 0.169 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 808 513 1008 72048 71 8194 3393 828 4781 0.17 0.09/0.17 o 75614 0.17 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 808 513 1009 72330 71 8474 3393 829 4752 0.17 0.09/0.17 o 72294 0.172 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 808 513 1010 72612 71 8761 3393 830 4697 0.17 0.09/0.17 o 69414 0.173 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 808 513 1011 72894 72 9043 3393 831 4643 0.17 0.09/0.17 o 69328 0.175 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 808 513 1012 73176 72 9328 3393 832 4590 0.18 0.09/0.18 o 66726 0.177 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 808 513 1013 73458 72 9608 3393 833 4539 0.18 0.09/0.18 o 65609 0.18 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 809 513 1015 73796 72 9884 3393 835 4494 0.18 0.09/0.18 o 63629 0.183 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 812 513 1019 74245 72 10161 3393 839 4437 0.18 0.09/0.19 o 62811 0.19 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 830 513 1038 75488 72 10532 3393 858 4368 0.19 0.19/0.20 o 62505 0.198 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 866 513 1075 76907 71 10872 3393 895 4373 0.20 0.19/0.20 o 61050 0.201 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 870 513 1080 77301 71 11150 3393 900 4306 0.20 0.19/0.20 o 59814 0.203 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 870 513 1081 77583 71 11436 3393 901 4264 0.20 0.19/0.20 o 58436 0.205 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 870 513 1082 77865 71 11717 3393 902 4223 0.21 0.19/0.21 o 58031 0.207 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 872 513 1085 78325 72 12005 3393 905 4192 0.21 0.19/0.21 o 56544 0.209 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 872 513 1086 78607 72 12283 3393 906 4172 0.21 0.19/0.21 o 55240 0.211 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 873 513 1088 78933 72 12568 3393 908 4137 0.21 0.19/0.21 o 55096 0.213 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 873 513 1089 79215 72 12846 3393 909 4098 0.21 0.19/0.22 o 54681 0.217 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 879 513 1096 79897 72 13140 3393 916 4050 0.22 0.39/0.43 c 980 513 1197 89135 74 13389 3733 1017 3769 0.26 0.39/0.43 c 1230 513 1447 111878 77 13817 4107 1267 3044 0.40 0.39/0.43 o 54047 0.428 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 1294 513 1512 115334 76 14205 3393 1332 3016 0.43 0.59/0.65 c 1398 513 1616 124373 76 14442 3733 1436 2900 0.48 0.59/0.65 c 1652 513 1870 142485 76 14969 4107 1690 2613 0.63 0.59/0.65 o 53154 0.651 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 1687 513 1906 145621 76 15176 3393 1726 2591 0.65 0.79/0.89 c 1787 513 2006 152178 75 15499 3733 1826 2520 0.71 0.79/0.89 c 2037 513 2256 179406 79 16048 4107 2076 2439 0.83 0.79/0.89 o 52596 0.894 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 2161 513 2381 189470 79 16490 3393 2201 2417 0.89 0.89/0.97 c 2261 513 2481 204259 82 16731 3733 2301 2390 0.95 0.89/0.97 o 51717 0.967 1.69/1.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.72 c 2296 513 2517 207133 82 17042 3393 2337 2371 0.97 1.69/1.72 c 2396 513 2617 210294 80 17337 3733 2437 2376 1.01 1.69/1.72 c 2647 513 2868 217043 75 17823 4107 2688 2457 1.08 1.69/1.72 c 3124 513 3345 236286 70 18766 4518 3165 2497 1.25 1.69/1.72 o 51630 1.719 1.69/1.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.73 c 3763 513 3985 293026 73 20311 3393 3805 2187 1.72 1.69/1.73 o 51547 1.735 1.69/1.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.74 c 3767 513 1884 117117 62 4997 3393 1704 2171 1.74 1.69/1.74 o 50371 1.737 1.69/1.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.76 c 3777 513 1895 118363 62 5301 3393 1715 2174 1.74 1.69/1.76 c 3878 513 1996 128020 64 5504 3733 1816 2210 1.75 1.69/1.76 o 50203 1.757 1.79/1.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.89 c 3890 513 2009 129387 64 5799 3393 1829 2214 1.76 1.79/1.89 c 3993 513 2112 134739 63 5992 3733 1932 2250 1.77 1.79/1.89 c 4244 513 2363 153337 64 6509 4107 2183 2344 1.81 1.79/1.89 c 4719 513 2838 225340 79 7472 4518 2658 2496 1.89 1.79/1.89 o 49231 1.893 1.99/2.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.06 c 4736 513 2856 227593 79 7777 3393 2676 2500 1.89 1.99/2.06 c 4837 513 2957 234932 79 7968 3733 2777 2529 1.91 1.99/2.06 c 5087 513 3207 255190 79 8487 4107 3027 2607 1.95 1.99/2.06 c 5563 513 3683 311815 84 9433 4518 3503 2699 2.06 1.99/2.06 o 48125 2.064 4.79/4.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.83 c 5568 513 3689 312379 84 9723 3393 3509 2696 2.06 4.79/4.83 c 5668 513 1979 192752 97 4892 3733 1799 2719 2.08 4.79/4.83 c 5918 513 2229 207623 93 5389 4107 2049 2783 2.13 4.79/4.83 c 6393 513 2704 234310 86 6354 4518 2524 2892 2.21 4.79/4.83 c 7207 513 3518 293254 83 7974 4970 3338 3046 2.37 4.79/4.83 c 8527 513 4838 491675 101 10624 5468 4658 3152 2.71 4.79/4.83 c 10610 513 3676 382158 103 8291 6015 3496 3414 3.11 4.79/4.83 c 13833 513 3391 570794 168 7737 6617 3211 2866 4.83 4.79/4.83 o 47736 4.834 4.89/4.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.98 c 13885 513 3444 576509 167 8093 3393 3264 2872 4.83 4.89/4.98 c 13985 513 3544 587359 165 8319 3733 3364 2881 4.85 4.89/4.98 c 14235 513 3794 629565 165 8809 4107 3614 2888 4.93 4.89/4.98 o 47079 4.978 4.99/5.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.02 c 14427 513 3987 658245 165 9480 3393 3807 2898 4.98 4.99/5.02 c 14529 513 1981 276092 139 4904 3733 1801 2900 5.01 4.99/5.02 o 46134 5.022 7.48/7.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.48/7.59 c 14602 513 2055 286710 139 5345 3393 1875 2907 5.02 7.48/7.59 c 14702 513 2155 297590 138 5533 3733 1975 2918 5.04 7.48/7.59 c 14953 513 2406 316245 131 6027 4107 2226 2949 5.07 7.48/7.59 c 15430 513 2883 338439 117 6966 4518 2703 3010 5.12 7.48/7.59 c 16243 513 3696 404923 109 8614 4970 3516 3058 5.31 7.48/7.59 c 17565 513 5018 505157 100 11257 5468 4838 3167 5.55 7.48/7.59 c 19646 513 3871 436909 112 8692 6015 3691 3083 6.37 7.48/7.59 c 22871 513 3632 475525 130 8209 6617 3452 3023 7.57 7.48/7.59 o 45755 7.587 7.59/7.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.59/7.65 c 22949 513 3711 483040 130 8640 3393 3531 3024 7.59 7.59/7.65 c 23050 513 1980 239621 121 4907 3733 1800 3026 7.62 7.59/7.65 c 23300 513 2230 259132 116 5394 4107 2050 3049 7.64 7.59/7.65 o 45712 7.646 7.59/7.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.59/7.68 c 23340 513 2271 262177 115 5768 3393 2091 3052 7.65 7.59/7.68 c 23440 513 2371 275906 116 5969 3733 2191 3057 7.67 7.59/7.68 o 45059 7.679 10.28/10.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.28/10.38 c 23527 513 2459 282682 114 6428 3393 2279 3063 7.68 10.28/10.38 c 23627 513 2559 293355 114 6623 3733 2379 3068 7.70 10.28/10.38 c 23877 513 2809 314215 111 7132 4107 2629 3085 7.74 10.28/10.38 c 24352 513 3284 383932 116 8073 4518 3104 3095 7.87 10.28/10.38 c 25165 513 4097 448344 109 9688 4970 3917 3136 8.02 10.28/10.38 c 26487 513 2667 271405 101 6286 5468 2487 3119 8.49 10.28/10.38 c 28568 513 4748 488700 102 10448 6015 4568 3217 8.88 10.28/10.38 c 31791 513 4456 441672 99 9863 6617 4276 3071 10.35 10.28/10.38 o 44804 10.38 10.48/10.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.48/10.54 c 31977 513 4643 459709 99 10508 3393 4463 3080 10.38 10.48/10.54 c 32080 513 1982 185501 93 4916 3733 1802 3078 10.42 10.48/10.54 c 32330 513 2232 204473 91 5394 4107 2052 3093 10.45 10.48/10.54 c 32805 513 2707 253169 93 6353 4518 2527 3115 10.53 10.48/10.54 o 43697 10.536 11.38/11.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.38/11.47 c 32839 513 2742 255604 93 6699 3393 2562 3116 10.54 11.38/11.47 c 32941 513 2844 271034 95 6904 3733 2664 3118 10.56 11.38/11.47 c 33192 513 3095 293731 94 7426 4107 2915 3129 10.61 11.38/11.47 c 33670 513 3573 353027 98 8371 4518 3393 3135 10.74 11.38/11.47 c 34483 513 4386 421711 96 9970 4970 4206 3165 10.89 11.38/11.47 c 35804 513 2738 308060 112 6434 5468 2558 3156 11.34 11.38/11.47 o 43508 11.47 11.38/11.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.38/11.47 c 36406 513 3341 401624 120 7918 3393 3161 3174 11.47 11.38/11.47 o 42983 11.473 11.58/11.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.58/11.65 c 36417 513 3353 402893 120 8207 3393 3173 3173 11.47 11.58/11.65 c 36519 513 3455 411358 119 8408 3733 3275 3178 11.49 11.58/11.65 c 36769 513 3705 429072 115 8903 4107 3525 3189 11.53 11.58/11.65 c 37244 513 4180 496214 118 9860 4518 4000 3199 11.64 11.58/11.65 o 42739 11.646 11.58/11.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.58/11.68 c 37251 513 4188 496956 118 10137 3393 4008 3198 11.65 11.58/11.68 c 37352 513 1980 229825 116 4894 3733 1800 3200 11.67 11.58/11.68 o 42651 11.677 11.68/11.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.68/11.71 c 37382 513 2011 233687 116 5244 3393 1831 3201 11.68 11.68/11.71 c 37483 513 2112 246127 116 5446 3733 1932 3205 11.69 11.68/11.71 o 41554 11.705 29.38/29.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.38/29.40 c 37598 513 2228 253621 113 5957 3393 2048 3211 11.71 29.38/29.40 c 37700 513 2330 260244 111 6167 3733 2150 3216 11.72 29.38/29.40 c 37951 513 2581 278000 107 6668 4107 2401 3227 11.76 29.38/29.40 c 38426 513 3056 326428 106 7611 4518 2876 3237 11.87 29.38/29.40 c 39239 513 3869 432836 111 9250 4970 3689 3256 12.05 29.38/29.40 c 40560 513 5190 599359 115 11887 5468 5010 3248 12.49 29.38/29.40 c 42642 513 4052 451081 111 9052 6015 3872 3244 13.14 29.38/29.40 c 45866 513 3792 497185 131 8520 6617 3612 3159 14.52 29.38/29.40 c 50802 513 4961 728708 146 10872 7279 4781 3057 16.61 29.38/29.40 c 58309 513 4299 530257 123 9533 8007 4119 2820 20.68 29.38/29.40 c 69671 513 6826 772091 113 14585 8808 6646 2481 28.08 29.38/29.40 o 41266 29.393 29.48/29.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.48/29.60 c 73399 513 5687 633818 111 12579 3393 5507 2497 29.39 29.48/29.60 c 73499 513 1979 215748 109 4899 3733 1799 2497 29.43 29.48/29.60 c 73749 513 2229 231348 103 5402 4107 2049 2502 29.47 29.48/29.60 c 74226 513 2706 304943 112 6361 4518 2526 2509 29.58 29.48/29.60 o 40639 29.593 29.59/29.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.59/29.66 c 74397 513 2878 317196 110 6964 3393 2698 2514 29.59 29.59/29.66 c 74499 513 2980 333019 111 7201 3733 2800 2515 29.62 29.59/29.66 o 39602 29.652 34.88/34.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 34.88/34.97 c 74645 513 3127 345871 110 7751 3393 2947 2517 29.65 34.88/34.97 c 74745 513 3227 356406 110 7956 3733 3047 2518 29.68 34.88/34.97 c 74999 513 3481 383994 110 8461 4107 3301 2520 29.75 34.88/34.97 c 75478 513 3960 433271 109 9422 4518 3780 2529 29.84 34.88/34.97 c 76291 513 2441 213976 87 5810 4970 2261 2540 30.03 34.88/34.97 c 77613 513 3763 392882 104 8476 5468 3583 2556 30.36 34.88/34.97 c 79694 513 2916 272371 93 6771 6015 2736 2566 31.05 34.88/34.97 c 82917 513 6139 534480 87 13233 6617 5959 2597 31.92 34.88/34.97 c 87854 513 3491 420610 120 7921 7279 3311 2513 34.96 34.88/34.97 o 39192 34.964 46.48/46.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 46.48/46.59 c 87904 513 3542 424334 119 8300 3393 3362 2514 34.96 46.48/46.59 c 88005 513 1879 188173 100 4696 3733 1699 2514 35.00 46.48/46.59 c 88257 513 2131 211662 99 5204 4107 1951 2519 35.04 46.48/46.59 c 88732 513 2606 269636 103 6150 4518 2426 2525 35.13 46.48/46.59 c 89547 513 3421 346701 101 7785 4970 3241 2539 35.27 46.48/46.59 c 90868 513 4742 504367 106 10414 5468 4562 2548 35.65 46.48/46.59 c 92949 513 3606 345600 95 8135 6015 3426 2576 36.08 46.48/46.59 c 96172 513 3347 401907 120 7633 6617 3167 2548 37.73 46.48/46.59 c 101109 513 4480 503777 112 9892 7279 4300 2530 39.96 46.48/46.59 c 108616 513 3822 607903 159 8603 8007 3642 2504 43.37 46.48/46.59 o 38859 46.574 314.01/314.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 314.01/314.13 c 115446 513 6142 658445 107 13514 3393 5962 2478 46.57 314.01/314.13 c 115546 513 1979 199686 100 4907 3733 1799 2478 46.62 314.01/314.13 c 115796 513 2229 225686 101 5381 4107 2049 2481 46.66 314.01/314.13 c 116271 513 2704 271189 100 6352 4518 2524 2487 46.73 314.01/314.13 c 117084 513 3517 346470 98 7961 4970 3337 2497 46.88 314.01/314.13 c 118405 513 4838 499541 103 10624 5468 4658 2506 47.23 314.01/314.13 c 120486 513 3704 375959 101 8347 6015 3524 2521 47.79 314.01/314.13 c 123709 513 3443 380018 110 7832 6617 3263 2517 49.15 314.01/314.13 c 128647 513 4580 479912 104 10090 7279 4400 2519 51.07 314.01/314.13 c 136155 513 3879 473334 122 8705 8007 3699 2463 55.28 314.01/314.13 c 147516 513 6289 940137 149 13512 8808 6109 2230 66.14 314.01/314.13 c 164663 513 8996 1586921 176 18945 9689 8816 1976 83.32 314.01/314.13 c 190484 513 8378 1322860 157 17705 10658 8198 1695 112.37 314.01/314.13 c 229316 513 6968 946220 135 14892 11724 6788 1453 157.81 314.01/314.13 c 287670 513 8446 1050110 124 17845 12897 8266 1208 238.05 314.01/314.13 o 38832 314.049 315.21/315.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 315.21/315.32 c 333882 512 6632 1119696 168 14181 3391 6452 1062 314.21 315.21/315.32 c 333983 512 1980 253408 127 4908 3731 1800 1062 314.28 315.21/315.32 c 334234 512 2231 275734 123 5412 4105 2051 1063 314.32 315.21/315.32 c 334712 512 2709 316528 116 6353 4516 2529 1064 314.41 315.21/315.32 c 335527 512 3524 395913 112 7997 4968 3344 1066 314.55 315.21/315.32 c 336847 512 4844 562163 116 10629 5465 4664 1069 314.88 315.21/315.32 o 37787 315.245 315.21/315.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 315.21/315.38 c 338505 512 3445 322571 93 8110 3391 3265 1073 315.25 315.21/315.38 c 338605 512 3545 327892 92 8310 3731 3365 1074 315.26 315.21/315.38 o 37169 315.305 424.58/424.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 424.58/424.76 c 338735 512 3676 340157 92 8852 3391 3496 1074 315.31 424.58/424.76 c 338836 512 1980 142956 72 4896 3731 1800 1074 315.33 424.58/424.76 c 339086 512 2230 165086 74 5407 4105 2050 1075 315.38 424.58/424.76 c 339561 512 2705 205489 75 6352 4516 2525 1076 315.43 424.58/424.76 c 340374 512 3518 279027 79 7959 4968 3338 1078 315.59 424.58/424.76 c 341698 512 4842 425771 87 10630 5465 4662 1081 315.93 424.58/424.76 c 343784 512 3723 376057 101 8374 6012 3543 1086 316.53 424.58/424.76 c 347008 512 3513 380038 108 7979 6614 3333 1091 317.84 424.58/424.76 c 351944 512 4665 441177 94 10267 7276 4485 1101 319.58 424.58/424.76 c 359451 512 4005 421286 105 8973 8004 3825 1110 323.81 424.58/424.76 c 370814 512 6743 976346 144 14434 8805 6563 1123 330.18 424.58/424.76 c 387958 512 4586 590790 128 10121 9686 4406 1120 346.26 424.58/424.76 c 413777 512 9275 1452076 156 19498 10655 9095 1115 371.02 424.58/424.76 c 452609 512 7774 1550936 199 16501 11721 7594 1067 424.07 424.58/424.76 o 36843 424.65 424.88/425.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 424.88/425.03 c 454412 512 9578 1740882 181 20379 3391 9398 1070 424.65 424.88/425.03 c 454513 512 1980 188018 94 4912 3731 1800 1069 424.79 424.88/425.03 c 454763 512 2230 214966 96 5408 4105 2050 1070 424.83 424.88/425.03 c 455238 512 2705 295736 109 6350 4516 2525 1071 424.91 424.88/425.03 o 33153 424.922 424.88/425.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 424.88/425.05 c 455317 512 2785 301520 108 6789 3391 2605 1071 424.92 424.88/425.05 c 455419 512 2887 314525 108 6979 3731 2707 1071 424.94 424.88/425.05 o 31815 424.943 424.88/425.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 424.88/425.06 c 455419 512 2888 314806 109 7269 3391 2708 1071 424.94 424.88/425.06 o 30734 424.948 425.08/425.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 425.08/425.28 c 455432 512 2902 316078 108 7577 3391 2722 1071 424.95 425.08/425.28 c 455532 512 3002 329640 109 7784 3731 2822 1071 424.97 425.08/425.28 c 455782 512 3252 357941 110 8285 4105 3072 1072 425.02 425.08/425.28 c 456257 512 3727 427556 114 9214 4516 3547 1073 425.15 425.08/425.28 o 27811 425.172 425.28/425.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 425.28/425.46 c 456359 512 3830 438830 114 9695 3391 3650 1073 425.17 425.28/425.46 c 456459 512 1979 239810 121 4880 3731 1799 1073 425.20 425.28/425.46 c 456714 512 2234 269667 120 5392 4105 2054 1073 425.26 425.28/425.46 c 457189 505 2709 314435 116 6352 4516 2529 1074 425.35 425.28/425.46 o 25202 425.351 517.66/517.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 517.66/517.87 c 457203 505 2724 315635 115 6646 3377 2544 1074 425.35 517.66/517.87 c 457303 505 2824 327634 116 6859 3715 2644 1075 425.38 517.66/517.87 c 457553 505 3074 364744 118 7352 4087 2894 1075 425.44 517.66/517.87 c 458032 505 3553 436347 122 8314 4496 3373 1076 425.57 517.66/517.87 c 458845 505 4366 547337 125 9942 4946 4186 1077 425.80 517.66/517.87 c 460165 505 2890 385280 133 6710 5441 2710 1079 426.42 517.66/517.87 c 462253 505 4978 756399 151 10878 5986 4798 1081 427.30 517.66/517.87 c 465476 505 4816 803553 166 10553 6585 4636 1084 429.13 517.66/517.87 c 470415 505 6024 812084 134 12977 7244 5844 1088 432.03 517.66/517.87 c 477923 505 5520 816490 147 11967 7969 5340 1092 437.39 517.66/517.87 c 489284 503 8106 1221448 150 17130 8766 7926 1095 446.62 517.66/517.87 c 506428 503 6134 810860 132 13205 9643 5954 1091 464.02 517.66/517.87 c 532247 502 5442 1148372 211 11810 10608 5262 1050 506.85 517.66/517.87 o 23697 517.738 547.85/548.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 547.85/548.09 c 544573 502 6383 1175380 184 13947 3371 6203 1051 517.74 547.85/548.09 c 544673 422 1979 260671 131 4866 3709 1799 1051 517.79 547.85/548.09 c 544924 422 2230 267782 120 5349 4080 2050 1052 517.82 547.85/548.09 c 545400 357 2706 296529 109 6328 4489 2526 1053 517.91 547.85/548.09 c 546213 357 3519 364840 103 7953 4938 3339 1054 518.05 547.85/548.09 c 547533 357 4839 460085 95 10598 5432 4659 1056 518.38 547.85/548.09 c 549618 357 3755 299357 79 8433 5976 3575 1059 519.00 547.85/548.09 c 552842 357 3629 315726 87 8170 6574 3449 1062 520.33 547.85/548.09 c 557778 357 4795 528191 110 10504 7232 4615 1068 522.15 547.85/548.09 c 565286 357 4132 501830 121 9185 7956 3952 1074 526.28 547.85/548.09 c 576647 357 6657 719496 108 14239 8752 6477 1081 533.34 547.85/548.09 c 593791 357 4573 490486 107 10063 9628 4393 1084 547.55 547.85/548.09 o 23518 547.953 579.94/580.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 579.94/580.18 c 595790 357 6573 671200 102 14192 3081 6393 1087 547.95 579.94/580.18 c 595890 357 1839 147496 80 4734 3390 1659 1087 548.00 579.94/580.18 c 596141 357 2090 167371 80 5227 3730 1910 1087 548.04 579.94/580.18 c 596616 357 2565 202744 79 6171 4104 2385 1088 548.10 579.94/580.18 c 597429 357 3378 294313 87 7807 4515 3198 1089 548.28 579.94/580.18 c 598750 357 4699 422201 89 10449 4967 4519 1091 548.59 579.94/580.18 c 600831 357 3927 362382 92 8903 5464 3747 1094 549.20 579.94/580.18 c 604054 357 4012 387682 96 9074 6011 3832 1097 550.33 579.94/580.18 c 608995 357 5607 664581 118 12261 6613 5427 1103 551.91 579.94/580.18 c 616501 357 5654 653516 115 12359 7275 5474 1108 556.24 579.94/580.18 c 627862 357 4861 543466 111 10765 8003 4681 1114 563.44 579.94/580.18 c 645006 357 4200 522366 124 9444 8804 4020 1112 580.02 579.94/580.18 o 22521 580.033 582.85/583.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 582.85/583.02 c 645055 357 4250 526668 123 9660 3623 4070 1112 580.03 582.85/583.02 c 645155 357 2110 221829 105 5258 3986 1930 1112 580.08 582.85/583.02 c 645405 354 2360 241334 102 5757 4385 2180 1112 580.11 582.85/583.02 c 645882 352 2837 285328 100 6716 4824 2657 1113 580.20 582.85/583.02 c 646698 350 3653 376700 103 8346 5307 3473 1114 580.43 582.85/583.02 c 648018 347 4973 488292 98 10985 5838 4793 1115 580.84 582.85/583.02 c 650099 344 3690 290850 78 8401 6422 3510 1117 581.69 582.85/583.02 c 653324 339 3425 303358 88 7871 7065 3245 1121 582.80 582.85/583.02 o 22342 582.872 593.04/593.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 593.04/593.25 c 653598 339 3700 324956 87 8527 3587 3520 1121 582.87 593.04/593.25 c 653698 339 3800 330545 86 8727 3946 3620 1121 582.89 593.04/593.25 c 653948 339 4050 348223 85 9224 4341 3870 1121 582.95 593.04/593.25 c 654423 335 4525 383742 84 10172 4776 4345 1122 583.11 593.04/593.25 c 655236 335 2604 191887 73 6209 5254 2424 1123 583.36 593.04/593.25 c 656558 335 3926 323624 82 8852 5780 3746 1124 583.71 593.04/593.25 c 658639 335 6007 501104 83 13018 6359 5827 1126 584.45 593.04/593.25 c 661865 335 5651 456017 80 12315 6995 5471 1130 585.49 593.04/593.25 c 666801 335 6721 590980 87 14461 7695 6541 1135 587.37 593.04/593.25 c 674310 335 5688 731118 128 12379 8465 5508 1138 592.27 593.04/593.25 o 21166 593.098 1800.05/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.61 c 676200 335 7579 953639 125 16259 3579 7399 1140 593.10 1800.05/1800.61 c 676302 335 2112 221522 104 5227 3937 1932 1140 593.15 1800.05/1800.61 c 676552 334 2362 235954 99 5726 4331 2182 1140 593.19 1800.05/1800.61 c 677027 333 2837 276713 97 6673 4765 2657 1141 593.28 1800.05/1800.61 c 677840 333 3650 342012 93 8298 5242 3470 1142 593.49 1800.05/1800.61 c 679160 326 4970 435692 87 10923 5767 4790 1143 593.82 1800.05/1800.61 c 681241 325 3872 262232 67 8729 6344 3692 1145 594.59 1800.05/1800.61 c 684468 324 3630 246317 67 8248 6979 3450 1148 595.86 1800.05/1800.61 c 689404 323 4676 334852 71 10342 7677 4496 1153 597.86 1800.05/1800.61 c 696910 323 8010 589919 73 17009 8445 7830 1158 601.69 1800.05/1800.61 c 708275 323 5638 419628 74 12258 9290 5458 1162 609.52 1800.05/1800.61 c 725421 323 7721 700204 90 16447 10220 7541 1161 624.81 1800.05/1800.61 c 751240 323 5985 438557 73 12957 11243 5805 1145 656.09 1800.05/1800.61 c 790073 323 8809 769731 87 18609 12368 8629 1133 696.81 1800.05/1800.61 c 848426 318 8243 844856 102 17470 13605 8063 1100 770.99 1800.05/1800.61 c 936058 317 9795 1055894 107 20564 14966 9615 1038 901.68 1800.05/1800.61 c 1067610 317 7819 1220706 156 16619 16463 7639 952 1120.53 1800.05/1800.61 c 1265042 317 15296 1846387 120 31573 18110 15116 861 1467.89 1800.05/1800.61 c Caught signal: 15 1800.05/1800.61 v -x1 -x2 -x3 -x4 -x49 -x50 -x51 -x52 -x97 -x98 -x99 -x100 -x145 -x146 -x147 -x148 -x279 -x280 -x281 -x282 -x327 -x328 -x329 -x330 1800.05/1800.61 v -x375 -x376 -x377 -x378 -x423 -x424 -x425 -x426 -x5 -x6 -x7 -x8 -x53 -x54 -x55 -x56 -x101 -x102 -x103 -x104 -x149 -x150 -x151 1800.05/1800.61 v -x152 -x193 -x194 -x195 -x196 -x236 -x237 -x238 -x239 -x283 -x284 -x285 -x286 -x331 -x332 -x333 -x334 -x379 -x380 -x381 -x382 1800.05/1800.61 v -x427 -x428 -x429 -x430 -x471 -x472 -x473 -x474 -x514 -x515 -x516 -x517 -x9 -x10 -x11 -x12 -x57 -x58 -x59 -x60 -x105 -x106 1800.05/1800.61 v -x107 -x108 -x153 -x154 -x155 -x156 -x197 -x198 -x199 -x200 -x240 -x241 -x242 -x243 -x287 -x288 -x289 -x290 -x335 -x336 -x337 1800.05/1800.61 v -x338 -x383 -x384 -x385 -x386 -x431 -x432 -x433 -x434 -x475 -x476 -x477 -x478 -x518 -x519 -x520 -x521 -x13 -x61 -x109 -x157 1800.05/1800.61 v -x201 -x244 -x291 -x339 -x387 -x435 -x479 -x522 -x14 -x15 -x16 -x62 -x63 -x64 -x110 -x111 -x112 -x158 -x159 -x160 -x202 -x203 1800.05/1800.61 v -x204 -x245 -x246 -x247 -x292 -x293 -x294 -x340 -x341 -x342 -x388 -x389 -x390 -x436 -x437 -x438 -x480 -x481 -x482 -x523 -x524 1800.05/1800.61 v -x525 -x17 -x18 -x19 -x20 -x65 -x66 -x67 -x68 -x113 -x114 -x115 -x116 -x161 -x162 -x163 -x164 -x205 -x206 -x207 -x208 -x248 1800.05/1800.61 v -x249 -x250 -x251 -x295 -x296 -x297 -x298 -x343 -x344 -x345 -x346 -x391 -x392 -x393 -x394 -x439 -x440 -x441 -x442 -x483 -x484 1800.05/1800.61 v -x485 -x486 -x526 -x527 -x528 -x529 -x209 -x210 -x211 -x252 -x253 -x254 -x487 -x488 -x489 -x530 -x531 -x532 -x21 -x22 -x23 1800.05/1800.61 v -x24 -x69 -x70 -x71 -x72 -x117 -x118 -x119 -x120 -x165 -x166 -x167 -x168 -x299 -x300 -x301 -x302 -x347 -x348 -x349 -x350 -x395 1800.05/1800.61 v -x396 -x397 -x398 -x443 -x444 -x445 -x446 -x25 -x26 -x27 -x73 -x74 -x75 x121 -x122 -x123 -x169 -x170 -x171 -x212 -x213 -x214 1800.05/1800.61 v x255 x256 -x257 -x303 -x304 -x305 -x351 -x352 -x353 x399 -x400 -x401 -x447 -x448 -x449 -x490 -x491 -x492 -x533 -x534 -x535 1800.05/1800.61 v x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 x41 -x42 -x43 -x44 x45 -x46 -x47 -x76 -x77 -x78 -x79 -x80 -x81 x82 1800.05/1800.61 v x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 1800.05/1800.61 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x172 x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 1800.05/1800.61 v -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 1800.05/1800.61 v -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 1800.05/1800.61 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 x316 -x317 -x318 x319 1800.05/1800.61 v -x320 -x321 -x322 -x323 -x324 -x325 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 1800.05/1800.61 v -x369 -x370 -x371 -x372 -x373 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 1800.05/1800.61 v -x418 -x419 -x420 -x421 -x450 -x451 -x452 -x453 x454 -x455 -x456 x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 1800.05/1800.61 v -x467 -x468 -x469 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 1800.05/1800.61 v -x511 -x512 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 1800.05/1800.61 v -x555 -x48 -x96 -x144 x192 -x235 -x278 -x326 -x374 -x422 -x470 -x513 -x556 1800.05/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.61 c 282 1445395 303716 2443668 16769 1782982 16589 802 1800.06 1800.05/1800.61 c Objective: 21166 1800.05/1800.61 s SATISFIABLE 1800.05/1800.61 c Total time: 1800.06 s
OK 21166
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-432538-1177944647 -o ROOT/results/node2/solver-432538-1177944647 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432538-1177944647/instance-432538-1177944647.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.83 3/77 26289 /proc/meminfo: memFree=1747384/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=11756 CPUtime=0 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 270502489 12038144 336 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 2939 336 280 324 0 2004 0 [startup+0.00846305 s] /proc/loadavg: 0.92 0.98 0.83 3/77 26289 /proc/meminfo: memFree=1747384/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=4056 CPUtime=0 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 422 0 0 0 0 0 0 0 18 0 1 0 270502489 4153344 387 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 1014 387 303 324 0 84 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4056 [startup+0.101473 s] /proc/loadavg: 0.92 0.98 0.83 3/77 26289 /proc/meminfo: memFree=1747384/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=4832 CPUtime=0.09 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 634 0 0 0 9 0 0 0 18 0 1 0 270502489 4947968 599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 1208 599 310 324 0 278 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4832 [startup+0.301492 s] /proc/loadavg: 0.92 0.98 0.83 3/77 26289 /proc/meminfo: memFree=1747384/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=5616 CPUtime=0.29 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 823 0 0 0 29 0 0 0 19 0 1 0 270502489 5750784 788 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 1404 789 310 324 0 474 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5616 [startup+0.701533 s] /proc/loadavg: 0.92 0.98 0.83 3/77 26289 /proc/meminfo: memFree=1747384/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=6392 CPUtime=0.69 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 1024 0 0 0 69 0 0 0 23 0 1 0 270502489 6545408 989 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 1598 989 310 324 0 668 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6392 [startup+1.50162 s] /proc/loadavg: 0.92 0.98 0.83 2/78 26290 /proc/meminfo: memFree=1743920/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=8088 CPUtime=1.49 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 1442 0 0 0 149 0 0 0 25 0 1 0 270502489 8282112 1407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 2022 1407 310 324 0 1092 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8088 [startup+3.10178 s] /proc/loadavg: 0.92 0.98 0.83 2/78 26290 /proc/meminfo: memFree=1742576/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=12484 CPUtime=3.09 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 2528 0 0 0 309 0 0 0 25 0 1 0 270502489 12783616 2493 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134594570 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 3121 2493 310 324 0 2191 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12484 [startup+6.30111 s] /proc/loadavg: 0.93 0.98 0.83 2/78 26290 /proc/meminfo: memFree=1734064/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=16740 CPUtime=6.29 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 3608 0 0 0 628 1 0 0 25 0 1 0 270502489 17141760 3573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 4185 3573 310 324 0 3255 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16740 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.83 2/78 26290 /proc/meminfo: memFree=1734192/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=16740 CPUtime=12.68 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 3608 0 0 0 1267 1 0 0 25 0 1 0 270502489 17141760 3573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 4185 3573 310 324 0 3255 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16740 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.83 2/78 26290 /proc/meminfo: memFree=1732272/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=18680 CPUtime=25.48 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 4091 0 0 0 2546 2 0 0 25 0 1 0 270502489 19128320 4056 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 4670 4056 310 324 0 3740 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18680 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.84 2/78 26290 /proc/meminfo: memFree=1731632/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=19328 CPUtime=51.08 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 4256 0 0 0 5106 2 0 0 25 0 1 0 270502489 19791872 4221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10969518 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 4832 4221 310 324 0 3902 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19328 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.84 2/78 26290 /proc/meminfo: memFree=1723696/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=27292 CPUtime=102.27 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 6229 0 0 0 10223 4 0 0 25 0 1 0 270502489 27947008 6194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10968820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 6823 6194 310 324 0 5893 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 27292 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.85 2/78 26290 /proc/meminfo: memFree=1723632/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=27296 CPUtime=162.24 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 6231 0 0 0 16220 4 0 0 25 0 1 0 270502489 27951104 6196 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 6824 6196 310 324 0 5894 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 27296 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.85 2/78 26290 /proc/meminfo: memFree=1721840/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=29060 CPUtime=222.24 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 6672 0 0 0 22218 6 0 0 25 0 1 0 270502489 29757440 6637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 7265 6637 310 324 0 6335 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 29060 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.86 2/78 26290 /proc/meminfo: memFree=1715888/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=34932 CPUtime=282.22 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8142 0 0 0 28214 8 0 0 25 0 1 0 270502489 35770368 8107 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8733 8107 310 324 0 7803 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 34932 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.86 2/78 26290 /proc/meminfo: memFree=1715312/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35440 CPUtime=342.2 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8283 0 0 0 34212 8 0 0 25 0 1 0 270502489 36290560 8248 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8860 8248 310 324 0 7930 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 35440 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.87 2/78 26290 /proc/meminfo: memFree=1715376/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35440 CPUtime=402.19 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8283 0 0 0 40210 9 0 0 25 0 1 0 270502489 36290560 8248 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8860 8248 310 324 0 7930 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 35440 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.88 2/78 26290 /proc/meminfo: memFree=1715184/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35412 CPUtime=462.17 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8466 0 0 0 46208 9 0 0 25 0 1 0 270502489 36261888 8245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8853 8245 310 324 0 7923 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 35412 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.88 2/78 26290 /proc/meminfo: memFree=1715248/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35412 CPUtime=522.15 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8466 0 0 0 52205 10 0 0 25 0 1 0 270502489 36261888 8245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8853 8245 310 324 0 7923 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 35412 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.89 2/78 26290 /proc/meminfo: memFree=1715248/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35396 CPUtime=582.14 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8466 0 0 0 58203 11 0 0 25 0 1 0 270502489 36245504 8241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8849 8241 310 324 0 7919 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 35396 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.89 2/84 26446 /proc/meminfo: memFree=1714104/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35396 CPUtime=642.07 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8466 0 0 0 64194 13 0 0 25 0 1 0 270502489 36245504 8241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8849 8241 310 324 0 7919 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 35396 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715120/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35396 CPUtime=821.99 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8466 0 0 0 82185 14 0 0 25 0 1 0 270502489 36245504 8241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8849 8241 310 324 0 7919 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 35396 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715120/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35396 CPUtime=881.98 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8466 0 0 0 88183 15 0 0 25 0 1 0 270502489 36245504 8241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8849 8241 310 324 0 7919 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 35396 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715376/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35404 CPUtime=941.96 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8468 0 0 0 94181 15 0 0 25 0 1 0 270502489 36253696 8243 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8851 8243 310 324 0 7921 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 35404 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715440/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35404 CPUtime=1001.95 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8468 0 0 0 100179 16 0 0 25 0 1 0 270502489 36253696 8243 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8851 8243 310 324 0 7921 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 35404 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715376/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35404 CPUtime=1061.93 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8468 0 0 0 106177 16 0 0 25 0 1 0 270502489 36253696 8243 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8851 8243 310 324 0 7921 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 35404 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715376/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35524 CPUtime=1121.92 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8481 0 0 0 112175 17 0 0 25 0 1 0 270502489 36376576 8256 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8881 8256 310 324 0 7951 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 35524 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715376/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35488 CPUtime=1181.9 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8484 0 0 0 118173 17 0 0 25 0 1 0 270502489 36339712 8259 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10982200 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8872 8259 310 324 0 7942 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 35488 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715312/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35408 CPUtime=1241.89 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8484 0 0 0 124171 18 0 0 25 0 1 0 270502489 36257792 8244 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8852 8244 310 324 0 7922 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 35408 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715376/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35408 CPUtime=1301.87 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8484 0 0 0 130169 18 0 0 25 0 1 0 270502489 36257792 8244 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8852 8244 310 324 0 7922 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 35408 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715440/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35408 CPUtime=1361.86 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8484 0 0 0 136167 19 0 0 25 0 1 0 270502489 36257792 8244 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8852 8244 310 324 0 7922 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 35408 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715440/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35408 CPUtime=1421.84 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8484 0 0 0 142165 19 0 0 25 0 1 0 270502489 36257792 8244 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8852 8244 310 324 0 7922 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 35408 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715376/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35416 CPUtime=1481.83 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8486 0 0 0 148163 20 0 0 25 0 1 0 270502489 36265984 8246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10968655 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8854 8246 310 324 0 7924 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 35416 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715376/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35416 CPUtime=1541.81 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8486 0 0 0 154161 20 0 0 25 0 1 0 270502489 36265984 8246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8854 8246 310 324 0 7924 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 35416 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715376/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35416 CPUtime=1601.8 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8486 0 0 0 160159 21 0 0 25 0 1 0 270502489 36265984 8246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8854 8246 310 324 0 7924 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 35416 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715376/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35416 CPUtime=1661.78 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8486 0 0 0 166157 21 0 0 25 0 1 0 270502489 36265984 8246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8854 8246 310 324 0 7924 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 35416 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715376/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35416 CPUtime=1721.77 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8486 0 0 0 172155 22 0 0 25 0 1 0 270502489 36265984 8246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10966899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8854 8246 310 324 0 7924 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 35416 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715376/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35416 CPUtime=1781.75 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8486 0 0 0 178153 22 0 0 25 0 1 0 270502489 36265984 8246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8854 8246 310 324 0 7924 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 35416 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.91 2/78 26488 /proc/meminfo: memFree=1715376/2055920 swapFree=4149008/4192956 [pid=26289] ppid=26287 vsize=35416 CPUtime=1800.05 /proc/26289/stat : 26289 (bsolo3.0.17) R 26287 26289 26127 0 -1 4194304 8486 0 0 0 179983 22 0 0 25 0 1 0 270502489 36265984 8246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26289/statm: 8854 8246 310 324 0 7924 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 35416 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.62 CPU time (s): 1800.07 CPU user time (s): 1799.83 CPU system time (s): 0.234964 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 36208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.83 system time used= 0.234964 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8490 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= 12 involuntary context switches= 37501 runsolver used 1.46978 second user time and 3.73043 second system time The end
Begin job on node2 on Mon Apr 30 14:50:47 UTC 2007 IDJOB= 432538 IDBENCH= 1528 IDSOLVER= 199 FILE ID= node2/432538-1177944647 PBS_JOBID= 4727673 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432538-1177944647/instance-432538-1177944647.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-432538-1177944647 -o ROOT/results/node2/solver-432538-1177944647 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432538-1177944647/instance-432538-1177944647.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= fbf213ed65afe4e66abc3948eb02a29f RANDOM SEED= 845390860 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.234 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.234 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: 1747984 kB Buffers: 39476 kB Cached: 173184 kB SwapCached: 12692 kB Active: 111680 kB Inactive: 124528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1747984 kB SwapTotal: 4192956 kB SwapFree: 4149008 kB Dirty: 6680 kB Writeback: 0 kB Mapped: 30496 kB Slab: 57112 kB Committed_AS: 8413744 kB PageTables: 1860 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node2 on Mon Apr 30 15:20:50 UTC 2007