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.09 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_5.opb |
| MD5SUM | b1035f5aebd5cbd90440f32e03bdad12 |
| 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.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 37 |
| 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 | 48 |
| 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) | 15706 |
| Sum of products size (including duplicates) | 31412 |
| Number of different products | 15706 |
| Sum of products size | 31412 |
0.00/0.00 c 2016-06-18T20:41:31+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-4106640-1466275291.opb"] 0.00/0.01 c use --random-gen="3307039832 2361558260 3579998111 4022516308 2848243267 2907936361 4235906104 573914768 2075774651 3508875882 2450031277 1524864356 4023746316 1527671211 681650496 662226495 565514527 2872904164 3271450316 1044933094 1096072232 2799403062 245988451 593784480 584203438 3439238008 2425266102 1443523418 721902371 2912947871 2711378168 3338852684 1028568724 3799478573 1491057925 2977267316 3263856826 3074819314 3794437150 3458493694 1209146302 3355235835 665667042 2263619929 2211376910 2751609657 4022508604 1174821657 4222420390 1958920059 3523321219 2820123189 1809513531 1840019890 3991715151 4280502006 1807122453 749078199 2312506926 1531183801 2051212260 3668639011 2094952130 273027077 389041727 2439817664 2419719387 1282080517 1602456302 922208695 2795541075 3780287604 1149734870 4268431142 4242766818 3379034523 1821236815 2995571957 367634576 3504801152 3869264602 4053217223 1645333082 2696849661 817664007 128738769 1330819368 959031567 711957542 3346004211 1722504188 3596014269 2819578543 1746770080 653254633 1236846112 3827909563 2216282885 4232576583 2067958278 1194914267 2264215620 962052113 2508327883 657520796 319184995 3766387490 3165238076 680780391 4169205159 728994462 1261953521 3436666558 2837496674 2145736442 557066507 1340014988 297054950 4250912112 1566108133 1421806623 3080856193 4294955589 3315077139 3330716914 406327070 2289433607 3136231058 2672164197 1427926629 119203483 2511166926 372799312 3501374870 2803039568 1299475849 870192088 1849462597 1821631547 1304084014 3442378641 3566461552 4278768537 2247761283 2807415181 3530089322 3913893466 4275069323 1447596242 3703331161 3081513140 4012542404 4175155668 1056458907 2397405004 2770553806 3122395387 2541734921 3287833947 4221589194 2814610308 3138609970 3896784583 1620857594 3936235989 1757346117 2185997909 3597635772 2308363909 2126817797 2807580127 3454768499 940679479 843464161 1473831569 2362737161 2695982813 3360897091 2570344689 537333669 176361087 952486225 2139006901 2644315738 2271560758 2612154833 2222406599 2052015324 74968265 1509434251 3382139368 3120425987 3054799680 1404401688 980591560 1929549367 2105839919 2497161659 3132866699 266158878 4154063760 1461749612 1655005103 4118353709 1618190005 1778386189 784555429 552869781 3512194103 3161674993 3000707834 2839738860 533585459 1439232517 2162066995 773337305 1428912332 1341564310 39608047 3174329669 478728401 616165207 2321712335 3914669947 856201096 4091280273 2879408926 2540358796 2980668171 611938412 2419121056 3689923978 2971055723 1876581778 3341553869 1728825677 3323000770 3127289156 825628221 1505710883 108425181 1724995216 153576479 504931211 4262579814 1040342240 20706696 3203389954 3820945435 3794465035 1497722061 1732243363 2089178746 3981807680 3853748853 3100037519 255 362436" option to reproduce the execution 0.00/0.06 c #vars 500 0.00/0.06 c #constraints 500 0.28/0.38 c BCD2: Hardening is enabled. 0.28/0.38 c BCD2: BiasedSearch is enabled. 0.28/0.38 c Solving starts ... 0.28/0.38 c ============================[ Search Statistics ]============================ 0.28/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.38 c | | | | Limit GC | Var | Constra 0.28/0.38 c ============================================================================= 0.28/0.39 c 0.0s | 0 | 0 | 0 | 16039 0 | 0 | 0 0.39/0.42 c 0.0s | 0 | 1530 | 0 | 16039 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 = 1530 0.39/0.42 c #random_decision = 2 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 o 442 0.39/0.42 c BCD2: updating upper bound: 500 -> 441 0.39/0.42 c BCD2: 0 <= obj <= 441 0.39/0.42 c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=1 bias=1/2 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 16039 0 | 0 | 0 0.39/0.46 c 0.0s | 0 | 420 | 0 | 16039 0 | 0 | 0 0.39/0.46 c #cpu_time = 0.030s 0.39/0.46 c #wall_clock_time = 0.030s 0.39/0.46 c #decision = 420 0.39/0.46 c #random_decision = 0 0.39/0.46 c #conflict = 0 0.39/0.46 c #restart = 0 0.39/0.46 c BCD2: found a new core of size 34: cost of the new core is >=1 0.39/0.46 c lower bound updated to 1 0.49/0.50 c BCD2: 1 <= obj <= 441 0.49/0.50 c BCD2: #cores=1, #unrelaxed=466, #relaxed=34, #hardened=0 0.49/0.50 c BCD2: #sat=1 #unsat=2 bias=2/3 0.49/0.50 c Solving starts ... 0.49/0.50 c ============================[ Search Statistics ]============================ 0.49/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.50 c | | | | Limit GC | Var | Constra 0.49/0.50 c ============================================================================= 0.49/0.50 c 0.0s | 0 | 0 | 0 | 16039 0 | 0 | 0 0.49/0.53 c 0.0s | 0 | 400 | 0 | 16039 0 | 0 | 0 0.49/0.53 c #cpu_time = 0.026s 0.49/0.53 c #wall_clock_time = 0.026s 0.49/0.53 c #decision = 400 0.49/0.53 c #random_decision = 0 0.49/0.53 c #conflict = 0 0.49/0.53 c #restart = 0 0.49/0.53 c BCD2: found a new core of size 34: cost of the new core is >=1 0.49/0.53 c lower bound updated to 2 0.49/0.53 c BCD2: 2 <= obj <= 441 0.49/0.53 c BCD2: #cores=2, #unrelaxed=432, #relaxed=68, #hardened=0 0.49/0.53 c BCD2: #sat=1 #unsat=3 bias=3/4 0.49/0.53 c Solving starts ... 0.49/0.53 c ============================[ Search Statistics ]============================ 0.49/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.53 c | | | | Limit GC | Var | Constra 0.49/0.53 c ============================================================================= 0.49/0.53 c 0.0s | 0 | 0 | 0 | 16039 0 | 0 | 0 0.49/0.56 c 0.0s | 0 | 398 | 0 | 16039 0 | 0 | 0 0.49/0.56 c #cpu_time = 0.027s 0.49/0.56 c #wall_clock_time = 0.027s 0.49/0.56 c #decision = 398 0.49/0.56 c #random_decision = 0 0.49/0.56 c #conflict = 0 0.49/0.56 c #restart = 0 0.49/0.56 c BCD2: found a new core of size 34: cost of the new core is >=1 0.49/0.56 c lower bound updated to 3 0.49/0.56 c BCD2: 3 <= obj <= 441 0.49/0.56 c BCD2: #cores=3, #unrelaxed=398, #relaxed=102, #hardened=0 0.49/0.56 c BCD2: #sat=1 #unsat=4 bias=4/5 0.49/0.56 c Solving starts ... 0.49/0.56 c ============================[ Search Statistics ]============================ 0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.56 c | | | | Limit GC | Var | Constra 0.49/0.56 c ============================================================================= 0.49/0.56 c 0.0s | 0 | 0 | 0 | 16039 0 | 0 | 0 0.59/0.61 c 0.0s | 0 | 2045 | 0 | 16039 0 | 0 | 0 0.59/0.61 c #cpu_time = 0.036s 0.59/0.61 c #wall_clock_time = 0.036s 0.59/0.61 c #decision = 2045 0.59/0.61 c #random_decision = 1 0.59/0.61 c #conflict = 0 0.59/0.61 c #restart = 0 0.59/0.61 o 66 0.59/0.61 c BCD2: updating upper bound: 441 -> 65 0.59/0.61 c BCD2: 3 <= obj <= 65 0.59/0.61 c BCD2: #cores=3, #unrelaxed=398, #relaxed=102, #hardened=0 0.59/0.61 c BCD2: #sat=2 #unsat=4 bias=4/6 0.59/0.61 c Solving starts ... 0.59/0.61 c ============================[ Search Statistics ]============================ 0.59/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.61 c | | | | Limit GC | Var | Constra 0.59/0.61 c ============================================================================= 0.59/0.65 c 0.0s | 0 | 0 | 0 | 16039 0 | 0 | 1 0.69/0.77 c 0.1s | 1 | 823 | 100 | 16039 0 | 0 | 1 0.89/0.98 c 0.3s | 2 | 1501 | 250 | 17643 0 | 0 | 1 1.19/1.29 c 0.6s | 3 | 2335 | 475 | 19408 0 | 0 | 1 1.59/1.67 c 1.0s | 4 | 3307 | 813 | 21349 0 | 0 | 1 2.09/2.17 c 1.5s | 4 | 5274 | 1182 | 23484 0 | 0 | 1 2.09/2.17 c #cpu_time = 1.508s 2.09/2.17 c #wall_clock_time = 1.512s 2.09/2.17 c #decision = 5274 2.09/2.17 c #random_decision = 5 2.09/2.17 c #conflict = 1182 2.09/2.17 c #restart = 4 2.09/2.17 o 44 2.19/2.29 c BCD2: updating upper bound: 65 -> 43 2.19/2.29 c BCD2: 3 <= obj <= 43 2.19/2.29 c BCD2: #cores=3, #unrelaxed=398, #relaxed=102, #hardened=0 2.19/2.29 c BCD2: #sat=3 #unsat=4 bias=4/7 2.19/2.29 c Solving starts ... 2.19/2.29 c ============================[ Search Statistics ]============================ 2.19/2.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.19/2.29 c | | | | Limit GC | Var | Constra 2.19/2.29 c ============================================================================= 2.19/2.29 c 0.0s | 0 | 0 | 0 | 23484 0 | 0 | 2 2.29/2.33 c 0.1s | 1 | 570 | 100 | 23484 0 | 0 | 2 2.49/2.54 c 0.4s | 2 | 1198 | 250 | 25833 0 | 0 | 2 2.89/2.91 c 0.7s | 3 | 1862 | 475 | 25833 0 | 0 | 2 3.29/3.38 c 1.2s | 4 | 2748 | 813 | 25833 0 | 0 | 2 4.09/4.19 c 2.0s | 5 | 3763 | 1320 | 28417 0 | 0 | 2 4.89/4.98 c 2.8s | 5 | 4698 | 1751 | 28417 0 | 0 | 2 4.89/4.98 c #cpu_time = 2.787s 4.89/4.98 c #wall_clock_time = 2.794s 4.89/4.98 c #decision = 4698 4.89/4.98 c #random_decision = 5 4.89/4.98 c #conflict = 1751 4.89/4.98 c #restart = 5 4.89/4.99 c BCD2: relaxing 394 and merging with 3 cores into a new core of size 496: cost of the new core is >=4 4.89/4.99 c lower bound updated to 4 4.89/4.99 c BCD2: 4 <= obj <= 43 4.89/4.99 c BCD2: #cores=1, #unrelaxed=4, #relaxed=496, #hardened=0 4.89/4.99 c BCD2: #sat=3 #unsat=5 bias=5/8 4.89/4.99 c Solving starts ... 4.89/4.99 c ============================[ Search Statistics ]============================ 4.89/4.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.89/4.99 c | | | | Limit GC | Var | Constra 4.89/4.99 c ============================================================================= 4.89/4.99 c 0.0s | 0 | 0 | 0 | 28417 0 | 12 | 2 6.48/6.59 c 1.6s | 1 | 1545 | 100 | 28417 0 | 12 | 23 8.29/8.30 c 3.3s | 2 | 2586 | 250 | 28417 0 | 12 | 23 10.79/10.80 c 5.8s | 2 | 5126 | 450 | 31259 0 | 12 | 23 11.10/11.13 c 6.1s | 3 | 5333 | 475 | 31259 0 | 12 | 23 13.79/13.85 c 8.9s | 3 | 6873 | 675 | 31259 0 | 12 | 23 15.39/15.47 c 10.5s | 4 | 7778 | 813 | 31259 0 | 12 | 23 18.19/18.28 c 13.3s | 4 | 9345 | 1013 | 31259 0 | 12 | 23 20.79/20.87 c 15.9s | 4 | 10946 | 1213 | 31259 0 | 12 | 23 22.19/22.28 c 17.3s | 5 | 11884 | 1320 | 31259 0 | 12 | 23 24.79/24.81 c 19.8s | 5 | 13253 | 1520 | 31259 0 | 12 | 23 27.39/27.50 c 22.5s | 5 | 14914 | 1720 | 31259 0 | 12 | 23 29.99/30.03 c 25.0s | 5 | 16310 | 1920 | 31259 0 | 12 | 23 31.89/31.92 c 26.9s | 6 | 17537 | 2081 | 34385 0 | 12 | 23 34.28/34.37 c 29.4s | 6 | 19292 | 2281 | 34385 0 | 12 | 23 36.88/36.92 c 31.9s | 6 | 20595 | 2481 | 34385 0 | 12 | 23 39.48/39.56 c 34.6s | 6 | 22207 | 2681 | 34385 0 | 12 | 23 42.18/42.23 c 37.2s | 6 | 24169 | 2881 | 34385 0 | 12 | 23 44.58/44.62 c 39.6s | 6 | 26336 | 3081 | 34385 0 | 12 | 23 46.19/46.24 c 41.3s | 7 | 27580 | 3223 | 34385 0 | 12 | 23 48.49/48.52 c 43.5s | 7 | 28637 | 3423 | 34385 0 | 12 | 23 50.98/51.03 c 46.0s | 7 | 30351 | 3623 | 34385 0 | 12 | 23 53.48/53.53 c 48.5s | 7 | 32079 | 3823 | 34385 0 | 12 | 23 56.09/56.12 c 51.1s | 7 | 33173 | 4023 | 34385 0 | 12 | 23 58.39/58.43 c 53.4s | 7 | 34076 | 4223 | 34385 0 | 12 | 23 61.08/61.12 c 56.1s | 7 | 34848 | 4423 | 34385 0 | 12 | 23 63.89/63.96 c 59.0s | 7 | 36160 | 4623 | 37824 0 | 12 | 23 66.38/66.49 c 61.5s | 7 | 37248 | 4823 | 37824 0 | 12 | 23 67.88/67.95 c 63.0s | 8 | 38289 | 4936 | 37824 0 | 12 | 23 70.88/70.95 c 66.0s | 8 | 39750 | 5136 | 37824 0 | 12 | 23 73.98/74.01 c 69.0s | 8 | 40894 | 5336 | 37824 0 | 12 | 23 77.18/77.20 c 72.2s | 8 | 42793 | 5536 | 37824 0 | 12 | 23 80.18/80.30 c 75.3s | 8 | 44363 | 5736 | 37824 0 | 12 | 23 83.08/83.17 c 78.2s | 8 | 46137 | 5936 | 37824 0 | 12 | 23 86.08/86.14 c 81.1s | 8 | 47739 | 6136 | 37824 0 | 12 | 23 89.28/89.38 c 84.4s | 8 | 49552 | 6336 | 37824 0 | 12 | 23 92.48/92.51 c 87.5s | 8 | 51494 | 6536 | 37824 0 | 12 | 23 95.38/95.46 c 90.5s | 8 | 53298 | 6736 | 37824 0 | 12 | 23 98.38/98.45 c 93.5s | 8 | 54942 | 6936 | 37824 0 | 12 | 23 101.28/101.36 c 96.4s | 8 | 56202 | 7136 | 37824 0 | 12 | 23 104.27/104.38 c 99.4s | 8 | 57038 | 7336 | 37824 0 | 12 | 23 106.47/106.58 c 101s | 9 | 57482 | 7506 | 37824 0 | 12 | 23 109.87/109.92 c 104s | 9 | 58787 | 7706 | 37824 0 | 12 | 23 112.97/113.03 c 108s | 9 | 60179 | 7906 | 37824 0 | 12 | 23 115.58/115.61 c 110s | 9 | 61334 | 8106 | 37824 0 | 12 | 23 118.27/118.33 c 113s | 9 | 62872 | 8306 | 37824 0 | 12 | 23 120.87/120.97 c 115s | 9 | 63940 | 8506 | 41607 0 | 12 | 23 123.67/123.74 c 118s | 9 | 65076 | 8706 | 41607 0 | 12 | 23 126.37/126.45 c 121s | 9 | 66064 | 8906 | 41607 0 | 12 | 23 128.87/128.99 c 123s | 9 | 66655 | 9106 | 41607 0 | 12 | 23 131.47/131.59 c 126s | 9 | 67882 | 9306 | 41607 0 | 12 | 23 134.28/134.33 c 129s | 9 | 68553 | 9506 | 41607 0 | 12 | 23 137.17/137.24 c 132s | 9 | 69467 | 9706 | 41607 0 | 12 | 23 139.57/139.66 c 134s | 9 | 70020 | 9906 | 41607 0 | 12 | 23 141.67/141.72 c 136s | 9 | 70805 | 10106 | 41607 0 | 12 | 23 144.08/144.14 c 139s | 9 | 71629 | 10306 | 41607 0 | 12 | 23 146.97/147.05 c 142s | 9 | 72302 | 10506 | 41607 0 | 12 | 23 150.27/150.38 c 145s | 9 | 73084 | 10706 | 41607 0 | 12 | 23 153.17/153.23 c 148s | 9 | 74855 | 10906 | 41607 0 | 12 | 23 156.07/156.13 c 151s | 9 | 75796 | 11106 | 41607 0 | 12 | 23 158.76/158.86 c 153s | 9 | 76756 | 11306 | 41607 0 | 12 | 23 159.47/159.57 c 154s | 10 | 77309 | 11361 | 41607 0 | 12 | 23 162.56/162.61 c 157s | 10 | 78622 | 11561 | 41607 0 | 12 | 23 164.86/164.99 c 160s | 10 | 80119 | 11761 | 41607 0 | 12 | 23 167.36/167.44 c 162s | 10 | 81152 | 11961 | 41607 0 | 12 | 23 170.36/170.41 c 165s | 10 | 83129 | 12161 | 41607 0 | 12 | 23 172.77/172.89 c 167s | 10 | 84466 | 12361 | 41607 0 | 12 | 23 175.16/175.24 c 170s | 10 | 86139 | 12561 | 41607 0 | 12 | 23 177.86/177.93 c 172s | 10 | 88279 | 12761 | 41607 0 | 12 | 23 180.47/180.51 c 175s | 10 | 90391 | 12961 | 41607 0 | 12 | 23 183.36/183.45 c 178s | 10 | 91901 | 13161 | 41607 0 | 12 | 23 186.26/186.33 c 181s | 10 | 93136 | 13361 | 41607 0 | 12 | 23 188.96/189.02 c 184s | 10 | 94163 | 13561 | 41607 0 | 12 | 23 191.76/191.87 c 186s | 10 | 95703 | 13761 | 41607 0 | 12 | 23 193.96/194.07 c 189s | 10 | 96615 | 13961 | 41607 0 | 12 | 23 196.36/196.41 c 191s | 10 | 97800 | 14161 | 45768 0 | 12 | 23 199.16/199.23 c 194s | 10 | 99294 | 14361 | 45768 0 | 12 | 23 202.26/202.39 c 197s | 10 | 100382 | 14561 | 45768 0 | 12 | 23 204.46/204.53 c 199s | 10 | 101273 | 14761 | 45768 0 | 12 | 23 206.96/207.05 c 202s | 10 | 102505 | 14961 | 45768 0 | 12 | 23 209.56/209.66 c 204s | 10 | 104231 | 15161 | 45768 0 | 12 | 23 212.75/212.87 c 207s | 10 | 105530 | 15361 | 45768 0 | 12 | 23 215.45/215.59 c 210s | 10 | 107069 | 15561 | 45768 0 | 12 | 23 218.25/218.33 c 213s | 10 | 108666 | 15761 | 45768 0 | 12 | 23 220.65/220.73 c 215s | 10 | 110041 | 15961 | 45768 0 | 12 | 23 223.45/223.51 c 218s | 10 | 111831 | 16161 | 45768 0 | 12 | 23 226.15/226.23 c 221s | 10 | 113702 | 16361 | 45768 0 | 12 | 23 228.76/228.85 c 223s | 10 | 115005 | 16561 | 45768 0 | 12 | 23 231.15/231.21 c 226s | 10 | 116217 | 16761 | 45768 0 | 12 | 23 233.65/233.73 c 228s | 10 | 117098 | 16961 | 45768 0 | 12 | 23 236.15/236.22 c 231s | 11 | 117791 | 17144 | 45768 0 | 12 | 23 238.35/238.43 c 233s | 11 | 118686 | 17344 | 45768 0 | 12 | 23 240.96/241.07 c 236s | 11 | 120059 | 17544 | 45768 0 | 12 | 23 243.55/243.60 c 238s | 11 | 121245 | 17744 | 45768 0 | 12 | 23 246.05/246.12 c 241s | 11 | 122427 | 17944 | 45768 0 | 12 | 23 249.55/249.68 c 244s | 11 | 123226 | 18144 | 45768 0 | 12 | 23 252.35/252.48 c 247s | 11 | 124951 | 18344 | 45768 0 | 12 | 23 255.45/255.50 c 250s | 11 | 126409 | 18544 | 45768 0 | 12 | 23 258.04/258.20 c 253s | 11 | 127837 | 18744 | 45768 0 | 12 | 23 260.75/260.88 c 255s | 11 | 129427 | 18944 | 45768 0 | 12 | 23 263.95/264.01 c 259s | 11 | 131077 | 19144 | 45768 0 | 12 | 23 266.74/266.81 c 261s | 11 | 132446 | 19344 | 45768 0 | 12 | 23 269.84/269.92 c 264s | 11 | 134017 | 19544 | 45768 0 | 12 | 23 272.64/272.77 c 267s | 11 | 134958 | 19744 | 45768 0 | 12 | 23 275.74/275.85 c 270s | 11 | 136219 | 19944 | 45768 0 | 12 | 23 278.54/278.65 c 273s | 11 | 137116 | 20144 | 45768 0 | 12 | 23 281.74/281.85 c 276s | 11 | 137484 | 20344 | 45768 0 | 12 | 23 284.85/284.91 c 279s | 11 | 138504 | 20544 | 45768 0 | 12 | 23 287.64/287.72 c 282s | 11 | 139409 | 20744 | 45768 0 | 12 | 23 289.74/289.80 c 284s | 11 | 140337 | 20944 | 45768 0 | 12 | 23 292.34/292.48 c 287s | 11 | 141484 | 21144 | 45768 0 | 12 | 23 294.75/294.86 c 289s | 11 | 142552 | 21344 | 45768 0 | 12 | 23 297.64/297.75 c 292s | 11 | 143820 | 21544 | 45768 0 | 12 | 23 300.54/300.63 c 295s | 11 | 145012 | 21744 | 45768 0 | 12 | 23 303.24/303.32 c 298s | 11 | 146459 | 21944 | 45768 0 | 12 | 23 305.94/306.09 c 301s | 11 | 147582 | 22144 | 45768 0 | 12 | 23 308.44/308.51 c 303s | 11 | 148795 | 22344 | 45768 0 | 12 | 23 311.24/311.32 c 306s | 11 | 150269 | 22544 | 45768 0 | 12 | 23 313.94/314.01 c 309s | 11 | 151971 | 22744 | 50345 0 | 12 | 23 316.74/316.82 c 311s | 11 | 153187 | 22944 | 50345 0 | 12 | 23 319.53/319.67 c 314s | 11 | 153860 | 23144 | 50345 0 | 12 | 23 322.24/322.33 c 317s | 11 | 154981 | 23344 | 50345 0 | 12 | 23 324.73/324.85 c 319s | 11 | 155661 | 23544 | 50345 0 | 12 | 23 327.84/327.93 c 322s | 11 | 157140 | 23744 | 50345 0 | 12 | 23 330.43/330.55 c 325s | 11 | 158506 | 23944 | 50345 0 | 12 | 23 333.73/333.89 c 328s | 11 | 159242 | 24144 | 50345 0 | 12 | 23 336.84/336.96 c 331s | 11 | 160300 | 24344 | 50345 0 | 12 | 23 339.85/339.93 c 334s | 11 | 161324 | 24544 | 50345 0 | 12 | 23 342.64/342.77 c 337s | 11 | 162496 | 24744 | 50345 0 | 12 | 23 344.84/344.94 c 339s | 11 | 163206 | 24944 | 50345 0 | 12 | 23 347.14/347.26 c 342s | 11 | 164005 | 25144 | 50345 0 | 12 | 23 350.04/350.16 c 345s | 11 | 164881 | 25344 | 50345 0 | 12 | 23 353.04/353.18 c 348s | 11 | 167274 | 25544 | 50345 0 | 12 | 23 355.64/355.79 c 350s | 11 | 169367 | 25744 | 50345 0 | 12 | 23 356.64/356.79 c 351s | 12 | 170073 | 25819 | 50345 0 | 12 | 23 359.94/360.04 c 355s | 12 | 171020 | 26019 | 50345 0 | 12 | 23 362.94/363.08 c 358s | 12 | 173349 | 26219 | 50345 0 | 12 | 23 365.74/365.81 c 360s | 12 | 174934 | 26419 | 50345 0 | 12 | 23 368.54/368.68 c 363s | 12 | 176869 | 26619 | 50345 0 | 12 | 23 371.53/371.61 c 366s | 12 | 178163 | 26819 | 50345 0 | 12 | 23 374.43/374.51 c 369s | 12 | 179443 | 27019 | 50345 0 | 12 | 23 377.73/377.81 c 372s | 12 | 181012 | 27219 | 50345 0 | 12 | 23 380.43/380.55 c 375s | 12 | 182220 | 27419 | 50345 0 | 12 | 23 383.03/383.14 c 378s | 12 | 183236 | 27619 | 50345 0 | 12 | 23 385.83/385.92 c 380s | 12 | 184500 | 27819 | 50345 0 | 12 | 23 388.63/388.73 c 383s | 12 | 186098 | 28019 | 50345 0 | 12 | 23 391.54/391.67 c 386s | 12 | 187232 | 28219 | 50345 0 | 12 | 23 395.23/395.33 c 390s | 12 | 188288 | 28419 | 50345 0 | 12 | 23 397.73/397.80 c 392s | 12 | 188952 | 28619 | 50345 0 | 12 | 23 399.83/399.91 c 394s | 12 | 189676 | 28819 | 50345 0 | 12 | 23 402.54/402.67 c 397s | 12 | 191428 | 29019 | 50345 0 | 12 | 23 405.63/405.77 c 400s | 12 | 193756 | 29219 | 50345 0 | 12 | 23 408.04/408.17 c 403s | 12 | 194456 | 29419 | 50345 0 | 12 | 23 410.34/410.42 c 405s | 12 | 195502 | 29619 | 50345 0 | 12 | 23 413.03/413.13 c 408s | 12 | 197162 | 29819 | 50345 0 | 12 | 23 415.73/415.81 c 410s | 12 | 198882 | 30019 | 50345 0 | 12 | 23 418.13/418.26 c 413s | 12 | 199987 | 30219 | 50345 0 | 12 | 23 420.53/420.67 c 415s | 12 | 200963 | 30419 | 50345 0 | 12 | 23 422.93/423.09 c 418s | 12 | 201766 | 30619 | 50345 0 | 12 | 23 425.33/425.43 c 420s | 12 | 202617 | 30819 | 50345 0 | 12 | 23 427.93/428.03 c 423s | 12 | 203733 | 31019 | 50345 0 | 12 | 23 430.13/430.27 c 425s | 12 | 204460 | 31219 | 50345 0 | 12 | 23 433.43/433.58 c 428s | 12 | 205979 | 31419 | 50345 0 | 12 | 23 436.32/436.48 c 431s | 12 | 206958 | 31619 | 50345 0 | 12 | 23 439.12/439.20 c 434s | 12 | 208389 | 31819 | 50345 0 | 12 | 23 441.92/442.01 c 437s | 12 | 209806 | 32019 | 50345 0 | 12 | 23 444.82/444.92 c 439s | 12 | 211439 | 32219 | 50345 0 | 12 | 23 447.73/447.87 c 442s | 12 | 213137 | 32419 | 50345 0 | 12 | 23 450.32/450.43 c 445s | 12 | 214902 | 32619 | 50345 0 | 12 | 23 452.72/452.83 c 447s | 12 | 216223 | 32819 | 50345 0 | 12 | 23 455.33/455.49 c 450s | 12 | 217199 | 33019 | 50345 0 | 12 | 23 458.32/458.48 c 453s | 12 | 218164 | 33219 | 50345 0 | 12 | 23 461.32/461.40 c 456s | 12 | 219423 | 33419 | 50345 0 | 12 | 23 463.82/463.98 c 458s | 12 | 221178 | 33619 | 50345 0 | 12 | 23 466.82/466.92 c 461s | 12 | 222143 | 33819 | 50345 0 | 12 | 23 470.22/470.32 c 465s | 12 | 223434 | 34019 | 50345 0 | 12 | 23 473.82/473.95 c 468s | 12 | 224712 | 34219 | 50345 0 | 12 | 23 477.52/477.69 c 472s | 12 | 225869 | 34419 | 50345 0 | 12 | 23 481.32/481.48 c 476s | 12 | 227257 | 34619 | 50345 0 | 12 | 23 485.22/485.31 c 480s | 12 | 229358 | 34819 | 50345 0 | 12 | 23 488.91/489.05 c 484s | 12 | 231122 | 35019 | 50345 0 | 12 | 23 492.72/492.90 c 487s | 12 | 231901 | 35219 | 50345 0 | 12 | 23 496.41/496.54 c 491s | 12 | 233120 | 35419 | 50345 0 | 12 | 23 499.91/500.03 c 495s | 12 | 233783 | 35619 | 50345 0 | 12 | 23 503.51/503.68 c 498s | 12 | 234343 | 35819 | 55380 0 | 12 | 23 507.31/507.45 c 502s | 12 | 235182 | 36019 | 55380 0 | 12 | 23 509.41/509.51 c 504s | 12 | 235772 | 36119 | 55380 0 | 12 | 23 513.41/513.52 c 508s | 12 | 237263 | 36319 | 55380 0 | 12 | 23 516.31/516.49 c 511s | 12 | 238316 | 36519 | 55380 0 | 12 | 23 519.31/519.48 c 514s | 12 | 239901 | 36719 | 55380 0 | 12 | 23 521.91/522.08 c 517s | 12 | 241622 | 36919 | 55380 0 | 12 | 23 524.51/524.70 c 519s | 12 | 243665 | 37119 | 55380 0 | 12 | 23 527.51/527.61 c 522s | 12 | 244958 | 37319 | 55380 0 | 12 | 23 530.21/530.33 c 525s | 12 | 246098 | 37519 | 55380 0 | 12 | 23 532.71/532.81 c 527s | 12 | 246889 | 37719 | 55380 0 | 12 | 23 535.01/535.19 c 530s | 12 | 247869 | 37919 | 55380 0 | 12 | 23 537.21/537.36 c 532s | 12 | 248601 | 38119 | 55380 0 | 12 | 23 539.71/539.85 c 534s | 12 | 249659 | 38319 | 55380 0 | 12 | 23 542.70/542.81 c 537s | 12 | 251997 | 38519 | 55380 0 | 12 | 23 544.80/544.96 c 539s | 12 | 252755 | 38719 | 55380 0 | 12 | 23 546.71/546.85 c 541s | 13 | 253650 | 38832 | 55380 0 | 12 | 23 550.01/550.14 c 545s | 13 | 255117 | 39032 | 55380 0 | 12 | 23 552.70/552.85 c 547s | 13 | 256509 | 39232 | 55380 0 | 12 | 23 555.60/555.71 c 550s | 13 | 257309 | 39432 | 55380 0 | 12 | 23 557.80/557.97 c 552s | 13 | 257978 | 39632 | 55380 0 | 12 | 23 560.70/560.85 c 555s | 13 | 258972 | 39832 | 55380 0 | 12 | 23 563.40/563.52 c 558s | 13 | 260218 | 40032 | 55380 0 | 12 | 23 565.80/565.92 c 560s | 13 | 261253 | 40232 | 55380 0 | 12 | 23 569.10/569.29 c 564s | 13 | 262762 | 40432 | 55380 0 | 12 | 23 572.01/572.11 c 567s | 13 | 264348 | 40632 | 55380 0 | 12 | 23 575.10/575.27 c 570s | 13 | 265756 | 40832 | 55380 0 | 12 | 23 578.00/578.12 c 573s | 13 | 267618 | 41032 | 55380 0 | 12 | 23 581.00/581.15 c 576s | 13 | 269600 | 41232 | 55380 0 | 12 | 23 584.20/584.34 c 579s | 13 | 271116 | 41432 | 55380 0 | 12 | 23 586.80/586.94 c 581s | 13 | 272481 | 41632 | 55380 0 | 12 | 23 589.70/589.81 c 584s | 13 | 274466 | 41832 | 55380 0 | 12 | 23 592.69/592.87 c 587s | 13 | 276536 | 42032 | 55380 0 | 12 | 23 595.79/595.99 c 591s | 13 | 278124 | 42232 | 55380 0 | 12 | 23 598.69/598.86 c 593s | 13 | 279357 | 42432 | 55380 0 | 12 | 23 601.99/602.13 c 597s | 13 | 280490 | 42632 | 55380 0 | 12 | 23 604.90/605.06 c 600s | 13 | 281066 | 42832 | 55380 0 | 12 | 23 607.79/607.94 c 602s | 13 | 281920 | 43032 | 55380 0 | 12 | 23 611.69/611.83 c 606s | 13 | 283155 | 43232 | 55380 0 | 12 | 23 613.70/613.88 c 608s | 13 | 283362 | 43332 | 55380 0 | 12 | 23 617.19/617.36 c 612s | 13 | 283837 | 43532 | 55380 0 | 12 | 23 619.49/619.69 c 614s | 13 | 284718 | 43732 | 55380 0 | 12 | 23 622.50/622.70 c 617s | 13 | 285616 | 43932 | 55380 0 | 12 | 23 625.80/625.97 c 620s | 13 | 286944 | 44132 | 55380 0 | 12 | 23 628.39/628.59 c 623s | 13 | 288311 | 44332 | 55380 0 | 12 | 23 631.59/631.75 c 626s | 13 | 289792 | 44532 | 55380 0 | 12 | 23 634.49/634.61 c 629s | 13 | 291571 | 44732 | 55380 0 | 12 | 23 637.49/637.64 c 632s | 13 | 293986 | 44932 | 55380 0 | 12 | 23 640.49/640.67 c 635s | 13 | 295697 | 45132 | 55380 0 | 12 | 23 643.59/643.72 c 638s | 13 | 296784 | 45332 | 55380 0 | 12 | 23 646.49/646.68 c 641s | 13 | 297334 | 45532 | 55380 0 | 12 | 23 649.59/649.71 c 644s | 13 | 297822 | 45732 | 55380 0 | 12 | 23 652.38/652.52 c 647s | 13 | 298543 | 45932 | 55380 0 | 12 | 23 655.59/655.75 c 650s | 13 | 299137 | 46132 | 55380 0 | 12 | 23 658.28/658.44 c 653s | 13 | 299781 | 46332 | 55380 0 | 12 | 23 660.38/660.58 c 655s | 13 | 300329 | 46532 | 55380 0 | 12 | 23 662.88/663.02 c 658s | 13 | 301198 | 46732 | 55380 0 | 12 | 23 665.77/665.94 c 660s | 13 | 302537 | 46932 | 55380 0 | 12 | 23 668.07/668.22 c 663s | 13 | 303299 | 47132 | 55380 0 | 12 | 23 670.57/670.75 c 665s | 13 | 303851 | 47332 | 55380 0 | 12 | 23 673.27/673.42 c 668s | 13 | 304733 | 47532 | 55380 0 | 12 | 23 677.07/677.29 c 672s | 13 | 306111 | 47732 | 55380 0 | 12 | 23 680.78/680.97 c 675s | 13 | 307765 | 47932 | 55380 0 | 12 | 23 684.56/684.77 c 679s | 13 | 309302 | 48132 | 55380 0 | 12 | 23 686.66/686.87 c 681s | 13 | 310107 | 48232 | 55380 0 | 12 | 23 690.36/690.59 c 685s | 13 | 311713 | 48432 | 55380 0 | 12 | 23 694.16/694.32 c 689s | 13 | 313172 | 48632 | 55380 0 | 12 | 23 697.96/698.15 c 693s | 13 | 314290 | 48832 | 55380 0 | 12 | 23 701.95/702.12 c 697s | 13 | 315620 | 49032 | 55380 0 | 12 | 23 705.85/706.01 c 701s | 13 | 317617 | 49232 | 55380 0 | 12 | 23 707.85/708.01 c 703s | 13 | 318780 | 49332 | 55380 0 | 12 | 23 711.35/711.50 c 706s | 13 | 320414 | 49532 | 55380 0 | 12 | 23 715.15/715.33 c 710s | 13 | 322030 | 49732 | 55380 0 | 12 | 23 718.75/718.94 c 713s | 13 | 323205 | 49932 | 55380 0 | 12 | 23 722.44/722.63 c 717s | 13 | 324416 | 50132 | 55380 0 | 12 | 23 726.34/726.52 c 721s | 13 | 326136 | 50332 | 55380 0 | 12 | 23 730.04/730.22 c 725s | 13 | 327094 | 50532 | 55380 0 | 12 | 23 733.64/733.83 c 728s | 13 | 328117 | 50732 | 55380 0 | 12 | 23 736.74/736.95 c 731s | 13 | 328654 | 50932 | 55380 0 | 12 | 23 739.53/739.74 c 734s | 13 | 329219 | 51132 | 55380 0 | 12 | 23 742.73/742.96 c 737s | 13 | 330192 | 51332 | 55380 0 | 12 | 23 746.13/746.32 c 741s | 13 | 331119 | 51532 | 55380 0 | 12 | 23 749.43/749.63 c 744s | 13 | 332014 | 51732 | 55380 0 | 12 | 23 752.73/752.94 c 747s | 13 | 332665 | 51932 | 55380 0 | 12 | 23 755.72/755.91 c 750s | 13 | 333348 | 52132 | 55380 0 | 12 | 23 758.83/759.08 c 754s | 13 | 334152 | 52332 | 55380 0 | 12 | 23 762.02/762.28 c 757s | 13 | 335189 | 52532 | 55380 0 | 12 | 23 764.02/764.28 c 759s | 13 | 336129 | 52632 | 55380 0 | 12 | 23 768.02/768.21 c 763s | 13 | 337211 | 52832 | 55380 0 | 12 | 23 771.32/771.58 c 766s | 13 | 337732 | 53032 | 55380 0 | 12 | 23 774.82/775.06 c 770s | 13 | 338233 | 53232 | 55380 0 | 12 | 23 778.11/778.33 c 773s | 13 | 338817 | 53432 | 55380 0 | 12 | 23 781.61/781.80 c 776s | 13 | 339428 | 53632 | 55380 0 | 12 | 23 784.71/784.96 c 779s | 13 | 339903 | 53832 | 55380 0 | 12 | 23 788.41/788.69 c 783s | 13 | 340479 | 54032 | 55380 0 | 12 | 23 791.41/791.69 c 786s | 13 | 340986 | 54232 | 55380 0 | 12 | 23 794.71/794.97 c 789s | 13 | 341722 | 54432 | 55380 0 | 12 | 23 798.21/798.45 c 793s | 13 | 342414 | 54632 | 55380 0 | 12 | 23 801.60/801.88 c 796s | 13 | 343100 | 54832 | 55380 0 | 12 | 23 803.80/804.03 c 799s | 13 | 343304 | 54932 | 55380 0 | 12 | 23 806.00/806.21 c 801s | 13 | 344055 | 55032 | 55380 0 | 12 | 23 808.20/808.49 c 803s | 13 | 344977 | 55132 | 60919 0 | 12 | 23 810.40/810.60 c 805s | 13 | 345614 | 55232 | 60919 0 | 12 | 23 812.60/812.89 c 807s | 13 | 346108 | 55332 | 60919 0 | 12 | 23 814.90/815.14 c 810s | 13 | 347090 | 55432 | 60919 0 | 12 | 23 816.99/817.21 c 812s | 13 | 347749 | 55532 | 60919 0 | 12 | 23 819.09/819.38 c 814s | 13 | 348719 | 55632 | 60919 0 | 12 | 23 821.29/821.57 c 816s | 13 | 349391 | 55732 | 60919 0 | 12 | 23 823.59/823.81 c 818s | 13 | 350378 | 55832 | 60919 0 | 12 | 23 825.69/825.97 c 820s | 13 | 350964 | 55932 | 60919 0 | 12 | 23 827.89/828.12 c 823s | 13 | 352276 | 56032 | 60919 0 | 12 | 23 830.09/830.33 c 825s | 13 | 353335 | 56132 | 60919 0 | 12 | 23 832.28/832.56 c 827s | 13 | 353994 | 56232 | 60919 0 | 12 | 23 834.38/834.69 c 829s | 13 | 354462 | 56332 | 60919 0 | 12 | 23 836.48/836.79 c 831s | 13 | 354800 | 56432 | 60919 0 | 12 | 23 838.68/838.99 c 834s | 13 | 355087 | 56532 | 60919 0 | 12 | 23 842.78/843.01 c 838s | 13 | 356213 | 56732 | 60919 0 | 12 | 23 845.09/845.31 c 840s | 13 | 356637 | 56832 | 60919 0 | 12 | 23 847.19/847.48 c 842s | 13 | 357132 | 56932 | 60919 0 | 12 | 23 849.79/850.09 c 845s | 13 | 358274 | 57132 | 60919 0 | 12 | 23 853.19/853.45 c 848s | 13 | 359500 | 57332 | 60919 0 | 12 | 23 856.69/856.97 c 851s | 13 | 361339 | 57532 | 60919 0 | 12 | 23 860.09/860.38 c 855s | 13 | 363243 | 57732 | 60919 0 | 12 | 23 863.39/863.60 c 858s | 13 | 365037 | 57932 | 60919 0 | 12 | 23 866.38/866.60 c 861s | 13 | 366674 | 58132 | 60919 0 | 12 | 23 869.88/870.12 c 865s | 13 | 367913 | 58332 | 60919 0 | 12 | 23 870.18/870.46 c 865s | 14 | 367941 | 58352 | 60919 0 | 12 | 23 873.18/873.44 c 868s | 14 | 369000 | 58552 | 60919 0 | 12 | 23 875.87/876.11 c 871s | 14 | 369535 | 58752 | 60919 0 | 12 | 23 879.37/879.61 c 874s | 14 | 370396 | 58952 | 60919 0 | 12 | 23 881.97/882.28 c 877s | 14 | 371459 | 59152 | 60919 0 | 12 | 23 885.07/885.32 c 880s | 14 | 372607 | 59352 | 60919 0 | 12 | 23 888.27/888.50 c 883s | 14 | 373899 | 59552 | 60919 0 | 12 | 23 890.97/891.25 c 886s | 14 | 374964 | 59752 | 60919 0 | 12 | 23 893.96/894.20 c 889s | 14 | 376080 | 59952 | 60919 0 | 12 | 23 897.76/898.02 c 893s | 14 | 377502 | 60152 | 60919 0 | 12 | 23 899.86/900.10 c 895s | 14 | 377995 | 60252 | 60919 0 | 12 | 23 902.86/903.13 c 898s | 14 | 379434 | 60452 | 60919 0 | 12 | 23 904.86/905.19 c 900s | 14 | 380446 | 60552 | 60919 0 | 12 | 23 908.66/908.96 c 903s | 14 | 381480 | 60752 | 60919 0 | 12 | 23 910.86/911.17 c 906s | 14 | 382257 | 60852 | 60919 0 | 12 | 23 914.85/915.17 c 910s | 14 | 383905 | 61052 | 60919 0 | 12 | 23 917.05/917.38 c 912s | 14 | 384865 | 61152 | 60919 0 | 12 | 23 921.15/921.40 c 916s | 14 | 386285 | 61352 | 60919 0 | 12 | 23 923.15/923.42 c 918s | 14 | 387163 | 61452 | 60919 0 | 12 | 23 926.95/927.21 c 922s | 14 | 388440 | 61652 | 60919 0 | 12 | 23 929.15/929.47 c 924s | 14 | 389419 | 61752 | 60919 0 | 12 | 23 931.45/931.80 c 926s | 14 | 390462 | 61852 | 60919 0 | 12 | 23 933.75/934.09 c 929s | 14 | 391295 | 61952 | 60919 0 | 12 | 23 936.04/936.33 c 931s | 14 | 392415 | 62052 | 60919 0 | 12 | 23 938.34/938.69 c 933s | 14 | 393058 | 62152 | 60919 0 | 12 | 23 940.54/940.81 c 935s | 14 | 393360 | 62252 | 60919 0 | 12 | 23 942.63/942.90 c 937s | 14 | 393897 | 62352 | 60919 0 | 12 | 23 944.74/945.02 c 940s | 14 | 394223 | 62452 | 60919 0 | 12 | 23 946.84/947.15 c 942s | 14 | 394720 | 62552 | 60919 0 | 12 | 23 948.83/949.18 c 944s | 14 | 395461 | 62652 | 60919 0 | 12 | 23 952.73/953.06 c 948s | 14 | 396494 | 62852 | 60919 0 | 12 | 23 956.63/956.97 c 951s | 14 | 397530 | 63052 | 60919 0 | 12 | 23 958.73/959.03 c 954s | 14 | 398085 | 63152 | 60919 0 | 12 | 23 962.62/962.92 c 957s | 14 | 398934 | 63352 | 60919 0 | 12 | 23 964.92/965.28 c 960s | 14 | 399216 | 63452 | 60919 1 | 12 | 23 968.42/968.77 c 963s | 14 | 399947 | 63652 | 60919 1 | 12 | 23 972.02/972.31 c 967s | 14 | 400375 | 63852 | 60919 1 | 12 | 23 974.92/975.25 c 970s | 14 | 401342 | 64052 | 60919 1 | 12 | 23 978.61/978.91 c 973s | 14 | 402449 | 64252 | 60919 1 | 12 | 23 982.41/982.77 c 977s | 14 | 403207 | 64452 | 60919 1 | 12 | 23 984.51/984.83 c 979s | 14 | 403956 | 64552 | 60919 1 | 12 | 23 987.81/988.18 c 983s | 14 | 404896 | 64752 | 60919 1 | 12 | 23 990.01/990.33 c 985s | 14 | 405350 | 64852 | 60919 1 | 12 | 23 992.20/992.59 c 987s | 14 | 405874 | 64952 | 60919 1 | 12 | 23 995.31/995.69 c 990s | 14 | 406749 | 65152 | 60919 1 | 12 | 23 998.20/998.55 c 993s | 14 | 407400 | 65352 | 60919 1 | 12 | 23 1000.90/1001.24 c 996s | 14 | 408518 | 65552 | 60919 1 | 12 | 23 1004.01/1004.30 c 999s | 14 | 409468 | 65752 | 60919 1 | 12 | 23 1006.90/1007.22 c 1002s | 14 | 410730 | 65952 | 60919 1 | 12 | 23 1009.80/1010.15 c 1005s | 14 | 412667 | 66152 | 60919 1 | 12 | 23 1012.91/1013.22 c 1008s | 14 | 414321 | 66352 | 60919 1 | 12 | 23 1015.80/1016.18 c 1011s | 14 | 415779 | 66552 | 60919 1 | 12 | 23 1019.10/1019.40 c 1014s | 14 | 416691 | 66752 | 60919 1 | 12 | 23 1022.40/1022.78 c 1017s | 14 | 417741 | 66952 | 60919 1 | 12 | 23 1025.20/1025.58 c 1020s | 14 | 419080 | 67152 | 60919 1 | 12 | 23 1028.39/1028.79 c 1023s | 14 | 420568 | 67352 | 60919 1 | 12 | 23 1031.89/1032.27 c 1027s | 14 | 421242 | 67552 | 60919 1 | 12 | 23 1035.19/1035.56 c 1030s | 14 | 422447 | 67752 | 60919 1 | 12 | 23 1038.59/1038.91 c 1033s | 14 | 423610 | 67952 | 60919 1 | 12 | 23 1042.09/1042.47 c 1037s | 14 | 424519 | 68152 | 60919 1 | 12 | 23 1045.49/1045.84 c 1040s | 14 | 425686 | 68352 | 60919 1 | 12 | 23 1049.39/1049.72 c 1044s | 14 | 427477 | 68652 | 60919 1 | 12 | 23 1052.40/1052.72 c 1047s | 14 | 429022 | 68852 | 60919 1 | 12 | 23 1055.39/1055.77 c 1050s | 14 | 430608 | 69052 | 60919 1 | 12 | 23 1058.59/1058.92 c 1053s | 14 | 432189 | 69252 | 60919 1 | 12 | 23 1061.88/1062.27 c 1057s | 14 | 433585 | 69452 | 60919 1 | 12 | 23 1064.78/1065.16 c 1060s | 14 | 435091 | 69652 | 60919 1 | 12 | 23 1067.48/1067.82 c 1062s | 14 | 435787 | 69852 | 60919 1 | 12 | 23 1070.68/1071.05 c 1066s | 14 | 437191 | 70052 | 60919 1 | 12 | 23 1073.78/1074.15 c 1069s | 14 | 438173 | 70252 | 60919 1 | 12 | 23 1076.98/1077.34 c 1072s | 14 | 439171 | 70452 | 60919 1 | 12 | 23 1079.68/1080.01 c 1075s | 14 | 440037 | 70652 | 60919 1 | 12 | 23 1082.78/1083.18 c 1078s | 14 | 441767 | 70852 | 60919 1 | 12 | 23 1086.58/1086.99 c 1082s | 14 | 442917 | 71052 | 60919 1 | 12 | 23 1089.67/1090.08 c 1085s | 14 | 443908 | 71252 | 60919 1 | 12 | 23 1091.77/1092.11 c 1087s | 14 | 444499 | 71452 | 60919 1 | 12 | 23 1094.77/1095.12 c 1090s | 14 | 445632 | 71652 | 60919 1 | 12 | 23 1098.27/1098.61 c 1093s | 14 | 447003 | 71852 | 60919 1 | 12 | 23 1101.67/1102.02 c 1097s | 14 | 448377 | 72052 | 60919 1 | 12 | 23 1105.47/1105.84 c 1100s | 14 | 450380 | 72252 | 60919 1 | 12 | 23 1109.07/1109.41 c 1104s | 14 | 451819 | 72452 | 60919 1 | 12 | 23 1112.57/1112.95 c 1107s | 14 | 453719 | 72652 | 60919 1 | 12 | 23 1116.57/1116.90 c 1111s | 14 | 455705 | 72852 | 60919 1 | 12 | 23 1120.47/1120.81 c 1115s | 14 | 456696 | 73052 | 60919 1 | 12 | 23 1123.87/1124.28 c 1119s | 14 | 458619 | 73252 | 60919 1 | 12 | 23 1127.46/1127.89 c 1122s | 14 | 459773 | 73452 | 60919 1 | 12 | 23 1129.56/1129.90 c 1124s | 14 | 460046 | 73552 | 60919 1 | 12 | 23 1132.77/1133.11 c 1128s | 14 | 460612 | 73752 | 60919 1 | 12 | 23 1136.26/1136.70 c 1131s | 14 | 461597 | 73952 | 60919 1 | 12 | 23 1138.36/1138.72 c 1133s | 14 | 462277 | 74052 | 60919 1 | 12 | 23 1141.95/1142.34 c 1137s | 14 | 463272 | 74252 | 60919 1 | 12 | 23 1145.25/1145.61 c 1140s | 14 | 464392 | 74452 | 60919 1 | 12 | 23 1149.05/1149.47 c 1144s | 14 | 465087 | 74652 | 60919 1 | 12 | 23 1152.35/1152.71 c 1147s | 14 | 466584 | 74852 | 60919 1 | 12 | 23 1155.95/1156.37 c 1151s | 14 | 468005 | 75052 | 60919 1 | 12 | 23 1159.74/1160.17 c 1155s | 14 | 468879 | 75252 | 60919 1 | 12 | 23 1163.24/1163.60 c 1158s | 14 | 470393 | 75452 | 60919 1 | 12 | 23 1165.34/1165.77 c 1160s | 14 | 471320 | 75552 | 60919 1 | 12 | 23 1167.54/1167.91 c 1162s | 14 | 472248 | 75652 | 60919 1 | 12 | 23 1169.74/1170.19 c 1165s | 14 | 472739 | 75752 | 60919 1 | 12 | 23 1171.93/1172.38 c 1167s | 14 | 473494 | 75852 | 60919 1 | 12 | 23 1174.13/1174.50 c 1169s | 14 | 474280 | 75952 | 60919 1 | 12 | 23 1176.13/1176.58 c 1171s | 14 | 475624 | 76052 | 60919 1 | 12 | 23 1178.33/1178.74 c 1173s | 14 | 476288 | 76152 | 60919 1 | 12 | 23 1182.03/1182.42 c 1177s | 14 | 477121 | 76352 | 60919 1 | 12 | 23 1184.03/1184.46 c 1179s | 14 | 477702 | 76452 | 60919 1 | 12 | 23 1186.02/1186.49 c 1181s | 14 | 478286 | 76552 | 60919 1 | 12 | 23 1190.12/1190.51 c 1185s | 14 | 479502 | 76752 | 60919 1 | 12 | 23 1194.12/1194.59 c 1189s | 14 | 480564 | 76952 | 60919 1 | 12 | 23 1198.02/1198.42 c 1193s | 14 | 481510 | 77152 | 60919 1 | 12 | 23 1201.62/1202.09 c 1197s | 14 | 482626 | 77352 | 60919 1 | 12 | 23 1203.72/1204.18 c 1199s | 14 | 483116 | 77452 | 60919 1 | 12 | 23 1205.81/1206.25 c 1201s | 14 | 483859 | 77552 | 60919 1 | 12 | 23 1209.62/1210.06 c 1205s | 14 | 484625 | 77752 | 60919 1 | 12 | 23 1213.11/1213.52 c 1208s | 14 | 485175 | 77952 | 60919 1 | 12 | 23 1216.32/1216.75 c 1211s | 14 | 485715 | 78152 | 60919 1 | 12 | 23 1218.42/1218.81 c 1213s | 14 | 485943 | 78252 | 60919 1 | 12 | 23 1222.20/1222.69 c 1217s | 14 | 486754 | 78452 | 60919 1 | 12 | 23 1225.90/1226.36 c 1221s | 14 | 487438 | 78652 | 60919 1 | 12 | 23 1229.10/1229.50 c 1224s | 14 | 488098 | 78852 | 60919 1 | 12 | 23 1232.10/1232.56 c 1227s | 14 | 488696 | 79052 | 60919 1 | 12 | 23 1235.50/1235.99 c 1231s | 14 | 489262 | 79252 | 60919 1 | 12 | 23 1239.20/1239.64 c 1234s | 14 | 489861 | 79452 | 60919 1 | 12 | 23 1241.50/1241.90 c 1236s | 14 | 490090 | 79552 | 60919 1 | 12 | 23 1245.19/1245.61 c 1240s | 14 | 490845 | 79752 | 60919 1 | 12 | 23 1248.79/1249.26 c 1244s | 14 | 491591 | 79952 | 60919 1 | 12 | 23 1252.88/1253.32 c 1248s | 14 | 492190 | 80152 | 60919 1 | 12 | 23 1256.38/1256.87 c 1251s | 14 | 493153 | 80352 | 60919 1 | 12 | 23 1258.48/1258.90 c 1253s | 14 | 494085 | 80452 | 60919 1 | 12 | 23 1261.38/1261.88 c 1256s | 14 | 495846 | 80652 | 60919 1 | 12 | 23 1263.48/1263.92 c 1258s | 14 | 497275 | 80752 | 60919 1 | 12 | 23 1265.58/1266.02 c 1261s | 14 | 498609 | 80852 | 60919 1 | 12 | 23 1267.68/1268.16 c 1263s | 14 | 499554 | 80952 | 60919 1 | 12 | 23 1271.18/1271.64 c 1266s | 14 | 500710 | 81152 | 60919 1 | 12 | 23 1274.77/1275.26 c 1270s | 14 | 502315 | 81352 | 60919 1 | 12 | 23 1276.97/1277.47 c 1272s | 14 | 502803 | 81452 | 60919 1 | 12 | 23 1279.27/1279.70 c 1274s | 14 | 503135 | 81552 | 60919 1 | 12 | 23 1281.37/1281.86 c 1276s | 14 | 504366 | 81652 | 60919 1 | 12 | 23 1284.76/1285.27 c 1280s | 14 | 505369 | 81852 | 60919 1 | 12 | 23 1288.46/1288.96 c 1283s | 14 | 506659 | 82052 | 60919 1 | 12 | 23 1292.86/1293.33 c 1288s | 14 | 507930 | 82252 | 60919 1 | 12 | 23 1297.36/1297.83 c 1292s | 14 | 509309 | 82452 | 60919 1 | 12 | 23 1300.86/1301.34 c 1296s | 14 | 510734 | 82652 | 60919 1 | 12 | 23 1305.36/1305.89 c 1300s | 14 | 512041 | 82852 | 60919 1 | 12 | 23 1307.85/1308.32 c 1303s | 14 | 512868 | 82952 | 60919 1 | 12 | 23 1310.65/1311.11 c 1306s | 14 | 513409 | 83052 | 60919 1 | 12 | 23 1313.35/1313.81 c 1308s | 14 | 514232 | 83152 | 60919 1 | 12 | 23 1315.85/1316.38 c 1311s | 14 | 515254 | 83252 | 60919 1 | 12 | 23 1318.35/1318.85 c 1313s | 14 | 515907 | 83352 | 60919 1 | 12 | 23 1320.76/1321.26 c 1316s | 14 | 517057 | 83452 | 60919 1 | 12 | 23 1323.45/1323.90 c 1318s | 14 | 518208 | 83552 | 60919 1 | 12 | 23 1325.75/1326.25 c 1321s | 14 | 519032 | 83652 | 60919 1 | 12 | 23 1328.36/1328.86 c 1323s | 14 | 519843 | 83752 | 60919 1 | 12 | 23 1331.05/1331.53 c 1326s | 14 | 520942 | 83852 | 60919 1 | 12 | 23 1333.55/1334.03 c 1329s | 14 | 521629 | 83952 | 60919 1 | 12 | 23 1336.25/1336.75 c 1331s | 14 | 522522 | 84052 | 60919 1 | 12 | 23 1338.65/1339.15 c 1334s | 14 | 523592 | 84152 | 67011 1 | 12 | 23 1341.25/1341.71 c 1336s | 14 | 524463 | 84252 | 67011 1 | 12 | 23 1343.75/1344.30 c 1339s | 14 | 525440 | 84352 | 67011 1 | 12 | 23 1346.25/1346.74 c 1341s | 14 | 526035 | 84452 | 67011 1 | 12 | 23 1348.75/1349.20 c 1344s | 14 | 526420 | 84552 | 67011 1 | 12 | 23 1351.35/1351.83 c 1346s | 14 | 526899 | 84652 | 67011 1 | 12 | 23 1353.85/1354.37 c 1349s | 14 | 527612 | 84752 | 67011 1 | 12 | 23 1356.25/1356.77 c 1351s | 14 | 528148 | 84852 | 67011 1 | 12 | 23 1358.85/1359.30 c 1354s | 14 | 529274 | 84952 | 67011 1 | 12 | 23 1362.84/1363.39 c 1358s | 14 | 530423 | 85152 | 67011 1 | 12 | 23 1365.14/1365.65 c 1360s | 14 | 530841 | 85252 | 67011 1 | 12 | 23 1367.54/1368.01 c 1363s | 14 | 531214 | 85352 | 67011 1 | 12 | 23 1369.74/1370.21 c 1365s | 14 | 531747 | 85452 | 67011 1 | 12 | 23 1373.45/1373.92 c 1368s | 14 | 532999 | 85652 | 67011 1 | 12 | 23 1375.65/1376.11 c 1371s | 14 | 533825 | 85752 | 67011 1 | 12 | 23 1377.74/1378.28 c 1373s | 14 | 535055 | 85852 | 67011 1 | 12 | 23 1381.64/1382.16 c 1377s | 14 | 536861 | 86052 | 67011 1 | 12 | 23 1383.84/1384.32 c 1379s | 14 | 537863 | 86152 | 67011 1 | 12 | 23 1388.34/1388.87 c 1383s | 14 | 539885 | 86352 | 67011 1 | 12 | 23 1392.15/1392.64 c 1387s | 14 | 542114 | 86552 | 67011 1 | 12 | 23 1394.24/1394.70 c 1389s | 14 | 543209 | 86652 | 67011 1 | 12 | 23 1397.94/1398.40 c 1393s | 14 | 545370 | 86852 | 67011 1 | 12 | 23 1401.94/1402.47 c 1397s | 14 | 547573 | 87052 | 67011 1 | 12 | 23 1405.94/1406.41 c 1401s | 14 | 549619 | 87252 | 67011 1 | 12 | 23 1408.04/1408.50 c 1403s | 14 | 550536 | 87352 | 67011 1 | 12 | 23 1411.64/1412.11 c 1407s | 14 | 551942 | 87552 | 67011 1 | 12 | 23 1413.34/1413.81 c 1408s | 15 | 552292 | 87632 | 67011 1 | 12 | 23 1415.34/1415.81 c 1410s | 15 | 552617 | 87732 | 67011 1 | 12 | 23 1417.93/1418.40 c 1413s | 15 | 553304 | 87832 | 67011 1 | 12 | 23 1420.23/1420.74 c 1415s | 15 | 554327 | 87932 | 67011 1 | 12 | 23 1422.23/1422.79 c 1417s | 15 | 555026 | 88032 | 67011 1 | 12 | 23 1425.83/1426.30 c 1421s | 15 | 555786 | 88232 | 67011 1 | 12 | 23 1427.83/1428.39 c 1423s | 15 | 556484 | 88332 | 67011 1 | 12 | 23 1430.93/1431.45 c 1426s | 15 | 557488 | 88532 | 67011 1 | 12 | 23 1434.73/1435.23 c 1430s | 15 | 558834 | 88732 | 67011 1 | 12 | 23 1438.23/1438.72 c 1433s | 15 | 559576 | 88932 | 67011 1 | 12 | 23 1441.53/1442.10 c 1437s | 15 | 560851 | 89132 | 67011 1 | 12 | 23 1444.73/1445.29 c 1440s | 15 | 561614 | 89332 | 67011 1 | 12 | 23 1447.33/1447.81 c 1442s | 15 | 562113 | 89432 | 67011 1 | 12 | 23 1449.63/1450.10 c 1445s | 15 | 563101 | 89532 | 67011 1 | 12 | 23 1451.83/1452.35 c 1447s | 15 | 563963 | 89632 | 67011 1 | 12 | 23 1456.04/1456.54 c 1451s | 15 | 566274 | 89832 | 67011 1 | 12 | 23 1459.63/1460.13 c 1455s | 15 | 568386 | 90032 | 67011 1 | 12 | 23 1461.63/1462.19 c 1457s | 15 | 569580 | 90132 | 67011 1 | 12 | 23 1465.73/1466.30 c 1461s | 15 | 571124 | 90332 | 67011 1 | 12 | 23 1469.73/1470.22 c 1465s | 15 | 572212 | 90532 | 67011 1 | 12 | 23 1473.73/1474.21 c 1469s | 15 | 573495 | 90732 | 67011 1 | 12 | 23 1475.83/1476.35 c 1471s | 15 | 574200 | 90832 | 67011 1 | 12 | 23 1477.93/1478.47 c 1473s | 15 | 574573 | 90932 | 67011 1 | 12 | 23 1480.03/1480.56 c 1475s | 15 | 575273 | 91032 | 67011 1 | 12 | 23 1482.22/1482.76 c 1477s | 15 | 575653 | 91132 | 67011 1 | 12 | 23 1485.12/1485.63 c 1480s | 15 | 576519 | 91332 | 67011 1 | 12 | 23 1488.62/1489.10 c 1484s | 15 | 577507 | 91532 | 67011 1 | 12 | 23 1492.23/1492.75 c 1487s | 15 | 578903 | 91732 | 67011 1 | 12 | 23 1494.43/1494.91 c 1489s | 15 | 579641 | 91832 | 67011 1 | 12 | 23 1497.83/1498.36 c 1493s | 15 | 580338 | 92032 | 67011 1 | 12 | 23 1499.93/1500.46 c 1495s | 15 | 580724 | 92132 | 67011 1 | 12 | 23 1502.42/1502.98 c 1497s | 15 | 581608 | 92232 | 67011 1 | 12 | 23 1504.62/1505.20 c 1500s | 15 | 582074 | 92332 | 67011 1 | 12 | 23 1507.22/1507.79 c 1502s | 15 | 582714 | 92432 | 67011 1 | 12 | 23 1509.93/1510.46 c 1505s | 15 | 583116 | 92532 | 67011 1 | 12 | 23 1512.03/1512.56 c 1507s | 15 | 583629 | 92632 | 67011 1 | 12 | 23 1514.23/1514.71 c 1509s | 15 | 584160 | 92732 | 67011 1 | 12 | 23 1517.63/1518.16 c 1513s | 15 | 585030 | 92932 | 67011 1 | 12 | 23 1521.62/1522.14 c 1517s | 15 | 586321 | 93132 | 67011 1 | 12 | 23 1523.82/1524.36 c 1519s | 15 | 587020 | 93232 | 67011 1 | 12 | 23 1526.02/1526.53 c 1521s | 15 | 587809 | 93332 | 67011 1 | 12 | 23 1528.72/1529.23 c 1524s | 15 | 588552 | 93432 | 67011 1 | 12 | 23 1531.22/1531.73 c 1526s | 15 | 589029 | 93532 | 67011 1 | 12 | 23 1533.32/1533.85 c 1528s | 15 | 590163 | 93632 | 67011 1 | 12 | 23 1535.62/1536.18 c 1531s | 15 | 590538 | 93732 | 67011 1 | 12 | 23 1538.42/1538.95 c 1533s | 15 | 591015 | 93832 | 67011 1 | 12 | 23 1541.31/1541.86 c 1536s | 15 | 592536 | 93932 | 67011 1 | 12 | 23 1544.02/1544.53 c 1539s | 15 | 593366 | 94032 | 67011 1 | 12 | 23 1546.71/1547.23 c 1542s | 15 | 594527 | 94132 | 67011 1 | 12 | 23 1549.31/1549.87 c 1544s | 15 | 595345 | 94232 | 67011 1 | 12 | 23 1552.11/1552.66 c 1547s | 15 | 596038 | 94332 | 67011 1 | 12 | 23 1554.51/1555.09 c 1550s | 15 | 596884 | 94432 | 67011 1 | 12 | 23 1557.12/1557.61 c 1552s | 15 | 597785 | 94532 | 67011 1 | 12 | 23 1559.21/1559.79 c 1554s | 15 | 598583 | 94632 | 67011 1 | 12 | 23 1562.32/1562.82 c 1557s | 15 | 599359 | 94732 | 67011 1 | 12 | 23 1564.72/1565.28 c 1560s | 15 | 599764 | 94832 | 67011 1 | 12 | 23 1567.13/1567.65 c 1562s | 15 | 600147 | 94932 | 67011 1 | 12 | 23 1569.23/1569.80 c 1564s | 15 | 600971 | 95032 | 67011 1 | 12 | 23 1571.62/1572.19 c 1567s | 15 | 601740 | 95132 | 67011 1 | 12 | 23 1573.92/1574.41 c 1569s | 15 | 602591 | 95232 | 67011 1 | 12 | 23 1576.32/1576.82 c 1571s | 15 | 603262 | 95332 | 67011 1 | 12 | 23 1578.92/1579.44 c 1574s | 15 | 604136 | 95432 | 67011 1 | 12 | 23 1581.22/1581.74 c 1576s | 15 | 605038 | 95532 | 67011 1 | 12 | 23 1583.32/1583.80 c 1578s | 15 | 605630 | 95632 | 67011 1 | 12 | 23 1585.62/1586.13 c 1581s | 15 | 606571 | 95732 | 67011 1 | 12 | 23 1587.72/1588.25 c 1583s | 15 | 607137 | 95832 | 67011 1 | 12 | 23 1590.02/1590.58 c 1585s | 15 | 607658 | 95932 | 67011 1 | 12 | 23 1592.12/1592.62 c 1587s | 15 | 608037 | 96032 | 67011 1 | 12 | 23 1594.21/1594.70 c 1589s | 15 | 608290 | 96132 | 67011 1 | 12 | 23 1596.51/1597.00 c 1592s | 15 | 608686 | 96232 | 67011 1 | 12 | 23 1598.92/1599.42 c 1594s | 15 | 608988 | 96332 | 67011 1 | 12 | 23 1601.31/1601.85 c 1596s | 15 | 609665 | 96432 | 67011 1 | 12 | 23 1605.01/1605.56 c 1600s | 15 | 610199 | 96632 | 67011 1 | 12 | 23 1607.11/1607.65 c 1602s | 15 | 610697 | 96732 | 67011 1 | 12 | 23 1609.21/1609.77 c 1604s | 15 | 611070 | 96832 | 67011 1 | 12 | 23 1613.51/1614.07 c 1609s | 15 | 611744 | 97032 | 67011 1 | 12 | 23 1615.52/1616.10 c 1611s | 15 | 612042 | 97132 | 67011 1 | 12 | 23 1617.72/1618.25 c 1613s | 15 | 612711 | 97232 | 67011 1 | 12 | 23 1621.51/1622.03 c 1617s | 15 | 613358 | 97432 | 67011 1 | 12 | 23 1625.32/1625.87 c 1620s | 15 | 613910 | 97632 | 67011 1 | 12 | 23 1627.41/1627.90 c 1622s | 15 | 614397 | 97732 | 67011 1 | 12 | 23 1629.41/1629.91 c 1624s | 15 | 615021 | 97832 | 67011 1 | 12 | 23 1631.41/1631.96 c 1626s | 15 | 615306 | 97932 | 67011 1 | 12 | 23 1633.51/1634.00 c 1629s | 15 | 615556 | 98032 | 67011 1 | 12 | 23 1635.81/1636.34 c 1631s | 15 | 616139 | 98132 | 67011 1 | 12 | 23 1637.91/1638.46 c 1633s | 15 | 616559 | 98232 | 67011 1 | 12 | 23 1640.41/1640.93 c 1635s | 15 | 617097 | 98332 | 67011 1 | 12 | 23 1642.81/1643.30 c 1638s | 15 | 617758 | 98432 | 67011 1 | 12 | 23 1644.91/1645.43 c 1640s | 15 | 618086 | 98532 | 67011 1 | 12 | 23 1648.61/1649.18 c 1644s | 15 | 619357 | 98732 | 67011 1 | 12 | 23 1652.30/1652.83 c 1647s | 15 | 619871 | 98932 | 67011 1 | 12 | 23 1654.40/1654.93 c 1649s | 15 | 620133 | 99032 | 67011 1 | 12 | 23 1658.50/1659.01 c 1654s | 15 | 621066 | 99232 | 67011 1 | 12 | 23 1660.61/1661.16 c 1656s | 15 | 621514 | 99332 | 67011 1 | 12 | 23 1664.60/1665.16 c 1660s | 15 | 621967 | 99532 | 67011 1 | 12 | 23 1667.00/1667.50 c 1662s | 15 | 622486 | 99632 | 67011 1 | 12 | 23 1669.20/1669.74 c 1664s | 15 | 623106 | 99732 | 67011 1 | 12 | 23 1673.10/1673.63 c 1668s | 15 | 623926 | 99932 | 67011 1 | 12 | 23 1675.20/1675.79 c 1670s | 15 | 624327 | 100032 | 67011 2 | 12 | 23 1678.70/1679.24 c 1674s | 15 | 624805 | 100232 | 67011 2 | 12 | 23 1681.00/1681.51 c 1676s | 15 | 625256 | 100332 | 67011 2 | 12 | 23 1683.00/1683.54 c 1678s | 15 | 625523 | 100432 | 67011 2 | 12 | 23 1686.90/1687.44 c 1682s | 15 | 627006 | 100632 | 67011 2 | 12 | 23 1690.80/1691.33 c 1686s | 15 | 628747 | 100832 | 67011 2 | 12 | 23 1694.70/1695.27 c 1690s | 15 | 630547 | 101032 | 67011 2 | 12 | 23 1698.39/1698.94 c 1693s | 15 | 631485 | 101232 | 67011 2 | 12 | 23 1702.19/1702.74 c 1697s | 15 | 633306 | 101432 | 67011 2 | 12 | 23 1705.99/1706.51 c 1701s | 15 | 634399 | 101632 | 67011 2 | 12 | 23 1708.19/1708.73 c 1703s | 15 | 634700 | 101732 | 67011 2 | 12 | 23 1712.09/1712.65 c 1707s | 15 | 635860 | 101932 | 67011 2 | 12 | 23 1715.79/1716.35 c 1711s | 15 | 637052 | 102132 | 67011 2 | 12 | 23 1717.99/1718.56 c 1713s | 15 | 638175 | 102232 | 67011 2 | 12 | 23 1720.39/1720.94 c 1715s | 15 | 638802 | 102332 | 67011 2 | 12 | 23 1722.69/1723.21 c 1718s | 15 | 639086 | 102432 | 67011 2 | 12 | 23 1724.69/1725.23 c 1720s | 15 | 639587 | 102532 | 67011 2 | 12 | 23 1726.99/1727.50 c 1722s | 15 | 640079 | 102632 | 67011 2 | 12 | 23 1729.59/1730.15 c 1725s | 15 | 640782 | 102732 | 67011 2 | 12 | 23 1731.79/1732.32 c 1727s | 15 | 641574 | 102832 | 67011 2 | 12 | 23 1735.89/1736.41 c 1731s | 15 | 642766 | 103032 | 67011 2 | 12 | 23 1738.49/1739.04 c 1734s | 15 | 643452 | 103132 | 67011 2 | 12 | 23 1741.09/1741.60 c 1736s | 15 | 644210 | 103232 | 67011 2 | 12 | 23 1743.79/1744.33 c 1739s | 15 | 645038 | 103332 | 67011 2 | 12 | 23 1745.79/1746.34 c 1741s | 15 | 645565 | 103432 | 67011 2 | 12 | 23 1747.99/1748.58 c 1743s | 15 | 646190 | 103532 | 67011 2 | 12 | 23 1750.29/1750.88 c 1745s | 15 | 646705 | 103632 | 67011 2 | 12 | 23 1752.69/1753.27 c 1748s | 15 | 647333 | 103732 | 67011 2 | 12 | 23 1756.98/1757.53 c 1752s | 15 | 649675 | 103932 | 67011 2 | 12 | 23 1759.18/1759.74 c 1754s | 15 | 650419 | 104032 | 67011 2 | 12 | 23 1761.38/1761.99 c 1756s | 15 | 651599 | 104132 | 67011 2 | 12 | 23 1765.18/1765.77 c 1760s | 15 | 652683 | 104332 | 67011 2 | 12 | 23 1767.19/1767.79 c 1762s | 15 | 653407 | 104432 | 67011 2 | 12 | 23 1769.39/1769.94 c 1764s | 15 | 654160 | 104532 | 67011 2 | 12 | 23 1771.48/1772.06 c 1767s | 15 | 654586 | 104632 | 67011 2 | 12 | 23 1773.68/1774.27 c 1769s | 15 | 655145 | 104732 | 67011 2 | 12 | 23 1775.88/1776.43 c 1771s | 15 | 655551 | 104832 | 67011 2 | 12 | 23 1778.08/1778.61 c 1773s | 15 | 655899 | 104932 | 67011 2 | 12 | 23 1780.39/1780.96 c 1775s | 15 | 656403 | 105032 | 67011 2 | 12 | 23 1782.38/1782.97 c 1777s | 15 | 656849 | 105132 | 67011 2 | 12 | 23 1784.89/1785.42 c 1780s | 15 | 657308 | 105232 | 67011 2 | 12 | 23 1786.88/1787.49 c 1782s | 15 | 657542 | 105332 | 67011 2 | 12 | 23 1790.98/1791.51 c 1786s | 15 | 657980 | 105532 | 67011 2 | 12 | 23 1793.18/1793.73 c 1788s | 15 | 658431 | 105632 | 67011 2 | 12 | 23 1795.28/1795.85 c 1790s | 15 | 659169 | 105732 | 67011 2 | 12 | 23 1798.98/1799.59 c 1794s | 15 | 659970 | 105932 | 67011 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-4106640-1466275291/watcher-4106640-1466275291 -o /tmp/evaluation-result-4106640-1466275291/solver-4106640-1466275291 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106640-1466275291.opb pid=10139 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.12 2.16 2.17 3/179 10142 /proc/meminfo: memFree=30158556/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=653892 CPUtime=0 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 2428 0 0 0 0 0 0 0 20 0 4 0 29579204 669585408 2789 33554432000 4194304 16246674 140734740234848 140734740234272 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 163985 2799 442 2943 0 160879 0 [pid=10142/tid=10143] ppid=10139 vsize=697924 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 714674176 2960 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=702020 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 718868480 2978 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=706116 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29579204 723062784 2995 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100175 s] /proc/loadavg: 2.12 2.16 2.17 3/179 10142 /proc/meminfo: memFree=30158556/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1220164 CPUtime=0.08 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 24760 0 0 0 5 3 0 0 20 0 4 0 29579204 1249447936 25060 33554432000 4194304 16246674 140734740234848 140734740234160 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 305041 25068 835 2943 0 301935 0 [pid=10142/tid=10143] ppid=10139 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1249447936 25075 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1249447936 25082 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29579204 1249447936 25088 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1220164 [startup+0.20053 s] /proc/loadavg: 2.12 2.16 2.17 3/179 10142 /proc/meminfo: memFree=30158556/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1284676 CPUtime=0.18 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 43093 0 0 0 13 5 0 0 20 0 4 0 29579204 1315508224 43393 33554432000 4194304 16246674 140734740234848 140734740234160 13956064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 321169 43404 835 2943 0 318063 0 [pid=10142/tid=10143] ppid=10139 vsize=1284676 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1315508224 43411 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1284676 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1315508224 43417 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1284676 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1315508224 43424 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1284676 [startup+0.30049 s] /proc/loadavg: 2.12 2.16 2.17 3/179 10142 /proc/meminfo: memFree=30158556/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1290820 CPUtime=0.28 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 53788 0 0 0 21 7 0 0 20 0 4 0 29579204 1321799680 54087 33554432000 4194304 16246674 140734740234848 140734740234160 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 322705 54094 837 2943 0 319599 0 [pid=10142/tid=10143] ppid=10139 vsize=1290820 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1321799680 54098 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1290820 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1321799680 54104 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1290820 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1321799680 54107 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1290820 [startup+0.70037 s] /proc/loadavg: 2.12 2.16 2.17 3/179 10142 /proc/meminfo: memFree=30158556/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1307204 CPUtime=0.69 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 58170 0 0 0 61 8 0 0 20 0 4 0 29579204 1338576896 58469 33554432000 4194304 16246674 140734740234848 140734740216768 5661879 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 326801 58469 911 2943 0 323695 0 [pid=10142/tid=10143] ppid=10139 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1338576896 58469 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1338576896 58469 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1338576896 58469 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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: 2.12 2.16 2.17 3/183 10146 /proc/meminfo: memFree=29749972/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1308228 CPUtime=1.49 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 102287 0 0 0 135 14 0 0 20 0 4 0 29579204 1339625472 102586 33554432000 4194304 16246674 140734740234848 140734740216768 6011708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 327057 102586 913 2943 0 323951 0 [pid=10142/tid=10143] ppid=10139 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1339625472 102586 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1339625472 102586 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1339625472 102586 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1308228 [startup+3.10042 s] /proc/loadavg: 2.11 2.16 2.17 3/183 10146 /proc/meminfo: memFree=29492664/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1308228 CPUtime=3.09 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 166292 0 0 0 286 23 0 0 20 0 4 0 29579204 1339625472 166591 33554432000 4194304 16246674 140734740234848 140734740232832 13898695 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 327057 166591 913 2943 0 323951 0 [pid=10142/tid=10143] ppid=10139 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1339625472 166591 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1339625472 166591 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1339625472 166591 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.30041 s] /proc/loadavg: 2.11 2.16 2.17 3/183 10146 /proc/meminfo: memFree=29492940/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1308228 CPUtime=6.29 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 229182 0 0 0 598 31 0 0 20 0 4 0 29579204 1339625472 229481 33554432000 4194304 16246674 140734740234848 140734740216768 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 327057 229488 914 2943 0 323951 0 [pid=10142/tid=10143] ppid=10139 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1339625472 229492 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1339625472 229496 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1339625472 229500 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.18 2.17 2.17 4/183 10146 /proc/meminfo: memFree=29082488/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1311300 CPUtime=12.69 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 268980 0 0 0 1232 37 0 0 20 0 4 0 29579204 1342771200 269279 33554432000 4194304 16246674 140734740234848 140734740216768 5673957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 327825 269279 914 2943 0 324719 0 [pid=10142/tid=10143] ppid=10139 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1342771200 269279 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1342771200 269279 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1342771200 269279 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1311300 [startup+25.5005 s] /proc/loadavg: 2.20 2.18 2.18 3/183 10146 /proc/meminfo: memFree=29082884/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1311300 CPUtime=25.49 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 268982 0 0 0 2512 37 0 0 20 0 4 0 29579204 1342771200 269281 33554432000 4194304 16246674 140734740234848 140734740216768 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 327825 269281 916 2943 0 324719 0 [pid=10142/tid=10143] ppid=10139 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1342771200 269281 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1342771200 269281 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1342771200 269281 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.13 2.16 2.17 4/183 10146 /proc/meminfo: memFree=29082980/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1311300 CPUtime=51.08 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 268982 0 0 0 5071 37 0 0 20 0 4 0 29579204 1342771200 269281 33554432000 4194304 16246674 140734740234848 140734740216768 12483674 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 327825 269281 916 2943 0 324719 0 [pid=10142/tid=10143] ppid=10139 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1342771200 269281 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1342771200 269281 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1342771200 269281 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1311300 [startup+102.301 s] /proc/loadavg: 2.24 2.18 2.18 4/183 10147 /proc/meminfo: memFree=29082636/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1311300 CPUtime=102.28 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 268982 0 0 0 10191 37 0 0 20 0 4 0 29579204 1342771200 269281 33554432000 4194304 16246674 140734740234848 140734740216768 5673687 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 327825 269281 916 2943 0 324719 0 [pid=10142/tid=10143] ppid=10139 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1342771200 269281 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1342771200 269281 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1342771200 269281 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1311300 ################ # More data... # ################ /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1338948 [startup+1302.3 s] /proc/loadavg: 1.11 1.33 1.74 2/173 10229 /proc/meminfo: memFree=30178484/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1338948 CPUtime=1301.85 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 276335 0 0 0 130145 40 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140734740216768 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 334737 276509 918 2943 0 331631 0 [pid=10142/tid=10143] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1338948 [startup+1362.3 s] /proc/loadavg: 1.09 1.28 1.70 3/173 10230 /proc/meminfo: memFree=30178708/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1338948 CPUtime=1361.85 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 276336 0 0 0 136145 40 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140734740216768 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 334737 276509 918 2943 0 331631 0 [pid=10142/tid=10143] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1338948 [startup+1422.3 s] /proc/loadavg: 1.13 1.26 1.66 2/173 10231 /proc/meminfo: memFree=30178900/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1338948 CPUtime=1421.84 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 276336 0 0 0 142144 40 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140734740216768 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 334737 276509 918 2943 0 331631 0 [pid=10142/tid=10143] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1338948 [startup+1482.3 s] /proc/loadavg: 1.10 1.22 1.62 2/173 10233 /proc/meminfo: memFree=30178712/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1338948 CPUtime=1481.82 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 276336 0 0 0 148142 40 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140734740216768 13821000 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 334737 276509 918 2943 0 331631 0 [pid=10142/tid=10143] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1338948 [startup+1542.31 s] /proc/loadavg: 1.12 1.21 1.59 3/173 10234 /proc/meminfo: memFree=30178912/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1338948 CPUtime=1541.82 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 276336 0 0 0 154142 40 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140734740216768 5675212 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 334737 276509 918 2943 0 331631 0 [pid=10142/tid=10143] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1338948 [startup+1602.3 s] /proc/loadavg: 1.22 1.21 1.57 2/173 10235 /proc/meminfo: memFree=30179104/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1338948 CPUtime=1601.81 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 276336 0 0 0 160140 41 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140734740216768 5662038 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 334737 276509 918 2943 0 331631 0 [pid=10142/tid=10143] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1338948 [startup+1662.3 s] /proc/loadavg: 1.13 1.19 1.53 2/173 10236 /proc/meminfo: memFree=30179044/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1338948 CPUtime=1661.8 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 276336 0 0 0 166139 41 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140734740216768 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 334737 276509 918 2943 0 331631 0 [pid=10142/tid=10143] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1338948 [startup+1722.3 s] /proc/loadavg: 1.13 1.18 1.51 2/174 10240 /proc/meminfo: memFree=30178392/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1338948 CPUtime=1721.79 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 276336 0 0 0 172138 41 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140734740216768 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 334737 276509 918 2943 0 331631 0 [pid=10142/tid=10143] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1338948 [startup+1782.3 s] /proc/loadavg: 1.28 1.21 1.49 2/173 10242 /proc/meminfo: memFree=30178212/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1338948 CPUtime=1781.78 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 276336 0 0 0 178137 41 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140734740216768 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 334737 276509 918 2943 0 331631 0 [pid=10142/tid=10143] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1338948 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.20 1.19 1.48 3/173 10243 /proc/meminfo: memFree=30177716/32872528 swapFree=526336/559040 [pid=10142] ppid=10139 vsize=1338948 CPUtime=1800.08 cores=1,3,5,7 /proc/10142/stat : 10142 (toysat) R 10139 10142 28898 0 -1 4202496 276336 0 0 0 179967 41 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140734740216768 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10142/statm: 334737 276509 918 2943 0 331631 0 [pid=10142/tid=10143] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10143/stat : 10143 (toysat) S 10139 10142 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307923447024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10142/tid=10144] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10144/stat : 10144 (toysat) S 10139 10142 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307912957168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10142/tid=10145] ppid=10139 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/10142/task/10145/stat : 10145 (toysat) S 10139 10142 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29579204 1371082752 276509 33554432000 4194304 16246674 140734740234848 140307790294192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1338948 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 10142 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.09 CPU user time (s): 1799.68 CPU system time (s): 0.415936 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 1338948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.68 system time used= 0.415936 maximum resident set size= 1106036 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 276336 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= 397 involuntary context switches= 1892 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.41933 second user time and 7.09292 second system time The end
Begin job on node106 at 2016-06-18 20:41:31 IDJOB=4106640 IDBENCH=48160 IDSOLVER=2542 FILE ID=node106/4106640-1466275291 RUNJOBID= node106-1466241787-28915 PBS_JOBID= 19918214 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106640-1466275291/watcher-4106640-1466275291 -o /tmp/evaluation-result-4106640-1466275291/solver-4106640-1466275291 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106640-1466275291.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b1035f5aebd5cbd90440f32e03bdad12 RANDOM SEED=1290275256 node106.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 : 2667.073 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 : 5334.14 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 : 2667.073 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 : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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.56 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 : 2667.073 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 : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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.38 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 : 2667.073 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: 30158820 kB Buffers: 98240 kB Cached: 199204 kB SwapCached: 1736 kB Active: 1206596 kB Inactive: 198748 kB Active(anon): 1106296 kB Inactive(anon): 4000 kB Active(file): 100300 kB Inactive(file): 194748 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16308 kB Writeback: 12 kB AnonPages: 1668320 kB Mapped: 10760 kB Shmem: 0 kB Slab: 612912 kB SReclaimable: 56636 kB SUnreclaim: 556276 kB KernelStack: 1472 kB PageTables: 7328 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1809752 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 120832 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= 71684 MiB End job on node106 at 2016-06-18 21:11:32