| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.52 |
| Name | /DEC-SMALLINT-LIN/lopes/ normalized-73.opb |
| MD5SUM | 56a27796f1168612394e164ff5d947f7 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 470.016 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7936 |
| Total number of constraints | 176837 |
| Number of constraints which are clauses | 158928 |
| Number of constraints which are cardinality constraints (but not clauses) | 563 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17346 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 195 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 196 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-07T06:59:47+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-4078871-1465275587.opb"] 0.00/0.01 c use --random-gen="3026974693 2585569860 984458465 2749692249 1185618316 78619335 1519849506 3354677340 4184328935 3798743170 3096804650 310767829 213523165 1972649770 2060659124 3246861616 1067753303 2611930610 1596365462 195612061 1147742088 1544809775 4048435866 786610315 3844701666 2205029692 424195598 3382715633 4245322298 992364698 2310057804 4085543748 5453183 267891424 3565566275 865310426 3603891777 4113333663 411421803 2410843210 3713237629 811279250 2797166317 806774395 591977621 1166411662 2354248023 4045372182 2681005506 308201670 212643719 3960136347 1604494055 2231443989 3815936438 4099245652 2274241670 2788024821 2890444054 889992345 1515418771 3009655978 1556580985 379117581 1113877323 1361963828 851519537 49926983 1455509459 3143857458 4147936038 2838820452 848601317 2930127305 2527288890 100013529 4243668421 1762158734 650239792 1015187652 2945232621 3405986143 3887902984 2505178910 810317945 207445328 1805660645 1440557239 45837567 3914937852 2920326832 1368057682 675965712 550108452 3583947464 4017052640 834084009 3905368611 3351679266 546165350 1536641107 2945518848 2036110779 2031963159 2072951404 3038899676 1471219344 4017148953 3000925172 3595312055 3538354017 486689837 2465550637 2091849261 971265430 2106330990 544095090 1449832518 3607717828 3956748918 3659441866 4235604162 462717060 2042701439 1592773871 605672122 3366143940 257246324 3517704611 162407099 3756685072 2303167005 1662531974 214808247 4083656307 426014159 507373447 2831936315 2100285159 1957666619 2243226994 3861074030 1161757137 2860354335 3912532411 2375234792 3962574258 2527057046 2660944266 4030197950 162627974 1495821778 249372769 126091779 3923654140 4088005554 232644225 2397615787 1489108071 1183836749 2888366190 3627343239 1991961214 2237015081 3998557129 3744387588 3043635488 2508472425 1433789692 2390826619 1603506679 322149842 633195743 1417029907 1905220843 3271059236 4259109911 807448170 2078512410 1026500345 3101536386 4257584025 1791408962 1062453349 76390118 1133672491 4135791763 3582554464 1562176980 475340967 1368776850 2750553642 2959350163 3098142900 3323430594 1967473725 1509665508 1451076542 3564610668 3956572768 3116633333 1404656849 4195194858 852152899 2057901281 2339991489 2086953636 3197085836 708006732 3249117455 901998640 294040505 3096225165 3414975337 1388163987 2648524015 1233822732 2458544725 2549020955 3959246399 1278288309 3169631832 1381380317 2408736591 3824751356 806990924 1730808325 3607095721 2719096786 2884355928 1986990043 1920829606 2206534341 2831518315 3037019087 2780014516 1370631089 1560675153 3359278281 485978556 418183657 215165522 3889788567 2321233735 4044155088 2278102336 2411262685 2724603793 1085720315 3040358915 3431981922 2595545677 791068529 3176168275 3998962256 1786671750 255 362436" option to reproduce the execution 1.39/1.47 c #vars 7936 1.39/1.47 c #constraints 176837 4.39/4.47 c Solving starts ... 4.39/4.47 c ============================[ Search Statistics ]============================ 4.39/4.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.39/4.47 c | | | | Limit GC | Var | Constra 4.39/4.47 c ============================================================================= 4.59/4.64 c 0.0s | 0 | 0 | 0 | 61687 0 | 0 | 0 4.59/4.64 c 0.2s | 1 | 135 | 100 | 61687 0 | 0 | 0 5.39/5.50 c 1.0s | 2 | 9205 | 250 | 67856 0 | 0 | 0 5.79/5.80 c 1.3s | 3 | 25423 | 475 | 74642 0 | 0 | 0 6.19/6.23 c 1.8s | 4 | 27066 | 813 | 82107 0 | 0 | 0 7.89/7.91 c 3.4s | 5 | 49623 | 1320 | 90318 0 | 0 | 0 8.59/8.65 c 4.2s | 6 | 51097 | 2081 | 109286 0 | 0 | 0 9.79/9.88 c 5.4s | 7 | 80617 | 3223 | 120215 0 | 0 | 0 11.89/11.98 c 7.5s | 7 | 108779 | 4823 | 120215 0 | 0 | 0 12.09/12.12 c 7.6s | 8 | 108935 | 4936 | 132237 0 | 0 | 0 14.09/14.19 c 9.7s | 8 | 143987 | 6436 | 132237 0 | 0 | 0 14.99/15.03 c 10.6s | 9 | 152112 | 7506 | 145461 0 | 0 | 0 17.39/17.41 c 12.9s | 9 | 191608 | 8906 | 145461 0 | 0 | 0 18.99/19.08 c 14.6s | 10 | 214268 | 11361 | 160008 0 | 0 | 0 21.08/21.13 c 16.7s | 10 | 219418 | 13161 | 160008 0 | 0 | 0 23.09/23.18 c 18.7s | 10 | 255968 | 14861 | 160008 0 | 0 | 0 25.29/25.31 c 20.8s | 10 | 272492 | 15961 | 160008 0 | 0 | 0 27.28/27.34 c 22.9s | 10 | 282183 | 17061 | 176009 0 | 0 | 0 27.38/27.41 c 22.9s | 11 | 284829 | 17144 | 176009 0 | 0 | 0 29.48/29.56 c 25.1s | 11 | 286500 | 18444 | 176009 0 | 0 | 0 31.58/31.63 c 27.2s | 11 | 287999 | 19744 | 176009 0 | 0 | 0 33.58/33.65 c 29.2s | 11 | 289476 | 21044 | 176009 0 | 0 | 0 35.68/35.74 c 31.3s | 11 | 290936 | 22344 | 176009 0 | 0 | 0 37.78/37.88 c 33.4s | 11 | 292216 | 23444 | 176009 0 | 0 | 0 39.98/40.02 c 35.5s | 11 | 293469 | 24544 | 176009 0 | 0 | 0 41.98/42.06 c 37.6s | 11 | 304704 | 25444 | 176009 0 | 0 | 0 42.99/43.02 c 38.6s | 12 | 305131 | 25819 | 193610 0 | 0 | 0 44.98/45.03 c 40.6s | 12 | 331633 | 27219 | 193610 0 | 0 | 0 46.98/47.03 c 42.6s | 12 | 356578 | 28619 | 193610 0 | 0 | 0 48.98/49.08 c 44.6s | 12 | 382693 | 29919 | 193610 0 | 0 | 0 51.18/51.24 c 46.8s | 12 | 409058 | 31519 | 193610 0 | 0 | 0 53.18/53.28 c 48.8s | 12 | 423834 | 32719 | 193610 0 | 0 | 0 55.28/55.34 c 50.9s | 12 | 436232 | 34019 | 193610 0 | 0 | 0 57.38/57.47 c 53.0s | 12 | 457778 | 35419 | 193610 0 | 0 | 0 59.58/59.60 c 55.1s | 12 | 462348 | 36619 | 193610 0 | 0 | 0 61.68/61.71 c 57.2s | 12 | 467461 | 37819 | 193610 0 | 0 | 0 63.48/63.57 c 59.1s | 13 | 470866 | 38832 | 212972 0 | 0 | 0 65.48/65.59 c 61.1s | 13 | 481847 | 39532 | 212972 0 | 0 | 0 67.58/67.69 c 63.2s | 13 | 482818 | 40432 | 212972 0 | 0 | 0 69.68/69.77 c 65.3s | 13 | 486589 | 41532 | 212972 0 | 0 | 0 71.88/71.98 c 67.5s | 13 | 489068 | 42332 | 212972 0 | 0 | 0 74.37/74.43 c 70.0s | 13 | 490084 | 43132 | 212972 0 | 0 | 0 76.47/76.57 c 72.1s | 13 | 491098 | 43932 | 212972 0 | 0 | 0 78.47/78.59 c 74.1s | 13 | 491890 | 44632 | 212972 0 | 0 | 0 80.57/80.61 c 76.1s | 13 | 492718 | 45332 | 212972 0 | 0 | 0 82.58/82.68 c 78.2s | 13 | 493506 | 46032 | 212972 0 | 0 | 0 84.78/84.88 c 80.4s | 13 | 494288 | 46732 | 212972 0 | 0 | 0 86.88/86.93 c 82.5s | 13 | 494944 | 47332 | 212972 0 | 0 | 0 89.18/89.26 c 84.8s | 13 | 495756 | 48032 | 212972 0 | 0 | 0 91.28/91.34 c 86.9s | 13 | 496484 | 48632 | 212972 0 | 0 | 0 93.48/93.56 c 89.1s | 13 | 497304 | 49332 | 212972 0 | 0 | 0 95.78/95.84 c 91.4s | 13 | 498164 | 50032 | 212972 0 | 0 | 0 98.17/98.20 c 93.7s | 13 | 499060 | 50632 | 212972 0 | 0 | 0 100.47/100.50 c 96.0s | 13 | 499955 | 51432 | 212972 0 | 0 | 0 102.47/102.59 c 98.1s | 13 | 500756 | 52132 | 212972 0 | 0 | 0 104.67/104.77 c 100s | 13 | 501659 | 52932 | 212972 0 | 0 | 0 106.97/107.08 c 102s | 13 | 502443 | 53632 | 212972 0 | 0 | 0 109.27/109.39 c 104s | 13 | 503213 | 54332 | 212972 0 | 0 | 0 111.37/111.43 c 106s | 13 | 503813 | 54832 | 212972 0 | 0 | 0 113.47/113.59 c 109s | 13 | 504547 | 55332 | 212972 0 | 0 | 0 115.67/115.70 c 111s | 13 | 505346 | 55832 | 212972 0 | 0 | 0 117.68/117.76 c 113s | 13 | 505817 | 56232 | 212972 0 | 0 | 0 119.97/120.01 c 115s | 13 | 506478 | 56732 | 212972 0 | 0 | 0 122.37/122.44 c 117s | 13 | 507192 | 57332 | 212972 0 | 0 | 0 124.37/124.47 c 119s | 13 | 507686 | 57732 | 212972 0 | 0 | 0 126.47/126.52 c 122s | 13 | 508290 | 58232 | 234270 0 | 0 | 0 126.87/126.99 c 122s | 14 | 508430 | 58352 | 234270 0 | 0 | 0 129.17/129.27 c 124s | 14 | 516792 | 59052 | 234270 0 | 0 | 0 131.27/131.33 c 126s | 14 | 523989 | 59752 | 234270 0 | 0 | 0 133.57/133.69 c 129s | 14 | 525511 | 60452 | 234270 0 | 0 | 0 135.77/135.85 c 131s | 14 | 526217 | 60952 | 234270 0 | 0 | 0 137.87/137.92 c 133s | 14 | 526817 | 61452 | 234270 0 | 0 | 0 139.86/139.95 c 135s | 14 | 527456 | 61952 | 234270 0 | 0 | 0 141.97/142.03 c 137s | 14 | 528159 | 62552 | 234270 0 | 0 | 0 144.36/144.41 c 139s | 14 | 528914 | 63152 | 234270 0 | 0 | 0 146.56/146.68 c 142s | 14 | 529548 | 63652 | 234270 0 | 0 | 0 148.66/148.70 c 144s | 14 | 530137 | 64152 | 234270 0 | 0 | 0 150.96/151.06 c 146s | 14 | 530938 | 64852 | 234270 0 | 0 | 0 153.26/153.33 c 148s | 14 | 531589 | 65352 | 234270 0 | 0 | 0 155.36/155.47 c 150s | 14 | 532180 | 65852 | 234270 0 | 0 | 0 157.46/157.52 c 153s | 14 | 532749 | 66352 | 234270 0 | 0 | 0 159.66/159.78 c 155s | 14 | 533355 | 66852 | 234270 0 | 0 | 0 162.06/162.18 c 157s | 14 | 534129 | 67452 | 234270 0 | 0 | 0 164.56/164.63 c 160s | 14 | 534698 | 67952 | 234270 0 | 0 | 0 166.66/166.73 c 162s | 14 | 536429 | 68452 | 234270 0 | 0 | 0 168.76/168.81 c 164s | 14 | 537224 | 68952 | 234270 0 | 0 | 0 170.86/170.99 c 166s | 14 | 537917 | 69452 | 234270 0 | 0 | 0 173.06/173.15 c 168s | 14 | 539362 | 69952 | 234270 0 | 0 | 0 175.06/175.15 c 170s | 14 | 539893 | 70352 | 234270 0 | 0 | 0 177.56/177.64 c 173s | 14 | 540618 | 70852 | 234270 0 | 0 | 0 179.57/179.65 c 175s | 14 | 541113 | 71252 | 234270 0 | 0 | 0 182.17/182.21 c 177s | 14 | 541691 | 71752 | 234270 0 | 0 | 0 184.17/184.29 c 179s | 14 | 542157 | 72152 | 234270 0 | 0 | 0 186.37/186.42 c 181s | 14 | 542650 | 72552 | 234270 0 | 0 | 0 188.47/188.53 c 184s | 14 | 543103 | 72952 | 234270 0 | 0 | 0 190.77/190.80 c 186s | 14 | 543544 | 73352 | 234270 0 | 0 | 0 192.76/192.82 c 188s | 14 | 544005 | 73752 | 234270 0 | 0 | 0 194.77/194.85 c 190s | 14 | 544468 | 74152 | 234270 0 | 0 | 0 196.87/196.93 c 192s | 14 | 544921 | 74552 | 234270 0 | 0 | 0 198.96/199.08 c 194s | 14 | 545364 | 74952 | 234270 0 | 0 | 0 201.06/201.18 c 196s | 14 | 545807 | 75352 | 234270 0 | 0 | 0 203.16/203.28 c 198s | 14 | 546921 | 75752 | 234270 0 | 0 | 0 205.56/205.67 c 201s | 14 | 547553 | 76152 | 234270 0 | 0 | 0 207.87/207.98 c 203s | 14 | 548233 | 76552 | 234270 0 | 0 | 0 210.17/210.26 c 205s | 14 | 549618 | 76952 | 234270 0 | 0 | 0 212.66/212.74 c 208s | 14 | 550078 | 77352 | 234270 0 | 0 | 0 214.86/214.92 c 210s | 14 | 550543 | 77752 | 234270 0 | 0 | 0 217.26/217.32 c 212s | 14 | 550971 | 78152 | 234270 0 | 0 | 0 219.76/219.85 c 215s | 14 | 551415 | 78552 | 234270 0 | 0 | 0 222.46/222.50 c 218s | 14 | 551857 | 78952 | 234270 0 | 0 | 0 224.86/224.94 c 220s | 14 | 552323 | 79352 | 234270 0 | 0 | 0 227.26/227.34 c 222s | 14 | 552779 | 79752 | 234270 0 | 0 | 0 229.26/229.35 c 224s | 14 | 553084 | 80052 | 234270 0 | 0 | 0 231.86/231.97 c 227s | 14 | 553511 | 80452 | 234270 0 | 0 | 0 234.46/234.57 c 230s | 14 | 553931 | 80852 | 234270 0 | 0 | 0 236.76/236.88 c 232s | 14 | 554388 | 81252 | 234270 0 | 0 | 0 239.26/239.39 c 234s | 14 | 554831 | 81652 | 234270 0 | 0 | 0 241.56/241.68 c 237s | 14 | 555258 | 82052 | 234270 0 | 0 | 0 243.85/243.92 c 239s | 14 | 555779 | 82452 | 234270 0 | 0 | 0 246.55/246.60 c 242s | 14 | 556198 | 82852 | 234270 0 | 0 | 0 249.15/249.23 c 244s | 14 | 556647 | 83252 | 234270 0 | 0 | 0 251.25/251.33 c 246s | 14 | 557252 | 83652 | 234270 0 | 0 | 0 253.55/253.64 c 249s | 14 | 557690 | 84052 | 234270 0 | 0 | 0 255.55/255.67 c 251s | 14 | 560241 | 84452 | 234270 0 | 0 | 0 257.85/257.98 c 253s | 14 | 562333 | 84852 | 234270 0 | 0 | 0 260.05/260.16 c 255s | 14 | 564279 | 85352 | 234270 0 | 0 | 0 262.35/262.41 c 257s | 14 | 565045 | 85752 | 234270 0 | 0 | 0 264.45/264.56 c 260s | 14 | 565574 | 86152 | 234270 0 | 0 | 0 266.65/266.77 c 262s | 14 | 566054 | 86552 | 234270 0 | 0 | 0 269.25/269.30 c 264s | 14 | 566743 | 87052 | 257698 0 | 0 | 0 271.35/271.44 c 266s | 14 | 567203 | 87452 | 257698 0 | 0 | 0 272.55/272.68 c 268s | 15 | 567412 | 87632 | 257698 0 | 0 | 0 274.85/274.93 c 270s | 15 | 569466 | 87932 | 257698 0 | 0 | 0 276.95/277.05 c 272s | 15 | 570234 | 88332 | 257698 0 | 0 | 0 279.15/279.20 c 274s | 15 | 570703 | 88732 | 257698 0 | 0 | 0 281.25/281.32 c 276s | 15 | 571488 | 89032 | 257698 0 | 0 | 0 283.85/283.91 c 279s | 15 | 572108 | 89432 | 257698 0 | 0 | 0 285.85/285.99 c 281s | 15 | 572486 | 89732 | 257698 0 | 0 | 0 287.95/288.05 c 283s | 15 | 572855 | 90032 | 257698 0 | 0 | 0 290.55/290.63 c 286s | 15 | 573364 | 90432 | 257698 0 | 0 | 0 293.05/293.15 c 288s | 15 | 575655 | 90832 | 257698 0 | 0 | 0 295.25/295.39 c 290s | 15 | 576006 | 91132 | 257698 0 | 0 | 0 297.85/297.90 c 293s | 15 | 576456 | 91532 | 257698 0 | 0 | 0 300.35/300.49 c 296s | 15 | 576915 | 91932 | 257698 0 | 0 | 0 303.14/303.20 c 298s | 15 | 577342 | 92332 | 257698 0 | 0 | 0 305.14/305.25 c 300s | 15 | 577688 | 92632 | 257698 0 | 0 | 0 307.44/307.51 c 303s | 15 | 578138 | 93032 | 257698 0 | 0 | 0 309.74/309.85 c 305s | 15 | 578595 | 93432 | 257698 0 | 0 | 0 311.84/311.92 c 307s | 15 | 579043 | 93832 | 257698 0 | 0 | 0 314.04/314.15 c 309s | 15 | 579496 | 94232 | 257698 0 | 0 | 0 316.24/316.35 c 311s | 15 | 579949 | 94632 | 257698 0 | 0 | 0 318.84/318.91 c 314s | 15 | 580509 | 95132 | 257698 0 | 0 | 0 321.04/321.19 c 316s | 15 | 580994 | 95532 | 257698 0 | 0 | 0 323.54/323.68 c 319s | 15 | 581467 | 95932 | 257698 0 | 0 | 0 325.94/326.06 c 321s | 15 | 581914 | 96332 | 257698 0 | 0 | 0 328.14/328.24 c 323s | 15 | 582352 | 96732 | 257698 0 | 0 | 0 330.44/330.58 c 326s | 15 | 582800 | 97132 | 257698 0 | 0 | 0 332.94/333.06 c 328s | 15 | 583229 | 97532 | 257698 0 | 0 | 0 335.34/335.50 c 331s | 15 | 583778 | 98032 | 257698 0 | 0 | 0 337.75/337.85 c 333s | 15 | 584365 | 98532 | 257698 0 | 0 | 0 340.04/340.19 c 335s | 15 | 584946 | 99032 | 257698 0 | 0 | 0 342.15/342.23 c 337s | 15 | 585484 | 99532 | 257698 0 | 0 | 0 344.44/344.57 c 340s | 15 | 586154 | 100132 | 257698 0 | 0 | 0 346.54/346.66 c 342s | 15 | 586592 | 100532 | 257698 0 | 0 | 0 348.94/349.09 c 344s | 15 | 587142 | 101032 | 257698 0 | 0 | 0 351.14/351.20 c 346s | 15 | 587701 | 101532 | 257698 0 | 0 | 0 353.14/353.23 c 348s | 15 | 588162 | 101932 | 257698 0 | 0 | 0 355.34/355.47 c 350s | 15 | 588723 | 102432 | 257698 0 | 0 | 0 357.83/357.90 c 353s | 15 | 589302 | 102932 | 257698 0 | 0 | 0 360.23/360.30 c 355s | 15 | 589772 | 103332 | 257698 0 | 0 | 0 362.63/362.76 c 358s | 15 | 590217 | 103732 | 257698 0 | 0 | 0 365.03/365.18 c 360s | 15 | 590676 | 104132 | 257698 0 | 0 | 0 367.23/367.31 c 362s | 15 | 591108 | 104532 | 257698 0 | 0 | 0 369.73/369.81 c 365s | 15 | 591577 | 104932 | 257698 0 | 0 | 0 371.93/372.01 c 367s | 15 | 592031 | 105332 | 257698 0 | 0 | 0 374.04/374.18 c 369s | 15 | 592489 | 105732 | 257698 0 | 0 | 0 376.43/376.54 c 372s | 15 | 593047 | 106232 | 257698 0 | 0 | 0 378.63/378.79 c 374s | 15 | 593500 | 106632 | 257698 0 | 0 | 0 380.73/380.85 c 376s | 15 | 594056 | 107132 | 257698 0 | 0 | 0 382.84/382.91 c 378s | 15 | 594608 | 107632 | 257698 0 | 0 | 0 384.94/385.04 c 380s | 15 | 595163 | 108132 | 257698 0 | 0 | 0 387.33/387.43 c 382s | 15 | 595729 | 108632 | 257698 0 | 0 | 0 389.63/389.78 c 385s | 15 | 596180 | 109032 | 257698 0 | 0 | 0 391.83/391.91 c 387s | 15 | 596732 | 109532 | 257698 0 | 0 | 0 394.23/394.31 c 389s | 15 | 597386 | 110132 | 257698 0 | 0 | 0 396.53/396.67 c 392s | 15 | 597815 | 110532 | 257698 0 | 0 | 0 399.03/399.19 c 394s | 15 | 598245 | 110932 | 257698 0 | 0 | 0 401.43/401.54 c 397s | 15 | 598812 | 111432 | 257698 0 | 0 | 0 403.63/403.76 c 399s | 15 | 599262 | 111832 | 257698 0 | 0 | 0 405.73/405.85 c 401s | 15 | 599712 | 112232 | 257698 0 | 0 | 0 408.32/408.44 c 403s | 15 | 600281 | 112732 | 257698 0 | 0 | 0 410.92/411.06 c 406s | 15 | 600710 | 113132 | 257698 0 | 0 | 0 413.02/413.13 c 408s | 15 | 601039 | 113432 | 257698 0 | 0 | 0 415.32/415.43 c 410s | 15 | 601478 | 113832 | 257698 0 | 0 | 0 417.62/417.76 c 413s | 15 | 601923 | 114232 | 257698 0 | 0 | 0 419.92/420.05 c 415s | 15 | 602377 | 114632 | 257698 0 | 0 | 0 422.43/422.58 c 418s | 15 | 602929 | 115132 | 257698 0 | 0 | 0 425.12/425.20 c 420s | 15 | 603397 | 115532 | 257698 0 | 0 | 0 427.72/427.80 c 423s | 15 | 603740 | 115832 | 257698 0 | 0 | 0 430.03/430.11 c 425s | 15 | 604190 | 116232 | 257698 0 | 0 | 0 432.12/432.26 c 427s | 15 | 604634 | 116632 | 257698 0 | 0 | 0 434.22/434.31 c 429s | 15 | 605091 | 117032 | 257698 0 | 0 | 0 436.52/436.62 c 432s | 15 | 605539 | 117432 | 257698 0 | 0 | 0 438.93/439.07 c 434s | 15 | 605976 | 117832 | 257698 0 | 0 | 0 441.22/441.30 c 436s | 15 | 606407 | 118232 | 257698 0 | 0 | 0 443.62/443.77 c 439s | 15 | 606750 | 118532 | 257698 0 | 0 | 0 446.02/446.11 c 441s | 15 | 606965 | 118732 | 257698 0 | 0 | 0 448.22/448.35 c 443s | 15 | 607190 | 118932 | 257698 0 | 0 | 0 450.93/451.04 c 446s | 15 | 607507 | 119232 | 257698 0 | 0 | 0 453.42/453.55 c 449s | 15 | 607838 | 119532 | 257698 0 | 0 | 0 455.82/455.90 c 451s | 15 | 608198 | 119832 | 257698 0 | 0 | 0 458.32/458.45 c 453s | 15 | 608535 | 120132 | 257698 0 | 0 | 0 461.12/461.21 c 456s | 15 | 608860 | 120432 | 257698 0 | 0 | 0 463.62/463.76 c 459s | 15 | 609304 | 120832 | 257698 0 | 0 | 0 465.72/465.86 c 461s | 15 | 609636 | 121132 | 257698 0 | 0 | 0 468.32/468.42 c 463s | 15 | 609968 | 121432 | 257698 0 | 0 | 0 470.82/470.99 c 466s | 15 | 610284 | 121732 | 257698 0 | 0 | 0 473.42/473.52 c 469s | 15 | 610609 | 122032 | 257698 0 | 0 | 0 475.51/475.64 c 471s | 15 | 610929 | 122332 | 257698 0 | 0 | 0 477.61/477.74 c 473s | 15 | 611251 | 122632 | 257698 0 | 0 | 0 479.91/480.10 c 475s | 15 | 611573 | 122932 | 257698 0 | 0 | 0 482.92/483.02 c 478s | 15 | 611916 | 123232 | 257698 0 | 0 | 0 485.91/486.08 c 481s | 15 | 612264 | 123532 | 257698 0 | 0 | 0 488.11/488.22 c 483s | 15 | 612508 | 123732 | 257698 0 | 0 | 0 490.11/490.23 c 485s | 15 | 612729 | 123932 | 257698 0 | 0 | 0 493.21/493.37 c 488s | 15 | 613061 | 124232 | 257698 0 | 0 | 0 495.21/495.38 c 490s | 15 | 613287 | 124432 | 257698 0 | 0 | 0 497.91/498.06 c 493s | 15 | 613615 | 124732 | 257698 0 | 0 | 0 500.01/500.11 c 495s | 15 | 613833 | 124932 | 257698 0 | 0 | 0 502.51/502.67 c 498s | 15 | 614180 | 125232 | 257698 0 | 0 | 0 505.11/505.25 c 500s | 15 | 614497 | 125532 | 257698 0 | 0 | 0 507.71/507.81 c 503s | 15 | 614864 | 125832 | 257698 0 | 0 | 0 509.81/509.91 c 505s | 15 | 615203 | 126132 | 257698 0 | 0 | 0 512.01/512.15 c 507s | 15 | 615689 | 126532 | 257698 0 | 0 | 0 514.31/514.45 c 509s | 15 | 616048 | 126832 | 257698 0 | 0 | 0 516.91/517.08 c 512s | 15 | 616408 | 127132 | 257698 0 | 0 | 0 519.31/519.48 c 515s | 15 | 616744 | 127432 | 257698 0 | 0 | 0 521.91/522.04 c 517s | 15 | 617086 | 127732 | 257698 0 | 0 | 0 524.11/524.24 c 519s | 15 | 617416 | 128032 | 257698 0 | 0 | 0 526.41/526.52 c 522s | 15 | 617754 | 128332 | 257698 0 | 0 | 0 528.41/528.54 c 524s | 15 | 617982 | 128532 | 257698 0 | 0 | 0 531.11/531.30 c 526s | 15 | 618312 | 128832 | 257698 0 | 0 | 0 533.60/533.74 c 529s | 15 | 618641 | 129132 | 257698 0 | 0 | 0 535.80/535.92 c 531s | 15 | 618973 | 129432 | 257698 0 | 0 | 0 538.10/538.23 c 533s | 15 | 619289 | 129732 | 257698 0 | 0 | 0 540.60/540.76 c 536s | 15 | 619643 | 130032 | 257698 0 | 0 | 0 543.10/543.23 c 538s | 15 | 619968 | 130332 | 257698 0 | 0 | 0 545.51/545.64 c 541s | 15 | 620283 | 130632 | 257698 0 | 0 | 0 548.10/548.21 c 543s | 15 | 620618 | 130932 | 283468 0 | 0 | 0 550.60/550.77 c 546s | 15 | 620946 | 131232 | 283468 0 | 0 | 0 552.90/553.09 c 548s | 15 | 621286 | 131532 | 283468 0 | 0 | 0 553.10/553.29 c 548s | 16 | 621312 | 131552 | 283468 0 | 0 | 0 555.70/555.82 c 551s | 16 | 630909 | 131952 | 283468 0 | 0 | 0 557.80/557.94 c 553s | 16 | 635891 | 132252 | 283468 0 | 0 | 0 559.81/559.97 c 555s | 16 | 638203 | 132652 | 283468 0 | 0 | 0 562.20/562.37 c 557s | 16 | 639583 | 133052 | 283468 0 | 0 | 0 564.60/564.77 c 560s | 16 | 643790 | 133452 | 283468 0 | 0 | 0 566.70/566.80 c 562s | 16 | 646882 | 133852 | 283468 0 | 0 | 0 569.10/569.25 c 564s | 16 | 649606 | 134252 | 283468 0 | 0 | 0 571.10/571.29 c 566s | 16 | 650791 | 134552 | 283468 0 | 0 | 0 573.40/573.53 c 569s | 16 | 653112 | 134952 | 283468 0 | 0 | 0 575.60/575.78 c 571s | 16 | 658416 | 135552 | 283468 0 | 0 | 0 577.70/577.87 c 573s | 16 | 661566 | 135952 | 283468 0 | 0 | 0 579.80/579.98 c 575s | 16 | 663873 | 136352 | 283468 0 | 0 | 0 582.00/582.10 c 577s | 16 | 667979 | 136852 | 283468 0 | 0 | 0 584.00/584.16 c 579s | 16 | 676858 | 137752 | 283468 0 | 0 | 0 586.00/586.18 c 581s | 16 | 682158 | 138552 | 283468 0 | 0 | 0 588.20/588.38 c 583s | 16 | 694506 | 139652 | 283468 0 | 0 | 0 590.40/590.52 c 586s | 16 | 700046 | 140452 | 283468 0 | 0 | 0 592.49/592.65 c 588s | 16 | 706906 | 140952 | 283468 0 | 0 | 0 594.79/594.92 c 590s | 16 | 711027 | 141452 | 283468 0 | 0 | 0 596.79/596.99 c 592s | 16 | 714912 | 141952 | 283468 0 | 0 | 0 599.09/599.23 c 594s | 16 | 718859 | 142452 | 283468 0 | 0 | 0 601.29/601.47 c 596s | 16 | 722837 | 143052 | 283468 0 | 0 | 0 603.39/603.57 c 599s | 16 | 728383 | 143652 | 283468 0 | 0 | 0 605.49/605.66 c 601s | 16 | 734417 | 144152 | 283468 0 | 0 | 0 608.09/608.24 c 603s | 16 | 738534 | 144652 | 283468 0 | 0 | 0 610.69/610.89 c 606s | 16 | 742779 | 145152 | 283468 0 | 0 | 0 612.89/613.04 c 608s | 16 | 749849 | 145652 | 283468 0 | 0 | 0 615.59/615.74 c 611s | 16 | 759059 | 146852 | 283468 0 | 0 | 0 618.20/618.34 c 613s | 16 | 760500 | 147252 | 283468 0 | 0 | 0 620.40/620.59 c 616s | 16 | 765169 | 147652 | 283468 0 | 0 | 0 622.79/622.92 c 618s | 16 | 768048 | 148152 | 283468 0 | 0 | 0 624.80/624.99 c 620s | 16 | 769369 | 148552 | 283468 0 | 0 | 0 627.00/627.10 c 622s | 16 | 773698 | 149052 | 283468 0 | 0 | 0 629.10/629.23 c 624s | 16 | 776965 | 149452 | 283468 0 | 0 | 0 631.40/631.52 c 627s | 16 | 782469 | 149952 | 283468 0 | 0 | 0 633.69/633.80 c 629s | 16 | 784741 | 150452 | 283468 0 | 0 | 0 635.70/635.82 c 631s | 16 | 786979 | 150852 | 283468 0 | 0 | 0 638.00/638.17 c 633s | 16 | 789119 | 151352 | 283468 0 | 0 | 0 640.39/640.56 c 636s | 16 | 790984 | 151852 | 283468 0 | 0 | 0 642.89/643.05 c 638s | 16 | 793227 | 152352 | 283468 0 | 0 | 0 645.19/645.37 c 640s | 16 | 795467 | 152852 | 283468 0 | 0 | 0 647.89/648.01 c 643s | 16 | 795971 | 153052 | 283468 0 | 0 | 0 649.99/650.13 c 645s | 16 | 796905 | 153252 | 283468 0 | 0 | 0 652.69/652.84 c 648s | 16 | 797327 | 153552 | 283468 0 | 0 | 0 654.79/654.92 c 650s | 16 | 797663 | 153752 | 283468 0 | 0 | 0 657.70/657.88 c 653s | 16 | 798144 | 154052 | 283468 0 | 0 | 0 660.69/660.80 c 656s | 16 | 798497 | 154352 | 283468 0 | 0 | 0 662.99/663.13 c 658s | 16 | 798744 | 154552 | 283468 0 | 0 | 0 665.09/665.24 c 660s | 16 | 798976 | 154752 | 283468 0 | 0 | 0 667.70/667.81 c 663s | 16 | 799429 | 155052 | 283468 0 | 0 | 0 670.69/670.84 c 666s | 16 | 799765 | 155352 | 283468 0 | 0 | 0 673.49/673.62 c 669s | 16 | 800169 | 155652 | 283468 0 | 0 | 0 676.40/676.52 c 672s | 16 | 800627 | 155952 | 283468 0 | 0 | 0 679.29/679.40 c 674s | 16 | 801012 | 156252 | 283468 0 | 0 | 0 681.90/682.01 c 677s | 16 | 801421 | 156552 | 283468 0 | 0 | 0 684.59/684.72 c 680s | 16 | 803539 | 156852 | 283468 0 | 0 | 0 687.09/687.25 c 682s | 16 | 805604 | 157152 | 283468 0 | 0 | 0 689.89/690.00 c 685s | 16 | 806007 | 157452 | 283468 0 | 0 | 0 692.90/693.05 c 688s | 16 | 806501 | 157752 | 283468 0 | 0 | 0 695.10/695.22 c 690s | 16 | 806869 | 157952 | 283468 0 | 0 | 0 697.19/697.39 c 692s | 16 | 807101 | 158152 | 283468 0 | 0 | 0 699.69/699.89 c 695s | 16 | 807315 | 158352 | 283468 0 | 0 | 0 701.89/702.07 c 697s | 16 | 807535 | 158552 | 283468 0 | 0 | 0 704.19/704.33 c 699s | 16 | 807769 | 158752 | 283468 0 | 0 | 0 706.19/706.36 c 701s | 16 | 808043 | 158952 | 283468 0 | 0 | 0 708.29/708.43 c 703s | 16 | 808291 | 159152 | 283468 0 | 0 | 0 711.39/711.51 c 707s | 16 | 808641 | 159452 | 283468 0 | 0 | 0 713.49/713.67 c 709s | 16 | 808871 | 159652 | 283468 0 | 0 | 0 715.69/715.88 c 711s | 16 | 809083 | 159852 | 283468 0 | 0 | 0 718.68/718.81 c 714s | 16 | 809445 | 160152 | 283468 0 | 0 | 0 720.98/721.16 c 716s | 16 | 809687 | 160352 | 283468 0 | 0 | 0 722.98/723.18 c 718s | 16 | 809935 | 160552 | 283468 0 | 0 | 0 725.08/725.23 c 720s | 16 | 810187 | 160752 | 283468 0 | 0 | 0 728.09/728.20 c 723s | 16 | 810546 | 161052 | 283468 0 | 0 | 0 730.29/730.41 c 725s | 16 | 810772 | 161252 | 283468 0 | 0 | 0 732.38/732.59 c 728s | 16 | 810987 | 161452 | 283468 0 | 0 | 0 734.58/734.74 c 730s | 16 | 811216 | 161652 | 283468 0 | 0 | 0 736.78/736.90 c 732s | 16 | 811431 | 161852 | 283468 0 | 0 | 0 739.48/739.62 c 735s | 16 | 811772 | 162152 | 283468 0 | 0 | 0 742.39/742.58 c 738s | 16 | 812135 | 162452 | 283468 0 | 0 | 0 744.98/745.11 c 740s | 16 | 812361 | 162652 | 283468 0 | 0 | 0 747.58/747.72 c 743s | 16 | 812579 | 162852 | 283468 0 | 0 | 0 749.68/749.81 c 745s | 16 | 812790 | 163052 | 283468 0 | 0 | 0 751.78/751.92 c 747s | 16 | 813024 | 163252 | 283468 0 | 0 | 0 753.98/754.16 c 749s | 16 | 813233 | 163452 | 283468 0 | 0 | 0 756.58/756.76 c 752s | 16 | 813788 | 163752 | 283468 0 | 0 | 0 759.58/759.71 c 755s | 16 | 814165 | 164052 | 283468 0 | 0 | 0 761.58/761.72 c 757s | 16 | 814409 | 164252 | 283468 0 | 0 | 0 764.38/764.59 c 760s | 16 | 814821 | 164552 | 283468 0 | 0 | 0 767.38/767.58 c 763s | 16 | 815178 | 164852 | 283468 0 | 0 | 0 770.28/770.45 c 765s | 16 | 815511 | 165152 | 283468 0 | 0 | 0 773.28/773.43 c 768s | 16 | 815860 | 165452 | 283468 0 | 0 | 0 775.57/775.79 c 771s | 16 | 816104 | 165652 | 283468 0 | 0 | 0 777.97/778.14 c 773s | 16 | 816304 | 165852 | 283468 0 | 0 | 0 780.07/780.29 c 775s | 16 | 816517 | 166052 | 283468 0 | 0 | 0 782.47/782.60 c 778s | 16 | 818095 | 166352 | 283468 0 | 0 | 0 784.77/784.97 c 780s | 16 | 818871 | 166652 | 283468 0 | 0 | 0 787.07/787.22 c 782s | 16 | 821152 | 166952 | 283468 0 | 0 | 0 789.47/789.66 c 785s | 16 | 821431 | 167152 | 283468 0 | 0 | 0 792.27/792.40 c 787s | 16 | 821704 | 167352 | 283468 0 | 0 | 0 794.37/794.56 c 790s | 16 | 826041 | 167652 | 283468 0 | 0 | 0 796.67/796.81 c 792s | 16 | 826644 | 167952 | 283468 0 | 0 | 0 798.67/798.83 c 794s | 16 | 826980 | 168152 | 283468 0 | 0 | 0 800.68/800.87 c 796s | 16 | 857444 | 169852 | 283468 0 | 0 | 0 802.77/803.00 c 798s | 16 | 858571 | 170152 | 283468 0 | 0 | 0 805.47/805.61 c 801s | 16 | 862127 | 170652 | 283468 0 | 0 | 0 807.47/807.64 c 803s | 16 | 864504 | 171052 | 283468 0 | 0 | 0 809.67/809.89 c 805s | 16 | 867717 | 171552 | 283468 0 | 0 | 0 811.97/812.13 c 807s | 16 | 874077 | 172052 | 283468 0 | 0 | 0 814.27/814.44 c 809s | 16 | 876525 | 172452 | 283468 0 | 0 | 0 816.67/816.89 c 812s | 16 | 876897 | 172752 | 283468 0 | 0 | 0 818.87/819.05 c 814s | 16 | 877248 | 173052 | 283468 0 | 0 | 0 821.27/821.45 c 816s | 16 | 877676 | 173352 | 283468 0 | 0 | 0 823.77/823.92 c 819s | 16 | 878913 | 173752 | 283468 0 | 0 | 0 825.87/826.05 c 821s | 16 | 880533 | 174152 | 283468 0 | 0 | 0 828.37/828.50 c 824s | 16 | 883449 | 174752 | 283468 0 | 0 | 0 830.37/830.53 c 826s | 16 | 885756 | 175352 | 283468 0 | 0 | 0 832.57/832.71 c 828s | 16 | 886240 | 175652 | 283468 0 | 0 | 0 835.27/835.44 c 830s | 16 | 886598 | 175952 | 283468 0 | 0 | 0 837.56/837.73 c 833s | 16 | 887036 | 176252 | 283468 0 | 0 | 0 839.66/839.81 c 835s | 16 | 889293 | 177152 | 283468 0 | 0 | 0 841.86/842.01 c 837s | 16 | 895174 | 178152 | 283468 0 | 0 | 0 843.96/844.10 c 839s | 16 | 899573 | 179052 | 283468 0 | 0 | 0 846.06/846.26 c 841s | 16 | 902875 | 180052 | 283468 0 | 0 | 0 848.56/848.70 c 844s | 16 | 906654 | 180752 | 283468 0 | 0 | 0 850.56/850.78 c 846s | 16 | 909012 | 181052 | 283468 0 | 0 | 0 852.96/853.11 c 848s | 16 | 910234 | 181352 | 283468 0 | 0 | 0 855.67/855.81 c 851s | 16 | 911410 | 181752 | 283468 0 | 0 | 0 857.76/857.95 c 853s | 16 | 913710 | 182052 | 283468 0 | 0 | 0 860.56/860.75 c 856s | 16 | 915480 | 182452 | 283468 0 | 0 | 0 863.26/863.47 c 858s | 16 | 915943 | 182752 | 283468 0 | 0 | 0 865.36/865.50 c 861s | 16 | 916182 | 182952 | 283468 0 | 0 | 0 867.56/867.72 c 863s | 16 | 917299 | 183252 | 283468 0 | 0 | 0 869.66/869.86 c 865s | 16 | 919740 | 183552 | 283468 0 | 0 | 0 871.66/871.87 c 867s | 16 | 936687 | 184452 | 283468 0 | 0 | 0 874.16/874.33 c 869s | 16 | 942154 | 185052 | 283468 0 | 0 | 0 876.76/876.99 c 872s | 16 | 944765 | 185452 | 283468 0 | 0 | 0 879.16/879.32 c 874s | 16 | 951770 | 185952 | 283468 0 | 0 | 0 881.76/881.97 c 877s | 16 | 953430 | 186452 | 283468 0 | 0 | 0 884.36/884.58 c 880s | 16 | 954128 | 186852 | 283468 0 | 0 | 0 886.35/886.60 c 882s | 16 | 965440 | 187452 | 283468 0 | 0 | 0 888.66/888.81 c 884s | 16 | 972158 | 187952 | 283468 0 | 0 | 0 890.65/890.88 c 886s | 16 | 977502 | 188452 | 283468 0 | 0 | 0 892.95/893.12 c 888s | 16 | 978584 | 188952 | 283468 0 | 0 | 0 895.15/895.40 c 890s | 16 | 984058 | 189352 | 283468 0 | 0 | 0 897.25/897.42 c 892s | 16 | 987649 | 189852 | 283468 0 | 0 | 0 899.25/899.43 c 894s | 16 | 988094 | 190152 | 283468 0 | 0 | 0 901.65/901.84 c 897s | 16 | 988467 | 190452 | 283468 0 | 0 | 0 904.16/904.34 c 899s | 16 | 992632 | 190852 | 283468 0 | 0 | 0 906.26/906.47 c 901s | 16 | 995377 | 191252 | 283468 0 | 0 | 0 908.65/908.85 c 904s | 16 | 996220 | 191652 | 283468 0 | 0 | 0 911.45/911.60 c 907s | 16 | 996754 | 192052 | 283468 0 | 0 | 0 913.45/913.64 c 909s | 16 | 997152 | 192352 | 283468 0 | 0 | 0 915.95/916.15 c 911s | 16 | 997986 | 192752 | 283468 0 | 0 | 0 918.25/918.45 c 913s | 16 | 999350 | 193152 | 283468 0 | 0 | 0 920.45/920.63 c 916s | 16 | 999698 | 193452 | 283468 0 | 0 | 0 923.05/923.29 c 918s | 16 | 1009401 | 193852 | 283468 0 | 0 | 0 925.25/925.44 c 920s | 16 | 1015491 | 194252 | 283468 0 | 0 | 0 927.75/927.92 c 923s | 16 | 1016847 | 194652 | 283468 0 | 0 | 0 929.85/930.01 c 925s | 16 | 1017927 | 194952 | 283468 0 | 0 | 0 931.95/932.14 c 927s | 16 | 1018312 | 195252 | 283468 0 | 0 | 0 934.45/934.69 c 930s | 16 | 1020227 | 195652 | 283468 0 | 0 | 0 937.05/937.21 c 932s | 16 | 1022084 | 196052 | 283468 0 | 0 | 0 939.15/939.30 c 934s | 16 | 1022841 | 196352 | 311815 0 | 0 | 0 941.24/941.44 c 936s | 16 | 1024457 | 196752 | 311815 0 | 0 | 0 943.44/943.66 c 939s | 16 | 1025657 | 197152 | 311815 0 | 0 | 0 945.14/945.33 c 940s | 17 | 1027461 | 197432 | 311815 0 | 0 | 0 947.64/947.81 c 943s | 17 | 1028561 | 197732 | 311815 0 | 0 | 0 949.64/949.88 c 945s | 17 | 1029343 | 198032 | 311815 0 | 0 | 0 952.45/952.61 c 948s | 17 | 1030423 | 198332 | 311815 0 | 0 | 0 955.54/955.72 c 951s | 17 | 1030756 | 198532 | 311815 0 | 0 | 0 958.74/958.93 c 954s | 17 | 1032343 | 198832 | 311815 0 | 0 | 0 961.35/961.51 c 957s | 17 | 1033119 | 199032 | 311815 0 | 0 | 0 964.34/964.53 c 960s | 17 | 1033623 | 199332 | 311815 0 | 0 | 0 966.85/967.03 c 962s | 17 | 1033855 | 199532 | 311815 0 | 0 | 0 969.24/969.42 c 964s | 17 | 1034135 | 199732 | 311815 0 | 0 | 0 971.64/971.80 c 967s | 17 | 1034720 | 200032 | 311815 0 | 0 | 0 974.34/974.54 c 970s | 17 | 1035073 | 200332 | 311815 0 | 0 | 0 976.64/976.81 c 972s | 17 | 1035582 | 200532 | 311815 0 | 0 | 0 979.34/979.50 c 975s | 17 | 1035977 | 200832 | 311815 0 | 0 | 0 981.34/981.54 c 977s | 17 | 1036385 | 201132 | 311815 0 | 0 | 0 983.94/984.19 c 979s | 17 | 1036914 | 201432 | 311815 0 | 0 | 0 986.84/987.08 c 982s | 17 | 1037324 | 201732 | 311815 0 | 0 | 0 989.54/989.73 c 985s | 17 | 1037670 | 201932 | 311815 0 | 0 | 0 991.84/992.03 c 987s | 17 | 1038109 | 202132 | 311815 0 | 0 | 0 994.13/994.36 c 989s | 17 | 1038365 | 202332 | 311815 0 | 0 | 0 997.03/997.24 c 992s | 17 | 1038621 | 202532 | 311815 0 | 0 | 0 999.33/999.51 c 995s | 17 | 1038849 | 202732 | 311815 0 | 0 | 0 1001.63/1001.89 c 997s | 17 | 1039195 | 202932 | 311815 0 | 0 | 0 1004.14/1004.36 c 999s | 17 | 1039422 | 203132 | 311815 0 | 0 | 0 1006.63/1006.88 c 1002s | 17 | 1039661 | 203332 | 311815 0 | 0 | 0 1009.03/1009.21 c 1004s | 17 | 1039861 | 203532 | 311815 0 | 0 | 0 1011.23/1011.42 c 1006s | 17 | 1040081 | 203732 | 311815 0 | 0 | 0 1013.83/1014.09 c 1009s | 17 | 1040294 | 203932 | 311815 0 | 0 | 0 1016.13/1016.36 c 1011s | 17 | 1040531 | 204132 | 311815 0 | 0 | 0 1018.63/1018.81 c 1014s | 17 | 1040853 | 204432 | 311815 0 | 0 | 0 1021.33/1021.56 c 1017s | 17 | 1041096 | 204632 | 311815 0 | 0 | 0 1023.73/1023.95 c 1019s | 17 | 1041315 | 204832 | 311815 0 | 0 | 0 1026.03/1026.30 c 1021s | 17 | 1041569 | 205032 | 311815 0 | 0 | 0 1028.53/1028.72 c 1024s | 17 | 1041793 | 205232 | 311815 0 | 0 | 0 1031.03/1031.29 c 1026s | 17 | 1042035 | 205432 | 311815 0 | 0 | 0 1033.94/1034.13 c 1029s | 17 | 1042485 | 205732 | 311815 0 | 0 | 0 1036.93/1037.16 c 1032s | 17 | 1042870 | 206032 | 311815 0 | 0 | 0 1039.03/1039.29 c 1034s | 17 | 1043100 | 206232 | 311815 0 | 0 | 0 1041.73/1041.91 c 1037s | 17 | 1043329 | 206432 | 311815 0 | 0 | 0 1043.93/1044.15 c 1039s | 17 | 1043563 | 206632 | 311815 0 | 0 | 0 1046.43/1046.69 c 1042s | 17 | 1043848 | 206832 | 311815 0 | 0 | 0 1049.43/1049.61 c 1045s | 17 | 1044283 | 207132 | 311815 0 | 0 | 0 1051.83/1052.00 c 1047s | 17 | 1044533 | 207332 | 311815 0 | 0 | 0 1054.32/1054.52 c 1050s | 17 | 1044918 | 207532 | 311815 0 | 0 | 0 1056.62/1056.87 c 1052s | 17 | 1045293 | 207732 | 311815 0 | 0 | 0 1059.02/1059.30 c 1054s | 17 | 1045567 | 207932 | 311815 0 | 0 | 0 1061.44/1061.65 c 1057s | 17 | 1045871 | 208132 | 311815 0 | 0 | 0 1064.13/1064.31 c 1059s | 17 | 1046160 | 208332 | 311815 0 | 0 | 0 1066.33/1066.56 c 1062s | 17 | 1046421 | 208532 | 311815 0 | 0 | 0 1068.73/1068.95 c 1064s | 17 | 1046665 | 208732 | 311815 0 | 0 | 0 1071.03/1071.20 c 1066s | 17 | 1046888 | 208932 | 311815 0 | 0 | 0 1073.23/1073.47 c 1069s | 17 | 1047148 | 209132 | 311815 0 | 0 | 0 1075.33/1075.51 c 1071s | 17 | 1047403 | 209332 | 311815 0 | 0 | 0 1077.33/1077.51 c 1073s | 17 | 1047669 | 209532 | 311815 0 | 0 | 0 1080.43/1080.62 c 1076s | 17 | 1048179 | 209832 | 311815 0 | 0 | 0 1083.03/1083.24 c 1078s | 17 | 1048441 | 210032 | 311815 0 | 0 | 0 1085.33/1085.50 c 1081s | 17 | 1048695 | 210232 | 311815 0 | 0 | 0 1087.74/1087.94 c 1083s | 17 | 1048979 | 210432 | 311815 0 | 0 | 0 1089.94/1090.15 c 1085s | 17 | 1049282 | 210632 | 311815 0 | 0 | 0 1092.33/1092.58 c 1088s | 17 | 1049518 | 210832 | 311815 0 | 0 | 0 1094.73/1094.94 c 1090s | 17 | 1049787 | 211032 | 311815 0 | 0 | 0 1097.13/1097.35 c 1092s | 17 | 1050123 | 211232 | 311815 0 | 0 | 0 1099.43/1099.60 c 1095s | 17 | 1050369 | 211432 | 311815 0 | 0 | 0 1101.43/1101.60 c 1097s | 17 | 1050989 | 211632 | 311815 0 | 0 | 0 1104.13/1104.36 c 1099s | 17 | 1051317 | 211932 | 311815 0 | 0 | 0 1106.23/1106.49 c 1102s | 17 | 1051573 | 212132 | 311815 0 | 0 | 0 1109.23/1109.49 c 1105s | 17 | 1051948 | 212432 | 311815 0 | 0 | 0 1111.43/1111.66 c 1107s | 17 | 1052224 | 212632 | 311815 0 | 0 | 0 1113.72/1113.91 c 1109s | 17 | 1052506 | 212832 | 311815 0 | 0 | 0 1115.92/1116.19 c 1111s | 17 | 1052911 | 213132 | 311815 0 | 0 | 0 1118.63/1118.81 c 1114s | 17 | 1053252 | 213432 | 311815 0 | 0 | 0 1121.52/1121.73 c 1117s | 17 | 1053731 | 213832 | 311815 0 | 0 | 0 1124.32/1124.53 c 1120s | 17 | 1054041 | 214032 | 311815 0 | 0 | 0 1127.12/1127.38 c 1122s | 17 | 1054361 | 214232 | 311815 0 | 0 | 0 1129.22/1129.48 c 1125s | 17 | 1054633 | 214432 | 311815 0 | 0 | 0 1131.52/1131.71 c 1127s | 17 | 1054960 | 214632 | 311815 0 | 0 | 0 1133.62/1133.88 c 1129s | 17 | 1055286 | 214832 | 311815 0 | 0 | 0 1136.42/1136.65 c 1132s | 17 | 1055635 | 215132 | 311815 0 | 0 | 0 1138.52/1138.72 c 1134s | 17 | 1055976 | 215332 | 311815 0 | 0 | 0 1140.72/1140.94 c 1136s | 17 | 1056287 | 215532 | 311815 0 | 0 | 0 1143.22/1143.42 c 1138s | 17 | 1056516 | 215732 | 311815 0 | 0 | 0 1146.42/1146.62 c 1142s | 17 | 1056950 | 216032 | 311815 0 | 0 | 0 1148.72/1148.95 c 1144s | 17 | 1057289 | 216232 | 311815 0 | 0 | 0 1151.53/1151.73 c 1147s | 17 | 1057674 | 216532 | 311815 0 | 0 | 0 1154.42/1154.61 c 1150s | 17 | 1058081 | 216832 | 311815 0 | 0 | 0 1156.62/1156.83 c 1152s | 17 | 1058313 | 217032 | 311815 0 | 0 | 0 1159.52/1159.73 c 1155s | 17 | 1058669 | 217332 | 311815 0 | 0 | 0 1161.62/1161.80 c 1157s | 17 | 1058904 | 217532 | 311815 0 | 0 | 0 1164.42/1164.63 c 1160s | 17 | 1059252 | 217832 | 311815 0 | 0 | 0 1167.02/1167.23 c 1162s | 17 | 1059593 | 218132 | 311815 0 | 0 | 0 1169.72/1169.90 c 1165s | 17 | 1059942 | 218432 | 311815 0 | 0 | 0 1172.32/1172.50 c 1168s | 17 | 1060317 | 218732 | 311815 0 | 0 | 0 1175.12/1175.31 c 1170s | 17 | 1060659 | 219032 | 311815 0 | 0 | 0 1177.22/1177.46 c 1172s | 17 | 1061030 | 219332 | 311815 0 | 0 | 0 1180.01/1180.26 c 1175s | 17 | 1061403 | 219632 | 311815 0 | 0 | 0 1182.11/1182.36 c 1177s | 17 | 1061644 | 219832 | 311815 0 | 0 | 0 1184.31/1184.57 c 1180s | 17 | 1061878 | 220032 | 311815 0 | 0 | 0 1186.82/1187.04 c 1182s | 17 | 1062202 | 220332 | 311815 0 | 0 | 0 1189.21/1189.41 c 1184s | 17 | 1062560 | 220632 | 311815 0 | 0 | 0 1191.51/1191.71 c 1187s | 17 | 1062917 | 220932 | 311815 0 | 0 | 0 1194.71/1194.95 c 1190s | 17 | 1063304 | 221232 | 311815 0 | 0 | 0 1197.01/1197.26 c 1192s | 17 | 1063726 | 221432 | 311815 0 | 0 | 0 1199.41/1199.62 c 1195s | 17 | 1064046 | 221632 | 311815 0 | 0 | 0 1202.41/1202.63 c 1198s | 17 | 1064475 | 221832 | 311815 0 | 0 | 0 1205.31/1205.59 c 1201s | 17 | 1064742 | 222032 | 311815 0 | 0 | 0 1207.72/1207.90 c 1203s | 17 | 1065006 | 222232 | 311815 0 | 0 | 0 1210.11/1210.32 c 1205s | 17 | 1065254 | 222432 | 311815 0 | 0 | 0 1213.01/1213.24 c 1208s | 17 | 1065643 | 222732 | 311815 0 | 0 | 0 1215.42/1215.61 c 1211s | 17 | 1065987 | 222932 | 311815 0 | 0 | 0 1218.31/1218.50 c 1214s | 17 | 1066218 | 223132 | 311815 0 | 0 | 0 1221.01/1221.21 c 1216s | 17 | 1066473 | 223332 | 311815 0 | 0 | 0 1223.61/1223.86 c 1219s | 17 | 1066717 | 223532 | 311815 0 | 0 | 0 1225.91/1226.10 c 1221s | 17 | 1066976 | 223732 | 311815 0 | 0 | 0 1228.41/1228.61 c 1224s | 17 | 1067221 | 223932 | 311815 0 | 0 | 0 1230.91/1231.18 c 1226s | 17 | 1067470 | 224132 | 311815 0 | 0 | 0 1234.11/1234.38 c 1229s | 17 | 1067903 | 224432 | 311815 0 | 0 | 0 1236.21/1236.47 c 1231s | 17 | 1068126 | 224632 | 311815 0 | 0 | 0 1238.21/1238.47 c 1234s | 17 | 1068369 | 224832 | 311815 0 | 0 | 0 1241.21/1241.40 c 1236s | 17 | 1068777 | 225132 | 311815 0 | 0 | 0 1244.01/1244.29 c 1239s | 17 | 1069181 | 225432 | 311815 0 | 0 | 0 1246.70/1246.92 c 1242s | 17 | 1069433 | 225632 | 311815 0 | 0 | 0 1249.60/1249.89 c 1245s | 17 | 1069839 | 225932 | 311815 0 | 0 | 0 1252.81/1253.05 c 1248s | 17 | 1070288 | 226232 | 311815 0 | 0 | 0 1255.30/1255.51 c 1251s | 17 | 1070545 | 226432 | 311815 0 | 0 | 0 1257.80/1258.06 c 1253s | 17 | 1070759 | 226632 | 311815 0 | 0 | 0 1260.30/1260.54 c 1256s | 17 | 1070976 | 226832 | 311815 0 | 0 | 0 1262.50/1262.74 c 1258s | 17 | 1071195 | 227032 | 311815 0 | 0 | 0 1264.60/1264.86 c 1260s | 17 | 1071429 | 227232 | 311815 0 | 0 | 0 1266.80/1267.08 c 1262s | 17 | 1071648 | 227432 | 311815 0 | 0 | 0 1269.10/1269.37 c 1264s | 17 | 1071868 | 227632 | 311815 0 | 0 | 0 1271.10/1271.38 c 1266s | 17 | 1072092 | 227832 | 311815 0 | 0 | 0 1274.40/1274.63 c 1270s | 17 | 1072419 | 228132 | 311815 0 | 0 | 0 1276.60/1276.89 c 1272s | 17 | 1072647 | 228332 | 311815 0 | 0 | 0 1279.30/1279.53 c 1275s | 17 | 1072870 | 228532 | 311815 0 | 0 | 0 1282.69/1282.94 c 1278s | 17 | 1073091 | 228732 | 311815 0 | 0 | 0 1286.09/1286.33 c 1281s | 17 | 1073337 | 228932 | 311815 0 | 0 | 0 1288.89/1289.15 c 1284s | 17 | 1073576 | 229132 | 311815 0 | 0 | 0 1291.49/1291.75 c 1287s | 17 | 1073797 | 229332 | 311815 0 | 0 | 0 1294.39/1294.65 c 1290s | 17 | 1074019 | 229532 | 311815 0 | 0 | 0 1296.99/1297.28 c 1292s | 17 | 1074250 | 229732 | 311815 0 | 0 | 0 1300.19/1300.43 c 1295s | 17 | 1074486 | 229932 | 311815 0 | 0 | 0 1303.19/1303.49 c 1299s | 17 | 1074722 | 230132 | 311815 0 | 0 | 0 1306.29/1306.51 c 1302s | 17 | 1074947 | 230332 | 311815 0 | 0 | 0 1308.99/1309.24 c 1304s | 17 | 1075160 | 230532 | 311815 0 | 0 | 0 1311.78/1312.09 c 1307s | 17 | 1075395 | 230732 | 311815 0 | 0 | 0 1314.39/1314.65 c 1310s | 17 | 1075629 | 230932 | 311815 0 | 0 | 0 1317.38/1317.67 c 1313s | 17 | 1075880 | 231132 | 311815 0 | 0 | 0 1320.48/1320.74 c 1316s | 17 | 1076125 | 231332 | 311815 0 | 0 | 0 1322.68/1322.97 c 1318s | 17 | 1076380 | 231532 | 311815 0 | 0 | 0 1325.48/1325.77 c 1321s | 17 | 1076610 | 231732 | 311815 0 | 0 | 0 1328.38/1328.60 c 1324s | 17 | 1076851 | 231932 | 311815 0 | 0 | 0 1330.89/1331.18 c 1326s | 17 | 1077085 | 232132 | 311815 0 | 0 | 0 1333.38/1333.66 c 1329s | 17 | 1077311 | 232332 | 311815 0 | 0 | 0 1335.48/1335.75 c 1331s | 17 | 1077548 | 232532 | 311815 0 | 0 | 0 1338.18/1338.42 c 1333s | 17 | 1077772 | 232732 | 311815 0 | 0 | 0 1340.58/1340.86 c 1336s | 17 | 1077992 | 232932 | 311815 0 | 0 | 0 1342.99/1343.23 c 1338s | 17 | 1078218 | 233132 | 311815 0 | 0 | 0 1345.38/1345.65 c 1341s | 17 | 1078458 | 233332 | 311815 0 | 0 | 0 1347.68/1347.95 c 1343s | 17 | 1078697 | 233532 | 311815 0 | 0 | 0 1349.98/1350.23 c 1345s | 17 | 1078929 | 233732 | 311815 0 | 0 | 0 1352.68/1352.96 c 1348s | 17 | 1079156 | 233932 | 311815 0 | 0 | 0 1355.97/1356.28 c 1351s | 17 | 1079371 | 234132 | 311815 0 | 0 | 0 1358.67/1358.94 c 1354s | 17 | 1079582 | 234332 | 311815 0 | 0 | 0 1361.27/1361.51 c 1357s | 17 | 1079807 | 234532 | 311815 0 | 0 | 0 1363.78/1364.06 c 1359s | 17 | 1080026 | 234732 | 311815 0 | 0 | 0 1366.08/1366.39 c 1361s | 17 | 1080239 | 234932 | 311815 0 | 0 | 0 1368.37/1368.64 c 1364s | 17 | 1080473 | 235132 | 311815 0 | 0 | 0 1371.07/1371.36 c 1366s | 17 | 1080788 | 235332 | 311815 0 | 0 | 0 1373.68/1373.98 c 1369s | 17 | 1081062 | 235532 | 311815 0 | 0 | 0 1376.57/1376.85 c 1372s | 17 | 1081337 | 235732 | 311815 0 | 0 | 0 1378.87/1379.15 c 1374s | 17 | 1081632 | 235932 | 311815 0 | 0 | 0 1381.27/1381.58 c 1377s | 17 | 1081908 | 236132 | 311815 0 | 0 | 0 1383.47/1383.71 c 1379s | 17 | 1082152 | 236332 | 311815 0 | 0 | 0 1385.78/1386.07 c 1381s | 17 | 1082481 | 236532 | 311815 0 | 0 | 0 1388.67/1388.91 c 1384s | 17 | 1082760 | 236732 | 311815 0 | 0 | 0 1391.27/1391.52 c 1387s | 17 | 1083002 | 236932 | 311815 0 | 0 | 0 1393.57/1393.89 c 1389s | 17 | 1083227 | 237132 | 311815 0 | 0 | 0 1395.77/1396.03 c 1391s | 17 | 1083495 | 237332 | 311815 0 | 0 | 0 1398.37/1398.65 c 1394s | 17 | 1083855 | 237632 | 311815 0 | 0 | 0 1401.87/1402.15 c 1397s | 17 | 1084271 | 237932 | 311815 0 | 0 | 0 1404.36/1404.65 c 1400s | 17 | 1084508 | 238132 | 311815 0 | 0 | 0 1406.77/1407.01 c 1402s | 17 | 1084779 | 238332 | 311815 0 | 0 | 0 1409.46/1409.71 c 1405s | 17 | 1085029 | 238532 | 311815 0 | 0 | 0 1412.06/1412.30 c 1407s | 17 | 1085271 | 238732 | 311815 0 | 0 | 0 1414.56/1414.89 c 1410s | 17 | 1085591 | 238932 | 311815 0 | 0 | 0 1416.76/1417.03 c 1412s | 17 | 1085818 | 239132 | 311815 0 | 0 | 0 1419.36/1419.60 c 1415s | 17 | 1086033 | 239332 | 311815 0 | 0 | 0 1421.55/1421.84 c 1417s | 17 | 1086264 | 239532 | 311815 0 | 0 | 0 1423.75/1424.04 c 1419s | 17 | 1086502 | 239732 | 311815 0 | 0 | 0 1426.05/1426.35 c 1421s | 17 | 1086740 | 239932 | 311815 0 | 0 | 0 1428.15/1428.43 c 1423s | 17 | 1086967 | 240132 | 311815 0 | 0 | 0 1430.35/1430.67 c 1426s | 17 | 1087192 | 240332 | 311815 0 | 0 | 0 1433.25/1433.52 c 1429s | 17 | 1087582 | 240632 | 311815 0 | 0 | 0 1436.04/1436.33 c 1431s | 17 | 1087935 | 240932 | 311815 0 | 0 | 0 1439.04/1439.36 c 1434s | 17 | 1088285 | 241232 | 311815 0 | 0 | 0 1441.24/1441.55 c 1437s | 17 | 1088522 | 241432 | 311815 0 | 0 | 0 1444.24/1444.58 c 1440s | 17 | 1088878 | 241732 | 311815 0 | 0 | 0 1446.54/1446.86 c 1442s | 17 | 1089141 | 241932 | 311815 0 | 0 | 0 1448.84/1449.10 c 1444s | 17 | 1089376 | 242132 | 311815 0 | 0 | 0 1451.24/1451.52 c 1447s | 17 | 1089624 | 242332 | 311815 0 | 0 | 0 1453.34/1453.69 c 1449s | 17 | 1089872 | 242532 | 311815 0 | 0 | 0 1455.43/1455.70 c 1451s | 17 | 1090109 | 242732 | 311815 0 | 0 | 0 1457.73/1458.01 c 1453s | 17 | 1090470 | 242932 | 311815 0 | 0 | 0 1460.13/1460.43 c 1455s | 17 | 1090971 | 243132 | 311815 0 | 0 | 0 1463.03/1463.30 c 1458s | 17 | 1091881 | 243432 | 311815 0 | 0 | 0 1465.04/1465.33 c 1460s | 17 | 1092208 | 243632 | 311815 0 | 0 | 0 1467.43/1467.72 c 1463s | 17 | 1092573 | 243832 | 311815 0 | 0 | 0 1470.23/1470.52 c 1466s | 17 | 1093244 | 244132 | 311815 0 | 0 | 0 1472.93/1473.26 c 1468s | 17 | 1093805 | 244432 | 311815 0 | 0 | 0 1475.13/1475.44 c 1470s | 17 | 1094104 | 244632 | 311815 0 | 0 | 0 1478.13/1478.48 c 1474s | 17 | 1094516 | 244932 | 311815 0 | 0 | 0 1480.33/1480.64 c 1476s | 17 | 1094806 | 245132 | 311815 0 | 0 | 0 1483.23/1483.53 c 1479s | 17 | 1095188 | 245432 | 311815 0 | 0 | 0 1485.32/1485.69 c 1481s | 17 | 1095412 | 245632 | 311815 0 | 0 | 0 1487.62/1487.91 c 1483s | 17 | 1095647 | 245832 | 311815 0 | 0 | 0 1490.12/1490.48 c 1486s | 17 | 1095925 | 246032 | 311815 0 | 0 | 0 1493.02/1493.33 c 1488s | 17 | 1096222 | 246232 | 311815 0 | 0 | 0 1495.31/1495.67 c 1491s | 17 | 1096531 | 246432 | 311815 0 | 0 | 0 1497.92/1498.20 c 1493s | 17 | 1096816 | 246632 | 311815 0 | 0 | 0 1500.61/1500.98 c 1496s | 17 | 1097049 | 246832 | 311815 0 | 0 | 0 1502.81/1503.17 c 1498s | 17 | 1097329 | 247032 | 311815 0 | 0 | 0 1505.61/1505.96 c 1501s | 17 | 1097547 | 247232 | 311815 0 | 0 | 0 1508.11/1508.48 c 1504s | 17 | 1097874 | 247432 | 311815 0 | 0 | 0 1510.81/1511.14 c 1506s | 17 | 1098090 | 247632 | 311815 0 | 0 | 0 1513.91/1514.20 c 1509s | 17 | 1098352 | 247832 | 311815 0 | 0 | 0 1516.80/1517.14 c 1512s | 17 | 1098604 | 248032 | 311815 0 | 0 | 0 1519.70/1520.05 c 1515s | 17 | 1098827 | 248232 | 311815 0 | 0 | 0 1522.60/1522.93 c 1518s | 17 | 1099078 | 248432 | 311815 0 | 0 | 0 1525.50/1525.87 c 1521s | 17 | 1099319 | 248632 | 311815 0 | 0 | 0 1528.19/1528.59 c 1524s | 17 | 1099567 | 248832 | 311815 0 | 0 | 0 1530.70/1531.04 c 1526s | 17 | 1099779 | 249032 | 311815 0 | 0 | 0 1533.50/1533.88 c 1529s | 17 | 1100005 | 249232 | 311815 0 | 0 | 0 1535.90/1536.20 c 1531s | 17 | 1100284 | 249432 | 311815 0 | 0 | 0 1538.30/1538.66 c 1534s | 17 | 1100728 | 249632 | 311815 0 | 0 | 0 1541.39/1541.75 c 1537s | 17 | 1100978 | 249832 | 311815 0 | 0 | 0 1544.39/1544.74 c 1540s | 17 | 1101204 | 250032 | 311815 0 | 0 | 0 1547.59/1547.96 c 1543s | 17 | 1101452 | 250232 | 311815 0 | 0 | 0 1550.39/1550.71 c 1546s | 17 | 1101760 | 250432 | 311815 0 | 0 | 0 1552.59/1552.92 c 1548s | 17 | 1102116 | 250632 | 311815 0 | 0 | 0 1555.28/1555.69 c 1551s | 17 | 1102390 | 250832 | 311815 0 | 0 | 0 1557.78/1558.17 c 1553s | 17 | 1102658 | 251032 | 311815 0 | 0 | 0 1560.59/1560.98 c 1556s | 17 | 1102893 | 251232 | 311815 0 | 0 | 0 1563.38/1563.71 c 1559s | 17 | 1103116 | 251432 | 311815 0 | 0 | 0 1565.88/1566.28 c 1561s | 17 | 1103381 | 251632 | 311815 0 | 0 | 0 1568.28/1568.62 c 1564s | 17 | 1103768 | 251832 | 311815 0 | 0 | 0 1570.58/1570.92 c 1566s | 17 | 1104072 | 252032 | 311815 0 | 0 | 0 1572.68/1573.08 c 1568s | 17 | 1104386 | 252232 | 311815 0 | 0 | 0 1575.47/1575.88 c 1571s | 17 | 1104661 | 252432 | 311815 0 | 0 | 0 1578.47/1578.87 c 1574s | 17 | 1104973 | 252632 | 311815 0 | 0 | 0 1581.37/1581.70 c 1577s | 17 | 1105225 | 252832 | 311815 0 | 0 | 0 1583.68/1584.05 c 1579s | 17 | 1105454 | 253032 | 311815 0 | 0 | 0 1586.56/1586.94 c 1582s | 17 | 1105750 | 253232 | 311815 0 | 0 | 0 1589.36/1589.73 c 1585s | 17 | 1105974 | 253432 | 311815 0 | 0 | 0 1592.47/1592.87 c 1588s | 17 | 1106239 | 253632 | 311815 0 | 0 | 0 1595.86/1596.22 c 1591s | 17 | 1106462 | 253832 | 311815 0 | 0 | 0 1598.75/1599.14 c 1594s | 17 | 1106679 | 254032 | 311815 0 | 0 | 0 1600.95/1601.38 c 1596s | 17 | 1106911 | 254232 | 311815 0 | 0 | 0 1603.85/1604.24 c 1599s | 17 | 1107210 | 254432 | 311815 0 | 0 | 0 1606.55/1606.99 c 1602s | 17 | 1107442 | 254632 | 311815 0 | 0 | 0 1609.45/1609.86 c 1605s | 17 | 1107703 | 254832 | 311815 0 | 0 | 0 1612.25/1612.64 c 1608s | 17 | 1107981 | 255032 | 311815 0 | 0 | 0 1615.04/1615.46 c 1610s | 17 | 1108250 | 255232 | 311815 0 | 0 | 0 1617.75/1618.17 c 1613s | 17 | 1108484 | 255432 | 311815 0 | 0 | 0 1620.34/1620.73 c 1616s | 17 | 1108729 | 255632 | 311815 0 | 0 | 0 1622.64/1623.08 c 1618s | 17 | 1109029 | 255832 | 311815 0 | 0 | 0 1625.63/1626.08 c 1621s | 17 | 1109252 | 256032 | 311815 0 | 0 | 0 1628.63/1629.10 c 1624s | 17 | 1109492 | 256232 | 311815 0 | 0 | 0 1631.73/1632.11 c 1627s | 17 | 1109737 | 256432 | 311815 0 | 0 | 0 1635.03/1635.40 c 1630s | 17 | 1109971 | 256632 | 311815 0 | 0 | 0 1637.54/1638.00 c 1633s | 17 | 1110214 | 256832 | 311815 0 | 0 | 0 1640.43/1640.85 c 1636s | 17 | 1110455 | 257032 | 311815 0 | 0 | 0 1643.03/1643.49 c 1639s | 17 | 1110748 | 257232 | 311815 0 | 0 | 0 1645.42/1645.82 c 1641s | 17 | 1111125 | 257432 | 311815 0 | 0 | 0 1648.12/1648.50 c 1644s | 17 | 1111348 | 257632 | 311815 0 | 0 | 0 1650.52/1650.96 c 1646s | 17 | 1111575 | 257832 | 311815 0 | 0 | 0 1653.62/1654.03 c 1649s | 17 | 1111815 | 258032 | 311815 0 | 0 | 0 1656.52/1656.90 c 1652s | 17 | 1112050 | 258232 | 311815 0 | 0 | 0 1659.71/1660.19 c 1655s | 17 | 1112408 | 258432 | 311815 0 | 0 | 0 1663.11/1663.55 c 1659s | 17 | 1112692 | 258632 | 311815 0 | 0 | 0 1666.01/1666.48 c 1662s | 17 | 1112941 | 258832 | 311815 0 | 0 | 0 1669.71/1670.11 c 1665s | 17 | 1113174 | 259032 | 311815 0 | 0 | 0 1672.31/1672.76 c 1668s | 17 | 1113407 | 259232 | 311815 0 | 0 | 0 1675.11/1675.50 c 1671s | 17 | 1113644 | 259432 | 311815 0 | 0 | 0 1678.10/1678.56 c 1674s | 17 | 1113883 | 259632 | 311815 0 | 0 | 0 1680.70/1681.19 c 1676s | 17 | 1114154 | 259832 | 311815 0 | 0 | 0 1683.10/1683.53 c 1679s | 17 | 1114434 | 260032 | 311815 0 | 0 | 0 1685.80/1686.26 c 1681s | 17 | 1114670 | 260232 | 311815 0 | 0 | 0 1688.60/1689.03 c 1684s | 17 | 1114900 | 260432 | 311815 0 | 0 | 0 1691.10/1691.55 c 1687s | 17 | 1115200 | 260632 | 311815 0 | 0 | 0 1694.10/1694.54 c 1690s | 17 | 1115437 | 260832 | 311815 0 | 0 | 0 1696.09/1696.57 c 1692s | 17 | 1115617 | 260932 | 311815 0 | 0 | 0 1699.20/1699.65 c 1695s | 17 | 1115890 | 261132 | 311815 0 | 0 | 0 1702.29/1702.71 c 1698s | 17 | 1116121 | 261332 | 311815 0 | 0 | 0 1705.09/1705.57 c 1701s | 17 | 1116360 | 261532 | 311815 0 | 0 | 0 1708.29/1708.75 c 1704s | 17 | 1116586 | 261732 | 311815 0 | 0 | 0 1711.19/1711.62 c 1707s | 17 | 1116815 | 261932 | 311815 0 | 0 | 0 1713.39/1713.89 c 1709s | 17 | 1117119 | 262132 | 311815 0 | 0 | 0 1716.38/1716.85 c 1712s | 17 | 1117346 | 262332 | 311815 0 | 0 | 0 1719.28/1719.77 c 1715s | 17 | 1117581 | 262532 | 311815 0 | 0 | 0 1722.08/1722.53 c 1718s | 17 | 1118009 | 262732 | 311815 0 | 0 | 0 1725.28/1725.77 c 1721s | 17 | 1118243 | 262932 | 311815 0 | 0 | 0 1728.08/1728.53 c 1724s | 17 | 1118657 | 263132 | 311815 0 | 0 | 0 1730.17/1730.66 c 1726s | 17 | 1118811 | 263232 | 311815 0 | 0 | 0 1733.87/1734.31 c 1729s | 17 | 1119038 | 263432 | 311815 0 | 0 | 0 1736.77/1737.25 c 1732s | 17 | 1119385 | 263632 | 311815 0 | 0 | 0 1740.17/1740.61 c 1736s | 17 | 1119700 | 263832 | 311815 0 | 0 | 0 1742.97/1743.42 c 1738s | 17 | 1119925 | 264032 | 311815 0 | 0 | 0 1746.16/1746.60 c 1742s | 17 | 1120197 | 264232 | 311815 0 | 0 | 0 1749.06/1749.53 c 1745s | 17 | 1120473 | 264432 | 311815 0 | 0 | 0 1751.97/1752.46 c 1747s | 17 | 1120823 | 264632 | 311815 0 | 0 | 0 1755.36/1755.83 c 1751s | 17 | 1121158 | 264832 | 311815 0 | 0 | 0 1757.86/1758.39 c 1753s | 17 | 1121408 | 265032 | 311815 0 | 0 | 0 1760.86/1761.36 c 1756s | 17 | 1121661 | 265232 | 311815 0 | 0 | 0 1763.66/1764.14 c 1759s | 17 | 1121988 | 265432 | 311815 0 | 0 | 0 1766.66/1767.19 c 1762s | 17 | 1122300 | 265632 | 311815 0 | 0 | 0 1769.56/1770.09 c 1765s | 17 | 1122735 | 265832 | 311815 0 | 0 | 0 1772.86/1773.33 c 1768s | 17 | 1122966 | 266032 | 311815 0 | 0 | 0 1775.36/1775.88 c 1771s | 17 | 1123274 | 266232 | 311815 0 | 0 | 0 1778.45/1778.92 c 1774s | 17 | 1123511 | 266432 | 311815 0 | 0 | 0 1780.85/1781.36 c 1776s | 17 | 1123823 | 266632 | 311815 0 | 0 | 0 1783.76/1784.30 c 1779s | 17 | 1124119 | 266832 | 311815 0 | 0 | 0 1786.35/1786.88 c 1782s | 17 | 1124367 | 267032 | 311815 0 | 0 | 0 1789.85/1790.37 c 1785s | 17 | 1124633 | 267232 | 311815 0 | 0 | 0 1793.05/1793.53 c 1789s | 17 | 1124861 | 267432 | 311815 0 | 0 | 0 1796.44/1796.98 c 1792s | 17 | 1125090 | 267632 | 311815 0 | 0 | 0 1800.04/1800.50 c 1796s | 17 | 1125387 | 267832 | 311815 0 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4078871-1465275587/watcher-4078871-1465275587 -o /tmp/evaluation-result-4078871-1465275587/solver-4078871-1465275587 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078871-1465275587.opb pid=12382 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.31 2.29 2.21 4/179 12385 /proc/meminfo: memFree=16296096/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=790972 CPUtime=0 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 2964 0 0 0 0 0 0 0 20 0 4 0 109492041 809955328 3325 33554432000 4194304 16246674 140734943524864 140734943523800 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 198511 3335 441 2943 0 195405 0 [pid=12385/tid=12386] ppid=12382 vsize=811452 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 830926848 3405 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=816572 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 836169728 3422 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=820668 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109492041 840364032 3440 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100182 s] /proc/loadavg: 2.31 2.29 2.21 4/179 12385 /proc/meminfo: memFree=16296096/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 29922 0 0 0 6 3 0 0 20 0 4 0 109492041 1249447936 30221 33554432000 4194304 16246674 140734943524864 140734943524176 4206864 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 305041 30221 801 2943 0 301935 0 [pid=12385/tid=12386] ppid=12382 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1249447936 30221 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1249447936 30221 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1249447936 30221 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200541 s] /proc/loadavg: 2.31 2.29 2.21 4/179 12385 /proc/meminfo: memFree=16296096/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1309252 CPUtime=0.19 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 51510 0 0 0 13 6 0 0 20 0 4 0 109492041 1340674048 52320 33554432000 4194304 16246674 140734943524864 140734943524176 4223718 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 327313 52328 801 2943 0 324207 0 [pid=12385/tid=12386] ppid=12382 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1340674048 52332 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1340674048 52336 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1340674048 52340 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1309252 [startup+0.300497 s] /proc/loadavg: 2.31 2.29 2.21 4/179 12385 /proc/meminfo: memFree=16296096/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1314372 CPUtime=0.29 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 57874 0 0 0 22 7 0 0 20 0 4 0 109492041 1345916928 58684 33554432000 4194304 16246674 140734943524864 140734943522752 7377112 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 328593 58684 801 2943 0 325487 0 [pid=12385/tid=12386] ppid=12382 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1345916928 58684 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1345916928 58684 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1345916928 58684 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.70043 s] /proc/loadavg: 2.31 2.29 2.21 4/179 12385 /proc/meminfo: memFree=16296096/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1314372 CPUtime=0.69 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 69869 0 0 0 60 9 0 0 20 0 4 0 109492041 1345916928 70679 33554432000 4194304 16246674 140734943524864 140734943522752 7364456 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 328593 70679 801 2943 0 325487 0 [pid=12385/tid=12386] ppid=12382 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1345916928 70679 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1345916928 70679 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1345916928 70679 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50043 s] /proc/loadavg: 2.31 2.29 2.21 4/183 12389 /proc/meminfo: memFree=15970396/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1314372 CPUtime=1.49 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 84916 0 0 0 137 12 0 0 20 0 4 0 109492041 1345916928 85726 33554432000 4194304 16246674 140734943524864 140734943522752 13192682 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 328593 85726 845 2943 0 325487 0 [pid=12385/tid=12386] ppid=12382 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1345916928 85726 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1345916928 85726 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1345916928 85726 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10043 s] /proc/loadavg: 2.31 2.29 2.21 4/183 12389 /proc/meminfo: memFree=15451308/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1348164 CPUtime=3.09 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 277465 0 0 0 270 39 0 0 20 0 4 0 109492041 1380519936 278275 33554432000 4194304 16246674 140734943524864 140734943506752 6727176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 337041 278275 847 2943 0 333935 0 [pid=12385/tid=12386] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278275 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278275 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278275 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1348164 [startup+6.30043 s] /proc/loadavg: 2.36 2.30 2.21 3/183 12389 /proc/meminfo: memFree=15183220/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1348164 CPUtime=6.29 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 277714 0 0 0 590 39 0 0 20 0 4 0 109492041 1380519936 278524 33554432000 4194304 16246674 140734943524864 140734943506752 5840951 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 337041 278524 889 2943 0 333935 0 [pid=12385/tid=12386] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278524 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278524 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278524 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1348164 [startup+12.7004 s] /proc/loadavg: 2.33 2.29 2.21 3/183 12389 /proc/meminfo: memFree=15183508/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1348164 CPUtime=12.69 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 277715 0 0 0 1230 39 0 0 20 0 4 0 109492041 1380519936 278525 33554432000 4194304 16246674 140734943524864 140734943506752 13753026 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 337041 278525 889 2943 0 333935 0 [pid=12385/tid=12386] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278525 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278525 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278525 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1348164 [startup+25.5005 s] /proc/loadavg: 2.26 2.28 2.20 3/184 12392 /proc/meminfo: memFree=15182860/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1348164 CPUtime=25.48 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 277717 0 0 0 2509 39 0 0 20 0 4 0 109492041 1380519936 278527 33554432000 4194304 16246674 140734943524864 140734943506752 5823891 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 337041 278527 889 2943 0 333935 0 [pid=12385/tid=12386] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278527 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278527 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278527 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1348164 [startup+51.1005 s] /proc/loadavg: 2.30 2.29 2.21 4/184 12392 /proc/meminfo: memFree=15182788/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1348164 CPUtime=51.08 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 277717 0 0 0 5069 39 0 0 20 0 4 0 109492041 1380519936 278527 33554432000 4194304 16246674 140734943524864 140734943506752 13191810 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 337041 278527 889 2943 0 333935 0 [pid=12385/tid=12386] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278527 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278527 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278527 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1348164 [startup+102.301 s] /proc/loadavg: 2.25 2.27 2.20 3/184 12416 /proc/meminfo: memFree=15182052/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1348164 CPUtime=102.28 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 277719 0 0 0 10189 39 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140734943506752 5677659 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 337041 278529 890 2943 0 333935 0 [pid=12385/tid=12386] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1348164 ################ # More data... # ################ /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1348164 [startup+1362.3 s] /proc/loadavg: 2.32 2.26 2.24 3/183 12495 /proc/meminfo: memFree=28067000/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1348164 CPUtime=1362.07 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 277750 0 0 0 136165 42 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140734943506752 5523513 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 337041 278529 890 2943 0 333935 0 [pid=12385/tid=12386] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 1348164 [startup+1422.3 s] /proc/loadavg: 2.27 2.25 2.24 3/183 12496 /proc/meminfo: memFree=28065916/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1348164 CPUtime=1422.06 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 277763 0 0 0 142164 42 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140734943506752 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 337041 278529 890 2943 0 333935 0 [pid=12385/tid=12386] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 1348164 [startup+1482.3 s] /proc/loadavg: 2.27 2.25 2.23 3/183 12497 /proc/meminfo: memFree=28066248/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1348164 CPUtime=1482.03 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 277800 0 0 0 148161 42 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140734943522688 12483204 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 337041 278529 890 2943 0 333935 0 [pid=12385/tid=12386] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 1348164 [startup+1542.31 s] /proc/loadavg: 2.15 2.22 2.22 3/183 12499 /proc/meminfo: memFree=28066252/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1348164 CPUtime=1542 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 277844 0 0 0 154157 43 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140734943506752 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 337041 278529 890 2943 0 333935 0 [pid=12385/tid=12386] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 1348164 [startup+1602.3 s] /proc/loadavg: 2.23 2.22 2.22 4/183 12500 /proc/meminfo: memFree=28066188/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1348164 CPUtime=1601.95 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 277892 0 0 0 160152 43 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140734943506752 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 337041 278529 890 2943 0 333935 0 [pid=12385/tid=12386] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 1348164 [startup+1662.3 s] /proc/loadavg: 2.15 2.21 2.21 4/183 12501 /proc/meminfo: memFree=28066044/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1348164 CPUtime=1661.91 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 277940 0 0 0 166148 43 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140734943506752 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 337041 278529 890 2943 0 333935 0 [pid=12385/tid=12386] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 1348164 [startup+1722.3 s] /proc/loadavg: 2.32 2.24 2.22 3/183 12502 /proc/meminfo: memFree=28065788/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1348164 CPUtime=1721.88 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 277981 0 0 0 172145 43 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140734943506752 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 337041 278529 890 2943 0 333935 0 [pid=12385/tid=12386] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1348164 [startup+1782.3 s] /proc/loadavg: 2.33 2.26 2.23 3/183 12503 /proc/meminfo: memFree=28065368/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1348164 CPUtime=1781.85 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 278005 0 0 0 178142 43 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140734943506752 5673413 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 337041 278529 890 2943 0 333935 0 [pid=12385/tid=12386] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1348164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.31 2.26 2.23 3/183 12504 /proc/meminfo: memFree=28065288/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1348164 CPUtime=1800.04 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 278016 0 0 0 179961 43 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140734943506752 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 337041 278529 890 2943 0 333935 0 [pid=12385/tid=12386] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1348164 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 12385 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.31 2.26 2.23 3/183 12504 /proc/meminfo: memFree=28065288/32872528 swapFree=15272/1656604 [pid=12385] ppid=12382 vsize=1348164 CPUtime=1800.04 cores=1,3,5,7 /proc/12385/stat : 12385 (toysat) R 12382 12385 9894 0 -1 4202496 278016 0 0 0 179961 43 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140734943506752 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12385/statm: 337041 278529 890 2943 0 333935 0 [pid=12385/tid=12386] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12386/stat : 12386 (toysat) S 12382 12385 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265444584688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12385/tid=12387] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12387/stat : 12387 (toysat) S 12382 12385 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265434094832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12385/tid=12388] ppid=12382 vsize=1348164 CPUtime=0 cores=1,3,5,7 /proc/12385/task/12388/stat : 12388 (toysat) S 12382 12385 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109492041 1380519936 278529 33554432000 4194304 16246674 140734943524864 140265423621296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1348164 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.07 CPU user time (s): 1799.62 CPU system time (s): 0.443932 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 1348164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.62 system time used= 0.443932 maximum resident set size= 1114116 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278016 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= 322 involuntary context switches= 1880 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6273 second user time and 6.87695 second system time The end
Begin job on node136 at 2016-06-07 06:59:47 IDJOB=4078871 IDBENCH=89699 IDSOLVER=2542 FILE ID=node136/4078871-1465275587 RUNJOBID= node136-1465261284-9911 PBS_JOBID= 19843291 Free space on /tmp= 71456 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-73.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078871-1465275587/watcher-4078871-1465275587 -o /tmp/evaluation-result-4078871-1465275587/solver-4078871-1465275587 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078871-1465275587.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 56a27796f1168612394e164ff5d947f7 RANDOM SEED=1310962537 node136.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.959 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.91 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.959 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.959 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.959 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.959 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.959 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.59 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.959 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.959 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: 16296476 kB Buffers: 37300 kB Cached: 255284 kB SwapCached: 348 kB Active: 13516676 kB Inactive: 639968 kB Active(anon): 13401768 kB Inactive(anon): 464200 kB Active(file): 114908 kB Inactive(file): 175768 kB Unevictable: 1656604 kB Mlocked: 15272 kB SwapTotal: 67108856 kB SwapFree: 67099384 kB Dirty: 23724 kB Writeback: 0 kB AnonPages: 15520080 kB Mapped: 10672 kB Shmem: 0 kB Slab: 601072 kB SReclaimable: 44992 kB SUnreclaim: 556080 kB KernelStack: 1456 kB PageTables: 34520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 15664460 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1720320 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= 71688 MiB End job on node136 at 2016-06-07 07:29:48