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.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_027_area_delay.opb |
| MD5SUM | 1b0ac127de7b79f6251c1506cbcbe6c3 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 0.155975 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 8805 |
| Total number of constraints | 27496 |
| Number of constraints which are clauses | 27496 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 4284 |
| 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 | 4284 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 4284 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T23:52:47+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-4079854-1465249966.opb"] 0.00/0.01 c use --random-gen="919928148 916039880 373598393 2894523120 3737999303 3527889232 988042626 3314342639 2335878319 2112308442 3435427410 453666658 3872302075 692925637 2463323919 4206108209 2129819435 2158414995 3778812061 3607703086 4258244837 3111219800 4009951617 1821856130 3638918102 3021386921 1352776026 3372380763 2996617119 3827919451 816550167 2105876324 83602678 476968566 772055913 1016622823 1652417776 260603690 1769583653 2537931266 3222921500 410960689 787389781 10694741 1506128328 42996223 3884484344 2866227564 2830165135 451301229 1684922449 122247755 4182360026 3883230344 3817082173 1317378009 3161739234 3257365865 1005420025 2148741796 3908106899 2787165691 2251373884 245396760 707704642 890609900 3245601385 4029408897 492686805 747260395 318521530 523603114 1998399382 3631303069 3832604936 3228493943 971825486 611904125 384436780 2616324224 1018029109 1287041065 4290437773 3579118489 1113062979 976366700 3152717004 193604258 1590398858 127835434 2760041661 257627552 4272238002 4210800051 3401631863 611231347 3265576989 2660284700 2827665473 634175625 4024164087 3208994370 4264744870 1081431867 1927562390 451578675 50952805 834932745 1276728723 237751488 1449522159 709681552 2203580562 3822486206 648255478 2137261025 2375161219 986507306 1257985604 1662760959 403018848 2016563400 1562018716 418422986 3595302676 1795618170 2691495561 2473233117 1267273530 103512275 4074740345 114303486 3390759232 1325961188 1317651888 4260651468 1131992524 4050282548 3366185439 1300610852 2046899877 189935922 2597133614 4165258082 1129011643 998301660 154996540 757137740 4143021501 3680720393 4192290074 1892368935 314799420 3408110529 297828458 1736501730 4277542042 4027151167 1547796635 3025501439 2577316767 102825116 2358334004 2801122443 1298695584 3817284367 700134880 2718107936 2372892633 3215510169 1613542457 2565046351 3195791567 3314366342 1934721886 1042826567 2278364954 3116127671 101523295 3787065584 435009832 709447753 3991947803 2616508867 1551814739 3337499878 2271668278 1627409677 2157307364 3169019059 1109498643 401191620 4109342936 443606360 2898757814 2745279653 384684724 2611550533 1036285366 2588460753 1821919470 2563982288 1905887489 2854562992 1670944296 3429649653 1766132170 4039724280 460071025 1740676957 2359885208 3997328122 3829933152 2272459182 3789523355 2676991604 3599594580 226396732 1689116666 672002307 3997089636 1818983833 3637938897 3732232776 1871576049 3633659253 1567949844 123912551 2119693515 1284886562 1934501424 1849196379 4160540843 1813479770 3175142692 1959806791 1549540685 459607917 2873271150 14966892 1002071602 155012865 4168764400 3130358571 2413291906 4028982381 606520424 2334780316 3198210383 3965210150 256237614 3759955891 2460127658 1111683801 789620378 4222331996 255 362436" option to reproduce the execution 0.19/0.20 c #vars 8805 0.19/0.20 c #constraints 27496 0.49/0.52 c BCD2: Hardening is enabled. 0.49/0.52 c BCD2: BiasedSearch is enabled. 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 11873 0 | 1362 | 0 0.49/0.59 c 0.1s | 0 | 2091 | 0 | 11873 0 | 1362 | 3161 0.49/0.59 c #cpu_time = 0.066s 0.49/0.59 c #wall_clock_time = 0.066s 0.49/0.59 c #decision = 2091 0.49/0.59 c #random_decision = 6 0.49/0.59 c #conflict = 0 0.49/0.59 c #restart = 0 0.49/0.59 o 2092 0.59/0.66 c BCD2: updating upper bound: 4284 -> 2091 0.59/0.69 c BCD2: 0 <= obj <= 2091 0.59/0.69 c BCD2: #cores=0, #unrelaxed=4284, #relaxed=0, #hardened=0 0.59/0.69 c BCD2: #sat=1 #unsat=1 bias=1/2 0.59/0.69 c Solving starts ... 0.59/0.69 c ============================[ Search Statistics ]============================ 0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.69 c | | | | Limit GC | Var | Constra 0.59/0.69 c ============================================================================= 0.59/0.69 c 0.0s | 0 | 0 | 0 | 11873 0 | 1362 | 3161 0.69/0.70 c 0.0s | 0 | 1 | 0 | 11873 0 | 1362 | 3161 0.69/0.70 c #cpu_time = 0.008s 0.69/0.70 c #wall_clock_time = 0.008s 0.69/0.70 c #decision = 1 0.69/0.70 c #random_decision = 0 0.69/0.70 c #conflict = 0 0.69/0.70 c #restart = 0 0.69/0.70 c BCD2: found a new core of size 2: cost of the new core is >=1 0.69/0.70 c lower bound updated to 1 0.69/0.71 c BCD2: 1 <= obj <= 2091 0.69/0.71 c BCD2: #cores=1, #unrelaxed=4282, #relaxed=2, #hardened=0 0.69/0.71 c BCD2: #sat=1 #unsat=2 bias=2/3 0.69/0.71 c Solving starts ... 0.69/0.71 c ============================[ Search Statistics ]============================ 0.69/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.71 c | | | | Limit GC | Var | Constra 0.69/0.71 c ============================================================================= 0.69/0.71 c 0.0s | 0 | 0 | 0 | 11873 0 | 1362 | 3161 0.69/0.72 c 0.0s | 0 | 2 | 0 | 11873 0 | 1362 | 3161 0.69/0.72 c #cpu_time = 0.007s 0.69/0.72 c #wall_clock_time = 0.007s 0.69/0.72 c #decision = 2 0.69/0.72 c #random_decision = 0 0.69/0.72 c #conflict = 0 0.69/0.72 c #restart = 0 0.69/0.72 c BCD2: found a new core of size 2: cost of the new core is >=1 0.69/0.72 c lower bound updated to 2 0.69/0.72 c BCD2: 2 <= obj <= 2091 0.69/0.72 c BCD2: #cores=2, #unrelaxed=4280, #relaxed=4, #hardened=0 0.69/0.72 c BCD2: #sat=1 #unsat=3 bias=3/4 0.69/0.72 c Solving starts ... 0.69/0.72 c ============================[ Search Statistics ]============================ 0.69/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.72 c | | | | Limit GC | Var | Constra 0.69/0.72 c ============================================================================= 0.69/0.72 c 0.0s | 0 | 0 | 0 | 11873 0 | 1362 | 3161 0.69/0.73 c 0.0s | 0 | 26 | 0 | 11873 0 | 1362 | 3161 0.69/0.73 c #cpu_time = 0.011s 0.69/0.73 c #wall_clock_time = 0.011s 0.69/0.73 c #decision = 26 0.69/0.73 c #random_decision = 0 0.69/0.73 c #conflict = 0 0.69/0.73 c #restart = 0 0.69/0.73 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 8: cost of the new core is >=2 0.69/0.73 c lower bound updated to 3 0.69/0.73 c BCD2: 3 <= obj <= 2091 0.69/0.73 c BCD2: #cores=2, #unrelaxed=4274, #relaxed=10, #hardened=0 0.69/0.73 c BCD2: #sat=1 #unsat=4 bias=4/5 0.69/0.73 c Solving starts ... 0.69/0.73 c ============================[ Search Statistics ]============================ 0.69/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.73 c | | | | Limit GC | Var | Constra 0.69/0.73 c ============================================================================= 0.69/0.73 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3161 0.69/0.74 c 0.0s | 0 | 24 | 0 | 11873 0 | 1363 | 3162 0.69/0.74 c #cpu_time = 0.008s 0.69/0.74 c #wall_clock_time = 0.008s 0.69/0.74 c #decision = 24 0.69/0.74 c #random_decision = 0 0.69/0.74 c #conflict = 0 0.69/0.74 c #restart = 0 0.69/0.74 c BCD2: found a new core of size 3: cost of the new core is >=1 0.69/0.74 c lower bound updated to 4 0.69/0.75 c BCD2: 4 <= obj <= 2091 0.69/0.75 c BCD2: #cores=3, #unrelaxed=4271, #relaxed=13, #hardened=0 0.69/0.75 c BCD2: #sat=1 #unsat=5 bias=5/6 0.69/0.75 c Solving starts ... 0.69/0.75 c ============================[ Search Statistics ]============================ 0.69/0.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.75 c | | | | Limit GC | Var | Constra 0.69/0.75 c ============================================================================= 0.69/0.75 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3162 0.69/0.76 c 0.0s | 0 | 55 | 0 | 11873 0 | 1363 | 3162 0.69/0.76 c #cpu_time = 0.009s 0.69/0.76 c #wall_clock_time = 0.009s 0.69/0.76 c #decision = 55 0.69/0.76 c #random_decision = 0 0.69/0.76 c #conflict = 0 0.69/0.76 c #restart = 0 0.69/0.76 c BCD2: found a new core of size 3: cost of the new core is >=1 0.69/0.76 c lower bound updated to 5 0.69/0.76 c BCD2: 5 <= obj <= 2091 0.69/0.76 c BCD2: #cores=4, #unrelaxed=4268, #relaxed=16, #hardened=0 0.69/0.76 c BCD2: #sat=1 #unsat=6 bias=6/7 0.69/0.76 c Solving starts ... 0.69/0.76 c ============================[ Search Statistics ]============================ 0.69/0.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.76 c | | | | Limit GC | Var | Constra 0.69/0.76 c ============================================================================= 0.69/0.76 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3162 0.69/0.77 c 0.0s | 0 | 184 | 0 | 11873 0 | 1363 | 3162 0.69/0.77 c #cpu_time = 0.012s 0.69/0.77 c #wall_clock_time = 0.012s 0.69/0.77 c #decision = 184 0.69/0.77 c #random_decision = 0 0.69/0.77 c #conflict = 0 0.69/0.77 c #restart = 0 0.69/0.77 c BCD2: found a new core of size 3: cost of the new core is >=1 0.69/0.77 c lower bound updated to 6 0.69/0.77 c BCD2: 6 <= obj <= 2091 0.69/0.77 c BCD2: #cores=5, #unrelaxed=4265, #relaxed=19, #hardened=0 0.69/0.77 c BCD2: #sat=1 #unsat=7 bias=7/8 0.69/0.77 c Solving starts ... 0.69/0.77 c ============================[ Search Statistics ]============================ 0.69/0.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.77 c | | | | Limit GC | Var | Constra 0.69/0.77 c ============================================================================= 0.69/0.77 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3162 0.69/0.78 c 0.0s | 0 | 283 | 0 | 11873 0 | 1363 | 3162 0.69/0.78 c #cpu_time = 0.009s 0.69/0.78 c #wall_clock_time = 0.009s 0.69/0.78 c #decision = 283 0.69/0.78 c #random_decision = 0 0.69/0.78 c #conflict = 0 0.69/0.78 c #restart = 0 0.69/0.78 c BCD2: found a new core of size 13: cost of the new core is >=1 0.69/0.78 c lower bound updated to 7 0.69/0.78 c BCD2: 7 <= obj <= 2091 0.69/0.78 c BCD2: #cores=6, #unrelaxed=4252, #relaxed=32, #hardened=0 0.69/0.78 c BCD2: #sat=1 #unsat=8 bias=8/9 0.69/0.78 c Solving starts ... 0.69/0.78 c ============================[ Search Statistics ]============================ 0.69/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.78 c | | | | Limit GC | Var | Constra 0.69/0.78 c ============================================================================= 0.69/0.79 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3162 0.69/0.80 c 0.0s | 0 | 337 | 0 | 11873 0 | 1363 | 3162 0.69/0.80 c #cpu_time = 0.009s 0.69/0.80 c #wall_clock_time = 0.009s 0.69/0.80 c #decision = 337 0.69/0.80 c #random_decision = 0 0.69/0.80 c #conflict = 0 0.69/0.80 c #restart = 0 0.69/0.80 c BCD2: found a new core of size 9: cost of the new core is >=1 0.69/0.80 c lower bound updated to 8 0.79/0.80 c BCD2: 8 <= obj <= 2091 0.79/0.80 c BCD2: #cores=7, #unrelaxed=4243, #relaxed=41, #hardened=0 0.79/0.80 c BCD2: #sat=1 #unsat=9 bias=9/10 0.79/0.80 c Solving starts ... 0.79/0.80 c ============================[ Search Statistics ]============================ 0.79/0.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.80 c | | | | Limit GC | Var | Constra 0.79/0.80 c ============================================================================= 0.79/0.80 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3162 0.79/0.81 c 0.0s | 0 | 441 | 0 | 11873 0 | 1363 | 3162 0.79/0.81 c #cpu_time = 0.010s 0.79/0.81 c #wall_clock_time = 0.010s 0.79/0.81 c #decision = 441 0.79/0.81 c #random_decision = 0 0.79/0.81 c #conflict = 0 0.79/0.81 c #restart = 0 0.79/0.81 c BCD2: found a new core of size 80: cost of the new core is >=1 0.79/0.81 c lower bound updated to 9 0.79/0.81 c BCD2: 9 <= obj <= 2091 0.79/0.81 c BCD2: #cores=8, #unrelaxed=4163, #relaxed=121, #hardened=0 0.79/0.81 c BCD2: #sat=1 #unsat=10 bias=10/11 0.79/0.81 c Solving starts ... 0.79/0.81 c ============================[ Search Statistics ]============================ 0.79/0.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.81 c | | | | Limit GC | Var | Constra 0.79/0.81 c ============================================================================= 0.79/0.81 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3162 0.79/0.82 c 0.0s | 0 | 842 | 0 | 11873 0 | 1363 | 3162 0.79/0.82 c #cpu_time = 0.010s 0.79/0.82 c #wall_clock_time = 0.010s 0.79/0.82 c #decision = 842 0.79/0.82 c #random_decision = 0 0.79/0.82 c #conflict = 0 0.79/0.82 c #restart = 0 0.79/0.82 c BCD2: found a new core of size 59: cost of the new core is >=1 0.79/0.82 c lower bound updated to 10 0.79/0.82 c BCD2: 10 <= obj <= 2091 0.79/0.82 c BCD2: #cores=9, #unrelaxed=4104, #relaxed=180, #hardened=0 0.79/0.82 c BCD2: #sat=1 #unsat=11 bias=11/12 0.79/0.82 c Solving starts ... 0.79/0.82 c ============================[ Search Statistics ]============================ 0.79/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.82 c | | | | Limit GC | Var | Constra 0.79/0.82 c ============================================================================= 0.79/0.82 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3162 0.79/0.84 c 0.0s | 0 | 859 | 0 | 11873 0 | 1363 | 3162 0.79/0.84 c #cpu_time = 0.010s 0.79/0.84 c #wall_clock_time = 0.010s 0.79/0.84 c #decision = 859 0.79/0.84 c #random_decision = 0 0.79/0.84 c #conflict = 0 0.79/0.84 c #restart = 0 0.79/0.84 c BCD2: found a new core of size 27: cost of the new core is >=1 0.79/0.84 c lower bound updated to 11 0.79/0.84 c BCD2: 11 <= obj <= 2091 0.79/0.84 c BCD2: #cores=10, #unrelaxed=4077, #relaxed=207, #hardened=0 0.79/0.84 c BCD2: #sat=1 #unsat=12 bias=12/13 0.79/0.84 c Solving starts ... 0.79/0.84 c ============================[ Search Statistics ]============================ 0.79/0.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.84 c | | | | Limit GC | Var | Constra 0.79/0.84 c ============================================================================= 0.79/0.84 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3162 0.79/0.85 c 0.0s | 0 | 959 | 0 | 11873 0 | 1363 | 3162 0.79/0.85 c #cpu_time = 0.009s 0.79/0.85 c #wall_clock_time = 0.009s 0.79/0.85 c #decision = 959 0.79/0.85 c #random_decision = 0 0.79/0.85 c #conflict = 0 0.79/0.85 c #restart = 0 0.79/0.85 c BCD2: found a new core of size 92: cost of the new core is >=1 0.79/0.85 c lower bound updated to 12 0.79/0.85 c BCD2: 12 <= obj <= 2091 0.79/0.85 c BCD2: #cores=11, #unrelaxed=3985, #relaxed=299, #hardened=0 0.79/0.85 c BCD2: #sat=1 #unsat=13 bias=13/14 0.79/0.85 c Solving starts ... 0.79/0.85 c ============================[ Search Statistics ]============================ 0.79/0.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.85 c | | | | Limit GC | Var | Constra 0.79/0.85 c ============================================================================= 0.79/0.85 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3162 0.79/0.86 c 0.0s | 0 | 1073 | 0 | 11873 0 | 1363 | 3162 0.79/0.86 c #cpu_time = 0.011s 0.79/0.86 c #wall_clock_time = 0.011s 0.79/0.86 c #decision = 1073 0.79/0.86 c #random_decision = 0 0.79/0.86 c #conflict = 0 0.79/0.86 c #restart = 0 0.79/0.86 c BCD2: found a new core of size 26: cost of the new core is >=1 0.79/0.86 c lower bound updated to 13 0.79/0.87 c BCD2: 13 <= obj <= 2091 0.79/0.87 c BCD2: #cores=12, #unrelaxed=3959, #relaxed=325, #hardened=0 0.79/0.87 c BCD2: #sat=1 #unsat=14 bias=14/15 0.79/0.87 c Solving starts ... 0.79/0.87 c ============================[ Search Statistics ]============================ 0.79/0.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.87 c | | | | Limit GC | Var | Constra 0.79/0.87 c ============================================================================= 0.79/0.87 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3162 0.79/0.88 c 0.0s | 0 | 1333 | 0 | 11873 0 | 1363 | 3162 0.79/0.88 c #cpu_time = 0.010s 0.79/0.88 c #wall_clock_time = 0.010s 0.79/0.88 c #decision = 1333 0.79/0.88 c #random_decision = 0 0.79/0.88 c #conflict = 0 0.79/0.88 c #restart = 0 0.79/0.88 c BCD2: found a new core of size 64: cost of the new core is >=1 0.79/0.88 c lower bound updated to 14 0.79/0.88 c BCD2: 14 <= obj <= 2091 0.79/0.88 c BCD2: #cores=13, #unrelaxed=3895, #relaxed=389, #hardened=0 0.79/0.88 c BCD2: #sat=1 #unsat=15 bias=15/16 0.79/0.88 c Solving starts ... 0.79/0.88 c ============================[ Search Statistics ]============================ 0.79/0.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.88 c | | | | Limit GC | Var | Constra 0.79/0.88 c ============================================================================= 0.79/0.88 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3162 0.89/0.90 c 0.0s | 0 | 1307 | 0 | 11873 0 | 1363 | 3162 0.89/0.90 c #cpu_time = 0.014s 0.89/0.90 c #wall_clock_time = 0.014s 0.89/0.90 c #decision = 1307 0.89/0.90 c #random_decision = 0 0.89/0.90 c #conflict = 0 0.89/0.90 c #restart = 0 0.89/0.90 c BCD2: found a new core of size 27: cost of the new core is >=1 0.89/0.90 c lower bound updated to 15 0.89/0.90 c BCD2: 15 <= obj <= 2091 0.89/0.90 c BCD2: #cores=14, #unrelaxed=3868, #relaxed=416, #hardened=0 0.89/0.90 c BCD2: #sat=1 #unsat=16 bias=16/17 0.89/0.90 c Solving starts ... 0.89/0.90 c ============================[ Search Statistics ]============================ 0.89/0.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.90 c | | | | Limit GC | Var | Constra 0.89/0.90 c ============================================================================= 0.89/0.90 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3162 0.89/0.91 c 0.0s | 0 | 1523 | 0 | 11873 0 | 1363 | 3162 0.89/0.91 c #cpu_time = 0.010s 0.89/0.91 c #wall_clock_time = 0.010s 0.89/0.91 c #decision = 1523 0.89/0.91 c #random_decision = 0 0.89/0.91 c #conflict = 0 0.89/0.91 c #restart = 0 0.89/0.91 c BCD2: found a new core of size 53: cost of the new core is >=1 0.89/0.91 c lower bound updated to 16 0.89/0.91 c BCD2: 16 <= obj <= 2091 0.89/0.91 c BCD2: #cores=15, #unrelaxed=3815, #relaxed=469, #hardened=0 0.89/0.91 c BCD2: #sat=1 #unsat=17 bias=17/18 0.89/0.91 c Solving starts ... 0.89/0.91 c ============================[ Search Statistics ]============================ 0.89/0.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.91 c | | | | Limit GC | Var | Constra 0.89/0.91 c ============================================================================= 0.89/0.91 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3162 0.89/0.93 c 0.0s | 0 | 2152 | 0 | 11873 0 | 1363 | 3162 0.89/0.93 c #cpu_time = 0.013s 0.89/0.93 c #wall_clock_time = 0.013s 0.89/0.93 c #decision = 2152 0.89/0.93 c #random_decision = 0 0.89/0.93 c #conflict = 0 0.89/0.93 c #restart = 0 0.89/0.93 c BCD2: found a new core of size 58: cost of the new core is >=1 0.89/0.93 c lower bound updated to 17 0.89/0.93 c BCD2: 17 <= obj <= 2091 0.89/0.93 c BCD2: #cores=16, #unrelaxed=3757, #relaxed=527, #hardened=0 0.89/0.93 c BCD2: #sat=1 #unsat=18 bias=18/19 0.89/0.93 c Solving starts ... 0.89/0.93 c ============================[ Search Statistics ]============================ 0.89/0.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.93 c | | | | Limit GC | Var | Constra 0.89/0.93 c ============================================================================= 0.89/0.93 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3162 0.89/0.95 c 0.0s | 0 | 2523 | 0 | 11873 0 | 1363 | 3162 0.89/0.95 c #cpu_time = 0.014s 0.89/0.95 c #wall_clock_time = 0.014s 0.89/0.95 c #decision = 2523 0.89/0.95 c #random_decision = 0 0.89/0.95 c #conflict = 0 0.89/0.95 c #restart = 0 0.89/0.95 c BCD2: found a new core of size 59: cost of the new core is >=1 0.89/0.95 c lower bound updated to 18 0.89/0.95 c BCD2: 18 <= obj <= 2091 0.89/0.95 c BCD2: #cores=17, #unrelaxed=3698, #relaxed=586, #hardened=0 0.89/0.95 c BCD2: #sat=1 #unsat=19 bias=19/20 0.89/0.95 c Solving starts ... 0.89/0.95 c ============================[ Search Statistics ]============================ 0.89/0.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.95 c | | | | Limit GC | Var | Constra 0.89/0.95 c ============================================================================= 0.89/0.95 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3162 0.89/0.97 c 0.0s | 0 | 2663 | 0 | 11873 0 | 1363 | 3162 0.89/0.97 c #cpu_time = 0.013s 0.89/0.97 c #wall_clock_time = 0.013s 0.89/0.97 c #decision = 2663 0.89/0.97 c #random_decision = 0 0.89/0.97 c #conflict = 0 0.89/0.97 c #restart = 0 0.89/0.97 c BCD2: found a new core of size 103: cost of the new core is >=1 0.89/0.97 c lower bound updated to 19 0.89/0.97 c BCD2: 19 <= obj <= 2091 0.89/0.97 c BCD2: #cores=18, #unrelaxed=3595, #relaxed=689, #hardened=0 0.89/0.97 c BCD2: #sat=1 #unsat=20 bias=20/21 0.89/0.97 c Solving starts ... 0.89/0.97 c ============================[ Search Statistics ]============================ 0.89/0.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.97 c | | | | Limit GC | Var | Constra 0.89/0.97 c ============================================================================= 0.89/0.97 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3162 0.89/0.98 c 0.0s | 0 | 2931 | 0 | 11873 0 | 1363 | 3162 0.89/0.98 c #cpu_time = 0.014s 0.89/0.98 c #wall_clock_time = 0.014s 0.89/0.98 c #decision = 2931 0.89/0.98 c #random_decision = 0 0.89/0.98 c #conflict = 0 0.89/0.98 c #restart = 0 0.89/0.98 c BCD2: found a new core of size 65: cost of the new core is >=1 0.89/0.98 c lower bound updated to 20 0.89/0.99 c BCD2: 20 <= obj <= 2091 0.89/0.99 c BCD2: #cores=19, #unrelaxed=3530, #relaxed=754, #hardened=0 0.89/0.99 c BCD2: #sat=1 #unsat=21 bias=21/22 0.89/0.99 c Solving starts ... 0.89/0.99 c ============================[ Search Statistics ]============================ 0.89/0.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.99 c | | | | Limit GC | Var | Constra 0.89/0.99 c ============================================================================= 0.89/0.99 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3162 0.99/1.01 c 0.0s | 0 | 3487 | 0 | 11873 0 | 1363 | 3162 0.99/1.01 c #cpu_time = 0.020s 0.99/1.01 c #wall_clock_time = 0.020s 0.99/1.01 c #decision = 3487 0.99/1.01 c #random_decision = 2 0.99/1.01 c #conflict = 0 0.99/1.01 c #restart = 0 0.99/1.01 o 37 0.99/1.02 c BCD2: updating upper bound: 2091 -> 36 0.99/1.03 c BCD2: 20 <= obj <= 36 0.99/1.03 c BCD2: #cores=19, #unrelaxed=3530, #relaxed=754, #hardened=0 0.99/1.03 c BCD2: #sat=2 #unsat=21 bias=21/23 0.99/1.03 c Solving starts ... 0.99/1.03 c ============================[ Search Statistics ]============================ 0.99/1.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.03 c | | | | Limit GC | Var | Constra 0.99/1.03 c ============================================================================= 0.99/1.03 c 0.0s | 0 | 0 | 0 | 11873 0 | 1363 | 3163 1.09/1.13 c 0.1s | 1 | 19983 | 100 | 11873 0 | 1363 | 3163 1.19/1.26 c 0.2s | 2 | 33316 | 250 | 13061 0 | 1363 | 3163 1.49/1.56 c 0.5s | 3 | 80071 | 475 | 14368 0 | 1363 | 3163 1.89/1.93 c 0.9s | 4 | 114800 | 813 | 15805 0 | 1363 | 3163 2.39/2.49 c 1.5s | 5 | 144718 | 1320 | 17386 0 | 1363 | 3163 3.19/3.22 c 2.2s | 5 | 150738 | 2038 | 19125 0 | 1363 | 3163 3.19/3.22 c #cpu_time = 2.185s 3.19/3.22 c #wall_clock_time = 2.184s 3.19/3.22 c #decision = 150738 3.19/3.22 c #random_decision = 9 3.19/3.22 c #conflict = 2038 3.19/3.22 c #restart = 5 3.19/3.22 o 29 3.19/3.22 c BCD2: updating upper bound: 36 -> 28 3.19/3.24 c BCD2: 20 <= obj <= 28 3.19/3.24 c BCD2: #cores=19, #unrelaxed=3530, #relaxed=754, #hardened=0 3.19/3.24 c BCD2: #sat=3 #unsat=21 bias=21/24 3.19/3.24 c Solving starts ... 3.19/3.24 c ============================[ Search Statistics ]============================ 3.19/3.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.19/3.24 c | | | | Limit GC | Var | Constra 3.19/3.24 c ============================================================================= 3.19/3.24 c 0.0s | 0 | 0 | 0 | 19125 0 | 1363 | 3164 3.30/3.37 c 0.1s | 1 | 3051 | 100 | 21038 0 | 1363 | 3164 3.49/3.51 c 0.3s | 2 | 6187 | 250 | 21038 0 | 1363 | 3164 3.69/3.70 c 0.5s | 3 | 9477 | 475 | 21038 0 | 1363 | 3164 3.99/4.07 c 0.8s | 4 | 12952 | 813 | 21038 0 | 1363 | 3164 4.09/4.18 c 0.9s | 4 | 23661 | 852 | 21038 0 | 1363 | 3164 4.09/4.18 c #cpu_time = 0.937s 4.09/4.18 c #wall_clock_time = 0.937s 4.09/4.18 c #decision = 23661 4.09/4.18 c #random_decision = 1 4.09/4.18 c #conflict = 852 4.29/4.33 c #restart = 4 4.29/4.33 c BCD2: relaxing 183 and merging with 17 cores into a new core of size 932: cost of the new core is >=19 4.29/4.33 c lower bound updated to 21 4.29/4.33 c BCD2: 21 <= obj <= 28 4.29/4.33 c BCD2: #cores=3, #unrelaxed=3347, #relaxed=937, #hardened=0 4.29/4.33 c BCD2: #sat=3 #unsat=22 bias=22/25 4.29/4.33 c Solving starts ... 4.29/4.33 c ============================[ Search Statistics ]============================ 4.29/4.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.29/4.33 c | | | | Limit GC | Var | Constra 4.29/4.33 c ============================================================================= 4.29/4.33 c 0.0s | 0 | 0 | 0 | 21038 0 | 1409 | 3164 4.29/4.37 c 0.2s | 1 | 3440 | 100 | 21038 0 | 1409 | 3239 4.59/4.62 c 0.4s | 2 | 7672 | 250 | 21038 0 | 1409 | 3239 4.99/5.01 c 0.8s | 3 | 12692 | 475 | 23142 0 | 1409 | 3239 5.50/5.58 c 1.4s | 4 | 21097 | 813 | 23142 0 | 1409 | 3239 6.39/6.46 c 2.3s | 5 | 27275 | 1320 | 23142 0 | 1409 | 3239 7.89/7.95 c 3.8s | 6 | 37535 | 2081 | 25457 0 | 1409 | 3239 9.90/10.00 c 5.8s | 6 | 50445 | 3181 | 25457 0 | 1409 | 3239 10.00/10.06 c 5.9s | 7 | 50583 | 3223 | 25457 0 | 1409 | 3239 12.10/12.17 c 8.0s | 7 | 61744 | 4223 | 25457 0 | 1409 | 3239 13.59/13.63 c 9.4s | 8 | 68057 | 4936 | 28003 0 | 1409 | 3239 15.69/15.79 c 11.6s | 8 | 77526 | 6036 | 28003 0 | 1409 | 3239 17.79/17.89 c 13.7s | 8 | 81721 | 7036 | 28003 0 | 1409 | 3239 18.80/18.87 c 14.7s | 9 | 82908 | 7506 | 28003 0 | 1409 | 3239 20.90/20.96 c 16.8s | 9 | 88628 | 8506 | 30804 0 | 1409 | 3239 22.99/23.03 c 18.8s | 9 | 96661 | 9506 | 30804 0 | 1409 | 3239 24.99/25.06 c 20.9s | 9 | 101773 | 10406 | 30804 0 | 1409 | 3239 27.29/27.30 c 23.1s | 9 | 110459 | 11306 | 30804 0 | 1409 | 3239 27.39/27.44 c 23.2s | 10 | 110578 | 11361 | 30804 0 | 1409 | 3239 29.49/29.51 c 25.3s | 10 | 118114 | 12161 | 30804 0 | 1409 | 3239 31.59/31.66 c 27.5s | 10 | 123318 | 13061 | 30804 0 | 1409 | 3239 33.79/33.81 c 29.6s | 10 | 130154 | 13961 | 30804 0 | 1409 | 3239 35.89/35.97 c 31.8s | 10 | 139919 | 14961 | 33885 0 | 1409 | 3239 37.99/38.07 c 33.9s | 10 | 148598 | 15861 | 33885 0 | 1409 | 3239 40.19/40.20 c 36.0s | 10 | 155723 | 16761 | 33885 0 | 1409 | 3239 40.99/41.03 c 36.8s | 11 | 158233 | 17144 | 33885 0 | 1409 | 3239 42.99/43.04 c 38.9s | 11 | 165567 | 17944 | 33885 0 | 1409 | 3239 45.09/45.20 c 41.0s | 11 | 171378 | 18844 | 33885 0 | 1409 | 3239 47.29/47.39 c 43.2s | 11 | 175247 | 19844 | 33885 0 | 1409 | 3239 49.39/49.49 c 45.3s | 11 | 178768 | 20744 | 33885 0 | 1409 | 3239 51.69/51.72 c 47.5s | 11 | 185021 | 21644 | 33885 0 | 1409 | 3239 53.99/54.01 c 49.8s | 11 | 192983 | 22544 | 33885 0 | 1409 | 3239 56.09/56.17 c 52.0s | 11 | 197855 | 23444 | 37274 0 | 1409 | 3239 58.29/58.30 c 54.1s | 11 | 201493 | 24344 | 37274 0 | 1409 | 3239 60.28/60.32 c 56.1s | 11 | 205697 | 25044 | 37274 0 | 1409 | 3239 62.38/62.42 c 58.2s | 12 | 211540 | 25819 | 37274 0 | 1409 | 3239 64.38/64.42 c 60.2s | 12 | 220871 | 26519 | 37274 0 | 1409 | 3239 66.48/66.58 c 62.4s | 12 | 227626 | 27219 | 37274 0 | 1409 | 3239 68.48/68.58 c 64.4s | 12 | 232263 | 27919 | 37274 0 | 1409 | 3239 70.58/70.60 c 66.4s | 12 | 235436 | 28619 | 37274 0 | 1409 | 3239 72.69/72.79 c 68.6s | 12 | 240672 | 29319 | 37274 0 | 1409 | 3239 74.98/75.02 c 70.8s | 12 | 246585 | 30019 | 37274 0 | 1409 | 3239 77.18/77.21 c 73.0s | 12 | 249611 | 30719 | 37274 0 | 1409 | 3239 79.29/79.36 c 75.2s | 12 | 254501 | 31319 | 37274 0 | 1409 | 3239 81.58/81.65 c 77.5s | 12 | 257855 | 31919 | 37274 0 | 1409 | 3239 83.69/83.78 c 79.6s | 12 | 261746 | 32419 | 37274 0 | 1409 | 3239 85.79/85.87 c 81.7s | 12 | 265736 | 32919 | 37274 0 | 1409 | 3239 87.88/87.96 c 83.8s | 12 | 270239 | 33519 | 37274 0 | 1409 | 3239 90.08/90.15 c 86.0s | 12 | 274678 | 34119 | 37274 0 | 1409 | 3239 92.18/92.26 c 88.1s | 12 | 277609 | 34719 | 37274 0 | 1409 | 3239 94.48/94.59 c 90.4s | 12 | 281493 | 35319 | 37274 0 | 1409 | 3239 96.89/96.97 c 92.8s | 12 | 286476 | 36019 | 41002 0 | 1409 | 3239 99.18/99.29 c 95.1s | 12 | 292603 | 36719 | 41002 0 | 1409 | 3239 101.48/101.51 c 97.3s | 12 | 297842 | 37419 | 41002 0 | 1409 | 3239 103.78/103.83 c 99.6s | 12 | 303347 | 38119 | 41002 0 | 1409 | 3239 106.18/106.20 c 102s | 12 | 307124 | 38819 | 41002 0 | 1409 | 3239 106.18/106.24 c 102s | 13 | 307160 | 38832 | 41002 0 | 1409 | 3239 108.28/108.38 c 104s | 13 | 312694 | 39332 | 41002 0 | 1409 | 3239 110.38/110.40 c 106s | 13 | 316794 | 39832 | 41002 0 | 1409 | 3239 112.48/112.51 c 108s | 13 | 319530 | 40332 | 41002 0 | 1409 | 3239 114.78/114.86 c 110s | 13 | 322080 | 40932 | 41002 0 | 1409 | 3239 117.18/117.21 c 113s | 13 | 326039 | 41532 | 41002 0 | 1409 | 3239 119.27/119.37 c 115s | 13 | 330344 | 42232 | 41002 0 | 1409 | 3239 121.47/121.58 c 117s | 13 | 333137 | 42832 | 41002 0 | 1409 | 3239 123.57/123.65 c 119s | 13 | 337388 | 43432 | 41002 0 | 1409 | 3239 125.77/125.89 c 121s | 13 | 340274 | 44132 | 41002 0 | 1409 | 3239 128.07/128.11 c 123s | 13 | 343809 | 44732 | 41002 0 | 1409 | 3239 130.37/130.45 c 126s | 13 | 347337 | 45432 | 41002 0 | 1409 | 3239 132.57/132.62 c 128s | 13 | 352861 | 46132 | 41002 0 | 1409 | 3239 134.67/134.71 c 130s | 13 | 358876 | 46832 | 41002 0 | 1409 | 3239 136.67/136.77 c 132s | 13 | 362697 | 47532 | 41002 0 | 1409 | 3239 138.97/139.03 c 134s | 13 | 366136 | 48232 | 41002 1 | 1409 | 3239 140.97/141.08 c 136s | 13 | 373752 | 48932 | 41002 1 | 1410 | 4118 143.97/144.06 c 139s | 13 | 379249 | 49732 | 41002 1 | 1410 | 4118 146.07/146.18 c 141s | 13 | 385114 | 50532 | 41002 1 | 1410 | 4118 148.17/148.25 c 144s | 13 | 389862 | 51332 | 41002 1 | 1410 | 4118 150.37/150.41 c 146s | 13 | 394635 | 52132 | 41002 1 | 1410 | 4118 152.47/152.52 c 148s | 13 | 400285 | 52932 | 41002 1 | 1410 | 4118 154.57/154.61 c 150s | 13 | 403406 | 53632 | 41002 1 | 1410 | 4118 156.67/156.75 c 152s | 13 | 408851 | 54532 | 41002 1 | 1410 | 4118 158.87/158.90 c 154s | 13 | 413889 | 55432 | 45103 1 | 1410 | 4118 160.87/160.98 c 156s | 13 | 418338 | 56132 | 45103 1 | 1410 | 4118 162.97/163.00 c 158s | 13 | 421669 | 56832 | 45103 1 | 1410 | 4118 165.07/165.11 c 160s | 13 | 424418 | 57532 | 45103 1 | 1410 | 4118 167.27/167.35 c 163s | 13 | 430974 | 58332 | 45103 1 | 1410 | 4118 167.37/167.40 c 163s | 14 | 431038 | 58352 | 45103 1 | 1410 | 4118 169.57/169.60 c 165s | 14 | 438065 | 59152 | 45103 1 | 1410 | 4118 171.57/171.67 c 167s | 14 | 442484 | 59952 | 45103 1 | 1410 | 4118 173.67/173.79 c 169s | 14 | 448669 | 60752 | 45103 1 | 1410 | 4118 175.67/175.80 c 171s | 14 | 452147 | 61452 | 45103 1 | 1410 | 4118 177.87/177.97 c 173s | 14 | 456732 | 62252 | 45103 1 | 1410 | 4118 180.06/180.10 c 175s | 14 | 462141 | 63152 | 45103 1 | 1410 | 4118 182.06/182.19 c 177s | 14 | 467317 | 63952 | 45103 1 | 1410 | 4118 184.16/184.27 c 180s | 14 | 472886 | 64752 | 45103 1 | 1410 | 4118 186.46/186.52 c 182s | 14 | 479341 | 65552 | 45103 1 | 1410 | 4118 188.66/188.77 c 184s | 14 | 481862 | 66352 | 45103 1 | 1410 | 4118 190.76/190.80 c 186s | 14 | 486165 | 67052 | 45103 1 | 1410 | 4118 193.06/193.11 c 188s | 14 | 491888 | 67752 | 45103 1 | 1410 | 4118 195.36/195.48 c 191s | 14 | 496001 | 68352 | 45103 1 | 1410 | 4118 197.46/197.53 c 193s | 14 | 500260 | 68952 | 45103 1 | 1410 | 4118 199.66/199.73 c 195s | 14 | 504807 | 69552 | 45103 1 | 1410 | 4118 201.66/201.73 c 197s | 14 | 508454 | 70252 | 45103 1 | 1410 | 4118 203.86/203.90 c 199s | 14 | 511381 | 70952 | 45103 1 | 1410 | 4118 205.96/206.04 c 201s | 14 | 514322 | 71652 | 45103 1 | 1410 | 4118 208.16/208.22 c 204s | 14 | 518562 | 72252 | 45103 1 | 1410 | 4118 210.26/210.35 c 206s | 14 | 523054 | 72852 | 45103 1 | 1410 | 4118 212.56/212.65 c 208s | 14 | 528987 | 73552 | 45103 1 | 1410 | 4118 214.57/214.66 c 210s | 14 | 531541 | 74152 | 45103 1 | 1410 | 4118 216.86/216.93 c 212s | 14 | 534869 | 74752 | 45103 1 | 1410 | 4118 218.97/219.03 c 214s | 14 | 537258 | 75352 | 45103 1 | 1410 | 4118 221.07/221.18 c 216s | 14 | 540641 | 75952 | 45103 1 | 1410 | 4118 223.16/223.26 c 219s | 14 | 544402 | 76452 | 45103 2 | 1410 | 4118 225.26/225.35 c 221s | 14 | 549737 | 77252 | 45103 2 | 1410 | 4118 227.46/227.51 c 223s | 14 | 554701 | 78152 | 45103 2 | 1410 | 4118 229.46/229.52 c 225s | 14 | 558101 | 78852 | 45103 2 | 1410 | 4118 231.66/231.78 c 227s | 14 | 561812 | 79652 | 45103 2 | 1410 | 4118 233.96/234.04 c 229s | 14 | 566074 | 80452 | 45103 2 | 1410 | 4118 236.16/236.22 c 232s | 14 | 570413 | 81252 | 45103 2 | 1410 | 4118 238.26/238.34 c 234s | 14 | 575218 | 82052 | 45103 2 | 1410 | 4118 240.46/240.58 c 236s | 14 | 577378 | 82852 | 45103 2 | 1410 | 4118 242.56/242.66 c 238s | 14 | 582016 | 83652 | 45103 2 | 1410 | 4118 244.55/244.69 c 240s | 14 | 586433 | 84552 | 49614 2 | 1410 | 4118 246.75/246.85 c 242s | 14 | 591764 | 85452 | 49614 2 | 1410 | 4118 248.95/249.08 c 244s | 14 | 598173 | 86152 | 49614 2 | 1410 | 4118 251.05/251.17 c 246s | 14 | 602904 | 86952 | 49614 2 | 1410 | 4118 253.25/253.36 c 249s | 15 | 608060 | 87632 | 49614 2 | 1410 | 4118 256.55/256.70 c 252s | 15 | 618062 | 88232 | 49614 2 | 1410 | 4118 258.95/259.02 c 254s | 15 | 626753 | 88932 | 49614 2 | 1410 | 4118 261.05/261.10 c 256s | 15 | 632117 | 89532 | 49614 2 | 1410 | 4118 263.15/263.25 c 259s | 15 | 637054 | 90132 | 49614 2 | 1410 | 4118 265.35/265.48 c 261s | 15 | 639948 | 90832 | 49614 2 | 1410 | 4118 267.55/267.61 c 263s | 15 | 643715 | 91432 | 49614 2 | 1410 | 4118 269.56/269.66 c 265s | 15 | 650346 | 92132 | 49614 2 | 1410 | 4118 271.55/271.67 c 267s | 15 | 655126 | 92632 | 49614 2 | 1410 | 4118 273.65/273.70 c 269s | 15 | 662657 | 93232 | 49614 2 | 1410 | 4118 275.95/276.02 c 271s | 15 | 668403 | 93832 | 49614 2 | 1410 | 4118 278.15/278.20 c 274s | 15 | 672721 | 94432 | 49614 2 | 1410 | 4118 280.35/280.44 c 276s | 15 | 678891 | 95232 | 49614 2 | 1410 | 4118 282.75/282.84 c 278s | 15 | 684004 | 95832 | 49614 2 | 1410 | 4118 284.85/284.96 c 280s | 15 | 688125 | 96532 | 49614 2 | 1410 | 4118 287.15/287.24 c 283s | 15 | 692966 | 97132 | 49614 2 | 1410 | 4118 289.35/289.44 c 285s | 15 | 698210 | 97632 | 49614 2 | 1410 | 4118 291.45/291.60 c 287s | 15 | 702579 | 98132 | 49614 2 | 1410 | 4118 293.65/293.80 c 289s | 15 | 706730 | 98632 | 49614 2 | 1410 | 4118 296.05/296.15 c 291s | 15 | 710656 | 99132 | 49614 2 | 1410 | 4118 298.54/298.60 c 294s | 15 | 713857 | 99632 | 49614 2 | 1410 | 4118 300.54/300.64 c 296s | 15 | 716932 | 100032 | 49614 2 | 1410 | 4118 302.64/302.75 c 298s | 15 | 724397 | 100732 | 49614 2 | 1410 | 4118 304.65/304.77 c 300s | 15 | 730839 | 101332 | 49614 2 | 1410 | 4118 306.85/306.93 c 302s | 15 | 735874 | 102032 | 49614 2 | 1410 | 4118 308.94/309.00 c 304s | 15 | 738844 | 102732 | 49614 2 | 1410 | 4118 310.94/311.04 c 306s | 15 | 741877 | 103432 | 49614 2 | 1410 | 4118 312.94/313.05 c 308s | 15 | 745214 | 104132 | 49614 2 | 1410 | 4118 315.24/315.38 c 311s | 15 | 749225 | 104732 | 49614 2 | 1410 | 4118 317.64/317.75 c 313s | 15 | 753688 | 105232 | 49614 2 | 1410 | 4118 320.15/320.21 c 316s | 15 | 756627 | 105732 | 49614 2 | 1410 | 4118 322.35/322.42 c 318s | 15 | 760342 | 106232 | 49614 2 | 1410 | 4118 324.64/324.70 c 320s | 15 | 765467 | 106832 | 49614 2 | 1410 | 4118 326.65/326.76 c 322s | 15 | 767508 | 107332 | 49614 3 | 1410 | 4118 328.85/328.95 c 324s | 15 | 770847 | 108132 | 49614 3 | 1410 | 4118 330.94/331.05 c 326s | 15 | 774634 | 108732 | 49614 3 | 1410 | 4118 333.04/333.15 c 328s | 15 | 778315 | 109332 | 49614 3 | 1410 | 4118 335.24/335.33 c 331s | 15 | 781089 | 110032 | 49614 3 | 1410 | 4118 337.34/337.46 c 333s | 15 | 785802 | 110732 | 49614 3 | 1410 | 4118 339.64/339.77 c 335s | 15 | 793846 | 111532 | 49614 3 | 1410 | 4118 341.74/341.88 c 337s | 15 | 796804 | 112232 | 49614 3 | 1410 | 4118 343.84/343.98 c 339s | 15 | 800122 | 112932 | 49614 3 | 1410 | 4118 345.94/346.05 c 341s | 15 | 802655 | 113632 | 49614 3 | 1410 | 4118 348.14/348.24 c 344s | 15 | 807736 | 114332 | 49614 3 | 1410 | 4118 350.44/350.51 c 346s | 15 | 814496 | 115032 | 49614 3 | 1410 | 4118 352.44/352.53 c 348s | 15 | 819873 | 115732 | 49614 3 | 1410 | 4118 354.74/354.87 c 350s | 15 | 823412 | 116432 | 49614 3 | 1410 | 4118 357.03/357.16 c 352s | 15 | 828661 | 117132 | 49614 3 | 1410 | 4118 359.13/359.22 c 355s | 15 | 833872 | 117732 | 49614 3 | 1410 | 4118 361.23/361.30 c 357s | 15 | 838638 | 118332 | 49614 3 | 1410 | 4118 363.43/363.52 c 359s | 15 | 843743 | 119032 | 49614 3 | 1410 | 4118 365.63/365.73 c 361s | 15 | 849610 | 119732 | 49614 3 | 1410 | 4118 367.83/367.92 c 363s | 15 | 854154 | 120432 | 49614 3 | 1410 | 4118 370.03/370.11 c 365s | 15 | 859684 | 121132 | 49614 3 | 1410 | 4118 372.13/372.24 c 368s | 15 | 862420 | 121832 | 49614 3 | 1410 | 4118 374.43/374.59 c 370s | 15 | 868548 | 122532 | 49614 3 | 1410 | 4118 376.63/376.72 c 372s | 15 | 873510 | 123132 | 49614 3 | 1410 | 4118 378.73/378.88 c 374s | 15 | 877553 | 123732 | 49614 3 | 1410 | 4118 380.93/381.00 c 376s | 15 | 883724 | 124332 | 49614 3 | 1410 | 4118 383.03/383.10 c 378s | 15 | 888951 | 124932 | 49614 3 | 1410 | 4118 385.33/385.49 c 381s | 15 | 893267 | 125632 | 49614 3 | 1410 | 4118 387.53/387.65 c 383s | 15 | 896860 | 126232 | 49614 3 | 1410 | 4118 389.63/389.79 c 385s | 15 | 900440 | 126832 | 49614 3 | 1410 | 4118 392.03/392.15 c 387s | 15 | 904706 | 127432 | 49614 3 | 1410 | 4118 394.23/394.38 c 390s | 15 | 908325 | 128032 | 54576 3 | 1410 | 4118 396.63/396.73 c 392s | 15 | 913459 | 128632 | 54576 3 | 1410 | 4118 398.73/398.82 c 394s | 15 | 920626 | 129432 | 54576 3 | 1410 | 4118 400.83/400.93 c 396s | 15 | 927142 | 130232 | 54576 3 | 1410 | 4118 402.93/403.09 c 398s | 15 | 932748 | 130832 | 54576 3 | 1410 | 4118 405.13/405.27 c 401s | 15 | 939385 | 131432 | 54576 3 | 1410 | 4118 405.53/405.60 c 401s | 16 | 939723 | 131552 | 54576 3 | 1410 | 4118 407.73/407.80 c 403s | 16 | 948251 | 132152 | 54576 3 | 1410 | 4118 409.73/409.88 c 405s | 16 | 952835 | 132752 | 54576 3 | 1410 | 4118 412.13/412.21 c 408s | 16 | 957127 | 133352 | 54576 3 | 1410 | 4118 414.23/414.36 c 410s | 16 | 959218 | 133852 | 54576 3 | 1410 | 4118 416.53/416.69 c 412s | 16 | 964288 | 134352 | 54576 3 | 1410 | 4118 418.63/418.74 c 414s | 16 | 968346 | 134852 | 54576 3 | 1410 | 4118 420.73/420.86 c 416s | 16 | 971760 | 135352 | 54576 3 | 1410 | 4118 423.22/423.35 c 419s | 16 | 974355 | 135852 | 54576 3 | 1410 | 4118 425.32/425.44 c 421s | 16 | 977229 | 136252 | 54576 3 | 1410 | 4118 427.32/427.44 c 423s | 16 | 981453 | 136752 | 54576 3 | 1410 | 4118 429.52/429.64 c 425s | 16 | 985094 | 137252 | 54576 3 | 1410 | 4118 431.62/431.73 c 427s | 16 | 988043 | 137752 | 54576 3 | 1410 | 4118 433.92/434.00 c 429s | 16 | 994116 | 138352 | 54576 3 | 1410 | 4118 436.22/436.32 c 432s | 16 | 1001585 | 139052 | 54576 3 | 1410 | 4118 438.42/438.54 c 434s | 16 | 1006951 | 139752 | 54576 3 | 1410 | 4118 440.62/440.75 c 436s | 16 | 1012291 | 140352 | 54576 4 | 1410 | 4118 443.03/443.13 c 438s | 16 | 1016630 | 141052 | 54576 4 | 1410 | 4118 445.13/445.24 c 441s | 16 | 1019375 | 141752 | 54576 4 | 1410 | 4118 447.23/447.30 c 443s | 16 | 1023481 | 142452 | 54576 4 | 1410 | 4118 449.22/449.33 c 445s | 16 | 1027684 | 143152 | 54576 4 | 1410 | 4118 451.52/451.65 c 447s | 16 | 1032113 | 143952 | 54576 4 | 1410 | 4118 453.62/453.78 c 449s | 16 | 1038732 | 144752 | 54576 4 | 1410 | 4118 455.92/456.00 c 451s | 16 | 1045921 | 145452 | 54576 4 | 1410 | 4118 457.92/458.01 c 453s | 16 | 1050378 | 146152 | 54576 4 | 1410 | 4118 459.92/460.03 c 455s | 16 | 1052737 | 146852 | 54576 4 | 1410 | 4118 462.22/462.34 c 458s | 16 | 1056914 | 147752 | 54576 4 | 1410 | 4118 464.42/464.50 c 460s | 16 | 1061736 | 148452 | 54576 4 | 1410 | 4118 466.62/466.76 c 462s | 16 | 1065923 | 149152 | 54576 4 | 1410 | 4118 468.82/468.97 c 464s | 16 | 1070615 | 149852 | 54576 4 | 1410 | 4118 471.02/471.12 c 466s | 16 | 1076395 | 150552 | 54576 4 | 1410 | 4118 473.32/473.43 c 469s | 16 | 1080943 | 151252 | 54576 4 | 1410 | 4118 475.62/475.72 c 471s | 16 | 1082781 | 151952 | 54576 4 | 1410 | 4118 477.72/477.87 c 473s | 16 | 1088010 | 152652 | 54576 4 | 1410 | 4118 480.02/480.19 c 475s | 16 | 1092385 | 153352 | 54576 4 | 1410 | 4118 482.32/482.40 c 478s | 16 | 1097891 | 154052 | 54576 4 | 1410 | 4118 484.52/484.66 c 480s | 16 | 1101203 | 154752 | 54576 4 | 1410 | 4118 486.62/486.75 c 482s | 16 | 1104911 | 155452 | 54576 4 | 1410 | 4118 488.72/488.80 c 484s | 16 | 1110115 | 156152 | 54576 4 | 1410 | 4118 490.82/490.92 c 486s | 16 | 1113234 | 156852 | 54576 4 | 1410 | 4118 493.12/493.22 c 489s | 16 | 1116147 | 157452 | 54576 4 | 1410 | 4118 495.22/495.36 c 491s | 16 | 1120278 | 158052 | 54576 4 | 1410 | 4118 497.42/497.56 c 493s | 16 | 1124064 | 158652 | 54576 4 | 1410 | 4118 499.62/499.79 c 495s | 16 | 1127907 | 159252 | 54576 4 | 1410 | 4118 501.81/501.99 c 497s | 16 | 1133612 | 159852 | 54576 4 | 1410 | 4118 504.11/504.29 c 500s | 16 | 1137405 | 160452 | 54576 4 | 1410 | 4118 506.51/506.62 c 502s | 16 | 1142840 | 161152 | 54576 4 | 1410 | 4118 508.81/508.94 c 504s | 16 | 1146706 | 161852 | 54576 4 | 1410 | 4118 510.81/510.95 c 506s | 16 | 1152718 | 162452 | 54576 4 | 1410 | 4118 512.91/513.04 c 508s | 16 | 1156734 | 163052 | 54576 4 | 1410 | 4118 514.91/515.04 c 510s | 16 | 1160914 | 163652 | 54576 4 | 1410 | 4118 516.92/517.10 c 512s | 16 | 1163560 | 163952 | 54576 4 | 1410 | 4118 519.12/519.24 c 515s | 16 | 1170946 | 164752 | 54576 4 | 1410 | 4118 521.31/521.44 c 517s | 16 | 1179138 | 165652 | 54576 4 | 1410 | 4118 523.51/523.63 c 519s | 16 | 1187227 | 166552 | 54576 4 | 1410 | 4118 525.61/525.72 c 521s | 16 | 1192404 | 167452 | 54576 4 | 1410 | 4118 527.71/527.84 c 523s | 16 | 1197180 | 168252 | 54576 4 | 1410 | 4118 529.71/529.87 c 525s | 16 | 1202898 | 168852 | 54576 4 | 1410 | 4118 532.11/532.23 c 528s | 16 | 1208888 | 169452 | 54576 4 | 1410 | 4118 534.21/534.36 c 530s | 16 | 1216167 | 170152 | 54576 4 | 1410 | 4118 536.41/536.50 c 532s | 16 | 1220886 | 170852 | 54576 4 | 1410 | 4118 538.51/538.69 c 534s | 16 | 1223720 | 171452 | 54576 5 | 1410 | 4118 540.81/540.96 c 536s | 16 | 1229214 | 172152 | 54576 5 | 1410 | 4118 542.81/542.97 c 538s | 16 | 1232018 | 172652 | 54576 5 | 1410 | 4118 544.81/544.98 c 540s | 16 | 1235844 | 173452 | 54576 5 | 1410 | 4118 547.01/547.12 c 542s | 16 | 1239207 | 174252 | 54576 5 | 1410 | 4118 549.11/549.27 c 545s | 16 | 1243254 | 175152 | 54576 5 | 1410 | 4118 551.21/551.30 c 547s | 16 | 1246339 | 175852 | 54576 5 | 1410 | 4118 553.51/553.65 c 549s | 16 | 1250972 | 176652 | 54576 5 | 1410 | 4118 555.71/555.80 c 551s | 16 | 1254932 | 177252 | 54576 5 | 1410 | 4118 557.91/558.00 c 553s | 16 | 1260803 | 177952 | 54576 5 | 1410 | 4118 560.11/560.23 c 556s | 16 | 1267343 | 178552 | 54576 5 | 1410 | 4118 562.21/562.32 c 558s | 16 | 1271734 | 179152 | 54576 5 | 1410 | 4118 564.31/564.48 c 560s | 16 | 1276394 | 179752 | 54576 5 | 1410 | 4118 566.71/566.81 c 562s | 16 | 1280717 | 180352 | 54576 5 | 1410 | 4118 569.01/569.12 c 564s | 16 | 1285514 | 180952 | 54576 5 | 1410 | 4118 571.01/571.13 c 566s | 16 | 1289662 | 181452 | 54576 5 | 1410 | 4118 573.01/573.20 c 569s | 16 | 1293784 | 182052 | 54576 5 | 1410 | 4118 575.11/575.25 c 571s | 16 | 1298713 | 182652 | 54576 5 | 1410 | 4118 577.31/577.42 c 573s | 16 | 1303581 | 183252 | 54576 5 | 1410 | 4118 579.61/579.71 c 575s | 16 | 1310279 | 183952 | 54576 5 | 1410 | 4118 581.70/581.85 c 577s | 16 | 1316069 | 184652 | 54576 5 | 1410 | 4118 583.90/584.08 c 579s | 16 | 1322297 | 185352 | 54576 5 | 1410 | 4118 586.21/586.32 c 582s | 16 | 1326119 | 185952 | 54576 5 | 1410 | 4118 588.51/588.64 c 584s | 16 | 1329635 | 186552 | 54576 5 | 1410 | 4118 590.61/590.76 c 586s | 16 | 1335494 | 187152 | 54576 5 | 1410 | 4118 592.70/592.80 c 588s | 16 | 1339670 | 187652 | 54576 5 | 1410 | 4118 594.90/595.02 c 590s | 16 | 1345094 | 188252 | 54576 5 | 1410 | 4118 597.21/597.38 c 593s | 16 | 1349427 | 188852 | 54576 5 | 1410 | 4118 599.41/599.51 c 595s | 16 | 1355033 | 189452 | 54576 5 | 1410 | 4118 601.61/601.72 c 597s | 16 | 1358483 | 190052 | 54576 5 | 1410 | 4118 603.91/604.07 c 599s | 16 | 1362504 | 190552 | 54576 5 | 1410 | 4118 606.30/606.40 c 602s | 16 | 1366989 | 191152 | 54576 5 | 1410 | 4118 608.70/608.81 c 604s | 16 | 1369017 | 191752 | 54576 5 | 1410 | 4118 610.70/610.88 c 606s | 16 | 1373786 | 192352 | 54576 5 | 1410 | 4118 612.90/613.08 c 608s | 16 | 1376478 | 192852 | 54576 5 | 1410 | 4118 615.20/615.32 c 611s | 16 | 1379820 | 193452 | 60034 5 | 1410 | 4118 617.30/617.42 c 613s | 16 | 1383657 | 194052 | 60034 5 | 1410 | 4118 619.50/619.64 c 615s | 16 | 1387390 | 194652 | 60034 5 | 1410 | 4118 621.60/621.72 c 617s | 16 | 1390605 | 195152 | 60034 5 | 1410 | 4118 623.80/623.95 c 619s | 16 | 1392981 | 195652 | 60034 5 | 1410 | 4118 626.00/626.10 c 621s | 16 | 1396856 | 196152 | 60034 5 | 1410 | 4118 628.20/628.30 c 624s | 16 | 1403604 | 196852 | 60034 5 | 1410 | 4118 630.00/630.18 c 625s | 17 | 1408618 | 197432 | 60034 5 | 1410 | 4118 632.10/632.25 c 628s | 17 | 1415167 | 198032 | 60034 5 | 1410 | 4118 634.20/634.38 c 630s | 17 | 1417872 | 198532 | 60034 5 | 1410 | 4118 636.30/636.46 c 632s | 17 | 1421154 | 199132 | 60034 5 | 1410 | 4118 647.90/648.02 c 643s | 17 | 1424503 | 199932 | 60034 5 | 1410 | 4118 649.89/650.08 c 645s | 17 | 1428827 | 200432 | 60034 5 | 1410 | 4118 651.99/652.18 c 647s | 17 | 1433605 | 201032 | 60034 5 | 1410 | 4118 654.49/654.67 c 650s | 17 | 1435309 | 201532 | 60034 5 | 1410 | 4118 656.69/656.88 c 652s | 17 | 1437717 | 202132 | 60034 5 | 1410 | 4118 658.79/658.94 c 654s | 17 | 1445544 | 202832 | 60034 5 | 1410 | 4118 660.99/661.16 c 656s | 17 | 1453598 | 203732 | 60034 5 | 1410 | 4118 663.09/663.29 c 659s | 17 | 1459575 | 204532 | 60034 5 | 1410 | 4118 665.29/665.45 c 661s | 17 | 1466452 | 205432 | 60034 5 | 1410 | 4118 667.49/667.68 c 663s | 17 | 1470542 | 206132 | 60034 5 | 1410 | 4118 669.99/670.13 c 665s | 17 | 1474849 | 206732 | 60034 5 | 1410 | 4118 672.78/672.91 c 668s | 17 | 1481643 | 207432 | 60034 6 | 1410 | 4118 675.08/675.21 c 671s | 17 | 1487836 | 208232 | 60034 6 | 1410 | 4118 677.28/677.46 c 673s | 17 | 1490677 | 208832 | 60034 6 | 1410 | 4118 679.48/679.63 c 675s | 17 | 1495480 | 209532 | 60034 6 | 1410 | 4118 681.58/681.77 c 677s | 17 | 1502307 | 210232 | 60034 6 | 1410 | 4118 683.78/683.91 c 679s | 17 | 1508241 | 210932 | 60034 6 | 1410 | 4118 685.98/686.19 c 681s | 17 | 1512881 | 211732 | 60034 6 | 1410 | 4118 688.08/688.26 c 684s | 17 | 1515396 | 212532 | 60034 6 | 1410 | 4118 690.28/690.42 c 686s | 17 | 1521012 | 213332 | 60034 6 | 1410 | 4118 692.48/692.64 c 688s | 17 | 1525876 | 214232 | 60034 6 | 1410 | 4118 694.48/694.68 c 690s | 17 | 1532358 | 214932 | 60034 6 | 1410 | 4118 696.78/696.90 c 692s | 17 | 1538492 | 215732 | 60034 6 | 1410 | 4118 698.78/698.91 c 694s | 17 | 1544499 | 216532 | 60034 6 | 1410 | 4118 700.78/700.96 c 696s | 17 | 1552559 | 217532 | 60034 6 | 1410 | 4118 703.07/703.20 c 699s | 17 | 1559610 | 218332 | 60034 6 | 1410 | 4118 705.17/705.34 c 701s | 17 | 1567453 | 219332 | 60034 6 | 1410 | 4118 707.28/707.49 c 703s | 17 | 1574104 | 220132 | 60034 6 | 1410 | 4118 709.38/709.55 c 705s | 17 | 1577600 | 220832 | 60034 6 | 1410 | 4118 711.47/711.60 c 707s | 17 | 1583095 | 221532 | 60034 6 | 1410 | 4118 713.67/713.80 c 709s | 17 | 1587081 | 222232 | 60034 6 | 1410 | 4118 715.87/716.00 c 711s | 17 | 1592514 | 222932 | 60034 6 | 1410 | 4118 717.97/718.18 c 713s | 17 | 1596943 | 223632 | 60034 6 | 1410 | 4118 720.08/720.20 c 716s | 17 | 1600724 | 224232 | 60034 6 | 1410 | 4118 722.18/722.33 c 718s | 17 | 1604045 | 224832 | 60034 6 | 1410 | 4118 725.99/726.15 c 721s | 17 | 1607583 | 225332 | 60034 6 | 1410 | 4118 727.98/728.15 c 723s | 17 | 1611298 | 225832 | 60034 6 | 1410 | 4118 730.08/730.22 c 726s | 17 | 1613105 | 226332 | 60034 6 | 1410 | 4118 732.08/732.26 c 728s | 17 | 1616620 | 226832 | 60034 6 | 1410 | 4118 734.48/734.69 c 730s | 17 | 1618365 | 227332 | 60034 6 | 1410 | 4118 736.68/736.83 c 732s | 17 | 1621303 | 227832 | 60034 6 | 1410 | 4118 738.98/739.17 c 734s | 17 | 1624369 | 228432 | 60034 6 | 1410 | 4118 741.08/741.22 c 737s | 17 | 1626719 | 228932 | 60034 6 | 1410 | 4118 743.18/743.32 c 739s | 17 | 1628394 | 229432 | 60034 6 | 1410 | 4118 745.17/745.34 c 741s | 17 | 1632307 | 230032 | 60034 6 | 1410 | 4118 747.27/747.47 c 743s | 17 | 1640607 | 230932 | 60034 6 | 1410 | 4118 749.37/749.50 c 745s | 17 | 1644533 | 231732 | 60034 6 | 1410 | 4118 751.37/751.57 c 747s | 17 | 1647118 | 232532 | 60034 6 | 1410 | 4118 753.57/753.76 c 749s | 17 | 1649328 | 233332 | 60034 6 | 1410 | 4118 755.68/755.87 c 751s | 17 | 1654756 | 234132 | 60034 6 | 1410 | 4118 757.88/758.01 c 753s | 17 | 1660545 | 234732 | 60034 6 | 1410 | 4118 759.87/760.03 c 755s | 17 | 1665117 | 235232 | 60034 6 | 1410 | 4118 762.07/762.21 c 758s | 17 | 1669203 | 235732 | 60034 6 | 1410 | 4118 764.38/764.59 c 760s | 17 | 1672448 | 236332 | 60034 6 | 1410 | 4118 766.77/766.96 c 762s | 17 | 1677796 | 236932 | 60034 6 | 1410 | 4118 768.97/769.14 c 764s | 17 | 1684656 | 237632 | 60034 6 | 1410 | 4118 771.17/771.39 c 767s | 17 | 1691987 | 238432 | 60034 6 | 1410 | 4118 773.27/773.49 c 769s | 17 | 1696429 | 239132 | 60034 6 | 1410 | 4118 775.47/775.64 c 771s | 17 | 1698989 | 239832 | 60034 6 | 1410 | 4118 777.76/777.93 c 773s | 17 | 1703740 | 240532 | 60034 6 | 1410 | 4118 779.87/780.09 c 775s | 17 | 1707637 | 240932 | 60034 7 | 1410 | 4118 782.07/782.22 c 778s | 17 | 1711876 | 241432 | 60034 7 | 1410 | 4118 784.27/784.41 c 780s | 17 | 1715702 | 242132 | 60034 7 | 1410 | 4118 786.26/786.46 c 782s | 17 | 1720682 | 242732 | 60034 7 | 1410 | 4118 788.36/788.54 c 784s | 17 | 1725731 | 243432 | 60034 7 | 1410 | 4118 790.56/790.73 c 786s | 17 | 1730860 | 244232 | 60034 7 | 1410 | 4118 792.66/792.81 c 788s | 17 | 1736603 | 245032 | 60034 7 | 1410 | 4118 794.96/795.14 c 790s | 17 | 1741033 | 245732 | 60034 7 | 1410 | 4118 797.26/797.45 c 793s | 17 | 1744815 | 246432 | 60034 7 | 1410 | 4118 799.46/799.65 c 795s | 17 | 1750087 | 247332 | 60034 7 | 1410 | 4118 801.56/801.72 c 797s | 17 | 1756330 | 248032 | 60034 7 | 1410 | 4118 803.86/804.03 c 799s | 17 | 1760817 | 248732 | 60034 7 | 1410 | 4118 806.26/806.45 c 802s | 17 | 1764353 | 249432 | 60034 7 | 1410 | 4118 808.66/808.80 c 804s | 17 | 1769480 | 250132 | 60034 7 | 1410 | 4118 810.66/810.81 c 806s | 17 | 1771715 | 250632 | 60034 7 | 1410 | 4118 812.86/813.04 c 808s | 17 | 1778303 | 251532 | 60034 7 | 1410 | 4118 815.16/815.36 c 811s | 17 | 1784758 | 252332 | 60034 7 | 1410 | 4118 817.36/817.56 c 813s | 17 | 1789375 | 252932 | 60034 7 | 1410 | 4118 819.46/819.69 c 815s | 17 | 1792878 | 253532 | 60034 7 | 1410 | 4118 821.85/822.00 c 817s | 17 | 1797538 | 254432 | 60034 7 | 1410 | 4118 824.05/824.22 c 820s | 17 | 1803801 | 255132 | 60034 7 | 1410 | 4118 826.15/826.39 c 822s | 17 | 1807891 | 255732 | 60034 7 | 1410 | 4118 828.45/828.64 c 824s | 17 | 1811322 | 256332 | 60034 7 | 1410 | 4118 830.55/830.77 c 826s | 17 | 1815811 | 256932 | 60034 7 | 1410 | 4118 832.66/832.84 c 828s | 17 | 1819573 | 257532 | 60034 7 | 1410 | 4118 834.65/834.89 c 830s | 17 | 1824855 | 258132 | 60034 7 | 1410 | 4118 837.05/837.25 c 833s | 17 | 1829564 | 258932 | 60034 7 | 1410 | 4118 839.15/839.32 c 835s | 17 | 1832345 | 259532 | 60034 7 | 1410 | 4118 841.55/841.74 c 837s | 17 | 1838624 | 260232 | 60034 7 | 1410 | 4118 843.74/843.95 c 839s | 17 | 1842425 | 260932 | 60034 7 | 1410 | 4118 845.75/846.00 c 841s | 17 | 1844483 | 261532 | 60034 7 | 1410 | 4118 848.05/848.26 c 844s | 17 | 1848354 | 262132 | 60034 7 | 1410 | 4118 850.15/850.36 c 846s | 17 | 1852647 | 262732 | 60034 7 | 1410 | 4118 852.35/852.56 c 848s | 17 | 1855454 | 263232 | 60034 7 | 1410 | 4118 854.55/854.75 c 850s | 17 | 1859103 | 263732 | 60034 7 | 1410 | 4118 856.64/856.87 c 852s | 17 | 1862236 | 264232 | 60034 7 | 1410 | 4118 858.95/859.14 c 854s | 17 | 1866908 | 264832 | 60034 7 | 1410 | 4118 861.04/861.30 c 857s | 17 | 1871391 | 265432 | 60034 7 | 1410 | 4118 863.45/863.63 c 859s | 17 | 1876104 | 266132 | 60034 7 | 1410 | 4118 865.44/865.68 c 861s | 17 | 1879659 | 266632 | 60034 7 | 1410 | 4118 867.54/867.73 c 863s | 17 | 1882398 | 267132 | 60034 7 | 1410 | 4118 869.84/870.06 c 865s | 17 | 1886832 | 267832 | 60034 7 | 1410 | 4118 871.84/872.08 c 867s | 17 | 1889344 | 268332 | 60034 7 | 1410 | 4118 873.94/874.19 c 869s | 17 | 1893900 | 268932 | 60034 7 | 1410 | 4118 876.24/876.45 c 872s | 17 | 1896361 | 269432 | 60034 7 | 1410 | 4118 878.44/878.61 c 874s | 17 | 1900582 | 269932 | 60034 7 | 1410 | 4118 880.64/880.83 c 876s | 17 | 1903717 | 270432 | 60034 7 | 1410 | 4118 882.83/883.09 c 878s | 17 | 1905450 | 270932 | 60034 7 | 1410 | 4118 885.03/885.29 c 881s | 17 | 1908290 | 271432 | 60034 7 | 1410 | 4118 887.23/887.47 c 883s | 17 | 1914136 | 272232 | 60034 7 | 1410 | 4118 889.53/889.70 c 885s | 17 | 1916660 | 272632 | 60034 7 | 1410 | 4118 891.63/891.87 c 887s | 17 | 1921156 | 273132 | 60034 7 | 1410 | 4118 893.73/893.96 c 889s | 17 | 1923511 | 273632 | 60034 7 | 1410 | 4118 896.03/896.29 c 892s | 17 | 1926064 | 274132 | 60034 7 | 1410 | 4118 898.33/898.52 c 894s | 17 | 1930340 | 274532 | 60034 8 | 1410 | 4118 900.33/900.57 c 896s | 17 | 1933777 | 275132 | 60034 8 | 1410 | 4118 902.43/902.64 c 898s | 17 | 1937481 | 275732 | 60034 8 | 1410 | 4118 904.63/904.83 c 900s | 17 | 1940421 | 276332 | 60034 8 | 1410 | 4118 906.63/906.85 c 902s | 17 | 1946418 | 277032 | 60034 8 | 1410 | 4118 908.62/908.85 c 904s | 17 | 1950505 | 277632 | 60034 8 | 1410 | 4118 910.92/911.15 c 906s | 17 | 1953869 | 278232 | 60034 8 | 1410 | 4118 913.12/913.38 c 909s | 17 | 1959917 | 279032 | 60034 8 | 1410 | 4118 915.32/915.56 c 911s | 17 | 1965163 | 279732 | 60034 8 | 1410 | 4118 917.52/917.79 c 913s | 17 | 1969601 | 280432 | 60034 8 | 1410 | 4118 920.02/920.22 c 916s | 17 | 1972101 | 281032 | 60034 8 | 1410 | 4118 922.22/922.44 c 918s | 17 | 1974603 | 281532 | 60034 8 | 1410 | 4118 924.42/924.65 c 920s | 17 | 1980179 | 282232 | 60034 8 | 1410 | 4118 926.52/926.76 c 922s | 17 | 1984309 | 283032 | 60034 8 | 1410 | 4118 928.82/929.01 c 924s | 17 | 1989390 | 283832 | 60034 8 | 1410 | 4118 930.82/931.04 c 926s | 17 | 1995649 | 284432 | 60034 8 | 1410 | 4118 933.01/933.23 c 929s | 17 | 2001056 | 285132 | 60034 8 | 1410 | 4118 935.11/935.34 c 931s | 17 | 2005469 | 285732 | 60034 8 | 1410 | 4118 937.31/937.52 c 933s | 17 | 2010401 | 286332 | 60034 8 | 1410 | 4118 939.32/939.54 c 935s | 17 | 2015069 | 287032 | 60034 8 | 1410 | 4118 941.41/941.70 c 937s | 17 | 2020939 | 287632 | 60034 8 | 1410 | 4118 943.50/943.75 c 939s | 17 | 2026371 | 288232 | 60034 8 | 1410 | 4118 945.70/945.97 c 941s | 17 | 2031276 | 288832 | 60034 8 | 1410 | 4118 947.70/947.98 c 943s | 17 | 2033967 | 289432 | 60034 8 | 1410 | 4118 950.00/950.28 c 946s | 17 | 2037214 | 290232 | 60034 8 | 1410 | 4118 952.20/952.49 c 948s | 17 | 2040830 | 290732 | 60034 8 | 1410 | 4118 954.40/954.65 c 950s | 17 | 2044921 | 291432 | 66038 8 | 1410 | 4118 956.60/956.83 c 952s | 17 | 2047138 | 291932 | 66038 8 | 1410 | 4118 958.90/959.19 c 955s | 17 | 2050527 | 292632 | 66038 8 | 1410 | 4118 961.10/961.32 c 957s | 17 | 2054735 | 293132 | 66038 8 | 1410 | 4118 963.10/963.34 c 959s | 17 | 2058029 | 293632 | 66038 8 | 1410 | 4118 965.30/965.53 c 961s | 17 | 2062198 | 294232 | 66038 8 | 1410 | 4118 967.69/967.98 c 963s | 17 | 2065837 | 294832 | 66038 8 | 1410 | 4118 969.79/970.00 c 965s | 17 | 2069492 | 295532 | 66038 8 | 1410 | 4118 971.89/972.16 c 967s | 17 | 2074622 | 296132 | 66038 8 | 1410 | 4118 972.30/972.58 c 968s | 18 | 2075086 | 296252 | 66038 8 | 1410 | 4118 974.50/974.78 c 970s | 18 | 2080588 | 296752 | 66038 8 | 1410 | 4118 976.89/977.18 c 972s | 18 | 2083632 | 297352 | 66038 8 | 1410 | 4118 979.09/979.38 c 975s | 18 | 2086254 | 297852 | 66038 8 | 1410 | 4118 981.18/981.46 c 977s | 18 | 2089246 | 298352 | 66038 8 | 1410 | 4118 983.48/983.70 c 979s | 18 | 2091179 | 298852 | 66038 8 | 1410 | 4118 985.58/985.85 c 981s | 18 | 2093271 | 299352 | 66038 8 | 1410 | 4118 987.78/988.05 c 983s | 18 | 2095502 | 299852 | 66038 8 | 1410 | 4118 990.18/990.42 c 986s | 18 | 2096879 | 300352 | 66038 8 | 1410 | 4118 992.28/992.50 c 988s | 18 | 2100256 | 300952 | 66038 8 | 1410 | 4118 994.38/994.69 c 990s | 18 | 2103989 | 301652 | 66038 8 | 1410 | 4118 996.78/997.01 c 992s | 18 | 2106354 | 302152 | 66038 8 | 1410 | 4118 999.28/999.52 c 995s | 18 | 2109558 | 302752 | 66038 8 | 1410 | 4118 1001.47/1001.70 c 997s | 18 | 2114305 | 303252 | 66038 8 | 1410 | 4118 1003.67/1003.95 c 999s | 18 | 2118863 | 303752 | 66038 8 | 1410 | 4118 1005.77/1006.02 c 1001s | 18 | 2122550 | 304352 | 66038 8 | 1410 | 4118 1008.07/1008.35 c 1004s | 18 | 2124558 | 304852 | 66038 8 | 1410 | 4118 1010.47/1010.76 c 1006s | 18 | 2127110 | 305452 | 66038 8 | 1410 | 4118 1012.87/1013.19 c 1008s | 18 | 2128963 | 305852 | 66038 8 | 1410 | 4118 1015.37/1015.67 c 1011s | 18 | 2131212 | 306352 | 66038 8 | 1410 | 4118 1017.97/1018.21 c 1014s | 18 | 2133352 | 306852 | 66038 8 | 1410 | 4118 1020.06/1020.34 c 1016s | 18 | 2135731 | 307252 | 66038 8 | 1410 | 4118 1022.16/1022.47 c 1018s | 18 | 2137709 | 307752 | 66038 8 | 1410 | 4118 1024.36/1024.62 c 1020s | 18 | 2141022 | 308252 | 66038 8 | 1410 | 4118 1026.56/1026.87 c 1022s | 18 | 2146490 | 308952 | 66038 8 | 1410 | 4118 1028.66/1028.96 c 1024s | 18 | 2151081 | 309552 | 66038 8 | 1410 | 4118 1030.96/1031.20 c 1027s | 18 | 2154362 | 310252 | 66038 8 | 1410 | 4118 1033.16/1033.44 c 1029s | 18 | 2156490 | 310852 | 66038 8 | 1410 | 4118 1035.46/1035.72 c 1031s | 18 | 2158774 | 311252 | 66038 8 | 1410 | 4118 1037.56/1037.89 c 1033s | 18 | 2160678 | 311652 | 66038 8 | 1410 | 4118 1039.86/1040.19 c 1036s | 18 | 2162951 | 312152 | 66038 8 | 1410 | 4118 1042.05/1042.33 c 1038s | 18 | 2164658 | 312552 | 66038 8 | 1410 | 4118 1044.25/1044.58 c 1040s | 18 | 2169618 | 313052 | 66038 8 | 1410 | 4118 1046.46/1046.74 c 1042s | 18 | 2173271 | 313552 | 66038 8 | 1410 | 4118 1049.06/1049.36 c 1045s | 18 | 2177030 | 314052 | 66038 9 | 1410 | 4118 1051.46/1051.77 c 1047s | 18 | 2180126 | 314552 | 66038 9 | 1410 | 4118 1055.15/1055.44 c 1051s | 18 | 2183732 | 315152 | 66038 9 | 1410 | 4118 1057.35/1057.63 c 1053s | 18 | 2189337 | 315952 | 66038 9 | 1410 | 4118 1059.55/1059.87 c 1055s | 18 | 2193916 | 316752 | 66038 9 | 1410 | 4118 1061.95/1062.20 c 1058s | 18 | 2198433 | 317552 | 66038 9 | 1410 | 4118 1064.15/1064.43 c 1060s | 18 | 2202574 | 318352 | 66038 9 | 1410 | 4118 1066.45/1066.77 c 1062s | 18 | 2205860 | 319052 | 66038 9 | 1410 | 4118 1068.55/1068.84 c 1064s | 18 | 2209213 | 319752 | 66038 9 | 1410 | 4118 1070.65/1070.97 c 1066s | 18 | 2213799 | 320552 | 66038 9 | 1410 | 4118 1072.74/1073.03 c 1068s | 18 | 2220013 | 321152 | 66038 9 | 1410 | 4118 1074.84/1075.17 c 1070s | 18 | 2225593 | 321752 | 66038 9 | 1410 | 4118 1077.14/1077.41 c 1073s | 18 | 2229091 | 322352 | 66038 9 | 1410 | 4118 1079.34/1079.64 c 1075s | 18 | 2231365 | 322952 | 66038 9 | 1410 | 4118 1081.74/1082.07 c 1077s | 18 | 2233999 | 323652 | 66038 9 | 1410 | 4118 1083.84/1084.11 c 1079s | 18 | 2239449 | 324552 | 66038 9 | 1410 | 4118 1085.84/1086.18 c 1081s | 18 | 2243314 | 325352 | 66038 9 | 1410 | 4118 1087.94/1088.28 c 1084s | 18 | 2247312 | 326052 | 66038 9 | 1410 | 4118 1090.14/1090.49 c 1086s | 18 | 2252691 | 326852 | 66038 9 | 1410 | 4118 1092.34/1092.66 c 1088s | 18 | 2257266 | 327652 | 66038 9 | 1410 | 4118 1094.64/1094.90 c 1090s | 18 | 2261468 | 328352 | 66038 9 | 1410 | 4118 1096.84/1097.13 c 1092s | 18 | 2264902 | 328952 | 66038 9 | 1410 | 4118 1098.84/1099.17 c 1094s | 18 | 2268690 | 329552 | 66038 9 | 1410 | 4118 1100.84/1101.20 c 1097s | 18 | 2272095 | 330152 | 66038 9 | 1410 | 4118 1103.14/1103.41 c 1099s | 18 | 2275505 | 330752 | 66038 9 | 1410 | 4118 1105.53/1105.80 c 1101s | 18 | 2278248 | 331352 | 66038 9 | 1410 | 4118 1107.63/1107.92 c 1103s | 18 | 2281046 | 331952 | 66038 9 | 1410 | 4118 1109.64/1109.98 c 1105s | 18 | 2284007 | 332652 | 66038 9 | 1410 | 4118 1111.84/1112.15 c 1107s | 18 | 2289686 | 333452 | 66038 9 | 1410 | 4118 1114.04/1114.39 c 1110s | 18 | 2292359 | 334152 | 66038 9 | 1410 | 4118 1116.13/1116.50 c 1112s | 18 | 2295626 | 334852 | 66038 9 | 1410 | 4118 1118.54/1118.81 c 1114s | 18 | 2299095 | 335652 | 66038 9 | 1410 | 4118 1120.63/1120.94 c 1116s | 18 | 2303832 | 336352 | 66038 9 | 1410 | 4118 1122.63/1122.99 c 1118s | 18 | 2307385 | 336952 | 66038 9 | 1410 | 4118 1124.73/1125.04 c 1120s | 18 | 2309653 | 337452 | 66038 9 | 1410 | 4118 1126.93/1127.21 c 1123s | 18 | 2312767 | 338052 | 66038 9 | 1410 | 4118 1129.13/1129.47 c 1125s | 18 | 2316294 | 338652 | 66038 9 | 1410 | 4118 1131.22/1131.52 c 1127s | 18 | 2319772 | 339352 | 66038 9 | 1410 | 4118 1133.32/1133.60 c 1129s | 18 | 2324033 | 339952 | 66038 9 | 1410 | 4118 1135.42/1135.70 c 1131s | 18 | 2327417 | 340552 | 66038 9 | 1410 | 4118 1137.82/1138.10 c 1133s | 18 | 2331437 | 341152 | 66038 9 | 1410 | 4118 1139.82/1140.12 c 1135s | 18 | 2335373 | 341752 | 66038 9 | 1410 | 4118 1141.82/1142.16 c 1137s | 18 | 2338095 | 342352 | 66038 9 | 1410 | 4118 1144.22/1144.51 c 1140s | 18 | 2341703 | 342952 | 66038 9 | 1410 | 4118 1146.32/1146.64 c 1142s | 18 | 2346037 | 343652 | 66038 9 | 1410 | 4118 1148.42/1148.78 c 1144s | 18 | 2349224 | 344252 | 66038 9 | 1410 | 4118 1150.62/1150.92 c 1146s | 18 | 2351426 | 344752 | 66038 9 | 1410 | 4118 1152.62/1152.97 c 1148s | 18 | 2354331 | 345252 | 66038 9 | 1410 | 4118 1155.01/1155.35 c 1151s | 18 | 2357562 | 345852 | 66038 9 | 1410 | 4118 1157.21/1157.51 c 1153s | 18 | 2360262 | 346352 | 66038 9 | 1410 | 4118 1159.51/1159.81 c 1155s | 18 | 2361893 | 346852 | 66038 9 | 1410 | 4118 1161.51/1161.84 c 1157s | 18 | 2365367 | 347652 | 66038 9 | 1410 | 4118 1163.81/1164.11 c 1159s | 18 | 2368187 | 348052 | 66038 9 | 1410 | 4118 1166.51/1166.87 c 1162s | 18 | 2371009 | 348352 | 66038 9 | 1410 | 4118 1168.81/1169.11 c 1164s | 18 | 2373458 | 348652 | 66038 9 | 1410 | 4118 1171.21/1171.53 c 1167s | 18 | 2377255 | 349052 | 66038 9 | 1410 | 4118 1174.20/1174.52 c 1170s | 18 | 2379510 | 349352 | 66038 9 | 1410 | 4118 1177.00/1177.31 c 1173s | 18 | 2382846 | 349752 | 66038 9 | 1410 | 4118 1179.01/1179.37 c 1175s | 18 | 2383905 | 350052 | 66038 9 | 1410 | 4118 1181.40/1181.79 c 1177s | 18 | 2387061 | 350352 | 66038 9 | 1410 | 4118 1184.20/1184.54 c 1180s | 18 | 2389040 | 350652 | 66038 9 | 1410 | 4118 1186.40/1186.75 c 1182s | 18 | 2390745 | 350952 | 66038 10 | 1410 | 4118 1189.50/1189.81 c 1185s | 18 | 2393747 | 351352 | 66038 10 | 1410 | 4118 1191.79/1192.12 c 1187s | 18 | 2397854 | 352052 | 66038 10 | 1410 | 4118 1193.89/1194.24 c 1190s | 18 | 2401470 | 352752 | 66038 10 | 1410 | 4118 1195.99/1196.34 c 1192s | 18 | 2405761 | 353352 | 66038 10 | 1410 | 4118 1198.09/1198.46 c 1194s | 18 | 2409531 | 353952 | 66038 10 | 1410 | 4118 1200.19/1200.50 c 1196s | 18 | 2412571 | 354352 | 66038 10 | 1410 | 4118 1202.59/1202.92 c 1198s | 18 | 2415959 | 354752 | 66038 10 | 1410 | 4118 1204.59/1204.99 c 1200s | 18 | 2419218 | 355152 | 66038 10 | 1410 | 4118 1207.19/1207.56 c 1203s | 18 | 2422977 | 355652 | 66038 10 | 1410 | 4118 1209.29/1209.68 c 1205s | 18 | 2426102 | 356152 | 66038 10 | 1410 | 4118 1211.49/1211.80 c 1207s | 18 | 2429279 | 356552 | 66038 10 | 1410 | 4118 1213.89/1214.21 c 1210s | 18 | 2431920 | 357052 | 66038 10 | 1410 | 4118 1216.09/1216.42 c 1212s | 18 | 2435655 | 357652 | 66038 10 | 1410 | 4118 1218.29/1218.62 c 1214s | 18 | 2439329 | 358552 | 66038 10 | 1410 | 4118 1220.29/1220.64 c 1216s | 18 | 2445102 | 359252 | 66038 10 | 1410 | 4118 1222.38/1222.74 c 1218s | 18 | 2448201 | 359852 | 66038 10 | 1410 | 4118 1224.48/1224.87 c 1220s | 18 | 2451322 | 360252 | 66038 10 | 1410 | 4118 1226.78/1227.14 c 1222s | 18 | 2453033 | 360652 | 66038 10 | 1410 | 4118 1229.38/1229.78 c 1225s | 18 | 2456859 | 361252 | 66038 10 | 1410 | 4118 1231.58/1231.98 c 1227s | 18 | 2460639 | 361752 | 66038 10 | 1410 | 4118 1233.89/1234.21 c 1230s | 18 | 2463952 | 362352 | 66038 10 | 1410 | 4118 1235.88/1236.27 c 1232s | 18 | 2466963 | 362852 | 66038 10 | 1410 | 4118 1238.08/1238.46 c 1234s | 18 | 2469795 | 363452 | 66038 10 | 1410 | 4118 1240.18/1240.50 c 1236s | 18 | 2471891 | 363952 | 66038 10 | 1410 | 4118 1242.28/1242.68 c 1238s | 18 | 2474498 | 364552 | 66038 10 | 1410 | 4118 1244.78/1245.14 c 1240s | 18 | 2478267 | 365152 | 66038 10 | 1410 | 4118 1246.78/1247.14 c 1242s | 18 | 2480704 | 365552 | 66038 10 | 1410 | 4118 1248.88/1249.21 c 1245s | 18 | 2483424 | 365952 | 66038 10 | 1410 | 4118 1251.27/1251.66 c 1247s | 18 | 2486391 | 366452 | 66038 10 | 1410 | 4118 1253.47/1253.85 c 1249s | 18 | 2489308 | 366952 | 66038 10 | 1410 | 4118 1255.67/1256.00 c 1251s | 18 | 2492365 | 367352 | 66038 10 | 1410 | 4118 1257.77/1258.13 c 1253s | 18 | 2495402 | 367552 | 66038 10 | 1410 | 4118 1259.87/1260.23 c 1256s | 18 | 2499839 | 367952 | 66038 10 | 1410 | 4118 1262.17/1262.58 c 1258s | 18 | 2503819 | 368352 | 66038 10 | 1410 | 4118 1264.78/1265.11 c 1260s | 18 | 2507375 | 368752 | 66038 10 | 1410 | 4118 1266.77/1267.15 c 1262s | 18 | 2510403 | 369052 | 66038 10 | 1410 | 4118 1268.77/1269.18 c 1264s | 18 | 2513368 | 369452 | 66038 10 | 1410 | 4118 1271.17/1271.51 c 1267s | 18 | 2517586 | 369952 | 66038 10 | 1410 | 4118 1273.47/1273.88 c 1269s | 18 | 2521743 | 370452 | 66038 10 | 1410 | 4118 1275.97/1276.37 c 1272s | 18 | 2525756 | 370952 | 66038 10 | 1410 | 4118 1278.26/1278.67 c 1274s | 18 | 2529230 | 371352 | 66038 10 | 1410 | 4118 1280.56/1280.93 c 1276s | 18 | 2532272 | 371752 | 66038 10 | 1410 | 4118 1282.76/1283.16 c 1278s | 18 | 2534509 | 372152 | 66038 10 | 1410 | 4118 1285.06/1285.40 c 1281s | 18 | 2537855 | 372652 | 66038 10 | 1410 | 4118 1287.06/1287.45 c 1283s | 18 | 2540392 | 373052 | 66038 10 | 1410 | 4118 1289.36/1289.78 c 1285s | 18 | 2542653 | 373352 | 66038 10 | 1410 | 4118 1291.45/1291.81 c 1287s | 18 | 2545022 | 373652 | 66038 10 | 1410 | 4118 1293.96/1294.38 c 1290s | 18 | 2548126 | 374052 | 66038 10 | 1410 | 4118 1296.86/1297.21 c 1293s | 18 | 2550892 | 374452 | 66038 10 | 1410 | 4118 1299.26/1299.61 c 1295s | 18 | 2554199 | 374852 | 66038 10 | 1410 | 4118 1301.46/1301.86 c 1297s | 18 | 2556934 | 375252 | 66038 10 | 1410 | 4118 1304.06/1304.40 c 1300s | 18 | 2559489 | 375652 | 66038 10 | 1410 | 4118 1306.36/1306.72 c 1302s | 18 | 2564165 | 376152 | 66038 10 | 1410 | 4118 1308.56/1308.97 c 1304s | 18 | 2569484 | 376652 | 66038 10 | 1410 | 4118 1310.75/1311.13 c 1306s | 18 | 2573542 | 377152 | 66038 10 | 1410 | 4118 1312.75/1313.15 c 1308s | 18 | 2577157 | 377652 | 66038 10 | 1410 | 4118 1315.05/1315.49 c 1311s | 18 | 2579665 | 378152 | 66038 10 | 1410 | 4118 1317.65/1318.07 c 1313s | 18 | 2582719 | 378652 | 66038 10 | 1410 | 4118 1319.95/1320.31 c 1316s | 18 | 2586207 | 379052 | 66038 10 | 1410 | 4118 1322.55/1322.97 c 1318s | 18 | 2587688 | 379452 | 66038 10 | 1410 | 4118 1325.05/1325.42 c 1321s | 18 | 2589632 | 379852 | 66038 10 | 1410 | 4118 1327.55/1327.90 c 1323s | 18 | 2592140 | 380252 | 66038 10 | 1410 | 4118 1329.56/1329.91 c 1325s | 18 | 2594972 | 380652 | 66038 10 | 1410 | 4118 1331.86/1332.21 c 1328s | 18 | 2598581 | 381152 | 66038 10 | 1410 | 4118 1334.15/1334.54 c 1330s | 18 | 2601637 | 381552 | 66038 10 | 1410 | 4118 1336.75/1337.11 c 1332s | 18 | 2604375 | 381952 | 66038 10 | 1410 | 4118 1338.75/1339.14 c 1334s | 18 | 2607693 | 382352 | 66038 10 | 1410 | 4118 1340.75/1341.19 c 1337s | 18 | 2610578 | 382752 | 66038 10 | 1410 | 4118 1343.05/1343.41 c 1339s | 18 | 2613787 | 383152 | 66038 10 | 1410 | 4118 1345.35/1345.75 c 1341s | 18 | 2616493 | 383552 | 66038 10 | 1410 | 4118 1347.65/1348.07 c 1343s | 18 | 2619334 | 383952 | 66038 10 | 1410 | 4118 1349.85/1350.21 c 1346s | 18 | 2622182 | 384352 | 66038 10 | 1410 | 4118 1352.25/1352.61 c 1348s | 18 | 2625541 | 384852 | 66038 10 | 1410 | 4118 1354.75/1355.15 c 1350s | 18 | 2628120 | 385352 | 66038 10 | 1410 | 4118 1357.05/1357.42 c 1353s | 18 | 2630789 | 385852 | 66038 10 | 1410 | 4118 1359.44/1359.89 c 1355s | 18 | 2633541 | 386352 | 66038 10 | 1410 | 4118 1361.64/1362.04 c 1357s | 18 | 2638448 | 386852 | 66038 10 | 1410 | 4118 1364.04/1364.42 c 1360s | 18 | 2640888 | 387352 | 66038 11 | 1410 | 4118 1366.04/1366.43 c 1362s | 18 | 2646600 | 388052 | 66038 11 | 1410 | 4118 1369.34/1369.71 c 1365s | 18 | 2651276 | 388752 | 66038 11 | 1410 | 4118 1371.45/1371.82 c 1367s | 18 | 2656937 | 389552 | 66038 11 | 1410 | 4118 1373.55/1373.94 c 1369s | 18 | 2663082 | 390252 | 66038 11 | 1410 | 4118 1375.64/1376.01 c 1371s | 18 | 2669087 | 391152 | 66038 11 | 1410 | 4118 1377.84/1378.23 c 1374s | 18 | 2673099 | 392152 | 66038 11 | 1410 | 4118 1379.84/1380.24 c 1376s | 18 | 2677152 | 393152 | 66038 11 | 1410 | 4118 1382.04/1382.48 c 1378s | 18 | 2683216 | 393952 | 66038 11 | 1410 | 4118 1384.34/1384.73 c 1380s | 18 | 2688864 | 394752 | 66038 11 | 1410 | 4118 1386.54/1386.93 c 1382s | 18 | 2692485 | 395452 | 66038 11 | 1410 | 4118 1388.54/1388.95 c 1384s | 18 | 2696424 | 396252 | 66038 11 | 1410 | 4118 1390.74/1391.17 c 1386s | 18 | 2701154 | 397152 | 66038 11 | 1410 | 4118 1392.84/1393.28 c 1389s | 18 | 2705815 | 397952 | 66038 11 | 1410 | 4118 1394.94/1395.38 c 1391s | 18 | 2711247 | 398752 | 66038 11 | 1410 | 4118 1397.04/1397.42 c 1393s | 18 | 2715538 | 399552 | 66038 11 | 1410 | 4118 1399.04/1399.45 c 1395s | 18 | 2720190 | 400352 | 66038 11 | 1410 | 4118 1401.34/1401.71 c 1397s | 18 | 2724631 | 401152 | 66038 11 | 1410 | 4118 1403.43/1403.82 c 1399s | 18 | 2730531 | 401952 | 66038 11 | 1410 | 4118 1405.73/1406.12 c 1401s | 18 | 2738223 | 402652 | 66038 11 | 1410 | 4118 1407.74/1408.13 c 1403s | 18 | 2741452 | 403252 | 66038 11 | 1410 | 4118 1409.94/1410.33 c 1406s | 18 | 2744090 | 403852 | 66038 11 | 1410 | 4118 1412.14/1412.56 c 1408s | 18 | 2747577 | 404352 | 66038 11 | 1410 | 4118 1414.43/1414.85 c 1410s | 18 | 2752032 | 404952 | 66038 11 | 1410 | 4118 1416.83/1417.29 c 1413s | 18 | 2757728 | 405652 | 66038 11 | 1410 | 4118 1418.93/1419.38 c 1415s | 18 | 2765478 | 406352 | 66038 11 | 1410 | 4118 1421.13/1421.58 c 1417s | 18 | 2773905 | 407152 | 66038 11 | 1410 | 4118 1423.23/1423.66 c 1419s | 18 | 2777563 | 407852 | 66038 11 | 1410 | 4118 1425.53/1425.91 c 1421s | 18 | 2781078 | 408652 | 66038 11 | 1410 | 4118 1427.83/1428.27 c 1424s | 18 | 2784574 | 409252 | 66038 11 | 1410 | 4118 1430.13/1430.52 c 1426s | 18 | 2787744 | 409852 | 66038 11 | 1410 | 4118 1432.13/1432.56 c 1428s | 18 | 2792634 | 410452 | 66038 11 | 1410 | 4118 1434.23/1434.67 c 1430s | 18 | 2798126 | 411152 | 66038 11 | 1410 | 4118 1436.63/1437.02 c 1432s | 18 | 2801373 | 411852 | 66038 11 | 1410 | 4118 1438.83/1439.24 c 1435s | 18 | 2805568 | 412552 | 66038 11 | 1410 | 4118 1440.83/1441.27 c 1437s | 18 | 2809935 | 413152 | 66038 11 | 1410 | 4118 1442.93/1443.33 c 1439s | 18 | 2813453 | 413752 | 66038 11 | 1410 | 4118 1445.23/1445.62 c 1441s | 18 | 2819784 | 414452 | 66038 11 | 1410 | 4118 1447.53/1447.95 c 1443s | 18 | 2825865 | 415152 | 66038 11 | 1410 | 4118 1449.73/1450.16 c 1445s | 18 | 2829677 | 415852 | 66038 11 | 1410 | 4118 1452.13/1452.52 c 1448s | 18 | 2832919 | 416552 | 66038 11 | 1410 | 4118 1454.33/1454.77 c 1450s | 18 | 2835642 | 417152 | 66038 11 | 1410 | 4118 1456.53/1456.94 c 1452s | 18 | 2841259 | 417752 | 66038 11 | 1410 | 4118 1458.73/1459.12 c 1454s | 18 | 2846236 | 418352 | 66038 11 | 1410 | 4118 1460.82/1461.26 c 1457s | 18 | 2849941 | 418852 | 66038 11 | 1410 | 4118 1463.02/1463.42 c 1459s | 18 | 2852758 | 419352 | 66038 11 | 1410 | 4118 1465.22/1465.60 c 1461s | 18 | 2858153 | 419952 | 66038 11 | 1410 | 4118 1467.32/1467.70 c 1463s | 18 | 2864203 | 420752 | 66038 11 | 1410 | 4118 1469.42/1469.83 c 1465s | 18 | 2870846 | 421552 | 66038 11 | 1410 | 4118 1471.72/1472.16 c 1467s | 18 | 2874869 | 422352 | 66038 11 | 1410 | 4118 1474.02/1474.47 c 1470s | 18 | 2881634 | 423052 | 66038 11 | 1410 | 4118 1476.12/1476.53 c 1472s | 18 | 2887283 | 423652 | 66038 11 | 1410 | 4118 1478.13/1478.54 c 1474s | 18 | 2891953 | 424152 | 66038 12 | 1410 | 4118 1480.23/1480.68 c 1476s | 18 | 2897681 | 424752 | 66038 12 | 1410 | 4118 1482.32/1482.78 c 1478s | 18 | 2901692 | 425452 | 66038 12 | 1410 | 4118 1484.52/1484.94 c 1480s | 18 | 2905230 | 426252 | 66038 12 | 1410 | 4118 1486.62/1487.03 c 1482s | 18 | 2908864 | 426852 | 66038 12 | 1410 | 4118 1488.72/1489.10 c 1484s | 18 | 2913012 | 427552 | 66038 12 | 1410 | 4118 1490.72/1491.16 c 1486s | 18 | 2918856 | 428252 | 66038 12 | 1410 | 4118 1493.02/1493.42 c 1489s | 18 | 2927938 | 429052 | 66038 12 | 1410 | 4118 1495.32/1495.70 c 1491s | 18 | 2932230 | 429752 | 66038 12 | 1410 | 4118 1497.52/1497.92 c 1493s | 18 | 2936730 | 430352 | 66038 12 | 1410 | 4118 1499.62/1500.06 c 1495s | 18 | 2942417 | 431152 | 66038 12 | 1410 | 4118 1501.72/1502.13 c 1497s | 18 | 2946774 | 431952 | 66038 12 | 1410 | 4118 1503.82/1504.23 c 1500s | 18 | 2953149 | 432852 | 66038 12 | 1410 | 4118 1505.82/1506.24 c 1502s | 18 | 2957741 | 433652 | 66038 12 | 1410 | 4118 1507.91/1508.36 c 1504s | 18 | 2964141 | 434552 | 66038 12 | 1410 | 4118 1510.11/1510.54 c 1506s | 18 | 2969072 | 435452 | 66038 12 | 1410 | 4118 1512.22/1512.69 c 1508s | 18 | 2975229 | 436252 | 66038 12 | 1410 | 4118 1514.51/1514.99 c 1510s | 18 | 2981959 | 437052 | 66038 12 | 1410 | 4118 1516.62/1517.04 c 1512s | 18 | 2985397 | 437752 | 66038 12 | 1410 | 4118 1518.82/1519.20 c 1515s | 18 | 2988461 | 438452 | 72642 12 | 1410 | 4118 1521.02/1521.43 c 1517s | 18 | 2994209 | 439252 | 72642 12 | 1410 | 4118 1523.22/1523.64 c 1519s | 18 | 2998809 | 440152 | 72642 12 | 1410 | 4118 1525.21/1525.65 c 1521s | 18 | 3004070 | 440852 | 72642 12 | 1410 | 4118 1527.41/1527.87 c 1523s | 18 | 3010434 | 441652 | 72642 12 | 1410 | 4118 1529.41/1529.89 c 1525s | 18 | 3014512 | 442252 | 72642 12 | 1410 | 4118 1531.61/1532.02 c 1527s | 18 | 3019164 | 442952 | 72642 12 | 1410 | 4118 1533.81/1534.27 c 1530s | 18 | 3021632 | 443552 | 72642 12 | 1410 | 4118 1535.91/1536.37 c 1532s | 18 | 3026848 | 444152 | 72642 12 | 1410 | 4118 1537.01/1537.42 c 1533s | 19 | 3029961 | 444482 | 72642 12 | 1410 | 4118 1539.11/1539.57 c 1535s | 19 | 3036661 | 445082 | 72642 12 | 1410 | 4118 1541.41/1541.82 c 1537s | 19 | 3040285 | 445782 | 72642 12 | 1410 | 4118 1543.61/1544.07 c 1539s | 19 | 3043306 | 446482 | 72642 12 | 1410 | 4118 1549.41/1549.88 c 1545s | 19 | 3048786 | 447082 | 72642 12 | 1410 | 4118 1551.61/1552.01 c 1547s | 19 | 3053768 | 447582 | 72642 12 | 1410 | 4118 1553.61/1554.09 c 1549s | 19 | 3056927 | 447982 | 72642 12 | 1410 | 4118 1556.01/1556.47 c 1552s | 19 | 3060835 | 448382 | 72642 12 | 1410 | 4118 1558.51/1558.92 c 1554s | 19 | 3061960 | 448582 | 72642 12 | 1410 | 4118 1560.62/1561.06 c 1556s | 19 | 3063462 | 448882 | 72642 12 | 1410 | 4118 1562.82/1563.24 c 1559s | 19 | 3068917 | 449482 | 72642 12 | 1410 | 4118 1564.92/1565.35 c 1561s | 19 | 3073917 | 450182 | 72642 12 | 1410 | 4118 1567.01/1567.46 c 1563s | 19 | 3076815 | 450882 | 72642 12 | 1410 | 4118 1569.11/1569.56 c 1565s | 19 | 3082357 | 451482 | 72642 12 | 1410 | 4118 1571.31/1571.79 c 1567s | 19 | 3087736 | 452082 | 72642 12 | 1410 | 4118 1573.61/1574.03 c 1569s | 19 | 3093486 | 452782 | 72642 12 | 1410 | 4118 1575.71/1576.12 c 1571s | 19 | 3095917 | 453382 | 72642 12 | 1410 | 4118 1577.91/1578.34 c 1574s | 19 | 3098467 | 453982 | 72642 12 | 1410 | 4118 1579.90/1580.35 c 1576s | 19 | 3101169 | 454582 | 72642 12 | 1410 | 4118 1582.00/1582.40 c 1578s | 19 | 3103389 | 455082 | 72642 12 | 1410 | 4118 1584.10/1584.57 c 1580s | 19 | 3104391 | 455582 | 72642 12 | 1410 | 4118 1586.20/1586.62 c 1582s | 19 | 3109080 | 456182 | 72642 12 | 1410 | 4118 1588.50/1588.91 c 1584s | 19 | 3114513 | 456882 | 72642 12 | 1410 | 4118 1590.80/1591.25 c 1587s | 19 | 3119211 | 457582 | 72642 12 | 1410 | 4118 1593.00/1593.49 c 1589s | 19 | 3122418 | 458282 | 72642 12 | 1410 | 4118 1595.30/1595.72 c 1591s | 19 | 3128233 | 458882 | 72642 12 | 1410 | 4118 1597.60/1598.02 c 1593s | 19 | 3132751 | 459582 | 72642 12 | 1410 | 4118 1599.90/1600.34 c 1596s | 19 | 3135371 | 460282 | 72642 12 | 1410 | 4118 1602.10/1602.53 c 1598s | 19 | 3138182 | 460682 | 72642 12 | 1410 | 4118 1604.20/1604.69 c 1600s | 19 | 3141407 | 461082 | 72642 12 | 1410 | 4118 1606.20/1606.70 c 1602s | 19 | 3144262 | 461382 | 72642 12 | 1410 | 4118 1608.91/1609.39 c 1605s | 19 | 3145990 | 461782 | 72642 12 | 1410 | 4118 1611.21/1611.66 c 1607s | 19 | 3151247 | 462282 | 72642 12 | 1410 | 4118 1613.41/1613.88 c 1609s | 19 | 3157599 | 463082 | 72642 12 | 1410 | 4118 1615.40/1615.90 c 1611s | 19 | 3161724 | 463782 | 72642 12 | 1410 | 4118 1617.50/1617.95 c 1613s | 19 | 3166192 | 464382 | 72642 12 | 1410 | 4118 1619.60/1620.05 c 1615s | 19 | 3171590 | 464982 | 72642 12 | 1410 | 4118 1621.60/1622.08 c 1617s | 19 | 3175543 | 465582 | 72642 12 | 1410 | 4118 1624.00/1624.40 c 1620s | 19 | 3178259 | 466182 | 72642 12 | 1410 | 4118 1626.10/1626.53 c 1622s | 19 | 3182436 | 466782 | 72642 12 | 1410 | 4118 1628.10/1628.59 c 1624s | 19 | 3184770 | 467282 | 72642 13 | 1410 | 4118 1630.50/1630.93 c 1626s | 19 | 3189440 | 467782 | 72642 13 | 1410 | 4118 1632.60/1633.05 c 1628s | 19 | 3194697 | 468682 | 72642 13 | 1410 | 4118 1634.90/1635.33 c 1631s | 19 | 3200190 | 469482 | 72642 13 | 1410 | 4118 1636.90/1637.34 c 1633s | 19 | 3204514 | 469982 | 72642 13 | 1410 | 4118 1639.29/1639.75 c 1635s | 19 | 3208629 | 470582 | 72642 13 | 1410 | 4118 1641.29/1641.78 c 1637s | 19 | 3212785 | 471082 | 72642 13 | 1410 | 4118 1643.39/1643.87 c 1639s | 19 | 3216129 | 471782 | 72642 13 | 1410 | 4118 1645.49/1645.91 c 1641s | 19 | 3220990 | 472482 | 72642 13 | 1410 | 4118 1647.50/1647.95 c 1643s | 19 | 3225973 | 473082 | 72642 13 | 1410 | 4118 1649.70/1650.11 c 1645s | 19 | 3230520 | 473682 | 72642 13 | 1410 | 4118 1651.99/1652.40 c 1648s | 19 | 3232587 | 474282 | 72642 13 | 1410 | 4118 1654.10/1654.56 c 1650s | 19 | 3235574 | 474982 | 72642 13 | 1410 | 4118 1656.39/1656.89 c 1652s | 19 | 3242157 | 475782 | 72642 13 | 1410 | 4118 1658.59/1659.04 c 1654s | 19 | 3247747 | 476482 | 72642 13 | 1410 | 4118 1660.70/1661.15 c 1656s | 19 | 3252275 | 476982 | 72642 13 | 1410 | 4118 1662.90/1663.39 c 1659s | 19 | 3255573 | 477482 | 72642 13 | 1410 | 4118 1665.10/1665.52 c 1661s | 19 | 3261590 | 478082 | 72642 13 | 1410 | 4118 1667.09/1667.54 c 1663s | 19 | 3265970 | 478682 | 72642 13 | 1410 | 4118 1669.29/1669.79 c 1665s | 19 | 3268750 | 479382 | 72642 13 | 1410 | 4118 1671.39/1671.87 c 1667s | 19 | 3270603 | 480082 | 72642 13 | 1410 | 4118 1673.39/1673.89 c 1669s | 19 | 3272008 | 480582 | 72642 13 | 1410 | 4118 1675.69/1676.13 c 1671s | 19 | 3277270 | 481382 | 72642 13 | 1410 | 4118 1678.09/1678.51 c 1674s | 19 | 3282283 | 482082 | 72642 13 | 1410 | 4118 1680.09/1680.58 c 1676s | 19 | 3286014 | 482582 | 72642 13 | 1410 | 4118 1682.49/1682.97 c 1678s | 19 | 3287830 | 483082 | 72642 13 | 1410 | 4118 1684.49/1684.98 c 1680s | 19 | 3291413 | 483582 | 72642 13 | 1410 | 4118 1686.89/1687.36 c 1683s | 19 | 3296898 | 484382 | 72642 13 | 1410 | 4118 1689.09/1689.53 c 1685s | 19 | 3301717 | 484982 | 72642 13 | 1410 | 4118 1691.29/1691.76 c 1687s | 19 | 3304426 | 485582 | 72642 13 | 1410 | 4118 1693.59/1694.05 c 1689s | 19 | 3306099 | 486082 | 72642 13 | 1410 | 4118 1695.89/1696.30 c 1692s | 19 | 3309264 | 486582 | 72642 13 | 1410 | 4118 1698.19/1698.69 c 1694s | 19 | 3312303 | 487082 | 72642 13 | 1410 | 4118 1700.39/1700.81 c 1696s | 19 | 3316894 | 487782 | 72642 13 | 1410 | 4118 1702.49/1702.96 c 1698s | 19 | 3323390 | 488382 | 72642 13 | 1410 | 4118 1704.78/1705.24 c 1701s | 19 | 3328094 | 489082 | 72642 13 | 1410 | 4118 1706.89/1707.36 c 1703s | 19 | 3329997 | 489682 | 72642 13 | 1410 | 4118 1708.99/1709.44 c 1705s | 19 | 3332727 | 490282 | 72642 13 | 1410 | 4118 1711.29/1711.72 c 1707s | 19 | 3337774 | 490982 | 72642 13 | 1410 | 4118 1713.39/1713.81 c 1709s | 19 | 3341558 | 491482 | 72642 13 | 1410 | 4118 1715.38/1715.84 c 1711s | 19 | 3345522 | 491982 | 72642 13 | 1410 | 4118 1717.48/1717.91 c 1713s | 19 | 3350407 | 492682 | 72642 13 | 1410 | 4118 1719.58/1720.03 c 1715s | 19 | 3354579 | 493382 | 72642 13 | 1410 | 4118 1721.88/1722.31 c 1718s | 19 | 3358781 | 494082 | 72642 13 | 1410 | 4118 1723.88/1724.33 c 1720s | 19 | 3363339 | 494682 | 72642 13 | 1410 | 4118 1726.28/1726.70 c 1722s | 19 | 3366660 | 495282 | 72642 13 | 1410 | 4118 1728.28/1728.71 c 1724s | 19 | 3369106 | 495782 | 72642 13 | 1410 | 4118 1730.28/1730.76 c 1726s | 19 | 3373300 | 496382 | 72642 13 | 1410 | 4118 1732.38/1732.87 c 1728s | 19 | 3378027 | 496982 | 72642 13 | 1410 | 4118 1734.78/1735.26 c 1731s | 19 | 3380650 | 497582 | 72642 13 | 1410 | 4118 1736.98/1737.48 c 1733s | 19 | 3384483 | 498182 | 72642 13 | 1410 | 4118 1739.28/1739.76 c 1735s | 19 | 3388371 | 498782 | 72642 13 | 1410 | 4118 1741.48/1741.94 c 1737s | 19 | 3390225 | 499282 | 72642 13 | 1410 | 4118 1743.48/1743.96 c 1739s | 19 | 3393031 | 499782 | 72642 13 | 1410 | 4118 1745.48/1745.96 c 1741s | 19 | 3396321 | 500282 | 72642 13 | 1410 | 4118 1747.58/1748.08 c 1743s | 19 | 3400111 | 500882 | 72642 13 | 1410 | 4118 1749.88/1750.31 c 1746s | 19 | 3403104 | 501382 | 72642 13 | 1410 | 4118 1752.18/1752.60 c 1748s | 19 | 3407053 | 501982 | 72642 13 | 1410 | 4118 1754.48/1754.96 c 1750s | 19 | 3409671 | 502482 | 72642 13 | 1410 | 4118 1756.77/1757.28 c 1753s | 19 | 3411580 | 502882 | 72642 13 | 1410 | 4118 1758.87/1759.30 c 1755s | 19 | 3415448 | 503382 | 72642 13 | 1410 | 4118 1760.97/1761.48 c 1757s | 19 | 3420516 | 503982 | 72642 13 | 1410 | 4118 1763.17/1763.62 c 1759s | 19 | 3423646 | 504482 | 72642 13 | 1410 | 4118 1765.57/1766.03 c 1761s | 19 | 3426509 | 505082 | 72642 13 | 1410 | 4118 1768.17/1768.61 c 1764s | 19 | 3429168 | 505582 | 72642 13 | 1410 | 4118 1770.58/1771.10 c 1766s | 19 | 3433381 | 506182 | 72642 13 | 1410 | 4118 1772.97/1773.44 c 1769s | 19 | 3436948 | 506682 | 72642 13 | 1410 | 4118 1775.17/1775.60 c 1771s | 19 | 3441029 | 507182 | 72642 14 | 1410 | 4118 1777.28/1777.71 c 1773s | 19 | 3444777 | 507782 | 72642 14 | 1410 | 4118 1779.27/1779.79 c 1775s | 19 | 3447496 | 508382 | 72642 14 | 1410 | 4118 1781.37/1781.85 c 1777s | 19 | 3450979 | 508982 | 72642 14 | 1410 | 4118 1783.37/1783.89 c 1779s | 19 | 3454879 | 509782 | 72642 14 | 1410 | 4118 1785.47/1785.98 c 1781s | 19 | 3458200 | 510382 | 72642 14 | 1410 | 4118 1787.67/1788.13 c 1783s | 19 | 3463123 | 511182 | 72642 14 | 1410 | 4118 1789.77/1790.22 c 1786s | 19 | 3466975 | 511882 | 72642 14 | 1410 | 4118 1791.77/1792.26 c 1788s | 19 | 3470675 | 512682 | 72642 14 | 1410 | 4118 1795.28/1795.75 c 1791s | 19 | 3474331 | 513382 | 72642 14 | 1410 | 4118 1797.38/1797.87 c 1793s | 19 | 3482078 | 514182 | 72642 14 | 1410 | 4118 1799.58/1800.07 c 1795s | 19 | 3490435 | 515282 | 72642 14 | 1410 | 4118
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-4079854-1465249966/watcher-4079854-1465249966 -o /tmp/evaluation-result-4079854-1465249966/solver-4079854-1465249966 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079854-1465249966.opb pid=4695 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.38 2.28 2.22 3/179 4698 /proc/meminfo: memFree=29143024/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=700860 CPUtime=0 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 2607 0 0 0 0 0 0 0 20 0 4 0 106929709 717680640 2969 33554432000 4194304 16246674 140733358915504 140733358914928 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 175727 2979 441 2943 0 172621 0 [pid=4698/tid=4699] ppid=4695 vsize=718268 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 735506432 3037 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=722364 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 739700736 3054 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=726460 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106929709 743895040 3071 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100213 s] /proc/loadavg: 2.38 2.28 2.22 3/179 4698 /proc/meminfo: memFree=29143024/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1221188 CPUtime=0.09 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 25868 0 0 0 6 3 0 0 20 0 4 0 106929709 1250496512 26167 33554432000 4194304 16246674 140733358915504 140733358914816 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 305297 26174 799 2943 0 302191 0 [pid=4698/tid=4699] ppid=4695 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1250496512 26180 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1250496512 26184 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1250496512 26189 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200525 s] /proc/loadavg: 2.38 2.28 2.22 3/179 4698 /proc/meminfo: memFree=29143024/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 48394 0 0 0 13 6 0 0 20 0 4 0 106929709 1344868352 49204 33554432000 4194304 16246674 140733358915504 140733358914816 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 328337 49204 799 2943 0 325231 0 [pid=4698/tid=4699] ppid=4695 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1344868352 49204 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1344868352 49204 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1344868352 49204 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300476 s] /proc/loadavg: 2.38 2.28 2.22 3/179 4698 /proc/meminfo: memFree=29143024/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 48460 0 0 0 23 6 0 0 20 0 4 0 106929709 1344868352 49270 33554432000 4194304 16246674 140733358915504 140733358914816 12455986 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 328337 49270 831 2943 0 325231 0 [pid=4698/tid=4699] ppid=4695 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1344868352 49270 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1344868352 49270 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1344868352 49270 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700397 s] /proc/loadavg: 2.38 2.28 2.22 3/179 4698 /proc/meminfo: memFree=29143024/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1322564 CPUtime=0.69 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 99971 0 0 0 56 13 0 0 20 0 4 0 106929709 1354305536 100781 33554432000 4194304 16246674 140733358915504 140733358914816 5532320 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 330641 100781 883 2943 0 327535 0 [pid=4698/tid=4699] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 100781 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 100781 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 100781 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1322564 [startup+1.50041 s] /proc/loadavg: 2.38 2.28 2.22 3/183 4702 /proc/meminfo: memFree=28741368/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1322564 CPUtime=1.49 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 108487 0 0 0 134 15 0 0 20 0 4 0 106929709 1354305536 109297 33554432000 4194304 16246674 140733358915504 140733358914816 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 330641 109306 907 2943 0 327535 0 [pid=4698/tid=4699] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 109311 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 109317 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 109322 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1322564 [startup+3.10041 s] /proc/loadavg: 2.35 2.28 2.22 4/183 4702 /proc/meminfo: memFree=28218336/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1322564 CPUtime=3.09 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 271334 0 0 0 274 35 0 0 20 0 4 0 106929709 1354305536 272144 33554432000 4194304 16246674 140733358915504 140733358897408 5523460 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 330641 272144 907 2943 0 327535 0 [pid=4698/tid=4699] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272144 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272144 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272144 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1322564 [startup+6.3004 s] /proc/loadavg: 2.35 2.28 2.22 3/183 4702 /proc/meminfo: memFree=28055216/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1322564 CPUtime=6.29 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 271334 0 0 0 594 35 0 0 20 0 4 0 106929709 1354305536 272144 33554432000 4194304 16246674 140733358915504 140733358897408 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 330641 272144 907 2943 0 327535 0 [pid=4698/tid=4699] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272144 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272144 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272144 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1322564 [startup+12.7004 s] /proc/loadavg: 2.29 2.27 2.21 3/183 4702 /proc/meminfo: memFree=28055156/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1322564 CPUtime=12.69 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 271334 0 0 0 1234 35 0 0 20 0 4 0 106929709 1354305536 272144 33554432000 4194304 16246674 140733358915504 140733358897408 13781188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 330641 272144 907 2943 0 327535 0 [pid=4698/tid=4699] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272144 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272144 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272144 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1322564 [startup+25.5005 s] /proc/loadavg: 2.32 2.27 2.21 3/184 4712 /proc/meminfo: memFree=28053864/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1322564 CPUtime=25.49 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 271339 0 0 0 2514 35 0 0 20 0 4 0 106929709 1354305536 272149 33554432000 4194304 16246674 140733358915504 140733358897408 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 330641 272149 911 2943 0 327535 0 [pid=4698/tid=4699] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272149 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272149 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272149 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1322564 [startup+51.1005 s] /proc/loadavg: 2.21 2.25 2.21 3/184 4712 /proc/meminfo: memFree=28054284/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1322564 CPUtime=51.09 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 271341 0 0 0 5074 35 0 0 20 0 4 0 106929709 1354305536 272151 33554432000 4194304 16246674 140733358915504 140733358897408 6861676 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 330641 272151 913 2943 0 327535 0 [pid=4698/tid=4699] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272151 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272151 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272151 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1322564 [startup+102.3 s] /proc/loadavg: 2.20 2.24 2.20 3/183 4713 /proc/meminfo: memFree=28053932/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1322564 CPUtime=102.28 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 271341 0 0 0 10193 35 0 0 20 0 4 0 106929709 1354305536 272151 33554432000 4194304 16246674 140733358915504 140733358897408 5677720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 330641 272151 913 2943 0 327535 0 [pid=4698/tid=4699] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272151 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272151 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1354305536 272151 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1387076 [startup+1362.3 s] /proc/loadavg: 2.24 2.23 2.18 3/183 4865 /proc/meminfo: memFree=28017384/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1387076 CPUtime=1361.94 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 287710 0 0 0 136152 42 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 140733358897408 6023032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 346769 288284 915 2943 0 343663 0 [pid=4698/tid=4699] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1387076 [startup+1422.3 s] /proc/loadavg: 2.33 2.26 2.19 3/183 4866 /proc/meminfo: memFree=28016432/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1387076 CPUtime=1421.94 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 287711 0 0 0 142152 42 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 140733358897408 5711552 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 346769 288284 915 2943 0 343663 0 [pid=4698/tid=4699] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1387076 [startup+1482.3 s] /proc/loadavg: 2.19 2.23 2.18 3/183 4868 /proc/meminfo: memFree=28016232/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1387076 CPUtime=1481.92 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 287711 0 0 0 148150 42 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 140733358897408 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 346769 288284 915 2943 0 343663 0 [pid=4698/tid=4699] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1387076 [startup+1542.31 s] /proc/loadavg: 2.15 2.21 2.18 4/183 4869 /proc/meminfo: memFree=28016528/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1387076 CPUtime=1541.92 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 287711 0 0 0 154150 42 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 140733358897408 13943608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 346769 288284 915 2943 0 343663 0 [pid=4698/tid=4699] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1387076 [startup+1602.3 s] /proc/loadavg: 2.28 2.23 2.19 3/183 4870 /proc/meminfo: memFree=28016204/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1387076 CPUtime=1601.9 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 287711 0 0 0 160147 43 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 140733358897408 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 346769 288284 915 2943 0 343663 0 [pid=4698/tid=4699] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1387076 [startup+1662.3 s] /proc/loadavg: 2.25 2.23 2.18 3/184 4874 /proc/meminfo: memFree=28015328/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1387076 CPUtime=1661.89 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 287711 0 0 0 166146 43 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 140733358897408 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 346769 288284 915 2943 0 343663 0 [pid=4698/tid=4699] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1387076 [startup+1722.3 s] /proc/loadavg: 2.18 2.22 2.18 3/183 4875 /proc/meminfo: memFree=28016092/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1387076 CPUtime=1721.88 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 287711 0 0 0 172145 43 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 140733358897408 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 346769 288284 915 2943 0 343663 0 [pid=4698/tid=4699] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1387076 [startup+1782.3 s] /proc/loadavg: 2.29 2.24 2.19 3/183 4877 /proc/meminfo: memFree=28015364/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1387076 CPUtime=1781.87 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 287711 0 0 0 178144 43 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 140733358897408 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 346769 288284 915 2943 0 343663 0 [pid=4698/tid=4699] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1387076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.20 2.22 2.18 3/183 4877 /proc/meminfo: memFree=28015516/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1387076 CPUtime=1800.08 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 287711 0 0 0 179964 44 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 140733358897408 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 346769 288284 915 2943 0 343663 0 [pid=4698/tid=4699] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1387076 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 4698 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.20 2.22 2.18 3/183 4877 /proc/meminfo: memFree=28015516/32872528 swapFree=16384/1696552 [pid=4698] ppid=4695 vsize=1387076 CPUtime=1800.08 cores=0,2,4,6 /proc/4698/stat : 4698 (toysat) R 4695 4698 1166 0 -1 4202496 287711 0 0 0 179964 44 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 140733358897408 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4698/statm: 346769 288284 915 2943 0 343663 0 [pid=4698/tid=4699] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4699/stat : 4699 (toysat) S 4695 4698 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755452869872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4698/tid=4700] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4700/stat : 4700 (toysat) S 4695 4698 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755442380016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4698/tid=4701] ppid=4695 vsize=1387076 CPUtime=0 cores=0,2,4,6 /proc/4698/task/4701/stat : 4701 (toysat) S 4695 4698 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106929709 1420365824 288284 33554432000 4194304 16246674 140733358915504 139755431906480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1387076 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.09 CPU user time (s): 1799.65 CPU system time (s): 0.441932 CPU usage (%): 99.9766 Max. virtual memory (cumulated for all children) (KiB): 1387076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.441932 maximum resident set size= 1153136 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 287711 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= 255 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.68929 second user time and 6.83396 second system time The end
Begin job on node125 at 2016-06-06 23:52:46 IDJOB=4079854 IDBENCH=24992 IDSOLVER=2542 FILE ID=node125/4079854-1465249966 RUNJOBID= node125-1465224138-1182 PBS_JOBID= 19843237 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_027_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079854-1465249966/watcher-4079854-1465249966 -o /tmp/evaluation-result-4079854-1465249966/solver-4079854-1465249966 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079854-1465249966.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1b0ac127de7b79f6251c1506cbcbe6c3 RANDOM SEED=1378264979 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29143560 kB Buffers: 54904 kB Cached: 133432 kB SwapCached: 2016 kB Active: 1239720 kB Inactive: 87776 kB Active(anon): 1140440 kB Inactive(anon): 1380 kB Active(file): 99280 kB Inactive(file): 86396 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 17132 kB Writeback: 0 kB AnonPages: 2950024 kB Mapped: 10924 kB Shmem: 0 kB Slab: 568800 kB SReclaimable: 12816 kB SUnreclaim: 555984 kB KernelStack: 1520 kB PageTables: 9788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2979740 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2928640 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71712 MiB End job on node125 at 2016-06-07 00:22:47