| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=487-P1=163-P2=173-P3=211-B.opb |
| MD5SUM | fb1c97600aa303ca13bb2482d5ad3e27 |
| 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.071989 |
| 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-18T18:06:40+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-4106133-1466266000.opb"] 0.00/0.01 c use --random-gen="949112727 871452651 3736319840 4190058271 3677116733 2837149718 3874416405 3321782765 1951320454 4230509978 2062631784 2139045053 2686155316 230051890 1395591670 2375978588 2948881389 2116864665 2605390688 2844521488 3717339187 2497631153 2146708386 4003894529 1840943479 111007240 895653312 1262789084 510176962 4271021244 735116080 807646473 439117857 3248812791 2331896291 3862881507 3511737079 3913281740 1625641433 3392051720 3859472511 4122900870 3785982120 2371576617 3137694880 3829544672 2456716166 160852783 3803312285 275546236 4220955565 1570290644 583752348 887609504 876716548 2898133886 1123508166 3057277336 2548494140 2904487338 29776949 3651711084 1664157862 1454290728 3168387854 1416019275 2551104459 226814819 1018415281 2966348298 3702516210 2416831421 3968098311 4097621073 827481650 2843827780 1246988747 460190550 2689841962 2063134264 1886739331 3043353507 2821803375 1071670644 1592517576 1091526239 2063403236 3044267164 3883189651 1774288430 3287294674 2776749227 2206017306 1864759043 2804761761 4230960544 4209102563 4005645080 1271355524 3336253565 2793959963 377431356 3748205902 2116438894 3838638106 1698417383 2882611312 4233835263 2384957991 376295652 1715253766 3311722043 3010075079 2614278716 155203854 2837428318 1493024984 4254012992 2597601014 2344090964 1442044705 1040384238 1337163155 281361326 2515568069 1284129679 3370330602 1073037882 3216636395 3562519703 1222892667 2416500955 3962837819 2768766596 369129796 2936334315 4218651620 4217109180 3453136063 4137060819 3188764792 3613308266 1325461182 2705338982 2953658679 3583664777 3361049552 376482639 846791423 1610447077 2752697865 959044739 2788366855 3084508189 1392038789 3704341782 1094753156 3632793789 2106863309 462215984 3810310805 1037285234 1825259504 2472297651 2692169487 1690012800 922609375 1199877062 1702286956 99448084 3152768547 3172582384 1028742598 1509402023 3524331433 1739961630 3758069660 3256699737 3985182002 2646514870 3022774786 51028278 604180650 2394164881 980716469 1328807274 1812304865 2671540178 4239423531 3129945183 1932494195 1670690747 642553182 3136650016 2119484603 57238310 2081159700 3242944642 3652441412 3645405565 1215837580 3770538453 2237893458 1852228676 647515206 4139795319 1355193007 958560899 3289767186 8764576 3919274550 3143504067 141565227 1171211528 4058646663 1500700539 1511310627 847413307 4075760433 2275931714 3641369149 2006487968 2199216144 2299003309 2349683941 3834901489 2965854150 513458593 582221671 1774724965 607825478 2253218932 2247594979 3514533659 4155773455 997042492 1820551082 3821236938 4163905504 585201540 2494749254 2598176855 457004354 2666556807 1217868991 4236579514 1428927711 2581503039 3741741237 947157900 3708141850 3826392662 1303903389 3485061186 150884063 3931187858 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.05 c 0.0s | 1 | 135 | 100 | 354 0 | 0 | 0 0.09/0.13 c 0.1s | 2 | 311 | 250 | 390 0 | 0 | 0 0.19/0.20 c 0.2s | 3 | 586 | 475 | 430 0 | 0 | 0 0.39/0.41 c 0.4s | 4 | 951 | 813 | 474 1 | 0 | 0 0.49/0.53 c 0.5s | 5 | 1491 | 1320 | 522 3 | 0 | 0 0.89/0.97 c 1.0s | 6 | 2287 | 2081 | 633 5 | 0 | 0 1.19/1.23 c 1.2s | 6 | 3267 | 2999 | 633 7 | 0 | 0 1.19/1.23 c #cpu_time = 1.208s 1.19/1.23 c #wall_clock_time = 1.214s 1.19/1.23 c #decision = 3267 1.19/1.23 c #random_decision = 17 1.19/1.23 c #conflict = 2999 1.19/1.23 c #restart = 6 1.19/1.23 o 359 1.19/1.23 c BCD2: updating upper bound: 511 -> 358 1.19/1.23 c BCD2: 0 <= obj <= 358 1.19/1.23 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 1.19/1.23 c BCD2: #sat=1 #unsat=1 bias=1/2 1.19/1.23 c Solving starts ... 1.19/1.23 c ============================[ Search Statistics ]============================ 1.19/1.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.23 c | | | | Limit GC | Var | Constra 1.19/1.23 c ============================================================================= 1.19/1.23 c 0.0s | 0 | 0 | 0 | 633 0 | 0 | 0 1.19/1.24 c 0.0s | 0 | 7 | 0 | 633 0 | 0 | 0 1.19/1.24 c #cpu_time = 0.003s 1.19/1.24 c #wall_clock_time = 0.003s 1.19/1.24 c #decision = 7 1.19/1.24 c #random_decision = 0 1.19/1.24 c #conflict = 0 1.19/1.24 c #restart = 0 1.19/1.24 c BCD2: found a new core of size 8: cost of the new core is >=2 1.19/1.24 c lower bound updated to 2 1.19/1.24 c BCD2: 2 <= obj <= 358 1.19/1.24 c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0 1.19/1.24 c BCD2: #sat=1 #unsat=2 bias=2/3 1.19/1.24 c Solving starts ... 1.19/1.24 c ============================[ Search Statistics ]============================ 1.19/1.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.24 c | | | | Limit GC | Var | Constra 1.19/1.24 c ============================================================================= 1.19/1.24 c 0.0s | 0 | 0 | 0 | 633 0 | 0 | 0 1.28/1.33 c 0.1s | 1 | 150 | 100 | 633 0 | 0 | 0 1.28/1.37 c 0.1s | 2 | 343 | 250 | 697 1 | 0 | 0 1.38/1.42 c 0.2s | 3 | 668 | 475 | 697 1 | 0 | 0 1.48/1.53 c 0.3s | 4 | 1053 | 813 | 697 2 | 0 | 0 1.78/1.85 c 0.4s | 5 | 1622 | 1320 | 697 3 | 0 | 0 1.78/1.85 c 0.5s | 6 | 2429 | 2081 | 767 5 | 0 | 0 1.98/2.01 c 0.8s | 7 | 3637 | 3223 | 767 7 | 0 | 0 2.59/2.64 c 1.4s | 8 | 5487 | 4936 | 844 10 | 0 | 0 3.09/3.17 c 1.9s | 9 | 8140 | 7506 | 844 15 | 0 | 0 4.29/4.40 c 3.2s | 10 | 12175 | 11361 | 929 21 | 0 | 0 5.69/5.73 c 4.5s | 11 | 18125 | 17144 | 1022 31 | 0 | 0 7.69/7.73 c 6.5s | 11 | 26361 | 25044 | 1125 43 | 0 | 0 7.89/7.92 c 6.7s | 12 | 27176 | 25819 | 1125 44 | 0 | 0 9.90/9.92 c 8.7s | 12 | 35992 | 34419 | 1125 57 | 0 | 0 10.89/10.99 c 9.8s | 13 | 40478 | 38832 | 1238 63 | 0 | 0 12.99/13.00 c 11.8s | 13 | 46179 | 44332 | 1238 70 | 0 | 0 14.99/15.00 c 13.8s | 13 | 54166 | 52132 | 1238 81 | 0 | 0 16.99/17.02 c 15.8s | 13 | 60199 | 58032 | 1362 88 | 0 | 0 17.09/17.10 c 15.9s | 14 | 60524 | 58352 | 1362 89 | 0 | 0 19.09/19.11 c 17.9s | 14 | 69367 | 67052 | 1362 100 | 0 | 0 21.08/21.12 c 19.9s | 14 | 77763 | 75352 | 1362 110 | 0 | 0 23.09/23.14 c 21.9s | 14 | 86003 | 83452 | 1362 120 | 0 | 0 24.08/24.19 c 22.9s | 15 | 90303 | 87632 | 1499 125 | 0 | 0 26.18/26.21 c 25.0s | 15 | 96612 | 93632 | 1499 132 | 0 | 0 28.18/28.22 c 27.0s | 15 | 104169 | 101032 | 1499 140 | 0 | 0 30.18/30.25 c 29.0s | 15 | 110198 | 106832 | 1499 147 | 0 | 0 32.18/32.27 c 31.0s | 15 | 115924 | 112332 | 1499 153 | 0 | 0 34.19/34.27 c 33.0s | 15 | 122015 | 118232 | 1499 160 | 0 | 0 36.18/36.29 c 35.1s | 15 | 128664 | 124632 | 1499 167 | 0 | 0 38.28/38.31 c 37.1s | 15 | 135015 | 130732 | 1649 174 | 0 | 0 38.58/38.61 c 37.4s | 16 | 135875 | 131552 | 1649 175 | 0 | 0 40.58/40.61 c 39.4s | 16 | 143442 | 138952 | 1649 183 | 0 | 0 42.58/42.63 c 41.4s | 16 | 150716 | 146152 | 1649 190 | 0 | 0 44.58/44.65 c 43.4s | 16 | 158377 | 153652 | 1649 198 | 0 | 0 46.58/46.67 c 45.4s | 16 | 166366 | 161052 | 1649 206 | 0 | 0 48.58/48.68 c 47.4s | 16 | 173613 | 168152 | 1649 213 | 0 | 0 50.59/50.68 c 49.4s | 16 | 180738 | 175152 | 1649 221 | 0 | 0 52.68/52.70 c 51.5s | 16 | 188602 | 182652 | 1649 229 | 0 | 0 54.68/54.72 c 53.5s | 16 | 195654 | 189652 | 1649 236 | 0 | 0 56.68/56.74 c 55.5s | 16 | 202304 | 196252 | 1814 243 | 0 | 0 56.98/57.09 c 55.9s | 17 | 203487 | 197432 | 1814 244 | 0 | 0 59.08/59.10 c 57.9s | 17 | 209715 | 203332 | 1814 250 | 0 | 0 61.08/61.10 c 59.9s | 17 | 216590 | 209932 | 1814 256 | 0 | 0 63.08/63.11 c 61.9s | 17 | 223522 | 216632 | 1814 262 | 0 | 0 65.08/65.14 c 63.9s | 17 | 229560 | 222432 | 1814 268 | 0 | 0 67.09/67.15 c 65.9s | 17 | 236310 | 229132 | 1814 274 | 0 | 0 69.08/69.16 c 67.9s | 17 | 244027 | 236732 | 1814 282 | 0 | 0 71.08/71.18 c 69.9s | 17 | 251192 | 243832 | 1814 289 | 0 | 0 73.08/73.19 c 72.0s | 17 | 256709 | 248932 | 1814 294 | 0 | 0 75.18/75.23 c 74.0s | 17 | 264287 | 256232 | 1814 301 | 0 | 0 77.18/77.23 c 76.0s | 17 | 270057 | 261832 | 1814 306 | 0 | 0 79.19/79.26 c 78.0s | 17 | 277028 | 268532 | 1814 313 | 0 | 0 81.18/81.26 c 80.0s | 17 | 283796 | 275132 | 1814 319 | 0 | 0 83.18/83.28 c 82.0s | 17 | 290789 | 281932 | 1814 326 | 0 | 0 85.28/85.30 c 84.1s | 17 | 297418 | 288232 | 1814 332 | 0 | 0 87.28/87.30 c 86.1s | 17 | 304000 | 294632 | 1996 337 | 0 | 0 87.88/87.92 c 86.7s | 18 | 305730 | 296252 | 1996 339 | 0 | 0 89.88/89.94 c 88.7s | 18 | 313498 | 303752 | 1996 345 | 0 | 0 91.88/91.95 c 90.7s | 18 | 320009 | 310152 | 1996 351 | 0 | 0 93.87/93.97 c 92.7s | 18 | 326893 | 316952 | 1996 357 | 0 | 0 95.87/95.99 c 94.8s | 18 | 333388 | 323252 | 1996 363 | 0 | 0 97.88/98.00 c 96.8s | 18 | 340056 | 329852 | 1996 369 | 0 | 0 99.97/100.02 c 98.8s | 18 | 347080 | 336752 | 1996 375 | 0 | 0 101.97/102.04 c 100s | 18 | 353643 | 343252 | 1996 381 | 0 | 0 103.97/104.08 c 102s | 18 | 359514 | 348952 | 1996 386 | 0 | 0 106.07/106.10 c 104s | 18 | 365622 | 354952 | 1996 391 | 0 | 0 108.07/108.10 c 106s | 18 | 371671 | 360852 | 1996 396 | 0 | 0 110.08/110.10 c 108s | 18 | 379052 | 368052 | 1996 403 | 0 | 0 112.07/112.11 c 110s | 18 | 386611 | 375452 | 1996 409 | 0 | 0 114.07/114.13 c 112s | 18 | 394103 | 382752 | 1996 416 | 0 | 0 116.07/116.15 c 114s | 18 | 401298 | 389852 | 1996 422 | 0 | 0 118.07/118.16 c 116s | 18 | 407740 | 395952 | 1996 428 | 0 | 0 120.07/120.18 c 118s | 18 | 414211 | 402352 | 1996 433 | 0 | 0 122.08/122.19 c 120s | 18 | 420748 | 408752 | 1996 439 | 0 | 0 124.17/124.20 c 122s | 18 | 427126 | 415052 | 1996 445 | 0 | 0 126.17/126.24 c 125s | 18 | 432652 | 420552 | 1996 450 | 0 | 0 128.17/128.25 c 127s | 18 | 438581 | 426252 | 1996 455 | 0 | 0 130.17/130.26 c 129s | 18 | 445481 | 433052 | 1996 461 | 0 | 0 132.17/132.28 c 131s | 18 | 452055 | 439552 | 2196 466 | 0 | 0 133.67/133.77 c 132s | 19 | 457128 | 444482 | 2196 470 | 0 | 0 135.67/135.79 c 134s | 19 | 463582 | 450682 | 2196 476 | 0 | 0 137.77/137.81 c 136s | 19 | 470746 | 457582 | 2196 481 | 0 | 0 139.77/139.83 c 138s | 19 | 477973 | 464582 | 2196 487 | 0 | 0 141.76/141.83 c 140s | 19 | 485359 | 471782 | 2196 493 | 0 | 0 143.76/143.85 c 142s | 19 | 492666 | 478682 | 2196 498 | 0 | 0 145.76/145.86 c 144s | 19 | 499061 | 484682 | 2196 503 | 0 | 0 147.76/147.88 c 146s | 19 | 505381 | 490782 | 2196 508 | 0 | 0 149.86/149.92 c 148s | 19 | 512764 | 497982 | 2196 514 | 0 | 0 151.87/151.92 c 150s | 19 | 519235 | 504282 | 2196 519 | 0 | 0 153.86/153.93 c 152s | 19 | 526159 | 510982 | 2196 525 | 0 | 0 155.86/155.93 c 154s | 19 | 533273 | 517682 | 2196 530 | 0 | 0 157.86/157.95 c 156s | 19 | 539616 | 523682 | 2196 535 | 0 | 0 159.86/159.96 c 158s | 19 | 545777 | 529282 | 2196 540 | 0 | 0 161.86/161.99 c 160s | 19 | 552123 | 534982 | 2196 545 | 0 | 0 163.97/164.01 c 162s | 19 | 559095 | 541682 | 2196 550 | 0 | 0 165.96/166.01 c 164s | 19 | 566371 | 548582 | 2196 556 | 0 | 0 167.96/168.03 c 166s | 19 | 573710 | 555682 | 2196 561 | 0 | 0 169.96/170.05 c 168s | 19 | 580870 | 562582 | 2196 567 | 0 | 0 171.96/172.06 c 170s | 19 | 587734 | 569282 | 2196 573 | 0 | 0 173.96/174.07 c 172s | 19 | 594631 | 575982 | 2196 578 | 0 | 0 175.97/176.09 c 174s | 19 | 601259 | 582382 | 2196 583 | 0 | 0 178.06/178.11 c 176s | 19 | 607838 | 588782 | 2196 589 | 0 | 0 180.06/180.12 c 178s | 19 | 614439 | 595182 | 2196 594 | 0 | 0 182.06/182.14 c 180s | 19 | 620745 | 601282 | 2196 599 | 0 | 0 184.06/184.15 c 182s | 19 | 627878 | 608182 | 2196 605 | 0 | 0 186.06/186.16 c 184s | 19 | 634910 | 614982 | 2196 610 | 0 | 0 188.07/188.17 c 186s | 19 | 641675 | 621582 | 2196 615 | 0 | 0 190.06/190.19 c 188s | 19 | 649415 | 629182 | 2196 622 | 0 | 0 192.16/192.20 c 190s | 19 | 656640 | 636282 | 2196 628 | 0 | 0 194.16/194.23 c 192s | 19 | 663937 | 643382 | 2196 633 | 0 | 0 196.16/196.25 c 195s | 19 | 671490 | 650782 | 2196 639 | 0 | 0 198.16/198.26 c 197s | 19 | 678416 | 657482 | 2196 645 | 0 | 0 200.17/200.29 c 199s | 19 | 684764 | 663582 | 2416 649 | 0 | 0 201.46/201.55 c 200s | 20 | 688241 | 666827 | 2416 652 | 0 | 0 203.47/203.58 c 202s | 20 | 696447 | 674827 | 2416 658 | 0 | 0 205.56/205.60 c 204s | 20 | 702933 | 681227 | 2416 663 | 0 | 0 207.56/207.62 c 206s | 20 | 709378 | 687427 | 2416 667 | 0 | 0 209.56/209.62 c 208s | 20 | 715459 | 693027 | 2416 672 | 0 | 0 211.56/211.64 c 210s | 20 | 721159 | 698527 | 2416 676 | 0 | 0 213.56/213.64 c 212s | 20 | 726751 | 703927 | 2416 680 | 0 | 0 215.56/215.64 c 214s | 20 | 732491 | 709427 | 2416 684 | 0 | 0 217.55/217.65 c 216s | 20 | 738699 | 715327 | 2416 689 | 0 | 0 219.55/219.67 c 218s | 20 | 745161 | 721627 | 2416 693 | 0 | 0 221.55/221.68 c 220s | 20 | 751504 | 727827 | 2416 698 | 0 | 0 223.55/223.69 c 222s | 20 | 757815 | 734027 | 2416 703 | 0 | 0 225.65/225.73 c 224s | 20 | 764096 | 739927 | 2416 707 | 0 | 0 227.66/227.75 c 226s | 20 | 770533 | 745827 | 2416 712 | 0 | 0 229.65/229.75 c 228s | 20 | 776770 | 751727 | 2416 716 | 0 | 0 231.65/231.77 c 230s | 20 | 782523 | 757227 | 2416 721 | 0 | 0 233.65/233.79 c 232s | 20 | 788132 | 762627 | 2416 725 | 0 | 0 235.75/235.82 c 234s | 20 | 792926 | 767227 | 2416 728 | 0 | 0 237.75/237.86 c 236s | 20 | 797936 | 772127 | 2416 732 | 0 | 0 239.76/239.87 c 238s | 20 | 804267 | 778327 | 2416 737 | 0 | 0 241.85/241.90 c 240s | 20 | 810536 | 784527 | 2416 741 | 0 | 0 243.85/243.93 c 242s | 20 | 816814 | 790727 | 2416 746 | 0 | 0 245.85/245.95 c 244s | 20 | 823960 | 797527 | 2416 751 | 0 | 0 247.85/247.97 c 246s | 20 | 831208 | 804527 | 2416 756 | 0 | 0 249.95/250.00 c 248s | 20 | 838167 | 811227 | 2416 761 | 0 | 0 251.95/252.03 c 250s | 20 | 844642 | 817527 | 2416 766 | 0 | 0 253.95/254.04 c 252s | 20 | 850716 | 823427 | 2416 771 | 0 | 0 255.95/256.04 c 254s | 20 | 856743 | 829327 | 2416 775 | 0 | 0 257.95/258.07 c 256s | 20 | 863204 | 835727 | 2416 780 | 0 | 0 259.95/260.07 c 258s | 20 | 869258 | 841727 | 2416 784 | 0 | 0 262.05/262.10 c 260s | 20 | 875002 | 847427 | 2416 789 | 0 | 0 264.05/264.11 c 262s | 20 | 881416 | 853627 | 2416 793 | 0 | 0 266.04/266.13 c 264s | 20 | 887277 | 859427 | 2416 798 | 0 | 0 268.04/268.14 c 266s | 20 | 893358 | 865427 | 2416 802 | 0 | 0 270.04/270.15 c 268s | 20 | 899220 | 871227 | 2416 806 | 0 | 0 272.04/272.16 c 270s | 20 | 905661 | 877327 | 2416 811 | 0 | 0 274.04/274.17 c 272s | 20 | 911799 | 883427 | 2416 816 | 0 | 0 276.05/276.19 c 274s | 20 | 917737 | 889327 | 2416 820 | 0 | 0 278.14/278.21 c 276s | 20 | 924621 | 896127 | 2416 825 | 0 | 0 280.14/280.23 c 278s | 20 | 931560 | 902927 | 2416 830 | 0 | 0 282.15/282.24 c 280s | 20 | 938122 | 909327 | 2416 835 | 0 | 0 284.15/284.25 c 283s | 20 | 944569 | 915627 | 2416 840 | 0 | 0 286.15/286.27 c 285s | 20 | 951128 | 922027 | 2416 845 | 0 | 0 288.15/288.30 c 287s | 20 | 957573 | 928327 | 2416 849 | 0 | 0 290.25/290.32 c 289s | 20 | 964161 | 934827 | 2416 854 | 0 | 0 292.25/292.33 c 291s | 20 | 970510 | 941127 | 2416 859 | 0 | 0 294.25/294.35 c 293s | 20 | 977245 | 947727 | 2416 864 | 0 | 0 296.24/296.37 c 295s | 20 | 983743 | 954127 | 2416 869 | 0 | 0 298.24/298.37 c 297s | 20 | 989630 | 959927 | 2416 873 | 0 | 0 300.25/300.38 c 299s | 20 | 995721 | 965927 | 2416 878 | 0 | 0 302.34/302.40 c 301s | 20 | 1001235 | 971427 | 2416 882 | 0 | 0 304.34/304.41 c 303s | 20 | 1006761 | 976927 | 2416 886 | 0 | 0 306.34/306.42 c 305s | 20 | 1012852 | 982927 | 2416 891 | 0 | 0 308.34/308.42 c 307s | 20 | 1019208 | 989127 | 2416 896 | 0 | 0 310.34/310.42 c 309s | 20 | 1025501 | 995327 | 2658 900 | 0 | 0 311.94/312.09 c 310s | 21 | 1030605 | 1000345 | 2658 903 | 0 | 0 314.04/314.14 c 312s | 21 | 1036505 | 1005845 | 2658 907 | 0 | 0 316.04/316.16 c 314s | 21 | 1042615 | 1011645 | 2658 911 | 0 | 0 318.14/318.22 c 316s | 21 | 1048833 | 1017545 | 2658 915 | 0 | 0 320.15/320.22 c 318s | 21 | 1054999 | 1023345 | 2658 919 | 0 | 0 322.14/322.23 c 320s | 21 | 1061531 | 1029545 | 2658 923 | 0 | 0 324.14/324.26 c 323s | 21 | 1068372 | 1036045 | 2658 928 | 0 | 0 326.14/326.28 c 325s | 21 | 1074692 | 1042245 | 2658 932 | 0 | 0 328.14/328.29 c 327s | 21 | 1081171 | 1048645 | 2658 937 | 0 | 0 330.24/330.31 c 329s | 21 | 1088533 | 1055645 | 2658 941 | 0 | 0 332.25/332.33 c 331s | 21 | 1095192 | 1062145 | 2658 946 | 0 | 0 334.24/334.37 c 333s | 21 | 1101861 | 1068745 | 2658 950 | 0 | 0 336.24/336.37 c 335s | 21 | 1108340 | 1074945 | 2658 955 | 0 | 0 338.24/338.38 c 337s | 21 | 1114687 | 1081145 | 2658 959 | 0 | 0 340.24/340.39 c 339s | 21 | 1121144 | 1087445 | 2658 963 | 0 | 0 342.24/342.39 c 341s | 21 | 1127944 | 1094145 | 2658 968 | 0 | 0 344.24/344.40 c 343s | 21 | 1134950 | 1101045 | 2658 973 | 0 | 0 346.33/346.42 c 345s | 21 | 1142264 | 1108145 | 2658 978 | 0 | 0 348.33/348.45 c 347s | 21 | 1149099 | 1114845 | 2658 982 | 0 | 0 350.33/350.47 c 349s | 21 | 1155344 | 1120945 | 2658 986 | 0 | 0 352.33/352.48 c 351s | 21 | 1162309 | 1127745 | 2658 991 | 0 | 0 354.33/354.49 c 353s | 21 | 1168897 | 1134045 | 2658 995 | 0 | 0 356.44/356.52 c 355s | 21 | 1175283 | 1140045 | 2658 999 | 0 | 0 358.43/358.54 c 357s | 21 | 1182103 | 1146745 | 2658 1004 | 0 | 0 360.43/360.55 c 359s | 21 | 1189142 | 1153645 | 2658 1009 | 0 | 0 362.53/362.60 c 361s | 21 | 1195708 | 1159945 | 2658 1013 | 0 | 0 364.53/364.62 c 363s | 21 | 1202346 | 1166345 | 2658 1018 | 0 | 0 366.53/366.65 c 365s | 21 | 1208312 | 1172045 | 2658 1022 | 0 | 0 368.54/368.66 c 367s | 21 | 1214643 | 1178145 | 2658 1026 | 0 | 0 370.53/370.69 c 369s | 21 | 1220567 | 1183545 | 2658 1029 | 0 | 0 372.53/372.69 c 371s | 21 | 1226455 | 1189245 | 2658 1033 | 0 | 0 374.63/374.72 c 373s | 21 | 1233182 | 1195745 | 2658 1038 | 0 | 0 376.63/376.75 c 375s | 21 | 1239263 | 1201645 | 2658 1042 | 0 | 0 378.63/378.78 c 377s | 21 | 1245815 | 1207945 | 2658 1046 | 0 | 0 380.63/380.78 c 379s | 21 | 1252004 | 1213845 | 2658 1050 | 0 | 0 382.62/382.80 c 381s | 21 | 1257721 | 1219245 | 2658 1054 | 0 | 0 384.73/384.82 c 383s | 21 | 1263358 | 1224445 | 2658 1058 | 0 | 0 386.73/386.82 c 385s | 21 | 1268691 | 1229445 | 2658 1061 | 0 | 0 388.73/388.86 c 387s | 21 | 1273276 | 1233845 | 2658 1064 | 0 | 0 390.83/390.90 c 389s | 21 | 1278900 | 1239245 | 2658 1068 | 0 | 0 392.83/392.92 c 391s | 21 | 1284981 | 1245045 | 2658 1072 | 0 | 0 394.84/394.94 c 393s | 21 | 1291075 | 1250845 | 2658 1076 | 0 | 0 396.83/396.97 c 395s | 21 | 1296673 | 1256145 | 2658 1080 | 0 | 0 398.83/398.98 c 397s | 21 | 1302533 | 1261745 | 2658 1083 | 0 | 0 400.83/400.99 c 399s | 21 | 1309485 | 1268445 | 2658 1088 | 0 | 0 402.93/403.00 c 401s | 21 | 1316023 | 1274845 | 2658 1092 | 0 | 0 404.93/405.01 c 403s | 21 | 1322415 | 1281045 | 2658 1097 | 0 | 0 406.93/407.01 c 405s | 21 | 1328115 | 1286545 | 2658 1101 | 0 | 0 408.93/409.04 c 407s | 21 | 1334458 | 1292745 | 2658 1105 | 0 | 0 410.92/411.05 c 409s | 21 | 1340594 | 1298645 | 2658 1109 | 0 | 0 412.92/413.06 c 411s | 21 | 1346544 | 1304345 | 2658 1113 | 0 | 0 415.02/415.10 c 413s | 21 | 1352741 | 1310345 | 2658 1117 | 0 | 0 417.02/417.11 c 415s | 21 | 1359001 | 1316345 | 2658 1121 | 0 | 0 419.03/419.13 c 417s | 21 | 1365504 | 1322445 | 2658 1125 | 0 | 0 421.02/421.15 c 419s | 21 | 1371221 | 1327945 | 2658 1129 | 0 | 0 423.02/423.15 c 421s | 21 | 1377016 | 1333545 | 2658 1133 | 0 | 0 425.12/425.20 c 423s | 21 | 1382741 | 1338945 | 2658 1137 | 0 | 0 427.12/427.23 c 425s | 21 | 1388335 | 1344345 | 2658 1141 | 0 | 0 429.12/429.25 c 428s | 21 | 1394049 | 1349745 | 2658 1144 | 0 | 0 431.13/431.26 c 430s | 21 | 1400095 | 1355545 | 2658 1148 | 0 | 0 433.12/433.28 c 432s | 21 | 1407144 | 1362445 | 2658 1153 | 0 | 0 435.22/435.31 c 434s | 21 | 1413616 | 1368745 | 2658 1157 | 0 | 0 437.22/437.32 c 436s | 21 | 1420481 | 1375245 | 2658 1162 | 0 | 0 439.22/439.32 c 438s | 21 | 1427694 | 1382245 | 2658 1167 | 0 | 0 441.22/441.37 c 440s | 21 | 1434564 | 1388745 | 2658 1171 | 0 | 0 443.22/443.38 c 442s | 21 | 1440805 | 1394845 | 2658 1175 | 0 | 0 445.22/445.39 c 444s | 21 | 1446977 | 1400845 | 2658 1180 | 0 | 0 447.32/447.41 c 446s | 21 | 1453493 | 1407045 | 2658 1184 | 0 | 0 449.32/449.45 c 448s | 21 | 1459728 | 1412945 | 2658 1188 | 0 | 0 451.31/451.45 c 450s | 21 | 1466128 | 1419145 | 2658 1192 | 0 | 0 453.31/453.46 c 452s | 21 | 1471949 | 1424745 | 2658 1196 | 0 | 0 455.32/455.48 c 454s | 21 | 1478159 | 1430645 | 2658 1200 | 0 | 0 457.41/457.50 c 456s | 21 | 1484633 | 1436845 | 2658 1204 | 0 | 0 459.41/459.51 c 458s | 21 | 1491176 | 1443145 | 2658 1209 | 0 | 0 461.41/461.55 c 460s | 21 | 1498694 | 1450445 | 2658 1214 | 0 | 0 463.41/463.57 c 462s | 21 | 1505655 | 1456845 | 2658 1218 | 0 | 0 465.41/465.58 c 464s | 21 | 1512672 | 1463545 | 2658 1223 | 0 | 0 467.42/467.58 c 466s | 21 | 1518705 | 1469045 | 2658 1227 | 0 | 0 469.51/469.60 c 468s | 21 | 1524441 | 1474345 | 2658 1230 | 0 | 0 471.51/471.66 c 470s | 21 | 1530450 | 1480045 | 2658 1234 | 0 | 0 473.51/473.67 c 472s | 21 | 1536003 | 1485445 | 2658 1238 | 0 | 0 475.51/475.68 c 474s | 21 | 1542582 | 1491945 | 2924 1242 | 0 | 0 477.51/477.68 c 476s | 21 | 1549030 | 1498245 | 2924 1246 | 0 | 0 478.31/478.50 c 477s | 22 | 1551436 | 1500622 | 2924 1248 | 0 | 0 480.42/480.50 c 479s | 22 | 1558607 | 1507722 | 2924 1252 | 0 | 0 482.42/482.52 c 481s | 22 | 1565325 | 1514322 | 2924 1256 | 0 | 0 484.42/484.53 c 483s | 22 | 1571905 | 1520822 | 2924 1260 | 0 | 0 486.42/486.54 c 485s | 22 | 1578555 | 1527422 | 2924 1265 | 0 | 0 488.42/488.55 c 487s | 22 | 1585226 | 1534022 | 2924 1269 | 0 | 0 490.41/490.57 c 489s | 22 | 1592198 | 1540822 | 2924 1273 | 0 | 0 492.41/492.57 c 491s | 22 | 1598685 | 1547222 | 2924 1277 | 0 | 0 494.41/494.58 c 493s | 22 | 1605496 | 1553922 | 2924 1281 | 0 | 0 496.51/496.60 c 495s | 22 | 1611809 | 1560122 | 2924 1285 | 0 | 0 498.51/498.62 c 497s | 22 | 1617742 | 1565922 | 2924 1289 | 0 | 0 500.52/500.65 c 499s | 22 | 1624278 | 1572322 | 2924 1293 | 0 | 0 502.51/502.66 c 501s | 22 | 1630326 | 1578222 | 2924 1297 | 0 | 0 504.51/504.68 c 503s | 22 | 1636251 | 1584022 | 2924 1301 | 0 | 0 506.61/506.70 c 505s | 22 | 1642304 | 1589922 | 2924 1304 | 0 | 0 508.61/508.70 c 507s | 22 | 1647779 | 1595322 | 2924 1308 | 0 | 0 510.61/510.70 c 509s | 22 | 1654365 | 1601822 | 2924 1312 | 0 | 0 512.62/512.71 c 511s | 22 | 1660817 | 1608122 | 2924 1316 | 0 | 0 514.61/514.73 c 513s | 22 | 1667310 | 1614422 | 2924 1320 | 0 | 0 516.61/516.74 c 515s | 22 | 1673972 | 1620822 | 2924 1324 | 0 | 0 518.61/518.76 c 517s | 22 | 1680261 | 1626922 | 2924 1328 | 0 | 0 520.61/520.77 c 519s | 22 | 1686469 | 1632722 | 2924 1332 | 0 | 0 522.61/522.78 c 521s | 22 | 1692946 | 1639022 | 2924 1336 | 0 | 0 524.61/524.78 c 523s | 22 | 1699319 | 1645122 | 2924 1340 | 0 | 0 526.70/526.80 c 525s | 22 | 1705237 | 1650922 | 2924 1343 | 0 | 0 528.70/528.82 c 527s | 22 | 1711407 | 1656822 | 2924 1347 | 0 | 0 530.70/530.84 c 529s | 22 | 1718350 | 1663622 | 2924 1351 | 0 | 0 532.70/532.86 c 531s | 22 | 1725607 | 1670722 | 2924 1356 | 0 | 0 534.70/534.87 c 533s | 22 | 1732683 | 1677522 | 2924 1360 | 0 | 0 536.81/536.90 c 535s | 22 | 1739560 | 1684122 | 2924 1364 | 0 | 0 538.81/538.91 c 537s | 22 | 1745477 | 1689722 | 2924 1368 | 0 | 0 540.81/540.92 c 539s | 22 | 1751853 | 1695922 | 2924 1372 | 0 | 0 542.81/542.94 c 541s | 22 | 1758538 | 1702422 | 2924 1376 | 0 | 0 544.81/544.94 c 543s | 22 | 1765712 | 1709422 | 2924 1380 | 0 | 0 546.81/546.94 c 545s | 22 | 1772521 | 1716022 | 2924 1385 | 0 | 0 548.81/548.96 c 547s | 22 | 1779803 | 1723122 | 2924 1389 | 0 | 0 550.81/550.98 c 549s | 22 | 1786796 | 1729922 | 2924 1393 | 0 | 0 552.81/552.98 c 551s | 22 | 1793466 | 1736422 | 2924 1397 | 0 | 0 554.80/554.98 c 553s | 22 | 1800294 | 1743122 | 2924 1402 | 0 | 0 556.80/556.99 c 555s | 22 | 1807417 | 1750122 | 2924 1406 | 0 | 0 558.90/559.01 c 557s | 22 | 1814348 | 1756922 | 2924 1410 | 0 | 0 560.91/561.01 c 559s | 22 | 1820799 | 1763222 | 2924 1414 | 0 | 0 562.90/563.03 c 561s | 22 | 1826962 | 1769222 | 2924 1418 | 0 | 0 564.90/565.03 c 563s | 22 | 1833524 | 1775622 | 2924 1422 | 0 | 0 566.90/567.05 c 565s | 22 | 1839480 | 1781422 | 2924 1426 | 0 | 0 568.90/569.07 c 567s | 22 | 1846109 | 1787922 | 2924 1430 | 0 | 0 570.91/571.09 c 569s | 22 | 1852238 | 1793922 | 2924 1434 | 0 | 0 572.90/573.10 c 571s | 22 | 1858415 | 1799922 | 2924 1438 | 0 | 0 575.00/575.11 c 573s | 22 | 1864610 | 1806022 | 2924 1442 | 0 | 0 577.00/577.12 c 575s | 22 | 1871241 | 1812522 | 2924 1446 | 0 | 0 579.00/579.14 c 577s | 22 | 1878055 | 1819222 | 2924 1450 | 0 | 0 581.00/581.16 c 579s | 22 | 1883938 | 1825022 | 2924 1454 | 0 | 0 583.01/583.19 c 581s | 22 | 1889372 | 1830322 | 2924 1457 | 0 | 0 585.00/585.20 c 583s | 22 | 1896106 | 1836922 | 2924 1461 | 0 | 0 587.10/587.21 c 585s | 22 | 1902556 | 1843222 | 2924 1465 | 0 | 0 589.10/589.21 c 587s | 22 | 1909167 | 1849722 | 2924 1469 | 0 | 0 591.10/591.22 c 589s | 22 | 1915284 | 1855722 | 2924 1473 | 0 | 0 593.10/593.22 c 591s | 22 | 1921410 | 1861722 | 2924 1477 | 0 | 0 595.10/595.23 c 593s | 22 | 1927698 | 1867922 | 2924 1481 | 0 | 0 597.10/597.24 c 596s | 22 | 1934063 | 1874122 | 2924 1485 | 0 | 0 599.09/599.25 c 598s | 22 | 1940553 | 1880322 | 2924 1489 | 0 | 0 601.09/601.26 c 600s | 22 | 1946906 | 1886522 | 2924 1493 | 0 | 0 603.09/603.27 c 602s | 22 | 1953486 | 1892922 | 2924 1497 | 0 | 0 605.09/605.29 c 604s | 22 | 1959808 | 1899022 | 2924 1501 | 0 | 0 607.10/607.30 c 606s | 22 | 1966059 | 1905122 | 2924 1505 | 0 | 0 609.19/609.31 c 608s | 22 | 1972717 | 1911622 | 2924 1509 | 0 | 0 611.19/611.32 c 610s | 22 | 1979066 | 1917722 | 2924 1513 | 0 | 0 613.19/613.34 c 612s | 22 | 1985463 | 1924022 | 2924 1517 | 0 | 0 615.19/615.38 c 614s | 22 | 1991707 | 1930022 | 2924 1520 | 0 | 0 617.19/617.38 c 616s | 22 | 1998171 | 1936322 | 2924 1524 | 0 | 0 619.20/619.40 c 618s | 22 | 2004434 | 1942422 | 2924 1528 | 0 | 0 621.29/621.41 c 620s | 22 | 2010728 | 1948522 | 2924 1532 | 0 | 0 623.29/623.43 c 622s | 22 | 2017019 | 1954622 | 2924 1536 | 0 | 0 625.29/625.44 c 624s | 22 | 2023393 | 1960822 | 2924 1540 | 0 | 0 627.29/627.44 c 626s | 22 | 2029968 | 1967222 | 2924 1544 | 0 | 0 629.29/629.45 c 628s | 22 | 2036404 | 1973522 | 2924 1548 | 0 | 0 631.30/631.46 c 630s | 22 | 2042709 | 1979722 | 2924 1552 | 0 | 0 633.29/633.47 c 632s | 22 | 2049272 | 1986122 | 2924 1556 | 0 | 0 635.29/635.49 c 634s | 22 | 2055247 | 1991922 | 2924 1560 | 0 | 0 637.39/637.53 c 636s | 22 | 2061752 | 1998222 | 2924 1564 | 0 | 0 639.39/639.53 c 638s | 22 | 2067853 | 2004222 | 2924 1568 | 0 | 0 641.39/641.54 c 640s | 22 | 2074284 | 2010522 | 2924 1572 | 0 | 0 643.39/643.55 c 642s | 22 | 2080645 | 2016722 | 2924 1576 | 0 | 0 645.39/645.58 c 644s | 22 | 2086968 | 2022922 | 2924 1580 | 0 | 0 647.49/647.62 c 646s | 22 | 2093334 | 2029222 | 2924 1584 | 0 | 0 649.49/649.66 c 648s | 22 | 2099600 | 2035422 | 2924 1587 | 0 | 0 651.49/651.66 c 650s | 22 | 2106046 | 2041622 | 2924 1591 | 0 | 0 653.48/653.69 c 652s | 22 | 2112502 | 2047922 | 2924 1595 | 0 | 0 655.49/655.70 c 654s | 22 | 2118845 | 2054022 | 2924 1599 | 0 | 0 657.58/657.72 c 656s | 22 | 2125000 | 2060022 | 2924 1603 | 0 | 0 659.58/659.73 c 658s | 22 | 2131607 | 2066522 | 2924 1607 | 0 | 0 661.58/661.76 c 660s | 22 | 2138068 | 2072822 | 2924 1611 | 0 | 0 663.58/663.76 c 662s | 22 | 2144402 | 2078922 | 2924 1615 | 0 | 0 665.58/665.78 c 664s | 22 | 2150519 | 2084822 | 2924 1619 | 0 | 0 667.59/667.80 c 666s | 22 | 2156980 | 2091022 | 2924 1623 | 0 | 0 669.68/669.81 c 668s | 22 | 2163092 | 2096922 | 2924 1627 | 0 | 0 671.68/671.82 c 670s | 22 | 2169691 | 2103322 | 2924 1631 | 0 | 0 673.68/673.84 c 672s | 22 | 2176988 | 2110522 | 2924 1635 | 0 | 0 675.68/675.84 c 674s | 22 | 2183006 | 2116422 | 2924 1639 | 0 | 0 677.68/677.86 c 676s | 22 | 2188601 | 2121922 | 2924 1643 | 0 | 0 679.69/679.87 c 678s | 22 | 2194227 | 2127422 | 2924 1646 | 0 | 0 681.78/681.90 c 680s | 22 | 2200258 | 2133322 | 2924 1650 | 0 | 0 683.78/683.92 c 682s | 22 | 2206755 | 2139722 | 2924 1654 | 0 | 0 685.78/685.92 c 684s | 22 | 2213086 | 2145922 | 2924 1658 | 0 | 0 687.78/687.94 c 686s | 22 | 2219546 | 2152322 | 2924 1662 | 0 | 0 689.78/689.97 c 688s | 22 | 2225689 | 2158422 | 2924 1666 | 0 | 0 691.78/691.99 c 690s | 22 | 2232095 | 2164722 | 2924 1670 | 0 | 0 693.88/694.02 c 692s | 22 | 2237718 | 2170022 | 2924 1673 | 0 | 0 695.88/696.02 c 694s | 22 | 2243365 | 2175522 | 2924 1677 | 0 | 0 697.88/698.04 c 696s | 22 | 2249432 | 2181322 | 2924 1680 | 0 | 0 699.88/700.06 c 698s | 22 | 2255939 | 2187622 | 2924 1684 | 0 | 0 701.88/702.07 c 700s | 22 | 2261095 | 2192622 | 2924 1688 | 0 | 0 703.88/704.08 c 702s | 22 | 2266271 | 2197722 | 2924 1691 | 0 | 0 705.97/706.12 c 704s | 22 | 2271463 | 2202822 | 2924 1694 | 0 | 0 707.97/708.13 c 706s | 22 | 2276749 | 2207922 | 2924 1697 | 0 | 0 709.98/710.15 c 708s | 22 | 2282288 | 2213222 | 2924 1701 | 0 | 0 711.98/712.16 c 710s | 22 | 2288052 | 2218722 | 2924 1704 | 0 | 0 713.98/714.19 c 712s | 22 | 2294053 | 2224522 | 2924 1708 | 0 | 0 715.99/716.19 c 714s | 22 | 2300280 | 2230322 | 2924 1712 | 0 | 0 718.08/718.21 c 716s | 22 | 2306306 | 2236222 | 3217 1715 | 0 | 0 720.08/720.23 c 718s | 22 | 2312700 | 2242422 | 3217 1719 | 0 | 0 722.08/722.26 c 721s | 22 | 2319059 | 2248522 | 3217 1722 | 0 | 0 722.98/723.14 c 721s | 23 | 2321663 | 2251038 | 3217 1724 | 0 | 0 724.97/725.15 c 723s | 23 | 2328792 | 2257938 | 3217 1728 | 0 | 0 726.98/727.16 c 725s | 23 | 2335382 | 2264438 | 3217 1731 | 0 | 0 728.97/729.19 c 727s | 23 | 2342121 | 2271038 | 3217 1735 | 0 | 0 730.97/731.19 c 729s | 23 | 2348670 | 2277438 | 3217 1739 | 0 | 0 733.07/733.22 c 731s | 23 | 2355318 | 2283938 | 3217 1743 | 0 | 0 735.07/735.22 c 733s | 23 | 2361594 | 2290138 | 3217 1746 | 0 | 0 737.07/737.23 c 735s | 23 | 2367989 | 2296338 | 3217 1750 | 0 | 0 739.07/739.24 c 738s | 23 | 2374875 | 2303038 | 3217 1754 | 0 | 0 741.06/741.25 c 740s | 23 | 2381575 | 2309638 | 3217 1758 | 0 | 0 743.06/743.26 c 742s | 23 | 2388974 | 2316838 | 3217 1762 | 0 | 0 745.06/745.28 c 744s | 23 | 2395988 | 2323738 | 3217 1766 | 0 | 0 747.06/747.29 c 746s | 23 | 2402926 | 2330438 | 3217 1770 | 0 | 0 749.07/749.29 c 748s | 23 | 2409575 | 2336938 | 3217 1774 | 0 | 0 751.06/751.30 c 750s | 23 | 2415352 | 2342638 | 3217 1777 | 0 | 0 753.16/753.31 c 752s | 23 | 2421564 | 2348438 | 3217 1780 | 0 | 0 755.16/755.32 c 754s | 23 | 2427432 | 2353938 | 3217 1784 | 0 | 0 757.16/757.33 c 756s | 23 | 2434245 | 2360538 | 3217 1787 | 0 | 0 759.16/759.35 c 758s | 23 | 2441204 | 2367338 | 3217 1791 | 0 | 0 761.16/761.36 c 760s | 23 | 2448282 | 2374238 | 3217 1795 | 0 | 0 763.15/763.38 c 762s | 23 | 2455378 | 2381238 | 3217 1799 | 0 | 0 765.25/765.42 c 764s | 23 | 2461782 | 2387338 | 3217 1803 | 0 | 0 767.25/767.45 c 766s | 23 | 2468667 | 2393938 | 3217 1807 | 0 | 0 769.25/769.46 c 768s | 23 | 2475325 | 2400338 | 3217 1811 | 0 | 0 771.25/771.47 c 770s | 23 | 2481917 | 2406738 | 3217 1814 | 0 | 0 773.26/773.48 c 772s | 23 | 2489235 | 2413838 | 3217 1819 | 0 | 0 775.36/775.51 c 774s | 23 | 2496015 | 2420538 | 3217 1823 | 0 | 0 777.35/777.52 c 776s | 23 | 2502671 | 2427138 | 3217 1826 | 0 | 0 779.35/779.53 c 778s | 23 | 2509424 | 2433738 | 3217 1830 | 0 | 0 781.34/781.54 c 780s | 23 | 2516515 | 2440638 | 3217 1834 | 0 | 0 783.34/783.55 c 782s | 23 | 2523348 | 2447038 | 3217 1838 | 0 | 0 785.44/785.60 c 784s | 23 | 2529591 | 2453038 | 3217 1842 | 0 | 0 787.45/787.61 c 786s | 23 | 2534824 | 2458138 | 3217 1845 | 0 | 0 789.44/789.62 c 788s | 23 | 2540910 | 2463938 | 3217 1848 | 0 | 0 791.44/791.63 c 790s | 23 | 2547103 | 2469838 | 3217 1851 | 0 | 0 793.44/793.64 c 792s | 23 | 2552466 | 2474838 | 3217 1854 | 0 | 0 795.44/795.67 c 794s | 23 | 2559407 | 2481338 | 3217 1858 | 0 | 0 797.54/797.73 c 796s | 23 | 2564401 | 2486238 | 3217 1861 | 0 | 0 799.54/799.76 c 798s | 23 | 2568774 | 2490338 | 3217 1863 | 0 | 0 801.54/801.77 c 800s | 23 | 2575284 | 2496538 | 3217 1867 | 0 | 0 803.53/803.79 c 802s | 23 | 2581354 | 2502438 | 3217 1870 | 0 | 0 805.53/805.79 c 804s | 23 | 2587755 | 2508638 | 3217 1874 | 0 | 0 807.63/807.80 c 806s | 23 | 2594152 | 2514838 | 3217 1877 | 0 | 0 809.63/809.82 c 808s | 23 | 2601331 | 2521838 | 3217 1881 | 0 | 0 811.64/811.83 c 810s | 23 | 2608225 | 2528638 | 3217 1885 | 0 | 0 813.64/813.85 c 812s | 23 | 2615207 | 2535538 | 3217 1889 | 0 | 0 815.64/815.87 c 814s | 23 | 2621933 | 2542138 | 3217 1893 | 0 | 0 817.64/817.89 c 816s | 23 | 2628606 | 2548638 | 3217 1897 | 0 | 0 819.73/819.91 c 818s | 23 | 2634003 | 2553738 | 3217 1900 | 0 | 0 821.73/821.94 c 820s | 23 | 2639395 | 2558938 | 3217 1903 | 0 | 0 823.74/823.95 c 822s | 23 | 2645328 | 2564638 | 3217 1907 | 0 | 0 825.73/825.97 c 824s | 23 | 2650660 | 2569838 | 3217 1910 | 0 | 0 827.73/827.97 c 826s | 23 | 2656170 | 2575138 | 3217 1913 | 0 | 0 829.83/830.00 c 828s | 23 | 2661339 | 2580038 | 3217 1915 | 0 | 0 831.83/832.00 c 830s | 23 | 2666769 | 2585338 | 3217 1919 | 0 | 0 833.83/834.02 c 832s | 23 | 2671769 | 2590138 | 3217 1921 | 0 | 0 835.83/836.04 c 834s | 23 | 2677742 | 2595738 | 3217 1925 | 0 | 0 837.83/838.08 c 836s | 23 | 2683651 | 2601538 | 3217 1928 | 0 | 0 839.93/840.12 c 838s | 23 | 2688289 | 2606138 | 3217 1931 | 0 | 0 841.92/842.16 c 840s | 23 | 2692686 | 2610438 | 3217 1933 | 0 | 0 843.92/844.17 c 842s | 23 | 2698660 | 2616138 | 3217 1936 | 0 | 0 845.92/846.19 c 844s | 23 | 2705417 | 2622638 | 3217 1940 | 0 | 0 847.93/848.20 c 846s | 23 | 2712071 | 2629138 | 3217 1944 | 0 | 0 850.02/850.21 c 848s | 23 | 2718907 | 2635838 | 3217 1948 | 0 | 0 852.02/852.22 c 850s | 23 | 2725360 | 2642038 | 3217 1951 | 0 | 0 854.02/854.23 c 852s | 23 | 2732177 | 2648638 | 3217 1955 | 0 | 0 856.01/856.26 c 855s | 23 | 2739015 | 2655238 | 3217 1959 | 0 | 0 858.01/858.28 c 857s | 23 | 2745774 | 2661738 | 3217 1963 | 0 | 0 860.02/860.30 c 859s | 23 | 2752962 | 2668738 | 3217 1967 | 0 | 0 862.11/862.32 c 861s | 23 | 2759787 | 2675338 | 3217 1971 | 0 | 0 864.11/864.34 c 863s | 23 | 2766300 | 2681638 | 3217 1975 | 0 | 0 866.11/866.34 c 865s | 23 | 2772857 | 2687938 | 3217 1978 | 0 | 0 868.11/868.37 c 867s | 23 | 2779257 | 2694138 | 3217 1982 | 0 | 0 870.20/870.40 c 869s | 23 | 2786262 | 2700838 | 3217 1986 | 0 | 0 872.21/872.41 c 871s | 23 | 2793623 | 2707938 | 3217 1990 | 0 | 0 874.20/874.42 c 873s | 23 | 2801102 | 2715138 | 3217 1994 | 0 | 0 876.20/876.43 c 875s | 23 | 2807977 | 2721738 | 3217 1998 | 0 | 0 878.20/878.45 c 877s | 23 | 2815020 | 2728438 | 3217 2002 | 0 | 0 880.20/880.48 c 879s | 23 | 2821691 | 2734838 | 3217 2006 | 0 | 0 882.20/882.49 c 881s | 23 | 2828152 | 2741138 | 3217 2010 | 0 | 0 884.20/884.49 c 883s | 23 | 2835190 | 2747738 | 3217 2014 | 0 | 0 886.30/886.52 c 885s | 23 | 2842097 | 2754438 | 3217 2018 | 0 | 0 888.30/888.52 c 887s | 23 | 2849196 | 2761338 | 3217 2022 | 0 | 0 890.29/890.54 c 889s | 23 | 2856086 | 2767838 | 3217 2026 | 0 | 0 892.29/892.56 c 891s | 23 | 2862745 | 2774238 | 3217 2029 | 0 | 0 894.29/894.58 c 893s | 23 | 2869809 | 2781038 | 3217 2033 | 0 | 0 896.31/896.58 c 895s | 23 | 2876692 | 2787738 | 3217 2037 | 0 | 0 898.30/898.58 c 897s | 23 | 2882888 | 2793738 | 3217 2041 | 0 | 0 900.40/900.60 c 899s | 23 | 2890140 | 2800838 | 3217 2045 | 0 | 0 902.40/902.62 c 901s | 23 | 2897434 | 2807838 | 3217 2049 | 0 | 0 904.40/904.63 c 903s | 23 | 2904465 | 2814538 | 3217 2053 | 0 | 0 906.40/906.65 c 905s | 23 | 2911825 | 2821438 | 3217 2057 | 0 | 0 908.40/908.67 c 907s | 23 | 2919467 | 2828738 | 3217 2061 | 0 | 0 910.39/910.69 c 909s | 23 | 2926374 | 2835538 | 3217 2065 | 0 | 0 912.49/912.70 c 911s | 23 | 2933174 | 2842238 | 3217 2069 | 0 | 0 914.49/914.72 c 913s | 23 | 2939779 | 2848738 | 3217 2073 | 0 | 0 916.49/916.75 c 915s | 23 | 2946163 | 2855038 | 3217 2077 | 0 | 0 918.49/918.76 c 917s | 23 | 2953123 | 2861838 | 3217 2081 | 0 | 0 920.49/920.76 c 919s | 23 | 2959654 | 2868238 | 3217 2085 | 0 | 0 922.58/922.80 c 921s | 23 | 2965992 | 2874138 | 3217 2088 | 0 | 0 924.58/924.80 c 923s | 23 | 2972538 | 2880438 | 3217 2092 | 0 | 0 926.58/926.84 c 925s | 23 | 2979249 | 2886838 | 3217 2095 | 0 | 0 928.58/928.89 c 927s | 23 | 2985535 | 2892838 | 3217 2099 | 0 | 0 930.68/930.94 c 929s | 23 | 2990304 | 2897438 | 3217 2102 | 0 | 0 932.69/932.96 c 931s | 23 | 2995481 | 2902338 | 3217 2104 | 0 | 0 934.68/934.97 c 933s | 23 | 3001550 | 2908238 | 3217 2108 | 0 | 0 936.78/937.01 c 935s | 23 | 3007602 | 2913838 | 3217 2111 | 0 | 0 938.78/939.02 c 937s | 23 | 3013313 | 2919438 | 3217 2114 | 0 | 0 940.77/941.04 c 939s | 23 | 3019409 | 2925338 | 3217 2118 | 0 | 0 942.77/943.05 c 941s | 23 | 3025612 | 2931338 | 3217 2121 | 0 | 0 944.78/945.06 c 943s | 23 | 3031771 | 2937238 | 3217 2125 | 0 | 0 946.88/947.11 c 945s | 23 | 3038882 | 2944038 | 3217 2129 | 0 | 0 948.87/949.14 c 947s | 23 | 3045660 | 2950538 | 3217 2132 | 0 | 0 950.87/951.14 c 949s | 23 | 3051993 | 2956638 | 3217 2136 | 0 | 0 952.87/953.16 c 951s | 23 | 3058648 | 2962938 | 3217 2140 | 0 | 0 954.87/955.17 c 953s | 23 | 3063625 | 2967638 | 3217 2142 | 0 | 0 956.97/957.20 c 955s | 23 | 3068215 | 2972138 | 3217 2145 | 0 | 0 958.97/959.22 c 957s | 23 | 3074635 | 2978338 | 3217 2148 | 0 | 0 960.96/961.22 c 959s | 23 | 3080740 | 2984338 | 3217 2152 | 0 | 0 962.96/963.26 c 962s | 23 | 3086157 | 2989638 | 3217 2155 | 0 | 0 964.96/965.27 c 964s | 23 | 3092147 | 2995338 | 3217 2158 | 0 | 0 966.96/967.28 c 966s | 23 | 3098016 | 3001038 | 3217 2162 | 0 | 0 968.97/969.29 c 968s | 23 | 3103628 | 3006438 | 3217 2165 | 0 | 0 971.06/971.31 c 970s | 23 | 3109866 | 3012338 | 3217 2168 | 0 | 0 973.06/973.32 c 972s | 23 | 3116071 | 3018338 | 3217 2172 | 0 | 0 975.06/975.32 c 974s | 23 | 3121024 | 3023138 | 3217 2174 | 0 | 0 977.06/977.34 c 976s | 23 | 3125745 | 3027738 | 3217 2177 | 0 | 0 979.06/979.35 c 978s | 23 | 3130772 | 3032638 | 3217 2180 | 0 | 0 981.06/981.36 c 980s | 23 | 3137089 | 3038738 | 3217 2183 | 0 | 0 983.05/983.36 c 982s | 23 | 3143053 | 3044538 | 3217 2187 | 0 | 0 985.05/985.37 c 984s | 23 | 3148101 | 3049338 | 3217 2190 | 0 | 0 987.05/987.38 c 986s | 23 | 3153402 | 3054438 | 3217 2193 | 0 | 0 989.06/989.39 c 988s | 23 | 3159121 | 3060038 | 3217 2196 | 0 | 0 991.16/991.42 c 990s | 23 | 3165177 | 3065938 | 3217 2199 | 0 | 0 993.16/993.46 c 992s | 23 | 3170910 | 3071538 | 3217 2202 | 0 | 0 995.15/995.46 c 994s | 23 | 3176897 | 3077138 | 3217 2206 | 0 | 0 997.15/997.48 c 996s | 23 | 3183519 | 3083638 | 3217 2209 | 0 | 0 999.25/999.51 c 998s | 23 | 3189448 | 3089438 | 3217 2213 | 0 | 0 1001.25/1001.53 c 1000s | 23 | 3195304 | 3094938 | 3217 2216 | 0 | 0 1003.25/1003.55 c 1002s | 23 | 3201797 | 3101138 | 3217 2220 | 0 | 0 1005.26/1005.57 c 1004s | 23 | 3208330 | 3107338 | 3217 2223 | 0 | 0 1007.35/1007.61 c 1006s | 23 | 3215303 | 3114138 | 3217 2227 | 0 | 0 1009.35/1009.61 c 1008s | 23 | 3222067 | 3120638 | 3217 2231 | 0 | 0 1011.34/1011.63 c 1010s | 23 | 3227692 | 3126038 | 3217 2234 | 0 | 0 1013.34/1013.63 c 1012s | 23 | 3233742 | 3131738 | 3217 2237 | 0 | 0 1015.34/1015.64 c 1014s | 23 | 3239743 | 3137538 | 3217 2241 | 0 | 0 1017.35/1017.64 c 1016s | 23 | 3245871 | 3143438 | 3217 2244 | 0 | 0 1019.34/1019.65 c 1018s | 23 | 3252103 | 3149538 | 3217 2248 | 0 | 0 1021.33/1021.66 c 1020s | 23 | 3258113 | 3155338 | 3217 2251 | 0 | 0 1023.33/1023.66 c 1022s | 23 | 3262942 | 3159938 | 3217 2254 | 0 | 0 1025.43/1025.70 c 1024s | 23 | 3267831 | 3164538 | 3217 2256 | 0 | 0 1027.43/1027.72 c 1026s | 23 | 3272784 | 3169338 | 3217 2259 | 0 | 0 1029.44/1029.73 c 1028s | 23 | 3278170 | 3174538 | 3217 2262 | 0 | 0 1031.43/1031.75 c 1030s | 23 | 3283855 | 3180138 | 3217 2265 | 0 | 0 1033.43/1033.76 c 1032s | 23 | 3289135 | 3185238 | 3217 2268 | 0 | 0 1035.43/1035.76 c 1034s | 23 | 3294487 | 3190438 | 3217 2271 | 0 | 0 1037.53/1037.81 c 1036s | 23 | 3298782 | 3194538 | 3217 2274 | 0 | 0 1039.53/1039.82 c 1038s | 23 | 3303666 | 3199138 | 3217 2276 | 0 | 0 1041.53/1041.87 c 1040s | 23 | 3310519 | 3205738 | 3217 2280 | 0 | 0 1043.52/1043.89 c 1042s | 23 | 3317430 | 3212238 | 3217 2284 | 0 | 0 1045.62/1045.93 c 1044s | 23 | 3324131 | 3218438 | 3217 2288 | 0 | 0 1047.62/1047.95 c 1046s | 23 | 3330347 | 3224438 | 3217 2291 | 0 | 0 1049.62/1049.96 c 1048s | 23 | 3336357 | 3230238 | 3217 2294 | 0 | 0 1051.62/1051.98 c 1050s | 23 | 3342626 | 3236338 | 3217 2298 | 0 | 0 1053.72/1054.02 c 1052s | 23 | 3348829 | 3242338 | 3217 2301 | 0 | 0 1055.73/1056.02 c 1054s | 23 | 3355437 | 3248638 | 3217 2305 | 0 | 0 1057.72/1058.03 c 1056s | 23 | 3362239 | 3255338 | 3217 2309 | 0 | 0 1059.72/1060.04 c 1058s | 23 | 3369198 | 3262038 | 3217 2313 | 0 | 0 1061.72/1062.04 c 1060s | 23 | 3376292 | 3268838 | 3217 2317 | 0 | 0 1063.72/1064.04 c 1062s | 23 | 3383640 | 3275938 | 3217 2321 | 0 | 0 1065.72/1066.04 c 1064s | 23 | 3390854 | 3282938 | 3217 2325 | 0 | 0 1067.71/1068.07 c 1066s | 23 | 3398030 | 3289838 | 3217 2329 | 0 | 0 1069.71/1070.07 c 1068s | 23 | 3405021 | 3296638 | 3217 2333 | 0 | 0 1071.71/1072.08 c 1070s | 23 | 3412581 | 3303938 | 3217 2337 | 0 | 0 1073.82/1074.11 c 1072s | 23 | 3419651 | 3310738 | 3217 2341 | 0 | 0 1075.82/1076.11 c 1074s | 23 | 3426491 | 3317438 | 3217 2345 | 0 | 0 1077.83/1078.12 c 1076s | 23 | 3433481 | 3324238 | 3217 2349 | 0 | 0 1079.82/1080.13 c 1078s | 23 | 3440904 | 3331338 | 3217 2353 | 0 | 0 1081.82/1082.14 c 1080s | 23 | 3448280 | 3338438 | 3217 2358 | 0 | 0 1083.82/1084.15 c 1082s | 23 | 3455348 | 3345238 | 3217 2361 | 0 | 0 1085.82/1086.16 c 1084s | 23 | 3462832 | 3352338 | 3539 2365 | 0 | 0 1087.81/1088.17 c 1086s | 23 | 3469587 | 3358738 | 3539 2369 | 0 | 0 1089.82/1090.17 c 1088s | 23 | 3476954 | 3365838 | 3539 2373 | 0 | 0 1091.81/1092.19 c 1090s | 23 | 3483738 | 3372438 | 3539 2376 | 0 | 0 1093.11/1093.49 c 1092s | 24 | 3488028 | 3376662 | 3539 2378 | 0 | 0 1095.21/1095.51 c 1094s | 24 | 3495350 | 3383862 | 3539 2382 | 0 | 0 1097.21/1097.52 c 1096s | 24 | 3501766 | 3390162 | 3539 2386 | 0 | 0 1099.21/1099.54 c 1098s | 24 | 3508401 | 3396662 | 3539 2389 | 0 | 0 1101.20/1101.55 c 1100s | 24 | 3514727 | 3402862 | 3539 2392 | 0 | 0 1103.20/1103.57 c 1102s | 24 | 3520793 | 3408862 | 3539 2396 | 0 | 0 1105.21/1105.60 c 1104s | 24 | 3526859 | 3414762 | 3539 2399 | 0 | 0 1107.30/1107.61 c 1106s | 24 | 3532746 | 3420562 | 3539 2402 | 0 | 0 1109.30/1109.64 c 1108s | 24 | 3538175 | 3425962 | 3539 2405 | 0 | 0 1111.29/1111.67 c 1110s | 24 | 3543929 | 3431562 | 3539 2408 | 0 | 0 1113.29/1113.69 c 1112s | 24 | 3550507 | 3438062 | 3539 2411 | 0 | 0 1115.39/1115.72 c 1114s | 24 | 3556672 | 3444162 | 3539 2414 | 0 | 0 1117.40/1117.74 c 1116s | 24 | 3562950 | 3450362 | 3539 2418 | 0 | 0 1119.39/1119.76 c 1118s | 24 | 3569146 | 3456462 | 3539 2421 | 0 | 0 1121.39/1121.79 c 1120s | 24 | 3575823 | 3462962 | 3539 2424 | 0 | 0 1123.49/1123.81 c 1122s | 24 | 3581929 | 3468962 | 3539 2427 | 0 | 0 1125.49/1125.82 c 1124s | 24 | 3588489 | 3475362 | 3539 2431 | 0 | 0 1127.49/1127.83 c 1126s | 24 | 3595159 | 3481862 | 3539 2434 | 0 | 0 1129.49/1129.86 c 1128s | 24 | 3601562 | 3488062 | 3539 2438 | 0 | 0 1131.48/1131.89 c 1130s | 24 | 3607110 | 3493362 | 3539 2440 | 0 | 0 1133.58/1133.90 c 1132s | 24 | 3612655 | 3498762 | 3539 2443 | 0 | 0 1135.58/1135.91 c 1134s | 24 | 3617513 | 3503462 | 3539 2446 | 0 | 0 1137.58/1137.92 c 1136s | 24 | 3622357 | 3508162 | 3539 2448 | 0 | 0 1139.58/1139.95 c 1138s | 24 | 3627600 | 3513162 | 3539 2451 | 0 | 0 1141.59/1141.96 c 1140s | 24 | 3632801 | 3518162 | 3539 2454 | 0 | 0 1143.58/1143.96 c 1142s | 24 | 3638376 | 3523562 | 3539 2457 | 0 | 0 1145.59/1145.96 c 1144s | 24 | 3644206 | 3529262 | 3539 2460 | 0 | 0 1147.59/1147.99 c 1146s | 24 | 3650110 | 3534962 | 3539 2463 | 0 | 0 1149.59/1149.99 c 1148s | 24 | 3655883 | 3540562 | 3539 2466 | 0 | 0 1151.68/1152.02 c 1150s | 24 | 3662540 | 3547062 | 3539 2469 | 0 | 0 1153.69/1154.05 c 1152s | 24 | 3668513 | 3552962 | 3539 2472 | 0 | 0 1155.68/1156.06 c 1154s | 24 | 3675031 | 3559362 | 3539 2476 | 0 | 0 1157.68/1158.07 c 1156s | 24 | 3680888 | 3565062 | 3539 2479 | 0 | 0 1159.78/1160.10 c 1158s | 24 | 3686816 | 3570862 | 3539 2482 | 0 | 0 1161.78/1162.12 c 1160s | 24 | 3693940 | 3577762 | 3539 2485 | 0 | 0 1163.78/1164.13 c 1162s | 24 | 3699757 | 3583462 | 3539 2488 | 0 | 0 1165.78/1166.15 c 1164s | 24 | 3706444 | 3590062 | 3539 2492 | 0 | 0 1167.78/1168.15 c 1166s | 24 | 3712641 | 3596062 | 3539 2495 | 0 | 0 1169.78/1170.16 c 1168s | 24 | 3718570 | 3601862 | 3539 2498 | 0 | 0 1171.77/1172.16 c 1170s | 24 | 3725232 | 3608362 | 3539 2502 | 0 | 0 1173.77/1174.18 c 1172s | 24 | 3731660 | 3614662 | 3539 2505 | 0 | 0 1175.87/1176.21 c 1174s | 24 | 3737709 | 3620562 | 3539 2508 | 0 | 0 1177.88/1178.22 c 1176s | 24 | 3743535 | 3626262 | 3539 2511 | 0 | 0 1179.87/1180.22 c 1178s | 24 | 3749200 | 3631862 | 3539 2514 | 0 | 0 1181.86/1182.22 c 1180s | 24 | 3754922 | 3637362 | 3539 2517 | 0 | 0 1183.86/1184.26 c 1183s | 24 | 3760509 | 3642862 | 3539 2520 | 0 | 0 1185.86/1186.27 c 1185s | 24 | 3765781 | 3648062 | 3539 2523 | 0 | 0 1187.96/1188.30 c 1187s | 24 | 3771434 | 3653562 | 3539 2525 | 0 | 0 1189.97/1190.33 c 1189s | 24 | 3777748 | 3659762 | 3539 2529 | 0 | 0 1191.95/1192.34 c 1191s | 24 | 3783855 | 3665762 | 3539 2532 | 0 | 0 1193.95/1194.35 c 1193s | 24 | 3789935 | 3671762 | 3539 2535 | 0 | 0 1195.95/1196.37 c 1195s | 24 | 3796095 | 3677762 | 3539 2538 | 0 | 0 1197.95/1198.39 c 1197s | 24 | 3802390 | 3683962 | 3539 2542 | 0 | 0 1200.05/1200.42 c 1199s | 24 | 3809202 | 3690562 | 3539 2545 | 0 | 0 1202.05/1202.42 c 1201s | 24 | 3815772 | 3696962 | 3539 2548 | 0 | 0 1204.05/1204.46 c 1203s | 24 | 3821687 | 3702762 | 3539 2551 | 0 | 0 1206.05/1206.46 c 1205s | 24 | 3827820 | 3708662 | 3539 2555 | 0 | 0 1208.05/1208.48 c 1207s | 24 | 3833777 | 3714562 | 3539 2558 | 0 | 0 1210.05/1210.50 c 1209s | 24 | 3839637 | 3720362 | 3539 2561 | 0 | 0 1212.15/1212.50 c 1211s | 24 | 3845785 | 3726362 | 3539 2564 | 0 | 0 1214.15/1214.53 c 1213s | 24 | 3851841 | 3732262 | 3539 2567 | 0 | 0 1216.15/1216.55 c 1215s | 24 | 3857354 | 3737662 | 3539 2570 | 0 | 0 1218.15/1218.58 c 1217s | 24 | 3863132 | 3743062 | 3539 2573 | 0 | 0 1220.24/1220.60 c 1219s | 24 | 3868767 | 3748562 | 3539 2576 | 0 | 0 1222.24/1222.61 c 1221s | 24 | 3874533 | 3754162 | 3539 2579 | 0 | 0 1224.23/1224.65 c 1223s | 24 | 3880783 | 3760262 | 3539 2582 | 0 | 0 1226.24/1226.68 c 1225s | 24 | 3886552 | 3765962 | 3539 2585 | 0 | 0 1228.23/1228.70 c 1227s | 24 | 3892192 | 3771462 | 3539 2588 | 0 | 0 1230.33/1230.71 c 1229s | 24 | 3897907 | 3776962 | 3539 2591 | 0 | 0 1232.33/1232.74 c 1231s | 24 | 3903779 | 3782762 | 3539 2594 | 0 | 0 1234.33/1234.76 c 1233s | 24 | 3909685 | 3788562 | 3539 2597 | 0 | 0 1236.33/1236.79 c 1235s | 24 | 3915064 | 3793862 | 3539 2600 | 0 | 0 1238.43/1238.81 c 1237s | 24 | 3920809 | 3799462 | 3539 2603 | 0 | 0 1240.43/1240.83 c 1239s | 24 | 3926412 | 3804962 | 3539 2606 | 0 | 0 1242.42/1242.84 c 1241s | 24 | 3932021 | 3810462 | 3539 2609 | 0 | 0 1244.42/1244.88 c 1243s | 24 | 3937626 | 3815962 | 3539 2612 | 0 | 0 1246.42/1246.88 c 1245s | 24 | 3943575 | 3821762 | 3539 2615 | 0 | 0 1248.42/1248.88 c 1247s | 24 | 3949442 | 3827562 | 3539 2618 | 0 | 0 1250.53/1250.90 c 1249s | 24 | 3955263 | 3833262 | 3539 2621 | 0 | 0 1252.53/1252.93 c 1251s | 24 | 3960492 | 3838262 | 3539 2623 | 0 | 0 1254.53/1254.97 c 1253s | 24 | 3965256 | 3842762 | 3539 2626 | 0 | 0 1256.53/1256.97 c 1255s | 24 | 3969867 | 3847162 | 3539 2628 | 0 | 0 1258.62/1259.00 c 1257s | 24 | 3974485 | 3851562 | 3539 2630 | 0 | 0 1260.62/1261.07 c 1259s | 24 | 3978653 | 3855562 | 3539 2633 | 0 | 0 1262.62/1263.08 c 1261s | 24 | 3983223 | 3859962 | 3539 2635 | 0 | 0 1264.73/1265.11 c 1263s | 24 | 3989164 | 3865862 | 3539 2638 | 0 | 0 1266.72/1267.13 c 1265s | 24 | 3994685 | 3871062 | 3539 2641 | 0 | 0 1268.72/1269.15 c 1267s | 24 | 4001940 | 3878162 | 3539 2644 | 0 | 0 1270.71/1271.17 c 1269s | 24 | 4008392 | 3884562 | 3539 2648 | 0 | 0 1272.81/1273.20 c 1271s | 24 | 4015069 | 3891062 | 3539 2651 | 0 | 0 1274.81/1275.24 c 1274s | 24 | 4021253 | 3897162 | 3539 2655 | 0 | 0 1276.82/1277.27 c 1276s | 24 | 4027557 | 3903362 | 3539 2658 | 0 | 0 1278.81/1279.30 c 1278s | 24 | 4034071 | 3909762 | 3539 2661 | 0 | 0 1280.91/1281.30 c 1280s | 24 | 4040448 | 3916062 | 3539 2665 | 0 | 0 1282.91/1283.31 c 1282s | 24 | 4046872 | 3922362 | 3539 2668 | 0 | 0 1284.91/1285.33 c 1284s | 24 | 4053146 | 3928562 | 3539 2671 | 0 | 0 1286.91/1287.37 c 1286s | 24 | 4059359 | 3934662 | 3539 2674 | 0 | 0 1288.91/1289.38 c 1288s | 24 | 4065653 | 3940762 | 3539 2678 | 0 | 0 1290.90/1291.40 c 1290s | 24 | 4071536 | 3946562 | 3539 2681 | 0 | 0 1293.00/1293.43 c 1292s | 24 | 4077558 | 3952462 | 3539 2684 | 0 | 0 1295.00/1295.45 c 1294s | 24 | 4082999 | 3957862 | 3539 2687 | 0 | 0 1297.00/1297.46 c 1296s | 24 | 4088676 | 3963462 | 3539 2690 | 0 | 0 1299.00/1299.48 c 1298s | 24 | 4094643 | 3969262 | 3539 2693 | 0 | 0 1301.00/1301.48 c 1300s | 24 | 4100850 | 3975362 | 3539 2696 | 0 | 0 1302.99/1303.48 c 1302s | 24 | 4106821 | 3981262 | 3539 2699 | 0 | 0 1305.09/1305.50 c 1304s | 24 | 4112987 | 3987062 | 3539 2702 | 0 | 0 1307.09/1307.52 c 1306s | 24 | 4118796 | 3992762 | 3539 2705 | 0 | 0 1309.09/1309.53 c 1308s | 24 | 4124660 | 3998562 | 3539 2708 | 0 | 0 1311.08/1311.54 c 1310s | 24 | 4129929 | 4003762 | 3539 2711 | 0 | 0 1313.09/1313.56 c 1312s | 24 | 4136040 | 4009662 | 3539 2714 | 0 | 0 1315.08/1315.58 c 1314s | 24 | 4142100 | 4015662 | 3539 2717 | 0 | 0 1317.18/1317.60 c 1316s | 24 | 4148042 | 4021562 | 3539 2720 | 0 | 0 1319.18/1319.62 c 1318s | 24 | 4154648 | 4027962 | 3539 2724 | 0 | 0 1321.18/1321.65 c 1320s | 24 | 4160926 | 4034162 | 3539 2727 | 0 | 0 1323.18/1323.66 c 1322s | 24 | 4166907 | 4040062 | 3539 2730 | 0 | 0 1325.19/1325.68 c 1324s | 24 | 4173306 | 4046362 | 3539 2733 | 0 | 0 1327.18/1327.69 c 1326s | 24 | 4179454 | 4052462 | 3539 2737 | 0 | 0 1329.18/1329.69 c 1328s | 24 | 4185928 | 4058862 | 3539 2740 | 0 | 0 1331.27/1331.71 c 1330s | 24 | 4192533 | 4065362 | 3539 2743 | 0 | 0 1333.27/1333.71 c 1332s | 24 | 4198723 | 4071462 | 3539 2747 | 0 | 0 1335.27/1335.72 c 1334s | 24 | 4205196 | 4077862 | 3539 2750 | 0 | 0 1337.28/1337.74 c 1336s | 24 | 4211929 | 4084462 | 3539 2754 | 0 | 0 1339.27/1339.77 c 1338s | 24 | 4217980 | 4090362 | 3539 2757 | 0 | 0 1341.27/1341.79 c 1340s | 24 | 4223732 | 4096062 | 3539 2760 | 0 | 0 1343.37/1343.80 c 1342s | 24 | 4229864 | 4102062 | 3539 2763 | 0 | 0 1345.37/1345.83 c 1344s | 24 | 4235384 | 4107362 | 3539 2766 | 0 | 0 1347.37/1347.87 c 1346s | 24 | 4240670 | 4112462 | 3539 2769 | 0 | 0 1349.47/1349.91 c 1348s | 24 | 4246137 | 4117762 | 3539 2771 | 0 | 0 1351.47/1351.93 c 1350s | 24 | 4251654 | 4123062 | 3539 2774 | 0 | 0 1353.46/1353.96 c 1352s | 24 | 4256854 | 4128062 | 3539 2777 | 0 | 0 1355.46/1355.96 c 1354s | 24 | 4262838 | 4133862 | 3539 2780 | 0 | 0 1357.46/1357.97 c 1356s | 24 | 4269231 | 4140162 | 3539 2783 | 0 | 0 1359.56/1360.01 c 1358s | 24 | 4275192 | 4146062 | 3539 2786 | 0 | 0 1361.56/1362.02 c 1360s | 24 | 4282105 | 4152862 | 3539 2790 | 0 | 0 1363.56/1364.02 c 1362s | 24 | 4288520 | 4159162 | 3539 2793 | 0 | 0 1365.56/1366.03 c 1364s | 24 | 4294539 | 4165062 | 3539 2796 | 0 | 0 1367.56/1368.03 c 1366s | 24 | 4301365 | 4171762 | 3539 2800 | 0 | 0 1369.56/1370.06 c 1368s | 24 | 4307783 | 4178062 | 3539 2803 | 0 | 0 1371.56/1372.06 c 1370s | 24 | 4314402 | 4184562 | 3539 2807 | 0 | 0 1373.56/1374.08 c 1372s | 24 | 4320844 | 4190862 | 3539 2810 | 0 | 0 1375.66/1376.12 c 1374s | 24 | 4327113 | 4197062 | 3539 2813 | 0 | 0 1377.65/1378.14 c 1376s | 24 | 4333505 | 4203362 | 3539 2817 | 0 | 0 1379.65/1380.16 c 1378s | 24 | 4339619 | 4209362 | 3539 2820 | 0 | 0 1381.65/1382.18 c 1380s | 24 | 4345512 | 4215162 | 3539 2823 | 0 | 0 1383.75/1384.20 c 1382s | 24 | 4351976 | 4221462 | 3539 2826 | 0 | 0 1385.75/1386.20 c 1384s | 24 | 4358319 | 4227662 | 3539 2830 | 0 | 0 1387.77/1388.24 c 1387s | 24 | 4364878 | 4234062 | 3539 2833 | 0 | 0 1389.76/1390.26 c 1389s | 24 | 4369930 | 4239062 | 3539 2836 | 0 | 0 1391.76/1392.26 c 1391s | 24 | 4375395 | 4244462 | 3539 2839 | 0 | 0 1393.76/1394.29 c 1393s | 24 | 4380892 | 4249862 | 3539 2842 | 0 | 0 1395.86/1396.30 c 1395s | 24 | 4386289 | 4255162 | 3539 2844 | 0 | 0 1397.86/1398.31 c 1397s | 24 | 4391378 | 4260162 | 3539 2847 | 0 | 0 1399.87/1400.32 c 1399s | 24 | 4396886 | 4265562 | 3539 2850 | 0 | 0 1401.86/1402.35 c 1401s | 24 | 4402159 | 4270762 | 3539 2853 | 0 | 0 1403.86/1404.37 c 1403s | 24 | 4408165 | 4276662 | 3539 2856 | 0 | 0 1405.86/1406.38 c 1405s | 24 | 4413232 | 4281662 | 3539 2859 | 0 | 0 1407.96/1408.40 c 1407s | 24 | 4418422 | 4286762 | 3539 2861 | 0 | 0 1409.96/1410.43 c 1409s | 24 | 4423193 | 4291462 | 3539 2864 | 0 | 0 1411.96/1412.45 c 1411s | 24 | 4427865 | 4296062 | 3539 2866 | 0 | 0 1413.96/1414.47 c 1413s | 24 | 4433522 | 4301462 | 3539 2869 | 0 | 0 1416.05/1416.50 c 1415s | 24 | 4440093 | 4307562 | 3539 2873 | 0 | 0 1418.05/1418.53 c 1417s | 24 | 4446127 | 4313262 | 3539 2876 | 0 | 0 1420.05/1420.57 c 1419s | 24 | 4451849 | 4318862 | 3539 2878 | 0 | 0 1422.05/1422.59 c 1421s | 24 | 4457437 | 4324262 | 3539 2881 | 0 | 0 1424.16/1424.61 c 1423s | 24 | 4463019 | 4329562 | 3539 2884 | 0 | 0 1426.15/1426.61 c 1425s | 24 | 4468657 | 4334962 | 3539 2887 | 0 | 0 1428.15/1428.62 c 1427s | 24 | 4474527 | 4340662 | 3539 2890 | 0 | 0 1430.15/1430.63 c 1429s | 24 | 4479751 | 4345662 | 3539 2893 | 0 | 0 1432.15/1432.64 c 1431s | 24 | 4485800 | 4351562 | 3539 2896 | 0 | 0 1434.15/1434.66 c 1433s | 24 | 4491919 | 4357562 | 3539 2899 | 0 | 0 1436.16/1436.70 c 1435s | 24 | 4498095 | 4363562 | 3539 2902 | 0 | 0 1438.25/1438.74 c 1437s | 24 | 4503531 | 4368662 | 3539 2905 | 0 | 0 1440.25/1440.75 c 1439s | 24 | 4508915 | 4373962 | 3539 2908 | 0 | 0 1442.25/1442.76 c 1441s | 24 | 4514918 | 4379762 | 3539 2911 | 0 | 0 1444.25/1444.76 c 1443s | 24 | 4520968 | 4385662 | 3539 2914 | 0 | 0 1446.25/1446.79 c 1445s | 24 | 4526843 | 4391262 | 3539 2917 | 0 | 0 1448.35/1448.83 c 1447s | 24 | 4532772 | 4397062 | 3539 2920 | 0 | 0 1450.34/1450.85 c 1449s | 24 | 4538580 | 4402762 | 3539 2923 | 0 | 0 1452.34/1452.86 c 1451s | 24 | 4544547 | 4408362 | 3539 2926 | 0 | 0 1454.34/1454.86 c 1453s | 24 | 4550581 | 4414162 | 3539 2929 | 0 | 0 1456.34/1456.87 c 1455s | 24 | 4556165 | 4419462 | 3539 2932 | 0 | 0 1458.34/1458.87 c 1457s | 24 | 4561265 | 4424262 | 3539 2934 | 0 | 0 1460.35/1460.90 c 1459s | 24 | 4566523 | 4429262 | 3539 2937 | 0 | 0 1462.44/1462.93 c 1461s | 24 | 4571647 | 4433962 | 3539 2939 | 0 | 0 1464.44/1464.95 c 1463s | 24 | 4578154 | 4440262 | 3539 2943 | 0 | 0 1466.44/1466.95 c 1465s | 24 | 4584414 | 4446362 | 3539 2946 | 0 | 0 1468.44/1468.96 c 1467s | 24 | 4590611 | 4452262 | 3539 2949 | 0 | 0 1470.44/1470.99 c 1469s | 24 | 4597050 | 4458462 | 3539 2952 | 0 | 0 1472.55/1473.03 c 1471s | 24 | 4603378 | 4464562 | 3539 2955 | 0 | 0 1474.54/1475.03 c 1473s | 24 | 4609148 | 4470062 | 3539 2958 | 0 | 0 1476.54/1477.06 c 1475s | 24 | 4615160 | 4475962 | 3539 2961 | 0 | 0 1478.54/1479.07 c 1477s | 24 | 4621086 | 4481762 | 3539 2965 | 0 | 0 1480.54/1481.08 c 1479s | 24 | 4626430 | 4486962 | 3539 2967 | 0 | 0 1482.64/1483.15 c 1481s | 24 | 4632307 | 4492662 | 3539 2970 | 0 | 0 1484.64/1485.18 c 1483s | 24 | 4638117 | 4498262 | 3539 2973 | 0 | 0 1486.74/1487.22 c 1485s | 24 | 4643647 | 4503562 | 3539 2976 | 0 | 0 1488.73/1489.23 c 1487s | 24 | 4649818 | 4509562 | 3539 2979 | 0 | 0 1490.73/1491.26 c 1490s | 24 | 4655532 | 4515162 | 3539 2982 | 0 | 0 1492.74/1493.29 c 1492s | 24 | 4661660 | 4521062 | 3539 2985 | 0 | 0 1494.84/1495.32 c 1494s | 24 | 4667353 | 4526562 | 3539 2988 | 0 | 0 1496.84/1497.32 c 1496s | 24 | 4673486 | 4532562 | 3539 2991 | 0 | 0 1498.85/1499.33 c 1498s | 24 | 4678870 | 4537762 | 3539 2994 | 0 | 0 1500.84/1501.34 c 1500s | 24 | 4684632 | 4543362 | 3539 2997 | 0 | 0 1502.84/1503.37 c 1502s | 24 | 4689181 | 4547762 | 3539 2999 | 0 | 0 1504.84/1505.38 c 1504s | 24 | 4693554 | 4552062 | 3539 3002 | 0 | 0 1506.84/1507.39 c 1506s | 24 | 4697847 | 4556162 | 3539 3004 | 0 | 0 1508.94/1509.43 c 1508s | 24 | 4702930 | 4560562 | 3539 3006 | 0 | 0 1510.94/1511.45 c 1510s | 24 | 4708613 | 4565862 | 3539 3009 | 0 | 0 1512.94/1513.47 c 1512s | 24 | 4714803 | 4571862 | 3539 3012 | 0 | 0 1515.04/1515.50 c 1514s | 24 | 4720812 | 4577562 | 3539 3015 | 0 | 0 1517.04/1517.53 c 1516s | 24 | 4726844 | 4583362 | 3539 3018 | 0 | 0 1519.04/1519.54 c 1518s | 24 | 4732710 | 4588862 | 3539 3021 | 0 | 0 1521.03/1521.56 c 1520s | 24 | 4736768 | 4592662 | 3539 3023 | 0 | 0 1523.04/1523.57 c 1522s | 24 | 4741276 | 4596862 | 3539 3025 | 0 | 0 1525.03/1525.58 c 1524s | 24 | 4746577 | 4601962 | 3539 3028 | 0 | 0 1527.13/1527.61 c 1526s | 24 | 4752176 | 4607362 | 3539 3031 | 0 | 0 1529.13/1529.63 c 1528s | 24 | 4759051 | 4614062 | 3539 3035 | 0 | 0 1531.13/1531.64 c 1530s | 24 | 4765933 | 4620662 | 3539 3038 | 0 | 0 1533.13/1533.64 c 1532s | 24 | 4771944 | 4626462 | 3539 3041 | 0 | 0 1535.14/1535.67 c 1534s | 24 | 4778195 | 4632462 | 3539 3044 | 0 | 0 1537.13/1537.68 c 1536s | 24 | 4784135 | 4637862 | 3539 3047 | 0 | 0 1539.13/1539.69 c 1538s | 24 | 4789656 | 4643162 | 3539 3050 | 0 | 0 1541.23/1541.70 c 1540s | 24 | 4793873 | 4647162 | 3539 3052 | 0 | 0 1543.23/1543.74 c 1542s | 24 | 4798946 | 4652062 | 3539 3055 | 0 | 0 1545.23/1545.75 c 1544s | 24 | 4804861 | 4657762 | 3539 3058 | 0 | 0 1547.24/1547.79 c 1546s | 24 | 4810264 | 4663062 | 3539 3061 | 0 | 0 1549.33/1549.84 c 1548s | 24 | 4815936 | 4668562 | 3539 3064 | 0 | 0 1551.33/1551.86 c 1550s | 24 | 4821557 | 4674062 | 3539 3066 | 0 | 0 1553.33/1553.87 c 1552s | 24 | 4827413 | 4679662 | 3539 3069 | 0 | 0 1555.43/1555.90 c 1554s | 24 | 4832395 | 4684362 | 3539 3072 | 0 | 0 1557.43/1557.91 c 1556s | 24 | 4838399 | 4690162 | 3539 3075 | 0 | 0 1559.43/1559.91 c 1558s | 24 | 4843883 | 4695562 | 3539 3078 | 0 | 0 1561.43/1561.93 c 1560s | 24 | 4848754 | 4700162 | 3539 3080 | 0 | 0 1563.42/1563.94 c 1562s | 24 | 4853726 | 4704962 | 3539 3083 | 0 | 0 1565.52/1566.01 c 1564s | 24 | 4859502 | 4710562 | 3539 3086 | 0 | 0 1567.52/1568.01 c 1566s | 24 | 4865083 | 4715962 | 3539 3089 | 0 | 0 1569.52/1570.02 c 1568s | 24 | 4871164 | 4721962 | 3539 3092 | 0 | 0 1571.53/1572.04 c 1570s | 24 | 4876907 | 4727462 | 3539 3095 | 0 | 0 1573.52/1574.06 c 1572s | 24 | 4883066 | 4733462 | 3539 3098 | 0 | 0 1575.52/1576.07 c 1574s | 24 | 4889193 | 4739362 | 3539 3101 | 0 | 0 1577.52/1578.08 c 1576s | 24 | 4895208 | 4744962 | 3539 3104 | 0 | 0 1579.62/1580.11 c 1578s | 24 | 4901172 | 4750762 | 3539 3107 | 0 | 0 1581.62/1582.13 c 1580s | 24 | 4907429 | 4756862 | 3539 3110 | 0 | 0 1583.63/1584.16 c 1582s | 24 | 4913732 | 4763062 | 3539 3114 | 0 | 0 1585.62/1586.18 c 1584s | 24 | 4919328 | 4768462 | 3539 3117 | 0 | 0 1587.72/1588.22 c 1586s | 24 | 4925111 | 4774062 | 3539 3120 | 0 | 0 1589.72/1590.23 c 1588s | 24 | 4931715 | 4780362 | 3539 3123 | 0 | 0 1591.72/1592.25 c 1591s | 24 | 4937275 | 4785762 | 3539 3126 | 0 | 0 1593.72/1594.28 c 1593s | 24 | 4942652 | 4791062 | 3539 3128 | 0 | 0 1595.83/1596.32 c 1595s | 24 | 4948369 | 4796662 | 3539 3131 | 0 | 0 1597.83/1598.34 c 1597s | 24 | 4954293 | 4802462 | 3539 3134 | 0 | 0 1599.82/1600.36 c 1599s | 24 | 4960956 | 4808962 | 3539 3138 | 0 | 0 1601.82/1602.37 c 1601s | 24 | 4966983 | 4814862 | 3539 3141 | 0 | 0 1603.82/1604.38 c 1603s | 24 | 4973272 | 4820962 | 3539 3144 | 0 | 0 1605.92/1606.44 c 1605s | 24 | 4979667 | 4827062 | 3539 3148 | 0 | 0 1607.92/1608.47 c 1607s | 24 | 4985914 | 4832762 | 3539 3151 | 0 | 0 1609.93/1610.50 c 1609s | 24 | 4991864 | 4838262 | 3539 3153 | 0 | 0 1612.02/1612.54 c 1611s | 24 | 4997526 | 4843762 | 3539 3156 | 0 | 0 1614.02/1614.59 c 1613s | 24 | 5003596 | 4849562 | 3539 3159 | 0 | 0 1616.12/1616.60 c 1615s | 24 | 5009405 | 4855162 | 3539 3162 | 0 | 0 1618.12/1618.61 c 1617s | 24 | 5014985 | 4860362 | 3539 3165 | 0 | 0 1620.12/1620.61 c 1619s | 24 | 5020876 | 4866062 | 3539 3168 | 0 | 0 1622.12/1622.61 c 1621s | 24 | 5026584 | 4871562 | 3539 3171 | 0 | 0 1624.12/1624.64 c 1623s | 24 | 5032676 | 4877462 | 3539 3174 | 0 | 0 1626.12/1626.67 c 1625s | 24 | 5038593 | 4883262 | 3539 3177 | 0 | 0 1628.12/1628.69 c 1627s | 24 | 5044356 | 4888762 | 3539 3180 | 0 | 0 1630.12/1630.69 c 1629s | 24 | 5049604 | 4893762 | 3539 3183 | 0 | 0 1632.22/1632.71 c 1631s | 24 | 5055793 | 4899862 | 3539 3186 | 0 | 0 1634.22/1634.75 c 1633s | 24 | 5062458 | 4906362 | 3539 3190 | 0 | 0 1636.22/1636.77 c 1635s | 24 | 5068547 | 4912262 | 3539 3193 | 0 | 0 1638.21/1638.77 c 1637s | 24 | 5074396 | 4918062 | 3539 3196 | 0 | 0 1640.21/1640.78 c 1639s | 24 | 5080690 | 4924062 | 3539 3199 | 0 | 0 1642.31/1642.80 c 1641s | 24 | 5086750 | 4929862 | 3539 3202 | 0 | 0 1644.31/1644.83 c 1643s | 24 | 5092065 | 4934862 | 3539 3205 | 0 | 0 1646.32/1646.86 c 1645s | 24 | 5097920 | 4940162 | 3539 3207 | 0 | 0 1648.31/1648.88 c 1647s | 24 | 5103838 | 4945862 | 3539 3210 | 0 | 0 1650.31/1650.90 c 1649s | 24 | 5110211 | 4952062 | 3539 3214 | 0 | 0 1652.41/1652.90 c 1651s | 24 | 5116449 | 4958162 | 3539 3217 | 0 | 0 1654.41/1654.93 c 1653s | 24 | 5121984 | 4963462 | 3539 3220 | 0 | 0 1656.41/1656.96 c 1655s | 24 | 5128489 | 4969662 | 3539 3223 | 0 | 0 1658.41/1658.98 c 1657s | 24 | 5134858 | 4975762 | 3539 3226 | 0 | 0 1660.41/1660.98 c 1659s | 24 | 5140513 | 4981062 | 3539 3229 | 0 | 0 1662.51/1663.01 c 1661s | 24 | 5145875 | 4986262 | 3539 3232 | 0 | 0 1664.51/1665.02 c 1663s | 24 | 5152398 | 4992662 | 3539 3235 | 0 | 0 1666.51/1667.03 c 1665s | 24 | 5159027 | 4999062 | 3539 3238 | 0 | 0 1668.51/1669.06 c 1667s | 24 | 5165465 | 5005262 | 3539 3242 | 0 | 0 1670.51/1671.06 c 1669s | 24 | 5171589 | 5011162 | 3539 3245 | 0 | 0 1672.50/1673.09 c 1671s | 24 | 5178122 | 5017562 | 3539 3248 | 0 | 0 1674.50/1675.09 c 1673s | 24 | 5184371 | 5023562 | 3539 3251 | 0 | 0 1676.60/1677.11 c 1675s | 24 | 5190670 | 5029662 | 3893 3254 | 0 | 0 1678.60/1679.11 c 1677s | 24 | 5196451 | 5035162 | 3893 3257 | 0 | 0 1680.60/1681.14 c 1679s | 24 | 5202594 | 5041162 | 3893 3260 | 0 | 0 1682.61/1683.17 c 1681s | 24 | 5208067 | 5046362 | 3893 3262 | 0 | 0 1684.60/1685.17 c 1683s | 24 | 5213766 | 5051862 | 3893 3265 | 0 | 0 1686.70/1687.21 c 1685s | 24 | 5219704 | 5057662 | 3893 3268 | 0 | 0 1688.70/1689.23 c 1687s | 24 | 5225485 | 5063162 | 3893 3271 | 0 | 0 1689.40/1689.92 c 1688s | 25 | 5227481 | 5065098 | 3893 3272 | 0 | 0 1691.41/1691.92 c 1690s | 25 | 5234493 | 5071998 | 3893 3275 | 0 | 0 1693.40/1693.94 c 1692s | 25 | 5241282 | 5078698 | 3893 3278 | 0 | 0 1695.40/1695.98 c 1694s | 25 | 5248192 | 5085498 | 3893 3282 | 0 | 0 1697.40/1697.98 c 1696s | 25 | 5254848 | 5092098 | 3893 3285 | 0 | 0 1699.50/1700.00 c 1698s | 25 | 5261234 | 5098398 | 3893 3288 | 0 | 0 1701.50/1702.02 c 1700s | 25 | 5266866 | 5103998 | 3893 3291 | 0 | 0 1703.51/1704.03 c 1702s | 25 | 5273029 | 5110098 | 3893 3294 | 0 | 0 1705.50/1706.06 c 1704s | 25 | 5278615 | 5115598 | 3893 3296 | 0 | 0 1707.50/1708.06 c 1706s | 25 | 5285217 | 5122098 | 3893 3300 | 0 | 0 1709.50/1710.06 c 1708s | 25 | 5291189 | 5127998 | 3893 3302 | 0 | 0 1711.50/1712.06 c 1710s | 25 | 5297590 | 5134298 | 3893 3306 | 0 | 0 1713.50/1714.09 c 1712s | 25 | 5304207 | 5140798 | 3893 3309 | 0 | 0 1715.60/1716.12 c 1714s | 25 | 5310262 | 5146798 | 3893 3312 | 0 | 0 1717.59/1718.14 c 1716s | 25 | 5316622 | 5153098 | 3893 3315 | 0 | 0 1719.59/1720.15 c 1718s | 25 | 5323198 | 5159598 | 3893 3318 | 0 | 0 1721.59/1722.18 c 1720s | 25 | 5329587 | 5165898 | 3893 3321 | 0 | 0 1723.59/1724.19 c 1722s | 25 | 5336558 | 5172798 | 3893 3325 | 0 | 0 1725.69/1726.21 c 1724s | 25 | 5344013 | 5180098 | 3893 3328 | 0 | 0 1727.70/1728.23 c 1726s | 25 | 5350593 | 5186498 | 3893 3331 | 0 | 0 1729.69/1730.23 c 1728s | 25 | 5356748 | 5192498 | 3893 3334 | 0 | 0 1731.69/1732.24 c 1730s | 25 | 5363105 | 5198698 | 3893 3337 | 0 | 0 1733.69/1734.27 c 1733s | 25 | 5369378 | 5204898 | 3893 3340 | 0 | 0 1735.69/1736.28 c 1735s | 25 | 5374735 | 5210198 | 3893 3343 | 0 | 0 1737.79/1738.30 c 1737s | 25 | 5380858 | 5216198 | 3893 3346 | 0 | 0 1739.80/1740.32 c 1739s | 25 | 5386891 | 5222098 | 3893 3349 | 0 | 0 1741.79/1742.34 c 1741s | 25 | 5392683 | 5227798 | 3893 3352 | 0 | 0 1743.79/1744.37 c 1743s | 25 | 5399399 | 5234398 | 3893 3355 | 0 | 0 1745.79/1746.38 c 1745s | 25 | 5405671 | 5240598 | 3893 3358 | 0 | 0 1747.79/1748.39 c 1747s | 25 | 5411552 | 5246398 | 3893 3361 | 0 | 0 1749.89/1750.41 c 1749s | 25 | 5418573 | 5253198 | 3893 3364 | 0 | 0 1751.89/1752.41 c 1751s | 25 | 5425251 | 5259798 | 3893 3368 | 0 | 0 1753.89/1754.42 c 1753s | 25 | 5432134 | 5266598 | 3893 3371 | 0 | 0 1755.89/1756.43 c 1755s | 25 | 5439066 | 5273398 | 3893 3374 | 0 | 0 1757.88/1758.43 c 1757s | 25 | 5445588 | 5279698 | 3893 3377 | 0 | 0 1759.88/1760.46 c 1759s | 25 | 5452265 | 5286198 | 3893 3381 | 0 | 0 1761.89/1762.46 c 1761s | 25 | 5458882 | 5292698 | 3893 3384 | 0 | 0 1763.90/1764.47 c 1763s | 25 | 5465529 | 5299198 | 3893 3387 | 0 | 0 1765.99/1766.50 c 1765s | 25 | 5472434 | 5305998 | 3893 3390 | 0 | 0 1767.99/1768.51 c 1767s | 25 | 5478926 | 5312398 | 3893 3393 | 0 | 0 1769.99/1770.52 c 1769s | 25 | 5485670 | 5318998 | 3893 3397 | 0 | 0 1771.99/1772.53 c 1771s | 25 | 5492559 | 5325698 | 3893 3400 | 0 | 0 1773.99/1774.56 c 1773s | 25 | 5499065 | 5332098 | 3893 3403 | 0 | 0 1775.99/1776.57 c 1775s | 25 | 5505341 | 5338298 | 3893 3406 | 0 | 0 1777.99/1778.58 c 1777s | 25 | 5511965 | 5344698 | 3893 3409 | 0 | 0 1779.98/1780.58 c 1779s | 25 | 5518486 | 5351098 | 3893 3413 | 0 | 0 1781.98/1782.59 c 1781s | 25 | 5525496 | 5357798 | 3893 3416 | 0 | 0 1784.08/1784.60 c 1783s | 25 | 5532518 | 5364598 | 3893 3419 | 0 | 0 1786.08/1786.63 c 1785s | 25 | 5539120 | 5370998 | 3893 3422 | 0 | 0 1788.09/1788.67 c 1787s | 25 | 5545697 | 5377498 | 3893 3426 | 0 | 0 1790.08/1790.68 c 1789s | 25 | 5552884 | 5384498 | 3893 3429 | 0 | 0 1792.08/1792.69 c 1791s | 25 | 5559301 | 5390798 | 3893 3432 | 0 | 0 1794.18/1794.70 c 1793s | 25 | 5565524 | 5396898 | 3893 3435 | 0 | 0 1796.18/1796.72 c 1795s | 25 | 5571943 | 5403198 | 3893 3438 | 0 | 0 1798.18/1798.74 c 1797s | 25 | 5578356 | 5409498 | 3893 3441 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106133-1466266000/watcher-4106133-1466266000 -o /tmp/evaluation-result-4106133-1466266000/solver-4106133-1466266000 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13250 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106133-1466266000.opb pid=13640 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.96 2.05 2.07 3/179 13643 /proc/meminfo: memFree=30099024/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=749124 CPUtime=0 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 2801 0 0 0 0 0 0 0 20 0 4 0 28649244 767102976 3672 33554432000 4194304 16246674 140734060215968 140734060215392 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13643/statm: 188049 3682 442 2943 0 184943 0 [pid=13643/tid=13644] ppid=13640 vsize=766532 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 784928768 3740 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=770628 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 789123072 3756 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=775748 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 794365952 3773 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100181 s] /proc/loadavg: 1.96 2.05 2.07 3/179 13643 /proc/meminfo: memFree=30099024/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 20605 0 0 0 6 3 0 0 20 0 4 0 28649244 1247350784 21464 33554432000 4194304 16246674 140734060215968 140734060197888 5723366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13643/statm: 304529 21471 759 2943 0 301423 0 [pid=13643/tid=13644] ppid=13640 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1247350784 21476 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1247350784 21482 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1247350784 21486 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200524 s] /proc/loadavg: 1.96 2.05 2.07 3/179 13643 /proc/meminfo: memFree=30099024/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 38698 0 0 0 14 5 0 0 20 0 4 0 28649244 1247350784 39557 33554432000 4194304 16246674 140734060215968 140734060197888 12478461 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13643/statm: 304529 39563 759 2943 0 301423 0 [pid=13643/tid=13644] ppid=13640 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1247350784 39568 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1247350784 39574 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1247350784 39580 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300495 s] /proc/loadavg: 1.96 2.05 2.07 3/179 13643 /proc/meminfo: memFree=30099024/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1218116 CPUtime=0.28 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 55591 0 0 0 21 7 0 0 20 0 4 0 28649244 1247350784 56450 33554432000 4194304 16246674 140734060215968 140734060197888 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13643/statm: 304529 56459 766 2943 0 301423 0 [pid=13643/tid=13644] ppid=13640 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1247350784 56465 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1247350784 56469 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1247350784 56476 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700413 s] /proc/loadavg: 1.96 2.05 2.07 3/179 13643 /proc/meminfo: memFree=30099024/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 125225 0 0 0 52 17 0 0 20 0 4 0 28649244 1247350784 126084 33554432000 4194304 16246674 140734060215968 140734060197888 13759916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13643/statm: 304529 126092 766 2943 0 301423 0 [pid=13643/tid=13644] ppid=13640 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1247350784 126098 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1247350784 126103 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1247350784 126109 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 1.96 2.05 2.07 3/183 13647 /proc/meminfo: memFree=29318044/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1220164 CPUtime=1.48 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 245893 0 0 0 116 32 0 0 20 0 4 0 28649244 1249447936 246729 33554432000 4194304 16246674 140734060215968 140734060215184 5712760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13643/statm: 305041 246729 850 2943 0 301935 0 [pid=13643/tid=13644] ppid=13640 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1249447936 246729 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1249447936 246729 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1249447936 246729 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1220164 [startup+3.10042 s] /proc/loadavg: 1.96 2.05 2.07 3/183 13647 /proc/meminfo: memFree=29112444/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1305156 CPUtime=3.09 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 267187 0 0 0 274 35 0 0 20 0 4 0 28649244 1336479744 268023 33554432000 4194304 16246674 140734060215968 140734060197888 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13643/statm: 326289 268023 850 2943 0 323183 0 [pid=13643/tid=13644] ppid=13640 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1336479744 268023 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1336479744 268023 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1336479744 268023 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1305156 [startup+6.30043 s] /proc/loadavg: 1.96 2.05 2.07 3/183 13647 /proc/meminfo: memFree=29025524/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1308228 CPUtime=6.29 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 267934 0 0 0 594 35 0 0 20 0 4 0 28649244 1339625472 268770 33554432000 4194304 16246674 140734060215968 140734060198968 5672838 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13643/statm: 327057 268770 851 2943 0 323951 0 [pid=13643/tid=13644] ppid=13640 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1339625472 268770 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1339625472 268770 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1339625472 268770 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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: 1.96 2.05 2.07 3/183 13647 /proc/meminfo: memFree=29022732/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1309252 CPUtime=12.69 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 268387 0 0 0 1234 35 0 0 20 0 4 0 28649244 1340674048 269223 33554432000 4194304 16246674 140734060215968 140734060197888 5711892 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13643/statm: 327313 269223 852 2943 0 324207 0 [pid=13643/tid=13644] ppid=13640 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1340674048 269223 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1340674048 269223 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1340674048 269223 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1309252 [startup+25.5005 s] /proc/loadavg: 1.97 2.05 2.07 3/183 13647 /proc/meminfo: memFree=29020992/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1310276 CPUtime=25.48 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 268667 0 0 0 2513 35 0 0 20 0 4 0 28649244 1341722624 269503 33554432000 4194304 16246674 140734060215968 140734060198968 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13643/statm: 327569 269503 854 2943 0 324463 0 [pid=13643/tid=13644] ppid=13640 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1341722624 269503 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1341722624 269503 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1341722624 269503 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1310276 [startup+51.1005 s] /proc/loadavg: 1.98 2.04 2.07 3/183 13647 /proc/meminfo: memFree=29020820/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1310276 CPUtime=51.08 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 268667 0 0 0 5072 36 0 0 20 0 4 0 28649244 1341722624 269503 33554432000 4194304 16246674 140734060215968 140734060197888 12477752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13643/statm: 327569 269503 854 2943 0 324463 0 [pid=13643/tid=13644] ppid=13640 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1341722624 269503 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1341722624 269503 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1341722624 269503 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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: 1.99 2.03 2.06 3/183 13648 /proc/meminfo: memFree=29020576/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1310276 CPUtime=102.28 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 268667 0 0 0 10192 36 0 0 20 0 4 0 28649244 1341722624 269503 33554432000 4194304 16246674 140734060215968 140734060197888 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13643/statm: 327569 269503 854 2943 0 324463 0 [pid=13643/tid=13644] ppid=13640 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1341722624 269503 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1341722624 269503 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1341722624 269503 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1310276 ################ # More data... # ################ /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271707 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1319492 [startup+1302.3 s] /proc/loadavg: 2.10 2.07 2.03 3/183 13679 /proc/meminfo: memFree=29001480/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1319492 CPUtime=1301.89 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 271362 0 0 0 130140 49 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140734060213760 5822761 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13643/statm: 329873 271812 856 2943 0 326767 0 [pid=13643/tid=13644] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1319492 [startup+1362.3 s] /proc/loadavg: 2.07 2.07 2.03 3/183 13680 /proc/meminfo: memFree=28998400/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1319492 CPUtime=1361.86 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 271405 0 0 0 136137 49 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140734060197888 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13643/statm: 329873 271812 856 2943 0 326767 0 [pid=13643/tid=13644] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1319492 [startup+1422.3 s] /proc/loadavg: 2.16 2.08 2.04 3/184 13685 /proc/meminfo: memFree=28998568/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1319492 CPUtime=1421.86 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 271405 0 0 0 142136 50 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140734060197888 13949905 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13643/statm: 329873 271812 856 2943 0 326767 0 [pid=13643/tid=13644] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1319492 [startup+1482.3 s] /proc/loadavg: 2.10 2.08 2.04 3/183 13686 /proc/meminfo: memFree=28998196/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1319492 CPUtime=1481.84 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 271405 0 0 0 148134 50 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140734060197888 6021920 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13643/statm: 329873 271812 856 2943 0 326767 0 [pid=13643/tid=13644] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1319492 [startup+1542.31 s] /proc/loadavg: 2.04 2.06 2.03 3/183 13687 /proc/meminfo: memFree=28998072/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1319492 CPUtime=1541.84 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 271405 0 0 0 154133 51 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140734060197888 5677403 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13643/statm: 329873 271812 856 2943 0 326767 0 [pid=13643/tid=13644] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1319492 [startup+1602.3 s] /proc/loadavg: 2.01 2.05 2.02 4/183 13688 /proc/meminfo: memFree=28998192/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1319492 CPUtime=1601.82 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 271405 0 0 0 160130 52 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140734060197888 13965456 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13643/statm: 329873 271812 856 2943 0 326767 0 [pid=13643/tid=13644] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1319492 [startup+1662.3 s] /proc/loadavg: 2.00 2.04 2.02 3/183 13689 /proc/meminfo: memFree=28998076/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1319492 CPUtime=1661.81 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 271405 0 0 0 166129 52 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140734060197888 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13643/statm: 329873 271812 856 2943 0 326767 0 [pid=13643/tid=13644] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1319492 [startup+1722.3 s] /proc/loadavg: 2.14 2.07 2.03 3/183 13691 /proc/meminfo: memFree=28997956/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1319492 CPUtime=1721.79 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 271405 0 0 0 172127 52 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140734060197888 13191773 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13643/statm: 329873 271812 856 2943 0 326767 0 [pid=13643/tid=13644] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1319492 [startup+1782.3 s] /proc/loadavg: 2.09 2.07 2.03 3/183 13790 /proc/meminfo: memFree=29021812/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1319492 CPUtime=1781.78 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 271405 0 0 0 178125 53 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140734060198968 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13643/statm: 329873 271812 856 2943 0 326767 0 [pid=13643/tid=13644] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1319492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.14 2.08 2.03 3/183 13790 /proc/meminfo: memFree=29020288/32872528 swapFree=681964/737152 [pid=13643] ppid=13640 vsize=1319492 CPUtime=1800.08 cores=1,3,5,7 /proc/13643/stat : 13643 (toysat) R 13640 13643 13233 0 -1 4202496 271405 0 0 0 179955 53 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140734060197888 5600869 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13643/statm: 329873 271812 856 2943 0 326767 0 [pid=13643/tid=13644] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13644/stat : 13644 (toysat) S 13640 13643 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114640481520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13643/tid=13645] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13645/stat : 13645 (toysat) S 13640 13643 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114629991664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13643/tid=13646] ppid=13640 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13643/task/13646/stat : 13646 (toysat) S 13640 13643 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649244 1351159808 271812 33554432000 4194304 16246674 140734060215968 140114516765872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1319492 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 13643 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.56 CPU system time (s): 0.536918 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 1319492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.536918 maximum resident set size= 1087248 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271405 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= 445 involuntary context switches= 2266 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.39203 second user time and 8.68568 second system time The end
Begin job on node112 at 2016-06-18 18:06:40 IDJOB=4106133 IDBENCH=47947 IDSOLVER=2542 FILE ID=node112/4106133-1466266000 RUNJOBID= node112-1466264161-13250 PBS_JOBID= 19918218 Free space on /tmp= 71696 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=487-P1=163-P2=173-P3=211-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106133-1466266000/watcher-4106133-1466266000 -o /tmp/evaluation-result-4106133-1466266000/solver-4106133-1466266000 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13250 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106133-1466266000.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fb1c97600aa303ca13bb2482d5ad3e27 RANDOM SEED=1576934092 node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.46 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5321.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30099452 kB Buffers: 59572 kB Cached: 154424 kB SwapCached: 2028 kB Active: 1178424 kB Inactive: 123148 kB Active(anon): 1087836 kB Inactive(anon): 2096 kB Active(file): 90588 kB Inactive(file): 121052 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096744 kB Dirty: 32832 kB Writeback: 0 kB AnonPages: 1830240 kB Mapped: 10424 kB Shmem: 0 kB Slab: 601916 kB SReclaimable: 45672 kB SUnreclaim: 556244 kB KernelStack: 1520 kB PageTables: 7624 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1966488 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 65536 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= 71680 MiB End job on node112 at 2016-06-18 18:36:41