0.00/0.00 c 2016-06-06T16:34:58+0200
0.00/0.00 c version = 0.5.0
0.00/0.00 c githash = 1a49202
0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00 c arch = x86_64
0.00/0.00 c os = linux
0.00/0.00 c compiler = ghc 7.10
0.00/0.00 c packages:
0.00/0.00 c OptDir-0.0.3
0.00/0.00 c array-0.5.1.0
0.00/0.00 c base-4.8.2.0
0.00/0.00 c bytestring-0.10.6.0
0.00/0.00 c bytestring-builder-0.10.6.0.0
0.00/0.00 c clock-0.7.2
0.00/0.00 c containers-0.5.6.2
0.00/0.00 c data-default-0.5.3
0.00/0.00 c data-default-class-0.0.1
0.00/0.00 c data-interval-1.2.0
0.00/0.00 c deepseq-1.4.1.1
0.00/0.00 c directory-1.2.2.0
0.00/0.00 c exceptions-0.8.2.1
0.00/0.00 c extended-reals-0.2.1.0
0.00/0.00 c filepath-1.4.0.0
0.00/0.00 c finite-field-0.8.0
0.00/0.00 c hashable-1.2.4.0
0.00/0.00 c heaps-0.3.3
0.00/0.00 c intern-0.9.1.4
0.00/0.00 c loop-0.3.0
0.00/0.00 c mtl-2.2.1
0.00/0.00 c multiset-0.3.2
0.00/0.00 c mwc-random-0.13.3.2
0.00/0.00 c parse_dimacs-1.3
0.00/0.00 c parsec-3.1.9
0.00/0.00 c prettyclass-1.0.0.0
0.00/0.00 c primes-0.2.1.0
0.00/0.00 c primitive-0.6.1.0
0.00/0.00 c process-1.2.3.0
0.00/0.00 c pseudo-boolean-0.1.3.0
0.00/0.01 c queue-0.1.2
0.00/0.01 c semigroups-0.18.1
0.00/0.01 c sign-0.4.3
0.00/0.01 c stm-2.4.4.1
0.00/0.01 c template-haskell-2.10.0.0
0.00/0.01 c temporary-1.2.0.4
0.00/0.01 c time-1.5.0.1
0.00/0.01 c transformers-0.4.2.0
0.00/0.01 c transformers-compat-0.5.1.4
0.00/0.01 c type-level-numbers-0.1.1.1
0.00/0.01 c unbounded-delays-0.1.0.9
0.00/0.01 c unordered-containers-0.2.6.0
0.00/0.01 c vector-0.11.0.0
0.00/0.01 c vector-space-0.10.3
0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079448-1465223698.opb"]
0.00/0.01 c use --random-gen="4183777311 65296567 2792476424 1898775455 544910480 485856244 108786463 606796081 3048095655 1394850674 3484178553 2791380284 1078285977 2755181364 703309376 2240934595 3328339478 1820494138 1545633720 3978413023 3221028081 3081802029 1304841014 1378964817 355983528 3000673454 1451381690 3774467980 282159811 3772734185 3660238456 276179819 4045244099 3742506942 2040794317 2396998132 3000757057 1191893089 1502533709 3709284199 2759326493 1378177407 4028621821 1543253352 156967023 40986502 2012409614 671138803 2187310297 1166200805 577693499 2873637155 2524440193 573525728 3799560176 1840805334 1095781589 957120336 1302133016 1433076384 1768242521 3922739394 131449613 1183409488 3607452570 1281409760 2271198276 606392601 2446648141 2907218573 343240364 2471904749 3851387822 2273936415 3122046613 3251983103 3036266681 1784842332 1416486832 1149712752 707529091 340857623 1662435458 3205444628 3046015968 3912624745 3847987387 1597819217 1970211928 3430819104 3032077123 2971570585 844315558 2842684895 3886302119 1831006736 3581656200 37023120 1245100111 1504458732 2057333402 3755196823 4274424733 522367012 2598878456 3086950417 458848828 2717435646 1742225989 1405994846 1826454872 2434875230 1868917710 1157323540 1850875583 3668631387 9074643 3790692650 3671921996 3068765964 3890883176 2001441076 1527900517 1514437132 306750541 288030953 877592683 2595626403 3405449029 884553442 1847194933 1059537539 3375076268 2349470959 2092297654 366170204 1427090423 2887158923 1044568544 799748940 3154043863 2608514077 1424040039 3491188717 2018124086 693112252 2063946587 1492182493 3206056486 3261232427 1181209499 1494616552 3650996117 3395181173 788214976 1812719855 194580252 3009449851 4165079232 1473725832 2182490379 4023664853 1106588883 1090123110 3113869919 4197927028 2079644153 3765723567 3885657842 2673507466 3767357113 628344341 1666708500 2293592590 1109725645 1370411200 524794815 4009198363 3965271210 2230193034 984864382 1015624592 2514027249 1809458252 3059334377 1540893219 3406817599 3482462318 4002663169 1113414975 2122791900 591059810 2285267871 1478497405 508362772 3647050303 3710263949 3665434211 2362347845 2696980044 1023040946 3890500494 3110493195 1485332064 2699473740 2089941735 1029815143 152926724 1222157392 1470227536 2695830418 3477578269 1541461499 2513532432 1168920307 580438973 2762717041 1794594412 2705950530 1519344093 2531354246 2585711672 1280513354 2904894731 2902678353 3195128504 2229504274 3166776327 568014988 3766975319 971535440 3715186524 141223626 2225598642 3130017254 4294090719 3285286571 873278180 3064854294 1244238452 4248694345 4079116742 3275799435 1852500619 1153876634 2945864518 1626694264 743791407 2870478438 4109992832 2591783033 4031322690 3577887260 29854998 1785569666 1174091418 255 362436" option to reproduce the execution
0.00/0.02 c #vars 572
0.00/0.02 c #constraints 126
0.00/0.04 c BCD2: Hardening is enabled.
0.00/0.04 c BCD2: BiasedSearch is enabled.
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 262 0 | 0 | 0
0.00/0.08 c 0.0s | 1 | 236 | 100 | 262 0 | 0 | 0
0.19/0.21 c 0.2s | 2 | 522 | 250 | 289 0 | 0 | 0
0.38/0.43 c 0.4s | 3 | 891 | 475 | 318 0 | 0 | 0
0.89/0.91 c 0.9s | 4 | 1446 | 813 | 350 1 | 0 | 0
1.29/1.37 c 1.3s | 5 | 2133 | 1320 | 386 2 | 0 | 0
1.79/1.88 c 1.8s | 6 | 3065 | 2081 | 468 4 | 0 | 0
2.49/2.55 c 2.5s | 7 | 4509 | 3223 | 515 7 | 0 | 0
3.59/3.66 c 3.6s | 8 | 6615 | 4936 | 567 11 | 0 | 0
5.39/5.41 c 5.4s | 9 | 9560 | 7506 | 624 16 | 0 | 0
7.39/7.46 c 7.4s | 9 | 13755 | 11106 | 624 23 | 0 | 0
7.59/7.60 c 7.6s | 10 | 14027 | 11361 | 687 23 | 0 | 0
9.59/9.61 c 9.6s | 10 | 18245 | 15061 | 687 30 | 0 | 0
10.69/10.77 c 10.7s | 11 | 20567 | 17144 | 756 34 | 0 | 0
12.79/12.82 c 12.8s | 11 | 24449 | 20344 | 756 39 | 0 | 0
14.79/14.85 c 14.8s | 11 | 28491 | 23944 | 756 45 | 0 | 0
15.89/15.90 c 15.9s | 12 | 30613 | 25819 | 832 48 | 0 | 0
17.89/17.93 c 17.9s | 12 | 34030 | 28819 | 832 53 | 0 | 0
19.89/19.96 c 19.9s | 12 | 37752 | 32219 | 832 58 | 0 | 0
21.89/21.99 c 22.0s | 12 | 41277 | 35419 | 832 63 | 0 | 0
23.99/24.02 c 24.0s | 12 | 44788 | 38619 | 916 68 | 0 | 0
24.09/24.19 c 24.2s | 13 | 45019 | 38832 | 916 69 | 0 | 0
26.19/26.21 c 26.2s | 13 | 48965 | 42132 | 916 73 | 0 | 0
28.19/28.28 c 28.2s | 13 | 51977 | 44932 | 916 78 | 0 | 0
30.29/30.32 c 30.3s | 13 | 55184 | 47732 | 916 82 | 0 | 0
32.29/32.35 c 32.3s | 13 | 58438 | 50632 | 916 86 | 0 | 0
34.38/34.41 c 34.4s | 13 | 61594 | 53432 | 916 90 | 0 | 0
36.39/36.47 c 36.4s | 13 | 64470 | 56032 | 916 94 | 0 | 0
38.08/38.11 c 38.1s | 14 | 67052 | 58352 | 1008 97 | 0 | 0
40.08/40.16 c 40.1s | 14 | 69973 | 60852 | 1008 101 | 0 | 0
42.18/42.23 c 42.2s | 14 | 72670 | 63352 | 1008 104 | 0 | 0
44.18/44.28 c 44.2s | 14 | 75409 | 65852 | 1008 108 | 0 | 0
46.29/46.33 c 46.3s | 14 | 78042 | 68252 | 1008 111 | 0 | 0
48.28/48.34 c 48.3s | 14 | 80355 | 70452 | 1008 114 | 0 | 0
50.28/50.39 c 50.4s | 14 | 82999 | 72852 | 1008 118 | 0 | 0
52.38/52.46 c 52.4s | 14 | 85592 | 75152 | 1008 121 | 0 | 0
54.48/54.50 c 54.5s | 14 | 88075 | 77252 | 1008 124 | 0 | 0
56.48/56.51 c 56.5s | 14 | 91008 | 79752 | 1008 127 | 0 | 0
58.48/58.52 c 58.5s | 14 | 94329 | 82452 | 1008 131 | 0 | 0
60.49/60.52 c 60.5s | 14 | 97656 | 85252 | 1008 135 | 0 | 0
62.28/62.30 c 62.3s | 15 | 101107 | 87632 | 1109 138 | 0 | 0
64.28/64.31 c 64.3s | 15 | 105136 | 90332 | 1109 142 | 1 | 0
66.28/66.37 c 66.3s | 15 | 108216 | 93032 | 1109 145 | 1 | 0
68.38/68.45 c 68.4s | 15 | 110850 | 95432 | 1109 149 | 1 | 0
70.39/70.47 c 70.4s | 15 | 114157 | 98332 | 1109 152 | 1 | 0
72.48/72.51 c 72.5s | 15 | 117166 | 101032 | 1109 156 | 1 | 0
74.48/74.55 c 74.5s | 15 | 120471 | 103832 | 1109 159 | 1 | 0
76.58/76.62 c 76.6s | 15 | 123221 | 106232 | 1109 163 | 1 | 0
78.58/78.67 c 78.6s | 15 | 126360 | 108832 | 1109 166 | 1 | 0
80.68/80.72 c 80.7s | 15 | 129622 | 111532 | 1109 169 | 1 | 0
82.68/82.77 c 82.7s | 15 | 132714 | 114232 | 1109 173 | 1 | 0
84.78/84.83 c 84.8s | 15 | 135623 | 116732 | 1109 176 | 1 | 0
86.77/86.84 c 86.8s | 15 | 139496 | 119632 | 1109 180 | 1 | 0
88.87/88.90 c 88.9s | 15 | 142642 | 122432 | 1109 184 | 1 | 0
90.87/90.92 c 90.9s | 15 | 145776 | 125132 | 1109 187 | 1 | 0
92.87/92.97 c 92.9s | 15 | 148648 | 127532 | 1109 191 | 1 | 0
94.97/95.00 c 95.0s | 15 | 151984 | 130432 | 1109 194 | 1 | 0
95.78/95.87 c 95.8s | 16 | 153282 | 131552 | 1220 196 | 1 | 0
97.88/97.93 c 97.9s | 16 | 158137 | 134552 | 1220 200 | 1 | 0
99.87/99.95 c 99.9s | 16 | 161645 | 137152 | 1220 203 | 1 | 0
101.97/102.03 c 101s | 16 | 164565 | 139552 | 1220 206 | 1 | 0
103.97/104.04 c 104s | 16 | 167628 | 142052 | 1220 209 | 1 | 0
104.97/105.09 c 105s | 16 | 169105 | 143365 | 1220 210 | 1 | 0
104.97/105.09 c #cpu_time = 104.779s
104.97/105.09 c #wall_clock_time = 105.048s
104.97/105.09 c #decision = 169105
104.97/105.09 c #random_decision = 326
104.97/105.09 c #conflict = 143365
104.97/105.09 c #restart = 16
104.97/105.09 o 128252
104.97/105.09 c BCD2: updating upper bound: 547769 -> 128251
105.07/105.10 c BCD2: 0 <= obj <= 128251
105.07/105.10 c BCD2: #cores=0, #unrelaxed=572, #relaxed=0, #hardened=0
105.07/105.10 c BCD2: #sat=1 #unsat=1 bias=1/2
105.07/105.10 c Solving starts ...
105.07/105.10 c ============================[ Search Statistics ]============================
105.07/105.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.07/105.10 c | | | | Limit GC | Var | Constra
105.07/105.10 c =============================================================================
105.07/105.10 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 0
105.07/105.14 c 0.0s | 0 | 322 | 0 | 1220 1 | 1 | 0
105.07/105.14 c #cpu_time = 0.046s
105.07/105.14 c #wall_clock_time = 0.047s
105.07/105.14 c #decision = 322
105.07/105.14 c #random_decision = 0
105.07/105.14 c #conflict = 0
105.07/105.14 c #restart = 0
105.07/105.15 c BCD2: found a new core of size 284: cost of the new core is >=375
105.07/105.15 c lower bound updated to 375
105.07/105.15 c BCD2: 375 <= obj <= 128251
105.07/105.15 c BCD2: #cores=1, #unrelaxed=288, #relaxed=284, #hardened=0
105.07/105.15 c BCD2: #sat=1 #unsat=2 bias=2/3
105.07/105.15 c Solving starts ...
105.07/105.15 c ============================[ Search Statistics ]============================
105.07/105.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.07/105.15 c | | | | Limit GC | Var | Constra
105.07/105.15 c =============================================================================
105.07/105.15 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 0
105.07/105.17 c 0.0s | 0 | 223 | 0 | 1220 0 | 1 | 0
105.07/105.17 c #cpu_time = 0.013s
105.07/105.17 c #wall_clock_time = 0.013s
105.07/105.17 c #decision = 223
105.07/105.17 c #random_decision = 0
105.07/105.17 c #conflict = 0
105.07/105.17 c #restart = 0
105.07/105.17 c BCD2: found a new core of size 13: cost of the new core is >=215
105.07/105.17 c lower bound updated to 590
105.07/105.17 c BCD2: 590 <= obj <= 128251
105.07/105.17 c BCD2: #cores=2, #unrelaxed=275, #relaxed=297, #hardened=0
105.07/105.17 c BCD2: #sat=1 #unsat=3 bias=3/4
105.17/105.23 c Solving starts ...
105.17/105.23 c ============================[ Search Statistics ]============================
105.17/105.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.17/105.23 c | | | | Limit GC | Var | Constra
105.17/105.23 c =============================================================================
105.17/105.23 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 1
105.17/105.24 c 0.0s | 0 | 213 | 0 | 1220 0 | 1 | 1
105.17/105.24 c #cpu_time = 0.011s
105.17/105.24 c #wall_clock_time = 0.011s
105.17/105.24 c #decision = 213
105.17/105.24 c #random_decision = 0
105.17/105.24 c #conflict = 0
105.17/105.24 c #restart = 0
105.17/105.24 c BCD2: found a new core of size 23: cost of the new core is >=12
105.17/105.24 c lower bound updated to 602
105.17/105.25 c BCD2: 602 <= obj <= 128251
105.17/105.25 c BCD2: #cores=3, #unrelaxed=252, #relaxed=320, #hardened=0
105.17/105.25 c BCD2: #sat=1 #unsat=4 bias=4/5
105.17/105.25 c Solving starts ...
105.17/105.25 c ============================[ Search Statistics ]============================
105.17/105.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.17/105.25 c | | | | Limit GC | Var | Constra
105.17/105.25 c =============================================================================
105.17/105.25 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 2
105.17/105.26 c 0.0s | 0 | 192 | 0 | 1220 0 | 1 | 2
105.17/105.26 c #cpu_time = 0.011s
105.17/105.26 c #wall_clock_time = 0.011s
105.17/105.26 c #decision = 192
105.17/105.26 c #random_decision = 0
105.17/105.26 c #conflict = 0
105.17/105.26 c #restart = 0
105.17/105.26 c BCD2: found a new core of size 9: cost of the new core is >=25
105.17/105.26 c lower bound updated to 627
105.17/105.27 c BCD2: 627 <= obj <= 128251
105.17/105.27 c BCD2: #cores=4, #unrelaxed=243, #relaxed=329, #hardened=0
105.17/105.27 c BCD2: #sat=1 #unsat=5 bias=5/6
105.17/105.27 c Solving starts ...
105.17/105.27 c ============================[ Search Statistics ]============================
105.17/105.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.17/105.27 c | | | | Limit GC | Var | Constra
105.17/105.27 c =============================================================================
105.17/105.27 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 3
105.17/105.28 c 0.0s | 0 | 185 | 0 | 1220 0 | 1 | 3
105.17/105.28 c #cpu_time = 0.011s
105.17/105.28 c #wall_clock_time = 0.011s
105.17/105.28 c #decision = 185
105.17/105.28 c #random_decision = 0
105.17/105.28 c #conflict = 0
105.17/105.28 c #restart = 0
105.17/105.28 c BCD2: found a new core of size 9: cost of the new core is >=50
105.17/105.28 c lower bound updated to 677
105.17/105.29 c BCD2: 677 <= obj <= 128251
105.17/105.29 c BCD2: #cores=5, #unrelaxed=234, #relaxed=338, #hardened=0
105.17/105.29 c BCD2: #sat=1 #unsat=6 bias=6/7
105.27/105.30 c Solving starts ...
105.27/105.30 c ============================[ Search Statistics ]============================
105.27/105.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.27/105.30 c | | | | Limit GC | Var | Constra
105.27/105.30 c =============================================================================
105.27/105.30 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 3
105.27/105.31 c 0.0s | 0 | 186 | 0 | 1220 0 | 1 | 3
105.27/105.31 c #cpu_time = 0.011s
105.27/105.31 c #wall_clock_time = 0.011s
105.27/105.31 c #decision = 186
105.27/105.31 c #random_decision = 0
105.27/105.31 c #conflict = 0
105.27/105.31 c #restart = 0
105.27/105.31 c BCD2: found a new core of size 5: cost of the new core is >=326
105.27/105.31 c lower bound updated to 1003
105.27/105.32 c BCD2: 1003 <= obj <= 128251
105.27/105.32 c BCD2: #cores=6, #unrelaxed=229, #relaxed=343, #hardened=0
105.27/105.32 c BCD2: #sat=1 #unsat=7 bias=7/8
105.27/105.37 c Solving starts ...
105.27/105.37 c ============================[ Search Statistics ]============================
105.27/105.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.27/105.37 c | | | | Limit GC | Var | Constra
105.27/105.37 c =============================================================================
105.27/105.37 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 4
105.27/105.38 c 0.0s | 0 | 183 | 0 | 1220 0 | 1 | 4
105.27/105.38 c #cpu_time = 0.011s
105.27/105.38 c #wall_clock_time = 0.011s
105.27/105.38 c #decision = 183
105.27/105.38 c #random_decision = 0
105.27/105.38 c #conflict = 0
105.27/105.38 c #restart = 0
105.27/105.38 c BCD2: found a new core of size 7: cost of the new core is >=74
105.27/105.38 c lower bound updated to 1077
105.27/105.39 c BCD2: 1077 <= obj <= 128251
105.27/105.39 c BCD2: #cores=7, #unrelaxed=222, #relaxed=350, #hardened=0
105.27/105.39 c BCD2: #sat=1 #unsat=8 bias=8/9
105.37/105.43 c Solving starts ...
105.37/105.43 c ============================[ Search Statistics ]============================
105.37/105.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.37/105.43 c | | | | Limit GC | Var | Constra
105.37/105.43 c =============================================================================
105.37/105.43 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 5
105.37/105.44 c 0.0s | 0 | 181 | 0 | 1220 0 | 1 | 5
105.37/105.44 c #cpu_time = 0.011s
105.37/105.44 c #wall_clock_time = 0.011s
105.37/105.44 c #decision = 181
105.37/105.44 c #random_decision = 0
105.37/105.44 c #conflict = 0
105.37/105.44 c #restart = 0
105.37/105.44 c BCD2: found a new core of size 9: cost of the new core is >=96
105.37/105.44 c lower bound updated to 1173
105.37/105.45 c BCD2: 1173 <= obj <= 128251
105.37/105.45 c BCD2: #cores=8, #unrelaxed=213, #relaxed=359, #hardened=0
105.37/105.45 c BCD2: #sat=1 #unsat=9 bias=9/10
105.37/105.47 c Solving starts ...
105.37/105.47 c ============================[ Search Statistics ]============================
105.37/105.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.37/105.47 c | | | | Limit GC | Var | Constra
105.37/105.47 c =============================================================================
105.37/105.47 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 6
105.37/105.48 c 0.0s | 0 | 174 | 0 | 1220 0 | 1 | 6
105.37/105.48 c #cpu_time = 0.011s
105.37/105.48 c #wall_clock_time = 0.011s
105.37/105.48 c #decision = 174
105.37/105.48 c #random_decision = 0
105.37/105.48 c #conflict = 0
105.37/105.48 c #restart = 0
105.37/105.48 c BCD2: found a new core of size 14: cost of the new core is >=12
105.37/105.48 c lower bound updated to 1185
105.37/105.48 c BCD2: 1185 <= obj <= 128251
105.37/105.48 c BCD2: #cores=9, #unrelaxed=199, #relaxed=373, #hardened=0
105.37/105.48 c BCD2: #sat=1 #unsat=10 bias=10/11
105.47/105.50 c Solving starts ...
105.47/105.50 c ============================[ Search Statistics ]============================
105.47/105.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.47/105.50 c | | | | Limit GC | Var | Constra
105.47/105.50 c =============================================================================
105.47/105.50 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 6
105.47/105.51 c 0.0s | 0 | 167 | 0 | 1220 0 | 1 | 6
105.47/105.51 c #cpu_time = 0.011s
105.47/105.51 c #wall_clock_time = 0.011s
105.47/105.51 c #decision = 167
105.47/105.51 c #random_decision = 0
105.47/105.51 c #conflict = 0
105.47/105.51 c #restart = 0
105.47/105.51 c BCD2: found a new core of size 11: cost of the new core is >=12
105.47/105.51 c lower bound updated to 1197
105.47/105.52 c BCD2: 1197 <= obj <= 128251
105.47/105.52 c BCD2: #cores=10, #unrelaxed=188, #relaxed=384, #hardened=0
105.47/105.52 c BCD2: #sat=1 #unsat=11 bias=11/12
105.47/105.53 c Solving starts ...
105.47/105.53 c ============================[ Search Statistics ]============================
105.47/105.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.47/105.53 c | | | | Limit GC | Var | Constra
105.47/105.53 c =============================================================================
105.47/105.53 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 7
105.47/105.54 c 0.0s | 0 | 159 | 0 | 1220 0 | 1 | 7
105.47/105.54 c #cpu_time = 0.011s
105.47/105.54 c #wall_clock_time = 0.011s
105.47/105.54 c #decision = 159
105.47/105.54 c #random_decision = 0
105.47/105.54 c #conflict = 0
105.47/105.54 c #restart = 0
105.47/105.54 c BCD2: found a new core of size 10: cost of the new core is >=80
105.47/105.54 c lower bound updated to 1277
105.47/105.55 c BCD2: 1277 <= obj <= 128251
105.47/105.55 c BCD2: #cores=11, #unrelaxed=178, #relaxed=394, #hardened=0
105.47/105.55 c BCD2: #sat=1 #unsat=12 bias=12/13
105.47/105.56 c Solving starts ...
105.47/105.56 c ============================[ Search Statistics ]============================
105.47/105.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.47/105.56 c | | | | Limit GC | Var | Constra
105.47/105.56 c =============================================================================
105.47/105.56 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 7
105.47/105.57 c 0.0s | 0 | 151 | 0 | 1220 0 | 1 | 7
105.47/105.57 c #cpu_time = 0.011s
105.47/105.57 c #wall_clock_time = 0.011s
105.47/105.57 c #decision = 151
105.47/105.57 c #random_decision = 0
105.47/105.57 c #conflict = 0
105.47/105.57 c #restart = 0
105.47/105.57 c BCD2: found a new core of size 9: cost of the new core is >=326
105.47/105.57 c lower bound updated to 1603
105.47/105.57 c BCD2: 1603 <= obj <= 128251
105.47/105.57 c BCD2: #cores=12, #unrelaxed=169, #relaxed=403, #hardened=0
105.47/105.57 c BCD2: #sat=1 #unsat=13 bias=13/14
105.47/105.60 c Solving starts ...
105.47/105.60 c ============================[ Search Statistics ]============================
105.47/105.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.47/105.60 c | | | | Limit GC | Var | Constra
105.47/105.60 c =============================================================================
105.47/105.60 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 8
105.58/105.61 c 0.0s | 0 | 147 | 0 | 1220 0 | 1 | 8
105.58/105.61 c #cpu_time = 0.012s
105.58/105.61 c #wall_clock_time = 0.012s
105.58/105.61 c #decision = 147
105.58/105.61 c #random_decision = 0
105.58/105.61 c #conflict = 0
105.58/105.61 c #restart = 0
105.58/105.61 c BCD2: found a new core of size 5: cost of the new core is >=25
105.58/105.61 c lower bound updated to 1628
105.58/105.61 c BCD2: 1628 <= obj <= 128251
105.58/105.61 c BCD2: #cores=13, #unrelaxed=164, #relaxed=408, #hardened=0
105.58/105.61 c BCD2: #sat=1 #unsat=14 bias=14/15
105.58/105.62 c Solving starts ...
105.58/105.62 c ============================[ Search Statistics ]============================
105.58/105.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.58/105.62 c | | | | Limit GC | Var | Constra
105.58/105.62 c =============================================================================
105.58/105.62 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 9
105.58/105.64 c 0.0s | 0 | 149 | 0 | 1220 0 | 1 | 9
105.58/105.64 c #cpu_time = 0.012s
105.58/105.64 c #wall_clock_time = 0.012s
105.58/105.64 c #decision = 149
105.58/105.64 c #random_decision = 0
105.58/105.64 c #conflict = 0
105.58/105.64 c #restart = 0
105.58/105.64 c BCD2: found a new core of size 5: cost of the new core is >=12
105.58/105.64 c lower bound updated to 1640
105.58/105.64 c BCD2: 1640 <= obj <= 128251
105.58/105.64 c BCD2: #cores=14, #unrelaxed=159, #relaxed=413, #hardened=0
105.58/105.64 c BCD2: #sat=1 #unsat=15 bias=15/16
105.58/105.65 c Solving starts ...
105.58/105.65 c ============================[ Search Statistics ]============================
105.58/105.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.58/105.65 c | | | | Limit GC | Var | Constra
105.58/105.65 c =============================================================================
105.58/105.65 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 10
105.58/105.66 c 0.0s | 0 | 155 | 0 | 1220 0 | 1 | 10
105.58/105.66 c #cpu_time = 0.012s
105.58/105.66 c #wall_clock_time = 0.013s
105.58/105.66 c #decision = 155
105.58/105.66 c #random_decision = 0
105.58/105.66 c #conflict = 0
105.58/105.66 c #restart = 0
105.58/105.66 c BCD2: found a new core of size 7: cost of the new core is >=11
105.58/105.66 c lower bound updated to 1651
105.58/105.67 c BCD2: 1651 <= obj <= 128251
105.58/105.67 c BCD2: #cores=15, #unrelaxed=152, #relaxed=420, #hardened=0
105.58/105.67 c BCD2: #sat=1 #unsat=16 bias=16/17
105.58/105.67 c Solving starts ...
105.58/105.67 c ============================[ Search Statistics ]============================
105.58/105.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.58/105.67 c | | | | Limit GC | Var | Constra
105.58/105.67 c =============================================================================
105.58/105.67 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 11
105.58/105.69 c 0.0s | 0 | 150 | 0 | 1220 0 | 1 | 11
105.58/105.69 c #cpu_time = 0.012s
105.58/105.69 c #wall_clock_time = 0.013s
105.58/105.69 c #decision = 150
105.58/105.69 c #random_decision = 0
105.58/105.69 c #conflict = 0
105.58/105.69 c #restart = 0
105.58/105.69 c BCD2: found a new core of size 7: cost of the new core is >=105
105.58/105.69 c lower bound updated to 1756
105.58/105.69 c BCD2: 1756 <= obj <= 128251
105.58/105.69 c BCD2: #cores=16, #unrelaxed=145, #relaxed=427, #hardened=0
105.58/105.69 c BCD2: #sat=1 #unsat=17 bias=17/18
105.58/105.70 c Solving starts ...
105.58/105.70 c ============================[ Search Statistics ]============================
105.58/105.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.58/105.70 c | | | | Limit GC | Var | Constra
105.58/105.70 c =============================================================================
105.58/105.70 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 12
105.68/105.71 c 0.0s | 0 | 145 | 0 | 1220 0 | 1 | 12
105.68/105.71 c #cpu_time = 0.011s
105.68/105.71 c #wall_clock_time = 0.011s
105.68/105.71 c #decision = 145
105.68/105.71 c #random_decision = 0
105.68/105.71 c #conflict = 0
105.68/105.71 c #restart = 0
105.68/105.71 c BCD2: found a new core of size 11: cost of the new core is >=326
105.68/105.71 c lower bound updated to 2082
105.68/105.72 c BCD2: 2082 <= obj <= 128251
105.68/105.72 c BCD2: #cores=17, #unrelaxed=134, #relaxed=438, #hardened=0
105.68/105.72 c BCD2: #sat=1 #unsat=18 bias=18/19
105.68/105.72 c Solving starts ...
105.68/105.72 c ============================[ Search Statistics ]============================
105.68/105.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.68/105.72 c | | | | Limit GC | Var | Constra
105.68/105.72 c =============================================================================
105.68/105.72 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 13
105.68/105.73 c 0.0s | 0 | 141 | 0 | 1220 0 | 1 | 13
105.68/105.73 c #cpu_time = 0.011s
105.68/105.73 c #wall_clock_time = 0.011s
105.68/105.73 c #decision = 141
105.68/105.73 c #random_decision = 0
105.68/105.73 c #conflict = 0
105.68/105.73 c #restart = 0
105.68/105.73 c BCD2: found a new core of size 23: cost of the new core is >=25
105.68/105.73 c lower bound updated to 2107
105.68/105.74 c BCD2: 2107 <= obj <= 128251
105.68/105.74 c BCD2: #cores=18, #unrelaxed=111, #relaxed=461, #hardened=0
105.68/105.74 c BCD2: #sat=1 #unsat=19 bias=19/20
105.68/105.74 c Solving starts ...
105.68/105.74 c ============================[ Search Statistics ]============================
105.68/105.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.68/105.74 c | | | | Limit GC | Var | Constra
105.68/105.74 c =============================================================================
105.68/105.74 c 0.0s | 0 | 0 | 0 | 1220 0 | 1 | 14
105.68/105.75 c 0.0s | 0 | 121 | 0 | 1220 0 | 1 | 14
105.68/105.75 c #cpu_time = 0.011s
105.68/105.75 c #wall_clock_time = 0.011s
105.68/105.75 c #decision = 121
105.68/105.75 c #random_decision = 0
105.68/105.75 c #conflict = 0
105.68/105.75 c #restart = 0
105.68/105.75 c BCD2: relaxing 8 and merging with 1 cores into a new core of size 22: cost of the new core is >=23
105.68/105.75 c lower bound updated to 2118
105.68/105.76 c BCD2: 2118 <= obj <= 128251
105.68/105.76 c BCD2: #cores=18, #unrelaxed=103, #relaxed=469, #hardened=0
105.68/105.76 c BCD2: #sat=1 #unsat=20 bias=20/21
105.68/105.77 c Solving starts ...
105.68/105.77 c ============================[ Search Statistics ]============================
105.68/105.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.68/105.77 c | | | | Limit GC | Var | Constra
105.68/105.77 c =============================================================================
105.68/105.77 c 0.0s | 0 | 0 | 0 | 1220 0 | 5 | 14
105.68/105.78 c 0.0s | 0 | 115 | 0 | 1220 0 | 5 | 21
105.68/105.78 c #cpu_time = 0.011s
105.68/105.78 c #wall_clock_time = 0.011s
105.68/105.78 c #decision = 115
105.68/105.78 c #random_decision = 0
105.68/105.78 c #conflict = 0
105.68/105.78 c #restart = 0
105.68/105.78 c BCD2: relaxing 9 and merging with 1 cores into a new core of size 19: cost of the new core is >=160
105.68/105.78 c BCD2: refineLB: 81 -> 160
105.68/105.78 c lower bound updated to 2198
105.68/105.78 c BCD2: 2198 <= obj <= 128251
105.68/105.78 c BCD2: #cores=18, #unrelaxed=94, #relaxed=478, #hardened=0
105.68/105.78 c BCD2: #sat=1 #unsat=21 bias=21/22
105.68/105.79 c Solving starts ...
105.68/105.79 c ============================[ Search Statistics ]============================
105.68/105.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.68/105.79 c | | | | Limit GC | Var | Constra
105.68/105.79 c =============================================================================
105.68/105.79 c 0.0s | 0 | 0 | 0 | 1220 0 | 6 | 21
105.77/105.80 c 0.0s | 0 | 264 | 10 | 1220 0 | 6 | 22
105.77/105.80 c #cpu_time = 0.013s
105.77/105.80 c #wall_clock_time = 0.013s
105.77/105.80 c #decision = 264
105.77/105.80 c #random_decision = 1
105.77/105.80 c #conflict = 10
105.77/105.80 c #restart = 0
105.77/105.80 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 22: cost of the new core is >=387
105.77/105.80 c BCD2: refineLB: 385 -> 387
105.77/105.80 c lower bound updated to 2247
105.77/105.80 c BCD2: 2247 <= obj <= 128251
105.77/105.80 c BCD2: #cores=17, #unrelaxed=94, #relaxed=478, #hardened=0
105.77/105.80 c BCD2: #sat=1 #unsat=22 bias=22/23
105.77/105.81 c Solving starts ...
105.77/105.81 c ============================[ Search Statistics ]============================
105.77/105.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
105.77/105.81 c | | | | Limit GC | Var | Constra
105.77/105.81 c =============================================================================
105.77/105.81 c 0.0s | 0 | 0 | 0 | 1220 0 | 10 | 22
105.77/105.84 c 0.0s | 1 | 461 | 100 | 1220 0 | 10 | 28
105.77/105.88 c 0.1s | 2 | 856 | 250 | 1220 0 | 10 | 28
105.87/105.93 c 0.1s | 3 | 1448 | 475 | 1220 0 | 10 | 28
105.97/106.03 c 0.2s | 4 | 2485 | 813 | 1220 1 | 10 | 28
106.07/106.13 c 0.3s | 5 | 3540 | 1320 | 1220 1 | 10 | 28
106.27/106.30 c 0.5s | 6 | 5175 | 2081 | 1220 2 | 10 | 28
106.47/106.54 c 0.7s | 7 | 7770 | 3223 | 1220 4 | 10 | 28
106.78/106.88 c 1.1s | 8 | 11035 | 4936 | 1220 6 | 10 | 28
107.27/107.38 c 1.6s | 9 | 15867 | 7506 | 1220 9 | 10 | 28
108.07/108.16 c 2.4s | 10 | 22692 | 11361 | 1220 14 | 10 | 28
109.27/109.32 c 3.5s | 11 | 32644 | 17144 | 1220 22 | 10 | 28
110.97/111.04 c 5.2s | 12 | 47198 | 25819 | 1220 33 | 10 | 28
112.97/113.06 c 7.2s | 12 | 65596 | 35419 | 1220 46 | 10 | 28
113.67/113.79 c 8.0s | 13 | 72208 | 38832 | 1220 50 | 10 | 28
115.77/115.80 c 10.0s | 13 | 90120 | 48032 | 1220 62 | 10 | 28
117.78/117.82 c 12.0s | 13 | 105488 | 56332 | 1342 73 | 10 | 28
118.27/118.34 c 12.5s | 14 | 109125 | 58352 | 1342 75 | 10 | 28
120.27/120.35 c 14.5s | 14 | 123987 | 66352 | 1342 85 | 10 | 28
122.27/122.35 c 16.5s | 14 | 139204 | 74252 | 1342 95 | 10 | 28
124.27/124.36 c 18.5s | 14 | 155628 | 82752 | 1342 105 | 10 | 28
125.57/125.63 c 19.8s | 15 | 164348 | 87632 | 1342 111 | 10 | 28
127.58/127.64 c 21.8s | 15 | 177987 | 94932 | 1342 120 | 10 | 28
129.57/129.65 c 23.8s | 15 | 192202 | 101932 | 1342 129 | 10 | 28
131.57/131.67 c 25.9s | 15 | 205088 | 108832 | 1342 138 | 10 | 28
133.67/133.70 c 27.9s | 15 | 218100 | 115732 | 1342 147 | 10 | 28
135.67/135.73 c 29.9s | 15 | 230564 | 123032 | 1342 156 | 10 | 28
137.67/137.74 c 31.9s | 15 | 243115 | 130332 | 1342 165 | 10 | 28
137.97/138.06 c 32.3s | 16 | 245204 | 131552 | 1342 166 | 10 | 28
139.97/140.07 c 34.3s | 16 | 258605 | 139652 | 1342 176 | 10 | 28
141.98/142.10 c 36.3s | 16 | 272923 | 147852 | 1342 186 | 10 | 28
144.08/144.12 c 38.3s | 16 | 286503 | 155252 | 1477 195 | 11 | 28
146.07/146.13 c 40.3s | 16 | 299945 | 162952 | 1477 204 | 11 | 28
148.07/148.14 c 42.3s | 16 | 313244 | 170552 | 1477 212 | 11 | 28
150.07/150.16 c 44.4s | 16 | 325671 | 178052 | 1477 221 | 11 | 28
152.07/152.17 c 46.4s | 16 | 337779 | 185952 | 1477 230 | 11 | 28
154.07/154.18 c 48.4s | 16 | 351571 | 193652 | 1477 239 | 11 | 28
155.17/155.26 c 49.5s | 17 | 358888 | 197432 | 1477 243 | 11 | 28
157.17/157.28 c 51.5s | 17 | 372159 | 204732 | 1477 252 | 11 | 28
159.17/159.29 c 53.5s | 17 | 384846 | 212332 | 1477 261 | 11 | 28
161.16/161.29 c 55.5s | 17 | 398767 | 220132 | 1477 269 | 11 | 28
163.26/163.30 c 57.5s | 17 | 413291 | 227432 | 1477 278 | 11 | 28
165.26/165.31 c 59.5s | 17 | 426152 | 235132 | 1477 286 | 11 | 28
167.27/167.33 c 61.5s | 17 | 440122 | 243232 | 1477 295 | 11 | 28
169.26/169.36 c 63.5s | 17 | 453563 | 250932 | 1477 304 | 11 | 28
171.26/171.36 c 65.6s | 17 | 467574 | 258832 | 1477 313 | 11 | 28
173.26/173.37 c 67.6s | 17 | 481162 | 265932 | 1477 321 | 11 | 28
175.26/175.37 c 69.6s | 17 | 494254 | 273632 | 1477 330 | 11 | 28
177.26/177.38 c 71.6s | 17 | 506173 | 280832 | 1477 338 | 11 | 28
179.27/179.40 c 73.6s | 17 | 520564 | 288532 | 1477 347 | 11 | 28
181.36/181.41 c 75.6s | 17 | 533725 | 296232 | 1477 356 | 11 | 28
181.36/181.41 c 75.6s | 18 | 533749 | 296252 | 1477 356 | 11 | 28
183.36/183.42 c 77.6s | 18 | 546978 | 304152 | 1625 364 | 11 | 28
185.36/185.43 c 79.6s | 18 | 559768 | 311852 | 1625 373 | 11 | 28
187.36/187.44 c 81.6s | 18 | 573661 | 319852 | 1625 381 | 11 | 28
189.36/189.45 c 83.6s | 18 | 587154 | 327752 | 1625 389 | 11 | 28
191.37/191.46 c 85.7s | 18 | 600966 | 335952 | 1625 398 | 11 | 28
193.36/193.47 c 87.7s | 18 | 614291 | 343452 | 1625 406 | 11 | 28
195.46/195.50 c 89.7s | 18 | 626625 | 350552 | 1625 413 | 11 | 28
197.46/197.51 c 91.7s | 18 | 640028 | 357952 | 1625 421 | 11 | 28
199.46/199.53 c 93.7s | 18 | 652051 | 364952 | 1625 429 | 11 | 28
201.46/201.55 c 95.7s | 18 | 662944 | 372052 | 1625 436 | 11 | 28
203.46/203.56 c 97.8s | 18 | 675603 | 379752 | 1625 444 | 11 | 28
205.46/205.56 c 99.8s | 18 | 688874 | 387052 | 1625 452 | 11 | 28
207.46/207.59 c 101s | 18 | 701208 | 394352 | 1625 460 | 11 | 28
209.56/209.61 c 103s | 18 | 713506 | 401652 | 1625 468 | 12 | 28
211.56/211.62 c 105s | 18 | 725254 | 408652 | 1625 475 | 12 | 28
213.56/213.62 c 107s | 18 | 736255 | 415852 | 1625 483 | 12 | 28
215.56/215.63 c 109s | 18 | 747539 | 422752 | 1625 490 | 12 | 28
217.55/217.64 c 111s | 18 | 759337 | 430152 | 1625 498 | 12 | 28
219.55/219.64 c 113s | 18 | 771999 | 437852 | 1625 506 | 12 | 28
221.45/221.51 c 115s | 19 | 782235 | 444482 | 1625 513 | 12 | 28
223.45/223.53 c 117s | 19 | 793550 | 451682 | 1625 521 | 12 | 28
225.46/225.53 c 119s | 19 | 804382 | 458782 | 1625 528 | 12 | 28
227.45/227.55 c 121s | 19 | 815258 | 465682 | 1625 536 | 12 | 28
229.45/229.58 c 123s | 19 | 825651 | 472382 | 1625 543 | 12 | 28
231.45/231.59 c 125s | 19 | 837445 | 479682 | 1625 551 | 12 | 28
233.55/233.60 c 127s | 19 | 849350 | 487182 | 1625 558 | 12 | 28
235.55/235.61 c 129s | 19 | 862177 | 494582 | 1625 566 | 12 | 28
237.56/237.61 c 131s | 19 | 874402 | 501782 | 1625 574 | 12 | 28
239.55/239.61 c 133s | 19 | 885835 | 508482 | 1625 581 | 12 | 28
241.55/241.63 c 135s | 19 | 897889 | 515582 | 1625 588 | 12 | 28
243.55/243.65 c 137s | 19 | 910205 | 523082 | 1788 596 | 12 | 28
245.55/245.67 c 139s | 19 | 921761 | 530282 | 1788 603 | 12 | 28
247.56/247.68 c 141s | 19 | 934389 | 537382 | 1788 610 | 12 | 28
249.55/249.69 c 143s | 19 | 945469 | 544382 | 1788 616 | 12 | 28
251.65/251.71 c 145s | 19 | 956779 | 551682 | 1788 623 | 12 | 28
253.65/253.71 c 147s | 19 | 969121 | 559482 | 1788 631 | 12 | 28
255.65/255.71 c 149s | 19 | 981216 | 566982 | 1788 638 | 12 | 28
257.65/257.73 c 151s | 19 | 993073 | 574682 | 1788 646 | 12 | 28
259.65/259.76 c 153s | 19 | 1005373 | 581782 | 1788 653 | 12 | 28
261.65/261.77 c 155s | 19 | 1017607 | 588882 | 1788 659 | 12 | 28
263.65/263.79 c 157s | 19 | 1028938 | 595782 | 1788 666 | 12 | 28
265.75/265.80 c 159s | 19 | 1041362 | 603582 | 1788 674 | 12 | 28
267.75/267.82 c 162s | 19 | 1054368 | 611382 | 1788 681 | 12 | 28
269.74/269.82 c 164s | 19 | 1066244 | 617682 | 1788 687 | 12 | 28
271.75/271.83 c 166s | 19 | 1078314 | 624282 | 1788 694 | 12 | 28
273.74/273.83 c 168s | 19 | 1091618 | 631282 | 1788 700 | 12 | 28
275.75/275.86 c 170s | 19 | 1104420 | 638982 | 1788 708 | 12 | 28
277.75/277.88 c 172s | 19 | 1116928 | 646382 | 1788 715 | 12 | 28
279.75/279.88 c 174s | 19 | 1128082 | 652882 | 1788 721 | 12 | 28
281.85/281.91 c 176s | 19 | 1138783 | 660182 | 1788 728 | 12 | 28
283.65/283.75 c 177s | 20 | 1148498 | 666827 | 1788 735 | 12 | 28
285.65/285.76 c 179s | 20 | 1160719 | 675027 | 1788 743 | 12 | 28
287.65/287.77 c 181s | 20 | 1172786 | 683327 | 1788 751 | 12 | 28
289.65/289.77 c 183s | 20 | 1184719 | 691427 | 1788 758 | 12 | 28
291.75/291.80 c 185s | 20 | 1197008 | 699827 | 1788 766 | 12 | 28
293.76/293.81 c 188s | 20 | 1209530 | 708527 | 1788 774 | 12 | 28
295.75/295.83 c 190s | 20 | 1222565 | 717027 | 1788 783 | 12 | 28
297.75/297.84 c 192s | 20 | 1234984 | 725427 | 1788 791 | 12 | 28
299.75/299.84 c 194s | 20 | 1247504 | 733927 | 1788 799 | 12 | 28
301.75/301.86 c 196s | 20 | 1258773 | 742027 | 1788 807 | 12 | 28
303.75/303.88 c 198s | 20 | 1271014 | 750527 | 1788 815 | 12 | 28
305.75/305.90 c 200s | 20 | 1282222 | 758627 | 1788 823 | 12 | 28
307.85/307.92 c 202s | 20 | 1294273 | 766827 | 1788 831 | 12 | 28
309.85/309.93 c 204s | 20 | 1306650 | 775327 | 1788 839 | 12 | 28
311.85/311.93 c 206s | 20 | 1319125 | 783827 | 1788 847 | 12 | 28
313.85/313.93 c 208s | 20 | 1331546 | 792127 | 1788 855 | 12 | 28
315.85/315.95 c 210s | 20 | 1343248 | 800227 | 1788 863 | 12 | 28
317.85/317.96 c 212s | 20 | 1355302 | 808427 | 1788 871 | 12 | 28
319.84/319.98 c 214s | 20 | 1367952 | 816727 | 1788 879 | 12 | 28
321.94/322.00 c 216s | 20 | 1380215 | 824727 | 1788 887 | 12 | 28
323.94/324.00 c 218s | 20 | 1391185 | 832327 | 1788 894 | 12 | 28
325.94/326.03 c 220s | 20 | 1403700 | 840327 | 1788 902 | 12 | 28
327.94/328.04 c 222s | 20 | 1416512 | 848327 | 1788 909 | 12 | 28
329.95/330.04 c 224s | 20 | 1429998 | 855827 | 1967 916 | 12 | 28
331.94/332.05 c 226s | 20 | 1443077 | 863127 | 1967 923 | 12 | 28
333.94/334.06 c 228s | 20 | 1455503 | 871027 | 1967 930 | 12 | 28
335.94/336.06 c 230s | 20 | 1468561 | 878327 | 1967 936 | 12 | 28
337.94/338.06 c 232s | 20 | 1482456 | 885627 | 1967 943 | 12 | 28
339.95/340.07 c 234s | 20 | 1495355 | 893227 | 1967 950 | 12 | 28
341.94/342.09 c 236s | 20 | 1509138 | 901127 | 1967 957 | 12 | 28
344.04/344.10 c 238s | 20 | 1522440 | 908627 | 1967 963 | 12 | 28
346.04/346.10 c 240s | 20 | 1535272 | 915827 | 1967 970 | 12 | 28
348.03/348.12 c 242s | 20 | 1547572 | 923727 | 1967 977 | 12 | 28
350.03/350.13 c 244s | 20 | 1559746 | 931227 | 1967 983 | 12 | 28
352.04/352.14 c 246s | 20 | 1571972 | 938327 | 1967 990 | 12 | 28
354.03/354.16 c 248s | 20 | 1585631 | 946027 | 1967 997 | 12 | 28
356.03/356.17 c 250s | 20 | 1599518 | 953727 | 1967 1003 | 12 | 28
358.03/358.17 c 252s | 20 | 1611392 | 961527 | 1967 1010 | 12 | 28
360.03/360.18 c 254s | 20 | 1622512 | 968927 | 1967 1017 | 12 | 28
362.03/362.18 c 256s | 20 | 1634508 | 976627 | 1967 1024 | 12 | 28
364.04/364.19 c 258s | 20 | 1645676 | 984427 | 1967 1031 | 12 | 28
366.13/366.22 c 260s | 20 | 1657027 | 992027 | 1967 1038 | 12 | 28
368.13/368.24 c 262s | 20 | 1669086 | 999827 | 1967 1045 | 12 | 28
368.23/368.38 c 262s | 21 | 1669817 | 1000345 | 1967 1045 | 12 | 28
370.33/370.40 c 264s | 21 | 1681578 | 1008045 | 1967 1052 | 12 | 28
372.33/372.41 c 266s | 21 | 1693629 | 1016045 | 1967 1059 | 12 | 28
374.33/374.42 c 268s | 21 | 1705476 | 1023745 | 1967 1066 | 12 | 28
376.34/376.44 c 270s | 21 | 1715465 | 1030545 | 1967 1072 | 12 | 28
378.34/378.47 c 272s | 21 | 1726432 | 1037745 | 1967 1078 | 12 | 28
380.34/380.48 c 274s | 21 | 1738494 | 1044945 | 1967 1085 | 12 | 28
382.44/382.50 c 276s | 21 | 1749651 | 1052145 | 1967 1091 | 12 | 28
384.44/384.52 c 278s | 21 | 1761327 | 1059545 | 1967 1098 | 12 | 28
386.44/386.53 c 280s | 21 | 1771387 | 1066345 | 1967 1104 | 12 | 28
388.44/388.54 c 282s | 21 | 1783031 | 1073445 | 1967 1111 | 12 | 28
390.44/390.57 c 284s | 21 | 1796010 | 1081245 | 1967 1117 | 12 | 28
392.43/392.57 c 286s | 21 | 1808641 | 1089045 | 1967 1124 | 12 | 28
394.43/394.58 c 288s | 21 | 1823215 | 1097845 | 1967 1132 | 12 | 28
396.43/396.58 c 290s | 21 | 1837250 | 1106445 | 1967 1140 | 12 | 28
398.53/398.61 c 292s | 21 | 1850738 | 1113445 | 1967 1146 | 12 | 28
400.53/400.62 c 294s | 21 | 1863344 | 1120545 | 1967 1153 | 12 | 28
402.54/402.63 c 296s | 21 | 1875477 | 1127745 | 1967 1159 | 12 | 28
404.53/404.65 c 298s | 21 | 1887787 | 1134745 | 1967 1165 | 12 | 28
406.53/406.68 c 300s | 21 | 1899492 | 1141545 | 1967 1172 | 12 | 28
408.63/408.71 c 302s | 21 | 1911183 | 1148145 | 1967 1177 | 12 | 28
410.63/410.71 c 304s | 21 | 1921370 | 1154245 | 1967 1183 | 12 | 28
412.63/412.71 c 306s | 21 | 1934530 | 1161745 | 1967 1190 | 12 | 28
414.64/414.73 c 308s | 21 | 1947930 | 1168945 | 1967 1196 | 12 | 28
416.63/416.73 c 310s | 21 | 1962459 | 1175945 | 1967 1202 | 12 | 28
418.63/418.74 c 312s | 21 | 1976553 | 1182445 | 1967 1208 | 12 | 28
420.63/420.75 c 314s | 21 | 1990192 | 1188745 | 1967 1214 | 12 | 28
422.63/422.77 c 316s | 21 | 2004539 | 1195145 | 1967 1220 | 12 | 28
424.63/424.78 c 318s | 21 | 2017708 | 1201345 | 1967 1225 | 12 | 28
426.62/426.80 c 320s | 21 | 2029620 | 1207745 | 1967 1231 | 12 | 28
428.72/428.83 c 323s | 21 | 2042506 | 1214245 | 1967 1237 | 12 | 28
430.72/430.85 c 325s | 21 | 2055280 | 1220845 | 1967 1243 | 12 | 28
432.72/432.86 c 327s | 21 | 2068096 | 1227445 | 1967 1249 | 12 | 28
434.72/434.87 c 329s | 21 | 2080999 | 1233845 | 1967 1255 | 12 | 28
436.82/436.90 c 331s | 21 | 2093242 | 1239845 | 1967 1260 | 12 | 28
438.83/438.91 c 333s | 21 | 2107309 | 1246845 | 1967 1267 | 12 | 28
440.83/440.91 c 335s | 21 | 2120720 | 1253845 | 1967 1273 | 12 | 28
442.83/442.92 c 337s | 21 | 2134007 | 1261045 | 1967 1280 | 12 | 28
444.83/444.94 c 339s | 21 | 2146658 | 1267745 | 1967 1286 | 12 | 28
446.83/446.95 c 341s | 21 | 2158070 | 1274445 | 1967 1292 | 12 | 28
448.83/448.97 c 343s | 21 | 2169977 | 1281245 | 1967 1298 | 12 | 28
450.82/451.00 c 345s | 21 | 2181808 | 1288245 | 1967 1305 | 12 | 28
452.92/453.02 c 347s | 21 | 2192724 | 1295145 | 1967 1311 | 12 | 28
454.92/455.03 c 349s | 21 | 2207584 | 1302845 | 1967 1318 | 12 | 28
456.92/457.03 c 351s | 21 | 2222312 | 1310945 | 1967 1325 | 12 | 28
458.92/459.04 c 353s | 21 | 2236991 | 1319245 | 1967 1332 | 12 | 28
460.93/461.06 c 355s | 21 | 2252962 | 1328145 | 1967 1340 | 12 | 28
462.92/463.07 c 357s | 21 | 2267924 | 1335945 | 1967 1347 | 12 | 28
465.02/465.11 c 359s | 21 | 2284054 | 1344145 | 1967 1355 | 12 | 28
467.02/467.13 c 361s | 21 | 2300336 | 1352045 | 2164 1361 | 12 | 28
469.02/469.13 c 363s | 21 | 2316244 | 1359645 | 2164 1367 | 12 | 28
471.02/471.15 c 365s | 21 | 2331179 | 1367845 | 2164 1374 | 12 | 28
473.03/473.16 c 367s | 21 | 2345535 | 1375745 | 2164 1381 | 12 | 28
475.01/475.18 c 369s | 21 | 2359532 | 1383745 | 2164 1387 | 12 | 28
477.11/477.20 c 371s | 21 | 2374076 | 1391445 | 2164 1394 | 12 | 28
479.11/479.22 c 373s | 21 | 2386859 | 1398745 | 2164 1400 | 12 | 28
481.11/481.24 c 375s | 21 | 2400536 | 1406245 | 2164 1406 | 12 | 28
483.11/483.25 c 377s | 21 | 2416035 | 1414145 | 2164 1413 | 12 | 28
485.12/485.25 c 379s | 21 | 2429901 | 1421645 | 2164 1419 | 12 | 28
487.11/487.26 c 381s | 21 | 2446445 | 1430045 | 2164 1426 | 12 | 28
489.11/489.28 c 383s | 21 | 2460549 | 1438245 | 2164 1432 | 12 | 28
491.11/491.28 c 385s | 21 | 2473746 | 1446045 | 2164 1439 | 12 | 28
493.21/493.30 c 387s | 21 | 2486522 | 1453645 | 2164 1445 | 12 | 28
495.21/495.31 c 389s | 21 | 2498501 | 1461045 | 2164 1451 | 12 | 28
497.22/497.33 c 391s | 21 | 2510844 | 1469545 | 2164 1458 | 12 | 28
499.21/499.33 c 393s | 21 | 2522392 | 1477045 | 2164 1465 | 12 | 28
501.21/501.33 c 395s | 21 | 2534417 | 1484745 | 2164 1471 | 12 | 28
503.21/503.35 c 397s | 21 | 2546103 | 1492345 | 2164 1477 | 12 | 28
505.21/505.36 c 399s | 21 | 2557678 | 1500045 | 2164 1484 | 12 | 28
505.41/505.51 c 399s | 22 | 2558522 | 1500622 | 2164 1484 | 12 | 28
507.41/507.52 c 401s | 22 | 2570587 | 1508322 | 2164 1491 | 12 | 28
509.42/509.52 c 403s | 22 | 2581843 | 1516322 | 2164 1497 | 12 | 28
511.42/511.52 c 405s | 22 | 2593473 | 1524522 | 2164 1504 | 12 | 28
513.42/513.54 c 407s | 22 | 2606393 | 1532822 | 2164 1511 | 12 | 28
515.42/515.54 c 409s | 22 | 2619027 | 1540922 | 2164 1518 | 12 | 28
517.41/517.54 c 411s | 22 | 2631184 | 1548922 | 2164 1524 | 12 | 28
519.41/519.56 c 413s | 22 | 2643705 | 1556922 | 2164 1531 | 12 | 28
521.42/521.56 c 415s | 22 | 2656060 | 1564622 | 2164 1537 | 12 | 28
523.41/523.57 c 417s | 22 | 2667916 | 1572122 | 2164 1543 | 12 | 28
525.41/525.58 c 419s | 22 | 2679859 | 1580122 | 2164 1550 | 12 | 28
527.41/527.59 c 421s | 22 | 2691842 | 1588422 | 2164 1557 | 12 | 28
529.51/529.61 c 423s | 22 | 2704165 | 1596922 | 2164 1564 | 12 | 28
531.51/531.62 c 425s | 22 | 2715424 | 1604622 | 2164 1570 | 12 | 28
533.52/533.62 c 427s | 22 | 2725826 | 1612022 | 2164 1576 | 12 | 28
535.51/535.63 c 429s | 22 | 2738588 | 1619922 | 2164 1583 | 12 | 28
537.51/537.64 c 431s | 22 | 2751546 | 1627922 | 2164 1589 | 12 | 28
539.51/539.66 c 433s | 22 | 2764605 | 1635822 | 2164 1596 | 12 | 28
541.51/541.66 c 435s | 22 | 2776926 | 1643722 | 2164 1603 | 12 | 28
543.51/543.68 c 437s | 22 | 2788387 | 1651322 | 2164 1609 | 12 | 28
545.61/545.71 c 439s | 22 | 2800541 | 1659222 | 2164 1615 | 12 | 28
547.61/547.72 c 441s | 22 | 2812703 | 1667022 | 2164 1622 | 12 | 28
549.61/549.73 c 443s | 22 | 2825277 | 1675122 | 2164 1629 | 12 | 28
551.61/551.74 c 445s | 22 | 2837007 | 1682922 | 2164 1635 | 12 | 28
553.60/553.75 c 447s | 22 | 2848862 | 1690422 | 2164 1641 | 12 | 28
555.61/555.75 c 449s | 22 | 2860934 | 1698222 | 2164 1648 | 12 | 28
557.61/557.77 c 451s | 22 | 2873066 | 1706022 | 2164 1654 | 12 | 28
559.60/559.78 c 453s | 22 | 2884022 | 1713722 | 2164 1661 | 12 | 28
561.70/561.80 c 455s | 22 | 2895488 | 1721422 | 2164 1667 | 12 | 28
563.70/563.82 c 458s | 22 | 2906918 | 1729622 | 2164 1674 | 12 | 28
565.70/565.83 c 460s | 22 | 2918359 | 1737322 | 2164 1680 | 12 | 28
567.70/567.85 c 462s | 22 | 2930313 | 1745022 | 2164 1687 | 12 | 28
569.71/569.86 c 464s | 22 | 2942344 | 1752922 | 2164 1693 | 12 | 28
571.70/571.88 c 466s | 22 | 2954605 | 1761022 | 2164 1700 | 12 | 28
573.80/573.90 c 468s | 22 | 2965849 | 1768322 | 2164 1706 | 12 | 28
575.80/575.93 c 470s | 22 | 2977234 | 1775822 | 2164 1712 | 12 | 28
577.80/577.93 c 472s | 22 | 2988790 | 1783222 | 2164 1718 | 12 | 28
579.80/579.93 c 474s | 22 | 3000762 | 1790722 | 2164 1725 | 12 | 28
581.80/581.95 c 476s | 22 | 3012939 | 1798622 | 2164 1731 | 12 | 28
583.80/583.96 c 478s | 22 | 3025676 | 1806522 | 2164 1738 | 12 | 28
585.80/585.97 c 480s | 22 | 3038184 | 1814322 | 2164 1744 | 12 | 28
587.80/587.98 c 482s | 22 | 3049637 | 1821722 | 2164 1750 | 12 | 28
589.80/589.98 c 484s | 22 | 3062046 | 1828922 | 2164 1756 | 12 | 28
591.90/592.00 c 486s | 22 | 3073937 | 1836322 | 2164 1762 | 12 | 28
593.90/594.02 c 488s | 22 | 3085899 | 1843422 | 2164 1768 | 12 | 28
595.89/596.05 c 490s | 22 | 3097625 | 1850422 | 2164 1774 | 12 | 28
597.89/598.06 c 492s | 22 | 3108710 | 1857022 | 2164 1780 | 12 | 28
599.89/600.06 c 494s | 22 | 3120168 | 1863922 | 2164 1785 | 12 | 28
601.89/602.07 c 496s | 22 | 3132332 | 1871322 | 2164 1792 | 12 | 28
603.90/604.07 c 498s | 22 | 3143068 | 1878322 | 2164 1797 | 12 | 28
605.90/606.09 c 500s | 22 | 3154053 | 1885322 | 2164 1803 | 12 | 28
607.90/608.09 c 502s | 22 | 3164619 | 1892322 | 2164 1809 | 12 | 28
609.90/610.09 c 504s | 22 | 3175221 | 1899222 | 2164 1815 | 12 | 28
611.90/612.10 c 506s | 22 | 3187145 | 1906822 | 2164 1821 | 12 | 28
614.00/614.11 c 508s | 22 | 3199311 | 1914322 | 2164 1827 | 12 | 28
616.01/616.14 c 510s | 22 | 3211751 | 1922022 | 2164 1834 | 12 | 28
618.00/618.15 c 512s | 22 | 3223206 | 1929622 | 2164 1840 | 12 | 28
620.00/620.18 c 514s | 22 | 3235019 | 1937022 | 2164 1846 | 12 | 28
622.10/622.20 c 516s | 22 | 3246854 | 1944722 | 2164 1853 | 12 | 28
624.10/624.22 c 518s | 22 | 3258673 | 1951822 | 2164 1859 | 12 | 28
626.10/626.23 c 520s | 22 | 3270195 | 1959222 | 2164 1865 | 12 | 28
628.10/628.25 c 522s | 22 | 3281984 | 1966522 | 2164 1871 | 12 | 28
630.09/630.26 c 524s | 22 | 3292376 | 1973222 | 2164 1876 | 12 | 28
632.09/632.28 c 526s | 22 | 3304440 | 1981122 | 2164 1883 | 12 | 28
634.09/634.28 c 528s | 22 | 3316462 | 1988722 | 2164 1889 | 12 | 28
636.19/636.30 c 530s | 22 | 3328443 | 1996122 | 2164 1895 | 12 | 28
638.19/638.30 c 532s | 22 | 3340034 | 2003422 | 2164 1901 | 12 | 28
640.20/640.31 c 534s | 22 | 3350561 | 2010322 | 2164 1907 | 12 | 28
642.19/642.34 c 536s | 22 | 3361001 | 2016822 | 2164 1912 | 12 | 28
644.19/644.36 c 538s | 22 | 3372176 | 2023922 | 2164 1918 | 12 | 28
646.19/646.37 c 540s | 22 | 3384135 | 2031222 | 2164 1924 | 12 | 28
648.29/648.40 c 542s | 22 | 3394707 | 2038022 | 2164 1930 | 12 | 28
650.29/650.41 c 544s | 22 | 3405910 | 2045122 | 2164 1936 | 12 | 28
652.30/652.41 c 546s | 22 | 3418071 | 2052922 | 2164 1942 | 12 | 28
654.29/654.43 c 548s | 22 | 3430819 | 2061122 | 2164 1949 | 12 | 28
656.29/656.45 c 550s | 22 | 3443927 | 2068822 | 2164 1956 | 12 | 28
658.29/658.47 c 552s | 22 | 3457248 | 2076922 | 2164 1962 | 12 | 28
660.39/660.51 c 554s | 22 | 3469855 | 2084622 | 2164 1969 | 12 | 28
662.39/662.52 c 556s | 22 | 3481230 | 2092422 | 2381 1975 | 12 | 28
664.39/664.54 c 558s | 22 | 3492865 | 2100122 | 2381 1981 | 12 | 28
666.38/666.54 c 560s | 22 | 3503326 | 2107522 | 2381 1986 | 12 | 28
668.38/668.56 c 562s | 22 | 3513797 | 2115022 | 2381 1992 | 12 | 28
670.48/670.60 c 564s | 22 | 3524257 | 2122222 | 2381 1998 | 12 | 28
672.48/672.63 c 566s | 22 | 3534604 | 2129322 | 2381 2003 | 12 | 28
674.48/674.65 c 568s | 22 | 3545232 | 2136222 | 2381 2008 | 12 | 28
676.49/676.67 c 570s | 22 | 3555656 | 2143022 | 2381 2013 | 12 | 28
678.48/678.67 c 572s | 22 | 3565044 | 2149222 | 2381 2018 | 12 | 28
680.48/680.69 c 574s | 22 | 3576711 | 2156222 | 2381 2023 | 12 | 28
682.58/682.70 c 576s | 22 | 3586853 | 2162822 | 2381 2029 | 12 | 28
684.58/684.73 c 578s | 22 | 3596745 | 2169322 | 2381 2034 | 12 | 28
686.58/686.74 c 580s | 22 | 3605968 | 2175322 | 2381 2038 | 12 | 28
688.59/688.75 c 582s | 22 | 3616656 | 2182322 | 2381 2043 | 12 | 28
690.58/690.79 c 584s | 22 | 3627037 | 2189022 | 2381 2049 | 12 | 28
692.58/692.79 c 586s | 22 | 3637006 | 2195322 | 2381 2053 | 12 | 28
694.68/694.80 c 588s | 22 | 3647051 | 2201722 | 2381 2058 | 12 | 28
696.68/696.82 c 591s | 22 | 3657807 | 2208822 | 2381 2064 | 12 | 28
698.69/698.84 c 593s | 22 | 3668679 | 2215722 | 2381 2069 | 12 | 28
700.69/700.86 c 595s | 22 | 3679587 | 2222622 | 2381 2074 | 12 | 28
702.69/702.86 c 597s | 22 | 3690667 | 2229722 | 2381 2080 | 12 | 28
704.69/704.87 c 599s | 22 | 3701720 | 2236922 | 2381 2085 | 12 | 28
706.69/706.88 c 601s | 22 | 3711951 | 2243522 | 2381 2090 | 12 | 28
708.69/708.89 c 603s | 22 | 3723603 | 2250822 | 2381 2096 | 12 | 28
708.79/708.96 c 603s | 23 | 3723930 | 2251038 | 2381 2096 | 12 | 28
710.79/710.98 c 605s | 23 | 3735081 | 2258138 | 2381 2102 | 12 | 28
712.79/712.99 c 607s | 23 | 3747805 | 2265638 | 2381 2107 | 12 | 28
714.89/715.00 c 609s | 23 | 3760291 | 2272638 | 2381 2113 | 12 | 28
716.88/717.03 c 611s | 23 | 3774048 | 2279538 | 2381 2118 | 12 | 28
718.88/719.05 c 613s | 23 | 3787804 | 2286238 | 2381 2123 | 12 | 28
720.88/721.05 c 615s | 23 | 3800523 | 2293138 | 2381 2128 | 12 | 28
722.88/723.07 c 617s | 23 | 3811029 | 2299538 | 2381 2133 | 12 | 28
724.89/725.09 c 619s | 23 | 3822791 | 2306238 | 2381 2139 | 12 | 28
726.98/727.10 c 621s | 23 | 3833951 | 2312738 | 2381 2143 | 12 | 28
728.97/729.13 c 623s | 23 | 3845438 | 2319338 | 2381 2148 | 12 | 28
730.97/731.16 c 625s | 23 | 3857260 | 2325638 | 2381 2153 | 12 | 28
732.97/733.18 c 627s | 23 | 3868687 | 2331838 | 2381 2158 | 12 | 28
734.97/735.19 c 629s | 23 | 3880653 | 2338038 | 2381 2163 | 12 | 28
737.07/737.22 c 631s | 23 | 3891580 | 2343938 | 2381 2167 | 12 | 28
739.07/739.23 c 633s | 23 | 3903084 | 2350938 | 2381 2173 | 12 | 28
741.06/741.23 c 635s | 23 | 3914666 | 2358238 | 2381 2178 | 12 | 28
743.06/743.25 c 637s | 23 | 3925853 | 2365238 | 2381 2184 | 12 | 28
745.06/745.27 c 639s | 23 | 3936840 | 2371838 | 2381 2189 | 12 | 28
747.06/747.28 c 641s | 23 | 3948364 | 2378438 | 2381 2194 | 12 | 28
749.16/749.30 c 643s | 23 | 3961388 | 2386438 | 2381 2200 | 12 | 28
751.16/751.33 c 645s | 23 | 3974311 | 2393938 | 2381 2206 | 12 | 28
753.16/753.36 c 647s | 23 | 3985710 | 2400938 | 2381 2211 | 12 | 28
755.16/755.38 c 649s | 23 | 3998302 | 2408438 | 2381 2217 | 12 | 28
757.15/757.39 c 651s | 23 | 4011440 | 2416038 | 2381 2222 | 12 | 28
759.25/759.41 c 653s | 23 | 4024449 | 2423238 | 2381 2228 | 12 | 28
761.25/761.44 c 655s | 23 | 4036875 | 2430538 | 2381 2234 | 12 | 28
763.26/763.46 c 657s | 23 | 4047292 | 2437138 | 2381 2239 | 12 | 28
765.25/765.48 c 659s | 23 | 4057817 | 2443738 | 2381 2244 | 12 | 28
767.25/767.48 c 661s | 23 | 4068275 | 2450538 | 2381 2249 | 12 | 28
769.35/769.50 c 663s | 23 | 4079160 | 2457738 | 2381 2254 | 12 | 28
771.35/771.51 c 665s | 23 | 4090960 | 2465138 | 2381 2260 | 12 | 28
773.35/773.51 c 667s | 23 | 4104778 | 2471938 | 2381 2265 | 12 | 28
775.36/775.52 c 669s | 23 | 4115390 | 2478738 | 2381 2270 | 12 | 28
777.35/777.53 c 671s | 23 | 4125972 | 2485738 | 2381 2276 | 12 | 28
779.35/779.54 c 673s | 23 | 4135120 | 2491838 | 2381 2280 | 12 | 28
781.35/781.56 c 675s | 23 | 4144540 | 2498038 | 2381 2285 | 12 | 28
783.34/783.57 c 677s | 23 | 4155364 | 2504938 | 2381 2291 | 12 | 28
785.35/785.57 c 679s | 23 | 4168752 | 2512438 | 2381 2296 | 12 | 28
787.34/787.58 c 681s | 23 | 4180893 | 2519238 | 2381 2302 | 12 | 28
789.44/789.60 c 683s | 23 | 4193708 | 2526638 | 2381 2307 | 12 | 28
791.44/791.62 c 685s | 23 | 4206220 | 2533738 | 2381 2313 | 12 | 28
793.44/793.64 c 687s | 23 | 4218781 | 2540438 | 2381 2318 | 12 | 28
795.44/795.65 c 689s | 23 | 4230603 | 2547138 | 2381 2323 | 12 | 28
797.45/797.66 c 691s | 23 | 4241116 | 2553638 | 2381 2328 | 12 | 28
799.44/799.68 c 693s | 23 | 4251095 | 2559738 | 2381 2333 | 12 | 28
801.54/801.71 c 695s | 23 | 4260773 | 2565538 | 2381 2337 | 12 | 28
803.53/803.71 c 697s | 23 | 4271424 | 2571338 | 2381 2342 | 12 | 28
805.53/805.73 c 699s | 23 | 4282240 | 2577338 | 2381 2346 | 12 | 28
807.53/807.75 c 701s | 23 | 4292844 | 2583238 | 2381 2351 | 12 | 28
809.54/809.77 c 703s | 23 | 4303199 | 2588938 | 2381 2355 | 12 | 28
811.53/811.79 c 705s | 23 | 4316236 | 2596538 | 2381 2361 | 12 | 28
813.63/813.82 c 708s | 23 | 4328398 | 2603838 | 2381 2367 | 12 | 28
815.63/815.83 c 710s | 23 | 4341373 | 2611138 | 2381 2372 | 12 | 28
817.63/817.83 c 712s | 23 | 4353925 | 2618138 | 2381 2378 | 12 | 28
819.62/819.85 c 714s | 23 | 4365874 | 2625138 | 2381 2383 | 12 | 28
821.63/821.86 c 716s | 23 | 4377274 | 2632038 | 2381 2388 | 12 | 28
823.62/823.87 c 718s | 23 | 4388660 | 2638838 | 2381 2394 | 12 | 28
825.62/825.88 c 720s | 23 | 4400259 | 2646038 | 2381 2399 | 12 | 28
827.72/827.90 c 722s | 23 | 4412938 | 2653038 | 2381 2405 | 12 | 28
829.71/829.93 c 724s | 23 | 4423459 | 2659538 | 2381 2410 | 12 | 28
831.71/831.95 c 726s | 23 | 4436830 | 2667138 | 2381 2415 | 12 | 28
833.72/833.97 c 728s | 23 | 4450325 | 2675138 | 2381 2421 | 12 | 28
835.71/835.99 c 730s | 23 | 4464366 | 2683338 | 2381 2428 | 12 | 28
837.81/838.00 c 732s | 23 | 4476049 | 2690238 | 2381 2433 | 12 | 28
839.81/840.01 c 734s | 23 | 4489496 | 2697938 | 2381 2439 | 12 | 28
841.81/842.03 c 736s | 23 | 4501092 | 2705138 | 2381 2444 | 12 | 28
843.81/844.05 c 738s | 23 | 4512380 | 2712638 | 2381 2450 | 12 | 28
845.81/846.07 c 740s | 23 | 4524015 | 2720338 | 2381 2456 | 12 | 28
847.81/848.09 c 742s | 23 | 4534859 | 2727638 | 2381 2462 | 12 | 28
849.90/850.11 c 744s | 23 | 4546443 | 2735638 | 2381 2468 | 12 | 28
851.90/852.12 c 746s | 23 | 4559175 | 2743638 | 2381 2474 | 12 | 28
853.90/854.14 c 748s | 23 | 4570941 | 2751538 | 2381 2480 | 12 | 28
855.91/856.15 c 750s | 23 | 4583318 | 2759738 | 2381 2486 | 12 | 28
857.91/858.17 c 752s | 23 | 4594578 | 2767638 | 2381 2492 | 12 | 28
859.90/860.19 c 754s | 23 | 4607460 | 2776238 | 2381 2499 | 12 | 28
861.90/862.20 c 756s | 23 | 4618598 | 2783738 | 2381 2504 | 12 | 28
864.00/864.22 c 758s | 23 | 4630094 | 2791538 | 2381 2510 | 12 | 28
866.00/866.24 c 760s | 23 | 4641283 | 2799138 | 2381 2516 | 12 | 28
868.00/868.26 c 762s | 23 | 4652117 | 2806638 | 2381 2522 | 12 | 28
870.00/870.30 c 764s | 23 | 4663086 | 2814138 | 2381 2528 | 12 | 28
872.10/872.30 c 766s | 23 | 4674087 | 2821938 | 2381 2534 | 12 | 28
874.10/874.32 c 768s | 23 | 4685317 | 2829638 | 2381 2539 | 12 | 28
876.09/876.33 c 770s | 23 | 4695842 | 2837038 | 2381 2545 | 12 | 28
878.09/878.34 c 772s | 23 | 4707527 | 2844838 | 2381 2551 | 12 | 28
880.09/880.35 c 774s | 23 | 4718816 | 2852638 | 2381 2557 | 12 | 28
882.09/882.35 c 776s | 23 | 4729499 | 2860338 | 2381 2563 | 12 | 28
884.09/884.38 c 778s | 23 | 4739968 | 2867438 | 2381 2568 | 12 | 28
886.09/886.39 c 780s | 23 | 4750012 | 2874438 | 2381 2574 | 12 | 28
888.19/888.40 c 782s | 23 | 4759973 | 2881338 | 2381 2579 | 12 | 28
890.18/890.42 c 784s | 23 | 4771031 | 2888638 | 2381 2584 | 12 | 28
892.18/892.43 c 786s | 23 | 4785362 | 2896938 | 2381 2591 | 12 | 28
894.19/894.44 c 788s | 23 | 4799860 | 2904838 | 2381 2597 | 12 | 28
896.18/896.44 c 790s | 23 | 4814122 | 2912638 | 2381 2603 | 12 | 28
898.18/898.45 c 792s | 23 | 4828109 | 2920238 | 2381 2608 | 12 | 28
900.18/900.46 c 794s | 23 | 4842386 | 2928138 | 2381 2614 | 12 | 28
902.17/902.48 c 796s | 23 | 4856436 | 2935938 | 2381 2620 | 12 | 28
904.17/904.49 c 798s | 23 | 4870405 | 2944138 | 2381 2626 | 12 | 28
906.28/906.51 c 800s | 23 | 4886312 | 2952938 | 2381 2633 | 12 | 28
908.27/908.53 c 802s | 23 | 4902251 | 2961238 | 2381 2639 | 12 | 28
910.27/910.55 c 804s | 23 | 4914735 | 2968938 | 2381 2645 | 12 | 28
912.27/912.55 c 806s | 23 | 4929727 | 2977538 | 2381 2652 | 12 | 28
914.27/914.57 c 808s | 23 | 4945314 | 2986138 | 2381 2658 | 12 | 28
916.27/916.57 c 810s | 23 | 4959974 | 2994438 | 2381 2664 | 12 | 28
918.27/918.57 c 812s | 23 | 4974793 | 3002638 | 2381 2671 | 12 | 28
920.27/920.59 c 814s | 23 | 4989984 | 3011038 | 2381 2677 | 12 | 28
922.26/922.59 c 816s | 23 | 5005314 | 3019938 | 2381 2684 | 12 | 28
924.27/924.59 c 818s | 23 | 5020526 | 3028238 | 2381 2690 | 12 | 28
926.37/926.61 c 820s | 23 | 5034879 | 3036638 | 2381 2696 | 12 | 28
928.37/928.62 c 822s | 23 | 5049043 | 3045138 | 2381 2703 | 12 | 28
930.38/930.62 c 824s | 23 | 5062018 | 3052738 | 2381 2708 | 12 | 28
932.37/932.64 c 826s | 23 | 5075649 | 3060338 | 2381 2714 | 12 | 28
934.37/934.66 c 828s | 23 | 5091432 | 3069038 | 2381 2721 | 12 | 28
936.37/936.67 c 830s | 23 | 5105094 | 3077238 | 2381 2727 | 12 | 28
938.37/938.69 c 832s | 23 | 5119597 | 3085638 | 2381 2733 | 12 | 28
940.46/940.70 c 834s | 23 | 5134098 | 3093638 | 2381 2739 | 12 | 28
942.47/942.71 c 836s | 23 | 5145234 | 3100438 | 2381 2744 | 12 | 28
944.46/944.72 c 838s | 23 | 5159674 | 3108538 | 2381 2751 | 12 | 28
946.46/946.72 c 840s | 23 | 5174336 | 3117138 | 2381 2757 | 12 | 28
948.46/948.73 c 842s | 23 | 5188102 | 3125438 | 2381 2763 | 12 | 28
950.46/950.75 c 844s | 23 | 5202395 | 3133338 | 2381 2769 | 12 | 28
952.46/952.77 c 846s | 23 | 5217136 | 3141838 | 2381 2776 | 12 | 28
954.45/954.79 c 848s | 23 | 5232599 | 3150438 | 2381 2782 | 12 | 28
956.55/956.81 c 850s | 23 | 5247411 | 3158938 | 2381 2789 | 12 | 28
958.55/958.81 c 853s | 23 | 5262708 | 3167538 | 2381 2795 | 12 | 28
960.55/960.82 c 855s | 23 | 5276908 | 3175838 | 2381 2801 | 12 | 28
962.54/962.83 c 857s | 23 | 5290271 | 3183438 | 2381 2807 | 12 | 28
964.55/964.84 c 859s | 23 | 5304828 | 3191538 | 2381 2813 | 12 | 28
966.54/966.85 c 861s | 23 | 5317407 | 3198738 | 2381 2819 | 12 | 28
968.54/968.85 c 863s | 23 | 5329395 | 3206138 | 2381 2824 | 12 | 28
970.54/970.87 c 865s | 23 | 5341133 | 3213338 | 2620 2830 | 12 | 28
972.54/972.87 c 867s | 23 | 5352308 | 3219938 | 2620 2834 | 12 | 28
974.55/974.87 c 869s | 23 | 5362799 | 3226138 | 2620 2839 | 12 | 28
976.55/976.87 c 871s | 23 | 5373752 | 3233138 | 2620 2844 | 12 | 28
978.64/978.91 c 873s | 23 | 5384766 | 3240338 | 2620 2849 | 12 | 28
980.64/980.93 c 875s | 23 | 5395899 | 3247638 | 2620 2854 | 12 | 28
982.64/982.96 c 877s | 23 | 5406192 | 3254738 | 2620 2859 | 12 | 28
984.64/984.98 c 879s | 23 | 5417797 | 3262038 | 2620 2864 | 12 | 28
986.74/987.00 c 881s | 23 | 5429103 | 3268938 | 2620 2869 | 12 | 28
988.74/989.03 c 883s | 23 | 5438870 | 3275038 | 2620 2873 | 12 | 28
990.73/991.03 c 885s | 23 | 5449820 | 3281638 | 2620 2877 | 12 | 28
992.73/993.05 c 887s | 23 | 5460867 | 3289138 | 2620 2883 | 12 | 28
994.73/995.06 c 889s | 23 | 5472136 | 3296638 | 2620 2888 | 12 | 28
996.73/997.07 c 891s | 23 | 5482725 | 3303538 | 2620 2893 | 12 | 28
998.73/999.09 c 893s | 23 | 5494732 | 3310638 | 2620 2898 | 12 | 28
1000.73/1001.09 c 895s | 23 | 5506189 | 3317338 | 2620 2903 | 12 | 28
1002.82/1003.10 c 897s | 23 | 5517502 | 3323738 | 2620 2907 | 12 | 28
1004.82/1005.13 c 899s | 23 | 5528789 | 3330538 | 2620 2912 | 12 | 28
1006.82/1007.15 c 901s | 23 | 5540794 | 3337638 | 2620 2917 | 12 | 28
1008.81/1009.19 c 903s | 23 | 5551659 | 3344238 | 2620 2921 | 12 | 28
1010.91/1011.20 c 905s | 23 | 5562496 | 3350638 | 2620 2926 | 12 | 28
1012.92/1013.21 c 907s | 23 | 5573387 | 3356838 | 2620 2930 | 12 | 28
1014.91/1015.23 c 909s | 23 | 5584881 | 3363338 | 2620 2935 | 12 | 28
1016.91/1017.24 c 911s | 23 | 5597901 | 3370738 | 2620 2940 | 12 | 28
1018.61/1018.93 c 913s | 24 | 5607943 | 3376662 | 2620 2944 | 12 | 28
1020.61/1020.94 c 915s | 24 | 5618714 | 3383262 | 2620 2949 | 12 | 28
1022.61/1022.97 c 917s | 24 | 5630040 | 3390362 | 2620 2954 | 12 | 28
1024.61/1024.99 c 919s | 24 | 5641122 | 3397062 | 2620 2959 | 12 | 28
1026.61/1027.00 c 921s | 24 | 5652483 | 3403862 | 2620 2963 | 12 | 28
1028.71/1029.02 c 923s | 24 | 5663557 | 3410962 | 2620 2968 | 12 | 28
1030.70/1031.02 c 925s | 24 | 5674075 | 3417062 | 2620 2973 | 12 | 28
1032.71/1033.04 c 927s | 24 | 5684801 | 3423362 | 2620 2977 | 12 | 28
1034.70/1035.05 c 929s | 24 | 5696454 | 3430462 | 2620 2982 | 12 | 28
1036.70/1037.05 c 931s | 24 | 5710405 | 3438362 | 2620 2987 | 12 | 28
1038.70/1039.07 c 933s | 24 | 5723583 | 3445862 | 2620 2993 | 12 | 28
1040.69/1041.08 c 935s | 24 | 5735197 | 3453062 | 2620 2998 | 12 | 28
1042.69/1043.08 c 937s | 24 | 5748115 | 3460362 | 2620 3003 | 12 | 28
1044.70/1045.09 c 939s | 24 | 5759864 | 3467362 | 2620 3008 | 12 | 28
1046.79/1047.11 c 941s | 24 | 5771360 | 3474362 | 2620 3013 | 12 | 28
1048.78/1049.12 c 943s | 24 | 5782667 | 3481162 | 2620 3017 | 12 | 28
1050.78/1051.13 c 945s | 24 | 5794028 | 3487962 | 2620 3022 | 12 | 28
1052.78/1053.15 c 947s | 24 | 5805450 | 3494662 | 2620 3027 | 12 | 28
1054.78/1055.15 c 949s | 24 | 5815860 | 3501362 | 2620 3032 | 12 | 28
1056.79/1057.15 c 951s | 24 | 5827397 | 3508162 | 2620 3036 | 12 | 28
1058.78/1059.17 c 953s | 24 | 5838746 | 3514862 | 2620 3041 | 12 | 28
1060.77/1061.19 c 955s | 24 | 5849976 | 3521562 | 2620 3046 | 12 | 28
1062.88/1063.21 c 957s | 24 | 5862902 | 3529362 | 2620 3051 | 12 | 28
1064.88/1065.23 c 959s | 24 | 5873947 | 3536962 | 2620 3057 | 12 | 28
1066.88/1067.24 c 961s | 24 | 5887080 | 3544462 | 2620 3062 | 12 | 28
1068.88/1069.26 c 963s | 24 | 5898934 | 3551562 | 2620 3067 | 12 | 28
1070.87/1071.28 c 965s | 24 | 5910806 | 3558462 | 2620 3072 | 12 | 28
1072.87/1073.29 c 967s | 24 | 5922692 | 3565862 | 2620 3077 | 12 | 28
1074.87/1075.29 c 969s | 24 | 5934475 | 3573062 | 2620 3082 | 12 | 28
1076.87/1077.29 c 971s | 24 | 5945363 | 3580062 | 2620 3086 | 12 | 28
1078.97/1079.30 c 973s | 24 | 5956442 | 3587362 | 2620 3092 | 12 | 28
1080.87/1081.30 c 975s | 24 | 5967363 | 3594462 | 2620 3097 | 12 | 28
1082.97/1083.34 c 977s | 24 | 5979109 | 3601662 | 2620 3102 | 12 | 28
1084.97/1085.34 c 979s | 24 | 5989874 | 3608462 | 2620 3106 | 12 | 28
1086.96/1087.34 c 981s | 24 | 5999672 | 3614562 | 2620 3111 | 12 | 28
1088.96/1089.35 c 983s | 24 | 6009928 | 3620662 | 2620 3115 | 12 | 28
1090.97/1091.37 c 985s | 24 | 6019887 | 3626562 | 2620 3119 | 12 | 28
1092.96/1093.37 c 987s | 24 | 6030573 | 3632962 | 2620 3123 | 12 | 28
1094.96/1095.37 c 989s | 24 | 6042602 | 3640262 | 2620 3128 | 12 | 28
1096.96/1097.37 c 991s | 24 | 6055002 | 3647562 | 2620 3134 | 12 | 28
1098.95/1099.38 c 993s | 24 | 6066389 | 3654862 | 2620 3139 | 12 | 28
1100.95/1101.39 c 995s | 24 | 6079143 | 3662562 | 2620 3144 | 12 | 28
1103.06/1103.40 c 997s | 24 | 6091551 | 3669962 | 2620 3149 | 12 | 28
1105.05/1105.42 c 999s | 24 | 6104360 | 3677262 | 2620 3154 | 12 | 28
1107.05/1107.45 c 1001s | 24 | 6115529 | 3683662 | 2620 3159 | 12 | 28
1109.05/1109.47 c 1003s | 24 | 6127875 | 3690862 | 2620 3164 | 12 | 28
1111.05/1111.49 c 1005s | 24 | 6139758 | 3698262 | 2620 3169 | 12 | 28
1113.15/1113.50 c 1007s | 24 | 6151174 | 3705262 | 2620 3174 | 12 | 28
1115.15/1115.51 c 1009s | 24 | 6162688 | 3712162 | 2620 3179 | 12 | 28
1117.15/1117.53 c 1011s | 24 | 6173306 | 3719062 | 2620 3184 | 12 | 28
1119.14/1119.53 c 1013s | 24 | 6184174 | 3725762 | 2620 3188 | 12 | 28
1121.14/1121.55 c 1015s | 24 | 6195785 | 3732562 | 2620 3193 | 12 | 28
1123.14/1123.55 c 1017s | 24 | 6206908 | 3739162 | 2620 3198 | 12 | 28
1125.14/1125.56 c 1019s | 24 | 6217829 | 3745962 | 2620 3203 | 12 | 28
1127.14/1127.59 c 1021s | 24 | 6229074 | 3752662 | 2620 3207 | 12 | 28
1129.24/1129.61 c 1023s | 24 | 6239952 | 3759762 | 2620 3212 | 12 | 28
1131.24/1131.63 c 1025s | 24 | 6251021 | 3767362 | 2620 3218 | 12 | 28
1133.23/1133.65 c 1027s | 24 | 6262205 | 3774762 | 2620 3223 | 12 | 28
1135.23/1135.65 c 1029s | 24 | 6272989 | 3782262 | 2620 3228 | 12 | 28
1137.23/1137.67 c 1031s | 24 | 6283148 | 3789262 | 2620 3233 | 12 | 28
1139.24/1139.67 c 1033s | 24 | 6293514 | 3796162 | 2620 3238 | 12 | 28
1141.23/1141.68 c 1035s | 24 | 6304376 | 3803162 | 2620 3243 | 12 | 28
1143.33/1143.70 c 1037s | 24 | 6316789 | 3810962 | 2620 3248 | 12 | 28
1145.33/1145.72 c 1039s | 24 | 6328416 | 3818462 | 2620 3253 | 12 | 28
1147.33/1147.74 c 1041s | 24 | 6342262 | 3826362 | 2620 3259 | 12 | 28
1149.32/1149.75 c 1043s | 24 | 6354545 | 3833462 | 2620 3264 | 12 | 28
1151.33/1151.77 c 1045s | 24 | 6367502 | 3840762 | 2620 3269 | 12 | 28
1153.32/1153.78 c 1047s | 24 | 6378629 | 3847762 | 2620 3274 | 12 | 28
1155.32/1155.78 c 1049s | 24 | 6392053 | 3855362 | 2620 3279 | 12 | 28
1157.32/1157.79 c 1051s | 24 | 6403625 | 3862262 | 2620 3284 | 12 | 28
1159.31/1159.79 c 1053s | 24 | 6414750 | 3869362 | 2620 3289 | 12 | 28
1161.41/1161.83 c 1056s | 24 | 6426109 | 3876162 | 2620 3294 | 12 | 28
1163.42/1163.83 c 1058s | 24 | 6436724 | 3882862 | 2620 3298 | 12 | 28
1165.41/1165.85 c 1060s | 24 | 6448523 | 3889762 | 2620 3303 | 12 | 28
1167.41/1167.86 c 1062s | 24 | 6458244 | 3896362 | 2620 3308 | 12 | 28
1169.41/1169.86 c 1064s | 24 | 6468916 | 3903162 | 2620 3312 | 12 | 28
1171.41/1171.88 c 1066s | 24 | 6479070 | 3909662 | 2620 3317 | 12 | 28
1173.51/1173.93 c 1068s | 24 | 6489278 | 3916062 | 2620 3322 | 12 | 28
1175.51/1175.94 c 1070s | 24 | 6499739 | 3922562 | 2620 3326 | 12 | 28
1177.51/1177.94 c 1072s | 24 | 6510037 | 3928762 | 2620 3330 | 12 | 28
1179.50/1179.97 c 1074s | 24 | 6519652 | 3934562 | 2620 3335 | 12 | 28
1181.50/1181.98 c 1076s | 24 | 6529172 | 3940562 | 2620 3339 | 12 | 28
1183.60/1184.01 c 1078s | 24 | 6538918 | 3946362 | 2620 3343 | 12 | 28
1185.60/1186.09 c 1080s | 24 | 6548833 | 3952462 | 2620 3347 | 12 | 28
1187.71/1188.12 c 1082s | 24 | 6560166 | 3959162 | 2620 3352 | 12 | 28
1189.69/1190.15 c 1084s | 24 | 6570849 | 3965662 | 2620 3356 | 12 | 28
1191.69/1192.16 c 1086s | 24 | 6582097 | 3972362 | 2620 3361 | 12 | 28
1193.69/1194.16 c 1088s | 24 | 6593196 | 3978962 | 2620 3366 | 12 | 28
1195.69/1196.17 c 1090s | 24 | 6604937 | 3985962 | 2620 3371 | 12 | 28
1197.79/1198.20 c 1092s | 24 | 6615873 | 3992462 | 2620 3375 | 12 | 28
1199.79/1200.21 c 1094s | 24 | 6626666 | 3998862 | 2620 3380 | 12 | 28
1201.79/1202.23 c 1096s | 24 | 6636321 | 4005462 | 2620 3384 | 12 | 28
1203.79/1204.23 c 1098s | 24 | 6646902 | 4012562 | 2620 3389 | 12 | 28
1205.79/1206.23 c 1100s | 24 | 6657105 | 4019462 | 2620 3394 | 12 | 28
1207.79/1208.25 c 1102s | 24 | 6668699 | 4026762 | 2620 3399 | 12 | 28
1209.78/1210.26 c 1104s | 24 | 6679766 | 4033262 | 2620 3404 | 12 | 28
1211.79/1212.26 c 1106s | 24 | 6690949 | 4039762 | 2620 3408 | 12 | 28
1213.78/1214.27 c 1108s | 24 | 6700599 | 4045762 | 2620 3413 | 12 | 28
1215.88/1216.30 c 1110s | 24 | 6711007 | 4052062 | 2620 3417 | 12 | 28
1217.88/1218.31 c 1112s | 24 | 6721506 | 4058362 | 2620 3421 | 12 | 28
1219.87/1220.34 c 1114s | 24 | 6733115 | 4065162 | 2620 3426 | 12 | 28
1221.88/1222.35 c 1116s | 24 | 6743014 | 4071462 | 2620 3431 | 12 | 28
1223.89/1224.37 c 1118s | 24 | 6755002 | 4078862 | 2620 3436 | 12 | 28
1225.88/1226.37 c 1120s | 24 | 6765020 | 4085662 | 2620 3441 | 12 | 28
1227.88/1228.39 c 1122s | 24 | 6775685 | 4092862 | 2620 3446 | 12 | 28
1229.98/1230.40 c 1124s | 24 | 6786242 | 4099762 | 2620 3451 | 12 | 28
1231.98/1232.41 c 1126s | 24 | 6796893 | 4106562 | 2620 3455 | 12 | 28
1233.98/1234.43 c 1128s | 24 | 6808202 | 4113162 | 2620 3460 | 12 | 28
1235.98/1236.46 c 1130s | 24 | 6818300 | 4119462 | 2620 3465 | 12 | 28
1237.98/1238.48 c 1132s | 24 | 6828743 | 4125662 | 2620 3469 | 12 | 28
1240.07/1240.50 c 1134s | 24 | 6838179 | 4131462 | 2620 3473 | 12 | 28
1242.07/1242.53 c 1136s | 24 | 6847314 | 4137062 | 2620 3477 | 12 | 28
1244.07/1244.54 c 1138s | 24 | 6856654 | 4143162 | 2620 3481 | 12 | 28
1246.07/1246.56 c 1140s | 24 | 6866683 | 4149262 | 2620 3486 | 12 | 28
1248.08/1248.60 c 1142s | 24 | 6877640 | 4155462 | 2620 3490 | 12 | 28
1250.17/1250.63 c 1144s | 24 | 6887635 | 4161762 | 2620 3494 | 12 | 28
1252.16/1252.63 c 1146s | 24 | 6897288 | 4167962 | 2620 3499 | 12 | 28
1254.16/1254.63 c 1148s | 24 | 6907671 | 4174062 | 2620 3503 | 12 | 28
1256.16/1256.64 c 1150s | 24 | 6916864 | 4179862 | 2620 3507 | 12 | 28
1258.16/1258.65 c 1152s | 24 | 6924670 | 4184862 | 2620 3510 | 12 | 28
1260.17/1260.67 c 1154s | 24 | 6933358 | 4190362 | 2620 3514 | 12 | 28
1262.26/1262.70 c 1156s | 24 | 6944737 | 4196462 | 2620 3518 | 12 | 28
1264.26/1264.74 c 1158s | 24 | 6957735 | 4203662 | 2620 3524 | 12 | 28
1266.26/1266.75 c 1160s | 24 | 6972172 | 4211562 | 2620 3529 | 12 | 28
1268.26/1268.79 c 1162s | 24 | 6983794 | 4218962 | 2620 3534 | 12 | 28
1270.35/1270.82 c 1165s | 24 | 6994956 | 4226662 | 2620 3540 | 12 | 28
1272.36/1272.85 c 1167s | 24 | 7005318 | 4233862 | 2620 3545 | 12 | 28
1274.35/1274.88 c 1169s | 24 | 7019098 | 4241462 | 2620 3550 | 12 | 28
1276.35/1276.88 c 1171s | 24 | 7032161 | 4248662 | 2620 3555 | 12 | 28
1278.35/1278.89 c 1173s | 24 | 7044941 | 4255962 | 2620 3560 | 12 | 28
1280.45/1280.90 c 1175s | 24 | 7057021 | 4263562 | 2620 3565 | 12 | 28
1282.45/1282.91 c 1177s | 24 | 7070144 | 4271262 | 2620 3570 | 12 | 28
1284.45/1284.92 c 1179s | 24 | 7082212 | 4278262 | 2620 3575 | 12 | 28
1286.44/1286.93 c 1181s | 24 | 7094112 | 4285562 | 2620 3580 | 12 | 28
1288.44/1288.94 c 1183s | 24 | 7105559 | 4292662 | 2620 3585 | 12 | 28
1290.44/1290.94 c 1185s | 24 | 7118701 | 4300162 | 2620 3590 | 12 | 28
1292.44/1292.97 c 1187s | 24 | 7130411 | 4307362 | 2620 3595 | 12 | 28
1294.44/1294.99 c 1189s | 24 | 7141553 | 4314162 | 2620 3600 | 12 | 28
1296.54/1297.01 c 1191s | 24 | 7153712 | 4321262 | 2620 3605 | 12 | 28
1298.53/1299.03 c 1193s | 24 | 7167642 | 4328462 | 2620 3610 | 12 | 28
1300.53/1301.04 c 1195s | 24 | 7181185 | 4335562 | 2620 3615 | 12 | 28
1302.53/1303.06 c 1197s | 24 | 7197605 | 4343362 | 2620 3620 | 12 | 28
1304.53/1305.07 c 1199s | 24 | 7212322 | 4350562 | 2620 3626 | 12 | 28
1306.53/1307.09 c 1201s | 24 | 7227549 | 4357962 | 2620 3631 | 12 | 28
1308.54/1309.09 c 1203s | 24 | 7240734 | 4364662 | 2620 3635 | 12 | 28
1310.62/1311.10 c 1205s | 24 | 7253987 | 4371362 | 2620 3640 | 12 | 28
1312.62/1313.10 c 1207s | 24 | 7268751 | 4378562 | 2620 3645 | 12 | 28
1314.62/1315.12 c 1209s | 24 | 7281675 | 4385362 | 2620 3650 | 12 | 28
1316.62/1317.13 c 1211s | 24 | 7294031 | 4392062 | 2620 3655 | 12 | 28
1318.62/1319.15 c 1213s | 24 | 7307374 | 4399062 | 2620 3659 | 12 | 28
1320.62/1321.16 c 1215s | 24 | 7319495 | 4406062 | 2620 3664 | 12 | 28
1322.62/1323.19 c 1217s | 24 | 7332155 | 4412962 | 2620 3669 | 12 | 28
1324.72/1325.21 c 1219s | 24 | 7343932 | 4419862 | 2620 3674 | 12 | 28
1326.72/1327.23 c 1221s | 24 | 7355240 | 4426262 | 2620 3678 | 12 | 28
1328.72/1329.25 c 1223s | 24 | 7365464 | 4432462 | 2620 3682 | 12 | 28
1330.71/1331.26 c 1225s | 24 | 7376205 | 4438862 | 2620 3687 | 12 | 28
1332.72/1333.28 c 1227s | 24 | 7387688 | 4444962 | 2620 3691 | 12 | 28
1334.71/1335.29 c 1229s | 24 | 7397281 | 4451062 | 2620 3695 | 12 | 28
1336.81/1337.30 c 1231s | 24 | 7408493 | 4457562 | 2620 3700 | 12 | 28
1338.81/1339.31 c 1233s | 24 | 7419229 | 4463962 | 2620 3704 | 12 | 28
1340.81/1341.34 c 1235s | 24 | 7430591 | 4470562 | 2620 3709 | 12 | 28
1342.80/1343.35 c 1237s | 24 | 7440986 | 4476862 | 2620 3713 | 12 | 28
1344.81/1345.36 c 1239s | 24 | 7454348 | 4483862 | 2620 3718 | 12 | 28
1346.80/1347.36 c 1241s | 24 | 7467736 | 4490162 | 2620 3722 | 12 | 28
1348.80/1349.39 c 1243s | 24 | 7478234 | 4496062 | 2620 3726 | 12 | 28
1350.90/1351.40 c 1245s | 24 | 7489018 | 4501762 | 2620 3730 | 12 | 28
1352.90/1353.42 c 1247s | 24 | 7499496 | 4508162 | 2620 3735 | 12 | 28
1354.90/1355.45 c 1249s | 24 | 7511232 | 4514362 | 2620 3739 | 12 | 28
1356.91/1357.46 c 1251s | 24 | 7523426 | 4521062 | 2620 3744 | 12 | 28
1358.90/1359.46 c 1253s | 24 | 7537817 | 4527862 | 2620 3748 | 12 | 28
1360.90/1361.47 c 1255s | 24 | 7548640 | 4534562 | 2620 3753 | 12 | 28
1362.90/1363.49 c 1257s | 24 | 7558551 | 4541462 | 2620 3758 | 12 | 28
1365.00/1365.51 c 1259s | 24 | 7568222 | 4548162 | 2620 3762 | 12 | 28
1367.00/1367.52 c 1261s | 24 | 7578257 | 4554662 | 2620 3767 | 12 | 28
1369.01/1369.54 c 1263s | 24 | 7589405 | 4561362 | 2620 3771 | 12 | 28
1371.00/1371.57 c 1265s | 24 | 7600506 | 4568362 | 2620 3776 | 12 | 28
1373.00/1373.57 c 1267s | 24 | 7611452 | 4575162 | 2620 3781 | 12 | 28
1375.00/1375.57 c 1269s | 24 | 7622397 | 4581862 | 2620 3786 | 12 | 28
1377.10/1377.60 c 1271s | 24 | 7635985 | 4589162 | 2620 3791 | 12 | 28
1379.10/1379.60 c 1273s | 24 | 7648865 | 4595762 | 2620 3795 | 12 | 28
1381.11/1381.62 c 1275s | 24 | 7662046 | 4602562 | 2620 3800 | 12 | 28
1383.10/1383.64 c 1277s | 24 | 7676297 | 4609862 | 2620 3805 | 12 | 28
1385.10/1385.65 c 1279s | 24 | 7689145 | 4616662 | 2620 3810 | 12 | 28
1387.10/1387.66 c 1281s | 24 | 7701147 | 4623362 | 2620 3814 | 12 | 28
1389.10/1389.67 c 1283s | 24 | 7713383 | 4629962 | 2620 3819 | 12 | 28
1391.11/1391.69 c 1285s | 24 | 7727723 | 4637262 | 2620 3824 | 12 | 28
1393.10/1393.69 c 1287s | 24 | 7742060 | 4644362 | 2620 3829 | 12 | 28
1395.20/1395.72 c 1289s | 24 | 7755888 | 4651262 | 2620 3833 | 12 | 28
1397.20/1397.75 c 1291s | 24 | 7769541 | 4658062 | 2620 3838 | 12 | 28
1399.20/1399.77 c 1293s | 24 | 7784158 | 4665162 | 2620 3843 | 12 | 28
1401.20/1401.79 c 1295s | 24 | 7797532 | 4671562 | 2620 3847 | 12 | 28
1403.30/1403.81 c 1298s | 24 | 7812272 | 4678162 | 2620 3852 | 12 | 28
1405.30/1405.82 c 1300s | 24 | 7825896 | 4684562 | 2620 3856 | 12 | 28
1407.29/1407.82 c 1302s | 24 | 7839307 | 4690962 | 2620 3861 | 12 | 28
1409.29/1409.83 c 1304s | 24 | 7853754 | 4697462 | 2620 3865 | 12 | 28
1411.29/1411.84 c 1306s | 24 | 7868198 | 4703662 | 2620 3869 | 12 | 28
1413.29/1413.85 c 1308s | 24 | 7880049 | 4709762 | 2620 3874 | 12 | 28
1415.30/1415.85 c 1310s | 24 | 7891575 | 4716062 | 2620 3878 | 12 | 28
1417.29/1417.87 c 1312s | 24 | 7903790 | 4722462 | 2620 3882 | 12 | 28
1419.29/1419.89 c 1314s | 24 | 7915307 | 4728462 | 2620 3887 | 12 | 28
1421.29/1421.89 c 1316s | 24 | 7929386 | 4735862 | 2620 3892 | 12 | 28
1423.39/1423.90 c 1318s | 24 | 7941965 | 4742862 | 2620 3897 | 12 | 28
1425.39/1425.91 c 1320s | 24 | 7953551 | 4750562 | 2620 3902 | 12 | 28
1427.40/1427.91 c 1322s | 24 | 7966767 | 4757962 | 2620 3907 | 12 | 28
1429.39/1429.93 c 1324s | 24 | 7978721 | 4765162 | 2620 3912 | 12 | 28
1431.39/1431.93 c 1326s | 24 | 7988904 | 4771462 | 2620 3916 | 12 | 28
1433.39/1433.97 c 1328s | 24 | 7998711 | 4777862 | 2620 3921 | 12 | 28
1435.39/1435.97 c 1330s | 24 | 8010889 | 4785262 | 2620 3926 | 12 | 28
1437.39/1437.97 c 1332s | 24 | 8023049 | 4792062 | 2620 3930 | 12 | 28
1439.39/1440.00 c 1334s | 24 | 8034404 | 4799162 | 2620 3935 | 12 | 28
1441.49/1442.02 c 1336s | 24 | 8047162 | 4806762 | 2620 3940 | 12 | 28
1443.49/1444.03 c 1338s | 24 | 8058853 | 4813862 | 2620 3945 | 12 | 28
1445.49/1446.03 c 1340s | 24 | 8071032 | 4821262 | 2620 3950 | 12 | 28
1447.48/1448.05 c 1342s | 24 | 8083015 | 4828562 | 2620 3955 | 12 | 28
1449.48/1450.06 c 1344s | 24 | 8094650 | 4836062 | 2620 3960 | 12 | 28
1451.49/1452.07 c 1346s | 24 | 8105724 | 4843362 | 2620 3965 | 12 | 28
1453.58/1454.12 c 1348s | 24 | 8116550 | 4850562 | 2620 3970 | 12 | 28
1455.58/1456.14 c 1350s | 24 | 8127464 | 4857862 | 2620 3975 | 12 | 28
1457.58/1458.16 c 1352s | 24 | 8138413 | 4864862 | 2620 3980 | 12 | 28
1459.58/1460.18 c 1354s | 24 | 8148113 | 4871362 | 2620 3985 | 12 | 28
1461.58/1462.19 c 1356s | 24 | 8157595 | 4877862 | 2620 3989 | 12 | 28
1463.59/1464.20 c 1358s | 24 | 8167317 | 4884462 | 2620 3994 | 12 | 28
1465.68/1466.22 c 1360s | 24 | 8177597 | 4891062 | 2883 3998 | 12 | 28
1467.68/1468.23 c 1362s | 24 | 8188395 | 4898062 | 2883 4002 | 12 | 28
1469.68/1470.27 c 1364s | 24 | 8199486 | 4905162 | 2883 4006 | 12 | 28
1471.78/1472.30 c 1366s | 24 | 8210667 | 4912262 | 2883 4011 | 12 | 28
1473.78/1474.31 c 1368s | 24 | 8222480 | 4919662 | 2883 4015 | 12 | 28
1475.78/1476.32 c 1370s | 24 | 8235010 | 4926762 | 2883 4020 | 12 | 28
1477.78/1478.34 c 1372s | 24 | 8247067 | 4934062 | 2883 4025 | 12 | 28
1479.78/1480.35 c 1374s | 24 | 8257807 | 4941062 | 2883 4029 | 12 | 28
1481.78/1482.36 c 1376s | 24 | 8268836 | 4947662 | 2883 4033 | 12 | 28
1483.78/1484.38 c 1378s | 24 | 8279839 | 4954762 | 2883 4038 | 12 | 28
1485.78/1486.38 c 1380s | 24 | 8291115 | 4961762 | 2883 4042 | 12 | 28
1487.89/1488.45 c 1382s | 24 | 8303562 | 4968162 | 2883 4046 | 12 | 28
1489.88/1490.47 c 1384s | 24 | 8315737 | 4974962 | 2883 4050 | 12 | 28
1491.98/1492.51 c 1386s | 24 | 8326050 | 4981462 | 2883 4054 | 12 | 28
1493.98/1494.51 c 1388s | 24 | 8338143 | 4988562 | 2883 4059 | 12 | 28
1495.98/1496.52 c 1390s | 24 | 8349783 | 4996062 | 2883 4063 | 12 | 28
1497.98/1498.54 c 1392s | 24 | 8363391 | 5003462 | 2883 4068 | 12 | 28
1499.99/1500.55 c 1394s | 24 | 8374496 | 5010662 | 2883 4073 | 12 | 28
1501.98/1502.56 c 1396s | 24 | 8386471 | 5017762 | 2883 4077 | 12 | 28
1503.98/1504.57 c 1398s | 24 | 8396872 | 5024362 | 2883 4081 | 12 | 28
1505.98/1506.59 c 1400s | 24 | 8407422 | 5031462 | 2883 4086 | 12 | 28
1508.08/1508.62 c 1402s | 24 | 8418595 | 5038362 | 2883 4090 | 12 | 28
1510.08/1510.63 c 1404s | 24 | 8429304 | 5045062 | 2883 4095 | 12 | 28
1512.09/1512.65 c 1406s | 24 | 8439462 | 5051462 | 2883 4099 | 12 | 28
1514.08/1514.66 c 1408s | 24 | 8450584 | 5057962 | 2883 4103 | 12 | 28
1516.08/1516.67 c 1410s | 24 | 8461875 | 5065062 | 2883 4107 | 12 | 28
1516.08/1516.68 c 1410s | 25 | 8461940 | 5065098 | 2883 4107 | 12 | 28
1518.18/1518.70 c 1412s | 25 | 8475402 | 5072898 | 2883 4112 | 12 | 28
1520.18/1520.71 c 1414s | 25 | 8487876 | 5080398 | 2883 4117 | 12 | 28
1522.18/1522.74 c 1416s | 25 | 8500043 | 5087898 | 2883 4122 | 12 | 28
1524.18/1524.75 c 1418s | 25 | 8512007 | 5095398 | 2883 4126 | 12 | 28
1526.18/1526.76 c 1420s | 25 | 8523014 | 5102398 | 2883 4131 | 12 | 28
1528.18/1528.76 c 1422s | 25 | 8534465 | 5109598 | 2883 4135 | 12 | 28
1530.18/1530.78 c 1424s | 25 | 8546758 | 5116798 | 2883 4140 | 12 | 28
1532.28/1532.83 c 1427s | 25 | 8558804 | 5123898 | 2883 4144 | 12 | 28
1534.27/1534.84 c 1429s | 25 | 8570988 | 5131898 | 2883 4149 | 12 | 28
1536.28/1536.85 c 1431s | 25 | 8582559 | 5139298 | 2883 4154 | 12 | 28
1538.27/1538.85 c 1433s | 25 | 8594732 | 5146998 | 2883 4159 | 12 | 28
1540.27/1540.87 c 1435s | 25 | 8606065 | 5154398 | 2883 4164 | 12 | 28
1542.37/1542.90 c 1437s | 25 | 8618230 | 5162398 | 2883 4169 | 12 | 28
1544.37/1544.92 c 1439s | 25 | 8630670 | 5170198 | 2883 4173 | 12 | 28
1546.37/1546.92 c 1441s | 25 | 8643982 | 5178098 | 2883 4178 | 12 | 28
1548.38/1548.93 c 1443s | 25 | 8657091 | 5185898 | 2883 4183 | 12 | 28
1550.37/1550.94 c 1445s | 25 | 8668754 | 5192898 | 2883 4188 | 12 | 28
1552.37/1552.95 c 1447s | 25 | 8680544 | 5199798 | 2883 4192 | 12 | 28
1554.37/1554.95 c 1449s | 25 | 8696153 | 5207498 | 2883 4197 | 12 | 28
1556.37/1556.96 c 1451s | 25 | 8710403 | 5216098 | 2883 4202 | 12 | 28
1558.37/1558.97 c 1453s | 25 | 8724946 | 5224498 | 2883 4208 | 12 | 28
1560.38/1560.98 c 1455s | 25 | 8739239 | 5232498 | 2883 4213 | 12 | 28
1562.37/1562.99 c 1457s | 25 | 8754609 | 5240798 | 2883 4218 | 12 | 28
1564.37/1565.00 c 1459s | 25 | 8769909 | 5248998 | 2883 4223 | 12 | 28
1566.47/1567.00 c 1461s | 25 | 8787120 | 5256898 | 2883 4228 | 12 | 28
1568.47/1569.06 c 1463s | 25 | 8802723 | 5264298 | 2883 4233 | 12 | 28
1570.47/1571.08 c 1465s | 25 | 8817670 | 5271898 | 2883 4237 | 12 | 28
1572.57/1573.11 c 1467s | 25 | 8830553 | 5278998 | 2883 4242 | 12 | 28
1574.56/1575.11 c 1469s | 25 | 8843421 | 5286098 | 2883 4246 | 12 | 28
1576.56/1577.13 c 1471s | 25 | 8856934 | 5293298 | 2883 4251 | 12 | 28
1578.56/1579.15 c 1473s | 25 | 8870806 | 5300398 | 2883 4255 | 12 | 28
1580.56/1581.17 c 1475s | 25 | 8885699 | 5307698 | 2883 4260 | 12 | 28
1582.56/1583.18 c 1477s | 25 | 8899644 | 5314498 | 2883 4264 | 12 | 28
1584.67/1585.21 c 1479s | 25 | 8914051 | 5321498 | 2883 4268 | 12 | 28
1586.66/1587.21 c 1481s | 25 | 8924925 | 5327998 | 2883 4272 | 12 | 28
1588.66/1589.21 c 1483s | 25 | 8934961 | 5334298 | 2883 4276 | 12 | 28
1590.66/1591.23 c 1485s | 25 | 8946414 | 5340998 | 2883 4280 | 12 | 28
1592.66/1593.25 c 1487s | 25 | 8958118 | 5347698 | 2883 4285 | 12 | 28
1594.66/1595.27 c 1489s | 25 | 8968922 | 5354398 | 2883 4289 | 12 | 28
1596.67/1597.30 c 1491s | 25 | 8979365 | 5360798 | 2883 4293 | 12 | 28
1598.76/1599.31 c 1493s | 25 | 8988340 | 5366298 | 2883 4296 | 12 | 28
1600.77/1601.34 c 1495s | 25 | 8997802 | 5371898 | 2883 4300 | 12 | 28
1602.77/1603.38 c 1497s | 25 | 9007395 | 5377798 | 2883 4304 | 12 | 28
1604.77/1605.39 c 1499s | 25 | 9017961 | 5384098 | 2883 4308 | 12 | 28
1606.87/1607.41 c 1501s | 25 | 9029262 | 5390498 | 2883 4312 | 12 | 28
1608.87/1609.42 c 1503s | 25 | 9040823 | 5397098 | 2883 4316 | 12 | 28
1610.87/1611.43 c 1505s | 25 | 9050972 | 5403898 | 2883 4320 | 12 | 28
1612.86/1613.44 c 1507s | 25 | 9062409 | 5410898 | 2883 4324 | 12 | 28
1614.86/1615.45 c 1509s | 25 | 9074184 | 5417798 | 2883 4329 | 12 | 28
1616.86/1617.47 c 1511s | 25 | 9085794 | 5424698 | 2883 4333 | 12 | 28
1618.96/1619.50 c 1513s | 25 | 9096937 | 5431498 | 2883 4337 | 12 | 28
1620.97/1621.52 c 1515s | 25 | 9109734 | 5438898 | 2883 4342 | 12 | 28
1622.96/1623.53 c 1517s | 25 | 9121470 | 5445698 | 2883 4346 | 12 | 28
1624.96/1625.54 c 1519s | 25 | 9134883 | 5452698 | 2883 4351 | 12 | 28
1626.96/1627.56 c 1521s | 25 | 9147850 | 5460098 | 2883 4355 | 12 | 28
1628.96/1629.57 c 1523s | 25 | 9159642 | 5466798 | 2883 4359 | 12 | 28
1630.96/1631.58 c 1525s | 25 | 9171186 | 5473498 | 2883 4364 | 12 | 28
1632.97/1633.58 c 1527s | 25 | 9182455 | 5480098 | 2883 4368 | 12 | 28
1634.96/1635.59 c 1529s | 25 | 9194465 | 5486798 | 2883 4372 | 12 | 28
1637.06/1637.61 c 1531s | 25 | 9205953 | 5493398 | 2883 4376 | 12 | 28
1639.06/1639.63 c 1533s | 25 | 9215581 | 5499798 | 2883 4380 | 12 | 28
1641.06/1641.64 c 1535s | 25 | 9226715 | 5506898 | 2883 4385 | 12 | 28
1643.06/1643.65 c 1537s | 25 | 9238342 | 5513898 | 2883 4389 | 12 | 28
1645.06/1645.65 c 1539s | 25 | 9249083 | 5520398 | 2883 4393 | 12 | 28
1647.05/1647.67 c 1541s | 25 | 9260136 | 5527198 | 2883 4398 | 12 | 28
1649.05/1649.67 c 1543s | 25 | 9271222 | 5533698 | 2883 4402 | 12 | 28
1651.05/1651.69 c 1545s | 25 | 9281696 | 5539898 | 2883 4406 | 12 | 28
1653.05/1653.70 c 1547s | 25 | 9292516 | 5546198 | 2883 4410 | 12 | 28
1655.15/1655.72 c 1549s | 25 | 9304621 | 5553198 | 2883 4414 | 12 | 28
1657.16/1657.73 c 1551s | 25 | 9316883 | 5559498 | 2883 4418 | 12 | 28
1659.15/1659.75 c 1553s | 25 | 9327852 | 5565898 | 2883 4422 | 12 | 28
1661.15/1661.77 c 1555s | 25 | 9339758 | 5572598 | 2883 4426 | 12 | 28
1663.15/1663.77 c 1557s | 25 | 9350405 | 5578998 | 2883 4430 | 12 | 28
1665.15/1665.78 c 1559s | 25 | 9360708 | 5585198 | 2883 4434 | 12 | 28
1667.16/1667.79 c 1561s | 25 | 9370710 | 5591398 | 2883 4438 | 12 | 28
1669.26/1669.81 c 1564s | 25 | 9381763 | 5598198 | 2883 4442 | 12 | 28
1671.25/1671.84 c 1566s | 25 | 9392708 | 5604798 | 2883 4447 | 12 | 28
1673.25/1673.88 c 1568s | 25 | 9404361 | 5611598 | 2883 4451 | 12 | 28
1675.25/1675.89 c 1570s | 25 | 9415207 | 5618198 | 2883 4455 | 12 | 28
1677.35/1677.91 c 1572s | 25 | 9425483 | 5624998 | 2883 4459 | 12 | 28
1679.35/1679.92 c 1574s | 25 | 9436332 | 5632498 | 2883 4464 | 12 | 28
1681.36/1681.94 c 1576s | 25 | 9447134 | 5640098 | 2883 4469 | 12 | 28
1683.35/1683.98 c 1578s | 25 | 9458927 | 5648198 | 2883 4474 | 12 | 28
1685.35/1685.98 c 1580s | 25 | 9469705 | 5655898 | 2883 4479 | 12 | 28
1687.35/1687.99 c 1582s | 25 | 9480699 | 5663398 | 2883 4484 | 12 | 28
1689.45/1690.01 c 1584s | 25 | 9491139 | 5670498 | 2883 4488 | 12 | 28
1691.45/1692.03 c 1586s | 25 | 9500658 | 5677398 | 2883 4492 | 12 | 28
1693.45/1694.05 c 1588s | 25 | 9510811 | 5684498 | 2883 4497 | 12 | 28
1695.45/1696.05 c 1590s | 25 | 9520489 | 5691198 | 2883 4501 | 12 | 28
1697.45/1698.07 c 1592s | 25 | 9529897 | 5697698 | 2883 4505 | 12 | 28
1699.45/1700.07 c 1594s | 25 | 9538526 | 5703598 | 2883 4509 | 12 | 28
1701.45/1702.08 c 1596s | 25 | 9548650 | 5710598 | 2883 4513 | 12 | 28
1703.45/1704.08 c 1598s | 25 | 9558362 | 5717198 | 2883 4518 | 12 | 28
1705.44/1706.08 c 1600s | 25 | 9568206 | 5723798 | 2883 4522 | 12 | 28
1707.54/1708.10 c 1602s | 25 | 9579482 | 5731398 | 2883 4526 | 12 | 28
1709.54/1710.11 c 1604s | 25 | 9589783 | 5738698 | 2883 4531 | 12 | 28
1711.54/1712.12 c 1606s | 25 | 9599827 | 5745598 | 2883 4535 | 12 | 28
1713.54/1714.13 c 1608s | 25 | 9608614 | 5751998 | 2883 4540 | 12 | 28
1715.55/1716.14 c 1610s | 25 | 9617605 | 5758198 | 2883 4543 | 12 | 28
1717.54/1718.14 c 1612s | 25 | 9626115 | 5764198 | 2883 4547 | 12 | 28
1719.54/1720.15 c 1614s | 25 | 9635408 | 5770998 | 2883 4552 | 12 | 28
1721.54/1722.16 c 1616s | 25 | 9645257 | 5777798 | 2883 4556 | 12 | 28
1723.54/1724.16 c 1618s | 25 | 9654409 | 5784098 | 2883 4560 | 12 | 28
1725.54/1726.16 c 1620s | 25 | 9663035 | 5790298 | 2883 4564 | 12 | 28
1727.55/1728.17 c 1622s | 25 | 9673743 | 5797598 | 2883 4568 | 12 | 28
1729.54/1730.17 c 1624s | 25 | 9685088 | 5804898 | 2883 4573 | 12 | 28
1731.64/1732.22 c 1626s | 25 | 9694717 | 5811698 | 2883 4577 | 12 | 28
1733.64/1734.24 c 1628s | 25 | 9705559 | 5819198 | 2883 4582 | 12 | 28
1735.64/1736.25 c 1630s | 25 | 9716243 | 5826198 | 2883 4586 | 12 | 28
1737.64/1738.26 c 1632s | 25 | 9726759 | 5833398 | 2883 4591 | 12 | 28
1739.64/1740.29 c 1634s | 25 | 9737366 | 5840498 | 2883 4595 | 12 | 28
1741.75/1742.31 c 1636s | 25 | 9746620 | 5846898 | 2883 4599 | 12 | 28
1743.74/1744.33 c 1638s | 25 | 9757374 | 5854098 | 2883 4604 | 12 | 28
1745.74/1746.34 c 1640s | 25 | 9767817 | 5861098 | 2883 4608 | 12 | 28
1747.74/1748.36 c 1642s | 25 | 9778289 | 5868198 | 2883 4613 | 12 | 28
1749.74/1750.37 c 1644s | 25 | 9788749 | 5875198 | 2883 4617 | 12 | 28
1751.75/1752.39 c 1646s | 25 | 9798550 | 5881998 | 2883 4622 | 12 | 28
1753.84/1754.42 c 1648s | 25 | 9808914 | 5889098 | 2883 4626 | 12 | 28
1755.84/1756.44 c 1650s | 25 | 9820008 | 5896398 | 2883 4631 | 12 | 28
1757.84/1758.45 c 1652s | 25 | 9830219 | 5903398 | 2883 4635 | 12 | 28
1759.84/1760.47 c 1654s | 25 | 9840654 | 5910698 | 2883 4640 | 12 | 28
1761.84/1762.47 c 1656s | 25 | 9850042 | 5917198 | 2883 4644 | 12 | 28
1763.85/1764.49 c 1658s | 25 | 9860556 | 5923898 | 2883 4648 | 12 | 28
1765.94/1766.53 c 1660s | 25 | 9871076 | 5931098 | 2883 4653 | 12 | 28
1767.94/1768.53 c 1662s | 25 | 9882817 | 5938898 | 2883 4657 | 12 | 28
1769.94/1770.56 c 1664s | 25 | 9893492 | 5945798 | 2883 4662 | 12 | 28
1771.94/1772.58 c 1666s | 25 | 9903272 | 5952298 | 2883 4666 | 12 | 28
1773.94/1774.59 c 1668s | 25 | 9912538 | 5958898 | 2883 4670 | 12 | 28
1776.04/1776.60 c 1670s | 25 | 9921953 | 5965298 | 2883 4674 | 12 | 28
1778.04/1778.61 c 1672s | 25 | 9931797 | 5972198 | 2883 4678 | 12 | 28
1780.04/1780.64 c 1674s | 25 | 9941600 | 5978598 | 2883 4683 | 12 | 28
1782.04/1782.66 c 1676s | 25 | 9950693 | 5984598 | 2883 4686 | 12 | 28
1784.03/1784.68 c 1678s | 25 | 9959223 | 5990598 | 2883 4690 | 12 | 28
1786.03/1786.68 c 1680s | 25 | 9967760 | 5996298 | 2883 4694 | 12 | 28
1788.14/1788.70 c 1682s | 25 | 9977255 | 6002698 | 2883 4698 | 12 | 28
1790.13/1790.71 c 1684s | 25 | 9986524 | 6008798 | 2883 4702 | 12 | 28
1792.13/1792.73 c 1686s | 25 | 9998066 | 6015998 | 2883 4706 | 12 | 28
1794.13/1794.73 c 1688s | 25 | 10007861 | 6022798 | 2883 4710 | 12 | 28
1796.13/1796.76 c 1690s | 25 | 10018363 | 6029998 | 2883 4715 | 12 | 28
1798.13/1798.78 c 1692s | 25 | 10029384 | 6037498 | 2883 4720 | 12 | 28
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079448-1465223698/watcher-4079448-1465223698 -o /tmp/evaluation-result-4079448-1465223698/solver-4079448-1465223698 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1858 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079448-1465223698.opb
pid=3029
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.07 2.08 2/179 3032
/proc/meminfo: memFree=30403256/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=825924 CPUtime=0 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 3100 0 0 0 0 0 0 0 20 0 4 0 104304750 845746176 2951 33554432000 4194304 16246674 140736945704928 140736945704352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 206993 2960 442 2943 0 203887 0
[pid=3032/tid=3033] ppid=3029 vsize=844356 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 864620544 3022 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=848452 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 868814848 3038 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=852548 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104304750 873009152 3056 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100168 s]
/proc/loadavg: 2.07 2.07 2.08 2/179 3032
/proc/meminfo: memFree=30403256/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 24677 0 0 0 6 3 0 0 20 0 4 0 104304750 1247350784 24515 33554432000 4194304 16246674 140736945704928 140736945704352 13192110 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 304529 24527 755 2943 0 301423 0
[pid=3032/tid=3033] ppid=3029 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1247350784 24533 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1247350784 24538 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104304750 1247350784 24540 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200467 s]
/proc/loadavg: 2.07 2.07 2.08 2/179 3032
/proc/meminfo: memFree=30403256/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 44190 0 0 0 13 6 0 0 20 0 4 0 104304750 1247350784 44029 33554432000 4194304 16246674 140736945704928 140736945686848 12478189 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 304529 44041 755 2943 0 301423 0
[pid=3032/tid=3033] ppid=3029 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1247350784 44050 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1247350784 44056 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104304750 1247350784 44073 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300491 s]
/proc/loadavg: 2.07 2.07 2.08 2/179 3032
/proc/meminfo: memFree=30403256/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 63800 0 0 0 21 8 0 0 20 0 4 0 104304750 1247350784 63638 33554432000 4194304 16246674 140736945704928 140736945686848 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 304529 63643 755 2943 0 301423 0
[pid=3032/tid=3033] ppid=3029 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1247350784 63644 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1247350784 63647 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104304750 1247350784 63651 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700396 s]
/proc/loadavg: 2.07 2.07 2.08 2/179 3032
/proc/meminfo: memFree=30403256/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 130616 0 0 0 52 17 0 0 20 0 4 0 104304750 1247350784 130454 33554432000 4194304 16246674 140736945704928 140736945686848 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 304529 130466 762 2943 0 301423 0
[pid=3032/tid=3033] ppid=3029 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1247350784 130473 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1247350784 130480 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104304750 1247350784 130486 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50031 s]
/proc/loadavg: 2.06 2.07 2.08 3/183 3036
/proc/meminfo: memFree=29571672/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 246221 0 0 0 119 30 0 0 20 0 4 0 104304750 1250496512 246036 33554432000 4194304 16246674 140736945704928 140736945704240 12875598 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 305297 246036 832 2943 0 302191 0
[pid=3032/tid=3033] ppid=3029 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1250496512 246036 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1250496512 246036 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1250496512 246036 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188
[startup+3.10041 s]
/proc/loadavg: 2.06 2.07 2.08 3/183 3036
/proc/meminfo: memFree=29337576/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 267595 0 0 0 276 33 0 0 20 0 4 0 104304750 1337528320 267410 33554432000 4194304 16246674 140736945704928 140736945686848 6836125 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 326545 267410 833 2943 0 323439 0
[pid=3032/tid=3033] ppid=3029 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1337528320 267410 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1337528320 267410 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1337528320 267410 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180
[startup+6.3004 s]
/proc/loadavg: 2.06 2.07 2.08 3/183 3036
/proc/meminfo: memFree=29333528/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 267672 0 0 0 596 33 0 0 20 0 4 0 104304750 1338576896 267487 33554432000 4194304 16246674 140736945704928 140736945686848 13963975 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 326801 267487 835 2943 0 323695 0
[pid=3032/tid=3033] ppid=3029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1338576896 267487 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1338576896 267487 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1338576896 267487 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204
[startup+12.7004 s]
/proc/loadavg: 2.13 2.08 2.08 3/183 3036
/proc/meminfo: memFree=29332728/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 267933 0 0 0 1236 33 0 0 20 0 4 0 104304750 1339625472 267748 33554432000 4194304 16246674 140736945704928 140736945686848 5670680 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 327057 267748 836 2943 0 323951 0
[pid=3032/tid=3033] ppid=3029 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1339625472 267748 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1339625472 267748 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1339625472 267748 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228
[startup+25.5005 s]
/proc/loadavg: 2.11 2.08 2.08 3/183 3036
/proc/meminfo: memFree=29332260/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1308228 CPUtime=25.49 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 268139 0 0 0 2516 33 0 0 20 0 4 0 104304750 1339625472 267954 33554432000 4194304 16246674 140736945704928 140736945687928 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 327057 267954 836 2943 0 323951 0
[pid=3032/tid=3033] ppid=3029 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1339625472 267954 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1339625472 267954 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1339625472 267954 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228
[startup+51.1005 s]
/proc/loadavg: 2.13 2.09 2.08 3/183 3036
/proc/meminfo: memFree=29331792/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 268139 0 0 0 5075 33 0 0 20 0 4 0 104304750 1339625472 267954 33554432000 4194304 16246674 140736945704928 140736945686848 12710143 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 327057 267954 836 2943 0 323951 0
[pid=3032/tid=3033] ppid=3029 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1339625472 267954 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1339625472 267954 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1339625472 267954 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228
[startup+102.3 s]
/proc/loadavg: 2.05 2.07 2.08 4/183 3038
/proc/meminfo: memFree=29330140/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1309252 CPUtime=102.28 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 268395 0 0 0 10195 33 0 0 20 0 4 0 104304750 1340674048 268210 33554432000 4194304 16246674 140736945704928 140736945686848 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 327313 268210 836 2943 0 324207 0
[pid=3032/tid=3033] ppid=3029 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1340674048 268210 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1340674048 268210 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1340674048 268210 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252
################
# More data... #
################
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1356402688 272326 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1324612
[startup+1302.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/183 3068
/proc/meminfo: memFree=29307836/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1324612 CPUtime=1301.83 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 272655 0 0 0 130136 47 0 0 20 0 4 0 104304750 1356402688 272326 33554432000 4194304 16246674 140736945704928 140736945686848 6021936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 331153 272326 855 2943 0 328047 0
[pid=3032/tid=3033] ppid=3029 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1356402688 272326 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1356402688 272326 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1356402688 272326 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1324612
[startup+1362.3 s]
/proc/loadavg: 2.20 2.12 2.09 3/183 3070
/proc/meminfo: memFree=29308116/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1324612 CPUtime=1361.8 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 272695 0 0 0 136132 48 0 0 20 0 4 0 104304750 1356402688 272326 33554432000 4194304 16246674 140736945704928 140736945686848 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 331153 272326 855 2943 0 328047 0
[pid=3032/tid=3033] ppid=3029 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1356402688 272326 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1356402688 272326 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1356402688 272326 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1324612
[startup+1422.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/183 3071
/proc/meminfo: memFree=29308348/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1324612 CPUtime=1421.8 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 272696 0 0 0 142132 48 0 0 20 0 4 0 104304750 1356402688 272326 33554432000 4194304 16246674 140736945704928 140736945686848 5827749 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 331153 272326 855 2943 0 328047 0
[pid=3032/tid=3033] ppid=3029 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1356402688 272326 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1356402688 272326 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1356402688 272326 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1324612
[startup+1482.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/183 3072
/proc/meminfo: memFree=29307228/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1325636 CPUtime=1481.78 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 272952 0 0 0 148130 48 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 140736945686848 5602895 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 331409 272582 855 2943 0 328303 0
[pid=3032/tid=3033] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1325636
[startup+1542.31 s]
/proc/loadavg: 2.01 2.07 2.08 3/184 3076
/proc/meminfo: memFree=29307124/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1325636 CPUtime=1541.78 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 272952 0 0 0 154129 49 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 140736945686848 6021947 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 331409 272582 855 2943 0 328303 0
[pid=3032/tid=3033] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1325636
[startup+1602.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/184 3100
/proc/meminfo: memFree=29307072/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1325636 CPUtime=1601.77 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 272952 0 0 0 160127 50 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 140736945686848 12415743 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 331409 272582 855 2943 0 328303 0
[pid=3032/tid=3033] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1325636
[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/183 3102
/proc/meminfo: memFree=29306576/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1325636 CPUtime=1661.75 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 272952 0 0 0 166125 50 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 140736945686848 5711568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 331409 272582 855 2943 0 328303 0
[pid=3032/tid=3033] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1325636
[startup+1722.3 s]
/proc/loadavg: 2.13 2.08 2.08 3/183 3103
/proc/meminfo: memFree=29306452/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1325636 CPUtime=1721.74 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 272952 0 0 0 172124 50 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 140736945702720 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 331409 272582 855 2943 0 328303 0
[pid=3032/tid=3033] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1325636
[startup+1782.3 s]
/proc/loadavg: 2.17 2.09 2.08 3/183 3153
/proc/meminfo: memFree=29310052/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1325636 CPUtime=1781.74 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 272952 0 0 0 178123 51 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 140736945686784 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 331409 272582 855 2943 0 328303 0
[pid=3032/tid=3033] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1325636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.13 2.09 2.08 3/183 3153
/proc/meminfo: memFree=29309508/32872528 swapFree=13600/559348
[pid=3032] ppid=3029 vsize=1325636 CPUtime=1800.03 cores=0,2,4,6
/proc/3032/stat : 3032 (toysat) R 3029 3032 1842 0 -1 4202496 272952 0 0 0 179952 51 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 140736945686848 5712010 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3032/statm: 331409 272582 855 2943 0 328303 0
[pid=3032/tid=3033] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3033/stat : 3033 (toysat) S 3029 3032 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659148504304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3032/tid=3034] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3034/stat : 3034 (toysat) S 3029 3032 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659138014448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3032/tid=3035] ppid=3029 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3032/task/3035/stat : 3035 (toysat) S 3029 3032 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104304750 1357451264 272582 33554432000 4194304 16246674 140736945704928 139659127540912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1325636
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3032 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.53
CPU system time (s): 0.515921
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 1325636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.515921
maximum resident set size= 1090328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272952
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= 454
involuntary context switches= 1836
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.91995 second user time and 7.99478 second system time
The end