Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | /OPT-SMALLINT-LIN/heinz/ normalized-222__neos-1330346.opb |
| MD5SUM | bf0628fd43a26c492fc12f863e1d2dd3 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 34.0028 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2664 |
| Total number of constraints | 4248 |
| Number of constraints which are clauses | 3888 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 360 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 16 |
| Number of terms in the objective function | 36 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 36 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 36 |
| Number of bits of the biggest sum of numbers | 6 |
| 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-19T01:38:08+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4109024-1466293088.opb"] 0.00/0.01 c use --random-gen="2729188723 1186570909 978110874 1703666095 195718167 4129923398 3762223856 2539203729 2143251827 1265596846 3577786417 773225409 3994414697 4244338817 831202898 1177340944 2515455223 3955166232 1880031542 3252295928 184033680 4017307669 3846217178 3954702853 2656960185 4028909709 1697526227 329556904 2280454364 3100685288 3099343919 2063926777 424568263 1724746857 1476753474 2000734220 3793470862 211488528 987349372 2277973962 127828452 2588626594 2485360597 3246795254 1731301910 3385044205 1324079664 770247592 2929558994 2305427844 3510393175 3839215547 282009981 3493194847 3900716306 4168105266 1956422615 1750115911 1854060267 1468240842 3854420330 832094315 2826279250 446326953 1457099411 3594733474 1911744802 3769875237 2477486661 2367417212 3541223240 2703309683 2241731758 825495473 2406967543 2550578210 2541149745 347654551 999709442 2631976610 1093205283 1228551140 3132129829 4193936399 3905967266 613955388 28146889 527585059 569458905 2862136193 3036968126 1109300985 4048832291 1995683051 3834655170 3587218271 2672700244 2195998275 1875841400 220543356 960480340 2576515258 2000231212 2485900347 2803375528 1048739256 3533054211 2326332047 2392463530 3681820181 1024727212 1276965682 3512375967 2197608107 4286041651 2579080339 1674080323 1285972407 1644038406 2217144148 1385490049 2325525121 1392511894 148483718 3253588853 1116071330 2652289508 1865400736 2823732920 990144707 166025490 1855379541 510695058 4039436244 3521560204 2561097710 11478950 254766891 1677981170 3694022018 2185845543 323726353 3685502348 1866776179 2025695157 3519954367 1916186014 2365733263 3448439770 1922612011 308451778 2598996097 132129994 3614637942 763589254 1335234671 3709864630 3151779674 2848262998 3999839259 1919085689 2066569318 172878058 292830363 2640931403 3065282321 2666786020 2557439224 607132980 2961917227 681571975 1351558908 3007301522 1809383044 2228861293 1633544847 1124299559 1289801995 3966033212 423467969 3275397468 3319356626 3990919136 4069625702 2628377376 1342311983 435999883 3753427070 4063282874 2818523990 1151662085 2746681713 1060040203 2076216277 1921369068 2242551376 2709549094 1236026338 2600687913 2950363455 3091818800 3080670060 3419428541 1014613894 2480391597 3580110735 1503840546 3173025190 1894158932 568796755 445578901 4288841954 64595879 1523565193 2900326348 3740588547 1439638575 1661846950 3640978368 2469596482 2197099274 1127461453 2784724690 4207837748 254592662 130435199 2171352576 877772420 2334323782 676847822 3578382952 789649596 2488051589 659327945 1052553078 919148470 253480930 4208768116 764240643 598024483 959299487 925999614 1814458231 2198195846 3935089818 3525797326 720176786 2811662005 4218585247 3739856145 1246758483 1019639757 2929546052 1516005714 1087359029 2260595980 255 362436" option to reproduce the execution 0.00/0.05 c #vars 2664 0.00/0.05 c #constraints 4248 0.09/0.11 c BCD2: Hardening is enabled. 0.09/0.11 c BCD2: BiasedSearch is enabled. 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 2424 0 | 0 | 0 0.09/0.14 c 0.0s | 1 | 3724 | 100 | 2424 0 | 0 | 0 0.09/0.16 c 0.0s | 1 | 6232 | 112 | 2667 0 | 0 | 0 0.09/0.16 c #cpu_time = 0.046s 0.09/0.16 c #wall_clock_time = 0.046s 0.09/0.16 c #decision = 6232 0.09/0.16 c #random_decision = 16 0.09/0.16 c #conflict = 112 0.09/0.16 c #restart = 1 0.09/0.16 o 36 0.09/0.16 c BCD2: updating upper bound: 36 -> 35 0.09/0.16 c BCD2: 0 <= obj <= 35 0.09/0.16 c BCD2: #cores=0, #unrelaxed=36, #relaxed=0, #hardened=0 0.09/0.16 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 2667 0 | 0 | 0 0.09/0.17 c 0.0s | 0 | 7 | 0 | 2667 0 | 0 | 0 0.09/0.17 c #cpu_time = 0.006s 0.09/0.17 c #wall_clock_time = 0.006s 0.09/0.17 c #decision = 7 0.09/0.17 c #random_decision = 0 0.09/0.17 c #conflict = 0 0.09/0.17 c #restart = 0 0.09/0.17 c BCD2: found a new core of size 8: cost of the new core is >=1 0.09/0.17 c lower bound updated to 1 0.09/0.17 c BCD2: 1 <= obj <= 35 0.09/0.17 c BCD2: #cores=1, #unrelaxed=28, #relaxed=8, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 2667 0 | 0 | 0 0.09/0.18 c 0.0s | 0 | 27 | 1 | 2667 0 | 0 | 0 0.09/0.18 c #cpu_time = 0.008s 0.09/0.18 c #wall_clock_time = 0.008s 0.09/0.18 c #decision = 27 0.09/0.18 c #random_decision = 0 0.09/0.18 c #conflict = 1 0.09/0.18 c #restart = 0 0.09/0.18 c BCD2: relaxing 26 and merging with 1 cores into a new core of size 34: cost of the new core is >=2 0.09/0.18 c lower bound updated to 2 0.09/0.18 c BCD2: 2 <= obj <= 35 0.09/0.18 c BCD2: #cores=1, #unrelaxed=2, #relaxed=34, #hardened=0 0.09/0.18 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 2667 0 | 1 | 0 0.09/0.19 c 0.0s | 0 | 1630 | 0 | 2667 0 | 1 | 1 0.09/0.19 c #cpu_time = 0.011s 0.09/0.19 c #wall_clock_time = 0.011s 0.09/0.19 c #decision = 1630 0.09/0.19 c #random_decision = 6 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 o 18 0.09/0.19 c BCD2: updating upper bound: 35 -> 17 0.09/0.19 c BCD2: 2 <= obj <= 17 0.09/0.19 c BCD2: #cores=1, #unrelaxed=2, #relaxed=34, #hardened=0 0.09/0.19 c BCD2: #sat=2 #unsat=3 bias=3/5 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 2667 0 | 1 | 2 0.19/0.23 c 0.0s | 0 | 1943 | 40 | 2667 0 | 1 | 2 0.19/0.23 c #cpu_time = 0.036s 0.19/0.23 c #wall_clock_time = 0.036s 0.19/0.23 c #decision = 1943 0.19/0.23 c #random_decision = 6 0.19/0.23 c #conflict = 40 0.19/0.23 c #restart = 0 0.19/0.23 o 11 0.19/0.23 c BCD2: updating upper bound: 17 -> 10 0.19/0.23 c BCD2: 2 <= obj <= 10 0.19/0.23 c BCD2: #cores=1, #unrelaxed=2, #relaxed=34, #hardened=0 0.19/0.23 c BCD2: #sat=3 #unsat=3 bias=3/6 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 2667 0 | 1 | 3 0.29/0.34 c 0.1s | 1 | 203 | 100 | 2934 0 | 1 | 3 0.49/0.50 c 0.3s | 2 | 478 | 250 | 2934 0 | 1 | 3 0.68/0.73 c 0.5s | 3 | 876 | 475 | 3228 0 | 1 | 3 0.99/1.07 c 0.8s | 4 | 1455 | 813 | 3551 0 | 1 | 3 1.49/1.50 c 1.3s | 5 | 2315 | 1320 | 3907 0 | 1 | 3 1.99/2.09 c 1.9s | 6 | 3592 | 2081 | 4298 0 | 1 | 3 2.99/3.06 c 2.8s | 7 | 5549 | 3223 | 4728 0 | 1 | 3 4.49/4.58 c 4.3s | 8 | 8349 | 4936 | 5201 0 | 1 | 3 6.59/6.61 c 6.4s | 8 | 12003 | 7436 | 5722 1 | 1 | 3 6.59/6.68 c 6.5s | 9 | 12130 | 7506 | 5722 1 | 1 | 3 8.68/8.74 c 8.5s | 9 | 15629 | 9606 | 5722 2 | 1 | 3 10.08/10.19 c 10.0s | 10 | 18246 | 11361 | 6295 2 | 1 | 3 12.20/12.23 c 12.0s | 10 | 21510 | 13361 | 6295 3 | 1 | 3 14.30/14.30 c 14.1s | 10 | 24965 | 15561 | 6295 3 | 1 | 3 15.89/15.96 c 15.7s | 11 | 27421 | 17144 | 6925 4 | 1 | 3 17.99/18.01 c 17.8s | 11 | 30789 | 19044 | 6925 4 | 1 | 3 19.99/20.09 c 19.9s | 11 | 34614 | 21344 | 6925 5 | 1 | 3 22.10/22.15 c 21.9s | 11 | 38142 | 23444 | 6925 5 | 1 | 3 24.09/24.15 c 23.9s | 11 | 41350 | 25544 | 7618 6 | 1 | 3 24.39/24.41 c 24.2s | 12 | 41755 | 25819 | 7618 6 | 1 | 3 26.40/26.46 c 26.2s | 12 | 45449 | 28019 | 7618 6 | 1 | 3 28.49/28.52 c 28.3s | 12 | 48743 | 29919 | 7618 7 | 1 | 3 30.59/30.62 c 30.4s | 12 | 52033 | 31919 | 7618 7 | 1 | 3 32.59/32.64 c 32.4s | 12 | 55561 | 34019 | 7618 8 | 1 | 3 34.59/34.64 c 34.4s | 12 | 59018 | 36119 | 7618 8 | 1 | 3 36.59/36.66 c 36.4s | 12 | 62163 | 38119 | 7618 9 | 1 | 3 37.29/37.37 c 37.1s | 13 | 63200 | 38832 | 8380 9 | 1 | 3 39.39/39.42 c 39.2s | 13 | 66261 | 40832 | 8380 9 | 1 | 3 41.38/41.44 c 41.2s | 13 | 69037 | 42632 | 8380 10 | 1 | 3 43.38/43.46 c 43.2s | 13 | 72282 | 44632 | 8380 10 | 1 | 3 45.48/45.53 c 45.3s | 13 | 74966 | 46532 | 8380 10 | 1 | 3 47.48/47.55 c 47.3s | 13 | 77625 | 48232 | 8380 11 | 1 | 3 49.49/49.58 c 49.4s | 13 | 81100 | 50232 | 8380 11 | 1 | 3 51.59/51.68 c 51.4s | 13 | 84456 | 52232 | 8380 12 | 1 | 3 53.68/53.75 c 53.5s | 13 | 88366 | 54532 | 8380 12 | 1 | 3 55.78/55.81 c 55.6s | 13 | 91997 | 56732 | 8380 13 | 1 | 3 57.49/57.51 c 57.3s | 14 | 94819 | 58352 | 9218 13 | 1 | 3 59.48/59.55 c 59.3s | 14 | 97455 | 60152 | 9218 13 | 1 | 3 61.68/61.75 c 61.5s | 14 | 100041 | 61752 | 9218 14 | 1 | 3 63.68/63.76 c 63.5s | 14 | 102749 | 63552 | 9218 14 | 1 | 3 65.78/65.82 c 65.6s | 14 | 105598 | 65352 | 9218 14 | 1 | 3 67.78/67.88 c 67.7s | 14 | 108202 | 67052 | 9218 15 | 1 | 3 69.87/69.93 c 69.7s | 14 | 111189 | 68952 | 9218 15 | 1 | 3 71.87/71.96 c 71.7s | 14 | 114283 | 70852 | 9218 15 | 1 | 3 73.97/74.05 c 73.8s | 14 | 117612 | 72952 | 9218 16 | 1 | 3 75.98/76.07 c 75.8s | 14 | 120736 | 74952 | 9218 16 | 1 | 3 78.07/78.18 c 77.9s | 14 | 123576 | 76852 | 9218 16 | 1 | 3 80.17/80.29 c 80.1s | 14 | 125960 | 78452 | 9218 17 | 1 | 3 82.27/82.38 c 82.1s | 14 | 129087 | 80352 | 9218 17 | 1 | 3 84.37/84.41 c 84.2s | 14 | 131909 | 82152 | 9218 18 | 1 | 3 86.37/86.44 c 86.2s | 14 | 134989 | 84052 | 9218 18 | 1 | 3 88.36/88.50 c 88.3s | 14 | 138110 | 85952 | 9218 18 | 1 | 3 90.27/90.38 c 90.2s | 15 | 140812 | 87632 | 10140 19 | 1 | 3 92.37/92.48 c 92.3s | 15 | 143319 | 89332 | 10140 19 | 1 | 3 94.36/94.49 c 94.3s | 15 | 146070 | 91032 | 10140 19 | 1 | 3 96.46/96.55 c 96.3s | 15 | 148535 | 92632 | 10140 19 | 1 | 3 98.46/98.57 c 98.3s | 15 | 151031 | 94332 | 10140 20 | 1 | 3 100.46/100.57 c 100s | 15 | 153209 | 95832 | 10140 20 | 1 | 3 102.56/102.69 c 102s | 15 | 155675 | 97432 | 10140 20 | 1 | 3 104.66/104.74 c 104s | 15 | 158018 | 98832 | 10140 21 | 1 | 3 106.66/106.75 c 106s | 15 | 160219 | 100332 | 10140 21 | 1 | 3 108.65/108.77 c 108s | 15 | 162671 | 101832 | 10140 21 | 1 | 3 110.75/110.88 c 110s | 15 | 165002 | 103432 | 10140 21 | 1 | 3 112.95/113.00 c 112s | 15 | 167129 | 104932 | 10140 22 | 1 | 3 114.95/115.03 c 114s | 15 | 169131 | 106332 | 10140 22 | 1 | 3 117.05/117.13 c 116s | 15 | 171124 | 107732 | 10140 22 | 1 | 3 119.15/119.25 c 119s | 15 | 173230 | 109232 | 10140 22 | 1 | 3 121.25/121.34 c 121s | 15 | 176301 | 111032 | 10140 23 | 1 | 3 123.26/123.37 c 123s | 15 | 179465 | 112932 | 10140 23 | 1 | 3 125.25/125.38 c 125s | 15 | 181983 | 114532 | 10140 23 | 1 | 3 127.35/127.45 c 127s | 15 | 184709 | 116332 | 10140 24 | 1 | 3 129.45/129.57 c 129s | 15 | 187278 | 118032 | 10140 24 | 1 | 3 131.55/131.68 c 131s | 15 | 189612 | 119632 | 10140 24 | 1 | 3 133.65/133.79 c 133s | 15 | 191775 | 121132 | 10140 25 | 1 | 3 135.74/135.83 c 135s | 15 | 193771 | 122532 | 10140 25 | 1 | 3 137.84/137.92 c 137s | 15 | 196401 | 124232 | 10140 25 | 1 | 3 139.84/139.94 c 139s | 15 | 198804 | 125732 | 10140 25 | 1 | 3 141.95/142.04 c 141s | 15 | 201167 | 127232 | 10140 26 | 1 | 3 143.94/144.07 c 143s | 15 | 203465 | 128832 | 10140 26 | 1 | 3 146.04/146.17 c 145s | 15 | 205757 | 130432 | 10140 26 | 1 | 3 147.74/147.89 c 147s | 16 | 207273 | 131552 | 11154 26 | 1 | 3 149.84/149.90 c 149s | 16 | 209324 | 132952 | 11154 27 | 1 | 3 151.84/151.97 c 151s | 16 | 211371 | 134352 | 11154 27 | 1 | 3 154.04/154.12 c 153s | 16 | 213376 | 135752 | 11154 27 | 1 | 3 156.14/156.24 c 156s | 16 | 215271 | 137052 | 11154 27 | 1 | 3 158.13/158.27 c 158s | 16 | 216851 | 138252 | 11154 27 | 1 | 3 160.23/160.39 c 160s | 16 | 218985 | 139752 | 11154 28 | 1 | 3 162.43/162.50 c 162s | 16 | 221323 | 141352 | 11154 28 | 1 | 3 164.43/164.50 c 164s | 16 | 223328 | 142752 | 11154 28 | 1 | 3 166.43/166.51 c 166s | 16 | 225462 | 144052 | 11154 28 | 1 | 3 168.43/168.56 c 168s | 16 | 227011 | 145252 | 11154 29 | 1 | 3 170.43/170.60 c 170s | 16 | 228542 | 146452 | 11154 29 | 1 | 3 172.52/172.69 c 172s | 16 | 230700 | 147852 | 11154 29 | 1 | 3 174.62/174.76 c 174s | 16 | 232881 | 149352 | 11154 29 | 1 | 3 176.72/176.88 c 176s | 16 | 234621 | 150652 | 11154 29 | 1 | 3 178.83/178.96 c 178s | 16 | 236533 | 152052 | 11154 30 | 1 | 3 180.93/181.01 c 180s | 16 | 238421 | 153452 | 11154 30 | 1 | 3 182.93/183.03 c 182s | 16 | 240641 | 154952 | 11154 30 | 1 | 3 184.93/185.07 c 184s | 16 | 242376 | 156252 | 11154 30 | 1 | 3 187.04/187.15 c 186s | 16 | 244225 | 157552 | 11154 31 | 1 | 3 189.13/189.30 c 189s | 16 | 246332 | 159052 | 11154 31 | 1 | 3 191.33/191.47 c 191s | 16 | 248028 | 160352 | 11154 31 | 1 | 3 193.42/193.50 c 193s | 16 | 249911 | 161652 | 11154 31 | 1 | 3 195.42/195.57 c 195s | 16 | 251566 | 162852 | 11154 31 | 1 | 3 197.22/197.31 c 197s | 16 | 252741 | 163777 | 11154 32 | 1 | 3 197.22/197.31 c #cpu_time = 196.529s 197.22/197.31 c #wall_clock_time = 197.083s 197.22/197.31 c #decision = 252741 197.22/197.31 c #random_decision = 710 197.22/197.31 c #conflict = 163777 197.22/197.31 c #restart = 16 197.22/197.31 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 36: cost of the new core is >=3 197.22/197.31 c lower bound updated to 3 197.22/197.31 c BCD2: 3 <= obj <= 10 197.22/197.31 c BCD2: #cores=1, #unrelaxed=0, #relaxed=36, #hardened=0 197.22/197.31 c BCD2: #sat=3 #unsat=4 bias=4/7 197.22/197.31 c Solving starts ... 197.22/197.31 c ============================[ Search Statistics ]============================ 197.22/197.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 197.22/197.31 c | | | | Limit GC | Var | Constra 197.22/197.31 c ============================================================================= 197.22/197.31 c 0.0s | 0 | 0 | 0 | 11154 0 | 4 | 3 197.62/197.77 c 0.5s | 1 | 184 | 100 | 11154 0 | 4 | 8 198.22/198.31 c 1.0s | 2 | 450 | 250 | 11154 0 | 4 | 8 198.42/198.57 c 1.3s | 3 | 862 | 475 | 11154 0 | 4 | 8 198.72/198.86 c 1.5s | 4 | 1502 | 813 | 11154 0 | 4 | 8 199.22/199.36 c 2.0s | 5 | 2324 | 1320 | 11154 0 | 4 | 8 200.12/200.23 c 2.9s | 6 | 3601 | 2081 | 11154 0 | 4 | 8 201.22/201.31 c 4.0s | 7 | 5429 | 3223 | 11154 0 | 4 | 8 202.72/202.85 c 5.5s | 8 | 8439 | 4936 | 11154 0 | 4 | 8 204.72/204.88 c 7.6s | 8 | 11574 | 6936 | 11154 0 | 4 | 8 205.32/205.48 c 8.2s | 9 | 12264 | 7506 | 11154 0 | 4 | 8 207.42/207.51 c 10.2s | 9 | 15121 | 9206 | 11154 0 | 4 | 8 209.42/209.54 c 12.2s | 9 | 18267 | 11206 | 11154 0 | 4 | 8 209.52/209.65 c 12.3s | 10 | 18465 | 11361 | 11154 0 | 4 | 8 211.62/211.77 c 14.5s | 10 | 21952 | 13561 | 11154 1 | 4 | 8 213.72/213.82 c 16.5s | 10 | 25057 | 15461 | 11154 1 | 4 | 8 215.62/215.70 c 18.4s | 11 | 27405 | 17144 | 11154 2 | 4 | 8 217.61/217.71 c 20.4s | 11 | 30582 | 19144 | 11154 2 | 4 | 8 219.71/219.80 c 22.5s | 11 | 33845 | 21144 | 11154 2 | 4 | 8 221.71/221.87 c 24.6s | 11 | 37043 | 23144 | 11154 3 | 4 | 8 223.81/223.93 c 26.6s | 11 | 40490 | 24944 | 11154 3 | 4 | 8 224.71/224.82 c 27.5s | 12 | 42140 | 25819 | 11154 3 | 4 | 8 226.71/226.83 c 29.5s | 12 | 44908 | 27419 | 11154 3 | 4 | 8 228.81/228.93 c 31.6s | 12 | 47967 | 29219 | 11154 4 | 4 | 8 230.81/230.98 c 33.7s | 12 | 50940 | 31119 | 11154 4 | 4 | 8 232.91/233.01 c 35.7s | 12 | 54459 | 33319 | 12270 4 | 4 | 8 234.91/235.06 c 37.7s | 12 | 57349 | 35219 | 12270 4 | 4 | 8 236.91/237.09 c 39.8s | 12 | 60265 | 37119 | 12270 5 | 4 | 8 238.71/238.89 c 41.6s | 13 | 62973 | 38832 | 12270 5 | 4 | 8 240.81/240.94 c 43.6s | 13 | 66179 | 41032 | 12270 5 | 4 | 8 242.80/242.98 c 45.7s | 13 | 68093 | 42232 | 12270 6 | 4 | 8 244.80/244.99 c 47.7s | 13 | 71281 | 44132 | 12270 6 | 4 | 8 246.90/247.06 c 49.7s | 13 | 74815 | 46132 | 12270 6 | 4 | 8 248.90/249.07 c 51.8s | 13 | 78362 | 48332 | 12270 7 | 4 | 8 251.00/251.13 c 53.8s | 13 | 81991 | 50732 | 12270 7 | 4 | 8 253.01/253.20 c 55.9s | 13 | 85822 | 53332 | 12270 7 | 4 | 8 255.11/255.23 c 57.9s | 13 | 88380 | 54832 | 12270 8 | 4 | 8 257.20/257.31 c 60.0s | 13 | 91629 | 56932 | 12270 8 | 4 | 8 258.60/258.72 c 61.4s | 14 | 93815 | 58352 | 12270 8 | 4 | 8 260.70/260.81 c 63.5s | 14 | 96048 | 59852 | 12270 8 | 4 | 8 262.70/262.87 c 65.6s | 14 | 98967 | 61652 | 12270 9 | 4 | 8 264.69/264.88 c 67.6s | 14 | 102117 | 63652 | 12270 9 | 4 | 8 266.79/266.96 c 69.6s | 14 | 105244 | 65652 | 12270 9 | 4 | 8 268.89/269.01 c 71.7s | 14 | 108029 | 67352 | 12270 10 | 4 | 8 270.89/271.03 c 73.7s | 14 | 111240 | 69452 | 12270 10 | 4 | 8 272.99/273.10 c 75.8s | 14 | 114304 | 71552 | 12270 10 | 4 | 8 275.00/275.18 c 77.9s | 14 | 117100 | 73552 | 12270 10 | 4 | 8 277.10/277.23 c 79.9s | 14 | 119995 | 75552 | 12270 11 | 4 | 8 279.19/279.35 c 82.0s | 14 | 122907 | 77452 | 12270 11 | 4 | 8 281.19/281.36 c 84.0s | 14 | 125357 | 79052 | 12270 11 | 4 | 8 283.28/283.40 c 86.1s | 14 | 127769 | 80552 | 12270 12 | 4 | 8 285.28/285.47 c 88.2s | 14 | 130959 | 82552 | 12270 12 | 4 | 8 287.38/287.54 c 90.2s | 14 | 133795 | 84452 | 12270 12 | 4 | 8 289.48/289.60 c 92.3s | 14 | 136298 | 86152 | 12270 12 | 4 | 8 291.08/291.20 c 93.9s | 15 | 138635 | 87632 | 12270 13 | 4 | 8 293.08/293.26 c 95.9s | 15 | 141092 | 89332 | 12270 13 | 4 | 8 295.18/295.30 c 98.0s | 15 | 144159 | 91132 | 12270 13 | 4 | 8 297.18/297.33 c 100s | 15 | 147172 | 92932 | 12270 13 | 4 | 8 299.27/299.43 c 102s | 15 | 150221 | 94832 | 12270 14 | 4 | 8 301.38/301.56 c 104s | 15 | 152958 | 96732 | 12270 14 | 4 | 8 303.48/303.62 c 106s | 15 | 155730 | 98432 | 12270 14 | 4 | 8 305.57/305.74 c 108s | 15 | 158964 | 100432 | 12270 15 | 4 | 8 307.67/307.81 c 110s | 15 | 161892 | 102532 | 12270 15 | 4 | 8 309.67/309.87 c 112s | 15 | 164724 | 104232 | 12270 15 | 4 | 8 311.77/311.91 c 114s | 15 | 167350 | 106032 | 12270 16 | 4 | 8 313.77/313.93 c 116s | 15 | 170215 | 108132 | 12270 16 | 4 | 8 315.87/316.02 c 118s | 15 | 173311 | 110132 | 12270 16 | 4 | 8 317.87/318.04 c 120s | 15 | 176480 | 112232 | 12270 16 | 4 | 8 319.86/320.10 c 122s | 15 | 179730 | 114532 | 12270 17 | 4 | 8 321.96/322.15 c 124s | 15 | 183185 | 116932 | 12270 17 | 4 | 8 323.96/324.15 c 126s | 15 | 185992 | 118932 | 12270 18 | 4 | 8 326.06/326.21 c 128s | 15 | 189139 | 121232 | 12270 18 | 4 | 8 328.07/328.28 c 130s | 15 | 191943 | 123132 | 12270 18 | 4 | 8 330.16/330.38 c 133s | 15 | 194705 | 125032 | 12270 18 | 4 | 8 332.26/332.44 c 135s | 15 | 197736 | 127132 | 12270 19 | 4 | 8 334.27/334.45 c 137s | 15 | 200435 | 129232 | 12270 19 | 4 | 8 336.26/336.44 c 139s | 16 | 203554 | 131552 | 13498 19 | 4 | 8 338.26/338.45 c 141s | 16 | 204404 | 132152 | 13498 19 | 4 | 8 340.36/340.53 c 143s | 16 | 206737 | 133652 | 13498 20 | 4 | 8 342.46/342.60 c 145s | 16 | 209796 | 135552 | 13498 20 | 4 | 8 344.46/344.68 c 147s | 16 | 212803 | 137552 | 13498 20 | 4 | 8 346.56/346.70 c 149s | 16 | 215713 | 139352 | 13498 20 | 4 | 8 348.56/348.77 c 151s | 16 | 218736 | 141352 | 13498 21 | 4 | 8 350.65/350.81 c 153s | 16 | 221581 | 143252 | 13498 21 | 4 | 8 352.75/352.94 c 155s | 16 | 224141 | 145152 | 13498 21 | 4 | 8 354.95/355.11 c 157s | 16 | 227043 | 147152 | 13498 22 | 4 | 8 357.05/357.20 c 159s | 16 | 230309 | 149252 | 13498 22 | 4 | 8 359.05/359.25 c 161s | 16 | 233436 | 151252 | 13498 22 | 4 | 8 361.15/361.35 c 164s | 16 | 236774 | 153552 | 13498 22 | 4 | 8 363.24/363.40 c 166s | 16 | 239675 | 155452 | 13498 23 | 4 | 8 365.24/365.47 c 168s | 16 | 243058 | 157752 | 13498 23 | 4 | 8 367.25/367.49 c 170s | 16 | 246042 | 159952 | 13498 23 | 4 | 8 369.34/369.57 c 172s | 16 | 248843 | 161752 | 13498 24 | 4 | 8 371.44/371.61 c 174s | 16 | 251695 | 163852 | 13498 24 | 4 | 8 373.44/373.67 c 176s | 16 | 254660 | 165852 | 13498 24 | 4 | 8 375.54/375.71 c 178s | 16 | 257896 | 168052 | 13498 24 | 4 | 8 377.54/377.72 c 180s | 16 | 260736 | 170152 | 13498 25 | 4 | 8 379.53/379.73 c 182s | 16 | 263704 | 172352 | 13498 25 | 4 | 8 381.64/381.82 c 184s | 16 | 266781 | 174552 | 13498 25 | 4 | 8 383.63/383.85 c 186s | 16 | 270009 | 177052 | 13498 26 | 4 | 8 385.74/385.91 c 188s | 16 | 270355 | 177252 | 13498 26 | 4 | 8 387.83/388.01 c 190s | 16 | 272678 | 178652 | 13498 26 | 4 | 8 389.83/390.01 c 192s | 16 | 275882 | 180552 | 13498 26 | 4 | 8 391.83/392.05 c 194s | 16 | 278335 | 182252 | 13498 26 | 4 | 8 393.83/394.06 c 196s | 16 | 280743 | 183952 | 13498 27 | 4 | 8 395.84/396.09 c 198s | 16 | 283890 | 185952 | 13498 27 | 4 | 8 397.93/398.12 c 200s | 16 | 287130 | 187852 | 13498 27 | 4 | 8 399.93/400.13 c 202s | 16 | 290027 | 189752 | 13498 27 | 4 | 8 401.93/402.19 c 204s | 16 | 293522 | 192252 | 13498 28 | 4 | 8 404.03/404.22 c 206s | 16 | 296361 | 194152 | 13498 28 | 4 | 8 406.03/406.27 c 208s | 16 | 298746 | 195752 | 13498 28 | 4 | 8 408.13/408.35 c 211s | 17 | 300859 | 197432 | 13498 29 | 4 | 8 410.13/410.37 c 213s | 17 | 303856 | 199432 | 13498 29 | 4 | 8 412.22/412.41 c 215s | 17 | 306863 | 201532 | 13498 29 | 4 | 8 414.22/414.46 c 217s | 17 | 309917 | 203632 | 13498 29 | 4 | 8 416.32/416.55 c 219s | 17 | 313075 | 205832 | 13498 30 | 4 | 8 418.32/418.57 c 221s | 17 | 315671 | 207632 | 13498 30 | 4 | 8 420.32/420.59 c 223s | 17 | 318218 | 209432 | 13498 30 | 4 | 8 422.52/422.70 c 225s | 17 | 320950 | 211432 | 13498 31 | 4 | 8 424.53/424.74 c 227s | 17 | 324653 | 213932 | 13498 31 | 4 | 8 426.63/426.81 c 229s | 17 | 327649 | 216132 | 13498 31 | 4 | 8 428.61/428.81 c 231s | 17 | 330637 | 218332 | 13498 31 | 4 | 8 430.61/430.84 c 233s | 17 | 333923 | 220732 | 13498 32 | 4 | 8 432.71/432.93 c 235s | 17 | 335085 | 221632 | 13498 32 | 4 | 8 434.71/434.99 c 237s | 17 | 336755 | 222632 | 13498 32 | 4 | 8 436.81/437.08 c 239s | 17 | 340000 | 224432 | 13498 32 | 4 | 8 438.91/439.14 c 241s | 17 | 342349 | 226032 | 13498 33 | 4 | 8 441.01/441.28 c 243s | 17 | 345497 | 227932 | 13498 33 | 4 | 8 443.11/443.40 c 246s | 17 | 348156 | 229632 | 13498 33 | 4 | 8 445.20/445.47 c 248s | 17 | 350784 | 231332 | 13498 33 | 4 | 8 447.30/447.55 c 250s | 17 | 353479 | 233132 | 13498 34 | 4 | 8 449.40/449.65 c 252s | 17 | 356991 | 235432 | 13498 34 | 4 | 8 451.50/451.71 c 254s | 17 | 360243 | 237432 | 13498 34 | 4 | 8 453.50/453.73 c 256s | 17 | 363453 | 239532 | 13498 34 | 4 | 8 455.50/455.75 c 258s | 17 | 366562 | 241732 | 13498 35 | 4 | 8 457.60/457.82 c 260s | 17 | 369564 | 243732 | 13498 35 | 4 | 8 459.70/459.92 c 262s | 17 | 372522 | 245732 | 13498 35 | 4 | 8 461.80/462.01 c 264s | 17 | 375356 | 247732 | 13498 36 | 4 | 8 463.79/464.05 c 266s | 17 | 378867 | 250032 | 13498 36 | 4 | 8 465.79/466.09 c 268s | 17 | 381915 | 252232 | 13498 36 | 4 | 8 467.89/468.13 c 270s | 17 | 385037 | 254432 | 13498 37 | 4 | 8 469.89/470.14 c 272s | 17 | 388370 | 256732 | 13498 37 | 4 | 8 471.99/472.20 c 274s | 17 | 391559 | 259032 | 13498 37 | 4 | 8 473.99/474.22 c 276s | 17 | 394766 | 261332 | 13498 37 | 4 | 8 477.98/478.28 c 280s | 17 | 397867 | 263732 | 13498 38 | 4 | 8 480.08/480.33 c 283s | 17 | 400329 | 265332 | 13498 38 | 4 | 8 482.08/482.37 c 285s | 17 | 402985 | 267032 | 13498 38 | 4 | 8 484.19/484.49 c 287s | 17 | 405520 | 268932 | 13498 39 | 4 | 8 486.29/486.59 c 289s | 17 | 408433 | 270732 | 13498 39 | 4 | 8 488.29/488.59 c 291s | 17 | 411535 | 272632 | 13498 39 | 4 | 8 490.39/490.65 c 293s | 17 | 414472 | 274432 | 13498 39 | 4 | 8 492.39/492.69 c 295s | 17 | 417811 | 276432 | 13498 40 | 4 | 8 494.49/494.74 c 297s | 17 | 420888 | 278632 | 14848 40 | 4 | 8 496.59/496.81 c 299s | 17 | 424096 | 280532 | 14848 40 | 4 | 8 498.58/498.83 c 301s | 17 | 426832 | 282432 | 14848 40 | 4 | 8 500.68/500.95 c 303s | 17 | 429844 | 284532 | 14848 41 | 4 | 8 502.78/503.00 c 305s | 17 | 432928 | 286732 | 14848 41 | 4 | 8 504.79/505.01 c 307s | 17 | 435776 | 288932 | 14848 41 | 4 | 8 506.78/507.02 c 309s | 17 | 438727 | 291132 | 14848 41 | 4 | 8 508.78/509.09 c 311s | 17 | 440443 | 292332 | 14848 42 | 4 | 8 510.87/511.17 c 313s | 17 | 442849 | 293732 | 14848 42 | 4 | 8 512.97/513.26 c 315s | 17 | 445897 | 295732 | 14848 42 | 4 | 8 513.48/513.76 c 316s | 18 | 446610 | 296252 | 14848 42 | 4 | 8 515.57/515.82 c 318s | 18 | 448779 | 297452 | 14848 42 | 4 | 8 517.67/517.91 c 320s | 18 | 451947 | 299252 | 14848 42 | 4 | 8 519.67/519.95 c 322s | 18 | 454768 | 300952 | 14848 43 | 4 | 8 521.77/522.06 c 324s | 18 | 457845 | 302852 | 14848 43 | 4 | 8 523.87/524.14 c 326s | 18 | 460814 | 304852 | 14848 43 | 4 | 8 525.87/526.19 c 328s | 18 | 463995 | 306952 | 14848 43 | 4 | 8 527.97/528.20 c 330s | 18 | 466592 | 308552 | 14848 44 | 4 | 8 529.97/530.23 c 332s | 18 | 469922 | 310652 | 14848 44 | 4 | 8 532.06/532.35 c 335s | 18 | 472807 | 312552 | 14848 44 | 4 | 8 534.16/534.41 c 337s | 18 | 475614 | 314452 | 14848 44 | 4 | 8 536.16/536.46 c 339s | 18 | 478870 | 316652 | 14848 45 | 4 | 8 538.26/538.52 c 341s | 18 | 481511 | 318352 | 14848 45 | 4 | 8 540.36/540.60 c 343s | 18 | 484132 | 320052 | 14848 45 | 4 | 8 542.36/542.61 c 345s | 18 | 486302 | 321552 | 14848 45 | 4 | 8 544.37/544.64 c 347s | 18 | 488363 | 322952 | 14848 46 | 4 | 8 546.47/546.74 c 349s | 18 | 491117 | 324852 | 14848 46 | 4 | 8 548.56/548.84 c 351s | 18 | 494203 | 327052 | 14848 46 | 4 | 8 550.56/550.87 c 353s | 18 | 496648 | 328752 | 14848 46 | 4 | 8 552.66/552.92 c 355s | 18 | 499235 | 330552 | 14848 47 | 4 | 8 554.66/554.97 c 357s | 18 | 502072 | 332652 | 14848 47 | 4 | 8 556.66/556.97 c 359s | 18 | 504626 | 334352 | 14848 47 | 4 | 8 558.75/559.06 c 361s | 18 | 507164 | 336252 | 14848 47 | 4 | 8 560.76/561.07 c 363s | 18 | 509540 | 337952 | 14848 47 | 4 | 8 562.85/563.11 c 365s | 18 | 511887 | 339752 | 14848 48 | 4 | 8 564.85/565.18 c 367s | 18 | 514496 | 341852 | 14848 48 | 4 | 8 566.95/567.25 c 369s | 18 | 516733 | 343652 | 14848 48 | 4 | 8 569.04/569.38 c 372s | 18 | 518295 | 344552 | 14848 48 | 4 | 8 571.14/571.44 c 374s | 18 | 520608 | 346052 | 14848 48 | 4 | 8 573.14/573.45 c 376s | 18 | 523132 | 347652 | 14848 49 | 4 | 8 575.24/575.57 c 378s | 18 | 524735 | 348652 | 14848 49 | 4 | 8 577.35/577.61 c 380s | 18 | 527501 | 350152 | 14848 49 | 4 | 8 579.34/579.62 c 382s | 18 | 530107 | 351752 | 14848 49 | 4 | 8 581.34/581.62 c 384s | 18 | 533191 | 353452 | 14848 49 | 4 | 8 583.44/583.72 c 386s | 18 | 536495 | 355352 | 14848 50 | 4 | 8 585.44/585.78 c 388s | 18 | 539954 | 357452 | 14848 50 | 4 | 8 587.44/587.79 c 390s | 18 | 542717 | 359152 | 14848 50 | 4 | 8 589.53/589.83 c 392s | 18 | 545753 | 361052 | 14848 50 | 4 | 8 591.54/591.87 c 394s | 18 | 548214 | 362852 | 14848 51 | 4 | 8 593.63/593.94 c 396s | 18 | 551037 | 364952 | 14848 51 | 4 | 8 595.73/596.05 c 398s | 18 | 553909 | 366752 | 14848 51 | 4 | 8 597.73/598.09 c 400s | 18 | 556444 | 368652 | 14848 51 | 4 | 8 599.82/600.10 c 402s | 18 | 559401 | 370652 | 14848 52 | 4 | 8 601.82/602.19 c 404s | 18 | 562332 | 372752 | 14848 52 | 4 | 8 603.92/604.25 c 406s | 18 | 565173 | 374652 | 14848 52 | 4 | 8 606.02/606.36 c 409s | 18 | 568218 | 376652 | 14848 52 | 4 | 8 608.03/608.37 c 411s | 18 | 571193 | 378752 | 14848 53 | 4 | 8 610.91/611.23 c 413s | 18 | 573299 | 380252 | 14848 53 | 4 | 8 612.91/613.28 c 415s | 18 | 576046 | 382052 | 14848 53 | 4 | 8 615.01/615.32 c 418s | 18 | 578827 | 383852 | 14848 53 | 4 | 8 617.01/617.34 c 420s | 18 | 581616 | 385752 | 14848 54 | 4 | 8 619.02/619.40 c 422s | 18 | 584852 | 387752 | 14848 54 | 4 | 8 621.22/621.52 c 424s | 18 | 587487 | 389552 | 14848 54 | 4 | 8 623.21/623.55 c 426s | 18 | 590633 | 391552 | 14848 54 | 4 | 8 625.21/625.58 c 428s | 18 | 593024 | 393052 | 14848 55 | 4 | 8 627.31/627.66 c 430s | 18 | 596132 | 395052 | 14848 55 | 4 | 8 629.31/629.66 c 432s | 18 | 599385 | 397252 | 14848 55 | 4 | 8 631.31/631.68 c 434s | 18 | 602480 | 399352 | 14848 55 | 4 | 8 633.41/633.73 c 436s | 18 | 605242 | 401252 | 14848 56 | 4 | 8 635.40/635.78 c 438s | 18 | 608518 | 403452 | 14848 56 | 4 | 8 637.50/637.87 c 440s | 18 | 611748 | 405652 | 14848 56 | 4 | 8 639.60/639.90 c 442s | 18 | 614569 | 407552 | 14848 56 | 4 | 8 641.60/641.95 c 444s | 18 | 617488 | 409752 | 14848 57 | 4 | 8 643.70/644.00 c 446s | 18 | 620412 | 411852 | 14848 57 | 4 | 8 645.70/646.06 c 448s | 18 | 623381 | 414052 | 14848 57 | 4 | 8 647.80/648.14 c 450s | 18 | 625969 | 416052 | 14848 57 | 4 | 8 649.90/650.22 c 452s | 18 | 628803 | 418252 | 14848 58 | 4 | 8 652.80/653.16 c 455s | 18 | 630551 | 419752 | 14848 58 | 4 | 8 654.90/655.24 c 457s | 18 | 632549 | 420952 | 14848 58 | 4 | 8 657.00/657.32 c 460s | 18 | 635328 | 422752 | 14848 58 | 4 | 8 658.99/659.35 c 462s | 18 | 637933 | 424352 | 14848 59 | 4 | 8 660.99/661.37 c 464s | 18 | 641863 | 426752 | 14848 59 | 4 | 8 663.10/663.46 c 466s | 18 | 645360 | 429052 | 14848 59 | 4 | 8 665.09/665.47 c 468s | 18 | 648585 | 431052 | 14848 59 | 4 | 8 667.19/667.53 c 470s | 18 | 652048 | 433252 | 14848 60 | 4 | 8 669.19/669.56 c 472s | 18 | 655827 | 435752 | 14848 60 | 4 | 8 671.69/672.08 c 474s | 18 | 659359 | 438252 | 14848 60 | 4 | 8 673.99/674.32 c 477s | 18 | 661996 | 439852 | 14848 61 | 4 | 8 675.99/676.34 c 479s | 18 | 665056 | 441752 | 14848 61 | 4 | 8 677.99/678.37 c 481s | 18 | 667764 | 443752 | 14848 61 | 4 | 8 678.89/679.22 c 481s | 19 | 669065 | 444482 | 14848 61 | 4 | 8 680.98/681.39 c 484s | 19 | 672026 | 446282 | 14848 61 | 4 | 8 683.18/683.55 c 486s | 19 | 673373 | 447082 | 14848 62 | 4 | 8 685.29/685.64 c 488s | 19 | 676512 | 448882 | 14848 62 | 4 | 8 688.19/688.55 c 491s | 19 | 680089 | 450982 | 14848 62 | 4 | 8 690.29/690.63 c 493s | 19 | 683644 | 452982 | 14848 62 | 4 | 8 692.29/692.69 c 495s | 19 | 687083 | 454982 | 14848 62 | 4 | 8 694.39/694.71 c 497s | 19 | 690441 | 457182 | 14848 63 | 4 | 8 696.39/696.74 c 499s | 19 | 693838 | 459282 | 14848 63 | 4 | 8 698.49/698.83 c 501s | 19 | 696698 | 461182 | 14848 63 | 4 | 8 700.59/700.90 c 503s | 19 | 699448 | 463182 | 14848 63 | 4 | 8 702.70/703.02 c 505s | 19 | 702120 | 464982 | 14848 64 | 4 | 8 704.69/705.08 c 507s | 19 | 705075 | 466782 | 14848 64 | 4 | 8 706.79/707.14 c 509s | 19 | 707762 | 468582 | 14848 64 | 4 | 8 708.89/709.21 c 511s | 19 | 710613 | 470482 | 14848 64 | 4 | 8 710.89/711.28 c 513s | 19 | 714081 | 472682 | 14848 65 | 4 | 8 712.99/713.36 c 516s | 19 | 717197 | 474682 | 14848 65 | 4 | 8 714.99/715.36 c 518s | 19 | 720106 | 476682 | 14848 65 | 4 | 8 717.09/717.43 c 520s | 19 | 723403 | 478782 | 14848 65 | 4 | 8 719.09/719.47 c 522s | 19 | 726268 | 480782 | 14848 66 | 4 | 8 721.19/721.55 c 524s | 19 | 729344 | 483082 | 14848 66 | 4 | 8 723.78/724.18 c 526s | 19 | 730065 | 483582 | 14848 66 | 4 | 8 725.88/726.24 c 528s | 19 | 732143 | 484682 | 14848 66 | 4 | 8 727.89/728.29 c 530s | 19 | 734881 | 486282 | 14848 66 | 4 | 8 729.98/730.39 c 533s | 19 | 737582 | 487982 | 14848 67 | 4 | 8 732.08/732.41 c 535s | 19 | 740396 | 489782 | 14848 67 | 4 | 8 734.08/734.43 c 537s | 19 | 743229 | 491582 | 14848 67 | 4 | 8 736.18/736.55 c 539s | 19 | 746180 | 493582 | 14848 67 | 4 | 8 738.18/738.57 c 541s | 19 | 748938 | 495582 | 14848 68 | 4 | 8 740.18/740.58 c 543s | 19 | 751007 | 496882 | 14848 68 | 4 | 8 742.18/742.59 c 545s | 19 | 753095 | 498382 | 16333 68 | 4 | 8 744.27/744.65 c 547s | 19 | 756014 | 500182 | 16333 68 | 4 | 8 746.37/746.73 c 549s | 19 | 758835 | 501982 | 16333 68 | 4 | 8 748.47/748.82 c 551s | 19 | 761304 | 503682 | 16333 68 | 4 | 8 750.47/750.88 c 553s | 19 | 764532 | 505782 | 16333 69 | 4 | 8 752.57/752.97 c 555s | 19 | 767730 | 507882 | 16333 69 | 4 | 8 754.67/755.06 c 557s | 19 | 770614 | 509882 | 16333 69 | 4 | 8 756.67/757.09 c 559s | 19 | 773004 | 511482 | 16333 69 | 4 | 8 758.78/759.14 c 561s | 19 | 775477 | 513182 | 16333 70 | 4 | 8 760.77/761.15 c 563s | 19 | 778007 | 514982 | 16333 70 | 4 | 8 762.77/763.18 c 565s | 19 | 780413 | 516782 | 16333 70 | 4 | 8 764.87/765.21 c 567s | 19 | 782672 | 518382 | 16333 70 | 4 | 8 766.87/767.27 c 569s | 19 | 785158 | 520182 | 16333 70 | 4 | 8 768.97/769.36 c 572s | 19 | 787868 | 522082 | 16333 71 | 4 | 8 770.97/771.38 c 574s | 19 | 790473 | 524082 | 16333 71 | 4 | 8 772.99/773.39 c 576s | 19 | 792978 | 525982 | 16333 71 | 4 | 8 775.08/775.47 c 578s | 19 | 795394 | 527782 | 16333 71 | 4 | 8 777.18/777.51 c 580s | 19 | 797877 | 529682 | 16333 72 | 4 | 8 779.18/779.55 c 582s | 19 | 800605 | 531882 | 16333 72 | 4 | 8 781.18/781.57 c 584s | 19 | 803316 | 534182 | 16333 72 | 4 | 8 784.27/784.61 c 587s | 19 | 804038 | 534682 | 16333 72 | 4 | 8 786.28/786.68 c 589s | 19 | 806340 | 536082 | 16333 72 | 4 | 8 788.27/788.69 c 591s | 19 | 808962 | 537682 | 16333 73 | 4 | 8 790.37/790.70 c 593s | 19 | 811850 | 539482 | 16333 73 | 4 | 8 792.47/792.83 c 595s | 19 | 815117 | 541582 | 16333 73 | 4 | 8 794.47/794.87 c 597s | 19 | 818187 | 543482 | 16333 73 | 4 | 8 796.67/797.00 c 599s | 19 | 821078 | 545382 | 16333 73 | 4 | 8 798.77/799.10 c 601s | 19 | 823854 | 547282 | 16333 74 | 4 | 8 800.77/801.15 c 603s | 19 | 826706 | 549282 | 16333 74 | 4 | 8 802.78/803.17 c 605s | 19 | 829702 | 551482 | 16333 74 | 4 | 8 804.88/805.24 c 607s | 19 | 831848 | 552882 | 16333 74 | 4 | 8 806.97/807.35 c 610s | 19 | 834389 | 554482 | 16333 74 | 4 | 8 808.97/809.39 c 612s | 19 | 836778 | 556182 | 16333 75 | 4 | 8 810.97/811.39 c 614s | 19 | 839563 | 558082 | 16333 75 | 4 | 8 813.07/813.40 c 616s | 19 | 842185 | 559882 | 16333 75 | 4 | 8 815.07/815.45 c 618s | 19 | 844848 | 561882 | 16333 75 | 4 | 8 817.27/817.61 c 620s | 19 | 847340 | 563582 | 16333 76 | 4 | 8 819.27/819.64 c 622s | 19 | 850389 | 565782 | 16333 76 | 4 | 8 821.27/821.66 c 624s | 19 | 853081 | 567582 | 16333 76 | 4 | 8 823.36/823.70 c 626s | 19 | 855583 | 569482 | 16333 76 | 4 | 8 825.36/825.76 c 628s | 19 | 858212 | 571382 | 16333 76 | 4 | 8 827.36/827.78 c 630s | 19 | 860772 | 573282 | 16333 77 | 4 | 8 829.46/829.83 c 632s | 19 | 863286 | 575282 | 16333 77 | 4 | 8 831.46/831.85 c 634s | 19 | 866042 | 577282 | 16333 77 | 4 | 8 833.57/833.92 c 636s | 19 | 868897 | 579582 | 16333 77 | 4 | 8 836.27/836.61 c 639s | 19 | 869565 | 580082 | 16333 77 | 4 | 8 838.27/838.62 c 641s | 19 | 871489 | 581282 | 16333 78 | 4 | 8 840.37/840.74 c 643s | 19 | 874307 | 583182 | 16333 78 | 4 | 8 842.47/842.83 c 645s | 19 | 877159 | 585082 | 16333 78 | 4 | 8 844.48/844.86 c 647s | 19 | 879973 | 586982 | 16333 78 | 4 | 8 846.47/846.89 c 649s | 19 | 882413 | 588682 | 16333 78 | 4 | 8 848.57/848.91 c 651s | 19 | 884665 | 590282 | 16333 79 | 4 | 8 850.57/850.92 c 653s | 19 | 887026 | 591882 | 16333 79 | 4 | 8 852.67/853.04 c 655s | 19 | 889784 | 593882 | 16333 79 | 4 | 8 854.77/855.17 c 657s | 19 | 892105 | 595582 | 16333 79 | 4 | 8 856.87/857.24 c 659s | 19 | 894123 | 597082 | 16333 79 | 4 | 8 858.87/859.25 c 661s | 19 | 896415 | 598782 | 16333 80 | 4 | 8 860.87/861.29 c 663s | 19 | 899433 | 600882 | 16333 80 | 4 | 8 862.96/863.35 c 666s | 19 | 902228 | 602782 | 16333 80 | 4 | 8 865.06/865.42 c 668s | 19 | 904744 | 604582 | 16333 80 | 4 | 8 867.06/867.48 c 670s | 19 | 907185 | 606282 | 16333 81 | 4 | 8 869.16/869.52 c 672s | 19 | 910014 | 608482 | 16333 81 | 4 | 8 871.16/871.57 c 674s | 19 | 912540 | 610482 | 16333 81 | 4 | 8 873.96/874.38 c 677s | 19 | 913871 | 611582 | 16333 81 | 4 | 8 876.06/876.47 c 679s | 19 | 916376 | 613082 | 16333 81 | 4 | 8 878.16/878.57 c 681s | 19 | 918647 | 614582 | 16333 82 | 4 | 8 880.26/880.61 c 683s | 19 | 921276 | 616582 | 16333 82 | 4 | 8 882.36/882.70 c 685s | 19 | 923994 | 618482 | 16333 82 | 4 | 8 884.36/884.79 c 687s | 19 | 926908 | 620382 | 16333 82 | 4 | 8 886.46/886.88 c 689s | 19 | 929428 | 622182 | 16333 82 | 4 | 8 888.57/888.96 c 691s | 19 | 932075 | 623882 | 16333 83 | 4 | 8 890.67/891.08 c 693s | 19 | 934881 | 625882 | 16333 83 | 4 | 8 892.76/893.19 c 695s | 19 | 937731 | 627982 | 16333 83 | 4 | 8 894.86/895.20 c 697s | 19 | 940802 | 630082 | 16333 83 | 4 | 8 896.96/897.31 c 699s | 19 | 943492 | 631982 | 16333 83 | 4 | 8 898.96/899.33 c 702s | 19 | 946549 | 634182 | 16333 84 | 4 | 8 900.96/901.33 c 704s | 19 | 947588 | 634982 | 16333 84 | 4 | 8 902.96/903.38 c 706s | 19 | 950183 | 636782 | 16333 84 | 4 | 8 905.06/905.41 c 708s | 19 | 952443 | 638482 | 16333 84 | 4 | 8 907.06/907.42 c 710s | 19 | 954652 | 640082 | 16333 84 | 4 | 8 909.16/909.54 c 712s | 19 | 957294 | 641982 | 16333 85 | 4 | 8 911.26/911.60 c 714s | 19 | 959871 | 643782 | 16333 85 | 4 | 8 913.26/913.61 c 716s | 19 | 962935 | 645982 | 16333 85 | 4 | 8 915.25/915.67 c 718s | 19 | 965802 | 647982 | 16333 85 | 4 | 8 917.45/917.89 c 720s | 19 | 967860 | 649382 | 16333 86 | 4 | 8 919.55/919.90 c 722s | 19 | 970479 | 651182 | 16333 86 | 4 | 8 921.56/921.94 c 724s | 19 | 973356 | 653182 | 16333 86 | 4 | 8 923.55/923.99 c 726s | 19 | 976265 | 655182 | 16333 86 | 4 | 8 925.75/926.11 c 728s | 19 | 979394 | 657482 | 16333 86 | 4 | 8 927.75/928.14 c 730s | 19 | 982065 | 659482 | 16333 87 | 4 | 8 929.85/930.25 c 732s | 19 | 984976 | 661682 | 16333 87 | 4 | 8 931.85/932.29 c 734s | 19 | 987728 | 663782 | 16333 87 | 4 | 8 933.95/934.37 c 737s | 19 | 990263 | 665782 | 16333 87 | 4 | 8 935.05/935.47 c 738s | 20 | 991594 | 666827 | 16333 87 | 4 | 8 938.95/939.35 c 742s | 20 | 992045 | 667127 | 16333 88 | 4 | 8 941.26/941.68 c 744s | 20 | 992734 | 667627 | 16333 88 | 4 | 8 943.35/943.76 c 746s | 20 | 995467 | 669627 | 16333 88 | 4 | 8 945.35/945.79 c 748s | 20 | 998535 | 671727 | 16333 88 | 4 | 8 947.35/947.79 c 750s | 20 | 1001417 | 673627 | 16333 88 | 4 | 8 949.45/949.87 c 752s | 20 | 1003954 | 675427 | 16333 89 | 4 | 8 951.55/951.99 c 754s | 20 | 1006849 | 677627 | 16333 89 | 4 | 8 953.75/954.10 c 756s | 20 | 1009367 | 679527 | 16333 89 | 4 | 8 955.75/956.11 c 758s | 20 | 1011984 | 681327 | 16333 89 | 4 | 8 957.76/958.14 c 760s | 20 | 1014354 | 683127 | 16333 89 | 4 | 8 959.85/960.21 c 762s | 20 | 1016939 | 685127 | 16333 90 | 4 | 8 961.85/962.28 c 764s | 20 | 1019838 | 687327 | 16333 90 | 4 | 8 963.95/964.31 c 766s | 20 | 1022720 | 689427 | 16333 90 | 4 | 8 965.95/966.39 c 769s | 20 | 1025255 | 691427 | 16333 90 | 4 | 8 969.25/969.61 c 772s | 20 | 1027118 | 692927 | 16333 91 | 4 | 8 971.35/971.71 c 774s | 20 | 1030254 | 694927 | 16333 91 | 4 | 8 973.35/973.71 c 776s | 20 | 1032674 | 696427 | 16333 91 | 4 | 8 975.35/975.74 c 778s | 20 | 1035406 | 698327 | 16333 91 | 4 | 8 977.34/977.76 c 780s | 20 | 1037890 | 699927 | 16333 91 | 4 | 8 979.44/979.83 c 782s | 20 | 1040768 | 701627 | 16333 92 | 4 | 8 981.54/981.91 c 784s | 20 | 1043397 | 703327 | 16333 92 | 4 | 8 983.54/983.93 c 786s | 20 | 1045740 | 705027 | 16333 92 | 4 | 8 985.54/985.98 c 788s | 20 | 1048483 | 706727 | 16333 92 | 4 | 8 987.64/988.02 c 790s | 20 | 1051106 | 708427 | 16333 92 | 4 | 8 989.65/990.08 c 792s | 20 | 1053721 | 710227 | 16333 93 | 4 | 8 991.74/992.16 c 794s | 20 | 1056890 | 712227 | 16333 93 | 4 | 8 993.94/994.30 c 796s | 20 | 1059401 | 714127 | 16333 93 | 4 | 8 995.94/996.33 c 799s | 20 | 1061889 | 715827 | 16333 93 | 4 | 8 998.04/998.46 c 801s | 20 | 1064751 | 717727 | 16333 93 | 4 | 8 1000.14/1000.55 c 803s | 20 | 1067664 | 719627 | 16333 94 | 4 | 8 1002.14/1002.57 c 805s | 20 | 1070419 | 721627 | 16333 94 | 4 | 8 1004.24/1004.66 c 807s | 20 | 1072884 | 723427 | 16333 94 | 4 | 8 1006.34/1006.75 c 809s | 20 | 1075553 | 725427 | 16333 94 | 4 | 8 1008.34/1008.77 c 811s | 20 | 1078245 | 727427 | 16333 95 | 4 | 8 1010.34/1010.77 c 813s | 20 | 1081138 | 729627 | 16333 95 | 4 | 8 1012.44/1012.85 c 815s | 20 | 1083531 | 731427 | 16333 95 | 4 | 8 1014.54/1014.95 c 817s | 20 | 1086046 | 733127 | 16333 95 | 4 | 8 1017.24/1017.61 c 820s | 20 | 1087741 | 734427 | 16333 95 | 4 | 8 1019.35/1019.71 c 822s | 20 | 1088920 | 735027 | 16333 96 | 4 | 8 1021.34/1021.79 c 824s | 20 | 1091652 | 736627 | 16333 96 | 4 | 8 1023.34/1023.79 c 826s | 20 | 1094568 | 738427 | 16333 96 | 4 | 8 1025.44/1025.81 c 828s | 20 | 1097098 | 740127 | 16333 96 | 4 | 8 1027.44/1027.83 c 830s | 20 | 1099591 | 741927 | 16333 96 | 4 | 8 1029.54/1029.91 c 832s | 20 | 1101869 | 743527 | 16333 97 | 4 | 8 1031.64/1032.00 c 834s | 20 | 1104640 | 745227 | 16333 97 | 4 | 8 1033.65/1034.10 c 836s | 20 | 1107571 | 747127 | 16333 97 | 4 | 8 1035.74/1036.12 c 838s | 20 | 1110059 | 748827 | 16333 97 | 4 | 8 1037.84/1038.22 c 840s | 20 | 1112541 | 750627 | 16333 97 | 4 | 8 1039.84/1040.29 c 842s | 20 | 1114878 | 752227 | 16333 98 | 4 | 8 1041.94/1042.34 c 845s | 20 | 1117541 | 753927 | 16333 98 | 4 | 8 1043.94/1044.37 c 847s | 20 | 1119996 | 755527 | 16333 98 | 4 | 8 1046.04/1046.41 c 849s | 20 | 1122544 | 757427 | 16333 98 | 4 | 8 1048.04/1048.42 c 851s | 20 | 1124708 | 758927 | 16333 98 | 4 | 8 1050.04/1050.44 c 853s | 20 | 1126957 | 760427 | 16333 98 | 4 | 8 1052.04/1052.48 c 855s | 20 | 1129693 | 762327 | 16333 99 | 4 | 8 1054.13/1054.57 c 857s | 20 | 1132045 | 764027 | 16333 99 | 4 | 8 1056.23/1056.65 c 859s | 20 | 1134123 | 765627 | 16333 99 | 4 | 8 1058.33/1058.70 c 861s | 20 | 1136550 | 767227 | 16333 99 | 4 | 8 1060.43/1060.81 c 863s | 20 | 1138947 | 769027 | 16333 99 | 4 | 8 1062.43/1062.83 c 865s | 20 | 1141313 | 770927 | 16333 100 | 4 | 8 1064.54/1064.91 c 867s | 20 | 1142411 | 771827 | 16333 100 | 4 | 8 1066.64/1067.01 c 869s | 20 | 1144860 | 773227 | 16333 100 | 4 | 8 1068.63/1069.02 c 871s | 20 | 1147641 | 774927 | 16333 100 | 4 | 8 1070.73/1071.11 c 873s | 20 | 1148929 | 775727 | 16333 100 | 4 | 8 1072.73/1073.14 c 875s | 20 | 1151724 | 777427 | 16333 100 | 4 | 8 1074.73/1075.18 c 877s | 20 | 1154843 | 779227 | 16333 101 | 4 | 8 1076.83/1077.20 c 879s | 20 | 1157904 | 781227 | 16333 101 | 4 | 8 1078.84/1079.26 c 881s | 20 | 1160727 | 783027 | 16333 101 | 4 | 8 1080.83/1081.27 c 883s | 20 | 1163358 | 784827 | 16333 101 | 4 | 8 1082.83/1083.29 c 885s | 20 | 1166087 | 786727 | 16333 102 | 4 | 8 1084.93/1085.33 c 888s | 20 | 1169277 | 789027 | 16333 102 | 4 | 8 1086.93/1087.38 c 890s | 20 | 1172408 | 791227 | 16333 102 | 4 | 8 1089.03/1089.43 c 892s | 20 | 1175081 | 793327 | 16333 102 | 4 | 8 1091.03/1091.49 c 894s | 20 | 1176916 | 794627 | 16333 103 | 4 | 8 1093.13/1093.58 c 896s | 20 | 1179583 | 796327 | 16333 103 | 4 | 8 1095.23/1095.70 c 898s | 20 | 1182669 | 798427 | 16333 103 | 4 | 8 1097.33/1097.77 c 900s | 20 | 1185458 | 800227 | 16333 103 | 4 | 8 1099.52/1099.91 c 902s | 20 | 1188536 | 802327 | 16333 103 | 4 | 8 1101.62/1102.09 c 904s | 20 | 1191053 | 804127 | 16333 104 | 4 | 8 1103.72/1104.10 c 906s | 20 | 1193715 | 806027 | 16333 104 | 4 | 8 1105.82/1106.20 c 908s | 20 | 1196777 | 808127 | 16333 104 | 4 | 8 1107.82/1108.24 c 910s | 20 | 1199658 | 810027 | 16333 104 | 4 | 8 1109.92/1110.32 c 913s | 20 | 1202289 | 811927 | 16333 105 | 4 | 8 1112.52/1112.97 c 915s | 20 | 1205420 | 814127 | 16333 105 | 4 | 8 1114.62/1115.01 c 917s | 20 | 1207685 | 815627 | 16333 105 | 4 | 8 1116.62/1117.01 c 919s | 20 | 1210570 | 817327 | 16333 105 | 4 | 8 1118.62/1119.06 c 921s | 20 | 1213241 | 819127 | 16333 105 | 4 | 8 1120.72/1121.15 c 923s | 20 | 1215875 | 820927 | 16333 106 | 4 | 8 1122.73/1123.20 c 925s | 20 | 1218964 | 823127 | 16333 106 | 4 | 8 1124.82/1125.27 c 927s | 20 | 1222108 | 825227 | 16333 106 | 4 | 8 1126.92/1127.33 c 930s | 20 | 1225038 | 827127 | 16333 106 | 4 | 8 1128.92/1129.37 c 932s | 20 | 1227912 | 829227 | 16333 106 | 4 | 8 1131.02/1131.43 c 934s | 20 | 1230247 | 830827 | 17967 107 | 4 | 8 1133.02/1133.49 c 936s | 20 | 1233098 | 832827 | 17967 107 | 4 | 8 1135.12/1135.53 c 938s | 20 | 1236286 | 835127 | 17967 107 | 4 | 8 1137.22/1137.62 c 940s | 20 | 1239020 | 837027 | 17967 107 | 4 | 8 1139.23/1139.67 c 942s | 20 | 1241488 | 838827 | 17967 107 | 4 | 8 1141.32/1141.74 c 944s | 20 | 1244264 | 840827 | 17967 108 | 4 | 8 1143.32/1143.75 c 946s | 20 | 1246788 | 842627 | 17967 108 | 4 | 8 1145.32/1145.78 c 948s | 20 | 1249298 | 844427 | 17967 108 | 4 | 8 1147.32/1147.78 c 950s | 20 | 1251816 | 846327 | 17967 108 | 4 | 8 1149.42/1149.84 c 952s | 20 | 1254326 | 848227 | 17967 108 | 4 | 8 1151.43/1151.84 c 954s | 20 | 1256803 | 850227 | 17967 109 | 4 | 8 1153.53/1153.94 c 956s | 20 | 1257970 | 851127 | 17967 109 | 4 | 8 1155.62/1156.04 c 958s | 20 | 1260278 | 852827 | 17967 109 | 4 | 8 1157.62/1158.06 c 960s | 20 | 1262510 | 854427 | 17967 109 | 4 | 8 1159.72/1160.14 c 962s | 20 | 1264880 | 856127 | 17967 109 | 4 | 8 1161.72/1162.17 c 964s | 20 | 1267263 | 857927 | 17967 109 | 4 | 8 1163.82/1164.21 c 966s | 20 | 1269540 | 859527 | 17967 110 | 4 | 8 1165.82/1166.27 c 968s | 20 | 1272374 | 861727 | 17967 110 | 4 | 8 1167.82/1168.30 c 970s | 20 | 1275074 | 863727 | 17967 110 | 4 | 8 1169.92/1170.35 c 973s | 20 | 1277300 | 865527 | 17967 110 | 4 | 8 1172.02/1172.42 c 975s | 20 | 1279106 | 866927 | 17967 110 | 4 | 8 1174.02/1174.47 c 977s | 20 | 1281637 | 868627 | 17967 111 | 4 | 8 1176.12/1176.52 c 979s | 20 | 1284675 | 870727 | 17967 111 | 4 | 8 1178.12/1178.53 c 981s | 20 | 1287376 | 872827 | 17967 111 | 4 | 8 1180.12/1180.56 c 983s | 20 | 1290020 | 874927 | 17967 111 | 4 | 8 1182.22/1182.65 c 985s | 20 | 1292735 | 877027 | 17967 111 | 4 | 8 1184.32/1184.72 c 987s | 20 | 1294953 | 878627 | 17967 112 | 4 | 8 1186.31/1186.73 c 989s | 20 | 1297718 | 880727 | 17967 112 | 4 | 8 1188.31/1188.79 c 991s | 20 | 1300542 | 882927 | 17967 112 | 4 | 8 1190.41/1190.88 c 993s | 20 | 1303226 | 885127 | 17967 112 | 4 | 8 1192.81/1193.28 c 995s | 20 | 1305615 | 886927 | 17967 113 | 4 | 8 1194.91/1195.34 c 998s | 20 | 1308264 | 889027 | 17967 113 | 4 | 8 1196.91/1197.34 c 1000s | 20 | 1310800 | 891127 | 17967 113 | 4 | 8 1199.01/1199.43 c 1002s | 20 | 1313449 | 893327 | 17967 113 | 4 | 8 1201.01/1201.44 c 1004s | 20 | 1315863 | 895227 | 17967 113 | 4 | 8 1203.02/1203.45 c 1006s | 20 | 1318342 | 897227 | 17967 114 | 4 | 8 1205.01/1205.46 c 1008s | 20 | 1321205 | 899527 | 17967 114 | 4 | 8 1207.11/1207.52 c 1010s | 20 | 1323998 | 901927 | 17967 114 | 4 | 8 1209.21/1209.61 c 1012s | 20 | 1326735 | 904227 | 17967 114 | 4 | 8 1217.71/1218.15 c 1020s | 20 | 1327490 | 904827 | 17967 114 | 4 | 8 1219.90/1220.36 c 1023s | 20 | 1328316 | 905427 | 17967 115 | 4 | 8 1221.90/1222.37 c 1025s | 20 | 1330329 | 906927 | 17967 115 | 4 | 8 1224.01/1224.49 c 1027s | 20 | 1332539 | 908427 | 17967 115 | 4 | 8 1226.21/1226.66 c 1029s | 20 | 1334761 | 909827 | 17967 115 | 4 | 8 1228.31/1228.75 c 1031s | 20 | 1337159 | 911327 | 17967 115 | 4 | 8 1230.40/1230.86 c 1033s | 20 | 1339580 | 912827 | 17967 115 | 4 | 8 1232.40/1232.89 c 1035s | 20 | 1341585 | 914127 | 17967 115 | 4 | 8 1234.50/1234.91 c 1037s | 20 | 1343433 | 915427 | 17967 116 | 4 | 8 1236.50/1236.91 c 1039s | 20 | 1345439 | 916927 | 17967 116 | 4 | 8 1238.60/1239.02 c 1041s | 20 | 1347492 | 918227 | 17967 116 | 4 | 8 1240.60/1241.03 c 1043s | 20 | 1349662 | 919627 | 17967 116 | 4 | 8 1242.71/1243.12 c 1045s | 20 | 1351547 | 920927 | 17967 116 | 4 | 8 1244.81/1245.21 c 1047s | 20 | 1353613 | 922427 | 17967 116 | 4 | 8 1246.80/1247.26 c 1049s | 20 | 1355515 | 923827 | 17967 116 | 4 | 8 1248.90/1249.37 c 1052s | 20 | 1357917 | 925427 | 17967 117 | 4 | 8 1251.00/1251.48 c 1054s | 20 | 1360253 | 926927 | 17967 117 | 4 | 8 1253.10/1253.55 c 1056s | 20 | 1362126 | 928327 | 17967 117 | 4 | 8 1255.10/1255.57 c 1058s | 20 | 1363990 | 929627 | 17967 117 | 4 | 8 1257.20/1257.61 c 1060s | 20 | 1365879 | 930927 | 17967 117 | 4 | 8 1259.30/1259.73 c 1062s | 20 | 1367606 | 932227 | 17967 117 | 4 | 8 1261.40/1261.84 c 1064s | 20 | 1369106 | 933427 | 17967 117 | 4 | 8 1263.40/1263.87 c 1066s | 20 | 1370702 | 934627 | 17967 118 | 4 | 8 1265.50/1265.97 c 1068s | 20 | 1372661 | 936127 | 17967 118 | 4 | 8 1267.50/1267.99 c 1070s | 20 | 1374678 | 937627 | 17967 118 | 4 | 8 1269.70/1270.13 c 1072s | 20 | 1376503 | 939027 | 17967 118 | 4 | 8 1271.79/1272.21 c 1074s | 20 | 1378274 | 940427 | 17967 118 | 4 | 8 1274.20/1274.70 c 1077s | 20 | 1379283 | 941227 | 17967 118 | 4 | 8 1276.30/1276.76 c 1079s | 20 | 1381181 | 942427 | 17967 118 | 4 | 8 1278.40/1278.84 c 1081s | 20 | 1383010 | 943627 | 17967 119 | 4 | 8 1280.50/1280.93 c 1083s | 20 | 1385515 | 945327 | 17967 119 | 4 | 8 1282.50/1282.96 c 1085s | 20 | 1387474 | 946727 | 17967 119 | 4 | 8 1284.60/1285.06 c 1087s | 20 | 1389373 | 948127 | 17967 119 | 4 | 8 1286.80/1287.23 c 1089s | 20 | 1391617 | 949527 | 17967 119 | 4 | 8 1288.81/1289.25 c 1091s | 20 | 1393727 | 950727 | 17967 119 | 4 | 8 1290.90/1291.36 c 1094s | 20 | 1395527 | 951927 | 17967 119 | 4 | 8 1293.00/1293.41 c 1096s | 20 | 1397018 | 953027 | 17967 120 | 4 | 8 1295.00/1295.49 c 1098s | 20 | 1398951 | 954427 | 17967 120 | 4 | 8 1297.10/1297.51 c 1100s | 20 | 1400511 | 955627 | 17967 120 | 4 | 8 1299.10/1299.52 c 1102s | 20 | 1402121 | 956727 | 17967 120 | 4 | 8 1301.10/1301.59 c 1104s | 20 | 1403824 | 957927 | 17967 120 | 4 | 8 1303.20/1303.65 c 1106s | 20 | 1405497 | 959127 | 17967 120 | 4 | 8 1305.40/1305.82 c 1108s | 20 | 1407164 | 960327 | 17967 120 | 4 | 8 1307.50/1307.95 c 1110s | 20 | 1408716 | 961427 | 17967 120 | 4 | 8 1309.59/1310.08 c 1112s | 20 | 1410455 | 962627 | 17967 121 | 4 | 8 1311.79/1312.23 c 1114s | 20 | 1412244 | 963927 | 17967 121 | 4 | 8 1313.89/1314.35 c 1117s | 20 | 1413610 | 965027 | 17967 121 | 4 | 8 1315.99/1316.40 c 1119s | 20 | 1414957 | 966027 | 17967 121 | 4 | 8 1318.09/1318.52 c 1121s | 20 | 1416103 | 966927 | 17967 121 | 4 | 8 1320.19/1320.63 c 1123s | 20 | 1417437 | 967927 | 17967 121 | 4 | 8 1322.29/1322.77 c 1125s | 20 | 1418559 | 968827 | 17967 121 | 4 | 8 1324.39/1324.80 c 1127s | 20 | 1419676 | 969727 | 17967 121 | 4 | 8 1326.59/1327.04 c 1129s | 20 | 1420539 | 970327 | 17967 121 | 4 | 8 1328.69/1329.14 c 1131s | 20 | 1422091 | 971327 | 17967 122 | 4 | 8 1330.70/1331.15 c 1133s | 20 | 1424391 | 972727 | 17967 122 | 4 | 8 1332.69/1333.18 c 1135s | 20 | 1426484 | 974127 | 17967 122 | 4 | 8 1334.69/1335.18 c 1137s | 20 | 1428435 | 975427 | 17967 122 | 4 | 8 1336.79/1337.26 c 1139s | 20 | 1430459 | 976827 | 17967 122 | 4 | 8 1338.99/1339.42 c 1142s | 20 | 1432522 | 978227 | 17967 122 | 4 | 8 1340.99/1341.44 c 1144s | 20 | 1434266 | 979427 | 17967 122 | 4 | 8 1343.09/1343.53 c 1146s | 20 | 1435852 | 980527 | 17967 123 | 4 | 8 1345.19/1345.63 c 1148s | 20 | 1437616 | 981927 | 17967 123 | 4 | 8 1347.19/1347.69 c 1150s | 20 | 1439780 | 983527 | 17967 123 | 4 | 8 1349.39/1349.81 c 1152s | 20 | 1441781 | 984927 | 17967 123 | 4 | 8 1351.39/1351.82 c 1154s | 20 | 1443432 | 986227 | 17967 123 | 4 | 8 1353.49/1353.90 c 1156s | 20 | 1445202 | 987427 | 17967 123 | 4 | 8 1355.49/1355.99 c 1158s | 20 | 1446932 | 988727 | 17967 123 | 4 | 8 1357.58/1358.00 c 1160s | 20 | 1448387 | 989827 | 17967 124 | 4 | 8 1359.58/1360.02 c 1162s | 20 | 1450306 | 991227 | 17967 124 | 4 | 8 1361.58/1362.03 c 1164s | 20 | 1451972 | 992527 | 17967 124 | 4 | 8 1363.59/1364.10 c 1166s | 20 | 1453909 | 993927 | 17967 124 | 4 | 8 1365.79/1366.25 c 1168s | 20 | 1455372 | 995127 | 17967 124 | 4 | 8 1367.99/1368.42 c 1171s | 20 | 1456698 | 996127 | 17967 124 | 4 | 8 1369.98/1370.47 c 1173s | 20 | 1458416 | 997227 | 17967 124 | 4 | 8 1372.08/1372.53 c 1175s | 20 | 1459714 | 998127 | 17967 124 | 4 | 8 1374.18/1374.69 c 1177s | 20 | 1461380 | 999227 | 17967 125 | 4 | 8 1375.79/1376.25 c 1178s | 21 | 1463154 | 1000345 | 17967 125 | 4 | 8 1377.89/1378.33 c 1181s | 21 | 1464771 | 1001445 | 17967 125 | 4 | 8 1379.98/1380.40 c 1183s | 21 | 1467035 | 1002745 | 17967 125 | 4 | 8 1381.98/1382.47 c 1185s | 21 | 1469464 | 1004445 | 17967 125 | 4 | 8 1384.08/1384.58 c 1187s | 21 | 1472018 | 1006245 | 17967 125 | 4 | 8 1386.28/1386.72 c 1189s | 21 | 1474385 | 1007845 | 17967 125 | 4 | 8 1388.38/1388.85 c 1191s | 21 | 1476673 | 1009445 | 17967 126 | 4 | 8 1390.48/1390.94 c 1193s | 21 | 1479769 | 1011445 | 17967 126 | 4 | 8 1392.48/1392.95 c 1195s | 21 | 1482585 | 1013345 | 17967 126 | 4 | 8 1394.58/1395.02 c 1197s | 21 | 1485312 | 1015145 | 17967 126 | 4 | 8 1396.68/1397.11 c 1199s | 21 | 1487909 | 1016845 | 17967 126 | 4 | 8 1398.68/1399.14 c 1201s | 21 | 1490159 | 1018345 | 17967 127 | 4 | 8 1400.78/1401.23 c 1203s | 21 | 1492995 | 1020245 | 17967 127 | 4 | 8 1402.77/1403.24 c 1205s | 21 | 1495223 | 1021845 | 17967 127 | 4 | 8 1404.87/1405.30 c 1207s | 21 | 1497582 | 1023545 | 17967 127 | 4 | 8 1406.97/1407.42 c 1210s | 21 | 1499743 | 1025145 | 17967 127 | 4 | 8 1409.07/1409.54 c 1212s | 21 | 1501970 | 1026745 | 17967 127 | 4 | 8 1411.07/1411.58 c 1214s | 21 | 1504683 | 1028545 | 17967 128 | 4 | 8 1413.18/1413.60 c 1216s | 21 | 1507653 | 1030645 | 17967 128 | 4 | 8 1415.17/1415.69 c 1218s | 21 | 1510007 | 1032445 | 17967 128 | 4 | 8 1417.27/1417.79 c 1220s | 21 | 1512231 | 1034145 | 17967 128 | 4 | 8 1419.37/1419.86 c 1222s | 21 | 1514797 | 1035945 | 17967 128 | 4 | 8 1421.37/1421.87 c 1224s | 21 | 1517248 | 1037845 | 17967 129 | 4 | 8 1424.98/1425.42 c 1228s | 21 | 1520364 | 1040145 | 17967 129 | 4 | 8 1427.08/1427.55 c 1230s | 21 | 1522076 | 1041245 | 17967 129 | 4 | 8 1429.18/1429.63 c 1232s | 21 | 1524408 | 1042645 | 17967 129 | 4 | 8 1431.18/1431.66 c 1234s | 21 | 1526542 | 1044045 | 17967 129 | 4 | 8 1433.28/1433.77 c 1236s | 21 | 1528656 | 1045545 | 17967 129 | 4 | 8 1435.38/1435.84 c 1238s | 21 | 1530734 | 1047045 | 17967 130 | 4 | 8 1437.48/1437.97 c 1240s | 21 | 1532857 | 1048545 | 17967 130 | 4 | 8 1439.48/1440.00 c 1242s | 21 | 1535585 | 1050345 | 17967 130 | 4 | 8 1441.68/1442.10 c 1244s | 21 | 1538203 | 1051945 | 17967 130 | 4 | 8 1443.68/1444.18 c 1246s | 21 | 1541031 | 1053545 | 17967 130 | 4 | 8 1445.78/1446.25 c 1248s | 21 | 1543518 | 1055245 | 17967 131 | 4 | 8 1447.77/1448.28 c 1250s | 21 | 1546369 | 1057245 | 17967 131 | 4 | 8 1449.87/1450.31 c 1252s | 21 | 1549281 | 1059145 | 17967 131 | 4 | 8 1451.87/1452.35 c 1255s | 21 | 1552142 | 1060945 | 17967 131 | 4 | 8 1453.97/1454.43 c 1257s | 21 | 1554906 | 1062745 | 17967 131 | 4 | 8 1455.98/1456.49 c 1259s | 21 | 1557552 | 1064645 | 17967 131 | 4 | 8 1459.17/1459.62 c 1262s | 21 | 1560146 | 1066545 | 17967 132 | 4 | 8 1461.17/1461.69 c 1264s | 21 | 1562658 | 1068145 | 17967 132 | 4 | 8 1463.27/1463.72 c 1266s | 21 | 1564936 | 1069645 | 17967 132 | 4 | 8 1465.27/1465.75 c 1268s | 21 | 1567322 | 1071245 | 17967 132 | 4 | 8 1467.37/1467.89 c 1270s | 21 | 1569858 | 1072945 | 17967 132 | 4 | 8 1469.47/1469.95 c 1272s | 21 | 1571832 | 1074345 | 17967 133 | 4 | 8 1471.48/1471.96 c 1274s | 21 | 1574477 | 1075945 | 17967 133 | 4 | 8 1473.47/1473.97 c 1276s | 21 | 1577156 | 1077845 | 17967 133 | 4 | 8 1475.57/1476.00 c 1278s | 21 | 1579647 | 1079545 | 17967 133 | 4 | 8 1477.57/1478.01 c 1280s | 21 | 1582197 | 1081245 | 17967 133 | 4 | 8 1479.67/1480.13 c 1282s | 21 | 1584702 | 1082945 | 17967 133 | 4 | 8 1481.77/1482.22 c 1284s | 21 | 1587292 | 1084845 | 17967 134 | 4 | 8 1483.77/1484.28 c 1286s | 21 | 1589839 | 1086745 | 17967 134 | 4 | 8 1485.87/1486.35 c 1289s | 21 | 1592616 | 1088745 | 17967 134 | 4 | 8 1487.97/1488.42 c 1291s | 21 | 1595150 | 1090645 | 17967 134 | 4 | 8 1489.97/1490.45 c 1293s | 21 | 1597454 | 1092245 | 17967 134 | 4 | 8 1491.97/1492.47 c 1295s | 21 | 1599967 | 1094145 | 17967 135 | 4 | 8 1494.07/1494.51 c 1297s | 21 | 1602606 | 1096245 | 17967 135 | 4 | 8 1496.46/1496.93 c 1299s | 21 | 1603961 | 1097245 | 17967 135 | 4 | 8 1498.56/1499.02 c 1301s | 21 | 1606227 | 1098745 | 17967 135 | 4 | 8 1500.56/1501.03 c 1303s | 21 | 1608843 | 1100445 | 17967 135 | 4 | 8 1502.66/1503.14 c 1305s | 21 | 1611126 | 1101945 | 17967 135 | 4 | 8 1504.66/1505.17 c 1307s | 21 | 1613401 | 1103645 | 17967 136 | 4 | 8 1506.76/1507.21 c 1309s | 21 | 1615947 | 1105545 | 17967 136 | 4 | 8 1508.77/1509.22 c 1311s | 21 | 1618395 | 1107045 | 17967 136 | 4 | 8 1510.76/1511.24 c 1313s | 21 | 1620923 | 1108845 | 17967 136 | 4 | 8 1512.86/1513.33 c 1316s | 21 | 1623347 | 1110645 | 17967 136 | 4 | 8 1514.96/1515.43 c 1318s | 21 | 1626028 | 1112445 | 17967 137 | 4 | 8 1516.96/1517.49 c 1320s | 21 | 1629185 | 1114645 | 17967 137 | 4 | 8 1519.06/1519.53 c 1322s | 21 | 1631939 | 1116745 | 17967 137 | 4 | 8 1521.07/1521.55 c 1324s | 21 | 1634344 | 1118445 | 17967 137 | 4 | 8 1523.17/1523.67 c 1326s | 21 | 1636761 | 1120245 | 17967 137 | 4 | 8 1525.37/1525.81 c 1328s | 21 | 1639537 | 1122445 | 17967 138 | 4 | 8 1527.36/1527.88 c 1330s | 21 | 1642231 | 1124545 | 17967 138 | 4 | 8 1529.46/1529.91 c 1332s | 21 | 1644850 | 1126645 | 17967 138 | 4 | 8 1531.66/1532.15 c 1334s | 21 | 1645712 | 1127345 | 17967 138 | 4 | 8 1533.76/1534.29 c 1336s | 21 | 1648154 | 1128945 | 17967 138 | 4 | 8 1535.86/1536.34 c 1339s | 21 | 1650229 | 1130445 | 17967 139 | 4 | 8 1537.96/1538.45 c 1341s | 21 | 1652572 | 1132145 | 17967 139 | 4 | 8 1540.06/1540.52 c 1343s | 21 | 1654930 | 1133845 | 17967 139 | 4 | 8 1542.06/1542.59 c 1345s | 21 | 1657913 | 1136045 | 17967 139 | 4 | 8 1544.16/1544.67 c 1347s | 21 | 1660594 | 1137945 | 17967 139 | 4 | 8 1546.17/1546.68 c 1349s | 21 | 1663006 | 1139545 | 17967 139 | 4 | 8 1548.26/1548.75 c 1351s | 21 | 1666025 | 1141845 | 17967 140 | 4 | 8 1550.36/1550.81 c 1353s | 21 | 1668940 | 1144045 | 17967 140 | 4 | 8 1552.46/1552.92 c 1355s | 21 | 1671629 | 1146145 | 17967 140 | 4 | 8 1554.56/1555.01 c 1357s | 21 | 1674629 | 1148445 | 17967 140 | 4 | 8 1557.36/1557.82 c 1360s | 21 | 1676417 | 1149845 | 17967 141 | 4 | 8 1559.46/1559.91 c 1362s | 21 | 1678865 | 1151745 | 17967 141 | 4 | 8 1561.56/1562.02 c 1364s | 21 | 1681561 | 1153545 | 17967 141 | 4 | 8 1563.55/1564.04 c 1366s | 21 | 1683790 | 1155245 | 17967 141 | 4 | 8 1565.65/1566.17 c 1368s | 21 | 1686185 | 1157045 | 17967 141 | 4 | 8 1567.75/1568.27 c 1370s | 21 | 1688877 | 1158945 | 17967 141 | 4 | 8 1569.75/1570.29 c 1372s | 21 | 1691837 | 1161045 | 17967 142 | 4 | 8 1571.95/1572.40 c 1375s | 21 | 1694250 | 1162745 | 17967 142 | 4 | 8 1574.05/1574.50 c 1377s | 21 | 1696771 | 1164545 | 17967 142 | 4 | 8 1576.05/1576.54 c 1379s | 21 | 1699222 | 1166245 | 17967 142 | 4 | 8 1578.16/1578.62 c 1381s | 21 | 1701890 | 1168045 | 17967 142 | 4 | 8 1580.15/1580.66 c 1383s | 21 | 1704457 | 1169945 | 17967 143 | 4 | 8 1582.15/1582.69 c 1385s | 21 | 1707367 | 1172045 | 17967 143 | 4 | 8 1584.25/1584.79 c 1387s | 21 | 1710057 | 1173945 | 17967 143 | 4 | 8 1586.35/1586.87 c 1389s | 21 | 1712692 | 1175845 | 17967 143 | 4 | 8 1588.45/1588.96 c 1391s | 21 | 1714988 | 1177545 | 17967 143 | 4 | 8 1590.45/1590.96 c 1393s | 21 | 1717510 | 1179445 | 17967 144 | 4 | 8 1592.55/1593.01 c 1395s | 21 | 1720558 | 1181645 | 17967 144 | 4 | 8 1594.56/1595.10 c 1397s | 21 | 1722844 | 1183345 | 17967 144 | 4 | 8 1596.65/1597.20 c 1399s | 21 | 1725389 | 1185245 | 17967 144 | 4 | 8 1598.75/1599.24 c 1401s | 21 | 1727783 | 1187045 | 17967 144 | 4 | 8 1600.75/1601.27 c 1403s | 21 | 1730412 | 1189145 | 17967 145 | 4 | 8 1602.85/1603.34 c 1406s | 21 | 1733016 | 1191145 | 17967 145 | 4 | 8 1604.95/1605.43 c 1408s | 21 | 1735620 | 1193145 | 17967 145 | 4 | 8 1607.05/1607.50 c 1410s | 21 | 1738015 | 1195045 | 17967 145 | 4 | 8 1609.05/1609.53 c 1412s | 21 | 1740372 | 1196945 | 17967 145 | 4 | 8 1611.05/1611.54 c 1414s | 21 | 1742625 | 1198645 | 17967 146 | 4 | 8 1613.05/1613.57 c 1416s | 21 | 1745583 | 1200945 | 17967 146 | 4 | 8 1615.05/1615.58 c 1418s | 21 | 1748217 | 1203045 | 17967 146 | 4 | 8 1617.15/1617.64 c 1420s | 21 | 1750782 | 1205145 | 17967 146 | 4 | 8 1627.24/1627.79 c 1430s | 21 | 1753428 | 1207245 | 17967 147 | 4 | 8 1629.34/1629.81 c 1432s | 21 | 1755157 | 1208245 | 17967 147 | 4 | 8 1631.34/1631.87 c 1434s | 21 | 1757960 | 1210145 | 17967 147 | 4 | 8 1633.44/1633.90 c 1436s | 21 | 1760419 | 1211945 | 17967 147 | 4 | 8 1635.54/1636.00 c 1438s | 21 | 1761986 | 1212945 | 17967 147 | 4 | 8 1637.55/1638.06 c 1440s | 21 | 1764774 | 1214445 | 17967 147 | 4 | 8 1639.65/1640.16 c 1442s | 21 | 1767031 | 1215845 | 17967 148 | 4 | 8 1641.64/1642.17 c 1444s | 21 | 1770076 | 1217545 | 17967 148 | 4 | 8 1643.74/1644.24 c 1446s | 21 | 1772345 | 1218945 | 17967 148 | 4 | 8 1645.74/1646.25 c 1448s | 21 | 1774731 | 1220545 | 17967 148 | 4 | 8 1647.84/1648.32 c 1451s | 21 | 1777362 | 1222345 | 17967 148 | 4 | 8 1649.94/1650.41 c 1453s | 21 | 1780225 | 1224345 | 17967 148 | 4 | 8 1651.94/1652.44 c 1455s | 21 | 1782887 | 1226145 | 17967 149 | 4 | 8 1654.04/1654.54 c 1457s | 21 | 1785694 | 1228145 | 17967 149 | 4 | 8 1656.14/1656.63 c 1459s | 21 | 1788476 | 1230045 | 17967 149 | 4 | 8 1658.14/1658.69 c 1461s | 21 | 1791108 | 1231945 | 17967 149 | 4 | 8 1660.34/1660.83 c 1463s | 21 | 1793836 | 1233945 | 17967 149 | 4 | 8 1662.34/1662.86 c 1465s | 21 | 1796574 | 1235845 | 17967 150 | 4 | 8 1664.44/1664.95 c 1467s | 21 | 1799485 | 1237945 | 17967 150 | 4 | 8 1666.53/1667.04 c 1469s | 21 | 1802129 | 1239945 | 17967 150 | 4 | 8 1668.53/1669.09 c 1471s | 21 | 1804578 | 1241745 | 17967 150 | 4 | 8 1670.63/1671.18 c 1473s | 21 | 1807182 | 1243745 | 17967 150 | 4 | 8 1672.74/1673.22 c 1475s | 21 | 1810079 | 1246045 | 17967 151 | 4 | 8 1674.74/1675.28 c 1477s | 21 | 1810800 | 1246645 | 17967 151 | 4 | 8 1677.44/1677.92 c 1480s | 21 | 1812699 | 1247845 | 17967 151 | 4 | 8 1679.44/1679.99 c 1482s | 21 | 1815411 | 1249645 | 17967 151 | 4 | 8 1681.64/1682.13 c 1484s | 21 | 1818240 | 1251445 | 17967 151 | 4 | 8 1683.65/1684.18 c 1486s | 21 | 1820532 | 1253045 | 17967 151 | 4 | 8 1685.64/1686.19 c 1488s | 21 | 1822921 | 1254645 | 17967 152 | 4 | 8 1687.74/1688.25 c 1490s | 21 | 1825657 | 1256545 | 17967 152 | 4 | 8 1689.74/1690.27 c 1492s | 21 | 1828443 | 1258345 | 17967 152 | 4 | 8 1691.74/1692.28 c 1494s | 21 | 1831063 | 1260145 | 17967 152 | 4 | 8 1693.74/1694.30 c 1496s | 21 | 1833378 | 1261745 | 17967 152 | 4 | 8 1695.85/1696.34 c 1499s | 21 | 1835674 | 1263345 | 17967 153 | 4 | 8 1697.94/1698.46 c 1501s | 21 | 1838516 | 1265445 | 17967 153 | 4 | 8 1700.04/1700.51 c 1503s | 21 | 1840623 | 1267045 | 17967 153 | 4 | 8 1702.14/1702.63 c 1505s | 21 | 1842789 | 1268745 | 17967 153 | 4 | 8 1704.14/1704.67 c 1507s | 21 | 1845000 | 1270445 | 17967 153 | 4 | 8 1706.14/1706.69 c 1509s | 21 | 1847112 | 1272045 | 17967 153 | 4 | 8 1708.24/1708.75 c 1511s | 21 | 1849477 | 1273945 | 17967 154 | 4 | 8 1711.63/1712.10 c 1514s | 21 | 1851627 | 1275645 | 17967 154 | 4 | 8 1713.63/1714.15 c 1516s | 21 | 1854355 | 1277445 | 17967 154 | 4 | 8 1715.64/1716.16 c 1518s | 21 | 1857007 | 1279045 | 17967 154 | 4 | 8 1717.74/1718.22 c 1520s | 21 | 1859441 | 1280745 | 17967 154 | 4 | 8 1719.73/1720.27 c 1522s | 21 | 1861810 | 1282445 | 17967 155 | 4 | 8 1721.73/1722.28 c 1524s | 21 | 1864199 | 1284045 | 17967 155 | 4 | 8 1723.83/1724.30 c 1526s | 21 | 1866393 | 1285545 | 17967 155 | 4 | 8 1725.83/1726.32 c 1529s | 21 | 1868837 | 1287145 | 17967 155 | 4 | 8 1727.83/1728.39 c 1531s | 21 | 1871289 | 1288945 | 17967 155 | 4 | 8 1729.84/1730.40 c 1533s | 21 | 1873613 | 1290545 | 17967 155 | 4 | 8 1731.93/1732.45 c 1535s | 21 | 1875834 | 1292145 | 17967 156 | 4 | 8 1734.03/1734.55 c 1537s | 21 | 1878797 | 1294345 | 17967 156 | 4 | 8 1736.13/1736.62 c 1539s | 21 | 1881476 | 1296445 | 17967 156 | 4 | 8 1738.23/1738.70 c 1541s | 21 | 1883936 | 1298345 | 17967 156 | 4 | 8 1740.23/1740.72 c 1543s | 21 | 1886292 | 1300245 | 17967 156 | 4 | 8 1742.43/1742.94 c 1545s | 21 | 1887949 | 1301445 | 17967 157 | 4 | 8 1744.53/1745.03 c 1547s | 21 | 1889766 | 1302645 | 17967 157 | 4 | 8 1746.53/1747.09 c 1549s | 21 | 1892532 | 1304545 | 17967 157 | 4 | 8 1748.63/1749.11 c 1551s | 21 | 1895676 | 1306445 | 17967 157 | 4 | 8 1750.62/1751.13 c 1553s | 21 | 1898329 | 1308445 | 17967 157 | 4 | 8 1752.72/1753.23 c 1555s | 21 | 1901341 | 1310245 | 17967 157 | 4 | 8 1754.82/1755.31 c 1557s | 21 | 1904557 | 1312345 | 17967 158 | 4 | 8 1756.82/1757.33 c 1560s | 21 | 1907893 | 1314745 | 17967 158 | 4 | 8 1758.92/1759.41 c 1562s | 21 | 1909713 | 1316045 | 17967 158 | 4 | 8 1761.02/1761.51 c 1564s | 21 | 1911979 | 1317745 | 17967 158 | 4 | 8 1763.02/1763.55 c 1566s | 21 | 1914360 | 1319345 | 17967 158 | 4 | 8 1765.13/1765.64 c 1568s | 21 | 1916744 | 1321145 | 17967 159 | 4 | 8 1767.12/1767.68 c 1570s | 21 | 1919605 | 1323245 | 17967 159 | 4 | 8 1769.22/1769.73 c 1572s | 21 | 1922872 | 1325545 | 17967 159 | 4 | 8 1771.22/1771.74 c 1574s | 21 | 1925586 | 1327645 | 19764 159 | 4 | 8 1773.22/1773.75 c 1576s | 21 | 1928122 | 1329645 | 19764 159 | 4 | 8 1775.32/1775.89 c 1578s | 21 | 1930110 | 1331145 | 19764 160 | 4 | 8 1777.43/1777.95 c 1580s | 21 | 1932111 | 1332745 | 19764 160 | 4 | 8 1779.43/1779.96 c 1582s | 21 | 1934572 | 1334545 | 19764 160 | 4 | 8 1781.53/1782.04 c 1584s | 21 | 1937018 | 1336445 | 19764 160 | 4 | 8 1783.63/1784.10 c 1586s | 21 | 1939400 | 1338145 | 19764 160 | 4 | 8 1785.63/1786.17 c 1588s | 21 | 1941610 | 1339945 | 19764 160 | 4 | 8 1787.83/1788.36 c 1591s | 21 | 1943991 | 1341745 | 19764 161 | 4 | 8 1789.92/1790.42 c 1593s | 21 | 1946136 | 1343445 | 19764 161 | 4 | 8 1791.92/1792.43 c 1595s | 21 | 1948311 | 1345045 | 19764 161 | 4 | 8 1793.92/1794.45 c 1597s | 21 | 1950641 | 1346745 | 19764 161 | 4 | 8 1796.02/1796.51 c 1599s | 21 | 1952940 | 1348545 | 19764 161 | 4 | 8 1798.03/1798.53 c 1601s | 21 | 1955108 | 1350245 | 19764 161 | 4 | 8
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-4109024-1466293088/watcher-4109024-1466293088 -o /tmp/evaluation-result-4109024-1466293088/solver-4109024-1466293088 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466291286-31336 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4109024-1466293088.opb pid=31509 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.20 2.20 2.35 3/179 31512 /proc/meminfo: memFree=30547424/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=815548 CPUtime=0 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 3060 0 0 0 0 0 0 0 20 0 4 0 31358026 835121152 2909 33554432000 4194304 16246674 140734104359824 140734104359248 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 204399 2919 441 2943 0 201293 0 [pid=31512/tid=31513] ppid=31509 vsize=832956 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 852946944 2979 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=837052 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 857141248 2996 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=842172 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31358026 862384128 3012 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100174 s] /proc/loadavg: 2.20 2.20 2.35 3/179 31512 /proc/meminfo: memFree=30547424/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 21137 0 0 0 6 3 0 0 20 0 4 0 31358026 1249447936 20925 33554432000 4194304 16246674 140734104359824 140734104359136 5740821 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 305041 20931 835 2943 0 301935 0 [pid=31512/tid=31513] ppid=31509 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1249447936 20936 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1249447936 20942 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1249447936 20947 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200595 s] /proc/loadavg: 2.20 2.20 2.35 3/179 31512 /proc/meminfo: memFree=30547424/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1220164 CPUtime=0.19 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 38526 0 0 0 13 6 0 0 20 0 4 0 31358026 1249447936 38314 33554432000 4194304 16246674 140734104359824 140734104359136 5523709 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 305041 38322 906 2943 0 301935 0 [pid=31512/tid=31513] ppid=31509 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1249447936 38328 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1249447936 38334 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1249447936 38338 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1220164 [startup+0.300445 s] /proc/loadavg: 2.20 2.20 2.35 3/179 31512 /proc/meminfo: memFree=30547424/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1220164 CPUtime=0.29 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 57684 0 0 0 21 8 0 0 20 0 4 0 31358026 1249447936 57471 33554432000 4194304 16246674 140734104359824 140734104359136 5662075 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 305041 57475 906 2943 0 301935 0 [pid=31512/tid=31513] ppid=31509 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1249447936 57480 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1249447936 57486 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1249447936 57493 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1220164 [startup+0.700402 s] /proc/loadavg: 2.20 2.20 2.35 3/179 31512 /proc/meminfo: memFree=30547424/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1220164 CPUtime=0.68 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 138278 0 0 0 50 18 0 0 20 0 4 0 31358026 1249447936 138065 33554432000 4194304 16246674 140734104359824 140734104341696 5662075 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 305041 138069 906 2943 0 301935 0 [pid=31512/tid=31513] ppid=31509 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1249447936 138071 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1249447936 138074 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1249447936 138077 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1220164 [startup+1.50041 s] /proc/loadavg: 2.20 2.20 2.35 3/183 31516 /proc/meminfo: memFree=29297912/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1301060 CPUtime=1.49 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 266410 0 0 0 115 34 0 0 20 0 4 0 31358026 1332285440 266197 33554432000 4194304 16246674 140734104359824 140734104341696 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 325265 266197 909 2943 0 322159 0 [pid=31512/tid=31513] ppid=31509 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1332285440 266197 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1332285440 266197 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1332285440 266197 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1301060 [startup+3.10039 s] /proc/loadavg: 2.20 2.20 2.35 3/183 31516 /proc/meminfo: memFree=28456308/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 267735 0 0 0 275 34 0 0 20 0 4 0 31358026 1337528320 267522 33554432000 4194304 16246674 140734104359824 140734104342824 5677116 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 326545 267522 909 2943 0 323439 0 [pid=31512/tid=31513] ppid=31509 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1337528320 267522 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1337528320 267522 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1337528320 267522 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 2.34 2.23 2.36 3/183 31565 /proc/meminfo: memFree=29245056/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 267870 0 0 0 595 34 0 0 20 0 4 0 31358026 1338576896 267657 33554432000 4194304 16246674 140734104359824 140734104341696 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 326801 267657 914 2943 0 323695 0 [pid=31512/tid=31513] ppid=31509 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1338576896 267657 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1338576896 267657 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1338576896 267657 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.31 2.23 2.36 4/183 31565 /proc/meminfo: memFree=28419520/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1311300 CPUtime=12.69 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 269041 0 0 0 1234 35 0 0 20 0 4 0 31358026 1342771200 268828 33554432000 4194304 16246674 140734104359824 140734104341696 5675010 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 327825 268828 916 2943 0 324719 0 [pid=31512/tid=31513] ppid=31509 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1342771200 268828 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1342771200 268828 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1342771200 268828 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1311300 [startup+25.5005 s] /proc/loadavg: 2.31 2.23 2.36 3/183 31565 /proc/meminfo: memFree=28419612/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1311300 CPUtime=25.49 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 269041 0 0 0 2514 35 0 0 20 0 4 0 31358026 1342771200 268828 33554432000 4194304 16246674 140734104359824 140734104341696 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 327825 268828 916 2943 0 324719 0 [pid=31512/tid=31513] ppid=31509 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1342771200 268828 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1342771200 268828 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1342771200 268828 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.20 2.21 2.35 3/183 31565 /proc/meminfo: memFree=28417856/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1311300 CPUtime=51.08 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 269043 0 0 0 5073 35 0 0 20 0 4 0 31358026 1342771200 269084 33554432000 4194304 16246674 140734104359824 140734104341696 12483387 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 327825 269084 916 2943 0 324719 0 [pid=31512/tid=31513] ppid=31509 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1342771200 269084 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1342771200 269084 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1342771200 269084 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1311300 [startup+102.301 s] /proc/loadavg: 2.13 2.19 2.34 4/183 31567 /proc/meminfo: memFree=28401960/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1326660 CPUtime=102.26 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 272914 0 0 0 10190 36 0 0 20 0 4 0 31358026 1358499840 272925 33554432000 4194304 16246674 140734104359824 140734104341696 6837238 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 331665 272925 917 2943 0 328559 0 [pid=31512/tid=31513] ppid=31509 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1358499840 272925 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1358499840 272925 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1358499840 272925 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1326660 ################ # More data... # ################ /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1389957120 280607 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1357380 [startup+1362.3 s] /proc/loadavg: 2.15 2.16 2.21 3/184 31601 /proc/meminfo: memFree=28354140/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1366596 CPUtime=1361.89 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 283184 0 0 0 136139 50 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 140734104341696 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 341649 282911 917 2943 0 338543 0 [pid=31512/tid=31513] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1366596 [startup+1422.3 s] /proc/loadavg: 2.21 2.17 2.20 3/184 31624 /proc/meminfo: memFree=28354276/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1366596 CPUtime=1421.88 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 283184 0 0 0 142138 50 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 140734104341696 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 341649 282911 917 2943 0 338543 0 [pid=31512/tid=31513] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1366596 [startup+1482.3 s] /proc/loadavg: 2.13 2.15 2.19 3/183 31625 /proc/meminfo: memFree=28353904/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1366596 CPUtime=1481.87 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 283184 0 0 0 148136 51 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 140734104342824 5677376 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 341649 282911 917 2943 0 338543 0 [pid=31512/tid=31513] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1366596 [startup+1542.31 s] /proc/loadavg: 2.14 2.15 2.19 3/183 31626 /proc/meminfo: memFree=28353912/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1366596 CPUtime=1541.87 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 283184 0 0 0 154135 52 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 140734104341696 13195901 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 341649 282911 917 2943 0 338543 0 [pid=31512/tid=31513] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1366596 [startup+1602.3 s] /proc/loadavg: 2.16 2.15 2.18 4/183 31627 /proc/meminfo: memFree=28353668/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1366596 CPUtime=1601.85 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 283184 0 0 0 160133 52 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 140734104341696 5822488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 341649 282911 917 2943 0 338543 0 [pid=31512/tid=31513] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1366596 [startup+1662.3 s] /proc/loadavg: 2.22 2.18 2.18 3/183 31629 /proc/meminfo: memFree=28353544/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1366596 CPUtime=1661.84 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 283184 0 0 0 166131 53 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 140734104341696 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 341649 282911 917 2943 0 338543 0 [pid=31512/tid=31513] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1366596 [startup+1722.3 s] /proc/loadavg: 2.29 2.20 2.19 4/183 31630 /proc/meminfo: memFree=28352920/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1366596 CPUtime=1721.83 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 283184 0 0 0 172129 54 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 140734104341696 6861752 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 341649 282911 917 2943 0 338543 0 [pid=31512/tid=31513] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1366596 [startup+1782.3 s] /proc/loadavg: 2.28 2.22 2.19 3/183 31631 /proc/meminfo: memFree=28352088/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1366596 CPUtime=1781.83 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 283184 0 0 0 178128 55 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 140734104341696 5672184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 341649 282911 917 2943 0 338543 0 [pid=31512/tid=31513] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1366596 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.27 2.22 2.19 3/183 31631 /proc/meminfo: memFree=28352336/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1366596 CPUtime=1800.02 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 283184 0 0 0 179947 55 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 140734104341696 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 341649 282911 917 2943 0 338543 0 [pid=31512/tid=31513] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1366596 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 31512 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.27 2.22 2.19 3/183 31631 /proc/meminfo: memFree=28352336/32872528 swapFree=1074772/1156532 [pid=31512] ppid=31509 vsize=1366596 CPUtime=1800.02 cores=0,2,4,6 /proc/31512/stat : 31512 (toysat) R 31509 31512 29682 0 -1 4202496 283184 0 0 0 179947 55 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 140734104341696 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31512/statm: 341649 282911 917 2943 0 338543 0 [pid=31512/tid=31513] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31513/stat : 31513 (toysat) S 31509 31512 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975180922096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31512/tid=31514] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31514/stat : 31514 (toysat) S 31509 31512 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975170432240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31512/tid=31515] ppid=31509 vsize=1366596 CPUtime=0 cores=0,2,4,6 /proc/31512/task/31515/stat : 31515 (toysat) S 31509 31512 29682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31358026 1399394304 282911 33554432000 4194304 16246674 140734104359824 139975159958704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1366596 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.48 CPU system time (s): 0.550916 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 1366596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.48 system time used= 0.550916 maximum resident set size= 1131644 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 283184 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= 333 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.3574 second user time and 16.9884 second system time The end
Begin job on node114 at 2016-06-19 01:38:08 IDJOB=4109024 IDBENCH=89831 IDSOLVER=2542 FILE ID=node114/4109024-1466293088 RUNJOBID= node114-1466291286-31336 PBS_JOBID= 19918267 Free space on /tmp= 71704 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-222__neos-1330346.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109024-1466293088/watcher-4109024-1466293088 -o /tmp/evaluation-result-4109024-1466293088/solver-4109024-1466293088 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466291286-31336 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4109024-1466293088.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bf0628fd43a26c492fc12f863e1d2dd3 RANDOM SEED=2065885737 node114.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.761 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.52 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.761 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.56 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.761 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.761 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.761 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.761 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.761 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.761 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: 30574380 kB Buffers: 112560 kB Cached: 230272 kB SwapCached: 800 kB Active: 189652 kB Inactive: 207396 kB Active(anon): 54572 kB Inactive(anon): 1668 kB Active(file): 135080 kB Inactive(file): 205728 kB Unevictable: 1156532 kB Mlocked: 1074772 kB SwapTotal: 67108856 kB SwapFree: 67100508 kB Dirty: 35744 kB Writeback: 0 kB AnonPages: 1207652 kB Mapped: 9984 kB Shmem: 0 kB Slab: 610244 kB SReclaimable: 53944 kB SUnreclaim: 556300 kB KernelStack: 1376 kB PageTables: 7808 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2284420 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 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= 71676 MiB End job on node114 at 2016-06-19 02:08:09