| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.12 | 1800.53 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-25fv47.opb |
| MD5SUM | dfddd97e7752f713f95f506cbe2ca323 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 47130 |
| Total number of constraints | 820 |
| 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 | 820 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 10200 |
| Number of terms in the objective function | 19170 |
| Biggest coefficient in the objective function | 26496 |
| Number of bits for the biggest coefficient in the objective function | 15 |
| Sum of the numbers in the objective function | 540242 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262144 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 540242 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T04:31:30+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-4100761-1466217089.opb"] 0.00/0.01 c use --random-gen="1064309193 3774072611 3484190733 533988393 4251796229 2038911788 333650827 2307947209 4074533658 4189811459 1081163234 910821360 1918600759 4143342673 2056411584 682931861 1544367729 213918642 2025916371 1061204945 1215136617 2865080959 4165112328 235791909 2505050803 557760037 3360413243 658179620 3952449299 575416839 2693761463 2520912596 2447464198 997704103 1904316557 3186695560 922601370 3045809591 235517837 2899709495 1310347920 2625545979 3933571483 3489611957 289087306 1660926193 1700904213 1607043223 2545105278 786529447 1798899326 1615069659 1481599579 1393525252 3139845243 3853541770 3842578370 629377077 2092807872 2418186302 1082201705 533712976 2522601393 2705006317 3623877225 114124348 322594990 3825966074 4284313099 3266111282 2946763535 3866529541 2035228171 1805823222 2417800040 2987310927 422003822 2737699491 3041189522 1471336742 286659780 564212316 88561245 4149213754 2066045148 1725388758 3392393452 528395648 4030740183 3744043909 1478896694 2645942591 521571317 3221787069 3166411426 4193616719 1077513019 2419085441 3181971767 2473489582 3183468621 1910914284 3929895197 3505914953 3414506515 635940261 51268748 2125038415 3074935793 318662887 4143583013 1064143693 730076164 3133311357 3531078336 1699732853 3097884211 1603977651 3192197063 2645180232 1780651698 1474482358 2875919083 4271239524 1475704444 1400334966 829102851 2953015845 27977977 327081654 91697293 1115707829 2600951024 634409955 1517500625 1241147188 4015909841 2082352024 1994000700 2180906648 2327222 1922401642 2950099101 1134484825 857152726 1285842127 382626080 536736146 697057770 23374927 1822936652 1446825234 1157359239 2714375905 324315258 1028150471 4120788552 2186607684 630191589 1705653605 1379989892 1388924493 2441959987 1985249265 2069025471 1397823661 1243582161 2526632121 1762854141 275529589 1388187817 3392858657 571574471 4093538301 936660664 44340761 3405019136 3738455041 1937268848 269186820 1733600618 3885110167 4140939782 2201800109 417400359 1358002590 3744022022 1907370170 3023103936 2053035681 740700517 3255480306 73203336 3168376708 2225033730 2570569202 1031999596 682393047 2219514927 653518267 3006692031 3232026444 883500678 623518649 2822231323 3323438226 3593393819 2752985670 2621874489 3277109367 891396940 993089534 588474336 3400182680 2564901817 2773721223 367608768 3652756602 3405430075 2447137219 344594004 2230992623 1185442068 2084189713 1153954159 4000121435 174012436 55342542 339311213 1927960368 2157792867 256675892 2667189440 1706262381 1979334631 1602483337 2205912823 2352329307 1782267098 1263328861 2947550723 1694092522 561990724 959183448 999544307 4138463622 2165620795 186937500 3184712803 810278198 1657707185 3514585566 979957002 320997806 2865369113 2042933132 255 362436" option to reproduce the execution 0.49/0.59 c #vars 47130 0.49/0.59 c #constraints 820 2.89/2.93 c BCD2: Hardening is enabled. 2.89/2.93 c BCD2: BiasedSearch is enabled. 2.89/2.93 c Solving starts ... 2.89/2.93 c ============================[ Search Statistics ]============================ 2.89/2.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.89/2.93 c | | | | Limit GC | Var | Constra 2.89/2.93 c ============================================================================= 2.89/2.93 c 0.0s | 0 | 0 | 0 | 16153 0 | 16879 | 0 3.29/3.34 c 0.4s | 1 | 214 | 100 | 16153 0 | 16886 | 6 3.49/3.53 c 0.6s | 2 | 574 | 250 | 17769 0 | 16887 | 6 3.69/3.75 c 0.8s | 3 | 913 | 475 | 19546 0 | 16887 | 6 4.19/4.20 c 1.3s | 4 | 1515 | 813 | 21501 0 | 16887 | 6 4.59/4.68 c 1.7s | 5 | 2166 | 1320 | 23652 0 | 16887 | 6 5.39/5.45 c 2.5s | 6 | 3166 | 2081 | 28620 0 | 16887 | 6 6.59/6.61 c 3.7s | 7 | 4940 | 3223 | 31483 0 | 16887 | 6 8.29/8.37 c 5.4s | 8 | 7469 | 4936 | 34632 0 | 16887 | 6 10.29/10.37 c 7.4s | 8 | 11018 | 7436 | 34632 0 | 16887 | 6 10.39/10.43 c 7.5s | 9 | 11093 | 7506 | 38096 0 | 16887 | 6 12.39/12.44 c 9.5s | 9 | 13561 | 9106 | 38096 0 | 16887 | 6 14.49/14.51 c 11.6s | 9 | 16343 | 11306 | 41906 0 | 16887 | 6 14.49/14.56 c 11.6s | 10 | 16431 | 11361 | 41906 0 | 16887 | 6 16.59/16.66 c 13.7s | 10 | 19191 | 13261 | 41906 0 | 16887 | 6 18.79/18.81 c 15.9s | 10 | 21555 | 15061 | 41906 0 | 16887 | 6 20.79/20.84 c 17.9s | 10 | 23543 | 16661 | 41906 0 | 16887 | 6 21.29/21.39 c 18.5s | 11 | 24101 | 17144 | 46097 0 | 16887 | 6 23.39/23.46 c 20.5s | 11 | 26279 | 18844 | 46097 0 | 16887 | 6 25.49/25.54 c 22.6s | 11 | 28701 | 20444 | 46097 0 | 16887 | 6 27.59/27.63 c 24.7s | 11 | 31479 | 22144 | 46097 0 | 16887 | 6 29.58/29.66 c 26.7s | 11 | 34198 | 24044 | 46097 0 | 16887 | 6 31.58/31.68 c 28.7s | 11 | 36659 | 25744 | 50707 0 | 16887 | 6 31.68/31.78 c 28.9s | 12 | 36788 | 25819 | 50707 0 | 16887 | 6 33.78/33.89 c 31.0s | 12 | 38567 | 27119 | 50707 0 | 16887 | 6 35.88/35.99 c 33.1s | 12 | 40761 | 28519 | 50707 0 | 16887 | 6 37.98/38.09 c 35.2s | 12 | 42449 | 29819 | 50707 0 | 16887 | 6 39.98/40.09 c 37.2s | 12 | 44238 | 31219 | 50707 0 | 16887 | 6 42.08/42.10 c 39.2s | 12 | 45974 | 32519 | 50707 0 | 16887 | 6 44.28/44.30 c 41.4s | 12 | 47720 | 33819 | 50707 0 | 16887 | 6 46.38/46.47 c 43.5s | 12 | 49596 | 35119 | 50707 0 | 16887 | 6 48.39/48.48 c 45.5s | 12 | 51315 | 36219 | 50707 0 | 16887 | 6 50.48/50.52 c 47.6s | 12 | 53327 | 37419 | 50707 0 | 16887 | 6 52.48/52.54 c 49.6s | 12 | 54938 | 38619 | 55778 0 | 16887 | 6 52.79/52.86 c 49.9s | 13 | 55246 | 38832 | 55778 0 | 16887 | 6 54.88/54.95 c 52.0s | 13 | 57031 | 40032 | 55778 0 | 16887 | 6 56.88/56.96 c 54.0s | 13 | 58700 | 41232 | 55778 0 | 16887 | 6 58.98/59.08 c 56.1s | 13 | 60346 | 42532 | 55778 0 | 16887 | 6 61.18/61.22 c 58.3s | 13 | 61763 | 43332 | 55778 0 | 16887 | 6 63.48/63.53 c 60.6s | 13 | 63337 | 44332 | 55778 0 | 16887 | 6 65.48/65.57 c 62.6s | 13 | 64526 | 45232 | 55778 0 | 16887 | 6 67.68/67.70 c 64.8s | 13 | 65915 | 46132 | 55778 0 | 16887 | 6 69.98/70.03 c 67.1s | 13 | 67406 | 47032 | 55778 0 | 16887 | 6 72.38/72.48 c 69.5s | 13 | 68818 | 47932 | 55778 0 | 16887 | 6 74.48/74.54 c 71.6s | 13 | 70385 | 48932 | 55778 0 | 16887 | 6 76.48/76.59 c 73.7s | 13 | 71817 | 50032 | 55778 0 | 16887 | 6 78.68/78.75 c 75.8s | 13 | 73348 | 51232 | 55778 0 | 16887 | 6 80.77/80.89 c 78.0s | 13 | 75071 | 52032 | 55778 0 | 16887 | 6 82.97/83.02 c 80.1s | 13 | 77424 | 53332 | 55778 0 | 16887 | 6 84.97/85.04 c 82.1s | 13 | 79250 | 54432 | 55778 0 | 16887 | 6 86.98/87.08 c 84.1s | 13 | 80921 | 55632 | 55778 0 | 16887 | 6 89.18/89.22 c 86.3s | 13 | 82457 | 56632 | 55778 0 | 16887 | 6 91.28/91.34 c 88.4s | 13 | 84140 | 57732 | 55778 0 | 16887 | 6 92.57/92.67 c 89.7s | 14 | 85027 | 58352 | 61356 0 | 16887 | 6 94.68/94.77 c 91.8s | 14 | 86265 | 59052 | 61356 0 | 16887 | 6 96.78/96.81 c 93.9s | 14 | 87613 | 59852 | 61356 0 | 16887 | 6 98.77/98.84 c 95.9s | 14 | 89023 | 60652 | 61356 0 | 16887 | 6 100.77/100.89 c 98.0s | 14 | 90195 | 61452 | 61356 0 | 16887 | 6 103.07/103.13 c 100s | 14 | 91559 | 62352 | 61356 0 | 16887 | 6 105.07/105.17 c 102s | 14 | 92597 | 63052 | 61356 0 | 16887 | 6 107.17/107.23 c 104s | 14 | 93686 | 63852 | 61356 0 | 16887 | 6 109.17/109.29 c 106s | 14 | 94844 | 64652 | 61356 0 | 16887 | 6 111.37/111.40 c 108s | 14 | 95915 | 65452 | 61356 0 | 16887 | 6 113.47/113.53 c 110s | 14 | 97100 | 66252 | 61356 0 | 16887 | 6 115.67/115.72 c 112s | 14 | 98448 | 67152 | 61356 0 | 16887 | 6 117.78/117.83 c 114s | 14 | 99446 | 67952 | 61356 0 | 16887 | 6 119.97/120.02 c 117s | 14 | 100296 | 68652 | 61356 0 | 16887 | 6 122.27/122.36 c 119s | 14 | 101925 | 69652 | 61356 0 | 16887 | 6 124.47/124.52 c 121s | 14 | 102981 | 70552 | 61356 0 | 16887 | 6 126.67/126.75 c 123s | 14 | 103964 | 71352 | 61356 0 | 16887 | 6 128.67/128.78 c 125s | 14 | 105122 | 72352 | 61356 0 | 16887 | 6 130.87/130.91 c 127s | 14 | 106395 | 73152 | 61356 0 | 16887 | 6 132.97/133.10 c 130s | 14 | 107516 | 74052 | 61356 0 | 16887 | 6 135.07/135.13 c 132s | 14 | 108596 | 74952 | 61356 0 | 16887 | 6 137.27/137.30 c 134s | 14 | 109712 | 75852 | 61356 0 | 16887 | 6 139.36/139.49 c 136s | 14 | 111384 | 77252 | 61356 0 | 16887 | 6 141.66/141.70 c 138s | 14 | 112412 | 78252 | 61356 0 | 16887 | 6 146.28/146.40 c 143s | 14 | 114619 | 78452 | 61356 1 | 16899 | 6 148.37/148.49 c 145s | 14 | 116507 | 79652 | 61356 1 | 16899 | 6 150.68/150.74 c 147s | 14 | 117159 | 79852 | 61356 1 | 16899 | 6 152.88/152.95 c 150s | 14 | 117476 | 80052 | 61356 1 | 16899 | 6 154.97/155.03 c 152s | 14 | 117737 | 80252 | 61356 1 | 16899 | 6 157.47/157.57 c 154s | 14 | 117935 | 80452 | 61356 1 | 16899 | 6 160.07/160.17 c 157s | 14 | 118136 | 80652 | 61356 1 | 16899 | 6 162.27/162.36 c 159s | 14 | 118338 | 80852 | 61356 1 | 16899 | 6 164.37/164.44 c 161s | 14 | 118536 | 81052 | 61356 1 | 16899 | 6 167.37/167.49 c 164s | 14 | 118841 | 81352 | 61356 1 | 16899 | 6 169.57/169.68 c 166s | 14 | 119039 | 81552 | 61356 1 | 16899 | 6 171.57/171.70 c 168s | 14 | 119250 | 81752 | 61356 1 | 16899 | 6 173.87/173.98 c 171s | 14 | 121035 | 82652 | 61356 1 | 16899 | 6 175.97/176.10 c 173s | 14 | 122070 | 83252 | 61356 1 | 16899 | 6 178.17/178.24 c 175s | 14 | 122875 | 83752 | 61356 1 | 16899 | 6 180.26/180.35 c 177s | 14 | 123982 | 84552 | 61356 1 | 16899 | 6 182.36/182.44 c 179s | 14 | 124731 | 85052 | 61356 1 | 16899 | 6 184.46/184.58 c 181s | 14 | 125423 | 85552 | 61356 1 | 16899 | 6 186.76/186.83 c 183s | 14 | 126044 | 86052 | 61356 1 | 16899 | 6 189.06/189.11 c 186s | 14 | 126966 | 86652 | 61356 1 | 16899 | 6 191.47/191.51 c 188s | 14 | 127942 | 87252 | 67492 1 | 16899 | 6 192.96/193.09 c 190s | 15 | 128607 | 87632 | 67492 1 | 16899 | 6 195.06/195.16 c 192s | 15 | 132049 | 88332 | 67492 1 | 16908 | 6 197.16/197.28 c 194s | 15 | 134849 | 89432 | 67492 1 | 16908 | 6 199.46/199.56 c 196s | 15 | 137762 | 90632 | 67492 1 | 16908 | 6 201.66/201.71 c 198s | 15 | 142884 | 91732 | 67492 1 | 16908 | 6 203.66/203.73 c 200s | 15 | 147898 | 92832 | 67492 1 | 16908 | 6 205.67/205.79 c 202s | 15 | 152672 | 93832 | 67492 1 | 16908 | 6 207.87/207.92 c 204s | 15 | 158269 | 94932 | 67492 1 | 16908 | 6 209.86/209.98 c 207s | 15 | 161481 | 95832 | 67492 1 | 16908 | 6 212.06/212.11 c 209s | 15 | 165564 | 96832 | 67492 1 | 16908 | 6 214.16/214.20 c 211s | 15 | 167323 | 97832 | 67492 1 | 16908 | 6 216.26/216.33 c 213s | 15 | 171231 | 98832 | 67492 1 | 16908 | 6 218.46/218.51 c 215s | 15 | 176038 | 99932 | 67492 1 | 16908 | 6 220.66/220.72 c 217s | 15 | 179251 | 100932 | 67492 1 | 16908 | 6 222.76/222.82 c 219s | 15 | 184149 | 101932 | 67492 1 | 16908 | 6 224.86/224.94 c 222s | 15 | 187759 | 102932 | 67492 1 | 16908 | 6 226.96/227.08 c 224s | 15 | 189754 | 103832 | 67492 1 | 16908 | 6 229.06/229.14 c 226s | 15 | 192445 | 104732 | 67492 1 | 16908 | 6 231.16/231.26 c 228s | 15 | 195465 | 105632 | 67492 1 | 16908 | 6 233.26/233.34 c 230s | 15 | 198653 | 106532 | 67492 1 | 16908 | 6 235.36/235.43 c 232s | 15 | 201913 | 107432 | 67492 1 | 16908 | 6 237.56/237.65 c 234s | 15 | 205049 | 108332 | 67492 1 | 16908 | 6 239.76/239.81 c 236s | 15 | 207639 | 109232 | 67492 1 | 16908 | 6 241.86/241.94 c 239s | 15 | 209969 | 110132 | 67492 1 | 16908 | 6 243.96/244.07 c 241s | 15 | 212645 | 110932 | 67492 1 | 16908 | 6 246.06/246.13 c 243s | 15 | 214999 | 111732 | 67492 1 | 16908 | 6 248.25/248.32 c 245s | 15 | 217312 | 112532 | 67492 1 | 16908 | 6 250.55/250.63 c 247s | 15 | 220206 | 113332 | 67492 1 | 16908 | 6 252.55/252.64 c 249s | 15 | 222484 | 113932 | 67492 1 | 16909 | 6 255.05/255.11 c 252s | 15 | 228288 | 118432 | 67492 1 | 16911 | 6 257.15/257.20 c 254s | 15 | 234631 | 123932 | 67492 2 | 16911 | 6 259.15/259.22 c 256s | 15 | 238992 | 127532 | 67492 2 | 16911 | 6 261.15/261.23 c 258s | 15 | 243546 | 130532 | 67492 2 | 16911 | 6 262.55/262.69 c 259s | 16 | 245177 | 131552 | 74242 2 | 16911 | 6 264.65/264.71 c 261s | 16 | 250657 | 135852 | 74242 2 | 16911 | 6 266.65/266.77 c 263s | 16 | 254968 | 140152 | 74242 2 | 16911 | 6 268.65/268.79 c 265s | 16 | 258772 | 143952 | 74242 2 | 16911 | 6 270.75/270.84 c 267s | 16 | 262282 | 147452 | 74242 2 | 16911 | 6 272.86/272.95 c 270s | 16 | 264179 | 147952 | 74242 2 | 16912 | 6 275.06/275.18 c 272s | 16 | 264900 | 148652 | 74242 2 | 16912 | 6 277.35/277.41 c 274s | 16 | 265608 | 149352 | 74242 2 | 16912 | 6 279.36/279.48 c 276s | 16 | 266401 | 149952 | 74242 2 | 16912 | 6 281.65/281.79 c 278s | 16 | 266991 | 150552 | 74242 2 | 16912 | 6 283.65/283.79 c 280s | 16 | 267489 | 151052 | 74242 2 | 16912 | 6 285.75/285.81 c 282s | 16 | 267996 | 151552 | 74242 2 | 16912 | 6 287.85/287.93 c 285s | 16 | 268514 | 152052 | 74242 2 | 16912 | 6 289.95/290.09 c 287s | 16 | 269003 | 152552 | 74242 2 | 16912 | 6 292.15/292.23 c 289s | 16 | 269769 | 153052 | 74242 2 | 16912 | 6 294.45/294.55 c 291s | 16 | 270946 | 153552 | 74242 2 | 16912 | 6 296.95/297.06 c 294s | 16 | 272231 | 154052 | 74242 2 | 16912 | 6 299.15/299.30 c 296s | 16 | 273480 | 154452 | 74242 2 | 16912 | 6 301.35/301.47 c 298s | 16 | 273920 | 154852 | 74242 2 | 16912 | 6 303.94/304.01 c 301s | 16 | 274391 | 155352 | 74242 2 | 16912 | 6 306.04/306.16 c 303s | 16 | 274778 | 155752 | 74242 2 | 16912 | 6 308.14/308.24 c 305s | 16 | 275230 | 156152 | 74242 2 | 16912 | 6 310.24/310.31 c 307s | 16 | 275621 | 156552 | 74242 2 | 16912 | 6 312.34/312.49 c 309s | 16 | 276015 | 156952 | 74242 2 | 16912 | 6 314.54/314.65 c 311s | 16 | 276410 | 157352 | 74242 2 | 16912 | 6 316.75/316.88 c 313s | 16 | 276806 | 157752 | 74242 2 | 16912 | 6 319.05/319.16 c 316s | 16 | 277201 | 158152 | 74242 2 | 16912 | 6 321.34/321.46 c 318s | 16 | 277599 | 158552 | 74242 2 | 16912 | 6 323.64/323.76 c 320s | 16 | 277999 | 158952 | 74242 2 | 16912 | 6 326.04/326.12 c 323s | 16 | 278401 | 159352 | 74242 2 | 16912 | 6 328.24/328.37 c 325s | 16 | 279070 | 159752 | 74242 2 | 16912 | 6 330.34/330.43 c 327s | 16 | 279351 | 160052 | 74242 2 | 16912 | 6 332.44/332.51 c 329s | 16 | 279665 | 160352 | 74242 2 | 16912 | 6 334.45/334.59 c 331s | 16 | 279950 | 160652 | 74242 2 | 16912 | 6 336.74/336.86 c 333s | 16 | 280270 | 160952 | 74242 2 | 16912 | 6 338.93/339.03 c 336s | 16 | 280588 | 161252 | 74242 2 | 16912 | 6 341.13/341.27 c 338s | 16 | 280917 | 161552 | 74242 2 | 16912 | 6 343.64/343.74 c 340s | 16 | 281329 | 161952 | 74242 2 | 16912 | 6 346.24/346.31 c 343s | 16 | 281743 | 162352 | 74242 2 | 16912 | 6 348.64/348.76 c 345s | 16 | 282077 | 162752 | 74242 2 | 16912 | 6 351.24/351.30 c 348s | 16 | 282672 | 163152 | 74242 2 | 16912 | 6 353.24/353.31 c 350s | 16 | 282996 | 163452 | 74242 2 | 16912 | 6 355.53/355.60 c 352s | 16 | 283322 | 163752 | 74242 2 | 16912 | 6 357.54/357.63 c 354s | 16 | 283989 | 163952 | 74242 2 | 16912 | 6 359.93/360.09 c 357s | 16 | 284352 | 164252 | 74242 2 | 16912 | 6 362.84/363.00 c 360s | 16 | 284720 | 164652 | 74242 2 | 16912 | 6 365.54/365.66 c 362s | 16 | 285046 | 164952 | 74242 2 | 16912 | 6 367.64/367.76 c 364s | 16 | 285297 | 165252 | 74242 2 | 16912 | 6 370.14/370.24 c 367s | 16 | 286167 | 165552 | 74242 2 | 16912 | 6 372.84/373.00 c 370s | 16 | 286536 | 165852 | 74242 2 | 16912 | 6 375.43/375.51 c 372s | 16 | 286871 | 166252 | 74242 2 | 16912 | 6 378.13/378.23 c 375s | 16 | 287289 | 166652 | 74242 2 | 16912 | 6 380.33/380.47 c 377s | 16 | 287624 | 166952 | 74242 2 | 16912 | 6 382.84/382.98 c 380s | 16 | 287875 | 167252 | 74242 2 | 16912 | 6 384.94/385.10 c 382s | 16 | 288211 | 167552 | 74242 2 | 16912 | 6 387.24/387.31 c 384s | 16 | 288463 | 167852 | 74242 2 | 16912 | 6 389.23/389.39 c 386s | 16 | 288801 | 168152 | 74242 2 | 16912 | 6 391.83/391.99 c 389s | 16 | 289140 | 168452 | 74242 2 | 16912 | 6 394.03/394.15 c 391s | 16 | 289391 | 168752 | 74242 2 | 16912 | 6 396.63/396.72 c 393s | 16 | 289733 | 169052 | 74242 2 | 16912 | 6 398.93/399.02 c 396s | 16 | 289984 | 169352 | 74242 2 | 16912 | 6 401.44/401.55 c 398s | 16 | 290324 | 169652 | 74242 2 | 16912 | 6 403.93/404.08 c 401s | 16 | 290576 | 169952 | 74242 2 | 16912 | 6 406.42/406.51 c 403s | 16 | 290919 | 170252 | 74242 2 | 16912 | 6 409.02/409.17 c 406s | 16 | 291172 | 170552 | 74242 2 | 16912 | 6 411.53/411.61 c 408s | 16 | 291515 | 170852 | 74242 2 | 16912 | 6 414.33/414.46 c 411s | 16 | 291818 | 171152 | 74242 2 | 16912 | 6 417.33/417.40 c 414s | 16 | 292160 | 171452 | 74242 2 | 16912 | 6 419.43/419.54 c 416s | 16 | 292410 | 171752 | 74242 2 | 16912 | 6 422.23/422.30 c 419s | 16 | 292755 | 172052 | 74242 2 | 16912 | 6 424.53/424.63 c 421s | 16 | 293006 | 172352 | 74242 2 | 16912 | 6 427.52/427.60 c 424s | 16 | 293304 | 172652 | 74242 2 | 16912 | 6 430.62/430.72 c 427s | 16 | 293605 | 172952 | 74242 2 | 16912 | 6 433.62/433.73 c 430s | 16 | 293900 | 173252 | 74242 2 | 16912 | 6 436.33/436.48 c 433s | 16 | 294201 | 173552 | 74242 2 | 16912 | 6 439.13/439.27 c 436s | 16 | 294498 | 173852 | 74242 2 | 16912 | 6 441.92/442.09 c 439s | 16 | 294798 | 174152 | 74242 2 | 16912 | 6 444.82/444.97 c 442s | 16 | 295098 | 174452 | 74242 2 | 16912 | 6 447.73/447.87 c 444s | 16 | 295397 | 174752 | 74242 2 | 16912 | 6 450.72/450.80 c 447s | 16 | 295692 | 175052 | 74242 2 | 16912 | 6 452.92/453.00 c 450s | 16 | 295963 | 175252 | 74242 2 | 16912 | 6 455.22/455.39 c 452s | 16 | 296215 | 175552 | 74242 2 | 16912 | 6 458.32/458.43 c 455s | 16 | 296572 | 175852 | 74242 2 | 16912 | 6 460.32/460.49 c 457s | 16 | 296822 | 176152 | 74242 2 | 16912 | 6 462.92/463.08 c 460s | 16 | 297072 | 176452 | 74242 2 | 16912 | 6 465.52/465.65 c 462s | 16 | 297431 | 176752 | 74242 2 | 16912 | 6 468.21/468.34 c 465s | 16 | 297681 | 177052 | 74242 2 | 16912 | 6 470.61/470.75 c 467s | 16 | 298040 | 177352 | 74242 2 | 16912 | 6 473.11/473.27 c 470s | 16 | 298293 | 177652 | 74242 2 | 16912 | 6 475.13/475.29 c 472s | 16 | 298571 | 177852 | 74242 2 | 16912 | 6 477.62/477.73 c 474s | 16 | 298821 | 178152 | 74242 2 | 16912 | 6 480.52/480.66 c 477s | 16 | 299181 | 178452 | 74242 2 | 16912 | 6 482.82/482.99 c 480s | 16 | 299432 | 178752 | 74242 2 | 16912 | 6 485.61/485.75 c 482s | 16 | 299682 | 179052 | 74242 2 | 16912 | 6 488.42/488.58 c 485s | 16 | 300044 | 179352 | 74242 2 | 16912 | 6 491.21/491.36 c 488s | 16 | 300294 | 179652 | 74242 2 | 16912 | 6 494.01/494.18 c 491s | 16 | 300659 | 179952 | 74242 2 | 16912 | 6 496.71/496.85 c 493s | 16 | 300911 | 180252 | 74242 2 | 16912 | 6 499.81/499.98 c 497s | 16 | 301275 | 180552 | 74242 2 | 16912 | 6 501.81/501.99 c 499s | 16 | 301444 | 180752 | 74242 2 | 16912 | 6 504.61/504.74 c 501s | 16 | 301694 | 181052 | 74242 2 | 16912 | 6 507.32/507.49 c 504s | 16 | 302058 | 181352 | 74242 2 | 16912 | 6 510.02/510.12 c 507s | 16 | 302308 | 181652 | 74242 2 | 16912 | 6 512.42/512.53 c 509s | 16 | 302593 | 181852 | 74242 2 | 16912 | 6 515.01/515.10 c 512s | 16 | 302844 | 182152 | 74242 2 | 16912 | 6 517.81/517.99 c 515s | 16 | 303094 | 182452 | 74242 2 | 16912 | 6 520.71/520.83 c 517s | 16 | 303461 | 182752 | 74242 2 | 16912 | 6 523.41/523.52 c 520s | 16 | 303712 | 183052 | 74242 2 | 16912 | 6 526.01/526.10 c 523s | 16 | 303999 | 183252 | 74242 2 | 16912 | 6 528.61/528.73 c 525s | 16 | 304249 | 183552 | 74242 2 | 16912 | 6 531.51/531.68 c 528s | 16 | 304500 | 183852 | 74242 2 | 16912 | 6 533.60/533.72 c 530s | 16 | 304784 | 184052 | 74242 2 | 16912 | 6 536.30/536.43 c 533s | 16 | 305034 | 184352 | 74242 2 | 16912 | 6 538.30/538.48 c 535s | 16 | 305201 | 184552 | 74242 2 | 16912 | 6 540.80/540.92 c 537s | 16 | 305489 | 184752 | 74242 2 | 16912 | 6 543.71/543.84 c 540s | 16 | 305740 | 185052 | 74242 2 | 16912 | 6 545.81/545.90 c 542s | 16 | 305907 | 185252 | 74242 2 | 16912 | 6 548.01/548.13 c 545s | 16 | 306197 | 185452 | 74242 2 | 16912 | 6 550.81/550.96 c 548s | 16 | 306449 | 185752 | 74242 2 | 16912 | 6 552.91/553.03 c 550s | 16 | 306617 | 185952 | 74242 2 | 16912 | 6 555.70/555.87 c 552s | 16 | 306905 | 186152 | 74242 2 | 16912 | 6 558.40/558.58 c 555s | 16 | 307155 | 186452 | 74242 2 | 16912 | 6 561.40/561.58 c 558s | 16 | 307406 | 186752 | 74242 2 | 16912 | 6 563.90/564.00 c 561s | 16 | 308258 | 186952 | 74242 2 | 16912 | 6 566.11/566.25 c 563s | 16 | 308424 | 187152 | 74242 2 | 16912 | 6 568.41/568.59 c 565s | 16 | 308657 | 187352 | 74242 2 | 16912 | 6 570.81/570.92 c 567s | 16 | 308823 | 187552 | 74242 2 | 16912 | 6 573.11/573.24 c 570s | 16 | 309055 | 187752 | 74242 2 | 16912 | 6 575.51/575.64 c 572s | 16 | 309222 | 187952 | 74242 2 | 16912 | 6 577.91/578.00 c 575s | 16 | 309455 | 188152 | 74242 2 | 16912 | 6 580.30/580.41 c 577s | 16 | 309621 | 188352 | 74242 2 | 16912 | 6 582.70/582.81 c 579s | 16 | 309851 | 188552 | 74242 2 | 16912 | 6 585.11/585.25 c 582s | 16 | 310018 | 188752 | 74242 2 | 16912 | 6 587.60/587.72 c 584s | 16 | 310250 | 188952 | 74242 2 | 16912 | 6 590.10/590.20 c 587s | 16 | 310419 | 189152 | 74242 2 | 16912 | 6 592.50/592.69 c 589s | 16 | 310649 | 189352 | 74242 2 | 16912 | 6 595.01/595.18 c 592s | 16 | 310818 | 189552 | 74242 2 | 16912 | 6 597.60/597.75 c 594s | 16 | 311050 | 189752 | 74242 2 | 16912 | 6 600.09/600.25 c 597s | 16 | 311217 | 189952 | 74242 2 | 16912 | 6 602.70/602.89 c 599s | 16 | 311448 | 190152 | 74242 2 | 16912 | 6 605.60/605.77 c 602s | 16 | 311615 | 190352 | 74242 2 | 16912 | 6 608.30/608.40 c 605s | 16 | 311848 | 190552 | 74242 2 | 16912 | 6 610.70/610.83 c 607s | 16 | 312014 | 190752 | 74242 2 | 16912 | 6 613.40/613.53 c 610s | 16 | 312245 | 190952 | 74242 2 | 16912 | 6 615.79/615.98 c 613s | 16 | 312412 | 191152 | 74242 2 | 16912 | 6 618.59/618.76 c 615s | 16 | 312645 | 191352 | 74242 2 | 16912 | 6 621.09/621.22 c 618s | 16 | 312812 | 191552 | 74242 2 | 16912 | 6 623.49/623.62 c 620s | 16 | 313112 | 191752 | 74242 2 | 16912 | 6 625.59/625.78 c 622s | 16 | 313279 | 191952 | 74242 2 | 16912 | 6 627.69/627.84 c 624s | 16 | 313362 | 192052 | 74242 3 | 16912 | 6 629.89/630.04 c 627s | 16 | 313529 | 192252 | 74242 3 | 16912 | 6 632.39/632.58 c 629s | 16 | 313763 | 192452 | 74242 3 | 16912 | 6 635.20/635.37 c 632s | 16 | 313930 | 192652 | 74242 3 | 16912 | 6 637.90/638.09 c 635s | 16 | 314165 | 192852 | 74242 3 | 16912 | 6 640.69/640.87 c 637s | 16 | 314332 | 193052 | 74242 3 | 16912 | 6 643.40/643.56 c 640s | 16 | 314566 | 193252 | 74242 3 | 16912 | 6 646.19/646.39 c 643s | 16 | 314735 | 193452 | 74242 3 | 16912 | 6 649.09/649.28 c 646s | 16 | 315042 | 193652 | 74242 3 | 16912 | 6 651.29/651.43 c 648s | 16 | 315210 | 193852 | 74242 3 | 16912 | 6 653.89/654.06 c 651s | 16 | 315376 | 194052 | 74242 3 | 16912 | 6 655.99/656.15 c 653s | 16 | 315543 | 194252 | 74242 3 | 16912 | 6 658.39/658.58 c 655s | 16 | 315777 | 194452 | 74242 3 | 16912 | 6 661.28/661.43 c 658s | 16 | 315944 | 194652 | 74242 3 | 16912 | 6 663.88/664.05 c 661s | 16 | 316177 | 194852 | 74242 3 | 16912 | 6 666.78/666.91 c 663s | 16 | 316344 | 195052 | 74242 3 | 16912 | 6 669.38/669.52 c 666s | 16 | 316576 | 195252 | 74242 3 | 16912 | 6 672.29/672.41 c 669s | 16 | 316743 | 195452 | 74242 3 | 16912 | 6 675.49/675.64 c 672s | 16 | 317053 | 195652 | 74242 3 | 16912 | 6 677.69/677.86 c 674s | 16 | 317221 | 195852 | 74242 3 | 16912 | 6 679.99/680.19 c 677s | 16 | 317388 | 196052 | 74242 3 | 16912 | 6 682.19/682.36 c 679s | 16 | 317555 | 196252 | 81667 3 | 16912 | 6 684.58/684.71 c 681s | 16 | 317722 | 196452 | 81667 3 | 16912 | 6 687.58/687.72 c 684s | 16 | 317957 | 196652 | 81667 3 | 16912 | 6 690.18/690.38 c 687s | 16 | 318124 | 196852 | 81667 3 | 16912 | 6 693.28/693.40 c 690s | 16 | 318438 | 197052 | 81667 3 | 16912 | 6 695.58/695.70 c 692s | 16 | 318605 | 197252 | 81667 3 | 16912 | 6 697.68/697.83 c 694s | 17 | 318755 | 197432 | 81667 3 | 16912 | 6 700.58/700.71 c 697s | 17 | 319430 | 197532 | 81667 3 | 16912 | 6 702.58/702.77 c 699s | 17 | 322204 | 199332 | 81667 3 | 16912 | 6 704.58/704.78 c 701s | 17 | 324527 | 201332 | 81667 3 | 16912 | 6 706.68/706.84 c 703s | 17 | 326904 | 203232 | 81667 3 | 16912 | 6 708.68/708.87 c 705s | 17 | 329133 | 204932 | 81667 3 | 16912 | 6 710.78/710.91 c 707s | 17 | 331286 | 206732 | 81667 3 | 16912 | 6 712.78/712.98 c 710s | 17 | 333266 | 208232 | 81667 3 | 16912 | 6 714.98/715.12 c 712s | 17 | 335148 | 209732 | 81667 3 | 16912 | 6 716.98/717.15 c 714s | 17 | 336899 | 211032 | 81667 3 | 16912 | 6 718.97/719.17 c 716s | 17 | 338530 | 212332 | 81667 3 | 16912 | 6 721.07/721.27 c 718s | 17 | 340497 | 213632 | 81667 3 | 16912 | 6 723.27/723.40 c 720s | 17 | 342375 | 214932 | 81667 3 | 16912 | 6 725.27/725.49 c 722s | 17 | 344165 | 216132 | 81667 3 | 16912 | 6 727.47/727.60 c 724s | 17 | 345938 | 217332 | 81667 3 | 16912 | 6 729.57/729.71 c 726s | 17 | 347625 | 218532 | 81667 3 | 16912 | 6 731.67/731.86 c 728s | 17 | 349284 | 219732 | 81667 3 | 16912 | 6 733.77/733.91 c 730s | 17 | 350872 | 220932 | 81667 3 | 16912 | 6 735.88/736.04 c 733s | 17 | 352079 | 222032 | 81667 3 | 16912 | 6 737.87/738.07 c 735s | 17 | 353065 | 222932 | 81667 3 | 16912 | 6 739.97/740.13 c 737s | 17 | 354322 | 223932 | 81667 3 | 16912 | 6 742.07/742.26 c 739s | 17 | 355568 | 224932 | 81667 3 | 16912 | 6 744.07/744.29 c 741s | 17 | 356610 | 225832 | 81667 3 | 16912 | 6 746.17/746.37 c 743s | 17 | 357836 | 226932 | 81667 3 | 16912 | 6 748.27/748.43 c 745s | 17 | 359115 | 227832 | 81667 3 | 16912 | 6 750.37/750.58 c 747s | 17 | 360240 | 228732 | 81667 3 | 16912 | 6 752.47/752.68 c 749s | 17 | 361448 | 229632 | 81667 3 | 16912 | 6 754.58/754.78 c 751s | 17 | 362883 | 230532 | 81667 3 | 16912 | 6 756.68/756.84 c 753s | 17 | 364036 | 231432 | 81667 3 | 16912 | 6 758.87/759.04 c 756s | 17 | 365079 | 232332 | 81667 3 | 16912 | 6 760.97/761.10 c 758s | 17 | 366292 | 233232 | 81667 3 | 16912 | 6 763.17/763.36 c 760s | 17 | 367605 | 234132 | 81667 3 | 16912 | 6 765.27/765.42 c 762s | 17 | 368574 | 234932 | 81667 3 | 16912 | 6 767.37/767.52 c 764s | 17 | 369562 | 235732 | 81667 3 | 16912 | 6 769.57/769.75 c 766s | 17 | 370678 | 236532 | 81667 3 | 16912 | 6 771.77/771.96 c 769s | 17 | 371860 | 237432 | 81667 3 | 16912 | 6 773.77/773.98 c 771s | 17 | 372869 | 238232 | 81667 3 | 16912 | 6 775.97/776.17 c 773s | 17 | 373848 | 239032 | 81667 3 | 16912 | 6 778.17/778.39 c 775s | 17 | 374795 | 239832 | 81667 3 | 16912 | 6 780.27/780.46 c 777s | 17 | 375594 | 240532 | 81667 3 | 16912 | 6 782.37/782.51 c 779s | 17 | 376475 | 241232 | 81667 3 | 16912 | 6 784.57/784.77 c 781s | 17 | 377595 | 242032 | 81667 3 | 16912 | 6 786.87/787.03 c 784s | 17 | 378411 | 242732 | 81667 3 | 16912 | 6 788.97/789.11 c 786s | 17 | 379487 | 243432 | 81667 3 | 16912 | 6 791.27/791.40 c 788s | 17 | 380687 | 244232 | 81667 3 | 16912 | 6 795.87/796.05 c 793s | 17 | 381310 | 244632 | 81667 4 | 16912 | 6 797.97/798.15 c 795s | 17 | 382304 | 245432 | 81667 4 | 16912 | 6 800.27/800.42 c 797s | 17 | 383278 | 246232 | 81667 4 | 16912 | 6 802.57/802.72 c 799s | 17 | 384057 | 246932 | 81667 4 | 16912 | 6 804.57/804.77 c 801s | 17 | 384784 | 247532 | 81667 4 | 16912 | 6 806.87/807.05 c 804s | 17 | 385640 | 248232 | 81667 4 | 16912 | 6 809.07/809.21 c 806s | 17 | 386388 | 248832 | 81667 4 | 16912 | 6 811.27/811.41 c 808s | 17 | 387210 | 249532 | 81667 4 | 16912 | 6 813.47/813.62 c 810s | 17 | 388090 | 250232 | 81667 4 | 16912 | 6 815.77/815.90 c 812s | 17 | 389031 | 250932 | 81667 4 | 16912 | 6 817.97/818.11 c 815s | 17 | 389953 | 251632 | 81667 4 | 16912 | 6 820.27/820.47 c 817s | 17 | 390710 | 252232 | 81667 4 | 16912 | 6 822.57/822.78 c 819s | 17 | 391550 | 252932 | 81667 4 | 16912 | 6 824.87/825.10 c 822s | 17 | 392422 | 253632 | 81667 4 | 16912 | 6 826.96/827.18 c 824s | 17 | 393187 | 254232 | 81667 4 | 16912 | 6 829.16/829.37 c 826s | 17 | 394097 | 254932 | 81667 4 | 16912 | 6 831.47/831.65 c 828s | 17 | 395023 | 255632 | 81667 4 | 16912 | 6 833.67/833.89 c 830s | 17 | 395945 | 256332 | 81667 4 | 16912 | 6 835.97/836.14 c 833s | 17 | 397048 | 257232 | 81667 4 | 16912 | 6 837.96/838.17 c 835s | 17 | 397753 | 257832 | 81667 4 | 16912 | 6 840.06/840.26 c 837s | 17 | 398376 | 258332 | 81667 4 | 16912 | 6 842.06/842.29 c 839s | 17 | 399080 | 258932 | 81667 4 | 16912 | 6 844.36/844.56 c 841s | 17 | 399966 | 259632 | 81667 4 | 16912 | 6 846.66/846.89 c 843s | 17 | 400883 | 260332 | 81667 4 | 16912 | 6 848.66/848.89 c 845s | 17 | 401611 | 260932 | 81667 4 | 16912 | 6 850.96/851.14 c 848s | 17 | 402462 | 261632 | 81667 4 | 16912 | 6 853.16/853.35 c 850s | 17 | 403321 | 262332 | 81667 4 | 16912 | 6 855.56/855.70 c 852s | 17 | 404003 | 262932 | 81667 4 | 16912 | 6 857.87/858.03 c 855s | 17 | 404672 | 263532 | 81667 4 | 16912 | 6 860.17/860.33 c 857s | 17 | 405408 | 264132 | 81667 4 | 16912 | 6 862.27/862.44 c 859s | 17 | 406011 | 264632 | 81667 4 | 16912 | 6 864.57/864.70 c 861s | 17 | 406714 | 265232 | 81667 4 | 16912 | 6 866.67/866.82 c 863s | 17 | 407364 | 265732 | 81667 4 | 16912 | 6 868.87/869.06 c 866s | 17 | 408061 | 266332 | 81667 4 | 16912 | 6 871.06/871.27 c 868s | 17 | 408627 | 266832 | 81667 4 | 16912 | 6 873.36/873.55 c 870s | 17 | 409344 | 267332 | 81667 4 | 16912 | 6 875.46/875.68 c 872s | 17 | 410030 | 267832 | 81667 4 | 16912 | 6 877.76/877.97 c 875s | 17 | 410924 | 268432 | 81667 4 | 16912 | 6 879.96/880.18 c 877s | 17 | 411695 | 269032 | 81667 4 | 16912 | 6 882.06/882.27 c 879s | 17 | 412502 | 269532 | 81667 4 | 16912 | 6 884.46/884.64 c 881s | 17 | 413214 | 270132 | 81667 4 | 16912 | 6 886.56/886.78 c 883s | 17 | 413881 | 270632 | 81667 4 | 16912 | 6 888.66/888.89 c 885s | 17 | 414536 | 271132 | 81667 4 | 16912 | 6 890.75/890.99 c 888s | 17 | 415133 | 271632 | 81667 4 | 16912 | 6 893.06/893.27 c 890s | 17 | 415957 | 272232 | 81667 4 | 16912 | 6 895.15/895.38 c 892s | 17 | 416688 | 272832 | 81667 4 | 16912 | 6 897.35/897.57 c 894s | 17 | 417494 | 273532 | 81667 4 | 16912 | 6 899.66/899.87 c 896s | 17 | 418254 | 274132 | 81667 4 | 16912 | 6 901.96/902.14 c 899s | 17 | 418957 | 274732 | 81667 4 | 16912 | 6 904.06/904.30 c 901s | 17 | 419603 | 275232 | 81667 4 | 16912 | 6 906.15/906.38 c 903s | 17 | 420240 | 275732 | 81667 4 | 16912 | 6 908.45/908.66 c 905s | 17 | 420932 | 276232 | 81667 4 | 16912 | 6 910.44/910.69 c 907s | 17 | 421511 | 276732 | 81667 4 | 16912 | 6 912.54/912.78 c 909s | 17 | 422098 | 277232 | 81667 4 | 16912 | 6 914.74/914.91 c 911s | 17 | 422679 | 277632 | 81667 4 | 16912 | 6 916.84/917.00 c 914s | 17 | 423176 | 278032 | 81667 4 | 16912 | 6 918.84/919.02 c 916s | 17 | 423528 | 278332 | 81667 4 | 16912 | 6 921.24/921.47 c 918s | 17 | 424093 | 278832 | 81667 4 | 16912 | 6 923.64/923.89 c 920s | 17 | 424715 | 279332 | 81667 4 | 16912 | 6 925.74/925.90 c 922s | 17 | 425149 | 279732 | 81667 4 | 16912 | 6 927.93/928.13 c 925s | 17 | 425597 | 280132 | 81667 4 | 16912 | 6 930.44/930.64 c 927s | 17 | 426180 | 280632 | 81667 4 | 16912 | 6 932.93/933.17 c 930s | 17 | 426770 | 281132 | 81667 4 | 16912 | 6 935.43/935.67 c 932s | 17 | 427306 | 281632 | 81667 4 | 16912 | 6 937.63/937.89 c 934s | 17 | 427802 | 282032 | 81667 4 | 16912 | 6 939.73/939.92 c 936s | 17 | 428229 | 282432 | 81667 4 | 16912 | 6 941.73/941.96 c 939s | 17 | 428763 | 282832 | 81667 4 | 16912 | 6 943.83/944.07 c 941s | 17 | 429192 | 283232 | 81667 4 | 16912 | 6 946.23/946.44 c 943s | 17 | 429609 | 283632 | 81667 4 | 16912 | 6 948.83/949.05 c 946s | 17 | 430017 | 284032 | 81667 4 | 16912 | 6 951.02/951.25 c 948s | 17 | 430611 | 284432 | 81667 4 | 16912 | 6 953.63/953.86 c 950s | 17 | 431321 | 284932 | 81667 4 | 16912 | 6 955.92/956.14 c 953s | 17 | 431903 | 285332 | 81667 4 | 16912 | 6 958.03/958.24 c 955s | 17 | 432404 | 285732 | 81667 4 | 16912 | 6 960.13/960.32 c 957s | 17 | 432987 | 286232 | 81667 4 | 16912 | 6 962.23/962.49 c 959s | 17 | 433568 | 286732 | 81667 4 | 16912 | 6 964.53/964.77 c 961s | 17 | 434206 | 287232 | 81667 4 | 16912 | 6 966.63/966.86 c 963s | 17 | 434713 | 287632 | 81667 4 | 16912 | 6 968.93/969.20 c 966s | 17 | 435444 | 288232 | 81667 4 | 16912 | 6 971.32/971.50 c 968s | 17 | 436250 | 288832 | 81667 4 | 16912 | 6 973.43/973.62 c 970s | 17 | 437059 | 289432 | 81667 4 | 16912 | 6 975.42/975.69 c 972s | 17 | 437710 | 289932 | 81667 4 | 16912 | 6 977.92/978.11 c 975s | 17 | 438444 | 290532 | 81667 4 | 16912 | 6 980.03/980.23 c 977s | 17 | 439146 | 291132 | 81667 4 | 16912 | 6 982.42/982.63 c 979s | 17 | 439834 | 291732 | 81667 4 | 16912 | 6 984.62/984.87 c 981s | 17 | 440637 | 292332 | 81667 4 | 16912 | 6 986.92/987.12 c 984s | 17 | 441392 | 292932 | 81667 4 | 16912 | 6 989.02/989.23 c 986s | 17 | 441987 | 293432 | 81667 4 | 16912 | 6 991.03/991.26 c 988s | 17 | 442555 | 293932 | 81667 4 | 16912 | 6 993.23/993.44 c 990s | 17 | 443196 | 294432 | 89834 4 | 16912 | 6 995.32/995.51 c 992s | 17 | 443841 | 294932 | 89834 4 | 16912 | 6 997.62/997.83 c 994s | 17 | 444526 | 295432 | 89834 4 | 16912 | 6 999.62/999.87 c 996s | 17 | 445165 | 295932 | 89834 4 | 16912 | 6 1000.82/1001.10 c 998s | 18 | 445603 | 296252 | 89834 4 | 16912 | 6 1004.71/1004.95 c 1002s | 18 | 445816 | 296352 | 89834 4 | 16912 | 6 1007.01/1007.29 c 1004s | 18 | 446421 | 296652 | 89834 4 | 16912 | 6 1009.31/1009.53 c 1006s | 18 | 447283 | 297152 | 89834 4 | 16912 | 6 1011.41/1011.62 c 1008s | 18 | 447853 | 297652 | 89834 4 | 16912 | 6 1013.51/1013.72 c 1010s | 18 | 448385 | 298052 | 89834 4 | 16912 | 6 1015.81/1016.06 c 1013s | 18 | 449087 | 298652 | 89834 4 | 16912 | 6 1018.71/1018.96 c 1016s | 18 | 449772 | 299152 | 89834 4 | 16912 | 6 1021.11/1021.30 c 1018s | 18 | 450062 | 299352 | 89834 4 | 16912 | 6 1023.21/1023.44 c 1020s | 18 | 450739 | 299852 | 89834 4 | 16912 | 6 1025.31/1025.59 c 1022s | 18 | 451373 | 300352 | 89834 4 | 16912 | 6 1027.80/1028.00 c 1025s | 18 | 452032 | 300852 | 89834 4 | 16912 | 6 1030.30/1030.55 c 1027s | 18 | 452592 | 301252 | 89834 4 | 16912 | 6 1041.29/1041.59 c 1038s | 18 | 453035 | 301652 | 89834 5 | 16912 | 6 1044.20/1044.49 c 1041s | 18 | 453428 | 301852 | 89834 5 | 16912 | 6 1046.30/1046.57 c 1043s | 18 | 455077 | 303052 | 89834 5 | 16912 | 6 1048.49/1048.71 c 1045s | 18 | 456380 | 303952 | 89834 5 | 16912 | 6 1050.59/1050.84 c 1047s | 18 | 457650 | 304952 | 89834 5 | 16912 | 6 1052.89/1053.10 c 1050s | 18 | 459172 | 306052 | 89834 5 | 16912 | 6 1063.99/1064.23 c 1061s | 18 | 459726 | 306552 | 89834 5 | 16912 | 6 1070.69/1070.95 c 1068s | 18 | 460123 | 306852 | 89834 5 | 16912 | 6 1080.69/1080.93 c 1077s | 18 | 460891 | 307452 | 89834 5 | 16912 | 6 1082.89/1083.15 c 1080s | 18 | 461804 | 308352 | 89834 5 | 16912 | 6 1085.09/1085.38 c 1082s | 18 | 462703 | 309252 | 89834 5 | 16912 | 6 1087.29/1087.51 c 1084s | 18 | 463704 | 310252 | 89834 5 | 16912 | 6 1089.29/1089.58 c 1086s | 18 | 464506 | 311052 | 89834 5 | 16912 | 6 1091.59/1091.85 c 1088s | 18 | 465313 | 311852 | 89834 5 | 16912 | 6 1093.69/1093.91 c 1090s | 18 | 466214 | 312752 | 89834 5 | 16912 | 6 1095.69/1095.94 c 1093s | 18 | 467113 | 313652 | 89834 5 | 16912 | 6 1097.89/1098.14 c 1095s | 18 | 468016 | 314552 | 89834 5 | 16912 | 6 1099.99/1100.26 c 1097s | 18 | 469020 | 315552 | 89834 5 | 16912 | 6 1102.09/1102.37 c 1099s | 18 | 469822 | 316352 | 89834 5 | 16912 | 6 1104.29/1104.52 c 1101s | 18 | 470718 | 317252 | 89834 5 | 16912 | 6 1106.29/1106.57 c 1103s | 18 | 471519 | 318052 | 89834 5 | 16912 | 6 1108.38/1108.60 c 1105s | 18 | 472218 | 318752 | 89834 5 | 16912 | 6 1110.38/1110.68 c 1107s | 18 | 473234 | 319752 | 89834 5 | 16912 | 6 1112.58/1112.81 c 1109s | 18 | 474237 | 320752 | 89834 5 | 16912 | 6 1114.78/1115.03 c 1112s | 18 | 475136 | 321652 | 89834 5 | 16912 | 6 1116.88/1117.16 c 1114s | 18 | 475941 | 322452 | 89834 5 | 16912 | 6 1119.08/1119.34 c 1116s | 18 | 476742 | 323252 | 89834 5 | 16912 | 6 1121.38/1121.60 c 1118s | 18 | 477648 | 324152 | 89834 5 | 16912 | 6 1123.48/1123.75 c 1120s | 18 | 478449 | 324952 | 89834 5 | 16912 | 6 1125.48/1125.79 c 1122s | 18 | 479152 | 325652 | 89834 5 | 16912 | 6 1127.68/1127.90 c 1124s | 18 | 479951 | 326452 | 89834 5 | 16912 | 6 1129.67/1129.99 c 1127s | 18 | 480657 | 327152 | 89834 5 | 16912 | 6 1131.97/1132.23 c 1129s | 18 | 481461 | 327952 | 89834 5 | 16912 | 6 1134.07/1134.32 c 1131s | 18 | 482170 | 328652 | 89834 5 | 16912 | 6 1136.37/1136.61 c 1133s | 18 | 482868 | 329352 | 89834 5 | 16912 | 6 1138.57/1138.81 c 1135s | 18 | 483467 | 329952 | 89834 5 | 16912 | 6 1140.58/1140.84 c 1137s | 18 | 484073 | 330552 | 89834 5 | 16912 | 6 1142.87/1143.10 c 1140s | 18 | 484671 | 331152 | 89834 5 | 16912 | 6 1145.07/1145.39 c 1142s | 18 | 485175 | 331652 | 89834 5 | 16912 | 6 1147.37/1147.62 c 1144s | 18 | 485781 | 332252 | 89834 5 | 16912 | 6 1149.57/1149.80 c 1146s | 18 | 486285 | 332752 | 89834 5 | 16912 | 6 1151.57/1151.84 c 1148s | 18 | 486883 | 333352 | 89834 5 | 16912 | 6 1153.67/1153.91 c 1150s | 18 | 487484 | 333952 | 89834 5 | 16912 | 6 1155.87/1156.15 c 1153s | 18 | 487990 | 334452 | 89834 5 | 16912 | 6 1157.96/1158.25 c 1155s | 18 | 488487 | 334952 | 89834 5 | 16912 | 6 1160.06/1160.32 c 1157s | 18 | 488994 | 335452 | 89834 5 | 16912 | 6 1162.06/1162.34 c 1159s | 18 | 489491 | 335952 | 89834 5 | 16912 | 6 1164.26/1164.56 c 1161s | 18 | 489993 | 336452 | 89834 5 | 16912 | 6 1166.26/1166.58 c 1163s | 18 | 490494 | 336952 | 89834 5 | 16912 | 6 1168.35/1168.68 c 1165s | 18 | 490999 | 337452 | 89834 5 | 16912 | 6 1170.65/1170.97 c 1168s | 18 | 491500 | 337952 | 89834 5 | 16912 | 6 1172.75/1173.07 c 1170s | 18 | 492004 | 338452 | 89834 5 | 16912 | 6 1174.95/1175.22 c 1172s | 18 | 492506 | 338952 | 89834 5 | 16912 | 6 1177.15/1177.41 c 1174s | 18 | 493005 | 339452 | 89834 5 | 16912 | 6 1179.15/1179.43 c 1176s | 18 | 493503 | 339952 | 89834 5 | 16912 | 6 1181.35/1181.64 c 1178s | 18 | 494012 | 340452 | 89834 5 | 16912 | 6 1183.65/1183.90 c 1180s | 18 | 494710 | 341152 | 89834 5 | 16912 | 6 1196.04/1196.33 c 1193s | 18 | 494813 | 341252 | 89834 5 | 16912 | 6 1198.14/1198.43 c 1195s | 18 | 495215 | 341652 | 89834 5 | 16912 | 6 1200.24/1200.50 c 1197s | 18 | 495715 | 342152 | 89834 5 | 16912 | 6 1202.24/1202.59 c 1199s | 18 | 496217 | 342652 | 89834 5 | 16912 | 6 1204.35/1204.67 c 1201s | 18 | 496721 | 343152 | 89834 5 | 16912 | 6 1206.64/1206.95 c 1204s | 18 | 497319 | 343752 | 89834 5 | 16912 | 6 1208.94/1209.21 c 1206s | 18 | 497813 | 344252 | 89834 5 | 16912 | 6 1211.04/1211.39 c 1208s | 18 | 498331 | 344752 | 89834 5 | 16912 | 6 1213.34/1213.61 c 1210s | 18 | 498833 | 345252 | 89834 5 | 16912 | 6 1215.74/1216.04 c 1213s | 18 | 499334 | 345752 | 89834 5 | 16912 | 6 1217.74/1218.06 c 1215s | 18 | 499836 | 346252 | 89834 5 | 16912 | 6 1219.84/1220.18 c 1217s | 18 | 500338 | 346752 | 89834 5 | 16912 | 6 1222.04/1222.36 c 1219s | 18 | 500844 | 347252 | 89834 5 | 16912 | 6 1224.04/1224.39 c 1221s | 18 | 501346 | 347752 | 89834 5 | 16912 | 6 1226.43/1226.70 c 1223s | 18 | 501946 | 348352 | 89834 5 | 16912 | 6 1228.73/1229.05 c 1226s | 18 | 502546 | 348952 | 89834 5 | 16912 | 6 1230.93/1231.25 c 1228s | 18 | 503047 | 349452 | 89834 5 | 16912 | 6 1233.33/1233.69 c 1230s | 18 | 503650 | 350052 | 89834 5 | 16912 | 6 1235.63/1235.99 c 1233s | 18 | 504258 | 350652 | 89834 5 | 16912 | 6 1237.93/1238.20 c 1235s | 18 | 504757 | 351152 | 89834 5 | 16912 | 6 1240.03/1240.34 c 1237s | 18 | 505259 | 351652 | 89834 5 | 16912 | 6 1242.23/1242.59 c 1239s | 18 | 505761 | 352152 | 89834 5 | 16912 | 6 1244.73/1245.07 c 1242s | 18 | 506261 | 352652 | 89834 5 | 16912 | 6 1246.83/1247.18 c 1244s | 18 | 506663 | 353052 | 89834 5 | 16912 | 6 1248.93/1249.27 c 1246s | 18 | 507066 | 353452 | 89834 5 | 16912 | 6 1251.03/1251.30 c 1248s | 18 | 507564 | 353952 | 89834 5 | 16912 | 6 1253.23/1253.52 c 1250s | 18 | 508063 | 354452 | 89834 5 | 16912 | 6 1258.63/1258.91 c 1255s | 18 | 508667 | 355052 | 89834 6 | 16912 | 6 1260.72/1261.07 c 1258s | 18 | 508967 | 355352 | 89834 6 | 16912 | 6 1262.72/1263.08 c 1260s | 18 | 509267 | 355652 | 89834 6 | 16912 | 6 1265.02/1265.35 c 1262s | 18 | 509868 | 356252 | 89834 6 | 16912 | 6 1270.13/1270.42 c 1267s | 18 | 510067 | 356452 | 89834 6 | 16912 | 6 1272.23/1272.59 c 1269s | 18 | 510565 | 356952 | 89834 6 | 16912 | 6 1274.53/1274.80 c 1271s | 18 | 511072 | 357452 | 89834 6 | 16912 | 6 1276.73/1277.02 c 1274s | 18 | 511571 | 357952 | 89834 6 | 16912 | 6 1278.93/1279.28 c 1276s | 18 | 512171 | 358552 | 89834 6 | 16912 | 6 1281.23/1281.52 c 1278s | 18 | 512771 | 359152 | 89834 6 | 16912 | 6 1283.43/1283.73 c 1280s | 18 | 513574 | 359952 | 89834 6 | 16912 | 6 1285.82/1286.11 c 1283s | 18 | 514179 | 360552 | 89834 6 | 16912 | 6 1287.83/1288.16 c 1285s | 18 | 514780 | 361152 | 89834 6 | 16912 | 6 1290.03/1290.34 c 1287s | 18 | 515478 | 361852 | 89834 6 | 16912 | 6 1292.12/1292.45 c 1289s | 18 | 516182 | 362552 | 89834 6 | 16912 | 6 1294.43/1294.71 c 1291s | 18 | 516980 | 363352 | 89834 6 | 16912 | 6 1296.63/1296.93 c 1293s | 18 | 517684 | 364052 | 89834 6 | 16912 | 6 1298.93/1299.25 c 1296s | 18 | 518285 | 364652 | 89834 6 | 16912 | 6 1301.03/1301.39 c 1298s | 18 | 518885 | 365252 | 89834 6 | 16912 | 6 1303.12/1303.44 c 1300s | 18 | 519483 | 365852 | 89834 6 | 16912 | 6 1305.12/1305.45 c 1302s | 18 | 520088 | 366452 | 89834 6 | 16912 | 6 1307.22/1307.52 c 1304s | 18 | 520794 | 367152 | 89834 6 | 16912 | 6 1309.22/1309.56 c 1306s | 18 | 521491 | 367852 | 89834 6 | 16912 | 6 1311.91/1312.26 c 1309s | 18 | 522195 | 368552 | 89834 6 | 16912 | 6 1314.11/1314.42 c 1311s | 18 | 522696 | 369052 | 89834 6 | 16912 | 6 1316.31/1316.61 c 1313s | 18 | 523204 | 369552 | 89834 6 | 16912 | 6 1318.41/1318.76 c 1315s | 18 | 523699 | 370052 | 89834 6 | 16912 | 6 1320.71/1321.07 c 1318s | 18 | 524508 | 370852 | 89834 6 | 16912 | 6 1322.91/1323.25 c 1320s | 18 | 525211 | 371552 | 89834 6 | 16912 | 6 1325.11/1325.43 c 1322s | 18 | 526012 | 372352 | 89834 6 | 16912 | 6 1327.41/1327.80 c 1324s | 18 | 526514 | 372852 | 89834 6 | 16912 | 6 1329.61/1329.90 c 1326s | 18 | 526913 | 373252 | 89834 6 | 16912 | 6 1331.71/1332.03 c 1329s | 18 | 527317 | 373652 | 89834 6 | 16912 | 6 1333.91/1334.26 c 1331s | 18 | 527720 | 374052 | 89834 6 | 16912 | 6 1336.21/1336.58 c 1333s | 18 | 528220 | 374552 | 89834 6 | 16912 | 6 1338.30/1338.68 c 1335s | 18 | 528718 | 375052 | 89834 6 | 16912 | 6 1340.40/1340.77 c 1337s | 18 | 529426 | 375752 | 89834 6 | 16912 | 6 1342.60/1342.91 c 1339s | 18 | 530123 | 376452 | 89834 6 | 16912 | 6 1344.90/1345.27 c 1342s | 18 | 530531 | 376852 | 89834 6 | 16912 | 6 1347.10/1347.47 c 1344s | 18 | 531031 | 377352 | 89834 6 | 16912 | 6 1349.20/1349.59 c 1346s | 18 | 531531 | 377852 | 89834 6 | 16912 | 6 1351.60/1351.97 c 1349s | 18 | 532031 | 378352 | 89834 6 | 16912 | 6 1353.70/1354.03 c 1351s | 18 | 532537 | 378852 | 89834 6 | 16912 | 6 1355.90/1356.22 c 1353s | 18 | 533137 | 379452 | 89834 6 | 16912 | 6 1357.90/1358.25 c 1355s | 18 | 533640 | 379952 | 89834 6 | 16912 | 6 1360.09/1360.48 c 1357s | 18 | 534143 | 380452 | 89834 6 | 16912 | 6 1362.29/1362.63 c 1359s | 18 | 534545 | 380852 | 89834 6 | 16912 | 6 1364.29/1364.65 c 1361s | 18 | 534943 | 381252 | 89834 6 | 16912 | 6 1366.59/1366.91 c 1363s | 18 | 535347 | 381652 | 89834 6 | 16912 | 6 1368.69/1369.08 c 1366s | 18 | 535748 | 382052 | 89834 6 | 16912 | 6 1370.89/1371.23 c 1368s | 18 | 536147 | 382452 | 89834 6 | 16912 | 6 1373.09/1373.49 c 1370s | 18 | 536550 | 382852 | 89834 6 | 16912 | 6 1375.39/1375.78 c 1372s | 18 | 537052 | 383352 | 89834 6 | 16912 | 6 1377.59/1377.92 c 1374s | 18 | 537655 | 383952 | 89834 6 | 16912 | 6 1379.69/1380.06 c 1377s | 18 | 538155 | 384452 | 89834 6 | 16912 | 6 1382.09/1382.45 c 1379s | 18 | 538557 | 384852 | 89834 6 | 16912 | 6 1384.59/1384.97 c 1382s | 18 | 538961 | 385252 | 89834 6 | 16912 | 6 1386.68/1387.07 c 1384s | 18 | 539362 | 385652 | 89834 6 | 16912 | 6 1388.98/1389.38 c 1386s | 18 | 539765 | 386052 | 89834 6 | 16912 | 6 1391.38/1391.70 c 1388s | 18 | 540167 | 386452 | 89834 6 | 16912 | 6 1393.48/1393.80 c 1390s | 18 | 540464 | 386752 | 89834 6 | 16912 | 6 1395.48/1395.89 c 1392s | 18 | 540864 | 387152 | 89834 6 | 16912 | 6 1397.78/1398.20 c 1395s | 18 | 541467 | 387752 | 89834 6 | 16912 | 6 1400.08/1400.42 c 1397s | 18 | 542066 | 388352 | 89834 6 | 16912 | 6 1402.67/1403.03 c 1400s | 18 | 542569 | 388852 | 89834 6 | 16912 | 6 1404.67/1405.08 c 1402s | 18 | 542971 | 389252 | 89834 6 | 16912 | 6 1406.97/1407.33 c 1404s | 18 | 543469 | 389752 | 89834 6 | 16912 | 6 1409.47/1409.85 c 1406s | 18 | 543970 | 390252 | 89834 6 | 16912 | 6 1411.97/1412.32 c 1409s | 18 | 544471 | 390752 | 89834 6 | 16912 | 6 1414.28/1414.69 c 1411s | 18 | 544970 | 391252 | 89834 6 | 16912 | 6 1416.38/1416.75 c 1413s | 18 | 545371 | 391652 | 89834 6 | 16912 | 6 1418.47/1418.88 c 1415s | 18 | 545771 | 392052 | 89834 6 | 16912 | 6 1420.77/1421.10 c 1418s | 18 | 546275 | 392552 | 89834 6 | 16912 | 6 1423.57/1423.97 c 1421s | 18 | 546491 | 392752 | 89834 6 | 16912 | 6 1425.97/1426.35 c 1423s | 18 | 547198 | 393452 | 89834 6 | 16912 | 6 1428.17/1428.52 c 1425s | 18 | 547798 | 394052 | 89834 6 | 16912 | 6 1430.37/1430.79 c 1427s | 18 | 548399 | 394652 | 89834 6 | 16912 | 6 1432.57/1432.94 c 1430s | 18 | 548997 | 395252 | 89834 6 | 16912 | 6 1434.87/1435.29 c 1432s | 18 | 549600 | 395852 | 89834 6 | 16912 | 6 1437.17/1437.59 c 1434s | 18 | 550202 | 396452 | 89834 6 | 16912 | 6 1439.47/1439.83 c 1436s | 18 | 550803 | 397052 | 89834 6 | 16912 | 6 1441.66/1442.04 c 1439s | 18 | 551306 | 397552 | 89834 6 | 16912 | 6 1443.97/1444.40 c 1441s | 18 | 551811 | 398052 | 89834 6 | 16912 | 6 1446.06/1446.49 c 1443s | 18 | 552307 | 398552 | 89834 6 | 16912 | 6 1448.26/1448.67 c 1445s | 18 | 552809 | 399052 | 89834 6 | 16912 | 6 1450.46/1450.87 c 1447s | 18 | 553313 | 399552 | 89834 6 | 16912 | 6 1452.77/1453.13 c 1450s | 18 | 553811 | 400052 | 89834 6 | 16912 | 6 1455.07/1455.44 c 1452s | 18 | 554313 | 400552 | 89834 6 | 16912 | 6 1457.36/1457.75 c 1454s | 18 | 554812 | 401052 | 89834 6 | 16912 | 6 1459.66/1460.03 c 1457s | 18 | 555314 | 401552 | 89834 6 | 16912 | 6 1461.86/1462.20 c 1459s | 18 | 555815 | 402052 | 89834 6 | 16912 | 6 1464.06/1464.48 c 1461s | 18 | 556316 | 402552 | 89834 6 | 16912 | 6 1466.46/1466.87 c 1463s | 18 | 556723 | 402952 | 89834 6 | 16912 | 6 1468.66/1469.01 c 1466s | 18 | 557122 | 403352 | 89834 6 | 16912 | 6 1471.06/1471.47 c 1468s | 18 | 557624 | 403852 | 89834 6 | 16912 | 6 1473.16/1473.59 c 1470s | 18 | 558026 | 404252 | 89834 6 | 16912 | 6 1475.26/1475.68 c 1472s | 18 | 558425 | 404652 | 89834 6 | 16912 | 6 1477.26/1477.69 c 1474s | 18 | 558827 | 405052 | 89834 6 | 16912 | 6 1479.55/1479.91 c 1476s | 18 | 559331 | 405552 | 89834 6 | 16912 | 6 1481.75/1482.11 c 1479s | 18 | 559832 | 406052 | 89834 6 | 16912 | 6 1484.15/1484.51 c 1481s | 18 | 560333 | 406552 | 89834 6 | 16912 | 6 1486.45/1486.89 c 1483s | 18 | 560837 | 407052 | 89834 6 | 16912 | 6 1488.65/1489.00 c 1486s | 18 | 561236 | 407452 | 89834 6 | 16912 | 6 1490.65/1491.00 c 1488s | 18 | 561638 | 407852 | 89834 6 | 16912 | 6 1492.85/1493.22 c 1490s | 18 | 562143 | 408352 | 89834 6 | 16912 | 6 1498.45/1498.89 c 1495s | 18 | 562342 | 408552 | 89834 7 | 16912 | 6 1500.85/1501.23 c 1498s | 18 | 562644 | 408852 | 89834 7 | 16912 | 6 1502.95/1503.35 c 1500s | 18 | 563343 | 409552 | 89834 7 | 16912 | 6 1506.85/1507.20 c 1504s | 18 | 564049 | 410252 | 89834 7 | 16912 | 6 1509.05/1509.43 c 1506s | 18 | 564752 | 410952 | 89834 7 | 16912 | 6 1511.06/1511.44 c 1508s | 18 | 565551 | 411752 | 89834 7 | 16912 | 6 1523.05/1523.50 c 1520s | 18 | 566356 | 412552 | 89834 7 | 16912 | 6 1525.25/1525.63 c 1522s | 18 | 566954 | 413152 | 89834 7 | 16912 | 6 1527.44/1527.87 c 1524s | 18 | 567754 | 413952 | 89834 7 | 16912 | 6 1529.75/1530.14 c 1527s | 18 | 568557 | 414752 | 89834 7 | 16912 | 6 1531.95/1532.40 c 1529s | 18 | 569363 | 415552 | 89834 7 | 16912 | 6 1534.04/1534.45 c 1531s | 18 | 570059 | 416252 | 89834 7 | 16912 | 6 1536.14/1536.57 c 1533s | 18 | 570763 | 416952 | 89834 7 | 16912 | 6 1538.24/1538.67 c 1535s | 18 | 571469 | 417652 | 89834 7 | 16912 | 6 1540.54/1540.97 c 1538s | 18 | 572169 | 418352 | 89834 7 | 16912 | 6 1542.74/1543.18 c 1540s | 18 | 572870 | 419052 | 89834 7 | 16912 | 6 1544.94/1545.31 c 1542s | 18 | 573576 | 419752 | 89834 7 | 16912 | 6 1546.94/1547.36 c 1544s | 18 | 574279 | 420452 | 89834 7 | 16912 | 6 1549.24/1549.63 c 1546s | 18 | 574977 | 421152 | 89834 7 | 16912 | 6 1551.44/1551.87 c 1548s | 18 | 575677 | 421852 | 89834 7 | 16912 | 6 1553.73/1554.17 c 1551s | 18 | 576382 | 422552 | 89834 7 | 16912 | 6 1555.93/1556.37 c 1553s | 18 | 576882 | 423052 | 89834 7 | 16912 | 6 1558.34/1558.74 c 1555s | 18 | 577390 | 423552 | 89834 7 | 16912 | 6 1560.54/1560.96 c 1558s | 18 | 577891 | 424052 | 89834 7 | 16912 | 6 1562.63/1563.08 c 1560s | 18 | 578394 | 424552 | 89834 7 | 16912 | 6 1564.83/1565.30 c 1562s | 18 | 578997 | 425152 | 89834 7 | 16912 | 6 1567.03/1567.41 c 1564s | 18 | 579593 | 425752 | 89834 7 | 16912 | 6 1569.03/1569.46 c 1566s | 18 | 580193 | 426352 | 89834 7 | 16912 | 6 1571.03/1571.47 c 1568s | 18 | 580799 | 426952 | 89834 7 | 16912 | 6 1573.33/1573.76 c 1570s | 18 | 581404 | 427552 | 89834 7 | 16912 | 6 1575.83/1576.20 c 1573s | 18 | 581900 | 428052 | 89834 7 | 16912 | 6 1578.23/1578.70 c 1575s | 18 | 582403 | 428552 | 89834 7 | 16912 | 6 1580.53/1580.99 c 1578s | 18 | 582904 | 429052 | 89834 7 | 16912 | 6 1582.93/1583.38 c 1580s | 18 | 583402 | 429552 | 89834 7 | 16912 | 6 1585.23/1585.69 c 1582s | 18 | 583909 | 430052 | 89834 7 | 16912 | 6 1587.52/1587.99 c 1585s | 18 | 584608 | 430752 | 89834 7 | 16912 | 6 1589.72/1590.12 c 1587s | 18 | 585208 | 431352 | 89834 7 | 16912 | 6 1592.02/1592.45 c 1589s | 18 | 585913 | 432052 | 89834 7 | 16912 | 6 1594.42/1594.83 c 1591s | 18 | 586319 | 432452 | 89834 7 | 16912 | 6 1596.93/1597.33 c 1594s | 18 | 586719 | 432852 | 89834 7 | 16912 | 6 1599.42/1599.81 c 1596s | 18 | 587119 | 433252 | 89834 7 | 16912 | 6 1601.52/1601.90 c 1598s | 18 | 587519 | 433652 | 89834 7 | 16912 | 6 1603.72/1604.15 c 1601s | 18 | 587921 | 434052 | 89834 7 | 16912 | 6 1606.12/1606.54 c 1603s | 18 | 588326 | 434452 | 89834 7 | 16912 | 6 1608.32/1608.74 c 1605s | 18 | 588727 | 434852 | 89834 7 | 16912 | 6 1610.72/1611.11 c 1608s | 18 | 589223 | 435352 | 89834 7 | 16912 | 6 1613.01/1613.43 c 1610s | 18 | 589726 | 435852 | 89834 7 | 16912 | 6 1615.01/1615.49 c 1612s | 18 | 590229 | 436352 | 89834 7 | 16912 | 6 1617.01/1617.49 c 1614s | 18 | 590728 | 436852 | 89834 7 | 16912 | 6 1619.61/1620.01 c 1617s | 18 | 591332 | 437452 | 89834 7 | 16912 | 6 1621.81/1622.28 c 1619s | 18 | 591734 | 437852 | 89834 7 | 16912 | 6 1624.01/1624.45 c 1621s | 18 | 592237 | 438352 | 89834 7 | 16912 | 6 1626.52/1626.94 c 1624s | 18 | 592739 | 438852 | 89834 7 | 16912 | 6 1628.61/1629.05 c 1626s | 18 | 593137 | 439252 | 89834 7 | 16912 | 6 1630.92/1631.40 c 1628s | 18 | 593642 | 439752 | 89834 7 | 16912 | 6 1633.22/1633.60 c 1630s | 18 | 594043 | 440152 | 89834 7 | 16912 | 6 1635.21/1635.61 c 1632s | 18 | 594447 | 440552 | 89834 7 | 16912 | 6 1637.71/1638.19 c 1635s | 18 | 594950 | 441052 | 89834 7 | 16912 | 6 1640.01/1640.45 c 1637s | 18 | 595348 | 441452 | 98818 7 | 16912 | 6 1642.21/1642.66 c 1639s | 18 | 595750 | 441852 | 98818 7 | 16912 | 6 1644.51/1644.95 c 1642s | 18 | 596151 | 442252 | 98818 7 | 16912 | 6 1646.91/1647.36 c 1644s | 18 | 596457 | 442552 | 98818 7 | 16912 | 6 1649.01/1649.42 c 1646s | 18 | 596759 | 442852 | 98818 7 | 16912 | 6 1651.11/1651.52 c 1648s | 18 | 597053 | 443152 | 98818 7 | 16912 | 6 1653.11/1653.56 c 1650s | 18 | 597357 | 443452 | 98818 7 | 16912 | 6 1655.41/1655.84 c 1652s | 18 | 597758 | 443852 | 98818 7 | 16912 | 6 1657.41/1657.88 c 1654s | 18 | 598261 | 444352 | 98818 7 | 16912 | 6 1658.01/1658.45 c 1655s | 19 | 598390 | 444482 | 98818 7 | 16912 | 6 1660.50/1660.97 c 1658s | 19 | 598638 | 444682 | 98818 7 | 16912 | 6 1663.20/1663.69 c 1660s | 19 | 598939 | 444982 | 98818 7 | 16912 | 6 1665.91/1666.33 c 1663s | 19 | 599339 | 445382 | 98818 7 | 16912 | 6 1676.11/1676.53 c 1673s | 19 | 599444 | 445482 | 98818 7 | 16912 | 6 1678.21/1678.65 c 1675s | 19 | 600050 | 446082 | 98818 7 | 16912 | 6 1680.60/1681.05 c 1678s | 19 | 600746 | 446782 | 98818 7 | 16912 | 6 1683.00/1683.46 c 1680s | 19 | 601048 | 447082 | 98818 7 | 16912 | 6 1685.30/1685.73 c 1682s | 19 | 601646 | 447682 | 98818 7 | 16912 | 6 1690.70/1691.11 c 1688s | 19 | 601752 | 447782 | 98818 7 | 16912 | 6 1692.90/1693.34 c 1690s | 19 | 602248 | 448282 | 98818 7 | 16912 | 6 1695.20/1695.69 c 1692s | 19 | 602652 | 448682 | 98818 7 | 16912 | 6 1697.50/1697.96 c 1695s | 19 | 602950 | 448982 | 98818 7 | 16912 | 6 1699.60/1700.06 c 1697s | 19 | 603252 | 449282 | 98818 7 | 16912 | 6 1775.28/1775.70 c 1772s | 19 | 603358 | 449382 | 98818 7 | 16912 | 6 1777.58/1778.01 c 1775s | 19 | 603757 | 449782 | 98818 7 | 16912 | 6 1779.78/1780.22 c 1777s | 19 | 604254 | 450282 | 98818 7 | 16912 | 6 1781.98/1782.44 c 1779s | 19 | 604760 | 450782 | 98818 7 | 16912 | 6 1784.18/1784.64 c 1781s | 19 | 605362 | 451382 | 98818 7 | 16912 | 6 1786.28/1786.78 c 1783s | 19 | 605762 | 451782 | 98818 7 | 16912 | 6 1788.38/1788.82 c 1785s | 19 | 606263 | 452282 | 98818 7 | 16912 | 6 1790.68/1791.16 c 1788s | 19 | 606666 | 452682 | 98818 7 | 16912 | 6 1792.68/1793.19 c 1790s | 19 | 606964 | 452982 | 98818 7 | 16912 | 6 1795.08/1795.51 c 1792s | 19 | 607365 | 453382 | 98818 7 | 16912 | 6 1797.17/1797.62 c 1794s | 19 | 607668 | 453682 | 98818 7 | 16912 | 6 1799.47/1799.93 c 1796s | 19 | 607973 | 453982 | 98818 7 | 16912 | 6
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-4100761-1466217089/watcher-4100761-1466217089 -o /tmp/evaluation-result-4100761-1466217089/solver-4100761-1466217089 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1395 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100761-1466217089.opb pid=3286 running on 4 cores: 1,3,5,7 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.01 2.06 2.08 2/179 3289 /proc/meminfo: memFree=30026596/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=774588 CPUtime=0 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 2899 0 0 0 0 0 0 0 20 0 4 0 23758181 793178112 2748 33554432000 4194304 16246674 140735199845616 140735199845040 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 194415 2758 441 2943 0 191309 0 [pid=3289/tid=3290] ppid=3286 vsize=793020 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 812052480 2818 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=797116 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 816246784 2836 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=801212 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23758181 820441088 2854 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 2.01 2.06 2.08 2/179 3289 /proc/meminfo: memFree=30026596/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 29496 0 0 0 5 4 0 0 20 0 4 0 23758181 1333334016 29284 33554432000 4194304 16246674 140735199845616 140735199844928 8057278 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 325521 29298 800 2943 0 322415 0 [pid=3289/tid=3290] ppid=3286 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 1333334016 29310 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 1333334016 29321 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 1333334016 29332 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200517 s] /proc/loadavg: 2.01 2.06 2.08 2/179 3289 /proc/meminfo: memFree=30026596/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 45923 0 0 0 12 7 0 0 20 0 4 0 23758181 1344868352 46221 33554432000 4194304 16246674 140735199845616 140735199844928 14795467 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 328337 46221 801 2943 0 325231 0 [pid=3289/tid=3290] ppid=3286 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 1344868352 46221 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 1344868352 46221 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 1344868352 46221 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300406 s] /proc/loadavg: 2.01 2.06 2.08 2/179 3289 /proc/meminfo: memFree=30026596/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 50804 0 0 0 22 7 0 0 20 0 4 0 23758181 1344868352 51102 33554432000 4194304 16246674 140735199845616 140735199844928 4220888 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 328337 51102 801 2943 0 325231 0 [pid=3289/tid=3290] ppid=3286 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 1344868352 51102 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 1344868352 51102 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 1344868352 51102 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700425 s] /proc/loadavg: 2.01 2.06 2.08 2/179 3289 /proc/meminfo: memFree=30026596/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=1328708 CPUtime=0.69 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 65294 0 0 0 60 9 0 0 20 0 4 0 23758181 1360596992 65592 33554432000 4194304 16246674 140735199845616 140735199844928 12656213 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 332177 65592 835 2943 0 329071 0 [pid=3289/tid=3290] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 65592 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 65592 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 65592 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1328708 [startup+1.50042 s] /proc/loadavg: 2.01 2.06 2.08 3/183 3293 /proc/meminfo: memFree=29447900/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=1328708 CPUtime=1.49 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 144695 0 0 0 130 19 0 0 20 0 4 0 23758181 1360596992 144993 33554432000 4194304 16246674 140735199845616 140735199827520 4225128 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 332177 144993 845 2943 0 329071 0 [pid=3289/tid=3290] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 144993 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 144993 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 144993 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1328708 [startup+3.10043 s] /proc/loadavg: 2.01 2.06 2.08 4/183 3293 /proc/meminfo: memFree=29447288/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=1328708 CPUtime=3.09 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 144753 0 0 0 290 19 0 0 20 0 4 0 23758181 1360596992 145051 33554432000 4194304 16246674 140735199845616 140735199827520 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 332177 145051 901 2943 0 329071 0 [pid=3289/tid=3290] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 145051 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 145051 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 145051 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1328708 [startup+6.30033 s] /proc/loadavg: 2.01 2.06 2.08 3/183 3293 /proc/meminfo: memFree=29447176/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=1328708 CPUtime=6.29 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 169347 0 0 0 606 23 0 0 20 0 4 0 23758181 1360596992 169645 33554432000 4194304 16246674 140735199845616 140735199828616 13759916 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 332177 169647 901 2943 0 329071 0 [pid=3289/tid=3290] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 169648 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 169650 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 169651 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1328708 [startup+12.7004 s] /proc/loadavg: 2.01 2.05 2.08 3/183 3293 /proc/meminfo: memFree=28934592/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=1328708 CPUtime=12.69 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 272867 0 0 0 1234 35 0 0 20 0 4 0 23758181 1360596992 273165 33554432000 4194304 16246674 140735199845616 140735199827520 5514771 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 332177 273165 901 2943 0 329071 0 [pid=3289/tid=3290] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 273165 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 273165 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 273165 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1328708 [startup+25.5005 s] /proc/loadavg: 2.08 2.07 2.09 3/183 3293 /proc/meminfo: memFree=28934980/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=1328708 CPUtime=25.49 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 272867 0 0 0 2514 35 0 0 20 0 4 0 23758181 1360596992 273165 33554432000 4194304 16246674 140735199845616 140735199828616 12415781 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 332177 273165 901 2943 0 329071 0 [pid=3289/tid=3290] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 273165 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 273165 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 273165 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1328708 [startup+51.1005 s] /proc/loadavg: 2.05 2.06 2.09 3/183 3293 /proc/meminfo: memFree=28934860/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=1328708 CPUtime=51.08 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 272867 0 0 0 5073 35 0 0 20 0 4 0 23758181 1360596992 273165 33554432000 4194304 16246674 140735199845616 140735199827520 5823690 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 332177 273165 901 2943 0 329071 0 [pid=3289/tid=3290] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 273165 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 273165 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 273165 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1328708 [startup+102.301 s] /proc/loadavg: 2.09 2.06 2.09 3/183 3294 /proc/meminfo: memFree=28934604/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=1328708 CPUtime=102.28 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 272867 0 0 0 10193 35 0 0 20 0 4 0 23758181 1360596992 273165 33554432000 4194304 16246674 140735199845616 140735199827520 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 332177 273165 901 2943 0 329071 0 [pid=3289/tid=3290] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 273165 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 273165 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 1360596992 273165 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1328708 ################ # More data... # ################ /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 2068385792 446227 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 2019908 [startup+1362.3 s] /proc/loadavg: 2.06 2.14 2.09 4/183 3326 /proc/meminfo: memFree=28221368/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=2019908 CPUtime=1361.99 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 445815 0 0 0 136111 88 0 0 20 0 4 0 23758181 2068385792 446227 33554432000 4194304 16246674 140735199845616 140735199827520 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 504977 446227 906 2943 0 501871 0 [pid=3289/tid=3290] ppid=3286 vsize=2019908 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 2068385792 446227 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=2019908 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 2068385792 446227 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=2019908 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 2068385792 446227 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 2019908 [startup+1422.3 s] /proc/loadavg: 2.09 2.13 2.09 3/183 3327 /proc/meminfo: memFree=28221636/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=2019908 CPUtime=1421.98 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 445851 0 0 0 142109 89 0 0 20 0 4 0 23758181 2068385792 446227 33554432000 4194304 16246674 140735199845616 140735199844792 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 504977 446227 906 2943 0 501871 0 [pid=3289/tid=3290] ppid=3286 vsize=2019908 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 2068385792 446227 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=2019908 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 2068385792 446227 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=2019908 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 2068385792 446227 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 2019908 [startup+1482.3 s] /proc/loadavg: 2.19 2.13 2.10 3/183 3328 /proc/meminfo: memFree=28211992/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=2030148 CPUtime=1481.95 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 448244 0 0 0 148106 89 0 0 20 0 4 0 23758181 2078871552 448611 33554432000 4194304 16246674 140735199845616 140735199827520 5672160 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 507537 448611 906 2943 0 504431 0 [pid=3289/tid=3290] ppid=3286 vsize=2030148 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 2078871552 448611 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=2030148 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 2078871552 448611 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=2030148 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 2078871552 448611 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 2030148 [startup+1542.31 s] /proc/loadavg: 2.16 2.14 2.09 4/183 3330 /proc/meminfo: memFree=28143936/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=2097732 CPUtime=1541.95 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 465327 0 0 0 154100 95 0 0 20 0 4 0 23758181 2148077568 465683 33554432000 4194304 16246674 140735199845616 140735199827520 5823355 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 524433 465683 906 2943 0 521327 0 [pid=3289/tid=3290] ppid=3286 vsize=2097732 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 2148077568 465683 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=2097732 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 2148077568 465683 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=2097732 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 2148077568 465683 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 2097732 [startup+1602.3 s] /proc/loadavg: 2.16 2.14 2.09 3/183 3331 /proc/meminfo: memFree=28143268/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=2097732 CPUtime=1601.92 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 465343 0 0 0 160097 95 0 0 20 0 4 0 23758181 2148077568 465683 33554432000 4194304 16246674 140735199845616 140735199827520 5823520 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 524433 465683 906 2943 0 521327 0 [pid=3289/tid=3290] ppid=3286 vsize=2097732 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 2148077568 465683 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=2097732 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 2148077568 465683 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=2097732 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 2148077568 465683 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 2097732 [startup+1662.3 s] /proc/loadavg: 2.03 2.11 2.08 3/183 3381 /proc/meminfo: memFree=28708352/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=2097732 CPUtime=1661.9 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 465346 0 0 0 166095 95 0 0 20 0 4 0 23758181 2148077568 465683 33554432000 4194304 16246674 140735199845616 140735199844792 5823891 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 524433 465683 906 2943 0 521327 0 [pid=3289/tid=3290] ppid=3286 vsize=2097732 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 2148077568 465683 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=2097732 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 2148077568 465683 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=2097732 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 2148077568 465683 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 2097732 [startup+1722.3 s] /proc/loadavg: 2.13 2.13 2.09 3/184 3385 /proc/meminfo: memFree=28186464/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=2133572 CPUtime=1721.89 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 474306 0 0 0 172086 103 0 0 20 0 4 0 23758181 2184777728 474643 33554432000 4194304 16246674 140735199845616 140735199844792 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 533393 474643 906 2943 0 530287 0 [pid=3289/tid=3290] ppid=3286 vsize=2133572 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 2184777728 474643 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=2133572 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 2184777728 474643 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=2133572 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 2184777728 474643 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 2133572 [startup+1782.3 s] /proc/loadavg: 2.22 2.15 2.10 3/184 3409 /proc/meminfo: memFree=28184916/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=2133572 CPUtime=1781.88 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 474308 0 0 0 178077 111 0 0 20 0 4 0 23758181 2184777728 474643 33554432000 4194304 16246674 140735199845616 140735199827520 5827969 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 533393 474643 906 2943 0 530287 0 [pid=3289/tid=3290] ppid=3286 vsize=2133572 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 2184777728 474643 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=2133572 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 2184777728 474643 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=2133572 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 2184777728 474643 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 2133572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.17 2.14 2.10 3/184 3409 /proc/meminfo: memFree=28186204/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=2133572 CPUtime=1800.08 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 474308 0 0 0 179896 112 0 0 20 0 4 0 23758181 2184777728 474643 33554432000 4194304 16246674 140735199845616 140735199827520 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 533393 474643 906 2943 0 530287 0 [pid=3289/tid=3290] ppid=3286 vsize=2133572 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 2184777728 474643 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=2133572 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 2184777728 474643 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=2133572 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 2184777728 474643 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 2133572 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 3289 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.17 2.14 2.10 3/184 3409 /proc/meminfo: memFree=28186204/32872528 swapFree=681964/737152 [pid=3289] ppid=3286 vsize=2133572 CPUtime=1800.08 cores=1,3,5,7 /proc/3289/stat : 3289 (toysat) R 3286 3289 1377 0 -1 4202496 474308 0 0 0 179896 112 0 0 20 0 4 0 23758181 2184777728 474643 33554432000 4194304 16246674 140735199845616 140735199827520 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3289/statm: 533393 474643 906 2943 0 530287 0 [pid=3289/tid=3290] ppid=3286 vsize=2133572 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3290/stat : 3290 (toysat) S 3286 3289 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23758181 2184777728 474643 33554432000 4194304 16246674 140735199845616 140697406516464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3289/tid=3291] ppid=3286 vsize=2133572 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3291/stat : 3291 (toysat) S 3286 3289 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23758181 2184777728 474643 33554432000 4194304 16246674 140735199845616 140697396026608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3289/tid=3292] ppid=3286 vsize=2133572 CPUtime=0 cores=1,3,5,7 /proc/3289/task/3292/stat : 3292 (toysat) S 3286 3289 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23758181 2184777728 474643 33554432000 4194304 16246674 140735199845616 140697385553072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 2133572 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.12 CPU user time (s): 1798.97 CPU system time (s): 1.15082 CPU usage (%): 99.9772 Max. virtual memory (cumulated for all children) (KiB): 2133572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.97 system time used= 1.15082 maximum resident set size= 1898572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 474308 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= 471 involuntary context switches= 1826 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.91425 second user time and 6.62499 second system time The end
Begin job on node112 at 2016-06-18 04:31:29 IDJOB=4100761 IDBENCH=1658 IDSOLVER=2542 FILE ID=node112/4100761-1466217089 RUNJOBID= node112-1466206100-1395 PBS_JOBID= 19918164 Free space on /tmp= 71692 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-25fv47.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100761-1466217089/watcher-4100761-1466217089 -o /tmp/evaluation-result-4100761-1466217089/solver-4100761-1466217089 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1395 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100761-1466217089.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dfddd97e7752f713f95f506cbe2ca323 RANDOM SEED=1578588847 node112.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.734 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.46 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.734 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.734 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 : 5321.48 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.734 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.734 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.734 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.734 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.55 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.734 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30026860 kB Buffers: 91092 kB Cached: 119076 kB SwapCached: 1916 kB Active: 1260180 kB Inactive: 114028 kB Active(anon): 1164864 kB Inactive(anon): 1572 kB Active(file): 95316 kB Inactive(file): 112456 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096988 kB Dirty: 19512 kB Writeback: 0 kB AnonPages: 1902500 kB Mapped: 10820 kB Shmem: 0 kB Slab: 600484 kB SReclaimable: 44252 kB SUnreclaim: 556232 kB KernelStack: 1456 kB PageTables: 7948 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2046552 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 57344 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= 71676 MiB End job on node112 at 2016-06-18 05:01:30