Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | OPT | 3 | 1747.45 | 1747.99 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=79-P1=163-P2=61-P3=127-P4=163-P5=211-B.opb |
| MD5SUM | 0b0d874eaa404001e586f84b413e6897 |
| 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.088985 |
| 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 | 120 |
| Total number of constraints | 11 |
| 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 | 11 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 320 |
| Sum of products size (including duplicates) | 640 |
| Number of different products | 320 |
| Sum of products size | 640 |
0.00/0.00 c 2016-06-18T20:05:43+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-4106547-1466273142.opb"] 0.00/0.01 c use --random-gen="896979310 250837909 4027312860 2131432927 1192962260 2898589629 3340823137 1700554919 2255901112 3708966126 55132637 1104916233 906476768 4224587629 826934 2823850279 3132296193 1645040664 1906405039 3269832260 3780457788 1454867519 242201633 3778448646 3611137949 4089368574 2669467851 3527135060 1010886566 1845813602 1533555589 1933188215 3046848157 1000500938 3136585374 1170381834 3088517546 3122516692 3157868253 2314907426 3120630756 4232545651 759214939 3961057269 4285299044 996648451 3792421665 2689354607 105308164 2636055862 4055720999 2265019332 3000952415 1274393054 1799708742 3518567612 2480575879 2253869488 4293228366 584215578 3671868488 851370813 900582834 3917246887 3107121378 3220013590 3543457058 1631535004 2947032451 1135126918 3954445719 2764180942 2391760629 1871110989 4088112772 1592943604 850594307 2978783145 167310231 1732688189 4086075320 1312049088 782216954 2005320846 1045215767 3934696799 2859547922 3194421565 3512298401 703049963 35001243 1922655365 2427402290 3608983162 2374091464 2451612407 2849636206 2950754326 1956162212 1102821147 3769649864 1393983225 2959758747 109770134 214672130 406381911 3464963439 1423228643 2105616144 1690171180 567973548 1045531393 1621255615 2454601393 2987420870 2226415220 1251757114 2726919175 4073316625 2330189573 1714245594 1431522495 363054869 1117432501 4238346893 1536689056 729106439 420163698 1337927619 3110218549 1938789807 1067293517 3052267571 2641055111 4168117253 1312295096 2641714455 3084868329 1392265825 1098975062 2630231445 1845201680 1312826499 1851760836 272976673 3423704452 1144886242 325276365 221569131 2207848546 1730462847 4095212548 2611905021 288240358 932867515 3580229443 316881944 1176151550 3432739679 3000470894 1825115995 906835773 3886597233 2130296200 2665353676 2485513780 4156998741 3907155600 3116507093 1546927700 2494634084 319299307 1641142890 3727023576 1253261805 3839668493 2971627152 1852736612 3114497909 520926499 1360817421 3204776196 3315575484 2006881445 1323990517 1147634568 819359527 2382978350 1119843524 2845182036 3592588785 590333104 3706756370 3496446048 1279920435 149675492 3019042423 1583351692 2446353543 4077821766 3496158257 4259348624 4058826187 2630792510 2136643755 4233716276 2452868589 254404366 3823158085 639719797 2237148490 1414268704 1379011472 1545348012 3317327953 1306789253 2137550519 82829413 2759305560 2757672880 1649694946 3222414152 2693534143 4182044070 1431064950 2705053571 1529452748 1997564425 3643654709 3537731819 3710367012 862306169 1741496976 2249175843 2224877017 1031951647 2056590557 2666163604 2378264158 329378857 2064948054 1345673091 1122379789 450778194 3231653977 1121846712 3688198296 2658529652 1669489809 3431062945 3006605685 919023545 66276908 3485381450 2140932665 3124736031 255 362436" option to reproduce the execution 0.00/0.01 c #vars 120 0.00/0.01 c #constraints 11 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 472 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 111 | 100 | 472 0 | 0 | 0 0.00/0.07 c 0.1s | 2 | 272 | 250 | 520 0 | 0 | 0 0.09/0.12 c 0.1s | 3 | 534 | 475 | 572 0 | 0 | 0 0.09/0.19 c 0.2s | 3 | 854 | 725 | 630 0 | 0 | 0 0.09/0.19 c #cpu_time = 0.167s 0.09/0.19 c #wall_clock_time = 0.167s 0.09/0.19 c #decision = 854 0.09/0.19 c #random_decision = 5 0.09/0.19 c #conflict = 725 0.09/0.19 c #restart = 3 0.09/0.19 o 247 0.09/0.19 c BCD2: updating upper bound: 255 -> 246 0.09/0.19 c BCD2: 0 <= obj <= 246 0.09/0.19 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 630 0 | 0 | 0 0.09/0.19 c 0.0s | 0 | 6 | 0 | 630 1 | 0 | 0 0.09/0.19 c #cpu_time = 0.004s 0.09/0.19 c #wall_clock_time = 0.004s 0.09/0.19 c #decision = 6 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: found a new core of size 7: cost of the new core is >=2 0.09/0.19 c lower bound updated to 2 0.09/0.19 c BCD2: 2 <= obj <= 246 0.09/0.19 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 630 0 | 0 | 0 0.19/0.23 c 0.0s | 1 | 171 | 100 | 693 0 | 0 | 0 0.29/0.35 c 0.2s | 2 | 457 | 250 | 693 0 | 0 | 0 0.39/0.41 c 0.2s | 3 | 749 | 475 | 693 0 | 0 | 0 0.49/0.58 c 0.4s | 4 | 1171 | 813 | 763 1 | 0 | 0 0.59/0.69 c 0.5s | 5 | 1740 | 1320 | 763 2 | 0 | 0 0.89/0.92 c 0.7s | 6 | 2578 | 2081 | 840 4 | 0 | 0 1.19/1.28 c 1.1s | 7 | 3883 | 3223 | 925 5 | 0 | 0 1.59/1.64 c 1.5s | 8 | 5639 | 4936 | 1018 9 | 0 | 0 2.39/2.46 c 2.3s | 9 | 8476 | 7506 | 1120 12 | 0 | 0 3.49/3.51 c 3.3s | 10 | 12477 | 11361 | 1232 17 | 0 | 0 4.69/4.79 c 4.6s | 11 | 18675 | 17144 | 1356 25 | 0 | 0 6.79/6.82 c 6.6s | 11 | 27601 | 25644 | 1492 34 | 0 | 0 6.79/6.88 c 6.7s | 12 | 27776 | 25819 | 1492 35 | 0 | 0 8.80/8.90 c 8.7s | 12 | 37709 | 35419 | 1492 46 | 0 | 0 9.59/9.63 c 9.4s | 13 | 41141 | 38832 | 1642 49 | 0 | 0 11.59/11.66 c 11.5s | 13 | 47483 | 44832 | 1642 55 | 0 | 0 13.59/13.66 c 13.5s | 13 | 53124 | 50232 | 1642 61 | 0 | 0 15.69/15.71 c 15.5s | 13 | 58835 | 55632 | 1642 66 | 0 | 0 16.60/16.64 c 16.4s | 14 | 61773 | 58352 | 1807 69 | 0 | 0 18.59/18.66 c 18.5s | 14 | 71485 | 67852 | 1807 78 | 0 | 0 20.59/20.66 c 20.5s | 14 | 80360 | 76552 | 1807 86 | 0 | 0 22.59/22.68 c 22.5s | 14 | 88869 | 84952 | 1807 94 | 0 | 0 23.29/23.33 c 23.1s | 15 | 91586 | 87632 | 1988 96 | 0 | 0 25.29/25.36 c 25.2s | 15 | 98051 | 93732 | 1988 101 | 0 | 0 27.29/27.36 c 27.2s | 15 | 103648 | 99032 | 1988 106 | 0 | 0 29.29/29.39 c 29.2s | 15 | 110570 | 105532 | 1988 111 | 0 | 0 31.29/31.39 c 31.2s | 15 | 117997 | 112732 | 1988 117 | 0 | 0 33.38/33.41 c 33.2s | 15 | 125459 | 119932 | 1988 123 | 0 | 0 35.38/35.43 c 35.2s | 15 | 133923 | 127632 | 1988 130 | 0 | 0 36.39/36.45 c 36.3s | 16 | 138050 | 131552 | 2187 133 | 0 | 0 38.38/38.46 c 38.3s | 16 | 147544 | 140652 | 2187 141 | 0 | 0 40.38/40.47 c 40.3s | 16 | 155468 | 148352 | 2187 147 | 0 | 0 42.38/42.47 c 42.3s | 16 | 163324 | 156052 | 2187 153 | 0 | 0 44.38/44.48 c 44.3s | 16 | 171107 | 163752 | 2187 159 | 0 | 0 46.38/46.50 c 46.3s | 16 | 178544 | 171052 | 2187 165 | 0 | 0 48.49/48.52 c 48.3s | 16 | 186162 | 178552 | 2187 171 | 0 | 0 50.48/50.54 c 50.3s | 16 | 193816 | 186052 | 2187 177 | 0 | 0 52.48/52.55 c 52.4s | 16 | 201100 | 193252 | 2187 183 | 0 | 0 53.58/53.63 c 53.4s | 17 | 205385 | 197432 | 2406 186 | 0 | 0 55.58/55.65 c 55.5s | 17 | 212547 | 204032 | 2406 191 | 0 | 0 57.68/57.71 c 57.5s | 17 | 218923 | 209932 | 2406 195 | 0 | 0 59.68/59.71 c 59.5s | 17 | 225516 | 216232 | 2406 200 | 0 | 0 61.69/61.73 c 61.5s | 17 | 232307 | 222532 | 2406 204 | 0 | 0 63.68/63.74 c 63.5s | 17 | 239934 | 229832 | 2406 210 | 0 | 0 65.68/65.79 c 65.6s | 17 | 247017 | 236632 | 2406 215 | 0 | 0 67.78/67.81 c 67.6s | 17 | 254189 | 243632 | 2406 220 | 0 | 0 69.78/69.84 c 69.6s | 17 | 260245 | 249432 | 2406 224 | 0 | 0 71.78/71.86 c 71.7s | 17 | 266771 | 255632 | 2406 228 | 0 | 0 73.78/73.89 c 73.7s | 17 | 273207 | 261832 | 2406 233 | 0 | 0 75.78/75.90 c 75.7s | 17 | 279357 | 267832 | 2406 237 | 0 | 0 77.88/77.93 c 77.7s | 17 | 285524 | 273832 | 2406 242 | 0 | 0 79.87/79.96 c 79.8s | 17 | 291581 | 279432 | 2406 246 | 0 | 0 81.87/81.96 c 81.8s | 17 | 296902 | 284332 | 2406 249 | 0 | 0 83.87/83.97 c 83.8s | 17 | 304391 | 291332 | 2406 254 | 0 | 0 85.37/85.40 c 85.2s | 18 | 309646 | 296252 | 2647 258 | 0 | 0 87.37/87.42 c 87.2s | 18 | 319089 | 305452 | 2647 264 | 0 | 0 89.37/89.43 c 89.2s | 18 | 327249 | 313452 | 2647 270 | 0 | 0 91.39/91.43 c 91.2s | 18 | 335789 | 321852 | 2647 275 | 0 | 0 93.38/93.43 c 93.2s | 18 | 343523 | 329452 | 2647 280 | 0 | 0 95.38/95.43 c 95.2s | 18 | 351111 | 336952 | 2647 285 | 0 | 0 97.38/97.44 c 97.2s | 18 | 358516 | 344252 | 2647 290 | 0 | 0 99.38/99.46 c 99.3s | 18 | 366498 | 352152 | 2647 295 | 0 | 0 101.38/101.47 c 101s | 18 | 374482 | 360052 | 2647 301 | 0 | 0 103.38/103.50 c 103s | 18 | 382451 | 367852 | 2647 306 | 0 | 0 105.48/105.52 c 105s | 18 | 390045 | 375352 | 2647 311 | 0 | 0 107.47/107.55 c 107s | 18 | 397283 | 382552 | 2647 316 | 0 | 0 109.47/109.57 c 109s | 18 | 404113 | 389352 | 2647 321 | 0 | 0 111.57/111.60 c 111s | 18 | 410918 | 396052 | 2647 325 | 0 | 0 113.57/113.60 c 113s | 18 | 417904 | 402952 | 2647 330 | 0 | 0 115.58/115.62 c 115s | 18 | 424682 | 409652 | 2647 334 | 0 | 0 117.57/117.62 c 117s | 18 | 431632 | 416552 | 2647 339 | 0 | 0 119.57/119.64 c 119s | 18 | 437690 | 422552 | 2647 343 | 0 | 0 121.57/121.65 c 121s | 18 | 444986 | 429552 | 2647 348 | 0 | 0 123.57/123.69 c 123s | 18 | 451620 | 435652 | 2647 352 | 0 | 0 125.57/125.70 c 125s | 18 | 457689 | 441152 | 2912 356 | 0 | 0 126.97/127.00 c 126s | 19 | 461142 | 444482 | 2912 358 | 0 | 0 128.97/129.02 c 128s | 19 | 469509 | 452682 | 2912 363 | 0 | 0 130.98/131.03 c 130s | 19 | 477522 | 460382 | 2912 368 | 0 | 0 132.97/133.05 c 132s | 19 | 485264 | 467682 | 2912 372 | 0 | 0 134.97/135.08 c 134s | 19 | 492256 | 474182 | 2912 376 | 0 | 0 137.07/137.10 c 136s | 19 | 498458 | 480082 | 2912 380 | 0 | 0 139.07/139.11 c 138s | 19 | 505378 | 486782 | 2912 384 | 0 | 0 141.06/141.12 c 140s | 19 | 511709 | 492882 | 2912 388 | 0 | 0 143.07/143.13 c 142s | 19 | 517488 | 498382 | 2912 392 | 0 | 0 145.06/145.13 c 144s | 19 | 523036 | 503582 | 2912 395 | 0 | 0 147.06/147.13 c 146s | 19 | 528807 | 509082 | 2912 398 | 0 | 0 149.06/149.16 c 148s | 19 | 534708 | 514682 | 2912 402 | 0 | 0 151.06/151.18 c 150s | 19 | 542103 | 521682 | 2912 406 | 0 | 0 153.16/153.22 c 153s | 19 | 549284 | 528582 | 2912 411 | 0 | 0 155.17/155.26 c 155s | 19 | 555636 | 534482 | 2912 414 | 0 | 0 157.16/157.28 c 157s | 19 | 562026 | 540382 | 2912 418 | 0 | 0 159.16/159.28 c 159s | 19 | 568818 | 546882 | 2912 422 | 0 | 0 161.16/161.28 c 161s | 19 | 575016 | 552682 | 2912 426 | 0 | 0 163.16/163.29 c 163s | 19 | 581559 | 558982 | 2912 430 | 0 | 0 165.26/165.30 c 165s | 19 | 587433 | 564482 | 2912 433 | 0 | 0 167.27/167.31 c 167s | 19 | 593726 | 570582 | 2912 437 | 0 | 0 169.37/169.43 c 169s | 19 | 599826 | 576382 | 2912 441 | 0 | 0 171.36/171.46 c 171s | 19 | 606677 | 582382 | 2912 445 | 0 | 0 173.36/173.48 c 173s | 19 | 614829 | 590382 | 2912 449 | 0 | 0 175.36/175.48 c 175s | 19 | 622006 | 597082 | 2912 454 | 0 | 0 177.46/177.52 c 177s | 19 | 629461 | 604082 | 2912 458 | 0 | 0 179.46/179.53 c 179s | 19 | 636721 | 610982 | 2912 463 | 0 | 0 181.46/181.53 c 181s | 19 | 644692 | 618582 | 2912 468 | 0 | 0 183.46/183.54 c 183s | 19 | 653038 | 626582 | 2912 473 | 0 | 0 185.46/185.54 c 185s | 19 | 661105 | 634482 | 2912 478 | 0 | 0 187.46/187.56 c 187s | 19 | 668713 | 641982 | 2912 482 | 0 | 0 189.46/189.58 c 189s | 19 | 675935 | 648782 | 2912 487 | 0 | 0 191.46/191.59 c 191s | 19 | 682888 | 655382 | 2912 491 | 0 | 0 193.56/193.63 c 193s | 19 | 690491 | 662282 | 3204 495 | 0 | 0 194.86/194.96 c 194s | 20 | 695310 | 666827 | 3204 498 | 0 | 0 196.86/196.99 c 196s | 20 | 702468 | 673727 | 3204 502 | 0 | 0 198.96/199.03 c 198s | 20 | 708980 | 680127 | 3204 506 | 0 | 0 200.96/201.03 c 200s | 20 | 714284 | 685327 | 3204 509 | 0 | 0 202.96/203.07 c 202s | 20 | 720213 | 691027 | 3204 512 | 0 | 0 205.06/205.11 c 204s | 20 | 726175 | 696827 | 3204 515 | 0 | 0 207.06/207.13 c 206s | 20 | 731146 | 701727 | 3204 518 | 0 | 0 209.07/209.16 c 208s | 20 | 738520 | 708827 | 3204 522 | 0 | 0 211.06/211.16 c 210s | 20 | 746067 | 716127 | 3204 526 | 0 | 0 213.06/213.16 c 212s | 20 | 752944 | 722927 | 3204 530 | 0 | 0 215.06/215.17 c 214s | 20 | 760568 | 730427 | 3204 534 | 0 | 0 217.06/217.19 c 216s | 20 | 768228 | 737927 | 3204 539 | 0 | 0 219.16/219.20 c 219s | 20 | 775799 | 745327 | 3204 543 | 0 | 0 221.17/221.21 c 221s | 20 | 783015 | 752427 | 3204 547 | 0 | 0 223.16/223.21 c 223s | 20 | 789601 | 758927 | 3204 551 | 0 | 0 225.16/225.23 c 225s | 20 | 797032 | 766227 | 3204 555 | 0 | 0 227.16/227.23 c 227s | 20 | 804611 | 773627 | 3204 559 | 0 | 0 229.16/229.24 c 229s | 20 | 811685 | 780527 | 3204 563 | 0 | 0 231.16/231.24 c 231s | 20 | 818082 | 786827 | 3204 567 | 0 | 0 233.16/233.27 c 233s | 20 | 824950 | 793527 | 3204 571 | 0 | 0 235.16/235.28 c 235s | 20 | 832031 | 800427 | 3204 575 | 0 | 0 237.16/237.30 c 237s | 20 | 839457 | 807627 | 3204 579 | 0 | 0 239.25/239.30 c 239s | 20 | 847130 | 815127 | 3204 583 | 0 | 0 241.25/241.30 c 241s | 20 | 853849 | 821627 | 3204 587 | 0 | 0 243.25/243.31 c 243s | 20 | 860766 | 828327 | 3204 591 | 0 | 0 245.26/245.31 c 245s | 20 | 867713 | 835127 | 3204 595 | 0 | 0 247.25/247.32 c 247s | 20 | 873510 | 840827 | 3204 598 | 0 | 0 249.25/249.35 c 249s | 20 | 880982 | 848127 | 3204 602 | 0 | 0 251.25/251.36 c 251s | 20 | 887980 | 855027 | 3204 606 | 0 | 0 253.25/253.37 c 253s | 20 | 894697 | 861627 | 3204 610 | 0 | 0 255.26/255.38 c 255s | 20 | 901706 | 868427 | 3204 614 | 0 | 0 257.36/257.40 c 257s | 20 | 908153 | 874627 | 3204 618 | 0 | 0 259.35/259.42 c 259s | 20 | 914407 | 880727 | 3204 621 | 0 | 0 261.35/261.43 c 261s | 20 | 921963 | 888027 | 3204 625 | 0 | 0 263.35/263.49 c 263s | 20 | 929615 | 895527 | 3204 630 | 0 | 0 265.35/265.49 c 265s | 20 | 935466 | 901227 | 3204 633 | 0 | 0 267.45/267.50 c 267s | 20 | 941547 | 907227 | 3204 636 | 0 | 0 269.45/269.53 c 269s | 20 | 948244 | 913827 | 3204 640 | 0 | 0 271.45/271.55 c 271s | 20 | 954741 | 920227 | 3204 644 | 0 | 0 273.45/273.57 c 273s | 20 | 962349 | 927527 | 3204 648 | 0 | 0 275.45/275.58 c 275s | 20 | 969341 | 934327 | 3204 652 | 0 | 0 277.54/277.60 c 277s | 20 | 977363 | 942127 | 3204 656 | 0 | 0 279.54/279.61 c 279s | 20 | 984872 | 949427 | 3204 661 | 0 | 0 281.55/281.64 c 281s | 20 | 992399 | 956827 | 3204 665 | 0 | 0 283.54/283.66 c 283s | 20 | 999803 | 963827 | 3204 669 | 0 | 0 285.54/285.69 c 285s | 20 | 1007924 | 971627 | 3204 673 | 0 | 0 287.64/287.71 c 287s | 20 | 1015117 | 978627 | 3204 677 | 0 | 0 289.64/289.72 c 289s | 20 | 1022125 | 985527 | 3204 681 | 0 | 0 291.64/291.73 c 291s | 20 | 1029418 | 992727 | 3525 685 | 0 | 0 293.65/293.76 c 293s | 20 | 1036006 | 999227 | 3525 689 | 0 | 0 294.04/294.11 c 293s | 21 | 1037127 | 1000345 | 3525 689 | 0 | 0 296.05/296.12 c 295s | 21 | 1044608 | 1007545 | 3525 693 | 0 | 0 298.06/298.14 c 297s | 21 | 1052491 | 1015245 | 3525 697 | 0 | 0 300.05/300.15 c 299s | 21 | 1061008 | 1023545 | 3525 702 | 1 | 8 302.05/302.17 c 301s | 21 | 1068911 | 1031345 | 3525 706 | 1 | 8 304.15/304.20 c 304s | 21 | 1076564 | 1038745 | 3525 709 | 1 | 8 306.15/306.22 c 306s | 21 | 1084713 | 1046645 | 3525 714 | 1 | 8 308.15/308.22 c 308s | 21 | 1092654 | 1054345 | 3525 718 | 1 | 8 310.15/310.25 c 310s | 21 | 1100047 | 1061545 | 3525 721 | 1 | 8 312.14/312.25 c 312s | 21 | 1107621 | 1068945 | 3525 725 | 1 | 8 314.14/314.25 c 314s | 21 | 1115676 | 1076745 | 3525 729 | 1 | 8 316.14/316.28 c 316s | 21 | 1122552 | 1083545 | 3525 733 | 1 | 8 318.14/318.29 c 318s | 21 | 1129667 | 1090545 | 3525 737 | 1 | 8 320.15/320.29 c 320s | 21 | 1136360 | 1097145 | 3525 740 | 1 | 8 322.25/322.32 c 322s | 21 | 1142826 | 1103545 | 3525 744 | 1 | 8 324.24/324.32 c 324s | 21 | 1150717 | 1111245 | 3525 748 | 1 | 8 326.24/326.34 c 326s | 21 | 1158053 | 1118345 | 3525 751 | 1 | 8 328.24/328.35 c 328s | 21 | 1165103 | 1125145 | 3525 755 | 1 | 8 330.23/330.35 c 330s | 21 | 1172597 | 1132445 | 3525 759 | 1 | 8 332.24/332.36 c 332s | 21 | 1180019 | 1139745 | 3525 763 | 1 | 8 334.23/334.39 c 334s | 21 | 1187440 | 1147045 | 3525 766 | 1 | 8 336.33/336.40 c 336s | 21 | 1193911 | 1153345 | 3525 770 | 1 | 8 338.33/338.42 c 338s | 21 | 1201213 | 1160345 | 3525 774 | 1 | 8 340.33/340.43 c 340s | 21 | 1207456 | 1166445 | 3525 777 | 1 | 8 342.33/342.45 c 342s | 21 | 1213924 | 1172745 | 3525 780 | 1 | 8 344.34/344.47 c 344s | 21 | 1220614 | 1179245 | 3525 784 | 1 | 8 346.33/346.47 c 346s | 21 | 1227994 | 1186345 | 3525 787 | 1 | 8 348.43/348.50 c 348s | 21 | 1234926 | 1193145 | 3525 791 | 1 | 8 350.42/350.52 c 350s | 21 | 1241876 | 1199945 | 3525 794 | 1 | 8 352.42/352.53 c 352s | 21 | 1248936 | 1206845 | 3525 798 | 1 | 8 354.42/354.55 c 354s | 21 | 1256735 | 1214545 | 3525 802 | 1 | 8 356.43/356.55 c 356s | 21 | 1264369 | 1222045 | 3525 806 | 1 | 8 358.42/358.56 c 358s | 21 | 1271355 | 1228945 | 3525 810 | 1 | 8 360.42/360.57 c 360s | 21 | 1278498 | 1235945 | 3525 813 | 1 | 8 362.41/362.58 c 362s | 21 | 1285740 | 1243045 | 3525 817 | 1 | 8 364.41/364.60 c 364s | 21 | 1293043 | 1250145 | 3525 821 | 1 | 8 366.51/366.60 c 366s | 21 | 1299624 | 1256445 | 3525 824 | 1 | 8 368.52/368.62 c 368s | 21 | 1306394 | 1263045 | 3525 828 | 1 | 8 370.51/370.66 c 370s | 21 | 1312819 | 1269345 | 3525 831 | 1 | 8 372.51/372.66 c 372s | 21 | 1319410 | 1275745 | 3525 835 | 1 | 8 374.51/374.69 c 374s | 21 | 1326750 | 1282745 | 3525 838 | 1 | 8 376.61/376.73 c 376s | 21 | 1333705 | 1289345 | 3525 842 | 1 | 8 378.61/378.74 c 378s | 21 | 1340533 | 1295745 | 3525 845 | 1 | 8 380.61/380.76 c 380s | 21 | 1347638 | 1302545 | 3525 849 | 1 | 8 382.60/382.77 c 382s | 21 | 1355380 | 1309945 | 3525 853 | 1 | 8 384.60/384.79 c 384s | 21 | 1362492 | 1316345 | 3525 856 | 1 | 8 386.70/386.81 c 386s | 21 | 1369170 | 1322845 | 3525 860 | 1 | 8 388.70/388.82 c 388s | 21 | 1375855 | 1329245 | 3525 863 | 1 | 8 390.70/390.84 c 390s | 21 | 1382577 | 1335645 | 3525 866 | 1 | 8 392.70/392.86 c 392s | 21 | 1389143 | 1341945 | 3525 870 | 1 | 8 394.70/394.89 c 394s | 21 | 1395924 | 1348345 | 3525 873 | 1 | 8 396.80/396.92 c 396s | 21 | 1402716 | 1354545 | 3525 876 | 1 | 8 398.80/398.93 c 398s | 21 | 1409349 | 1360945 | 3525 880 | 1 | 8 400.79/400.95 c 400s | 21 | 1416337 | 1367545 | 3525 883 | 1 | 8 402.79/402.95 c 402s | 21 | 1423591 | 1374445 | 3525 887 | 1 | 8 404.80/404.97 c 404s | 21 | 1430916 | 1381345 | 3525 890 | 1 | 8 406.79/406.98 c 406s | 21 | 1437835 | 1387945 | 3525 894 | 1 | 8 408.79/408.98 c 408s | 21 | 1444604 | 1394445 | 3525 897 | 1 | 8 410.78/410.98 c 410s | 21 | 1451675 | 1401045 | 3525 901 | 1 | 8 412.78/412.98 c 412s | 21 | 1458227 | 1407245 | 3525 904 | 1 | 8 414.78/414.99 c 414s | 21 | 1464712 | 1413445 | 3525 907 | 1 | 8 416.89/417.01 c 416s | 21 | 1472297 | 1420745 | 3525 911 | 1 | 8 418.88/419.02 c 418s | 21 | 1479210 | 1427245 | 3525 915 | 1 | 8 420.88/421.02 c 420s | 21 | 1486403 | 1434145 | 3525 918 | 1 | 8 422.88/423.03 c 422s | 21 | 1493661 | 1441045 | 3525 922 | 1 | 8 424.88/425.05 c 424s | 21 | 1500961 | 1448045 | 3525 926 | 1 | 8 426.88/427.08 c 426s | 21 | 1507798 | 1454645 | 3525 929 | 1 | 8 428.88/429.09 c 428s | 21 | 1514814 | 1461145 | 3525 933 | 1 | 8 430.97/431.11 c 430s | 21 | 1522138 | 1467945 | 3525 936 | 1 | 8 432.97/433.12 c 432s | 21 | 1529356 | 1474745 | 3525 940 | 1 | 8 434.97/435.12 c 434s | 21 | 1536479 | 1481445 | 3525 943 | 1 | 8 436.97/437.12 c 436s | 21 | 1543486 | 1488145 | 3525 947 | 1 | 8 438.97/439.14 c 438s | 21 | 1550227 | 1494545 | 3878 950 | 1 | 8 440.97/441.12 c 440s | 22 | 1556754 | 1500622 | 3878 953 | 1 | 8 442.96/443.13 c 442s | 22 | 1564903 | 1508522 | 3878 957 | 1 | 8 444.96/445.14 c 444s | 22 | 1572022 | 1515422 | 3878 960 | 1 | 8 446.96/447.15 c 446s | 22 | 1578438 | 1521722 | 3878 963 | 1 | 8 448.96/449.17 c 448s | 22 | 1584964 | 1528122 | 3878 966 | 1 | 8 450.97/451.19 c 450s | 22 | 1592280 | 1535122 | 3878 970 | 1 | 8 452.96/453.19 c 452s | 22 | 1599064 | 1541822 | 3878 973 | 1 | 8 455.06/455.21 c 455s | 22 | 1606728 | 1549322 | 3878 977 | 1 | 8 457.06/457.22 c 457s | 22 | 1614003 | 1556322 | 3878 980 | 1 | 8 459.06/459.24 c 459s | 22 | 1621237 | 1563322 | 3878 984 | 1 | 8 461.06/461.27 c 461s | 22 | 1628173 | 1570022 | 3878 987 | 1 | 8 463.06/463.27 c 463s | 22 | 1635624 | 1577322 | 3878 990 | 1 | 8 465.06/465.28 c 465s | 22 | 1642537 | 1584022 | 3878 994 | 1 | 8 467.06/467.28 c 467s | 22 | 1648286 | 1589722 | 3878 996 | 1 | 8 469.05/469.29 c 469s | 22 | 1654608 | 1595922 | 3878 1000 | 1 | 8 471.15/471.30 c 471s | 22 | 1661676 | 1602822 | 3878 1003 | 1 | 8 473.15/473.35 c 473s | 22 | 1668894 | 1609822 | 3878 1006 | 1 | 8 475.15/475.37 c 475s | 22 | 1673839 | 1614622 | 3878 1009 | 1 | 8 477.15/477.38 c 477s | 22 | 1680375 | 1621022 | 3878 1012 | 1 | 8 479.25/479.42 c 479s | 22 | 1687089 | 1627522 | 3878 1015 | 1 | 8 481.24/481.43 c 481s | 22 | 1694776 | 1635022 | 3878 1019 | 1 | 8 483.24/483.46 c 483s | 22 | 1701738 | 1641822 | 3878 1022 | 1 | 8 485.24/485.47 c 485s | 22 | 1708796 | 1648622 | 3878 1026 | 1 | 8 487.34/487.50 c 487s | 22 | 1715997 | 1655622 | 3878 1029 | 1 | 8 489.35/489.51 c 489s | 22 | 1722711 | 1662222 | 3878 1032 | 1 | 8 491.34/491.52 c 491s | 22 | 1729942 | 1669322 | 3878 1036 | 1 | 8 493.34/493.53 c 493s | 22 | 1737073 | 1676322 | 3878 1039 | 1 | 8 495.34/495.54 c 495s | 22 | 1744303 | 1683422 | 3878 1043 | 1 | 8 497.34/497.57 c 497s | 22 | 1750880 | 1689722 | 3878 1046 | 1 | 8 499.44/499.60 c 499s | 22 | 1758080 | 1696822 | 3878 1049 | 1 | 8 501.43/501.61 c 501s | 22 | 1765590 | 1704222 | 3878 1053 | 1 | 8 503.43/503.62 c 503s | 22 | 1773166 | 1711522 | 3878 1057 | 1 | 8 505.43/505.63 c 505s | 22 | 1780187 | 1718422 | 3878 1060 | 1 | 8 507.44/507.65 c 507s | 22 | 1787260 | 1725322 | 3878 1063 | 1 | 8 509.44/509.66 c 509s | 22 | 1794429 | 1732322 | 3878 1067 | 1 | 8 511.44/511.67 c 511s | 22 | 1801354 | 1739122 | 3878 1070 | 1 | 8 513.43/513.68 c 513s | 22 | 1808535 | 1746122 | 3878 1074 | 1 | 8 515.43/515.69 c 515s | 22 | 1815799 | 1753222 | 3878 1077 | 1 | 8 517.43/517.69 c 517s | 22 | 1822971 | 1760222 | 3878 1081 | 1 | 8 519.53/519.70 c 519s | 22 | 1829961 | 1767022 | 3878 1084 | 1 | 8 521.53/521.70 c 521s | 22 | 1836868 | 1773722 | 3878 1087 | 1 | 8 523.53/523.70 c 523s | 22 | 1843542 | 1780222 | 3878 1091 | 1 | 8 525.53/525.71 c 525s | 22 | 1850137 | 1786722 | 3878 1094 | 1 | 8 527.52/527.72 c 527s | 22 | 1856604 | 1793022 | 3878 1097 | 1 | 8 529.52/529.74 c 529s | 22 | 1863752 | 1800022 | 3878 1100 | 1 | 8 531.52/531.75 c 531s | 22 | 1870986 | 1807122 | 3878 1104 | 1 | 8 533.52/533.77 c 533s | 22 | 1878133 | 1814122 | 3878 1108 | 1 | 8 535.52/535.79 c 535s | 22 | 1885484 | 1821322 | 3878 1111 | 1 | 8 537.62/537.82 c 537s | 22 | 1892873 | 1828522 | 3878 1115 | 1 | 8 539.62/539.85 c 539s | 22 | 1900231 | 1835722 | 3878 1118 | 1 | 8 541.61/541.87 c 541s | 22 | 1906864 | 1842222 | 3878 1122 | 1 | 8 543.61/543.89 c 543s | 22 | 1913650 | 1848822 | 3878 1125 | 1 | 8 545.71/545.91 c 545s | 22 | 1920583 | 1855622 | 3878 1128 | 1 | 8 547.72/547.92 c 547s | 22 | 1927561 | 1862422 | 3878 1132 | 1 | 8 549.71/549.92 c 549s | 22 | 1935023 | 1869722 | 3878 1135 | 1 | 8 551.71/551.94 c 551s | 22 | 1940524 | 1874922 | 3878 1138 | 1 | 8 553.70/553.95 c 553s | 22 | 1945582 | 1879722 | 3878 1140 | 1 | 8 555.70/555.96 c 555s | 22 | 1951801 | 1885322 | 3878 1143 | 1 | 8 557.70/557.98 c 557s | 22 | 1959097 | 1892422 | 3878 1146 | 1 | 8 559.71/560.00 c 559s | 22 | 1966516 | 1899722 | 3878 1150 | 1 | 8 561.80/562.00 c 561s | 22 | 1973803 | 1906822 | 3878 1154 | 1 | 8 563.80/564.04 c 563s | 22 | 1981348 | 1914222 | 3878 1157 | 1 | 8 565.80/566.05 c 565s | 22 | 1989004 | 1921722 | 3878 1161 | 1 | 8 567.80/568.07 c 567s | 22 | 1996207 | 1928822 | 3878 1165 | 1 | 8 569.79/570.08 c 569s | 22 | 2003887 | 1936322 | 3878 1168 | 1 | 8 571.90/572.11 c 571s | 22 | 2010848 | 1942622 | 3878 1171 | 1 | 8 573.89/574.15 c 573s | 22 | 2015822 | 1947322 | 3878 1174 | 1 | 8 575.89/576.16 c 575s | 22 | 2021311 | 1952622 | 3878 1176 | 1 | 8 577.89/578.17 c 577s | 22 | 2026541 | 1957522 | 3878 1179 | 1 | 8 579.99/580.20 c 580s | 22 | 2032276 | 1962822 | 3878 1182 | 1 | 8 581.99/582.23 c 582s | 22 | 2040118 | 1970522 | 3878 1185 | 1 | 8 583.99/584.25 c 584s | 22 | 2047328 | 1977622 | 3878 1189 | 1 | 8 585.99/586.26 c 586s | 22 | 2054986 | 1985122 | 3878 1192 | 1 | 8 587.99/588.27 c 588s | 22 | 2061799 | 1991822 | 3878 1196 | 1 | 8 590.09/590.30 c 590s | 22 | 2068985 | 1998922 | 3878 1199 | 1 | 8 592.09/592.31 c 592s | 22 | 2076339 | 2006122 | 3878 1203 | 1 | 8 594.08/594.33 c 594s | 22 | 2083962 | 2013422 | 3878 1206 | 1 | 8 596.09/596.34 c 596s | 22 | 2091391 | 2020722 | 3878 1210 | 1 | 8 598.08/598.35 c 598s | 22 | 2098623 | 2027822 | 3878 1213 | 1 | 8 600.08/600.36 c 600s | 22 | 2105989 | 2035022 | 3878 1217 | 1 | 8 602.08/602.36 c 602s | 22 | 2112613 | 2041522 | 3878 1220 | 1 | 8 604.08/604.39 c 604s | 22 | 2119218 | 2048022 | 3878 1223 | 1 | 8 606.18/606.42 c 606s | 22 | 2126442 | 2055122 | 3878 1227 | 1 | 8 608.18/608.43 c 608s | 22 | 2133415 | 2061922 | 3878 1230 | 1 | 8 610.17/610.44 c 610s | 22 | 2140921 | 2069222 | 3878 1234 | 1 | 8 612.17/612.47 c 612s | 22 | 2148237 | 2076422 | 3878 1237 | 1 | 8 614.17/614.49 c 614s | 22 | 2155433 | 2083522 | 3878 1241 | 1 | 8 616.27/616.51 c 616s | 22 | 2162636 | 2090622 | 3878 1244 | 1 | 8 618.27/618.52 c 618s | 22 | 2170277 | 2098022 | 3878 1248 | 1 | 8 620.27/620.52 c 620s | 22 | 2177439 | 2105022 | 3878 1252 | 1 | 8 622.26/622.53 c 622s | 22 | 2185229 | 2112422 | 3878 1255 | 1 | 8 624.26/624.54 c 624s | 22 | 2192319 | 2119422 | 3878 1259 | 1 | 8 626.26/626.55 c 626s | 22 | 2199661 | 2126622 | 3878 1262 | 1 | 8 628.26/628.56 c 628s | 22 | 2207096 | 2133922 | 3878 1266 | 1 | 8 630.26/630.57 c 630s | 22 | 2214326 | 2141022 | 3878 1269 | 1 | 8 632.26/632.59 c 632s | 22 | 2221738 | 2148222 | 3878 1273 | 1 | 8 634.36/634.61 c 634s | 22 | 2229096 | 2155422 | 3878 1276 | 1 | 8 636.36/636.62 c 636s | 22 | 2235611 | 2161822 | 3878 1280 | 1 | 8 638.36/638.65 c 638s | 22 | 2243166 | 2169222 | 3878 1283 | 1 | 8 640.35/640.67 c 640s | 22 | 2249405 | 2175422 | 3878 1286 | 1 | 8 642.45/642.70 c 642s | 22 | 2256492 | 2182322 | 3878 1290 | 1 | 8 644.46/644.71 c 644s | 22 | 2263340 | 2189022 | 3878 1293 | 1 | 8 646.45/646.74 c 646s | 22 | 2270387 | 2195922 | 3878 1296 | 1 | 8 648.45/648.74 c 648s | 22 | 2277419 | 2202822 | 3878 1300 | 1 | 8 650.45/650.75 c 650s | 22 | 2284549 | 2209822 | 3878 1303 | 1 | 8 652.45/652.75 c 652s | 22 | 2292019 | 2217122 | 3878 1307 | 1 | 8 654.44/654.78 c 654s | 22 | 2298642 | 2223622 | 3878 1310 | 1 | 8 656.45/656.80 c 656s | 22 | 2305474 | 2230322 | 3878 1313 | 1 | 8 658.54/658.81 c 658s | 22 | 2312621 | 2237322 | 4266 1316 | 1 | 8 660.54/660.83 c 660s | 22 | 2319104 | 2243722 | 4266 1319 | 1 | 8 662.54/662.84 c 662s | 22 | 2325696 | 2250222 | 4266 1322 | 1 | 8 662.74/663.08 c 662s | 23 | 2326518 | 2251038 | 4266 1322 | 1 | 8 664.84/665.11 c 664s | 23 | 2331528 | 2255838 | 4266 1325 | 1 | 8 666.84/667.14 c 666s | 23 | 2336748 | 2260838 | 4266 1327 | 1 | 8 668.84/669.16 c 668s | 23 | 2342622 | 2266638 | 4266 1329 | 1 | 8 670.84/671.19 c 670s | 23 | 2347956 | 2271838 | 4266 1332 | 1 | 8 672.94/673.21 c 673s | 23 | 2353939 | 2277638 | 4266 1334 | 1 | 8 674.93/675.23 c 675s | 23 | 2360301 | 2283838 | 4266 1337 | 1 | 8 676.93/677.25 c 677s | 23 | 2366059 | 2288738 | 4266 1339 | 1 | 8 678.93/679.26 c 679s | 23 | 2371027 | 2293638 | 4266 1341 | 1 | 8 681.03/681.31 c 681s | 23 | 2375919 | 2298138 | 4266 1343 | 1 | 8 683.03/683.33 c 683s | 23 | 2380663 | 2302438 | 4266 1345 | 1 | 8 685.03/685.34 c 685s | 23 | 2385092 | 2306238 | 4266 1347 | 1 | 8 687.03/687.36 c 687s | 23 | 2389965 | 2310638 | 4266 1349 | 1 | 8 689.03/689.37 c 689s | 23 | 2394340 | 2314738 | 4266 1351 | 1 | 8 691.02/691.39 c 691s | 23 | 2399058 | 2319238 | 4266 1353 | 1 | 8 693.12/693.40 c 693s | 23 | 2403981 | 2323838 | 4266 1355 | 1 | 8 695.12/695.41 c 695s | 23 | 2409992 | 2329738 | 4266 1357 | 1 | 8 697.14/697.45 c 697s | 23 | 2415697 | 2334838 | 4266 1360 | 1 | 8 699.13/699.45 c 699s | 23 | 2420983 | 2339438 | 4266 1362 | 1 | 8 701.13/701.46 c 701s | 23 | 2426501 | 2344638 | 4266 1364 | 1 | 8 703.13/703.46 c 703s | 23 | 2431609 | 2349538 | 4266 1366 | 1 | 8 705.22/705.52 c 705s | 23 | 2437034 | 2354638 | 4266 1369 | 1 | 8 707.22/707.53 c 707s | 23 | 2442555 | 2359938 | 4266 1371 | 1 | 8 709.23/709.54 c 709s | 23 | 2448451 | 2365438 | 4266 1373 | 1 | 8 711.22/711.57 c 711s | 23 | 2454138 | 2370638 | 4266 1376 | 1 | 8 713.22/713.58 c 713s | 23 | 2459718 | 2375838 | 4266 1378 | 1 | 8 715.22/715.59 c 715s | 23 | 2464855 | 2380838 | 4266 1380 | 1 | 8 717.32/717.61 c 717s | 23 | 2469967 | 2385738 | 4266 1383 | 1 | 8 719.31/719.64 c 719s | 23 | 2475645 | 2391238 | 4266 1385 | 1 | 8 721.32/721.67 c 721s | 23 | 2482219 | 2397638 | 4266 1388 | 1 | 8 723.31/723.67 c 723s | 23 | 2488747 | 2404038 | 4266 1391 | 1 | 8 725.31/725.69 c 725s | 23 | 2494665 | 2409838 | 4266 1393 | 1 | 8 727.41/727.72 c 727s | 23 | 2501097 | 2416138 | 4266 1396 | 1 | 8 729.41/729.73 c 729s | 23 | 2506717 | 2421538 | 4266 1399 | 1 | 8 731.40/731.74 c 731s | 23 | 2512532 | 2426938 | 4266 1401 | 1 | 8 733.41/733.75 c 733s | 23 | 2518026 | 2432138 | 4266 1403 | 1 | 8 735.40/735.75 c 735s | 23 | 2524581 | 2438438 | 4266 1406 | 2 | 16 737.40/737.77 c 737s | 23 | 2530743 | 2444338 | 4266 1409 | 2 | 16 739.40/739.79 c 739s | 23 | 2536794 | 2449938 | 4266 1411 | 2 | 16 741.49/741.80 c 741s | 23 | 2543754 | 2456638 | 4266 1414 | 2 | 16 743.49/743.82 c 743s | 23 | 2550181 | 2462938 | 4266 1417 | 2 | 16 745.50/745.84 c 745s | 23 | 2557118 | 2469638 | 4266 1420 | 2 | 16 747.49/747.84 c 747s | 23 | 2563841 | 2476238 | 4266 1423 | 2 | 16 749.49/749.85 c 749s | 23 | 2570749 | 2482938 | 4266 1426 | 2 | 16 751.49/751.86 c 751s | 23 | 2577340 | 2489238 | 4266 1428 | 2 | 16 753.49/753.87 c 753s | 23 | 2584889 | 2496638 | 4266 1431 | 2 | 16 755.59/755.90 c 755s | 23 | 2591820 | 2503238 | 4266 1434 | 2 | 16 757.59/757.91 c 757s | 23 | 2597751 | 2508838 | 4266 1437 | 2 | 16 759.59/759.92 c 759s | 23 | 2603698 | 2514538 | 4266 1439 | 2 | 16 761.58/761.92 c 761s | 23 | 2609901 | 2520538 | 4266 1442 | 2 | 16 763.58/763.93 c 763s | 23 | 2615912 | 2526338 | 4266 1444 | 2 | 16 765.58/765.97 c 765s | 23 | 2621661 | 2531938 | 4266 1447 | 2 | 16 767.59/767.98 c 767s | 23 | 2628007 | 2538038 | 4266 1450 | 2 | 16 769.69/770.01 c 769s | 23 | 2634384 | 2543938 | 4266 1452 | 2 | 16 771.67/772.03 c 771s | 23 | 2639960 | 2549138 | 4266 1454 | 2 | 16 773.67/774.06 c 773s | 23 | 2646181 | 2554938 | 4266 1457 | 2 | 16 775.67/776.07 c 775s | 23 | 2652326 | 2560638 | 4266 1459 | 2 | 16 777.67/778.07 c 777s | 23 | 2658482 | 2566338 | 4266 1462 | 2 | 16 779.68/780.09 c 779s | 23 | 2664768 | 2572038 | 4266 1464 | 2 | 16 781.67/782.10 c 781s | 23 | 2672072 | 2579038 | 4266 1467 | 2 | 16 783.77/784.11 c 783s | 23 | 2677697 | 2584438 | 4266 1470 | 2 | 16 785.77/786.13 c 785s | 23 | 2683596 | 2590038 | 4266 1472 | 2 | 16 787.77/788.14 c 787s | 23 | 2689765 | 2595738 | 4266 1475 | 2 | 16 789.77/790.14 c 789s | 23 | 2695886 | 2601338 | 4266 1477 | 2 | 16 791.77/792.16 c 791s | 23 | 2702214 | 2607438 | 4266 1480 | 2 | 16 793.76/794.17 c 793s | 23 | 2707879 | 2612938 | 4266 1482 | 2 | 16 795.76/796.17 c 795s | 23 | 2714294 | 2618838 | 4266 1485 | 2 | 16 797.76/798.18 c 797s | 23 | 2720651 | 2624738 | 4266 1488 | 2 | 16 799.76/800.19 c 799s | 23 | 2727137 | 2630738 | 4266 1490 | 2 | 16 801.86/802.21 c 802s | 23 | 2733491 | 2636638 | 4266 1493 | 2 | 16 803.86/804.25 c 804s | 23 | 2739554 | 2642438 | 4266 1495 | 2 | 16 805.86/806.27 c 806s | 23 | 2745915 | 2648438 | 4266 1498 | 2 | 16 807.86/808.28 c 808s | 23 | 2752533 | 2654438 | 4266 1501 | 2 | 16 809.86/810.28 c 810s | 23 | 2758708 | 2659838 | 4266 1503 | 2 | 16 811.96/812.32 c 812s | 23 | 2764582 | 2665038 | 4266 1505 | 2 | 16 813.96/814.35 c 814s | 23 | 2771008 | 2670938 | 4266 1508 | 2 | 16 815.97/816.36 c 816s | 23 | 2777483 | 2677038 | 4266 1511 | 2 | 16 817.96/818.37 c 818s | 23 | 2784339 | 2683538 | 4266 1513 | 2 | 16 820.05/820.40 c 820s | 23 | 2790472 | 2689538 | 4266 1516 | 2 | 16 822.05/822.41 c 822s | 23 | 2796567 | 2695538 | 4266 1519 | 2 | 16 824.05/824.45 c 824s | 23 | 2803315 | 2702138 | 4266 1522 | 2 | 16 826.05/826.48 c 826s | 23 | 2809459 | 2708138 | 4266 1524 | 2 | 16 828.06/828.49 c 828s | 23 | 2814434 | 2713038 | 4266 1526 | 2 | 16 830.15/830.51 c 830s | 23 | 2820108 | 2718538 | 4266 1529 | 2 | 16 832.14/832.52 c 832s | 23 | 2826099 | 2724438 | 4266 1531 | 2 | 16 834.14/834.52 c 834s | 23 | 2832032 | 2730238 | 4266 1534 | 2 | 16 836.14/836.54 c 836s | 23 | 2838383 | 2736438 | 4266 1537 | 2 | 16 838.14/838.57 c 838s | 23 | 2844678 | 2742638 | 4266 1539 | 2 | 16 840.24/840.60 c 840s | 23 | 2851408 | 2749238 | 4266 1542 | 2 | 16 842.24/842.63 c 842s | 23 | 2857943 | 2755638 | 4266 1545 | 2 | 16 844.24/844.66 c 844s | 23 | 2863603 | 2761238 | 4266 1547 | 2 | 16 846.24/846.67 c 846s | 23 | 2868739 | 2766238 | 4266 1550 | 2 | 16 848.24/848.69 c 848s | 23 | 2874237 | 2771538 | 4266 1552 | 2 | 16 850.23/850.69 c 850s | 23 | 2879351 | 2776538 | 4266 1554 | 2 | 16 852.33/852.71 c 852s | 23 | 2884675 | 2781638 | 4266 1556 | 2 | 16 854.34/854.73 c 854s | 23 | 2890969 | 2787838 | 4266 1559 | 2 | 16 856.33/856.74 c 856s | 23 | 2896967 | 2793738 | 4266 1562 | 2 | 16 858.33/858.75 c 858s | 23 | 2901915 | 2798538 | 4266 1564 | 2 | 16 860.33/860.78 c 860s | 23 | 2907121 | 2803538 | 4266 1566 | 2 | 16 862.33/862.78 c 862s | 23 | 2912382 | 2808638 | 4266 1568 | 2 | 16 864.33/864.79 c 864s | 23 | 2918215 | 2814238 | 4266 1571 | 2 | 16 866.43/866.81 c 866s | 23 | 2923871 | 2819838 | 4266 1573 | 2 | 16 868.42/868.83 c 868s | 23 | 2929093 | 2824838 | 4266 1575 | 2 | 16 870.42/870.86 c 870s | 23 | 2934484 | 2829938 | 4266 1577 | 2 | 16 872.42/872.87 c 872s | 23 | 2939230 | 2834538 | 4266 1579 | 2 | 16 874.42/874.88 c 874s | 23 | 2945040 | 2840238 | 4266 1582 | 2 | 16 876.52/876.91 c 876s | 23 | 2950277 | 2845138 | 4266 1584 | 2 | 16 878.52/878.95 c 878s | 23 | 2954884 | 2849538 | 4266 1586 | 2 | 16 880.51/880.96 c 880s | 23 | 2960470 | 2854838 | 4266 1588 | 2 | 16 882.51/882.98 c 882s | 23 | 2966047 | 2860038 | 4266 1591 | 2 | 16 884.51/884.99 c 884s | 23 | 2971324 | 2865038 | 4266 1593 | 2 | 16 886.61/887.00 c 886s | 23 | 2976401 | 2869938 | 4266 1595 | 2 | 16 888.61/889.00 c 888s | 23 | 2982795 | 2876238 | 4266 1598 | 2 | 16 890.61/891.02 c 890s | 23 | 2988970 | 2882138 | 4266 1600 | 2 | 16 892.61/893.02 c 892s | 23 | 2994642 | 2887638 | 4266 1603 | 2 | 16 894.61/895.05 c 894s | 23 | 3000861 | 2893738 | 4266 1606 | 2 | 16 896.61/897.06 c 896s | 23 | 3007127 | 2899738 | 4266 1608 | 2 | 16 898.61/899.09 c 898s | 23 | 3012717 | 2905138 | 4266 1611 | 2 | 16 900.61/901.09 c 900s | 23 | 3018683 | 2910838 | 4266 1613 | 2 | 16 902.60/903.10 c 902s | 23 | 3024313 | 2916338 | 4266 1615 | 2 | 16 904.70/905.12 c 904s | 23 | 3030085 | 2921838 | 4266 1618 | 2 | 16 906.70/907.15 c 906s | 23 | 3036009 | 2927638 | 4266 1620 | 2 | 16 908.70/909.18 c 908s | 23 | 3041768 | 2933338 | 4266 1623 | 2 | 16 910.79/911.20 c 911s | 23 | 3047032 | 2938538 | 4266 1625 | 2 | 16 912.79/913.22 c 913s | 23 | 3053196 | 2944438 | 4266 1628 | 2 | 16 914.80/915.26 c 915s | 23 | 3058954 | 2950038 | 4266 1630 | 2 | 16 916.79/917.28 c 917s | 23 | 3064301 | 2955138 | 4266 1633 | 2 | 16 918.89/919.31 c 919s | 23 | 3070453 | 2960938 | 4266 1635 | 2 | 16 920.89/921.34 c 921s | 23 | 3076001 | 2966238 | 4266 1637 | 2 | 16 922.89/923.35 c 923s | 23 | 3081566 | 2971438 | 4266 1640 | 2 | 16 924.89/925.37 c 925s | 23 | 3087752 | 2977238 | 4266 1642 | 2 | 16 926.89/927.38 c 927s | 23 | 3093721 | 2982938 | 4266 1645 | 2 | 16 928.89/929.39 c 929s | 23 | 3099630 | 2988638 | 4266 1647 | 2 | 16 930.98/931.41 c 931s | 23 | 3105096 | 2993938 | 4266 1650 | 2 | 16 932.98/933.41 c 933s | 23 | 3110783 | 2999438 | 4266 1652 | 2 | 16 934.98/935.46 c 935s | 23 | 3116653 | 3005038 | 4266 1655 | 2 | 16 936.98/937.49 c 937s | 23 | 3121802 | 3010038 | 4266 1657 | 2 | 16 939.00/939.50 c 939s | 23 | 3127817 | 3015838 | 4266 1659 | 2 | 16 941.08/941.52 c 941s | 23 | 3133674 | 3021538 | 4266 1662 | 2 | 16 943.08/943.56 c 943s | 23 | 3139229 | 3026938 | 4266 1664 | 2 | 16 945.18/945.60 c 945s | 23 | 3145328 | 3032538 | 4266 1667 | 2 | 16 947.18/947.61 c 947s | 23 | 3150285 | 3037138 | 4266 1669 | 2 | 16 949.18/949.65 c 949s | 23 | 3156331 | 3042738 | 4266 1671 | 2 | 16 951.18/951.69 c 951s | 23 | 3161193 | 3047538 | 4266 1673 | 2 | 16 953.17/953.70 c 953s | 23 | 3167150 | 3053238 | 4266 1676 | 2 | 16 955.27/955.71 c 955s | 23 | 3173888 | 3059438 | 4266 1678 | 2 | 16 957.27/957.72 c 957s | 23 | 3179781 | 3065238 | 4266 1681 | 2 | 16 959.27/959.73 c 959s | 23 | 3186101 | 3071438 | 4266 1684 | 2 | 16 961.27/961.75 c 961s | 23 | 3191979 | 3077238 | 4266 1686 | 2 | 16 963.28/963.75 c 963s | 23 | 3197689 | 3082838 | 4266 1689 | 2 | 16 965.27/965.76 c 965s | 23 | 3203783 | 3088738 | 4266 1691 | 2 | 16 967.27/967.78 c 967s | 23 | 3210530 | 3095338 | 4266 1694 | 2 | 16 969.27/969.78 c 969s | 23 | 3217322 | 3101738 | 4266 1697 | 2 | 16 971.27/971.79 c 971s | 23 | 3223969 | 3108238 | 4266 1700 | 2 | 16 973.37/973.81 c 973s | 23 | 3230416 | 3114638 | 4266 1702 | 2 | 16 975.37/975.84 c 975s | 23 | 3237074 | 3121038 | 4266 1705 | 2 | 16 977.37/977.84 c 977s | 23 | 3243468 | 3127338 | 4266 1708 | 2 | 16 979.37/979.85 c 979s | 23 | 3249907 | 3133638 | 4266 1711 | 2 | 16 981.37/981.87 c 981s | 23 | 3255463 | 3139138 | 4266 1713 | 2 | 16 983.47/983.91 c 983s | 23 | 3260911 | 3144438 | 4266 1715 | 2 | 16 985.47/985.92 c 985s | 23 | 3266998 | 3150338 | 4266 1718 | 2 | 16 987.47/987.96 c 987s | 23 | 3272716 | 3155938 | 4266 1720 | 2 | 16 989.47/989.98 c 989s | 23 | 3278990 | 3162138 | 4266 1723 | 2 | 16 991.57/992.00 c 991s | 23 | 3285064 | 3168138 | 4266 1726 | 2 | 16 993.57/994.04 c 993s | 23 | 3291350 | 3174338 | 4266 1728 | 2 | 16 995.56/996.04 c 995s | 23 | 3297790 | 3180638 | 4266 1731 | 2 | 16 997.56/998.06 c 997s | 23 | 3304478 | 3187038 | 4266 1734 | 2 | 16 999.57/1000.08 c 999s | 23 | 3311072 | 3193538 | 4266 1737 | 2 | 16 1001.67/1002.14 c 1001s | 23 | 3317820 | 3200138 | 4266 1740 | 2 | 16 1003.66/1004.14 c 1003s | 23 | 3324006 | 3206238 | 4266 1742 | 2 | 16 1005.66/1006.15 c 1005s | 23 | 3329662 | 3211738 | 4266 1745 | 2 | 16 1007.66/1008.16 c 1007s | 23 | 3335619 | 3217638 | 4266 1747 | 2 | 16 1009.66/1010.18 c 1009s | 23 | 3342673 | 3224538 | 4266 1750 | 2 | 16 1011.76/1012.20 c 1012s | 23 | 3348932 | 3230638 | 4266 1753 | 2 | 16 1013.77/1014.21 c 1014s | 23 | 3355751 | 3237338 | 4266 1756 | 2 | 16 1015.76/1016.21 c 1016s | 23 | 3362996 | 3244438 | 4266 1759 | 2 | 16 1017.76/1018.22 c 1018s | 23 | 3369743 | 3251038 | 4266 1762 | 2 | 16 1019.76/1020.25 c 1020s | 23 | 3376320 | 3257538 | 4266 1764 | 2 | 16 1021.76/1022.28 c 1022s | 23 | 3382614 | 3263638 | 4266 1767 | 2 | 16 1023.76/1024.28 c 1024s | 23 | 3388950 | 3269838 | 4266 1770 | 2 | 16 1025.86/1026.31 c 1026s | 23 | 3394932 | 3275738 | 4266 1772 | 2 | 16 1027.86/1028.33 c 1028s | 23 | 3401201 | 3281938 | 4266 1775 | 2 | 16 1029.86/1030.36 c 1030s | 23 | 3408011 | 3288538 | 4266 1778 | 2 | 16 1031.86/1032.39 c 1032s | 23 | 3414202 | 3294638 | 4266 1781 | 2 | 16 1033.96/1034.43 c 1034s | 23 | 3421154 | 3301438 | 4266 1783 | 2 | 16 1035.96/1036.43 c 1036s | 23 | 3427735 | 3307938 | 4266 1786 | 2 | 16 1037.96/1038.46 c 1038s | 23 | 3434019 | 3314138 | 4266 1789 | 2 | 16 1039.96/1040.49 c 1040s | 23 | 3439988 | 3319938 | 4266 1791 | 2 | 16 1042.06/1042.51 c 1042s | 23 | 3445161 | 3325038 | 4266 1794 | 2 | 16 1044.06/1044.54 c 1044s | 23 | 3450920 | 3330638 | 4266 1796 | 2 | 16 1046.06/1046.55 c 1046s | 23 | 3456260 | 3335838 | 4266 1798 | 2 | 16 1048.05/1048.56 c 1048s | 23 | 3462853 | 3342338 | 4266 1801 | 2 | 16 1050.06/1050.58 c 1050s | 23 | 3469751 | 3349138 | 4266 1804 | 2 | 16 1052.05/1052.59 c 1052s | 23 | 3476455 | 3355738 | 4693 1807 | 2 | 16 1054.15/1054.63 c 1054s | 23 | 3482714 | 3361838 | 4693 1809 | 2 | 16 1056.15/1056.67 c 1056s | 23 | 3489058 | 3367938 | 4693 1812 | 2 | 16 1058.15/1058.68 c 1058s | 23 | 3494787 | 3373138 | 4693 1814 | 2 | 16 1059.55/1060.05 c 1059s | 24 | 3498557 | 3376662 | 4693 1815 | 2 | 16 1061.55/1062.09 c 1061s | 24 | 3505095 | 3382962 | 4693 1818 | 2 | 16 1063.56/1064.09 c 1063s | 24 | 3511529 | 3389162 | 4693 1820 | 2 | 16 1065.66/1066.11 c 1065s | 24 | 3518283 | 3395762 | 4693 1823 | 2 | 16 1067.66/1068.13 c 1067s | 24 | 3524998 | 3402162 | 4693 1826 | 2 | 16 1069.66/1070.15 c 1069s | 24 | 3532217 | 3409262 | 4693 1828 | 2 | 16 1071.66/1072.19 c 1072s | 24 | 3538107 | 3414762 | 4693 1831 | 2 | 16 1073.76/1074.21 c 1074s | 24 | 3542671 | 3419162 | 4693 1833 | 2 | 16 1075.76/1076.24 c 1076s | 24 | 3548268 | 3424362 | 4693 1835 | 2 | 16 1077.76/1078.26 c 1078s | 24 | 3554747 | 3430562 | 4693 1837 | 2 | 16 1079.76/1080.28 c 1080s | 24 | 3561617 | 3437262 | 4693 1840 | 2 | 16 1081.75/1082.29 c 1082s | 24 | 3567642 | 3442662 | 4693 1842 | 2 | 16 1083.85/1084.33 c 1084s | 24 | 3573743 | 3448662 | 4693 1845 | 2 | 16 1085.85/1086.36 c 1086s | 24 | 3579814 | 3454562 | 4693 1847 | 2 | 16 1087.85/1088.38 c 1088s | 24 | 3585123 | 3459762 | 4693 1849 | 2 | 16 1089.95/1090.40 c 1090s | 24 | 3590488 | 3464862 | 4693 1851 | 2 | 16 1091.96/1092.44 c 1092s | 24 | 3595533 | 3469562 | 4693 1853 | 2 | 16 1093.95/1094.46 c 1094s | 24 | 3602830 | 3476662 | 4693 1856 | 2 | 16 1095.95/1096.49 c 1096s | 24 | 3609168 | 3482862 | 4693 1859 | 2 | 16 1098.05/1098.50 c 1098s | 24 | 3616127 | 3489562 | 4693 1862 | 2 | 16 1100.05/1100.52 c 1100s | 24 | 3622808 | 3496162 | 4693 1864 | 2 | 16 1102.05/1102.54 c 1102s | 24 | 3629485 | 3502762 | 4693 1867 | 2 | 16 1104.06/1104.56 c 1104s | 24 | 3636402 | 3508962 | 4693 1870 | 2 | 16 1106.05/1106.57 c 1106s | 24 | 3643526 | 3515962 | 4693 1872 | 2 | 16 1108.05/1108.58 c 1108s | 24 | 3649928 | 3522162 | 4693 1875 | 2 | 16 1110.15/1110.61 c 1110s | 24 | 3656354 | 3528362 | 4693 1878 | 2 | 16 1112.15/1112.61 c 1112s | 24 | 3662444 | 3534362 | 4693 1880 | 2 | 16 1114.15/1114.63 c 1114s | 24 | 3668356 | 3540162 | 4693 1882 | 2 | 16 1116.15/1116.63 c 1116s | 24 | 3674755 | 3546362 | 4693 1885 | 2 | 16 1118.15/1118.63 c 1118s | 24 | 3680954 | 3552462 | 4693 1888 | 2 | 16 1120.15/1120.65 c 1120s | 24 | 3687566 | 3558962 | 4693 1890 | 2 | 16 1122.15/1122.66 c 1122s | 24 | 3694849 | 3565962 | 4693 1893 | 2 | 16 1124.15/1124.68 c 1124s | 24 | 3701026 | 3572062 | 4693 1896 | 2 | 16 1126.24/1126.70 c 1126s | 24 | 3707739 | 3578662 | 4693 1898 | 2 | 16 1128.25/1128.70 c 1128s | 24 | 3714447 | 3585262 | 4693 1901 | 2 | 16 1130.24/1130.73 c 1130s | 24 | 3720977 | 3591662 | 4693 1904 | 2 | 16 1132.24/1132.73 c 1132s | 24 | 3727893 | 3598462 | 4693 1906 | 2 | 16 1134.24/1134.75 c 1134s | 24 | 3734305 | 3604762 | 4693 1909 | 2 | 16 1136.24/1136.76 c 1136s | 24 | 3740834 | 3610762 | 4693 1912 | 2 | 16 1138.24/1138.76 c 1138s | 24 | 3748125 | 3617962 | 4693 1914 | 2 | 16 1140.25/1140.77 c 1140s | 24 | 3754906 | 3624662 | 4693 1917 | 2 | 16 1142.24/1142.79 c 1142s | 24 | 3761892 | 3631562 | 4693 1920 | 2 | 16 1144.34/1144.80 c 1144s | 24 | 3768604 | 3637762 | 4693 1923 | 2 | 16 1146.34/1146.82 c 1146s | 24 | 3773722 | 3642662 | 4693 1925 | 2 | 16 1148.34/1148.82 c 1148s | 24 | 3778571 | 3647162 | 4693 1926 | 2 | 16 1150.34/1150.83 c 1150s | 24 | 3784015 | 3652362 | 4693 1929 | 2 | 16 1152.34/1152.84 c 1152s | 24 | 3790186 | 3658262 | 4693 1931 | 2 | 16 1154.34/1154.87 c 1154s | 24 | 3796413 | 3663962 | 4693 1933 | 2 | 16 1156.34/1156.89 c 1156s | 24 | 3801429 | 3668762 | 4693 1935 | 2 | 16 1158.44/1158.91 c 1158s | 24 | 3806951 | 3673762 | 4693 1937 | 2 | 16 1160.44/1160.91 c 1160s | 24 | 3812488 | 3679062 | 4693 1940 | 2 | 16 1162.44/1162.92 c 1162s | 24 | 3817493 | 3683962 | 4693 1942 | 2 | 16 1164.44/1164.92 c 1164s | 24 | 3822382 | 3688662 | 4693 1944 | 2 | 16 1166.43/1166.93 c 1166s | 24 | 3827564 | 3693662 | 4693 1946 | 2 | 16 1168.43/1168.95 c 1168s | 24 | 3833108 | 3698962 | 4693 1948 | 2 | 16 1170.43/1170.97 c 1170s | 24 | 3838863 | 3703962 | 4693 1950 | 2 | 16 1172.54/1173.02 c 1172s | 24 | 3844286 | 3709062 | 4693 1952 | 2 | 16 1174.54/1175.03 c 1174s | 24 | 3849540 | 3714062 | 4693 1954 | 2 | 16 1176.55/1177.09 c 1176s | 24 | 3854355 | 3718462 | 4693 1956 | 2 | 16 1178.54/1179.09 c 1178s | 24 | 3858328 | 3722162 | 4693 1957 | 2 | 16 1180.64/1181.13 c 1180s | 24 | 3863636 | 3726962 | 4693 1959 | 2 | 16 1182.64/1183.13 c 1182s | 24 | 3868774 | 3731862 | 4693 1961 | 2 | 16 1184.64/1185.16 c 1184s | 24 | 3874975 | 3737762 | 4693 1964 | 2 | 16 1186.64/1187.16 c 1186s | 24 | 3880250 | 3742762 | 4693 1966 | 2 | 16 1188.65/1189.20 c 1189s | 24 | 3885918 | 3748062 | 4693 1968 | 2 | 16 1190.74/1191.21 c 1191s | 24 | 3891475 | 3753162 | 4693 1970 | 2 | 16 1192.74/1193.25 c 1193s | 24 | 3897188 | 3758262 | 4693 1972 | 2 | 16 1194.74/1195.25 c 1195s | 24 | 3902909 | 3763662 | 4693 1975 | 2 | 16 1196.74/1197.28 c 1197s | 24 | 3908438 | 3768962 | 4693 1977 | 2 | 16 1198.84/1199.30 c 1199s | 24 | 3913877 | 3774162 | 4693 1979 | 2 | 16 1200.84/1201.30 c 1201s | 24 | 3918990 | 3779162 | 4693 1981 | 2 | 16 1202.84/1203.31 c 1203s | 24 | 3924203 | 3784262 | 4693 1983 | 2 | 16 1204.84/1205.31 c 1205s | 24 | 3929076 | 3788962 | 4693 1985 | 2 | 16 1206.84/1207.31 c 1207s | 24 | 3934424 | 3794062 | 4693 1987 | 2 | 16 1208.84/1209.32 c 1209s | 24 | 3939492 | 3798962 | 4693 1989 | 2 | 16 1210.84/1211.33 c 1211s | 24 | 3944546 | 3803662 | 4693 1991 | 2 | 16 1212.84/1213.33 c 1213s | 24 | 3949555 | 3808262 | 4693 1993 | 2 | 16 1214.84/1215.33 c 1215s | 24 | 3954140 | 3812662 | 4693 1995 | 2 | 16 1216.84/1217.33 c 1217s | 24 | 3958973 | 3817362 | 4693 1997 | 2 | 16 1218.83/1219.36 c 1219s | 24 | 3965164 | 3823462 | 4693 1999 | 2 | 16 1220.83/1221.37 c 1221s | 24 | 3970594 | 3828762 | 4693 2002 | 2 | 16 1222.93/1223.41 c 1223s | 24 | 3975992 | 3833862 | 4693 2004 | 2 | 16 1224.94/1225.43 c 1225s | 24 | 3981231 | 3838562 | 4693 2006 | 2 | 16 1226.93/1227.45 c 1227s | 24 | 3988099 | 3845262 | 4693 2008 | 2 | 16 1228.93/1229.48 c 1229s | 24 | 3994715 | 3851762 | 4693 2011 | 2 | 16 1230.93/1231.49 c 1231s | 24 | 4001090 | 3858062 | 4693 2014 | 2 | 16 1233.03/1233.54 c 1233s | 24 | 4007695 | 3864562 | 4693 2017 | 2 | 16 1235.03/1235.57 c 1235s | 24 | 4013687 | 3870062 | 4693 2019 | 2 | 16 1237.04/1237.59 c 1237s | 24 | 4017987 | 3874162 | 4693 2020 | 2 | 16 1239.13/1239.62 c 1239s | 24 | 4022747 | 3878562 | 4693 2022 | 2 | 16 1241.13/1241.63 c 1241s | 24 | 4028389 | 3883962 | 4693 2024 | 2 | 16 1243.13/1243.64 c 1243s | 24 | 4032588 | 3888062 | 4693 2026 | 2 | 16 1245.13/1245.65 c 1245s | 24 | 4036933 | 3892362 | 4693 2028 | 2 | 16 1247.13/1247.66 c 1247s | 24 | 4041782 | 3896862 | 4693 2030 | 2 | 16 1249.14/1249.67 c 1249s | 24 | 4046388 | 3901062 | 4693 2031 | 2 | 16 1251.23/1251.71 c 1251s | 24 | 4051590 | 3905762 | 4693 2033 | 2 | 16 1253.23/1253.73 c 1253s | 24 | 4056845 | 3910762 | 4693 2035 | 2 | 16 1255.23/1255.74 c 1255s | 24 | 4062095 | 3915562 | 4693 2037 | 2 | 16 1257.23/1257.77 c 1257s | 24 | 4068267 | 3921462 | 4693 2040 | 2 | 16 1259.23/1259.79 c 1259s | 24 | 4073590 | 3926262 | 4693 2042 | 2 | 16 1261.23/1261.79 c 1261s | 24 | 4078171 | 3930362 | 4693 2043 | 2 | 16 1263.33/1263.81 c 1263s | 24 | 4083552 | 3935562 | 4693 2046 | 2 | 16 1265.33/1265.82 c 1265s | 24 | 4089808 | 3941662 | 4693 2048 | 2 | 16 1267.33/1267.84 c 1267s | 24 | 4095913 | 3947262 | 4693 2050 | 2 | 16 1269.33/1269.86 c 1269s | 24 | 4100928 | 3951962 | 4693 2052 | 2 | 16 1271.33/1271.87 c 1271s | 24 | 4105919 | 3956562 | 4693 2054 | 2 | 16 1273.33/1273.88 c 1273s | 24 | 4111147 | 3961562 | 4693 2056 | 2 | 16 1275.33/1275.88 c 1275s | 24 | 4116874 | 3966762 | 4693 2059 | 2 | 16 1277.32/1277.89 c 1277s | 24 | 4121677 | 3971162 | 4693 2060 | 2 | 16 1279.42/1279.93 c 1279s | 24 | 4126892 | 3976062 | 4693 2062 | 2 | 16 1281.42/1281.95 c 1281s | 24 | 4132298 | 3981162 | 4693 2064 | 2 | 16 1283.42/1283.97 c 1283s | 24 | 4137358 | 3986162 | 4693 2067 | 2 | 16 1285.43/1285.99 c 1285s | 24 | 4142306 | 3991062 | 4693 2069 | 2 | 16 1287.52/1288.04 c 1287s | 24 | 4148025 | 3996662 | 4693 2071 | 2 | 16 1289.52/1290.06 c 1289s | 24 | 4154375 | 4002862 | 4693 2073 | 2 | 16 1291.52/1292.10 c 1291s | 24 | 4160858 | 4009262 | 4693 2076 | 2 | 16 1293.62/1294.12 c 1293s | 24 | 4166444 | 4014762 | 4693 2078 | 2 | 16 1295.62/1296.15 c 1295s | 24 | 4172031 | 4020162 | 4693 2081 | 2 | 16 1297.63/1298.15 c 1297s | 24 | 4177793 | 4025762 | 4693 2083 | 3 | 24 1299.62/1300.18 c 1299s | 24 | 4184463 | 4032362 | 4693 2086 | 3 | 24 1301.72/1302.21 c 1302s | 24 | 4191267 | 4039062 | 4693 2088 | 3 | 24 1303.72/1304.21 c 1304s | 24 | 4197706 | 4045362 | 4693 2091 | 3 | 24 1305.72/1306.24 c 1306s | 24 | 4203291 | 4050762 | 4693 2093 | 3 | 24 1307.72/1308.26 c 1308s | 24 | 4209422 | 4056762 | 4693 2096 | 3 | 24 1309.72/1310.27 c 1310s | 24 | 4216142 | 4063362 | 4693 2098 | 3 | 24 1311.72/1312.27 c 1312s | 24 | 4223076 | 4070162 | 4693 2101 | 3 | 24 1313.82/1314.30 c 1314s | 24 | 4229759 | 4076762 | 4693 2104 | 3 | 24 1315.82/1316.32 c 1316s | 24 | 4235881 | 4082762 | 4693 2106 | 3 | 24 1317.82/1318.34 c 1318s | 24 | 4242135 | 4088562 | 4693 2108 | 3 | 24 1319.82/1320.37 c 1320s | 24 | 4247927 | 4094162 | 4693 2111 | 3 | 24 1321.92/1322.40 c 1322s | 24 | 4253859 | 4099962 | 4693 2113 | 3 | 24 1323.92/1324.43 c 1324s | 24 | 4259483 | 4105362 | 4693 2115 | 3 | 24 1325.92/1326.45 c 1326s | 24 | 4264878 | 4110562 | 4693 2117 | 3 | 24 1327.92/1328.45 c 1328s | 24 | 4270774 | 4116262 | 4693 2120 | 3 | 24 1329.92/1330.47 c 1330s | 24 | 4276336 | 4121562 | 4693 2122 | 3 | 24 1332.02/1332.51 c 1332s | 24 | 4281845 | 4126762 | 4693 2124 | 3 | 24 1334.02/1334.55 c 1334s | 24 | 4287592 | 4132262 | 4693 2126 | 3 | 24 1336.02/1336.55 c 1336s | 24 | 4292849 | 4137262 | 4693 2128 | 3 | 24 1338.01/1338.56 c 1338s | 24 | 4298259 | 4142462 | 4693 2131 | 3 | 24 1340.11/1340.60 c 1340s | 24 | 4304720 | 4148662 | 4693 2133 | 3 | 24 1342.11/1342.65 c 1342s | 24 | 4310806 | 4154562 | 4693 2135 | 3 | 24 1344.11/1344.68 c 1344s | 24 | 4316764 | 4160162 | 4693 2138 | 3 | 24 1346.11/1346.69 c 1346s | 24 | 4323067 | 4166162 | 4693 2140 | 3 | 24 1348.22/1348.73 c 1348s | 24 | 4329091 | 4171862 | 4693 2143 | 3 | 24 1350.21/1350.73 c 1350s | 24 | 4334838 | 4177262 | 4693 2145 | 3 | 24 1352.21/1352.74 c 1352s | 24 | 4340932 | 4182962 | 4693 2147 | 3 | 24 1354.21/1354.76 c 1354s | 24 | 4346840 | 4188462 | 4693 2149 | 3 | 24 1356.21/1356.78 c 1356s | 24 | 4352860 | 4193862 | 4693 2151 | 3 | 24 1358.21/1358.79 c 1358s | 24 | 4358859 | 4199462 | 4693 2154 | 3 | 24 1360.32/1360.82 c 1360s | 24 | 4365231 | 4205362 | 4693 2156 | 3 | 24 1362.31/1362.84 c 1362s | 24 | 4371378 | 4210962 | 4693 2158 | 3 | 24 1364.31/1364.88 c 1364s | 24 | 4377188 | 4216362 | 4693 2161 | 3 | 24 1366.31/1366.88 c 1366s | 24 | 4382863 | 4221662 | 4693 2163 | 3 | 24 1368.41/1368.91 c 1368s | 24 | 4388837 | 4226962 | 4693 2165 | 3 | 24 1370.41/1370.91 c 1370s | 24 | 4394596 | 4232262 | 4693 2167 | 3 | 24 1372.41/1372.93 c 1372s | 24 | 4400343 | 4237562 | 4693 2169 | 3 | 24 1374.41/1374.93 c 1374s | 24 | 4406390 | 4243062 | 4693 2172 | 3 | 24 1376.41/1376.94 c 1376s | 24 | 4412433 | 4248662 | 4693 2174 | 3 | 24 1378.41/1378.96 c 1378s | 24 | 4418569 | 4254262 | 4693 2176 | 3 | 24 1380.51/1381.00 c 1380s | 24 | 4424526 | 4259962 | 4693 2178 | 3 | 24 1382.51/1383.02 c 1382s | 24 | 4430515 | 4265762 | 4693 2181 | 3 | 24 1384.51/1385.02 c 1384s | 24 | 4436368 | 4271362 | 4693 2183 | 3 | 24 1386.51/1387.02 c 1386s | 24 | 4442265 | 4277062 | 4693 2185 | 3 | 24 1388.50/1389.05 c 1388s | 24 | 4448441 | 4282962 | 4693 2188 | 3 | 24 1390.50/1391.08 c 1390s | 24 | 4454389 | 4288662 | 4693 2190 | 3 | 24 1392.60/1393.12 c 1392s | 24 | 4460064 | 4294062 | 4693 2192 | 3 | 24 1394.60/1395.13 c 1394s | 24 | 4465609 | 4299162 | 4693 2194 | 3 | 24 1396.61/1397.14 c 1396s | 24 | 4471931 | 4304762 | 4693 2197 | 3 | 24 1398.60/1399.14 c 1398s | 24 | 4478308 | 4310862 | 4693 2199 | 3 | 24 1400.60/1401.17 c 1400s | 24 | 4484633 | 4316962 | 4693 2202 | 3 | 24 1402.70/1403.20 c 1403s | 24 | 4490836 | 4322862 | 4693 2204 | 3 | 24 1404.70/1405.21 c 1405s | 24 | 4496497 | 4328162 | 4693 2206 | 3 | 24 1406.70/1407.21 c 1407s | 24 | 4502154 | 4333362 | 4693 2208 | 3 | 24 1408.71/1409.25 c 1409s | 24 | 4507680 | 4338462 | 4693 2211 | 3 | 24 1410.70/1411.25 c 1411s | 24 | 4513957 | 4344462 | 4693 2213 | 3 | 24 1412.70/1413.28 c 1413s | 24 | 4519973 | 4350162 | 4693 2215 | 3 | 24 1414.70/1415.29 c 1415s | 24 | 4526015 | 4355862 | 4693 2218 | 3 | 24 1416.80/1417.31 c 1417s | 24 | 4531807 | 4361462 | 4693 2220 | 3 | 24 1418.80/1419.32 c 1419s | 24 | 4537675 | 4366962 | 4693 2222 | 3 | 24 1420.81/1421.34 c 1421s | 24 | 4543163 | 4372062 | 4693 2224 | 3 | 24 1422.80/1423.38 c 1423s | 24 | 4549335 | 4377962 | 4693 2227 | 3 | 24 1424.80/1425.38 c 1425s | 24 | 4555359 | 4383762 | 4693 2229 | 3 | 24 1426.90/1427.40 c 1427s | 24 | 4560654 | 4388762 | 4693 2231 | 3 | 24 1428.90/1429.44 c 1429s | 24 | 4567065 | 4394762 | 4693 2234 | 3 | 24 1430.89/1431.46 c 1431s | 24 | 4572858 | 4399962 | 4693 2236 | 3 | 24 1432.90/1433.49 c 1433s | 24 | 4579210 | 4405962 | 4693 2238 | 3 | 24 1435.00/1435.51 c 1435s | 24 | 4585738 | 4412162 | 4693 2241 | 3 | 24 1437.00/1437.55 c 1437s | 24 | 4592492 | 4418562 | 4693 2243 | 3 | 24 1439.00/1439.55 c 1439s | 24 | 4598967 | 4424762 | 4693 2246 | 3 | 24 1441.00/1441.56 c 1441s | 24 | 4605457 | 4430962 | 4693 2248 | 3 | 24 1443.00/1443.57 c 1443s | 24 | 4611794 | 4436662 | 4693 2251 | 3 | 24 1445.01/1445.57 c 1445s | 24 | 4618449 | 4442962 | 4693 2253 | 3 | 24 1447.00/1447.60 c 1447s | 24 | 4624722 | 4448862 | 4693 2256 | 3 | 24 1449.10/1449.63 c 1449s | 24 | 4630612 | 4454462 | 4693 2258 | 3 | 24 1451.10/1451.65 c 1451s | 24 | 4636483 | 4459962 | 4693 2260 | 3 | 24 1453.10/1453.66 c 1453s | 24 | 4641931 | 4465062 | 4693 2262 | 3 | 24 1455.20/1455.70 c 1455s | 24 | 4647642 | 4470462 | 4693 2264 | 3 | 24 1457.20/1457.72 c 1457s | 24 | 4653567 | 4475862 | 4693 2267 | 3 | 24 1459.20/1459.75 c 1459s | 24 | 4658793 | 4480762 | 4693 2269 | 3 | 24 1461.20/1461.77 c 1461s | 24 | 4664793 | 4486562 | 4693 2271 | 3 | 24 1463.30/1463.80 c 1463s | 24 | 4670604 | 4491962 | 4693 2273 | 3 | 24 1465.30/1465.82 c 1465s | 24 | 4676620 | 4497562 | 4693 2276 | 3 | 24 1467.30/1467.83 c 1467s | 24 | 4682797 | 4503262 | 4693 2278 | 3 | 24 1469.30/1469.85 c 1469s | 24 | 4688385 | 4508462 | 4693 2280 | 3 | 24 1471.30/1471.87 c 1471s | 24 | 4694679 | 4514162 | 4693 2282 | 3 | 24 1473.40/1473.90 c 1473s | 24 | 4700856 | 4519862 | 4693 2285 | 3 | 24 1475.39/1475.90 c 1475s | 24 | 4707052 | 4525462 | 4693 2287 | 3 | 24 1477.39/1477.91 c 1477s | 24 | 4713098 | 4531062 | 4693 2289 | 3 | 24 1479.39/1479.91 c 1479s | 24 | 4719127 | 4536662 | 4693 2291 | 3 | 24 1481.39/1481.92 c 1481s | 24 | 4725426 | 4542662 | 4693 2294 | 3 | 24 1483.40/1483.92 c 1483s | 24 | 4731756 | 4548762 | 4693 2296 | 3 | 24 1485.39/1485.93 c 1485s | 24 | 4738148 | 4554762 | 4693 2299 | 3 | 24 1487.39/1487.94 c 1487s | 24 | 4744633 | 4560862 | 4693 2301 | 3 | 24 1489.39/1489.97 c 1489s | 24 | 4750612 | 4566462 | 4693 2304 | 3 | 24 1491.39/1491.98 c 1491s | 24 | 4756747 | 4572162 | 4693 2306 | 3 | 24 1493.49/1494.00 c 1493s | 24 | 4762952 | 4578062 | 4693 2308 | 3 | 24 1495.50/1496.01 c 1495s | 24 | 4769066 | 4583662 | 4693 2311 | 3 | 24 1497.49/1498.02 c 1497s | 24 | 4775073 | 4589062 | 4693 2313 | 3 | 24 1499.49/1500.03 c 1499s | 24 | 4781109 | 4594662 | 4693 2315 | 3 | 24 1501.59/1502.10 c 1501s | 24 | 4787085 | 4600262 | 4693 2318 | 3 | 24 1503.59/1504.12 c 1503s | 24 | 4792761 | 4605562 | 4693 2320 | 3 | 24 1505.59/1506.14 c 1505s | 24 | 4798824 | 4611362 | 4693 2322 | 3 | 24 1507.60/1508.14 c 1507s | 24 | 4804847 | 4616862 | 4693 2324 | 3 | 24 1509.59/1510.15 c 1509s | 24 | 4810792 | 4622362 | 4693 2327 | 3 | 24 1511.59/1512.16 c 1511s | 24 | 4816566 | 4627862 | 4693 2329 | 3 | 24 1513.59/1514.18 c 1513s | 24 | 4823092 | 4634162 | 4693 2331 | 3 | 24 1515.69/1516.22 c 1516s | 24 | 4829702 | 4640462 | 4693 2334 | 3 | 24 1517.69/1518.25 c 1518s | 24 | 4836123 | 4646562 | 4693 2336 | 3 | 24 1519.69/1520.26 c 1520s | 24 | 4842498 | 4652562 | 4693 2339 | 3 | 24 1521.69/1522.29 c 1522s | 24 | 4848840 | 4658562 | 4693 2341 | 3 | 24 1523.79/1524.33 c 1524s | 24 | 4854924 | 4664362 | 4693 2344 | 3 | 24 1525.79/1526.36 c 1526s | 24 | 4860552 | 4669662 | 4693 2346 | 3 | 24 1527.79/1528.38 c 1528s | 24 | 4866559 | 4675362 | 4693 2348 | 3 | 24 1529.79/1530.38 c 1530s | 24 | 4872871 | 4681362 | 4693 2351 | 3 | 24 1531.89/1532.41 c 1532s | 24 | 4878419 | 4686662 | 4693 2353 | 3 | 24 1533.88/1534.42 c 1534s | 24 | 4884278 | 4692062 | 4693 2355 | 3 | 24 1535.88/1536.43 c 1536s | 24 | 4889981 | 4697162 | 4693 2357 | 3 | 24 1537.88/1538.44 c 1538s | 24 | 4895753 | 4702562 | 4693 2359 | 3 | 24 1539.88/1540.45 c 1540s | 24 | 4902198 | 4708562 | 4693 2362 | 3 | 24 1541.88/1542.48 c 1542s | 24 | 4908355 | 4714362 | 4693 2364 | 3 | 24 1543.99/1544.50 c 1544s | 24 | 4914613 | 4720062 | 4693 2366 | 3 | 24 1545.98/1546.50 c 1546s | 24 | 4920803 | 4725962 | 4693 2369 | 3 | 24 1547.98/1548.53 c 1548s | 24 | 4926791 | 4731762 | 4693 2371 | 3 | 24 1549.98/1550.54 c 1550s | 24 | 4933027 | 4737662 | 4693 2374 | 3 | 24 1551.98/1552.54 c 1552s | 24 | 4938877 | 4743162 | 4693 2376 | 3 | 24 1553.98/1554.54 c 1554s | 24 | 4945304 | 4749162 | 4693 2378 | 3 | 24 1555.99/1556.57 c 1556s | 24 | 4951413 | 4755062 | 4693 2381 | 3 | 24 1557.98/1558.59 c 1558s | 24 | 4958028 | 4761262 | 4693 2383 | 3 | 24 1560.08/1560.60 c 1560s | 24 | 4964637 | 4767562 | 4693 2386 | 3 | 24 1562.08/1562.64 c 1562s | 24 | 4970643 | 4773462 | 4693 2388 | 3 | 24 1564.08/1564.66 c 1564s | 24 | 4976251 | 4778862 | 4693 2390 | 3 | 24 1566.08/1566.69 c 1566s | 24 | 4982886 | 4784862 | 4693 2393 | 3 | 24 1568.19/1568.71 c 1568s | 24 | 4988958 | 4790462 | 4693 2395 | 3 | 24 1570.18/1570.74 c 1570s | 24 | 4995267 | 4796162 | 4693 2397 | 3 | 24 1572.18/1572.76 c 1572s | 24 | 5001512 | 4802062 | 4693 2400 | 3 | 24 1574.18/1574.76 c 1574s | 24 | 5007279 | 4807362 | 4693 2402 | 3 | 24 1576.18/1576.79 c 1576s | 24 | 5013411 | 4812962 | 4693 2404 | 3 | 24 1578.28/1578.82 c 1578s | 24 | 5019676 | 4818462 | 4693 2407 | 3 | 24 1580.28/1580.85 c 1580s | 24 | 5025858 | 4824262 | 4693 2409 | 3 | 24 1582.28/1582.85 c 1582s | 24 | 5031799 | 4829562 | 4693 2411 | 3 | 24 1584.28/1584.89 c 1584s | 24 | 5037668 | 4834962 | 4693 2413 | 3 | 24 1586.37/1586.93 c 1586s | 24 | 5043504 | 4840462 | 4693 2416 | 3 | 24 1588.37/1588.94 c 1588s | 24 | 5049804 | 4846262 | 4693 2418 | 3 | 24 1590.37/1590.95 c 1590s | 24 | 5056018 | 4851762 | 4693 2420 | 3 | 24 1592.47/1593.00 c 1592s | 24 | 5061878 | 4857162 | 4693 2422 | 3 | 24 1594.48/1595.03 c 1594s | 24 | 5067951 | 4862762 | 4693 2425 | 3 | 24 1596.47/1597.05 c 1596s | 24 | 5074114 | 4868662 | 4693 2427 | 3 | 24 1598.47/1599.07 c 1598s | 24 | 5079857 | 4874162 | 4693 2429 | 3 | 24 1600.47/1601.09 c 1600s | 24 | 5085931 | 4879962 | 4693 2432 | 3 | 24 1602.57/1603.12 c 1602s | 24 | 5091887 | 4885462 | 4693 2434 | 3 | 24 1604.57/1605.15 c 1604s | 24 | 5097714 | 4890962 | 4693 2436 | 3 | 24 1606.58/1607.16 c 1606s | 24 | 5103620 | 4896462 | 4693 2439 | 3 | 24 1608.57/1609.17 c 1608s | 24 | 5109828 | 4902562 | 4693 2441 | 3 | 24 1610.57/1611.18 c 1610s | 24 | 5116411 | 4909062 | 4693 2444 | 3 | 24 1612.67/1613.21 c 1613s | 24 | 5122213 | 4914762 | 4693 2446 | 3 | 24 1614.67/1615.27 c 1615s | 24 | 5128113 | 4920362 | 4693 2449 | 3 | 24 1616.67/1617.27 c 1617s | 24 | 5133905 | 4925962 | 4693 2451 | 3 | 24 1618.67/1619.29 c 1619s | 24 | 5139132 | 4931062 | 4693 2453 | 3 | 24 1620.77/1621.30 c 1621s | 24 | 5145176 | 4936862 | 4693 2455 | 3 | 24 1622.77/1623.30 c 1623s | 24 | 5150722 | 4942162 | 4693 2458 | 3 | 24 1624.77/1625.32 c 1625s | 24 | 5156608 | 4947762 | 4693 2460 | 3 | 24 1626.77/1627.36 c 1627s | 24 | 5162218 | 4952962 | 4693 2462 | 3 | 24 1628.77/1629.36 c 1629s | 24 | 5167934 | 4958162 | 4693 2464 | 3 | 24 1630.78/1631.38 c 1631s | 24 | 5174130 | 4964062 | 4693 2467 | 3 | 24 1632.87/1633.40 c 1633s | 24 | 5180116 | 4969762 | 4693 2469 | 3 | 24 1634.87/1635.44 c 1635s | 24 | 5185992 | 4975362 | 4693 2471 | 3 | 24 1636.87/1637.46 c 1637s | 24 | 5191795 | 4980862 | 4693 2474 | 3 | 24 1638.87/1639.48 c 1639s | 24 | 5197779 | 4986662 | 4693 2476 | 3 | 24 1640.87/1641.49 c 1641s | 24 | 5203851 | 4992462 | 4693 2478 | 3 | 24 1642.98/1643.51 c 1643s | 24 | 5209449 | 4997762 | 4693 2480 | 3 | 24 1644.97/1645.52 c 1645s | 24 | 5215121 | 5003062 | 4693 2483 | 3 | 24 1646.97/1647.54 c 1647s | 24 | 5220766 | 5008462 | 4693 2485 | 3 | 24 1648.97/1649.57 c 1649s | 24 | 5226350 | 5013762 | 4693 2487 | 3 | 24 1651.07/1651.61 c 1651s | 24 | 5232442 | 5019362 | 4693 2489 | 3 | 24 1653.07/1653.63 c 1653s | 24 | 5238435 | 5025062 | 4693 2492 | 3 | 24 1655.07/1655.63 c 1655s | 24 | 5244633 | 5030862 | 5163 2494 | 3 | 24 1657.07/1657.66 c 1657s | 24 | 5250181 | 5036162 | 5163 2496 | 3 | 24 1659.07/1659.67 c 1659s | 24 | 5255403 | 5041162 | 5163 2498 | 3 | 24 1661.07/1661.69 c 1661s | 24 | 5260917 | 5046362 | 5163 2500 | 3 | 24 1663.17/1663.70 c 1663s | 24 | 5266612 | 5051562 | 5163 2502 | 3 | 24 1665.17/1665.70 c 1665s | 24 | 5271888 | 5056562 | 5163 2504 | 3 | 24 1667.17/1667.74 c 1667s | 24 | 5277808 | 5062162 | 5163 2506 | 3 | 24 1668.17/1668.80 c 1668s | 25 | 5280871 | 5065098 | 5163 2507 | 3 | 24 1670.27/1670.80 c 1670s | 25 | 5287681 | 5071598 | 5163 2509 | 3 | 24 1672.27/1672.80 c 1672s | 25 | 5293931 | 5077798 | 5163 2512 | 3 | 24 1674.27/1674.81 c 1674s | 25 | 5300058 | 5083798 | 5163 2514 | 3 | 24 1676.27/1676.84 c 1676s | 25 | 5306142 | 5089698 | 5163 2516 | 3 | 24 1678.26/1678.89 c 1678s | 25 | 5311711 | 5095098 | 5163 2518 | 3 | 24 1680.37/1680.91 c 1680s | 25 | 5317501 | 5100598 | 5163 2520 | 3 | 24 1682.36/1682.92 c 1682s | 25 | 5322729 | 5105598 | 5163 2522 | 3 | 24 1684.36/1684.94 c 1684s | 25 | 5328589 | 5111198 | 5163 2524 | 3 | 24 1686.36/1686.96 c 1686s | 25 | 5334387 | 5116598 | 5163 2526 | 3 | 24 1688.36/1688.97 c 1688s | 25 | 5339901 | 5121998 | 5163 2528 | 3 | 24 1690.46/1691.01 c 1690s | 25 | 5345792 | 5127198 | 5163 2530 | 3 | 24 1692.47/1693.04 c 1692s | 25 | 5350668 | 5131698 | 5163 2532 | 3 | 24 1694.46/1695.07 c 1694s | 25 | 5356588 | 5137198 | 5163 2534 | 3 | 24 1696.46/1697.07 c 1696s | 25 | 5362078 | 5142398 | 5163 2536 | 3 | 24 1698.46/1699.08 c 1698s | 25 | 5367393 | 5147598 | 5163 2538 | 3 | 24 1700.46/1701.08 c 1700s | 25 | 5372525 | 5152398 | 5163 2540 | 3 | 24 1702.46/1703.09 c 1702s | 25 | 5377882 | 5156998 | 5163 2542 | 3 | 24 1704.56/1705.13 c 1704s | 25 | 5383829 | 5162398 | 5163 2544 | 3 | 24 1706.56/1707.15 c 1706s | 25 | 5389869 | 5167798 | 5163 2546 | 3 | 24 1708.56/1709.16 c 1708s | 25 | 5395125 | 5172898 | 5163 2548 | 3 | 24 1710.56/1711.16 c 1710s | 25 | 5400520 | 5178098 | 5163 2550 | 3 | 24 1712.56/1713.18 c 1712s | 25 | 5405867 | 5182898 | 5163 2552 | 3 | 24 1714.56/1715.19 c 1714s | 25 | 5411544 | 5187698 | 5163 2553 | 3 | 24 1716.56/1717.20 c 1717s | 25 | 5417076 | 5192398 | 5163 2555 | 3 | 24 1718.66/1719.22 c 1719s | 25 | 5422568 | 5197398 | 5163 2557 | 3 | 24 1720.66/1721.24 c 1721s | 25 | 5428679 | 5203398 | 5163 2559 | 3 | 24 1722.65/1723.24 c 1723s | 25 | 5434654 | 5209298 | 5163 2562 | 3 | 24 1724.65/1725.27 c 1725s | 25 | 5440135 | 5214698 | 5163 2564 | 3 | 24 1726.65/1727.28 c 1727s | 25 | 5446256 | 5220698 | 5163 2566 | 3 | 24 1728.66/1729.30 c 1729s | 25 | 5451818 | 5226198 | 5163 2568 | 3 | 24 1730.75/1731.32 c 1731s | 25 | 5458006 | 5232298 | 5163 2570 | 3 | 24 1732.75/1733.35 c 1733s | 25 | 5463614 | 5237798 | 5163 2572 | 3 | 24 1734.75/1735.35 c 1735s | 25 | 5469222 | 5243098 | 5163 2574 | 3 | 24 1736.75/1737.38 c 1737s | 25 | 5474721 | 5248498 | 5163 2576 | 3 | 24 1738.85/1739.40 c 1739s | 25 | 5480231 | 5253898 | 5163 2579 | 3 | 24 1740.85/1741.44 c 1741s | 25 | 5486459 | 5259998 | 5163 2581 | 3 | 24 1742.85/1743.45 c 1743s | 25 | 5492746 | 5266198 | 5163 2583 | 3 | 24 1744.85/1745.46 c 1745s | 25 | 5497748 | 5271098 | 5163 2585 | 3 | 24 1746.85/1747.48 c 1747s | 25 | 5503871 | 5277073 | 5163 2587 | 4 | 32 1746.85/1747.48 c #cpu_time = 1742.538s 1746.85/1747.48 c #wall_clock_time = 1747.284s 1746.85/1747.48 c #decision = 5503871 1746.85/1747.48 c #random_decision = 21474 1746.85/1747.48 c #conflict = 5277073 1746.85/1747.48 c #restart = 25 1746.85/1747.48 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 8: cost of the new core is >=3 1746.85/1747.48 c lower bound updated to 3 1746.85/1747.48 c BCD2: 3 <= obj <= 246 1746.85/1747.48 c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=0 1746.85/1747.48 c BCD2: #sat=1 #unsat=3 bias=3/4 1746.85/1747.48 c Solving starts ... 1746.85/1747.48 c ============================[ Search Statistics ]============================ 1746.85/1747.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1746.85/1747.48 c | | | | Limit GC | Var | Constra 1746.85/1747.48 c ============================================================================= 1746.85/1747.48 c 0.0s | 0 | 0 | 0 | 5163 0 | 5 | 32 1747.05/1747.66 c 0.2s | 1 | 178 | 100 | 5163 0 | 5 | 33 1747.15/1747.70 c 0.2s | 1 | 363 | 226 | 5163 0 | 5 | 33 1747.15/1747.70 c #cpu_time = 0.222s 1747.15/1747.70 c #wall_clock_time = 0.223s 1747.15/1747.70 c #decision = 363 1747.15/1747.70 c #random_decision = 3 1747.15/1747.70 c #conflict = 226 1747.15/1747.70 c #restart = 1 1747.15/1747.70 o 119 1747.15/1747.70 c BCD2: hardening fixes 1 literals 1747.15/1747.70 c BCD2: updating upper bound: 246 -> 118 1747.15/1747.70 c BCD2: 3 <= obj <= 118 1747.15/1747.70 c BCD2: #cores=1, #unrelaxed=0, #relaxed=7, #hardened=1 1747.15/1747.70 c BCD2: #sat=2 #unsat=3 bias=3/5 1747.15/1747.70 c Solving starts ... 1747.15/1747.70 c ============================[ Search Statistics ]============================ 1747.15/1747.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1747.15/1747.70 c | | | | Limit GC | Var | Constra 1747.15/1747.70 c ============================================================================= 1747.15/1747.70 c 0.0s | 0 | 0 | 0 | 5163 0 | 15 | 35 1747.25/1747.80 c 0.1s | 1 | 184 | 100 | 5163 0 | 15 | 59 1747.25/1747.86 c 0.2s | 2 | 381 | 250 | 5163 1 | 15 | 59 1747.25/1747.89 c 0.2s | 2 | 494 | 306 | 5163 1 | 15 | 59 1747.25/1747.89 c #cpu_time = 0.191s 1747.25/1747.89 c #wall_clock_time = 0.191s 1747.25/1747.89 c #decision = 494 1747.25/1747.89 c #random_decision = 2 1747.25/1747.89 c #conflict = 306 1747.25/1747.89 c #restart = 2 1747.25/1747.89 o 7 1747.25/1747.89 c BCD2: hardening fixes 4 literals 1747.25/1747.89 c BCD2: updating upper bound: 118 -> 6 1747.25/1747.89 c BCD2: 3 <= obj <= 6 1747.25/1747.89 c BCD2: #cores=1, #unrelaxed=0, #relaxed=3, #hardened=5 1747.25/1747.89 c BCD2: #sat=3 #unsat=3 bias=3/6 1747.25/1747.89 c Solving starts ... 1747.25/1747.89 c ============================[ Search Statistics ]============================ 1747.25/1747.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1747.25/1747.89 c | | | | Limit GC | Var | Constra 1747.25/1747.89 c ============================================================================= 1747.25/1747.89 c 0.0s | 0 | 0 | 0 | 5163 0 | 55 | 61 1747.25/1747.90 c 0.0s | 0 | 48 | 1 | 5163 0 | 55 | 157 1747.25/1747.90 c #cpu_time = 0.008s 1747.25/1747.90 c #wall_clock_time = 0.008s 1747.25/1747.90 c #decision = 48 1747.25/1747.90 c #random_decision = 0 1747.25/1747.90 c #conflict = 1 1747.25/1747.90 c #restart = 0 1747.25/1747.90 o 5 1747.25/1747.90 c BCD2: updating upper bound: 6 -> 4 1747.25/1747.90 c BCD2: 3 <= obj <= 4 1747.25/1747.90 c BCD2: #cores=1, #unrelaxed=0, #relaxed=3, #hardened=5 1747.25/1747.90 c BCD2: #sat=4 #unsat=3 bias=3/7 1747.25/1747.90 c Solving starts ... 1747.25/1747.90 c ============================[ Search Statistics ]============================ 1747.25/1747.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1747.25/1747.90 c | | | | Limit GC | Var | Constra 1747.25/1747.90 c ============================================================================= 1747.25/1747.90 c 0.0s | 0 | 0 | 0 | 5163 0 | 55 | 157 1747.35/1747.94 c 0.0s | 1 | 142 | 100 | 5163 0 | 55 | 157 1747.35/1747.98 c 0.1s | 1 | 271 | 171 | 5163 0 | 55 | 157 1747.35/1747.98 c #cpu_time = 0.076s 1747.35/1747.98 c #wall_clock_time = 0.077s 1747.35/1747.98 c #decision = 271 1747.35/1747.98 c #random_decision = 2 1747.35/1747.98 c #conflict = 171 1747.35/1747.98 c #restart = 1 1747.35/1747.98 o 3 1747.35/1747.98 s OPTIMUM FOUND 1747.35/1747.98 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 1747.35/1747.98 v -x11 x12 x13 -x14 x15 -x16 x17 -x18 x19 x20 1747.35/1747.98 v -x21 x22 -x23 -x24 x25 x26 -x27 x28 x29 -x30 1747.35/1747.98 v x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 1747.35/1747.98 v x41 x42 -x43 -x44 x45 x46 -x47 -x48 x49 x50 1747.35/1747.98 v -x51 x52 -x53 -x54 -x55 -x56 x57 x58 x59 x60 1747.35/1747.98 v -x61 x62 x63 x64 x65 -x66 x67 -x68 x69 x70 1747.35/1747.98 v x71 x72 x73 -x74 x75 -x76 x77 x78 -x79 -x80 1747.35/1747.98 v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 1747.35/1747.98 v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 1747.35/1747.98 v x101 -x102 x103 -x104 -x105 x106 x107 x108 x109 x110 1747.35/1747.98 v -x111 -x112 -x113 x114 -x115 x116 -x117 -x118 -x119 -x120 1747.35/1747.98 c total CPU time = 1743.234s 1747.35/1747.98 c total wall clock time = 1747.982s
OK 3
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-4106547-1466273142/watcher-4106547-1466273142 -o /tmp/evaluation-result-4106547-1466273142/solver-4106547-1466273142 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466273142-24004 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106547-1466273142.opb pid=24024 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.15 1.13 1.31 3/171 24027 /proc/meminfo: memFree=31217672/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=642492 CPUtime=0 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 2382 0 0 0 0 0 0 0 20 0 4 0 29364370 657911808 2744 33554432000 4194304 16246674 140737225790592 140737225790016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 161391 2753 441 2943 0 158285 0 [pid=24027/tid=24030] ppid=24024 vsize=658876 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 674689024 2809 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=663996 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 679931904 2827 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=667068 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29364370 683077632 2841 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100177 s] /proc/loadavg: 1.15 1.13 1.31 3/171 24027 /proc/meminfo: memFree=31217672/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 21348 0 0 0 5 4 0 0 20 0 4 0 29364370 1247350784 21697 33554432000 4194304 16246674 140737225790592 140737225790016 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 304529 21703 758 2943 0 301423 0 [pid=24027/tid=24030] ppid=24024 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1247350784 21711 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1247350784 21720 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29364370 1247350784 21727 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200519 s] /proc/loadavg: 1.15 1.13 1.31 3/171 24027 /proc/meminfo: memFree=31217672/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 39683 0 0 0 13 6 0 0 20 0 4 0 29364370 1247350784 40032 33554432000 4194304 16246674 140737225790592 140737225790016 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 304529 40037 794 2943 0 301423 0 [pid=24027/tid=24030] ppid=24024 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1247350784 40042 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1247350784 40050 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29364370 1247350784 40058 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300484 s] /proc/loadavg: 1.15 1.13 1.31 3/171 24027 /proc/meminfo: memFree=31217672/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 57328 0 0 0 21 8 0 0 20 0 4 0 29364370 1247350784 57676 33554432000 4194304 16246674 140737225790592 140737225790016 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 304529 57683 794 2943 0 301423 0 [pid=24027/tid=24030] ppid=24024 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1247350784 57688 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1247350784 57692 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29364370 1247350784 57696 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700369 s] /proc/loadavg: 1.15 1.13 1.31 3/171 24027 /proc/meminfo: memFree=31217672/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 128708 0 0 0 50 19 0 0 20 0 4 0 29364370 1247350784 129056 33554432000 4194304 16246674 140737225790592 140737225790016 5530837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 304529 129070 794 2943 0 301423 0 [pid=24027/tid=24030] ppid=24024 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1247350784 129078 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1247350784 129087 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29364370 1247350784 129094 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 1.22 1.14 1.31 3/181 24040 /proc/meminfo: memFree=29562448/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1220164 CPUtime=1.49 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 246064 0 0 0 113 36 0 0 20 0 4 0 29364370 1249447936 246390 33554432000 4194304 16246674 140737225790592 140737225789904 5825567 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 305041 246390 849 2943 0 301935 0 [pid=24027/tid=24030] ppid=24024 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1249447936 246390 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1249447936 246390 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1249447936 246390 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1220164 [startup+3.10042 s] /proc/loadavg: 1.22 1.14 1.31 3/181 24040 /proc/meminfo: memFree=29163780/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1303108 CPUtime=3.09 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 266713 0 0 0 271 38 0 0 20 0 4 0 29364370 1334382592 267039 33554432000 4194304 16246674 140737225790592 140737225772480 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 325777 267039 849 2943 0 322671 0 [pid=24027/tid=24030] ppid=24024 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1334382592 267039 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1334382592 267039 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1334382592 267039 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1303108 [startup+6.30042 s] /proc/loadavg: 1.36 1.17 1.32 3/181 24040 /proc/meminfo: memFree=29071540/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 267895 0 0 0 591 38 0 0 20 0 4 0 29364370 1338576896 268221 33554432000 4194304 16246674 140737225790592 140737225772480 5722987 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 326801 268221 851 2943 0 323695 0 [pid=24027/tid=24030] ppid=24024 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1338576896 268221 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1338576896 268221 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1338576896 268221 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 1.41 1.19 1.33 3/181 24040 /proc/meminfo: memFree=29070476/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1308228 CPUtime=12.69 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 268139 0 0 0 1231 38 0 0 20 0 4 0 29364370 1339625472 268465 33554432000 4194304 16246674 140737225790592 140737225773592 13198352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 327057 268465 851 2943 0 323951 0 [pid=24027/tid=24030] ppid=24024 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1339625472 268465 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1339625472 268465 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1339625472 268465 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 1.54 1.22 1.34 3/181 24040 /proc/meminfo: memFree=29066936/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1312324 CPUtime=25.49 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 269035 0 0 0 2511 38 0 0 20 0 4 0 29364370 1343819776 269361 33554432000 4194304 16246674 140737225790592 140737225772480 5861548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 328081 269361 851 2943 0 324975 0 [pid=24027/tid=24030] ppid=24024 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1343819776 269361 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1343819776 269361 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1343819776 269361 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1312324 [startup+51.1005 s] /proc/loadavg: 1.70 1.29 1.35 3/181 24040 /proc/meminfo: memFree=29066320/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1312324 CPUtime=51.08 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 269177 0 0 0 5070 38 0 0 20 0 4 0 29364370 1343819776 269503 33554432000 4194304 16246674 140737225790592 140737225772480 5722816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 328081 269503 853 2943 0 324975 0 [pid=24027/tid=24030] ppid=24024 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1343819776 269503 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1343819776 269503 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1343819776 269503 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1312324 [startup+102.301 s] /proc/loadavg: 2.00 1.43 1.40 3/181 24041 /proc/meminfo: memFree=29062096/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1317444 CPUtime=102.28 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 270291 0 0 0 10189 39 0 0 20 0 4 0 29364370 1349062656 270617 33554432000 4194304 16246674 140737225790592 140737225773592 5823064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 329361 270617 853 2943 0 326255 0 [pid=24027/tid=24030] ppid=24024 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1349062656 270617 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1349062656 270617 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1349062656 270617 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1317444 ################ # More data... # ################ /proc/24027/statm: 330897 272326 855 2943 0 327791 0 [pid=24027/tid=24030] ppid=24024 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1355354112 272326 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1355354112 272326 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1355354112 272326 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1323588 [startup+1662.3 s] /proc/loadavg: 2.15 2.06 1.92 3/181 24131 /proc/meminfo: memFree=28967228/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1323588 CPUtime=1661.77 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 272436 0 0 0 166128 49 0 0 20 0 4 0 29364370 1355354112 272326 33554432000 4194304 16246674 140737225790592 140737225772480 5721384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 330897 272326 855 2943 0 327791 0 [pid=24027/tid=24030] ppid=24024 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1355354112 272326 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1355354112 272326 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1355354112 272326 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1323588 [startup+1722.3 s] /proc/loadavg: 2.05 2.05 1.92 4/181 24133 /proc/meminfo: memFree=28941996/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1323588 CPUtime=1721.75 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 272436 0 0 0 172126 49 0 0 20 0 4 0 29364370 1355354112 272326 33554432000 4194304 16246674 140737225790592 140737225772480 5763283 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 330897 272326 855 2943 0 327791 0 [pid=24027/tid=24030] ppid=24024 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1355354112 272326 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1355354112 272326 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1355354112 272326 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1323588 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 24027 sig 9 ??? kill -24027 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1728 s] /proc/loadavg: 2.05 2.05 1.92 3/181 24133 /proc/meminfo: memFree=28938896/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1327684 CPUtime=1727.45 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 273219 0 0 0 172696 49 0 0 20 0 4 0 29364370 1359548416 273109 33554432000 4194304 16246674 140737225790592 140737225772480 5823408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 331921 273109 855 2943 0 328815 0 [pid=24027/tid=24030] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273109 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273109 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273109 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1727.45 Current children cumulated vsize (KiB) 1327684 [startup+1740.8 s] /proc/loadavg: 2.04 2.05 1.92 3/181 24133 /proc/meminfo: memFree=28911740/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1327684 CPUtime=1740.25 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 273460 0 0 0 173976 49 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 140737225772480 5546627 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 331921 273350 855 2943 0 328815 0 [pid=24027/tid=24030] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1740.25 Current children cumulated vsize (KiB) 1327684 [startup+1744 s] /proc/loadavg: 2.04 2.05 1.92 3/181 24133 /proc/meminfo: memFree=28911744/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1327684 CPUtime=1743.45 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 273460 0 0 0 174296 49 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 140737225772480 5673576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 331921 273350 855 2943 0 328815 0 [pid=24027/tid=24030] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1743.45 Current children cumulated vsize (KiB) 1327684 [startup+1745.6 s] /proc/loadavg: 2.04 2.05 1.92 3/181 24133 /proc/meminfo: memFree=28911744/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1327684 CPUtime=1745.05 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 273460 0 0 0 174456 49 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 140737225773592 6021972 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 331921 273350 855 2943 0 328815 0 [pid=24027/tid=24030] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1745.05 Current children cumulated vsize (KiB) 1327684 [startup+1747.2 s] /proc/loadavg: 2.03 2.04 1.92 3/181 24133 /proc/meminfo: memFree=28911744/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1327684 CPUtime=1746.65 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 273460 0 0 0 174616 49 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 140737225772480 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 331921 273350 855 2943 0 328815 0 [pid=24027/tid=24030] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1746.65 Current children cumulated vsize (KiB) 1327684 [startup+1747.6 s] /proc/loadavg: 2.03 2.04 1.92 3/181 24133 /proc/meminfo: memFree=28911744/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1327684 CPUtime=1747.05 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 273460 0 0 0 174656 49 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 140737225772480 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 331921 273350 855 2943 0 328815 0 [pid=24027/tid=24030] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273350 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1747.05 Current children cumulated vsize (KiB) 1327684 [startup+1747.8 s] /proc/loadavg: 2.03 2.04 1.92 3/181 24133 /proc/meminfo: memFree=28911744/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1327684 CPUtime=1747.25 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 273461 0 0 0 174676 49 0 0 20 0 4 0 29364370 1359548416 273351 33554432000 4194304 16246674 140737225790592 140737225772480 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 331921 273351 856 2943 0 328815 0 [pid=24027/tid=24030] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273351 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273351 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273351 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1747.25 Current children cumulated vsize (KiB) 1327684 [startup+1747.9 s] /proc/loadavg: 2.03 2.04 1.92 3/181 24133 /proc/meminfo: memFree=28911744/32872528 swapFree=447868/480572 [pid=24027] ppid=24024 vsize=1327684 CPUtime=1747.35 cores=1,3,5,7 /proc/24027/stat : 24027 (toysat) R 24024 24027 16921 0 -1 4202496 273461 0 0 0 174686 49 0 0 20 0 4 0 29364370 1359548416 273351 33554432000 4194304 16246674 140737225790592 140737225772480 14073233 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24027/statm: 331921 273351 856 2943 0 328815 0 [pid=24027/tid=24030] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24030/stat : 24030 (toysat) S 24024 24027 16921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273351 33554432000 4194304 16246674 140737225790592 139795195997424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24027/tid=24031] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24031/stat : 24031 (toysat) S 24024 24027 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273351 33554432000 4194304 16246674 140737225790592 139795185507568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24027/tid=24032] ppid=24024 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24027/task/24032/stat : 24032 (toysat) S 24024 24027 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29364370 1359548416 273351 33554432000 4194304 16246674 140737225790592 139795175034032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1747.35 Current children cumulated vsize (KiB) 1327684 Child status: 0 Real time (s): 1747.99 CPU time (s): 1747.45 CPU user time (s): 1746.95 CPU system time (s): 0.503923 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 1327684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1746.95 system time used= 0.503923 maximum resident set size= 1093412 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273465 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= 464 involuntary context switches= 1785 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.33319 second user time and 7.30189 second system time The end
Begin job on node104 at 2016-06-18 20:05:42 IDJOB=4106547 IDBENCH=48099 IDSOLVER=2542 FILE ID=node104/4106547-1466273142 RUNJOBID= node104-1466273142-24004 PBS_JOBID= 19918194 Free space on /tmp= 71704 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=79-P1=163-P2=61-P3=127-P4=163-P5=211-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106547-1466273142/watcher-4106547-1466273142 -o /tmp/evaluation-result-4106547-1466273142/solver-4106547-1466273142 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466273142-24004 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106547-1466273142.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b0d874eaa404001e586f84b413e6897 RANDOM SEED=1463088583 node104.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.035 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.07 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.035 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.035 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.035 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.035 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.035 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.54 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.035 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.035 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: 31218308 kB Buffers: 138612 kB Cached: 253824 kB SwapCached: 40452 kB Active: 121844 kB Inactive: 311740 kB Active(anon): 3996 kB Inactive(anon): 39968 kB Active(file): 117848 kB Inactive(file): 271772 kB Unevictable: 480572 kB Mlocked: 447868 kB SwapTotal: 67108856 kB SwapFree: 67060428 kB Dirty: 32620 kB Writeback: 0 kB AnonPages: 527788 kB Mapped: 6748 kB Shmem: 0 kB Slab: 607320 kB SReclaimable: 51668 kB SUnreclaim: 555652 kB KernelStack: 1376 kB PageTables: 4356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 566592 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 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 node104 at 2016-06-18 20:34:51