| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.56 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb |
| MD5SUM | f03240b9a734d8daafc38104f404b1a5 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 28 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | |
| Total number of constraints | |
| Number of constraints which are clauses | |
| Number of constraints which are cardinality constraints (but not clauses) | |
| Number of constraints which are nor clauses,nor cardinality constraints | |
| Minimum length of a constraint | |
| Maximum length of a constraint | |
| Number of terms in the objective function | |
| Biggest coefficient in the objective function | |
| Number of bits for the biggest coefficient in the objective function | |
| Sum of the numbers in the objective function | |
| Number of bits of the sum of numbers in the objective function | |
| Biggest number in a constraint | |
| Number of bits of the biggest number in a constraint | |
| Biggest sum of numbers in a constraint | |
| Number of bits of the biggest sum of numbers | |
| Number of products (including duplicates) | |
| Sum of products size (including duplicates) | |
| Number of different products | |
| Sum of products size |
0.00/0.00 c 2016-06-30T11:22:00+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-4119834-1467278520.opb"] 0.00/0.01 c use --random-gen="1894656555 2525351511 2986324815 1643227447 2148662623 740259063 3102950284 1985867530 128304490 3613722078 2440586548 817815116 3157550627 3579964846 2527728754 1768935027 2860279121 3057949390 4043683259 3535605846 1340799110 961728461 1264253480 458334836 1941962291 2459671759 1973282329 4082466414 2659405186 1745286327 1861967081 4175655056 3383463524 3027374967 1983683157 4153361378 1698921987 1563543753 3836741832 4043994249 491262188 1185272817 4278109381 3648728035 1140025581 1964179902 757464764 170312404 3637097830 2159159067 4237033242 2279502435 3261239835 1840205160 665073188 813931063 1965583927 1248711223 970778080 3328862608 721505291 3585457478 183947486 3206179159 1363889463 2976753710 693415447 1278893057 2030110671 158501946 582115617 700099263 372543142 3470715493 3449554347 2183897460 868765255 2463694480 2157292286 4046872448 1885714357 3478176457 3046167057 3738646325 4286677394 973195016 978919468 3999371294 774331027 2678287576 161818828 1216404143 932227579 1672501984 2440060486 2066480754 3466088958 1498034188 1899534231 278664594 3446013190 3231986521 2400832849 2525451820 1549760770 3403450892 3524333808 1253736798 2224067484 500585586 879405814 1643244058 3839373042 2859899637 2393476182 3712321733 3602723536 794607418 239980499 1394011182 363263213 1104629068 2725871031 688055532 3766408255 3610124727 763486579 2323969420 669255041 309876043 1657572177 53001603 1178301282 2805720352 3901143013 2292447550 1685236133 3711949269 2245226202 1887212169 3477770413 2267640056 2471532946 424645388 3792380715 3907802384 2798885295 4000224291 238120330 2348355411 1184250462 3276939377 1648708797 506715901 3565725022 333332449 934030796 2472544578 225925179 3308489990 1496582585 2817603886 4137597937 793653219 705747122 2230842167 3654740571 4259628563 4169108050 3718980856 361740240 2536070656 1804534048 3575236181 3845452127 2065561761 3505462893 4231499027 3696947150 1530803749 3237983726 2917659311 1350363643 1395108313 1623896367 861738389 3686428593 272776815 933081146 1479225024 3284853437 3875603327 2495276152 2287674757 891558154 3740317313 2900804062 252054891 1487089208 2912658012 409305060 2953338369 1991965124 2694838655 2927160169 3761102963 2954244789 1029027078 1321162186 588041164 2489370707 4237531573 10032451 2874013072 3843097643 532104085 286885637 1603693252 3781415367 3430078945 1199052707 2948001506 1252317166 1265125354 4069965690 3867753962 255598612 1144753283 401302779 1139364044 2445369822 2575193970 2276707984 1322378573 3735741985 199803037 3444007802 3165048531 2808484875 138236349 822690809 949573081 1527595824 3372598907 4180264458 4190711865 1311612935 875460851 1064637087 3340984630 2634879694 2607028854 3597726447 1171882461 3563635626 777215705 255 362436" option to reproduce the execution 0.09/0.10 c #vars 10272 0.09/0.10 c #constraints 706 0.19/0.24 c BCD2: Hardening is enabled. 0.19/0.24 c BCD2: BiasedSearch is enabled. 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 3659 0 | 0 | 0 0.29/0.37 c 0.1s | 1 | 409 | 100 | 3659 0 | 0 | 0 0.58/0.61 c 0.4s | 2 | 1358 | 250 | 4025 0 | 0 | 0 0.58/0.65 c 0.4s | 2 | 2800 | 256 | 4428 0 | 0 | 0 0.58/0.65 c #cpu_time = 0.401s 0.58/0.65 c #wall_clock_time = 0.402s 0.58/0.65 c #decision = 2800 0.58/0.65 c #random_decision = 7 0.58/0.65 c #conflict = 256 0.58/0.65 c #restart = 2 0.58/0.65 o 32 0.58/0.65 c BCD2: updating upper bound: 32 -> 31 0.58/0.65 c BCD2: 0 <= obj <= 31 0.58/0.65 c BCD2: #cores=0, #unrelaxed=32, #relaxed=0, #hardened=0 0.58/0.65 c BCD2: #sat=1 #unsat=1 bias=1/2 0.58/0.65 c Solving starts ... 0.58/0.65 c ============================[ Search Statistics ]============================ 0.58/0.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.65 c | | | | Limit GC | Var | Constra 0.58/0.65 c ============================================================================= 0.58/0.65 c 0.0s | 0 | 0 | 0 | 4428 0 | 0 | 0 0.58/0.66 c 0.0s | 0 | 4 | 0 | 4428 0 | 0 | 0 0.58/0.66 c #cpu_time = 0.012s 0.58/0.66 c #wall_clock_time = 0.012s 0.58/0.66 c #decision = 4 0.58/0.66 c #random_decision = 0 0.58/0.66 c #conflict = 0 0.58/0.66 c #restart = 0 0.58/0.66 c BCD2: found a new core of size 5: cost of the new core is >=1 0.58/0.66 c lower bound updated to 1 0.58/0.66 c BCD2: 1 <= obj <= 31 0.58/0.66 c BCD2: #cores=1, #unrelaxed=27, #relaxed=5, #hardened=0 0.58/0.66 c BCD2: #sat=1 #unsat=2 bias=2/3 0.58/0.68 c Solving starts ... 0.58/0.68 c ============================[ Search Statistics ]============================ 0.58/0.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.68 c | | | | Limit GC | Var | Constra 0.58/0.68 c ============================================================================= 0.58/0.68 c 0.0s | 0 | 0 | 0 | 4428 0 | 0 | 0 0.58/0.69 c 0.0s | 0 | 6 | 1 | 4428 0 | 0 | 0 0.58/0.69 c #cpu_time = 0.008s 0.58/0.69 c #wall_clock_time = 0.008s 0.58/0.69 c #decision = 6 0.58/0.69 c #random_decision = 0 0.58/0.69 c #conflict = 1 0.58/0.69 c #restart = 0 0.58/0.69 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 10: cost of the new core is >=2 0.58/0.69 c lower bound updated to 2 0.58/0.69 c BCD2: 2 <= obj <= 31 0.58/0.69 c BCD2: #cores=1, #unrelaxed=22, #relaxed=10, #hardened=0 0.58/0.69 c BCD2: #sat=1 #unsat=3 bias=3/4 0.58/0.69 c Solving starts ... 0.58/0.69 c ============================[ Search Statistics ]============================ 0.58/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.69 c | | | | Limit GC | Var | Constra 0.58/0.69 c ============================================================================= 0.58/0.69 c 0.0s | 0 | 0 | 0 | 4428 0 | 1 | 0 0.68/0.70 c 0.0s | 0 | 6 | 1 | 4428 0 | 1 | 1 0.68/0.70 c #cpu_time = 0.008s 0.68/0.70 c #wall_clock_time = 0.008s 0.68/0.70 c #decision = 6 0.68/0.70 c #random_decision = 0 0.68/0.70 c #conflict = 1 0.68/0.70 c #restart = 0 0.68/0.70 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 15: cost of the new core is >=3 0.68/0.70 c lower bound updated to 3 0.68/0.70 c BCD2: 3 <= obj <= 31 0.68/0.70 c BCD2: #cores=1, #unrelaxed=17, #relaxed=15, #hardened=0 0.68/0.70 c BCD2: #sat=1 #unsat=4 bias=4/5 0.68/0.70 c Solving starts ... 0.68/0.70 c ============================[ Search Statistics ]============================ 0.68/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.70 c | | | | Limit GC | Var | Constra 0.68/0.70 c ============================================================================= 0.68/0.70 c 0.0s | 0 | 0 | 0 | 4428 0 | 2 | 1 0.68/0.71 c 0.0s | 0 | 5 | 1 | 4428 0 | 2 | 2 0.68/0.71 c #cpu_time = 0.008s 0.68/0.71 c #wall_clock_time = 0.008s 0.68/0.71 c #decision = 5 0.68/0.71 c #random_decision = 0 0.68/0.71 c #conflict = 1 0.68/0.71 c #restart = 0 0.68/0.71 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 19: cost of the new core is >=4 0.68/0.71 c lower bound updated to 4 0.68/0.71 c BCD2: 4 <= obj <= 31 0.68/0.71 c BCD2: #cores=1, #unrelaxed=13, #relaxed=19, #hardened=0 0.68/0.71 c BCD2: #sat=1 #unsat=5 bias=5/6 0.68/0.71 c Solving starts ... 0.68/0.71 c ============================[ Search Statistics ]============================ 0.68/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.71 c | | | | Limit GC | Var | Constra 0.68/0.71 c ============================================================================= 0.68/0.71 c 0.0s | 0 | 0 | 0 | 4428 0 | 3 | 2 0.68/0.72 c 0.0s | 0 | 6 | 1 | 4428 0 | 3 | 3 0.68/0.72 c #cpu_time = 0.008s 0.68/0.72 c #wall_clock_time = 0.008s 0.68/0.72 c #decision = 6 0.68/0.72 c #random_decision = 0 0.68/0.72 c #conflict = 1 0.68/0.72 c #restart = 0 0.68/0.72 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 24: cost of the new core is >=5 0.68/0.72 c lower bound updated to 5 0.68/0.72 c BCD2: 5 <= obj <= 31 0.68/0.72 c BCD2: #cores=1, #unrelaxed=8, #relaxed=24, #hardened=0 0.68/0.72 c BCD2: #sat=1 #unsat=6 bias=6/7 0.68/0.72 c Solving starts ... 0.68/0.72 c ============================[ Search Statistics ]============================ 0.68/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.72 c | | | | Limit GC | Var | Constra 0.68/0.72 c ============================================================================= 0.68/0.72 c 0.0s | 0 | 0 | 0 | 4428 0 | 4 | 3 0.68/0.73 c 0.0s | 0 | 6 | 1 | 4428 0 | 4 | 4 0.68/0.73 c #cpu_time = 0.008s 0.68/0.73 c #wall_clock_time = 0.008s 0.68/0.73 c #decision = 6 0.68/0.73 c #random_decision = 0 0.68/0.73 c #conflict = 1 0.68/0.73 c #restart = 0 0.68/0.73 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 29: cost of the new core is >=6 0.68/0.73 c lower bound updated to 6 0.68/0.73 c BCD2: 6 <= obj <= 31 0.68/0.73 c BCD2: #cores=1, #unrelaxed=3, #relaxed=29, #hardened=0 0.68/0.73 c BCD2: #sat=1 #unsat=7 bias=7/8 0.68/0.73 c Solving starts ... 0.68/0.73 c ============================[ Search Statistics ]============================ 0.68/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.73 c | | | | Limit GC | Var | Constra 0.68/0.73 c ============================================================================= 0.68/0.73 c 0.0s | 0 | 0 | 0 | 4428 0 | 5 | 4 0.68/0.76 c 0.0s | 1 | 345 | 100 | 4428 0 | 5 | 5 0.78/0.80 c 0.1s | 2 | 510 | 250 | 4871 0 | 5 | 5 0.78/0.82 c 0.1s | 2 | 593 | 330 | 4871 0 | 5 | 5 0.78/0.82 c #cpu_time = 0.094s 0.78/0.82 c #wall_clock_time = 0.094s 0.78/0.82 c #decision = 593 0.78/0.82 c #random_decision = 1 0.78/0.82 c #conflict = 330 0.78/0.82 c #restart = 2 0.78/0.82 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 32: cost of the new core is >=7 0.78/0.82 c lower bound updated to 7 0.78/0.82 c BCD2: 7 <= obj <= 31 0.78/0.82 c BCD2: #cores=1, #unrelaxed=0, #relaxed=32, #hardened=0 0.78/0.82 c BCD2: #sat=1 #unsat=8 bias=8/9 0.78/0.82 c Solving starts ... 0.78/0.82 c ============================[ Search Statistics ]============================ 0.78/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.78/0.82 c | | | | Limit GC | Var | Constra 0.78/0.82 c ============================================================================= 0.78/0.84 c 0.0s | 0 | 0 | 0 | 4871 0 | 6 | 5 0.98/1.01 c 0.2s | 1 | 6024 | 100 | 4871 0 | 6 | 6 1.28/1.31 c 0.5s | 2 | 10696 | 250 | 5359 0 | 6 | 6 1.98/2.00 c 1.2s | 3 | 14371 | 475 | 5359 0 | 6 | 6 2.78/2.82 c 2.0s | 4 | 16925 | 813 | 5895 0 | 6 | 6 2.78/2.87 c 2.0s | 4 | 18201 | 814 | 5895 0 | 6 | 6 2.78/2.87 c #cpu_time = 2.025s 2.78/2.87 c #wall_clock_time = 2.030s 2.78/2.87 c #decision = 18201 2.78/2.87 c #random_decision = 48 2.78/2.87 c #conflict = 814 2.78/2.87 c #restart = 4 2.78/2.87 o 29 2.78/2.87 c BCD2: updating upper bound: 31 -> 28 2.78/2.87 c BCD2: 7 <= obj <= 28 2.78/2.87 c BCD2: #cores=1, #unrelaxed=0, #relaxed=32, #hardened=0 2.78/2.87 c BCD2: #sat=2 #unsat=8 bias=8/10 2.78/2.87 c Solving starts ... 2.78/2.87 c ============================[ Search Statistics ]============================ 2.78/2.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.78/2.87 c | | | | Limit GC | Var | Constra 2.78/2.87 c ============================================================================= 2.78/2.87 c 0.0s | 0 | 0 | 0 | 5895 0 | 6 | 8 2.88/2.95 c 0.1s | 1 | 1058 | 100 | 5895 0 | 6 | 8 2.98/3.01 c 0.1s | 2 | 1230 | 250 | 5895 0 | 6 | 8 3.09/3.10 c 0.2s | 3 | 1482 | 475 | 5895 0 | 6 | 8 3.19/3.25 c 0.4s | 4 | 1836 | 813 | 6485 0 | 6 | 8 3.39/3.45 c 0.6s | 5 | 2366 | 1320 | 6485 0 | 6 | 8 3.69/3.76 c 0.9s | 6 | 3148 | 2081 | 7134 0 | 6 | 8 4.18/4.24 c 1.4s | 7 | 4309 | 3223 | 7134 0 | 6 | 8 4.89/4.92 c 2.0s | 8 | 6055 | 4936 | 7848 0 | 6 | 8 5.99/6.04 c 3.2s | 9 | 8643 | 7506 | 8633 0 | 6 | 8 7.80/7.86 c 5.0s | 10 | 12535 | 11361 | 9497 1 | 6 | 8 9.79/9.89 c 7.0s | 10 | 16274 | 15061 | 9497 2 | 6 | 8 10.89/10.95 c 8.1s | 11 | 18359 | 17144 | 10447 2 | 6 | 8 12.88/12.96 c 10.1s | 11 | 22089 | 20844 | 10447 3 | 6 | 8 14.88/14.99 c 12.1s | 11 | 26212 | 24944 | 11492 3 | 6 | 8 15.39/15.48 c 12.6s | 12 | 27092 | 25819 | 11492 3 | 6 | 8 17.48/17.52 c 14.6s | 12 | 30520 | 29219 | 11492 4 | 6 | 8 19.48/19.54 c 16.7s | 12 | 34035 | 32719 | 11492 4 | 6 | 8 21.48/21.55 c 18.7s | 12 | 38148 | 36819 | 11492 5 | 6 | 8 22.48/22.55 c 19.7s | 13 | 40167 | 38832 | 12642 5 | 6 | 8 24.48/24.59 c 21.7s | 13 | 43190 | 41832 | 12642 6 | 6 | 8 26.59/26.62 c 23.7s | 13 | 47416 | 46032 | 12642 6 | 6 | 8 28.59/28.64 c 25.8s | 13 | 51937 | 50532 | 12642 7 | 6 | 8 31.18/31.22 c 28.3s | 13 | 55145 | 53732 | 12642 8 | 6 | 8 33.18/33.22 c 30.3s | 13 | 59157 | 57732 | 13907 8 | 6 | 8 33.58/33.66 c 30.8s | 14 | 59790 | 58352 | 13907 8 | 6 | 8 35.68/35.73 c 32.9s | 14 | 62448 | 60952 | 13907 8 | 6 | 8 37.68/37.74 c 34.9s | 14 | 65785 | 64252 | 13907 9 | 6 | 8 39.69/39.76 c 36.9s | 14 | 68998 | 67452 | 13907 9 | 6 | 8 41.68/41.79 c 38.9s | 14 | 69418 | 67852 | 13907 10 | 6 | 8 43.78/43.80 c 40.9s | 14 | 73567 | 71952 | 13907 10 | 6 | 8 45.78/45.84 c 43.0s | 14 | 77283 | 75652 | 13907 11 | 6 | 8 47.78/47.87 c 45.0s | 14 | 81401 | 79752 | 13907 11 | 6 | 8 50.09/50.16 c 47.3s | 14 | 84228 | 82552 | 13907 12 | 6 | 8 52.09/52.16 c 49.3s | 14 | 87433 | 85752 | 15298 12 | 6 | 8 53.29/53.32 c 50.4s | 15 | 89329 | 87632 | 15298 12 | 6 | 8 55.28/55.38 c 52.5s | 15 | 91745 | 90032 | 15298 12 | 6 | 8 58.18/58.26 c 55.4s | 15 | 94077 | 92332 | 15298 13 | 6 | 8 60.18/60.27 c 57.4s | 15 | 97527 | 95732 | 15298 13 | 6 | 8 62.38/62.41 c 59.5s | 15 | 100769 | 98932 | 15298 14 | 6 | 8 64.38/64.44 c 61.6s | 15 | 105280 | 103432 | 15298 14 | 6 | 8 66.38/66.47 c 63.6s | 15 | 108407 | 106532 | 15298 14 | 6 | 8 68.38/68.49 c 65.6s | 15 | 111772 | 109832 | 15298 15 | 6 | 8 70.18/70.24 c 67.4s | 15 | 114710 | 112770 | 15298 15 | 7 | 10 70.18/70.24 c #cpu_time = 67.190s 70.18/70.24 c #wall_clock_time = 67.366s 70.18/70.24 c #decision = 114710 70.18/70.24 c #random_decision = 494 70.18/70.24 c #conflict = 112770 70.18/70.24 c #restart = 15 70.18/70.24 c BCD2: updating lower bound of a core 70.18/70.24 c lower bound updated to 25 70.18/70.24 c BCD2: 25 <= obj <= 28 70.18/70.24 c BCD2: #cores=1, #unrelaxed=0, #relaxed=32, #hardened=0 70.18/70.24 c BCD2: #sat=2 #unsat=9 bias=9/11 70.18/70.24 c Solving starts ... 70.18/70.24 c ============================[ Search Statistics ]============================ 70.18/70.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 70.18/70.24 c | | | | Limit GC | Var | Constra 70.18/70.24 c ============================================================================= 70.18/70.24 c 0.0s | 0 | 0 | 0 | 15298 0 | 7 | 11 70.58/70.65 c 0.4s | 1 | 7546 | 100 | 15298 0 | 7 | 11 75.37/75.40 c 5.2s | 1 | 10124 | 200 | 15298 0 | 7 | 11 75.47/75.56 c 5.3s | 2 | 10173 | 250 | 15298 0 | 7 | 11 76.57/76.64 c 6.4s | 3 | 11715 | 475 | 15298 0 | 7 | 11 77.27/77.34 c 7.1s | 4 | 13344 | 813 | 15298 0 | 7 | 11 78.18/78.30 c 8.1s | 5 | 14816 | 1320 | 15298 0 | 7 | 11 79.47/79.50 c 9.3s | 6 | 16780 | 2081 | 15298 0 | 7 | 11 81.27/81.32 c 11.1s | 7 | 18938 | 3223 | 15298 0 | 7 | 11 83.37/83.40 c 13.2s | 7 | 21120 | 4123 | 15298 0 | 7 | 11 84.97/85.03 c 14.8s | 8 | 22290 | 4936 | 15298 0 | 7 | 11 86.98/87.08 c 16.8s | 8 | 24252 | 6036 | 15298 0 | 7 | 11 89.18/89.22 c 19.0s | 8 | 25566 | 7336 | 15298 0 | 7 | 11 89.47/89.52 c 19.3s | 9 | 25739 | 7506 | 15298 0 | 7 | 11 91.57/91.63 c 21.4s | 9 | 28140 | 8506 | 15298 0 | 7 | 11 93.77/93.82 c 23.6s | 9 | 29045 | 9306 | 15298 0 | 7 | 11 95.78/95.83 c 25.6s | 9 | 30182 | 10006 | 15298 0 | 7 | 11 97.77/97.89 c 27.7s | 9 | 31926 | 10806 | 15298 0 | 7 | 11 99.08/99.17 c 28.9s | 10 | 32659 | 11361 | 15298 0 | 7 | 11 101.17/101.27 c 31.0s | 10 | 34237 | 11861 | 15298 0 | 7 | 11 103.27/103.32 c 33.1s | 10 | 34838 | 12461 | 15298 0 | 7 | 11 105.27/105.37 c 35.1s | 10 | 35434 | 13061 | 15298 0 | 7 | 11 107.37/107.44 c 37.2s | 10 | 36040 | 13661 | 15298 0 | 7 | 11 109.57/109.69 c 39.4s | 10 | 36737 | 14361 | 15298 0 | 7 | 11 111.67/111.74 c 41.5s | 10 | 37236 | 14861 | 15298 0 | 7 | 11 113.87/113.97 c 43.7s | 10 | 37735 | 15361 | 15298 0 | 7 | 11 116.07/116.11 c 45.9s | 10 | 38235 | 15861 | 15298 0 | 7 | 11 118.17/118.28 c 48.0s | 10 | 38737 | 16361 | 15298 0 | 7 | 11 120.46/120.57 c 50.3s | 10 | 39346 | 16961 | 16828 0 | 7 | 11 121.16/121.28 c 51.0s | 11 | 39522 | 17144 | 16828 0 | 7 | 11 123.46/123.54 c 53.3s | 11 | 41341 | 17744 | 16828 1 | 7 | 11 125.66/125.70 c 55.5s | 11 | 42348 | 18644 | 16828 1 | 7 | 11 127.86/127.95 c 57.7s | 11 | 43289 | 19444 | 16828 1 | 7 | 11 130.16/130.23 c 60.0s | 11 | 43968 | 20044 | 16828 1 | 7 | 11 132.16/132.29 c 62.1s | 11 | 44896 | 20844 | 16828 1 | 7 | 11 134.36/134.43 c 64.2s | 11 | 45843 | 21644 | 16828 1 | 7 | 11 136.36/136.44 c 66.2s | 11 | 46762 | 22444 | 16828 1 | 7 | 11 138.66/138.72 c 68.5s | 11 | 47661 | 23244 | 16828 1 | 7 | 11 140.76/140.90 c 70.7s | 11 | 48611 | 24044 | 16828 1 | 7 | 11 142.86/143.00 c 72.8s | 11 | 49420 | 24744 | 16828 1 | 7 | 11 145.16/145.22 c 75.0s | 11 | 50194 | 25444 | 16828 1 | 7 | 11 146.05/146.19 c 75.9s | 12 | 50630 | 25819 | 16828 1 | 7 | 11 148.15/148.25 c 78.0s | 12 | 53436 | 26619 | 16828 2 | 7 | 11 150.26/150.39 c 80.1s | 12 | 54663 | 27719 | 16828 2 | 7 | 11 152.46/152.59 c 82.3s | 12 | 55749 | 28619 | 16828 2 | 7 | 11 154.66/154.74 c 84.5s | 12 | 56983 | 29619 | 16828 2 | 7 | 11 156.76/156.83 c 86.6s | 12 | 58113 | 30519 | 16828 2 | 7 | 11 158.86/158.91 c 88.7s | 12 | 58882 | 31219 | 16828 2 | 7 | 11 160.86/160.94 c 90.7s | 12 | 59728 | 31919 | 16828 2 | 7 | 11 163.05/163.15 c 92.9s | 12 | 60656 | 32719 | 16828 2 | 7 | 11 165.55/165.63 c 95.4s | 12 | 61298 | 33319 | 16828 2 | 7 | 11 167.55/167.68 c 97.4s | 12 | 61939 | 33919 | 16828 2 | 7 | 11 169.75/169.83 c 99.6s | 12 | 62804 | 34719 | 16828 2 | 7 | 11 171.85/171.95 c 101s | 12 | 63593 | 35419 | 16828 2 | 7 | 11 174.15/174.24 c 103s | 12 | 64236 | 36019 | 16828 2 | 7 | 11 176.45/176.54 c 106s | 12 | 64876 | 36619 | 16828 2 | 7 | 11 178.75/178.86 c 108s | 12 | 65501 | 37219 | 16828 2 | 7 | 11 180.95/181.04 c 110s | 12 | 66028 | 37719 | 16828 2 | 7 | 11 182.95/183.05 c 112s | 12 | 66584 | 38219 | 16828 2 | 7 | 11 184.95/185.06 c 114s | 12 | 67135 | 38719 | 16828 2 | 7 | 11 185.55/185.60 c 115s | 13 | 67255 | 38832 | 16828 2 | 7 | 11 187.75/187.81 c 117s | 13 | 69638 | 39432 | 16828 3 | 7 | 11 189.95/190.03 c 119s | 13 | 70417 | 40132 | 16828 3 | 7 | 11 191.95/192.08 c 121s | 13 | 71293 | 40932 | 16828 3 | 7 | 11 194.25/194.34 c 124s | 13 | 72186 | 41732 | 16828 3 | 7 | 11 196.45/196.53 c 126s | 13 | 73142 | 42532 | 16828 3 | 7 | 11 198.45/198.58 c 128s | 13 | 73960 | 43232 | 16828 3 | 7 | 11 200.65/200.73 c 130s | 13 | 74807 | 43932 | 16828 3 | 7 | 11 202.75/202.83 c 132s | 13 | 75592 | 44632 | 16828 3 | 7 | 11 204.75/204.83 c 134s | 13 | 76248 | 45232 | 16828 3 | 7 | 11 206.75/206.85 c 136s | 13 | 76896 | 45832 | 16828 3 | 7 | 11 208.85/208.92 c 138s | 13 | 77554 | 46432 | 16828 3 | 7 | 11 210.95/211.02 c 140s | 13 | 78234 | 47032 | 16828 3 | 7 | 11 213.05/213.19 c 142s | 13 | 78889 | 47632 | 16828 3 | 7 | 11 215.24/215.31 c 145s | 13 | 79569 | 48232 | 16828 3 | 7 | 11 217.54/217.60 c 147s | 13 | 80223 | 48832 | 16828 3 | 7 | 11 219.64/219.76 c 149s | 13 | 80851 | 49432 | 16828 3 | 7 | 11 221.84/221.98 c 151s | 13 | 81538 | 50032 | 16828 3 | 7 | 11 223.94/224.04 c 153s | 13 | 82180 | 50632 | 16828 3 | 7 | 11 226.34/226.45 c 156s | 13 | 82821 | 51232 | 16828 3 | 7 | 11 228.54/228.67 c 158s | 13 | 83348 | 51732 | 16828 3 | 7 | 11 230.74/230.85 c 160s | 13 | 84018 | 52332 | 16828 3 | 7 | 11 232.94/233.05 c 162s | 13 | 84668 | 52932 | 16828 3 | 7 | 11 235.14/235.27 c 165s | 13 | 85355 | 53532 | 16828 3 | 7 | 11 237.54/237.62 c 167s | 13 | 86031 | 54132 | 16828 3 | 7 | 11 239.53/239.67 c 169s | 13 | 86698 | 54632 | 16828 3 | 7 | 11 241.83/241.91 c 171s | 13 | 87158 | 55032 | 16828 4 | 7 | 11 243.83/243.94 c 173s | 13 | 87840 | 55632 | 16828 4 | 7 | 11 246.03/246.19 c 175s | 13 | 88629 | 56332 | 16828 4 | 7 | 11 248.13/248.27 c 178s | 13 | 89307 | 56932 | 16828 4 | 7 | 11 250.34/250.46 c 180s | 13 | 89946 | 57532 | 16828 4 | 7 | 11 252.73/252.85 c 182s | 13 | 90757 | 58232 | 16828 4 | 7 | 11 253.13/253.27 c 183s | 14 | 90880 | 58352 | 16828 4 | 7 | 11 255.14/255.30 c 185s | 14 | 93766 | 58752 | 16828 5 | 7 | 11 257.34/257.42 c 187s | 14 | 94748 | 59652 | 16828 5 | 7 | 11 259.33/259.45 c 189s | 14 | 95714 | 60552 | 16828 5 | 7 | 11 261.53/261.68 c 191s | 14 | 96783 | 61552 | 16828 5 | 7 | 11 263.53/263.69 c 193s | 14 | 97629 | 62352 | 16828 5 | 7 | 11 265.73/265.84 c 195s | 14 | 98627 | 63252 | 16828 5 | 7 | 11 267.83/267.94 c 197s | 14 | 99601 | 64152 | 16828 5 | 7 | 11 269.83/269.99 c 199s | 14 | 100567 | 65052 | 16828 5 | 7 | 11 272.13/272.24 c 201s | 14 | 101551 | 65952 | 16828 5 | 7 | 11 274.23/274.30 c 204s | 14 | 102390 | 66752 | 16828 5 | 7 | 11 276.42/276.52 c 206s | 14 | 103238 | 67552 | 16828 5 | 7 | 11 278.42/278.59 c 208s | 14 | 104106 | 68352 | 16828 5 | 7 | 11 280.72/280.84 c 210s | 14 | 105094 | 69252 | 16828 5 | 7 | 11 282.73/282.86 c 212s | 14 | 105988 | 70052 | 16828 5 | 7 | 11 284.82/284.98 c 214s | 14 | 106852 | 70852 | 16828 5 | 7 | 11 287.12/287.27 c 217s | 14 | 107686 | 71652 | 16828 5 | 7 | 11 289.32/289.48 c 219s | 14 | 108425 | 72352 | 16828 5 | 7 | 11 291.42/291.52 c 221s | 14 | 109061 | 72952 | 16828 5 | 7 | 11 293.42/293.54 c 223s | 14 | 109694 | 73552 | 16828 5 | 7 | 11 295.51/295.61 c 225s | 14 | 110425 | 74252 | 16828 5 | 7 | 11 297.51/297.66 c 227s | 14 | 111174 | 74952 | 16828 5 | 7 | 11 299.81/299.93 c 229s | 14 | 112046 | 75752 | 16828 5 | 7 | 11 302.01/302.17 c 231s | 14 | 112783 | 76452 | 16828 5 | 7 | 11 304.11/304.23 c 233s | 14 | 113217 | 76852 | 16828 6 | 7 | 11 306.21/306.36 c 236s | 14 | 113973 | 77552 | 16828 6 | 7 | 11 308.31/308.43 c 238s | 14 | 114741 | 78252 | 16828 6 | 7 | 11 310.40/310.58 c 240s | 14 | 115386 | 78852 | 16828 6 | 7 | 11 312.60/312.79 c 242s | 14 | 116132 | 79552 | 16828 6 | 7 | 11 314.90/315.05 c 244s | 14 | 116880 | 80252 | 16828 6 | 7 | 11 317.30/317.40 c 247s | 14 | 117616 | 80952 | 16828 6 | 7 | 11 319.30/319.46 c 249s | 14 | 118250 | 81552 | 16828 6 | 7 | 11 321.60/321.74 c 251s | 14 | 118994 | 82252 | 18511 6 | 7 | 11 323.60/323.77 c 253s | 14 | 119642 | 82852 | 18511 6 | 7 | 11 325.79/325.98 c 255s | 14 | 120272 | 83452 | 18511 6 | 7 | 11 328.09/328.25 c 258s | 14 | 120914 | 84052 | 18511 6 | 7 | 11 330.29/330.46 c 260s | 14 | 121565 | 84652 | 18511 6 | 7 | 11 332.59/332.72 c 262s | 14 | 122191 | 85252 | 18511 6 | 7 | 11 334.89/335.00 c 264s | 14 | 122831 | 85852 | 18511 6 | 7 | 11 337.09/337.30 c 267s | 14 | 123483 | 86452 | 18511 6 | 7 | 11 339.29/339.44 c 269s | 14 | 124114 | 87052 | 18511 6 | 7 | 11 341.39/341.52 c 271s | 15 | 124722 | 87632 | 18511 6 | 7 | 11 343.38/343.56 c 273s | 15 | 128763 | 88032 | 18511 7 | 7 | 11 345.68/345.80 c 275s | 15 | 129730 | 88932 | 18511 7 | 7 | 11 347.68/347.88 c 277s | 15 | 130584 | 89732 | 18511 7 | 7 | 11 349.79/349.91 c 279s | 15 | 131214 | 90332 | 18511 7 | 7 | 11 351.78/352.00 c 281s | 15 | 132307 | 91332 | 18511 7 | 7 | 11 353.98/354.17 c 283s | 15 | 133282 | 92232 | 18511 7 | 7 | 11 356.07/356.24 c 285s | 15 | 134250 | 93132 | 18511 7 | 7 | 11 358.37/358.51 c 288s | 15 | 135225 | 94032 | 18511 7 | 7 | 11 360.38/360.58 c 290s | 15 | 136103 | 94832 | 18511 7 | 7 | 11 362.48/362.67 c 292s | 15 | 136766 | 95432 | 18511 7 | 7 | 11 364.87/365.01 c 294s | 15 | 137313 | 95932 | 18511 7 | 7 | 11 367.38/367.51 c 297s | 15 | 137872 | 96432 | 18511 7 | 7 | 11 369.48/369.69 c 299s | 15 | 138770 | 97232 | 18511 7 | 7 | 11 371.57/371.76 c 301s | 15 | 139531 | 97932 | 18511 7 | 7 | 11 373.88/374.07 c 303s | 15 | 140307 | 98632 | 18511 7 | 7 | 11 375.97/376.15 c 305s | 15 | 140835 | 99132 | 18511 7 | 7 | 11 378.17/378.38 c 308s | 15 | 141358 | 99632 | 18511 7 | 7 | 11 380.47/380.60 c 310s | 15 | 141903 | 100132 | 18511 7 | 7 | 11 382.67/382.83 c 312s | 15 | 142433 | 100632 | 18511 7 | 7 | 11 384.87/385.04 c 314s | 15 | 142986 | 101132 | 18511 7 | 7 | 11 387.26/387.42 c 317s | 15 | 143743 | 101832 | 18511 7 | 7 | 11 389.46/389.60 c 319s | 15 | 144387 | 102432 | 18511 7 | 7 | 11 391.57/391.72 c 321s | 15 | 145143 | 103132 | 18511 7 | 7 | 11 394.26/394.47 c 324s | 15 | 146178 | 104032 | 18511 8 | 7 | 11 396.46/396.61 c 326s | 15 | 147103 | 104832 | 18511 8 | 7 | 11 398.46/398.69 c 328s | 15 | 147992 | 105632 | 18511 8 | 7 | 11 400.66/400.80 c 330s | 15 | 148777 | 106332 | 18511 8 | 7 | 11 402.66/402.90 c 332s | 15 | 149545 | 107032 | 18511 8 | 7 | 11 404.76/404.97 c 334s | 15 | 150305 | 107732 | 18511 8 | 7 | 11 406.75/406.98 c 336s | 15 | 151057 | 108432 | 18511 8 | 7 | 11 409.16/409.34 c 339s | 15 | 151802 | 109132 | 18511 8 | 7 | 11 411.45/411.67 c 341s | 15 | 152562 | 109832 | 18511 8 | 7 | 11 413.56/413.75 c 343s | 15 | 153369 | 110532 | 18511 8 | 7 | 11 415.65/415.89 c 345s | 15 | 154196 | 111232 | 18511 8 | 7 | 11 417.95/418.18 c 347s | 15 | 155006 | 111932 | 18511 8 | 7 | 11 420.25/420.43 c 350s | 15 | 155891 | 112732 | 18511 8 | 7 | 11 422.45/422.61 c 352s | 15 | 156682 | 113432 | 18511 8 | 7 | 11 424.74/424.91 c 354s | 15 | 157450 | 114132 | 18511 8 | 7 | 11 426.75/426.92 c 356s | 15 | 158099 | 114732 | 18511 8 | 7 | 11 429.04/429.23 c 358s | 15 | 158852 | 115432 | 18511 8 | 7 | 11 431.05/431.28 c 361s | 15 | 159301 | 115832 | 18511 8 | 7 | 11 433.54/433.70 c 363s | 15 | 159756 | 116232 | 18511 8 | 7 | 11 435.94/436.10 c 365s | 15 | 160185 | 116632 | 18511 8 | 7 | 11 438.04/438.25 c 368s | 15 | 160747 | 117132 | 18511 8 | 7 | 11 440.33/440.57 c 370s | 15 | 161291 | 117632 | 18511 8 | 7 | 11 442.53/442.79 c 372s | 15 | 161837 | 118132 | 18511 8 | 7 | 11 444.63/444.90 c 374s | 15 | 162155 | 118432 | 18511 9 | 7 | 11 446.94/447.18 c 376s | 15 | 162686 | 118932 | 18511 9 | 7 | 11 449.33/449.56 c 379s | 15 | 163125 | 119332 | 18511 9 | 7 | 11 451.53/451.72 c 381s | 15 | 163661 | 119832 | 18511 9 | 7 | 11 453.63/453.87 c 383s | 15 | 164206 | 120332 | 18511 9 | 7 | 11 455.83/456.00 c 385s | 15 | 164875 | 120932 | 18511 9 | 7 | 11 458.23/458.45 c 388s | 15 | 165540 | 121532 | 18511 9 | 7 | 11 460.73/460.93 c 390s | 15 | 166084 | 122032 | 18511 9 | 7 | 11 462.73/462.94 c 392s | 15 | 166632 | 122532 | 18511 9 | 7 | 11 465.02/465.22 c 394s | 15 | 167276 | 123132 | 18511 9 | 7 | 11 467.12/467.39 c 397s | 15 | 167740 | 123532 | 18511 9 | 7 | 11 469.53/469.77 c 399s | 15 | 168281 | 124032 | 18511 9 | 7 | 11 471.92/472.16 c 401s | 15 | 168733 | 124432 | 18511 9 | 7 | 11 473.93/474.18 c 403s | 15 | 169248 | 124932 | 18511 9 | 7 | 11 476.02/476.25 c 406s | 15 | 169766 | 125432 | 18511 9 | 7 | 11 478.22/478.48 c 408s | 15 | 170300 | 125932 | 18511 9 | 7 | 11 480.62/480.89 c 410s | 15 | 170945 | 126532 | 18511 9 | 7 | 11 482.72/482.96 c 412s | 15 | 171476 | 127032 | 18511 9 | 7 | 11 484.71/484.96 c 414s | 15 | 171993 | 127532 | 18511 9 | 7 | 11 486.81/487.01 c 416s | 15 | 172520 | 128032 | 18511 9 | 7 | 11 489.21/489.40 c 419s | 15 | 173175 | 128632 | 18511 9 | 7 | 11 491.51/491.78 c 421s | 15 | 173857 | 129232 | 18511 9 | 7 | 11 493.61/493.85 c 423s | 15 | 174411 | 129732 | 18511 9 | 7 | 11 495.71/495.95 c 425s | 15 | 174976 | 130232 | 18511 9 | 7 | 11 498.01/498.25 c 428s | 15 | 175515 | 130732 | 18511 9 | 7 | 11 500.21/500.43 c 430s | 15 | 176050 | 131232 | 18511 9 | 7 | 11 501.71/501.94 c 431s | 16 | 176385 | 131552 | 18511 9 | 7 | 11 503.81/504.01 c 433s | 16 | 178786 | 131652 | 18511 10 | 7 | 11 505.81/506.09 c 435s | 16 | 179664 | 132452 | 18511 10 | 7 | 11 508.01/508.29 c 438s | 16 | 180541 | 133252 | 18511 10 | 7 | 11 510.10/510.36 c 440s | 16 | 181293 | 133952 | 18511 10 | 7 | 11 512.20/512.47 c 442s | 16 | 182044 | 134652 | 18511 10 | 7 | 11 514.30/514.53 c 444s | 16 | 182693 | 135252 | 18511 10 | 7 | 11 516.40/516.60 c 446s | 16 | 183338 | 135852 | 18511 10 | 7 | 11 518.50/518.77 c 448s | 16 | 184237 | 136652 | 18511 10 | 7 | 11 520.60/520.86 c 450s | 16 | 184997 | 137352 | 18511 10 | 7 | 11 522.70/522.98 c 452s | 16 | 185763 | 138052 | 18511 10 | 7 | 11 524.80/525.08 c 454s | 16 | 186525 | 138752 | 18511 10 | 7 | 11 526.80/527.09 c 456s | 16 | 187317 | 139452 | 18511 10 | 7 | 11 529.10/529.33 c 459s | 16 | 188080 | 140152 | 18511 10 | 7 | 11 531.40/531.62 c 461s | 16 | 188889 | 140852 | 18511 10 | 7 | 11 533.50/533.71 c 463s | 16 | 189542 | 141452 | 18511 10 | 7 | 11 535.69/535.99 c 465s | 16 | 190306 | 142152 | 18511 10 | 7 | 11 537.99/538.28 c 468s | 16 | 190968 | 142752 | 18511 10 | 7 | 11 540.09/540.35 c 470s | 16 | 191635 | 143352 | 18511 10 | 7 | 11 542.20/542.45 c 472s | 16 | 192282 | 143952 | 18511 10 | 7 | 11 544.40/544.61 c 474s | 16 | 192914 | 144552 | 18511 10 | 7 | 11 546.39/546.68 c 476s | 16 | 193469 | 145052 | 18511 10 | 7 | 11 548.69/548.93 c 478s | 16 | 194219 | 145752 | 18511 10 | 7 | 11 551.49/551.75 c 481s | 16 | 194860 | 146352 | 18511 11 | 7 | 11 553.69/553.91 c 483s | 16 | 195500 | 146952 | 18511 11 | 7 | 11 555.88/556.14 c 485s | 16 | 196135 | 147552 | 18511 11 | 7 | 11 557.98/558.27 c 488s | 16 | 196775 | 148152 | 18511 11 | 7 | 11 560.38/560.64 c 490s | 16 | 197411 | 148752 | 18511 11 | 7 | 11 562.68/562.97 c 492s | 16 | 198041 | 149352 | 18511 11 | 7 | 11 564.98/565.26 c 495s | 16 | 198686 | 149952 | 18511 11 | 7 | 11 567.38/567.61 c 497s | 16 | 199319 | 150552 | 18511 11 | 7 | 11 569.47/569.73 c 499s | 16 | 199864 | 151052 | 18511 11 | 7 | 11 571.88/572.14 c 501s | 16 | 200532 | 151652 | 18511 11 | 7 | 11 574.08/574.32 c 504s | 16 | 201055 | 152152 | 18511 11 | 7 | 11 576.27/576.57 c 506s | 16 | 201576 | 152652 | 18511 11 | 7 | 11 578.37/578.62 c 508s | 16 | 202116 | 153152 | 18511 11 | 7 | 11 580.47/580.72 c 510s | 16 | 202645 | 153652 | 18511 11 | 7 | 11 582.67/582.93 c 512s | 16 | 203188 | 154152 | 18511 11 | 7 | 11 584.97/585.29 c 515s | 16 | 203697 | 154652 | 18511 11 | 7 | 11 587.36/587.67 c 517s | 16 | 204220 | 155152 | 18511 11 | 7 | 11 589.86/590.10 c 519s | 16 | 204745 | 155652 | 18511 11 | 7 | 11 592.16/592.43 c 522s | 16 | 205270 | 156152 | 18511 11 | 7 | 11 594.55/594.84 c 524s | 16 | 205796 | 156652 | 18511 11 | 7 | 11 596.75/597.00 c 526s | 16 | 206360 | 157152 | 18511 11 | 7 | 11 599.06/599.33 c 529s | 16 | 206995 | 157752 | 18511 11 | 7 | 11 601.16/601.47 c 531s | 16 | 207518 | 158252 | 18511 11 | 7 | 11 603.36/603.67 c 533s | 16 | 208072 | 158752 | 18511 11 | 7 | 11 605.65/605.94 c 535s | 16 | 208604 | 159252 | 18511 11 | 7 | 11 608.06/608.38 c 538s | 16 | 209259 | 159852 | 18511 11 | 7 | 11 610.15/610.47 c 540s | 16 | 209779 | 160352 | 18511 11 | 7 | 11 612.35/612.60 c 542s | 16 | 210116 | 160652 | 18511 12 | 7 | 11 614.44/614.76 c 544s | 16 | 210776 | 161252 | 18511 12 | 7 | 11 616.65/616.98 c 546s | 16 | 211416 | 161852 | 18511 12 | 7 | 11 618.95/619.20 c 548s | 16 | 211985 | 162352 | 18511 12 | 7 | 11 621.15/621.45 c 551s | 16 | 212648 | 162952 | 18511 12 | 7 | 11 623.25/623.50 c 553s | 16 | 213175 | 163452 | 18511 12 | 7 | 11 625.25/625.55 c 555s | 16 | 213703 | 163952 | 18511 12 | 7 | 11 627.45/627.71 c 557s | 16 | 214228 | 164452 | 18511 12 | 7 | 11 629.75/630.03 c 559s | 16 | 214883 | 165052 | 18511 12 | 7 | 11 631.85/632.19 c 561s | 16 | 215405 | 165552 | 18511 12 | 7 | 11 633.94/634.25 c 564s | 16 | 215825 | 165952 | 18511 12 | 7 | 11 635.94/636.25 c 566s | 16 | 216241 | 166352 | 18511 12 | 7 | 11 637.94/638.27 c 568s | 16 | 216691 | 166752 | 18511 12 | 7 | 11 640.14/640.42 c 570s | 16 | 217200 | 167252 | 18511 12 | 7 | 11 642.25/642.53 c 572s | 16 | 217741 | 167752 | 18511 12 | 7 | 11 644.74/645.01 c 574s | 16 | 218255 | 168252 | 18511 12 | 7 | 11 646.94/647.27 c 577s | 16 | 218791 | 168752 | 18511 12 | 7 | 11 649.44/649.75 c 579s | 16 | 219298 | 169252 | 18511 12 | 7 | 11 651.74/652.05 c 581s | 16 | 219827 | 169752 | 18511 12 | 7 | 11 654.24/654.53 c 584s | 16 | 220347 | 170252 | 18511 12 | 7 | 11 656.33/656.61 c 586s | 16 | 220765 | 170652 | 18511 12 | 7 | 11 658.83/659.12 c 588s | 16 | 221302 | 171152 | 18511 12 | 7 | 11 661.23/661.59 c 591s | 16 | 221823 | 171652 | 18511 12 | 7 | 11 663.63/663.92 c 593s | 16 | 222378 | 172152 | 18511 12 | 7 | 11 666.13/666.46 c 596s | 16 | 222914 | 172652 | 18511 12 | 7 | 11 668.63/668.94 c 598s | 16 | 223438 | 173152 | 18511 12 | 7 | 11 670.73/671.04 c 600s | 16 | 223844 | 173552 | 18511 12 | 7 | 11 672.82/673.17 c 602s | 16 | 224262 | 173952 | 18511 12 | 7 | 11 675.23/675.60 c 605s | 16 | 224788 | 174452 | 18511 12 | 7 | 11 678.32/678.64 c 608s | 16 | 225191 | 174852 | 18511 13 | 7 | 11 680.42/680.79 c 610s | 16 | 225736 | 175352 | 18511 13 | 7 | 11 682.72/683.03 c 612s | 16 | 226267 | 175852 | 18511 13 | 7 | 11 685.12/685.42 c 615s | 16 | 226794 | 176352 | 18511 13 | 7 | 11 687.11/687.46 c 617s | 16 | 227213 | 176752 | 18511 13 | 7 | 11 689.31/689.61 c 619s | 16 | 227746 | 177252 | 18511 13 | 7 | 11 691.41/691.75 c 621s | 16 | 228278 | 177752 | 18511 13 | 7 | 11 693.61/693.93 c 623s | 16 | 228810 | 178252 | 18511 13 | 7 | 11 695.81/696.12 c 625s | 16 | 229341 | 178752 | 18511 13 | 7 | 11 697.81/698.12 c 627s | 16 | 229868 | 179252 | 18511 13 | 7 | 11 699.81/700.16 c 629s | 16 | 230413 | 179752 | 18511 13 | 7 | 11 702.11/702.48 c 632s | 16 | 230945 | 180252 | 20363 13 | 7 | 11 704.21/704.58 c 634s | 16 | 231502 | 180752 | 20363 13 | 7 | 11 706.50/706.89 c 636s | 16 | 232017 | 181252 | 20363 13 | 7 | 11 709.00/709.30 c 639s | 16 | 232534 | 181752 | 20363 13 | 7 | 11 711.00/711.35 c 641s | 16 | 232976 | 182152 | 20363 13 | 7 | 11 713.20/713.50 c 643s | 16 | 233641 | 182752 | 20363 13 | 7 | 11 715.40/715.78 c 645s | 16 | 234301 | 183352 | 20363 13 | 7 | 11 717.50/717.88 c 647s | 16 | 234991 | 183952 | 20363 13 | 7 | 11 719.80/720.14 c 649s | 16 | 235649 | 184552 | 20363 13 | 7 | 11 721.80/722.17 c 651s | 16 | 236209 | 185052 | 20363 13 | 7 | 11 724.00/724.35 c 654s | 16 | 236751 | 185552 | 20363 13 | 7 | 11 726.30/726.60 c 656s | 16 | 237270 | 186052 | 20363 13 | 7 | 11 728.60/728.91 c 658s | 16 | 237783 | 186552 | 20363 13 | 7 | 11 730.70/731.01 c 660s | 16 | 238312 | 187052 | 20363 13 | 7 | 11 733.00/733.36 c 663s | 16 | 238831 | 187552 | 20363 13 | 7 | 11 735.20/735.52 c 665s | 16 | 239355 | 188052 | 20363 13 | 7 | 11 737.30/737.60 c 667s | 16 | 239898 | 188552 | 20363 13 | 7 | 11 739.40/739.78 c 669s | 16 | 240444 | 189052 | 20363 13 | 7 | 11 741.80/742.19 c 671s | 16 | 240985 | 189552 | 20363 13 | 7 | 11 744.10/744.43 c 674s | 16 | 241510 | 190052 | 20363 13 | 7 | 11 746.61/746.91 c 676s | 16 | 242043 | 190552 | 20363 13 | 7 | 11 749.50/749.82 c 679s | 16 | 242463 | 190952 | 20363 14 | 7 | 11 751.50/751.90 c 681s | 16 | 242997 | 191452 | 20363 14 | 7 | 11 753.90/754.21 c 683s | 16 | 243531 | 191952 | 20363 14 | 7 | 11 756.20/756.53 c 686s | 16 | 244174 | 192552 | 20363 14 | 7 | 11 758.20/758.57 c 688s | 16 | 244694 | 193052 | 20363 14 | 7 | 11 760.30/760.68 c 690s | 16 | 245232 | 193552 | 20363 14 | 7 | 11 762.50/762.89 c 692s | 16 | 245759 | 194052 | 20363 14 | 7 | 11 764.90/765.29 c 695s | 16 | 246388 | 194652 | 20363 14 | 7 | 11 767.00/767.36 c 697s | 16 | 246917 | 195152 | 20363 14 | 7 | 11 769.20/769.52 c 699s | 16 | 247446 | 195652 | 20363 14 | 7 | 11 771.19/771.58 c 701s | 16 | 247978 | 196152 | 20363 14 | 7 | 11 773.29/773.69 c 703s | 16 | 248512 | 196652 | 20363 14 | 7 | 11 775.49/775.89 c 705s | 16 | 249036 | 197152 | 20363 14 | 7 | 11 777.09/777.48 c 707s | 17 | 249330 | 197432 | 20363 14 | 7 | 11 779.29/779.66 c 709s | 17 | 252120 | 197832 | 20363 15 | 7 | 11 781.39/781.76 c 711s | 17 | 253337 | 198932 | 20363 15 | 7 | 11 783.59/783.96 c 713s | 17 | 254426 | 199932 | 20363 15 | 7 | 11 785.69/786.05 c 715s | 17 | 255386 | 200832 | 20363 15 | 7 | 11 787.69/788.06 c 717s | 17 | 256139 | 201532 | 20363 15 | 7 | 11 789.79/790.17 c 719s | 17 | 257099 | 202432 | 20363 15 | 7 | 11 791.89/792.26 c 722s | 17 | 257947 | 203232 | 20363 15 | 7 | 11 794.19/794.55 c 724s | 17 | 258814 | 204032 | 20363 15 | 7 | 11 796.29/796.67 c 726s | 17 | 259664 | 204832 | 20363 15 | 7 | 11 798.30/798.69 c 728s | 17 | 260511 | 205632 | 20363 15 | 7 | 11 800.39/800.79 c 730s | 17 | 261371 | 206432 | 20363 15 | 7 | 11 802.59/802.91 c 732s | 17 | 262217 | 207232 | 20363 15 | 7 | 11 804.79/805.18 c 734s | 17 | 263114 | 208032 | 20363 15 | 7 | 11 807.09/807.49 c 737s | 17 | 263962 | 208832 | 20363 15 | 7 | 11 809.19/809.55 c 739s | 17 | 264708 | 209532 | 20363 15 | 7 | 11 811.39/811.73 c 741s | 17 | 265478 | 210232 | 20363 15 | 7 | 11 813.59/813.90 c 743s | 17 | 266217 | 210932 | 20363 15 | 7 | 11 815.69/816.02 c 745s | 17 | 266967 | 211632 | 20363 15 | 7 | 11 817.89/818.24 c 747s | 17 | 267822 | 212432 | 20363 15 | 7 | 11 820.09/820.44 c 750s | 17 | 268556 | 213132 | 20363 15 | 7 | 11 822.19/822.57 c 752s | 17 | 269304 | 213832 | 20363 15 | 7 | 11 824.28/824.68 c 754s | 17 | 270047 | 214532 | 20363 15 | 7 | 11 826.48/826.88 c 756s | 17 | 270673 | 215132 | 20363 15 | 7 | 11 828.78/829.19 c 758s | 17 | 271447 | 215832 | 20363 15 | 7 | 11 830.98/831.31 c 761s | 17 | 272195 | 216532 | 20363 15 | 7 | 11 833.59/833.92 c 763s | 17 | 272846 | 217132 | 20363 16 | 7 | 11 835.98/836.37 c 766s | 17 | 273509 | 217732 | 20363 16 | 7 | 11 838.28/838.61 c 768s | 17 | 274155 | 218332 | 20363 16 | 7 | 11 840.38/840.72 c 770s | 17 | 274783 | 218932 | 20363 16 | 7 | 11 842.48/842.81 c 772s | 17 | 275441 | 219532 | 20363 16 | 7 | 11 844.59/844.92 c 774s | 17 | 276105 | 220132 | 20363 16 | 7 | 11 846.58/846.95 c 776s | 17 | 276747 | 220732 | 20363 16 | 7 | 11 848.78/849.20 c 778s | 17 | 277403 | 221332 | 20363 16 | 7 | 11 850.98/851.38 c 781s | 17 | 277968 | 221832 | 20363 16 | 7 | 11 853.18/853.56 c 783s | 17 | 278563 | 222332 | 20363 16 | 7 | 11 855.28/855.70 c 785s | 17 | 279101 | 222832 | 20363 16 | 7 | 11 857.38/857.72 c 787s | 17 | 279635 | 223332 | 20363 16 | 7 | 11 859.58/859.95 c 789s | 17 | 280164 | 223832 | 20363 16 | 7 | 11 861.68/862.09 c 791s | 17 | 280592 | 224232 | 20363 16 | 7 | 11 863.78/864.13 c 793s | 17 | 281030 | 224632 | 20363 16 | 7 | 11 866.18/866.54 c 796s | 17 | 281571 | 225132 | 20363 16 | 7 | 11 868.28/868.65 c 798s | 17 | 282049 | 225532 | 20363 16 | 7 | 11 870.68/871.02 c 800s | 17 | 282586 | 226032 | 20363 16 | 7 | 11 872.88/873.22 c 802s | 17 | 283129 | 226532 | 20363 16 | 7 | 11 875.08/875.45 c 805s | 17 | 283691 | 227032 | 20363 16 | 7 | 11 877.28/877.64 c 807s | 17 | 284238 | 227532 | 20363 16 | 7 | 11 879.38/879.76 c 809s | 17 | 284766 | 228032 | 20363 16 | 7 | 11 881.58/881.93 c 811s | 17 | 285294 | 228532 | 20363 16 | 7 | 11 883.58/883.95 c 813s | 17 | 285725 | 228932 | 20363 16 | 7 | 11 885.68/886.00 c 815s | 17 | 286460 | 229632 | 20363 16 | 7 | 11 887.88/888.24 c 817s | 17 | 287205 | 230332 | 20363 16 | 7 | 11 890.07/890.45 c 820s | 17 | 287844 | 230932 | 20363 16 | 7 | 11 892.47/892.81 c 822s | 17 | 288501 | 231532 | 20363 16 | 7 | 11 894.67/895.01 c 824s | 17 | 289169 | 232132 | 20363 16 | 7 | 11 896.87/897.27 c 827s | 17 | 289595 | 232532 | 20363 17 | 7 | 11 899.07/899.45 c 829s | 17 | 290436 | 233232 | 20363 17 | 7 | 11 901.27/901.62 c 831s | 17 | 291250 | 233932 | 20363 17 | 7 | 11 903.27/903.65 c 833s | 17 | 291903 | 234532 | 20363 17 | 7 | 11 905.37/905.77 c 835s | 17 | 292824 | 235332 | 20363 17 | 7 | 11 907.37/907.78 c 837s | 17 | 293574 | 236032 | 20363 17 | 7 | 11 909.48/909.81 c 839s | 17 | 294326 | 236732 | 20363 17 | 7 | 11 911.58/911.93 c 841s | 17 | 295096 | 237432 | 20363 17 | 7 | 11 913.67/914.02 c 843s | 17 | 295850 | 238132 | 20363 17 | 7 | 11 918.47/918.88 c 848s | 17 | 296414 | 238632 | 20363 17 | 7 | 11 920.67/921.01 c 850s | 17 | 297170 | 239332 | 20363 17 | 7 | 11 922.97/923.35 c 853s | 17 | 297957 | 240032 | 20363 17 | 7 | 11 925.27/925.68 c 855s | 17 | 298718 | 240732 | 20363 17 | 7 | 11 927.47/927.87 c 857s | 17 | 299537 | 241432 | 20363 17 | 7 | 11 929.87/930.21 c 859s | 17 | 300309 | 242132 | 20363 17 | 7 | 11 931.87/932.22 c 861s | 17 | 301039 | 242732 | 20363 17 | 7 | 11 934.07/934.40 c 864s | 17 | 301717 | 243332 | 20363 17 | 7 | 11 936.06/936.47 c 866s | 17 | 302386 | 243932 | 20363 17 | 7 | 11 938.07/938.48 c 868s | 17 | 303025 | 244532 | 20363 17 | 7 | 11 940.17/940.55 c 870s | 17 | 303681 | 245132 | 20363 17 | 7 | 11 942.26/942.62 c 872s | 17 | 304355 | 245732 | 20363 17 | 7 | 11 944.46/944.85 c 874s | 17 | 305000 | 246332 | 20363 17 | 7 | 11 946.77/947.15 c 876s | 17 | 305638 | 246932 | 20363 17 | 7 | 11 948.86/949.24 c 879s | 17 | 306176 | 247432 | 20363 17 | 7 | 11 950.96/951.34 c 881s | 17 | 306611 | 247832 | 20363 18 | 7 | 11 953.27/953.68 c 883s | 17 | 307073 | 248232 | 20363 18 | 7 | 11 955.46/955.89 c 885s | 17 | 307843 | 248932 | 20363 18 | 7 | 11 957.46/957.90 c 887s | 17 | 308610 | 249632 | 20363 18 | 7 | 11 959.76/960.18 c 889s | 17 | 309393 | 250332 | 20363 18 | 7 | 11 961.86/962.23 c 891s | 17 | 310174 | 251032 | 20363 18 | 7 | 11 963.96/964.34 c 894s | 17 | 310951 | 251732 | 20363 18 | 7 | 11 966.06/966.45 c 896s | 17 | 311711 | 252432 | 20363 18 | 7 | 11 968.36/968.79 c 898s | 17 | 312477 | 253132 | 20363 18 | 7 | 11 970.66/971.05 c 900s | 17 | 313258 | 253832 | 20363 18 | 7 | 11 972.86/973.22 c 902s | 17 | 314026 | 254532 | 20363 18 | 7 | 11 974.86/975.24 c 905s | 17 | 314672 | 255132 | 20363 18 | 7 | 11 977.06/977.40 c 907s | 17 | 315349 | 255732 | 20363 18 | 7 | 11 979.16/979.59 c 909s | 17 | 316005 | 256332 | 20363 18 | 7 | 11 981.26/981.63 c 911s | 17 | 316652 | 256932 | 20363 18 | 7 | 11 983.26/983.69 c 913s | 17 | 317336 | 257532 | 20363 18 | 7 | 11 985.56/985.91 c 915s | 17 | 317973 | 258132 | 20363 18 | 7 | 11 987.76/988.14 c 917s | 17 | 318618 | 258732 | 20363 18 | 7 | 11 989.86/990.26 c 920s | 17 | 319270 | 259332 | 20363 18 | 7 | 11 992.15/992.58 c 922s | 17 | 319914 | 259932 | 20363 18 | 7 | 11 994.45/994.89 c 924s | 17 | 320564 | 260532 | 20363 18 | 7 | 11 996.65/997.07 c 926s | 17 | 321227 | 261132 | 20363 18 | 7 | 11 999.05/999.42 c 929s | 17 | 321861 | 261732 | 20363 18 | 7 | 11 1001.06/1001.45 c 931s | 17 | 322397 | 262232 | 20363 18 | 7 | 11 1003.56/1003.93 c 933s | 17 | 322933 | 262732 | 20363 19 | 7 | 11 1005.56/1006.00 c 935s | 17 | 323625 | 263332 | 20363 19 | 7 | 11 1007.76/1008.11 c 937s | 17 | 324487 | 264132 | 20363 19 | 7 | 11 1009.86/1010.27 c 940s | 17 | 325370 | 264932 | 20363 19 | 7 | 11 1011.96/1012.33 c 942s | 17 | 326123 | 265632 | 20363 19 | 7 | 11 1014.16/1014.50 c 944s | 17 | 326762 | 266232 | 20363 19 | 7 | 11 1016.36/1016.71 c 946s | 17 | 327636 | 267032 | 20363 19 | 7 | 11 1018.37/1018.77 c 948s | 17 | 328378 | 267732 | 20363 19 | 7 | 11 1020.47/1020.87 c 950s | 17 | 329110 | 268432 | 20363 19 | 7 | 11 1022.77/1023.17 c 952s | 17 | 329857 | 269132 | 20363 19 | 7 | 11 1024.76/1025.18 c 954s | 17 | 330497 | 269732 | 20363 19 | 7 | 11 1027.06/1027.46 c 957s | 17 | 331235 | 270432 | 20363 19 | 7 | 11 1029.26/1029.64 c 959s | 17 | 332006 | 271132 | 20363 19 | 7 | 11 1031.36/1031.72 c 961s | 17 | 332656 | 271732 | 20363 19 | 7 | 11 1033.36/1033.78 c 963s | 17 | 333285 | 272332 | 20363 19 | 7 | 11 1035.46/1035.87 c 965s | 17 | 333933 | 272932 | 20363 19 | 7 | 11 1037.66/1038.04 c 967s | 17 | 334740 | 273632 | 20363 19 | 7 | 11 1039.86/1040.20 c 969s | 17 | 335536 | 274332 | 20363 19 | 7 | 11 1041.85/1042.26 c 972s | 17 | 336182 | 274932 | 20363 19 | 7 | 11 1043.95/1044.33 c 974s | 17 | 336827 | 275532 | 20363 19 | 7 | 11 1046.15/1046.56 c 976s | 17 | 337517 | 276132 | 20363 19 | 7 | 11 1048.25/1048.69 c 978s | 17 | 338178 | 276732 | 20363 19 | 7 | 11 1050.45/1050.81 c 980s | 17 | 338892 | 277332 | 20363 19 | 7 | 11 1052.65/1053.03 c 982s | 17 | 339564 | 277932 | 20363 19 | 7 | 11 1054.95/1055.32 c 985s | 17 | 340116 | 278432 | 20363 20 | 7 | 11 1057.05/1057.45 c 987s | 17 | 340885 | 279132 | 20363 20 | 7 | 11 1059.15/1059.58 c 989s | 17 | 341470 | 279632 | 20363 20 | 7 | 11 1061.35/1061.75 c 991s | 17 | 342259 | 280332 | 20363 20 | 7 | 11 1063.36/1063.80 c 993s | 17 | 343119 | 281032 | 20363 20 | 7 | 11 1065.56/1065.99 c 995s | 17 | 344028 | 281832 | 20363 20 | 7 | 11 1067.76/1068.12 c 997s | 17 | 344941 | 282632 | 20363 20 | 7 | 11 1069.96/1070.31 c 1000s | 17 | 345799 | 283432 | 20363 20 | 7 | 11 1071.95/1072.38 c 1002s | 17 | 346551 | 284132 | 20363 20 | 7 | 11 1073.95/1074.38 c 1004s | 17 | 347328 | 284832 | 20363 20 | 7 | 11 1076.15/1076.53 c 1006s | 17 | 348088 | 285532 | 20363 20 | 7 | 11 1078.15/1078.54 c 1008s | 17 | 348732 | 286132 | 20363 20 | 7 | 11 1080.35/1080.77 c 1010s | 17 | 349495 | 286832 | 20363 20 | 7 | 11 1082.65/1083.00 c 1012s | 17 | 350432 | 287632 | 20363 20 | 7 | 11 1084.85/1085.22 c 1014s | 17 | 351197 | 288332 | 20363 20 | 7 | 11 1087.04/1087.45 c 1017s | 17 | 352029 | 289032 | 20363 20 | 7 | 11 1089.34/1089.78 c 1019s | 17 | 352826 | 289732 | 20363 20 | 7 | 11 1091.44/1091.85 c 1021s | 17 | 353485 | 290332 | 20363 20 | 7 | 11 1093.64/1094.08 c 1023s | 17 | 354260 | 291032 | 20363 20 | 7 | 11 1095.74/1096.18 c 1025s | 17 | 354943 | 291632 | 20363 20 | 7 | 11 1097.84/1098.24 c 1028s | 17 | 355614 | 292232 | 20363 20 | 7 | 11 1100.24/1100.60 c 1030s | 17 | 356411 | 292932 | 20363 20 | 7 | 11 1102.44/1102.88 c 1032s | 17 | 356974 | 293432 | 20363 21 | 7 | 11 1104.64/1105.01 c 1034s | 17 | 357733 | 294132 | 20363 21 | 7 | 11 1106.74/1107.13 c 1036s | 17 | 358499 | 294832 | 20363 21 | 7 | 11 1108.94/1109.32 c 1039s | 17 | 359264 | 295532 | 20363 21 | 7 | 11 1111.04/1111.46 c 1041s | 17 | 360037 | 296232 | 20363 21 | 7 | 11 1111.14/1111.52 c 1041s | 18 | 360058 | 296252 | 20363 21 | 7 | 11 1113.14/1113.56 c 1043s | 18 | 363539 | 297152 | 20363 21 | 7 | 11 1115.24/1115.68 c 1045s | 18 | 364704 | 298052 | 20363 21 | 7 | 11 1117.44/1117.81 c 1047s | 18 | 365520 | 298752 | 20363 21 | 7 | 11 1119.64/1120.02 c 1049s | 18 | 366268 | 299352 | 20363 21 | 7 | 11 1121.84/1122.25 c 1052s | 18 | 366985 | 299952 | 20363 21 | 7 | 11 1124.24/1124.61 c 1054s | 18 | 367696 | 300552 | 20363 21 | 7 | 11 1126.33/1126.70 c 1056s | 18 | 368290 | 301052 | 20363 21 | 7 | 11 1128.53/1128.94 c 1058s | 18 | 369068 | 301752 | 20363 21 | 7 | 11 1130.83/1131.22 c 1060s | 18 | 369890 | 302452 | 20363 21 | 7 | 11 1133.03/1133.40 c 1063s | 18 | 370817 | 303152 | 20363 21 | 7 | 11 1135.13/1135.51 c 1065s | 18 | 371532 | 303752 | 20363 21 | 7 | 11 1137.33/1137.76 c 1067s | 18 | 372246 | 304352 | 20363 21 | 7 | 11 1139.64/1140.01 c 1069s | 18 | 372974 | 304952 | 20363 21 | 7 | 11 1141.64/1142.02 c 1071s | 18 | 373537 | 305452 | 20363 21 | 7 | 11 1143.94/1144.36 c 1074s | 18 | 374265 | 306052 | 20363 21 | 7 | 11 1146.24/1146.62 c 1076s | 18 | 375102 | 306652 | 20363 21 | 7 | 11 1148.64/1149.02 c 1078s | 18 | 376186 | 307252 | 20363 21 | 7 | 11 1151.04/1151.41 c 1081s | 18 | 376909 | 307852 | 20363 21 | 7 | 11 1153.34/1153.76 c 1083s | 18 | 377673 | 308252 | 20363 22 | 7 | 11 1155.64/1156.03 c 1085s | 18 | 378290 | 308752 | 20363 22 | 7 | 11 1158.14/1158.50 c 1088s | 18 | 378891 | 309252 | 20363 22 | 7 | 11 1160.53/1160.97 c 1090s | 18 | 379500 | 309752 | 20363 22 | 7 | 11 1162.83/1163.26 c 1093s | 18 | 380412 | 310252 | 20363 22 | 7 | 11 1165.33/1165.71 c 1095s | 18 | 381023 | 310752 | 20363 22 | 7 | 11 1167.33/1167.76 c 1097s | 18 | 381505 | 311152 | 20363 22 | 7 | 11 1169.63/1170.01 c 1099s | 18 | 382248 | 311652 | 20363 22 | 7 | 11 1171.93/1172.31 c 1102s | 18 | 382874 | 312152 | 20363 22 | 7 | 11 1174.33/1174.72 c 1104s | 18 | 383489 | 312652 | 20363 22 | 7 | 11 1176.33/1176.74 c 1106s | 18 | 384116 | 313052 | 20363 22 | 7 | 11 1178.33/1178.78 c 1108s | 18 | 384636 | 313452 | 20363 22 | 7 | 11 1180.63/1181.03 c 1110s | 18 | 385287 | 313952 | 20363 22 | 7 | 11 1182.73/1183.10 c 1112s | 18 | 385751 | 314352 | 20363 22 | 7 | 11 1184.83/1185.21 c 1114s | 18 | 386236 | 314752 | 20363 22 | 7 | 11 1187.33/1187.75 c 1117s | 18 | 386875 | 315252 | 20363 22 | 7 | 11 1189.63/1190.05 c 1119s | 18 | 387386 | 315652 | 20363 22 | 7 | 11 1192.14/1192.56 c 1122s | 18 | 387939 | 316052 | 20363 22 | 7 | 11 1194.34/1194.79 c 1124s | 18 | 388372 | 316452 | 20363 22 | 7 | 11 1196.93/1197.34 c 1127s | 18 | 389192 | 316852 | 20363 22 | 7 | 11 1199.23/1199.66 c 1129s | 18 | 390023 | 317252 | 20363 22 | 7 | 11 1201.43/1201.84 c 1131s | 18 | 390505 | 317652 | 20363 22 | 7 | 11 1203.63/1204.09 c 1133s | 18 | 390964 | 318052 | 20363 22 | 7 | 11 1205.93/1206.37 c 1136s | 18 | 391435 | 318452 | 20363 22 | 7 | 11 1208.03/1208.48 c 1138s | 18 | 391884 | 318852 | 20363 22 | 7 | 11 1210.23/1210.67 c 1140s | 18 | 392398 | 319252 | 20363 22 | 7 | 11 1212.42/1212.87 c 1142s | 18 | 392907 | 319652 | 20363 22 | 7 | 11 1214.72/1215.16 c 1144s | 18 | 393390 | 320052 | 20363 22 | 7 | 11 1217.12/1217.52 c 1147s | 18 | 393948 | 320552 | 20363 22 | 7 | 11 1219.42/1219.85 c 1149s | 18 | 394512 | 321052 | 20363 22 | 7 | 11 1221.73/1222.14 c 1151s | 18 | 395069 | 321552 | 20363 22 | 7 | 11 1224.03/1224.43 c 1154s | 18 | 395632 | 322052 | 20363 22 | 7 | 11 1226.02/1226.47 c 1156s | 18 | 396303 | 322552 | 20363 22 | 7 | 11 1228.22/1228.64 c 1158s | 18 | 396847 | 323052 | 20363 22 | 7 | 11 1230.63/1231.03 c 1160s | 18 | 397182 | 323352 | 20363 23 | 7 | 11 1232.83/1233.21 c 1162s | 18 | 397897 | 323952 | 20363 23 | 7 | 11 1234.93/1235.34 c 1165s | 18 | 398661 | 324552 | 20363 23 | 7 | 11 1237.13/1237.51 c 1167s | 18 | 399222 | 325052 | 20363 23 | 7 | 11 1239.12/1239.59 c 1169s | 18 | 399828 | 325552 | 20363 23 | 7 | 11 1241.23/1241.70 c 1171s | 18 | 400424 | 326052 | 20363 23 | 7 | 11 1243.42/1243.86 c 1173s | 18 | 401017 | 326552 | 20363 23 | 7 | 11 1245.62/1246.09 c 1175s | 18 | 401602 | 327052 | 20363 23 | 7 | 11 1247.92/1248.38 c 1178s | 18 | 402210 | 327552 | 22400 23 | 7 | 11 1250.33/1250.74 c 1180s | 18 | 402820 | 328052 | 22400 23 | 7 | 11 1252.72/1253.14 c 1182s | 18 | 403465 | 328552 | 22400 23 | 7 | 11 1255.02/1255.50 c 1185s | 18 | 404061 | 329052 | 22400 23 | 7 | 11 1257.22/1257.64 c 1187s | 18 | 404872 | 329552 | 22400 23 | 7 | 11 1259.62/1260.05 c 1189s | 18 | 405507 | 330052 | 22400 23 | 7 | 11 1261.91/1262.38 c 1192s | 18 | 406065 | 330552 | 22400 23 | 7 | 11 1264.21/1264.64 c 1194s | 18 | 406713 | 331052 | 22400 23 | 7 | 11 1266.61/1267.05 c 1196s | 18 | 407369 | 331552 | 22400 23 | 7 | 11 1269.02/1269.46 c 1199s | 18 | 408008 | 332052 | 22400 23 | 7 | 11 1271.32/1271.71 c 1201s | 18 | 408597 | 332552 | 22400 23 | 7 | 11 1273.72/1274.16 c 1203s | 18 | 409397 | 333052 | 22400 23 | 7 | 11 1275.82/1276.24 c 1205s | 18 | 409839 | 333452 | 22400 23 | 7 | 11 1278.12/1278.56 c 1208s | 18 | 410469 | 333952 | 22400 23 | 7 | 11 1280.51/1280.95 c 1210s | 18 | 411114 | 334452 | 22400 23 | 7 | 11 1283.02/1283.45 c 1213s | 18 | 411615 | 334852 | 22400 23 | 7 | 11 1285.21/1285.66 c 1215s | 18 | 412093 | 335252 | 22400 23 | 7 | 11 1287.51/1287.92 c 1217s | 18 | 412572 | 335652 | 22400 23 | 7 | 11 1289.61/1290.00 c 1219s | 18 | 413036 | 336052 | 22400 23 | 7 | 11 1291.81/1292.25 c 1222s | 18 | 413601 | 336452 | 22400 23 | 7 | 11 1294.32/1294.76 c 1224s | 18 | 414061 | 336852 | 22400 23 | 7 | 11 1296.41/1296.80 c 1226s | 18 | 414513 | 337252 | 22400 23 | 7 | 11 1298.82/1299.26 c 1229s | 18 | 415112 | 337752 | 22400 23 | 7 | 11 1301.02/1301.45 c 1231s | 18 | 415592 | 338152 | 22400 23 | 7 | 11 1303.22/1303.67 c 1233s | 18 | 416058 | 338552 | 22400 23 | 7 | 11 1305.32/1305.79 c 1235s | 18 | 416498 | 338952 | 22400 23 | 7 | 11 1307.41/1307.90 c 1237s | 18 | 416953 | 339352 | 22400 23 | 7 | 11 1309.61/1310.01 c 1239s | 18 | 417402 | 339752 | 22400 23 | 7 | 11 1311.71/1312.18 c 1241s | 18 | 417954 | 340152 | 22400 23 | 7 | 11 1315.01/1315.45 c 1245s | 18 | 418308 | 340452 | 22400 24 | 7 | 11 1317.42/1317.83 c 1247s | 18 | 418902 | 340952 | 22400 24 | 7 | 11 1319.62/1320.04 c 1249s | 18 | 419432 | 341452 | 22400 24 | 7 | 11 1322.01/1322.42 c 1252s | 18 | 419988 | 341952 | 22400 24 | 7 | 11 1324.31/1324.74 c 1254s | 18 | 420469 | 342352 | 22400 24 | 7 | 11 1326.31/1326.79 c 1256s | 18 | 420912 | 342752 | 22400 24 | 7 | 11 1328.71/1329.17 c 1258s | 18 | 421490 | 343252 | 22400 24 | 7 | 11 1331.11/1331.57 c 1261s | 18 | 422090 | 343752 | 22400 24 | 7 | 11 1333.50/1333.90 c 1263s | 18 | 422644 | 344252 | 22400 24 | 7 | 11 1335.50/1335.92 c 1265s | 18 | 423087 | 344652 | 22400 24 | 7 | 11 1337.51/1337.97 c 1267s | 18 | 423540 | 345052 | 22400 24 | 7 | 11 1339.91/1340.38 c 1270s | 18 | 424069 | 345552 | 22400 24 | 7 | 11 1342.41/1342.85 c 1272s | 18 | 424647 | 346052 | 22400 24 | 7 | 11 1344.41/1344.85 c 1274s | 18 | 425131 | 346452 | 22400 24 | 7 | 11 1346.51/1346.90 c 1276s | 18 | 425460 | 346752 | 22400 24 | 7 | 11 1348.61/1349.00 c 1278s | 18 | 425928 | 347152 | 22400 24 | 7 | 11 1350.61/1351.08 c 1280s | 18 | 426379 | 347552 | 22400 24 | 7 | 11 1353.11/1353.59 c 1283s | 18 | 426956 | 348052 | 22400 24 | 7 | 11 1355.51/1355.94 c 1285s | 18 | 427416 | 348452 | 22400 24 | 7 | 11 1357.50/1357.96 c 1287s | 18 | 427896 | 348852 | 22400 24 | 7 | 11 1359.50/1359.98 c 1289s | 18 | 428465 | 349252 | 22400 24 | 7 | 11 1361.60/1362.08 c 1291s | 18 | 429004 | 349652 | 22400 24 | 7 | 11 1363.80/1364.27 c 1294s | 18 | 429519 | 350052 | 22400 24 | 7 | 11 1366.00/1366.40 c 1296s | 18 | 430169 | 350452 | 22400 24 | 7 | 11 1368.01/1368.46 c 1298s | 18 | 430689 | 350852 | 22400 24 | 7 | 11 1370.40/1370.83 c 1300s | 18 | 431403 | 351352 | 22400 24 | 7 | 11 1372.80/1373.23 c 1302s | 18 | 431922 | 351752 | 22400 24 | 7 | 11 1374.90/1375.33 c 1305s | 18 | 432500 | 352152 | 22400 24 | 7 | 11 1377.30/1377.70 c 1307s | 18 | 432977 | 352552 | 22400 24 | 7 | 11 1379.50/1379.96 c 1309s | 18 | 433486 | 352952 | 22400 24 | 7 | 11 1381.80/1382.25 c 1312s | 18 | 433943 | 353352 | 22400 24 | 7 | 11 1384.10/1384.58 c 1314s | 18 | 434473 | 353752 | 22400 24 | 7 | 11 1386.60/1387.01 c 1316s | 18 | 434938 | 354152 | 22400 24 | 7 | 11 1388.91/1389.31 c 1319s | 18 | 435421 | 354552 | 22400 24 | 7 | 11 1391.40/1391.88 c 1321s | 18 | 435998 | 354952 | 22400 24 | 7 | 11 1393.70/1394.13 c 1323s | 18 | 436499 | 355352 | 22400 24 | 7 | 11 1395.90/1396.38 c 1326s | 18 | 436995 | 355752 | 22400 24 | 7 | 11 1398.30/1398.75 c 1328s | 18 | 437526 | 356152 | 22400 24 | 7 | 11 1400.60/1401.08 c 1330s | 18 | 438134 | 356552 | 22400 24 | 7 | 11 1402.70/1403.16 c 1332s | 18 | 438243 | 356652 | 22400 25 | 7 | 11 1404.79/1405.21 c 1334s | 18 | 438723 | 357052 | 22400 25 | 7 | 11 1407.10/1407.51 c 1337s | 18 | 439231 | 357452 | 22400 25 | 7 | 11 1409.10/1409.52 c 1339s | 18 | 439972 | 357952 | 22400 25 | 7 | 11 1412.00/1412.45 c 1342s | 18 | 440462 | 358352 | 22400 25 | 7 | 11 1414.30/1414.72 c 1344s | 18 | 441222 | 358852 | 22400 25 | 7 | 11 1416.59/1417.06 c 1346s | 18 | 442132 | 359352 | 22400 25 | 7 | 11 1419.00/1419.44 c 1349s | 18 | 442868 | 359852 | 22400 25 | 7 | 11 1421.49/1421.96 c 1351s | 18 | 443608 | 360352 | 22400 25 | 7 | 11 1423.59/1424.04 c 1353s | 18 | 444171 | 360752 | 22400 25 | 7 | 11 1425.80/1426.29 c 1356s | 18 | 444903 | 361252 | 22400 25 | 7 | 11 1428.00/1428.43 c 1358s | 18 | 445560 | 361752 | 22400 25 | 7 | 11 1430.09/1430.57 c 1360s | 18 | 446100 | 362152 | 22400 25 | 7 | 11 1432.59/1433.03 c 1362s | 18 | 446680 | 362652 | 22400 25 | 7 | 11 1434.69/1435.19 c 1364s | 18 | 447140 | 363052 | 22400 25 | 7 | 11 1436.89/1437.32 c 1367s | 18 | 447628 | 363452 | 22400 25 | 7 | 11 1438.99/1439.49 c 1369s | 18 | 448129 | 363852 | 22400 25 | 7 | 11 1441.19/1441.61 c 1371s | 18 | 448668 | 364252 | 22400 25 | 7 | 11 1443.19/1443.66 c 1373s | 18 | 449242 | 364652 | 22400 25 | 7 | 11 1445.49/1445.97 c 1375s | 18 | 449825 | 365052 | 22400 25 | 7 | 11 1447.59/1448.07 c 1377s | 18 | 450350 | 365452 | 22400 25 | 7 | 11 1449.69/1450.18 c 1379s | 18 | 450940 | 365852 | 22400 25 | 7 | 11 1451.89/1452.35 c 1382s | 18 | 451514 | 366252 | 22400 25 | 7 | 11 1453.99/1454.46 c 1384s | 18 | 452349 | 366652 | 22400 25 | 7 | 11 1456.10/1456.57 c 1386s | 18 | 453075 | 367052 | 22400 25 | 7 | 11 1458.30/1458.71 c 1388s | 18 | 453999 | 367452 | 22400 25 | 7 | 11 1460.40/1460.87 c 1390s | 18 | 454538 | 367852 | 22400 25 | 7 | 11 1462.49/1462.96 c 1392s | 18 | 455188 | 368252 | 22400 25 | 7 | 11 1464.90/1465.39 c 1395s | 18 | 456085 | 368752 | 22400 25 | 7 | 11 1467.19/1467.62 c 1397s | 18 | 456610 | 369152 | 22400 25 | 7 | 11 1469.29/1469.77 c 1399s | 18 | 457107 | 369552 | 22400 25 | 7 | 11 1471.39/1471.90 c 1401s | 18 | 457836 | 369952 | 22400 25 | 7 | 11 1473.59/1474.10 c 1403s | 18 | 458332 | 370352 | 22400 25 | 7 | 11 1475.79/1476.27 c 1406s | 18 | 458984 | 370752 | 22400 25 | 7 | 11 1478.18/1478.67 c 1408s | 18 | 459489 | 371152 | 22400 25 | 7 | 11 1480.48/1480.90 c 1410s | 18 | 460005 | 371552 | 22400 25 | 7 | 11 1482.58/1483.08 c 1412s | 18 | 460549 | 371952 | 22400 25 | 7 | 11 1484.88/1485.30 c 1415s | 18 | 461100 | 372352 | 22400 25 | 7 | 11 1488.48/1488.96 c 1418s | 18 | 461553 | 372752 | 22400 26 | 7 | 11 1490.98/1491.41 c 1421s | 18 | 462263 | 373252 | 22400 26 | 7 | 11 1493.19/1493.68 c 1423s | 18 | 462857 | 373652 | 22400 26 | 7 | 11 1495.28/1495.77 c 1425s | 18 | 463427 | 374052 | 22400 26 | 7 | 11 1497.68/1498.18 c 1427s | 18 | 464184 | 374552 | 22400 26 | 7 | 11 1499.99/1500.46 c 1430s | 18 | 464776 | 375052 | 22400 26 | 7 | 11 1502.29/1502.73 c 1432s | 18 | 465335 | 375552 | 22400 26 | 7 | 11 1504.39/1504.83 c 1434s | 18 | 465756 | 375952 | 22400 26 | 7 | 11 1506.48/1506.92 c 1436s | 18 | 466220 | 376352 | 22400 26 | 7 | 11 1508.98/1509.43 c 1439s | 18 | 466975 | 376852 | 22400 26 | 7 | 11 1511.18/1511.63 c 1441s | 18 | 467421 | 377252 | 22400 26 | 7 | 11 1513.28/1513.75 c 1443s | 18 | 468128 | 377652 | 22400 26 | 7 | 11 1515.68/1516.16 c 1445s | 18 | 468447 | 377852 | 22400 26 | 7 | 11 1517.98/1518.41 c 1448s | 18 | 469018 | 378352 | 22400 26 | 7 | 11 1520.27/1520.75 c 1450s | 18 | 469703 | 378852 | 22400 26 | 7 | 11 1522.58/1523.04 c 1452s | 18 | 470185 | 379252 | 22400 26 | 7 | 11 1524.88/1525.37 c 1455s | 18 | 470815 | 379752 | 22400 26 | 7 | 11 1527.18/1527.66 c 1457s | 18 | 471430 | 380252 | 22400 26 | 7 | 11 1529.28/1529.77 c 1459s | 18 | 471878 | 380652 | 22400 26 | 7 | 11 1531.48/1531.90 c 1461s | 18 | 472301 | 381052 | 22400 26 | 7 | 11 1533.98/1534.48 c 1464s | 18 | 472850 | 381552 | 22400 26 | 7 | 11 1536.58/1537.06 c 1466s | 18 | 473478 | 382052 | 22400 26 | 7 | 11 1538.78/1539.21 c 1468s | 18 | 473977 | 382452 | 22400 26 | 7 | 11 1540.98/1541.49 c 1471s | 18 | 474595 | 382952 | 22400 26 | 7 | 11 1543.48/1543.93 c 1473s | 18 | 475175 | 383452 | 22400 26 | 7 | 11 1545.78/1546.21 c 1475s | 18 | 475626 | 383852 | 22400 26 | 7 | 11 1548.07/1548.56 c 1478s | 18 | 476134 | 384252 | 22400 26 | 7 | 11 1550.47/1550.95 c 1480s | 18 | 476616 | 384652 | 22400 26 | 7 | 11 1552.78/1553.30 c 1483s | 18 | 477068 | 385052 | 22400 26 | 7 | 11 1555.17/1555.65 c 1485s | 18 | 477507 | 385452 | 22400 26 | 7 | 11 1557.67/1558.18 c 1487s | 18 | 477972 | 385852 | 22400 26 | 7 | 11 1560.07/1560.56 c 1490s | 18 | 478427 | 386252 | 22400 26 | 7 | 11 1562.57/1563.05 c 1492s | 18 | 478964 | 386652 | 22400 26 | 7 | 11 1564.67/1565.15 c 1494s | 18 | 479435 | 387052 | 22400 26 | 7 | 11 1566.87/1567.38 c 1497s | 18 | 479882 | 387452 | 22400 26 | 7 | 11 1569.17/1569.70 c 1499s | 18 | 480348 | 387852 | 22400 26 | 7 | 11 1571.58/1572.06 c 1501s | 18 | 480928 | 388252 | 22400 26 | 7 | 11 1574.07/1574.53 c 1504s | 18 | 481575 | 388752 | 22400 26 | 7 | 11 1576.57/1577.08 c 1506s | 18 | 481882 | 388952 | 22400 27 | 7 | 11 1578.97/1579.49 c 1509s | 18 | 482376 | 389352 | 22400 27 | 7 | 11 1581.57/1582.03 c 1511s | 18 | 482969 | 389852 | 22400 27 | 7 | 11 1584.07/1584.54 c 1514s | 18 | 483497 | 390252 | 22400 27 | 7 | 11 1586.07/1586.58 c 1516s | 18 | 484004 | 390652 | 22400 27 | 7 | 11 1588.17/1588.63 c 1518s | 18 | 484670 | 391052 | 22400 27 | 7 | 11 1590.27/1590.71 c 1520s | 18 | 485328 | 391452 | 22400 27 | 7 | 11 1592.57/1593.08 c 1522s | 18 | 485883 | 391952 | 22400 27 | 7 | 11 1595.06/1595.58 c 1525s | 18 | 486591 | 392452 | 22400 27 | 7 | 11 1597.56/1598.00 c 1527s | 18 | 487355 | 392952 | 22400 27 | 7 | 11 1599.56/1600.06 c 1529s | 18 | 487936 | 393352 | 22400 27 | 7 | 11 1601.86/1602.32 c 1532s | 18 | 488590 | 393852 | 22400 27 | 7 | 11 1603.86/1604.38 c 1534s | 18 | 489221 | 394352 | 22400 27 | 7 | 11 1606.16/1606.61 c 1536s | 18 | 489819 | 394852 | 22400 27 | 7 | 11 1608.36/1608.85 c 1538s | 18 | 490584 | 395352 | 22400 27 | 7 | 11 1610.46/1610.91 c 1540s | 18 | 491071 | 395752 | 22400 27 | 7 | 11 1612.46/1612.96 c 1542s | 18 | 491571 | 396152 | 22400 27 | 7 | 11 1614.66/1615.15 c 1544s | 18 | 492464 | 396552 | 22400 27 | 7 | 11 1616.87/1617.31 c 1547s | 18 | 492968 | 396952 | 22400 27 | 7 | 11 1618.87/1619.39 c 1549s | 18 | 493523 | 397352 | 22400 27 | 7 | 11 1621.16/1621.67 c 1551s | 18 | 494260 | 397752 | 22400 27 | 7 | 11 1623.46/1623.95 c 1553s | 18 | 494817 | 398152 | 22400 27 | 7 | 11 1625.66/1626.14 c 1555s | 18 | 495384 | 398552 | 22400 27 | 7 | 11 1627.96/1628.42 c 1558s | 18 | 495943 | 398952 | 22400 27 | 7 | 11 1630.26/1630.71 c 1560s | 18 | 496378 | 399352 | 22400 27 | 7 | 11 1632.56/1633.06 c 1562s | 18 | 496821 | 399752 | 22400 27 | 7 | 11 1634.86/1635.32 c 1565s | 18 | 497287 | 400152 | 22400 27 | 7 | 11 1637.26/1637.77 c 1567s | 18 | 497711 | 400552 | 22400 27 | 7 | 11 1639.66/1640.18 c 1569s | 18 | 498250 | 400952 | 22400 27 | 7 | 11 1641.96/1642.46 c 1572s | 18 | 498677 | 401352 | 22400 27 | 7 | 11 1644.17/1644.61 c 1574s | 18 | 499076 | 401652 | 22400 27 | 7 | 11 1646.26/1646.78 c 1576s | 18 | 499433 | 401952 | 22400 27 | 7 | 11 1648.36/1648.86 c 1578s | 18 | 499762 | 402252 | 22400 27 | 7 | 11 1650.45/1650.91 c 1580s | 18 | 500127 | 402552 | 22400 27 | 7 | 11 1652.96/1653.40 c 1583s | 18 | 500582 | 402952 | 22400 27 | 7 | 11 1654.95/1655.42 c 1585s | 18 | 500921 | 403252 | 22400 27 | 7 | 11 1657.45/1657.94 c 1587s | 18 | 501423 | 403652 | 22400 27 | 7 | 11 1659.46/1659.99 c 1589s | 18 | 501771 | 403952 | 22400 27 | 7 | 11 1661.56/1662.06 c 1591s | 18 | 502088 | 404252 | 22400 27 | 7 | 11 1663.66/1664.19 c 1593s | 18 | 502635 | 404552 | 22400 27 | 7 | 11 1667.56/1668.05 c 1597s | 18 | 503217 | 404952 | 22400 28 | 7 | 11 1669.85/1670.35 c 1600s | 18 | 503763 | 405352 | 22400 28 | 7 | 11 1672.35/1672.85 c 1602s | 18 | 504564 | 405852 | 22400 28 | 7 | 11 1674.65/1675.18 c 1604s | 18 | 505225 | 406252 | 22400 28 | 7 | 11 1676.95/1677.49 c 1607s | 18 | 505807 | 406652 | 22400 28 | 7 | 11 1679.05/1679.59 c 1609s | 18 | 506325 | 407052 | 22400 28 | 7 | 11 1681.25/1681.75 c 1611s | 18 | 506908 | 407352 | 22400 28 | 7 | 11 1683.66/1684.14 c 1613s | 18 | 507635 | 407852 | 22400 28 | 7 | 11 1685.95/1686.47 c 1616s | 18 | 508207 | 408352 | 22400 28 | 7 | 11 1688.16/1688.65 c 1618s | 18 | 508716 | 408752 | 22400 28 | 7 | 11 1690.36/1690.85 c 1620s | 18 | 509225 | 409152 | 22400 28 | 7 | 11 1692.95/1693.41 c 1623s | 18 | 509784 | 409552 | 22400 28 | 7 | 11 1695.25/1695.71 c 1625s | 18 | 510383 | 409952 | 22400 28 | 7 | 11 1697.55/1698.01 c 1627s | 18 | 510848 | 410352 | 22400 28 | 7 | 11 1699.95/1700.43 c 1630s | 18 | 511378 | 410752 | 22400 28 | 7 | 11 1702.25/1702.80 c 1632s | 18 | 511837 | 411152 | 22400 28 | 7 | 11 1704.65/1705.19 c 1634s | 18 | 512285 | 411552 | 22400 28 | 7 | 11 1707.14/1707.64 c 1637s | 18 | 512747 | 411952 | 22400 28 | 7 | 11 1709.74/1710.24 c 1639s | 18 | 513269 | 412352 | 22400 28 | 7 | 11 1712.05/1712.56 c 1642s | 18 | 513767 | 412752 | 22400 28 | 7 | 11 1714.15/1714.60 c 1644s | 18 | 514254 | 413152 | 22400 28 | 7 | 11 1716.15/1716.69 c 1646s | 18 | 514734 | 413552 | 22400 28 | 7 | 11 1718.35/1718.89 c 1648s | 18 | 515358 | 413952 | 22400 28 | 7 | 11 1720.65/1721.15 c 1650s | 18 | 515865 | 414352 | 22400 28 | 7 | 11 1723.05/1723.58 c 1653s | 18 | 516359 | 414752 | 22400 28 | 7 | 11 1725.45/1725.91 c 1655s | 18 | 516840 | 415152 | 22400 28 | 7 | 11 1727.75/1728.25 c 1658s | 18 | 517388 | 415552 | 22400 28 | 7 | 11 1730.05/1730.53 c 1660s | 18 | 518291 | 415952 | 22400 28 | 7 | 11 1732.55/1733.08 c 1662s | 18 | 518800 | 416352 | 22400 28 | 7 | 11 1734.74/1735.21 c 1664s | 18 | 519147 | 416652 | 22400 28 | 7 | 11 1737.34/1737.85 c 1667s | 18 | 519734 | 417052 | 22400 28 | 7 | 11 1739.75/1740.28 c 1670s | 18 | 520287 | 417452 | 22400 28 | 7 | 11 1742.15/1742.62 c 1672s | 18 | 520703 | 417852 | 22400 28 | 7 | 11 1744.35/1744.85 c 1674s | 18 | 521149 | 418252 | 22400 28 | 7 | 11 1746.65/1747.14 c 1676s | 18 | 521757 | 418652 | 22400 28 | 7 | 11 1749.05/1749.57 c 1679s | 18 | 522154 | 418952 | 22400 28 | 7 | 11 1751.14/1751.66 c 1681s | 18 | 522967 | 419352 | 22400 28 | 7 | 11 1753.44/1753.93 c 1683s | 18 | 523560 | 419752 | 22400 28 | 7 | 11 1755.64/1756.13 c 1685s | 18 | 524066 | 420152 | 22400 28 | 7 | 11 1757.74/1758.27 c 1688s | 18 | 524717 | 420552 | 22400 28 | 7 | 11 1759.84/1760.39 c 1690s | 18 | 525225 | 420952 | 22400 28 | 7 | 11 1762.44/1762.97 c 1692s | 18 | 525512 | 421152 | 22400 29 | 7 | 11 1764.64/1765.15 c 1694s | 18 | 526078 | 421552 | 22400 29 | 7 | 11 1766.84/1767.30 c 1697s | 18 | 526607 | 421952 | 22400 29 | 7 | 11 1769.34/1769.80 c 1699s | 18 | 527192 | 422452 | 22400 29 | 7 | 11 1771.75/1772.23 c 1701s | 18 | 527964 | 422952 | 22400 29 | 7 | 11 1773.94/1774.44 c 1704s | 18 | 528447 | 423352 | 22400 29 | 7 | 11 1776.24/1776.70 c 1706s | 18 | 529160 | 423752 | 22400 29 | 7 | 11 1778.34/1778.89 c 1708s | 18 | 529642 | 424152 | 22400 29 | 7 | 11 1780.63/1781.11 c 1710s | 18 | 530202 | 424552 | 22400 29 | 7 | 11 1782.94/1783.41 c 1713s | 18 | 530680 | 424952 | 22400 29 | 7 | 11 1785.14/1785.65 c 1715s | 18 | 531184 | 425352 | 22400 29 | 7 | 11 1788.14/1788.69 c 1718s | 18 | 531588 | 425652 | 22400 29 | 7 | 11 1790.35/1790.84 c 1720s | 18 | 532086 | 426052 | 22400 29 | 7 | 11 1792.74/1793.20 c 1722s | 18 | 532590 | 426452 | 22400 29 | 7 | 11 1794.74/1795.22 c 1724s | 18 | 533096 | 426852 | 22400 29 | 7 | 11 1796.73/1797.22 c 1726s | 18 | 533574 | 427252 | 22400 29 | 7 | 11 1798.93/1799.40 c 1729s | 18 | 534090 | 427652 | 22400 29 | 7 | 11
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-4119834-1467278520/watcher-4119834-1467278520 -o /tmp/evaluation-result-4119834-1467278520/solver-4119834-1467278520 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467278520-18895 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119834-1467278520.opb pid=18915 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.61 1.98 2.04 3/172 18920 /proc/meminfo: memFree=29860928/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=644540 CPUtime=0 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 2391 0 0 0 0 0 0 0 20 0 4 0 8819413 660008960 3263 33554432000 4194304 16246674 140734825530960 140734825530384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 161903 3273 441 2943 0 158797 0 [pid=18920/tid=18924] ppid=18915 vsize=661948 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 677834752 3331 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=667068 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 683077632 3347 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=671164 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 687271936 3364 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100122 s] /proc/loadavg: 1.61 1.98 2.04 3/172 18920 /proc/meminfo: memFree=29860928/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 28932 0 0 0 6 3 0 0 20 0 4 0 8819413 1333334016 29743 33554432000 4194304 16246674 140734825530960 140734825530272 7853005 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 325521 29760 800 2943 0 322415 0 [pid=18920/tid=18924] ppid=18915 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 1333334016 29771 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 1333334016 29784 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 1333334016 29795 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200488 s] /proc/loadavg: 1.61 1.98 2.04 3/172 18920 /proc/meminfo: memFree=29860928/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=1314372 CPUtime=0.19 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 48513 0 0 0 13 6 0 0 20 0 4 0 8819413 1345916928 49323 33554432000 4194304 16246674 140734825530960 140734825530272 5913644 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 328593 49323 834 2943 0 325487 0 [pid=18920/tid=18924] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 49323 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 49323 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 49323 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300465 s] /proc/loadavg: 1.61 1.98 2.04 3/172 18920 /proc/meminfo: memFree=29860928/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=1314372 CPUtime=0.29 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 50441 0 0 0 23 6 0 0 20 0 4 0 8819413 1345916928 51251 33554432000 4194304 16246674 140734825530960 140734825530272 5711984 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 328593 51251 889 2943 0 325487 0 [pid=18920/tid=18924] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 51251 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 51251 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 51251 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700359 s] /proc/loadavg: 1.61 1.98 2.04 3/172 18920 /proc/meminfo: memFree=29860928/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=1314372 CPUtime=0.68 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 81087 0 0 0 58 10 0 0 20 0 4 0 8819413 1345916928 81897 33554432000 4194304 16246674 140734825530960 140734825512832 5531896 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 328593 81897 908 2943 0 325487 0 [pid=18920/tid=18924] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 81897 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 81897 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 81897 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1314372 [startup+1.50043 s] /proc/loadavg: 1.61 1.98 2.04 3/183 18931 /proc/meminfo: memFree=29152152/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=1314372 CPUtime=1.48 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 81094 0 0 0 138 10 0 0 20 0 4 0 8819413 1345916928 81904 33554432000 4194304 16246674 140734825530960 140734825512832 13780585 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 328593 81904 914 2943 0 325487 0 [pid=18920/tid=18924] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 81904 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 81904 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 81904 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1314372 [startup+3.10043 s] /proc/loadavg: 1.61 1.98 2.04 3/183 18931 /proc/meminfo: memFree=29121100/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=1314372 CPUtime=3.09 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 94704 0 0 0 296 13 0 0 20 0 4 0 8819413 1345916928 95514 33554432000 4194304 16246674 140734825530960 140734825512832 5600539 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 328593 95518 914 2943 0 325487 0 [pid=18920/tid=18924] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 95522 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 95526 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 95530 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1314372 [startup+6.30037 s] /proc/loadavg: 1.64 1.98 2.04 3/183 18931 /proc/meminfo: memFree=27700524/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=1314372 CPUtime=6.29 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 269804 0 0 0 589 40 0 0 20 0 4 0 8819413 1345916928 270614 33554432000 4194304 16246674 140734825530960 140734825512832 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 328593 270614 914 2943 0 325487 0 [pid=18920/tid=18924] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 270614 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 270614 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 1345916928 270614 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1314372 [startup+12.7004 s] /proc/loadavg: 1.75 2.00 2.05 3/183 18931 /proc/meminfo: memFree=27693340/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=1322564 CPUtime=12.68 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 271857 0 0 0 1228 40 0 0 20 0 4 0 8819413 1354305536 272667 33554432000 4194304 16246674 140734825530960 140734825530056 5829305 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 330641 272667 919 2943 0 327535 0 [pid=18920/tid=18924] ppid=18915 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 1354305536 272667 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 1354305536 272667 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 1354305536 272667 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1322564 [startup+25.5005 s] /proc/loadavg: 1.80 2.00 2.05 3/183 18931 /proc/meminfo: memFree=27681184/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=1334852 CPUtime=25.49 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 274929 0 0 0 2508 41 0 0 20 0 4 0 8819413 1366888448 275739 33554432000 4194304 16246674 140734825530960 140734825513960 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 333713 275739 919 2943 0 330607 0 [pid=18920/tid=18924] ppid=18915 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 1366888448 275739 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 1366888448 275739 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 1366888448 275739 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1334852 [startup+51.1005 s] /proc/loadavg: 2.00 2.03 2.05 3/183 18931 /proc/meminfo: memFree=27673736/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=1342020 CPUtime=51.09 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 276722 0 0 0 5067 42 0 0 20 0 4 0 8819413 1374228480 277534 33554432000 4194304 16246674 140734825530960 140734825512832 5677656 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 335505 277534 919 2943 0 332399 0 [pid=18920/tid=18924] ppid=18915 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 1374228480 277534 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 1374228480 277534 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 1374228480 277534 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1342020 [startup+102.301 s] /proc/loadavg: 2.06 2.04 2.05 3/183 18932 /proc/meminfo: memFree=27673548/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=1342020 CPUtime=102.27 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 276733 0 0 0 10185 42 0 0 20 0 4 0 8819413 1374228480 277535 33554432000 4194304 16246674 140734825530960 140734825512832 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 335505 277535 920 2943 0 332399 0 [pid=18920/tid=18924] ppid=18915 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 1374228480 277535 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 1374228480 277535 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 1374228480 277535 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1342020 ################ # More data... # ################ /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 2032734208 438288 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1985092 [startup+1362.3 s] /proc/loadavg: 2.08 2.15 2.11 3/183 18963 /proc/meminfo: memFree=26191968/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=2131524 CPUtime=1361.9 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 474404 0 0 0 136101 89 0 0 20 0 4 0 8819413 2182680576 474899 33554432000 4194304 16246674 140734825530960 140734825530136 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 532881 474899 922 2943 0 529775 0 [pid=18920/tid=18924] ppid=18915 vsize=2131524 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 2182680576 474899 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=2131524 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 2182680576 474899 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=2131524 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 2182680576 474899 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 2131524 [startup+1422.3 s] /proc/loadavg: 2.11 2.15 2.11 3/183 18965 /proc/meminfo: memFree=26150212/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=2157124 CPUtime=1421.9 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 480635 0 0 0 142093 97 0 0 20 0 4 0 8819413 2208894976 481130 33554432000 4194304 16246674 140734825530960 140734825530136 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 539281 481130 922 2943 0 536175 0 [pid=18920/tid=18924] ppid=18915 vsize=2157124 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 2208894976 481130 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=2157124 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 2208894976 481130 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=2157124 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 2208894976 481130 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 2157124 [startup+1482.3 s] /proc/loadavg: 2.16 2.15 2.11 3/183 18966 /proc/meminfo: memFree=26074728/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=2157124 CPUtime=1481.88 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 480819 0 0 0 148089 99 0 0 20 0 4 0 8819413 2208894976 481314 33554432000 4194304 16246674 140734825530960 140734825512832 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 539281 481314 922 2943 0 536175 0 [pid=18920/tid=18924] ppid=18915 vsize=2157124 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 2208894976 481314 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=2157124 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 2208894976 481314 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=2157124 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 2208894976 481314 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 2157124 [startup+1542.31 s] /proc/loadavg: 2.23 2.18 2.12 3/183 18967 /proc/meminfo: memFree=26073996/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=2157124 CPUtime=1541.89 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 480819 0 0 0 154086 103 0 0 20 0 4 0 8819413 2208894976 481314 33554432000 4194304 16246674 140734825530960 140734825512832 13760120 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 539281 481314 922 2943 0 536175 0 [pid=18920/tid=18924] ppid=18915 vsize=2157124 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 2208894976 481314 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=2157124 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 2208894976 481314 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=2157124 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 2208894976 481314 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 2157124 [startup+1602.3 s] /proc/loadavg: 2.19 2.17 2.12 3/183 18968 /proc/meminfo: memFree=26074064/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=2157124 CPUtime=1601.86 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 480819 0 0 0 160081 105 0 0 20 0 4 0 8819413 2208894976 481314 33554432000 4194304 16246674 140734825530960 140734825512832 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 539281 481314 922 2943 0 536175 0 [pid=18920/tid=18924] ppid=18915 vsize=2157124 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 2208894976 481314 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=2157124 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 2208894976 481314 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=2157124 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 2208894976 481314 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 2157124 [startup+1662.3 s] /proc/loadavg: 2.24 2.19 2.12 3/183 18969 /proc/meminfo: memFree=26073972/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=2157124 CPUtime=1661.86 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 480819 0 0 0 166076 110 0 0 20 0 4 0 8819413 2208894976 481314 33554432000 4194304 16246674 140734825530960 140734825512832 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 539281 481314 922 2943 0 536175 0 [pid=18920/tid=18924] ppid=18915 vsize=2157124 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 2208894976 481314 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=2157124 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 2208894976 481314 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=2157124 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 2208894976 481314 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 2157124 [startup+1722.3 s] /proc/loadavg: 2.09 2.15 2.11 3/184 18974 /proc/meminfo: memFree=25989732/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=2241092 CPUtime=1721.85 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 501811 0 0 0 172066 119 0 0 20 0 4 0 8819413 2294878208 502306 33554432000 4194304 16246674 140734825530960 140734825512832 5822548 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 560273 502306 922 2943 0 557167 0 [pid=18920/tid=18924] ppid=18915 vsize=2241092 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 2294878208 502306 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=2241092 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 2294878208 502306 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=2241092 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 2294878208 502306 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 2241092 [startup+1782.3 s] /proc/loadavg: 2.03 2.12 2.10 3/183 18975 /proc/meminfo: memFree=25870860/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=2241092 CPUtime=1781.84 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 501811 0 0 0 178058 126 0 0 20 0 4 0 8819413 2294878208 502306 33554432000 4194304 16246674 140734825530960 140734825512832 5711318 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 560273 502306 922 2943 0 557167 0 [pid=18920/tid=18924] ppid=18915 vsize=2241092 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 2294878208 502306 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=2241092 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 2294878208 502306 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=2241092 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 2294878208 502306 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 2241092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.09 2.13 2.10 3/183 18975 /proc/meminfo: memFree=25870952/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=2241092 CPUtime=1800.03 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 501811 0 0 0 179876 127 0 0 20 0 4 0 8819413 2294878208 502306 33554432000 4194304 16246674 140734825530960 140734825530136 13780600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 560273 502306 922 2943 0 557167 0 [pid=18920/tid=18924] ppid=18915 vsize=2241092 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 2294878208 502306 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=2241092 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 2294878208 502306 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=2241092 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 2294878208 502306 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 2241092 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 18920 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.09 2.13 2.10 3/183 18975 /proc/meminfo: memFree=25870952/32872528 swapFree=13208/1155804 [pid=18920] ppid=18915 vsize=2241092 CPUtime=1800.03 cores=1,3,5,7 /proc/18920/stat : 18920 (toysat) R 18915 18920 17655 0 -1 4202496 501811 0 0 0 179876 127 0 0 20 0 4 0 8819413 2294878208 502306 33554432000 4194304 16246674 140734825530960 140734825530136 13780600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18920/statm: 560273 502306 922 2943 0 557167 0 [pid=18920/tid=18924] ppid=18915 vsize=2241092 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18924/stat : 18924 (toysat) S 18915 18920 17655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8819414 2294878208 502306 33554432000 4194304 16246674 140734825530960 139971470011632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=18920/tid=18925] ppid=18915 vsize=2241092 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18925/stat : 18925 (toysat) S 18915 18920 17655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8819414 2294878208 502306 33554432000 4194304 16246674 140734825530960 139971459521776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18920/tid=18926] ppid=18915 vsize=2241092 CPUtime=0 cores=1,3,5,7 /proc/18920/task/18926/stat : 18926 (toysat) S 18915 18920 17655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8819414 2294878208 502306 33554432000 4194304 16246674 140734825530960 139971373558960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 2241092 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.56 CPU time (s): 1800.1 CPU user time (s): 1798.77 CPU system time (s): 1.3278 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 2241092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.77 system time used= 1.3278 maximum resident set size= 2009224 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 501811 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= 336 involuntary context switches= 1925 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.8861 second user time and 8.84465 second system time The end
Begin job on node114 at 2016-06-30 11:22:00 IDJOB=4119834 IDBENCH=111811 IDSOLVER=2542 FILE ID=node114/4119834-1467278520 RUNJOBID= node114-1467278520-18895 PBS_JOBID= 20004492 Free space on /tmp= 71672 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119834-1467278520/watcher-4119834-1467278520 -o /tmp/evaluation-result-4119834-1467278520/solver-4119834-1467278520 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467278520-18895 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119834-1467278520.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f03240b9a734d8daafc38104f404b1a5 RANDOM SEED=545168072 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.752 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.50 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.752 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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.752 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.752 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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: 29861572 kB Buffers: 124824 kB Cached: 971516 kB SwapCached: 0 kB Active: 205324 kB Inactive: 906988 kB Active(anon): 12016 kB Inactive(anon): 6416 kB Active(file): 193308 kB Inactive(file): 900572 kB Unevictable: 1155804 kB Mlocked: 13208 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 33568 kB Writeback: 24 kB AnonPages: 1171716 kB Mapped: 13756 kB Shmem: 204 kB Slab: 610148 kB SReclaimable: 54404 kB SUnreclaim: 555744 kB KernelStack: 1392 kB PageTables: 6784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1258016 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1148928 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= 71640 MiB End job on node114 at 2016-06-30 11:52:01