| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.61 |
| Name | /OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat25_6_3_5_ic.opb |
| MD5SUM | d92c3493b3e048f1d4b1212b9868f41b |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| 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 | 15725 |
| Total number of constraints | 31332 |
| Number of constraints which are clauses | 14450 |
| Number of constraints which are cardinality constraints (but not clauses) | 7 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16875 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 300 |
| Number of terms in the objective function | 1825 |
| Biggest coefficient in the objective function | 125000000 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 11266082609 |
| Number of bits of the sum of numbers in the objective function | 34 |
| Biggest number in a constraint | 125000000 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 11266082609 |
| Number of bits of the biggest sum of numbers | 34 |
| 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-08T00:49:58+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-4079332-1465339798.opb"] 0.00/0.01 c use --random-gen="482054277 3009862548 1525137515 3263923316 4201226616 1364314789 2883472139 683812929 3215914424 2350854966 2740058720 2521645921 4255304391 1161087199 1736405842 699412288 3899714816 1406891952 3760848471 4247224047 4130689566 186185295 3405992842 543399484 3625939754 3369847808 3240651415 454465648 3975192458 2552680863 1357425511 654470887 1258616877 1718091296 2842161574 1142360236 1677679705 1553814822 168251698 845636169 379583205 2632117959 1677654714 554192440 2834078416 535650242 385002372 2628114463 2202875164 2182803697 1008277747 2774816604 2024195406 2269331762 3846541242 2618484541 136767293 3728887663 1440939465 928837602 2998834467 2085598359 222214238 4273223297 2226989250 2879024298 4159539029 3983929335 3230739905 1409447517 3914178671 363055973 1208538882 756917696 1470750294 381604735 1569153371 1796169889 828233796 3825931157 1243054942 354882670 965063988 1494007010 1367833736 3885727849 2723351748 2395236953 4287911006 901517739 3236773910 483248355 3630748066 2492004823 718655228 2931998249 3923991575 3540238634 1471851435 184739104 4180736572 852332667 3501523709 309108150 3373273496 489603392 782555103 3214513383 1836004523 1490286089 3771747024 318191576 2613598900 1537646738 2381826722 3446424842 3038955613 2678125523 3005995852 4232848843 706366575 3345775295 2038761111 3536515884 1272271916 2114298822 2350659485 729291153 3974072495 1872123599 1467085453 3756601621 2668986466 2205928798 4271573321 1510302614 3990877447 3782779512 47969080 699389037 2606885288 900410110 320366694 3009015460 2606514434 1269436762 1323603788 2104916290 3585042581 1414031727 3842155642 3266876980 3122896124 1582758188 3110327239 3983675342 4116586273 2856909341 3876031920 839573273 885028669 688620344 890693059 1840306962 1193167787 4262537852 2546144478 430979286 2971846407 181048008 3376521831 1942599702 1063476410 4024827059 2681849917 1409326117 229099726 1555907999 22844840 3468434713 1339949357 2457957206 1139155713 547104782 150793489 208256993 2752959215 2254086026 3873983274 2717529627 1382984493 851427716 3052451473 1932599167 987007768 3380519735 1430043048 3047719490 1255634426 4062045774 1520632054 3611660560 4071664611 368435352 1384959475 2661422665 710780411 2511704374 1935859523 3183442472 2630554500 1856797446 3181761648 2735764953 1400182577 2580260778 956069110 3563364134 823671093 791199546 1385517526 3501429791 3074924010 2232374013 3047921886 2997917518 1233388671 3018231111 1032892500 2282629083 2525818143 1040331550 3314564883 3109560921 465603417 2512955039 3873428440 2436656916 3961360781 84435458 1383935406 2492947049 2890625067 1690799128 2426159998 3166852430 1075628124 3814601747 4001756835 959382838 1131444110 3738035263 2739855018 2271787722 745710688 1383040080 255 362436" option to reproduce the execution 0.19/0.29 c #vars 15725 0.19/0.29 c #constraints 31332 0.79/0.82 c BCD2: Hardening is enabled. 0.79/0.82 c BCD2: BiasedSearch is enabled. 0.79/0.82 c Solving starts ... 0.79/0.82 c ============================[ Search Statistics ]============================ 0.79/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.82 c | | | | Limit GC | Var | Constra 0.79/0.82 c ============================================================================= 0.79/0.82 c 0.0s | 0 | 0 | 0 | 16286 0 | 75 | 0 1.79/1.85 c 1.0s | 1 | 129 | 100 | 16286 0 | 75 | 0 3.09/3.12 c 2.3s | 2 | 435 | 250 | 17915 0 | 75 | 0 4.49/4.53 c 3.7s | 3 | 796 | 475 | 19707 0 | 75 | 0 6.69/6.71 c 5.9s | 4 | 1308 | 813 | 21678 0 | 75 | 0 7.99/8.08 c 7.3s | 5 | 1919 | 1320 | 23846 0 | 75 | 0 10.18/10.26 c 9.4s | 5 | 4295 | 1820 | 26231 0 | 75 | 0 11.38/11.47 c 10.7s | 6 | 5071 | 2081 | 28855 0 | 75 | 0 13.58/13.67 c 12.9s | 6 | 7639 | 2681 | 28855 0 | 75 | 0 15.28/15.38 c 14.6s | 7 | 8250 | 3223 | 31741 0 | 75 | 0 17.48/17.60 c 16.8s | 7 | 9242 | 3923 | 31741 0 | 75 | 0 19.68/19.78 c 19.0s | 7 | 9996 | 4623 | 31741 0 | 75 | 0 20.68/20.78 c 20.0s | 8 | 10342 | 4936 | 34916 0 | 75 | 0 22.98/23.09 c 22.3s | 8 | 11768 | 5536 | 34916 0 | 75 | 0 25.39/25.45 c 24.6s | 8 | 12850 | 6136 | 34916 0 | 75 | 0 27.49/27.58 c 26.8s | 8 | 13809 | 6736 | 34916 0 | 75 | 0 29.69/29.80 c 29.0s | 8 | 14675 | 7236 | 34916 0 | 75 | 0 30.58/30.68 c 29.9s | 9 | 14964 | 7506 | 38408 0 | 75 | 0 32.99/33.01 c 32.2s | 9 | 15865 | 8006 | 38408 0 | 75 | 0 35.29/35.35 c 34.5s | 9 | 16951 | 8606 | 38408 0 | 75 | 0 37.28/37.40 c 36.6s | 9 | 17491 | 9106 | 38408 0 | 75 | 0 39.48/39.50 c 38.7s | 9 | 18000 | 9606 | 38408 0 | 75 | 0 41.79/41.82 c 41.0s | 9 | 18517 | 10106 | 38408 0 | 75 | 0 43.88/43.94 c 43.1s | 9 | 19182 | 10706 | 38408 0 | 75 | 0 46.38/46.47 c 45.7s | 9 | 19812 | 11306 | 42249 0 | 75 | 0 46.68/46.72 c 45.9s | 10 | 19871 | 11361 | 42249 0 | 75 | 0 48.88/48.93 c 48.1s | 10 | 20437 | 11861 | 42249 0 | 75 | 0 50.98/51.06 c 50.2s | 10 | 21396 | 12361 | 42249 0 | 75 | 0 53.08/53.14 c 52.3s | 10 | 22054 | 12861 | 42249 0 | 75 | 0 55.18/55.20 c 54.4s | 10 | 23427 | 13361 | 42249 0 | 75 | 0 57.57/57.66 c 56.8s | 10 | 24096 | 13961 | 42249 0 | 75 | 0 59.97/60.00 c 59.2s | 10 | 24703 | 14561 | 42249 0 | 75 | 0 61.97/62.07 c 61.2s | 10 | 25121 | 14961 | 42249 0 | 75 | 0 64.37/64.48 c 63.7s | 10 | 25663 | 15461 | 42249 0 | 75 | 0 66.57/66.68 c 65.9s | 10 | 26176 | 15961 | 42249 0 | 75 | 0 69.07/69.13 c 68.3s | 10 | 26683 | 16461 | 42249 0 | 75 | 0 71.27/71.38 c 70.6s | 10 | 27208 | 16961 | 42249 0 | 75 | 0 72.07/72.19 c 71.4s | 11 | 27402 | 17144 | 46474 0 | 75 | 0 74.47/74.53 c 73.7s | 11 | 28295 | 17544 | 46474 0 | 75 | 0 76.58/76.68 c 75.9s | 11 | 28807 | 17944 | 46474 0 | 75 | 0 78.67/78.77 c 77.9s | 11 | 29410 | 18344 | 46474 0 | 75 | 0 80.77/80.85 c 80.0s | 11 | 29900 | 18744 | 46474 0 | 75 | 0 82.87/82.97 c 82.1s | 11 | 30479 | 19144 | 46474 0 | 75 | 0 85.07/85.17 c 84.3s | 11 | 31027 | 19544 | 46474 0 | 75 | 0 87.67/87.70 c 86.9s | 11 | 31955 | 20044 | 46474 0 | 75 | 0 89.67/89.74 c 88.9s | 11 | 32481 | 20444 | 46474 0 | 75 | 0 91.96/92.09 c 91.3s | 11 | 33358 | 21044 | 46474 0 | 75 | 0 94.36/94.42 c 93.6s | 11 | 33924 | 21544 | 46474 0 | 75 | 0 96.77/96.87 c 96.0s | 11 | 34855 | 22144 | 46474 0 | 75 | 0 99.36/99.42 c 98.6s | 11 | 35416 | 22644 | 46474 0 | 75 | 0 101.36/101.49 c 100s | 11 | 35999 | 23044 | 46474 0 | 75 | 0 103.96/104.02 c 103s | 11 | 36793 | 23544 | 46474 0 | 75 | 0 106.16/106.26 c 105s | 11 | 37331 | 24044 | 46474 0 | 75 | 0 108.16/108.27 c 107s | 11 | 37759 | 24444 | 46474 0 | 75 | 0 110.46/110.53 c 109s | 11 | 38317 | 24944 | 46474 0 | 75 | 0 112.56/112.63 c 111s | 11 | 38770 | 25344 | 46474 0 | 75 | 0 114.66/114.74 c 113s | 11 | 39229 | 25744 | 51122 0 | 75 | 0 114.96/115.09 c 114s | 12 | 39309 | 25819 | 51122 0 | 75 | 0 117.45/117.53 c 116s | 12 | 39915 | 26119 | 51122 0 | 75 | 0 119.75/119.80 c 118s | 12 | 40547 | 26719 | 51122 0 | 75 | 0 121.75/121.83 c 121s | 12 | 41020 | 27119 | 51122 0 | 75 | 0 123.75/123.85 c 123s | 12 | 41552 | 27619 | 51122 0 | 75 | 0 126.15/126.20 c 125s | 12 | 42020 | 28019 | 51122 0 | 75 | 0 128.55/128.60 c 127s | 12 | 42681 | 28519 | 51122 0 | 75 | 0 130.75/130.86 c 130s | 12 | 43139 | 28919 | 51122 0 | 75 | 0 133.25/133.34 c 132s | 12 | 44209 | 29319 | 51122 0 | 75 | 0 135.35/135.41 c 134s | 12 | 44612 | 29719 | 51122 0 | 75 | 0 137.45/137.55 c 136s | 12 | 45015 | 30119 | 51122 0 | 75 | 0 139.94/140.03 c 139s | 12 | 45562 | 30519 | 51122 0 | 75 | 0 142.04/142.12 c 141s | 12 | 46194 | 30919 | 51122 0 | 75 | 0 144.44/144.51 c 143s | 12 | 46762 | 31319 | 51122 0 | 75 | 0 146.74/146.81 c 145s | 12 | 47326 | 31719 | 51122 0 | 75 | 0 148.84/148.96 c 148s | 12 | 47810 | 32119 | 51122 0 | 75 | 0 151.54/151.62 c 150s | 12 | 48314 | 32519 | 51122 0 | 75 | 0 153.94/154.09 c 153s | 12 | 48895 | 32919 | 51122 0 | 75 | 0 156.54/156.63 c 155s | 12 | 49478 | 33319 | 51122 0 | 75 | 0 158.63/158.70 c 157s | 12 | 49978 | 33719 | 51122 0 | 75 | 0 160.93/161.08 c 160s | 12 | 50501 | 34119 | 51122 0 | 75 | 0 163.43/163.55 c 162s | 12 | 51044 | 34519 | 51122 0 | 75 | 0 165.83/165.96 c 165s | 12 | 51481 | 34919 | 51122 0 | 75 | 0 168.23/168.40 c 167s | 12 | 51970 | 35319 | 51122 0 | 75 | 0 170.33/170.40 c 169s | 12 | 52382 | 35619 | 51122 0 | 75 | 0 172.83/172.97 c 172s | 12 | 52859 | 36019 | 51122 0 | 75 | 0 175.03/175.18 c 174s | 12 | 53352 | 36419 | 51122 0 | 75 | 0 177.52/177.60 c 176s | 12 | 53933 | 36819 | 51122 0 | 75 | 0 179.92/180.08 c 179s | 12 | 54407 | 37219 | 51122 0 | 75 | 0 182.22/182.37 c 181s | 12 | 54851 | 37619 | 51122 0 | 75 | 0 184.62/184.80 c 183s | 12 | 55367 | 38019 | 51122 0 | 75 | 0 186.93/187.04 c 186s | 12 | 55801 | 38419 | 51122 0 | 75 | 0 189.22/189.31 c 188s | 12 | 56412 | 38819 | 56235 0 | 75 | 0 189.31/189.41 c 188s | 13 | 56434 | 38832 | 56235 0 | 75 | 0 191.81/191.91 c 191s | 13 | 57201 | 39232 | 56235 0 | 75 | 0 193.91/194.05 c 193s | 13 | 57766 | 39632 | 56235 0 | 75 | 0 196.21/196.32 c 195s | 13 | 58240 | 40032 | 56235 0 | 75 | 0 198.51/198.65 c 197s | 13 | 58734 | 40432 | 56235 0 | 75 | 0 200.71/200.86 c 200s | 13 | 59382 | 40832 | 56235 0 | 75 | 0 203.21/203.39 c 202s | 13 | 59915 | 41232 | 56235 0 | 75 | 0 205.81/205.95 c 205s | 13 | 60491 | 41632 | 56235 0 | 75 | 0 208.40/208.56 c 207s | 13 | 61077 | 42032 | 56235 0 | 75 | 0 210.50/210.67 c 209s | 13 | 61669 | 42432 | 56235 0 | 75 | 0 212.80/212.92 c 212s | 13 | 62326 | 42832 | 56235 0 | 75 | 0 215.10/215.29 c 214s | 13 | 62973 | 43232 | 56235 0 | 75 | 0 217.70/217.84 c 217s | 13 | 63490 | 43632 | 56235 0 | 75 | 0 219.69/219.88 c 219s | 13 | 63840 | 43932 | 56235 0 | 75 | 0 222.39/222.51 c 221s | 13 | 64381 | 44332 | 56235 0 | 75 | 0 224.79/224.92 c 224s | 13 | 64826 | 44732 | 56235 0 | 75 | 0 227.29/227.42 c 226s | 13 | 65315 | 45132 | 56235 0 | 75 | 0 229.29/229.47 c 228s | 13 | 65673 | 45432 | 56235 0 | 75 | 0 231.69/231.86 c 231s | 13 | 66166 | 45832 | 56235 0 | 75 | 0 233.99/234.18 c 233s | 13 | 66646 | 46232 | 56235 0 | 75 | 0 236.29/236.42 c 235s | 13 | 66986 | 46532 | 56235 0 | 75 | 0 238.78/238.97 c 238s | 13 | 67361 | 46832 | 56235 0 | 75 | 0 240.98/241.10 c 240s | 13 | 67741 | 47132 | 56235 0 | 75 | 0 243.38/243.57 c 242s | 13 | 68226 | 47532 | 56235 0 | 75 | 0 245.68/245.88 c 245s | 13 | 68834 | 47932 | 56235 0 | 75 | 0 248.07/248.28 c 247s | 13 | 69404 | 48332 | 56235 0 | 75 | 0 250.68/250.86 c 250s | 13 | 70016 | 48732 | 56235 0 | 75 | 0 252.67/252.86 c 252s | 13 | 70382 | 49032 | 56235 0 | 75 | 0 254.77/254.90 c 254s | 13 | 70743 | 49332 | 56235 0 | 75 | 0 257.17/257.32 c 256s | 13 | 71093 | 49632 | 56235 0 | 75 | 0 259.48/259.62 c 258s | 13 | 71444 | 49932 | 56235 0 | 75 | 0 261.78/261.97 c 261s | 13 | 71805 | 50232 | 56235 0 | 75 | 0 263.98/264.14 c 263s | 13 | 72208 | 50532 | 56235 0 | 75 | 0 266.18/266.34 c 265s | 13 | 72575 | 50832 | 56235 0 | 75 | 0 268.66/268.85 c 268s | 13 | 73035 | 51232 | 56235 0 | 75 | 0 271.36/271.50 c 270s | 13 | 73519 | 51632 | 56235 0 | 75 | 0 273.87/274.06 c 273s | 13 | 74020 | 52032 | 56235 0 | 75 | 0 276.26/276.44 c 275s | 13 | 74462 | 52432 | 56235 0 | 75 | 0 278.76/278.99 c 278s | 13 | 74883 | 52832 | 56235 0 | 75 | 0 281.46/281.69 c 280s | 13 | 75405 | 53232 | 56235 0 | 75 | 0 283.66/283.89 c 283s | 13 | 75761 | 53532 | 56235 0 | 75 | 0 285.86/286.09 c 285s | 13 | 76099 | 53832 | 56235 0 | 75 | 0 287.95/288.11 c 287s | 13 | 76414 | 54132 | 56235 0 | 75 | 0 290.15/290.30 c 289s | 13 | 76790 | 54432 | 56235 0 | 75 | 0 292.45/292.60 c 291s | 13 | 77166 | 54732 | 56235 0 | 75 | 0 294.45/294.69 c 293s | 13 | 77542 | 55032 | 56235 0 | 75 | 0 296.95/297.18 c 296s | 13 | 78023 | 55432 | 56235 0 | 75 | 0 299.64/299.84 c 299s | 13 | 78516 | 55832 | 56235 0 | 75 | 0 301.84/302.08 c 301s | 13 | 78896 | 56132 | 56235 0 | 75 | 0 304.44/304.67 c 303s | 13 | 79260 | 56432 | 56235 0 | 75 | 0 306.94/307.15 c 306s | 13 | 79785 | 56732 | 56235 0 | 75 | 0 309.44/309.65 c 308s | 13 | 80197 | 57032 | 56235 0 | 75 | 0 311.53/311.76 c 310s | 13 | 80533 | 57332 | 56235 0 | 75 | 0 313.83/314.08 c 313s | 13 | 80872 | 57632 | 56235 0 | 75 | 0 315.93/316.13 c 315s | 13 | 81219 | 57932 | 56235 0 | 75 | 0 318.43/318.68 c 317s | 13 | 81694 | 58332 | 61859 0 | 75 | 0 318.63/318.85 c 318s | 14 | 81723 | 58352 | 61859 0 | 75 | 0 321.13/321.37 c 320s | 14 | 82075 | 58552 | 61859 0 | 75 | 0 324.03/324.23 c 323s | 14 | 82395 | 58852 | 61859 0 | 75 | 0 326.43/326.68 c 325s | 14 | 82858 | 59252 | 61859 0 | 75 | 0 328.92/329.19 c 328s | 14 | 83219 | 59552 | 61859 0 | 75 | 0 331.22/331.48 c 330s | 14 | 83574 | 59852 | 61859 0 | 75 | 0 333.62/333.80 c 332s | 14 | 83942 | 60152 | 61859 0 | 75 | 0 335.72/335.90 c 335s | 14 | 84387 | 60452 | 61859 0 | 75 | 0 337.71/337.92 c 337s | 14 | 84916 | 60752 | 61859 0 | 75 | 0 340.11/340.30 c 339s | 14 | 85392 | 61152 | 61859 0 | 75 | 0 342.51/342.77 c 341s | 14 | 85832 | 61552 | 61859 0 | 75 | 0 344.61/344.81 c 343s | 14 | 86215 | 61852 | 61859 0 | 75 | 0 346.71/346.92 c 346s | 14 | 86615 | 62152 | 61859 0 | 75 | 0 349.31/349.56 c 348s | 14 | 87200 | 62552 | 61859 0 | 75 | 0 352.01/352.28 c 351s | 14 | 87653 | 62952 | 61859 0 | 75 | 0 354.71/354.91 c 354s | 14 | 88157 | 63352 | 61859 0 | 75 | 0 357.01/357.26 c 356s | 14 | 88571 | 63752 | 61859 0 | 75 | 0 359.61/359.81 c 358s | 14 | 88972 | 64152 | 61859 0 | 75 | 0 361.60/361.90 c 361s | 14 | 89281 | 64452 | 61859 0 | 75 | 0 363.80/364.04 c 363s | 14 | 89766 | 64752 | 61859 0 | 75 | 0 366.00/366.20 c 365s | 14 | 90073 | 65052 | 61859 0 | 75 | 0 368.00/368.23 c 367s | 14 | 90406 | 65352 | 61859 0 | 75 | 0 370.61/370.81 c 369s | 14 | 90812 | 65752 | 61859 0 | 75 | 0 372.71/372.97 c 372s | 14 | 91238 | 66152 | 61859 0 | 75 | 0 375.10/375.39 c 374s | 14 | 91642 | 66552 | 61859 0 | 75 | 0 377.59/377.87 c 377s | 14 | 92068 | 66952 | 61859 0 | 75 | 0 380.30/380.53 c 379s | 14 | 92504 | 67352 | 61859 0 | 75 | 0 382.71/382.98 c 382s | 14 | 92991 | 67752 | 61859 0 | 75 | 0 385.20/385.42 c 384s | 14 | 93391 | 68152 | 61859 0 | 75 | 0 387.30/387.56 c 386s | 14 | 93815 | 68552 | 61859 0 | 75 | 0 389.49/389.75 c 388s | 14 | 94129 | 68852 | 61859 0 | 75 | 0 391.99/392.28 c 391s | 14 | 94538 | 69252 | 61859 0 | 75 | 0 394.09/394.38 c 393s | 14 | 94838 | 69552 | 61859 0 | 75 | 0 396.09/396.39 c 395s | 14 | 95151 | 69852 | 61859 0 | 75 | 0 398.69/398.95 c 398s | 14 | 95557 | 70252 | 61859 0 | 75 | 0 400.89/401.19 c 400s | 14 | 95688 | 70352 | 61859 1 | 75 | 0 402.99/403.28 c 402s | 14 | 96258 | 70652 | 61859 1 | 75 | 0 405.19/405.46 c 404s | 14 | 96696 | 71052 | 61859 1 | 75 | 0 407.49/407.73 c 406s | 14 | 97217 | 71452 | 61859 1 | 75 | 0 409.78/410.08 c 409s | 14 | 97649 | 71852 | 61859 1 | 75 | 0 412.18/412.46 c 411s | 14 | 98167 | 72352 | 61859 1 | 75 | 0 414.59/414.89 c 414s | 14 | 98679 | 72852 | 61859 1 | 75 | 0 416.79/417.03 c 416s | 14 | 99178 | 73252 | 61859 1 | 75 | 0 418.99/419.22 c 418s | 14 | 99597 | 73652 | 61859 1 | 75 | 0 420.98/421.25 c 420s | 14 | 100012 | 74052 | 61859 1 | 75 | 0 422.98/423.26 c 422s | 14 | 100425 | 74452 | 61859 1 | 75 | 0 425.48/425.76 c 424s | 14 | 100940 | 74952 | 61859 1 | 75 | 0 427.57/427.88 c 427s | 14 | 101358 | 75352 | 61859 1 | 75 | 0 429.88/430.18 c 429s | 14 | 101766 | 75752 | 61859 1 | 75 | 0 432.08/432.35 c 431s | 14 | 102586 | 76152 | 61859 1 | 75 | 0 434.17/434.43 c 433s | 14 | 102996 | 76552 | 61859 1 | 75 | 0 436.27/436.58 c 435s | 14 | 103440 | 76952 | 61859 1 | 75 | 0 438.56/438.85 c 438s | 14 | 103848 | 77352 | 61859 1 | 75 | 0 441.06/441.38 c 440s | 14 | 104349 | 77652 | 61859 1 | 75 | 0 443.66/443.94 c 443s | 14 | 104772 | 78052 | 61859 1 | 75 | 0 446.16/446.47 c 445s | 14 | 105212 | 78452 | 61859 1 | 75 | 0 448.36/448.62 c 447s | 14 | 105553 | 78752 | 61859 1 | 75 | 0 450.86/451.18 c 450s | 14 | 106023 | 79152 | 61859 1 | 75 | 0 453.46/453.71 c 452s | 14 | 106538 | 79552 | 61859 1 | 75 | 0 456.15/456.45 c 455s | 14 | 106877 | 79852 | 61859 1 | 75 | 0 458.65/458.99 c 458s | 14 | 107320 | 80252 | 61859 1 | 75 | 0 461.15/461.45 c 460s | 14 | 107726 | 80652 | 61859 1 | 75 | 0 463.25/463.51 c 462s | 14 | 108035 | 80952 | 61859 1 | 75 | 0 465.85/466.12 c 465s | 14 | 108441 | 81352 | 61859 1 | 75 | 0 468.45/468.79 c 467s | 14 | 108854 | 81752 | 61859 1 | 75 | 0 470.65/470.91 c 470s | 14 | 109407 | 82252 | 61859 1 | 75 | 0 473.24/473.54 c 472s | 14 | 109923 | 82752 | 61859 1 | 75 | 0 475.54/475.83 c 475s | 14 | 110346 | 83152 | 61859 1 | 75 | 0 477.84/478.19 c 477s | 14 | 110757 | 83552 | 61859 1 | 75 | 0 480.24/480.52 c 479s | 14 | 111173 | 83952 | 61859 1 | 75 | 0 482.34/482.69 c 481s | 14 | 111485 | 84252 | 61859 1 | 75 | 0 484.44/484.77 c 483s | 14 | 111795 | 84552 | 61859 1 | 75 | 0 486.44/486.80 c 485s | 14 | 112107 | 84852 | 61859 1 | 75 | 0 488.73/489.03 c 488s | 14 | 112410 | 85152 | 61859 1 | 75 | 0 490.83/491.13 c 490s | 14 | 112719 | 85452 | 61859 1 | 75 | 0 492.93/493.27 c 492s | 14 | 113031 | 85752 | 61859 1 | 75 | 0 495.03/495.37 c 494s | 14 | 113339 | 86052 | 61859 1 | 75 | 0 497.42/497.78 c 496s | 14 | 113696 | 86352 | 61859 1 | 75 | 0 499.92/500.25 c 499s | 14 | 114117 | 86752 | 61859 1 | 75 | 0 502.62/502.98 c 502s | 14 | 114509 | 87152 | 68045 1 | 75 | 0 504.63/504.98 c 504s | 14 | 114824 | 87452 | 68045 1 | 75 | 0 505.83/506.16 c 505s | 15 | 115022 | 87632 | 68045 1 | 75 | 0 508.63/508.96 c 508s | 15 | 115563 | 87832 | 68045 1 | 75 | 0 510.73/511.04 c 510s | 15 | 115908 | 88132 | 68045 1 | 75 | 0 513.13/513.42 c 512s | 15 | 116268 | 88432 | 68045 1 | 75 | 0 515.13/515.48 c 514s | 15 | 116616 | 88732 | 68045 1 | 75 | 0 517.52/517.89 c 517s | 15 | 116977 | 89032 | 68045 1 | 75 | 0 519.92/520.23 c 519s | 15 | 117339 | 89332 | 68045 1 | 75 | 0 522.33/522.65 c 521s | 15 | 117730 | 89632 | 68045 1 | 75 | 0 524.72/525.07 c 524s | 15 | 118034 | 89932 | 68045 1 | 75 | 0 527.11/527.42 c 526s | 15 | 118411 | 90232 | 68045 1 | 75 | 0 529.42/529.76 c 528s | 15 | 118759 | 90532 | 68045 1 | 75 | 0 532.02/532.32 c 531s | 15 | 119224 | 90932 | 68045 1 | 75 | 0 534.51/534.82 c 534s | 15 | 119669 | 91332 | 68045 1 | 75 | 0 537.11/537.43 c 536s | 15 | 120173 | 91732 | 68045 1 | 75 | 0 539.71/540.08 c 539s | 15 | 120702 | 92132 | 68045 1 | 75 | 0 541.91/542.21 c 541s | 15 | 121117 | 92432 | 68045 1 | 75 | 0 543.91/544.27 c 543s | 15 | 121531 | 92732 | 68045 1 | 75 | 0 546.61/546.92 c 546s | 15 | 121988 | 93132 | 68045 1 | 75 | 0 549.20/549.56 c 548s | 15 | 122524 | 93532 | 68045 1 | 75 | 0 551.91/552.27 c 551s | 15 | 122996 | 93932 | 68045 1 | 75 | 0 554.11/554.42 c 553s | 15 | 123372 | 94232 | 68045 1 | 75 | 0 556.31/556.66 c 555s | 15 | 123791 | 94532 | 68045 1 | 75 | 0 558.89/559.28 c 558s | 15 | 124249 | 94932 | 68045 1 | 75 | 0 561.49/561.86 c 561s | 15 | 124700 | 95332 | 68045 1 | 75 | 0 563.79/564.17 c 563s | 15 | 125230 | 95632 | 68045 1 | 75 | 0 566.09/566.40 c 565s | 15 | 125616 | 95932 | 68045 1 | 75 | 0 568.69/569.05 c 568s | 15 | 126091 | 96332 | 68045 1 | 75 | 0 570.89/571.21 c 570s | 15 | 126467 | 96632 | 68045 1 | 75 | 0 573.39/573.74 c 572s | 15 | 127052 | 97032 | 68045 1 | 75 | 0 575.79/576.12 c 575s | 15 | 127669 | 97432 | 68045 1 | 75 | 0 577.88/578.26 c 577s | 15 | 128087 | 97732 | 68045 1 | 75 | 0 579.98/580.34 c 579s | 15 | 128450 | 98032 | 68045 1 | 75 | 0 582.38/582.72 c 581s | 15 | 128914 | 98332 | 68045 1 | 75 | 0 584.78/585.11 c 584s | 15 | 129386 | 98632 | 68045 1 | 75 | 0 587.47/587.81 c 586s | 15 | 129857 | 98932 | 68045 1 | 75 | 0 589.87/590.25 c 589s | 15 | 130314 | 99232 | 68045 1 | 75 | 0 591.87/592.27 c 591s | 15 | 130692 | 99532 | 68045 1 | 75 | 0 594.47/594.88 c 594s | 15 | 131268 | 99832 | 68045 1 | 75 | 0 596.67/597.03 c 596s | 15 | 131641 | 100132 | 68045 1 | 75 | 0 599.06/599.48 c 598s | 15 | 132015 | 100432 | 68045 1 | 75 | 0 601.56/601.94 c 601s | 15 | 132376 | 100732 | 68045 1 | 75 | 0 603.86/604.25 c 603s | 15 | 132723 | 101032 | 68045 1 | 75 | 0 606.26/606.61 c 605s | 15 | 133084 | 101332 | 68045 1 | 75 | 0 608.76/609.17 c 608s | 15 | 133622 | 101732 | 68045 1 | 75 | 0 610.86/611.24 c 610s | 15 | 133995 | 102032 | 68045 1 | 75 | 0 613.46/613.87 c 613s | 15 | 134322 | 102332 | 68045 1 | 75 | 0 615.66/616.00 c 615s | 15 | 134701 | 102632 | 68045 1 | 75 | 0 617.96/618.33 c 617s | 15 | 135050 | 102932 | 68045 1 | 75 | 0 620.45/620.86 c 620s | 15 | 135408 | 103232 | 68045 1 | 75 | 0 623.15/623.57 c 622s | 15 | 135826 | 103532 | 68045 1 | 75 | 0 625.35/625.76 c 624s | 15 | 136210 | 103832 | 68045 1 | 75 | 0 628.05/628.42 c 627s | 15 | 136668 | 104132 | 68045 1 | 75 | 0 630.85/631.23 c 630s | 15 | 137045 | 104432 | 68045 1 | 75 | 0 633.55/633.94 c 633s | 15 | 137449 | 104732 | 68045 1 | 75 | 0 635.95/636.38 c 635s | 15 | 137825 | 105032 | 68045 1 | 75 | 0 638.34/638.77 c 637s | 15 | 138166 | 105332 | 68045 1 | 75 | 0 641.05/641.47 c 640s | 15 | 138558 | 105632 | 68045 1 | 75 | 0 643.44/643.80 c 642s | 15 | 138888 | 105932 | 68045 1 | 75 | 0 646.24/646.61 c 645s | 15 | 139277 | 106232 | 68045 1 | 75 | 0 648.84/649.21 c 648s | 15 | 139632 | 106532 | 68045 1 | 75 | 0 651.54/651.93 c 651s | 15 | 140134 | 106832 | 68045 1 | 75 | 0 653.94/654.37 c 653s | 15 | 140541 | 107132 | 68045 1 | 75 | 0 656.54/656.96 c 656s | 15 | 140899 | 107432 | 68045 1 | 75 | 0 660.03/660.42 c 659s | 15 | 141269 | 107632 | 68045 2 | 75 | 0 662.24/662.69 c 661s | 15 | 141488 | 107832 | 68045 2 | 75 | 0 664.44/664.86 c 664s | 15 | 142333 | 108132 | 68045 2 | 75 | 0 667.04/667.42 c 666s | 15 | 142748 | 108432 | 68045 2 | 75 | 0 669.33/669.72 c 668s | 15 | 143168 | 108832 | 68045 2 | 75 | 0 671.74/672.11 c 671s | 15 | 143694 | 109332 | 68045 2 | 75 | 0 674.13/674.52 c 673s | 15 | 144604 | 109732 | 68045 2 | 75 | 0 676.73/677.12 c 676s | 15 | 145397 | 110132 | 68045 2 | 75 | 0 679.03/679.48 c 678s | 15 | 145840 | 110532 | 68045 2 | 75 | 0 681.63/682.03 c 681s | 15 | 146333 | 110932 | 68045 2 | 75 | 0 684.23/684.65 c 683s | 15 | 146796 | 111332 | 68045 2 | 75 | 0 686.63/687.06 c 686s | 15 | 147231 | 111732 | 68045 2 | 75 | 0 688.72/689.19 c 688s | 15 | 147653 | 112132 | 68045 2 | 75 | 0 690.92/691.38 c 690s | 15 | 148069 | 112532 | 68045 2 | 75 | 0 693.52/693.91 c 693s | 15 | 148563 | 112932 | 68045 2 | 75 | 0 695.52/695.99 c 695s | 15 | 148886 | 113232 | 68045 2 | 75 | 0 697.91/698.35 c 697s | 15 | 149464 | 113632 | 68045 2 | 75 | 0 700.42/700.84 c 700s | 15 | 149915 | 114032 | 68045 2 | 75 | 0 702.71/703.11 c 702s | 15 | 150286 | 114332 | 68045 2 | 75 | 0 705.01/705.45 c 704s | 15 | 150644 | 114632 | 68045 2 | 75 | 0 707.41/707.89 c 707s | 15 | 150961 | 114932 | 68045 2 | 75 | 0 710.22/710.66 c 709s | 15 | 151389 | 115332 | 68045 2 | 75 | 0 712.31/712.73 c 711s | 15 | 151708 | 115632 | 68045 2 | 75 | 0 714.62/715.06 c 714s | 15 | 152027 | 115932 | 68045 2 | 75 | 0 717.11/717.55 c 716s | 15 | 152456 | 116332 | 68045 2 | 75 | 0 719.41/719.88 c 719s | 15 | 152775 | 116632 | 68045 2 | 75 | 0 721.41/721.89 c 721s | 15 | 153091 | 116932 | 68045 2 | 75 | 0 723.61/724.01 c 723s | 15 | 153411 | 117232 | 68045 2 | 75 | 0 725.81/726.28 c 725s | 15 | 153716 | 117532 | 68045 2 | 75 | 0 728.01/728.43 c 727s | 15 | 154025 | 117832 | 68045 2 | 75 | 0 730.60/731.01 c 730s | 15 | 154372 | 118132 | 68045 2 | 75 | 0 732.90/733.32 c 732s | 15 | 154712 | 118432 | 68045 2 | 75 | 0 735.30/735.75 c 734s | 15 | 155023 | 118732 | 68045 2 | 75 | 0 737.50/737.93 c 737s | 15 | 155341 | 119032 | 68045 2 | 75 | 0 740.10/740.51 c 739s | 15 | 155770 | 119332 | 68045 2 | 75 | 0 742.30/742.76 c 741s | 15 | 156087 | 119632 | 68045 2 | 75 | 0 744.60/745.03 c 744s | 15 | 156393 | 119932 | 68045 2 | 75 | 0 746.90/747.38 c 746s | 15 | 156701 | 120232 | 68045 2 | 75 | 0 749.40/749.83 c 749s | 15 | 157113 | 120532 | 68045 2 | 75 | 0 751.80/752.29 c 751s | 15 | 157448 | 120832 | 68045 2 | 75 | 0 753.90/754.39 c 753s | 15 | 157775 | 121032 | 68045 2 | 75 | 0 756.00/756.43 c 755s | 15 | 157979 | 121232 | 68045 2 | 75 | 0 758.40/758.83 c 758s | 15 | 158308 | 121532 | 68045 2 | 75 | 0 761.10/761.54 c 760s | 15 | 158803 | 121832 | 68045 2 | 75 | 0 763.20/763.67 c 762s | 15 | 159319 | 122132 | 68045 2 | 75 | 0 765.31/765.79 c 764s | 15 | 159694 | 122432 | 68045 2 | 75 | 0 767.51/768.00 c 767s | 15 | 160000 | 122732 | 68045 2 | 75 | 0 770.71/771.19 c 770s | 15 | 160358 | 123032 | 68045 2 | 75 | 0 772.91/773.37 c 772s | 15 | 160725 | 123232 | 68045 2 | 75 | 0 774.90/775.38 c 774s | 15 | 160971 | 123432 | 68045 2 | 75 | 0 777.10/777.59 c 776s | 15 | 161275 | 123732 | 68045 2 | 75 | 0 779.70/780.15 c 779s | 15 | 161585 | 124032 | 68045 2 | 75 | 0 782.00/782.44 c 781s | 15 | 162357 | 124432 | 68045 2 | 75 | 0 784.50/784.99 c 784s | 15 | 162693 | 124732 | 68045 2 | 75 | 0 787.10/787.59 c 786s | 15 | 163749 | 125032 | 68045 2 | 75 | 0 789.79/790.23 c 789s | 15 | 164236 | 125332 | 68045 2 | 75 | 0 792.19/792.65 c 791s | 15 | 164561 | 125632 | 68045 2 | 75 | 0 794.49/794.90 c 794s | 15 | 164885 | 125932 | 68045 2 | 75 | 0 796.59/797.09 c 796s | 15 | 165192 | 126232 | 68045 2 | 75 | 0 799.09/799.53 c 798s | 15 | 165550 | 126532 | 68045 2 | 75 | 0 801.39/801.84 c 801s | 15 | 165942 | 126832 | 68045 2 | 75 | 0 803.99/804.42 c 803s | 15 | 166449 | 127132 | 68045 2 | 75 | 0 806.39/806.89 c 806s | 15 | 166809 | 127432 | 68045 2 | 75 | 0 808.59/809.02 c 808s | 15 | 167169 | 127632 | 68045 2 | 75 | 0 810.59/811.04 c 810s | 15 | 167477 | 127932 | 68045 2 | 75 | 0 813.99/814.43 c 813s | 15 | 167863 | 128232 | 68045 2 | 75 | 0 816.69/817.19 c 816s | 15 | 168172 | 128532 | 68045 2 | 75 | 0 818.89/819.30 c 818s | 15 | 168392 | 128732 | 68045 2 | 75 | 0 821.19/821.62 c 820s | 15 | 168768 | 129032 | 68045 2 | 75 | 0 823.50/823.98 c 823s | 15 | 169090 | 129332 | 68045 2 | 75 | 0 825.89/826.37 c 825s | 15 | 169409 | 129632 | 68045 2 | 75 | 0 827.99/828.44 c 827s | 15 | 169692 | 129832 | 68045 2 | 75 | 0 829.99/830.46 c 829s | 15 | 169956 | 130032 | 68045 2 | 75 | 0 832.09/832.60 c 831s | 15 | 170262 | 130332 | 68045 2 | 75 | 0 834.49/835.00 c 834s | 15 | 170576 | 130632 | 68045 2 | 75 | 0 836.99/837.40 c 836s | 15 | 170881 | 130932 | 74850 2 | 75 | 0 839.39/839.86 c 839s | 15 | 171195 | 131232 | 74850 2 | 75 | 0 841.79/842.27 c 841s | 15 | 171511 | 131532 | 74850 2 | 75 | 0 842.09/842.55 c 841s | 16 | 171535 | 131552 | 74850 2 | 75 | 0 844.88/845.35 c 844s | 16 | 171814 | 131752 | 74850 2 | 75 | 0 846.98/847.43 c 846s | 16 | 172075 | 131952 | 74850 2 | 75 | 0 849.18/849.67 c 848s | 16 | 172348 | 132152 | 74850 2 | 75 | 0 852.09/852.55 c 851s | 16 | 172713 | 132452 | 74850 2 | 75 | 0 854.58/855.07 c 854s | 16 | 173053 | 132752 | 74850 2 | 75 | 0 856.98/857.44 c 856s | 16 | 173524 | 132952 | 74850 2 | 75 | 0 859.48/859.95 c 859s | 16 | 173740 | 133152 | 74850 2 | 75 | 0 861.68/862.11 c 861s | 16 | 173997 | 133352 | 74850 2 | 75 | 0 864.29/864.74 c 863s | 16 | 174367 | 133652 | 74850 2 | 75 | 0 867.38/867.88 c 867s | 16 | 175101 | 133952 | 74850 2 | 75 | 0 869.88/870.36 c 869s | 16 | 175410 | 134252 | 74850 2 | 75 | 0 872.18/872.64 c 871s | 16 | 176041 | 134452 | 74850 2 | 75 | 0 874.28/874.70 c 873s | 16 | 176282 | 134652 | 74850 2 | 75 | 0 876.39/876.89 c 876s | 16 | 176499 | 134852 | 74850 2 | 75 | 0 878.88/879.33 c 878s | 16 | 176725 | 135052 | 74850 2 | 75 | 0 881.79/882.23 c 881s | 16 | 177080 | 135352 | 74850 2 | 75 | 0 883.99/884.49 c 883s | 16 | 177292 | 135552 | 74850 2 | 75 | 0 886.48/886.90 c 886s | 16 | 177608 | 135852 | 74850 2 | 75 | 0 888.98/889.47 c 888s | 16 | 177916 | 136152 | 74850 2 | 75 | 0 891.48/891.92 c 891s | 16 | 178223 | 136452 | 74850 2 | 75 | 0 893.78/894.20 c 893s | 16 | 178538 | 136752 | 74850 2 | 75 | 0 896.09/896.60 c 895s | 16 | 178846 | 137052 | 74850 2 | 75 | 0 898.88/899.38 c 898s | 16 | 179368 | 137452 | 74850 2 | 75 | 0 901.08/901.51 c 900s | 16 | 179666 | 137752 | 74850 2 | 75 | 0 903.38/903.85 c 903s | 16 | 179983 | 138052 | 74850 2 | 75 | 0 905.68/906.11 c 905s | 16 | 180588 | 138352 | 74850 2 | 75 | 0 908.48/908.95 c 908s | 16 | 180991 | 138652 | 74850 2 | 75 | 0 910.78/911.29 c 910s | 16 | 181215 | 138852 | 74850 2 | 75 | 0 913.48/913.97 c 913s | 16 | 181538 | 139152 | 74850 2 | 75 | 0 915.78/916.22 c 915s | 16 | 181829 | 139352 | 74850 2 | 75 | 0 918.58/919.04 c 918s | 16 | 182156 | 139652 | 74850 2 | 75 | 0 920.68/921.12 c 920s | 16 | 182351 | 139852 | 74850 2 | 75 | 0 923.47/923.92 c 923s | 16 | 182669 | 140152 | 74850 2 | 75 | 0 925.47/925.92 c 925s | 16 | 182882 | 140352 | 74850 2 | 75 | 0 927.57/928.02 c 927s | 16 | 183090 | 140552 | 74850 2 | 75 | 0 929.87/930.37 c 929s | 16 | 183361 | 140752 | 74850 2 | 75 | 0 931.97/932.44 c 931s | 16 | 183561 | 140952 | 74850 2 | 75 | 0 934.47/934.91 c 934s | 16 | 183771 | 141152 | 74850 2 | 75 | 0 936.47/936.99 c 936s | 16 | 183977 | 141352 | 74850 2 | 75 | 0 938.67/939.18 c 938s | 16 | 184176 | 141552 | 74850 2 | 75 | 0 940.87/941.30 c 940s | 16 | 184396 | 141752 | 74850 2 | 75 | 0 943.07/943.59 c 942s | 16 | 184597 | 141952 | 74850 2 | 75 | 0 945.97/946.41 c 945s | 16 | 184870 | 142152 | 74850 2 | 75 | 0 948.57/949.07 c 948s | 16 | 185199 | 142452 | 74850 2 | 75 | 0 951.37/951.89 c 951s | 16 | 185521 | 142752 | 74850 2 | 75 | 0 953.67/954.10 c 953s | 16 | 185757 | 142952 | 74850 2 | 75 | 0 956.68/957.12 c 956s | 16 | 186195 | 143252 | 74850 2 | 75 | 0 959.47/959.90 c 959s | 16 | 186507 | 143552 | 74850 2 | 75 | 0 961.97/962.49 c 961s | 16 | 186831 | 143852 | 74850 2 | 75 | 0 964.17/964.63 c 963s | 16 | 187035 | 144052 | 74850 2 | 75 | 0 966.77/967.25 c 966s | 16 | 187338 | 144352 | 74850 2 | 75 | 0 968.97/969.43 c 968s | 16 | 187542 | 144552 | 74850 2 | 75 | 0 971.07/971.54 c 970s | 16 | 187759 | 144752 | 74850 2 | 75 | 0 973.97/974.40 c 973s | 16 | 188069 | 145052 | 74850 2 | 75 | 0 976.47/976.94 c 976s | 16 | 188517 | 145452 | 74850 2 | 75 | 0 979.17/979.68 c 978s | 16 | 188827 | 145752 | 74850 2 | 75 | 0 982.07/982.56 c 981s | 16 | 189136 | 146052 | 74850 2 | 75 | 0 984.67/985.19 c 984s | 16 | 189454 | 146352 | 74850 2 | 75 | 0 986.77/987.22 c 986s | 16 | 189668 | 146552 | 74850 2 | 75 | 0 989.06/989.51 c 988s | 16 | 189872 | 146752 | 74850 2 | 75 | 0 991.16/991.61 c 990s | 16 | 190075 | 146952 | 74850 2 | 75 | 0 993.86/994.33 c 993s | 16 | 190383 | 147252 | 74850 2 | 75 | 0 995.96/996.40 c 995s | 16 | 190632 | 147452 | 74850 2 | 75 | 0 998.26/998.72 c 997s | 16 | 190947 | 147652 | 74850 2 | 75 | 0 1000.57/1001.08 c 1000s | 16 | 191254 | 147952 | 74850 2 | 75 | 0 1004.16/1004.64 c 1003s | 16 | 191659 | 148252 | 74850 2 | 75 | 0 1006.36/1006.83 c 1006s | 16 | 191885 | 148452 | 74850 2 | 75 | 0 1009.66/1010.16 c 1009s | 16 | 192271 | 148752 | 74850 2 | 75 | 0 1011.76/1012.20 c 1011s | 16 | 192502 | 148952 | 74850 2 | 75 | 0 1013.96/1014.42 c 1013s | 16 | 192718 | 149152 | 74850 2 | 75 | 0 1016.86/1017.34 c 1016s | 16 | 193161 | 149452 | 74850 2 | 75 | 0 1019.96/1020.43 c 1019s | 16 | 193563 | 149752 | 74850 2 | 75 | 0 1022.06/1022.50 c 1021s | 16 | 193770 | 149952 | 74850 2 | 75 | 0 1024.56/1025.07 c 1024s | 16 | 194093 | 150252 | 74850 2 | 75 | 0 1027.66/1028.14 c 1027s | 16 | 194421 | 150552 | 74850 2 | 75 | 0 1030.06/1030.51 c 1029s | 16 | 194973 | 150852 | 74850 2 | 75 | 0 1032.76/1033.23 c 1032s | 16 | 195407 | 151252 | 74850 2 | 75 | 0 1035.66/1036.15 c 1035s | 16 | 195719 | 151552 | 74850 2 | 75 | 0 1038.06/1038.55 c 1037s | 16 | 195919 | 151752 | 74850 2 | 75 | 0 1040.46/1040.94 c 1040s | 16 | 196142 | 151952 | 74850 2 | 75 | 0 1042.56/1043.03 c 1042s | 16 | 196357 | 152152 | 74850 2 | 75 | 0 1045.36/1045.90 c 1045s | 16 | 196672 | 152452 | 74850 2 | 75 | 0 1048.35/1048.84 c 1048s | 16 | 197006 | 152752 | 74850 2 | 75 | 0 1050.95/1051.44 c 1050s | 16 | 197338 | 153052 | 74850 2 | 75 | 0 1053.85/1054.37 c 1053s | 16 | 197651 | 153352 | 74850 2 | 75 | 0 1056.05/1056.53 c 1055s | 16 | 197866 | 153552 | 74850 2 | 75 | 0 1059.15/1059.67 c 1058s | 16 | 198182 | 153852 | 74850 2 | 75 | 0 1061.35/1061.86 c 1061s | 16 | 198394 | 154052 | 74850 2 | 75 | 0 1063.55/1064.04 c 1063s | 16 | 198600 | 154252 | 74850 2 | 75 | 0 1065.65/1066.13 c 1065s | 16 | 198806 | 154452 | 74850 2 | 75 | 0 1068.05/1068.59 c 1067s | 16 | 199125 | 154752 | 74850 2 | 75 | 0 1070.65/1071.11 c 1070s | 16 | 199439 | 155052 | 74850 2 | 75 | 0 1073.26/1073.76 c 1072s | 16 | 199758 | 155352 | 74850 2 | 75 | 0 1075.95/1076.43 c 1075s | 16 | 200073 | 155652 | 74850 2 | 75 | 0 1078.05/1078.55 c 1077s | 16 | 200291 | 155852 | 74850 2 | 75 | 0 1080.25/1080.72 c 1079s | 16 | 200492 | 156052 | 74850 2 | 75 | 0 1082.35/1082.80 c 1081s | 16 | 200700 | 156252 | 74850 2 | 75 | 0 1085.15/1085.70 c 1084s | 16 | 201010 | 156552 | 74850 2 | 75 | 0 1088.15/1088.63 c 1087s | 16 | 201322 | 156852 | 74850 2 | 75 | 0 1090.35/1090.85 c 1090s | 16 | 201531 | 157052 | 74850 2 | 75 | 0 1092.45/1092.93 c 1092s | 16 | 201739 | 157252 | 74850 2 | 75 | 0 1094.75/1095.27 c 1094s | 16 | 201952 | 157452 | 74850 2 | 75 | 0 1097.05/1097.57 c 1096s | 16 | 202159 | 157652 | 74850 2 | 75 | 0 1099.15/1099.62 c 1098s | 16 | 202371 | 157852 | 74850 2 | 75 | 0 1101.35/1101.84 c 1101s | 16 | 202579 | 158052 | 74850 2 | 75 | 0 1103.55/1104.06 c 1103s | 16 | 202778 | 158252 | 74850 2 | 75 | 0 1106.45/1106.99 c 1106s | 16 | 203080 | 158552 | 74850 2 | 75 | 0 1108.55/1109.01 c 1108s | 16 | 203285 | 158752 | 74850 2 | 75 | 0 1111.35/1111.87 c 1111s | 16 | 203595 | 159052 | 74850 2 | 75 | 0 1113.54/1114.00 c 1113s | 16 | 203797 | 159252 | 74850 2 | 75 | 0 1118.64/1119.11 c 1118s | 16 | 204090 | 159452 | 74850 3 | 75 | 0 1120.94/1121.46 c 1120s | 16 | 204406 | 159752 | 74850 3 | 75 | 0 1124.44/1124.93 c 1124s | 16 | 204728 | 160052 | 74850 3 | 75 | 0 1127.34/1127.87 c 1127s | 16 | 205169 | 160352 | 74850 3 | 75 | 0 1130.35/1130.83 c 1130s | 16 | 205788 | 160652 | 74850 3 | 75 | 0 1133.04/1133.59 c 1132s | 16 | 206258 | 160952 | 74850 3 | 75 | 0 1135.44/1135.98 c 1135s | 16 | 206599 | 161252 | 74850 3 | 75 | 0 1138.15/1138.61 c 1137s | 16 | 206926 | 161552 | 74850 3 | 75 | 0 1140.54/1141.09 c 1140s | 16 | 207260 | 161852 | 74850 3 | 75 | 0 1142.64/1143.12 c 1142s | 16 | 207591 | 162152 | 74850 3 | 75 | 0 1145.14/1145.65 c 1144s | 16 | 208042 | 162552 | 74850 3 | 75 | 0 1147.24/1147.79 c 1146s | 16 | 208355 | 162852 | 74850 3 | 75 | 0 1149.74/1150.28 c 1149s | 16 | 208765 | 163252 | 74850 3 | 75 | 0 1152.44/1152.93 c 1152s | 16 | 209179 | 163652 | 74850 3 | 75 | 0 1154.93/1155.43 c 1154s | 16 | 209599 | 164052 | 74850 3 | 75 | 0 1157.73/1158.24 c 1157s | 16 | 210014 | 164452 | 74850 3 | 75 | 0 1160.34/1160.86 c 1160s | 16 | 210457 | 164752 | 74850 3 | 75 | 0 1163.35/1163.87 c 1163s | 16 | 210819 | 165052 | 74850 3 | 75 | 0 1165.55/1166.08 c 1165s | 16 | 211139 | 165352 | 74850 3 | 75 | 0 1167.75/1168.26 c 1167s | 16 | 211455 | 165652 | 74850 3 | 75 | 0 1170.14/1170.62 c 1169s | 16 | 211753 | 165952 | 74850 3 | 75 | 0 1172.34/1172.85 c 1172s | 16 | 212068 | 166252 | 74850 3 | 75 | 0 1174.84/1175.33 c 1174s | 16 | 212382 | 166552 | 74850 3 | 75 | 0 1176.94/1177.49 c 1176s | 16 | 212698 | 166852 | 74850 3 | 75 | 0 1179.14/1179.61 c 1178s | 16 | 212999 | 167152 | 74850 3 | 75 | 0 1181.24/1181.76 c 1180s | 16 | 213312 | 167452 | 74850 3 | 75 | 0 1183.34/1183.89 c 1183s | 16 | 213614 | 167752 | 74850 3 | 75 | 0 1185.54/1186.09 c 1185s | 16 | 213919 | 168052 | 74850 3 | 75 | 0 1187.74/1188.23 c 1187s | 16 | 214233 | 168352 | 74850 3 | 75 | 0 1189.94/1190.44 c 1189s | 16 | 214566 | 168652 | 74850 3 | 75 | 0 1191.94/1192.47 c 1191s | 16 | 214866 | 168952 | 74850 3 | 75 | 0 1194.44/1194.93 c 1194s | 16 | 215253 | 169252 | 74850 3 | 75 | 0 1196.44/1196.93 c 1196s | 16 | 215459 | 169452 | 74850 3 | 75 | 0 1198.84/1199.36 c 1198s | 16 | 215762 | 169752 | 74850 3 | 75 | 0 1201.14/1201.65 c 1200s | 16 | 216078 | 170052 | 74850 3 | 75 | 0 1203.74/1204.28 c 1203s | 16 | 216489 | 170452 | 74850 3 | 75 | 0 1205.84/1206.34 c 1205s | 16 | 216798 | 170752 | 74850 3 | 75 | 0 1208.44/1208.95 c 1208s | 16 | 217208 | 171152 | 74850 3 | 75 | 0 1210.64/1211.16 c 1210s | 16 | 217519 | 171452 | 74850 3 | 75 | 0 1212.84/1213.38 c 1212s | 16 | 217826 | 171752 | 74850 3 | 75 | 0 1215.43/1215.91 c 1215s | 16 | 218223 | 172052 | 74850 3 | 75 | 0 1218.23/1218.75 c 1217s | 16 | 218540 | 172352 | 74850 3 | 75 | 0 1220.83/1221.32 c 1220s | 16 | 218845 | 172652 | 74850 3 | 75 | 0 1223.23/1223.72 c 1222s | 16 | 219161 | 172952 | 74850 3 | 75 | 0 1225.43/1225.97 c 1225s | 16 | 219462 | 173252 | 74850 3 | 75 | 0 1228.13/1228.61 c 1227s | 16 | 219781 | 173552 | 74850 3 | 75 | 0 1230.33/1230.89 c 1230s | 16 | 220089 | 173852 | 74850 3 | 75 | 0 1233.03/1233.55 c 1232s | 16 | 220399 | 174152 | 74850 3 | 75 | 0 1235.63/1236.10 c 1235s | 16 | 220710 | 174452 | 74850 3 | 75 | 0 1238.14/1238.67 c 1237s | 16 | 221013 | 174752 | 74850 3 | 75 | 0 1240.44/1240.90 c 1240s | 16 | 221326 | 175052 | 74850 3 | 75 | 0 1242.64/1243.14 c 1242s | 16 | 221620 | 175352 | 74850 3 | 75 | 0 1244.83/1245.34 c 1244s | 16 | 221941 | 175652 | 74850 3 | 75 | 0 1247.33/1247.81 c 1246s | 16 | 222251 | 175952 | 74850 3 | 75 | 0 1249.43/1249.90 c 1249s | 16 | 222557 | 176252 | 74850 3 | 75 | 0 1251.43/1251.97 c 1251s | 16 | 222892 | 176552 | 74850 3 | 75 | 0 1254.03/1254.50 c 1253s | 16 | 223201 | 176852 | 74850 3 | 75 | 0 1256.03/1256.55 c 1255s | 16 | 223500 | 177152 | 74850 3 | 75 | 0 1258.43/1258.97 c 1258s | 16 | 223808 | 177452 | 74850 3 | 75 | 0 1260.73/1261.24 c 1260s | 16 | 224111 | 177752 | 74850 3 | 75 | 0 1263.03/1263.57 c 1262s | 16 | 224423 | 178052 | 74850 3 | 75 | 0 1265.83/1266.30 c 1265s | 16 | 224828 | 178352 | 74850 3 | 75 | 0 1268.43/1268.93 c 1268s | 16 | 225060 | 178552 | 74850 3 | 75 | 0 1271.62/1272.12 c 1271s | 16 | 225423 | 178852 | 74850 3 | 75 | 0 1273.82/1274.34 c 1273s | 16 | 225705 | 179052 | 74850 3 | 75 | 0 1276.22/1276.76 c 1275s | 16 | 226023 | 179352 | 74850 3 | 75 | 0 1278.93/1279.41 c 1278s | 16 | 226342 | 179652 | 74850 3 | 75 | 0 1281.52/1282.02 c 1281s | 16 | 226651 | 179952 | 74850 3 | 75 | 0 1284.22/1284.73 c 1283s | 16 | 226971 | 180252 | 74850 3 | 75 | 0 1287.22/1287.75 c 1286s | 16 | 227337 | 180552 | 74850 3 | 75 | 0 1289.32/1289.82 c 1289s | 16 | 227590 | 180752 | 74850 3 | 75 | 0 1291.62/1292.17 c 1291s | 16 | 227919 | 181052 | 74850 3 | 75 | 0 1294.02/1294.55 c 1293s | 16 | 228364 | 181252 | 74850 3 | 75 | 0 1296.92/1297.41 c 1296s | 16 | 228687 | 181452 | 74850 3 | 75 | 0 1299.02/1299.53 c 1298s | 16 | 228892 | 181652 | 74850 3 | 75 | 0 1301.62/1302.16 c 1301s | 16 | 229093 | 181852 | 74850 3 | 75 | 0 1304.72/1305.20 c 1304s | 16 | 229335 | 182052 | 74850 3 | 75 | 0 1307.12/1307.67 c 1306s | 16 | 229548 | 182252 | 74850 3 | 75 | 0 1309.12/1309.67 c 1308s | 16 | 229757 | 182452 | 74850 3 | 75 | 0 1311.72/1312.25 c 1311s | 16 | 229979 | 182652 | 74850 3 | 75 | 0 1314.32/1314.89 c 1314s | 16 | 230201 | 182852 | 74850 3 | 75 | 0 1316.82/1317.37 c 1316s | 16 | 230458 | 183052 | 74850 3 | 75 | 0 1319.52/1320.06 c 1319s | 16 | 230880 | 183252 | 74850 3 | 75 | 0 1321.82/1322.34 c 1321s | 16 | 231082 | 183452 | 74850 3 | 75 | 0 1323.92/1324.47 c 1323s | 16 | 231371 | 183652 | 74850 3 | 75 | 0 1326.61/1327.19 c 1326s | 16 | 231605 | 183852 | 74850 3 | 75 | 0 1329.11/1329.69 c 1328s | 16 | 231809 | 184052 | 74850 3 | 75 | 0 1331.72/1332.25 c 1331s | 16 | 232002 | 184252 | 74850 3 | 75 | 0 1334.11/1334.64 c 1333s | 16 | 232311 | 184552 | 74850 3 | 75 | 0 1336.71/1337.27 c 1336s | 16 | 232618 | 184852 | 74850 3 | 75 | 0 1338.81/1339.31 c 1338s | 16 | 232823 | 185052 | 74850 3 | 75 | 0 1341.11/1341.67 c 1340s | 16 | 233140 | 185252 | 74850 3 | 75 | 0 1343.31/1343.81 c 1342s | 16 | 233370 | 185452 | 74850 3 | 75 | 0 1345.31/1345.88 c 1345s | 16 | 233582 | 185652 | 74850 3 | 75 | 0 1347.41/1347.95 c 1347s | 16 | 233895 | 185952 | 74850 3 | 75 | 0 1349.71/1350.26 c 1349s | 16 | 234197 | 186252 | 74850 3 | 75 | 0 1352.01/1352.54 c 1351s | 16 | 234508 | 186552 | 74850 3 | 75 | 0 1354.11/1354.65 c 1353s | 16 | 234812 | 186852 | 74850 3 | 75 | 0 1356.92/1357.48 c 1356s | 16 | 235126 | 187152 | 74850 3 | 75 | 0 1359.41/1359.92 c 1359s | 16 | 235469 | 187452 | 74850 3 | 75 | 0 1361.61/1362.13 c 1361s | 16 | 235688 | 187652 | 74850 3 | 75 | 0 1364.31/1364.80 c 1363s | 16 | 236051 | 187952 | 74850 3 | 75 | 0 1367.41/1367.93 c 1367s | 16 | 236437 | 188252 | 74850 3 | 75 | 0 1369.41/1369.99 c 1369s | 16 | 236678 | 188452 | 74850 3 | 75 | 0 1372.51/1373.01 c 1372s | 16 | 236983 | 188752 | 74850 3 | 75 | 0 1375.21/1375.74 c 1374s | 16 | 237285 | 189052 | 74850 3 | 75 | 0 1377.31/1377.82 c 1376s | 16 | 237501 | 189252 | 74850 3 | 75 | 0 1379.41/1379.92 c 1379s | 16 | 237745 | 189452 | 74850 3 | 75 | 0 1381.71/1382.22 c 1381s | 16 | 237947 | 189652 | 74850 3 | 75 | 0 1384.01/1384.57 c 1383s | 16 | 238190 | 189852 | 74850 3 | 75 | 0 1386.31/1386.84 c 1386s | 16 | 238399 | 190052 | 74850 3 | 75 | 0 1389.00/1389.57 c 1388s | 16 | 238736 | 190352 | 74850 3 | 75 | 0 1391.60/1392.14 c 1391s | 16 | 239051 | 190652 | 74850 3 | 75 | 0 1394.10/1394.64 c 1393s | 16 | 239506 | 191052 | 74850 3 | 75 | 0 1396.30/1396.85 c 1396s | 16 | 239815 | 191352 | 74850 3 | 75 | 0 1398.60/1399.11 c 1398s | 16 | 240116 | 191652 | 74850 3 | 75 | 0 1400.91/1401.42 c 1400s | 16 | 240425 | 191952 | 74850 3 | 75 | 0 1403.50/1404.02 c 1403s | 16 | 240729 | 192252 | 74850 3 | 75 | 0 1406.30/1406.82 c 1406s | 16 | 241045 | 192552 | 74850 3 | 75 | 0 1409.10/1409.66 c 1408s | 16 | 241348 | 192852 | 74850 3 | 75 | 0 1412.01/1412.58 c 1411s | 16 | 241656 | 193152 | 74850 3 | 75 | 0 1414.90/1415.45 c 1414s | 16 | 241962 | 193452 | 74850 3 | 75 | 0 1417.30/1417.84 c 1417s | 16 | 242266 | 193752 | 74850 3 | 75 | 0 1419.90/1420.45 c 1419s | 16 | 242577 | 194052 | 74850 3 | 75 | 0 1421.91/1422.47 c 1421s | 16 | 242863 | 194252 | 74850 3 | 75 | 0 1424.20/1424.77 c 1423s | 16 | 243065 | 194452 | 74850 3 | 75 | 0 1427.10/1427.67 c 1426s | 16 | 243370 | 194752 | 74850 3 | 75 | 0 1429.40/1429.94 c 1429s | 16 | 243621 | 194952 | 74850 3 | 75 | 0 1431.70/1432.22 c 1431s | 16 | 243857 | 195152 | 74850 3 | 75 | 0 1434.30/1434.81 c 1433s | 16 | 244053 | 195352 | 74850 3 | 75 | 0 1436.90/1437.43 c 1436s | 16 | 244273 | 195552 | 74850 3 | 75 | 0 1439.70/1440.27 c 1439s | 16 | 244581 | 195852 | 74850 3 | 75 | 0 1442.10/1442.64 c 1441s | 16 | 244784 | 196052 | 74850 3 | 75 | 0 1444.60/1445.16 c 1444s | 16 | 245002 | 196252 | 82335 3 | 75 | 0 1446.90/1447.48 c 1446s | 16 | 245230 | 196452 | 82335 3 | 75 | 0 1449.10/1449.62 c 1448s | 16 | 245432 | 196652 | 82335 3 | 75 | 0 1451.90/1452.49 c 1451s | 16 | 245740 | 196952 | 82335 3 | 75 | 0 1454.10/1454.69 c 1453s | 16 | 245949 | 197152 | 82335 3 | 75 | 0 1456.49/1457.00 c 1456s | 16 | 246151 | 197352 | 82335 3 | 75 | 0 1457.39/1457.98 c 1457s | 17 | 246237 | 197432 | 82335 3 | 75 | 0 1460.40/1460.95 c 1460s | 17 | 246715 | 197532 | 82335 3 | 75 | 0 1463.29/1463.87 c 1463s | 17 | 247102 | 197732 | 82335 3 | 75 | 0 1465.59/1466.10 c 1465s | 17 | 247317 | 197932 | 82335 3 | 75 | 0 1468.00/1468.58 c 1467s | 17 | 247616 | 198132 | 82335 3 | 75 | 0 1470.39/1470.97 c 1470s | 17 | 248105 | 198432 | 82335 3 | 75 | 0 1472.99/1473.55 c 1472s | 17 | 248421 | 198732 | 82335 3 | 75 | 0 1474.99/1475.59 c 1474s | 17 | 248732 | 199032 | 82335 3 | 75 | 0 1477.19/1477.76 c 1476s | 17 | 249049 | 199332 | 82335 3 | 75 | 0 1479.29/1479.89 c 1479s | 17 | 249358 | 199632 | 82335 3 | 75 | 0 1481.39/1481.91 c 1481s | 17 | 249599 | 199832 | 82335 3 | 75 | 0 1483.89/1484.43 c 1483s | 17 | 249919 | 200132 | 82335 3 | 75 | 0 1486.59/1487.19 c 1486s | 17 | 250313 | 200432 | 82335 3 | 75 | 0 1489.19/1489.75 c 1488s | 17 | 250642 | 200732 | 82335 3 | 75 | 0 1491.49/1492.08 c 1491s | 17 | 250949 | 201032 | 82335 3 | 75 | 0 1493.79/1494.35 c 1493s | 17 | 251258 | 201332 | 82335 3 | 75 | 0 1495.89/1496.47 c 1495s | 17 | 251686 | 201632 | 82335 3 | 75 | 0 1497.99/1498.50 c 1497s | 17 | 251999 | 201932 | 82335 3 | 75 | 0 1500.49/1501.06 c 1500s | 17 | 252407 | 202232 | 82335 3 | 75 | 0 1503.19/1503.76 c 1502s | 17 | 252784 | 202532 | 82335 3 | 75 | 0 1505.69/1506.28 c 1505s | 17 | 253137 | 202832 | 82335 3 | 75 | 0 1508.19/1508.74 c 1507s | 17 | 253449 | 203132 | 82335 3 | 75 | 0 1510.69/1511.23 c 1510s | 17 | 253778 | 203432 | 82335 3 | 75 | 0 1513.19/1513.76 c 1512s | 17 | 254090 | 203732 | 82335 3 | 75 | 0 1517.18/1517.72 c 1516s | 17 | 254435 | 203932 | 82335 4 | 75 | 0 1528.28/1528.87 c 1528s | 17 | 254556 | 204032 | 82335 4 | 75 | 0 1530.68/1531.23 c 1530s | 17 | 254879 | 204332 | 82335 4 | 75 | 0 1533.38/1533.96 c 1533s | 17 | 255282 | 204632 | 82335 4 | 75 | 0 1535.88/1536.46 c 1535s | 17 | 255660 | 204932 | 82335 4 | 75 | 0 1538.28/1538.80 c 1537s | 17 | 255972 | 205232 | 82335 4 | 75 | 0 1540.98/1541.57 c 1540s | 17 | 256555 | 205532 | 82335 4 | 75 | 0 1543.68/1544.20 c 1543s | 17 | 256922 | 205832 | 82335 4 | 75 | 0 1546.27/1546.85 c 1546s | 17 | 257389 | 206232 | 82335 4 | 75 | 0 1548.67/1549.20 c 1548s | 17 | 258034 | 206632 | 82335 4 | 75 | 0 1550.97/1551.60 c 1550s | 17 | 258496 | 207032 | 82335 4 | 75 | 0 1553.07/1553.60 c 1552s | 17 | 258838 | 207332 | 82335 4 | 75 | 0 1555.27/1555.81 c 1554s | 17 | 259258 | 207732 | 82335 4 | 75 | 0 1557.57/1558.19 c 1557s | 17 | 259666 | 208132 | 82335 4 | 75 | 0 1559.87/1560.40 c 1559s | 17 | 260348 | 208432 | 82335 4 | 75 | 0 1561.87/1562.42 c 1561s | 17 | 260668 | 208732 | 82335 4 | 75 | 0 1564.27/1564.86 c 1564s | 17 | 261078 | 209132 | 82335 4 | 75 | 0 1566.87/1567.42 c 1566s | 17 | 261525 | 209532 | 82335 4 | 75 | 0 1569.37/1569.92 c 1569s | 17 | 262012 | 209832 | 82335 4 | 75 | 0 1571.87/1572.45 c 1571s | 17 | 262527 | 210132 | 82335 4 | 75 | 0 1574.07/1574.61 c 1573s | 17 | 262846 | 210432 | 82335 4 | 75 | 0 1576.77/1577.31 c 1576s | 17 | 263256 | 210832 | 82335 4 | 75 | 0 1579.08/1579.66 c 1578s | 17 | 263597 | 211132 | 82335 4 | 75 | 0 1581.28/1581.89 c 1581s | 17 | 263939 | 211432 | 82335 4 | 75 | 0 1583.97/1584.56 c 1583s | 17 | 264518 | 211832 | 82335 4 | 75 | 0 1586.27/1586.86 c 1586s | 17 | 265086 | 212132 | 82335 4 | 75 | 0 1588.37/1588.99 c 1588s | 17 | 265488 | 212432 | 82335 4 | 75 | 0 1590.37/1590.99 c 1590s | 17 | 265839 | 212732 | 82335 4 | 75 | 0 1592.77/1593.31 c 1592s | 17 | 266162 | 213032 | 82335 4 | 75 | 0 1595.17/1595.70 c 1594s | 17 | 266603 | 213432 | 82335 4 | 75 | 0 1597.37/1597.91 c 1597s | 17 | 267017 | 213732 | 82335 4 | 75 | 0 1599.87/1600.47 c 1599s | 17 | 267700 | 214032 | 82335 4 | 75 | 0 1602.07/1602.64 c 1601s | 17 | 268043 | 214332 | 82335 4 | 75 | 0 1604.47/1605.07 c 1604s | 17 | 268483 | 214732 | 82335 4 | 75 | 0 1606.57/1607.18 c 1606s | 17 | 268798 | 215032 | 82335 4 | 75 | 0 1608.97/1609.56 c 1608s | 17 | 269243 | 215432 | 82335 4 | 75 | 0 1611.17/1611.70 c 1610s | 17 | 269553 | 215732 | 82335 4 | 75 | 0 1613.46/1614.01 c 1613s | 17 | 269867 | 216032 | 82335 4 | 75 | 0 1616.26/1616.83 c 1616s | 17 | 270293 | 216432 | 82335 4 | 75 | 0 1618.77/1619.37 c 1618s | 17 | 270706 | 216832 | 82335 4 | 75 | 0 1621.56/1622.18 c 1621s | 17 | 271129 | 217232 | 82335 4 | 75 | 0 1623.66/1624.21 c 1623s | 17 | 271438 | 217532 | 82335 4 | 75 | 0 1625.76/1626.36 c 1625s | 17 | 271744 | 217832 | 82335 4 | 75 | 0 1628.36/1628.95 c 1628s | 17 | 272163 | 218232 | 82335 4 | 75 | 0 1630.96/1631.56 c 1630s | 17 | 272576 | 218632 | 82335 4 | 75 | 0 1633.76/1634.31 c 1633s | 17 | 272930 | 218932 | 82335 4 | 75 | 0 1635.76/1636.39 c 1635s | 17 | 273407 | 219232 | 82335 4 | 75 | 0 1638.47/1639.05 c 1638s | 17 | 273767 | 219532 | 82335 4 | 75 | 0 1640.96/1641.59 c 1640s | 17 | 274123 | 219832 | 82335 4 | 75 | 0 1643.46/1644.04 c 1643s | 17 | 274474 | 220132 | 82335 4 | 75 | 0 1646.36/1646.92 c 1646s | 17 | 275062 | 220432 | 82335 4 | 75 | 0 1648.86/1649.47 c 1648s | 17 | 275410 | 220732 | 82335 4 | 75 | 0 1650.96/1651.50 c 1650s | 17 | 275718 | 221032 | 82335 4 | 75 | 0 1652.96/1653.58 c 1652s | 17 | 276028 | 221332 | 82335 4 | 75 | 0 1655.46/1656.07 c 1655s | 17 | 276514 | 221632 | 82335 4 | 75 | 0 1658.06/1658.62 c 1657s | 17 | 276893 | 221932 | 82335 4 | 75 | 0 1660.86/1661.41 c 1660s | 17 | 277264 | 222232 | 82335 4 | 75 | 0 1663.06/1663.69 c 1662s | 17 | 277576 | 222532 | 82335 4 | 75 | 0 1665.56/1666.14 c 1665s | 17 | 277902 | 222832 | 82335 4 | 75 | 0 1668.26/1668.80 c 1667s | 17 | 278263 | 223132 | 82335 4 | 75 | 0 1671.06/1671.69 c 1670s | 17 | 278605 | 223432 | 82335 4 | 75 | 0 1673.46/1674.06 c 1673s | 17 | 278934 | 223732 | 82335 4 | 75 | 0 1675.86/1676.50 c 1675s | 17 | 279249 | 224032 | 82335 4 | 75 | 0 1678.85/1679.41 c 1678s | 17 | 279638 | 224332 | 82335 4 | 75 | 0 1680.85/1681.50 c 1680s | 17 | 279872 | 224532 | 82335 4 | 75 | 0 1683.75/1684.35 c 1683s | 17 | 280229 | 224832 | 82335 4 | 75 | 0 1685.76/1686.37 c 1685s | 17 | 280455 | 225032 | 82335 4 | 75 | 0 1687.85/1688.40 c 1687s | 17 | 280679 | 225232 | 82335 4 | 75 | 0 1689.95/1690.50 c 1689s | 17 | 280921 | 225432 | 82335 4 | 75 | 0 1692.05/1692.69 c 1691s | 17 | 281167 | 225632 | 82335 4 | 75 | 0 1695.15/1695.71 c 1694s | 17 | 281506 | 225932 | 82335 4 | 75 | 0 1697.96/1698.55 c 1697s | 17 | 281882 | 226232 | 82335 4 | 75 | 0 1699.95/1700.58 c 1699s | 17 | 282095 | 226432 | 82335 4 | 75 | 0 1702.85/1703.41 c 1702s | 17 | 282450 | 226732 | 82335 4 | 75 | 0 1705.75/1706.39 c 1705s | 17 | 282957 | 227032 | 82335 4 | 75 | 0 1708.75/1709.39 c 1708s | 17 | 283376 | 227332 | 82335 4 | 75 | 0 1711.45/1712.03 c 1711s | 17 | 283680 | 227632 | 82335 4 | 75 | 0 1714.05/1714.62 c 1713s | 17 | 283987 | 227932 | 82335 4 | 75 | 0 1716.15/1716.74 c 1715s | 17 | 284288 | 228232 | 82335 4 | 75 | 0 1718.65/1719.27 c 1718s | 17 | 284604 | 228532 | 82335 4 | 75 | 0 1720.85/1721.40 c 1720s | 17 | 284938 | 228832 | 82335 4 | 75 | 0 1723.15/1723.80 c 1722s | 17 | 285241 | 229132 | 82335 4 | 75 | 0 1725.95/1726.55 c 1725s | 17 | 285543 | 229432 | 82335 4 | 75 | 0 1728.25/1728.85 c 1728s | 17 | 285850 | 229732 | 82335 4 | 75 | 0 1730.75/1731.32 c 1730s | 17 | 286156 | 230032 | 82335 4 | 75 | 0 1733.35/1733.95 c 1733s | 17 | 286462 | 230332 | 82335 4 | 75 | 0 1736.35/1736.94 c 1736s | 17 | 286778 | 230632 | 82335 4 | 75 | 0 1738.85/1739.46 c 1738s | 17 | 287088 | 230932 | 82335 4 | 75 | 0 1741.25/1741.89 c 1741s | 17 | 287395 | 231232 | 82335 4 | 75 | 0 1743.64/1744.26 c 1743s | 17 | 287705 | 231532 | 82335 4 | 75 | 0 1745.94/1746.58 c 1745s | 17 | 288025 | 231832 | 82335 4 | 75 | 0 1748.24/1748.81 c 1747s | 17 | 288341 | 232132 | 82335 4 | 75 | 0 1750.55/1751.20 c 1750s | 17 | 288648 | 232432 | 82335 4 | 75 | 0 1753.05/1753.61 c 1752s | 17 | 288950 | 232732 | 82335 4 | 75 | 0 1755.06/1755.66 c 1754s | 17 | 289231 | 232932 | 82335 4 | 75 | 0 1757.75/1758.36 c 1757s | 17 | 289608 | 233232 | 82335 4 | 75 | 0 1760.85/1761.42 c 1760s | 17 | 290087 | 233532 | 82335 4 | 75 | 0 1763.65/1764.24 c 1763s | 17 | 290431 | 233832 | 82335 4 | 75 | 0 1766.35/1766.97 c 1766s | 17 | 290747 | 234132 | 82335 4 | 75 | 0 1769.05/1769.69 c 1768s | 17 | 291066 | 234432 | 82335 4 | 75 | 0 1771.56/1772.11 c 1771s | 17 | 291382 | 234732 | 82335 4 | 75 | 0 1774.25/1774.89 c 1774s | 17 | 291821 | 235032 | 82335 4 | 75 | 0 1776.65/1777.29 c 1776s | 17 | 292250 | 235332 | 82335 4 | 75 | 0 1779.65/1780.28 c 1779s | 17 | 292563 | 235632 | 82335 4 | 75 | 0 1782.75/1783.36 c 1782s | 17 | 292917 | 235932 | 82335 4 | 75 | 0 1784.95/1785.57 c 1784s | 17 | 293128 | 236132 | 82335 4 | 75 | 0 1787.85/1788.48 c 1787s | 17 | 293440 | 236432 | 82335 4 | 75 | 0 1790.35/1790.98 c 1790s | 17 | 293780 | 236632 | 82335 4 | 75 | 0 1792.65/1793.23 c 1792s | 17 | 294000 | 236832 | 82335 4 | 75 | 0 1795.05/1795.67 c 1794s | 17 | 294208 | 237032 | 82335 4 | 75 | 0 1797.65/1798.26 c 1797s | 17 | 294650 | 237232 | 82335 4 | 75 | 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-4079332-1465339798/watcher-4079332-1465339798 -o /tmp/evaluation-result-4079332-1465339798/solver-4079332-1465339798 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21027 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079332-1465339798.opb pid=23938 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.94 2.07 2.08 3/179 23941 /proc/meminfo: memFree=30353416/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=752196 CPUtime=0 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 2814 0 0 0 0 0 0 0 20 0 4 0 115913234 770248704 3174 33554432000 4194304 16246674 140735470734560 140735470733984 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 188817 3182 442 2943 0 185711 0 [pid=23941/tid=23942] ppid=23938 vsize=769604 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 788074496 3242 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=774724 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 793317376 3260 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=778820 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115913234 797511680 3275 33554432000 4194304 16246674 140735470734560 140398085262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100134 s] /proc/loadavg: 1.94 2.07 2.08 3/179 23941 /proc/meminfo: memFree=30353416/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 29197 0 0 0 5 4 0 0 20 0 4 0 115913234 1333334016 29496 33554432000 4194304 16246674 140735470734560 140735470733872 7376282 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 325521 29512 802 2943 0 322415 0 [pid=23941/tid=23942] ppid=23938 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1333334016 29522 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1333334016 29531 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1333334016 29546 33554432000 4194304 16246674 140735470734560 140398085262512 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.200498 s] /proc/loadavg: 1.94 2.07 2.08 3/179 23941 /proc/meminfo: memFree=30353416/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 46194 0 0 0 13 6 0 0 20 0 4 0 115913234 1344868352 47003 33554432000 4194304 16246674 140735470734560 140735470733872 8055390 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 328337 47003 802 2943 0 325231 0 [pid=23941/tid=23942] ppid=23938 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1344868352 47003 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1344868352 47003 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1344868352 47003 33554432000 4194304 16246674 140735470734560 140398085262512 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.300451 s] /proc/loadavg: 1.94 2.07 2.08 3/179 23941 /proc/meminfo: memFree=30353416/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 60566 0 0 0 21 8 0 0 20 0 4 0 115913234 1344868352 61375 33554432000 4194304 16246674 140735470734560 140735470733872 4220543 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 328337 61375 813 2943 0 325231 0 [pid=23941/tid=23942] ppid=23938 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1344868352 61375 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1344868352 61375 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1344868352 61375 33554432000 4194304 16246674 140735470734560 140398085262512 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.700408 s] /proc/loadavg: 1.94 2.07 2.08 3/179 23941 /proc/meminfo: memFree=30353416/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 96569 0 0 0 56 13 0 0 20 0 4 0 115913234 1344868352 97378 33554432000 4194304 16246674 140735470734560 140735470716480 7205517 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 328337 97387 845 2943 0 325231 0 [pid=23941/tid=23942] ppid=23938 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1344868352 97393 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1344868352 97398 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1344868352 97404 33554432000 4194304 16246674 140735470734560 140398085262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50041 s] /proc/loadavg: 1.94 2.07 2.08 3/183 23945 /proc/meminfo: memFree=29793364/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1313348 CPUtime=1.48 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 159918 0 0 0 127 21 0 0 20 0 4 0 115913234 1344868352 160727 33554432000 4194304 16246674 140735470734560 140735470716480 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 328337 160734 888 2943 0 325231 0 [pid=23941/tid=23942] ppid=23938 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1344868352 160738 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1344868352 160742 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1344868352 160744 33554432000 4194304 16246674 140735470734560 140398085262512 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) 1313348 [startup+3.10041 s] /proc/loadavg: 1.94 2.07 2.08 3/183 23945 /proc/meminfo: memFree=29530484/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1313348 CPUtime=3.09 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 254967 0 0 0 274 35 0 0 20 0 4 0 115913234 1344868352 255776 33554432000 4194304 16246674 140735470734560 140735470716480 13780501 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 328337 255779 888 2943 0 325231 0 [pid=23941/tid=23942] ppid=23938 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1344868352 255780 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1344868352 255782 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1344868352 255784 33554432000 4194304 16246674 140735470734560 140398085262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1313348 [startup+6.30044 s] /proc/loadavg: 2.02 2.09 2.08 3/184 23948 /proc/meminfo: memFree=29265260/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1322564 CPUtime=6.29 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 271320 0 0 0 592 37 0 0 20 0 4 0 115913234 1354305536 272129 33554432000 4194304 16246674 140735470734560 140735470716480 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 330641 272129 891 2943 0 327535 0 [pid=23941/tid=23942] ppid=23938 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1354305536 272129 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1354305536 272129 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1354305536 272129 33554432000 4194304 16246674 140735470734560 140398085262512 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) 1322564 [startup+12.7004 s] /proc/loadavg: 2.02 2.08 2.08 3/184 23948 /proc/meminfo: memFree=29265392/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1322564 CPUtime=12.68 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 271325 0 0 0 1231 37 0 0 20 0 4 0 115913234 1354305536 272134 33554432000 4194304 16246674 140735470734560 140735470716480 5722101 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 330641 272134 895 2943 0 327535 0 [pid=23941/tid=23942] ppid=23938 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1354305536 272134 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1354305536 272134 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1354305536 272134 33554432000 4194304 16246674 140735470734560 140398085262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1322564 [startup+25.5005 s] /proc/loadavg: 2.02 2.08 2.08 3/183 23948 /proc/meminfo: memFree=29266548/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1322564 CPUtime=25.48 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 271325 0 0 0 2511 37 0 0 20 0 4 0 115913234 1354305536 272134 33554432000 4194304 16246674 140735470734560 140735470716480 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 330641 272134 895 2943 0 327535 0 [pid=23941/tid=23942] ppid=23938 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1354305536 272134 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1354305536 272134 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1354305536 272134 33554432000 4194304 16246674 140735470734560 140398085262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1322564 [startup+51.1005 s] /proc/loadavg: 2.07 2.09 2.08 3/184 23949 /proc/meminfo: memFree=29266472/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1322564 CPUtime=51.08 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 271325 0 0 0 5071 37 0 0 20 0 4 0 115913234 1354305536 272134 33554432000 4194304 16246674 140735470734560 140735470716480 5717656 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 330641 272134 895 2943 0 327535 0 [pid=23941/tid=23942] ppid=23938 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1354305536 272134 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1354305536 272134 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1354305536 272134 33554432000 4194304 16246674 140735470734560 140398085262512 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) 1322564 [startup+102.301 s] /proc/loadavg: 2.08 2.09 2.08 3/183 23950 /proc/meminfo: memFree=29265256/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1322564 CPUtime=102.27 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 271352 0 0 0 10189 38 0 0 20 0 4 0 115913234 1354305536 272137 33554432000 4194304 16246674 140735470734560 140735470716480 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 330641 272137 895 2943 0 327535 0 [pid=23941/tid=23942] ppid=23938 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1354305536 272137 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1354305536 272137 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1354305536 272137 33554432000 4194304 16246674 140735470734560 140398085262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398085262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 1363524 [startup+1302.3 s] /proc/loadavg: 1.15 1.35 1.72 2/173 24034 /proc/meminfo: memFree=30381040/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1363524 CPUtime=1301.82 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 282006 0 0 0 130137 45 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140735470716480 13950188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 340881 282381 899 2943 0 337775 0 [pid=23941/tid=23942] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398085262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 1363524 [startup+1362.3 s] /proc/loadavg: 1.05 1.29 1.67 2/173 24035 /proc/meminfo: memFree=30380916/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1363524 CPUtime=1361.81 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 282006 0 0 0 136136 45 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140735470716480 5516371 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 340881 282381 899 2943 0 337775 0 [pid=23941/tid=23942] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398085262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1363524 [startup+1422.3 s] /proc/loadavg: 1.02 1.23 1.63 2/173 24036 /proc/meminfo: memFree=30381040/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1363524 CPUtime=1421.81 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 282006 0 0 0 142136 45 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140735470716480 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 340881 282381 899 2943 0 337775 0 [pid=23941/tid=23942] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398085262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1363524 [startup+1482.3 s] /proc/loadavg: 1.06 1.20 1.59 2/173 24037 /proc/meminfo: memFree=30380872/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1363524 CPUtime=1481.79 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 282006 0 0 0 148134 45 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140735470716480 12483272 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 340881 282381 899 2943 0 337775 0 [pid=23941/tid=23942] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398085262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1363524 [startup+1542.31 s] /proc/loadavg: 1.05 1.18 1.55 2/173 24038 /proc/meminfo: memFree=30381040/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1363524 CPUtime=1541.78 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 282006 0 0 0 154132 46 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140735470716480 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 340881 282381 899 2943 0 337775 0 [pid=23941/tid=23942] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398085262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1363524 [startup+1602.3 s] /proc/loadavg: 1.02 1.14 1.52 2/173 24040 /proc/meminfo: memFree=30381040/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1363524 CPUtime=1601.77 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 282006 0 0 0 160131 46 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140735470716480 5659576 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 340881 282381 899 2943 0 337775 0 [pid=23941/tid=23942] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398085262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1363524 [startup+1662.3 s] /proc/loadavg: 1.05 1.13 1.49 2/173 24041 /proc/meminfo: memFree=30380744/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1363524 CPUtime=1661.76 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 282006 0 0 0 166130 46 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140735470716480 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 340881 282381 899 2943 0 337775 0 [pid=23941/tid=23942] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398085262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1363524 [startup+1722.3 s] /proc/loadavg: 1.02 1.10 1.45 2/173 24042 /proc/meminfo: memFree=30380668/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1363524 CPUtime=1721.75 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 282006 0 0 0 172129 46 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140735470716480 5721968 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 340881 282381 899 2943 0 337775 0 [pid=23941/tid=23942] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398085262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1363524 [startup+1782.3 s] /proc/loadavg: 1.00 1.08 1.42 3/173 24043 /proc/meminfo: memFree=30380420/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1363524 CPUtime=1781.75 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 282006 0 0 0 178128 47 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140735470716480 5523460 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 340881 282381 899 2943 0 337775 0 [pid=23941/tid=23942] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398085262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1363524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.08 1.42 2/173 24043 /proc/meminfo: memFree=30380668/32872528 swapFree=11196/354588 [pid=23941] ppid=23938 vsize=1363524 CPUtime=1800.05 cores=1,3,5,7 /proc/23941/stat : 23941 (toysat) R 23938 23941 21010 0 -1 4202496 282006 0 0 0 179958 47 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140735470732352 5600224 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23941/statm: 340881 282381 899 2943 0 337775 0 [pid=23941/tid=23942] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23942/stat : 23942 (toysat) S 23938 23941 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398106225904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=23941/tid=23943] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23943/stat : 23943 (toysat) S 23938 23941 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398095736048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=23941/tid=23944] ppid=23938 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/23941/task/23944/stat : 23944 (toysat) S 23938 23941 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115913234 1396248576 282381 33554432000 4194304 16246674 140735470734560 140398085262512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1363524 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 23941 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.06 CPU user time (s): 1799.58 CPU system time (s): 0.470928 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 1363524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.470928 maximum resident set size= 1129524 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 282006 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= 453 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.47102 second user time and 9.65553 second system time The end
Begin job on node126 at 2016-06-08 00:49:58 IDJOB=4079332 IDBENCH=92764 IDSOLVER=2542 FILE ID=node126/4079332-1465339798 RUNJOBID= node126-1465306898-21027 PBS_JOBID= 19849495 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_5_ic.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079332-1465339798/watcher-4079332-1465339798 -o /tmp/evaluation-result-4079332-1465339798/solver-4079332-1465339798 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21027 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079332-1465339798.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d92c3493b3e048f1d4b1212b9868f41b RANDOM SEED=995182138 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30353424 kB Buffers: 51896 kB Cached: 238292 kB SwapCached: 2088 kB Active: 1263256 kB Inactive: 166144 kB Active(anon): 1136572 kB Inactive(anon): 4628 kB Active(file): 126684 kB Inactive(file): 161516 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098680 kB Dirty: 17484 kB Writeback: 0 kB AnonPages: 1455432 kB Mapped: 10804 kB Shmem: 0 kB Slab: 599920 kB SReclaimable: 44096 kB SUnreclaim: 555824 kB KernelStack: 1520 kB PageTables: 7300 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1639556 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1392640 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= 71724 MiB End job on node126 at 2016-06-08 01:19:59