| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=233-P1=223-P2=251-P3=181-P4=197-P5=127-P6=89-P7=149-B.opb |
| MD5SUM | 8a882d07e0fbb307eb9e9c234ecc464c |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.12198 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 168 |
| Total number of constraints | 15 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 15 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 448 |
| Sum of products size (including duplicates) | 896 |
| Number of different products | 448 |
| Sum of products size | 896 |
0.00/0.00 c 2016-06-18T18:55:58+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106307-1466268957.opb"] 0.00/0.01 c use --random-gen="1054060876 3854810384 410965819 2387575571 1877197591 1049786958 3674691995 3537707168 2353890786 1011655362 2523338894 187617787 2170732415 2081842029 3543369807 566425017 14597833 153646200 813951300 355716171 1589908907 2404418614 4032724715 2169538062 3270247544 2643224681 2315991194 95475592 1100562355 3402708356 1639218079 17531353 3974941385 3547650566 1368151351 2999487749 2194504845 2020973917 2547238801 1876799701 3428031551 2570828207 2571754943 1996968283 391164351 2270586415 146552463 3892034587 776923184 3029716373 60563723 3270496825 2451488062 827166310 2147114562 3097482620 1515035242 3463433037 3749529085 841023244 597430615 151602480 2413223489 2045780856 1389265068 4177156542 1306984406 3459712626 1628410170 876927963 3275725009 1740595941 3527771987 2443326724 2693800971 4137974677 2570738133 2775212336 3364181492 15184882 887812868 1667006394 406263144 4272449197 2244225514 1132368476 2793976886 4267506679 3828527844 2120606272 3835760092 1738311467 2924317484 2103998385 516146983 3856460785 452712275 306553463 4285969360 3532266027 233869487 494721658 2400955104 1235902119 3072177638 1334311325 4202528214 279578563 1024016234 574124049 2010856950 1859853938 389406897 2264894246 1965761951 2962919221 348358995 871197493 3815487061 2575329262 2311221472 230465831 1974435804 505097711 3715903403 4206517797 711740615 2112052102 3517795403 195387857 1504064140 2093192445 2353541237 1363312420 1630341697 146162458 3849216802 594134074 2972710303 2787255752 3397755659 1444007960 1941152898 3603220723 3583813311 2578313788 3805057675 3785718339 475834704 316839608 923240564 3641711454 3049607884 4197245275 3401708971 641691293 1383400918 4182241321 3726457325 44241448 1321525821 3480296290 2285409140 2071125292 3936647138 3016485260 2943094185 2234207185 3385424978 3913966023 2468555090 355732118 3598121211 124110107 2443258828 2763868930 2784559762 647269495 1542468862 2300220776 1005218506 3356570713 227095994 2066104922 439238378 3013989111 1227059626 37404556 497751482 25974063 3009808816 2170292230 829209254 3710454616 2022947371 480814338 1799038354 118513921 1996935455 679609642 3310581607 93525599 736442892 3174141219 2219900238 3886888883 1242753252 526032688 1711019567 989663613 1493586329 3829076499 1226148317 3406217105 3495459117 2528736113 2225419344 2098514686 901088698 833977520 3397011059 3822344377 3273977652 3364131850 208461143 1109674421 2424909534 2887962969 2473180876 874018465 1164061089 1260921502 2126228317 2047412490 1317484462 2151771392 2137137665 1205243941 2351192662 206663796 1040370324 2150037301 3289357676 2340930177 3068482938 3797781232 2614338353 2034449445 2475500386 953228371 1450648144 1218705578 2767933995 4200295569 2197755289 2088408892 255 362436" option to reproduce the execution 0.00/0.01 c #vars 168 0.00/0.01 c #constraints 15 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 116 | 100 | 660 0 | 0 | 0 0.00/0.09 c 0.1s | 2 | 295 | 250 | 727 0 | 0 | 0 0.09/0.16 c 0.1s | 3 | 594 | 475 | 800 0 | 0 | 0 0.28/0.30 c 0.3s | 4 | 1022 | 813 | 881 0 | 0 | 0 0.59/0.61 c 0.6s | 5 | 1578 | 1320 | 970 1 | 0 | 0 0.79/0.83 c 0.8s | 6 | 2424 | 2081 | 1174 2 | 0 | 0 1.10/1.14 c 1.1s | 7 | 3676 | 3223 | 1292 3 | 0 | 0 1.79/1.81 c 1.8s | 8 | 5589 | 4936 | 1422 5 | 0 | 0 2.58/2.65 c 2.6s | 9 | 8290 | 7506 | 1565 7 | 0 | 0 3.59/3.60 c 3.6s | 10 | 12576 | 11361 | 1722 12 | 0 | 0 4.99/5.04 c 5.0s | 11 | 18721 | 17144 | 1895 17 | 0 | 0 5.09/5.12 c 5.1s | 11 | 19229 | 17566 | 1895 17 | 0 | 0 5.09/5.12 c #cpu_time = 5.092s 5.09/5.12 c #wall_clock_time = 5.096s 5.09/5.12 c #decision = 19229 5.09/5.12 c #random_decision = 56 5.09/5.12 c #conflict = 17566 5.09/5.12 c #restart = 11 5.09/5.12 o 225 5.09/5.12 c BCD2: updating upper bound: 255 -> 224 5.09/5.12 c BCD2: 0 <= obj <= 224 5.09/5.12 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0 5.09/5.12 c BCD2: #sat=1 #unsat=1 bias=1/2 5.09/5.12 c Solving starts ... 5.09/5.12 c ============================[ Search Statistics ]============================ 5.09/5.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.09/5.12 c | | | | Limit GC | Var | Constra 5.09/5.12 c ============================================================================= 5.09/5.12 c 0.0s | 0 | 0 | 0 | 1895 0 | 0 | 0 5.09/5.12 c 0.0s | 0 | 6 | 0 | 1895 0 | 0 | 0 5.09/5.12 c #cpu_time = 0.004s 5.09/5.12 c #wall_clock_time = 0.004s 5.09/5.12 c #decision = 6 5.09/5.12 c #random_decision = 0 5.09/5.12 c #conflict = 0 5.09/5.12 c #restart = 0 5.09/5.12 c BCD2: found a new core of size 7: cost of the new core is >=2 5.09/5.12 c lower bound updated to 2 5.09/5.13 c BCD2: 2 <= obj <= 224 5.09/5.13 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0 5.09/5.13 c BCD2: #sat=1 #unsat=2 bias=2/3 5.09/5.13 c Solving starts ... 5.09/5.13 c ============================[ Search Statistics ]============================ 5.09/5.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.09/5.13 c | | | | Limit GC | Var | Constra 5.09/5.13 c ============================================================================= 5.09/5.13 c 0.0s | 0 | 0 | 0 | 1895 0 | 0 | 0 5.09/5.17 c 0.0s | 1 | 191 | 100 | 1895 0 | 0 | 0 5.19/5.21 c 0.1s | 2 | 451 | 250 | 1895 0 | 0 | 0 5.19/5.25 c 0.1s | 3 | 741 | 475 | 1895 1 | 0 | 0 5.29/5.35 c 0.2s | 4 | 1180 | 813 | 1895 1 | 0 | 0 5.39/5.47 c 0.3s | 5 | 1802 | 1320 | 1895 1 | 0 | 0 5.68/5.74 c 0.6s | 6 | 2796 | 2081 | 1895 2 | 0 | 0 5.88/5.99 c 0.9s | 7 | 4032 | 3223 | 1895 3 | 0 | 0 6.28/6.36 c 1.2s | 8 | 5800 | 4936 | 1895 5 | 0 | 0 6.98/7.04 c 1.9s | 9 | 8529 | 7506 | 1895 7 | 0 | 0 7.79/7.88 c 2.8s | 10 | 12718 | 11361 | 2085 10 | 0 | 0 9.78/9.88 c 4.8s | 10 | 17880 | 16161 | 2085 14 | 0 | 0 10.08/10.13 c 5.0s | 11 | 18896 | 17144 | 2085 15 | 0 | 0 12.09/12.15 c 7.0s | 11 | 25689 | 23644 | 2294 20 | 0 | 0 12.78/12.84 c 7.7s | 12 | 27922 | 25819 | 2294 21 | 0 | 0 14.78/14.85 c 9.7s | 12 | 35898 | 33319 | 2294 27 | 0 | 0 16.28/16.32 c 11.2s | 13 | 41663 | 38832 | 2294 31 | 0 | 0 18.28/18.32 c 13.2s | 13 | 50039 | 46832 | 2524 37 | 0 | 0 20.28/20.34 c 15.2s | 13 | 57890 | 54532 | 2524 42 | 0 | 0 21.08/21.19 c 16.1s | 14 | 61802 | 58352 | 2524 44 | 0 | 0 23.18/23.22 c 18.1s | 14 | 67813 | 63952 | 2524 48 | 0 | 0 25.18/25.23 c 20.1s | 14 | 73496 | 69252 | 2524 52 | 0 | 0 27.18/27.28 c 22.2s | 14 | 78645 | 74152 | 2777 55 | 0 | 0 29.18/29.28 c 24.2s | 14 | 83927 | 79052 | 2777 58 | 0 | 0 31.18/31.29 c 26.2s | 14 | 90179 | 85152 | 2777 62 | 0 | 0 32.08/32.19 c 27.1s | 15 | 92717 | 87632 | 2777 64 | 0 | 0 34.18/34.25 c 29.1s | 15 | 100284 | 93032 | 2777 67 | 0 | 0 36.17/36.29 c 31.2s | 15 | 107393 | 99132 | 2777 71 | 0 | 0 38.27/38.31 c 33.2s | 15 | 114412 | 105732 | 2777 76 | 0 | 0 40.27/40.33 c 35.2s | 15 | 122086 | 113032 | 2777 81 | 0 | 0 42.27/42.35 c 37.2s | 15 | 129183 | 119632 | 3055 84 | 0 | 0 44.27/44.37 c 39.2s | 15 | 136274 | 126332 | 3055 88 | 0 | 0 45.87/45.98 c 40.9s | 16 | 141720 | 131552 | 3055 92 | 0 | 0 47.97/48.01 c 42.9s | 16 | 150169 | 139652 | 3055 96 | 0 | 0 49.97/50.02 c 44.9s | 16 | 158279 | 147552 | 3055 101 | 0 | 0 51.97/52.03 c 46.9s | 16 | 166102 | 155152 | 3055 106 | 0 | 0 53.98/54.05 c 48.9s | 16 | 173556 | 162252 | 3055 110 | 0 | 0 55.97/56.05 c 50.9s | 16 | 180855 | 169252 | 3055 114 | 0 | 0 57.98/58.07 c 52.9s | 16 | 188135 | 176252 | 3055 118 | 0 | 0 59.98/60.08 c 55.0s | 16 | 195362 | 183152 | 3361 121 | 0 | 0 61.98/62.09 c 57.0s | 16 | 202385 | 189752 | 3361 125 | 0 | 0 64.08/64.11 c 59.0s | 16 | 209333 | 196452 | 3361 128 | 0 | 0 64.38/64.44 c 59.3s | 17 | 210400 | 197432 | 3361 129 | 0 | 0 66.37/66.49 c 61.4s | 17 | 216428 | 202932 | 3361 131 | 0 | 0 68.47/68.50 c 63.4s | 17 | 222857 | 208732 | 3361 134 | 0 | 0 70.48/70.52 c 65.4s | 17 | 230308 | 213832 | 3361 137 | 0 | 0 72.47/72.59 c 67.5s | 17 | 235312 | 218032 | 3361 139 | 0 | 0 74.57/74.65 c 69.5s | 17 | 238960 | 220332 | 3361 140 | 0 | 0 76.57/76.66 c 71.5s | 17 | 245994 | 225632 | 3361 143 | 0 | 0 78.57/78.66 c 73.5s | 17 | 252771 | 231532 | 3361 146 | 0 | 0 80.57/80.69 c 75.6s | 17 | 259781 | 238132 | 3361 150 | 0 | 0 82.67/82.71 c 77.6s | 17 | 266640 | 244532 | 3361 153 | 0 | 0 84.68/84.71 c 79.6s | 17 | 273577 | 251132 | 3361 156 | 0 | 0 86.67/86.72 c 81.6s | 17 | 280212 | 257332 | 3361 159 | 0 | 0 88.67/88.73 c 83.6s | 17 | 287057 | 263732 | 3361 163 | 0 | 0 90.67/90.75 c 85.6s | 17 | 293763 | 270132 | 3361 166 | 0 | 0 92.67/92.76 c 87.6s | 17 | 299537 | 275532 | 3361 169 | 0 | 0 94.67/94.78 c 89.6s | 17 | 306889 | 281732 | 3698 172 | 0 | 0 96.67/96.79 c 91.7s | 17 | 314058 | 288032 | 3698 175 | 0 | 0 98.77/98.82 c 93.7s | 17 | 321003 | 294632 | 3698 178 | 0 | 0 99.27/99.35 c 94.2s | 18 | 322646 | 296252 | 3698 179 | 0 | 0 101.27/101.38 c 96.3s | 18 | 330110 | 303052 | 3698 182 | 0 | 0 103.27/103.38 c 98.3s | 18 | 336343 | 309152 | 3698 185 | 0 | 0 105.27/105.39 c 100s | 18 | 343042 | 315652 | 3698 188 | 0 | 0 107.36/107.42 c 102s | 18 | 349765 | 321952 | 3698 191 | 0 | 0 109.36/109.43 c 104s | 18 | 355659 | 327652 | 3698 194 | 0 | 0 111.36/111.45 c 106s | 18 | 361761 | 333552 | 3698 196 | 0 | 0 113.37/113.48 c 108s | 18 | 367685 | 339152 | 3698 199 | 0 | 0 115.36/115.50 c 110s | 18 | 374057 | 345352 | 3698 202 | 0 | 0 117.46/117.54 c 112s | 18 | 381022 | 351852 | 3698 205 | 0 | 0 119.46/119.57 c 114s | 18 | 386396 | 356752 | 3698 207 | 0 | 0 121.56/121.60 c 116s | 18 | 392755 | 362452 | 3698 210 | 0 | 0 123.56/123.62 c 118s | 18 | 398305 | 367352 | 3698 212 | 0 | 0 125.56/125.65 c 120s | 18 | 404464 | 373152 | 3698 215 | 0 | 0 127.57/127.65 c 122s | 18 | 410094 | 378452 | 3698 218 | 0 | 0 129.56/129.68 c 124s | 18 | 415845 | 383952 | 3698 220 | 0 | 0 131.56/131.69 c 126s | 18 | 422181 | 389752 | 3698 223 | 0 | 0 133.66/133.74 c 128s | 18 | 426940 | 394052 | 3698 225 | 0 | 0 135.76/135.80 c 130s | 18 | 431838 | 398752 | 3698 228 | 0 | 0 137.76/137.82 c 132s | 18 | 436805 | 403352 | 3698 230 | 0 | 0 139.76/139.83 c 134s | 18 | 442139 | 408252 | 3698 232 | 0 | 0 141.76/141.87 c 136s | 18 | 447039 | 412952 | 3698 234 | 0 | 0 143.86/143.90 c 138s | 18 | 452890 | 418652 | 3698 237 | 0 | 0 145.85/145.93 c 140s | 18 | 459086 | 424452 | 4068 240 | 0 | 0 147.85/147.93 c 142s | 18 | 465417 | 430352 | 4068 242 | 0 | 0 149.85/149.94 c 144s | 18 | 471574 | 436152 | 4068 245 | 0 | 0 151.86/151.94 c 146s | 18 | 478064 | 442152 | 4068 248 | 0 | 0 152.65/152.80 c 147s | 19 | 480625 | 444482 | 4068 249 | 0 | 0 154.75/154.80 c 149s | 19 | 486919 | 450482 | 4068 251 | 0 | 0 156.75/156.81 c 151s | 19 | 493567 | 456882 | 4068 254 | 0 | 0 158.75/158.81 c 153s | 19 | 499945 | 462882 | 4068 257 | 0 | 0 160.75/160.83 c 155s | 19 | 506271 | 468982 | 4068 259 | 0 | 0 162.77/162.84 c 157s | 19 | 512664 | 475182 | 4068 262 | 0 | 0 164.76/164.86 c 159s | 19 | 518832 | 481082 | 4068 265 | 0 | 0 166.76/166.86 c 161s | 19 | 524647 | 486582 | 4068 267 | 0 | 0 168.86/168.90 c 163s | 19 | 529702 | 491382 | 4068 269 | 0 | 0 170.86/170.91 c 165s | 19 | 536476 | 497982 | 4068 272 | 0 | 0 172.86/172.92 c 167s | 19 | 543591 | 504982 | 4068 275 | 0 | 0 174.86/174.95 c 169s | 19 | 549792 | 511082 | 4068 278 | 0 | 0 176.86/176.96 c 171s | 19 | 555514 | 516682 | 4068 280 | 0 | 0 178.85/178.97 c 173s | 19 | 561405 | 522382 | 4068 283 | 0 | 0 180.85/180.98 c 175s | 19 | 566817 | 527682 | 4068 285 | 0 | 0 182.85/182.99 c 177s | 19 | 572196 | 532982 | 4068 287 | 0 | 0 184.86/184.99 c 179s | 19 | 578366 | 538882 | 4068 290 | 0 | 0 186.85/187.00 c 181s | 19 | 584804 | 545182 | 4068 293 | 0 | 0 188.95/189.01 c 183s | 19 | 590987 | 551282 | 4068 295 | 0 | 0 190.95/191.04 c 185s | 19 | 596873 | 557082 | 4068 298 | 0 | 0 192.95/193.07 c 187s | 19 | 602612 | 562582 | 4068 300 | 0 | 0 194.95/195.09 c 189s | 19 | 607893 | 567682 | 4068 303 | 0 | 0 197.05/197.10 c 191s | 19 | 614438 | 574082 | 4068 305 | 0 | 0 198.95/199.10 c 193s | 19 | 621200 | 580582 | 4068 308 | 0 | 0 201.05/201.11 c 195s | 19 | 627367 | 586582 | 4068 311 | 0 | 0 203.05/203.11 c 197s | 19 | 633846 | 592982 | 4068 314 | 0 | 0 205.05/205.13 c 200s | 19 | 640641 | 599582 | 4068 317 | 0 | 0 207.05/207.15 c 202s | 19 | 646079 | 604682 | 4068 319 | 0 | 0 209.06/209.18 c 204s | 19 | 650687 | 609182 | 4068 321 | 0 | 0 211.15/211.21 c 206s | 19 | 655231 | 613682 | 4068 323 | 0 | 0 213.15/213.21 c 208s | 19 | 659775 | 618082 | 4068 325 | 0 | 0 215.15/215.22 c 210s | 19 | 664323 | 622482 | 4068 327 | 0 | 0 217.15/217.26 c 212s | 19 | 669225 | 627182 | 4068 329 | 0 | 0 219.15/219.28 c 214s | 19 | 674584 | 632282 | 4068 331 | 0 | 0 221.15/221.29 c 216s | 19 | 679533 | 637082 | 4068 333 | 0 | 0 223.15/223.30 c 218s | 19 | 684196 | 641582 | 4068 335 | 0 | 0 225.24/225.33 c 220s | 19 | 689130 | 646382 | 4475 337 | 0 | 0 227.24/227.35 c 222s | 19 | 695248 | 652282 | 4475 339 | 0 | 0 229.24/229.38 c 224s | 19 | 701438 | 657882 | 4475 342 | 0 | 0 231.34/231.42 c 226s | 19 | 706499 | 662382 | 4475 343 | 0 | 0 233.04/233.12 c 227s | 20 | 711176 | 666827 | 4475 345 | 0 | 0 235.04/235.14 c 230s | 20 | 718477 | 673627 | 4475 348 | 0 | 0 237.04/237.15 c 232s | 20 | 724111 | 679027 | 4475 350 | 0 | 0 239.04/239.18 c 234s | 20 | 729872 | 684527 | 4475 353 | 0 | 0 241.04/241.18 c 236s | 20 | 735650 | 689927 | 4475 355 | 0 | 0 243.15/243.21 c 238s | 20 | 740550 | 694627 | 4475 357 | 0 | 0 245.14/245.24 c 240s | 20 | 745667 | 699327 | 4475 359 | 0 | 0 247.14/247.24 c 242s | 20 | 750498 | 703827 | 4475 361 | 0 | 0 249.14/249.26 c 244s | 20 | 755984 | 709027 | 4475 363 | 0 | 0 251.14/251.27 c 246s | 20 | 761620 | 714327 | 4475 365 | 0 | 0 253.24/253.30 c 248s | 20 | 767197 | 719627 | 4475 367 | 0 | 0 255.25/255.32 c 250s | 20 | 772569 | 724727 | 4475 369 | 0 | 0 257.24/257.32 c 252s | 20 | 778330 | 730327 | 4475 371 | 0 | 0 259.24/259.34 c 254s | 20 | 783745 | 735527 | 4475 373 | 0 | 0 261.24/261.37 c 256s | 20 | 788938 | 740427 | 4475 375 | 0 | 0 263.24/263.38 c 258s | 20 | 794652 | 745827 | 4475 378 | 0 | 0 265.34/265.42 c 260s | 20 | 800132 | 751027 | 4475 380 | 0 | 0 267.34/267.43 c 262s | 20 | 805752 | 756327 | 4475 382 | 0 | 0 269.33/269.44 c 264s | 20 | 811171 | 761427 | 4475 384 | 0 | 0 271.33/271.46 c 266s | 20 | 816622 | 766627 | 4475 386 | 0 | 0 273.33/273.48 c 268s | 20 | 822063 | 771727 | 4475 388 | 0 | 0 275.33/275.49 c 270s | 20 | 827716 | 777127 | 4475 390 | 0 | 0 277.33/277.50 c 272s | 20 | 833676 | 782727 | 4475 393 | 0 | 0 279.45/279.52 c 274s | 20 | 840252 | 789027 | 4475 395 | 0 | 0 281.44/281.55 c 276s | 20 | 846108 | 794527 | 4475 398 | 0 | 0 283.44/283.57 c 278s | 20 | 851683 | 799827 | 4475 400 | 0 | 0 285.44/285.57 c 280s | 20 | 857381 | 805327 | 4475 402 | 0 | 0 287.44/287.58 c 282s | 20 | 862735 | 810427 | 4475 404 | 0 | 0 289.44/289.59 c 284s | 20 | 868523 | 815927 | 4475 406 | 0 | 0 291.45/291.60 c 286s | 20 | 874310 | 821427 | 4475 409 | 0 | 0 293.54/293.61 c 288s | 20 | 879578 | 826427 | 4475 411 | 0 | 0 295.54/295.64 c 290s | 20 | 885574 | 832127 | 4475 413 | 0 | 0 297.54/297.64 c 292s | 20 | 891688 | 837927 | 4475 415 | 0 | 0 299.54/299.66 c 294s | 20 | 897264 | 843227 | 4475 417 | 0 | 0 301.54/301.68 c 296s | 20 | 902792 | 848427 | 4475 420 | 0 | 0 303.64/303.71 c 298s | 20 | 908468 | 853627 | 4475 422 | 0 | 0 305.64/305.73 c 300s | 20 | 914848 | 859627 | 4475 424 | 0 | 0 307.63/307.76 c 302s | 20 | 920478 | 864827 | 4475 426 | 0 | 0 309.63/309.78 c 304s | 20 | 926353 | 870427 | 4475 429 | 0 | 0 311.63/311.79 c 306s | 20 | 932662 | 876327 | 4475 431 | 0 | 0 313.63/313.79 c 308s | 20 | 938607 | 881927 | 4475 433 | 0 | 0 315.74/315.81 c 310s | 20 | 944306 | 887327 | 4475 435 | 0 | 0 317.73/317.81 c 312s | 20 | 950131 | 892727 | 4475 438 | 0 | 0 319.73/319.83 c 314s | 20 | 956004 | 898427 | 4475 440 | 0 | 0 321.73/321.85 c 316s | 20 | 962132 | 904227 | 4475 442 | 0 | 0 323.73/323.87 c 318s | 20 | 968532 | 910127 | 4475 445 | 0 | 0 325.83/325.90 c 320s | 20 | 974832 | 916127 | 4475 447 | 0 | 0 327.84/327.92 c 322s | 20 | 981001 | 922127 | 4475 450 | 0 | 0 329.83/329.95 c 324s | 20 | 987329 | 928227 | 4475 452 | 0 | 0 331.83/331.97 c 326s | 20 | 993171 | 933827 | 4475 454 | 0 | 0 333.83/333.97 c 328s | 20 | 999030 | 939327 | 4475 457 | 0 | 0 335.83/335.99 c 330s | 20 | 1004917 | 944727 | 4475 459 | 0 | 0 337.83/338.00 c 332s | 20 | 1011071 | 950527 | 4475 461 | 0 | 0 339.93/340.04 c 334s | 20 | 1017600 | 956627 | 4475 464 | 0 | 0 341.93/342.04 c 336s | 20 | 1023372 | 962227 | 4475 466 | 0 | 0 343.93/344.08 c 338s | 20 | 1029715 | 968127 | 4475 469 | 0 | 0 345.93/346.10 c 340s | 20 | 1034972 | 973127 | 4475 471 | 0 | 0 348.03/348.10 c 342s | 20 | 1040809 | 978627 | 4923 473 | 0 | 0 350.02/350.10 c 344s | 20 | 1047256 | 984727 | 4923 475 | 0 | 0 352.03/352.13 c 347s | 20 | 1053766 | 990827 | 4923 477 | 0 | 0 354.02/354.15 c 349s | 20 | 1059965 | 996627 | 4923 479 | 0 | 0 355.42/355.50 c 350s | 21 | 1063789 | 1000345 | 4923 481 | 0 | 0 357.43/357.51 c 352s | 21 | 1069125 | 1005245 | 4923 483 | 0 | 0 359.42/359.57 c 354s | 21 | 1074322 | 1010045 | 4923 484 | 0 | 0 361.42/361.58 c 356s | 21 | 1079010 | 1014545 | 4923 486 | 0 | 0 363.52/363.65 c 358s | 21 | 1084177 | 1019445 | 4923 488 | 0 | 0 365.52/365.69 c 360s | 21 | 1088293 | 1023145 | 4923 489 | 0 | 0 367.62/367.72 c 362s | 21 | 1093933 | 1028545 | 4923 491 | 0 | 0 369.63/369.74 c 364s | 21 | 1098880 | 1033345 | 4923 493 | 0 | 0 371.62/371.75 c 366s | 21 | 1104404 | 1038645 | 4923 495 | 0 | 0 373.62/373.77 c 368s | 21 | 1109069 | 1043145 | 4923 497 | 0 | 0 375.62/375.79 c 370s | 21 | 1114347 | 1048245 | 4923 499 | 0 | 0 377.72/377.82 c 372s | 21 | 1118367 | 1052045 | 4923 500 | 0 | 0 379.72/379.85 c 374s | 21 | 1122642 | 1056145 | 4923 501 | 0 | 0 381.72/381.88 c 376s | 21 | 1127604 | 1060745 | 4923 503 | 0 | 0 383.82/383.91 c 378s | 21 | 1133785 | 1066545 | 4923 505 | 0 | 0 385.82/385.94 c 380s | 21 | 1139939 | 1072445 | 4923 508 | 0 | 0 387.82/387.95 c 382s | 21 | 1146093 | 1078345 | 4923 510 | 0 | 0 389.82/389.97 c 384s | 21 | 1152582 | 1084445 | 4923 512 | 0 | 0 391.82/391.99 c 386s | 21 | 1158875 | 1090445 | 4923 514 | 0 | 0 393.92/394.01 c 388s | 21 | 1164719 | 1096045 | 4923 516 | 0 | 0 395.92/396.02 c 390s | 21 | 1169424 | 1100445 | 4923 518 | 0 | 0 397.91/398.04 c 392s | 21 | 1175327 | 1106145 | 4923 520 | 0 | 0 399.92/400.05 c 394s | 21 | 1181531 | 1112045 | 4923 522 | 0 | 0 401.92/402.06 c 396s | 21 | 1187107 | 1117245 | 4923 524 | 0 | 0 403.92/404.09 c 398s | 21 | 1193143 | 1123045 | 4923 526 | 0 | 0 406.02/406.10 c 400s | 21 | 1198931 | 1128645 | 4923 528 | 0 | 0 408.02/408.12 c 402s | 21 | 1204410 | 1133645 | 4923 530 | 0 | 0 410.02/410.15 c 405s | 21 | 1209933 | 1138945 | 4923 532 | 0 | 0 412.02/412.18 c 407s | 21 | 1215650 | 1144445 | 4923 534 | 0 | 0 414.12/414.20 c 409s | 21 | 1221550 | 1150045 | 4923 536 | 0 | 0 416.12/416.23 c 411s | 21 | 1227501 | 1155845 | 4923 539 | 0 | 0 418.12/418.25 c 413s | 21 | 1232596 | 1160645 | 4923 540 | 0 | 0 420.12/420.30 c 415s | 21 | 1238007 | 1165845 | 4923 542 | 0 | 0 422.21/422.31 c 417s | 21 | 1243284 | 1170745 | 4923 544 | 0 | 0 424.21/424.33 c 419s | 21 | 1247334 | 1174545 | 4923 546 | 0 | 0 426.21/426.35 c 421s | 21 | 1252161 | 1179045 | 4923 547 | 0 | 0 428.21/428.39 c 423s | 21 | 1257744 | 1184345 | 4923 549 | 0 | 0 430.21/430.39 c 425s | 21 | 1262986 | 1189245 | 4923 551 | 0 | 0 432.32/432.41 c 427s | 21 | 1268782 | 1194845 | 4923 553 | 0 | 0 434.31/434.41 c 429s | 21 | 1273773 | 1199545 | 4923 555 | 0 | 0 436.31/436.43 c 431s | 21 | 1279042 | 1204645 | 4923 557 | 0 | 0 438.31/438.44 c 433s | 21 | 1285091 | 1210445 | 4923 559 | 0 | 0 440.31/440.45 c 435s | 21 | 1290025 | 1214945 | 4923 561 | 0 | 0 442.41/442.51 c 437s | 21 | 1295465 | 1220145 | 4923 563 | 0 | 0 444.42/444.53 c 439s | 21 | 1301234 | 1225645 | 4923 565 | 0 | 0 446.41/446.57 c 441s | 21 | 1306869 | 1231045 | 4923 567 | 0 | 0 448.41/448.57 c 443s | 21 | 1312114 | 1236045 | 4923 568 | 0 | 0 450.51/450.60 c 445s | 21 | 1317845 | 1241445 | 4923 570 | 0 | 0 452.51/452.63 c 447s | 21 | 1323692 | 1246945 | 4923 572 | 0 | 0 454.51/454.69 c 449s | 21 | 1328867 | 1251945 | 4923 574 | 0 | 0 456.61/456.72 c 451s | 21 | 1332898 | 1255745 | 4923 576 | 0 | 0 458.62/458.73 c 453s | 21 | 1337930 | 1260445 | 4923 578 | 0 | 0 460.61/460.75 c 455s | 21 | 1342724 | 1264945 | 4923 579 | 0 | 0 462.61/462.78 c 457s | 21 | 1347617 | 1269645 | 4923 581 | 0 | 0 464.71/464.82 c 459s | 21 | 1351895 | 1273745 | 4923 582 | 0 | 0 466.71/466.86 c 461s | 21 | 1356646 | 1278245 | 4923 584 | 0 | 0 468.81/468.90 c 463s | 21 | 1361509 | 1282945 | 4923 586 | 0 | 0 470.81/470.95 c 465s | 21 | 1365968 | 1287145 | 4923 587 | 0 | 0 472.81/472.98 c 467s | 21 | 1369723 | 1290545 | 4923 589 | 0 | 0 474.81/474.99 c 469s | 21 | 1375743 | 1296345 | 4923 591 | 0 | 0 476.91/477.00 c 471s | 21 | 1382246 | 1302445 | 4923 593 | 0 | 0 478.91/479.00 c 473s | 21 | 1388453 | 1308145 | 4923 595 | 0 | 0 480.90/481.00 c 475s | 21 | 1393505 | 1312845 | 4923 597 | 0 | 0 482.91/483.02 c 477s | 21 | 1398719 | 1317545 | 4923 599 | 0 | 0 484.90/485.03 c 479s | 21 | 1402479 | 1320945 | 4923 600 | 0 | 0 486.90/487.07 c 481s | 21 | 1408281 | 1326245 | 4923 602 | 0 | 0 488.90/489.08 c 483s | 21 | 1414061 | 1331645 | 4923 604 | 0 | 0 491.00/491.12 c 485s | 21 | 1418563 | 1335845 | 4923 606 | 0 | 0 493.00/493.16 c 488s | 21 | 1423618 | 1340545 | 4923 607 | 0 | 0 495.01/495.17 c 490s | 21 | 1429320 | 1345945 | 4923 609 | 0 | 0 497.00/497.19 c 492s | 21 | 1434378 | 1350645 | 4923 611 | 0 | 0 499.10/499.20 c 494s | 21 | 1440171 | 1356245 | 4923 613 | 0 | 0 501.10/501.22 c 496s | 21 | 1446126 | 1361845 | 4923 615 | 0 | 0 503.10/503.26 c 498s | 21 | 1451706 | 1367145 | 4923 617 | 0 | 0 505.10/505.28 c 500s | 21 | 1457378 | 1372545 | 4923 619 | 0 | 0 507.20/507.30 c 502s | 21 | 1462439 | 1377345 | 4923 621 | 0 | 0 509.21/509.33 c 504s | 21 | 1467740 | 1382445 | 4923 623 | 0 | 0 511.20/511.35 c 506s | 21 | 1472577 | 1387045 | 4923 625 | 0 | 0 513.30/513.40 c 508s | 21 | 1477984 | 1392145 | 4923 627 | 0 | 0 515.30/515.42 c 510s | 21 | 1482712 | 1396545 | 4923 628 | 0 | 0 517.30/517.44 c 512s | 21 | 1487590 | 1401045 | 4923 630 | 0 | 0 519.30/519.45 c 514s | 21 | 1493255 | 1406345 | 4923 632 | 0 | 0 521.30/521.47 c 516s | 21 | 1498410 | 1411045 | 4923 634 | 0 | 0 523.30/523.49 c 518s | 21 | 1504246 | 1416445 | 4923 636 | 0 | 0 525.40/525.54 c 520s | 21 | 1509857 | 1421545 | 4923 638 | 0 | 0 527.39/527.55 c 522s | 21 | 1515361 | 1426545 | 4923 639 | 0 | 0 529.39/529.57 c 524s | 21 | 1520250 | 1431145 | 4923 641 | 0 | 0 531.39/531.59 c 526s | 21 | 1525103 | 1435645 | 4923 643 | 0 | 0 533.50/533.61 c 528s | 21 | 1530208 | 1440245 | 4923 644 | 0 | 0 535.49/535.64 c 530s | 21 | 1535218 | 1444845 | 4923 646 | 0 | 0 537.49/537.66 c 532s | 21 | 1541127 | 1450445 | 4923 648 | 0 | 0 539.49/539.69 c 534s | 21 | 1547223 | 1456245 | 4923 650 | 0 | 0 541.60/541.70 c 536s | 21 | 1553014 | 1461645 | 4923 652 | 0 | 0 543.60/543.70 c 538s | 21 | 1558543 | 1466845 | 4923 654 | 0 | 0 545.61/545.73 c 540s | 21 | 1564977 | 1472745 | 5416 656 | 0 | 0 547.60/547.74 c 542s | 21 | 1570167 | 1477545 | 5416 658 | 0 | 0 549.60/549.75 c 544s | 21 | 1575995 | 1483045 | 5416 660 | 0 | 0 551.60/551.78 c 546s | 21 | 1581017 | 1487745 | 5416 662 | 0 | 0 553.70/553.82 c 548s | 21 | 1586557 | 1492645 | 5416 663 | 0 | 0 555.70/555.86 c 550s | 21 | 1590838 | 1496745 | 5416 665 | 0 | 0 557.60/557.76 c 552s | 22 | 1594875 | 1500622 | 5416 666 | 0 | 0 559.59/559.79 c 554s | 22 | 1602086 | 1507422 | 5416 669 | 0 | 0 561.69/561.81 c 556s | 22 | 1609192 | 1514222 | 5416 671 | 0 | 0 563.69/563.85 c 558s | 22 | 1615463 | 1520222 | 5416 673 | 0 | 0 565.69/565.87 c 560s | 22 | 1621923 | 1526322 | 5416 675 | 0 | 0 567.69/567.87 c 562s | 22 | 1628263 | 1532222 | 5416 677 | 0 | 0 569.70/569.89 c 564s | 22 | 1635704 | 1539222 | 5416 680 | 0 | 0 571.79/571.90 c 566s | 22 | 1642108 | 1545422 | 5416 682 | 0 | 0 573.79/573.93 c 568s | 22 | 1649202 | 1552122 | 5416 685 | 0 | 0 575.79/575.94 c 570s | 22 | 1656351 | 1558922 | 5416 687 | 0 | 0 577.79/577.97 c 572s | 22 | 1663398 | 1565622 | 5416 690 | 0 | 0 579.79/579.98 c 574s | 22 | 1670553 | 1572422 | 5416 692 | 0 | 0 581.90/582.00 c 576s | 22 | 1677499 | 1579122 | 5416 694 | 0 | 0 583.89/584.01 c 578s | 22 | 1684820 | 1586022 | 5416 697 | 0 | 0 585.89/586.06 c 580s | 22 | 1691992 | 1592822 | 5416 699 | 0 | 0 587.89/588.08 c 582s | 22 | 1697938 | 1598522 | 5416 701 | 0 | 0 589.99/590.12 c 584s | 22 | 1703495 | 1603522 | 5416 703 | 0 | 0 591.99/592.16 c 587s | 22 | 1708374 | 1608122 | 5416 704 | 0 | 0 593.99/594.17 c 589s | 22 | 1713962 | 1613522 | 5416 706 | 0 | 0 595.99/596.18 c 591s | 22 | 1719388 | 1618522 | 5416 708 | 0 | 0 598.08/598.20 c 593s | 22 | 1725048 | 1623922 | 5416 710 | 0 | 0 600.08/600.25 c 595s | 22 | 1729321 | 1627922 | 5416 711 | 0 | 0 602.08/602.28 c 597s | 22 | 1733794 | 1632222 | 5416 713 | 0 | 0 604.18/604.33 c 599s | 22 | 1737731 | 1636022 | 5416 714 | 0 | 0 606.18/606.36 c 601s | 22 | 1741943 | 1640022 | 5416 716 | 0 | 0 608.19/608.37 c 603s | 22 | 1746375 | 1644322 | 5416 717 | 0 | 0 610.18/610.39 c 605s | 22 | 1750922 | 1648622 | 5416 719 | 0 | 0 612.28/612.43 c 607s | 22 | 1756156 | 1653522 | 5416 720 | 0 | 0 614.28/614.44 c 609s | 22 | 1761682 | 1658922 | 5416 722 | 0 | 0 616.28/616.46 c 611s | 22 | 1767059 | 1664022 | 5416 724 | 0 | 0 618.28/618.48 c 613s | 22 | 1771988 | 1668822 | 5416 726 | 0 | 0 620.29/620.49 c 615s | 22 | 1777142 | 1673722 | 5416 727 | 0 | 0 622.28/622.49 c 617s | 22 | 1782103 | 1678422 | 5416 729 | 0 | 0 624.38/624.51 c 619s | 22 | 1787385 | 1683522 | 5416 731 | 0 | 0 626.38/626.54 c 621s | 22 | 1792331 | 1688122 | 5416 732 | 0 | 0 628.39/628.55 c 623s | 22 | 1797552 | 1693022 | 5416 734 | 0 | 0 630.39/630.56 c 625s | 22 | 1802328 | 1697622 | 5416 736 | 0 | 0 632.39/632.58 c 627s | 22 | 1808088 | 1703022 | 5416 737 | 0 | 0 634.39/634.59 c 629s | 22 | 1812965 | 1707522 | 5416 739 | 0 | 0 636.49/636.61 c 631s | 22 | 1817954 | 1712122 | 5416 741 | 0 | 0 638.49/638.63 c 633s | 22 | 1823508 | 1717322 | 5416 742 | 0 | 0 640.48/640.63 c 635s | 22 | 1829191 | 1722722 | 5416 744 | 0 | 0 642.48/642.64 c 637s | 22 | 1834881 | 1728222 | 5416 746 | 0 | 0 644.49/644.65 c 639s | 22 | 1840104 | 1733222 | 5416 748 | 0 | 0 646.48/646.66 c 641s | 22 | 1844632 | 1737322 | 5416 749 | 0 | 0 648.58/648.71 c 643s | 22 | 1850036 | 1742422 | 5416 751 | 0 | 0 650.58/650.75 c 645s | 22 | 1855107 | 1747122 | 5416 753 | 0 | 0 652.68/652.80 c 647s | 22 | 1860861 | 1752622 | 5416 755 | 0 | 0 654.68/654.81 c 649s | 22 | 1866119 | 1757522 | 5416 756 | 0 | 0 656.69/656.83 c 651s | 22 | 1871196 | 1762422 | 5416 758 | 0 | 0 658.68/658.83 c 653s | 22 | 1876722 | 1767722 | 5416 760 | 0 | 0 660.68/660.86 c 655s | 22 | 1881701 | 1772522 | 5416 762 | 0 | 0 662.78/662.91 c 657s | 22 | 1887048 | 1777622 | 5416 763 | 0 | 0 664.78/664.95 c 659s | 22 | 1891336 | 1781622 | 5416 765 | 0 | 0 666.78/666.98 c 661s | 22 | 1895837 | 1785922 | 5416 766 | 0 | 0 668.78/668.98 c 663s | 22 | 1901200 | 1791022 | 5416 768 | 0 | 0 670.78/670.99 c 665s | 22 | 1905717 | 1795222 | 5416 769 | 0 | 0 672.88/673.02 c 667s | 22 | 1910965 | 1800322 | 5416 771 | 0 | 0 674.88/675.03 c 669s | 22 | 1916217 | 1805322 | 5416 773 | 0 | 0 676.88/677.05 c 671s | 22 | 1921472 | 1810322 | 5416 775 | 0 | 0 678.88/679.07 c 673s | 22 | 1926826 | 1815522 | 5416 777 | 0 | 0 680.88/681.08 c 675s | 22 | 1932502 | 1820922 | 5416 778 | 0 | 0 682.88/683.10 c 677s | 22 | 1937878 | 1826122 | 5416 780 | 0 | 0 684.97/685.12 c 679s | 22 | 1942768 | 1830722 | 5416 782 | 0 | 0 686.97/687.16 c 682s | 22 | 1947803 | 1835622 | 5416 783 | 0 | 0 688.97/689.18 c 684s | 22 | 1953559 | 1841122 | 5416 785 | 0 | 0 691.07/691.22 c 686s | 22 | 1959212 | 1846422 | 5416 787 | 0 | 0 693.07/693.23 c 688s | 22 | 1963653 | 1850722 | 5416 789 | 0 | 0 695.08/695.24 c 690s | 22 | 1969304 | 1856122 | 5416 791 | 0 | 0 697.07/697.26 c 692s | 22 | 1974413 | 1860822 | 5416 792 | 0 | 0 699.17/699.30 c 694s | 22 | 1979314 | 1865522 | 5416 794 | 0 | 0 701.17/701.31 c 696s | 22 | 1984725 | 1870822 | 5416 796 | 0 | 0 703.17/703.31 c 698s | 22 | 1989321 | 1875222 | 5416 797 | 0 | 0 705.17/705.35 c 700s | 22 | 1995055 | 1880722 | 5416 799 | 0 | 0 707.18/707.37 c 702s | 22 | 1999973 | 1885322 | 5416 801 | 0 | 0 709.17/709.37 c 704s | 22 | 2005066 | 1890222 | 5416 802 | 0 | 0 711.17/711.38 c 706s | 22 | 2010924 | 1895722 | 5416 804 | 0 | 0 713.17/713.39 c 708s | 22 | 2016470 | 1900922 | 5416 806 | 0 | 0 715.27/715.42 c 710s | 22 | 2021152 | 1905122 | 5416 808 | 0 | 0 717.27/717.44 c 712s | 22 | 2027765 | 1911322 | 5416 810 | 0 | 0 719.27/719.45 c 714s | 22 | 2034326 | 1917622 | 5416 812 | 0 | 0 721.27/721.45 c 716s | 22 | 2040891 | 1923822 | 5416 814 | 0 | 0 723.27/723.48 c 718s | 22 | 2046894 | 1929322 | 5416 816 | 0 | 0 725.37/725.50 c 720s | 22 | 2053030 | 1935022 | 5416 818 | 0 | 0 727.37/727.55 c 722s | 22 | 2058846 | 1940222 | 5416 820 | 0 | 0 729.36/729.55 c 724s | 22 | 2063968 | 1945222 | 5416 822 | 0 | 0 731.47/731.62 c 726s | 22 | 2069789 | 1950822 | 5416 824 | 0 | 0 733.46/733.65 c 728s | 22 | 2075443 | 1956322 | 5416 825 | 0 | 0 735.46/735.66 c 730s | 22 | 2080639 | 1961322 | 5416 827 | 0 | 0 737.46/737.67 c 732s | 22 | 2086049 | 1966422 | 5416 829 | 0 | 0 739.46/739.67 c 734s | 22 | 2091493 | 1971322 | 5416 831 | 0 | 0 741.46/741.69 c 736s | 22 | 2096743 | 1975822 | 5416 832 | 0 | 0 743.47/743.69 c 738s | 22 | 2101538 | 1980422 | 5416 834 | 0 | 0 745.56/745.72 c 740s | 22 | 2106291 | 1985022 | 5416 835 | 0 | 0 747.56/747.72 c 742s | 22 | 2110615 | 1989122 | 5416 837 | 0 | 0 749.56/749.76 c 744s | 22 | 2115615 | 1993922 | 5416 839 | 0 | 0 751.56/751.77 c 746s | 22 | 2120658 | 1998722 | 5416 840 | 0 | 0 753.57/753.80 c 748s | 22 | 2125691 | 2003522 | 5416 842 | 0 | 0 755.67/755.81 c 750s | 22 | 2131745 | 2009222 | 5416 844 | 0 | 0 757.67/757.84 c 752s | 22 | 2137722 | 2015022 | 5416 846 | 0 | 0 759.67/759.86 c 754s | 22 | 2143743 | 2020722 | 5416 848 | 0 | 0 761.67/761.86 c 756s | 22 | 2149424 | 2026222 | 5416 850 | 0 | 0 763.66/763.87 c 758s | 22 | 2154832 | 2031322 | 5416 852 | 0 | 0 765.76/765.91 c 760s | 22 | 2159941 | 2036322 | 5416 853 | 0 | 0 767.77/767.95 c 762s | 22 | 2165082 | 2041222 | 5416 855 | 0 | 0 769.76/769.95 c 764s | 22 | 2169922 | 2045722 | 5416 857 | 0 | 0 771.86/772.00 c 766s | 22 | 2174685 | 2050322 | 5416 858 | 0 | 0 773.86/774.02 c 768s | 22 | 2179194 | 2054622 | 5416 860 | 0 | 0 775.86/776.07 c 770s | 22 | 2184387 | 2059622 | 5416 861 | 0 | 0 777.96/778.11 c 772s | 22 | 2189158 | 2064222 | 5416 863 | 0 | 0 779.96/780.15 c 775s | 22 | 2194012 | 2068922 | 5416 865 | 0 | 0 781.96/782.17 c 777s | 22 | 2198753 | 2073522 | 5416 866 | 0 | 0 783.95/784.19 c 779s | 22 | 2203674 | 2078222 | 5416 868 | 0 | 0 786.05/786.27 c 781s | 22 | 2208865 | 2083222 | 5416 870 | 0 | 0 788.05/788.29 c 783s | 22 | 2213938 | 2088122 | 5416 871 | 0 | 0 790.15/790.32 c 785s | 22 | 2219255 | 2093222 | 5416 873 | 0 | 0 792.15/792.32 c 787s | 22 | 2225602 | 2099322 | 5416 875 | 0 | 0 794.15/794.36 c 789s | 22 | 2230695 | 2104322 | 5416 877 | 0 | 0 796.15/796.39 c 791s | 22 | 2235851 | 2109122 | 5416 879 | 0 | 0 798.25/798.41 c 793s | 22 | 2240389 | 2113222 | 5416 880 | 0 | 0 800.25/800.44 c 795s | 22 | 2244365 | 2116822 | 5416 881 | 0 | 0 802.25/802.45 c 797s | 22 | 2249627 | 2121822 | 5416 883 | 0 | 0 804.24/804.49 c 799s | 22 | 2254948 | 2126922 | 5416 885 | 0 | 0 806.34/806.56 c 801s | 22 | 2259703 | 2131422 | 5416 886 | 0 | 0 808.35/808.56 c 803s | 22 | 2265216 | 2136722 | 5416 888 | 0 | 0 810.44/810.61 c 805s | 22 | 2269611 | 2140522 | 5416 890 | 0 | 0 812.44/812.63 c 807s | 22 | 2275771 | 2146322 | 5416 892 | 0 | 0 814.44/814.64 c 809s | 22 | 2281125 | 2151122 | 5416 893 | 0 | 0 816.43/816.65 c 811s | 22 | 2286252 | 2155922 | 5416 895 | 0 | 0 818.43/818.67 c 813s | 22 | 2291440 | 2160922 | 5416 897 | 0 | 0 820.44/820.69 c 815s | 22 | 2296356 | 2165522 | 5416 898 | 0 | 0 822.54/822.71 c 817s | 22 | 2301244 | 2170122 | 5416 900 | 0 | 0 824.53/824.74 c 819s | 22 | 2306629 | 2175222 | 5416 902 | 0 | 0 826.53/826.74 c 821s | 22 | 2311974 | 2180322 | 5416 903 | 0 | 0 828.53/828.77 c 823s | 22 | 2317345 | 2185522 | 5416 905 | 0 | 0 830.53/830.78 c 825s | 22 | 2322736 | 2190822 | 5416 907 | 0 | 0 832.64/832.81 c 827s | 22 | 2327811 | 2195622 | 5416 909 | 0 | 0 834.63/834.82 c 829s | 22 | 2332881 | 2200522 | 5416 910 | 0 | 0 836.63/836.86 c 831s | 22 | 2337989 | 2205422 | 5416 912 | 0 | 0 838.63/838.89 c 833s | 22 | 2342706 | 2209922 | 5416 914 | 0 | 0 840.73/840.93 c 835s | 22 | 2348063 | 2215022 | 5416 915 | 0 | 0 842.72/842.94 c 837s | 22 | 2352758 | 2219522 | 5958 917 | 0 | 0 844.73/844.96 c 839s | 22 | 2357738 | 2224322 | 5958 918 | 0 | 0 846.72/847.00 c 841s | 22 | 2362689 | 2229122 | 5958 920 | 0 | 0 848.82/849.00 c 843s | 22 | 2367859 | 2234122 | 5958 921 | 0 | 0 850.82/851.02 c 845s | 22 | 2372763 | 2238822 | 5958 923 | 0 | 0 852.82/853.05 c 847s | 22 | 2377887 | 2243722 | 5958 924 | 0 | 0 854.82/855.08 c 849s | 22 | 2382833 | 2248522 | 5958 926 | 0 | 0 856.02/856.27 c 851s | 23 | 2385433 | 2251038 | 5958 927 | 0 | 0 858.12/858.30 c 853s | 23 | 2391948 | 2256938 | 5958 929 | 0 | 0 860.12/860.31 c 855s | 23 | 2397533 | 2262038 | 5958 930 | 0 | 0 862.12/862.32 c 857s | 23 | 2403453 | 2267538 | 5958 932 | 0 | 0 864.11/864.32 c 859s | 23 | 2409633 | 2273338 | 5958 934 | 0 | 0 866.11/866.34 c 861s | 23 | 2415995 | 2279338 | 5958 936 | 0 | 0 868.11/868.35 c 863s | 23 | 2422632 | 2285538 | 5958 938 | 0 | 0 870.11/870.36 c 865s | 23 | 2428840 | 2291138 | 5958 940 | 0 | 0 872.12/872.39 c 867s | 23 | 2434512 | 2296438 | 5958 942 | 0 | 0 874.21/874.41 c 869s | 23 | 2440475 | 2302138 | 5958 943 | 0 | 0 876.21/876.44 c 871s | 23 | 2446607 | 2307438 | 5958 945 | 0 | 0 878.21/878.47 c 873s | 23 | 2452696 | 2313338 | 5958 947 | 0 | 0 880.31/880.52 c 875s | 23 | 2458316 | 2318738 | 5958 949 | 0 | 0 882.31/882.54 c 877s | 23 | 2464303 | 2324538 | 5958 951 | 0 | 0 884.31/884.56 c 879s | 23 | 2470038 | 2330038 | 5958 953 | 0 | 0 886.30/886.58 c 881s | 23 | 2475795 | 2335638 | 5958 954 | 0 | 0 888.40/888.61 c 883s | 23 | 2481802 | 2341438 | 5958 956 | 0 | 0 890.40/890.62 c 885s | 23 | 2488148 | 2347338 | 5958 958 | 0 | 0 892.40/892.66 c 887s | 23 | 2494269 | 2353038 | 5958 960 | 0 | 0 894.39/894.68 c 889s | 23 | 2500192 | 2358438 | 5958 962 | 0 | 0 896.49/896.72 c 891s | 23 | 2506331 | 2364138 | 5958 964 | 0 | 0 898.50/898.72 c 893s | 23 | 2512186 | 2369738 | 5958 965 | 0 | 0 900.50/900.73 c 895s | 23 | 2518221 | 2375538 | 5958 967 | 0 | 0 902.50/902.74 c 897s | 23 | 2524138 | 2381138 | 5958 969 | 0 | 0 904.50/904.75 c 899s | 23 | 2530371 | 2387038 | 5958 971 | 0 | 0 906.50/906.77 c 901s | 23 | 2536056 | 2392538 | 5958 973 | 0 | 0 908.50/908.79 c 903s | 23 | 2542531 | 2398638 | 5958 975 | 0 | 0 910.60/910.82 c 905s | 23 | 2548872 | 2404738 | 5958 977 | 0 | 0 912.60/912.83 c 907s | 23 | 2554868 | 2410338 | 5958 979 | 0 | 0 914.59/914.85 c 909s | 23 | 2560760 | 2415938 | 5958 980 | 0 | 0 916.59/916.88 c 911s | 23 | 2567424 | 2421938 | 5958 982 | 0 | 0 918.69/918.90 c 913s | 23 | 2573475 | 2427638 | 5958 984 | 0 | 0 920.69/920.91 c 915s | 23 | 2579598 | 2433438 | 5958 986 | 0 | 0 922.70/922.92 c 917s | 23 | 2585668 | 2439338 | 5958 988 | 0 | 0 924.69/924.93 c 919s | 23 | 2592174 | 2445438 | 5958 990 | 0 | 0 926.69/926.93 c 921s | 23 | 2598510 | 2451538 | 5958 992 | 0 | 0 928.69/928.96 c 923s | 23 | 2604524 | 2457338 | 5958 994 | 0 | 0 930.69/930.98 c 925s | 23 | 2611111 | 2463638 | 5958 996 | 0 | 0 932.78/933.01 c 927s | 23 | 2617546 | 2469638 | 5958 998 | 0 | 0 934.79/935.05 c 929s | 23 | 2623611 | 2475338 | 5958 1000 | 0 | 0 936.78/937.07 c 931s | 23 | 2629793 | 2481038 | 5958 1002 | 0 | 0 938.78/939.08 c 933s | 23 | 2636281 | 2487138 | 5958 1004 | 0 | 0 940.78/941.09 c 935s | 23 | 2642481 | 2493038 | 5958 1006 | 0 | 0 942.78/943.09 c 937s | 23 | 2648372 | 2498638 | 5958 1007 | 0 | 0 944.88/945.10 c 939s | 23 | 2654914 | 2504738 | 5958 1009 | 0 | 0 946.89/947.13 c 942s | 23 | 2660914 | 2510238 | 5958 1011 | 0 | 0 948.88/949.14 c 944s | 23 | 2667348 | 2516438 | 5958 1013 | 0 | 0 950.88/951.15 c 946s | 23 | 2674102 | 2522838 | 5958 1015 | 0 | 0 952.88/953.17 c 948s | 23 | 2680100 | 2528538 | 5958 1017 | 0 | 0 954.87/955.18 c 950s | 23 | 2685759 | 2534038 | 5958 1019 | 0 | 0 956.88/957.19 c 952s | 23 | 2692267 | 2540238 | 5958 1021 | 0 | 0 958.98/959.21 c 954s | 23 | 2698891 | 2546538 | 5958 1023 | 0 | 0 960.97/961.22 c 956s | 23 | 2704889 | 2552238 | 5958 1025 | 0 | 0 962.97/963.23 c 958s | 23 | 2711603 | 2558638 | 5958 1027 | 0 | 0 964.97/965.23 c 960s | 23 | 2717334 | 2564038 | 5958 1029 | 0 | 0 966.97/967.26 c 962s | 23 | 2723176 | 2569638 | 5958 1031 | 0 | 0 968.98/969.28 c 964s | 23 | 2729244 | 2575338 | 5958 1032 | 0 | 0 971.08/971.30 c 966s | 23 | 2734924 | 2580638 | 5958 1034 | 0 | 0 973.07/973.32 c 968s | 23 | 2741571 | 2586638 | 5958 1036 | 0 | 0 975.06/975.33 c 970s | 23 | 2747950 | 2592638 | 5958 1038 | 0 | 0 977.06/977.35 c 972s | 23 | 2754199 | 2598338 | 5958 1040 | 0 | 0 979.06/979.37 c 974s | 23 | 2760390 | 2604138 | 5958 1042 | 0 | 0 981.07/981.39 c 976s | 23 | 2766759 | 2609938 | 5958 1044 | 0 | 0 983.17/983.41 c 978s | 23 | 2772615 | 2615538 | 5958 1046 | 0 | 0 985.16/985.44 c 980s | 23 | 2778549 | 2621138 | 5958 1047 | 0 | 0 987.16/987.47 c 982s | 23 | 2784946 | 2627238 | 5958 1049 | 0 | 0 989.26/989.51 c 984s | 23 | 2791058 | 2632838 | 5958 1051 | 0 | 0 991.26/991.52 c 986s | 23 | 2796668 | 2637938 | 5958 1053 | 0 | 0 993.26/993.54 c 988s | 23 | 2802976 | 2643838 | 5958 1055 | 0 | 0 995.27/995.55 c 990s | 23 | 2808555 | 2648938 | 5958 1057 | 0 | 0 997.26/997.58 c 992s | 23 | 2814443 | 2654138 | 5958 1058 | 0 | 0 999.36/999.61 c 994s | 23 | 2820437 | 2659838 | 5958 1060 | 0 | 0 1001.36/1001.61 c 996s | 23 | 2826201 | 2665138 | 5958 1062 | 0 | 0 1003.35/1003.63 c 998s | 23 | 2833137 | 2671938 | 5958 1064 | 0 | 0 1005.35/1005.66 c 1000s | 23 | 2838319 | 2676938 | 5958 1065 | 0 | 0 1007.36/1007.69 c 1002s | 23 | 2843723 | 2682138 | 5958 1067 | 0 | 0 1009.45/1009.73 c 1004s | 23 | 2848824 | 2686938 | 5958 1069 | 0 | 0 1011.45/1011.76 c 1006s | 23 | 2853903 | 2691738 | 5958 1070 | 0 | 0 1013.45/1013.77 c 1008s | 23 | 2858198 | 2695838 | 5958 1071 | 0 | 0 1015.44/1015.79 c 1010s | 23 | 2864405 | 2701738 | 5958 1073 | 0 | 0 1017.54/1017.80 c 1012s | 23 | 2871988 | 2709138 | 5958 1075 | 0 | 0 1019.55/1019.83 c 1014s | 23 | 2878573 | 2715538 | 5958 1077 | 0 | 0 1021.55/1021.84 c 1016s | 23 | 2883653 | 2720438 | 5958 1079 | 0 | 0 1023.55/1023.87 c 1018s | 23 | 2889301 | 2725938 | 5958 1081 | 0 | 0 1025.65/1025.90 c 1020s | 23 | 2895391 | 2731838 | 5958 1083 | 0 | 0 1027.65/1027.94 c 1022s | 23 | 2901065 | 2737238 | 5958 1084 | 0 | 0 1029.65/1029.94 c 1024s | 23 | 2906960 | 2742838 | 5958 1086 | 0 | 0 1031.65/1031.97 c 1026s | 23 | 2913891 | 2749538 | 5958 1088 | 0 | 0 1033.64/1033.97 c 1028s | 23 | 2919974 | 2755238 | 5958 1090 | 0 | 0 1035.64/1035.99 c 1030s | 23 | 2926066 | 2761038 | 5958 1092 | 0 | 0 1037.64/1037.99 c 1032s | 23 | 2932200 | 2766738 | 5958 1093 | 0 | 0 1039.74/1040.01 c 1034s | 23 | 2938372 | 2772538 | 5958 1095 | 0 | 0 1041.74/1042.03 c 1036s | 23 | 2944212 | 2778038 | 5958 1097 | 0 | 0 1043.75/1044.05 c 1038s | 23 | 2950213 | 2783538 | 5958 1099 | 0 | 0 1045.74/1046.05 c 1040s | 23 | 2956754 | 2789638 | 5958 1100 | 0 | 0 1047.74/1048.06 c 1042s | 23 | 2962633 | 2795338 | 5958 1102 | 0 | 0 1049.74/1050.07 c 1044s | 23 | 2968633 | 2800938 | 5958 1104 | 0 | 0 1051.74/1052.08 c 1046s | 23 | 2974226 | 2806138 | 5958 1106 | 0 | 0 1053.83/1054.11 c 1048s | 23 | 2980406 | 2812038 | 5958 1107 | 0 | 0 1055.84/1056.17 c 1051s | 23 | 2985900 | 2817338 | 5958 1109 | 0 | 0 1057.83/1058.18 c 1053s | 23 | 2991664 | 2822938 | 5958 1111 | 0 | 0 1059.93/1060.23 c 1055s | 23 | 2997257 | 2828338 | 5958 1113 | 0 | 0 1061.93/1062.25 c 1057s | 23 | 3002671 | 2833638 | 5958 1114 | 0 | 0 1063.92/1064.27 c 1059s | 23 | 3008469 | 2839238 | 5958 1116 | 0 | 0 1065.92/1066.28 c 1061s | 23 | 3015009 | 2845338 | 5958 1118 | 0 | 0 1068.02/1068.32 c 1063s | 23 | 3020683 | 2850638 | 5958 1119 | 0 | 0 1070.03/1070.35 c 1065s | 23 | 3026516 | 2856038 | 5958 1121 | 0 | 0 1072.02/1072.38 c 1067s | 23 | 3032957 | 2861938 | 5958 1123 | 0 | 0 1074.12/1074.41 c 1069s | 23 | 3039111 | 2867838 | 5958 1125 | 0 | 0 1076.12/1076.43 c 1071s | 23 | 3045822 | 2874138 | 5958 1127 | 0 | 0 1078.12/1078.46 c 1073s | 23 | 3051937 | 2880038 | 5958 1129 | 0 | 0 1080.12/1080.49 c 1075s | 23 | 3057904 | 2885538 | 5958 1130 | 0 | 0 1082.22/1082.51 c 1077s | 23 | 3063600 | 2890838 | 5958 1132 | 0 | 0 1084.21/1084.52 c 1079s | 23 | 3069575 | 2896638 | 5958 1134 | 0 | 0 1086.21/1086.53 c 1081s | 23 | 3074954 | 2901738 | 5958 1135 | 0 | 0 1088.21/1088.54 c 1083s | 23 | 3081171 | 2907438 | 5958 1137 | 0 | 0 1090.21/1090.55 c 1085s | 23 | 3087122 | 2913138 | 5958 1139 | 0 | 0 1092.22/1092.56 c 1087s | 23 | 3093504 | 2919138 | 5958 1141 | 0 | 0 1094.22/1094.58 c 1089s | 23 | 3099971 | 2925338 | 5958 1143 | 0 | 0 1096.21/1096.58 c 1091s | 23 | 3105624 | 2930738 | 5958 1144 | 0 | 0 1098.31/1098.61 c 1093s | 23 | 3111810 | 2936538 | 5958 1146 | 0 | 0 1100.31/1100.64 c 1095s | 23 | 3117248 | 2941638 | 5958 1148 | 0 | 0 1102.31/1102.66 c 1097s | 23 | 3124398 | 2948338 | 5958 1150 | 0 | 0 1104.31/1104.66 c 1099s | 23 | 3129988 | 2953838 | 5958 1151 | 0 | 0 1106.31/1106.67 c 1101s | 23 | 3135668 | 2959438 | 5958 1153 | 0 | 0 1108.30/1108.67 c 1103s | 23 | 3140731 | 2964438 | 5958 1155 | 0 | 0 1110.30/1110.67 c 1105s | 23 | 3146792 | 2970438 | 5958 1157 | 0 | 0 1112.30/1112.67 c 1107s | 23 | 3152815 | 2976138 | 5958 1158 | 0 | 0 1114.30/1114.68 c 1109s | 23 | 3156833 | 2979738 | 5958 1160 | 0 | 0 1116.40/1116.73 c 1111s | 23 | 3161663 | 2984038 | 5958 1161 | 0 | 0 1118.41/1118.75 c 1113s | 23 | 3165970 | 2988238 | 5958 1162 | 0 | 0 1120.40/1120.76 c 1115s | 23 | 3171202 | 2993238 | 5958 1164 | 0 | 0 1122.40/1122.77 c 1117s | 23 | 3175917 | 2997838 | 5958 1165 | 0 | 0 1124.50/1124.81 c 1119s | 23 | 3181366 | 3003138 | 5958 1167 | 0 | 0 1126.50/1126.83 c 1121s | 23 | 3186074 | 3007538 | 5958 1168 | 0 | 0 1128.50/1128.86 c 1123s | 23 | 3191184 | 3012338 | 5958 1170 | 0 | 0 1130.50/1130.89 c 1125s | 23 | 3196197 | 3017038 | 5958 1171 | 0 | 0 1132.60/1132.91 c 1127s | 23 | 3201096 | 3021638 | 5958 1173 | 0 | 0 1134.59/1134.96 c 1129s | 23 | 3206746 | 3026838 | 5958 1174 | 0 | 0 1136.69/1137.00 c 1131s | 23 | 3211479 | 3031238 | 5958 1176 | 0 | 0 1138.69/1139.02 c 1133s | 23 | 3215998 | 3035538 | 5958 1177 | 0 | 0 1140.69/1141.06 c 1135s | 23 | 3220899 | 3040338 | 5958 1178 | 0 | 0 1142.70/1143.08 c 1137s | 23 | 3225787 | 3045038 | 5958 1180 | 0 | 0 1144.79/1145.11 c 1139s | 23 | 3230446 | 3049538 | 5958 1181 | 0 | 0 1146.79/1147.15 c 1142s | 23 | 3235969 | 3054738 | 5958 1183 | 0 | 0 1148.79/1149.16 c 1144s | 23 | 3240152 | 3058638 | 5958 1184 | 0 | 0 1150.79/1151.18 c 1146s | 23 | 3244819 | 3062938 | 5958 1186 | 0 | 0 1152.88/1153.22 c 1148s | 23 | 3249937 | 3067638 | 5958 1187 | 0 | 0 1154.88/1155.23 c 1150s | 23 | 3254398 | 3071738 | 5958 1188 | 0 | 0 1156.89/1157.25 c 1152s | 23 | 3258792 | 3075838 | 5958 1190 | 0 | 0 1158.88/1159.26 c 1154s | 23 | 3262960 | 3079838 | 5958 1191 | 0 | 0 1160.88/1161.28 c 1156s | 23 | 3267938 | 3084638 | 5958 1192 | 0 | 0 1162.98/1163.32 c 1158s | 23 | 3272209 | 3088738 | 5958 1194 | 0 | 0 1164.97/1165.38 c 1160s | 23 | 3276665 | 3093038 | 5958 1195 | 0 | 0 1167.07/1167.41 c 1162s | 23 | 3281499 | 3097638 | 5958 1196 | 0 | 0 1169.08/1169.45 c 1164s | 23 | 3285880 | 3101738 | 5958 1198 | 0 | 0 1171.07/1171.47 c 1166s | 23 | 3290428 | 3105938 | 5958 1199 | 0 | 0 1173.07/1173.47 c 1168s | 23 | 3294668 | 3109938 | 5958 1200 | 0 | 0 1175.07/1175.48 c 1170s | 23 | 3299045 | 3114138 | 5958 1202 | 0 | 0 1177.17/1177.50 c 1172s | 23 | 3303208 | 3118138 | 5958 1203 | 0 | 0 1179.17/1179.51 c 1174s | 23 | 3307651 | 3122238 | 5958 1204 | 0 | 0 1181.18/1181.54 c 1176s | 23 | 3311880 | 3126238 | 5958 1205 | 0 | 0 1183.17/1183.57 c 1178s | 23 | 3315945 | 3130138 | 5958 1207 | 0 | 0 1185.16/1185.58 c 1180s | 23 | 3320251 | 3134138 | 5958 1208 | 0 | 0 1187.26/1187.62 c 1182s | 23 | 3323847 | 3137538 | 5958 1209 | 0 | 0 1189.26/1189.63 c 1184s | 23 | 3328439 | 3141838 | 5958 1210 | 0 | 0 1191.26/1191.66 c 1186s | 23 | 3332832 | 3146038 | 5958 1212 | 0 | 0 1193.36/1193.71 c 1188s | 23 | 3337663 | 3150638 | 5958 1213 | 0 | 0 1195.37/1195.73 c 1190s | 23 | 3341956 | 3154738 | 5958 1214 | 0 | 0 1197.36/1197.75 c 1192s | 23 | 3346461 | 3158938 | 5958 1216 | 0 | 0 1199.36/1199.75 c 1194s | 23 | 3351618 | 3163938 | 5958 1217 | 0 | 0 1201.56/1201.93 c 1196s | 23 | 3355903 | 3168138 | 5958 1218 | 0 | 0 1203.55/1203.98 c 1198s | 23 | 3362626 | 3174738 | 5958 1221 | 0 | 0 1205.56/1205.99 c 1200s | 23 | 3368804 | 3180838 | 5958 1222 | 0 | 0 1207.57/1207.99 c 1202s | 23 | 3374886 | 3186838 | 5958 1224 | 0 | 0 1209.56/1210.00 c 1204s | 23 | 3380992 | 3192838 | 5958 1226 | 0 | 0 1211.66/1212.02 c 1206s | 23 | 3386582 | 3198338 | 5958 1228 | 0 | 0 1213.66/1214.05 c 1208s | 23 | 3392359 | 3204038 | 5958 1230 | 0 | 0 1215.66/1216.08 c 1210s | 23 | 3398382 | 3209838 | 5958 1232 | 0 | 0 1217.76/1218.11 c 1212s | 23 | 3403607 | 3214538 | 5958 1233 | 0 | 0 1219.76/1220.12 c 1214s | 23 | 3408124 | 3218738 | 5958 1234 | 0 | 0 1221.76/1222.14 c 1217s | 23 | 3412298 | 3222438 | 5958 1235 | 0 | 0 1223.75/1224.19 c 1219s | 23 | 3416711 | 3226338 | 5958 1237 | 0 | 0 1225.85/1226.24 c 1221s | 23 | 3421266 | 3230438 | 5958 1238 | 0 | 0 1227.85/1228.27 c 1223s | 23 | 3425891 | 3234638 | 5958 1239 | 0 | 0 1229.85/1230.28 c 1225s | 23 | 3430522 | 3238938 | 5958 1241 | 0 | 0 1231.95/1232.32 c 1227s | 23 | 3435667 | 3243838 | 5958 1242 | 0 | 0 1233.96/1234.39 c 1229s | 23 | 3439925 | 3247738 | 5958 1243 | 0 | 0 1236.06/1236.43 c 1231s | 23 | 3444069 | 3251738 | 5958 1245 | 0 | 0 1238.05/1238.47 c 1233s | 23 | 3448839 | 3256038 | 5958 1246 | 0 | 0 1240.05/1240.48 c 1235s | 23 | 3452921 | 3259738 | 5958 1247 | 0 | 0 1242.05/1242.49 c 1237s | 23 | 3457169 | 3263738 | 5958 1248 | 0 | 0 1244.14/1244.53 c 1239s | 23 | 3462007 | 3268138 | 5958 1250 | 0 | 0 1246.14/1246.54 c 1241s | 23 | 3466357 | 3272238 | 5958 1251 | 0 | 0 1248.15/1248.56 c 1243s | 23 | 3470297 | 3275938 | 5958 1252 | 0 | 0 1250.14/1250.58 c 1245s | 23 | 3474716 | 3280138 | 5958 1254 | 0 | 0 1252.14/1252.59 c 1247s | 23 | 3478530 | 3283738 | 5958 1255 | 0 | 0 1254.24/1254.61 c 1249s | 23 | 3483653 | 3288438 | 5958 1256 | 0 | 0 1256.24/1256.65 c 1251s | 23 | 3488035 | 3292538 | 5958 1257 | 0 | 0 1258.34/1258.72 c 1253s | 23 | 3491857 | 3296138 | 5958 1259 | 0 | 0 1260.35/1260.74 c 1255s | 23 | 3495945 | 3300038 | 5958 1260 | 0 | 0 1262.34/1262.76 c 1257s | 23 | 3502694 | 3306438 | 5958 1262 | 0 | 0 1264.43/1264.80 c 1259s | 23 | 3507778 | 3311238 | 5958 1263 | 0 | 0 1266.43/1266.83 c 1261s | 23 | 3512161 | 3315338 | 5958 1264 | 0 | 0 1268.43/1268.84 c 1263s | 23 | 3517082 | 3319738 | 5958 1266 | 0 | 0 1270.43/1270.87 c 1265s | 23 | 3521307 | 3323638 | 5958 1267 | 0 | 0 1272.53/1272.92 c 1267s | 23 | 3525717 | 3327738 | 5958 1268 | 0 | 0 1274.54/1274.96 c 1269s | 23 | 3530809 | 3332438 | 5958 1270 | 0 | 0 1276.53/1276.97 c 1271s | 23 | 3535379 | 3336638 | 6554 1271 | 0 | 0 1278.63/1279.00 c 1273s | 23 | 3540566 | 3341538 | 6554 1272 | 0 | 0 1280.63/1281.03 c 1275s | 23 | 3544795 | 3345338 | 6554 1274 | 0 | 0 1282.63/1283.03 c 1277s | 23 | 3549022 | 3349138 | 6554 1275 | 0 | 0 1284.62/1285.08 c 1279s | 23 | 3553545 | 3353238 | 6554 1276 | 0 | 0 1286.73/1287.13 c 1282s | 23 | 3558209 | 3357638 | 6554 1277 | 0 | 0 1288.72/1289.17 c 1284s | 23 | 3562981 | 3362038 | 6554 1278 | 0 | 0 1290.72/1291.17 c 1286s | 23 | 3567716 | 3366538 | 6554 1280 | 0 | 0 1292.72/1293.18 c 1288s | 23 | 3572225 | 3370938 | 6554 1281 | 0 | 0 1294.62/1295.08 c 1289s | 24 | 3578139 | 3376662 | 6554 1282 | 0 | 0 1296.71/1297.10 c 1291s | 24 | 3581936 | 3380062 | 6554 1283 | 0 | 0 1298.72/1299.12 c 1293s | 24 | 3585860 | 3383662 | 6554 1284 | 0 | 0 1300.71/1301.18 c 1296s | 24 | 3589255 | 3386862 | 6554 1285 | 0 | 0 1302.81/1303.24 c 1298s | 24 | 3591690 | 3389062 | 6554 1286 | 0 | 0 1304.81/1305.27 c 1300s | 24 | 3595591 | 3392362 | 6554 1287 | 0 | 0 1306.81/1307.28 c 1302s | 24 | 3600371 | 3396662 | 6554 1288 | 0 | 0 1308.91/1309.35 c 1304s | 24 | 3605759 | 3401562 | 6554 1290 | 0 | 0 1310.92/1311.38 c 1306s | 24 | 3611014 | 3406162 | 6554 1291 | 0 | 0 1313.01/1313.42 c 1308s | 24 | 3616953 | 3411862 | 6554 1292 | 0 | 0 1315.02/1315.43 c 1310s | 24 | 3621920 | 3416562 | 6554 1294 | 0 | 0 1317.01/1317.44 c 1312s | 24 | 3627038 | 3421462 | 6554 1295 | 0 | 0 1319.01/1319.46 c 1314s | 24 | 3632334 | 3426362 | 6554 1297 | 0 | 0 1321.11/1321.50 c 1316s | 24 | 3638673 | 3432262 | 6554 1298 | 0 | 0 1323.11/1323.52 c 1318s | 24 | 3643387 | 3436662 | 6554 1299 | 0 | 0 1325.12/1325.54 c 1320s | 24 | 3647986 | 3440962 | 6554 1301 | 0 | 0 1327.11/1327.59 c 1322s | 24 | 3652960 | 3445662 | 6554 1302 | 0 | 0 1329.21/1329.61 c 1324s | 24 | 3657356 | 3449862 | 6554 1303 | 0 | 0 1331.21/1331.65 c 1326s | 24 | 3661706 | 3454062 | 6554 1304 | 0 | 0 1333.21/1333.67 c 1328s | 24 | 3666836 | 3458762 | 6554 1306 | 0 | 0 1335.21/1335.67 c 1330s | 24 | 3671626 | 3463362 | 6554 1307 | 0 | 0 1337.21/1337.68 c 1332s | 24 | 3676137 | 3467762 | 6554 1308 | 0 | 0 1339.30/1339.70 c 1334s | 24 | 3681056 | 3472462 | 6554 1310 | 0 | 0 1341.30/1341.70 c 1336s | 24 | 3685736 | 3476762 | 6554 1311 | 0 | 0 1343.30/1343.71 c 1338s | 24 | 3690963 | 3481762 | 6554 1312 | 0 | 0 1345.30/1345.73 c 1340s | 24 | 3695653 | 3485962 | 6554 1313 | 0 | 0 1347.30/1347.76 c 1342s | 24 | 3700856 | 3490762 | 6554 1315 | 0 | 0 1349.30/1349.80 c 1344s | 24 | 3705897 | 3495162 | 6554 1316 | 0 | 0 1351.40/1351.81 c 1346s | 24 | 3711518 | 3500562 | 6554 1318 | 0 | 0 1353.39/1353.82 c 1348s | 24 | 3717426 | 3506062 | 6554 1319 | 0 | 0 1355.39/1355.85 c 1350s | 24 | 3723811 | 3512062 | 6554 1321 | 0 | 0 1357.39/1357.85 c 1352s | 24 | 3729977 | 3517962 | 6554 1323 | 0 | 0 1359.39/1359.90 c 1354s | 24 | 3736483 | 3524162 | 6554 1324 | 0 | 0 1361.50/1361.93 c 1356s | 24 | 3742518 | 3529962 | 6554 1326 | 0 | 0 1363.49/1363.95 c 1358s | 24 | 3748356 | 3535462 | 6554 1328 | 0 | 0 1365.58/1366.03 c 1360s | 24 | 3754772 | 3541562 | 6554 1329 | 0 | 0 1367.58/1368.04 c 1362s | 24 | 3760901 | 3547362 | 6554 1331 | 0 | 0 1369.58/1370.08 c 1364s | 24 | 3766792 | 3552862 | 6554 1332 | 0 | 0 1371.68/1372.12 c 1366s | 24 | 3772430 | 3557862 | 6554 1334 | 0 | 0 1373.68/1374.17 c 1369s | 24 | 3777691 | 3561862 | 6554 1335 | 0 | 0 1375.78/1376.22 c 1371s | 24 | 3782837 | 3566162 | 6554 1336 | 0 | 0 1377.78/1378.23 c 1373s | 24 | 3786555 | 3569162 | 6554 1337 | 0 | 0 1379.88/1380.31 c 1375s | 24 | 3790802 | 3573062 | 6554 1338 | 0 | 0 1381.88/1382.32 c 1377s | 24 | 3795996 | 3577362 | 6554 1339 | 0 | 0 1383.88/1384.39 c 1379s | 24 | 3801296 | 3582362 | 6554 1341 | 0 | 0 1385.98/1386.41 c 1381s | 24 | 3804457 | 3585062 | 6554 1342 | 0 | 0 1387.98/1388.41 c 1383s | 24 | 3809037 | 3589062 | 6554 1343 | 0 | 0 1389.98/1390.48 c 1385s | 24 | 3815548 | 3595162 | 6554 1345 | 0 | 0 1391.98/1392.49 c 1387s | 24 | 3820518 | 3599862 | 6554 1346 | 0 | 0 1394.07/1394.51 c 1389s | 24 | 3825634 | 3604662 | 6554 1347 | 0 | 0 1396.07/1396.56 c 1391s | 24 | 3830477 | 3609062 | 6554 1348 | 0 | 0 1398.07/1398.59 c 1393s | 24 | 3835916 | 3614162 | 6554 1350 | 0 | 0 1400.17/1400.61 c 1395s | 24 | 3841411 | 3619362 | 6554 1351 | 0 | 0 1402.18/1402.61 c 1397s | 24 | 3847400 | 3624962 | 6554 1353 | 0 | 0 1404.17/1404.62 c 1399s | 24 | 3851795 | 3628962 | 6554 1354 | 0 | 0 1406.17/1406.66 c 1401s | 24 | 3856210 | 3633062 | 6554 1355 | 0 | 0 1408.17/1408.68 c 1403s | 24 | 3861104 | 3637562 | 6554 1357 | 0 | 0 1410.27/1410.70 c 1405s | 24 | 3866058 | 3642262 | 6554 1358 | 0 | 0 1412.27/1412.73 c 1407s | 24 | 3870032 | 3645862 | 6554 1359 | 0 | 0 1414.27/1414.73 c 1409s | 24 | 3875558 | 3651062 | 6554 1360 | 0 | 0 1416.26/1416.73 c 1411s | 24 | 3880861 | 3656162 | 6554 1362 | 0 | 0 1418.26/1418.74 c 1413s | 24 | 3886646 | 3661662 | 6554 1364 | 0 | 0 1420.26/1420.76 c 1415s | 24 | 3892355 | 3666962 | 6554 1365 | 0 | 0 1422.36/1422.83 c 1417s | 24 | 3897837 | 3672162 | 6554 1367 | 0 | 0 1424.36/1424.85 c 1419s | 24 | 3903685 | 3677462 | 6554 1368 | 0 | 0 1426.36/1426.86 c 1421s | 24 | 3909277 | 3682262 | 6554 1369 | 0 | 0 1428.36/1428.86 c 1423s | 24 | 3914853 | 3687262 | 6554 1371 | 0 | 0 1430.36/1430.86 c 1425s | 24 | 3919490 | 3691662 | 6554 1372 | 0 | 0 1432.36/1432.89 c 1427s | 24 | 3923898 | 3695762 | 6554 1373 | 0 | 0 1434.46/1434.90 c 1429s | 24 | 3928660 | 3700062 | 6554 1375 | 0 | 0 1436.45/1436.91 c 1431s | 24 | 3933839 | 3704862 | 6554 1376 | 0 | 0 1438.46/1438.94 c 1433s | 24 | 3939266 | 3710062 | 6554 1377 | 0 | 0 1440.45/1440.94 c 1435s | 24 | 3943929 | 3714362 | 6554 1379 | 0 | 0 1442.45/1442.95 c 1437s | 24 | 3949517 | 3719462 | 6554 1380 | 0 | 0 1444.45/1444.95 c 1439s | 24 | 3956027 | 3725362 | 6554 1382 | 0 | 0 1446.45/1446.98 c 1441s | 24 | 3960950 | 3729962 | 6554 1383 | 0 | 0 1448.55/1449.01 c 1443s | 24 | 3966326 | 3734962 | 6554 1385 | 0 | 0 1450.56/1451.02 c 1445s | 24 | 3970722 | 3738962 | 6554 1386 | 0 | 0 1452.55/1453.03 c 1447s | 24 | 3974756 | 3742562 | 6554 1387 | 0 | 0 1454.55/1455.03 c 1449s | 24 | 3979950 | 3747462 | 6554 1388 | 0 | 0 1456.55/1457.06 c 1451s | 24 | 3984592 | 3751662 | 6554 1389 | 0 | 0 1458.55/1459.07 c 1453s | 24 | 3989021 | 3755562 | 6554 1390 | 0 | 0 1460.65/1461.10 c 1455s | 24 | 3993368 | 3759662 | 6554 1392 | 0 | 0 1462.66/1463.13 c 1458s | 24 | 3997898 | 3763962 | 6554 1393 | 0 | 0 1464.65/1465.17 c 1460s | 24 | 4002626 | 3768262 | 6554 1394 | 0 | 0 1466.65/1467.18 c 1462s | 24 | 4007214 | 3772562 | 6554 1395 | 0 | 0 1468.65/1469.19 c 1464s | 24 | 4011171 | 3776362 | 6554 1396 | 0 | 0 1470.75/1471.21 c 1466s | 24 | 4014461 | 3779462 | 6554 1397 | 0 | 0 1472.75/1473.22 c 1468s | 24 | 4019019 | 3783862 | 6554 1398 | 0 | 0 1474.75/1475.23 c 1470s | 24 | 4023586 | 3788262 | 6554 1400 | 0 | 0 1476.75/1477.24 c 1472s | 24 | 4028021 | 3792462 | 6554 1401 | 0 | 0 1478.74/1479.26 c 1474s | 24 | 4033518 | 3797662 | 6554 1402 | 0 | 0 1480.84/1481.33 c 1476s | 24 | 4038816 | 3802462 | 6554 1404 | 0 | 0 1482.94/1483.44 c 1478s | 24 | 4043462 | 3806862 | 6554 1405 | 0 | 0 1484.94/1485.47 c 1480s | 24 | 4048619 | 3811662 | 6554 1406 | 0 | 0 1487.04/1487.52 c 1482s | 24 | 4053591 | 3816362 | 6554 1408 | 0 | 0 1489.05/1489.52 c 1484s | 24 | 4058396 | 3820762 | 6554 1409 | 0 | 0 1491.04/1491.53 c 1486s | 24 | 4063248 | 3825262 | 6554 1410 | 0 | 0 1493.04/1493.57 c 1488s | 24 | 4067702 | 3829462 | 6554 1412 | 0 | 0 1495.14/1495.60 c 1490s | 24 | 4071538 | 3833062 | 6554 1413 | 0 | 0 1497.14/1497.63 c 1492s | 24 | 4076145 | 3837262 | 6554 1414 | 0 | 0 1499.14/1499.64 c 1494s | 24 | 4081691 | 3842562 | 6554 1415 | 0 | 0 1501.15/1501.66 c 1496s | 24 | 4087146 | 3847762 | 6554 1417 | 0 | 0 1503.15/1503.70 c 1498s | 24 | 4093188 | 3853662 | 6554 1418 | 0 | 0 1505.25/1505.76 c 1500s | 24 | 4097560 | 3857562 | 6554 1420 | 0 | 0 1507.25/1507.77 c 1502s | 24 | 4102112 | 3861962 | 6554 1421 | 0 | 0 1509.25/1509.79 c 1504s | 24 | 4108233 | 3867762 | 6554 1422 | 0 | 0 1511.35/1511.80 c 1506s | 24 | 4113256 | 3872362 | 6554 1424 | 0 | 0 1513.34/1513.81 c 1508s | 24 | 4117809 | 3876762 | 6554 1425 | 0 | 0 1515.35/1515.83 c 1510s | 24 | 4122259 | 3880962 | 6554 1426 | 0 | 0 1517.34/1517.85 c 1512s | 24 | 4126143 | 3884662 | 6554 1427 | 0 | 0 1519.34/1519.85 c 1514s | 24 | 4130214 | 3888462 | 6554 1428 | 0 | 0 1521.34/1521.85 c 1516s | 24 | 4135272 | 3893262 | 6554 1430 | 0 | 0 1523.34/1523.88 c 1518s | 24 | 4140195 | 3897762 | 6554 1431 | 0 | 0 1525.44/1525.90 c 1520s | 24 | 4144515 | 3901762 | 6554 1432 | 0 | 0 1527.45/1527.93 c 1522s | 24 | 4149515 | 3906462 | 6554 1434 | 0 | 0 1529.44/1529.97 c 1524s | 24 | 4154236 | 3910962 | 6554 1435 | 0 | 0 1531.44/1531.99 c 1526s | 24 | 4157679 | 3914062 | 6554 1436 | 0 | 0 1533.54/1534.00 c 1528s | 24 | 4161552 | 3917662 | 6554 1437 | 0 | 0 1535.54/1536.04 c 1530s | 24 | 4165299 | 3921162 | 6554 1438 | 0 | 0 1537.54/1538.09 c 1532s | 24 | 4169985 | 3925362 | 6554 1439 | 0 | 0 1539.65/1540.13 c 1535s | 24 | 4175761 | 3930762 | 6554 1441 | 0 | 0 1541.64/1542.15 c 1537s | 24 | 4180319 | 3934962 | 6554 1442 | 0 | 0 1543.64/1544.16 c 1539s | 24 | 4184953 | 3939462 | 6554 1443 | 0 | 0 1545.74/1546.21 c 1541s | 24 | 4189177 | 3943562 | 6554 1444 | 0 | 0 1547.74/1548.26 c 1543s | 24 | 4193804 | 3948062 | 6554 1446 | 0 | 0 1549.74/1550.28 c 1545s | 24 | 4199066 | 3953062 | 6554 1447 | 0 | 0 1551.74/1552.29 c 1547s | 24 | 4203622 | 3957362 | 6554 1448 | 0 | 0 1553.74/1554.29 c 1549s | 24 | 4209663 | 3963062 | 6554 1450 | 0 | 0 1555.83/1556.31 c 1551s | 24 | 4215255 | 3968362 | 6554 1451 | 0 | 0 1557.83/1558.33 c 1553s | 24 | 4220556 | 3973262 | 6554 1453 | 0 | 0 1559.83/1560.36 c 1555s | 24 | 4225684 | 3978062 | 6554 1454 | 0 | 0 1561.83/1562.37 c 1557s | 24 | 4230950 | 3982862 | 6554 1455 | 0 | 0 1563.84/1564.38 c 1559s | 24 | 4235321 | 3987062 | 6554 1457 | 0 | 0 1565.94/1566.41 c 1561s | 24 | 4239896 | 3991462 | 6554 1458 | 0 | 0 1567.93/1568.43 c 1563s | 24 | 4244804 | 3996162 | 6554 1459 | 0 | 0 1569.93/1570.49 c 1565s | 24 | 4249472 | 4000562 | 6554 1461 | 0 | 0 1571.93/1572.49 c 1567s | 24 | 4254145 | 4005062 | 6554 1462 | 0 | 0 1574.03/1574.50 c 1569s | 24 | 4258940 | 4009662 | 6554 1463 | 0 | 0 1576.03/1576.52 c 1571s | 24 | 4263436 | 4013862 | 6554 1464 | 0 | 0 1578.04/1578.56 c 1573s | 24 | 4268126 | 4018162 | 6554 1466 | 0 | 0 1580.03/1580.59 c 1575s | 24 | 4272684 | 4022462 | 6554 1467 | 0 | 0 1582.13/1582.60 c 1577s | 24 | 4278005 | 4027562 | 6554 1468 | 0 | 0 1584.13/1584.65 c 1579s | 24 | 4282671 | 4032062 | 6554 1470 | 0 | 0 1586.13/1586.69 c 1581s | 24 | 4286900 | 4036162 | 6554 1471 | 0 | 0 1588.23/1588.72 c 1583s | 24 | 4291599 | 4040662 | 6554 1472 | 0 | 0 1590.23/1590.73 c 1585s | 24 | 4296487 | 4045362 | 6554 1473 | 0 | 0 1592.23/1592.74 c 1587s | 24 | 4301248 | 4049862 | 6554 1475 | 0 | 0 1594.23/1594.78 c 1589s | 24 | 4305243 | 4053662 | 6554 1476 | 0 | 0 1596.23/1596.79 c 1591s | 24 | 4310152 | 4058262 | 6554 1477 | 0 | 0 1598.33/1598.84 c 1593s | 24 | 4315847 | 4063662 | 6554 1479 | 0 | 0 1600.32/1600.86 c 1595s | 24 | 4320880 | 4068462 | 6554 1480 | 0 | 0 1602.42/1602.91 c 1597s | 24 | 4325917 | 4073262 | 6554 1481 | 0 | 0 1604.43/1604.93 c 1599s | 24 | 4330420 | 4077562 | 6554 1483 | 0 | 0 1606.42/1606.94 c 1601s | 24 | 4334856 | 4081762 | 6554 1484 | 0 | 0 1608.42/1608.94 c 1603s | 24 | 4340020 | 4086262 | 6554 1485 | 0 | 0 1610.43/1610.96 c 1605s | 24 | 4345297 | 4090962 | 6554 1486 | 0 | 0 1612.43/1612.97 c 1607s | 24 | 4350702 | 4096162 | 6554 1488 | 0 | 0 1614.53/1615.01 c 1609s | 24 | 4356055 | 4101262 | 6554 1489 | 0 | 0 1616.54/1617.03 c 1611s | 24 | 4361177 | 4105962 | 6554 1491 | 0 | 0 1618.53/1619.05 c 1613s | 24 | 4365985 | 4110462 | 6554 1492 | 0 | 0 1620.53/1621.09 c 1615s | 24 | 4372207 | 4116262 | 6554 1494 | 0 | 0 1622.53/1623.09 c 1617s | 24 | 4377287 | 4120862 | 6554 1495 | 0 | 0 1624.63/1625.12 c 1619s | 24 | 4383044 | 4126362 | 6554 1497 | 0 | 0 1626.63/1627.17 c 1622s | 24 | 4388761 | 4131862 | 6554 1498 | 0 | 0 1628.63/1629.19 c 1624s | 24 | 4394883 | 4137662 | 6554 1500 | 0 | 0 1630.73/1631.24 c 1626s | 24 | 4401051 | 4143662 | 6554 1502 | 0 | 0 1632.72/1633.26 c 1628s | 24 | 4406640 | 4149062 | 6554 1503 | 0 | 0 1634.72/1635.27 c 1630s | 24 | 4412210 | 4154562 | 6554 1505 | 0 | 0 1636.82/1637.30 c 1632s | 24 | 4418649 | 4160562 | 6554 1506 | 0 | 0 1638.82/1639.30 c 1634s | 24 | 4424127 | 4165662 | 6554 1508 | 0 | 0 1640.83/1641.34 c 1636s | 24 | 4429866 | 4170762 | 6554 1509 | 0 | 0 1642.82/1643.35 c 1638s | 24 | 4435025 | 4175562 | 6554 1511 | 0 | 0 1644.82/1645.37 c 1640s | 24 | 4440755 | 4180962 | 6554 1512 | 0 | 0 1646.92/1647.41 c 1642s | 24 | 4446751 | 4186562 | 6554 1514 | 0 | 0 1648.92/1649.43 c 1644s | 24 | 4452130 | 4191462 | 6554 1515 | 0 | 0 1650.92/1651.47 c 1646s | 24 | 4458418 | 4197362 | 6554 1517 | 0 | 0 1653.02/1653.50 c 1648s | 24 | 4464528 | 4203062 | 6554 1519 | 0 | 0 1654.92/1655.50 c 1650s | 24 | 4470634 | 4208862 | 6554 1520 | 0 | 0 1657.01/1657.51 c 1652s | 24 | 4476828 | 4214662 | 6554 1522 | 0 | 0 1659.01/1659.52 c 1654s | 24 | 4482749 | 4220162 | 6554 1523 | 0 | 0 1661.01/1661.54 c 1656s | 24 | 4489311 | 4226462 | 6554 1525 | 0 | 0 1663.01/1663.56 c 1658s | 24 | 4495165 | 4231962 | 6554 1527 | 0 | 0 1665.02/1665.59 c 1660s | 24 | 4501448 | 4238062 | 6554 1529 | 0 | 0 1667.12/1667.64 c 1662s | 24 | 4507702 | 4243962 | 6554 1530 | 0 | 0 1669.12/1669.65 c 1664s | 24 | 4513903 | 4249862 | 6554 1532 | 0 | 0 1671.12/1671.66 c 1666s | 24 | 4520286 | 4255962 | 6554 1534 | 0 | 0 1673.12/1673.69 c 1668s | 24 | 4526185 | 4261562 | 6554 1535 | 0 | 0 1675.22/1675.71 c 1670s | 24 | 4531849 | 4266962 | 6554 1537 | 0 | 0 1677.22/1677.75 c 1672s | 24 | 4537346 | 4272062 | 6554 1538 | 0 | 0 1679.23/1679.77 c 1674s | 24 | 4543752 | 4278162 | 6554 1540 | 0 | 0 1681.22/1681.78 c 1676s | 24 | 4548844 | 4282962 | 6554 1541 | 0 | 0 1683.22/1683.78 c 1678s | 24 | 4554999 | 4288462 | 6554 1543 | 0 | 0 1685.32/1685.81 c 1680s | 24 | 4560662 | 4293762 | 6554 1545 | 0 | 0 1687.32/1687.84 c 1682s | 24 | 4566458 | 4299162 | 6554 1546 | 0 | 0 1689.32/1689.84 c 1684s | 24 | 4572712 | 4304962 | 6554 1548 | 0 | 0 1691.32/1691.85 c 1686s | 24 | 4578501 | 4310362 | 6554 1549 | 0 | 0 1693.32/1693.85 c 1688s | 24 | 4583919 | 4315362 | 6554 1551 | 0 | 0 1695.32/1695.87 c 1690s | 24 | 4589069 | 4320162 | 6554 1552 | 0 | 0 1697.42/1697.90 c 1692s | 24 | 4593686 | 4324462 | 6554 1553 | 0 | 0 1699.41/1699.93 c 1694s | 24 | 4598056 | 4328562 | 6554 1555 | 0 | 0 1701.41/1701.94 c 1696s | 24 | 4602121 | 4332362 | 6554 1556 | 0 | 0 1703.42/1703.96 c 1698s | 24 | 4607513 | 4337062 | 6554 1557 | 0 | 0 1705.41/1705.97 c 1700s | 24 | 4613158 | 4342462 | 6554 1558 | 0 | 0 1707.41/1707.97 c 1702s | 24 | 4619324 | 4348162 | 6554 1560 | 0 | 0 1709.51/1710.00 c 1704s | 24 | 4625079 | 4353362 | 6554 1562 | 0 | 0 1711.51/1712.01 c 1706s | 24 | 4630550 | 4358162 | 6554 1563 | 0 | 0 1713.51/1714.01 c 1708s | 24 | 4635811 | 4363162 | 6554 1564 | 0 | 0 1715.62/1716.11 c 1710s | 24 | 4639750 | 4366862 | 6554 1565 | 0 | 0 1717.61/1718.12 c 1712s | 24 | 4644087 | 4370662 | 6554 1567 | 0 | 0 1719.61/1720.17 c 1715s | 24 | 4648944 | 4375162 | 6554 1568 | 0 | 0 1721.61/1722.18 c 1717s | 24 | 4652493 | 4378362 | 6554 1569 | 0 | 0 1723.71/1724.21 c 1719s | 24 | 4658435 | 4383662 | 6554 1570 | 0 | 0 1725.71/1726.24 c 1721s | 24 | 4662730 | 4387162 | 6554 1571 | 0 | 0 1727.71/1728.26 c 1723s | 24 | 4667499 | 4391362 | 6554 1572 | 0 | 0 1729.71/1730.28 c 1725s | 24 | 4673836 | 4397162 | 6554 1574 | 0 | 0 1731.71/1732.29 c 1727s | 24 | 4678787 | 4401762 | 6554 1575 | 0 | 0 1733.81/1734.31 c 1729s | 24 | 4684573 | 4406962 | 6554 1577 | 0 | 0 1735.80/1736.31 c 1731s | 24 | 4689359 | 4411362 | 6554 1578 | 0 | 0 1737.81/1738.33 c 1733s | 24 | 4694426 | 4416162 | 6554 1580 | 0 | 0 1739.82/1740.35 c 1735s | 24 | 4699650 | 4420862 | 6554 1581 | 0 | 0 1741.81/1742.39 c 1737s | 24 | 4704653 | 4425462 | 6554 1582 | 0 | 0 1743.91/1744.45 c 1739s | 24 | 4709623 | 4429762 | 6554 1583 | 0 | 0 1745.91/1746.48 c 1741s | 24 | 4714916 | 4434662 | 6554 1585 | 0 | 0 1748.01/1748.51 c 1743s | 24 | 4720152 | 4439362 | 6554 1586 | 0 | 0 1750.01/1750.53 c 1745s | 24 | 4725208 | 4444062 | 6554 1588 | 0 | 0 1752.01/1752.54 c 1747s | 24 | 4730689 | 4449262 | 6554 1589 | 0 | 0 1754.02/1754.55 c 1749s | 24 | 4735742 | 4453862 | 6554 1590 | 0 | 0 1756.01/1756.55 c 1751s | 24 | 4740507 | 4458262 | 6554 1592 | 0 | 0 1758.01/1758.58 c 1753s | 24 | 4745943 | 4463062 | 6554 1593 | 0 | 0 1760.01/1760.59 c 1755s | 24 | 4750629 | 4467162 | 6554 1594 | 0 | 0 1762.11/1762.60 c 1757s | 24 | 4755125 | 4471362 | 6554 1595 | 0 | 0 1764.11/1764.63 c 1759s | 24 | 4761833 | 4477762 | 6554 1597 | 0 | 0 1766.11/1766.64 c 1761s | 24 | 4768364 | 4483862 | 6554 1599 | 0 | 0 1768.11/1768.66 c 1763s | 24 | 4774703 | 4489862 | 6554 1601 | 0 | 0 1770.11/1770.66 c 1765s | 24 | 4781622 | 4496462 | 6554 1603 | 0 | 0 1772.21/1772.70 c 1767s | 24 | 4787932 | 4502462 | 6554 1604 | 0 | 0 1774.21/1774.71 c 1769s | 24 | 4794830 | 4508762 | 6554 1606 | 0 | 0 1776.21/1776.73 c 1771s | 24 | 4801010 | 4514462 | 6554 1608 | 0 | 0 1778.21/1778.74 c 1773s | 24 | 4807330 | 4520362 | 6554 1610 | 0 | 0 1780.20/1780.77 c 1775s | 24 | 4814016 | 4526362 | 6554 1611 | 0 | 0 1782.20/1782.79 c 1777s | 24 | 4820963 | 4532862 | 6554 1613 | 0 | 0 1784.30/1784.81 c 1779s | 24 | 4827640 | 4539062 | 6554 1615 | 0 | 0 1786.30/1786.82 c 1781s | 24 | 4833912 | 4545062 | 6554 1617 | 0 | 0 1788.30/1788.85 c 1783s | 24 | 4840421 | 4550962 | 6554 1618 | 0 | 0 1790.31/1790.89 c 1785s | 24 | 4843627 | 4554062 | 6554 1619 | 0 | 0 1792.40/1792.95 c 1787s | 24 | 4847376 | 4557562 | 6554 1620 | 0 | 0 1794.40/1794.97 c 1789s | 24 | 4850709 | 4560662 | 6554 1621 | 0 | 0 1796.40/1797.00 c 1791s | 24 | 4857068 | 4566562 | 6554 1623 | 0 | 0 1798.50/1799.00 c 1793s | 24 | 4863366 | 4572462 | 6554 1625 | 0 | 0
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-4106307-1466268957/watcher-4106307-1466268957 -o /tmp/evaluation-result-4106307-1466268957/solver-4106307-1466268957 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106307-1466268957.opb pid=25812 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.37 2.33 2.28 4/179 25815 /proc/meminfo: memFree=28952916/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=688708 CPUtime=0 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 2560 0 0 0 0 0 0 0 20 0 4 0 28941492 705236992 3432 33554432000 4194304 16246674 140735187463664 140735187463088 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25815/statm: 172689 3442 442 2943 0 169583 0 [pid=25815/tid=25816] ppid=25812 vsize=706116 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 723062784 3503 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=710212 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 727257088 3519 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=715332 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 732499968 3536 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100179 s] /proc/loadavg: 2.37 2.33 2.28 4/179 25815 /proc/meminfo: memFree=28952916/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 21731 0 0 0 6 3 0 0 20 0 4 0 28941492 1247350784 22591 33554432000 4194304 16246674 140735187463664 140735187463088 13954518 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25815/statm: 304529 22599 759 2943 0 301423 0 [pid=25815/tid=25816] ppid=25812 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1247350784 22609 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1247350784 22615 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1247350784 22622 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200533 s] /proc/loadavg: 2.37 2.33 2.28 4/179 25815 /proc/meminfo: memFree=28952916/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 38805 0 0 0 14 5 0 0 20 0 4 0 28941492 1247350784 39665 33554432000 4194304 16246674 140735187463664 140735187445568 5831697 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25815/statm: 304529 39669 759 2943 0 301423 0 [pid=25815/tid=25816] ppid=25812 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1247350784 39674 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1247350784 39679 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1247350784 39684 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300498 s] /proc/loadavg: 2.37 2.33 2.28 4/179 25815 /proc/meminfo: memFree=28952916/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1218116 CPUtime=0.28 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 57179 0 0 0 21 7 0 0 20 0 4 0 28941492 1247350784 58039 33554432000 4194304 16246674 140735187463664 140735187445568 5724508 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25815/statm: 304529 58053 759 2943 0 301423 0 [pid=25815/tid=25816] ppid=25812 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1247350784 58060 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1247350784 58063 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1247350784 58065 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700413 s] /proc/loadavg: 2.37 2.33 2.28 4/179 25815 /proc/meminfo: memFree=28952916/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 127723 0 0 0 50 19 0 0 20 0 4 0 28941492 1247350784 128584 33554432000 4194304 16246674 140735187463664 140735187445568 5724508 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25815/statm: 304529 128595 766 2943 0 301423 0 [pid=25815/tid=25816] ppid=25812 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1247350784 128598 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1247350784 128599 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1247350784 128601 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.37 2.33 2.28 3/183 25819 /proc/meminfo: memFree=28143044/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 246118 0 0 0 114 35 0 0 20 0 4 0 28941492 1250496512 246955 33554432000 4194304 16246674 140735187463664 140735187462976 13191759 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25815/statm: 305297 246955 833 2943 0 302191 0 [pid=25815/tid=25816] ppid=25812 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1250496512 246955 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1250496512 246955 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1250496512 246955 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.10041 s] /proc/loadavg: 2.37 2.33 2.28 3/183 25819 /proc/meminfo: memFree=27966220/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1303108 CPUtime=3.09 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 266606 0 0 0 270 39 0 0 20 0 4 0 28941492 1334382592 267443 33554432000 4194304 16246674 140735187463664 140735187445568 13923831 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25815/statm: 325777 267443 833 2943 0 322671 0 [pid=25815/tid=25816] ppid=25812 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1334382592 267443 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1334382592 267443 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1334382592 267443 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1303108 [startup+6.30043 s] /proc/loadavg: 2.34 2.32 2.27 3/183 25819 /proc/meminfo: memFree=27879300/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1309252 CPUtime=6.28 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 268347 0 0 0 588 40 0 0 20 0 4 0 28941492 1340674048 269184 33554432000 4194304 16246674 140735187463664 140735187446656 6843012 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25815/statm: 327313 269184 852 2943 0 324207 0 [pid=25815/tid=25816] ppid=25812 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1340674048 269184 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1340674048 269184 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1340674048 269184 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1309252 [startup+12.7004 s] /proc/loadavg: 2.39 2.33 2.28 3/183 25819 /proc/meminfo: memFree=27876716/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1309252 CPUtime=12.68 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 268407 0 0 0 1228 40 0 0 20 0 4 0 28941492 1340674048 269244 33554432000 4194304 16246674 140735187463664 140735187446656 5546005 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25815/statm: 327313 269244 852 2943 0 324207 0 [pid=25815/tid=25816] ppid=25812 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1340674048 269244 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1340674048 269244 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1340674048 269244 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1309252 [startup+25.5004 s] /proc/loadavg: 2.46 2.35 2.28 3/183 25819 /proc/meminfo: memFree=27874628/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1311300 CPUtime=25.48 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 268921 0 0 0 2508 40 0 0 20 0 4 0 28941492 1342771200 269758 33554432000 4194304 16246674 140735187463664 140735187446656 5717144 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25815/statm: 327825 269758 854 2943 0 324719 0 [pid=25815/tid=25816] ppid=25812 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1342771200 269758 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1342771200 269758 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1342771200 269758 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.36 2.33 2.28 3/183 25819 /proc/meminfo: memFree=27868676/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1317444 CPUtime=51.07 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 270457 0 0 0 5067 40 0 0 20 0 4 0 28941492 1349062656 271294 33554432000 4194304 16246674 140735187463664 140735187445568 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25815/statm: 329361 271294 854 2943 0 326255 0 [pid=25815/tid=25816] ppid=25812 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1349062656 271294 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1349062656 271294 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1349062656 271294 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1317444 [startup+102.3 s] /proc/loadavg: 2.25 2.31 2.27 3/183 25820 /proc/meminfo: memFree=27862720/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1317444 CPUtime=102.27 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 270457 0 0 0 10186 41 0 0 20 0 4 0 28941492 1349062656 271294 33554432000 4194304 16246674 140735187463664 140735187445568 12474771 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25815/statm: 329361 271294 854 2943 0 326255 0 [pid=25815/tid=25816] ppid=25812 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1349062656 271294 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1349062656 271294 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1349062656 271294 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1317444 ################ # More data... # ################ /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1328708 [startup+1362.3 s] /proc/loadavg: 2.27 2.28 2.27 3/182 25874 /proc/meminfo: memFree=27837832/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1328708 CPUtime=1361.89 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 273646 0 0 0 136136 53 0 0 20 0 4 0 28941492 1360596992 274115 33554432000 4194304 16246674 140735187463664 140735187445568 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25815/statm: 332177 274115 856 2943 0 329071 0 [pid=25815/tid=25816] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1328708 [startup+1422.3 s] /proc/loadavg: 2.38 2.31 2.28 3/183 25876 /proc/meminfo: memFree=27837952/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1328708 CPUtime=1421.86 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 273688 0 0 0 142132 54 0 0 20 0 4 0 28941492 1360596992 274115 33554432000 4194304 16246674 140735187463664 140735187445568 5721456 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25815/statm: 332177 274115 856 2943 0 329071 0 [pid=25815/tid=25816] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1328708 [startup+1482.3 s] /proc/loadavg: 2.31 2.29 2.27 3/184 25880 /proc/meminfo: memFree=27838392/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1328708 CPUtime=1481.84 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 273690 0 0 0 148130 54 0 0 20 0 4 0 28941492 1360596992 274115 33554432000 4194304 16246674 140735187463664 140735187445568 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25815/statm: 332177 274115 856 2943 0 329071 0 [pid=25815/tid=25816] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1328708 [startup+1542.31 s] /proc/loadavg: 2.29 2.28 2.27 3/183 25881 /proc/meminfo: memFree=27838124/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1328708 CPUtime=1541.84 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 273690 0 0 0 154129 55 0 0 20 0 4 0 28941492 1360596992 274115 33554432000 4194304 16246674 140735187463664 140735187445568 5523352 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25815/statm: 332177 274115 856 2943 0 329071 0 [pid=25815/tid=25816] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1328708 [startup+1602.3 s] /proc/loadavg: 2.29 2.28 2.27 3/183 25882 /proc/meminfo: memFree=27838084/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1328708 CPUtime=1601.82 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 273690 0 0 0 160127 55 0 0 20 0 4 0 28941492 1360596992 274115 33554432000 4194304 16246674 140735187463664 140735187445568 13943604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25815/statm: 332177 274115 856 2943 0 329071 0 [pid=25815/tid=25816] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1328708 [startup+1662.3 s] /proc/loadavg: 2.21 2.25 2.26 3/183 25883 /proc/meminfo: memFree=27837796/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1328708 CPUtime=1661.81 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 273690 0 0 0 166125 56 0 0 20 0 4 0 28941492 1360596992 274115 33554432000 4194304 16246674 140735187463664 140735187445568 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25815/statm: 332177 274115 856 2943 0 329071 0 [pid=25815/tid=25816] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1328708 [startup+1722.3 s] /proc/loadavg: 2.28 2.27 2.27 3/183 25885 /proc/meminfo: memFree=27837640/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1328708 CPUtime=1721.81 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 273690 0 0 0 172124 57 0 0 20 0 4 0 28941492 1360596992 274115 33554432000 4194304 16246674 140735187463664 140735187445568 5600068 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25815/statm: 332177 274115 856 2943 0 329071 0 [pid=25815/tid=25816] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1328708 [startup+1782.3 s] /proc/loadavg: 2.40 2.29 2.27 3/183 25983 /proc/meminfo: memFree=27849904/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1328708 CPUtime=1781.8 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 273690 0 0 0 178122 58 0 0 20 0 4 0 28941492 1360596992 274115 33554432000 4194304 16246674 140735187463664 140735187446664 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25815/statm: 332177 274115 856 2943 0 329071 0 [pid=25815/tid=25816] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1328708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.29 2.27 2.27 3/183 25984 /proc/meminfo: memFree=27847668/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1328708 CPUtime=1800 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 273690 0 0 0 179942 58 0 0 20 0 4 0 28941492 1360596992 274115 33554432000 4194304 16246674 140735187463664 140735187445568 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25815/statm: 332177 274115 856 2943 0 329071 0 [pid=25815/tid=25816] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1328708 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 25815 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.29 2.27 2.27 3/183 25984 /proc/meminfo: memFree=27847668/32872528 swapFree=1499884/1696108 [pid=25815] ppid=25812 vsize=1328708 CPUtime=1800 cores=1,3,5,7 /proc/25815/stat : 25815 (toysat) R 25812 25815 24910 0 -1 4202496 273690 0 0 0 179942 58 0 0 20 0 4 0 28941492 1360596992 274115 33554432000 4194304 16246674 140735187463664 140735187445568 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25815/statm: 332177 274115 856 2943 0 329071 0 [pid=25815/tid=25816] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25816/stat : 25816 (toysat) S 25812 25815 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813757889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=25815/tid=25817] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25817/stat : 25817 (toysat) S 25812 25815 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813747399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=25815/tid=25818] ppid=25812 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/25815/task/25818/stat : 25818 (toysat) S 25812 25815 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941493 1360596992 274115 33554432000 4194304 16246674 140735187463664 139813667728560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1328708 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1799.43 CPU system time (s): 0.58591 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 1328708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.43 system time used= 0.58591 maximum resident set size= 1096460 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273690 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= 427 involuntary context switches= 2104 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.74528 second user time and 7.58085 second system time The end
Begin job on node137 at 2016-06-18 18:55:58 IDJOB=4106307 IDBENCH=48010 IDSOLVER=2542 FILE ID=node137/4106307-1466268957 RUNJOBID= node137-1466264772-24927 PBS_JOBID= 19918225 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=233-P1=223-P2=251-P3=181-P4=197-P5=127-P6=89-P7=149-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106307-1466268957/watcher-4106307-1466268957 -o /tmp/evaluation-result-4106307-1466268957/solver-4106307-1466268957 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106307-1466268957.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8a882d07e0fbb307eb9e9c234ecc464c RANDOM SEED=609043030 node137.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.486 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 : 5332.97 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.486 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.486 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.56 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.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 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.486 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.38 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.486 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.56 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.486 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: 28953824 kB Buffers: 147964 kB Cached: 255760 kB SwapCached: 1268 kB Active: 1227152 kB Inactive: 254056 kB Active(anon): 1078720 kB Inactive(anon): 1028 kB Active(file): 148432 kB Inactive(file): 253028 kB Unevictable: 1696108 kB Mlocked: 1499884 kB SwapTotal: 67108856 kB SwapFree: 67100008 kB Dirty: 16320 kB Writeback: 0 kB AnonPages: 2772948 kB Mapped: 10544 kB Shmem: 0 kB Slab: 607296 kB SReclaimable: 51252 kB SUnreclaim: 556044 kB KernelStack: 1448 kB PageTables: 9796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2915432 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 198656 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= 71672 MiB End job on node137 at 2016-06-18 19:25:58