Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.09 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3124 |
Best CPU time to get the best result obtained on this benchmark | 3.11852 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3695 |
Optimality of the best value was proved | NO |
Number of variables | 2756 |
Total number of constraints | 749 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 220 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 546 |
Number of terms in the objective function | 2166 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 321831 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 321831 |
Number of bits of the biggest sum of numbers | 19 |
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.01 c wbo 1.4 beta - 20100610 0.00/0.01 c Parsing opb file format. File HOME/instance-2680517-1277451713.opb. 0.00/0.01 c Instance file HOME/instance-2680517-1277451713.opb 0.00/0.01 c File size is 111983 bytes. 0.00/0.02 c Highest Coefficient sum: 21763 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 2756 | 0.00/0.02 c | Number Clauses: 132 | 0.00/0.02 c | Number Cardinality: 220 | 0.00/0.02 c | Number PB Constraints: 397 | 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 2741 749 8802 | 5000 0 nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 5653 0.02/0.04 o 5653 0.02/0.04 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 8 | 2741 750 10968 | 5000 8 464 | 0.000 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: 5489 0.02/0.06 o 5489 0.02/0.06 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 20 | 2160 751 13134 | 5000 20 497 | 0.000 % | 0.02/0.07 c =============================================================================== 0.02/0.07 c New solution: 5449 0.02/0.07 o 5449 0.02/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s 0.02/0.07 c =============================================================================== 0.02/0.07 c | 20 | 2160 752 15300 | 5000 20 497 | 0.000 % | 0.02/0.09 c =============================================================================== 0.02/0.09 c New solution: 5448 0.02/0.09 o 5448 0.02/0.09 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s 0.02/0.09 c =============================================================================== 0.02/0.09 c | 20 | 2160 753 17466 | 5000 20 497 | 0.000 % | 0.08/0.10 c =============================================================================== 0.08/0.10 c New solution: 5446 0.08/0.10 o 5446 0.08/0.10 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s 0.08/0.10 c =============================================================================== 0.08/0.10 c | 21 | 2160 754 19632 | 5000 21 473 | 0.000 % | 0.08/0.12 c =============================================================================== 0.08/0.12 c New solution: 5441 0.08/0.12 o 5441 0.08/0.12 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s 0.08/0.12 c =============================================================================== 0.08/0.12 c | 21 | 2160 755 21798 | 5000 21 473 | 0.000 % | 0.08/0.14 c =============================================================================== 0.08/0.14 c New solution: 5312 0.08/0.14 o 5312 0.08/0.14 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s 0.08/0.14 c =============================================================================== 0.08/0.14 c | 24 | 2160 756 23964 | 5000 24 453 | 0.000 % | 0.08/0.15 c =============================================================================== 0.08/0.15 c New solution: 5252 0.08/0.15 o 5252 0.08/0.15 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s 0.08/0.15 c =============================================================================== 0.08/0.15 c | 24 | 2160 757 26130 | 5000 24 453 | 0.000 % | 0.08/0.17 c =============================================================================== 0.08/0.17 c New solution: 5220 0.08/0.17 o 5220 0.08/0.17 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s 0.08/0.17 c =============================================================================== 0.08/0.17 c | 24 | 2160 758 28296 | 5000 24 453 | 0.000 % | 0.08/0.18 c =============================================================================== 0.08/0.18 c New solution: 5171 0.08/0.18 o 5171 0.08/0.18 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s 0.08/0.18 c =============================================================================== 0.08/0.18 c | 24 | 2160 759 30462 | 5000 24 453 | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 5161 0.19/0.20 o 5161 0.19/0.20 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 24 | 2160 760 32628 | 5000 24 453 | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 5123 0.19/0.22 o 5123 0.19/0.22 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 25 | 2160 761 34794 | 5000 25 436 | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 5109 0.19/0.24 o 5109 0.19/0.24 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 27 | 2160 762 36960 | 5000 27 405 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: 5085 0.19/0.25 o 5085 0.19/0.25 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 27 | 2160 763 39126 | 5000 27 405 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 5081 0.19/0.27 o 5081 0.19/0.27 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 27 | 2160 764 41292 | 5000 27 405 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 5065 0.19/0.29 o 5065 0.19/0.29 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 27 | 2160 765 43458 | 5000 27 405 | 0.000 % | 0.28/0.30 c =============================================================================== 0.28/0.30 c New solution: 5062 0.28/0.31 o 5062 0.28/0.31 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s 0.28/0.31 c =============================================================================== 0.28/0.31 c | 27 | 2160 766 45624 | 5000 27 405 | 0.000 % | 0.28/0.35 c =============================================================================== 0.28/0.35 c New solution: 5014 0.28/0.35 o 5014 0.28/0.35 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s 0.28/0.35 c =============================================================================== 0.28/0.35 c | 79 | 2160 767 47790 | 5000 79 482 | 0.000 % | 0.28/0.37 c =============================================================================== 0.28/0.37 c New solution: 5004 0.28/0.37 o 5004 0.28/0.37 c Elapsed CPU time: 0.351946 s Remaining CPU time: 179.648 s 0.28/0.37 c =============================================================================== 0.28/0.37 c | 82 | 2160 768 49956 | 5000 82 483 | 0.000 % | 0.28/0.39 c =============================================================================== 0.28/0.39 c New solution: 4792 0.28/0.39 o 4792 0.28/0.39 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s 0.28/0.39 c =============================================================================== 0.28/0.39 c | 85 | 2160 769 52122 | 5000 85 467 | 0.000 % | 0.38/0.40 c =============================================================================== 0.38/0.40 c New solution: 4790 0.38/0.40 o 4790 0.38/0.40 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s 0.38/0.40 c =============================================================================== 0.38/0.40 c | 85 | 2160 770 54288 | 5000 85 467 | 0.000 % | 0.38/0.42 c =============================================================================== 0.38/0.42 c New solution: 4445 0.38/0.42 o 4445 0.38/0.42 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s 0.38/0.42 c =============================================================================== 0.38/0.42 c | 85 | 2160 771 56454 | 5000 85 467 | 0.000 % | 0.38/0.44 c =============================================================================== 0.38/0.44 c New solution: 4438 0.38/0.44 o 4438 0.38/0.44 c Elapsed CPU time: 0.420936 s Remaining CPU time: 179.579 s 0.38/0.44 c =============================================================================== 0.38/0.44 c | 85 | 2160 772 58620 | 5000 85 467 | 0.000 % | 0.38/0.46 c =============================================================================== 0.38/0.46 c New solution: 4421 0.38/0.46 o 4421 0.38/0.46 c Elapsed CPU time: 0.439933 s Remaining CPU time: 179.56 s 0.38/0.46 c =============================================================================== 0.38/0.46 c | 85 | 2160 773 60786 | 5000 85 467 | 0.000 % | 0.38/0.48 c =============================================================================== 0.38/0.48 c New solution: 4415 0.38/0.48 o 4415 0.38/0.48 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s 0.38/0.48 c =============================================================================== 0.38/0.48 c | 85 | 2159 774 62952 | 5000 85 467 | 0.000 % | 0.48/0.50 c =============================================================================== 0.48/0.50 c New solution: 4408 0.48/0.50 o 4408 0.48/0.50 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s 0.48/0.50 c =============================================================================== 0.48/0.50 c | 85 | 2159 775 65118 | 5000 85 467 | 0.000 % | 0.48/0.52 c =============================================================================== 0.48/0.52 c New solution: 4407 0.48/0.52 o 4407 0.48/0.52 c Elapsed CPU time: 0.497924 s Remaining CPU time: 179.502 s 0.48/0.52 c =============================================================================== 0.48/0.52 c | 86 | 2159 776 67284 | 5000 86 463 | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c New solution: 4403 0.59/0.61 o 4403 0.59/0.61 c Elapsed CPU time: 0.58891 s Remaining CPU time: 179.411 s 0.59/0.61 c =============================================================================== 0.59/0.61 c | 159 | 2159 777 69450 | 5000 159 487 | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c New solution: 4402 0.59/0.69 o 4402 0.59/0.69 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s 0.59/0.69 c =============================================================================== 0.59/0.69 c | 217 | 2159 778 71616 | 5000 217 484 | 0.000 % | 0.69/0.79 c | 320 | 2159 778 71616 | 5500 320 495 | 21.662 % | 0.89/0.96 c | 470 | 2159 778 71616 | 6050 470 502 | 21.662 % | 1.29/1.34 c | 696 | 2159 778 71616 | 6655 696 506 | 21.662 % | 1.29/1.38 c =============================================================================== 1.29/1.38 c New solution: 4401 1.29/1.38 o 4401 1.29/1.38 c Elapsed CPU time: 1.35979 s Remaining CPU time: 178.64 s 1.29/1.38 c =============================================================================== 1.29/1.38 c | 712 | 2159 779 73782 | 5000 712 502 | 21.662 % | 1.39/1.45 c =============================================================================== 1.39/1.45 c New solution: 4400 1.39/1.45 o 4400 1.39/1.45 c Elapsed CPU time: 1.41978 s Remaining CPU time: 178.58 s 1.39/1.45 c =============================================================================== 1.39/1.45 c | 748 | 2159 780 75948 | 5000 748 496 | 21.662 % | 1.58/1.66 c | 848 | 2159 780 75948 | 5500 848 493 | 21.662 % | 1.68/1.73 c =============================================================================== 1.68/1.73 c New solution: 4399 1.68/1.73 o 4399 1.68/1.73 c Elapsed CPU time: 1.70674 s Remaining CPU time: 178.293 s 1.68/1.73 c =============================================================================== 1.68/1.73 c | 867 | 2159 781 78114 | 5000 867 485 | 21.662 % | 1.78/1.85 c | 967 | 2159 781 78114 | 5500 967 485 | 21.662 % | 1.88/1.98 c | 1118 | 2159 781 78114 | 6050 1118 481 | 21.662 % | 2.09/2.18 c | 1344 | 2159 781 78114 | 6655 1344 480 | 21.662 % | 2.48/2.51 c | 1681 | 2159 781 78114 | 7320 1681 479 | 21.662 % | 2.99/3.00 c | 2188 | 2159 781 78114 | 8052 2188 472 | 21.662 % | 4.29/4.35 c | 2947 | 2159 781 78114 | 8857 2947 411 | 21.662 % | 5.28/5.32 c | 4086 | 2159 781 78114 | 9743 4086 329 | 21.662 % | 5.28/5.38 c =============================================================================== 5.28/5.38 c New solution: 4277 5.28/5.38 o 4277 5.28/5.38 c Elapsed CPU time: 5.33619 s Remaining CPU time: 174.664 s 5.28/5.38 c =============================================================================== 5.28/5.38 c | 4117 | 2159 782 80280 | 5000 4117 330 | 21.662 % | 5.39/5.40 c =============================================================================== 5.39/5.40 c New solution: 4276 5.39/5.40 o 4276 5.39/5.40 c Elapsed CPU time: 5.36518 s Remaining CPU time: 174.635 s 5.39/5.40 c =============================================================================== 5.39/5.40 c | 4123 | 2159 783 82446 | 5000 4123 330 | 21.662 % | 5.39/5.44 c =============================================================================== 5.39/5.44 c New solution: 4234 5.39/5.44 o 4234 5.39/5.44 c Elapsed CPU time: 5.40118 s Remaining CPU time: 174.599 s 5.39/5.44 c =============================================================================== 5.39/5.44 c | 4131 | 2159 784 84612 | 5000 4131 330 | 21.662 % | 5.49/5.53 c | 4231 | 2159 784 84612 | 5500 4231 333 | 21.662 % | 5.59/5.65 c =============================================================================== 5.59/5.65 c New solution: 4232 5.59/5.65 o 4232 5.59/5.65 c Elapsed CPU time: 5.60415 s Remaining CPU time: 174.396 s 5.59/5.65 c =============================================================================== 5.59/5.65 c | 4298 | 2159 785 86778 | 5000 4298 335 | 21.662 % | 5.59/5.67 c =============================================================================== 5.59/5.67 c New solution: 4217 5.59/5.67 o 4217 5.59/5.67 c Elapsed CPU time: 5.62914 s Remaining CPU time: 174.371 s 5.59/5.67 c =============================================================================== 5.59/5.67 c | 4302 | 2159 786 88944 | 5000 4302 335 | 21.662 % | 5.69/5.70 c =============================================================================== 5.69/5.70 c New solution: 4199 5.69/5.70 o 4199 5.69/5.70 c Elapsed CPU time: 5.65314 s Remaining CPU time: 174.347 s 5.69/5.70 c =============================================================================== 5.69/5.70 c | 4305 | 2159 787 91110 | 5000 4305 335 | 21.662 % | 5.69/5.72 c =============================================================================== 5.69/5.72 c New solution: 4198 5.69/5.72 o 4198 5.69/5.72 c Elapsed CPU time: 5.67614 s Remaining CPU time: 174.324 s 5.69/5.72 c =============================================================================== 5.69/5.72 c | 4306 | 2159 788 93276 | 5000 4306 335 | 21.662 % | 5.69/5.75 c =============================================================================== 5.69/5.75 c New solution: 4196 5.69/5.75 o 4196 5.69/5.75 c Elapsed CPU time: 5.70213 s Remaining CPU time: 174.298 s 5.69/5.75 c =============================================================================== 5.69/5.75 c | 4311 | 2159 789 95442 | 5000 4311 335 | 21.662 % | 5.69/5.77 c =============================================================================== 5.69/5.77 c New solution: 4157 5.69/5.77 o 4157 5.69/5.77 c Elapsed CPU time: 5.72413 s Remaining CPU time: 174.276 s 5.69/5.77 c =============================================================================== 5.69/5.77 c | 4311 | 2159 790 97608 | 5000 4311 335 | 21.662 % | 5.78/5.80 c =============================================================================== 5.78/5.80 c New solution: 4143 5.78/5.80 o 4143 5.78/5.80 c Elapsed CPU time: 5.75012 s Remaining CPU time: 174.25 s 5.78/5.80 c =============================================================================== 5.78/5.80 c | 4312 | 2159 791 99774 | 5000 4312 335 | 21.662 % | 5.78/5.83 c =============================================================================== 5.78/5.83 c New solution: 4141 5.78/5.83 o 4141 5.78/5.83 c Elapsed CPU time: 5.78112 s Remaining CPU time: 174.219 s 5.78/5.83 c =============================================================================== 5.78/5.83 c | 4315 | 2159 792 101940 | 5000 4315 334 | 21.662 % | 5.78/5.86 c =============================================================================== 5.78/5.86 c New solution: 4136 5.78/5.86 o 4136 5.78/5.86 c Elapsed CPU time: 5.80812 s Remaining CPU time: 174.192 s 5.78/5.86 c =============================================================================== 5.78/5.86 c | 4318 | 2159 793 104106 | 5000 4318 334 | 21.662 % | 5.78/5.89 c =============================================================================== 5.78/5.89 c New solution: 4135 5.78/5.89 o 4135 5.78/5.89 c Elapsed CPU time: 5.83711 s Remaining CPU time: 174.163 s 5.78/5.89 c =============================================================================== 5.78/5.89 c | 4320 | 2159 794 106272 | 5000 4320 334 | 21.662 % | 5.89/5.92 c =============================================================================== 5.89/5.92 c New solution: 4134 5.89/5.92 o 4134 5.89/5.92 c Elapsed CPU time: 5.86411 s Remaining CPU time: 174.136 s 5.89/5.92 c =============================================================================== 5.89/5.92 c | 4321 | 2159 795 108438 | 5000 4321 334 | 21.662 % | 5.89/5.94 c =============================================================================== 5.89/5.94 c New solution: 4133 5.89/5.94 o 4133 5.89/5.94 c Elapsed CPU time: 5.8901 s Remaining CPU time: 174.11 s 5.89/5.94 c =============================================================================== 5.89/5.94 c | 4321 | 2159 796 110604 | 5000 4321 334 | 21.662 % | 6.09/6.19 c =============================================================================== 6.09/6.19 c New solution: 4132 6.09/6.19 o 4132 6.09/6.19 c Elapsed CPU time: 6.14207 s Remaining CPU time: 173.858 s 6.09/6.19 c =============================================================================== 6.09/6.19 c | 4406 | 2159 797 112770 | 5000 4406 336 | 21.662 % | 6.29/6.33 c | 4507 | 2159 797 112770 | 5500 4507 338 | 21.662 % | 6.50/6.50 c | 4657 | 2159 797 112770 | 6050 4657 340 | 21.662 % | 6.89/6.94 c | 4883 | 2159 797 112770 | 6655 4883 343 | 21.662 % | 8.18/8.25 c | 5220 | 2159 797 112770 | 7320 5220 350 | 21.662 % | 9.89/9.99 c | 5726 | 2159 797 112770 | 8052 5726 333 | 21.662 % | 9.98/10.02 c =============================================================================== 9.98/10.02 c New solution: 4110 9.98/10.02 o 4110 9.98/10.02 c Elapsed CPU time: 9.95849 s Remaining CPU time: 170.042 s 9.98/10.02 c =============================================================================== 9.98/10.02 c | 5728 | 2159 798 114936 | 5000 5728 333 | 21.662 % | 10.09/10.14 c | 5828 | 2159 798 114936 | 5500 2964 245 | 21.662 % | 10.29/10.38 c | 5978 | 2159 798 114936 | 6050 3114 248 | 21.662 % | 10.39/10.42 c =============================================================================== 10.39/10.42 c New solution: 3938 10.39/10.42 o 3938 10.39/10.42 c Elapsed CPU time: 10.3534 s Remaining CPU time: 169.647 s 10.39/10.42 c =============================================================================== 10.39/10.42 c | 5989 | 2159 799 117102 | 5000 3125 249 | 21.662 % | 10.39/10.49 c =============================================================================== 10.39/10.49 c New solution: 3933 10.39/10.49 o 3933 10.39/10.49 c Elapsed CPU time: 10.4244 s Remaining CPU time: 169.576 s 10.39/10.49 c =============================================================================== 10.39/10.49 c | 5999 | 2110 800 119268 | 5000 3135 249 | 21.662 % | 10.48/10.53 c =============================================================================== 10.48/10.53 c New solution: 3932 10.48/10.53 o 3932 10.48/10.53 c Elapsed CPU time: 10.4624 s Remaining CPU time: 169.538 s 10.48/10.53 c =============================================================================== 10.48/10.53 c | 6006 | 2110 801 121434 | 5000 3142 249 | 21.662 % | 10.48/10.57 c =============================================================================== 10.48/10.57 c New solution: 3930 10.48/10.57 o 3930 10.48/10.57 c Elapsed CPU time: 10.4974 s Remaining CPU time: 169.503 s 10.48/10.57 c =============================================================================== 10.48/10.57 c | 6006 | 2110 802 123600 | 5000 3142 249 | 21.662 % | 10.48/10.60 c =============================================================================== 10.48/10.60 c New solution: 3927 10.48/10.60 o 3927 10.48/10.60 c Elapsed CPU time: 10.5274 s Remaining CPU time: 169.473 s 10.48/10.60 c =============================================================================== 10.48/10.60 c | 6006 | 2110 803 125766 | 5000 3142 249 | 21.662 % | 10.58/10.62 c =============================================================================== 10.58/10.62 c New solution: 3925 10.58/10.62 o 3925 10.58/10.62 c Elapsed CPU time: 10.5554 s Remaining CPU time: 169.445 s 10.58/10.62 c =============================================================================== 10.58/10.62 c | 6006 | 2110 804 127932 | 5000 3142 249 | 21.662 % | 10.58/10.65 c =============================================================================== 10.58/10.65 c New solution: 3921 10.58/10.65 o 3921 10.58/10.65 c Elapsed CPU time: 10.5844 s Remaining CPU time: 169.416 s 10.58/10.65 c =============================================================================== 10.58/10.65 c | 6006 | 2110 805 130098 | 5000 3142 249 | 21.662 % | 10.58/10.69 c =============================================================================== 10.58/10.69 c New solution: 3917 10.58/10.69 o 3917 10.58/10.69 c Elapsed CPU time: 10.6134 s Remaining CPU time: 169.387 s 10.58/10.69 c =============================================================================== 10.58/10.69 c | 6006 | 2110 806 132264 | 5000 3142 249 | 21.662 % | 10.69/10.72 c =============================================================================== 10.69/10.72 c New solution: 3898 10.69/10.72 o 3898 10.69/10.72 c Elapsed CPU time: 10.6434 s Remaining CPU time: 169.357 s 10.69/10.72 c =============================================================================== 10.69/10.72 c | 6006 | 2110 807 134430 | 5000 3142 249 | 21.662 % | 10.69/10.75 c =============================================================================== 10.69/10.75 c New solution: 3877 10.69/10.75 o 3877 10.69/10.75 c Elapsed CPU time: 10.6744 s Remaining CPU time: 169.326 s 10.69/10.75 c =============================================================================== 10.69/10.75 c | 6006 | 2110 808 136596 | 5000 3142 249 | 21.662 % | 10.69/10.78 c =============================================================================== 10.69/10.78 c New solution: 3876 10.69/10.78 o 3876 10.69/10.78 c Elapsed CPU time: 10.7074 s Remaining CPU time: 169.293 s 10.69/10.78 c =============================================================================== 10.69/10.78 c | 6006 | 2110 809 138762 | 5000 3142 249 | 21.662 % | 10.78/10.82 c =============================================================================== 10.78/10.82 c New solution: 3875 10.78/10.82 o 3875 10.78/10.82 c Elapsed CPU time: 10.7414 s Remaining CPU time: 169.259 s 10.78/10.82 c =============================================================================== 10.78/10.82 c | 6006 | 2110 810 140928 | 5000 3142 249 | 21.662 % | 10.78/10.86 c =============================================================================== 10.78/10.86 c New solution: 3874 10.78/10.86 o 3874 10.78/10.86 c Elapsed CPU time: 10.7774 s Remaining CPU time: 169.223 s 10.78/10.86 c =============================================================================== 10.78/10.86 c | 6006 | 2110 811 143094 | 5000 3142 249 | 21.662 % | 10.78/10.89 c =============================================================================== 10.78/10.89 c New solution: 3872 10.78/10.89 o 3872 10.78/10.89 c Elapsed CPU time: 10.8134 s Remaining CPU time: 169.187 s 10.78/10.89 c =============================================================================== 10.78/10.89 c | 6006 | 2110 812 145260 | 5000 3142 249 | 21.662 % | 10.89/10.93 c =============================================================================== 10.89/10.93 c New solution: 3870 10.89/10.93 o 3870 10.89/10.93 c Elapsed CPU time: 10.8504 s Remaining CPU time: 169.15 s 10.89/10.93 c =============================================================================== 10.89/10.93 c | 6007 | 2110 813 147426 | 5000 3143 249 | 21.662 % | 10.89/10.97 c =============================================================================== 10.89/10.97 c New solution: 3869 10.89/10.97 o 3869 10.89/10.97 c Elapsed CPU time: 10.8903 s Remaining CPU time: 169.11 s 10.89/10.97 c =============================================================================== 10.89/10.97 c | 6009 | 2110 814 149592 | 5000 3145 249 | 21.662 % | 10.99/11.02 c =============================================================================== 10.99/11.02 c New solution: 3868 10.99/11.02 o 3868 10.99/11.02 c Elapsed CPU time: 10.9363 s Remaining CPU time: 169.064 s 10.99/11.02 c =============================================================================== 10.99/11.02 c | 6015 | 2110 815 151758 | 5000 3151 249 | 21.662 % | 10.99/11.06 c =============================================================================== 10.99/11.06 c New solution: 3865 10.99/11.06 o 3865 10.99/11.06 c Elapsed CPU time: 10.9783 s Remaining CPU time: 169.022 s 10.99/11.06 c =============================================================================== 10.99/11.06 c | 6018 | 2110 816 153924 | 5000 3154 249 | 21.662 % | 11.08/11.11 c =============================================================================== 11.08/11.11 c New solution: 3864 11.08/11.11 o 3864 11.08/11.11 c Elapsed CPU time: 11.0323 s Remaining CPU time: 168.968 s 11.08/11.11 c =============================================================================== 11.08/11.11 c | 6038 | 2110 817 156090 | 5000 3174 250 | 21.662 % | 11.08/11.15 c =============================================================================== 11.08/11.15 c New solution: 3861 11.08/11.15 o 3861 11.08/11.15 c Elapsed CPU time: 11.0713 s Remaining CPU time: 168.929 s 11.08/11.15 c =============================================================================== 11.08/11.15 c | 6042 | 2110 818 158256 | 5000 3178 250 | 21.662 % | 11.08/11.19 c =============================================================================== 11.08/11.19 c New solution: 3847 11.08/11.19 o 3847 11.08/11.19 c Elapsed CPU time: 11.1023 s Remaining CPU time: 168.898 s 11.08/11.19 c =============================================================================== 11.08/11.19 c | 6044 | 2110 819 160422 | 5000 3180 250 | 21.662 % | 11.19/11.24 c =============================================================================== 11.19/11.24 c New solution: 3840 11.19/11.24 o 3840 11.19/11.24 c Elapsed CPU time: 11.1503 s Remaining CPU time: 168.85 s 11.19/11.24 c =============================================================================== 11.19/11.24 c | 6051 | 2110 820 162588 | 5000 3187 250 | 21.662 % | 11.19/11.27 c =============================================================================== 11.19/11.27 c New solution: 3838 11.19/11.27 o 3838 11.19/11.27 c Elapsed CPU time: 11.1823 s Remaining CPU time: 168.818 s 11.19/11.27 c =============================================================================== 11.19/11.27 c | 6053 | 2110 821 164754 | 5000 3189 250 | 21.662 % | 11.28/11.35 c =============================================================================== 11.28/11.35 c New solution: 3833 11.28/11.35 o 3833 11.28/11.35 c Elapsed CPU time: 11.2603 s Remaining CPU time: 168.74 s 11.28/11.35 c =============================================================================== 11.28/11.35 c | 6078 | 2110 822 166920 | 5000 3214 252 | 21.662 % | 11.28/11.38 c =============================================================================== 11.28/11.38 c New solution: 3829 11.28/11.38 o 3829 11.28/11.38 c Elapsed CPU time: 11.2943 s Remaining CPU time: 168.706 s 11.28/11.38 c =============================================================================== 11.28/11.38 c | 6078 | 2110 823 169086 | 5000 3214 252 | 21.662 % | 11.38/11.42 c =============================================================================== 11.38/11.42 c New solution: 3828 11.38/11.42 o 3828 11.38/11.42 c Elapsed CPU time: 11.3343 s Remaining CPU time: 168.666 s 11.38/11.42 c =============================================================================== 11.38/11.42 c | 6079 | 2110 824 171252 | 5000 3215 252 | 21.662 % | 11.38/11.46 c =============================================================================== 11.38/11.46 c New solution: 3826 11.38/11.46 o 3826 11.38/11.46 c Elapsed CPU time: 11.3723 s Remaining CPU time: 168.628 s 11.38/11.46 c =============================================================================== 11.38/11.46 c | 6080 | 2110 825 173418 | 5000 3216 252 | 21.662 % | 11.48/11.50 c =============================================================================== 11.48/11.50 c New solution: 3823 11.48/11.50 o 3823 11.48/11.50 c Elapsed CPU time: 11.4063 s Remaining CPU time: 168.594 s 11.48/11.50 c =============================================================================== 11.48/11.50 c | 6085 | 2110 826 175584 | 5000 3221 252 | 21.662 % | 11.48/11.53 c =============================================================================== 11.48/11.53 c New solution: 3821 11.48/11.53 o 3821 11.48/11.53 c Elapsed CPU time: 11.4373 s Remaining CPU time: 168.563 s 11.48/11.53 c =============================================================================== 11.48/11.53 c | 6087 | 2110 827 177750 | 5000 3223 252 | 21.662 % | 11.48/11.57 c =============================================================================== 11.48/11.57 c New solution: 3812 11.48/11.57 o 3812 11.48/11.57 c Elapsed CPU time: 11.4703 s Remaining CPU time: 168.53 s 11.48/11.57 c =============================================================================== 11.48/11.57 c | 6087 | 2110 828 179916 | 5000 3223 252 | 21.662 % | 11.59/11.60 c =============================================================================== 11.59/11.60 c New solution: 3806 11.59/11.60 o 3806 11.59/11.60 c Elapsed CPU time: 11.5083 s Remaining CPU time: 168.492 s 11.59/11.60 c =============================================================================== 11.59/11.60 c | 6087 | 2110 829 182082 | 5000 3223 252 | 21.662 % | 11.59/11.64 c =============================================================================== 11.59/11.64 c New solution: 3805 11.59/11.64 o 3805 11.59/11.64 c Elapsed CPU time: 11.5452 s Remaining CPU time: 168.455 s 11.59/11.64 c =============================================================================== 11.59/11.64 c | 6087 | 2110 830 184248 | 5000 3223 252 | 21.662 % | 11.69/11.72 c =============================================================================== 11.69/11.72 c New solution: 3777 11.69/11.72 o 3777 11.69/11.72 c Elapsed CPU time: 11.6232 s Remaining CPU time: 168.377 s 11.69/11.72 c =============================================================================== 11.69/11.72 c | 6117 | 2110 831 186414 | 5000 3253 254 | 21.662 % | 11.69/11.77 c =============================================================================== 11.69/11.77 c New solution: 3776 11.69/11.77 o 3776 11.69/11.77 c Elapsed CPU time: 11.6742 s Remaining CPU time: 168.326 s 11.69/11.77 c =============================================================================== 11.69/11.77 c | 6121 | 2110 832 188580 | 5000 3257 254 | 21.662 % | 11.79/11.86 c =============================================================================== 11.79/11.86 c New solution: 3775 11.79/11.86 o 3775 11.79/11.86 c Elapsed CPU time: 11.7642 s Remaining CPU time: 168.236 s 11.79/11.86 c =============================================================================== 11.79/11.86 c | 6135 | 2110 833 190746 | 5000 3271 254 | 21.662 % | 11.89/11.91 c =============================================================================== 11.89/11.91 c New solution: 3774 11.89/11.91 o 3774 11.89/11.91 c Elapsed CPU time: 11.8132 s Remaining CPU time: 168.187 s 11.89/11.91 c =============================================================================== 11.89/11.91 c | 6138 | 2110 834 192912 | 5000 3274 255 | 21.662 % | 11.89/11.97 c =============================================================================== 11.89/11.97 c New solution: 3773 11.89/11.97 o 3773 11.89/11.97 c Elapsed CPU time: 11.8742 s Remaining CPU time: 168.126 s 11.89/11.97 c =============================================================================== 11.89/11.97 c | 6140 | 2110 835 195078 | 5000 3276 255 | 21.662 % | 11.99/12.02 c =============================================================================== 11.99/12.02 c New solution: 3772 11.99/12.02 o 3772 11.99/12.02 c Elapsed CPU time: 11.9272 s Remaining CPU time: 168.073 s 11.99/12.02 c =============================================================================== 11.99/12.02 c | 6144 | 2110 836 197244 | 5000 3280 255 | 21.662 % | 12.09/12.12 c =============================================================================== 12.09/12.12 c New solution: 3770 12.09/12.12 o 3770 12.09/12.12 c Elapsed CPU time: 12.0192 s Remaining CPU time: 167.981 s 12.09/12.12 c =============================================================================== 12.09/12.12 c | 6153 | 2110 837 199410 | 5000 3289 254 | 21.662 % | 12.38/12.40 c | 6254 | 2110 837 199410 | 5500 3390 262 | 23.440 % | 12.98/13.05 c | 6404 | 2110 837 199410 | 6050 3540 272 | 23.440 % | 13.98/14.04 c | 6630 | 2110 837 199410 | 6655 3766 284 | 23.440 % | 15.39/15.48 c | 6968 | 2110 837 199410 | 7320 4104 297 | 23.440 % | 16.99/17.04 c =============================================================================== 16.99/17.04 c New solution: 3769 16.99/17.04 o 3769 16.99/17.04 c Elapsed CPU time: 16.9354 s Remaining CPU time: 163.065 s 16.99/17.04 c =============================================================================== 16.99/17.04 c | 7242 | 2110 838 201576 | 5000 4378 300 | 23.440 % | 17.19/17.23 c | 7343 | 2110 838 201576 | 5500 4479 305 | 23.440 % | 17.89/17.99 c | 7495 | 2110 838 201576 | 6050 4631 304 | 23.440 % | 18.39/18.45 c | 7720 | 2110 838 201576 | 6655 4856 313 | 23.440 % | 19.79/19.87 c | 8057 | 2110 838 201576 | 7320 5193 317 | 23.440 % | 21.28/21.37 c | 8564 | 2110 838 201576 | 8052 5700 329 | 23.440 % | 24.68/24.72 c | 9323 | 2110 838 201576 | 8857 6459 337 | 23.440 % | 27.08/27.19 c | 10462 | 2110 838 201576 | 9743 7598 307 | 23.440 % | 31.79/31.84 c | 12172 | 2110 838 201576 | 10717 9308 332 | 23.440 % | 40.68/40.77 c | 14734 | 2110 838 201576 | 11789 11870 359 | 23.440 % | 57.08/57.13 c | 18579 | 2110 838 201576 | 12968 9219 419 | 23.440 % | 79.47/79.50 c | 24346 | 2110 838 201576 | 14265 7732 418 | 23.440 % | 116.56/116.61 c | 32996 | 2110 838 201576 | 15692 8488 402 | 23.440 % | 159.54/159.60 c | 45970 | 2110 838 201576 | 17261 12847 383 | 23.440 % | 180.34/180.44 c There are 646 assigned variables. 599 in cost function. 181.73/181.80 c core #1 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 9 Core Weight: 1 Total Weight: 1 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #2 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 8 Core Weight: 2 Total Weight: 3 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #3 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 10 Core Weight: 4 Total Weight: 7 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #4 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 9 Core Weight: 8 Total Weight: 15 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #5 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 829 Core Weight: 1 Total Weight: 16 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #6 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 802 Core Weight: 1 Total Weight: 17 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #7 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 787 Core Weight: 1 Total Weight: 18 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #8 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 763 Core Weight: 1 Total Weight: 19 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #9 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 710 Core Weight: 1 Total Weight: 20 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #10 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 150 Core Weight: 8 Total Weight: 28 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #11 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 145 Core Weight: 3 Total Weight: 31 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #12 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 139 Core Weight: 2 Total Weight: 33 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #13 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 138 Core Weight: 3 Total Weight: 36 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #14 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 133 Core Weight: 2 Total Weight: 38 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #15 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 129 Core Weight: 3 Total Weight: 41 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #16 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 126 Core Weight: 3 Total Weight: 44 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #17 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 123 Core Weight: 2 Total Weight: 46 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #18 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 120 Core Weight: 3 Total Weight: 49 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #19 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 119 Core Weight: 2 Total Weight: 51 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #20 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 115 Core Weight: 3 Total Weight: 54 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #21 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 114 Core Weight: 3 Total Weight: 57 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #22 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 113 Core Weight: 2 Total Weight: 59 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #23 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 112 Core Weight: 3 Total Weight: 62 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #24 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 111 Core Weight: 2 Total Weight: 64 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #25 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 110 Core Weight: 3 Total Weight: 67 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #26 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 106 Core Weight: 3 Total Weight: 70 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #27 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 105 Core Weight: 2 Total Weight: 72 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #28 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 104 Core Weight: 3 Total Weight: 75 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #29 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 101 Core Weight: 2 Total Weight: 77 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #30 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 99 Core Weight: 3 Total Weight: 80 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #31 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 97 Core Weight: 3 Total Weight: 83 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #32 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 93 Core Weight: 2 Total Weight: 85 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #33 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 91 Core Weight: 3 Total Weight: 88 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #34 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 87 Core Weight: 2 Total Weight: 90 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #35 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 86 Core Weight: 6 Total Weight: 96 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #36 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 85 Core Weight: 5 Total Weight: 101 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #37 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 82 Core Weight: 2 Total Weight: 103 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #38 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 843 Core Weight: 1 Total Weight: 104 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #39 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 813 Core Weight: 1 Total Weight: 105 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #40 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 786 Core Weight: 1 Total Weight: 106 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #41 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 738 Core Weight: 1 Total Weight: 107 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #42 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 714 Core Weight: 1 Total Weight: 108 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #43 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 734 Core Weight: 1 Total Weight: 109 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #44 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 709 Core Weight: 1 Total Weight: 110 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c core #45 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c Core size: 685 Core Weight: 1 Total Weight: 111 181.73/181.80 c 181.73/181.80 c 181.73/181.80 c ============================[ Search Statistics ]============================== 181.73/181.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.73/181.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.73/181.80 c =============================================================================== 181.73/181.80 c | 0 | 12714 14547 128197 | 5000 0 nan | 0.000 % | 181.73/181.82 c =============================================================================== 181.83/181.90 c core #46 181.83/181.90 c 181.83/181.90 c 181.83/181.90 c Core size: 660 Core Weight: 1 Total Weight: 112 181.83/181.90 c 181.83/181.90 c 181.83/181.90 c ============================[ Search Statistics ]============================== 181.83/181.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.83/181.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.83/181.90 c =============================================================================== 181.83/181.90 c | 0 | 13306 15115 129009 | 5038 0 nan | 0.000 % | 181.83/181.92 c =============================================================================== 181.93/182.01 c core #47 181.93/182.01 c 181.93/182.01 c 181.93/182.01 c Core size: 648 Core Weight: 1 Total Weight: 113 181.93/182.01 c 181.93/182.01 c 181.93/182.01 c ============================[ Search Statistics ]============================== 181.93/182.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.01 c =============================================================================== 181.93/182.01 c | 0 | 13891 15677 132994 | 5225 0 nan | 0.000 % | 181.93/182.03 c =============================================================================== 182.03/182.12 c core #48 182.03/182.12 c 182.03/182.12 c 182.03/182.12 c Core size: 636 Core Weight: 1 Total Weight: 114 182.03/182.12 c 182.03/182.12 c 182.03/182.12 c ============================[ Search Statistics ]============================== 182.03/182.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.12 c =============================================================================== 182.03/182.12 c | 0 | 14457 16234 136976 | 5411 0 nan | 0.000 % | 182.03/182.14 c =============================================================================== 182.13/182.23 c core #49 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c Core size: 269 Core Weight: 1 Total Weight: 115 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c ============================[ Search Statistics ]============================== 182.13/182.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.23 c =============================================================================== 182.13/182.23 c | 0 | 14724 16429 137670 | 5476 0 nan | 0.000 % | 182.13/182.25 c =============================================================================== 182.23/182.34 c core #50 182.23/182.34 c 182.23/182.34 c 182.23/182.34 c Core size: 648 Core Weight: 1 Total Weight: 116 182.23/182.34 c 182.23/182.34 c 182.23/182.34 c ============================[ Search Statistics ]============================== 182.23/182.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.34 c =============================================================================== 182.23/182.34 c | 0 | 15299 16997 144645 | 5665 0 nan | 0.000 % | 182.54/182.66 c =============================================================================== 182.63/182.76 c core #51 182.63/182.76 c 182.63/182.76 c 182.63/182.76 c Core size: 1036 Core Weight: 1 Total Weight: 117 182.63/182.76 c 182.63/182.76 c 182.63/182.76 c ============================[ Search Statistics ]============================== 182.63/182.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.63/182.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.63/182.76 c =============================================================================== 182.63/182.76 c | 0 | 16257 17647 155875 | 5882 0 nan | 0.000 % | 182.73/182.89 c =============================================================================== 182.83/182.99 c core #52 182.83/182.99 c 182.83/182.99 c 182.83/182.99 c Core size: 226 Core Weight: 1 Total Weight: 118 182.83/182.99 c 182.83/182.99 c 182.83/182.99 c ============================[ Search Statistics ]============================== 182.83/182.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.83/182.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.83/182.99 c =============================================================================== 182.83/182.99 c | 0 | 16480 17783 156363 | 5927 0 nan | 0.000 % | 183.03/183.16 c =============================================================================== 183.13/183.25 c core #53 183.13/183.25 c 183.13/183.25 c 183.13/183.25 c Core size: 304 Core Weight: 1 Total Weight: 119 183.13/183.25 c 183.13/183.25 c 183.13/183.25 c ============================[ Search Statistics ]============================== 183.13/183.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.25 c =============================================================================== 183.13/183.25 c | 0 | 16781 17976 157109 | 5992 0 nan | 0.000 % | 183.33/183.49 c =============================================================================== 183.43/183.59 c core #54 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 994 Core Weight: 1 Total Weight: 120 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c ============================[ Search Statistics ]============================== 183.43/183.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.43/183.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.43/183.59 c =============================================================================== 183.43/183.59 c | 0 | 17707 18654 160415 | 6218 0 nan | 0.000 % | 183.83/183.95 c | 100 | 17707 18654 160415 | 6839 100 154 | 10.021 % | 183.83/183.99 c =============================================================================== 183.93/184.09 c core #55 183.93/184.09 c 183.93/184.09 c 183.93/184.09 c Core size: 240 Core Weight: 1 Total Weight: 121 183.93/184.09 c 183.93/184.09 c 183.93/184.09 c ============================[ Search Statistics ]============================== 183.93/184.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.09 c =============================================================================== 183.93/184.09 c | 0 | 17943 18889 161131 | 6296 0 nan | 0.000 % | 184.23/184.35 c | 100 | 17943 18889 161131 | 6925 100 146 | 9.898 % | 184.23/184.36 c =============================================================================== 184.33/184.46 c core #56 184.33/184.46 c 184.33/184.46 c 184.33/184.46 c Core size: 176 Core Weight: 1 Total Weight: 122 184.33/184.46 c 184.33/184.46 c 184.33/184.46 c ============================[ Search Statistics ]============================== 184.33/184.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.33/184.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.33/184.46 c =============================================================================== 184.33/184.46 c | 0 | 18117 19061 161593 | 6353 0 nan | 0.000 % | 184.64/184.74 c | 100 | 18117 19061 161593 | 6989 100 151 | 9.812 % | 184.64/184.78 c =============================================================================== 184.74/184.87 c core #57 184.74/184.87 c 184.74/184.87 c 184.74/184.87 c Core size: 151 Core Weight: 2 Total Weight: 124 184.74/184.87 c 184.74/184.87 c 184.74/184.87 c ============================[ Search Statistics ]============================== 184.74/184.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.74/184.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.74/184.87 c =============================================================================== 184.74/184.87 c | 0 | 18267 19210 168339 | 6403 0 nan | 0.000 % | 185.23/185.34 c | 102 | 18267 19210 168339 | 7043 102 148 | 9.735 % | 185.33/185.45 c =============================================================================== 185.42/185.56 c core #58 185.42/185.56 c 185.42/185.56 c 185.42/185.56 c Core size: 921 Core Weight: 1 Total Weight: 125 185.42/185.56 c 185.42/185.56 c 185.42/185.56 c ============================[ Search Statistics ]============================== 185.42/185.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.42/185.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.42/185.56 c =============================================================================== 185.42/185.56 c | 0 | 19122 19832 173131 | 6610 0 nan | 0.000 % | 185.53/185.69 c =============================================================================== 185.63/185.80 c core #59 185.63/185.80 c 185.63/185.80 c 185.63/185.80 c Core size: 1128 Core Weight: 1 Total Weight: 126 185.63/185.80 c 185.63/185.80 c 185.63/185.80 c ============================[ Search Statistics ]============================== 185.63/185.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.63/185.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.63/185.80 c =============================================================================== 185.63/185.80 c | 0 | 20152 20562 175064 | 6854 0 nan | 0.000 % | 185.73/185.83 c =============================================================================== 185.83/185.94 c core #60 185.83/185.94 c 185.83/185.94 c 185.83/185.94 c Core size: 267 Core Weight: 1 Total Weight: 127 185.83/185.94 c 185.83/185.94 c 185.83/185.94 c ============================[ Search Statistics ]============================== 185.83/185.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.83/185.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.83/185.94 c =============================================================================== 185.83/185.94 c | 0 | 20417 20690 175735 | 6896 0 nan | 0.000 % | 186.03/186.14 c | 104 | 20417 20690 175735 | 7586 104 147 | 8.730 % | 186.03/186.17 c =============================================================================== 186.13/186.28 c core #61 186.13/186.28 c 186.13/186.28 c 186.13/186.28 c Core size: 439 Core Weight: 1 Total Weight: 128 186.13/186.28 c 186.13/186.28 c 186.13/186.28 c ============================[ Search Statistics ]============================== 186.13/186.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.13/186.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.13/186.28 c =============================================================================== 186.13/186.28 c | 0 | 20855 20886 176849 | 6962 0 nan | 0.000 % | 186.53/186.62 c | 101 | 20855 20886 176849 | 7658 101 222 | 8.563 % | 186.63/186.70 c =============================================================================== 186.73/186.82 c core #62 186.73/186.82 c 186.73/186.82 c 186.73/186.82 c Core size: 1062 Core Weight: 1 Total Weight: 129 186.73/186.82 c 186.73/186.82 c 186.73/186.82 c ============================[ Search Statistics ]============================== 186.73/186.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.73/186.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.73/186.82 c =============================================================================== 186.73/186.82 c | 0 | 21824 21496 178665 | 7165 0 nan | 0.000 % | 186.94/187.05 c | 101 | 21824 21496 178665 | 7881 101 231 | 8.179 % | 187.03/187.14 c =============================================================================== 187.13/187.25 c core #63 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c Core size: 970 Core Weight: 1 Total Weight: 130 187.13/187.25 c 187.13/187.25 c 187.13/187.25 c ============================[ Search Statistics ]============================== 187.13/187.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.13/187.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.13/187.25 c =============================================================================== 187.13/187.25 c | 0 | 22714 22063 180553 | 7354 0 nan | 0.000 % | 187.33/187.44 c | 101 | 22714 22063 180553 | 8089 101 457 | 7.835 % | 187.33/187.48 c =============================================================================== 187.43/187.59 c core #64 187.43/187.59 c 187.43/187.59 c 187.43/187.59 c Core size: 219 Core Weight: 1 Total Weight: 131 187.43/187.59 c 187.43/187.59 c 187.43/187.59 c ============================[ Search Statistics ]============================== 187.43/187.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.43/187.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.43/187.59 c =============================================================================== 187.43/187.59 c | 0 | 22930 22241 181120 | 7413 0 nan | 0.000 % | 187.94/188.03 c | 100 | 22930 22241 181120 | 8155 100 307 | 7.767 % | 187.94/188.07 c =============================================================================== 188.04/188.18 c core #65 188.04/188.18 c 188.04/188.18 c 188.04/188.18 c Core size: 251 Core Weight: 1 Total Weight: 132 188.04/188.18 c 188.04/188.18 c 188.04/188.18 c ============================[ Search Statistics ]============================== 188.04/188.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.04/188.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.04/188.18 c =============================================================================== 188.04/188.18 c | 0 | 23183 22361 182135 | 7453 0 nan | 0.000 % | 188.33/188.43 c | 103 | 23183 22361 182135 | 8199 103 203 | 7.671 % | 188.33/188.48 c =============================================================================== 188.42/188.59 c core #66 188.42/188.59 c 188.42/188.59 c 188.42/188.59 c Core size: 301 Core Weight: 1 Total Weight: 133 188.42/188.59 c 188.42/188.59 c 188.42/188.59 c ============================[ Search Statistics ]============================== 188.42/188.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.42/188.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.42/188.59 c =============================================================================== 188.42/188.59 c | 0 | 23482 22466 182731 | 7488 0 nan | 0.000 % | 188.83/188.92 c | 101 | 23482 22466 182731 | 8237 101 230 | 7.580 % | 188.92/189.00 c =============================================================================== 189.04/189.11 c core #67 189.04/189.11 c 189.04/189.11 c 189.04/189.11 c Core size: 1000 Core Weight: 1 Total Weight: 134 189.04/189.11 c 189.04/189.11 c 189.04/189.11 c ============================[ Search Statistics ]============================== 189.04/189.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.04/189.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.04/189.11 c =============================================================================== 189.04/189.11 c | 0 | 24426 23133 184720 | 7711 0 nan | 0.000 % | 189.23/189.36 c | 103 | 24426 23133 184720 | 8482 103 269 | 7.249 % | 189.33/189.41 c =============================================================================== 189.43/189.53 c core #68 189.43/189.53 c 189.43/189.53 c 189.43/189.53 c Core size: 217 Core Weight: 1 Total Weight: 135 189.43/189.53 c 189.43/189.53 c 189.43/189.53 c ============================[ Search Statistics ]============================== 189.43/189.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.43/189.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.43/189.53 c =============================================================================== 189.43/189.53 c | 0 | 24640 23287 185244 | 7762 0 nan | 0.000 % | 189.73/189.86 c | 120 | 24640 23287 185244 | 8538 120 404 | 7.190 % | 189.73/189.88 c =============================================================================== 189.82/189.99 c core #69 189.82/189.99 c 189.82/189.99 c 189.82/189.99 c Core size: 236 Core Weight: 1 Total Weight: 136 189.82/189.99 c 189.82/189.99 c 189.82/189.99 c ============================[ Search Statistics ]============================== 189.82/189.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.82/189.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.82/189.99 c =============================================================================== 189.82/189.99 c | 0 | 24874 23372 185670 | 7790 0 nan | 0.000 % | 190.13/190.27 c | 101 | 24874 23372 185670 | 8569 101 228 | 7.128 % | 190.23/190.32 c =============================================================================== 190.32/190.43 c core #70 190.32/190.43 c 190.32/190.43 c 190.32/190.43 c Core size: 175 Core Weight: 1 Total Weight: 137 190.32/190.43 c 190.32/190.43 c 190.32/190.43 c ============================[ Search Statistics ]============================== 190.32/190.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.32/190.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.32/190.43 c =============================================================================== 190.32/190.43 c | 0 | 25047 23508 186076 | 7836 0 nan | 0.000 % | 190.63/190.79 c | 101 | 25047 23508 186076 | 8619 101 264 | 7.082 % | 190.73/190.81 c =============================================================================== 190.83/190.92 c core #71 190.83/190.92 c 190.83/190.92 c 190.83/190.92 c Core size: 131 Core Weight: 1 Total Weight: 138 190.83/190.92 c 190.83/190.92 c 190.83/190.92 c ============================[ Search Statistics ]============================== 190.83/190.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.83/190.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.83/190.92 c =============================================================================== 190.83/190.92 c | 0 | 25176 23583 186272 | 7861 0 nan | 0.000 % | 191.02/191.10 c | 104 | 25176 23583 186272 | 8647 104 298 | 7.048 % | 191.12/191.22 c =============================================================================== 191.24/191.34 c core #72 191.24/191.34 c 191.24/191.34 c 191.24/191.34 c Core size: 144 Core Weight: 1 Total Weight: 139 191.24/191.34 c 191.24/191.34 c 191.24/191.34 c ============================[ Search Statistics ]============================== 191.24/191.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.24/191.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.24/191.34 c =============================================================================== 191.24/191.34 c | 0 | 25317 23713 186602 | 7904 0 nan | 0.000 % | 191.53/191.61 c | 104 | 25317 23713 186602 | 8694 104 204 | 7.012 % | 191.53/191.64 c =============================================================================== 191.62/191.75 c core #73 191.62/191.75 c 191.62/191.75 c 191.62/191.75 c Core size: 160 Core Weight: 1 Total Weight: 140 191.62/191.75 c 191.62/191.75 c 191.62/191.75 c ============================[ Search Statistics ]============================== 191.62/191.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.62/191.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.62/191.75 c =============================================================================== 191.62/191.75 c | 0 | 25475 23862 187004 | 7954 0 nan | 0.000 % | 191.93/192.08 c | 104 | 25475 23862 187004 | 8749 104 195 | 6.971 % | 192.03/192.10 c =============================================================================== 192.13/192.22 c core #74 192.13/192.22 c 192.13/192.22 c 192.13/192.22 c Core size: 125 Core Weight: 1 Total Weight: 141 192.13/192.22 c 192.13/192.22 c 192.13/192.22 c ============================[ Search Statistics ]============================== 192.13/192.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.13/192.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.13/192.22 c =============================================================================== 192.13/192.22 c | 0 | 25598 23933 187180 | 7977 0 nan | 0.000 % | 192.33/192.47 c | 103 | 25598 23933 187180 | 8775 103 264 | 6.940 % | 192.43/192.51 c =============================================================================== 192.53/192.63 c core #75 192.53/192.63 c 192.53/192.63 c 192.53/192.63 c Core size: 130 Core Weight: 1 Total Weight: 142 192.53/192.63 c 192.53/192.63 c 192.53/192.63 c ============================[ Search Statistics ]============================== 192.53/192.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.53/192.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.53/192.63 c =============================================================================== 192.53/192.63 c | 0 | 25729 24045 187895 | 8015 0 nan | 0.000 % | 192.82/192.96 c | 100 | 25729 24045 187895 | 8816 100 296 | 6.897 % | 193.02/193.16 c =============================================================================== 193.13/193.28 c core #76 193.13/193.28 c 193.13/193.28 c 193.13/193.28 c Core size: 180 Core Weight: 1 Total Weight: 143 193.13/193.28 c 193.13/193.28 c 193.13/193.28 c ============================[ Search Statistics ]============================== 193.13/193.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.13/193.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.13/193.28 c =============================================================================== 193.13/193.28 c | 0 | 25907 24126 188210 | 8042 0 nan | 0.000 % | 193.53/193.63 c | 102 | 25907 24126 188210 | 8846 102 187 | 6.853 % | 193.63/193.78 c =============================================================================== 193.72/193.89 c core #77 193.72/193.89 c 193.72/193.89 c 193.72/193.89 c Core size: 911 Core Weight: 1 Total Weight: 144 193.72/193.89 c 193.72/193.89 c 193.72/193.89 c ============================[ Search Statistics ]============================== 193.72/193.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.72/193.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.72/193.89 c =============================================================================== 193.72/193.89 c | 0 | 26755 24668 189909 | 8222 0 nan | 0.000 % | 194.03/194.12 c | 103 | 26755 24668 189909 | 9044 103 302 | 6.614 % | 194.13/194.28 c =============================================================================== 194.32/194.40 c core #78 194.32/194.40 c 194.32/194.40 c 194.32/194.40 c Core size: 219 Core Weight: 1 Total Weight: 145 194.32/194.40 c 194.32/194.40 c 194.32/194.40 c ============================[ Search Statistics ]============================== 194.32/194.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.32/194.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.32/194.40 c =============================================================================== 194.32/194.40 c | 0 | 26972 24757 190318 | 8252 0 nan | 0.000 % | 194.63/194.74 c | 101 | 26972 24757 190318 | 9077 101 411 | 6.565 % | 194.63/194.76 c =============================================================================== 194.73/194.88 c core #79 194.73/194.88 c 194.73/194.88 c 194.73/194.88 c Core size: 212 Core Weight: 1 Total Weight: 146 194.73/194.88 c 194.73/194.88 c 194.73/194.88 c ============================[ Search Statistics ]============================== 194.73/194.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.73/194.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.73/194.88 c =============================================================================== 194.73/194.88 c | 0 | 27182 24879 190779 | 8293 0 nan | 0.000 % | 194.93/195.06 c | 103 | 27182 24879 190779 | 9122 103 169 | 6.517 % | 195.03/195.12 c =============================================================================== 195.12/195.24 c core #80 195.12/195.24 c 195.12/195.24 c 195.12/195.24 c Core size: 169 Core Weight: 1 Total Weight: 147 195.12/195.24 c 195.12/195.24 c 195.12/195.24 c ============================[ Search Statistics ]============================== 195.12/195.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.12/195.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.12/195.24 c =============================================================================== 195.12/195.24 c | 0 | 27349 24953 191058 | 8317 0 nan | 0.000 % | 195.33/195.46 c | 101 | 27349 24953 191058 | 9149 101 275 | 6.480 % | 195.42/195.56 c =============================================================================== 195.52/195.68 c core #81 195.52/195.68 c 195.52/195.68 c 195.52/195.68 c Core size: 207 Core Weight: 1 Total Weight: 148 195.52/195.68 c 195.52/195.68 c 195.52/195.68 c ============================[ Search Statistics ]============================== 195.52/195.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.52/195.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.52/195.68 c =============================================================================== 195.52/195.68 c | 0 | 27555 25052 191623 | 8350 0 nan | 0.000 % | 196.03/196.10 c | 101 | 27555 25052 191623 | 9185 101 223 | 6.431 % | 196.13/196.22 c =============================================================================== 196.22/196.35 c core #82 196.22/196.35 c 196.22/196.35 c 196.22/196.35 c Core size: 267 Core Weight: 1 Total Weight: 149 196.22/196.35 c 196.22/196.35 c 196.22/196.35 c ============================[ Search Statistics ]============================== 196.22/196.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.22/196.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.22/196.35 c =============================================================================== 196.22/196.35 c | 0 | 27821 25170 192191 | 8390 0 nan | 0.000 % | 196.52/196.62 c | 105 | 27821 25170 192191 | 9229 105 313 | 6.374 % | 196.73/196.86 c | 258 | 27821 25170 192191 | 10151 258 219 | 6.374 % | 196.92/197.02 c =============================================================================== 197.02/197.14 c core #83 197.02/197.14 c 197.02/197.14 c 197.02/197.14 c Core size: 1167 Core Weight: 1 Total Weight: 150 197.02/197.14 c 197.02/197.14 c 197.02/197.14 c ============================[ Search Statistics ]============================== 197.02/197.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.02/197.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.02/197.14 c =============================================================================== 197.02/197.14 c | 0 | 28906 25719 194381 | 8573 0 nan | 0.000 % | 197.33/197.49 c | 100 | 28906 25719 194381 | 9430 100 225 | 6.119 % | 199.92/200.08 c | 252 | 28897 25719 194381 | 10373 251 233 | 6.168 % | 200.32/200.48 c =============================================================================== 200.53/200.61 c core #84 200.53/200.61 c 200.53/200.61 c 200.53/200.61 c Core size: 1822 Core Weight: 1 Total Weight: 151 200.53/200.61 c 200.53/200.61 c 200.53/200.61 c ============================[ Search Statistics ]============================== 200.53/200.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.53/200.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.53/200.61 c =============================================================================== 200.53/200.61 c | 0 | 30664 26307 197791 | 8769 0 nan | 0.000 % | 200.72/200.87 c | 103 | 30664 26307 197791 | 9645 103 247 | 5.757 % | 202.12/202.23 c =============================================================================== 202.24/202.36 c core #85 202.24/202.36 c 202.24/202.36 c 202.24/202.36 c Core size: 320 Core Weight: 1 Total Weight: 152 202.24/202.36 c 202.24/202.36 c 202.24/202.36 c ============================[ Search Statistics ]============================== 202.24/202.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.24/202.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.24/202.36 c =============================================================================== 202.24/202.36 c | 0 | 30980 26413 198426 | 8804 0 nan | 0.000 % | 202.53/202.68 c | 101 | 30980 26413 198426 | 9684 101 364 | 5.701 % | 205.42/205.55 c | 259 | 30980 26413 198426 | 10653 259 173 | 5.701 % | 210.52/210.69 c | 484 | 30972 26413 198426 | 11718 483 203 | 5.744 % | 212.52/212.65 c =============================================================================== 212.62/212.79 c core #86 212.62/212.79 c 212.62/212.79 c 212.62/212.79 c Core size: 870 Core Weight: 1 Total Weight: 153 212.62/212.79 c 212.62/212.79 c 212.62/212.79 c ============================[ Search Statistics ]============================== 212.62/212.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 212.62/212.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 212.62/212.79 c =============================================================================== 212.62/212.79 c | 0 | 31780 26921 199942 | 8973 0 nan | 0.000 % | 212.92/213.04 c | 102 | 31780 26921 199942 | 9871 102 195 | 5.557 % | 215.03/215.17 c | 252 | 31780 26921 199942 | 10858 252 109 | 5.557 % | 217.73/217.83 c | 477 | 31779 26921 199942 | 11943 252 96 | 5.560 % | 218.22/218.35 c =============================================================================== 218.32/218.48 c core #87 218.32/218.48 c 218.32/218.48 c 218.32/218.48 c Core size: 428 Core Weight: 1 Total Weight: 154 218.32/218.48 c 218.32/218.48 c 218.32/218.48 c ============================[ Search Statistics ]============================== 218.32/218.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.32/218.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.32/218.48 c =============================================================================== 218.32/218.48 c | 0 | 32204 27017 200773 | 9005 0 nan | 0.000 % | 218.62/218.74 c | 103 | 32204 27017 200773 | 9906 103 291 | 5.488 % | 219.12/219.24 c | 254 | 32204 27017 200773 | 10896 254 180 | 5.488 % | 223.01/223.12 c | 479 | 32199 27017 200773 | 11986 478 140 | 5.532 % | 229.51/229.62 c =============================================================================== 229.62/229.75 c core #88 229.62/229.75 c 229.62/229.75 c 229.62/229.75 c Core size: 1278 Core Weight: 1 Total Weight: 155 229.62/229.75 c 229.62/229.75 c 229.62/229.75 c ============================[ Search Statistics ]============================== 229.62/229.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.62/229.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.62/229.75 c =============================================================================== 229.62/229.75 c | 0 | 33416 27511 203228 | 9170 0 nan | 0.000 % | 229.92/230.01 c | 100 | 33416 27511 203228 | 10087 100 284 | 5.278 % | 230.82/230.95 c | 250 | 33416 27511 203228 | 11096 250 168 | 5.278 % | 236.91/237.03 c | 475 | 33412 27511 203228 | 12205 474 142 | 5.295 % | 245.11/245.26 c | 812 | 33407 27511 203228 | 13426 811 185 | 5.321 % | 256.22/256.33 c | 1319 | 33401 27511 203228 | 14768 1312 197 | 5.321 % | 270.70/270.85 c | 2078 | 33401 27511 203228 | 16245 2071 217 | 5.321 % | 276.20/276.30 c =============================================================================== 276.30/276.46 c core #89 276.30/276.46 c 276.30/276.46 c 276.30/276.46 c Core size: 2235 Core Weight: 1 Total Weight: 156 276.30/276.46 c 276.30/276.46 c 276.30/276.46 c ============================[ Search Statistics ]============================== 276.30/276.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 276.30/276.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 276.30/276.46 c =============================================================================== 276.30/276.46 c | 0 | 35581 28050 207519 | 9350 0 nan | 0.000 % | 276.50/276.68 c | 102 | 35581 28050 207519 | 10285 102 343 | 4.942 % | 279.31/279.47 c | 252 | 35581 28050 207519 | 11313 252 169 | 4.942 % | 284.60/284.70 c | 477 | 35581 28050 207519 | 12444 477 109 | 4.942 % | 288.90/289.03 c | 818 | 35581 28050 207519 | 13689 818 85 | 4.942 % | 294.99/295.18 c =============================================================================== 295.20/295.32 c core #90 295.20/295.32 c 295.20/295.32 c 295.20/295.32 c Core size: 318 Core Weight: 1 Total Weight: 157 295.20/295.32 c 295.20/295.32 c 295.20/295.32 c ============================[ Search Statistics ]============================== 295.20/295.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 295.20/295.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 295.20/295.32 c =============================================================================== 295.20/295.32 c | 0 | 35897 28128 208110 | 9376 0 nan | 0.000 % | 295.40/295.57 c | 100 | 35897 28128 208110 | 10313 100 311 | 4.901 % | 297.79/297.91 c | 250 | 35897 28128 208110 | 11344 250 157 | 4.901 % | 301.69/301.85 c | 476 | 35897 28128 208110 | 12479 476 113 | 4.901 % | 305.89/306.02 c | 813 | 35897 28128 208110 | 13727 813 92 | 4.901 % | 313.69/313.84 c | 1319 | 35897 28128 208110 | 15100 1319 84 | 4.901 % | 321.19/321.32 c | 2078 | 35897 28128 208110 | 16610 2078 78 | 4.901 % | 333.19/333.35 c =============================================================================== 333.38/333.51 c core #91 333.38/333.51 c 333.38/333.51 c 333.38/333.51 c Core size: 543 Core Weight: 1 Total Weight: 158 333.38/333.51 c 333.38/333.51 c 333.38/333.51 c ============================[ Search Statistics ]============================== 333.38/333.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 333.38/333.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 333.38/333.51 c =============================================================================== 333.38/333.51 c | 0 | 36438 28202 209319 | 9400 0 nan | 0.000 % | 333.59/333.76 c | 105 | 36438 28202 209319 | 10340 105 583 | 4.829 % | 334.99/335.14 c | 256 | 36438 28202 209319 | 11374 256 287 | 4.829 % | 338.59/338.75 c | 481 | 36438 28202 209319 | 12512 481 183 | 4.829 % | 344.48/344.65 c | 818 | 36438 28202 209319 | 13763 818 133 | 4.829 % | 352.88/353.09 c | 1325 | 36438 28202 209319 | 15139 1325 107 | 4.829 % | 362.17/362.34 c | 2085 | 36438 28202 209319 | 16653 2085 95 | 4.829 % | 371.98/372.11 c | 3226 | 36438 28202 209319 | 18319 3226 87 | 4.829 % | 380.87/381.01 c =============================================================================== 380.98/381.18 c core #92 380.98/381.18 c 380.98/381.18 c 380.98/381.18 c Core size: 1261 Core Weight: 1 Total Weight: 159 380.98/381.18 c 380.98/381.18 c 380.98/381.18 c ============================[ Search Statistics ]============================== 380.98/381.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 380.98/381.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 380.98/381.18 c =============================================================================== 380.98/381.18 c | 0 | 37634 28658 211543 | 9552 0 nan | 0.000 % | 381.48/381.61 c | 101 | 37634 28658 211543 | 10507 101 336 | 4.671 % | 383.68/383.88 c | 252 | 37634 28658 211543 | 11558 252 165 | 4.671 % | 388.27/388.49 c | 477 | 37634 28658 211543 | 12714 477 121 | 4.671 % | 394.27/394.46 c | 815 | 37634 28658 211543 | 13986 815 100 | 4.671 % | 401.97/402.11 c | 1321 | 37634 28658 211543 | 15384 1321 89 | 4.671 % | 413.47/413.63 c | 2081 | 37634 28658 211543 | 16923 2081 84 | 4.671 % | 429.76/429.91 c | 3220 | 37634 28658 211543 | 18615 3220 82 | 4.671 % | 449.55/449.70 c | 4928 | 37634 28658 211543 | 20476 4928 80 | 4.671 % | 479.74/479.96 c | 7491 | 37634 28658 211543 | 22524 7491 80 | 4.671 % | 502.64/502.86 c =============================================================================== 502.94/503.10 c core #93 502.94/503.10 c 502.94/503.10 c 502.94/503.10 c Core size: 818 Core Weight: 1 Total Weight: 160 502.94/503.10 c 502.94/503.10 c 502.94/503.10 c ============================[ Search Statistics ]============================== 502.94/503.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 502.94/503.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 502.94/503.10 c =============================================================================== 502.94/503.10 c | 0 | 38438 28752 213136 | 9584 0 nan | 0.000 % | 503.44/503.68 c | 100 | 38438 28752 213136 | 10542 100 482 | 4.578 % | 505.54/505.73 c | 250 | 38438 28752 213136 | 11596 250 222 | 4.578 % | 509.44/509.65 c | 475 | 38438 28752 213136 | 12756 475 148 | 4.578 % | 516.13/516.31 c | 812 | 38438 28752 213136 | 14031 812 113 | 4.578 % | 525.93/526.12 c | 1318 | 38438 28752 213136 | 15435 1318 100 | 4.578 % | 535.22/535.48 c | 2080 | 38438 28752 213136 | 16978 2080 92 | 4.578 % | 549.92/550.16 c | 3219 | 38438 28752 213136 | 18676 3219 87 | 4.578 % | 573.81/574.01 c | 4927 | 38438 28752 213136 | 20544 4927 85 | 4.578 % | 602.21/602.46 c | 7491 | 38437 28752 213136 | 22598 7485 83 | 4.580 % | 610.70/610.90 c =============================================================================== 610.91/611.12 c core #94 610.91/611.12 c 610.91/611.12 c 610.91/611.12 c Core size: 1055 Core Weight: 1 Total Weight: 161 610.91/611.12 c 610.91/611.12 c 610.91/611.12 c ============================[ Search Statistics ]============================== 610.91/611.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 610.91/611.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 610.91/611.12 c =============================================================================== 610.91/611.12 c | 0 | 39489 28837 215214 | 9612 0 nan | 0.000 % | 611.20/611.43 c | 101 | 39489 28837 215214 | 10573 101 483 | 4.461 % | 611.50/611.74 c | 253 | 39489 28837 215214 | 11630 253 299 | 4.461 % | 614.30/614.51 c | 481 | 39489 28837 215214 | 12794 481 179 | 4.461 % | 619.71/619.96 c | 818 | 39489 28837 215214 | 14073 818 131 | 4.461 % | 626.90/627.19 c | 1327 | 39489 28837 215214 | 15480 1327 109 | 4.461 % | 637.90/638.17 c | 2086 | 39489 28837 215214 | 17028 2086 98 | 4.461 % | 653.79/654.03 c | 3227 | 39489 28837 215214 | 18731 3227 92 | 4.461 % | 678.89/679.12 c | 4935 | 39489 28837 215214 | 20604 4935 88 | 4.461 % | 713.27/713.52 c | 7497 | 39489 28837 215214 | 22665 7497 85 | 4.461 % | 758.37/758.69 c | 11342 | 39489 28837 215214 | 24931 11342 84 | 4.461 % | 833.04/833.30 c | 17111 | 39489 28837 215214 | 27425 17111 83 | 4.461 % | 927.91/928.29 c | 25761 | 39489 28837 215214 | 30167 25761 82 | 4.461 % | 959.81/960.20 c =============================================================================== 960.31/960.67 c core #95 960.31/960.67 c 960.31/960.67 c 960.31/960.67 c Core size: 807 Core Weight: 1 Total Weight: 162 960.31/960.67 c 960.31/960.67 c 960.31/960.67 c ============================[ Search Statistics ]============================== 960.31/960.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 960.31/960.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 960.31/960.67 c =============================================================================== 960.31/960.67 c | 0 | 40291 28916 216773 | 9638 0 nan | 0.000 % | 960.60/960.95 c | 103 | 40291 28916 216773 | 10602 103 291 | 4.376 % | 962.40/962.71 c | 255 | 40291 28916 216773 | 11662 255 169 | 4.376 % | 965.00/965.32 c | 480 | 40291 28916 216773 | 12829 480 121 | 4.376 % | 968.72/969.08 c | 819 | 40291 28916 216773 | 14111 819 94 | 4.376 % | 977.00/977.31 c | 1325 | 40291 28916 216773 | 15523 1325 80 | 4.376 % | 989.00/989.37 c | 2084 | 40291 28916 216773 | 17075 2084 73 | 4.376 % | 1005.10/1005.42 c | 3224 | 40291 28916 216773 | 18783 3224 73 | 4.376 % | 1028.59/1028.96 c | 4933 | 40291 28916 216773 | 20661 4933 74 | 4.376 % | 1066.59/1066.96 c | 7499 | 40291 28916 216773 | 22727 7499 76 | 4.376 % | 1131.16/1131.56 c | 11343 | 40291 28916 216773 | 25000 11343 77 | 4.376 % | 1202.04/1202.49 c | 17109 | 40291 28916 216773 | 27500 17109 77 | 4.376 % | 1315.60/1316.02 c | 25758 | 40291 28916 216773 | 30250 25758 79 | 4.376 % | 1450.96/1451.46 c | 38732 | 40291 28916 216773 | 33275 19087 82 | 4.376 % | 1641.09/1641.69 c | 58193 | 40291 28916 216773 | 36602 16432 98 | 4.376 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680517-1277451713/watcher-2680517-1277451713 -o /tmp/evaluation-result-2680517-1277451713/solver-2680517-1277451713 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680517-1277451713.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 2/106 26501 /proc/meminfo: memFree=1474912/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=3336 CPUtime=0.01 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 422 0 0 0 1 0 0 0 22 0 1 0 86463213 3416064 341 1992294400 134512640 135752675 4289585888 18446744073709551615 134564867 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 834 341 145 303 0 501 0 [startup+0.0317049 s] /proc/loadavg: 0.00 0.00 0.00 2/106 26501 /proc/meminfo: memFree=1474912/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=3764 CPUtime=0.02 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 587 0 0 0 2 0 0 0 22 0 1 0 86463213 3854336 478 1992294400 134512640 135752675 4289585888 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 941 478 143 303 0 636 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3764 [startup+0.100711 s] /proc/loadavg: 0.00 0.00 0.00 2/106 26501 /proc/meminfo: memFree=1474912/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=3764 CPUtime=0.08 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 588 0 0 0 8 0 0 0 23 0 1 0 86463213 3854336 479 1992294400 134512640 135752675 4289585888 18446744073709551615 134634683 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 941 479 144 303 0 636 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3764 [startup+0.300729 s] /proc/loadavg: 0.00 0.00 0.00 2/106 26501 /proc/meminfo: memFree=1474912/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=4432 CPUtime=0.28 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 768 0 0 0 27 1 0 0 24 0 1 0 86463213 4538368 659 1992294400 134512640 135752675 4289585888 18446744073709551615 134634755 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 1108 659 144 303 0 803 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 4432 [startup+0.700767 s] /proc/loadavg: 0.00 0.00 0.00 2/106 26501 /proc/meminfo: memFree=1474912/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=5616 CPUtime=0.69 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 1068 0 0 0 67 2 0 0 25 0 1 0 86463213 5750784 959 1992294400 134512640 135752675 4289585888 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 1404 959 144 303 0 1099 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5616 [startup+1.50084 s] /proc/loadavg: 0.00 0.00 0.00 2/107 26502 /proc/meminfo: memFree=1470812/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=6904 CPUtime=1.49 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 1384 0 0 0 147 2 0 0 25 0 1 0 86463213 7069696 1275 1992294400 134512640 135752675 4289585888 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 1726 1275 145 303 0 1421 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6904 [startup+3.10099 s] /proc/loadavg: 0.08 0.02 0.01 2/107 26502 /proc/meminfo: memFree=1469076/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=9856 CPUtime=3.09 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 2134 0 0 0 306 3 0 0 25 0 1 0 86463213 10092544 2025 1992294400 134512640 135752675 4289585888 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 2464 2025 145 303 0 2159 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9856 [startup+6.30028 s] /proc/loadavg: 0.08 0.02 0.01 2/107 26502 /proc/meminfo: memFree=1465480/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=12996 CPUtime=6.29 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 2916 0 0 0 624 5 0 0 25 0 1 0 86463213 13307904 2807 1992294400 134512640 135752675 4289585888 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 3249 2807 145 303 0 2944 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12996 [startup+12.7019 s] /proc/loadavg: 0.22 0.05 0.02 2/107 26502 /proc/meminfo: memFree=1459032/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=17972 CPUtime=12.68 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 4163 0 0 0 1259 9 0 0 25 0 1 0 86463213 18403328 4054 1992294400 134512640 135752675 4289585888 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 4493 4054 145 303 0 4188 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17972 [startup+25.5011 s] /proc/loadavg: 0.34 0.08 0.02 2/107 26504 /proc/meminfo: memFree=1452956/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=23628 CPUtime=25.48 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 5579 0 0 0 2537 11 0 0 25 0 1 0 86463213 24195072 5470 1992294400 134512640 135752675 4289585888 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 5907 5470 145 303 0 5602 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23628 [startup+51.1004 s] /proc/loadavg: 0.56 0.15 0.05 2/107 26504 /proc/meminfo: memFree=1440060/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=36668 CPUtime=51.07 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 8823 0 0 0 5093 14 0 0 25 0 1 0 86463213 37548032 8714 1992294400 134512640 135752675 4289585888 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 9167 8714 145 303 0 8862 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36668 [startup+102.308 s] /proc/loadavg: 0.82 0.29 0.10 2/107 26506 /proc/meminfo: memFree=1417988/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=58428 CPUtime=102.26 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 14279 0 0 0 10204 22 0 0 25 0 1 0 86463213 59830272 14170 1992294400 134512640 135752675 4289585888 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 14607 14170 145 303 0 14302 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 58428 [startup+162.301 s] /proc/loadavg: 0.93 0.41 0.15 2/107 26506 /proc/meminfo: memFree=1389344/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=87248 CPUtime=162.24 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 21487 0 0 0 16190 34 0 0 25 0 1 0 86463213 89341952 21378 1992294400 134512640 135752675 4289585888 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 21812 21378 145 303 0 21507 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 87248 [startup+222.301 s] /proc/loadavg: 0.97 0.52 0.20 2/107 26508 /proc/meminfo: memFree=1332180/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=144016 CPUtime=222.21 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 47467 0 0 0 22153 68 0 0 25 0 1 0 86463213 147472384 35398 1992294400 134512640 135752675 4289585888 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 36004 35398 146 303 0 35699 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 144016 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.25 2/107 26510 /proc/meminfo: memFree=1327344/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=148640 CPUtime=282.2 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 49662 0 0 0 28147 73 0 0 25 0 1 0 86463213 152207360 36591 1992294400 134512640 135752675 4289585888 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 37160 36591 146 303 0 36855 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 148640 [startup+342.301 s] /proc/loadavg: 0.99 0.67 0.30 2/107 26512 /proc/meminfo: memFree=1327096/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=148624 CPUtime=342.18 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 50949 0 0 0 34141 77 0 0 25 0 1 0 86463213 152190976 36604 1992294400 134512640 135752675 4289585888 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 37156 36604 146 303 0 36851 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 148624 [startup+402.301 s] /proc/loadavg: 0.99 0.73 0.33 2/107 26514 /proc/meminfo: memFree=1324492/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=151192 CPUtime=402.17 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 52231 0 0 0 40137 80 0 0 25 0 1 0 86463213 154820608 37255 1992294400 134512640 135752675 4289585888 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 37798 37255 146 303 0 37493 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 151192 [startup+462.301 s] /proc/loadavg: 0.99 0.77 0.37 2/107 26514 /proc/meminfo: memFree=1324368/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=151192 CPUtime=462.15 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 52231 0 0 0 46133 82 0 0 25 0 1 0 86463213 154820608 37255 1992294400 134512640 135752675 4289585888 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 37798 37255 146 303 0 37493 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 151192 [startup+522.301 s] /proc/loadavg: 0.99 0.81 0.41 2/107 26516 /proc/meminfo: memFree=1319904/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=155492 CPUtime=522.13 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 53968 0 0 0 52128 85 0 0 25 0 1 0 86463213 159223808 38347 1992294400 134512640 135752675 4289585888 18446744073709551615 134639530 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 38873 38347 146 303 0 38568 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 155492 [startup+582.301 s] /proc/loadavg: 0.99 0.84 0.44 2/107 26518 /proc/meminfo: memFree=1320028/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=155492 CPUtime=582.12 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 53968 0 0 0 58125 87 0 0 25 0 1 0 86463213 159223808 38347 1992294400 134512640 135752675 4289585888 18446744073709551615 134605239 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 38873 38347 146 303 0 38568 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 155492 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.48 2/107 26520 /proc/meminfo: memFree=1318540/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=157228 CPUtime=642.1 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 54790 0 0 0 64120 90 0 0 25 0 1 0 86463213 161001472 38695 1992294400 134512640 135752675 4289585888 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 39307 38695 146 303 0 39002 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 157228 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.92 0.56 2/107 26524 /proc/meminfo: memFree=1318292/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=157228 CPUtime=822.05 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 54790 0 0 0 82110 95 0 0 25 0 1 0 86463213 161001472 38695 1992294400 134512640 135752675 4289585888 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 39307 38695 146 303 0 39002 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 157228 [startup+882.301 s] /proc/loadavg: 0.99 0.93 0.58 2/107 26526 /proc/meminfo: memFree=1318292/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=157228 CPUtime=882.03 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 54831 0 0 0 88105 98 0 0 25 0 1 0 86463213 161001472 38736 1992294400 134512640 135752675 4289585888 18446744073709551615 134605381 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 39307 38736 146 303 0 39002 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 157228 [startup+942.301 s] /proc/loadavg: 1.04 0.96 0.61 2/107 26528 /proc/meminfo: memFree=1316556/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=159556 CPUtime=942.01 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 55381 0 0 0 94101 100 0 0 25 0 1 0 86463213 163385344 39286 1992294400 134512640 135752675 4289585888 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 39889 39286 146 303 0 39584 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 159556 [startup+1002.3 s] /proc/loadavg: 1.05 0.98 0.64 2/107 26530 /proc/meminfo: memFree=1305024/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=170688 CPUtime=1002 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 58577 0 0 0 100095 105 0 0 25 0 1 0 86463213 174784512 41996 1992294400 134512640 135752675 4289585888 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 42672 41996 146 303 0 42367 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 170688 [startup+1062.3 s] /proc/loadavg: 1.06 0.99 0.66 2/107 26530 /proc/meminfo: memFree=1305024/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=170688 CPUtime=1061.98 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 58577 0 0 0 106091 107 0 0 25 0 1 0 86463213 174784512 41996 1992294400 134512640 135752675 4289585888 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 42672 41996 146 303 0 42367 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 170688 [startup+1122.3 s] /proc/loadavg: 1.05 1.00 0.69 2/107 26532 /proc/meminfo: memFree=1304900/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=170688 CPUtime=1121.96 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 58577 0 0 0 112088 108 0 0 25 0 1 0 86463213 174784512 41996 1992294400 134512640 135752675 4289585888 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 42672 41996 146 303 0 42367 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 170688 [startup+1182.3 s] /proc/loadavg: 1.13 1.03 0.71 2/107 26543 /proc/meminfo: memFree=1304280/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=170688 CPUtime=1181.94 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 58577 0 0 0 118084 110 0 0 25 0 1 0 86463213 174784512 41996 1992294400 134512640 135752675 4289585888 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 42672 41996 146 303 0 42367 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 170688 [startup+1242.3 s] /proc/loadavg: 1.05 1.02 0.73 2/107 26545 /proc/meminfo: memFree=1304280/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=170688 CPUtime=1241.92 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 58577 0 0 0 124080 112 0 0 25 0 1 0 86463213 174784512 41996 1992294400 134512640 135752675 4289585888 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 42672 41996 146 303 0 42367 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 170688 [startup+1302.3 s] /proc/loadavg: 1.01 1.02 0.74 2/107 26547 /proc/meminfo: memFree=1304280/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=170688 CPUtime=1301.91 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 58577 0 0 0 130077 114 0 0 25 0 1 0 86463213 174784512 41996 1992294400 134512640 135752675 4289585888 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 42672 41996 146 303 0 42367 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 170688 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 0.75 2/107 26547 /proc/meminfo: memFree=1304280/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=170688 CPUtime=1361.88 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 58577 0 0 0 136072 116 0 0 25 0 1 0 86463213 174784512 41996 1992294400 134512640 135752675 4289585888 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 42672 41996 146 303 0 42367 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 170688 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 0.77 2/107 26549 /proc/meminfo: memFree=1304280/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=170688 CPUtime=1421.87 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 58596 0 0 0 142070 117 0 0 25 0 1 0 86463213 174784512 42015 1992294400 134512640 135752675 4289585888 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 42672 42015 146 303 0 42367 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 170688 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.78 2/107 26551 /proc/meminfo: memFree=1303908/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=171372 CPUtime=1481.84 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 58868 0 0 0 148065 119 0 0 25 0 1 0 86463213 175484928 42287 1992294400 134512640 135752675 4289585888 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 42843 42287 146 303 0 42538 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 171372 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.79 2/107 26553 /proc/meminfo: memFree=1300932/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=174280 CPUtime=1541.83 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 59606 0 0 0 154059 124 0 0 25 0 1 0 86463213 178462720 43025 1992294400 134512640 135752675 4289585888 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 43570 43025 146 303 0 43265 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 174280 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.80 2/107 26555 /proc/meminfo: memFree=1297336/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=178040 CPUtime=1601.8 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 60519 0 0 0 160052 128 0 0 25 0 1 0 86463213 182312960 43938 1992294400 134512640 135752675 4289585888 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 44510 43938 146 303 0 44205 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 178040 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.81 2/107 26555 /proc/meminfo: memFree=1294856/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=180548 CPUtime=1661.79 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 61153 0 0 0 166048 131 0 0 25 0 1 0 86463213 184881152 44572 1992294400 134512640 135752675 4289585888 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 45137 44572 146 303 0 44832 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 180548 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.82 2/107 26557 /proc/meminfo: memFree=1291756/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=183600 CPUtime=1721.77 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 61934 0 0 0 172043 134 0 0 25 0 1 0 86463213 188006400 45353 1992294400 134512640 135752675 4289585888 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 45900 45353 146 303 0 45595 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 183600 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.83 2/107 26559 /proc/meminfo: memFree=1287416/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=187840 CPUtime=1781.75 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 62987 0 0 0 178038 137 0 0 25 0 1 0 86463213 192348160 46406 1992294400 134512640 135752675 4289585888 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 46960 46406 146 303 0 46655 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 187840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.83 2/107 26559 /proc/meminfo: memFree=1286176/2059040 swapFree=4140524/4192956 [pid=26501] ppid=26499 vsize=189028 CPUtime=1800.06 /proc/26501/stat : 26501 (wbo1.4b) R 26499 26501 26476 0 -1 4202496 63289 0 0 0 179868 138 0 0 25 0 1 0 86463213 193564672 46708 1992294400 134512640 135752675 4289585888 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26501/statm: 47257 46708 146 303 0 46952 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 189028 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.63 CPU time (s): 1800.09 CPU user time (s): 1798.68 CPU system time (s): 1.40379 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 189028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.68 system time used= 1.40379 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63289 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= 54 involuntary context switches= 3293 runsolver used 2.99254 second user time and 8.5177 second system time The end
Begin job on node048 at 2010-06-25 09:41:53 IDJOB=2680517 IDBENCH=1871 IDSOLVER=1190 FILE ID=node048/2680517-1277451713 PBS_JOBID= 11188120 Free space on /tmp= 62500 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680517-1277451713/watcher-2680517-1277451713 -o /tmp/evaluation-result-2680517-1277451713/solver-2680517-1277451713 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680517-1277451713.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED=854475842 node048.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 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.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1475440 kB Buffers: 130700 kB Cached: 345640 kB SwapCached: 5380 kB Active: 109072 kB Inactive: 380168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1475440 kB SwapTotal: 4192956 kB SwapFree: 4140524 kB Dirty: 2756 kB Writeback: 0 kB AnonPages: 11488 kB Mapped: 12004 kB Slab: 72476 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182700 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62496 MiB End job on node048 at 2010-06-25 10:11:56