0.00/0.00 c PicoSAT SAT Solver Version 913
0.00/0.00 c Copyright (c) 2006 - 2009 Armin Biere JKU Linz
0.00/0.00 c gcc -Wall -Wextra -m32 -static -DNDEBUG -O3 -fomit-frame-pointer -finline-limit=1000000
0.00/0.00 c
0.00/0.00 c parsing HOME/instance-1727308-1240723271.cnf
0.00/0.00 c parsed header 'p cnf 36304 1711065'
2.79/2.85 c initialized 36304 variables
2.79/2.85 c found 1711065 non trivial clauses
2.79/2.85 c
2.79/2.85 c random number generator seed 0
2.79/2.85 c
2.79/2.85 c seconds variables original learned agility
2.79/2.85 c level used conflicts limit MB
2.79/2.85 c
2.79/2.85 c s 2.9 0.0 33820 30.6 4107 2484 0 0 0.0 21.4
2.79/2.88 c
2.79/2.88 c initial reduction limit 2053 clauses
2.79/2.88 c
2.79/2.88 c + 2.9 196e1 33817 31.4 4107 2584 96 2258 3.5 21.5
2.89/2.91 c + 2.9 180e1 33812 32.1 4107 2734 238 2483 1.3 21.5
2.89/2.93 c R 2.9 172e1 33812 32.6 4107 2824 327 2483 2.8 21.5
2.99/3.02 c s 3.0 160e1 33811 33.2 4107 2955 453 2483 1.0 21.5
2.99/3.02 c + 3.0 160e1 33811 33.2 4107 2959 456 2731 1.0 21.5
2.99/3.04 c R 3.0 156e1 33811 33.3 4107 3050 545 2731 1.0 21.6
2.99/3.09 c + 3.1 139e1 33808 34.1 4107 3296 787 3004 3.1 21.6
3.09/3.12 c R 3.1 127e1 33805 34.9 4107 3469 956 3004 2.3 21.6
3.09/3.13 c s 3.1 126e1 33805 34.9 4107 3519 1003 3004 1.5 21.6
3.09/3.18 c R 3.2 118e1 33803 35.3 4107 3696 1177 3004 2.2 21.6
3.19/3.22 c + 3.2 113e1 33802 35.9 4107 3801 1279 3304 1.6 21.6
3.19/3.27 c R 3.3 107e1 33800 36.6 4107 4017 1490 3304 1.8 21.6
3.29/3.32 c s 3.3 106e1 33800 36.6 4107 4039 1508 3304 2.1 21.6
3.39/3.44 c R 3.4 956.7 33798 37.8 4107 4391 1853 3304 2.8 21.7
3.49/3.53 c s 3.5 892.5 33796 38.3 4107 4523 1978 3304 0.8 21.7
3.49/3.54 c + 3.5 874.3 33796 38.3 4107 4558 2013 3634 1.9 21.7
3.49/3.57 c R 3.6 854.4 33795 38.4 4107 4692 2141 3634 1.4 21.7
3.59/3.69 c R 3.7 781.2 33791 39.3 4107 5009 2450 3634 2.8 21.7
3.69/3.76 c s 3.8 764.0 33791 39.5 4107 5068 2505 3634 2.8 21.7
3.79/3.84 c R 3.8 717.6 33789 40.1 4107 5293 2722 3634 3.8 21.7
3.79/3.84 c
3.79/3.84 c seconds variables original learned agility
3.79/3.84 c level used conflicts limit MB
3.79/3.84 c
3.89/3.95 c R 4.0 663.1 33789 40.5 4107 5593 3018 3634 1.9 21.8
3.99/4.01 c s 4.0 656.3 33788 40.6 4107 5646 3067 3634 2.6 21.8
3.99/4.03 c + 4.0 651.7 33788 40.7 4107 5693 3114 3997 3.5 21.8
3.99/4.05 c R 4.0 646.7 33788 40.8 4107 5712 3133 3997 1.1 21.8
4.09/4.14 c R 4.1 604.3 33788 41.1 4107 6012 3425 3997 2.0 21.8
4.19/4.21 c R 4.2 586.3 33785 41.4 4107 6185 3594 3997 3.0 21.8
4.19/4.25 c s 4.3 581.2 33785 41.5 4107 6250 3658 3997 0.2 21.8
4.59/4.62 c s 4.6 524.0 33774 42.8 4107 6842 2227 3997 2.2 21.7
4.59/4.65 c R 4.6 512.1 33772 42.8 4107 6960 2337 3997 3.8 21.7
4.59/4.68 c R 4.7 504.2 33771 42.9 4107 7069 2442 3997 3.7 21.7
4.69/4.75 c R 4.8 492.4 33770 42.9 4107 7273 2644 3997 0.7 21.8
4.79/4.80 c + 4.8 481.8 33769 43.6 4107 7395 2765 4396 1.3 21.8
4.79/4.86 c s 4.9 473.2 33768 43.9 4107 7485 2845 4396 1.4 21.8
4.89/4.94 c R 4.9 451.5 33761 44.3 4107 7738 3084 4396 2.2 21.8
4.89/4.99 c R 5.0 445.9 33760 44.4 4107 7842 3187 4396 4.4 21.8
4.99/5.03 c R 5.0 437.8 33758 44.5 4107 7951 3291 4396 0.9 21.8
5.09/5.14 c s 5.1 426.2 33757 44.7 4107 8164 3490 4396 2.2 21.8
5.09/5.15 c R 5.2 424.6 33757 44.8 4107 8185 3511 4396 2.7 21.8
5.19/5.23 c R 5.2 414.6 33755 45.3 4107 8409 3730 4396 0.8 21.8
5.19/5.29 c R 5.3 408.2 33754 45.4 4107 8563 3878 4396 3.3 21.8
5.39/5.45 c s 5.5 393.2 33752 46.0 4107 8857 4166 4396 2.5 21.9
5.39/5.48 c R 5.5 389.8 33752 46.0 4107 8919 4227 4396 3.1 21.9
5.39/5.48 c
5.39/5.48 c seconds variables original learned agility
5.39/5.48 c level used conflicts limit MB
5.39/5.48 c
5.59/5.67 c R 5.7 377.7 33752 46.3 4107 9220 2279 4396 3.0 21.8
5.79/5.81 c R 5.8 365.0 33751 46.4 4107 9533 2589 4396 2.5 21.9
5.79/5.81 c s 5.8 364.7 33751 46.4 4107 9534 2590 4396 2.1 21.9
5.79/5.88 c R 5.9 359.1 33747 46.6 4107 9702 2751 4396 2.6 21.9
5.89/5.95 c R 5.9 352.9 33746 46.6 4107 9905 2946 4396 1.9 21.9
5.89/5.96 c + 6.0 351.8 33745 46.7 4107 9948 2988 4835 1.9 21.9
5.99/6.02 c R 6.0 347.3 33743 46.9 4107 10098 3135 4835 3.5 21.9
5.99/6.07 c s 6.1 344.6 33743 47.0 4107 10163 3194 4835 1.0 21.9
6.09/6.13 c R 6.1 340.3 33742 47.0 4107 10351 3379 4835 3.3 21.9
6.19/6.27 c R 6.3 334.1 33742 47.2 4107 10652 3674 4835 3.1 21.9
6.29/6.33 c s 6.3 331.2 33741 47.3 4107 10770 3789 4835 2.8 22.0
6.29/6.34 c R 6.3 330.5 33741 47.3 4107 10791 3810 4835 1.5 22.0
6.39/6.40 c R 6.4 327.9 33740 47.4 4107 10928 3944 4835 3.8 22.0
6.49/6.56 c R 6.6 320.9 33740 47.8 4107 11228 4239 4835 4.9 22.0
6.59/6.66 c s 6.7 317.6 33736 47.8 4107 11361 4356 4835 3.0 22.0
6.69/6.71 c R 6.7 313.8 33735 47.8 4107 11514 4504 4835 1.5 22.0
6.79/6.86 c R 6.9 305.7 33731 48.2 4107 11870 4849 4835 3.9 22.1
6.89/6.99 c R 7.0 300.2 33728 48.5 4107 12094 2642 4835 2.0 21.9
6.99/7.03 c s 7.0 299.8 33728 48.5 4107 12109 2655 4835 2.7 21.9
7.09/7.17 c R 7.2 292.1 33724 48.6 4107 12504 3042 4835 3.0 21.9
7.19/7.25 c R 7.3 287.0 33722 48.8 4107 12763 3292 4835 3.7 21.9
7.29/7.31 c s 7.3 286.0 33721 48.8 4107 12819 3342 4835 3.2 21.9
7.29/7.31 c
7.29/7.31 c seconds variables original learned agility
7.29/7.31 c level used conflicts limit MB
7.29/7.31 c
7.29/7.35 c R 7.3 284.2 33720 48.9 4107 12938 3460 4835 3.0 22.0
7.39/7.48 c R 7.5 279.6 33720 49.0 4107 13239 3754 4835 2.4 22.0
7.49/7.54 c R 7.5 276.8 33719 49.1 4107 13376 3889 4835 1.9 22.0
7.59/7.63 c s 7.6 275.7 33718 49.2 4107 13456 3966 4835 1.8 22.0
7.59/7.67 c R 7.7 274.5 33718 49.2 4107 13529 4039 4835 1.9 22.0
7.69/7.79 c + 7.8 269.6 33717 49.5 4107 13777 4283 5318 3.3 22.0
7.79/7.81 c R 7.8 269.0 33717 49.5 4107 13833 4336 5318 0.7 22.0
7.89/7.98 c s 8.0 265.4 33716 49.6 4107 14123 4618 5318 1.5 22.0
7.99/8.09 c R 8.1 262.3 33713 49.7 4107 14359 4845 5318 2.0 22.1
8.19/8.27 c R 8.3 254.6 33709 50.3 4107 14829 5302 5318 2.4 22.1
8.29/8.38 c s 8.4 253.3 33705 50.6 4107 14977 2765 5318 1.8 21.9
8.39/8.43 c R 8.4 251.0 33703 50.8 4107 15134 2915 5318 3.3 21.9
8.49/8.55 c R 8.6 247.9 33699 51.0 4107 15386 3158 5318 4.1 21.9
8.59/8.65 c s 8.6 245.5 33696 51.1 4107 15563 3329 5318 2.4 21.9
8.69/8.70 c R 8.7 244.0 33695 51.2 4107 15697 3459 5318 2.2 21.9
8.79/8.81 c R 8.8 241.5 33692 51.4 4107 15947 3704 5318 2.4 22.0
8.79/8.89 c R 8.9 238.9 33691 51.4 4107 16125 3878 5318 1.9 22.0
8.89/8.95 c s 8.9 238.5 33689 51.4 4107 16150 3899 5318 1.2 22.0
8.89/8.99 c R 9.0 237.7 33689 51.5 4107 16231 3980 5318 3.5 22.0
9.09/9.15 c R 9.1 233.9 33682 51.9 4107 16610 4344 5318 2.7 22.0
9.19/9.26 c s 9.3 232.3 33680 51.9 4107 16834 4554 5318 1.9 22.0
9.29/9.31 c R 9.3 231.5 33680 51.9 4107 16900 4617 5318 2.5 22.0
9.29/9.31 c
9.29/9.31 c seconds variables original learned agility
9.29/9.31 c level used conflicts limit MB
9.29/9.31 c
9.39/9.49 c R 9.5 228.3 33679 52.5 4107 17227 4939 5318 1.7 22.1
9.49/9.52 c R 9.5 227.0 33678 52.5 4107 17342 5046 5318 2.3 22.1
9.59/9.63 c s 9.6 225.5 33678 52.5 4107 17541 5237 5318 3.0 22.1
9.69/9.73 c R 9.7 224.1 33676 52.5 4107 17735 2765 5318 3.1 21.9
9.69/9.76 c R 9.8 222.8 33675 52.6 4107 17858 2882 5318 2.4 21.9
9.79/9.87 c R 9.9 220.4 33675 52.7 4107 18160 3181 5318 2.6 21.9
9.89/9.92 c R 9.9 218.7 33674 52.7 4107 18315 3332 5318 2.0 21.9
9.89/9.97 c R 10.0 217.2 33673 52.8 4107 18417 3429 5318 0.7 21.9
9.99/10.03 c s 10.0 216.5 33673 52.8 4107 18481 3487 5318 1.6 21.9
9.99/10.06 c R 10.1 216.1 33672 52.8 4107 18604 3605 5318 1.5 21.9
10.09/10.15 c R 10.1 214.1 33670 52.8 4107 18818 3812 5318 1.4 22.0
10.19/10.23 c R 10.2 212.5 33669 52.9 4107 19002 3991 5318 1.8 22.0
10.29/10.33 c s 10.3 211.7 33669 52.9 4107 19101 4087 5318 0.9 22.0
10.39/10.42 c R 10.4 210.1 33666 53.0 4107 19324 4301 5318 1.8 22.0
10.49/10.51 c + 10.5 208.9 33664 53.0 4107 19520 4493 5849 1.8 22.0
10.49/10.51 c R 10.5 208.8 33664 53.0 4107 19547 4520 5849 2.7 22.0
10.59/10.62 c R 10.6 206.9 33664 53.0 4107 19848 4815 5849 3.9 22.0
10.59/10.66 c s 10.7 206.8 33664 53.0 4107 19850 4816 5849 2.7 22.0
10.69/10.77 c R 10.8 204.8 33663 53.2 4107 20164 5125 5849 0.7 22.1
10.79/10.85 c R 10.8 203.2 33662 53.3 4107 20412 5369 5849 3.7 22.1
10.99/11.03 c s 11.0 202.5 33659 53.6 4107 20647 5591 5849 0.9 22.2
10.99/11.05 c R 11.1 202.2 33659 53.6 4107 20695 5639 5849 2.6 22.2
10.99/11.05 c
10.99/11.05 c seconds variables original learned agility
10.99/11.05 c level used conflicts limit MB
10.99/11.05 c
11.19/11.22 c R 11.2 201.3 33659 54.8 4107 20996 5939 5849 6.0 22.2
11.29/11.33 c R 11.3 199.8 33655 55.2 4107 21201 3168 5849 2.0 22.0
11.29/11.37 c R 11.4 199.2 33654 55.2 4107 21309 3273 5849 1.3 22.0
11.39/11.47 c s 11.5 197.9 33653 55.3 4107 21535 3496 5849 2.4 22.0
11.39/11.49 c R 11.5 197.8 33653 55.3 4107 21588 3549 5849 1.4 22.0
11.49/11.59 c R 11.6 196.4 33650 55.3 4107 21832 3780 5849 2.9 22.0
11.79/11.80 c s 11.8 194.3 33648 55.3 4107 22245 4185 5849 2.4 22.1
11.79/11.81 c R 11.8 194.2 33648 55.3 4107 22264 4203 5849 2.0 22.1
11.79/11.89 c R 11.9 193.1 33646 55.3 4107 22478 4414 5849 2.1 22.1
11.88/11.95 c R 11.9 192.6 33645 55.4 4107 22590 4524 5849 2.8 22.1
11.99/12.02 c R 12.0 192.0 33643 55.5 4107 22707 4635 5849 6.0 22.1
12.09/12.15 c R 12.1 190.7 33640 55.6 4107 22972 4894 5849 1.7 22.1
12.18/12.20 c s 12.2 190.6 33640 55.6 4107 23016 4932 5849 1.9 22.1
12.28/12.32 c R 12.3 189.1 33640 55.6 4107 23273 5184 5849 2.0 22.2
12.38/12.46 c R 12.5 188.1 33639 55.7 4107 23543 5451 5849 2.8 22.2
12.38/12.49 c R 12.5 187.3 33636 55.8 4107 23712 5614 5849 1.5 22.2
12.48/12.57 c R 12.6 186.6 33635 55.9 4107 23916 5817 5849 3.5 22.2
12.58/12.64 c s 12.6 186.0 33631 55.9 4107 23977 2946 5849 2.7 21.9
12.68/12.71 c R 12.7 185.0 33630 55.9 4107 24153 3119 5849 1.7 22.0
12.68/12.76 c R 12.8 184.4 33629 55.9 4107 24280 3244 5849 2.6 22.0
12.78/12.88 c R 12.9 183.3 33629 56.0 4107 24580 3539 5849 4.5 22.0
12.78/12.89 c s 12.9 183.1 33629 56.0 4107 24613 3572 5849 2.1 22.0
12.78/12.89 c
12.78/12.89 c seconds variables original learned agility
12.78/12.89 c level used conflicts limit MB
12.78/12.89 c
12.88/12.99 c R 13.0 182.5 33627 56.0 4107 24766 3720 5849 3.5 22.0
12.98/13.05 c R 13.0 181.8 33624 56.0 4107 24916 3865 5849 2.7 22.0
13.09/13.19 c s 13.2 180.3 33621 56.0 4107 25135 4075 5849 0.6 22.0
13.09/13.19 c R 13.2 180.3 33621 56.0 4107 25146 4086 5849 1.0 22.0
13.19/13.26 c R 13.3 179.3 33618 56.0 4107 25374 4302 5849 1.5 22.0
13.28/13.33 c R 13.3 178.7 33617 56.1 4107 25529 4450 5849 1.2 22.0
13.48/13.52 c s 13.5 177.7 33617 56.2 4107 25829 4743 5849 1.3 22.1
13.48/13.52 c R 13.5 177.7 33617 56.2 4107 25829 4743 5849 1.3 22.1
13.58/13.60 c R 13.6 176.3 33610 56.3 4107 26102 5000 5849 3.0 22.1
13.68/13.70 c R 13.7 175.6 33608 56.4 4107 26329 5221 5849 2.2 22.1
13.78/13.84 c R 13.8 174.7 33607 56.5 4107 26625 5508 5849 2.3 22.1
13.78/13.89 c s 13.9 174.6 33607 56.5 4107 26655 5535 5849 2.4 22.1
13.88/13.94 c R 13.9 173.9 33606 56.5 4107 26775 5651 5849 4.1 22.2
13.98/14.04 c R 14.0 173.2 33604 56.5 4107 26938 5807 5849 2.5 22.2
14.08/14.10 c R 14.1 172.7 33603 56.5 4107 27044 2964 5849 2.2 21.9
14.29/14.31 c s 14.3 171.6 33601 56.5 4107 27409 3323 5849 2.7 22.0
14.29/14.32 c R 14.3 171.5 33601 56.5 4107 27431 3345 5849 3.3 22.0
14.38/14.43 c R 14.4 171.1 33600 56.6 4107 27616 3525 5849 1.8 22.0
14.48/14.52 c R 14.5 170.2 33600 56.8 4107 27916 3821 5849 4.2 22.0
14.58/14.61 c s 14.6 169.7 33600 56.8 4107 28032 3931 5849 1.8 22.0
14.58/14.64 c + 14.6 169.2 33599 56.8 4107 28134 4031 6433 1.8 22.0
14.58/14.65 c R 14.6 169.2 33599 56.9 4107 28157 4054 6433 1.2 22.0
14.58/14.65 c
14.58/14.65 c seconds variables original learned agility
14.58/14.65 c level used conflicts limit MB
14.58/14.65 c
14.68/14.75 c R 14.7 168.2 33598 56.9 4107 28411 4302 6433 2.7 22.0
14.88/14.92 c s 14.9 167.1 33594 56.9 4107 28741 4622 6433 1.7 22.1
14.88/14.92 c R 14.9 167.0 33594 56.9 4107 28765 4646 6433 1.3 22.1
14.98/15.08 c R 15.1 166.1 33592 56.9 4107 29118 4994 6433 3.3 22.1
15.08/15.16 c R 15.2 165.3 33589 57.0 4107 29314 5185 6433 2.3 22.1
15.18/15.28 c s 15.3 164.8 33586 57.1 4107 29502 5367 6433 2.1 22.1
15.29/15.32 c R 15.3 164.5 33586 57.1 4107 29586 5448 6433 3.7 22.1
15.39/15.41 c R 15.4 164.0 33585 57.1 4107 29745 5602 6433 4.2 22.1
15.39/15.48 c R 15.5 163.8 33584 57.1 4107 29860 5714 6433 3.7 22.1
15.48/15.59 c R 15.6 163.3 33583 57.3 4107 30054 5902 6433 2.4 22.2
15.58/15.69 c s 15.7 163.0 33583 57.3 4107 30144 5987 6433 1.9 22.2
15.68/15.74 c R 15.7 162.8 33582 57.6 4107 30259 6099 6433 4.5 22.2
15.68/15.79 c R 15.8 162.0 33580 57.8 4107 30414 6250 6433 4.2 22.2
15.88/15.94 c R 15.9 161.4 33579 58.0 4107 30676 3284 6433 2.8 22.0
15.98/16.06 c R 16.1 160.6 33575 58.2 4107 30940 3542 6433 1.4 22.0
16.08/16.16 c s 16.2 160.2 33575 58.2 4107 31040 3635 6433 0.8 22.0
16.18/16.26 c R 16.3 159.6 33575 58.2 4107 31240 3834 6433 2.2 22.0
16.28/16.35 c R 16.3 159.0 33574 58.2 4107 31469 4059 6433 1.6 22.0
16.39/16.45 c s 16.4 158.3 33574 58.2 4107 31715 4301 6433 1.6 22.0
16.49/16.51 c R 16.5 157.7 33571 58.2 4107 31938 4521 6433 1.5 22.1
16.49/16.54 c R 16.5 157.3 33570 58.2 4107 32051 4631 6433 2.6 22.1
16.68/16.75 c R 16.7 157.0 33570 58.4 4107 32351 4924 6433 4.0 22.1
16.68/16.75 c
16.68/16.75 c seconds variables original learned agility
16.68/16.75 c level used conflicts limit MB
16.68/16.75 c
16.78/16.82 c s 16.8 156.9 33570 59.4 4107 32392 4962 6433 2.1 22.1
16.88/16.92 c R 16.9 156.3 33567 59.8 4107 32635 5192 6433 2.4 22.1
16.98/17.07 c R 17.1 155.7 33567 59.8 4107 32936 5488 6433 3.7 22.1
17.08/17.16 c R 17.1 155.4 33566 59.9 4107 33083 5633 6433 2.1 22.2
17.18/17.21 c s 17.2 155.2 33565 59.9 4107 33123 5671 6433 1.5 22.2
17.18/17.26 c R 17.3 155.1 33565 60.0 4107 33206 5753 6433 4.3 22.2
17.28/17.32 c R 17.3 154.9 33564 60.2 4107 33318 5861 6433 3.1 22.2
17.38/17.45 c R 17.4 154.3 33564 61.0 4107 33618 6155 6433 5.5 22.2
17.49/17.54 c R 17.5 153.9 33562 61.2 4107 33817 6349 6433 2.4 22.2
17.59/17.67 c s 17.7 153.4 33561 61.2 4107 34025 3324 6433 1.6 22.0
17.68/17.72 c R 17.7 153.2 33561 61.2 4107 34126 3422 6433 6.1 22.0
17.78/17.82 c R 17.8 152.4 33557 61.3 4107 34376 3666 6433 2.3 22.0
17.88/17.96 c s 18.0 151.9 33556 61.4 4107 34657 3940 6433 3.5 22.0
17.88/17.99 c R 18.0 151.8 33556 61.4 4107 34714 3997 6433 1.0 22.0
18.08/18.18 c R 18.2 151.4 33556 61.4 4107 35015 4295 6433 2.5 22.1
18.18/18.27 c s 18.3 151.1 33555 61.5 4107 35227 4504 6433 1.0 22.1
18.28/18.30 c R 18.3 151.0 33555 61.5 4107 35271 4548 6433 2.9 22.1
18.28/18.37 c R 18.4 150.7 33554 61.6 4107 35485 4757 6433 1.8 22.1
18.48/18.50 c R 18.5 150.1 33551 61.8 4107 35752 5016 6433 2.0 22.1
18.58/18.61 c s 18.6 149.8 33551 61.8 4107 35937 5199 6433 1.5 22.1
18.58/18.66 c R 18.7 149.5 33550 61.8 4107 36124 5383 6433 2.3 22.1
18.78/18.83 c R 18.8 148.8 33544 62.1 4107 36504 5752 6433 2.7 22.2
18.78/18.83 c
18.78/18.83 c seconds variables original learned agility
18.78/18.83 c level used conflicts limit MB
18.78/18.83 c
18.88/18.91 c R 18.9 148.6 33543 62.1 4107 36656 5898 6433 1.5 22.2
18.88/18.97 c R 19.0 148.4 33542 62.1 4107 36811 6051 6433 4.0 22.2
18.98/19.01 c s 19.0 148.3 33542 62.1 4107 36821 6059 6433 2.1 22.2
18.98/19.06 c R 19.0 148.2 33541 62.1 4107 36949 6186 6433 1.8 22.2
19.08/19.16 c R 19.2 147.7 33540 62.6 4107 37156 6390 6433 1.6 22.3
19.28/19.34 c R 19.3 146.9 33540 62.8 4107 37456 3441 6433 3.4 22.0
19.38/19.42 c R 19.4 146.6 33538 62.8 4107 37693 3674 6433 1.5 22.0
19.48/19.50 c s 19.5 146.4 33536 62.9 4107 37806 3780 6433 0.9 22.0
19.48/19.52 c R 19.5 146.3 33536 63.0 4107 37851 3825 6433 3.1 22.0
19.48/19.57 c R 19.6 145.9 33531 63.1 4107 38003 3970 6433 2.3 22.0
19.68/19.78 c R 19.8 145.6 33531 63.1 4107 38303 4267 6433 2.2 22.1
19.78/19.87 c s 19.9 145.4 33530 63.1 4107 38421 4377 6433 4.3 22.1
19.88/19.93 c R 19.9 145.2 33529 63.1 4107 38531 4484 6433 1.1 22.1
20.08/20.11 c R 20.1 144.7 33528 63.1 4107 38895 4840 6433 1.9 22.1
20.18/20.23 c R 20.2 144.4 33528 63.1 4107 39198 5142 6433 3.4 22.2
20.18/20.27 c s 20.3 144.3 33527 63.2 4107 39213 5154 6433 2.1 22.2
20.28/20.31 c R 20.3 144.1 33527 63.3 4107 39309 5247 6433 1.3 22.2
20.28/20.37 c R 20.4 143.9 33526 63.3 4107 39436 5370 6433 1.2 22.2
20.38/20.48 c R 20.5 143.6 33523 63.3 4107 39664 5594 6433 4.1 22.2
20.58/20.61 c R 20.6 143.1 33523 63.3 4107 39964 5891 6433 3.7 22.2
20.68/20.71 c s 20.7 143.0 33522 63.4 4107 40060 5981 6433 3.6 22.2
20.78/20.81 c R 20.8 142.5 33518 63.7 4107 40299 6212 6433 1.5 22.2
20.78/20.81 c
20.78/20.81 c seconds variables original learned agility
20.78/20.81 c level used conflicts limit MB
20.78/20.81 c
20.98/21.05 c R 21.0 141.8 33516 64.1 4107 40741 3398 6433 2.1 22.0
20.98/21.09 c R 21.1 141.4 33515 64.2 4107 40916 3569 6433 1.3 22.0
21.08/21.13 c + 21.1 141.1 33513 64.2 4107 41055 3704 7076 1.2 22.0
21.08/21.16 c R 21.2 141.0 33513 64.2 4107 41118 3766 7076 1.1 22.0
21.18/21.20 c s 21.2 140.9 33513 64.2 4107 41132 3779 7076 2.2 22.0
21.28/21.35 c R 21.3 140.5 33511 64.3 4107 41435 4076 7076 5.8 22.0
21.28/21.39 c R 21.4 140.3 33510 64.3 4107 41551 4190 7076 2.3 22.1
21.48/21.50 c s 21.5 140.0 33510 64.3 4107 41814 4450 7076 3.0 22.1
21.48/21.52 c R 21.5 140.0 33510 64.3 4107 41851 4487 7076 2.1 22.1
21.58/21.66 c R 21.7 139.5 33508 64.3 4107 42165 4792 7076 2.7 22.1
21.68/21.78 c R 21.8 139.2 33507 64.3 4107 42428 5049 7076 2.6 22.1
21.78/21.88 c s 21.9 139.0 33507 64.3 4107 42594 5210 7076 0.9 22.1
21.88/21.94 c R 21.9 138.8 33507 64.4 4107 42729 5344 7076 1.7 22.2
22.08/22.11 c R 22.1 138.2 33505 64.4 4107 43121 5723 7076 2.4 22.2
22.08/22.17 c R 22.2 138.1 33504 64.4 4107 43249 5848 7076 1.6 22.2
22.28/22.30 c s 22.3 137.9 33504 64.4 4107 43444 6038 7076 1.0 22.2
22.28/22.36 c R 22.3 137.7 33504 64.4 4107 43550 6143 7076 1.4 22.2
22.38/22.46 c R 22.5 137.3 33502 64.4 4107 43828 6413 7076 2.9 22.2
22.38/22.49 c R 22.5 137.2 33501 64.4 4107 43949 6524 7076 1.9 22.3
22.58/22.63 c R 22.6 136.9 33501 64.4 4107 44250 6824 7076 2.5 22.3
22.68/22.77 c s 22.8 136.7 33501 64.4 4107 44468 7037 7076 3.0 22.3
22.88/22.94 c R 22.9 136.4 33500 64.5 4107 44707 3691 7076 3.8 22.0
22.88/22.94 c
22.88/22.94 c seconds variables original learned agility
22.88/22.94 c level used conflicts limit MB
22.88/22.94 c
22.98/23.06 c R 23.1 136.0 33499 64.5 4107 44981 3959 7076 3.0 22.1
23.08/23.18 c R 23.2 135.8 33498 64.5 4107 45202 4177 7076 1.8 22.1
23.28/23.34 c s 23.3 135.6 33498 64.6 4107 45411 4381 7076 2.8 22.1
23.28/23.36 c R 23.4 135.4 33498 64.6 4107 45502 4471 7076 2.2 22.1
23.38/23.47 c R 23.5 135.0 33496 64.6 4107 45778 4741 7076 1.0 22.1
23.58/23.61 c R 23.6 134.7 33496 64.6 4107 46079 5035 7076 1.7 22.1
23.68/23.70 c s 23.7 134.6 33496 64.6 4107 46191 5146 7076 2.8 22.2
23.68/23.79 c R 23.8 134.3 33495 64.7 4107 46381 5330 7076 1.8 22.2
23.88/23.99 c R 24.0 134.0 33495 64.7 4107 46681 5625 7076 2.1 22.2
23.98/24.08 c R 24.1 133.5 33489 64.9 4107 46920 5849 7076 2.4 22.2
24.08/24.15 c s 24.1 133.5 33489 64.9 4107 46989 5916 7076 4.2 22.2
24.18/24.23 c R 24.2 133.4 33488 64.9 4107 47104 6030 7076 3.7 22.2
24.28/24.31 c R 24.3 133.1 33482 65.1 4107 47341 6252 7076 3.4 22.2
24.28/24.38 c R 24.4 133.0 33481 65.3 4107 47460 6367 7076 5.8 22.3
24.38/24.44 c R 24.4 132.9 33480 65.4 4107 47648 6552 7076 2.4 22.3
24.48/24.54 c R 24.5 132.6 33478 65.4 4107 47903 6801 7076 2.4 22.3
24.78/24.86 c s 24.8 132.5 33360 65.4 4106 48035 6793 7076 3.1 22.3
24.78/24.86 c R 24.9 132.5 33360 65.4 4106 48045 6803 7076 2.0 22.3
24.98/25.09 c R 25.1 131.9 33358 65.5 4106 48449 3649 7076 2.5 22.0
25.18/25.23 c R 25.2 131.6 33358 65.6 4106 48749 3945 7076 1.9 22.1
25.18/25.29 c R 25.3 131.4 33356 65.6 4106 48917 4111 7076 3.4 22.1
25.38/25.41 c s 25.4 131.1 33356 65.6 4106 49085 4272 7076 2.6 22.1
25.38/25.41 c
25.38/25.41 c seconds variables original learned agility
25.38/25.41 c level used conflicts limit MB
25.38/25.41 c
25.38/25.44 c R 25.4 131.0 33356 65.6 4106 49218 4402 7076 0.8 22.1
25.78/25.80 c R 25.8 130.4 33356 65.8 4106 50018 5195 7076 5.4 22.2
25.78/25.87 c s 25.9 130.3 33355 65.8 4106 50102 5275 7076 2.0 22.2
25.88/25.93 c R 25.9 130.1 33355 65.8 4106 50202 5374 7076 2.3 22.2
25.98/26.00 c R 26.0 130.0 33354 65.8 4106 50354 5520 7076 3.8 22.2
26.08/26.13 c R 26.1 129.7 33354 65.9 4106 50655 5813 7076 4.2 22.2
26.18/26.26 c s 26.2 129.6 33354 65.9 4106 50957 6113 7076 0.8 22.2
26.28/26.37 c R 26.4 129.3 33353 65.9 4106 51221 6368 7076 3.9 22.3
26.38/26.41 c R 26.4 129.2 33352 65.9 4106 51354 6498 7076 1.1 22.3
26.48/26.55 c R 26.5 128.8 33347 66.0 4106 51707 6838 7076 4.3 22.3
26.58/26.65 c R 26.6 128.6 33346 66.1 4106 51909 7037 7076 1.8 22.3
26.68/26.80 c R 26.8 128.4 33346 66.1 4106 52209 3791 7076 1.8 22.1
26.78/26.87 c s 26.9 128.4 33345 66.2 4106 52306 3887 7076 2.9 22.1
26.88/26.92 c R 26.9 128.2 33345 66.3 4106 52406 3984 7076 1.9 22.1
26.98/27.08 c R 27.1 128.1 33345 66.4 4106 52706 4281 7076 2.3 22.1
27.27/27.33 c s 27.3 128.2 33344 66.8 4106 53134 4700 7076 0.8 22.1
27.27/27.39 c R 27.4 128.0 33342 66.8 4106 53275 4832 7076 4.0 22.1
27.37/27.45 c R 27.4 127.8 33341 66.8 4106 53407 4961 7076 2.2 22.2
27.47/27.58 c R 27.6 127.6 33337 66.8 4106 53688 5232 7076 2.4 22.2
27.87/27.94 c s 27.9 127.4 33318 67.0 4106 53949 5457 7076 2.3 22.2
27.97/28.00 c R 28.0 127.3 33316 67.0 4106 54085 5589 7076 3.3 22.2
28.07/28.18 c R 28.2 127.1 33316 67.0 4106 54385 5882 7076 1.7 22.2
28.07/28.18 c
28.07/28.18 c seconds variables original learned agility
28.07/28.18 c level used conflicts limit MB
28.07/28.18 c
28.27/28.30 c R 28.3 126.8 33315 67.0 4106 54625 6114 7076 2.7 22.3
28.27/28.34 c R 28.3 126.8 33314 67.0 4106 54728 6213 7076 0.9 22.3
28.27/28.39 c s 28.4 126.7 33314 67.0 4106 54756 6237 7076 9.4 22.3
28.47/28.50 c R 28.5 126.6 33311 67.1 4106 54967 6444 7076 4.5 22.3
28.47/28.54 c R 28.5 126.5 33309 67.2 4106 55093 6566 7076 8.2 22.3
28.67/28.72 c R 28.7 126.3 33309 67.3 4106 55396 6861 7076 2.4 22.3
28.87/28.91 c s 28.9 126.1 33309 67.5 4106 55634 7092 7076 1.3 22.4
29.17/29.22 c R 29.2 125.9 33309 67.5 4106 56197 4099 7076 1.6 22.1
29.37/29.42 c R 29.4 125.6 33308 67.5 4106 56667 4563 7076 4.0 22.1
29.37/29.47 c s 29.5 125.5 33308 67.5 4106 56722 4616 7076 1.5 22.1
29.47/29.58 c R 29.6 125.3 33308 67.6 4106 56967 4858 7076 1.3 22.2
29.87/29.96 c R 29.9 124.9 33308 68.0 4106 57768 5648 7076 3.3 22.2
29.87/29.97 c s 30.0 124.9 33307 68.0 4106 57804 5681 7076 2.7 22.2
29.97/30.01 c R 30.0 124.8 33307 68.0 4106 57904 5779 7076 0.8 22.3
29.97/30.08 c R 30.1 124.7 33306 68.1 4106 58041 5908 7076 4.3 22.3
30.07/30.11 c R 30.1 124.6 33305 68.1 4106 58175 6038 7076 1.6 22.3
30.17/30.25 c R 30.2 124.3 33301 68.2 4106 58515 6369 7076 3.3 22.3
30.27/30.32 c R 30.3 124.2 33300 68.2 4106 58697 6546 7076 2.6 22.3
30.37/30.44 c s 30.4 124.1 33300 68.3 4106 58852 6696 7076 1.4 22.3
30.47/30.52 c R 30.5 124.0 33300 68.3 4106 58999 6843 7076 2.3 22.4
30.57/30.67 c R 30.7 123.8 33299 68.3 4106 59287 7123 7076 5.0 22.4
30.77/30.90 c R 30.9 123.5 33298 68.6 4106 59672 3938 7076 1.9 22.1
30.77/30.90 c
30.77/30.90 c seconds variables original learned agility
30.77/30.90 c level used conflicts limit MB
30.77/30.90 c
30.87/30.94 c R 30.9 123.4 33294 68.6 4106 59798 4056 7076 1.4 22.1
31.17/31.24 c s 31.2 123.3 33279 68.6 4106 59914 4152 7076 1.1 22.1
31.17/31.29 c R 31.3 123.2 33278 68.6 4106 60062 4297 7076 1.8 22.1
31.37/31.46 c R 31.4 123.0 33278 68.7 4106 60362 4591 7076 0.6 22.2
31.47/31.53 c + 31.5 123.0 33278 68.7 4106 60534 4760 7783 2.8 22.2
31.47/31.60 c s 31.6 123.0 33278 68.7 4106 60661 4884 7783 1.8 22.2
31.67/31.79 c R 31.8 122.8 33278 68.8 4106 61164 5374 7783 3.7 22.2
31.77/31.86 c R 31.8 122.7 33275 68.9 4106 61315 5521 7783 2.1 22.3
31.87/31.91 c R 31.9 122.6 33274 68.9 4106 61463 5666 7783 8.8 22.3
31.97/32.04 c s 32.0 122.5 33273 68.9 4106 61619 5818 7783 1.6 22.3
31.97/32.05 c R 32.0 122.5 33273 68.9 4106 61629 5828 7783 1.7 22.3
32.17/32.22 c R 32.2 122.3 33273 68.9 4106 61929 6122 7783 5.1 22.3
32.17/32.26 c R 32.2 122.2 33272 68.9 4106 62031 6222 7783 1.1 22.3
32.27/32.37 c R 32.3 122.0 33272 68.9 4106 62333 6523 7783 2.6 22.4
32.47/32.54 c s 32.5 121.8 33272 69.0 4106 62686 6865 7783 1.6 22.4
32.77/32.81 c R 32.8 121.5 33272 69.5 4106 63134 7307 7783 2.9 22.4
32.96/33.09 c R 33.1 121.2 33269 69.5 4106 63639 7794 7783 2.9 22.5
33.06/33.18 c s 33.2 121.1 33268 69.5 4106 63762 4017 7783 2.1 22.1
33.16/33.21 c R 33.2 121.0 33268 69.5 4106 63831 4085 7783 4.0 22.1
33.26/33.37 c R 33.3 120.9 33268 69.7 4106 64135 4379 7783 2.1 22.1
33.46/33.53 c s 33.5 121.0 33267 69.9 4106 64387 4626 7783 2.1 22.2
33.46/33.56 c R 33.5 120.9 33267 69.9 4106 64439 4676 7783 4.7 22.2
33.46/33.56 c
33.46/33.56 c seconds variables original learned agility
33.46/33.56 c level used conflicts limit MB
33.46/33.56 c
33.66/33.71 c R 33.7 120.7 33264 69.9 4106 64754 4982 7783 4.7 22.2
33.76/33.89 c R 33.9 120.7 33264 69.9 4106 65055 5281 7783 3.6 22.2
34.06/34.18 c s 34.2 120.6 33245 70.0 4106 65155 5357 7783 1.6 22.2
34.16/34.28 c R 34.3 120.5 33244 70.0 4106 65357 5554 7783 3.0 22.2
34.36/34.46 c R 34.4 120.3 33244 70.3 4106 65661 5853 7783 2.1 22.3
34.56/34.68 c s 34.7 120.2 33237 70.3 4106 66016 6189 7783 4.3 22.3
34.66/34.75 c R 34.7 120.2 33237 70.3 4106 66109 6281 7783 3.4 22.3
34.86/34.92 c R 34.9 119.9 33236 70.5 4106 66509 6668 7783 0.7 22.4
34.86/34.99 c R 35.0 119.7 33233 70.7 4106 66739 6890 7783 1.7 22.4
35.06/35.16 c R 35.1 119.6 33233 70.7 4106 67041 7184 7783 4.1 22.5
35.16/35.26 c s 35.2 119.9 33231 70.8 4106 67133 7270 7783 0.6 22.5
35.16/35.28 c R 35.2 119.9 33231 70.8 4106 67205 7342 7783 3.5 22.5
35.36/35.41 c R 35.4 119.7 33227 70.8 4106 67499 7624 7783 1.9 22.5
35.56/35.60 c R 35.6 119.4 33225 70.8 4106 67908 4094 7783 4.4 22.1
35.66/35.74 c R 35.7 119.3 33225 71.0 4106 68211 4392 7783 4.3 22.2
35.86/35.93 c s 35.9 119.2 33225 71.0 4106 68582 4756 7783 1.6 22.2
35.96/36.07 c R 36.0 119.0 33224 71.0 4106 68839 5009 7783 1.5 22.2
36.06/36.18 c R 36.2 118.9 33222 71.0 4106 69070 5236 7783 2.6 22.2
36.16/36.26 c R 36.2 118.8 33221 71.1 4106 69234 5397 7783 4.1 22.3
36.26/36.39 c s 36.4 118.7 33221 71.1 4106 69412 5571 7783 3.5 22.3
36.36/36.46 c R 36.4 118.7 33221 71.2 4106 69534 5691 7783 6.7 22.3
36.56/36.61 c R 36.6 118.5 33214 71.2 4106 69871 6006 7783 2.3 22.3
36.56/36.61 c
36.56/36.61 c seconds variables original learned agility
36.56/36.61 c level used conflicts limit MB
36.56/36.61 c
36.76/36.81 c R 36.8 118.2 33212 71.3 4106 70307 6434 7783 2.4 22.4
36.86/36.91 c s 36.9 118.1 33212 71.4 4106 70382 6506 7783 1.9 22.4
36.96/37.02 c R 37.0 118.0 33211 71.4 4106 70549 6671 7783 2.6 22.4
37.06/37.13 c R 37.1 117.9 33210 71.5 4106 70775 6890 7783 2.1 22.4
37.06/37.19 c R 37.2 117.8 33209 71.5 4106 70881 6994 7783 4.5 22.4
37.26/37.37 c R 37.3 117.7 33209 71.6 4106 71181 7291 7783 4.3 22.5
37.66/37.72 c s 37.7 117.7 33196 71.6 4106 71378 7465 7783 2.0 22.5
37.86/37.93 c R 37.9 117.5 33195 71.7 4106 71767 7844 7783 1.8 22.5
37.96/38.09 c R 38.1 117.3 33195 71.7 4106 72068 4217 7783 2.9 22.1
38.16/38.23 c R 38.2 117.2 33194 71.7 4106 72352 4496 7783 1.8 22.1
38.26/38.35 c R 38.3 117.2 33194 71.8 4106 72652 4792 7783 3.2 22.2
38.26/38.38 c s 38.3 117.1 33194 71.9 4106 72704 4844 7783 2.0 22.2
38.46/38.57 c R 38.5 117.0 33193 71.9 4106 72982 5117 7783 2.8 22.2
38.56/38.69 c R 38.7 116.8 33192 71.9 4106 73214 5343 7783 0.9 22.2
38.66/38.77 c s 38.7 116.8 33192 71.9 4106 73331 5459 7783 3.0 22.2
38.76/38.85 c R 38.8 116.7 33192 71.9 4106 73514 5642 7783 4.1 22.3
38.86/38.96 c R 38.9 116.6 33191 71.9 4106 73747 5871 7783 1.3 22.3
38.96/39.08 c R 39.1 116.6 33191 71.9 4106 74047 6168 7783 1.8 22.3
39.06/39.19 c s 39.2 116.5 33191 71.9 4106 74236 6350 7783 5.9 22.3
39.26/39.35 c R 39.3 116.4 33189 72.0 4106 74482 6589 7783 2.5 22.3
39.36/39.45 c R 39.4 116.3 33188 72.1 4106 74737 6833 7783 1.5 22.4
39.56/39.61 c R 39.6 116.2 33188 72.1 4106 75037 7132 7783 2.1 22.4
39.56/39.61 c
39.56/39.61 c seconds variables original learned agility
39.56/39.61 c level used conflicts limit MB
39.56/39.61 c
39.66/39.72 c s 39.7 116.1 33188 72.1 4106 75149 7242 7783 1.5 22.5
40.06/40.16 c R 40.1 116.1 33188 72.2 4106 75841 4008 7783 2.3 22.2
40.66/40.78 c s 40.8 115.7 33178 72.3 4106 76780 4919 7783 2.4 22.2
40.76/40.86 c R 40.8 115.5 33177 72.3 4106 76951 5087 7783 2.3 22.3
40.96/41.05 c R 41.0 115.5 33177 72.3 4106 77252 5384 7783 1.2 22.3
41.06/41.14 c R 41.1 115.4 33176 72.3 4106 77437 5563 7783 3.8 22.3
41.16/41.29 c s 41.3 115.3 33176 72.3 4106 77650 5768 7783 2.6 22.3
41.26/41.32 c R 41.3 115.2 33175 72.3 4106 77752 5862 7783 2.2 22.3
41.36/41.44 c R 41.4 115.1 33175 72.4 4106 78056 6160 7783 4.6 22.4
41.46/41.52 c R 41.5 114.9 33171 72.4 4106 78293 6382 7783 1.7 22.4
41.56/41.68 c R 41.6 114.8 33171 72.4 4106 78593 6677 7783 2.9 22.4
41.76/41.83 c s 41.8 114.7 33170 72.5 4106 78842 6914 7783 1.9 22.4
41.86/41.96 c R 41.9 114.6 33165 72.7 4106 79061 7124 7783 5.4 22.4
41.95/42.09 c R 42.1 114.4 33165 72.9 4106 79362 7419 7783 5.1 22.5
42.05/42.19 c R 42.2 114.3 33164 72.9 4106 79574 7628 7783 5.2 22.5
42.25/42.39 c R 42.4 114.2 33164 73.1 4106 79875 3970 7783 2.9 22.1
42.45/42.56 c s 42.5 114.2 33163 73.1 4106 80099 4189 7783 2.2 22.1
42.55/42.65 c R 42.6 114.1 33162 73.1 4106 80265 4351 7783 1.9 22.1
42.76/42.85 c R 42.8 113.9 33162 73.2 4106 80565 4647 7783 1.2 22.2
42.86/42.91 c s 42.9 113.9 33162 73.2 4106 80676 4758 7783 0.9 22.2
43.05/43.12 c R 43.1 113.6 33160 73.2 4106 81175 5249 7783 3.4 22.2
43.15/43.29 c R 43.3 113.6 33160 73.3 4106 81475 5545 7783 2.6 22.2
43.15/43.29 c
43.15/43.29 c seconds variables original learned agility
43.15/43.29 c level used conflicts limit MB
43.15/43.29 c
43.25/43.30 c s 43.3 113.5 33160 73.3 4106 81491 5561 7783 2.8 22.2
43.65/43.70 c R 43.7 113.3 33160 73.3 4106 82279 6335 7783 2.5 22.3
44.35/44.43 c s 44.4 113.0 33147 73.4 4106 83289 7310 7783 2.4 22.4
44.45/44.51 c R 44.5 112.9 33147 73.4 4106 83377 7398 7783 1.9 22.5
44.55/44.60 c R 44.6 112.9 33145 73.4 4106 83609 7626 7783 3.2 22.5
44.75/44.81 c R 44.8 113.0 33145 73.4 4106 83909 3992 7783 2.4 22.1
44.85/44.97 c R 44.9 112.9 33144 73.5 4106 84212 4290 7783 1.9 22.2
44.96/45.09 c s 45.1 112.9 33144 73.5 4106 84402 4478 7783 1.8 22.2
45.06/45.14 c R 45.1 112.9 33144 73.5 4106 84515 4591 7783 5.4 22.2
45.25/45.37 c R 45.3 112.8 33141 73.5 4106 84941 5006 7783 1.7 22.2
45.45/45.52 c s 45.5 112.7 33140 73.5 4106 85158 5217 7783 1.6 22.3
45.45/45.57 c R 45.5 112.7 33139 73.5 4106 85269 5326 7783 2.1 22.3
45.55/45.68 c R 45.6 112.6 33139 73.5 4106 85572 5628 7783 1.9 22.3
45.85/45.93 c R 45.9 112.4 33138 73.5 4106 86082 6131 7783 5.2 22.4
45.85/45.98 c s 45.9 112.4 33132 73.5 4106 86187 6229 7783 1.8 22.4
45.95/46.05 c R 46.0 112.4 33131 73.5 4106 86307 6345 7783 6.0 22.4
46.15/46.26 c R 46.2 112.5 33128 73.6 4106 86757 6781 7783 2.6 22.5
46.35/46.42 c R 46.4 112.4 33127 73.8 4106 87155 7171 7783 4.6 22.5
46.55/46.60 c s 46.6 112.3 33127 73.8 4106 87432 7442 7783 4.3 22.5
46.55/46.62 c R 46.6 112.3 33127 73.8 4106 87455 7465 7783 2.6 22.5
46.85/46.97 c R 46.9 112.2 33126 74.0 4106 88062 4128 7783 2.9 22.2
46.95/47.10 c R 47.1 112.1 33126 74.0 4106 88362 4419 7783 3.6 22.2
46.95/47.10 c
46.95/47.10 c seconds variables original learned agility
46.95/47.10 c level used conflicts limit MB
46.95/47.10 c
47.15/47.27 c R 47.2 111.9 33125 74.0 4106 88821 4871 7783 5.3 22.2
47.45/47.53 c s 47.5 111.9 33113 74.0 4106 88854 4889 7783 4.1 22.2
47.45/47.55 c R 47.5 111.9 33113 74.0 4106 88925 4957 7783 0.8 22.2
47.65/47.79 c R 47.8 111.9 33110 74.1 4106 89334 5360 7783 4.4 22.3
47.75/47.85 c R 47.8 111.8 33109 74.1 4106 89538 5560 7783 2.0 22.3
47.85/47.92 c + 47.9 111.8 33109 74.2 4106 89668 5690 8561 5.6 22.3
47.85/47.97 c R 47.9 111.9 33109 74.2 4106 89838 5849 8561 2.2 22.3
47.95/48.02 c s 48.0 111.9 33109 74.2 4106 89866 5874 8561 2.7 22.3
48.15/48.26 c R 48.2 111.7 33108 74.2 4106 90380 6382 8561 2.0 22.4
48.25/48.39 c R 48.4 111.6 33107 74.3 4106 90653 6649 8561 3.0 22.4
48.35/48.49 c R 48.5 111.6 33106 74.3 4106 90769 6763 8561 3.1 22.4
48.45/48.58 c s 48.5 111.6 33106 74.3 4106 90855 6844 8561 4.1 22.4
48.55/48.69 c R 48.7 111.5 33106 74.3 4106 91070 7058 8561 3.8 22.5
49.05/49.16 c R 49.1 111.3 33106 74.8 4106 91872 7855 8561 4.0 22.6
49.15/49.23 c R 49.2 111.4 33105 74.8 4106 92031 8011 8561 1.5 22.6
49.15/49.26 c s 49.2 111.4 33105 74.8 4106 92078 8058 8561 6.9 22.6
49.25/49.36 c R 49.3 111.3 33104 74.8 4106 92269 8247 8561 6.0 22.7
49.35/49.43 c R 49.4 111.1 33102 74.8 4106 92485 8446 8561 4.2 22.7
49.55/49.64 c R 49.6 111.1 33102 74.9 4106 92786 4452 8561 4.3 22.2
49.75/49.83 c R 49.8 111.0 33101 74.9 4106 93231 4892 8561 1.6 22.3
49.85/49.92 c s 49.9 110.9 33101 74.9 4106 93467 5125 8561 1.2 22.3
49.85/49.97 c R 49.9 110.9 33101 74.9 4106 93532 5189 8561 5.5 22.3
49.85/49.97 c
49.85/49.97 c seconds variables original learned agility
49.85/49.97 c level used conflicts limit MB
49.85/49.97 c
49.85/49.99 c R 50.0 110.8 33099 74.9 4106 93668 5319 8561 1.5 22.3
50.05/50.13 c R 50.1 110.7 33099 74.9 4106 93970 5614 8561 0.8 22.4
50.25/50.32 c R 50.3 110.5 33098 74.9 4106 94280 5919 8561 1.3 22.4
50.55/50.65 c s 50.6 110.5 33080 75.0 4105 94407 6035 8561 1.2 22.4
50.65/50.75 c R 50.7 110.4 33080 75.0 4105 94580 6206 8561 3.6 22.4
50.85/50.96 c R 50.9 110.5 33079 75.0 4105 95004 6626 8561 1.2 22.5
51.05/51.11 c R 51.1 110.4 33079 75.0 4105 95304 6924 8561 6.1 22.5
51.15/51.22 c s 51.2 110.3 33079 75.0 4105 95545 7163 8561 1.7 22.6
51.25/51.30 c R 51.3 110.3 33078 75.0 4105 95690 7304 8561 6.5 22.6
51.35/51.47 c R 51.4 110.3 33078 75.1 4105 95991 7602 8561 1.6 22.6
51.75/51.87 c R 51.8 110.1 33078 75.1 4105 96797 8395 8561 2.1 22.8
51.75/51.89 c s 51.9 110.1 33078 75.1 4105 96843 8439 8561 2.1 22.8
52.35/52.42 c R 52.4 109.9 33077 75.2 4105 97834 5120 8561 5.4 22.3
52.55/52.60 c s 52.6 109.9 33076 75.2 4105 98113 5394 8561 2.8 22.4
52.55/52.65 c R 52.6 109.9 33076 75.2 4105 98203 5479 8561 1.0 22.4
52.75/52.84 c R 52.8 110.0 33076 75.2 4105 98503 5776 8561 3.1 22.4
52.95/53.02 c R 53.0 109.9 33075 75.2 4105 98864 6130 8561 1.6 22.5
53.05/53.19 c s 53.2 109.7 33074 75.3 4105 99174 6431 8561 4.6 22.5
53.15/53.22 c R 53.2 109.7 33074 75.3 4105 99210 6467 8561 4.8 22.5
53.25/53.35 c R 53.3 109.8 33073 75.3 4105 99395 6649 8561 6.4 22.5
53.45/53.50 c R 53.5 109.8 33073 75.3 4105 99698 6943 8561 5.2 22.6
53.45/53.55 c R 53.5 109.7 33072 75.3 4105 99859 7103 8561 2.0 22.6
53.45/53.55 c
53.45/53.55 c seconds variables original learned agility
53.45/53.55 c level used conflicts limit MB
53.45/53.55 c
53.55/53.70 c R 53.7 109.6 33072 75.4 4105 100e3 7399 8561 2.0 22.6
53.65/53.74 c R 53.7 109.6 33071 75.4 4105 100e3 7503 8561 2.9 22.6
54.05/54.13 c s 54.1 109.6 33060 75.4 4105 100e3 7740 8561 2.3 22.7
54.05/54.15 c R 54.1 109.5 33060 75.4 4105 100e3 7765 8561 2.0 22.7
54.25/54.31 c R 54.3 109.5 33060 75.4 4105 100e3 8064 8561 2.3 22.7
54.35/54.41 c R 54.4 109.4 33058 75.5 4105 100e3 8202 8561 1.3 22.8
54.55/54.62 c R 54.6 109.4 33057 75.5 4105 101e3 8504 8561 2.1 22.9
54.74/54.81 c R 54.8 109.4 33057 75.5 4105 101e3 4510 8561 2.8 22.3
54.74/54.82 c s 54.8 109.4 33056 75.5 4105 101e3 4532 8561 2.0 22.4
54.74/54.86 c R 54.8 109.3 33056 75.5 4105 101e3 4606 8561 0.8 22.4
54.95/55.04 c R 55.0 109.3 33056 75.5 4105 102e3 4902 8561 2.8 22.4
55.24/55.35 c s 55.3 109.2 33054 75.6 4105 102e3 5628 8561 2.5 22.5
55.24/55.35 c R 55.3 109.2 33054 75.6 4105 102e3 5631 8561 1.6 22.5
55.35/55.48 c R 55.4 109.2 33054 75.6 4105 103e3 5931 8561 1.1 22.5
55.84/55.96 c R 55.9 109.0 33054 75.7 4105 103e3 6721 8561 2.0 22.6
57.05/57.18 c s 57.1 108.8 33047 75.7 4105 105e3 8313 8561 2.0 23.0
57.15/57.24 c R 57.2 108.8 33047 75.7 4105 105e3 8404 8561 4.0 23.0
57.24/57.31 c R 57.3 108.8 33046 75.7 4105 105e3 8522 8561 4.7 23.1
57.44/57.52 c R 57.5 108.7 33046 75.7 4105 105e3 4517 8561 3.3 22.4
57.54/57.64 c R 57.6 108.6 33045 75.7 4105 106e3 4746 8561 3.3 22.5
57.64/57.76 c R 57.7 108.5 33045 75.7 4105 106e3 5044 8561 3.5 22.5
57.74/57.86 c s 57.8 108.5 33045 75.7 4105 106e3 5271 8561 2.0 22.5
57.74/57.86 c
57.74/57.86 c seconds variables original learned agility
57.74/57.86 c level used conflicts limit MB
57.74/57.86 c
57.84/57.92 c R 57.9 108.4 33044 75.7 4105 106e3 5417 8561 3.3 22.5
57.94/58.04 c R 58.0 108.3 33044 75.7 4105 107e3 5718 8561 4.9 22.5
58.04/58.12 c R 58.1 108.3 33043 75.7 4105 107e3 5848 8561 2.6 22.5
58.15/58.26 c R 58.2 108.2 33043 75.7 4105 107e3 6144 8561 3.9 22.6
58.44/58.51 c s 58.5 108.1 33043 75.8 4105 108e3 6556 8561 1.6 22.7
58.54/58.68 c R 58.6 108.1 33043 75.8 4105 108e3 6933 8561 1.4 22.7
59.54/59.68 c s 59.6 107.9 33042 76.2 4105 110e3 4357 8561 3.3 22.3
59.64/59.76 c R 59.7 107.9 33042 76.2 4105 110e3 4458 8561 2.5 22.3
59.74/59.83 c R 59.8 107.8 33041 76.2 4105 110e3 4580 8561 2.9 22.3
59.84/59.91 c R 59.9 107.8 33040 76.2 4105 110e3 4805 8561 1.1 22.3
59.94/60.08 c R 60.0 107.8 33040 76.2 4105 110e3 5103 8561 5.1 22.4
60.04/60.14 c R 60.1 107.8 33039 76.2 4105 111e3 5221 8561 8.8 22.4
60.24/60.38 c s 60.3 107.8 33034 76.2 4105 111e3 5267 8561 1.6 22.4
60.45/60.55 c R 60.5 107.7 33034 76.3 4105 111e3 5512 8561 5.7 22.5
60.54/60.66 c R 60.6 107.6 33033 76.3 4105 111e3 5710 8561 2.3 22.5
60.64/60.79 c R 60.8 107.6 33032 76.4 4105 111e3 5958 8561 2.0 22.5
60.84/61.00 c s 61.0 107.5 33032 76.4 4105 112e3 6247 8561 2.6 22.5
60.94/61.00 c R 61.0 107.5 33032 76.4 4105 112e3 6253 8561 2.7 22.5
61.34/61.48 c R 61.4 107.4 33031 76.4 4105 112e3 7141 8561 2.4 22.7
61.45/61.54 c R 61.5 107.4 33029 76.4 4105 113e3 7277 8561 1.3 22.8
61.64/61.73 c s 61.7 107.4 33029 76.4 4105 113e3 7571 8561 2.4 22.8
61.64/61.73 c R 61.7 107.4 33029 76.4 4105 113e3 7572 8561 1.0 22.8
61.64/61.73 c
61.64/61.73 c seconds variables original learned agility
61.64/61.73 c level used conflicts limit MB
61.64/61.73 c
61.74/61.83 c R 61.8 107.3 33027 76.4 4105 113e3 7764 8561 0.7 22.9
61.94/62.02 c R 62.0 107.3 33025 76.4 4105 113e3 8065 8561 5.2 23.0
62.04/62.19 c R 62.2 107.2 33022 76.4 4105 114e3 8352 8561 4.7 23.0
62.24/62.38 c R 62.3 107.2 33021 76.4 4105 114e3 4309 8561 1.0 22.4
62.44/62.51 c R 62.5 107.1 33021 76.4 4105 114e3 4603 8561 1.8 22.4
62.74/62.88 c R 62.8 107.0 33021 76.4 4105 115e3 5395 8561 3.4 22.5
62.84/62.94 c s 62.9 106.9 33020 76.4 4105 115e3 5516 8561 1.9 22.5
62.84/62.98 c R 62.9 106.9 33020 76.4 4105 115e3 5615 8561 1.0 22.5
63.04/63.15 c R 63.1 106.9 33018 76.5 4105 116e3 5896 8561 2.1 22.6
63.14/63.22 c R 63.2 106.8 33017 76.5 4105 116e3 6042 8561 3.7 22.6
63.24/63.38 c R 63.3 106.8 33012 76.6 4105 116e3 6425 8561 2.5 22.6
63.44/63.51 c R 63.5 106.8 33012 76.6 4105 116e3 6723 8561 1.7 22.7
63.65/63.80 c s 63.8 106.8 33003 76.6 4105 117e3 6770 8561 3.2 22.7
63.84/63.91 c R 63.9 106.7 33002 76.6 4105 117e3 7012 8561 4.2 22.7
63.94/64.03 c R 64.0 106.7 33001 76.6 4105 117e3 7259 8561 2.7 22.7
64.04/64.17 c R 64.1 106.6 33001 76.6 4105 117e3 7558 8561 2.5 22.7
64.14/64.29 c R 64.2 106.5 32999 76.6 4105 118e3 7804 8561 2.0 22.8
64.34/64.43 c s 64.4 106.5 32999 76.6 4105 118e3 8066 8561 2.2 22.8
64.34/64.46 c R 64.4 106.5 32999 76.6 4105 118e3 8105 8561 1.6 22.8
64.44/64.56 c R 64.5 106.4 32998 76.6 4105 118e3 8282 8561 1.3 22.9
64.64/64.76 c R 64.7 106.4 32998 76.6 4105 118e3 8579 8561 2.7 22.9
65.24/65.33 c R 65.3 106.4 32998 76.7 4105 119e3 5079 8561 4.8 22.3
65.24/65.33 c
65.24/65.33 c seconds variables original learned agility
65.24/65.33 c level used conflicts limit MB
65.24/65.33 c
65.34/65.45 c s 65.4 106.4 32997 76.7 4105 119e3 5281 8561 1.6 22.4
65.34/65.48 c R 65.4 106.4 32997 76.7 4105 119e3 5380 8561 2.5 22.4
65.54/65.65 c R 65.6 106.3 32992 76.7 4105 120e3 5685 8561 1.7 22.4
65.74/65.83 c R 65.8 106.2 32992 76.8 4105 120e3 5981 8561 3.8 22.5
65.94/66.02 c s 66.0 106.2 32992 76.8 4105 120e3 6288 8561 4.6 22.5
66.34/66.47 c R 66.4 106.3 32991 76.9 4105 121e3 6846 8561 1.7 22.8
66.44/66.59 c R 66.6 106.2 32989 76.9 4105 121e3 7111 8561 2.1 22.8
66.64/66.75 c R 66.7 106.2 32989 76.9 4105 122e3 7408 8561 3.4 22.8
66.94/67.03 c s 67.0 106.2 32984 76.9 4105 122e3 7420 8561 5.0 22.8
67.34/67.44 c R 67.4 106.1 32983 77.0 4105 122e3 8086 8561 2.0 23.0
67.54/67.63 c R 67.6 106.1 32983 77.0 4105 123e3 8386 8561 2.1 23.0
67.64/67.71 c s 67.7 106.1 32983 77.0 4105 123e3 8570 8561 2.5 23.1
67.94/68.05 c R 68.0 105.9 32983 77.0 4105 123e3 4891 8561 5.1 22.6
68.74/68.85 c s 68.8 105.7 32982 77.1 4105 125e3 6298 8561 1.3 22.8
68.84/68.91 c R 68.9 105.7 32982 77.1 4105 125e3 6396 8561 4.3 22.8
68.94/69.03 c R 69.0 105.7 32982 77.1 4105 125e3 6694 8561 1.4 22.9
69.34/69.46 c R 69.4 105.6 32981 77.1 4105 126e3 7421 8561 2.4 23.0
69.44/69.54 c s 69.5 105.6 32981 77.1 4105 126e3 7487 8561 2.9 23.0
69.54/69.64 c R 69.6 105.5 32979 77.1 4105 126e3 7694 8561 2.4 23.1
69.64/69.75 c R 69.7 105.5 32979 77.1 4105 126e3 7990 8561 3.6 23.1
69.74/69.85 c R 69.8 105.5 32978 77.1 4105 127e3 8143 8561 1.9 23.1
69.84/69.98 c R 69.9 105.4 32978 77.1 4105 127e3 8441 8561 5.4 23.1
69.84/69.98 c
69.84/69.98 c seconds variables original learned agility
69.84/69.98 c level used conflicts limit MB
69.84/69.98 c
70.44/70.53 c R 70.5 105.3 32978 77.5 4105 128e3 4918 8561 3.6 22.4
71.14/71.25 c s 71.2 105.2 32971 77.5 4105 129e3 5810 8561 4.7 22.6
71.24/71.32 c R 71.3 105.2 32971 77.6 4105 129e3 5903 8561 6.1 22.6
71.34/71.44 c R 71.4 105.2 32970 77.6 4105 129e3 6108 8561 6.3 22.6
71.55/71.64 c R 71.6 105.2 32970 77.6 4105 129e3 6403 8561 1.3 22.7
71.65/71.71 c R 71.7 105.2 32969 77.6 4105 129e3 6551 8561 2.7 22.7
71.75/71.84 c R 71.8 105.1 32967 77.6 4105 130e3 6853 8561 1.9 22.7
71.85/71.90 c s 71.9 105.1 32967 77.6 4105 130e3 6873 8561 2.5 22.7
72.05/72.11 c R 72.1 105.2 32967 77.6 4105 130e3 7152 8561 0.5 22.8
72.15/72.21 c R 72.2 105.2 32966 77.6 4105 130e3 7350 8561 4.8 22.8
72.25/72.38 c R 72.3 105.1 32966 77.6 4105 131e3 7647 8561 2.4 22.9
72.45/72.58 c s 72.5 105.1 32966 77.7 4105 131e3 8051 8561 1.5 22.9
72.55/72.65 c R 72.6 105.0 32965 77.8 4105 131e3 8212 8561 1.9 22.9
72.65/72.74 c R 72.7 105.0 32964 77.8 4105 131e3 8439 8561 1.4 22.9
72.85/72.96 c R 72.9 104.9 32964 77.8 4105 132e3 4390 8561 1.7 22.2
73.25/73.30 c R 73.3 104.9 32964 77.8 4105 132e3 5180 8561 3.3 22.3
73.35/73.45 c s 73.4 104.8 32963 77.9 4105 133e3 5426 8561 4.9 22.4
73.45/73.50 c R 73.5 104.8 32963 77.9 4105 133e3 5524 8561 1.5 22.4
73.45/73.52 c + 73.5 104.8 32963 77.9 4105 133e3 5562 9417 2.0 22.4
73.65/73.71 c R 73.7 104.8 32963 77.9 4105 133e3 5825 9417 7.2 22.5
74.05/74.13 c R 74.1 104.8 32963 77.9 4105 134e3 6613 9417 3.3 22.7
74.35/74.43 c s 74.4 104.7 32958 77.9 4105 134e3 6762 9417 1.8 22.7
74.35/74.43 c
74.35/74.43 c seconds variables original learned agility
74.35/74.43 c level used conflicts limit MB
74.35/74.43 c
74.35/74.46 c R 74.4 104.7 32958 77.9 4105 134e3 6856 9417 1.6 22.7
74.45/74.55 c R 74.5 104.7 32957 77.9 4105 134e3 7039 9417 1.4 22.7
74.55/74.70 c R 74.7 104.7 32956 77.9 4105 134e3 7175 9417 1.9 22.8
74.85/74.92 c R 74.9 104.8 32956 77.9 4105 135e3 7470 9417 2.6 22.8
75.05/75.11 c R 75.1 104.8 32955 77.9 4105 135e3 7822 9417 1.4 22.9
75.05/75.16 c s 75.1 104.8 32955 77.9 4105 135e3 7825 9417 3.2 22.9
75.25/75.31 c R 75.3 104.7 32955 77.9 4105 135e3 8112 9417 5.9 22.9
75.75/75.86 c R 75.8 104.8 32955 78.0 4105 136e3 8904 9417 0.9 23.2
76.05/76.13 c s 76.1 104.7 32954 78.0 4105 137e3 9441 9417 4.9 23.2
76.14/76.22 c R 76.2 104.7 32954 78.0 4105 137e3 4818 9417 1.6 22.5
76.24/76.37 c R 76.3 104.7 32954 78.0 4105 137e3 5119 9417 2.4 22.5
76.44/76.55 c R 76.5 104.8 32953 78.0 4105 138e3 5487 9417 3.1 22.5
76.54/76.68 c R 76.6 104.7 32953 78.0 4105 138e3 5781 9417 3.2 22.6
76.64/76.79 c s 76.7 104.7 32953 78.0 4105 138e3 6007 9417 2.4 22.6
76.74/76.90 c R 76.9 104.7 32952 78.0 4105 138e3 6180 9417 1.8 22.6
76.95/77.07 c R 77.0 104.7 32952 78.0 4105 139e3 6476 9417 1.4 22.7
77.64/77.74 c s 77.7 104.7 32950 78.0 4105 139e3 7147 9417 2.2 22.8
77.74/77.82 c R 77.8 104.7 32950 78.0 4105 139e3 7268 9417 6.2 22.8
77.95/78.06 c R 78.0 104.6 32947 78.0 4105 140e3 7724 9417 3.7 22.9
78.24/78.30 c R 78.3 104.6 32947 78.0 4105 140e3 8021 9417 2.4 23.0
78.34/78.50 c s 78.4 104.6 32947 78.0 4105 140e3 8249 9417 3.0 23.0
78.44/78.60 c R 78.5 104.5 32946 78.0 4105 141e3 8483 9417 5.1 23.0
78.44/78.60 c
78.44/78.60 c seconds variables original learned agility
78.44/78.60 c level used conflicts limit MB
78.44/78.60 c
78.64/78.75 c R 78.7 104.5 32946 78.0 4105 141e3 8782 9417 3.5 23.1
78.94/79.01 c R 79.0 104.4 32945 78.1 4105 141e3 9355 9417 3.8 23.1
79.15/79.27 c R 79.2 104.4 32945 78.1 4105 142e3 4927 9417 6.0 22.4
79.64/79.79 c R 79.7 104.3 32945 78.2 4105 143e3 5721 9417 5.3 22.6
79.84/79.93 c s 79.9 104.4 32944 78.2 4105 143e3 5903 9417 1.6 22.6
79.84/79.98 c R 79.9 104.4 32944 78.2 4105 143e3 6003 9417 7.2 22.6
80.04/80.16 c R 80.1 104.3 32944 78.2 4105 143e3 6305 9417 4.1 22.7
80.25/80.35 c R 80.3 104.3 32943 78.2 4105 144e3 6628 9417 1.8 22.7
80.44/80.55 c R 80.5 104.3 32943 78.2 4105 144e3 6921 9417 3.2 22.8
80.44/80.59 c s 80.5 104.2 32943 78.2 4105 144e3 7005 9417 0.5 22.8
80.64/80.73 c R 80.7 104.3 32942 78.3 4105 144e3 7241 9417 1.9 22.9
80.84/80.91 c R 80.9 104.3 32942 78.3 4105 144e3 7535 9417 3.1 22.9
81.04/81.13 c R 81.1 104.3 32941 78.3 4105 145e3 7867 9417 8.4 23.0
81.14/81.20 c R 81.2 104.3 32940 78.3 4105 145e3 7994 9417 2.0 23.1
81.14/81.29 c R 81.2 104.3 32939 78.3 4105 145e3 8221 9417 5.7 23.1
81.44/81.57 c s 81.5 104.3 32935 78.3 4105 145e3 8258 9417 3.2 23.1
81.54/81.65 c R 81.6 104.2 32934 78.3 4105 145e3 8475 9417 2.2 23.1
81.74/81.81 c R 81.8 104.2 32934 78.3 4105 146e3 8774 9417 2.6 23.2
82.04/82.12 c R 82.1 104.2 32933 78.3 4105 146e3 9228 9417 4.2 23.2
82.24/82.31 c R 82.3 104.1 32932 78.3 4105 146e3 4809 9417 2.3 22.4
82.35/82.45 c R 82.4 104.1 32932 78.3 4105 147e3 5104 9417 2.2 22.4
82.54/82.60 c s 82.6 104.1 32931 78.4 4105 147e3 5253 9417 4.8 22.5
82.54/82.60 c
82.54/82.60 c seconds variables original learned agility
82.54/82.60 c level used conflicts limit MB
82.54/82.60 c
82.54/82.67 c R 82.6 104.1 32931 78.4 4105 147e3 5353 9417 2.6 22.5
82.74/82.86 c R 82.8 104.1 32931 78.4 4105 147e3 5651 9417 1.7 22.5
82.94/83.00 c R 83.0 104.0 32929 78.4 4105 148e3 5921 9417 2.6 22.6
83.04/83.13 c R 83.1 103.9 32929 78.4 4105 148e3 6219 9417 2.5 22.6
83.14/83.22 c s 83.2 103.9 32929 78.4 4105 148e3 6303 9417 3.3 22.6
83.55/83.69 c R 83.6 104.0 32929 78.4 4105 149e3 7010 9417 4.0 22.8
83.74/83.86 c R 83.8 104.0 32928 78.4 4105 149e3 7354 9417 2.9 22.8
83.84/83.95 c s 83.9 104.0 32928 78.4 4105 149e3 7413 9417 3.7 22.8
84.04/84.11 c R 84.1 104.1 32928 78.4 4105 149e3 7650 9417 1.7 22.9
84.44/84.59 c R 84.5 104.1 32928 78.4 4105 150e3 8444 9417 1.5 23.0
85.04/85.11 c s 85.1 104.0 32923 78.4 4105 151e3 8857 9417 2.4 23.1
85.04/85.19 c R 85.1 104.0 32923 78.4 4105 151e3 8954 9417 2.6 23.2
85.14/85.24 c R 85.2 104.0 32922 78.4 4105 151e3 9156 9417 1.8 23.2
85.34/85.42 c R 85.4 104.0 32921 78.4 4105 151e3 4741 9417 1.7 22.4
85.54/85.65 c R 85.6 104.0 32921 78.4 4105 152e3 5040 9417 5.7 22.5
86.04/86.14 c s 86.1 103.9 32920 78.4 4105 152e3 5808 9417 1.6 22.6
86.04/86.19 c R 86.1 103.8 32920 78.4 4105 152e3 5905 9417 0.9 22.6
86.34/86.40 c R 86.3 103.8 32920 78.5 4105 153e3 6204 9417 4.6 22.6
86.34/86.48 c R 86.4 103.8 32919 78.5 4105 153e3 6349 9417 3.8 22.6
86.54/86.65 c R 86.6 103.8 32919 78.5 4105 153e3 6649 9417 4.4 22.7
86.74/86.82 c s 86.8 103.8 32919 78.5 4105 153e3 6846 9417 7.0 22.8
87.14/87.28 c R 87.2 103.8 32919 78.6 4105 154e3 7445 9417 3.4 23.1
87.14/87.28 c
87.14/87.28 c seconds variables original learned agility
87.14/87.28 c level used conflicts limit MB
87.14/87.28 c
87.44/87.50 c R 87.4 103.8 32918 78.6 4105 154e3 7850 9417 2.2 23.1
87.54/87.60 c s 87.5 103.7 32918 78.6 4105 154e3 7952 9417 4.1 23.1
87.54/87.67 c R 87.6 103.7 32917 78.6 4105 155e3 8138 9417 0.9 23.2
87.74/87.84 c R 87.8 103.6 32917 78.7 4105 155e3 8431 9417 2.7 23.2
88.54/88.61 c s 88.6 103.6 32916 78.7 4105 156e3 9069 9417 2.0 23.4
88.64/88.71 c R 88.7 103.6 32916 78.8 4105 156e3 9219 9417 2.1 23.4
89.34/89.48 c s 89.4 103.5 32915 78.8 4105 157e3 5832 9417 3.6 22.7
89.44/89.53 c R 89.5 103.4 32915 78.8 4105 157e3 5932 9417 2.6 22.8
89.54/89.66 c R 89.6 103.4 32915 78.8 4105 158e3 6230 9417 1.1 22.8
89.94/90.04 c R 90.0 103.3 32915 78.9 4105 158e3 7027 9417 2.2 22.9
90.34/90.43 c s 90.4 103.2 32914 78.9 4105 159e3 8121 9417 1.8 23.1
90.34/90.48 c R 90.4 103.2 32913 78.9 4105 160e3 8217 9417 4.0 23.1
90.54/90.65 c R 90.6 103.1 32913 78.9 4105 160e3 8515 9417 3.0 23.1
91.04/91.13 c s 91.1 103.0 32913 79.0 4105 161e3 9222 9417 3.4 23.3
91.04/91.20 c R 91.1 103.1 32913 79.0 4105 161e3 9311 9417 1.7 23.3
91.33/91.41 c R 91.4 103.0 32912 79.0 4105 161e3 4869 9417 2.2 22.4
91.43/91.56 c R 91.5 103.1 32912 79.0 4105 161e3 5170 9417 3.9 22.5
92.03/92.12 c s 92.1 103.2 32908 79.0 4105 162e3 5647 9417 1.6 22.6
92.24/92.30 c R 92.2 103.2 32908 79.0 4105 162e3 5961 9417 1.7 22.7
92.53/92.62 c R 92.6 103.3 32907 79.0 4105 163e3 6506 9417 2.3 22.7
92.73/92.81 c R 92.7 103.2 32907 79.0 4105 163e3 6806 9417 3.5 22.8
92.73/92.82 c s 92.8 103.2 32907 79.0 4105 163e3 6816 9417 2.7 22.8
92.73/92.82 c
92.73/92.82 c seconds variables original learned agility
92.73/92.82 c level used conflicts limit MB
92.73/92.82 c
93.23/93.35 c R 93.3 103.1 32906 79.0 4105 164e3 7689 9417 2.5 23.0
93.43/93.52 c s 93.5 103.1 32906 79.0 4105 164e3 7937 9417 4.3 23.0
93.43/93.55 c R 93.5 103.1 32906 79.0 4105 164e3 7990 9417 1.3 23.0
93.83/93.90 c R 93.8 103.0 32906 79.0 4105 165e3 8782 9417 1.5 23.2
94.73/94.86 c R 94.8 102.8 32906 79.1 4105 167e3 5986 9417 2.2 22.6
95.63/95.70 c s 95.6 102.6 32903 79.1 4105 168e3 7119 9417 5.4 22.8
95.63/95.76 c R 95.7 102.6 32903 79.1 4105 168e3 7216 9417 3.0 22.8
95.83/95.94 c R 95.9 102.6 32903 79.1 4105 168e3 7516 9417 3.6 22.9
96.23/96.32 c R 96.3 102.5 32901 79.1 4105 169e3 8146 9417 2.4 23.1
96.33/96.45 c s 96.4 102.5 32901 79.1 4105 169e3 8334 9417 2.5 23.1
96.43/96.51 c R 96.4 102.5 32901 79.1 4105 169e3 8442 9417 2.7 23.1
96.93/97.07 c R 97.0 102.4 32901 79.1 4105 170e3 9241 9417 7.0 23.3
97.23/97.39 c s 97.3 102.4 32900 79.1 4105 171e3 5057 9417 1.1 22.5
97.33/97.42 c R 97.4 102.4 32900 79.1 4105 171e3 5155 9417 2.5 22.5
97.43/97.57 c R 97.5 102.4 32900 79.1 4105 171e3 5451 9417 2.0 22.6
97.63/97.74 c R 97.7 102.3 32899 79.1 4105 171e3 5669 9417 2.1 22.6
97.83/97.94 c R 97.9 102.3 32898 79.1 4105 172e3 6041 9417 6.3 22.7
97.93/98.01 c s 97.9 102.3 32898 79.1 4105 172e3 6189 9417 2.3 22.7
97.93/98.09 c R 98.0 102.2 32898 79.1 4105 172e3 6334 9417 4.6 22.7
98.13/98.21 c R 98.1 102.3 32897 79.1 4105 172e3 6562 9417 1.2 22.8
98.33/98.42 c R 98.4 102.3 32897 79.1 4105 173e3 6858 9417 3.0 22.8
98.83/98.96 c s 98.9 102.2 32896 79.2 4105 173e3 7253 9417 2.6 22.9
98.83/98.96 c
98.83/98.96 c seconds variables original learned agility
98.83/98.96 c level used conflicts limit MB
98.83/98.96 c
99.02/99.15 c R 99.1 102.2 32896 79.2 4105 173e3 7648 9417 1.6 22.9
99.12/99.20 c R 99.1 102.2 32895 79.2 4105 173e3 7747 9417 1.8 23.0
99.22/99.31 c R 99.2 102.2 32895 79.2 4105 174e3 8047 9417 2.0 23.0
99.42/99.54 c s 99.5 102.1 32895 79.2 4105 174e3 8660 9417 1.0 23.1
99.52/99.66 c R 99.6 102.1 32895 79.2 4105 175e3 8842 9417 4.3 23.1
100.72/100.83 c R 100.8 102.0 32895 79.2 4105 177e3 6114 9417 5.7 22.7
101.13/101.29 c s 101.2 102.0 32894 79.3 4105 177e3 6919 9417 3.4 22.9
101.22/101.39 c R 101.3 102.0 32894 79.3 4105 177e3 7023 9417 5.4 22.9
101.42/101.52 c R 101.5 102.0 32894 79.3 4105 178e3 7318 9417 3.0 22.9
101.82/101.92 c R 101.9 101.9 32894 79.3 4105 179e3 8109 9417 1.2 23.1
103.32/103.42 c R 103.4 101.9 32894 79.3 4105 181e3 5218 9417 4.4 22.9
103.82/103.98 c s 103.9 101.9 32891 79.3 4105 181e3 5827 9417 3.0 23.0
103.92/104.02 c R 104.0 101.9 32891 79.3 4105 181e3 5923 9417 5.5 23.0
104.02/104.18 c R 104.1 101.8 32891 79.3 4105 182e3 6221 9417 2.8 23.1
104.62/104.76 c R 104.7 101.8 32891 79.3 4105 182e3 7017 9417 1.5 23.3
104.82/104.95 c s 104.9 101.7 32890 79.4 4105 183e3 7334 9417 2.0 23.4
104.92/105.00 c R 104.9 101.7 32890 79.4 4105 183e3 7434 9417 3.4 23.4
105.12/105.25 c R 105.2 101.7 32890 79.4 4105 183e3 7732 9417 4.5 23.5
105.22/105.39 c R 105.3 101.7 32889 79.4 4105 183e3 7898 9417 1.9 23.5
105.32/105.47 c R 105.4 101.7 32887 79.4 4105 183e3 8005 9417 3.3 23.6
105.62/105.73 c s 105.7 101.7 32887 79.4 4105 184e3 8277 9417 6.2 23.6
105.62/105.75 c R 105.7 101.7 32887 79.4 4105 184e3 8302 9417 3.8 23.6
105.62/105.75 c
105.62/105.75 c seconds variables original learned agility
105.62/105.75 c level used conflicts limit MB
105.62/105.75 c
106.12/106.21 c R 106.1 101.6 32887 79.5 4105 184e3 9091 9417 3.4 23.7
107.32/107.43 c R 107.4 101.6 32887 79.5 4105 186e3 6336 9417 3.4 22.8
107.82/107.98 c s 107.9 101.5 32883 79.5 4105 187e3 6897 9417 4.6 22.9
108.02/108.11 c R 108.0 101.5 32882 79.5 4105 187e3 7073 9417 3.8 22.9
108.12/108.29 c R 108.2 101.5 32882 79.5 4105 188e3 7374 9417 2.6 23.0
108.52/108.64 c s 108.6 101.4 32882 79.5 4105 188e3 7893 9417 2.6 23.0
108.62/108.75 c R 108.7 101.4 32882 79.5 4105 188e3 8167 9417 6.3 23.1
109.12/109.26 c R 109.2 101.3 32878 79.5 4105 189e3 9175 9417 1.5 23.3
109.12/109.29 c s 109.2 101.3 32878 79.5 4105 189e3 9289 9417 2.9 23.3
109.22/109.39 c R 109.3 101.3 32878 79.5 4105 190e3 9473 9417 1.9 23.3
109.61/109.73 c R 109.7 101.2 32877 79.5 4105 190e3 5171 9417 3.1 22.4
109.71/109.87 c R 109.8 101.2 32877 79.5 4105 190e3 5469 9417 2.3 22.5
109.82/109.99 c s 109.9 101.2 32877 79.5 4105 191e3 5692 9417 2.6 22.6
110.01/110.15 c R 110.1 101.2 32876 79.5 4105 191e3 6165 9417 1.3 22.6
110.11/110.23 c R 110.2 101.1 32876 79.5 4105 191e3 6462 9417 1.2 22.7
110.21/110.39 c R 110.3 101.1 32875 79.5 4105 192e3 6892 9417 3.2 22.7
110.51/110.60 c s 110.5 101.1 32875 79.5 4105 192e3 7131 9417 2.7 22.8
110.51/110.62 c R 110.5 101.1 32875 79.5 4105 192e3 7194 9417 3.6 22.8
110.61/110.73 c R 110.7 101.0 32874 79.5 4105 192e3 7546 9417 1.6 22.8
110.71/110.81 c R 110.7 101.0 32874 79.5 4105 193e3 7848 9417 1.6 22.8
111.11/111.22 c R 111.1 100.9 32874 79.5 4105 194e3 8647 9417 4.0 23.0
111.41/111.53 c s 111.5 100.9 32868 79.5 4105 194e3 8741 9417 2.9 23.0
111.41/111.53 c
111.41/111.53 c seconds variables original learned agility
111.41/111.53 c level used conflicts limit MB
111.41/111.53 c
112.12/112.26 c R 112.2 100.8 32868 79.5 4105 196e3 5918 9417 2.3 22.5
112.81/112.91 c s 112.8 100.7 32867 79.5 4105 197e3 7188 9417 3.3 22.7
112.81/112.98 c R 112.9 100.6 32866 79.5 4105 197e3 7315 9417 2.0 22.7
113.01/113.13 c R 113.1 100.6 32866 79.5 4105 197e3 7613 9417 2.0 22.8
113.31/113.40 c R 113.3 100.6 32866 79.5 4105 198e3 8414 9417 1.5 22.9
113.31/113.46 c + 113.4 100.6 32866 79.5 4105 198e3 8556 10358 1.5 22.9
113.41/113.52 c s 113.4 100.6 32866 79.5 4105 198e3 8728 10358 1.5 22.9
114.21/114.36 c R 114.3 100.4 32866 79.5 4105 200e3 10406 10358 4.3 23.2
114.61/114.70 c s 114.6 100.4 32859 79.5 4105 200e3 5233 10358 3.8 22.5
114.61/114.75 c R 114.7 100.4 32858 79.5 4105 200e3 5348 10358 1.2 22.5
114.71/114.89 c R 114.8 100.4 32858 79.5 4105 201e3 5646 10358 3.8 22.5
115.11/115.28 c R 115.2 100.3 32858 79.5 4105 201e3 6436 10358 2.5 22.6
115.11/115.29 c s 115.2 100.3 32858 79.5 4105 201e3 6437 10358 1.4 22.6
115.91/116.01 c s 115.9 100.4 32857 79.8 4105 203e3 7675 10358 2.7 22.9
115.91/116.07 c R 116.0 100.4 32857 79.8 4105 203e3 7772 10358 2.8 22.9
116.01/116.13 c R 116.1 100.4 32856 79.8 4105 203e3 7899 10358 5.6 22.9
116.11/116.25 c R 116.2 100.4 32856 79.8 4105 203e3 8192 10358 2.5 23.0
116.21/116.38 c R 116.3 100.4 32854 79.8 4105 204e3 8559 10358 1.2 23.0
116.41/116.52 c R 116.4 100.3 32854 79.8 4105 204e3 8858 10358 2.6 23.0
116.51/116.65 c s 116.6 100.3 32854 79.8 4105 204e3 9018 10358 3.2 23.0
116.91/117.01 c R 116.9 100.3 32854 79.8 4105 205e3 9657 10358 4.4 23.1
117.01/117.19 c R 117.1 100.3 32853 79.8 4105 205e3 9972 10358 2.3 23.2
117.01/117.19 c
117.01/117.19 c seconds variables original learned agility
117.01/117.19 c level used conflicts limit MB
117.01/117.19 c
117.21/117.31 c s 117.2 100.3 32853 79.8 4105 205e3 10226 10358 2.2 23.2
117.21/117.33 c R 117.3 100.3 32853 79.8 4105 205e3 10274 10358 2.4 23.2
117.81/117.94 c R 117.9 100.2 32853 79.8 4105 206e3 5888 10358 4.2 22.6
118.51/118.68 c R 118.6 100.1 32853 79.8 4105 208e3 7884 10358 1.6 22.8
120.41/120.58 c R 120.5 99.7 32853 79.8 4105 213e3 7482 10358 2.6 22.6
122.51/122.60 c s 122.5 99.4 32849 79.9 4105 216e3 5495 10358 1.5 22.5
122.51/122.62 c R 122.5 99.4 32849 79.9 4105 216e3 5593 10358 1.3 22.5
122.51/122.69 c R 122.6 99.4 32849 79.9 4105 217e3 5886 10358 0.9 22.5
122.80/122.90 c R 122.8 99.3 32848 79.9 4105 217e3 6244 10358 3.0 22.6
122.90/123.03 c R 122.9 99.3 32848 79.9 4105 217e3 6540 10358 2.5 22.7
123.11/123.22 c s 123.1 99.3 32848 80.0 4105 218e3 6865 10358 1.8 22.7
123.30/123.41 c R 123.3 99.2 32848 80.0 4105 218e3 7332 10358 1.9 22.8
124.00/124.16 c s 124.1 99.1 32847 80.0 4105 220e3 8769 10358 1.7 23.0
124.00/124.20 c R 124.1 99.1 32847 80.0 4105 220e3 8868 10358 1.9 23.0
124.21/124.35 c R 124.3 99.0 32847 80.0 4105 220e3 9167 10358 2.5 23.0
124.60/124.78 c R 124.7 99.0 32847 80.0 4105 221e3 9963 10358 0.7 23.1
125.60/125.78 c R 125.7 98.9 32847 80.1 4105 223e3 6766 10358 2.6 22.6
127.20/127.35 c s 127.3 98.8 32835 80.1 4105 225e3 8926 10358 3.2 23.0
127.30/127.41 c R 127.3 98.8 32835 80.1 4105 225e3 9015 10358 3.7 23.0
127.50/127.67 c R 127.6 98.8 32835 80.1 4105 225e3 9315 10358 3.3 23.1
128.10/128.24 c R 128.1 98.8 32835 80.2 4105 226e3 10114 10358 4.3 23.3
129.00/129.12 c R 129.0 98.7 32835 80.2 4105 228e3 6909 10358 2.5 22.8
129.00/129.12 c
129.00/129.12 c seconds variables original learned agility
129.00/129.12 c level used conflicts limit MB
129.00/129.12 c
129.70/129.84 c s 129.7 98.6 32834 80.2 4105 230e3 8736 10358 1.9 23.0
129.80/129.90 c R 129.8 98.6 32834 80.2 4105 230e3 8836 10358 3.7 23.0
130.00/130.10 c R 130.0 98.5 32834 80.2 4105 230e3 9133 10358 5.1 23.1
130.50/130.60 c R 130.5 98.5 32834 80.2 4105 231e3 9931 10358 3.0 23.3
130.90/131.09 c s 131.0 98.4 32831 80.2 4105 232e3 5321 10358 1.3 22.5
131.00/131.16 c R 131.1 98.4 32830 80.2 4105 232e3 5462 10358 3.7 22.5
131.10/131.26 c R 131.2 98.4 32830 80.2 4105 232e3 5761 10358 1.4 22.5
131.50/131.65 c s 131.6 98.3 32830 80.2 4105 233e3 6355 10358 2.5 22.6
131.60/131.76 c R 131.7 98.3 32830 80.2 4105 233e3 6559 10358 7.4 22.6
131.80/131.91 c R 131.8 98.3 32829 80.2 4105 233e3 6730 10358 3.9 22.7
132.00/132.14 c R 132.0 98.3 32829 80.2 4105 234e3 7031 10358 2.1 22.7
132.20/132.35 c s 132.3 98.3 32829 80.2 4105 234e3 7287 10358 2.5 22.8
132.30/132.44 c R 132.3 98.3 32828 80.2 4105 234e3 7471 10358 2.1 22.8
132.40/132.56 c R 132.5 98.2 32828 80.2 4105 234e3 7770 10358 4.0 22.8
132.90/133.09 c s 133.0 98.2 32828 80.2 4105 235e3 8326 10358 2.5 23.0
133.00/133.20 c R 133.1 98.2 32827 80.2 4105 235e3 8523 10358 1.6 23.0
133.19/133.39 c R 133.3 98.2 32827 80.2 4105 235e3 8823 10358 6.2 23.1
133.69/133.80 c s 133.7 98.2 32827 80.2 4105 236e3 9415 10358 1.5 23.2
133.69/133.89 c R 133.8 98.1 32826 80.2 4105 236e3 9582 10358 3.9 23.2
133.89/134.03 c R 133.9 98.1 32826 80.2 4105 236e3 9882 10358 2.2 23.3
134.10/134.27 c R 134.2 98.1 32825 80.2 4105 237e3 10288 10358 1.8 23.3
134.29/134.48 c R 134.4 98.1 32825 80.2 4105 237e3 5392 10358 7.0 22.5
134.29/134.48 c
134.29/134.48 c seconds variables original learned agility
134.29/134.48 c level used conflicts limit MB
134.29/134.48 c
134.69/134.90 c s 134.8 98.1 32823 80.2 4105 237e3 5746 10358 3.6 22.5
134.79/134.94 c R 134.9 98.1 32823 80.2 4105 238e3 5839 10358 1.7 22.5
134.99/135.16 c R 135.1 98.1 32823 80.3 4105 238e3 6135 10358 1.9 22.6
135.39/135.52 c R 135.4 98.1 32822 80.3 4105 238e3 6720 10358 2.9 22.7
135.39/135.56 c s 135.5 98.1 32822 80.3 4105 239e3 6757 10358 4.8 22.7
135.59/135.71 c R 135.6 98.0 32822 80.3 4105 239e3 7020 10358 2.3 22.7
135.79/135.91 c R 135.8 98.0 32821 80.3 4105 239e3 7301 10358 3.3 22.8
135.89/136.07 c R 136.0 98.0 32821 80.3 4105 239e3 7604 10358 2.7 22.8
136.09/136.22 c s 136.1 98.0 32821 80.3 4105 240e3 7902 10358 5.4 22.9
136.39/136.54 c R 136.4 97.9 32821 80.3 4105 240e3 8404 10358 4.3 23.0
136.59/136.78 c R 136.7 98.0 32820 80.3 4105 240e3 8695 10358 2.7 23.0
136.69/136.83 c R 136.7 98.0 32819 80.3 4105 241e3 8806 10358 1.4 23.1
136.89/137.00 c s 136.9 98.0 32819 80.3 4105 241e3 9048 10358 1.7 23.1
136.89/137.03 c R 136.9 98.0 32819 80.3 4105 241e3 9102 10358 2.0 23.1
137.49/137.70 c R 137.6 97.9 32819 80.4 4105 242e3 9899 10358 3.7 23.3
138.69/138.80 c R 138.7 97.8 32819 80.4 4105 244e3 6705 10358 2.0 22.8
139.09/139.22 c s 139.1 97.8 32814 80.4 4105 244e3 6950 10358 3.4 22.8
139.19/139.31 c R 139.2 97.8 32814 80.4 4105 244e3 7046 10358 4.6 22.9
139.49/139.63 c R 139.5 97.8 32814 80.4 4105 244e3 7346 10358 4.3 23.0
140.19/140.31 c s 140.2 97.8 32813 80.4 4105 245e3 8086 10358 4.7 23.3
140.29/140.41 c R 140.3 97.8 32813 80.4 4105 245e3 8184 10358 5.4 23.3
140.39/140.58 c R 140.5 97.8 32813 80.4 4105 245e3 8481 10358 3.6 23.4
140.39/140.58 c
140.39/140.58 c seconds variables original learned agility
140.39/140.58 c level used conflicts limit MB
140.39/140.58 c
140.89/141.09 c R 141.0 97.7 32813 80.4 4105 246e3 9278 10358 3.2 23.6
142.69/142.88 c R 142.8 97.8 32813 80.4 4105 248e3 6033 10358 4.0 23.0
143.79/143.98 c s 143.9 97.7 32811 80.4 4105 249e3 6915 10358 0.5 23.4
143.89/144.06 c R 144.0 97.7 32811 80.4 4105 249e3 7016 10358 4.9 23.4
144.09/144.27 c R 144.2 97.7 32811 80.4 4105 250e3 7315 10358 4.7 23.5
144.89/145.03 c R 144.9 97.8 32811 80.5 4105 250e3 8118 10358 4.3 23.8
144.89/145.07 c s 145.0 97.8 32810 80.5 4105 250e3 8182 10358 2.8 23.8
145.09/145.21 c R 145.1 97.8 32810 80.5 4105 251e3 8282 10358 4.5 23.8
145.29/145.49 c R 145.4 97.9 32810 80.5 4105 251e3 8583 10358 4.1 24.0
145.78/145.96 c R 145.9 97.8 32810 80.5 4105 252e3 9382 10358 1.7 24.1
146.88/147.05 c R 147.0 97.8 32810 80.5 4105 254e3 6140 10358 1.0 22.6
148.39/148.57 c s 148.5 97.8 32808 80.5 4105 255e3 7824 10358 1.0 23.0
148.48/148.65 c R 148.5 97.8 32808 80.5 4105 255e3 7924 10358 5.8 23.1
148.68/148.82 c R 148.7 97.7 32808 80.5 4105 256e3 8225 10358 3.6 23.2
149.28/149.43 c R 149.3 97.7 32808 80.5 4105 257e3 9026 10358 3.1 23.4
149.28/149.48 c s 149.4 97.7 32807 80.5 4105 257e3 9119 10358 1.9 23.4
149.39/149.53 c R 149.4 97.7 32807 80.5 4105 257e3 9220 10358 4.0 23.4
149.58/149.78 c R 149.7 97.7 32807 80.5 4105 257e3 9523 10358 2.2 23.5
150.49/150.61 c R 150.5 97.6 32807 80.5 4105 258e3 10326 10358 5.1 23.9
150.78/150.98 c s 150.9 97.7 32806 80.5 4105 258e3 5436 10358 2.2 22.9
150.88/151.03 c R 150.9 97.7 32806 80.5 4105 258e3 5536 10358 2.6 22.9
150.98/151.14 c R 151.0 97.7 32806 80.5 4105 259e3 5836 10358 2.7 23.0
150.98/151.14 c
150.98/151.14 c seconds variables original learned agility
150.98/151.14 c level used conflicts limit MB
150.98/151.14 c
151.69/151.87 c R 151.8 97.7 32806 80.5 4105 259e3 6631 10358 2.7 23.2
153.18/153.34 c R 153.2 97.8 32806 80.5 4105 261e3 8628 10358 2.1 23.8
154.78/154.98 c s 154.9 97.8 32803 80.5 4105 263e3 10138 10358 1.4 24.3
154.88/155.03 c R 154.9 97.8 32802 80.6 4105 263e3 10241 10358 2.2 24.3
155.08/155.27 c R 155.2 97.7 32802 80.6 4105 263e3 5345 10358 5.3 22.7
155.28/155.44 c R 155.3 97.8 32801 80.6 4105 264e3 5555 10358 4.0 22.8
155.58/155.71 c R 155.6 97.8 32801 80.6 4105 264e3 5857 10358 3.3 22.9
155.58/155.77 c s 155.7 97.8 32801 80.6 4105 264e3 5920 10358 3.2 22.9
155.98/156.18 c R 156.1 97.8 32801 80.6 4105 265e3 6657 10358 4.1 23.1
156.18/156.35 c R 156.2 97.8 32799 80.6 4105 265e3 6859 10358 3.3 23.1
156.28/156.43 c s 156.3 97.8 32799 80.6 4105 265e3 7010 10358 2.5 23.1
156.38/156.58 c R 156.5 97.7 32799 80.6 4105 265e3 7156 10358 5.5 23.2
157.18/157.40 c R 157.3 97.7 32799 80.6 4105 266e3 7955 10358 4.4 23.5
158.68/158.83 c R 158.7 97.7 32799 80.6 4105 268e3 9949 10358 4.3 24.0
160.88/161.00 c s 160.9 97.6 32796 80.6 4105 270e3 7151 10358 2.2 23.2
160.88/161.09 c R 161.0 97.6 32796 80.6 4105 270e3 7248 10358 4.4 23.2
160.98/161.19 c R 161.1 97.6 32795 80.6 4105 271e3 7451 10358 1.9 23.3
161.28/161.41 c R 161.3 97.6 32795 80.6 4105 271e3 7752 10358 4.0 23.3
161.48/161.66 c R 161.5 97.6 32794 80.6 4105 271e3 8150 10358 3.0 23.4
161.58/161.75 c s 161.6 97.6 32794 80.6 4105 271e3 8195 10358 2.3 23.4
161.77/161.96 c R 161.9 97.6 32794 80.6 4105 272e3 8444 10358 1.9 23.5
162.58/162.73 c R 162.6 97.7 32794 80.6 4105 272e3 9241 10358 4.2 23.7
162.58/162.73 c
162.58/162.73 c seconds variables original learned agility
162.58/162.73 c level used conflicts limit MB
162.58/162.73 c
163.97/164.19 c R 164.1 97.6 32794 80.7 4105 275e3 6043 10358 4.5 23.0
164.67/164.83 c s 164.7 97.6 32788 80.7 4105 275e3 6791 10358 1.9 23.1
164.78/164.92 c R 164.8 97.6 32788 80.7 4105 275e3 6886 10358 1.8 23.2
164.97/165.15 c R 165.0 97.5 32788 80.7 4105 276e3 7185 10358 3.1 23.2
165.07/165.28 c R 165.2 97.5 32787 80.7 4105 276e3 7668 10358 1.5 23.3
165.37/165.52 c s 165.4 97.5 32787 80.7 4105 276e3 7920 10358 5.0 23.4
165.37/165.56 c R 165.5 97.6 32787 80.7 4105 276e3 7966 10358 1.0 23.4
165.47/165.62 c R 165.5 97.5 32786 80.7 4105 277e3 8073 10358 1.4 23.4
165.67/165.83 c R 165.7 97.5 32786 80.7 4105 277e3 8373 10358 2.4 23.5
166.07/166.20 c s 166.1 97.5 32786 80.7 4105 277e3 8815 10358 5.7 23.6
166.27/166.42 c R 166.3 97.5 32786 80.7 4105 278e3 9165 10358 2.5 23.6
166.98/167.13 c s 167.0 97.5 32785 80.7 4105 278e3 9774 10358 3.0 23.9
167.08/167.21 c R 167.1 97.5 32785 80.7 4105 278e3 9876 10358 3.2 23.9
167.37/167.50 c R 167.4 97.5 32785 80.7 4105 279e3 10175 10358 3.9 24.0
167.97/168.11 c R 168.0 97.5 32785 80.7 4105 279e3 5786 10358 2.1 22.8
168.67/168.85 c s 168.7 97.5 32783 80.7 4105 280e3 6409 10358 2.0 22.9
168.77/168.93 c R 168.8 97.5 32783 80.7 4105 280e3 6508 10358 2.8 23.0
168.97/169.19 c R 169.1 97.5 32783 80.7 4105 281e3 6808 10358 2.1 23.1
169.77/169.93 c R 169.8 97.5 32783 80.7 4105 281e3 7603 10358 3.1 23.4
171.37/171.58 c R 171.5 97.5 32783 80.7 4105 283e3 9597 10358 3.4 24.1
172.27/172.48 c s 172.4 97.5 32781 80.7 4105 284e3 10255 10358 2.8 24.3
172.37/172.58 c R 172.5 97.5 32781 80.7 4105 284e3 10358 10358 4.9 24.4
172.37/172.58 c
172.37/172.58 c seconds variables original learned agility
172.37/172.58 c level used conflicts limit MB
172.37/172.58 c
172.67/172.86 c R 172.7 97.5 32781 80.8 4105 284e3 5480 10358 1.9 23.0
173.07/173.23 c R 173.1 97.4 32781 80.8 4105 285e3 6269 10358 2.6 23.0
174.67/174.80 c R 174.7 97.5 32781 80.8 4105 287e3 8263 10358 2.6 23.6
176.77/176.99 c s 176.9 97.6 32773 80.8 4105 290e3 5461 10358 2.5 22.7
176.87/177.07 c R 177.0 97.6 32773 80.9 4105 290e3 5555 10358 4.1 22.7
177.07/177.24 c R 177.1 97.5 32773 80.9 4105 290e3 5855 10358 5.5 22.8
177.57/177.77 c R 177.6 97.5 32773 80.9 4105 291e3 6657 10358 3.8 23.0
178.27/178.49 c R 178.4 97.4 32773 80.9 4105 293e3 8657 10358 1.7 23.3
178.47/178.65 c s 178.5 97.4 32772 80.9 4105 293e3 8998 10358 2.2 23.3
178.57/178.73 c R 178.6 97.4 32772 80.9 4105 293e3 9098 10358 5.9 23.3
178.87/179.01 c R 178.9 97.4 32772 80.9 4105 294e3 9398 10358 4.2 23.4
179.47/179.64 c R 179.5 97.4 32772 80.9 4105 294e3 10200 10358 3.3 23.6
181.06/181.29 c R 181.2 97.5 32772 80.9 4105 296e3 6996 10358 2.9 23.0
181.16/181.31 c + 181.2 97.5 32772 80.9 4105 296e3 7034 11393 2.2 23.0
181.76/181.99 c s 181.9 97.5 32768 80.9 4105 297e3 7625 11393 1.2 23.1
181.86/182.01 c R 181.9 97.5 32768 80.9 4105 297e3 7721 11393 1.7 23.1
181.96/182.13 c R 182.0 97.4 32768 80.9 4105 297e3 8016 11393 3.6 23.2
182.46/182.63 c R 182.5 97.4 32768 80.9 4105 298e3 8816 11393 2.2 23.3
184.46/184.70 c R 184.6 97.4 32768 80.9 4105 300e3 10817 11393 5.2 24.1
189.15/189.31 c R 189.2 97.5 32768 80.9 4105 305e3 9909 11393 1.3 24.8
190.55/190.70 c s 190.6 97.5 32766 81.0 4105 306e3 11319 11393 2.0 25.1
190.55/190.75 c R 190.6 97.5 32766 81.0 4105 307e3 11418 11393 4.4 25.1
190.55/190.75 c
190.55/190.75 c seconds variables original learned agility
190.55/190.75 c level used conflicts limit MB
190.55/190.75 c
190.85/191.04 c R 190.9 97.5 32766 81.0 4105 307e3 6011 11393 5.2 22.9
190.95/191.11 c R 191.0 97.5 32765 81.0 4105 307e3 6145 11393 3.9 22.9
191.05/191.28 c R 191.1 97.4 32765 81.0 4105 307e3 6442 11393 2.2 23.0
191.26/191.46 c s 191.3 97.4 32765 81.0 4105 308e3 6651 11393 2.2 23.0
191.45/191.63 c R 191.5 97.4 32764 81.0 4105 308e3 6901 11393 2.8 23.1
191.55/191.78 c R 191.6 97.4 32764 81.0 4105 308e3 7200 11393 3.3 23.1
191.95/192.12 c s 192.0 97.3 32764 81.0 4105 309e3 7926 11393 2.8 23.3
192.05/192.20 c R 192.1 97.3 32764 81.0 4105 309e3 7996 11393 4.8 23.3
193.75/193.96 c s 193.8 97.3 32760 81.0 4105 311e3 9719 11393 3.1 23.8
193.85/194.00 c R 193.9 97.3 32760 81.0 4105 311e3 9813 11393 2.0 23.8
193.95/194.18 c R 194.0 97.3 32760 81.0 4105 311e3 10113 11393 3.1 23.9
194.55/194.78 c R 194.6 97.2 32760 81.0 4105 312e3 10912 11393 3.9 24.1
196.05/196.22 c R 196.1 97.2 32760 81.0 4105 314e3 7198 11393 3.0 23.1
200.15/200.39 c R 200.3 97.1 32760 81.0 4105 319e3 6146 11393 3.8 23.1
205.65/205.84 c s 205.7 97.1 32757 81.0 4105 324e3 11217 11393 2.5 25.0
205.75/205.91 c R 205.8 97.1 32757 81.0 4105 324e3 11315 11393 2.8 25.0
205.95/206.19 c R 206.0 97.1 32757 81.0 4105 324e3 5905 11393 3.0 22.9
206.44/206.64 c R 206.5 97.0 32757 81.0 4105 325e3 6702 11393 1.8 23.2
206.94/207.19 c s 207.1 97.0 32756 81.0 4105 326e3 7392 11393 1.9 23.4
207.04/207.23 c R 207.1 97.0 32756 81.0 4105 326e3 7494 11393 2.3 23.4
207.14/207.32 c R 207.2 97.0 32755 81.0 4105 326e3 7694 11393 2.5 23.4
207.24/207.48 c R 207.3 97.0 32755 81.0 4105 326e3 7993 11393 2.3 23.4
207.24/207.48 c
207.24/207.48 c seconds variables original learned agility
207.24/207.48 c level used conflicts limit MB
207.24/207.48 c
207.65/207.89 c s 207.8 97.0 32755 81.0 4105 327e3 8425 11393 6.1 23.5
208.24/208.47 c R 208.3 97.0 32755 81.0 4105 327e3 8790 11393 4.7 23.9
210.04/210.28 c R 210.1 96.9 32755 81.0 4105 329e3 10790 11393 2.2 24.6
210.84/211.10 c s 211.0 96.9 32752 81.0 4105 329e3 11205 11393 2.4 24.7
210.95/211.20 c R 211.1 96.9 32752 81.0 4105 330e3 11303 11393 2.4 24.7
211.24/211.43 c R 211.3 96.9 32752 81.0 4105 330e3 5898 11393 3.7 22.8
211.64/211.83 c R 211.7 96.9 32752 81.0 4105 331e3 6698 11393 2.5 22.9
213.54/213.76 c R 213.6 96.8 32752 81.1 4105 333e3 8697 11393 7.3 23.7
215.74/215.98 c s 215.8 96.8 32749 81.1 4105 335e3 11205 11393 2.6 24.3
215.84/216.04 c R 215.9 96.8 32749 81.1 4105 335e3 11303 11393 3.0 24.3
216.04/216.23 c R 216.1 96.8 32748 81.1 4105 335e3 5761 11393 4.9 22.6
216.24/216.45 c R 216.3 96.8 32748 81.1 4105 336e3 6057 11393 3.9 22.7
216.94/217.13 c R 217.0 96.7 32748 81.1 4105 337e3 6856 11393 1.9 23.0
218.74/218.97 c s 218.8 96.7 32747 81.1 4105 338e3 8684 11393 3.1 23.7
218.84/219.05 c R 218.9 96.7 32747 81.1 4105 339e3 8784 11393 1.9 23.8
219.14/219.38 c R 219.2 96.7 32747 81.1 4105 339e3 9086 11393 2.1 23.9
219.94/220.11 c R 220.0 96.7 32747 81.1 4105 340e3 9888 11393 2.6 24.1
221.14/221.36 c s 221.2 96.7 32746 81.1 4105 341e3 11029 11393 3.8 24.4
221.24/221.43 c R 221.3 96.7 32746 81.1 4105 341e3 11129 11393 4.7 24.4
221.54/221.75 c R 221.6 96.7 32746 81.1 4105 341e3 11428 11393 2.5 24.5
221.84/222.06 c R 221.9 96.7 32745 81.1 4105 342e3 6109 11393 3.7 22.7
221.94/222.12 c s 222.0 96.7 32745 81.1 4105 342e3 6205 11393 3.2 22.7
221.94/222.12 c
221.94/222.12 c seconds variables original learned agility
221.94/222.12 c level used conflicts limit MB
221.94/222.12 c
222.04/222.26 c R 222.1 96.7 32745 81.1 4105 342e3 6408 11393 4.3 22.8
222.74/222.93 c R 222.8 96.7 32745 81.1 4105 343e3 7204 11393 3.5 23.0
225.24/225.46 c R 225.3 96.8 32745 81.1 4105 345e3 9200 11393 3.6 24.0
229.24/229.42 c R 229.3 96.8 32745 81.1 4105 349e3 8234 11393 5.3 23.6
229.64/229.89 c s 229.7 96.7 32742 81.1 4105 350e3 8512 11393 1.3 23.6
229.74/229.98 c R 229.8 96.7 32742 81.1 4105 350e3 8609 11393 2.1 23.7
229.94/230.19 c R 230.0 96.7 32742 81.1 4105 350e3 8911 11393 3.0 23.7
230.54/230.78 c R 230.6 96.7 32742 81.1 4105 351e3 9714 11393 1.8 23.9
232.64/232.82 c R 232.7 96.6 32742 81.1 4105 353e3 5903 11393 2.5 23.0
233.94/234.18 c s 234.0 96.6 32741 81.1 4105 354e3 7365 11393 0.8 23.4
234.04/234.21 c R 234.1 96.6 32741 81.1 4105 355e3 7464 11393 2.6 23.4
234.34/234.54 c R 234.4 96.5 32740 81.1 4105 355e3 7853 11393 4.1 23.5
234.54/234.76 c R 234.6 96.5 32740 81.1 4105 355e3 8153 11393 3.2 23.6
234.74/234.92 c s 234.8 96.5 32740 81.1 4105 355e3 8324 11393 2.2 23.6
235.44/235.69 c R 235.5 96.5 32740 81.1 4105 356e3 8951 11393 4.7 23.9
236.24/236.40 c s 236.3 96.6 32739 81.1 4105 357e3 9696 11393 3.9 24.2
236.34/236.52 c R 236.4 96.6 32739 81.1 4105 357e3 9796 11393 2.8 24.2
236.44/236.60 c R 236.4 96.6 32738 81.1 4105 357e3 9927 11393 4.0 24.2
236.64/236.86 c R 236.7 96.6 32738 81.1 4105 357e3 10225 11393 5.1 24.3
236.94/237.13 c s 237.0 96.5 32738 81.1 4105 358e3 10659 11393 1.9 24.3
237.14/237.37 c R 237.2 96.5 32738 81.1 4105 358e3 11029 11393 2.0 24.4
238.24/238.40 c s 238.2 96.5 32735 81.1 4105 359e3 6177 11393 1.8 22.7
238.24/238.40 c
238.24/238.40 c seconds variables original learned agility
238.24/238.40 c level used conflicts limit MB
238.24/238.40 c
238.24/238.46 c R 238.3 96.5 32735 81.1 4105 359e3 6275 11393 1.9 22.7
238.44/238.64 c R 238.5 96.5 32735 81.1 4105 359e3 6566 11393 2.4 22.8
238.63/238.89 c R 238.7 96.5 32735 81.1 4105 360e3 7361 11393 1.4 22.9
239.73/239.96 c R 239.8 96.4 32735 81.1 4105 362e3 9352 11393 2.5 23.2
243.23/243.41 c R 243.3 96.3 32735 81.2 4105 367e3 8352 11393 4.9 23.1
244.83/245.08 c s 244.9 96.2 32731 81.2 4105 369e3 10632 11393 1.5 23.7
244.93/245.13 c R 245.0 96.2 32731 81.2 4105 369e3 10729 11393 1.7 23.7
245.04/245.27 c R 245.1 96.2 32731 81.2 4105 370e3 11031 11393 1.8 23.8
245.53/245.79 c s 245.6 96.2 32730 81.2 4105 370e3 6043 11393 1.3 22.7
245.63/245.82 c R 245.7 96.2 32730 81.2 4105 371e3 6120 11393 3.9 22.7
245.83/246.03 c R 245.9 96.1 32730 81.2 4105 371e3 6419 11393 5.2 22.7
246.53/246.75 c R 246.6 96.2 32730 81.2 4105 372e3 7214 11393 2.8 22.9
248.03/248.23 c R 248.1 96.2 32730 81.2 4105 374e3 9209 11393 2.2 23.4
251.73/251.98 c R 251.8 96.0 32730 81.2 4105 378e3 8244 11393 3.4 23.4
252.93/253.20 c s 253.0 96.0 32725 81.2 4105 380e3 9866 11393 1.6 23.8
253.03/253.24 c R 253.1 95.9 32725 81.2 4105 380e3 9965 11393 2.0 23.8
253.33/253.51 c R 253.3 95.9 32725 81.2 4105 381e3 10258 11393 4.1 23.9
253.73/253.99 c R 253.8 95.9 32725 81.2 4105 381e3 11061 11393 2.4 24.0
254.83/255.09 c s 254.9 95.9 32724 81.3 4105 383e3 6696 11393 2.5 22.9
254.93/255.14 c R 255.0 95.8 32724 81.3 4105 383e3 6796 11393 2.3 22.9
255.03/255.25 c R 255.1 95.8 32724 81.3 4105 383e3 7088 11393 2.5 23.0
255.13/255.37 c R 255.2 95.8 32723 81.3 4105 383e3 7327 11393 1.6 23.0
255.13/255.37 c
255.13/255.37 c seconds variables original learned agility
255.13/255.37 c level used conflicts limit MB
255.13/255.37 c
255.33/255.53 c R 255.4 95.8 32723 81.3 4105 384e3 7628 11393 1.6 23.1
255.43/255.64 c R 255.5 95.8 32722 81.3 4105 384e3 7852 11393 2.3 23.1
255.53/255.77 c s 255.6 95.8 32722 81.3 4105 384e3 7911 11393 2.3 23.2
255.73/255.92 c R 255.8 95.8 32722 81.3 4105 384e3 8143 11393 2.3 23.2
256.33/256.56 c R 256.4 95.8 32722 81.3 4105 385e3 8939 11393 2.7 23.4
257.32/257.50 c s 257.3 95.8 32720 81.3 4105 386e3 9789 11393 2.3 23.5
257.32/257.57 c R 257.4 95.8 32720 81.3 4105 386e3 9888 11393 2.5 23.5
257.52/257.75 c R 257.6 95.8 32720 81.3 4105 386e3 10189 11393 2.8 23.6
258.23/258.49 c R 258.3 95.8 32720 81.3 4105 387e3 10985 11393 2.4 23.9
260.12/260.34 c R 260.2 95.8 32720 81.3 4105 389e3 7275 11393 2.9 23.3
262.02/262.24 c s 262.1 95.7 32718 81.3 4105 391e3 9243 11393 1.3 23.9
262.12/262.33 c R 262.2 95.7 32718 81.3 4105 391e3 9341 11393 4.2 23.9
262.22/262.45 c R 262.3 95.7 32718 81.3 4105 391e3 9640 11393 1.8 24.0
262.62/262.87 c R 262.7 95.7 32718 81.3 4105 392e3 10444 11393 1.1 24.1
262.72/262.95 c s 262.8 95.7 32717 81.3 4105 392e3 10658 11393 1.5 24.2
262.82/263.02 c R 262.9 95.7 32717 81.3 4105 393e3 10757 11393 2.9 24.2
262.92/263.18 c R 263.0 95.6 32717 81.3 4105 393e3 11060 11393 3.3 24.3
263.92/264.10 c R 263.9 95.7 32717 81.3 4105 394e3 6131 11393 2.6 22.8
265.72/265.96 c R 265.8 95.7 32717 81.3 4105 396e3 8134 11393 2.0 23.5
267.52/267.75 c s 267.6 95.7 32716 81.3 4105 397e3 9340 11393 2.8 24.1
267.62/267.83 c R 267.7 95.7 32716 81.3 4105 397e3 9441 11393 5.7 24.1
267.92/268.19 c R 268.0 95.7 32716 81.3 4105 397e3 9740 11393 3.4 24.2
267.92/268.19 c
267.92/268.19 c seconds variables original learned agility
267.92/268.19 c level used conflicts limit MB
267.92/268.19 c
268.72/268.95 c R 268.8 95.8 32716 81.3 4105 398e3 10540 11393 1.9 24.5
269.82/270.04 c R 269.9 95.7 32716 81.3 4105 400e3 6774 11393 1.5 23.2
271.01/271.27 c s 271.1 95.6 32712 81.3 4105 402e3 8596 11393 2.0 23.6
271.11/271.33 c R 271.2 95.6 32711 81.3 4105 402e3 8695 11393 1.4 23.6
271.41/271.60 c R 271.4 95.6 32711 81.3 4105 402e3 8993 11393 5.1 23.6
271.81/272.03 c s 271.8 95.6 32711 81.3 4105 403e3 9638 11393 2.5 23.8
271.91/272.11 c R 271.9 95.5 32711 81.3 4105 403e3 9793 11393 2.0 23.8
272.91/273.17 c R 273.0 95.5 32711 81.3 4105 405e3 6077 11393 1.9 22.9
275.71/275.93 c R 275.8 95.4 32711 81.3 4105 410e3 10887 11393 1.8 24.2
279.91/280.16 c s 280.0 95.2 32704 81.3 4105 416e3 5911 11393 1.5 23.0
280.01/280.21 c R 280.0 95.2 32704 81.3 4105 417e3 6005 11393 2.2 23.0
280.11/280.35 c R 280.2 95.2 32704 81.3 4105 417e3 6305 11393 2.0 23.1
280.51/280.74 c R 280.6 95.1 32704 81.3 4105 418e3 7111 11393 1.9 23.3
281.41/281.69 c R 281.5 95.1 32704 81.3 4105 420e3 9115 11393 1.9 23.8
283.70/283.90 c s 283.7 95.0 32703 81.3 4105 423e3 6981 11393 2.4 23.2
283.70/283.94 c R 283.8 95.0 32703 81.3 4105 423e3 7084 11393 1.6 23.2
283.80/284.10 c R 283.9 95.0 32703 81.3 4105 424e3 7384 11393 1.6 23.3
284.20/284.47 c R 284.3 95.0 32703 81.3 4105 424e3 8184 11393 1.5 23.5
285.10/285.38 c R 285.2 94.9 32703 81.3 4105 426e3 10186 11393 2.1 23.9
287.40/287.68 c R 287.5 94.8 32703 81.3 4105 431e3 9251 11393 2.3 23.6
288.10/288.30 c s 288.1 94.7 32702 81.3 4105 432e3 9923 11393 1.9 23.7
288.10/288.35 c R 288.2 94.7 32702 81.3 4105 432e3 10022 11393 1.7 23.8
288.10/288.35 c
288.10/288.35 c seconds variables original learned agility
288.10/288.35 c level used conflicts limit MB
288.10/288.35 c
288.20/288.47 c R 288.3 94.7 32702 81.3 4105 432e3 10324 11393 2.1 23.8
288.60/288.88 c R 288.7 94.7 32702 81.3 4105 433e3 11124 11393 1.3 24.0
289.70/289.90 c R 289.7 94.6 32702 81.3 4105 435e3 7399 11393 5.7 23.2
290.80/291.08 c s 290.9 94.5 32701 81.3 4105 438e3 9779 11393 1.6 23.5
290.90/291.13 c R 290.9 94.5 32701 81.3 4105 438e3 9878 11393 1.7 23.5
291.00/291.28 c R 291.1 94.5 32701 81.3 4105 438e3 10178 11393 5.8 23.6
291.30/291.57 c R 291.4 94.4 32700 81.3 4105 439e3 10759 11393 3.9 23.6
291.50/291.79 c R 291.6 94.4 32700 81.3 4105 439e3 11059 11393 5.0 23.7
291.80/292.10 c s 291.9 94.4 32699 81.3 4105 439e3 11064 11393 2.0 23.7
292.00/292.27 c R 292.1 94.4 32698 81.3 4105 439e3 11404 11393 2.9 23.7
292.20/292.43 c R 292.2 94.4 32698 81.3 4105 439e3 6001 11393 1.3 22.7
292.50/292.78 c R 292.6 94.4 32698 81.3 4105 440e3 6803 11393 2.6 22.9
293.30/293.57 c R 293.4 94.3 32698 81.3 4105 442e3 8806 11393 1.7 23.3
293.90/294.14 c + 294.0 94.3 32698 81.3 4105 444e3 10134 12532 1.0 23.6
295.50/295.72 c R 295.5 94.2 32698 81.3 4105 447e3 7314 12532 2.2 23.1
295.90/296.20 c s 296.0 94.1 32696 81.3 4105 448e3 7812 12532 1.7 23.1
296.00/296.22 c R 296.0 94.1 32696 81.3 4105 448e3 7910 12532 2.0 23.1
296.20/296.40 c R 296.2 94.1 32696 81.4 4105 448e3 8208 12532 3.4 23.2
296.50/296.73 c R 296.5 94.1 32694 81.4 4105 449e3 8878 12532 2.6 23.2
296.60/296.87 c R 296.7 94.1 32694 81.4 4105 449e3 9176 12532 5.7 23.3
296.70/296.91 c s 296.7 94.1 32694 81.4 4105 449e3 9175 12532 4.0 23.3
297.10/297.33 c R 297.1 94.1 32694 81.4 4105 450e3 9975 12532 2.5 23.4
297.10/297.33 c
297.10/297.33 c seconds variables original learned agility
297.10/297.33 c level used conflicts limit MB
297.10/297.33 c
297.20/297.44 c R 297.3 94.1 32693 81.4 4105 450e3 10185 12532 5.2 23.4
297.30/297.52 c R 297.3 94.1 32692 81.4 4105 450e3 10303 12532 1.7 23.4
297.40/297.61 c s 297.4 94.1 32692 81.4 4105 450e3 10425 12532 3.1 23.5
297.50/297.71 c R 297.5 94.1 32692 81.4 4105 450e3 10602 12532 3.0 23.5
297.90/298.12 c R 297.9 94.0 32692 81.4 4105 451e3 11401 12532 2.0 23.6
298.20/298.44 c s 298.3 94.0 32691 81.4 4105 452e3 11945 12532 3.0 23.7
298.30/298.50 c R 298.3 94.0 32691 81.4 4105 452e3 12044 12532 2.1 23.7
298.40/298.68 c R 298.5 94.0 32691 81.4 4105 452e3 12341 12532 1.6 23.8
298.80/299.10 c R 298.9 93.9 32691 81.4 4105 453e3 6873 12532 2.4 22.8
299.80/300.04 c R 299.8 93.9 32691 81.4 4105 455e3 8881 12532 2.0 23.3
300.90/301.13 c s 300.9 93.8 32688 81.4 4105 457e3 10369 12532 2.2 23.7
300.90/301.18 c R 301.0 93.8 32688 81.4 4105 457e3 10468 12532 1.8 23.7
301.10/301.32 c R 301.1 93.8 32688 81.4 4105 457e3 10770 12532 1.8 23.8
301.40/301.67 c R 301.5 93.8 32688 81.4 4105 458e3 11574 12532 1.8 24.0
302.50/302.73 c R 302.5 93.8 32688 81.4 4105 460e3 7262 12532 1.9 23.3
305.10/305.30 c R 305.1 93.7 32688 81.4 4105 465e3 12077 12532 1.5 24.5
310.69/310.92 c R 310.7 93.4 32688 81.4 4105 476e3 10692 12532 2.1 23.9
316.59/316.81 c s 316.6 93.1 32686 81.4 4105 487e3 9437 12532 2.0 23.6
316.59/316.89 c R 316.7 93.1 32686 81.4 4105 487e3 9539 12532 2.1 23.6
316.78/317.04 c R 316.8 93.1 32686 81.4 4105 487e3 9841 12532 1.6 23.7
317.18/317.47 c R 317.3 93.1 32686 81.4 4105 488e3 10641 12532 5.1 23.8
317.28/317.53 c s 317.3 93.1 32685 81.4 4105 488e3 10789 12532 2.1 23.8
317.28/317.53 c
317.28/317.53 c seconds variables original learned agility
317.28/317.53 c level used conflicts limit MB
317.28/317.53 c
317.28/317.57 c R 317.4 93.1 32685 81.4 4105 489e3 10886 12532 1.2 23.8
317.48/317.74 c R 317.5 93.0 32685 81.4 4105 489e3 11184 12532 1.0 23.8
317.48/317.76 c R 317.6 93.0 32684 81.4 4105 489e3 11287 12532 2.2 23.8
317.69/317.90 c R 317.7 93.0 32684 81.4 4105 489e3 11583 12532 3.5 23.8
317.88/318.16 c s 317.9 93.0 32684 81.4 4105 490e3 12053 12532 3.4 23.9
318.08/318.36 c R 318.1 92.9 32684 81.4 4105 490e3 12378 12532 6.6 23.9
318.98/319.20 c R 319.0 92.9 32684 81.4 4105 492e3 8091 12532 1.8 23.1
321.08/321.37 c R 321.2 92.8 32684 81.4 4105 497e3 6593 12532 1.7 23.0
326.78/327.02 c s 326.8 92.5 32680 81.4 4105 508e3 11044 12532 1.6 23.8
326.78/327.06 c R 326.8 92.5 32680 81.4 4105 508e3 11142 12532 4.6 23.8
326.98/327.23 c R 327.0 92.5 32680 81.4 4105 508e3 11442 12532 2.9 23.9
326.98/327.29 c R 327.1 92.5 32679 81.4 4105 508e3 11574 12532 5.0 23.9
327.18/327.41 c R 327.2 92.4 32679 81.4 4105 508e3 11873 12532 1.4 23.9
327.38/327.69 c s 327.5 92.4 32679 81.4 4105 509e3 12357 12532 3.3 24.0
327.58/327.87 c R 327.7 92.4 32679 81.4 4105 509e3 6367 12532 2.0 22.7
328.58/328.81 c s 328.6 92.3 32678 81.5 4105 511e3 8334 12532 2.2 23.0
328.58/328.86 c R 328.6 92.3 32678 81.5 4105 511e3 8432 12532 3.6 23.1
328.78/329.04 c R 328.8 92.3 32678 81.5 4105 512e3 8727 12532 2.6 23.1
329.08/329.40 c R 329.2 92.3 32678 81.5 4105 512e3 9524 12532 2.0 23.2
330.08/330.39 c R 330.2 92.2 32678 81.5 4105 514e3 11530 12532 2.3 23.7
332.47/332.73 c R 332.5 92.1 32678 81.5 4105 519e3 10017 12532 1.1 23.6
333.57/333.88 c s 333.7 92.1 32672 81.5 4105 521e3 11730 12532 4.8 23.9
333.57/333.88 c
333.57/333.88 c seconds variables original learned agility
333.57/333.88 c level used conflicts limit MB
333.57/333.88 c
333.67/333.94 c R 333.7 92.1 32659 81.5 4105 521e3 11870 12532 6.9 23.9
333.87/334.10 c R 333.9 92.1 32659 81.5 4105 521e3 12171 12532 2.1 24.0
334.27/334.58 c R 334.4 92.0 32659 81.5 4103 522e3 6677 12532 1.6 22.9
335.18/335.50 c R 335.3 92.0 32659 81.5 4103 524e3 8681 12532 1.5 23.2
337.67/337.92 c R 337.7 91.9 32659 81.5 4103 529e3 7180 12532 1.9 23.1
339.97/340.29 c s 340.1 91.8 32657 81.5 4103 533e3 11219 12532 3.0 24.0
340.07/340.33 c R 340.1 91.8 32657 81.5 4103 533e3 11318 12532 3.1 24.0
340.17/340.44 c R 340.2 91.7 32657 81.5 4103 533e3 11616 12532 3.4 24.0
340.57/340.85 c R 340.6 91.7 32657 81.5 4103 534e3 12415 12532 2.2 24.1
341.57/341.87 c R 341.7 91.6 32657 81.5 4103 536e3 8105 12532 2.0 23.1
341.67/341.99 c s 341.8 91.6 32656 81.5 4103 536e3 8262 12532 1.7 23.2
341.77/342.04 c R 341.8 91.6 32656 81.5 4103 537e3 8362 12532 1.8 23.2
341.97/342.21 c R 342.0 91.6 32656 81.5 4103 537e3 8663 12532 2.0 23.2
342.27/342.59 c R 342.4 91.6 32656 81.5 4103 538e3 9465 12532 2.1 23.4
343.37/343.64 c R 343.4 91.6 32656 81.5 4103 540e3 11471 12532 2.2 23.9
345.97/346.29 c R 346.1 91.5 32656 81.6 4103 544e3 9970 12532 2.3 23.8
351.97/352.21 c R 352.0 91.2 32656 81.6 4103 556e3 8598 12532 1.7 23.4
365.06/365.35 c R 365.1 90.7 32656 81.6 4103 581e3 9049 12532 2.0 23.7
395.24/395.51 c R 395.3 89.5 32656 81.6 4103 639e3 10081 12532 2.3 23.7
408.74/409.07 c + 408.8 89.0 32656 81.6 4103 664e3 10196 13785 1.7 24.0
418.63/418.99 c s 418.7 88.6 32655 81.6 4103 684e3 9087 13785 1.6 23.6
418.74/419.03 c R 418.8 88.6 32655 81.6 4103 684e3 9187 13785 2.8 23.6
418.74/419.03 c
418.74/419.03 c seconds variables original learned agility
418.74/419.03 c level used conflicts limit MB
418.74/419.03 c
418.93/419.24 c R 419.0 88.6 32655 81.6 4103 684e3 9488 13785 3.8 23.7
419.23/419.59 c R 419.3 88.6 32655 81.6 4103 685e3 10290 13785 2.2 23.8
420.53/420.87 c R 420.6 88.5 32655 81.6 4103 687e3 12283 13785 2.6 24.3
420.93/421.25 c s 421.0 88.6 32654 81.6 4103 688e3 12989 13785 1.5 24.4
420.93/421.30 c R 421.0 88.6 32654 81.6 4103 688e3 13087 13785 1.9 24.4
421.13/421.45 c R 421.2 88.5 32654 81.7 4103 688e3 13387 13785 5.4 24.4
421.63/421.94 c R 421.7 88.5 32654 81.7 4103 689e3 7265 13785 4.6 23.1
422.53/422.85 c R 422.6 88.5 32654 81.7 4103 691e3 9266 13785 2.0 23.5
425.13/425.40 c R 425.1 88.4 32654 81.7 4103 696e3 7136 13785 2.1 23.3
431.62/431.91 c R 431.6 88.2 32654 81.7 4103 707e3 11427 13785 2.3 24.2
445.62/445.99 c R 445.7 87.7 32654 81.7 4103 733e3 9395 13785 1.9 23.7
457.21/457.60 c s 457.3 87.3 32652 81.7 4103 753e3 8380 13785 2.7 23.3
457.31/457.64 c R 457.4 87.3 32652 81.7 4103 753e3 8479 13785 1.8 23.3
457.41/457.79 c R 457.5 87.3 32652 81.7 4103 753e3 8779 13785 3.8 23.4
457.91/458.24 c R 458.0 87.3 32652 81.7 4103 754e3 9584 13785 2.6 23.5
459.11/459.41 c R 459.1 87.2 32652 81.7 4103 756e3 11588 13785 2.1 24.0
460.01/460.38 c s 460.1 87.2 32651 81.7 4103 758e3 13382 13785 2.2 24.3
460.10/460.45 c R 460.2 87.2 32651 81.7 4103 758e3 13482 13785 2.2 24.3
460.20/460.59 c R 460.3 87.2 32651 81.7 4103 758e3 13781 13785 2.2 24.4
460.70/461.06 c R 460.8 87.2 32651 81.7 4103 759e3 7682 13785 2.8 23.2
461.30/461.67 c s 461.4 87.1 32646 81.7 4103 759e3 8301 13785 1.5 23.3
461.40/461.71 c R 461.4 87.1 32646 81.7 4103 760e3 8398 13785 2.3 23.3
461.40/461.71 c
461.40/461.71 c seconds variables original learned agility
461.40/461.71 c level used conflicts limit MB
461.40/461.71 c
461.50/461.87 c R 461.6 87.1 32646 81.7 4103 760e3 8698 13785 3.0 23.4
461.90/462.23 c R 461.9 87.2 32646 81.7 4103 761e3 9500 13785 1.8 23.5
462.81/463.18 c R 462.9 87.1 32646 81.7 4103 763e3 11503 13785 2.2 23.9
463.50/463.89 c s 463.6 87.1 32645 81.7 4103 764e3 12716 13785 4.4 24.1
463.60/463.98 c R 463.7 87.1 32645 81.7 4103 764e3 12814 13785 5.1 24.1
463.81/464.13 c R 463.9 87.1 32645 81.7 4103 764e3 13114 13785 2.2 24.2
464.30/464.61 c R 464.3 87.1 32645 81.7 4103 765e3 6978 13785 1.9 22.9
465.20/465.50 c R 465.2 87.1 32645 81.7 4103 767e3 8981 13785 1.8 23.4
468.10/468.46 c R 468.2 87.0 32645 81.8 4103 772e3 13786 13785 1.4 24.8
469.40/469.79 c s 469.5 87.0 32639 81.8 4103 774e3 8859 13785 4.1 23.8
469.50/469.83 c R 469.5 87.0 32639 81.8 4103 774e3 8955 13785 1.6 23.8
469.60/469.96 c R 469.7 87.0 32639 81.8 4103 774e3 9260 13785 2.1 23.9
470.00/470.39 c R 470.1 86.9 32639 81.8 4103 775e3 10063 13785 2.2 24.1
471.10/471.43 c R 471.1 86.9 32639 81.8 4103 777e3 12070 13785 1.6 24.5
473.80/474.13 c R 473.8 86.8 32639 81.8 4103 782e3 9964 13785 1.5 23.8
480.10/480.43 c R 480.1 86.6 32639 81.8 4103 793e3 7325 13785 2.3 23.2
487.29/487.61 c s 487.3 86.4 32638 81.8 4103 806e3 13042 13785 1.3 24.3
487.29/487.65 c R 487.4 86.4 32638 81.8 4103 806e3 13142 13785 5.1 24.3
487.49/487.84 c R 487.5 86.4 32638 81.8 4103 806e3 13442 13785 2.9 24.3
487.99/488.30 c R 488.0 86.4 32638 81.8 4103 807e3 7321 13785 2.6 23.1
488.89/489.28 c R 489.0 86.3 32638 81.8 4103 809e3 9327 13785 1.7 23.5
491.69/492.04 c R 491.7 86.2 32638 81.8 4103 814e3 7201 13785 2.7 23.3
491.69/492.04 c
491.69/492.04 c seconds variables original learned agility
491.69/492.04 c level used conflicts limit MB
491.69/492.04 c
497.98/498.33 c R 498.0 86.0 32638 81.8 4103 825e3 11495 13785 2.2 24.0
506.28/506.63 c s 506.3 85.8 32636 81.8 4103 839e3 11467 13785 2.3 23.8
506.28/506.68 c R 506.4 85.8 32636 81.8 4103 839e3 11565 13785 3.2 23.8
506.48/506.85 c R 506.5 85.8 32636 81.8 4103 839e3 11865 13785 1.4 23.9
506.88/507.23 c R 506.9 85.8 32636 81.8 4103 840e3 12656 13785 4.0 24.0
507.38/507.76 c s 507.5 85.7 32635 81.8 4103 841e3 13554 13785 1.7 24.1
507.48/507.80 c R 507.5 85.7 32634 81.8 4103 841e3 13654 13785 2.8 24.2
507.58/507.99 c R 507.7 85.7 32634 81.8 4103 841e3 7017 13785 5.6 22.8
508.08/508.44 c R 508.1 85.7 32634 81.8 4103 842e3 7815 13785 6.0 23.0
509.08/509.44 c R 509.1 85.6 32634 81.9 4103 844e3 9808 13785 1.7 23.2
509.87/510.29 c s 510.0 85.6 32630 81.9 4103 845e3 10679 13785 2.2 23.4
509.98/510.35 c R 510.0 85.6 32630 81.9 4103 845e3 10776 13785 4.1 23.4
510.08/510.48 c R 510.2 85.6 32629 81.9 4103 845e3 11041 13785 2.1 23.4
510.27/510.62 c R 510.3 85.6 32629 81.9 4103 846e3 11337 13785 6.5 23.5
510.57/510.99 c R 510.7 85.6 32629 81.9 4103 847e3 12137 13785 1.6 23.6
510.57/510.99 c s 510.7 85.6 32629 81.9 4103 847e3 12138 13785 1.4 23.6
511.67/512.04 c R 511.7 85.6 32629 81.9 4103 849e3 7212 13785 1.6 22.9
514.07/514.45 c R 514.1 85.5 32629 81.9 4103 853e3 12009 13785 6.6 23.9
520.17/520.56 c R 520.2 85.3 32629 81.9 4103 865e3 9389 13785 1.1 23.8
534.96/535.34 c R 535.0 85.0 32629 81.9 4103 890e3 7393 13785 1.9 23.3
566.65/567.00 c R 566.7 84.1 32629 81.9 4103 948e3 9754 13785 1.8 23.6
592.43/592.82 c s 592.5 83.4 32627 81.9 4103 994e3 7236 13785 3.2 23.2
592.43/592.82 c
592.43/592.82 c seconds variables original learned agility
592.43/592.82 c level used conflicts limit MB
592.43/592.82 c
592.43/592.86 c R 592.5 83.4 32627 81.9 4103 994e3 7334 13785 1.4 23.2
592.53/592.95 c R 592.6 83.4 32627 81.9 4103 994e3 7632 13785 3.8 23.2
592.93/593.30 c R 592.9 83.4 32627 81.9 4103 995e3 8436 13785 2.3 23.4
593.03/593.47 c + 593.1 83.3 32627 81.9 4103 996e3 8770 15163 3.6 23.4
593.92/594.34 c R 594.0 83.3 32627 82.0 4103 997e3 10434 15163 1.7 23.7
596.83/597.22 c R 596.9 83.3 32627 82.0 4103 100e4 7635 15163 1.3 23.3
603.12/603.53 c R 603.2 83.1 32627 82.0 4103 101e4 11251 15163 2.3 24.1
617.32/617.77 c R 617.4 82.7 32627 82.0 4103 103e4 14085 15163 1.7 24.3
647.41/647.84 c R 647.5 81.9 32627 82.0 4103 109e4 10870 15163 2.1 24.1
688.28/688.74 c s 688.3 80.8 32626 82.0 4103 117e4 10719 15163 1.8 23.9
688.38/688.81 c R 688.4 80.7 32626 82.0 4103 117e4 10820 15163 5.0 23.9
688.48/688.97 c R 688.6 80.7 32626 82.0 4103 117e4 11121 15163 1.6 23.9
688.88/689.37 c R 689.0 80.7 32626 82.0 4103 117e4 11927 15163 1.8 24.1
690.08/690.57 c R 690.2 80.7 32626 82.0 4103 117e4 13940 15163 1.4 24.5
692.68/693.12 c R 692.7 80.6 32626 82.0 4103 118e4 11136 15163 2.2 23.9
698.48/698.94 c R 698.5 80.5 32626 82.0 4103 119e4 14764 15163 2.6 24.5
711.38/711.83 c R 711.4 80.1 32626 82.0 4103 121e4 10027 15163 2.9 23.7
716.78/717.25 c s 716.8 79.9 32625 82.0 4103 122e4 12213 15163 1.4 23.9
716.88/717.30 c R 716.9 79.9 32625 82.0 4103 122e4 12314 15163 1.7 23.9
716.98/717.48 c R 717.1 79.9 32625 82.0 4103 122e4 12616 15163 2.1 24.0
717.48/717.94 c R 717.5 79.9 32625 82.0 4103 122e4 13425 15163 1.8 24.1
718.58/719.01 c R 718.6 79.9 32625 82.1 4103 123e4 7801 15163 4.2 23.1
718.58/719.01 c
718.58/719.01 c seconds variables original learned agility
718.58/719.01 c level used conflicts limit MB
718.58/719.01 c
720.87/721.35 c R 720.9 79.8 32625 82.1 4103 123e4 12619 15163 2.1 24.0
726.67/727.13 c R 726.7 79.6 32625 82.1 4103 124e4 8644 15163 1.8 23.3
732.17/732.66 c s 732.2 79.5 32624 82.1 4103 125e4 11329 15163 2.2 23.6
732.27/732.72 c R 732.3 79.5 32624 82.1 4103 125e4 11429 15163 1.5 23.7
732.37/732.87 c R 732.4 79.5 32624 82.1 4103 125e4 11732 15163 1.6 23.7
732.77/733.24 c R 732.8 79.5 32624 82.1 4103 125e4 12528 15163 2.0 23.8
733.27/733.75 c s 733.3 79.4 32623 82.1 4103 125e4 13478 15163 2.4 23.9
733.37/733.80 c R 733.4 79.4 32623 82.1 4103 125e4 13577 15163 2.3 23.9
733.47/733.95 c R 733.5 79.4 32623 82.1 4103 126e4 13878 15163 4.1 23.9
733.97/734.42 c R 734.0 79.4 32622 82.1 4103 126e4 14743 15163 4.1 24.1
733.97/734.46 c s 734.0 79.4 32622 82.1 4103 126e4 14808 15163 3.9 24.1
734.17/734.61 c R 734.2 79.4 32622 82.1 4103 126e4 15042 15163 1.1 24.1
734.47/734.92 c R 734.5 79.4 32621 82.1 4103 126e4 8066 15163 2.5 22.9
734.57/735.06 c R 734.6 79.4 32621 82.1 4103 126e4 8364 15163 1.4 22.9
734.67/735.19 c s 734.8 79.4 32621 82.2 4103 126e4 8558 15163 1.8 22.9
734.97/735.48 c R 735.1 79.4 32620 82.3 4103 126e4 9111 15163 2.7 23.0
735.17/735.68 c R 735.3 79.4 32620 82.3 4103 126e4 9410 15163 1.9 23.0
735.57/736.09 c s 735.7 79.4 32615 82.3 4103 126e4 9757 15163 2.2 23.1
735.87/736.30 c R 735.9 79.4 32615 82.3 4103 126e4 10206 15163 2.4 23.2
736.76/737.26 c R 736.8 79.4 32615 82.3 4103 126e4 12217 15163 1.5 23.6
739.26/739.78 c R 739.4 79.3 32615 82.3 4103 127e4 9420 15163 1.6 23.6
744.86/745.33 c R 744.9 79.2 32615 82.3 4103 128e4 13039 15163 2.3 24.4
744.86/745.33 c
744.86/745.33 c seconds variables original learned agility
744.86/745.33 c level used conflicts limit MB
744.86/745.33 c
757.15/757.64 c R 757.2 78.8 32615 82.3 4103 130e4 8294 15163 1.4 23.3
784.23/784.78 c R 784.3 78.0 32615 82.3 4103 136e4 12715 15163 1.8 24.2
829.61/830.16 c s 829.7 76.6 32609 82.3 4103 146e4 15059 15163 1.2 23.9
829.71/830.21 c R 829.7 76.6 32609 82.3 4103 146e4 15152 15163 0.8 23.9
829.81/830.36 c R 829.9 76.6 32608 82.3 4103 146e4 7776 15163 2.4 22.8
830.01/830.51 c R 830.0 76.6 32608 82.3 4103 146e4 8076 15163 2.4 22.8
830.30/830.82 c s 830.3 76.5 32608 82.3 4103 146e4 8756 15163 3.7 22.8
830.30/830.87 c R 830.4 76.5 32608 82.3 4103 146e4 8872 15163 2.0 22.8
830.80/831.35 c R 830.9 76.5 32607 82.4 4103 146e4 9950 15163 3.2 22.9
830.90/831.43 c s 830.9 76.5 32607 82.4 4103 146e4 10089 15163 2.1 23.0
830.90/831.48 c R 831.0 76.5 32607 82.4 4103 146e4 10250 15163 1.2 23.0
831.30/831.85 c R 831.4 76.5 32607 82.4 4103 147e4 11043 15163 5.9 23.0
832.21/832.74 c s 832.3 76.5 32606 82.4 4103 147e4 12637 15163 2.4 23.3
832.21/832.79 c R 832.3 76.5 32606 82.4 4103 147e4 12737 15163 4.2 23.3
832.30/832.89 c R 832.4 76.5 32606 82.4 4103 147e4 13030 15163 4.1 23.3
832.90/833.41 c R 832.9 76.5 32606 82.4 4103 147e4 13832 15163 4.9 23.5
832.90/833.47 c R 833.0 76.5 32605 82.4 4103 147e4 13977 15163 1.4 23.5
833.31/833.82 c s 833.3 76.5 32599 82.4 4103 147e4 14075 15163 1.6 23.5
833.40/833.97 c R 833.5 76.5 32599 82.4 4103 147e4 14268 15163 1.3 23.6
833.60/834.12 c R 833.6 76.5 32598 82.4 4103 147e4 14567 15163 5.1 23.6
833.70/834.27 c R 833.8 76.5 32598 82.4 4103 147e4 14866 15163 3.7 23.6
834.20/834.70 c R 834.2 76.5 32598 82.4 4103 147e4 8031 15163 1.8 22.8
834.20/834.70 c
834.20/834.70 c seconds variables original learned agility
834.20/834.70 c level used conflicts limit MB
834.20/834.70 c
835.40/835.92 c R 835.4 76.5 32598 82.4 4103 147e4 10030 15163 3.2 23.3
835.70/836.23 c s 835.7 76.5 32597 82.4 4103 147e4 10437 15163 3.2 23.4
835.70/836.28 c R 835.8 76.5 32597 82.4 4103 147e4 10530 15163 3.9 23.4
835.90/836.47 c R 836.0 76.5 32597 82.4 4103 147e4 10832 15163 4.0 23.4
836.40/836.99 c R 836.5 76.5 32597 82.4 4103 147e4 11627 15163 3.4 23.6
838.00/838.54 c s 838.1 76.5 32592 82.4 4103 148e4 13282 15163 2.5 23.9
838.10/838.62 c R 838.1 76.5 32592 82.4 4103 148e4 13379 15163 3.4 23.9
838.30/838.82 c R 838.3 76.5 32592 82.4 4103 148e4 13675 15163 2.5 24.0
838.80/839.36 c R 838.9 76.5 32592 82.4 4103 148e4 14475 15163 3.6 24.1
838.90/839.43 c s 838.9 76.5 32591 82.4 4103 148e4 14519 15163 4.2 24.1
838.90/839.48 c R 839.0 76.5 32591 82.4 4103 148e4 14619 15163 5.6 24.1
839.10/839.70 c R 839.2 76.5 32591 82.4 4103 148e4 14917 15163 2.6 24.2
839.80/840.32 c R 839.8 76.5 32591 82.4 4103 148e4 8104 15163 2.9 23.0
841.30/841.88 c R 841.4 76.6 32591 82.4 4103 148e4 10098 15163 3.8 23.6
844.99/845.59 c R 845.1 76.6 32591 82.4 4103 148e4 14883 15163 2.1 25.0
846.19/846.70 c s 846.2 76.7 32589 82.4 4103 149e4 8523 15163 1.4 23.4
846.19/846.75 c R 846.3 76.7 32589 82.4 4103 149e4 8618 15163 1.4 23.4
846.40/846.94 c R 846.4 76.7 32589 82.4 4103 149e4 8922 15163 3.6 23.5
846.79/847.35 c R 846.9 76.7 32589 82.4 4103 149e4 9715 15163 2.3 23.6
846.89/847.40 c s 846.9 76.7 32588 82.4 4103 149e4 9773 15163 1.2 23.6
846.89/847.47 c R 847.0 76.7 32588 82.4 4103 149e4 9867 15163 2.9 23.6
847.19/847.76 c R 847.3 76.7 32588 82.4 4103 149e4 10168 15163 1.6 23.8
847.19/847.76 c
847.19/847.76 c seconds variables original learned agility
847.19/847.76 c level used conflicts limit MB
847.19/847.76 c
847.39/847.96 c + 847.5 76.7 32588 82.4 4103 149e4 10472 16679 2.5 23.9
847.50/848.08 c R 847.6 76.6 32586 82.4 4103 149e4 10672 16679 2.2 23.9
847.69/848.20 c s 847.7 76.6 32586 82.4 4103 149e4 10840 16679 2.5 23.9
847.79/848.34 c R 847.8 76.6 32586 82.4 4103 149e4 10959 16679 1.1 24.0
848.59/849.17 c R 848.7 76.7 32586 82.4 4103 149e4 11762 16679 2.7 24.4
849.19/849.79 c s 849.3 76.7 32585 82.5 4103 149e4 12389 16679 3.5 24.6
849.39/849.91 c R 849.4 76.7 32585 82.5 4103 149e4 12491 16679 3.6 24.6
849.69/850.26 c R 849.8 76.7 32585 82.5 4103 149e4 12790 16679 3.2 24.7
850.49/851.01 c R 850.5 76.7 32585 82.5 4103 149e4 13589 16679 1.9 25.0
851.39/851.90 c s 851.4 76.7 32568 82.5 4103 149e4 14160 16679 3.6 25.2
851.39/851.97 c R 851.5 76.7 32568 82.5 4103 149e4 14258 16679 3.2 25.2
851.79/852.32 c R 851.8 76.7 32568 82.5 4103 149e4 14559 16679 3.5 25.4
852.49/853.06 c R 852.6 76.7 32568 82.5 4103 149e4 15356 16679 4.2 25.6
854.09/854.69 c R 854.2 76.7 32568 82.5 4103 149e4 9001 16679 4.0 23.6
856.48/857.03 c s 856.5 76.7 32564 82.5 4103 150e4 11217 16679 3.8 24.2
856.48/857.09 c R 856.6 76.7 32564 82.5 4103 150e4 11312 16679 3.5 24.2
856.88/857.40 c R 856.9 76.7 32564 82.5 4103 150e4 11610 16679 3.4 24.3
857.39/857.96 c R 857.5 76.7 32564 82.5 4103 150e4 12413 16679 2.0 24.5
859.59/860.12 c R 859.6 76.8 32564 82.5 4103 150e4 14402 16679 0.7 25.4
863.78/864.34 c R 863.8 76.8 32564 82.5 4103 150e4 10780 16679 3.9 24.1
865.18/865.79 c s 865.3 76.8 32563 82.6 4103 151e4 12028 16679 3.2 24.5
865.28/865.86 c R 865.4 76.8 32563 82.6 4103 151e4 12125 16679 4.7 24.5
865.28/865.86 c
865.28/865.86 c seconds variables original learned agility
865.28/865.86 c level used conflicts limit MB
865.28/865.86 c
865.68/866.21 c R 865.7 76.9 32563 82.6 4103 151e4 12425 16679 3.0 24.6
866.68/867.21 c R 866.7 76.9 32563 82.6 4103 151e4 13226 16679 6.6 24.9
866.98/867.57 c s 867.1 76.9 32562 82.6 4103 151e4 13592 16679 2.0 25.1
867.08/867.67 c R 867.2 76.9 32562 82.6 4103 151e4 13692 16679 4.1 25.1
867.48/868.02 c R 867.5 76.9 32562 82.6 4103 151e4 13995 16679 2.2 25.2
868.38/868.93 c R 868.4 76.9 32562 82.6 4103 151e4 14796 16679 1.8 25.6
870.38/870.93 c R 870.4 76.9 32562 82.6 4103 151e4 16794 16679 3.6 26.4
873.67/874.22 c s 873.7 77.0 32560 82.6 4103 151e4 11578 16679 3.6 24.5
873.77/874.32 c R 873.8 77.0 32560 82.6 4103 151e4 11678 16679 1.6 24.6
873.98/874.54 c R 874.0 77.0 32560 82.6 4103 151e4 11975 16679 3.7 24.6
874.57/875.15 c R 874.6 77.0 32560 82.6 4103 152e4 12770 16679 2.5 24.9
876.47/877.02 c R 876.5 77.0 32560 82.6 4103 152e4 14773 16679 5.3 25.6
876.87/877.49 c s 877.0 77.0 32559 82.6 4103 152e4 15200 16679 2.9 25.7
876.97/877.58 c R 877.1 77.0 32559 82.6 4103 152e4 15303 16679 3.7 25.8
877.28/877.89 c R 877.4 77.0 32559 82.6 4103 152e4 15601 16679 3.6 25.9
878.38/878.92 c R 878.4 77.0 32559 82.6 4103 152e4 16407 16679 3.6 26.4
880.37/880.99 c R 880.5 77.0 32559 82.6 4103 152e4 10032 16679 3.1 24.2
884.97/885.52 c s 885.0 77.1 32555 82.6 4103 153e4 14030 16679 1.7 25.9
885.07/885.61 c R 885.1 77.1 32555 82.6 4103 153e4 14125 16679 2.7 25.9
885.27/885.89 c R 885.4 77.1 32555 82.6 4103 153e4 14429 16679 3.2 26.0
885.87/886.43 c s 885.9 77.1 32553 82.6 4103 153e4 14876 16679 3.2 26.2
885.87/886.46 c R 885.9 77.1 32553 82.6 4103 153e4 14908 16679 2.9 26.2
885.87/886.46 c
885.87/886.46 c seconds variables original learned agility
885.87/886.46 c level used conflicts limit MB
885.87/886.46 c
886.17/886.75 c R 886.2 77.1 32552 82.7 4103 153e4 15221 16679 3.0 26.2
886.47/887.03 c R 886.5 77.1 32552 82.7 4103 153e4 15518 16679 1.6 26.3
886.67/887.29 c s 886.8 77.1 32552 82.7 4103 153e4 15746 16679 1.4 26.4
887.07/887.62 c R 887.1 77.1 32552 82.7 4103 153e4 16315 16679 2.6 26.5
888.67/889.21 c R 888.7 77.1 32552 82.7 4103 153e4 9958 16679 2.1 23.8
891.67/892.28 c s 891.8 77.1 32551 82.7 4103 153e4 12593 16679 2.4 24.8
891.77/892.38 c R 891.9 77.1 32551 82.7 4103 153e4 12694 16679 4.4 24.8
892.16/892.70 c R 892.2 77.1 32551 82.7 4103 153e4 12989 16679 4.1 24.9
892.96/893.55 c R 893.0 77.1 32551 82.7 4103 153e4 13794 16679 3.1 25.2
893.77/894.37 c s 893.8 77.1 32550 82.7 4103 153e4 14625 16679 3.1 25.6
893.86/894.45 c R 893.9 77.1 32550 82.7 4103 153e4 14725 16679 3.6 25.6
894.26/894.80 c R 894.3 77.1 32550 82.7 4103 153e4 15024 16679 3.0 25.7
895.06/895.62 c R 895.1 77.1 32550 82.7 4103 154e4 15824 16679 2.5 26.1
897.26/897.82 c R 897.3 77.2 32550 82.7 4103 154e4 9313 16679 2.3 23.9
902.05/902.66 c R 902.1 77.2 32550 82.7 4103 154e4 14109 16679 2.9 25.8
912.45/913.06 c R 912.5 77.2 32550 82.7 4103 155e4 8551 16679 2.4 24.0
915.55/916.14 c s 915.6 77.2 32548 82.7 4103 156e4 11961 16679 2.2 25.0
915.65/916.23 c R 915.7 77.2 32548 82.7 4103 156e4 12060 16679 5.1 25.1
915.95/916.53 c R 916.0 77.2 32548 82.7 4103 156e4 12364 16679 2.3 25.1
916.55/917.18 c R 916.6 77.2 32548 82.7 4103 156e4 13161 16679 2.2 25.4
918.14/918.77 c R 918.2 77.2 32548 82.7 4103 156e4 15159 16679 3.0 26.1
922.54/923.16 c s 922.6 77.3 32544 82.7 4103 156e4 11485 16679 3.1 24.8
922.54/923.16 c
922.54/923.16 c seconds variables original learned agility
922.54/923.16 c level used conflicts limit MB
922.54/923.16 c
922.64/923.25 c R 922.7 77.3 32544 82.7 4103 156e4 11582 16679 1.9 24.9
922.94/923.53 c R 923.0 77.3 32544 82.7 4103 157e4 11886 16679 5.3 24.9
923.74/924.37 c R 923.8 77.3 32544 82.7 4103 157e4 12690 16679 2.4 25.3
925.65/926.29 c R 925.7 77.3 32544 82.7 4103 157e4 14692 16679 2.6 26.0
929.64/930.22 c R 929.7 77.3 32544 82.7 4103 157e4 11139 16679 2.3 24.7
939.04/939.65 c R 939.1 77.3 32544 82.7 4103 158e4 13964 16679 1.3 26.2
945.23/945.89 c s 945.3 77.3 32543 82.7 4103 159e4 11087 16679 3.5 24.9
945.34/945.96 c R 945.4 77.3 32540 82.7 4103 159e4 11213 16679 3.3 24.9
945.53/946.18 c R 945.6 77.3 32540 82.7 4103 159e4 11515 16679 2.1 25.0
946.03/946.67 c s 946.1 77.3 32540 82.7 4103 159e4 12119 16679 2.4 25.2
946.33/946.90 c R 946.3 77.3 32540 82.7 4103 159e4 12316 16679 3.4 25.3
947.83/948.49 c s 947.9 77.4 32539 82.7 4103 159e4 13871 16679 1.2 25.9
947.93/948.57 c R 948.0 77.4 32539 82.7 4103 159e4 13972 16679 2.4 26.0
948.23/948.80 c R 948.2 77.4 32539 82.7 4103 159e4 14273 16679 2.7 26.1
948.94/949.54 c R 949.0 77.4 32539 82.7 4103 159e4 15078 16679 2.9 26.4
950.54/951.15 c s 950.6 77.4 32538 82.7 4103 159e4 16447 16679 1.7 26.8
950.64/951.25 c R 950.7 77.4 32538 82.7 4103 159e4 16546 16679 3.3 26.8
950.94/951.57 c R 951.0 77.4 32538 82.7 4103 160e4 8476 16679 2.2 23.6
951.64/952.27 c R 951.7 77.4 32538 82.7 4103 160e4 9281 16679 1.6 23.8
953.43/954.05 c R 953.5 77.4 32538 82.7 4103 160e4 11284 16679 3.4 24.6
954.43/955.09 c s 954.5 77.4 32535 82.7 4103 160e4 12092 16679 2.5 24.9
954.53/955.14 c R 954.6 77.4 32535 82.7 4103 160e4 12190 16679 3.2 24.9
954.53/955.14 c
954.53/955.14 c seconds variables original learned agility
954.53/955.14 c level used conflicts limit MB
954.53/955.14 c
954.83/955.41 c R 954.9 77.4 32535 82.7 4103 160e4 12488 16679 6.1 25.0
955.43/956.09 c R 955.5 77.4 32535 82.7 4103 160e4 13291 16679 3.9 25.3
955.93/956.58 c s 956.0 77.4 32534 82.7 4103 160e4 13731 16679 2.3 25.5
956.03/956.65 c R 956.1 77.4 32534 82.7 4103 160e4 13832 16679 3.8 25.6
956.33/956.93 c R 956.4 77.4 32534 82.7 4103 160e4 14133 16679 3.9 25.7
957.33/957.95 c R 957.4 77.5 32534 82.7 4103 160e4 14937 16679 0.9 26.0
959.63/960.21 c R 959.7 77.5 32534 82.7 4103 160e4 8521 16679 2.2 23.8
962.83/963.49 c s 962.9 77.5 32533 82.7 4103 161e4 11871 16679 3.8 25.1
962.93/963.59 c R 963.0 77.5 32533 82.7 4103 161e4 11969 16679 4.7 25.2
963.23/963.86 c R 963.3 77.5 32533 82.7 4103 161e4 12269 16679 2.5 25.3
964.03/964.63 c R 964.1 77.5 32533 82.7 4103 161e4 13071 16679 3.9 25.6
966.23/966.82 c R 966.3 77.5 32533 82.7 4103 161e4 15080 16679 2.3 26.4
971.33/971.95 c R 971.4 77.6 32533 82.7 4103 162e4 11533 16679 2.3 25.1
972.72/973.35 c s 972.8 77.6 32531 82.7 4103 162e4 12386 16679 2.8 25.4
972.83/973.49 c R 972.9 77.6 32531 82.7 4103 162e4 12484 16679 4.7 25.5
973.12/973.77 c R 973.2 77.6 32531 82.7 4103 162e4 12784 16679 1.9 25.6
974.03/974.67 c R 974.1 77.6 32531 82.7 4103 162e4 13591 16679 3.6 26.0
976.13/976.77 c R 976.2 77.6 32531 82.7 4103 162e4 15592 16679 3.8 26.8
980.82/981.49 c R 980.9 77.6 32531 82.7 4103 162e4 11996 16679 2.5 25.2
993.01/993.62 c R 993.0 77.7 32531 82.7 4103 164e4 14813 16679 2.9 26.6
1000.61/1001.29 c s 100e1 77.8 32529 82.7 4103 164e4 13681 16679 2.5 26.1
1000.81/1001.40 c R 100e1 77.8 32529 82.7 4103 164e4 13780 16679 3.1 26.1
1000.81/1001.40 c
1000.81/1001.40 c seconds variables original learned agility
1000.81/1001.40 c level used conflicts limit MB
1000.81/1001.40 c
1001.01/1001.70 c R 100e1 77.8 32529 82.7 4103 164e4 14080 16679 3.1 26.3
1001.81/1002.47 c R 100e1 77.8 32529 82.7 4103 164e4 14880 16679 2.8 26.5
1003.71/1004.39 c R 100e1 77.8 32529 82.8 4103 165e4 16883 16679 2.8 27.3
1008.80/1009.46 c s 101e1 77.8 32526 82.8 4103 165e4 12957 16679 2.5 25.6
1008.90/1009.55 c R 101e1 77.8 32526 82.8 4103 165e4 13055 16679 2.4 25.7
1009.21/1009.84 c R 101e1 77.8 32526 82.8 4103 165e4 13360 16679 2.5 25.8
1010.00/1010.67 c R 101e1 77.8 32526 82.8 4103 165e4 14164 16679 4.0 26.1
1012.20/1012.82 c R 101e1 77.9 32526 82.8 4103 165e4 16165 16679 3.8 27.0
1016.70/1017.31 c R 102e1 77.9 32526 82.8 4103 166e4 12618 16679 1.4 25.3
1026.90/1027.59 c R 103e1 77.9 32526 82.9 4103 167e4 15367 16679 2.3 26.7
1043.08/1043.71 c s 104e1 78.0 32525 82.9 4103 169e4 14960 16679 1.9 26.4
1043.19/1043.83 c R 104e1 78.0 32525 82.9 4103 169e4 15060 16679 3.0 26.4
1043.48/1044.13 c R 104e1 78.0 32525 82.9 4103 169e4 15363 16679 2.8 26.5
1044.29/1044.97 c R 104e1 78.0 32525 82.9 4103 169e4 16163 16679 3.0 26.8
1046.18/1046.81 c R 105e1 78.0 32525 82.9 4103 169e4 9810 16679 3.2 24.2
1051.38/1052.01 c R 105e1 78.0 32525 82.9 4103 169e4 14616 16679 2.4 26.3
1058.28/1058.91 c s 106e1 78.1 32524 83.0 4103 170e4 12284 16679 2.3 25.6
1058.38/1059.02 c R 106e1 78.1 32524 83.0 4103 170e4 12384 16679 2.9 25.7
1058.78/1059.44 c R 106e1 78.1 32524 83.0 4103 170e4 12686 16679 2.9 25.8
1059.37/1060.04 c R 106e1 78.1 32524 83.0 4103 170e4 13484 16679 3.5 26.1
1061.57/1062.26 c R 106e1 78.1 32524 83.0 4103 170e4 15488 16679 2.2 27.0
1066.67/1067.31 c R 107e1 78.1 32524 83.0 4103 171e4 11944 16679 4.2 25.8
1066.67/1067.31 c
1066.67/1067.31 c seconds variables original learned agility
1066.67/1067.31 c level used conflicts limit MB
1066.67/1067.31 c
1073.57/1074.24 c s 107e1 78.1 32523 83.0 4103 171e4 10410 16679 2.2 24.8
1073.67/1074.33 c R 107e1 78.1 32523 83.0 4103 171e4 10511 16679 4.1 24.9
1073.87/1074.53 c R 107e1 78.1 32523 83.0 4103 172e4 10812 16679 4.7 25.0
1074.57/1075.30 c R 107e1 78.1 32523 83.0 4103 172e4 11614 16679 2.8 25.2
1076.87/1077.56 c R 108e1 78.1 32523 83.0 4103 172e4 13616 16679 2.5 26.1
1081.56/1082.25 c R 108e1 78.1 32523 83.0 4103 172e4 10012 16679 2.4 24.2
1093.76/1094.44 c R 109e1 78.1 32523 83.0 4103 173e4 12821 16679 2.8 25.5
1119.24/1119.98 c R 112e1 78.1 32523 83.1 4103 176e4 13179 16679 3.2 25.6
1178.92/1179.61 c R 118e1 78.1 32523 83.1 4103 182e4 11935 16679 5.8 26.5
1192.62/1193.34 c s 119e1 78.2 32522 83.1 4103 183e4 8568 16679 1.7 23.9
1192.72/1193.41 c R 119e1 78.2 32522 83.1 4103 183e4 8672 16679 2.4 23.9
1193.01/1193.70 c R 119e1 78.2 32522 83.1 4103 183e4 8969 16679 2.7 24.0
1193.61/1194.37 c R 119e1 78.2 32522 83.1 4103 183e4 9767 16679 2.4 24.2
1195.81/1196.52 c R 120e1 78.2 32522 83.1 4103 183e4 11775 16679 3.4 25.0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1727308-1240723271/watcher-1727308-1240723271 -o /tmp/evaluation-result-1727308-1240723271/solver-1727308-1240723271 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1727308-1240723271.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1769
/proc/meminfo: memFree=1512256/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=3096 CPUtime=0
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 623 0 0 0 0 0 0 0 18 0 1 0 100355978 3170304 608 1992294400 134512640 135137933 4294956240 18446744073709551615 134532161 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 774 613 53 152 0 620 0
[startup+0.0625751 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1769
/proc/meminfo: memFree=1512256/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=4152 CPUtime=0.05
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 921 0 0 0 5 0 0 0 18 0 1 0 100355978 4251648 906 1992294400 134512640 135137933 4294956240 18446744073709551615 134547227 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 1038 907 56 152 0 884 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4152
[startup+0.101582 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1769
/proc/meminfo: memFree=1512256/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=4812 CPUtime=0.09
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 1090 0 0 0 9 0 0 0 18 0 1 0 100355978 4927488 1075 1992294400 134512640 135137933 4294956240 18446744073709551615 134674486 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 1203 1075 56 152 0 1049 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4812
[startup+0.30162 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1769
/proc/meminfo: memFree=1512256/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=8376 CPUtime=0.29
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 1956 0 0 0 28 1 0 0 19 0 1 0 100355978 8577024 1941 1992294400 134512640 135137933 4294956240 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 2094 1941 56 152 0 1940 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8376
[startup+0.701698 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1769
/proc/meminfo: memFree=1512256/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=15108 CPUtime=0.69
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 3632 0 0 0 66 3 0 0 23 0 1 0 100355978 15470592 3617 1992294400 134512640 135137933 4294956240 18446744073709551615 134668231 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 3777 3617 56 152 0 3623 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15108
[startup+1.50185 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1490744/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=24612 CPUtime=1.49
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6013 0 0 0 144 5 0 0 25 0 1 0 100355978 25202688 5998 1992294400 134512640 135137933 4294956240 18446744073709551615 134527844 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6153 5998 61 152 0 5999 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24612
[startup+3.10116 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1488376/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=24744 CPUtime=3.09
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6059 0 0 0 304 5 0 0 25 0 1 0 100355978 25337856 6044 1992294400 134512640 135137933 4294956240 18446744073709551615 134548664 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6186 6044 69 152 0 6032 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24744
[startup+6.30177 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1488248/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=24872 CPUtime=6.29
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6076 0 0 0 624 5 0 0 25 0 1 0 100355978 25468928 6061 1992294400 134512640 135137933 4294956240 18446744073709551615 134547453 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6218 6061 69 152 0 6064 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24872
[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1488248/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=25032 CPUtime=12.68
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6087 0 0 0 1263 5 0 0 25 0 1 0 100355978 25632768 6072 1992294400 134512640 135137933 4294956240 18446744073709551615 134522698 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6258 6072 69 152 0 6104 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25032
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1488312/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=25032 CPUtime=25.48
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6090 0 0 0 2543 5 0 0 25 0 1 0 100355978 25632768 6075 1992294400 134512640 135137933 4294956240 18446744073709551615 134522698 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6258 6075 69 152 0 6104 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25032
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1488248/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=25220 CPUtime=51.05
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6132 0 0 0 5100 5 0 0 25 0 1 0 100355978 25825280 6117 1992294400 134512640 135137933 4294956240 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6305 6117 69 152 0 6151 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 25220
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1487864/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=25440 CPUtime=102.22
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6219 0 0 0 10216 6 0 0 25 0 1 0 100355978 26050560 6204 1992294400 134512640 135137933 4294956240 18446744073709551615 134527871 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6360 6204 69 152 0 6206 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 25440
[startup+162.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1487096/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=26236 CPUtime=162.18
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6462 0 0 0 16212 6 0 0 25 0 1 0 100355978 26865664 6389 1992294400 134512640 135137933 4294956240 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6559 6389 69 152 0 6405 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 26236
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1486264/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=26964 CPUtime=222.14
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6660 0 0 0 22208 6 0 0 25 0 1 0 100355978 27611136 6587 1992294400 134512640 135137933 4294956240 18446744073709551615 134527739 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6741 6587 69 152 0 6587 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 26964
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1486264/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=26924 CPUtime=282.11
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6661 0 0 0 28204 7 0 0 25 0 1 0 100355978 27570176 6582 1992294400 134512640 135137933 4294956240 18446744073709551615 134548903 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6731 6582 69 152 0 6577 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 26924
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1486200/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=26772 CPUtime=342.07
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6662 0 0 0 34200 7 0 0 25 0 1 0 100355978 27414528 6545 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6693 6545 69 152 0 6539 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 26772
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1486200/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=26772 CPUtime=402.04
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6662 0 0 0 40197 7 0 0 25 0 1 0 100355978 27414528 6545 1992294400 134512640 135137933 4294956240 18446744073709551615 134527844 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6693 6545 69 152 0 6539 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 26772
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1486200/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=26900 CPUtime=462
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6667 0 0 0 46193 7 0 0 25 0 1 0 100355978 27545600 6550 1992294400 134512640 135137933 4294956240 18446744073709551615 134527844 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6725 6550 69 152 0 6571 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 26900
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1486200/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=26900 CPUtime=521.97
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6671 0 0 0 52190 7 0 0 25 0 1 0 100355978 27545600 6554 1992294400 134512640 135137933 4294956240 18446744073709551615 134548801 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6725 6554 69 152 0 6571 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 26900
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1486136/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=26900 CPUtime=581.94
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6693 0 0 0 58187 7 0 0 25 0 1 0 100355978 27545600 6576 1992294400 134512640 135137933 4294956240 18446744073709551615 134527814 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6725 6576 69 152 0 6571 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 26900
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1486008/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=27260 CPUtime=641.91
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6761 0 0 0 64184 7 0 0 25 0 1 0 100355978 27914240 6644 1992294400 134512640 135137933 4294956240 18446744073709551615 134547445 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6815 6644 69 152 0 6661 0
Current children cumulated CPU time (s) 641.91
Current children cumulated vsize (KiB) 27260
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1485816/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=27260 CPUtime=701.87
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6761 0 0 0 70180 7 0 0 25 0 1 0 100355978 27914240 6644 1992294400 134512640 135137933 4294956240 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6815 6644 69 152 0 6661 0
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (KiB) 27260
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1485816/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=27260 CPUtime=761.86
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6761 0 0 0 76178 8 0 0 25 0 1 0 100355978 27914240 6644 1992294400 134512640 135137933 4294956240 18446744073709551615 134522837 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6815 6644 69 152 0 6661 0
Current children cumulated CPU time (s) 761.86
Current children cumulated vsize (KiB) 27260
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1485816/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=27260 CPUtime=821.81
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 6761 0 0 0 82173 8 0 0 25 0 1 0 100355978 27914240 6644 1992294400 134512640 135137933 4294956240 18446744073709551615 134543016 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 6815 6644 69 152 0 6661 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 27260
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1484728/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=28360 CPUtime=881.77
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 7033 0 0 0 88169 8 0 0 25 0 1 0 100355978 29040640 6916 1992294400 134512640 135137933 4294956240 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 7090 6916 69 152 0 6936 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 28360
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1484216/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=29020 CPUtime=941.74
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 7210 0 0 0 94166 8 0 0 25 0 1 0 100355978 29716480 7093 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 7255 7093 69 152 0 7101 0
Current children cumulated CPU time (s) 941.74
Current children cumulated vsize (KiB) 29020
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1770
/proc/meminfo: memFree=1483576/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=29512 CPUtime=1001.71
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 7344 0 0 0 100162 9 0 0 25 0 1 0 100355978 30220288 7192 1992294400 134512640 135137933 4294956240 18446744073709551615 134553679 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 7378 7192 69 152 0 7224 0
Current children cumulated CPU time (s) 1001.71
Current children cumulated vsize (KiB) 29512
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1772
/proc/meminfo: memFree=1483256/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=29312 CPUtime=1061.67
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 7344 0 0 0 106158 9 0 0 25 0 1 0 100355978 30015488 7166 1992294400 134512640 135137933 4294956240 18446744073709551615 134547512 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 7328 7166 69 152 0 7174 0
Current children cumulated CPU time (s) 1061.67
Current children cumulated vsize (KiB) 29312
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1772
/proc/meminfo: memFree=1483256/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=29328 CPUtime=1121.65
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 7403 0 0 0 112156 9 0 0 25 0 1 0 100355978 30031872 7170 1992294400 134512640 135137933 4294956240 18446744073709551615 134548913 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 7332 7170 69 152 0 7178 0
Current children cumulated CPU time (s) 1121.65
Current children cumulated vsize (KiB) 29328
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1772
/proc/meminfo: memFree=1483000/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=29856 CPUtime=1181.62
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 7524 0 0 0 118152 10 0 0 25 0 1 0 100355978 30572544 7291 1992294400 134512640 135137933 4294956240 18446744073709551615 134527844 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 7464 7291 69 152 0 7310 0
Current children cumulated CPU time (s) 1181.62
Current children cumulated vsize (KiB) 29856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1772
/proc/meminfo: memFree=1482552/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=30252 CPUtime=1200.01
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 7631 0 0 0 119991 10 0 0 25 0 1 0 100355978 30978048 7398 1992294400 134512640 135137933 4294956240 18446744073709551615 134553611 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 7563 7398 69 152 0 7409 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 30252
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1772
/proc/meminfo: memFree=1482552/2055920 swapFree=4192812/4192956
[pid=1769] ppid=1767 vsize=30252 CPUtime=1200.01
/proc/1769/stat : 1769 (picosat) R 1767 1769 1667 0 -1 4194304 7631 0 0 0 119991 10 0 0 25 0 1 0 100355978 30978048 7398 1992294400 134512640 135137933 4294956240 18446744073709551615 134553611 0 0 4096 0 0 0 0 17 0 0 0
/proc/1769/statm: 7563 7398 69 152 0 7409 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 30252
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.03
CPU user time (s): 1199.92
CPU system time (s): 0.106983
CPU usage (%): 99.943
Max. virtual memory (cumulated for all children) (KiB): 30252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.92
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 3699
runsolver used 1.05984 second user time and 3.40648 second system time
The end
Begin job on node38 at 2009-04-26 07:21:15
IDJOB=1727308
IDBENCH=24635
IDSOLVER=506
FILE ID=node38/1727308-1240723271
PBS_JOBID= 9186932
Free space on /tmp= 66336 MiB
SOLVER NAME= picosat 913
BENCH NAME= SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1727308-1240723271/watcher-1727308-1240723271 -o /tmp/evaluation-result-1727308-1240723271/solver-1727308-1240723271 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1727308-1240723271.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 45589f445aa56f109f82baade7facf9a
RANDOM SEED=606003443
node38.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1512736 kB
Buffers: 52516 kB
Cached: 408252 kB
SwapCached: 0 kB
Active: 191992 kB
Inactive: 282708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1512736 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 24912 kB
Writeback: 0 kB
Mapped: 23684 kB
Slab: 54468 kB
Committed_AS: 497532 kB
PageTables: 1456 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66336 MiB
End job on node38 at 2009-04-26 07:41:18