Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_1.opb |
| MD5SUM | 93a95f0846e71f0984a2317cf811edef |
| 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 | 38 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 35 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 49 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 15716 |
| Sum of products size (including duplicates) | 31432 |
| Number of different products | 15716 |
| Sum of products size | 31432 |
0.00/0.00 c 2016-06-07T01:31:36+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-4080135-1465255895.opb"] 0.00/0.01 c use --random-gen="1174434907 3554177453 786125836 1011336036 1534564173 2893041266 1655667538 1587010921 1341778472 1349372637 1104051453 2254245356 1362000577 897268372 1754896142 291945576 1295851497 1404768489 1465419299 1781569221 2500683285 3634390870 2237407992 715172623 3725918573 637251714 3747840850 1711440437 4077234761 2784944811 2929904403 573307906 2834068024 128826307 4230295530 527474475 563515388 1100374581 2255040488 210514594 222278110 71574972 2341154845 2545731750 2918150231 1793450038 1968479695 2877526751 2139306798 1885115581 2316279667 958816775 174718328 2708685938 3006509648 4036292500 556571600 3466276003 949604665 4181726693 3901172262 2228882370 2540485298 2592041037 2788709831 1178052568 1342074069 1084008258 2158605207 2542878812 2279701709 1403167330 2289069799 3454163575 126483746 3885997635 915012624 3707958870 2426935461 250773223 3918180301 318356968 3172126077 3616254708 185072322 4022564840 1488428324 3720779712 2017814146 678846710 3734898871 1226261090 2276074200 73972061 2955061032 2188698313 39590649 3055107500 891433861 1387128999 752363274 2493875587 1665402176 2186943487 1397882086 1263956629 2655981335 2781107963 1252376721 479506904 2404274705 665427632 3938170832 1065692653 2832929799 2321400324 3365782002 1534994788 3728389745 2944421106 1989775197 3549327726 1012044988 4274355502 4270128131 2614526350 3099853430 1193075563 3586473052 1997672890 2051700637 3105000270 3009692992 3798662712 516324481 54229214 4082678873 2710691601 3932507442 3924916498 749117664 2317549075 1380556672 682143819 1874929127 890806268 91509228 1029924287 3058980482 1235764160 4240708344 2250734075 2946254304 3143037450 8362690 1369557584 3442443360 772076272 895641869 2199506915 4260502734 2222902358 3822826648 1191124554 4037388547 1698537496 2608418920 918442979 3682006798 2596576425 2672620709 1719322122 3582196139 2009704949 219848212 2887864172 1251068320 2500240014 2444163087 4032233839 2033830704 4098008601 603118693 1347032801 5275133 678490347 3635211435 2663987071 224114606 1982721230 240994365 1649145092 243120793 1125003190 3179580461 2587214037 3912316556 544365677 835261891 2067316892 3152725962 2205731997 1222045774 3464181230 283650568 372929672 4075206632 897564937 2761989216 692712823 3514305046 3222743731 826530106 3179165527 429740021 3235236070 1753848483 2354940759 2265166102 2649643216 2648179352 3520472634 2431453763 842877776 2208425550 4146557509 1265431308 1688599583 2835071897 3483929595 519855477 4167105756 993184907 2611556021 2165246005 3073600535 2792211029 2363399678 4081721006 1384889710 2792744917 1941076162 42170121 4009907548 2489854190 3007118493 3372842568 2787098861 1932973598 494886903 4159373988 2551186129 2885658151 970900452 2256739389 2513757056 255 362436" option to reproduce the execution 0.00/0.06 c #vars 500 0.00/0.06 c #constraints 500 0.29/0.38 c BCD2: Hardening is enabled. 0.29/0.38 c BCD2: BiasedSearch is enabled. 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 16049 0 | 0 | 0 0.39/0.42 c 0.0s | 0 | 1628 | 0 | 16049 0 | 0 | 0 0.39/0.42 c #cpu_time = 0.031s 0.39/0.42 c #wall_clock_time = 0.031s 0.39/0.42 c #decision = 1628 0.39/0.42 c #random_decision = 5 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 o 439 0.39/0.42 c BCD2: updating upper bound: 500 -> 438 0.39/0.45 c BCD2: 0 <= obj <= 438 0.39/0.45 c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0 0.39/0.45 c BCD2: #sat=1 #unsat=1 bias=1/2 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.45 c 0.0s | 0 | 0 | 0 | 16049 0 | 0 | 0 0.39/0.49 c 0.0s | 0 | 443 | 0 | 16049 0 | 0 | 0 0.39/0.49 c #cpu_time = 0.029s 0.39/0.49 c #wall_clock_time = 0.029s 0.39/0.49 c #decision = 443 0.39/0.49 c #random_decision = 0 0.39/0.49 c #conflict = 0 0.39/0.49 c #restart = 0 0.39/0.49 c BCD2: found a new core of size 36: cost of the new core is >=1 0.39/0.49 c lower bound updated to 1 0.39/0.49 c BCD2: 1 <= obj <= 438 0.39/0.49 c BCD2: #cores=1, #unrelaxed=464, #relaxed=36, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=2 bias=2/3 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 16049 0 | 0 | 0 0.49/0.52 c 0.0s | 0 | 420 | 0 | 16049 0 | 0 | 0 0.49/0.52 c #cpu_time = 0.027s 0.49/0.52 c #wall_clock_time = 0.027s 0.49/0.52 c #decision = 420 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 0 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 35: cost of the new core is >=1 0.49/0.52 c lower bound updated to 2 0.49/0.52 c BCD2: 2 <= obj <= 438 0.49/0.52 c BCD2: #cores=2, #unrelaxed=429, #relaxed=71, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=3 bias=3/4 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 16049 0 | 0 | 0 0.49/0.55 c 0.0s | 0 | 410 | 0 | 16049 0 | 0 | 0 0.49/0.55 c #cpu_time = 0.027s 0.49/0.55 c #wall_clock_time = 0.027s 0.49/0.55 c #decision = 410 0.49/0.55 c #random_decision = 0 0.49/0.55 c #conflict = 0 0.49/0.55 c #restart = 0 0.49/0.55 c BCD2: found a new core of size 34: cost of the new core is >=1 0.49/0.55 c lower bound updated to 3 0.49/0.55 c BCD2: 3 <= obj <= 438 0.49/0.55 c BCD2: #cores=3, #unrelaxed=395, #relaxed=105, #hardened=0 0.49/0.55 c BCD2: #sat=1 #unsat=4 bias=4/5 0.49/0.55 c Solving starts ... 0.49/0.55 c ============================[ Search Statistics ]============================ 0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.55 c | | | | Limit GC | Var | Constra 0.49/0.55 c ============================================================================= 0.49/0.55 c 0.0s | 0 | 0 | 0 | 16049 0 | 0 | 0 0.59/0.60 c 0.0s | 0 | 2202 | 0 | 16049 0 | 0 | 0 0.59/0.60 c #cpu_time = 0.035s 0.59/0.60 c #wall_clock_time = 0.035s 0.59/0.60 c #decision = 2202 0.59/0.60 c #random_decision = 1 0.59/0.60 c #conflict = 0 0.59/0.60 c #restart = 0 0.59/0.60 o 65 0.59/0.60 c BCD2: updating upper bound: 438 -> 64 0.59/0.60 c BCD2: 3 <= obj <= 64 0.59/0.60 c BCD2: #cores=3, #unrelaxed=395, #relaxed=105, #hardened=0 0.59/0.60 c BCD2: #sat=2 #unsat=4 bias=4/6 0.59/0.60 c Solving starts ... 0.59/0.60 c ============================[ Search Statistics ]============================ 0.59/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.60 c | | | | Limit GC | Var | Constra 0.59/0.60 c ============================================================================= 0.59/0.64 c 0.0s | 0 | 0 | 0 | 16049 0 | 0 | 1 0.69/0.77 c 0.1s | 1 | 806 | 100 | 16049 0 | 0 | 1 0.99/1.02 c 0.4s | 2 | 1478 | 250 | 17654 0 | 0 | 1 1.29/1.33 c 0.7s | 3 | 2235 | 475 | 19420 0 | 0 | 1 1.69/1.79 c 1.1s | 4 | 3130 | 813 | 21362 0 | 0 | 1 2.39/2.49 c 1.9s | 5 | 4282 | 1320 | 23499 0 | 0 | 1 3.40/3.47 c 2.8s | 6 | 5781 | 2081 | 28434 0 | 0 | 1 5.19/5.26 c 4.6s | 7 | 7851 | 3223 | 31278 0 | 0 | 1 5.49/5.52 c 4.9s | 7 | 9432 | 3382 | 31278 0 | 0 | 1 5.49/5.52 c #cpu_time = 4.867s 5.49/5.52 c #wall_clock_time = 4.868s 5.49/5.52 c #decision = 9432 5.49/5.52 c #random_decision = 7 5.49/5.52 c #conflict = 3382 5.49/5.52 c #restart = 7 5.49/5.52 o 43 5.49/5.52 c BCD2: updating upper bound: 64 -> 42 5.49/5.54 c BCD2: 3 <= obj <= 42 5.49/5.54 c BCD2: #cores=3, #unrelaxed=395, #relaxed=105, #hardened=0 5.49/5.54 c BCD2: #sat=3 #unsat=4 bias=4/7 5.49/5.54 c Solving starts ... 5.49/5.54 c ============================[ Search Statistics ]============================ 5.49/5.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.49/5.54 c | | | | Limit GC | Var | Constra 5.49/5.54 c ============================================================================= 5.49/5.54 c 0.0s | 0 | 0 | 0 | 31278 0 | 0 | 2 5.69/5.72 c 0.2s | 1 | 618 | 100 | 31278 0 | 0 | 2 5.99/6.03 c 0.5s | 2 | 1293 | 250 | 31278 0 | 0 | 2 6.49/6.52 c 1.0s | 3 | 2077 | 475 | 31278 0 | 0 | 2 7.09/7.19 c 1.7s | 4 | 2960 | 813 | 31278 0 | 0 | 2 8.49/8.51 c 3.0s | 5 | 4179 | 1320 | 31278 0 | 0 | 2 9.19/9.26 c 3.7s | 5 | 5061 | 1591 | 34406 0 | 0 | 2 9.19/9.26 c #cpu_time = 3.720s 9.19/9.26 c #wall_clock_time = 3.721s 9.19/9.26 c #decision = 5061 9.19/9.26 c #random_decision = 1 9.19/9.26 c #conflict = 1591 9.19/9.26 c #restart = 5 9.19/9.26 c BCD2: relaxing 395 and merging with 3 cores into a new core of size 500: cost of the new core is >=4 9.19/9.26 c lower bound updated to 4 9.19/9.26 c BCD2: 4 <= obj <= 42 9.19/9.26 c BCD2: #cores=1, #unrelaxed=0, #relaxed=500, #hardened=0 9.19/9.26 c BCD2: #sat=3 #unsat=5 bias=5/8 9.19/9.26 c Solving starts ... 9.19/9.26 c ============================[ Search Statistics ]============================ 9.19/9.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.19/9.26 c | | | | Limit GC | Var | Constra 9.19/9.26 c ============================================================================= 9.19/9.26 c 0.0s | 0 | 0 | 0 | 34406 0 | 12 | 2 10.99/11.03 c 1.8s | 1 | 2282 | 100 | 34406 0 | 12 | 23 13.19/13.30 c 4.0s | 2 | 4292 | 250 | 34406 0 | 12 | 23 16.08/16.18 c 6.9s | 2 | 5568 | 450 | 34406 0 | 12 | 23 16.49/16.56 c 7.3s | 3 | 5666 | 475 | 34406 0 | 12 | 23 19.18/19.21 c 9.9s | 3 | 7164 | 675 | 34406 0 | 12 | 23 21.08/21.11 c 11.8s | 4 | 8477 | 813 | 34406 0 | 12 | 23 24.19/24.21 c 14.9s | 4 | 10338 | 1013 | 34406 0 | 12 | 23 26.98/27.03 c 17.8s | 4 | 12006 | 1213 | 34406 0 | 12 | 23 28.48/28.57 c 19.3s | 5 | 13304 | 1320 | 34406 0 | 12 | 23 31.48/31.54 c 22.3s | 5 | 15250 | 1520 | 34406 0 | 12 | 23 34.19/34.27 c 25.0s | 5 | 16885 | 1720 | 34406 0 | 12 | 23 36.78/36.86 c 27.6s | 5 | 19229 | 1920 | 34406 0 | 12 | 23 38.88/38.95 c 29.7s | 6 | 19899 | 2081 | 34406 0 | 12 | 23 41.98/42.02 c 32.8s | 6 | 20888 | 2281 | 34406 0 | 12 | 23 45.09/45.13 c 35.9s | 6 | 23065 | 2481 | 34406 0 | 12 | 23 48.18/48.20 c 38.9s | 6 | 24927 | 2681 | 37847 0 | 12 | 23 51.08/51.12 c 41.9s | 6 | 26628 | 2881 | 37847 0 | 12 | 23 53.48/53.56 c 44.3s | 6 | 27969 | 3081 | 37847 0 | 12 | 23 55.09/55.15 c 45.9s | 7 | 28749 | 3223 | 37847 0 | 12 | 23 58.18/58.25 c 49.0s | 7 | 29923 | 3423 | 37847 0 | 12 | 23 60.58/60.61 c 51.3s | 7 | 31643 | 3623 | 37847 0 | 12 | 23 63.08/63.18 c 53.9s | 7 | 32450 | 3823 | 37847 0 | 12 | 23 66.08/66.12 c 56.9s | 7 | 33983 | 4023 | 37847 0 | 12 | 23 68.78/68.88 c 59.6s | 7 | 35386 | 4223 | 37847 0 | 12 | 23 71.98/72.01 c 62.7s | 7 | 36965 | 4423 | 37847 0 | 12 | 23 74.88/74.94 c 65.7s | 7 | 38741 | 4623 | 37847 0 | 12 | 23 77.87/77.99 c 68.7s | 7 | 40941 | 4823 | 37847 0 | 12 | 23 79.47/79.59 c 70.3s | 8 | 41687 | 4936 | 37847 0 | 12 | 23 82.49/82.57 c 73.3s | 8 | 43337 | 5136 | 37847 0 | 12 | 23 85.38/85.43 c 76.2s | 8 | 44543 | 5336 | 37847 0 | 12 | 23 88.18/88.21 c 78.9s | 8 | 45907 | 5536 | 37847 0 | 12 | 23 90.78/90.82 c 81.6s | 8 | 46738 | 5736 | 37847 0 | 12 | 23 92.88/92.91 c 83.6s | 8 | 47164 | 5936 | 37847 0 | 12 | 23 95.08/95.16 c 85.9s | 8 | 47597 | 6136 | 37847 0 | 12 | 23 97.68/97.76 c 88.5s | 8 | 48071 | 6336 | 41632 0 | 12 | 23 100.28/100.31 c 91.0s | 8 | 48961 | 6536 | 41632 0 | 12 | 23 102.88/102.95 c 93.7s | 8 | 50337 | 6736 | 41632 0 | 12 | 23 105.38/105.44 c 96.2s | 8 | 51515 | 6936 | 41632 0 | 12 | 23 107.48/107.52 c 98.3s | 8 | 52187 | 7136 | 41632 0 | 12 | 23 109.88/109.94 c 100s | 8 | 52813 | 7336 | 41632 0 | 12 | 23 111.98/112.06 c 102s | 9 | 53353 | 7506 | 41632 0 | 12 | 23 114.38/114.49 c 105s | 9 | 54245 | 7706 | 41632 0 | 12 | 23 116.97/117.00 c 107s | 9 | 54851 | 7906 | 41632 0 | 12 | 23 119.37/119.50 c 110s | 9 | 55281 | 8106 | 41632 0 | 12 | 23 121.87/121.98 c 112s | 9 | 55693 | 8306 | 41632 0 | 12 | 23 124.38/124.42 c 115s | 9 | 56323 | 8506 | 41632 0 | 12 | 23 126.48/126.55 c 117s | 9 | 56963 | 8706 | 41632 0 | 12 | 23 129.17/129.25 c 119s | 9 | 57591 | 8906 | 41632 0 | 12 | 23 132.27/132.38 c 123s | 9 | 58591 | 9106 | 41632 0 | 12 | 23 135.57/135.60 c 126s | 9 | 60174 | 9306 | 41632 0 | 12 | 23 138.77/138.83 c 129s | 9 | 61563 | 9506 | 41632 0 | 12 | 23 142.17/142.20 c 132s | 9 | 63076 | 9706 | 41632 0 | 12 | 23 145.57/145.64 c 136s | 9 | 64574 | 9906 | 41632 0 | 12 | 23 148.87/148.97 c 139s | 9 | 65816 | 10106 | 41632 0 | 12 | 23 152.37/152.40 c 143s | 9 | 67122 | 10306 | 41632 0 | 12 | 23 155.47/155.57 c 146s | 9 | 68576 | 10506 | 41632 0 | 12 | 23 158.77/158.82 c 149s | 9 | 68955 | 10706 | 41632 0 | 12 | 23 161.67/161.76 c 152s | 9 | 69908 | 10906 | 41632 0 | 12 | 23 164.77/164.85 c 155s | 9 | 70760 | 11106 | 41632 0 | 12 | 23 167.96/168.00 c 158s | 9 | 71467 | 11306 | 41632 0 | 12 | 23 168.76/168.88 c 159s | 10 | 72215 | 11361 | 41632 0 | 12 | 23 171.96/172.07 c 162s | 10 | 73478 | 11561 | 41632 0 | 12 | 23 175.06/175.19 c 165s | 10 | 74807 | 11761 | 41632 0 | 12 | 23 178.66/178.75 c 169s | 10 | 76069 | 11961 | 41632 0 | 12 | 23 181.76/181.81 c 172s | 10 | 76952 | 12161 | 45796 0 | 12 | 23 184.96/185.03 c 175s | 10 | 78347 | 12361 | 45796 0 | 12 | 23 187.76/187.83 c 178s | 10 | 79492 | 12561 | 45796 0 | 12 | 23 190.76/190.80 c 181s | 10 | 81259 | 12761 | 45796 0 | 12 | 23 193.26/193.30 c 184s | 10 | 82042 | 12961 | 45796 0 | 12 | 23 196.26/196.35 c 187s | 10 | 83512 | 13161 | 45796 0 | 12 | 23 199.66/199.72 c 190s | 10 | 85632 | 13361 | 45796 0 | 12 | 23 202.76/202.83 c 193s | 10 | 87408 | 13561 | 45796 0 | 12 | 23 205.76/205.84 c 196s | 10 | 89077 | 13761 | 45796 0 | 12 | 23 208.76/208.83 c 199s | 10 | 90442 | 13961 | 45796 0 | 12 | 23 211.76/211.90 c 202s | 10 | 91385 | 14161 | 45796 0 | 12 | 23 214.96/215.07 c 205s | 10 | 92628 | 14361 | 45796 0 | 12 | 23 217.76/217.82 c 208s | 10 | 93864 | 14561 | 45796 0 | 12 | 23 220.75/220.88 c 211s | 10 | 94724 | 14761 | 45796 0 | 12 | 23 224.15/224.29 c 215s | 10 | 95755 | 14961 | 45796 0 | 12 | 23 227.55/227.60 c 218s | 10 | 97117 | 15161 | 45796 0 | 12 | 23 229.86/229.98 c 220s | 10 | 97788 | 15361 | 45796 0 | 12 | 23 232.06/232.19 c 222s | 10 | 98324 | 15561 | 45796 0 | 12 | 23 235.05/235.13 c 225s | 10 | 99112 | 15761 | 45796 0 | 12 | 23 238.15/238.25 c 228s | 10 | 100227 | 15961 | 45796 0 | 12 | 23 240.45/240.52 c 231s | 10 | 101216 | 16161 | 45796 0 | 12 | 23 243.05/243.11 c 233s | 10 | 102243 | 16361 | 45796 0 | 12 | 23 246.24/246.36 c 237s | 10 | 103961 | 16561 | 45796 0 | 12 | 23 249.34/249.47 c 240s | 10 | 104667 | 16761 | 45796 0 | 12 | 23 252.14/252.25 c 242s | 10 | 105398 | 16961 | 45796 0 | 12 | 23 255.15/255.28 c 246s | 11 | 106753 | 17144 | 45796 0 | 12 | 23 258.24/258.30 c 249s | 11 | 108179 | 17344 | 45796 0 | 12 | 23 261.14/261.26 c 251s | 11 | 109805 | 17544 | 45796 0 | 12 | 23 264.24/264.37 c 255s | 11 | 111104 | 17744 | 45796 0 | 12 | 23 267.84/267.99 c 258s | 11 | 112116 | 17944 | 45796 0 | 12 | 23 270.95/271.09 c 261s | 11 | 113331 | 18144 | 45796 0 | 12 | 23 274.05/274.11 c 264s | 11 | 114841 | 18344 | 45796 0 | 12 | 23 277.15/277.30 c 268s | 11 | 116265 | 18544 | 45796 0 | 12 | 23 280.35/280.41 c 271s | 11 | 118261 | 18744 | 45796 0 | 12 | 23 283.75/283.81 c 274s | 11 | 119703 | 18944 | 45796 0 | 12 | 23 286.84/286.99 c 277s | 11 | 121693 | 19144 | 45796 0 | 12 | 23 290.04/290.18 c 280s | 11 | 123022 | 19344 | 45796 0 | 12 | 23 293.14/293.21 c 283s | 11 | 124583 | 19544 | 45796 0 | 12 | 23 296.04/296.18 c 286s | 11 | 125820 | 19744 | 45796 0 | 12 | 23 298.94/299.09 c 289s | 11 | 126897 | 19944 | 45796 0 | 12 | 23 301.94/302.05 c 292s | 11 | 127787 | 20144 | 45796 0 | 12 | 23 304.84/304.95 c 295s | 11 | 128356 | 20344 | 45796 0 | 12 | 23 307.53/307.63 c 298s | 11 | 129065 | 20544 | 45796 0 | 12 | 23 310.03/310.10 c 300s | 11 | 129705 | 20744 | 50376 0 | 12 | 23 312.73/312.84 c 303s | 11 | 130283 | 20944 | 50376 0 | 12 | 23 314.93/315.05 c 305s | 11 | 130973 | 21144 | 50376 0 | 12 | 23 317.84/317.99 c 308s | 11 | 131627 | 21344 | 50376 0 | 12 | 23 320.83/320.91 c 311s | 11 | 131981 | 21544 | 50376 0 | 12 | 23 323.23/323.32 c 314s | 11 | 132507 | 21744 | 50376 0 | 12 | 23 326.03/326.19 c 316s | 11 | 133333 | 21944 | 50376 0 | 12 | 23 329.03/329.12 c 319s | 11 | 133719 | 22144 | 50376 0 | 12 | 23 331.83/331.98 c 322s | 11 | 134177 | 22344 | 50376 0 | 12 | 23 334.63/334.77 c 325s | 11 | 135118 | 22544 | 50376 0 | 12 | 23 337.53/337.68 c 328s | 11 | 136151 | 22744 | 50376 0 | 12 | 23 340.73/340.83 c 331s | 11 | 137427 | 22944 | 50376 0 | 12 | 23 343.62/343.78 c 334s | 11 | 139355 | 23144 | 50376 0 | 12 | 23 347.02/347.14 c 337s | 11 | 141100 | 23344 | 50376 0 | 12 | 23 350.22/350.37 c 341s | 11 | 142948 | 23544 | 50376 0 | 12 | 23 353.62/353.79 c 344s | 11 | 144872 | 23744 | 50376 0 | 12 | 23 356.92/357.08 c 347s | 11 | 145882 | 23944 | 50376 0 | 12 | 23 360.32/360.44 c 351s | 11 | 147063 | 24144 | 50376 0 | 12 | 23 363.72/363.85 c 354s | 11 | 148832 | 24344 | 50376 0 | 12 | 23 366.82/366.97 c 357s | 11 | 150142 | 24544 | 50376 0 | 12 | 23 369.82/370.00 c 360s | 11 | 151596 | 24744 | 50376 0 | 12 | 23 372.92/373.09 c 363s | 11 | 152332 | 24944 | 50376 0 | 12 | 23 375.92/376.03 c 366s | 11 | 153418 | 25144 | 50376 0 | 12 | 23 379.31/379.44 c 370s | 11 | 155027 | 25344 | 50376 0 | 12 | 23 382.31/382.46 c 373s | 11 | 156086 | 25544 | 50376 0 | 12 | 23 385.51/385.61 c 376s | 11 | 157460 | 25744 | 50376 0 | 12 | 23 386.61/386.73 c 377s | 12 | 157924 | 25819 | 50376 0 | 12 | 23 389.71/389.81 c 380s | 12 | 158623 | 26019 | 50376 0 | 12 | 23 392.81/392.93 c 383s | 12 | 159492 | 26219 | 50376 0 | 12 | 23 395.71/395.84 c 386s | 12 | 160416 | 26419 | 50376 0 | 12 | 23 398.61/398.70 c 389s | 12 | 161089 | 26619 | 50376 0 | 12 | 23 401.21/401.37 c 392s | 12 | 162102 | 26819 | 50376 0 | 12 | 23 403.91/404.01 c 394s | 12 | 162749 | 27019 | 50376 0 | 12 | 23 406.41/406.59 c 397s | 12 | 163243 | 27219 | 50376 0 | 12 | 23 409.22/409.35 c 400s | 12 | 163739 | 27419 | 50376 0 | 12 | 23 411.81/411.94 c 402s | 12 | 164496 | 27619 | 50376 0 | 12 | 23 414.51/414.68 c 405s | 12 | 165109 | 27819 | 50376 0 | 12 | 23 417.31/417.43 c 408s | 12 | 165747 | 28019 | 50376 0 | 12 | 23 420.11/420.25 c 410s | 12 | 166442 | 28219 | 50376 0 | 12 | 23 423.01/423.18 c 413s | 12 | 167441 | 28419 | 50376 0 | 12 | 23 426.51/426.68 c 417s | 12 | 168812 | 28619 | 50376 0 | 12 | 23 430.11/430.24 c 420s | 12 | 170187 | 28819 | 50376 0 | 12 | 23 433.31/433.48 c 424s | 12 | 172588 | 29019 | 50376 0 | 12 | 23 436.61/436.79 c 427s | 12 | 174460 | 29219 | 50376 0 | 12 | 23 439.91/440.04 c 430s | 12 | 176369 | 29419 | 50376 0 | 12 | 23 443.21/443.35 c 434s | 12 | 178407 | 29619 | 50376 0 | 12 | 23 446.30/446.46 c 437s | 12 | 180938 | 29819 | 50376 0 | 12 | 23 449.70/449.80 c 440s | 12 | 182347 | 30019 | 50376 0 | 12 | 23 453.00/453.14 c 443s | 12 | 182798 | 30219 | 50376 0 | 12 | 23 456.20/456.35 c 447s | 12 | 183674 | 30419 | 50376 0 | 12 | 23 459.40/459.53 c 450s | 12 | 184397 | 30619 | 50376 0 | 12 | 23 462.30/462.42 c 453s | 12 | 184934 | 30819 | 50376 0 | 12 | 23 465.20/465.38 c 456s | 12 | 185531 | 31019 | 50376 0 | 12 | 23 468.29/468.40 c 459s | 12 | 186392 | 31219 | 50376 0 | 12 | 23 471.19/471.34 c 462s | 12 | 187252 | 31419 | 50376 0 | 12 | 23 474.49/474.64 c 465s | 12 | 188544 | 31619 | 50376 0 | 12 | 23 477.69/477.85 c 468s | 12 | 189901 | 31819 | 50376 0 | 12 | 23 480.70/480.85 c 471s | 12 | 190677 | 32019 | 50376 0 | 12 | 23 483.29/483.45 c 474s | 12 | 191227 | 32219 | 50376 0 | 12 | 23 486.10/486.29 c 477s | 12 | 192025 | 32419 | 50376 0 | 12 | 23 488.59/488.71 c 479s | 12 | 192552 | 32619 | 50376 0 | 12 | 23 491.59/491.78 c 482s | 12 | 192955 | 32819 | 50376 0 | 12 | 23 494.69/494.83 c 485s | 12 | 194324 | 33019 | 50376 0 | 12 | 23 498.29/498.48 c 489s | 12 | 196439 | 33219 | 50376 0 | 12 | 23 501.88/502.07 c 492s | 12 | 198679 | 33419 | 50376 0 | 12 | 23 505.48/505.66 c 496s | 12 | 200160 | 33619 | 55414 0 | 12 | 23 508.78/508.91 c 499s | 12 | 201327 | 33819 | 55414 0 | 12 | 23 512.18/512.34 c 503s | 12 | 202589 | 34019 | 55414 0 | 12 | 23 515.78/515.93 c 506s | 12 | 203697 | 34219 | 55414 0 | 12 | 23 519.58/519.71 c 510s | 12 | 204397 | 34419 | 55414 0 | 12 | 23 523.07/523.22 c 513s | 12 | 204874 | 34619 | 55414 0 | 12 | 23 526.17/526.36 c 517s | 12 | 206852 | 34819 | 55414 0 | 12 | 23 529.57/529.79 c 520s | 12 | 208092 | 35019 | 55414 0 | 12 | 23 533.07/533.20 c 523s | 12 | 209348 | 35219 | 55414 0 | 12 | 23 536.37/536.51 c 527s | 12 | 210236 | 35419 | 55414 0 | 12 | 23 540.08/540.23 c 530s | 12 | 211021 | 35619 | 55414 0 | 12 | 23 543.87/544.03 c 534s | 12 | 212353 | 35819 | 55414 0 | 12 | 23 547.07/547.27 c 538s | 12 | 213195 | 36019 | 55414 0 | 12 | 23 550.37/550.56 c 541s | 12 | 214767 | 36219 | 55414 0 | 12 | 23 553.87/554.02 c 544s | 12 | 215967 | 36419 | 55414 0 | 12 | 23 555.87/556.03 c 546s | 12 | 217085 | 36519 | 55414 0 | 12 | 23 559.56/559.75 c 550s | 12 | 218895 | 36719 | 55414 0 | 12 | 23 563.46/563.63 c 554s | 12 | 221064 | 36919 | 55414 0 | 12 | 23 567.06/567.24 c 557s | 12 | 222311 | 37119 | 55414 0 | 12 | 23 570.77/570.93 c 561s | 12 | 223900 | 37319 | 55414 0 | 12 | 23 574.56/574.71 c 565s | 12 | 225277 | 37519 | 55414 0 | 12 | 23 578.36/578.52 c 569s | 12 | 226272 | 37719 | 55414 0 | 12 | 23 581.76/581.92 c 572s | 12 | 227455 | 37919 | 55414 0 | 12 | 23 585.46/585.60 c 576s | 12 | 229186 | 38119 | 55414 0 | 12 | 23 589.16/589.37 c 580s | 12 | 230869 | 38319 | 55414 0 | 12 | 23 592.76/592.98 c 583s | 12 | 232539 | 38519 | 55414 0 | 12 | 23 596.46/596.63 c 587s | 12 | 233802 | 38719 | 55414 0 | 12 | 23 598.55/598.78 c 589s | 13 | 234386 | 38832 | 55414 0 | 12 | 23 600.75/600.94 c 591s | 13 | 235122 | 38932 | 55414 0 | 12 | 23 602.76/602.94 c 593s | 13 | 236734 | 39032 | 55414 0 | 12 | 23 606.35/606.51 c 597s | 13 | 238024 | 39232 | 55414 0 | 12 | 23 609.75/609.95 c 600s | 13 | 239830 | 39432 | 55414 0 | 12 | 23 613.24/613.42 c 604s | 13 | 241511 | 39632 | 55414 0 | 12 | 23 616.95/617.11 c 607s | 13 | 243617 | 39832 | 55414 0 | 12 | 23 620.14/620.37 c 611s | 13 | 245665 | 40032 | 55414 0 | 12 | 23 623.24/623.47 c 614s | 13 | 247778 | 40232 | 55414 0 | 12 | 23 626.34/626.56 c 617s | 13 | 248786 | 40432 | 55414 0 | 12 | 23 629.54/629.72 c 620s | 13 | 250941 | 40632 | 55414 0 | 12 | 23 632.13/632.32 c 623s | 13 | 252585 | 40832 | 55414 0 | 12 | 23 635.03/635.23 c 625s | 13 | 254568 | 41032 | 55414 0 | 12 | 23 638.03/638.25 c 628s | 13 | 256159 | 41232 | 55414 0 | 12 | 23 640.73/640.99 c 631s | 13 | 258141 | 41432 | 55414 0 | 12 | 23 643.33/643.60 c 634s | 13 | 259490 | 41632 | 55414 0 | 12 | 23 645.93/646.15 c 636s | 13 | 261166 | 41832 | 55414 0 | 12 | 23 648.72/648.94 c 639s | 13 | 262715 | 42032 | 55414 0 | 12 | 23 651.23/651.40 c 642s | 13 | 263945 | 42232 | 55414 0 | 12 | 23 653.73/653.96 c 644s | 13 | 264624 | 42432 | 55414 0 | 12 | 23 656.33/656.51 c 647s | 13 | 265499 | 42632 | 55414 0 | 12 | 23 658.73/658.99 c 649s | 13 | 266378 | 42832 | 55414 0 | 12 | 23 661.13/661.32 c 652s | 13 | 266968 | 43032 | 55414 0 | 12 | 23 663.83/664.01 c 654s | 13 | 267719 | 43232 | 55414 0 | 12 | 23 666.02/666.26 c 656s | 13 | 268461 | 43432 | 55414 0 | 12 | 23 668.73/668.95 c 659s | 13 | 269121 | 43632 | 55414 0 | 12 | 23 671.02/671.25 c 661s | 13 | 269891 | 43832 | 55414 0 | 12 | 23 673.62/673.81 c 664s | 13 | 270940 | 44032 | 55414 0 | 12 | 23 676.33/676.57 c 667s | 13 | 271934 | 44232 | 55414 0 | 12 | 23 678.92/679.12 c 669s | 13 | 272711 | 44432 | 55414 0 | 12 | 23 681.61/681.81 c 672s | 13 | 273883 | 44632 | 55414 0 | 12 | 23 684.02/684.26 c 674s | 13 | 274866 | 44832 | 55414 0 | 12 | 23 686.51/686.76 c 677s | 13 | 275448 | 45032 | 55414 0 | 12 | 23 688.91/689.14 c 679s | 13 | 276510 | 45232 | 55414 0 | 12 | 23 691.61/691.89 c 682s | 13 | 277895 | 45432 | 55414 0 | 12 | 23 694.31/694.58 c 685s | 13 | 278706 | 45632 | 55414 0 | 12 | 23 696.91/697.13 c 687s | 13 | 279476 | 45832 | 55414 0 | 12 | 23 699.60/699.89 c 690s | 13 | 280086 | 46032 | 55414 0 | 12 | 23 702.00/702.27 c 693s | 13 | 280636 | 46232 | 55414 0 | 12 | 23 704.91/705.15 c 695s | 13 | 281476 | 46432 | 55414 0 | 12 | 23 707.50/707.76 c 698s | 13 | 281859 | 46632 | 55414 0 | 12 | 23 710.00/710.22 c 700s | 13 | 282673 | 46832 | 55414 0 | 12 | 23 712.60/712.89 c 703s | 13 | 283406 | 47032 | 55414 0 | 12 | 23 714.90/715.19 c 705s | 13 | 284398 | 47232 | 55414 0 | 12 | 23 717.20/717.47 c 708s | 13 | 284939 | 47432 | 55414 0 | 12 | 23 719.69/719.94 c 710s | 13 | 285578 | 47632 | 55414 0 | 12 | 23 722.39/722.67 c 713s | 13 | 286606 | 47832 | 55414 0 | 12 | 23 725.29/725.50 c 716s | 13 | 287477 | 48032 | 55414 0 | 12 | 23 727.88/728.17 c 718s | 13 | 288165 | 48232 | 55414 0 | 12 | 23 730.58/730.89 c 721s | 13 | 288647 | 48432 | 55414 0 | 12 | 23 733.78/734.08 c 724s | 13 | 289506 | 48632 | 55414 0 | 12 | 23 736.38/736.61 c 727s | 13 | 290309 | 48832 | 55414 0 | 12 | 23 738.37/738.62 c 729s | 13 | 291035 | 49032 | 55414 0 | 12 | 23 740.77/741.09 c 731s | 13 | 291644 | 49232 | 55414 0 | 12 | 23 743.07/743.33 c 734s | 13 | 292356 | 49432 | 55414 0 | 12 | 23 745.77/746.05 c 736s | 13 | 293332 | 49632 | 55414 0 | 12 | 23 748.47/748.75 c 739s | 13 | 293752 | 49832 | 55414 0 | 12 | 23 750.87/751.19 c 741s | 13 | 294530 | 50032 | 55414 0 | 12 | 23 753.47/753.74 c 744s | 13 | 295277 | 50232 | 55414 0 | 12 | 23 756.27/756.51 c 747s | 13 | 296021 | 50432 | 55414 0 | 12 | 23 759.16/759.41 c 750s | 13 | 296822 | 50632 | 55414 0 | 12 | 23 762.26/762.53 c 753s | 13 | 297736 | 50832 | 55414 0 | 12 | 23 765.16/765.45 c 756s | 13 | 298476 | 51032 | 55414 0 | 12 | 23 768.56/768.83 c 759s | 13 | 299046 | 51232 | 55414 0 | 12 | 23 771.36/771.63 c 762s | 13 | 299627 | 51432 | 55414 0 | 12 | 23 774.06/774.34 c 765s | 13 | 301221 | 51632 | 55414 0 | 12 | 23 776.85/777.11 c 767s | 13 | 302053 | 51832 | 55414 0 | 12 | 23 779.66/779.94 c 770s | 13 | 302912 | 52032 | 55414 0 | 12 | 23 782.25/782.53 c 773s | 13 | 303741 | 52232 | 55414 0 | 12 | 23 784.75/785.01 c 775s | 13 | 304765 | 52432 | 55414 0 | 12 | 23 787.54/787.82 c 778s | 13 | 305550 | 52632 | 55414 0 | 12 | 23 790.65/790.98 c 781s | 13 | 306056 | 52832 | 55414 0 | 12 | 23 793.44/793.73 c 784s | 13 | 307502 | 53032 | 60956 0 | 12 | 23 795.54/795.87 c 786s | 13 | 308713 | 53232 | 60956 0 | 12 | 23 798.34/798.67 c 789s | 13 | 309096 | 53432 | 60956 0 | 12 | 23 800.73/801.04 c 791s | 13 | 309657 | 53632 | 60956 0 | 12 | 23 802.84/803.17 c 793s | 13 | 310313 | 53832 | 60956 0 | 12 | 23 805.53/805.88 c 796s | 13 | 311458 | 54032 | 60956 0 | 12 | 23 807.83/808.12 c 798s | 13 | 312169 | 54232 | 60956 0 | 12 | 23 810.33/810.63 c 801s | 13 | 312680 | 54432 | 60956 0 | 12 | 23 812.43/812.72 c 803s | 13 | 313601 | 54632 | 60956 0 | 12 | 23 814.63/814.95 c 805s | 13 | 314544 | 54832 | 60956 0 | 12 | 23 816.92/817.29 c 808s | 13 | 315468 | 55032 | 60956 0 | 12 | 23 820.43/820.76 c 811s | 13 | 316676 | 55232 | 60956 0 | 12 | 23 824.12/824.40 c 815s | 13 | 318110 | 55432 | 60956 0 | 12 | 23 827.91/828.20 c 818s | 13 | 319470 | 55632 | 60956 0 | 12 | 23 831.32/831.68 c 822s | 13 | 320799 | 55832 | 60956 0 | 12 | 23 834.72/835.03 c 825s | 13 | 322129 | 56032 | 60956 0 | 12 | 23 837.71/838.08 c 828s | 13 | 324238 | 56232 | 60956 0 | 12 | 23 841.11/841.41 c 832s | 13 | 325306 | 56432 | 60956 0 | 12 | 23 844.52/844.86 c 835s | 13 | 326535 | 56632 | 60956 0 | 12 | 23 847.41/847.74 c 838s | 13 | 327911 | 56832 | 60956 0 | 12 | 23 850.61/850.94 c 841s | 13 | 329509 | 57032 | 60956 0 | 12 | 23 853.81/854.11 c 844s | 13 | 330443 | 57232 | 60956 0 | 12 | 23 857.31/857.66 c 848s | 13 | 332332 | 57432 | 60956 0 | 12 | 23 860.91/861.21 c 851s | 13 | 333703 | 57632 | 60956 0 | 12 | 23 864.01/864.36 c 855s | 13 | 334932 | 57832 | 60956 0 | 12 | 23 867.41/867.73 c 858s | 13 | 336122 | 58032 | 60956 0 | 12 | 23 870.71/871.01 c 861s | 13 | 337277 | 58232 | 60956 0 | 12 | 23 872.71/873.00 c 863s | 14 | 338220 | 58352 | 60956 0 | 12 | 23 875.90/876.22 c 866s | 14 | 339765 | 58552 | 60956 0 | 12 | 23 878.90/879.24 c 869s | 14 | 341028 | 58752 | 60956 0 | 12 | 23 882.20/882.52 c 873s | 14 | 342435 | 58952 | 60956 0 | 12 | 23 885.50/885.87 c 876s | 14 | 343921 | 59152 | 60956 0 | 12 | 23 889.10/889.48 c 880s | 14 | 345291 | 59352 | 60956 0 | 12 | 23 892.70/893.00 c 883s | 14 | 346998 | 59552 | 60956 0 | 12 | 23 896.10/896.40 c 887s | 14 | 348513 | 59752 | 60956 0 | 12 | 23 899.20/899.58 c 890s | 14 | 349634 | 59952 | 60956 0 | 12 | 23 902.60/902.93 c 893s | 14 | 350579 | 60152 | 60956 0 | 12 | 23 905.90/906.29 c 897s | 14 | 351779 | 60352 | 60956 0 | 12 | 23 909.00/909.38 c 900s | 14 | 352470 | 60552 | 60956 0 | 12 | 23 912.30/912.62 c 903s | 14 | 353314 | 60752 | 60956 0 | 12 | 23 915.10/915.44 c 906s | 14 | 353980 | 60952 | 60956 0 | 12 | 23 918.10/918.47 c 909s | 14 | 354832 | 61152 | 60956 0 | 12 | 23 921.80/922.10 c 912s | 14 | 356375 | 61352 | 60956 0 | 12 | 23 925.20/925.55 c 916s | 14 | 357832 | 61552 | 60956 0 | 12 | 23 928.60/928.94 c 919s | 14 | 359436 | 61752 | 60956 0 | 12 | 23 932.10/932.41 c 923s | 14 | 360902 | 61952 | 60956 0 | 12 | 23 935.49/935.81 c 926s | 14 | 361864 | 62152 | 60956 0 | 12 | 23 938.99/939.35 c 930s | 14 | 363311 | 62352 | 60956 0 | 12 | 23 942.59/942.98 c 933s | 14 | 365178 | 62552 | 60956 0 | 12 | 23 946.39/946.71 c 937s | 14 | 366048 | 62752 | 60956 1 | 12 | 23 949.29/949.68 c 940s | 14 | 366970 | 62952 | 60956 1 | 12 | 23 952.49/952.86 c 943s | 14 | 368143 | 63152 | 60956 1 | 12 | 23 955.60/955.91 c 946s | 14 | 368871 | 63352 | 60956 1 | 12 | 23 958.90/959.24 c 949s | 14 | 369724 | 63552 | 60956 1 | 12 | 23 962.39/962.77 c 953s | 14 | 370607 | 63752 | 60956 1 | 12 | 23 965.39/965.77 c 956s | 14 | 371754 | 63952 | 60956 1 | 12 | 23 968.49/968.83 c 959s | 14 | 372733 | 64152 | 60956 1 | 12 | 23 971.89/972.20 c 962s | 14 | 373339 | 64352 | 60956 1 | 12 | 23 975.09/975.40 c 966s | 14 | 374497 | 64552 | 60956 1 | 12 | 23 978.19/978.56 c 969s | 14 | 375767 | 64752 | 60956 1 | 12 | 23 980.79/981.13 c 971s | 14 | 376950 | 64952 | 60956 1 | 12 | 23 983.59/983.96 c 974s | 14 | 377536 | 65152 | 60956 1 | 12 | 23 986.39/986.74 c 977s | 14 | 378871 | 65352 | 60956 1 | 12 | 23 989.48/989.87 c 980s | 14 | 380063 | 65552 | 60956 1 | 12 | 23 992.38/992.76 c 983s | 14 | 380974 | 65752 | 60956 1 | 12 | 23 995.48/995.87 c 986s | 14 | 381674 | 65952 | 60956 1 | 12 | 23 997.98/998.38 c 989s | 14 | 382147 | 66152 | 60956 1 | 12 | 23 1001.28/1001.62 c 992s | 14 | 383529 | 66352 | 60956 1 | 12 | 23 1004.09/1004.43 c 995s | 14 | 384390 | 66552 | 60956 1 | 12 | 23 1007.29/1007.61 c 998s | 14 | 385248 | 66752 | 60956 1 | 12 | 23 1009.49/1009.85 c 1000s | 14 | 385816 | 66952 | 60956 1 | 12 | 23 1012.58/1012.94 c 1003s | 14 | 386544 | 67152 | 60956 1 | 12 | 23 1015.68/1016.04 c 1006s | 14 | 388056 | 67352 | 60956 1 | 12 | 23 1018.68/1019.00 c 1009s | 14 | 389687 | 67552 | 60956 1 | 12 | 23 1021.48/1021.84 c 1012s | 14 | 391061 | 67752 | 60956 1 | 12 | 23 1024.38/1024.75 c 1015s | 14 | 392004 | 67952 | 60956 1 | 12 | 23 1027.28/1027.68 c 1018s | 14 | 393084 | 68152 | 60956 1 | 12 | 23 1030.18/1030.57 c 1021s | 14 | 393924 | 68352 | 60956 1 | 12 | 23 1033.08/1033.47 c 1024s | 14 | 394842 | 68552 | 60956 1 | 12 | 23 1035.78/1036.11 c 1026s | 14 | 396440 | 68752 | 60956 1 | 12 | 23 1038.18/1038.56 c 1029s | 14 | 398104 | 68952 | 60956 1 | 12 | 23 1040.88/1041.28 c 1032s | 14 | 398870 | 69152 | 60956 1 | 12 | 23 1043.78/1044.18 c 1034s | 14 | 399754 | 69352 | 60956 1 | 12 | 23 1046.18/1046.55 c 1037s | 14 | 400875 | 69552 | 60956 1 | 12 | 23 1048.58/1048.92 c 1039s | 14 | 401674 | 69752 | 60956 1 | 12 | 23 1050.98/1051.30 c 1042s | 14 | 402539 | 69952 | 60956 1 | 12 | 23 1053.77/1054.11 c 1044s | 14 | 403690 | 70152 | 60956 1 | 12 | 23 1056.67/1057.07 c 1047s | 14 | 405287 | 70352 | 60956 1 | 12 | 23 1059.67/1060.09 c 1050s | 14 | 406194 | 70552 | 60956 1 | 12 | 23 1062.38/1062.79 c 1053s | 14 | 407124 | 70752 | 60956 1 | 12 | 23 1065.58/1065.99 c 1056s | 14 | 408401 | 70952 | 60956 1 | 12 | 23 1068.88/1069.25 c 1059s | 14 | 409803 | 71152 | 60956 1 | 12 | 23 1071.97/1072.39 c 1063s | 14 | 411293 | 71352 | 60956 1 | 12 | 23 1075.17/1075.52 c 1066s | 14 | 412745 | 71552 | 60956 1 | 12 | 23 1077.97/1078.30 c 1069s | 14 | 413922 | 71752 | 60956 1 | 12 | 23 1081.08/1081.42 c 1072s | 14 | 415502 | 71952 | 60956 1 | 12 | 23 1084.28/1084.69 c 1075s | 14 | 416336 | 72152 | 60956 1 | 12 | 23 1087.58/1087.95 c 1078s | 14 | 417462 | 72352 | 60956 1 | 12 | 23 1090.67/1091.02 c 1081s | 14 | 418934 | 72552 | 60956 1 | 12 | 23 1093.97/1094.32 c 1085s | 14 | 419676 | 72752 | 60956 1 | 12 | 23 1096.97/1097.35 c 1088s | 14 | 421099 | 72952 | 60956 1 | 12 | 23 1099.97/1100.39 c 1091s | 14 | 421679 | 73152 | 60956 1 | 12 | 23 1103.07/1103.42 c 1094s | 14 | 422769 | 73352 | 60956 1 | 12 | 23 1106.17/1106.57 c 1097s | 14 | 423819 | 73552 | 60956 1 | 12 | 23 1109.07/1109.49 c 1100s | 14 | 424599 | 73752 | 60956 1 | 12 | 23 1112.06/1112.46 c 1103s | 14 | 425549 | 73952 | 60956 1 | 12 | 23 1115.07/1115.43 c 1106s | 14 | 426416 | 74152 | 60956 1 | 12 | 23 1118.16/1118.56 c 1109s | 14 | 427068 | 74352 | 60956 1 | 12 | 23 1121.46/1121.81 c 1112s | 14 | 427920 | 74552 | 60956 1 | 12 | 23 1124.56/1124.97 c 1115s | 14 | 428650 | 74752 | 60956 1 | 12 | 23 1127.86/1128.29 c 1119s | 14 | 429949 | 74952 | 60956 1 | 12 | 23 1131.16/1131.55 c 1122s | 14 | 431908 | 75152 | 60956 1 | 12 | 23 1134.16/1134.53 c 1125s | 14 | 433176 | 75352 | 60956 1 | 12 | 23 1137.26/1137.66 c 1128s | 14 | 434666 | 75552 | 60956 1 | 12 | 23 1140.16/1140.58 c 1131s | 14 | 436285 | 75752 | 60956 1 | 12 | 23 1143.37/1143.79 c 1134s | 14 | 437436 | 75952 | 60956 1 | 12 | 23 1146.67/1147.06 c 1137s | 14 | 438797 | 76152 | 60956 1 | 12 | 23 1149.77/1150.10 c 1140s | 14 | 440556 | 76352 | 60956 1 | 12 | 23 1152.87/1153.21 c 1143s | 14 | 442172 | 76552 | 60956 1 | 12 | 23 1155.87/1156.22 c 1146s | 14 | 443400 | 76752 | 60956 1 | 12 | 23 1158.87/1159.28 c 1150s | 14 | 444151 | 76952 | 60956 1 | 12 | 23 1161.57/1161.91 c 1152s | 14 | 445412 | 77152 | 60956 1 | 12 | 23 1164.17/1164.59 c 1155s | 14 | 446918 | 77352 | 60956 1 | 12 | 23 1167.16/1167.58 c 1158s | 14 | 448349 | 77552 | 60956 1 | 12 | 23 1169.76/1170.18 c 1160s | 14 | 449509 | 77752 | 60956 1 | 12 | 23 1172.16/1172.60 c 1163s | 14 | 450447 | 77952 | 60956 1 | 12 | 23 1175.06/1175.49 c 1166s | 14 | 451698 | 78152 | 60956 1 | 12 | 23 1177.56/1177.98 c 1168s | 14 | 452648 | 78352 | 60956 1 | 12 | 23 1180.07/1180.43 c 1171s | 14 | 453679 | 78552 | 60956 1 | 12 | 23 1183.06/1183.46 c 1174s | 14 | 454895 | 78752 | 60956 1 | 12 | 23 1186.46/1186.86 c 1177s | 14 | 455997 | 78952 | 60956 1 | 12 | 23 1189.87/1190.22 c 1180s | 14 | 457613 | 79152 | 60956 1 | 12 | 23 1193.27/1193.68 c 1184s | 14 | 459277 | 79352 | 60956 1 | 12 | 23 1196.76/1197.14 c 1187s | 14 | 460926 | 79552 | 60956 1 | 12 | 23 1200.16/1200.54 c 1191s | 14 | 462453 | 79752 | 60956 1 | 12 | 23 1203.56/1203.90 c 1194s | 14 | 463169 | 79952 | 60956 1 | 12 | 23 1206.86/1207.28 c 1198s | 14 | 464194 | 80152 | 60956 1 | 12 | 23 1209.86/1210.27 c 1201s | 14 | 465824 | 80352 | 60956 1 | 12 | 23 1213.16/1213.54 c 1204s | 14 | 467127 | 80552 | 60956 1 | 12 | 23 1216.16/1216.57 c 1207s | 14 | 468567 | 80752 | 60956 1 | 12 | 23 1219.66/1220.04 c 1210s | 14 | 469972 | 80952 | 60956 1 | 12 | 23 1222.86/1223.25 c 1213s | 14 | 471496 | 81152 | 60956 1 | 12 | 23 1225.65/1226.01 c 1216s | 14 | 472538 | 81352 | 60956 1 | 12 | 23 1228.85/1229.23 c 1219s | 14 | 474293 | 81552 | 60956 1 | 12 | 23 1231.85/1232.21 c 1222s | 14 | 476314 | 81752 | 60956 1 | 12 | 23 1234.96/1235.37 c 1226s | 14 | 477825 | 81952 | 60956 1 | 12 | 23 1238.15/1238.54 c 1229s | 14 | 478596 | 82152 | 67052 1 | 12 | 23 1241.45/1241.83 c 1232s | 14 | 480195 | 82352 | 67052 1 | 12 | 23 1244.75/1245.12 c 1235s | 14 | 481130 | 82552 | 67052 1 | 12 | 23 1247.85/1248.24 c 1238s | 14 | 482011 | 82752 | 67052 1 | 12 | 23 1251.05/1251.47 c 1242s | 14 | 483147 | 82952 | 67052 1 | 12 | 23 1254.05/1254.40 c 1245s | 14 | 483671 | 83152 | 67052 1 | 12 | 23 1256.75/1257.16 c 1247s | 14 | 484441 | 83352 | 67052 1 | 12 | 23 1259.55/1259.98 c 1250s | 14 | 485151 | 83552 | 67052 1 | 12 | 23 1263.15/1263.51 c 1254s | 14 | 486526 | 83752 | 67052 1 | 12 | 23 1266.65/1267.05 c 1257s | 14 | 488339 | 83952 | 67052 1 | 12 | 23 1269.95/1270.39 c 1261s | 14 | 490231 | 84152 | 67052 1 | 12 | 23 1273.25/1273.63 c 1264s | 14 | 491962 | 84352 | 67052 1 | 12 | 23 1276.45/1276.89 c 1267s | 14 | 493157 | 84552 | 67052 1 | 12 | 23 1279.75/1280.18 c 1270s | 14 | 494374 | 84752 | 67052 1 | 12 | 23 1282.85/1283.28 c 1274s | 14 | 496212 | 84952 | 67052 1 | 12 | 23 1285.75/1286.16 c 1276s | 14 | 497582 | 85152 | 67052 1 | 12 | 23 1288.55/1288.99 c 1279s | 14 | 498408 | 85352 | 67052 1 | 12 | 23 1291.84/1292.26 c 1282s | 14 | 498885 | 85552 | 67052 1 | 12 | 23 1295.45/1295.84 c 1286s | 14 | 499374 | 85752 | 67052 1 | 12 | 23 1298.34/1298.79 c 1289s | 14 | 500081 | 85952 | 67052 1 | 12 | 23 1300.74/1301.19 c 1291s | 14 | 500568 | 86152 | 67052 1 | 12 | 23 1303.74/1304.16 c 1294s | 14 | 501681 | 86352 | 67052 1 | 12 | 23 1306.45/1306.85 c 1297s | 14 | 502609 | 86552 | 67052 1 | 12 | 23 1309.14/1309.57 c 1300s | 14 | 503662 | 86752 | 67052 1 | 12 | 23 1312.14/1312.51 c 1303s | 14 | 504513 | 86952 | 67052 1 | 12 | 23 1315.14/1315.52 c 1306s | 14 | 505254 | 87152 | 67052 1 | 12 | 23 1318.34/1318.74 c 1309s | 14 | 506914 | 87352 | 67052 1 | 12 | 23 1321.54/1321.95 c 1312s | 14 | 508761 | 87552 | 67052 1 | 12 | 23 1322.95/1323.33 c 1314s | 15 | 509722 | 87632 | 67052 1 | 12 | 23 1326.25/1326.61 c 1317s | 15 | 511180 | 87832 | 67052 1 | 12 | 23 1329.44/1329.89 c 1320s | 15 | 512636 | 88032 | 67052 1 | 12 | 23 1332.85/1333.24 c 1323s | 15 | 514154 | 88232 | 67052 1 | 12 | 23 1336.14/1336.50 c 1327s | 15 | 515394 | 88432 | 67052 1 | 12 | 23 1339.54/1339.91 c 1330s | 15 | 516756 | 88632 | 67052 1 | 12 | 23 1342.94/1343.37 c 1334s | 15 | 517249 | 88832 | 67052 1 | 12 | 23 1346.23/1346.66 c 1337s | 15 | 518426 | 89032 | 67052 1 | 12 | 23 1349.53/1349.92 c 1340s | 15 | 518955 | 89232 | 67052 1 | 12 | 23 1352.53/1352.97 c 1343s | 15 | 519706 | 89432 | 67052 1 | 12 | 23 1356.04/1356.44 c 1347s | 15 | 520685 | 89632 | 67052 1 | 12 | 23 1359.24/1359.67 c 1350s | 15 | 521602 | 89832 | 67052 1 | 12 | 23 1362.23/1362.68 c 1353s | 15 | 523309 | 90032 | 67052 1 | 12 | 23 1365.84/1366.26 c 1356s | 15 | 524757 | 90232 | 67052 1 | 12 | 23 1369.24/1369.67 c 1360s | 15 | 526735 | 90432 | 67052 1 | 12 | 23 1372.63/1373.04 c 1363s | 15 | 528362 | 90632 | 67052 1 | 12 | 23 1376.23/1376.68 c 1367s | 15 | 530619 | 90832 | 67052 1 | 12 | 23 1379.53/1379.99 c 1370s | 15 | 531333 | 91032 | 67052 1 | 12 | 23 1382.93/1383.38 c 1374s | 15 | 532296 | 91232 | 67052 1 | 12 | 23 1386.23/1386.62 c 1377s | 15 | 533412 | 91432 | 67052 1 | 12 | 23 1389.23/1389.64 c 1380s | 15 | 535162 | 91632 | 67052 1 | 12 | 23 1392.13/1392.58 c 1383s | 15 | 536817 | 91832 | 67052 1 | 12 | 23 1394.63/1395.05 c 1385s | 15 | 537643 | 92032 | 67052 1 | 12 | 23 1397.43/1397.85 c 1388s | 15 | 538704 | 92232 | 67052 1 | 12 | 23 1400.83/1401.29 c 1392s | 15 | 540253 | 92432 | 67052 1 | 12 | 23 1404.33/1404.79 c 1395s | 15 | 541990 | 92632 | 67052 1 | 12 | 23 1407.63/1408.08 c 1398s | 15 | 543902 | 92832 | 67052 1 | 12 | 23 1410.82/1411.24 c 1401s | 15 | 545205 | 93032 | 67052 1 | 12 | 23 1413.82/1414.24 c 1404s | 15 | 547018 | 93232 | 67052 1 | 12 | 23 1417.02/1417.40 c 1408s | 15 | 547927 | 93432 | 67052 1 | 12 | 23 1419.32/1419.78 c 1410s | 15 | 548535 | 93632 | 67052 1 | 12 | 23 1421.93/1422.38 c 1413s | 15 | 549528 | 93832 | 67052 1 | 12 | 23 1425.23/1425.67 c 1416s | 15 | 550884 | 94032 | 67052 1 | 12 | 23 1428.22/1428.62 c 1419s | 15 | 551691 | 94232 | 67052 1 | 12 | 23 1431.12/1431.51 c 1422s | 15 | 552604 | 94432 | 67052 1 | 12 | 23 1433.62/1434.06 c 1424s | 15 | 553454 | 94632 | 67052 1 | 12 | 23 1436.62/1437.05 c 1427s | 15 | 554726 | 94832 | 67052 1 | 12 | 23 1439.53/1439.96 c 1430s | 15 | 556057 | 95032 | 67052 1 | 12 | 23 1442.32/1442.75 c 1433s | 15 | 556902 | 95232 | 67052 1 | 12 | 23 1444.92/1445.33 c 1436s | 15 | 557676 | 95432 | 67052 1 | 12 | 23 1447.62/1448.04 c 1438s | 15 | 559079 | 95632 | 67052 1 | 12 | 23 1450.53/1450.98 c 1441s | 15 | 559921 | 95832 | 67052 1 | 12 | 23 1453.72/1454.18 c 1444s | 15 | 561028 | 96032 | 67052 1 | 12 | 23 1456.82/1457.25 c 1447s | 15 | 562042 | 96232 | 67052 1 | 12 | 23 1460.12/1460.55 c 1451s | 15 | 562990 | 96432 | 67052 1 | 12 | 23 1463.42/1463.84 c 1454s | 15 | 564409 | 96632 | 67052 1 | 12 | 23 1467.12/1467.51 c 1458s | 15 | 565870 | 96832 | 67052 1 | 12 | 23 1470.42/1470.88 c 1461s | 15 | 566572 | 97032 | 67052 1 | 12 | 23 1473.72/1474.11 c 1464s | 15 | 567354 | 97232 | 67052 1 | 12 | 23 1477.41/1477.84 c 1468s | 15 | 568283 | 97432 | 67052 1 | 12 | 23 1480.61/1481.07 c 1471s | 15 | 570005 | 97632 | 67052 1 | 12 | 23 1484.11/1484.52 c 1475s | 15 | 570772 | 97832 | 67052 1 | 12 | 23 1487.31/1487.78 c 1478s | 15 | 571574 | 98032 | 67052 1 | 12 | 23 1490.12/1490.56 c 1481s | 15 | 572211 | 98232 | 67052 1 | 12 | 23 1493.42/1493.89 c 1484s | 15 | 573327 | 98432 | 67052 1 | 12 | 23 1497.31/1497.78 c 1488s | 15 | 574395 | 98632 | 67052 1 | 12 | 23 1501.01/1501.40 c 1492s | 15 | 575917 | 98832 | 67052 1 | 12 | 23 1504.42/1504.90 c 1495s | 15 | 577281 | 99032 | 67052 1 | 12 | 23 1507.91/1508.34 c 1499s | 15 | 577972 | 99232 | 67052 1 | 12 | 23 1511.41/1511.86 c 1502s | 15 | 578943 | 99432 | 67052 1 | 12 | 23 1514.71/1515.10 c 1505s | 15 | 580092 | 99632 | 67052 1 | 12 | 23 1517.81/1518.25 c 1508s | 15 | 581283 | 99832 | 67052 1 | 12 | 23 1520.01/1520.42 c 1511s | 15 | 581624 | 99932 | 67052 2 | 12 | 23 1523.31/1523.73 c 1514s | 15 | 582741 | 100132 | 67052 2 | 12 | 23 1526.60/1527.06 c 1517s | 15 | 583903 | 100332 | 67052 2 | 12 | 23 1529.71/1530.17 c 1520s | 15 | 586028 | 100532 | 67052 2 | 12 | 23 1533.11/1533.51 c 1524s | 15 | 587460 | 100732 | 67052 2 | 12 | 23 1536.20/1536.68 c 1527s | 15 | 588623 | 100932 | 67052 2 | 12 | 23 1539.40/1539.90 c 1530s | 15 | 589450 | 101132 | 67052 2 | 12 | 23 1542.50/1542.97 c 1533s | 15 | 590555 | 101332 | 67052 2 | 12 | 23 1545.50/1545.92 c 1536s | 15 | 591342 | 101532 | 67052 2 | 12 | 23 1548.30/1548.74 c 1539s | 15 | 591838 | 101732 | 67052 2 | 12 | 23 1551.10/1551.52 c 1542s | 15 | 592770 | 101932 | 67052 2 | 12 | 23 1554.40/1554.81 c 1545s | 15 | 593941 | 102132 | 67052 2 | 12 | 23 1557.60/1558.08 c 1548s | 15 | 595361 | 102332 | 67052 2 | 12 | 23 1560.90/1561.31 c 1552s | 15 | 596962 | 102532 | 67052 2 | 12 | 23 1563.40/1563.81 c 1554s | 15 | 598017 | 102732 | 67052 2 | 12 | 23 1566.01/1566.44 c 1557s | 15 | 598713 | 102932 | 67052 2 | 12 | 23 1568.90/1569.40 c 1560s | 15 | 599514 | 103132 | 67052 2 | 12 | 23 1571.80/1572.27 c 1563s | 15 | 600957 | 103332 | 67052 2 | 12 | 23 1575.19/1575.67 c 1566s | 15 | 602418 | 103532 | 67052 2 | 12 | 23 1578.69/1579.10 c 1569s | 15 | 603955 | 103732 | 67052 2 | 12 | 23 1581.79/1582.24 c 1572s | 15 | 605553 | 103932 | 67052 2 | 12 | 23 1584.99/1585.44 c 1576s | 15 | 607016 | 104132 | 67052 2 | 12 | 23 1588.29/1588.78 c 1579s | 15 | 608579 | 104332 | 67052 2 | 12 | 23 1591.40/1591.89 c 1582s | 15 | 610823 | 104532 | 67052 2 | 12 | 23 1594.39/1594.88 c 1585s | 15 | 612376 | 104732 | 67052 2 | 12 | 23 1597.49/1597.96 c 1588s | 15 | 613182 | 104932 | 67052 2 | 12 | 23 1600.29/1600.79 c 1591s | 15 | 614103 | 105132 | 67052 2 | 12 | 23 1603.09/1603.51 c 1594s | 15 | 615504 | 105332 | 67052 2 | 12 | 23 1606.09/1606.51 c 1597s | 15 | 616381 | 105532 | 67052 2 | 12 | 23 1608.69/1609.11 c 1599s | 15 | 616915 | 105732 | 67052 2 | 12 | 23 1610.89/1611.30 c 1602s | 15 | 617324 | 105932 | 67052 2 | 12 | 23 1613.40/1613.82 c 1604s | 15 | 618000 | 106132 | 67052 2 | 12 | 23 1615.99/1616.44 c 1607s | 15 | 619214 | 106332 | 67052 2 | 12 | 23 1618.99/1619.41 c 1610s | 15 | 620701 | 106532 | 67052 2 | 12 | 23 1622.39/1622.80 c 1613s | 15 | 622516 | 106732 | 67052 2 | 12 | 23 1625.69/1626.10 c 1616s | 15 | 624125 | 106932 | 67052 2 | 12 | 23 1628.79/1629.28 c 1620s | 15 | 625268 | 107132 | 67052 2 | 12 | 23 1631.99/1632.44 c 1623s | 15 | 627168 | 107332 | 67052 2 | 12 | 23 1635.19/1635.66 c 1626s | 15 | 628426 | 107532 | 67052 2 | 12 | 23 1637.99/1638.44 c 1629s | 15 | 630118 | 107732 | 67052 2 | 12 | 23 1640.98/1641.41 c 1632s | 15 | 632338 | 107932 | 67052 2 | 12 | 23 1644.28/1644.71 c 1635s | 15 | 633348 | 108132 | 67052 2 | 12 | 23 1647.78/1648.26 c 1638s | 15 | 634479 | 108332 | 67052 2 | 12 | 23 1650.88/1651.38 c 1642s | 15 | 635692 | 108532 | 67052 2 | 12 | 23 1653.88/1654.38 c 1645s | 15 | 636773 | 108732 | 67052 2 | 12 | 23 1656.98/1657.49 c 1648s | 15 | 637714 | 108932 | 67052 2 | 12 | 23 1659.88/1660.37 c 1651s | 15 | 638898 | 109132 | 67052 2 | 12 | 23 1662.98/1663.46 c 1654s | 15 | 639918 | 109332 | 67052 2 | 12 | 23 1665.88/1666.36 c 1657s | 15 | 641088 | 109532 | 67052 2 | 12 | 23 1669.08/1669.57 c 1660s | 15 | 641988 | 109732 | 67052 2 | 12 | 23 1672.69/1673.11 c 1663s | 15 | 643538 | 109932 | 67052 2 | 12 | 23 1675.99/1676.48 c 1667s | 15 | 644667 | 110132 | 67052 2 | 12 | 23 1679.58/1680.01 c 1670s | 15 | 646064 | 110332 | 67052 2 | 12 | 23 1683.08/1683.52 c 1674s | 15 | 647407 | 110532 | 67052 2 | 12 | 23 1686.48/1686.92 c 1677s | 15 | 648813 | 110732 | 67052 2 | 12 | 23 1689.88/1690.31 c 1681s | 15 | 650196 | 110932 | 67052 2 | 12 | 23 1693.08/1693.58 c 1684s | 15 | 651077 | 111132 | 67052 2 | 12 | 23 1696.58/1697.02 c 1687s | 15 | 652029 | 111332 | 67052 2 | 12 | 23 1700.18/1700.64 c 1691s | 15 | 653021 | 111532 | 67052 2 | 12 | 23 1703.88/1704.39 c 1695s | 15 | 654524 | 111732 | 67052 2 | 12 | 23 1707.57/1708.03 c 1698s | 15 | 655958 | 111932 | 67052 2 | 12 | 23 1710.88/1711.39 c 1702s | 15 | 657301 | 112132 | 67052 2 | 12 | 23 1714.38/1714.83 c 1705s | 15 | 658763 | 112332 | 67052 2 | 12 | 23 1717.79/1718.24 c 1708s | 15 | 660225 | 112532 | 67052 2 | 12 | 23 1720.98/1721.50 c 1712s | 15 | 661324 | 112732 | 67052 2 | 12 | 23 1724.39/1724.88 c 1715s | 15 | 662229 | 112932 | 67052 2 | 12 | 23 1727.88/1728.39 c 1719s | 15 | 663567 | 113132 | 67052 2 | 12 | 23 1730.98/1731.42 c 1722s | 15 | 665014 | 113332 | 67052 2 | 12 | 23 1734.18/1734.60 c 1725s | 15 | 666719 | 113532 | 67052 2 | 12 | 23 1737.48/1737.91 c 1728s | 15 | 667981 | 113732 | 67052 2 | 12 | 23 1740.98/1741.41 c 1732s | 15 | 669085 | 113932 | 67052 2 | 12 | 23 1744.28/1744.78 c 1735s | 15 | 670291 | 114132 | 67052 2 | 12 | 23 1747.58/1748.09 c 1738s | 15 | 671614 | 114332 | 67052 2 | 12 | 23 1750.57/1751.03 c 1741s | 15 | 672734 | 114532 | 67052 2 | 12 | 23 1753.67/1754.18 c 1744s | 15 | 673373 | 114732 | 67052 2 | 12 | 23 1757.07/1757.53 c 1748s | 15 | 674339 | 114932 | 67052 2 | 12 | 23 1760.37/1760.84 c 1751s | 15 | 675635 | 115132 | 67052 2 | 12 | 23 1763.37/1763.87 c 1754s | 15 | 676910 | 115332 | 67052 2 | 12 | 23 1766.28/1766.73 c 1757s | 15 | 677674 | 115532 | 67052 2 | 12 | 23 1769.27/1769.71 c 1760s | 15 | 679288 | 115732 | 67052 2 | 12 | 23 1772.57/1773.00 c 1763s | 15 | 680939 | 115932 | 67052 2 | 12 | 23 1775.87/1776.30 c 1767s | 15 | 681733 | 116132 | 67052 2 | 12 | 23 1778.97/1779.49 c 1770s | 15 | 682650 | 116332 | 67052 2 | 12 | 23 1782.37/1782.85 c 1773s | 15 | 684087 | 116532 | 67052 2 | 12 | 23 1785.47/1785.98 c 1776s | 15 | 684792 | 116732 | 67052 2 | 12 | 23 1788.77/1789.29 c 1780s | 15 | 685306 | 116932 | 67052 2 | 12 | 23 1791.87/1792.30 c 1783s | 15 | 686231 | 117132 | 67052 2 | 12 | 23 1794.57/1795.06 c 1785s | 15 | 686948 | 117332 | 67052 2 | 12 | 23 1797.67/1798.17 c 1788s | 15 | 688265 | 117532 | 67052 2 | 12 | 23
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-4080135-1465255895/watcher-4080135-1465255895 -o /tmp/evaluation-result-4080135-1465255895/solver-4080135-1465255895 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080135-1465255895.opb pid=5603 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.01 1.26 1.62 3/173 5606 /proc/meminfo: memFree=31695280/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=744892 CPUtime=0 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 2786 0 0 0 0 0 0 0 20 0 4 0 107524302 762769408 3146 33554432000 4194304 16246674 140737317140480 140737317139416 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 186991 3155 441 2943 0 183885 0 [pid=5606/tid=5607] ppid=5603 vsize=763324 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 781643776 3215 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=767420 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 785838080 3234 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=771516 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107524302 790032384 3250 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100216 s] /proc/loadavg: 1.01 1.26 1.62 3/173 5606 /proc/meminfo: memFree=31695280/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1221188 CPUtime=0.09 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 23405 0 0 0 6 3 0 0 20 0 4 0 107524302 1250496512 23704 33554432000 4194304 16246674 140737317140480 140737317139792 13956064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 305297 23713 833 2943 0 302191 0 [pid=5606/tid=5607] ppid=5603 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1250496512 23719 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1250496512 23726 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107524302 1250496512 23732 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200515 s] /proc/loadavg: 1.01 1.26 1.62 3/173 5606 /proc/meminfo: memFree=31695280/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1284676 CPUtime=0.19 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 41830 0 0 0 13 6 0 0 20 0 4 0 107524302 1315508224 42129 33554432000 4194304 16246674 140737317140480 140737317139792 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 321169 42139 833 2943 0 318063 0 [pid=5606/tid=5607] ppid=5603 vsize=1284676 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1315508224 42145 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1284676 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1315508224 42152 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1284676 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1315508224 42158 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1284676 [startup+0.300457 s] /proc/loadavg: 1.01 1.26 1.62 3/173 5606 /proc/meminfo: memFree=31695280/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1293892 CPUtime=0.29 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 52082 0 0 0 22 7 0 0 20 0 4 0 107524302 1324945408 52380 33554432000 4194304 16246674 140737317140480 140737317139792 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 323473 52386 834 2943 0 320367 0 [pid=5606/tid=5607] ppid=5603 vsize=1293892 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1324945408 52391 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1293892 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1324945408 52395 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1293892 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1324945408 52399 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1293892 [startup+0.700411 s] /proc/loadavg: 1.01 1.26 1.62 3/173 5606 /proc/meminfo: memFree=31695280/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1307204 CPUtime=0.69 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 55551 0 0 0 61 8 0 0 20 0 4 0 107524302 1338576896 55849 33554432000 4194304 16246674 140737317140480 140737317122368 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 326801 55849 907 2943 0 323695 0 [pid=5606/tid=5607] ppid=5603 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1338576896 55849 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1338576896 55849 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1338576896 55849 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.50041 s] /proc/loadavg: 1.01 1.26 1.62 3/183 5619 /proc/meminfo: memFree=30805048/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1308228 CPUtime=1.49 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 112413 0 0 0 135 14 0 0 20 0 4 0 107524302 1339625472 112711 33554432000 4194304 16246674 140737317140480 140737317122368 12483201 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 327057 112711 909 2943 0 323951 0 [pid=5606/tid=5607] ppid=5603 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 112711 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 112711 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 112711 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1308228 [startup+3.10041 s] /proc/loadavg: 1.09 1.27 1.63 3/183 5619 /proc/meminfo: memFree=30612848/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1308228 CPUtime=3.09 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 112413 0 0 0 295 14 0 0 20 0 4 0 107524302 1339625472 112711 33554432000 4194304 16246674 140737317140480 140737317139576 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 327057 112711 909 2943 0 323951 0 [pid=5606/tid=5607] ppid=5603 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 112711 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 112711 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 112711 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.30039 s] /proc/loadavg: 1.09 1.27 1.63 3/183 5619 /proc/meminfo: memFree=30612900/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1308228 CPUtime=6.29 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 122942 0 0 0 613 16 0 0 20 0 4 0 107524302 1339625472 123240 33554432000 4194304 16246674 140737317140480 140737317122368 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 327057 123240 912 2943 0 323951 0 [pid=5606/tid=5607] ppid=5603 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 123240 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 123240 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 123240 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 1.23 1.29 1.63 3/183 5619 /proc/meminfo: memFree=29990652/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1308228 CPUtime=12.69 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 268270 0 0 0 1233 36 0 0 20 0 4 0 107524302 1339625472 268568 33554432000 4194304 16246674 140737317140480 140737317122368 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 327057 268568 913 2943 0 323951 0 [pid=5606/tid=5607] ppid=5603 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 268568 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 268568 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 268568 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 1.34 1.32 1.63 4/183 5619 /proc/meminfo: memFree=29991844/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1309252 CPUtime=25.48 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 268325 0 0 0 2512 36 0 0 20 0 4 0 107524302 1340674048 268623 33554432000 4194304 16246674 140737317140480 140737317122368 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 327313 268623 913 2943 0 324207 0 [pid=5606/tid=5607] ppid=5603 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1340674048 268623 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1340674048 268623 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1340674048 268623 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1309252 [startup+51.1005 s] /proc/loadavg: 1.57 1.37 1.64 3/183 5619 /proc/meminfo: memFree=29991976/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1309252 CPUtime=51.08 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 268326 0 0 0 5072 36 0 0 20 0 4 0 107524302 1340674048 268624 33554432000 4194304 16246674 140737317140480 140737317122368 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 327313 268624 914 2943 0 324207 0 [pid=5606/tid=5607] ppid=5603 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1340674048 268624 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1340674048 268624 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1340674048 268624 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1309252 [startup+102.3 s] /proc/loadavg: 1.94 1.50 1.67 3/183 5620 /proc/meminfo: memFree=29991596/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1309252 CPUtime=102.29 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 268326 0 0 0 10192 37 0 0 20 0 4 0 107524302 1340674048 268624 33554432000 4194304 16246674 140737317140480 140737317122368 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 327313 268624 914 2943 0 324207 0 [pid=5606/tid=5607] ppid=5603 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1340674048 268624 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1340674048 268624 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1340674048 268624 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1346965504 270363 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1315396 [startup+1362.3 s] /proc/loadavg: 2.15 2.10 1.96 3/183 5651 /proc/meminfo: memFree=29507404/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1315396 CPUtime=1361.93 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 270323 0 0 0 136153 40 0 0 20 0 4 0 107524302 1346965504 270363 33554432000 4194304 16246674 140737317140480 140737317122368 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5606/statm: 328849 270363 916 2943 0 325743 0 [pid=5606/tid=5607] ppid=5603 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1346965504 270363 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1346965504 270363 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1346965504 270363 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1315396 [startup+1422.3 s] /proc/loadavg: 2.15 2.11 1.97 3/183 5653 /proc/meminfo: memFree=29507300/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1315396 CPUtime=1421.93 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 270323 0 0 0 142153 40 0 0 20 0 4 0 107524302 1346965504 270363 33554432000 4194304 16246674 140737317140480 140737317122368 6023137 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5606/statm: 328849 270363 916 2943 0 325743 0 [pid=5606/tid=5607] ppid=5603 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1346965504 270363 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1346965504 270363 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1346965504 270363 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1315396 [startup+1482.3 s] /proc/loadavg: 2.17 2.12 1.98 4/183 5654 /proc/meminfo: memFree=29457708/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1315396 CPUtime=1481.91 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 270323 0 0 0 148151 40 0 0 20 0 4 0 107524302 1346965504 270363 33554432000 4194304 16246674 140737317140480 140737317122368 12483512 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5606/statm: 328849 270363 916 2943 0 325743 0 [pid=5606/tid=5607] ppid=5603 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1346965504 270363 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1346965504 270363 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1346965504 270363 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1315396 [startup+1542.31 s] /proc/loadavg: 2.13 2.12 1.99 3/183 5655 /proc/meminfo: memFree=29455064/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1319492 CPUtime=1541.91 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 271221 0 0 0 154151 40 0 0 20 0 4 0 107524302 1351159808 271261 33554432000 4194304 16246674 140737317140480 140737317122368 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5606/statm: 329873 271261 916 2943 0 326767 0 [pid=5606/tid=5607] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271261 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271261 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271261 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1319492 [startup+1602.3 s] /proc/loadavg: 2.17 2.13 2.00 3/183 5656 /proc/meminfo: memFree=29455260/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1319492 CPUtime=1601.89 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 271347 0 0 0 160149 40 0 0 20 0 4 0 107524302 1351159808 271387 33554432000 4194304 16246674 140737317140480 140737317122368 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5606/statm: 329873 271387 916 2943 0 326767 0 [pid=5606/tid=5607] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271387 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271387 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271387 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1319492 [startup+1662.3 s] /proc/loadavg: 2.06 2.10 2.00 3/183 5657 /proc/meminfo: memFree=29454888/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1319492 CPUtime=1661.88 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 271347 0 0 0 166148 40 0 0 20 0 4 0 107524302 1351159808 271387 33554432000 4194304 16246674 140737317140480 140737317122368 5661428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5606/statm: 329873 271387 916 2943 0 326767 0 [pid=5606/tid=5607] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271387 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271387 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271387 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1319492 [startup+1722.3 s] /proc/loadavg: 2.02 2.08 2.00 3/184 5662 /proc/meminfo: memFree=29454636/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1319492 CPUtime=1721.88 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 271347 0 0 0 172147 41 0 0 20 0 4 0 107524302 1351159808 271387 33554432000 4194304 16246674 140737317140480 140737317122368 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5606/statm: 329873 271387 916 2943 0 326767 0 [pid=5606/tid=5607] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271387 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271387 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271387 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1319492 [startup+1782.3 s] /proc/loadavg: 2.14 2.11 2.01 3/185 5686 /proc/meminfo: memFree=29452412/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1319492 CPUtime=1781.87 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 271348 0 0 0 178146 41 0 0 20 0 4 0 107524302 1351159808 271643 33554432000 4194304 16246674 140737317140480 140737317122368 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5606/statm: 329873 271643 916 2943 0 326767 0 [pid=5606/tid=5607] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271643 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271643 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271643 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1319492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.10 2.10 2.01 3/185 5686 /proc/meminfo: memFree=29453056/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1319492 CPUtime=1800.07 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 271348 0 0 0 179966 41 0 0 20 0 4 0 107524302 1351159808 271643 33554432000 4194304 16246674 140737317140480 140737317122368 5673558 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5606/statm: 329873 271643 916 2943 0 326767 0 [pid=5606/tid=5607] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271643 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271643 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271643 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1319492 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 5606 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.10 2.10 2.01 3/185 5686 /proc/meminfo: memFree=29453056/32872528 swapFree=12744/274376 [pid=5606] ppid=5603 vsize=1319492 CPUtime=1800.07 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 5566 0 -1 4202496 271348 0 0 0 179966 41 0 0 20 0 4 0 107524302 1351159808 271643 33554432000 4194304 16246674 140737317140480 140737317122368 5673558 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5606/statm: 329873 271643 916 2943 0 326767 0 [pid=5606/tid=5607] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271643 33554432000 4194304 16246674 140737317140480 139831276449008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271643 33554432000 4194304 16246674 140737317140480 139831265959152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5610] ppid=5603 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5610/stat : 5610 (toysat) S 5603 5606 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1351159808 271643 33554432000 4194304 16246674 140737317140480 139831183142064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1319492 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.08 CPU user time (s): 1799.67 CPU system time (s): 0.413937 CPU usage (%): 99.9762 Max. virtual memory (cumulated for all children) (KiB): 1319492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.67 system time used= 0.413937 maximum resident set size= 1086572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271348 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= 276 involuntary context switches= 1858 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.35934 second user time and 7.13591 second system time The end
Begin job on node107 at 2016-06-07 01:31:35 IDJOB=4080135 IDBENCH=48112 IDSOLVER=2542 FILE ID=node107/4080135-1465255895 RUNJOBID= node107-1465255895-5582 PBS_JOBID= 19843278 Free space on /tmp= 71748 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_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-4080135-1465255895/watcher-4080135-1465255895 -o /tmp/evaluation-result-4080135-1465255895/solver-4080135-1465255895 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080135-1465255895.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 93a95f0846e71f0984a2317cf811edef RANDOM SEED=1058651183 node107.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.441 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.88 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.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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.441 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.441 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.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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: 31696560 kB Buffers: 46856 kB Cached: 149300 kB SwapCached: 1684 kB Active: 110756 kB Inactive: 87616 kB Active(anon): 4324 kB Inactive(anon): 388 kB Active(file): 106432 kB Inactive(file): 87228 kB Unevictable: 274376 kB Mlocked: 12744 kB SwapTotal: 67108856 kB SwapFree: 67098436 kB Dirty: 32732 kB Writeback: 0 kB AnonPages: 276316 kB Mapped: 6888 kB Shmem: 0 kB Slab: 569968 kB SReclaimable: 13280 kB SUnreclaim: 556688 kB KernelStack: 1376 kB PageTables: 4692 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 371024 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 262144 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= 71716 MiB End job on node107 at 2016-06-07 02:01:36