| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_16.opb |
| MD5SUM | 6e5141f298d85d1f18641c02d22506a9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 235 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 222 |
| Optimality of the best value was proved | NO |
| Number of variables | 5570 |
| Total number of constraints | 10896 |
| Number of constraints which are clauses | 1 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10895 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 34 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 375 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 512 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 1908 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T22:53:24+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.01 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.01 c arch = x86_64 0.00/0.01 c os = linux 0.00/0.01 c compiler = ghc 7.10 0.00/0.01 c packages: 0.00/0.01 c OptDir-0.0.3 0.00/0.01 c array-0.5.1.0 0.00/0.01 c base-4.8.2.0 0.00/0.01 c bytestring-0.10.6.0 0.00/0.01 c bytestring-builder-0.10.6.0.0 0.00/0.01 c clock-0.7.2 0.00/0.01 c containers-0.5.6.2 0.00/0.01 c data-default-0.5.3 0.00/0.01 c data-default-class-0.0.1 0.00/0.01 c data-interval-1.2.0 0.00/0.01 c deepseq-1.4.1.1 0.00/0.01 c directory-1.2.2.0 0.00/0.01 c exceptions-0.8.2.1 0.00/0.01 c extended-reals-0.2.1.0 0.00/0.01 c filepath-1.4.0.0 0.00/0.01 c finite-field-0.8.0 0.00/0.01 c hashable-1.2.4.0 0.00/0.01 c heaps-0.3.3 0.00/0.01 c intern-0.9.1.4 0.00/0.01 c loop-0.3.0 0.00/0.01 c mtl-2.2.1 0.00/0.01 c multiset-0.3.2 0.00/0.01 c mwc-random-0.13.3.2 0.00/0.01 c parse_dimacs-1.3 0.00/0.01 c parsec-3.1.9 0.00/0.01 c prettyclass-1.0.0.0 0.00/0.01 c primes-0.2.1.0 0.00/0.01 c primitive-0.6.1.0 0.00/0.01 c process-1.2.3.0 0.00/0.01 c pseudo-boolean-0.1.3.0 0.00/0.02 c queue-0.1.2 0.00/0.02 c semigroups-0.18.1 0.00/0.02 c sign-0.4.3 0.00/0.02 c stm-2.4.4.1 0.00/0.02 c template-haskell-2.10.0.0 0.00/0.02 c temporary-1.2.0.4 0.00/0.02 c time-1.5.0.1 0.00/0.02 c transformers-0.4.2.0 0.00/0.02 c transformers-compat-0.5.1.4 0.00/0.02 c type-level-numbers-0.1.1.1 0.00/0.02 c unbounded-delays-0.1.0.9 0.00/0.02 c unordered-containers-0.2.6.0 0.00/0.02 c vector-0.11.0.0 0.00/0.02 c vector-space-0.10.3 0.00/0.02 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079661-1465246403.opb"] 0.00/0.02 c use --random-gen="2886879054 336037147 3950643390 1675101752 3965745836 2331470905 2041330852 1225371255 3916657390 2757544790 3961977411 1471434320 2141200427 829015567 3202030421 3455109330 1492695648 2319328761 2524614583 2853177259 4030635050 1415980595 305117730 627781121 2191436719 1589469734 1821214418 551883708 755184626 1401978633 3589028406 3465669836 2140451358 3881326664 3035274348 2564676106 3436619245 98329756 348035274 1292550299 1333083041 2667437582 146126243 1890842666 126119228 4189798348 2169691156 3718174805 168138264 1370577716 1648750736 4130956227 1477732079 3230776197 4017286152 2470591399 38878672 1488317414 2337174098 2801348829 954764857 881914778 4161313266 3774745684 3397808549 1330856202 3825504139 830014273 3172099515 1244790045 2835220599 3024062280 3467636070 471434668 2467436330 1466170445 3940939314 3886185630 1612040389 2483902034 1178866806 3029504014 1492979313 2420497281 4242701995 3719008214 4121927558 3659204834 372281412 1979584959 2855576085 1469228360 425228818 298602933 829042370 4240693571 4181739680 266102066 3438523708 2791127481 2610380845 1423882952 2208392119 4194183036 149680807 645436884 352135584 2331607087 3877408710 2074943342 197280445 2800079200 2703193132 1398268611 2640793534 3448224593 3560650595 3567678518 254441545 1076136218 1315613789 252422691 3693767588 2081280992 3862384962 3047109240 1656761637 3477625981 2412967157 3864963978 2434039724 4128703373 666659585 856647796 2487076636 42703653 1358127630 3427106002 705044779 2267295530 3722804731 2075457671 459498090 2717313598 1465656877 2633431036 649824734 189082219 2633087475 1579256837 961661584 147512124 656444203 681123760 3361251421 1840472002 1685633873 1975622681 3650410783 597571380 4281655518 2291932655 2806207137 3667562708 705974255 1394427410 3204184473 287207423 2721207329 1785648019 678364381 2935188546 1734684704 3672700047 2643917346 51192581 4030948436 1591298340 1724398387 4115789634 3209123255 2523700897 503313306 2990965624 615648486 3251592619 2674946345 1294744091 2045495802 2945930811 3000541185 1003354277 2019487716 1855129286 1119435773 3462822567 3982686442 1992960776 140814509 607861380 1731351617 3579595321 4098702260 1363289538 4016275339 1215552859 1552234379 653009456 1585580601 4291129802 523493659 3142121228 927854606 2883751544 2631475007 3845596076 318047565 2480643956 2371222969 2618952883 376493413 2383555074 3858763542 1629635257 1770143870 641190493 2127779532 1231813738 3251297803 3452169574 555054306 1727211114 1510932272 3216628780 2005394776 43155313 3665528296 2480037417 2651364428 3726622354 2932194866 2973830941 574064132 3063103062 303063141 2521514241 455971756 1425744944 724517687 2855116800 2890420687 1652660177 1064409735 1864644348 3151398036 1421886622 255 362436" option to reproduce the execution 0.58/0.63 c #vars 5570 0.58/0.63 c #constraints 10896 1.98/2.09 c BCD2: Hardening is enabled. 1.98/2.09 c BCD2: BiasedSearch is enabled. 1.98/2.09 c Solving starts ... 1.98/2.09 c ============================[ Search Statistics ]============================ 1.98/2.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.98/2.09 c | | | | Limit GC | Var | Constra 1.98/2.09 c ============================================================================= 1.98/2.09 c 0.0s | 0 | 0 | 0 | 5488 0 | 2 | 0 4.88/4.97 c 2.9s | 0 | 4359 | 100 | 5488 0 | 2 | 0 4.88/4.99 c 2.9s | 1 | 4359 | 100 | 5488 0 | 2 | 0 6.69/6.79 c 4.7s | 2 | 4641 | 250 | 6037 0 | 2 | 0 8.88/8.92 c 6.8s | 3 | 5091 | 475 | 6641 0 | 2 | 0 11.67/11.79 c 9.7s | 3 | 5567 | 775 | 7306 0 | 2 | 0 12.18/12.29 c 10.2s | 4 | 5617 | 813 | 7306 0 | 2 | 0 14.38/14.44 c 12.4s | 4 | 6129 | 1113 | 8037 0 | 2 | 0 16.27/16.31 c 14.2s | 5 | 6397 | 1320 | 8037 0 | 2 | 0 18.57/18.60 c 16.5s | 5 | 6688 | 1520 | 8841 0 | 2 | 0 20.98/21.03 c 18.9s | 5 | 6942 | 1720 | 8841 0 | 2 | 0 23.47/23.55 c 21.5s | 5 | 7182 | 1920 | 8841 0 | 2 | 0 25.77/25.81 c 23.7s | 6 | 7370 | 2081 | 9726 0 | 2 | 0 28.27/28.33 c 26.2s | 6 | 7787 | 2381 | 9726 0 | 2 | 0 30.37/30.48 c 28.4s | 6 | 8011 | 2581 | 9726 0 | 2 | 0 33.18/33.22 c 31.1s | 6 | 8381 | 2881 | 9726 0 | 2 | 0 35.38/35.48 c 33.4s | 6 | 8616 | 3081 | 9726 0 | 2 | 0 37.17/37.25 c 35.2s | 7 | 8777 | 3223 | 10699 0 | 2 | 0 39.57/39.69 c 37.6s | 7 | 9238 | 3523 | 10699 0 | 2 | 0 42.27/42.30 c 40.2s | 7 | 9606 | 3823 | 10699 0 | 2 | 0 44.77/44.87 c 42.8s | 7 | 9977 | 4123 | 10699 0 | 2 | 0 47.67/47.73 c 45.6s | 7 | 10398 | 4423 | 10699 0 | 2 | 0 49.87/49.90 c 47.8s | 7 | 10641 | 4623 | 10699 0 | 2 | 0 52.47/52.59 c 50.5s | 7 | 11001 | 4923 | 11769 0 | 2 | 0 52.67/52.78 c 50.7s | 8 | 11015 | 4936 | 11769 0 | 2 | 0 55.57/55.63 c 53.5s | 8 | 11400 | 5236 | 11769 0 | 2 | 0 58.27/58.39 c 56.3s | 8 | 11740 | 5536 | 11769 0 | 2 | 0 61.17/61.20 c 59.1s | 8 | 12188 | 5836 | 11769 0 | 2 | 0 61.37/61.41 c 59.3s | 8 | 12208 | 5848 | 11769 0 | 2 | 0 61.37/61.41 c #cpu_time = 59.247s 61.37/61.41 c #wall_clock_time = 59.254s 61.37/61.41 c #decision = 12208 61.37/61.41 c #random_decision = 34 61.37/61.41 c #conflict = 5848 61.37/61.41 c #restart = 8 61.37/61.41 o 248 61.37/61.41 c BCD2: updating upper bound: 375 -> 247 61.37/61.42 c BCD2: 0 <= obj <= 247 61.37/61.42 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 61.37/61.42 c BCD2: #sat=1 #unsat=1 bias=1/2 61.37/61.42 c Solving starts ... 61.37/61.42 c ============================[ Search Statistics ]============================ 61.37/61.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 61.37/61.42 c | | | | Limit GC | Var | Constra 61.37/61.42 c ============================================================================= 61.37/61.42 c 0.0s | 0 | 0 | 0 | 11769 0 | 3 | 0 61.37/61.48 c 0.1s | 0 | 0 | 0 | 11769 0 | 3 | 1 61.37/61.48 c #cpu_time = 0.060s 61.37/61.48 c #wall_clock_time = 0.060s 61.37/61.48 c #decision = 0 61.37/61.48 c #random_decision = 0 61.37/61.48 c #conflict = 0 61.37/61.48 c #restart = 0 61.37/61.48 c BCD2: found a new core of size 1: cost of the new core is >=120 61.37/61.48 c lower bound updated to 120 61.37/61.48 c BCD2: hardening fixes 1 literals 61.37/61.48 c BCD2: 120 <= obj <= 247 61.37/61.48 c BCD2: #cores=1, #unrelaxed=7, #relaxed=1, #hardened=1 61.37/61.48 c BCD2: #sat=1 #unsat=2 bias=2/3 61.37/61.48 c Solving starts ... 61.37/61.48 c ============================[ Search Statistics ]============================ 61.37/61.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 61.37/61.48 c | | | | Limit GC | Var | Constra 61.37/61.48 c ============================================================================= 61.37/61.48 c 0.0s | 0 | 0 | 0 | 11769 0 | 3 | 1 62.57/62.66 c 1.2s | 1 | 172 | 100 | 11769 0 | 3 | 1 64.77/64.86 c 3.4s | 2 | 401 | 250 | 11769 0 | 3 | 1 66.86/66.90 c 5.4s | 3 | 725 | 475 | 11769 0 | 3 | 1 68.86/68.95 c 7.5s | 3 | 998 | 675 | 11769 0 | 3 | 1 70.26/70.38 c 8.9s | 4 | 1154 | 813 | 11769 0 | 3 | 1 72.36/72.41 c 10.9s | 4 | 1433 | 1013 | 11769 0 | 3 | 1 74.46/74.54 c 13.1s | 4 | 1676 | 1213 | 11769 0 | 3 | 1 75.66/75.76 c 14.3s | 5 | 1787 | 1320 | 11769 0 | 3 | 1 78.06/78.17 c 16.7s | 5 | 2166 | 1620 | 11769 0 | 3 | 1 80.66/80.73 c 19.3s | 5 | 2507 | 1920 | 12946 0 | 3 | 1 82.16/82.22 c 20.7s | 6 | 2688 | 2081 | 12946 0 | 3 | 1 84.66/84.72 c 23.2s | 6 | 2976 | 2281 | 12946 0 | 3 | 1 86.76/86.80 c 25.3s | 6 | 3203 | 2481 | 12946 0 | 3 | 1 88.76/88.80 c 27.3s | 6 | 3458 | 2681 | 12946 0 | 3 | 1 90.96/91.05 c 29.6s | 6 | 3696 | 2881 | 12946 0 | 3 | 1 93.36/93.46 c 32.0s | 6 | 3922 | 3081 | 12946 0 | 3 | 1 95.16/95.28 c 33.8s | 7 | 4087 | 3223 | 12946 0 | 3 | 1 98.16/98.20 c 36.7s | 7 | 4485 | 3523 | 12946 0 | 3 | 1 100.86/100.95 c 39.5s | 7 | 4866 | 3823 | 12946 0 | 3 | 1 103.06/103.14 c 41.7s | 7 | 5094 | 4023 | 12946 0 | 3 | 1 105.06/105.17 c 43.7s | 7 | 5328 | 4223 | 12946 0 | 3 | 1 107.86/107.93 c 46.5s | 7 | 5665 | 4523 | 12946 0 | 3 | 1 110.65/110.75 c 49.3s | 7 | 6002 | 4823 | 12946 0 | 3 | 1 111.85/111.93 c 50.5s | 8 | 6135 | 4936 | 12946 0 | 3 | 1 114.85/114.90 c 53.4s | 8 | 6527 | 5236 | 12946 0 | 3 | 1 117.45/117.50 c 56.0s | 8 | 6886 | 5536 | 14241 0 | 3 | 1 120.15/120.29 c 58.8s | 8 | 7230 | 5836 | 14241 0 | 3 | 1 122.85/122.90 c 61.4s | 8 | 7568 | 6136 | 14241 0 | 3 | 1 125.56/125.66 c 64.2s | 8 | 7924 | 6436 | 14241 0 | 3 | 1 128.55/128.63 c 67.1s | 8 | 8272 | 6736 | 14241 0 | 3 | 1 131.35/131.43 c 69.9s | 8 | 8608 | 7036 | 14241 0 | 3 | 1 133.45/133.58 c 72.1s | 8 | 8835 | 7236 | 14241 0 | 3 | 1 135.75/135.84 c 74.4s | 9 | 9136 | 7506 | 14241 0 | 3 | 1 138.55/138.62 c 77.1s | 9 | 9558 | 7806 | 14241 0 | 3 | 1 141.15/141.26 c 79.8s | 9 | 9915 | 8106 | 14241 0 | 3 | 1 143.55/143.68 c 82.2s | 9 | 10236 | 8406 | 14241 0 | 3 | 1 145.65/145.77 c 84.3s | 9 | 10484 | 8606 | 14241 0 | 3 | 1 148.05/148.14 c 86.7s | 9 | 10837 | 8906 | 14241 0 | 3 | 1 150.35/150.45 c 89.0s | 9 | 11155 | 9206 | 14241 0 | 3 | 1 152.95/153.08 c 91.6s | 9 | 11519 | 9506 | 14241 0 | 3 | 1 155.45/155.55 c 94.1s | 9 | 11870 | 9806 | 14241 0 | 3 | 1 158.35/158.41 c 96.9s | 9 | 12219 | 10106 | 14241 1 | 3 | 1 161.05/161.14 c 99.7s | 9 | 12589 | 10406 | 14241 1 | 3 | 1 163.55/163.68 c 102s | 9 | 12977 | 10706 | 14241 1 | 3 | 1 165.75/165.88 c 104s | 9 | 13317 | 11006 | 14241 1 | 3 | 1 167.85/167.99 c 106s | 9 | 13664 | 11306 | 15666 1 | 3 | 1 168.45/168.53 c 107s | 10 | 13735 | 11361 | 15666 1 | 3 | 1 170.65/170.75 c 109s | 10 | 14017 | 11561 | 15666 1 | 3 | 1 173.54/173.61 c 112s | 10 | 14352 | 11861 | 15666 1 | 3 | 1 175.95/176.09 c 114s | 10 | 14594 | 12061 | 15666 1 | 3 | 1 178.04/178.15 c 116s | 10 | 14836 | 12261 | 15666 1 | 3 | 1 180.04/180.15 c 118s | 10 | 15047 | 12461 | 15666 1 | 3 | 1 183.04/183.17 c 121s | 10 | 15392 | 12761 | 15666 1 | 3 | 1 185.24/185.30 c 123s | 10 | 15613 | 12961 | 15666 1 | 3 | 1 187.54/187.61 c 126s | 10 | 15842 | 13161 | 15666 1 | 3 | 1 190.54/190.60 c 129s | 10 | 16196 | 13461 | 15666 1 | 3 | 1 192.94/193.09 c 131s | 10 | 16427 | 13661 | 15666 1 | 3 | 1 195.24/195.30 c 133s | 10 | 16651 | 13861 | 15666 1 | 3 | 1 197.74/197.87 c 136s | 10 | 16985 | 14161 | 15666 1 | 3 | 1 200.04/200.10 c 138s | 10 | 17211 | 14361 | 15666 1 | 3 | 1 202.04/202.18 c 140s | 10 | 17443 | 14561 | 15666 1 | 3 | 1 204.65/204.75 c 143s | 10 | 17658 | 14761 | 15666 1 | 3 | 1 206.64/206.77 c 145s | 10 | 17912 | 14961 | 15666 1 | 3 | 1 209.15/209.29 c 147s | 10 | 18232 | 15261 | 15666 1 | 3 | 1 211.74/211.88 c 150s | 10 | 18587 | 15561 | 15666 1 | 3 | 1 214.44/214.54 c 153s | 10 | 18939 | 15861 | 15666 1 | 3 | 1 217.54/217.62 c 156s | 10 | 19263 | 16161 | 15666 1 | 3 | 1 219.54/219.66 c 158s | 10 | 19502 | 16361 | 15666 1 | 3 | 1 222.54/222.68 c 161s | 10 | 19865 | 16661 | 15666 1 | 3 | 1 225.34/225.46 c 163s | 10 | 20193 | 16961 | 15666 1 | 3 | 1 227.14/227.29 c 165s | 11 | 20398 | 17144 | 15666 1 | 3 | 1 229.24/229.33 c 167s | 11 | 20678 | 17344 | 15666 1 | 3 | 1 231.54/231.69 c 170s | 11 | 20923 | 17544 | 15666 1 | 3 | 1 234.14/234.25 c 172s | 11 | 21267 | 17844 | 15666 1 | 3 | 1 236.24/236.31 c 174s | 11 | 21555 | 18044 | 15666 1 | 3 | 1 238.23/238.35 c 176s | 11 | 21778 | 18244 | 15666 1 | 3 | 1 240.73/240.81 c 179s | 11 | 22027 | 18444 | 15666 1 | 3 | 1 243.34/243.40 c 181s | 11 | 22311 | 18644 | 15666 1 | 3 | 1 245.53/245.66 c 184s | 11 | 22565 | 18844 | 15666 1 | 3 | 1 248.23/248.34 c 186s | 11 | 22798 | 19044 | 15666 1 | 3 | 1 250.43/250.59 c 189s | 11 | 23043 | 19244 | 15666 1 | 3 | 1 253.33/253.40 c 191s | 11 | 23392 | 19544 | 15666 1 | 3 | 1 255.43/255.56 c 194s | 11 | 23616 | 19744 | 15666 1 | 3 | 1 257.54/257.68 c 196s | 11 | 23847 | 19944 | 17233 1 | 3 | 1 259.53/259.69 c 198s | 11 | 24084 | 20144 | 17233 1 | 3 | 1 262.83/262.98 c 201s | 11 | 24418 | 20444 | 17233 1 | 3 | 1 265.53/265.61 c 204s | 11 | 24626 | 20644 | 17233 1 | 3 | 1 268.33/268.41 c 206s | 11 | 24846 | 20844 | 17233 1 | 3 | 1 270.64/270.76 c 209s | 11 | 25078 | 21044 | 17233 1 | 3 | 1 273.23/273.37 c 211s | 11 | 25301 | 21244 | 17233 1 | 3 | 1 275.53/275.67 c 214s | 11 | 25537 | 21444 | 17233 1 | 3 | 1 278.23/278.33 c 216s | 11 | 25766 | 21644 | 17233 2 | 3 | 1 280.43/280.56 c 219s | 11 | 25992 | 21844 | 17233 2 | 3 | 1 282.73/282.88 c 221s | 11 | 26208 | 22044 | 17233 2 | 3 | 1 284.93/285.04 c 223s | 11 | 26427 | 22244 | 17233 2 | 3 | 1 287.43/287.51 c 226s | 11 | 26654 | 22444 | 17233 2 | 3 | 1 290.23/290.30 c 228s | 11 | 26873 | 22644 | 17233 2 | 3 | 1 292.83/292.95 c 231s | 11 | 27095 | 22844 | 17233 2 | 3 | 1 295.03/295.10 c 233s | 11 | 27314 | 23044 | 17233 2 | 3 | 1 297.33/297.43 c 235s | 11 | 27554 | 23244 | 17233 2 | 3 | 1 299.73/299.87 c 238s | 11 | 27776 | 23444 | 17233 2 | 3 | 1 301.83/301.91 c 240s | 11 | 28031 | 23644 | 17233 2 | 3 | 1 304.03/304.18 c 242s | 11 | 28253 | 23844 | 17233 2 | 3 | 1 306.23/306.39 c 244s | 11 | 28489 | 24044 | 17233 2 | 3 | 1 308.53/308.66 c 247s | 11 | 28708 | 24244 | 17233 2 | 3 | 1 310.73/310.88 c 249s | 11 | 28933 | 24444 | 17233 2 | 3 | 1 312.93/313.02 c 251s | 11 | 29163 | 24644 | 17233 2 | 3 | 1 315.53/315.61 c 254s | 11 | 29387 | 24844 | 17233 2 | 3 | 1 317.94/318.06 c 256s | 11 | 29614 | 25044 | 17233 2 | 3 | 1 320.43/320.53 c 259s | 11 | 29838 | 25244 | 17233 2 | 3 | 1 323.03/323.10 c 261s | 11 | 30081 | 25444 | 17233 2 | 3 | 1 325.83/325.90 c 264s | 11 | 30302 | 25644 | 17233 2 | 3 | 1 327.94/328.06 c 266s | 12 | 30498 | 25819 | 17233 2 | 3 | 1 330.23/330.38 c 268s | 12 | 30777 | 26019 | 17233 2 | 3 | 1 332.34/332.44 c 270s | 12 | 30998 | 26219 | 17233 2 | 3 | 1 335.03/335.14 c 273s | 12 | 31338 | 26519 | 17233 2 | 3 | 1 337.73/337.83 c 276s | 12 | 31689 | 26819 | 17233 2 | 3 | 1 339.73/339.88 c 278s | 12 | 31914 | 27019 | 17233 2 | 3 | 1 342.13/342.21 c 280s | 12 | 32159 | 27219 | 17233 2 | 3 | 1 344.33/344.47 c 282s | 12 | 32371 | 27419 | 17233 2 | 3 | 1 347.33/347.41 c 285s | 12 | 32709 | 27719 | 17233 2 | 3 | 1 349.43/349.57 c 288s | 12 | 32922 | 27919 | 17233 2 | 3 | 1 351.63/351.72 c 290s | 12 | 33157 | 28119 | 17233 2 | 3 | 1 353.63/353.75 c 292s | 12 | 33392 | 28319 | 17233 2 | 3 | 1 356.63/356.74 c 295s | 12 | 33731 | 28619 | 17233 2 | 3 | 1 358.82/358.93 c 297s | 12 | 33970 | 28819 | 17233 2 | 3 | 1 360.83/360.94 c 299s | 12 | 34198 | 29019 | 17233 2 | 3 | 1 362.82/362.98 c 301s | 12 | 34408 | 29219 | 17233 2 | 3 | 1 365.82/366.00 c 304s | 12 | 34746 | 29519 | 17233 2 | 3 | 1 368.53/368.62 c 307s | 12 | 34967 | 29719 | 17233 2 | 3 | 1 370.92/371.09 c 309s | 12 | 35197 | 29919 | 17233 2 | 3 | 1 373.42/373.59 c 312s | 12 | 35411 | 30119 | 17233 2 | 3 | 1 375.82/375.95 c 314s | 12 | 35650 | 30319 | 17233 3 | 3 | 1 377.92/378.08 c 316s | 12 | 35860 | 30519 | 17233 3 | 3 | 1 380.12/380.25 c 318s | 12 | 36076 | 30719 | 17233 3 | 3 | 1 383.12/383.21 c 321s | 12 | 36419 | 31019 | 17233 3 | 3 | 1 385.62/385.71 c 324s | 12 | 36765 | 31319 | 17233 3 | 3 | 1 388.52/388.65 c 327s | 12 | 37125 | 31619 | 17233 3 | 3 | 1 391.12/391.25 c 329s | 12 | 37474 | 31919 | 17233 3 | 3 | 1 393.92/394.05 c 332s | 12 | 37797 | 32219 | 17233 3 | 3 | 1 396.12/396.24 c 334s | 12 | 38025 | 32419 | 17233 3 | 3 | 1 398.12/398.24 c 336s | 12 | 38256 | 32619 | 17233 3 | 3 | 1 400.32/400.43 c 338s | 12 | 38510 | 32819 | 18957 3 | 3 | 1 403.02/403.13 c 341s | 12 | 38854 | 33119 | 18957 3 | 3 | 1 405.82/405.97 c 344s | 12 | 39200 | 33419 | 18957 3 | 3 | 1 408.61/408.71 c 347s | 12 | 39539 | 33719 | 18957 3 | 3 | 1 410.62/410.72 c 349s | 12 | 39761 | 33919 | 18957 3 | 3 | 1 413.51/413.66 c 352s | 12 | 40079 | 34219 | 18957 3 | 3 | 1 416.41/416.50 c 355s | 12 | 40402 | 34519 | 18957 3 | 3 | 1 419.01/419.13 c 357s | 12 | 40738 | 34819 | 18957 3 | 3 | 1 421.61/421.73 c 360s | 12 | 41067 | 35119 | 18957 3 | 3 | 1 423.71/423.84 c 362s | 12 | 41288 | 35319 | 18957 3 | 3 | 1 426.61/426.71 c 365s | 12 | 41611 | 35619 | 18957 3 | 3 | 1 429.51/429.65 c 368s | 12 | 41933 | 35919 | 18957 3 | 3 | 1 432.42/432.58 c 371s | 12 | 42248 | 36219 | 18957 3 | 3 | 1 435.31/435.46 c 373s | 12 | 42564 | 36519 | 18957 3 | 3 | 1 438.31/438.47 c 376s | 12 | 42896 | 36819 | 18957 3 | 3 | 1 440.51/440.64 c 379s | 12 | 43115 | 37019 | 18957 3 | 3 | 1 442.51/442.68 c 381s | 12 | 43336 | 37219 | 18957 3 | 3 | 1 444.91/445.08 c 383s | 12 | 43595 | 37419 | 18957 3 | 3 | 1 447.01/447.17 c 385s | 12 | 43803 | 37619 | 18957 3 | 3 | 1 449.21/449.36 c 387s | 12 | 44022 | 37819 | 18957 3 | 3 | 1 452.11/452.26 c 390s | 12 | 44336 | 38119 | 18957 3 | 3 | 1 455.00/455.19 c 393s | 12 | 44667 | 38419 | 18957 3 | 3 | 1 457.10/457.21 c 395s | 12 | 44890 | 38619 | 18957 3 | 3 | 1 459.30/459.45 c 397s | 12 | 45108 | 38819 | 18957 3 | 3 | 1 459.50/459.61 c 398s | 13 | 45120 | 38832 | 18957 3 | 3 | 1 461.50/461.62 c 400s | 13 | 45395 | 39032 | 18957 3 | 3 | 1 464.50/464.62 c 403s | 13 | 45724 | 39332 | 18957 3 | 3 | 1 467.20/467.34 c 405s | 13 | 46055 | 39632 | 18957 3 | 3 | 1 469.71/469.88 c 408s | 13 | 46396 | 39932 | 18957 3 | 3 | 1 472.60/472.72 c 411s | 13 | 46736 | 40232 | 18957 3 | 3 | 1 475.50/475.60 c 414s | 13 | 47070 | 40532 | 18957 3 | 3 | 1 477.51/477.66 c 416s | 13 | 47282 | 40732 | 18957 3 | 3 | 1 479.71/479.82 c 418s | 13 | 47505 | 40932 | 18957 3 | 3 | 1 482.60/482.70 c 421s | 13 | 47717 | 41132 | 18957 3 | 3 | 1 485.21/485.35 c 423s | 13 | 47946 | 41332 | 18957 3 | 3 | 1 488.00/488.19 c 426s | 13 | 48190 | 41532 | 18957 4 | 3 | 1 490.20/490.33 c 428s | 13 | 48405 | 41732 | 18957 4 | 3 | 1 492.81/492.98 c 431s | 13 | 48636 | 41932 | 18957 4 | 3 | 1 495.40/495.51 c 434s | 13 | 48844 | 42132 | 18957 4 | 3 | 1 498.10/498.27 c 436s | 13 | 49071 | 42332 | 18957 4 | 3 | 1 501.00/501.15 c 439s | 13 | 49302 | 42532 | 18957 4 | 3 | 1 503.40/503.54 c 442s | 13 | 49532 | 42732 | 18957 4 | 3 | 1 505.80/505.93 c 444s | 13 | 49764 | 42932 | 18957 4 | 3 | 1 508.31/508.44 c 446s | 13 | 49983 | 43132 | 18957 4 | 3 | 1 510.60/510.73 c 449s | 13 | 50217 | 43332 | 18957 4 | 3 | 1 513.10/513.23 c 451s | 13 | 50440 | 43532 | 18957 4 | 3 | 1 515.70/515.84 c 454s | 13 | 50658 | 43732 | 18957 4 | 3 | 1 518.30/518.44 c 456s | 13 | 50876 | 43932 | 18957 4 | 3 | 1 520.90/521.02 c 459s | 13 | 51125 | 44132 | 18957 4 | 3 | 1 523.40/523.58 c 462s | 13 | 51350 | 44332 | 18957 4 | 3 | 1 525.90/526.07 c 464s | 13 | 51574 | 44532 | 18957 4 | 3 | 1 528.50/528.60 c 467s | 13 | 51820 | 44732 | 18957 4 | 3 | 1 531.00/531.19 c 469s | 13 | 52054 | 44932 | 18957 4 | 3 | 1 533.50/533.67 c 472s | 13 | 52281 | 45132 | 18957 4 | 3 | 1 536.09/536.24 c 474s | 13 | 52507 | 45332 | 18957 4 | 3 | 1 538.19/538.39 c 476s | 13 | 52750 | 45532 | 18957 4 | 3 | 1 540.69/540.84 c 479s | 13 | 52970 | 45732 | 18957 4 | 3 | 1 543.19/543.39 c 481s | 13 | 53197 | 45932 | 18957 4 | 3 | 1 545.89/546.08 c 484s | 13 | 53419 | 46132 | 18957 4 | 3 | 1 548.69/548.81 c 487s | 13 | 53648 | 46332 | 18957 4 | 3 | 1 550.89/551.09 c 489s | 13 | 53860 | 46532 | 18957 4 | 3 | 1 553.99/554.12 c 492s | 13 | 54086 | 46732 | 18957 4 | 3 | 1 556.60/556.74 c 495s | 13 | 54301 | 46932 | 18957 4 | 3 | 1 559.59/559.76 c 498s | 13 | 54539 | 47132 | 18957 4 | 3 | 1 562.39/562.57 c 501s | 13 | 54786 | 47332 | 18957 4 | 3 | 1 564.69/564.87 c 503s | 13 | 55013 | 47532 | 18957 4 | 3 | 1 567.39/567.50 c 506s | 13 | 55231 | 47732 | 18957 4 | 3 | 1 569.99/570.11 c 508s | 13 | 55445 | 47932 | 18957 4 | 3 | 1 573.20/573.31 c 511s | 13 | 55667 | 48132 | 18957 4 | 3 | 1 575.59/575.74 c 514s | 13 | 55879 | 48332 | 18957 4 | 3 | 1 578.39/578.50 c 517s | 13 | 56098 | 48532 | 18957 4 | 3 | 1 581.39/581.53 c 520s | 13 | 56323 | 48732 | 18957 4 | 3 | 1 583.39/583.57 c 522s | 13 | 56547 | 48932 | 18957 4 | 3 | 1 585.39/585.58 c 524s | 13 | 56762 | 49132 | 18957 4 | 3 | 1 588.08/588.24 c 526s | 13 | 56989 | 49332 | 18957 4 | 3 | 1 590.69/590.86 c 529s | 13 | 57216 | 49532 | 18957 4 | 3 | 1 593.58/593.77 c 532s | 13 | 57446 | 49732 | 18957 4 | 3 | 1 596.78/596.96 c 535s | 13 | 57671 | 49932 | 18957 4 | 3 | 1 599.38/599.52 c 538s | 13 | 57914 | 50132 | 18957 4 | 3 | 1 602.28/602.42 c 540s | 13 | 58123 | 50332 | 18957 4 | 3 | 1 604.88/605.03 c 543s | 13 | 58349 | 50532 | 18957 4 | 3 | 1 608.08/608.29 c 546s | 13 | 58566 | 50732 | 18957 4 | 3 | 1 611.18/611.30 c 549s | 13 | 58779 | 50932 | 18957 4 | 3 | 1 613.98/614.14 c 552s | 13 | 59004 | 51132 | 18957 4 | 3 | 1 616.68/616.87 c 555s | 13 | 59209 | 51332 | 18957 4 | 3 | 1 619.77/619.93 c 558s | 13 | 59418 | 51532 | 18957 5 | 3 | 1 621.87/622.03 c 560s | 13 | 59543 | 51632 | 18957 5 | 3 | 1 624.47/624.65 c 563s | 13 | 59772 | 51832 | 18957 5 | 3 | 1 627.67/627.84 c 566s | 13 | 59997 | 52032 | 18957 5 | 3 | 1 630.38/630.59 c 569s | 13 | 60216 | 52232 | 20853 5 | 3 | 1 632.67/632.87 c 571s | 13 | 60421 | 52432 | 20853 5 | 3 | 1 635.37/635.57 c 574s | 13 | 60635 | 52632 | 20853 5 | 3 | 1 638.08/638.28 c 576s | 13 | 60874 | 52832 | 20853 5 | 3 | 1 640.46/640.69 c 579s | 13 | 61105 | 53032 | 20853 5 | 3 | 1 643.06/643.27 c 581s | 13 | 61325 | 53232 | 20853 5 | 3 | 1 645.36/645.51 c 584s | 13 | 61559 | 53432 | 20853 5 | 3 | 1 647.87/648.06 c 586s | 13 | 61769 | 53632 | 20853 5 | 3 | 1 649.96/650.17 c 588s | 13 | 61980 | 53832 | 20853 5 | 3 | 1 652.06/652.25 c 590s | 13 | 62244 | 54032 | 20853 5 | 3 | 1 654.16/654.31 c 592s | 13 | 62466 | 54232 | 20853 5 | 3 | 1 656.46/656.69 c 595s | 13 | 62680 | 54432 | 20853 5 | 3 | 1 658.76/658.93 c 597s | 13 | 62895 | 54632 | 20853 5 | 3 | 1 661.16/661.37 c 599s | 13 | 63119 | 54832 | 20853 5 | 3 | 1 664.05/664.28 c 602s | 13 | 63467 | 55132 | 20853 5 | 3 | 1 666.25/666.44 c 604s | 13 | 63683 | 55332 | 20853 5 | 3 | 1 668.65/668.90 c 607s | 13 | 63906 | 55532 | 20853 5 | 3 | 1 670.85/671.07 c 609s | 13 | 64133 | 55732 | 20853 5 | 3 | 1 673.34/673.54 c 612s | 13 | 64353 | 55932 | 20853 5 | 3 | 1 675.35/675.57 c 614s | 13 | 64601 | 56132 | 20853 5 | 3 | 1 677.44/677.70 c 616s | 13 | 64842 | 56332 | 20853 5 | 3 | 1 679.64/679.84 c 618s | 13 | 65075 | 56532 | 20853 5 | 3 | 1 682.34/682.58 c 621s | 13 | 65300 | 56732 | 20853 5 | 3 | 1 684.94/685.10 c 623s | 13 | 65515 | 56932 | 20853 5 | 3 | 1 687.24/687.42 c 625s | 13 | 65722 | 57132 | 20853 5 | 3 | 1 689.75/689.95 c 628s | 13 | 65944 | 57332 | 20853 5 | 3 | 1 692.13/692.38 c 630s | 13 | 66168 | 57532 | 20853 5 | 3 | 1 694.24/694.46 c 632s | 13 | 66386 | 57732 | 20853 5 | 3 | 1 697.13/697.31 c 635s | 13 | 66746 | 58032 | 20853 5 | 3 | 1 699.83/700.07 c 638s | 13 | 67085 | 58332 | 20853 5 | 3 | 1 700.03/700.26 c 638s | 14 | 67108 | 58352 | 20853 5 | 3 | 1 702.73/702.97 c 641s | 14 | 67490 | 58652 | 20853 5 | 3 | 1 705.03/705.23 c 643s | 14 | 67849 | 58952 | 20853 5 | 3 | 1 707.23/707.45 c 645s | 14 | 68230 | 59252 | 20853 5 | 3 | 1 709.23/709.50 c 648s | 14 | 68472 | 59452 | 20853 5 | 3 | 1 711.42/711.67 c 650s | 14 | 68706 | 59652 | 20853 5 | 3 | 1 713.62/713.81 c 652s | 14 | 68955 | 59852 | 20853 5 | 3 | 1 716.03/716.23 c 654s | 14 | 69306 | 60152 | 20853 5 | 3 | 1 718.92/719.13 c 657s | 14 | 69656 | 60452 | 20853 5 | 3 | 1 721.53/721.73 c 660s | 14 | 70055 | 60752 | 20853 5 | 3 | 1 724.52/724.71 c 663s | 14 | 70379 | 61052 | 20853 5 | 3 | 1 727.42/727.64 c 666s | 14 | 70724 | 61352 | 20853 5 | 3 | 1 729.52/729.72 c 668s | 14 | 70946 | 61552 | 20853 5 | 3 | 1 732.32/732.52 c 671s | 14 | 71285 | 61852 | 20853 5 | 3 | 1 734.32/734.55 c 673s | 14 | 71522 | 62052 | 20853 5 | 3 | 1 736.72/736.91 c 675s | 14 | 71740 | 62252 | 20853 5 | 3 | 1 739.82/740.01 c 678s | 14 | 72098 | 62552 | 20853 5 | 3 | 1 742.53/742.78 c 681s | 14 | 72460 | 62852 | 20853 5 | 3 | 1 745.22/745.46 c 683s | 14 | 72845 | 63152 | 20853 5 | 3 | 1 747.22/747.48 c 686s | 14 | 73068 | 63352 | 20853 5 | 3 | 1 749.62/749.83 c 688s | 14 | 73312 | 63552 | 20853 6 | 3 | 1 752.22/752.48 c 690s | 14 | 73630 | 63852 | 20853 6 | 3 | 1 755.82/756.00 c 694s | 14 | 73979 | 64152 | 20853 6 | 3 | 1 758.32/758.58 c 697s | 14 | 74334 | 64452 | 20853 6 | 3 | 1 760.81/761.08 c 699s | 14 | 74673 | 64752 | 20853 6 | 3 | 1 763.61/763.86 c 702s | 14 | 75005 | 65052 | 20853 6 | 3 | 1 765.62/765.87 c 704s | 14 | 75233 | 65252 | 20853 6 | 3 | 1 768.31/768.58 c 707s | 14 | 75574 | 65552 | 20853 6 | 3 | 1 770.71/770.97 c 709s | 14 | 75906 | 65852 | 20853 6 | 3 | 1 773.31/773.56 c 712s | 14 | 76232 | 66152 | 20853 6 | 3 | 1 776.01/776.27 c 714s | 14 | 76583 | 66452 | 20853 6 | 3 | 1 778.71/778.91 c 717s | 14 | 76920 | 66752 | 20853 6 | 3 | 1 781.60/781.82 c 720s | 14 | 77258 | 67052 | 20853 6 | 3 | 1 784.50/784.76 c 723s | 14 | 77580 | 67352 | 20853 6 | 3 | 1 787.40/787.63 c 726s | 14 | 77925 | 67652 | 20853 6 | 3 | 1 790.40/790.62 c 729s | 14 | 78259 | 67952 | 20853 6 | 3 | 1 793.40/793.66 c 732s | 14 | 78610 | 68252 | 20853 6 | 3 | 1 795.70/795.91 c 734s | 14 | 78937 | 68552 | 20853 6 | 3 | 1 797.90/798.18 c 736s | 14 | 79278 | 68852 | 20853 6 | 3 | 1 800.59/800.82 c 739s | 14 | 79610 | 69152 | 20853 6 | 3 | 1 802.59/802.83 c 741s | 14 | 79836 | 69352 | 20853 6 | 3 | 1 804.59/804.86 c 743s | 14 | 80039 | 69552 | 20853 6 | 3 | 1 806.99/807.21 c 745s | 14 | 80259 | 69752 | 20853 6 | 3 | 1 809.79/810.00 c 748s | 14 | 80583 | 70052 | 20853 6 | 3 | 1 812.48/812.76 c 751s | 14 | 80924 | 70352 | 20853 6 | 3 | 1 815.48/815.75 c 754s | 14 | 81265 | 70652 | 20853 6 | 3 | 1 818.29/818.54 c 757s | 14 | 81610 | 70952 | 20853 6 | 3 | 1 820.49/820.80 c 759s | 14 | 81827 | 71152 | 20853 6 | 3 | 1 822.68/822.96 c 761s | 14 | 82041 | 71352 | 20853 6 | 3 | 1 824.78/825.04 c 763s | 14 | 82256 | 71552 | 20853 6 | 3 | 1 827.48/827.75 c 766s | 14 | 82583 | 71852 | 20853 6 | 3 | 1 830.08/830.37 c 768s | 14 | 82923 | 72152 | 20853 6 | 3 | 1 832.87/833.13 c 771s | 14 | 83258 | 72452 | 20853 6 | 3 | 1 835.57/835.88 c 774s | 14 | 83614 | 72752 | 20853 6 | 3 | 1 838.37/838.62 c 777s | 14 | 83945 | 73052 | 20853 6 | 3 | 1 840.97/841.20 c 779s | 14 | 84308 | 73352 | 20853 6 | 3 | 1 842.97/843.20 c 781s | 14 | 84541 | 73552 | 20853 6 | 3 | 1 845.87/846.11 c 784s | 14 | 84881 | 73852 | 20853 6 | 3 | 1 848.17/848.45 c 786s | 14 | 85141 | 74052 | 20853 7 | 3 | 1 850.28/850.51 c 789s | 14 | 85369 | 74252 | 20853 7 | 3 | 1 852.97/853.20 c 791s | 14 | 85699 | 74552 | 20853 7 | 3 | 1 855.77/856.05 c 794s | 14 | 86022 | 74852 | 20853 7 | 3 | 1 857.87/858.17 c 796s | 14 | 86245 | 75052 | 20853 7 | 3 | 1 860.57/860.86 c 799s | 14 | 86573 | 75352 | 20853 7 | 3 | 1 862.57/862.88 c 801s | 14 | 86795 | 75552 | 20853 7 | 3 | 1 864.67/864.97 c 803s | 14 | 87007 | 75752 | 20853 7 | 3 | 1 866.77/867.01 c 805s | 14 | 87224 | 75952 | 20853 7 | 3 | 1 869.37/869.66 c 808s | 14 | 87578 | 76252 | 20853 7 | 3 | 1 872.17/872.42 c 810s | 14 | 87904 | 76552 | 20853 7 | 3 | 1 874.66/874.93 c 813s | 14 | 88217 | 76852 | 20853 7 | 3 | 1 877.06/877.37 c 815s | 14 | 88560 | 77152 | 20853 7 | 3 | 1 879.56/879.84 c 818s | 14 | 88877 | 77452 | 20853 7 | 3 | 1 882.17/882.47 c 820s | 14 | 89218 | 77752 | 20853 7 | 3 | 1 885.16/885.40 c 823s | 14 | 89541 | 78052 | 20853 7 | 3 | 1 887.86/888.17 c 826s | 14 | 89856 | 78352 | 20853 7 | 3 | 1 890.36/890.65 c 829s | 14 | 90194 | 78652 | 20853 7 | 3 | 1 893.07/893.35 c 831s | 14 | 90542 | 78952 | 20853 7 | 3 | 1 895.27/895.51 c 834s | 14 | 90758 | 79152 | 20853 7 | 3 | 1 897.36/897.62 c 836s | 14 | 90985 | 79352 | 20853 7 | 3 | 1 900.16/900.43 c 838s | 14 | 91327 | 79652 | 20853 7 | 3 | 1 903.06/903.34 c 841s | 14 | 91680 | 79952 | 20853 7 | 3 | 1 905.06/905.36 c 843s | 14 | 91900 | 80152 | 20853 7 | 3 | 1 907.86/908.18 c 846s | 14 | 92240 | 80452 | 20853 7 | 3 | 1 910.76/911.06 c 849s | 14 | 92562 | 80752 | 20853 7 | 3 | 1 913.46/913.72 c 852s | 14 | 92894 | 81052 | 20853 7 | 3 | 1 915.86/916.17 c 854s | 14 | 93238 | 81352 | 22939 7 | 3 | 1 918.96/919.22 c 857s | 14 | 93585 | 81652 | 22939 7 | 3 | 1 921.45/921.71 c 860s | 14 | 93932 | 81952 | 22939 7 | 3 | 1 923.86/924.19 c 862s | 14 | 94276 | 82252 | 22939 7 | 3 | 1 926.55/926.85 c 865s | 14 | 94626 | 82552 | 22939 7 | 3 | 1 929.55/929.85 c 868s | 14 | 94958 | 82852 | 22939 7 | 3 | 1 931.85/932.16 c 870s | 14 | 95183 | 83052 | 22939 7 | 3 | 1 934.05/934.37 c 872s | 14 | 95407 | 83252 | 22939 7 | 3 | 1 937.06/937.33 c 875s | 14 | 95742 | 83552 | 22939 7 | 3 | 1 939.55/939.88 c 878s | 14 | 96082 | 83852 | 22939 7 | 3 | 1 942.15/942.41 c 880s | 14 | 96423 | 84152 | 22939 7 | 3 | 1 944.45/944.73 c 883s | 14 | 96749 | 84452 | 22939 7 | 3 | 1 946.65/946.97 c 885s | 14 | 96975 | 84652 | 22939 7 | 3 | 1 948.95/949.21 c 887s | 14 | 97188 | 84852 | 22939 7 | 3 | 1 951.05/951.37 c 889s | 14 | 97428 | 85052 | 22939 7 | 3 | 1 953.45/953.73 c 892s | 14 | 97660 | 85252 | 22939 7 | 3 | 1 955.64/955.94 c 894s | 14 | 97890 | 85452 | 22939 7 | 3 | 1 957.95/958.27 c 896s | 14 | 98243 | 85752 | 22939 7 | 3 | 1 960.04/960.40 c 898s | 14 | 98459 | 85952 | 22939 7 | 3 | 1 962.14/962.41 c 900s | 14 | 98663 | 86152 | 22939 7 | 3 | 1 965.04/965.36 c 903s | 14 | 98985 | 86452 | 22939 7 | 3 | 1 967.74/968.10 c 906s | 14 | 99322 | 86752 | 22939 7 | 3 | 1 971.04/971.36 c 909s | 14 | 99540 | 86952 | 22939 8 | 3 | 1 973.74/974.06 c 912s | 14 | 99880 | 87252 | 22939 8 | 3 | 1 976.34/976.65 c 915s | 14 | 100215 | 87552 | 22939 8 | 3 | 1 977.24/977.52 c 916s | 15 | 100309 | 87632 | 22939 8 | 3 | 1 979.34/979.60 c 918s | 15 | 100566 | 87832 | 22939 8 | 3 | 1 981.44/981.75 c 920s | 15 | 100786 | 88032 | 22939 8 | 3 | 1 983.54/983.89 c 922s | 15 | 101120 | 88332 | 22939 8 | 3 | 1 985.94/986.29 c 924s | 15 | 101450 | 88632 | 22939 8 | 3 | 1 988.53/988.84 c 927s | 15 | 101763 | 88932 | 22939 8 | 3 | 1 990.53/990.87 c 929s | 15 | 101976 | 89132 | 22939 8 | 3 | 1 992.73/993.05 c 931s | 15 | 102207 | 89332 | 22939 8 | 3 | 1 995.83/996.13 c 934s | 15 | 102545 | 89632 | 22939 8 | 3 | 1 997.83/998.16 c 936s | 15 | 102767 | 89832 | 22939 8 | 3 | 1 999.93/1000.23 c 938s | 15 | 103000 | 90032 | 22939 8 | 3 | 1 1002.04/1002.35 c 940s | 15 | 103239 | 90232 | 22939 8 | 3 | 1 1004.73/1005.03 c 943s | 15 | 103592 | 90532 | 22939 8 | 3 | 1 1007.23/1007.57 c 946s | 15 | 103931 | 90832 | 22939 8 | 3 | 1 1009.93/1010.23 c 948s | 15 | 104281 | 91132 | 22939 8 | 3 | 1 1011.94/1012.27 c 950s | 15 | 104513 | 91332 | 22939 8 | 3 | 1 1014.73/1015.08 c 953s | 15 | 104854 | 91632 | 22939 8 | 3 | 1 1017.33/1017.69 c 956s | 15 | 105190 | 91932 | 22939 8 | 3 | 1 1020.03/1020.32 c 958s | 15 | 105524 | 92232 | 22939 8 | 3 | 1 1022.02/1022.32 c 960s | 15 | 105758 | 92432 | 22939 8 | 3 | 1 1024.03/1024.39 c 962s | 15 | 106075 | 92732 | 22939 8 | 3 | 1 1026.42/1026.72 c 965s | 15 | 106411 | 93032 | 22939 8 | 3 | 1 1028.92/1029.27 c 967s | 15 | 106757 | 93332 | 22939 8 | 3 | 1 1031.72/1032.00 c 970s | 15 | 107104 | 93632 | 22939 8 | 3 | 1 1034.22/1034.54 c 973s | 15 | 107421 | 93932 | 22939 8 | 3 | 1 1036.52/1036.87 c 975s | 15 | 107747 | 94232 | 22939 8 | 3 | 1 1038.62/1038.97 c 977s | 15 | 108081 | 94532 | 22939 8 | 3 | 1 1041.01/1041.35 c 979s | 15 | 108434 | 94832 | 22939 8 | 3 | 1 1043.51/1043.82 c 982s | 15 | 108767 | 95132 | 22939 8 | 3 | 1 1045.92/1046.28 c 984s | 15 | 109120 | 95432 | 22939 8 | 3 | 1 1048.41/1048.75 c 987s | 15 | 109472 | 95732 | 22939 8 | 3 | 1 1051.11/1051.42 c 989s | 15 | 109809 | 96032 | 22939 8 | 3 | 1 1053.11/1053.47 c 991s | 15 | 110033 | 96232 | 22939 8 | 3 | 1 1056.01/1056.31 c 994s | 15 | 110396 | 96532 | 22939 8 | 3 | 1 1058.81/1059.18 c 997s | 15 | 110744 | 96832 | 22939 8 | 3 | 1 1061.60/1061.91 c 1000s | 15 | 111104 | 97132 | 22939 8 | 3 | 1 1063.61/1063.98 c 1002s | 15 | 111337 | 97332 | 22939 8 | 3 | 1 1065.91/1066.29 c 1004s | 15 | 111691 | 97632 | 22939 8 | 3 | 1 1068.01/1068.32 c 1006s | 15 | 112032 | 97932 | 22939 8 | 3 | 1 1070.50/1070.88 c 1009s | 15 | 112467 | 98332 | 22939 8 | 3 | 1 1073.00/1073.34 c 1011s | 15 | 112919 | 98732 | 22939 8 | 3 | 1 1075.20/1075.51 c 1014s | 15 | 113254 | 99032 | 22939 9 | 3 | 1 1078.10/1078.44 c 1016s | 15 | 113604 | 99332 | 22939 9 | 3 | 1 1080.80/1081.17 c 1019s | 15 | 113975 | 99632 | 22939 9 | 3 | 1 1083.70/1084.00 c 1022s | 15 | 114313 | 99932 | 22939 9 | 3 | 1 1086.00/1086.36 c 1024s | 15 | 114651 | 100232 | 22939 9 | 3 | 1 1088.40/1088.75 c 1027s | 15 | 114870 | 100432 | 22939 9 | 3 | 1 1091.30/1091.68 c 1030s | 15 | 115228 | 100732 | 22939 9 | 3 | 1 1094.20/1094.55 c 1033s | 15 | 115563 | 101032 | 22939 9 | 3 | 1 1096.90/1097.28 c 1035s | 15 | 115897 | 101332 | 22939 9 | 3 | 1 1099.29/1099.67 c 1038s | 15 | 116232 | 101632 | 22939 9 | 3 | 1 1101.29/1101.69 c 1040s | 15 | 116457 | 101832 | 22939 9 | 3 | 1 1103.59/1103.93 c 1042s | 15 | 116664 | 102032 | 22939 9 | 3 | 1 1106.19/1106.56 c 1045s | 15 | 117025 | 102332 | 22939 9 | 3 | 1 1108.79/1109.11 c 1047s | 15 | 117377 | 102532 | 22939 9 | 3 | 1 1110.99/1111.33 c 1049s | 15 | 117625 | 102732 | 22939 9 | 3 | 1 1113.79/1114.14 c 1052s | 15 | 117977 | 103032 | 22939 9 | 3 | 1 1116.19/1116.57 c 1055s | 15 | 118214 | 103232 | 22939 9 | 3 | 1 1118.19/1118.59 c 1057s | 15 | 118456 | 103432 | 22939 9 | 3 | 1 1121.29/1121.62 c 1060s | 15 | 118813 | 103732 | 22939 9 | 3 | 1 1123.49/1123.83 c 1062s | 15 | 119053 | 103932 | 22939 9 | 3 | 1 1126.39/1126.78 c 1065s | 15 | 119421 | 104232 | 22939 9 | 3 | 1 1128.39/1128.79 c 1067s | 15 | 119650 | 104432 | 22939 9 | 3 | 1 1131.38/1131.71 c 1070s | 15 | 119981 | 104732 | 22939 9 | 3 | 1 1133.38/1133.75 c 1072s | 15 | 120199 | 104932 | 22939 9 | 3 | 1 1135.38/1135.76 c 1074s | 15 | 120423 | 105132 | 22939 9 | 3 | 1 1137.59/1137.94 c 1076s | 15 | 120653 | 105332 | 22939 9 | 3 | 1 1140.69/1141.03 c 1079s | 15 | 121011 | 105632 | 22939 9 | 3 | 1 1142.99/1143.30 c 1081s | 15 | 121218 | 105832 | 22939 9 | 3 | 1 1146.00/1146.40 c 1084s | 15 | 121548 | 106132 | 22939 9 | 3 | 1 1148.59/1148.95 c 1087s | 15 | 121907 | 106432 | 22939 9 | 3 | 1 1150.79/1151.14 c 1089s | 15 | 122137 | 106632 | 22939 9 | 3 | 1 1152.99/1153.32 c 1091s | 15 | 122405 | 106832 | 22939 9 | 3 | 1 1155.09/1155.40 c 1093s | 15 | 122637 | 107032 | 22939 9 | 3 | 1 1157.19/1157.56 c 1096s | 15 | 122858 | 107232 | 22939 9 | 3 | 1 1159.29/1159.61 c 1098s | 15 | 123088 | 107432 | 22939 9 | 3 | 1 1161.49/1161.86 c 1100s | 15 | 123340 | 107632 | 22939 9 | 3 | 1 1163.69/1164.01 c 1102s | 15 | 123554 | 107832 | 22939 9 | 3 | 1 1165.98/1166.32 c 1104s | 15 | 123777 | 108032 | 22939 9 | 3 | 1 1168.38/1168.77 c 1107s | 15 | 124001 | 108232 | 22939 9 | 3 | 1 1170.78/1171.11 c 1109s | 15 | 124217 | 108432 | 22939 9 | 3 | 1 1173.08/1173.48 c 1112s | 15 | 124433 | 108632 | 22939 9 | 3 | 1 1175.28/1175.68 c 1114s | 15 | 124645 | 108832 | 22939 9 | 3 | 1 1177.68/1178.07 c 1116s | 15 | 124867 | 109032 | 22939 9 | 3 | 1 1179.78/1180.11 c 1118s | 15 | 125078 | 109232 | 22939 9 | 3 | 1 1181.98/1182.31 c 1120s | 15 | 125287 | 109432 | 22939 9 | 3 | 1 1184.18/1184.54 c 1123s | 15 | 125492 | 109632 | 22939 9 | 3 | 1 1186.38/1186.75 c 1125s | 15 | 125727 | 109832 | 22939 9 | 3 | 1 1188.48/1188.84 c 1127s | 15 | 125955 | 110032 | 22939 9 | 3 | 1 1191.18/1191.59 c 1130s | 15 | 126195 | 110232 | 22939 9 | 3 | 1 1193.47/1193.85 c 1132s | 15 | 126430 | 110432 | 22939 9 | 3 | 1 1196.27/1196.66 c 1135s | 15 | 126644 | 110632 | 22939 9 | 3 | 1 1199.17/1199.54 c 1138s | 15 | 126887 | 110832 | 22939 9 | 3 | 1 1201.67/1202.07 c 1140s | 15 | 127148 | 111032 | 22939 9 | 3 | 1 1204.76/1205.11 c 1143s | 15 | 127495 | 111332 | 22939 9 | 3 | 1 1207.16/1207.53 c 1146s | 15 | 127722 | 111532 | 22939 9 | 3 | 1 1209.56/1209.97 c 1148s | 15 | 127945 | 111732 | 22939 9 | 3 | 1 1212.26/1212.68 c 1151s | 15 | 128188 | 111932 | 22939 10 | 3 | 1 1214.56/1214.99 c 1153s | 15 | 128411 | 112132 | 22939 10 | 3 | 1 1217.46/1217.81 c 1156s | 15 | 128774 | 112432 | 22939 10 | 3 | 1 1219.96/1220.33 c 1158s | 15 | 129108 | 112732 | 22939 10 | 3 | 1 1221.96/1222.35 c 1160s | 15 | 129323 | 112932 | 22939 10 | 3 | 1 1224.36/1224.79 c 1163s | 15 | 129686 | 113232 | 22939 10 | 3 | 1 1226.76/1227.12 c 1165s | 15 | 130035 | 113532 | 22939 10 | 3 | 1 1229.36/1229.72 c 1168s | 15 | 130366 | 113832 | 22939 10 | 3 | 1 1231.76/1232.16 c 1170s | 15 | 130702 | 114132 | 22939 10 | 3 | 1 1233.85/1234.20 c 1172s | 15 | 130943 | 114332 | 22939 10 | 3 | 1 1236.85/1237.25 c 1175s | 15 | 131274 | 114632 | 22939 10 | 3 | 1 1238.85/1239.27 c 1177s | 15 | 131491 | 114832 | 22939 10 | 3 | 1 1241.66/1242.08 c 1180s | 15 | 131816 | 115132 | 22939 10 | 3 | 1 1243.85/1244.27 c 1182s | 15 | 132034 | 115332 | 22939 10 | 3 | 1 1246.85/1247.23 c 1185s | 15 | 132362 | 115632 | 22939 10 | 3 | 1 1249.95/1250.32 c 1188s | 15 | 132685 | 115932 | 22939 10 | 3 | 1 1252.25/1252.64 c 1191s | 15 | 132916 | 116132 | 22939 10 | 3 | 1 1254.85/1255.27 c 1193s | 15 | 133168 | 116332 | 22939 10 | 3 | 1 1257.34/1257.72 c 1196s | 15 | 133394 | 116532 | 22939 10 | 3 | 1 1259.54/1259.91 c 1198s | 15 | 133604 | 116732 | 22939 10 | 3 | 1 1261.65/1262.04 c 1200s | 15 | 133826 | 116932 | 22939 10 | 3 | 1 1264.04/1264.45 c 1202s | 15 | 134040 | 117132 | 22939 10 | 3 | 1 1266.14/1266.58 c 1205s | 15 | 134266 | 117332 | 22939 10 | 3 | 1 1269.04/1269.48 c 1208s | 15 | 134604 | 117632 | 22939 10 | 3 | 1 1271.24/1271.64 c 1210s | 15 | 134835 | 117832 | 22939 10 | 3 | 1 1273.44/1273.87 c 1212s | 15 | 135047 | 118032 | 22939 10 | 3 | 1 1275.75/1276.17 c 1214s | 15 | 135287 | 118232 | 22939 10 | 3 | 1 1278.05/1278.45 c 1216s | 15 | 135505 | 118432 | 22939 10 | 3 | 1 1280.54/1280.98 c 1219s | 15 | 135729 | 118632 | 22939 10 | 3 | 1 1282.74/1283.18 c 1221s | 15 | 135974 | 118832 | 22939 10 | 3 | 1 1284.84/1285.21 c 1223s | 15 | 136216 | 119032 | 22939 10 | 3 | 1 1286.94/1287.36 c 1225s | 15 | 136442 | 119232 | 22939 10 | 3 | 1 1289.14/1289.57 c 1228s | 15 | 136655 | 119432 | 22939 10 | 3 | 1 1291.94/1292.38 c 1230s | 15 | 136985 | 119732 | 22939 10 | 3 | 1 1294.94/1295.39 c 1233s | 15 | 137309 | 120032 | 22939 10 | 3 | 1 1297.14/1297.57 c 1236s | 15 | 137529 | 120232 | 22939 10 | 3 | 1 1299.24/1299.61 c 1238s | 15 | 137740 | 120432 | 22939 10 | 3 | 1 1301.44/1301.87 c 1240s | 15 | 137943 | 120632 | 22939 10 | 3 | 1 1303.94/1304.35 c 1242s | 15 | 138161 | 120832 | 22939 10 | 3 | 1 1306.24/1306.67 c 1245s | 15 | 138385 | 121032 | 22939 10 | 3 | 1 1308.44/1308.90 c 1247s | 15 | 138601 | 121232 | 22939 10 | 3 | 1 1310.94/1311.34 c 1249s | 15 | 138831 | 121432 | 22939 10 | 3 | 1 1313.43/1313.83 c 1252s | 15 | 139056 | 121632 | 22939 10 | 3 | 1 1315.93/1316.33 c 1254s | 15 | 139285 | 121832 | 22939 10 | 3 | 1 1318.03/1318.46 c 1256s | 15 | 139529 | 122032 | 22939 10 | 3 | 1 1321.03/1321.45 c 1259s | 15 | 139850 | 122332 | 22939 10 | 3 | 1 1323.63/1324.04 c 1262s | 15 | 140064 | 122532 | 22939 10 | 3 | 1 1326.73/1327.13 c 1265s | 15 | 140411 | 122832 | 22939 10 | 3 | 1 1329.03/1329.41 c 1267s | 15 | 140623 | 123032 | 22939 10 | 3 | 1 1331.03/1331.45 c 1269s | 15 | 140853 | 123232 | 22939 10 | 3 | 1 1333.93/1334.40 c 1272s | 15 | 141065 | 123432 | 22939 10 | 3 | 1 1336.93/1337.34 c 1275s | 15 | 141468 | 123732 | 22939 10 | 3 | 1 1339.23/1339.66 c 1278s | 15 | 141712 | 123932 | 22939 11 | 3 | 1 1341.93/1342.35 c 1280s | 15 | 142046 | 124232 | 22939 11 | 3 | 1 1344.04/1344.48 c 1282s | 15 | 142258 | 124432 | 22939 11 | 3 | 1 1346.93/1347.30 c 1285s | 15 | 142641 | 124732 | 22939 11 | 3 | 1 1349.13/1349.55 c 1288s | 15 | 142867 | 124932 | 25233 11 | 3 | 1 1351.33/1351.79 c 1290s | 15 | 143107 | 125132 | 25233 11 | 3 | 1 1354.33/1354.72 c 1293s | 15 | 143429 | 125432 | 25233 11 | 3 | 1 1356.43/1356.83 c 1295s | 15 | 143638 | 125632 | 25233 11 | 3 | 1 1358.72/1359.19 c 1297s | 15 | 143860 | 125832 | 25233 11 | 3 | 1 1361.53/1361.91 c 1300s | 15 | 144209 | 126132 | 25233 11 | 3 | 1 1363.62/1364.06 c 1302s | 15 | 144421 | 126332 | 25233 11 | 3 | 1 1366.52/1366.93 c 1305s | 15 | 144761 | 126632 | 25233 11 | 3 | 1 1369.12/1369.59 c 1308s | 15 | 145081 | 126932 | 25233 11 | 3 | 1 1371.43/1371.86 c 1310s | 15 | 145305 | 127132 | 25233 11 | 3 | 1 1373.52/1373.95 c 1312s | 15 | 145516 | 127332 | 25233 11 | 3 | 1 1376.02/1376.43 c 1314s | 15 | 145730 | 127532 | 25233 11 | 3 | 1 1378.42/1378.81 c 1317s | 15 | 145943 | 127732 | 25233 11 | 3 | 1 1380.52/1380.95 c 1319s | 15 | 146171 | 127932 | 25233 11 | 3 | 1 1382.92/1383.30 c 1321s | 15 | 146376 | 128132 | 25233 11 | 3 | 1 1385.42/1385.83 c 1324s | 15 | 146597 | 128332 | 25233 11 | 3 | 1 1388.52/1388.97 c 1327s | 15 | 146923 | 128632 | 25233 11 | 3 | 1 1390.62/1391.01 c 1329s | 15 | 147146 | 128832 | 25233 11 | 3 | 1 1392.92/1393.36 c 1331s | 15 | 147366 | 129032 | 25233 11 | 3 | 1 1395.32/1395.73 c 1334s | 15 | 147596 | 129232 | 25233 11 | 3 | 1 1397.52/1397.98 c 1336s | 15 | 147811 | 129432 | 25233 11 | 3 | 1 1400.52/1400.91 c 1339s | 15 | 148136 | 129732 | 25233 11 | 3 | 1 1402.92/1403.32 c 1341s | 15 | 148345 | 129932 | 25233 11 | 3 | 1 1405.52/1405.95 c 1344s | 15 | 148566 | 130132 | 25233 11 | 3 | 1 1408.51/1408.95 c 1347s | 15 | 148788 | 130332 | 25233 11 | 3 | 1 1410.71/1411.10 c 1349s | 15 | 149004 | 130532 | 25233 11 | 3 | 1 1413.01/1413.43 c 1351s | 15 | 149225 | 130732 | 25233 11 | 3 | 1 1415.61/1416.02 c 1354s | 15 | 149446 | 130932 | 25233 11 | 3 | 1 1418.11/1418.59 c 1357s | 15 | 149670 | 131132 | 25233 11 | 3 | 1 1420.71/1421.12 c 1359s | 15 | 149881 | 131332 | 25233 11 | 3 | 1 1423.22/1423.68 c 1362s | 15 | 150097 | 131532 | 25233 11 | 3 | 1 1423.51/1423.95 c 1362s | 16 | 150123 | 131552 | 25233 11 | 3 | 1 1425.62/1426.00 c 1364s | 16 | 150393 | 131752 | 25233 11 | 3 | 1 1427.92/1428.30 c 1366s | 16 | 150731 | 132052 | 25233 11 | 3 | 1 1430.52/1430.97 c 1369s | 16 | 151084 | 132352 | 25233 11 | 3 | 1 1433.42/1433.83 c 1372s | 16 | 151407 | 132652 | 25233 11 | 3 | 1 1436.02/1436.48 c 1375s | 16 | 151737 | 132952 | 25233 11 | 3 | 1 1438.12/1438.55 c 1377s | 16 | 152056 | 133252 | 25233 11 | 3 | 1 1440.42/1440.83 c 1379s | 16 | 152384 | 133552 | 25233 11 | 3 | 1 1442.82/1443.22 c 1381s | 16 | 152730 | 133852 | 25233 11 | 3 | 1 1445.22/1445.66 c 1384s | 16 | 153069 | 134152 | 25233 11 | 3 | 1 1447.72/1448.19 c 1386s | 16 | 153406 | 134452 | 25233 11 | 3 | 1 1450.12/1450.52 c 1389s | 16 | 153756 | 134752 | 25233 11 | 3 | 1 1452.92/1453.40 c 1391s | 16 | 154089 | 135052 | 25233 11 | 3 | 1 1455.51/1455.92 c 1394s | 16 | 154440 | 135352 | 25233 11 | 3 | 1 1458.01/1458.42 c 1396s | 16 | 154800 | 135652 | 25233 11 | 3 | 1 1460.62/1461.02 c 1399s | 16 | 155147 | 135952 | 25233 11 | 3 | 1 1463.11/1463.53 c 1402s | 16 | 155475 | 136252 | 25233 11 | 3 | 1 1465.11/1465.57 c 1404s | 16 | 155717 | 136452 | 25233 11 | 3 | 1 1468.01/1468.44 c 1406s | 16 | 156055 | 136752 | 25233 11 | 3 | 1 1470.81/1471.20 c 1409s | 16 | 156391 | 137052 | 25233 11 | 3 | 1 1473.41/1473.87 c 1412s | 16 | 156714 | 137352 | 25233 11 | 3 | 1 1476.31/1476.77 c 1415s | 16 | 157084 | 137652 | 25233 11 | 3 | 1 1479.01/1479.48 c 1417s | 16 | 157416 | 137952 | 25233 11 | 3 | 1 1481.42/1481.82 c 1420s | 16 | 157754 | 138252 | 25233 11 | 3 | 1 1483.62/1484.08 c 1422s | 16 | 157976 | 138452 | 25233 11 | 3 | 1 1486.41/1486.80 c 1425s | 16 | 158301 | 138752 | 25233 11 | 3 | 1 1489.12/1489.58 c 1428s | 16 | 158650 | 139052 | 25233 12 | 3 | 1 1492.01/1492.46 c 1430s | 16 | 158989 | 139352 | 25233 12 | 3 | 1 1494.72/1495.18 c 1433s | 16 | 159315 | 139652 | 25233 12 | 3 | 1 1497.41/1497.82 c 1436s | 16 | 159660 | 139952 | 25233 12 | 3 | 1 1499.81/1500.23 c 1438s | 16 | 159991 | 140252 | 25233 12 | 3 | 1 1502.41/1502.83 c 1441s | 16 | 160327 | 140552 | 25233 12 | 3 | 1 1505.11/1505.50 c 1444s | 16 | 160648 | 140852 | 25233 12 | 3 | 1 1507.71/1508.14 c 1446s | 16 | 160959 | 141152 | 25233 12 | 3 | 1 1510.51/1510.95 c 1449s | 16 | 161277 | 141452 | 25233 12 | 3 | 1 1513.31/1513.71 c 1452s | 16 | 161607 | 141752 | 25233 12 | 3 | 1 1515.90/1516.33 c 1454s | 16 | 161943 | 142052 | 25233 12 | 3 | 1 1518.60/1519.08 c 1457s | 16 | 162269 | 142352 | 25233 12 | 3 | 1 1521.30/1521.78 c 1460s | 16 | 162587 | 142652 | 25233 12 | 3 | 1 1523.90/1524.38 c 1462s | 16 | 162927 | 142952 | 25233 12 | 3 | 1 1526.51/1526.99 c 1465s | 16 | 163242 | 143252 | 25233 12 | 3 | 1 1529.20/1529.62 c 1468s | 16 | 163564 | 143552 | 25233 12 | 3 | 1 1531.60/1532.00 c 1470s | 16 | 163887 | 143852 | 25233 12 | 3 | 1 1534.80/1535.28 c 1473s | 16 | 164213 | 144152 | 25233 12 | 3 | 1 1537.80/1538.20 c 1476s | 16 | 164569 | 144452 | 25233 12 | 3 | 1 1539.81/1540.27 c 1478s | 16 | 164778 | 144652 | 25233 12 | 3 | 1 1542.30/1542.73 c 1481s | 16 | 165116 | 144952 | 25233 12 | 3 | 1 1544.70/1545.15 c 1483s | 16 | 165433 | 145252 | 25233 12 | 3 | 1 1547.10/1547.57 c 1486s | 16 | 165762 | 145552 | 25233 12 | 3 | 1 1549.40/1549.86 c 1488s | 16 | 166119 | 145852 | 25233 12 | 3 | 1 1551.80/1552.23 c 1490s | 16 | 166465 | 146152 | 25233 12 | 3 | 1 1554.40/1554.88 c 1493s | 16 | 166813 | 146452 | 25233 12 | 3 | 1 1557.10/1557.56 c 1496s | 16 | 167133 | 146752 | 25233 12 | 3 | 1 1559.60/1560.02 c 1498s | 16 | 167481 | 147052 | 25233 12 | 3 | 1 1562.50/1562.90 c 1501s | 16 | 167804 | 147352 | 25233 12 | 3 | 1 1565.10/1565.54 c 1504s | 16 | 168158 | 147652 | 25233 12 | 3 | 1 1567.99/1568.43 c 1506s | 16 | 168490 | 147952 | 25233 12 | 3 | 1 1570.09/1570.50 c 1509s | 16 | 168703 | 148152 | 25233 12 | 3 | 1 1572.89/1573.30 c 1511s | 16 | 169044 | 148452 | 25233 12 | 3 | 1 1575.39/1575.84 c 1514s | 16 | 169381 | 148752 | 25233 12 | 3 | 1 1577.99/1578.48 c 1516s | 16 | 169701 | 149052 | 25233 12 | 3 | 1 1580.79/1581.27 c 1519s | 16 | 170025 | 149352 | 25233 12 | 3 | 1 1583.09/1583.52 c 1522s | 16 | 170242 | 149552 | 25233 12 | 3 | 1 1585.49/1585.96 c 1524s | 16 | 170443 | 149752 | 25233 12 | 3 | 1 1587.59/1588.02 c 1526s | 16 | 170676 | 149952 | 25233 12 | 3 | 1 1590.49/1590.96 c 1529s | 16 | 171024 | 150252 | 25233 12 | 3 | 1 1592.50/1592.97 c 1531s | 16 | 171235 | 150452 | 25233 12 | 3 | 1 1595.29/1595.79 c 1534s | 16 | 171579 | 150752 | 25233 12 | 3 | 1 1598.59/1599.07 c 1537s | 16 | 171897 | 151052 | 25233 13 | 3 | 1 1600.79/1601.28 c 1539s | 16 | 172123 | 151252 | 25233 13 | 3 | 1 1603.89/1604.37 c 1542s | 16 | 172467 | 151552 | 25233 13 | 3 | 1 1605.99/1606.48 c 1544s | 16 | 172691 | 151752 | 25233 13 | 3 | 1 1608.09/1608.55 c 1547s | 16 | 172904 | 151952 | 25233 13 | 3 | 1 1610.39/1610.81 c 1549s | 16 | 173131 | 152152 | 25233 13 | 3 | 1 1612.69/1613.15 c 1551s | 16 | 173342 | 152352 | 25233 13 | 3 | 1 1615.69/1616.16 c 1554s | 16 | 173681 | 152652 | 25233 13 | 3 | 1 1617.79/1618.24 c 1556s | 16 | 173891 | 152852 | 25233 13 | 3 | 1 1619.89/1620.33 c 1558s | 16 | 174118 | 153052 | 25233 13 | 3 | 1 1622.79/1623.26 c 1561s | 16 | 174471 | 153352 | 25233 13 | 3 | 1 1625.59/1626.05 c 1564s | 16 | 174780 | 153652 | 25233 13 | 3 | 1 1628.18/1628.63 c 1567s | 16 | 175103 | 153952 | 25233 13 | 3 | 1 1630.48/1630.99 c 1569s | 16 | 175447 | 154252 | 25233 13 | 3 | 1 1632.98/1633.40 c 1571s | 16 | 175809 | 154552 | 25233 13 | 3 | 1 1634.98/1635.43 c 1573s | 16 | 176157 | 154852 | 25233 13 | 3 | 1 1637.69/1638.15 c 1576s | 16 | 176489 | 155152 | 25233 13 | 3 | 1 1640.48/1640.94 c 1579s | 16 | 176814 | 155452 | 25233 13 | 3 | 1 1643.58/1644.08 c 1582s | 16 | 177167 | 155752 | 25233 13 | 3 | 1 1646.49/1646.96 c 1585s | 16 | 177480 | 156052 | 25233 13 | 3 | 1 1649.18/1649.61 c 1588s | 16 | 177817 | 156352 | 25233 13 | 3 | 1 1651.78/1652.20 c 1590s | 16 | 178186 | 156652 | 25233 13 | 3 | 1 1654.19/1654.66 c 1593s | 16 | 178552 | 156952 | 25233 13 | 3 | 1 1656.78/1657.20 c 1595s | 16 | 178889 | 157252 | 25233 13 | 3 | 1 1659.88/1660.32 c 1598s | 16 | 179240 | 157552 | 25233 13 | 3 | 1 1662.68/1663.11 c 1601s | 16 | 179565 | 157852 | 25233 13 | 3 | 1 1665.68/1666.11 c 1604s | 16 | 179890 | 158152 | 25233 13 | 3 | 1 1668.68/1669.10 c 1607s | 16 | 180218 | 158452 | 25233 13 | 3 | 1 1671.28/1671.76 c 1610s | 16 | 180549 | 158752 | 25233 13 | 3 | 1 1673.38/1673.88 c 1612s | 16 | 180763 | 158952 | 25233 13 | 3 | 1 1676.08/1676.53 c 1615s | 16 | 181080 | 159252 | 25233 13 | 3 | 1 1678.87/1679.36 c 1617s | 16 | 181410 | 159552 | 25233 13 | 3 | 1 1681.47/1681.99 c 1620s | 16 | 181731 | 159852 | 25233 13 | 3 | 1 1684.37/1684.84 c 1623s | 16 | 182045 | 160152 | 25233 13 | 3 | 1 1686.47/1686.94 c 1625s | 16 | 182255 | 160352 | 25233 13 | 3 | 1 1689.47/1689.96 c 1628s | 16 | 182582 | 160652 | 25233 13 | 3 | 1 1692.27/1692.74 c 1631s | 16 | 182907 | 160952 | 25233 13 | 3 | 1 1694.97/1695.49 c 1634s | 16 | 183233 | 161252 | 25233 13 | 3 | 1 1697.08/1697.52 c 1636s | 16 | 183439 | 161452 | 25233 13 | 3 | 1 1699.28/1699.72 c 1638s | 16 | 183671 | 161652 | 25233 13 | 3 | 1 1701.48/1701.95 c 1640s | 16 | 183909 | 161852 | 25233 13 | 3 | 1 1704.27/1704.78 c 1643s | 16 | 184242 | 162152 | 25233 13 | 3 | 1 1707.37/1707.85 c 1646s | 16 | 184579 | 162452 | 25233 13 | 3 | 1 1710.18/1710.70 c 1649s | 16 | 184897 | 162752 | 25233 13 | 3 | 1 1712.27/1712.78 c 1651s | 16 | 185105 | 162952 | 25233 13 | 3 | 1 1715.17/1715.60 c 1654s | 16 | 185437 | 163252 | 25233 13 | 3 | 1 1717.17/1717.68 c 1656s | 16 | 185651 | 163452 | 25233 13 | 3 | 1 1720.08/1720.57 c 1659s | 16 | 185992 | 163752 | 25233 13 | 3 | 1 1722.97/1723.49 c 1662s | 16 | 186324 | 164052 | 25233 13 | 3 | 1 1726.17/1726.62 c 1665s | 16 | 186644 | 164352 | 25233 13 | 3 | 1 1728.37/1728.88 c 1667s | 16 | 186850 | 164552 | 25233 13 | 3 | 1 1730.67/1731.18 c 1669s | 16 | 187064 | 164752 | 25233 13 | 3 | 1 1732.77/1733.28 c 1671s | 16 | 187267 | 164952 | 25233 13 | 3 | 1 1735.57/1736.05 c 1674s | 16 | 187587 | 165252 | 25233 13 | 3 | 1 1738.47/1738.92 c 1677s | 16 | 187903 | 165552 | 25233 13 | 3 | 1 1740.77/1741.29 c 1679s | 16 | 188116 | 165752 | 25233 14 | 3 | 1 1743.66/1744.17 c 1682s | 16 | 188441 | 166052 | 25233 14 | 3 | 1 1746.06/1746.59 c 1685s | 16 | 188670 | 166252 | 25233 14 | 3 | 1 1748.96/1749.42 c 1687s | 16 | 188998 | 166552 | 25233 14 | 3 | 1 1751.56/1752.08 c 1690s | 16 | 189312 | 166852 | 25233 14 | 3 | 1 1754.36/1754.87 c 1693s | 16 | 189643 | 167152 | 25233 14 | 3 | 1 1756.76/1757.24 c 1695s | 16 | 189973 | 167452 | 25233 14 | 3 | 1 1759.46/1759.97 c 1698s | 16 | 190319 | 167752 | 25233 14 | 3 | 1 1762.37/1762.85 c 1701s | 16 | 190548 | 167952 | 25233 14 | 3 | 1 1765.07/1765.51 c 1704s | 16 | 190867 | 168252 | 25233 14 | 3 | 1 1767.77/1768.20 c 1706s | 16 | 191194 | 168552 | 25233 14 | 3 | 1 1770.07/1770.53 c 1709s | 16 | 191518 | 168852 | 25233 14 | 3 | 1 1772.37/1772.88 c 1711s | 16 | 191832 | 169152 | 25233 14 | 3 | 1 1774.77/1775.25 c 1713s | 16 | 192155 | 169452 | 25233 14 | 3 | 1 1777.17/1777.64 c 1716s | 16 | 192484 | 169752 | 25233 14 | 3 | 1 1779.67/1780.11 c 1718s | 16 | 192809 | 170052 | 25233 14 | 3 | 1 1782.07/1782.51 c 1721s | 16 | 193128 | 170352 | 25233 14 | 3 | 1 1784.47/1784.92 c 1723s | 16 | 193443 | 170652 | 25233 14 | 3 | 1 1786.87/1787.32 c 1725s | 16 | 193755 | 170952 | 25233 14 | 3 | 1 1789.27/1789.71 c 1728s | 16 | 194071 | 171252 | 25233 14 | 3 | 1 1791.86/1792.32 c 1730s | 16 | 194393 | 171552 | 25233 14 | 3 | 1 1794.36/1794.81 c 1733s | 16 | 194715 | 171852 | 25233 14 | 3 | 1 1796.56/1797.08 c 1735s | 16 | 195045 | 172152 | 25233 14 | 3 | 1 1799.56/1800.10 c 1738s | 16 | 195361 | 172452 | 25233 14 | 3 | 1
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-4079661-1465246403/watcher-4079661-1465246403 -o /tmp/evaluation-result-4079661-1465246403/solver-4079661-1465246403 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079661-1465246403.opb pid=11945 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 [startup+0 s] /proc/loadavg: 2.12 2.10 2.03 3/179 11948 /proc/meminfo: memFree=30564064/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=24328 CPUtime=0 cores=0,2,4,6 /proc/11948/stat : 11948 (runsolver) R 11945 8429 8429 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 1 0 106573814 24911872 49 33554432000 4194304 4338465 140736818724688 140736818722224 242167212959 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0 /proc/11948/statm: 6082 49 3 36 0 2655 0 Current StackSize limit: 10240 KiB [startup+0.100128 s] /proc/loadavg: 2.12 2.10 2.03 3/179 11948 /proc/meminfo: memFree=30564064/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1221188 CPUtime=0.08 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 23472 0 0 0 5 3 0 0 20 0 4 0 106573814 1250496512 24282 33554432000 4194304 16246674 140736285215952 140736285215264 8058796 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/11948/statm: 305297 24297 799 2943 0 302191 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1221188 [startup+0.20033 s] /proc/loadavg: 2.12 2.10 2.03 3/179 11948 /proc/meminfo: memFree=30564064/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1304132 CPUtime=0.18 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 47462 0 0 0 12 6 0 0 20 0 4 0 106573814 1335431168 48783 33554432000 4194304 16246674 140736285215952 140736285215264 4221105 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/11948/statm: 326033 48786 801 2943 0 322927 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1304132 [startup+0.300308 s] /proc/loadavg: 2.12 2.10 2.03 3/179 11948 /proc/meminfo: memFree=30564064/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1313348 CPUtime=0.28 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 60771 0 0 0 19 9 0 0 20 0 4 0 106573814 1344868352 62093 33554432000 4194304 16246674 140736285215952 140736285215264 7371468 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/11948/statm: 328337 62111 801 2943 0 325231 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1313348 [startup+0.700259 s] /proc/loadavg: 2.12 2.10 2.03 3/179 11948 /proc/meminfo: memFree=30564064/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1314372 CPUtime=0.68 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 73659 0 0 0 57 11 0 0 20 0 4 0 106573814 1345916928 74980 33554432000 4194304 16246674 140736285215952 140736285198944 5595500 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/11948/statm: 328593 74980 834 2943 0 325487 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1314372 [startup+1.50036 s] /proc/loadavg: 2.12 2.10 2.03 3/183 11952 /proc/meminfo: memFree=29939108/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1314372 CPUtime=1.48 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 243450 0 0 0 115 33 0 0 20 0 4 0 106573814 1345916928 244772 33554432000 4194304 16246674 140736285215952 140736285198944 12368759 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/11948/statm: 328593 244779 834 2943 0 325487 0 [pid=11948/tid=11950] ppid=11945 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1345916928 244779 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1345916928 244785 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1345916928 244792 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1314372 [startup+3.10036 s] /proc/loadavg: 2.12 2.10 2.03 3/183 11952 /proc/meminfo: memFree=29432320/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1363524 CPUtime=3.08 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 281474 0 0 0 269 39 0 0 20 0 4 0 106573814 1396248576 282795 33554432000 4194304 16246674 140736285215952 140736285197824 5659568 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/11948/statm: 340881 282795 888 2943 0 337775 0 [pid=11948/tid=11950] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282795 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282795 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282795 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1363524 [startup+6.30036 s] /proc/loadavg: 2.11 2.10 2.03 3/183 11952 /proc/meminfo: memFree=29433296/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1363524 CPUtime=6.28 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 281552 0 0 0 589 39 0 0 20 0 4 0 106573814 1396248576 282873 33554432000 4194304 16246674 140736285215952 140736285215264 12415740 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/11948/statm: 340881 282873 894 2943 0 337775 0 [pid=11948/tid=11950] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282873 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282873 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282873 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1363524 [startup+12.7004 s] /proc/loadavg: 2.10 2.09 2.03 3/183 11952 /proc/meminfo: memFree=29432824/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1363524 CPUtime=12.67 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 281555 0 0 0 1228 39 0 0 20 0 4 0 106573814 1396248576 282876 33554432000 4194304 16246674 140736285215952 140736285197824 5546243 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11948/statm: 340881 282876 894 2943 0 337775 0 [pid=11948/tid=11950] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282876 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282876 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282876 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 1363524 [startup+25.5073 s] /proc/loadavg: 2.08 2.09 2.03 3/183 11952 /proc/meminfo: memFree=29433728/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1363524 CPUtime=25.48 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 281555 0 0 0 2509 39 0 0 20 0 4 0 106573814 1396248576 282876 33554432000 4194304 16246674 140736285215952 140736285197824 5827980 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11948/statm: 340881 282876 894 2943 0 337775 0 [pid=11948/tid=11950] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282876 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282876 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282876 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1363524 [startup+51.1004 s] /proc/loadavg: 2.05 2.08 2.02 3/183 11952 /proc/meminfo: memFree=29433408/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1363524 CPUtime=51.07 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 281555 0 0 0 5068 39 0 0 20 0 4 0 106573814 1396248576 282876 33554432000 4194304 16246674 140736285215952 140736285197824 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11948/statm: 340881 282876 894 2943 0 337775 0 [pid=11948/tid=11950] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282876 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282876 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282876 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1363524 [startup+102.3 s] /proc/loadavg: 2.02 2.07 2.02 3/183 11953 /proc/meminfo: memFree=29433804/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1363524 CPUtime=102.26 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 281580 0 0 0 10187 39 0 0 20 0 4 0 106573814 1396248576 282901 33554432000 4194304 16246674 140736285215952 140736285197824 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11948/statm: 340881 282901 915 2943 0 337775 0 [pid=11948/tid=11950] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282901 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282901 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282901 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1363524 [startup+162.3 s] /proc/loadavg: 2.01 2.05 2.01 3/183 11954 /proc/meminfo: memFree=29434080/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1363524 CPUtime=162.25 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 281583 0 0 0 16186 39 0 0 20 0 4 0 106573814 1396248576 282904 33554432000 4194304 16246674 140736285215952 140736285197824 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11948/statm: 340881 282904 917 2943 0 337775 0 [pid=11948/tid=11950] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282904 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282904 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282904 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 1363524 [startup+222.3 s] /proc/loadavg: 2.04 2.05 2.01 3/183 11956 /proc/meminfo: memFree=29433448/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1363524 CPUtime=222.24 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 281583 0 0 0 22185 39 0 0 20 0 4 0 106573814 1396248576 282904 33554432000 4194304 16246674 140736285215952 140736285197824 5600869 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11948/statm: 340881 282904 917 2943 0 337775 0 [pid=11948/tid=11950] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282904 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282904 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1363524 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1396248576 282904 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 1363524 ################ # More data... # ################ /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1460804 [startup+1302.3 s] /proc/loadavg: 1.93 1.99 1.99 3/183 12200 /proc/meminfo: memFree=29075068/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1460804 CPUtime=1301.94 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 306176 0 0 0 130146 48 0 0 20 0 4 0 106573814 1495863296 307228 33554432000 4194304 16246674 140736285215952 140736285197824 13774516 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11948/statm: 365201 307228 918 2943 0 362095 0 [pid=11948/tid=11950] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1460804 [startup+1362.3 s] /proc/loadavg: 1.97 1.99 1.99 3/183 12201 /proc/meminfo: memFree=20544320/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1460804 CPUtime=1361.92 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 306176 0 0 0 136144 48 0 0 20 0 4 0 106573814 1495863296 307228 33554432000 4194304 16246674 140736285215952 140736285197824 13752941 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11948/statm: 365201 307228 918 2943 0 362095 0 [pid=11948/tid=11950] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1460804 [startup+1422.3 s] /proc/loadavg: 2.08 2.02 2.00 3/183 12202 /proc/meminfo: memFree=17761920/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1460804 CPUtime=1421.91 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 306176 0 0 0 142143 48 0 0 20 0 4 0 106573814 1495863296 307228 33554432000 4194304 16246674 140736285215952 140736285197824 13774516 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11948/statm: 365201 307228 918 2943 0 362095 0 [pid=11948/tid=11950] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1460804 [startup+1482.3 s] /proc/loadavg: 2.03 2.01 2.00 3/183 12252 /proc/meminfo: memFree=22398144/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1460804 CPUtime=1481.91 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 306176 0 0 0 148142 49 0 0 20 0 4 0 106573814 1495863296 307228 33554432000 4194304 16246674 140736285215952 140736285197824 5659576 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11948/statm: 365201 307228 918 2943 0 362095 0 [pid=11948/tid=11950] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1460804 [startup+1542.3 s] /proc/loadavg: 2.11 2.04 2.01 3/183 12253 /proc/meminfo: memFree=18466736/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1460804 CPUtime=1541.91 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 306176 0 0 0 154142 49 0 0 20 0 4 0 106573814 1495863296 307228 33554432000 4194304 16246674 140736285215952 140736285197824 13774516 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11948/statm: 365201 307228 918 2943 0 362095 0 [pid=11948/tid=11950] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1460804 [startup+1602.3 s] /proc/loadavg: 2.04 2.03 2.00 3/184 12257 /proc/meminfo: memFree=16909040/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1460804 CPUtime=1601.89 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 306176 0 0 0 160140 49 0 0 20 0 4 0 106573814 1495863296 307228 33554432000 4194304 16246674 140736285215952 140736285197824 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11948/statm: 365201 307228 918 2943 0 362095 0 [pid=11948/tid=11950] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1460804 [startup+1662.31 s] /proc/loadavg: 2.01 2.02 2.00 3/183 12306 /proc/meminfo: memFree=24632716/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1460804 CPUtime=1661.88 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 306176 0 0 0 166139 49 0 0 20 0 4 0 106573814 1495863296 307228 33554432000 4194304 16246674 140736285215952 140736285197824 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11948/statm: 365201 307228 918 2943 0 362095 0 [pid=11948/tid=11950] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1460804 [startup+1722.3 s] /proc/loadavg: 2.05 2.03 2.00 3/183 12307 /proc/meminfo: memFree=17602792/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1460804 CPUtime=1721.87 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 306176 0 0 0 172138 49 0 0 20 0 4 0 106573814 1495863296 307228 33554432000 4194304 16246674 140736285215952 140736285197824 5600232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11948/statm: 365201 307228 918 2943 0 362095 0 [pid=11948/tid=11950] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1460804 [startup+1782.3 s] /proc/loadavg: 2.18 2.07 2.01 3/183 12358 /proc/meminfo: memFree=29309344/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1460804 CPUtime=1781.87 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 306176 0 0 0 178137 50 0 0 20 0 4 0 106573814 1495863296 307228 33554432000 4194304 16246674 140736285215952 140736285197824 13759557 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11948/statm: 365201 307228 918 2943 0 362095 0 [pid=11948/tid=11950] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1460804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.14 2.06 2.01 3/183 12358 /proc/meminfo: memFree=29309420/32872528 swapFree=11196/354588 [pid=11948] ppid=11945 vsize=1460804 CPUtime=1800.06 cores=0,2,4,6 /proc/11948/stat : 11948 (toysat) R 11945 11948 8429 0 -1 4202496 306176 0 0 0 179956 50 0 0 20 0 4 0 106573814 1495863296 307228 33554432000 4194304 16246674 140736285215952 140736285197824 5601651 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11948/statm: 365201 307228 918 2943 0 362095 0 [pid=11948/tid=11950] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11950/stat : 11950 (toysat) S 11945 11948 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028544003312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11948/tid=11951] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11951/stat : 11951 (toysat) S 11945 11948 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028533513456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11948/tid=11952] ppid=11945 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/11948/task/11952/stat : 11952 (toysat) S 11945 11948 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106573815 1495863296 307228 33554432000 4194304 16246674 140736285215952 140028416093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1460804 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 11948 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1799.57 CPU system time (s): 0.500923 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 1460804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.500923 maximum resident set size= 1228912 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 306176 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= 295 involuntary context switches= 1884 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.4151 second user time and 16.8784 second system time The end
Begin job on node126 at 2016-06-06 22:53:24 IDJOB=4079661 IDBENCH=2937 IDSOLVER=2542 FILE ID=node126/4079661-1465246403 RUNJOBID= node126-1465218023-8445 PBS_JOBID= 19843210 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_16.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079661-1465246403/watcher-4079661-1465246403 -o /tmp/evaluation-result-4079661-1465246403/solver-4079661-1465246403 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079661-1465246403.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6e5141f298d85d1f18641c02d22506a9 RANDOM SEED=2117263918 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30564072 kB Buffers: 48952 kB Cached: 129268 kB SwapCached: 2248 kB Active: 1156444 kB Inactive: 95752 kB Active(anon): 1074080 kB Inactive(anon): 2384 kB Active(file): 82364 kB Inactive(file): 93368 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098544 kB Dirty: 18908 kB Writeback: 0 kB AnonPages: 1427952 kB Mapped: 10428 kB Shmem: 0 kB Slab: 568332 kB SReclaimable: 12204 kB SUnreclaim: 556128 kB KernelStack: 1504 kB PageTables: 6812 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1572996 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 512000 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= 71704 MiB End job on node126 at 2016-06-06 23:23:24