Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_5.opb |
| MD5SUM | e079962149860142627e0ca6e79ba5d1 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 18 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 17 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 61 |
| Maximum length of a constraint | 112 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 37500 |
| Sum of products size (including duplicates) | 75000 |
| Number of different products | 37500 |
| Sum of products size | 75000 |
0.00/0.00 c 2016-06-18T20:24:57+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-4106592-1466274297.opb"] 0.00/0.01 c use --random-gen="3466646638 1613860584 3219718133 3847830961 1563195899 3956021677 440841879 2889883561 2627475533 610729694 496257108 1977930298 1622914198 706403829 3020794908 1258770208 1657512792 3777166238 948054520 2800767604 2951989209 2662795046 3813229018 2126057831 3083400815 1019689 1212524688 3334148041 2100768840 21203761 45480003 848801256 3125854732 1766171618 1589553852 2783150807 1900413087 3277487898 279161803 1372979338 1094299565 3483527931 977186530 4093176802 956943945 282211430 1812847464 799932516 1214091173 4172448460 3163616566 3975924421 4224768099 614920401 4172085202 570322933 1296581017 2696869827 1662966243 31673549 1922096121 3709465538 1045366379 3674119949 4149327380 248277769 3810984533 2859340801 3397255225 803087397 1678406607 793267780 1207583846 977151463 1705009061 169687089 3645860400 413824362 358392322 1390891318 2905907866 9219684 2371356114 2358709793 3136946701 3540212850 2833634718 2227370737 4265729312 469377223 1713301063 3620194763 3998562638 1055965123 3371971594 600902865 1151278090 1849418352 3914077995 1481394381 1556792217 659663429 2179973607 4190550548 547847883 549058806 566150179 1098843357 262522364 2490089711 677090757 826091134 1189671728 3683777518 2161308347 3915484561 2515877358 3897834994 935047147 54690456 514085387 2112208548 3964945587 472891418 2406427963 682126609 2095692442 1435136446 1212226919 2672424095 2684743562 3638530172 4238437293 4288565787 160311221 4018348152 2262628247 2809326338 3122170827 3658078406 3582121420 1493978927 2699913521 2439994746 3678370740 277241862 2869507921 3190875061 541343742 2508683261 4084160680 44600370 200383002 3719748148 2994769415 326086287 884134857 818913152 2114435935 2825800637 998655366 3152736313 1544406378 3311670214 1706766931 3796392811 1218999759 652636244 1725793868 4259965525 3725763907 3303098220 1129682938 3921067642 1026135382 1133545141 1573071436 3537328646 1388593968 3528959071 4049556831 3825528419 961784877 1451062039 3722175907 3454334381 1305116243 1636214674 2178026606 939146984 3104288703 1425597750 2003747044 1348556241 1939757747 1154868522 2071390305 3878804133 818899293 2716879591 443376403 682510515 36574253 220841933 2627252307 1733237853 4166856950 2130592267 42892879 1721444165 879297798 3288091707 4217148359 3826987994 3659503664 2141295422 3527965285 3012843465 1236972710 3717496978 3336720849 2538387240 3583164475 3785485673 1248441527 1979420821 3915000772 3009883961 2415920964 3819183138 3092138430 215454393 2696893265 2144622873 935664250 1017114487 3591807313 4112112001 2507602046 3008412576 1050352340 64037036 1888858078 4129419828 4176574741 2054096271 3351938526 3710523646 2174389483 3196776684 3639811279 324403043 4060259941 1616040589 2045238065 1078052142 255 362436" option to reproduce the execution 0.08/0.13 c #vars 500 0.08/0.13 c #constraints 500 0.79/0.89 c BCD2: Hardening is enabled. 0.79/0.89 c BCD2: BiasedSearch is enabled. 0.79/0.89 c Solving starts ... 0.79/0.89 c ============================[ Search Statistics ]============================ 0.79/0.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.89 c | | | | Limit GC | Var | Constra 0.79/0.89 c ============================================================================= 0.79/0.89 c 0.0s | 0 | 0 | 0 | 37833 0 | 0 | 0 0.99/1.01 c 0.1s | 0 | 2039 | 0 | 37833 0 | 0 | 0 0.99/1.01 c #cpu_time = 0.096s 0.99/1.01 c #wall_clock_time = 0.096s 0.99/1.01 c #decision = 2039 0.99/1.01 c #random_decision = 3 0.99/1.01 c #conflict = 0 0.99/1.01 c #restart = 0 0.99/1.01 o 468 1.10/1.15 c BCD2: updating upper bound: 500 -> 467 1.10/1.15 c BCD2: 0 <= obj <= 467 1.10/1.15 c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0 1.10/1.15 c BCD2: #sat=1 #unsat=1 bias=1/2 1.10/1.15 c Solving starts ... 1.10/1.15 c ============================[ Search Statistics ]============================ 1.10/1.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.15 c | | | | Limit GC | Var | Constra 1.10/1.15 c ============================================================================= 1.10/1.15 c 0.0s | 0 | 0 | 0 | 37833 0 | 0 | 0 1.10/1.15 c 0.1s | 0 | 466 | 0 | 37833 0 | 0 | 0 1.10/1.15 c #cpu_time = 0.097s 1.10/1.15 c #wall_clock_time = 0.097s 1.10/1.15 c #decision = 466 1.10/1.15 c #random_decision = 0 1.10/1.15 c #conflict = 0 1.10/1.15 c #restart = 0 1.10/1.15 c BCD2: found a new core of size 87: cost of the new core is >=1 1.10/1.15 c lower bound updated to 1 1.10/1.15 c BCD2: 1 <= obj <= 467 1.10/1.15 c BCD2: #cores=1, #unrelaxed=413, #relaxed=87, #hardened=0 1.10/1.15 c BCD2: #sat=1 #unsat=2 bias=2/3 1.10/1.15 c Solving starts ... 1.10/1.15 c ============================[ Search Statistics ]============================ 1.10/1.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.15 c | | | | Limit GC | Var | Constra 1.10/1.15 c ============================================================================= 1.19/1.22 c 0.0s | 0 | 0 | 0 | 37833 0 | 0 | 0 1.29/1.34 c 0.1s | 0 | 4233 | 0 | 37833 0 | 0 | 0 1.29/1.34 c #cpu_time = 0.086s 1.29/1.34 c #wall_clock_time = 0.086s 1.29/1.34 c #decision = 4233 1.29/1.34 c #random_decision = 2 1.29/1.34 c #conflict = 0 1.29/1.34 c #restart = 0 1.29/1.34 o 43 1.29/1.34 c BCD2: updating upper bound: 467 -> 42 1.29/1.35 c BCD2: 1 <= obj <= 42 1.29/1.35 c BCD2: #cores=1, #unrelaxed=413, #relaxed=87, #hardened=0 1.29/1.35 c BCD2: #sat=2 #unsat=2 bias=2/4 1.29/1.35 c Solving starts ... 1.29/1.35 c ============================[ Search Statistics ]============================ 1.29/1.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.35 c | | | | Limit GC | Var | Constra 1.29/1.35 c ============================================================================= 1.29/1.35 c 0.0s | 0 | 0 | 0 | 37833 0 | 0 | 1 1.79/1.81 c 0.5s | 1 | 1536 | 100 | 37833 0 | 0 | 1 2.49/2.57 c 1.2s | 2 | 2304 | 250 | 41617 0 | 0 | 1 3.29/3.35 c 2.0s | 2 | 4461 | 389 | 45779 0 | 0 | 1 3.29/3.35 c #cpu_time = 1.965s 3.29/3.35 c #wall_clock_time = 1.965s 3.29/3.35 c #decision = 4461 3.29/3.35 c #random_decision = 6 3.29/3.35 c #conflict = 389 3.29/3.35 c #restart = 2 3.29/3.35 o 22 3.29/3.35 c BCD2: updating upper bound: 42 -> 21 3.29/3.35 c BCD2: 1 <= obj <= 21 3.29/3.35 c BCD2: #cores=1, #unrelaxed=413, #relaxed=87, #hardened=0 3.29/3.35 c BCD2: #sat=3 #unsat=2 bias=2/5 3.29/3.35 c Solving starts ... 3.29/3.35 c ============================[ Search Statistics ]============================ 3.29/3.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.29/3.35 c | | | | Limit GC | Var | Constra 3.29/3.35 c ============================================================================= 3.29/3.35 c 0.0s | 0 | 0 | 0 | 45779 0 | 0 | 2 3.88/3.90 c 0.5s | 1 | 783 | 100 | 50357 0 | 0 | 2 4.58/4.67 c 1.3s | 2 | 1606 | 250 | 50357 0 | 0 | 2 5.78/5.89 c 2.5s | 3 | 2540 | 475 | 55393 0 | 0 | 2 7.88/7.98 c 4.6s | 4 | 3791 | 813 | 55393 0 | 0 | 2 10.28/10.32 c 7.0s | 4 | 5269 | 1213 | 60933 0 | 0 | 2 10.88/10.91 c 7.6s | 5 | 5493 | 1320 | 60933 0 | 0 | 2 13.38/13.41 c 10.1s | 5 | 6955 | 1720 | 67027 0 | 0 | 2 15.68/15.76 c 12.4s | 6 | 7905 | 2081 | 67027 0 | 0 | 2 17.89/17.98 c 14.6s | 6 | 9133 | 2381 | 67027 0 | 0 | 2 20.19/20.20 c 16.9s | 6 | 10152 | 2681 | 67027 0 | 0 | 2 22.39/22.42 c 19.1s | 6 | 10913 | 2981 | 73730 0 | 0 | 2 23.89/23.97 c 20.6s | 7 | 11501 | 3223 | 73730 0 | 0 | 2 26.19/26.27 c 22.9s | 7 | 12715 | 3523 | 73730 0 | 0 | 2 28.49/28.50 c 25.1s | 7 | 13500 | 3823 | 73730 0 | 0 | 2 31.09/31.16 c 27.8s | 7 | 14326 | 4223 | 73730 0 | 0 | 2 33.28/33.34 c 30.0s | 7 | 15058 | 4523 | 73730 0 | 0 | 2 35.48/35.57 c 32.2s | 7 | 15820 | 4823 | 81103 0 | 0 | 2 36.39/36.47 c 33.1s | 8 | 16154 | 4936 | 81103 0 | 0 | 2 38.59/38.61 c 35.3s | 8 | 17286 | 5236 | 81103 0 | 0 | 2 41.08/41.18 c 37.8s | 8 | 18042 | 5536 | 81103 0 | 0 | 2 43.39/43.48 c 40.1s | 8 | 18745 | 5836 | 81103 0 | 0 | 2 45.59/45.65 c 42.3s | 8 | 19440 | 6136 | 81103 0 | 0 | 2 47.88/47.97 c 44.6s | 8 | 20072 | 6436 | 81103 0 | 0 | 2 50.38/50.42 c 47.1s | 8 | 20777 | 6736 | 81103 0 | 0 | 2 52.48/52.53 c 49.2s | 8 | 21536 | 7036 | 81103 0 | 0 | 2 54.88/54.94 c 51.6s | 8 | 22546 | 7436 | 89214 0 | 0 | 2 55.38/55.42 c 52.1s | 9 | 22692 | 7506 | 89214 0 | 0 | 2 57.98/58.08 c 54.7s | 9 | 24101 | 7906 | 89214 0 | 0 | 2 60.67/60.71 c 57.4s | 9 | 24804 | 8206 | 89214 0 | 0 | 2 63.28/63.39 c 60.0s | 9 | 25568 | 8506 | 89214 0 | 0 | 2 65.99/66.03 c 62.7s | 9 | 26345 | 8806 | 89214 0 | 0 | 2 67.98/68.06 c 64.7s | 9 | 26710 | 9006 | 89214 0 | 0 | 2 70.18/70.25 c 66.9s | 9 | 27236 | 9206 | 89214 0 | 0 | 2 72.68/72.71 c 69.4s | 9 | 27607 | 9406 | 89214 0 | 0 | 2 75.38/75.47 c 72.1s | 9 | 28269 | 9706 | 89214 0 | 0 | 2 77.98/78.07 c 74.7s | 9 | 29045 | 10006 | 89214 0 | 0 | 2 80.58/80.66 c 77.3s | 9 | 29832 | 10306 | 89214 0 | 0 | 2 82.68/82.79 c 79.4s | 9 | 30579 | 10606 | 89214 0 | 0 | 2 84.98/85.04 c 81.7s | 9 | 31313 | 10906 | 89214 0 | 0 | 2 86.98/87.06 c 83.7s | 9 | 32019 | 11206 | 98136 0 | 0 | 2 88.28/88.35 c 85.0s | 10 | 32488 | 11361 | 98136 0 | 0 | 2 90.38/90.40 c 87.0s | 10 | 33332 | 11561 | 98136 0 | 0 | 2 92.87/92.98 c 89.6s | 10 | 34193 | 11861 | 98136 0 | 0 | 2 95.27/95.34 c 92.0s | 10 | 34892 | 12161 | 98136 0 | 0 | 2 97.57/97.65 c 94.3s | 10 | 35626 | 12461 | 98136 0 | 0 | 2 100.18/100.23 c 96.9s | 10 | 36267 | 12761 | 98136 0 | 0 | 2 102.28/102.39 c 99.0s | 10 | 36979 | 13061 | 98136 0 | 0 | 2 104.38/104.46 c 101s | 10 | 37651 | 13361 | 98136 0 | 0 | 2 106.87/106.99 c 103s | 10 | 38566 | 13661 | 98136 0 | 0 | 2 109.07/109.10 c 105s | 10 | 39259 | 13961 | 98136 0 | 0 | 2 111.67/111.73 c 108s | 10 | 40026 | 14261 | 98136 0 | 0 | 2 113.77/113.89 c 110s | 10 | 40575 | 14461 | 98136 0 | 0 | 2 116.17/116.26 c 112s | 10 | 41424 | 14761 | 98136 0 | 0 | 2 118.67/118.71 c 115s | 10 | 42183 | 15061 | 98136 0 | 0 | 2 120.77/120.81 c 117s | 10 | 42749 | 15361 | 98136 0 | 0 | 2 123.17/123.29 c 119s | 10 | 43438 | 15661 | 98136 0 | 0 | 2 125.87/125.93 c 122s | 10 | 44021 | 15961 | 98136 0 | 0 | 2 128.57/128.61 c 125s | 10 | 44686 | 16261 | 98136 0 | 0 | 2 131.17/131.21 c 127s | 10 | 45392 | 16561 | 98136 0 | 0 | 2 133.27/133.30 c 129s | 10 | 45847 | 16761 | 107950 0 | 0 | 2 135.97/136.00 c 132s | 10 | 46520 | 17061 | 107950 0 | 0 | 2 136.67/136.78 c 133s | 11 | 46690 | 17144 | 107950 0 | 0 | 2 139.06/139.15 c 135s | 11 | 47527 | 17344 | 107950 0 | 0 | 2 141.17/141.24 c 137s | 11 | 47960 | 17544 | 107950 0 | 0 | 2 143.17/143.26 c 139s | 11 | 48400 | 17744 | 107950 0 | 0 | 2 145.77/145.82 c 142s | 11 | 48957 | 18044 | 107950 0 | 0 | 2 148.47/148.58 c 145s | 11 | 49641 | 18344 | 107950 0 | 0 | 2 151.06/151.16 c 147s | 11 | 50286 | 18644 | 107950 0 | 0 | 2 153.76/153.89 c 150s | 11 | 51004 | 18944 | 107950 0 | 0 | 2 156.06/156.12 c 152s | 11 | 51325 | 19144 | 107950 0 | 0 | 2 158.17/158.29 c 154s | 11 | 51753 | 19344 | 107950 0 | 0 | 2 160.37/160.49 c 157s | 11 | 52155 | 19544 | 107950 0 | 0 | 2 162.56/162.67 c 159s | 11 | 52570 | 19744 | 107950 0 | 0 | 2 165.16/165.26 c 161s | 11 | 52941 | 19944 | 107950 0 | 0 | 2 168.27/168.32 c 164s | 11 | 53562 | 20244 | 107950 0 | 0 | 2 170.26/170.33 c 166s | 11 | 54077 | 20444 | 107950 0 | 0 | 2 172.36/172.40 c 169s | 11 | 54541 | 20644 | 107950 0 | 0 | 2 174.67/174.78 c 171s | 11 | 54994 | 20844 | 107950 0 | 0 | 2 177.47/177.58 c 174s | 11 | 55856 | 21144 | 107950 0 | 0 | 2 179.86/179.91 c 176s | 11 | 56529 | 21444 | 107950 0 | 0 | 2 182.57/182.68 c 179s | 11 | 57131 | 21744 | 107950 0 | 0 | 2 185.56/185.64 c 182s | 11 | 57752 | 22044 | 107950 0 | 0 | 2 187.56/187.69 c 184s | 11 | 58234 | 22244 | 107950 0 | 0 | 2 190.46/190.53 c 187s | 11 | 59026 | 22544 | 107950 0 | 0 | 2 193.26/193.36 c 190s | 11 | 59680 | 22844 | 107950 0 | 0 | 2 195.46/195.52 c 192s | 11 | 60188 | 23044 | 107950 0 | 0 | 2 197.56/197.63 c 194s | 11 | 60664 | 23244 | 107950 0 | 0 | 2 199.96/200.03 c 196s | 11 | 61055 | 23444 | 107950 0 | 0 | 2 202.56/202.65 c 199s | 11 | 61698 | 23744 | 107950 0 | 0 | 2 205.56/205.64 c 202s | 11 | 62217 | 23944 | 107950 0 | 0 | 2 208.56/208.62 c 205s | 11 | 62583 | 24144 | 107950 0 | 0 | 2 211.05/211.12 c 207s | 11 | 63239 | 24444 | 107950 0 | 0 | 2 213.75/213.80 c 210s | 11 | 64013 | 24744 | 107950 0 | 0 | 2 216.46/216.60 c 213s | 11 | 64906 | 25044 | 107950 0 | 0 | 2 219.06/219.12 c 215s | 11 | 65360 | 25244 | 107950 0 | 0 | 2 221.66/221.71 c 218s | 11 | 65778 | 25444 | 118746 0 | 0 | 2 223.85/223.93 c 220s | 11 | 66209 | 25644 | 118746 0 | 0 | 2 225.65/225.74 c 222s | 12 | 66699 | 25819 | 118746 0 | 0 | 2 228.36/228.48 c 225s | 12 | 67529 | 26019 | 118746 0 | 0 | 2 231.85/231.98 c 228s | 12 | 67968 | 26219 | 118746 0 | 0 | 2 234.75/234.85 c 231s | 12 | 68457 | 26419 | 118746 0 | 0 | 2 237.45/237.59 c 234s | 12 | 68947 | 26619 | 118746 0 | 0 | 2 240.56/240.66 c 237s | 12 | 69421 | 26819 | 118746 0 | 0 | 2 243.55/243.64 c 240s | 12 | 69907 | 27019 | 118746 0 | 0 | 2 246.46/246.51 c 243s | 12 | 70351 | 27219 | 118746 0 | 0 | 2 249.66/249.80 c 246s | 12 | 70766 | 27419 | 118746 0 | 0 | 2 252.75/252.81 c 249s | 12 | 71077 | 27619 | 118746 0 | 0 | 2 255.35/255.41 c 252s | 12 | 71643 | 27919 | 118746 0 | 0 | 2 257.85/257.97 c 254s | 12 | 72268 | 28219 | 118746 0 | 0 | 2 260.25/260.35 c 256s | 12 | 72929 | 28519 | 118746 0 | 0 | 2 262.65/262.75 c 259s | 12 | 73586 | 28819 | 118746 0 | 0 | 2 265.25/265.34 c 261s | 12 | 74254 | 29119 | 118746 0 | 0 | 2 268.25/268.32 c 264s | 12 | 74891 | 29419 | 118746 0 | 0 | 2 270.66/270.79 c 267s | 12 | 75596 | 29719 | 118746 0 | 0 | 2 273.05/273.17 c 269s | 12 | 76580 | 30019 | 118746 0 | 0 | 2 275.85/275.94 c 272s | 12 | 77200 | 30319 | 118746 0 | 0 | 2 278.54/278.62 c 275s | 12 | 77915 | 30619 | 118746 0 | 0 | 2 280.74/280.89 c 277s | 12 | 78366 | 30819 | 118746 0 | 0 | 2 283.44/283.52 c 280s | 12 | 79105 | 31119 | 118746 0 | 0 | 2 286.14/286.28 c 282s | 12 | 79845 | 31419 | 118746 0 | 0 | 2 288.95/289.03 c 285s | 12 | 80437 | 31719 | 118746 0 | 0 | 2 290.95/291.08 c 287s | 12 | 80923 | 31919 | 118746 0 | 0 | 2 293.15/293.29 c 289s | 12 | 81422 | 32119 | 118746 0 | 0 | 2 295.95/296.05 c 292s | 12 | 82156 | 32419 | 118746 0 | 0 | 2 297.94/298.06 c 294s | 12 | 82588 | 32619 | 118746 0 | 0 | 2 301.04/301.19 c 297s | 12 | 83286 | 32919 | 118746 0 | 0 | 2 303.14/303.24 c 299s | 12 | 83775 | 33119 | 118746 0 | 0 | 2 305.24/305.33 c 301s | 12 | 84298 | 33319 | 118746 0 | 0 | 2 307.24/307.36 c 304s | 12 | 84671 | 33519 | 118746 0 | 0 | 2 310.04/310.15 c 306s | 12 | 85358 | 33819 | 118746 0 | 0 | 2 312.64/312.78 c 309s | 12 | 86017 | 34119 | 118746 0 | 0 | 2 314.84/314.94 c 311s | 12 | 86410 | 34319 | 118746 0 | 0 | 2 317.34/317.45 c 314s | 12 | 86847 | 34519 | 118746 0 | 0 | 2 319.64/319.79 c 316s | 12 | 87338 | 34719 | 118746 0 | 0 | 2 322.25/322.35 c 318s | 12 | 87761 | 34919 | 118746 0 | 0 | 2 325.14/325.22 c 321s | 12 | 88157 | 35119 | 118746 0 | 0 | 2 328.44/328.53 c 325s | 12 | 88499 | 35319 | 118746 0 | 0 | 2 330.94/331.09 c 327s | 12 | 88946 | 35519 | 118746 0 | 0 | 2 333.34/333.48 c 330s | 12 | 89432 | 35719 | 118746 0 | 0 | 2 335.83/335.99 c 332s | 12 | 89887 | 35919 | 118746 0 | 0 | 2 338.85/338.96 c 335s | 12 | 90339 | 36119 | 118746 0 | 0 | 2 341.54/341.60 c 338s | 12 | 90881 | 36319 | 118746 0 | 0 | 2 344.44/344.58 c 341s | 12 | 91294 | 36519 | 118746 0 | 0 | 2 346.94/347.02 c 343s | 12 | 91689 | 36719 | 118746 0 | 0 | 2 350.03/350.14 c 346s | 12 | 92057 | 36919 | 118746 0 | 0 | 2 352.83/352.99 c 349s | 12 | 92727 | 37119 | 118746 0 | 0 | 2 355.54/355.61 c 352s | 12 | 93194 | 37319 | 118746 0 | 0 | 2 358.14/358.26 c 354s | 12 | 93767 | 37519 | 118746 0 | 0 | 2 361.73/361.86 c 358s | 12 | 94297 | 37719 | 118746 0 | 0 | 2 364.53/364.67 c 361s | 12 | 94823 | 37919 | 118746 0 | 0 | 2 367.44/367.58 c 364s | 12 | 95381 | 38119 | 118746 0 | 0 | 2 370.64/370.72 c 367s | 12 | 95735 | 38319 | 130621 0 | 0 | 2 373.94/374.09 c 370s | 12 | 96134 | 38519 | 130621 0 | 0 | 2 376.03/376.10 c 372s | 12 | 96359 | 38619 | 130621 0 | 0 | 2 378.13/378.25 c 374s | 12 | 96610 | 38719 | 130621 0 | 0 | 2 380.33/380.49 c 377s | 12 | 96819 | 38819 | 130621 0 | 0 | 2 380.54/380.62 c 377s | 13 | 96846 | 38832 | 130621 0 | 0 | 2 383.43/383.56 c 380s | 13 | 97688 | 39032 | 130621 0 | 0 | 2 385.73/385.88 c 382s | 13 | 98108 | 39232 | 130621 0 | 0 | 2 388.53/388.69 c 385s | 13 | 98975 | 39532 | 130621 0 | 0 | 2 390.93/391.02 c 387s | 13 | 99468 | 39732 | 130621 0 | 0 | 2 392.93/393.05 c 389s | 13 | 99800 | 39932 | 130621 0 | 0 | 2 395.03/395.19 c 391s | 13 | 100202 | 40132 | 130621 0 | 0 | 2 397.43/397.57 c 394s | 13 | 100683 | 40332 | 130621 0 | 0 | 2 399.53/399.66 c 396s | 13 | 101160 | 40532 | 130621 0 | 0 | 2 402.02/402.14 c 398s | 13 | 101509 | 40732 | 130621 0 | 0 | 2 404.92/405.09 c 401s | 13 | 102023 | 40932 | 130621 0 | 0 | 2 407.13/407.26 c 403s | 13 | 102547 | 41132 | 130621 0 | 0 | 2 409.24/409.33 c 405s | 13 | 103113 | 41332 | 130621 0 | 0 | 2 411.34/411.47 c 408s | 13 | 103608 | 41532 | 130621 0 | 0 | 2 414.33/414.42 c 411s | 13 | 104141 | 41732 | 130621 0 | 0 | 2 416.53/416.62 c 413s | 13 | 104660 | 41932 | 130621 0 | 0 | 2 418.83/418.92 c 415s | 13 | 105177 | 42132 | 130621 0 | 0 | 2 421.02/421.11 c 417s | 13 | 105541 | 42332 | 130621 0 | 0 | 2 424.02/424.12 c 420s | 13 | 106160 | 42632 | 130621 0 | 0 | 2 426.02/426.14 c 422s | 13 | 106538 | 42832 | 130621 0 | 0 | 2 428.22/428.37 c 425s | 13 | 106878 | 43032 | 130621 0 | 0 | 2 430.43/430.58 c 427s | 13 | 107269 | 43232 | 130621 0 | 0 | 2 433.12/433.24 c 429s | 13 | 107726 | 43432 | 130621 0 | 0 | 2 435.63/435.76 c 432s | 13 | 108215 | 43632 | 130621 0 | 0 | 2 438.63/438.77 c 435s | 13 | 108595 | 43832 | 130621 0 | 0 | 2 441.72/441.84 c 438s | 13 | 109016 | 44032 | 130621 0 | 0 | 2 444.62/444.74 c 441s | 13 | 109521 | 44232 | 130621 0 | 0 | 2 447.92/448.02 c 444s | 13 | 110041 | 44432 | 130621 0 | 0 | 2 451.22/451.33 c 447s | 13 | 110610 | 44632 | 130621 0 | 0 | 2 454.92/455.02 c 451s | 13 | 110993 | 44832 | 130621 0 | 0 | 2 458.82/458.97 c 455s | 13 | 111672 | 45032 | 130621 0 | 0 | 2 462.72/462.84 c 459s | 13 | 112111 | 45232 | 130621 0 | 0 | 2 466.21/466.39 c 463s | 13 | 112517 | 45432 | 130621 0 | 0 | 2 469.62/469.74 c 466s | 13 | 112966 | 45632 | 130621 0 | 0 | 2 473.12/473.21 c 469s | 13 | 113336 | 45832 | 130621 0 | 0 | 2 476.61/476.79 c 473s | 13 | 113760 | 46032 | 130621 0 | 0 | 2 478.91/479.06 c 475s | 13 | 113973 | 46132 | 130621 0 | 0 | 2 482.72/482.81 c 479s | 13 | 114563 | 46332 | 130621 0 | 0 | 2 484.82/484.98 c 481s | 13 | 114763 | 46432 | 130621 0 | 0 | 2 487.12/487.26 c 483s | 13 | 115024 | 46532 | 130621 0 | 0 | 2 489.71/489.83 c 486s | 13 | 115471 | 46732 | 130621 0 | 0 | 2 492.31/492.44 c 489s | 13 | 115905 | 46932 | 130621 0 | 0 | 2 494.92/495.04 c 491s | 13 | 116436 | 47132 | 130621 0 | 0 | 2 497.51/497.68 c 494s | 13 | 116813 | 47332 | 130621 0 | 0 | 2 500.11/500.25 c 496s | 13 | 117285 | 47532 | 130621 0 | 0 | 2 502.62/502.76 c 499s | 13 | 117786 | 47732 | 130621 0 | 0 | 2 505.11/505.22 c 501s | 13 | 118252 | 47932 | 130621 0 | 0 | 2 507.51/507.65 c 504s | 13 | 118788 | 48132 | 130621 0 | 0 | 2 510.01/510.16 c 506s | 13 | 119224 | 48332 | 130621 0 | 0 | 2 512.41/512.54 c 509s | 13 | 119689 | 48532 | 130621 0 | 0 | 2 514.82/514.96 c 511s | 13 | 120053 | 48732 | 130621 0 | 0 | 2 517.51/517.61 c 514s | 13 | 120510 | 48932 | 130621 0 | 0 | 2 519.91/520.04 c 516s | 13 | 120994 | 49132 | 130621 0 | 0 | 2 522.11/522.28 c 518s | 13 | 121419 | 49332 | 130621 0 | 0 | 2 524.72/524.81 c 521s | 13 | 121847 | 49532 | 130621 0 | 0 | 2 527.61/527.75 c 524s | 13 | 122350 | 49732 | 130621 0 | 0 | 2 530.81/530.95 c 527s | 13 | 122818 | 49932 | 130621 0 | 0 | 2 533.80/533.92 c 530s | 13 | 123292 | 50132 | 130621 0 | 0 | 2 536.72/536.84 c 533s | 13 | 123816 | 50332 | 130621 0 | 0 | 2 539.31/539.44 c 536s | 13 | 124191 | 50532 | 130621 0 | 0 | 2 541.91/542.01 c 538s | 13 | 124659 | 50732 | 130621 0 | 0 | 2 544.41/544.53 c 541s | 13 | 125090 | 50932 | 130621 0 | 0 | 2 547.20/547.32 c 543s | 13 | 125502 | 51132 | 130621 0 | 0 | 2 550.21/550.39 c 547s | 13 | 125901 | 51332 | 130621 0 | 0 | 2 553.60/553.74 c 550s | 13 | 126335 | 51532 | 130621 0 | 0 | 2 556.70/556.89 c 553s | 13 | 126839 | 51732 | 130621 0 | 0 | 2 559.91/560.02 c 556s | 13 | 127199 | 51932 | 130621 0 | 0 | 2 562.71/562.83 c 559s | 13 | 127663 | 52132 | 130621 0 | 0 | 2 565.41/565.54 c 562s | 13 | 128137 | 52332 | 130621 0 | 0 | 2 568.30/568.48 c 565s | 13 | 128691 | 52532 | 130621 0 | 0 | 2 570.80/570.91 c 567s | 13 | 129203 | 52732 | 130621 0 | 0 | 2 573.20/573.32 c 569s | 13 | 129852 | 53032 | 130621 0 | 0 | 2 575.50/575.64 c 572s | 13 | 130597 | 53332 | 130621 0 | 0 | 2 578.00/578.15 c 574s | 13 | 131394 | 53632 | 130621 0 | 0 | 2 580.90/581.05 c 577s | 13 | 132078 | 53932 | 130621 0 | 0 | 2 583.80/583.91 c 580s | 13 | 132938 | 54232 | 130621 0 | 0 | 2 586.50/586.69 c 583s | 13 | 133557 | 54532 | 130621 0 | 0 | 2 588.60/588.76 c 585s | 13 | 134035 | 54732 | 130621 0 | 0 | 2 590.71/590.82 c 587s | 13 | 134548 | 54932 | 130621 0 | 0 | 2 592.91/593.03 c 589s | 13 | 134972 | 55132 | 130621 0 | 0 | 2 596.00/596.14 c 592s | 13 | 135604 | 55432 | 130621 0 | 0 | 2 598.80/598.96 c 595s | 13 | 136364 | 55732 | 130621 0 | 0 | 2 601.70/601.81 c 598s | 13 | 137054 | 56032 | 130621 0 | 0 | 2 603.90/604.04 c 600s | 13 | 137428 | 56232 | 130621 0 | 0 | 2 606.00/606.13 c 602s | 13 | 138032 | 56432 | 130621 0 | 0 | 2 608.09/608.28 c 604s | 13 | 138521 | 56632 | 130621 0 | 0 | 2 610.60/610.70 c 607s | 13 | 138991 | 56832 | 130621 0 | 0 | 2 613.60/613.71 c 610s | 13 | 139620 | 57132 | 130621 0 | 0 | 2 616.00/616.13 c 612s | 13 | 140074 | 57332 | 130621 0 | 0 | 2 618.10/618.25 c 614s | 13 | 140479 | 57532 | 130621 0 | 0 | 2 620.31/620.40 c 617s | 13 | 140907 | 57732 | 143684 0 | 0 | 2 622.89/623.02 c 619s | 13 | 141299 | 57932 | 143684 0 | 0 | 2 624.89/625.09 c 621s | 13 | 141759 | 58132 | 143684 0 | 0 | 2 627.00/627.12 c 623s | 14 | 142206 | 58352 | 143684 0 | 0 | 2 628.99/629.12 c 625s | 14 | 142802 | 58452 | 143684 0 | 0 | 2 631.09/631.27 c 627s | 14 | 143198 | 58652 | 143684 0 | 0 | 2 633.89/634.01 c 630s | 14 | 144108 | 58952 | 143684 0 | 0 | 2 636.70/636.86 c 633s | 14 | 144683 | 59252 | 143684 0 | 0 | 2 639.70/639.81 c 636s | 14 | 145317 | 59552 | 143684 0 | 0 | 2 641.70/641.82 c 638s | 14 | 145716 | 59752 | 143684 0 | 0 | 2 643.99/644.18 c 640s | 14 | 146133 | 59952 | 143684 0 | 0 | 2 646.29/646.49 c 643s | 14 | 146523 | 60152 | 143684 0 | 0 | 2 648.39/648.57 c 645s | 14 | 147056 | 60352 | 143684 0 | 0 | 2 650.59/650.78 c 647s | 14 | 147507 | 60552 | 143684 0 | 0 | 2 653.08/653.30 c 649s | 14 | 147904 | 60752 | 143684 0 | 0 | 2 655.79/655.95 c 652s | 14 | 148306 | 60952 | 143684 0 | 0 | 2 658.19/658.35 c 654s | 14 | 148706 | 61152 | 143684 0 | 0 | 2 660.59/660.74 c 657s | 14 | 149086 | 61352 | 143684 0 | 0 | 2 662.98/663.17 c 659s | 14 | 149464 | 61552 | 143684 0 | 0 | 2 665.59/665.72 c 662s | 14 | 149842 | 61752 | 143684 0 | 0 | 2 668.19/668.36 c 665s | 14 | 150356 | 61952 | 143684 0 | 0 | 2 670.89/671.05 c 667s | 14 | 150747 | 62152 | 143684 0 | 0 | 2 673.58/673.71 c 670s | 14 | 151437 | 62452 | 143684 0 | 0 | 2 675.98/676.19 c 672s | 14 | 152146 | 62752 | 143684 0 | 0 | 2 678.79/678.94 c 675s | 14 | 152799 | 63052 | 143684 0 | 0 | 2 681.39/681.55 c 678s | 14 | 153510 | 63352 | 143684 0 | 0 | 2 684.29/684.48 c 681s | 14 | 154367 | 63652 | 143684 0 | 0 | 2 686.49/686.62 c 683s | 14 | 154743 | 63852 | 143684 0 | 0 | 2 688.68/688.85 c 685s | 14 | 155231 | 64052 | 143684 0 | 0 | 2 690.69/690.86 c 687s | 14 | 155700 | 64252 | 143684 0 | 0 | 2 693.68/693.82 c 690s | 14 | 156403 | 64552 | 143684 0 | 0 | 2 696.19/696.34 c 692s | 14 | 157057 | 64852 | 143684 0 | 0 | 2 699.08/699.24 c 695s | 14 | 157810 | 65152 | 143684 0 | 0 | 2 701.49/701.61 c 698s | 14 | 158166 | 65352 | 143684 0 | 0 | 2 703.59/703.77 c 700s | 14 | 158606 | 65552 | 143684 0 | 0 | 2 705.98/706.10 c 702s | 14 | 159049 | 65752 | 143684 0 | 0 | 2 708.39/708.58 c 705s | 14 | 159541 | 65952 | 143684 0 | 0 | 2 711.28/711.41 c 708s | 14 | 160259 | 66252 | 143684 0 | 0 | 2 713.48/713.66 c 710s | 14 | 160724 | 66452 | 143684 0 | 0 | 2 715.58/715.77 c 712s | 14 | 161131 | 66652 | 143684 0 | 0 | 2 718.37/718.52 c 715s | 14 | 161750 | 66952 | 143684 0 | 0 | 2 720.49/720.67 c 717s | 14 | 162311 | 67152 | 143684 0 | 0 | 2 722.69/722.85 c 719s | 14 | 162689 | 67352 | 143684 0 | 0 | 2 725.18/725.37 c 722s | 14 | 163128 | 67552 | 143684 0 | 0 | 2 727.48/727.67 c 724s | 14 | 163573 | 67752 | 143684 0 | 0 | 2 729.97/730.13 c 726s | 14 | 163996 | 67952 | 143684 0 | 0 | 2 732.07/732.29 c 728s | 14 | 164387 | 68152 | 143684 0 | 0 | 2 734.48/734.63 c 731s | 14 | 164897 | 68352 | 143684 0 | 0 | 2 736.68/736.82 c 733s | 14 | 165377 | 68552 | 143684 0 | 0 | 2 738.78/738.95 c 735s | 14 | 165899 | 68752 | 143684 0 | 0 | 2 740.97/741.13 c 737s | 14 | 166307 | 68952 | 143684 0 | 0 | 2 743.58/743.76 c 740s | 14 | 167017 | 69252 | 143684 0 | 0 | 2 745.68/745.81 c 742s | 14 | 167439 | 69452 | 143684 0 | 0 | 2 748.57/748.79 c 745s | 14 | 168074 | 69752 | 143684 0 | 0 | 2 750.77/750.98 c 747s | 14 | 168597 | 69952 | 143684 0 | 0 | 2 752.97/753.18 c 749s | 14 | 168966 | 70152 | 143684 0 | 0 | 2 754.97/755.18 c 751s | 14 | 169488 | 70352 | 143684 0 | 0 | 2 757.18/757.36 c 754s | 14 | 169945 | 70552 | 143684 0 | 0 | 2 759.57/759.72 c 756s | 14 | 170395 | 70752 | 143684 0 | 0 | 2 761.77/761.93 c 758s | 14 | 170814 | 70952 | 143684 0 | 0 | 2 763.97/764.14 c 760s | 14 | 171248 | 71152 | 143684 0 | 0 | 2 766.27/766.40 c 763s | 14 | 171874 | 71352 | 143684 0 | 0 | 2 768.27/768.40 c 765s | 14 | 172347 | 71552 | 143684 0 | 0 | 2 770.67/770.82 c 767s | 14 | 172826 | 71752 | 143684 0 | 0 | 2 773.28/773.43 c 770s | 14 | 173283 | 71952 | 143684 0 | 0 | 2 775.57/775.72 c 772s | 14 | 173765 | 72152 | 143684 0 | 0 | 2 778.07/778.27 c 774s | 14 | 174090 | 72352 | 143684 0 | 0 | 2 780.77/780.95 c 777s | 14 | 174552 | 72552 | 143684 0 | 0 | 2 783.67/783.80 c 780s | 14 | 175087 | 72752 | 143684 0 | 0 | 2 786.17/786.33 c 782s | 14 | 175581 | 72952 | 143684 0 | 0 | 2 788.87/789.07 c 785s | 14 | 176047 | 73152 | 143684 0 | 0 | 2 791.56/791.76 c 788s | 14 | 176442 | 73352 | 143684 0 | 0 | 2 793.86/794.09 c 790s | 14 | 176924 | 73552 | 143684 0 | 0 | 2 795.97/796.15 c 792s | 14 | 177353 | 73752 | 143684 0 | 0 | 2 798.17/798.38 c 795s | 14 | 177772 | 73952 | 143684 0 | 0 | 2 800.97/801.10 c 797s | 14 | 178280 | 74152 | 143684 0 | 0 | 2 803.47/803.67 c 800s | 14 | 178659 | 74352 | 143684 0 | 0 | 2 805.86/806.01 c 802s | 14 | 179098 | 74552 | 143684 0 | 0 | 2 808.37/808.52 c 805s | 14 | 179628 | 74752 | 143684 0 | 0 | 2 810.96/811.19 c 807s | 14 | 180018 | 74952 | 143684 0 | 0 | 2 813.77/813.97 c 810s | 14 | 180427 | 75152 | 143684 0 | 0 | 2 816.37/816.56 c 813s | 14 | 180913 | 75352 | 143684 0 | 0 | 2 819.16/819.39 c 816s | 14 | 181390 | 75552 | 143684 0 | 0 | 2 822.06/822.21 c 818s | 14 | 181774 | 75752 | 143684 0 | 0 | 2 824.87/825.07 c 821s | 14 | 182299 | 75952 | 143684 0 | 0 | 2 827.77/827.93 c 824s | 14 | 182707 | 76152 | 143684 0 | 0 | 2 830.47/830.61 c 827s | 14 | 183254 | 76352 | 143684 0 | 0 | 2 832.96/833.17 c 829s | 14 | 183845 | 76652 | 143684 0 | 0 | 2 835.16/835.38 c 832s | 14 | 184299 | 76852 | 143684 0 | 0 | 2 837.46/837.66 c 834s | 14 | 184723 | 77052 | 143684 0 | 0 | 2 839.76/839.94 c 836s | 14 | 185229 | 77252 | 143684 0 | 0 | 2 841.85/842.06 c 838s | 14 | 185678 | 77452 | 143684 0 | 0 | 2 844.67/844.85 c 841s | 14 | 186422 | 77752 | 143684 0 | 0 | 2 847.36/847.57 c 844s | 14 | 187144 | 78052 | 143684 0 | 0 | 2 849.66/849.80 c 846s | 14 | 187559 | 78252 | 143684 0 | 0 | 2 851.76/851.93 c 848s | 14 | 187957 | 78452 | 143684 0 | 0 | 2 853.85/854.04 c 850s | 14 | 188319 | 78652 | 143684 0 | 0 | 2 855.86/856.05 c 852s | 14 | 188849 | 78852 | 143684 0 | 0 | 2 858.06/858.20 c 854s | 14 | 189224 | 79052 | 143684 0 | 0 | 2 860.45/860.64 c 857s | 14 | 189673 | 79252 | 143684 0 | 0 | 2 863.25/863.49 c 860s | 14 | 190277 | 79552 | 143684 0 | 0 | 2 865.85/866.06 c 862s | 14 | 191048 | 79852 | 143684 0 | 0 | 2 868.85/869.02 c 865s | 14 | 191823 | 80152 | 143684 0 | 0 | 2 871.65/871.86 c 868s | 14 | 192499 | 80452 | 143684 0 | 0 | 2 873.75/873.91 c 870s | 14 | 192883 | 80652 | 143684 0 | 0 | 2 875.95/876.19 c 872s | 14 | 193250 | 80852 | 143684 0 | 0 | 2 878.44/878.60 c 875s | 14 | 193688 | 81052 | 143684 0 | 0 | 2 880.85/881.01 c 877s | 14 | 194126 | 81252 | 143684 0 | 0 | 2 883.16/883.33 c 879s | 14 | 194541 | 81452 | 143684 0 | 0 | 2 885.65/885.82 c 882s | 14 | 194880 | 81652 | 143684 0 | 0 | 2 887.95/888.13 c 884s | 14 | 195317 | 81852 | 143684 0 | 0 | 2 890.34/890.52 c 887s | 14 | 195728 | 82052 | 143684 0 | 0 | 2 892.74/892.99 c 889s | 14 | 196134 | 82252 | 143684 0 | 0 | 2 895.44/895.68 c 892s | 14 | 196590 | 82452 | 143684 0 | 0 | 2 898.45/898.70 c 895s | 14 | 197219 | 82752 | 143684 0 | 0 | 2 900.55/900.72 c 897s | 14 | 197693 | 82952 | 143684 0 | 0 | 2 902.74/902.98 c 899s | 14 | 198174 | 83152 | 143684 0 | 0 | 2 905.34/905.57 c 902s | 14 | 198594 | 83352 | 143684 0 | 0 | 2 907.84/908.02 c 904s | 14 | 199001 | 83552 | 143684 0 | 0 | 2 910.74/910.96 c 907s | 14 | 199453 | 83752 | 143684 0 | 0 | 2 913.34/913.53 c 910s | 14 | 199951 | 83952 | 143684 0 | 0 | 2 915.94/916.16 c 912s | 14 | 200570 | 84152 | 143684 0 | 0 | 2 918.83/919.01 c 915s | 14 | 201312 | 84452 | 143684 0 | 0 | 2 920.93/921.10 c 917s | 14 | 201758 | 84652 | 143684 0 | 0 | 2 923.14/923.39 c 920s | 14 | 202356 | 84852 | 143684 0 | 0 | 2 925.54/925.72 c 922s | 14 | 202787 | 85052 | 143684 0 | 0 | 2 928.73/928.91 c 925s | 14 | 203557 | 85352 | 143684 0 | 0 | 2 930.83/931.09 c 927s | 14 | 204022 | 85552 | 143684 0 | 0 | 2 933.03/933.26 c 929s | 14 | 204474 | 85752 | 143684 0 | 0 | 2 935.44/935.64 c 932s | 14 | 204934 | 85952 | 143684 0 | 0 | 2 937.93/938.13 c 934s | 14 | 205371 | 86152 | 143684 0 | 0 | 2 940.03/940.28 c 936s | 14 | 205804 | 86352 | 143684 0 | 0 | 2 942.23/942.44 c 939s | 14 | 206245 | 86552 | 143684 0 | 0 | 2 944.43/944.66 c 941s | 14 | 206719 | 86752 | 158053 0 | 0 | 2 947.12/947.36 c 944s | 14 | 207039 | 86952 | 158053 0 | 0 | 2 949.73/949.94 c 946s | 14 | 207431 | 87152 | 158053 0 | 0 | 2 952.53/952.77 c 949s | 14 | 207788 | 87352 | 158053 0 | 0 | 2 955.12/955.30 c 951s | 15 | 208408 | 87632 | 158053 0 | 0 | 2 957.32/957.51 c 954s | 15 | 209090 | 87732 | 158053 0 | 0 | 2 959.92/960.10 c 956s | 15 | 209868 | 88032 | 158053 0 | 0 | 2 962.02/962.27 c 958s | 15 | 210246 | 88232 | 158053 0 | 0 | 2 964.11/964.33 c 960s | 15 | 210829 | 88432 | 158053 0 | 0 | 2 966.62/966.87 c 963s | 15 | 211204 | 88632 | 158053 0 | 0 | 2 969.32/969.52 c 966s | 15 | 211562 | 88832 | 158053 0 | 0 | 2 971.92/972.19 c 968s | 15 | 211933 | 89032 | 158053 0 | 0 | 2 974.52/974.77 c 971s | 15 | 212456 | 89232 | 158053 0 | 0 | 2 977.31/977.51 c 974s | 15 | 212897 | 89432 | 158053 0 | 0 | 2 979.31/979.52 c 976s | 15 | 213295 | 89632 | 158053 0 | 0 | 2 982.80/983.00 c 979s | 15 | 213963 | 89932 | 158053 0 | 0 | 2 985.30/985.57 c 982s | 15 | 214409 | 90132 | 158053 0 | 0 | 2 988.30/988.50 c 985s | 15 | 215075 | 90432 | 158053 0 | 0 | 2 990.80/991.04 c 987s | 15 | 215565 | 90632 | 158053 0 | 0 | 2 993.50/993.75 c 990s | 15 | 216297 | 90932 | 158053 0 | 0 | 2 995.70/995.97 c 992s | 15 | 216699 | 91132 | 158053 0 | 0 | 2 998.50/998.76 c 995s | 15 | 217140 | 91332 | 158053 0 | 0 | 2 1000.80/1001.10 c 997s | 15 | 217495 | 91532 | 158053 0 | 0 | 2 1003.29/1003.55 c 1000s | 15 | 217913 | 91732 | 158053 0 | 0 | 2 1006.10/1006.38 c 1003s | 15 | 218340 | 91932 | 158053 0 | 0 | 2 1008.99/1009.21 c 1005s | 15 | 218682 | 92132 | 158053 0 | 0 | 2 1012.09/1012.38 c 1009s | 15 | 219113 | 92332 | 158053 0 | 0 | 2 1014.69/1014.96 c 1011s | 15 | 219533 | 92532 | 158053 0 | 0 | 2 1017.19/1017.50 c 1014s | 15 | 219953 | 92732 | 158053 0 | 0 | 2 1019.88/1020.19 c 1016s | 15 | 220352 | 92932 | 158053 0 | 0 | 2 1023.09/1023.36 c 1020s | 15 | 220835 | 93132 | 158053 0 | 0 | 2 1025.58/1025.87 c 1022s | 15 | 221241 | 93332 | 158053 0 | 0 | 2 1028.58/1028.81 c 1025s | 15 | 221715 | 93532 | 158053 0 | 0 | 2 1031.47/1031.77 c 1028s | 15 | 222101 | 93732 | 158053 0 | 0 | 2 1033.88/1034.19 c 1030s | 15 | 222559 | 93932 | 158053 0 | 0 | 2 1036.88/1037.15 c 1033s | 15 | 223109 | 94132 | 158053 0 | 0 | 2 1039.97/1040.27 c 1036s | 15 | 223583 | 94332 | 158053 0 | 0 | 2 1042.97/1043.25 c 1039s | 15 | 224116 | 94532 | 158053 0 | 0 | 2 1045.97/1046.23 c 1042s | 15 | 224717 | 94732 | 158053 0 | 0 | 2 1049.07/1049.32 c 1045s | 15 | 225198 | 94932 | 158053 0 | 0 | 2 1052.16/1052.41 c 1049s | 15 | 225662 | 95132 | 158053 0 | 0 | 2 1054.96/1055.29 c 1051s | 15 | 226081 | 95332 | 158053 0 | 0 | 2 1057.77/1058.05 c 1054s | 15 | 226580 | 95532 | 158053 0 | 0 | 2 1060.96/1061.20 c 1057s | 15 | 226969 | 95732 | 158053 0 | 0 | 2 1063.57/1063.89 c 1060s | 15 | 227393 | 95932 | 158053 0 | 0 | 2 1065.67/1065.94 c 1062s | 15 | 227821 | 96132 | 158053 0 | 0 | 2 1068.06/1068.39 c 1065s | 15 | 228308 | 96332 | 158053 0 | 0 | 2 1070.16/1070.43 c 1067s | 15 | 228806 | 96532 | 158053 0 | 0 | 2 1072.27/1072.60 c 1069s | 15 | 229261 | 96732 | 158053 0 | 0 | 2 1074.36/1074.61 c 1071s | 15 | 229649 | 96932 | 158053 0 | 0 | 2 1077.06/1077.37 c 1074s | 15 | 230203 | 97232 | 158053 0 | 0 | 2 1079.35/1079.68 c 1076s | 15 | 230660 | 97432 | 158053 0 | 0 | 2 1081.95/1082.28 c 1078s | 15 | 231193 | 97632 | 158053 0 | 0 | 2 1084.45/1084.78 c 1081s | 15 | 231664 | 97832 | 158053 0 | 0 | 2 1086.84/1087.17 c 1083s | 15 | 232054 | 98032 | 158053 0 | 0 | 2 1089.25/1089.52 c 1086s | 15 | 232599 | 98232 | 158053 0 | 0 | 2 1091.74/1092.01 c 1088s | 15 | 233090 | 98432 | 158053 0 | 0 | 2 1094.44/1094.74 c 1091s | 15 | 233551 | 98632 | 158053 0 | 0 | 2 1096.94/1097.29 c 1093s | 15 | 233992 | 98832 | 158053 0 | 0 | 2 1099.43/1099.71 c 1096s | 15 | 234527 | 99032 | 158053 0 | 0 | 2 1101.74/1102.06 c 1098s | 15 | 235013 | 99232 | 158053 0 | 0 | 2 1104.33/1104.60 c 1101s | 15 | 235401 | 99432 | 158053 0 | 0 | 2 1106.83/1107.10 c 1103s | 15 | 235887 | 99632 | 158053 0 | 0 | 2 1109.54/1109.89 c 1106s | 15 | 236402 | 99832 | 158053 0 | 0 | 2 1111.94/1112.24 c 1108s | 15 | 236865 | 100032 | 158053 0 | 0 | 2 1114.43/1114.73 c 1111s | 15 | 237365 | 100232 | 158053 0 | 0 | 2 1116.73/1117.07 c 1113s | 15 | 237841 | 100432 | 158053 0 | 0 | 2 1118.82/1119.15 c 1115s | 15 | 238219 | 100632 | 158053 0 | 0 | 2 1120.83/1121.18 c 1117s | 15 | 238705 | 100832 | 158053 0 | 0 | 2 1123.13/1123.48 c 1120s | 15 | 239157 | 101032 | 158053 0 | 0 | 2 1125.63/1125.93 c 1122s | 15 | 239618 | 101232 | 158053 0 | 0 | 2 1128.22/1128.56 c 1125s | 15 | 239996 | 101432 | 158053 0 | 0 | 2 1130.32/1130.67 c 1127s | 15 | 240442 | 101632 | 158053 0 | 0 | 2 1132.42/1132.75 c 1129s | 15 | 240929 | 101832 | 158053 0 | 0 | 2 1134.82/1135.14 c 1131s | 15 | 241373 | 102032 | 158053 0 | 0 | 2 1137.51/1137.83 c 1134s | 15 | 241821 | 102232 | 158053 0 | 0 | 2 1140.31/1140.61 c 1137s | 15 | 242323 | 102432 | 158053 0 | 0 | 2 1142.82/1143.12 c 1139s | 15 | 242661 | 102632 | 158053 0 | 0 | 2 1145.22/1145.56 c 1142s | 15 | 243100 | 102832 | 158053 0 | 0 | 2 1147.81/1148.16 c 1144s | 15 | 243569 | 103032 | 158053 0 | 0 | 2 1150.21/1150.60 c 1147s | 15 | 244060 | 103232 | 158053 0 | 0 | 2 1152.51/1152.84 c 1149s | 15 | 244526 | 103432 | 158053 0 | 0 | 2 1155.92/1156.28 c 1152s | 15 | 244943 | 103632 | 158053 0 | 0 | 2 1158.71/1159.05 c 1155s | 15 | 245316 | 103832 | 158053 0 | 0 | 2 1160.91/1161.25 c 1157s | 15 | 245701 | 104032 | 158053 0 | 0 | 2 1163.30/1163.68 c 1160s | 15 | 246107 | 104232 | 158053 0 | 0 | 2 1165.50/1165.87 c 1162s | 15 | 246595 | 104432 | 158053 0 | 0 | 2 1168.30/1168.66 c 1165s | 15 | 247126 | 104632 | 158053 0 | 0 | 2 1171.00/1171.38 c 1168s | 15 | 247672 | 104832 | 158053 0 | 0 | 2 1173.80/1174.17 c 1170s | 15 | 248067 | 105032 | 158053 0 | 0 | 2 1176.50/1176.84 c 1173s | 15 | 248494 | 105232 | 158053 0 | 0 | 2 1178.80/1179.16 c 1175s | 15 | 248899 | 105432 | 158053 0 | 0 | 2 1181.30/1181.63 c 1178s | 15 | 249406 | 105632 | 158053 0 | 0 | 2 1183.79/1184.14 c 1180s | 15 | 249776 | 105832 | 158053 0 | 0 | 2 1186.60/1186.99 c 1183s | 15 | 250151 | 106032 | 158053 0 | 0 | 2 1189.29/1189.61 c 1186s | 15 | 250642 | 106232 | 158053 0 | 0 | 2 1191.79/1192.18 c 1188s | 15 | 251074 | 106432 | 158053 0 | 0 | 2 1194.40/1194.76 c 1191s | 15 | 251471 | 106632 | 158053 0 | 0 | 2 1197.19/1197.51 c 1194s | 15 | 251896 | 106832 | 158053 0 | 0 | 2 1199.79/1200.19 c 1196s | 15 | 252322 | 107032 | 158053 0 | 0 | 2 1202.48/1202.81 c 1199s | 15 | 252727 | 107232 | 158053 0 | 0 | 2 1205.09/1205.49 c 1202s | 15 | 253066 | 107432 | 158053 0 | 0 | 2 1207.49/1207.89 c 1204s | 15 | 253533 | 107632 | 158053 0 | 0 | 2 1209.88/1210.27 c 1206s | 15 | 253980 | 107832 | 158053 0 | 0 | 2 1212.48/1212.88 c 1209s | 15 | 254431 | 108032 | 158053 0 | 0 | 2 1214.88/1215.24 c 1211s | 15 | 254892 | 108232 | 158053 0 | 0 | 2 1217.68/1218.02 c 1214s | 15 | 255328 | 108432 | 158053 0 | 0 | 2 1220.47/1220.84 c 1217s | 15 | 255760 | 108632 | 158053 0 | 0 | 2 1223.47/1223.89 c 1220s | 15 | 256156 | 108832 | 158053 0 | 0 | 2 1226.07/1226.49 c 1223s | 15 | 256564 | 109032 | 158053 0 | 0 | 2 1229.07/1229.47 c 1226s | 15 | 256935 | 109232 | 158053 0 | 0 | 2 1231.87/1232.22 c 1228s | 15 | 257394 | 109432 | 158053 0 | 0 | 2 1234.77/1235.11 c 1231s | 15 | 257853 | 109632 | 158053 0 | 0 | 2 1237.67/1238.07 c 1234s | 15 | 258345 | 109832 | 158053 0 | 0 | 2 1240.87/1241.28 c 1237s | 15 | 258944 | 110032 | 158053 0 | 0 | 2 1243.78/1244.16 c 1240s | 15 | 259310 | 110232 | 158053 0 | 0 | 2 1246.66/1247.09 c 1243s | 15 | 259738 | 110432 | 158053 0 | 0 | 2 1249.96/1250.36 c 1247s | 15 | 260179 | 110632 | 158053 0 | 0 | 2 1252.76/1253.10 c 1249s | 15 | 260549 | 110832 | 158053 0 | 0 | 2 1255.16/1255.56 c 1252s | 15 | 261004 | 111032 | 158053 0 | 0 | 2 1257.86/1258.23 c 1254s | 15 | 261426 | 111232 | 158053 0 | 0 | 2 1260.45/1260.88 c 1257s | 15 | 261858 | 111432 | 158053 0 | 0 | 2 1263.35/1263.71 c 1260s | 15 | 262344 | 111632 | 158053 0 | 0 | 2 1266.56/1266.94 c 1263s | 15 | 262699 | 111832 | 158053 0 | 0 | 2 1269.55/1269.91 c 1266s | 15 | 263056 | 112032 | 158053 0 | 0 | 2 1272.36/1272.80 c 1269s | 15 | 263496 | 112232 | 158053 0 | 0 | 2 1274.75/1275.15 c 1271s | 15 | 264175 | 112532 | 158053 0 | 0 | 2 1277.15/1277.58 c 1274s | 15 | 264759 | 112832 | 158053 0 | 0 | 2 1279.64/1280.05 c 1276s | 15 | 265533 | 113132 | 158053 0 | 0 | 2 1282.64/1283.02 c 1279s | 15 | 266200 | 113432 | 158053 0 | 0 | 2 1285.85/1286.29 c 1282s | 15 | 266929 | 113732 | 158053 0 | 0 | 2 1287.95/1288.36 c 1285s | 15 | 267319 | 113932 | 158053 0 | 0 | 2 1290.54/1290.90 c 1287s | 15 | 267717 | 114132 | 158053 0 | 0 | 2 1293.25/1293.67 c 1290s | 15 | 268191 | 114332 | 158053 0 | 0 | 2 1295.84/1296.20 c 1292s | 15 | 268591 | 114532 | 158053 0 | 0 | 2 1297.94/1298.31 c 1294s | 15 | 269068 | 114732 | 158053 0 | 0 | 2 1300.54/1300.97 c 1297s | 15 | 269498 | 114932 | 158053 0 | 0 | 2 1303.25/1303.61 c 1300s | 15 | 270155 | 115232 | 158053 0 | 0 | 2 1305.94/1306.32 c 1302s | 15 | 270821 | 115532 | 158053 0 | 0 | 2 1308.84/1309.25 c 1305s | 15 | 271633 | 115832 | 158053 0 | 0 | 2 1310.85/1311.29 c 1307s | 15 | 272076 | 116032 | 158053 0 | 0 | 2 1313.15/1313.58 c 1310s | 15 | 272528 | 116232 | 158053 0 | 0 | 2 1315.44/1315.81 c 1312s | 15 | 272935 | 116432 | 158053 0 | 0 | 2 1318.44/1318.89 c 1315s | 15 | 273563 | 116732 | 158053 0 | 0 | 2 1320.74/1321.14 c 1317s | 15 | 274071 | 116932 | 158053 0 | 0 | 2 1323.53/1323.96 c 1320s | 15 | 274630 | 117132 | 158053 0 | 0 | 2 1326.44/1326.85 c 1323s | 15 | 275163 | 117332 | 158053 0 | 0 | 2 1329.83/1330.21 c 1326s | 15 | 275549 | 117532 | 158053 0 | 0 | 2 1333.13/1333.51 c 1330s | 15 | 276029 | 117732 | 158053 0 | 0 | 2 1336.04/1336.49 c 1333s | 15 | 276615 | 117932 | 158053 0 | 0 | 2 1339.14/1339.52 c 1336s | 15 | 277023 | 118132 | 158053 0 | 0 | 2 1341.54/1341.96 c 1338s | 15 | 277543 | 118332 | 158053 0 | 0 | 2 1343.84/1344.25 c 1340s | 15 | 277974 | 118532 | 158053 0 | 0 | 2 1346.33/1346.74 c 1343s | 15 | 278555 | 118732 | 158053 0 | 0 | 2 1349.64/1350.08 c 1346s | 15 | 279044 | 118932 | 158053 0 | 0 | 2 1352.24/1352.64 c 1349s | 15 | 279414 | 119132 | 158053 0 | 0 | 2 1354.64/1355.09 c 1351s | 15 | 279862 | 119332 | 158053 0 | 0 | 2 1357.04/1357.40 c 1354s | 15 | 280297 | 119532 | 158053 0 | 0 | 2 1359.13/1359.56 c 1356s | 15 | 280764 | 119732 | 158053 0 | 0 | 2 1361.44/1361.80 c 1358s | 15 | 281237 | 119932 | 158053 0 | 0 | 2 1363.63/1364.08 c 1360s | 15 | 281718 | 120132 | 158053 0 | 0 | 2 1366.33/1366.70 c 1363s | 15 | 282075 | 120332 | 158053 0 | 0 | 2 1369.14/1369.53 c 1366s | 15 | 282520 | 120532 | 158053 0 | 0 | 2 1371.73/1372.17 c 1368s | 15 | 282967 | 120732 | 158053 0 | 0 | 2 1374.43/1374.82 c 1371s | 15 | 283346 | 120932 | 158053 0 | 0 | 2 1376.94/1377.30 c 1373s | 15 | 283904 | 121132 | 158053 0 | 0 | 2 1379.63/1380.03 c 1376s | 15 | 284342 | 121332 | 158053 0 | 0 | 2 1382.83/1383.20 c 1379s | 15 | 284804 | 121532 | 158053 0 | 0 | 2 1385.73/1386.18 c 1382s | 15 | 285304 | 121732 | 158053 0 | 0 | 2 1388.33/1388.70 c 1385s | 15 | 285728 | 121932 | 158053 0 | 0 | 2 1390.43/1390.85 c 1387s | 15 | 286152 | 122132 | 158053 0 | 0 | 2 1392.83/1393.27 c 1389s | 15 | 286657 | 122332 | 158053 0 | 0 | 2 1395.13/1395.56 c 1392s | 15 | 287091 | 122532 | 158053 0 | 0 | 2 1397.74/1398.16 c 1394s | 15 | 287495 | 122732 | 158053 0 | 0 | 2 1400.03/1400.44 c 1397s | 15 | 287997 | 122932 | 158053 0 | 0 | 2 1402.52/1402.91 c 1399s | 15 | 288373 | 123132 | 158053 0 | 0 | 2 1405.72/1406.11 c 1402s | 15 | 288785 | 123332 | 158053 0 | 0 | 2 1408.62/1409.02 c 1405s | 15 | 289143 | 123532 | 158053 0 | 0 | 2 1411.73/1412.19 c 1408s | 15 | 289514 | 123732 | 158053 0 | 0 | 2 1414.72/1415.16 c 1411s | 15 | 289977 | 123932 | 158053 0 | 0 | 2 1416.82/1417.28 c 1413s | 15 | 290410 | 124132 | 158053 0 | 0 | 2 1419.32/1419.70 c 1416s | 15 | 290837 | 124332 | 158053 0 | 0 | 2 1422.12/1422.54 c 1419s | 15 | 291319 | 124532 | 158053 0 | 0 | 2 1425.23/1425.66 c 1422s | 15 | 291879 | 124732 | 158053 0 | 0 | 2 1428.13/1428.54 c 1425s | 15 | 292354 | 124932 | 158053 0 | 0 | 2 1431.22/1431.60 c 1428s | 15 | 292936 | 125132 | 158053 0 | 0 | 2 1434.52/1434.90 c 1431s | 15 | 293379 | 125332 | 158053 0 | 0 | 2 1437.72/1438.18 c 1434s | 15 | 293779 | 125532 | 158053 0 | 0 | 2 1440.52/1440.91 c 1437s | 15 | 294215 | 125732 | 158053 0 | 0 | 2 1442.52/1442.91 c 1439s | 15 | 294619 | 125932 | 158053 0 | 0 | 2 1444.82/1445.21 c 1441s | 15 | 295139 | 126132 | 158053 0 | 0 | 2 1447.62/1448.01 c 1444s | 15 | 295527 | 126332 | 158053 0 | 0 | 2 1450.22/1450.65 c 1447s | 15 | 296007 | 126532 | 158053 0 | 0 | 2 1453.02/1453.41 c 1450s | 15 | 296411 | 126732 | 158053 0 | 0 | 2 1455.22/1455.69 c 1452s | 15 | 296838 | 126932 | 158053 0 | 0 | 2 1457.52/1457.96 c 1454s | 15 | 297313 | 127132 | 158053 0 | 0 | 2 1460.22/1460.64 c 1457s | 15 | 297669 | 127332 | 158053 0 | 0 | 2 1463.51/1463.95 c 1460s | 15 | 298199 | 127532 | 158053 0 | 0 | 2 1466.62/1467.08 c 1463s | 15 | 298698 | 127732 | 158053 0 | 0 | 2 1468.82/1469.20 c 1465s | 15 | 298933 | 127832 | 158053 0 | 0 | 2 1471.71/1472.17 c 1468s | 15 | 299431 | 128032 | 158053 0 | 0 | 2 1474.22/1474.61 c 1471s | 15 | 299920 | 128232 | 158053 0 | 0 | 2 1477.22/1477.60 c 1474s | 15 | 300362 | 128432 | 158053 0 | 0 | 2 1479.71/1480.18 c 1476s | 15 | 300910 | 128632 | 158053 0 | 0 | 2 1483.01/1483.42 c 1480s | 15 | 301252 | 128832 | 158053 0 | 0 | 2 1486.61/1487.07 c 1483s | 15 | 301648 | 129032 | 158053 0 | 0 | 2 1490.61/1491.01 c 1487s | 15 | 302005 | 129232 | 158053 0 | 0 | 2 1493.42/1493.84 c 1490s | 15 | 302279 | 129332 | 158053 0 | 0 | 2 1495.81/1496.23 c 1492s | 15 | 302512 | 129432 | 158053 0 | 0 | 2 1498.32/1498.78 c 1495s | 15 | 302973 | 129632 | 158053 0 | 0 | 2 1501.12/1501.51 c 1498s | 15 | 303427 | 129832 | 158053 0 | 0 | 2 1504.31/1504.74 c 1501s | 15 | 303836 | 130032 | 158053 0 | 0 | 2 1507.41/1507.87 c 1504s | 15 | 304256 | 130232 | 158053 0 | 0 | 2 1510.71/1511.14 c 1507s | 15 | 304728 | 130432 | 173859 0 | 0 | 2 1513.32/1513.79 c 1510s | 15 | 305305 | 130632 | 173859 0 | 0 | 2 1516.40/1516.88 c 1513s | 15 | 305746 | 130832 | 173859 0 | 0 | 2 1520.21/1520.62 c 1517s | 15 | 306305 | 131032 | 173859 0 | 0 | 2 1522.21/1522.65 c 1519s | 15 | 306579 | 131132 | 173859 0 | 0 | 2 1525.60/1526.01 c 1522s | 15 | 306977 | 131332 | 173859 0 | 0 | 2 1527.70/1528.14 c 1524s | 15 | 307226 | 131432 | 173859 0 | 0 | 2 1529.91/1530.33 c 1526s | 15 | 307442 | 131532 | 173859 0 | 0 | 2 1530.21/1530.68 c 1527s | 16 | 307479 | 131552 | 173859 0 | 0 | 2 1535.90/1536.33 c 1532s | 16 | 308123 | 131652 | 173859 0 | 0 | 2 1538.61/1539.04 c 1535s | 16 | 308669 | 131852 | 173859 0 | 0 | 2 1540.90/1541.31 c 1537s | 16 | 309183 | 132052 | 173859 0 | 0 | 2 1543.30/1543.76 c 1540s | 16 | 309678 | 132252 | 173859 0 | 0 | 2 1546.00/1546.40 c 1543s | 16 | 310326 | 132552 | 173859 0 | 0 | 2 1548.20/1548.64 c 1545s | 16 | 310732 | 132752 | 173859 0 | 0 | 2 1550.21/1550.67 c 1547s | 16 | 311139 | 132952 | 173859 0 | 0 | 2 1552.70/1553.11 c 1549s | 16 | 311494 | 133152 | 173859 0 | 0 | 2 1555.70/1556.13 c 1552s | 16 | 311978 | 133352 | 173859 0 | 0 | 2 1559.60/1560.01 c 1556s | 16 | 312414 | 133552 | 173859 0 | 0 | 2 1561.71/1562.11 c 1558s | 16 | 312826 | 133752 | 173859 0 | 0 | 2 1563.70/1564.13 c 1560s | 16 | 313323 | 133952 | 173859 0 | 0 | 2 1566.20/1566.62 c 1563s | 16 | 313939 | 134252 | 173859 0 | 0 | 2 1568.80/1569.22 c 1565s | 16 | 314604 | 134552 | 173859 0 | 0 | 2 1571.20/1571.69 c 1568s | 16 | 315057 | 134752 | 173859 0 | 0 | 2 1573.71/1574.12 c 1570s | 16 | 315421 | 134952 | 173859 0 | 0 | 2 1575.80/1576.26 c 1572s | 16 | 315830 | 135152 | 173859 0 | 0 | 2 1579.10/1579.55 c 1576s | 16 | 316281 | 135352 | 173859 0 | 0 | 2 1581.50/1581.96 c 1578s | 16 | 316801 | 135552 | 173859 0 | 0 | 2 1584.71/1585.14 c 1581s | 16 | 317256 | 135752 | 173859 0 | 0 | 2 1588.50/1588.93 c 1585s | 16 | 317704 | 135952 | 173859 0 | 0 | 2 1590.70/1591.11 c 1587s | 16 | 318101 | 136152 | 173859 0 | 0 | 2 1592.89/1593.30 c 1589s | 16 | 318629 | 136352 | 173859 0 | 0 | 2 1595.40/1595.83 c 1592s | 16 | 319029 | 136552 | 173859 0 | 0 | 2 1598.40/1598.85 c 1595s | 16 | 319514 | 136752 | 173859 0 | 0 | 2 1601.40/1601.87 c 1598s | 16 | 320020 | 136952 | 173859 0 | 0 | 2 1604.50/1604.90 c 1601s | 16 | 320468 | 137152 | 173859 0 | 0 | 2 1607.99/1608.49 c 1605s | 16 | 320905 | 137352 | 173859 0 | 0 | 2 1610.19/1610.67 c 1607s | 16 | 321357 | 137552 | 173859 0 | 0 | 2 1613.09/1613.57 c 1610s | 16 | 321858 | 137752 | 173859 0 | 0 | 2 1615.19/1615.65 c 1612s | 16 | 322275 | 137952 | 173859 0 | 0 | 2 1618.00/1618.42 c 1615s | 16 | 322793 | 138152 | 173859 0 | 0 | 2 1620.89/1621.39 c 1618s | 16 | 323271 | 138352 | 173859 0 | 0 | 2 1623.69/1624.12 c 1620s | 16 | 323694 | 138552 | 173859 0 | 0 | 2 1626.50/1626.94 c 1623s | 16 | 324134 | 138752 | 173859 0 | 0 | 2 1629.59/1630.05 c 1626s | 16 | 324573 | 138952 | 173859 0 | 0 | 2 1632.69/1633.13 c 1629s | 16 | 324943 | 139152 | 173859 0 | 0 | 2 1636.09/1636.51 c 1633s | 16 | 325457 | 139352 | 173859 0 | 0 | 2 1639.70/1640.13 c 1636s | 16 | 325860 | 139552 | 173859 0 | 0 | 2 1642.28/1642.71 c 1639s | 16 | 326081 | 139652 | 173859 0 | 0 | 2 1646.39/1646.85 c 1643s | 16 | 326474 | 139852 | 173859 0 | 0 | 2 1649.60/1650.08 c 1646s | 16 | 327025 | 140052 | 173859 0 | 0 | 2 1652.59/1653.00 c 1649s | 16 | 327407 | 140252 | 173859 0 | 0 | 2 1655.89/1656.33 c 1652s | 16 | 327873 | 140452 | 173859 0 | 0 | 2 1660.59/1661.01 c 1657s | 16 | 328313 | 140652 | 173859 0 | 0 | 2 1662.79/1663.25 c 1659s | 16 | 328553 | 140752 | 173859 0 | 0 | 2 1665.78/1666.22 c 1662s | 16 | 329002 | 140952 | 173859 0 | 0 | 2 1668.98/1669.43 c 1666s | 16 | 329447 | 141152 | 173859 0 | 0 | 2 1672.39/1672.83 c 1669s | 16 | 329946 | 141352 | 173859 0 | 0 | 2 1675.99/1676.42 c 1673s | 16 | 330462 | 141552 | 173859 0 | 0 | 2 1678.09/1678.56 c 1675s | 16 | 330662 | 141652 | 173859 0 | 0 | 2 1680.98/1681.49 c 1678s | 16 | 331235 | 141852 | 173859 0 | 0 | 2 1684.38/1684.80 c 1681s | 16 | 331641 | 142052 | 173859 0 | 0 | 2 1686.38/1686.88 c 1683s | 16 | 331844 | 142152 | 173859 0 | 0 | 2 1689.09/1689.50 c 1686s | 16 | 332020 | 142252 | 173859 0 | 0 | 2 1692.78/1693.21 c 1689s | 16 | 332496 | 142452 | 173859 0 | 0 | 2 1694.88/1695.31 c 1691s | 16 | 332975 | 142652 | 173859 0 | 0 | 2 1697.58/1698.08 c 1694s | 16 | 333668 | 142952 | 173859 0 | 0 | 2 1700.48/1700.98 c 1697s | 16 | 334301 | 143252 | 173859 0 | 0 | 2 1703.48/1703.94 c 1700s | 16 | 335075 | 143552 | 173859 0 | 0 | 2 1705.58/1706.02 c 1702s | 16 | 335542 | 143752 | 173859 0 | 0 | 2 1708.38/1708.87 c 1705s | 16 | 336140 | 144052 | 173859 0 | 0 | 2 1710.68/1711.10 c 1707s | 16 | 336707 | 144252 | 173859 0 | 0 | 2 1712.77/1713.26 c 1709s | 16 | 337111 | 144452 | 173859 0 | 0 | 2 1715.28/1715.76 c 1712s | 16 | 337686 | 144652 | 173859 0 | 0 | 2 1717.68/1718.12 c 1714s | 16 | 338259 | 144852 | 173859 0 | 0 | 2 1719.87/1720.40 c 1717s | 16 | 338703 | 145052 | 173859 0 | 0 | 2 1722.37/1722.82 c 1719s | 16 | 339200 | 145252 | 173859 0 | 0 | 2 1724.49/1724.98 c 1721s | 16 | 339663 | 145452 | 173859 0 | 0 | 2 1727.38/1727.90 c 1724s | 16 | 340155 | 145652 | 173859 0 | 0 | 2 1729.98/1730.41 c 1727s | 16 | 340589 | 145852 | 173859 0 | 0 | 2 1732.48/1732.96 c 1729s | 16 | 340992 | 146052 | 173859 0 | 0 | 2 1735.08/1735.50 c 1732s | 16 | 341364 | 146252 | 173859 0 | 0 | 2 1737.78/1738.27 c 1734s | 16 | 341864 | 146452 | 173859 0 | 0 | 2 1740.78/1741.26 c 1737s | 16 | 342297 | 146652 | 173859 0 | 0 | 2 1743.38/1743.90 c 1740s | 16 | 342706 | 146852 | 173859 0 | 0 | 2 1745.78/1746.23 c 1742s | 16 | 343153 | 147052 | 173859 0 | 0 | 2 1748.17/1748.66 c 1745s | 16 | 343606 | 147252 | 173859 0 | 0 | 2 1751.07/1751.51 c 1748s | 16 | 344034 | 147452 | 173859 0 | 0 | 2 1753.88/1754.38 c 1751s | 16 | 344640 | 147652 | 173859 0 | 0 | 2 1756.68/1757.11 c 1753s | 16 | 345057 | 147852 | 173859 0 | 0 | 2 1758.97/1759.41 c 1756s | 16 | 345548 | 148052 | 173859 0 | 0 | 2 1761.88/1762.35 c 1758s | 16 | 345978 | 148252 | 173859 0 | 0 | 2 1764.57/1765.08 c 1761s | 16 | 346400 | 148452 | 173859 0 | 0 | 2 1767.28/1767.79 c 1764s | 16 | 346914 | 148652 | 173859 0 | 0 | 2 1769.87/1770.37 c 1767s | 16 | 347357 | 148852 | 173859 0 | 0 | 2 1771.97/1772.48 c 1769s | 16 | 347932 | 149052 | 173859 0 | 0 | 2 1774.27/1774.78 c 1771s | 16 | 348394 | 149252 | 173859 0 | 0 | 2 1776.67/1777.16 c 1773s | 16 | 348923 | 149452 | 173859 0 | 0 | 2 1779.67/1780.15 c 1776s | 16 | 349357 | 149652 | 173859 0 | 0 | 2 1782.37/1782.87 c 1779s | 16 | 349864 | 149852 | 173859 0 | 0 | 2 1785.17/1785.62 c 1782s | 16 | 350276 | 150052 | 173859 0 | 0 | 2 1787.87/1788.39 c 1785s | 16 | 350735 | 150252 | 173859 0 | 0 | 2 1790.87/1791.39 c 1788s | 16 | 351126 | 150452 | 173859 0 | 0 | 2 1793.77/1794.24 c 1790s | 16 | 351568 | 150652 | 173859 0 | 0 | 2 1796.37/1796.84 c 1793s | 16 | 351913 | 150852 | 173859 0 | 0 | 2 1799.17/1799.69 c 1796s | 16 | 352355 | 151052 | 173859 0 | 0 | 2
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-4106592-1466274297/watcher-4106592-1466274297 -o /tmp/evaluation-result-4106592-1466274297/solver-4106592-1466274297 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106592-1466274297.opb pid=9133 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.12 2.16 2.10 3/179 9136 /proc/meminfo: memFree=30088328/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=665020 CPUtime=0 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 2468 0 0 0 0 0 0 0 20 0 4 0 29475164 680980480 3341 33554432000 4194304 16246674 140735116657264 140735116656688 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 166767 3350 441 2943 0 163661 0 [pid=9136/tid=9137] ppid=9133 vsize=682428 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 698806272 3409 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=686524 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 703000576 3427 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=690620 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 707194880 3443 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100172 s] /proc/loadavg: 2.12 2.16 2.10 3/179 9136 /proc/meminfo: memFree=30088328/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1302084 CPUtime=0.08 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 28296 0 0 0 5 3 0 0 20 0 4 0 29475164 1333334016 29106 33554432000 4194304 16246674 140735116657264 140735116656480 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 325521 29123 800 2943 0 322415 0 [pid=9136/tid=9137] ppid=9133 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1333334016 29134 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1333334016 29145 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1333334016 29156 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.200517 s] /proc/loadavg: 2.12 2.16 2.10 3/179 9136 /proc/meminfo: memFree=30088328/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 46559 0 0 0 13 6 0 0 20 0 4 0 29475164 1344868352 47369 33554432000 4194304 16246674 140735116657264 140735116656480 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328337 47373 834 2943 0 325231 0 [pid=9136/tid=9137] ppid=9133 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1344868352 47375 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1344868352 47377 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1344868352 47380 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300478 s] /proc/loadavg: 2.12 2.16 2.10 3/179 9136 /proc/meminfo: memFree=30088328/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 47016 0 0 0 23 6 0 0 20 0 4 0 29475164 1345916928 47826 33554432000 4194304 16246674 140735116657264 140735116656576 12481105 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 47826 834 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 47826 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 47826 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 47826 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700413 s] /proc/loadavg: 2.12 2.16 2.10 3/179 9136 /proc/meminfo: memFree=30088328/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=0.69 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 69457 0 0 0 59 10 0 0 20 0 4 0 29475164 1345916928 70267 33554432000 4194304 16246674 140735116657264 140735116656576 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 70267 835 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 70267 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 70267 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 70267 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50041 s] /proc/loadavg: 2.12 2.16 2.10 3/183 9140 /proc/meminfo: memFree=29625152/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=1.49 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 116603 0 0 0 132 17 0 0 20 0 4 0 29475164 1345916928 117413 33554432000 4194304 16246674 140735116657264 140735116639168 5674563 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 117413 908 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 117413 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 117413 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 117413 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10037 s] /proc/loadavg: 2.12 2.16 2.10 4/183 9140 /proc/meminfo: memFree=29291964/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=3.08 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 269800 0 0 0 271 37 0 0 20 0 4 0 29475164 1345916928 270610 33554432000 4194304 16246674 140735116657264 140735116639168 5829844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 270610 910 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270610 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270610 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270610 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1314372 [startup+6.30041 s] /proc/loadavg: 2.19 2.18 2.11 3/183 9140 /proc/meminfo: memFree=29006436/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=6.28 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 269800 0 0 0 591 37 0 0 20 0 4 0 29475164 1345916928 270610 33554432000 4194304 16246674 140735116657264 140735116639168 4220965 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 270610 910 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270610 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270610 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270610 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1314372 [startup+12.7004 s] /proc/loadavg: 2.17 2.17 2.11 3/183 9140 /proc/meminfo: memFree=29006480/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=12.68 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 269803 0 0 0 1231 37 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140735116639168 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 270613 913 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1314372 [startup+25.5005 s] /proc/loadavg: 2.13 2.17 2.10 3/183 9140 /proc/meminfo: memFree=29007192/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=25.49 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 269803 0 0 0 2511 38 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140735116656360 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 270613 913 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1314372 [startup+51.1005 s] /proc/loadavg: 2.23 2.18 2.11 3/183 9140 /proc/meminfo: memFree=29007200/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=51.08 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 269803 0 0 0 5069 39 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140735116639040 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 270613 913 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1314372 [startup+102.3 s] /proc/loadavg: 2.17 2.17 2.10 3/183 9141 /proc/meminfo: memFree=29006704/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=102.28 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 269803 0 0 0 10186 42 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140735116656440 6837238 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 270613 913 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1314372 ################ # More data... # ################ /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1314372 [startup+1362.3 s] /proc/loadavg: 2.01 2.03 2.06 3/183 9222 /proc/meminfo: memFree=29006068/32872528 swapFree=496864/529568 [pid=9136] ppid=9133 vsize=1314372 CPUtime=1361.93 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 270092 0 0 0 136064 129 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140735116639168 5673957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 270613 913 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1314372 [startup+1422.3 s] /proc/loadavg: 2.00 2.02 2.05 3/183 9223 /proc/meminfo: memFree=29005856/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=1421.93 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 270092 0 0 0 142060 133 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140735116639168 5672056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 270613 913 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1314372 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.04 3/183 9225 /proc/meminfo: memFree=29005996/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=1481.91 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 270092 0 0 0 148054 137 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140735116656440 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 270613 913 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1314372 [startup+1542.31 s] /proc/loadavg: 2.09 2.04 2.05 3/184 9229 /proc/meminfo: memFree=29005920/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=1541.91 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 270092 0 0 0 154049 142 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140735116639168 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 270613 913 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270613 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1314372 [startup+1602.3 s] /proc/loadavg: 2.12 2.06 2.05 3/183 9230 /proc/meminfo: memFree=29005708/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=1601.9 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 270093 0 0 0 160043 147 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140735116639168 5829313 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 270614 914 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1314372 [startup+1662.3 s] /proc/loadavg: 2.08 2.06 2.05 3/183 9231 /proc/meminfo: memFree=29004752/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=1661.89 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 270093 0 0 0 166038 151 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140735116656360 4221031 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 270614 914 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1314372 [startup+1722.3 s] /proc/loadavg: 2.03 2.05 2.05 3/183 9232 /proc/meminfo: memFree=29005024/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=1721.87 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 270093 0 0 0 172033 154 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140735116656360 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 270614 914 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1314372 [startup+1782.3 s] /proc/loadavg: 2.06 2.05 2.05 3/183 9234 /proc/meminfo: memFree=29004816/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=1781.87 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 270093 0 0 0 178027 160 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140735116639168 13906983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 270614 914 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1314372 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.04 2.05 2.04 3/183 9234 /proc/meminfo: memFree=29004916/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=1800.06 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 270093 0 0 0 179845 161 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140735116656360 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 270614 914 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1314372 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 9136 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.04 2.05 2.04 3/183 9234 /proc/meminfo: memFree=29004916/32872528 swapFree=496868/529572 [pid=9136] ppid=9133 vsize=1314372 CPUtime=1800.06 cores=0,2,4,6 /proc/9136/stat : 9136 (toysat) R 9133 9136 7739 0 -1 4202496 270093 0 0 0 179845 161 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140735116656360 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9136/statm: 328593 270614 914 2943 0 325487 0 [pid=9136/tid=9137] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9137/stat : 9137 (toysat) S 9133 9136 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404890512624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9136/tid=9138] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9138/stat : 9138 (toysat) S 9133 9136 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404880022768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9136/tid=9139] ppid=9133 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9136/task/9139/stat : 9139 (toysat) S 9133 9136 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29475164 1345916928 270614 33554432000 4194304 16246674 140735116657264 140404762602672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1314372 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.08 CPU user time (s): 1798.46 CPU system time (s): 1.61775 CPU usage (%): 99.9762 Max. virtual memory (cumulated for all children) (KiB): 1314372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.46 system time used= 1.61775 maximum resident set size= 1082456 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270093 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= 305 involuntary context switches= 1964 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.72328 second user time and 6.77797 second system time The end
Begin job on node141 at 2016-06-18 20:24:57 IDJOB=4106592 IDBENCH=48121 IDSOLVER=2542 FILE ID=node141/4106592-1466274297 RUNJOBID= node141-1466264081-7755 PBS_JOBID= 19918217 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106592-1466274297/watcher-4106592-1466274297 -o /tmp/evaluation-result-4106592-1466274297/solver-4106592-1466274297 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106592-1466274297.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e079962149860142627e0ca6e79ba5d1 RANDOM SEED=1706716636 node141.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.547 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.09 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.547 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.547 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.54 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.547 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.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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.547 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30088980 kB Buffers: 153996 kB Cached: 257088 kB SwapCached: 2528 kB Active: 1242504 kB Inactive: 267980 kB Active(anon): 1099200 kB Inactive(anon): 2028 kB Active(file): 143304 kB Inactive(file): 265952 kB Unevictable: 529572 kB Mlocked: 496868 kB SwapTotal: 67108856 kB SwapFree: 67099068 kB Dirty: 16712 kB Writeback: 0 kB AnonPages: 1627328 kB Mapped: 10544 kB Shmem: 0 kB Slab: 609768 kB SReclaimable: 53388 kB SUnreclaim: 556380 kB KernelStack: 1520 kB PageTables: 7408 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1771900 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1120256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71696 MiB End job on node141 at 2016-06-18 20:54:58