| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=19-P1=337-P2=467-P3=53-B.opb |
| MD5SUM | 1214df7607414e67bdb9a74c838a7ae9 |
| 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.071988 |
| 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 | 81 |
| Total number of constraints | 7 |
| 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 | 7 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 243 |
| Sum of products size (including duplicates) | 486 |
| Number of different products | 243 |
| Sum of products size | 486 |
0.00/0.00 c 2016-06-18T19:54:56+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-4106487-1466272496.opb"] 0.00/0.01 c use --random-gen="1670343207 1906850876 840486405 3625376303 3312575212 3244554124 1484304252 3851228594 1484293641 2465020511 3977976856 3506938759 3986469247 695233137 2861701075 1451947586 3353911828 1552365882 2047195045 3664305971 2625683092 4086454476 4043694102 1887867240 2193795782 667948473 3358134849 3595633882 3701824009 4015762211 2703482987 2209399953 1129946865 541867216 3237890709 3504925424 89323357 3285498706 1885752051 2486367762 1455128466 397892463 554445891 1383255286 2872261695 2078526976 2449600554 200445222 529517294 3291640347 1870233695 766046231 3756687424 2607509828 545995451 299453128 3507633151 3681706457 3504837252 897543484 191377445 2245981489 3632295768 2857978999 485168692 1482571568 1928607395 1672914352 2723097614 729362923 1239882192 1035149404 2973867226 89160759 1283292313 1989150396 742462034 1214146868 716111683 4153506931 2908500975 1957274918 3709669471 767646985 3543299616 460713857 2660278191 1320370804 2618344276 480968266 1847809104 2811071687 633036067 1436347007 1642071850 3533960106 634585996 3622862142 3453333930 1429603096 4193641052 3701178083 2642308940 1798496218 3115112680 4095900312 3033443498 1632260071 1576582885 2483891285 2538395465 4106737769 2937257999 286643010 573840639 3049748058 1422910065 1765241801 1613560916 685395007 3911125309 895779460 152406181 1877210122 2487794421 2990251354 1416433119 1327822289 1116513968 1017744747 1389475586 3349683469 2388150462 3251766617 3459085386 1938891418 4239826583 3334156621 3095108656 3281298782 2892169580 1154833441 2375849590 2499172314 100333458 1598972192 2196684493 3410847858 918230837 939946509 1648277558 3198920255 342906780 1463366826 961071658 1245535592 3550384123 1456864362 3513034349 2884300244 1622755723 1278221674 375058890 1985443149 2655453768 2052537568 2494547758 2453953342 3148696277 302870347 3824117542 1516497698 1071897095 2563995606 2296175834 2831058940 513050026 3499604729 2690713934 3479128199 399230422 2536298605 3738045841 1902982813 2794137817 2066656967 3379246362 2808547411 1302444853 893110944 3603727291 1822675307 3936372086 1757401681 2524203048 2499343723 2179074455 3234015225 3970459239 2071578222 3462894156 2872538015 1011625784 2684833650 3263889606 782319331 4257885411 2571769775 1148575092 1787848252 515763440 717673724 713124998 2032635314 4118820272 3274016745 3896349207 3642598645 3131392191 2911931118 2428944901 4219218533 1460297964 2786702365 4116280031 3626425747 2419192635 1747618900 1923370507 399452351 2058191175 4066934785 2005053090 259092390 3621917255 794660539 395954387 997107040 390086446 3366621671 197854435 1637673534 2347253591 3311994552 4207418949 3895179739 592338641 815722951 538039816 2336262057 3233618457 4022343375 2179571023 1270448325 1518177970 3479556477 255 362436" option to reproduce the execution 0.00/0.01 c #vars 81 0.00/0.01 c #constraints 7 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 | 354 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 112 | 100 | 354 0 | 0 | 0 0.00/0.09 c 0.1s | 2 | 292 | 250 | 390 0 | 0 | 0 0.09/0.15 c 0.1s | 3 | 528 | 475 | 430 0 | 0 | 0 0.19/0.23 c 0.2s | 4 | 927 | 813 | 474 1 | 0 | 0 0.29/0.38 c 0.4s | 5 | 1472 | 1320 | 522 3 | 0 | 0 1.20/1.29 c 1.3s | 6 | 2588 | 2081 | 633 4 | 0 | 0 1.59/1.60 c 1.6s | 7 | 3788 | 3223 | 697 7 | 0 | 0 1.59/1.67 c 1.7s | 7 | 3969 | 3366 | 697 7 | 0 | 0 1.59/1.67 c #cpu_time = 1.651s 1.59/1.67 c #wall_clock_time = 1.651s 1.59/1.67 c #decision = 3969 1.59/1.67 c #random_decision = 13 1.59/1.67 c #conflict = 3366 1.59/1.67 c #restart = 7 1.59/1.67 o 175 1.59/1.67 c BCD2: hardening fixes 1 literals 1.59/1.67 c BCD2: updating upper bound: 511 -> 174 1.59/1.67 c BCD2: 0 <= obj <= 174 1.59/1.67 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=1 1.59/1.67 c BCD2: #sat=1 #unsat=1 bias=1/2 1.59/1.67 c Solving starts ... 1.59/1.67 c ============================[ Search Statistics ]============================ 1.59/1.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.67 c | | | | Limit GC | Var | Constra 1.59/1.67 c ============================================================================= 1.59/1.67 c 0.0s | 0 | 0 | 0 | 697 0 | 11 | 0 1.59/1.67 c 0.0s | 0 | 6 | 0 | 697 1 | 11 | 27 1.59/1.67 c #cpu_time = 0.004s 1.59/1.67 c #wall_clock_time = 0.004s 1.59/1.67 c #decision = 6 1.59/1.67 c #random_decision = 0 1.59/1.67 c #conflict = 0 1.59/1.67 c #restart = 0 1.59/1.67 c BCD2: found a new core of size 7: cost of the new core is >=2 1.59/1.67 c lower bound updated to 2 1.59/1.67 c BCD2: 2 <= obj <= 174 1.59/1.67 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=1 1.59/1.67 c BCD2: #sat=1 #unsat=2 bias=2/3 1.59/1.67 c Solving starts ... 1.59/1.67 c ============================[ Search Statistics ]============================ 1.59/1.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.67 c | | | | Limit GC | Var | Constra 1.59/1.67 c ============================================================================= 1.59/1.67 c 0.0s | 0 | 0 | 0 | 697 0 | 11 | 27 1.59/1.70 c 0.0s | 1 | 165 | 100 | 697 0 | 11 | 27 1.69/1.75 c 0.1s | 2 | 393 | 250 | 697 0 | 11 | 27 1.79/1.84 c 0.2s | 3 | 652 | 475 | 697 0 | 11 | 27 1.89/1.90 c 0.2s | 4 | 1005 | 813 | 697 1 | 11 | 27 1.99/2.00 c 0.3s | 5 | 1549 | 1320 | 697 3 | 11 | 27 2.20/2.28 c 0.6s | 6 | 2346 | 2081 | 767 4 | 11 | 27 2.49/2.54 c 0.9s | 7 | 3584 | 3223 | 767 6 | 11 | 27 2.99/3.08 c 1.4s | 8 | 5438 | 4936 | 844 10 | 11 | 27 3.49/3.59 c 1.9s | 9 | 8147 | 7506 | 844 14 | 11 | 27 4.99/5.02 c 3.3s | 10 | 12339 | 11361 | 929 21 | 11 | 27 6.39/6.43 c 4.8s | 11 | 18237 | 17144 | 1022 30 | 11 | 27 8.39/8.44 c 6.8s | 11 | 24447 | 22944 | 1125 39 | 11 | 27 9.09/9.10 c 7.4s | 12 | 27408 | 25819 | 1125 44 | 11 | 27 11.09/11.12 c 9.4s | 12 | 36497 | 34719 | 1125 57 | 11 | 27 12.09/12.11 c 10.4s | 13 | 40694 | 38832 | 1238 62 | 11 | 27 14.09/14.13 c 12.5s | 13 | 47652 | 45532 | 1238 71 | 11 | 27 16.09/16.16 c 14.5s | 13 | 53479 | 51232 | 1238 79 | 11 | 27 18.09/18.11 c 16.4s | 14 | 60817 | 58352 | 1362 88 | 11 | 27 20.08/20.13 c 18.5s | 14 | 69009 | 66352 | 1362 98 | 11 | 27 22.09/22.13 c 20.5s | 14 | 77587 | 74752 | 1362 109 | 11 | 27 24.08/24.14 c 22.5s | 14 | 84943 | 81852 | 1362 118 | 11 | 27 25.58/25.68 c 24.0s | 15 | 90965 | 87632 | 1499 125 | 11 | 27 27.68/27.70 c 26.0s | 15 | 97150 | 93432 | 1499 131 | 11 | 27 29.69/29.71 c 28.0s | 15 | 103363 | 99432 | 1499 138 | 11 | 27 31.68/31.72 c 30.0s | 15 | 111549 | 107432 | 1499 147 | 11 | 27 33.68/33.73 c 32.1s | 15 | 117845 | 113432 | 1499 154 | 11 | 27 35.68/35.76 c 34.1s | 15 | 125888 | 121332 | 1499 163 | 11 | 27 37.68/37.78 c 36.1s | 15 | 134520 | 129532 | 1649 172 | 11 | 27 38.28/38.39 c 36.7s | 16 | 136687 | 131552 | 1649 174 | 11 | 27 40.39/40.40 c 38.7s | 16 | 144260 | 138952 | 1649 182 | 11 | 27 42.39/42.43 c 40.8s | 16 | 151380 | 145952 | 1649 190 | 11 | 27 44.39/44.45 c 42.8s | 16 | 159207 | 153452 | 1649 197 | 11 | 27 46.39/46.47 c 44.8s | 16 | 166290 | 160352 | 1649 205 | 11 | 27 48.39/48.47 c 46.8s | 16 | 172867 | 166852 | 1649 212 | 11 | 27 50.39/50.49 c 48.8s | 16 | 179639 | 173452 | 1649 219 | 11 | 27 52.48/52.50 c 50.8s | 16 | 187082 | 180652 | 1649 226 | 11 | 27 54.48/54.52 c 52.9s | 16 | 194569 | 187952 | 1649 234 | 11 | 27 56.48/56.55 c 54.9s | 16 | 202204 | 195452 | 1814 242 | 11 | 27 56.98/57.04 c 55.4s | 17 | 204228 | 197432 | 1814 243 | 11 | 27 58.98/59.04 c 57.4s | 17 | 210025 | 203032 | 1814 249 | 11 | 27 60.98/61.05 c 59.4s | 17 | 216017 | 208732 | 1814 254 | 11 | 27 62.98/63.06 c 61.4s | 17 | 224086 | 216632 | 1814 262 | 11 | 27 64.99/65.09 c 63.4s | 17 | 232017 | 224332 | 1814 270 | 11 | 27 67.09/67.11 c 65.4s | 17 | 239365 | 231232 | 1814 276 | 11 | 27 69.08/69.11 c 67.4s | 17 | 245499 | 237132 | 1814 282 | 11 | 27 71.08/71.12 c 69.4s | 17 | 253588 | 244932 | 1814 290 | 11 | 27 73.08/73.15 c 71.5s | 17 | 261237 | 252332 | 1814 297 | 11 | 27 75.08/75.16 c 73.5s | 17 | 269114 | 260032 | 1814 304 | 11 | 27 77.09/77.16 c 75.5s | 17 | 276609 | 267232 | 1814 311 | 11 | 27 79.08/79.18 c 77.5s | 17 | 283588 | 273832 | 1814 318 | 11 | 27 81.07/81.18 c 79.5s | 17 | 290932 | 280932 | 1814 325 | 11 | 27 83.17/83.20 c 81.5s | 17 | 298655 | 288332 | 1814 332 | 11 | 27 85.17/85.22 c 83.5s | 17 | 306530 | 295932 | 1996 339 | 11 | 27 85.17/85.29 c 83.6s | 18 | 306856 | 296252 | 1996 339 | 11 | 27 87.27/87.31 c 85.6s | 18 | 314667 | 303952 | 1996 346 | 11 | 27 89.27/89.32 c 87.6s | 18 | 322519 | 311652 | 1996 353 | 11 | 27 91.28/91.32 c 89.6s | 18 | 329958 | 318952 | 1996 360 | 11 | 27 93.27/93.32 c 91.7s | 18 | 337811 | 326552 | 1996 366 | 11 | 27 95.27/95.34 c 93.7s | 18 | 345199 | 333752 | 1996 373 | 11 | 27 97.27/97.34 c 95.7s | 18 | 352343 | 340752 | 1996 379 | 11 | 27 99.26/99.35 c 97.7s | 18 | 360068 | 348352 | 1996 386 | 11 | 27 101.27/101.37 c 99.7s | 18 | 368130 | 356252 | 1996 393 | 11 | 27 103.26/103.39 c 101s | 18 | 375846 | 363752 | 1996 400 | 11 | 27 105.26/105.39 c 103s | 18 | 383198 | 370952 | 1996 406 | 11 | 27 107.36/107.41 c 105s | 18 | 390301 | 377852 | 1996 413 | 11 | 27 109.36/109.43 c 107s | 18 | 397597 | 384952 | 1996 419 | 11 | 27 111.36/111.43 c 109s | 18 | 404732 | 391852 | 1996 425 | 11 | 27 113.37/113.44 c 111s | 18 | 411618 | 398452 | 1996 431 | 11 | 27 115.36/115.44 c 113s | 18 | 419049 | 405452 | 1996 438 | 11 | 27 117.36/117.44 c 115s | 18 | 426315 | 412552 | 1996 444 | 11 | 27 119.36/119.46 c 117s | 18 | 433293 | 419352 | 1996 450 | 11 | 27 121.36/121.49 c 119s | 18 | 440783 | 426652 | 1996 457 | 11 | 27 123.45/123.52 c 121s | 18 | 448437 | 434052 | 1996 463 | 11 | 27 125.47/125.53 c 123s | 18 | 455884 | 441252 | 2196 470 | 11 | 27 126.36/126.46 c 124s | 19 | 459203 | 444482 | 2196 472 | 11 | 27 128.36/128.47 c 126s | 19 | 466337 | 451082 | 2196 478 | 11 | 27 130.36/130.48 c 128s | 19 | 473022 | 457282 | 2196 483 | 11 | 27 132.46/132.52 c 130s | 19 | 478916 | 462982 | 2196 487 | 11 | 27 134.46/134.54 c 132s | 19 | 485182 | 468882 | 2196 492 | 11 | 27 136.46/136.57 c 134s | 19 | 491539 | 475082 | 2196 497 | 11 | 27 138.45/138.60 c 136s | 19 | 497713 | 481082 | 2196 502 | 11 | 27 140.55/140.61 c 138s | 19 | 504731 | 487982 | 2196 508 | 11 | 27 142.55/142.62 c 140s | 19 | 511408 | 494482 | 2196 513 | 11 | 27 144.55/144.65 c 142s | 19 | 517657 | 500582 | 2196 518 | 11 | 27 146.55/146.67 c 144s | 19 | 524079 | 506782 | 2196 523 | 11 | 27 148.56/148.67 c 147s | 19 | 530496 | 512982 | 2196 528 | 11 | 27 150.55/150.69 c 149s | 19 | 536578 | 518882 | 2196 533 | 11 | 27 152.65/152.70 c 151s | 19 | 542720 | 524882 | 2196 538 | 11 | 27 154.65/154.71 c 153s | 19 | 548761 | 530682 | 2196 543 | 11 | 27 156.65/156.74 c 155s | 19 | 554360 | 535982 | 2196 547 | 11 | 27 158.64/158.76 c 157s | 19 | 560965 | 542282 | 2196 552 | 11 | 27 160.65/160.76 c 159s | 19 | 566896 | 548082 | 2196 557 | 11 | 27 162.64/162.77 c 161s | 19 | 574128 | 555082 | 2196 563 | 11 | 27 164.74/164.80 c 163s | 19 | 581077 | 561682 | 2196 568 | 11 | 27 166.74/166.82 c 165s | 19 | 587912 | 568382 | 2196 574 | 11 | 27 168.74/168.82 c 167s | 19 | 594811 | 575082 | 2196 579 | 11 | 27 170.74/170.84 c 169s | 19 | 602705 | 582782 | 2196 586 | 11 | 27 172.75/172.85 c 171s | 19 | 609142 | 588882 | 2196 591 | 11 | 27 174.74/174.87 c 173s | 19 | 615961 | 595482 | 2196 596 | 11 | 27 176.84/176.91 c 175s | 19 | 622688 | 602082 | 2196 602 | 11 | 27 178.84/178.93 c 177s | 19 | 629239 | 608482 | 2196 607 | 11 | 27 180.83/180.95 c 179s | 19 | 636225 | 615282 | 2196 612 | 11 | 27 182.83/182.98 c 181s | 19 | 643792 | 622582 | 2196 618 | 11 | 27 184.93/185.02 c 183s | 19 | 650435 | 628882 | 2196 624 | 11 | 27 186.94/187.05 c 185s | 19 | 656933 | 634782 | 2196 629 | 11 | 27 188.93/189.07 c 187s | 19 | 663546 | 640982 | 2196 634 | 11 | 27 190.94/191.09 c 189s | 19 | 670026 | 647082 | 2196 639 | 11 | 27 193.04/193.12 c 191s | 19 | 676715 | 653282 | 2196 644 | 11 | 27 195.04/195.12 c 193s | 19 | 683799 | 660182 | 2416 649 | 11 | 27 196.95/197.01 c 195s | 20 | 690622 | 666827 | 2416 654 | 11 | 27 198.94/199.02 c 197s | 20 | 698307 | 674327 | 2416 660 | 11 | 27 200.94/201.04 c 199s | 20 | 705960 | 681827 | 2416 665 | 11 | 27 202.93/203.04 c 201s | 20 | 713683 | 689427 | 2416 671 | 11 | 27 204.93/205.05 c 203s | 20 | 721032 | 696627 | 2416 677 | 11 | 27 206.93/207.07 c 205s | 20 | 728246 | 703727 | 2416 682 | 11 | 27 208.94/209.07 c 207s | 20 | 735328 | 710527 | 2416 687 | 11 | 27 211.03/211.12 c 209s | 20 | 741323 | 716327 | 2416 691 | 11 | 27 213.03/213.14 c 211s | 20 | 747901 | 722727 | 2416 696 | 11 | 27 215.03/215.15 c 213s | 20 | 754986 | 729727 | 2416 701 | 11 | 27 217.03/217.16 c 215s | 20 | 762602 | 737227 | 2416 707 | 11 | 27 219.02/219.16 c 217s | 20 | 770096 | 744627 | 2416 713 | 11 | 27 221.03/221.17 c 219s | 20 | 777811 | 752227 | 2416 718 | 11 | 27 223.02/223.18 c 221s | 20 | 785218 | 759427 | 2416 724 | 11 | 27 225.02/225.19 c 223s | 20 | 792625 | 766727 | 2416 729 | 11 | 27 227.12/227.21 c 225s | 20 | 799856 | 773827 | 2416 735 | 11 | 27 229.12/229.21 c 227s | 20 | 806806 | 780427 | 2416 740 | 11 | 27 231.12/231.23 c 229s | 20 | 813595 | 787027 | 2416 745 | 11 | 27 233.12/233.25 c 231s | 20 | 820231 | 793527 | 2416 749 | 11 | 27 235.12/235.27 c 233s | 20 | 826797 | 799927 | 2416 754 | 11 | 27 237.22/237.32 c 235s | 20 | 833752 | 806627 | 2416 760 | 11 | 27 239.21/239.33 c 237s | 20 | 840537 | 813127 | 2416 764 | 11 | 27 241.21/241.34 c 239s | 20 | 847346 | 819727 | 2416 769 | 11 | 27 243.21/243.34 c 241s | 20 | 854672 | 826927 | 2416 775 | 11 | 27 245.22/245.35 c 243s | 20 | 860767 | 832927 | 2416 779 | 11 | 27 247.21/247.38 c 245s | 20 | 867502 | 839427 | 2416 784 | 11 | 27 249.31/249.40 c 247s | 20 | 874652 | 846327 | 2416 789 | 11 | 27 251.31/251.41 c 249s | 20 | 881313 | 852927 | 2416 794 | 11 | 27 253.31/253.42 c 251s | 20 | 887608 | 859027 | 2416 799 | 11 | 27 255.31/255.43 c 253s | 20 | 894106 | 865327 | 2416 804 | 11 | 27 257.32/257.45 c 255s | 20 | 901409 | 872527 | 2416 809 | 11 | 27 259.31/259.46 c 257s | 20 | 908901 | 879827 | 2416 815 | 11 | 27 261.31/261.48 c 259s | 20 | 916221 | 887027 | 2416 820 | 11 | 27 263.31/263.49 c 261s | 20 | 923361 | 894027 | 2416 825 | 11 | 27 265.41/265.51 c 263s | 20 | 929946 | 900427 | 2416 830 | 11 | 27 267.41/267.51 c 265s | 20 | 935949 | 906227 | 2416 834 | 11 | 27 269.41/269.53 c 267s | 20 | 942962 | 913127 | 2416 840 | 11 | 27 271.40/271.56 c 269s | 20 | 949288 | 919327 | 2416 844 | 11 | 27 273.40/273.56 c 271s | 20 | 955417 | 925227 | 2416 849 | 11 | 27 275.40/275.58 c 273s | 20 | 962306 | 931927 | 2416 854 | 11 | 27 277.50/277.60 c 275s | 20 | 969656 | 939127 | 2416 859 | 11 | 27 279.50/279.61 c 277s | 20 | 976702 | 945927 | 2416 864 | 11 | 27 281.51/281.63 c 279s | 20 | 983536 | 952627 | 2416 869 | 11 | 27 283.50/283.64 c 281s | 20 | 990809 | 959727 | 2416 875 | 11 | 27 285.50/285.64 c 283s | 20 | 998209 | 966927 | 2416 880 | 11 | 27 287.50/287.64 c 285s | 20 | 1005496 | 974127 | 2416 885 | 11 | 27 289.50/289.65 c 287s | 20 | 1012831 | 981327 | 2416 891 | 11 | 27 291.50/291.67 c 289s | 20 | 1020382 | 988727 | 2416 896 | 11 | 27 293.50/293.67 c 291s | 20 | 1026582 | 994627 | 2658 900 | 11 | 27 295.40/295.56 c 293s | 21 | 1032430 | 1000345 | 2658 904 | 11 | 27 297.40/297.57 c 295s | 21 | 1040073 | 1007645 | 2658 910 | 11 | 27 299.39/299.58 c 297s | 21 | 1047710 | 1014945 | 2658 915 | 11 | 27 301.40/301.59 c 299s | 21 | 1055810 | 1022845 | 2658 920 | 11 | 27 303.39/303.59 c 301s | 21 | 1062789 | 1029645 | 2658 925 | 11 | 27 305.39/305.59 c 303s | 21 | 1070653 | 1037245 | 2658 930 | 11 | 27 307.49/307.61 c 305s | 21 | 1078263 | 1044645 | 2658 936 | 11 | 27 309.49/309.61 c 307s | 21 | 1085230 | 1051145 | 2658 940 | 11 | 27 311.49/311.62 c 309s | 21 | 1092816 | 1058445 | 2658 945 | 11 | 27 313.49/313.64 c 311s | 21 | 1100264 | 1065445 | 2658 950 | 11 | 27 315.49/315.66 c 313s | 21 | 1107731 | 1072345 | 2658 955 | 11 | 27 317.49/317.67 c 315s | 21 | 1115267 | 1079545 | 2658 960 | 11 | 27 319.48/319.67 c 318s | 21 | 1121808 | 1085545 | 2658 964 | 11 | 27 321.58/321.70 c 320s | 21 | 1129125 | 1092245 | 2658 969 | 11 | 27 323.58/323.70 c 322s | 21 | 1136020 | 1098745 | 2658 973 | 11 | 27 325.59/325.71 c 324s | 21 | 1143596 | 1105945 | 2658 978 | 11 | 27 327.58/327.72 c 326s | 21 | 1151094 | 1113145 | 2658 983 | 11 | 27 329.58/329.74 c 328s | 21 | 1158388 | 1120245 | 2658 988 | 11 | 27 331.58/331.74 c 330s | 21 | 1164977 | 1126645 | 2658 993 | 11 | 27 333.58/333.76 c 332s | 21 | 1171863 | 1133345 | 2658 997 | 11 | 27 335.57/335.78 c 334s | 21 | 1178716 | 1139945 | 2658 1002 | 11 | 27 337.58/337.79 c 336s | 21 | 1185884 | 1146845 | 2658 1007 | 11 | 27 339.67/339.81 c 338s | 21 | 1192173 | 1152745 | 2658 1011 | 11 | 27 341.68/341.82 c 340s | 21 | 1198704 | 1159045 | 2658 1015 | 11 | 27 343.67/343.82 c 342s | 21 | 1206186 | 1166145 | 2658 1020 | 11 | 27 345.67/345.84 c 344s | 21 | 1212058 | 1171845 | 2658 1024 | 11 | 27 347.67/347.86 c 346s | 21 | 1218032 | 1177645 | 2658 1028 | 11 | 27 349.68/349.90 c 348s | 21 | 1223541 | 1182945 | 2658 1032 | 11 | 27 351.77/351.92 c 350s | 21 | 1229762 | 1189045 | 2658 1036 | 11 | 27 353.77/353.94 c 352s | 21 | 1236942 | 1195845 | 2658 1040 | 11 | 27 355.77/355.96 c 354s | 21 | 1243151 | 1201645 | 2658 1044 | 11 | 27 357.77/357.97 c 356s | 21 | 1250150 | 1208445 | 2658 1049 | 11 | 27 359.77/359.99 c 358s | 21 | 1256366 | 1214445 | 2658 1053 | 11 | 27 361.87/362.00 c 360s | 21 | 1263040 | 1220945 | 2658 1058 | 11 | 27 363.87/364.03 c 362s | 21 | 1269926 | 1227645 | 2658 1062 | 11 | 27 365.87/366.04 c 364s | 21 | 1276215 | 1233845 | 2658 1067 | 11 | 27 367.87/368.05 c 366s | 21 | 1282969 | 1240445 | 2658 1071 | 11 | 27 369.86/370.07 c 368s | 21 | 1290913 | 1248145 | 2658 1077 | 11 | 27 371.86/372.08 c 370s | 21 | 1298343 | 1255345 | 2658 1082 | 11 | 27 373.87/374.09 c 372s | 21 | 1305555 | 1262345 | 2658 1086 | 11 | 27 375.86/376.09 c 374s | 21 | 1312878 | 1269445 | 2658 1091 | 11 | 27 377.96/378.10 c 376s | 21 | 1319552 | 1275845 | 2658 1096 | 11 | 27 379.95/380.10 c 378s | 21 | 1325684 | 1281745 | 2658 1100 | 11 | 27 381.95/382.11 c 380s | 21 | 1332600 | 1288445 | 2658 1105 | 11 | 27 383.95/384.12 c 382s | 21 | 1339877 | 1295445 | 2658 1109 | 11 | 27 385.96/386.13 c 384s | 21 | 1346645 | 1301945 | 2658 1114 | 11 | 27 387.95/388.13 c 386s | 21 | 1352753 | 1307945 | 2658 1118 | 11 | 27 389.95/390.14 c 388s | 21 | 1359488 | 1314445 | 2658 1123 | 11 | 27 391.95/392.15 c 390s | 21 | 1366052 | 1320645 | 2658 1127 | 11 | 27 393.95/394.17 c 392s | 21 | 1373184 | 1327345 | 2658 1131 | 11 | 27 395.95/396.19 c 394s | 21 | 1380571 | 1334145 | 2658 1136 | 11 | 27 398.05/398.20 c 396s | 21 | 1389456 | 1342645 | 2658 1142 | 11 | 27 400.04/400.21 c 398s | 21 | 1397233 | 1350145 | 2658 1147 | 11 | 27 402.04/402.21 c 400s | 21 | 1404870 | 1357445 | 2658 1153 | 11 | 27 404.04/404.22 c 402s | 21 | 1412858 | 1365145 | 2658 1158 | 11 | 27 406.04/406.25 c 404s | 21 | 1420444 | 1372445 | 2658 1163 | 11 | 27 408.05/408.26 c 406s | 21 | 1427417 | 1379045 | 2658 1168 | 11 | 27 410.03/410.29 c 408s | 21 | 1435045 | 1386345 | 2658 1173 | 11 | 27 412.13/412.31 c 410s | 21 | 1443302 | 1394345 | 2658 1178 | 11 | 27 414.13/414.32 c 412s | 21 | 1451137 | 1401945 | 2658 1184 | 11 | 27 416.13/416.33 c 414s | 21 | 1458125 | 1408645 | 2658 1188 | 11 | 27 418.13/418.37 c 416s | 21 | 1464048 | 1414345 | 2658 1192 | 11 | 27 420.14/420.38 c 418s | 21 | 1471482 | 1421345 | 2658 1197 | 11 | 27 422.13/422.38 c 420s | 21 | 1478777 | 1428445 | 2658 1202 | 11 | 27 424.13/424.39 c 422s | 21 | 1485292 | 1434545 | 2658 1206 | 11 | 27 426.23/426.42 c 424s | 21 | 1491477 | 1440545 | 2658 1210 | 11 | 27 428.23/428.43 c 426s | 21 | 1497696 | 1446545 | 2658 1215 | 11 | 27 430.22/430.45 c 428s | 21 | 1504302 | 1452945 | 2658 1219 | 11 | 27 432.23/432.48 c 430s | 21 | 1510922 | 1459345 | 2658 1223 | 11 | 27 434.33/434.51 c 432s | 21 | 1517398 | 1465445 | 2658 1228 | 11 | 27 436.32/436.52 c 434s | 21 | 1523620 | 1471445 | 2658 1232 | 11 | 27 438.32/438.53 c 436s | 21 | 1530048 | 1477745 | 2658 1236 | 11 | 27 440.32/440.55 c 438s | 21 | 1537078 | 1484645 | 2658 1241 | 11 | 27 442.33/442.58 c 440s | 21 | 1543722 | 1490945 | 2924 1245 | 11 | 27 444.43/444.60 c 442s | 21 | 1549947 | 1496745 | 2924 1249 | 11 | 27 445.83/446.04 c 444s | 22 | 1554124 | 1500622 | 2924 1251 | 11 | 27 447.83/448.06 c 446s | 22 | 1561645 | 1507922 | 2924 1256 | 11 | 27 449.83/450.06 c 448s | 22 | 1569106 | 1515222 | 2924 1260 | 11 | 27 451.83/452.09 c 450s | 22 | 1575845 | 1521822 | 2924 1264 | 11 | 27 453.83/454.09 c 452s | 22 | 1582109 | 1527922 | 2924 1268 | 11 | 27 455.93/456.11 c 454s | 22 | 1589111 | 1534822 | 2924 1273 | 11 | 27 457.93/458.13 c 456s | 22 | 1596523 | 1542122 | 2924 1277 | 11 | 27 459.92/460.14 c 458s | 22 | 1603917 | 1549422 | 2924 1282 | 11 | 27 461.93/462.15 c 460s | 22 | 1610867 | 1556222 | 2924 1286 | 11 | 27 463.92/464.15 c 462s | 22 | 1618107 | 1563322 | 2924 1291 | 11 | 27 465.92/466.16 c 464s | 22 | 1625353 | 1570422 | 2924 1295 | 11 | 27 467.92/468.17 c 466s | 22 | 1632935 | 1577822 | 2924 1300 | 11 | 27 469.92/470.17 c 468s | 22 | 1639917 | 1584722 | 2924 1304 | 11 | 27 471.92/472.19 c 470s | 22 | 1647171 | 1591822 | 2924 1309 | 11 | 27 474.02/474.21 c 472s | 22 | 1653935 | 1598422 | 2924 1313 | 11 | 27 476.02/476.21 c 474s | 22 | 1661216 | 1605622 | 2924 1317 | 11 | 27 478.02/478.22 c 476s | 22 | 1668094 | 1612422 | 2924 1322 | 11 | 27 480.01/480.24 c 478s | 22 | 1675276 | 1619522 | 2924 1326 | 11 | 27 482.01/482.26 c 480s | 22 | 1682049 | 1626222 | 2924 1330 | 11 | 27 484.01/484.27 c 482s | 22 | 1689353 | 1633322 | 2924 1335 | 11 | 27 486.02/486.27 c 484s | 22 | 1696488 | 1640322 | 2924 1339 | 11 | 27 488.01/488.29 c 486s | 22 | 1703155 | 1646822 | 2924 1343 | 11 | 27 490.11/490.30 c 488s | 22 | 1709694 | 1653022 | 2924 1347 | 11 | 27 492.11/492.33 c 490s | 22 | 1716490 | 1659522 | 2924 1351 | 11 | 27 494.11/494.33 c 492s | 22 | 1723106 | 1665922 | 2924 1356 | 11 | 27 496.10/496.33 c 494s | 22 | 1730130 | 1672722 | 2924 1360 | 11 | 27 498.11/498.34 c 496s | 22 | 1736772 | 1679022 | 2924 1364 | 11 | 27 500.10/500.36 c 498s | 22 | 1743847 | 1685822 | 2924 1368 | 11 | 27 502.10/502.37 c 500s | 22 | 1750174 | 1691922 | 2924 1372 | 11 | 27 504.20/504.40 c 502s | 22 | 1756857 | 1698222 | 2924 1376 | 11 | 27 506.20/506.41 c 504s | 22 | 1762892 | 1704022 | 2924 1380 | 11 | 27 508.20/508.41 c 506s | 22 | 1769159 | 1710022 | 2924 1384 | 11 | 27 510.20/510.44 c 508s | 22 | 1775570 | 1716222 | 2924 1388 | 11 | 27 512.20/512.45 c 510s | 22 | 1782167 | 1722622 | 2924 1392 | 11 | 27 514.20/514.45 c 512s | 22 | 1788959 | 1729222 | 2924 1396 | 11 | 27 516.20/516.47 c 514s | 22 | 1796167 | 1736122 | 2924 1400 | 11 | 27 518.20/518.47 c 516s | 22 | 1802725 | 1742522 | 2924 1404 | 11 | 27 520.20/520.49 c 518s | 22 | 1809270 | 1748722 | 2924 1408 | 11 | 27 522.29/522.50 c 520s | 22 | 1816585 | 1755822 | 2924 1413 | 11 | 27 524.29/524.51 c 522s | 22 | 1823782 | 1762822 | 2924 1417 | 11 | 27 526.29/526.52 c 524s | 22 | 1830670 | 1769522 | 2924 1421 | 11 | 27 528.29/528.52 c 526s | 22 | 1837760 | 1776322 | 2924 1426 | 11 | 27 530.28/530.53 c 528s | 22 | 1844287 | 1782522 | 2924 1430 | 11 | 27 532.29/532.54 c 530s | 22 | 1851144 | 1789022 | 2924 1434 | 11 | 27 534.28/534.56 c 532s | 22 | 1857618 | 1795222 | 2924 1438 | 11 | 27 536.28/536.58 c 534s | 22 | 1864087 | 1801322 | 2924 1442 | 11 | 27 538.28/538.59 c 536s | 22 | 1870734 | 1807522 | 2924 1446 | 11 | 27 540.37/540.62 c 538s | 22 | 1877065 | 1813522 | 2924 1449 | 11 | 27 542.37/542.62 c 540s | 22 | 1883757 | 1819822 | 2924 1453 | 11 | 27 544.39/544.63 c 542s | 22 | 1890548 | 1826122 | 2924 1458 | 11 | 27 546.38/546.65 c 544s | 22 | 1897345 | 1832722 | 2924 1462 | 11 | 27 548.38/548.65 c 546s | 22 | 1903034 | 1838222 | 2924 1465 | 11 | 27 550.38/550.65 c 548s | 22 | 1909091 | 1844122 | 2924 1469 | 11 | 27 552.38/552.68 c 551s | 22 | 1915564 | 1850422 | 2924 1473 | 11 | 27 554.38/554.70 c 553s | 22 | 1921329 | 1856022 | 2924 1476 | 11 | 27 556.49/556.70 c 555s | 22 | 1927705 | 1862222 | 2924 1480 | 11 | 27 558.48/558.72 c 557s | 22 | 1933446 | 1867822 | 2924 1484 | 11 | 27 560.47/560.74 c 559s | 22 | 1939840 | 1874122 | 2924 1488 | 11 | 27 562.47/562.77 c 561s | 22 | 1946315 | 1880422 | 2924 1492 | 11 | 27 564.47/564.78 c 563s | 22 | 1953060 | 1886922 | 2924 1496 | 11 | 27 566.47/566.79 c 565s | 22 | 1958705 | 1892422 | 2924 1500 | 11 | 27 568.58/568.82 c 567s | 22 | 1964754 | 1898222 | 2924 1503 | 11 | 27 570.57/570.83 c 569s | 22 | 1971059 | 1904322 | 2924 1507 | 11 | 27 572.57/572.86 c 571s | 22 | 1977155 | 1910222 | 2924 1511 | 11 | 27 574.56/574.88 c 573s | 22 | 1983182 | 1916122 | 2924 1515 | 11 | 27 576.56/576.89 c 575s | 22 | 1989521 | 1922322 | 2924 1519 | 11 | 27 578.56/578.89 c 577s | 22 | 1995739 | 1928422 | 2924 1523 | 11 | 27 580.67/580.92 c 579s | 22 | 2001586 | 1934122 | 2924 1526 | 11 | 27 582.66/582.94 c 581s | 22 | 2007568 | 1939922 | 2924 1530 | 11 | 27 584.66/584.96 c 583s | 22 | 2012896 | 1945022 | 2924 1533 | 11 | 27 586.66/586.99 c 585s | 22 | 2019718 | 1951522 | 2924 1537 | 11 | 27 588.75/589.02 c 587s | 22 | 2026252 | 1957922 | 2924 1541 | 11 | 27 590.75/591.04 c 589s | 22 | 2033217 | 1964722 | 2924 1546 | 11 | 27 592.76/593.05 c 591s | 22 | 2039650 | 1970922 | 2924 1550 | 11 | 27 594.75/595.08 c 593s | 22 | 2046074 | 1977222 | 2924 1554 | 11 | 27 596.75/597.09 c 595s | 22 | 2052497 | 1983422 | 2924 1558 | 11 | 27 598.85/599.10 c 597s | 22 | 2058529 | 1989122 | 2924 1561 | 11 | 27 600.85/601.12 c 599s | 22 | 2064714 | 1995122 | 2924 1565 | 11 | 27 602.85/603.12 c 601s | 22 | 2070867 | 2001122 | 2924 1569 | 11 | 27 604.85/605.13 c 603s | 22 | 2077014 | 2007122 | 2924 1573 | 11 | 27 606.85/607.14 c 605s | 22 | 2083202 | 2013122 | 2924 1576 | 11 | 27 608.84/609.15 c 607s | 22 | 2089537 | 2019222 | 2924 1580 | 11 | 27 610.85/611.17 c 609s | 22 | 2095441 | 2024922 | 2924 1584 | 11 | 27 612.85/613.17 c 611s | 22 | 2101782 | 2030922 | 2924 1588 | 11 | 27 614.85/615.19 c 613s | 22 | 2107977 | 2036522 | 2924 1591 | 11 | 27 616.96/617.23 c 615s | 22 | 2114277 | 2042622 | 2924 1595 | 11 | 27 618.95/619.25 c 617s | 22 | 2120014 | 2048222 | 2924 1599 | 11 | 27 620.95/621.27 c 619s | 22 | 2125798 | 2053822 | 2924 1602 | 11 | 27 622.95/623.29 c 621s | 22 | 2132421 | 2060322 | 2924 1606 | 11 | 27 625.05/625.31 c 623s | 22 | 2138938 | 2066722 | 2924 1610 | 11 | 27 627.05/627.32 c 625s | 22 | 2144846 | 2072522 | 2924 1614 | 11 | 27 629.05/629.33 c 627s | 22 | 2150952 | 2078522 | 2924 1618 | 11 | 27 631.04/631.35 c 629s | 22 | 2157648 | 2085122 | 2924 1622 | 11 | 27 633.04/633.38 c 631s | 22 | 2163614 | 2090922 | 2924 1626 | 11 | 27 635.04/635.40 c 633s | 22 | 2170200 | 2097322 | 2924 1630 | 11 | 27 637.14/637.41 c 635s | 22 | 2176382 | 2103322 | 2924 1634 | 11 | 27 639.13/639.42 c 637s | 22 | 2182717 | 2109522 | 2924 1638 | 11 | 27 641.14/641.45 c 639s | 22 | 2189164 | 2115522 | 2924 1641 | 11 | 27 643.13/643.45 c 641s | 22 | 2195467 | 2121422 | 2924 1645 | 11 | 27 645.13/645.48 c 643s | 22 | 2201820 | 2127622 | 2924 1649 | 11 | 27 647.13/647.48 c 645s | 22 | 2208123 | 2133722 | 2924 1653 | 11 | 27 649.13/649.48 c 647s | 22 | 2214376 | 2139622 | 2924 1657 | 11 | 27 651.13/651.49 c 649s | 22 | 2221203 | 2146322 | 2924 1661 | 11 | 27 653.23/653.52 c 651s | 22 | 2228007 | 2152622 | 2924 1665 | 11 | 27 655.23/655.55 c 653s | 22 | 2234971 | 2159222 | 2924 1669 | 11 | 27 657.23/657.57 c 655s | 22 | 2241526 | 2165522 | 2924 1673 | 11 | 27 659.23/659.58 c 657s | 22 | 2248321 | 2172122 | 2924 1677 | 11 | 27 661.23/661.59 c 659s | 22 | 2254636 | 2178222 | 2924 1681 | 11 | 27 663.33/663.60 c 661s | 22 | 2260439 | 2183622 | 2924 1685 | 11 | 27 665.33/665.62 c 663s | 22 | 2266836 | 2189722 | 2924 1689 | 11 | 27 667.32/667.63 c 665s | 22 | 2273511 | 2196122 | 2924 1693 | 11 | 27 669.32/669.65 c 667s | 22 | 2279819 | 2202222 | 2924 1697 | 11 | 27 671.32/671.67 c 669s | 22 | 2286610 | 2208822 | 2924 1701 | 11 | 27 673.42/673.71 c 672s | 22 | 2292777 | 2214822 | 2924 1705 | 11 | 27 675.42/675.71 c 674s | 22 | 2298844 | 2220722 | 2924 1708 | 11 | 27 677.43/677.72 c 676s | 22 | 2305205 | 2226922 | 2924 1712 | 11 | 27 679.41/679.73 c 678s | 22 | 2311427 | 2232922 | 3217 1716 | 11 | 27 681.41/681.75 c 680s | 22 | 2317921 | 2239022 | 3217 1719 | 11 | 27 683.41/683.77 c 682s | 22 | 2323701 | 2244322 | 3217 1722 | 11 | 27 685.51/685.80 c 684s | 22 | 2329491 | 2249922 | 3217 1726 | 11 | 27 685.81/686.16 c 684s | 23 | 2330645 | 2251038 | 3217 1726 | 11 | 27 687.91/688.21 c 686s | 23 | 2337694 | 2257938 | 3217 1731 | 11 | 27 689.91/690.23 c 688s | 23 | 2344660 | 2264638 | 3217 1734 | 11 | 27 691.91/692.24 c 690s | 23 | 2352152 | 2271938 | 3217 1739 | 11 | 27 693.91/694.26 c 692s | 23 | 2358577 | 2278238 | 3217 1742 | 11 | 27 695.90/696.27 c 694s | 23 | 2365076 | 2284638 | 3217 1746 | 11 | 27 697.90/698.27 c 696s | 23 | 2371959 | 2291338 | 3217 1750 | 11 | 27 700.00/700.30 c 698s | 23 | 2378820 | 2298038 | 3217 1754 | 11 | 27 702.00/702.33 c 700s | 23 | 2386087 | 2305138 | 3217 1758 | 11 | 27 704.00/704.35 c 702s | 23 | 2392839 | 2311738 | 3217 1762 | 11 | 27 706.00/706.36 c 704s | 23 | 2399678 | 2318438 | 3217 1766 | 11 | 27 708.00/708.36 c 706s | 23 | 2406299 | 2324938 | 3217 1770 | 11 | 27 709.99/710.38 c 708s | 23 | 2413451 | 2331838 | 3217 1774 | 11 | 27 711.99/712.39 c 710s | 23 | 2420697 | 2338938 | 3217 1778 | 11 | 27 714.09/714.42 c 712s | 23 | 2427700 | 2345738 | 3217 1782 | 11 | 27 716.09/716.44 c 714s | 23 | 2433896 | 2351738 | 3217 1785 | 11 | 27 718.10/718.46 c 716s | 23 | 2440303 | 2358038 | 3217 1789 | 11 | 27 720.08/720.47 c 718s | 23 | 2446941 | 2364538 | 3217 1793 | 11 | 27 722.08/722.47 c 720s | 23 | 2454295 | 2371738 | 3217 1797 | 11 | 27 724.08/724.47 c 722s | 23 | 2460851 | 2378138 | 3217 1801 | 11 | 27 726.08/726.48 c 724s | 23 | 2467222 | 2384338 | 3217 1804 | 11 | 27 728.08/728.48 c 726s | 23 | 2474683 | 2391638 | 3217 1809 | 11 | 27 730.09/730.49 c 728s | 23 | 2481806 | 2398638 | 3217 1813 | 11 | 27 732.08/732.49 c 730s | 23 | 2488445 | 2405138 | 3217 1817 | 11 | 27 734.08/734.49 c 732s | 23 | 2495091 | 2411638 | 3217 1820 | 11 | 27 736.08/736.49 c 734s | 23 | 2501936 | 2418338 | 3217 1824 | 11 | 27 738.18/738.52 c 736s | 23 | 2508137 | 2424338 | 3217 1828 | 11 | 27 740.18/740.53 c 738s | 23 | 2514946 | 2430938 | 3217 1832 | 11 | 27 742.19/742.54 c 740s | 23 | 2520899 | 2436638 | 3217 1835 | 11 | 27 744.18/744.55 c 742s | 23 | 2527837 | 2443438 | 3217 1839 | 11 | 27 746.18/746.59 c 744s | 23 | 2534955 | 2450338 | 3217 1843 | 11 | 27 748.28/748.60 c 746s | 23 | 2541217 | 2456438 | 3217 1847 | 11 | 27 750.28/750.62 c 748s | 23 | 2547571 | 2462538 | 3217 1850 | 11 | 27 752.28/752.64 c 750s | 23 | 2553942 | 2468638 | 3217 1854 | 11 | 27 754.28/754.67 c 752s | 23 | 2560444 | 2474938 | 3217 1858 | 11 | 27 756.28/756.67 c 755s | 23 | 2567455 | 2481738 | 3217 1862 | 11 | 27 758.28/758.68 c 757s | 23 | 2573806 | 2487838 | 3217 1865 | 11 | 27 760.38/760.71 c 759s | 23 | 2580819 | 2494738 | 3217 1869 | 11 | 27 762.38/762.71 c 761s | 23 | 2588036 | 2501838 | 3217 1873 | 11 | 27 764.37/764.75 c 763s | 23 | 2595342 | 2508938 | 3217 1878 | 11 | 27 766.38/766.76 c 765s | 23 | 2602734 | 2516038 | 3217 1882 | 11 | 27 768.37/768.77 c 767s | 23 | 2609855 | 2522938 | 3217 1886 | 11 | 27 770.37/770.78 c 769s | 23 | 2616696 | 2529438 | 3217 1890 | 11 | 27 772.47/772.81 c 771s | 23 | 2624129 | 2536538 | 3217 1894 | 11 | 27 774.47/774.83 c 773s | 23 | 2631245 | 2543338 | 3217 1898 | 11 | 27 776.48/776.87 c 775s | 23 | 2638520 | 2550438 | 3217 1902 | 11 | 27 778.49/778.87 c 777s | 23 | 2644518 | 2556138 | 3217 1905 | 11 | 27 780.48/780.89 c 779s | 23 | 2651423 | 2562838 | 3217 1909 | 11 | 27 782.58/782.90 c 781s | 23 | 2658191 | 2569338 | 3217 1913 | 11 | 27 784.58/784.92 c 783s | 23 | 2665287 | 2576138 | 3217 1917 | 11 | 27 786.58/786.94 c 785s | 23 | 2672346 | 2582838 | 3217 1921 | 11 | 27 788.58/788.96 c 787s | 23 | 2679660 | 2589838 | 3217 1925 | 11 | 27 790.58/790.98 c 789s | 23 | 2686455 | 2596338 | 3217 1929 | 11 | 27 792.68/793.00 c 791s | 23 | 2692840 | 2602538 | 3217 1933 | 11 | 27 794.68/795.05 c 793s | 23 | 2699825 | 2609338 | 3217 1937 | 11 | 27 796.68/797.06 c 795s | 23 | 2705369 | 2614638 | 3217 1940 | 11 | 27 798.68/799.09 c 797s | 23 | 2712040 | 2621038 | 3217 1943 | 11 | 27 800.78/801.10 c 799s | 23 | 2718175 | 2626938 | 3217 1947 | 11 | 27 802.78/803.13 c 801s | 23 | 2724013 | 2632538 | 3217 1950 | 11 | 27 804.77/805.19 c 803s | 23 | 2729602 | 2637938 | 3217 1953 | 11 | 27 806.87/807.20 c 805s | 23 | 2735688 | 2643638 | 3217 1957 | 11 | 27 808.87/809.22 c 807s | 23 | 2742074 | 2649838 | 3217 1960 | 11 | 27 810.87/811.25 c 809s | 23 | 2747900 | 2655438 | 3217 1964 | 11 | 27 812.87/813.26 c 811s | 23 | 2754894 | 2662138 | 3217 1968 | 11 | 27 814.88/815.27 c 813s | 23 | 2762224 | 2669338 | 3217 1972 | 11 | 27 816.87/817.29 c 815s | 23 | 2768879 | 2675738 | 3217 1976 | 11 | 27 818.97/819.30 c 817s | 23 | 2775446 | 2682038 | 3217 1979 | 11 | 27 820.97/821.30 c 819s | 23 | 2781955 | 2688338 | 3217 1983 | 11 | 27 822.97/823.33 c 821s | 23 | 2789040 | 2695238 | 3217 1987 | 11 | 27 824.97/825.36 c 823s | 23 | 2795168 | 2701038 | 3217 1990 | 11 | 27 826.97/827.37 c 825s | 23 | 2801697 | 2707338 | 3217 1994 | 11 | 27 828.97/829.39 c 827s | 23 | 2808255 | 2713638 | 3217 1998 | 11 | 27 831.07/831.44 c 829s | 23 | 2815268 | 2720438 | 3217 2002 | 11 | 27 833.07/833.45 c 831s | 23 | 2822601 | 2727538 | 3217 2006 | 11 | 27 835.07/835.46 c 833s | 23 | 2829219 | 2733938 | 3217 2010 | 11 | 27 837.07/837.46 c 835s | 23 | 2836080 | 2740538 | 3217 2014 | 11 | 27 839.07/839.48 c 837s | 23 | 2843082 | 2747438 | 3217 2018 | 11 | 27 841.06/841.48 c 839s | 23 | 2849645 | 2753738 | 3217 2021 | 11 | 27 843.16/843.54 c 841s | 23 | 2855462 | 2759338 | 3217 2025 | 11 | 27 845.16/845.55 c 843s | 23 | 2860663 | 2764338 | 3217 2027 | 11 | 27 847.16/847.57 c 845s | 23 | 2867296 | 2770838 | 3217 2031 | 11 | 27 849.16/849.57 c 847s | 23 | 2874078 | 2777438 | 3217 2035 | 11 | 27 851.26/851.61 c 849s | 23 | 2880429 | 2783538 | 3217 2039 | 11 | 27 853.27/853.64 c 851s | 23 | 2887006 | 2789938 | 3217 2043 | 11 | 27 855.26/855.67 c 854s | 23 | 2893397 | 2796138 | 3217 2046 | 11 | 27 857.36/857.72 c 856s | 23 | 2899944 | 2802538 | 3217 2050 | 11 | 27 859.36/859.73 c 858s | 23 | 2905672 | 2808038 | 3217 2053 | 11 | 27 861.37/861.75 c 860s | 23 | 2912217 | 2814438 | 3217 2057 | 11 | 27 863.37/863.78 c 862s | 23 | 2918967 | 2821038 | 3217 2061 | 11 | 27 865.47/865.81 c 864s | 23 | 2924888 | 2826838 | 3217 2064 | 11 | 27 867.47/867.81 c 866s | 23 | 2932704 | 2834438 | 3217 2069 | 11 | 27 869.47/869.86 c 868s | 23 | 2939143 | 2840538 | 3217 2072 | 11 | 27 871.47/871.87 c 870s | 23 | 2946297 | 2847438 | 3217 2076 | 11 | 27 873.47/873.89 c 872s | 23 | 2953991 | 2854838 | 3217 2081 | 11 | 27 875.56/875.92 c 874s | 23 | 2961329 | 2862038 | 3217 2085 | 11 | 27 877.57/877.92 c 876s | 23 | 2966583 | 2867138 | 3217 2088 | 11 | 27 879.56/879.92 c 878s | 23 | 2973829 | 2874138 | 3217 2092 | 11 | 27 881.56/881.93 c 880s | 23 | 2980193 | 2880238 | 3217 2096 | 11 | 27 883.56/883.96 c 882s | 23 | 2987308 | 2887138 | 3217 2100 | 11 | 27 885.56/885.96 c 884s | 23 | 2991633 | 2891338 | 3217 2102 | 11 | 27 887.56/887.98 c 886s | 23 | 2997921 | 2897438 | 3217 2106 | 11 | 27 889.67/890.03 c 888s | 23 | 3004204 | 2903638 | 3217 2109 | 11 | 27 891.66/892.03 c 890s | 23 | 3011451 | 2910738 | 3217 2113 | 11 | 27 893.66/894.06 c 892s | 23 | 3017969 | 2917138 | 3217 2117 | 11 | 27 895.66/896.07 c 894s | 23 | 3024525 | 2923538 | 3217 2121 | 11 | 27 897.76/898.10 c 896s | 23 | 3030895 | 2929738 | 3217 2124 | 11 | 27 899.76/900.12 c 898s | 23 | 3036581 | 2935238 | 3217 2128 | 11 | 27 901.76/902.14 c 900s | 23 | 3043813 | 2942138 | 3217 2132 | 11 | 27 903.76/904.17 c 902s | 23 | 3050487 | 2948638 | 3217 2135 | 11 | 27 905.76/906.17 c 904s | 23 | 3058113 | 2956038 | 3217 2140 | 11 | 27 907.86/908.20 c 906s | 23 | 3064956 | 2962738 | 3217 2144 | 11 | 27 909.85/910.23 c 908s | 23 | 3071777 | 2969338 | 3217 2147 | 11 | 27 911.85/912.23 c 910s | 23 | 3078820 | 2976138 | 3217 2151 | 11 | 27 913.86/914.24 c 912s | 23 | 3085549 | 2982738 | 3217 2155 | 11 | 27 915.85/916.26 c 914s | 23 | 3091756 | 2988838 | 3217 2159 | 11 | 27 917.85/918.27 c 916s | 23 | 3099040 | 2995838 | 3217 2163 | 11 | 27 919.85/920.28 c 918s | 23 | 3106155 | 3002738 | 3217 2167 | 11 | 27 921.85/922.29 c 920s | 23 | 3112859 | 3009238 | 3217 2171 | 11 | 27 923.95/924.30 c 922s | 23 | 3119735 | 3015838 | 3217 2175 | 11 | 27 925.96/926.31 c 924s | 23 | 3126997 | 3022938 | 3217 2179 | 11 | 27 927.95/928.32 c 926s | 23 | 3134216 | 3030038 | 3217 2183 | 11 | 27 929.95/930.33 c 928s | 23 | 3141576 | 3037238 | 3217 2187 | 11 | 27 931.95/932.33 c 930s | 23 | 3148464 | 3044038 | 3217 2191 | 11 | 27 933.95/934.34 c 932s | 23 | 3155319 | 3050738 | 3217 2195 | 11 | 27 935.95/936.34 c 934s | 23 | 3161750 | 3057038 | 3217 2199 | 11 | 27 937.96/938.35 c 936s | 23 | 3167802 | 3062938 | 3217 2202 | 11 | 27 939.95/940.36 c 938s | 23 | 3175725 | 3070638 | 3217 2207 | 11 | 27 941.95/942.38 c 940s | 23 | 3182563 | 3077338 | 3217 2211 | 11 | 27 944.05/944.41 c 942s | 23 | 3188812 | 3083438 | 3217 2214 | 11 | 27 946.05/946.41 c 944s | 23 | 3196124 | 3090538 | 3217 2218 | 11 | 27 948.06/948.43 c 946s | 23 | 3203229 | 3097538 | 3217 2222 | 11 | 27 950.06/950.44 c 948s | 23 | 3209192 | 3103338 | 3217 2226 | 11 | 27 952.06/952.45 c 950s | 23 | 3216032 | 3109938 | 3217 2230 | 11 | 27 954.06/954.48 c 952s | 23 | 3222996 | 3116738 | 3217 2234 | 11 | 27 956.05/956.49 c 954s | 23 | 3229788 | 3123338 | 3217 2237 | 11 | 27 958.05/958.49 c 956s | 23 | 3236993 | 3130338 | 3217 2242 | 11 | 27 960.15/960.50 c 958s | 23 | 3242762 | 3135938 | 3217 2245 | 11 | 27 962.16/962.52 c 960s | 23 | 3248747 | 3141538 | 3217 2248 | 11 | 27 964.15/964.52 c 962s | 23 | 3254928 | 3147438 | 3217 2252 | 11 | 27 966.15/966.54 c 964s | 23 | 3261735 | 3154138 | 3217 2256 | 11 | 27 968.15/968.54 c 966s | 23 | 3268651 | 3160738 | 3217 2260 | 11 | 27 970.15/970.56 c 968s | 23 | 3275420 | 3167138 | 3217 2263 | 11 | 27 972.16/972.59 c 970s | 23 | 3281532 | 3173038 | 3217 2267 | 11 | 27 974.26/974.61 c 972s | 23 | 3287182 | 3178438 | 3217 2270 | 11 | 27 976.25/976.62 c 974s | 23 | 3293838 | 3184938 | 3217 2274 | 11 | 27 978.25/978.64 c 976s | 23 | 3300985 | 3191938 | 3217 2278 | 11 | 27 980.25/980.65 c 978s | 23 | 3307754 | 3198438 | 3217 2282 | 11 | 27 982.25/982.68 c 981s | 23 | 3314748 | 3205238 | 3217 2286 | 11 | 27 984.26/984.70 c 983s | 23 | 3321833 | 3212038 | 3217 2290 | 11 | 27 986.36/986.73 c 985s | 23 | 3327240 | 3217238 | 3217 2293 | 11 | 27 988.35/988.77 c 987s | 23 | 3332523 | 3222338 | 3217 2296 | 11 | 27 990.35/990.78 c 989s | 23 | 3338060 | 3227738 | 3217 2299 | 11 | 27 992.35/992.79 c 991s | 23 | 3343599 | 3233138 | 3217 2302 | 11 | 27 994.45/994.81 c 993s | 23 | 3349813 | 3239238 | 3217 2305 | 11 | 27 996.45/996.83 c 995s | 23 | 3356541 | 3245838 | 3217 2309 | 11 | 27 998.45/998.88 c 997s | 23 | 3363222 | 3252338 | 3217 2313 | 11 | 27 1000.45/1000.89 c 999s | 23 | 3369527 | 3258338 | 3217 2317 | 11 | 27 1002.55/1002.91 c 1001s | 23 | 3374234 | 3262838 | 3217 2319 | 11 | 27 1004.55/1004.94 c 1003s | 23 | 3380711 | 3269038 | 3217 2323 | 11 | 27 1006.55/1006.95 c 1005s | 23 | 3387318 | 3275538 | 3217 2327 | 11 | 27 1008.54/1008.95 c 1007s | 23 | 3394145 | 3282138 | 3217 2330 | 11 | 27 1010.55/1010.97 c 1009s | 23 | 3400998 | 3288838 | 3217 2334 | 11 | 27 1012.54/1012.97 c 1011s | 23 | 3407368 | 3295038 | 3217 2338 | 11 | 27 1014.64/1015.01 c 1013s | 23 | 3412905 | 3300338 | 3217 2341 | 11 | 27 1016.64/1017.02 c 1015s | 23 | 3418471 | 3305738 | 3217 2344 | 11 | 27 1018.64/1019.03 c 1017s | 23 | 3424561 | 3311638 | 3217 2348 | 11 | 27 1020.64/1021.06 c 1019s | 23 | 3431331 | 3318138 | 3217 2351 | 11 | 27 1022.65/1023.07 c 1021s | 23 | 3437111 | 3323638 | 3217 2355 | 11 | 27 1024.74/1025.10 c 1023s | 23 | 3442943 | 3329238 | 3217 2358 | 11 | 27 1026.74/1027.14 c 1025s | 23 | 3447841 | 3334038 | 3217 2361 | 11 | 27 1028.74/1029.18 c 1027s | 23 | 3453041 | 3339038 | 3217 2364 | 11 | 27 1030.84/1031.21 c 1029s | 23 | 3459221 | 3345038 | 3217 2367 | 11 | 27 1032.84/1033.23 c 1031s | 23 | 3466283 | 3351938 | 3539 2371 | 11 | 27 1034.84/1035.24 c 1033s | 23 | 3472539 | 3358038 | 3539 2374 | 11 | 27 1036.84/1037.27 c 1035s | 23 | 3478663 | 3363938 | 3539 2377 | 11 | 27 1038.94/1039.30 c 1037s | 23 | 3485213 | 3370238 | 3539 2381 | 11 | 27 1040.94/1041.33 c 1039s | 23 | 3491217 | 3376038 | 3539 2384 | 11 | 27 1041.14/1041.51 c 1039s | 24 | 3491848 | 3376662 | 3539 2384 | 11 | 27 1043.14/1043.54 c 1041s | 24 | 3499418 | 3384062 | 3539 2388 | 11 | 27 1045.14/1045.56 c 1043s | 24 | 3506168 | 3390662 | 3539 2391 | 11 | 27 1047.13/1047.57 c 1045s | 24 | 3512326 | 3396562 | 3539 2395 | 11 | 27 1049.14/1049.57 c 1047s | 24 | 3518331 | 3402262 | 3539 2398 | 11 | 27 1051.13/1051.59 c 1049s | 24 | 3524749 | 3408462 | 3539 2401 | 11 | 27 1053.23/1053.62 c 1051s | 24 | 3531037 | 3414662 | 3539 2404 | 11 | 27 1055.23/1055.63 c 1053s | 24 | 3537589 | 3421062 | 3539 2407 | 11 | 27 1057.23/1057.64 c 1055s | 24 | 3544196 | 3427562 | 3539 2411 | 11 | 27 1059.23/1059.67 c 1057s | 24 | 3550697 | 3433962 | 3539 2414 | 11 | 27 1061.24/1061.68 c 1060s | 24 | 3557391 | 3440462 | 3539 2418 | 11 | 27 1063.34/1063.70 c 1062s | 24 | 3564404 | 3447262 | 3539 2421 | 11 | 27 1065.33/1065.72 c 1064s | 24 | 3571288 | 3453962 | 3539 2425 | 11 | 27 1067.33/1067.74 c 1066s | 24 | 3578200 | 3460762 | 3539 2428 | 11 | 27 1069.33/1069.76 c 1068s | 24 | 3584731 | 3467162 | 3539 2432 | 11 | 27 1071.33/1071.77 c 1070s | 24 | 3591379 | 3473562 | 3539 2435 | 11 | 27 1073.33/1073.79 c 1072s | 24 | 3598730 | 3480762 | 3539 2439 | 11 | 27 1075.33/1075.79 c 1074s | 24 | 3604659 | 3486562 | 3539 2442 | 11 | 27 1077.43/1077.80 c 1076s | 24 | 3611082 | 3492762 | 3539 2445 | 11 | 27 1079.43/1079.82 c 1078s | 24 | 3617724 | 3499262 | 3539 2449 | 11 | 27 1081.44/1081.83 c 1080s | 24 | 3624272 | 3505662 | 3539 2452 | 11 | 27 1083.44/1083.84 c 1082s | 24 | 3630937 | 3512162 | 3539 2456 | 11 | 27 1085.44/1085.85 c 1084s | 24 | 3637728 | 3518862 | 3539 2459 | 11 | 27 1087.43/1087.87 c 1086s | 24 | 3644762 | 3525762 | 3539 2463 | 11 | 27 1089.43/1089.87 c 1088s | 24 | 3651991 | 3532862 | 3539 2467 | 11 | 27 1091.53/1091.90 c 1090s | 24 | 3658852 | 3539562 | 3539 2470 | 11 | 27 1093.53/1093.92 c 1092s | 24 | 3665354 | 3545962 | 3539 2474 | 11 | 27 1095.53/1095.94 c 1094s | 24 | 3671746 | 3552262 | 3539 2477 | 11 | 27 1097.54/1097.97 c 1096s | 24 | 3678418 | 3558762 | 3539 2480 | 11 | 27 1099.53/1099.98 c 1098s | 24 | 3684509 | 3564662 | 3539 2483 | 11 | 27 1101.53/1101.99 c 1100s | 24 | 3690627 | 3570562 | 3539 2487 | 11 | 27 1103.63/1104.01 c 1102s | 24 | 3696669 | 3576362 | 3539 2490 | 11 | 27 1105.63/1106.04 c 1104s | 24 | 3702720 | 3582262 | 3539 2493 | 11 | 27 1107.63/1108.04 c 1106s | 24 | 3708736 | 3588162 | 3539 2496 | 11 | 27 1109.64/1110.06 c 1108s | 24 | 3715081 | 3594362 | 3539 2499 | 11 | 27 1111.63/1112.07 c 1110s | 24 | 3720792 | 3599862 | 3539 2502 | 11 | 27 1113.63/1114.08 c 1112s | 24 | 3726765 | 3605562 | 3539 2505 | 11 | 27 1115.73/1116.10 c 1114s | 24 | 3732242 | 3610762 | 3539 2508 | 11 | 27 1117.73/1118.12 c 1116s | 24 | 3738190 | 3616462 | 3539 2511 | 11 | 27 1119.73/1120.15 c 1118s | 24 | 3743886 | 3621962 | 3539 2514 | 11 | 27 1121.74/1122.17 c 1120s | 24 | 3750044 | 3627962 | 3539 2517 | 11 | 27 1123.73/1124.19 c 1122s | 24 | 3756289 | 3634062 | 3539 2520 | 11 | 27 1125.83/1126.22 c 1124s | 24 | 3762481 | 3640062 | 3539 2523 | 11 | 27 1127.83/1128.23 c 1126s | 24 | 3768571 | 3645762 | 3539 2527 | 11 | 27 1129.83/1130.24 c 1128s | 24 | 3774741 | 3651662 | 3539 2530 | 11 | 27 1131.83/1132.25 c 1130s | 24 | 3781187 | 3657862 | 3539 2533 | 11 | 27 1133.83/1134.28 c 1132s | 24 | 3787535 | 3663962 | 3539 2536 | 11 | 27 1135.83/1136.28 c 1134s | 24 | 3793686 | 3669862 | 3539 2539 | 11 | 27 1137.93/1138.31 c 1136s | 24 | 3799852 | 3675762 | 3539 2542 | 11 | 27 1139.92/1140.33 c 1138s | 24 | 3806211 | 3681762 | 3539 2546 | 11 | 27 1141.92/1142.35 c 1140s | 24 | 3812330 | 3687562 | 3539 2549 | 11 | 27 1143.92/1144.37 c 1142s | 24 | 3818429 | 3693362 | 3539 2552 | 11 | 27 1146.02/1146.40 c 1144s | 24 | 3824674 | 3699462 | 3539 2555 | 11 | 27 1148.03/1148.41 c 1146s | 24 | 3830898 | 3705562 | 3539 2558 | 11 | 27 1150.02/1150.41 c 1148s | 24 | 3837444 | 3711962 | 3539 2562 | 11 | 27 1152.02/1152.43 c 1150s | 24 | 3843228 | 3717562 | 3539 2565 | 11 | 27 1154.02/1154.47 c 1152s | 24 | 3848717 | 3722862 | 3539 2568 | 11 | 27 1156.12/1156.52 c 1154s | 24 | 3854447 | 3728462 | 3539 2571 | 11 | 27 1158.12/1158.54 c 1156s | 24 | 3860356 | 3734162 | 3539 2574 | 11 | 27 1160.13/1160.56 c 1158s | 24 | 3866286 | 3739962 | 3539 2577 | 11 | 27 1162.12/1162.57 c 1160s | 24 | 3872123 | 3745662 | 3539 2580 | 11 | 27 1164.22/1164.60 c 1162s | 24 | 3877950 | 3751362 | 3539 2583 | 11 | 27 1166.22/1166.63 c 1164s | 24 | 3884239 | 3757362 | 3539 2586 | 11 | 27 1168.22/1168.63 c 1166s | 24 | 3890640 | 3763562 | 3539 2589 | 11 | 27 1170.22/1170.66 c 1168s | 24 | 3896635 | 3769462 | 3539 2592 | 11 | 27 1172.22/1172.68 c 1171s | 24 | 3902690 | 3775362 | 3539 2595 | 11 | 27 1174.21/1174.68 c 1173s | 24 | 3908697 | 3781162 | 3539 2598 | 11 | 27 1176.31/1176.71 c 1175s | 24 | 3914394 | 3786662 | 3539 2601 | 11 | 27 1178.31/1178.75 c 1177s | 24 | 3920684 | 3792662 | 3539 2605 | 11 | 27 1180.31/1180.78 c 1179s | 24 | 3926897 | 3798662 | 3539 2608 | 11 | 27 1182.31/1182.79 c 1181s | 24 | 3933014 | 3804562 | 3539 2611 | 11 | 27 1184.42/1184.82 c 1183s | 24 | 3939154 | 3810562 | 3539 2614 | 11 | 27 1186.41/1186.84 c 1185s | 24 | 3944942 | 3816262 | 3539 2617 | 11 | 27 1188.41/1188.84 c 1187s | 24 | 3950733 | 3821962 | 3539 2620 | 11 | 27 1190.41/1190.88 c 1189s | 24 | 3956553 | 3827662 | 3539 2623 | 11 | 27 1192.51/1192.90 c 1191s | 24 | 3962336 | 3833362 | 3539 2626 | 11 | 27 1194.51/1194.93 c 1193s | 24 | 3968042 | 3838962 | 3539 2629 | 11 | 27 1196.52/1196.93 c 1195s | 24 | 3973729 | 3844562 | 3539 2632 | 11 | 27 1198.51/1198.95 c 1197s | 24 | 3979580 | 3850362 | 3539 2635 | 11 | 27 1200.51/1200.95 c 1199s | 24 | 3985914 | 3856462 | 3539 2638 | 11 | 27 1202.51/1202.96 c 1201s | 24 | 3992287 | 3862462 | 3539 2642 | 11 | 27 1204.51/1204.99 c 1203s | 24 | 3998771 | 3868562 | 3539 2645 | 11 | 27 1206.61/1207.02 c 1205s | 24 | 4004418 | 3873862 | 3539 2648 | 11 | 27 1208.61/1209.04 c 1207s | 24 | 4010143 | 3879462 | 3539 2651 | 11 | 27 1210.61/1211.05 c 1209s | 24 | 4015677 | 3884862 | 3539 2653 | 11 | 27 1212.61/1213.07 c 1211s | 24 | 4021414 | 3890462 | 3539 2656 | 11 | 27 1214.62/1215.08 c 1213s | 24 | 4027394 | 3896262 | 3539 2659 | 11 | 27 1216.62/1217.09 c 1215s | 24 | 4033109 | 3901762 | 3539 2662 | 11 | 27 1218.71/1219.10 c 1217s | 24 | 4038458 | 3906762 | 3539 2665 | 11 | 27 1220.72/1221.11 c 1219s | 24 | 4044477 | 3912562 | 3539 2668 | 11 | 27 1222.71/1223.12 c 1221s | 24 | 4050145 | 3918062 | 3539 2671 | 11 | 27 1224.71/1225.15 c 1223s | 24 | 4055763 | 3923462 | 3539 2674 | 11 | 27 1226.71/1227.16 c 1225s | 24 | 4061967 | 3929462 | 3539 2677 | 11 | 27 1228.71/1229.18 c 1227s | 24 | 4067410 | 3934762 | 3539 2680 | 11 | 27 1230.71/1231.19 c 1229s | 24 | 4073125 | 3940262 | 3539 2683 | 11 | 27 1232.72/1233.20 c 1231s | 24 | 4078798 | 3945762 | 3539 2686 | 11 | 27 1234.81/1235.20 c 1233s | 24 | 4084766 | 3951562 | 3539 2689 | 11 | 27 1236.81/1237.22 c 1235s | 24 | 4090509 | 3957162 | 3539 2692 | 11 | 27 1238.81/1239.22 c 1237s | 24 | 4096343 | 3962862 | 3539 2695 | 11 | 27 1240.81/1241.24 c 1239s | 24 | 4102227 | 3968662 | 3539 2698 | 11 | 27 1242.81/1243.27 c 1241s | 24 | 4108646 | 3974762 | 3539 2701 | 11 | 27 1244.81/1245.29 c 1243s | 24 | 4114584 | 3980362 | 3539 2704 | 11 | 27 1246.91/1247.30 c 1245s | 24 | 4120804 | 3986362 | 3539 2707 | 11 | 27 1248.91/1249.32 c 1247s | 24 | 4127287 | 3992562 | 3539 2711 | 11 | 27 1250.90/1251.34 c 1249s | 24 | 4134049 | 3998962 | 3539 2714 | 11 | 27 1252.90/1253.35 c 1251s | 24 | 4139717 | 4004462 | 3539 2717 | 11 | 27 1254.90/1255.38 c 1253s | 24 | 4145489 | 4010062 | 3539 2720 | 11 | 27 1257.01/1257.41 c 1255s | 24 | 4150936 | 4015362 | 3539 2723 | 11 | 27 1259.00/1259.43 c 1257s | 24 | 4156299 | 4020362 | 3539 2725 | 11 | 27 1261.00/1261.45 c 1259s | 24 | 4162083 | 4025862 | 3539 2728 | 11 | 27 1263.00/1263.49 c 1261s | 24 | 4167799 | 4031462 | 3539 2731 | 11 | 27 1265.10/1265.50 c 1263s | 24 | 4173419 | 4036962 | 3539 2734 | 11 | 27 1267.10/1267.51 c 1265s | 24 | 4179319 | 4042762 | 3539 2737 | 11 | 27 1269.11/1269.53 c 1267s | 24 | 4184954 | 4048262 | 3539 2740 | 11 | 27 1271.10/1271.53 c 1269s | 24 | 4191140 | 4054262 | 3539 2743 | 11 | 27 1273.10/1273.55 c 1271s | 24 | 4196366 | 4059262 | 3539 2746 | 11 | 27 1275.10/1275.59 c 1273s | 24 | 4201392 | 4064062 | 3539 2749 | 11 | 27 1277.20/1277.60 c 1275s | 24 | 4207014 | 4069562 | 3539 2751 | 11 | 27 1279.20/1279.63 c 1277s | 24 | 4212321 | 4074662 | 3539 2754 | 11 | 27 1281.21/1281.65 c 1279s | 24 | 4217794 | 4079962 | 3539 2757 | 11 | 27 1283.20/1283.65 c 1281s | 24 | 4223181 | 4085162 | 3539 2760 | 11 | 27 1285.20/1285.67 c 1283s | 24 | 4228826 | 4090662 | 3539 2763 | 11 | 27 1287.20/1287.67 c 1285s | 24 | 4234951 | 4096662 | 3539 2766 | 11 | 27 1289.20/1289.67 c 1288s | 24 | 4240767 | 4102362 | 3539 2769 | 11 | 27 1291.20/1291.67 c 1290s | 24 | 4246055 | 4107562 | 3539 2772 | 11 | 27 1293.20/1293.68 c 1292s | 24 | 4251415 | 4112762 | 3539 2774 | 11 | 27 1295.20/1295.68 c 1294s | 24 | 4257559 | 4118762 | 3539 2778 | 11 | 27 1297.30/1297.70 c 1296s | 24 | 4263391 | 4124362 | 3539 2781 | 11 | 27 1299.30/1299.73 c 1298s | 24 | 4269555 | 4130362 | 3539 2784 | 11 | 27 1301.30/1301.76 c 1300s | 24 | 4275801 | 4136462 | 3539 2787 | 11 | 27 1303.30/1303.76 c 1302s | 24 | 4281861 | 4142362 | 3539 2790 | 11 | 27 1305.31/1305.78 c 1304s | 24 | 4287696 | 4148062 | 3539 2793 | 11 | 27 1307.40/1307.80 c 1306s | 24 | 4293619 | 4153862 | 3539 2796 | 11 | 27 1309.40/1309.81 c 1308s | 24 | 4299574 | 4159662 | 3539 2799 | 11 | 27 1311.40/1311.81 c 1310s | 24 | 4305494 | 4165462 | 3539 2802 | 11 | 27 1313.40/1313.82 c 1312s | 24 | 4311724 | 4171562 | 3539 2806 | 11 | 27 1315.40/1315.84 c 1314s | 24 | 4317549 | 4177162 | 3539 2809 | 11 | 27 1317.41/1317.86 c 1316s | 24 | 4323352 | 4182762 | 3539 2812 | 11 | 27 1319.40/1319.88 c 1318s | 24 | 4329926 | 4189162 | 3539 2815 | 11 | 27 1321.50/1321.92 c 1320s | 24 | 4334860 | 4193962 | 3539 2818 | 11 | 27 1323.50/1323.95 c 1322s | 24 | 4340812 | 4199762 | 3539 2821 | 11 | 27 1325.50/1325.96 c 1324s | 24 | 4347294 | 4206062 | 3539 2824 | 11 | 27 1327.50/1327.97 c 1326s | 24 | 4353345 | 4211962 | 3539 2827 | 11 | 27 1329.50/1329.99 c 1328s | 24 | 4358919 | 4217162 | 3539 2830 | 11 | 27 1331.60/1332.01 c 1330s | 24 | 4364755 | 4222862 | 3539 2833 | 11 | 27 1333.60/1334.02 c 1332s | 24 | 4371170 | 4229062 | 3539 2836 | 11 | 27 1335.60/1336.05 c 1334s | 24 | 4376866 | 4234662 | 3539 2839 | 11 | 27 1337.60/1338.07 c 1336s | 24 | 4382782 | 4240462 | 3539 2842 | 11 | 27 1339.60/1340.09 c 1338s | 24 | 4388703 | 4246262 | 3539 2845 | 11 | 27 1341.70/1342.11 c 1340s | 24 | 4394682 | 4252162 | 3539 2848 | 11 | 27 1343.69/1344.15 c 1342s | 24 | 4400837 | 4258062 | 3539 2852 | 11 | 27 1345.69/1346.15 c 1344s | 24 | 4406692 | 4263762 | 3539 2855 | 11 | 27 1347.69/1348.18 c 1346s | 24 | 4412650 | 4269562 | 3539 2858 | 11 | 27 1349.69/1350.20 c 1348s | 24 | 4418589 | 4275362 | 3539 2861 | 11 | 27 1351.79/1352.20 c 1350s | 24 | 4424542 | 4281162 | 3539 2864 | 11 | 27 1353.80/1354.21 c 1352s | 24 | 4430741 | 4287262 | 3539 2867 | 11 | 27 1355.79/1356.23 c 1354s | 24 | 4436840 | 4293162 | 3539 2870 | 11 | 27 1357.79/1358.26 c 1356s | 24 | 4441806 | 4297962 | 3539 2873 | 11 | 27 1359.89/1360.30 c 1358s | 24 | 4447256 | 4303162 | 3539 2876 | 11 | 27 1361.89/1362.31 c 1360s | 24 | 4452915 | 4308662 | 3539 2878 | 11 | 27 1363.89/1364.32 c 1362s | 24 | 4458563 | 4314162 | 3539 2881 | 11 | 27 1365.90/1366.33 c 1364s | 24 | 4464318 | 4319762 | 3539 2884 | 11 | 27 1367.89/1368.35 c 1366s | 24 | 4470075 | 4325362 | 3539 2887 | 11 | 27 1369.89/1370.37 c 1368s | 24 | 4475391 | 4330462 | 3539 2890 | 11 | 27 1371.89/1372.40 c 1370s | 24 | 4480983 | 4335862 | 3539 2893 | 11 | 27 1373.99/1374.42 c 1372s | 24 | 4486649 | 4341362 | 3539 2896 | 11 | 27 1375.98/1376.42 c 1374s | 24 | 4492213 | 4346762 | 3539 2899 | 11 | 27 1377.99/1378.43 c 1376s | 24 | 4497804 | 4352162 | 3539 2902 | 11 | 27 1379.98/1380.44 c 1378s | 24 | 4503530 | 4357762 | 3539 2905 | 11 | 27 1381.98/1382.48 c 1380s | 24 | 4509260 | 4363362 | 3539 2908 | 11 | 27 1384.08/1384.50 c 1382s | 24 | 4515303 | 4369262 | 3539 2911 | 11 | 27 1386.08/1386.51 c 1384s | 24 | 4521213 | 4375062 | 3539 2914 | 11 | 27 1388.08/1388.52 c 1386s | 24 | 4527482 | 4381162 | 3539 2917 | 11 | 27 1390.09/1390.53 c 1388s | 24 | 4533081 | 4386662 | 3539 2920 | 11 | 27 1392.08/1392.57 c 1390s | 24 | 4538815 | 4392362 | 3539 2923 | 11 | 27 1394.08/1394.59 c 1392s | 24 | 4544098 | 4397562 | 3539 2926 | 11 | 27 1396.18/1396.60 c 1394s | 24 | 4550068 | 4403362 | 3539 2929 | 11 | 27 1398.18/1398.62 c 1396s | 24 | 4556212 | 4409362 | 3539 2932 | 11 | 27 1400.18/1400.65 c 1398s | 24 | 4562402 | 4415362 | 3539 2935 | 11 | 27 1402.18/1402.66 c 1400s | 24 | 4568846 | 4421662 | 3539 2938 | 11 | 27 1404.18/1404.67 c 1402s | 24 | 4575297 | 4427862 | 3539 2942 | 11 | 27 1406.18/1406.69 c 1405s | 24 | 4581550 | 4433962 | 3539 2945 | 11 | 27 1408.28/1408.71 c 1407s | 24 | 4587769 | 4440062 | 3539 2948 | 11 | 27 1410.28/1410.74 c 1409s | 24 | 4593554 | 4445662 | 3539 2951 | 11 | 27 1412.28/1412.74 c 1411s | 24 | 4599220 | 4451162 | 3539 2954 | 11 | 27 1414.29/1414.75 c 1413s | 24 | 4605214 | 4457062 | 3539 2957 | 11 | 27 1416.28/1416.79 c 1415s | 24 | 4611044 | 4462762 | 3539 2960 | 11 | 27 1418.38/1418.81 c 1417s | 24 | 4617094 | 4468662 | 3539 2963 | 11 | 27 1420.38/1420.84 c 1419s | 24 | 4622999 | 4474462 | 3539 2966 | 11 | 27 1422.38/1422.88 c 1421s | 24 | 4629247 | 4480362 | 3539 2970 | 11 | 27 1424.48/1424.91 c 1423s | 24 | 4635212 | 4486162 | 3539 2973 | 11 | 27 1426.48/1426.94 c 1425s | 24 | 4641345 | 4492062 | 3539 2976 | 11 | 27 1428.49/1428.97 c 1427s | 24 | 4647695 | 4498362 | 3539 2979 | 11 | 27 1430.48/1430.98 c 1429s | 24 | 4653883 | 4504462 | 3539 2982 | 11 | 27 1432.58/1433.00 c 1431s | 24 | 4659933 | 4510362 | 3539 2985 | 11 | 27 1434.58/1435.04 c 1433s | 24 | 4665971 | 4516162 | 3539 2989 | 11 | 27 1436.58/1437.06 c 1435s | 24 | 4672104 | 4522062 | 3539 2992 | 11 | 27 1438.58/1439.07 c 1437s | 24 | 4677941 | 4527562 | 3539 2995 | 11 | 27 1440.59/1441.08 c 1439s | 24 | 4683707 | 4533062 | 3539 2997 | 11 | 27 1442.68/1443.10 c 1441s | 24 | 4689736 | 4538862 | 3539 3001 | 11 | 27 1444.68/1445.14 c 1443s | 24 | 4696046 | 4544962 | 3539 3004 | 11 | 27 1446.68/1447.15 c 1445s | 24 | 4701897 | 4550662 | 3539 3007 | 11 | 27 1448.68/1449.18 c 1447s | 24 | 4708108 | 4556762 | 3539 3010 | 11 | 27 1450.68/1451.18 c 1449s | 24 | 4714208 | 4562662 | 3539 3013 | 11 | 27 1452.68/1453.18 c 1451s | 24 | 4720029 | 4568262 | 3539 3016 | 11 | 27 1454.67/1455.19 c 1453s | 24 | 4725831 | 4573962 | 3539 3019 | 11 | 27 1456.67/1457.19 c 1455s | 24 | 4732017 | 4579862 | 3539 3022 | 11 | 27 1458.77/1459.20 c 1457s | 24 | 4738160 | 4585762 | 3539 3025 | 11 | 27 1460.77/1461.22 c 1459s | 24 | 4744157 | 4591462 | 3539 3029 | 11 | 27 1462.77/1463.25 c 1461s | 24 | 4750304 | 4597362 | 3539 3032 | 11 | 27 1464.78/1465.26 c 1463s | 24 | 4756150 | 4602862 | 3539 3035 | 11 | 27 1466.77/1467.28 c 1465s | 24 | 4761956 | 4608562 | 3539 3038 | 11 | 27 1468.87/1469.30 c 1467s | 24 | 4767806 | 4614162 | 3539 3041 | 11 | 27 1470.87/1471.31 c 1469s | 24 | 4773748 | 4619962 | 3539 3044 | 11 | 27 1472.87/1473.31 c 1471s | 24 | 4779931 | 4625962 | 3539 3047 | 11 | 27 1474.87/1475.33 c 1473s | 24 | 4786184 | 4632062 | 3539 3050 | 11 | 27 1476.88/1477.34 c 1475s | 24 | 4792770 | 4638462 | 3539 3053 | 11 | 27 1478.87/1479.37 c 1477s | 24 | 4798813 | 4644362 | 3539 3057 | 11 | 27 1480.87/1481.39 c 1479s | 24 | 4804725 | 4649962 | 3539 3060 | 11 | 27 1482.87/1483.39 c 1481s | 24 | 4810965 | 4655962 | 3539 3063 | 11 | 27 1484.97/1485.41 c 1483s | 24 | 4816888 | 4661662 | 3539 3066 | 11 | 27 1486.97/1487.43 c 1485s | 24 | 4823077 | 4667562 | 3539 3069 | 11 | 27 1488.97/1489.44 c 1487s | 24 | 4829211 | 4673362 | 3539 3072 | 11 | 27 1490.97/1491.45 c 1489s | 24 | 4835615 | 4679562 | 3539 3075 | 11 | 27 1492.97/1493.48 c 1491s | 24 | 4841646 | 4685362 | 3539 3078 | 11 | 27 1494.97/1495.49 c 1493s | 24 | 4847625 | 4691262 | 3539 3082 | 11 | 27 1497.07/1497.51 c 1495s | 24 | 4853279 | 4696762 | 3539 3084 | 11 | 27 1499.07/1499.51 c 1497s | 24 | 4859216 | 4702562 | 3539 3088 | 11 | 27 1501.07/1501.52 c 1499s | 24 | 4864673 | 4707862 | 3539 3090 | 11 | 27 1503.07/1503.53 c 1501s | 24 | 4870972 | 4713962 | 3539 3094 | 11 | 27 1505.06/1505.53 c 1503s | 24 | 4876891 | 4719762 | 3539 3097 | 11 | 27 1507.06/1507.54 c 1505s | 24 | 4882941 | 4725662 | 3539 3100 | 11 | 27 1509.06/1509.57 c 1507s | 24 | 4888728 | 4731262 | 3539 3103 | 11 | 27 1511.07/1511.58 c 1509s | 24 | 4894582 | 4736962 | 3539 3106 | 11 | 27 1513.06/1513.59 c 1511s | 24 | 4900272 | 4742462 | 3539 3109 | 11 | 27 1515.16/1515.61 c 1513s | 24 | 4906035 | 4748062 | 3539 3112 | 11 | 27 1517.16/1517.62 c 1515s | 24 | 4911572 | 4753462 | 3539 3115 | 11 | 27 1519.16/1519.66 c 1517s | 24 | 4917105 | 4758862 | 3539 3117 | 11 | 27 1521.16/1521.67 c 1519s | 24 | 4922541 | 4764162 | 3539 3120 | 11 | 27 1523.26/1523.70 c 1522s | 24 | 4928472 | 4769962 | 3539 3123 | 11 | 27 1525.27/1525.71 c 1524s | 24 | 4934547 | 4775862 | 3539 3127 | 11 | 27 1527.26/1527.72 c 1526s | 24 | 4940613 | 4781762 | 3539 3130 | 11 | 27 1529.26/1529.73 c 1528s | 24 | 4946876 | 4787862 | 3539 3133 | 11 | 27 1531.26/1531.75 c 1530s | 24 | 4952933 | 4793762 | 3539 3136 | 11 | 27 1533.26/1533.78 c 1532s | 24 | 4958863 | 4799562 | 3539 3139 | 11 | 27 1535.36/1535.80 c 1534s | 24 | 4964775 | 4805362 | 3539 3142 | 11 | 27 1537.37/1537.82 c 1536s | 24 | 4970120 | 4810562 | 3539 3145 | 11 | 27 1539.36/1539.83 c 1538s | 24 | 4975809 | 4816162 | 3539 3148 | 11 | 27 1541.36/1541.86 c 1540s | 24 | 4981937 | 4822062 | 3539 3151 | 11 | 27 1543.36/1543.89 c 1542s | 24 | 4988029 | 4827962 | 3539 3154 | 11 | 27 1545.46/1545.91 c 1544s | 24 | 4994069 | 4833862 | 3539 3157 | 11 | 27 1547.46/1547.93 c 1546s | 24 | 5000333 | 4839962 | 3539 3161 | 11 | 27 1549.46/1549.96 c 1548s | 24 | 5006089 | 4845562 | 3539 3164 | 11 | 27 1551.46/1551.97 c 1550s | 24 | 5012298 | 4851662 | 3539 3167 | 11 | 27 1553.45/1553.98 c 1552s | 24 | 5018335 | 4857562 | 3539 3170 | 11 | 27 1555.55/1556.01 c 1554s | 24 | 5024339 | 4863362 | 3539 3173 | 11 | 27 1557.55/1558.02 c 1556s | 24 | 5030364 | 4869262 | 3539 3176 | 11 | 27 1559.55/1560.02 c 1558s | 24 | 5036315 | 4875062 | 3539 3179 | 11 | 27 1561.56/1562.04 c 1560s | 24 | 5042489 | 4881062 | 3539 3182 | 11 | 27 1563.56/1564.05 c 1562s | 24 | 5048452 | 4886862 | 3539 3185 | 11 | 27 1565.56/1566.07 c 1564s | 24 | 5054603 | 4892862 | 3539 3189 | 11 | 27 1567.66/1568.10 c 1566s | 24 | 5060868 | 4898962 | 3539 3192 | 11 | 27 1569.66/1570.12 c 1568s | 24 | 5066893 | 4904762 | 3539 3195 | 11 | 27 1571.66/1572.13 c 1570s | 24 | 5073066 | 4910762 | 3539 3198 | 11 | 27 1573.67/1574.18 c 1572s | 24 | 5078906 | 4916462 | 3539 3201 | 11 | 27 1575.76/1576.21 c 1574s | 24 | 5084542 | 4921862 | 3539 3204 | 11 | 27 1577.76/1578.24 c 1576s | 24 | 5090335 | 4927262 | 3539 3207 | 11 | 27 1579.76/1580.25 c 1578s | 24 | 5096178 | 4932962 | 3539 3210 | 11 | 27 1581.76/1582.28 c 1580s | 24 | 5102177 | 4938762 | 3539 3213 | 11 | 27 1583.86/1584.30 c 1582s | 24 | 5107976 | 4944362 | 3539 3216 | 11 | 27 1585.86/1586.31 c 1584s | 24 | 5114114 | 4950362 | 3539 3219 | 11 | 27 1587.86/1588.33 c 1586s | 24 | 5120250 | 4956362 | 3539 3222 | 11 | 27 1589.86/1590.35 c 1588s | 24 | 5126433 | 4962362 | 3539 3226 | 11 | 27 1591.86/1592.37 c 1590s | 24 | 5132855 | 4968562 | 3539 3229 | 11 | 27 1593.95/1594.40 c 1592s | 24 | 5139031 | 4974562 | 3539 3232 | 11 | 27 1595.95/1596.41 c 1594s | 24 | 5144440 | 4979762 | 3539 3235 | 11 | 27 1597.96/1598.44 c 1596s | 24 | 5150567 | 4985762 | 3539 3238 | 11 | 27 1599.95/1600.44 c 1598s | 24 | 5156323 | 4991362 | 3539 3241 | 11 | 27 1601.96/1602.47 c 1600s | 24 | 5161763 | 4996562 | 3539 3244 | 11 | 27 1603.95/1604.48 c 1602s | 24 | 5167477 | 5002062 | 3539 3247 | 11 | 27 1606.05/1606.50 c 1604s | 24 | 5173196 | 5007662 | 3539 3250 | 11 | 27 1608.05/1608.54 c 1606s | 24 | 5178972 | 5013262 | 3539 3253 | 11 | 27 1610.06/1610.59 c 1608s | 24 | 5184703 | 5018762 | 3539 3255 | 11 | 27 1612.05/1612.59 c 1610s | 24 | 5190425 | 5024362 | 3539 3258 | 11 | 27 1614.15/1614.63 c 1612s | 24 | 5196050 | 5029862 | 3893 3261 | 11 | 27 1616.15/1616.65 c 1614s | 24 | 5201937 | 5035562 | 3893 3264 | 11 | 27 1618.15/1618.69 c 1617s | 24 | 5207358 | 5040862 | 3893 3266 | 11 | 27 1620.25/1620.70 c 1619s | 24 | 5213017 | 5046262 | 3893 3269 | 11 | 27 1622.24/1622.71 c 1621s | 24 | 5218396 | 5051462 | 3893 3272 | 11 | 27 1624.25/1624.72 c 1623s | 24 | 5223859 | 5056762 | 3893 3274 | 11 | 27 1626.24/1626.73 c 1625s | 24 | 5229606 | 5062262 | 3893 3277 | 11 | 27 1627.24/1627.74 c 1626s | 25 | 5232518 | 5065098 | 3893 3278 | 11 | 27 1629.24/1629.74 c 1628s | 25 | 5239524 | 5071898 | 3893 3281 | 11 | 27 1631.24/1631.76 c 1630s | 25 | 5246414 | 5078598 | 3893 3285 | 11 | 27 1633.24/1633.77 c 1632s | 25 | 5252908 | 5084998 | 3893 3288 | 11 | 27 1635.25/1635.77 c 1634s | 25 | 5259852 | 5091798 | 3893 3291 | 11 | 27 1637.35/1637.80 c 1636s | 25 | 5266950 | 5098698 | 3893 3295 | 11 | 27 1639.35/1639.82 c 1638s | 25 | 5273631 | 5105198 | 3893 3298 | 11 | 27 1641.35/1641.85 c 1640s | 25 | 5279650 | 5111098 | 3893 3301 | 11 | 27 1643.35/1643.87 c 1642s | 25 | 5286471 | 5117798 | 3893 3304 | 11 | 27 1645.35/1645.89 c 1644s | 25 | 5292730 | 5123998 | 3893 3307 | 11 | 27 1647.46/1647.91 c 1646s | 25 | 5299117 | 5130198 | 3893 3310 | 11 | 27 1649.45/1649.92 c 1648s | 25 | 5305404 | 5136398 | 3893 3313 | 11 | 27 1651.45/1651.93 c 1650s | 25 | 5310891 | 5141698 | 3893 3316 | 11 | 27 1653.45/1653.96 c 1652s | 25 | 5316703 | 5147298 | 3893 3318 | 11 | 27 1655.45/1655.97 c 1654s | 25 | 5322953 | 5153298 | 3893 3321 | 11 | 27 1657.55/1658.01 c 1656s | 25 | 5329499 | 5159698 | 3893 3324 | 11 | 27 1659.55/1660.01 c 1658s | 25 | 5336008 | 5165898 | 3893 3327 | 11 | 27 1661.55/1662.06 c 1660s | 25 | 5342213 | 5171898 | 3893 3330 | 11 | 27 1663.55/1664.07 c 1662s | 25 | 5348902 | 5178398 | 3893 3333 | 11 | 27 1665.54/1666.08 c 1664s | 25 | 5354634 | 5183898 | 3893 3336 | 11 | 27 1667.54/1668.09 c 1666s | 25 | 5360013 | 5188898 | 3893 3338 | 11 | 27 1669.64/1670.10 c 1668s | 25 | 5365902 | 5194498 | 3893 3341 | 11 | 27 1671.65/1672.12 c 1670s | 25 | 5372292 | 5200698 | 3893 3344 | 11 | 27 1673.64/1674.15 c 1672s | 25 | 5378164 | 5206298 | 3893 3347 | 11 | 27 1675.64/1676.16 c 1674s | 25 | 5384790 | 5212798 | 3893 3350 | 11 | 27 1677.64/1678.18 c 1676s | 25 | 5390623 | 5218398 | 3893 3353 | 11 | 27 1679.74/1680.20 c 1678s | 25 | 5397122 | 5224698 | 3893 3356 | 11 | 27 1681.74/1682.21 c 1680s | 25 | 5403055 | 5230498 | 3893 3359 | 11 | 27 1683.75/1684.22 c 1682s | 25 | 5410060 | 5237298 | 3893 3362 | 11 | 27 1685.74/1686.25 c 1684s | 25 | 5416874 | 5243898 | 3893 3365 | 11 | 27 1687.74/1688.27 c 1686s | 25 | 5421890 | 5248598 | 3893 3368 | 11 | 27 1689.74/1690.29 c 1688s | 25 | 5428515 | 5254998 | 3893 3371 | 11 | 27 1691.74/1692.29 c 1690s | 25 | 5434224 | 5260398 | 3893 3373 | 11 | 27 1693.74/1694.29 c 1692s | 25 | 5440934 | 5266898 | 3893 3377 | 11 | 27 1695.74/1696.30 c 1694s | 25 | 5447220 | 5272998 | 3893 3380 | 11 | 27 1697.83/1698.33 c 1696s | 25 | 5453854 | 5279498 | 3893 3383 | 11 | 27 1699.83/1700.35 c 1698s | 25 | 5460370 | 5285898 | 3893 3386 | 11 | 27 1701.83/1702.36 c 1700s | 25 | 5466580 | 5291998 | 3893 3389 | 11 | 27 1703.83/1704.39 c 1702s | 25 | 5473946 | 5299198 | 3893 3392 | 11 | 27 1705.93/1706.43 c 1704s | 25 | 5480220 | 5305298 | 3893 3395 | 11 | 27 1707.94/1708.45 c 1706s | 25 | 5486888 | 5311798 | 3893 3398 | 11 | 27 1709.93/1710.47 c 1708s | 25 | 5493335 | 5318098 | 3893 3401 | 11 | 27 1711.93/1712.49 c 1710s | 25 | 5500183 | 5324798 | 3893 3405 | 11 | 27 1714.03/1714.55 c 1712s | 25 | 5506119 | 5330598 | 3893 3408 | 11 | 27 1716.03/1716.57 c 1714s | 25 | 5511861 | 5336198 | 3893 3410 | 11 | 27 1718.03/1718.59 c 1716s | 25 | 5517560 | 5341798 | 3893 3413 | 11 | 27 1720.13/1720.61 c 1718s | 25 | 5524416 | 5348498 | 3893 3416 | 11 | 27 1722.14/1722.61 c 1720s | 25 | 5531365 | 5355298 | 3893 3420 | 11 | 27 1724.13/1724.62 c 1722s | 25 | 5537886 | 5361698 | 3893 3423 | 11 | 27 1726.13/1726.65 c 1724s | 25 | 5544200 | 5367798 | 3893 3426 | 11 | 27 1728.13/1728.65 c 1726s | 25 | 5549892 | 5373398 | 3893 3428 | 11 | 27 1730.13/1730.68 c 1729s | 25 | 5556917 | 5380298 | 3893 3432 | 11 | 27 1732.23/1732.70 c 1731s | 25 | 5563859 | 5386998 | 3893 3435 | 11 | 27 1734.24/1734.70 c 1733s | 25 | 5570399 | 5393398 | 3893 3438 | 11 | 27 1736.23/1736.72 c 1735s | 25 | 5576856 | 5399698 | 3893 3441 | 11 | 27 1738.23/1738.72 c 1737s | 25 | 5583001 | 5405698 | 3893 3444 | 11 | 27 1740.23/1740.74 c 1739s | 25 | 5589162 | 5411698 | 3893 3447 | 11 | 27 1742.23/1742.77 c 1741s | 25 | 5595054 | 5417498 | 3893 3450 | 11 | 27 1744.23/1744.79 c 1743s | 25 | 5601766 | 5423998 | 3893 3453 | 11 | 27 1746.33/1746.81 c 1745s | 25 | 5608942 | 5430998 | 3893 3456 | 11 | 27 1748.33/1748.84 c 1747s | 25 | 5616046 | 5437998 | 3893 3460 | 11 | 27 1750.32/1750.86 c 1749s | 25 | 5622054 | 5443898 | 3893 3463 | 11 | 27 1752.32/1752.87 c 1751s | 25 | 5628390 | 5449998 | 3893 3466 | 11 | 27 1754.32/1754.88 c 1753s | 25 | 5634918 | 5456398 | 3893 3469 | 11 | 27 1756.42/1756.90 c 1755s | 25 | 5640566 | 5461898 | 3893 3471 | 11 | 27 1758.43/1758.94 c 1757s | 25 | 5646889 | 5467998 | 3893 3474 | 11 | 27 1760.43/1760.95 c 1759s | 25 | 5652730 | 5473698 | 3893 3477 | 11 | 27 1762.43/1762.95 c 1761s | 25 | 5658406 | 5479198 | 3893 3480 | 11 | 27 1764.43/1764.99 c 1763s | 25 | 5664835 | 5485498 | 3893 3483 | 11 | 27 1766.43/1766.99 c 1765s | 25 | 5670666 | 5491198 | 3893 3486 | 11 | 27 1768.53/1769.02 c 1767s | 25 | 5676617 | 5496998 | 3893 3488 | 11 | 27 1770.54/1771.02 c 1769s | 25 | 5682860 | 5503098 | 3893 3491 | 11 | 27 1772.53/1773.05 c 1771s | 25 | 5689432 | 5509498 | 3893 3495 | 11 | 27 1774.53/1775.06 c 1773s | 25 | 5696523 | 5516398 | 3893 3498 | 11 | 27 1776.53/1777.08 c 1775s | 25 | 5703003 | 5522798 | 3893 3501 | 11 | 27 1778.53/1779.09 c 1777s | 25 | 5710464 | 5530098 | 3893 3505 | 11 | 27 1780.63/1781.11 c 1779s | 25 | 5716223 | 5535698 | 3893 3507 | 11 | 27 1782.64/1783.14 c 1781s | 25 | 5722111 | 5541498 | 3893 3510 | 11 | 27 1784.63/1785.15 c 1783s | 25 | 5727907 | 5547098 | 3893 3513 | 11 | 27 1786.63/1787.18 c 1785s | 25 | 5733555 | 5552498 | 3893 3515 | 11 | 27 1788.63/1789.18 c 1787s | 25 | 5739809 | 5558598 | 3893 3518 | 11 | 27 1790.63/1791.19 c 1789s | 25 | 5745631 | 5564198 | 3893 3521 | 11 | 27 1792.73/1793.21 c 1791s | 25 | 5751643 | 5569998 | 3893 3524 | 11 | 27 1794.73/1795.23 c 1793s | 25 | 5757469 | 5575498 | 3893 3527 | 11 | 27 1796.72/1797.28 c 1795s | 25 | 5763193 | 5580998 | 3893 3529 | 11 | 27 1798.82/1799.33 c 1797s | 25 | 5767442 | 5584998 | 3893 3531 | 11 | 27
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-4106487-1466272496/watcher-4106487-1466272496 -o /tmp/evaluation-result-4106487-1466272496/solver-4106487-1466272496 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106487-1466272496.opb pid=8968 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.22 2.16 2.10 3/179 8971 /proc/meminfo: memFree=30089168/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=730556 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 2727 0 0 0 0 0 0 0 20 0 4 0 29295031 748089344 3087 33554432000 4194304 16246674 140734785752832 140734785752256 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 183407 3098 441 2943 0 180301 0 [pid=8971/tid=8972] ppid=8968 vsize=748988 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 766963712 3158 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=753084 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 771158016 3176 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=758204 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29295032 776400896 3193 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100154 s] /proc/loadavg: 2.22 2.16 2.10 3/179 8971 /proc/meminfo: memFree=30089168/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 21247 0 0 0 6 3 0 0 20 0 4 0 29295031 1247350784 21595 33554432000 4194304 16246674 140734785752832 140734785752256 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 304529 21599 758 2943 0 301423 0 [pid=8971/tid=8972] ppid=8968 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1247350784 21603 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1247350784 21607 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29295032 1247350784 21612 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200513 s] /proc/loadavg: 2.22 2.16 2.10 3/179 8971 /proc/meminfo: memFree=30089168/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 38719 0 0 0 14 5 0 0 20 0 4 0 29295031 1247350784 39067 33554432000 4194304 16246674 140734785752832 140734785752256 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 304529 39074 765 2943 0 301423 0 [pid=8971/tid=8972] ppid=8968 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1247350784 39079 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1247350784 39083 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29295032 1247350784 39087 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300476 s] /proc/loadavg: 2.22 2.16 2.10 3/179 8971 /proc/meminfo: memFree=30089168/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 58442 0 0 0 22 7 0 0 20 0 4 0 29295031 1247350784 58790 33554432000 4194304 16246674 140734785752832 140734785752256 5602147 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 304529 58799 765 2943 0 301423 0 [pid=8971/tid=8972] ppid=8968 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1247350784 58807 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1247350784 58813 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29295032 1247350784 58815 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700395 s] /proc/loadavg: 2.22 2.16 2.10 3/179 8971 /proc/meminfo: memFree=30089168/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 117670 0 0 0 53 16 0 0 20 0 4 0 29295031 1247350784 118018 33554432000 4194304 16246674 140734785752832 140734785734720 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 304529 118024 765 2943 0 301423 0 [pid=8971/tid=8972] ppid=8968 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1247350784 118028 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1247350784 118032 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29295032 1247350784 118035 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.22 2.16 2.10 3/183 8975 /proc/meminfo: memFree=29390364/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1218116 CPUtime=1.49 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 243938 0 0 0 117 32 0 0 20 0 4 0 29295031 1247350784 244286 33554432000 4194304 16246674 140734785752832 140734785734720 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 304529 244297 766 2943 0 301423 0 [pid=8971/tid=8972] ppid=8968 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1247350784 244302 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1247350784 244305 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29295032 1247350784 244311 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10041 s] /proc/loadavg: 2.22 2.16 2.10 4/183 8975 /proc/meminfo: memFree=29105032/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1305156 CPUtime=3.09 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 267132 0 0 0 274 35 0 0 20 0 4 0 29295031 1336479744 267457 33554432000 4194304 16246674 140734785752832 140734785734720 6021007 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 326289 267457 852 2943 0 323183 0 [pid=8971/tid=8972] ppid=8968 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1336479744 267457 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1336479744 267457 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29295032 1336479744 267457 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1305156 [startup+6.30037 s] /proc/loadavg: 2.28 2.18 2.11 3/183 8975 /proc/meminfo: memFree=29017764/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1308228 CPUtime=6.29 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 267959 0 0 0 594 35 0 0 20 0 4 0 29295031 1339625472 268284 33554432000 4194304 16246674 140734785752832 140734785735832 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 327057 268284 854 2943 0 323951 0 [pid=8971/tid=8972] ppid=8968 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1339625472 268284 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1339625472 268284 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29295032 1339625472 268284 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.26 2.17 2.11 3/183 8975 /proc/meminfo: memFree=29015144/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1308228 CPUtime=12.69 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 268156 0 0 0 1234 35 0 0 20 0 4 0 29295031 1339625472 268481 33554432000 4194304 16246674 140734785752832 140734785734720 13943604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 327057 268481 854 2943 0 323951 0 [pid=8971/tid=8972] ppid=8968 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1339625472 268481 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1339625472 268481 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29295032 1339625472 268481 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.20 2.16 2.11 3/183 8975 /proc/meminfo: memFree=29016176/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1308228 CPUtime=25.48 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 268157 0 0 0 2513 35 0 0 20 0 4 0 29295031 1339625472 268482 33554432000 4194304 16246674 140734785752832 140734785734720 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 327057 268482 855 2943 0 323951 0 [pid=8971/tid=8972] ppid=8968 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1339625472 268482 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1339625472 268482 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29295032 1339625472 268482 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.21 2.17 2.11 4/183 8975 /proc/meminfo: memFree=29014012/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1310276 CPUtime=51.08 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 268669 0 0 0 5072 36 0 0 20 0 4 0 29295031 1341722624 268994 33554432000 4194304 16246674 140734785752832 140734785734720 6013380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 327569 268994 855 2943 0 324463 0 [pid=8971/tid=8972] ppid=8968 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1341722624 268994 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1341722624 268994 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29295032 1341722624 268994 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1310276 [startup+102.301 s] /proc/loadavg: 2.16 2.15 2.10 3/183 8976 /proc/meminfo: memFree=29012924/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1311300 CPUtime=102.27 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 268938 0 0 0 10191 36 0 0 20 0 4 0 29295031 1342771200 269253 33554432000 4194304 16246674 140734785752832 140734785735824 13927345 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 327825 269253 855 2943 0 324719 0 [pid=8971/tid=8972] ppid=8968 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1342771200 269253 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1342771200 269253 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29295032 1342771200 269253 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1311300 ################ # More data... # ################ /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271382 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1320516 [startup+1362.3 s] /proc/loadavg: 2.23 2.18 2.11 4/183 9079 /proc/meminfo: memFree=29006272/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1320516 CPUtime=1361.89 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 271623 0 0 0 136140 49 0 0 20 0 4 0 29295031 1352208384 271559 33554432000 4194304 16246674 140734785752832 140734785734720 13760234 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 330129 271559 857 2943 0 327023 0 [pid=8971/tid=8972] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1320516 [startup+1422.3 s] /proc/loadavg: 2.14 2.16 2.10 3/182 9080 /proc/meminfo: memFree=29007208/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1320516 CPUtime=1421.89 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 271623 0 0 0 142139 50 0 0 20 0 4 0 29295031 1352208384 271559 33554432000 4194304 16246674 140734785752832 140734785734720 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 330129 271559 857 2943 0 327023 0 [pid=8971/tid=8972] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1320516 [startup+1482.3 s] /proc/loadavg: 2.09 2.14 2.10 3/183 9082 /proc/meminfo: memFree=29007680/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1320516 CPUtime=1481.87 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 271623 0 0 0 148137 50 0 0 20 0 4 0 29295031 1352208384 271559 33554432000 4194304 16246674 140734785752832 140734785734720 6021072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 330129 271559 857 2943 0 327023 0 [pid=8971/tid=8972] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1320516 [startup+1542.31 s] /proc/loadavg: 2.22 2.16 2.10 3/184 9086 /proc/meminfo: memFree=29007300/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1320516 CPUtime=1541.86 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 271623 0 0 0 154136 50 0 0 20 0 4 0 29295031 1352208384 271559 33554432000 4194304 16246674 140734785752832 140734785735832 6022273 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 330129 271559 857 2943 0 327023 0 [pid=8971/tid=8972] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1320516 [startup+1602.3 s] /proc/loadavg: 2.18 2.16 2.10 3/183 9087 /proc/meminfo: memFree=29007316/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1320516 CPUtime=1601.85 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 271623 0 0 0 160134 51 0 0 20 0 4 0 29295031 1352208384 271559 33554432000 4194304 16246674 140734785752832 140734785735832 5822248 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 330129 271559 857 2943 0 327023 0 [pid=8971/tid=8972] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1320516 [startup+1662.3 s] /proc/loadavg: 2.22 2.17 2.10 3/183 9088 /proc/meminfo: memFree=29007456/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1320516 CPUtime=1661.85 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 271623 0 0 0 166133 52 0 0 20 0 4 0 29295031 1352208384 271559 33554432000 4194304 16246674 140734785752832 140734785735832 5523188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 330129 271559 857 2943 0 327023 0 [pid=8971/tid=8972] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1320516 [startup+1722.3 s] /proc/loadavg: 2.29 2.20 2.11 3/183 9089 /proc/meminfo: memFree=29007460/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1320516 CPUtime=1721.83 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 271623 0 0 0 172131 52 0 0 20 0 4 0 29295031 1352208384 271559 33554432000 4194304 16246674 140734785752832 140734785734720 5711096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 330129 271559 857 2943 0 327023 0 [pid=8971/tid=8972] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1320516 [startup+1782.3 s] /proc/loadavg: 2.16 2.18 2.11 3/183 9091 /proc/meminfo: memFree=29003872/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1320516 CPUtime=1781.83 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 271623 0 0 0 178130 53 0 0 20 0 4 0 29295031 1352208384 271559 33554432000 4194304 16246674 140734785752832 140734785734720 5823408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 330129 271559 857 2943 0 327023 0 [pid=8971/tid=8972] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1320516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.12 2.16 2.10 3/183 9091 /proc/meminfo: memFree=29003880/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1320516 CPUtime=1800.02 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 271623 0 0 0 179949 53 0 0 20 0 4 0 29295031 1352208384 271559 33554432000 4194304 16246674 140734785752832 140734785734720 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 330129 271559 857 2943 0 327023 0 [pid=8971/tid=8972] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1320516 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 8971 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.12 2.16 2.10 3/183 9091 /proc/meminfo: memFree=29003880/32872528 swapFree=496868/529572 [pid=8971] ppid=8968 vsize=1320516 CPUtime=1800.02 cores=0,2,4,6 /proc/8971/stat : 8971 (toysat) R 8968 8971 7739 0 -1 4202496 271623 0 0 0 179949 53 0 0 20 0 4 0 29295031 1352208384 271559 33554432000 4194304 16246674 140734785752832 140734785734720 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8971/statm: 330129 271559 857 2943 0 327023 0 [pid=8971/tid=8972] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8972/stat : 8972 (toysat) S 8968 8971 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693171318000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8971/tid=8973] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8973/stat : 8973 (toysat) S 8968 8971 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693160828144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8971/tid=8974] ppid=8968 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8971/task/8974/stat : 8974 (toysat) S 8968 8971 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29295032 1352208384 271559 33554432000 4194304 16246674 140734785752832 140693150354608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1320516 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.5 CPU system time (s): 0.532918 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 1320516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.5 system time used= 0.532918 maximum resident set size= 1086236 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271623 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= 405 involuntary context switches= 1961 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6153 second user time and 6.90695 second system time The end
Begin job on node141 at 2016-06-18 19:54:56 IDJOB=4106487 IDBENCH=48078 IDSOLVER=2542 FILE ID=node141/4106487-1466272496 RUNJOBID= node141-1466264081-7755 PBS_JOBID= 19918217 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=19-P1=337-P2=467-P3=53-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106487-1466272496/watcher-4106487-1466272496 -o /tmp/evaluation-result-4106487-1466272496/solver-4106487-1466272496 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106487-1466272496.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1214df7607414e67bdb9a74c838a7ae9 RANDOM SEED=91956364 node141.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.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.09 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.547 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.547 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.54 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.547 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.547 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.56 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.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30089596 kB Buffers: 151928 kB Cached: 256440 kB SwapCached: 2528 kB Active: 1243312 kB Inactive: 266040 kB Active(anon): 1101340 kB Inactive(anon): 2028 kB Active(file): 141972 kB Inactive(file): 264012 kB Unevictable: 529572 kB Mlocked: 496868 kB SwapTotal: 67108856 kB SwapFree: 67099068 kB Dirty: 16328 kB Writeback: 0 kB AnonPages: 1630920 kB Mapped: 10472 kB Shmem: 0 kB Slab: 609740 kB SReclaimable: 53328 kB SUnreclaim: 556412 kB KernelStack: 1520 kB PageTables: 7248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1773948 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1060864 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= 71696 MiB End job on node141 at 2016-06-18 20:24:57