| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.53 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-queen5-5-4_wcsp.wbo |
| MD5SUM | aaeffaeae7d7089614c30e01f22ee722 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 12 |
| Best CPU time to get the best result obtained on this benchmark | 414.308 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 100 |
| Total number of constraints | 665 |
| Number of soft constraints | 640 |
| Number of constraints which are clauses | 640 |
| Number of constraints which are cardinality constraints (but not clauses) | 25 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 4 |
| Top cost | 161 |
| Min constraint cost | 1 |
| Max constraint cost | 1 |
| Sum of constraints costs | 640 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 5 |
| Number of bits of the biggest sum of numbers | 3 |
| 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-16T23:09:24+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","--wbo","--search=bcd2","HOME/instance-4093514-1466111364.wbo"] 0.00/0.01 c use --random-gen="2030823884 319936038 3833289930 1314702232 1363522139 3943089360 4269315619 165292592 3160483497 2940733784 245608025 773136776 334531839 2624963225 134791631 971119555 1745225485 4224812897 1694589278 4116541025 3210209828 2507749889 3839097873 3696634589 1535510163 2393806748 3906149583 3141177458 1973921721 482017911 2886316575 2732980904 1836740733 1569542444 1348015019 1695954758 90947093 3717253345 4233864117 189488991 3591082310 3661919460 119791966 3565311461 2582244291 3727898844 337918219 4059469116 2687970860 2856126616 825684038 3204122796 3997059213 821327824 2006065974 96100670 3726862834 2995706135 894456439 1127720663 2298404081 4028872731 617059325 3300285895 1651796705 3748237929 2031866959 2882139306 1920099116 3963884441 1358414158 3479511946 696979873 719888891 3233196685 3390482152 1924543176 2032144129 768430996 282165967 4290995329 1686399583 1634379140 1469455215 1248809054 218411279 606055059 379729242 239368112 1849759763 1529800362 1153847769 2554915146 750210348 4264685364 3127541522 3173565560 3679927473 2950313673 883675901 2348766167 2350196975 2635422054 3850559725 409688920 2347230738 1822676083 362922434 1311924266 3527154566 2284510233 661975825 1780065982 95509413 1687155095 1382638750 3399823501 3876531785 2272777273 3428564573 888236375 3810880684 1564273473 3313646286 172390519 1292991683 855266673 1487734472 2908629713 636513113 3071769865 2869318418 1583123818 1426780413 1491461432 1576682833 935727472 2866822816 3278312329 1962266808 1993209755 2656203735 3186754497 1789038863 1815124506 1419829987 2318720057 3877109841 3605262250 3862759974 1672228531 4153012666 499586448 2768675425 2726312125 787481424 1830886137 3335610563 4286587953 2733684382 1648627641 1631828011 1922258218 1773029475 2121135353 2493699529 1240814493 3021527880 3682716048 2107791654 2636735423 243540313 2957918690 1907140746 3512910398 3126600258 3077567613 3677703902 2713120589 119968884 3350367205 546594139 982897946 2635974644 1496180240 3118709435 1823657601 1015646597 795660790 835522722 983999196 2206309253 2890649571 3348231094 1376684169 1172787345 2134010471 2610865651 4115046079 923122088 3286335972 1597249089 2938555305 2071286979 2181171008 1224964805 2113068706 756637171 1419961878 3691332589 136856042 2521909701 1455342033 360072076 1707703474 574798732 909960826 951767666 2116664894 3049869883 506811633 179178408 1255157441 366464975 2680584934 729080159 2751673889 1235847451 518138463 3239572821 3346731350 3262420958 1370799610 3183592911 3429435556 2354532304 2539054131 652435899 3341705324 1036604106 3547806527 3226565694 2379241001 346340894 941856349 3324883271 955664204 1010047237 1682731657 4218763081 3216857674 175715575 971876004 3908735257 275098995 1271798961 255 362436" option to reproduce the execution 19.49/19.56 c #vars 100 19.49/19.56 c #constraints 665 19.49/19.57 c BCD2: Hardening is enabled. 19.49/19.57 c BCD2: BiasedSearch is enabled. 19.49/19.57 c Solving starts ... 19.49/19.57 c ============================[ Search Statistics ]============================ 19.49/19.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.49/19.57 c | | | | Limit GC | Var | Constra 19.49/19.57 c ============================================================================= 19.49/19.57 c 0.0s | 0 | 0 | 0 | 477 0 | 0 | 0 19.49/19.58 c 0.0s | 1 | 721 | 100 | 477 0 | 0 | 0 19.49/19.58 c 0.0s | 1 | 1366 | 100 | 477 0 | 0 | 0 19.49/19.58 c #cpu_time = 0.010s 19.49/19.58 c #wall_clock_time = 0.010s 19.49/19.58 c #decision = 1366 19.49/19.58 c #random_decision = 5 19.49/19.58 c #conflict = 100 19.49/19.58 c #restart = 1 19.49/19.58 o 33 19.49/19.58 c BCD2: updating upper bound: 640 -> 32 19.49/19.58 c BCD2: 0 <= obj <= 32 19.49/19.58 c BCD2: #cores=0, #unrelaxed=640, #relaxed=0, #hardened=0 19.49/19.58 c BCD2: #sat=1 #unsat=1 bias=1/2 19.49/19.58 c Solving starts ... 19.49/19.58 c ============================[ Search Statistics ]============================ 19.49/19.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.49/19.58 c | | | | Limit GC | Var | Constra 19.49/19.58 c ============================================================================= 19.49/19.58 c 0.0s | 0 | 0 | 0 | 477 0 | 0 | 1 19.49/19.58 c 0.0s | 0 | 567 | 0 | 477 0 | 0 | 1 19.49/19.58 c #cpu_time = 0.002s 19.49/19.58 c #wall_clock_time = 0.002s 19.49/19.58 c #decision = 567 19.49/19.58 c #random_decision = 0 19.49/19.58 c #conflict = 0 19.49/19.58 c #restart = 0 19.49/19.58 c BCD2: found a new core of size 40: cost of the new core is >=1 19.49/19.58 c lower bound updated to 1 19.49/19.58 c BCD2: 1 <= obj <= 32 19.49/19.58 c BCD2: #cores=1, #unrelaxed=600, #relaxed=40, #hardened=0 19.49/19.58 c BCD2: #sat=1 #unsat=2 bias=2/3 19.49/19.58 c Solving starts ... 19.49/19.58 c ============================[ Search Statistics ]============================ 19.49/19.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.49/19.58 c | | | | Limit GC | Var | Constra 19.49/19.58 c ============================================================================= 19.49/19.58 c 0.0s | 0 | 0 | 0 | 477 0 | 0 | 1 19.49/19.59 c 0.0s | 0 | 695 | 43 | 525 0 | 0 | 1 19.49/19.59 c #cpu_time = 0.005s 19.49/19.59 c #wall_clock_time = 0.005s 19.49/19.59 c #decision = 695 19.49/19.59 c #random_decision = 0 19.49/19.59 c #conflict = 43 19.49/19.59 c #restart = 0 19.49/19.59 c BCD2: found a new core of size 101: cost of the new core is >=1 19.49/19.59 c lower bound updated to 2 19.49/19.59 c BCD2: 2 <= obj <= 32 19.49/19.59 c BCD2: #cores=2, #unrelaxed=499, #relaxed=141, #hardened=0 19.49/19.59 c BCD2: #sat=1 #unsat=3 bias=3/4 19.49/19.59 c Solving starts ... 19.49/19.59 c ============================[ Search Statistics ]============================ 19.49/19.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.49/19.59 c | | | | Limit GC | Var | Constra 19.49/19.59 c ============================================================================= 19.49/19.59 c 0.0s | 0 | 0 | 0 | 525 0 | 0 | 1 19.59/19.60 c 0.0s | 0 | 815 | 54 | 525 0 | 0 | 1 19.59/19.60 c #cpu_time = 0.006s 19.59/19.60 c #wall_clock_time = 0.006s 19.59/19.60 c #decision = 815 19.59/19.60 c #random_decision = 0 19.59/19.60 c #conflict = 54 19.59/19.60 c #restart = 0 19.59/19.60 c BCD2: found a new core of size 56: cost of the new core is >=1 19.59/19.60 c lower bound updated to 3 19.59/19.60 c BCD2: 3 <= obj <= 32 19.59/19.60 c BCD2: #cores=3, #unrelaxed=443, #relaxed=197, #hardened=0 19.59/19.60 c BCD2: #sat=1 #unsat=4 bias=4/5 19.59/19.60 c Solving starts ... 19.59/19.60 c ============================[ Search Statistics ]============================ 19.59/19.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.59/19.60 c | | | | Limit GC | Var | Constra 19.59/19.60 c ============================================================================= 19.59/19.60 c 0.0s | 0 | 0 | 0 | 525 0 | 0 | 1 19.59/19.60 c 0.0s | 0 | 991 | 51 | 525 0 | 0 | 1 19.59/19.60 c #cpu_time = 0.006s 19.59/19.60 c #wall_clock_time = 0.006s 19.59/19.60 c #decision = 991 19.59/19.60 c #random_decision = 0 19.59/19.60 c #conflict = 51 19.59/19.60 c #restart = 0 19.59/19.60 c BCD2: found a new core of size 112: cost of the new core is >=1 19.59/19.60 c lower bound updated to 4 19.59/19.60 c BCD2: 4 <= obj <= 32 19.59/19.60 c BCD2: #cores=4, #unrelaxed=331, #relaxed=309, #hardened=0 19.59/19.60 c BCD2: #sat=1 #unsat=5 bias=5/6 19.59/19.60 c Solving starts ... 19.59/19.60 c ============================[ Search Statistics ]============================ 19.59/19.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.59/19.60 c | | | | Limit GC | Var | Constra 19.59/19.60 c ============================================================================= 19.59/19.60 c 0.0s | 0 | 0 | 0 | 525 0 | 0 | 1 19.59/19.62 c 0.0s | 1 | 472 | 100 | 578 0 | 0 | 1 19.59/19.63 c 0.0s | 1 | 875 | 154 | 578 0 | 0 | 1 19.59/19.63 c #cpu_time = 0.027s 19.59/19.63 c #wall_clock_time = 0.027s 19.59/19.63 c #decision = 875 19.59/19.63 c #random_decision = 0 19.59/19.63 c #conflict = 154 19.59/19.63 c #restart = 1 19.59/19.63 c BCD2: relaxing 258 and merging with 2 cores into a new core of size 471: cost of the new core is >=3 19.59/19.63 c lower bound updated to 5 19.59/19.63 c BCD2: 5 <= obj <= 32 19.59/19.63 c BCD2: #cores=3, #unrelaxed=73, #relaxed=567, #hardened=0 19.59/19.63 c BCD2: #sat=1 #unsat=6 bias=6/7 19.59/19.63 c Solving starts ... 19.59/19.63 c ============================[ Search Statistics ]============================ 19.59/19.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.59/19.63 c | | | | Limit GC | Var | Constra 19.59/19.63 c ============================================================================= 19.59/19.63 c 0.0s | 0 | 0 | 0 | 578 0 | 2 | 1 19.59/19.64 c 0.0s | 0 | 404 | 16 | 578 0 | 2 | 3 19.59/19.64 c #cpu_time = 0.008s 19.59/19.64 c #wall_clock_time = 0.008s 19.59/19.64 c #decision = 404 19.59/19.64 c #random_decision = 1 19.59/19.64 c #conflict = 16 19.59/19.64 c #restart = 0 19.59/19.64 o 25 19.59/19.64 c BCD2: updating upper bound: 32 -> 24 19.59/19.64 c BCD2: 5 <= obj <= 24 19.59/19.64 c BCD2: #cores=3, #unrelaxed=73, #relaxed=567, #hardened=0 19.59/19.64 c BCD2: #sat=2 #unsat=6 bias=6/8 19.59/19.65 c Solving starts ... 19.59/19.65 c ============================[ Search Statistics ]============================ 19.59/19.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.59/19.65 c | | | | Limit GC | Var | Constra 19.59/19.65 c ============================================================================= 19.59/19.65 c 0.0s | 0 | 0 | 0 | 578 0 | 2 | 4 19.68/19.75 c 0.1s | 1 | 548 | 100 | 636 0 | 2 | 4 19.79/19.87 c 0.2s | 2 | 1069 | 250 | 636 0 | 2 | 4 19.98/20.06 c 0.4s | 3 | 2227 | 475 | 700 0 | 2 | 4 20.28/20.31 c 0.7s | 4 | 3378 | 813 | 700 1 | 2 | 4 20.78/20.82 c 1.2s | 5 | 4740 | 1320 | 771 2 | 2 | 4 21.29/21.39 c 1.7s | 6 | 7230 | 2081 | 849 4 | 2 | 4 22.10/22.16 c 2.5s | 7 | 11535 | 3223 | 934 6 | 2 | 4 23.39/23.48 c 3.8s | 8 | 15616 | 4936 | 1028 9 | 2 | 4 25.49/25.50 c 5.9s | 9 | 22417 | 7506 | 1131 13 | 2 | 4 27.49/27.52 c 7.9s | 9 | 31035 | 10206 | 1131 18 | 2 | 4 28.18/28.26 c 8.6s | 10 | 34713 | 11361 | 1245 19 | 2 | 4 30.18/30.29 c 10.6s | 10 | 46860 | 14861 | 1245 24 | 2 | 4 31.48/31.55 c 11.9s | 11 | 55767 | 17144 | 1370 27 | 2 | 4 33.48/33.59 c 13.9s | 11 | 67934 | 20844 | 1370 32 | 2 | 4 35.48/35.60 c 15.9s | 11 | 81510 | 24544 | 1370 37 | 2 | 4 36.18/36.27 c 16.6s | 12 | 87743 | 25819 | 1508 39 | 2 | 4 38.28/38.32 c 18.7s | 12 | 99703 | 29119 | 1508 43 | 2 | 4 40.29/40.34 c 20.7s | 12 | 113625 | 32519 | 1508 47 | 2 | 4 42.29/42.35 c 22.7s | 12 | 132407 | 36119 | 1508 51 | 2 | 4 43.79/43.83 c 24.2s | 13 | 145532 | 38832 | 1659 55 | 2 | 4 45.79/45.83 c 26.2s | 13 | 159541 | 42232 | 1659 58 | 2 | 4 47.79/47.87 c 28.2s | 13 | 176025 | 46032 | 1659 63 | 2 | 4 49.79/49.88 c 30.2s | 13 | 191237 | 50132 | 1659 67 | 2 | 4 51.89/51.90 c 32.3s | 13 | 209900 | 54032 | 1659 72 | 2 | 4 53.89/53.91 c 34.3s | 13 | 224717 | 58232 | 1825 76 | 2 | 4 53.89/53.97 c 34.3s | 14 | 225401 | 58352 | 1825 76 | 2 | 4 55.88/55.98 c 36.3s | 14 | 238134 | 61952 | 1825 80 | 2 | 4 57.98/58.01 c 38.4s | 14 | 254397 | 65952 | 1825 84 | 2 | 4 59.98/60.04 c 40.4s | 14 | 268971 | 69752 | 1825 88 | 2 | 4 61.98/62.07 c 42.4s | 14 | 283326 | 73452 | 1825 92 | 2 | 4 64.08/64.12 c 44.5s | 14 | 299936 | 77352 | 1825 96 | 2 | 4 66.09/66.13 c 46.5s | 14 | 313863 | 80952 | 1825 99 | 2 | 4 68.08/68.15 c 48.5s | 14 | 325866 | 84552 | 1825 103 | 2 | 4 69.98/70.01 c 50.4s | 15 | 337360 | 87632 | 2008 106 | 2 | 4 71.98/72.04 c 52.4s | 15 | 348860 | 90932 | 2008 109 | 2 | 4 73.98/74.05 c 54.4s | 15 | 362184 | 94232 | 2008 112 | 2 | 4 76.08/76.11 c 56.5s | 15 | 375454 | 97632 | 2008 115 | 2 | 4 78.09/78.12 c 58.5s | 15 | 390926 | 101132 | 2008 118 | 2 | 4 80.08/80.12 c 60.5s | 15 | 403508 | 104532 | 2008 122 | 2 | 4 82.08/82.16 c 62.5s | 15 | 419497 | 108432 | 2008 125 | 2 | 4 84.08/84.19 c 64.5s | 15 | 432750 | 112132 | 2008 129 | 2 | 4 86.18/86.23 c 66.6s | 15 | 444013 | 115632 | 2008 132 | 2 | 4 88.18/88.24 c 68.6s | 15 | 457327 | 119532 | 2008 136 | 2 | 4 90.18/90.25 c 70.6s | 15 | 467825 | 123132 | 2008 139 | 2 | 4 92.28/92.31 c 72.7s | 15 | 483890 | 126432 | 2008 142 | 2 | 4 94.27/94.38 c 74.7s | 15 | 496881 | 129832 | 2008 145 | 2 | 4 95.27/95.38 c 75.7s | 16 | 502000 | 131552 | 2209 147 | 2 | 4 97.37/97.40 c 77.8s | 16 | 509592 | 135252 | 2209 150 | 2 | 4 99.37/99.44 c 79.8s | 16 | 520262 | 139252 | 2209 153 | 2 | 4 101.37/101.46 c 81.8s | 16 | 529732 | 142752 | 2209 156 | 2 | 4 103.38/103.49 c 83.8s | 16 | 538328 | 145852 | 2209 159 | 2 | 4 105.47/105.51 c 85.9s | 16 | 546262 | 148652 | 2209 161 | 2 | 4 107.47/107.52 c 87.9s | 16 | 554105 | 151652 | 2209 164 | 2 | 4 109.47/109.55 c 89.9s | 16 | 560925 | 154652 | 2209 166 | 2 | 4 111.47/111.56 c 91.9s | 16 | 568678 | 157752 | 2209 169 | 2 | 4 113.58/113.62 c 94.0s | 16 | 578259 | 161052 | 2209 172 | 2 | 4 115.58/115.65 c 96.0s | 16 | 585986 | 164052 | 2209 174 | 2 | 4 117.58/117.65 c 98.0s | 16 | 593442 | 167152 | 2209 177 | 2 | 4 119.58/119.68 c 100s | 16 | 601453 | 170452 | 2209 180 | 2 | 4 121.68/121.73 c 102s | 16 | 609273 | 173752 | 2209 183 | 2 | 4 123.68/123.76 c 104s | 16 | 616169 | 176752 | 2209 185 | 2 | 4 125.77/125.82 c 106s | 16 | 624243 | 179752 | 2209 188 | 2 | 4 127.77/127.86 c 108s | 16 | 633605 | 182952 | 2209 191 | 2 | 4 129.88/129.95 c 110s | 16 | 641076 | 185652 | 2209 193 | 2 | 4 131.87/131.95 c 112s | 16 | 648173 | 188352 | 2209 195 | 2 | 4 133.87/133.99 c 114s | 16 | 656072 | 191452 | 2209 198 | 2 | 4 135.87/135.99 c 116s | 16 | 665305 | 194752 | 2209 201 | 2 | 4 137.67/137.72 c 118s | 17 | 672339 | 197432 | 2430 203 | 2 | 4 139.68/139.73 c 120s | 17 | 680591 | 200532 | 2430 205 | 2 | 4 141.67/141.74 c 122s | 17 | 689686 | 203632 | 2430 208 | 2 | 4 143.67/143.77 c 124s | 17 | 700755 | 207032 | 2430 210 | 2 | 4 145.67/145.78 c 126s | 17 | 711252 | 210232 | 2430 213 | 2 | 4 147.67/147.78 c 128s | 17 | 720804 | 213332 | 2430 215 | 2 | 4 149.68/149.79 c 130s | 17 | 729353 | 216432 | 2430 218 | 2 | 4 151.67/151.80 c 132s | 17 | 738755 | 219532 | 2430 220 | 2 | 4 153.77/153.81 c 134s | 17 | 746341 | 222432 | 2430 222 | 2 | 4 155.77/155.86 c 136s | 17 | 757667 | 226032 | 2430 225 | 2 | 4 157.77/157.87 c 138s | 17 | 766661 | 229332 | 2430 228 | 2 | 4 159.87/159.94 c 140s | 17 | 776915 | 232832 | 2430 230 | 2 | 4 161.97/162.01 c 142s | 17 | 785320 | 236132 | 2430 233 | 2 | 4 163.98/164.06 c 144s | 17 | 793780 | 239532 | 2430 236 | 2 | 4 165.97/166.09 c 146s | 17 | 802706 | 242932 | 2430 238 | 2 | 4 168.07/168.14 c 148s | 17 | 811833 | 246332 | 2430 241 | 2 | 4 170.17/170.22 c 150s | 17 | 820809 | 249632 | 2430 244 | 2 | 4 172.17/172.26 c 152s | 17 | 830268 | 252932 | 2430 246 | 2 | 4 174.17/174.29 c 154s | 17 | 837834 | 255732 | 2430 248 | 2 | 4 176.27/176.30 c 156s | 17 | 844786 | 258632 | 2430 251 | 2 | 4 178.27/178.34 c 158s | 17 | 854035 | 262032 | 2430 253 | 2 | 4 180.26/180.38 c 160s | 17 | 861913 | 265032 | 2430 256 | 2 | 4 182.26/182.39 c 162s | 17 | 870692 | 268232 | 2430 258 | 2 | 4 184.36/184.43 c 164s | 17 | 880091 | 271532 | 2430 261 | 2 | 4 186.36/186.45 c 166s | 17 | 888557 | 274532 | 2430 263 | 2 | 4 188.46/188.50 c 168s | 17 | 897141 | 277632 | 2430 266 | 2 | 4 190.46/190.51 c 170s | 17 | 906580 | 280832 | 2430 268 | 2 | 4 192.47/192.55 c 172s | 17 | 915719 | 284032 | 2430 271 | 2 | 4 194.46/194.57 c 174s | 17 | 924064 | 286932 | 2430 273 | 2 | 4 196.46/196.57 c 176s | 17 | 931608 | 289832 | 2430 275 | 2 | 4 198.56/198.62 c 178s | 17 | 938925 | 292832 | 2430 277 | 2 | 4 200.66/200.70 c 181s | 17 | 947825 | 295832 | 2673 280 | 2 | 4 200.86/200.97 c 181s | 18 | 949150 | 296252 | 2673 280 | 2 | 4 202.96/203.00 c 183s | 18 | 956619 | 299152 | 2673 282 | 2 | 4 204.96/205.02 c 185s | 18 | 966490 | 302652 | 2673 284 | 2 | 4 206.96/207.04 c 187s | 18 | 973914 | 305852 | 2673 287 | 2 | 4 208.96/209.07 c 189s | 18 | 982852 | 308952 | 2673 289 | 2 | 4 211.05/211.11 c 191s | 18 | 990895 | 311952 | 2673 291 | 2 | 4 213.05/213.15 c 193s | 18 | 999167 | 314852 | 2673 293 | 2 | 4 215.15/215.20 c 195s | 18 | 1006997 | 317752 | 2673 295 | 2 | 4 217.15/217.22 c 197s | 18 | 1014653 | 320852 | 2673 297 | 2 | 4 219.15/219.27 c 199s | 18 | 1022592 | 323852 | 2673 300 | 2 | 4 221.16/221.29 c 201s | 18 | 1029249 | 326552 | 2673 302 | 2 | 4 223.26/223.35 c 203s | 18 | 1036607 | 329552 | 2673 304 | 2 | 4 225.35/225.41 c 205s | 18 | 1044363 | 332652 | 2673 306 | 2 | 4 227.35/227.43 c 207s | 18 | 1053018 | 336252 | 2673 309 | 2 | 4 229.35/229.45 c 209s | 18 | 1060289 | 339252 | 2673 311 | 2 | 4 231.36/231.48 c 211s | 18 | 1069267 | 342552 | 2673 313 | 2 | 4 233.46/233.50 c 213s | 18 | 1077106 | 345752 | 2673 315 | 2 | 4 235.47/235.52 c 215s | 18 | 1082861 | 348352 | 2673 317 | 2 | 4 237.46/237.58 c 217s | 18 | 1090358 | 351152 | 2673 319 | 2 | 4 239.56/239.60 c 219s | 18 | 1097742 | 353952 | 2673 321 | 2 | 4 241.56/241.66 c 222s | 18 | 1106304 | 356952 | 2673 323 | 2 | 4 243.56/243.67 c 224s | 18 | 1112730 | 359752 | 2673 325 | 2 | 4 245.56/245.69 c 226s | 18 | 1120339 | 362652 | 2673 327 | 2 | 4 247.66/247.72 c 228s | 18 | 1129551 | 365952 | 2673 330 | 2 | 4 249.66/249.77 c 230s | 18 | 1136065 | 368652 | 2673 332 | 2 | 4 251.66/251.79 c 232s | 18 | 1142663 | 371452 | 2673 334 | 2 | 4 253.76/253.86 c 234s | 18 | 1150545 | 374552 | 2673 336 | 2 | 4 255.86/255.92 c 236s | 18 | 1158060 | 377552 | 2673 338 | 2 | 4 257.86/257.96 c 238s | 18 | 1164423 | 380252 | 2673 340 | 2 | 4 259.96/260.06 c 240s | 18 | 1171786 | 383152 | 2673 342 | 2 | 4 262.06/262.10 c 242s | 18 | 1179926 | 386152 | 2673 344 | 2 | 4 264.06/264.16 c 244s | 18 | 1186847 | 388952 | 2673 346 | 2 | 4 266.16/266.23 c 246s | 18 | 1194318 | 391752 | 2673 348 | 2 | 4 268.15/268.26 c 248s | 18 | 1200388 | 394152 | 2673 350 | 2 | 4 270.25/270.31 c 250s | 18 | 1205865 | 396652 | 2673 352 | 2 | 4 272.25/272.32 c 252s | 18 | 1211634 | 399152 | 2673 354 | 2 | 4 274.25/274.37 c 254s | 18 | 1219127 | 401652 | 2673 355 | 2 | 4 276.25/276.39 c 256s | 18 | 1226436 | 404352 | 2673 357 | 2 | 4 278.36/278.43 c 258s | 18 | 1232314 | 406752 | 2673 359 | 2 | 4 280.35/280.48 c 260s | 18 | 1237637 | 409252 | 2673 361 | 2 | 4 282.45/282.54 c 262s | 18 | 1243544 | 411852 | 2673 363 | 2 | 4 284.45/284.55 c 264s | 18 | 1248921 | 414152 | 2673 364 | 2 | 4 286.45/286.57 c 266s | 18 | 1253821 | 416252 | 2673 366 | 2 | 4 288.55/288.66 c 269s | 18 | 1258942 | 418452 | 2673 367 | 2 | 4 290.65/290.75 c 271s | 18 | 1264610 | 420552 | 2673 369 | 2 | 4 292.75/292.83 c 273s | 18 | 1270859 | 422852 | 2673 371 | 2 | 4 294.85/294.93 c 275s | 18 | 1276594 | 425052 | 2673 372 | 2 | 4 296.95/297.02 c 277s | 18 | 1281992 | 426952 | 2673 374 | 2 | 4 298.94/299.04 c 279s | 18 | 1286952 | 428952 | 2673 375 | 2 | 4 300.94/301.09 c 281s | 18 | 1292284 | 431252 | 2673 377 | 2 | 4 303.04/303.10 c 283s | 18 | 1297008 | 433452 | 2673 378 | 2 | 4 305.04/305.13 c 285s | 18 | 1302152 | 435752 | 2673 380 | 2 | 4 307.04/307.14 c 287s | 18 | 1307807 | 438152 | 2673 382 | 2 | 4 309.05/309.17 c 289s | 18 | 1313336 | 440552 | 2673 383 | 2 | 4 311.04/311.19 c 291s | 18 | 1319562 | 442952 | 2941 385 | 2 | 4 312.24/312.39 c 292s | 19 | 1323626 | 444482 | 2941 386 | 2 | 4 314.34/314.45 c 294s | 19 | 1329427 | 446782 | 2941 387 | 2 | 4 316.44/316.50 c 296s | 19 | 1334500 | 448782 | 2941 389 | 2 | 4 318.44/318.53 c 298s | 19 | 1340069 | 450882 | 2941 390 | 2 | 4 320.54/320.61 c 300s | 19 | 1345736 | 453082 | 2941 391 | 2 | 4 322.54/322.69 c 303s | 19 | 1351466 | 455282 | 2941 393 | 2 | 4 324.64/324.73 c 305s | 19 | 1357644 | 457682 | 2941 394 | 2 | 4 326.65/326.78 c 307s | 19 | 1365285 | 460382 | 2941 396 | 2 | 4 328.74/328.83 c 309s | 19 | 1372267 | 462882 | 2941 398 | 2 | 4 330.74/330.88 c 311s | 19 | 1380055 | 465282 | 2941 399 | 2 | 4 332.84/332.92 c 313s | 19 | 1386782 | 467782 | 2941 401 | 2 | 4 334.84/334.98 c 315s | 19 | 1395776 | 470282 | 2941 403 | 2 | 4 336.84/336.99 c 317s | 19 | 1403365 | 472782 | 2941 404 | 2 | 4 338.94/339.07 c 319s | 19 | 1410083 | 475482 | 2941 406 | 2 | 4 340.94/341.08 c 321s | 19 | 1417368 | 477982 | 2941 408 | 2 | 4 342.93/343.08 c 323s | 19 | 1423560 | 480682 | 2941 409 | 2 | 4 345.03/345.11 c 325s | 19 | 1430244 | 483282 | 2941 411 | 2 | 4 347.04/347.14 c 327s | 19 | 1437150 | 485982 | 2941 413 | 2 | 4 349.04/349.17 c 329s | 19 | 1443590 | 488482 | 2941 414 | 2 | 4 351.14/351.21 c 331s | 19 | 1449856 | 490882 | 2941 416 | 2 | 4 353.24/353.32 c 333s | 19 | 1456122 | 493382 | 2941 418 | 2 | 4 355.25/355.38 c 335s | 19 | 1462317 | 495982 | 2941 419 | 2 | 4 357.34/357.42 c 337s | 19 | 1470529 | 498782 | 2941 421 | 2 | 4 359.34/359.47 c 339s | 19 | 1478086 | 501982 | 2941 423 | 2 | 4 361.34/361.49 c 341s | 19 | 1485207 | 504782 | 2941 425 | 2 | 4 363.44/363.53 c 343s | 19 | 1493469 | 507782 | 2941 427 | 2 | 4 365.44/365.55 c 345s | 19 | 1500174 | 510382 | 2941 429 | 2 | 4 367.54/367.61 c 347s | 19 | 1506640 | 512782 | 2941 430 | 2 | 4 369.55/369.69 c 350s | 19 | 1511612 | 515182 | 2941 432 | 2 | 4 371.64/371.76 c 352s | 19 | 1516539 | 517482 | 2941 433 | 2 | 4 373.64/373.78 c 354s | 19 | 1521834 | 519882 | 2941 435 | 2 | 4 375.74/375.84 c 356s | 19 | 1528692 | 522582 | 2941 436 | 2 | 4 377.84/377.93 c 358s | 19 | 1534622 | 525182 | 2941 438 | 2 | 4 379.94/380.00 c 360s | 19 | 1540000 | 527482 | 2941 440 | 2 | 4 381.94/382.01 c 362s | 19 | 1545465 | 529682 | 2941 441 | 2 | 4 383.94/384.08 c 364s | 19 | 1551577 | 531882 | 2941 442 | 2 | 4 386.04/386.13 c 366s | 19 | 1558151 | 534082 | 2941 444 | 2 | 4 388.04/388.18 c 368s | 19 | 1566086 | 536482 | 2941 445 | 2 | 4 390.14/390.20 c 370s | 19 | 1571065 | 538382 | 2941 447 | 2 | 4 392.13/392.25 c 372s | 19 | 1577833 | 540682 | 2941 448 | 2 | 4 394.13/394.26 c 374s | 19 | 1583797 | 542882 | 2941 450 | 2 | 4 396.23/396.30 c 376s | 19 | 1589436 | 545182 | 2941 451 | 2 | 4 398.24/398.30 c 378s | 19 | 1595550 | 547682 | 2941 453 | 2 | 4 400.23/400.32 c 380s | 19 | 1603533 | 550682 | 2941 455 | 2 | 4 402.23/402.34 c 382s | 19 | 1610739 | 553482 | 2941 456 | 2 | 4 404.23/404.38 c 384s | 19 | 1618724 | 556382 | 2941 458 | 2 | 4 406.33/406.44 c 386s | 19 | 1627905 | 559082 | 2941 460 | 2 | 4 408.33/408.47 c 388s | 19 | 1634896 | 561582 | 2941 462 | 2 | 4 410.43/410.50 c 390s | 19 | 1642493 | 564182 | 2941 463 | 2 | 4 412.44/412.54 c 392s | 19 | 1648997 | 566882 | 2941 465 | 2 | 4 414.43/414.59 c 394s | 19 | 1656993 | 569882 | 2941 467 | 2 | 4 416.53/416.64 c 396s | 19 | 1665118 | 572582 | 2941 469 | 2 | 4 418.63/418.72 c 399s | 19 | 1674006 | 575482 | 2941 471 | 2 | 4 420.63/420.75 c 401s | 19 | 1683123 | 578282 | 2941 473 | 2 | 4 422.63/422.77 c 403s | 19 | 1691464 | 580882 | 2941 474 | 2 | 4 424.64/424.79 c 405s | 19 | 1699388 | 583582 | 2941 476 | 2 | 4 426.74/426.83 c 407s | 19 | 1708817 | 586182 | 2941 478 | 2 | 4 428.73/428.86 c 409s | 19 | 1718511 | 588682 | 2941 479 | 2 | 4 430.83/430.91 c 411s | 19 | 1727520 | 591082 | 2941 481 | 2 | 4 432.83/432.94 c 413s | 19 | 1736428 | 593882 | 2941 483 | 2 | 4 434.83/434.98 c 415s | 19 | 1748947 | 597482 | 2941 485 | 2 | 4 436.93/437.01 c 417s | 19 | 1758946 | 601082 | 2941 487 | 2 | 4 438.93/439.02 c 419s | 19 | 1769919 | 605182 | 2941 490 | 2 | 4 440.93/441.04 c 421s | 19 | 1782057 | 609482 | 2941 493 | 2 | 4 442.93/443.08 c 423s | 19 | 1791700 | 613282 | 2941 495 | 2 | 4 444.93/445.09 c 425s | 19 | 1801126 | 616682 | 2941 498 | 2 | 4 447.03/447.13 c 427s | 19 | 1810722 | 620082 | 2941 500 | 2 | 4 449.02/449.16 c 429s | 19 | 1821434 | 623382 | 2941 502 | 2 | 4 451.03/451.18 c 431s | 19 | 1831490 | 626482 | 2941 504 | 2 | 4 453.02/453.19 c 433s | 19 | 1839867 | 629482 | 2941 506 | 2 | 4 455.12/455.20 c 435s | 19 | 1847641 | 632582 | 2941 508 | 2 | 4 457.12/457.22 c 437s | 19 | 1856315 | 635782 | 2941 510 | 2 | 4 459.12/459.28 c 439s | 19 | 1863739 | 638582 | 2941 512 | 2 | 4 461.22/461.32 c 441s | 19 | 1871235 | 641382 | 2941 514 | 2 | 4 463.22/463.38 c 443s | 19 | 1879945 | 644482 | 2941 516 | 2 | 4 465.33/465.42 c 445s | 19 | 1886892 | 647582 | 2941 518 | 2 | 4 467.32/467.45 c 447s | 19 | 1894059 | 650382 | 2941 520 | 2 | 4 469.32/469.47 c 449s | 19 | 1903317 | 653382 | 2941 521 | 2 | 4 471.32/471.49 c 451s | 19 | 1911526 | 656182 | 2941 523 | 2 | 4 473.42/473.52 c 453s | 19 | 1918595 | 658982 | 2941 525 | 2 | 4 475.42/475.52 c 455s | 19 | 1927505 | 661782 | 3236 527 | 2 | 4 477.43/477.57 c 457s | 19 | 1935997 | 664582 | 3236 528 | 2 | 4 479.02/479.19 c 459s | 20 | 1942063 | 666827 | 3236 530 | 2 | 4 481.12/481.21 c 461s | 20 | 1949429 | 669627 | 3236 531 | 2 | 4 483.12/483.27 c 463s | 20 | 1956096 | 672427 | 3236 533 | 2 | 4 485.22/485.30 c 465s | 20 | 1963293 | 675427 | 3236 535 | 2 | 4 487.22/487.40 c 467s | 20 | 1969209 | 678127 | 3236 537 | 2 | 4 489.32/489.44 c 469s | 20 | 1975047 | 680927 | 3236 538 | 2 | 4 491.32/491.46 c 471s | 20 | 1982010 | 683627 | 3236 540 | 2 | 4 493.42/493.50 c 473s | 20 | 1989695 | 686727 | 3236 542 | 2 | 4 495.41/495.52 c 475s | 20 | 1996980 | 689727 | 3236 543 | 2 | 4 497.41/497.59 c 477s | 20 | 2004209 | 692827 | 3236 545 | 2 | 4 499.51/499.62 c 479s | 20 | 2011221 | 695727 | 3236 547 | 2 | 4 501.52/501.64 c 481s | 20 | 2017117 | 698327 | 3236 549 | 2 | 4 503.51/503.69 c 484s | 20 | 2023094 | 701027 | 3236 550 | 2 | 4 505.61/505.75 c 486s | 20 | 2029959 | 703927 | 3236 552 | 2 | 4 507.61/507.78 c 488s | 20 | 2036775 | 707027 | 3236 554 | 2 | 4 509.71/509.84 c 490s | 20 | 2045301 | 710027 | 3236 556 | 2 | 4 511.71/511.87 c 492s | 20 | 2051462 | 712827 | 3236 557 | 2 | 4 513.81/513.92 c 494s | 20 | 2058759 | 715827 | 3236 559 | 2 | 4 515.82/515.95 c 496s | 20 | 2065680 | 718827 | 3236 561 | 2 | 4 517.81/517.97 c 498s | 20 | 2072651 | 721627 | 3236 562 | 2 | 4 519.91/520.02 c 500s | 20 | 2079572 | 724327 | 3236 564 | 2 | 4 521.91/522.03 c 502s | 20 | 2087639 | 727427 | 3236 566 | 2 | 4 523.91/524.09 c 504s | 20 | 2095472 | 730127 | 3236 568 | 2 | 4 526.01/526.10 c 506s | 20 | 2102630 | 733127 | 3236 569 | 2 | 4 528.01/528.16 c 508s | 20 | 2110230 | 736227 | 3236 571 | 2 | 4 530.01/530.18 c 510s | 20 | 2116732 | 739127 | 3236 573 | 2 | 4 532.11/532.22 c 512s | 20 | 2123104 | 741827 | 3236 575 | 2 | 4 534.11/534.28 c 514s | 20 | 2130424 | 744627 | 3236 576 | 2 | 4 536.21/536.31 c 516s | 20 | 2137229 | 747227 | 3236 578 | 2 | 4 538.21/538.33 c 518s | 20 | 2144403 | 749927 | 3236 579 | 2 | 4 540.21/540.34 c 520s | 20 | 2152191 | 752827 | 3236 581 | 2 | 4 542.22/542.37 c 522s | 20 | 2159850 | 755727 | 3236 583 | 2 | 4 544.31/544.42 c 524s | 20 | 2168161 | 758627 | 3236 585 | 2 | 4 546.31/546.49 c 526s | 20 | 2177661 | 761927 | 3236 587 | 2 | 4 548.41/548.52 c 528s | 20 | 2184745 | 764927 | 3236 588 | 2 | 4 550.41/550.54 c 530s | 20 | 2190925 | 767627 | 3236 590 | 2 | 4 552.41/552.56 c 532s | 20 | 2197204 | 770327 | 3236 592 | 2 | 4 554.42/554.58 c 534s | 20 | 2204344 | 773127 | 3236 593 | 2 | 4 556.52/556.65 c 537s | 20 | 2210594 | 775627 | 3236 595 | 2 | 4 558.51/558.68 c 539s | 20 | 2216085 | 777927 | 3236 596 | 2 | 4 560.61/560.75 c 541s | 20 | 2222359 | 780427 | 3236 598 | 2 | 4 562.71/562.82 c 543s | 20 | 2228358 | 782827 | 3236 599 | 2 | 4 564.71/564.83 c 545s | 20 | 2234050 | 785227 | 3236 600 | 2 | 4 566.71/566.89 c 547s | 20 | 2240324 | 787627 | 3236 602 | 2 | 4 568.81/568.91 c 549s | 20 | 2246298 | 790327 | 3236 603 | 2 | 4 570.82/570.97 c 551s | 20 | 2253137 | 793027 | 3236 605 | 2 | 4 572.91/573.01 c 553s | 20 | 2259011 | 795427 | 3236 607 | 2 | 4 574.91/575.07 c 555s | 20 | 2265816 | 798127 | 3236 608 | 2 | 4 576.91/577.08 c 557s | 20 | 2272820 | 800827 | 3236 610 | 2 | 4 578.91/579.09 c 559s | 20 | 2280193 | 803727 | 3236 612 | 2 | 4 581.01/581.16 c 561s | 20 | 2288675 | 806827 | 3236 613 | 2 | 4 583.11/583.24 c 563s | 20 | 2296572 | 809927 | 3236 615 | 2 | 4 585.21/585.31 c 565s | 20 | 2303490 | 812727 | 3236 617 | 2 | 4 587.21/587.37 c 567s | 20 | 2311378 | 816127 | 3236 619 | 2 | 4 589.31/589.40 c 569s | 20 | 2318868 | 819327 | 3236 621 | 2 | 4 591.31/591.41 c 571s | 20 | 2326890 | 822527 | 3236 623 | 2 | 4 593.31/593.43 c 573s | 20 | 2334498 | 825827 | 3236 625 | 2 | 4 595.31/595.47 c 575s | 20 | 2342215 | 828827 | 3236 627 | 2 | 4 597.31/597.48 c 577s | 20 | 2350329 | 831627 | 3236 628 | 2 | 4 599.30/599.48 c 579s | 20 | 2358065 | 834527 | 3236 630 | 2 | 4 601.40/601.50 c 581s | 20 | 2366435 | 837627 | 3236 632 | 2 | 4 603.40/603.51 c 583s | 20 | 2374388 | 840727 | 3236 634 | 2 | 4 605.40/605.55 c 585s | 20 | 2383018 | 844027 | 3236 636 | 2 | 4 607.50/607.60 c 587s | 20 | 2391063 | 847127 | 3236 638 | 2 | 4 609.50/609.63 c 589s | 20 | 2399750 | 850527 | 3236 640 | 2 | 4 611.51/611.66 c 592s | 20 | 2408340 | 853827 | 3236 642 | 2 | 4 613.50/613.66 c 594s | 20 | 2415476 | 856927 | 3236 644 | 2 | 4 615.60/615.71 c 596s | 20 | 2423765 | 860027 | 3236 645 | 2 | 4 617.60/617.77 c 598s | 20 | 2432201 | 863127 | 3236 647 | 2 | 4 619.70/619.83 c 600s | 20 | 2440751 | 866427 | 3236 649 | 2 | 4 621.70/621.87 c 602s | 20 | 2449288 | 869627 | 3236 651 | 2 | 4 623.80/623.91 c 604s | 20 | 2458045 | 872727 | 3236 653 | 2 | 4 625.80/625.94 c 606s | 20 | 2467104 | 875827 | 3236 655 | 2 | 4 627.80/627.97 c 608s | 20 | 2474691 | 878727 | 3236 657 | 2 | 4 629.80/629.98 c 610s | 20 | 2483118 | 881827 | 3236 659 | 2 | 4 631.90/632.02 c 612s | 20 | 2490291 | 884627 | 3236 660 | 2 | 4 633.90/634.06 c 614s | 20 | 2498522 | 887527 | 3236 662 | 2 | 4 636.00/636.11 c 616s | 20 | 2507277 | 890727 | 3236 664 | 2 | 4 638.00/638.14 c 618s | 20 | 2516100 | 893927 | 3236 666 | 2 | 4 639.99/640.19 c 620s | 20 | 2524119 | 897227 | 3236 668 | 2 | 4 642.10/642.21 c 622s | 20 | 2532347 | 900127 | 3236 670 | 2 | 4 644.10/644.27 c 624s | 20 | 2539769 | 903127 | 3236 671 | 2 | 4 646.20/646.31 c 626s | 20 | 2548040 | 906227 | 3236 673 | 2 | 4 648.20/648.37 c 628s | 20 | 2557648 | 909527 | 3236 675 | 2 | 4 650.19/650.38 c 630s | 20 | 2568736 | 912627 | 3236 677 | 2 | 4 652.30/652.41 c 632s | 20 | 2579068 | 916227 | 3236 679 | 2 | 4 654.29/654.46 c 634s | 20 | 2588967 | 919727 | 3236 681 | 2 | 4 656.39/656.50 c 636s | 20 | 2598682 | 923027 | 3236 683 | 2 | 4 658.39/658.55 c 638s | 20 | 2605528 | 925927 | 3236 685 | 2 | 4 660.39/660.56 c 640s | 20 | 2615420 | 929327 | 3236 687 | 2 | 4 662.39/662.56 c 642s | 20 | 2622757 | 932427 | 3236 689 | 2 | 4 664.40/664.59 c 644s | 20 | 2631840 | 936127 | 3236 691 | 2 | 4 666.50/666.63 c 646s | 20 | 2640017 | 939327 | 3236 693 | 2 | 4 668.49/668.67 c 649s | 20 | 2648229 | 942427 | 3236 695 | 2 | 4 670.49/670.70 c 651s | 20 | 2656659 | 945327 | 3236 697 | 2 | 4 672.59/672.76 c 653s | 20 | 2662981 | 947927 | 3236 698 | 2 | 4 674.69/674.80 c 655s | 20 | 2669796 | 950827 | 3236 700 | 2 | 4 676.69/676.86 c 657s | 20 | 2678554 | 953827 | 3236 702 | 2 | 4 678.69/678.89 c 659s | 20 | 2688000 | 957027 | 3236 703 | 2 | 4 680.79/680.91 c 661s | 20 | 2696236 | 960027 | 3236 705 | 2 | 4 682.79/682.97 c 663s | 20 | 2705565 | 963527 | 3236 707 | 2 | 4 684.79/684.99 c 665s | 20 | 2714010 | 966927 | 3236 709 | 2 | 4 686.89/687.01 c 667s | 20 | 2722906 | 970027 | 3236 711 | 2 | 4 688.89/689.03 c 669s | 20 | 2732371 | 973427 | 3236 713 | 2 | 4 690.89/691.05 c 671s | 20 | 2740728 | 976427 | 3236 715 | 2 | 4 692.89/693.08 c 673s | 20 | 2748002 | 979227 | 3236 717 | 2 | 4 694.98/695.13 c 675s | 20 | 2755650 | 982427 | 3236 719 | 2 | 4 696.98/697.15 c 677s | 20 | 2762359 | 985227 | 3236 720 | 2 | 4 699.08/699.21 c 679s | 20 | 2770055 | 988127 | 3236 722 | 2 | 4 701.08/701.27 c 681s | 20 | 2777751 | 991327 | 3236 724 | 2 | 4 703.18/703.34 c 683s | 20 | 2784028 | 993827 | 3560 725 | 2 | 4 705.18/705.36 c 685s | 20 | 2789691 | 996427 | 3560 727 | 2 | 4 707.29/707.43 c 687s | 20 | 2795704 | 999127 | 3560 728 | 2 | 4 708.18/708.37 c 688s | 21 | 2798430 | 1000345 | 3560 729 | 2 | 4 710.28/710.41 c 690s | 21 | 2804627 | 1003045 | 3560 730 | 2 | 4 712.28/712.47 c 692s | 21 | 2812027 | 1005945 | 3560 732 | 2 | 4 714.38/714.54 c 694s | 21 | 2818395 | 1008545 | 3560 733 | 2 | 4 716.38/716.54 c 696s | 21 | 2823413 | 1010845 | 3560 734 | 2 | 4 718.38/718.58 c 698s | 21 | 2829448 | 1013445 | 3560 736 | 2 | 4 720.49/720.61 c 700s | 21 | 2836136 | 1016145 | 3560 737 | 2 | 4 722.48/722.67 c 703s | 21 | 2841875 | 1018645 | 3560 739 | 2 | 4 724.48/724.69 c 705s | 21 | 2849059 | 1021445 | 3560 740 | 2 | 4 726.58/726.73 c 707s | 21 | 2855637 | 1024045 | 3560 742 | 2 | 4 728.58/728.79 c 709s | 21 | 2861382 | 1026645 | 3560 743 | 2 | 4 730.68/730.83 c 711s | 21 | 2868347 | 1029245 | 3560 744 | 2 | 4 732.68/732.85 c 713s | 21 | 2874337 | 1031645 | 3560 746 | 2 | 4 734.68/734.86 c 715s | 21 | 2881523 | 1034045 | 3560 747 | 2 | 4 736.68/736.87 c 717s | 21 | 2888729 | 1036945 | 3560 748 | 2 | 4 738.78/738.94 c 719s | 21 | 2896897 | 1040045 | 3560 750 | 2 | 4 740.78/741.00 c 721s | 21 | 2903702 | 1042945 | 3560 752 | 2 | 4 742.87/743.09 c 723s | 21 | 2910220 | 1045745 | 3560 753 | 2 | 4 744.98/745.17 c 725s | 21 | 2917386 | 1048645 | 3560 755 | 2 | 4 746.98/747.19 c 727s | 21 | 2924181 | 1051245 | 3560 756 | 2 | 4 749.09/749.23 c 729s | 21 | 2931294 | 1054245 | 3560 758 | 2 | 4 751.08/751.28 c 731s | 21 | 2940130 | 1057545 | 3560 760 | 2 | 4 753.18/753.34 c 733s | 21 | 2947142 | 1060545 | 3560 761 | 2 | 4 755.18/755.34 c 735s | 21 | 2954163 | 1063345 | 3560 763 | 2 | 4 757.28/757.40 c 737s | 21 | 2962618 | 1066345 | 3560 764 | 2 | 4 759.28/759.41 c 739s | 21 | 2970490 | 1069245 | 3560 766 | 2 | 4 761.28/761.45 c 741s | 21 | 2978621 | 1072445 | 3560 768 | 2 | 4 763.29/763.50 c 743s | 21 | 2985482 | 1075245 | 3560 769 | 2 | 4 765.38/765.51 c 745s | 21 | 2992276 | 1077845 | 3560 771 | 2 | 4 767.38/767.55 c 747s | 21 | 3000147 | 1080745 | 3560 772 | 2 | 4 769.48/769.60 c 749s | 21 | 3008125 | 1083545 | 3560 774 | 2 | 4 771.48/771.60 c 751s | 21 | 3016580 | 1086545 | 3560 775 | 2 | 4 773.48/773.62 c 753s | 21 | 3026424 | 1089845 | 3560 777 | 2 | 4 775.48/775.68 c 756s | 21 | 3034882 | 1093045 | 3560 779 | 2 | 4 777.58/777.74 c 758s | 21 | 3042565 | 1096045 | 3560 781 | 2 | 4 779.58/779.78 c 760s | 21 | 3051960 | 1099145 | 3560 782 | 2 | 4 781.68/781.85 c 762s | 21 | 3058994 | 1102045 | 3560 784 | 2 | 4 783.78/783.90 c 764s | 21 | 3066101 | 1104845 | 3560 785 | 2 | 4 785.78/785.95 c 766s | 21 | 3073222 | 1107545 | 3560 787 | 2 | 4 787.78/787.98 c 768s | 21 | 3081305 | 1110345 | 3560 788 | 2 | 4 789.87/790.04 c 770s | 21 | 3090267 | 1113345 | 3560 790 | 2 | 4 791.88/792.09 c 772s | 21 | 3097063 | 1116145 | 3560 792 | 2 | 4 793.97/794.12 c 774s | 21 | 3106539 | 1119245 | 3560 793 | 2 | 4 795.97/796.14 c 776s | 21 | 3115373 | 1122445 | 3560 795 | 2 | 4 797.97/798.17 c 778s | 21 | 3127020 | 1126245 | 3560 797 | 2 | 4 799.97/800.17 c 780s | 21 | 3138713 | 1129845 | 3560 799 | 2 | 4 801.97/802.18 c 782s | 21 | 3147565 | 1133345 | 3560 801 | 2 | 4 804.08/804.22 c 784s | 21 | 3157450 | 1137145 | 3560 803 | 2 | 4 806.07/806.29 c 786s | 21 | 3167968 | 1140645 | 3560 805 | 2 | 4 808.17/808.30 c 788s | 21 | 3177506 | 1143645 | 3560 807 | 2 | 4 810.17/810.32 c 790s | 21 | 3189472 | 1146945 | 3560 808 | 2 | 4 812.17/812.35 c 792s | 21 | 3198196 | 1149945 | 3560 810 | 2 | 4 814.17/814.38 c 794s | 21 | 3208156 | 1153045 | 3560 812 | 2 | 4 816.27/816.41 c 796s | 21 | 3218684 | 1156545 | 3560 814 | 2 | 4 818.28/818.46 c 798s | 21 | 3228715 | 1159945 | 3560 816 | 2 | 4 820.37/820.51 c 800s | 21 | 3240095 | 1163445 | 3560 817 | 2 | 4 822.37/822.56 c 802s | 21 | 3250583 | 1166745 | 3560 819 | 2 | 4 824.47/824.60 c 804s | 21 | 3261561 | 1170245 | 3560 821 | 2 | 4 826.47/826.67 c 807s | 21 | 3274048 | 1173945 | 3560 823 | 2 | 4 828.47/828.68 c 809s | 21 | 3286879 | 1177745 | 3560 825 | 2 | 4 830.47/830.69 c 811s | 21 | 3297542 | 1181145 | 3560 827 | 2 | 4 832.57/832.71 c 813s | 21 | 3309206 | 1184745 | 3560 829 | 2 | 4 834.57/834.74 c 815s | 21 | 3321464 | 1188345 | 3560 831 | 2 | 4 836.56/836.77 c 817s | 21 | 3332601 | 1191945 | 3560 833 | 2 | 4 838.56/838.77 c 819s | 21 | 3344566 | 1195345 | 3560 835 | 2 | 4 840.66/840.80 c 821s | 21 | 3356400 | 1198945 | 3560 837 | 2 | 4 842.66/842.81 c 823s | 21 | 3367874 | 1202445 | 3560 839 | 2 | 4 844.67/844.87 c 825s | 21 | 3379693 | 1205945 | 3560 841 | 2 | 4 846.76/846.90 c 827s | 21 | 3389996 | 1209345 | 3560 843 | 2 | 4 848.76/848.97 c 829s | 21 | 3401655 | 1212745 | 3560 845 | 2 | 4 850.86/851.01 c 831s | 21 | 3412613 | 1216045 | 3560 846 | 2 | 4 852.86/853.06 c 833s | 21 | 3422747 | 1219345 | 3560 848 | 2 | 4 854.86/855.10 c 835s | 21 | 3434969 | 1222745 | 3560 850 | 2 | 4 856.96/857.12 c 837s | 21 | 3445885 | 1225945 | 3560 852 | 2 | 4 858.97/859.18 c 839s | 21 | 3456067 | 1229045 | 3560 853 | 2 | 4 861.06/861.22 c 841s | 21 | 3465750 | 1232145 | 3560 855 | 2 | 4 863.06/863.22 c 843s | 21 | 3474658 | 1235045 | 3560 857 | 2 | 4 865.06/865.24 c 845s | 21 | 3485197 | 1238145 | 3560 858 | 2 | 4 867.06/867.26 c 847s | 21 | 3494518 | 1241145 | 3560 860 | 2 | 4 869.16/869.33 c 849s | 21 | 3504408 | 1244245 | 3560 862 | 2 | 4 871.16/871.36 c 851s | 21 | 3512396 | 1246845 | 3560 863 | 2 | 4 873.15/873.38 c 853s | 21 | 3522971 | 1250345 | 3560 865 | 2 | 4 875.25/875.40 c 855s | 21 | 3533682 | 1253845 | 3560 867 | 2 | 4 877.25/877.43 c 857s | 21 | 3544990 | 1257245 | 3560 869 | 2 | 4 879.25/879.45 c 859s | 21 | 3556913 | 1261045 | 3560 871 | 2 | 4 881.25/881.46 c 861s | 21 | 3568984 | 1264845 | 3560 873 | 2 | 4 883.26/883.49 c 863s | 21 | 3579037 | 1268045 | 3560 875 | 2 | 4 885.36/885.52 c 865s | 21 | 3589228 | 1271445 | 3560 877 | 2 | 4 887.35/887.53 c 867s | 21 | 3597239 | 1274445 | 3560 878 | 2 | 4 889.35/889.59 c 869s | 21 | 3604964 | 1277145 | 3560 880 | 2 | 4 891.45/891.61 c 871s | 21 | 3613764 | 1280145 | 3560 881 | 2 | 4 893.45/893.62 c 873s | 21 | 3621797 | 1283045 | 3560 883 | 2 | 4 895.45/895.68 c 876s | 21 | 3630178 | 1286145 | 3560 885 | 2 | 4 897.56/897.72 c 878s | 21 | 3640529 | 1289645 | 3560 887 | 2 | 4 899.55/899.77 c 880s | 21 | 3650388 | 1292845 | 3560 888 | 2 | 4 901.65/901.80 c 882s | 21 | 3661691 | 1296245 | 3560 890 | 2 | 4 903.65/903.81 c 884s | 21 | 3671116 | 1299445 | 3560 892 | 2 | 4 905.65/905.83 c 886s | 21 | 3680226 | 1302645 | 3560 894 | 2 | 4 907.65/907.88 c 888s | 21 | 3689568 | 1305545 | 3560 895 | 2 | 4 909.66/909.88 c 890s | 21 | 3700076 | 1308845 | 3560 897 | 2 | 4 911.76/911.94 c 892s | 21 | 3711314 | 1311945 | 3560 899 | 2 | 4 913.86/914.01 c 894s | 21 | 3721018 | 1315345 | 3560 900 | 2 | 4 915.86/916.05 c 896s | 21 | 3729475 | 1318545 | 3560 902 | 2 | 4 917.86/918.07 c 898s | 21 | 3739021 | 1321745 | 3560 904 | 2 | 4 919.96/920.11 c 900s | 21 | 3746493 | 1324745 | 3560 906 | 2 | 4 921.96/922.14 c 902s | 21 | 3754772 | 1327945 | 3560 907 | 2 | 4 923.96/924.19 c 904s | 21 | 3763120 | 1331145 | 3560 909 | 2 | 4 926.06/926.25 c 906s | 21 | 3770096 | 1334145 | 3560 911 | 2 | 4 928.05/928.28 c 908s | 21 | 3778915 | 1337345 | 3560 912 | 2 | 4 930.15/930.31 c 910s | 21 | 3788940 | 1340645 | 3560 914 | 2 | 4 932.15/932.36 c 912s | 21 | 3797212 | 1343545 | 3560 916 | 2 | 4 934.15/934.36 c 914s | 21 | 3802889 | 1346045 | 3560 917 | 2 | 4 936.15/936.39 c 916s | 21 | 3809450 | 1348845 | 3560 919 | 2 | 4 938.16/938.40 c 918s | 21 | 3817962 | 1352145 | 3560 920 | 2 | 4 940.25/940.44 c 920s | 21 | 3827107 | 1355645 | 3560 922 | 2 | 4 942.25/942.44 c 922s | 21 | 3836871 | 1359245 | 3560 924 | 2 | 4 944.25/944.49 c 924s | 21 | 3846388 | 1362645 | 3560 926 | 2 | 4 946.35/946.52 c 926s | 21 | 3855265 | 1365845 | 3560 928 | 2 | 4 948.35/948.55 c 928s | 21 | 3866497 | 1369745 | 3560 930 | 2 | 4 950.45/950.60 c 930s | 21 | 3876548 | 1373445 | 3560 932 | 2 | 4 952.46/952.61 c 932s | 21 | 3884787 | 1376945 | 3560 934 | 2 | 4 954.45/954.61 c 934s | 21 | 3892185 | 1380245 | 3560 936 | 2 | 4 956.45/956.66 c 937s | 21 | 3901836 | 1384045 | 3560 938 | 2 | 4 958.45/958.68 c 939s | 21 | 3910851 | 1387445 | 3560 940 | 2 | 4 960.55/960.73 c 941s | 21 | 3920492 | 1390845 | 3560 941 | 2 | 4 962.55/962.78 c 943s | 21 | 3929594 | 1394345 | 3560 943 | 2 | 4 964.55/964.78 c 945s | 21 | 3937735 | 1397445 | 3560 945 | 2 | 4 966.65/966.84 c 947s | 21 | 3945545 | 1400545 | 3560 947 | 2 | 4 968.65/968.88 c 949s | 21 | 3952765 | 1403445 | 3560 948 | 2 | 4 970.65/970.89 c 951s | 21 | 3959847 | 1406445 | 3560 950 | 2 | 4 972.75/972.93 c 953s | 21 | 3969186 | 1409845 | 3560 952 | 2 | 4 974.75/974.96 c 955s | 21 | 3976927 | 1412845 | 3560 953 | 2 | 4 976.85/977.02 c 957s | 21 | 3983706 | 1415645 | 3560 955 | 2 | 4 978.85/979.03 c 959s | 21 | 3991172 | 1418745 | 3560 957 | 2 | 4 980.84/981.07 c 961s | 21 | 4000293 | 1422145 | 3560 958 | 2 | 4 982.94/983.14 c 963s | 21 | 4007738 | 1425145 | 3560 960 | 2 | 4 985.04/985.23 c 965s | 21 | 4013963 | 1427945 | 3560 962 | 2 | 4 987.04/987.27 c 967s | 21 | 4021735 | 1430945 | 3560 963 | 2 | 4 989.04/989.29 c 969s | 21 | 4029516 | 1433745 | 3560 965 | 2 | 4 991.14/991.37 c 971s | 21 | 4037537 | 1436645 | 3560 966 | 2 | 4 993.15/993.38 c 973s | 21 | 4044191 | 1439445 | 3560 968 | 2 | 4 995.24/995.42 c 975s | 21 | 4051518 | 1442645 | 3560 970 | 2 | 4 997.24/997.44 c 977s | 21 | 4058175 | 1445545 | 3560 971 | 2 | 4 999.24/999.45 c 979s | 21 | 4065336 | 1448545 | 3560 973 | 2 | 4 1001.24/1001.47 c 981s | 21 | 4074515 | 1452045 | 3560 975 | 2 | 4 1003.34/1003.54 c 983s | 21 | 4082135 | 1455145 | 3560 976 | 2 | 4 1005.35/1005.57 c 985s | 21 | 4090292 | 1458345 | 3560 978 | 2 | 4 1007.44/1007.61 c 987s | 21 | 4100220 | 1461845 | 3560 980 | 2 | 4 1009.44/1009.62 c 989s | 21 | 4108537 | 1465145 | 3560 982 | 2 | 4 1011.44/1011.68 c 992s | 21 | 4117089 | 1468545 | 3560 984 | 2 | 4 1013.54/1013.73 c 994s | 21 | 4124373 | 1471745 | 3560 985 | 2 | 4 1015.53/1015.77 c 996s | 21 | 4133839 | 1475245 | 3560 987 | 2 | 4 1017.63/1017.81 c 998s | 21 | 4142687 | 1478745 | 3560 989 | 2 | 4 1019.64/1019.86 c 1000s | 21 | 4150265 | 1481945 | 3560 991 | 2 | 4 1021.74/1021.92 c 1002s | 21 | 4156724 | 1484745 | 3560 992 | 2 | 4 1023.73/1023.97 c 1004s | 21 | 4165224 | 1487545 | 3560 994 | 2 | 4 1025.83/1026.06 c 1006s | 21 | 4171410 | 1490145 | 3917 995 | 2 | 4 1027.93/1028.13 c 1008s | 21 | 4177651 | 1492845 | 3917 997 | 2 | 4 1029.93/1030.18 c 1010s | 21 | 4184710 | 1495745 | 3917 998 | 2 | 4 1032.03/1032.21 c 1012s | 21 | 4190750 | 1498445 | 3917 999 | 2 | 4 1033.63/1033.81 c 1014s | 22 | 4195629 | 1500622 | 3917 1000 | 2 | 4 1035.63/1035.85 c 1016s | 22 | 4203127 | 1503922 | 3917 1002 | 2 | 4 1037.73/1037.91 c 1018s | 22 | 4210148 | 1507022 | 3917 1004 | 2 | 4 1039.73/1039.98 c 1020s | 22 | 4217999 | 1510222 | 3917 1005 | 2 | 4 1041.83/1042.04 c 1022s | 22 | 4225029 | 1513222 | 3917 1007 | 2 | 4 1043.84/1044.04 c 1024s | 22 | 4231948 | 1516122 | 3917 1008 | 2 | 4 1045.83/1046.09 c 1026s | 22 | 4239152 | 1519222 | 3917 1010 | 2 | 4 1047.93/1048.12 c 1028s | 22 | 4247089 | 1522322 | 3917 1011 | 2 | 4 1049.93/1050.19 c 1030s | 22 | 4255873 | 1525622 | 3917 1013 | 2 | 4 1052.03/1052.21 c 1032s | 22 | 4263166 | 1528622 | 3917 1014 | 2 | 4 1054.03/1054.22 c 1034s | 22 | 4270275 | 1531522 | 3917 1016 | 2 | 4 1056.03/1056.27 c 1036s | 22 | 4277077 | 1534622 | 3917 1017 | 2 | 4 1058.03/1058.30 c 1038s | 22 | 4284473 | 1537622 | 3917 1019 | 2 | 4 1060.13/1060.37 c 1040s | 22 | 4293238 | 1540922 | 3917 1020 | 2 | 4 1062.23/1062.40 c 1042s | 22 | 4302562 | 1544122 | 3917 1022 | 2 | 4 1064.23/1064.42 c 1044s | 22 | 4310123 | 1547222 | 3917 1023 | 2 | 4 1066.23/1066.45 c 1046s | 22 | 4317545 | 1550122 | 3917 1025 | 2 | 4 1068.23/1068.46 c 1048s | 22 | 4324523 | 1553022 | 3917 1026 | 2 | 4 1070.23/1070.49 c 1050s | 22 | 4333258 | 1556222 | 3917 1028 | 2 | 4 1072.33/1072.54 c 1052s | 22 | 4342561 | 1559722 | 3917 1030 | 2 | 4 1074.32/1074.59 c 1054s | 22 | 4353044 | 1563122 | 3917 1031 | 2 | 4 1076.32/1076.59 c 1056s | 22 | 4361535 | 1566322 | 3917 1033 | 2 | 4 1078.42/1078.61 c 1058s | 22 | 4371094 | 1569622 | 3917 1034 | 2 | 4 1080.42/1080.69 c 1061s | 22 | 4378912 | 1572722 | 3917 1036 | 2 | 4 1082.52/1082.75 c 1063s | 22 | 4387481 | 1575922 | 3917 1038 | 2 | 4 1084.53/1084.78 c 1065s | 22 | 4396098 | 1579322 | 3917 1039 | 2 | 4 1086.63/1086.81 c 1067s | 22 | 4405799 | 1582722 | 3917 1041 | 2 | 4 1088.63/1088.85 c 1069s | 22 | 4415364 | 1586022 | 3917 1043 | 2 | 4 1090.63/1090.87 c 1071s | 22 | 4424321 | 1589222 | 3917 1044 | 2 | 4 1092.63/1092.88 c 1073s | 22 | 4433100 | 1592622 | 3917 1046 | 2 | 4 1094.73/1094.92 c 1075s | 22 | 4442549 | 1596022 | 3917 1047 | 2 | 4 1096.73/1096.96 c 1077s | 22 | 4453503 | 1599722 | 3917 1049 | 2 | 4 1098.84/1099.03 c 1079s | 22 | 4460914 | 1602622 | 3917 1051 | 2 | 4 1100.83/1101.07 c 1081s | 22 | 4469733 | 1605722 | 3917 1052 | 2 | 4 1102.93/1103.12 c 1083s | 22 | 4477773 | 1608822 | 3917 1054 | 2 | 4 1104.93/1105.16 c 1085s | 22 | 4485569 | 1612122 | 3917 1055 | 2 | 4 1107.03/1107.21 c 1087s | 22 | 4494097 | 1615122 | 3917 1057 | 2 | 4 1109.13/1109.31 c 1089s | 22 | 4501208 | 1618222 | 3917 1058 | 2 | 4 1111.13/1111.34 c 1091s | 22 | 4507339 | 1620822 | 3917 1060 | 2 | 4 1113.13/1113.38 c 1093s | 22 | 4514192 | 1623722 | 3917 1061 | 2 | 4 1115.23/1115.40 c 1095s | 22 | 4522185 | 1626422 | 3917 1062 | 2 | 4 1117.23/1117.46 c 1097s | 22 | 4528327 | 1628922 | 3917 1064 | 2 | 4 1119.32/1119.56 c 1099s | 22 | 4535483 | 1631822 | 3917 1065 | 2 | 4 1121.32/1121.59 c 1101s | 22 | 4541650 | 1634622 | 3917 1067 | 2 | 4 1123.42/1123.60 c 1103s | 22 | 4549262 | 1637622 | 3917 1068 | 2 | 4 1125.42/1125.64 c 1105s | 22 | 4555904 | 1640222 | 3917 1069 | 2 | 4 1127.43/1127.66 c 1108s | 22 | 4562135 | 1642822 | 3917 1071 | 2 | 4 1129.53/1129.76 c 1110s | 22 | 4569003 | 1645622 | 3917 1072 | 2 | 4 1131.62/1131.83 c 1112s | 22 | 4575590 | 1648422 | 3917 1073 | 2 | 4 1133.72/1133.90 c 1114s | 22 | 4581671 | 1651022 | 3917 1075 | 2 | 4 1135.72/1135.94 c 1116s | 22 | 4588168 | 1653522 | 3917 1076 | 2 | 4 1137.72/1137.95 c 1118s | 22 | 4593373 | 1656022 | 3917 1077 | 2 | 4 1139.72/1139.97 c 1120s | 22 | 4599283 | 1658622 | 3917 1078 | 2 | 4 1141.82/1142.00 c 1122s | 22 | 4605124 | 1661222 | 3917 1080 | 2 | 4 1143.83/1144.06 c 1124s | 22 | 4611154 | 1663822 | 3917 1081 | 2 | 4 1145.92/1146.11 c 1126s | 22 | 4617876 | 1666522 | 3917 1082 | 2 | 4 1147.92/1148.16 c 1128s | 22 | 4624285 | 1668922 | 3917 1083 | 2 | 4 1149.92/1150.17 c 1130s | 22 | 4628736 | 1671022 | 3917 1085 | 2 | 4 1152.02/1152.20 c 1132s | 22 | 4634777 | 1673622 | 3917 1086 | 2 | 4 1154.02/1154.27 c 1134s | 22 | 4640854 | 1676122 | 3917 1087 | 2 | 4 1156.03/1156.28 c 1136s | 22 | 4647632 | 1678722 | 3917 1088 | 2 | 4 1158.13/1158.32 c 1138s | 22 | 4653785 | 1681322 | 3917 1090 | 2 | 4 1160.12/1160.39 c 1140s | 22 | 4659018 | 1683622 | 3917 1091 | 2 | 4 1162.22/1162.44 c 1142s | 22 | 4664891 | 1686322 | 3917 1092 | 2 | 4 1164.22/1164.45 c 1144s | 22 | 4672851 | 1689422 | 3917 1094 | 2 | 4 1166.22/1166.49 c 1146s | 22 | 4681012 | 1692322 | 3917 1095 | 2 | 4 1168.22/1168.49 c 1148s | 22 | 4687485 | 1694922 | 3917 1096 | 2 | 4 1170.32/1170.54 c 1150s | 22 | 4693206 | 1697522 | 3917 1098 | 2 | 4 1172.31/1172.60 c 1152s | 22 | 4699122 | 1700222 | 3917 1099 | 2 | 4 1174.41/1174.65 c 1155s | 22 | 4705924 | 1702922 | 3917 1100 | 2 | 4 1176.41/1176.66 c 1157s | 22 | 4712987 | 1705422 | 3917 1102 | 2 | 4 1178.51/1178.75 c 1159s | 22 | 4719066 | 1707822 | 3917 1103 | 2 | 4 1180.61/1180.80 c 1161s | 22 | 4726125 | 1710622 | 3917 1104 | 2 | 4 1182.61/1182.86 c 1163s | 22 | 4733789 | 1713522 | 3917 1106 | 2 | 4 1184.71/1184.90 c 1165s | 22 | 4741061 | 1716322 | 3917 1107 | 2 | 4 1186.72/1186.90 c 1167s | 22 | 4748368 | 1719122 | 3917 1108 | 2 | 4 1188.71/1188.98 c 1169s | 22 | 4754626 | 1721822 | 3917 1110 | 2 | 4 1190.81/1191.07 c 1171s | 22 | 4761905 | 1724522 | 3917 1111 | 2 | 4 1192.91/1193.14 c 1173s | 22 | 4768548 | 1727022 | 3917 1112 | 2 | 4 1194.91/1195.18 c 1175s | 22 | 4774851 | 1729422 | 3917 1113 | 2 | 4 1197.01/1197.24 c 1177s | 22 | 4782556 | 1732322 | 3917 1115 | 2 | 4 1199.01/1199.27 c 1179s | 22 | 4790571 | 1735222 | 3917 1116 | 2 | 4 1201.02/1201.28 c 1181s | 22 | 4798380 | 1738022 | 3917 1118 | 2 | 4 1203.01/1203.29 c 1183s | 22 | 4804934 | 1740822 | 3917 1119 | 2 | 4 1205.11/1205.35 c 1185s | 22 | 4814014 | 1744222 | 3917 1121 | 2 | 4 1207.11/1207.36 c 1187s | 22 | 4823403 | 1747522 | 3917 1122 | 2 | 4 1209.11/1209.37 c 1189s | 22 | 4830885 | 1750522 | 3917 1124 | 2 | 4 1211.21/1211.40 c 1191s | 22 | 4839303 | 1753822 | 3917 1125 | 2 | 4 1213.22/1213.46 c 1193s | 22 | 4847955 | 1756922 | 3917 1127 | 2 | 4 1215.32/1215.57 c 1195s | 22 | 4856149 | 1759922 | 3917 1129 | 2 | 4 1217.41/1217.62 c 1197s | 22 | 4865014 | 1763122 | 3917 1130 | 2 | 4 1219.41/1219.63 c 1199s | 22 | 4873946 | 1766422 | 3917 1132 | 2 | 4 1221.41/1221.68 c 1202s | 22 | 4882849 | 1769622 | 3917 1133 | 2 | 4 1223.51/1223.75 c 1204s | 22 | 4891075 | 1772622 | 3917 1135 | 2 | 4 1225.61/1225.82 c 1206s | 22 | 4901150 | 1775822 | 3917 1136 | 2 | 4 1227.61/1227.83 c 1208s | 22 | 4908660 | 1778622 | 3917 1138 | 2 | 4 1229.61/1229.90 c 1210s | 22 | 4915961 | 1781522 | 3917 1139 | 2 | 4 1231.70/1231.93 c 1212s | 22 | 4923706 | 1784422 | 3917 1141 | 2 | 4 1233.70/1233.96 c 1214s | 22 | 4932007 | 1787322 | 3917 1142 | 2 | 4 1235.70/1235.98 c 1216s | 22 | 4938802 | 1789922 | 3917 1143 | 2 | 4 1237.80/1238.02 c 1218s | 22 | 4946344 | 1792822 | 3917 1145 | 2 | 4 1239.80/1240.06 c 1220s | 22 | 4954404 | 1795822 | 3917 1146 | 2 | 4 1241.81/1242.07 c 1222s | 22 | 4961132 | 1798522 | 3917 1148 | 2 | 4 1243.80/1244.10 c 1224s | 22 | 4967285 | 1801122 | 3917 1149 | 2 | 4 1245.90/1246.11 c 1226s | 22 | 4974966 | 1803922 | 3917 1150 | 2 | 4 1247.90/1248.17 c 1228s | 22 | 4982230 | 1806622 | 3917 1152 | 2 | 4 1250.00/1250.21 c 1230s | 22 | 4989610 | 1809422 | 3917 1153 | 2 | 4 1252.00/1252.22 c 1232s | 22 | 4998410 | 1812722 | 3917 1155 | 2 | 4 1254.00/1254.29 c 1234s | 22 | 5006206 | 1815522 | 3917 1156 | 2 | 4 1256.01/1256.30 c 1236s | 22 | 5014288 | 1818222 | 3917 1158 | 2 | 4 1258.10/1258.34 c 1238s | 22 | 5022743 | 1821222 | 3917 1159 | 2 | 4 1260.10/1260.39 c 1240s | 22 | 5030763 | 1824022 | 3917 1160 | 2 | 4 1262.20/1262.40 c 1242s | 22 | 5038188 | 1826522 | 3917 1162 | 2 | 4 1264.20/1264.43 c 1244s | 22 | 5047515 | 1829322 | 3917 1163 | 2 | 4 1266.20/1266.45 c 1246s | 22 | 5055584 | 1832022 | 3917 1164 | 2 | 4 1268.21/1268.48 c 1248s | 22 | 5064039 | 1834922 | 3917 1166 | 2 | 4 1270.30/1270.52 c 1250s | 22 | 5073168 | 1838022 | 3917 1167 | 2 | 4 1272.30/1272.56 c 1252s | 22 | 5080756 | 1840922 | 3917 1169 | 2 | 4 1274.40/1274.62 c 1254s | 22 | 5087849 | 1843722 | 3917 1170 | 2 | 4 1276.50/1276.71 c 1257s | 22 | 5094331 | 1846322 | 3917 1171 | 2 | 4 1278.49/1278.75 c 1259s | 22 | 5102147 | 1849222 | 3917 1173 | 2 | 4 1280.49/1280.78 c 1261s | 22 | 5110888 | 1852122 | 3917 1174 | 2 | 4 1282.50/1282.79 c 1263s | 22 | 5119481 | 1854822 | 3917 1176 | 2 | 4 1284.60/1284.86 c 1265s | 22 | 5127928 | 1857622 | 3917 1177 | 2 | 4 1286.59/1286.87 c 1267s | 22 | 5135935 | 1860422 | 3917 1178 | 2 | 4 1288.69/1288.91 c 1269s | 22 | 5143076 | 1863022 | 3917 1180 | 2 | 4 1290.69/1290.92 c 1271s | 22 | 5151669 | 1866022 | 3917 1181 | 2 | 4 1292.69/1292.95 c 1273s | 22 | 5160051 | 1869122 | 3917 1183 | 2 | 4 1294.69/1294.98 c 1275s | 22 | 5167860 | 1871922 | 3917 1184 | 2 | 4 1296.80/1297.01 c 1277s | 22 | 5174192 | 1874622 | 3917 1186 | 2 | 4 1298.79/1299.06 c 1279s | 22 | 5181089 | 1877422 | 3917 1187 | 2 | 4 1300.89/1301.11 c 1281s | 22 | 5189242 | 1880022 | 3917 1188 | 2 | 4 1302.89/1303.16 c 1283s | 22 | 5198438 | 1883022 | 3917 1190 | 2 | 4 1304.99/1305.20 c 1285s | 22 | 5205557 | 1885722 | 3917 1191 | 2 | 4 1306.99/1307.24 c 1287s | 22 | 5212988 | 1888522 | 3917 1192 | 2 | 4 1308.99/1309.29 c 1289s | 22 | 5219541 | 1891022 | 3917 1194 | 2 | 4 1311.10/1311.35 c 1291s | 22 | 5228071 | 1893922 | 3917 1195 | 2 | 4 1313.09/1313.35 c 1293s | 22 | 5235832 | 1896722 | 3917 1197 | 2 | 4 1315.09/1315.37 c 1295s | 22 | 5244491 | 1899622 | 3917 1198 | 2 | 4 1317.19/1317.44 c 1297s | 22 | 5252132 | 1902222 | 3917 1199 | 2 | 4 1319.19/1319.45 c 1299s | 22 | 5259142 | 1904622 | 3917 1201 | 2 | 4 1321.29/1321.52 c 1301s | 22 | 5265811 | 1907222 | 3917 1202 | 2 | 4 1323.29/1323.54 c 1303s | 22 | 5271790 | 1909622 | 3917 1203 | 2 | 4 1325.39/1325.61 c 1305s | 22 | 5277781 | 1911922 | 3917 1204 | 2 | 4 1327.39/1327.70 c 1308s | 22 | 5285255 | 1914722 | 3917 1206 | 2 | 4 1329.49/1329.71 c 1310s | 22 | 5290814 | 1917022 | 3917 1207 | 2 | 4 1331.49/1331.77 c 1312s | 22 | 5298703 | 1919722 | 3917 1208 | 2 | 4 1333.59/1333.80 c 1314s | 22 | 5306002 | 1922422 | 3917 1209 | 2 | 4 1335.59/1335.85 c 1316s | 22 | 5312946 | 1924822 | 3917 1211 | 2 | 4 1337.68/1337.94 c 1318s | 22 | 5320829 | 1927822 | 3917 1212 | 2 | 4 1339.69/1339.95 c 1320s | 22 | 5328186 | 1930622 | 3917 1213 | 2 | 4 1341.68/1342.00 c 1322s | 22 | 5336477 | 1933622 | 3917 1215 | 2 | 4 1343.78/1344.01 c 1324s | 22 | 5343135 | 1936422 | 3917 1216 | 2 | 4 1345.78/1346.06 c 1326s | 22 | 5351938 | 1939522 | 3917 1218 | 2 | 4 1347.78/1348.09 c 1328s | 22 | 5361692 | 1942622 | 3917 1219 | 2 | 4 1349.78/1350.09 c 1330s | 22 | 5370064 | 1945622 | 3917 1221 | 2 | 4 1351.88/1352.10 c 1332s | 22 | 5377657 | 1948522 | 3917 1222 | 2 | 4 1353.89/1354.13 c 1334s | 22 | 5386637 | 1951622 | 3917 1224 | 2 | 4 1355.88/1356.19 c 1336s | 22 | 5395653 | 1954822 | 3917 1226 | 2 | 4 1357.98/1358.24 c 1338s | 22 | 5404637 | 1957922 | 3917 1227 | 2 | 4 1359.98/1360.29 c 1340s | 22 | 5413931 | 1961122 | 3917 1229 | 2 | 4 1361.98/1362.29 c 1342s | 22 | 5423214 | 1964322 | 3917 1230 | 2 | 4 1364.07/1364.35 c 1344s | 22 | 5431876 | 1967322 | 3917 1232 | 2 | 4 1366.17/1366.40 c 1346s | 22 | 5441020 | 1970422 | 3917 1233 | 2 | 4 1368.18/1368.45 c 1348s | 22 | 5449044 | 1973122 | 3917 1235 | 2 | 4 1370.17/1370.48 c 1350s | 22 | 5457268 | 1975922 | 3917 1236 | 2 | 4 1372.17/1372.49 c 1352s | 22 | 5464657 | 1978422 | 3917 1237 | 2 | 4 1374.27/1374.50 c 1354s | 22 | 5472148 | 1981122 | 3917 1239 | 2 | 4 1376.27/1376.56 c 1356s | 22 | 5477934 | 1983322 | 3917 1240 | 2 | 4 1378.37/1378.60 c 1358s | 22 | 5485918 | 1986022 | 3917 1241 | 2 | 4 1380.37/1380.63 c 1360s | 22 | 5494544 | 1989122 | 3917 1243 | 2 | 4 1382.36/1382.66 c 1363s | 22 | 5502951 | 1992422 | 3917 1244 | 2 | 4 1384.47/1384.72 c 1365s | 22 | 5511630 | 1995622 | 3917 1246 | 2 | 4 1386.47/1386.77 c 1367s | 22 | 5520787 | 1998922 | 3917 1248 | 2 | 4 1388.57/1388.83 c 1369s | 22 | 5529821 | 2002422 | 3917 1249 | 2 | 4 1390.57/1390.84 c 1371s | 22 | 5539624 | 2006022 | 3917 1251 | 2 | 4 1392.57/1392.85 c 1373s | 22 | 5548338 | 2009422 | 3917 1253 | 2 | 4 1394.57/1394.87 c 1375s | 22 | 5559257 | 2013022 | 3917 1255 | 2 | 4 1396.66/1396.95 c 1377s | 22 | 5568338 | 2016622 | 3917 1256 | 2 | 4 1398.66/1398.98 c 1379s | 22 | 5578024 | 2020022 | 3917 1258 | 2 | 4 1400.76/1401.04 c 1381s | 22 | 5586786 | 2023322 | 3917 1260 | 2 | 4 1402.76/1403.07 c 1383s | 22 | 5594329 | 2026222 | 3917 1261 | 2 | 4 1404.86/1405.12 c 1385s | 22 | 5600978 | 2029022 | 3917 1263 | 2 | 4 1406.86/1407.16 c 1387s | 22 | 5608217 | 2031922 | 3917 1264 | 2 | 4 1408.96/1409.21 c 1389s | 22 | 5615491 | 2034722 | 3917 1265 | 2 | 4 1410.96/1411.25 c 1391s | 22 | 5623205 | 2037722 | 3917 1267 | 2 | 4 1413.06/1413.30 c 1393s | 22 | 5631650 | 2040822 | 3917 1268 | 2 | 4 1415.06/1415.32 c 1395s | 22 | 5639017 | 2043622 | 3917 1270 | 2 | 4 1417.06/1417.36 c 1397s | 22 | 5647438 | 2046522 | 3917 1271 | 2 | 4 1419.15/1419.40 c 1399s | 22 | 5654694 | 2049222 | 3917 1273 | 2 | 4 1421.15/1421.44 c 1401s | 22 | 5662511 | 2052122 | 3917 1274 | 2 | 4 1423.16/1423.46 c 1403s | 22 | 5669582 | 2055222 | 3917 1275 | 2 | 4 1425.25/1425.52 c 1405s | 22 | 5677465 | 2058322 | 3917 1277 | 2 | 4 1427.25/1427.56 c 1407s | 22 | 5685800 | 2061222 | 3917 1278 | 2 | 4 1429.35/1429.62 c 1409s | 22 | 5693238 | 2064022 | 3917 1280 | 2 | 4 1431.35/1431.67 c 1412s | 22 | 5700491 | 2066622 | 3917 1281 | 2 | 4 1433.45/1433.72 c 1414s | 22 | 5708057 | 2069322 | 3917 1282 | 2 | 4 1435.45/1435.79 c 1416s | 22 | 5715108 | 2072222 | 3917 1284 | 2 | 4 1437.55/1437.81 c 1418s | 22 | 5721286 | 2074822 | 3917 1285 | 2 | 4 1439.55/1439.82 c 1420s | 22 | 5728764 | 2077622 | 3917 1287 | 2 | 4 1441.54/1441.89 c 1422s | 22 | 5736413 | 2080322 | 3917 1288 | 2 | 4 1443.64/1443.90 c 1424s | 22 | 5743593 | 2082922 | 3917 1289 | 2 | 4 1445.64/1445.95 c 1426s | 22 | 5749631 | 2085422 | 3917 1290 | 2 | 4 1447.64/1447.95 c 1428s | 22 | 5755002 | 2087822 | 3917 1292 | 2 | 4 1449.65/1449.99 c 1430s | 22 | 5762721 | 2090922 | 3917 1293 | 2 | 4 1451.75/1452.05 c 1432s | 22 | 5768972 | 2093722 | 3917 1294 | 2 | 4 1453.74/1454.05 c 1434s | 22 | 5774997 | 2096222 | 3917 1296 | 2 | 4 1455.74/1456.06 c 1436s | 22 | 5781521 | 2098922 | 3917 1297 | 2 | 4 1457.83/1458.10 c 1438s | 22 | 5788231 | 2101422 | 3917 1298 | 2 | 4 1459.83/1460.18 c 1440s | 22 | 5793203 | 2103622 | 3917 1299 | 2 | 4 1461.93/1462.30 c 1442s | 22 | 5798916 | 2105922 | 3917 1301 | 2 | 4 1464.03/1464.36 c 1444s | 22 | 5805942 | 2108622 | 3917 1302 | 2 | 4 1466.14/1466.45 c 1446s | 22 | 5812861 | 2111522 | 3917 1303 | 2 | 4 1468.23/1468.51 c 1448s | 22 | 5818351 | 2113722 | 3917 1304 | 2 | 4 1470.23/1470.51 c 1450s | 22 | 5824304 | 2116022 | 3917 1306 | 2 | 4 1472.23/1472.56 c 1452s | 22 | 5832413 | 2118922 | 3917 1307 | 2 | 4 1474.33/1474.64 c 1454s | 22 | 5838814 | 2121522 | 3917 1308 | 2 | 4 1476.33/1476.65 c 1457s | 22 | 5845005 | 2123822 | 3917 1309 | 2 | 4 1478.42/1478.71 c 1459s | 22 | 5851509 | 2126322 | 3917 1311 | 2 | 4 1480.43/1480.76 c 1461s | 22 | 5856787 | 2128622 | 3917 1312 | 2 | 4 1482.53/1482.81 c 1463s | 22 | 5863590 | 2131422 | 3917 1313 | 2 | 4 1484.52/1484.81 c 1465s | 22 | 5870687 | 2134022 | 3917 1314 | 2 | 4 1486.52/1486.83 c 1467s | 22 | 5877205 | 2136622 | 3917 1316 | 2 | 4 1488.62/1488.90 c 1469s | 22 | 5883705 | 2139122 | 3917 1317 | 2 | 4 1490.62/1490.94 c 1471s | 22 | 5892325 | 2141922 | 3917 1318 | 2 | 4 1492.72/1493.02 c 1473s | 22 | 5899995 | 2144522 | 3917 1320 | 2 | 4 1494.72/1495.05 c 1475s | 22 | 5907427 | 2146922 | 3917 1321 | 2 | 4 1496.82/1497.10 c 1477s | 22 | 5914090 | 2149422 | 3917 1322 | 2 | 4 1498.81/1499.14 c 1479s | 22 | 5921859 | 2152222 | 3917 1323 | 2 | 4 1500.81/1501.15 c 1481s | 22 | 5931793 | 2155122 | 3917 1325 | 2 | 4 1502.81/1503.18 c 1483s | 22 | 5940458 | 2157922 | 3917 1326 | 2 | 4 1504.91/1505.28 c 1485s | 22 | 5947372 | 2160522 | 3917 1328 | 2 | 4 1506.92/1507.28 c 1487s | 22 | 5954018 | 2163122 | 3917 1329 | 2 | 4 1509.02/1509.35 c 1489s | 22 | 5962436 | 2165922 | 3917 1330 | 2 | 4 1511.12/1511.41 c 1491s | 22 | 5970667 | 2168722 | 3917 1332 | 2 | 4 1513.12/1513.46 c 1493s | 22 | 5977948 | 2171222 | 3917 1333 | 2 | 4 1515.21/1515.57 c 1495s | 22 | 5985511 | 2173922 | 3917 1334 | 2 | 4 1517.31/1517.62 c 1497s | 22 | 5994975 | 2176922 | 3917 1336 | 2 | 4 1519.31/1519.68 c 1500s | 22 | 6003386 | 2179522 | 3917 1337 | 2 | 4 1521.41/1521.72 c 1502s | 22 | 6010218 | 2182022 | 3917 1338 | 2 | 4 1523.41/1523.76 c 1504s | 22 | 6018086 | 2184822 | 3917 1340 | 2 | 4 1525.52/1525.81 c 1506s | 22 | 6026174 | 2187722 | 3917 1341 | 2 | 4 1527.50/1527.87 c 1508s | 22 | 6034173 | 2190522 | 3917 1342 | 2 | 4 1529.60/1529.92 c 1510s | 22 | 6042071 | 2193422 | 3917 1344 | 2 | 4 1531.60/1531.97 c 1512s | 22 | 6049748 | 2196322 | 3917 1345 | 2 | 4 1533.60/1533.99 c 1514s | 22 | 6057341 | 2199022 | 3917 1347 | 2 | 4 1535.70/1536.03 c 1516s | 22 | 6065502 | 2201822 | 3917 1348 | 2 | 4 1537.70/1538.09 c 1518s | 22 | 6073639 | 2204522 | 3917 1349 | 2 | 4 1539.80/1540.13 c 1520s | 22 | 6080999 | 2207222 | 3917 1351 | 2 | 4 1541.80/1542.13 c 1522s | 22 | 6088961 | 2210322 | 3917 1352 | 2 | 4 1543.80/1544.19 c 1524s | 22 | 6097842 | 2213522 | 3917 1354 | 2 | 4 1545.90/1546.27 c 1526s | 22 | 6105689 | 2216422 | 3917 1355 | 2 | 4 1547.99/1548.31 c 1528s | 22 | 6113381 | 2219222 | 3917 1357 | 2 | 4 1549.99/1550.32 c 1530s | 22 | 6122359 | 2222322 | 3917 1358 | 2 | 4 1551.99/1552.33 c 1532s | 22 | 6129968 | 2225022 | 3917 1359 | 2 | 4 1554.00/1554.35 c 1534s | 22 | 6137600 | 2227822 | 3917 1361 | 2 | 4 1556.09/1556.41 c 1536s | 22 | 6146860 | 2231122 | 3917 1363 | 2 | 4 1558.09/1558.42 c 1538s | 22 | 6156541 | 2234322 | 3917 1364 | 2 | 4 1560.09/1560.45 c 1540s | 22 | 6165342 | 2237422 | 4309 1365 | 2 | 4 1562.09/1562.46 c 1542s | 22 | 6172926 | 2240122 | 4309 1367 | 2 | 4 1564.09/1564.47 c 1544s | 22 | 6179361 | 2242822 | 4309 1368 | 2 | 4 1566.19/1566.54 c 1546s | 22 | 6186455 | 2245622 | 4309 1369 | 2 | 4 1568.18/1568.57 c 1548s | 22 | 6193862 | 2248622 | 4309 1370 | 2 | 4 1570.08/1570.40 c 1550s | 23 | 6199779 | 2251038 | 4309 1372 | 2 | 4 1572.08/1572.43 c 1552s | 23 | 6205574 | 2253438 | 4309 1373 | 2 | 4 1574.08/1574.46 c 1554s | 23 | 6212113 | 2256238 | 4309 1374 | 2 | 4 1576.18/1576.50 c 1556s | 23 | 6220619 | 2259638 | 4309 1375 | 2 | 4 1578.18/1578.56 c 1558s | 23 | 6225876 | 2262138 | 4309 1377 | 2 | 4 1580.27/1580.64 c 1560s | 23 | 6231493 | 2264738 | 4309 1378 | 2 | 4 1582.27/1582.67 c 1563s | 23 | 6237926 | 2267738 | 4309 1379 | 2 | 4 1584.27/1584.69 c 1565s | 23 | 6245583 | 2270738 | 4309 1380 | 2 | 4 1586.37/1586.75 c 1567s | 23 | 6251902 | 2273538 | 4309 1382 | 2 | 4 1588.47/1588.83 c 1569s | 23 | 6259606 | 2276638 | 4309 1383 | 2 | 4 1590.47/1590.86 c 1571s | 23 | 6268349 | 2279938 | 4309 1385 | 2 | 4 1592.57/1592.92 c 1573s | 23 | 6276782 | 2283038 | 4309 1386 | 2 | 4 1594.57/1594.98 c 1575s | 23 | 6284113 | 2286038 | 4309 1387 | 2 | 4 1596.57/1596.99 c 1577s | 23 | 6292105 | 2289038 | 4309 1389 | 2 | 4 1598.66/1599.02 c 1579s | 23 | 6302376 | 2292438 | 4309 1390 | 2 | 4 1600.76/1601.12 c 1581s | 23 | 6310609 | 2295538 | 4309 1392 | 2 | 4 1602.76/1603.13 c 1583s | 23 | 6317569 | 2298338 | 4309 1393 | 2 | 4 1604.76/1605.14 c 1585s | 23 | 6325144 | 2301238 | 4309 1394 | 2 | 4 1606.87/1607.21 c 1587s | 23 | 6333737 | 2304338 | 4309 1395 | 2 | 4 1608.85/1609.23 c 1589s | 23 | 6340632 | 2307038 | 4309 1397 | 2 | 4 1610.85/1611.27 c 1591s | 23 | 6346965 | 2309838 | 4309 1398 | 2 | 4 1612.95/1613.32 c 1593s | 23 | 6354223 | 2312938 | 4309 1399 | 2 | 4 1614.95/1615.38 c 1595s | 23 | 6361284 | 2315938 | 4309 1401 | 2 | 4 1617.05/1617.43 c 1597s | 23 | 6367419 | 2318638 | 4309 1402 | 2 | 4 1619.05/1619.47 c 1599s | 23 | 6373720 | 2321338 | 4309 1403 | 2 | 4 1621.05/1621.50 c 1601s | 23 | 6381970 | 2324438 | 4309 1404 | 2 | 4 1623.15/1623.56 c 1603s | 23 | 6389634 | 2327438 | 4309 1406 | 2 | 4 1625.24/1625.61 c 1605s | 23 | 6396268 | 2330038 | 4309 1407 | 2 | 4 1627.24/1627.65 c 1608s | 23 | 6403202 | 2332938 | 4309 1408 | 2 | 4 1629.24/1629.69 c 1610s | 23 | 6408917 | 2335538 | 4309 1410 | 2 | 4 1631.34/1631.71 c 1612s | 23 | 6415869 | 2338238 | 4309 1411 | 2 | 4 1633.34/1633.78 c 1614s | 23 | 6421065 | 2340638 | 4309 1412 | 2 | 4 1635.35/1635.79 c 1616s | 23 | 6427540 | 2343438 | 4309 1413 | 2 | 4 1637.44/1637.87 c 1618s | 23 | 6436197 | 2346738 | 4309 1415 | 2 | 4 1639.43/1639.88 c 1620s | 23 | 6442929 | 2349438 | 4309 1416 | 2 | 4 1641.43/1641.89 c 1622s | 23 | 6448235 | 2351838 | 4309 1417 | 2 | 4 1643.53/1643.94 c 1624s | 23 | 6455918 | 2354938 | 4309 1418 | 2 | 4 1645.53/1645.95 c 1626s | 23 | 6462874 | 2357838 | 4309 1420 | 2 | 4 1647.54/1647.97 c 1628s | 23 | 6468577 | 2360438 | 4309 1421 | 2 | 4 1649.64/1650.04 c 1630s | 23 | 6475737 | 2363438 | 4309 1422 | 2 | 4 1651.63/1652.04 c 1632s | 23 | 6483087 | 2366438 | 4309 1423 | 2 | 4 1653.63/1654.07 c 1634s | 23 | 6489175 | 2369238 | 4309 1425 | 2 | 4 1655.73/1656.11 c 1636s | 23 | 6496574 | 2372238 | 4309 1426 | 2 | 4 1657.73/1658.19 c 1638s | 23 | 6503419 | 2375038 | 4309 1427 | 2 | 4 1659.83/1660.21 c 1640s | 23 | 6509335 | 2377638 | 4309 1428 | 2 | 4 1661.83/1662.28 c 1642s | 23 | 6517576 | 2380538 | 4309 1430 | 2 | 4 1663.93/1664.32 c 1644s | 23 | 6525952 | 2383938 | 4309 1431 | 2 | 4 1665.93/1666.32 c 1646s | 23 | 6533580 | 2387038 | 4309 1433 | 2 | 4 1667.92/1668.37 c 1648s | 23 | 6539378 | 2389738 | 4309 1434 | 2 | 4 1670.02/1670.40 c 1650s | 23 | 6545014 | 2392238 | 4309 1435 | 2 | 4 1672.02/1672.41 c 1652s | 23 | 6551505 | 2394738 | 4309 1436 | 2 | 4 1674.02/1674.44 c 1654s | 23 | 6556903 | 2397138 | 4309 1437 | 2 | 4 1676.03/1676.49 c 1656s | 23 | 6561809 | 2399638 | 4309 1438 | 2 | 4 1678.11/1678.54 c 1658s | 23 | 6567509 | 2402338 | 4309 1440 | 2 | 4 1680.11/1680.59 c 1660s | 23 | 6573228 | 2404838 | 4309 1441 | 2 | 4 1682.21/1682.62 c 1662s | 23 | 6579404 | 2407438 | 4309 1442 | 2 | 4 1684.31/1684.71 c 1665s | 23 | 6584724 | 2409738 | 4309 1443 | 2 | 4 1686.31/1686.72 c 1667s | 23 | 6591620 | 2412438 | 4309 1444 | 2 | 4 1688.41/1688.80 c 1669s | 23 | 6598085 | 2414938 | 4309 1445 | 2 | 4 1690.41/1690.85 c 1671s | 23 | 6605243 | 2417538 | 4309 1446 | 2 | 4 1692.51/1692.93 c 1673s | 23 | 6611086 | 2419938 | 4309 1448 | 2 | 4 1694.51/1694.98 c 1675s | 23 | 6618596 | 2422538 | 4309 1449 | 2 | 4 1696.61/1697.04 c 1677s | 23 | 6624244 | 2424938 | 4309 1450 | 2 | 4 1698.60/1699.05 c 1679s | 23 | 6629951 | 2427338 | 4309 1451 | 2 | 4 1700.60/1701.05 c 1681s | 23 | 6637253 | 2430238 | 4309 1452 | 2 | 4 1702.60/1703.08 c 1683s | 23 | 6643137 | 2432938 | 4309 1453 | 2 | 4 1704.71/1705.14 c 1685s | 23 | 6650838 | 2435838 | 4309 1455 | 2 | 4 1706.70/1707.15 c 1687s | 23 | 6657579 | 2438438 | 4309 1456 | 2 | 4 1708.70/1709.15 c 1689s | 23 | 6665003 | 2441338 | 4309 1457 | 2 | 4 1710.80/1711.20 c 1691s | 23 | 6671937 | 2444038 | 4309 1458 | 2 | 4 1712.80/1713.21 c 1693s | 23 | 6678790 | 2446738 | 4309 1460 | 2 | 4 1714.80/1715.22 c 1695s | 23 | 6685251 | 2449338 | 4309 1461 | 2 | 4 1716.80/1717.24 c 1697s | 23 | 6692692 | 2452138 | 4309 1462 | 2 | 4 1718.79/1719.25 c 1699s | 23 | 6698823 | 2454638 | 4309 1463 | 2 | 4 1720.79/1721.25 c 1701s | 23 | 6704699 | 2456938 | 4309 1464 | 2 | 4 1722.89/1723.32 c 1703s | 23 | 6710594 | 2459138 | 4309 1465 | 2 | 4 1724.89/1725.33 c 1705s | 23 | 6715878 | 2461338 | 4309 1466 | 2 | 4 1726.99/1727.40 c 1707s | 23 | 6722486 | 2463838 | 4309 1467 | 2 | 4 1728.99/1729.45 c 1709s | 23 | 6727727 | 2466138 | 4309 1468 | 2 | 4 1730.99/1731.45 c 1711s | 23 | 6732639 | 2468338 | 4309 1469 | 2 | 4 1732.98/1733.49 c 1713s | 23 | 6738420 | 2470738 | 4309 1471 | 2 | 4 1735.08/1735.53 c 1715s | 23 | 6743837 | 2473038 | 4309 1472 | 2 | 4 1737.09/1737.58 c 1717s | 23 | 6749699 | 2475438 | 4309 1473 | 2 | 4 1739.19/1739.66 c 1720s | 23 | 6755203 | 2477738 | 4309 1474 | 2 | 4 1741.19/1741.67 c 1722s | 23 | 6762233 | 2480438 | 4309 1475 | 2 | 4 1743.29/1743.70 c 1724s | 23 | 6770140 | 2483338 | 4309 1476 | 2 | 4 1745.29/1745.75 c 1726s | 23 | 6776647 | 2485838 | 4309 1477 | 2 | 4 1747.29/1747.76 c 1728s | 23 | 6784303 | 2488538 | 4309 1479 | 2 | 4 1749.28/1749.78 c 1730s | 23 | 6791566 | 2491338 | 4309 1480 | 2 | 4 1751.38/1751.88 c 1732s | 23 | 6798813 | 2494038 | 4309 1481 | 2 | 4 1753.48/1753.92 c 1734s | 23 | 6805358 | 2496638 | 4309 1482 | 2 | 4 1755.48/1755.95 c 1736s | 23 | 6811577 | 2499238 | 4309 1483 | 2 | 4 1757.48/1757.96 c 1738s | 23 | 6819249 | 2501838 | 4309 1485 | 2 | 4 1759.47/1759.97 c 1740s | 23 | 6825991 | 2504438 | 4309 1486 | 2 | 4 1761.57/1762.02 c 1742s | 23 | 6831862 | 2506938 | 4309 1487 | 2 | 4 1763.57/1764.08 c 1744s | 23 | 6838471 | 2509638 | 4309 1488 | 2 | 4 1765.67/1766.10 c 1746s | 23 | 6845128 | 2512338 | 4309 1489 | 2 | 4 1767.67/1768.19 c 1748s | 23 | 6852530 | 2514938 | 4309 1491 | 2 | 4 1769.67/1770.19 c 1750s | 23 | 6858604 | 2517338 | 4309 1492 | 2 | 4 1771.77/1772.26 c 1752s | 23 | 6865836 | 2520038 | 4309 1493 | 2 | 4 1773.76/1774.29 c 1754s | 23 | 6873455 | 2522838 | 4309 1494 | 2 | 4 1775.86/1776.30 c 1756s | 23 | 6879587 | 2525138 | 4309 1495 | 2 | 4 1777.86/1778.32 c 1758s | 23 | 6885324 | 2527638 | 4309 1496 | 2 | 4 1779.96/1780.40 c 1760s | 23 | 6891985 | 2530138 | 4309 1497 | 2 | 4 1781.96/1782.46 c 1762s | 23 | 6899422 | 2532738 | 4309 1499 | 2 | 4 1783.96/1784.48 c 1764s | 23 | 6905847 | 2535238 | 4309 1500 | 2 | 4 1786.07/1786.56 c 1766s | 23 | 6912989 | 2537738 | 4309 1501 | 2 | 4 1788.16/1788.64 c 1768s | 23 | 6919389 | 2540038 | 4309 1502 | 2 | 4 1790.16/1790.69 c 1771s | 23 | 6925017 | 2542338 | 4309 1503 | 2 | 4 1792.26/1792.71 c 1773s | 23 | 6932823 | 2544838 | 4309 1504 | 2 | 4 1794.26/1794.75 c 1775s | 23 | 6940004 | 2547538 | 4309 1505 | 2 | 4 1796.35/1796.81 c 1777s | 23 | 6947471 | 2550038 | 4309 1507 | 2 | 4 1798.35/1798.87 c 1779s | 23 | 6955020 | 2552338 | 4309 1508 | 2 | 4
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-4093514-1466111364/watcher-4093514-1466111364 -o /tmp/evaluation-result-4093514-1466111364/solver-4093514-1466111364 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466109562-23617 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093514-1466111364.wbo pid=23810 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.30 2.28 2.36 3/179 23813 /proc/meminfo: memFree=30258236/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=694852 CPUtime=0 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 2588 0 0 0 0 0 0 0 20 0 4 0 13182099 711528448 2948 33554432000 4194304 16246674 140733788124576 140733788124000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 174225 2959 442 2943 0 171119 0 [pid=23813/tid=23814] ppid=23810 vsize=712260 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 729354240 3017 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=721476 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 738791424 3054 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=726596 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13182099 744034304 3071 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100131 s] /proc/loadavg: 2.30 2.28 2.36 3/179 23813 /proc/meminfo: memFree=30258236/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 17006 0 0 0 6 3 0 0 20 0 4 0 13182099 1247350784 17359 33554432000 4194304 16246674 140733788124576 140733788124000 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 304529 17361 615 2943 0 301423 0 [pid=23813/tid=23814] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 17364 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 17366 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 17367 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200538 s] /proc/loadavg: 2.30 2.28 2.36 3/179 23813 /proc/meminfo: memFree=30258236/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 24667 0 0 0 15 4 0 0 20 0 4 0 13182099 1247350784 25020 33554432000 4194304 16246674 140733788124576 140733788124000 6131302 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 304529 25020 615 2943 0 301423 0 [pid=23813/tid=23814] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 25022 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 25024 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 25026 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300497 s] /proc/loadavg: 2.30 2.28 2.36 3/179 23813 /proc/meminfo: memFree=30258236/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 31201 0 0 0 24 5 0 0 20 0 4 0 13182099 1247350784 31554 33554432000 4194304 16246674 140733788124576 140733788124000 6144396 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 304529 31556 615 2943 0 301423 0 [pid=23813/tid=23814] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 31556 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 31559 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 31559 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700307 s] /proc/loadavg: 2.30 2.28 2.36 3/179 23813 /proc/meminfo: memFree=30258236/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 53507 0 0 0 60 9 0 0 20 0 4 0 13182099 1247350784 53860 33554432000 4194304 16246674 140733788124576 140733788124000 12486453 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 304529 53860 615 2943 0 301423 0 [pid=23813/tid=23814] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 53860 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 53860 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 53860 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.28 2.27 2.36 3/183 23817 /proc/meminfo: memFree=29739780/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1218116 CPUtime=1.49 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 88777 0 0 0 135 14 0 0 20 0 4 0 13182099 1247350784 89130 33554432000 4194304 16246674 140733788124576 140733788106496 12486453 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 304529 89131 615 2943 0 301423 0 [pid=23813/tid=23814] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 89133 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 89133 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 89133 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10042 s] /proc/loadavg: 2.28 2.27 2.36 3/183 23817 /proc/meminfo: memFree=29403988/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1218116 CPUtime=3.09 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 143913 0 0 0 288 21 0 0 20 0 4 0 13182099 1247350784 144267 33554432000 4194304 16246674 140733788124576 140733788106496 13956064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 304529 144280 617 2943 0 301423 0 [pid=23813/tid=23814] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 144287 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 144295 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 144302 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1218116 [startup+6.3004 s] /proc/loadavg: 2.26 2.27 2.35 3/183 23817 /proc/meminfo: memFree=28652740/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1218116 CPUtime=6.29 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 228926 0 0 0 597 32 0 0 20 0 4 0 13182099 1247350784 229279 33554432000 4194304 16246674 140733788124576 140733788106496 12486453 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 304529 229279 617 2943 0 301423 0 [pid=23813/tid=23814] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 229279 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 229279 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13182099 1247350784 229281 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1218116 [startup+12.7004 s] /proc/loadavg: 2.23 2.26 2.35 3/183 23817 /proc/meminfo: memFree=28312880/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1252932 CPUtime=12.69 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 254204 0 0 0 1233 36 0 0 20 0 4 0 13182099 1283002368 254511 33554432000 4194304 16246674 140733788124576 140733788106496 6132712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 313233 254511 837 2943 0 310127 0 [pid=23813/tid=23814] ppid=23810 vsize=1252932 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1283002368 254511 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1252932 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1283002368 254511 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1252932 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13182099 1283002368 254511 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1252932 [startup+25.5005 s] /proc/loadavg: 2.20 2.25 2.35 4/183 23818 /proc/meminfo: memFree=28206464/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1306180 CPUtime=25.49 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 267767 0 0 0 2511 38 0 0 20 0 4 0 13182099 1337528320 268074 33554432000 4194304 16246674 140733788124576 140733788106496 5712760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 326545 268074 939 2943 0 323439 0 [pid=23813/tid=23814] ppid=23810 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1337528320 268074 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1337528320 268074 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13182099 1337528320 268074 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.17 2.24 2.34 3/184 23821 /proc/meminfo: memFree=28200168/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1310276 CPUtime=51.09 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 268791 0 0 0 5070 39 0 0 20 0 4 0 13182099 1341722624 269098 33554432000 4194304 16246674 140733788124576 140733788106496 13774512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 327569 269098 939 2943 0 324463 0 [pid=23813/tid=23814] ppid=23810 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1341722624 269098 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1341722624 269098 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13182099 1341722624 269098 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1310276 [startup+102.3 s] /proc/loadavg: 2.37 2.28 2.35 3/183 23822 /proc/meminfo: memFree=28187464/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1313348 CPUtime=102.28 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 269559 0 0 0 10189 39 0 0 20 0 4 0 13182099 1344868352 269866 33554432000 4194304 16246674 140733788124576 140733788106432 13759932 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 328337 269866 939 2943 0 325231 0 [pid=23813/tid=23814] ppid=23810 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1344868352 269866 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1344868352 269866 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13182099 1344868352 269866 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1313348 ################ # More data... # ################ /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274732 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1332804 [startup+1362.3 s] /proc/loadavg: 2.30 2.25 2.26 3/183 23854 /proc/meminfo: memFree=28117820/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1332804 CPUtime=1362.08 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 274432 0 0 0 136161 47 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140733788106496 5712756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 333201 274735 941 2943 0 330095 0 [pid=23813/tid=23814] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1332804 [startup+1422.3 s] /proc/loadavg: 2.26 2.25 2.26 3/183 23855 /proc/meminfo: memFree=28117728/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1332804 CPUtime=1422.06 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 274461 0 0 0 142158 48 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140733788106496 5675184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 333201 274735 941 2943 0 330095 0 [pid=23813/tid=23814] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 1332804 [startup+1482.3 s] /proc/loadavg: 2.33 2.26 2.26 3/183 23856 /proc/meminfo: memFree=28118160/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1332804 CPUtime=1482.02 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 274491 0 0 0 148154 48 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140733788106496 13780596 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 333201 274735 941 2943 0 330095 0 [pid=23813/tid=23814] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 1332804 [startup+1542.31 s] /proc/loadavg: 2.21 2.24 2.25 3/183 23857 /proc/meminfo: memFree=28118028/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1332804 CPUtime=1542 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 274529 0 0 0 154151 49 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140733788106496 13781198 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 333201 274735 941 2943 0 330095 0 [pid=23813/tid=23814] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 1332804 [startup+1602.3 s] /proc/loadavg: 2.24 2.24 2.25 3/183 23859 /proc/meminfo: memFree=28117820/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1332804 CPUtime=1601.96 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 274561 0 0 0 160147 49 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140733788106496 5823961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 333201 274735 941 2943 0 330095 0 [pid=23813/tid=23814] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 1332804 [startup+1662.3 s] /proc/loadavg: 2.38 2.27 2.26 3/183 23860 /proc/meminfo: memFree=28117788/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1332804 CPUtime=1661.93 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 274596 0 0 0 166144 49 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140733788106496 13781188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 333201 274735 941 2943 0 330095 0 [pid=23813/tid=23814] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 1332804 [startup+1722.3 s] /proc/loadavg: 2.36 2.28 2.27 4/183 23861 /proc/meminfo: memFree=28117568/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1332804 CPUtime=1721.89 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 274635 0 0 0 172140 49 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140733788106496 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 333201 274735 941 2943 0 330095 0 [pid=23813/tid=23814] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 1332804 [startup+1782.3 s] /proc/loadavg: 2.46 2.32 2.28 3/183 23862 /proc/meminfo: memFree=28117488/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1332804 CPUtime=1781.86 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 274671 0 0 0 178136 50 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140733788106496 6837238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 333201 274735 941 2943 0 330095 0 [pid=23813/tid=23814] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1332804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.58 2.35 2.29 3/183 23862 /proc/meminfo: memFree=28117460/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1332804 CPUtime=1800.05 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 274683 0 0 0 179955 50 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140733788106496 5677768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 333201 274735 941 2943 0 330095 0 [pid=23813/tid=23814] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1332804 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 23813 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.58 2.35 2.29 3/183 23862 /proc/meminfo: memFree=28117460/32872528 swapFree=1402008/1579836 [pid=23813] ppid=23810 vsize=1332804 CPUtime=1800.05 cores=1,3,5,7 /proc/23813/stat : 23813 (toysat) R 23810 23813 21576 0 -1 4202496 274683 0 0 0 179955 50 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140733788106496 5677768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23813/statm: 333201 274735 941 2943 0 330095 0 [pid=23813/tid=23814] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23814/stat : 23814 (toysat) S 23810 23813 21576 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415072185584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23813/tid=23815] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23815/stat : 23815 (toysat) S 23810 23813 21576 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415061695728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23813/tid=23816] ppid=23810 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/23813/task/23816/stat : 23816 (toysat) S 23810 23813 21576 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13182099 1364791296 274735 33554432000 4194304 16246674 140733788124576 140415051222192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1332804 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.08 CPU user time (s): 1799.56 CPU system time (s): 0.52192 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (KiB): 1332804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.52192 maximum resident set size= 1098940 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274683 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= 271 involuntary context switches= 1863 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.48732 second user time and 7.02593 second system time The end
Begin job on node139 at 2016-06-16 23:09:24 IDJOB=4093514 IDBENCH=79656 IDSOLVER=2553 FILE ID=node139/4093514-1466111364 RUNJOBID= node139-1466109562-23617 PBS_JOBID= 19904053 Free space on /tmp= 71580 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-queen5-5-4_wcsp.wbo COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093514-1466111364/watcher-4093514-1466111364 -o /tmp/evaluation-result-4093514-1466111364/solver-4093514-1466111364 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466109562-23617 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093514-1466111364.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= aaeffaeae7d7089614c30e01f22ee722 RANDOM SEED=1487008190 node139.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.500 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.00 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.500 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.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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.56 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.500 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.500 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.56 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.500 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.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30263336 kB Buffers: 66340 kB Cached: 167488 kB SwapCached: 956 kB Active: 212612 kB Inactive: 110556 kB Active(anon): 89932 kB Inactive(anon): 1240 kB Active(file): 122680 kB Inactive(file): 109316 kB Unevictable: 1579836 kB Mlocked: 1402008 kB SwapTotal: 67108856 kB SwapFree: 67100124 kB Dirty: 32632 kB Writeback: 0 kB AnonPages: 1665976 kB Mapped: 9372 kB Shmem: 0 kB Slab: 571424 kB SReclaimable: 15556 kB SUnreclaim: 555868 kB KernelStack: 1432 kB PageTables: 8564 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2707604 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 180224 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= 71564 MiB End job on node139 at 2016-06-16 23:39:24