| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.13 | 1800.65 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-ship08l.opb |
| MD5SUM | bac9a878c3cd85b78fbd03dede34f379 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 128490 |
| Total number of constraints | 704 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 704 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 2550 |
| Number of terms in the objective function | 128490 |
| Biggest coefficient in the objective function | 1115 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 634183 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 634183 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T05:29:36+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-4101073-1466220575.opb"] 0.00/0.01 c use --random-gen="3941059720 2833462650 2042126193 3245280309 2475765268 991615613 2941418150 3589202182 1821583881 2463881988 2279391931 4240967359 3176621142 2424931772 3877102170 503974360 338857294 3318850221 2087807475 3444775739 2673951107 4285823816 421095323 306043948 409981656 1173724129 1132296782 3868850452 301150646 1165054647 563575770 572701644 2527327041 2848560472 1530935897 2519931034 2294886263 2511760393 413448854 553321324 3948818247 1648595068 1650792810 1744170898 2671875604 3568982840 4030305766 533845193 1958234470 3348229825 1054077787 2145409917 1992208638 3238739453 1946645381 2228285904 2094698809 705027293 3294486711 2240099869 1855673810 615047725 235164367 2116136004 1464763720 2330990072 2644005208 2115065453 1208254004 3984562760 3165691469 3201247733 780440162 3080500969 1781486260 851293529 20239862 2852993452 850861723 2327315362 3591744871 625364255 1449769362 1289582068 147937310 3974457890 3875975152 3262359711 2642494625 2360166051 573218915 265513177 3336216198 410118802 4048947128 2975014640 2384842005 921193600 1356647697 895707493 3344363670 1773045021 3663919093 169654020 3479454372 3313861180 551010325 55153028 2332476533 2697901152 1564554789 4197619918 1007865065 1511956185 2454221643 3424280386 3385398893 1955115601 1026249635 2351619253 392289901 1549875340 2479436795 3770466206 2592396327 2905351609 1511920380 70996265 536006748 2739433066 3030977601 1429130397 4054710855 3219698921 1217394690 816613359 248950538 3888550044 542822143 2837734456 4143603468 3754067870 1767706027 3177395664 1802637583 3698692850 1952274127 1877877312 2711196445 1462818302 2854483688 2831640249 2937697804 3976176920 2561936046 2359946094 4229344884 1098801336 1960211579 1853738152 1787074227 4043163604 1597198321 874590939 3121108933 3094363892 1076846251 2769319658 2957542635 1852033655 2022139482 3503087457 2829151290 2681707666 1633720802 261344463 2160345259 2315724974 1030671844 1474119767 3909204708 2121795501 2787667114 1089471269 44009578 1007541817 4136869659 1562847504 3738648883 1992268993 4032546725 1269857599 2504468159 3837761337 3769532158 2041792890 1747707378 2113703397 1370734898 551250007 178366802 925084290 309999671 3236676983 261824065 283844573 3453911785 3851815561 769482341 701055683 349096528 43747838 3163809704 3255536776 3624691819 1135878906 3600785506 993085690 519964324 1920428819 3174472904 3721348291 929903199 2497848309 485425175 104423826 3804612846 808393017 3363395953 1084371384 2428602993 3581621664 489764257 1614128906 2567777911 902664876 238348558 3962625554 3600296208 3119097246 23097427 1196811790 1145223823 2606649860 2516934501 3883709488 120969570 3341817425 1082120533 309526764 605287496 467024859 3261962451 1530183703 2511185100 928937670 255 362436" option to reproduce the execution 0.79/0.87 c #vars 128490 0.79/0.87 c #constraints 704 2.69/2.79 c BCD2: Hardening is enabled. 2.69/2.79 c BCD2: BiasedSearch is enabled. 2.69/2.79 c Solving starts ... 2.69/2.79 c ============================[ Search Statistics ]============================ 2.69/2.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.69/2.79 c | | | | Limit GC | Var | Constra 2.69/2.79 c ============================================================================= 2.79/2.81 c 0.0s | 0 | 0 | 0 | 43204 0 | 79285 | 0 5.08/5.13 c 2.3s | 0 | 2217 | 100 | 43204 0 | 79285 | 213 5.08/5.14 c 2.3s | 1 | 2217 | 100 | 43204 0 | 79285 | 213 5.68/5.70 c 2.9s | 2 | 2859 | 250 | 47525 0 | 79285 | 213 6.48/6.54 c 3.7s | 3 | 3297 | 475 | 52278 0 | 79285 | 213 7.58/7.68 c 4.9s | 4 | 3928 | 813 | 57506 0 | 79285 | 213 9.28/9.38 c 6.6s | 5 | 5160 | 1320 | 63257 0 | 79285 | 213 10.78/10.87 c 8.1s | 6 | 6046 | 2081 | 76542 0 | 79285 | 213 15.49/15.56 c 12.7s | 6 | 8195 | 2381 | 76542 0 | 79285 | 213 18.79/18.86 c 16.0s | 6 | 8294 | 2481 | 76542 0 | 79285 | 213 21.89/21.91 c 19.1s | 6 | 8409 | 2581 | 76542 0 | 79285 | 213 24.69/24.78 c 22.0s | 6 | 8522 | 2681 | 76542 0 | 79285 | 213 27.69/27.76 c 24.9s | 6 | 8632 | 2781 | 76542 0 | 79285 | 213 30.49/30.54 c 27.7s | 6 | 8749 | 2881 | 76542 0 | 79285 | 213 33.28/33.37 c 30.6s | 6 | 8856 | 2981 | 76542 0 | 79285 | 213 35.78/35.88 c 33.1s | 6 | 8954 | 3081 | 76542 0 | 79285 | 213 38.59/38.66 c 35.8s | 6 | 9065 | 3181 | 76542 0 | 79285 | 213 39.69/39.73 c 36.9s | 7 | 9112 | 3223 | 84197 0 | 79285 | 213 41.18/41.25 c 38.4s | 8 | 10916 | 4936 | 92617 0 | 79285 | 213 43.28/43.33 c 40.5s | 8 | 13001 | 6936 | 92617 0 | 79285 | 213 43.78/43.87 c 41.1s | 9 | 13571 | 7506 | 101879 0 | 79285 | 213 46.08/46.14 c 43.3s | 9 | 14955 | 8206 | 101879 0 | 79285 | 213 48.28/48.36 c 45.6s | 9 | 15833 | 8606 | 101879 0 | 79285 | 213 50.69/50.72 c 47.9s | 9 | 16349 | 9006 | 101879 0 | 79285 | 213 53.28/53.33 c 50.5s | 9 | 16873 | 9406 | 101879 0 | 79285 | 213 55.68/55.73 c 52.9s | 9 | 18242 | 9906 | 101879 0 | 79285 | 213 57.78/57.89 c 55.1s | 9 | 22485 | 10406 | 101879 0 | 79285 | 213 58.98/59.06 c 56.2s | 10 | 23433 | 11361 | 112067 0 | 79285 | 213 61.77/61.81 c 59.0s | 10 | 27681 | 11661 | 112067 0 | 79285 | 213 64.77/64.84 c 62.0s | 10 | 27998 | 11961 | 112067 0 | 79285 | 213 66.97/67.05 c 64.2s | 10 | 28208 | 12161 | 112067 0 | 79285 | 213 69.07/69.12 c 66.3s | 10 | 28407 | 12361 | 112067 0 | 79285 | 213 71.48/71.51 c 68.7s | 10 | 28613 | 12561 | 112067 0 | 79285 | 213 74.27/74.30 c 71.5s | 10 | 28818 | 12761 | 112067 0 | 79285 | 213 76.98/77.07 c 74.3s | 10 | 29017 | 12961 | 112067 0 | 79285 | 213 79.47/79.56 c 76.7s | 10 | 29233 | 13161 | 112067 0 | 79285 | 213 81.98/82.02 c 79.2s | 10 | 29442 | 13361 | 112067 0 | 79285 | 213 84.68/84.73 c 81.9s | 10 | 29674 | 13561 | 112067 0 | 79285 | 213 87.47/87.54 c 84.7s | 10 | 29877 | 13761 | 112067 0 | 79285 | 213 90.28/90.36 c 87.6s | 10 | 30085 | 13961 | 112067 0 | 79285 | 213 92.97/93.09 c 90.3s | 10 | 30288 | 14161 | 112067 0 | 79285 | 213 95.87/95.95 c 93.1s | 10 | 30499 | 14361 | 112067 0 | 79285 | 213 98.77/98.82 c 96.0s | 10 | 30708 | 14561 | 112067 0 | 79285 | 213 101.47/101.59 c 98.8s | 10 | 30914 | 14761 | 112067 0 | 79285 | 213 104.06/104.16 c 101s | 10 | 31112 | 14961 | 112067 0 | 79285 | 213 106.47/106.52 c 103s | 10 | 31326 | 15161 | 112067 0 | 79285 | 213 108.98/109.03 c 106s | 10 | 31559 | 15361 | 112067 0 | 79285 | 213 111.37/111.49 c 108s | 10 | 31759 | 15561 | 112067 0 | 79285 | 213 113.47/113.51 c 110s | 10 | 31966 | 15761 | 112067 0 | 79285 | 213 115.67/115.77 c 112s | 10 | 32180 | 15961 | 112067 0 | 79285 | 213 118.17/118.27 c 115s | 10 | 32381 | 16161 | 112067 0 | 79285 | 213 120.86/120.92 c 118s | 10 | 32580 | 16361 | 112067 0 | 79285 | 213 123.46/123.53 c 120s | 10 | 32782 | 16561 | 112067 0 | 79285 | 213 126.26/126.31 c 123s | 10 | 32982 | 16761 | 112067 0 | 79285 | 213 128.86/128.96 c 126s | 10 | 33180 | 16961 | 112067 0 | 79285 | 213 131.46/131.54 c 128s | 11 | 33373 | 17144 | 123274 0 | 79285 | 213 133.46/133.57 c 130s | 11 | 37881 | 17744 | 123274 0 | 79285 | 213 135.56/135.60 c 132s | 11 | 39129 | 19044 | 123274 0 | 79285 | 213 137.57/137.64 c 134s | 11 | 40214 | 20144 | 123274 0 | 79285 | 213 139.77/139.82 c 137s | 11 | 41306 | 21244 | 123274 0 | 79285 | 213 141.87/141.95 c 139s | 11 | 42316 | 22244 | 123274 0 | 79285 | 213 143.96/144.04 c 141s | 11 | 43118 | 23044 | 123274 0 | 79285 | 213 146.16/146.23 c 143s | 11 | 44014 | 23944 | 123274 0 | 79285 | 213 148.26/148.33 c 145s | 11 | 44822 | 24744 | 123274 0 | 79285 | 213 150.36/150.44 c 147s | 11 | 45613 | 25544 | 123274 0 | 79285 | 213 151.06/151.19 c 148s | 12 | 45891 | 25819 | 135602 0 | 79285 | 213 153.16/153.29 c 150s | 12 | 46564 | 26219 | 135602 0 | 79285 | 213 155.26/155.30 c 152s | 12 | 47263 | 26919 | 135602 0 | 79285 | 213 157.46/157.50 c 154s | 12 | 47966 | 27619 | 135602 0 | 79285 | 213 159.65/159.79 c 156s | 12 | 48677 | 28319 | 135602 0 | 79285 | 213 161.85/161.92 c 159s | 12 | 49376 | 29019 | 135602 0 | 79285 | 213 163.96/164.04 c 161s | 12 | 49971 | 29619 | 135602 0 | 79285 | 213 166.06/166.16 c 163s | 12 | 50683 | 30319 | 135602 0 | 79285 | 213 168.26/168.39 c 165s | 12 | 51483 | 31119 | 135602 0 | 79285 | 213 170.35/170.47 c 167s | 12 | 52186 | 31819 | 135602 0 | 79285 | 213 172.66/172.76 c 169s | 12 | 52997 | 32619 | 135602 0 | 79285 | 213 174.75/174.89 c 172s | 12 | 53699 | 33319 | 135602 0 | 79285 | 213 177.05/177.16 c 174s | 12 | 54392 | 34019 | 135602 0 | 79285 | 213 179.35/179.41 c 176s | 12 | 55203 | 34819 | 135602 0 | 79285 | 213 181.55/181.67 c 178s | 12 | 56013 | 35619 | 135602 0 | 79285 | 213 183.65/183.79 c 180s | 12 | 56721 | 36319 | 135602 0 | 79285 | 213 185.95/186.05 c 183s | 12 | 57430 | 37019 | 135602 0 | 79285 | 213 188.05/188.12 c 185s | 12 | 58036 | 37619 | 135602 0 | 79285 | 213 190.35/190.49 c 187s | 12 | 58740 | 38319 | 135602 0 | 79285 | 213 192.14/192.26 c 189s | 13 | 59250 | 38832 | 149163 0 | 79285 | 213 194.34/194.42 c 191s | 13 | 59707 | 39032 | 149163 0 | 79285 | 213 196.34/196.48 c 193s | 13 | 60446 | 39732 | 149163 0 | 79285 | 213 198.44/198.59 c 195s | 13 | 61192 | 40432 | 149163 0 | 79285 | 213 200.74/200.87 c 198s | 13 | 61919 | 41132 | 149163 0 | 79285 | 213 202.94/203.06 c 200s | 13 | 62657 | 41832 | 149163 0 | 79285 | 213 205.04/205.15 c 202s | 13 | 63385 | 42532 | 149163 0 | 79285 | 213 207.24/207.36 c 204s | 13 | 64113 | 43232 | 149163 0 | 79285 | 213 209.24/209.36 c 206s | 13 | 64761 | 43832 | 149163 0 | 79285 | 213 211.53/211.60 c 208s | 13 | 65490 | 44532 | 149163 0 | 79285 | 213 213.53/213.66 c 210s | 13 | 66124 | 45132 | 149163 0 | 79285 | 213 215.64/215.78 c 212s | 13 | 66741 | 45732 | 149163 0 | 79285 | 213 217.84/217.96 c 215s | 13 | 67489 | 46432 | 149163 0 | 79285 | 213 219.83/220.00 c 217s | 13 | 68235 | 47132 | 149163 0 | 79285 | 213 221.93/222.06 c 219s | 13 | 68967 | 47832 | 149163 0 | 79285 | 213 224.12/224.22 c 221s | 13 | 69699 | 48532 | 149163 0 | 79285 | 213 226.33/226.40 c 223s | 13 | 70428 | 49232 | 149163 0 | 79285 | 213 228.53/228.61 c 225s | 13 | 71165 | 49932 | 149163 0 | 79285 | 213 230.73/230.88 c 228s | 13 | 71898 | 50632 | 149163 0 | 79285 | 213 233.03/233.20 c 230s | 13 | 72642 | 51332 | 149163 0 | 79285 | 213 235.13/235.20 c 232s | 13 | 73262 | 51932 | 149163 0 | 79285 | 213 237.13/237.25 c 234s | 13 | 73897 | 52532 | 149163 0 | 79285 | 213 239.22/239.34 c 236s | 13 | 74514 | 53132 | 149163 0 | 79285 | 213 241.32/241.45 c 238s | 13 | 75152 | 53732 | 149163 0 | 79285 | 213 243.52/243.63 c 240s | 13 | 75773 | 54332 | 149163 0 | 79285 | 213 245.52/245.69 c 242s | 13 | 76420 | 54932 | 149163 0 | 79285 | 213 247.72/247.83 c 245s | 13 | 77151 | 55632 | 149163 0 | 79285 | 213 249.92/250.03 c 247s | 13 | 77882 | 56332 | 149163 0 | 79285 | 213 252.22/252.33 c 249s | 13 | 78608 | 57032 | 149163 0 | 79285 | 213 254.31/254.42 c 251s | 13 | 79257 | 57632 | 149163 0 | 79285 | 213 256.41/256.53 c 253s | 13 | 79989 | 58332 | 164080 0 | 79285 | 213 256.41/256.59 c 253s | 14 | 80008 | 58352 | 164080 0 | 79285 | 213 258.62/258.78 c 255s | 14 | 80380 | 58452 | 164080 0 | 79285 | 213 260.73/260.88 c 258s | 14 | 81114 | 59152 | 164080 0 | 79285 | 213 262.93/263.03 c 260s | 14 | 81843 | 59852 | 164080 0 | 79285 | 213 265.12/265.21 c 262s | 14 | 82580 | 60552 | 164080 0 | 79285 | 213 267.32/267.47 c 264s | 14 | 83322 | 61252 | 164080 0 | 79285 | 213 269.52/269.66 c 266s | 14 | 84055 | 61952 | 164080 0 | 79285 | 213 271.72/271.83 c 269s | 14 | 84682 | 62552 | 164080 0 | 79285 | 213 273.82/273.93 c 271s | 14 | 85313 | 63152 | 164080 0 | 79285 | 213 275.81/275.98 c 273s | 14 | 85935 | 63752 | 164080 0 | 79285 | 213 277.91/278.07 c 275s | 14 | 86571 | 64352 | 164080 0 | 79285 | 213 280.11/280.24 c 277s | 14 | 87206 | 64952 | 164080 0 | 79285 | 213 282.21/282.36 c 279s | 14 | 87824 | 65552 | 164080 0 | 79285 | 213 284.50/284.61 c 281s | 14 | 88462 | 66152 | 164080 0 | 79285 | 213 286.70/286.89 c 284s | 14 | 89084 | 66752 | 164080 0 | 79285 | 213 289.00/289.11 c 286s | 14 | 89717 | 67352 | 164080 0 | 79285 | 213 291.20/291.38 c 288s | 14 | 90342 | 67952 | 164080 0 | 79285 | 213 293.61/293.76 c 290s | 14 | 90978 | 68552 | 164080 0 | 79285 | 213 295.60/295.79 c 292s | 14 | 91502 | 69052 | 164080 0 | 79285 | 213 298.00/298.19 c 295s | 14 | 92008 | 69552 | 164080 0 | 79285 | 213 300.10/300.23 c 297s | 14 | 92419 | 69952 | 164080 0 | 79285 | 213 302.50/302.67 c 299s | 14 | 92919 | 70452 | 164080 0 | 79285 | 213 304.89/305.02 c 302s | 14 | 93432 | 70952 | 164080 0 | 79285 | 213 306.99/307.14 c 304s | 14 | 94040 | 71552 | 164080 0 | 79285 | 213 309.00/309.16 c 306s | 14 | 94645 | 72152 | 164080 0 | 79285 | 213 311.09/311.27 c 308s | 14 | 95254 | 72752 | 164080 0 | 79285 | 213 313.19/313.39 c 310s | 14 | 95864 | 73352 | 164080 0 | 79285 | 213 315.38/315.57 c 312s | 14 | 96470 | 73952 | 164080 0 | 79285 | 213 317.68/317.81 c 314s | 14 | 97078 | 74552 | 164080 0 | 79285 | 213 319.78/319.99 c 317s | 14 | 97689 | 75152 | 164080 0 | 79285 | 213 322.08/322.29 c 319s | 14 | 98282 | 75752 | 164080 0 | 79285 | 213 324.49/324.63 c 321s | 14 | 98891 | 76352 | 164080 0 | 79285 | 213 326.59/326.78 c 323s | 14 | 99414 | 76852 | 164080 0 | 79285 | 213 328.68/328.88 c 326s | 14 | 99920 | 77352 | 164080 0 | 79285 | 213 331.09/331.26 c 328s | 14 | 100527 | 77952 | 164080 0 | 79285 | 213 333.48/333.63 c 330s | 14 | 101135 | 78552 | 164080 0 | 79285 | 213 335.87/336.06 c 333s | 14 | 101725 | 79152 | 164080 0 | 79285 | 213 338.27/338.44 c 335s | 14 | 102339 | 79752 | 164080 0 | 79285 | 213 340.27/340.49 c 337s | 14 | 102855 | 80252 | 164080 0 | 79285 | 213 342.47/342.60 c 339s | 14 | 103357 | 80752 | 164080 0 | 79285 | 213 344.47/344.64 c 341s | 14 | 103857 | 81252 | 164080 0 | 79285 | 213 346.57/346.78 c 343s | 14 | 104364 | 81752 | 164080 0 | 79285 | 213 348.77/348.98 c 346s | 14 | 104876 | 82252 | 164080 0 | 79285 | 213 350.88/351.09 c 348s | 14 | 105376 | 82752 | 164080 0 | 79285 | 213 352.87/353.10 c 350s | 14 | 105794 | 83152 | 164080 0 | 79285 | 213 354.97/355.17 c 352s | 14 | 106295 | 83652 | 164080 0 | 79285 | 213 357.38/357.56 c 354s | 14 | 106903 | 84252 | 164080 0 | 79285 | 213 359.37/359.57 c 356s | 14 | 107405 | 84752 | 164080 0 | 79285 | 213 361.47/361.63 c 358s | 14 | 107906 | 85252 | 164080 0 | 79285 | 213 363.47/363.68 c 360s | 14 | 108408 | 85752 | 164080 0 | 79285 | 213 365.57/365.77 c 362s | 14 | 108927 | 86252 | 164080 0 | 79285 | 213 367.67/367.86 c 365s | 14 | 109428 | 86752 | 164080 0 | 79285 | 213 369.87/370.03 c 367s | 14 | 109936 | 87252 | 180489 0 | 79285 | 213 371.47/371.69 c 368s | 15 | 110325 | 87632 | 180489 0 | 79285 | 213 374.26/374.47 c 371s | 15 | 110678 | 87732 | 180489 0 | 79285 | 213 376.46/376.65 c 373s | 15 | 111180 | 88232 | 180489 0 | 79285 | 213 378.66/378.81 c 375s | 15 | 111707 | 88732 | 180489 0 | 79285 | 213 380.96/381.13 c 378s | 15 | 112403 | 89432 | 180489 0 | 79285 | 213 383.26/383.45 c 380s | 15 | 113118 | 90132 | 180489 0 | 79285 | 213 385.26/385.47 c 382s | 15 | 113729 | 90732 | 180489 0 | 79285 | 213 387.36/387.54 c 384s | 15 | 114331 | 91332 | 180489 0 | 79285 | 213 389.46/389.65 c 386s | 15 | 114929 | 91932 | 180489 0 | 79285 | 213 391.47/391.70 c 388s | 15 | 115531 | 92532 | 180489 0 | 79285 | 213 393.67/393.83 c 391s | 15 | 116143 | 93132 | 180489 0 | 79285 | 213 395.86/396.01 c 393s | 15 | 116747 | 93732 | 180489 0 | 79285 | 213 397.96/398.17 c 395s | 15 | 117361 | 94332 | 180489 0 | 79285 | 213 400.16/400.39 c 397s | 15 | 117974 | 94932 | 180489 0 | 79285 | 213 402.46/402.65 c 399s | 15 | 118576 | 95532 | 180489 0 | 79285 | 213 404.55/404.77 c 401s | 15 | 119087 | 96032 | 180489 0 | 79285 | 213 406.75/406.98 c 404s | 15 | 119688 | 96632 | 180489 0 | 79285 | 213 408.85/409.06 c 406s | 15 | 120297 | 97232 | 180489 0 | 79285 | 213 410.95/411.10 c 408s | 15 | 120903 | 97832 | 180489 0 | 79285 | 213 412.95/413.19 c 410s | 15 | 121511 | 98432 | 180489 0 | 79285 | 213 415.15/415.33 c 412s | 15 | 122120 | 99032 | 180489 0 | 79285 | 213 417.25/417.46 c 414s | 15 | 122710 | 99632 | 180489 0 | 79285 | 213 419.45/419.64 c 416s | 15 | 123321 | 100232 | 180489 0 | 79285 | 213 421.65/421.87 c 419s | 15 | 123930 | 100832 | 180489 0 | 79285 | 213 423.84/424.04 c 421s | 15 | 124532 | 101432 | 180489 0 | 79285 | 213 426.14/426.33 c 423s | 15 | 125144 | 102032 | 180489 0 | 79285 | 213 428.14/428.35 c 425s | 15 | 125563 | 102432 | 180489 0 | 79285 | 213 430.24/430.45 c 427s | 15 | 125960 | 102832 | 180489 0 | 79285 | 213 432.34/432.50 c 429s | 15 | 126363 | 103232 | 180489 0 | 79285 | 213 434.34/434.53 c 431s | 15 | 126762 | 103632 | 180489 0 | 79285 | 213 436.33/436.57 c 433s | 15 | 127169 | 104032 | 180489 0 | 79285 | 213 438.43/438.67 c 435s | 15 | 127581 | 104432 | 180489 0 | 79285 | 213 440.53/440.74 c 437s | 15 | 127980 | 104832 | 180489 0 | 79285 | 213 442.63/442.89 c 440s | 15 | 128388 | 105232 | 180489 0 | 79285 | 213 445.13/445.39 c 442s | 15 | 128784 | 105632 | 180489 0 | 79285 | 213 447.23/447.44 c 444s | 15 | 129190 | 106032 | 180489 0 | 79285 | 213 449.33/449.54 c 446s | 15 | 129606 | 106432 | 180489 0 | 79285 | 213 451.43/451.65 c 448s | 15 | 129998 | 106832 | 180489 0 | 79285 | 213 453.53/453.77 c 450s | 15 | 130412 | 107232 | 180489 0 | 79285 | 213 455.63/455.85 c 453s | 15 | 130806 | 107632 | 180489 0 | 79285 | 213 457.83/458.02 c 455s | 15 | 131217 | 108032 | 180489 0 | 79285 | 213 459.93/460.18 c 457s | 15 | 131627 | 108432 | 180489 0 | 79285 | 213 462.13/462.36 c 459s | 15 | 132019 | 108832 | 180489 0 | 79285 | 213 464.33/464.55 c 461s | 15 | 132534 | 109332 | 180489 0 | 79285 | 213 466.53/466.70 c 463s | 15 | 133046 | 109832 | 180489 0 | 79285 | 213 468.83/469.01 c 466s | 15 | 133555 | 110332 | 180489 0 | 79285 | 213 471.03/471.24 c 468s | 15 | 134154 | 110932 | 180489 0 | 79285 | 213 473.13/473.35 c 470s | 15 | 134655 | 111432 | 180489 0 | 79285 | 213 475.23/475.46 c 472s | 15 | 135153 | 111932 | 180489 0 | 79285 | 213 477.34/477.51 c 474s | 15 | 135664 | 112432 | 180489 0 | 79285 | 213 479.54/479.72 c 476s | 15 | 136177 | 112932 | 180489 0 | 79285 | 213 481.53/481.76 c 478s | 15 | 136780 | 113532 | 180489 0 | 79285 | 213 483.83/484.05 c 481s | 15 | 137486 | 114232 | 180489 0 | 79285 | 213 486.13/486.31 c 483s | 15 | 138196 | 114932 | 180489 0 | 79285 | 213 488.13/488.35 c 485s | 15 | 138806 | 115532 | 180489 0 | 79285 | 213 490.23/490.42 c 487s | 15 | 139408 | 116132 | 180489 0 | 79285 | 213 492.23/492.48 c 489s | 15 | 140007 | 116732 | 180489 0 | 79285 | 213 494.32/494.54 c 491s | 15 | 140612 | 117332 | 180489 0 | 79285 | 213 496.52/496.72 c 493s | 15 | 141223 | 117932 | 180489 0 | 79285 | 213 498.72/498.90 c 496s | 15 | 141826 | 118532 | 180489 0 | 79285 | 213 500.92/501.10 c 498s | 15 | 142443 | 119132 | 180489 0 | 79285 | 213 503.02/503.28 c 500s | 15 | 143043 | 119732 | 180489 0 | 79285 | 213 505.41/505.62 c 502s | 15 | 143659 | 120332 | 180489 0 | 79285 | 213 507.71/507.90 c 505s | 15 | 144260 | 120932 | 180489 0 | 79285 | 213 510.01/510.26 c 507s | 15 | 144875 | 121532 | 180489 0 | 79285 | 213 512.31/512.57 c 509s | 15 | 145474 | 122132 | 180489 0 | 79285 | 213 514.41/514.60 c 511s | 15 | 145983 | 122632 | 180489 0 | 79285 | 213 516.82/517.02 c 514s | 15 | 146584 | 123232 | 180489 0 | 79285 | 213 519.31/519.53 c 516s | 15 | 147098 | 123732 | 180489 0 | 79285 | 213 521.51/521.74 c 518s | 15 | 147699 | 124332 | 180489 0 | 79285 | 213 523.61/523.87 c 521s | 15 | 148310 | 124932 | 180489 0 | 79285 | 213 525.91/526.19 c 523s | 15 | 149006 | 125632 | 180489 0 | 79285 | 213 528.11/528.37 c 525s | 15 | 149619 | 126232 | 180489 0 | 79285 | 213 530.41/530.60 c 527s | 15 | 150229 | 126832 | 180489 0 | 79285 | 213 532.51/532.75 c 529s | 15 | 150838 | 127432 | 180489 0 | 79285 | 213 534.71/534.99 c 532s | 15 | 151447 | 128032 | 180489 0 | 79285 | 213 537.01/537.28 c 534s | 15 | 152052 | 128632 | 180489 0 | 79285 | 213 539.41/539.64 c 536s | 15 | 152664 | 129232 | 180489 0 | 79285 | 213 541.61/541.85 c 539s | 15 | 153265 | 129832 | 180489 0 | 79285 | 213 544.00/544.28 c 541s | 15 | 153863 | 130432 | 180489 0 | 79285 | 213 546.10/546.31 c 543s | 15 | 154377 | 130932 | 198538 0 | 79285 | 213 548.10/548.37 c 545s | 15 | 154885 | 131432 | 198538 0 | 79285 | 213 548.60/548.84 c 546s | 16 | 155009 | 131552 | 198538 0 | 79285 | 213 551.90/552.20 c 549s | 16 | 155358 | 131652 | 198538 0 | 79285 | 213 554.00/554.23 c 551s | 16 | 155865 | 132152 | 198538 0 | 79285 | 213 556.00/556.30 c 553s | 16 | 156273 | 132552 | 198538 0 | 79285 | 213 558.20/558.48 c 555s | 16 | 156878 | 133152 | 198538 0 | 79285 | 213 560.39/560.69 c 557s | 16 | 157487 | 133752 | 198538 0 | 79285 | 213 562.69/562.91 c 560s | 16 | 158197 | 134452 | 198538 0 | 79285 | 213 564.69/564.96 c 562s | 16 | 158786 | 135052 | 198538 0 | 79285 | 213 566.79/567.09 c 564s | 16 | 159400 | 135652 | 198538 0 | 79285 | 213 568.99/569.26 c 566s | 16 | 160007 | 136252 | 198538 0 | 79285 | 213 571.19/571.46 c 568s | 16 | 160617 | 136852 | 198538 0 | 79285 | 213 573.29/573.57 c 570s | 16 | 161222 | 137452 | 198538 0 | 79285 | 213 575.59/575.84 c 573s | 16 | 161834 | 138052 | 198538 0 | 79285 | 213 577.79/578.10 c 575s | 16 | 162438 | 138652 | 198538 0 | 79285 | 213 580.29/580.50 c 577s | 16 | 163046 | 139252 | 198538 0 | 79285 | 213 582.39/582.69 c 579s | 16 | 163654 | 139852 | 198538 0 | 79285 | 213 584.78/585.01 c 582s | 16 | 164259 | 140452 | 198538 0 | 79285 | 213 586.78/587.06 c 584s | 16 | 164763 | 140952 | 198538 0 | 79285 | 213 589.18/589.48 c 586s | 16 | 165368 | 141552 | 198538 0 | 79285 | 213 591.38/591.64 c 588s | 16 | 165870 | 142052 | 198538 0 | 79285 | 213 593.68/593.96 c 591s | 16 | 166480 | 142652 | 198538 0 | 79285 | 213 595.68/595.99 c 593s | 16 | 166976 | 143152 | 198538 0 | 79285 | 213 597.78/598.05 c 595s | 16 | 167292 | 143452 | 198538 0 | 79285 | 213 600.08/600.30 c 597s | 16 | 167795 | 143952 | 198538 0 | 79285 | 213 602.08/602.38 c 599s | 16 | 168309 | 144452 | 198538 0 | 79285 | 213 604.38/604.61 c 601s | 16 | 168905 | 145052 | 198538 0 | 79285 | 213 606.38/606.66 c 603s | 16 | 169423 | 145552 | 198538 0 | 79285 | 213 608.47/608.72 c 605s | 16 | 169920 | 146052 | 198538 0 | 79285 | 213 610.47/610.72 c 607s | 16 | 170427 | 146552 | 198538 0 | 79285 | 213 612.48/612.72 c 609s | 16 | 170931 | 147052 | 198538 0 | 79285 | 213 614.68/614.93 c 612s | 16 | 171447 | 147552 | 198538 0 | 79285 | 213 616.88/617.13 c 614s | 16 | 171950 | 148052 | 198538 0 | 79285 | 213 618.87/619.17 c 616s | 16 | 172452 | 148552 | 198538 0 | 79285 | 213 621.07/621.33 c 618s | 16 | 172953 | 149052 | 198538 0 | 79285 | 213 623.27/623.59 c 620s | 16 | 173468 | 149552 | 198538 0 | 79285 | 213 625.57/625.87 c 623s | 16 | 173975 | 150052 | 198538 0 | 79285 | 213 627.77/628.02 c 625s | 16 | 174478 | 150552 | 198538 0 | 79285 | 213 629.87/630.18 c 627s | 16 | 174978 | 151052 | 198538 0 | 79285 | 213 631.97/632.20 c 629s | 16 | 175490 | 151552 | 198538 0 | 79285 | 213 634.16/634.41 c 631s | 16 | 175994 | 152052 | 198538 0 | 79285 | 213 636.56/636.83 c 634s | 16 | 176492 | 152552 | 198538 0 | 79285 | 213 639.06/639.32 c 636s | 16 | 176994 | 153052 | 198538 0 | 79285 | 213 641.36/641.68 c 638s | 16 | 177516 | 153552 | 198538 0 | 79285 | 213 643.56/643.82 c 641s | 16 | 178014 | 154052 | 198538 0 | 79285 | 213 646.86/647.17 c 644s | 16 | 178526 | 154552 | 198538 0 | 79285 | 213 648.96/649.20 c 646s | 16 | 178830 | 154852 | 198538 0 | 79285 | 213 651.65/651.97 c 649s | 16 | 179239 | 155252 | 198538 0 | 79285 | 213 654.15/654.49 c 651s | 16 | 179637 | 155652 | 198538 0 | 79285 | 213 656.85/657.15 c 654s | 16 | 180052 | 156052 | 198538 0 | 79285 | 213 659.45/659.76 c 656s | 16 | 180444 | 156452 | 198538 0 | 79285 | 213 661.45/661.76 c 658s | 16 | 180746 | 156752 | 198538 0 | 79285 | 213 663.45/663.79 c 660s | 16 | 181053 | 157052 | 198538 0 | 79285 | 213 666.14/666.46 c 663s | 16 | 181462 | 157452 | 198538 0 | 79285 | 213 668.14/668.49 c 665s | 16 | 181769 | 157752 | 198538 0 | 79285 | 213 670.24/670.52 c 667s | 16 | 182070 | 158052 | 198538 0 | 79285 | 213 672.34/672.62 c 669s | 16 | 182376 | 158352 | 198538 0 | 79285 | 213 674.33/674.64 c 671s | 16 | 182680 | 158652 | 198538 0 | 79285 | 213 676.43/676.71 c 673s | 16 | 182981 | 158952 | 198538 0 | 79285 | 213 678.54/678.81 c 675s | 16 | 183287 | 159252 | 198538 0 | 79285 | 213 680.53/680.89 c 678s | 16 | 183591 | 159552 | 198538 0 | 79285 | 213 682.63/682.98 c 680s | 16 | 183876 | 159852 | 198538 0 | 79285 | 213 684.73/685.06 c 682s | 16 | 184184 | 160152 | 198538 0 | 79285 | 213 686.83/687.15 c 684s | 16 | 184491 | 160452 | 198538 0 | 79285 | 213 689.03/689.36 c 686s | 16 | 184794 | 160752 | 198538 0 | 79285 | 213 691.13/691.48 c 688s | 16 | 185098 | 161052 | 198538 0 | 79285 | 213 693.33/693.64 c 690s | 16 | 185397 | 161352 | 198538 0 | 79285 | 213 695.43/695.75 c 692s | 16 | 185707 | 161652 | 198538 0 | 79285 | 213 698.13/698.40 c 695s | 16 | 186113 | 162052 | 198538 0 | 79285 | 213 700.13/700.41 c 697s | 16 | 186415 | 162352 | 198538 0 | 79285 | 213 702.13/702.50 c 699s | 16 | 186720 | 162652 | 198538 0 | 79285 | 213 704.42/704.74 c 701s | 16 | 187030 | 162952 | 198538 0 | 79285 | 213 706.72/707.02 c 704s | 16 | 187335 | 163252 | 198538 0 | 79285 | 213 708.92/709.28 c 706s | 16 | 187623 | 163552 | 198538 0 | 79285 | 213 711.32/711.61 c 708s | 16 | 187925 | 163852 | 198538 0 | 79285 | 213 713.62/713.97 c 711s | 16 | 188227 | 164152 | 198538 0 | 79285 | 213 715.82/716.19 c 713s | 16 | 188537 | 164452 | 198538 0 | 79285 | 213 717.92/718.25 c 715s | 16 | 188842 | 164752 | 198538 0 | 79285 | 213 720.02/720.34 c 717s | 16 | 189144 | 165052 | 198538 0 | 79285 | 213 722.12/722.49 c 719s | 16 | 189444 | 165352 | 198538 0 | 79285 | 213 724.51/724.80 c 721s | 16 | 189759 | 165652 | 198538 0 | 79285 | 213 726.82/727.12 c 724s | 16 | 190066 | 165952 | 198538 0 | 79285 | 213 729.12/729.43 c 726s | 16 | 190366 | 166252 | 198538 0 | 79285 | 213 731.81/732.17 c 729s | 16 | 190674 | 166552 | 198538 0 | 79285 | 213 734.41/734.79 c 731s | 16 | 190976 | 166852 | 198538 0 | 79285 | 213 737.21/737.51 c 734s | 16 | 191282 | 167152 | 198538 0 | 79285 | 213 739.91/740.22 c 737s | 16 | 191588 | 167452 | 198538 0 | 79285 | 213 742.61/742.99 c 740s | 16 | 191887 | 167752 | 198538 0 | 79285 | 213 745.30/745.61 c 742s | 16 | 192086 | 167952 | 198538 0 | 79285 | 213 747.81/748.15 c 745s | 16 | 192389 | 168252 | 198538 0 | 79285 | 213 750.30/750.69 c 747s | 16 | 192701 | 168552 | 198538 0 | 79285 | 213 752.90/753.27 c 750s | 16 | 193004 | 168852 | 198538 0 | 79285 | 213 755.51/755.86 c 753s | 16 | 193308 | 169152 | 198538 0 | 79285 | 213 758.20/758.58 c 755s | 16 | 193612 | 169452 | 198538 0 | 79285 | 213 760.91/761.22 c 758s | 16 | 193910 | 169752 | 198538 0 | 79285 | 213 763.50/763.87 c 761s | 16 | 194209 | 170052 | 198538 0 | 79285 | 213 766.20/766.56 c 763s | 16 | 194508 | 170352 | 198538 0 | 79285 | 213 769.00/769.32 c 766s | 16 | 194806 | 170652 | 198538 0 | 79285 | 213 771.20/771.58 c 768s | 16 | 195032 | 170852 | 198538 0 | 79285 | 213 773.80/774.18 c 771s | 16 | 195435 | 171252 | 198538 0 | 79285 | 213 776.20/776.57 c 773s | 16 | 195739 | 171552 | 198538 0 | 79285 | 213 778.60/778.91 c 776s | 16 | 196040 | 171852 | 198538 0 | 79285 | 213 780.91/781.23 c 778s | 16 | 196338 | 172152 | 198538 0 | 79285 | 213 783.31/783.66 c 780s | 16 | 196642 | 172452 | 198538 0 | 79285 | 213 785.60/785.98 c 783s | 16 | 196943 | 172752 | 198538 0 | 79285 | 213 788.00/788.36 c 785s | 16 | 197241 | 173052 | 198538 0 | 79285 | 213 790.50/790.81 c 788s | 16 | 197559 | 173352 | 198538 0 | 79285 | 213 792.81/793.19 c 790s | 16 | 197858 | 173652 | 198538 0 | 79285 | 213 795.20/795.59 c 792s | 16 | 198157 | 173952 | 198538 0 | 79285 | 213 797.70/798.06 c 795s | 16 | 198463 | 174252 | 198538 0 | 79285 | 213 800.10/800.47 c 797s | 16 | 198764 | 174552 | 198538 0 | 79285 | 213 802.50/802.89 c 800s | 16 | 199062 | 174852 | 198538 0 | 79285 | 213 805.09/805.42 c 802s | 16 | 199368 | 175152 | 198538 0 | 79285 | 213 807.49/807.88 c 805s | 16 | 199682 | 175452 | 198538 0 | 79285 | 213 810.09/810.42 c 807s | 16 | 199985 | 175752 | 198538 0 | 79285 | 213 812.49/812.90 c 810s | 16 | 200285 | 176052 | 198538 0 | 79285 | 213 814.99/815.38 c 812s | 16 | 200583 | 176352 | 198538 0 | 79285 | 213 817.69/818.01 c 815s | 16 | 200887 | 176652 | 198538 0 | 79285 | 213 820.30/820.63 c 817s | 16 | 201186 | 176952 | 198538 0 | 79285 | 213 822.99/823.37 c 820s | 16 | 201491 | 177252 | 198538 0 | 79285 | 213 825.69/826.02 c 823s | 16 | 201803 | 177552 | 198538 0 | 79285 | 213 828.29/828.68 c 825s | 16 | 202103 | 177852 | 198538 0 | 79285 | 213 830.99/831.39 c 828s | 16 | 202408 | 178152 | 198538 0 | 79285 | 213 833.69/834.09 c 831s | 16 | 202708 | 178452 | 198538 0 | 79285 | 213 836.49/836.86 c 834s | 16 | 203006 | 178752 | 198538 0 | 79285 | 213 839.29/839.66 c 836s | 16 | 203304 | 179052 | 198538 0 | 79285 | 213 842.19/842.54 c 839s | 16 | 203605 | 179352 | 198538 0 | 79285 | 213 845.18/845.55 c 842s | 16 | 203927 | 179652 | 198538 0 | 79285 | 213 847.58/847.99 c 845s | 16 | 204226 | 179952 | 198538 0 | 79285 | 213 850.09/850.45 c 847s | 16 | 204525 | 180252 | 198538 0 | 79285 | 213 852.58/852.95 c 850s | 16 | 204823 | 180552 | 198538 0 | 79285 | 213 855.08/855.49 c 852s | 16 | 205121 | 180852 | 198538 0 | 79285 | 213 857.98/858.36 c 855s | 16 | 205428 | 181152 | 198538 0 | 79285 | 213 859.98/860.39 c 857s | 16 | 205637 | 181352 | 198538 0 | 79285 | 213 862.88/863.27 c 860s | 16 | 205935 | 181652 | 198538 0 | 79285 | 213 866.37/866.80 c 863s | 16 | 206251 | 181952 | 198538 0 | 79285 | 213 868.47/868.82 c 866s | 16 | 206656 | 182352 | 198538 0 | 79285 | 213 870.77/871.14 c 868s | 16 | 207152 | 182852 | 198538 0 | 79285 | 213 872.97/873.33 c 870s | 16 | 207663 | 183352 | 198538 0 | 79285 | 213 875.28/875.70 c 872s | 16 | 208175 | 183852 | 198538 0 | 79285 | 213 877.58/877.91 c 875s | 16 | 208672 | 184352 | 198538 0 | 79285 | 213 879.97/880.31 c 877s | 16 | 209184 | 184852 | 198538 0 | 79285 | 213 882.27/882.67 c 879s | 16 | 209682 | 185352 | 198538 0 | 79285 | 213 884.77/885.14 c 882s | 16 | 210194 | 185852 | 198538 0 | 79285 | 213 886.77/887.15 c 884s | 16 | 210601 | 186252 | 198538 0 | 79285 | 213 888.77/889.17 c 886s | 16 | 211014 | 186652 | 198538 0 | 79285 | 213 891.07/891.41 c 888s | 16 | 211506 | 187152 | 198538 0 | 79285 | 213 893.47/893.84 c 891s | 16 | 212013 | 187652 | 198538 0 | 79285 | 213 895.56/895.91 c 893s | 16 | 212424 | 188052 | 198538 0 | 79285 | 213 897.86/898.28 c 895s | 16 | 212919 | 188552 | 198538 0 | 79285 | 213 900.06/900.41 c 897s | 16 | 213321 | 188952 | 198538 0 | 79285 | 213 902.16/902.56 c 899s | 16 | 213730 | 189352 | 198538 0 | 79285 | 213 904.56/904.96 c 902s | 16 | 214223 | 189852 | 198538 0 | 79285 | 213 906.66/907.00 c 904s | 16 | 214635 | 190252 | 198538 0 | 79285 | 213 908.96/909.37 c 906s | 16 | 215143 | 190752 | 198538 0 | 79285 | 213 911.16/911.51 c 908s | 16 | 215545 | 191152 | 198538 0 | 79285 | 213 913.36/913.72 c 910s | 16 | 215957 | 191552 | 198538 0 | 79285 | 213 915.76/916.16 c 913s | 16 | 216451 | 192052 | 198538 0 | 79285 | 213 917.96/918.31 c 915s | 16 | 216854 | 192452 | 198538 0 | 79285 | 213 920.25/920.69 c 917s | 16 | 217265 | 192852 | 198538 0 | 79285 | 213 922.75/923.13 c 920s | 16 | 217760 | 193352 | 198538 0 | 79285 | 213 924.86/925.26 c 922s | 16 | 218165 | 193752 | 198538 0 | 79285 | 213 927.15/927.57 c 924s | 16 | 218569 | 194152 | 198538 0 | 79285 | 213 929.35/929.77 c 926s | 16 | 218983 | 194552 | 198538 0 | 79285 | 213 931.46/931.85 c 929s | 16 | 219385 | 194952 | 198538 0 | 79285 | 213 933.75/934.18 c 931s | 16 | 219790 | 195352 | 198538 0 | 79285 | 213 935.95/936.34 c 933s | 16 | 220106 | 195652 | 198538 0 | 79285 | 213 938.15/938.54 c 935s | 16 | 220512 | 196052 | 198538 0 | 79285 | 213 940.45/940.89 c 938s | 16 | 221010 | 196552 | 218392 0 | 79285 | 213 942.55/942.92 c 940s | 16 | 221518 | 197052 | 218392 0 | 79285 | 213 944.25/944.62 c 941s | 17 | 221908 | 197432 | 218392 0 | 79285 | 213 949.06/949.49 c 946s | 17 | 222260 | 197532 | 218392 0 | 79285 | 213 951.16/951.60 c 948s | 17 | 222770 | 198032 | 218392 0 | 79285 | 213 953.25/953.63 c 950s | 17 | 223074 | 198332 | 218392 0 | 79285 | 213 955.25/955.69 c 952s | 17 | 223583 | 198832 | 218392 0 | 79285 | 213 957.45/957.81 c 954s | 17 | 224083 | 199332 | 218392 0 | 79285 | 213 959.55/959.99 c 957s | 17 | 224595 | 199832 | 218392 0 | 79285 | 213 961.65/962.09 c 959s | 17 | 225089 | 200332 | 218392 0 | 79285 | 213 963.95/964.33 c 961s | 17 | 225602 | 200832 | 218392 0 | 79285 | 213 966.05/966.49 c 963s | 17 | 226097 | 201332 | 218392 0 | 79285 | 213 968.35/968.73 c 965s | 17 | 226425 | 201632 | 218392 0 | 79285 | 213 970.45/970.88 c 968s | 17 | 226918 | 202132 | 218392 0 | 79285 | 213 972.75/973.18 c 970s | 17 | 227426 | 202632 | 218392 0 | 79285 | 213 975.04/975.42 c 972s | 17 | 227929 | 203132 | 218392 0 | 79285 | 213 977.04/977.48 c 974s | 17 | 228433 | 203632 | 218392 0 | 79285 | 213 979.24/979.68 c 976s | 17 | 228938 | 204132 | 218392 0 | 79285 | 213 981.44/981.83 c 979s | 17 | 229445 | 204632 | 218392 0 | 79285 | 213 983.74/984.10 c 981s | 17 | 229954 | 205132 | 218392 0 | 79285 | 213 985.84/986.27 c 983s | 17 | 230458 | 205632 | 218392 0 | 79285 | 213 988.24/988.63 c 985s | 17 | 231056 | 206232 | 218392 0 | 79285 | 213 990.34/990.74 c 987s | 17 | 231562 | 206732 | 218392 0 | 79285 | 213 992.54/992.99 c 990s | 17 | 232079 | 207232 | 218392 0 | 79285 | 213 994.84/995.21 c 992s | 17 | 232573 | 207732 | 218392 0 | 79285 | 213 997.24/997.62 c 994s | 17 | 233079 | 208232 | 218392 0 | 79285 | 213 999.55/999.94 c 997s | 17 | 233583 | 208732 | 218392 0 | 79285 | 213 1001.64/1002.02 c 999s | 17 | 234090 | 209232 | 218392 0 | 79285 | 213 1003.74/1004.19 c 1001s | 17 | 234583 | 209732 | 218392 0 | 79285 | 213 1005.83/1006.25 c 1003s | 17 | 234995 | 210132 | 218392 0 | 79285 | 213 1008.13/1008.50 c 1005s | 17 | 235504 | 210632 | 218392 0 | 79285 | 213 1010.54/1010.93 c 1008s | 17 | 235998 | 211132 | 218392 0 | 79285 | 213 1012.53/1012.98 c 1010s | 17 | 236401 | 211532 | 218392 0 | 79285 | 213 1014.73/1015.17 c 1012s | 17 | 236812 | 211932 | 218392 0 | 79285 | 213 1016.83/1017.27 c 1014s | 17 | 237223 | 212332 | 218392 0 | 79285 | 213 1019.13/1019.54 c 1016s | 17 | 237626 | 212732 | 218392 0 | 79285 | 213 1021.43/1021.87 c 1019s | 17 | 238031 | 213132 | 218392 0 | 79285 | 213 1023.53/1023.96 c 1021s | 17 | 238338 | 213432 | 218392 0 | 79285 | 213 1025.72/1026.12 c 1023s | 17 | 238741 | 213832 | 218392 0 | 79285 | 213 1027.92/1028.31 c 1025s | 17 | 239132 | 214232 | 218392 0 | 79285 | 213 1030.12/1030.59 c 1027s | 17 | 239534 | 214632 | 218392 0 | 79285 | 213 1032.72/1033.12 c 1030s | 17 | 239943 | 215032 | 218392 0 | 79285 | 213 1035.22/1035.68 c 1032s | 17 | 240347 | 215432 | 218392 0 | 79285 | 213 1038.42/1038.89 c 1036s | 17 | 240660 | 215732 | 218392 0 | 79285 | 213 1040.71/1041.15 c 1038s | 17 | 240961 | 216032 | 218392 0 | 79285 | 213 1042.71/1043.18 c 1040s | 17 | 241261 | 216332 | 218392 0 | 79285 | 213 1044.81/1045.26 c 1042s | 17 | 241581 | 216632 | 218392 0 | 79285 | 213 1047.21/1047.69 c 1044s | 17 | 241970 | 217032 | 218392 0 | 79285 | 213 1049.81/1050.29 c 1047s | 17 | 242379 | 217432 | 218392 0 | 79285 | 213 1052.42/1052.89 c 1050s | 17 | 242783 | 217832 | 218392 0 | 79285 | 213 1055.21/1055.62 c 1052s | 17 | 243192 | 218232 | 218392 0 | 79285 | 213 1057.71/1058.16 c 1055s | 17 | 243597 | 218632 | 218392 0 | 79285 | 213 1060.40/1060.82 c 1058s | 17 | 244006 | 219032 | 218392 0 | 79285 | 213 1062.40/1062.84 c 1060s | 17 | 244306 | 219332 | 218392 0 | 79285 | 213 1064.41/1064.86 c 1062s | 17 | 244605 | 219632 | 218392 0 | 79285 | 213 1066.61/1067.02 c 1064s | 17 | 244908 | 219932 | 218392 0 | 79285 | 213 1069.20/1069.62 c 1066s | 17 | 245312 | 220332 | 218392 0 | 79285 | 213 1071.90/1072.34 c 1069s | 17 | 245722 | 220732 | 218392 0 | 79285 | 213 1074.00/1074.46 c 1071s | 17 | 246022 | 221032 | 218392 0 | 79285 | 213 1076.10/1076.55 c 1073s | 17 | 246323 | 221332 | 218392 0 | 79285 | 213 1078.30/1078.76 c 1075s | 17 | 246626 | 221632 | 218392 0 | 79285 | 213 1080.30/1080.79 c 1077s | 17 | 246927 | 221932 | 218392 0 | 79285 | 213 1082.40/1082.83 c 1080s | 17 | 247240 | 222232 | 218392 0 | 79285 | 213 1084.50/1084.99 c 1082s | 17 | 247545 | 222532 | 218392 0 | 79285 | 213 1086.70/1087.15 c 1084s | 17 | 247846 | 222832 | 218392 0 | 79285 | 213 1088.90/1089.31 c 1086s | 17 | 248144 | 223132 | 218392 0 | 79285 | 213 1090.91/1091.38 c 1088s | 17 | 248451 | 223432 | 218392 0 | 79285 | 213 1093.50/1093.97 c 1091s | 17 | 248853 | 223832 | 218392 0 | 79285 | 213 1096.20/1096.62 c 1093s | 17 | 249255 | 224232 | 218392 0 | 79285 | 213 1098.90/1099.34 c 1096s | 17 | 249570 | 224532 | 218392 0 | 79285 | 213 1101.20/1101.66 c 1098s | 17 | 249873 | 224832 | 218392 0 | 79285 | 213 1103.80/1104.23 c 1101s | 17 | 250387 | 225332 | 218392 0 | 79285 | 213 1105.80/1106.24 c 1103s | 17 | 250884 | 225832 | 218392 0 | 79285 | 213 1108.10/1108.52 c 1105s | 17 | 251398 | 226332 | 218392 0 | 79285 | 213 1110.20/1110.68 c 1107s | 17 | 251892 | 226832 | 218392 0 | 79285 | 213 1112.49/1112.91 c 1110s | 17 | 252407 | 227332 | 218392 0 | 79285 | 213 1114.69/1115.15 c 1112s | 17 | 252919 | 227832 | 218392 0 | 79285 | 213 1116.89/1117.33 c 1114s | 17 | 253416 | 228332 | 218392 0 | 79285 | 213 1119.19/1119.65 c 1116s | 17 | 253930 | 228832 | 218392 0 | 79285 | 213 1121.39/1121.82 c 1119s | 17 | 254424 | 229332 | 218392 0 | 79285 | 213 1123.69/1124.18 c 1121s | 17 | 254940 | 229832 | 218392 0 | 79285 | 213 1126.00/1126.47 c 1123s | 17 | 255433 | 230332 | 218392 0 | 79285 | 213 1128.20/1128.67 c 1125s | 17 | 255947 | 230832 | 218392 0 | 79285 | 213 1130.59/1131.02 c 1128s | 17 | 256460 | 231332 | 218392 0 | 79285 | 213 1132.89/1133.36 c 1130s | 17 | 256957 | 231832 | 218392 0 | 79285 | 213 1135.49/1135.93 c 1133s | 17 | 257470 | 232332 | 218392 0 | 79285 | 213 1137.69/1138.11 c 1135s | 17 | 257965 | 232832 | 218392 0 | 79285 | 213 1140.59/1141.03 c 1138s | 17 | 258492 | 233332 | 218392 0 | 79285 | 213 1142.99/1143.48 c 1140s | 17 | 258895 | 233732 | 218392 0 | 79285 | 213 1145.39/1145.85 c 1143s | 17 | 259389 | 234232 | 218392 0 | 79285 | 213 1147.79/1148.29 c 1145s | 17 | 259901 | 234732 | 218392 0 | 79285 | 213 1150.30/1150.73 c 1147s | 17 | 260398 | 235232 | 218392 0 | 79285 | 213 1152.79/1153.20 c 1150s | 17 | 260809 | 235632 | 218392 0 | 79285 | 213 1154.89/1155.37 c 1152s | 17 | 261213 | 236032 | 218392 0 | 79285 | 213 1157.19/1157.62 c 1154s | 17 | 261618 | 236432 | 218392 0 | 79285 | 213 1159.59/1160.05 c 1157s | 17 | 262032 | 236832 | 218392 0 | 79285 | 213 1161.79/1162.28 c 1159s | 17 | 262438 | 237232 | 218392 0 | 79285 | 213 1164.09/1164.58 c 1161s | 17 | 262842 | 237632 | 218392 0 | 79285 | 213 1166.38/1166.81 c 1163s | 17 | 263232 | 238032 | 218392 0 | 79285 | 213 1168.78/1169.27 c 1166s | 17 | 263645 | 238432 | 218392 0 | 79285 | 213 1171.19/1171.64 c 1168s | 17 | 264155 | 238932 | 218392 0 | 79285 | 213 1173.18/1173.65 c 1170s | 17 | 264559 | 239332 | 218392 0 | 79285 | 213 1175.28/1175.70 c 1172s | 17 | 264961 | 239732 | 218392 0 | 79285 | 213 1177.58/1178.10 c 1175s | 17 | 265360 | 240132 | 218392 0 | 79285 | 213 1179.89/1180.37 c 1177s | 17 | 265765 | 240532 | 218392 0 | 79285 | 213 1182.28/1182.76 c 1179s | 17 | 266169 | 240932 | 218392 0 | 79285 | 213 1184.77/1185.25 c 1182s | 17 | 266467 | 241232 | 218392 0 | 79285 | 213 1187.07/1187.52 c 1184s | 17 | 266870 | 241632 | 218392 0 | 79285 | 213 1189.17/1189.62 c 1186s | 17 | 267287 | 242032 | 218392 0 | 79285 | 213 1191.57/1192.07 c 1189s | 17 | 267794 | 242532 | 218392 0 | 79285 | 213 1193.57/1194.08 c 1191s | 17 | 268182 | 242932 | 218392 0 | 79285 | 213 1195.77/1196.21 c 1193s | 17 | 268585 | 243332 | 218392 0 | 79285 | 213 1198.07/1198.57 c 1195s | 17 | 269003 | 243732 | 218392 0 | 79285 | 213 1200.37/1200.82 c 1198s | 17 | 269408 | 244132 | 218392 0 | 79285 | 213 1202.68/1203.12 c 1200s | 17 | 269810 | 244532 | 218392 0 | 79285 | 213 1205.08/1205.52 c 1202s | 17 | 270214 | 244932 | 218392 0 | 79285 | 213 1207.48/1207.92 c 1205s | 17 | 270622 | 245332 | 218392 0 | 79285 | 213 1209.78/1210.28 c 1207s | 17 | 271011 | 245732 | 218392 0 | 79285 | 213 1212.08/1212.53 c 1209s | 17 | 271425 | 246132 | 218392 0 | 79285 | 213 1214.48/1214.93 c 1212s | 17 | 271933 | 246632 | 218392 0 | 79285 | 213 1216.98/1217.42 c 1214s | 17 | 272428 | 247132 | 218392 0 | 79285 | 213 1219.17/1219.62 c 1216s | 17 | 272831 | 247532 | 218392 0 | 79285 | 213 1221.87/1222.39 c 1219s | 17 | 273060 | 247732 | 218392 0 | 79285 | 213 1223.98/1224.45 c 1221s | 17 | 273257 | 247932 | 218392 0 | 79285 | 213 1226.08/1226.55 c 1223s | 17 | 273467 | 248132 | 218392 0 | 79285 | 213 1228.87/1229.38 c 1226s | 17 | 273765 | 248432 | 218392 0 | 79285 | 213 1231.87/1232.30 c 1229s | 17 | 274069 | 248732 | 218392 0 | 79285 | 213 1234.67/1235.14 c 1232s | 17 | 274368 | 249032 | 218392 0 | 79285 | 213 1237.57/1238.01 c 1235s | 17 | 274667 | 249332 | 218392 0 | 79285 | 213 1239.67/1240.12 c 1237s | 17 | 274882 | 249532 | 218392 0 | 79285 | 213 1242.47/1242.91 c 1240s | 17 | 275183 | 249832 | 218392 0 | 79285 | 213 1245.27/1245.75 c 1242s | 17 | 275482 | 250132 | 218392 0 | 79285 | 213 1248.18/1248.67 c 1245s | 17 | 275780 | 250432 | 218392 0 | 79285 | 213 1251.17/1251.60 c 1248s | 17 | 276086 | 250732 | 218392 0 | 79285 | 213 1253.87/1254.37 c 1251s | 17 | 276386 | 251032 | 218392 0 | 79285 | 213 1256.77/1257.22 c 1254s | 17 | 276684 | 251332 | 218392 0 | 79285 | 213 1259.67/1260.17 c 1257s | 17 | 277004 | 251632 | 218392 0 | 79285 | 213 1262.57/1263.09 c 1260s | 17 | 277305 | 251932 | 218392 0 | 79285 | 213 1265.57/1266.03 c 1263s | 17 | 277604 | 252232 | 218392 0 | 79285 | 213 1268.57/1269.06 c 1266s | 17 | 277909 | 252532 | 218392 0 | 79285 | 213 1271.37/1271.85 c 1269s | 17 | 278212 | 252832 | 218392 0 | 79285 | 213 1274.27/1274.76 c 1271s | 17 | 278514 | 253132 | 218392 0 | 79285 | 213 1277.16/1277.68 c 1274s | 17 | 278817 | 253432 | 218392 0 | 79285 | 213 1279.26/1279.71 c 1276s | 17 | 279033 | 253632 | 218392 0 | 79285 | 213 1282.17/1282.70 c 1279s | 17 | 279333 | 253932 | 218392 0 | 79285 | 213 1285.26/1285.72 c 1282s | 17 | 279635 | 254232 | 218392 0 | 79285 | 213 1287.36/1287.84 c 1285s | 17 | 279853 | 254432 | 218392 0 | 79285 | 213 1290.26/1290.77 c 1287s | 17 | 280154 | 254732 | 218392 0 | 79285 | 213 1293.27/1293.73 c 1290s | 17 | 280456 | 255032 | 218392 0 | 79285 | 213 1296.26/1296.72 c 1293s | 17 | 280758 | 255332 | 218392 0 | 79285 | 213 1298.36/1298.83 c 1296s | 17 | 280960 | 255532 | 218392 0 | 79285 | 213 1300.46/1300.93 c 1298s | 17 | 281167 | 255732 | 218392 0 | 79285 | 213 1302.56/1303.05 c 1300s | 17 | 281365 | 255932 | 218392 0 | 79285 | 213 1304.75/1305.25 c 1302s | 17 | 281576 | 256132 | 218392 0 | 79285 | 213 1306.95/1307.48 c 1304s | 17 | 281776 | 256332 | 218392 0 | 79285 | 213 1309.05/1309.57 c 1306s | 17 | 281984 | 256532 | 218392 0 | 79285 | 213 1311.15/1311.69 c 1308s | 17 | 282178 | 256732 | 218392 0 | 79285 | 213 1313.35/1313.85 c 1311s | 17 | 282373 | 256932 | 218392 0 | 79285 | 213 1315.45/1315.97 c 1313s | 17 | 282581 | 257132 | 218392 0 | 79285 | 213 1317.65/1318.20 c 1315s | 17 | 282783 | 257332 | 218392 0 | 79285 | 213 1320.05/1320.51 c 1317s | 17 | 282993 | 257532 | 218392 0 | 79285 | 213 1322.15/1322.68 c 1319s | 17 | 283187 | 257732 | 218392 0 | 79285 | 213 1324.45/1324.93 c 1322s | 17 | 283396 | 257932 | 218392 0 | 79285 | 213 1326.65/1327.15 c 1324s | 17 | 283590 | 258132 | 218392 0 | 79285 | 213 1328.95/1329.45 c 1326s | 17 | 283783 | 258332 | 218392 0 | 79285 | 213 1331.25/1331.70 c 1328s | 17 | 283996 | 258532 | 218392 0 | 79285 | 213 1333.35/1333.85 c 1331s | 17 | 284191 | 258732 | 218392 0 | 79285 | 213 1335.55/1336.05 c 1333s | 17 | 284399 | 258932 | 218392 0 | 79285 | 213 1337.75/1338.20 c 1335s | 17 | 284594 | 259132 | 218392 0 | 79285 | 213 1339.85/1340.39 c 1337s | 17 | 284790 | 259332 | 218392 0 | 79285 | 213 1342.35/1342.85 c 1340s | 17 | 285010 | 259532 | 218392 0 | 79285 | 213 1344.35/1344.89 c 1342s | 17 | 285203 | 259732 | 218392 0 | 79285 | 213 1346.75/1347.24 c 1344s | 17 | 285414 | 259932 | 218392 0 | 79285 | 213 1348.95/1349.46 c 1346s | 17 | 285610 | 260132 | 218392 0 | 79285 | 213 1351.25/1351.72 c 1348s | 17 | 285822 | 260332 | 218392 0 | 79285 | 213 1353.45/1353.99 c 1351s | 17 | 286018 | 260532 | 218392 0 | 79285 | 213 1355.85/1356.34 c 1353s | 17 | 286215 | 260732 | 218392 0 | 79285 | 213 1358.15/1358.67 c 1355s | 17 | 286431 | 260932 | 218392 0 | 79285 | 213 1360.35/1360.88 c 1358s | 17 | 286626 | 261132 | 218392 0 | 79285 | 213 1362.64/1363.18 c 1360s | 17 | 286839 | 261332 | 218392 0 | 79285 | 213 1364.94/1365.43 c 1362s | 17 | 287034 | 261532 | 218392 0 | 79285 | 213 1367.34/1367.88 c 1365s | 17 | 287254 | 261732 | 218392 0 | 79285 | 213 1369.74/1370.22 c 1367s | 17 | 287447 | 261932 | 218392 0 | 79285 | 213 1372.24/1372.70 c 1369s | 17 | 287642 | 262132 | 218392 0 | 79285 | 213 1374.65/1375.10 c 1372s | 17 | 287856 | 262332 | 218392 0 | 79285 | 213 1377.04/1377.51 c 1374s | 17 | 288052 | 262532 | 218392 0 | 79285 | 213 1381.33/1381.86 c 1379s | 17 | 288280 | 262732 | 218392 0 | 79285 | 213 1383.73/1384.28 c 1381s | 17 | 288684 | 263132 | 218392 0 | 79285 | 213 1385.93/1386.47 c 1383s | 17 | 289181 | 263632 | 218392 0 | 79285 | 213 1387.93/1388.48 c 1385s | 17 | 289586 | 264032 | 218392 0 | 79285 | 213 1390.33/1390.80 c 1387s | 17 | 290096 | 264532 | 218392 0 | 79285 | 213 1392.73/1393.23 c 1390s | 17 | 290592 | 265032 | 218392 0 | 79285 | 213 1395.03/1395.52 c 1392s | 17 | 291102 | 265532 | 218392 0 | 79285 | 213 1397.43/1397.96 c 1395s | 17 | 291599 | 266032 | 218392 0 | 79285 | 213 1399.43/1399.97 c 1397s | 17 | 292006 | 266432 | 218392 0 | 79285 | 213 1401.83/1402.34 c 1399s | 17 | 292518 | 266932 | 218392 0 | 79285 | 213 1403.83/1404.38 c 1401s | 17 | 292923 | 267332 | 218392 0 | 79285 | 213 1405.93/1406.46 c 1403s | 17 | 293328 | 267732 | 218392 0 | 79285 | 213 1408.33/1408.80 c 1405s | 17 | 293823 | 268232 | 218392 0 | 79285 | 213 1410.73/1411.23 c 1408s | 17 | 294336 | 268732 | 218392 0 | 79285 | 213 1413.04/1413.54 c 1410s | 17 | 294831 | 269232 | 218392 0 | 79285 | 213 1415.03/1415.59 c 1412s | 17 | 295239 | 269632 | 218392 0 | 79285 | 213 1417.43/1417.95 c 1415s | 17 | 295745 | 270132 | 218392 0 | 79285 | 213 1419.43/1419.99 c 1417s | 17 | 296142 | 270532 | 218392 0 | 79285 | 213 1421.83/1422.31 c 1419s | 17 | 296648 | 271032 | 218392 0 | 79285 | 213 1424.33/1424.82 c 1422s | 17 | 297164 | 271532 | 218392 0 | 79285 | 213 1426.73/1427.27 c 1424s | 17 | 297554 | 271932 | 218392 0 | 79285 | 213 1429.13/1429.63 c 1426s | 17 | 297957 | 272332 | 218392 0 | 79285 | 213 1431.63/1432.10 c 1429s | 17 | 298359 | 272732 | 218392 0 | 79285 | 213 1433.73/1434.27 c 1431s | 17 | 298774 | 273132 | 218392 0 | 79285 | 213 1436.23/1436.75 c 1433s | 17 | 299282 | 273632 | 218392 0 | 79285 | 213 1438.22/1438.79 c 1435s | 17 | 299674 | 274032 | 218392 0 | 79285 | 213 1440.82/1441.33 c 1438s | 17 | 300086 | 274432 | 218392 0 | 79285 | 213 1443.32/1443.82 c 1441s | 17 | 300488 | 274832 | 218392 0 | 79285 | 213 1445.83/1446.40 c 1443s | 17 | 300890 | 275232 | 218392 0 | 79285 | 213 1448.24/1448.72 c 1445s | 17 | 301304 | 275632 | 218392 0 | 79285 | 213 1450.33/1450.80 c 1447s | 17 | 301706 | 276032 | 218392 0 | 79285 | 213 1452.43/1452.95 c 1450s | 17 | 302108 | 276432 | 218392 0 | 79285 | 213 1454.94/1455.49 c 1452s | 17 | 302508 | 276832 | 218392 0 | 79285 | 213 1457.53/1458.08 c 1455s | 17 | 302913 | 277232 | 218392 0 | 79285 | 213 1459.53/1460.08 c 1457s | 17 | 303211 | 277532 | 218392 0 | 79285 | 213 1461.83/1462.35 c 1459s | 17 | 303531 | 277832 | 218392 0 | 79285 | 213 1464.13/1464.62 c 1461s | 17 | 303922 | 278232 | 218392 0 | 79285 | 213 1466.43/1466.91 c 1464s | 17 | 304326 | 278632 | 218392 0 | 79285 | 213 1468.83/1469.34 c 1466s | 17 | 304729 | 279032 | 218392 0 | 79285 | 213 1472.02/1472.56 c 1469s | 17 | 304854 | 279132 | 218392 0 | 79285 | 213 1474.32/1474.90 c 1472s | 17 | 305260 | 279532 | 218392 0 | 79285 | 213 1476.52/1477.07 c 1474s | 17 | 305757 | 280032 | 218392 0 | 79285 | 213 1478.72/1479.25 c 1476s | 17 | 306267 | 280532 | 218392 0 | 79285 | 213 1481.12/1481.65 c 1478s | 17 | 306765 | 281032 | 218392 0 | 79285 | 213 1483.12/1483.68 c 1480s | 17 | 307177 | 281432 | 218392 0 | 79285 | 213 1485.32/1485.85 c 1483s | 17 | 307683 | 281932 | 218392 0 | 79285 | 213 1487.72/1488.27 c 1485s | 17 | 308176 | 282432 | 218392 0 | 79285 | 213 1490.22/1490.72 c 1487s | 17 | 308697 | 282932 | 218392 0 | 79285 | 213 1492.32/1492.81 c 1490s | 17 | 309098 | 283332 | 218392 0 | 79285 | 213 1494.52/1495.06 c 1492s | 17 | 309507 | 283732 | 218392 0 | 79285 | 213 1496.92/1497.42 c 1494s | 17 | 310000 | 284232 | 218392 0 | 79285 | 213 1498.92/1499.49 c 1496s | 17 | 310403 | 284632 | 218392 0 | 79285 | 213 1501.02/1501.58 c 1498s | 17 | 310816 | 285032 | 218392 0 | 79285 | 213 1503.12/1503.62 c 1500s | 17 | 311218 | 285432 | 218392 0 | 79285 | 213 1505.22/1505.72 c 1502s | 17 | 311621 | 285832 | 218392 0 | 79285 | 213 1507.31/1507.84 c 1505s | 17 | 312033 | 286232 | 218392 0 | 79285 | 213 1509.51/1510.08 c 1507s | 17 | 312528 | 286732 | 218392 0 | 79285 | 213 1512.02/1512.59 c 1509s | 17 | 313035 | 287232 | 218392 0 | 79285 | 213 1514.22/1514.78 c 1511s | 17 | 313447 | 287632 | 218392 0 | 79285 | 213 1516.61/1517.14 c 1514s | 17 | 313941 | 288132 | 218392 0 | 79285 | 213 1518.81/1519.32 c 1516s | 17 | 314346 | 288532 | 218392 0 | 79285 | 213 1521.21/1521.70 c 1518s | 17 | 314759 | 288932 | 218392 0 | 79285 | 213 1523.51/1524.10 c 1521s | 17 | 315256 | 289432 | 218392 0 | 79285 | 213 1526.11/1526.67 c 1523s | 17 | 315763 | 289932 | 218392 0 | 79285 | 213 1528.62/1529.14 c 1526s | 17 | 316175 | 290332 | 218392 0 | 79285 | 213 1531.12/1531.60 c 1528s | 17 | 316670 | 290832 | 218392 0 | 79285 | 213 1533.42/1533.93 c 1531s | 17 | 317074 | 291232 | 218392 0 | 79285 | 213 1535.92/1536.44 c 1533s | 17 | 317477 | 291632 | 218392 0 | 79285 | 213 1538.21/1538.78 c 1535s | 17 | 317590 | 291732 | 218392 0 | 79285 | 213 1540.62/1541.18 c 1538s | 17 | 318086 | 292232 | 218392 0 | 79285 | 213 1542.61/1543.19 c 1540s | 17 | 318489 | 292632 | 218392 0 | 79285 | 213 1545.02/1545.51 c 1542s | 17 | 318891 | 293032 | 218392 0 | 79285 | 213 1547.22/1547.72 c 1544s | 17 | 319304 | 293432 | 218392 0 | 79285 | 213 1549.31/1549.89 c 1547s | 17 | 319707 | 293832 | 218392 0 | 79285 | 213 1551.72/1552.21 c 1549s | 17 | 320110 | 294232 | 240232 0 | 79285 | 213 1554.21/1554.72 c 1551s | 17 | 320520 | 294632 | 240232 0 | 79285 | 213 1556.61/1557.10 c 1554s | 17 | 320907 | 295032 | 240232 0 | 79285 | 213 1558.61/1559.15 c 1556s | 17 | 321220 | 295332 | 240232 0 | 79285 | 213 1561.62/1562.17 c 1559s | 17 | 321537 | 295632 | 240232 0 | 79285 | 213 1564.21/1564.71 c 1561s | 17 | 321943 | 296032 | 240232 0 | 79285 | 213 1565.31/1565.82 c 1563s | 18 | 322155 | 296252 | 240232 0 | 79285 | 213 1573.71/1574.22 c 1571s | 18 | 322511 | 296352 | 240232 0 | 79285 | 213 1576.01/1576.52 c 1573s | 18 | 322922 | 296752 | 240232 0 | 79285 | 213 1578.41/1578.95 c 1576s | 18 | 323414 | 297252 | 240232 0 | 79285 | 213 1580.51/1581.05 c 1578s | 18 | 323825 | 297652 | 240232 0 | 79285 | 213 1583.11/1583.62 c 1580s | 18 | 324339 | 298152 | 240232 0 | 79285 | 213 1585.51/1586.07 c 1583s | 18 | 324833 | 298652 | 240232 0 | 79285 | 213 1587.70/1588.21 c 1585s | 18 | 325242 | 299052 | 240232 0 | 79285 | 213 1589.70/1590.22 c 1587s | 18 | 325647 | 299452 | 240232 0 | 79285 | 213 1591.80/1592.39 c 1589s | 18 | 326055 | 299852 | 240232 0 | 79285 | 213 1593.90/1594.46 c 1591s | 18 | 326463 | 300252 | 240232 0 | 79285 | 213 1596.10/1596.66 c 1593s | 18 | 326871 | 300652 | 240232 0 | 79285 | 213 1598.20/1598.76 c 1595s | 18 | 327261 | 301052 | 240232 0 | 79285 | 213 1600.30/1600.87 c 1598s | 18 | 327663 | 301452 | 240232 0 | 79285 | 213 1602.50/1603.01 c 1600s | 18 | 328072 | 301852 | 240232 0 | 79285 | 213 1605.00/1605.50 c 1602s | 18 | 328580 | 302352 | 240232 0 | 79285 | 213 1607.40/1607.99 c 1605s | 18 | 328991 | 302752 | 240232 0 | 79285 | 213 1609.91/1610.41 c 1607s | 18 | 329379 | 303152 | 240232 0 | 79285 | 213 1611.90/1612.47 c 1609s | 18 | 329698 | 303452 | 240232 0 | 79285 | 213 1614.00/1614.53 c 1611s | 18 | 330090 | 303852 | 240232 0 | 79285 | 213 1616.10/1616.61 c 1613s | 18 | 330494 | 304252 | 240232 0 | 79285 | 213 1618.40/1618.99 c 1616s | 18 | 330905 | 304652 | 240232 0 | 79285 | 213 1620.50/1621.01 c 1618s | 18 | 331204 | 304952 | 240232 0 | 79285 | 213 1623.11/1623.68 c 1620s | 18 | 331606 | 305352 | 240232 0 | 79285 | 213 1625.41/1625.93 c 1623s | 18 | 332017 | 305752 | 240232 0 | 79285 | 213 1627.50/1628.03 c 1625s | 18 | 332422 | 306152 | 240232 0 | 79285 | 213 1629.70/1630.29 c 1627s | 18 | 332824 | 306552 | 240232 0 | 79285 | 213 1632.30/1632.83 c 1630s | 18 | 333240 | 306952 | 240232 0 | 79285 | 213 1634.50/1635.01 c 1632s | 18 | 333540 | 307252 | 240232 0 | 79285 | 213 1636.99/1637.50 c 1634s | 18 | 333630 | 307352 | 240232 0 | 79285 | 213 1639.00/1639.56 c 1636s | 18 | 333838 | 307552 | 240232 0 | 79285 | 213 1641.30/1641.85 c 1639s | 18 | 334242 | 307952 | 240232 0 | 79285 | 213 1643.70/1644.24 c 1641s | 18 | 334654 | 308352 | 240232 0 | 79285 | 213 1645.80/1646.31 c 1643s | 18 | 335043 | 308752 | 240232 0 | 79285 | 213 1647.90/1648.48 c 1645s | 18 | 335445 | 309152 | 240232 0 | 79285 | 213 1650.20/1650.76 c 1647s | 18 | 335850 | 309552 | 240232 0 | 79285 | 213 1652.70/1653.28 c 1650s | 18 | 336081 | 309752 | 240232 0 | 79285 | 213 1654.80/1655.31 c 1652s | 18 | 336472 | 310152 | 240232 0 | 79285 | 213 1657.00/1657.56 c 1654s | 18 | 336978 | 310652 | 240232 0 | 79285 | 213 1659.20/1659.72 c 1656s | 18 | 337494 | 311152 | 240232 0 | 79285 | 213 1661.60/1662.13 c 1659s | 18 | 338092 | 311752 | 240232 0 | 79285 | 213 1663.90/1664.49 c 1661s | 18 | 338586 | 312252 | 240232 0 | 79285 | 213 1666.10/1666.67 c 1663s | 18 | 338989 | 312652 | 240232 0 | 79285 | 213 1668.30/1668.82 c 1666s | 18 | 339404 | 313052 | 240232 0 | 79285 | 213 1670.40/1670.99 c 1668s | 18 | 339914 | 313552 | 240232 0 | 79285 | 213 1672.70/1673.23 c 1670s | 18 | 340407 | 314052 | 240232 0 | 79285 | 213 1674.70/1675.28 c 1672s | 18 | 340810 | 314452 | 240232 0 | 79285 | 213 1676.90/1677.42 c 1674s | 18 | 341212 | 314852 | 240232 0 | 79285 | 213 1678.89/1679.44 c 1676s | 18 | 341629 | 315252 | 240232 0 | 79285 | 213 1681.19/1681.70 c 1678s | 18 | 342121 | 315752 | 240232 0 | 79285 | 213 1683.60/1684.14 c 1681s | 18 | 342627 | 316252 | 240232 0 | 79285 | 213 1685.69/1686.30 c 1683s | 18 | 343032 | 316652 | 240232 0 | 79285 | 213 1688.00/1688.57 c 1685s | 18 | 343448 | 317052 | 240232 0 | 79285 | 213 1690.30/1690.89 c 1688s | 18 | 343942 | 317552 | 240232 0 | 79285 | 213 1692.59/1693.12 c 1690s | 18 | 344344 | 317952 | 240232 0 | 79285 | 213 1694.79/1695.31 c 1692s | 18 | 344747 | 318352 | 240232 0 | 79285 | 213 1697.09/1697.61 c 1694s | 18 | 345149 | 318752 | 240232 0 | 79285 | 213 1699.29/1699.82 c 1697s | 18 | 345569 | 319152 | 240232 0 | 79285 | 213 1701.69/1702.27 c 1699s | 18 | 346062 | 319652 | 240232 0 | 79285 | 213 1703.79/1704.31 c 1701s | 18 | 346465 | 320052 | 240232 0 | 79285 | 213 1714.39/1715.00 c 1712s | 18 | 346660 | 320252 | 240232 1 | 79285 | 213
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-4101073-1466220575/watcher-4101073-1466220575 -o /tmp/evaluation-result-4101073-1466220575/solver-4101073-1466220575 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101073-1466220575.opb pid=13196 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.02 2.07 2.04 2/179 13199 /proc/meminfo: memFree=28259408/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=727484 CPUtime=0 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 2712 0 0 0 0 0 0 0 20 0 4 0 24107972 744943616 3073 33554432000 4194304 16246674 140734845053840 140734845053264 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13199/statm: 182383 3082 441 2943 0 179277 0 [pid=13199/tid=13200] ppid=13196 vsize=744892 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 762769408 3143 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=750012 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24107972 768012288 3162 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=754108 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24107972 772206592 3178 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 2.02 2.07 2.04 2/179 13199 /proc/meminfo: memFree=28259408/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=1300036 CPUtime=0.09 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 28706 0 0 0 6 3 0 0 20 0 4 0 24107972 1331236864 29004 33554432000 4194304 16246674 140734845053840 140734845053152 7371468 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13199/statm: 325009 29020 799 2943 0 321903 0 [pid=13199/tid=13200] ppid=13196 vsize=1300036 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 1331236864 29031 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=1300036 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24107972 1331236864 29042 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=1300036 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 1331236864 29054 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1300036 [startup+0.200535 s] /proc/loadavg: 2.02 2.07 2.04 2/179 13199 /proc/meminfo: memFree=28259408/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=1314372 CPUtime=0.18 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 49027 0 0 0 13 5 0 0 20 0 4 0 24107972 1345916928 49836 33554432000 4194304 16246674 140734845053840 140734845036832 7364320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 328593 49836 799 2943 0 325487 0 [pid=13199/tid=13200] ppid=13196 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 1345916928 49836 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24107972 1345916928 49836 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 1345916928 49836 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1314372 [startup+0.300522 s] /proc/loadavg: 2.02 2.07 2.04 2/179 13199 /proc/meminfo: memFree=28259408/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=1314372 CPUtime=0.28 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 53999 0 0 0 22 6 0 0 20 0 4 0 24107972 1345916928 54808 33554432000 4194304 16246674 140734845053840 140734845036832 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 328593 54808 801 2943 0 325487 0 [pid=13199/tid=13200] ppid=13196 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 1345916928 54808 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24107972 1345916928 54808 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 1345916928 54808 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1314372 [startup+0.700427 s] /proc/loadavg: 2.02 2.07 2.04 2/179 13199 /proc/meminfo: memFree=28259408/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=1314372 CPUtime=0.69 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 66526 0 0 0 61 8 0 0 20 0 4 0 24107972 1345916928 67335 33554432000 4194304 16246674 140734845053840 140734845036832 4220552 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 328593 67335 802 2943 0 325487 0 [pid=13199/tid=13200] ppid=13196 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 1345916928 67335 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24107972 1345916928 67335 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 1345916928 67335 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50043 s] /proc/loadavg: 2.02 2.07 2.04 3/183 13203 /proc/meminfo: memFree=27929292/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=1367620 CPUtime=1.48 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 93180 0 0 0 138 10 0 0 20 0 4 0 24107972 1400442880 93989 33554432000 4194304 16246674 140734845053840 140734845035712 4220978 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 341905 93989 844 2943 0 338799 0 [pid=13199/tid=13200] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 93989 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 93989 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 93989 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1367620 [startup+3.1004 s] /proc/loadavg: 2.02 2.07 2.04 3/183 13203 /proc/meminfo: memFree=27867044/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=1367620 CPUtime=3.09 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 108681 0 0 0 297 12 0 0 20 0 4 0 24107972 1400442880 109490 33554432000 4194304 16246674 140734845053840 140734845051648 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 341905 109498 885 2943 0 338799 0 [pid=13199/tid=13200] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 109503 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 109508 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 109512 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1367620 [startup+6.30043 s] /proc/loadavg: 2.02 2.07 2.04 3/183 13203 /proc/meminfo: memFree=27271368/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=1367620 CPUtime=6.28 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 246345 0 0 0 599 29 0 0 20 0 4 0 24107972 1400442880 247154 33554432000 4194304 16246674 140734845053840 140734845035712 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 341905 247154 900 2943 0 338799 0 [pid=13199/tid=13200] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 247154 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 247154 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 247154 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1367620 [startup+12.7004 s] /proc/loadavg: 2.02 2.06 2.04 3/183 13203 /proc/meminfo: memFree=27185092/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=1367620 CPUtime=12.68 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 267979 0 0 0 1236 32 0 0 20 0 4 0 24107972 1400442880 268788 33554432000 4194304 16246674 140734845053840 140734845035712 5712780 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 341905 268788 900 2943 0 338799 0 [pid=13199/tid=13200] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 268788 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 268788 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 268788 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1367620 [startup+25.5005 s] /proc/loadavg: 2.01 2.06 2.04 3/183 13203 /proc/meminfo: memFree=27144004/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=1367620 CPUtime=25.49 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 267979 0 0 0 2516 33 0 0 20 0 4 0 24107972 1400442880 268788 33554432000 4194304 16246674 140734845053840 140734845035712 5712667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 341905 268788 900 2943 0 338799 0 [pid=13199/tid=13200] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 268788 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 268788 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 268788 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1367620 [startup+51.1004 s] /proc/loadavg: 2.09 2.07 2.04 3/184 13256 /proc/meminfo: memFree=29507532/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=1367620 CPUtime=51.08 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 267979 0 0 0 5075 33 0 0 20 0 4 0 24107972 1400442880 268788 33554432000 4194304 16246674 140734845053840 140734845035712 5600380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 341905 268788 900 2943 0 338799 0 [pid=13199/tid=13200] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 268788 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 268788 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 268788 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1367620 [startup+102.3 s] /proc/loadavg: 2.08 2.07 2.04 3/183 13257 /proc/meminfo: memFree=29452124/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=1367620 CPUtime=102.27 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 268580 0 0 0 10193 34 0 0 20 0 4 0 24107972 1400442880 269390 33554432000 4194304 16246674 140734845053840 140734845035712 13759937 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 341905 269390 900 2943 0 338799 0 [pid=13199/tid=13200] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 269390 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 269390 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 1400442880 269390 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1367620 ################ # More data... # ################ /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 2358841344 517391 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 2303556 [startup+1302.3 s] /proc/loadavg: 2.03 2.03 2.00 3/183 13287 /proc/meminfo: memFree=28423424/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=2303556 CPUtime=1301.86 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 516940 0 0 0 130112 74 0 0 20 0 4 0 24107972 2358841344 517391 33554432000 4194304 16246674 140734845053840 140734845035712 6021620 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 575889 517391 903 2943 0 572783 0 [pid=13199/tid=13200] ppid=13196 vsize=2303556 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 2358841344 517391 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=2303556 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 2358841344 517391 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=2303556 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 2358841344 517391 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 2303556 [startup+1362.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 13288 /proc/meminfo: memFree=28419328/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=2303556 CPUtime=1361.85 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 516944 0 0 0 136111 74 0 0 20 0 4 0 24107972 2358841344 517391 33554432000 4194304 16246674 140734845053840 140734845051648 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 575889 517391 903 2943 0 572783 0 [pid=13199/tid=13200] ppid=13196 vsize=2303556 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 2358841344 517391 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=2303556 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 2358841344 517391 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=2303556 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 2358841344 517391 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 2303556 [startup+1422.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 13289 /proc/meminfo: memFree=28269192/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=2454084 CPUtime=1421.83 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 554448 0 0 0 142105 78 0 0 20 0 4 0 24107972 2512982016 554895 33554432000 4194304 16246674 140734845053840 140734845035712 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 613521 554895 903 2943 0 610415 0 [pid=13199/tid=13200] ppid=13196 vsize=2454084 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 2512982016 554895 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=2454084 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 2512982016 554895 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=2454084 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 2512982016 554895 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 2454084 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 13290 /proc/meminfo: memFree=28148944/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=2573892 CPUtime=1481.82 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 584528 0 0 0 148099 83 0 0 20 0 4 0 24107972 2635665408 584975 33554432000 4194304 16246674 140734845053840 140734845035712 5712128 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 643473 584975 903 2943 0 640367 0 [pid=13199/tid=13200] ppid=13196 vsize=2573892 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 2635665408 584975 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=2573892 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 2635665408 584975 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=2573892 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 2635665408 584975 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 2573892 [startup+1542.31 s] /proc/loadavg: 2.08 2.02 2.01 3/183 13291 /proc/meminfo: memFree=28042580/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=2680388 CPUtime=1541.82 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 610936 0 0 0 154095 87 0 0 20 0 4 0 24107972 2744717312 611383 33554432000 4194304 16246674 140734845053840 140734845035712 5823428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 670097 611383 903 2943 0 666991 0 [pid=13199/tid=13200] ppid=13196 vsize=2680388 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 2744717312 611383 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=2680388 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 2744717312 611383 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=2680388 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 2744717312 611383 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 2680388 [startup+1602.3 s] /proc/loadavg: 2.14 2.05 2.01 3/183 13293 /proc/meminfo: memFree=28042488/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=2680388 CPUtime=1601.8 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 610936 0 0 0 160093 87 0 0 20 0 4 0 24107972 2744717312 611383 33554432000 4194304 16246674 140734845053840 140734845035712 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 670097 611383 903 2943 0 666991 0 [pid=13199/tid=13200] ppid=13196 vsize=2680388 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 2744717312 611383 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=2680388 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 2744717312 611383 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=2680388 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 2744717312 611383 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 2680388 [startup+1662.3 s] /proc/loadavg: 2.08 2.05 2.01 4/183 13294 /proc/meminfo: memFree=27933264/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=2788932 CPUtime=1661.8 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 638170 0 0 0 166089 91 0 0 20 0 4 0 24107972 2855866368 638617 33554432000 4194304 16246674 140734845053840 140734845035712 13194104 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 697233 638617 903 2943 0 694127 0 [pid=13199/tid=13200] ppid=13196 vsize=2788932 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 2855866368 638617 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=2788932 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 2855866368 638617 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=2788932 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 2855866368 638617 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 2788932 [startup+1722.3 s] /proc/loadavg: 2.09 2.05 2.01 3/183 13295 /proc/meminfo: memFree=27803712/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=2917956 CPUtime=1721.79 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 670546 0 0 0 172083 96 0 0 20 0 4 0 24107972 2987986944 670993 33554432000 4194304 16246674 140734845053840 140734845052936 13908559 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 729489 670993 905 2943 0 726383 0 [pid=13199/tid=13200] ppid=13196 vsize=2917956 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 2987986944 670993 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=2917956 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 2987986944 670993 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=2917956 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 2987986944 670993 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 2917956 [startup+1782.3 s] /proc/loadavg: 2.03 2.04 2.00 3/183 13296 /proc/meminfo: memFree=27755752/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=2965060 CPUtime=1781.77 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 682322 0 0 0 178078 99 0 0 20 0 4 0 24107972 3036221440 682769 33554432000 4194304 16246674 140734845053840 140734845053016 13908556 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 741265 682769 905 2943 0 738159 0 [pid=13199/tid=13200] ppid=13196 vsize=2965060 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 3036221440 682769 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=2965060 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 3036221440 682769 33554432000 4194304 16246674 140734845053840 140107426274544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=2965060 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 3036221440 682769 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 2965060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.02 2.04 2.00 3/183 13296 /proc/meminfo: memFree=27755724/32872528 swapFree=249320/249320 [pid=13199] ppid=13196 vsize=2965060 CPUtime=1800.08 cores=1,3,5,7 /proc/13199/stat : 13199 (toysat) R 13196 13199 11324 0 -1 4202496 682322 0 0 0 179908 100 0 0 20 0 4 0 24107972 3036221440 682769 33554432000 4194304 16246674 140734845053840 140734845051648 13882248 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13199/statm: 741265 682769 905 2943 0 738159 0 [pid=13199/tid=13200] ppid=13196 vsize=2965060 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13200/stat : 13200 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 3036221440 682769 33554432000 4194304 16246674 140734845053840 140107436764400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=13199/tid=13201] ppid=13196 vsize=2965060 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13201/stat : 13201 (toysat) S 13196 13199 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24107972 3036221440 682769 33554432000 4194304 16246674 140734845053840 140107426274320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13199/tid=13202] ppid=13196 vsize=2965060 CPUtime=0 cores=1,3,5,7 /proc/13199/task/13202/stat : 13202 (toysat) S 13196 13199 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24107972 3036221440 682769 33554432000 4194304 16246674 140734845053840 140107415801008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 2965060 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 13199 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.65 CPU time (s): 1800.13 CPU user time (s): 1799.09 CPU system time (s): 1.03884 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (KiB): 2965060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.09 system time used= 1.03884 maximum resident set size= 2731076 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 682322 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= 480 involuntary context switches= 1949 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.39518 second user time and 7.67383 second system time The end
Begin job on node103 at 2016-06-18 05:29:36 IDJOB=4101073 IDBENCH=1697 IDSOLVER=2542 FILE ID=node103/4101073-1466220575 RUNJOBID= node103-1466206104-11341 PBS_JOBID= 19918169 Free space on /tmp= 71708 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship08l.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101073-1466220575/watcher-4101073-1466220575 -o /tmp/evaluation-result-4101073-1466220575/solver-4101073-1466220575 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101073-1466220575.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bac9a878c3cd85b78fbd03dede34f379 RANDOM SEED=1659451157 node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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: 28259704 kB Buffers: 102452 kB Cached: 124116 kB SwapCached: 2200 kB Active: 3486736 kB Inactive: 135580 kB Active(anon): 3394520 kB Inactive(anon): 3600 kB Active(file): 92216 kB Inactive(file): 131980 kB Unevictable: 249320 kB Mlocked: 249320 kB SwapTotal: 67108856 kB SwapFree: 67099436 kB Dirty: 21752 kB Writeback: 0 kB AnonPages: 3750204 kB Mapped: 10860 kB Shmem: 0 kB Slab: 601528 kB SReclaimable: 45312 kB SUnreclaim: 556216 kB KernelStack: 1488 kB PageTables: 11200 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3787364 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1425408 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= 71696 MiB End job on node103 at 2016-06-18 05:59:36