Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 21166 | 1800.01 | 1800.72 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/350600-1176524610/instance-350600-1176524610.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.023 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 5304 0.02 0.00/0.02 o 110865 0.024 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 126 513 308 20018 64 1824 3393 128 5250 0.02 0.00/0.04 c 226 513 408 28912 70 2039 3733 228 6457 0.04 0.00/0.04 o 107012 0.037 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 6189 0.04 0.00/0.04 o 106941 0.039 0.04/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.05 c 240 513 424 30413 71 2660 3393 244 6153 0.04 0.04/0.05 c 341 513 525 38588 73 2854 3733 345 6314 0.05 0.04/0.05 o 103901 0.055 0.04/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.06 c 342 513 527 38974 73 3116 3393 347 6107 0.06 0.04/0.06 o 103365 0.057 0.04/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.06 c 342 513 528 39256 74 3386 3393 348 6000 0.06 0.04/0.06 o 102638 0.059 0.04/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.06 c 353 513 540 40452 74 3690 3393 360 5883 0.06 0.04/0.06 o 97756 0.061 0.04/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.06 c 354 513 542 40739 75 3979 3393 362 5803 0.06 0.04/0.06 o 95566 0.062 0.04/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.06 c 354 513 543 41021 75 4259 3393 363 5709 0.06 0.04/0.06 o 95071 0.064 0.04/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.06 c 354 513 544 41303 75 4538 3393 364 5531 0.06 0.04/0.06 o 93228 0.065 0.04/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.07 c 355 513 546 41688 76 4821 3393 366 5378 0.07 0.04/0.07 o 91556 0.067 0.04/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.07 c 355 513 547 41970 76 5108 3393 367 5298 0.07 0.04/0.07 o 90774 0.068 0.04/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.07 c 355 513 548 42252 77 5386 3393 368 5144 0.07 0.04/0.07 o 90108 0.07 0.04/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.07 c 356 513 550 42590 77 5662 3393 370 5014 0.07 0.04/0.07 o 90092 0.075 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 5106 0.07 0.09/0.16 c 486 513 681 46911 68 6178 3733 501 5586 0.09 0.09/0.16 c 737 513 932 66137 70 6670 4107 752 4816 0.15 0.09/0.16 o 89989 0.165 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 781 513 977 69248 70 7079 3393 797 4704 0.17 0.09/0.17 o 88104 0.173 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 806 513 1003 71132 70 7328 3393 823 4658 0.17 0.09/0.18 o 86544 0.176 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 808 513 1006 71484 71 7632 3393 826 4590 0.18 0.09/0.18 o 82878 0.178 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 808 513 1007 71766 71 7912 3393 827 4539 0.18 0.09/0.18 o 79280 0.179 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 808 513 1008 72048 71 8194 3393 828 4488 0.18 0.09/0.18 o 75614 0.181 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 808 513 1009 72330 71 8474 3393 829 4439 0.18 0.09/0.18 o 72294 0.183 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 808 513 1010 72612 71 8761 3393 830 4415 0.18 0.09/0.18 o 69414 0.185 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 808 513 1011 72894 72 9043 3393 831 4367 0.18 0.09/0.19 o 69328 0.187 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 808 513 1012 73176 72 9328 3393 832 4297 0.19 0.09/0.19 o 66726 0.189 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 808 513 1013 73458 72 9608 3393 833 4252 0.19 0.09/0.19 o 65609 0.192 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 809 513 1015 73796 72 9884 3393 835 4213 0.19 0.09/0.19 o 63629 0.195 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 812 513 1019 74245 72 10161 3393 839 4142 0.20 0.19/0.20 o 62811 0.203 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 830 513 1038 75488 72 10532 3393 858 4088 0.20 0.19/0.21 o 62505 0.211 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 866 513 1075 76907 71 10872 3393 895 4104 0.21 0.19/0.21 o 61050 0.215 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 870 513 1080 77301 71 11150 3393 900 4046 0.21 0.19/0.22 o 59814 0.217 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 870 513 1081 77583 71 11436 3393 901 4009 0.22 0.19/0.22 o 58436 0.219 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 870 513 1082 77865 71 11717 3393 902 3972 0.22 0.19/0.22 o 58031 0.221 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 872 513 1085 78325 72 12005 3393 905 3945 0.22 0.19/0.22 o 56544 0.223 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 872 513 1086 78607 72 12283 3393 906 3892 0.22 0.19/0.22 o 55240 0.225 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 873 513 1088 78933 72 12568 3393 908 3862 0.23 0.19/0.23 o 55096 0.227 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 873 513 1089 79215 72 12846 3393 909 3828 0.23 0.19/0.23 o 54681 0.232 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 879 513 1096 79897 72 13140 3393 916 3788 0.23 0.39/0.44 c 980 513 1197 89135 74 13389 3733 1017 3563 0.28 0.39/0.44 c 1230 513 1447 111878 77 13817 4107 1267 2928 0.42 0.39/0.44 o 54047 0.445 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 1294 513 1512 115334 76 14205 3393 1332 2907 0.45 0.59/0.67 c 1398 513 1616 124373 76 14442 3733 1436 2801 0.50 0.59/0.67 c 1652 513 1870 142485 76 14969 4107 1690 2529 0.65 0.59/0.67 o 53154 0.672 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 1687 513 1906 145621 76 15176 3393 1726 2510 0.67 0.89/0.92 c 1787 513 2006 152178 75 15499 3733 1826 2447 0.73 0.89/0.92 c 2037 513 2256 179406 79 16048 4107 2076 2374 0.86 0.89/0.92 o 52596 0.916 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 2161 513 2381 189470 79 16490 3393 2201 2356 0.92 0.89/0.99 c 2261 513 2481 204259 82 16731 3733 2301 2333 0.97 0.89/0.99 o 51717 0.991 1.69/1.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.75 c 2296 513 2517 207133 82 17042 3393 2337 2316 0.99 1.69/1.75 c 2396 513 2617 210294 80 17337 3733 2437 2319 1.03 1.69/1.75 c 2647 513 2868 217043 75 17823 4107 2688 2399 1.10 1.69/1.75 c 3124 513 3345 236286 70 18766 4518 3165 2442 1.28 1.69/1.75 o 51630 1.749 1.69/1.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.76 c 3763 513 3985 293026 73 20311 3393 3805 2150 1.75 1.69/1.76 o 51547 1.765 1.69/1.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.77 c 3767 513 1884 117117 62 4997 3393 1704 2134 1.76 1.69/1.77 o 50371 1.767 1.69/1.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.79 c 3777 513 1895 118363 62 5301 3393 1715 2137 1.77 1.69/1.79 c 3878 513 1996 128020 64 5504 3733 1816 2173 1.78 1.69/1.79 o 50203 1.788 1.88/1.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.88/1.93 c 3890 513 2009 129387 64 5799 3393 1829 2175 1.79 1.88/1.93 c 3993 513 2112 134739 63 5992 3733 1932 2209 1.81 1.88/1.93 c 4244 513 2363 153337 64 6509 4107 2183 2302 1.84 1.88/1.93 c 4719 513 2838 225340 79 7472 4518 2658 2453 1.92 1.88/1.93 o 49231 1.928 2.09/2.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.10 c 4736 513 2856 227593 79 7777 3393 2676 2456 1.93 2.09/2.10 c 4837 513 2957 234932 79 7968 3733 2777 2485 1.95 2.09/2.10 c 5087 513 3207 255190 79 8487 4107 3027 2561 1.99 2.09/2.10 c 5563 513 3683 311815 84 9433 4518 3503 2651 2.10 2.09/2.10 o 48125 2.102 4.79/4.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.89 c 5568 513 3689 312379 84 9723 3393 3509 2648 2.10 4.79/4.89 c 5668 513 1979 192752 97 4892 3733 1799 2671 2.12 4.79/4.89 c 5918 513 2229 207623 93 5389 4107 2049 2733 2.17 4.79/4.89 c 6393 513 2704 234310 86 6354 4518 2524 2840 2.25 4.79/4.89 c 7207 513 3518 293254 83 7974 4970 3338 2992 2.41 4.79/4.89 c 8527 513 4838 491675 101 10624 5468 4658 3101 2.75 4.79/4.89 c 10610 513 3676 382158 103 8291 6015 3496 3363 3.15 4.79/4.89 c 13833 513 3391 570794 168 7737 6617 3211 2832 4.88 4.79/4.89 o 47736 4.894 4.99/5.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.04 c 13885 513 3444 576509 167 8093 3393 3264 2836 4.89 4.99/5.04 c 13985 513 3544 587359 165 8319 3733 3364 2846 4.91 4.99/5.04 c 14235 513 3794 629565 165 8809 4107 3614 2852 4.99 4.99/5.04 o 47079 5.041 4.99/5.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.09 c 14427 513 3987 658245 165 9480 3393 3807 2861 5.04 4.99/5.09 c 14529 513 1981 276092 139 4904 3733 1801 2864 5.07 4.99/5.09 o 46134 5.086 7.59/7.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.59/7.68 c 14602 513 2055 286710 139 5345 3393 1875 2871 5.09 7.59/7.68 c 14702 513 2155 297590 138 5533 3733 1975 2881 5.10 7.59/7.68 c 14953 513 2406 316245 131 6027 4107 2226 2912 5.13 7.59/7.68 c 15430 513 2883 338439 117 6966 4518 2703 2972 5.19 7.59/7.68 c 16243 513 3696 404923 109 8614 4970 3516 3019 5.38 7.59/7.68 c 17565 513 5018 505157 100 11257 5468 4838 3126 5.62 7.59/7.68 c 19646 513 3871 436909 112 8692 6015 3691 3044 6.45 7.59/7.68 c 22871 513 3632 475525 130 8209 6617 3452 2987 7.66 7.59/7.68 o 45755 7.677 7.69/7.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.69/7.74 c 22949 513 3711 483040 130 8640 3393 3531 2989 7.68 7.69/7.74 c 23050 513 1980 239621 121 4907 3733 1800 2991 7.71 7.69/7.74 c 23300 513 2230 259132 116 5394 4107 2050 3013 7.73 7.69/7.74 o 45712 7.737 7.69/7.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.69/7.77 c 23340 513 2271 262177 115 5768 3393 2091 3016 7.74 7.69/7.77 c 23440 513 2371 275906 116 5969 3733 2191 3021 7.76 7.69/7.77 o 45059 7.771 10.48/10.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.48/10.50 c 23527 513 2459 282682 114 6428 3393 2279 3027 7.77 10.48/10.50 c 23627 513 2559 293355 114 6623 3733 2379 3031 7.79 10.48/10.50 c 23877 513 2809 314215 111 7132 4107 2629 3048 7.83 10.48/10.50 c 24352 513 3284 383932 116 8073 4518 3104 3058 7.96 10.48/10.50 c 25165 513 4097 448344 109 9688 4970 3917 3099 8.12 10.48/10.50 c 26487 513 2667 271405 101 6286 5468 2487 3082 8.59 10.48/10.50 c 28568 513 4748 488700 102 10448 6015 4568 3179 8.98 10.48/10.50 c 31791 513 4456 441672 99 9863 6617 4276 3036 10.47 10.48/10.50 o 44804 10.5 10.58/10.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.58/10.66 c 31977 513 4643 459709 99 10508 3393 4463 3045 10.50 10.58/10.66 c 32080 513 1982 185501 93 4916 3733 1802 3043 10.54 10.58/10.66 c 32330 513 2232 204473 91 5394 4107 2052 3057 10.57 10.58/10.66 c 32805 513 2707 253169 93 6353 4518 2527 3079 10.65 10.58/10.66 o 43697 10.66 11.58/11.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.58/11.61 c 32839 513 2742 255604 93 6699 3393 2562 3080 10.66 11.58/11.61 c 32941 513 2844 271034 95 6904 3733 2664 3082 10.69 11.58/11.61 c 33192 513 3095 293731 94 7426 4107 2915 3092 10.73 11.58/11.61 c 33670 513 3573 353027 98 8371 4518 3393 3098 10.87 11.58/11.61 c 34483 513 4386 421711 96 9970 4970 4206 3127 11.02 11.58/11.61 c 35804 513 2738 308060 112 6434 5468 2558 3119 11.48 11.58/11.61 o 43508 11.606 11.58/11.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.58/11.61 c 36406 513 3341 401624 120 7918 3393 3161 3136 11.61 11.58/11.61 o 42983 11.61 11.69/11.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.69/11.79 c 36417 513 3353 402893 120 8207 3393 3173 3136 11.61 11.69/11.79 c 36519 513 3455 411358 119 8408 3733 3275 3140 11.63 11.69/11.79 c 36769 513 3705 429072 115 8903 4107 3525 3152 11.66 11.69/11.79 c 37244 513 4180 496214 118 9860 4518 4000 3160 11.78 11.69/11.79 o 42739 11.787 11.79/11.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.79/11.82 c 37251 513 4188 496956 118 10137 3393 4008 3160 11.79 11.79/11.82 c 37352 513 1980 229825 116 4894 3733 1800 3162 11.81 11.79/11.82 o 42651 11.819 11.79/11.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.79/11.85 c 37382 513 2011 233687 116 5244 3393 1831 3162 11.82 11.79/11.85 c 37483 513 2112 246127 116 5446 3733 1932 3167 11.84 11.79/11.85 o 41554 11.848 29.58/29.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.58/29.63 c 37598 513 2228 253621 113 5957 3393 2048 3173 11.85 29.58/29.63 c 37700 513 2330 260244 111 6167 3733 2150 3177 11.86 29.58/29.63 c 37951 513 2581 278000 107 6668 4107 2401 3188 11.90 29.58/29.63 c 38426 513 3056 326428 106 7611 4518 2876 3197 12.02 29.58/29.63 c 39239 513 3869 432836 111 9250 4970 3689 3217 12.20 29.58/29.63 c 40560 513 5190 599359 115 11887 5468 5010 3207 12.64 29.58/29.63 c 42642 513 4052 451081 111 9052 6015 3872 3205 13.30 29.58/29.63 c 45866 513 3792 497185 131 8520 6617 3612 3122 14.69 29.58/29.63 c 50802 513 4961 728708 146 10872 7279 4781 3025 16.79 29.58/29.63 c 58309 513 4299 530257 123 9533 8007 4119 2793 20.88 29.58/29.63 c 69671 513 6826 772091 113 14585 8808 6646 2462 28.30 29.58/29.63 o 41266 29.62 29.78/29.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.78/29.83 c 73399 513 5687 633818 111 12579 3393 5507 2478 29.62 29.78/29.83 c 73499 513 1979 215748 109 4899 3733 1799 2478 29.66 29.78/29.83 c 73749 513 2229 231348 103 5402 4107 2049 2483 29.70 29.78/29.83 c 74226 513 2706 304943 112 6361 4518 2526 2490 29.81 29.78/29.83 o 40639 29.823 29.78/29.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.78/29.89 c 74397 513 2878 317196 110 6964 3393 2698 2494 29.82 29.78/29.89 c 74499 513 2980 333019 111 7201 3733 2800 2495 29.85 29.78/29.89 o 39602 29.884 35.18/35.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.18/35.24 c 74645 513 3127 345871 110 7751 3393 2947 2497 29.88 35.18/35.24 c 74745 513 3227 356406 110 7956 3733 3047 2498 29.91 35.18/35.24 c 74999 513 3481 383994 110 8461 4107 3301 2501 29.99 35.18/35.24 c 75478 513 3960 433271 109 9422 4518 3780 2509 30.07 35.18/35.24 c 76291 513 2441 213976 87 5810 4970 2261 2520 30.26 35.18/35.24 c 77613 513 3763 392882 104 8476 5468 3583 2536 30.60 35.18/35.24 c 79694 513 2916 272371 93 6771 6015 2736 2546 31.30 35.18/35.24 c 82917 513 6139 534480 87 13233 6617 5959 2576 32.18 35.18/35.24 c 87854 513 3491 420610 120 7921 7279 3311 2494 35.22 35.18/35.24 o 39192 35.223 46.86/46.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 46.86/46.94 c 87904 513 3542 424334 119 8300 3393 3362 2495 35.22 46.86/46.94 c 88005 513 1879 188173 100 4696 3733 1699 2495 35.26 46.86/46.94 c 88257 513 2131 211662 99 5204 4107 1951 2500 35.30 46.86/46.94 c 88732 513 2606 269636 103 6150 4518 2426 2507 35.39 46.86/46.94 c 89547 513 3421 346701 101 7785 4970 3241 2520 35.53 46.86/46.94 c 90868 513 4742 504367 106 10414 5468 4562 2529 35.92 46.86/46.94 c 92949 513 3606 345600 95 8135 6015 3426 2557 36.35 46.86/46.94 c 96172 513 3347 401907 120 7633 6617 3167 2529 38.02 46.86/46.94 c 101109 513 4480 503777 112 9892 7279 4300 2511 40.25 46.86/46.94 c 108616 513 3822 607903 159 8603 8007 3642 2485 43.69 46.86/46.94 o 38859 46.922 314.96/315.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 314.96/315.11 c 115446 513 6142 658445 107 13514 3393 5962 2460 46.92 314.96/315.11 c 115546 513 1979 199686 100 4907 3733 1799 2459 46.97 314.96/315.11 c 115796 513 2229 225686 101 5381 4107 2049 2463 47.01 314.96/315.11 c 116271 513 2704 271189 100 6352 4518 2524 2469 47.09 314.96/315.11 c 117084 513 3517 346470 98 7961 4970 3337 2478 47.23 314.96/315.11 c 118405 513 4838 499541 103 10624 5468 4658 2488 47.59 314.96/315.11 c 120486 513 3704 375959 101 8347 6015 3524 2502 48.14 314.96/315.11 c 123709 513 3443 380018 110 7832 6617 3263 2498 49.51 314.96/315.11 c 128647 513 4580 479912 104 10090 7279 4400 2500 51.45 314.96/315.11 c 136155 513 3879 473334 122 8705 8007 3699 2446 55.66 314.96/315.11 c 147516 513 6289 940137 149 13512 8808 6109 2215 66.57 314.96/315.11 c 164663 513 8996 1586921 176 18945 9689 8816 1965 83.80 314.96/315.11 c 190484 513 8378 1322860 157 17705 10658 8198 1687 112.91 314.96/315.11 c 229316 513 6968 946220 135 14892 11724 6788 1446 158.48 314.96/315.11 c 287670 513 8446 1050110 124 17845 12897 8266 1204 238.88 314.96/315.11 o 38832 314.987 316.17/316.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 316.17/316.32 c 333882 512 6632 1119696 168 14181 3391 6452 1059 315.15 316.17/316.32 c 333983 512 1980 253408 127 4908 3731 1800 1059 315.22 316.17/316.32 c 334234 512 2231 275734 123 5412 4105 2051 1060 315.26 316.17/316.32 c 334712 512 2709 316528 116 6353 4516 2529 1061 315.35 316.17/316.32 c 335527 512 3524 395913 112 7997 4968 3344 1063 315.49 316.17/316.32 c 336847 512 4844 562163 116 10629 5465 4664 1066 315.82 316.17/316.32 o 37787 316.189 316.17/316.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 316.17/316.38 c 338505 512 3445 322571 93 8110 3391 3265 1070 316.19 316.17/316.38 c 338605 512 3545 327892 92 8310 3731 3365 1070 316.21 316.17/316.38 o 37169 316.25 425.72/425.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 425.72/425.90 c 338735 512 3676 340157 92 8852 3391 3496 1071 316.25 425.72/425.90 c 338836 512 1980 142956 72 4896 3731 1800 1071 316.27 425.72/425.90 c 339086 512 2230 165086 74 5407 4105 2050 1071 316.32 425.72/425.90 c 339561 512 2705 205489 75 6352 4516 2525 1073 316.38 425.72/425.90 c 340374 512 3518 279027 79 7959 4968 3338 1075 316.54 425.72/425.90 c 341698 512 4842 425771 87 10630 5465 4662 1078 316.88 425.72/425.90 c 343784 512 3723 376057 101 8374 6012 3543 1082 317.49 425.72/425.90 c 347008 512 3513 380038 108 7979 6614 3333 1088 318.81 425.72/425.90 c 351944 512 4665 441177 94 10267 7276 4485 1097 320.57 425.72/425.90 c 359451 512 4005 421286 105 8973 8004 3825 1106 324.81 425.72/425.90 c 370814 512 6743 976346 144 14434 8805 6563 1119 331.18 425.72/425.90 c 387958 512 4586 590790 128 10121 9686 4406 1117 347.30 425.72/425.90 c 413777 512 9275 1452076 156 19498 10655 9095 1112 372.08 425.72/425.90 c 452609 512 7774 1550936 199 16501 11721 7594 1064 425.15 425.72/425.90 o 36843 425.733 425.92/426.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 425.92/426.18 c 454412 512 9578 1740882 181 20379 3391 9398 1067 425.73 425.92/426.18 c 454513 512 1980 188018 94 4912 3731 1800 1067 425.87 425.92/426.18 c 454763 512 2230 214966 96 5408 4105 2050 1067 425.92 425.92/426.18 c 455238 512 2705 295736 109 6350 4516 2525 1068 425.99 425.92/426.18 o 33153 426.008 426.02/426.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 426.02/426.20 c 455317 512 2785 301520 108 6789 3391 2605 1068 426.01 426.02/426.20 c 455419 512 2887 314525 108 6979 3731 2707 1068 426.03 426.02/426.20 o 31815 426.03 426.02/426.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 426.02/426.20 c 455419 512 2888 314806 109 7269 3391 2708 1068 426.03 426.02/426.20 o 30734 426.035 426.22/426.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 426.22/426.43 c 455432 512 2902 316078 108 7577 3391 2722 1069 426.04 426.22/426.43 c 455532 512 3002 329640 109 7784 3731 2822 1069 426.06 426.22/426.43 c 455782 512 3252 357941 110 8285 4105 3072 1069 426.11 426.22/426.43 c 456257 512 3727 427556 114 9214 4516 3547 1070 426.24 426.22/426.43 o 27811 426.261 426.42/426.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 426.42/426.61 c 456359 512 3830 438830 114 9695 3391 3650 1070 426.26 426.42/426.61 c 456459 512 1979 239810 121 4880 3731 1799 1070 426.29 426.42/426.61 c 456714 512 2234 269667 120 5392 4105 2054 1071 426.35 426.42/426.61 c 457189 505 2709 314435 116 6352 4516 2529 1072 426.44 426.42/426.61 o 25202 426.444 518.88/519.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 518.88/519.16 c 457203 505 2724 315635 115 6646 3377 2544 1072 426.44 518.88/519.16 c 457303 505 2824 327634 116 6859 3715 2644 1072 426.47 518.88/519.16 c 457553 505 3074 364744 118 7352 4087 2894 1072 426.54 518.88/519.16 c 458032 505 3553 436347 122 8314 4496 3373 1073 426.67 518.88/519.16 c 458845 505 4366 547337 125 9942 4946 4186 1074 426.89 518.88/519.16 c 460165 505 2890 385280 133 6710 5441 2710 1076 427.52 518.88/519.16 c 462253 505 4978 756399 151 10878 5986 4798 1079 428.40 518.88/519.16 c 465476 505 4816 803553 166 10553 6585 4636 1081 430.24 518.88/519.16 c 470415 505 6024 812084 134 12977 7244 5844 1086 433.14 518.88/519.16 c 477923 505 5520 816490 147 11967 7969 5340 1089 438.49 518.88/519.16 c 489284 503 8106 1221448 150 17130 8766 7926 1092 447.78 518.88/519.16 c 506428 503 6134 810860 132 13205 9643 5954 1088 465.21 518.88/519.16 c 532247 502 5442 1148372 211 11810 10608 5262 1047 508.05 518.88/519.16 o 23697 518.955 549.17/549.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 549.17/549.41 c 544573 502 6383 1175380 184 13947 3371 6203 1049 518.96 549.17/549.41 c 544673 422 1979 260671 131 4866 3709 1799 1049 519.00 549.17/549.41 c 544924 422 2230 267782 120 5349 4080 2050 1049 519.04 549.17/549.41 c 545400 357 2706 296529 109 6328 4489 2526 1050 519.13 549.17/549.41 c 546213 357 3519 364840 103 7953 4938 3339 1051 519.27 549.17/549.41 c 547533 357 4839 460085 95 10598 5432 4659 1053 519.60 549.17/549.41 c 549618 357 3755 299357 79 8433 5976 3575 1056 520.22 549.17/549.41 c 552842 357 3629 315726 87 8170 6574 3449 1059 521.55 549.17/549.41 c 557778 357 4795 528191 110 10504 7232 4615 1065 523.37 549.17/549.41 c 565286 357 4132 501830 121 9185 7956 3952 1071 527.51 549.17/549.41 c 576647 357 6657 719496 108 14239 8752 6477 1078 534.56 549.17/549.41 c 593791 357 4573 490486 107 10063 9628 4393 1082 548.79 549.17/549.41 o 23518 549.194 581.26/581.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 581.26/581.59 c 595790 357 6573 671200 102 14192 3081 6393 1084 549.19 581.26/581.59 c 595890 357 1839 147496 80 4734 3390 1659 1084 549.25 581.26/581.59 c 596141 357 2090 167371 80 5227 3730 1910 1085 549.28 581.26/581.59 c 596616 357 2565 202744 79 6171 4104 2385 1086 549.35 581.26/581.59 c 597429 357 3378 294313 87 7807 4515 3198 1087 549.53 581.26/581.59 c 598750 357 4699 422201 89 10449 4967 4519 1088 549.84 581.26/581.59 c 600831 357 3927 362382 92 8903 5464 3747 1091 550.46 581.26/581.59 c 604054 357 4012 387682 96 9074 6011 3832 1095 551.60 581.26/581.59 c 608995 357 5607 664581 118 12261 6613 5427 1100 553.19 581.26/581.59 c 616501 357 5654 653516 115 12359 7275 5474 1105 557.51 581.26/581.59 c 627862 357 4861 543466 111 10765 8003 4681 1111 564.76 581.26/581.59 c 645006 357 4200 522366 124 9444 8804 4020 1109 581.35 581.26/581.59 o 22521 581.36 584.16/584.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 584.16/584.46 c 645055 357 4250 526668 123 9660 3623 4070 1109 581.36 584.16/584.46 c 645155 357 2110 221829 105 5258 3986 1930 1109 581.40 584.16/584.46 c 645405 354 2360 241334 102 5757 4385 2180 1110 581.44 584.16/584.46 c 645882 352 2837 285328 100 6716 4824 2657 1110 581.53 584.16/584.46 c 646698 350 3653 376700 103 8346 5307 3473 1111 581.76 584.16/584.46 c 648018 347 4973 488292 98 10985 5838 4793 1113 582.18 584.16/584.46 c 650099 344 3690 290850 78 8401 6422 3510 1115 583.04 584.16/584.46 c 653324 339 3425 303358 88 7871 7065 3245 1118 584.16 584.16/584.46 o 22342 584.235 594.36/594.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 594.36/594.68 c 653598 339 3700 324956 87 8527 3587 3520 1118 584.24 594.36/594.68 c 653698 339 3800 330545 86 8727 3946 3620 1118 584.25 594.36/594.68 c 653948 339 4050 348223 85 9224 4341 3870 1119 584.32 594.36/594.68 c 654423 335 4525 383742 84 10172 4776 4345 1119 584.47 594.36/594.68 c 655236 335 2604 191887 73 6209 5254 2424 1120 584.73 594.36/594.68 c 656558 335 3926 323624 82 8852 5780 3746 1122 585.08 594.36/594.68 c 658639 335 6007 501104 83 13018 6359 5827 1124 585.81 594.36/594.68 c 661865 335 5651 456017 80 12315 6995 5471 1127 586.85 594.36/594.68 c 666801 335 6721 590980 87 14461 7695 6541 1132 588.73 594.36/594.68 c 674310 335 5688 731118 128 12379 8465 5508 1135 593.63 594.36/594.68 o 21166 594.448 1799.99/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.99/1800.70 c 676200 335 7579 953639 125 16259 3579 7399 1137 594.45 1799.99/1800.70 c 676302 335 2112 221522 104 5227 3937 1932 1137 594.50 1799.99/1800.70 c 676552 334 2362 235954 99 5726 4331 2182 1137 594.54 1799.99/1800.70 c 677027 333 2837 276713 97 6673 4765 2657 1138 594.64 1799.99/1800.70 c 677840 333 3650 342012 93 8298 5242 3470 1139 594.84 1799.99/1800.70 c 679160 326 4970 435692 87 10923 5767 4790 1141 595.17 1799.99/1800.70 c 681241 325 3872 262232 67 8729 6344 3692 1143 595.95 1799.99/1800.70 c 684468 324 3630 246317 67 8248 6979 3450 1146 597.21 1799.99/1800.70 c 689404 323 4676 334852 71 10342 7677 4496 1150 599.22 1799.99/1800.70 c 696910 323 8010 589919 73 17009 8445 7830 1155 603.06 1799.99/1800.70 c 708275 323 5638 419628 74 12258 9290 5458 1159 610.90 1799.99/1800.70 c 725421 323 7721 700204 90 16447 10220 7541 1158 626.21 1799.99/1800.70 c 751240 323 5985 438557 73 12957 11243 5805 1142 657.54 1799.99/1800.70 c 790073 323 8809 769731 87 18609 12368 8629 1131 698.23 1799.99/1800.70 c 848426 318 8243 844856 102 17470 13605 8063 1098 772.39 1799.99/1800.70 c 936058 317 9795 1055894 107 20564 14966 9615 1036 903.07 1799.99/1800.70 c 1067610 317 7819 1220706 156 16619 16463 7639 951 1122.00 1799.99/1800.70 c 1265042 317 15296 1846387 120 31573 18110 15116 860 1469.73 1799.99/1800.70 c Resources Exceeded 1799.99/1800.70 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 1799.99/1800.70 v -x375 -x376 -x377 -x378 -x423 -x424 -x425 -x426 -x5 -x6 -x7 -x8 -x53 -x54 -x55 -x56 -x101 -x102 -x103 -x104 -x149 -x150 -x151 1799.99/1800.70 v -x152 -x193 -x194 -x195 -x196 -x236 -x237 -x238 -x239 -x283 -x284 -x285 -x286 -x331 -x332 -x333 -x334 -x379 -x380 -x381 -x382 1799.99/1800.70 v -x427 -x428 -x429 -x430 -x471 -x472 -x473 -x474 -x514 -x515 -x516 -x517 -x9 -x10 -x11 -x12 -x57 -x58 -x59 -x60 -x105 -x106 1799.99/1800.70 v -x107 -x108 -x153 -x154 -x155 -x156 -x197 -x198 -x199 -x200 -x240 -x241 -x242 -x243 -x287 -x288 -x289 -x290 -x335 -x336 -x337 1799.99/1800.70 v -x338 -x383 -x384 -x385 -x386 -x431 -x432 -x433 -x434 -x475 -x476 -x477 -x478 -x518 -x519 -x520 -x521 -x13 -x61 -x109 -x157 1799.99/1800.70 v -x201 -x244 -x291 -x339 -x387 -x435 -x479 -x522 -x14 -x15 -x16 -x62 -x63 -x64 -x110 -x111 -x112 -x158 -x159 -x160 -x202 -x203 1799.99/1800.70 v -x204 -x245 -x246 -x247 -x292 -x293 -x294 -x340 -x341 -x342 -x388 -x389 -x390 -x436 -x437 -x438 -x480 -x481 -x482 -x523 -x524 1799.99/1800.70 v -x525 -x17 -x18 -x19 -x20 -x65 -x66 -x67 -x68 -x113 -x114 -x115 -x116 -x161 -x162 -x163 -x164 -x205 -x206 -x207 -x208 -x248 1799.99/1800.70 v -x249 -x250 -x251 -x295 -x296 -x297 -x298 -x343 -x344 -x345 -x346 -x391 -x392 -x393 -x394 -x439 -x440 -x441 -x442 -x483 -x484 1799.99/1800.70 v -x485 -x486 -x526 -x527 -x528 -x529 -x209 -x210 -x211 -x252 -x253 -x254 -x487 -x488 -x489 -x530 -x531 -x532 -x21 -x22 -x23 1799.99/1800.70 v -x24 -x69 -x70 -x71 -x72 -x117 -x118 -x119 -x120 -x165 -x166 -x167 -x168 -x299 -x300 -x301 -x302 -x347 -x348 -x349 -x350 -x395 1799.99/1800.70 v -x396 -x397 -x398 -x443 -x444 -x445 -x446 -x25 -x26 -x27 -x73 -x74 -x75 x121 -x122 -x123 -x169 -x170 -x171 -x212 -x213 -x214 1799.99/1800.70 v x255 x256 -x257 -x303 -x304 -x305 -x351 -x352 -x353 x399 -x400 -x401 -x447 -x448 -x449 -x490 -x491 -x492 -x533 -x534 -x535 1799.99/1800.70 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 1799.99/1800.70 v x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 1799.99/1800.70 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x172 x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 1799.99/1800.70 v -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 1799.99/1800.70 v -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 1799.99/1800.70 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 x316 -x317 -x318 x319 1799.99/1800.70 v -x320 -x321 -x322 -x323 -x324 -x325 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 1799.99/1800.70 v -x369 -x370 -x371 -x372 -x373 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 1799.99/1800.70 v -x418 -x419 -x420 -x421 -x450 -x451 -x452 -x453 x454 -x455 -x456 x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 1799.99/1800.70 v -x467 -x468 -x469 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 1799.99/1800.70 v -x511 -x512 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 1799.99/1800.70 v -x555 -x48 -x96 -x144 x192 -x235 -x278 -x326 -x374 -x422 -x470 -x513 -x556 1799.99/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.99/1800.70 c 282 1444311 303515 2442271 15685 1666212 15505 802 1800.00 1799.99/1800.70 c Objective: 21166 1799.99/1800.70 s SATISFIABLE 1799.99/1800.70 c Total time: 1800 s
OK 21166
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-350600-1176524610 -o ROOT/results/node10/solver-350600-1176524610 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350600-1176524610/instance-350600-1176524610.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.93 1.02 1.02 3/77 5966 /proc/meminfo: memFree=1878232/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=11756 CPUtime=0 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 128498514 12038144 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9365268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 2939 335 281 324 0 2003 0 [startup+0.052758 s] /proc/loadavg: 0.93 1.02 1.02 3/77 5966 /proc/meminfo: memFree=1878232/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=4572 CPUtime=0.04 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 557 0 0 0 4 0 0 0 18 0 1 0 128498514 4681728 520 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 1143 520 312 324 0 212 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4572 [startup+0.101768 s] /proc/loadavg: 0.93 1.02 1.02 3/77 5966 /proc/meminfo: memFree=1878232/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=4832 CPUtime=0.09 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 629 0 0 0 9 0 0 0 18 0 1 0 128498514 4947968 592 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 1208 592 312 324 0 277 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4832 [startup+0.301811 s] /proc/loadavg: 0.93 1.02 1.02 3/77 5966 /proc/meminfo: memFree=1878232/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=5616 CPUtime=0.29 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 818 0 0 0 28 1 0 0 19 0 1 0 128498514 5750784 781 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 1404 781 312 324 0 473 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5616 [startup+0.701897 s] /proc/loadavg: 0.93 1.02 1.02 3/77 5966 /proc/meminfo: memFree=1878232/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=6392 CPUtime=0.69 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 1019 0 0 0 68 1 0 0 23 0 1 0 128498514 6545408 982 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134547827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 1598 982 312 324 0 667 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6392 [startup+1.50107 s] /proc/loadavg: 0.93 1.02 1.02 2/78 5967 /proc/meminfo: memFree=1874448/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=8088 CPUtime=1.49 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 1432 0 0 0 147 2 0 0 25 0 1 0 128498514 8282112 1395 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 2022 1395 312 324 0 1091 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8088 [startup+3.10141 s] /proc/loadavg: 0.93 1.02 1.02 2/78 5967 /proc/meminfo: memFree=1873040/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=12484 CPUtime=3.08 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 2532 0 0 0 305 3 0 0 25 0 1 0 128498514 12783616 2495 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 3121 2495 312 324 0 2190 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 12484 [startup+6.3011 s] /proc/loadavg: 0.94 1.02 1.02 2/78 5967 /proc/meminfo: memFree=1864784/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=16740 CPUtime=6.29 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 3612 0 0 0 624 5 0 0 25 0 1 0 128498514 17141760 3575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 4185 3575 312 324 0 3254 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16740 [startup+12.7015 s] /proc/loadavg: 0.94 1.02 1.02 2/78 5967 /proc/meminfo: memFree=1864784/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=16740 CPUtime=12.69 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 3612 0 0 0 1260 9 0 0 25 0 1 0 128498514 17141760 3575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 4185 3575 312 324 0 3254 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16740 [startup+25.5012 s] /proc/loadavg: 0.95 1.01 1.02 2/78 5967 /proc/meminfo: memFree=1862864/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=18680 CPUtime=25.48 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 4095 0 0 0 2535 13 0 0 25 0 1 0 128498514 19128320 4058 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 4670 4058 312 324 0 3739 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18680 [startup+51.1018 s] /proc/loadavg: 0.97 1.01 1.02 2/78 5967 /proc/meminfo: memFree=1862224/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=19328 CPUtime=51.07 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 4260 0 0 0 5085 22 0 0 25 0 1 0 128498514 19791872 4223 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 4832 4223 312 324 0 3901 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19328 [startup+102.306 s] /proc/loadavg: 0.98 1.01 1.02 2/78 5967 /proc/meminfo: memFree=1854352/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=27292 CPUtime=102.25 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 6233 0 0 0 10195 30 0 0 25 0 1 0 128498514 27947008 6196 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9336727 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 6823 6196 312 324 0 5892 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 27292 [startup+162.302 s] /proc/loadavg: 0.99 1.00 1.01 2/78 5967 /proc/meminfo: memFree=1854224/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=27296 CPUtime=162.22 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 6235 0 0 0 16183 39 0 0 25 0 1 0 128498514 27951104 6198 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 6824 6198 312 324 0 5893 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 27296 [startup+222.303 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5967 /proc/meminfo: memFree=1852432/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=29060 CPUtime=222.2 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 6676 0 0 0 22172 48 0 0 25 0 1 0 128498514 29757440 6639 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 7265 6639 312 324 0 6334 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 29060 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5967 /proc/meminfo: memFree=1846416/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=34932 CPUtime=282.17 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8146 0 0 0 28161 56 0 0 25 0 1 0 128498514 35770368 8109 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8733 8109 312 324 0 7802 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 34932 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5967 /proc/meminfo: memFree=1845776/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35440 CPUtime=342.15 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8287 0 0 0 34149 66 0 0 25 0 1 0 128498514 36290560 8250 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8860 8250 312 324 0 7929 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 35440 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5967 /proc/meminfo: memFree=1845712/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35440 CPUtime=402.12 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8287 0 0 0 40137 75 0 0 25 0 1 0 128498514 36290560 8250 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8860 8250 312 324 0 7929 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 35440 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5967 /proc/meminfo: memFree=1845456/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35412 CPUtime=462.11 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8470 0 0 0 46126 85 0 0 25 0 1 0 128498514 36261888 8247 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8853 8247 312 324 0 7922 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 35412 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1845264/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35412 CPUtime=522.09 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8470 0 0 0 52116 93 0 0 25 0 1 0 128498514 36261888 8247 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8853 8247 312 324 0 7922 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 35412 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1845264/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35396 CPUtime=582.06 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8470 0 0 0 58100 106 0 0 25 0 1 0 128498514 36245504 8243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8849 8243 312 324 0 7918 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 35396 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1845264/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35396 CPUtime=642.04 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8470 0 0 0 64085 119 0 0 25 0 1 0 128498514 36245504 8243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8849 8243 312 324 0 7918 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 35396 ################ # More data... # ################ /proc/meminfo: memFree=1844816/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35404 CPUtime=1061.88 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8472 0 0 0 106023 165 0 0 25 0 1 0 128498514 36253696 8245 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8851 8245 312 324 0 7920 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 35404 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1844752/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35524 CPUtime=1121.85 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8485 0 0 0 112015 170 0 0 25 0 1 0 128498514 36376576 8258 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8881 8258 312 324 0 7950 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 35524 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1844560/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35488 CPUtime=1181.83 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8488 0 0 0 118008 175 0 0 25 0 1 0 128498514 36339712 8261 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8872 8261 312 324 0 7941 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 35488 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1844496/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35408 CPUtime=1241.81 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8488 0 0 0 124000 181 0 0 25 0 1 0 128498514 36257792 8246 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134521208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8852 8246 312 324 0 7921 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 35408 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1844496/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35408 CPUtime=1301.79 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8488 0 0 0 129992 187 0 0 25 0 1 0 128498514 36257792 8246 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8852 8246 312 324 0 7921 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 35408 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1844496/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35408 CPUtime=1361.76 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8488 0 0 0 135985 191 0 0 25 0 1 0 128498514 36257792 8246 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8852 8246 312 324 0 7921 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 35408 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1844432/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35408 CPUtime=1421.74 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8488 0 0 0 141977 197 0 0 25 0 1 0 128498514 36257792 8246 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8852 8246 312 324 0 7921 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 35408 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1844368/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35416 CPUtime=1481.71 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8490 0 0 0 147968 203 0 0 25 0 1 0 128498514 36265984 8248 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8854 8248 312 324 0 7923 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 35416 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1844240/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35416 CPUtime=1541.69 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8490 0 0 0 153960 209 0 0 25 0 1 0 128498514 36265984 8248 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9338557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8854 8248 312 324 0 7923 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 35416 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1844176/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35416 CPUtime=1601.66 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8490 0 0 0 159952 214 0 0 25 0 1 0 128498514 36265984 8248 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9338408 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8854 8248 312 324 0 7923 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 35416 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1844112/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35416 CPUtime=1661.64 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8490 0 0 0 165945 219 0 0 25 0 1 0 128498514 36265984 8248 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8854 8248 312 324 0 7923 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 35416 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1844112/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35416 CPUtime=1721.61 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8490 0 0 0 171935 226 0 0 25 0 1 0 128498514 36265984 8248 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8854 8248 312 324 0 7923 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 35416 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1843984/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35416 CPUtime=1781.59 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8490 0 0 0 177926 233 0 0 25 0 1 0 128498514 36265984 8248 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527350 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8854 8248 312 324 0 7923 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 35416 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1843984/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35416 CPUtime=1791.19 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8490 0 0 0 178885 234 0 0 25 0 1 0 128498514 36265984 8248 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8854 8248 312 324 0 7923 0 Current children cumulated CPU time (s) 1791.19 Current children cumulated vsize (KiB) 35416 [startup+1795.1 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1843984/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35416 CPUtime=1794.4 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8490 0 0 0 179205 235 0 0 25 0 1 0 128498514 36265984 8248 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8854 8248 312 324 0 7923 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (KiB) 35416 [startup+1798.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1843984/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35416 CPUtime=1797.59 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8490 0 0 0 179524 235 0 0 25 0 1 0 128498514 36265984 8248 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8854 8248 312 324 0 7923 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (KiB) 35416 [startup+1799.9 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1843984/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35416 CPUtime=1799.19 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8490 0 0 0 179684 235 0 0 25 0 1 0 128498514 36265984 8248 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8854 8248 312 324 0 7923 0 Current children cumulated CPU time (s) 1799.19 Current children cumulated vsize (KiB) 35416 [startup+1800.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1843984/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35416 CPUtime=1799.59 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8490 0 0 0 179724 235 0 0 25 0 1 0 128498514 36265984 8248 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9334936 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8854 8248 312 324 0 7923 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (KiB) 35416 [startup+1800.71 s] /proc/loadavg: 0.99 1.00 1.00 2/78 5969 /proc/meminfo: memFree=1843984/2055920 swapFree=4166016/4192956 [pid=5966] ppid=5964 vsize=35416 CPUtime=1799.99 /proc/5966/stat : 5966 (bsolo3.0.16) R 5964 5966 5580 0 -1 4194304 8490 0 0 0 179764 235 0 0 25 0 1 0 128498514 36265984 8248 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5966/statm: 8854 8248 312 324 0 7923 0 Current children cumulated CPU time (s) 1799.99 Current children cumulated vsize (KiB) 35416 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.01 CPU user time (s): 1797.65 CPU system time (s): 2.36064 CPU usage (%): 99.9609 Max. virtual memory (cumulated for all children) (KiB): 36208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.65 system time used= 2.36064 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8491 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= 2523 runsolver used 2.14367 second user time and 4.21636 second system time The end
Begin job on node10 on Sat Apr 14 04:23:30 UTC 2007 IDJOB= 350600 IDBENCH= 1528 IDSOLVER= 163 FILE ID= node10/350600-1176524610 PBS_JOBID= 4556722 Free space on /tmp= 66556 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/350600-1176524610/instance-350600-1176524610.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-350600-1176524610 -o ROOT/results/node10/solver-350600-1176524610 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350600-1176524610/instance-350600-1176524610.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= fbf213ed65afe4e66abc3948eb02a29f RANDOM SEED= 124815975 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1878640 kB Buffers: 9788 kB Cached: 86736 kB SwapCached: 2824 kB Active: 66688 kB Inactive: 60748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1878640 kB SwapTotal: 4192956 kB SwapFree: 4166016 kB Dirty: 4496 kB Writeback: 0 kB Mapped: 38736 kB Slab: 35480 kB Committed_AS: 2193280 kB PageTables: 1708 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= 66556 MiB End job on node10 on Sat Apr 14 04:53:31 UTC 2007