Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_1.opb |
| MD5SUM | 88e7a647c6e46a38e952354158b1fb76 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 12 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 44 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6204 |
| Sum of products size (including duplicates) | 12408 |
| Number of different products | 6204 |
| Sum of products size | 12408 |
0.00/0.00 c 2016-06-07T01:38:35+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-4080130-1465256315.opb"] 0.00/0.01 c use --random-gen="2210560613 3938499839 2635363798 1180241244 2620720572 3181316854 2947515630 104953257 2046109635 3068821028 2298581448 254380675 3017385562 3427411186 670128714 3597431767 3951716609 2453339352 550508198 1707062787 2660919798 1049649238 2830892668 3052897328 968698778 4116405816 2862575431 3353926708 3585565019 4222711589 1580884306 1684820824 211770198 1498574925 4093864006 2552235255 2893478355 335329574 3520967289 1381419426 2855834409 2392468762 2824113157 4249061184 2726941399 1480437122 178616180 2759973716 951690597 1563457080 1431236435 1483444784 3944361129 2581702690 1111048513 4034491610 429555471 4108778410 497686450 3868297220 4023255846 2404259741 61485965 4025420831 2425497488 1822291658 2106395822 3498495400 991525140 2562278658 4107570951 2849618203 3689313066 3650133275 949722211 3097720510 3411822423 742437544 2092626356 3106650404 3855460684 314076993 313351415 1760454960 2434121344 3320667410 1191551940 643043916 948367396 4093136832 3938816214 2437479515 28333218 1574577408 1186069329 329031981 1017905995 2886813078 659670753 399248456 3897180431 1696663317 3051913820 302589814 3188872134 3458137474 2794774235 3483225620 4066461953 1567502586 2723393032 1646801553 2027582198 576527719 1205703225 3138271295 4132804284 4085466523 1166853172 2542770692 3290193864 265606945 3465149518 3699945571 3360787483 125614154 1895202272 2535103909 3058799550 656800565 842366852 1187198500 2529806929 2172007116 549246226 983840261 2089852411 1866676645 4174737831 585216499 3745974011 2263714027 328670820 2162925744 1667950073 2674401631 413985465 3850216131 1615421827 1321833936 4210066399 3364914419 3997325520 3657612430 1831204244 1928245847 78687512 3076199300 1664261520 3626043282 435861161 752307507 987657372 3648250543 959424746 2869214506 1487567708 32562694 4217370046 3274344042 1530952329 1366242779 759242494 829673823 4032485332 3801372045 23834265 3265369802 3092302716 332392107 1070574433 601656946 524818717 114370164 150493809 2606819236 2326837443 1896113668 1703569126 3264651856 337600728 716282841 2688731963 3618615272 2135371031 3313134260 389842695 83551812 3786265338 2338261905 2146620290 3182667337 143162686 2991208064 676630897 563088866 1755883242 1654679978 3405637740 277956549 3318016880 3216034072 1928456137 830622936 3493712755 2368711389 2260986688 3087336072 3943946081 1060640973 400075249 142848008 748228285 2770660514 3450864113 2941942714 2783874827 3749260589 3414831921 1573213161 1652828857 1757187091 288272374 3121204738 1851487707 2649916071 3475553177 3629846317 3313296266 1614790875 1896714739 332010418 1843998217 1606179095 191253169 300285311 3040542884 474719655 3173144423 2021002257 3807760348 3484708593 3455391769 1699606883 4174083212 863400880 255 362436" option to reproduce the execution 0.00/0.03 c #vars 200 0.00/0.03 c #constraints 200 0.09/0.13 c BCD2: Hardening is enabled. 0.09/0.13 c BCD2: BiasedSearch is enabled. 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 6337 0 | 0 | 0 0.09/0.15 c 0.0s | 0 | 606 | 0 | 6337 0 | 0 | 0 0.09/0.15 c #cpu_time = 0.018s 0.09/0.15 c #wall_clock_time = 0.018s 0.09/0.15 c #decision = 606 0.09/0.15 c #random_decision = 1 0.09/0.15 c #conflict = 0 0.09/0.15 c #restart = 0 0.09/0.15 o 177 0.09/0.15 c BCD2: updating upper bound: 200 -> 176 0.09/0.16 c BCD2: 0 <= obj <= 176 0.09/0.16 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.09/0.16 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 6337 0 | 0 | 0 0.09/0.17 c 0.0s | 0 | 176 | 0 | 6337 0 | 0 | 0 0.09/0.17 c #cpu_time = 0.015s 0.09/0.17 c #wall_clock_time = 0.015s 0.09/0.17 c #decision = 176 0.09/0.17 c #random_decision = 0 0.09/0.17 c #conflict = 0 0.09/0.17 c #restart = 0 0.09/0.17 c BCD2: found a new core of size 26: cost of the new core is >=1 0.09/0.17 c lower bound updated to 1 0.09/0.17 c BCD2: 1 <= obj <= 176 0.09/0.17 c BCD2: #cores=1, #unrelaxed=174, #relaxed=26, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 6337 0 | 0 | 0 0.09/0.19 c 0.0s | 0 | 165 | 0 | 6337 0 | 0 | 0 0.09/0.19 c #cpu_time = 0.014s 0.09/0.19 c #wall_clock_time = 0.014s 0.09/0.19 c #decision = 165 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: found a new core of size 27: cost of the new core is >=1 0.09/0.19 c lower bound updated to 2 0.09/0.19 c BCD2: 2 <= obj <= 176 0.09/0.19 c BCD2: #cores=2, #unrelaxed=147, #relaxed=53, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 6337 0 | 0 | 0 0.19/0.21 c 0.0s | 0 | 1003 | 0 | 6337 0 | 0 | 0 0.19/0.21 c #cpu_time = 0.019s 0.19/0.21 c #wall_clock_time = 0.019s 0.19/0.21 c #decision = 1003 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 o 22 0.19/0.21 c BCD2: updating upper bound: 176 -> 21 0.19/0.22 c BCD2: 2 <= obj <= 21 0.19/0.22 c BCD2: #cores=2, #unrelaxed=147, #relaxed=53, #hardened=0 0.19/0.22 c BCD2: #sat=2 #unsat=3 bias=3/5 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 6337 0 | 0 | 1 0.29/0.32 c 0.1s | 1 | 493 | 100 | 6337 0 | 0 | 1 0.39/0.44 c 0.2s | 2 | 921 | 250 | 6971 0 | 0 | 1 0.59/0.66 c 0.4s | 3 | 1398 | 475 | 7669 0 | 0 | 1 0.98/1.06 c 0.8s | 4 | 2026 | 813 | 8436 0 | 0 | 1 1.49/1.51 c 1.3s | 5 | 2879 | 1320 | 9280 0 | 0 | 1 2.09/2.20 c 2.0s | 6 | 4177 | 2081 | 11229 0 | 0 | 1 3.59/3.68 c 3.4s | 7 | 5937 | 3223 | 12352 0 | 0 | 1 5.39/5.43 c 5.2s | 8 | 8659 | 4936 | 13588 0 | 0 | 1 7.39/7.49 c 7.2s | 8 | 10968 | 6336 | 13588 0 | 0 | 1 9.39/9.42 c 9.2s | 9 | 12575 | 7506 | 14947 0 | 0 | 1 11.39/11.46 c 11.2s | 9 | 14831 | 8806 | 14947 0 | 0 | 1 13.48/13.54 c 13.3s | 9 | 16975 | 10206 | 14947 0 | 0 | 1 15.28/15.38 c 15.1s | 10 | 18639 | 11361 | 16442 0 | 0 | 1 17.38/17.46 c 17.2s | 10 | 21204 | 12861 | 16442 0 | 0 | 1 19.48/19.56 c 19.3s | 10 | 23205 | 14261 | 16442 0 | 0 | 1 21.69/21.71 c 21.5s | 10 | 25219 | 15661 | 16442 0 | 0 | 1 23.79/23.84 c 23.6s | 10 | 27376 | 17061 | 18087 0 | 0 | 1 23.89/23.98 c 23.7s | 11 | 27487 | 17144 | 18087 0 | 0 | 1 26.09/26.12 c 25.9s | 11 | 29474 | 18444 | 18087 0 | 0 | 1 28.19/28.28 c 28.0s | 11 | 30752 | 19344 | 18087 0 | 0 | 1 30.49/30.53 c 30.3s | 11 | 32031 | 20244 | 18087 0 | 0 | 1 32.59/32.68 c 32.4s | 11 | 33015 | 20944 | 18087 0 | 0 | 1 34.69/34.74 c 34.5s | 11 | 34935 | 22244 | 18087 0 | 0 | 1 36.78/36.82 c 36.6s | 11 | 36092 | 23044 | 18087 1 | 0 | 1 38.88/38.92 c 38.7s | 11 | 38255 | 24544 | 18087 1 | 0 | 1 40.79/40.87 c 40.6s | 12 | 39936 | 25819 | 19896 1 | 0 | 1 42.89/43.00 c 42.8s | 12 | 41376 | 26719 | 19896 1 | 0 | 1 44.18/44.22 c 44.0s | 12 | 43037 | 27574 | 19896 1 | 0 | 1 44.18/44.22 c #cpu_time = 43.863s 44.18/44.22 c #wall_clock_time = 43.976s 44.18/44.22 c #decision = 43037 44.18/44.22 c #random_decision = 55 44.18/44.22 c #conflict = 27574 44.18/44.22 c #restart = 12 44.18/44.22 o 14 44.18/44.22 c BCD2: updating upper bound: 21 -> 13 44.18/44.22 c BCD2: 2 <= obj <= 13 44.18/44.22 c BCD2: #cores=2, #unrelaxed=147, #relaxed=53, #hardened=0 44.18/44.22 c BCD2: #sat=3 #unsat=3 bias=3/6 44.18/44.22 c Solving starts ... 44.18/44.22 c ============================[ Search Statistics ]============================ 44.18/44.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 44.18/44.22 c | | | | Limit GC | Var | Constra 44.18/44.22 c ============================================================================= 44.18/44.22 c 0.0s | 0 | 0 | 0 | 19896 0 | 0 | 2 44.58/44.63 c 0.4s | 1 | 292 | 100 | 19896 0 | 0 | 2 45.19/45.22 c 1.0s | 2 | 656 | 250 | 19896 0 | 0 | 2 45.78/45.87 c 1.7s | 3 | 1143 | 475 | 19896 0 | 0 | 2 46.68/46.74 c 2.5s | 4 | 1752 | 813 | 19896 0 | 0 | 2 47.78/47.89 c 3.7s | 5 | 2629 | 1320 | 19896 0 | 0 | 2 49.88/49.97 c 5.8s | 6 | 3771 | 2081 | 19896 0 | 0 | 2 51.98/52.06 c 7.8s | 6 | 4796 | 2781 | 19896 0 | 0 | 2 53.18/53.26 c 9.0s | 7 | 5358 | 3223 | 19896 0 | 0 | 2 54.08/54.10 c 9.9s | 7 | 5806 | 3450 | 19896 0 | 0 | 2 54.08/54.10 c #cpu_time = 9.853s 54.08/54.10 c #wall_clock_time = 9.878s 54.08/54.10 c #decision = 5806 54.08/54.10 c #random_decision = 3 54.08/54.10 c #conflict = 3450 54.08/54.10 c #restart = 7 54.08/54.10 c BCD2: relaxing 147 and merging with 2 cores into a new core of size 200: cost of the new core is >=3 54.08/54.10 c lower bound updated to 3 54.08/54.10 c BCD2: 3 <= obj <= 13 54.08/54.10 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0 54.08/54.10 c BCD2: #sat=3 #unsat=4 bias=4/7 54.08/54.10 c Solving starts ... 54.08/54.10 c ============================[ Search Statistics ]============================ 54.08/54.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 54.08/54.10 c | | | | Limit GC | Var | Constra 54.08/54.10 c ============================================================================= 54.08/54.10 c 0.0s | 0 | 0 | 0 | 19896 0 | 7 | 2 55.28/55.36 c 1.3s | 1 | 744 | 100 | 19896 0 | 7 | 14 56.09/56.17 c 2.1s | 2 | 1710 | 250 | 19896 0 | 7 | 14 56.88/56.91 c 2.8s | 3 | 2691 | 475 | 19896 0 | 7 | 14 58.18/58.21 c 4.1s | 4 | 4076 | 813 | 19896 0 | 7 | 14 59.98/60.08 c 6.0s | 5 | 6668 | 1320 | 19896 0 | 7 | 14 62.08/62.16 c 8.1s | 5 | 8712 | 1920 | 19896 0 | 7 | 14 62.69/62.80 c 8.7s | 6 | 9583 | 2081 | 19896 0 | 7 | 14 64.78/64.85 c 10.8s | 6 | 11829 | 2681 | 19896 0 | 7 | 14 66.68/66.75 c 12.6s | 7 | 13274 | 3223 | 19896 0 | 7 | 14 68.88/68.90 c 14.8s | 7 | 15819 | 3823 | 19896 0 | 7 | 14 71.18/71.26 c 17.2s | 7 | 18446 | 4523 | 19896 0 | 7 | 14 72.58/72.63 c 18.5s | 8 | 19691 | 4936 | 19896 0 | 7 | 14 74.68/74.76 c 20.7s | 8 | 21462 | 5536 | 19896 0 | 7 | 14 76.98/77.01 c 22.9s | 8 | 23272 | 6136 | 19896 0 | 7 | 14 79.18/79.29 c 25.2s | 8 | 24932 | 6736 | 19896 0 | 7 | 14 81.38/81.43 c 27.3s | 8 | 26792 | 7336 | 19896 0 | 7 | 14 82.07/82.16 c 28.1s | 9 | 27405 | 7506 | 19896 0 | 7 | 14 84.37/84.41 c 30.3s | 9 | 29388 | 8106 | 21886 0 | 7 | 14 86.57/86.60 c 32.5s | 9 | 31484 | 8706 | 21886 0 | 7 | 14 88.57/88.68 c 34.6s | 9 | 33450 | 9306 | 21886 0 | 7 | 14 90.67/90.73 c 36.6s | 9 | 35382 | 9806 | 21886 0 | 7 | 14 92.77/92.85 c 38.8s | 9 | 37235 | 10306 | 21886 0 | 7 | 14 94.77/94.88 c 40.8s | 9 | 39065 | 10806 | 21886 0 | 7 | 14 96.88/96.91 c 42.8s | 10 | 42129 | 11361 | 21886 0 | 7 | 14 98.87/98.95 c 44.8s | 10 | 44007 | 11861 | 21886 0 | 7 | 14 101.28/101.31 c 47.2s | 10 | 47042 | 12561 | 21886 0 | 7 | 14 103.38/103.49 c 49.4s | 10 | 49621 | 13161 | 21886 0 | 7 | 14 105.47/105.54 c 51.4s | 10 | 51634 | 13761 | 21886 0 | 7 | 14 107.57/107.63 c 53.5s | 10 | 53183 | 14361 | 21886 0 | 7 | 14 109.77/109.88 c 55.8s | 10 | 55606 | 14961 | 21886 0 | 7 | 14 111.87/111.95 c 57.9s | 10 | 57334 | 15561 | 21886 0 | 7 | 14 114.27/114.33 c 60.2s | 10 | 59252 | 16161 | 21886 0 | 7 | 14 116.37/116.48 c 62.4s | 10 | 61478 | 16761 | 21886 0 | 7 | 14 117.77/117.86 c 63.8s | 11 | 63341 | 17144 | 21886 0 | 7 | 14 119.87/119.92 c 65.8s | 11 | 65004 | 17644 | 21886 0 | 7 | 14 122.07/122.19 c 68.1s | 11 | 67072 | 18244 | 21886 0 | 7 | 14 124.16/124.21 c 70.1s | 11 | 69334 | 18844 | 21886 0 | 7 | 14 126.16/126.29 c 72.2s | 11 | 70986 | 19444 | 21886 0 | 7 | 14 128.26/128.38 c 74.3s | 11 | 72648 | 20044 | 21886 0 | 7 | 14 130.66/130.70 c 76.6s | 11 | 74351 | 20644 | 21886 0 | 7 | 14 132.96/133.07 c 79.0s | 11 | 75550 | 21244 | 21886 0 | 7 | 14 135.06/135.14 c 81.0s | 11 | 76818 | 21744 | 21886 0 | 7 | 14 137.16/137.28 c 83.2s | 11 | 78201 | 22244 | 21886 0 | 7 | 14 139.36/139.40 c 85.3s | 11 | 80182 | 22744 | 21886 1 | 7 | 14 141.36/141.42 c 87.3s | 11 | 81702 | 23244 | 21886 1 | 7 | 14 143.46/143.54 c 89.4s | 11 | 83504 | 23744 | 21886 1 | 7 | 14 145.56/145.67 c 91.6s | 11 | 84665 | 24244 | 21886 1 | 7 | 14 147.76/147.89 c 93.8s | 11 | 86635 | 24844 | 21886 1 | 7 | 14 149.96/150.09 c 96.0s | 11 | 88244 | 25344 | 21886 1 | 7 | 14 151.86/151.90 c 97.8s | 12 | 90335 | 25819 | 21886 1 | 7 | 14 153.86/153.97 c 99.9s | 12 | 92263 | 26319 | 21886 1 | 7 | 14 156.16/156.26 c 102s | 12 | 94359 | 26819 | 21886 1 | 7 | 14 158.25/158.35 c 104s | 12 | 95968 | 27219 | 24075 1 | 7 | 14 160.25/160.38 c 106s | 12 | 97709 | 27719 | 24075 1 | 7 | 14 162.55/162.65 c 108s | 12 | 99573 | 28219 | 24075 1 | 7 | 14 164.75/164.80 c 110s | 12 | 101254 | 28719 | 24075 1 | 7 | 14 167.16/167.21 c 113s | 12 | 103848 | 29319 | 24075 1 | 7 | 14 169.25/169.39 c 115s | 12 | 105672 | 29819 | 24075 1 | 7 | 14 171.65/171.74 c 117s | 12 | 108522 | 30419 | 24075 1 | 7 | 14 173.76/173.87 c 119s | 12 | 109718 | 30919 | 24075 1 | 7 | 14 175.85/175.98 c 121s | 12 | 111058 | 31419 | 24075 1 | 7 | 14 178.35/178.44 c 124s | 12 | 112961 | 31919 | 24075 1 | 7 | 14 180.46/180.56 c 126s | 12 | 115039 | 32419 | 24075 1 | 7 | 14 182.45/182.59 c 128s | 12 | 116215 | 32919 | 24075 1 | 7 | 14 184.95/185.01 c 130s | 12 | 117946 | 33519 | 24075 1 | 7 | 14 187.15/187.22 c 133s | 12 | 119468 | 34119 | 24075 1 | 7 | 14 189.35/189.40 c 135s | 12 | 120689 | 34619 | 24075 1 | 7 | 14 191.45/191.51 c 137s | 12 | 122128 | 35119 | 24075 1 | 7 | 14 193.75/193.84 c 139s | 12 | 123707 | 35719 | 24075 1 | 7 | 14 195.85/195.91 c 141s | 12 | 125106 | 36219 | 24075 2 | 7 | 14 198.24/198.38 c 144s | 12 | 126756 | 36819 | 24075 2 | 7 | 14 200.44/200.53 c 146s | 12 | 128123 | 37319 | 24075 2 | 7 | 14 202.64/202.74 c 148s | 12 | 129711 | 37819 | 24075 2 | 7 | 14 204.65/204.76 c 150s | 12 | 131949 | 38519 | 24075 2 | 7 | 14 205.65/205.77 c 151s | 13 | 132715 | 38832 | 24075 2 | 7 | 14 207.64/207.79 c 153s | 13 | 135302 | 39332 | 24075 2 | 7 | 14 210.05/210.11 c 156s | 13 | 137382 | 39932 | 24075 2 | 7 | 14 212.25/212.30 c 158s | 13 | 139497 | 40532 | 24075 2 | 7 | 14 214.34/214.41 c 160s | 13 | 141260 | 41132 | 24075 2 | 7 | 14 216.54/216.67 c 162s | 13 | 142928 | 41732 | 24075 2 | 7 | 14 218.94/219.02 c 164s | 13 | 144340 | 42332 | 24075 2 | 7 | 14 220.94/221.05 c 166s | 13 | 146271 | 42832 | 24075 2 | 7 | 14 223.04/223.17 c 169s | 13 | 148125 | 43432 | 24075 2 | 7 | 14 225.33/225.46 c 171s | 13 | 149627 | 43932 | 24075 2 | 7 | 14 227.64/227.76 c 173s | 13 | 151190 | 44432 | 24075 2 | 7 | 14 230.03/230.10 c 176s | 13 | 153601 | 45032 | 24075 2 | 7 | 14 232.33/232.49 c 178s | 13 | 157189 | 45732 | 24075 2 | 7 | 14 234.53/234.68 c 180s | 13 | 159571 | 46332 | 24075 2 | 7 | 14 236.63/236.70 c 182s | 13 | 161625 | 46932 | 24075 2 | 7 | 14 238.63/238.78 c 184s | 13 | 162922 | 47432 | 24075 2 | 7 | 14 240.73/240.87 c 186s | 13 | 164352 | 47932 | 24075 2 | 7 | 14 242.83/242.92 c 188s | 13 | 165735 | 48432 | 24075 3 | 7 | 14 244.92/245.08 c 190s | 13 | 167759 | 49032 | 24075 3 | 7 | 14 247.32/247.45 c 193s | 13 | 169641 | 49732 | 24075 3 | 7 | 14 249.73/249.84 c 195s | 13 | 171799 | 50332 | 24075 3 | 7 | 14 251.72/251.86 c 197s | 13 | 173651 | 50932 | 24075 3 | 7 | 14 253.92/254.00 c 199s | 13 | 175669 | 51532 | 24075 3 | 7 | 14 255.92/256.05 c 201s | 13 | 177421 | 52132 | 24075 3 | 7 | 14 258.22/258.31 c 204s | 13 | 179290 | 52732 | 24075 3 | 7 | 14 260.42/260.53 c 206s | 13 | 180741 | 53232 | 24075 3 | 7 | 14 262.52/262.67 c 208s | 13 | 182535 | 53732 | 24075 3 | 7 | 14 264.81/264.93 c 210s | 13 | 184599 | 54232 | 24075 3 | 7 | 14 267.11/267.23 c 213s | 13 | 186356 | 54732 | 24075 3 | 7 | 14 269.31/269.46 c 215s | 13 | 188186 | 55232 | 24075 3 | 7 | 14 271.51/271.64 c 217s | 13 | 189977 | 55732 | 24075 3 | 7 | 14 273.61/273.77 c 219s | 13 | 191681 | 56232 | 26483 3 | 7 | 14 276.12/276.28 c 222s | 13 | 193344 | 56832 | 26483 3 | 7 | 14 278.51/278.61 c 224s | 13 | 195399 | 57332 | 26483 3 | 7 | 14 280.81/280.95 c 226s | 13 | 197220 | 57932 | 26483 3 | 7 | 14 282.62/282.72 c 228s | 14 | 198619 | 58352 | 26483 3 | 7 | 14 284.82/284.97 c 230s | 14 | 199942 | 58852 | 26483 3 | 7 | 14 287.12/287.25 c 233s | 14 | 201991 | 59452 | 26483 3 | 7 | 14 289.22/289.34 c 235s | 14 | 203867 | 60052 | 26483 3 | 7 | 14 291.31/291.40 c 237s | 14 | 205963 | 60652 | 26483 3 | 7 | 14 293.51/293.60 c 239s | 14 | 207655 | 61252 | 26483 3 | 7 | 14 295.51/295.61 c 241s | 14 | 208894 | 61752 | 26483 3 | 7 | 14 297.51/297.66 c 243s | 14 | 210405 | 62352 | 26483 3 | 7 | 14 299.81/299.99 c 245s | 14 | 212190 | 62952 | 26483 4 | 7 | 14 302.21/302.36 c 248s | 14 | 214085 | 63552 | 26483 4 | 7 | 14 304.50/304.62 c 250s | 14 | 215662 | 64052 | 26483 4 | 7 | 14 306.70/306.87 c 252s | 14 | 217539 | 64552 | 26483 4 | 7 | 14 308.80/308.93 c 254s | 14 | 218963 | 64952 | 26483 4 | 7 | 14 311.00/311.11 c 257s | 14 | 221026 | 65452 | 26483 4 | 7 | 14 313.00/313.12 c 259s | 14 | 223165 | 65952 | 26483 4 | 7 | 14 315.30/315.49 c 261s | 14 | 224812 | 66452 | 26483 4 | 7 | 14 317.69/317.80 c 263s | 14 | 226533 | 67052 | 26483 4 | 7 | 14 319.89/320.04 c 265s | 14 | 228159 | 67552 | 26483 4 | 7 | 14 322.20/322.35 c 268s | 14 | 229480 | 68052 | 26483 4 | 7 | 14 324.39/324.57 c 270s | 14 | 232007 | 68652 | 26483 4 | 7 | 14 326.79/326.98 c 272s | 14 | 233669 | 69152 | 26483 4 | 7 | 14 328.99/329.11 c 275s | 14 | 235196 | 69652 | 26483 4 | 7 | 14 331.29/331.44 c 277s | 14 | 237359 | 70252 | 26483 4 | 7 | 14 333.39/333.56 c 279s | 14 | 239424 | 70752 | 26483 4 | 7 | 14 335.78/335.97 c 281s | 14 | 241363 | 71352 | 26483 4 | 7 | 14 338.08/338.24 c 284s | 14 | 243126 | 71952 | 26483 4 | 7 | 14 340.58/340.70 c 286s | 14 | 245061 | 72552 | 26483 4 | 7 | 14 342.78/342.96 c 288s | 14 | 246405 | 73052 | 26483 4 | 7 | 14 344.97/345.19 c 291s | 14 | 247584 | 73552 | 26483 4 | 7 | 14 347.07/347.20 c 293s | 14 | 249017 | 73952 | 26483 4 | 7 | 14 349.37/349.59 c 295s | 14 | 250272 | 74452 | 26483 4 | 7 | 14 351.47/351.68 c 297s | 14 | 251594 | 74852 | 26483 4 | 7 | 14 353.67/353.89 c 299s | 14 | 253308 | 75352 | 26483 4 | 7 | 14 356.17/356.30 c 302s | 14 | 255321 | 75852 | 26483 4 | 7 | 14 358.47/358.64 c 304s | 14 | 257038 | 76452 | 26483 4 | 7 | 14 361.06/361.28 c 307s | 14 | 258607 | 76952 | 26483 4 | 7 | 14 363.56/363.70 c 309s | 14 | 259828 | 77452 | 26483 5 | 7 | 14 365.86/366.05 c 311s | 14 | 261540 | 77952 | 26483 5 | 7 | 14 368.06/368.28 c 314s | 14 | 263310 | 78452 | 26483 5 | 7 | 14 370.46/370.68 c 316s | 14 | 265535 | 79052 | 26483 5 | 7 | 14 372.86/373.03 c 318s | 14 | 268048 | 79652 | 26483 5 | 7 | 14 374.96/375.14 c 321s | 14 | 270326 | 80252 | 26483 5 | 7 | 14 377.26/377.44 c 323s | 14 | 271957 | 80852 | 26483 5 | 7 | 14 379.46/379.66 c 325s | 14 | 273556 | 81452 | 26483 5 | 7 | 14 381.56/381.72 c 327s | 14 | 275330 | 81952 | 26483 5 | 7 | 14 383.55/383.77 c 329s | 14 | 276708 | 82452 | 26483 5 | 7 | 14 385.85/386.00 c 331s | 14 | 278092 | 82952 | 26483 5 | 7 | 14 388.05/388.24 c 334s | 14 | 279763 | 83552 | 26483 5 | 7 | 14 390.45/390.63 c 336s | 14 | 281135 | 84152 | 26483 5 | 7 | 14 392.55/392.72 c 338s | 14 | 282205 | 84652 | 26483 5 | 7 | 14 394.54/394.77 c 340s | 14 | 283832 | 85152 | 26483 5 | 7 | 14 396.74/396.91 c 342s | 14 | 284911 | 85652 | 26483 5 | 7 | 14 398.84/399.08 c 344s | 14 | 286721 | 86152 | 26483 5 | 7 | 14 401.24/401.45 c 347s | 14 | 289401 | 86752 | 26483 5 | 7 | 14 403.55/403.80 c 349s | 14 | 291739 | 87252 | 26483 5 | 7 | 14 405.23/405.40 c 351s | 15 | 293127 | 87632 | 26483 5 | 7 | 14 407.23/407.44 c 353s | 15 | 294696 | 88032 | 26483 5 | 7 | 14 409.63/409.87 c 355s | 15 | 296259 | 88532 | 26483 5 | 7 | 14 411.83/412.02 c 357s | 15 | 297719 | 89032 | 26483 5 | 7 | 14 413.93/414.19 c 360s | 15 | 299656 | 89532 | 26483 5 | 7 | 14 416.03/416.30 c 362s | 15 | 301816 | 90032 | 26483 5 | 7 | 14 418.23/418.44 c 364s | 15 | 304123 | 90632 | 26483 5 | 7 | 14 420.42/420.68 c 366s | 15 | 306245 | 91232 | 26483 5 | 7 | 14 422.72/422.93 c 368s | 15 | 307805 | 91732 | 26483 6 | 7 | 14 424.73/424.94 c 370s | 15 | 309323 | 92232 | 26483 6 | 7 | 14 427.03/427.26 c 373s | 15 | 310753 | 92832 | 26483 6 | 7 | 14 429.33/429.58 c 375s | 15 | 312398 | 93432 | 26483 6 | 7 | 14 431.83/432.06 c 377s | 15 | 313708 | 93832 | 26483 6 | 7 | 14 434.03/434.22 c 380s | 15 | 315447 | 94232 | 26483 6 | 7 | 14 436.02/436.23 c 382s | 15 | 317680 | 94832 | 26483 6 | 7 | 14 438.32/438.52 c 384s | 15 | 319668 | 95532 | 26483 6 | 7 | 14 440.42/440.62 c 386s | 15 | 321862 | 96132 | 26483 6 | 7 | 14 442.72/442.93 c 388s | 15 | 323393 | 96732 | 26483 6 | 7 | 14 444.92/445.18 c 391s | 15 | 325073 | 97332 | 26483 6 | 7 | 14 447.02/447.24 c 393s | 15 | 326542 | 97832 | 26483 6 | 7 | 14 449.42/449.64 c 395s | 15 | 328212 | 98332 | 26483 6 | 7 | 14 451.72/451.93 c 397s | 15 | 329680 | 98832 | 26483 6 | 7 | 14 454.02/454.26 c 400s | 15 | 331006 | 99332 | 26483 6 | 7 | 14 456.43/456.65 c 402s | 15 | 332514 | 99832 | 29132 6 | 7 | 14 458.63/458.83 c 404s | 15 | 334190 | 100332 | 29132 6 | 7 | 14 461.02/461.25 c 407s | 15 | 336049 | 100832 | 29132 6 | 7 | 14 463.52/463.71 c 409s | 15 | 337468 | 101332 | 29132 6 | 7 | 14 465.92/466.15 c 412s | 15 | 338941 | 101832 | 29132 6 | 7 | 14 468.02/468.20 c 414s | 15 | 340171 | 102332 | 29132 6 | 7 | 14 470.02/470.23 c 416s | 15 | 341083 | 102732 | 29132 6 | 7 | 14 472.32/472.58 c 418s | 15 | 342619 | 103232 | 29132 6 | 7 | 14 474.82/475.03 c 420s | 15 | 344511 | 103732 | 29132 6 | 7 | 14 477.22/477.44 c 423s | 15 | 346442 | 104232 | 29132 6 | 7 | 14 479.42/479.60 c 425s | 15 | 347880 | 104732 | 29132 6 | 7 | 14 481.51/481.79 c 427s | 15 | 349985 | 105232 | 29132 6 | 7 | 14 483.82/484.02 c 429s | 15 | 351320 | 105732 | 29132 6 | 7 | 14 485.81/486.03 c 431s | 15 | 352371 | 106132 | 29132 6 | 7 | 14 487.91/488.12 c 434s | 15 | 353873 | 106632 | 29132 6 | 7 | 14 490.21/490.48 c 436s | 15 | 355537 | 107132 | 29132 7 | 7 | 14 492.31/492.59 c 438s | 15 | 356893 | 107632 | 29132 7 | 7 | 14 494.41/494.60 c 440s | 15 | 358737 | 108132 | 29132 7 | 7 | 14 496.91/497.19 c 443s | 15 | 360302 | 108632 | 29132 7 | 7 | 14 499.22/499.46 c 445s | 15 | 362396 | 109132 | 29132 7 | 7 | 14 501.61/501.82 c 447s | 15 | 364888 | 109732 | 29132 7 | 7 | 14 503.62/503.82 c 449s | 15 | 366402 | 110232 | 29132 7 | 7 | 14 505.61/505.89 c 451s | 15 | 367967 | 110732 | 29132 7 | 7 | 14 507.91/508.18 c 454s | 15 | 369746 | 111232 | 29132 7 | 7 | 14 510.31/510.51 c 456s | 15 | 371464 | 111832 | 29132 7 | 7 | 14 512.31/512.53 c 458s | 15 | 373317 | 112332 | 29132 7 | 7 | 14 514.51/514.73 c 460s | 15 | 375687 | 112932 | 29132 7 | 7 | 14 516.61/516.89 c 462s | 15 | 377975 | 113532 | 29132 7 | 7 | 14 518.81/519.03 c 464s | 15 | 379625 | 114132 | 29132 7 | 7 | 14 521.00/521.20 c 467s | 15 | 381476 | 114732 | 29132 7 | 7 | 14 523.00/523.24 c 469s | 15 | 382987 | 115232 | 29132 7 | 7 | 14 525.10/525.33 c 471s | 15 | 384644 | 115732 | 29132 7 | 7 | 14 527.40/527.69 c 473s | 15 | 387033 | 116332 | 29132 7 | 7 | 14 529.70/529.97 c 475s | 15 | 388971 | 116932 | 29132 7 | 7 | 14 532.00/532.25 c 478s | 15 | 390716 | 117432 | 29132 7 | 7 | 14 534.30/534.55 c 480s | 15 | 393143 | 117932 | 29132 7 | 7 | 14 536.61/536.88 c 482s | 15 | 395718 | 118532 | 29132 7 | 7 | 14 538.70/538.97 c 484s | 15 | 398010 | 119132 | 29132 7 | 7 | 14 540.80/541.07 c 486s | 15 | 400227 | 119632 | 29132 7 | 7 | 14 543.21/543.49 c 489s | 15 | 402043 | 120232 | 29132 7 | 7 | 14 545.41/545.67 c 491s | 15 | 403600 | 120832 | 29132 7 | 7 | 14 547.50/547.77 c 493s | 15 | 405439 | 121332 | 29132 7 | 7 | 14 549.91/550.12 c 496s | 15 | 407041 | 121832 | 29132 8 | 7 | 14 552.11/552.34 c 498s | 15 | 408890 | 122332 | 29132 8 | 7 | 14 554.31/554.52 c 500s | 15 | 410796 | 122832 | 29132 8 | 7 | 14 556.30/556.58 c 502s | 15 | 412253 | 123332 | 29132 8 | 7 | 14 558.30/558.59 c 504s | 15 | 414199 | 123832 | 29132 8 | 7 | 14 560.60/560.86 c 506s | 15 | 415823 | 124332 | 29132 8 | 7 | 14 563.10/563.33 c 509s | 15 | 417372 | 124832 | 29132 8 | 7 | 14 565.09/565.34 c 511s | 15 | 418690 | 125232 | 29132 8 | 7 | 14 567.59/567.83 c 513s | 15 | 420480 | 125732 | 29132 8 | 7 | 14 569.99/570.22 c 516s | 15 | 422625 | 126232 | 29132 8 | 7 | 14 572.39/572.65 c 518s | 15 | 423825 | 126732 | 29132 8 | 7 | 14 574.49/574.73 c 520s | 15 | 425358 | 127232 | 29132 8 | 7 | 14 576.79/577.01 c 522s | 15 | 427363 | 127832 | 29132 8 | 7 | 14 578.99/579.21 c 525s | 15 | 428666 | 128332 | 29132 8 | 7 | 14 581.09/581.32 c 527s | 15 | 429889 | 128832 | 29132 8 | 7 | 14 583.09/583.33 c 529s | 15 | 430820 | 129232 | 29132 8 | 7 | 14 585.38/585.63 c 531s | 15 | 432411 | 129732 | 29132 8 | 7 | 14 587.88/588.11 c 534s | 15 | 433512 | 130232 | 29132 8 | 7 | 14 590.28/590.50 c 536s | 15 | 435277 | 130732 | 29132 8 | 7 | 14 592.28/592.52 c 538s | 15 | 436410 | 131132 | 29132 8 | 7 | 14 594.48/594.70 c 540s | 15 | 438200 | 131532 | 29132 8 | 7 | 14 594.58/594.83 c 540s | 16 | 438354 | 131552 | 29132 8 | 7 | 14 596.68/596.90 c 542s | 16 | 439658 | 131952 | 29132 8 | 7 | 14 598.68/598.93 c 544s | 16 | 441139 | 132352 | 29132 8 | 7 | 14 600.97/601.26 c 547s | 16 | 443043 | 132852 | 29132 8 | 7 | 14 603.07/603.30 c 549s | 16 | 444505 | 133252 | 29132 8 | 7 | 14 605.27/605.51 c 551s | 16 | 446381 | 133752 | 29132 8 | 7 | 14 607.57/607.80 c 553s | 16 | 448132 | 134352 | 29132 8 | 7 | 14 609.57/609.89 c 555s | 16 | 449215 | 134852 | 29132 8 | 7 | 14 612.07/612.30 c 558s | 16 | 451373 | 135452 | 29132 8 | 7 | 14 614.17/614.49 c 560s | 16 | 453456 | 135952 | 29132 8 | 7 | 14 616.66/616.90 c 562s | 16 | 454650 | 136352 | 29132 8 | 7 | 14 619.17/619.47 c 565s | 16 | 456083 | 136752 | 29132 9 | 7 | 14 621.46/621.70 c 567s | 16 | 457830 | 137252 | 29132 9 | 7 | 14 623.47/623.80 c 569s | 16 | 459427 | 137752 | 29132 9 | 7 | 14 625.67/625.99 c 571s | 16 | 461447 | 138252 | 29132 9 | 7 | 14 627.76/628.03 c 573s | 16 | 462942 | 138652 | 29132 9 | 7 | 14 629.96/630.27 c 576s | 16 | 464459 | 139052 | 29132 9 | 7 | 14 632.37/632.63 c 578s | 16 | 465766 | 139552 | 29132 9 | 7 | 14 634.35/634.66 c 580s | 16 | 466844 | 139952 | 29132 9 | 7 | 14 636.55/636.86 c 582s | 16 | 468340 | 140452 | 29132 9 | 7 | 14 638.86/639.19 c 585s | 16 | 469913 | 140952 | 29132 9 | 7 | 14 640.95/641.27 c 587s | 16 | 471248 | 141352 | 29132 9 | 7 | 14 643.36/643.63 c 589s | 16 | 472627 | 141852 | 29132 9 | 7 | 14 645.46/645.76 c 591s | 16 | 473924 | 142252 | 29132 9 | 7 | 14 647.55/647.84 c 593s | 16 | 475571 | 142652 | 29132 9 | 7 | 14 649.65/649.94 c 595s | 16 | 477476 | 143152 | 29132 9 | 7 | 14 652.05/652.36 c 598s | 16 | 479457 | 143652 | 29132 9 | 7 | 14 654.15/654.45 c 600s | 16 | 480827 | 144052 | 29132 9 | 7 | 14 656.74/657.04 c 602s | 16 | 481958 | 144552 | 29132 9 | 7 | 14 658.84/659.17 c 605s | 16 | 483259 | 144952 | 29132 9 | 7 | 14 661.04/661.31 c 607s | 16 | 484332 | 145452 | 29132 9 | 7 | 14 663.64/663.93 c 609s | 16 | 485919 | 145952 | 29132 9 | 7 | 14 666.13/666.47 c 612s | 16 | 487077 | 146352 | 29132 9 | 7 | 14 668.64/668.97 c 614s | 16 | 488485 | 146752 | 29132 9 | 7 | 14 671.03/671.38 c 617s | 16 | 490072 | 147252 | 29132 9 | 7 | 14 673.33/673.63 c 619s | 16 | 492081 | 147852 | 29132 9 | 7 | 14 675.33/675.67 c 621s | 16 | 494046 | 148352 | 29132 9 | 7 | 14 677.53/677.86 c 623s | 16 | 495723 | 148852 | 29132 9 | 7 | 14 679.63/679.97 c 625s | 16 | 496910 | 149352 | 29132 9 | 7 | 14 681.93/682.20 c 628s | 16 | 498273 | 149852 | 29132 9 | 7 | 14 684.32/684.64 c 630s | 16 | 499539 | 150352 | 29132 9 | 7 | 14 686.62/686.91 c 632s | 16 | 500941 | 150852 | 29132 9 | 7 | 14 688.72/689.03 c 634s | 16 | 502005 | 151252 | 29132 9 | 7 | 14 691.02/691.35 c 637s | 16 | 503580 | 151752 | 29132 9 | 7 | 14 693.42/693.71 c 639s | 16 | 505147 | 152252 | 29132 10 | 7 | 14 695.42/695.72 c 641s | 16 | 506582 | 152752 | 29132 10 | 7 | 14 697.42/697.74 c 643s | 16 | 508518 | 153152 | 29132 10 | 7 | 14 699.82/700.11 c 646s | 16 | 510786 | 153652 | 29132 10 | 7 | 14 702.22/702.52 c 648s | 16 | 512560 | 154152 | 29132 10 | 7 | 14 704.52/704.87 c 650s | 16 | 513830 | 154652 | 29132 10 | 7 | 14 706.62/706.95 c 652s | 16 | 515900 | 155152 | 29132 10 | 7 | 14 708.93/709.29 c 655s | 16 | 517960 | 155652 | 29132 10 | 7 | 14 711.32/711.65 c 657s | 16 | 519878 | 156152 | 29132 10 | 7 | 14 713.52/713.88 c 659s | 16 | 521622 | 156652 | 29132 10 | 7 | 14 715.83/716.20 c 662s | 16 | 523066 | 157152 | 29132 10 | 7 | 14 717.92/718.30 c 664s | 16 | 524644 | 157652 | 29132 10 | 7 | 14 720.33/720.62 c 666s | 16 | 526158 | 158152 | 29132 10 | 7 | 14 722.43/722.74 c 668s | 16 | 527619 | 158552 | 29132 10 | 7 | 14 724.73/725.09 c 670s | 16 | 529698 | 159052 | 29132 10 | 7 | 14 727.12/727.46 c 673s | 16 | 531859 | 159652 | 29132 10 | 7 | 14 729.22/729.57 c 675s | 16 | 533558 | 160152 | 29132 10 | 7 | 14 731.42/731.71 c 677s | 16 | 535201 | 160652 | 29132 10 | 7 | 14 733.62/733.97 c 679s | 16 | 537030 | 161152 | 29132 10 | 7 | 14 735.73/736.03 c 681s | 16 | 538132 | 161552 | 29132 10 | 7 | 14 737.93/738.29 c 684s | 16 | 539542 | 162052 | 29132 10 | 7 | 14 740.03/740.32 c 686s | 16 | 540747 | 162452 | 29132 10 | 7 | 14 742.42/742.79 c 688s | 16 | 542113 | 162952 | 29132 10 | 7 | 14 744.72/745.06 c 690s | 16 | 543316 | 163452 | 29132 10 | 7 | 14 747.12/747.48 c 693s | 16 | 544837 | 163952 | 29132 10 | 7 | 14 749.52/749.81 c 695s | 16 | 546464 | 164352 | 29132 10 | 7 | 14 751.82/752.13 c 698s | 16 | 547945 | 164752 | 29132 10 | 7 | 14 753.82/754.18 c 700s | 16 | 549561 | 165152 | 32046 10 | 7 | 14 756.02/756.36 c 702s | 16 | 551545 | 165652 | 32046 10 | 7 | 14 758.32/758.69 c 704s | 16 | 553088 | 166152 | 32046 10 | 7 | 14 760.52/760.80 c 706s | 16 | 554441 | 166552 | 32046 10 | 7 | 14 762.62/762.97 c 708s | 16 | 555631 | 167052 | 32046 10 | 7 | 14 765.02/765.36 c 711s | 16 | 557144 | 167552 | 32046 10 | 7 | 14 767.32/767.65 c 713s | 16 | 558310 | 167952 | 32046 10 | 7 | 14 769.52/769.83 c 715s | 16 | 559787 | 168352 | 32046 10 | 7 | 14 771.51/771.89 c 717s | 16 | 560670 | 168652 | 32046 10 | 7 | 14 774.01/774.40 c 720s | 16 | 562125 | 169052 | 32046 10 | 7 | 14 776.42/776.71 c 722s | 16 | 563120 | 169452 | 32046 10 | 7 | 14 778.71/779.04 c 724s | 16 | 564777 | 169852 | 32046 10 | 7 | 14 781.11/781.48 c 727s | 16 | 565996 | 170252 | 32046 11 | 7 | 14 783.51/783.87 c 729s | 16 | 567508 | 170752 | 32046 11 | 7 | 14 785.91/786.23 c 732s | 16 | 569142 | 171252 | 32046 11 | 7 | 14 788.42/788.80 c 734s | 16 | 570664 | 171752 | 32046 11 | 7 | 14 790.62/790.94 c 736s | 16 | 572272 | 172152 | 32046 11 | 7 | 14 792.71/793.07 c 738s | 16 | 573945 | 172652 | 32046 11 | 7 | 14 794.71/795.08 c 740s | 16 | 575402 | 173152 | 32046 11 | 7 | 14 797.01/797.31 c 743s | 16 | 576712 | 173652 | 32046 11 | 7 | 14 799.21/799.53 c 745s | 16 | 578143 | 174152 | 32046 11 | 7 | 14 801.21/801.54 c 747s | 16 | 579125 | 174552 | 32046 11 | 7 | 14 803.31/803.60 c 749s | 16 | 580594 | 175052 | 32046 11 | 7 | 14 805.31/805.63 c 751s | 16 | 581946 | 175552 | 32046 11 | 7 | 14 807.51/807.86 c 753s | 16 | 583701 | 176152 | 32046 11 | 7 | 14 809.51/809.89 c 755s | 16 | 584832 | 176652 | 32046 11 | 7 | 14 811.62/811.99 c 757s | 16 | 585963 | 177152 | 32046 11 | 7 | 14 813.82/814.18 c 760s | 16 | 587217 | 177652 | 32046 11 | 7 | 14 815.91/816.28 c 762s | 16 | 588297 | 178152 | 32046 11 | 7 | 14 818.41/818.70 c 764s | 16 | 589507 | 178652 | 32046 11 | 7 | 14 820.81/821.15 c 767s | 16 | 590941 | 179152 | 32046 11 | 7 | 14 823.31/823.68 c 769s | 16 | 592359 | 179652 | 32046 11 | 7 | 14 825.41/825.70 c 771s | 16 | 594017 | 180052 | 32046 11 | 7 | 14 827.81/828.13 c 774s | 16 | 596175 | 180652 | 32046 11 | 7 | 14 830.10/830.44 c 776s | 16 | 597560 | 181152 | 32046 11 | 7 | 14 832.41/832.77 c 778s | 16 | 599162 | 181652 | 32046 11 | 7 | 14 834.50/834.83 c 780s | 16 | 601201 | 182152 | 32046 11 | 7 | 14 837.00/837.37 c 783s | 16 | 602569 | 182652 | 32046 11 | 7 | 14 839.50/839.83 c 785s | 16 | 604043 | 183152 | 32046 11 | 7 | 14 841.90/842.22 c 788s | 16 | 605389 | 183652 | 32046 11 | 7 | 14 844.10/844.41 c 790s | 16 | 606906 | 184052 | 32046 11 | 7 | 14 846.20/846.52 c 792s | 16 | 608300 | 184452 | 32046 11 | 7 | 14 848.40/848.74 c 794s | 16 | 609334 | 184852 | 32046 11 | 7 | 14 850.50/850.88 c 796s | 16 | 610822 | 185252 | 32046 11 | 7 | 14 852.80/853.12 c 799s | 16 | 612130 | 185652 | 32046 11 | 7 | 14 855.20/855.59 c 801s | 16 | 613579 | 186152 | 32046 11 | 7 | 14 857.30/857.67 c 803s | 16 | 615346 | 186552 | 32046 12 | 7 | 14 859.91/860.22 c 806s | 16 | 617157 | 187052 | 32046 12 | 7 | 14 862.30/862.65 c 808s | 16 | 618851 | 187552 | 32046 12 | 7 | 14 864.60/864.96 c 810s | 16 | 620461 | 188052 | 32046 12 | 7 | 14 866.90/867.21 c 813s | 16 | 622132 | 188652 | 32046 12 | 7 | 14 868.90/869.27 c 815s | 16 | 623294 | 189152 | 32046 12 | 7 | 14 871.01/871.32 c 817s | 16 | 624798 | 189652 | 32046 12 | 7 | 14 873.21/873.54 c 819s | 16 | 626208 | 190152 | 32046 12 | 7 | 14 875.20/875.56 c 821s | 16 | 627544 | 190652 | 32046 12 | 7 | 14 877.30/877.69 c 823s | 16 | 628553 | 191052 | 32046 12 | 7 | 14 879.40/879.71 c 825s | 16 | 630386 | 191452 | 32046 12 | 7 | 14 881.80/882.19 c 828s | 16 | 632592 | 191952 | 32046 12 | 7 | 14 884.10/884.41 c 830s | 16 | 634493 | 192452 | 32046 12 | 7 | 14 886.10/886.44 c 832s | 16 | 635881 | 192952 | 32046 12 | 7 | 14 888.40/888.74 c 834s | 16 | 637864 | 193552 | 32046 12 | 7 | 14 890.70/891.04 c 836s | 16 | 639575 | 194052 | 32046 12 | 7 | 14 892.70/893.07 c 838s | 16 | 641166 | 194552 | 32046 12 | 7 | 14 894.80/895.19 c 841s | 16 | 642480 | 195052 | 32046 12 | 7 | 14 896.99/897.33 c 843s | 16 | 643769 | 195552 | 32046 12 | 7 | 14 899.50/899.87 c 845s | 16 | 645233 | 196052 | 32046 12 | 7 | 14 901.49/901.88 c 847s | 16 | 646180 | 196452 | 32046 12 | 7 | 14 903.79/904.13 c 850s | 16 | 647706 | 196852 | 32046 12 | 7 | 14 906.10/906.46 c 852s | 17 | 649867 | 197432 | 32046 12 | 7 | 14 908.40/908.74 c 854s | 17 | 651324 | 197832 | 32046 12 | 7 | 14 910.60/910.94 c 856s | 17 | 652806 | 198332 | 32046 12 | 7 | 14 912.99/913.30 c 859s | 17 | 654664 | 198932 | 32046 12 | 7 | 14 915.09/915.46 c 861s | 17 | 656014 | 199432 | 32046 12 | 7 | 14 917.20/917.57 c 863s | 17 | 657410 | 199932 | 32046 12 | 7 | 14 919.40/919.77 c 865s | 17 | 658297 | 200332 | 32046 12 | 7 | 14 921.89/922.25 c 868s | 17 | 659542 | 200832 | 32046 12 | 7 | 14 924.29/924.60 c 870s | 17 | 660415 | 201332 | 32046 12 | 7 | 14 926.69/927.03 c 872s | 17 | 661603 | 201632 | 32046 12 | 7 | 14 928.79/929.18 c 875s | 17 | 662693 | 201932 | 32046 12 | 7 | 14 930.99/931.37 c 877s | 17 | 664083 | 202332 | 32046 12 | 7 | 14 933.49/933.84 c 879s | 17 | 665413 | 202732 | 32046 12 | 7 | 14 935.59/935.96 c 881s | 17 | 666570 | 203132 | 32046 12 | 7 | 14 937.99/938.35 c 884s | 17 | 667588 | 203532 | 32046 13 | 7 | 14 940.29/940.66 c 886s | 17 | 668727 | 203932 | 32046 13 | 7 | 14 942.78/943.14 c 889s | 17 | 670833 | 204432 | 32046 13 | 7 | 14 944.98/945.38 c 891s | 17 | 672214 | 204832 | 32046 13 | 7 | 14 947.38/947.78 c 893s | 17 | 673855 | 205232 | 32046 13 | 7 | 14 949.88/950.21 c 896s | 17 | 675108 | 205732 | 32046 13 | 7 | 14 951.88/952.22 c 898s | 17 | 675870 | 206132 | 32046 13 | 7 | 14 953.88/954.22 c 900s | 17 | 677149 | 206632 | 32046 13 | 7 | 14 955.88/956.29 c 902s | 17 | 678148 | 207032 | 32046 13 | 7 | 14 957.98/958.39 c 904s | 17 | 679537 | 207432 | 32046 13 | 7 | 14 960.28/960.63 c 906s | 17 | 680992 | 207832 | 32046 13 | 7 | 14 962.38/962.77 c 908s | 17 | 682766 | 208332 | 32046 13 | 7 | 14 964.49/964.88 c 910s | 17 | 684544 | 208832 | 32046 13 | 7 | 14 966.48/966.90 c 912s | 17 | 686043 | 209232 | 32046 13 | 7 | 14 968.89/969.20 c 915s | 17 | 687655 | 209732 | 32046 13 | 7 | 14 970.88/971.30 c 917s | 17 | 689281 | 210232 | 32046 13 | 7 | 14 973.19/973.59 c 919s | 17 | 690896 | 210732 | 32046 13 | 7 | 14 975.49/975.90 c 921s | 17 | 692218 | 211232 | 32046 13 | 7 | 14 977.78/978.11 c 924s | 17 | 693454 | 211732 | 32046 13 | 7 | 14 979.79/980.17 c 926s | 17 | 694494 | 212132 | 32046 13 | 7 | 14 981.88/982.29 c 928s | 17 | 695614 | 212532 | 32046 13 | 7 | 14 984.28/984.67 c 930s | 17 | 696927 | 212932 | 32046 13 | 7 | 14 986.68/987.04 c 932s | 17 | 697953 | 213332 | 32046 13 | 7 | 14 989.08/989.47 c 935s | 17 | 698924 | 213732 | 32046 13 | 7 | 14 991.58/991.94 c 937s | 17 | 700145 | 214132 | 32046 13 | 7 | 14 993.68/994.07 c 939s | 17 | 701455 | 214532 | 32046 13 | 7 | 14 995.87/996.21 c 942s | 17 | 702886 | 214932 | 32046 13 | 7 | 14 998.17/998.53 c 944s | 17 | 704983 | 215432 | 32046 13 | 7 | 14 1000.27/1000.68 c 946s | 17 | 706743 | 215932 | 32046 13 | 7 | 14 1002.37/1002.75 c 948s | 17 | 708216 | 216332 | 32046 13 | 7 | 14 1004.67/1005.04 c 950s | 17 | 709603 | 216832 | 32046 13 | 7 | 14 1006.77/1007.10 c 953s | 17 | 710913 | 217232 | 32046 13 | 7 | 14 1009.07/1009.41 c 955s | 17 | 712192 | 217732 | 32046 13 | 7 | 14 1011.27/1011.64 c 957s | 17 | 713345 | 218132 | 32046 13 | 7 | 14 1013.57/1013.98 c 959s | 17 | 714763 | 218632 | 32046 13 | 7 | 14 1016.08/1016.45 c 962s | 17 | 715807 | 219032 | 32046 13 | 7 | 14 1018.17/1018.57 c 964s | 17 | 716679 | 219432 | 32046 14 | 7 | 14 1020.67/1021.03 c 966s | 17 | 718239 | 219932 | 32046 14 | 7 | 14 1022.68/1023.10 c 969s | 17 | 720493 | 220432 | 32046 14 | 7 | 14 1025.17/1025.51 c 971s | 17 | 721737 | 220932 | 32046 14 | 7 | 14 1027.47/1027.84 c 973s | 17 | 723070 | 221432 | 32046 14 | 7 | 14 1029.57/1029.91 c 975s | 17 | 724671 | 221832 | 32046 14 | 7 | 14 1031.87/1032.21 c 978s | 17 | 726145 | 222332 | 32046 14 | 7 | 14 1034.07/1034.49 c 980s | 17 | 727576 | 222832 | 32046 14 | 7 | 14 1036.57/1036.94 c 982s | 17 | 728725 | 223332 | 32046 14 | 7 | 14 1038.57/1038.98 c 984s | 17 | 729713 | 223732 | 32046 14 | 7 | 14 1040.87/1041.26 c 987s | 17 | 731264 | 224232 | 32046 14 | 7 | 14 1042.97/1043.39 c 989s | 17 | 732289 | 224632 | 32046 14 | 7 | 14 1045.57/1045.95 c 991s | 17 | 733555 | 225132 | 32046 14 | 7 | 14 1047.97/1048.39 c 994s | 17 | 735598 | 225632 | 32046 14 | 7 | 14 1050.27/1050.62 c 996s | 17 | 737186 | 226032 | 32046 14 | 7 | 14 1052.67/1053.02 c 998s | 17 | 738406 | 226432 | 32046 14 | 7 | 14 1054.77/1055.16 c 1001s | 17 | 739486 | 226732 | 32046 14 | 7 | 14 1057.17/1057.59 c 1003s | 17 | 740814 | 227132 | 32046 14 | 7 | 14 1059.76/1060.15 c 1006s | 17 | 742544 | 227632 | 32046 14 | 7 | 14 1062.06/1062.42 c 1008s | 17 | 743623 | 228032 | 32046 14 | 7 | 14 1064.16/1064.59 c 1010s | 17 | 744845 | 228432 | 32046 14 | 7 | 14 1066.46/1066.84 c 1012s | 17 | 746281 | 228832 | 32046 14 | 7 | 14 1068.46/1068.89 c 1014s | 17 | 747983 | 229232 | 32046 14 | 7 | 14 1070.56/1070.93 c 1016s | 17 | 749797 | 229632 | 32046 14 | 7 | 14 1072.86/1073.26 c 1019s | 17 | 752322 | 230132 | 32046 14 | 7 | 14 1075.16/1075.55 c 1021s | 17 | 754044 | 230632 | 32046 14 | 7 | 14 1077.16/1077.58 c 1023s | 17 | 755488 | 231032 | 32046 14 | 7 | 14 1079.36/1079.74 c 1025s | 17 | 756518 | 231432 | 32046 14 | 7 | 14 1081.46/1081.87 c 1027s | 17 | 757731 | 231832 | 32046 14 | 7 | 14 1083.86/1084.25 c 1030s | 17 | 758801 | 232332 | 32046 14 | 7 | 14 1085.86/1086.27 c 1032s | 17 | 760229 | 232732 | 32046 14 | 7 | 14 1088.36/1088.76 c 1034s | 17 | 761621 | 233132 | 32046 14 | 7 | 14 1090.46/1090.83 c 1036s | 17 | 763289 | 233632 | 32046 14 | 7 | 14 1092.76/1093.13 c 1039s | 17 | 764773 | 234032 | 32046 14 | 7 | 14 1095.16/1095.55 c 1041s | 17 | 766409 | 234532 | 32046 14 | 7 | 14 1097.36/1097.73 c 1043s | 17 | 768024 | 235032 | 32046 14 | 7 | 14 1099.86/1100.20 c 1046s | 17 | 769508 | 235532 | 32046 14 | 7 | 14 1102.06/1102.44 c 1048s | 17 | 771008 | 235932 | 32046 14 | 7 | 14 1104.46/1104.82 c 1050s | 17 | 772347 | 236332 | 32046 15 | 7 | 14 1106.66/1107.07 c 1052s | 17 | 773708 | 236832 | 32046 15 | 7 | 14 1108.96/1109.34 c 1055s | 17 | 775316 | 237332 | 32046 15 | 7 | 14 1111.16/1111.52 c 1057s | 17 | 776515 | 237832 | 32046 15 | 7 | 14 1113.56/1113.99 c 1059s | 17 | 778210 | 238432 | 32046 15 | 7 | 14 1116.06/1116.47 c 1062s | 17 | 779758 | 238932 | 32046 15 | 7 | 14 1118.16/1118.55 c 1064s | 17 | 781222 | 239332 | 32046 15 | 7 | 14 1120.56/1120.99 c 1066s | 17 | 782758 | 239832 | 32046 15 | 7 | 14 1122.86/1123.24 c 1069s | 17 | 784391 | 240332 | 32046 15 | 7 | 14 1125.16/1125.53 c 1071s | 17 | 785846 | 240832 | 32046 15 | 7 | 14 1127.16/1127.60 c 1073s | 17 | 787378 | 241232 | 32046 15 | 7 | 14 1129.55/1129.90 c 1075s | 17 | 789345 | 241732 | 32046 15 | 7 | 14 1131.85/1132.25 c 1078s | 17 | 791230 | 242232 | 32046 15 | 7 | 14 1133.95/1134.31 c 1080s | 17 | 792524 | 242632 | 32046 15 | 7 | 14 1135.96/1136.32 c 1082s | 17 | 794250 | 243032 | 32046 15 | 7 | 14 1138.35/1138.71 c 1084s | 17 | 796121 | 243532 | 32046 15 | 7 | 14 1140.75/1141.15 c 1087s | 17 | 798164 | 244032 | 32046 15 | 7 | 14 1142.85/1143.24 c 1089s | 17 | 799507 | 244432 | 32046 15 | 7 | 14 1145.25/1145.66 c 1091s | 17 | 801038 | 244932 | 32046 15 | 7 | 14 1147.65/1148.02 c 1093s | 17 | 802822 | 245432 | 32046 15 | 7 | 14 1149.75/1150.11 c 1096s | 17 | 803917 | 245832 | 32046 15 | 7 | 14 1152.15/1152.53 c 1098s | 17 | 805332 | 246332 | 32046 15 | 7 | 14 1154.25/1154.63 c 1100s | 17 | 807125 | 246732 | 32046 15 | 7 | 14 1156.45/1156.86 c 1102s | 17 | 808875 | 247132 | 32046 15 | 7 | 14 1158.75/1159.13 c 1105s | 17 | 809913 | 247532 | 32046 15 | 7 | 14 1161.05/1161.41 c 1107s | 17 | 811044 | 247932 | 32046 15 | 7 | 14 1163.25/1163.64 c 1109s | 17 | 812468 | 248332 | 32046 15 | 7 | 14 1165.35/1165.74 c 1111s | 17 | 813603 | 248732 | 32046 15 | 7 | 14 1167.65/1168.01 c 1113s | 17 | 815431 | 249232 | 32046 15 | 7 | 14 1169.95/1170.36 c 1116s | 17 | 817343 | 249632 | 32046 15 | 7 | 14 1172.45/1172.86 c 1118s | 17 | 819729 | 250132 | 32046 15 | 7 | 14 1174.55/1174.98 c 1120s | 17 | 820914 | 250532 | 32046 15 | 7 | 14 1176.85/1177.21 c 1123s | 17 | 822067 | 250932 | 32046 15 | 7 | 14 1178.95/1179.37 c 1125s | 17 | 823340 | 251332 | 32046 15 | 7 | 14 1181.05/1181.47 c 1127s | 17 | 824469 | 251732 | 32046 15 | 7 | 14 1183.55/1183.96 c 1129s | 17 | 826040 | 252232 | 32046 15 | 7 | 14 1186.04/1186.40 c 1132s | 17 | 827388 | 252632 | 32046 16 | 7 | 14 1188.14/1188.56 c 1134s | 17 | 829363 | 253132 | 32046 16 | 7 | 14 1190.25/1190.62 c 1136s | 17 | 830901 | 253532 | 32046 16 | 7 | 14 1192.55/1192.92 c 1138s | 17 | 832467 | 254032 | 32046 16 | 7 | 14 1194.75/1195.10 c 1141s | 17 | 834361 | 254632 | 32046 16 | 7 | 14 1196.75/1197.10 c 1143s | 17 | 835860 | 255132 | 32046 16 | 7 | 14 1198.95/1199.33 c 1145s | 17 | 837391 | 255632 | 32046 16 | 7 | 14 1201.15/1201.53 c 1147s | 17 | 838516 | 256132 | 32046 16 | 7 | 14 1203.25/1203.68 c 1149s | 17 | 839975 | 256532 | 32046 16 | 7 | 14 1205.75/1206.16 c 1152s | 17 | 841869 | 257032 | 32046 16 | 7 | 14 1207.95/1208.32 c 1154s | 17 | 843232 | 257432 | 32046 16 | 7 | 14 1210.35/1210.71 c 1156s | 17 | 845373 | 257932 | 32046 16 | 7 | 14 1212.75/1213.12 c 1159s | 17 | 847225 | 258432 | 32046 16 | 7 | 14 1214.95/1215.30 c 1161s | 17 | 848780 | 258832 | 32046 16 | 7 | 14 1217.25/1217.61 c 1163s | 17 | 850570 | 259332 | 32046 16 | 7 | 14 1219.45/1219.83 c 1165s | 17 | 852430 | 259932 | 32046 16 | 7 | 14 1221.65/1222.04 c 1167s | 17 | 854243 | 260432 | 32046 16 | 7 | 14 1224.15/1224.51 c 1170s | 17 | 855837 | 260932 | 32046 16 | 7 | 14 1226.55/1226.90 c 1172s | 17 | 858406 | 261432 | 32046 16 | 7 | 14 1228.75/1229.10 c 1174s | 17 | 860263 | 261932 | 32046 16 | 7 | 14 1231.14/1231.54 c 1177s | 17 | 862359 | 262532 | 32046 16 | 7 | 14 1233.14/1233.59 c 1179s | 17 | 864362 | 263032 | 32046 16 | 7 | 14 1235.24/1235.65 c 1181s | 17 | 865710 | 263432 | 35251 16 | 7 | 14 1237.34/1237.76 c 1183s | 17 | 867052 | 263932 | 35251 16 | 7 | 14 1239.54/1239.93 c 1185s | 17 | 868825 | 264432 | 35251 16 | 7 | 14 1241.65/1242.09 c 1187s | 17 | 870157 | 264932 | 35251 16 | 7 | 14 1244.24/1244.65 c 1190s | 17 | 871588 | 265432 | 35251 16 | 7 | 14 1246.34/1246.73 c 1192s | 17 | 872865 | 265832 | 35251 16 | 7 | 14 1248.44/1248.84 c 1194s | 17 | 874040 | 266232 | 35251 16 | 7 | 14 1250.54/1250.93 c 1196s | 17 | 875653 | 266632 | 35251 16 | 7 | 14 1252.65/1253.05 c 1198s | 17 | 877173 | 267032 | 35251 16 | 7 | 14 1254.64/1255.06 c 1200s | 17 | 878670 | 267332 | 35251 16 | 7 | 14 1257.14/1257.54 c 1203s | 17 | 880659 | 267832 | 35251 16 | 7 | 14 1259.44/1259.85 c 1205s | 17 | 881733 | 268232 | 35251 16 | 7 | 14 1261.84/1262.28 c 1208s | 17 | 883586 | 268632 | 35251 16 | 7 | 14 1264.04/1264.47 c 1210s | 17 | 884920 | 269032 | 35251 16 | 7 | 14 1266.04/1266.49 c 1212s | 17 | 886605 | 269432 | 35251 16 | 7 | 14 1268.14/1268.53 c 1214s | 17 | 888244 | 269832 | 35251 16 | 7 | 14 1270.64/1271.00 c 1216s | 17 | 890023 | 270332 | 35251 16 | 7 | 14 1272.84/1273.28 c 1219s | 17 | 891266 | 270832 | 35251 16 | 7 | 14 1274.94/1275.30 c 1221s | 17 | 892416 | 271232 | 35251 16 | 7 | 14 1276.94/1277.33 c 1223s | 17 | 893866 | 271632 | 35251 16 | 7 | 14 1279.14/1279.57 c 1225s | 17 | 895708 | 272132 | 35251 16 | 7 | 14 1281.24/1281.65 c 1227s | 17 | 897892 | 272632 | 35251 16 | 7 | 14 1283.44/1283.84 c 1229s | 17 | 899827 | 273132 | 35251 16 | 7 | 14 1285.64/1286.01 c 1231s | 17 | 901251 | 273632 | 35251 17 | 7 | 14 1287.84/1288.25 c 1234s | 17 | 902657 | 274132 | 35251 17 | 7 | 14 1290.23/1290.63 c 1236s | 17 | 904327 | 274632 | 35251 17 | 7 | 14 1292.24/1292.66 c 1238s | 17 | 905616 | 275032 | 35251 17 | 7 | 14 1294.34/1294.79 c 1240s | 17 | 906803 | 275432 | 35251 17 | 7 | 14 1296.64/1297.07 c 1242s | 17 | 908244 | 275932 | 35251 17 | 7 | 14 1298.93/1299.40 c 1245s | 17 | 909803 | 276432 | 35251 17 | 7 | 14 1301.04/1301.48 c 1247s | 17 | 910977 | 276832 | 35251 17 | 7 | 14 1303.14/1303.59 c 1249s | 17 | 912540 | 277232 | 35251 17 | 7 | 14 1305.53/1305.91 c 1251s | 17 | 914330 | 277732 | 35251 17 | 7 | 14 1307.73/1308.12 c 1254s | 17 | 916201 | 278232 | 35251 17 | 7 | 14 1309.84/1310.22 c 1256s | 17 | 917683 | 278732 | 35251 17 | 7 | 14 1312.04/1312.48 c 1258s | 17 | 919172 | 279232 | 35251 17 | 7 | 14 1314.24/1314.68 c 1260s | 17 | 920362 | 279632 | 35251 17 | 7 | 14 1316.34/1316.80 c 1262s | 17 | 921502 | 280032 | 35251 17 | 7 | 14 1318.83/1319.20 c 1265s | 17 | 923009 | 280432 | 35251 17 | 7 | 14 1321.03/1321.45 c 1267s | 17 | 924784 | 281032 | 35251 17 | 7 | 14 1323.33/1323.72 c 1269s | 17 | 926381 | 281632 | 35251 17 | 7 | 14 1325.33/1325.74 c 1271s | 17 | 927673 | 282132 | 35251 17 | 7 | 14 1327.73/1328.12 c 1274s | 17 | 929189 | 282732 | 35251 17 | 7 | 14 1329.83/1330.28 c 1276s | 17 | 930438 | 283232 | 35251 17 | 7 | 14 1332.03/1332.43 c 1278s | 17 | 931619 | 283632 | 35251 17 | 7 | 14 1334.13/1334.57 c 1280s | 17 | 933020 | 284032 | 35251 17 | 7 | 14 1336.43/1336.87 c 1282s | 17 | 934967 | 284532 | 35251 17 | 7 | 14 1338.73/1339.17 c 1285s | 17 | 936356 | 285032 | 35251 17 | 7 | 14 1341.23/1341.64 c 1287s | 17 | 937751 | 285532 | 35251 17 | 7 | 14 1343.32/1343.74 c 1289s | 17 | 939136 | 285932 | 35251 17 | 7 | 14 1345.82/1346.22 c 1292s | 17 | 940493 | 286332 | 35251 17 | 7 | 14 1348.02/1348.49 c 1294s | 17 | 942492 | 286832 | 35251 17 | 7 | 14 1350.43/1350.80 c 1296s | 17 | 944338 | 287332 | 35251 17 | 7 | 14 1352.82/1353.24 c 1299s | 17 | 945819 | 287832 | 35251 17 | 7 | 14 1355.02/1355.45 c 1301s | 17 | 947220 | 288332 | 35251 17 | 7 | 14 1357.22/1357.62 c 1303s | 17 | 948489 | 288832 | 35251 17 | 7 | 14 1359.42/1359.81 c 1305s | 17 | 950064 | 289332 | 35251 17 | 7 | 14 1361.82/1362.27 c 1308s | 17 | 951687 | 289832 | 35251 17 | 7 | 14 1364.02/1364.42 c 1310s | 17 | 952940 | 290232 | 35251 17 | 7 | 14 1366.12/1366.50 c 1312s | 17 | 954329 | 290632 | 35251 17 | 7 | 14 1368.52/1368.91 c 1314s | 17 | 955636 | 291132 | 35251 17 | 7 | 14 1370.92/1371.36 c 1317s | 17 | 956961 | 291632 | 35251 18 | 7 | 14 1373.22/1373.67 c 1319s | 17 | 958675 | 292132 | 35251 18 | 7 | 14 1375.42/1375.87 c 1321s | 17 | 960572 | 292732 | 35251 18 | 7 | 14 1377.52/1377.96 c 1323s | 17 | 962734 | 293332 | 35251 18 | 7 | 14 1379.72/1380.11 c 1326s | 17 | 964868 | 293932 | 35251 18 | 7 | 14 1381.92/1382.38 c 1328s | 17 | 966784 | 294532 | 35251 18 | 7 | 14 1384.12/1384.54 c 1330s | 17 | 968960 | 295132 | 35251 18 | 7 | 14 1386.32/1386.74 c 1332s | 17 | 970451 | 295732 | 35251 18 | 7 | 14 1388.02/1388.45 c 1334s | 18 | 971819 | 296252 | 35251 18 | 7 | 14 1390.22/1390.62 c 1336s | 18 | 973687 | 296852 | 35251 18 | 7 | 14 1392.52/1392.98 c 1338s | 18 | 975470 | 297452 | 35251 18 | 7 | 14 1394.82/1395.29 c 1341s | 18 | 976760 | 298052 | 35251 18 | 7 | 14 1396.92/1397.31 c 1343s | 18 | 978054 | 298552 | 35251 18 | 7 | 14 1399.12/1399.57 c 1345s | 18 | 979427 | 299152 | 35251 18 | 7 | 14 1401.42/1401.80 c 1347s | 18 | 980999 | 299752 | 35251 18 | 7 | 14 1403.41/1403.86 c 1349s | 18 | 982331 | 300252 | 35251 18 | 7 | 14 1405.52/1405.95 c 1351s | 18 | 983395 | 300752 | 35251 18 | 7 | 14 1408.11/1408.51 c 1354s | 18 | 984302 | 301052 | 35251 18 | 7 | 14 1411.02/1411.48 c 1357s | 18 | 985115 | 301352 | 35251 18 | 7 | 14 1413.41/1413.81 c 1359s | 18 | 986552 | 301752 | 35251 18 | 7 | 14 1415.61/1416.00 c 1361s | 18 | 988231 | 302252 | 35251 18 | 7 | 14 1417.91/1418.31 c 1364s | 18 | 989753 | 302752 | 35251 18 | 7 | 14 1420.11/1420.58 c 1366s | 18 | 991188 | 303152 | 35251 18 | 7 | 14 1422.51/1422.99 c 1368s | 18 | 992853 | 303652 | 35251 18 | 7 | 14 1424.61/1425.06 c 1370s | 18 | 994168 | 304052 | 35251 18 | 7 | 14 1426.71/1427.16 c 1373s | 18 | 995665 | 304452 | 35251 18 | 7 | 14 1428.71/1429.19 c 1375s | 18 | 996788 | 304852 | 35251 18 | 7 | 14 1431.11/1431.50 c 1377s | 18 | 998340 | 305352 | 35251 18 | 7 | 14 1433.41/1433.82 c 1379s | 18 | 999659 | 305852 | 35251 18 | 7 | 14 1435.41/1435.89 c 1381s | 18 | 1001660 | 306352 | 35251 18 | 7 | 14 1437.51/1437.97 c 1383s | 18 | 1003451 | 306852 | 35251 18 | 7 | 14 1439.51/1440.00 c 1385s | 18 | 1004775 | 307252 | 35251 18 | 7 | 14 1441.81/1442.23 c 1388s | 18 | 1006337 | 307652 | 35251 18 | 7 | 14 1443.91/1444.37 c 1390s | 18 | 1007931 | 308152 | 35251 18 | 7 | 14 1446.41/1446.82 c 1392s | 18 | 1009244 | 308652 | 35251 18 | 7 | 14 1448.61/1449.06 c 1394s | 18 | 1010319 | 309152 | 35251 19 | 7 | 14 1450.71/1451.19 c 1397s | 18 | 1011773 | 309652 | 35251 19 | 7 | 14 1452.81/1453.24 c 1399s | 18 | 1013095 | 310152 | 35251 19 | 7 | 14 1454.91/1455.34 c 1401s | 18 | 1014482 | 310652 | 35251 19 | 7 | 14 1457.00/1457.40 c 1403s | 18 | 1015711 | 311052 | 35251 19 | 7 | 14 1459.10/1459.50 c 1405s | 18 | 1017180 | 311452 | 35251 19 | 7 | 14 1461.10/1461.54 c 1407s | 18 | 1018548 | 311852 | 35251 19 | 7 | 14 1463.10/1463.55 c 1409s | 18 | 1019787 | 312152 | 35251 19 | 7 | 14 1465.40/1465.85 c 1411s | 18 | 1021635 | 312652 | 35251 19 | 7 | 14 1467.60/1468.03 c 1413s | 18 | 1023866 | 313252 | 35251 19 | 7 | 14 1469.60/1470.06 c 1415s | 18 | 1025270 | 313752 | 35251 19 | 7 | 14 1471.80/1472.22 c 1418s | 18 | 1027181 | 314352 | 35251 19 | 7 | 14 1473.90/1474.36 c 1420s | 18 | 1029270 | 314952 | 35251 19 | 7 | 14 1476.30/1476.71 c 1422s | 18 | 1030936 | 315552 | 35251 19 | 7 | 14 1478.30/1478.73 c 1424s | 18 | 1032039 | 316052 | 35251 19 | 7 | 14 1480.50/1480.96 c 1426s | 18 | 1033283 | 316552 | 35251 19 | 7 | 14 1482.80/1483.29 c 1429s | 18 | 1035248 | 317052 | 35251 19 | 7 | 14 1485.00/1485.49 c 1431s | 18 | 1037435 | 317552 | 35251 19 | 7 | 14 1487.30/1487.76 c 1433s | 18 | 1039093 | 318052 | 35251 19 | 7 | 14 1489.60/1490.08 c 1435s | 18 | 1040387 | 318552 | 35251 19 | 7 | 14 1491.80/1492.21 c 1438s | 18 | 1041395 | 318952 | 35251 19 | 7 | 14 1494.30/1494.73 c 1440s | 18 | 1042510 | 319452 | 35251 19 | 7 | 14 1496.40/1496.84 c 1442s | 18 | 1043822 | 319852 | 35251 19 | 7 | 14 1499.00/1499.41 c 1445s | 18 | 1045080 | 320252 | 35251 19 | 7 | 14 1501.10/1501.53 c 1447s | 18 | 1046503 | 320652 | 35251 19 | 7 | 14 1503.40/1503.84 c 1449s | 18 | 1047695 | 321052 | 35251 19 | 7 | 14 1505.90/1506.33 c 1452s | 18 | 1049375 | 321552 | 35251 19 | 7 | 14 1507.89/1508.35 c 1454s | 18 | 1050342 | 321952 | 35251 19 | 7 | 14 1510.29/1510.76 c 1456s | 18 | 1051997 | 322452 | 35251 19 | 7 | 14 1512.39/1512.84 c 1458s | 18 | 1053909 | 322952 | 35251 19 | 7 | 14 1514.79/1515.27 c 1461s | 18 | 1055565 | 323552 | 35251 19 | 7 | 14 1516.99/1517.43 c 1463s | 18 | 1056767 | 324052 | 35251 19 | 7 | 14 1519.59/1520.01 c 1465s | 18 | 1057966 | 324552 | 35251 19 | 7 | 14 1521.69/1522.18 c 1468s | 18 | 1058908 | 324952 | 35251 19 | 7 | 14 1523.89/1524.37 c 1470s | 18 | 1060146 | 325352 | 35251 19 | 7 | 14 1526.19/1526.67 c 1472s | 18 | 1061804 | 325852 | 35251 19 | 7 | 14 1528.39/1528.81 c 1474s | 18 | 1062662 | 326252 | 35251 19 | 7 | 14 1530.69/1531.15 c 1477s | 18 | 1063730 | 326652 | 35251 20 | 7 | 14 1533.00/1533.48 c 1479s | 18 | 1065246 | 327052 | 35251 20 | 7 | 14 1535.30/1535.79 c 1481s | 18 | 1066787 | 327452 | 35251 20 | 7 | 14 1537.40/1537.82 c 1483s | 18 | 1068509 | 327952 | 35251 20 | 7 | 14 1539.60/1540.02 c 1485s | 18 | 1070377 | 328452 | 35251 20 | 7 | 14 1541.59/1542.09 c 1487s | 18 | 1072122 | 328952 | 35251 20 | 7 | 14 1544.10/1544.56 c 1490s | 18 | 1073619 | 329552 | 35251 20 | 7 | 14 1546.30/1546.76 c 1492s | 18 | 1075045 | 330052 | 35251 20 | 7 | 14 1548.69/1549.16 c 1495s | 18 | 1076668 | 330552 | 35251 20 | 7 | 14 1550.89/1551.31 c 1497s | 18 | 1077921 | 331052 | 35251 20 | 7 | 14 1552.89/1553.36 c 1499s | 18 | 1079216 | 331452 | 35251 20 | 7 | 14 1555.29/1555.77 c 1501s | 18 | 1080923 | 331952 | 35251 20 | 7 | 14 1557.49/1557.94 c 1503s | 18 | 1082614 | 332452 | 35251 20 | 7 | 14 1559.59/1560.09 c 1505s | 18 | 1083847 | 332952 | 35251 20 | 7 | 14 1561.99/1562.45 c 1508s | 18 | 1085045 | 333352 | 35251 20 | 7 | 14 1564.09/1564.51 c 1510s | 18 | 1086254 | 333752 | 35251 20 | 7 | 14 1566.19/1566.66 c 1512s | 18 | 1088643 | 334252 | 35251 20 | 7 | 14 1568.29/1568.72 c 1514s | 18 | 1090538 | 334752 | 35251 20 | 7 | 14 1570.49/1570.91 c 1516s | 18 | 1091699 | 335252 | 35251 20 | 7 | 14 1572.49/1572.95 c 1518s | 18 | 1093232 | 335752 | 35251 20 | 7 | 14 1574.58/1575.03 c 1520s | 18 | 1094280 | 336252 | 35251 20 | 7 | 14 1576.78/1577.28 c 1523s | 18 | 1095282 | 336752 | 35251 20 | 7 | 14 1579.19/1579.69 c 1525s | 18 | 1096290 | 337252 | 35251 20 | 7 | 14 1581.58/1582.08 c 1527s | 18 | 1097481 | 337752 | 35251 20 | 7 | 14 1583.78/1584.22 c 1530s | 18 | 1099845 | 338252 | 35251 20 | 7 | 14 1585.89/1586.35 c 1532s | 18 | 1101409 | 338752 | 35251 20 | 7 | 14 1587.89/1588.35 c 1534s | 18 | 1102470 | 339152 | 35251 20 | 7 | 14 1590.20/1590.66 c 1536s | 18 | 1103277 | 339552 | 35251 20 | 7 | 14 1592.19/1592.67 c 1538s | 18 | 1104415 | 339952 | 35251 20 | 7 | 14 1594.49/1595.00 c 1540s | 18 | 1106163 | 340352 | 35251 20 | 7 | 14 1596.69/1597.14 c 1543s | 18 | 1107547 | 340752 | 35251 20 | 7 | 14 1599.00/1599.42 c 1545s | 18 | 1108867 | 341152 | 35251 20 | 7 | 14 1601.09/1601.54 c 1547s | 18 | 1110650 | 341552 | 35251 20 | 7 | 14 1603.59/1604.02 c 1549s | 18 | 1112939 | 342052 | 35251 20 | 7 | 14 1605.89/1606.37 c 1552s | 18 | 1114693 | 342552 | 35251 20 | 7 | 14 1607.90/1608.38 c 1554s | 18 | 1116235 | 342952 | 35251 20 | 7 | 14 1610.19/1610.62 c 1556s | 18 | 1117870 | 343452 | 35251 20 | 7 | 14 1612.29/1612.73 c 1558s | 18 | 1118875 | 343852 | 35251 20 | 7 | 14 1614.39/1614.90 c 1560s | 18 | 1120038 | 344252 | 35251 20 | 7 | 14 1616.89/1617.30 c 1563s | 18 | 1121411 | 344752 | 35251 21 | 7 | 14 1618.99/1619.45 c 1565s | 18 | 1122709 | 345252 | 35251 21 | 7 | 14 1621.19/1621.68 c 1567s | 18 | 1124472 | 345852 | 35251 21 | 7 | 14 1623.49/1623.94 c 1569s | 18 | 1125975 | 346352 | 35251 21 | 7 | 14 1625.58/1626.06 c 1571s | 18 | 1127509 | 346852 | 35251 21 | 7 | 14 1627.88/1628.32 c 1574s | 18 | 1129323 | 347452 | 35251 21 | 7 | 14 1630.28/1630.78 c 1576s | 18 | 1131256 | 348052 | 35251 21 | 7 | 14 1632.78/1633.23 c 1579s | 18 | 1133263 | 348652 | 35251 21 | 7 | 14 1635.08/1635.55 c 1581s | 18 | 1134696 | 349152 | 35251 21 | 7 | 14 1637.49/1637.97 c 1583s | 18 | 1136520 | 349752 | 35251 21 | 7 | 14 1639.69/1640.14 c 1586s | 18 | 1138457 | 350252 | 35251 21 | 7 | 14 1641.78/1642.30 c 1588s | 18 | 1139916 | 350752 | 35251 21 | 7 | 14 1644.09/1644.58 c 1590s | 18 | 1141282 | 351252 | 35251 21 | 7 | 14 1646.18/1646.64 c 1592s | 18 | 1142602 | 351652 | 35251 21 | 7 | 14 1648.38/1648.88 c 1594s | 18 | 1144052 | 352152 | 35251 21 | 7 | 14 1650.69/1651.14 c 1597s | 18 | 1145844 | 352652 | 35251 21 | 7 | 14 1652.89/1653.37 c 1599s | 18 | 1147986 | 353152 | 35251 21 | 7 | 14 1655.09/1655.60 c 1601s | 18 | 1149496 | 353652 | 35251 21 | 7 | 14 1657.39/1657.87 c 1603s | 18 | 1151631 | 354252 | 35251 21 | 7 | 14 1659.68/1660.12 c 1606s | 18 | 1152865 | 354752 | 35251 21 | 7 | 14 1661.98/1662.47 c 1608s | 18 | 1154464 | 355252 | 35251 21 | 7 | 14 1664.08/1664.54 c 1610s | 18 | 1155545 | 355652 | 35251 21 | 7 | 14 1666.38/1666.82 c 1612s | 18 | 1157476 | 356152 | 35251 21 | 7 | 14 1668.58/1669.04 c 1614s | 18 | 1158477 | 356552 | 35251 21 | 7 | 14 1671.18/1671.62 c 1617s | 18 | 1160137 | 357152 | 35251 21 | 7 | 14 1673.38/1673.84 c 1619s | 18 | 1161217 | 357552 | 35251 21 | 7 | 14 1675.78/1676.22 c 1622s | 18 | 1162484 | 357952 | 35251 21 | 7 | 14 1678.18/1678.66 c 1624s | 18 | 1163661 | 358352 | 35251 21 | 7 | 14 1680.17/1680.69 c 1626s | 18 | 1165220 | 358752 | 35251 21 | 7 | 14 1682.68/1683.18 c 1629s | 18 | 1167153 | 359252 | 35251 21 | 7 | 14 1684.78/1685.25 c 1631s | 18 | 1168284 | 359652 | 35251 21 | 7 | 14 1686.87/1687.36 c 1633s | 18 | 1169938 | 360152 | 35251 21 | 7 | 14 1689.37/1689.84 c 1635s | 18 | 1171721 | 360652 | 35251 21 | 7 | 14 1691.67/1692.16 c 1638s | 18 | 1173024 | 361052 | 35251 21 | 7 | 14 1693.77/1694.22 c 1640s | 18 | 1174784 | 361452 | 35251 21 | 7 | 14 1696.17/1696.63 c 1642s | 18 | 1176389 | 361952 | 35251 21 | 7 | 14 1698.67/1699.17 c 1645s | 18 | 1178238 | 362452 | 35251 21 | 7 | 14 1701.28/1701.71 c 1647s | 18 | 1180037 | 362952 | 35251 21 | 7 | 14 1703.48/1703.97 c 1649s | 18 | 1181237 | 363352 | 35251 22 | 7 | 14 1705.87/1706.30 c 1652s | 18 | 1182824 | 363852 | 35251 22 | 7 | 14 1708.07/1708.52 c 1654s | 18 | 1184281 | 364352 | 35251 22 | 7 | 14 1710.57/1711.01 c 1656s | 18 | 1186261 | 364852 | 35251 22 | 7 | 14 1712.57/1713.07 c 1658s | 18 | 1187974 | 365252 | 35251 22 | 7 | 14 1714.58/1715.09 c 1660s | 18 | 1190016 | 365652 | 35251 22 | 7 | 14 1717.07/1717.59 c 1663s | 18 | 1191571 | 366152 | 35251 22 | 7 | 14 1719.17/1719.60 c 1665s | 18 | 1193386 | 366752 | 35251 22 | 7 | 14 1721.37/1721.85 c 1667s | 18 | 1195424 | 367352 | 35251 22 | 7 | 14 1723.57/1724.02 c 1669s | 18 | 1196764 | 367852 | 35251 22 | 7 | 14 1725.67/1726.12 c 1672s | 18 | 1198687 | 368352 | 35251 22 | 7 | 14 1727.97/1728.41 c 1674s | 18 | 1200555 | 368852 | 35251 22 | 7 | 14 1730.37/1730.82 c 1676s | 18 | 1202060 | 369352 | 35251 22 | 7 | 14 1732.37/1732.84 c 1678s | 18 | 1203251 | 369852 | 35251 22 | 7 | 14 1734.67/1735.15 c 1681s | 18 | 1204822 | 370352 | 35251 22 | 7 | 14 1737.06/1737.56 c 1683s | 18 | 1206533 | 370952 | 35251 22 | 7 | 14 1739.26/1739.76 c 1685s | 18 | 1207726 | 371352 | 35251 22 | 7 | 14 1741.66/1742.12 c 1688s | 18 | 1209090 | 371752 | 35251 22 | 7 | 14 1743.76/1744.20 c 1690s | 18 | 1210424 | 372152 | 35251 22 | 7 | 14 1745.86/1746.30 c 1692s | 18 | 1212709 | 372552 | 35251 22 | 7 | 14 1747.86/1748.34 c 1694s | 18 | 1214086 | 372952 | 35251 22 | 7 | 14 1750.16/1750.61 c 1696s | 18 | 1215778 | 373452 | 35251 22 | 7 | 14 1752.26/1752.74 c 1698s | 18 | 1217384 | 373852 | 35251 22 | 7 | 14 1754.36/1754.80 c 1700s | 18 | 1218863 | 374252 | 35251 22 | 7 | 14 1756.56/1757.01 c 1702s | 18 | 1220194 | 374752 | 35251 22 | 7 | 14 1758.57/1759.07 c 1704s | 18 | 1221764 | 375252 | 35251 22 | 7 | 14 1760.67/1761.11 c 1707s | 18 | 1223130 | 375752 | 35251 22 | 7 | 14 1762.76/1763.26 c 1709s | 18 | 1224476 | 376252 | 35251 22 | 7 | 14 1765.17/1765.64 c 1711s | 18 | 1226174 | 376752 | 35251 22 | 7 | 14 1767.27/1767.75 c 1713s | 18 | 1227389 | 377252 | 35251 22 | 7 | 14 1769.57/1770.09 c 1715s | 18 | 1228753 | 377752 | 35251 22 | 7 | 14 1771.67/1772.19 c 1718s | 18 | 1230578 | 378152 | 35251 22 | 7 | 14 1774.16/1774.60 c 1720s | 18 | 1231982 | 378652 | 35251 22 | 7 | 14 1776.17/1776.68 c 1722s | 18 | 1232926 | 379052 | 35251 22 | 7 | 14 1778.66/1779.11 c 1725s | 18 | 1234201 | 379552 | 35251 22 | 7 | 14 1781.16/1781.67 c 1727s | 18 | 1235891 | 379952 | 35251 22 | 7 | 14 1783.36/1783.89 c 1729s | 18 | 1236968 | 380352 | 35251 22 | 7 | 14 1785.46/1785.93 c 1731s | 18 | 1238522 | 380752 | 35251 22 | 7 | 14 1787.76/1788.27 c 1734s | 18 | 1239966 | 381252 | 35251 22 | 7 | 14 1790.46/1790.99 c 1736s | 18 | 1241753 | 381852 | 35251 23 | 7 | 14 1792.56/1793.08 c 1738s | 18 | 1243205 | 382352 | 35251 23 | 7 | 14 1794.56/1795.08 c 1740s | 18 | 1244381 | 382852 | 35251 23 | 7 | 14 1796.55/1797.09 c 1742s | 18 | 1245803 | 383352 | 35251 23 | 7 | 14 1798.65/1799.11 c 1745s | 18 | 1246867 | 383852 | 35251 23 | 7 | 14
ERROR: no interpretation found !
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-4080130-1465256315/watcher-4080130-1465256315 -o /tmp/evaluation-result-4080130-1465256315/solver-4080130-1465256315 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080130-1465256315.opb pid=11676 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.16 2.20 2.18 4/179 11679 /proc/meminfo: memFree=29648760/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=784828 CPUtime=0 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 2939 0 0 0 0 0 0 0 20 0 4 0 107566063 803663872 3299 33554432000 4194304 16246674 140734416561408 140734416560832 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 196719 3308 441 2943 0 193613 0 [pid=11679/tid=11680] ppid=11676 vsize=802236 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 821489664 3369 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=806332 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 825683968 3385 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=811452 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107566063 830926848 3403 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100171 s] /proc/loadavg: 2.16 2.20 2.18 4/179 11679 /proc/meminfo: memFree=29648760/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1223236 CPUtime=0.09 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 22648 0 0 0 6 3 0 0 20 0 4 0 107566063 1252593664 22955 33554432000 4194304 16246674 140734416561408 140734416560720 5890056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 305809 22955 835 2943 0 302703 0 [pid=11679/tid=11680] ppid=11676 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1252593664 22955 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1252593664 22955 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1252593664 22955 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1223236 [startup+0.200465 s] /proc/loadavg: 2.16 2.20 2.18 4/179 11679 /proc/meminfo: memFree=29648760/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1223236 CPUtime=0.19 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 36799 0 0 0 14 5 0 0 20 0 4 0 107566063 1252593664 37106 33554432000 4194304 16246674 140734416561408 140734416560720 5532589 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 305809 37116 893 2943 0 302703 0 [pid=11679/tid=11680] ppid=11676 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1252593664 37121 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1252593664 37125 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1252593664 37130 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1223236 [startup+0.300495 s] /proc/loadavg: 2.16 2.20 2.18 4/179 11679 /proc/meminfo: memFree=29648760/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1296964 CPUtime=0.29 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 53496 0 0 0 22 7 0 0 20 0 4 0 107566063 1328091136 53804 33554432000 4194304 16246674 140734416561408 140734416560720 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 324241 53816 907 2943 0 321135 0 [pid=11679/tid=11680] ppid=11676 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1328091136 53824 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1328091136 53832 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1328091136 53839 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1296964 [startup+0.700401 s] /proc/loadavg: 2.16 2.20 2.18 4/179 11679 /proc/meminfo: memFree=29648760/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1296964 CPUtime=0.69 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 122931 0 0 0 53 16 0 0 20 0 4 0 107566063 1328091136 123238 33554432000 4194304 16246674 140734416561408 140734416560720 5675010 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 324241 123251 907 2943 0 321135 0 [pid=11679/tid=11680] ppid=11676 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1328091136 123259 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1328091136 123267 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1328091136 123276 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1296964 [startup+1.50035 s] /proc/loadavg: 2.16 2.20 2.18 4/183 11683 /proc/meminfo: memFree=28870912/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1307204 CPUtime=1.49 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 194376 0 0 0 123 26 0 0 20 0 4 0 107566063 1338576896 194683 33554432000 4194304 16246674 140734416561408 140734416543296 13906983 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 326801 194683 913 2943 0 323695 0 [pid=11679/tid=11680] ppid=11676 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1338576896 194683 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1338576896 194683 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1338576896 194683 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.10042 s] /proc/loadavg: 2.16 2.20 2.18 3/183 11683 /proc/meminfo: memFree=28869672/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1307204 CPUtime=3.09 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 194376 0 0 0 283 26 0 0 20 0 4 0 107566063 1338576896 194683 33554432000 4194304 16246674 140734416561408 140734416560584 5546233 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 326801 194683 913 2943 0 323695 0 [pid=11679/tid=11680] ppid=11676 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1338576896 194683 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1338576896 194683 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1338576896 194683 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.3004 s] /proc/loadavg: 2.14 2.20 2.18 3/183 11683 /proc/meminfo: memFree=28870436/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 194377 0 0 0 603 26 0 0 20 0 4 0 107566063 1338576896 194684 33554432000 4194304 16246674 140734416561408 140734416543296 5675344 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 326801 194684 914 2943 0 323695 0 [pid=11679/tid=11680] ppid=11676 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1338576896 194684 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1338576896 194684 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1338576896 194684 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.20 2.17 3/183 11683 /proc/meminfo: memFree=28869564/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1307204 CPUtime=12.69 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 194377 0 0 0 1243 26 0 0 20 0 4 0 107566063 1338576896 194684 33554432000 4194304 16246674 140734416561408 140734416560584 12875570 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 326801 194684 914 2943 0 323695 0 [pid=11679/tid=11680] ppid=11676 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1338576896 194684 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1338576896 194684 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1338576896 194684 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.10 2.18 2.17 3/182 11683 /proc/meminfo: memFree=28870396/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1307204 CPUtime=25.49 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 194377 0 0 0 2522 27 0 0 20 0 4 0 107566063 1338576896 194684 33554432000 4194304 16246674 140734416561408 140734416543296 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 326801 194684 914 2943 0 323695 0 [pid=11679/tid=11680] ppid=11676 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1338576896 194684 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1338576896 194684 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1338576896 194684 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1307204 [startup+51.1005 s] /proc/loadavg: 2.14 2.18 2.17 3/183 11684 /proc/meminfo: memFree=28562548/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1320516 CPUtime=51.08 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 267801 0 0 0 5071 37 0 0 20 0 4 0 107566063 1352208384 271636 33554432000 4194304 16246674 140734416561408 140734416560584 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 330129 271636 918 2943 0 327023 0 [pid=11679/tid=11680] ppid=11676 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1352208384 271636 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1352208384 271636 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1352208384 271636 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1320516 [startup+102.3 s] /proc/loadavg: 2.18 2.18 2.17 3/184 11688 /proc/meminfo: memFree=28561264/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1320516 CPUtime=102.28 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 267802 0 0 0 10191 37 0 0 20 0 4 0 107566063 1352208384 271636 33554432000 4194304 16246674 140734416561408 140734416544408 5675084 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 330129 271636 918 2943 0 327023 0 [pid=11679/tid=11680] ppid=11676 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1352208384 271636 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1352208384 271636 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1352208384 271636 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1320516 ################ # More data... # ################ /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1352208384 271636 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1320516 [startup+1362.3 s] /proc/loadavg: 2.12 2.09 2.11 3/184 11791 /proc/meminfo: memFree=28557740/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1320516 CPUtime=1361.92 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 268082 0 0 0 136151 41 0 0 20 0 4 0 107566063 1352208384 271636 33554432000 4194304 16246674 140734416561408 140734416543296 5673837 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 330129 271636 918 2943 0 327023 0 [pid=11679/tid=11680] ppid=11676 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1352208384 271636 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1352208384 271636 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1352208384 271636 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1320516 [startup+1422.3 s] /proc/loadavg: 2.04 2.07 2.10 3/183 11792 /proc/meminfo: memFree=28558556/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1320516 CPUtime=1421.92 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 268082 0 0 0 142151 41 0 0 20 0 4 0 107566063 1352208384 271636 33554432000 4194304 16246674 140734416561408 140734416543296 6837238 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 330129 271636 918 2943 0 327023 0 [pid=11679/tid=11680] ppid=11676 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1352208384 271636 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1352208384 271636 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1352208384 271636 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1320516 [startup+1482.3 s] /proc/loadavg: 2.13 2.09 2.10 3/183 11793 /proc/meminfo: memFree=28554512/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1321540 CPUtime=1481.9 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 268338 0 0 0 148149 41 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140734416543296 13906983 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 330385 271892 918 2943 0 327279 0 [pid=11679/tid=11680] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1321540 [startup+1542.31 s] /proc/loadavg: 2.08 2.08 2.09 3/183 11794 /proc/meminfo: memFree=28554760/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1321540 CPUtime=1541.9 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 268338 0 0 0 154149 41 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140734416543296 5661532 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 330385 271892 918 2943 0 327279 0 [pid=11679/tid=11680] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1321540 [startup+1602.3 s] /proc/loadavg: 2.16 2.11 2.10 3/183 11796 /proc/meminfo: memFree=28554900/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1321540 CPUtime=1601.89 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 268338 0 0 0 160147 42 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140734416543296 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 330385 271892 918 2943 0 327279 0 [pid=11679/tid=11680] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1321540 [startup+1662.3 s] /proc/loadavg: 2.13 2.11 2.10 3/183 11797 /proc/meminfo: memFree=28554660/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1321540 CPUtime=1661.88 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 268338 0 0 0 166146 42 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140734416543296 13820864 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 330385 271892 918 2943 0 327279 0 [pid=11679/tid=11680] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1321540 [startup+1722.3 s] /proc/loadavg: 2.22 2.15 2.11 3/183 11798 /proc/meminfo: memFree=28554528/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1321540 CPUtime=1721.87 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 268338 0 0 0 172145 42 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140734416543296 5674919 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 330385 271892 918 2943 0 327279 0 [pid=11679/tid=11680] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1321540 [startup+1782.3 s] /proc/loadavg: 2.22 2.16 2.11 3/183 11799 /proc/meminfo: memFree=28554540/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1321540 CPUtime=1781.86 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 268338 0 0 0 178144 42 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140734416543296 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 330385 271892 918 2943 0 327279 0 [pid=11679/tid=11680] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1321540 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.17 2.16 2.11 3/183 11799 /proc/meminfo: memFree=28554540/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1321540 CPUtime=1800.05 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 268338 0 0 0 179963 42 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140734416543296 5677720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 330385 271892 918 2943 0 327279 0 [pid=11679/tid=11680] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1321540 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 11679 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.17 2.16 2.11 3/183 11799 /proc/meminfo: memFree=28554540/32872528 swapFree=12208/1156848 [pid=11679] ppid=11676 vsize=1321540 CPUtime=1800.05 cores=0,2,4,6 /proc/11679/stat : 11679 (toysat) R 11676 11679 9895 0 -1 4202496 268338 0 0 0 179963 42 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140734416543296 5677720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11679/statm: 330385 271892 918 2943 0 327279 0 [pid=11679/tid=11680] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11680/stat : 11680 (toysat) S 11676 11679 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669913902320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11679/tid=11681] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11681/stat : 11681 (toysat) S 11676 11679 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669903412464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11679/tid=11682] ppid=11676 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11679/task/11682/stat : 11682 (toysat) S 11676 11679 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107566063 1353256960 271892 33554432000 4194304 16246674 140734416561408 140669892938928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1321540 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1799.64 CPU system time (s): 0.425935 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 1321540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.64 system time used= 0.425935 maximum resident set size= 1087568 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268338 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= 297 involuntary context switches= 1868 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.44132 second user time and 7.06492 second system time The end
Begin job on node114 at 2016-06-07 01:38:35 IDJOB=4080130 IDBENCH=48128 IDSOLVER=2542 FILE ID=node114/4080130-1465256315 RUNJOBID= node114-1465241547-9911 PBS_JOBID= 19843245 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080130-1465256315/watcher-4080130-1465256315 -o /tmp/evaluation-result-4080130-1465256315/solver-4080130-1465256315 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080130-1465256315.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76 RANDOM SEED=1793363992 node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29648404 kB Buffers: 60960 kB Cached: 214324 kB SwapCached: 1720 kB Active: 1203548 kB Inactive: 156504 kB Active(anon): 1085808 kB Inactive(anon): 1200 kB Active(file): 117740 kB Inactive(file): 155304 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096604 kB Dirty: 16320 kB Writeback: 0 kB AnonPages: 2242896 kB Mapped: 10496 kB Shmem: 0 kB Slab: 570396 kB SReclaimable: 14428 kB SUnreclaim: 555968 kB KernelStack: 1480 kB PageTables: 8612 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2388380 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2207744 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node114 at 2016-06-07 02:08:36