| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_5.opb |
| MD5SUM | 0619afe86d0e2ffb4ad28e9f2f441c24 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -13 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -14 |
| Optimality of the best value was proved | NO |
| Number of variables | 100 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 50 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 101 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 50 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 50 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 1212 |
| Sum of products size (including duplicates) | 2424 |
| Number of different products | 606 |
| Sum of products size | 1212 |
0.00/0.00 c 2016-06-18T21:29:09+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-4106790-1466278149.opb"] 0.00/0.01 c use --random-gen="4098558965 1999917763 891252596 3829237234 2935280388 1159195850 2808358055 3493424332 507572467 3624399979 3178919992 4146263227 2536914160 549225537 3973109969 3963007885 3803511854 1801407226 1621420740 2180884605 3744956664 806847336 1311341838 3338331153 1159081724 4089852100 2664596303 363743746 2472061094 3705433119 3095501934 1664398039 1583058660 3630930784 3958091058 3997856568 2247445020 3362526356 3139137483 1619146253 954492016 952185365 1726407799 371128953 1770174112 3437542176 834055204 3850588990 1549239763 337235044 3720379572 403821323 1315823055 3820431566 1126305344 238604943 504351246 2484220096 1204144463 830996484 3533430200 3969548438 3853688942 3718933166 3994904925 4219180541 1191346655 3976130032 3973877874 2870850406 2956156851 3830149165 3005824671 1274010305 734060888 204407604 1621527761 1319609236 4223382962 2912562228 4282520810 4126202184 552527351 1159057971 3429229443 601875242 2302114388 1186164012 1457818305 2602871133 3704433512 1798147506 2860115406 1967046681 2206681576 1981564005 1845325660 3868143236 167956568 899319553 245160052 1675523675 3195221388 367123738 1872066409 1816341091 3583427148 3162640524 285899815 665368502 4117561543 1635318179 397596091 4202781121 4167057462 4221620211 1598570603 1667744023 615060837 2620588981 591031594 3095610117 542448430 2481865136 254452640 1678403548 1528300808 993301949 1109986211 1286113046 2914826178 3930151840 4217559686 4291374781 2441374724 4228562997 2630951023 283506761 3118524134 1672201345 1786450093 355649327 1054849171 3855995479 3624943882 1950879934 3930946653 973437024 1776360092 90098691 696935989 231825688 2355273122 2857067701 1324006776 1082805622 2020673040 3354399324 4034404589 436223595 2545573243 327792161 1689998294 728708513 2725566197 2093465087 2938576954 194787958 3320353 2363690990 3654137057 3981999694 2759141026 208800258 548727933 1435222629 1555600520 3786130476 3887958180 3146148259 2859143585 1628110846 276531269 981672609 584372486 2370759554 3293296923 1877620540 2036789087 3808486222 400702203 1757013072 3516739712 824869846 3392533924 196731254 715668726 606342161 1485915155 453178939 1343753605 2361169184 373230206 545574790 1084646669 1212528347 3527157097 1958498063 3424299919 2944852537 1184137221 1832537694 3808824661 1887883918 4252470445 2160061162 3244999358 1153452696 3131919466 2826875706 3963013668 3004693563 2493690401 2450469677 3419482186 1904897608 1513377634 3371445948 3444107483 319126165 4003193023 2351656842 1248390765 3952501988 4254240257 637662271 3373959974 3204806683 3594001876 3015690105 502993863 1636614988 100384654 1525631248 1401313936 3100517385 531489859 3089809109 1907281017 2988993965 734181827 26813563 2036351249 512404163 2129451431 1729494936 255 362436" option to reproduce the execution 0.00/0.01 c #vars 100 0.00/0.01 c #constraints 151 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 488 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 62 | 1 | 488 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.002s 0.00/0.03 c #wall_clock_time = 0.002s 0.00/0.03 c #decision = 62 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 o -6 0.00/0.03 c BCD2: updating upper bound: 50 -> 43 0.00/0.03 c BCD2: 0 <= obj <= 43 0.00/0.03 c BCD2: #cores=0, #unrelaxed=50, #relaxed=0, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 488 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 26 | 2 | 488 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 26 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 2 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 25: cost of the new core is >=1 0.00/0.03 c lower bound updated to -49 0.00/0.03 c BCD2: 1 <= obj <= 43 0.00/0.03 c BCD2: #cores=1, #unrelaxed=25, #relaxed=25, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 488 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 26 | 1 | 488 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.002s 0.00/0.03 c #wall_clock_time = 0.002s 0.00/0.03 c #decision = 26 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 25 and merging with 1 cores into a new core of size 50: cost of the new core is >=2 0.00/0.03 c lower bound updated to -48 0.00/0.03 c BCD2: 2 <= obj <= 43 0.00/0.03 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 488 0 | 1 | 0 0.00/0.05 c 0.0s | 1 | 525 | 100 | 537 0 | 1 | 1 0.00/0.09 c 0.1s | 2 | 854 | 250 | 591 0 | 1 | 1 0.09/0.13 c 0.1s | 3 | 1431 | 475 | 651 0 | 1 | 1 0.19/0.21 c 0.2s | 4 | 2783 | 813 | 717 1 | 1 | 1 0.29/0.34 c 0.3s | 5 | 3640 | 1320 | 789 2 | 1 | 1 0.48/0.52 c 0.5s | 6 | 7081 | 2081 | 868 4 | 1 | 1 0.68/0.79 c 0.8s | 7 | 10646 | 3223 | 955 6 | 1 | 1 1.09/1.16 c 1.1s | 8 | 17934 | 4936 | 1051 9 | 1 | 1 1.59/1.61 c 1.6s | 9 | 22484 | 7506 | 1157 14 | 1 | 1 2.19/2.25 c 2.2s | 10 | 30650 | 11361 | 1273 20 | 1 | 1 3.19/3.21 c 3.2s | 11 | 46650 | 17144 | 1401 29 | 1 | 1 4.69/4.71 c 4.7s | 12 | 67880 | 25819 | 1542 40 | 1 | 1 6.70/6.72 c 6.7s | 12 | 93151 | 36919 | 1542 54 | 1 | 1 6.99/7.07 c 7.0s | 13 | 96560 | 38832 | 1697 56 | 1 | 1 8.99/9.07 c 9.0s | 13 | 110616 | 49132 | 1697 68 | 1 | 1 10.89/10.97 c 10.9s | 14 | 124225 | 58352 | 1867 78 | 1 | 1 12.89/12.97 c 12.9s | 14 | 143950 | 68752 | 1867 88 | 1 | 1 14.89/14.98 c 14.9s | 14 | 167609 | 79552 | 1867 99 | 1 | 1 16.39/16.40 c 16.4s | 15 | 182625 | 87632 | 2054 107 | 1 | 1 18.39/18.41 c 18.4s | 15 | 202119 | 98232 | 2054 117 | 1 | 1 20.39/20.41 c 20.4s | 15 | 220266 | 108832 | 2054 127 | 1 | 1 22.39/22.43 c 22.4s | 15 | 239207 | 119432 | 2054 137 | 1 | 1 24.39/24.43 c 24.4s | 15 | 254952 | 129432 | 2054 146 | 1 | 1 24.79/24.80 c 24.8s | 16 | 262447 | 131552 | 2260 148 | 1 | 1 26.78/26.81 c 26.8s | 16 | 297973 | 142352 | 2260 158 | 1 | 1 28.78/28.82 c 28.8s | 16 | 322010 | 152752 | 2260 166 | 1 | 1 30.79/30.83 c 30.8s | 16 | 348136 | 163052 | 2260 175 | 1 | 1 32.79/32.84 c 32.8s | 16 | 366074 | 172952 | 2260 184 | 1 | 1 34.79/34.84 c 34.8s | 16 | 386229 | 182852 | 2260 192 | 1 | 1 36.79/36.85 c 36.8s | 16 | 404606 | 192652 | 2260 200 | 1 | 1 37.79/37.87 c 37.8s | 17 | 413128 | 197432 | 2486 204 | 1 | 1 39.79/39.88 c 39.8s | 17 | 445768 | 207932 | 2486 212 | 1 | 1 41.79/41.89 c 41.9s | 17 | 467482 | 218032 | 2486 220 | 1 | 1 43.88/43.90 c 43.9s | 17 | 489346 | 227832 | 2486 228 | 1 | 1 45.88/45.90 c 45.9s | 17 | 511511 | 237732 | 2486 236 | 1 | 1 47.88/47.92 c 47.9s | 17 | 523507 | 247232 | 2486 243 | 1 | 1 49.88/49.94 c 49.9s | 17 | 538771 | 256432 | 2486 250 | 1 | 1 51.88/51.95 c 51.9s | 17 | 551515 | 265332 | 2486 257 | 1 | 1 53.89/53.97 c 53.9s | 17 | 573677 | 274532 | 2486 264 | 1 | 1 55.88/55.98 c 55.9s | 17 | 589073 | 283532 | 2486 271 | 1 | 1 57.88/57.98 c 57.9s | 17 | 602852 | 291932 | 2486 278 | 1 | 1 58.78/58.88 c 58.8s | 18 | 608787 | 296252 | 2735 281 | 1 | 1 60.78/60.89 c 60.9s | 18 | 630333 | 306052 | 2735 288 | 1 | 1 62.88/62.90 c 62.9s | 18 | 649644 | 315252 | 2735 294 | 1 | 1 64.88/64.90 c 64.9s | 18 | 662682 | 323652 | 2735 300 | 1 | 1 66.88/66.92 c 66.9s | 18 | 683335 | 332752 | 2735 307 | 1 | 1 68.88/68.92 c 68.9s | 18 | 713255 | 342852 | 2735 314 | 1 | 1 70.88/70.94 c 70.9s | 18 | 739211 | 352152 | 2735 321 | 1 | 1 72.87/72.95 c 72.9s | 18 | 751847 | 359952 | 2735 326 | 1 | 1 74.88/74.95 c 74.9s | 18 | 766501 | 367752 | 2735 332 | 1 | 1 76.87/76.96 c 76.9s | 18 | 787355 | 376552 | 2735 338 | 1 | 1 78.88/78.97 c 78.9s | 18 | 803349 | 385452 | 2735 344 | 1 | 1 80.88/80.98 c 80.9s | 18 | 818908 | 394152 | 2735 351 | 1 | 1 82.88/82.98 c 82.9s | 18 | 833686 | 402952 | 2735 357 | 1 | 1 84.88/85.00 c 85.0s | 18 | 850758 | 411652 | 2735 363 | 1 | 1 86.88/87.00 c 87.0s | 18 | 863220 | 420552 | 2735 369 | 1 | 1 88.98/89.01 c 89.0s | 18 | 885102 | 431052 | 2735 377 | 1 | 1 90.97/91.02 c 91.0s | 18 | 912077 | 440752 | 2735 384 | 1 | 1 91.77/91.83 c 91.8s | 19 | 920438 | 444482 | 3009 386 | 1 | 1 93.77/93.85 c 93.8s | 19 | 943189 | 452982 | 3009 392 | 1 | 1 95.78/95.86 c 95.8s | 19 | 961797 | 461882 | 3009 397 | 1 | 1 97.77/97.87 c 97.8s | 19 | 980204 | 471582 | 3009 404 | 1 | 1 99.77/99.88 c 99.8s | 19 | 999565 | 480982 | 3009 410 | 1 | 1 101.78/101.88 c 101s | 19 | 1025811 | 491082 | 3009 416 | 1 | 1 103.88/103.91 c 103s | 19 | 1052866 | 500282 | 3009 422 | 1 | 1 105.88/105.91 c 105s | 19 | 1078274 | 509582 | 3009 428 | 1 | 1 107.88/107.93 c 107s | 19 | 1092824 | 517482 | 3009 433 | 1 | 1 109.87/109.93 c 109s | 19 | 1112134 | 525982 | 3009 439 | 1 | 1 111.87/111.95 c 111s | 19 | 1124078 | 534382 | 3009 444 | 1 | 1 113.87/113.96 c 113s | 19 | 1135660 | 542782 | 3009 450 | 1 | 1 115.87/115.97 c 115s | 19 | 1151107 | 550982 | 3009 455 | 1 | 1 117.87/117.99 c 117s | 19 | 1174216 | 559682 | 3009 461 | 1 | 1 119.88/119.99 c 119s | 19 | 1190660 | 567982 | 3009 466 | 1 | 1 121.97/122.00 c 121s | 19 | 1214659 | 576682 | 3009 472 | 1 | 1 123.97/124.01 c 123s | 19 | 1229944 | 584682 | 3009 477 | 1 | 1 125.97/126.02 c 125s | 19 | 1248066 | 592782 | 3009 482 | 1 | 1 127.97/128.03 c 127s | 19 | 1262478 | 600782 | 3009 487 | 1 | 1 129.97/130.05 c 130s | 19 | 1276802 | 608682 | 3009 492 | 1 | 1 131.97/132.06 c 132s | 19 | 1293854 | 616982 | 3009 498 | 1 | 1 133.97/134.07 c 134s | 19 | 1308260 | 624882 | 3009 503 | 1 | 1 135.97/136.08 c 136s | 19 | 1323325 | 633382 | 3009 508 | 1 | 1 138.07/138.10 c 138s | 19 | 1334396 | 640882 | 3009 513 | 1 | 1 140.07/140.11 c 140s | 19 | 1345044 | 648382 | 3009 518 | 1 | 1 142.07/142.11 c 142s | 19 | 1356246 | 656182 | 3009 523 | 1 | 1 144.07/144.13 c 144s | 19 | 1365942 | 663782 | 3310 528 | 1 | 1 144.87/144.94 c 144s | 20 | 1373394 | 666827 | 3310 530 | 1 | 1 146.86/146.97 c 146s | 20 | 1395815 | 675127 | 3310 535 | 1 | 1 148.86/148.99 c 148s | 20 | 1417731 | 683827 | 3310 540 | 1 | 1 150.86/150.99 c 150s | 20 | 1435090 | 692127 | 3310 545 | 1 | 1 152.97/153.01 c 152s | 20 | 1451830 | 701127 | 3310 550 | 1 | 1 154.96/155.02 c 154s | 20 | 1465579 | 709727 | 3310 555 | 1 | 1 156.96/157.04 c 157s | 20 | 1483070 | 718427 | 3310 560 | 1 | 1 158.96/159.06 c 159s | 20 | 1502398 | 726727 | 3310 565 | 1 | 1 160.96/161.06 c 161s | 20 | 1515204 | 734827 | 3310 570 | 1 | 1 162.96/163.06 c 163s | 20 | 1527764 | 742927 | 3310 574 | 1 | 1 164.97/165.07 c 165s | 20 | 1539085 | 750527 | 3310 579 | 1 | 1 166.96/167.07 c 167s | 20 | 1550370 | 758327 | 3310 583 | 1 | 1 168.96/169.08 c 169s | 20 | 1562626 | 766027 | 3310 588 | 1 | 1 170.96/171.08 c 171s | 20 | 1575128 | 774127 | 3310 593 | 1 | 1 172.97/173.08 c 173s | 20 | 1588451 | 782427 | 3310 597 | 1 | 1 175.07/175.10 c 175s | 20 | 1601100 | 791127 | 3310 603 | 1 | 1 177.07/177.11 c 177s | 20 | 1623632 | 801327 | 3310 609 | 1 | 1 179.06/179.12 c 179s | 20 | 1638387 | 811527 | 3310 615 | 1 | 1 181.06/181.13 c 181s | 20 | 1650523 | 821127 | 3310 620 | 1 | 1 183.06/183.13 c 183s | 20 | 1667120 | 831127 | 3310 626 | 1 | 1 185.06/185.13 c 185s | 20 | 1683254 | 841427 | 3310 632 | 1 | 1 187.07/187.15 c 187s | 20 | 1696424 | 851327 | 3310 638 | 1 | 1 189.06/189.19 c 189s | 20 | 1710896 | 861927 | 3310 644 | 1 | 1 191.16/191.21 c 191s | 20 | 1724722 | 872327 | 3310 650 | 1 | 1 193.16/193.21 c 193s | 20 | 1739101 | 882027 | 3310 656 | 1 | 1 195.16/195.22 c 195s | 20 | 1755576 | 891827 | 3310 662 | 1 | 1 197.16/197.23 c 197s | 20 | 1773055 | 902027 | 3310 668 | 1 | 1 199.16/199.23 c 199s | 20 | 1787386 | 912127 | 3310 674 | 1 | 1 201.16/201.24 c 201s | 20 | 1800852 | 921927 | 3310 679 | 1 | 1 203.16/203.26 c 203s | 20 | 1813652 | 931627 | 3310 685 | 1 | 1 205.15/205.28 c 205s | 20 | 1826651 | 941527 | 3310 691 | 1 | 1 207.15/207.28 c 207s | 20 | 1838338 | 950827 | 3310 696 | 1 | 1 209.15/209.29 c 209s | 20 | 1856202 | 960827 | 3310 702 | 1 | 1 211.26/211.32 c 211s | 20 | 1872884 | 970827 | 3310 708 | 1 | 1 213.25/213.34 c 213s | 20 | 1886262 | 980027 | 3310 714 | 1 | 1 215.25/215.36 c 215s | 20 | 1898944 | 989827 | 3310 719 | 1 | 1 217.26/217.38 c 217s | 20 | 1911042 | 999227 | 3642 724 | 1 | 1 217.56/217.67 c 217s | 21 | 1912466 | 1000345 | 3642 725 | 1 | 1 219.56/219.67 c 219s | 21 | 1934433 | 1010145 | 3642 730 | 1 | 1 221.56/221.68 c 221s | 21 | 1952477 | 1019645 | 3642 735 | 1 | 1 223.66/223.70 c 223s | 21 | 1968885 | 1028945 | 3642 740 | 1 | 1 225.66/225.70 c 225s | 21 | 1982407 | 1038145 | 3642 745 | 1 | 1 227.66/227.71 c 227s | 21 | 1995580 | 1047045 | 3642 750 | 1 | 1 229.66/229.72 c 229s | 21 | 2008688 | 1055945 | 3642 755 | 1 | 1 231.65/231.72 c 231s | 21 | 2019882 | 1064745 | 3642 760 | 1 | 1 233.65/233.74 c 233s | 21 | 2033048 | 1073745 | 3642 764 | 1 | 1 235.65/235.76 c 235s | 21 | 2045353 | 1082645 | 3642 769 | 1 | 1 237.66/237.78 c 237s | 21 | 2055970 | 1090945 | 3642 774 | 1 | 1 239.76/239.81 c 239s | 21 | 2070718 | 1099845 | 3642 779 | 1 | 1 241.75/241.81 c 241s | 21 | 2083581 | 1108645 | 3642 783 | 1 | 1 243.75/243.84 c 243s | 21 | 2100042 | 1117945 | 3642 788 | 1 | 1 245.75/245.86 c 245s | 21 | 2112311 | 1126645 | 3642 793 | 1 | 1 247.76/247.87 c 247s | 21 | 2123219 | 1135145 | 3642 797 | 1 | 1 249.76/249.87 c 249s | 21 | 2134810 | 1143645 | 3642 802 | 1 | 1 251.75/251.89 c 251s | 21 | 2145561 | 1152245 | 3642 807 | 1 | 1 253.85/253.92 c 253s | 21 | 2161406 | 1161545 | 3642 812 | 1 | 1 255.85/255.92 c 255s | 21 | 2173144 | 1170745 | 3642 817 | 1 | 1 257.85/257.93 c 257s | 21 | 2186214 | 1180245 | 3642 822 | 1 | 1 259.85/259.95 c 259s | 21 | 2198313 | 1189345 | 3642 827 | 1 | 1 261.86/261.97 c 261s | 21 | 2212243 | 1198645 | 3642 832 | 1 | 1 263.85/264.00 c 263s | 21 | 2224444 | 1207845 | 3642 837 | 1 | 1 265.95/266.02 c 265s | 21 | 2234750 | 1216545 | 3642 841 | 1 | 1 267.95/268.02 c 267s | 21 | 2248578 | 1225845 | 3642 846 | 1 | 1 269.95/270.05 c 270s | 21 | 2261456 | 1234745 | 3642 851 | 1 | 1 271.95/272.07 c 272s | 21 | 2273279 | 1244045 | 3642 856 | 1 | 1 273.95/274.07 c 274s | 21 | 2286631 | 1253245 | 3642 861 | 1 | 1 275.95/276.08 c 276s | 21 | 2301691 | 1262645 | 3642 866 | 1 | 1 277.94/278.09 c 278s | 21 | 2312890 | 1271545 | 3642 871 | 1 | 1 279.94/280.09 c 280s | 21 | 2324086 | 1280245 | 3642 875 | 1 | 1 281.94/282.09 c 282s | 21 | 2336512 | 1289245 | 3642 880 | 1 | 1 284.04/284.11 c 284s | 21 | 2347664 | 1298245 | 3642 885 | 1 | 1 286.05/286.11 c 286s | 21 | 2360009 | 1307645 | 3642 890 | 1 | 1 288.04/288.12 c 288s | 21 | 2372393 | 1316745 | 3642 895 | 1 | 1 290.04/290.14 c 290s | 21 | 2385605 | 1326245 | 3642 900 | 1 | 1 292.04/292.15 c 292s | 21 | 2399193 | 1335845 | 3642 905 | 1 | 1 294.04/294.17 c 294s | 21 | 2415932 | 1345245 | 3642 910 | 1 | 1 296.04/296.18 c 296s | 21 | 2429343 | 1354345 | 3642 915 | 1 | 1 298.05/298.20 c 298s | 21 | 2443062 | 1363645 | 3642 920 | 1 | 1 300.14/300.22 c 300s | 21 | 2456770 | 1372945 | 3642 925 | 1 | 1 302.14/302.22 c 302s | 21 | 2472486 | 1382445 | 3642 930 | 1 | 1 304.14/304.23 c 304s | 21 | 2487276 | 1391645 | 3642 935 | 1 | 1 306.14/306.24 c 306s | 21 | 2500580 | 1400145 | 3642 940 | 1 | 1 308.14/308.26 c 308s | 21 | 2513935 | 1409145 | 3642 945 | 1 | 1 310.14/310.27 c 310s | 21 | 2525790 | 1417945 | 3642 950 | 1 | 1 312.14/312.27 c 312s | 21 | 2538266 | 1427045 | 3642 954 | 1 | 1 314.14/314.28 c 314s | 21 | 2559077 | 1436745 | 3642 960 | 1 | 1 316.14/316.29 c 316s | 21 | 2571680 | 1445745 | 3642 964 | 1 | 1 318.14/318.29 c 318s | 21 | 2581981 | 1454245 | 3642 969 | 1 | 1 320.14/320.29 c 320s | 21 | 2593864 | 1463045 | 3642 974 | 1 | 1 322.25/322.31 c 322s | 21 | 2606513 | 1471945 | 3642 979 | 1 | 1 324.24/324.31 c 324s | 21 | 2618006 | 1481045 | 3642 983 | 1 | 1 326.24/326.33 c 326s | 21 | 2630608 | 1490445 | 4007 988 | 1 | 1 328.24/328.34 c 328s | 21 | 2642845 | 1499745 | 4007 993 | 1 | 1 328.44/328.53 c 328s | 22 | 2643899 | 1500622 | 4007 993 | 1 | 1 330.44/330.54 c 330s | 22 | 2656101 | 1509122 | 4007 997 | 1 | 1 332.44/332.55 c 332s | 22 | 2668881 | 1518522 | 4007 1002 | 1 | 1 334.45/334.56 c 334s | 22 | 2679056 | 1526722 | 4007 1006 | 1 | 1 336.44/336.59 c 336s | 22 | 2689597 | 1535222 | 4007 1010 | 1 | 1 338.54/338.61 c 338s | 22 | 2706023 | 1544222 | 4007 1015 | 1 | 1 340.54/340.62 c 340s | 22 | 2723501 | 1553522 | 4007 1019 | 1 | 1 342.54/342.64 c 342s | 22 | 2740608 | 1562422 | 4007 1023 | 1 | 1 344.54/344.64 c 344s | 22 | 2754988 | 1571622 | 4007 1028 | 1 | 1 346.54/346.65 c 346s | 22 | 2765897 | 1579522 | 4007 1032 | 1 | 1 348.53/348.66 c 348s | 22 | 2780650 | 1588122 | 4007 1036 | 1 | 1 350.53/350.68 c 350s | 22 | 2792558 | 1596622 | 4007 1040 | 1 | 1 352.53/352.68 c 352s | 22 | 2805526 | 1605422 | 4007 1044 | 1 | 1 354.53/354.68 c 354s | 22 | 2822143 | 1614422 | 4007 1049 | 1 | 1 356.63/356.71 c 356s | 22 | 2836542 | 1623822 | 4007 1053 | 1 | 1 358.64/358.72 c 358s | 22 | 2857599 | 1633322 | 4007 1058 | 1 | 1 360.63/360.72 c 360s | 22 | 2873867 | 1642522 | 4007 1063 | 1 | 1 362.63/362.74 c 362s | 22 | 2888616 | 1651522 | 4007 1067 | 1 | 1 364.63/364.75 c 364s | 22 | 2902839 | 1660222 | 4007 1071 | 1 | 1 366.63/366.76 c 366s | 22 | 2913162 | 1668422 | 4007 1075 | 1 | 1 368.63/368.76 c 368s | 22 | 2925989 | 1677222 | 4007 1080 | 1 | 1 370.64/370.76 c 370s | 22 | 2937672 | 1685822 | 4007 1084 | 1 | 1 372.63/372.77 c 372s | 22 | 2948729 | 1694822 | 4007 1088 | 1 | 1 374.63/374.79 c 374s | 22 | 2961391 | 1704222 | 4007 1093 | 1 | 1 376.73/376.81 c 376s | 22 | 2978076 | 1714422 | 4007 1098 | 1 | 1 378.73/378.82 c 378s | 22 | 2991517 | 1723622 | 4007 1103 | 1 | 1 380.73/380.84 c 380s | 22 | 3007219 | 1733222 | 4007 1107 | 1 | 1 382.73/382.87 c 382s | 22 | 3020330 | 1742222 | 4007 1112 | 1 | 1 384.73/384.89 c 384s | 22 | 3037352 | 1751822 | 4007 1116 | 1 | 1 386.83/386.90 c 386s | 22 | 3051969 | 1760722 | 4007 1121 | 1 | 1 388.83/388.91 c 388s | 22 | 3073222 | 1770322 | 4007 1125 | 1 | 1 390.83/390.92 c 390s | 22 | 3089537 | 1779722 | 4007 1130 | 1 | 1 392.83/392.92 c 392s | 22 | 3104870 | 1789022 | 4007 1135 | 1 | 1 394.84/394.94 c 394s | 22 | 3118697 | 1797922 | 4007 1139 | 1 | 1 396.83/396.94 c 396s | 22 | 3132483 | 1806622 | 4007 1143 | 1 | 1 398.83/398.94 c 398s | 22 | 3145456 | 1815422 | 4007 1148 | 1 | 1 400.83/400.96 c 400s | 22 | 3158703 | 1824222 | 4007 1152 | 1 | 1 402.83/402.96 c 402s | 22 | 3170138 | 1833022 | 4007 1156 | 1 | 1 404.83/404.96 c 404s | 22 | 3187054 | 1841922 | 4007 1161 | 1 | 1 406.83/406.98 c 406s | 22 | 3198694 | 1850522 | 4007 1165 | 1 | 1 408.92/409.00 c 408s | 22 | 3209834 | 1858922 | 4007 1169 | 1 | 1 410.92/411.00 c 410s | 22 | 3220902 | 1867622 | 4007 1173 | 1 | 1 412.92/413.01 c 412s | 22 | 3232152 | 1876222 | 4007 1177 | 1 | 1 414.92/415.02 c 414s | 22 | 3245230 | 1885422 | 4007 1182 | 1 | 1 416.93/417.03 c 416s | 22 | 3258130 | 1894122 | 4007 1186 | 1 | 1 418.92/419.04 c 419s | 22 | 3269423 | 1902522 | 4007 1190 | 1 | 1 420.92/421.06 c 421s | 22 | 3280716 | 1911122 | 4007 1194 | 1 | 1 422.92/423.07 c 423s | 22 | 3291037 | 1919022 | 4007 1198 | 1 | 1 424.92/425.08 c 425s | 22 | 3300006 | 1926722 | 4007 1202 | 1 | 1 426.92/427.09 c 427s | 22 | 3312337 | 1935122 | 4007 1206 | 1 | 1 428.93/429.09 c 429s | 22 | 3322490 | 1943522 | 4007 1210 | 1 | 1 431.02/431.11 c 431s | 22 | 3333124 | 1951822 | 4007 1214 | 1 | 1 433.02/433.12 c 433s | 22 | 3343692 | 1960222 | 4007 1218 | 1 | 1 435.03/435.14 c 435s | 22 | 3353668 | 1968622 | 4007 1222 | 1 | 1 437.03/437.16 c 437s | 22 | 3365203 | 1977022 | 4007 1227 | 1 | 1 439.02/439.17 c 439s | 22 | 3375056 | 1985522 | 4007 1231 | 1 | 1 441.03/441.17 c 441s | 22 | 3386239 | 1994422 | 4007 1235 | 1 | 1 443.02/443.18 c 443s | 22 | 3398045 | 2002522 | 4007 1239 | 1 | 1 445.02/445.19 c 445s | 22 | 3414051 | 2011222 | 4007 1243 | 1 | 1 447.12/447.20 c 447s | 22 | 3424603 | 2019422 | 4007 1247 | 1 | 1 449.12/449.21 c 449s | 22 | 3435247 | 2027422 | 4007 1251 | 1 | 1 451.12/451.23 c 451s | 22 | 3446315 | 2035622 | 4007 1255 | 1 | 1 453.13/453.25 c 453s | 22 | 3456967 | 2043722 | 4007 1259 | 1 | 1 455.12/455.28 c 455s | 22 | 3467283 | 2051722 | 4007 1263 | 1 | 1 457.22/457.30 c 457s | 22 | 3479842 | 2060122 | 4007 1267 | 1 | 1 459.22/459.32 c 459s | 22 | 3490616 | 2068422 | 4007 1271 | 1 | 1 461.22/461.34 c 461s | 22 | 3500168 | 2076322 | 4007 1275 | 1 | 1 463.22/463.36 c 463s | 22 | 3509725 | 2084222 | 4007 1279 | 1 | 1 465.23/465.36 c 465s | 22 | 3520445 | 2092122 | 4007 1283 | 1 | 1 467.22/467.38 c 467s | 22 | 3531315 | 2100722 | 4007 1287 | 1 | 1 469.22/469.39 c 469s | 22 | 3542112 | 2109222 | 4007 1292 | 1 | 1 471.22/471.39 c 471s | 22 | 3553971 | 2117722 | 4007 1296 | 1 | 1 473.22/473.40 c 473s | 22 | 3566914 | 2126722 | 4007 1300 | 1 | 1 475.32/475.40 c 475s | 22 | 3581156 | 2135222 | 4007 1304 | 1 | 1 477.32/477.41 c 477s | 22 | 3598858 | 2143922 | 4007 1309 | 1 | 1 479.32/479.41 c 479s | 22 | 3614177 | 2153622 | 4007 1313 | 1 | 1 481.31/481.42 c 481s | 22 | 3627097 | 2162122 | 4007 1318 | 1 | 1 483.31/483.43 c 483s | 22 | 3640553 | 2170422 | 4007 1322 | 1 | 1 485.31/485.43 c 485s | 22 | 3651859 | 2178322 | 4007 1325 | 1 | 1 487.32/487.44 c 487s | 22 | 3661750 | 2186122 | 4007 1329 | 1 | 1 489.31/489.45 c 489s | 22 | 3672414 | 2194222 | 4007 1333 | 1 | 1 491.31/491.47 c 491s | 22 | 3684115 | 2202722 | 4007 1337 | 1 | 1 493.31/493.48 c 493s | 22 | 3694654 | 2211222 | 4007 1342 | 1 | 1 495.41/495.50 c 495s | 22 | 3707402 | 2220022 | 4007 1346 | 1 | 1 497.41/497.51 c 497s | 22 | 3722767 | 2228822 | 4007 1350 | 1 | 1 499.42/499.51 c 499s | 22 | 3736173 | 2237522 | 4408 1354 | 1 | 1 501.41/501.54 c 501s | 22 | 3747697 | 2245822 | 4408 1358 | 1 | 1 502.81/502.90 c 502s | 23 | 3755596 | 2251038 | 4408 1360 | 1 | 1 504.81/504.91 c 504s | 23 | 3773676 | 2259538 | 4408 1364 | 1 | 1 506.81/506.92 c 506s | 23 | 3787596 | 2268138 | 4408 1368 | 1 | 1 508.82/508.92 c 508s | 23 | 3802730 | 2276538 | 4408 1372 | 1 | 1 510.82/510.93 c 510s | 23 | 3815475 | 2285538 | 4408 1376 | 1 | 1 512.82/512.96 c 512s | 23 | 3829078 | 2294038 | 4408 1380 | 1 | 1 514.82/514.98 c 514s | 23 | 3841498 | 2302538 | 4408 1383 | 1 | 1 516.81/517.00 c 516s | 23 | 3858539 | 2311638 | 4408 1387 | 1 | 1 518.91/519.02 c 518s | 23 | 3869965 | 2319538 | 4408 1391 | 1 | 1 520.91/521.04 c 521s | 23 | 3891466 | 2327538 | 4408 1395 | 1 | 1 522.91/523.06 c 523s | 23 | 3909970 | 2336138 | 4408 1398 | 1 | 1 524.91/525.06 c 525s | 23 | 3922706 | 2343538 | 4408 1402 | 1 | 1 526.92/527.07 c 527s | 23 | 3934619 | 2351038 | 4408 1405 | 1 | 1 528.91/529.10 c 529s | 23 | 3948527 | 2358738 | 4408 1408 | 1 | 1 531.01/531.10 c 531s | 23 | 3959058 | 2365838 | 4408 1412 | 1 | 1 533.01/533.11 c 533s | 23 | 3974408 | 2373938 | 4408 1415 | 1 | 1 535.00/535.11 c 535s | 23 | 3987163 | 2381538 | 4408 1419 | 1 | 1 537.00/537.11 c 537s | 23 | 4005588 | 2389338 | 4408 1422 | 1 | 1 539.01/539.13 c 539s | 23 | 4023091 | 2398038 | 4408 1426 | 1 | 1 541.00/541.13 c 541s | 23 | 4040368 | 2406638 | 4408 1430 | 1 | 1 543.00/543.14 c 543s | 23 | 4057040 | 2415638 | 4408 1434 | 1 | 1 545.00/545.14 c 545s | 23 | 4069842 | 2424238 | 4408 1438 | 1 | 1 547.00/547.16 c 547s | 23 | 4085636 | 2433238 | 4408 1442 | 1 | 1 549.01/549.17 c 549s | 23 | 4097767 | 2441738 | 4408 1445 | 1 | 1 551.02/551.19 c 551s | 23 | 4109095 | 2450038 | 4408 1449 | 1 | 1 553.01/553.19 c 553s | 23 | 4121370 | 2458538 | 4408 1453 | 1 | 1 555.11/555.21 c 555s | 23 | 4133376 | 2466838 | 4408 1456 | 1 | 1 557.11/557.21 c 557s | 23 | 4143910 | 2475038 | 4408 1460 | 1 | 1 559.11/559.23 c 559s | 23 | 4157394 | 2483138 | 4408 1464 | 1 | 1 561.11/561.23 c 561s | 23 | 4167785 | 2491038 | 4408 1467 | 1 | 1 563.11/563.24 c 563s | 23 | 4177141 | 2498538 | 4408 1471 | 1 | 1 565.11/565.25 c 565s | 23 | 4188635 | 2506038 | 4408 1474 | 1 | 1 567.11/567.27 c 567s | 23 | 4198171 | 2513438 | 4408 1477 | 1 | 1 569.11/569.27 c 569s | 23 | 4207724 | 2520838 | 4408 1480 | 1 | 1 571.11/571.27 c 571s | 23 | 4218243 | 2528738 | 4408 1484 | 1 | 1 573.20/573.30 c 573s | 23 | 4228738 | 2536638 | 4408 1487 | 1 | 1 575.21/575.31 c 575s | 23 | 4238558 | 2544038 | 4408 1491 | 1 | 1 577.20/577.32 c 577s | 23 | 4249442 | 2551638 | 4408 1494 | 1 | 1 579.20/579.34 c 579s | 23 | 4258822 | 2559438 | 4408 1498 | 1 | 1 581.20/581.35 c 581s | 23 | 4269436 | 2567938 | 4408 1501 | 1 | 1 583.20/583.36 c 583s | 23 | 4285394 | 2577138 | 4408 1505 | 1 | 1 585.21/585.38 c 585s | 23 | 4298382 | 2585938 | 4408 1509 | 1 | 1 587.20/587.40 c 587s | 23 | 4309548 | 2594538 | 4408 1513 | 1 | 1 589.30/589.41 c 589s | 23 | 4319958 | 2602738 | 4408 1517 | 1 | 1 591.30/591.42 c 591s | 23 | 4331652 | 2611338 | 4408 1521 | 1 | 1 593.30/593.43 c 593s | 23 | 4345185 | 2620238 | 4408 1525 | 1 | 1 595.30/595.43 c 595s | 23 | 4366648 | 2629238 | 4408 1529 | 1 | 1 597.31/597.44 c 597s | 23 | 4381722 | 2638338 | 4408 1533 | 1 | 1 599.30/599.45 c 599s | 23 | 4394482 | 2646638 | 4408 1536 | 1 | 1 601.30/601.47 c 601s | 23 | 4404853 | 2654738 | 4408 1540 | 1 | 1 603.30/603.48 c 603s | 23 | 4415927 | 2662938 | 4408 1544 | 1 | 1 605.30/605.50 c 605s | 23 | 4426373 | 2670938 | 4408 1547 | 1 | 1 607.40/607.50 c 607s | 23 | 4437002 | 2679138 | 4408 1551 | 1 | 1 609.40/609.51 c 609s | 23 | 4448085 | 2687638 | 4408 1555 | 1 | 1 611.40/611.52 c 611s | 23 | 4458476 | 2695938 | 4408 1558 | 1 | 1 613.39/613.52 c 613s | 23 | 4468528 | 2703938 | 4408 1562 | 1 | 1 615.39/615.53 c 615s | 23 | 4479265 | 2712038 | 4408 1565 | 1 | 1 617.39/617.55 c 617s | 23 | 4496834 | 2720938 | 4408 1569 | 1 | 1 619.39/619.56 c 619s | 23 | 4510545 | 2729938 | 4408 1573 | 1 | 1 621.40/621.58 c 621s | 23 | 4525480 | 2738738 | 4408 1577 | 1 | 1 623.39/623.59 c 623s | 23 | 4539454 | 2747538 | 4408 1581 | 1 | 1 625.49/625.60 c 625s | 23 | 4551487 | 2756438 | 4408 1585 | 1 | 1 627.49/627.62 c 627s | 23 | 4564539 | 2765438 | 4408 1589 | 1 | 1 629.49/629.63 c 629s | 23 | 4575463 | 2774038 | 4408 1593 | 1 | 1 631.49/631.65 c 631s | 23 | 4586311 | 2782938 | 4408 1597 | 1 | 1 633.50/633.65 c 633s | 23 | 4599035 | 2792338 | 4408 1601 | 1 | 1 635.49/635.67 c 635s | 23 | 4612319 | 2801738 | 4408 1605 | 1 | 1 637.59/637.70 c 637s | 23 | 4622105 | 2810238 | 4408 1609 | 1 | 1 639.59/639.70 c 639s | 23 | 4632052 | 2818238 | 4408 1613 | 1 | 1 641.59/641.71 c 641s | 23 | 4643130 | 2826538 | 4408 1616 | 1 | 1 643.59/643.73 c 643s | 23 | 4658956 | 2835438 | 4408 1620 | 1 | 1 645.59/645.73 c 645s | 23 | 4672894 | 2843838 | 4408 1624 | 1 | 1 647.59/647.73 c 647s | 23 | 4684631 | 2852338 | 4408 1628 | 1 | 1 649.59/649.73 c 649s | 23 | 4697977 | 2860938 | 4408 1632 | 1 | 1 651.59/651.78 c 651s | 23 | 4720354 | 2870538 | 4408 1636 | 1 | 1 653.59/653.79 c 653s | 23 | 4735112 | 2879538 | 4408 1640 | 1 | 1 655.69/655.80 c 655s | 23 | 4748824 | 2888338 | 4408 1644 | 1 | 1 657.59/657.80 c 657s | 23 | 4763721 | 2897238 | 4408 1648 | 1 | 1 659.69/659.82 c 659s | 23 | 4776432 | 2905938 | 4408 1652 | 1 | 1 661.69/661.83 c 661s | 23 | 4791189 | 2915038 | 4408 1656 | 1 | 1 663.69/663.84 c 663s | 23 | 4803850 | 2923638 | 4408 1660 | 1 | 1 665.69/665.86 c 665s | 23 | 4814944 | 2932538 | 4408 1664 | 1 | 1 667.70/667.87 c 667s | 23 | 4826754 | 2941538 | 4408 1668 | 1 | 1 669.69/669.88 c 669s | 23 | 4836895 | 2949738 | 4408 1671 | 1 | 1 671.69/671.88 c 671s | 23 | 4849139 | 2958938 | 4408 1675 | 1 | 1 673.69/673.88 c 673s | 23 | 4860939 | 2967738 | 4408 1679 | 1 | 1 675.69/675.89 c 675s | 23 | 4871998 | 2976438 | 4408 1683 | 1 | 1 677.79/677.91 c 677s | 23 | 4882829 | 2985238 | 4408 1687 | 1 | 1 679.79/679.93 c 679s | 23 | 4893742 | 2993738 | 4408 1691 | 1 | 1 681.79/681.94 c 681s | 23 | 4906320 | 3002738 | 4408 1695 | 1 | 1 683.79/683.95 c 683s | 23 | 4917552 | 3011638 | 4408 1699 | 1 | 1 685.78/685.96 c 685s | 23 | 4928549 | 3020438 | 4408 1703 | 1 | 1 687.78/687.97 c 687s | 23 | 4939843 | 3029538 | 4408 1707 | 1 | 1 689.78/689.99 c 689s | 23 | 4954146 | 3038738 | 4408 1711 | 1 | 1 691.79/691.99 c 691s | 23 | 4968308 | 3048338 | 4408 1715 | 1 | 1 693.78/693.99 c 693s | 23 | 4979043 | 3057338 | 4408 1719 | 1 | 1 695.88/696.00 c 695s | 23 | 4990158 | 3066138 | 4408 1723 | 1 | 1 697.88/698.01 c 697s | 23 | 5001116 | 3075038 | 4408 1727 | 1 | 1 699.88/700.01 c 699s | 23 | 5012978 | 3084538 | 4408 1731 | 1 | 1 701.88/702.02 c 701s | 23 | 5024877 | 3093338 | 4408 1735 | 1 | 1 703.89/704.03 c 703s | 23 | 5036496 | 3102438 | 4408 1739 | 1 | 1 705.88/706.04 c 706s | 23 | 5049049 | 3111038 | 4408 1743 | 1 | 1 707.88/708.05 c 708s | 23 | 5060717 | 3120038 | 4408 1747 | 1 | 1 709.88/710.07 c 710s | 23 | 5071162 | 3128638 | 4408 1751 | 1 | 1 711.98/712.10 c 712s | 23 | 5081986 | 3137238 | 4408 1755 | 1 | 1 713.98/714.13 c 714s | 23 | 5092535 | 3145838 | 4408 1759 | 1 | 1 715.98/716.13 c 716s | 23 | 5102919 | 3154438 | 4408 1762 | 1 | 1 717.98/718.16 c 718s | 23 | 5117850 | 3164238 | 4408 1767 | 1 | 1 719.98/720.19 c 720s | 23 | 5129485 | 3173438 | 4408 1771 | 1 | 1 722.07/722.21 c 722s | 23 | 5146227 | 3182238 | 4408 1775 | 1 | 1 724.07/724.21 c 724s | 23 | 5159587 | 3191038 | 4408 1779 | 1 | 1 726.07/726.22 c 726s | 23 | 5172571 | 3199438 | 4408 1782 | 1 | 1 728.08/728.23 c 728s | 23 | 5184893 | 3208238 | 4408 1786 | 1 | 1 730.07/730.23 c 730s | 23 | 5196776 | 3216838 | 4408 1790 | 1 | 1 732.07/732.23 c 732s | 23 | 5208908 | 3225938 | 4408 1794 | 1 | 1 734.07/734.23 c 734s | 23 | 5219129 | 3234538 | 4408 1798 | 1 | 1 736.07/736.24 c 736s | 23 | 5230504 | 3243638 | 4408 1802 | 1 | 1 738.08/738.24 c 738s | 23 | 5241551 | 3252438 | 4408 1806 | 1 | 1 740.07/740.27 c 740s | 23 | 5251525 | 3260538 | 4408 1810 | 1 | 1 742.07/742.28 c 742s | 23 | 5266031 | 3269338 | 4408 1813 | 1 | 1 744.17/744.31 c 744s | 23 | 5278904 | 3278238 | 4408 1817 | 1 | 1 746.17/746.32 c 746s | 23 | 5289931 | 3286638 | 4408 1821 | 1 | 1 748.17/748.33 c 748s | 23 | 5300351 | 3294738 | 4408 1825 | 1 | 1 750.18/750.33 c 750s | 23 | 5310232 | 3302838 | 4408 1828 | 1 | 1 752.16/752.34 c 752s | 23 | 5321845 | 3311038 | 4408 1832 | 1 | 1 754.16/754.35 c 754s | 23 | 5333519 | 3319538 | 4408 1836 | 1 | 1 756.16/756.35 c 756s | 23 | 5344661 | 3327938 | 4408 1840 | 1 | 1 758.16/758.36 c 758s | 23 | 5356983 | 3336438 | 4408 1843 | 1 | 1 760.16/760.36 c 760s | 23 | 5375952 | 3346438 | 4408 1848 | 1 | 1 762.16/762.38 c 762s | 23 | 5390075 | 3355538 | 4849 1852 | 1 | 1 764.25/764.40 c 764s | 23 | 5401004 | 3364238 | 4849 1855 | 1 | 1 766.25/766.41 c 766s | 23 | 5411785 | 3372638 | 4849 1858 | 1 | 1 767.25/767.47 c 767s | 24 | 5416685 | 3376662 | 4849 1860 | 1 | 1 769.25/769.49 c 769s | 24 | 5428168 | 3385262 | 4849 1864 | 1 | 1 771.36/771.52 c 771s | 24 | 5439620 | 3392562 | 4849 1867 | 1 | 1 773.35/773.52 c 773s | 24 | 5447019 | 3398562 | 4849 1869 | 1 | 1 775.36/775.54 c 775s | 24 | 5455983 | 3405162 | 4849 1872 | 1 | 1 777.35/777.56 c 777s | 24 | 5464353 | 3411862 | 4849 1874 | 1 | 1 779.35/779.57 c 779s | 24 | 5472500 | 3418862 | 4849 1877 | 1 | 1 781.35/781.59 c 781s | 24 | 5485777 | 3426562 | 4849 1880 | 1 | 1 783.45/783.62 c 783s | 24 | 5498405 | 3434062 | 4849 1883 | 1 | 1 785.45/785.62 c 785s | 24 | 5509192 | 3441662 | 4849 1886 | 1 | 1 787.45/787.64 c 787s | 24 | 5521158 | 3449462 | 4849 1890 | 1 | 1 789.45/789.67 c 789s | 24 | 5530327 | 3456862 | 4849 1893 | 1 | 1 791.45/791.67 c 791s | 24 | 5541380 | 3464462 | 4849 1896 | 1 | 1 793.54/793.70 c 793s | 24 | 5551554 | 3471762 | 4849 1899 | 1 | 1 795.54/795.72 c 795s | 24 | 5561351 | 3479262 | 4849 1902 | 1 | 1 797.54/797.74 c 797s | 24 | 5570834 | 3486662 | 4849 1905 | 1 | 1 799.65/799.81 c 799s | 24 | 5580275 | 3494062 | 4849 1908 | 1 | 1 801.64/801.82 c 801s | 24 | 5589105 | 3501362 | 4849 1910 | 1 | 1 803.64/803.84 c 803s | 24 | 5597803 | 3508562 | 4849 1913 | 1 | 1 805.64/805.85 c 805s | 24 | 5607455 | 3516062 | 4849 1916 | 1 | 1 807.74/807.91 c 807s | 24 | 5617247 | 3523762 | 4849 1920 | 1 | 1 809.74/809.93 c 809s | 24 | 5626375 | 3531462 | 4849 1923 | 1 | 1 811.74/811.93 c 811s | 24 | 5635302 | 3538762 | 4849 1926 | 1 | 1 813.73/813.96 c 813s | 24 | 5644124 | 3546262 | 4849 1929 | 1 | 1 815.73/815.96 c 815s | 24 | 5653141 | 3553762 | 4849 1932 | 1 | 1 817.73/817.99 c 817s | 24 | 5663264 | 3561262 | 4849 1935 | 1 | 1 819.73/819.99 c 819s | 24 | 5672599 | 3569062 | 4849 1938 | 1 | 1 821.73/822.00 c 821s | 24 | 5682670 | 3576662 | 4849 1941 | 1 | 1 823.83/824.02 c 823s | 24 | 5693524 | 3583962 | 4849 1944 | 1 | 1 825.83/826.03 c 825s | 24 | 5702714 | 3591562 | 4849 1947 | 1 | 1 827.83/828.05 c 828s | 24 | 5712125 | 3598762 | 4849 1950 | 1 | 1 829.82/830.06 c 830s | 24 | 5725134 | 3606362 | 4849 1953 | 1 | 1 831.82/832.08 c 832s | 24 | 5739741 | 3613862 | 4849 1956 | 1 | 1 833.82/834.08 c 834s | 24 | 5752336 | 3621162 | 4849 1959 | 1 | 1 835.93/836.10 c 836s | 24 | 5762803 | 3628362 | 4849 1962 | 1 | 1 837.92/838.11 c 838s | 24 | 5774120 | 3635762 | 4849 1965 | 1 | 1 839.92/840.12 c 840s | 24 | 5783097 | 3642862 | 4849 1968 | 1 | 1 841.92/842.14 c 842s | 24 | 5791898 | 3649962 | 4849 1971 | 1 | 1 843.92/844.16 c 844s | 24 | 5801483 | 3657162 | 4849 1973 | 1 | 1 845.92/846.16 c 846s | 24 | 5810898 | 3664662 | 4849 1976 | 1 | 1 847.92/848.17 c 848s | 24 | 5821525 | 3672162 | 4849 1980 | 1 | 1 849.91/850.18 c 850s | 24 | 5831779 | 3679362 | 4849 1982 | 1 | 1 852.02/852.22 c 852s | 24 | 5842576 | 3686962 | 4849 1986 | 1 | 1 854.02/854.24 c 854s | 24 | 5853240 | 3694462 | 4849 1989 | 1 | 1 856.02/856.26 c 856s | 24 | 5863214 | 3701762 | 4849 1992 | 1 | 1 858.02/858.28 c 858s | 24 | 5878504 | 3709662 | 4849 1995 | 1 | 1 860.03/860.29 c 860s | 24 | 5888717 | 3717362 | 4849 1998 | 1 | 1 862.12/862.32 c 862s | 24 | 5899273 | 3725162 | 4849 2001 | 1 | 1 864.12/864.33 c 864s | 24 | 5908658 | 3732762 | 4849 2004 | 1 | 1 866.12/866.33 c 866s | 24 | 5919185 | 3739962 | 4849 2007 | 1 | 1 868.12/868.34 c 868s | 24 | 5931597 | 3747162 | 4849 2010 | 1 | 1 870.11/870.35 c 870s | 24 | 5941687 | 3754162 | 4849 2013 | 1 | 1 872.12/872.36 c 872s | 24 | 5951068 | 3761062 | 4849 2016 | 1 | 1 874.11/874.39 c 874s | 24 | 5959207 | 3767962 | 4849 2018 | 1 | 1 876.21/876.41 c 876s | 24 | 5968529 | 3775262 | 4849 2021 | 1 | 1 878.21/878.44 c 878s | 24 | 5979268 | 3782862 | 4849 2024 | 1 | 1 880.21/880.47 c 880s | 24 | 5989740 | 3790362 | 4849 2027 | 1 | 1 882.20/882.48 c 882s | 24 | 5999653 | 3797662 | 4849 2030 | 1 | 1 884.21/884.50 c 884s | 24 | 6009476 | 3805162 | 4849 2033 | 1 | 1 886.30/886.50 c 886s | 24 | 6023178 | 3812762 | 4849 2037 | 1 | 1 888.30/888.52 c 888s | 24 | 6033814 | 3819962 | 4849 2039 | 1 | 1 890.30/890.53 c 890s | 24 | 6043402 | 3826662 | 4849 2042 | 1 | 1 892.30/892.54 c 892s | 24 | 6053755 | 3833962 | 4849 2045 | 1 | 1 894.30/894.55 c 894s | 24 | 6063290 | 3840862 | 4849 2048 | 1 | 1 896.31/896.57 c 896s | 24 | 6071883 | 3847762 | 4849 2051 | 1 | 1 898.30/898.57 c 898s | 24 | 6081873 | 3854862 | 4849 2054 | 1 | 1 900.30/900.59 c 900s | 24 | 6090920 | 3861662 | 4849 2056 | 1 | 1 902.39/902.61 c 902s | 24 | 6099872 | 3868662 | 4849 2059 | 1 | 1 904.39/904.63 c 904s | 24 | 6107512 | 3875062 | 4849 2062 | 1 | 1 906.39/906.65 c 906s | 24 | 6116439 | 3882062 | 4849 2065 | 1 | 1 908.40/908.67 c 908s | 24 | 6127433 | 3889662 | 4849 2068 | 1 | 1 910.49/910.71 c 910s | 24 | 6137185 | 3896962 | 4849 2071 | 1 | 1 912.49/912.71 c 912s | 24 | 6146091 | 3904062 | 4849 2074 | 1 | 1 914.49/914.74 c 914s | 24 | 6155158 | 3911362 | 4849 2076 | 1 | 1 916.48/916.74 c 916s | 24 | 6164897 | 3918762 | 4849 2079 | 1 | 1 918.48/918.74 c 918s | 24 | 6173826 | 3925762 | 4849 2082 | 1 | 1 920.49/920.75 c 920s | 24 | 6185882 | 3932762 | 4849 2085 | 1 | 1 922.48/922.77 c 922s | 24 | 6197437 | 3939962 | 4849 2088 | 1 | 1 924.48/924.78 c 924s | 24 | 6206622 | 3947162 | 4849 2091 | 1 | 1 926.58/926.80 c 926s | 24 | 6214607 | 3953862 | 4849 2094 | 1 | 1 928.58/928.82 c 928s | 24 | 6223700 | 3961062 | 4849 2097 | 1 | 1 930.58/930.83 c 930s | 24 | 6234148 | 3968662 | 4849 2100 | 1 | 1 932.58/932.84 c 932s | 24 | 6244080 | 3975662 | 4849 2102 | 1 | 1 934.57/934.85 c 934s | 24 | 6252525 | 3982462 | 4849 2105 | 1 | 1 936.57/936.86 c 936s | 24 | 6261216 | 3989362 | 4849 2108 | 1 | 1 938.57/938.87 c 938s | 24 | 6269607 | 3996262 | 4849 2111 | 1 | 1 940.57/940.88 c 940s | 24 | 6278509 | 4003162 | 4849 2114 | 1 | 1 942.58/942.88 c 942s | 24 | 6290886 | 4010662 | 4849 2117 | 1 | 1 944.57/944.89 c 944s | 24 | 6300040 | 4017762 | 4849 2119 | 1 | 1 946.57/946.89 c 946s | 24 | 6307897 | 4024362 | 4849 2122 | 1 | 1 948.67/948.90 c 948s | 24 | 6318589 | 4031862 | 4849 2125 | 1 | 1 950.67/950.91 c 950s | 24 | 6328114 | 4040062 | 4849 2128 | 1 | 1 952.66/952.92 c 952s | 24 | 6337867 | 4047662 | 4849 2132 | 1 | 1 954.67/954.93 c 954s | 24 | 6346684 | 4055162 | 4849 2135 | 1 | 1 956.67/956.95 c 956s | 24 | 6356612 | 4063262 | 4849 2138 | 1 | 1 958.67/958.96 c 958s | 24 | 6366733 | 4070862 | 4849 2141 | 1 | 1 960.67/960.98 c 960s | 24 | 6377247 | 4078362 | 4849 2144 | 1 | 1 962.77/963.00 c 962s | 24 | 6386138 | 4085362 | 4849 2147 | 1 | 1 964.76/965.06 c 965s | 24 | 6395708 | 4092462 | 4849 2150 | 1 | 1 966.86/967.10 c 967s | 24 | 6404241 | 4099662 | 4849 2153 | 1 | 1 968.76/969.10 c 969s | 24 | 6413214 | 4107262 | 4849 2156 | 1 | 1 970.86/971.12 c 971s | 24 | 6423683 | 4114962 | 4849 2159 | 1 | 1 972.86/973.14 c 973s | 24 | 6433393 | 4122662 | 4849 2162 | 1 | 1 974.86/975.16 c 975s | 24 | 6442363 | 4129962 | 4849 2165 | 1 | 1 976.86/977.17 c 977s | 24 | 6453369 | 4137762 | 4849 2168 | 1 | 1 978.86/979.18 c 979s | 24 | 6462580 | 4145162 | 4849 2171 | 1 | 1 980.85/981.18 c 981s | 24 | 6472411 | 4152962 | 4849 2174 | 1 | 1 982.85/983.19 c 983s | 24 | 6482099 | 4160262 | 4849 2177 | 1 | 1 984.85/985.19 c 985s | 24 | 6490393 | 4167562 | 4849 2180 | 1 | 1 986.85/987.19 c 987s | 24 | 6499236 | 4175062 | 4849 2183 | 1 | 1 988.85/989.19 c 989s | 24 | 6510836 | 4182362 | 4849 2186 | 1 | 1 990.96/991.22 c 991s | 24 | 6521770 | 4189762 | 4849 2189 | 1 | 1 992.94/993.22 c 993s | 24 | 6530343 | 4196662 | 4849 2192 | 1 | 1 994.94/995.24 c 995s | 24 | 6538663 | 4203762 | 4849 2195 | 1 | 1 996.94/997.25 c 997s | 24 | 6547046 | 4210762 | 4849 2197 | 1 | 1 998.94/999.27 c 999s | 24 | 6555913 | 4217962 | 4849 2200 | 1 | 1 1000.94/1001.27 c 1001s | 24 | 6564153 | 4224862 | 4849 2203 | 1 | 1 1002.94/1003.27 c 1003s | 24 | 6572254 | 4231662 | 4849 2206 | 1 | 1 1004.94/1005.28 c 1005s | 24 | 6580577 | 4238762 | 4849 2209 | 1 | 1 1006.94/1007.28 c 1007s | 24 | 6588927 | 4245962 | 4849 2212 | 1 | 1 1008.94/1009.29 c 1009s | 24 | 6597360 | 4253362 | 4849 2215 | 1 | 1 1011.03/1011.30 c 1011s | 24 | 6606408 | 4260362 | 4849 2217 | 1 | 1 1013.03/1013.32 c 1013s | 24 | 6615120 | 4267462 | 4849 2220 | 1 | 1 1015.04/1015.33 c 1015s | 24 | 6623833 | 4274662 | 4849 2223 | 1 | 1 1017.03/1017.34 c 1017s | 24 | 6634962 | 4282262 | 4849 2226 | 1 | 1 1019.03/1019.36 c 1019s | 24 | 6644339 | 4289762 | 4849 2229 | 1 | 1 1021.03/1021.39 c 1021s | 24 | 6655397 | 4297562 | 4849 2233 | 1 | 1 1023.13/1023.41 c 1023s | 24 | 6666304 | 4305062 | 4849 2236 | 1 | 1 1025.13/1025.42 c 1025s | 24 | 6678863 | 4312562 | 4849 2239 | 1 | 1 1027.14/1027.43 c 1027s | 24 | 6687814 | 4319762 | 4849 2241 | 1 | 1 1029.13/1029.46 c 1029s | 24 | 6696787 | 4327262 | 4849 2245 | 1 | 1 1031.13/1031.49 c 1031s | 24 | 6704985 | 4334262 | 4849 2247 | 1 | 1 1033.23/1033.51 c 1033s | 24 | 6712980 | 4341262 | 4849 2250 | 1 | 1 1035.23/1035.52 c 1035s | 24 | 6721760 | 4348662 | 4849 2253 | 1 | 1 1037.23/1037.53 c 1037s | 24 | 6733977 | 4356762 | 4849 2256 | 1 | 1 1039.24/1039.55 c 1039s | 24 | 6743977 | 4364162 | 4849 2259 | 1 | 1 1041.23/1041.56 c 1041s | 24 | 6752530 | 4371162 | 4849 2262 | 1 | 1 1043.22/1043.58 c 1043s | 24 | 6762424 | 4378762 | 4849 2265 | 1 | 1 1045.32/1045.60 c 1045s | 24 | 6771279 | 4385862 | 4849 2268 | 1 | 1 1047.32/1047.60 c 1047s | 24 | 6779503 | 4392962 | 4849 2271 | 1 | 1 1049.32/1049.61 c 1049s | 24 | 6789185 | 4400462 | 4849 2274 | 1 | 1 1051.33/1051.62 c 1051s | 24 | 6797714 | 4407762 | 4849 2277 | 1 | 1 1053.32/1053.65 c 1053s | 24 | 6806860 | 4415562 | 4849 2280 | 1 | 1 1055.32/1055.66 c 1055s | 24 | 6816414 | 4423362 | 4849 2283 | 1 | 1 1057.32/1057.70 c 1057s | 24 | 6826303 | 4431262 | 4849 2287 | 1 | 1 1059.41/1059.71 c 1059s | 24 | 6836086 | 4438962 | 4849 2290 | 1 | 1 1061.41/1061.73 c 1061s | 24 | 6846296 | 4446962 | 4849 2293 | 1 | 1 1063.41/1063.74 c 1063s | 24 | 6856291 | 4454662 | 4849 2296 | 1 | 1 1065.41/1065.75 c 1065s | 24 | 6866355 | 4462162 | 4849 2299 | 1 | 1 1067.41/1067.77 c 1067s | 24 | 6876674 | 4469662 | 4849 2302 | 1 | 1 1069.41/1069.77 c 1069s | 24 | 6885553 | 4477062 | 4849 2305 | 1 | 1 1071.41/1071.78 c 1071s | 24 | 6894507 | 4484462 | 4849 2308 | 1 | 1 1073.50/1073.80 c 1073s | 24 | 6904108 | 4492462 | 4849 2311 | 1 | 1 1075.51/1075.81 c 1075s | 24 | 6913659 | 4500162 | 4849 2314 | 1 | 1 1077.50/1077.82 c 1077s | 24 | 6923270 | 4508162 | 4849 2318 | 1 | 1 1079.50/1079.84 c 1079s | 24 | 6933330 | 4516162 | 4849 2321 | 1 | 1 1081.50/1081.86 c 1081s | 24 | 6942946 | 4523962 | 4849 2324 | 1 | 1 1083.49/1083.87 c 1083s | 24 | 6953404 | 4531962 | 4849 2327 | 1 | 1 1085.50/1085.89 c 1085s | 24 | 6963213 | 4539462 | 4849 2330 | 1 | 1 1087.60/1087.91 c 1087s | 24 | 6973020 | 4547262 | 4849 2333 | 1 | 1 1089.59/1089.93 c 1089s | 24 | 6984791 | 4555262 | 4849 2337 | 1 | 1 1091.59/1091.95 c 1091s | 24 | 6994837 | 4563362 | 4849 2340 | 1 | 1 1093.58/1093.95 c 1093s | 24 | 7005319 | 4571162 | 4849 2343 | 1 | 1 1095.58/1095.96 c 1095s | 24 | 7014371 | 4578862 | 4849 2346 | 1 | 1 1097.59/1097.98 c 1097s | 24 | 7023347 | 4586362 | 4849 2349 | 1 | 1 1099.58/1100.00 c 1099s | 24 | 7033045 | 4594062 | 4849 2352 | 1 | 1 1101.69/1102.01 c 1101s | 24 | 7046077 | 4602062 | 4849 2356 | 1 | 1 1103.69/1104.03 c 1103s | 24 | 7055338 | 4609662 | 4849 2359 | 1 | 1 1105.69/1106.06 c 1106s | 24 | 7064601 | 4617362 | 4849 2362 | 1 | 1 1107.69/1108.06 c 1108s | 24 | 7073509 | 4624662 | 4849 2365 | 1 | 1 1109.69/1110.07 c 1110s | 24 | 7082630 | 4632162 | 4849 2368 | 1 | 1 1111.69/1112.09 c 1112s | 24 | 7090996 | 4639462 | 4849 2371 | 1 | 1 1113.78/1114.10 c 1114s | 24 | 7100218 | 4647262 | 4849 2374 | 1 | 1 1115.78/1116.12 c 1116s | 24 | 7111195 | 4654962 | 4849 2377 | 1 | 1 1117.78/1118.13 c 1118s | 24 | 7120142 | 4662562 | 4849 2380 | 1 | 1 1119.78/1120.15 c 1120s | 24 | 7128974 | 4669862 | 4849 2383 | 1 | 1 1121.78/1122.17 c 1122s | 24 | 7138788 | 4677562 | 4849 2386 | 1 | 1 1123.77/1124.19 c 1124s | 24 | 7147378 | 4684862 | 4849 2389 | 1 | 1 1125.87/1126.24 c 1126s | 24 | 7156546 | 4692262 | 4849 2392 | 1 | 1 1127.87/1128.24 c 1128s | 24 | 7165846 | 4699962 | 4849 2395 | 1 | 1 1129.87/1130.27 c 1130s | 24 | 7176366 | 4707862 | 4849 2398 | 1 | 1 1131.86/1132.27 c 1132s | 24 | 7184748 | 4714962 | 4849 2401 | 1 | 1 1133.87/1134.27 c 1134s | 24 | 7194346 | 4722662 | 4849 2404 | 1 | 1 1135.97/1136.31 c 1136s | 24 | 7205397 | 4730562 | 4849 2408 | 1 | 1 1137.96/1138.34 c 1138s | 24 | 7214352 | 4738162 | 4849 2411 | 1 | 1 1139.96/1140.35 c 1140s | 24 | 7225094 | 4746462 | 4849 2414 | 1 | 1 1141.96/1142.36 c 1142s | 24 | 7233729 | 4753862 | 4849 2417 | 1 | 1 1143.96/1144.36 c 1144s | 24 | 7242541 | 4761362 | 4849 2420 | 1 | 1 1145.96/1146.37 c 1146s | 24 | 7251339 | 4768962 | 4849 2423 | 1 | 1 1147.96/1148.38 c 1148s | 24 | 7260585 | 4776562 | 4849 2426 | 1 | 1 1150.06/1150.40 c 1150s | 24 | 7269592 | 4784262 | 4849 2429 | 1 | 1 1152.05/1152.41 c 1152s | 24 | 7278249 | 4791462 | 4849 2432 | 1 | 1 1154.05/1154.42 c 1154s | 24 | 7287856 | 4799162 | 4849 2435 | 1 | 1 1156.05/1156.45 c 1156s | 24 | 7296773 | 4806962 | 4849 2438 | 1 | 1 1158.06/1158.45 c 1158s | 24 | 7305891 | 4814862 | 4849 2442 | 1 | 1 1160.05/1160.45 c 1160s | 24 | 7316117 | 4823162 | 4849 2445 | 1 | 1 1162.05/1162.46 c 1162s | 24 | 7325795 | 4831162 | 4849 2448 | 1 | 1 1164.05/1164.48 c 1164s | 24 | 7335042 | 4838762 | 4849 2451 | 1 | 1 1166.04/1166.49 c 1166s | 24 | 7344003 | 4846462 | 4849 2454 | 1 | 1 1168.14/1168.53 c 1168s | 24 | 7353097 | 4854062 | 4849 2458 | 1 | 1 1170.15/1170.55 c 1170s | 24 | 7363156 | 4862362 | 4849 2461 | 1 | 1 1172.15/1172.55 c 1172s | 24 | 7372422 | 4870262 | 4849 2464 | 1 | 1 1174.15/1174.55 c 1174s | 24 | 7383065 | 4878362 | 4849 2467 | 1 | 1 1176.15/1176.57 c 1176s | 24 | 7392891 | 4886162 | 4849 2470 | 1 | 1 1178.15/1178.59 c 1178s | 24 | 7402454 | 4894062 | 4849 2474 | 1 | 1 1180.15/1180.59 c 1180s | 24 | 7412076 | 4901862 | 4849 2477 | 1 | 1 1182.15/1182.60 c 1182s | 24 | 7421158 | 4909662 | 4849 2480 | 1 | 1 1184.24/1184.62 c 1184s | 24 | 7432250 | 4917562 | 4849 2483 | 1 | 1 1186.24/1186.63 c 1186s | 24 | 7442140 | 4925362 | 4849 2486 | 1 | 1 1188.24/1188.66 c 1188s | 24 | 7451257 | 4932862 | 4849 2489 | 1 | 1 1190.24/1190.67 c 1190s | 24 | 7460955 | 4940462 | 4849 2493 | 1 | 1 1192.24/1192.68 c 1192s | 24 | 7470644 | 4948462 | 4849 2496 | 1 | 1 1194.24/1194.70 c 1194s | 24 | 7480934 | 4956662 | 4849 2499 | 1 | 1 1196.34/1196.72 c 1196s | 24 | 7490990 | 4965062 | 4849 2502 | 1 | 1 1198.34/1198.74 c 1198s | 24 | 7503073 | 4973362 | 4849 2506 | 1 | 1 1200.34/1200.76 c 1200s | 24 | 7514130 | 4980862 | 4849 2509 | 1 | 1 1202.33/1202.76 c 1202s | 24 | 7524194 | 4988362 | 4849 2512 | 1 | 1 1204.33/1204.76 c 1204s | 24 | 7533722 | 4995862 | 4849 2515 | 1 | 1 1206.34/1206.77 c 1206s | 24 | 7542737 | 5003262 | 4849 2518 | 1 | 1 1208.33/1208.77 c 1208s | 24 | 7552730 | 5010462 | 4849 2521 | 1 | 1 1210.33/1210.78 c 1210s | 24 | 7563230 | 5018562 | 4849 2524 | 1 | 1 1212.43/1212.80 c 1212s | 24 | 7576152 | 5026062 | 4849 2527 | 1 | 1 1214.43/1214.82 c 1214s | 24 | 7586265 | 5033462 | 5334 2530 | 1 | 1 1216.43/1216.83 c 1216s | 24 | 7595009 | 5040662 | 5334 2532 | 1 | 1 1218.43/1218.84 c 1218s | 24 | 7605383 | 5047962 | 5334 2535 | 1 | 1 1220.43/1220.87 c 1220s | 24 | 7614734 | 5054962 | 5334 2538 | 1 | 1 1222.42/1222.87 c 1222s | 24 | 7623433 | 5062062 | 5334 2540 | 1 | 1 1223.22/1223.69 c 1223s | 25 | 7627154 | 5065098 | 5334 2542 | 1 | 1 1225.32/1225.71 c 1225s | 25 | 7638461 | 5073098 | 5334 2544 | 1 | 1 1227.33/1227.72 c 1227s | 25 | 7649148 | 5081098 | 5334 2547 | 1 | 1 1229.32/1229.74 c 1229s | 25 | 7659935 | 5089098 | 5334 2550 | 1 | 1 1231.32/1231.74 c 1231s | 25 | 7670901 | 5097398 | 5334 2553 | 1 | 1 1233.31/1233.76 c 1233s | 25 | 7687122 | 5106698 | 5334 2557 | 1 | 1 1235.31/1235.77 c 1235s | 25 | 7697238 | 5114898 | 5334 2560 | 1 | 1 1237.31/1237.79 c 1237s | 25 | 7706384 | 5122798 | 5334 2563 | 1 | 1 1239.42/1239.81 c 1239s | 25 | 7718259 | 5131198 | 5334 2566 | 1 | 1 1241.41/1241.82 c 1241s | 25 | 7729190 | 5139698 | 5334 2569 | 1 | 1 1243.41/1243.82 c 1243s | 25 | 7739183 | 5147898 | 5334 2572 | 1 | 1 1245.41/1245.83 c 1245s | 25 | 7750580 | 5156798 | 5334 2575 | 1 | 1 1247.41/1247.84 c 1247s | 25 | 7763605 | 5165998 | 5334 2579 | 1 | 1 1249.41/1249.85 c 1249s | 25 | 7776402 | 5175198 | 5334 2582 | 1 | 1 1251.41/1251.87 c 1251s | 25 | 7789981 | 5184098 | 5334 2585 | 1 | 1 1253.40/1253.88 c 1253s | 25 | 7800863 | 5192398 | 5334 2589 | 1 | 1 1255.40/1255.88 c 1255s | 25 | 7810821 | 5200498 | 5334 2592 | 1 | 1 1257.50/1257.92 c 1257s | 25 | 7821913 | 5208698 | 5334 2595 | 1 | 1 1259.50/1259.94 c 1259s | 25 | 7832248 | 5216998 | 5334 2598 | 1 | 1 1261.50/1261.94 c 1261s | 25 | 7847119 | 5225598 | 5334 2601 | 1 | 1 1263.50/1263.96 c 1263s | 25 | 7860312 | 5235098 | 5334 2604 | 1 | 1 1265.50/1265.97 c 1265s | 25 | 7872708 | 5242898 | 5334 2607 | 1 | 1 1267.50/1267.98 c 1267s | 25 | 7888415 | 5251798 | 5334 2610 | 1 | 1 1269.70/1270.15 c 1270s | 25 | 7900563 | 5260398 | 5334 2614 | 1 | 1 1271.69/1272.17 c 1272s | 25 | 7910180 | 5268498 | 5334 2617 | 1 | 1 1273.69/1274.19 c 1274s | 25 | 7921951 | 5277398 | 5334 2620 | 1 | 1 1275.79/1276.21 c 1276s | 25 | 7933266 | 5285798 | 5334 2623 | 1 | 1 1277.79/1278.23 c 1278s | 25 | 7943567 | 5293898 | 5334 2626 | 1 | 1 1279.79/1280.23 c 1280s | 25 | 7955793 | 5302798 | 5334 2629 | 1 | 1 1281.79/1282.27 c 1282s | 25 | 7967091 | 5311898 | 5334 2633 | 1 | 1 1283.78/1284.28 c 1284s | 25 | 7977699 | 5320498 | 5334 2636 | 1 | 1 1285.88/1286.30 c 1286s | 25 | 7988418 | 5329298 | 5334 2639 | 1 | 1 1287.88/1288.31 c 1288s | 25 | 8000183 | 5337798 | 5334 2642 | 1 | 1 1289.89/1290.32 c 1290s | 25 | 8010849 | 5346298 | 5334 2645 | 1 | 1 1291.88/1292.33 c 1292s | 25 | 8020847 | 5354498 | 5334 2648 | 1 | 1 1293.89/1294.34 c 1294s | 25 | 8031166 | 5363098 | 5334 2651 | 1 | 1 1295.89/1296.34 c 1296s | 25 | 8041841 | 5372098 | 5334 2655 | 1 | 1 1297.89/1298.36 c 1298s | 25 | 8051963 | 5380698 | 5334 2658 | 1 | 1 1299.89/1300.37 c 1300s | 25 | 8062008 | 5388798 | 5334 2661 | 1 | 1 1301.88/1302.38 c 1302s | 25 | 8072784 | 5396698 | 5334 2664 | 1 | 1 1303.87/1304.38 c 1304s | 25 | 8086057 | 5405898 | 5334 2667 | 1 | 1 1305.97/1306.49 c 1306s | 25 | 8096850 | 5414698 | 5334 2670 | 1 | 1 1308.07/1308.51 c 1308s | 25 | 8107538 | 5423498 | 5334 2674 | 1 | 1 1310.17/1310.60 c 1310s | 25 | 8117772 | 5432098 | 5334 2677 | 1 | 1 1312.16/1312.61 c 1312s | 25 | 8127815 | 5440398 | 5334 2680 | 1 | 1 1314.17/1314.63 c 1314s | 25 | 8137490 | 5448398 | 5334 2683 | 1 | 1 1316.16/1316.63 c 1316s | 25 | 8148081 | 5456498 | 5334 2686 | 1 | 1 1318.16/1318.64 c 1318s | 25 | 8159364 | 5465298 | 5334 2689 | 1 | 1 1320.16/1320.64 c 1320s | 25 | 8170977 | 5473498 | 5334 2692 | 1 | 1 1322.16/1322.68 c 1322s | 25 | 8182104 | 5482298 | 5334 2696 | 1 | 1 1324.15/1324.68 c 1324s | 25 | 8194098 | 5490998 | 5334 2699 | 1 | 1 1326.16/1326.68 c 1326s | 25 | 8205651 | 5499598 | 5334 2702 | 1 | 1 1328.16/1328.69 c 1328s | 25 | 8216610 | 5507898 | 5334 2705 | 1 | 1 1330.26/1330.71 c 1330s | 25 | 8228990 | 5516898 | 5334 2708 | 1 | 1 1332.26/1332.71 c 1332s | 25 | 8241778 | 5525298 | 5334 2711 | 1 | 1 1334.26/1334.72 c 1334s | 25 | 8252414 | 5533598 | 5334 2715 | 1 | 1 1336.26/1336.73 c 1336s | 25 | 8265165 | 5542898 | 5334 2718 | 1 | 1 1338.26/1338.74 c 1338s | 25 | 8277612 | 5551698 | 5334 2721 | 1 | 1 1340.25/1340.74 c 1340s | 25 | 8289487 | 5560498 | 5334 2724 | 1 | 1 1342.25/1342.75 c 1342s | 25 | 8301814 | 5569398 | 5334 2728 | 1 | 1 1344.25/1344.76 c 1344s | 25 | 8314158 | 5577798 | 5334 2731 | 1 | 1 1346.25/1346.77 c 1346s | 25 | 8325554 | 5585998 | 5334 2734 | 1 | 1 1348.25/1348.78 c 1348s | 25 | 8337021 | 5594398 | 5334 2737 | 1 | 1 1350.25/1350.79 c 1350s | 25 | 8347922 | 5602998 | 5334 2740 | 1 | 1 1352.34/1352.80 c 1352s | 25 | 8357678 | 5611098 | 5334 2743 | 1 | 1 1354.34/1354.81 c 1354s | 25 | 8369604 | 5619598 | 5334 2746 | 1 | 1 1356.34/1356.83 c 1356s | 25 | 8382898 | 5628898 | 5334 2750 | 1 | 1 1358.34/1358.85 c 1358s | 25 | 8394858 | 5637598 | 5334 2753 | 1 | 1 1360.34/1360.86 c 1360s | 25 | 8405848 | 5646498 | 5334 2756 | 1 | 1 1362.34/1362.87 c 1362s | 25 | 8415471 | 5654098 | 5334 2759 | 1 | 1 1364.34/1364.87 c 1364s | 25 | 8425780 | 5662198 | 5334 2762 | 1 | 1 1366.34/1366.88 c 1366s | 25 | 8436044 | 5670098 | 5334 2765 | 1 | 1 1368.34/1368.89 c 1368s | 25 | 8445187 | 5677598 | 5334 2768 | 1 | 1 1370.44/1370.90 c 1370s | 25 | 8456259 | 5686498 | 5334 2771 | 1 | 1 1372.44/1372.92 c 1372s | 25 | 8467651 | 5695198 | 5334 2774 | 1 | 1 1374.43/1374.92 c 1374s | 25 | 8477675 | 5703498 | 5334 2777 | 1 | 1 1376.43/1376.93 c 1376s | 25 | 8488791 | 5711898 | 5334 2780 | 1 | 1 1378.43/1378.95 c 1378s | 25 | 8499999 | 5719898 | 5334 2783 | 1 | 1 1380.43/1380.97 c 1380s | 25 | 8510238 | 5728098 | 5334 2786 | 1 | 1 1382.43/1382.98 c 1382s | 25 | 8521079 | 5736298 | 5334 2790 | 1 | 1 1384.54/1385.00 c 1384s | 25 | 8531572 | 5744098 | 5334 2792 | 1 | 1 1386.53/1387.01 c 1386s | 25 | 8541533 | 5752098 | 5334 2795 | 1 | 1 1388.53/1389.02 c 1388s | 25 | 8552521 | 5759798 | 5334 2798 | 1 | 1 1390.53/1391.03 c 1390s | 25 | 8565084 | 5768798 | 5334 2802 | 1 | 1 1392.53/1393.04 c 1393s | 25 | 8575796 | 5777498 | 5334 2805 | 1 | 1 1394.53/1395.06 c 1395s | 25 | 8586067 | 5785598 | 5334 2808 | 1 | 1 1396.53/1397.06 c 1397s | 25 | 8599432 | 5794498 | 5334 2811 | 1 | 1 1398.53/1399.07 c 1399s | 25 | 8610421 | 5802998 | 5334 2814 | 1 | 1 1400.53/1401.07 c 1401s | 25 | 8623482 | 5811698 | 5334 2817 | 1 | 1 1402.53/1403.08 c 1403s | 25 | 8637118 | 5820698 | 5334 2821 | 1 | 1 1404.53/1405.08 c 1405s | 25 | 8648388 | 5829298 | 5334 2824 | 1 | 1 1406.53/1407.08 c 1407s | 25 | 8661698 | 5838098 | 5334 2827 | 1 | 1 1408.52/1409.09 c 1409s | 25 | 8673630 | 5846298 | 5334 2830 | 1 | 1 1410.62/1411.11 c 1411s | 25 | 8684871 | 5854998 | 5334 2834 | 1 | 1 1412.62/1413.12 c 1413s | 25 | 8696830 | 5863698 | 5334 2837 | 1 | 1 1414.62/1415.14 c 1415s | 25 | 8712287 | 5873298 | 5334 2840 | 1 | 1 1416.62/1417.17 c 1417s | 25 | 8723868 | 5882198 | 5334 2844 | 1 | 1 1418.63/1419.17 c 1419s | 25 | 8739153 | 5891398 | 5334 2847 | 1 | 1 1420.62/1421.18 c 1421s | 25 | 8752580 | 5900398 | 5334 2850 | 1 | 1 1422.72/1423.21 c 1423s | 25 | 8763653 | 5908998 | 5334 2854 | 1 | 1 1424.72/1425.22 c 1425s | 25 | 8776119 | 5918098 | 5334 2857 | 1 | 1 1426.72/1427.22 c 1427s | 25 | 8787760 | 5926998 | 5334 2860 | 1 | 1 1428.72/1429.23 c 1429s | 25 | 8798143 | 5935498 | 5334 2863 | 1 | 1 1430.73/1431.25 c 1431s | 25 | 8809548 | 5944098 | 5334 2867 | 1 | 1 1432.72/1433.25 c 1433s | 25 | 8821659 | 5952798 | 5334 2870 | 1 | 1 1434.72/1435.26 c 1435s | 25 | 8835854 | 5962098 | 5334 2873 | 1 | 1 1436.73/1437.28 c 1437s | 25 | 8848636 | 5970898 | 5334 2877 | 1 | 1 1438.83/1439.30 c 1439s | 25 | 8860593 | 5979598 | 5334 2880 | 1 | 1 1440.83/1441.30 c 1441s | 25 | 8874319 | 5988398 | 5334 2883 | 1 | 1 1442.83/1443.32 c 1443s | 25 | 8885674 | 5997198 | 5334 2886 | 1 | 1 1444.83/1445.32 c 1445s | 25 | 8896254 | 6006298 | 5334 2890 | 1 | 1 1446.82/1447.33 c 1447s | 25 | 8907564 | 6015498 | 5334 2893 | 1 | 1 1448.82/1449.37 c 1449s | 25 | 8919839 | 6024698 | 5334 2897 | 1 | 1 1450.82/1451.37 c 1451s | 25 | 8930314 | 6033298 | 5334 2900 | 1 | 1 1452.82/1453.38 c 1453s | 25 | 8943100 | 6042098 | 5334 2903 | 1 | 1 1454.83/1455.38 c 1455s | 25 | 8955710 | 6051098 | 5334 2906 | 1 | 1 1456.92/1457.44 c 1457s | 25 | 8967934 | 6059798 | 5334 2910 | 1 | 1 1458.92/1459.46 c 1459s | 25 | 8981294 | 6067998 | 5334 2913 | 1 | 1 1460.92/1461.49 c 1461s | 25 | 8991444 | 6075998 | 5334 2916 | 1 | 1 1463.02/1463.51 c 1463s | 25 | 9001318 | 6084098 | 5334 2918 | 1 | 1 1465.02/1465.53 c 1465s | 25 | 9010410 | 6091598 | 5334 2921 | 1 | 1 1467.03/1467.54 c 1467s | 25 | 9019280 | 6099198 | 5334 2924 | 1 | 1 1469.02/1469.56 c 1469s | 25 | 9030273 | 6108098 | 5334 2927 | 1 | 1 1471.02/1471.57 c 1471s | 25 | 9041690 | 6116898 | 5334 2931 | 1 | 1 1473.02/1473.58 c 1473s | 25 | 9052032 | 6125398 | 5334 2934 | 1 | 1 1475.02/1475.59 c 1475s | 25 | 9062573 | 6133998 | 5334 2937 | 1 | 1 1477.12/1477.61 c 1477s | 25 | 9073643 | 6142698 | 5334 2940 | 1 | 1 1479.12/1479.62 c 1479s | 25 | 9084481 | 6151298 | 5334 2943 | 1 | 1 1481.12/1481.63 c 1481s | 25 | 9094917 | 6159998 | 5334 2947 | 1 | 1 1483.12/1483.65 c 1483s | 25 | 9104941 | 6167998 | 5334 2950 | 1 | 1 1485.12/1485.65 c 1485s | 25 | 9116408 | 6176898 | 5334 2953 | 1 | 1 1487.12/1487.66 c 1487s | 25 | 9127487 | 6185298 | 5334 2956 | 1 | 1 1489.11/1489.67 c 1489s | 25 | 9138516 | 6194198 | 5334 2959 | 1 | 1 1491.12/1491.69 c 1491s | 25 | 9148638 | 6202698 | 5334 2963 | 1 | 1 1493.21/1493.71 c 1493s | 25 | 9159825 | 6211198 | 5334 2966 | 1 | 1 1495.21/1495.73 c 1495s | 25 | 9172250 | 6220298 | 5334 2969 | 1 | 1 1497.21/1497.73 c 1497s | 25 | 9183762 | 6228998 | 5334 2972 | 1 | 1 1499.21/1499.77 c 1499s | 25 | 9194812 | 6237698 | 5334 2976 | 1 | 1 1501.21/1501.79 c 1501s | 25 | 9206355 | 6246798 | 5334 2979 | 1 | 1 1503.32/1503.84 c 1503s | 25 | 9217221 | 6255298 | 5334 2982 | 1 | 1 1505.31/1505.84 c 1505s | 25 | 9229487 | 6264098 | 5334 2985 | 1 | 1 1507.31/1507.85 c 1507s | 25 | 9240095 | 6272698 | 5334 2989 | 1 | 1 1509.31/1509.86 c 1509s | 25 | 9251016 | 6281198 | 5334 2992 | 1 | 1 1511.31/1511.87 c 1511s | 25 | 9263025 | 6290398 | 5334 2995 | 1 | 1 1513.31/1513.89 c 1513s | 25 | 9273992 | 6299498 | 5334 2998 | 1 | 1 1515.42/1515.91 c 1515s | 25 | 9285311 | 6307998 | 5334 3002 | 1 | 1 1517.41/1517.92 c 1517s | 25 | 9296144 | 6316798 | 5334 3005 | 1 | 1 1519.41/1519.95 c 1519s | 25 | 9306168 | 6325298 | 5334 3008 | 1 | 1 1521.41/1521.95 c 1521s | 25 | 9315956 | 6333498 | 5334 3011 | 1 | 1 1523.41/1523.96 c 1523s | 25 | 9326284 | 6341898 | 5334 3014 | 1 | 1 1525.41/1525.99 c 1525s | 25 | 9337032 | 6350398 | 5334 3017 | 1 | 1 1527.51/1528.01 c 1527s | 25 | 9347598 | 6358898 | 5334 3021 | 1 | 1 1529.51/1530.02 c 1529s | 25 | 9357313 | 6366998 | 5334 3024 | 1 | 1 1531.50/1532.02 c 1531s | 25 | 9368125 | 6375698 | 5334 3027 | 1 | 1 1533.50/1534.04 c 1534s | 25 | 9378340 | 6384398 | 5334 3030 | 1 | 1 1535.50/1536.05 c 1536s | 25 | 9388423 | 6392498 | 5334 3033 | 1 | 1 1537.50/1538.06 c 1538s | 25 | 9397828 | 6400198 | 5334 3036 | 1 | 1 1539.51/1540.07 c 1540s | 25 | 9407532 | 6408298 | 5334 3039 | 1 | 1 1541.50/1542.07 c 1542s | 25 | 9419280 | 6417198 | 5334 3042 | 1 | 1 1543.50/1544.09 c 1544s | 25 | 9429310 | 6425398 | 5334 3045 | 1 | 1 1545.60/1546.10 c 1546s | 25 | 9438494 | 6432898 | 5334 3048 | 1 | 1 1547.60/1548.12 c 1548s | 25 | 9450047 | 6441198 | 5334 3051 | 1 | 1 1549.60/1550.13 c 1550s | 25 | 9461501 | 6449398 | 5334 3054 | 1 | 1 1551.62/1552.15 c 1552s | 25 | 9471779 | 6457698 | 5334 3057 | 1 | 1 1553.61/1554.15 c 1554s | 25 | 9483561 | 6465698 | 5334 3060 | 1 | 1 1555.61/1556.16 c 1556s | 25 | 9495654 | 6474398 | 5334 3063 | 1 | 1 1557.61/1558.16 c 1558s | 25 | 9505970 | 6482698 | 5334 3066 | 1 | 1 1559.60/1560.18 c 1560s | 25 | 9517518 | 6491498 | 5334 3070 | 1 | 1 1561.61/1562.19 c 1562s | 25 | 9527477 | 6499598 | 5334 3073 | 1 | 1 1563.60/1564.20 c 1564s | 25 | 9537446 | 6507798 | 5334 3076 | 1 | 1 1565.70/1566.21 c 1566s | 25 | 9547967 | 6516298 | 5334 3079 | 1 | 1 1567.70/1568.23 c 1568s | 25 | 9559102 | 6525298 | 5334 3082 | 1 | 1 1569.70/1570.25 c 1570s | 25 | 9570359 | 6533998 | 5334 3085 | 1 | 1 1571.70/1572.27 c 1572s | 25 | 9582167 | 6542398 | 5334 3088 | 1 | 1 1573.71/1574.27 c 1574s | 25 | 9598975 | 6551798 | 5334 3092 | 1 | 1 1575.70/1576.29 c 1576s | 25 | 9609679 | 6559998 | 5334 3095 | 1 | 1 1577.70/1578.29 c 1578s | 25 | 9622396 | 6568498 | 5334 3098 | 1 | 1 1579.70/1580.29 c 1580s | 25 | 9633759 | 6576998 | 5334 3101 | 1 | 1 1581.80/1582.30 c 1582s | 25 | 9644229 | 6585498 | 5334 3104 | 1 | 1 1583.80/1584.31 c 1584s | 25 | 9657713 | 6594198 | 5334 3108 | 1 | 1 1585.80/1586.33 c 1586s | 25 | 9667827 | 6602398 | 5334 3111 | 1 | 1 1587.80/1588.34 c 1588s | 25 | 9677971 | 6611198 | 5334 3114 | 1 | 1 1589.80/1590.35 c 1590s | 25 | 9688707 | 6620298 | 5334 3117 | 1 | 1 1591.79/1592.36 c 1592s | 25 | 9699248 | 6629198 | 5334 3121 | 1 | 1 1593.90/1594.40 c 1594s | 25 | 9710341 | 6637898 | 5334 3124 | 1 | 1 1595.90/1596.41 c 1596s | 25 | 9721339 | 6646598 | 5334 3127 | 1 | 1 1597.91/1598.42 c 1598s | 25 | 9732396 | 6655498 | 5334 3130 | 1 | 1 1599.90/1600.42 c 1600s | 25 | 9742678 | 6663898 | 5334 3133 | 1 | 1 1601.90/1602.47 c 1602s | 25 | 9752903 | 6672198 | 5334 3136 | 1 | 1 1603.90/1604.49 c 1604s | 25 | 9764230 | 6681398 | 5334 3140 | 1 | 1 1606.00/1606.50 c 1606s | 25 | 9776560 | 6690298 | 5334 3143 | 1 | 1 1608.00/1608.51 c 1608s | 25 | 9787713 | 6698598 | 5334 3146 | 1 | 1 1610.01/1610.53 c 1610s | 25 | 9797263 | 6706898 | 5334 3149 | 1 | 1 1612.00/1612.54 c 1612s | 25 | 9806499 | 6714998 | 5334 3152 | 1 | 1 1614.00/1614.55 c 1614s | 25 | 9816207 | 6723198 | 5334 3155 | 1 | 1 1616.00/1616.57 c 1616s | 25 | 9825639 | 6731298 | 5334 3158 | 1 | 1 1618.00/1618.58 c 1618s | 25 | 9835005 | 6738898 | 5334 3161 | 1 | 1 1619.99/1620.60 c 1620s | 25 | 9846092 | 6747998 | 5334 3164 | 1 | 1 1622.00/1622.60 c 1622s | 25 | 9856740 | 6756798 | 5334 3168 | 1 | 1 1624.09/1624.62 c 1624s | 25 | 9868531 | 6766098 | 5334 3171 | 1 | 1 1626.09/1626.63 c 1626s | 25 | 9878993 | 6774798 | 5334 3174 | 1 | 1 1628.09/1628.64 c 1628s | 25 | 9890790 | 6784398 | 5334 3178 | 1 | 1 1630.09/1630.64 c 1630s | 25 | 9901553 | 6793298 | 5334 3181 | 1 | 1 1632.09/1632.67 c 1632s | 25 | 9912343 | 6802198 | 5334 3185 | 1 | 1 1634.20/1634.72 c 1634s | 25 | 9924154 | 6811698 | 5334 3188 | 1 | 1 1636.19/1636.73 c 1636s | 25 | 9935673 | 6821098 | 5334 3192 | 1 | 1 1638.19/1638.73 c 1638s | 25 | 9946577 | 6830298 | 5334 3195 | 1 | 1 1640.29/1640.80 c 1640s | 25 | 9958017 | 6839598 | 5334 3199 | 1 | 1 1642.29/1642.81 c 1642s | 25 | 9970113 | 6849498 | 5334 3202 | 1 | 1 1644.29/1644.82 c 1644s | 25 | 9981388 | 6857998 | 5334 3205 | 1 | 1 1646.30/1646.82 c 1646s | 25 | 9992014 | 6866598 | 5334 3209 | 1 | 1 1648.29/1648.88 c 1648s | 25 | 10004737 | 6876398 | 5334 3212 | 1 | 1 1650.29/1650.89 c 1650s | 25 | 10016912 | 6885998 | 5334 3216 | 1 | 1 1652.39/1652.90 c 1652s | 25 | 10029795 | 6896298 | 5334 3220 | 1 | 1 1654.39/1654.91 c 1654s | 25 | 10040901 | 6904698 | 5334 3223 | 1 | 1 1656.38/1656.92 c 1656s | 25 | 10053010 | 6914298 | 5334 3226 | 1 | 1 1658.40/1658.94 c 1658s | 25 | 10063896 | 6923198 | 5334 3230 | 1 | 1 1660.39/1660.96 c 1660s | 25 | 10076629 | 6933398 | 5334 3233 | 1 | 1 1662.39/1662.97 c 1662s | 25 | 10088081 | 6942598 | 5334 3237 | 1 | 1 1664.39/1664.97 c 1664s | 25 | 10099608 | 6951998 | 5334 3240 | 1 | 1 1666.39/1666.98 c 1666s | 25 | 10111032 | 6961398 | 5334 3244 | 1 | 1 1668.39/1668.99 c 1668s | 25 | 10120376 | 6968998 | 5334 3247 | 1 | 1 1670.50/1671.01 c 1670s | 25 | 10130681 | 6977198 | 5334 3250 | 1 | 1 1672.49/1673.02 c 1672s | 25 | 10141437 | 6986298 | 5334 3253 | 1 | 1 1674.49/1675.02 c 1674s | 25 | 10153224 | 6995398 | 5334 3256 | 1 | 1 1676.49/1677.02 c 1676s | 25 | 10165217 | 7004198 | 5334 3260 | 1 | 1 1678.49/1679.03 c 1678s | 25 | 10179901 | 7013998 | 5334 3263 | 1 | 1 1680.49/1681.04 c 1681s | 25 | 10190443 | 7022598 | 5334 3266 | 1 | 1 1682.49/1683.05 c 1683s | 25 | 10201764 | 7031398 | 5334 3270 | 1 | 1 1684.49/1685.06 c 1685s | 25 | 10213027 | 7040498 | 5334 3273 | 1 | 1 1686.58/1687.10 c 1687s | 25 | 10226012 | 7049998 | 5334 3277 | 1 | 1 1688.58/1689.12 c 1689s | 25 | 10238853 | 7059598 | 5334 3280 | 1 | 1 1690.58/1691.13 c 1691s | 25 | 10249761 | 7067998 | 5334 3283 | 1 | 1 1692.58/1693.13 c 1693s | 25 | 10260184 | 7076598 | 5334 3286 | 1 | 1 1694.59/1695.15 c 1695s | 25 | 10272574 | 7086098 | 5334 3290 | 1 | 1 1696.58/1697.19 c 1697s | 25 | 10286076 | 7095698 | 5334 3294 | 1 | 1 1698.68/1699.20 c 1699s | 25 | 10298742 | 7105098 | 5334 3297 | 1 | 1 1700.68/1701.23 c 1701s | 25 | 10310509 | 7114498 | 5334 3301 | 1 | 1 1702.68/1703.26 c 1703s | 25 | 10323789 | 7123598 | 5334 3304 | 1 | 1 1704.68/1705.27 c 1705s | 25 | 10337310 | 7133298 | 5334 3307 | 1 | 1 1706.68/1707.29 c 1707s | 25 | 10347423 | 7140898 | 5334 3310 | 1 | 1 1708.68/1709.29 c 1709s | 25 | 10357111 | 7149298 | 5334 3313 | 1 | 1 1710.79/1711.30 c 1711s | 25 | 10369790 | 7158598 | 5334 3317 | 1 | 1 1712.78/1713.32 c 1713s | 25 | 10382386 | 7167298 | 5334 3320 | 1 | 1 1714.78/1715.33 c 1715s | 25 | 10392353 | 7175698 | 5334 3323 | 1 | 1 1716.78/1717.35 c 1717s | 25 | 10402457 | 7184198 | 5334 3326 | 1 | 1 1718.79/1719.36 c 1719s | 25 | 10412437 | 7192498 | 5334 3329 | 1 | 1 1720.78/1721.37 c 1721s | 25 | 10424574 | 7201898 | 5334 3333 | 1 | 1 1722.78/1723.39 c 1723s | 25 | 10435823 | 7211198 | 5334 3336 | 1 | 1 1724.78/1725.39 c 1725s | 25 | 10447363 | 7220298 | 5334 3340 | 1 | 1 1726.88/1727.41 c 1727s | 25 | 10459998 | 7229698 | 5334 3343 | 1 | 1 1728.88/1729.49 c 1729s | 25 | 10471893 | 7238798 | 5334 3347 | 1 | 1 1730.89/1731.50 c 1731s | 25 | 10486493 | 7248898 | 5334 3350 | 1 | 1 1732.98/1733.51 c 1733s | 25 | 10502554 | 7258398 | 5334 3354 | 1 | 1 1734.98/1735.52 c 1735s | 25 | 10514774 | 7267498 | 5334 3357 | 1 | 1 1736.98/1737.53 c 1737s | 25 | 10525435 | 7276298 | 5334 3360 | 1 | 1 1738.98/1739.55 c 1739s | 25 | 10537768 | 7285598 | 5334 3364 | 1 | 1 1740.98/1741.55 c 1741s | 25 | 10548821 | 7294798 | 5334 3367 | 1 | 1 1742.99/1743.56 c 1743s | 25 | 10561015 | 7303698 | 5334 3371 | 1 | 1 1744.98/1745.58 c 1745s | 25 | 10575732 | 7313098 | 5334 3374 | 1 | 1 1746.97/1747.58 c 1747s | 25 | 10587138 | 7322198 | 5334 3377 | 1 | 1 1748.97/1749.59 c 1749s | 25 | 10599597 | 7331398 | 5334 3381 | 1 | 1 1751.07/1751.60 c 1751s | 25 | 10612703 | 7340698 | 5334 3384 | 1 | 1 1753.07/1753.62 c 1753s | 25 | 10623043 | 7348998 | 5334 3387 | 1 | 1 1755.08/1755.62 c 1755s | 25 | 10634470 | 7358298 | 5334 3391 | 1 | 1 1757.07/1757.62 c 1757s | 25 | 10644682 | 7366498 | 5334 3394 | 1 | 1 1759.07/1759.64 c 1759s | 25 | 10655590 | 7375598 | 5334 3397 | 1 | 1 1761.07/1761.64 c 1761s | 25 | 10666922 | 7384898 | 5334 3401 | 1 | 1 1763.07/1763.66 c 1763s | 25 | 10678502 | 7394398 | 5334 3404 | 1 | 1 1765.08/1765.67 c 1765s | 25 | 10693525 | 7403498 | 5334 3408 | 1 | 1 1767.07/1767.69 c 1767s | 25 | 10707435 | 7413198 | 5334 3411 | 1 | 1 1769.17/1769.70 c 1769s | 25 | 10719843 | 7422298 | 5334 3415 | 1 | 1 1771.17/1771.72 c 1771s | 25 | 10731916 | 7431498 | 5334 3418 | 1 | 1 1773.17/1773.72 c 1773s | 25 | 10748471 | 7440898 | 5334 3422 | 1 | 1 1775.17/1775.74 c 1775s | 25 | 10761849 | 7449798 | 5334 3425 | 1 | 1 1777.17/1777.76 c 1777s | 25 | 10773014 | 7458498 | 5334 3428 | 1 | 1 1779.17/1779.77 c 1779s | 25 | 10784066 | 7466998 | 5334 3431 | 1 | 1 1781.17/1781.79 c 1781s | 25 | 10796143 | 7475398 | 5334 3434 | 1 | 1 1783.27/1783.80 c 1783s | 25 | 10807272 | 7483998 | 5334 3437 | 1 | 1 1785.27/1785.84 c 1785s | 25 | 10817514 | 7492198 | 5334 3441 | 1 | 1 1787.27/1787.85 c 1787s | 25 | 10829291 | 7500998 | 5334 3444 | 1 | 1 1789.28/1789.85 c 1789s | 25 | 10842856 | 7510198 | 5334 3447 | 1 | 1 1791.27/1791.87 c 1791s | 25 | 10853716 | 7519198 | 5334 3451 | 1 | 1 1793.27/1793.88 c 1793s | 25 | 10865460 | 7528498 | 5334 3454 | 1 | 1 1795.37/1795.90 c 1795s | 25 | 10876578 | 7537098 | 5334 3457 | 1 | 1 1797.37/1797.98 c 1797s | 25 | 10889152 | 7546498 | 5868 3460 | 1 | 1 1799.47/1800.01 c 1799s | 25 | 10903354 | 7556098 | 5868 3464 | 1 | 1
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106790-1466278149/watcher-4106790-1466278149 -o /tmp/evaluation-result-4106790-1466278149/solver-4106790-1466278149 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28141 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106790-1466278149.opb pid=28575 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.33 2.25 2.20 4/179 28578 /proc/meminfo: memFree=29972660/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=638396 CPUtime=0 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 2366 0 0 0 0 0 0 0 20 0 4 0 29860672 653717504 2728 33554432000 4194304 16246674 140737010852704 140737010852128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 160111 2737 441 2943 0 157005 0 [pid=28578/tid=28579] ppid=28575 vsize=654780 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 670494720 2793 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=658876 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 674689024 2809 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=663996 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860673 679931904 2829 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 2.33 2.25 2.20 4/179 28578 /proc/meminfo: memFree=29972660/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 25851 0 0 0 5 4 0 0 20 0 4 0 29860672 1247350784 26200 33554432000 4194304 16246674 140737010852704 140737010852128 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 304529 26206 792 2943 0 301423 0 [pid=28578/tid=28579] ppid=28575 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1247350784 26212 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1247350784 26219 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860673 1247350784 26230 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200514 s] /proc/loadavg: 2.33 2.25 2.20 4/179 28578 /proc/meminfo: memFree=29972660/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 50834 0 0 0 12 7 0 0 20 0 4 0 29860672 1247350784 51182 33554432000 4194304 16246674 140737010852704 140737010852128 6021007 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 304529 51193 794 2943 0 301423 0 [pid=28578/tid=28579] ppid=28575 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1247350784 51199 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1247350784 51208 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860673 1247350784 51220 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300477 s] /proc/loadavg: 2.33 2.25 2.20 4/179 28578 /proc/meminfo: memFree=29972660/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 75448 0 0 0 18 11 0 0 20 0 4 0 29860672 1247350784 75797 33554432000 4194304 16246674 140737010852704 140737010852128 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 304529 75801 794 2943 0 301423 0 [pid=28578/tid=28579] ppid=28575 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1247350784 75807 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1247350784 75813 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860673 1247350784 75822 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700391 s] /proc/loadavg: 2.33 2.25 2.20 4/179 28578 /proc/meminfo: memFree=29972660/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1218116 CPUtime=0.68 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 171955 0 0 0 45 23 0 0 20 0 4 0 29860672 1247350784 172304 33554432000 4194304 16246674 140737010852704 140737010852128 12477891 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 304529 172319 794 2943 0 301423 0 [pid=28578/tid=28579] ppid=28575 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1247350784 172328 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1247350784 172334 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860673 1247350784 172336 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.33 2.25 2.20 4/183 28582 /proc/meminfo: memFree=28673780/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1220164 CPUtime=1.49 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 245972 0 0 0 116 33 0 0 20 0 4 0 29860672 1249447936 246298 33554432000 4194304 16246674 140737010852704 140737010852016 6021048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 305041 246298 853 2943 0 301935 0 [pid=28578/tid=28579] ppid=28575 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1249447936 246298 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1249447936 246298 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1249447936 246298 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1220164 [startup+3.1004 s] /proc/loadavg: 2.33 2.25 2.20 3/183 28582 /proc/meminfo: memFree=28069140/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 267523 0 0 0 273 36 0 0 20 0 4 0 29860672 1337528320 267849 33554432000 4194304 16246674 140737010852704 140737010834624 5546252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 326545 267849 853 2943 0 323439 0 [pid=28578/tid=28579] ppid=28575 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1337528320 267849 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1337528320 267849 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1337528320 267849 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.3004 s] /proc/loadavg: 2.31 2.25 2.20 3/183 28582 /proc/meminfo: memFree=28015852/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 267787 0 0 0 593 36 0 0 20 0 4 0 29860672 1338576896 268113 33554432000 4194304 16246674 140737010852704 140737010834624 5997088 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 326801 268113 854 2943 0 323695 0 [pid=28578/tid=28579] ppid=28575 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1338576896 268113 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1338576896 268113 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1338576896 268113 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.36 2.26 2.20 3/183 28582 /proc/meminfo: memFree=28014304/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1308228 CPUtime=12.69 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 268145 0 0 0 1233 36 0 0 20 0 4 0 29860672 1339625472 268471 33554432000 4194304 16246674 140737010852704 140737010834624 6021573 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 327057 268471 854 2943 0 323951 0 [pid=28578/tid=28579] ppid=28575 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1339625472 268471 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1339625472 268471 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1339625472 268471 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.36 2.27 2.20 4/183 28582 /proc/meminfo: memFree=28013108/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1310276 CPUtime=25.48 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 268509 0 0 0 2512 36 0 0 20 0 4 0 29860672 1341722624 268835 33554432000 4194304 16246674 140737010852704 140737010851800 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 327569 268835 854 2943 0 324463 0 [pid=28578/tid=28579] ppid=28575 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1341722624 268835 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1341722624 268835 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1341722624 268835 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1310276 [startup+51.1005 s] /proc/loadavg: 2.44 2.29 2.21 3/183 28582 /proc/meminfo: memFree=28002868/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1320516 CPUtime=51.08 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 271228 0 0 0 5071 37 0 0 20 0 4 0 29860672 1352208384 271554 33554432000 4194304 16246674 140737010852704 140737010834624 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 330129 271554 854 2943 0 327023 0 [pid=28578/tid=28579] ppid=28575 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1352208384 271554 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1352208384 271554 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1352208384 271554 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1320516 [startup+102.3 s] /proc/loadavg: 2.41 2.31 2.22 3/184 28586 /proc/meminfo: memFree=28002484/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1320516 CPUtime=102.28 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 271228 0 0 0 10189 39 0 0 20 0 4 0 29860672 1352208384 271554 33554432000 4194304 16246674 140737010852704 140737010834624 6020690 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 330129 271554 854 2943 0 327023 0 [pid=28578/tid=28579] ppid=28575 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1352208384 271554 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1352208384 271554 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1352208384 271554 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1320516 ################ # More data... # ################ /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1355354112 272327 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1323588 [startup+1302.3 s] /proc/loadavg: 2.47 2.39 2.30 4/184 28616 /proc/meminfo: memFree=27944472/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1325636 CPUtime=1301.88 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 272910 0 0 0 130132 56 0 0 20 0 4 0 29860672 1357451264 272839 33554432000 4194304 16246674 140737010852704 140737010835704 5708486 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 331409 272839 856 2943 0 328303 0 [pid=28578/tid=28579] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272839 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272839 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272839 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1325636 [startup+1362.3 s] /proc/loadavg: 2.37 2.37 2.29 3/183 28618 /proc/meminfo: memFree=27936324/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1325636 CPUtime=1361.84 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 272956 0 0 0 136126 58 0 0 20 0 4 0 29860672 1357451264 272840 33554432000 4194304 16246674 140737010852704 140737010851880 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 331409 272840 856 2943 0 328303 0 [pid=28578/tid=28579] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1325636 [startup+1422.3 s] /proc/loadavg: 2.28 2.34 2.29 3/183 28619 /proc/meminfo: memFree=27936228/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1325636 CPUtime=1421.83 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 272967 0 0 0 142125 58 0 0 20 0 4 0 29860672 1357451264 272840 33554432000 4194304 16246674 140737010852704 140737010834624 6021024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 331409 272840 856 2943 0 328303 0 [pid=28578/tid=28579] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1325636 [startup+1482.3 s] /proc/loadavg: 2.26 2.32 2.28 3/182 28620 /proc/meminfo: memFree=27937324/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1325636 CPUtime=1481.82 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 272967 0 0 0 148123 59 0 0 20 0 4 0 29860672 1357451264 272840 33554432000 4194304 16246674 140737010852704 140737010834624 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 331409 272840 856 2943 0 328303 0 [pid=28578/tid=28579] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1325636 [startup+1542.31 s] /proc/loadavg: 2.33 2.32 2.28 3/183 28622 /proc/meminfo: memFree=27936580/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1325636 CPUtime=1541.81 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 272967 0 0 0 154122 59 0 0 20 0 4 0 29860672 1357451264 272840 33554432000 4194304 16246674 140737010852704 140737010834624 6012131 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 331409 272840 856 2943 0 328303 0 [pid=28578/tid=28579] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1325636 [startup+1602.3 s] /proc/loadavg: 2.30 2.32 2.28 4/183 28623 /proc/meminfo: memFree=27936596/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1325636 CPUtime=1601.8 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 272967 0 0 0 160119 61 0 0 20 0 4 0 29860672 1357451264 272840 33554432000 4194304 16246674 140737010852704 140737010834624 5723034 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 331409 272840 856 2943 0 328303 0 [pid=28578/tid=28579] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1325636 [startup+1662.3 s] /proc/loadavg: 2.30 2.32 2.27 4/183 28625 /proc/meminfo: memFree=27910800/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1325636 CPUtime=1661.79 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 272967 0 0 0 166117 62 0 0 20 0 4 0 29860672 1357451264 272840 33554432000 4194304 16246674 140737010852704 140737010834624 12874792 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 331409 272840 856 2943 0 328303 0 [pid=28578/tid=28579] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1325636 [startup+1722.3 s] /proc/loadavg: 2.30 2.32 2.27 3/183 28626 /proc/meminfo: memFree=27910680/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1325636 CPUtime=1721.78 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 272967 0 0 0 172115 63 0 0 20 0 4 0 29860672 1357451264 272840 33554432000 4194304 16246674 140737010852704 140737010834624 5677784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 331409 272840 856 2943 0 328303 0 [pid=28578/tid=28579] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1357451264 272840 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1325636 [startup+1782.3 s] /proc/loadavg: 2.31 2.32 2.27 3/183 28627 /proc/meminfo: memFree=27909444/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1326660 CPUtime=1781.77 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 273223 0 0 0 178113 64 0 0 20 0 4 0 29860672 1358499840 273096 33554432000 4194304 16246674 140737010852704 140737010835704 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 331665 273096 856 2943 0 328559 0 [pid=28578/tid=28579] ppid=28575 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1358499840 273096 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1358499840 273096 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1358499840 273096 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1326660 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.44 2.35 2.28 3/183 28627 /proc/meminfo: memFree=27909452/32872528 swapFree=1402776/1580604 [pid=28578] ppid=28575 vsize=1326660 CPUtime=1800.07 cores=0,2,4,6 /proc/28578/stat : 28578 (toysat) R 28575 28578 28125 0 -1 4202496 273223 0 0 0 179943 64 0 0 20 0 4 0 29860672 1358499840 273096 33554432000 4194304 16246674 140737010852704 140737010851880 13954546 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28578/statm: 331665 273096 856 2943 0 328559 0 [pid=28578/tid=28579] ppid=28575 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28579/stat : 28579 (toysat) S 28575 28578 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29860673 1358499840 273096 33554432000 4194304 16246674 140737010852704 139774786514160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28578/tid=28580] ppid=28575 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28580/stat : 28580 (toysat) S 28575 28578 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860673 1358499840 273096 33554432000 4194304 16246674 140737010852704 139774776024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28578/tid=28581] ppid=28575 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/28578/task/28581/stat : 28581 (toysat) S 28575 28578 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29860673 1358499840 273096 33554432000 4194304 16246674 140737010852704 139774765550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1326660 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 28578 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.08 CPU user time (s): 1799.44 CPU system time (s): 0.644901 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 1326660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.44 system time used= 0.644901 maximum resident set size= 1092384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273223 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= 469 involuntary context switches= 1953 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.64829 second user time and 6.87995 second system time The end
Begin job on node139 at 2016-06-18 21:29:09 IDJOB=4106790 IDBENCH=48261 IDSOLVER=2542 FILE ID=node139/4106790-1466278149 RUNJOBID= node139-1466274546-28141 PBS_JOBID= 19918239 Free space on /tmp= 71580 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106790-1466278149/watcher-4106790-1466278149 -o /tmp/evaluation-result-4106790-1466278149/solver-4106790-1466278149 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28141 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106790-1466278149.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0619afe86d0e2ffb4ad28e9f2f441c24 RANDOM SEED=200139188 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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 : 2666.500 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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: 29973056 kB Buffers: 173912 kB Cached: 203436 kB SwapCached: 1904 kB Active: 330536 kB Inactive: 241356 kB Active(anon): 195224 kB Inactive(anon): 1476 kB Active(file): 135312 kB Inactive(file): 239880 kB Unevictable: 1580604 kB Mlocked: 1402776 kB SwapTotal: 67108856 kB SwapFree: 67099484 kB Dirty: 34008 kB Writeback: 124 kB AnonPages: 1776248 kB Mapped: 10648 kB Shmem: 0 kB Slab: 610964 kB SReclaimable: 54140 kB SUnreclaim: 556824 kB KernelStack: 1472 kB PageTables: 8888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2803620 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 184320 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= 71564 MiB End job on node139 at 2016-06-18 21:59:10