| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=149-P1=191-P2=199-B.opb |
| MD5SUM | 2b352a53cf64b38d9bda6afbed4525e8 |
| 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.046992 |
| 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 | 54 |
| Total number of constraints | 5 |
| 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 | 5 |
| 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) | 162 |
| Sum of products size (including duplicates) | 324 |
| Number of different products | 162 |
| Sum of products size | 324 |
0.00/0.00 c 2016-06-18T19:16:05+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-4106358-1466270165.opb"] 0.00/0.01 c use --random-gen="1298432899 3402215302 924979406 2141466518 1131746055 686040759 3201543841 3414818202 981374244 3094282769 3330121893 1732485180 4209835097 860901524 3709325975 3823160032 2043225924 759627142 560283817 1457140276 3266703962 3401879371 1203043146 949383179 940572818 2007500133 1782578845 1387542881 1712223607 282911514 2608103310 660651348 3183675756 3585844684 4277778007 2638874662 942726781 1766974336 398715298 4095048440 3289942849 3117686971 2811431675 2827181431 1543755207 3372957816 1466291166 3740552692 4195023560 4005254501 1602842008 1701793322 1718916623 2092235637 332813956 3678923145 3199964676 1882306482 4122065611 1363400832 2815312248 724080971 39446603 2684240745 55461171 68779926 3209580748 816582687 3205188203 2191820776 859035617 2274812180 3889945709 3222585606 4251419089 1864480581 467404169 3778497701 2493298674 2693904757 1761597071 3996066015 3610629228 4134718362 2110454560 1581387306 1469212048 2719101952 2673068686 4138614373 718482709 4103742118 2747360920 2316489424 3109246237 3322685717 3694834164 2804710811 1599220538 911658537 3438984514 3341972010 1299384868 1485452938 1426788502 1823482636 968663083 1836016482 1978030469 1033704285 3677408972 3132815158 2996675000 2706464939 3060215666 2138313164 2681942063 4273065363 432304948 2440232835 3943479637 521329015 4045138612 2584099081 123478168 3468178988 915844257 1156629702 2971036314 1872967781 265480225 4254471106 2450713423 2913885301 3251605478 3806877468 756800546 201086498 2358571255 346703668 1313301468 2678142029 1763581108 888808428 619375786 1097182741 3779356135 1138617864 2727794230 1736788109 3039161204 328486251 1503665637 3741790987 1937500535 1676606490 1230175424 2938143107 4095124482 659251684 528070799 2610924373 3698114624 2444358324 919433581 683887244 487453307 3334429013 1348754672 3477165510 2761275614 1293855968 1206870834 3477316110 2691587133 4251949442 2211734188 848830103 2228445507 456814401 4290517959 746971338 3468150936 3834867108 1463648407 3741839957 1794658761 340357659 3387333067 488988777 1388415763 2386627835 18009102 2094086771 4104574192 1313567984 1456825240 1693107605 3531097463 3716052511 3761314449 3305833586 2048023524 4119454078 2268169805 1192590844 3679755805 1812105129 2417894261 1872871205 2543314468 2544814096 3861217241 2063241123 312885585 1107512472 4287832354 1104813556 3073510216 2250538980 2671827229 2240214768 1155589209 2189140606 2055888721 175339670 3309882204 2101335216 2882424635 290278411 944158730 2256840176 2582411832 113802718 1057506893 1125373133 1393753701 919098973 314827097 149682419 803213669 2341707411 1875226587 3782162173 2413108114 2037200169 3023493455 2207960448 2041983788 3429587784 1319607119 3632912075 2250853909 1402432841 1450725498 1673308840 255 362436" option to reproduce the execution 0.00/0.01 c #vars 54 0.00/0.01 c #constraints 5 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 236 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 125 | 100 | 236 0 | 0 | 0 0.08/0.13 c 0.1s | 2 | 295 | 250 | 260 0 | 0 | 0 0.08/0.18 c 0.2s | 3 | 537 | 475 | 286 1 | 0 | 0 0.19/0.26 c 0.2s | 4 | 910 | 813 | 315 2 | 0 | 0 0.29/0.37 c 0.4s | 4 | 1114 | 996 | 347 3 | 0 | 0 0.29/0.37 c #cpu_time = 0.355s 0.29/0.37 c #wall_clock_time = 0.356s 0.29/0.37 c #decision = 1114 0.29/0.37 c #random_decision = 2 0.29/0.37 c #conflict = 996 0.29/0.37 c #restart = 4 0.29/0.37 o 507 0.29/0.37 c BCD2: updating upper bound: 511 -> 506 0.29/0.37 c BCD2: 0 <= obj <= 506 0.29/0.37 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=1 bias=1/2 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 347 0 | 0 | 0 0.29/0.37 c 0.0s | 0 | 7 | 0 | 347 1 | 0 | 0 0.29/0.37 c #cpu_time = 0.004s 0.29/0.37 c #wall_clock_time = 0.004s 0.29/0.37 c #decision = 7 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 8: cost of the new core is >=2 0.29/0.37 c lower bound updated to 2 0.29/0.37 c BCD2: 2 <= obj <= 506 0.29/0.37 c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=2 bias=2/3 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 347 0 | 0 | 0 0.39/0.40 c 0.0s | 1 | 143 | 100 | 347 0 | 0 | 0 0.39/0.48 c 0.1s | 2 | 317 | 250 | 347 0 | 0 | 0 0.49/0.54 c 0.2s | 3 | 560 | 475 | 382 1 | 0 | 0 0.59/0.62 c 0.2s | 4 | 912 | 813 | 382 3 | 0 | 0 0.69/0.73 c 0.4s | 5 | 1459 | 1320 | 421 5 | 0 | 0 0.89/0.92 c 0.5s | 6 | 2263 | 2081 | 421 8 | 0 | 0 1.19/1.25 c 0.9s | 7 | 3470 | 3223 | 464 12 | 0 | 0 1.79/1.84 c 1.5s | 8 | 5370 | 4936 | 511 17 | 0 | 0 2.39/2.41 c 2.0s | 9 | 8032 | 7506 | 563 24 | 0 | 0 3.30/3.34 c 3.0s | 10 | 12157 | 11361 | 620 35 | 0 | 0 4.50/4.51 c 4.1s | 11 | 18071 | 17144 | 682 49 | 0 | 0 6.49/6.52 c 6.1s | 11 | 26509 | 25144 | 751 69 | 0 | 0 6.60/6.64 c 6.3s | 12 | 27195 | 25819 | 751 70 | 0 | 0 8.59/8.65 c 8.3s | 12 | 35813 | 34319 | 751 89 | 0 | 0 9.69/9.77 c 9.4s | 13 | 40423 | 38832 | 827 99 | 0 | 0 11.69/11.78 c 11.4s | 13 | 48670 | 46632 | 827 115 | 0 | 0 13.79/13.80 c 13.4s | 13 | 57500 | 55232 | 827 133 | 0 | 0 14.49/14.53 c 14.2s | 14 | 60696 | 58352 | 910 139 | 0 | 0 16.49/16.55 c 16.2s | 14 | 69506 | 67052 | 910 156 | 0 | 0 18.48/18.57 c 18.2s | 14 | 78245 | 75752 | 910 172 | 0 | 0 20.48/20.57 c 20.2s | 14 | 86263 | 83752 | 910 187 | 0 | 0 21.38/21.49 c 21.1s | 15 | 90242 | 87632 | 1002 194 | 0 | 0 23.48/23.52 c 23.1s | 15 | 98368 | 95532 | 1002 208 | 0 | 0 25.48/25.53 c 25.2s | 15 | 106858 | 103832 | 1002 222 | 0 | 0 27.49/27.55 c 27.2s | 15 | 115152 | 111932 | 1002 237 | 0 | 0 29.48/29.57 c 29.2s | 15 | 123488 | 120132 | 1002 251 | 0 | 0 31.58/31.60 c 31.2s | 15 | 131759 | 128232 | 1002 265 | 0 | 0 32.28/32.39 c 32.0s | 16 | 135160 | 131552 | 1103 271 | 0 | 0 34.38/34.40 c 34.0s | 16 | 143613 | 139852 | 1103 284 | 0 | 0 36.39/36.42 c 36.0s | 16 | 152341 | 148552 | 1103 298 | 0 | 0 38.38/38.44 c 38.1s | 16 | 160884 | 157052 | 1103 311 | 0 | 0 40.39/40.44 c 40.1s | 16 | 169800 | 165752 | 1103 325 | 0 | 0 42.39/42.45 c 42.1s | 16 | 178448 | 174352 | 1103 339 | 0 | 0 44.38/44.47 c 44.1s | 16 | 187039 | 182852 | 1103 352 | 0 | 0 46.38/46.48 c 46.1s | 16 | 195686 | 191352 | 1103 366 | 0 | 0 47.88/47.91 c 47.5s | 17 | 201881 | 197432 | 1214 375 | 0 | 0 49.88/49.92 c 49.5s | 17 | 209173 | 204232 | 1214 385 | 0 | 0 51.88/51.92 c 51.5s | 17 | 218125 | 212932 | 1214 398 | 0 | 0 53.89/53.94 c 53.6s | 17 | 227812 | 222332 | 1214 412 | 0 | 0 55.88/55.96 c 55.6s | 17 | 236933 | 231132 | 1214 425 | 0 | 0 57.88/57.97 c 57.6s | 17 | 246189 | 240132 | 1214 439 | 0 | 0 59.88/59.97 c 59.6s | 17 | 255455 | 249032 | 1214 452 | 0 | 0 61.88/61.98 c 61.6s | 17 | 264293 | 257432 | 1214 465 | 0 | 0 63.98/64.00 c 63.6s | 17 | 273839 | 266632 | 1214 478 | 0 | 0 65.99/66.01 c 65.6s | 17 | 282741 | 275332 | 1214 491 | 0 | 0 67.98/68.02 c 67.6s | 17 | 291730 | 283732 | 1214 504 | 0 | 0 69.98/70.03 c 69.7s | 17 | 300588 | 292332 | 1214 517 | 0 | 0 70.88/70.94 c 70.6s | 18 | 304681 | 296252 | 1336 522 | 0 | 0 72.88/72.96 c 72.6s | 18 | 313872 | 305252 | 1336 534 | 0 | 0 74.88/74.96 c 74.6s | 18 | 322711 | 313952 | 1336 546 | 0 | 0 76.88/76.97 c 76.6s | 18 | 331254 | 322352 | 1336 557 | 0 | 0 78.88/78.97 c 78.6s | 18 | 340003 | 330952 | 1336 568 | 0 | 0 80.88/80.99 c 80.6s | 18 | 348717 | 339552 | 1336 580 | 0 | 0 82.87/82.99 c 82.6s | 18 | 357044 | 347852 | 1336 591 | 0 | 0 84.97/85.02 c 84.6s | 18 | 365029 | 355752 | 1336 602 | 0 | 0 86.98/87.04 c 86.7s | 18 | 373457 | 364052 | 1336 613 | 0 | 0 88.97/89.06 c 88.7s | 18 | 381762 | 372252 | 1336 624 | 0 | 0 90.97/91.07 c 90.7s | 18 | 389506 | 379952 | 1336 635 | 0 | 0 92.98/93.08 c 92.7s | 18 | 397770 | 388052 | 1336 646 | 0 | 0 94.98/95.08 c 94.7s | 18 | 406028 | 396252 | 1336 657 | 0 | 0 96.98/97.09 c 96.7s | 18 | 414718 | 404852 | 1336 668 | 0 | 0 99.08/99.10 c 98.7s | 18 | 423194 | 413152 | 1336 680 | 0 | 0 101.08/101.11 c 100s | 18 | 431248 | 421152 | 1336 690 | 0 | 0 103.08/103.13 c 102s | 18 | 439715 | 429452 | 1336 702 | 0 | 0 105.08/105.15 c 104s | 18 | 448052 | 437652 | 1336 713 | 0 | 0 106.88/106.90 c 106s | 19 | 454898 | 444482 | 1470 721 | 0 | 0 108.78/108.90 c 108s | 19 | 462163 | 451482 | 1470 730 | 0 | 0 110.88/110.92 c 110s | 19 | 469953 | 459082 | 1470 739 | 0 | 0 112.87/112.94 c 112s | 19 | 478241 | 467182 | 1470 749 | 0 | 0 114.87/114.97 c 114s | 19 | 485949 | 474682 | 1470 759 | 0 | 0 116.87/116.99 c 116s | 19 | 494535 | 483082 | 1470 769 | 0 | 0 118.88/118.99 c 118s | 19 | 502783 | 491182 | 1470 779 | 0 | 0 120.87/120.99 c 120s | 19 | 511187 | 499382 | 1470 790 | 0 | 0 122.97/123.00 c 122s | 19 | 519735 | 507682 | 1470 800 | 0 | 0 124.97/125.02 c 124s | 19 | 528141 | 515882 | 1470 810 | 0 | 0 126.97/127.02 c 126s | 19 | 536595 | 523882 | 1470 820 | 0 | 0 128.97/129.03 c 128s | 19 | 544835 | 531582 | 1470 830 | 0 | 0 130.98/131.06 c 130s | 19 | 552787 | 539282 | 1470 839 | 0 | 0 132.97/133.06 c 132s | 19 | 560743 | 546982 | 1470 849 | 0 | 0 134.97/135.08 c 134s | 19 | 569603 | 555582 | 1470 860 | 0 | 0 137.07/137.10 c 136s | 19 | 578859 | 564582 | 1470 871 | 0 | 0 139.07/139.11 c 138s | 19 | 587789 | 573282 | 1470 882 | 0 | 0 141.07/141.11 c 140s | 19 | 597033 | 582282 | 1470 893 | 0 | 0 143.07/143.11 c 142s | 19 | 606121 | 591082 | 1470 904 | 0 | 0 145.07/145.13 c 144s | 19 | 613941 | 598582 | 1470 913 | 0 | 0 147.06/147.14 c 146s | 19 | 621854 | 606182 | 1470 923 | 0 | 0 149.06/149.16 c 148s | 19 | 630325 | 614282 | 1470 933 | 0 | 0 151.06/151.18 c 150s | 19 | 638819 | 622482 | 1470 943 | 0 | 0 153.06/153.19 c 152s | 19 | 647118 | 630482 | 1470 953 | 0 | 0 155.17/155.21 c 154s | 19 | 654801 | 637882 | 1470 962 | 0 | 0 157.16/157.23 c 156s | 19 | 662506 | 645282 | 1470 971 | 0 | 0 159.16/159.24 c 158s | 19 | 671183 | 653782 | 1470 982 | 0 | 0 161.16/161.26 c 160s | 19 | 679268 | 661482 | 1618 991 | 0 | 0 162.66/162.74 c 162s | 20 | 685034 | 666827 | 1618 997 | 0 | 0 164.66/164.76 c 164s | 20 | 693658 | 675327 | 1618 1007 | 0 | 0 166.66/166.77 c 166s | 20 | 701490 | 683127 | 1618 1016 | 0 | 0 168.66/168.78 c 168s | 20 | 709611 | 691227 | 1618 1025 | 0 | 0 170.66/170.78 c 170s | 20 | 717518 | 699027 | 1618 1034 | 0 | 0 172.67/172.80 c 172s | 20 | 725781 | 707227 | 1618 1043 | 0 | 0 174.76/174.82 c 174s | 20 | 733561 | 714927 | 1618 1052 | 0 | 0 176.76/176.84 c 176s | 20 | 741408 | 722727 | 1618 1061 | 0 | 0 178.76/178.85 c 178s | 20 | 749304 | 730527 | 1618 1070 | 0 | 0 180.76/180.86 c 180s | 20 | 757208 | 738227 | 1618 1078 | 0 | 0 182.76/182.88 c 182s | 20 | 765365 | 746327 | 1618 1088 | 0 | 0 184.77/184.88 c 184s | 20 | 773393 | 754327 | 1618 1097 | 0 | 0 186.76/186.89 c 186s | 20 | 781488 | 762327 | 1618 1106 | 0 | 0 188.86/188.92 c 188s | 20 | 789818 | 770427 | 1618 1115 | 0 | 0 190.86/190.92 c 190s | 20 | 797905 | 778327 | 1618 1124 | 0 | 0 192.86/192.94 c 192s | 20 | 805758 | 786027 | 1618 1133 | 0 | 0 194.86/194.95 c 194s | 20 | 813627 | 793827 | 1618 1142 | 0 | 0 196.87/196.98 c 196s | 20 | 822181 | 802227 | 1618 1151 | 0 | 0 198.96/199.00 c 198s | 20 | 830622 | 810427 | 1618 1160 | 0 | 0 200.96/201.01 c 200s | 20 | 838597 | 818327 | 1618 1169 | 0 | 0 202.96/203.02 c 202s | 20 | 846681 | 826327 | 1618 1178 | 0 | 0 204.96/205.04 c 204s | 20 | 854634 | 834227 | 1618 1187 | 0 | 0 206.96/207.06 c 206s | 20 | 862461 | 842027 | 1618 1196 | 0 | 0 208.97/209.09 c 208s | 20 | 870036 | 849527 | 1618 1205 | 0 | 0 210.96/211.09 c 210s | 20 | 877788 | 857227 | 1618 1214 | 0 | 0 213.06/213.12 c 212s | 20 | 885757 | 865027 | 1618 1223 | 0 | 0 215.06/215.13 c 214s | 20 | 893608 | 872827 | 1618 1231 | 0 | 0 217.06/217.13 c 216s | 20 | 901242 | 880327 | 1618 1240 | 0 | 0 219.06/219.16 c 218s | 20 | 908566 | 887527 | 1618 1248 | 0 | 0 221.07/221.17 c 220s | 20 | 916036 | 894827 | 1618 1256 | 0 | 0 223.06/223.18 c 222s | 20 | 924142 | 902827 | 1618 1265 | 0 | 0 225.06/225.18 c 224s | 20 | 931893 | 910527 | 1618 1274 | 0 | 0 227.06/227.19 c 226s | 20 | 939611 | 918127 | 1618 1283 | 0 | 0 229.16/229.22 c 228s | 20 | 947328 | 925727 | 1618 1292 | 0 | 0 231.16/231.24 c 230s | 20 | 955220 | 933527 | 1618 1301 | 0 | 0 233.16/233.25 c 232s | 20 | 963170 | 941327 | 1618 1310 | 0 | 0 235.16/235.27 c 234s | 20 | 970177 | 948227 | 1618 1318 | 0 | 0 237.15/237.27 c 236s | 20 | 977528 | 955427 | 1618 1326 | 0 | 0 239.15/239.28 c 238s | 20 | 984652 | 962427 | 1618 1334 | 0 | 0 241.25/241.30 c 240s | 20 | 991948 | 969627 | 1618 1343 | 0 | 0 243.25/243.32 c 242s | 20 | 999088 | 976627 | 1618 1351 | 0 | 0 245.26/245.32 c 244s | 20 | 1006226 | 983627 | 1618 1359 | 0 | 0 247.25/247.34 c 246s | 20 | 1013898 | 991027 | 1618 1368 | 0 | 0 249.25/249.37 c 248s | 20 | 1021335 | 998227 | 1780 1375 | 0 | 0 249.95/250.00 c 249s | 21 | 1023497 | 1000345 | 1780 1378 | 0 | 0 251.96/252.01 c 251s | 21 | 1032249 | 1008945 | 1780 1386 | 0 | 0 253.95/254.01 c 253s | 21 | 1040445 | 1017045 | 1780 1395 | 0 | 0 255.95/256.03 c 255s | 21 | 1048305 | 1024845 | 1780 1403 | 0 | 0 257.95/258.03 c 257s | 21 | 1056377 | 1032745 | 1780 1411 | 0 | 0 259.95/260.06 c 259s | 21 | 1064514 | 1040745 | 1780 1420 | 0 | 0 261.95/262.07 c 261s | 21 | 1072159 | 1048345 | 1780 1428 | 0 | 0 263.95/264.08 c 263s | 21 | 1079885 | 1055945 | 1780 1436 | 0 | 0 266.05/266.10 c 265s | 21 | 1088107 | 1063945 | 1780 1444 | 0 | 0 268.05/268.12 c 267s | 21 | 1095289 | 1071045 | 1780 1451 | 0 | 0 270.05/270.14 c 269s | 21 | 1102225 | 1077945 | 1780 1458 | 0 | 0 272.04/272.14 c 271s | 21 | 1109048 | 1084745 | 1780 1465 | 0 | 0 274.04/274.16 c 273s | 21 | 1117065 | 1092545 | 1780 1473 | 0 | 0 276.05/276.18 c 275s | 21 | 1125024 | 1100345 | 1780 1482 | 0 | 0 278.14/278.20 c 277s | 21 | 1132921 | 1108145 | 1780 1490 | 0 | 0 280.15/280.23 c 279s | 21 | 1140868 | 1115945 | 1780 1498 | 0 | 0 282.15/282.23 c 281s | 21 | 1148836 | 1123845 | 1780 1506 | 0 | 0 284.15/284.24 c 283s | 21 | 1156578 | 1131545 | 1780 1514 | 0 | 0 286.15/286.26 c 285s | 21 | 1163964 | 1138845 | 1780 1522 | 0 | 0 288.16/288.28 c 287s | 21 | 1172126 | 1146845 | 1780 1530 | 0 | 0 290.15/290.29 c 289s | 21 | 1179795 | 1154445 | 1780 1538 | 0 | 0 292.15/292.29 c 291s | 21 | 1187488 | 1162045 | 1780 1546 | 0 | 0 294.25/294.31 c 293s | 21 | 1194860 | 1169345 | 1780 1554 | 0 | 0 296.25/296.32 c 295s | 21 | 1202332 | 1176745 | 1780 1561 | 0 | 0 298.25/298.34 c 297s | 21 | 1209545 | 1183845 | 1780 1569 | 0 | 0 300.25/300.35 c 299s | 21 | 1216687 | 1190945 | 1780 1576 | 0 | 0 302.25/302.35 c 301s | 21 | 1224555 | 1198645 | 1780 1584 | 0 | 0 304.24/304.36 c 303s | 21 | 1231809 | 1205845 | 1780 1591 | 0 | 0 306.24/306.39 c 306s | 21 | 1238865 | 1212845 | 1780 1599 | 0 | 0 308.34/308.41 c 308s | 21 | 1245973 | 1219845 | 1780 1606 | 0 | 0 310.34/310.44 c 310s | 21 | 1253026 | 1226745 | 1780 1613 | 0 | 0 312.35/312.44 c 312s | 21 | 1259891 | 1233445 | 1780 1620 | 0 | 0 314.34/314.45 c 314s | 21 | 1266812 | 1240245 | 1780 1627 | 0 | 0 316.34/316.48 c 316s | 21 | 1273688 | 1247045 | 1780 1634 | 0 | 0 318.34/318.49 c 318s | 21 | 1280870 | 1254145 | 1780 1642 | 0 | 0 320.44/320.52 c 320s | 21 | 1287515 | 1260545 | 1780 1649 | 0 | 0 322.44/322.53 c 322s | 21 | 1294059 | 1266845 | 1780 1655 | 0 | 0 324.45/324.55 c 324s | 21 | 1301010 | 1273545 | 1780 1662 | 0 | 0 326.44/326.58 c 326s | 21 | 1307666 | 1280145 | 1780 1669 | 0 | 0 328.54/328.60 c 328s | 21 | 1314369 | 1286745 | 1780 1677 | 0 | 0 330.54/330.62 c 330s | 21 | 1321231 | 1293545 | 1780 1684 | 0 | 0 332.54/332.63 c 332s | 21 | 1327989 | 1300245 | 1780 1691 | 0 | 0 334.54/334.65 c 334s | 21 | 1334450 | 1306545 | 1780 1698 | 0 | 0 336.54/336.65 c 336s | 21 | 1341606 | 1313645 | 1780 1705 | 0 | 0 338.54/338.67 c 338s | 21 | 1348685 | 1320645 | 1780 1712 | 0 | 0 340.54/340.68 c 340s | 21 | 1355452 | 1327245 | 1780 1719 | 0 | 0 342.64/342.70 c 342s | 21 | 1362054 | 1333745 | 1780 1726 | 0 | 0 344.64/344.71 c 344s | 21 | 1369226 | 1340745 | 1780 1733 | 0 | 0 346.64/346.74 c 346s | 21 | 1376168 | 1347645 | 1780 1740 | 0 | 0 348.64/348.76 c 348s | 21 | 1382899 | 1354345 | 1780 1747 | 0 | 0 350.63/350.78 c 350s | 21 | 1389601 | 1360945 | 1780 1754 | 0 | 0 352.73/352.80 c 352s | 21 | 1397535 | 1368645 | 1780 1762 | 0 | 0 354.73/354.83 c 354s | 21 | 1405556 | 1376645 | 1780 1770 | 0 | 0 356.73/356.84 c 356s | 21 | 1413444 | 1384445 | 1780 1778 | 0 | 0 358.73/358.85 c 358s | 21 | 1421135 | 1392045 | 1780 1786 | 0 | 0 360.74/360.85 c 360s | 21 | 1428293 | 1399145 | 1780 1794 | 0 | 0 362.73/362.88 c 362s | 21 | 1435498 | 1406245 | 1780 1801 | 0 | 0 364.83/364.90 c 364s | 21 | 1442892 | 1413545 | 1780 1809 | 0 | 0 366.83/366.92 c 366s | 21 | 1449774 | 1420345 | 1780 1816 | 0 | 0 368.83/368.94 c 368s | 21 | 1457023 | 1427545 | 1780 1824 | 0 | 0 370.83/370.97 c 370s | 21 | 1464159 | 1434545 | 1780 1831 | 0 | 0 372.84/372.98 c 372s | 21 | 1471477 | 1441745 | 1780 1839 | 0 | 0 374.94/375.00 c 374s | 21 | 1478533 | 1448745 | 1780 1846 | 0 | 0 376.94/377.02 c 376s | 21 | 1486134 | 1456245 | 1780 1854 | 0 | 0 378.94/379.03 c 378s | 21 | 1493807 | 1463745 | 1780 1862 | 0 | 0 380.94/381.04 c 380s | 21 | 1501206 | 1471045 | 1780 1869 | 0 | 0 382.93/383.05 c 382s | 21 | 1507962 | 1477745 | 1780 1876 | 0 | 0 384.94/385.07 c 384s | 21 | 1515012 | 1484645 | 1780 1884 | 0 | 0 386.93/387.08 c 386s | 21 | 1522045 | 1491545 | 1959 1891 | 0 | 0 388.93/389.09 c 388s | 21 | 1529315 | 1498745 | 1959 1898 | 0 | 0 389.44/389.51 c 389s | 22 | 1531253 | 1500622 | 1959 1899 | 0 | 0 391.43/391.53 c 391s | 22 | 1538869 | 1508022 | 1959 1906 | 0 | 0 393.43/393.54 c 393s | 22 | 1546265 | 1515122 | 1959 1913 | 0 | 0 395.43/395.54 c 395s | 22 | 1554161 | 1522822 | 1959 1921 | 0 | 0 397.43/397.56 c 397s | 22 | 1561475 | 1529822 | 1959 1927 | 0 | 0 399.43/399.58 c 399s | 22 | 1569145 | 1537322 | 1959 1934 | 0 | 0 401.44/401.60 c 401s | 22 | 1576629 | 1544622 | 1959 1941 | 0 | 0 403.53/403.60 c 403s | 22 | 1584274 | 1552022 | 1959 1949 | 0 | 0 405.53/405.62 c 405s | 22 | 1591689 | 1559222 | 1959 1955 | 0 | 0 407.53/407.65 c 407s | 22 | 1600124 | 1567422 | 1959 1963 | 0 | 0 409.53/409.68 c 409s | 22 | 1608005 | 1575022 | 1959 1971 | 0 | 0 411.63/411.70 c 411s | 22 | 1616024 | 1582622 | 1959 1978 | 0 | 0 413.64/413.70 c 413s | 22 | 1623295 | 1589622 | 1959 1984 | 0 | 0 415.63/415.73 c 415s | 22 | 1631190 | 1597322 | 1959 1992 | 0 | 0 417.63/417.75 c 417s | 22 | 1639051 | 1604922 | 1959 1999 | 0 | 0 419.63/419.76 c 419s | 22 | 1646619 | 1612322 | 1959 2006 | 0 | 0 421.63/421.78 c 421s | 22 | 1653989 | 1619522 | 1959 2013 | 0 | 0 423.72/423.81 c 423s | 22 | 1661295 | 1626522 | 1959 2020 | 0 | 0 425.73/425.83 c 425s | 22 | 1668996 | 1634022 | 1959 2027 | 0 | 0 427.72/427.84 c 427s | 22 | 1676793 | 1641622 | 1959 2034 | 0 | 0 429.72/429.86 c 429s | 22 | 1684512 | 1649122 | 1959 2041 | 0 | 0 431.72/431.86 c 431s | 22 | 1691570 | 1655822 | 1959 2048 | 0 | 0 433.72/433.88 c 433s | 22 | 1699192 | 1663222 | 1959 2055 | 0 | 0 435.72/435.89 c 435s | 22 | 1707108 | 1670922 | 1959 2062 | 0 | 0 437.83/437.91 c 437s | 22 | 1714738 | 1678322 | 1959 2069 | 0 | 0 439.82/439.92 c 439s | 22 | 1722601 | 1686022 | 1959 2077 | 0 | 0 441.82/441.92 c 441s | 22 | 1730125 | 1693422 | 1959 2084 | 0 | 0 443.82/443.94 c 443s | 22 | 1737678 | 1700822 | 1959 2091 | 0 | 0 445.82/445.96 c 445s | 22 | 1745349 | 1708322 | 1959 2098 | 0 | 0 447.82/447.96 c 447s | 22 | 1752904 | 1715722 | 1959 2105 | 0 | 0 449.83/449.97 c 449s | 22 | 1759909 | 1722522 | 1959 2112 | 0 | 0 451.83/451.97 c 451s | 22 | 1767045 | 1729422 | 1959 2118 | 0 | 0 453.83/453.99 c 453s | 22 | 1774336 | 1736422 | 1959 2125 | 0 | 0 455.92/456.01 c 455s | 22 | 1782078 | 1743822 | 1959 2132 | 0 | 0 457.92/458.03 c 457s | 22 | 1789728 | 1751222 | 1959 2139 | 0 | 0 459.92/460.04 c 459s | 22 | 1797349 | 1758622 | 1959 2146 | 0 | 0 461.93/462.06 c 461s | 22 | 1804924 | 1766022 | 1959 2153 | 0 | 0 463.92/464.08 c 463s | 22 | 1812013 | 1772922 | 1959 2160 | 0 | 0 465.92/466.10 c 465s | 22 | 1819680 | 1780422 | 1959 2167 | 0 | 0 468.02/468.11 c 467s | 22 | 1827913 | 1788422 | 1959 2175 | 0 | 0 470.02/470.12 c 469s | 22 | 1836055 | 1796122 | 1959 2182 | 0 | 0 472.02/472.14 c 471s | 22 | 1843479 | 1802922 | 1959 2189 | 0 | 0 474.03/474.16 c 473s | 22 | 1850593 | 1809822 | 1959 2195 | 0 | 0 476.02/476.17 c 475s | 22 | 1857721 | 1816722 | 1959 2202 | 0 | 0 478.02/478.18 c 477s | 22 | 1865657 | 1824422 | 1959 2209 | 0 | 0 480.12/480.20 c 479s | 22 | 1873587 | 1832122 | 1959 2217 | 0 | 0 482.12/482.21 c 481s | 22 | 1881391 | 1839722 | 1959 2224 | 0 | 0 484.12/484.24 c 483s | 22 | 1889286 | 1847422 | 1959 2231 | 0 | 0 486.12/486.24 c 485s | 22 | 1897386 | 1855222 | 1959 2239 | 0 | 0 488.11/488.25 c 487s | 22 | 1905237 | 1862322 | 1959 2246 | 0 | 0 490.11/490.27 c 489s | 22 | 1912754 | 1869522 | 1959 2252 | 0 | 0 492.11/492.28 c 491s | 22 | 1920371 | 1876922 | 1959 2260 | 0 | 0 494.21/494.31 c 493s | 22 | 1928087 | 1884322 | 1959 2267 | 0 | 0 496.21/496.31 c 495s | 22 | 1935573 | 1891622 | 1959 2274 | 0 | 0 498.22/498.32 c 497s | 22 | 1943632 | 1899522 | 1959 2281 | 0 | 0 500.21/500.34 c 499s | 22 | 1952242 | 1907922 | 1959 2289 | 0 | 0 502.21/502.36 c 501s | 22 | 1959957 | 1915422 | 1959 2296 | 0 | 0 504.21/504.36 c 503s | 22 | 1967663 | 1922922 | 1959 2304 | 0 | 0 506.21/506.37 c 505s | 22 | 1975496 | 1930622 | 1959 2311 | 0 | 0 508.22/508.39 c 508s | 22 | 1983054 | 1938022 | 1959 2318 | 0 | 0 510.21/510.39 c 510s | 22 | 1990698 | 1945522 | 1959 2325 | 0 | 0 512.31/512.42 c 512s | 22 | 1998443 | 1953022 | 1959 2333 | 0 | 0 514.31/514.44 c 514s | 22 | 2006481 | 1960622 | 1959 2340 | 0 | 0 516.31/516.46 c 516s | 22 | 2014143 | 1967822 | 1959 2347 | 0 | 0 518.31/518.47 c 518s | 22 | 2021944 | 1975322 | 1959 2354 | 0 | 0 520.41/520.50 c 520s | 22 | 2029892 | 1982922 | 1959 2361 | 0 | 0 522.31/522.50 c 522s | 22 | 2037431 | 1990322 | 1959 2368 | 0 | 0 524.41/524.51 c 524s | 22 | 2045579 | 1998222 | 1959 2376 | 0 | 0 526.41/526.52 c 526s | 22 | 2053029 | 2005322 | 1959 2383 | 0 | 0 528.41/528.53 c 528s | 22 | 2061153 | 2013222 | 1959 2390 | 0 | 0 530.40/530.54 c 530s | 22 | 2068760 | 2020522 | 1959 2397 | 0 | 0 532.41/532.54 c 532s | 22 | 2076497 | 2028022 | 1959 2405 | 0 | 0 534.40/534.56 c 534s | 22 | 2084598 | 2035822 | 1959 2412 | 0 | 0 536.40/536.59 c 536s | 22 | 2092609 | 2043522 | 1959 2420 | 0 | 0 538.40/538.60 c 538s | 22 | 2100353 | 2050922 | 1959 2427 | 0 | 0 540.50/540.60 c 540s | 22 | 2108482 | 2058722 | 1959 2434 | 0 | 0 542.50/542.60 c 542s | 22 | 2116475 | 2066422 | 1959 2442 | 0 | 0 544.52/544.61 c 544s | 22 | 2124615 | 2074222 | 1959 2449 | 0 | 0 546.51/546.61 c 546s | 22 | 2132642 | 2082022 | 1959 2457 | 0 | 0 548.51/548.62 c 548s | 22 | 2141183 | 2090322 | 1959 2465 | 0 | 0 550.51/550.65 c 550s | 22 | 2148879 | 2097822 | 1959 2472 | 0 | 0 552.51/552.66 c 552s | 22 | 2156202 | 2104922 | 1959 2479 | 0 | 0 554.51/554.67 c 554s | 22 | 2163543 | 2112022 | 1959 2486 | 0 | 0 556.52/556.67 c 556s | 22 | 2171202 | 2119422 | 1959 2493 | 0 | 0 558.51/558.67 c 558s | 22 | 2178661 | 2126322 | 1959 2499 | 0 | 0 560.51/560.67 c 560s | 22 | 2185382 | 2132722 | 1959 2506 | 0 | 0 562.51/562.69 c 562s | 22 | 2192687 | 2139722 | 1959 2512 | 0 | 0 564.61/564.71 c 564s | 22 | 2200498 | 2147122 | 1959 2519 | 0 | 0 566.61/566.74 c 566s | 22 | 2208054 | 2154522 | 1959 2527 | 0 | 0 568.61/568.75 c 568s | 22 | 2215680 | 2161822 | 1959 2534 | 0 | 0 570.61/570.77 c 570s | 22 | 2223952 | 2169822 | 1959 2541 | 0 | 0 572.61/572.78 c 572s | 22 | 2231858 | 2177522 | 1959 2549 | 0 | 0 574.71/574.80 c 574s | 22 | 2240556 | 2185922 | 1959 2557 | 0 | 0 576.71/576.82 c 576s | 22 | 2249171 | 2194222 | 1959 2565 | 0 | 0 578.71/578.85 c 578s | 22 | 2257706 | 2202422 | 1959 2573 | 0 | 0 580.71/580.86 c 580s | 22 | 2265903 | 2210222 | 1959 2580 | 0 | 0 582.70/582.87 c 582s | 22 | 2273868 | 2217922 | 1959 2587 | 0 | 0 584.70/584.88 c 584s | 22 | 2281767 | 2225622 | 1959 2595 | 0 | 0 586.70/586.89 c 586s | 22 | 2289458 | 2233022 | 1959 2602 | 0 | 0 588.80/588.92 c 588s | 22 | 2297221 | 2240422 | 2155 2608 | 0 | 0 590.80/590.93 c 590s | 22 | 2305105 | 2248122 | 2155 2615 | 0 | 0 591.60/591.71 c 591s | 23 | 2308132 | 2251038 | 2155 2618 | 0 | 0 593.60/593.72 c 593s | 23 | 2315668 | 2258238 | 2155 2624 | 0 | 0 595.60/595.74 c 595s | 23 | 2323256 | 2265538 | 2155 2630 | 0 | 0 597.60/597.75 c 597s | 23 | 2330520 | 2272338 | 2155 2636 | 0 | 0 599.60/599.75 c 599s | 23 | 2337971 | 2279438 | 2155 2642 | 0 | 0 601.60/601.78 c 601s | 23 | 2346073 | 2287338 | 2155 2649 | 0 | 0 603.70/603.80 c 603s | 23 | 2353826 | 2294838 | 2155 2656 | 0 | 0 605.70/605.82 c 605s | 23 | 2361271 | 2302038 | 2155 2662 | 0 | 0 607.70/607.83 c 607s | 23 | 2369633 | 2310238 | 2155 2669 | 0 | 0 609.70/609.85 c 609s | 23 | 2377726 | 2318038 | 2155 2676 | 0 | 0 611.70/611.88 c 611s | 23 | 2385588 | 2325438 | 2155 2683 | 0 | 0 613.70/613.90 c 613s | 23 | 2393558 | 2333138 | 2155 2689 | 0 | 0 615.79/615.90 c 615s | 23 | 2400364 | 2339738 | 2155 2695 | 0 | 0 617.79/617.91 c 617s | 23 | 2408214 | 2347338 | 2155 2702 | 0 | 0 619.79/619.91 c 619s | 23 | 2415921 | 2354838 | 2155 2708 | 0 | 0 621.79/621.92 c 621s | 23 | 2423917 | 2362538 | 2155 2715 | 0 | 0 623.80/623.92 c 623s | 23 | 2431696 | 2370038 | 2155 2721 | 0 | 0 625.80/625.93 c 625s | 23 | 2439465 | 2377538 | 2155 2728 | 0 | 0 627.80/627.96 c 627s | 23 | 2447294 | 2385138 | 2155 2735 | 0 | 0 629.80/629.98 c 629s | 23 | 2455252 | 2392838 | 2155 2741 | 0 | 0 631.80/631.98 c 631s | 23 | 2463723 | 2400938 | 2155 2749 | 0 | 0 633.90/634.00 c 633s | 23 | 2471346 | 2408238 | 2155 2755 | 0 | 0 635.90/636.00 c 635s | 23 | 2479794 | 2416438 | 2155 2762 | 0 | 0 637.90/638.03 c 637s | 23 | 2488024 | 2424338 | 2155 2769 | 0 | 0 639.89/640.04 c 639s | 23 | 2495522 | 2431638 | 2155 2775 | 0 | 0 641.89/642.05 c 641s | 23 | 2503807 | 2439638 | 2155 2782 | 0 | 0 643.89/644.06 c 643s | 23 | 2511560 | 2447238 | 2155 2789 | 0 | 0 645.89/646.07 c 645s | 23 | 2518921 | 2454438 | 2155 2795 | 0 | 0 647.99/648.10 c 647s | 23 | 2526316 | 2461538 | 2155 2802 | 0 | 0 649.89/650.10 c 649s | 23 | 2533907 | 2468938 | 2155 2808 | 0 | 0 651.99/652.13 c 651s | 23 | 2541598 | 2476438 | 2155 2814 | 0 | 0 653.99/654.15 c 653s | 23 | 2548781 | 2483438 | 2155 2821 | 0 | 0 655.99/656.15 c 655s | 23 | 2556307 | 2490738 | 2155 2827 | 0 | 0 657.99/658.17 c 657s | 23 | 2563993 | 2498238 | 2155 2834 | 0 | 0 660.00/660.18 c 659s | 23 | 2571912 | 2505938 | 2155 2840 | 0 | 0 662.10/662.21 c 661s | 23 | 2579558 | 2513338 | 2155 2847 | 0 | 0 664.09/664.22 c 663s | 23 | 2586827 | 2520438 | 2155 2853 | 0 | 0 666.09/666.23 c 665s | 23 | 2595029 | 2528338 | 2155 2860 | 0 | 0 668.09/668.24 c 667s | 23 | 2602775 | 2535838 | 2155 2867 | 0 | 0 670.09/670.27 c 669s | 23 | 2610497 | 2543338 | 2155 2873 | 0 | 0 672.09/672.28 c 671s | 23 | 2617508 | 2550038 | 2155 2879 | 0 | 0 674.09/674.30 c 673s | 23 | 2624982 | 2557138 | 2155 2885 | 0 | 0 676.19/676.31 c 675s | 23 | 2633617 | 2565438 | 2155 2893 | 0 | 0 678.18/678.33 c 677s | 23 | 2641715 | 2573238 | 2155 2899 | 0 | 0 680.18/680.35 c 679s | 23 | 2649453 | 2580838 | 2155 2906 | 0 | 0 682.18/682.37 c 681s | 23 | 2656323 | 2587338 | 2155 2912 | 0 | 0 684.19/684.39 c 684s | 23 | 2664298 | 2595038 | 2155 2918 | 0 | 0 686.18/686.40 c 686s | 23 | 2672402 | 2602838 | 2155 2925 | 0 | 0 688.28/688.42 c 688s | 23 | 2680522 | 2610638 | 2155 2932 | 0 | 0 690.28/690.44 c 690s | 23 | 2687969 | 2617838 | 2155 2939 | 0 | 0 692.28/692.45 c 692s | 23 | 2695993 | 2625538 | 2155 2945 | 0 | 0 694.29/694.46 c 694s | 23 | 2703569 | 2632738 | 2155 2952 | 0 | 0 696.30/696.48 c 696s | 23 | 2711052 | 2639938 | 2155 2958 | 0 | 0 698.29/698.50 c 698s | 23 | 2717882 | 2646538 | 2155 2964 | 0 | 0 700.39/700.51 c 700s | 23 | 2725135 | 2653638 | 2155 2970 | 0 | 0 702.39/702.53 c 702s | 23 | 2732360 | 2660638 | 2155 2976 | 0 | 0 704.38/704.55 c 704s | 23 | 2738991 | 2666838 | 2155 2982 | 0 | 0 706.38/706.57 c 706s | 23 | 2745908 | 2673438 | 2155 2987 | 0 | 0 708.39/708.57 c 708s | 23 | 2753898 | 2680838 | 2155 2994 | 0 | 0 710.38/710.57 c 710s | 23 | 2761655 | 2688338 | 2155 3000 | 0 | 0 712.38/712.58 c 712s | 23 | 2769957 | 2696338 | 2155 3007 | 0 | 0 714.48/714.61 c 714s | 23 | 2777401 | 2703338 | 2155 3014 | 0 | 0 716.48/716.64 c 716s | 23 | 2784347 | 2709938 | 2155 3019 | 0 | 0 718.48/718.64 c 718s | 23 | 2790499 | 2715738 | 2155 3024 | 0 | 0 720.49/720.67 c 720s | 23 | 2797578 | 2722538 | 2155 3030 | 0 | 0 722.48/722.68 c 722s | 23 | 2805083 | 2729738 | 2155 3037 | 0 | 0 724.58/724.70 c 724s | 23 | 2813153 | 2737438 | 2155 3043 | 0 | 0 726.58/726.72 c 726s | 23 | 2821141 | 2745138 | 2155 3050 | 0 | 0 728.58/728.74 c 728s | 23 | 2828962 | 2752538 | 2155 3057 | 0 | 0 730.58/730.75 c 730s | 23 | 2836347 | 2759738 | 2155 3063 | 0 | 0 732.58/732.75 c 732s | 23 | 2843952 | 2767138 | 2155 3069 | 0 | 0 734.58/734.77 c 734s | 23 | 2851670 | 2774638 | 2155 3076 | 0 | 0 736.57/736.78 c 736s | 23 | 2859242 | 2781938 | 2155 3082 | 0 | 0 738.67/738.80 c 738s | 23 | 2866753 | 2789138 | 2155 3089 | 0 | 0 740.67/740.82 c 740s | 23 | 2873746 | 2795838 | 2155 3095 | 0 | 0 742.67/742.84 c 742s | 23 | 2881363 | 2803238 | 2155 3101 | 0 | 0 744.68/744.86 c 744s | 23 | 2889007 | 2810638 | 2155 3108 | 0 | 0 746.67/746.87 c 746s | 23 | 2896223 | 2817538 | 2155 3114 | 0 | 0 748.67/748.87 c 748s | 23 | 2903364 | 2824438 | 2155 3120 | 0 | 0 750.67/750.89 c 750s | 23 | 2910966 | 2831738 | 2155 3126 | 0 | 0 752.77/752.90 c 752s | 23 | 2918788 | 2839238 | 2155 3133 | 0 | 0 754.77/754.92 c 754s | 23 | 2926419 | 2846638 | 2155 3139 | 0 | 0 756.78/756.95 c 756s | 23 | 2934107 | 2854038 | 2155 3146 | 0 | 0 758.77/758.96 c 758s | 23 | 2942061 | 2861638 | 2155 3152 | 0 | 0 760.77/760.99 c 760s | 23 | 2949800 | 2869038 | 2155 3159 | 0 | 0 762.77/762.99 c 762s | 23 | 2957297 | 2876338 | 2155 3165 | 0 | 0 764.87/765.01 c 764s | 23 | 2964878 | 2883638 | 2155 3171 | 0 | 0 766.87/767.04 c 766s | 23 | 2971988 | 2890438 | 2155 3177 | 0 | 0 768.88/769.05 c 768s | 23 | 2979594 | 2897838 | 2155 3184 | 0 | 0 770.88/771.08 c 770s | 23 | 2986836 | 2904838 | 2155 3190 | 0 | 0 772.88/773.09 c 772s | 23 | 2993923 | 2911638 | 2155 3196 | 0 | 0 774.98/775.10 c 774s | 23 | 3001148 | 2918638 | 2155 3202 | 0 | 0 776.98/777.11 c 776s | 23 | 3007851 | 2925038 | 2155 3208 | 0 | 0 778.98/779.13 c 778s | 23 | 3014922 | 2931838 | 2155 3214 | 0 | 0 780.98/781.13 c 780s | 23 | 3021822 | 2938538 | 2155 3220 | 0 | 0 782.98/783.16 c 782s | 23 | 3029526 | 2945938 | 2155 3226 | 0 | 0 784.97/785.16 c 784s | 23 | 3036744 | 2952838 | 2155 3232 | 0 | 0 786.97/787.17 c 786s | 23 | 3043866 | 2959738 | 2155 3238 | 0 | 0 789.07/789.21 c 788s | 23 | 3051207 | 2966838 | 2155 3244 | 0 | 0 791.07/791.23 c 790s | 23 | 3058543 | 2973938 | 2155 3251 | 0 | 0 793.08/793.23 c 792s | 23 | 3065806 | 2980738 | 2155 3257 | 0 | 0 795.07/795.26 c 794s | 23 | 3072488 | 2987138 | 2155 3262 | 0 | 0 797.07/797.26 c 796s | 23 | 3080009 | 2994438 | 2155 3269 | 0 | 0 799.07/799.28 c 798s | 23 | 3087535 | 3001738 | 2155 3275 | 0 | 0 801.07/801.29 c 800s | 23 | 3094473 | 3008538 | 2155 3281 | 0 | 0 803.17/803.31 c 802s | 23 | 3102490 | 3016338 | 2155 3288 | 0 | 0 805.18/805.32 c 804s | 23 | 3109872 | 3023438 | 2155 3294 | 0 | 0 807.17/807.32 c 806s | 23 | 3117680 | 3030938 | 2155 3300 | 0 | 0 809.17/809.33 c 808s | 23 | 3125445 | 3038338 | 2155 3307 | 0 | 0 811.17/811.35 c 810s | 23 | 3132910 | 3045538 | 2155 3313 | 0 | 0 813.17/813.35 c 812s | 23 | 3140611 | 3052938 | 2155 3320 | 0 | 0 815.17/815.37 c 814s | 23 | 3148132 | 3060238 | 2155 3326 | 0 | 0 817.17/817.39 c 817s | 23 | 3155751 | 3067538 | 2155 3332 | 0 | 0 819.16/819.39 c 819s | 23 | 3162953 | 3074438 | 2155 3339 | 0 | 0 821.26/821.41 c 821s | 23 | 3170655 | 3081938 | 2155 3345 | 0 | 0 823.26/823.43 c 823s | 23 | 3178266 | 3089138 | 2155 3352 | 0 | 0 825.26/825.46 c 825s | 23 | 3185409 | 3096038 | 2155 3358 | 0 | 0 827.26/827.48 c 827s | 23 | 3192744 | 3103138 | 2155 3364 | 0 | 0 829.27/829.50 c 829s | 23 | 3199852 | 3109938 | 2155 3370 | 0 | 0 831.36/831.50 c 831s | 23 | 3207103 | 3116638 | 2155 3376 | 0 | 0 833.36/833.51 c 833s | 23 | 3214024 | 3123338 | 2155 3382 | 0 | 0 835.36/835.52 c 835s | 23 | 3221806 | 3130938 | 2155 3388 | 0 | 0 837.36/837.52 c 837s | 23 | 3229125 | 3138038 | 2155 3395 | 0 | 0 839.36/839.54 c 839s | 23 | 3237024 | 3145638 | 2155 3401 | 0 | 0 841.36/841.54 c 841s | 23 | 3244721 | 3153038 | 2155 3408 | 0 | 0 843.36/843.55 c 843s | 23 | 3251571 | 3159538 | 2155 3414 | 0 | 0 845.37/845.58 c 845s | 23 | 3259258 | 3166938 | 2155 3420 | 0 | 0 847.37/847.60 c 847s | 23 | 3266256 | 3173538 | 2155 3426 | 0 | 0 849.46/849.60 c 849s | 23 | 3273772 | 3180638 | 2155 3432 | 0 | 0 851.46/851.60 c 851s | 23 | 3280765 | 3187338 | 2155 3438 | 0 | 0 853.47/853.62 c 853s | 23 | 3287926 | 3194138 | 2155 3444 | 0 | 0 855.46/855.63 c 855s | 23 | 3295401 | 3201238 | 2155 3450 | 0 | 0 857.46/857.65 c 857s | 23 | 3302628 | 3208038 | 2155 3456 | 0 | 0 859.46/859.66 c 859s | 23 | 3309537 | 3214638 | 2155 3462 | 0 | 0 861.46/861.68 c 861s | 23 | 3317436 | 3222238 | 2155 3469 | 0 | 0 863.56/863.72 c 863s | 23 | 3325196 | 3229638 | 2155 3475 | 0 | 0 865.57/865.74 c 865s | 23 | 3332920 | 3237038 | 2155 3482 | 0 | 0 867.56/867.75 c 867s | 23 | 3340671 | 3244538 | 2155 3489 | 0 | 0 869.56/869.77 c 869s | 23 | 3348334 | 3251838 | 2155 3495 | 0 | 0 871.56/871.78 c 871s | 23 | 3356175 | 3259438 | 2155 3502 | 0 | 0 873.56/873.79 c 873s | 23 | 3363991 | 3266938 | 2155 3508 | 0 | 0 875.66/875.80 c 875s | 23 | 3371636 | 3274138 | 2155 3515 | 0 | 0 877.67/877.81 c 877s | 23 | 3378592 | 3280738 | 2155 3520 | 0 | 0 879.66/879.81 c 879s | 23 | 3385663 | 3287438 | 2155 3526 | 0 | 0 881.66/881.82 c 881s | 23 | 3392762 | 3294238 | 2155 3532 | 0 | 0 883.66/883.83 c 883s | 23 | 3400149 | 3301338 | 2155 3539 | 0 | 0 885.66/885.85 c 885s | 23 | 3407156 | 3308138 | 2155 3545 | 0 | 0 887.67/887.85 c 887s | 23 | 3414825 | 3315638 | 2155 3551 | 0 | 0 889.66/889.86 c 889s | 23 | 3421622 | 3322238 | 2155 3557 | 0 | 0 891.66/891.87 c 891s | 23 | 3428709 | 3329138 | 2155 3563 | 0 | 0 893.66/893.89 c 893s | 23 | 3435739 | 3335838 | 2155 3569 | 0 | 0 895.76/895.91 c 895s | 23 | 3443136 | 3342938 | 2155 3575 | 0 | 0 897.75/897.93 c 897s | 23 | 3450606 | 3350138 | 2155 3581 | 0 | 0 899.76/899.93 c 899s | 23 | 3458062 | 3357238 | 2371 3587 | 0 | 0 901.75/901.96 c 901s | 23 | 3465599 | 3364538 | 2371 3593 | 0 | 0 903.75/903.97 c 903s | 23 | 3472867 | 3371538 | 2371 3598 | 0 | 0 905.26/905.44 c 905s | 24 | 3478138 | 3376662 | 2371 3602 | 0 | 0 907.25/907.46 c 907s | 24 | 3483952 | 3382262 | 2371 3607 | 0 | 0 909.25/909.46 c 909s | 24 | 3490227 | 3388362 | 2371 3612 | 0 | 0 911.25/911.49 c 911s | 24 | 3496892 | 3394762 | 2371 3617 | 0 | 0 913.35/913.50 c 913s | 24 | 3503637 | 3401362 | 2371 3622 | 0 | 0 915.35/915.52 c 915s | 24 | 3510242 | 3407762 | 2371 3627 | 0 | 0 917.36/917.54 c 917s | 24 | 3517183 | 3414462 | 2371 3633 | 0 | 0 919.35/919.55 c 919s | 24 | 3524499 | 3421662 | 2371 3638 | 0 | 0 921.35/921.57 c 921s | 24 | 3531535 | 3428562 | 2371 3644 | 0 | 0 923.35/923.57 c 923s | 24 | 3538154 | 3435062 | 2371 3649 | 0 | 0 925.45/925.60 c 925s | 24 | 3544747 | 3441562 | 2371 3654 | 0 | 0 927.45/927.61 c 927s | 24 | 3551942 | 3448662 | 2371 3660 | 0 | 0 929.45/929.64 c 929s | 24 | 3558771 | 3455362 | 2371 3665 | 0 | 0 931.45/931.64 c 931s | 24 | 3565959 | 3461862 | 2371 3671 | 0 | 0 933.44/933.65 c 933s | 24 | 3573368 | 3468962 | 2371 3676 | 0 | 0 935.44/935.66 c 935s | 24 | 3580485 | 3475862 | 2371 3682 | 0 | 0 937.44/937.68 c 937s | 24 | 3587095 | 3482162 | 2371 3687 | 0 | 0 939.44/939.68 c 939s | 24 | 3593257 | 3488062 | 2371 3691 | 0 | 0 941.45/941.68 c 941s | 24 | 3600173 | 3494862 | 2371 3697 | 0 | 0 943.44/943.69 c 943s | 24 | 3606588 | 3501162 | 2371 3702 | 0 | 0 945.44/945.69 c 945s | 24 | 3613370 | 3507762 | 2371 3707 | 0 | 0 947.44/947.70 c 947s | 24 | 3619958 | 3514162 | 2371 3712 | 0 | 0 949.54/949.72 c 949s | 24 | 3626485 | 3520562 | 2371 3717 | 0 | 0 951.54/951.74 c 951s | 24 | 3632936 | 3526862 | 2371 3722 | 0 | 0 953.55/953.77 c 953s | 24 | 3639310 | 3533162 | 2371 3727 | 0 | 0 955.54/955.79 c 955s | 24 | 3645522 | 3539262 | 2371 3732 | 0 | 0 957.64/957.81 c 957s | 24 | 3652397 | 3545962 | 2371 3738 | 0 | 0 959.65/959.85 c 959s | 24 | 3658641 | 3552062 | 2371 3742 | 0 | 0 961.65/961.87 c 961s | 24 | 3664507 | 3557862 | 2371 3747 | 0 | 0 963.65/963.88 c 963s | 24 | 3671519 | 3564762 | 2371 3753 | 0 | 0 965.65/965.89 c 965s | 24 | 3678863 | 3571962 | 2371 3758 | 0 | 0 967.74/967.93 c 967s | 24 | 3685265 | 3578262 | 2371 3763 | 0 | 0 969.74/969.96 c 969s | 24 | 3691596 | 3584362 | 2371 3768 | 0 | 0 971.74/971.97 c 971s | 24 | 3698304 | 3590762 | 2371 3773 | 0 | 0 973.74/973.99 c 973s | 24 | 3703270 | 3595462 | 2371 3777 | 0 | 0 975.74/975.99 c 975s | 24 | 3710598 | 3602662 | 2371 3783 | 0 | 0 977.85/978.02 c 977s | 24 | 3717891 | 3609762 | 2371 3789 | 0 | 0 979.84/980.04 c 979s | 24 | 3724647 | 3616462 | 2371 3794 | 0 | 0 981.84/982.07 c 981s | 24 | 3732104 | 3623762 | 2371 3800 | 0 | 0 983.84/984.09 c 983s | 24 | 3739186 | 3630662 | 2371 3805 | 0 | 0 985.94/986.10 c 985s | 24 | 3746508 | 3637562 | 2371 3811 | 0 | 0 987.94/988.13 c 987s | 24 | 3753321 | 3644062 | 2371 3816 | 0 | 0 989.95/990.14 c 989s | 24 | 3759996 | 3650362 | 2371 3821 | 0 | 0 991.94/992.16 c 991s | 24 | 3766958 | 3657062 | 2371 3826 | 0 | 0 993.94/994.18 c 993s | 24 | 3773532 | 3663562 | 2371 3832 | 0 | 0 995.94/996.19 c 995s | 24 | 3780730 | 3670662 | 2371 3837 | 0 | 0 998.04/998.20 c 997s | 24 | 3787429 | 3677262 | 2371 3842 | 0 | 0 1000.04/1000.21 c 999s | 24 | 3794030 | 3683762 | 2371 3848 | 0 | 0 1002.04/1002.22 c 1001s | 24 | 3800547 | 3690162 | 2371 3853 | 0 | 0 1004.04/1004.26 c 1003s | 24 | 3806651 | 3696162 | 2371 3858 | 0 | 0 1006.04/1006.28 c 1005s | 24 | 3812474 | 3701862 | 2371 3862 | 0 | 0 1008.14/1008.30 c 1007s | 24 | 3818263 | 3707562 | 2371 3867 | 0 | 0 1010.14/1010.31 c 1009s | 24 | 3825265 | 3714462 | 2371 3872 | 0 | 0 1012.14/1012.33 c 1011s | 24 | 3832407 | 3721462 | 2371 3878 | 0 | 0 1014.14/1014.34 c 1013s | 24 | 3839498 | 3728462 | 2371 3883 | 0 | 0 1016.13/1016.36 c 1015s | 24 | 3846401 | 3735262 | 2371 3889 | 0 | 0 1018.13/1018.37 c 1017s | 24 | 3853197 | 3741962 | 2371 3894 | 0 | 0 1020.13/1020.37 c 1019s | 24 | 3860450 | 3749062 | 2371 3900 | 0 | 0 1022.13/1022.38 c 1022s | 24 | 3867392 | 3755862 | 2371 3905 | 0 | 0 1024.23/1024.41 c 1024s | 24 | 3874347 | 3762662 | 2371 3911 | 0 | 0 1026.24/1026.43 c 1026s | 24 | 3881470 | 3769562 | 2371 3916 | 0 | 0 1028.23/1028.46 c 1028s | 24 | 3889162 | 3777062 | 2371 3922 | 0 | 0 1030.23/1030.46 c 1030s | 24 | 3896838 | 3784562 | 2371 3928 | 0 | 0 1032.23/1032.47 c 1032s | 24 | 3904549 | 3792062 | 2371 3934 | 0 | 0 1034.23/1034.49 c 1034s | 24 | 3911535 | 3798962 | 2371 3940 | 0 | 0 1036.33/1036.52 c 1036s | 24 | 3918626 | 3805962 | 2371 3945 | 0 | 0 1038.33/1038.53 c 1038s | 24 | 3925892 | 3813062 | 2371 3951 | 0 | 0 1040.33/1040.54 c 1040s | 24 | 3932779 | 3819762 | 2371 3956 | 0 | 0 1042.33/1042.54 c 1042s | 24 | 3939550 | 3826362 | 2371 3962 | 0 | 0 1044.33/1044.55 c 1044s | 24 | 3946777 | 3833462 | 2371 3967 | 0 | 0 1046.32/1046.58 c 1046s | 24 | 3953541 | 3840062 | 2371 3972 | 0 | 0 1048.42/1048.61 c 1048s | 24 | 3961213 | 3847462 | 2371 3978 | 0 | 0 1050.43/1050.64 c 1050s | 24 | 3968482 | 3854462 | 2371 3984 | 0 | 0 1052.42/1052.65 c 1052s | 24 | 3975677 | 3861462 | 2371 3990 | 0 | 0 1054.42/1054.67 c 1054s | 24 | 3982268 | 3867862 | 2371 3995 | 0 | 0 1056.42/1056.69 c 1056s | 24 | 3988670 | 3873962 | 2371 4000 | 0 | 0 1058.52/1058.71 c 1058s | 24 | 3995867 | 3880962 | 2371 4005 | 0 | 0 1060.52/1060.73 c 1060s | 24 | 4002696 | 3887662 | 2371 4011 | 0 | 0 1062.53/1062.74 c 1062s | 24 | 4009774 | 3894562 | 2371 4016 | 0 | 0 1064.53/1064.75 c 1064s | 24 | 4016969 | 3901562 | 2371 4022 | 0 | 0 1066.52/1066.77 c 1066s | 24 | 4024256 | 3908662 | 2371 4027 | 0 | 0 1068.52/1068.79 c 1068s | 24 | 4031962 | 3915962 | 2371 4033 | 0 | 0 1070.62/1070.80 c 1070s | 24 | 4039579 | 3923262 | 2371 4039 | 0 | 0 1072.62/1072.82 c 1072s | 24 | 4047369 | 3930762 | 2371 4045 | 0 | 0 1074.62/1074.83 c 1074s | 24 | 4054495 | 3937662 | 2371 4051 | 0 | 0 1076.61/1076.83 c 1076s | 24 | 4061595 | 3944562 | 2371 4056 | 0 | 0 1078.61/1078.84 c 1078s | 24 | 4068283 | 3951062 | 2371 4061 | 0 | 0 1080.61/1080.85 c 1080s | 24 | 4074848 | 3957462 | 2371 4067 | 0 | 0 1082.61/1082.87 c 1082s | 24 | 4081231 | 3963762 | 2371 4072 | 0 | 0 1084.61/1084.89 c 1084s | 24 | 4087463 | 3969862 | 2371 4076 | 0 | 0 1086.71/1086.92 c 1086s | 24 | 4094715 | 3976862 | 2371 4082 | 0 | 0 1088.70/1088.93 c 1088s | 24 | 4101967 | 3983962 | 2371 4088 | 0 | 0 1090.70/1090.97 c 1090s | 24 | 4109084 | 3990962 | 2371 4093 | 0 | 0 1092.70/1092.97 c 1092s | 24 | 4115455 | 3997162 | 2371 4098 | 0 | 0 1094.70/1094.98 c 1094s | 24 | 4122556 | 4004162 | 2371 4104 | 0 | 0 1096.70/1096.99 c 1096s | 24 | 4129461 | 4010962 | 2371 4109 | 0 | 0 1098.70/1099.00 c 1098s | 24 | 4136687 | 4018062 | 2371 4115 | 0 | 0 1100.80/1101.00 c 1100s | 24 | 4143881 | 4025062 | 2371 4121 | 0 | 0 1102.80/1103.01 c 1102s | 24 | 4150870 | 4031862 | 2371 4126 | 0 | 0 1104.80/1105.01 c 1104s | 24 | 4157907 | 4038762 | 2371 4132 | 0 | 0 1106.79/1107.04 c 1106s | 24 | 4163802 | 4044362 | 2371 4136 | 0 | 0 1108.79/1109.06 c 1108s | 24 | 4170800 | 4051062 | 2371 4141 | 0 | 0 1110.80/1111.06 c 1110s | 24 | 4177784 | 4057762 | 2371 4147 | 0 | 0 1112.79/1113.09 c 1112s | 24 | 4184806 | 4064562 | 2371 4152 | 0 | 0 1114.89/1115.10 c 1114s | 24 | 4192415 | 4071962 | 2371 4158 | 0 | 0 1116.89/1117.12 c 1116s | 24 | 4198920 | 4078262 | 2371 4163 | 0 | 0 1118.89/1119.13 c 1118s | 24 | 4206269 | 4085462 | 2371 4169 | 0 | 0 1120.89/1121.13 c 1120s | 24 | 4213381 | 4092462 | 2371 4174 | 0 | 0 1122.89/1123.14 c 1122s | 24 | 4220380 | 4099262 | 2371 4180 | 0 | 0 1124.88/1125.16 c 1124s | 24 | 4227693 | 4106362 | 2371 4186 | 0 | 0 1126.88/1127.17 c 1126s | 24 | 4235205 | 4113562 | 2371 4191 | 0 | 0 1128.88/1129.17 c 1128s | 24 | 4242263 | 4120462 | 2371 4197 | 0 | 0 1130.88/1131.19 c 1130s | 24 | 4249554 | 4127562 | 2371 4203 | 0 | 0 1132.89/1133.20 c 1132s | 24 | 4256667 | 4134462 | 2371 4208 | 0 | 0 1134.98/1135.21 c 1134s | 24 | 4263891 | 4141562 | 2371 4214 | 0 | 0 1136.98/1137.21 c 1136s | 24 | 4271380 | 4148862 | 2371 4220 | 0 | 0 1138.98/1139.24 c 1138s | 24 | 4278465 | 4155762 | 2371 4225 | 0 | 0 1140.98/1141.27 c 1140s | 24 | 4285677 | 4162862 | 2371 4231 | 0 | 0 1142.98/1143.29 c 1142s | 24 | 4292587 | 4169662 | 2371 4236 | 0 | 0 1144.98/1145.29 c 1144s | 24 | 4300246 | 4177062 | 2371 4242 | 0 | 0 1147.08/1147.32 c 1146s | 24 | 4307316 | 4183762 | 2371 4248 | 0 | 0 1149.07/1149.33 c 1148s | 24 | 4314768 | 4190962 | 2371 4253 | 0 | 0 1151.07/1151.35 c 1150s | 24 | 4322290 | 4198262 | 2371 4259 | 0 | 0 1153.07/1153.38 c 1153s | 24 | 4329133 | 4204862 | 2371 4264 | 0 | 0 1155.16/1155.41 c 1155s | 24 | 4336331 | 4211762 | 2371 4270 | 0 | 0 1157.16/1157.44 c 1157s | 24 | 4343576 | 4218862 | 2371 4276 | 0 | 0 1159.17/1159.44 c 1159s | 24 | 4350809 | 4225762 | 2371 4281 | 0 | 0 1161.16/1161.46 c 1161s | 24 | 4357998 | 4232762 | 2371 4287 | 0 | 0 1163.16/1163.46 c 1163s | 24 | 4365201 | 4239862 | 2371 4292 | 0 | 0 1165.16/1165.47 c 1165s | 24 | 4372923 | 4247262 | 2371 4298 | 0 | 0 1167.16/1167.48 c 1167s | 24 | 4380201 | 4254262 | 2371 4304 | 0 | 0 1169.26/1169.50 c 1169s | 24 | 4387634 | 4261462 | 2371 4310 | 0 | 0 1171.26/1171.53 c 1171s | 24 | 4395404 | 4268962 | 2371 4316 | 0 | 0 1173.26/1173.56 c 1173s | 24 | 4403076 | 4276462 | 2371 4322 | 0 | 0 1175.25/1175.58 c 1175s | 24 | 4410814 | 4283862 | 2371 4327 | 0 | 0 1177.25/1177.59 c 1177s | 24 | 4418390 | 4291262 | 2371 4333 | 0 | 0 1179.35/1179.61 c 1179s | 24 | 4425826 | 4298462 | 2371 4339 | 0 | 0 1181.35/1181.62 c 1181s | 24 | 4433011 | 4305462 | 2371 4345 | 0 | 0 1183.36/1183.63 c 1183s | 24 | 4440088 | 4312462 | 2371 4350 | 0 | 0 1185.35/1185.64 c 1185s | 24 | 4447482 | 4319662 | 2371 4356 | 0 | 0 1187.35/1187.66 c 1187s | 24 | 4454730 | 4326662 | 2371 4362 | 0 | 0 1189.35/1189.68 c 1189s | 24 | 4462086 | 4333862 | 2371 4367 | 0 | 0 1191.45/1191.70 c 1191s | 24 | 4469402 | 4340962 | 2371 4373 | 0 | 0 1193.45/1193.71 c 1193s | 24 | 4476939 | 4348262 | 2371 4379 | 0 | 0 1195.45/1195.73 c 1195s | 24 | 4483818 | 4354762 | 2371 4384 | 0 | 0 1197.44/1197.77 c 1197s | 24 | 4490796 | 4361462 | 2371 4390 | 0 | 0 1199.44/1199.77 c 1199s | 24 | 4498258 | 4368662 | 2371 4395 | 0 | 0 1201.44/1201.79 c 1201s | 24 | 4505499 | 4375562 | 2371 4401 | 0 | 0 1203.54/1203.80 c 1203s | 24 | 4512642 | 4382462 | 2371 4406 | 0 | 0 1205.54/1205.80 c 1205s | 24 | 4520268 | 4389662 | 2371 4412 | 0 | 0 1207.54/1207.81 c 1207s | 24 | 4527858 | 4396862 | 2371 4418 | 0 | 0 1209.54/1209.82 c 1209s | 24 | 4535254 | 4404062 | 2371 4424 | 0 | 0 1211.54/1211.85 c 1211s | 24 | 4542623 | 4411262 | 2371 4429 | 0 | 0 1213.54/1213.86 c 1213s | 24 | 4550049 | 4418462 | 2371 4435 | 0 | 0 1215.53/1215.88 c 1215s | 24 | 4557304 | 4425462 | 2371 4441 | 0 | 0 1217.54/1217.89 c 1217s | 24 | 4564278 | 4432062 | 2371 4446 | 0 | 0 1219.64/1219.92 c 1219s | 24 | 4571210 | 4438662 | 2371 4451 | 0 | 0 1221.63/1221.93 c 1221s | 24 | 4578095 | 4445262 | 2371 4456 | 0 | 0 1223.63/1223.93 c 1223s | 24 | 4585053 | 4451962 | 2371 4462 | 0 | 0 1225.62/1225.93 c 1225s | 24 | 4592103 | 4458562 | 2371 4467 | 0 | 0 1227.62/1227.95 c 1227s | 24 | 4598208 | 4464362 | 2371 4472 | 0 | 0 1229.64/1229.98 c 1229s | 24 | 4605184 | 4471062 | 2371 4477 | 0 | 0 1231.74/1232.01 c 1231s | 24 | 4612121 | 4477362 | 2371 4482 | 0 | 0 1233.73/1234.01 c 1233s | 24 | 4619495 | 4484362 | 2371 4488 | 0 | 0 1235.73/1236.02 c 1235s | 24 | 4626867 | 4491062 | 2371 4493 | 0 | 0 1237.73/1238.06 c 1237s | 24 | 4633262 | 4497062 | 2371 4498 | 0 | 0 1239.73/1240.06 c 1239s | 24 | 4640155 | 4503562 | 2371 4503 | 0 | 0 1241.73/1242.07 c 1241s | 24 | 4647352 | 4510462 | 2371 4509 | 0 | 0 1243.73/1244.09 c 1243s | 24 | 4655526 | 4518362 | 2371 4515 | 0 | 0 1245.82/1246.10 c 1245s | 24 | 4662689 | 4525262 | 2371 4520 | 0 | 0 1247.82/1248.12 c 1247s | 24 | 4669885 | 4532262 | 2371 4526 | 0 | 0 1249.82/1250.13 c 1249s | 24 | 4677254 | 4539362 | 2371 4532 | 0 | 0 1251.82/1252.16 c 1251s | 24 | 4684945 | 4546762 | 2371 4538 | 0 | 0 1253.82/1254.18 c 1253s | 24 | 4692234 | 4553762 | 2371 4543 | 0 | 0 1255.92/1256.20 c 1255s | 24 | 4699488 | 4560762 | 2371 4549 | 0 | 0 1257.91/1258.23 c 1257s | 24 | 4706546 | 4567662 | 2371 4554 | 0 | 0 1259.91/1260.24 c 1259s | 24 | 4714014 | 4574862 | 2371 4560 | 0 | 0 1261.91/1262.27 c 1261s | 24 | 4721148 | 4581762 | 2371 4566 | 0 | 0 1263.91/1264.29 c 1263s | 24 | 4727860 | 4588262 | 2371 4571 | 0 | 0 1266.01/1266.30 c 1265s | 24 | 4735215 | 4595462 | 2371 4577 | 0 | 0 1268.01/1268.31 c 1267s | 24 | 4742186 | 4602262 | 2371 4582 | 0 | 0 1270.00/1270.33 c 1269s | 24 | 4749365 | 4609162 | 2371 4588 | 0 | 0 1272.00/1272.34 c 1271s | 24 | 4757168 | 4616762 | 2371 4594 | 0 | 0 1274.00/1274.34 c 1273s | 24 | 4765211 | 4624662 | 2371 4600 | 0 | 0 1276.00/1276.36 c 1275s | 24 | 4772454 | 4631662 | 2371 4606 | 0 | 0 1278.01/1278.37 c 1277s | 24 | 4779699 | 4638562 | 2371 4611 | 0 | 0 1280.01/1280.38 c 1280s | 24 | 4787012 | 4645662 | 2371 4617 | 0 | 0 1282.01/1282.39 c 1282s | 24 | 4795007 | 4653362 | 2371 4623 | 0 | 0 1284.11/1284.41 c 1284s | 24 | 4801757 | 4659962 | 2371 4628 | 0 | 0 1286.10/1286.42 c 1286s | 24 | 4808557 | 4666562 | 2371 4633 | 0 | 0 1288.10/1288.42 c 1288s | 24 | 4815972 | 4673762 | 2371 4639 | 0 | 0 1290.11/1290.43 c 1290s | 24 | 4822974 | 4680462 | 2371 4645 | 0 | 0 1292.10/1292.45 c 1292s | 24 | 4829926 | 4687162 | 2371 4650 | 0 | 0 1294.10/1294.46 c 1294s | 24 | 4837289 | 4694062 | 2371 4655 | 0 | 0 1296.10/1296.46 c 1296s | 24 | 4844129 | 4700662 | 2371 4661 | 0 | 0 1298.09/1298.48 c 1298s | 24 | 4851741 | 4708062 | 2371 4667 | 0 | 0 1300.09/1300.48 c 1300s | 24 | 4859615 | 4715462 | 2371 4673 | 0 | 0 1302.10/1302.49 c 1302s | 24 | 4866632 | 4722162 | 2371 4678 | 0 | 0 1304.19/1304.52 c 1304s | 24 | 4873890 | 4728962 | 2371 4683 | 0 | 0 1306.19/1306.53 c 1306s | 24 | 4880796 | 4735462 | 2371 4689 | 0 | 0 1308.19/1308.54 c 1308s | 24 | 4887474 | 4741962 | 2371 4694 | 0 | 0 1310.18/1310.57 c 1310s | 24 | 4894803 | 4749062 | 2371 4700 | 0 | 0 1312.18/1312.59 c 1312s | 24 | 4902431 | 4756462 | 2371 4705 | 0 | 0 1314.29/1314.61 c 1314s | 24 | 4909334 | 4762962 | 2371 4711 | 0 | 0 1316.28/1316.62 c 1316s | 24 | 4916341 | 4769762 | 2371 4716 | 0 | 0 1318.28/1318.63 c 1318s | 24 | 4923146 | 4776362 | 2371 4721 | 0 | 0 1320.28/1320.64 c 1320s | 24 | 4930468 | 4783362 | 2371 4727 | 0 | 0 1322.28/1322.66 c 1322s | 24 | 4937604 | 4790262 | 2371 4733 | 0 | 0 1324.28/1324.68 c 1324s | 24 | 4945097 | 4797562 | 2371 4738 | 0 | 0 1326.38/1326.70 c 1326s | 24 | 4952583 | 4804762 | 2371 4744 | 0 | 0 1328.37/1328.71 c 1328s | 24 | 4959761 | 4811662 | 2371 4750 | 0 | 0 1330.37/1330.73 c 1330s | 24 | 4966124 | 4817662 | 2371 4755 | 0 | 0 1332.37/1332.73 c 1332s | 24 | 4973871 | 4825162 | 2371 4761 | 0 | 0 1334.37/1334.75 c 1334s | 24 | 4981467 | 4832362 | 2371 4766 | 0 | 0 1336.36/1336.77 c 1336s | 24 | 4988707 | 4839262 | 2371 4772 | 0 | 0 1338.37/1338.79 c 1338s | 24 | 4996774 | 4847062 | 2371 4778 | 0 | 0 1340.46/1340.80 c 1340s | 24 | 5004029 | 4854062 | 2371 4784 | 0 | 0 1342.46/1342.80 c 1342s | 24 | 5011071 | 4860662 | 2371 4789 | 0 | 0 1344.46/1344.81 c 1344s | 24 | 5018295 | 4867562 | 2371 4794 | 0 | 0 1346.46/1346.84 c 1346s | 24 | 5025478 | 4874462 | 2371 4800 | 0 | 0 1348.46/1348.85 c 1348s | 24 | 5032516 | 4881262 | 2371 4805 | 0 | 0 1350.46/1350.88 c 1350s | 24 | 5039798 | 4888262 | 2371 4811 | 0 | 0 1352.56/1352.90 c 1352s | 24 | 5046394 | 4894262 | 2371 4816 | 0 | 0 1354.56/1354.91 c 1354s | 24 | 5052936 | 4900462 | 2371 4821 | 0 | 0 1356.55/1356.92 c 1356s | 24 | 5060137 | 4907362 | 2371 4826 | 0 | 0 1358.55/1358.92 c 1358s | 24 | 5067579 | 4914562 | 2371 4832 | 0 | 0 1360.55/1360.94 c 1360s | 24 | 5075153 | 4921862 | 2371 4838 | 0 | 0 1362.56/1362.95 c 1362s | 24 | 5082453 | 4928862 | 2371 4843 | 0 | 0 1364.56/1364.96 c 1364s | 24 | 5089685 | 4935862 | 2371 4849 | 0 | 0 1366.56/1366.98 c 1366s | 24 | 5097804 | 4943662 | 2371 4855 | 0 | 0 1368.56/1368.99 c 1368s | 24 | 5104975 | 4950562 | 2371 4861 | 0 | 0 1370.65/1371.00 c 1370s | 24 | 5112350 | 4957662 | 2371 4866 | 0 | 0 1372.65/1373.03 c 1372s | 24 | 5120055 | 4965162 | 2371 4873 | 0 | 0 1374.66/1375.04 c 1374s | 24 | 5127882 | 4972762 | 2371 4879 | 0 | 0 1376.65/1377.05 c 1376s | 24 | 5135223 | 4979862 | 2371 4884 | 0 | 0 1378.65/1379.08 c 1378s | 24 | 5142408 | 4986562 | 2371 4890 | 0 | 0 1380.65/1381.08 c 1380s | 24 | 5149396 | 4993362 | 2371 4895 | 0 | 0 1382.75/1383.10 c 1382s | 24 | 5156071 | 4999662 | 2371 4900 | 0 | 0 1384.75/1385.12 c 1384s | 24 | 5163018 | 5006362 | 2371 4906 | 0 | 0 1386.75/1387.13 c 1386s | 24 | 5169477 | 5012562 | 2371 4911 | 0 | 0 1388.74/1389.16 c 1388s | 24 | 5176562 | 5019462 | 2371 4916 | 0 | 0 1390.74/1391.18 c 1390s | 24 | 5183601 | 5026262 | 2371 4922 | 0 | 0 1392.84/1393.21 c 1392s | 24 | 5190287 | 5032662 | 2609 4926 | 0 | 0 1394.84/1395.21 c 1394s | 24 | 5197169 | 5039262 | 2609 4931 | 0 | 0 1396.83/1397.23 c 1396s | 24 | 5204054 | 5045762 | 2609 4936 | 0 | 0 1398.84/1399.24 c 1398s | 24 | 5210620 | 5052062 | 2609 4940 | 0 | 0 1400.83/1401.24 c 1400s | 24 | 5217373 | 5058562 | 2609 4945 | 0 | 0 1402.83/1403.25 c 1402s | 24 | 5223918 | 5064762 | 2609 4950 | 0 | 0 1402.93/1403.35 c 1402s | 25 | 5224281 | 5065098 | 2609 4950 | 0 | 0 1404.93/1405.36 c 1404s | 25 | 5231618 | 5072298 | 2609 4955 | 0 | 0 1406.93/1407.36 c 1406s | 25 | 5238459 | 5079098 | 2609 4960 | 0 | 0 1408.93/1409.37 c 1408s | 25 | 5244996 | 5085598 | 2609 4965 | 0 | 0 1410.94/1411.39 c 1411s | 25 | 5252120 | 5092598 | 2609 4970 | 0 | 0 1413.03/1413.41 c 1413s | 25 | 5259355 | 5099598 | 2609 4975 | 0 | 0 1415.02/1415.42 c 1415s | 25 | 5266092 | 5106198 | 2609 4980 | 0 | 0 1417.02/1417.44 c 1417s | 25 | 5273057 | 5113098 | 2609 4985 | 0 | 0 1419.02/1419.47 c 1419s | 25 | 5279331 | 5119298 | 2609 4989 | 0 | 0 1421.02/1421.48 c 1421s | 25 | 5286005 | 5125898 | 2609 4994 | 0 | 0 1423.03/1423.50 c 1423s | 25 | 5292802 | 5132598 | 2609 4999 | 0 | 0 1425.12/1425.51 c 1425s | 25 | 5299312 | 5138998 | 2609 5004 | 0 | 0 1427.12/1427.51 c 1427s | 25 | 5305802 | 5145398 | 2609 5008 | 0 | 0 1429.11/1429.54 c 1429s | 25 | 5312558 | 5151998 | 2609 5013 | 0 | 0 1431.11/1431.57 c 1431s | 25 | 5318817 | 5158198 | 2609 5018 | 0 | 0 1433.21/1433.60 c 1433s | 25 | 5325163 | 5164498 | 2609 5022 | 0 | 0 1435.22/1435.61 c 1435s | 25 | 5331114 | 5170398 | 2609 5026 | 0 | 0 1437.21/1437.63 c 1437s | 25 | 5337414 | 5176598 | 2609 5031 | 0 | 0 1439.21/1439.65 c 1439s | 25 | 5344040 | 5183098 | 2609 5036 | 0 | 0 1441.21/1441.66 c 1441s | 25 | 5350367 | 5189298 | 2609 5040 | 0 | 0 1443.21/1443.69 c 1443s | 25 | 5356496 | 5195398 | 2609 5044 | 0 | 0 1445.31/1445.71 c 1445s | 25 | 5362637 | 5201498 | 2609 5049 | 0 | 0 1447.31/1447.73 c 1447s | 25 | 5368981 | 5207798 | 2609 5053 | 0 | 0 1449.30/1449.74 c 1449s | 25 | 5376039 | 5214698 | 2609 5058 | 0 | 0 1451.30/1451.75 c 1451s | 25 | 5383270 | 5221698 | 2609 5064 | 0 | 0 1453.30/1453.77 c 1453s | 25 | 5390266 | 5228598 | 2609 5069 | 0 | 0 1455.30/1455.79 c 1455s | 25 | 5397286 | 5235498 | 2609 5074 | 0 | 0 1457.40/1457.80 c 1457s | 25 | 5404330 | 5242398 | 2609 5079 | 0 | 0 1459.40/1459.82 c 1459s | 25 | 5411285 | 5249198 | 2609 5084 | 0 | 0 1461.39/1461.82 c 1461s | 25 | 5418245 | 5255998 | 2609 5089 | 0 | 0 1463.39/1463.83 c 1463s | 25 | 5424606 | 5262298 | 2609 5093 | 0 | 0 1465.39/1465.84 c 1465s | 25 | 5431621 | 5269198 | 2609 5098 | 0 | 0 1467.39/1467.84 c 1467s | 25 | 5438264 | 5275798 | 2609 5103 | 0 | 0 1469.39/1469.86 c 1469s | 25 | 5444686 | 5282098 | 2609 5108 | 0 | 0 1471.39/1471.89 c 1471s | 25 | 5451122 | 5288398 | 2609 5112 | 0 | 0 1473.49/1473.91 c 1473s | 25 | 5457779 | 5294998 | 2609 5117 | 0 | 0 1475.48/1475.93 c 1475s | 25 | 5464670 | 5301798 | 2609 5122 | 0 | 0 1477.48/1477.95 c 1477s | 25 | 5471642 | 5308698 | 2609 5127 | 0 | 0 1479.48/1479.97 c 1479s | 25 | 5478504 | 5315498 | 2609 5132 | 0 | 0 1481.48/1481.99 c 1481s | 25 | 5484615 | 5321498 | 2609 5136 | 0 | 0 1483.49/1483.99 c 1483s | 25 | 5490834 | 5327598 | 2609 5141 | 0 | 0 1485.57/1486.02 c 1485s | 25 | 5497566 | 5334198 | 2609 5145 | 0 | 0 1487.57/1488.05 c 1487s | 25 | 5504048 | 5340598 | 2609 5150 | 0 | 0 1489.58/1490.05 c 1489s | 25 | 5510437 | 5346898 | 2609 5155 | 0 | 0 1491.58/1492.09 c 1491s | 25 | 5517049 | 5353398 | 2609 5159 | 0 | 0 1493.58/1494.10 c 1493s | 25 | 5523691 | 5359898 | 2609 5164 | 0 | 0 1495.68/1496.11 c 1495s | 25 | 5530367 | 5366398 | 2609 5169 | 0 | 0 1497.67/1498.12 c 1497s | 25 | 5536831 | 5372798 | 2609 5174 | 0 | 0 1499.67/1500.14 c 1499s | 25 | 5543463 | 5379398 | 2609 5178 | 0 | 0 1501.67/1502.15 c 1501s | 25 | 5550118 | 5385998 | 2609 5183 | 0 | 0 1503.67/1504.18 c 1503s | 25 | 5556749 | 5392498 | 2609 5188 | 0 | 0 1505.67/1506.19 c 1505s | 25 | 5563018 | 5398698 | 2609 5192 | 0 | 0 1507.77/1508.21 c 1507s | 25 | 5569359 | 5404998 | 2609 5197 | 0 | 0 1509.77/1510.21 c 1509s | 25 | 5576355 | 5411898 | 2609 5202 | 0 | 0 1511.77/1512.23 c 1511s | 25 | 5583398 | 5418798 | 2609 5207 | 0 | 0 1513.77/1514.25 c 1513s | 25 | 5590179 | 5425398 | 2609 5212 | 0 | 0 1515.76/1516.26 c 1515s | 25 | 5596843 | 5431998 | 2609 5217 | 0 | 0 1517.86/1518.30 c 1517s | 25 | 5603428 | 5438498 | 2609 5221 | 0 | 0 1519.87/1520.32 c 1519s | 25 | 5609981 | 5444998 | 2609 5226 | 0 | 0 1521.86/1522.34 c 1521s | 25 | 5616407 | 5451398 | 2609 5231 | 0 | 0 1523.86/1524.34 c 1523s | 25 | 5623091 | 5457998 | 2609 5236 | 0 | 0 1525.85/1526.37 c 1525s | 25 | 5629830 | 5464598 | 2609 5240 | 0 | 0 1527.85/1528.37 c 1527s | 25 | 5635996 | 5470698 | 2609 5245 | 0 | 0 1529.85/1530.38 c 1530s | 25 | 5642696 | 5477298 | 2609 5250 | 0 | 0 1531.86/1532.38 c 1532s | 25 | 5649162 | 5483698 | 2609 5255 | 0 | 0 1533.95/1534.40 c 1534s | 25 | 5655624 | 5489998 | 2609 5259 | 0 | 0 1535.95/1536.42 c 1536s | 25 | 5661672 | 5495898 | 2609 5264 | 0 | 0 1537.95/1538.45 c 1538s | 25 | 5668101 | 5502198 | 2609 5268 | 0 | 0 1539.95/1540.46 c 1540s | 25 | 5674644 | 5508598 | 2609 5273 | 0 | 0 1541.95/1542.48 c 1542s | 25 | 5680667 | 5514498 | 2609 5277 | 0 | 0 1544.06/1544.52 c 1544s | 25 | 5687476 | 5521098 | 2609 5282 | 0 | 0 1546.04/1546.54 c 1546s | 25 | 5693572 | 5527098 | 2609 5287 | 0 | 0 1548.04/1548.54 c 1548s | 25 | 5699500 | 5532898 | 2609 5291 | 0 | 0 1550.04/1550.56 c 1550s | 25 | 5705544 | 5538798 | 2609 5295 | 0 | 0 1552.04/1552.58 c 1552s | 25 | 5712485 | 5545498 | 2609 5300 | 0 | 0 1554.04/1554.59 c 1554s | 25 | 5718986 | 5551898 | 2609 5305 | 0 | 0 1556.04/1556.60 c 1556s | 25 | 5725086 | 5557898 | 2609 5309 | 0 | 0 1558.14/1558.61 c 1558s | 25 | 5731190 | 5563898 | 2609 5313 | 0 | 0 1560.14/1560.64 c 1560s | 25 | 5737454 | 5570098 | 2609 5318 | 0 | 0 1562.14/1562.66 c 1562s | 25 | 5743809 | 5576398 | 2609 5322 | 0 | 0 1564.14/1564.66 c 1564s | 25 | 5750523 | 5582998 | 2609 5327 | 0 | 0 1566.13/1566.68 c 1566s | 25 | 5757067 | 5589398 | 2609 5332 | 0 | 0 1568.14/1568.69 c 1568s | 25 | 5763207 | 5595498 | 2609 5336 | 0 | 0 1570.13/1570.69 c 1570s | 25 | 5769590 | 5601798 | 2609 5341 | 0 | 0 1572.23/1572.70 c 1572s | 25 | 5776477 | 5608598 | 2609 5346 | 0 | 0 1574.23/1574.72 c 1574s | 25 | 5783337 | 5615298 | 2609 5351 | 0 | 0 1576.22/1576.74 c 1576s | 25 | 5789918 | 5621798 | 2609 5356 | 0 | 0 1578.22/1578.76 c 1578s | 25 | 5796470 | 5628298 | 2609 5360 | 0 | 0 1580.23/1580.77 c 1580s | 25 | 5802905 | 5634698 | 2609 5365 | 0 | 0 1582.22/1582.79 c 1582s | 25 | 5809404 | 5641098 | 2609 5370 | 0 | 0 1584.32/1584.80 c 1584s | 25 | 5816492 | 5648098 | 2609 5375 | 0 | 0 1586.32/1586.82 c 1586s | 25 | 5823494 | 5654998 | 2609 5380 | 0 | 0 1588.32/1588.82 c 1588s | 25 | 5830486 | 5661898 | 2609 5385 | 0 | 0 1590.32/1590.85 c 1590s | 25 | 5837330 | 5668698 | 2609 5390 | 0 | 0 1592.32/1592.87 c 1592s | 25 | 5843988 | 5675298 | 2609 5395 | 0 | 0 1594.42/1594.90 c 1594s | 25 | 5850676 | 5681898 | 2609 5399 | 0 | 0 1596.41/1596.93 c 1596s | 25 | 5857842 | 5688898 | 2609 5405 | 0 | 0 1598.41/1598.96 c 1598s | 25 | 5865091 | 5695998 | 2609 5410 | 0 | 0 1600.41/1600.98 c 1600s | 25 | 5871700 | 5702398 | 2609 5414 | 0 | 0 1602.41/1603.00 c 1602s | 25 | 5878880 | 5709398 | 2609 5419 | 0 | 0 1604.52/1605.01 c 1604s | 25 | 5885521 | 5715998 | 2609 5424 | 0 | 0 1606.51/1607.04 c 1606s | 25 | 5892105 | 5722498 | 2609 5429 | 0 | 0 1608.51/1609.05 c 1608s | 25 | 5898616 | 5728898 | 2609 5434 | 0 | 0 1610.51/1611.06 c 1610s | 25 | 5905005 | 5735198 | 2609 5438 | 0 | 0 1612.50/1613.09 c 1612s | 25 | 5911730 | 5741798 | 2609 5443 | 0 | 0 1614.60/1615.11 c 1614s | 25 | 5918462 | 5748398 | 2609 5448 | 0 | 0 1616.61/1617.12 c 1616s | 25 | 5924295 | 5754198 | 2609 5452 | 0 | 0 1618.60/1619.14 c 1618s | 25 | 5930646 | 5760398 | 2609 5457 | 0 | 0 1620.60/1621.17 c 1620s | 25 | 5937139 | 5766798 | 2609 5461 | 0 | 0 1622.60/1623.19 c 1622s | 25 | 5943715 | 5773298 | 2609 5466 | 0 | 0 1624.70/1625.22 c 1624s | 25 | 5950317 | 5779798 | 2609 5471 | 0 | 0 1626.69/1627.24 c 1626s | 25 | 5956670 | 5786098 | 2609 5475 | 0 | 0 1628.70/1629.24 c 1628s | 25 | 5962703 | 5792098 | 2609 5480 | 0 | 0 1630.69/1631.26 c 1630s | 25 | 5968954 | 5798298 | 2609 5484 | 0 | 0 1632.69/1633.26 c 1632s | 25 | 5975340 | 5804498 | 2609 5489 | 0 | 0 1634.69/1635.28 c 1634s | 25 | 5981700 | 5810798 | 2609 5493 | 0 | 0 1636.78/1637.30 c 1636s | 25 | 5988437 | 5817398 | 2609 5498 | 0 | 0 1638.78/1639.30 c 1638s | 25 | 5994810 | 5823498 | 2609 5503 | 0 | 0 1640.79/1641.31 c 1640s | 25 | 6001263 | 5829798 | 2609 5507 | 0 | 0 1642.78/1643.33 c 1642s | 25 | 6007674 | 5836098 | 2609 5512 | 0 | 0 1644.78/1645.34 c 1644s | 25 | 6014026 | 5842298 | 2609 5517 | 0 | 0 1646.78/1647.35 c 1646s | 25 | 6020506 | 5848698 | 2609 5521 | 0 | 0 1648.78/1649.37 c 1648s | 25 | 6026868 | 5854998 | 2609 5526 | 0 | 0 1650.78/1651.39 c 1651s | 25 | 6032624 | 5860698 | 2609 5530 | 0 | 0 1652.89/1653.41 c 1653s | 25 | 6038767 | 5866798 | 2609 5535 | 0 | 0 1654.88/1655.43 c 1655s | 25 | 6044916 | 5872798 | 2609 5539 | 0 | 0 1656.88/1657.45 c 1657s | 25 | 6052794 | 5880498 | 2609 5545 | 0 | 0 1658.88/1659.47 c 1659s | 25 | 6060179 | 5887598 | 2609 5550 | 0 | 0 1660.88/1661.48 c 1661s | 25 | 6067548 | 5894598 | 2609 5555 | 0 | 0 1662.98/1663.50 c 1663s | 25 | 6074835 | 5901498 | 2609 5560 | 0 | 0 1664.98/1665.52 c 1665s | 25 | 6081967 | 5908398 | 2609 5565 | 0 | 0 1666.98/1667.52 c 1667s | 25 | 6089281 | 5915498 | 2609 5570 | 0 | 0 1668.98/1669.54 c 1669s | 25 | 6096273 | 5922098 | 2609 5575 | 0 | 0 1670.98/1671.56 c 1671s | 25 | 6103194 | 5928698 | 2609 5580 | 0 | 0 1672.98/1673.58 c 1673s | 25 | 6110506 | 5935698 | 2609 5585 | 0 | 0 1675.07/1675.60 c 1675s | 25 | 6117252 | 5942298 | 2609 5590 | 0 | 0 1677.08/1677.63 c 1677s | 25 | 6124038 | 5948798 | 2609 5594 | 0 | 0 1679.07/1679.65 c 1679s | 25 | 6130554 | 5954998 | 2609 5599 | 0 | 0 1681.07/1681.67 c 1681s | 25 | 6136822 | 5960998 | 2609 5603 | 0 | 0 1683.17/1683.70 c 1683s | 25 | 6143643 | 5967498 | 2609 5608 | 0 | 0 1685.17/1685.73 c 1685s | 25 | 6150271 | 5973698 | 2609 5613 | 0 | 0 1687.17/1687.74 c 1687s | 25 | 6156583 | 5979198 | 2609 5617 | 0 | 0 1689.17/1689.74 c 1689s | 25 | 6163325 | 5985598 | 2609 5621 | 0 | 0 1691.16/1691.77 c 1691s | 25 | 6169945 | 5991898 | 2609 5626 | 0 | 0 1693.16/1693.79 c 1693s | 25 | 6176377 | 5998098 | 2609 5630 | 0 | 0 1695.26/1695.82 c 1695s | 25 | 6183006 | 6004498 | 2609 5635 | 0 | 0 1697.26/1697.84 c 1697s | 25 | 6189533 | 6010598 | 2609 5639 | 0 | 0 1699.26/1699.87 c 1699s | 25 | 6196741 | 6017498 | 2609 5644 | 0 | 0 1701.27/1701.88 c 1701s | 25 | 6204013 | 6024498 | 2609 5649 | 0 | 0 1703.26/1703.89 c 1703s | 25 | 6210737 | 6030898 | 2609 5654 | 0 | 0 1705.36/1705.92 c 1705s | 25 | 6217360 | 6037198 | 2609 5659 | 0 | 0 1707.36/1707.94 c 1707s | 25 | 6223885 | 6043398 | 2609 5663 | 0 | 0 1709.36/1709.94 c 1709s | 25 | 6230891 | 6050198 | 2609 5668 | 0 | 0 1711.36/1711.95 c 1711s | 25 | 6237693 | 6056798 | 2609 5673 | 0 | 0 1713.37/1713.97 c 1713s | 25 | 6244667 | 6063498 | 2609 5678 | 0 | 0 1715.36/1715.99 c 1715s | 25 | 6251685 | 6070298 | 2609 5683 | 0 | 0 1717.46/1718.04 c 1717s | 25 | 6258014 | 6076198 | 2609 5687 | 0 | 0 1719.46/1720.05 c 1719s | 25 | 6264434 | 6082298 | 2609 5692 | 0 | 0 1721.46/1722.05 c 1721s | 25 | 6271286 | 6088698 | 2609 5696 | 0 | 0 1723.46/1724.07 c 1723s | 25 | 6277264 | 6094498 | 2609 5701 | 0 | 0 1725.47/1726.08 c 1725s | 25 | 6283881 | 6100898 | 2609 5705 | 0 | 0 1727.46/1728.09 c 1727s | 25 | 6290314 | 6107098 | 2609 5710 | 0 | 0 1729.56/1730.11 c 1729s | 25 | 6296422 | 6112998 | 2609 5714 | 0 | 0 1731.56/1732.13 c 1731s | 25 | 6303033 | 6119398 | 2609 5719 | 0 | 0 1733.56/1734.13 c 1733s | 25 | 6309533 | 6125698 | 2609 5723 | 0 | 0 1735.56/1736.16 c 1735s | 25 | 6316332 | 6132298 | 2609 5728 | 0 | 0 1737.56/1738.17 c 1737s | 25 | 6322766 | 6138198 | 2609 5733 | 0 | 0 1739.56/1740.19 c 1739s | 25 | 6329171 | 6144298 | 2609 5737 | 0 | 0 1741.55/1742.19 c 1741s | 25 | 6335661 | 6150398 | 2609 5741 | 0 | 0 1743.65/1744.20 c 1743s | 25 | 6342825 | 6157098 | 2609 5746 | 0 | 0 1745.65/1746.20 c 1745s | 25 | 6349962 | 6163998 | 2609 5751 | 0 | 0 1747.65/1748.24 c 1747s | 25 | 6357475 | 6171098 | 2609 5756 | 0 | 0 1749.66/1750.24 c 1749s | 25 | 6364396 | 6177698 | 2609 5761 | 0 | 0 1751.65/1752.25 c 1751s | 25 | 6370547 | 6183598 | 2609 5766 | 0 | 0 1753.65/1754.27 c 1753s | 25 | 6376871 | 6189698 | 2609 5770 | 0 | 0 1755.75/1756.31 c 1755s | 25 | 6383337 | 6195798 | 2609 5774 | 0 | 0 1757.75/1758.33 c 1757s | 25 | 6390087 | 6202198 | 2609 5779 | 0 | 0 1759.75/1760.37 c 1759s | 25 | 6396880 | 6208298 | 2609 5784 | 0 | 0 1761.76/1762.38 c 1762s | 25 | 6403426 | 6214298 | 2609 5788 | 0 | 0 1763.75/1764.39 c 1764s | 25 | 6409643 | 6220298 | 2609 5792 | 0 | 0 1765.75/1766.39 c 1766s | 25 | 6416693 | 6226998 | 2609 5797 | 0 | 0 1767.85/1768.41 c 1768s | 25 | 6423691 | 6233498 | 2609 5802 | 0 | 0 1769.85/1770.42 c 1770s | 25 | 6430615 | 6240198 | 2609 5807 | 0 | 0 1771.85/1772.45 c 1772s | 25 | 6437537 | 6246898 | 2609 5812 | 0 | 0 1773.86/1774.47 c 1774s | 25 | 6444797 | 6253898 | 2609 5817 | 0 | 0 1775.85/1776.49 c 1776s | 25 | 6451896 | 6260698 | 2609 5822 | 0 | 0 1777.95/1778.52 c 1778s | 25 | 6459142 | 6267598 | 2609 5827 | 0 | 0 1779.95/1780.54 c 1780s | 25 | 6466215 | 6274398 | 2609 5832 | 0 | 0 1781.95/1782.57 c 1782s | 25 | 6473148 | 6281098 | 2609 5837 | 0 | 0 1783.95/1784.59 c 1784s | 25 | 6480410 | 6287998 | 2609 5842 | 0 | 0 1786.05/1786.60 c 1786s | 25 | 6487119 | 6294398 | 2609 5846 | 0 | 0 1788.05/1788.64 c 1788s | 25 | 6493538 | 6300298 | 2609 5851 | 0 | 0 1790.05/1790.67 c 1790s | 25 | 6500545 | 6307098 | 2609 5856 | 0 | 0 1792.05/1792.68 c 1792s | 25 | 6507276 | 6313498 | 2609 5860 | 0 | 0 1794.15/1794.71 c 1794s | 25 | 6514256 | 6320198 | 2609 5865 | 0 | 0 1796.15/1796.74 c 1796s | 25 | 6520603 | 6326098 | 2609 5869 | 0 | 0 1798.14/1798.75 c 1798s | 25 | 6527544 | 6332798 | 2609 5874 | 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-4106358-1466270165/watcher-4106358-1466270165 -o /tmp/evaluation-result-4106358-1466270165/solver-4106358-1466270165 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21405 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106358-1466270165.opb pid=22233 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.29 2.30 2.27 3/181 22236 /proc/meminfo: memFree=28917448/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=714172 CPUtime=0 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 2659 0 0 0 0 0 0 0 20 0 4 0 29062467 731312128 3021 33554432000 4194304 16246674 140733824657840 140733824657264 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 179055 3031 441 2943 0 175949 0 [pid=22236/tid=22237] ppid=22233 vsize=731580 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 749137920 3091 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=735676 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 753332224 3107 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=740796 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29062467 758575104 3125 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 2.29 2.30 2.27 3/181 22236 /proc/meminfo: memFree=28917448/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1218116 CPUtime=0.08 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 21456 0 0 0 6 2 0 0 20 0 4 0 29062467 1247350784 21805 33554432000 4194304 16246674 140733824657840 140733824640832 6074686 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 304529 21809 758 2943 0 301423 0 [pid=22236/tid=22237] ppid=22233 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1247350784 21813 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1247350784 21819 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29062467 1247350784 21823 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200505 s] /proc/loadavg: 2.29 2.30 2.27 3/181 22236 /proc/meminfo: memFree=28917448/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 40262 0 0 0 14 5 0 0 20 0 4 0 29062467 1247350784 40612 33554432000 4194304 16246674 140733824657840 140733824640832 12478333 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 304529 40623 765 2943 0 301423 0 [pid=22236/tid=22237] ppid=22233 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1247350784 40632 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1247350784 40637 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29062467 1247350784 40639 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300465 s] /proc/loadavg: 2.29 2.30 2.27 3/181 22236 /proc/meminfo: memFree=28917448/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 58142 0 0 0 21 8 0 0 20 0 4 0 29062467 1247350784 58491 33554432000 4194304 16246674 140733824657840 140733824640832 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 304529 58497 765 2943 0 301423 0 [pid=22236/tid=22237] ppid=22233 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1247350784 58505 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1247350784 58511 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29062467 1247350784 58514 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700381 s] /proc/loadavg: 2.29 2.30 2.27 3/181 22236 /proc/meminfo: memFree=28917448/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 129135 0 0 0 50 19 0 0 20 0 4 0 29062467 1247350784 129483 33554432000 4194304 16246674 140733824657840 140733824640832 5546859 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 304529 129491 794 2943 0 301423 0 [pid=22236/tid=22237] ppid=22233 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1247350784 129496 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1247350784 129499 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29062467 1247350784 129504 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.29 2.30 2.27 3/185 22240 /proc/meminfo: memFree=28120620/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1219140 CPUtime=1.49 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 245775 0 0 0 112 37 0 0 20 0 4 0 29062467 1248399360 246101 33554432000 4194304 16246674 140733824657840 140733824657152 5710972 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 304785 246101 851 2943 0 301679 0 [pid=22236/tid=22237] ppid=22233 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1248399360 246101 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1248399360 246101 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1248399360 246101 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.1004 s] /proc/loadavg: 2.29 2.30 2.27 3/185 22240 /proc/meminfo: memFree=27848688/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 267489 0 0 0 269 40 0 0 20 0 4 0 29062467 1337528320 267815 33554432000 4194304 16246674 140733824657840 140733824639744 12476961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 326545 267815 853 2943 0 323439 0 [pid=22236/tid=22237] ppid=22233 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1337528320 267815 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1337528320 267815 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1337528320 267815 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.3004 s] /proc/loadavg: 2.27 2.30 2.27 4/185 22240 /proc/meminfo: memFree=27846540/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 267634 0 0 0 589 40 0 0 20 0 4 0 29062467 1337528320 267960 33554432000 4194304 16246674 140733824657840 140733824639744 5603028 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 326545 267960 853 2943 0 323439 0 [pid=22236/tid=22237] ppid=22233 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1337528320 267960 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1337528320 267960 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1337528320 267960 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.24 2.29 2.27 3/185 22240 /proc/meminfo: memFree=27846108/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1307204 CPUtime=12.69 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 267873 0 0 0 1229 40 0 0 20 0 4 0 29062467 1338576896 268199 33554432000 4194304 16246674 140733824657840 140733824639744 6012046 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 326801 268199 853 2943 0 323695 0 [pid=22236/tid=22237] ppid=22233 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1338576896 268199 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1338576896 268199 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1338576896 268199 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.19 2.28 2.26 3/185 22240 /proc/meminfo: memFree=27846676/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1307204 CPUtime=25.48 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 267873 0 0 0 2508 40 0 0 20 0 4 0 29062467 1338576896 268199 33554432000 4194304 16246674 140733824657840 140733824640840 12659646 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 326801 268199 853 2943 0 323695 0 [pid=22236/tid=22237] ppid=22233 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1338576896 268199 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1338576896 268199 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1338576896 268199 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1307204 [startup+51.1005 s] /proc/loadavg: 2.25 2.29 2.27 3/185 22240 /proc/meminfo: memFree=27845816/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1308228 CPUtime=51.08 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 268153 0 0 0 5067 41 0 0 20 0 4 0 29062467 1339625472 268479 33554432000 4194304 16246674 140733824657840 140733824639744 5546271 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 327057 268479 853 2943 0 323951 0 [pid=22236/tid=22237] ppid=22233 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1339625472 268479 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1339625472 268479 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1339625472 268479 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1308228 [startup+102.3 s] /proc/loadavg: 2.16 2.25 2.26 3/185 22241 /proc/meminfo: memFree=27842312/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1311300 CPUtime=102.28 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 268921 0 0 0 10186 42 0 0 20 0 4 0 29062467 1342771200 269247 33554432000 4194304 16246674 140733824657840 140733824639744 5711705 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 327825 269247 853 2943 0 324719 0 [pid=22236/tid=22237] ppid=22233 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1342771200 269247 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1342771200 269247 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1342771200 269247 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1311300 ################ # More data... # ################ /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1344868352 270016 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1242.03 Current children cumulated vsize (KiB) 1313348 [startup+1302.3 s] /proc/loadavg: 2.27 2.22 2.19 3/185 22516 /proc/meminfo: memFree=27837504/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1313348 CPUtime=1301.99 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 269614 0 0 0 130144 55 0 0 20 0 4 0 29062467 1344868352 270016 33554432000 4194304 16246674 140733824657840 140733824640840 5822756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 328337 270016 854 2943 0 325231 0 [pid=22236/tid=22237] ppid=22233 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1344868352 270016 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1344868352 270016 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1344868352 270016 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1313348 [startup+1362.3 s] /proc/loadavg: 2.18 2.21 2.18 3/185 22517 /proc/meminfo: memFree=27837776/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1313348 CPUtime=1361.95 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 269658 0 0 0 136140 55 0 0 20 0 4 0 29062467 1344868352 270016 33554432000 4194304 16246674 140733824657840 140733824639744 5974006 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 328337 270016 854 2943 0 325231 0 [pid=22236/tid=22237] ppid=22233 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1344868352 270016 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1344868352 270016 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1344868352 270016 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1313348 [startup+1422.3 s] /proc/loadavg: 2.34 2.24 2.19 4/185 22518 /proc/meminfo: memFree=27837796/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1313348 CPUtime=1421.93 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 269703 0 0 0 142137 56 0 0 20 0 4 0 29062467 1344868352 270016 33554432000 4194304 16246674 140733824657840 140733824639744 5808424 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 328337 270016 854 2943 0 325231 0 [pid=22236/tid=22237] ppid=22233 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1344868352 270016 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1344868352 270016 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1344868352 270016 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1313348 [startup+1482.3 s] /proc/loadavg: 2.30 2.24 2.19 3/186 22522 /proc/meminfo: memFree=27837612/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1313348 CPUtime=1481.88 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 269748 0 0 0 148132 56 0 0 20 0 4 0 29062467 1344868352 270016 33554432000 4194304 16246674 140733824657840 140733824639744 5523513 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 328337 270016 854 2943 0 325231 0 [pid=22236/tid=22237] ppid=22233 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1344868352 270016 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1344868352 270016 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1344868352 270016 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1313348 [startup+1542.31 s] /proc/loadavg: 2.16 2.21 2.18 3/185 22524 /proc/meminfo: memFree=27834808/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1316420 CPUtime=1541.86 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 270391 0 0 0 154129 57 0 0 20 0 4 0 29062467 1348014080 270617 33554432000 4194304 16246674 140733824657840 140733824639744 5823116 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 329105 270617 854 2943 0 325999 0 [pid=22236/tid=22237] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270617 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270617 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270617 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1316420 [startup+1602.3 s] /proc/loadavg: 2.10 2.19 2.17 3/185 22525 /proc/meminfo: memFree=27834944/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1316420 CPUtime=1601.81 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 270434 0 0 0 160124 57 0 0 20 0 4 0 29062467 1348014080 270617 33554432000 4194304 16246674 140733824657840 140733824639744 5711992 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 329105 270617 854 2943 0 325999 0 [pid=22236/tid=22237] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270617 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270617 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270617 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1316420 [startup+1662.3 s] /proc/loadavg: 2.26 2.21 2.18 3/185 22526 /proc/meminfo: memFree=27834220/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1316420 CPUtime=1661.78 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 270645 0 0 0 166120 58 0 0 20 0 4 0 29062467 1348014080 270784 33554432000 4194304 16246674 140733824657840 140733824639744 12483212 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 329105 270784 854 2943 0 325999 0 [pid=22236/tid=22237] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270784 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270784 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270784 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1316420 [startup+1722.3 s] /proc/loadavg: 2.22 2.21 2.18 4/185 22527 /proc/meminfo: memFree=27834860/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1316420 CPUtime=1721.76 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 270668 0 0 0 172118 58 0 0 20 0 4 0 29062467 1348014080 270784 33554432000 4194304 16246674 140733824657840 140733824640840 12875589 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 329105 270784 854 2943 0 325999 0 [pid=22236/tid=22237] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270784 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270784 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270784 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1316420 [startup+1782.3 s] /proc/loadavg: 2.35 2.25 2.19 4/185 22528 /proc/meminfo: memFree=27834036/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1316420 CPUtime=1781.75 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 270668 0 0 0 178117 58 0 0 20 0 4 0 29062467 1348014080 270784 33554432000 4194304 16246674 140733824657840 140733824639744 5546093 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 329105 270784 854 2943 0 325999 0 [pid=22236/tid=22237] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270784 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270784 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270784 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1316420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.38 2.26 2.20 3/185 22528 /proc/meminfo: memFree=27832388/32872528 swapFree=1505436/1685308 [pid=22236] ppid=22233 vsize=1316420 CPUtime=1800.04 cores=0,2,4,6 /proc/22236/stat : 22236 (toysat) R 22233 22236 21389 0 -1 4202496 270668 0 0 0 179946 58 0 0 20 0 4 0 29062467 1348014080 270784 33554432000 4194304 16246674 140733824657840 140733824639744 5721579 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22236/statm: 329105 270784 854 2943 0 325999 0 [pid=22236/tid=22237] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22237/stat : 22237 (toysat) S 22233 22236 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270784 33554432000 4194304 16246674 140733824657840 140683884080368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=22236/tid=22238] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22238/stat : 22238 (toysat) S 22233 22236 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270784 33554432000 4194304 16246674 140733824657840 140683801242864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22236/tid=22239] ppid=22233 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/22236/task/22239/stat : 22239 (toysat) S 22233 22236 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29062467 1348014080 270784 33554432000 4194304 16246674 140733824657840 140683790769328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1316420 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 22236 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.06 CPU user time (s): 1799.47 CPU system time (s): 0.58691 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 1316420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.47 system time used= 0.58691 maximum resident set size= 1083136 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270668 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= 478 involuntary context switches= 1842 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.54631 second user time and 6.97294 second system time The end
Begin job on node135 at 2016-06-18 19:16:05 IDJOB=4106358 IDBENCH=48030 IDSOLVER=2542 FILE ID=node135/4106358-1466270165 RUNJOBID= node135-1466266561-21405 PBS_JOBID= 19918237 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=149-P1=191-P2=199-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106358-1466270165/watcher-4106358-1466270165 -o /tmp/evaluation-result-4106358-1466270165/solver-4106358-1466270165 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21405 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106358-1466270165.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2b352a53cf64b38d9bda6afbed4525e8 RANDOM SEED=1881399658 node135.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 : 2667.004 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 : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 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 : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 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 : 2667.004 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 : 2667.004 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 : 2667.004 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 : 2667.004 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 : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28917976 kB Buffers: 153736 kB Cached: 281512 kB SwapCached: 716 kB Active: 1226460 kB Inactive: 299104 kB Active(anon): 1091020 kB Inactive(anon): 1308 kB Active(file): 135440 kB Inactive(file): 297796 kB Unevictable: 1685308 kB Mlocked: 1505436 kB SwapTotal: 67108856 kB SwapFree: 67100444 kB Dirty: 16340 kB Writeback: 0 kB AnonPages: 2776776 kB Mapped: 10536 kB Shmem: 0 kB Slab: 605024 kB SReclaimable: 49028 kB SUnreclaim: 555996 kB KernelStack: 1504 kB PageTables: 9652 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2920280 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 1265664 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71672 MiB End job on node135 at 2016-06-18 19:46:06