Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.63 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_1.opb |
| MD5SUM | 0c93b84d697c3c1b68cbcf423dabc710 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 80 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 72 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 52 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31640 |
| Sum of products size (including duplicates) | 63280 |
| Number of different products | 31640 |
| Sum of products size | 63280 |
0.00/0.00 c 2016-06-07T01:28:52+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-4080114-1465255732.opb"] 0.00/0.01 c use --random-gen="3271246202 3314698340 1557466172 4226396301 3799415156 849337948 2680656672 2848581545 1912335929 2157483208 2664498153 4049336222 3206018247 1204271311 1412944672 480578959 1854848153 3936265837 3535282478 1759941575 1551358972 2002369329 4005064935 6557884 3350590777 2803807500 2977301467 81675254 1721789247 2255551659 4144377418 2954867266 4199511975 2844107425 2621500871 2067374282 3560260743 2322679184 2112565605 2106030211 69831685 3240763572 2168894183 354988513 3212382535 2641520459 3466729881 296748158 1092416483 1074370707 1302465314 457549334 3618294751 608752040 2202083621 4233293937 3313797085 1740422529 3639290739 492095213 3219820396 3139179413 778252551 3488504124 1521649411 232689853 1949031891 887030447 1535298879 3617928499 3339462147 1262412999 1472868895 883797284 1273180408 1615660148 4185427573 3646786884 2084241210 3727861961 414793833 2010681875 2018209268 2729920165 2714395073 1013224810 1150632056 2941645313 2515219370 1162179561 1718161642 1072444256 473204216 1682775738 2933360537 3479288309 1443331537 1719983564 1310858420 3820892644 1810579094 889444109 1480210188 574909180 431732953 1806377258 3486681946 3734626534 2919561331 1274174596 2472447666 1512489173 909007002 157953483 2878389357 2319226382 3025320576 1321467789 3104882287 3644985024 2961119374 2051546850 1970109698 2122144356 2272192119 597363311 1006156242 1180690359 793908914 1756949649 3891433143 2621260179 231542965 3371005967 2424868801 852763075 3941761401 3932066235 2736880883 4237301973 4167006906 4155887175 3475169650 2417738034 362878226 2450173869 1781850947 2218430470 1080081462 1182192177 89606724 3107694503 129585383 514772955 2063777365 2809272903 3711214931 2994595692 2328898069 1781890689 2751415178 867590028 1834054512 3436206947 2050433961 1535545067 2044866945 1132903453 159050948 1529946350 1954693756 2325964809 481640479 1335612840 3621032369 2605889982 2354776478 3345767756 462195258 656298035 4220017396 618342234 4119862877 3769094762 2357107600 1648293509 59492213 1008673122 2667153502 770941100 197292449 1863384505 2339918516 663602235 176277998 1881813224 3798385543 270085805 203836863 4145500563 2844767399 3896968374 3729125568 98176442 912855417 2781649677 210102881 1054552667 1450897071 3666051953 1923375569 1189131588 3516909362 167716333 1088638714 3125311835 238043350 869293989 1472260954 2602268350 3144538092 1350103280 2091200051 177954406 1024339586 1250696881 186549882 4108727031 1268140839 1660852709 3433036390 756610471 4031475887 968787196 2684042781 610743112 1082636901 1593124729 1573093688 181340197 1532952753 1381792451 1785132490 3062490212 2547143628 4188872227 942284878 570231477 1753845060 1515448477 1695466037 521904622 640092841 1263922110 2825574247 1634729783 255 362436" option to reproduce the execution 0.09/0.11 c #vars 1000 0.09/0.11 c #constraints 1000 0.68/0.73 c BCD2: Hardening is enabled. 0.68/0.73 c BCD2: BiasedSearch is enabled. 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.78 c 0.0s | 0 | 0 | 0 | 32306 0 | 0 | 0 0.79/0.85 c 0.1s | 0 | 3304 | 0 | 32306 0 | 0 | 0 0.79/0.85 c #cpu_time = 0.059s 0.79/0.85 c #wall_clock_time = 0.059s 0.79/0.85 c #decision = 3304 0.79/0.85 c #random_decision = 4 0.79/0.85 c #conflict = 0 0.79/0.85 c #restart = 0 0.79/0.85 o 876 0.79/0.85 c BCD2: updating upper bound: 1000 -> 875 0.79/0.85 c BCD2: 0 <= obj <= 875 0.79/0.85 c BCD2: #cores=0, #unrelaxed=1000, #relaxed=0, #hardened=0 0.79/0.85 c BCD2: #sat=1 #unsat=1 bias=1/2 0.79/0.85 c Solving starts ... 0.79/0.85 c ============================[ Search Statistics ]============================ 0.79/0.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.85 c | | | | Limit GC | Var | Constra 0.79/0.85 c ============================================================================= 0.79/0.85 c 0.0s | 0 | 0 | 0 | 32306 0 | 0 | 0 0.89/0.93 c 0.1s | 0 | 809 | 0 | 32306 0 | 0 | 0 0.89/0.93 c #cpu_time = 0.070s 0.89/0.93 c #wall_clock_time = 0.070s 0.89/0.93 c #decision = 809 0.89/0.93 c #random_decision = 0 0.89/0.93 c #conflict = 0 0.89/0.93 c #restart = 0 0.89/0.93 c BCD2: found a new core of size 28: cost of the new core is >=1 0.89/0.93 c lower bound updated to 1 0.89/0.93 c BCD2: 1 <= obj <= 875 0.89/0.93 c BCD2: #cores=1, #unrelaxed=972, #relaxed=28, #hardened=0 0.89/0.93 c BCD2: #sat=1 #unsat=2 bias=2/3 0.89/0.94 c Solving starts ... 0.89/0.94 c ============================[ Search Statistics ]============================ 0.89/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.94 c | | | | Limit GC | Var | Constra 0.89/0.94 c ============================================================================= 0.98/1.01 c 0.0s | 0 | 0 | 0 | 32306 0 | 0 | 0 0.98/1.08 c 0.1s | 0 | 808 | 0 | 32306 0 | 0 | 0 0.98/1.08 c #cpu_time = 0.056s 0.98/1.08 c #wall_clock_time = 0.056s 0.98/1.08 c #decision = 808 0.98/1.08 c #random_decision = 0 0.98/1.08 c #conflict = 0 0.98/1.08 c #restart = 0 0.98/1.08 c BCD2: found a new core of size 29: cost of the new core is >=1 0.98/1.08 c lower bound updated to 2 0.98/1.08 c BCD2: 2 <= obj <= 875 0.98/1.08 c BCD2: #cores=2, #unrelaxed=943, #relaxed=57, #hardened=0 0.98/1.08 c BCD2: #sat=1 #unsat=3 bias=3/4 0.98/1.08 c Solving starts ... 0.98/1.08 c ============================[ Search Statistics ]============================ 0.98/1.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.98/1.08 c | | | | Limit GC | Var | Constra 0.98/1.08 c ============================================================================= 0.98/1.08 c 0.0s | 0 | 0 | 0 | 32306 0 | 0 | 0 1.09/1.14 c 0.1s | 0 | 811 | 0 | 32306 0 | 0 | 0 1.09/1.14 c #cpu_time = 0.057s 1.09/1.14 c #wall_clock_time = 0.057s 1.09/1.14 c #decision = 811 1.09/1.14 c #random_decision = 0 1.09/1.14 c #conflict = 0 1.09/1.14 c #restart = 0 1.09/1.14 c BCD2: found a new core of size 34: cost of the new core is >=1 1.09/1.14 c lower bound updated to 3 1.09/1.14 c BCD2: 3 <= obj <= 875 1.09/1.14 c BCD2: #cores=3, #unrelaxed=909, #relaxed=91, #hardened=0 1.09/1.14 c BCD2: #sat=1 #unsat=4 bias=4/5 1.09/1.14 c Solving starts ... 1.09/1.14 c ============================[ Search Statistics ]============================ 1.09/1.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.14 c | | | | Limit GC | Var | Constra 1.09/1.14 c ============================================================================= 1.09/1.16 c 0.0s | 0 | 0 | 0 | 32306 0 | 0 | 0 1.19/1.22 c 0.1s | 0 | 783 | 0 | 32306 0 | 0 | 0 1.19/1.22 c #cpu_time = 0.054s 1.19/1.22 c #wall_clock_time = 0.054s 1.19/1.22 c #decision = 783 1.19/1.22 c #random_decision = 0 1.19/1.22 c #conflict = 0 1.19/1.22 c #restart = 0 1.19/1.22 c BCD2: found a new core of size 36: cost of the new core is >=1 1.19/1.22 c lower bound updated to 4 1.19/1.22 c BCD2: 4 <= obj <= 875 1.19/1.22 c BCD2: #cores=4, #unrelaxed=873, #relaxed=127, #hardened=0 1.19/1.22 c BCD2: #sat=1 #unsat=5 bias=5/6 1.19/1.22 c Solving starts ... 1.19/1.22 c ============================[ Search Statistics ]============================ 1.19/1.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.22 c | | | | Limit GC | Var | Constra 1.19/1.22 c ============================================================================= 1.19/1.22 c 0.0s | 0 | 0 | 0 | 32306 0 | 0 | 0 1.19/1.29 c 0.1s | 0 | 812 | 0 | 32306 0 | 0 | 0 1.19/1.29 c #cpu_time = 0.057s 1.19/1.29 c #wall_clock_time = 0.057s 1.19/1.29 c #decision = 812 1.19/1.29 c #random_decision = 0 1.19/1.29 c #conflict = 0 1.19/1.29 c #restart = 0 1.19/1.29 c BCD2: found a new core of size 31: cost of the new core is >=1 1.19/1.29 c lower bound updated to 5 1.19/1.29 c BCD2: 5 <= obj <= 875 1.19/1.29 c BCD2: #cores=5, #unrelaxed=842, #relaxed=158, #hardened=0 1.19/1.29 c BCD2: #sat=1 #unsat=6 bias=6/7 1.19/1.29 c Solving starts ... 1.19/1.29 c ============================[ Search Statistics ]============================ 1.19/1.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.29 c | | | | Limit GC | Var | Constra 1.19/1.29 c ============================================================================= 1.28/1.30 c 0.0s | 0 | 0 | 0 | 32306 0 | 0 | 0 1.28/1.37 c 0.1s | 0 | 804 | 0 | 32306 0 | 0 | 0 1.28/1.37 c #cpu_time = 0.058s 1.28/1.37 c #wall_clock_time = 0.058s 1.28/1.37 c #decision = 804 1.28/1.37 c #random_decision = 0 1.28/1.37 c #conflict = 0 1.28/1.37 c #restart = 0 1.28/1.37 c BCD2: found a new core of size 26: cost of the new core is >=1 1.28/1.37 c lower bound updated to 6 1.28/1.37 c BCD2: 6 <= obj <= 875 1.28/1.37 c BCD2: #cores=6, #unrelaxed=816, #relaxed=184, #hardened=0 1.28/1.37 c BCD2: #sat=1 #unsat=7 bias=7/8 1.28/1.37 c Solving starts ... 1.28/1.37 c ============================[ Search Statistics ]============================ 1.28/1.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.28/1.37 c | | | | Limit GC | Var | Constra 1.28/1.37 c ============================================================================= 1.28/1.37 c 0.0s | 0 | 0 | 0 | 32306 0 | 0 | 0 1.38/1.44 c 0.1s | 0 | 781 | 0 | 32306 0 | 0 | 0 1.38/1.44 c #cpu_time = 0.055s 1.38/1.44 c #wall_clock_time = 0.055s 1.38/1.44 c #decision = 781 1.38/1.44 c #random_decision = 0 1.38/1.44 c #conflict = 0 1.38/1.44 c #restart = 0 1.38/1.44 c BCD2: found a new core of size 30: cost of the new core is >=1 1.38/1.44 c lower bound updated to 7 1.38/1.44 c BCD2: 7 <= obj <= 875 1.38/1.44 c BCD2: #cores=7, #unrelaxed=786, #relaxed=214, #hardened=0 1.38/1.44 c BCD2: #sat=1 #unsat=8 bias=8/9 1.38/1.44 c Solving starts ... 1.38/1.44 c ============================[ Search Statistics ]============================ 1.38/1.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.38/1.44 c | | | | Limit GC | Var | Constra 1.38/1.44 c ============================================================================= 1.38/1.45 c 0.0s | 0 | 0 | 0 | 32306 0 | 0 | 0 1.48/1.52 c 0.1s | 0 | 777 | 0 | 32306 0 | 0 | 0 1.48/1.52 c #cpu_time = 0.057s 1.48/1.52 c #wall_clock_time = 0.057s 1.48/1.52 c #decision = 777 1.48/1.52 c #random_decision = 0 1.48/1.52 c #conflict = 0 1.48/1.52 c #restart = 0 1.48/1.52 c BCD2: found a new core of size 30: cost of the new core is >=1 1.48/1.52 c lower bound updated to 8 1.48/1.52 c BCD2: 8 <= obj <= 875 1.48/1.52 c BCD2: #cores=8, #unrelaxed=756, #relaxed=244, #hardened=0 1.48/1.52 c BCD2: #sat=1 #unsat=9 bias=9/10 1.48/1.52 c Solving starts ... 1.48/1.52 c ============================[ Search Statistics ]============================ 1.48/1.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.48/1.52 c | | | | Limit GC | Var | Constra 1.48/1.52 c ============================================================================= 1.48/1.52 c 0.0s | 0 | 0 | 0 | 32306 0 | 0 | 0 1.58/1.62 c 0.1s | 0 | 5080 | 0 | 32306 0 | 0 | 0 1.58/1.62 c #cpu_time = 0.075s 1.58/1.62 c #wall_clock_time = 0.075s 1.58/1.62 c #decision = 5080 1.58/1.62 c #random_decision = 2 1.58/1.62 c #conflict = 0 1.58/1.62 c #restart = 0 1.58/1.62 o 142 1.58/1.62 c BCD2: updating upper bound: 875 -> 141 1.58/1.63 c BCD2: 8 <= obj <= 141 1.58/1.63 c BCD2: #cores=8, #unrelaxed=756, #relaxed=244, #hardened=0 1.58/1.63 c BCD2: #sat=2 #unsat=9 bias=9/11 1.58/1.63 c Solving starts ... 1.58/1.63 c ============================[ Search Statistics ]============================ 1.58/1.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.58/1.63 c | | | | Limit GC | Var | Constra 1.58/1.63 c ============================================================================= 1.58/1.65 c 0.0s | 0 | 0 | 0 | 32306 0 | 0 | 1 1.68/1.75 c 0.1s | 0 | 4025 | 4 | 32306 0 | 0 | 1 1.68/1.75 c #cpu_time = 0.080s 1.68/1.75 c #wall_clock_time = 0.080s 1.68/1.75 c #decision = 4025 1.68/1.75 c #random_decision = 12 1.68/1.75 c #conflict = 4 1.68/1.75 c #restart = 0 1.68/1.75 o 114 1.68/1.75 c BCD2: updating upper bound: 141 -> 113 1.68/1.76 c BCD2: 8 <= obj <= 113 1.68/1.76 c BCD2: #cores=8, #unrelaxed=756, #relaxed=244, #hardened=0 1.68/1.76 c BCD2: #sat=3 #unsat=9 bias=9/12 1.68/1.76 c Solving starts ... 1.68/1.76 c ============================[ Search Statistics ]============================ 1.68/1.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.68/1.76 c | | | | Limit GC | Var | Constra 1.68/1.76 c ============================================================================= 1.68/1.76 c 0.0s | 0 | 0 | 0 | 32306 0 | 0 | 2 1.98/2.04 c 0.3s | 1 | 1268 | 100 | 35537 0 | 0 | 2 2.29/2.32 c 0.6s | 2 | 2507 | 250 | 39091 0 | 0 | 2 2.79/2.80 c 1.0s | 3 | 3762 | 475 | 43001 0 | 0 | 2 3.29/3.34 c 1.6s | 4 | 5123 | 813 | 47302 0 | 0 | 2 4.09/4.12 c 2.4s | 5 | 6980 | 1320 | 52033 0 | 0 | 2 5.49/5.52 c 3.8s | 6 | 9077 | 2081 | 57237 0 | 0 | 2 7.48/7.52 c 5.8s | 7 | 11715 | 3223 | 62961 0 | 0 | 2 9.58/9.62 c 7.9s | 7 | 14310 | 4223 | 62961 0 | 0 | 2 9.89/9.96 c 8.2s | 7 | 16310 | 4386 | 62961 0 | 0 | 2 9.89/9.96 c #cpu_time = 8.167s 9.89/9.96 c #wall_clock_time = 8.167s 9.89/9.96 c #decision = 16310 9.89/9.96 c #random_decision = 8 9.89/9.96 c #conflict = 4386 9.89/9.96 c #restart = 7 9.89/9.96 o 86 9.89/9.96 c BCD2: updating upper bound: 113 -> 85 9.89/9.97 c BCD2: 8 <= obj <= 85 9.89/9.97 c BCD2: #cores=8, #unrelaxed=756, #relaxed=244, #hardened=0 9.89/9.97 c BCD2: #sat=4 #unsat=9 bias=9/13 9.89/9.97 c Solving starts ... 9.89/9.97 c ============================[ Search Statistics ]============================ 9.89/9.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.89/9.97 c | | | | Limit GC | Var | Constra 9.89/9.97 c ============================================================================= 9.89/9.97 c 0.0s | 0 | 0 | 0 | 62961 0 | 0 | 3 10.28/10.33 c 0.4s | 1 | 1129 | 100 | 62961 0 | 0 | 3 10.68/10.73 c 0.8s | 2 | 2264 | 250 | 62961 0 | 0 | 3 11.38/11.43 c 1.5s | 3 | 3582 | 475 | 62961 0 | 0 | 3 12.28/12.32 c 2.4s | 4 | 5066 | 813 | 69258 0 | 0 | 3 13.78/13.85 c 3.9s | 5 | 6689 | 1320 | 69258 0 | 0 | 3 15.78/15.89 c 5.9s | 5 | 8516 | 2020 | 69258 0 | 0 | 3 15.98/16.10 c 6.1s | 6 | 8601 | 2081 | 69258 0 | 0 | 3 18.08/18.20 c 8.2s | 6 | 10728 | 2981 | 69258 0 | 0 | 3 18.79/18.81 c 8.8s | 7 | 11045 | 3223 | 76184 0 | 0 | 3 20.78/20.90 c 10.9s | 7 | 12958 | 3923 | 76184 0 | 0 | 3 22.98/23.07 c 13.1s | 7 | 14102 | 4623 | 76184 0 | 0 | 3 23.88/23.92 c 14.0s | 8 | 14554 | 4936 | 76184 0 | 0 | 3 26.08/26.10 c 16.1s | 8 | 16403 | 5636 | 76184 0 | 0 | 3 28.18/28.20 c 18.2s | 8 | 17536 | 6336 | 76184 0 | 0 | 3 30.39/30.40 c 20.4s | 8 | 18517 | 7036 | 83803 0 | 0 | 3 31.89/31.95 c 22.0s | 9 | 19152 | 7506 | 83803 0 | 0 | 3 34.19/34.25 c 24.3s | 9 | 20945 | 8206 | 83803 0 | 0 | 3 36.59/36.62 c 26.7s | 9 | 22318 | 9006 | 83803 0 | 0 | 3 38.79/38.83 c 28.9s | 9 | 23020 | 9506 | 83803 0 | 0 | 3 41.08/41.16 c 31.2s | 9 | 23911 | 10106 | 83803 0 | 0 | 3 43.28/43.35 c 33.4s | 9 | 24749 | 10706 | 83803 0 | 0 | 3 45.28/45.32 c 35.3s | 10 | 25782 | 11361 | 83803 0 | 0 | 3 47.29/47.39 c 37.4s | 10 | 27470 | 11861 | 83803 0 | 0 | 3 49.59/49.68 c 39.7s | 10 | 28404 | 12461 | 83803 0 | 0 | 3 51.68/51.77 c 41.8s | 10 | 29561 | 13161 | 92184 0 | 0 | 3 53.88/53.99 c 44.0s | 10 | 30516 | 13861 | 92184 0 | 0 | 3 55.98/56.10 c 46.1s | 10 | 31366 | 14461 | 92184 0 | 0 | 3 58.38/58.43 c 48.5s | 10 | 32029 | 14961 | 92184 0 | 0 | 3 60.88/60.93 c 51.0s | 10 | 32840 | 15561 | 92184 0 | 0 | 3 63.18/63.27 c 53.3s | 10 | 33500 | 16061 | 92184 0 | 0 | 3 65.58/65.65 c 55.7s | 10 | 34138 | 16561 | 92184 0 | 0 | 3 67.68/67.79 c 57.8s | 10 | 34929 | 17061 | 92184 0 | 0 | 3 68.08/68.18 c 58.2s | 11 | 35034 | 17144 | 92184 0 | 0 | 3 70.18/70.22 c 60.2s | 11 | 36238 | 17444 | 92184 0 | 0 | 3 72.68/72.77 c 62.8s | 11 | 36748 | 17844 | 92184 0 | 0 | 3 74.78/74.86 c 64.9s | 11 | 37096 | 18144 | 92184 0 | 0 | 3 76.99/77.10 c 67.1s | 11 | 37589 | 18544 | 92184 0 | 0 | 3 79.57/79.62 c 69.6s | 11 | 38134 | 18944 | 92184 0 | 0 | 3 82.27/82.36 c 72.4s | 11 | 38716 | 19344 | 92184 0 | 0 | 3 84.87/84.95 c 75.0s | 11 | 39259 | 19744 | 92184 0 | 0 | 3 87.28/87.32 c 77.3s | 11 | 39928 | 20244 | 92184 0 | 0 | 3 89.57/89.64 c 79.7s | 11 | 40757 | 20844 | 92184 0 | 0 | 3 91.77/91.84 c 81.9s | 11 | 41653 | 21544 | 101403 0 | 0 | 3 93.97/94.03 c 84.1s | 11 | 42274 | 22044 | 101403 0 | 0 | 3 96.38/96.42 c 86.5s | 11 | 42892 | 22544 | 101403 0 | 0 | 3 98.58/98.62 c 88.7s | 11 | 43533 | 23044 | 101403 0 | 0 | 3 100.58/100.64 c 90.7s | 11 | 44121 | 23444 | 101403 0 | 0 | 3 102.87/102.91 c 92.9s | 11 | 44919 | 24044 | 101403 0 | 0 | 3 105.17/105.28 c 95.3s | 11 | 45536 | 24544 | 101403 0 | 0 | 3 107.67/107.71 c 97.7s | 11 | 46208 | 25044 | 101403 0 | 0 | 3 109.77/109.88 c 99.9s | 11 | 46799 | 25444 | 101403 0 | 0 | 3 111.47/111.59 c 101s | 12 | 47315 | 25819 | 101403 0 | 0 | 3 113.77/113.84 c 103s | 12 | 48517 | 26119 | 101403 0 | 0 | 3 116.17/116.24 c 106s | 12 | 49680 | 26819 | 101403 0 | 0 | 3 118.27/118.38 c 108s | 12 | 50385 | 27319 | 101403 0 | 0 | 3 120.87/120.97 c 111s | 12 | 51013 | 27819 | 101403 0 | 0 | 3 123.07/123.17 c 113s | 12 | 51626 | 28319 | 101403 0 | 0 | 3 125.38/125.47 c 115s | 12 | 52240 | 28719 | 101403 0 | 0 | 3 127.58/127.65 c 117s | 12 | 52998 | 29219 | 101403 0 | 0 | 3 129.88/129.98 c 120s | 12 | 53793 | 29819 | 101403 0 | 0 | 3 132.27/132.33 c 122s | 12 | 54459 | 30319 | 101403 0 | 0 | 3 134.37/134.49 c 124s | 12 | 55147 | 30819 | 101403 0 | 0 | 3 136.48/136.60 c 126s | 12 | 55676 | 31219 | 101403 0 | 0 | 3 138.67/138.80 c 128s | 12 | 56188 | 31619 | 101403 0 | 0 | 3 140.87/140.96 c 130s | 12 | 56710 | 32019 | 101403 0 | 0 | 3 143.46/143.53 c 133s | 12 | 57238 | 32419 | 101403 0 | 0 | 3 145.87/145.93 c 135s | 12 | 57896 | 32919 | 101403 0 | 0 | 3 148.17/148.25 c 138s | 12 | 58581 | 33419 | 101403 0 | 0 | 3 150.57/150.69 c 140s | 12 | 59041 | 33819 | 101403 0 | 0 | 3 152.77/152.90 c 142s | 12 | 59530 | 34219 | 111544 0 | 0 | 3 155.26/155.35 c 145s | 12 | 59990 | 34619 | 111544 0 | 0 | 3 157.66/157.73 c 147s | 12 | 60491 | 35019 | 111544 0 | 0 | 3 159.76/159.82 c 149s | 12 | 61010 | 35419 | 111544 0 | 0 | 3 161.97/162.09 c 152s | 12 | 61518 | 35819 | 111544 0 | 0 | 3 164.46/164.55 c 154s | 12 | 62017 | 36219 | 111544 0 | 0 | 3 166.96/167.06 c 157s | 12 | 62521 | 36619 | 111544 0 | 0 | 3 168.97/169.08 c 159s | 12 | 62869 | 36919 | 111544 0 | 0 | 3 171.26/171.32 c 161s | 12 | 63378 | 37319 | 111544 0 | 0 | 3 173.46/173.50 c 163s | 12 | 63890 | 37719 | 111544 0 | 0 | 3 176.07/176.13 c 166s | 12 | 64384 | 38119 | 111544 0 | 0 | 3 178.06/178.18 c 168s | 12 | 64794 | 38419 | 111544 0 | 0 | 3 180.46/180.54 c 170s | 12 | 65154 | 38719 | 111544 0 | 0 | 3 181.36/181.44 c 171s | 13 | 65288 | 38832 | 111544 0 | 0 | 3 183.56/183.70 c 173s | 13 | 66352 | 39032 | 111544 0 | 0 | 3 186.36/186.45 c 176s | 13 | 66723 | 39332 | 111544 0 | 0 | 3 188.46/188.59 c 178s | 13 | 66964 | 39532 | 111544 0 | 0 | 3 191.66/191.79 c 181s | 13 | 67315 | 39832 | 111544 0 | 0 | 3 194.46/194.53 c 184s | 13 | 67850 | 40232 | 111544 0 | 0 | 3 196.76/196.81 c 186s | 13 | 68345 | 40632 | 111544 0 | 0 | 3 198.76/198.81 c 188s | 13 | 68844 | 41032 | 111544 0 | 0 | 3 201.06/201.14 c 191s | 13 | 69438 | 41532 | 111544 0 | 0 | 3 203.16/203.25 c 193s | 13 | 69916 | 41932 | 111544 0 | 0 | 3 205.55/205.66 c 195s | 13 | 70526 | 42432 | 111544 0 | 0 | 3 207.96/208.04 c 198s | 13 | 71011 | 42832 | 111544 0 | 0 | 3 210.55/210.61 c 200s | 13 | 71510 | 43232 | 111544 0 | 0 | 3 212.96/213.06 c 203s | 13 | 72004 | 43632 | 111544 0 | 0 | 3 215.26/215.38 c 205s | 13 | 72536 | 44032 | 111544 0 | 0 | 3 217.76/217.89 c 207s | 13 | 73014 | 44432 | 111544 0 | 0 | 3 220.06/220.16 c 210s | 13 | 73395 | 44732 | 111544 0 | 0 | 3 222.45/222.59 c 212s | 13 | 73914 | 45132 | 111544 0 | 0 | 3 224.85/224.98 c 215s | 13 | 74425 | 45532 | 111544 0 | 0 | 3 226.95/227.02 c 217s | 13 | 74792 | 45832 | 111544 0 | 0 | 3 229.26/229.37 c 219s | 13 | 75133 | 46132 | 111544 0 | 0 | 3 231.55/231.61 c 221s | 13 | 75813 | 46632 | 111544 0 | 0 | 3 233.95/234.09 c 224s | 13 | 76459 | 47132 | 111544 0 | 0 | 3 235.95/236.10 c 226s | 13 | 77037 | 47532 | 111544 0 | 0 | 3 238.25/238.32 c 228s | 13 | 77573 | 47932 | 111544 0 | 0 | 3 240.76/240.88 c 230s | 13 | 78048 | 48332 | 111544 0 | 0 | 3 242.85/242.93 c 232s | 13 | 78377 | 48632 | 111544 0 | 0 | 3 245.15/245.28 c 235s | 13 | 78927 | 49032 | 111544 0 | 0 | 3 247.46/247.56 c 237s | 13 | 79299 | 49332 | 111544 0 | 0 | 3 249.65/249.77 c 239s | 13 | 79700 | 49632 | 111544 0 | 0 | 3 252.35/252.42 c 242s | 13 | 80174 | 50032 | 111544 0 | 0 | 3 254.55/254.61 c 244s | 13 | 80686 | 50432 | 111544 0 | 0 | 3 257.15/257.25 c 247s | 13 | 81185 | 50832 | 111544 0 | 0 | 3 259.25/259.32 c 249s | 13 | 81538 | 51132 | 111544 0 | 0 | 3 261.45/261.59 c 251s | 13 | 81909 | 51432 | 111544 0 | 0 | 3 263.75/263.86 c 253s | 13 | 82250 | 51732 | 111544 0 | 0 | 3 266.25/266.37 c 256s | 13 | 82800 | 52132 | 111544 0 | 0 | 3 268.55/268.69 c 258s | 13 | 83459 | 52632 | 111544 0 | 0 | 3 270.75/270.83 c 260s | 13 | 84108 | 53132 | 111544 0 | 0 | 3 273.15/273.22 c 263s | 13 | 84850 | 53732 | 122699 0 | 0 | 3 275.45/275.51 c 265s | 13 | 85461 | 54232 | 122699 0 | 0 | 3 277.65/277.72 c 267s | 13 | 86016 | 54632 | 122699 0 | 0 | 3 279.94/280.04 c 270s | 13 | 86483 | 55032 | 122699 0 | 0 | 3 282.45/282.57 c 272s | 13 | 86953 | 55432 | 122699 0 | 0 | 3 284.85/285.00 c 275s | 13 | 87584 | 55932 | 122699 0 | 0 | 3 287.15/287.23 c 277s | 13 | 88102 | 56332 | 122699 0 | 0 | 3 289.54/289.66 c 279s | 13 | 88608 | 56732 | 122699 0 | 0 | 3 292.04/292.14 c 282s | 13 | 89062 | 57132 | 122699 0 | 0 | 3 294.14/294.20 c 284s | 13 | 89423 | 57432 | 122699 0 | 0 | 3 296.44/296.59 c 286s | 13 | 89919 | 57832 | 122699 0 | 0 | 3 298.54/298.60 c 288s | 13 | 90309 | 58132 | 122699 0 | 0 | 3 299.84/299.96 c 289s | 14 | 90608 | 58352 | 122699 0 | 0 | 3 302.24/302.33 c 292s | 14 | 91581 | 58452 | 122699 0 | 0 | 3 304.74/304.86 c 294s | 14 | 91966 | 58752 | 122699 0 | 0 | 3 307.63/307.71 c 297s | 14 | 92478 | 59152 | 122699 0 | 0 | 3 310.04/310.11 c 300s | 14 | 92833 | 59452 | 122699 0 | 0 | 3 312.14/312.28 c 302s | 14 | 93279 | 59752 | 122699 0 | 0 | 3 314.34/314.48 c 304s | 14 | 93802 | 60152 | 122699 0 | 0 | 3 316.63/316.75 c 306s | 14 | 94318 | 60552 | 122699 0 | 0 | 3 319.04/319.17 c 309s | 14 | 94809 | 60952 | 122699 0 | 0 | 3 321.43/321.53 c 311s | 14 | 95310 | 61352 | 122699 0 | 0 | 3 323.53/323.60 c 313s | 14 | 95666 | 61652 | 122699 0 | 0 | 3 325.73/325.85 c 315s | 14 | 96169 | 62052 | 122699 0 | 0 | 3 327.74/327.89 c 317s | 14 | 96539 | 62352 | 122699 0 | 0 | 3 330.33/330.45 c 320s | 14 | 97008 | 62752 | 122699 0 | 0 | 3 332.43/332.52 c 322s | 14 | 97365 | 63052 | 122699 0 | 0 | 3 334.63/334.75 c 324s | 14 | 97719 | 63352 | 122699 0 | 0 | 3 337.13/337.25 c 327s | 14 | 98070 | 63652 | 122699 0 | 0 | 3 339.33/339.47 c 329s | 14 | 98424 | 63952 | 122699 0 | 0 | 3 341.42/341.56 c 331s | 14 | 98816 | 64252 | 122699 0 | 0 | 3 343.93/344.00 c 334s | 14 | 99197 | 64552 | 122699 0 | 0 | 3 346.03/346.11 c 336s | 14 | 99563 | 64852 | 122699 0 | 0 | 3 348.52/348.67 c 338s | 14 | 99954 | 65152 | 122699 0 | 0 | 3 350.62/350.77 c 340s | 14 | 100411 | 65452 | 122699 0 | 0 | 3 352.73/352.82 c 342s | 14 | 100800 | 65752 | 122699 0 | 0 | 3 355.23/355.39 c 345s | 14 | 101328 | 66152 | 122699 0 | 0 | 3 357.53/357.64 c 347s | 14 | 101945 | 66652 | 122699 0 | 0 | 3 359.82/359.90 c 349s | 14 | 102587 | 67152 | 122699 0 | 0 | 3 362.02/362.17 c 352s | 14 | 103262 | 67652 | 122699 0 | 0 | 3 364.42/364.55 c 354s | 14 | 103911 | 68152 | 122699 0 | 0 | 3 366.72/366.83 c 356s | 14 | 104498 | 68552 | 122699 0 | 0 | 3 369.12/369.29 c 359s | 14 | 105003 | 68952 | 122699 0 | 0 | 3 371.52/371.66 c 361s | 14 | 105467 | 69352 | 122699 0 | 0 | 3 373.92/374.03 c 364s | 14 | 105965 | 69752 | 122699 0 | 0 | 3 376.41/376.56 c 366s | 14 | 106496 | 70152 | 122699 0 | 0 | 3 379.01/379.18 c 369s | 14 | 107020 | 70552 | 122699 0 | 0 | 3 381.31/381.48 c 371s | 14 | 107422 | 70852 | 122699 0 | 0 | 3 383.91/384.02 c 374s | 14 | 107795 | 71152 | 122699 0 | 0 | 3 386.31/386.45 c 376s | 14 | 108366 | 71552 | 122699 0 | 0 | 3 389.01/389.19 c 379s | 14 | 108919 | 71952 | 122699 0 | 0 | 3 391.52/391.68 c 381s | 14 | 109269 | 72252 | 122699 0 | 0 | 3 393.71/393.90 c 383s | 14 | 109650 | 72552 | 122699 0 | 0 | 3 396.41/396.50 c 386s | 14 | 110017 | 72852 | 122699 0 | 0 | 3 398.41/398.56 c 388s | 14 | 110442 | 73152 | 122699 0 | 0 | 3 400.80/400.91 c 390s | 14 | 110822 | 73452 | 122699 0 | 0 | 3 403.20/403.33 c 393s | 14 | 111196 | 73752 | 122699 0 | 0 | 3 405.91/406.01 c 396s | 14 | 111582 | 74052 | 122699 0 | 0 | 3 408.60/408.73 c 398s | 14 | 111936 | 74352 | 122699 0 | 0 | 3 411.20/411.36 c 401s | 14 | 112296 | 74652 | 122699 0 | 0 | 3 413.80/413.93 c 403s | 14 | 112625 | 74952 | 122699 0 | 0 | 3 416.20/416.31 c 406s | 14 | 113011 | 75252 | 122699 0 | 0 | 3 418.19/418.34 c 408s | 14 | 113393 | 75552 | 122699 0 | 0 | 3 420.39/420.59 c 410s | 14 | 113773 | 75852 | 122699 0 | 0 | 3 422.70/422.88 c 412s | 14 | 114184 | 76152 | 122699 0 | 0 | 3 425.29/425.41 c 415s | 14 | 114591 | 76452 | 122699 0 | 0 | 3 427.80/427.99 c 418s | 14 | 114928 | 76752 | 122699 0 | 0 | 3 430.49/430.66 c 420s | 14 | 115401 | 77152 | 122699 0 | 0 | 3 432.69/432.88 c 422s | 14 | 115780 | 77452 | 122699 0 | 0 | 3 435.29/435.47 c 425s | 14 | 116316 | 77852 | 122699 0 | 0 | 3 437.59/437.79 c 427s | 14 | 116689 | 78152 | 122699 0 | 0 | 3 439.69/439.87 c 429s | 14 | 117078 | 78452 | 122699 0 | 0 | 3 441.98/442.17 c 432s | 14 | 117441 | 78752 | 122699 0 | 0 | 3 444.29/444.47 c 434s | 14 | 117773 | 79052 | 122699 0 | 0 | 3 447.09/447.22 c 437s | 14 | 118110 | 79352 | 122699 0 | 0 | 3 449.79/449.91 c 439s | 14 | 118485 | 79652 | 122699 0 | 0 | 3 452.78/452.94 c 442s | 14 | 118870 | 79952 | 122699 0 | 0 | 3 455.48/455.63 c 445s | 14 | 119237 | 80252 | 122699 0 | 0 | 3 457.78/457.98 c 448s | 14 | 119614 | 80552 | 122699 0 | 0 | 3 460.78/460.94 c 450s | 14 | 119960 | 80852 | 122699 0 | 0 | 3 463.08/463.21 c 453s | 14 | 120305 | 81152 | 122699 0 | 0 | 3 465.98/466.13 c 456s | 14 | 120660 | 81452 | 122699 0 | 0 | 3 468.18/468.36 c 458s | 14 | 120908 | 81652 | 122699 0 | 0 | 3 470.78/470.94 c 460s | 14 | 121145 | 81852 | 122699 0 | 0 | 3 473.27/473.50 c 463s | 14 | 121491 | 82152 | 122699 0 | 0 | 3 475.47/475.66 c 465s | 14 | 121859 | 82452 | 122699 0 | 0 | 3 477.67/477.83 c 467s | 14 | 122220 | 82752 | 134969 0 | 0 | 3 479.97/480.15 c 470s | 14 | 122592 | 83052 | 134969 0 | 0 | 3 482.37/482.55 c 472s | 14 | 122936 | 83352 | 134969 0 | 0 | 3 485.17/485.38 c 475s | 14 | 123319 | 83652 | 134969 0 | 0 | 3 487.47/487.60 c 477s | 14 | 123564 | 83852 | 134969 0 | 0 | 3 489.56/489.73 c 479s | 14 | 123818 | 84052 | 134969 0 | 0 | 3 492.67/492.82 c 482s | 14 | 124187 | 84352 | 134969 0 | 0 | 3 494.86/495.04 c 485s | 14 | 124426 | 84552 | 134969 0 | 0 | 3 497.27/497.44 c 487s | 14 | 124683 | 84752 | 134969 0 | 0 | 3 499.56/499.75 c 489s | 14 | 125048 | 85052 | 134969 0 | 0 | 3 502.16/502.32 c 492s | 14 | 125426 | 85352 | 134969 0 | 0 | 3 504.16/504.35 c 494s | 14 | 125653 | 85552 | 134969 0 | 0 | 3 506.26/506.48 c 496s | 14 | 125901 | 85752 | 134969 0 | 0 | 3 509.35/509.53 c 499s | 14 | 126245 | 86052 | 134969 0 | 0 | 3 512.15/512.37 c 502s | 14 | 126602 | 86352 | 134969 0 | 0 | 3 514.46/514.67 c 504s | 14 | 126827 | 86552 | 134969 0 | 0 | 3 517.35/517.56 c 507s | 14 | 127185 | 86852 | 134969 0 | 0 | 3 520.45/520.62 c 510s | 14 | 127532 | 87152 | 134969 0 | 0 | 3 522.65/522.83 c 512s | 14 | 127752 | 87352 | 134969 0 | 0 | 3 525.05/525.28 c 515s | 14 | 127987 | 87552 | 134969 0 | 0 | 3 525.76/525.93 c 515s | 15 | 128089 | 87632 | 134969 0 | 0 | 3 528.65/528.86 c 518s | 15 | 129036 | 87732 | 134969 0 | 0 | 3 530.85/531.02 c 521s | 15 | 129737 | 88232 | 134969 0 | 0 | 3 533.15/533.39 c 523s | 15 | 130250 | 88632 | 134969 0 | 0 | 3 535.44/535.62 c 525s | 15 | 130645 | 88932 | 134969 0 | 0 | 3 537.85/538.05 c 528s | 15 | 131155 | 89332 | 134969 0 | 0 | 3 540.24/540.45 c 530s | 15 | 131675 | 89732 | 134969 0 | 0 | 3 542.53/542.76 c 532s | 15 | 132358 | 90232 | 134969 0 | 0 | 3 545.03/545.22 c 535s | 15 | 133190 | 90832 | 134969 0 | 0 | 3 547.44/547.69 c 537s | 15 | 133801 | 91332 | 134969 0 | 0 | 3 550.03/550.27 c 540s | 15 | 134291 | 91732 | 134969 0 | 0 | 3 552.23/552.43 c 542s | 15 | 134826 | 92132 | 134969 0 | 0 | 3 554.53/554.74 c 544s | 15 | 135366 | 92532 | 134969 0 | 0 | 3 556.83/557.01 c 547s | 15 | 135874 | 92932 | 134969 0 | 0 | 3 559.12/559.37 c 549s | 15 | 136371 | 93332 | 134969 0 | 0 | 3 561.53/561.70 c 551s | 15 | 136870 | 93732 | 134969 0 | 0 | 3 563.73/563.90 c 553s | 15 | 137420 | 94132 | 134969 0 | 0 | 3 566.02/566.29 c 556s | 15 | 137920 | 94532 | 134969 0 | 0 | 3 568.42/568.68 c 558s | 15 | 138414 | 94932 | 134969 0 | 0 | 3 570.62/570.82 c 560s | 15 | 138924 | 95332 | 134969 0 | 0 | 3 573.32/573.50 c 563s | 15 | 139446 | 95732 | 134969 0 | 0 | 3 575.72/575.94 c 565s | 15 | 140075 | 96232 | 134969 0 | 0 | 3 578.02/578.26 c 568s | 15 | 140738 | 96732 | 134969 0 | 0 | 3 580.01/580.27 c 570s | 15 | 141235 | 97132 | 134969 0 | 0 | 3 582.41/582.68 c 572s | 15 | 141720 | 97532 | 134969 0 | 0 | 3 584.71/584.99 c 575s | 15 | 142227 | 97932 | 134969 0 | 0 | 3 586.91/587.16 c 577s | 15 | 142738 | 98332 | 134969 0 | 0 | 3 589.10/589.34 c 579s | 15 | 143222 | 98732 | 134969 0 | 0 | 3 591.51/591.77 c 581s | 15 | 143728 | 99132 | 134969 0 | 0 | 3 593.81/594.04 c 584s | 15 | 144229 | 99532 | 134969 0 | 0 | 3 596.12/596.38 c 586s | 15 | 144868 | 100032 | 134969 0 | 0 | 3 598.41/598.66 c 588s | 15 | 145358 | 100432 | 134969 0 | 0 | 3 600.90/601.17 c 591s | 15 | 145880 | 100832 | 134969 0 | 0 | 3 603.30/603.58 c 593s | 15 | 146407 | 101232 | 134969 0 | 0 | 3 605.80/606.00 c 596s | 15 | 146921 | 101632 | 134969 0 | 0 | 3 608.30/608.52 c 598s | 15 | 147447 | 102032 | 134969 0 | 0 | 3 610.80/611.05 c 601s | 15 | 147957 | 102432 | 134969 0 | 0 | 3 613.49/613.72 c 603s | 15 | 148495 | 102832 | 134969 0 | 0 | 3 616.10/616.32 c 606s | 15 | 148997 | 103232 | 134969 0 | 0 | 3 618.39/618.60 c 608s | 15 | 149352 | 103532 | 134969 0 | 0 | 3 620.69/620.90 c 610s | 15 | 149754 | 103832 | 134969 0 | 0 | 3 623.09/623.37 c 613s | 15 | 150265 | 104232 | 134969 0 | 0 | 3 625.09/625.39 c 615s | 15 | 150648 | 104532 | 134969 0 | 0 | 3 627.19/627.49 c 617s | 15 | 151010 | 104832 | 134969 0 | 0 | 3 629.69/629.95 c 619s | 15 | 151526 | 105232 | 134969 0 | 0 | 3 632.29/632.54 c 622s | 15 | 152046 | 105632 | 134969 0 | 0 | 3 634.89/635.13 c 625s | 15 | 152572 | 106032 | 134969 0 | 0 | 3 636.89/637.17 c 627s | 15 | 152987 | 106332 | 134969 0 | 0 | 3 638.99/639.23 c 629s | 15 | 153409 | 106632 | 134969 0 | 0 | 3 641.08/641.33 c 631s | 15 | 153853 | 106932 | 134969 0 | 0 | 3 643.68/643.98 c 634s | 15 | 154413 | 107332 | 134969 0 | 0 | 3 645.78/646.02 c 636s | 15 | 154806 | 107632 | 134969 0 | 0 | 3 647.88/648.19 c 638s | 15 | 155226 | 107932 | 134969 0 | 0 | 3 650.27/650.53 c 640s | 15 | 155620 | 108232 | 134969 0 | 0 | 3 652.38/652.64 c 642s | 15 | 155999 | 108532 | 134969 0 | 0 | 3 654.68/654.96 c 644s | 15 | 156481 | 108932 | 134969 0 | 0 | 3 657.08/657.39 c 647s | 15 | 156948 | 109332 | 134969 0 | 0 | 3 659.37/659.69 c 649s | 15 | 157418 | 109732 | 134969 0 | 0 | 3 661.67/661.96 c 651s | 15 | 157916 | 110132 | 134969 0 | 0 | 3 663.87/664.17 c 654s | 15 | 158434 | 110532 | 134969 0 | 0 | 3 666.07/666.34 c 656s | 15 | 158932 | 110932 | 134969 0 | 0 | 3 668.17/668.41 c 658s | 15 | 159421 | 111332 | 134969 0 | 0 | 3 670.37/670.68 c 660s | 15 | 159910 | 111732 | 134969 0 | 0 | 3 672.76/673.03 c 663s | 15 | 160413 | 112132 | 134969 0 | 0 | 3 675.06/675.37 c 665s | 15 | 160880 | 112532 | 134969 0 | 0 | 3 677.56/677.80 c 667s | 15 | 161397 | 112932 | 134969 0 | 0 | 3 680.07/680.38 c 670s | 15 | 161863 | 113332 | 134969 0 | 0 | 3 682.57/682.89 c 672s | 15 | 162360 | 113732 | 134969 0 | 0 | 3 684.97/685.20 c 675s | 15 | 162865 | 114132 | 134969 0 | 0 | 3 687.47/687.73 c 677s | 15 | 163373 | 114532 | 134969 0 | 0 | 3 689.57/689.87 c 679s | 15 | 163724 | 114832 | 134969 0 | 0 | 3 692.06/692.35 c 682s | 15 | 164213 | 115232 | 134969 0 | 0 | 3 694.36/694.65 c 684s | 15 | 164689 | 115632 | 134969 0 | 0 | 3 696.75/697.00 c 687s | 15 | 165133 | 116032 | 134969 0 | 0 | 3 699.35/699.69 c 689s | 15 | 165623 | 116432 | 134969 0 | 0 | 3 701.86/702.15 c 692s | 15 | 166154 | 116832 | 134969 0 | 0 | 3 704.05/704.39 c 694s | 15 | 166561 | 117132 | 134969 0 | 0 | 3 706.25/706.57 c 696s | 15 | 166940 | 117432 | 134969 0 | 0 | 3 708.55/708.82 c 698s | 15 | 167315 | 117732 | 134969 0 | 0 | 3 710.75/711.07 c 701s | 15 | 167701 | 118032 | 134969 0 | 0 | 3 713.15/713.43 c 703s | 15 | 168136 | 118332 | 134969 0 | 0 | 3 715.14/715.47 c 705s | 15 | 168573 | 118632 | 134969 0 | 0 | 3 717.54/717.81 c 707s | 15 | 169128 | 119032 | 134969 0 | 0 | 3 719.84/720.10 c 710s | 15 | 170064 | 119632 | 134969 0 | 0 | 3 722.14/722.40 c 712s | 15 | 170738 | 120132 | 134969 0 | 0 | 3 724.54/724.83 c 714s | 15 | 171409 | 120632 | 134969 0 | 0 | 3 726.54/726.87 c 716s | 15 | 171926 | 121032 | 134969 0 | 0 | 3 728.94/729.30 c 719s | 15 | 172599 | 121532 | 134969 0 | 0 | 3 731.34/731.65 c 721s | 15 | 173264 | 122032 | 134969 0 | 0 | 3 733.73/734.04 c 724s | 15 | 173762 | 122432 | 134969 0 | 0 | 3 735.83/736.11 c 726s | 15 | 174164 | 122732 | 134969 0 | 0 | 3 738.03/738.38 c 728s | 15 | 174609 | 123032 | 134969 0 | 0 | 3 740.14/740.42 c 730s | 15 | 175026 | 123332 | 134969 0 | 0 | 3 742.24/742.58 c 732s | 15 | 175589 | 123732 | 134969 0 | 0 | 3 744.73/745.03 c 735s | 15 | 176105 | 124132 | 134969 0 | 0 | 3 746.83/747.16 c 737s | 15 | 176626 | 124532 | 134969 0 | 0 | 3 749.33/749.68 c 739s | 15 | 177203 | 124932 | 134969 0 | 0 | 3 751.83/752.15 c 742s | 15 | 177924 | 125432 | 134969 0 | 0 | 3 754.23/754.53 c 744s | 15 | 178510 | 125832 | 134969 0 | 0 | 3 756.22/756.54 c 746s | 15 | 178914 | 126132 | 134969 0 | 0 | 3 758.43/758.79 c 748s | 15 | 179500 | 126532 | 148466 0 | 0 | 3 760.93/761.30 c 751s | 15 | 180220 | 127032 | 148466 0 | 0 | 3 763.13/763.45 c 753s | 15 | 180757 | 127432 | 148466 0 | 0 | 3 765.52/765.80 c 755s | 15 | 181317 | 127832 | 148466 0 | 0 | 3 767.53/767.82 c 757s | 15 | 181886 | 128232 | 148466 0 | 0 | 3 769.92/770.21 c 760s | 15 | 182494 | 128732 | 148466 0 | 0 | 3 772.32/772.61 c 762s | 15 | 183136 | 129232 | 148466 0 | 0 | 3 774.72/775.07 c 765s | 15 | 183826 | 129732 | 148466 0 | 0 | 3 777.32/777.63 c 767s | 15 | 184332 | 130132 | 148466 0 | 0 | 3 779.31/779.67 c 769s | 15 | 184741 | 130432 | 148466 0 | 0 | 3 781.82/782.18 c 772s | 15 | 185218 | 130832 | 148466 0 | 0 | 3 784.32/784.60 c 774s | 15 | 185608 | 131132 | 148466 0 | 0 | 3 786.81/787.15 c 777s | 15 | 186110 | 131532 | 148466 0 | 0 | 3 787.01/787.31 c 777s | 16 | 186129 | 131552 | 148466 0 | 0 | 3 791.31/791.61 c 781s | 16 | 187070 | 131652 | 148466 0 | 0 | 3 793.51/793.84 c 783s | 16 | 187817 | 132152 | 148466 0 | 0 | 3 795.81/796.19 c 786s | 16 | 188390 | 132552 | 148466 0 | 0 | 3 798.10/798.47 c 788s | 16 | 188957 | 132952 | 148466 0 | 0 | 3 800.30/800.68 c 790s | 16 | 189491 | 133352 | 148466 0 | 0 | 3 802.72/803.03 c 793s | 16 | 190052 | 133752 | 148466 0 | 0 | 3 805.21/805.55 c 795s | 16 | 190629 | 134152 | 148466 0 | 0 | 3 807.51/807.88 c 797s | 16 | 191218 | 134552 | 148466 0 | 0 | 3 809.80/810.17 c 800s | 16 | 191777 | 134952 | 148466 0 | 0 | 3 812.10/812.41 c 802s | 16 | 192375 | 135352 | 148466 0 | 0 | 3 814.60/814.90 c 804s | 16 | 192987 | 135752 | 148466 0 | 0 | 3 817.11/817.46 c 807s | 16 | 193588 | 136152 | 148466 0 | 0 | 3 819.80/820.13 c 810s | 16 | 194193 | 136552 | 148466 0 | 0 | 3 821.99/822.32 c 812s | 16 | 194615 | 136852 | 148466 0 | 0 | 3 824.40/824.79 c 814s | 16 | 195206 | 137252 | 148466 0 | 0 | 3 826.60/826.90 c 816s | 16 | 195600 | 137552 | 148466 0 | 0 | 3 828.60/828.93 c 818s | 16 | 195971 | 137852 | 148466 0 | 0 | 3 830.80/831.16 c 821s | 16 | 196350 | 138152 | 148466 0 | 0 | 3 833.10/833.46 c 823s | 16 | 196717 | 138452 | 148466 0 | 0 | 3 835.99/836.33 c 826s | 16 | 197083 | 138752 | 148466 0 | 0 | 3 838.69/839.00 c 829s | 16 | 197446 | 139052 | 148466 0 | 0 | 3 841.20/841.56 c 831s | 16 | 197806 | 139352 | 148466 0 | 0 | 3 843.40/843.73 c 833s | 16 | 198218 | 139652 | 148466 0 | 0 | 3 845.99/846.38 c 836s | 16 | 198590 | 139952 | 148466 0 | 0 | 3 848.78/849.10 c 839s | 16 | 198990 | 140252 | 148466 0 | 0 | 3 850.78/851.17 c 841s | 16 | 199238 | 140452 | 148466 0 | 0 | 3 853.08/853.41 c 843s | 16 | 199637 | 140752 | 148466 0 | 0 | 3 855.50/855.81 c 845s | 16 | 200327 | 141252 | 148466 0 | 0 | 3 857.58/857.96 c 847s | 16 | 200919 | 141652 | 148466 0 | 0 | 3 859.89/860.29 c 850s | 16 | 201574 | 142052 | 148466 0 | 0 | 3 862.19/862.52 c 852s | 16 | 201954 | 142352 | 148466 0 | 0 | 3 864.18/864.54 c 854s | 16 | 202347 | 142652 | 148466 0 | 0 | 3 866.89/867.22 c 857s | 16 | 202961 | 143052 | 148466 0 | 0 | 3 869.08/869.47 c 859s | 16 | 203398 | 143352 | 148466 0 | 0 | 3 871.58/871.98 c 862s | 16 | 203783 | 143652 | 148466 0 | 0 | 3 874.08/874.41 c 864s | 16 | 204160 | 143952 | 148466 0 | 0 | 3 876.08/876.43 c 866s | 16 | 204545 | 144252 | 148466 0 | 0 | 3 878.08/878.45 c 868s | 16 | 204975 | 144552 | 148466 0 | 0 | 3 880.79/881.17 c 871s | 16 | 205541 | 144952 | 148466 0 | 0 | 3 883.09/883.43 c 873s | 16 | 205949 | 145252 | 148466 0 | 0 | 3 885.38/885.74 c 875s | 16 | 206498 | 145652 | 148466 0 | 0 | 3 888.18/888.53 c 878s | 16 | 207009 | 146052 | 148466 0 | 0 | 3 890.18/890.58 c 880s | 16 | 207431 | 146352 | 148466 0 | 0 | 3 892.68/893.00 c 883s | 16 | 207865 | 146652 | 148466 0 | 0 | 3 895.18/895.51 c 885s | 16 | 208256 | 146952 | 148466 0 | 0 | 3 897.77/898.16 c 888s | 16 | 208733 | 147252 | 148466 0 | 0 | 3 900.38/900.78 c 890s | 16 | 209149 | 147552 | 148466 0 | 0 | 3 902.78/903.10 c 893s | 16 | 209614 | 147852 | 148466 0 | 0 | 3 905.78/906.15 c 896s | 16 | 210003 | 148152 | 148466 0 | 0 | 3 908.67/909.08 c 899s | 16 | 210378 | 148452 | 148466 0 | 0 | 3 911.27/911.66 c 901s | 16 | 210780 | 148752 | 148466 0 | 0 | 3 914.17/914.57 c 904s | 16 | 211187 | 149052 | 148466 0 | 0 | 3 916.87/917.20 c 907s | 16 | 211437 | 149252 | 148466 0 | 0 | 3 919.76/920.13 c 910s | 16 | 211795 | 149552 | 148466 0 | 0 | 3 921.86/922.23 c 912s | 16 | 212054 | 149752 | 148466 0 | 0 | 3 924.27/924.61 c 914s | 16 | 212313 | 149952 | 148466 0 | 0 | 3 926.26/926.62 c 916s | 16 | 212771 | 150252 | 148466 0 | 0 | 3 928.36/928.75 c 918s | 16 | 213139 | 150552 | 148466 0 | 0 | 3 930.66/931.09 c 921s | 16 | 213509 | 150852 | 148466 0 | 0 | 3 933.06/933.46 c 923s | 16 | 213873 | 151152 | 148466 0 | 0 | 3 935.56/935.97 c 926s | 16 | 214267 | 151452 | 148466 0 | 0 | 3 937.66/938.07 c 928s | 16 | 214721 | 151752 | 148466 0 | 0 | 3 940.05/940.46 c 930s | 16 | 215126 | 152052 | 148466 0 | 0 | 3 942.76/943.12 c 933s | 16 | 215504 | 152352 | 148466 0 | 0 | 3 945.06/945.43 c 935s | 16 | 215880 | 152652 | 148466 0 | 0 | 3 947.56/947.93 c 937s | 16 | 216265 | 152952 | 148466 0 | 0 | 3 949.85/950.20 c 940s | 16 | 216634 | 153252 | 148466 0 | 0 | 3 952.05/952.42 c 942s | 16 | 217027 | 153552 | 148466 0 | 0 | 3 954.75/955.19 c 945s | 16 | 217418 | 153852 | 148466 0 | 0 | 3 957.65/958.03 c 948s | 16 | 217777 | 154152 | 148466 0 | 0 | 3 959.75/960.14 c 950s | 16 | 218028 | 154352 | 148466 0 | 0 | 3 962.34/962.71 c 952s | 16 | 218380 | 154652 | 148466 0 | 0 | 3 964.84/965.26 c 955s | 16 | 218650 | 154852 | 148466 0 | 0 | 3 967.25/967.65 c 957s | 16 | 218880 | 155052 | 148466 0 | 0 | 3 969.35/969.78 c 959s | 16 | 219120 | 155252 | 148466 0 | 0 | 3 971.94/972.34 c 962s | 16 | 219518 | 155552 | 148466 0 | 0 | 3 974.44/974.83 c 964s | 16 | 219942 | 155852 | 148466 0 | 0 | 3 976.75/977.14 c 967s | 16 | 220310 | 156152 | 148466 0 | 0 | 3 979.64/980.00 c 970s | 16 | 220693 | 156452 | 148466 0 | 0 | 3 982.54/982.91 c 972s | 16 | 221080 | 156752 | 148466 0 | 0 | 3 985.44/985.80 c 975s | 16 | 221452 | 157052 | 148466 0 | 0 | 3 987.64/988.08 c 978s | 16 | 221868 | 157352 | 148466 0 | 0 | 3 990.15/990.56 c 980s | 16 | 222272 | 157652 | 148466 0 | 0 | 3 992.74/993.15 c 983s | 16 | 222659 | 157952 | 148466 0 | 0 | 3 995.45/995.87 c 985s | 16 | 223249 | 158352 | 148466 0 | 0 | 3 997.64/998.00 c 988s | 16 | 223529 | 158552 | 148466 0 | 0 | 3 999.74/1000.15 c 990s | 16 | 223829 | 158752 | 148466 0 | 0 | 3 1001.85/1002.29 c 992s | 16 | 224281 | 159052 | 148466 0 | 0 | 3 1004.05/1004.47 c 994s | 16 | 224535 | 159252 | 148466 0 | 0 | 3 1006.14/1006.55 c 996s | 16 | 224760 | 159452 | 148466 0 | 0 | 3 1008.64/1009.03 c 999s | 16 | 224999 | 159652 | 148466 0 | 0 | 3 1011.14/1011.55 c 1001s | 16 | 225246 | 159852 | 148466 0 | 0 | 3 1013.95/1014.31 c 1004s | 16 | 225607 | 160152 | 148466 0 | 0 | 3 1016.05/1016.41 c 1006s | 16 | 225853 | 160352 | 148466 0 | 0 | 3 1018.44/1018.86 c 1008s | 16 | 226079 | 160552 | 148466 0 | 0 | 3 1020.54/1020.94 c 1010s | 16 | 226313 | 160752 | 148466 0 | 0 | 3 1023.43/1023.80 c 1013s | 16 | 226694 | 161052 | 148466 0 | 0 | 3 1026.04/1026.47 c 1016s | 16 | 226959 | 161252 | 148466 0 | 0 | 3 1028.24/1028.63 c 1018s | 16 | 227216 | 161452 | 148466 0 | 0 | 3 1030.33/1030.74 c 1020s | 16 | 227478 | 161652 | 148466 0 | 0 | 3 1032.64/1033.02 c 1023s | 16 | 227735 | 161852 | 148466 0 | 0 | 3 1035.53/1035.97 c 1026s | 16 | 227981 | 162052 | 148466 0 | 0 | 3 1038.33/1038.71 c 1028s | 16 | 228221 | 162252 | 148466 0 | 0 | 3 1040.43/1040.83 c 1030s | 16 | 228459 | 162452 | 148466 0 | 0 | 3 1043.13/1043.54 c 1033s | 16 | 228708 | 162652 | 148466 0 | 0 | 3 1046.13/1046.53 c 1036s | 16 | 228960 | 162852 | 148466 0 | 0 | 3 1049.43/1049.88 c 1039s | 16 | 229197 | 163052 | 148466 0 | 0 | 3 1051.53/1051.98 c 1042s | 16 | 229443 | 163252 | 148466 0 | 0 | 3 1054.03/1054.49 c 1044s | 16 | 229692 | 163452 | 148466 0 | 0 | 3 1056.63/1057.01 c 1047s | 16 | 229936 | 163652 | 148466 0 | 0 | 3 1059.52/1059.93 c 1049s | 16 | 230218 | 163852 | 148466 0 | 0 | 3 1061.63/1062.09 c 1052s | 16 | 230519 | 164052 | 148466 0 | 0 | 3 1063.93/1064.34 c 1054s | 16 | 230771 | 164252 | 148466 0 | 0 | 3 1066.32/1066.77 c 1056s | 16 | 231046 | 164452 | 148466 0 | 0 | 3 1068.62/1069.08 c 1059s | 16 | 231298 | 164652 | 148466 0 | 0 | 3 1071.13/1071.58 c 1061s | 16 | 231556 | 164852 | 148466 0 | 0 | 3 1073.33/1073.77 c 1063s | 16 | 231674 | 164952 | 148466 0 | 0 | 3 1076.12/1076.59 c 1066s | 16 | 231917 | 165152 | 148466 0 | 0 | 3 1078.91/1079.40 c 1069s | 16 | 232174 | 165352 | 148466 0 | 0 | 3 1082.21/1082.63 c 1072s | 16 | 232443 | 165552 | 148466 0 | 0 | 3 1084.61/1085.03 c 1075s | 16 | 232568 | 165652 | 148466 0 | 0 | 3 1086.91/1087.34 c 1077s | 16 | 232879 | 165852 | 148466 0 | 0 | 3 1090.02/1090.49 c 1080s | 16 | 233133 | 166052 | 148466 0 | 0 | 3 1093.41/1093.81 c 1083s | 16 | 233428 | 166252 | 148466 0 | 0 | 3 1095.41/1095.83 c 1085s | 16 | 233542 | 166352 | 148466 0 | 0 | 3 1098.01/1098.48 c 1088s | 16 | 233814 | 166552 | 148466 0 | 0 | 3 1100.82/1101.21 c 1091s | 16 | 234078 | 166752 | 148466 0 | 0 | 3 1103.11/1103.56 c 1093s | 16 | 234189 | 166852 | 148466 0 | 0 | 3 1105.11/1105.60 c 1095s | 16 | 234313 | 166952 | 148466 0 | 0 | 3 1107.80/1108.25 c 1098s | 16 | 234590 | 167152 | 148466 0 | 0 | 3 1111.11/1111.52 c 1101s | 16 | 234851 | 167352 | 148466 0 | 0 | 3 1113.10/1113.57 c 1103s | 16 | 235214 | 167652 | 148466 0 | 0 | 3 1115.20/1115.63 c 1105s | 16 | 235464 | 167852 | 148466 0 | 0 | 3 1118.00/1118.48 c 1108s | 16 | 235806 | 168152 | 148466 0 | 0 | 3 1120.90/1121.38 c 1111s | 16 | 236030 | 168352 | 148466 0 | 0 | 3 1123.10/1123.53 c 1113s | 16 | 236266 | 168552 | 148466 0 | 0 | 3 1125.80/1126.26 c 1116s | 16 | 236596 | 168852 | 148466 0 | 0 | 3 1137.40/1137.82 c 1127s | 16 | 236987 | 169152 | 148466 1 | 0 | 3 1140.79/1141.21 c 1131s | 16 | 237231 | 169352 | 148466 1 | 0 | 3 1143.70/1144.10 c 1134s | 16 | 237584 | 169652 | 148466 1 | 0 | 3 1145.70/1146.17 c 1136s | 16 | 237828 | 169852 | 148466 1 | 0 | 3 1148.00/1148.49 c 1138s | 16 | 238095 | 170052 | 148466 1 | 0 | 3 1152.40/1152.90 c 1142s | 16 | 238339 | 170252 | 148466 1 | 0 | 3 1155.89/1156.30 c 1146s | 16 | 238700 | 170552 | 148466 1 | 0 | 3 1158.29/1158.75 c 1148s | 16 | 238947 | 170752 | 148466 1 | 0 | 3 1160.59/1161.01 c 1151s | 16 | 239193 | 170952 | 148466 1 | 0 | 3 1162.89/1163.36 c 1153s | 16 | 239467 | 171152 | 148466 1 | 0 | 3 1164.99/1165.43 c 1155s | 16 | 239708 | 171352 | 148466 1 | 0 | 3 1167.58/1168.01 c 1158s | 16 | 240109 | 171652 | 148466 1 | 0 | 3 1173.08/1173.51 c 1163s | 16 | 240358 | 171852 | 148466 1 | 0 | 3 1175.50/1175.99 c 1166s | 16 | 240726 | 172152 | 148466 1 | 0 | 3 1177.59/1178.00 c 1168s | 16 | 241120 | 172452 | 148466 1 | 0 | 3 1179.69/1180.10 c 1170s | 16 | 241501 | 172752 | 148466 1 | 0 | 3 1181.78/1182.28 c 1172s | 16 | 241893 | 173052 | 148466 1 | 0 | 3 1183.98/1184.49 c 1174s | 16 | 242254 | 173352 | 148466 1 | 0 | 3 1186.08/1186.57 c 1176s | 16 | 242529 | 173552 | 148466 1 | 0 | 3 1188.18/1188.64 c 1178s | 16 | 242904 | 173852 | 148466 1 | 0 | 3 1190.58/1191.03 c 1181s | 16 | 243262 | 174152 | 148466 1 | 0 | 3 1192.88/1193.38 c 1183s | 16 | 243652 | 174452 | 148466 1 | 0 | 3 1195.68/1196.11 c 1186s | 16 | 244058 | 174752 | 148466 1 | 0 | 3 1198.38/1198.80 c 1188s | 16 | 244429 | 175052 | 148466 1 | 0 | 3 1200.38/1200.86 c 1190s | 16 | 244691 | 175252 | 148466 1 | 0 | 3 1202.57/1203.01 c 1193s | 16 | 244944 | 175452 | 148466 1 | 0 | 3 1205.19/1205.63 c 1195s | 16 | 245212 | 175652 | 148466 1 | 0 | 3 1207.98/1208.46 c 1198s | 16 | 245470 | 175852 | 148466 1 | 0 | 3 1210.57/1211.07 c 1201s | 16 | 245830 | 176152 | 148466 1 | 0 | 3 1212.57/1213.07 c 1203s | 16 | 246059 | 176352 | 148466 1 | 0 | 3 1215.08/1215.59 c 1205s | 16 | 246433 | 176652 | 148466 1 | 0 | 3 1217.47/1217.98 c 1208s | 16 | 246687 | 176852 | 148466 1 | 0 | 3 1219.67/1220.11 c 1210s | 16 | 246919 | 177052 | 148466 1 | 0 | 3 1221.97/1222.42 c 1212s | 16 | 247169 | 177252 | 148466 1 | 0 | 3 1225.37/1225.82 c 1215s | 16 | 247407 | 177452 | 148466 1 | 0 | 3 1228.17/1228.66 c 1218s | 16 | 247674 | 177652 | 148466 1 | 0 | 3 1230.37/1230.85 c 1220s | 16 | 247914 | 177852 | 148466 1 | 0 | 3 1233.06/1233.58 c 1223s | 16 | 248297 | 178152 | 148466 1 | 0 | 3 1235.67/1236.12 c 1226s | 16 | 248678 | 178452 | 148466 1 | 0 | 3 1238.86/1239.36 c 1229s | 16 | 249073 | 178752 | 148466 1 | 0 | 3 1241.86/1242.32 c 1232s | 16 | 249334 | 178952 | 148466 1 | 0 | 3 1243.96/1244.49 c 1234s | 16 | 249737 | 179252 | 148466 1 | 0 | 3 1246.06/1246.54 c 1236s | 16 | 250099 | 179552 | 148466 1 | 0 | 3 1248.07/1248.55 c 1238s | 16 | 250469 | 179852 | 148466 1 | 0 | 3 1250.27/1250.78 c 1240s | 16 | 250812 | 180152 | 148466 1 | 0 | 3 1252.76/1253.22 c 1243s | 16 | 251203 | 180452 | 148466 1 | 0 | 3 1255.36/1255.88 c 1245s | 16 | 251569 | 180752 | 148466 1 | 0 | 3 1257.45/1257.96 c 1247s | 16 | 251806 | 180952 | 148466 1 | 0 | 3 1260.27/1260.72 c 1250s | 16 | 252082 | 181152 | 148466 1 | 0 | 3 1262.56/1263.04 c 1253s | 16 | 252434 | 181452 | 148466 1 | 0 | 3 1265.16/1265.67 c 1255s | 16 | 252810 | 181752 | 148466 1 | 0 | 3 1268.16/1268.62 c 1258s | 16 | 253174 | 182052 | 148466 1 | 0 | 3 1270.35/1270.84 c 1260s | 16 | 253420 | 182252 | 148466 1 | 0 | 3 1273.05/1273.52 c 1263s | 16 | 253783 | 182552 | 148466 1 | 0 | 3 1275.05/1275.55 c 1265s | 16 | 254028 | 182752 | 148466 1 | 0 | 3 1277.05/1277.56 c 1267s | 16 | 254277 | 182952 | 148466 1 | 0 | 3 1279.95/1280.44 c 1270s | 16 | 254745 | 183352 | 148466 1 | 0 | 3 1282.04/1282.53 c 1272s | 16 | 255097 | 183652 | 148466 1 | 0 | 3 1284.45/1284.93 c 1274s | 16 | 255479 | 183952 | 148466 1 | 0 | 3 1286.55/1287.08 c 1277s | 16 | 255820 | 184252 | 148466 1 | 0 | 3 1288.75/1289.29 c 1279s | 16 | 256192 | 184552 | 148466 1 | 0 | 3 1290.85/1291.37 c 1281s | 16 | 256564 | 184852 | 148466 1 | 0 | 3 1292.94/1293.44 c 1283s | 16 | 256946 | 185152 | 148466 1 | 0 | 3 1295.35/1295.81 c 1285s | 16 | 257301 | 185452 | 148466 1 | 0 | 3 1297.55/1298.02 c 1288s | 16 | 257656 | 185752 | 148466 1 | 0 | 3 1300.24/1300.71 c 1290s | 16 | 258179 | 186152 | 148466 1 | 0 | 3 1302.44/1302.90 c 1292s | 16 | 258443 | 186352 | 148466 1 | 0 | 3 1304.94/1305.41 c 1295s | 16 | 258795 | 186652 | 148466 1 | 0 | 3 1307.23/1307.79 c 1297s | 16 | 259172 | 186952 | 148466 1 | 0 | 3 1310.04/1310.57 c 1300s | 16 | 259537 | 187252 | 148466 1 | 0 | 3 1312.63/1313.14 c 1303s | 16 | 259904 | 187552 | 148466 1 | 0 | 3 1314.73/1315.23 c 1305s | 16 | 260144 | 187752 | 148466 1 | 0 | 3 1317.03/1317.51 c 1307s | 16 | 260521 | 188052 | 148466 1 | 0 | 3 1319.33/1319.86 c 1309s | 16 | 261047 | 188452 | 148466 1 | 0 | 3 1321.63/1322.11 c 1312s | 16 | 261407 | 188752 | 148466 1 | 0 | 3 1324.33/1324.81 c 1314s | 16 | 261812 | 189052 | 148466 1 | 0 | 3 1326.42/1326.93 c 1316s | 16 | 262271 | 189352 | 148466 1 | 0 | 3 1328.63/1329.13 c 1319s | 16 | 262658 | 189652 | 148466 1 | 0 | 3 1331.02/1331.55 c 1321s | 16 | 263096 | 189952 | 148466 1 | 0 | 3 1333.62/1334.15 c 1324s | 16 | 263476 | 190252 | 148466 1 | 0 | 3 1336.02/1336.57 c 1326s | 16 | 263891 | 190552 | 148466 1 | 0 | 3 1338.82/1339.30 c 1329s | 16 | 264334 | 190852 | 148466 1 | 0 | 3 1341.53/1342.03 c 1332s | 16 | 264632 | 191052 | 148466 1 | 0 | 3 1343.52/1344.05 c 1334s | 16 | 264870 | 191252 | 148466 1 | 0 | 3 1346.52/1347.08 c 1337s | 16 | 265253 | 191552 | 148466 1 | 0 | 3 1349.23/1349.76 c 1339s | 16 | 265644 | 191852 | 163313 1 | 0 | 3 1351.71/1352.28 c 1342s | 16 | 266023 | 192152 | 163313 1 | 0 | 3 1354.91/1355.45 c 1345s | 16 | 266409 | 192452 | 163313 1 | 0 | 3 1357.52/1358.00 c 1348s | 16 | 266656 | 192652 | 163313 1 | 0 | 3 1360.32/1360.85 c 1350s | 16 | 267053 | 192952 | 163313 1 | 0 | 3 1363.21/1363.75 c 1353s | 16 | 267493 | 193252 | 163313 1 | 0 | 3 1365.82/1366.36 c 1356s | 16 | 267870 | 193552 | 163313 1 | 0 | 3 1368.61/1369.16 c 1359s | 16 | 268236 | 193852 | 163313 1 | 0 | 3 1370.71/1371.28 c 1361s | 16 | 268475 | 194052 | 163313 1 | 0 | 3 1373.10/1373.62 c 1363s | 16 | 268703 | 194252 | 163313 1 | 0 | 3 1375.51/1376.02 c 1366s | 16 | 268963 | 194452 | 163313 1 | 0 | 3 1378.31/1378.81 c 1368s | 16 | 269334 | 194752 | 163313 1 | 0 | 3 1380.80/1381.34 c 1371s | 16 | 269693 | 195052 | 163313 1 | 0 | 3 1383.41/1383.94 c 1373s | 16 | 270100 | 195352 | 163313 1 | 0 | 3 1386.21/1386.72 c 1376s | 16 | 270455 | 195652 | 163313 1 | 0 | 3 1388.20/1388.79 c 1378s | 16 | 270717 | 195852 | 163313 1 | 0 | 3 1390.90/1391.48 c 1381s | 16 | 271096 | 196152 | 163313 1 | 0 | 3 1393.60/1394.18 c 1384s | 16 | 271440 | 196452 | 163313 1 | 0 | 3 1395.90/1396.46 c 1386s | 16 | 271785 | 196752 | 163313 1 | 0 | 3 1398.49/1399.06 c 1389s | 16 | 272133 | 197052 | 163313 1 | 0 | 3 1401.30/1401.82 c 1391s | 16 | 272509 | 197352 | 163313 1 | 0 | 3 1402.19/1402.77 c 1392s | 17 | 272619 | 197432 | 163313 1 | 0 | 3 1408.49/1409.05 c 1399s | 17 | 273576 | 197532 | 163313 1 | 0 | 3 1410.80/1411.31 c 1401s | 17 | 273937 | 197732 | 163313 1 | 0 | 3 1413.10/1413.66 c 1403s | 17 | 274598 | 198132 | 163313 1 | 0 | 3 1415.59/1416.14 c 1406s | 17 | 275207 | 198532 | 163313 1 | 0 | 3 1417.79/1418.35 c 1408s | 17 | 275633 | 198832 | 163313 1 | 0 | 3 1419.79/1420.39 c 1410s | 17 | 276072 | 199132 | 163313 1 | 0 | 3 1422.39/1422.99 c 1413s | 17 | 276455 | 199432 | 163313 1 | 0 | 3 1425.29/1425.84 c 1415s | 17 | 276922 | 199732 | 163313 1 | 0 | 3 1427.49/1428.08 c 1418s | 17 | 277356 | 200032 | 163313 1 | 0 | 3 1430.49/1431.09 c 1421s | 17 | 277787 | 200332 | 163313 1 | 0 | 3 1433.39/1433.96 c 1423s | 17 | 278208 | 200632 | 163313 1 | 0 | 3 1435.79/1436.37 c 1426s | 17 | 278605 | 200932 | 163313 1 | 0 | 3 1437.79/1438.39 c 1428s | 17 | 278851 | 201132 | 163313 1 | 0 | 3 1440.19/1440.74 c 1430s | 17 | 279278 | 201432 | 163313 1 | 0 | 3 1443.38/1443.99 c 1434s | 17 | 279670 | 201732 | 163313 1 | 0 | 3 1445.69/1446.24 c 1436s | 17 | 279977 | 201932 | 163313 1 | 0 | 3 1448.09/1448.60 c 1438s | 17 | 280406 | 202232 | 163313 1 | 0 | 3 1450.29/1450.84 c 1440s | 17 | 280876 | 202532 | 163313 1 | 0 | 3 1452.59/1453.13 c 1443s | 17 | 281305 | 202832 | 163313 1 | 0 | 3 1454.99/1455.59 c 1445s | 17 | 281842 | 203232 | 163313 1 | 0 | 3 1457.59/1458.19 c 1448s | 17 | 282216 | 203532 | 163313 1 | 0 | 3 1460.29/1460.82 c 1450s | 17 | 282495 | 203732 | 163313 1 | 0 | 3 1462.29/1462.89 c 1452s | 17 | 282919 | 204032 | 163313 1 | 0 | 3 1464.59/1465.11 c 1455s | 17 | 283190 | 204232 | 163313 1 | 0 | 3 1466.78/1467.38 c 1457s | 17 | 283606 | 204532 | 163313 1 | 0 | 3 1469.19/1469.74 c 1459s | 17 | 283918 | 204732 | 163313 1 | 0 | 3 1471.49/1472.09 c 1462s | 17 | 284389 | 205032 | 163313 1 | 0 | 3 1474.18/1474.79 c 1464s | 17 | 284894 | 205432 | 163313 1 | 0 | 3 1476.98/1477.55 c 1467s | 17 | 285307 | 205732 | 163313 1 | 0 | 3 1480.48/1481.03 c 1471s | 17 | 285576 | 205932 | 163313 1 | 0 | 3 1483.28/1483.89 c 1473s | 17 | 285965 | 206232 | 163313 1 | 0 | 3 1485.59/1486.14 c 1476s | 17 | 286423 | 206532 | 163313 1 | 0 | 3 1487.88/1488.41 c 1478s | 17 | 286797 | 206832 | 163313 1 | 0 | 3 1490.18/1490.77 c 1480s | 17 | 287050 | 207032 | 163313 1 | 0 | 3 1492.98/1493.58 c 1483s | 17 | 287392 | 207232 | 163313 1 | 0 | 3 1495.08/1495.60 c 1485s | 17 | 287676 | 207432 | 163313 1 | 0 | 3 1497.69/1498.28 c 1488s | 17 | 288119 | 207732 | 163313 1 | 0 | 3 1499.68/1500.28 c 1490s | 17 | 288406 | 207932 | 163313 1 | 0 | 3 1502.68/1503.23 c 1493s | 17 | 288636 | 208132 | 163313 1 | 0 | 3 1505.68/1506.23 c 1496s | 17 | 288853 | 208332 | 163313 1 | 0 | 3 1508.28/1508.82 c 1498s | 17 | 289326 | 208632 | 163313 1 | 0 | 3 1510.38/1510.96 c 1500s | 17 | 289609 | 208832 | 163313 1 | 0 | 3 1514.57/1515.15 c 1505s | 17 | 289868 | 209032 | 163313 1 | 0 | 3 1517.88/1518.46 c 1508s | 17 | 290269 | 209332 | 163313 1 | 0 | 3 1520.58/1521.16 c 1511s | 17 | 290527 | 209532 | 163313 1 | 0 | 3 1522.68/1523.29 c 1513s | 17 | 290680 | 209632 | 163313 1 | 0 | 3 1525.07/1525.67 c 1515s | 17 | 290966 | 209832 | 163313 1 | 0 | 3 1527.28/1527.86 c 1517s | 17 | 291391 | 210132 | 163313 1 | 0 | 3 1530.07/1530.60 c 1520s | 17 | 291859 | 210432 | 163313 1 | 0 | 3 1533.07/1533.68 c 1523s | 17 | 292269 | 210732 | 163313 1 | 0 | 3 1536.18/1536.77 c 1526s | 17 | 292533 | 210932 | 163313 1 | 0 | 3 1538.88/1539.50 c 1529s | 17 | 292962 | 211232 | 163313 1 | 0 | 3 1541.37/1541.99 c 1532s | 17 | 293196 | 211432 | 163313 1 | 0 | 3 1544.77/1545.38 c 1535s | 17 | 293426 | 211632 | 163313 1 | 0 | 3 1547.77/1548.31 c 1538s | 17 | 293694 | 211832 | 163313 1 | 0 | 3 1549.77/1550.36 c 1540s | 17 | 294025 | 212032 | 163313 1 | 0 | 3 1552.57/1553.15 c 1543s | 17 | 294301 | 212232 | 163313 1 | 0 | 3 1554.98/1555.52 c 1545s | 17 | 294672 | 212432 | 163313 1 | 0 | 3 1556.97/1557.60 c 1547s | 17 | 295289 | 212832 | 163313 1 | 0 | 3 1559.17/1559.77 c 1549s | 17 | 295889 | 213232 | 163313 1 | 0 | 3 1561.27/1561.82 c 1551s | 17 | 296302 | 213532 | 163313 1 | 0 | 3 1563.57/1564.12 c 1554s | 17 | 296823 | 213932 | 163313 1 | 0 | 3 1565.98/1566.56 c 1556s | 17 | 297352 | 214332 | 163313 1 | 0 | 3 1568.37/1568.99 c 1559s | 17 | 297872 | 214732 | 163313 1 | 0 | 3 1570.47/1571.03 c 1561s | 17 | 298307 | 215032 | 163313 1 | 0 | 3 1572.86/1573.45 c 1563s | 17 | 298900 | 215432 | 163313 1 | 0 | 3 1574.87/1575.45 c 1565s | 17 | 299507 | 215832 | 163313 1 | 0 | 3 1577.57/1578.10 c 1568s | 17 | 300292 | 216332 | 163313 1 | 0 | 3 1579.96/1580.51 c 1570s | 17 | 300915 | 216732 | 163313 1 | 0 | 3 1582.06/1582.62 c 1572s | 17 | 301341 | 217032 | 163313 1 | 0 | 3 1584.17/1584.72 c 1574s | 17 | 301718 | 217332 | 163313 1 | 0 | 3 1586.57/1587.15 c 1577s | 17 | 302234 | 217732 | 163313 1 | 0 | 3 1588.67/1589.28 c 1579s | 17 | 302619 | 218032 | 163313 1 | 0 | 3 1591.36/1591.90 c 1581s | 17 | 303134 | 218432 | 163313 1 | 0 | 3 1593.86/1594.46 c 1584s | 17 | 303666 | 218832 | 163313 1 | 0 | 3 1596.07/1596.64 c 1586s | 17 | 304065 | 219132 | 163313 1 | 0 | 3 1598.36/1598.93 c 1588s | 17 | 304464 | 219432 | 163313 1 | 0 | 3 1600.66/1601.20 c 1591s | 17 | 304876 | 219732 | 163313 1 | 0 | 3 1602.76/1603.38 c 1593s | 17 | 305425 | 220132 | 163313 1 | 0 | 3 1605.16/1605.79 c 1595s | 17 | 305904 | 220532 | 163313 1 | 0 | 3 1607.67/1608.23 c 1598s | 17 | 306483 | 220932 | 163313 1 | 0 | 3 1610.16/1610.73 c 1600s | 17 | 307009 | 221332 | 163313 1 | 0 | 3 1612.56/1613.17 c 1603s | 17 | 307436 | 221632 | 163313 1 | 0 | 3 1615.26/1615.87 c 1605s | 17 | 307942 | 222032 | 163313 1 | 0 | 3 1617.36/1617.91 c 1607s | 17 | 308336 | 222332 | 163313 1 | 0 | 3 1619.36/1619.95 c 1609s | 17 | 308702 | 222632 | 163313 1 | 0 | 3 1621.46/1622.09 c 1612s | 17 | 309085 | 222932 | 163313 1 | 0 | 3 1623.76/1624.38 c 1614s | 17 | 309473 | 223232 | 163313 1 | 0 | 3 1626.16/1626.78 c 1616s | 17 | 309866 | 223532 | 163313 1 | 0 | 3 1628.45/1629.09 c 1619s | 17 | 310297 | 223832 | 163313 1 | 0 | 3 1630.56/1631.10 c 1621s | 17 | 310718 | 224132 | 163313 1 | 0 | 3 1633.06/1633.62 c 1623s | 17 | 311124 | 224432 | 163313 1 | 0 | 3 1635.26/1635.85 c 1625s | 17 | 311526 | 224732 | 163313 1 | 0 | 3 1637.65/1638.24 c 1628s | 17 | 311924 | 225032 | 163313 1 | 0 | 3 1640.35/1640.90 c 1630s | 17 | 312285 | 225332 | 163313 1 | 0 | 3 1642.55/1643.19 c 1633s | 17 | 312683 | 225632 | 163313 1 | 0 | 3 1645.06/1645.62 c 1635s | 17 | 313044 | 225932 | 163313 1 | 0 | 3 1647.26/1647.88 c 1637s | 17 | 313416 | 226232 | 163313 1 | 0 | 3 1649.85/1650.46 c 1640s | 17 | 313802 | 226532 | 163313 1 | 0 | 3 1652.15/1652.70 c 1642s | 17 | 314204 | 226832 | 163313 1 | 0 | 3 1654.15/1654.72 c 1644s | 17 | 314628 | 227132 | 163313 1 | 0 | 3 1656.55/1657.15 c 1647s | 17 | 315071 | 227432 | 163313 1 | 0 | 3 1659.05/1659.63 c 1649s | 17 | 315471 | 227732 | 163313 1 | 0 | 3 1661.05/1661.66 c 1651s | 17 | 315859 | 228032 | 163313 1 | 0 | 3 1663.25/1663.87 c 1653s | 17 | 316240 | 228332 | 163313 1 | 0 | 3 1665.35/1665.97 c 1656s | 17 | 316642 | 228632 | 163313 1 | 0 | 3 1667.95/1668.58 c 1658s | 17 | 317190 | 229032 | 163313 1 | 0 | 3 1670.36/1670.94 c 1660s | 17 | 317569 | 229332 | 163313 1 | 0 | 3 1672.76/1673.34 c 1663s | 17 | 317958 | 229632 | 163313 1 | 0 | 3 1675.25/1675.82 c 1665s | 17 | 318328 | 229932 | 163313 1 | 0 | 3 1677.65/1678.24 c 1668s | 17 | 318727 | 230232 | 163313 1 | 0 | 3 1680.45/1681.04 c 1671s | 17 | 319079 | 230532 | 163313 1 | 0 | 3 1682.85/1683.49 c 1673s | 17 | 319489 | 230832 | 163313 1 | 0 | 3 1685.15/1685.79 c 1675s | 17 | 319893 | 231132 | 163313 1 | 0 | 3 1687.24/1687.82 c 1677s | 17 | 320134 | 231332 | 163313 1 | 0 | 3 1690.05/1690.62 c 1680s | 17 | 320503 | 231632 | 163313 1 | 0 | 3 1692.75/1693.37 c 1683s | 17 | 320882 | 231932 | 163313 1 | 0 | 3 1695.45/1696.05 c 1686s | 17 | 321231 | 232232 | 163313 1 | 0 | 3 1698.35/1698.91 c 1688s | 17 | 321676 | 232532 | 163313 1 | 0 | 3 1700.35/1700.95 c 1690s | 17 | 321949 | 232732 | 163313 1 | 0 | 3 1702.85/1703.47 c 1693s | 17 | 322213 | 232932 | 163313 1 | 0 | 3 1705.45/1706.02 c 1696s | 17 | 322588 | 233232 | 163313 1 | 0 | 3 1707.94/1708.58 c 1698s | 17 | 323025 | 233532 | 163313 1 | 0 | 3 1710.24/1710.87 c 1700s | 17 | 323538 | 233832 | 163313 1 | 0 | 3 1712.45/1713.08 c 1703s | 17 | 323943 | 234132 | 163313 1 | 0 | 3 1714.64/1715.25 c 1705s | 17 | 324368 | 234432 | 163313 1 | 0 | 3 1717.04/1717.64 c 1707s | 17 | 324771 | 234732 | 163313 1 | 0 | 3 1719.45/1720.01 c 1710s | 17 | 325145 | 235032 | 163313 1 | 0 | 3 1721.64/1722.29 c 1712s | 17 | 325544 | 235332 | 163313 1 | 0 | 3 1724.35/1724.93 c 1714s | 17 | 326104 | 235732 | 163313 1 | 0 | 3 1727.14/1727.70 c 1717s | 17 | 326497 | 236032 | 163313 1 | 0 | 3 1729.44/1730.04 c 1720s | 17 | 326894 | 236332 | 163313 1 | 0 | 3 1732.15/1732.74 c 1722s | 17 | 327275 | 236632 | 163313 1 | 0 | 3 1734.94/1735.56 c 1725s | 17 | 327691 | 236932 | 163313 1 | 0 | 3 1737.24/1737.87 c 1727s | 17 | 327949 | 237132 | 163313 1 | 0 | 3 1739.74/1740.35 c 1730s | 17 | 328192 | 237332 | 163313 1 | 0 | 3 1742.64/1743.24 c 1733s | 17 | 328613 | 237632 | 163313 1 | 0 | 3 1744.84/1745.40 c 1735s | 17 | 328861 | 237832 | 163313 1 | 0 | 3 1747.54/1748.11 c 1738s | 17 | 329178 | 238032 | 163313 1 | 0 | 3 1749.65/1750.27 c 1740s | 17 | 329513 | 238232 | 163313 1 | 0 | 3 1751.64/1752.27 c 1742s | 17 | 329822 | 238432 | 163313 1 | 0 | 3 1753.74/1754.37 c 1744s | 17 | 330093 | 238632 | 163313 1 | 0 | 3 1756.04/1756.61 c 1746s | 17 | 330346 | 238832 | 163313 1 | 0 | 3 1758.74/1759.30 c 1749s | 17 | 330738 | 239132 | 163313 1 | 0 | 3 1761.34/1761.94 c 1751s | 17 | 331111 | 239432 | 163313 1 | 0 | 3 1764.13/1764.77 c 1754s | 17 | 331482 | 239732 | 163313 1 | 0 | 3 1766.74/1767.35 c 1757s | 17 | 331897 | 240032 | 163313 1 | 0 | 3 1769.63/1770.27 c 1760s | 17 | 332284 | 240332 | 163313 1 | 0 | 3 1771.94/1772.53 c 1762s | 17 | 332516 | 240532 | 163313 1 | 0 | 3 1774.14/1774.72 c 1764s | 17 | 332808 | 240732 | 163313 1 | 0 | 3 1776.84/1777.43 c 1767s | 17 | 333220 | 241032 | 163313 1 | 0 | 3 1779.63/1780.21 c 1770s | 17 | 333656 | 241332 | 163313 1 | 0 | 3 1782.43/1783.01 c 1773s | 17 | 334060 | 241632 | 163313 1 | 0 | 3 1784.53/1785.16 c 1775s | 17 | 334356 | 241832 | 163313 1 | 0 | 3 1787.34/1787.93 c 1777s | 17 | 334781 | 242132 | 163313 1 | 0 | 3 1789.34/1789.97 c 1779s | 17 | 335054 | 242332 | 163313 1 | 0 | 3 1791.34/1791.99 c 1782s | 17 | 335306 | 242532 | 163313 1 | 0 | 3 1793.43/1794.02 c 1784s | 17 | 335629 | 242732 | 163313 1 | 0 | 3 1795.53/1796.19 c 1786s | 17 | 335897 | 242932 | 163313 1 | 0 | 3 1798.14/1798.73 c 1788s | 17 | 336158 | 243132 | 163313 1 | 0 | 3
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-4080114-1465255732/watcher-4080114-1465255732 -o /tmp/evaluation-result-4080114-1465255732/solver-4080114-1465255732 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080114-1465255732.opb pid=5332 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: 2.27 2.24 2.19 3/179 5335 /proc/meminfo: memFree=29185200/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=737724 CPUtime=0 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 2753 0 0 0 0 0 0 0 20 0 4 0 107506234 755429376 2603 33554432000 4194304 16246674 140734671563088 140734671562512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 184943 2611 441 2943 0 181837 0 [pid=5335/tid=5336] ppid=5332 vsize=755132 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 773255168 2672 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=759228 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 777449472 2690 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=763324 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107506234 781643776 2706 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100178 s] /proc/loadavg: 2.27 2.24 2.19 3/179 5335 /proc/meminfo: memFree=29185200/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 28698 0 0 0 6 3 0 0 20 0 4 0 107506234 1333334016 28486 33554432000 4194304 16246674 140734671563088 140734671562400 8058197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 325521 28502 800 2943 0 322415 0 [pid=5335/tid=5336] ppid=5332 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 1333334016 28513 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 1333334016 28525 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 1333334016 28535 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200493 s] /proc/loadavg: 2.27 2.24 2.19 3/179 5335 /proc/meminfo: memFree=29185200/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=1309252 CPUtime=0.19 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 48352 0 0 0 12 7 0 0 20 0 4 0 107506234 1340674048 48139 33554432000 4194304 16246674 140734671563088 140734671562400 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 327313 48145 834 2943 0 324207 0 [pid=5335/tid=5336] ppid=5332 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 1340674048 48148 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 1340674048 48152 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 1340674048 48155 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1309252 [startup+0.300467 s] /proc/loadavg: 2.27 2.24 2.19 3/179 5335 /proc/meminfo: memFree=29185200/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=1314372 CPUtime=0.29 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 49687 0 0 0 22 7 0 0 20 0 4 0 107506234 1345916928 49474 33554432000 4194304 16246674 140734671563088 140734671562400 4220978 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 328593 49474 834 2943 0 325487 0 [pid=5335/tid=5336] ppid=5332 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 1345916928 49474 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 1345916928 49474 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 1345916928 49474 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700468 s] /proc/loadavg: 2.27 2.24 2.19 3/179 5335 /proc/meminfo: memFree=29185200/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=1316420 CPUtime=0.68 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 60817 0 0 0 60 8 0 0 20 0 4 0 107506234 1348014080 60604 33554432000 4194304 16246674 140734671563088 140734671544960 5913161 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 329105 60604 834 2943 0 325999 0 [pid=5335/tid=5336] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 60604 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 60604 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 60604 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1316420 [startup+1.50043 s] /proc/loadavg: 2.27 2.24 2.19 3/183 5339 /proc/meminfo: memFree=28898100/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=1316420 CPUtime=1.48 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 72261 0 0 0 138 10 0 0 20 0 4 0 107506234 1348014080 72048 33554432000 4194304 16246674 140734671563088 140734671544960 5675777 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 329105 72048 895 2943 0 325999 0 [pid=5335/tid=5336] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 72048 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 72048 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 72048 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1316420 [startup+3.10046 s] /proc/loadavg: 2.27 2.24 2.19 3/183 5339 /proc/meminfo: memFree=28897604/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=1316420 CPUtime=3.09 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 117233 0 0 0 293 16 0 0 20 0 4 0 107506234 1348014080 117020 33554432000 4194304 16246674 140734671563088 140734671544960 5661363 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 329105 117020 910 2943 0 325999 0 [pid=5335/tid=5336] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 117020 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 117020 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 117020 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1316420 [startup+6.30047 s] /proc/loadavg: 2.33 2.26 2.19 3/183 5339 /proc/meminfo: memFree=28699824/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=1316420 CPUtime=6.29 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 121855 0 0 0 613 16 0 0 20 0 4 0 107506234 1348014080 121642 33554432000 4194304 16246674 140734671563088 140734671544960 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 329105 121642 910 2943 0 325999 0 [pid=5335/tid=5336] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 121642 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 121642 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 121642 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1316420 [startup+12.7004 s] /proc/loadavg: 2.30 2.25 2.19 3/183 5339 /proc/meminfo: memFree=28700128/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=1316420 CPUtime=12.68 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 121857 0 0 0 1252 16 0 0 20 0 4 0 107506234 1348014080 121644 33554432000 4194304 16246674 140734671563088 140734671544960 5661363 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 329105 121644 912 2943 0 325999 0 [pid=5335/tid=5336] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 121644 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 121644 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 121644 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1316420 [startup+25.5005 s] /proc/loadavg: 2.39 2.27 2.20 3/183 5339 /proc/meminfo: memFree=28400244/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=1316420 CPUtime=25.48 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 197009 0 0 0 2523 25 0 0 20 0 4 0 107506234 1348014080 196796 33554432000 4194304 16246674 140734671563088 140734671546088 12478373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 329105 196796 912 2943 0 325999 0 [pid=5335/tid=5336] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 196796 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 196796 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 196796 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1316420 [startup+51.1005 s] /proc/loadavg: 2.32 2.26 2.20 3/183 5339 /proc/meminfo: memFree=28398472/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=1316420 CPUtime=51.08 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 197012 0 0 0 5082 26 0 0 20 0 4 0 107506234 1348014080 196799 33554432000 4194304 16246674 140734671563088 140734671544960 12483632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 329105 196799 915 2943 0 325999 0 [pid=5335/tid=5336] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 196799 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 196799 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 196799 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.301 s] /proc/loadavg: 2.19 2.24 2.19 3/184 5343 /proc/meminfo: memFree=28398568/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=1316420 CPUtime=102.28 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 197012 0 0 0 10198 30 0 0 20 0 4 0 107506234 1348014080 196799 33554432000 4194304 16246674 140734671563088 140734671562264 5828560 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 329105 196799 915 2943 0 325999 0 [pid=5335/tid=5336] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 196799 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 196799 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 1348014080 196799 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 2346258432 514079 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 2291268 [startup+1302.3 s] /proc/loadavg: 2.24 2.23 2.18 3/184 5470 /proc/meminfo: memFree=27104228/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=2291268 CPUtime=1301.84 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 472588 0 0 0 129989 195 0 0 20 0 4 0 107506234 2346258432 514079 33554432000 4194304 16246674 140734671563088 140734671562184 5674030 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 572817 514079 918 2943 0 569711 0 [pid=5335/tid=5336] ppid=5332 vsize=2291268 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 2346258432 514079 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=2291268 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 2346258432 514079 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=2291268 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 2346258432 514079 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 2291268 [startup+1362.3 s] /proc/loadavg: 2.23 2.23 2.18 3/183 5471 /proc/meminfo: memFree=27103648/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=2291268 CPUtime=1361.82 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 472613 0 0 0 135974 208 0 0 20 0 4 0 107506234 2346258432 514079 33554432000 4194304 16246674 140734671563088 140734671562264 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 572817 514079 918 2943 0 569711 0 [pid=5335/tid=5336] ppid=5332 vsize=2291268 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 2346258432 514079 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=2291268 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 2346258432 514079 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=2291268 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 2346258432 514079 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 2291268 [startup+1422.3 s] /proc/loadavg: 2.23 2.23 2.18 3/183 5472 /proc/meminfo: memFree=27104292/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=2291268 CPUtime=1421.79 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 472638 0 0 0 141959 220 0 0 20 0 4 0 107506234 2346258432 514079 33554432000 4194304 16246674 140734671563088 140734671562264 5676613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 572817 514079 918 2943 0 569711 0 [pid=5335/tid=5336] ppid=5332 vsize=2291268 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 2346258432 514079 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=2291268 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 2346258432 514079 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=2291268 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 2346258432 514079 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 2291268 [startup+1482.3 s] /proc/loadavg: 2.33 2.25 2.19 3/183 5474 /proc/meminfo: memFree=27103308/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=2291268 CPUtime=1481.78 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 472638 0 0 0 147944 234 0 0 20 0 4 0 107506234 2346258432 514079 33554432000 4194304 16246674 140734671563088 140734671562264 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 572817 514079 918 2943 0 569711 0 [pid=5335/tid=5336] ppid=5332 vsize=2291268 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 2346258432 514079 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=2291268 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 2346258432 514079 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=2291268 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 2346258432 514079 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 2291268 [startup+1542.31 s] /proc/loadavg: 2.17 2.22 2.18 3/183 5475 /proc/meminfo: memFree=27081632/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=2312772 CPUtime=1541.78 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 477942 0 0 0 153932 246 0 0 20 0 4 0 107506234 2368278528 519383 33554432000 4194304 16246674 140734671563088 140734671562264 5546177 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 578193 519383 918 2943 0 575087 0 [pid=5335/tid=5336] ppid=5332 vsize=2312772 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 2368278528 519383 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=2312772 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 2368278528 519383 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=2312772 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 2368278528 519383 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 2312772 [startup+1602.3 s] /proc/loadavg: 2.25 2.22 2.18 4/183 5476 /proc/meminfo: memFree=27021212/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=2373188 CPUtime=1601.76 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 493030 0 0 0 159913 263 0 0 20 0 4 0 107506234 2430144512 534471 33554432000 4194304 16246674 140734671563088 140734671562264 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 593297 534471 918 2943 0 590191 0 [pid=5335/tid=5336] ppid=5332 vsize=2373188 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 2430144512 534471 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=2373188 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 2430144512 534471 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=2373188 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 2430144512 534471 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 2373188 [startup+1662.3 s] /proc/loadavg: 2.31 2.24 2.19 3/183 5477 /proc/meminfo: memFree=26911372/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=2482756 CPUtime=1661.76 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 520460 0 0 0 165890 286 0 0 20 0 4 0 107506234 2542342144 561901 33554432000 4194304 16246674 140734671563088 140734671562184 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 620689 561901 918 2943 0 617583 0 [pid=5335/tid=5336] ppid=5332 vsize=2482756 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 2542342144 561901 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=2482756 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 2542342144 561901 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=2482756 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 2542342144 561901 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 2482756 [startup+1722.3 s] /proc/loadavg: 2.21 2.22 2.18 3/183 5478 /proc/meminfo: memFree=26829176/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=2584132 CPUtime=1721.74 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 545721 0 0 0 171867 307 0 0 20 0 4 0 107506234 2646151168 587162 33554432000 4194304 16246674 140734671563088 140734671562264 5553800 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 646033 587162 918 2943 0 642927 0 [pid=5335/tid=5336] ppid=5332 vsize=2584132 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 2646151168 587162 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=2584132 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 2646151168 587162 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=2584132 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 2646151168 587162 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 2584132 [startup+1782.3 s] /proc/loadavg: 2.35 2.26 2.19 3/183 5480 /proc/meminfo: memFree=26738180/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=2654788 CPUtime=1781.73 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 563414 0 0 0 177838 335 0 0 20 0 4 0 107506234 2718502912 604855 33554432000 4194304 16246674 140734671563088 140734671562264 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 663697 604855 918 2943 0 660591 0 [pid=5335/tid=5336] ppid=5332 vsize=2654788 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 2718502912 604855 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=2654788 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 2718502912 604855 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=2654788 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 2718502912 604855 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 2654788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.32 2.25 2.19 3/183 5480 /proc/meminfo: memFree=26705780/32872528 swapFree=16384/1696552 [pid=5335] ppid=5332 vsize=2687556 CPUtime=1800.04 cores=1,3,5,7 /proc/5335/stat : 5335 (toysat) R 5332 5335 1166 0 -1 4202496 571596 0 0 0 179660 344 0 0 20 0 4 0 107506234 2752057344 613037 33554432000 4194304 16246674 140734671563088 140734671562264 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5335/statm: 671889 613037 918 2943 0 668783 0 [pid=5335/tid=5336] ppid=5332 vsize=2687556 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5336/stat : 5336 (toysat) S 5332 5335 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107506234 2752057344 613037 33554432000 4194304 16246674 140734671563088 140542907231472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5335/tid=5337] ppid=5332 vsize=2687556 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5337/stat : 5337 (toysat) S 5332 5335 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107506234 2752057344 613037 33554432000 4194304 16246674 140734671563088 140542896741616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5335/tid=5338] ppid=5332 vsize=2687556 CPUtime=0 cores=1,3,5,7 /proc/5335/task/5338/stat : 5338 (toysat) S 5332 5335 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107506234 2752057344 613037 33554432000 4194304 16246674 140734671563088 140542886268080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2687556 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 5335 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.63 CPU time (s): 1800.07 CPU user time (s): 1796.6 CPU system time (s): 3.46147 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 2687556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.6 system time used= 3.46147 maximum resident set size= 2452148 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 571596 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= 549 involuntary context switches= 1948 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.3654 second user time and 17.5203 second system time The end
Begin job on node125 at 2016-06-07 01:28:52 IDJOB=4080114 IDBENCH=48110 IDSOLVER=2542 FILE ID=node125/4080114-1465255732 RUNJOBID= node125-1465224138-1183 PBS_JOBID= 19843237 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080114-1465255732/watcher-4080114-1465255732 -o /tmp/evaluation-result-4080114-1465255732/solver-4080114-1465255732 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080114-1465255732.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0c93b84d697c3c1b68cbcf423dabc710 RANDOM SEED=2044319846 node125.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.456 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 : 5332.91 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 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.456 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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: 29185736 kB Buffers: 64388 kB Cached: 136668 kB SwapCached: 2016 kB Active: 1183676 kB Inactive: 100564 kB Active(anon): 1083900 kB Inactive(anon): 1380 kB Active(file): 99776 kB Inactive(file): 99184 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 16752 kB Writeback: 0 kB AnonPages: 2778200 kB Mapped: 10512 kB Shmem: 0 kB Slab: 569176 kB SReclaimable: 13216 kB SUnreclaim: 555960 kB KernelStack: 1504 kB PageTables: 9412 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2925360 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1683456 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= 71712 MiB End job on node125 at 2016-06-07 01:58:52