| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.24 | 1800.55 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-qiu.opb |
| MD5SUM | 644f01bea590fadfbdc9e969c95da3cf |
| 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 | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 23808 |
| Total number of constraints | 1192 |
| 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 | 1192 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 5940 |
| Number of terms in the objective function | 7968 |
| Biggest coefficient in the objective function | 993 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 530424 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262144 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 530424 |
| 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-18T07:00:31+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-4101681-1466226030.opb"] 0.00/0.01 c use --random-gen="3297231631 1598178665 4165095816 1476944416 2649783848 3638020496 2486685945 2536169815 289325210 137000929 890648442 2289202378 944144286 2626102330 3068386106 2841702702 2665084890 386283438 4146601399 2712372687 3602169501 3598955273 729301789 100769904 1957035958 1815191556 2953235587 81733489 2348679523 1099908304 3141467624 118778428 2727265377 469747486 1994607305 1793946874 342033742 996556406 2444044311 1346863057 2918931762 2451508241 2709843194 1875737182 2044349058 1288031429 736696614 2026525449 728171509 2417140 164446225 2000338433 3255791583 4187204675 2468515628 1406894830 1711570192 858149802 1962432983 1853651111 4104817408 4203739633 355752603 1852882004 2690022531 206072522 1815010420 751221343 3679226320 884915246 2813347940 3161809391 3186031928 1007660053 313391166 1402606306 3178924518 2209415152 580665143 2562846857 1626300046 1546575616 282388131 35306051 2555103605 3276638709 3856159741 1209546077 2080401838 815583370 860666240 883550468 2867354073 4261133278 296732266 1433420222 2844653573 623538487 2219543942 2443193609 3608235650 2687854848 15070786 997063259 1118935227 2092995784 2710008363 591046678 3440251935 3886508501 1264534621 3343276675 1749414393 3070713711 3594343626 3223483588 3529117117 1144135546 3446885519 1690012798 2441392742 1142149196 808015458 2288904803 2311675786 2806129844 1155304628 3701381058 514976853 1756873891 2597019876 1625327846 186726070 4121528423 2198610022 3420224919 3422265437 4270303319 2757277950 729936103 532974742 45684812 3508447722 3431196508 2010142564 3979426188 2377514284 3638731281 1165935216 1236842789 843808339 309366999 17250077 1289563512 1724420418 2605225083 528672082 1028134727 3991646112 1603763068 6705630 3341270498 2001564942 1061141599 2397093749 1011018735 3936880225 315048293 123604571 3093125758 2401645456 908945046 1846093194 3709456518 1595299185 2630343845 1460050456 828351394 4133037580 2856358490 3159172201 2866184869 4268613595 464751239 3405417174 730277024 4196701652 1778408714 2856097233 2749391531 1825951064 3846317970 4109637621 2323228763 533791770 3578426872 653111784 2588487117 1365713478 1824289058 1230701691 2118867119 528081986 1343421863 2220189184 3892008954 17765362 2248160139 3315315290 559099184 596769611 3716691594 2508019007 2241994019 1426961902 2107522367 670778156 516307002 589661891 441799989 737575901 1336982084 831444218 4042607210 1307960626 1648576002 1070712610 3668221304 3855597223 2372830024 1100039588 1844159284 4030947979 3051083190 3122384058 3694642492 2266890175 3542125496 1822831539 1568832233 536566367 1318719833 89169392 1335673358 1815277980 3064275497 2872798474 3194941565 1205026478 1772357402 2997138281 2562319440 2404591042 3561559004 2118873966 2446608776 255 362436" option to reproduce the execution 0.19/0.20 c #vars 23808 0.19/0.20 c #constraints 1192 0.38/0.49 c BCD2: Hardening is enabled. 0.38/0.49 c BCD2: BiasedSearch is enabled. 0.38/0.49 c Solving starts ... 0.38/0.49 c ============================[ Search Statistics ]============================ 0.38/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.49 c | | | | Limit GC | Var | Constra 0.38/0.49 c ============================================================================= 0.38/0.49 c 0.0s | 0 | 0 | 0 | 8377 0 | 12964 | 0 0.58/0.67 c 0.2s | 1 | 1585 | 100 | 8377 0 | 12973 | 0 0.88/0.98 c 0.5s | 2 | 6807 | 250 | 9215 0 | 12976 | 0 1.78/1.82 c 1.3s | 3 | 8381 | 475 | 10137 0 | 12976 | 0 3.78/3.85 c 3.4s | 4 | 12775 | 813 | 11151 0 | 12978 | 0 6.08/6.11 c 5.6s | 4 | 15178 | 1213 | 12267 0 | 12978 | 0 6.60/6.69 c 6.2s | 5 | 15363 | 1320 | 12267 0 | 12978 | 0 8.80/8.81 c 8.3s | 5 | 17307 | 1720 | 13494 0 | 12978 | 0 10.69/10.79 c 10.3s | 6 | 18204 | 2081 | 14844 0 | 12978 | 0 13.30/13.36 c 12.9s | 6 | 20626 | 2481 | 14844 0 | 12978 | 0 15.49/15.58 c 15.1s | 6 | 21563 | 2881 | 14844 0 | 12978 | 0 17.39/17.42 c 16.9s | 7 | 22410 | 3223 | 16329 0 | 12978 | 0 19.69/19.78 c 19.3s | 7 | 24139 | 3623 | 16329 0 | 12978 | 0 21.79/21.82 c 21.3s | 7 | 25050 | 4023 | 16329 0 | 12978 | 0 23.79/23.84 c 23.3s | 7 | 26186 | 4423 | 16329 0 | 12978 | 0 25.89/25.96 c 25.5s | 7 | 27339 | 4823 | 16329 0 | 12978 | 0 26.58/26.64 c 26.1s | 8 | 27653 | 4936 | 17962 0 | 12978 | 0 28.69/28.79 c 28.3s | 8 | 29382 | 5236 | 17962 0 | 12978 | 0 30.79/30.87 c 30.4s | 8 | 30083 | 5636 | 17962 0 | 12978 | 0 32.99/33.07 c 32.6s | 8 | 31153 | 6036 | 17962 0 | 12978 | 0 35.48/35.52 c 35.0s | 8 | 32727 | 6536 | 17962 0 | 12978 | 0 37.49/37.55 c 37.1s | 8 | 33762 | 6936 | 17962 0 | 12978 | 0 39.88/39.90 c 39.4s | 8 | 35002 | 7336 | 17962 0 | 12978 | 0 40.69/40.78 c 40.3s | 9 | 35293 | 7506 | 19759 0 | 12978 | 0 43.08/43.19 c 42.7s | 9 | 37153 | 7806 | 19759 0 | 12978 | 0 45.28/45.39 c 44.9s | 9 | 39667 | 8106 | 19759 0 | 12979 | 0 47.78/47.84 c 47.3s | 9 | 40844 | 8506 | 19759 0 | 12979 | 0 50.18/50.29 c 49.8s | 9 | 41929 | 8906 | 19759 0 | 12979 | 0 52.68/52.80 c 52.3s | 9 | 42856 | 9306 | 19759 0 | 12979 | 0 55.28/55.34 c 54.9s | 9 | 43959 | 9706 | 19759 0 | 12979 | 0 57.58/57.68 c 57.2s | 9 | 44939 | 10106 | 19759 0 | 12979 | 0 60.08/60.15 c 59.7s | 9 | 46092 | 10506 | 19759 0 | 12979 | 0 62.08/62.15 c 61.7s | 9 | 46931 | 10806 | 19759 0 | 12979 | 0 64.38/64.41 c 63.9s | 9 | 47715 | 11106 | 19759 0 | 12979 | 0 66.18/66.29 c 65.8s | 10 | 48285 | 11361 | 21735 0 | 12979 | 0 68.58/68.60 c 68.1s | 10 | 50147 | 11561 | 21735 0 | 12979 | 0 70.58/70.62 c 70.1s | 10 | 50911 | 11861 | 21735 0 | 12979 | 0 72.58/72.65 c 72.2s | 10 | 51723 | 12161 | 21735 0 | 12979 | 0 75.28/75.34 c 74.8s | 10 | 52676 | 12561 | 21735 0 | 12979 | 0 78.38/78.49 c 78.0s | 10 | 54851 | 12861 | 21735 0 | 12980 | 0 80.78/80.82 c 80.3s | 10 | 55832 | 13261 | 21735 0 | 12980 | 0 83.18/83.20 c 82.7s | 10 | 57151 | 13661 | 21735 0 | 12980 | 0 85.18/85.20 c 84.7s | 10 | 58035 | 13961 | 21735 0 | 12980 | 0 87.58/87.66 c 87.2s | 10 | 58895 | 14361 | 21735 0 | 12980 | 0 90.08/90.12 c 89.6s | 10 | 59826 | 14761 | 21735 0 | 12980 | 0 92.38/92.49 c 92.0s | 10 | 60748 | 15161 | 21735 0 | 12980 | 0 94.58/94.64 c 94.1s | 10 | 61556 | 15461 | 21735 0 | 12980 | 0 97.18/97.25 c 96.8s | 10 | 62947 | 15861 | 21735 0 | 12980 | 0 99.68/99.74 c 99.2s | 10 | 64083 | 16261 | 21735 0 | 12980 | 0 102.28/102.36 c 101s | 10 | 65153 | 16661 | 21735 0 | 12980 | 0 104.37/104.42 c 103s | 10 | 65915 | 16961 | 21735 0 | 12980 | 0 105.47/105.50 c 105s | 11 | 66325 | 17144 | 23909 0 | 12980 | 0 107.97/108.05 c 107s | 11 | 68123 | 17344 | 23909 0 | 12980 | 0 110.48/110.55 c 110s | 11 | 69086 | 17744 | 23909 0 | 12980 | 0 112.47/112.59 c 112s | 11 | 69778 | 18044 | 23909 0 | 12980 | 0 115.07/115.10 c 114s | 11 | 70629 | 18444 | 23909 0 | 12980 | 0 117.07/117.14 c 116s | 11 | 71388 | 18744 | 23909 0 | 12980 | 0 119.67/119.73 c 119s | 11 | 72414 | 19144 | 23909 0 | 12980 | 0 121.67/121.77 c 121s | 11 | 73073 | 19444 | 23909 0 | 12980 | 0 124.17/124.30 c 123s | 11 | 73919 | 19844 | 23909 0 | 12980 | 0 126.77/126.89 c 126s | 11 | 74754 | 20244 | 23909 0 | 12980 | 0 129.37/129.45 c 128s | 11 | 75505 | 20644 | 23909 0 | 12980 | 0 131.37/131.45 c 130s | 11 | 76082 | 20944 | 23909 0 | 12980 | 0 133.47/133.56 c 133s | 11 | 76686 | 21244 | 23909 0 | 12980 | 0 135.47/135.57 c 135s | 11 | 77254 | 21544 | 23909 0 | 12980 | 0 137.77/137.86 c 137s | 11 | 78238 | 21844 | 23909 0 | 12980 | 0 139.78/139.89 c 139s | 11 | 79183 | 22144 | 23909 0 | 12980 | 0 142.27/142.32 c 141s | 11 | 79902 | 22444 | 23909 0 | 12980 | 0 144.67/144.74 c 144s | 11 | 80795 | 22744 | 23909 0 | 12980 | 0 147.38/147.42 c 146s | 11 | 81540 | 23044 | 23909 0 | 12980 | 0 150.17/150.27 c 149s | 11 | 82272 | 23344 | 23909 0 | 12980 | 0 152.97/153.02 c 152s | 11 | 83058 | 23644 | 23909 0 | 12980 | 0 155.86/155.94 c 155s | 11 | 83909 | 23944 | 23909 0 | 12980 | 0 158.77/158.81 c 158s | 11 | 84523 | 24244 | 23909 0 | 12980 | 0 161.56/161.69 c 161s | 11 | 85154 | 24544 | 23909 0 | 12980 | 0 163.76/163.87 c 163s | 11 | 85625 | 24744 | 23909 0 | 12980 | 0 166.76/166.87 c 166s | 11 | 86241 | 25044 | 23909 0 | 12980 | 0 169.86/169.90 c 169s | 11 | 86882 | 25344 | 23909 0 | 12980 | 0 171.86/171.96 c 171s | 11 | 87291 | 25544 | 23909 0 | 12980 | 0 174.07/174.18 c 173s | 11 | 87780 | 25744 | 26300 0 | 12980 | 0 174.97/175.07 c 174s | 12 | 87975 | 25819 | 26300 0 | 12980 | 0 177.97/178.09 c 177s | 12 | 89211 | 25919 | 26300 0 | 12980 | 0 180.96/181.09 c 180s | 12 | 89789 | 26219 | 26300 0 | 12980 | 0 183.16/183.28 c 182s | 12 | 90194 | 26419 | 26300 0 | 12980 | 0 185.46/185.53 c 185s | 12 | 90587 | 26619 | 26300 0 | 12980 | 0 187.76/187.87 c 187s | 12 | 90902 | 26819 | 26300 0 | 12980 | 0 190.07/190.18 c 189s | 12 | 91247 | 27019 | 26300 0 | 12980 | 0 192.16/192.24 c 191s | 12 | 91754 | 27219 | 26300 0 | 12980 | 0 194.16/194.25 c 193s | 12 | 92364 | 27419 | 26300 0 | 12980 | 0 196.66/196.72 c 196s | 12 | 93029 | 27719 | 26300 0 | 12980 | 0 199.07/199.12 c 198s | 12 | 93950 | 28019 | 26300 0 | 12980 | 0 201.66/201.73 c 201s | 12 | 94812 | 28319 | 26300 0 | 12980 | 0 203.76/203.85 c 203s | 12 | 95336 | 28519 | 26300 0 | 12980 | 0 205.77/205.89 c 205s | 12 | 95866 | 28719 | 26300 0 | 12980 | 0 208.46/208.54 c 208s | 12 | 96487 | 29019 | 26300 0 | 12980 | 0 210.56/210.69 c 210s | 12 | 96925 | 29219 | 26300 0 | 12980 | 0 213.56/213.64 c 213s | 12 | 97782 | 29519 | 26300 0 | 12980 | 0 216.26/216.37 c 215s | 12 | 98412 | 29819 | 26300 0 | 12980 | 0 219.36/219.41 c 218s | 12 | 99157 | 30119 | 26300 0 | 12980 | 0 222.26/222.33 c 221s | 12 | 99811 | 30419 | 26300 0 | 12980 | 0 224.36/224.43 c 223s | 12 | 100399 | 30619 | 26300 0 | 12980 | 0 226.86/226.95 c 226s | 12 | 101026 | 30919 | 26300 0 | 12980 | 0 228.86/228.98 c 228s | 12 | 101611 | 31119 | 26300 0 | 12980 | 0 230.96/231.09 c 230s | 12 | 102055 | 31319 | 26300 0 | 12980 | 0 233.85/233.90 c 233s | 12 | 102719 | 31619 | 26300 0 | 12980 | 0 236.46/236.59 c 236s | 12 | 103268 | 31919 | 26300 0 | 12980 | 0 238.55/238.66 c 238s | 12 | 103706 | 32119 | 26300 0 | 12980 | 0 241.45/241.54 c 241s | 12 | 104334 | 32419 | 26300 0 | 12980 | 0 244.35/244.46 c 243s | 12 | 104902 | 32719 | 26300 0 | 12980 | 0 247.25/247.33 c 246s | 12 | 105463 | 33019 | 26300 0 | 12980 | 0 249.36/249.42 c 248s | 12 | 105897 | 33219 | 26300 0 | 12980 | 0 251.55/251.68 c 251s | 12 | 106211 | 33419 | 26300 0 | 12980 | 0 253.75/253.89 c 253s | 12 | 106449 | 33619 | 26300 0 | 12980 | 0 256.85/256.96 c 256s | 12 | 107176 | 33919 | 26300 0 | 12980 | 0 259.15/259.26 c 258s | 12 | 107666 | 34119 | 26300 0 | 12980 | 0 261.95/262.05 c 261s | 12 | 108783 | 34419 | 26300 0 | 12980 | 0 264.55/264.62 c 264s | 12 | 109477 | 34719 | 26300 0 | 12980 | 0 267.15/267.28 c 266s | 12 | 110316 | 35019 | 26300 0 | 12980 | 0 269.65/269.75 c 269s | 12 | 111008 | 35319 | 26300 0 | 12980 | 0 272.24/272.32 c 271s | 12 | 111761 | 35619 | 26300 0 | 12980 | 0 274.65/274.75 c 274s | 12 | 112488 | 35919 | 26300 0 | 12980 | 0 277.16/277.26 c 276s | 12 | 113155 | 36219 | 26300 0 | 12980 | 0 279.55/279.68 c 279s | 12 | 113737 | 36519 | 26300 0 | 12980 | 0 281.95/282.06 c 281s | 12 | 114353 | 36819 | 26300 0 | 12980 | 0 284.54/284.68 c 284s | 12 | 114926 | 37119 | 26300 0 | 12980 | 0 287.15/287.21 c 286s | 12 | 115604 | 37419 | 26300 0 | 12980 | 0 289.74/289.84 c 289s | 12 | 116169 | 37719 | 26300 0 | 12980 | 0 292.24/292.34 c 291s | 12 | 116670 | 38019 | 26300 0 | 12980 | 0 294.86/294.95 c 294s | 12 | 117394 | 38319 | 26300 0 | 12980 | 0 297.05/297.14 c 296s | 12 | 117870 | 38619 | 28931 0 | 12980 | 0 298.95/299.02 c 298s | 13 | 118334 | 38832 | 28931 0 | 12980 | 0 302.65/302.72 c 302s | 13 | 119576 | 38932 | 28931 0 | 12980 | 0 305.44/305.50 c 305s | 13 | 120314 | 39232 | 28931 0 | 12980 | 0 308.24/308.34 c 307s | 13 | 120890 | 39532 | 28931 0 | 12980 | 0 314.05/314.10 c 313s | 13 | 122714 | 39832 | 28931 0 | 12981 | 0 316.34/316.40 c 315s | 13 | 123233 | 40032 | 28931 0 | 12981 | 0 318.54/318.60 c 318s | 13 | 123613 | 40232 | 28931 0 | 12981 | 0 321.44/321.59 c 321s | 13 | 124489 | 40532 | 28931 0 | 12981 | 0 323.54/323.66 c 323s | 13 | 125013 | 40732 | 28931 0 | 12981 | 0 325.65/325.71 c 325s | 13 | 125420 | 40932 | 28931 0 | 12981 | 0 327.75/327.85 c 327s | 13 | 125910 | 41132 | 28931 0 | 12981 | 0 329.95/330.06 c 329s | 13 | 126278 | 41332 | 28931 0 | 12981 | 0 332.04/332.16 c 331s | 13 | 126888 | 41532 | 28931 0 | 12981 | 0 334.35/334.41 c 333s | 13 | 127461 | 41732 | 28931 0 | 12981 | 0 336.84/336.93 c 336s | 13 | 127861 | 41932 | 28931 0 | 12981 | 0 338.94/339.08 c 338s | 13 | 128351 | 42132 | 28931 0 | 12981 | 0 341.14/341.29 c 340s | 13 | 128811 | 42332 | 28931 0 | 12981 | 0 343.54/343.66 c 343s | 13 | 129122 | 42532 | 28931 0 | 12981 | 0 345.74/345.85 c 345s | 13 | 129634 | 42732 | 28931 0 | 12981 | 0 347.84/347.97 c 347s | 13 | 130019 | 42932 | 28931 0 | 12981 | 0 350.04/350.19 c 349s | 13 | 130492 | 43132 | 28931 0 | 12981 | 0 352.34/352.44 c 351s | 13 | 130892 | 43332 | 28931 0 | 12981 | 0 354.54/354.66 c 354s | 13 | 131336 | 43532 | 28931 0 | 12981 | 0 359.34/359.46 c 358s | 13 | 131773 | 43732 | 28931 1 | 12981 | 0 362.03/362.15 c 361s | 13 | 132618 | 44132 | 28931 1 | 12981 | 0 364.23/364.37 c 363s | 13 | 133272 | 44432 | 28931 1 | 12981 | 0 366.43/366.59 c 366s | 13 | 133919 | 44732 | 28931 1 | 12981 | 0 368.74/368.80 c 368s | 13 | 134529 | 45032 | 28931 1 | 12981 | 0 370.94/371.02 c 370s | 13 | 135155 | 45332 | 28931 1 | 12981 | 0 373.13/373.24 c 372s | 13 | 135725 | 45632 | 28931 1 | 12981 | 0 375.53/375.68 c 375s | 13 | 136452 | 45932 | 28931 1 | 12981 | 0 377.73/377.85 c 377s | 13 | 137356 | 46232 | 28931 1 | 12981 | 0 379.73/379.85 c 379s | 13 | 138341 | 46532 | 28931 1 | 12981 | 0 382.23/382.34 c 381s | 13 | 139136 | 46832 | 28931 1 | 12981 | 0 384.73/384.84 c 384s | 13 | 140255 | 47232 | 28931 1 | 12981 | 0 386.83/386.93 c 386s | 13 | 141058 | 47532 | 28931 1 | 12981 | 0 389.03/389.15 c 388s | 13 | 141692 | 47832 | 28931 1 | 12981 | 0 391.13/391.26 c 390s | 13 | 142390 | 48132 | 28931 1 | 12981 | 0 393.23/393.30 c 392s | 13 | 143095 | 48432 | 28931 1 | 12981 | 0 395.23/395.33 c 394s | 13 | 143703 | 48732 | 28931 1 | 12981 | 0 397.33/397.42 c 396s | 13 | 144409 | 49032 | 28931 1 | 12981 | 0 399.43/399.56 c 399s | 13 | 145171 | 49332 | 28931 1 | 12981 | 0 401.82/401.94 c 401s | 13 | 146008 | 49732 | 28931 1 | 12981 | 0 404.33/404.42 c 403s | 13 | 146787 | 50132 | 28931 1 | 12981 | 0 406.94/407.05 c 406s | 13 | 147816 | 50532 | 28931 1 | 12981 | 0 409.33/409.49 c 408s | 13 | 148598 | 50932 | 28931 1 | 12981 | 0 411.93/412.03 c 411s | 13 | 149375 | 51332 | 28931 1 | 12981 | 0 414.43/414.51 c 414s | 13 | 150173 | 51732 | 28931 1 | 12981 | 0 416.93/417.06 c 416s | 13 | 150918 | 52132 | 28931 1 | 12981 | 0 419.53/419.62 c 419s | 13 | 151599 | 52532 | 28931 1 | 12981 | 0 421.63/421.75 c 421s | 13 | 152393 | 52832 | 28931 1 | 12981 | 0 423.63/423.77 c 423s | 13 | 153340 | 53132 | 28931 1 | 12981 | 0 426.13/426.21 c 425s | 13 | 154288 | 53532 | 28931 1 | 12981 | 0 428.52/428.61 c 428s | 13 | 155219 | 53832 | 28931 1 | 12981 | 0 431.02/431.19 c 430s | 13 | 155905 | 54132 | 28931 1 | 12981 | 0 433.22/433.36 c 432s | 13 | 156861 | 54432 | 28931 1 | 12981 | 0 435.42/435.56 c 435s | 13 | 157553 | 54732 | 28931 1 | 12981 | 0 437.63/437.73 c 437s | 13 | 158205 | 55032 | 28931 1 | 12981 | 0 439.82/439.91 c 439s | 13 | 158888 | 55332 | 28931 1 | 12981 | 0 442.13/442.26 c 441s | 13 | 159573 | 55632 | 28931 1 | 12981 | 0 444.22/444.36 c 443s | 13 | 160252 | 55932 | 28931 1 | 12981 | 0 446.32/446.45 c 445s | 13 | 160865 | 56232 | 28931 1 | 12981 | 0 448.53/448.61 c 448s | 13 | 161435 | 56532 | 28931 1 | 12981 | 0 450.72/450.81 c 450s | 13 | 162062 | 56832 | 28931 1 | 12981 | 0 452.92/453.06 c 452s | 13 | 162720 | 57132 | 28931 1 | 12981 | 0 455.22/455.38 c 454s | 13 | 163239 | 57432 | 28931 1 | 12981 | 0 457.82/457.95 c 457s | 13 | 163935 | 57732 | 28931 1 | 12981 | 0 460.62/460.72 c 460s | 13 | 164596 | 58032 | 31825 1 | 12981 | 0 463.02/463.14 c 462s | 13 | 165213 | 58332 | 31825 1 | 12981 | 0 463.22/463.30 c 462s | 14 | 165265 | 58352 | 31825 1 | 12981 | 0 466.72/466.82 c 466s | 14 | 166480 | 58452 | 31825 1 | 12981 | 0 468.72/468.89 c 468s | 14 | 167213 | 58752 | 31825 1 | 12981 | 0 471.32/471.46 c 470s | 14 | 167989 | 59052 | 31825 1 | 12981 | 0 477.32/477.47 c 476s | 14 | 170309 | 59152 | 31825 1 | 12983 | 0 479.71/479.88 c 479s | 14 | 171035 | 59452 | 31825 1 | 12983 | 0 482.71/482.86 c 482s | 14 | 171816 | 59752 | 31825 1 | 12983 | 0 485.31/485.43 c 484s | 14 | 172886 | 60052 | 31825 1 | 12983 | 0 487.62/487.78 c 487s | 14 | 173666 | 60352 | 31825 1 | 12983 | 0 489.92/490.08 c 489s | 14 | 174335 | 60652 | 31825 1 | 12983 | 0 492.42/492.53 c 492s | 14 | 175101 | 60952 | 31825 1 | 12983 | 0 494.81/494.97 c 494s | 14 | 175779 | 61252 | 31825 1 | 12983 | 0 497.22/497.39 c 496s | 14 | 176444 | 61552 | 31825 1 | 12983 | 0 499.71/499.89 c 499s | 14 | 177157 | 61852 | 31825 1 | 12983 | 0 502.41/502.59 c 502s | 14 | 177921 | 62152 | 31825 1 | 12983 | 0 504.92/505.02 c 504s | 14 | 178695 | 62452 | 31825 1 | 12983 | 0 507.32/507.47 c 506s | 14 | 179262 | 62752 | 31825 1 | 12983 | 0 509.92/510.01 c 509s | 14 | 179917 | 63052 | 31825 1 | 12983 | 0 512.52/512.67 c 512s | 14 | 180608 | 63352 | 31825 1 | 12983 | 0 515.01/515.17 c 514s | 14 | 181234 | 63652 | 31825 1 | 12983 | 0 517.91/518.01 c 517s | 14 | 181850 | 63952 | 31825 1 | 12983 | 0 520.22/520.40 c 519s | 14 | 182444 | 64252 | 31825 1 | 12983 | 0 522.81/522.96 c 522s | 14 | 183001 | 64552 | 31825 1 | 12983 | 0 525.82/525.98 c 525s | 14 | 183712 | 64852 | 31825 1 | 12983 | 0 528.60/528.75 c 528s | 14 | 184749 | 65152 | 31825 1 | 12983 | 0 531.22/531.33 c 530s | 14 | 185461 | 65452 | 31825 1 | 12983 | 0 533.81/533.91 c 533s | 14 | 186348 | 65752 | 31825 1 | 12983 | 0 535.81/535.91 c 535s | 14 | 187027 | 65952 | 31825 1 | 12983 | 0 537.91/538.01 c 537s | 14 | 187477 | 66152 | 31825 1 | 12983 | 0 540.40/540.53 c 540s | 14 | 188569 | 66452 | 31825 1 | 12983 | 0 542.61/542.76 c 542s | 14 | 189510 | 66752 | 31825 1 | 12983 | 0 544.81/544.92 c 544s | 14 | 190281 | 67052 | 31825 1 | 12983 | 0 547.11/547.24 c 546s | 14 | 191279 | 67352 | 31825 1 | 12983 | 0 549.40/549.59 c 549s | 14 | 192177 | 67652 | 31825 1 | 12983 | 0 551.60/551.70 c 551s | 14 | 192974 | 67952 | 31825 1 | 12983 | 0 554.31/554.50 c 554s | 14 | 194296 | 68252 | 31825 1 | 12983 | 0 560.10/560.27 c 559s | 14 | 195203 | 68552 | 31825 2 | 12983 | 0 562.30/562.41 c 561s | 14 | 195903 | 68852 | 31825 2 | 12983 | 0 564.70/564.85 c 564s | 14 | 196631 | 69152 | 31825 2 | 12983 | 0 567.11/567.20 c 566s | 14 | 197447 | 69452 | 31825 2 | 12983 | 0 569.60/569.71 c 569s | 14 | 198252 | 69752 | 31825 2 | 12983 | 0 571.91/572.02 c 571s | 14 | 198886 | 70052 | 31825 2 | 12983 | 0 574.61/574.79 c 574s | 14 | 199723 | 70352 | 31825 2 | 12983 | 0 577.00/577.12 c 576s | 14 | 200411 | 70652 | 31825 2 | 12983 | 0 579.71/579.85 c 579s | 14 | 201310 | 70952 | 31825 2 | 12983 | 0 582.11/582.26 c 581s | 14 | 201912 | 71252 | 31825 2 | 12983 | 0 584.50/584.63 c 584s | 14 | 202556 | 71552 | 31825 2 | 12983 | 0 586.90/587.05 c 586s | 14 | 203154 | 71852 | 31825 2 | 12983 | 0 589.61/589.74 c 589s | 14 | 203876 | 72152 | 31825 2 | 12983 | 0 592.00/592.18 c 591s | 14 | 204453 | 72452 | 31825 2 | 12983 | 0 594.60/594.75 c 594s | 14 | 205008 | 72752 | 31825 2 | 12983 | 0 597.31/597.41 c 596s | 14 | 205635 | 73052 | 31825 2 | 12983 | 0 599.70/599.87 c 599s | 14 | 206140 | 73352 | 31825 2 | 12983 | 0 602.60/602.72 c 602s | 14 | 207035 | 73652 | 31825 2 | 12983 | 0 605.20/605.39 c 604s | 14 | 207785 | 73952 | 31825 2 | 12983 | 0 608.00/608.11 c 607s | 14 | 208705 | 74252 | 31825 2 | 12983 | 0 610.60/610.78 c 610s | 14 | 209798 | 74552 | 31825 2 | 12983 | 0 613.29/613.45 c 612s | 14 | 210700 | 74852 | 31825 2 | 12983 | 0 616.01/616.11 c 615s | 14 | 211533 | 75152 | 31825 2 | 12983 | 0 618.40/618.56 c 618s | 14 | 212342 | 75452 | 31825 2 | 12983 | 0 620.99/621.16 c 620s | 14 | 213171 | 75752 | 31825 2 | 12983 | 0 623.79/623.94 c 623s | 14 | 214013 | 76052 | 31825 2 | 12983 | 0 626.30/626.48 c 625s | 14 | 214730 | 76352 | 31825 2 | 12983 | 0 628.80/628.92 c 628s | 14 | 215580 | 76652 | 31825 2 | 12983 | 0 631.60/631.70 c 631s | 14 | 216251 | 76952 | 31825 2 | 12983 | 0 634.30/634.42 c 633s | 14 | 217102 | 77252 | 31825 2 | 12983 | 0 636.90/637.04 c 636s | 14 | 217708 | 77552 | 31825 2 | 12983 | 0 639.49/639.68 c 639s | 14 | 218422 | 77852 | 31825 2 | 12983 | 0 642.09/642.21 c 641s | 14 | 219098 | 78152 | 31825 2 | 12983 | 0 644.10/644.28 c 643s | 14 | 219461 | 78352 | 31825 2 | 12983 | 0 646.80/646.92 c 646s | 14 | 220008 | 78652 | 31825 2 | 12983 | 0 649.40/649.57 c 649s | 14 | 220702 | 78952 | 31825 2 | 12983 | 0 652.09/652.23 c 651s | 14 | 221328 | 79252 | 31825 2 | 12983 | 0 654.69/654.87 c 654s | 14 | 221903 | 79552 | 31825 2 | 12983 | 0 657.29/657.48 c 656s | 14 | 222437 | 79852 | 31825 2 | 12983 | 0 659.99/660.18 c 659s | 14 | 222970 | 80152 | 31825 2 | 12983 | 0 662.69/662.86 c 662s | 14 | 223547 | 80452 | 31825 2 | 12983 | 0 665.40/665.57 c 665s | 14 | 224403 | 80752 | 31825 2 | 12983 | 0 667.79/667.97 c 667s | 14 | 225025 | 81052 | 31825 2 | 12983 | 0 670.29/670.44 c 669s | 14 | 225830 | 81352 | 31825 2 | 12983 | 0 672.79/672.96 c 672s | 14 | 226597 | 81652 | 31825 2 | 12983 | 0 675.29/675.43 c 674s | 14 | 227262 | 81952 | 31825 2 | 12983 | 0 677.68/677.83 c 677s | 14 | 227941 | 82252 | 31825 2 | 12983 | 0 680.28/680.41 c 679s | 14 | 228677 | 82552 | 31825 2 | 12983 | 0 682.78/682.95 c 682s | 14 | 229354 | 82852 | 31825 2 | 12983 | 0 685.59/685.72 c 685s | 14 | 230059 | 83152 | 31825 2 | 12983 | 0 688.19/688.37 c 687s | 14 | 230746 | 83452 | 31825 2 | 12983 | 0 690.79/690.96 c 690s | 14 | 231350 | 83752 | 31825 2 | 12983 | 0 693.79/693.95 c 693s | 14 | 231982 | 84052 | 31825 2 | 12983 | 0 696.48/696.67 c 696s | 14 | 232674 | 84352 | 31825 2 | 12983 | 0 699.08/699.22 c 698s | 14 | 233318 | 84652 | 31825 2 | 12983 | 0 701.69/701.82 c 701s | 14 | 233832 | 84952 | 31825 2 | 12983 | 0 704.08/704.22 c 703s | 14 | 234412 | 85252 | 31825 2 | 12983 | 0 706.79/706.91 c 706s | 14 | 235018 | 85552 | 31825 2 | 12983 | 0 709.28/709.41 c 708s | 14 | 235487 | 85852 | 31825 2 | 12983 | 0 711.98/712.13 c 711s | 14 | 236049 | 86152 | 31825 2 | 12983 | 0 713.98/714.13 c 713s | 14 | 236544 | 86352 | 31825 2 | 12983 | 0 716.68/716.85 c 716s | 14 | 237245 | 86652 | 31825 2 | 12983 | 0 719.58/719.75 c 719s | 14 | 238013 | 86952 | 31825 2 | 12983 | 0 722.48/722.61 c 722s | 14 | 238625 | 87252 | 35008 2 | 12983 | 0 725.38/725.58 c 725s | 14 | 239429 | 87552 | 35008 2 | 12983 | 0 726.28/726.42 c 725s | 15 | 239542 | 87632 | 35008 2 | 12983 | 0 730.48/730.69 c 730s | 15 | 240920 | 87732 | 35008 2 | 12983 | 0 733.18/733.34 c 732s | 15 | 242394 | 88032 | 35008 2 | 12983 | 0 735.67/735.84 c 735s | 15 | 243227 | 88332 | 35008 2 | 12983 | 0 737.88/738.09 c 737s | 15 | 244057 | 88632 | 35008 2 | 12983 | 0 740.48/740.65 c 740s | 15 | 244898 | 88932 | 35008 2 | 12983 | 0 743.28/743.42 c 742s | 15 | 245575 | 89232 | 35008 2 | 12983 | 0 746.08/746.20 c 745s | 15 | 246228 | 89532 | 35008 2 | 12983 | 0 748.37/748.54 c 748s | 15 | 247042 | 89832 | 35008 2 | 12983 | 0 751.07/751.29 c 750s | 15 | 247798 | 90132 | 35008 2 | 12983 | 0 753.57/753.71 c 753s | 15 | 248540 | 90432 | 35008 2 | 12983 | 0 756.28/756.46 c 755s | 15 | 249343 | 90732 | 35008 2 | 12983 | 0 759.17/759.35 c 758s | 15 | 250033 | 91032 | 35008 2 | 12983 | 0 761.77/761.95 c 761s | 15 | 250626 | 91332 | 35008 2 | 12983 | 0 764.48/764.61 c 764s | 15 | 251241 | 91632 | 35008 2 | 12983 | 0 767.27/767.48 c 766s | 15 | 251898 | 91932 | 35008 2 | 12983 | 0 770.18/770.31 c 769s | 15 | 252437 | 92232 | 35008 2 | 12983 | 0 772.18/772.38 c 771s | 15 | 252851 | 92432 | 35008 2 | 12983 | 0 774.67/774.88 c 774s | 15 | 253445 | 92732 | 35008 2 | 12983 | 0 777.17/777.39 c 776s | 15 | 253994 | 93032 | 35008 2 | 12983 | 0 779.87/780.03 c 779s | 15 | 254583 | 93332 | 35008 2 | 12983 | 0 782.57/782.70 c 782s | 15 | 255000 | 93632 | 35008 2 | 12983 | 0 785.27/785.44 c 784s | 15 | 255537 | 93932 | 35008 2 | 12983 | 0 788.17/788.35 c 787s | 15 | 256325 | 94232 | 35008 2 | 12983 | 0 791.07/791.24 c 790s | 15 | 257053 | 94532 | 35008 2 | 12983 | 0 793.27/793.44 c 792s | 15 | 257643 | 94732 | 35008 2 | 12983 | 0 795.47/795.67 c 795s | 15 | 258246 | 94932 | 35008 2 | 12983 | 0 799.47/799.69 c 799s | 15 | 258528 | 95032 | 35008 3 | 12983 | 0 802.07/802.25 c 801s | 15 | 259595 | 95432 | 35008 3 | 12983 | 0 804.36/804.51 c 804s | 15 | 260767 | 95832 | 35008 3 | 12983 | 0 806.56/806.73 c 806s | 15 | 261583 | 96232 | 35008 3 | 12983 | 0 808.87/809.06 c 808s | 15 | 262436 | 96632 | 35008 3 | 12983 | 0 811.06/811.23 c 810s | 15 | 263010 | 96932 | 35008 3 | 12983 | 0 813.26/813.46 c 812s | 15 | 263616 | 97232 | 35008 3 | 12983 | 0 815.77/815.95 c 815s | 15 | 264409 | 97632 | 35008 3 | 12983 | 0 818.27/818.48 c 817s | 15 | 265094 | 98032 | 35008 3 | 12983 | 0 820.86/821.09 c 820s | 15 | 265829 | 98432 | 35008 3 | 12983 | 0 823.46/823.68 c 823s | 15 | 266426 | 98832 | 35008 3 | 12983 | 0 825.97/826.12 c 825s | 15 | 267246 | 99232 | 35008 3 | 12983 | 0 828.27/828.49 c 827s | 15 | 268297 | 99632 | 35008 3 | 12983 | 0 830.37/830.58 c 830s | 15 | 269004 | 99932 | 35008 3 | 12983 | 0 832.86/833.08 c 832s | 15 | 269974 | 100232 | 35008 3 | 12983 | 0 835.36/835.58 c 835s | 15 | 271001 | 100632 | 35008 3 | 12983 | 0 837.76/837.90 c 837s | 15 | 272604 | 101032 | 35008 3 | 12983 | 0 840.16/840.37 c 839s | 15 | 273708 | 101432 | 35008 3 | 12983 | 0 842.26/842.46 c 841s | 15 | 274599 | 101832 | 35008 3 | 12983 | 0 844.46/844.67 c 844s | 15 | 275491 | 102232 | 35008 3 | 12983 | 0 846.76/846.93 c 846s | 15 | 276179 | 102632 | 35008 3 | 12983 | 0 848.76/848.98 c 848s | 15 | 276883 | 102932 | 35008 3 | 12983 | 0 851.46/851.62 c 851s | 15 | 277740 | 103332 | 35008 3 | 12983 | 0 853.66/853.81 c 853s | 15 | 278499 | 103732 | 35008 3 | 12983 | 0 855.77/855.99 c 855s | 15 | 279211 | 104132 | 35008 3 | 12983 | 0 858.16/858.35 c 857s | 15 | 280007 | 104532 | 35008 3 | 12983 | 0 860.26/860.43 c 859s | 15 | 280591 | 104832 | 35008 3 | 12983 | 0 862.36/862.56 c 862s | 15 | 281177 | 105132 | 35008 3 | 12983 | 0 864.66/864.81 c 864s | 15 | 281864 | 105432 | 35008 3 | 12983 | 0 867.26/867.43 c 866s | 15 | 282874 | 105832 | 35008 3 | 12983 | 0 869.55/869.70 c 869s | 15 | 283606 | 106132 | 35008 3 | 12983 | 0 871.75/871.93 c 871s | 15 | 284187 | 106432 | 35008 3 | 12983 | 0 874.36/874.57 c 874s | 15 | 284769 | 106732 | 35008 3 | 12983 | 0 876.86/877.08 c 876s | 15 | 285427 | 107032 | 35008 3 | 12983 | 0 879.65/879.87 c 879s | 15 | 286214 | 107332 | 35008 3 | 12983 | 0 881.96/882.19 c 881s | 15 | 286978 | 107632 | 35008 3 | 12983 | 0 884.36/884.55 c 884s | 15 | 287651 | 107932 | 35008 3 | 12983 | 0 886.96/887.13 c 886s | 15 | 288378 | 108232 | 35008 3 | 12983 | 0 889.35/889.51 c 889s | 15 | 289185 | 108532 | 35008 3 | 12983 | 0 891.96/892.15 c 891s | 15 | 289926 | 108832 | 35008 3 | 12983 | 0 894.45/894.62 c 894s | 15 | 290698 | 109132 | 35008 3 | 12983 | 0 896.76/896.96 c 896s | 15 | 291321 | 109432 | 35008 3 | 12983 | 0 898.95/899.18 c 898s | 15 | 291932 | 109732 | 35008 3 | 12983 | 0 901.45/901.63 c 901s | 15 | 292502 | 110032 | 35008 3 | 12983 | 0 903.95/904.10 c 903s | 15 | 293128 | 110332 | 35008 3 | 12983 | 0 906.36/906.53 c 906s | 15 | 293744 | 110632 | 35008 3 | 12983 | 0 908.46/908.65 c 908s | 15 | 294158 | 110832 | 35008 3 | 12983 | 0 910.45/910.65 c 910s | 15 | 294903 | 111132 | 35008 3 | 12983 | 0 912.75/912.90 c 912s | 15 | 295769 | 111432 | 35008 3 | 12983 | 0 914.95/915.19 c 914s | 15 | 296496 | 111732 | 35008 3 | 12983 | 0 917.15/917.30 c 916s | 15 | 297278 | 112032 | 35008 3 | 12983 | 0 919.15/919.37 c 918s | 15 | 298042 | 112332 | 35008 3 | 12983 | 0 921.45/921.66 c 921s | 15 | 298845 | 112632 | 35008 3 | 12983 | 0 923.55/923.70 c 923s | 15 | 299531 | 112932 | 35008 3 | 12983 | 0 926.06/926.26 c 925s | 15 | 300317 | 113332 | 35008 3 | 12983 | 0 928.26/928.46 c 927s | 15 | 300970 | 113632 | 35008 3 | 12983 | 0 930.85/931.00 c 930s | 15 | 301671 | 114032 | 35008 3 | 12983 | 0 932.85/933.06 c 932s | 15 | 302275 | 114332 | 35008 3 | 12983 | 0 935.05/935.23 c 934s | 15 | 302852 | 114632 | 35008 3 | 12983 | 0 937.54/937.70 c 937s | 15 | 303513 | 115032 | 35008 3 | 12983 | 0 939.54/939.75 c 939s | 15 | 304114 | 115332 | 35008 3 | 12983 | 0 941.56/941.75 c 941s | 15 | 305058 | 115532 | 35008 3 | 12983 | 0 944.54/944.72 c 944s | 15 | 305930 | 115832 | 35008 3 | 12983 | 0 947.24/947.47 c 946s | 15 | 306709 | 116132 | 35008 3 | 12983 | 0 949.84/950.07 c 949s | 15 | 307285 | 116432 | 35008 3 | 12983 | 0 952.65/952.83 c 952s | 15 | 307938 | 116732 | 35008 3 | 12983 | 0 955.14/955.35 c 954s | 15 | 308619 | 117032 | 35008 3 | 12983 | 0 958.35/958.51 c 958s | 15 | 309250 | 117332 | 35008 3 | 12983 | 0 960.85/961.04 c 960s | 15 | 310058 | 117632 | 35008 3 | 12983 | 0 963.14/963.37 c 962s | 15 | 310782 | 117932 | 35008 3 | 12983 | 0 965.34/965.51 c 965s | 15 | 311245 | 118132 | 35008 3 | 12983 | 0 968.15/968.37 c 967s | 15 | 311852 | 118432 | 35008 3 | 12983 | 0 970.24/970.44 c 969s | 15 | 312317 | 118632 | 35008 3 | 12983 | 0 972.35/972.55 c 972s | 15 | 312812 | 118832 | 35008 3 | 12983 | 0 975.14/975.34 c 974s | 15 | 313595 | 119132 | 35008 3 | 12983 | 0 977.14/977.38 c 976s | 15 | 314125 | 119332 | 35008 3 | 12983 | 0 979.44/979.63 c 979s | 15 | 314667 | 119532 | 35008 3 | 12983 | 0 981.54/981.76 c 981s | 15 | 315172 | 119732 | 35008 3 | 12983 | 0 986.94/987.11 c 986s | 15 | 315633 | 119932 | 35008 4 | 12983 | 0 989.34/989.55 c 989s | 15 | 316472 | 120232 | 35008 4 | 12983 | 0 991.54/991.76 c 991s | 15 | 317148 | 120532 | 35008 4 | 12983 | 0 993.84/994.05 c 993s | 15 | 317982 | 120832 | 35008 4 | 12983 | 0 996.03/996.21 c 995s | 15 | 318692 | 121132 | 35008 4 | 12983 | 0 998.24/998.40 c 997s | 15 | 319205 | 121432 | 35008 4 | 12983 | 0 1000.23/1000.44 c 999s | 15 | 319770 | 121732 | 35008 4 | 12983 | 0 1002.24/1002.49 c 1001s | 15 | 320317 | 122032 | 35008 4 | 12983 | 0 1004.34/1004.57 c 1004s | 15 | 320965 | 122332 | 35008 4 | 12983 | 0 1006.64/1006.83 c 1006s | 15 | 321530 | 122632 | 35008 4 | 12983 | 0 1008.74/1008.92 c 1008s | 15 | 322075 | 122932 | 35008 4 | 12983 | 0 1010.84/1011.00 c 1010s | 15 | 322629 | 123232 | 35008 4 | 12983 | 0 1012.94/1013.19 c 1012s | 15 | 323185 | 123532 | 35008 4 | 12983 | 0 1015.24/1015.44 c 1014s | 15 | 323814 | 123832 | 35008 4 | 12983 | 0 1017.23/1017.49 c 1016s | 15 | 324477 | 124132 | 35008 4 | 12983 | 0 1019.94/1020.11 c 1019s | 15 | 325354 | 124532 | 35008 4 | 12983 | 0 1022.13/1022.30 c 1021s | 15 | 325940 | 124832 | 35008 4 | 12983 | 0 1024.33/1024.50 c 1024s | 15 | 326648 | 125132 | 35008 4 | 12983 | 0 1026.44/1026.65 c 1026s | 15 | 327204 | 125432 | 35008 4 | 12983 | 0 1028.44/1028.69 c 1028s | 15 | 327842 | 125732 | 35008 4 | 12983 | 0 1030.73/1030.96 c 1030s | 15 | 328380 | 126032 | 35008 4 | 12983 | 0 1032.84/1033.09 c 1032s | 15 | 328895 | 126332 | 35008 4 | 12983 | 0 1035.13/1035.34 c 1034s | 15 | 329437 | 126632 | 35008 4 | 12983 | 0 1037.33/1037.53 c 1037s | 15 | 330081 | 126932 | 35008 4 | 12983 | 0 1039.53/1039.78 c 1039s | 15 | 330571 | 127232 | 35008 4 | 12983 | 0 1041.73/1041.90 c 1041s | 15 | 331311 | 127532 | 35008 4 | 12983 | 0 1043.93/1044.10 c 1043s | 15 | 331987 | 127832 | 35008 4 | 12983 | 0 1046.14/1046.35 c 1045s | 15 | 332705 | 128132 | 35008 4 | 12983 | 0 1048.53/1048.71 c 1048s | 15 | 333442 | 128432 | 35008 4 | 12983 | 0 1050.63/1050.87 c 1050s | 15 | 333971 | 128732 | 35008 4 | 12983 | 0 1052.64/1052.89 c 1052s | 15 | 334555 | 129032 | 35008 4 | 12983 | 0 1055.13/1055.32 c 1054s | 15 | 335208 | 129332 | 35008 4 | 12983 | 0 1057.33/1057.52 c 1057s | 15 | 335872 | 129632 | 35008 4 | 12983 | 0 1059.43/1059.62 c 1059s | 15 | 336410 | 129932 | 35008 4 | 12983 | 0 1061.53/1061.76 c 1061s | 15 | 336999 | 130232 | 35008 4 | 12983 | 0 1063.72/1063.90 c 1063s | 15 | 337379 | 130532 | 35008 4 | 12983 | 0 1066.33/1066.59 c 1066s | 15 | 337954 | 130932 | 38509 4 | 12983 | 0 1068.62/1068.86 c 1068s | 15 | 338581 | 131232 | 38509 4 | 12983 | 0 1070.83/1071.03 c 1070s | 15 | 339168 | 131532 | 38509 4 | 12983 | 0 1071.03/1071.20 c 1070s | 16 | 339203 | 131552 | 38509 4 | 12983 | 0 1074.22/1074.42 c 1073s | 16 | 340507 | 131652 | 38509 4 | 12983 | 0 1076.63/1076.81 c 1076s | 16 | 341083 | 131952 | 38509 4 | 12983 | 0 1078.72/1078.95 c 1078s | 16 | 341709 | 132252 | 38509 4 | 12983 | 0 1080.92/1081.13 c 1080s | 16 | 342401 | 132552 | 38509 4 | 12983 | 0 1083.12/1083.38 c 1082s | 16 | 343036 | 132852 | 38509 4 | 12983 | 0 1085.52/1085.71 c 1085s | 16 | 343575 | 133152 | 38509 4 | 12983 | 0 1087.62/1087.84 c 1087s | 16 | 344167 | 133452 | 38509 4 | 12983 | 0 1090.32/1090.56 c 1090s | 16 | 344897 | 133852 | 38509 4 | 12983 | 0 1092.52/1092.78 c 1092s | 16 | 345446 | 134152 | 38509 4 | 12983 | 0 1094.82/1095.09 c 1094s | 16 | 345924 | 134452 | 38509 4 | 12983 | 0 1097.02/1097.20 c 1096s | 16 | 346607 | 134752 | 38509 4 | 12983 | 0 1099.22/1099.40 c 1098s | 16 | 347258 | 135052 | 38509 4 | 12983 | 0 1101.21/1101.48 c 1100s | 16 | 347798 | 135352 | 38509 4 | 12983 | 0 1103.52/1103.75 c 1103s | 16 | 348467 | 135652 | 38509 4 | 12983 | 0 1105.51/1105.78 c 1105s | 16 | 349050 | 135952 | 38509 4 | 12983 | 0 1107.72/1107.94 c 1107s | 16 | 349674 | 136252 | 38509 4 | 12983 | 0 1109.72/1109.99 c 1109s | 16 | 350138 | 136552 | 38509 4 | 12983 | 0 1111.82/1112.04 c 1111s | 16 | 350609 | 136852 | 38509 4 | 12983 | 0 1114.02/1114.28 c 1113s | 16 | 351173 | 137152 | 38509 4 | 12983 | 0 1116.11/1116.37 c 1115s | 16 | 351644 | 137452 | 38509 4 | 12983 | 0 1118.32/1118.56 c 1118s | 16 | 352280 | 137752 | 38509 4 | 12983 | 0 1120.41/1120.61 c 1120s | 16 | 352890 | 138052 | 38509 4 | 12983 | 0 1122.71/1122.96 c 1122s | 16 | 353620 | 138352 | 38509 4 | 12983 | 0 1124.81/1125.06 c 1124s | 16 | 354292 | 138652 | 38509 4 | 12983 | 0 1126.91/1127.18 c 1126s | 16 | 354881 | 138952 | 38509 4 | 12983 | 0 1129.01/1129.27 c 1128s | 16 | 355491 | 139252 | 38509 4 | 12983 | 0 1131.12/1131.38 c 1130s | 16 | 356050 | 139552 | 38509 4 | 12983 | 0 1133.41/1133.69 c 1133s | 16 | 356596 | 139852 | 38509 4 | 12983 | 0 1135.52/1135.70 c 1135s | 16 | 357127 | 140152 | 38509 4 | 12983 | 0 1138.11/1138.32 c 1137s | 16 | 357765 | 140552 | 38509 4 | 12983 | 0 1140.11/1140.39 c 1139s | 16 | 358337 | 140852 | 38509 4 | 12983 | 0 1142.41/1142.60 c 1142s | 16 | 358992 | 141152 | 38509 4 | 12983 | 0 1144.92/1145.12 c 1144s | 16 | 359724 | 141452 | 38509 4 | 12983 | 0 1147.12/1147.33 c 1146s | 16 | 360310 | 141752 | 38509 4 | 12983 | 0 1149.32/1149.60 c 1149s | 16 | 360923 | 142052 | 38509 4 | 12983 | 0 1151.61/1151.83 c 1151s | 16 | 361512 | 142352 | 38509 4 | 12983 | 0 1154.00/1154.23 c 1153s | 16 | 362076 | 142652 | 38509 4 | 12983 | 0 1156.20/1156.43 c 1155s | 16 | 362730 | 142952 | 38509 4 | 12983 | 0 1158.41/1158.67 c 1158s | 16 | 363277 | 143252 | 38509 4 | 12983 | 0 1160.71/1160.92 c 1160s | 16 | 363813 | 143552 | 38509 4 | 12983 | 0 1162.90/1163.13 c 1162s | 16 | 364467 | 143852 | 38509 4 | 12983 | 0 1165.41/1165.60 c 1165s | 16 | 365113 | 144152 | 38509 4 | 12983 | 0 1167.61/1167.90 c 1167s | 16 | 365751 | 144452 | 38509 4 | 12983 | 0 1169.80/1170.00 c 1169s | 16 | 366309 | 144752 | 38509 4 | 12983 | 0 1171.90/1172.18 c 1171s | 16 | 366870 | 145052 | 38509 4 | 12983 | 0 1174.30/1174.54 c 1174s | 16 | 367479 | 145352 | 38509 4 | 12983 | 0 1176.80/1177.03 c 1176s | 16 | 368033 | 145652 | 38509 4 | 12983 | 0 1179.01/1179.22 c 1178s | 16 | 368456 | 145952 | 38509 4 | 12983 | 0 1181.21/1181.49 c 1181s | 16 | 369041 | 146252 | 38509 4 | 12983 | 0 1183.41/1183.69 c 1183s | 16 | 369615 | 146552 | 38509 4 | 12983 | 0 1186.00/1186.23 c 1185s | 16 | 370271 | 146852 | 38509 4 | 12983 | 0 1188.30/1188.54 c 1188s | 16 | 370905 | 147152 | 38509 4 | 12983 | 0 1190.40/1190.63 c 1190s | 16 | 371412 | 147452 | 38509 4 | 12983 | 0 1192.40/1192.66 c 1192s | 16 | 371833 | 147752 | 38509 4 | 12983 | 0 1194.60/1194.82 c 1194s | 16 | 372287 | 148052 | 38509 4 | 12983 | 0 1197.10/1197.36 c 1196s | 16 | 372811 | 148352 | 38509 4 | 12983 | 0 1201.60/1201.88 c 1201s | 16 | 372957 | 148452 | 38509 5 | 12983 | 0 1203.90/1204.12 c 1203s | 16 | 373522 | 148752 | 38509 5 | 12983 | 0 1206.00/1206.24 c 1205s | 16 | 374116 | 149052 | 38509 5 | 12983 | 0 1208.59/1208.86 c 1208s | 16 | 374828 | 149452 | 38509 5 | 12983 | 0 1210.79/1211.07 c 1210s | 16 | 375392 | 149752 | 38509 5 | 12983 | 0 1212.90/1213.14 c 1212s | 16 | 375911 | 150052 | 38509 5 | 12983 | 0 1215.59/1215.86 c 1215s | 16 | 376490 | 150452 | 38509 5 | 12983 | 0 1217.89/1218.14 c 1217s | 16 | 377115 | 150752 | 38509 5 | 12983 | 0 1220.00/1220.26 c 1219s | 16 | 377648 | 151052 | 38509 5 | 12983 | 0 1222.39/1222.60 c 1222s | 16 | 378246 | 151352 | 38509 5 | 12983 | 0 1224.59/1224.84 c 1224s | 16 | 378842 | 151652 | 38509 5 | 12983 | 0 1226.69/1226.91 c 1226s | 16 | 379379 | 151952 | 38509 5 | 12983 | 0 1228.69/1228.97 c 1228s | 16 | 379897 | 152252 | 38509 5 | 12983 | 0 1230.70/1230.99 c 1230s | 16 | 380299 | 152552 | 38509 5 | 12983 | 0 1232.79/1233.04 c 1232s | 16 | 380795 | 152852 | 38509 5 | 12983 | 0 1235.10/1235.33 c 1234s | 16 | 381478 | 153152 | 38509 5 | 12983 | 0 1237.69/1237.91 c 1237s | 16 | 382224 | 153552 | 38509 5 | 12983 | 0 1240.29/1240.54 c 1240s | 16 | 383054 | 153952 | 38509 5 | 12983 | 0 1242.49/1242.72 c 1242s | 16 | 383660 | 154252 | 38509 5 | 12983 | 0 1244.79/1245.04 c 1244s | 16 | 384267 | 154552 | 38509 5 | 12983 | 0 1246.89/1247.16 c 1246s | 16 | 384768 | 154852 | 38509 5 | 12983 | 0 1249.09/1249.36 c 1248s | 16 | 385457 | 155152 | 38509 5 | 12983 | 0 1251.39/1251.60 c 1251s | 16 | 385985 | 155452 | 38509 5 | 12983 | 0 1253.59/1253.86 c 1253s | 16 | 386623 | 155752 | 38509 5 | 12983 | 0 1255.69/1255.91 c 1255s | 16 | 387149 | 156052 | 38509 5 | 12983 | 0 1258.19/1258.42 c 1257s | 16 | 387734 | 156352 | 38509 5 | 12983 | 0 1260.49/1260.71 c 1260s | 16 | 388271 | 156652 | 38509 5 | 12983 | 0 1262.60/1262.84 c 1262s | 16 | 388778 | 156952 | 38509 5 | 12983 | 0 1264.69/1264.99 c 1264s | 16 | 389341 | 157252 | 38509 5 | 12983 | 0 1266.89/1267.15 c 1266s | 16 | 389814 | 157552 | 38509 5 | 12983 | 0 1269.29/1269.58 c 1269s | 16 | 390304 | 157852 | 38509 5 | 12983 | 0 1271.49/1271.74 c 1271s | 16 | 390908 | 158152 | 38509 5 | 12983 | 0 1273.59/1273.81 c 1273s | 16 | 391496 | 158452 | 38509 5 | 12983 | 0 1275.58/1275.86 c 1275s | 16 | 392088 | 158752 | 38509 5 | 12983 | 0 1277.88/1278.11 c 1277s | 16 | 392754 | 159052 | 38509 5 | 12983 | 0 1280.19/1280.50 c 1280s | 16 | 393309 | 159352 | 38509 5 | 12983 | 0 1282.29/1282.53 c 1282s | 16 | 393845 | 159652 | 38509 5 | 12983 | 0 1284.48/1284.73 c 1284s | 16 | 394423 | 159952 | 38509 5 | 12983 | 0 1286.68/1286.92 c 1286s | 16 | 394963 | 160252 | 38509 5 | 12983 | 0 1288.99/1289.25 c 1288s | 16 | 395638 | 160552 | 38509 5 | 12983 | 0 1291.09/1291.33 c 1290s | 16 | 396102 | 160852 | 38509 5 | 12983 | 0 1293.58/1293.88 c 1293s | 16 | 396752 | 161152 | 38509 5 | 12983 | 0 1295.88/1296.17 c 1295s | 16 | 397318 | 161452 | 38509 5 | 12983 | 0 1298.28/1298.59 c 1298s | 16 | 397949 | 161752 | 38509 5 | 12983 | 0 1300.48/1300.79 c 1300s | 16 | 398526 | 162052 | 38509 5 | 12983 | 0 1302.78/1303.02 c 1302s | 16 | 399044 | 162352 | 38509 5 | 12983 | 0 1305.08/1305.32 c 1304s | 16 | 399605 | 162652 | 38509 5 | 12983 | 0 1307.18/1307.41 c 1306s | 16 | 400140 | 162952 | 38509 5 | 12983 | 0 1309.28/1309.57 c 1309s | 16 | 400741 | 163252 | 38509 5 | 12983 | 0 1311.48/1311.72 c 1311s | 16 | 401275 | 163552 | 38509 5 | 12983 | 0 1313.78/1314.03 c 1313s | 16 | 401795 | 163852 | 38509 5 | 12983 | 0 1316.17/1316.42 c 1315s | 16 | 402362 | 164152 | 38509 5 | 12983 | 0 1318.78/1319.05 c 1318s | 16 | 402942 | 164452 | 38509 5 | 12983 | 0 1321.08/1321.35 c 1320s | 16 | 403454 | 164752 | 38509 5 | 12983 | 0 1323.38/1323.64 c 1323s | 16 | 404043 | 165052 | 38509 5 | 12983 | 0 1325.48/1325.76 c 1325s | 16 | 404627 | 165352 | 38509 5 | 12983 | 0 1327.67/1327.93 c 1327s | 16 | 405170 | 165652 | 38509 5 | 12983 | 0 1329.88/1330.17 c 1329s | 16 | 405686 | 165952 | 38509 5 | 12983 | 0 1332.17/1332.41 c 1331s | 16 | 406322 | 166252 | 38509 5 | 12983 | 0 1334.58/1334.85 c 1334s | 16 | 406984 | 166552 | 38509 5 | 12983 | 0 1336.87/1337.14 c 1336s | 16 | 407686 | 166852 | 38509 5 | 12983 | 0 1339.08/1339.31 c 1338s | 16 | 408204 | 167152 | 38509 5 | 12983 | 0 1341.47/1341.75 c 1341s | 16 | 408728 | 167452 | 38509 5 | 12983 | 0 1343.68/1343.96 c 1343s | 16 | 409297 | 167752 | 38509 5 | 12983 | 0 1346.07/1346.36 c 1345s | 16 | 409874 | 168052 | 38509 5 | 12983 | 0 1348.38/1348.68 c 1348s | 16 | 410494 | 168352 | 38509 5 | 12983 | 0 1350.58/1350.84 c 1350s | 16 | 411063 | 168652 | 38509 5 | 12983 | 0 1352.97/1353.25 c 1352s | 16 | 411686 | 168952 | 38509 5 | 12983 | 0 1355.17/1355.43 c 1354s | 16 | 412280 | 169252 | 38509 5 | 12983 | 0 1357.37/1357.62 c 1357s | 16 | 412821 | 169552 | 38509 5 | 12983 | 0 1359.88/1360.12 c 1359s | 16 | 413437 | 169852 | 38509 5 | 12983 | 0 1362.17/1362.47 c 1361s | 16 | 413969 | 170152 | 38509 5 | 12983 | 0 1364.37/1364.67 c 1364s | 16 | 414585 | 170452 | 38509 5 | 12983 | 0 1366.76/1367.05 c 1366s | 16 | 415122 | 170752 | 38509 5 | 12983 | 0 1369.17/1369.48 c 1368s | 16 | 415634 | 171052 | 38509 5 | 12983 | 0 1371.77/1372.04 c 1371s | 16 | 416196 | 171352 | 38509 5 | 12983 | 0 1382.27/1382.54 c 1382s | 16 | 416840 | 171652 | 38509 5 | 12983 | 0 1384.87/1385.17 c 1384s | 16 | 417714 | 171952 | 38509 5 | 12983 | 0 1387.97/1388.27 c 1387s | 16 | 418618 | 172252 | 38509 5 | 12983 | 0 1390.18/1390.41 c 1389s | 16 | 419193 | 172452 | 38509 5 | 12983 | 0 1392.96/1393.24 c 1392s | 16 | 419833 | 172752 | 38509 5 | 12983 | 0 1395.67/1396.00 c 1395s | 16 | 420636 | 173052 | 38509 5 | 12983 | 0 1397.87/1398.13 c 1397s | 16 | 421083 | 173252 | 38509 5 | 12983 | 0 1400.07/1400.32 c 1399s | 16 | 421565 | 173452 | 38509 5 | 12983 | 0 1402.27/1402.55 c 1402s | 16 | 422134 | 173652 | 38509 5 | 12983 | 0 1404.26/1404.58 c 1404s | 16 | 422626 | 173852 | 38509 5 | 12983 | 0 1407.17/1407.44 c 1406s | 16 | 423253 | 174152 | 38509 5 | 12983 | 0 1409.37/1409.65 c 1409s | 16 | 423837 | 174352 | 38509 5 | 12983 | 0 1412.17/1412.45 c 1411s | 16 | 424430 | 174652 | 38509 5 | 12983 | 0 1414.26/1414.59 c 1414s | 16 | 424970 | 174852 | 38509 5 | 12983 | 0 1420.06/1420.39 c 1419s | 16 | 425397 | 175052 | 38509 6 | 12983 | 0 1422.96/1423.25 c 1422s | 16 | 426041 | 175352 | 38509 6 | 12983 | 0 1425.36/1425.70 c 1425s | 16 | 426667 | 175652 | 38509 6 | 12983 | 0 1428.16/1428.42 c 1427s | 16 | 427345 | 175952 | 38509 6 | 12983 | 0 1431.06/1431.39 c 1430s | 16 | 428063 | 176252 | 38509 6 | 12983 | 0 1433.76/1434.06 c 1433s | 16 | 428755 | 176552 | 38509 6 | 12983 | 0 1436.46/1436.78 c 1436s | 16 | 429463 | 176852 | 38509 6 | 12983 | 0 1439.06/1439.38 c 1438s | 16 | 430108 | 177152 | 38509 6 | 12983 | 0 1441.66/1441.98 c 1441s | 16 | 430657 | 177452 | 38509 6 | 12983 | 0 1444.36/1444.66 c 1444s | 16 | 431213 | 177752 | 38509 6 | 12983 | 0 1446.95/1447.21 c 1446s | 16 | 431795 | 178052 | 38509 6 | 12983 | 0 1449.35/1449.67 c 1449s | 16 | 432338 | 178352 | 38509 6 | 12983 | 0 1451.45/1451.71 c 1451s | 16 | 432941 | 178552 | 38509 6 | 12983 | 0 1454.55/1454.80 c 1454s | 16 | 433640 | 178852 | 38509 6 | 12983 | 0 1456.96/1457.28 c 1456s | 16 | 434389 | 179152 | 38509 6 | 12983 | 0 1459.65/1459.90 c 1459s | 16 | 435121 | 179452 | 38509 6 | 12983 | 0 1462.25/1462.52 c 1462s | 16 | 435935 | 179752 | 38509 6 | 12983 | 0 1464.36/1464.60 c 1464s | 16 | 436451 | 179952 | 38509 6 | 12983 | 0 1466.35/1466.62 c 1466s | 16 | 436896 | 180152 | 38509 6 | 12983 | 0 1468.85/1469.18 c 1468s | 16 | 437593 | 180452 | 38509 6 | 12983 | 0 1471.46/1471.79 c 1471s | 16 | 438387 | 180752 | 38509 6 | 12983 | 0 1473.55/1473.81 c 1473s | 16 | 438972 | 180952 | 38509 6 | 12983 | 0 1476.24/1476.59 c 1476s | 16 | 439578 | 181252 | 38509 6 | 12983 | 0 1478.84/1479.19 c 1478s | 16 | 440199 | 181552 | 38509 6 | 12983 | 0 1481.65/1481.95 c 1481s | 16 | 440892 | 181852 | 38509 6 | 12983 | 0 1484.44/1484.77 c 1484s | 16 | 441595 | 182152 | 38509 6 | 12983 | 0 1487.05/1487.37 c 1486s | 16 | 442266 | 182452 | 38509 6 | 12983 | 0 1489.85/1490.15 c 1489s | 16 | 443001 | 182752 | 38509 6 | 12983 | 0 1492.55/1492.90 c 1492s | 16 | 443690 | 183052 | 38509 6 | 12983 | 0 1495.35/1495.69 c 1495s | 16 | 444239 | 183352 | 38509 6 | 12983 | 0 1498.05/1498.39 c 1497s | 16 | 444859 | 183652 | 38509 6 | 12983 | 0 1500.75/1501.08 c 1500s | 16 | 445455 | 183952 | 38509 6 | 12983 | 0 1503.46/1503.77 c 1503s | 16 | 445994 | 184252 | 38509 6 | 12983 | 0 1506.85/1507.17 c 1506s | 16 | 446710 | 184552 | 38509 6 | 12983 | 0 1509.55/1509.83 c 1509s | 16 | 447291 | 184852 | 38509 6 | 12983 | 0 1512.04/1512.34 c 1511s | 16 | 448195 | 185152 | 38509 6 | 12983 | 0 1514.65/1514.96 c 1514s | 16 | 449007 | 185452 | 38509 6 | 12983 | 0 1517.24/1517.55 c 1517s | 16 | 449594 | 185752 | 38509 6 | 12983 | 0 1519.95/1520.21 c 1519s | 16 | 450252 | 186052 | 38509 6 | 12983 | 0 1522.54/1522.85 c 1522s | 16 | 450912 | 186352 | 38509 6 | 12983 | 0 1525.34/1525.69 c 1525s | 16 | 451518 | 186652 | 38509 6 | 12983 | 0 1528.14/1528.47 c 1527s | 16 | 452162 | 186952 | 38509 6 | 12983 | 0 1530.84/1531.12 c 1530s | 16 | 452890 | 187252 | 38509 6 | 12983 | 0 1533.34/1533.66 c 1533s | 16 | 453482 | 187552 | 38509 6 | 12983 | 0 1536.04/1536.34 c 1535s | 16 | 454104 | 187852 | 38509 6 | 12983 | 0 1538.14/1538.43 c 1537s | 16 | 454630 | 188052 | 38509 6 | 12983 | 0 1540.44/1540.75 c 1540s | 16 | 455280 | 188352 | 38509 6 | 12983 | 0 1543.04/1543.40 c 1542s | 16 | 455792 | 188652 | 38509 6 | 12983 | 0 1545.63/1545.96 c 1545s | 16 | 456452 | 188952 | 38509 6 | 12983 | 0 1548.65/1548.93 c 1548s | 16 | 457199 | 189252 | 38509 6 | 12983 | 0 1551.74/1552.09 c 1551s | 16 | 458234 | 189552 | 38509 6 | 12983 | 0 1553.93/1554.24 c 1553s | 16 | 458756 | 189752 | 38509 6 | 12983 | 0 1556.04/1556.35 c 1555s | 16 | 459307 | 189952 | 38509 6 | 12983 | 0 1559.04/1559.39 c 1558s | 16 | 459974 | 190252 | 38509 6 | 12983 | 0 1561.13/1561.48 c 1560s | 16 | 460556 | 190452 | 38509 6 | 12983 | 0 1563.44/1563.74 c 1563s | 16 | 461017 | 190652 | 38509 6 | 12983 | 0 1565.84/1566.13 c 1565s | 16 | 461590 | 190852 | 38509 6 | 12983 | 0 1567.93/1568.26 c 1567s | 16 | 462067 | 191052 | 38509 6 | 12983 | 0 1570.13/1570.41 c 1569s | 16 | 462499 | 191252 | 38509 6 | 12983 | 0 1572.74/1573.07 c 1572s | 16 | 463198 | 191552 | 38509 6 | 12983 | 0 1575.03/1575.39 c 1574s | 16 | 463634 | 191752 | 38509 6 | 12983 | 0 1577.24/1577.52 c 1577s | 16 | 464040 | 191952 | 38509 6 | 12983 | 0 1580.04/1580.39 c 1579s | 16 | 464640 | 192252 | 38509 6 | 12983 | 0 1582.33/1582.64 c 1582s | 16 | 465106 | 192452 | 38509 6 | 12983 | 0 1584.43/1584.71 c 1584s | 16 | 465572 | 192652 | 38509 6 | 12983 | 0 1587.33/1587.63 c 1587s | 16 | 466226 | 192952 | 38509 6 | 12983 | 0 1589.33/1589.64 c 1589s | 16 | 466700 | 193152 | 38509 6 | 12983 | 0 1591.44/1591.71 c 1591s | 16 | 467153 | 193352 | 38509 6 | 12983 | 0 1593.43/1593.78 c 1593s | 16 | 467562 | 193552 | 38509 6 | 12983 | 0 1595.63/1595.97 c 1595s | 16 | 468011 | 193752 | 38509 6 | 12983 | 0 1597.73/1598.06 c 1597s | 16 | 468500 | 193952 | 38509 6 | 12983 | 0 1599.83/1600.11 c 1599s | 16 | 468984 | 194152 | 38509 6 | 12983 | 0 1602.82/1603.18 c 1602s | 16 | 469573 | 194452 | 38509 6 | 12983 | 0 1604.92/1605.22 c 1604s | 16 | 469926 | 194652 | 38509 6 | 12983 | 0 1607.13/1607.47 c 1606s | 16 | 470245 | 194852 | 38509 6 | 12983 | 0 1609.43/1609.72 c 1609s | 16 | 470655 | 195052 | 38509 6 | 12983 | 0 1612.13/1612.44 c 1611s | 16 | 471375 | 195352 | 38509 6 | 12983 | 0 1614.42/1614.76 c 1614s | 16 | 472169 | 195652 | 38509 6 | 12983 | 0 1616.83/1617.19 c 1616s | 16 | 472729 | 195952 | 38509 6 | 12983 | 0 1619.42/1619.71 c 1619s | 16 | 473541 | 196252 | 42360 6 | 12983 | 0 1621.92/1622.21 c 1621s | 16 | 474198 | 196552 | 42360 6 | 12983 | 0 1624.43/1624.71 c 1624s | 16 | 474832 | 196852 | 42360 6 | 12983 | 0 1627.02/1627.31 c 1626s | 16 | 475423 | 197152 | 42360 6 | 12983 | 0 1629.32/1629.64 c 1629s | 17 | 475934 | 197432 | 42360 6 | 12983 | 0 1633.42/1633.74 c 1633s | 17 | 477170 | 197532 | 42360 6 | 12983 | 0 1635.92/1636.23 c 1635s | 17 | 477806 | 197832 | 42360 6 | 12983 | 0 1638.42/1638.78 c 1638s | 17 | 478505 | 198132 | 42360 6 | 12983 | 0 1640.82/1641.14 c 1640s | 17 | 479095 | 198432 | 42360 6 | 12983 | 0 1643.32/1643.62 c 1643s | 17 | 479697 | 198732 | 42360 6 | 12983 | 0 1645.71/1646.04 c 1645s | 17 | 480299 | 199032 | 42360 6 | 12983 | 0 1647.72/1648.06 c 1647s | 17 | 480698 | 199232 | 42360 6 | 12983 | 0 1650.52/1650.81 c 1650s | 17 | 481308 | 199532 | 42360 6 | 12983 | 0 1653.13/1653.44 c 1652s | 17 | 481908 | 199832 | 42360 6 | 12983 | 0 1655.62/1655.93 c 1655s | 17 | 482577 | 200032 | 42360 6 | 12983 | 0 1657.71/1658.04 c 1657s | 17 | 483166 | 200232 | 42360 6 | 12983 | 0 1660.31/1660.62 c 1660s | 17 | 483773 | 200432 | 42360 6 | 12983 | 0 1662.51/1662.85 c 1662s | 17 | 484255 | 200632 | 42360 6 | 12983 | 0 1665.12/1665.41 c 1664s | 17 | 484849 | 200832 | 42360 6 | 12983 | 0 1667.51/1667.89 c 1667s | 17 | 485346 | 201032 | 42360 6 | 12983 | 0 1669.91/1670.23 c 1669s | 17 | 485857 | 201232 | 42360 6 | 12983 | 0 1672.82/1673.16 c 1672s | 17 | 486382 | 201432 | 42360 6 | 12983 | 0 1675.31/1675.68 c 1675s | 17 | 486858 | 201632 | 42360 6 | 12983 | 0 1677.81/1678.14 c 1677s | 17 | 487302 | 201832 | 42360 6 | 12983 | 0 1680.12/1680.41 c 1679s | 17 | 487849 | 202032 | 42360 6 | 12983 | 0 1682.82/1683.13 c 1682s | 17 | 488339 | 202232 | 42360 6 | 12983 | 0 1684.81/1685.16 c 1684s | 17 | 488749 | 202432 | 42360 6 | 12983 | 0 1687.32/1687.64 c 1687s | 17 | 489225 | 202632 | 42360 6 | 12983 | 0 1689.51/1689.86 c 1689s | 17 | 489640 | 202832 | 42360 6 | 12983 | 0 1691.81/1692.13 c 1691s | 17 | 490129 | 203032 | 42360 6 | 12983 | 0 1694.21/1694.51 c 1694s | 17 | 490577 | 203232 | 42360 6 | 12983 | 0 1696.51/1696.85 c 1696s | 17 | 491065 | 203432 | 42360 6 | 12983 | 0 1698.81/1699.12 c 1698s | 17 | 491481 | 203632 | 42360 6 | 12983 | 0 1701.31/1701.70 c 1701s | 17 | 491846 | 203832 | 42360 6 | 12983 | 0 1703.62/1703.98 c 1703s | 17 | 492238 | 204032 | 42360 6 | 12983 | 0 1705.91/1706.27 c 1705s | 17 | 492608 | 204232 | 42360 6 | 12983 | 0 1708.21/1708.53 c 1708s | 17 | 493025 | 204432 | 42360 6 | 12983 | 0 1710.41/1710.75 c 1710s | 17 | 493470 | 204632 | 42360 6 | 12983 | 0 1712.70/1713.06 c 1712s | 17 | 493925 | 204832 | 42360 6 | 12983 | 0 1715.30/1715.64 c 1715s | 17 | 494372 | 205032 | 42360 6 | 12983 | 0 1717.70/1718.04 c 1717s | 17 | 494921 | 205232 | 42360 6 | 12983 | 0 1720.51/1720.88 c 1720s | 17 | 495810 | 205532 | 42360 6 | 12983 | 0 1725.30/1725.61 c 1725s | 17 | 496038 | 205632 | 42360 7 | 12983 | 0 1727.81/1728.12 c 1727s | 17 | 496787 | 205932 | 42360 7 | 12983 | 0 1730.71/1731.01 c 1730s | 17 | 497589 | 206232 | 42360 7 | 12983 | 0 1732.90/1733.27 c 1732s | 17 | 498397 | 206532 | 42360 7 | 12983 | 0 1735.40/1735.73 c 1735s | 17 | 499109 | 206832 | 42360 7 | 12983 | 0 1737.71/1738.01 c 1737s | 17 | 499825 | 207132 | 42360 7 | 12983 | 0 1740.30/1740.62 c 1740s | 17 | 500633 | 207432 | 42360 7 | 12983 | 0 1742.70/1743.02 c 1742s | 17 | 501380 | 207732 | 42360 7 | 12983 | 0 1745.00/1745.36 c 1744s | 17 | 502139 | 208032 | 42360 7 | 12983 | 0 1747.30/1747.65 c 1747s | 17 | 502680 | 208332 | 42360 7 | 12983 | 0 1749.50/1749.85 c 1749s | 17 | 503286 | 208632 | 42360 7 | 12983 | 0 1751.70/1752.02 c 1751s | 17 | 503812 | 208932 | 42360 7 | 12983 | 0 1754.10/1754.46 c 1753s | 17 | 504408 | 209232 | 42360 7 | 12983 | 0 1756.30/1756.62 c 1756s | 17 | 504975 | 209532 | 42360 7 | 12983 | 0 1758.50/1758.90 c 1758s | 17 | 505528 | 209832 | 42360 7 | 12983 | 0 1760.70/1761.09 c 1760s | 17 | 506085 | 210132 | 42360 7 | 12983 | 0 1762.89/1763.29 c 1762s | 17 | 506555 | 210432 | 42360 7 | 12983 | 0 1765.50/1765.86 c 1765s | 17 | 507313 | 210732 | 42360 7 | 12983 | 0 1767.70/1768.09 c 1767s | 17 | 508273 | 210932 | 42360 7 | 12983 | 0 1770.49/1770.87 c 1770s | 17 | 509144 | 211232 | 42360 7 | 12983 | 0 1772.80/1773.12 c 1772s | 17 | 509694 | 211432 | 42360 7 | 12983 | 0 1775.29/1775.60 c 1775s | 17 | 510705 | 211732 | 42360 7 | 12983 | 0 1777.70/1778.03 c 1777s | 17 | 511499 | 212032 | 42360 7 | 12983 | 0 1779.89/1780.20 c 1779s | 17 | 512177 | 212332 | 42360 7 | 12983 | 0 1782.10/1782.42 c 1781s | 17 | 512989 | 212632 | 42360 7 | 12983 | 0 1784.30/1784.65 c 1784s | 17 | 513713 | 212932 | 42360 7 | 12983 | 0 1786.50/1786.85 c 1786s | 17 | 514379 | 213232 | 42360 7 | 12983 | 0 1788.59/1788.96 c 1788s | 17 | 514866 | 213432 | 42360 7 | 12983 | 0 1791.50/1791.86 c 1791s | 17 | 515617 | 213732 | 42360 7 | 12983 | 0 1794.09/1794.44 c 1793s | 17 | 516156 | 214032 | 42360 7 | 12983 | 0 1796.29/1796.62 c 1796s | 17 | 516806 | 214332 | 42360 7 | 12983 | 0 1798.69/1799.05 c 1798s | 17 | 517248 | 214632 | 42360 7 | 12983 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4101681-1466226030/watcher-4101681-1466226030 -o /tmp/evaluation-result-4101681-1466226030/solver-4101681-1466226030 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-596 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101681-1466226030.opb pid=3697 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.35 2.26 2.25 3/180 3700 /proc/meminfo: memFree=28961856/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=802236 CPUtime=0 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 3006 0 0 0 0 0 0 0 20 0 4 0 24650184 821489664 2857 33554432000 4194304 16246674 140733480350976 140733480350400 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 201071 2865 441 2943 0 197965 0 [pid=3700/tid=3701] ppid=3697 vsize=819644 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 839315456 2928 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=824764 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 844558336 2945 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=827836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24650184 847704064 2960 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100179 s] /proc/loadavg: 2.35 2.26 2.25 3/180 3700 /proc/meminfo: memFree=28961856/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 29019 0 0 0 5 4 0 0 20 0 4 0 24650184 1333334016 28810 33554432000 4194304 16246674 140733480350976 140733480350288 7377409 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 325521 28825 801 2943 0 322415 0 [pid=3700/tid=3701] ppid=3697 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 1333334016 28836 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 1333334016 28848 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 1333334016 28859 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200517 s] /proc/loadavg: 2.35 2.26 2.25 3/180 3700 /proc/meminfo: memFree=28961856/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 47695 0 0 0 12 7 0 0 20 0 4 0 24650184 1344868352 47994 33554432000 4194304 16246674 140733480350976 140733480350288 8057126 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 328337 47994 801 2943 0 325231 0 [pid=3700/tid=3701] ppid=3697 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 1344868352 47994 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 1344868352 47994 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 1344868352 47994 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300438 s] /proc/loadavg: 2.35 2.26 2.25 3/180 3700 /proc/meminfo: memFree=28961856/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 47985 0 0 0 22 7 0 0 20 0 4 0 24650184 1344868352 48284 33554432000 4194304 16246674 140733480350976 140733480350288 5915846 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 328337 48284 838 2943 0 325231 0 [pid=3700/tid=3701] ppid=3697 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 1344868352 48284 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 1344868352 48284 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 1344868352 48284 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700377 s] /proc/loadavg: 2.35 2.26 2.25 3/180 3700 /proc/meminfo: memFree=28961856/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=1325636 CPUtime=0.68 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 51124 0 0 0 61 7 0 0 20 0 4 0 24650184 1357451264 51423 33554432000 4194304 16246674 140733480350976 140733480350288 5600186 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 331409 51423 897 2943 0 328303 0 [pid=3700/tid=3701] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 51423 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 51423 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 51423 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1325636 [startup+1.50036 s] /proc/loadavg: 2.35 2.26 2.25 3/184 3704 /proc/meminfo: memFree=28757392/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=1325636 CPUtime=1.48 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 51124 0 0 0 141 7 0 0 20 0 4 0 24650184 1357451264 51423 33554432000 4194304 16246674 140733480350976 140733480333976 6021616 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 331409 51423 897 2943 0 328303 0 [pid=3700/tid=3701] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 51423 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 51423 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 51423 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1325636 [startup+3.10038 s] /proc/loadavg: 2.35 2.26 2.25 4/184 3704 /proc/meminfo: memFree=28756896/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=1325636 CPUtime=3.08 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 51124 0 0 0 301 7 0 0 20 0 4 0 24650184 1357451264 51423 33554432000 4194304 16246674 140733480350976 140733480350152 5711439 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 331409 51423 897 2943 0 328303 0 [pid=3700/tid=3701] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 51423 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 51423 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 51423 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1325636 [startup+6.30038 s] /proc/loadavg: 2.32 2.26 2.25 3/184 3704 /proc/meminfo: memFree=28756708/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=1325636 CPUtime=6.29 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 51128 0 0 0 621 8 0 0 20 0 4 0 24650184 1357451264 51427 33554432000 4194304 16246674 140733480350976 140733480350152 5712600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 331409 51427 901 2943 0 328303 0 [pid=3700/tid=3701] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 51427 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 51427 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 51427 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1325636 [startup+12.7004 s] /proc/loadavg: 2.30 2.25 2.25 3/184 3704 /proc/meminfo: memFree=28570716/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=1325636 CPUtime=12.69 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 97707 0 0 0 1254 15 0 0 20 0 4 0 24650184 1357451264 98006 33554432000 4194304 16246674 140733480350976 140733480350152 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 331409 98006 901 2943 0 328303 0 [pid=3700/tid=3701] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 98006 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 98006 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 98006 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1325636 [startup+25.5005 s] /proc/loadavg: 2.30 2.26 2.25 4/184 3704 /proc/meminfo: memFree=28379320/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=1325636 CPUtime=25.49 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 145707 0 0 0 2527 22 0 0 20 0 4 0 24650184 1357451264 146006 33554432000 4194304 16246674 140733480350976 140733480350152 6021024 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 331409 146006 901 2943 0 328303 0 [pid=3700/tid=3701] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 146006 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 146006 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 146006 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1325636 [startup+51.1005 s] /proc/loadavg: 2.39 2.28 2.26 3/184 3726 /proc/meminfo: memFree=27874236/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=1325636 CPUtime=51.08 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 272100 0 0 0 5067 41 0 0 20 0 4 0 24650184 1357451264 272399 33554432000 4194304 16246674 140733480350976 140733480350152 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 331409 272399 901 2943 0 328303 0 [pid=3700/tid=3701] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 272399 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 272399 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 272399 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1325636 [startup+102.301 s] /proc/loadavg: 2.44 2.31 2.27 3/183 3727 /proc/meminfo: memFree=27874020/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=1325636 CPUtime=102.28 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 272100 0 0 0 10183 45 0 0 20 0 4 0 24650184 1357451264 272399 33554432000 4194304 16246674 140733480350976 140733480350152 5712067 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 331409 272399 901 2943 0 328303 0 [pid=3700/tid=3701] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 272399 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 272399 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 1357451264 272399 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1325636 ################ # More data... # ################ /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 3844673536 879776 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=3754564 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 3844673536 879776 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=3754564 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 3844673536 879776 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 3754564 [startup+1362.3 s] /proc/loadavg: 2.23 2.25 2.26 4/183 3806 /proc/meminfo: memFree=25191596/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=3977796 CPUtime=1362.07 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 934982 0 0 0 135873 334 0 0 20 0 4 0 24650184 4073263104 935516 33554432000 4194304 16246674 140733480350976 140733480350152 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 994449 935516 907 2943 0 991343 0 [pid=3700/tid=3701] ppid=3697 vsize=3977796 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 4073263104 935516 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=3977796 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 4073263104 935516 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=3977796 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 4073263104 935516 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 3977796 [startup+1422.3 s] /proc/loadavg: 2.31 2.27 2.26 3/183 3807 /proc/meminfo: memFree=25104208/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=4064836 CPUtime=1422.07 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 956799 0 0 0 141855 352 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 140733480350152 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 1016209 957330 907 2943 0 1013103 0 [pid=3700/tid=3701] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 4064836 [startup+1482.3 s] /proc/loadavg: 2.19 2.24 2.26 4/183 3809 /proc/meminfo: memFree=25104228/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=4064836 CPUtime=1482.04 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 956805 0 0 0 147838 366 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 140733480350152 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 1016209 957330 907 2943 0 1013103 0 [pid=3700/tid=3701] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 4064836 [startup+1542.31 s] /proc/loadavg: 2.24 2.24 2.26 3/183 3810 /proc/meminfo: memFree=25104256/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=4064836 CPUtime=1542.04 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 956806 0 0 0 153822 382 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 140733480350072 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 1016209 957330 907 2943 0 1013103 0 [pid=3700/tid=3701] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 4064836 [startup+1602.3 s] /proc/loadavg: 2.18 2.22 2.25 3/183 3811 /proc/meminfo: memFree=25104284/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=4064836 CPUtime=1602.03 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 956810 0 0 0 159806 397 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 140733480350152 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 1016209 957330 907 2943 0 1013103 0 [pid=3700/tid=3701] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 4064836 [startup+1662.3 s] /proc/loadavg: 2.28 2.24 2.25 3/183 3812 /proc/meminfo: memFree=25103944/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=4064836 CPUtime=1662.02 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 956813 0 0 0 165787 415 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 140733480350072 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 1016209 957330 907 2943 0 1013103 0 [pid=3700/tid=3701] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 4064836 [startup+1722.3 s] /proc/loadavg: 2.33 2.26 2.26 3/183 3813 /proc/meminfo: memFree=25103796/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=4064836 CPUtime=1722 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 956822 0 0 0 171774 426 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 140733480350152 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 1016209 957330 907 2943 0 1013103 0 [pid=3700/tid=3701] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=4064836 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 4162392064 957330 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 4064836 [startup+1782.3 s] /proc/loadavg: 2.25 2.25 2.26 3/184 3818 /proc/meminfo: memFree=25077980/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=4090436 CPUtime=1782 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 963195 0 0 0 177756 444 0 0 20 0 4 0 24650184 4188606464 963700 33554432000 4194304 16246674 140733480350976 140733480350152 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 1022609 963700 907 2943 0 1019503 0 [pid=3700/tid=3701] ppid=3697 vsize=4090436 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 4188606464 963700 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=4090436 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 4188606464 963700 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=4090436 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 4188606464 963700 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 4090436 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.33 2.27 2.26 3/184 3819 /proc/meminfo: memFree=25048668/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=4153924 CPUtime=1800.09 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) R 3697 3700 579 0 -1 4202496 979183 0 0 0 179559 450 0 0 20 0 4 0 24650184 4253618176 979684 33554432000 4194304 16246674 140733480350976 140733480349056 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 1038481 979684 907 2943 0 1035375 0 [pid=3700/tid=3701] ppid=3697 vsize=4153924 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3701/stat : 3701 (toysat) S 3697 3700 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24650184 4253618176 979684 33554432000 4194304 16246674 140733480350976 139814815902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=4153924 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) S 3697 3700 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24650184 4253618176 979684 33554432000 4194304 16246674 140733480350976 139814805413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3700/tid=3703] ppid=3697 vsize=4153924 CPUtime=0 cores=1,3,5,7 /proc/3700/task/3703/stat : 3703 (toysat) S 3697 3700 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24650184 4253618176 979684 33554432000 4194304 16246674 140733480350976 139814794939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 4153924 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 3700 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.33 2.27 2.26 3/184 3819 /proc/meminfo: memFree=25048668/32872528 swapFree=17888/1798212 [pid=3700] ppid=3697 vsize=0 CPUtime=1800.2 cores=1,3,5,7 /proc/3700/stat : 3700 (toysat) Z 3697 3700 579 0 -1 4203532 979183 0 0 0 179560 460 0 0 20 0 2 0 24650184 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3700/statm: 0 0 0 0 0 0 0 [pid=3700/tid=3702] ppid=3697 vsize=0 CPUtime=0.08 cores=1,3,5,7 /proc/3700/task/3702/stat : 3702 (toysat) R 3697 3700 579 0 -1 4203588 8 0 0 0 0 8 0 0 20 0 2 0 24650184 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.55 CPU time (s): 1800.24 CPU user time (s): 1795.6 CPU system time (s): 4.64229 CPU usage (%): 99.9828 Max. virtual memory (cumulated for all children) (KiB): 4153924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.6 system time used= 4.64229 maximum resident set size= 3918736 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 979183 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= 69 involuntary context switches= 1843 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6273 second user time and 6.87495 second system time The end
Begin job on node123 at 2016-06-18 07:00:31 IDJOB=4101681 IDBENCH=1781 IDSOLVER=2542 FILE ID=node123/4101681-1466226030 RUNJOBID= node123-1466206081-596 PBS_JOBID= 19918154 Free space on /tmp= 71620 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-qiu.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101681-1466226030/watcher-4101681-1466226030 -o /tmp/evaluation-result-4101681-1466226030/solver-4101681-1466226030 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-596 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101681-1466226030.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 644f01bea590fadfbdc9e969c95da3cf RANDOM SEED=1210700373 node123.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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: 28962384 kB Buffers: 120072 kB Cached: 175092 kB SwapCached: 1648 kB Active: 1174636 kB Inactive: 197832 kB Active(anon): 1078260 kB Inactive(anon): 1152 kB Active(file): 96376 kB Inactive(file): 196680 kB Unevictable: 1798212 kB Mlocked: 17888 kB SwapTotal: 67108856 kB SwapFree: 67099316 kB Dirty: 17208 kB Writeback: 0 kB AnonPages: 2874420 kB Mapped: 10524 kB Shmem: 0 kB Slab: 602980 kB SReclaimable: 46824 kB SUnreclaim: 556156 kB KernelStack: 1480 kB PageTables: 9868 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3019044 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2852864 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= 71604 MiB End job on node123 at 2016-06-18 07:30:31