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.11 | 1800.61 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-e64.b.opb |
| MD5SUM | 4a444f89cff56050e88660d23e3d8694 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 47 |
| Best CPU time to get the best result obtained on this benchmark | 0.237963 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 47 |
| Optimality of the best value was proved | NO |
| Number of variables | 607 |
| Total number of constraints | 1022 |
| Number of constraints which are clauses | 1022 |
| 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 | 3 |
| Maximum length of a constraint | 32 |
| Number of terms in the objective function | 607 |
| 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 | 607 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 607 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-06T18:54:43+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-4079484-1465232083.opb"] 0.00/0.01 c use --random-gen="1742601429 2898622703 2346061219 383536694 2817460303 2224053441 3695407833 1443541361 158844587 104558320 700856364 2535038734 1765253502 166578247 1259245555 1744694235 4010592867 1814067235 1323404372 3935387817 3686878987 1735490275 2924667459 2202280449 168257258 2210256899 3103893965 455255252 811545173 2591767087 4126456037 2608367556 1930486907 2721949262 3813419725 1852234363 2340553052 1088489758 3702068307 1848283882 350293316 641750484 518785629 3040904529 4109649660 3204602782 3097238118 2866189736 1215141209 2154532480 2548386365 4111915024 3072961879 130306146 2538221050 2927597510 2654083841 1351322958 357010381 67754061 2766111948 34296065 3190133943 251417431 3099383336 3769108303 2805993253 2095042187 3874266552 1922255947 448485254 1857971324 2056559785 2746444036 295903955 3184886288 1046136451 984151325 2294569364 3179012980 1802333881 2720796748 1148533814 493278676 1465247527 2234202079 3434376089 3997532295 2897796482 4169247454 441727456 3862264555 2510949072 1461634824 2050704420 132097901 910412485 980079074 3028624055 1663846287 2489063189 1602054595 2277733895 3266688606 3643831113 1068695562 3816140639 1392653586 3215484484 1165449021 385938214 2920531725 2053455180 2263886528 949156361 3212673996 590536830 3318105713 772181927 2850089439 3294178154 1090493003 1895262960 392088619 3596004569 2556191176 177174073 2078856009 937101043 1990343805 1995811865 2542885374 2264609356 4199298495 1969337103 3559807081 2414305121 1110172639 301864730 956878025 2131476918 3928923089 2442664424 2947825224 675722018 3415473014 3165250387 3093475852 1725085523 2442716222 979635157 3137476847 770935204 2158815407 1737558453 2291939157 2797746041 4064085448 2213019146 117497541 3279820392 2755916351 87784592 817087287 3794134486 541021553 2275595140 651998553 1801561589 4224514419 2897986662 2785167115 3243169321 1468429494 3142229018 2988530024 1799128019 659549088 1665163941 4155766069 3983106812 3886018933 3750757939 3926862445 1252068231 1442711128 638420607 2662093234 1881085813 3449621066 1567524465 2009798234 3585066188 107208115 3219736685 2702217530 974825813 3158509794 2338730220 3763933992 3211548485 1805387163 676791922 1451014638 2598120296 365084568 1760052668 805482033 2650353190 3041875831 1047673139 1970925319 3665745108 3351985947 398903968 3476406981 3059741402 2715981973 2395659089 311233955 3727874571 4259585553 3012837859 4115983197 3476766584 3117847972 106197585 1845013977 1312391489 157679734 3504362313 1612483845 1950149917 2645664243 2296709432 872122620 1666105689 579623847 1782416626 3209197398 1474524886 4292487562 878918526 1734223945 2301967169 2747468998 1885919107 263852896 2910730963 2466189497 1109704688 3343236646 1325258353 3791056666 2069984046 3233224791 255 362436" option to reproduce the execution 0.00/0.03 c #vars 607 0.00/0.03 c #constraints 1022 0.00/0.06 c BCD2: Hardening is enabled. 0.00/0.06 c BCD2: BiasedSearch is enabled. 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 607 | 0 | 543 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.003s 0.00/0.06 c #wall_clock_time = 0.003s 0.00/0.06 c #decision = 607 0.00/0.06 c #random_decision = 2 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 o 607 0.00/0.06 c BCD2: updating upper bound: 607 -> 606 0.00/0.06 c BCD2: 0 <= obj <= 606 0.00/0.06 c BCD2: #cores=0, #unrelaxed=607, #relaxed=0, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 0 0.00/0.07 c 0.0s | 0 | 91 | 0 | 543 0 | 0 | 0 0.00/0.07 c #cpu_time = 0.002s 0.00/0.07 c #wall_clock_time = 0.002s 0.00/0.07 c #decision = 91 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.07 c lower bound updated to 1 0.00/0.07 c BCD2: 1 <= obj <= 606 0.00/0.07 c BCD2: #cores=1, #unrelaxed=604, #relaxed=3, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 2 0.00/0.07 c 0.0s | 0 | 186 | 0 | 543 0 | 0 | 2 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 186 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 8: cost of the new core is >=1 0.00/0.07 c lower bound updated to 2 0.00/0.07 c BCD2: 2 <= obj <= 606 0.00/0.07 c BCD2: #cores=2, #unrelaxed=596, #relaxed=11, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 4 0.00/0.07 c 0.0s | 0 | 185 | 1 | 543 0 | 0 | 4 0.00/0.07 c #cpu_time = 0.002s 0.00/0.07 c #wall_clock_time = 0.002s 0.00/0.07 c #decision = 185 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 1 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 16: cost of the new core is >=1 0.00/0.07 c lower bound updated to 3 0.00/0.07 c BCD2: 3 <= obj <= 606 0.00/0.07 c BCD2: #cores=3, #unrelaxed=580, #relaxed=27, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 4 0.00/0.07 c 0.0s | 0 | 197 | 0 | 543 0 | 0 | 4 0.00/0.07 c #cpu_time = 0.002s 0.00/0.07 c #wall_clock_time = 0.002s 0.00/0.07 c #decision = 197 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 8: cost of the new core is >=1 0.00/0.07 c lower bound updated to 4 0.00/0.08 c BCD2: 4 <= obj <= 606 0.00/0.08 c BCD2: #cores=4, #unrelaxed=572, #relaxed=35, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 6 0.00/0.08 c 0.0s | 0 | 192 | 0 | 543 0 | 0 | 6 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 192 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 14: cost of the new core is >=1 0.00/0.08 c lower bound updated to 5 0.00/0.08 c BCD2: 5 <= obj <= 606 0.00/0.08 c BCD2: #cores=5, #unrelaxed=558, #relaxed=49, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 8 0.00/0.08 c 0.0s | 0 | 252 | 0 | 543 0 | 0 | 8 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 252 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 8: cost of the new core is >=1 0.00/0.08 c lower bound updated to 6 0.00/0.08 c BCD2: 6 <= obj <= 606 0.00/0.08 c BCD2: #cores=6, #unrelaxed=550, #relaxed=57, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 10 0.00/0.08 c 0.0s | 0 | 248 | 0 | 543 0 | 0 | 10 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 248 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 12: cost of the new core is >=1 0.00/0.08 c lower bound updated to 7 0.00/0.08 c BCD2: 7 <= obj <= 606 0.00/0.08 c BCD2: #cores=7, #unrelaxed=538, #relaxed=69, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 12 0.00/0.08 c 0.0s | 0 | 265 | 0 | 543 0 | 0 | 12 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 265 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 8: cost of the new core is >=1 0.00/0.08 c lower bound updated to 8 0.00/0.08 c BCD2: 8 <= obj <= 606 0.00/0.08 c BCD2: #cores=8, #unrelaxed=530, #relaxed=77, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 14 0.00/0.09 c 0.0s | 0 | 270 | 1 | 543 0 | 0 | 14 0.00/0.09 c #cpu_time = 0.001s 0.00/0.09 c #wall_clock_time = 0.001s 0.00/0.09 c #decision = 270 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 1 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 16: cost of the new core is >=1 0.00/0.09 c lower bound updated to 9 0.00/0.09 c BCD2: 9 <= obj <= 606 0.00/0.09 c BCD2: #cores=9, #unrelaxed=514, #relaxed=93, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=10 bias=10/11 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 14 0.00/0.09 c 0.0s | 0 | 266 | 0 | 543 0 | 0 | 14 0.00/0.09 c #cpu_time = 0.001s 0.00/0.09 c #wall_clock_time = 0.001s 0.00/0.09 c #decision = 266 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 8: cost of the new core is >=1 0.00/0.09 c lower bound updated to 10 0.00/0.09 c BCD2: 10 <= obj <= 606 0.00/0.09 c BCD2: #cores=10, #unrelaxed=506, #relaxed=101, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=11 bias=11/12 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 16 0.00/0.09 c 0.0s | 0 | 261 | 0 | 543 0 | 0 | 16 0.00/0.09 c #cpu_time = 0.001s 0.00/0.09 c #wall_clock_time = 0.001s 0.00/0.09 c #decision = 261 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 14: cost of the new core is >=1 0.00/0.09 c lower bound updated to 11 0.00/0.09 c BCD2: 11 <= obj <= 606 0.00/0.09 c BCD2: #cores=11, #unrelaxed=492, #relaxed=115, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=12 bias=12/13 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 18 0.00/0.09 c 0.0s | 0 | 279 | 0 | 543 0 | 0 | 18 0.00/0.09 c #cpu_time = 0.001s 0.00/0.09 c #wall_clock_time = 0.001s 0.00/0.09 c #decision = 279 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 8: cost of the new core is >=1 0.00/0.09 c lower bound updated to 12 0.00/0.09 c BCD2: 12 <= obj <= 606 0.00/0.09 c BCD2: #cores=12, #unrelaxed=484, #relaxed=123, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=13 bias=13/14 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 20 0.00/0.09 c 0.0s | 0 | 274 | 0 | 543 0 | 0 | 20 0.00/0.09 c #cpu_time = 0.001s 0.00/0.09 c #wall_clock_time = 0.001s 0.00/0.09 c #decision = 274 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 14: cost of the new core is >=1 0.00/0.09 c lower bound updated to 13 0.00/0.09 c BCD2: 13 <= obj <= 606 0.00/0.09 c BCD2: #cores=13, #unrelaxed=470, #relaxed=137, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=14 bias=14/15 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 22 0.00/0.09 c 0.0s | 0 | 283 | 0 | 543 0 | 0 | 22 0.00/0.09 c #cpu_time = 0.001s 0.00/0.09 c #wall_clock_time = 0.001s 0.00/0.09 c #decision = 283 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 14: cost of the new core is >=1 0.00/0.09 c lower bound updated to 14 0.00/0.09 c BCD2: 14 <= obj <= 606 0.00/0.09 c BCD2: #cores=14, #unrelaxed=456, #relaxed=151, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=15 bias=15/16 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 24 0.09/0.10 c 0.0s | 0 | 272 | 0 | 543 0 | 0 | 24 0.09/0.10 c #cpu_time = 0.001s 0.09/0.10 c #wall_clock_time = 0.001s 0.09/0.10 c #decision = 272 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 8: cost of the new core is >=1 0.09/0.10 c lower bound updated to 15 0.09/0.10 c BCD2: 15 <= obj <= 606 0.09/0.10 c BCD2: #cores=15, #unrelaxed=448, #relaxed=159, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=16 bias=16/17 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 26 0.09/0.10 c 0.0s | 0 | 288 | 0 | 543 0 | 0 | 26 0.09/0.10 c #cpu_time = 0.001s 0.09/0.10 c #wall_clock_time = 0.001s 0.09/0.10 c #decision = 288 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 14: cost of the new core is >=1 0.09/0.10 c lower bound updated to 16 0.09/0.10 c BCD2: 16 <= obj <= 606 0.09/0.10 c BCD2: #cores=16, #unrelaxed=434, #relaxed=173, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=17 bias=17/18 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 28 0.09/0.10 c 0.0s | 0 | 285 | 0 | 543 0 | 0 | 28 0.09/0.10 c #cpu_time = 0.001s 0.09/0.10 c #wall_clock_time = 0.001s 0.09/0.10 c #decision = 285 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 8: cost of the new core is >=1 0.09/0.10 c lower bound updated to 17 0.09/0.10 c BCD2: 17 <= obj <= 606 0.09/0.10 c BCD2: #cores=17, #unrelaxed=426, #relaxed=181, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=18 bias=18/19 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 30 0.09/0.10 c 0.0s | 0 | 280 | 0 | 543 0 | 0 | 30 0.09/0.10 c #cpu_time = 0.001s 0.09/0.10 c #wall_clock_time = 0.001s 0.09/0.10 c #decision = 280 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 14: cost of the new core is >=1 0.09/0.10 c lower bound updated to 18 0.09/0.10 c BCD2: 18 <= obj <= 606 0.09/0.10 c BCD2: #cores=18, #unrelaxed=412, #relaxed=195, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=19 bias=19/20 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 32 0.09/0.10 c 0.0s | 0 | 272 | 0 | 543 0 | 0 | 32 0.09/0.10 c #cpu_time = 0.001s 0.09/0.10 c #wall_clock_time = 0.001s 0.09/0.10 c #decision = 272 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 8: cost of the new core is >=1 0.09/0.10 c lower bound updated to 19 0.09/0.10 c BCD2: 19 <= obj <= 606 0.09/0.10 c BCD2: #cores=19, #unrelaxed=404, #relaxed=203, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=20 bias=20/21 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 34 0.09/0.10 c 0.0s | 0 | 280 | 0 | 543 0 | 0 | 34 0.09/0.10 c #cpu_time = 0.001s 0.09/0.10 c #wall_clock_time = 0.001s 0.09/0.10 c #decision = 280 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 12: cost of the new core is >=1 0.09/0.10 c lower bound updated to 20 0.09/0.10 c BCD2: 20 <= obj <= 606 0.09/0.10 c BCD2: #cores=20, #unrelaxed=392, #relaxed=215, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=21 bias=21/22 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 34 0.09/0.11 c 0.0s | 0 | 297 | 0 | 543 0 | 0 | 34 0.09/0.11 c #cpu_time = 0.001s 0.09/0.11 c #wall_clock_time = 0.001s 0.09/0.11 c #decision = 297 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 14: cost of the new core is >=1 0.09/0.11 c lower bound updated to 21 0.09/0.11 c BCD2: 21 <= obj <= 606 0.09/0.11 c BCD2: #cores=21, #unrelaxed=378, #relaxed=229, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=22 bias=22/23 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 36 0.09/0.11 c 0.0s | 0 | 286 | 0 | 543 0 | 0 | 36 0.09/0.11 c #cpu_time = 0.001s 0.09/0.11 c #wall_clock_time = 0.001s 0.09/0.11 c #decision = 286 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 8: cost of the new core is >=1 0.09/0.11 c lower bound updated to 22 0.09/0.11 c BCD2: 22 <= obj <= 606 0.09/0.11 c BCD2: #cores=22, #unrelaxed=370, #relaxed=237, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=23 bias=23/24 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 38 0.09/0.11 c 0.0s | 0 | 292 | 0 | 543 0 | 0 | 38 0.09/0.11 c #cpu_time = 0.001s 0.09/0.11 c #wall_clock_time = 0.001s 0.09/0.11 c #decision = 292 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 14: cost of the new core is >=1 0.09/0.11 c lower bound updated to 23 0.09/0.11 c BCD2: 23 <= obj <= 606 0.09/0.11 c BCD2: #cores=23, #unrelaxed=356, #relaxed=251, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=24 bias=24/25 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 40 0.09/0.11 c 0.0s | 0 | 296 | 0 | 543 0 | 0 | 40 0.09/0.11 c #cpu_time = 0.001s 0.09/0.11 c #wall_clock_time = 0.001s 0.09/0.11 c #decision = 296 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 12: cost of the new core is >=1 0.09/0.11 c lower bound updated to 24 0.09/0.11 c BCD2: 24 <= obj <= 606 0.09/0.11 c BCD2: #cores=24, #unrelaxed=344, #relaxed=263, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=25 bias=25/26 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 42 0.09/0.12 c 0.0s | 0 | 289 | 0 | 543 0 | 0 | 42 0.09/0.12 c #cpu_time = 0.002s 0.09/0.12 c #wall_clock_time = 0.002s 0.09/0.12 c #decision = 289 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 9: cost of the new core is >=1 0.09/0.12 c lower bound updated to 25 0.09/0.12 c BCD2: 25 <= obj <= 606 0.09/0.12 c BCD2: #cores=25, #unrelaxed=335, #relaxed=272, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=26 bias=26/27 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 44 0.09/0.12 c 0.0s | 0 | 285 | 1 | 543 0 | 0 | 44 0.09/0.12 c #cpu_time = 0.002s 0.09/0.12 c #wall_clock_time = 0.002s 0.09/0.12 c #decision = 285 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 1 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 13: cost of the new core is >=1 0.09/0.12 c lower bound updated to 26 0.09/0.12 c BCD2: 26 <= obj <= 606 0.09/0.12 c BCD2: #cores=26, #unrelaxed=322, #relaxed=285, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=27 bias=27/28 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 44 0.09/0.12 c 0.0s | 0 | 279 | 0 | 543 0 | 0 | 44 0.09/0.12 c #cpu_time = 0.002s 0.09/0.12 c #wall_clock_time = 0.002s 0.09/0.12 c #decision = 279 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 8: cost of the new core is >=1 0.09/0.12 c lower bound updated to 27 0.09/0.12 c BCD2: 27 <= obj <= 606 0.09/0.12 c BCD2: #cores=27, #unrelaxed=314, #relaxed=293, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=28 bias=28/29 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 46 0.09/0.13 c 0.0s | 0 | 276 | 1 | 543 0 | 0 | 46 0.09/0.13 c #cpu_time = 0.002s 0.09/0.13 c #wall_clock_time = 0.002s 0.09/0.13 c #decision = 276 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 1 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: found a new core of size 16: cost of the new core is >=1 0.09/0.13 c lower bound updated to 28 0.09/0.13 c BCD2: 28 <= obj <= 606 0.09/0.13 c BCD2: #cores=28, #unrelaxed=298, #relaxed=309, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=29 bias=29/30 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 46 0.09/0.13 c 0.0s | 0 | 282 | 0 | 543 0 | 0 | 46 0.09/0.13 c #cpu_time = 0.002s 0.09/0.13 c #wall_clock_time = 0.002s 0.09/0.13 c #decision = 282 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 0 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: found a new core of size 8: cost of the new core is >=1 0.09/0.13 c lower bound updated to 29 0.09/0.13 c BCD2: 29 <= obj <= 606 0.09/0.13 c BCD2: #cores=29, #unrelaxed=290, #relaxed=317, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=30 bias=30/31 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 48 0.09/0.13 c 0.0s | 0 | 277 | 0 | 543 0 | 0 | 48 0.09/0.13 c #cpu_time = 0.002s 0.09/0.13 c #wall_clock_time = 0.002s 0.09/0.13 c #decision = 277 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 0 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: found a new core of size 14: cost of the new core is >=1 0.09/0.13 c lower bound updated to 30 0.09/0.13 c BCD2: 30 <= obj <= 606 0.09/0.13 c BCD2: #cores=30, #unrelaxed=276, #relaxed=331, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=31 bias=31/32 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 50 0.09/0.13 c 0.0s | 0 | 286 | 0 | 543 0 | 0 | 50 0.09/0.13 c #cpu_time = 0.002s 0.09/0.13 c #wall_clock_time = 0.002s 0.09/0.13 c #decision = 286 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 0 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: found a new core of size 8: cost of the new core is >=1 0.09/0.13 c lower bound updated to 31 0.09/0.13 c BCD2: 31 <= obj <= 606 0.09/0.13 c BCD2: #cores=31, #unrelaxed=268, #relaxed=339, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=32 bias=32/33 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 52 0.09/0.14 c 0.0s | 0 | 281 | 0 | 543 0 | 0 | 52 0.09/0.14 c #cpu_time = 0.002s 0.09/0.14 c #wall_clock_time = 0.002s 0.09/0.14 c #decision = 281 0.09/0.14 c #random_decision = 0 0.09/0.14 c #conflict = 0 0.09/0.14 c #restart = 0 0.09/0.14 c BCD2: found a new core of size 14: cost of the new core is >=1 0.09/0.14 c lower bound updated to 32 0.09/0.14 c BCD2: 32 <= obj <= 606 0.09/0.14 c BCD2: #cores=32, #unrelaxed=254, #relaxed=353, #hardened=0 0.09/0.14 c BCD2: #sat=1 #unsat=33 bias=33/34 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 54 0.09/0.14 c 0.0s | 0 | 285 | 0 | 543 0 | 0 | 54 0.09/0.14 c #cpu_time = 0.002s 0.09/0.14 c #wall_clock_time = 0.002s 0.09/0.14 c #decision = 285 0.09/0.14 c #random_decision = 0 0.09/0.14 c #conflict = 0 0.09/0.14 c #restart = 0 0.09/0.14 c BCD2: found a new core of size 12: cost of the new core is >=1 0.09/0.14 c lower bound updated to 33 0.09/0.14 c BCD2: 33 <= obj <= 606 0.09/0.14 c BCD2: #cores=33, #unrelaxed=242, #relaxed=365, #hardened=0 0.09/0.14 c BCD2: #sat=1 #unsat=34 bias=34/35 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 54 0.09/0.14 c 0.0s | 0 | 704 | 5 | 543 0 | 0 | 54 0.09/0.14 c #cpu_time = 0.003s 0.09/0.14 c #wall_clock_time = 0.003s 0.09/0.14 c #decision = 704 0.09/0.14 c #random_decision = 2 0.09/0.14 c #conflict = 5 0.09/0.14 c #restart = 0 0.09/0.14 o 89 0.09/0.14 c BCD2: updating upper bound: 606 -> 88 0.09/0.15 c BCD2: 33 <= obj <= 88 0.09/0.15 c BCD2: #cores=33, #unrelaxed=242, #relaxed=365, #hardened=0 0.09/0.15 c BCD2: #sat=2 #unsat=34 bias=34/36 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.15 c 0.0s | 0 | 0 | 0 | 543 0 | 0 | 55 0.09/0.15 c 0.0s | 0 | 516 | 25 | 543 0 | 0 | 55 0.09/0.15 c #cpu_time = 0.005s 0.09/0.15 c #wall_clock_time = 0.005s 0.09/0.15 c #decision = 516 0.09/0.15 c #random_decision = 1 0.09/0.15 c #conflict = 25 0.09/0.15 c #restart = 0 0.09/0.15 c BCD2: relaxing 25 and merging with 3 cores into a new core of size 61: cost of the new core is >=4 0.09/0.15 c lower bound updated to 34 0.09/0.15 c BCD2: 34 <= obj <= 88 0.09/0.15 c BCD2: #cores=31, #unrelaxed=217, #relaxed=390, #hardened=0 0.09/0.15 c BCD2: #sat=2 #unsat=35 bias=35/37 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.15 c 0.0s | 0 | 0 | 0 | 543 0 | 7 | 55 0.09/0.17 c 0.0s | 1 | 750 | 100 | 598 0 | 7 | 66 0.09/0.19 c 0.0s | 2 | 1375 | 250 | 658 0 | 7 | 66 0.19/0.21 c 0.1s | 3 | 2307 | 475 | 724 0 | 7 | 66 0.19/0.25 c 0.1s | 4 | 3421 | 813 | 797 0 | 7 | 66 0.29/0.30 c 0.1s | 5 | 5023 | 1320 | 877 1 | 7 | 66 0.39/0.42 c 0.3s | 6 | 7027 | 2081 | 965 2 | 7 | 66 0.39/0.46 c 0.3s | 6 | 8098 | 2278 | 965 3 | 7 | 66 0.39/0.46 c #cpu_time = 0.301s 0.39/0.46 c #wall_clock_time = 0.302s 0.39/0.46 c #decision = 8098 0.39/0.46 c #random_decision = 11 0.39/0.46 c #conflict = 2278 0.39/0.46 c #restart = 6 0.39/0.46 o 60 0.39/0.46 c BCD2: updating upper bound: 88 -> 59 0.39/0.46 c BCD2: 34 <= obj <= 59 0.39/0.46 c BCD2: #cores=31, #unrelaxed=217, #relaxed=390, #hardened=0 0.39/0.46 c BCD2: #sat=3 #unsat=35 bias=35/38 0.39/0.46 c Solving starts ... 0.39/0.46 c ============================[ Search Statistics ]============================ 0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.46 c | | | | Limit GC | Var | Constra 0.39/0.46 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 965 0 | 7 | 67 0.39/0.47 c 0.0s | 0 | 450 | 6 | 965 0 | 7 | 67 0.39/0.47 c #cpu_time = 0.005s 0.39/0.47 c #wall_clock_time = 0.005s 0.39/0.47 c #decision = 450 0.39/0.47 c #random_decision = 0 0.39/0.47 c #conflict = 6 0.39/0.47 c #restart = 0 0.39/0.47 c BCD2: relaxing 24 and merging with 3 cores into a new core of size 60: cost of the new core is >=4 0.39/0.47 c lower bound updated to 35 0.39/0.47 c BCD2: 35 <= obj <= 59 0.39/0.47 c BCD2: #cores=29, #unrelaxed=193, #relaxed=414, #hardened=0 0.39/0.47 c BCD2: #sat=3 #unsat=36 bias=36/39 0.39/0.47 c Solving starts ... 0.39/0.47 c ============================[ Search Statistics ]============================ 0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.47 c | | | | Limit GC | Var | Constra 0.39/0.47 c ============================================================================= 0.39/0.47 c 0.0s | 0 | 0 | 0 | 965 0 | 17 | 67 0.39/0.48 c 0.0s | 1 | 572 | 100 | 965 0 | 17 | 84 0.49/0.51 c 0.0s | 2 | 1290 | 250 | 965 0 | 17 | 84 0.49/0.55 c 0.1s | 3 | 2340 | 475 | 965 1 | 17 | 84 0.49/0.59 c 0.1s | 4 | 3468 | 813 | 965 1 | 17 | 84 0.59/0.62 c 0.2s | 4 | 3995 | 912 | 1062 2 | 17 | 84 0.59/0.62 c #cpu_time = 0.149s 0.59/0.62 c #wall_clock_time = 0.150s 0.59/0.62 c #decision = 3995 0.59/0.62 c #random_decision = 6 0.59/0.62 c #conflict = 912 0.59/0.62 c #restart = 4 0.59/0.62 c BCD2: relaxing 35 and merging with 5 cores into a new core of size 140: cost of the new core is >=9 0.59/0.62 c lower bound updated to 36 0.59/0.62 c BCD2: 36 <= obj <= 59 0.59/0.62 c BCD2: #cores=25, #unrelaxed=158, #relaxed=449, #hardened=0 0.59/0.62 c BCD2: #sat=3 #unsat=37 bias=37/40 0.59/0.62 c Solving starts ... 0.59/0.62 c ============================[ Search Statistics ]============================ 0.59/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.62 c | | | | Limit GC | Var | Constra 0.59/0.62 c ============================================================================= 0.59/0.62 c 0.0s | 0 | 0 | 0 | 1062 0 | 28 | 84 0.59/0.63 c 0.0s | 1 | 424 | 100 | 1062 0 | 28 | 101 0.59/0.65 c 0.0s | 2 | 1002 | 250 | 1062 0 | 28 | 101 0.59/0.69 c 0.1s | 3 | 1846 | 475 | 1062 0 | 28 | 101 0.69/0.73 c 0.1s | 4 | 2973 | 813 | 1062 0 | 28 | 101 0.79/0.81 c 0.2s | 5 | 5184 | 1320 | 1062 0 | 28 | 101 0.89/0.93 c 0.3s | 6 | 7834 | 2081 | 1169 1 | 28 | 101 0.99/1.09 c 0.5s | 7 | 12628 | 3223 | 1169 3 | 28 | 101 1.39/1.41 c 0.8s | 8 | 19089 | 4936 | 1286 5 | 28 | 101 1.89/1.93 c 1.3s | 9 | 28097 | 7506 | 1286 9 | 28 | 101 2.49/2.55 c 1.9s | 10 | 41754 | 11361 | 1415 13 | 28 | 101 3.40/3.43 c 2.8s | 11 | 61485 | 17144 | 1557 20 | 28 | 101 4.69/4.74 c 4.1s | 12 | 92032 | 25819 | 1713 29 | 28 | 101 6.60/6.70 c 6.1s | 13 | 140391 | 38832 | 1885 41 | 28 | 101 8.68/8.70 c 8.1s | 13 | 185710 | 51832 | 1885 54 | 28 | 101 9.69/9.72 c 9.1s | 14 | 207173 | 58352 | 2074 59 | 28 | 101 11.69/11.72 c 11.1s | 14 | 249408 | 70252 | 2074 69 | 28 | 101 13.69/13.73 c 13.1s | 14 | 290498 | 82252 | 2074 80 | 28 | 101 14.58/14.68 c 14.1s | 15 | 309158 | 87632 | 2282 84 | 28 | 101 16.59/16.69 c 16.1s | 15 | 353456 | 99132 | 2282 93 | 28 | 101 18.58/18.70 c 18.1s | 15 | 398319 | 111432 | 2282 102 | 28 | 101 20.68/20.71 c 20.1s | 15 | 444760 | 123632 | 2282 112 | 28 | 101 21.99/22.02 c 21.4s | 16 | 472652 | 131552 | 2511 118 | 28 | 101 23.98/24.03 c 23.4s | 16 | 517477 | 143252 | 2511 126 | 28 | 101 25.99/26.04 c 25.4s | 16 | 561121 | 155352 | 2511 135 | 28 | 101 27.99/28.04 c 27.4s | 16 | 602504 | 166652 | 2511 143 | 28 | 101 29.99/30.06 c 29.4s | 16 | 642748 | 177952 | 2511 151 | 28 | 101 32.00/32.07 c 31.4s | 16 | 685252 | 189652 | 2511 160 | 28 | 101 33.29/33.38 c 32.8s | 17 | 713174 | 197432 | 2763 165 | 28 | 101 35.30/35.39 c 34.8s | 17 | 753684 | 208532 | 2763 172 | 28 | 101 37.29/37.39 c 36.8s | 17 | 793516 | 219332 | 2763 179 | 28 | 101 39.29/39.39 c 38.8s | 17 | 837049 | 231032 | 2763 187 | 28 | 101 41.39/41.41 c 40.8s | 17 | 879155 | 242432 | 2763 195 | 28 | 101 43.39/43.42 c 42.8s | 17 | 919723 | 253632 | 2763 202 | 28 | 101 45.39/45.42 c 44.8s | 17 | 965708 | 265732 | 2763 210 | 28 | 101 47.39/47.43 c 46.8s | 17 | 1007932 | 277432 | 2763 218 | 28 | 101 49.38/49.43 c 48.8s | 17 | 1050147 | 288832 | 2763 225 | 28 | 101 50.69/50.72 c 50.1s | 18 | 1078047 | 296252 | 3040 230 | 28 | 101 52.68/52.72 c 52.1s | 18 | 1118325 | 307352 | 3040 236 | 28 | 101 54.68/54.74 c 54.1s | 18 | 1161500 | 318752 | 3040 243 | 28 | 101 56.68/56.75 c 56.1s | 18 | 1207115 | 331052 | 3040 251 | 28 | 101 58.68/58.75 c 58.1s | 18 | 1251987 | 343352 | 3040 258 | 28 | 101 60.68/60.77 c 60.1s | 18 | 1291549 | 354152 | 3040 265 | 28 | 101 62.69/62.77 c 62.1s | 18 | 1335906 | 366052 | 3040 272 | 28 | 101 64.68/64.78 c 64.2s | 18 | 1377943 | 378352 | 3040 279 | 28 | 101 66.68/66.79 c 66.2s | 18 | 1417975 | 389652 | 3040 286 | 28 | 101 68.77/68.80 c 68.2s | 18 | 1461156 | 401252 | 3040 293 | 28 | 101 70.77/70.81 c 70.2s | 18 | 1504415 | 413152 | 3040 301 | 28 | 101 72.77/72.82 c 72.2s | 18 | 1546178 | 424552 | 3040 307 | 28 | 101 74.78/74.83 c 74.2s | 18 | 1590793 | 436352 | 3040 315 | 28 | 101 76.17/76.24 c 75.6s | 19 | 1621064 | 444482 | 3345 319 | 28 | 101 78.18/78.25 c 77.6s | 19 | 1651685 | 454682 | 3345 325 | 28 | 101 80.18/80.25 c 79.6s | 19 | 1685057 | 466482 | 3345 331 | 28 | 101 82.18/82.26 c 81.6s | 19 | 1717937 | 477482 | 3345 337 | 28 | 101 84.18/84.27 c 83.7s | 19 | 1749571 | 487882 | 3345 343 | 28 | 101 86.18/86.28 c 85.7s | 19 | 1783186 | 498982 | 3345 349 | 28 | 101 88.18/88.29 c 87.7s | 19 | 1819951 | 510382 | 3345 355 | 28 | 101 90.19/90.30 c 89.7s | 19 | 1860502 | 521082 | 3345 361 | 28 | 101 92.28/92.30 c 91.7s | 19 | 1899649 | 531982 | 3345 367 | 28 | 101 94.28/94.30 c 93.7s | 19 | 1938783 | 542782 | 3345 373 | 28 | 101 96.28/96.32 c 95.7s | 19 | 1975549 | 553682 | 3345 379 | 28 | 101 98.27/98.34 c 97.7s | 19 | 2013271 | 564582 | 3345 386 | 28 | 101 100.27/100.35 c 99.7s | 19 | 2049625 | 575282 | 3345 391 | 28 | 101 102.28/102.36 c 101s | 19 | 2086243 | 585782 | 3345 397 | 28 | 101 104.27/104.38 c 103s | 19 | 2123218 | 596882 | 3345 403 | 28 | 101 106.27/106.38 c 105s | 19 | 2160989 | 607482 | 3345 409 | 28 | 101 108.27/108.39 c 107s | 19 | 2194870 | 617582 | 3345 415 | 28 | 101 110.38/110.42 c 109s | 19 | 2229670 | 627782 | 3345 421 | 28 | 101 112.38/112.44 c 111s | 19 | 2266844 | 638282 | 3345 426 | 28 | 101 114.39/114.45 c 113s | 19 | 2304608 | 648582 | 3345 432 | 28 | 101 116.38/116.47 c 115s | 19 | 2344132 | 659082 | 3680 438 | 28 | 101 117.88/117.99 c 117s | 20 | 2372499 | 666827 | 3680 442 | 28 | 101 119.88/120.00 c 119s | 20 | 2409097 | 677927 | 3680 447 | 28 | 101 121.97/122.02 c 121s | 20 | 2452265 | 689227 | 3680 453 | 28 | 101 123.97/124.02 c 123s | 20 | 2491898 | 700127 | 3680 459 | 28 | 101 125.97/126.03 c 125s | 20 | 2535145 | 711527 | 3680 464 | 28 | 101 127.97/128.04 c 127s | 20 | 2572289 | 722027 | 3680 470 | 28 | 101 129.97/130.05 c 129s | 20 | 2610936 | 732627 | 3680 475 | 28 | 101 131.98/132.05 c 131s | 20 | 2650671 | 744027 | 3680 481 | 28 | 101 132.17/132.28 c 131s | 20 | 2654858 | 745372 | 3680 482 | 28 | 101 132.17/132.28 c #cpu_time = 131.314s 132.17/132.28 c #wall_clock_time = 131.659s 132.17/132.28 c #decision = 2654858 132.17/132.28 c #random_decision = 8441 132.17/132.28 c #conflict = 745372 132.17/132.28 c #restart = 20 132.17/132.28 c BCD2: relaxing 32 and merging with 5 cores into a new core of size 88: cost of the new core is >=6 132.17/132.28 c lower bound updated to 37 132.17/132.28 c BCD2: 37 <= obj <= 59 132.17/132.28 c BCD2: #cores=21, #unrelaxed=126, #relaxed=481, #hardened=0 132.17/132.28 c BCD2: #sat=3 #unsat=38 bias=38/41 132.17/132.28 c Solving starts ... 132.17/132.28 c ============================[ Search Statistics ]============================ 132.17/132.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 132.17/132.28 c | | | | Limit GC | Var | Constra 132.17/132.28 c ============================================================================= 132.17/132.28 c 0.0s | 0 | 0 | 0 | 3680 0 | 42 | 101 132.17/132.29 c 0.0s | 1 | 370 | 100 | 3680 0 | 42 | 124 132.27/132.31 c 0.0s | 2 | 1051 | 250 | 3680 0 | 42 | 124 132.27/132.34 c 0.1s | 3 | 1907 | 475 | 3680 0 | 42 | 124 132.27/132.38 c 0.1s | 4 | 3080 | 813 | 3680 0 | 42 | 124 132.37/132.45 c 0.2s | 5 | 4712 | 1320 | 3680 0 | 42 | 124 132.47/132.58 c 0.3s | 6 | 7225 | 2081 | 3680 1 | 42 | 124 132.67/132.76 c 0.5s | 7 | 10670 | 3223 | 3680 1 | 42 | 124 132.97/133.04 c 0.8s | 8 | 15476 | 4936 | 3680 2 | 42 | 124 133.37/133.42 c 1.1s | 9 | 23580 | 7506 | 3680 3 | 42 | 124 133.97/134.02 c 1.7s | 10 | 34437 | 11361 | 3680 5 | 42 | 124 134.87/134.95 c 2.7s | 11 | 49948 | 17144 | 3680 8 | 42 | 124 136.38/136.43 c 4.2s | 12 | 75281 | 25819 | 3680 13 | 42 | 124 137.07/137.19 c 4.9s | 12 | 92087 | 30950 | 3680 15 | 42 | 124 137.07/137.19 c #cpu_time = 4.897s 137.07/137.19 c #wall_clock_time = 4.909s 137.07/137.19 c #decision = 92087 137.07/137.19 c #random_decision = 302 137.07/137.19 c #conflict = 30950 137.07/137.19 c #restart = 12 137.07/137.19 c BCD2: relaxing 33 and merging with 5 cores into a new core of size 91: cost of the new core is >=6 137.07/137.19 c lower bound updated to 38 137.07/137.19 c BCD2: 38 <= obj <= 59 137.07/137.19 c BCD2: #cores=17, #unrelaxed=93, #relaxed=514, #hardened=0 137.07/137.19 c BCD2: #sat=3 #unsat=39 bias=39/42 137.07/137.19 c Solving starts ... 137.07/137.19 c ============================[ Search Statistics ]============================ 137.07/137.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 137.07/137.19 c | | | | Limit GC | Var | Constra 137.07/137.19 c ============================================================================= 137.07/137.19 c 0.0s | 0 | 0 | 0 | 3680 0 | 54 | 124 137.17/137.20 c 0.0s | 1 | 388 | 100 | 3680 0 | 54 | 143 137.17/137.22 c 0.0s | 2 | 1048 | 250 | 3680 0 | 54 | 143 137.17/137.26 c 0.1s | 3 | 1788 | 475 | 3680 1 | 54 | 143 137.27/137.30 c 0.1s | 4 | 3004 | 813 | 3680 1 | 54 | 143 137.27/137.36 c 0.2s | 5 | 4648 | 1320 | 3680 1 | 54 | 143 137.37/137.47 c 0.3s | 6 | 7791 | 2081 | 3680 1 | 54 | 143 137.58/137.68 c 0.5s | 7 | 11457 | 3223 | 3680 2 | 54 | 143 137.87/137.96 c 0.8s | 8 | 17389 | 4936 | 3680 3 | 54 | 143 138.27/138.37 c 1.2s | 9 | 26863 | 7506 | 3680 4 | 54 | 143 138.87/138.93 c 1.7s | 10 | 38599 | 11361 | 3680 6 | 54 | 143 139.68/139.79 c 2.6s | 11 | 58053 | 17144 | 3680 9 | 54 | 143 140.97/141.05 c 3.9s | 12 | 86011 | 25819 | 3680 13 | 54 | 143 142.98/143.07 c 5.9s | 12 | 122801 | 38119 | 3680 20 | 54 | 143 143.08/143.19 c 6.0s | 13 | 125128 | 38832 | 3680 20 | 54 | 143 145.07/145.19 c 8.0s | 13 | 163944 | 50732 | 3680 26 | 54 | 143 146.46/146.51 c 9.3s | 14 | 187311 | 58352 | 3680 30 | 54 | 143 148.47/148.51 c 11.3s | 14 | 223701 | 70552 | 3680 37 | 54 | 143 150.46/150.53 c 13.3s | 14 | 258886 | 84152 | 3680 43 | 54 | 143 151.06/151.12 c 13.9s | 15 | 269796 | 87632 | 3680 45 | 54 | 143 153.06/153.13 c 15.9s | 15 | 309469 | 99532 | 3680 51 | 54 | 143 155.07/155.13 c 17.9s | 15 | 347256 | 111232 | 3680 57 | 54 | 143 157.06/157.13 c 19.9s | 15 | 386281 | 122332 | 3680 63 | 54 | 143 158.56/158.68 c 21.5s | 16 | 416987 | 131552 | 3680 68 | 54 | 143 160.58/160.68 c 23.5s | 16 | 460574 | 142952 | 3680 74 | 54 | 143 162.57/162.69 c 25.5s | 16 | 497963 | 153752 | 3680 79 | 54 | 143 164.67/164.72 c 27.5s | 16 | 538201 | 165752 | 3680 85 | 54 | 143 166.67/166.73 c 29.5s | 16 | 574501 | 177052 | 3680 91 | 54 | 143 168.67/168.74 c 31.6s | 16 | 614166 | 188652 | 3680 97 | 54 | 143 170.27/170.34 c 33.2s | 17 | 643569 | 197432 | 3680 102 | 54 | 143 172.27/172.35 c 35.2s | 17 | 684406 | 209232 | 3680 108 | 54 | 143 174.27/174.36 c 37.2s | 17 | 721282 | 221232 | 4049 113 | 54 | 143 176.27/176.36 c 39.2s | 17 | 758204 | 233132 | 4049 119 | 54 | 143 178.27/178.36 c 41.2s | 17 | 793926 | 244332 | 4049 124 | 54 | 143 180.26/180.36 c 43.2s | 17 | 834230 | 256732 | 4049 130 | 54 | 143 182.26/182.37 c 45.2s | 17 | 872807 | 268832 | 4049 136 | 54 | 143 184.26/184.38 c 47.2s | 17 | 904449 | 280332 | 4049 141 | 54 | 143 186.36/186.43 c 49.2s | 17 | 938277 | 291732 | 4049 147 | 54 | 143 187.07/187.14 c 50.0s | 18 | 953430 | 296252 | 4049 149 | 54 | 143 189.06/189.15 c 52.0s | 18 | 990579 | 308052 | 4049 154 | 54 | 143 191.06/191.16 c 54.0s | 18 | 1025164 | 319152 | 4049 160 | 54 | 143 193.06/193.16 c 56.0s | 18 | 1058726 | 331452 | 4049 165 | 54 | 143 195.06/195.17 c 58.0s | 18 | 1088703 | 342352 | 4049 170 | 54 | 143 197.06/197.17 c 60.0s | 18 | 1123210 | 353652 | 4049 175 | 54 | 143 199.07/199.17 c 62.0s | 18 | 1157810 | 364752 | 4049 181 | 54 | 143 201.06/201.18 c 64.0s | 18 | 1194242 | 376052 | 4049 186 | 54 | 143 203.06/203.19 c 66.0s | 18 | 1229909 | 387352 | 4049 191 | 54 | 143 205.15/205.20 c 68.0s | 18 | 1266313 | 398452 | 4049 196 | 54 | 143 207.16/207.21 c 70.0s | 18 | 1303866 | 409652 | 4049 201 | 54 | 143 209.16/209.21 c 72.0s | 18 | 1338335 | 419752 | 4049 206 | 54 | 143 211.17/211.22 c 74.0s | 18 | 1374655 | 432452 | 4049 212 | 54 | 143 213.06/213.13 c 75.9s | 19 | 1412570 | 444482 | 4049 217 | 54 | 143 215.06/215.14 c 77.9s | 19 | 1447557 | 456782 | 4049 223 | 54 | 143 217.06/217.14 c 80.0s | 19 | 1480612 | 467882 | 4049 228 | 54 | 143 219.06/219.15 c 82.0s | 19 | 1511280 | 479282 | 4049 233 | 54 | 143 221.07/221.16 c 84.0s | 19 | 1548842 | 491782 | 4049 239 | 54 | 143 223.06/223.16 c 86.0s | 19 | 1583169 | 503582 | 4049 245 | 54 | 143 225.06/225.17 c 88.0s | 19 | 1617183 | 514682 | 4049 250 | 54 | 143 227.06/227.19 c 90.0s | 19 | 1653049 | 526482 | 4049 255 | 54 | 143 229.06/229.19 c 92.0s | 19 | 1687746 | 537482 | 4049 260 | 54 | 143 231.15/231.20 c 94.0s | 19 | 1722130 | 548282 | 4049 265 | 54 | 143 233.16/233.21 c 96.0s | 19 | 1759125 | 559882 | 4049 271 | 54 | 143 235.25/235.36 c 98.2s | 19 | 1794628 | 570982 | 4049 276 | 54 | 143 237.25/237.37 c 100s | 19 | 1827948 | 582382 | 4049 281 | 54 | 143 239.25/239.38 c 102s | 19 | 1862370 | 593682 | 4049 286 | 54 | 143 241.25/241.38 c 104s | 19 | 1890604 | 603982 | 4049 291 | 54 | 143 243.25/243.38 c 106s | 19 | 1922537 | 615082 | 4049 296 | 54 | 143 245.26/245.39 c 108s | 19 | 1956909 | 626582 | 4049 301 | 54 | 143 247.35/247.40 c 110s | 19 | 1991388 | 637082 | 4049 306 | 54 | 143 249.35/249.41 c 112s | 19 | 2023272 | 648282 | 4049 311 | 54 | 143 251.35/251.42 c 114s | 19 | 2052840 | 659082 | 4049 316 | 54 | 143 252.85/253.00 c 115s | 20 | 2080089 | 666827 | 4049 320 | 54 | 143 254.95/255.01 c 117s | 20 | 2119648 | 678527 | 4049 325 | 54 | 143 256.95/257.02 c 119s | 20 | 2157433 | 689527 | 4049 331 | 54 | 143 258.95/259.03 c 121s | 20 | 2195533 | 700527 | 4049 336 | 54 | 143 260.95/261.03 c 123s | 20 | 2233671 | 711527 | 4454 341 | 54 | 143 262.96/263.04 c 125s | 20 | 2269102 | 721727 | 4454 345 | 54 | 143 264.94/265.08 c 127s | 20 | 2302691 | 731927 | 4454 349 | 54 | 143 266.94/267.08 c 129s | 20 | 2336911 | 742727 | 4454 354 | 54 | 143 269.04/269.11 c 131s | 20 | 2362132 | 752527 | 4454 358 | 54 | 143 271.04/271.11 c 133s | 20 | 2388167 | 763027 | 4454 362 | 54 | 143 273.04/273.12 c 135s | 20 | 2414068 | 773127 | 4454 366 | 54 | 143 275.05/275.19 c 138s | 20 | 2437112 | 782827 | 4454 370 | 54 | 143 277.16/277.21 c 140s | 20 | 2461971 | 792427 | 4454 374 | 54 | 143 279.15/279.22 c 142s | 20 | 2487056 | 801527 | 4454 378 | 54 | 143 281.15/281.23 c 144s | 20 | 2510856 | 811127 | 4454 382 | 54 | 143 283.15/283.24 c 146s | 20 | 2534276 | 820227 | 4454 386 | 54 | 143 285.15/285.25 c 148s | 20 | 2560439 | 830727 | 4454 390 | 54 | 143 287.16/287.25 c 150s | 20 | 2584498 | 840727 | 4454 394 | 54 | 143 289.26/289.33 c 152s | 20 | 2610246 | 850627 | 4454 398 | 54 | 143 291.25/291.33 c 154s | 20 | 2634723 | 861427 | 4454 403 | 54 | 143 293.25/293.35 c 156s | 20 | 2658253 | 870727 | 4454 407 | 54 | 143 295.25/295.35 c 158s | 20 | 2685860 | 880727 | 4454 411 | 54 | 143 297.24/297.36 c 160s | 20 | 2711453 | 890727 | 4454 415 | 54 | 143 299.25/299.38 c 162s | 20 | 2733070 | 899727 | 4454 419 | 54 | 143 301.24/301.40 c 164s | 20 | 2757960 | 909427 | 4454 423 | 54 | 143 303.34/303.40 c 166s | 20 | 2781307 | 918927 | 4454 427 | 54 | 143 305.34/305.43 c 168s | 20 | 2804390 | 928327 | 4454 430 | 54 | 143 307.34/307.44 c 170s | 20 | 2825727 | 937227 | 4454 434 | 54 | 143 309.34/309.45 c 172s | 20 | 2847344 | 946027 | 4454 438 | 54 | 143 311.35/311.47 c 174s | 20 | 2868979 | 954627 | 4454 441 | 54 | 143 313.34/313.49 c 176s | 20 | 2889998 | 963627 | 4454 445 | 54 | 143 315.44/315.50 c 178s | 20 | 2913580 | 972927 | 4454 449 | 54 | 143 317.44/317.50 c 180s | 20 | 2935225 | 981927 | 4454 453 | 54 | 143 319.44/319.54 c 182s | 20 | 2958313 | 991427 | 4454 456 | 54 | 143 321.44/321.50 c 184s | 21 | 2978738 | 1000345 | 4454 460 | 54 | 143 323.35/323.50 c 186s | 21 | 3012569 | 1010145 | 4454 464 | 54 | 143 325.44/325.52 c 188s | 21 | 3045490 | 1020045 | 4454 469 | 54 | 143 327.44/327.53 c 190s | 21 | 3081784 | 1030245 | 4454 473 | 54 | 143 329.44/329.57 c 192s | 21 | 3120183 | 1040745 | 4454 478 | 54 | 143 331.44/331.58 c 194s | 21 | 3154502 | 1050945 | 4454 482 | 54 | 143 333.44/333.58 c 196s | 21 | 3188160 | 1060545 | 4454 486 | 54 | 143 335.45/335.60 c 198s | 21 | 3224521 | 1070945 | 4454 490 | 54 | 143 337.54/337.61 c 200s | 21 | 3261265 | 1080445 | 4454 495 | 54 | 143 339.54/339.62 c 202s | 21 | 3299299 | 1091445 | 4454 499 | 54 | 143 341.54/341.66 c 204s | 21 | 3335391 | 1101445 | 4454 504 | 54 | 143 343.54/343.66 c 206s | 21 | 3368959 | 1110945 | 4454 508 | 54 | 143 345.54/345.67 c 208s | 21 | 3406613 | 1121545 | 4454 512 | 54 | 143 347.55/347.68 c 210s | 21 | 3441895 | 1131645 | 4454 517 | 54 | 143 349.53/349.69 c 212s | 21 | 3471645 | 1140545 | 4454 520 | 54 | 143 351.63/351.72 c 214s | 21 | 3506379 | 1150245 | 4454 525 | 54 | 143 353.63/353.73 c 216s | 21 | 3542300 | 1159645 | 4454 529 | 54 | 143 355.63/355.74 c 218s | 21 | 3577303 | 1169645 | 4454 533 | 54 | 143 357.63/357.76 c 220s | 21 | 3609918 | 1178645 | 4454 537 | 54 | 143 359.64/359.76 c 222s | 21 | 3643571 | 1188345 | 4454 541 | 54 | 143 361.64/361.76 c 224s | 21 | 3674043 | 1197245 | 4454 545 | 54 | 143 363.64/363.77 c 226s | 21 | 3710900 | 1207245 | 4454 549 | 54 | 143 365.64/365.78 c 228s | 21 | 3744610 | 1216645 | 4454 553 | 54 | 143 367.74/367.80 c 230s | 21 | 3777869 | 1225545 | 4454 557 | 54 | 143 369.73/369.83 c 232s | 21 | 3807498 | 1233645 | 4454 560 | 54 | 143 371.74/371.83 c 234s | 21 | 3841864 | 1242945 | 4454 564 | 54 | 143 373.73/373.84 c 236s | 21 | 3872627 | 1252045 | 4454 568 | 54 | 143 375.73/375.85 c 238s | 21 | 3907491 | 1261845 | 4454 572 | 54 | 143 377.73/377.86 c 240s | 21 | 3940267 | 1271245 | 4454 576 | 54 | 143 379.73/379.87 c 242s | 21 | 3971477 | 1280645 | 4454 581 | 54 | 143 381.83/381.92 c 244s | 21 | 4005509 | 1290045 | 4454 585 | 54 | 143 383.84/383.92 c 246s | 21 | 4036062 | 1298445 | 4454 588 | 54 | 143 385.83/385.93 c 248s | 21 | 4069349 | 1308145 | 4454 592 | 54 | 143 387.83/387.94 c 250s | 21 | 4096182 | 1316545 | 4454 596 | 54 | 143 389.83/389.96 c 252s | 21 | 4131444 | 1326545 | 4454 600 | 54 | 143 391.83/391.97 c 254s | 21 | 4161023 | 1335645 | 4454 604 | 54 | 143 393.84/393.99 c 256s | 21 | 4192251 | 1344645 | 4454 608 | 54 | 143 395.94/396.01 c 258s | 21 | 4224348 | 1353745 | 4454 612 | 54 | 143 397.93/398.03 c 260s | 21 | 4255834 | 1362645 | 4454 616 | 54 | 143 399.93/400.04 c 262s | 21 | 4288747 | 1371945 | 4454 620 | 54 | 143 401.93/402.08 c 264s | 21 | 4319849 | 1381045 | 4454 624 | 54 | 143 403.93/404.08 c 266s | 21 | 4354655 | 1390845 | 4454 628 | 54 | 143 406.02/406.10 c 268s | 21 | 4385871 | 1399245 | 4454 631 | 54 | 143 407.92/408.10 c 270s | 21 | 4420188 | 1409245 | 4454 636 | 54 | 143 410.02/410.12 c 272s | 21 | 4454597 | 1419045 | 4454 640 | 54 | 143 412.02/412.14 c 274s | 21 | 4484605 | 1427545 | 4454 644 | 54 | 143 414.02/414.16 c 276s | 21 | 4517573 | 1437045 | 4454 648 | 54 | 143 416.02/416.18 c 278s | 21 | 4549232 | 1446145 | 4454 652 | 54 | 143 418.04/418.18 c 280s | 21 | 4580974 | 1455145 | 4454 655 | 54 | 143 420.03/420.19 c 282s | 21 | 4612746 | 1464145 | 4900 659 | 54 | 143 422.13/422.21 c 285s | 21 | 4644556 | 1473045 | 4900 662 | 54 | 143 424.13/424.21 c 287s | 21 | 4676577 | 1482245 | 4900 666 | 54 | 143 426.13/426.22 c 289s | 21 | 4705146 | 1490445 | 4900 669 | 54 | 143 428.13/428.28 c 291s | 21 | 4738805 | 1500145 | 4900 673 | 54 | 143 428.23/428.37 c 291s | 22 | 4740408 | 1500622 | 4900 673 | 54 | 143 430.22/430.38 c 293s | 22 | 4770594 | 1509922 | 4900 677 | 54 | 143 432.23/432.39 c 295s | 22 | 4798739 | 1518322 | 4900 680 | 54 | 143 434.22/434.40 c 297s | 22 | 4827157 | 1526422 | 4900 683 | 54 | 143 436.32/436.41 c 299s | 22 | 4860881 | 1535522 | 4900 687 | 54 | 143 438.32/438.42 c 301s | 22 | 4892865 | 1544422 | 4900 690 | 54 | 143 440.32/440.44 c 303s | 22 | 4924499 | 1553322 | 4900 694 | 54 | 143 442.32/442.44 c 305s | 22 | 4956861 | 1562822 | 4900 698 | 54 | 143 444.33/444.44 c 307s | 22 | 4992461 | 1572522 | 4900 701 | 54 | 143 446.33/446.45 c 309s | 22 | 5021959 | 1580922 | 4900 705 | 54 | 143 448.32/448.46 c 311s | 22 | 5054263 | 1590022 | 4900 708 | 54 | 143 450.32/450.49 c 313s | 22 | 5083487 | 1598122 | 4900 711 | 54 | 143 452.42/452.50 c 315s | 22 | 5114399 | 1606822 | 4900 715 | 54 | 143 454.42/454.50 c 317s | 22 | 5152550 | 1616822 | 4900 719 | 54 | 143 456.43/456.51 c 319s | 22 | 5181109 | 1625522 | 4900 722 | 54 | 143 458.42/458.51 c 321s | 22 | 5214674 | 1635122 | 4900 726 | 54 | 143 460.42/460.53 c 323s | 22 | 5245868 | 1644022 | 4900 729 | 54 | 143 462.42/462.55 c 325s | 22 | 5273823 | 1652122 | 4900 733 | 54 | 143 464.42/464.55 c 327s | 22 | 5306958 | 1661722 | 4900 736 | 54 | 143 466.43/466.56 c 329s | 22 | 5338608 | 1671322 | 4900 740 | 54 | 143 468.42/468.56 c 331s | 22 | 5369592 | 1680422 | 4900 744 | 54 | 143 470.42/470.58 c 333s | 22 | 5398937 | 1689622 | 4900 747 | 54 | 143 472.42/472.59 c 335s | 22 | 5429876 | 1698822 | 4900 751 | 54 | 143 474.52/474.60 c 337s | 22 | 5460734 | 1707522 | 4900 754 | 54 | 143 476.52/476.63 c 339s | 22 | 5493218 | 1716422 | 4900 758 | 54 | 143 478.53/478.63 c 341s | 22 | 5527519 | 1725822 | 4900 761 | 54 | 143 480.52/480.64 c 343s | 22 | 5563579 | 1735222 | 4900 765 | 54 | 143 482.51/482.66 c 345s | 22 | 5602034 | 1745122 | 4900 769 | 54 | 143 484.51/484.67 c 347s | 22 | 5634085 | 1753722 | 4900 772 | 54 | 143 486.51/486.67 c 349s | 22 | 5663465 | 1762322 | 4900 776 | 54 | 143 488.61/488.70 c 351s | 22 | 5693398 | 1771122 | 4900 779 | 54 | 143 490.62/490.71 c 353s | 22 | 5724108 | 1779922 | 4900 783 | 54 | 143 492.61/492.72 c 355s | 22 | 5755113 | 1789422 | 4900 786 | 54 | 143 494.61/494.72 c 357s | 22 | 5787336 | 1799022 | 4900 790 | 54 | 143 496.61/496.73 c 359s | 22 | 5816320 | 1807622 | 4900 793 | 54 | 143 498.61/498.74 c 361s | 22 | 5852529 | 1817122 | 4900 797 | 54 | 143 500.62/500.75 c 363s | 22 | 5882345 | 1825522 | 4900 800 | 54 | 143 502.63/502.76 c 365s | 22 | 5913658 | 1835022 | 4900 804 | 54 | 143 504.72/504.81 c 367s | 22 | 5940850 | 1842722 | 4900 807 | 54 | 143 506.72/506.83 c 369s | 22 | 5974592 | 1852522 | 4900 811 | 54 | 143 508.71/508.84 c 371s | 22 | 6008866 | 1862022 | 4900 815 | 54 | 143 510.71/510.85 c 373s | 22 | 6040898 | 1870822 | 4900 818 | 54 | 143 512.71/512.86 c 375s | 22 | 6071930 | 1879822 | 4900 822 | 54 | 143 514.72/514.89 c 377s | 22 | 6101003 | 1888422 | 4900 825 | 54 | 143 516.81/516.90 c 379s | 22 | 6129868 | 1896822 | 4900 828 | 54 | 143 518.81/518.92 c 381s | 22 | 6160712 | 1905722 | 4900 832 | 54 | 143 520.81/520.93 c 383s | 22 | 6196064 | 1915422 | 4900 836 | 54 | 143 522.81/522.94 c 385s | 22 | 6231032 | 1924422 | 4900 839 | 54 | 143 524.81/524.95 c 387s | 22 | 6265359 | 1933822 | 4900 843 | 54 | 143 526.82/526.96 c 389s | 22 | 6298848 | 1943622 | 4900 847 | 54 | 143 528.91/529.03 c 391s | 22 | 6332437 | 1952722 | 4900 850 | 54 | 143 530.91/531.05 c 393s | 22 | 6369238 | 1962622 | 4900 854 | 54 | 143 532.91/533.05 c 395s | 22 | 6406089 | 1973122 | 4900 858 | 54 | 143 534.91/535.06 c 397s | 22 | 6440021 | 1983322 | 4900 862 | 54 | 143 536.90/537.07 c 399s | 22 | 6473987 | 1992822 | 4900 866 | 54 | 143 538.92/539.10 c 401s | 22 | 6506810 | 2001722 | 4900 870 | 54 | 143 541.01/541.11 c 403s | 22 | 6537367 | 2009722 | 4900 873 | 54 | 143 543.01/543.11 c 405s | 22 | 6571048 | 2018822 | 4900 876 | 54 | 143 545.01/545.11 c 407s | 22 | 6603354 | 2028322 | 4900 880 | 54 | 143 547.01/547.12 c 409s | 22 | 6633455 | 2036922 | 4900 883 | 54 | 143 549.01/549.13 c 411s | 22 | 6667075 | 2046522 | 4900 887 | 54 | 143 551.02/551.14 c 413s | 22 | 6699436 | 2055122 | 4900 890 | 54 | 143 553.01/553.15 c 415s | 22 | 6728954 | 2063822 | 4900 894 | 54 | 143 555.01/555.16 c 417s | 22 | 6761407 | 2073422 | 4900 898 | 54 | 143 557.01/557.17 c 419s | 22 | 6794234 | 2082422 | 4900 901 | 54 | 143 559.01/559.19 c 421s | 22 | 6828528 | 2091822 | 4900 905 | 54 | 143 561.01/561.19 c 424s | 22 | 6862496 | 2101322 | 4900 909 | 54 | 143 563.00/563.20 c 426s | 22 | 6892020 | 2109922 | 4900 912 | 54 | 143 565.10/565.22 c 428s | 22 | 6919171 | 2118822 | 4900 915 | 54 | 143 567.10/567.23 c 430s | 22 | 6946341 | 2127822 | 4900 919 | 54 | 143 569.10/569.24 c 432s | 22 | 6975013 | 2136622 | 4900 922 | 54 | 143 571.10/571.26 c 434s | 22 | 7001221 | 2144722 | 4900 926 | 54 | 143 573.11/573.27 c 436s | 22 | 7035716 | 2154022 | 4900 929 | 54 | 143 575.10/575.28 c 438s | 22 | 7067004 | 2162922 | 4900 933 | 54 | 143 577.20/577.32 c 440s | 22 | 7099685 | 2171822 | 4900 936 | 54 | 143 579.20/579.32 c 442s | 22 | 7133531 | 2181122 | 4900 940 | 54 | 143 581.20/581.33 c 444s | 22 | 7167286 | 2190622 | 4900 944 | 54 | 143 583.20/583.34 c 446s | 22 | 7200454 | 2199522 | 4900 947 | 54 | 143 585.21/585.34 c 448s | 22 | 7234230 | 2209222 | 4900 951 | 54 | 143 587.20/587.36 c 450s | 22 | 7268976 | 2218222 | 4900 954 | 54 | 143 589.20/589.37 c 452s | 22 | 7303898 | 2227322 | 4900 958 | 54 | 143 591.30/591.40 c 454s | 22 | 7338850 | 2236622 | 4900 962 | 54 | 143 593.29/593.42 c 456s | 22 | 7369798 | 2245422 | 4900 965 | 54 | 143 594.59/594.76 c 457s | 23 | 7388137 | 2251038 | 4900 967 | 54 | 143 596.59/596.77 c 459s | 23 | 7420873 | 2260038 | 4900 971 | 54 | 143 598.69/598.81 c 461s | 23 | 7453251 | 2269838 | 4900 975 | 54 | 143 600.70/600.82 c 463s | 23 | 7484526 | 2279038 | 4900 978 | 54 | 143 602.71/602.83 c 465s | 23 | 7513136 | 2288238 | 4900 982 | 54 | 143 604.70/604.84 c 467s | 23 | 7548720 | 2297938 | 4900 986 | 54 | 143 606.70/606.86 c 469s | 23 | 7575833 | 2306738 | 4900 989 | 54 | 143 608.70/608.87 c 471s | 23 | 7604789 | 2315738 | 4900 992 | 54 | 143 610.70/610.88 c 473s | 23 | 7636044 | 2324638 | 4900 996 | 54 | 143 612.80/612.90 c 475s | 23 | 7667906 | 2333738 | 4900 1000 | 54 | 143 614.81/614.91 c 477s | 23 | 7702352 | 2343438 | 4900 1003 | 54 | 143 616.80/616.91 c 479s | 23 | 7730030 | 2351838 | 4900 1007 | 54 | 143 618.80/618.93 c 481s | 23 | 7762044 | 2361438 | 4900 1010 | 54 | 143 620.79/620.94 c 483s | 23 | 7791772 | 2370038 | 4900 1014 | 54 | 143 622.79/622.95 c 485s | 23 | 7820977 | 2378438 | 4900 1017 | 54 | 143 624.81/624.98 c 487s | 23 | 7852251 | 2387238 | 4900 1021 | 54 | 143 626.80/627.00 c 489s | 23 | 7884207 | 2396138 | 4900 1024 | 54 | 143 628.90/629.01 c 491s | 23 | 7912782 | 2404938 | 4900 1027 | 54 | 143 630.90/631.02 c 493s | 23 | 7942820 | 2413738 | 4900 1031 | 54 | 143 632.90/633.04 c 495s | 23 | 7969685 | 2422338 | 4900 1034 | 54 | 143 634.90/635.04 c 497s | 23 | 7999098 | 2432038 | 4900 1038 | 54 | 143 636.91/637.04 c 499s | 23 | 8027544 | 2440238 | 4900 1041 | 54 | 143 638.89/639.05 c 501s | 23 | 8058812 | 2449138 | 4900 1045 | 54 | 143 640.89/641.07 c 503s | 23 | 8088047 | 2458538 | 4900 1048 | 54 | 143 642.89/643.09 c 505s | 23 | 8118915 | 2467238 | 4900 1052 | 54 | 143 644.99/645.10 c 507s | 23 | 8148557 | 2475938 | 4900 1055 | 54 | 143 646.99/647.11 c 509s | 23 | 8174391 | 2484238 | 4900 1059 | 54 | 143 649.00/649.14 c 511s | 23 | 8200311 | 2492538 | 4900 1062 | 54 | 143 650.99/651.17 c 513s | 23 | 8225853 | 2502038 | 4900 1066 | 54 | 143 652.99/653.17 c 515s | 23 | 8254957 | 2511238 | 4900 1069 | 54 | 143 654.99/655.19 c 517s | 23 | 8283235 | 2520638 | 4900 1073 | 54 | 143 656.99/657.19 c 519s | 23 | 8313392 | 2530738 | 4900 1077 | 54 | 143 659.08/659.20 c 522s | 23 | 8343026 | 2540538 | 4900 1081 | 54 | 143 661.00/661.20 c 524s | 23 | 8370267 | 2550438 | 4900 1084 | 54 | 143 663.09/663.20 c 526s | 23 | 8398462 | 2559538 | 4900 1088 | 54 | 143 665.09/665.21 c 528s | 23 | 8428234 | 2569038 | 4900 1092 | 54 | 143 667.09/667.23 c 530s | 23 | 8458533 | 2578738 | 5390 1095 | 54 | 143 669.09/669.24 c 532s | 23 | 8490195 | 2587838 | 5390 1098 | 54 | 143 671.09/671.24 c 534s | 23 | 8519596 | 2596838 | 5390 1102 | 54 | 143 673.10/673.26 c 536s | 23 | 8547697 | 2605838 | 5390 1105 | 54 | 143 675.09/675.28 c 538s | 23 | 8575912 | 2613838 | 5390 1108 | 54 | 143 677.09/677.28 c 540s | 23 | 8605518 | 2623238 | 5390 1111 | 54 | 143 679.09/679.29 c 542s | 23 | 8632769 | 2632238 | 5390 1114 | 54 | 143 681.19/681.30 c 544s | 23 | 8658132 | 2640838 | 5390 1117 | 54 | 143 683.18/683.35 c 546s | 23 | 8686265 | 2650138 | 5390 1121 | 54 | 143 685.19/685.36 c 548s | 23 | 8713282 | 2659138 | 5390 1124 | 54 | 143 687.18/687.36 c 550s | 23 | 8736243 | 2666438 | 5390 1127 | 54 | 143 689.18/689.38 c 552s | 23 | 8763454 | 2675338 | 5390 1130 | 54 | 143 691.18/691.39 c 554s | 23 | 8793429 | 2684938 | 5390 1133 | 54 | 143 693.28/693.41 c 556s | 23 | 8823925 | 2694238 | 5390 1136 | 54 | 143 695.28/695.41 c 558s | 23 | 8850699 | 2702938 | 5390 1140 | 54 | 143 697.30/697.43 c 560s | 23 | 8879348 | 2711838 | 5390 1143 | 54 | 143 699.29/699.44 c 562s | 23 | 8907131 | 2720838 | 5390 1146 | 54 | 143 701.29/701.45 c 564s | 23 | 8938001 | 2730738 | 5390 1150 | 54 | 143 703.29/703.46 c 566s | 23 | 8969109 | 2740538 | 5390 1153 | 54 | 143 705.28/705.48 c 568s | 23 | 8999721 | 2749638 | 5390 1156 | 54 | 143 707.38/707.50 c 570s | 23 | 9029415 | 2758238 | 5390 1159 | 54 | 143 709.39/709.51 c 572s | 23 | 9061957 | 2767738 | 5390 1163 | 54 | 143 711.38/711.52 c 574s | 23 | 9093646 | 2776838 | 5390 1166 | 54 | 143 713.38/713.53 c 576s | 23 | 9122873 | 2785238 | 5390 1169 | 54 | 143 715.38/715.54 c 578s | 23 | 9155663 | 2793838 | 5390 1172 | 54 | 143 717.38/717.56 c 580s | 23 | 9188660 | 2802938 | 5390 1175 | 54 | 143 719.39/719.59 c 582s | 23 | 9220814 | 2811838 | 5390 1179 | 54 | 143 721.68/721.87 c 584s | 23 | 9250132 | 2820838 | 5390 1182 | 54 | 143 723.69/723.88 c 586s | 23 | 9283392 | 2830038 | 5390 1185 | 54 | 143 725.78/725.91 c 588s | 23 | 9315031 | 2838438 | 5390 1188 | 54 | 143 727.77/727.91 c 590s | 23 | 9345031 | 2848038 | 5390 1191 | 54 | 143 729.77/729.93 c 592s | 23 | 9372660 | 2856938 | 5390 1195 | 54 | 143 731.77/731.93 c 594s | 23 | 9401454 | 2865738 | 5390 1198 | 54 | 143 733.77/733.94 c 596s | 23 | 9429833 | 2874738 | 5390 1201 | 54 | 143 735.78/735.94 c 598s | 23 | 9461652 | 2883838 | 5390 1204 | 54 | 143 737.77/737.95 c 600s | 23 | 9489019 | 2892138 | 5390 1207 | 54 | 143 739.77/739.97 c 602s | 23 | 9521910 | 2901338 | 5390 1211 | 54 | 143 741.77/741.99 c 604s | 23 | 9552689 | 2910838 | 5390 1214 | 54 | 143 743.87/744.00 c 606s | 23 | 9582126 | 2919638 | 5390 1217 | 54 | 143 745.87/746.02 c 608s | 23 | 9614754 | 2928738 | 5390 1220 | 54 | 143 747.88/748.08 c 610s | 23 | 9645552 | 2937738 | 5390 1224 | 54 | 143 749.87/750.08 c 612s | 23 | 9677031 | 2946738 | 5390 1227 | 54 | 143 751.87/752.09 c 614s | 23 | 9709244 | 2956238 | 5390 1230 | 54 | 143 753.87/754.09 c 616s | 23 | 9738557 | 2964638 | 5390 1233 | 54 | 143 755.87/756.09 c 618s | 23 | 9766483 | 2973738 | 5390 1236 | 54 | 143 757.97/758.11 c 620s | 23 | 9797027 | 2983138 | 5390 1240 | 54 | 143 759.98/760.13 c 622s | 23 | 9826479 | 2992638 | 5390 1243 | 54 | 143 761.97/762.15 c 624s | 23 | 9856069 | 3001838 | 5390 1246 | 54 | 143 763.96/764.15 c 626s | 23 | 9884987 | 3010938 | 5390 1250 | 54 | 143 765.96/766.18 c 628s | 23 | 9911383 | 3018838 | 5390 1253 | 54 | 143 767.96/768.19 c 631s | 23 | 9940378 | 3027638 | 5390 1256 | 54 | 143 770.07/770.23 c 633s | 23 | 9968523 | 3036138 | 5390 1259 | 54 | 143 772.08/772.23 c 635s | 23 | 9998836 | 3044738 | 5390 1262 | 54 | 143 774.07/774.23 c 637s | 23 | 10027426 | 3053638 | 5390 1265 | 54 | 143 776.07/776.24 c 639s | 23 | 10056335 | 3062538 | 5390 1268 | 54 | 143 778.06/778.24 c 641s | 23 | 10086795 | 3071238 | 5390 1271 | 54 | 143 780.06/780.24 c 643s | 23 | 10117239 | 3080138 | 5390 1274 | 54 | 143 782.07/782.25 c 645s | 23 | 10144260 | 3088638 | 5390 1277 | 54 | 143 784.06/784.27 c 647s | 23 | 10174896 | 3098538 | 5390 1281 | 54 | 143 786.06/786.29 c 649s | 23 | 10205158 | 3107638 | 5390 1284 | 54 | 143 788.06/788.30 c 651s | 23 | 10234654 | 3116338 | 5390 1287 | 54 | 143 790.15/790.30 c 653s | 23 | 10268586 | 3126038 | 5390 1291 | 54 | 143 792.15/792.31 c 655s | 23 | 10296867 | 3134238 | 5390 1294 | 54 | 143 794.16/794.33 c 657s | 23 | 10326157 | 3143038 | 5390 1297 | 54 | 143 796.15/796.33 c 659s | 23 | 10356008 | 3152538 | 5390 1300 | 54 | 143 798.15/798.34 c 661s | 23 | 10384461 | 3161438 | 5390 1304 | 54 | 143 800.15/800.36 c 663s | 23 | 10413340 | 3170538 | 5390 1307 | 54 | 143 802.15/802.36 c 665s | 23 | 10439465 | 3178838 | 5390 1310 | 54 | 143 804.15/804.38 c 667s | 23 | 10468626 | 3187838 | 5390 1313 | 54 | 143 806.16/806.40 c 669s | 23 | 10498716 | 3196938 | 5390 1316 | 54 | 143 808.25/808.41 c 671s | 23 | 10524804 | 3206338 | 5390 1320 | 54 | 143 810.25/810.41 c 673s | 23 | 10549371 | 3214138 | 5390 1322 | 54 | 143 812.25/812.46 c 675s | 23 | 10578889 | 3223438 | 5390 1326 | 54 | 143 814.25/814.47 c 677s | 23 | 10605834 | 3232538 | 5390 1329 | 54 | 143 816.35/816.50 c 679s | 23 | 10629421 | 3241038 | 5390 1332 | 54 | 143 818.36/818.52 c 681s | 23 | 10660361 | 3249938 | 5390 1335 | 54 | 143 820.35/820.53 c 683s | 23 | 10688996 | 3258338 | 5390 1338 | 54 | 143 822.35/822.54 c 685s | 23 | 10719093 | 3267238 | 5390 1341 | 54 | 143 824.35/824.55 c 687s | 23 | 10748884 | 3276338 | 5390 1345 | 54 | 143 826.34/826.56 c 689s | 23 | 10775909 | 3285238 | 5390 1348 | 54 | 143 828.34/828.57 c 691s | 23 | 10798198 | 3292538 | 5390 1350 | 54 | 143 830.35/830.58 c 693s | 23 | 10829551 | 3302238 | 5390 1354 | 54 | 143 832.34/832.59 c 695s | 23 | 10859305 | 3310938 | 5390 1357 | 54 | 143 834.44/834.61 c 697s | 23 | 10891498 | 3319638 | 5390 1360 | 54 | 143 836.44/836.63 c 699s | 23 | 10923160 | 3328238 | 5390 1363 | 54 | 143 838.44/838.64 c 701s | 23 | 10953630 | 3337138 | 5390 1366 | 54 | 143 840.44/840.64 c 703s | 23 | 10983596 | 3345938 | 5390 1370 | 54 | 143 842.46/842.65 c 705s | 23 | 11013039 | 3354738 | 5390 1373 | 54 | 143 844.44/844.66 c 707s | 23 | 11043987 | 3364138 | 5390 1376 | 54 | 143 846.44/846.68 c 709s | 23 | 11072977 | 3373038 | 5390 1379 | 54 | 143 847.24/847.45 c 710s | 24 | 11084407 | 3376662 | 5390 1380 | 54 | 143 849.24/849.46 c 712s | 24 | 11111530 | 3385062 | 5390 1383 | 54 | 143 851.25/851.48 c 714s | 24 | 11148330 | 3396062 | 5390 1387 | 54 | 143 853.24/853.49 c 716s | 24 | 11181770 | 3405862 | 5390 1391 | 54 | 143 855.34/855.53 c 718s | 24 | 11217849 | 3416162 | 5390 1395 | 54 | 143 857.33/857.53 c 720s | 24 | 11250486 | 3425762 | 5390 1398 | 54 | 143 859.33/859.54 c 722s | 24 | 11281742 | 3435162 | 5390 1401 | 54 | 143 861.33/861.55 c 724s | 24 | 11318703 | 3445762 | 5390 1405 | 54 | 143 863.34/863.55 c 726s | 24 | 11355059 | 3455762 | 5390 1409 | 54 | 143 865.33/865.57 c 728s | 24 | 11388928 | 3465362 | 5390 1412 | 54 | 143 867.43/867.62 c 730s | 24 | 11425823 | 3476462 | 5390 1416 | 54 | 143 869.43/869.62 c 732s | 24 | 11455777 | 3485662 | 5390 1419 | 54 | 143 871.43/871.64 c 734s | 24 | 11484619 | 3494262 | 5390 1423 | 54 | 143 873.43/873.66 c 736s | 24 | 11518082 | 3504962 | 5390 1426 | 54 | 143 875.44/875.68 c 738s | 24 | 11549846 | 3514762 | 5390 1430 | 54 | 143 877.53/877.70 c 740s | 24 | 11583839 | 3525062 | 5390 1434 | 54 | 143 879.53/879.72 c 742s | 24 | 11610850 | 3532862 | 5390 1436 | 54 | 143 881.53/881.74 c 744s | 24 | 11648348 | 3543062 | 5390 1440 | 54 | 143 883.52/883.74 c 746s | 24 | 11686202 | 3553162 | 5390 1444 | 54 | 143 885.52/885.75 c 748s | 24 | 11722292 | 3562662 | 5390 1447 | 54 | 143 887.53/887.75 c 750s | 24 | 11755347 | 3571562 | 5390 1450 | 54 | 143 889.52/889.77 c 752s | 24 | 11785472 | 3580462 | 5390 1453 | 54 | 143 891.52/891.78 c 754s | 24 | 11816545 | 3590262 | 5390 1457 | 54 | 143 893.62/893.80 c 756s | 24 | 11848296 | 3599662 | 5390 1460 | 54 | 143 895.62/895.81 c 758s | 24 | 11875676 | 3608262 | 5390 1463 | 54 | 143 897.62/897.81 c 760s | 24 | 11902204 | 3616562 | 5390 1466 | 54 | 143 899.62/899.83 c 762s | 24 | 11934342 | 3625762 | 5390 1470 | 54 | 143 901.61/901.83 c 764s | 24 | 11961222 | 3633362 | 5390 1472 | 54 | 143 903.62/903.86 c 766s | 24 | 11994814 | 3642962 | 5390 1476 | 54 | 143 905.62/905.87 c 768s | 24 | 12029017 | 3652462 | 5390 1479 | 54 | 143 907.62/907.87 c 770s | 24 | 12061603 | 3661962 | 5390 1482 | 54 | 143 909.62/909.88 c 772s | 24 | 12097109 | 3671762 | 5390 1486 | 54 | 143 911.61/911.90 c 774s | 24 | 12133522 | 3681562 | 5390 1489 | 54 | 143 913.71/913.91 c 776s | 24 | 12164765 | 3690462 | 5390 1493 | 54 | 143 915.71/915.91 c 778s | 24 | 12194118 | 3698962 | 5390 1496 | 54 | 143 917.90/918.14 c 780s | 24 | 12226258 | 3708562 | 5390 1499 | 54 | 143 919.90/920.16 c 782s | 24 | 12257545 | 3718062 | 5390 1503 | 54 | 143 922.00/922.24 c 785s | 24 | 12285668 | 3727062 | 5390 1506 | 54 | 143 924.00/924.25 c 787s | 24 | 12314278 | 3736762 | 5390 1509 | 54 | 143 926.01/926.28 c 789s | 24 | 12339438 | 3745062 | 5390 1512 | 54 | 143 928.01/928.28 c 791s | 24 | 12369339 | 3753562 | 5390 1515 | 54 | 143 930.10/930.30 c 793s | 24 | 12397041 | 3762062 | 5390 1518 | 54 | 143 932.10/932.32 c 795s | 24 | 12426144 | 3770962 | 5390 1521 | 54 | 143 934.10/934.33 c 797s | 24 | 12454656 | 3779662 | 5390 1525 | 54 | 143 936.10/936.34 c 799s | 24 | 12486809 | 3789362 | 5390 1528 | 54 | 143 938.10/938.36 c 801s | 24 | 12517126 | 3798662 | 5390 1531 | 54 | 143 940.09/940.37 c 803s | 24 | 12546076 | 3807562 | 5390 1535 | 54 | 143 942.09/942.38 c 805s | 24 | 12569049 | 3815962 | 5390 1538 | 54 | 143 944.09/944.39 c 807s | 24 | 12598900 | 3824662 | 5390 1541 | 54 | 143 946.19/946.41 c 809s | 24 | 12632025 | 3834262 | 5390 1544 | 54 | 143 948.19/948.41 c 811s | 24 | 12657291 | 3842362 | 5390 1547 | 54 | 143 950.20/950.43 c 813s | 24 | 12688177 | 3850862 | 5390 1550 | 54 | 143 952.29/952.52 c 815s | 24 | 12720673 | 3860562 | 5390 1554 | 54 | 143 954.28/954.53 c 817s | 24 | 12752595 | 3870562 | 5390 1557 | 54 | 143 956.29/956.58 c 819s | 24 | 12780816 | 3879662 | 5390 1560 | 54 | 143 958.29/958.59 c 821s | 24 | 12812275 | 3889462 | 5390 1564 | 54 | 143 960.29/960.59 c 823s | 24 | 12841595 | 3898062 | 5390 1567 | 54 | 143 962.39/962.61 c 825s | 24 | 12873724 | 3907662 | 5390 1570 | 54 | 143 964.38/964.62 c 827s | 24 | 12906119 | 3917262 | 5390 1574 | 54 | 143 966.38/966.63 c 829s | 24 | 12938351 | 3926362 | 5390 1577 | 54 | 143 968.38/968.64 c 831s | 24 | 12970153 | 3936062 | 5390 1580 | 54 | 143 970.38/970.65 c 833s | 24 | 13004491 | 3945962 | 5390 1584 | 54 | 143 972.38/972.66 c 835s | 24 | 13033831 | 3954662 | 5390 1587 | 54 | 143 974.38/974.67 c 837s | 24 | 13061642 | 3963262 | 5390 1590 | 54 | 143 976.38/976.68 c 839s | 24 | 13096317 | 3973362 | 5390 1594 | 54 | 143 978.38/978.69 c 841s | 24 | 13124591 | 3982762 | 5390 1597 | 54 | 143 980.47/980.70 c 843s | 24 | 13152059 | 3991962 | 5390 1600 | 54 | 143 982.47/982.71 c 845s | 24 | 13185233 | 4001862 | 5390 1604 | 54 | 143 984.47/984.71 c 847s | 24 | 13217080 | 4011662 | 5390 1608 | 54 | 143 986.48/986.72 c 849s | 24 | 13250371 | 4021362 | 5390 1611 | 54 | 143 988.47/988.72 c 851s | 24 | 13282137 | 4030962 | 5390 1614 | 54 | 143 990.47/990.72 c 853s | 24 | 13315307 | 4040862 | 5390 1618 | 54 | 143 992.47/992.72 c 855s | 24 | 13345577 | 4050362 | 5390 1621 | 54 | 143 994.47/994.73 c 857s | 24 | 13376463 | 4059862 | 5390 1625 | 54 | 143 996.47/996.74 c 859s | 24 | 13406763 | 4069962 | 5390 1628 | 54 | 143 998.46/998.74 c 861s | 24 | 13438413 | 4078962 | 5390 1632 | 54 | 143 1000.46/1000.75 c 863s | 24 | 13463446 | 4086462 | 5390 1634 | 54 | 143 1002.46/1002.76 c 865s | 24 | 13494304 | 4096062 | 5390 1638 | 54 | 143 1004.46/1004.78 c 867s | 24 | 13527819 | 4105662 | 5390 1641 | 54 | 143 1006.45/1006.80 c 869s | 24 | 13558050 | 4114962 | 5390 1644 | 54 | 143 1008.56/1008.81 c 871s | 24 | 13589529 | 4124162 | 5390 1648 | 54 | 143 1010.55/1010.88 c 873s | 24 | 13617525 | 4132962 | 5390 1651 | 54 | 143 1012.55/1012.89 c 875s | 24 | 13648189 | 4142262 | 5390 1654 | 54 | 143 1014.65/1014.90 c 877s | 24 | 13680350 | 4151962 | 5390 1658 | 54 | 143 1016.65/1016.91 c 879s | 24 | 13717355 | 4162362 | 5390 1661 | 54 | 143 1018.65/1018.91 c 881s | 24 | 13746973 | 4172262 | 5390 1665 | 54 | 143 1020.66/1020.91 c 883s | 24 | 13778623 | 4182262 | 5390 1669 | 54 | 143 1022.65/1022.92 c 885s | 24 | 13807765 | 4191362 | 5390 1672 | 54 | 143 1024.65/1024.94 c 887s | 24 | 13838866 | 4201562 | 5390 1675 | 54 | 143 1026.65/1026.95 c 889s | 24 | 13869244 | 4210662 | 5390 1679 | 54 | 143 1028.64/1028.97 c 891s | 24 | 13898886 | 4220462 | 5390 1682 | 54 | 143 1030.65/1030.97 c 893s | 24 | 13926016 | 4229962 | 5390 1686 | 54 | 143 1032.66/1032.99 c 895s | 24 | 13951102 | 4237862 | 5390 1688 | 54 | 143 1034.75/1035.00 c 897s | 24 | 13985568 | 4247362 | 5390 1692 | 54 | 143 1036.75/1037.01 c 899s | 24 | 14016073 | 4256162 | 5930 1695 | 54 | 143 1038.75/1039.03 c 901s | 24 | 14045387 | 4264662 | 5930 1697 | 54 | 143 1040.74/1041.04 c 903s | 24 | 14079792 | 4274362 | 5930 1701 | 54 | 143 1042.74/1043.05 c 905s | 24 | 14101482 | 4280662 | 5930 1703 | 54 | 143 1044.75/1045.08 c 907s | 24 | 14131818 | 4290162 | 5930 1706 | 54 | 143 1046.74/1047.09 c 909s | 24 | 14163497 | 4299462 | 5930 1709 | 54 | 143 1048.74/1049.09 c 911s | 24 | 14189965 | 4307562 | 5930 1711 | 54 | 143 1050.84/1051.10 c 913s | 24 | 14218208 | 4316562 | 5930 1714 | 54 | 143 1052.84/1053.10 c 915s | 24 | 14248660 | 4325262 | 5930 1717 | 54 | 143 1054.84/1055.12 c 917s | 24 | 14279505 | 4334062 | 5930 1720 | 54 | 143 1056.84/1057.13 c 919s | 24 | 14309478 | 4342762 | 5930 1723 | 54 | 143 1058.83/1059.14 c 921s | 24 | 14333523 | 4349762 | 5930 1725 | 54 | 143 1060.82/1061.15 c 923s | 24 | 14362671 | 4358162 | 5930 1728 | 54 | 143 1062.83/1063.16 c 925s | 24 | 14392351 | 4367262 | 5930 1731 | 54 | 143 1064.83/1065.18 c 927s | 24 | 14419302 | 4375062 | 5930 1733 | 54 | 143 1066.84/1067.19 c 929s | 24 | 14447261 | 4383562 | 5930 1736 | 54 | 143 1068.83/1069.20 c 932s | 24 | 14479335 | 4392362 | 5930 1739 | 54 | 143 1070.93/1071.21 c 934s | 24 | 14508655 | 4400862 | 5930 1742 | 54 | 143 1072.92/1073.23 c 936s | 24 | 14539081 | 4410162 | 5930 1745 | 54 | 143 1074.92/1075.24 c 938s | 24 | 14569275 | 4419062 | 5930 1748 | 54 | 143 1076.92/1077.25 c 940s | 24 | 14599279 | 4427562 | 5930 1751 | 54 | 143 1079.02/1079.32 c 942s | 24 | 14633479 | 4436862 | 5930 1754 | 54 | 143 1081.03/1081.34 c 944s | 24 | 14665210 | 4445562 | 5930 1756 | 54 | 143 1083.02/1083.35 c 946s | 24 | 14700466 | 4454862 | 5930 1759 | 54 | 143 1085.02/1085.37 c 948s | 24 | 14729163 | 4463062 | 5930 1762 | 54 | 143 1087.01/1087.38 c 950s | 24 | 14757931 | 4471662 | 5930 1765 | 54 | 143 1089.11/1089.40 c 952s | 24 | 14789957 | 4481162 | 5930 1768 | 54 | 143 1091.11/1091.47 c 954s | 24 | 14816390 | 4489762 | 5930 1771 | 54 | 143 1093.12/1093.49 c 956s | 24 | 14844115 | 4498262 | 5930 1774 | 54 | 143 1095.11/1095.49 c 958s | 24 | 14872796 | 4506562 | 5930 1776 | 54 | 143 1097.20/1097.50 c 960s | 24 | 14898735 | 4514562 | 5930 1779 | 54 | 143 1099.20/1099.51 c 962s | 24 | 14927661 | 4523462 | 5930 1782 | 54 | 143 1101.20/1101.52 c 964s | 24 | 14958195 | 4532262 | 5930 1785 | 54 | 143 1103.20/1103.55 c 966s | 24 | 14986219 | 4540562 | 5930 1787 | 54 | 143 1105.31/1105.63 c 968s | 24 | 15015963 | 4548362 | 5930 1790 | 54 | 143 1107.30/1107.65 c 970s | 24 | 15044478 | 4557062 | 5930 1793 | 54 | 143 1109.30/1109.65 c 972s | 24 | 15072991 | 4565762 | 5930 1796 | 54 | 143 1111.30/1111.65 c 974s | 24 | 15104298 | 4574462 | 5930 1798 | 54 | 143 1113.30/1113.67 c 976s | 24 | 15130561 | 4582362 | 5930 1801 | 54 | 143 1115.30/1115.68 c 978s | 24 | 15160742 | 4591462 | 5930 1804 | 54 | 143 1117.31/1117.69 c 980s | 24 | 15187021 | 4599362 | 5930 1807 | 54 | 143 1119.40/1119.70 c 982s | 24 | 15219451 | 4608462 | 5930 1809 | 54 | 143 1121.40/1121.75 c 984s | 24 | 15247210 | 4616362 | 5930 1812 | 54 | 143 1123.40/1123.77 c 986s | 24 | 15279318 | 4625562 | 5930 1815 | 54 | 143 1125.50/1125.83 c 988s | 24 | 15309834 | 4634562 | 5930 1818 | 54 | 143 1127.49/1127.85 c 990s | 24 | 15343787 | 4643962 | 5930 1821 | 54 | 143 1129.50/1129.86 c 992s | 24 | 15371657 | 4652562 | 5930 1824 | 54 | 143 1131.49/1131.86 c 994s | 24 | 15400894 | 4661062 | 5930 1827 | 54 | 143 1133.49/1133.86 c 996s | 24 | 15436626 | 4670762 | 5930 1830 | 54 | 143 1135.49/1135.89 c 998s | 24 | 15466190 | 4679662 | 5930 1833 | 54 | 143 1137.59/1137.91 c 1000s | 24 | 15494279 | 4687762 | 5930 1835 | 54 | 143 1139.58/1139.96 c 1002s | 24 | 15522577 | 4696162 | 5930 1838 | 54 | 143 1141.59/1141.97 c 1004s | 24 | 15554071 | 4705362 | 5930 1841 | 54 | 143 1143.58/1143.98 c 1006s | 24 | 15583817 | 4713662 | 5930 1844 | 54 | 143 1145.58/1145.99 c 1008s | 24 | 15615590 | 4722562 | 5930 1847 | 54 | 143 1147.57/1147.99 c 1010s | 24 | 15644084 | 4730362 | 5930 1849 | 54 | 143 1149.67/1150.03 c 1012s | 24 | 15674319 | 4739162 | 5930 1852 | 54 | 143 1151.77/1152.11 c 1014s | 24 | 15705520 | 4748162 | 5930 1855 | 54 | 143 1153.77/1154.13 c 1016s | 24 | 15735310 | 4756862 | 5930 1858 | 54 | 143 1155.78/1156.15 c 1018s | 24 | 15764530 | 4765362 | 5930 1861 | 54 | 143 1157.78/1158.16 c 1020s | 24 | 15795824 | 4774062 | 5930 1863 | 54 | 143 1159.78/1160.17 c 1022s | 24 | 15822829 | 4782162 | 5930 1866 | 54 | 143 1161.78/1162.19 c 1024s | 24 | 15853670 | 4791262 | 5930 1869 | 54 | 143 1163.78/1164.19 c 1027s | 24 | 15883158 | 4800462 | 5930 1872 | 54 | 143 1165.87/1166.20 c 1029s | 24 | 15916790 | 4810162 | 5930 1875 | 54 | 143 1167.88/1168.21 c 1031s | 24 | 15945348 | 4818462 | 5930 1878 | 54 | 143 1169.87/1170.21 c 1033s | 24 | 15977727 | 4828162 | 5930 1881 | 54 | 143 1171.87/1172.22 c 1035s | 24 | 16010328 | 4837862 | 5930 1884 | 54 | 143 1173.87/1174.22 c 1037s | 24 | 16033787 | 4845262 | 5930 1887 | 54 | 143 1175.87/1176.23 c 1039s | 24 | 16063000 | 4854562 | 5930 1890 | 54 | 143 1177.87/1178.24 c 1041s | 24 | 16089110 | 4863062 | 5930 1892 | 54 | 143 1179.86/1180.26 c 1043s | 24 | 16116827 | 4871562 | 5930 1895 | 54 | 143 1181.86/1182.28 c 1045s | 24 | 16146526 | 4880562 | 5930 1898 | 54 | 143 1183.86/1184.29 c 1047s | 24 | 16176745 | 4889862 | 5930 1901 | 54 | 143 1185.96/1186.31 c 1049s | 24 | 16206939 | 4899262 | 5930 1904 | 54 | 143 1187.96/1188.33 c 1051s | 24 | 16231682 | 4906962 | 5930 1907 | 54 | 143 1189.97/1190.35 c 1053s | 24 | 16258903 | 4915262 | 5930 1910 | 54 | 143 1191.95/1192.37 c 1055s | 24 | 16290562 | 4924462 | 5930 1913 | 54 | 143 1193.95/1194.37 c 1057s | 24 | 16323536 | 4934362 | 5930 1916 | 54 | 143 1195.95/1196.37 c 1059s | 24 | 16350832 | 4943162 | 5930 1919 | 54 | 143 1197.95/1198.38 c 1061s | 24 | 16380091 | 4951762 | 5930 1921 | 54 | 143 1199.95/1200.39 c 1063s | 24 | 16410634 | 4960762 | 5930 1924 | 54 | 143 1201.96/1202.40 c 1065s | 24 | 16436592 | 4968462 | 5930 1927 | 54 | 143 1204.05/1204.41 c 1067s | 24 | 16466825 | 4977362 | 5930 1930 | 54 | 143 1206.05/1206.42 c 1069s | 24 | 16495688 | 4986362 | 5930 1933 | 54 | 143 1208.14/1208.52 c 1071s | 24 | 16524922 | 4995062 | 5930 1936 | 54 | 143 1210.15/1210.53 c 1073s | 24 | 16553484 | 5004262 | 5930 1939 | 54 | 143 1212.15/1212.53 c 1075s | 24 | 16585967 | 5013362 | 5930 1941 | 54 | 143 1214.16/1214.53 c 1077s | 24 | 16615834 | 5022062 | 5930 1944 | 54 | 143 1216.26/1216.62 c 1079s | 24 | 16644645 | 5030662 | 5930 1947 | 54 | 143 1218.24/1218.63 c 1081s | 24 | 16676035 | 5039762 | 5930 1950 | 54 | 143 1220.24/1220.64 c 1083s | 24 | 16707803 | 5048562 | 5930 1953 | 54 | 143 1222.24/1222.64 c 1085s | 24 | 16735273 | 5057062 | 5930 1956 | 54 | 143 1224.24/1224.66 c 1087s | 24 | 16760439 | 5064962 | 5930 1958 | 54 | 143 1224.24/1224.69 c 1087s | 25 | 16760863 | 5065098 | 5930 1958 | 54 | 143 1226.34/1226.71 c 1089s | 25 | 16789989 | 5074198 | 5930 1961 | 54 | 143 1228.35/1228.71 c 1091s | 25 | 16820055 | 5083098 | 5930 1964 | 54 | 143 1230.33/1230.73 c 1093s | 25 | 16851766 | 5092498 | 5930 1967 | 54 | 143 1232.33/1232.73 c 1095s | 25 | 16882450 | 5101498 | 5930 1970 | 54 | 143 1234.33/1234.75 c 1097s | 25 | 16916309 | 5110998 | 5930 1973 | 54 | 143 1236.33/1236.75 c 1099s | 25 | 16946011 | 5119998 | 5930 1976 | 54 | 143 1238.34/1238.77 c 1101s | 25 | 16978824 | 5128998 | 5930 1979 | 54 | 143 1240.33/1240.77 c 1103s | 25 | 17010458 | 5137798 | 5930 1982 | 54 | 143 1242.43/1242.82 c 1105s | 25 | 17040934 | 5146598 | 5930 1985 | 54 | 143 1244.43/1244.83 c 1107s | 25 | 17076717 | 5156398 | 5930 1988 | 54 | 143 1246.43/1246.83 c 1109s | 25 | 17108929 | 5165298 | 5930 1991 | 54 | 143 1248.43/1248.84 c 1111s | 25 | 17140839 | 5174798 | 5930 1994 | 54 | 143 1250.44/1250.86 c 1113s | 25 | 17169625 | 5183798 | 5930 1997 | 54 | 143 1252.43/1252.88 c 1115s | 25 | 17204361 | 5193498 | 5930 2000 | 54 | 143 1254.43/1254.89 c 1117s | 25 | 17229824 | 5201498 | 5930 2003 | 54 | 143 1256.52/1256.90 c 1119s | 25 | 17253024 | 5208498 | 5930 2005 | 54 | 143 1258.52/1258.92 c 1121s | 25 | 17284330 | 5218598 | 5930 2008 | 54 | 143 1260.52/1260.92 c 1123s | 25 | 17314923 | 5227698 | 5930 2011 | 54 | 143 1262.53/1262.93 c 1125s | 25 | 17344909 | 5237198 | 5930 2014 | 54 | 143 1264.52/1264.94 c 1127s | 25 | 17374947 | 5246798 | 5930 2018 | 54 | 143 1266.52/1266.94 c 1129s | 25 | 17404230 | 5256398 | 5930 2021 | 54 | 143 1268.52/1268.96 c 1131s | 25 | 17430754 | 5264198 | 5930 2023 | 54 | 143 1270.51/1270.97 c 1133s | 25 | 17461694 | 5273298 | 5930 2026 | 54 | 143 1272.51/1272.98 c 1135s | 25 | 17493199 | 5282298 | 5930 2029 | 54 | 143 1274.52/1274.99 c 1137s | 25 | 17524840 | 5291898 | 5930 2032 | 54 | 143 1276.61/1277.01 c 1139s | 25 | 17555752 | 5300698 | 5930 2035 | 54 | 143 1278.61/1279.02 c 1141s | 25 | 17585905 | 5309498 | 5930 2038 | 54 | 143 1280.61/1281.02 c 1143s | 25 | 17615786 | 5318698 | 5930 2041 | 54 | 143 1282.61/1283.04 c 1145s | 25 | 17645873 | 5328398 | 5930 2044 | 54 | 143 1284.61/1285.04 c 1147s | 25 | 17676924 | 5337998 | 5930 2047 | 54 | 143 1286.61/1287.05 c 1149s | 25 | 17704420 | 5347498 | 5930 2050 | 54 | 143 1288.60/1289.06 c 1151s | 25 | 17726313 | 5354198 | 5930 2053 | 54 | 143 1290.70/1291.10 c 1153s | 25 | 17756800 | 5363198 | 5930 2056 | 54 | 143 1292.71/1293.10 c 1155s | 25 | 17787047 | 5371898 | 5930 2058 | 54 | 143 1294.71/1295.11 c 1157s | 25 | 17818246 | 5381298 | 5930 2061 | 54 | 143 1296.70/1297.12 c 1159s | 25 | 17848582 | 5390398 | 5930 2064 | 54 | 143 1298.71/1299.14 c 1161s | 25 | 17875588 | 5398898 | 5930 2067 | 54 | 143 1300.70/1301.15 c 1163s | 25 | 17907287 | 5408698 | 5930 2070 | 54 | 143 1302.70/1303.16 c 1165s | 25 | 17938486 | 5417698 | 5930 2073 | 54 | 143 1304.70/1305.18 c 1167s | 25 | 17971567 | 5427498 | 5930 2076 | 54 | 143 1306.69/1307.18 c 1169s | 25 | 18002772 | 5437098 | 5930 2080 | 54 | 143 1308.70/1309.19 c 1171s | 25 | 18034392 | 5446998 | 5930 2083 | 54 | 143 1310.69/1311.19 c 1174s | 25 | 18065308 | 5456098 | 5930 2086 | 54 | 143 1312.79/1313.20 c 1176s | 25 | 18095083 | 5464898 | 5930 2089 | 54 | 143 1314.79/1315.21 c 1178s | 25 | 18130721 | 5474598 | 5930 2092 | 54 | 143 1316.79/1317.23 c 1180s | 25 | 18157845 | 5482798 | 5930 2095 | 54 | 143 1318.79/1319.24 c 1182s | 25 | 18188509 | 5492498 | 5930 2098 | 54 | 143 1320.80/1321.25 c 1184s | 25 | 18216027 | 5501298 | 5930 2101 | 54 | 143 1322.79/1323.27 c 1186s | 25 | 18248901 | 5510598 | 5930 2104 | 54 | 143 1324.78/1325.28 c 1188s | 25 | 18284714 | 5519898 | 5930 2107 | 54 | 143 1326.78/1327.29 c 1190s | 25 | 18313572 | 5528998 | 5930 2110 | 54 | 143 1328.78/1329.30 c 1192s | 25 | 18346746 | 5538498 | 5930 2113 | 54 | 143 1330.88/1331.31 c 1194s | 25 | 18379118 | 5547698 | 5930 2116 | 54 | 143 1332.89/1333.32 c 1196s | 25 | 18412497 | 5557298 | 5930 2119 | 54 | 143 1334.88/1335.39 c 1198s | 25 | 18449368 | 5566698 | 5930 2122 | 54 | 143 1336.98/1337.41 c 1200s | 25 | 18489856 | 5576898 | 5930 2125 | 54 | 143 1338.98/1339.43 c 1202s | 25 | 18527758 | 5587098 | 5930 2129 | 54 | 143 1340.98/1341.44 c 1204s | 25 | 18564378 | 5597198 | 5930 2132 | 54 | 143 1343.28/1343.74 c 1206s | 25 | 18597989 | 5606398 | 5930 2135 | 54 | 143 1345.28/1345.74 c 1208s | 25 | 18626004 | 5615398 | 5930 2138 | 54 | 143 1347.27/1347.76 c 1210s | 25 | 18656740 | 5624498 | 5930 2141 | 54 | 143 1349.28/1349.78 c 1212s | 25 | 18687323 | 5633698 | 5930 2144 | 54 | 143 1351.27/1351.79 c 1214s | 25 | 18721074 | 5642698 | 5930 2147 | 54 | 143 1353.37/1353.81 c 1216s | 25 | 18755111 | 5652298 | 5930 2150 | 54 | 143 1355.37/1355.83 c 1218s | 25 | 18786638 | 5661398 | 5930 2153 | 54 | 143 1357.36/1357.84 c 1220s | 25 | 18822656 | 5670798 | 5930 2156 | 54 | 143 1359.37/1359.85 c 1222s | 25 | 18861989 | 5680898 | 5930 2159 | 54 | 143 1361.38/1361.87 c 1224s | 25 | 18893446 | 5689498 | 5930 2162 | 54 | 143 1363.37/1363.89 c 1226s | 25 | 18927478 | 5698898 | 5930 2165 | 54 | 143 1365.47/1365.90 c 1228s | 25 | 18955308 | 5707098 | 5930 2168 | 54 | 143 1367.47/1367.91 c 1230s | 25 | 18984030 | 5716798 | 5930 2171 | 54 | 143 1369.46/1369.95 c 1232s | 25 | 19013936 | 5725598 | 5930 2174 | 54 | 143 1371.46/1371.96 c 1234s | 25 | 19047009 | 5734698 | 5930 2177 | 54 | 143 1373.47/1373.97 c 1236s | 25 | 19081441 | 5744198 | 5930 2180 | 54 | 143 1375.46/1375.97 c 1238s | 25 | 19113987 | 5753498 | 5930 2183 | 54 | 143 1377.56/1378.02 c 1240s | 25 | 19142108 | 5761898 | 5930 2186 | 54 | 143 1379.56/1380.03 c 1242s | 25 | 19169535 | 5770298 | 5930 2188 | 54 | 143 1381.56/1382.04 c 1244s | 25 | 19202430 | 5779298 | 5930 2191 | 54 | 143 1383.56/1384.06 c 1246s | 25 | 19238447 | 5788698 | 5930 2194 | 54 | 143 1385.57/1386.07 c 1248s | 25 | 19264131 | 5796098 | 5930 2197 | 54 | 143 1387.56/1388.09 c 1250s | 25 | 19288491 | 5805598 | 5930 2200 | 54 | 143 1389.66/1390.10 c 1252s | 25 | 19318898 | 5815198 | 5930 2203 | 54 | 143 1391.66/1392.12 c 1254s | 25 | 19345752 | 5823598 | 5930 2206 | 54 | 143 1393.66/1394.13 c 1256s | 25 | 19374928 | 5833298 | 5930 2209 | 54 | 143 1395.66/1396.14 c 1258s | 25 | 19402953 | 5842798 | 5930 2212 | 54 | 143 1397.67/1398.15 c 1260s | 25 | 19432285 | 5852098 | 5930 2215 | 54 | 143 1399.66/1400.15 c 1262s | 25 | 19462030 | 5861598 | 5930 2218 | 54 | 143 1401.66/1402.17 c 1264s | 25 | 19490512 | 5870498 | 5930 2221 | 54 | 143 1403.66/1404.19 c 1267s | 25 | 19521946 | 5880398 | 5930 2224 | 54 | 143 1405.76/1406.20 c 1269s | 25 | 19551158 | 5889498 | 5930 2227 | 54 | 143 1407.76/1408.21 c 1271s | 25 | 19578272 | 5897798 | 5930 2230 | 54 | 143 1409.77/1410.21 c 1273s | 25 | 19607503 | 5907298 | 5930 2233 | 54 | 143 1411.76/1412.21 c 1275s | 25 | 19640870 | 5916898 | 5930 2236 | 54 | 143 1413.76/1414.21 c 1277s | 25 | 19666008 | 5925598 | 5930 2239 | 54 | 143 1415.76/1416.23 c 1279s | 25 | 19694159 | 5935198 | 5930 2242 | 54 | 143 1417.76/1418.23 c 1281s | 25 | 19725402 | 5944898 | 5930 2245 | 54 | 143 1419.77/1420.25 c 1283s | 25 | 19753280 | 5954198 | 5930 2248 | 54 | 143 1421.75/1422.25 c 1285s | 25 | 19780967 | 5962998 | 5930 2251 | 54 | 143 1423.75/1424.27 c 1287s | 25 | 19809832 | 5972498 | 5930 2254 | 54 | 143 1425.75/1426.28 c 1289s | 25 | 19839299 | 5981698 | 5930 2257 | 54 | 143 1427.76/1428.29 c 1291s | 25 | 19868219 | 5990498 | 5930 2260 | 54 | 143 1429.76/1430.29 c 1293s | 25 | 19898111 | 6000298 | 5930 2263 | 54 | 143 1431.77/1432.29 c 1295s | 25 | 19926927 | 6009598 | 5930 2266 | 54 | 143 1433.86/1434.31 c 1297s | 25 | 19956144 | 6019198 | 5930 2269 | 54 | 143 1435.86/1436.32 c 1299s | 25 | 19983463 | 6028298 | 5930 2272 | 54 | 143 1437.86/1438.34 c 1301s | 25 | 20011501 | 6037298 | 5930 2275 | 54 | 143 1439.86/1440.35 c 1303s | 25 | 20040368 | 6045898 | 5930 2278 | 54 | 143 1441.85/1442.36 c 1305s | 25 | 20067022 | 6053998 | 5930 2281 | 54 | 143 1443.86/1444.37 c 1307s | 25 | 20098242 | 6063198 | 5930 2284 | 54 | 143 1445.85/1446.39 c 1309s | 25 | 20125340 | 6072098 | 5930 2287 | 54 | 143 1447.85/1448.39 c 1311s | 25 | 20154903 | 6080698 | 5930 2289 | 54 | 143 1449.95/1450.40 c 1313s | 25 | 20183491 | 6089698 | 5930 2292 | 54 | 143 1451.95/1452.41 c 1315s | 25 | 20213411 | 6098598 | 5930 2295 | 54 | 143 1453.95/1454.41 c 1317s | 25 | 20244031 | 6107298 | 5930 2298 | 54 | 143 1455.96/1456.43 c 1319s | 25 | 20273952 | 6115798 | 5930 2301 | 54 | 143 1457.95/1458.45 c 1321s | 25 | 20306057 | 6125398 | 5930 2304 | 54 | 143 1459.95/1460.46 c 1323s | 25 | 20335769 | 6133898 | 5930 2307 | 54 | 143 1461.95/1462.48 c 1325s | 25 | 20367797 | 6143498 | 5930 2310 | 54 | 143 1463.95/1464.49 c 1327s | 25 | 20396195 | 6151998 | 5930 2313 | 54 | 143 1466.05/1466.51 c 1329s | 25 | 20426047 | 6161198 | 5930 2316 | 54 | 143 1468.05/1468.52 c 1331s | 25 | 20453703 | 6169298 | 5930 2318 | 54 | 143 1470.04/1470.54 c 1333s | 25 | 20484371 | 6178298 | 5930 2321 | 54 | 143 1472.04/1472.54 c 1335s | 25 | 20516297 | 6187598 | 5930 2324 | 54 | 143 1474.04/1474.57 c 1337s | 25 | 20547371 | 6196498 | 5930 2327 | 54 | 143 1476.04/1476.57 c 1339s | 25 | 20572921 | 6204498 | 5930 2330 | 54 | 143 1478.14/1478.60 c 1341s | 25 | 20602009 | 6213698 | 5930 2333 | 54 | 143 1480.15/1480.62 c 1343s | 25 | 20630521 | 6221998 | 5930 2336 | 54 | 143 1482.14/1482.64 c 1345s | 25 | 20661467 | 6231198 | 5930 2339 | 54 | 143 1484.14/1484.65 c 1347s | 25 | 20688689 | 6239598 | 5930 2341 | 54 | 143 1486.15/1486.66 c 1349s | 25 | 20718336 | 6248698 | 5930 2344 | 54 | 143 1488.15/1488.66 c 1351s | 25 | 20742725 | 6255998 | 5930 2347 | 54 | 143 1490.16/1490.68 c 1353s | 25 | 20774382 | 6264998 | 5930 2350 | 54 | 143 1492.14/1492.68 c 1355s | 25 | 20801092 | 6273598 | 5930 2352 | 54 | 143 1494.24/1494.70 c 1357s | 25 | 20830883 | 6282998 | 5930 2355 | 54 | 143 1496.24/1496.70 c 1359s | 25 | 20856388 | 6290498 | 5930 2358 | 54 | 143 1498.24/1498.70 c 1361s | 25 | 20888025 | 6299898 | 5930 2361 | 54 | 143 1500.24/1500.72 c 1363s | 25 | 20915764 | 6309198 | 5930 2364 | 54 | 143 1502.34/1502.81 c 1365s | 25 | 20942453 | 6317598 | 5930 2367 | 54 | 143 1504.35/1504.81 c 1367s | 25 | 20971044 | 6326298 | 5930 2370 | 54 | 143 1506.34/1506.83 c 1369s | 25 | 21001521 | 6335298 | 5930 2372 | 54 | 143 1508.34/1508.84 c 1371s | 25 | 21031242 | 6344098 | 5930 2375 | 54 | 143 1510.34/1510.85 c 1373s | 25 | 21060478 | 6352998 | 5930 2378 | 54 | 143 1512.34/1512.85 c 1375s | 25 | 21086046 | 6361298 | 5930 2381 | 54 | 143 1514.35/1514.85 c 1377s | 25 | 21117175 | 6370798 | 5930 2384 | 54 | 143 1516.34/1516.87 c 1379s | 25 | 21146121 | 6380598 | 5930 2387 | 54 | 143 1518.34/1518.88 c 1381s | 25 | 21177840 | 6390198 | 5930 2390 | 54 | 143 1520.54/1521.00 c 1383s | 25 | 21207435 | 6399698 | 5930 2393 | 54 | 143 1522.54/1523.01 c 1385s | 25 | 21232934 | 6407898 | 5930 2396 | 54 | 143 1524.54/1525.02 c 1387s | 25 | 21263925 | 6417098 | 5930 2399 | 54 | 143 1526.54/1527.02 c 1389s | 25 | 21296417 | 6426498 | 5930 2402 | 54 | 143 1528.55/1529.02 c 1391s | 25 | 21326402 | 6435398 | 5930 2405 | 54 | 143 1530.54/1531.03 c 1393s | 25 | 21354677 | 6443998 | 5930 2408 | 54 | 143 1532.54/1533.05 c 1395s | 25 | 21386604 | 6453398 | 5930 2411 | 54 | 143 1534.54/1535.07 c 1397s | 25 | 21418632 | 6462698 | 5930 2414 | 54 | 143 1536.54/1537.07 c 1399s | 25 | 21444066 | 6471198 | 5930 2417 | 54 | 143 1538.55/1539.09 c 1401s | 25 | 21467663 | 6479698 | 5930 2420 | 54 | 143 1540.54/1541.10 c 1403s | 25 | 21499407 | 6489398 | 5930 2423 | 54 | 143 1542.64/1543.12 c 1405s | 25 | 21525403 | 6497798 | 5930 2425 | 54 | 143 1544.64/1545.12 c 1407s | 25 | 21553999 | 6507598 | 5930 2429 | 54 | 143 1546.63/1547.17 c 1409s | 25 | 21582367 | 6516698 | 5930 2432 | 54 | 143 1548.63/1549.18 c 1411s | 25 | 21610553 | 6525998 | 5930 2435 | 54 | 143 1550.73/1551.20 c 1414s | 25 | 21638023 | 6534798 | 5930 2438 | 54 | 143 1552.74/1553.21 c 1416s | 25 | 21666371 | 6543698 | 5930 2440 | 54 | 143 1554.73/1555.22 c 1418s | 25 | 21694079 | 6552898 | 5930 2443 | 54 | 143 1556.73/1557.23 c 1420s | 25 | 21723203 | 6561998 | 5930 2446 | 54 | 143 1558.73/1559.24 c 1422s | 25 | 21752731 | 6571198 | 5930 2449 | 54 | 143 1560.73/1561.26 c 1424s | 25 | 21781114 | 6580298 | 5930 2452 | 54 | 143 1562.74/1563.26 c 1426s | 25 | 21808196 | 6589498 | 5930 2455 | 54 | 143 1564.73/1565.27 c 1428s | 25 | 21831217 | 6597998 | 5930 2458 | 54 | 143 1566.73/1567.28 c 1430s | 25 | 21856363 | 6606398 | 5930 2461 | 54 | 143 1568.73/1569.28 c 1432s | 25 | 21885057 | 6615198 | 5930 2464 | 54 | 143 1570.73/1571.29 c 1434s | 25 | 21914142 | 6624698 | 5930 2467 | 54 | 143 1572.83/1573.30 c 1436s | 25 | 21946444 | 6634898 | 5930 2470 | 54 | 143 1574.84/1575.31 c 1438s | 25 | 21973762 | 6642998 | 5930 2473 | 54 | 143 1576.83/1577.33 c 1440s | 25 | 22003887 | 6653598 | 5930 2476 | 54 | 143 1578.83/1579.35 c 1442s | 25 | 22028783 | 6661598 | 5930 2479 | 54 | 143 1580.83/1581.36 c 1444s | 25 | 22059412 | 6670498 | 5930 2482 | 54 | 143 1582.83/1583.37 c 1446s | 25 | 22092764 | 6679998 | 5930 2485 | 54 | 143 1584.93/1585.40 c 1448s | 25 | 22121488 | 6688698 | 5930 2488 | 54 | 143 1586.94/1587.42 c 1450s | 25 | 22154438 | 6698498 | 5930 2491 | 54 | 143 1588.93/1589.43 c 1452s | 25 | 22186988 | 6707698 | 5930 2494 | 54 | 143 1590.93/1591.43 c 1454s | 25 | 22219720 | 6716798 | 5930 2497 | 54 | 143 1592.93/1593.47 c 1456s | 25 | 22246153 | 6724898 | 5930 2500 | 54 | 143 1594.93/1595.48 c 1458s | 25 | 22279881 | 6734798 | 5930 2503 | 54 | 143 1596.93/1597.49 c 1460s | 25 | 22311540 | 6743798 | 5930 2506 | 54 | 143 1599.03/1599.52 c 1462s | 25 | 22340279 | 6752798 | 5930 2509 | 54 | 143 1601.02/1601.54 c 1464s | 25 | 22370947 | 6761698 | 5930 2512 | 54 | 143 1603.03/1603.55 c 1466s | 25 | 22399384 | 6770298 | 6524 2514 | 54 | 143 1605.03/1605.55 c 1468s | 25 | 22426565 | 6778798 | 6524 2517 | 54 | 143 1607.03/1607.57 c 1470s | 25 | 22456087 | 6787798 | 6524 2519 | 54 | 143 1609.03/1609.59 c 1472s | 25 | 22484353 | 6795798 | 6524 2522 | 54 | 143 1611.14/1611.61 c 1474s | 25 | 22515705 | 6804798 | 6524 2524 | 54 | 143 1613.13/1613.63 c 1476s | 25 | 22547135 | 6814198 | 6524 2527 | 54 | 143 1615.13/1615.65 c 1478s | 25 | 22571885 | 6822198 | 6524 2529 | 54 | 143 1617.13/1617.66 c 1480s | 25 | 22600297 | 6830498 | 6524 2532 | 54 | 143 1619.12/1619.66 c 1482s | 25 | 22630380 | 6839398 | 6524 2535 | 54 | 143 1621.12/1621.67 c 1484s | 25 | 22659677 | 6848298 | 6524 2537 | 54 | 143 1623.13/1623.67 c 1486s | 25 | 22688366 | 6856798 | 6524 2540 | 54 | 143 1625.12/1625.68 c 1488s | 25 | 22714947 | 6864898 | 6524 2542 | 54 | 143 1627.12/1627.69 c 1490s | 25 | 22746633 | 6874098 | 6524 2545 | 54 | 143 1629.22/1629.70 c 1492s | 25 | 22773496 | 6881898 | 6524 2547 | 54 | 143 1631.22/1631.72 c 1494s | 25 | 22801451 | 6890998 | 6524 2550 | 54 | 143 1633.22/1633.74 c 1496s | 25 | 22831418 | 6900498 | 6524 2553 | 54 | 143 1635.23/1635.74 c 1498s | 25 | 22860080 | 6909498 | 6524 2555 | 54 | 143 1637.22/1637.75 c 1500s | 25 | 22883602 | 6916898 | 6524 2558 | 54 | 143 1639.23/1639.77 c 1502s | 25 | 22916624 | 6926098 | 6524 2560 | 54 | 143 1641.32/1641.87 c 1504s | 25 | 22948274 | 6935598 | 6524 2563 | 54 | 143 1643.32/1643.89 c 1506s | 25 | 22974140 | 6944998 | 6524 2566 | 54 | 143 1645.42/1645.90 c 1508s | 25 | 23002405 | 6954598 | 6524 2569 | 54 | 143 1647.43/1647.91 c 1510s | 25 | 23030371 | 6964598 | 6524 2572 | 54 | 143 1649.42/1649.92 c 1512s | 25 | 23055147 | 6972998 | 6524 2574 | 54 | 143 1651.42/1651.93 c 1514s | 25 | 23080359 | 6981998 | 6524 2577 | 54 | 143 1653.42/1653.93 c 1516s | 25 | 23106789 | 6990998 | 6524 2580 | 54 | 143 1655.42/1655.94 c 1518s | 25 | 23135094 | 7000598 | 6524 2582 | 54 | 143 1657.42/1657.94 c 1520s | 25 | 23161403 | 7009198 | 6524 2585 | 54 | 143 1659.43/1659.95 c 1522s | 25 | 23186272 | 7017298 | 6524 2587 | 54 | 143 1661.41/1661.97 c 1524s | 25 | 23212171 | 7025498 | 6524 2590 | 54 | 143 1663.41/1663.98 c 1526s | 25 | 23241873 | 7034398 | 6524 2593 | 54 | 143 1665.42/1665.99 c 1528s | 25 | 23271702 | 7043198 | 6524 2595 | 54 | 143 1667.52/1668.01 c 1530s | 25 | 23300678 | 7052598 | 6524 2598 | 54 | 143 1669.52/1670.01 c 1532s | 25 | 23327599 | 7061298 | 6524 2601 | 54 | 143 1671.53/1672.03 c 1534s | 25 | 23358053 | 7070898 | 6524 2603 | 54 | 143 1673.52/1674.04 c 1536s | 25 | 23382752 | 7078698 | 6524 2606 | 54 | 143 1675.52/1676.06 c 1538s | 25 | 23410491 | 7086998 | 6524 2608 | 54 | 143 1677.52/1678.07 c 1540s | 25 | 23439708 | 7096498 | 6524 2611 | 54 | 143 1679.51/1680.08 c 1542s | 25 | 23463814 | 7105598 | 6524 2614 | 54 | 143 1681.61/1682.10 c 1544s | 25 | 23494108 | 7114998 | 6524 2616 | 54 | 143 1683.62/1684.11 c 1546s | 25 | 23524327 | 7123998 | 6524 2619 | 54 | 143 1685.61/1686.12 c 1548s | 25 | 23554380 | 7133798 | 6524 2622 | 54 | 143 1687.61/1688.12 c 1550s | 25 | 23584781 | 7143298 | 6524 2625 | 54 | 143 1689.61/1690.13 c 1552s | 25 | 23607001 | 7150698 | 6524 2627 | 54 | 143 1691.61/1692.14 c 1554s | 25 | 23637180 | 7159998 | 6524 2630 | 54 | 143 1693.62/1694.15 c 1556s | 25 | 23666781 | 7169098 | 6524 2633 | 54 | 143 1695.61/1696.16 c 1558s | 25 | 23696165 | 7177998 | 6524 2635 | 54 | 143 1697.62/1698.16 c 1560s | 25 | 23723439 | 7186498 | 6524 2638 | 54 | 143 1699.61/1700.17 c 1562s | 25 | 23751041 | 7195398 | 6524 2640 | 54 | 143 1701.61/1702.18 c 1564s | 25 | 23781389 | 7204498 | 6524 2643 | 54 | 143 1703.61/1704.19 c 1567s | 25 | 23812225 | 7213498 | 6524 2646 | 54 | 143 1705.62/1706.20 c 1569s | 25 | 23841325 | 7222498 | 6524 2648 | 54 | 143 1707.71/1708.22 c 1571s | 25 | 23869378 | 7231298 | 6524 2651 | 54 | 143 1709.71/1710.23 c 1573s | 25 | 23895096 | 7238998 | 6524 2653 | 54 | 143 1711.71/1712.24 c 1575s | 25 | 23920783 | 7247798 | 6524 2656 | 54 | 143 1713.71/1714.25 c 1577s | 25 | 23948200 | 7256098 | 6524 2658 | 54 | 143 1715.71/1716.26 c 1579s | 25 | 23973760 | 7264298 | 6524 2661 | 54 | 143 1717.72/1718.28 c 1581s | 25 | 24002773 | 7272898 | 6524 2663 | 54 | 143 1719.81/1720.30 c 1583s | 25 | 24031016 | 7281798 | 6524 2666 | 54 | 143 1721.81/1722.31 c 1585s | 25 | 24057522 | 7290198 | 6524 2669 | 54 | 143 1723.81/1724.33 c 1587s | 25 | 24086622 | 7299398 | 6524 2671 | 54 | 143 1725.80/1726.33 c 1589s | 25 | 24110488 | 7306898 | 6524 2674 | 54 | 143 1727.91/1728.44 c 1591s | 25 | 24140484 | 7315998 | 6524 2676 | 54 | 143 1729.92/1730.44 c 1593s | 25 | 24171040 | 7325598 | 6524 2679 | 54 | 143 1731.91/1732.44 c 1595s | 25 | 24196583 | 7334298 | 6524 2682 | 54 | 143 1733.91/1734.45 c 1597s | 25 | 24224628 | 7343298 | 6524 2684 | 54 | 143 1735.91/1736.47 c 1599s | 25 | 24249176 | 7350398 | 6524 2686 | 54 | 143 1737.91/1738.48 c 1601s | 25 | 24276974 | 7358398 | 6524 2689 | 54 | 143 1740.01/1740.50 c 1603s | 25 | 24309635 | 7367298 | 6524 2692 | 54 | 143 1741.91/1742.51 c 1605s | 25 | 24339848 | 7375798 | 6524 2694 | 54 | 143 1744.00/1744.52 c 1607s | 25 | 24371702 | 7384898 | 6524 2697 | 54 | 143 1746.00/1746.53 c 1609s | 25 | 24400543 | 7392998 | 6524 2699 | 54 | 143 1748.10/1748.61 c 1611s | 25 | 24427673 | 7400898 | 6524 2701 | 54 | 143 1750.10/1750.62 c 1613s | 25 | 24460744 | 7410498 | 6524 2704 | 54 | 143 1752.10/1752.63 c 1615s | 25 | 24488045 | 7418598 | 6524 2707 | 54 | 143 1754.12/1754.64 c 1617s | 25 | 24523014 | 7427798 | 6524 2709 | 54 | 143 1756.11/1756.66 c 1619s | 25 | 24556289 | 7437098 | 6524 2712 | 54 | 143 1758.11/1758.66 c 1621s | 25 | 24586753 | 7446398 | 6524 2715 | 54 | 143 1760.11/1760.66 c 1623s | 25 | 24622084 | 7455698 | 6524 2718 | 54 | 143 1762.11/1762.67 c 1625s | 25 | 24652544 | 7464198 | 6524 2720 | 54 | 143 1764.11/1764.68 c 1627s | 25 | 24680569 | 7472698 | 6524 2723 | 54 | 143 1766.11/1766.69 c 1629s | 25 | 24702835 | 7479998 | 6524 2725 | 54 | 143 1768.10/1768.70 c 1631s | 25 | 24734894 | 7488798 | 6524 2728 | 54 | 143 1770.20/1770.70 c 1633s | 25 | 24765896 | 7497498 | 6524 2730 | 54 | 143 1772.20/1772.71 c 1635s | 25 | 24795469 | 7505798 | 6524 2733 | 54 | 143 1774.20/1774.72 c 1637s | 25 | 24822764 | 7514198 | 6524 2735 | 54 | 143 1776.20/1776.72 c 1639s | 25 | 24849900 | 7522998 | 6524 2738 | 54 | 143 1778.21/1778.73 c 1641s | 25 | 24878222 | 7532098 | 6524 2740 | 54 | 143 1780.20/1780.74 c 1643s | 25 | 24907961 | 7541298 | 6524 2743 | 54 | 143 1782.20/1782.75 c 1645s | 25 | 24934887 | 7549298 | 6524 2746 | 54 | 143 1784.19/1784.78 c 1647s | 25 | 24964323 | 7557798 | 6524 2748 | 54 | 143 1786.19/1786.78 c 1649s | 25 | 24989191 | 7565598 | 6524 2750 | 54 | 143 1788.29/1788.82 c 1651s | 25 | 25016093 | 7574398 | 6524 2753 | 54 | 143 1790.30/1790.84 c 1653s | 25 | 25043703 | 7583098 | 6524 2756 | 54 | 143 1792.29/1792.84 c 1655s | 25 | 25070217 | 7591598 | 6524 2758 | 54 | 143 1793.60/1794.15 c 1656s | 26 | 25091242 | 7597752 | 6524 2760 | 54 | 143 1795.59/1796.15 c 1658s | 26 | 25119549 | 7605752 | 6524 2762 | 54 | 143 1797.59/1798.16 c 1660s | 26 | 25152839 | 7615252 | 6524 2765 | 54 | 143 1799.59/1800.17 c 1662s | 26 | 25183756 | 7623552 | 6524 2768 | 54 | 143
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-4079484-1465232083/watcher-4079484-1465232083 -o /tmp/evaluation-result-4079484-1465232083/solver-4079484-1465232083 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079484-1465232083.opb pid=30662 running on 8 cores: 0-3,8-11 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.02 2.10 2.08 3/261 30665 /proc/meminfo: memFree=30934808/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1081788 CPUtime=0 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 4103 0 0 0 0 0 0 0 20 0 4 0 105050318 1107750912 3952 33554432000 4194304 16246674 140734348948960 140734348948384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 270959 3960 441 2943 0 267853 0 [pid=30665/tid=30666] ppid=30662 vsize=1103292 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1129771008 4036 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1107388 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1133965312 4052 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1112508 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105050318 1139208192 4072 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 [startup+0.100212 s] /proc/loadavg: 2.02 2.10 2.08 3/261 30665 /proc/meminfo: memFree=30934808/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1220164 CPUtime=0.09 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 23655 0 0 0 6 3 0 0 20 0 4 0 105050318 1249447936 23469 33554432000 4194304 16246674 140734348948960 140734348931728 5530824 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 305041 23469 837 2943 0 301935 0 [pid=30665/tid=30666] ppid=30662 vsize=1220164 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1249447936 23469 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1220164 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1249447936 23469 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1220164 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1249447936 23469 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200505 s] /proc/loadavg: 2.02 2.10 2.08 3/261 30665 /proc/meminfo: memFree=30934808/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1305156 CPUtime=0.19 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 41130 0 0 0 14 5 0 0 20 0 4 0 105050318 1336479744 40945 33554432000 4194304 16246674 140734348948960 140734348931728 6021133 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 326289 40954 840 2943 0 323183 0 [pid=30665/tid=30666] ppid=30662 vsize=1305156 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1336479744 40957 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1305156 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1336479744 40960 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1305156 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1336479744 40966 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1305156 [startup+0.300472 s] /proc/loadavg: 2.02 2.10 2.08 3/261 30665 /proc/meminfo: memFree=30934808/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1305156 CPUtime=0.29 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 47016 0 0 0 23 6 0 0 20 0 4 0 105050318 1336479744 46830 33554432000 4194304 16246674 140734348948960 140734348931728 13954518 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 326289 46836 840 2943 0 323183 0 [pid=30665/tid=30666] ppid=30662 vsize=1305156 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1336479744 46839 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1305156 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1336479744 46848 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1305156 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1336479744 46852 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1305156 [startup+0.700391 s] /proc/loadavg: 2.02 2.10 2.08 3/261 30665 /proc/meminfo: memFree=30934808/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1307204 CPUtime=0.69 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 109469 0 0 0 55 14 0 0 20 0 4 0 105050318 1338576896 109283 33554432000 4194304 16246674 140734348948960 140734348931952 6021684 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 326801 109283 846 2943 0 323695 0 [pid=30665/tid=30666] ppid=30662 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1338576896 109283 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1338576896 109283 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1338576896 109283 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.50039 s] /proc/loadavg: 2.02 2.10 2.08 3/265 30669 /proc/meminfo: memFree=30493608/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1307204 CPUtime=1.49 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 175675 0 0 0 126 23 0 0 20 0 4 0 105050318 1338576896 175489 33554432000 4194304 16246674 140734348948960 140734348930880 5664948 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 326801 175496 846 2943 0 323695 0 [pid=30665/tid=30666] ppid=30662 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1338576896 175499 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1338576896 175504 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1338576896 175511 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.1004 s] /proc/loadavg: 2.18 2.13 2.09 3/265 30669 /proc/meminfo: memFree=29863688/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1307204 CPUtime=3.09 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 267892 0 0 0 273 36 0 0 20 0 4 0 105050318 1338576896 267706 33554432000 4194304 16246674 140734348948960 140734348931960 5598711 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 326801 267706 846 2943 0 323695 0 [pid=30665/tid=30666] ppid=30662 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1338576896 267706 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1338576896 267706 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1338576896 267706 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30041 s] /proc/loadavg: 2.18 2.13 2.09 3/265 30669 /proc/meminfo: memFree=29863816/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1308228 CPUtime=6.29 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 268145 0 0 0 593 36 0 0 20 0 4 0 105050318 1339625472 267959 33554432000 4194304 16246674 140734348948960 140734348930880 13962576 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 327057 267959 846 2943 0 323951 0 [pid=30665/tid=30666] ppid=30662 vsize=1308228 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1339625472 267959 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1308228 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1339625472 267959 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1308228 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1339625472 267959 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.15 2.13 2.09 3/265 30669 /proc/meminfo: memFree=29862716/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1308228 CPUtime=12.69 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 268148 0 0 0 1232 37 0 0 20 0 4 0 105050318 1339625472 267962 33554432000 4194304 16246674 140734348948960 140734348931960 5598492 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 327057 267962 846 2943 0 323951 0 [pid=30665/tid=30666] ppid=30662 vsize=1308228 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1339625472 267962 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1308228 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1339625472 267962 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1308228 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1339625472 267962 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.13 2.12 2.08 3/265 30669 /proc/meminfo: memFree=29848508/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1322564 CPUtime=25.49 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 271735 0 0 0 2511 38 0 0 20 0 4 0 105050318 1354305536 271549 33554432000 4194304 16246674 140734348948960 140734348931960 5754801 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 330641 271549 846 2943 0 327535 0 [pid=30665/tid=30666] ppid=30662 vsize=1322564 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1354305536 271549 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1322564 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1354305536 271549 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1322564 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1354305536 271549 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 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.14 2.09 3/265 30669 /proc/meminfo: memFree=29847116/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1322564 CPUtime=51.08 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 271737 0 0 0 5070 38 0 0 20 0 4 0 105050318 1354305536 271551 33554432000 4194304 16246674 140734348948960 140734348931960 5827824 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 330641 271551 848 2943 0 327535 0 [pid=30665/tid=30666] ppid=30662 vsize=1322564 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1354305536 271551 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1322564 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1354305536 271551 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1322564 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1354305536 271551 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1322564 [startup+102.301 s] /proc/loadavg: 2.17 2.15 2.09 3/265 30670 /proc/meminfo: memFree=29844296/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1324612 CPUtime=102.28 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 272250 0 0 0 10189 39 0 0 20 0 4 0 105050318 1356402688 272064 33554432000 4194304 16246674 140734348948960 140734348930880 6022948 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 331153 272064 849 2943 0 328047 0 [pid=30665/tid=30666] ppid=30662 vsize=1324612 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1356402688 272064 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1324612 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1356402688 272064 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1324612 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1356402688 272064 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1324612 ################ # More data... # ################ /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1325636 [startup+1302.3 s] /proc/loadavg: 2.03 2.05 2.06 3/265 30724 /proc/meminfo: memFree=29829784/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1325636 CPUtime=1301.9 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 272820 0 0 0 130121 69 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140734348931960 12477798 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 331409 272577 849 2943 0 328303 0 [pid=30665/tid=30666] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1325636 [startup+1362.3 s] /proc/loadavg: 2.01 2.04 2.05 3/265 30726 /proc/meminfo: memFree=29829572/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1325636 CPUtime=1361.87 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 272851 0 0 0 136116 71 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140734348931960 5672188 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 331409 272577 849 2943 0 328303 0 [pid=30665/tid=30666] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1325636 [startup+1422.3 s] /proc/loadavg: 2.08 2.04 2.05 3/265 30727 /proc/meminfo: memFree=29829416/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1325636 CPUtime=1421.86 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 272856 0 0 0 142114 72 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140734348930880 13943664 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 331409 272577 849 2943 0 328303 0 [pid=30665/tid=30666] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1325636 [startup+1482.3 s] /proc/loadavg: 2.08 2.05 2.05 3/265 30728 /proc/meminfo: memFree=29829392/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1325636 CPUtime=1481.84 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 272856 0 0 0 148111 73 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140734348931960 5822484 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 331409 272577 849 2943 0 328303 0 [pid=30665/tid=30666] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1325636 [startup+1542.31 s] /proc/loadavg: 2.10 2.05 2.05 3/266 30732 /proc/meminfo: memFree=29829736/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1325636 CPUtime=1541.85 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 272856 0 0 0 154110 75 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140734348930880 5724764 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 331409 272577 849 2943 0 328303 0 [pid=30665/tid=30666] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1325636 [startup+1602.3 s] /proc/loadavg: 2.12 2.06 2.05 3/265 30733 /proc/meminfo: memFree=29829552/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1325636 CPUtime=1601.82 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 272856 0 0 0 160106 76 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140734348930880 5711342 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 331409 272577 849 2943 0 328303 0 [pid=30665/tid=30666] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1325636 [startup+1662.3 s] /proc/loadavg: 2.10 2.07 2.06 3/265 30735 /proc/meminfo: memFree=29829560/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1325636 CPUtime=1661.81 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 272856 0 0 0 166103 78 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140734348948136 12483481 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 331409 272577 849 2943 0 328303 0 [pid=30665/tid=30666] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1325636 [startup+1722.3 s] /proc/loadavg: 2.11 2.07 2.06 3/265 30736 /proc/meminfo: memFree=29829176/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1325636 CPUtime=1721.81 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 272856 0 0 0 172101 80 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140734348930880 5754796 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 331409 272577 849 2943 0 328303 0 [pid=30665/tid=30666] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1325636 [startup+1782.3 s] /proc/loadavg: 2.12 2.09 2.06 3/265 30786 /proc/meminfo: memFree=29826064/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1325636 CPUtime=1781.8 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 272856 0 0 0 178098 82 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140734348931960 13943600 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 331409 272577 849 2943 0 328303 0 [pid=30665/tid=30666] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1325636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.09 2.08 2.06 3/265 30786 /proc/meminfo: memFree=29817388/32872528 swapFree=9196/9196 [pid=30665] ppid=30662 vsize=1325636 CPUtime=1800.09 cores=0-3,8-11 /proc/30665/stat : 30665 (toysat) R 30662 30665 25889 0 -1 4202496 272856 0 0 0 179927 82 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140734348931960 4220897 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/30665/statm: 331409 272577 849 2943 0 328303 0 [pid=30665/tid=30666] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30666/stat : 30666 (toysat) S 30662 30665 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667679386864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=30665/tid=30667] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30667/stat : 30667 (toysat) S 30662 30665 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667668897008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=30665/tid=30668] ppid=30662 vsize=1325636 CPUtime=0 cores=0-3,8-11 /proc/30665/task/30668/stat : 30668 (toysat) S 30662 30665 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105050318 1357451264 272577 33554432000 4194304 16246674 140734348948960 140667658423472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1325636 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 30665 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.11 CPU user time (s): 1799.28 CPU system time (s): 0.829873 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 1325636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.28 system time used= 0.829873 maximum resident set size= 1090308 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272856 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= 390 involuntary context switches= 1871 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.69998 second user time and 9.79451 second system time The end
Begin job on node132 at 2016-06-06 18:54:43 IDJOB=4079484 IDBENCH=2053 IDSOLVER=2542 FILE ID=node132/4079484-1465232083 RUNJOBID= node132-1465216787-25905 PBS_JOBID= 19843203 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-e64.b.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079484-1465232083/watcher-4079484-1465232083 -o /tmp/evaluation-result-4079484-1465232083/solver-4079484-1465232083 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079484-1465232083.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 4a444f89cff56050e88660d23e3d8694 RANDOM SEED=1118308988 node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.41 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 30935592 kB Buffers: 29608 kB Cached: 92768 kB SwapCached: 3224 kB Active: 1158100 kB Inactive: 59768 kB Active(anon): 1094648 kB Inactive(anon): 3236 kB Active(file): 63452 kB Inactive(file): 56532 kB Unevictable: 9196 kB Mlocked: 9196 kB SwapTotal: 67108856 kB SwapFree: 67094528 kB Dirty: 16484 kB Writeback: 0 kB AnonPages: 1101740 kB Mapped: 10800 kB Shmem: 0 kB Slab: 572768 kB SReclaimable: 13248 kB SUnreclaim: 559520 kB KernelStack: 2240 kB PageTables: 6316 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1246184 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node132 at 2016-06-06 19:24:44