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.04 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g15x15.opb |
| MD5SUM | 28425c3b4907da9ba10ee31a4de63042 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 53 |
| Best CPU time to get the best result obtained on this benchmark | 24.6483 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 53 |
| Optimality of the best value was proved | NO |
| Number of variables | 225 |
| Total number of constraints | 225 |
| Number of constraints which are clauses | 225 |
| 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 | 5 |
| Number of terms in the objective function | 225 |
| 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 | 225 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 225 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-06T19:15:19+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-4079558-1465233319.opb"] 0.00/0.01 c use --random-gen="550827292 2787202154 173421970 711634434 3552420864 2433857807 2134928105 1561940792 645280498 2028512326 2051940347 3205864994 2776626164 746931831 4153544636 3121759217 3049001695 3981793101 2997779087 4020661159 450348761 2785402309 3710526550 504519650 4164909466 2981287754 2133498447 3342008300 3518952211 2316571198 795988288 3837822582 3255266611 425746106 3905084191 3877579888 417819168 34110735 2699213028 2277606543 2399455463 1630016204 2637495939 1187188985 1145049301 1136085416 2092541768 1501716902 1811417664 412302906 3018831539 1605449240 3160707156 4123222421 1827936211 3758016479 3714393914 1183216183 2250807657 669672762 3689515140 2344309058 2448407448 2783618428 3504548641 3803580447 483699202 3141424170 3585452896 3655805292 3624208067 1617644925 1398724385 1810078715 2444529396 996190492 1934991925 1897357702 3544442560 3785750851 803427921 916993324 3784493459 4024734059 3357362730 2860641199 1457801849 763849409 3036859357 1997746995 1381846107 1021385659 3285023408 2086782121 4030125804 34016118 3859357034 2330129127 887820335 453528267 4041628116 756449125 1932123360 3161773813 1979892767 1295956988 2266910879 1257809093 459075514 3816144706 47229671 1635267287 1490660592 2929847013 2982268177 491045500 1897190838 3250787502 1223196786 2603835388 2046944979 1492781886 3016289200 3785857379 391139144 789422494 2985340497 785156892 2371074831 1949422181 2178943638 3181952622 1509355644 4131771474 2498535279 747658359 2229718578 826762064 1969682681 857442318 4022756233 63261107 2725530416 2843987542 1402094361 758154111 794385184 294889066 1471808298 921450025 2562731906 441956139 1777636636 308523969 3171399213 56977370 1820695979 3773977904 568911063 775056753 1664350262 277217894 14676733 1871270897 3413329504 1660089760 278062897 1362796652 641860702 3382846617 1682624060 1065833176 1947573069 3205134752 1643286385 1255489802 1480650408 1121316982 1422175334 3089404289 2452014050 908176733 3330150063 861437997 4046314222 3821786471 880608680 4128081319 3229664811 2238759686 863437996 1168219934 2140313158 892993564 1388022962 1831709660 4091877146 2015983927 1929888431 3975677615 706038549 2090433269 556987976 1299603369 3222891787 1474529133 4247045408 4226503528 1606790267 1039364444 631631199 3716799356 1984457210 3520943499 2111050634 2259041053 4022547744 1200192746 201671828 647883318 2861952065 1938968089 2525319547 2849405738 3934478073 2718575798 3928954574 3466389747 1119057275 3710506437 3176810880 4088982788 4125429595 4196024764 431757104 2995307131 629337864 2003418708 519020234 1813037598 1982272769 2032708370 453964868 2392503638 1355464266 1870074657 1246785470 325579863 1515225464 3532847555 1375233409 4253468164 3646900055 1266684490 1535007483 2995534252 255 362436" option to reproduce the execution 0.00/0.01 c #vars 225 0.00/0.01 c #constraints 225 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 225 | 0 | 150 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 225 0.00/0.02 c #random_decision = 2 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 225 0.00/0.02 c BCD2: updating upper bound: 225 -> 224 0.00/0.02 c BCD2: 0 <= obj <= 224 0.00/0.02 c BCD2: #cores=0, #unrelaxed=225, #relaxed=0, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 15 | 0 | 150 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 15 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to 1 0.00/0.02 c BCD2: 1 <= obj <= 224 0.00/0.02 c BCD2: #cores=1, #unrelaxed=222, #relaxed=3, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 1 0.00/0.02 c 0.0s | 0 | 16 | 0 | 150 0 | 0 | 1 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 16 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.02 c lower bound updated to 2 0.00/0.02 c BCD2: 2 <= obj <= 224 0.00/0.02 c BCD2: #cores=2, #unrelaxed=218, #relaxed=7, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 2 0.00/0.02 c 0.0s | 0 | 16 | 0 | 150 0 | 0 | 2 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 16 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.02 c lower bound updated to 3 0.00/0.02 c BCD2: 3 <= obj <= 224 0.00/0.02 c BCD2: #cores=3, #unrelaxed=214, #relaxed=11, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 3 0.00/0.02 c 0.0s | 0 | 16 | 0 | 150 0 | 0 | 3 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 16 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.02 c lower bound updated to 4 0.00/0.02 c BCD2: 4 <= obj <= 224 0.00/0.02 c BCD2: #cores=4, #unrelaxed=210, #relaxed=15, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 4 0.00/0.02 c 0.0s | 0 | 16 | 0 | 150 0 | 0 | 4 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 16 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.02 c lower bound updated to 5 0.00/0.02 c BCD2: 5 <= obj <= 224 0.00/0.02 c BCD2: #cores=5, #unrelaxed=206, #relaxed=19, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 5 0.00/0.02 c 0.0s | 0 | 30 | 0 | 150 0 | 0 | 5 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 30 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.02 c lower bound updated to 6 0.00/0.02 c BCD2: 6 <= obj <= 224 0.00/0.02 c BCD2: #cores=6, #unrelaxed=202, #relaxed=23, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 6 0.00/0.02 c 0.0s | 0 | 29 | 0 | 150 0 | 0 | 6 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 29 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.02 c lower bound updated to 7 0.00/0.02 c BCD2: 7 <= obj <= 224 0.00/0.02 c BCD2: #cores=7, #unrelaxed=197, #relaxed=28, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 7 0.00/0.02 c 0.0s | 0 | 28 | 0 | 150 0 | 0 | 7 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 28 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.02 c lower bound updated to 8 0.00/0.02 c BCD2: 8 <= obj <= 224 0.00/0.02 c BCD2: #cores=8, #unrelaxed=192, #relaxed=33, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 8 0.00/0.02 c 0.0s | 0 | 27 | 0 | 150 0 | 0 | 8 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 27 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.02 c lower bound updated to 9 0.00/0.02 c BCD2: 9 <= obj <= 224 0.00/0.02 c BCD2: #cores=9, #unrelaxed=187, #relaxed=38, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=10 bias=10/11 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 9 0.00/0.03 c 0.0s | 0 | 26 | 0 | 150 0 | 0 | 9 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 26 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.03 c lower bound updated to 10 0.00/0.03 c BCD2: 10 <= obj <= 224 0.00/0.03 c BCD2: #cores=10, #unrelaxed=182, #relaxed=43, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=11 bias=11/12 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 10 0.00/0.03 c 0.0s | 0 | 39 | 0 | 150 0 | 0 | 10 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 39 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.03 c lower bound updated to 11 0.00/0.03 c BCD2: 11 <= obj <= 224 0.00/0.03 c BCD2: #cores=11, #unrelaxed=177, #relaxed=48, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=12 bias=12/13 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 11 0.00/0.03 c 0.0s | 0 | 38 | 0 | 150 0 | 0 | 11 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 38 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.03 c lower bound updated to 12 0.00/0.03 c BCD2: 12 <= obj <= 224 0.00/0.03 c BCD2: #cores=12, #unrelaxed=173, #relaxed=52, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=13 bias=13/14 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 12 0.00/0.03 c 0.0s | 0 | 38 | 0 | 150 0 | 0 | 12 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 38 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.03 c lower bound updated to 13 0.00/0.03 c BCD2: 13 <= obj <= 224 0.00/0.03 c BCD2: #cores=13, #unrelaxed=168, #relaxed=57, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=14 bias=14/15 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 13 0.00/0.03 c 0.0s | 0 | 37 | 0 | 150 0 | 0 | 13 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 37 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.03 c lower bound updated to 14 0.00/0.03 c BCD2: 14 <= obj <= 224 0.00/0.03 c BCD2: #cores=14, #unrelaxed=163, #relaxed=62, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=15 bias=15/16 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 14 0.00/0.03 c 0.0s | 0 | 36 | 0 | 150 0 | 0 | 14 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 36 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.03 c lower bound updated to 15 0.00/0.03 c BCD2: 15 <= obj <= 224 0.00/0.03 c BCD2: #cores=15, #unrelaxed=158, #relaxed=67, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=16 bias=16/17 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 15 0.00/0.03 c 0.0s | 0 | 37 | 0 | 150 0 | 0 | 15 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 37 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.03 c lower bound updated to 16 0.00/0.03 c BCD2: 16 <= obj <= 224 0.00/0.03 c BCD2: #cores=16, #unrelaxed=154, #relaxed=71, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=17 bias=17/18 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 16 0.00/0.03 c 0.0s | 0 | 46 | 0 | 150 0 | 0 | 16 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 46 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.03 c lower bound updated to 17 0.00/0.03 c BCD2: 17 <= obj <= 224 0.00/0.03 c BCD2: #cores=17, #unrelaxed=149, #relaxed=76, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=18 bias=18/19 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 17 0.00/0.03 c 0.0s | 0 | 47 | 0 | 150 0 | 0 | 17 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 47 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.03 c lower bound updated to 18 0.00/0.03 c BCD2: 18 <= obj <= 224 0.00/0.03 c BCD2: #cores=18, #unrelaxed=144, #relaxed=81, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=19 bias=19/20 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 18 0.00/0.03 c 0.0s | 0 | 46 | 0 | 150 0 | 0 | 18 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 46 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.03 c lower bound updated to 19 0.00/0.03 c BCD2: 19 <= obj <= 224 0.00/0.03 c BCD2: #cores=19, #unrelaxed=139, #relaxed=86, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=20 bias=20/21 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 19 0.00/0.03 c 0.0s | 0 | 45 | 0 | 150 0 | 0 | 19 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 45 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.03 c lower bound updated to 20 0.00/0.03 c BCD2: 20 <= obj <= 224 0.00/0.03 c BCD2: #cores=20, #unrelaxed=134, #relaxed=91, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=21 bias=21/22 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 20 0.00/0.04 c 0.0s | 0 | 47 | 0 | 150 0 | 0 | 20 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 47 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.04 c lower bound updated to 21 0.00/0.04 c BCD2: 21 <= obj <= 224 0.00/0.04 c BCD2: #cores=21, #unrelaxed=129, #relaxed=96, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=22 bias=22/23 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 21 0.00/0.04 c 0.0s | 0 | 54 | 0 | 150 0 | 0 | 21 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 54 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.04 c lower bound updated to 22 0.00/0.04 c BCD2: 22 <= obj <= 224 0.00/0.04 c BCD2: #cores=22, #unrelaxed=124, #relaxed=101, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=23 bias=23/24 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 22 0.00/0.04 c 0.0s | 0 | 56 | 0 | 150 0 | 0 | 22 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 56 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.04 c lower bound updated to 23 0.00/0.04 c BCD2: 23 <= obj <= 224 0.00/0.04 c BCD2: #cores=23, #unrelaxed=120, #relaxed=105, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=24 bias=24/25 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 23 0.00/0.04 c 0.0s | 0 | 56 | 0 | 150 0 | 0 | 23 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 56 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.04 c lower bound updated to 24 0.00/0.04 c BCD2: 24 <= obj <= 224 0.00/0.04 c BCD2: #cores=24, #unrelaxed=115, #relaxed=110, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=25 bias=25/26 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 24 0.00/0.04 c 0.0s | 0 | 55 | 0 | 150 0 | 0 | 24 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 55 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.04 c lower bound updated to 25 0.00/0.04 c BCD2: 25 <= obj <= 224 0.00/0.04 c BCD2: #cores=25, #unrelaxed=110, #relaxed=115, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=26 bias=26/27 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 25 0.00/0.04 c 0.0s | 0 | 56 | 0 | 150 0 | 0 | 25 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 56 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.04 c lower bound updated to 26 0.00/0.04 c BCD2: 26 <= obj <= 224 0.00/0.04 c BCD2: #cores=26, #unrelaxed=105, #relaxed=120, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=27 bias=27/28 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 26 0.00/0.04 c 0.0s | 0 | 55 | 0 | 150 0 | 0 | 26 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 55 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.04 c lower bound updated to 27 0.00/0.04 c BCD2: 27 <= obj <= 224 0.00/0.04 c BCD2: #cores=27, #unrelaxed=101, #relaxed=124, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=28 bias=28/29 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 27 0.00/0.04 c 0.0s | 0 | 61 | 0 | 150 0 | 0 | 27 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 61 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.04 c lower bound updated to 28 0.00/0.04 c BCD2: 28 <= obj <= 224 0.00/0.04 c BCD2: #cores=28, #unrelaxed=96, #relaxed=129, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=29 bias=29/30 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 28 0.00/0.04 c 0.0s | 0 | 65 | 0 | 150 0 | 0 | 28 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 65 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.04 c lower bound updated to 29 0.00/0.04 c BCD2: 29 <= obj <= 224 0.00/0.04 c BCD2: #cores=29, #unrelaxed=91, #relaxed=134, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=30 bias=30/31 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 29 0.00/0.04 c 0.0s | 0 | 64 | 0 | 150 0 | 0 | 29 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 64 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.04 c lower bound updated to 30 0.00/0.04 c BCD2: 30 <= obj <= 224 0.00/0.04 c BCD2: #cores=30, #unrelaxed=86, #relaxed=139, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=31 bias=31/32 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 30 0.00/0.05 c 0.0s | 0 | 66 | 0 | 150 0 | 0 | 30 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 66 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.05 c lower bound updated to 31 0.00/0.05 c BCD2: 31 <= obj <= 224 0.00/0.05 c BCD2: #cores=31, #unrelaxed=81, #relaxed=144, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=32 bias=32/33 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 31 0.00/0.05 c 0.0s | 0 | 65 | 0 | 150 0 | 0 | 31 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 65 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.05 c lower bound updated to 32 0.00/0.05 c BCD2: 32 <= obj <= 224 0.00/0.05 c BCD2: #cores=32, #unrelaxed=76, #relaxed=149, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=33 bias=33/34 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 32 0.00/0.05 c 0.0s | 0 | 69 | 0 | 150 0 | 0 | 32 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 69 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.05 c lower bound updated to 33 0.00/0.05 c BCD2: 33 <= obj <= 224 0.00/0.05 c BCD2: #cores=33, #unrelaxed=71, #relaxed=154, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=34 bias=34/35 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 33 0.00/0.05 c 0.0s | 0 | 74 | 0 | 150 0 | 0 | 33 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 74 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.05 c lower bound updated to 34 0.00/0.05 c BCD2: 34 <= obj <= 224 0.00/0.05 c BCD2: #cores=34, #unrelaxed=67, #relaxed=158, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=35 bias=35/36 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 34 0.00/0.05 c 0.0s | 0 | 74 | 0 | 150 0 | 0 | 34 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 74 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.05 c lower bound updated to 35 0.00/0.05 c BCD2: 35 <= obj <= 224 0.00/0.05 c BCD2: #cores=35, #unrelaxed=62, #relaxed=163, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=36 bias=36/37 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 35 0.00/0.05 c 0.0s | 0 | 75 | 0 | 150 0 | 0 | 35 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 75 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.05 c lower bound updated to 36 0.00/0.05 c BCD2: 36 <= obj <= 224 0.00/0.05 c BCD2: #cores=36, #unrelaxed=57, #relaxed=168, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=37 bias=37/38 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 36 0.00/0.05 c 0.0s | 0 | 74 | 0 | 150 0 | 0 | 36 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 74 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.05 c lower bound updated to 37 0.00/0.05 c BCD2: 37 <= obj <= 224 0.00/0.05 c BCD2: #cores=37, #unrelaxed=52, #relaxed=173, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=38 bias=38/39 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 37 0.00/0.05 c 0.0s | 0 | 73 | 0 | 150 0 | 0 | 37 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 73 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.05 c lower bound updated to 38 0.00/0.05 c BCD2: 38 <= obj <= 224 0.00/0.05 c BCD2: #cores=38, #unrelaxed=48, #relaxed=177, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=39 bias=39/40 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 38 0.00/0.05 c 0.0s | 0 | 73 | 0 | 150 0 | 0 | 38 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 73 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.05 c lower bound updated to 39 0.00/0.05 c BCD2: 39 <= obj <= 224 0.00/0.05 c BCD2: #cores=39, #unrelaxed=44, #relaxed=181, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=40 bias=40/41 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 39 0.00/0.05 c 0.0s | 0 | 73 | 0 | 150 0 | 0 | 39 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 73 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.05 c lower bound updated to 40 0.00/0.05 c BCD2: 40 <= obj <= 224 0.00/0.05 c BCD2: #cores=40, #unrelaxed=39, #relaxed=186, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=41 bias=41/42 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 40 0.00/0.06 c 0.0s | 0 | 72 | 0 | 150 0 | 0 | 40 0.00/0.06 c #cpu_time = 0.000s 0.00/0.06 c #wall_clock_time = 0.000s 0.00/0.06 c #decision = 72 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.06 c lower bound updated to 41 0.00/0.06 c BCD2: 41 <= obj <= 224 0.00/0.06 c BCD2: #cores=41, #unrelaxed=35, #relaxed=190, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=42 bias=42/43 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 | 150 0 | 0 | 41 0.00/0.06 c 0.0s | 0 | 72 | 0 | 150 0 | 0 | 41 0.00/0.06 c #cpu_time = 0.000s 0.00/0.06 c #wall_clock_time = 0.000s 0.00/0.06 c #decision = 72 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.06 c lower bound updated to 42 0.00/0.06 c BCD2: 42 <= obj <= 224 0.00/0.06 c BCD2: #cores=42, #unrelaxed=31, #relaxed=194, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=43 bias=43/44 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 | 150 0 | 0 | 42 0.00/0.06 c 0.0s | 0 | 72 | 0 | 150 0 | 0 | 42 0.00/0.06 c #cpu_time = 0.000s 0.00/0.06 c #wall_clock_time = 0.000s 0.00/0.06 c #decision = 72 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.06 c lower bound updated to 43 0.00/0.06 c BCD2: 43 <= obj <= 224 0.00/0.06 c BCD2: #cores=43, #unrelaxed=27, #relaxed=198, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=44 bias=44/45 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 | 150 0 | 0 | 43 0.00/0.06 c 0.0s | 0 | 238 | 0 | 150 0 | 0 | 43 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 238 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 o 70 0.00/0.06 c BCD2: updating upper bound: 224 -> 69 0.00/0.06 c BCD2: 43 <= obj <= 69 0.00/0.06 c BCD2: #cores=43, #unrelaxed=27, #relaxed=198, #hardened=0 0.00/0.06 c BCD2: #sat=2 #unsat=44 bias=44/46 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 | 150 0 | 0 | 44 0.00/0.06 c 0.0s | 0 | 126 | 13 | 150 0 | 0 | 44 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 126 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 13 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 8 and merging with 10 cores into a new core of size 53: cost of the new core is >=11 0.00/0.06 c lower bound updated to 44 0.00/0.06 c BCD2: 44 <= obj <= 69 0.00/0.06 c BCD2: #cores=34, #unrelaxed=19, #relaxed=206, #hardened=0 0.00/0.06 c BCD2: #sat=2 #unsat=45 bias=45/47 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 | 150 0 | 20 | 44 0.00/0.07 c 0.0s | 0 | 130 | 22 | 150 0 | 20 | 74 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 = 130 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 22 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 6 and merging with 8 cores into a new core of size 42: cost of the new core is >=9 0.00/0.07 c lower bound updated to 45 0.00/0.07 c BCD2: 45 <= obj <= 69 0.00/0.07 c BCD2: #cores=27, #unrelaxed=13, #relaxed=212, #hardened=0 0.00/0.07 c BCD2: #sat=2 #unsat=46 bias=46/48 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 | 150 0 | 36 | 74 0.00/0.08 c 0.0s | 1 | 445 | 100 | 165 0 | 36 | 98 0.00/0.09 c 0.0s | 2 | 761 | 250 | 182 0 | 36 | 98 0.09/0.12 c 0.1s | 3 | 1281 | 475 | 201 2 | 36 | 98 0.09/0.16 c 0.1s | 4 | 1872 | 813 | 222 4 | 36 | 98 0.19/0.23 c 0.2s | 5 | 2937 | 1320 | 245 6 | 36 | 98 0.29/0.32 c 0.3s | 6 | 4497 | 2081 | 270 10 | 36 | 98 0.39/0.47 c 0.4s | 7 | 6841 | 3223 | 297 16 | 36 | 98 0.59/0.66 c 0.6s | 8 | 9843 | 4936 | 327 24 | 36 | 98 0.89/0.94 c 0.9s | 9 | 14354 | 7506 | 360 36 | 36 | 98 1.20/1.29 c 1.2s | 10 | 20568 | 11361 | 397 52 | 36 | 98 1.59/1.61 c 1.5s | 10 | 28553 | 15729 | 397 69 | 36 | 98 1.59/1.61 c #cpu_time = 1.535s 1.59/1.61 c #wall_clock_time = 1.539s 1.59/1.61 c #decision = 28553 1.59/1.61 c #random_decision = 115 1.59/1.61 c #conflict = 15729 1.59/1.61 c #restart = 10 1.59/1.61 c BCD2: relaxing 8 and merging with 10 cores into a new core of size 56: cost of the new core is >=11 1.59/1.61 c lower bound updated to 46 1.59/1.61 c BCD2: 46 <= obj <= 69 1.59/1.61 c BCD2: #cores=18, #unrelaxed=5, #relaxed=220, #hardened=0 1.59/1.61 c BCD2: #sat=2 #unsat=47 bias=47/49 1.59/1.61 c Solving starts ... 1.59/1.61 c ============================[ Search Statistics ]============================ 1.59/1.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.61 c | | | | Limit GC | Var | Constra 1.59/1.61 c ============================================================================= 1.59/1.61 c 0.0s | 0 | 0 | 0 | 397 0 | 56 | 98 1.59/1.61 c 0.0s | 1 | 353 | 100 | 397 0 | 56 | 128 1.59/1.63 c 0.0s | 2 | 746 | 250 | 397 1 | 56 | 128 1.59/1.64 c 0.0s | 3 | 1253 | 475 | 397 2 | 56 | 128 1.59/1.67 c 0.1s | 4 | 1895 | 813 | 397 3 | 56 | 128 1.69/1.70 c 0.1s | 5 | 2851 | 1320 | 437 5 | 56 | 128 1.69/1.77 c 0.2s | 6 | 4212 | 2081 | 437 7 | 56 | 128 1.79/1.85 c 0.2s | 7 | 6302 | 3223 | 437 11 | 56 | 128 1.99/2.01 c 0.4s | 8 | 9594 | 4936 | 437 17 | 56 | 128 2.20/2.23 c 0.6s | 9 | 14298 | 7506 | 437 25 | 56 | 128 2.39/2.45 c 0.8s | 10 | 20067 | 11361 | 481 39 | 56 | 128 2.79/2.86 c 1.3s | 11 | 29268 | 17144 | 481 57 | 56 | 128 3.40/3.45 c 1.8s | 12 | 44518 | 25819 | 530 86 | 56 | 128 4.40/4.41 c 2.8s | 13 | 67792 | 38832 | 530 127 | 56 | 128 5.89/5.95 c 4.3s | 14 | 102343 | 58352 | 583 185 | 56 | 128 7.89/7.96 c 6.3s | 14 | 137039 | 80152 | 642 239 | 56 | 128 8.69/8.72 c 7.1s | 15 | 148551 | 87632 | 642 256 | 56 | 128 10.69/10.73 c 9.1s | 15 | 191555 | 112632 | 642 321 | 56 | 128 12.10/12.18 c 10.6s | 16 | 225980 | 131552 | 707 368 | 56 | 128 14.09/14.19 c 12.6s | 16 | 268261 | 155552 | 707 426 | 56 | 128 16.09/16.19 c 14.6s | 16 | 299116 | 175752 | 707 472 | 56 | 128 17.99/18.09 c 16.5s | 17 | 332040 | 197432 | 778 521 | 56 | 128 20.09/20.10 c 18.5s | 17 | 368202 | 218932 | 778 566 | 56 | 128 21.99/22.10 c 20.5s | 17 | 398349 | 238132 | 778 607 | 56 | 128 24.09/24.10 c 22.5s | 17 | 428927 | 256832 | 778 646 | 56 | 128 26.09/26.10 c 24.5s | 17 | 459908 | 276432 | 778 687 | 56 | 128 27.89/27.93 c 26.3s | 18 | 490060 | 296252 | 856 725 | 56 | 128 29.88/29.93 c 28.3s | 18 | 524224 | 318152 | 856 766 | 56 | 128 31.89/31.93 c 30.3s | 18 | 555027 | 338252 | 856 804 | 56 | 128 33.88/33.93 c 32.3s | 18 | 584579 | 358652 | 856 841 | 56 | 128 35.88/35.94 c 34.3s | 18 | 612442 | 377852 | 856 877 | 56 | 128 37.88/37.94 c 36.3s | 18 | 640001 | 397052 | 856 912 | 56 | 128 39.88/39.95 c 38.3s | 18 | 670066 | 417252 | 856 950 | 56 | 128 41.89/41.95 c 40.3s | 18 | 700893 | 437352 | 942 985 | 56 | 128 42.59/42.67 c 41.1s | 19 | 712147 | 444482 | 942 998 | 56 | 128 44.59/44.68 c 43.1s | 19 | 747056 | 466582 | 942 1039 | 56 | 128 46.59/46.69 c 45.1s | 19 | 775040 | 486082 | 942 1074 | 56 | 128 48.59/48.69 c 47.1s | 19 | 803564 | 504782 | 942 1109 | 56 | 128 50.59/50.70 c 49.1s | 19 | 845181 | 528282 | 942 1154 | 56 | 128 52.68/52.71 c 51.1s | 19 | 874892 | 546482 | 942 1187 | 56 | 128 54.68/54.71 c 53.1s | 19 | 903263 | 564482 | 942 1221 | 56 | 128 56.68/56.72 c 55.1s | 19 | 942436 | 587182 | 942 1264 | 56 | 128 58.68/58.73 c 57.1s | 19 | 971976 | 606282 | 942 1299 | 56 | 128 60.68/60.74 c 59.1s | 19 | 1005631 | 628782 | 942 1341 | 56 | 128 62.69/62.74 c 61.1s | 19 | 1032514 | 646282 | 942 1373 | 56 | 128 64.58/64.63 c 63.0s | 20 | 1064788 | 666827 | 1037 1409 | 56 | 128 66.58/66.64 c 65.0s | 20 | 1102834 | 689627 | 1037 1447 | 56 | 128 67.19/67.21 c 65.6s | 20 | 1113695 | 695886 | 1037 1458 | 56 | 128 67.19/67.21 c #cpu_time = 65.434s 67.19/67.21 c #wall_clock_time = 65.602s 67.19/67.21 c #decision = 1113695 67.19/67.21 c #random_decision = 4335 67.19/67.21 c #conflict = 695886 67.19/67.21 c #restart = 20 67.19/67.21 o 59 67.19/67.21 c BCD2: updating upper bound: 69 -> 58 67.19/67.21 c BCD2: 46 <= obj <= 58 67.19/67.21 c BCD2: #cores=18, #unrelaxed=5, #relaxed=220, #hardened=0 67.19/67.21 c BCD2: #sat=3 #unsat=47 bias=47/50 67.19/67.21 c Solving starts ... 67.19/67.21 c ============================[ Search Statistics ]============================ 67.19/67.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 67.19/67.21 c | | | | Limit GC | Var | Constra 67.19/67.21 c ============================================================================= 67.19/67.21 c 0.0s | 0 | 0 | 0 | 1037 0 | 56 | 129 67.19/67.22 c 0.0s | 1 | 277 | 100 | 1037 0 | 56 | 129 67.19/67.23 c 0.0s | 2 | 641 | 250 | 1037 0 | 56 | 129 67.19/67.25 c 0.0s | 3 | 1169 | 475 | 1037 1 | 56 | 129 67.19/67.28 c 0.1s | 4 | 1914 | 813 | 1037 1 | 56 | 129 67.28/67.32 c 0.1s | 5 | 2801 | 1320 | 1037 2 | 56 | 129 67.28/67.38 c 0.2s | 6 | 4000 | 2081 | 1037 4 | 56 | 129 67.38/67.45 c 0.2s | 7 | 5930 | 3223 | 1037 6 | 56 | 129 67.48/67.58 c 0.4s | 8 | 8955 | 4936 | 1037 9 | 56 | 129 67.68/67.76 c 0.5s | 9 | 13603 | 7506 | 1037 13 | 56 | 129 67.98/68.02 c 0.8s | 10 | 19855 | 11361 | 1037 20 | 56 | 129 68.38/68.43 c 1.2s | 11 | 30075 | 17144 | 1037 30 | 56 | 129 69.18/69.24 c 2.0s | 12 | 43574 | 25819 | 1037 44 | 56 | 129 70.28/70.31 c 3.1s | 13 | 64971 | 38832 | 1037 67 | 56 | 129 71.78/71.88 c 4.7s | 14 | 99604 | 58352 | 1037 100 | 56 | 129 73.78/73.89 c 6.7s | 14 | 137171 | 80052 | 1037 137 | 56 | 129 74.58/74.66 c 7.4s | 15 | 150082 | 87632 | 1037 149 | 56 | 129 76.58/76.66 c 9.4s | 15 | 187290 | 111832 | 1037 189 | 56 | 129 78.28/78.37 c 11.2s | 16 | 217846 | 131552 | 1037 221 | 56 | 129 80.28/80.38 c 13.2s | 16 | 257998 | 156452 | 1037 263 | 56 | 129 82.27/82.38 c 15.2s | 16 | 289175 | 176052 | 1037 294 | 56 | 129 84.27/84.39 c 17.2s | 16 | 319562 | 195152 | 1037 325 | 56 | 129 84.57/84.65 c 17.4s | 17 | 323167 | 197432 | 1037 329 | 56 | 129 86.57/86.65 c 19.4s | 17 | 365080 | 222532 | 1037 373 | 56 | 129 88.57/88.65 c 21.4s | 17 | 408671 | 248232 | 1037 418 | 56 | 129 90.57/90.65 c 23.4s | 17 | 450513 | 273632 | 1037 463 | 56 | 129 92.27/92.40 c 25.2s | 18 | 490282 | 296252 | 1141 500 | 56 | 129 94.37/94.40 c 27.2s | 18 | 528732 | 319552 | 1141 538 | 56 | 129 96.37/96.40 c 29.2s | 18 | 565639 | 342652 | 1141 575 | 56 | 129 98.37/98.41 c 31.2s | 18 | 606088 | 366052 | 1141 612 | 56 | 129 100.36/100.41 c 33.2s | 18 | 646352 | 388952 | 1141 649 | 56 | 129 102.37/102.41 c 35.2s | 18 | 673610 | 407452 | 1141 677 | 56 | 129 104.36/104.42 c 37.2s | 18 | 708838 | 430352 | 1141 713 | 56 | 129 105.57/105.68 c 38.5s | 19 | 732254 | 444482 | 1141 735 | 56 | 129 107.57/107.68 c 40.5s | 19 | 766029 | 466482 | 1141 768 | 56 | 129 109.57/109.69 c 42.5s | 19 | 796085 | 486482 | 1141 798 | 56 | 129 111.56/111.69 c 44.5s | 19 | 827197 | 506782 | 1141 829 | 56 | 129 113.66/113.71 c 46.5s | 19 | 856959 | 526282 | 1141 859 | 56 | 129 115.66/115.71 c 48.5s | 19 | 887755 | 546482 | 1141 889 | 56 | 129 117.66/117.72 c 50.5s | 19 | 922315 | 567682 | 1141 921 | 56 | 129 119.66/119.72 c 52.5s | 19 | 956033 | 588482 | 1141 953 | 56 | 129 121.65/121.72 c 54.5s | 19 | 991189 | 609982 | 1141 985 | 56 | 129 123.65/123.73 c 56.5s | 19 | 1022789 | 630482 | 1141 1017 | 56 | 129 125.65/125.73 c 58.5s | 19 | 1057537 | 651182 | 1141 1048 | 56 | 129 127.25/127.34 c 60.1s | 20 | 1082507 | 666827 | 1141 1072 | 56 | 129 129.25/129.34 c 62.1s | 20 | 1122973 | 690227 | 1141 1110 | 56 | 129 131.25/131.34 c 64.1s | 20 | 1162547 | 713527 | 1141 1147 | 56 | 129 133.25/133.34 c 66.1s | 20 | 1202444 | 736827 | 1141 1185 | 56 | 129 135.25/135.35 c 68.1s | 20 | 1242212 | 759627 | 1141 1222 | 56 | 129 137.25/137.35 c 70.1s | 20 | 1270491 | 778127 | 1141 1250 | 56 | 129 139.25/139.37 c 72.2s | 20 | 1294410 | 794627 | 1256 1273 | 56 | 129 141.25/141.38 c 74.2s | 20 | 1318768 | 810527 | 1256 1295 | 56 | 129 143.25/143.39 c 76.2s | 20 | 1341876 | 826427 | 1256 1317 | 56 | 129 145.34/145.40 c 78.2s | 20 | 1364543 | 842027 | 1256 1338 | 56 | 129 147.35/147.40 c 80.2s | 20 | 1386089 | 857427 | 1256 1360 | 56 | 129 149.34/149.43 c 82.2s | 20 | 1408618 | 872527 | 1256 1381 | 56 | 129 151.34/151.43 c 84.2s | 20 | 1432592 | 888727 | 1256 1403 | 56 | 129 153.35/153.44 c 86.2s | 20 | 1461101 | 908927 | 1256 1430 | 56 | 129 155.35/155.44 c 88.2s | 20 | 1492863 | 930227 | 1256 1460 | 56 | 129 157.36/157.45 c 90.2s | 20 | 1523802 | 951427 | 1256 1490 | 56 | 129 159.35/159.45 c 92.2s | 20 | 1553795 | 971827 | 1256 1519 | 56 | 129 161.35/161.46 c 94.2s | 20 | 1583605 | 991727 | 1256 1547 | 56 | 129 162.25/162.38 c 95.2s | 21 | 1596315 | 1000345 | 1256 1559 | 56 | 129 164.25/164.38 c 97.2s | 21 | 1627160 | 1020645 | 1256 1587 | 56 | 129 166.25/166.39 c 99.2s | 21 | 1659197 | 1039645 | 1256 1614 | 56 | 129 168.25/168.40 c 101s | 21 | 1688579 | 1057945 | 1256 1639 | 56 | 129 170.34/170.40 c 103s | 21 | 1715117 | 1076245 | 1256 1664 | 56 | 129 172.34/172.41 c 105s | 21 | 1744016 | 1095445 | 1256 1689 | 56 | 129 174.34/174.42 c 107s | 21 | 1774536 | 1115445 | 1256 1717 | 56 | 129 176.34/176.43 c 109s | 21 | 1806108 | 1135245 | 1256 1743 | 56 | 129 178.34/178.43 c 111s | 21 | 1835183 | 1154245 | 1256 1769 | 56 | 129 180.34/180.44 c 113s | 21 | 1863411 | 1173345 | 1256 1795 | 56 | 129 182.34/182.46 c 115s | 21 | 1892612 | 1193045 | 1256 1822 | 56 | 129 184.34/184.47 c 117s | 21 | 1920215 | 1211645 | 1256 1847 | 56 | 129 186.34/186.47 c 119s | 21 | 1948567 | 1230145 | 1256 1872 | 56 | 129 188.33/188.47 c 121s | 21 | 1978370 | 1249045 | 1256 1897 | 56 | 129 190.34/190.48 c 123s | 21 | 2011475 | 1268845 | 1256 1924 | 56 | 129 192.33/192.48 c 125s | 21 | 2043533 | 1288145 | 1256 1950 | 56 | 129 194.33/194.48 c 127s | 21 | 2073556 | 1306945 | 1256 1976 | 56 | 129 196.33/196.48 c 129s | 21 | 2102514 | 1324945 | 1256 2000 | 56 | 129 198.33/198.49 c 131s | 21 | 2129939 | 1342745 | 1256 2024 | 56 | 129 200.33/200.50 c 133s | 21 | 2157595 | 1360545 | 1256 2048 | 56 | 129 202.34/202.50 c 135s | 21 | 2189729 | 1379445 | 1256 2074 | 56 | 129 204.43/204.51 c 137s | 21 | 2222059 | 1398945 | 1256 2101 | 56 | 129 206.43/206.52 c 139s | 21 | 2253414 | 1418445 | 1256 2127 | 56 | 129 208.43/208.53 c 141s | 21 | 2283803 | 1437345 | 1256 2153 | 56 | 129 210.43/210.54 c 143s | 21 | 2314488 | 1455645 | 1256 2177 | 56 | 129 212.43/212.55 c 145s | 21 | 2340711 | 1472745 | 1256 2201 | 56 | 129 214.44/214.55 c 147s | 21 | 2371426 | 1491445 | 1256 2226 | 56 | 129 215.43/215.56 c 148s | 22 | 2385937 | 1500622 | 1256 2238 | 56 | 129 217.43/217.56 c 150s | 22 | 2421469 | 1521822 | 1256 2269 | 56 | 129 219.43/219.57 c 152s | 22 | 2450766 | 1540822 | 1382 2293 | 56 | 129 221.43/221.57 c 154s | 22 | 2482766 | 1561422 | 1382 2319 | 56 | 129 223.43/223.58 c 156s | 22 | 2511271 | 1580222 | 1382 2344 | 56 | 129 225.43/225.59 c 158s | 22 | 2537926 | 1598722 | 1382 2367 | 56 | 129 227.42/227.59 c 160s | 22 | 2573616 | 1619822 | 1382 2394 | 56 | 129 229.42/229.60 c 162s | 22 | 2610815 | 1640222 | 1382 2421 | 56 | 129 231.52/231.61 c 164s | 22 | 2642597 | 1660422 | 1382 2447 | 56 | 129 233.52/233.61 c 166s | 22 | 2672268 | 1679822 | 1382 2472 | 56 | 129 235.52/235.62 c 168s | 22 | 2700946 | 1698522 | 1382 2496 | 56 | 129 237.52/237.62 c 170s | 22 | 2727031 | 1716022 | 1382 2519 | 56 | 129 239.52/239.62 c 172s | 22 | 2749147 | 1730522 | 1382 2537 | 56 | 129 241.51/241.63 c 174s | 22 | 2770722 | 1745122 | 1382 2555 | 56 | 129 243.51/243.64 c 176s | 22 | 2792462 | 1759822 | 1382 2573 | 56 | 129 245.51/245.64 c 178s | 22 | 2814296 | 1774422 | 1382 2592 | 56 | 129 247.52/247.65 c 180s | 22 | 2835718 | 1788622 | 1382 2609 | 56 | 129 249.51/249.66 c 182s | 22 | 2858059 | 1802422 | 1382 2627 | 56 | 129 251.51/251.66 c 184s | 22 | 2880399 | 1816622 | 1382 2645 | 56 | 129 253.51/253.68 c 186s | 22 | 2903553 | 1831022 | 1382 2663 | 56 | 129 255.51/255.69 c 188s | 22 | 2925797 | 1844522 | 1382 2680 | 56 | 129 257.60/257.70 c 190s | 22 | 2947478 | 1857922 | 1382 2696 | 56 | 129 259.61/259.71 c 192s | 22 | 2969539 | 1872622 | 1382 2715 | 56 | 129 261.60/261.72 c 194s | 22 | 2996209 | 1890322 | 1382 2738 | 56 | 129 263.60/263.73 c 196s | 22 | 3021254 | 1907322 | 1382 2760 | 56 | 129 265.60/265.74 c 198s | 22 | 3043573 | 1921722 | 1382 2778 | 56 | 129 267.61/267.75 c 200s | 22 | 3066732 | 1936722 | 1382 2797 | 56 | 129 269.61/269.76 c 202s | 22 | 3088336 | 1951122 | 1382 2815 | 56 | 129 271.61/271.77 c 204s | 22 | 3109266 | 1965122 | 1382 2832 | 56 | 129 273.60/273.78 c 206s | 22 | 3131188 | 1979522 | 1382 2850 | 56 | 129 275.60/275.79 c 208s | 22 | 3151903 | 1993322 | 1382 2868 | 56 | 129 277.70/277.80 c 210s | 22 | 3172741 | 2007122 | 1382 2885 | 56 | 129 279.70/279.81 c 212s | 22 | 3191925 | 2020422 | 1382 2902 | 56 | 129 281.69/281.82 c 214s | 22 | 3217619 | 2037822 | 1382 2924 | 56 | 129 283.70/283.82 c 216s | 22 | 3243553 | 2055722 | 1382 2948 | 56 | 129 285.69/285.82 c 218s | 22 | 3275768 | 2075822 | 1382 2974 | 56 | 129 287.69/287.83 c 220s | 22 | 3314947 | 2098822 | 1382 3005 | 56 | 129 289.69/289.83 c 222s | 22 | 3352170 | 2121922 | 1382 3035 | 56 | 129 291.69/291.84 c 224s | 22 | 3379934 | 2139222 | 1382 3058 | 56 | 129 293.69/293.84 c 226s | 22 | 3404629 | 2154922 | 1382 3078 | 56 | 129 295.69/295.85 c 228s | 22 | 3429477 | 2170522 | 1382 3098 | 56 | 129 297.69/297.86 c 230s | 22 | 3454650 | 2185922 | 1382 3118 | 56 | 129 299.69/299.86 c 232s | 22 | 3479773 | 2201322 | 1382 3138 | 56 | 129 301.69/301.87 c 234s | 22 | 3507204 | 2217622 | 1382 3159 | 56 | 129 303.68/303.87 c 236s | 22 | 3533229 | 2233422 | 1382 3179 | 56 | 129 305.69/305.88 c 238s | 22 | 3559186 | 2248722 | 1382 3199 | 56 | 129 305.98/306.20 c 238s | 23 | 3562851 | 2251038 | 1382 3202 | 56 | 129 308.08/308.20 c 240s | 23 | 3605706 | 2274638 | 1382 3234 | 56 | 129 310.09/310.21 c 242s | 23 | 3645819 | 2298338 | 1382 3266 | 56 | 129 312.08/312.21 c 244s | 23 | 3683721 | 2321138 | 1382 3296 | 56 | 129 314.08/314.22 c 247s | 23 | 3723477 | 2344038 | 1382 3327 | 56 | 129 316.08/316.22 c 249s | 23 | 3760641 | 2365938 | 1382 3357 | 56 | 129 318.08/318.22 c 251s | 23 | 3796854 | 2387338 | 1382 3385 | 56 | 129 320.08/320.22 c 253s | 23 | 3831728 | 2407838 | 1382 3413 | 56 | 129 322.08/322.23 c 255s | 23 | 3866132 | 2428238 | 1382 3440 | 56 | 129 324.08/324.23 c 257s | 23 | 3905650 | 2450338 | 1382 3470 | 56 | 129 326.08/326.24 c 259s | 23 | 3941432 | 2471038 | 1382 3497 | 56 | 129 328.08/328.25 c 261s | 23 | 3969015 | 2488938 | 1382 3520 | 56 | 129 330.08/330.25 c 263s | 23 | 3996636 | 2506638 | 1382 3543 | 56 | 129 332.08/332.25 c 265s | 23 | 4024103 | 2523938 | 1382 3565 | 56 | 129 334.07/334.26 c 267s | 23 | 4051000 | 2541838 | 1382 3588 | 56 | 129 336.07/336.26 c 269s | 23 | 4078371 | 2559638 | 1382 3611 | 56 | 129 338.07/338.26 c 271s | 23 | 4104288 | 2577538 | 1382 3633 | 56 | 129 340.07/340.26 c 273s | 23 | 4132359 | 2595638 | 1382 3657 | 56 | 129 342.07/342.27 c 275s | 23 | 4156359 | 2611738 | 1382 3678 | 56 | 129 344.06/344.28 c 277s | 23 | 4180374 | 2627838 | 1382 3698 | 56 | 129 346.06/346.28 c 279s | 23 | 4204843 | 2644138 | 1521 3719 | 56 | 129 348.06/348.29 c 281s | 23 | 4231096 | 2661438 | 1521 3739 | 56 | 129 350.16/350.30 c 283s | 23 | 4257334 | 2679038 | 1521 3760 | 56 | 129 352.16/352.31 c 285s | 23 | 4285683 | 2697338 | 1521 3781 | 56 | 129 354.17/354.31 c 287s | 23 | 4314684 | 2716338 | 1521 3804 | 56 | 129 356.16/356.32 c 289s | 23 | 4341422 | 2734638 | 1521 3825 | 56 | 129 358.16/358.32 c 291s | 23 | 4368313 | 2753038 | 1521 3847 | 56 | 129 360.16/360.33 c 293s | 23 | 4398073 | 2772038 | 1521 3870 | 56 | 129 362.16/362.34 c 295s | 23 | 4422316 | 2788438 | 1521 3889 | 56 | 129 364.16/364.34 c 297s | 23 | 4449157 | 2805838 | 1521 3909 | 56 | 129 366.16/366.35 c 299s | 23 | 4474849 | 2823738 | 1521 3930 | 56 | 129 368.16/368.35 c 301s | 23 | 4501612 | 2841938 | 1521 3952 | 56 | 129 370.16/370.36 c 303s | 23 | 4525992 | 2858738 | 1521 3971 | 56 | 129 372.15/372.36 c 305s | 23 | 4550051 | 2875438 | 1521 3991 | 56 | 129 374.15/374.37 c 307s | 23 | 4578931 | 2894838 | 1521 4014 | 56 | 129 376.16/376.38 c 309s | 23 | 4606855 | 2913338 | 1521 4036 | 56 | 129 378.15/378.39 c 311s | 23 | 4632760 | 2930338 | 1521 4056 | 56 | 129 380.25/380.40 c 313s | 23 | 4660099 | 2947938 | 1521 4077 | 56 | 129 382.25/382.41 c 315s | 23 | 4687644 | 2965638 | 1521 4098 | 56 | 129 384.25/384.42 c 317s | 23 | 4715000 | 2983738 | 1521 4119 | 56 | 129 386.25/386.42 c 319s | 23 | 4739789 | 3000838 | 1521 4139 | 56 | 129 388.25/388.43 c 321s | 23 | 4763089 | 3016738 | 1521 4158 | 56 | 129 390.25/390.43 c 323s | 23 | 4785712 | 3032138 | 1521 4176 | 56 | 129 392.25/392.44 c 325s | 23 | 4806736 | 3046938 | 1521 4193 | 56 | 129 394.25/394.45 c 327s | 23 | 4826734 | 3060738 | 1521 4209 | 56 | 129 396.25/396.45 c 329s | 23 | 4845837 | 3074038 | 1521 4224 | 56 | 129 398.25/398.45 c 331s | 23 | 4866379 | 3088438 | 1521 4241 | 56 | 129 400.25/400.46 c 333s | 23 | 4886994 | 3102238 | 1521 4257 | 56 | 129 402.24/402.48 c 335s | 23 | 4911208 | 3118538 | 1521 4276 | 56 | 129 404.24/404.48 c 337s | 23 | 4935302 | 3134238 | 1521 4295 | 56 | 129 406.24/406.49 c 339s | 23 | 4957918 | 3149538 | 1521 4313 | 56 | 129 408.24/408.49 c 341s | 23 | 4980658 | 3164738 | 1521 4331 | 56 | 129 410.34/410.50 c 343s | 23 | 5004870 | 3180538 | 1521 4350 | 56 | 129 412.34/412.52 c 345s | 23 | 5030396 | 3197038 | 1521 4370 | 56 | 129 414.34/414.53 c 347s | 23 | 5056851 | 3214338 | 1521 4390 | 56 | 129 416.33/416.54 c 349s | 23 | 5080505 | 3230538 | 1521 4409 | 56 | 129 418.33/418.54 c 351s | 23 | 5103532 | 3246538 | 1521 4427 | 56 | 129 420.33/420.55 c 353s | 23 | 5127482 | 3262638 | 1521 4446 | 56 | 129 422.33/422.55 c 355s | 23 | 5151168 | 3278038 | 1521 4464 | 56 | 129 424.33/424.55 c 357s | 23 | 5171805 | 3291838 | 1521 4480 | 56 | 129 426.33/426.56 c 359s | 23 | 5191007 | 3304938 | 1521 4495 | 56 | 129 428.33/428.57 c 361s | 23 | 5215323 | 3321438 | 1521 4515 | 56 | 129 430.33/430.58 c 363s | 23 | 5241371 | 3338138 | 1521 4535 | 56 | 129 432.32/432.59 c 365s | 23 | 5269328 | 3354938 | 1521 4554 | 56 | 129 434.33/434.59 c 367s | 23 | 5293396 | 3370338 | 1521 4573 | 56 | 129 435.12/435.39 c 368s | 24 | 5303588 | 3376662 | 1521 4580 | 56 | 129 437.13/437.39 c 370s | 24 | 5342203 | 3397962 | 1521 4606 | 56 | 129 439.13/439.40 c 372s | 24 | 5377865 | 3420862 | 1521 4634 | 56 | 129 441.23/441.40 c 374s | 24 | 5412626 | 3443762 | 1521 4662 | 56 | 129 443.23/443.41 c 376s | 24 | 5448051 | 3466262 | 1521 4690 | 56 | 129 445.22/445.42 c 378s | 24 | 5481864 | 3487662 | 1521 4716 | 56 | 129 447.22/447.42 c 380s | 24 | 5512380 | 3508062 | 1521 4741 | 56 | 129 449.22/449.43 c 382s | 24 | 5542859 | 3528262 | 1521 4766 | 56 | 129 451.22/451.43 c 384s | 24 | 5576583 | 3549562 | 1521 4791 | 56 | 129 453.22/453.43 c 386s | 24 | 5605451 | 3568062 | 1521 4813 | 56 | 129 455.22/455.44 c 388s | 24 | 5628091 | 3583662 | 1521 4831 | 56 | 129 457.22/457.45 c 390s | 24 | 5650060 | 3598962 | 1521 4849 | 56 | 129 459.22/459.45 c 392s | 24 | 5669701 | 3613062 | 1521 4865 | 56 | 129 461.21/461.47 c 394s | 24 | 5689502 | 3626962 | 1521 4881 | 56 | 129 463.21/463.48 c 396s | 24 | 5708533 | 3640762 | 1521 4897 | 56 | 129 465.22/465.49 c 398s | 24 | 5740432 | 3661262 | 1521 4922 | 56 | 129 467.21/467.49 c 400s | 24 | 5773625 | 3681662 | 1521 4947 | 56 | 129 469.31/469.50 c 402s | 24 | 5803668 | 3700862 | 1521 4971 | 56 | 129 471.31/471.51 c 404s | 24 | 5837789 | 3721262 | 1521 4996 | 56 | 129 473.31/473.51 c 406s | 24 | 5870948 | 3740962 | 1521 5020 | 56 | 129 475.30/475.51 c 408s | 24 | 5902483 | 3760162 | 1521 5044 | 56 | 129 477.31/477.51 c 410s | 24 | 5934317 | 3779862 | 1521 5068 | 56 | 129 479.30/479.52 c 412s | 24 | 5964754 | 3798862 | 1521 5091 | 56 | 129 481.30/481.53 c 414s | 24 | 5997139 | 3818962 | 1521 5116 | 56 | 129 483.30/483.53 c 416s | 24 | 6033884 | 3839862 | 1521 5142 | 56 | 129 485.30/485.54 c 418s | 24 | 6069075 | 3858762 | 1521 5165 | 56 | 129 487.30/487.54 c 420s | 24 | 6103063 | 3877162 | 1521 5188 | 56 | 129 489.31/489.54 c 422s | 24 | 6137573 | 3895662 | 1521 5211 | 56 | 129 491.30/491.55 c 424s | 24 | 6172312 | 3914362 | 1521 5234 | 56 | 129 493.30/493.55 c 426s | 24 | 6207077 | 3933062 | 1521 5257 | 56 | 129 495.30/495.56 c 428s | 24 | 6239978 | 3951962 | 1521 5280 | 56 | 129 497.30/497.57 c 430s | 24 | 6267311 | 3968962 | 1521 5300 | 56 | 129 499.30/499.59 c 432s | 24 | 6290793 | 3984662 | 1521 5320 | 56 | 129 501.29/501.59 c 434s | 24 | 6314000 | 4000362 | 1521 5339 | 56 | 129 503.39/503.60 c 436s | 24 | 6336715 | 4015862 | 1521 5358 | 56 | 129 505.39/505.61 c 438s | 24 | 6359555 | 4031662 | 1521 5377 | 56 | 129 507.39/507.62 c 440s | 24 | 6382094 | 4046962 | 1521 5395 | 56 | 129 509.39/509.63 c 442s | 24 | 6404391 | 4062262 | 1521 5414 | 56 | 129 511.39/511.64 c 444s | 24 | 6430601 | 4078062 | 1521 5433 | 56 | 129 513.39/513.64 c 446s | 24 | 6454518 | 4093762 | 1521 5452 | 56 | 129 515.39/515.66 c 448s | 24 | 6476098 | 4108762 | 1521 5471 | 56 | 129 517.38/517.67 c 450s | 24 | 6499029 | 4123962 | 1521 5489 | 56 | 129 519.38/519.67 c 452s | 24 | 6527342 | 4141962 | 1521 5511 | 56 | 129 521.38/521.69 c 454s | 24 | 6558205 | 4160662 | 1521 5535 | 56 | 129 523.38/523.69 c 456s | 24 | 6587202 | 4178462 | 1521 5556 | 56 | 129 525.48/525.70 c 458s | 24 | 6616556 | 4197862 | 1521 5580 | 56 | 129 527.48/527.70 c 460s | 24 | 6647974 | 4218762 | 1521 5606 | 56 | 129 529.48/529.71 c 462s | 24 | 6678557 | 4239362 | 1521 5632 | 56 | 129 531.47/531.71 c 464s | 24 | 6708768 | 4259062 | 1521 5656 | 56 | 129 533.47/533.72 c 466s | 24 | 6732124 | 4273762 | 1521 5673 | 56 | 129 535.48/535.73 c 468s | 24 | 6752509 | 4287962 | 1521 5690 | 56 | 129 537.48/537.74 c 470s | 24 | 6772973 | 4301962 | 1521 5707 | 56 | 129 539.48/539.74 c 472s | 24 | 6793626 | 4316162 | 1521 5724 | 56 | 129 541.48/541.75 c 474s | 24 | 6813886 | 4329762 | 1674 5739 | 56 | 129 543.48/543.76 c 476s | 24 | 6833379 | 4342862 | 1674 5754 | 56 | 129 545.48/545.76 c 478s | 24 | 6853402 | 4356462 | 1674 5769 | 56 | 129 547.47/547.77 c 480s | 24 | 6872577 | 4369562 | 1674 5783 | 56 | 129 549.47/549.78 c 482s | 24 | 6891785 | 4382862 | 1674 5798 | 56 | 129 551.47/551.79 c 484s | 24 | 6910913 | 4396062 | 1674 5812 | 56 | 129 553.57/553.81 c 486s | 24 | 6929547 | 4408662 | 1674 5826 | 56 | 129 555.57/555.81 c 488s | 24 | 6953927 | 4424962 | 1674 5845 | 56 | 129 557.57/557.82 c 490s | 24 | 6982308 | 4442762 | 1674 5865 | 56 | 129 559.57/559.83 c 492s | 24 | 7010804 | 4460962 | 1674 5885 | 56 | 129 561.56/561.83 c 494s | 24 | 7038958 | 4477762 | 1674 5904 | 56 | 129 563.56/563.84 c 496s | 24 | 7067852 | 4494862 | 1674 5924 | 56 | 129 565.56/565.84 c 498s | 24 | 7095308 | 4511262 | 1674 5942 | 56 | 129 567.56/567.85 c 500s | 24 | 7122668 | 4527662 | 1674 5961 | 56 | 129 569.56/569.85 c 502s | 24 | 7148162 | 4543762 | 1674 5979 | 56 | 129 571.55/571.87 c 504s | 24 | 7176239 | 4559762 | 1674 5997 | 56 | 129 573.55/573.87 c 506s | 24 | 7202675 | 4575762 | 1674 6015 | 56 | 129 575.55/575.87 c 508s | 24 | 7228606 | 4591962 | 1674 6033 | 56 | 129 577.55/577.88 c 510s | 24 | 7257497 | 4609162 | 1674 6053 | 56 | 129 579.56/579.88 c 512s | 24 | 7285076 | 4625962 | 1674 6072 | 56 | 129 581.55/581.89 c 514s | 24 | 7311585 | 4642162 | 1674 6090 | 56 | 129 583.65/583.90 c 516s | 24 | 7338449 | 4658462 | 1674 6108 | 56 | 129 585.65/585.91 c 518s | 24 | 7364990 | 4675062 | 1674 6127 | 56 | 129 587.64/587.91 c 520s | 24 | 7389570 | 4691062 | 1674 6145 | 56 | 129 589.65/589.92 c 522s | 24 | 7420130 | 4707962 | 1674 6164 | 56 | 129 591.65/591.93 c 524s | 24 | 7444043 | 4723562 | 1674 6182 | 56 | 129 593.64/593.93 c 526s | 24 | 7468257 | 4738862 | 1674 6199 | 56 | 129 595.64/595.93 c 528s | 24 | 7491140 | 4753862 | 1674 6216 | 56 | 129 597.64/597.94 c 530s | 24 | 7517122 | 4769862 | 1674 6234 | 56 | 129 599.64/599.95 c 532s | 24 | 7542989 | 4785462 | 1674 6252 | 56 | 129 601.64/601.95 c 534s | 24 | 7565799 | 4800162 | 1674 6269 | 56 | 129 603.64/603.96 c 536s | 24 | 7589705 | 4814962 | 1674 6285 | 56 | 129 605.64/605.96 c 538s | 24 | 7615016 | 4830062 | 1674 6302 | 56 | 129 607.64/607.97 c 540s | 24 | 7638928 | 4845462 | 1674 6320 | 56 | 129 609.64/609.98 c 542s | 24 | 7662320 | 4860362 | 1674 6337 | 56 | 129 611.63/611.99 c 544s | 24 | 7683190 | 4874262 | 1674 6352 | 56 | 129 613.64/614.00 c 546s | 24 | 7705939 | 4889262 | 1674 6369 | 56 | 129 615.63/616.00 c 548s | 24 | 7729944 | 4904662 | 1674 6387 | 56 | 129 617.73/618.00 c 550s | 24 | 7751607 | 4918862 | 1674 6403 | 56 | 129 619.73/620.01 c 552s | 24 | 7780429 | 4938062 | 1674 6424 | 56 | 129 621.72/622.02 c 554s | 24 | 7805890 | 4954962 | 1674 6442 | 56 | 129 623.72/624.03 c 556s | 24 | 7829892 | 4971062 | 1674 6460 | 56 | 129 625.74/626.04 c 558s | 24 | 7855591 | 4987962 | 1674 6478 | 56 | 129 627.73/628.04 c 560s | 24 | 7879414 | 5003862 | 1674 6495 | 56 | 129 629.73/630.04 c 562s | 24 | 7903243 | 5019762 | 1674 6513 | 56 | 129 631.72/632.04 c 564s | 24 | 7927103 | 5035462 | 1674 6530 | 56 | 129 633.72/634.05 c 566s | 24 | 7950446 | 5050962 | 1674 6547 | 56 | 129 635.63/635.99 c 568s | 25 | 7972686 | 5065098 | 1674 6562 | 56 | 129 637.62/638.00 c 570s | 25 | 8005444 | 5086198 | 1674 6586 | 56 | 129 639.72/640.00 c 572s | 25 | 8034873 | 5105198 | 1674 6606 | 56 | 129 641.71/642.01 c 574s | 25 | 8062279 | 5123398 | 1674 6626 | 56 | 129 643.71/644.01 c 576s | 25 | 8087303 | 5140898 | 1674 6645 | 56 | 129 645.71/646.01 c 578s | 25 | 8110683 | 5156798 | 1674 6662 | 56 | 129 647.72/648.01 c 580s | 25 | 8133677 | 5172298 | 1674 6679 | 56 | 129 649.71/650.02 c 582s | 25 | 8156133 | 5187598 | 1674 6695 | 56 | 129 651.71/652.03 c 584s | 25 | 8178462 | 5202798 | 1674 6711 | 56 | 129 653.71/654.04 c 586s | 25 | 8200941 | 5218298 | 1674 6728 | 56 | 129 655.71/656.05 c 588s | 25 | 8226233 | 5234898 | 1674 6746 | 56 | 129 657.71/658.06 c 590s | 25 | 8251981 | 5251498 | 1674 6764 | 56 | 129 659.71/660.08 c 592s | 25 | 8278716 | 5268298 | 1674 6782 | 56 | 129 661.70/662.09 c 594s | 25 | 8304446 | 5285098 | 1674 6800 | 56 | 129 663.70/664.09 c 596s | 25 | 8328151 | 5300998 | 1674 6817 | 56 | 129 665.80/666.10 c 598s | 25 | 8353094 | 5316998 | 1674 6834 | 56 | 129 667.80/668.10 c 600s | 25 | 8379834 | 5333498 | 1674 6852 | 56 | 129 669.80/670.11 c 602s | 25 | 8405873 | 5349398 | 1674 6869 | 56 | 129 671.80/672.11 c 604s | 25 | 8429370 | 5364398 | 1674 6885 | 56 | 129 673.79/674.13 c 606s | 25 | 8454104 | 5379798 | 1674 6901 | 56 | 129 675.79/676.14 c 608s | 25 | 8476848 | 5393998 | 1674 6917 | 56 | 129 677.79/678.14 c 610s | 25 | 8502088 | 5409398 | 1674 6933 | 56 | 129 679.79/680.15 c 612s | 25 | 8527290 | 5424798 | 1674 6950 | 56 | 129 681.80/682.16 c 614s | 25 | 8551333 | 5439898 | 1674 6966 | 56 | 129 683.79/684.17 c 616s | 25 | 8576345 | 5455298 | 1674 6983 | 56 | 129 685.80/686.18 c 618s | 25 | 8601856 | 5470798 | 1674 6999 | 56 | 129 687.80/688.19 c 620s | 25 | 8625739 | 5486098 | 1674 7016 | 56 | 129 689.80/690.19 c 622s | 25 | 8648975 | 5500798 | 1674 7032 | 56 | 129 691.79/692.19 c 624s | 25 | 8673745 | 5516198 | 1674 7048 | 56 | 129 693.80/694.20 c 626s | 25 | 8697959 | 5531298 | 1674 7064 | 56 | 129 695.89/696.21 c 628s | 25 | 8721405 | 5545798 | 1674 7080 | 56 | 129 697.89/698.21 c 631s | 25 | 8746263 | 5560998 | 1674 7096 | 56 | 129 699.89/700.22 c 633s | 25 | 8770259 | 5575798 | 1674 7112 | 56 | 129 701.89/702.23 c 635s | 25 | 8793323 | 5590298 | 1674 7128 | 56 | 129 703.89/704.24 c 637s | 25 | 8817659 | 5605298 | 1674 7144 | 56 | 129 705.90/706.25 c 639s | 25 | 8841340 | 5620098 | 1674 7160 | 56 | 129 707.89/708.26 c 641s | 25 | 8863768 | 5634298 | 1674 7175 | 56 | 129 709.89/710.26 c 643s | 25 | 8887294 | 5648698 | 1674 7191 | 56 | 129 711.89/712.27 c 645s | 25 | 8909111 | 5662598 | 1674 7206 | 56 | 129 713.89/714.28 c 647s | 25 | 8930735 | 5676098 | 1674 7220 | 56 | 129 715.90/716.29 c 649s | 25 | 8956062 | 5692398 | 1674 7238 | 56 | 129 717.89/718.30 c 651s | 25 | 8981048 | 5708298 | 1674 7255 | 56 | 129 719.99/720.30 c 653s | 25 | 9006692 | 5724398 | 1674 7272 | 56 | 129 721.99/722.31 c 655s | 25 | 9031575 | 5740098 | 1674 7289 | 56 | 129 723.99/724.32 c 657s | 25 | 9055855 | 5755298 | 1674 7305 | 56 | 129 725.98/726.33 c 659s | 25 | 9080731 | 5770798 | 1674 7322 | 56 | 129 727.99/728.35 c 661s | 25 | 9104682 | 5785898 | 1674 7338 | 56 | 129 729.98/730.35 c 663s | 25 | 9129629 | 5801198 | 1674 7355 | 56 | 129 731.98/732.36 c 665s | 25 | 9153568 | 5816098 | 1674 7371 | 56 | 129 733.98/734.36 c 667s | 25 | 9176395 | 5830598 | 1674 7386 | 56 | 129 735.98/736.36 c 669s | 25 | 9199601 | 5845198 | 1674 7402 | 56 | 129 737.98/738.37 c 671s | 25 | 9222668 | 5859598 | 1674 7418 | 56 | 129 739.98/740.37 c 673s | 25 | 9245583 | 5873898 | 1674 7433 | 56 | 129 741.98/742.38 c 675s | 25 | 9272125 | 5889898 | 1674 7450 | 56 | 129 743.98/744.38 c 677s | 25 | 9298971 | 5905498 | 1674 7467 | 56 | 129 745.99/746.39 c 679s | 25 | 9324533 | 5920698 | 1674 7484 | 56 | 129 747.99/748.39 c 681s | 25 | 9349468 | 5935998 | 1674 7500 | 56 | 129 749.99/750.39 c 683s | 25 | 9373175 | 5951098 | 1674 7516 | 56 | 129 752.09/752.41 c 685s | 25 | 9396142 | 5965598 | 1674 7532 | 56 | 129 754.09/754.41 c 687s | 25 | 9420025 | 5980498 | 1674 7548 | 56 | 129 756.09/756.41 c 689s | 25 | 9443599 | 5995198 | 1674 7564 | 56 | 129 758.08/758.42 c 691s | 25 | 9467793 | 6010098 | 1674 7580 | 56 | 129 760.08/760.42 c 693s | 25 | 9491027 | 6024998 | 1674 7596 | 56 | 129 762.09/762.43 c 695s | 25 | 9513706 | 6039498 | 1674 7611 | 56 | 129 764.08/764.43 c 697s | 25 | 9538111 | 6054598 | 1674 7628 | 56 | 129 766.08/766.44 c 699s | 25 | 9562497 | 6069898 | 1674 7644 | 56 | 129 768.08/768.44 c 701s | 25 | 9585541 | 6084298 | 1674 7660 | 56 | 129 770.08/770.45 c 703s | 25 | 9609596 | 6099698 | 1674 7676 | 56 | 129 772.08/772.45 c 705s | 25 | 9633683 | 6114598 | 1674 7692 | 56 | 129 774.08/774.46 c 707s | 25 | 9656015 | 6128998 | 1674 7708 | 56 | 129 776.08/776.47 c 709s | 25 | 9678951 | 6143498 | 1674 7724 | 56 | 129 778.08/778.49 c 711s | 25 | 9701368 | 6157698 | 1674 7739 | 56 | 129 780.08/780.49 c 713s | 25 | 9723308 | 6171798 | 1674 7754 | 56 | 129 782.18/782.50 c 715s | 25 | 9745914 | 6186498 | 1674 7770 | 56 | 129 784.18/784.51 c 717s | 25 | 9769349 | 6200998 | 1674 7786 | 56 | 129 786.18/786.53 c 719s | 25 | 9795055 | 6216498 | 1674 7802 | 56 | 129 788.18/788.54 c 721s | 25 | 9818893 | 6231098 | 1674 7818 | 56 | 129 790.17/790.54 c 723s | 25 | 9842757 | 6245498 | 1674 7833 | 56 | 129 792.17/792.55 c 725s | 25 | 9866258 | 6259898 | 1674 7849 | 56 | 129 794.17/794.55 c 727s | 25 | 9889120 | 6273698 | 1674 7864 | 56 | 129 796.18/796.56 c 729s | 25 | 9910640 | 6287598 | 1674 7879 | 56 | 129 798.17/798.57 c 731s | 25 | 9932694 | 6301598 | 1674 7894 | 56 | 129 800.17/800.59 c 733s | 25 | 9954259 | 6315498 | 1674 7909 | 56 | 129 802.17/802.59 c 735s | 25 | 9975582 | 6328898 | 1674 7923 | 56 | 129 804.27/804.60 c 737s | 25 | 9997621 | 6343198 | 1674 7939 | 56 | 129 806.27/806.60 c 739s | 25 | 10018881 | 6356898 | 1674 7953 | 56 | 129 808.28/808.61 c 741s | 25 | 10040420 | 6370598 | 1674 7968 | 56 | 129 810.27/810.62 c 743s | 25 | 10061897 | 6384598 | 1674 7983 | 56 | 129 812.27/812.63 c 745s | 25 | 10083109 | 6398198 | 1674 7998 | 56 | 129 814.28/814.63 c 747s | 25 | 10103771 | 6411698 | 1674 8012 | 56 | 129 816.27/816.64 c 749s | 25 | 10133842 | 6429598 | 1674 8032 | 56 | 129 818.27/818.65 c 751s | 25 | 10167299 | 6448598 | 1674 8053 | 56 | 129 820.28/820.66 c 753s | 25 | 10197415 | 6466298 | 1674 8072 | 56 | 129 822.27/822.67 c 755s | 25 | 10230076 | 6485198 | 1674 8093 | 56 | 129 824.27/824.68 c 757s | 25 | 10263428 | 6503898 | 1674 8114 | 56 | 129 826.27/826.68 c 759s | 25 | 10295449 | 6521198 | 1674 8133 | 56 | 129 828.27/828.69 c 761s | 25 | 10329738 | 6539898 | 1674 8153 | 56 | 129 830.28/830.70 c 763s | 25 | 10362417 | 6558998 | 1674 8175 | 56 | 129 832.27/832.70 c 765s | 25 | 10393664 | 6577998 | 1674 8195 | 56 | 129 834.37/834.70 c 767s | 25 | 10424018 | 6596298 | 1674 8216 | 56 | 129 836.37/836.71 c 769s | 25 | 10456263 | 6615398 | 1674 8237 | 56 | 129 838.37/838.71 c 771s | 25 | 10486120 | 6633398 | 1674 8257 | 56 | 129 840.37/840.71 c 773s | 25 | 10518602 | 6652998 | 1674 8278 | 56 | 129 842.37/842.72 c 775s | 25 | 10550668 | 6672098 | 1674 8299 | 56 | 129 844.37/844.73 c 777s | 25 | 10581568 | 6690498 | 1674 8320 | 56 | 129 846.37/846.74 c 779s | 25 | 10613076 | 6709098 | 1674 8340 | 56 | 129 848.37/848.74 c 781s | 25 | 10642539 | 6726698 | 1674 8359 | 56 | 129 850.36/850.74 c 783s | 25 | 10670650 | 6743998 | 1674 8378 | 56 | 129 852.36/852.76 c 785s | 25 | 10697313 | 6761198 | 1674 8397 | 56 | 129 854.37/854.77 c 787s | 25 | 10726367 | 6779298 | 1674 8417 | 56 | 129 856.36/856.78 c 789s | 25 | 10754213 | 6796598 | 1674 8437 | 56 | 129 858.36/858.79 c 791s | 25 | 10783120 | 6813798 | 1674 8456 | 56 | 129 860.46/860.80 c 793s | 25 | 10810966 | 6831198 | 1674 8475 | 56 | 129 862.46/862.80 c 795s | 25 | 10841011 | 6849398 | 1842 8493 | 56 | 129 864.46/864.81 c 797s | 25 | 10871634 | 6867498 | 1842 8511 | 56 | 129 866.47/866.81 c 799s | 25 | 10902816 | 6885798 | 1842 8530 | 56 | 129 868.46/868.82 c 801s | 25 | 10933168 | 6903498 | 1842 8548 | 56 | 129 870.47/870.82 c 803s | 25 | 10964388 | 6921298 | 1842 8566 | 56 | 129 872.47/872.83 c 805s | 25 | 10996189 | 6939198 | 1842 8584 | 56 | 129 874.47/874.84 c 807s | 25 | 11028513 | 6957698 | 1842 8602 | 56 | 129 876.47/876.84 c 809s | 25 | 11062668 | 6976798 | 1842 8622 | 56 | 129 878.46/878.85 c 811s | 25 | 11096437 | 6996098 | 1842 8641 | 56 | 129 880.46/880.85 c 813s | 25 | 11127614 | 7014198 | 1842 8659 | 56 | 129 882.46/882.86 c 815s | 25 | 11159551 | 7031598 | 1842 8677 | 56 | 129 884.46/884.87 c 817s | 25 | 11189175 | 7048898 | 1842 8694 | 56 | 129 886.46/886.87 c 819s | 25 | 11219537 | 7066598 | 1842 8712 | 56 | 129 888.47/888.87 c 821s | 25 | 11247132 | 7082898 | 1842 8729 | 56 | 129 890.46/890.88 c 823s | 25 | 11276424 | 7098698 | 1842 8744 | 56 | 129 892.46/892.88 c 825s | 25 | 11305205 | 7114398 | 1842 8760 | 56 | 129 894.46/894.88 c 827s | 25 | 11333123 | 7130198 | 1842 8776 | 56 | 129 896.46/896.89 c 829s | 25 | 11361424 | 7146798 | 1842 8793 | 56 | 129 898.56/898.90 c 831s | 25 | 11389237 | 7162598 | 1842 8809 | 56 | 129 900.56/900.90 c 833s | 25 | 11414470 | 7177498 | 1842 8824 | 56 | 129 902.56/902.92 c 835s | 25 | 11439035 | 7192198 | 1842 8839 | 56 | 129 904.56/904.92 c 837s | 25 | 11468369 | 7210098 | 1842 8857 | 56 | 129 906.56/906.93 c 839s | 25 | 11501985 | 7229398 | 1842 8876 | 56 | 129 908.56/908.93 c 841s | 25 | 11533085 | 7247898 | 1842 8895 | 56 | 129 910.56/910.94 c 843s | 25 | 11563702 | 7266398 | 1842 8914 | 56 | 129 912.56/912.95 c 845s | 25 | 11590083 | 7282398 | 1842 8930 | 56 | 129 914.55/914.96 c 847s | 25 | 11617453 | 7297998 | 1842 8946 | 56 | 129 916.55/916.97 c 849s | 25 | 11643408 | 7313498 | 1842 8961 | 56 | 129 918.55/918.98 c 851s | 25 | 11669279 | 7328698 | 1842 8977 | 56 | 129 920.55/920.98 c 853s | 25 | 11695595 | 7343598 | 1842 8992 | 56 | 129 922.56/922.99 c 855s | 25 | 11722314 | 7358598 | 1842 9007 | 56 | 129 924.65/925.00 c 857s | 25 | 11748519 | 7373698 | 1842 9022 | 56 | 129 926.65/927.00 c 859s | 25 | 11774715 | 7388398 | 1842 9037 | 56 | 129 928.65/929.01 c 861s | 25 | 11801145 | 7403398 | 1842 9052 | 56 | 129 930.65/931.01 c 863s | 25 | 11827229 | 7418298 | 1842 9067 | 56 | 129 932.65/933.01 c 865s | 25 | 11854449 | 7433298 | 1842 9082 | 56 | 129 934.66/935.02 c 867s | 25 | 11885863 | 7450898 | 1842 9100 | 56 | 129 936.66/937.02 c 869s | 25 | 11918302 | 7469198 | 1842 9118 | 56 | 129 938.66/939.03 c 871s | 25 | 11951378 | 7487498 | 1842 9137 | 56 | 129 940.65/941.03 c 873s | 25 | 11980641 | 7504798 | 1842 9154 | 56 | 129 942.65/943.05 c 875s | 25 | 12011360 | 7522698 | 1842 9172 | 56 | 129 944.66/945.05 c 877s | 25 | 12040078 | 7539798 | 1842 9190 | 56 | 129 946.65/947.05 c 879s | 25 | 12069549 | 7556898 | 1842 9207 | 56 | 129 948.65/949.06 c 881s | 25 | 12097349 | 7573298 | 1842 9223 | 56 | 129 950.65/951.07 c 883s | 25 | 12123675 | 7589298 | 1842 9240 | 56 | 129 951.75/952.12 c 884s | 26 | 12138339 | 7597752 | 1842 9248 | 56 | 129 953.75/954.13 c 886s | 26 | 12174499 | 7617852 | 1842 9269 | 56 | 129 955.75/956.13 c 888s | 26 | 12208370 | 7637652 | 1842 9289 | 56 | 129 957.75/958.14 c 890s | 26 | 12243620 | 7657552 | 1842 9309 | 56 | 129 959.75/960.14 c 892s | 26 | 12277214 | 7676552 | 1842 9329 | 56 | 129 961.75/962.14 c 894s | 26 | 12310331 | 7696352 | 1842 9349 | 56 | 129 963.75/964.15 c 896s | 26 | 12341793 | 7715152 | 1842 9369 | 56 | 129 965.75/966.15 c 898s | 26 | 12372132 | 7734052 | 1842 9388 | 56 | 129 967.75/968.16 c 900s | 26 | 12402616 | 7752552 | 1842 9407 | 56 | 129 969.75/970.17 c 902s | 26 | 12434153 | 7771652 | 1842 9427 | 56 | 129 971.75/972.18 c 904s | 26 | 12469141 | 7791152 | 1842 9447 | 56 | 129 973.75/974.19 c 906s | 26 | 12505685 | 7811252 | 1842 9467 | 56 | 129 975.75/976.19 c 908s | 26 | 12538045 | 7830752 | 1842 9487 | 56 | 129 977.85/978.20 c 910s | 26 | 12570940 | 7850152 | 1842 9507 | 56 | 129 979.75/980.20 c 912s | 26 | 12603310 | 7868952 | 1842 9526 | 56 | 129 981.84/982.20 c 914s | 26 | 12635546 | 7888452 | 1842 9546 | 56 | 129 983.84/984.20 c 916s | 26 | 12669138 | 7908152 | 1842 9567 | 56 | 129 985.84/986.21 c 919s | 26 | 12701228 | 7927652 | 1842 9587 | 56 | 129 987.84/988.22 c 921s | 26 | 12733984 | 7947252 | 1842 9607 | 56 | 129 989.84/990.22 c 923s | 26 | 12767415 | 7966352 | 1842 9626 | 56 | 129 991.85/992.22 c 925s | 26 | 12798791 | 7985652 | 1842 9646 | 56 | 129 993.84/994.22 c 927s | 26 | 12831476 | 8005052 | 1842 9666 | 56 | 129 995.84/996.23 c 929s | 26 | 12865467 | 8024552 | 1842 9686 | 56 | 129 997.84/998.24 c 931s | 26 | 12897996 | 8043452 | 1842 9706 | 56 | 129 999.84/1000.24 c 933s | 26 | 12930666 | 8063052 | 1842 9726 | 56 | 129 1001.85/1002.25 c 935s | 26 | 12963703 | 8082452 | 1842 9746 | 56 | 129 1003.84/1004.26 c 937s | 26 | 12997457 | 8101752 | 1842 9765 | 56 | 129 1005.84/1006.27 c 939s | 26 | 13029864 | 8120952 | 1842 9785 | 56 | 129 1007.84/1008.28 c 941s | 26 | 13060896 | 8139152 | 1842 9804 | 56 | 129 1009.84/1010.28 c 943s | 26 | 13092969 | 8158852 | 1842 9824 | 56 | 129 1011.84/1012.29 c 945s | 26 | 13119164 | 8176552 | 1842 9841 | 56 | 129 1013.84/1014.29 c 947s | 26 | 13144223 | 8192952 | 1842 9857 | 56 | 129 1015.94/1016.30 c 949s | 26 | 13170036 | 8210552 | 1842 9874 | 56 | 129 1017.94/1018.31 c 951s | 26 | 13193851 | 8227052 | 1842 9891 | 56 | 129 1019.94/1020.33 c 953s | 26 | 13217314 | 8242252 | 1842 9905 | 56 | 129 1021.94/1022.34 c 955s | 26 | 13238435 | 8256752 | 1842 9919 | 56 | 129 1023.94/1024.35 c 957s | 26 | 13258501 | 8270852 | 1842 9933 | 56 | 129 1025.95/1026.36 c 959s | 26 | 13278415 | 8284552 | 1842 9946 | 56 | 129 1027.94/1028.36 c 961s | 26 | 13298469 | 8298652 | 1842 9960 | 56 | 129 1029.94/1030.37 c 963s | 26 | 13321859 | 8314052 | 1842 9975 | 56 | 129 1031.94/1032.37 c 965s | 26 | 13345124 | 8329052 | 1842 9990 | 56 | 129 1033.94/1034.38 c 967s | 26 | 13367807 | 8343752 | 1842 10005 | 56 | 129 1035.95/1036.38 c 969s | 26 | 13392309 | 8359652 | 1842 10020 | 56 | 129 1037.94/1038.39 c 971s | 26 | 13413764 | 8374452 | 1842 10035 | 56 | 129 1039.93/1040.39 c 973s | 26 | 13436232 | 8389652 | 1842 10050 | 56 | 129 1041.93/1042.39 c 975s | 26 | 13462486 | 8406952 | 1842 10067 | 56 | 129 1044.03/1044.40 c 977s | 26 | 13490038 | 8424652 | 1842 10085 | 56 | 129 1046.03/1046.41 c 979s | 26 | 13515165 | 8441352 | 1842 10101 | 56 | 129 1048.04/1048.42 c 981s | 26 | 13541710 | 8458752 | 1842 10119 | 56 | 129 1050.03/1050.42 c 983s | 26 | 13566385 | 8475052 | 1842 10135 | 56 | 129 1052.03/1052.42 c 985s | 26 | 13590416 | 8490952 | 1842 10151 | 56 | 129 1054.04/1054.42 c 987s | 26 | 13614029 | 8506852 | 1842 10167 | 56 | 129 1056.04/1056.43 c 989s | 26 | 13635712 | 8521752 | 1842 10181 | 56 | 129 1058.04/1058.43 c 991s | 26 | 13655527 | 8535252 | 1842 10195 | 56 | 129 1060.04/1060.45 c 993s | 26 | 13673649 | 8548252 | 1842 10207 | 56 | 129 1062.04/1062.46 c 995s | 26 | 13691402 | 8560752 | 1842 10220 | 56 | 129 1064.04/1064.47 c 997s | 26 | 13709395 | 8573652 | 1842 10232 | 56 | 129 1066.04/1066.48 c 999s | 26 | 13731684 | 8588952 | 1842 10248 | 56 | 129 1068.14/1068.50 c 1001s | 26 | 13753515 | 8603852 | 1842 10263 | 56 | 129 1070.14/1070.50 c 1003s | 26 | 13777103 | 8619552 | 1842 10278 | 56 | 129 1072.14/1072.51 c 1005s | 26 | 13798266 | 8634452 | 1842 10293 | 56 | 129 1074.13/1074.51 c 1007s | 26 | 13819408 | 8647852 | 1842 10306 | 56 | 129 1076.13/1076.52 c 1009s | 26 | 13844353 | 8662852 | 1842 10321 | 56 | 129 1078.13/1078.52 c 1011s | 26 | 13867712 | 8676552 | 1842 10335 | 56 | 129 1080.13/1080.54 c 1013s | 26 | 13882632 | 8687352 | 1842 10345 | 56 | 129 1082.14/1082.55 c 1015s | 26 | 13899877 | 8698652 | 1842 10356 | 56 | 129 1084.13/1084.56 c 1017s | 26 | 13916908 | 8710352 | 1842 10368 | 56 | 129 1086.13/1086.57 c 1019s | 26 | 13940714 | 8725352 | 1842 10383 | 56 | 129 1088.13/1088.58 c 1021s | 26 | 13962391 | 8740052 | 1842 10397 | 56 | 129 1090.13/1090.59 c 1023s | 26 | 13983661 | 8753852 | 1842 10411 | 56 | 129 1092.23/1092.60 c 1025s | 26 | 14008521 | 8768852 | 1842 10426 | 56 | 129 1094.13/1094.60 c 1027s | 26 | 14029596 | 8782652 | 1842 10440 | 56 | 129 1096.23/1096.61 c 1029s | 26 | 14051896 | 8796852 | 1842 10454 | 56 | 129 1098.23/1098.62 c 1031s | 26 | 14074633 | 8811552 | 1842 10469 | 56 | 129 1100.23/1100.63 c 1033s | 26 | 14095626 | 8825452 | 1842 10483 | 56 | 129 1102.23/1102.64 c 1035s | 26 | 14117680 | 8840152 | 1842 10497 | 56 | 129 1104.22/1104.64 c 1037s | 26 | 14139356 | 8854552 | 1842 10512 | 56 | 129 1106.23/1106.65 c 1039s | 26 | 14162428 | 8869652 | 1842 10527 | 56 | 129 1108.22/1108.65 c 1041s | 26 | 14193995 | 8889552 | 1842 10547 | 56 | 129 1110.22/1110.65 c 1043s | 26 | 14226224 | 8909752 | 1842 10568 | 56 | 129 1112.22/1112.66 c 1045s | 26 | 14256261 | 8928652 | 1842 10587 | 56 | 129 1114.22/1114.66 c 1047s | 26 | 14280577 | 8945352 | 1842 10604 | 56 | 129 1116.23/1116.67 c 1049s | 26 | 14312600 | 8964652 | 1842 10624 | 56 | 129 1118.22/1118.68 c 1051s | 26 | 14346635 | 8985152 | 1842 10645 | 56 | 129 1120.23/1120.69 c 1053s | 26 | 14375585 | 9003852 | 1842 10663 | 56 | 129 1122.23/1122.69 c 1055s | 26 | 14401417 | 9020752 | 1842 10680 | 56 | 129 1124.33/1124.70 c 1057s | 26 | 14434661 | 9039752 | 1842 10699 | 56 | 129 1126.33/1126.71 c 1059s | 26 | 14462975 | 9056752 | 1842 10716 | 56 | 129 1128.34/1128.72 c 1061s | 26 | 14489976 | 9073452 | 1842 10733 | 56 | 129 1130.33/1130.72 c 1063s | 26 | 14516359 | 9090752 | 1842 10750 | 56 | 129 1132.33/1132.73 c 1065s | 26 | 14542289 | 9107452 | 1842 10767 | 56 | 129 1134.33/1134.74 c 1067s | 26 | 14569263 | 9123952 | 1842 10784 | 56 | 129 1136.33/1136.75 c 1069s | 26 | 14597830 | 9140552 | 1842 10800 | 56 | 129 1138.33/1138.75 c 1071s | 26 | 14625026 | 9157252 | 1842 10817 | 56 | 129 1140.33/1140.75 c 1073s | 26 | 14651971 | 9173752 | 1842 10833 | 56 | 129 1142.33/1142.76 c 1075s | 26 | 14679012 | 9189952 | 1842 10850 | 56 | 129 1144.33/1144.78 c 1077s | 26 | 14703760 | 9205652 | 1842 10865 | 56 | 129 1146.32/1146.79 c 1079s | 26 | 14739918 | 9226552 | 1842 10887 | 56 | 129 1148.32/1148.79 c 1081s | 26 | 14775375 | 9247452 | 1842 10908 | 56 | 129 1150.42/1150.80 c 1083s | 26 | 14808489 | 9267252 | 1842 10928 | 56 | 129 1152.43/1152.81 c 1085s | 26 | 14841345 | 9286852 | 1842 10948 | 56 | 129 1154.42/1154.81 c 1087s | 26 | 14875110 | 9306552 | 1842 10969 | 56 | 129 1156.42/1156.82 c 1089s | 26 | 14911510 | 9327552 | 1842 10990 | 56 | 129 1158.42/1158.82 c 1091s | 26 | 14946140 | 9347652 | 1842 11011 | 56 | 129 1160.42/1160.83 c 1093s | 26 | 14979287 | 9366652 | 1842 11030 | 56 | 129 1162.42/1162.83 c 1095s | 26 | 15011375 | 9385552 | 1842 11049 | 56 | 129 1164.42/1164.84 c 1097s | 26 | 15042563 | 9403952 | 1842 11068 | 56 | 129 1166.41/1166.85 c 1099s | 26 | 15074815 | 9423252 | 1842 11087 | 56 | 129 1168.41/1168.85 c 1101s | 26 | 15099646 | 9440352 | 1842 11104 | 56 | 129 1170.41/1170.85 c 1103s | 26 | 15125848 | 9458452 | 1842 11122 | 56 | 129 1172.42/1172.86 c 1105s | 26 | 15149003 | 9474252 | 1842 11137 | 56 | 129 1174.43/1174.87 c 1107s | 26 | 15170870 | 9489452 | 1842 11152 | 56 | 129 1176.42/1176.87 c 1109s | 26 | 15196850 | 9507252 | 1842 11170 | 56 | 129 1178.42/1178.87 c 1111s | 26 | 15224152 | 9525452 | 1842 11188 | 56 | 129 1180.42/1180.88 c 1113s | 26 | 15249327 | 9542952 | 1842 11205 | 56 | 129 1182.42/1182.88 c 1115s | 26 | 15273876 | 9560252 | 1842 11222 | 56 | 129 1184.43/1184.89 c 1117s | 26 | 15294341 | 9574652 | 1842 11236 | 56 | 129 1186.52/1186.90 c 1119s | 26 | 15315458 | 9589052 | 1842 11250 | 56 | 129 1188.52/1188.91 c 1121s | 26 | 15339329 | 9604852 | 1842 11266 | 56 | 129 1190.52/1190.92 c 1123s | 26 | 15364990 | 9622152 | 1842 11283 | 56 | 129 1192.52/1192.92 c 1125s | 26 | 15389806 | 9639552 | 1842 11300 | 56 | 129 1194.52/1194.93 c 1127s | 26 | 15412541 | 9655952 | 1842 11316 | 56 | 129 1196.52/1196.93 c 1129s | 26 | 15435146 | 9671752 | 1842 11331 | 56 | 129 1198.51/1198.94 c 1131s | 26 | 15456232 | 9686752 | 1842 11346 | 56 | 129 1200.51/1200.94 c 1133s | 26 | 15480758 | 9703952 | 1842 11363 | 56 | 129 1202.51/1202.95 c 1135s | 26 | 15508859 | 9722352 | 1842 11381 | 56 | 129 1204.51/1204.96 c 1137s | 26 | 15533367 | 9738952 | 1842 11398 | 56 | 129 1206.51/1206.96 c 1139s | 26 | 15562007 | 9756552 | 1842 11416 | 56 | 129 1208.52/1208.96 c 1141s | 26 | 15586872 | 9772852 | 1842 11432 | 56 | 129 1210.51/1210.97 c 1143s | 26 | 15611904 | 9789752 | 1842 11449 | 56 | 129 1212.51/1212.97 c 1145s | 26 | 15636156 | 9805352 | 1842 11464 | 56 | 129 1214.51/1214.97 c 1147s | 26 | 15661186 | 9821152 | 1842 11480 | 56 | 129 1216.51/1216.99 c 1149s | 26 | 15684769 | 9836852 | 1842 11496 | 56 | 129 1218.61/1219.00 c 1151s | 26 | 15707443 | 9852752 | 1842 11511 | 56 | 129 1220.61/1221.01 c 1153s | 26 | 15729823 | 9868452 | 1842 11527 | 56 | 129 1222.61/1223.01 c 1155s | 26 | 15754906 | 9885852 | 1842 11544 | 56 | 129 1224.60/1225.02 c 1157s | 26 | 15784591 | 9904352 | 1842 11563 | 56 | 129 1226.60/1227.03 c 1159s | 26 | 15812476 | 9921652 | 1842 11580 | 56 | 129 1228.61/1229.04 c 1161s | 26 | 15837841 | 9938052 | 1842 11596 | 56 | 129 1230.62/1231.04 c 1163s | 26 | 15862671 | 9954052 | 1842 11612 | 56 | 129 1232.61/1233.05 c 1165s | 26 | 15886046 | 9969452 | 1842 11627 | 56 | 129 1234.61/1235.05 c 1167s | 26 | 15913122 | 9987152 | 1842 11645 | 56 | 129 1236.61/1237.07 c 1169s | 26 | 15939002 | 10003652 | 1842 11662 | 56 | 129 1238.61/1239.08 c 1171s | 26 | 15963005 | 10019252 | 1842 11677 | 56 | 129 1240.61/1241.08 c 1173s | 26 | 15986937 | 10034652 | 1842 11692 | 56 | 129 1242.61/1243.09 c 1175s | 26 | 16010187 | 10049552 | 1842 11707 | 56 | 129 1244.71/1245.10 c 1177s | 26 | 16032976 | 10064452 | 1842 11722 | 56 | 129 1246.71/1247.11 c 1179s | 26 | 16056797 | 10080052 | 1842 11738 | 56 | 129 1248.70/1249.11 c 1181s | 26 | 16080037 | 10095152 | 1842 11753 | 56 | 129 1250.70/1251.11 c 1183s | 26 | 16102840 | 10110552 | 1842 11768 | 56 | 129 1252.70/1253.12 c 1185s | 26 | 16127562 | 10126652 | 1842 11784 | 56 | 129 1254.71/1255.13 c 1187s | 26 | 16151083 | 10142152 | 1842 11800 | 56 | 129 1256.70/1257.14 c 1189s | 26 | 16174100 | 10157752 | 1842 11815 | 56 | 129 1258.70/1259.14 c 1191s | 26 | 16199012 | 10173852 | 1842 11831 | 56 | 129 1260.70/1261.15 c 1193s | 26 | 16223769 | 10189852 | 1842 11847 | 56 | 129 1262.70/1263.16 c 1195s | 26 | 16248379 | 10205552 | 1842 11863 | 56 | 129 1264.71/1265.16 c 1197s | 26 | 16270507 | 10220652 | 1842 11878 | 56 | 129 1266.70/1267.16 c 1199s | 26 | 16295460 | 10236452 | 1842 11894 | 56 | 129 1268.71/1269.17 c 1201s | 26 | 16317129 | 10251752 | 1842 11909 | 56 | 129 1270.70/1271.17 c 1203s | 26 | 16338057 | 10266152 | 1842 11923 | 56 | 129 1272.70/1273.18 c 1205s | 26 | 16361974 | 10281552 | 1842 11939 | 56 | 129 1274.70/1275.19 c 1207s | 26 | 16386049 | 10296752 | 1842 11954 | 56 | 129 1276.71/1277.19 c 1209s | 26 | 16408011 | 10311352 | 1842 11968 | 56 | 129 1278.80/1279.20 c 1211s | 26 | 16431809 | 10327352 | 1842 11984 | 56 | 129 1280.80/1281.21 c 1213s | 26 | 16454047 | 10342752 | 1842 12000 | 56 | 129 1282.80/1283.22 c 1216s | 26 | 16475406 | 10357652 | 1842 12015 | 56 | 129 1284.80/1285.22 c 1218s | 26 | 16495982 | 10371952 | 1842 12029 | 56 | 129 1286.80/1287.23 c 1220s | 26 | 16517444 | 10386952 | 1842 12044 | 56 | 129 1288.80/1289.24 c 1222s | 26 | 16538872 | 10401852 | 1842 12059 | 56 | 129 1290.80/1291.25 c 1224s | 26 | 16561192 | 10416852 | 1842 12074 | 56 | 129 1292.80/1293.25 c 1226s | 26 | 16581801 | 10431052 | 1842 12088 | 56 | 129 1294.80/1295.25 c 1228s | 26 | 16602455 | 10445252 | 1842 12102 | 56 | 129 1296.80/1297.25 c 1230s | 26 | 16624114 | 10460352 | 1842 12117 | 56 | 129 1298.81/1299.27 c 1232s | 26 | 16646266 | 10475652 | 1842 12132 | 56 | 129 1300.80/1301.28 c 1234s | 26 | 16666797 | 10490152 | 1842 12147 | 56 | 129 1302.80/1303.28 c 1236s | 26 | 16687259 | 10504252 | 1842 12161 | 56 | 129 1304.80/1305.29 c 1238s | 26 | 16708920 | 10519452 | 1842 12176 | 56 | 129 1306.80/1307.29 c 1240s | 26 | 16730658 | 10534452 | 1842 12191 | 56 | 129 1308.90/1309.31 c 1242s | 26 | 16751771 | 10549152 | 1842 12206 | 56 | 129 1310.90/1311.31 c 1244s | 26 | 16773221 | 10564052 | 1842 12221 | 56 | 129 1312.90/1313.32 c 1246s | 26 | 16794139 | 10578552 | 1842 12235 | 56 | 129 1314.90/1315.33 c 1248s | 26 | 16814357 | 10593052 | 1842 12250 | 56 | 129 1316.90/1317.33 c 1250s | 26 | 16841161 | 10611152 | 2027 12267 | 56 | 129 1318.90/1319.33 c 1252s | 26 | 16864043 | 10626752 | 2027 12281 | 56 | 129 1320.90/1321.34 c 1254s | 26 | 16889573 | 10644452 | 2027 12297 | 56 | 129 1322.90/1323.35 c 1256s | 26 | 16916521 | 10661752 | 2027 12313 | 56 | 129 1324.89/1325.36 c 1258s | 26 | 16939842 | 10677252 | 2027 12327 | 56 | 129 1326.89/1327.37 c 1260s | 26 | 16959532 | 10691252 | 2027 12339 | 56 | 129 1328.89/1329.38 c 1262s | 26 | 16980109 | 10705552 | 2027 12353 | 56 | 129 1330.89/1331.39 c 1264s | 26 | 17000741 | 10719552 | 2027 12365 | 56 | 129 1332.99/1333.40 c 1266s | 26 | 17022387 | 10734052 | 2027 12378 | 56 | 129 1335.00/1335.41 c 1268s | 26 | 17043995 | 10748852 | 2027 12392 | 56 | 129 1336.99/1337.41 c 1270s | 26 | 17065686 | 10763652 | 2027 12405 | 56 | 129 1338.99/1339.41 c 1272s | 26 | 17089215 | 10778452 | 2027 12419 | 56 | 129 1340.99/1341.42 c 1274s | 26 | 17108860 | 10792252 | 2027 12431 | 56 | 129 1342.99/1343.43 c 1276s | 26 | 17131819 | 10808152 | 2027 12446 | 56 | 129 1345.00/1345.44 c 1278s | 26 | 17158488 | 10825352 | 2027 12461 | 56 | 129 1346.99/1347.45 c 1280s | 26 | 17182921 | 10841752 | 2027 12476 | 56 | 129 1348.99/1349.45 c 1282s | 26 | 17206248 | 10857852 | 2027 12491 | 56 | 129 1350.99/1351.46 c 1284s | 26 | 17228702 | 10873652 | 2027 12505 | 56 | 129 1352.99/1353.47 c 1286s | 26 | 17251601 | 10889152 | 2027 12519 | 56 | 129 1354.99/1355.48 c 1288s | 26 | 17275467 | 10905052 | 2027 12534 | 56 | 129 1356.99/1357.48 c 1290s | 26 | 17297824 | 10920452 | 2027 12548 | 56 | 129 1358.99/1359.49 c 1292s | 26 | 17321603 | 10937352 | 2027 12563 | 56 | 129 1360.99/1361.50 c 1294s | 26 | 17345330 | 10953852 | 2027 12578 | 56 | 129 1363.09/1363.50 c 1296s | 26 | 17370464 | 10970752 | 2027 12593 | 56 | 129 1365.09/1365.51 c 1298s | 26 | 17395423 | 10987152 | 2027 12608 | 56 | 129 1367.09/1367.52 c 1300s | 26 | 17422663 | 11004452 | 2027 12624 | 56 | 129 1369.09/1369.52 c 1302s | 26 | 17448036 | 11020652 | 2027 12639 | 56 | 129 1371.08/1371.52 c 1304s | 26 | 17471283 | 11036352 | 2027 12653 | 56 | 129 1373.08/1373.53 c 1306s | 26 | 17492494 | 11051152 | 2027 12666 | 56 | 129 1375.08/1375.54 c 1308s | 26 | 17515849 | 11067352 | 2027 12681 | 56 | 129 1377.08/1377.55 c 1310s | 26 | 17538144 | 11082552 | 2027 12695 | 56 | 129 1379.09/1379.57 c 1312s | 26 | 17560297 | 11097952 | 2027 12709 | 56 | 129 1381.08/1381.57 c 1314s | 26 | 17582268 | 11113052 | 2027 12723 | 56 | 129 1383.08/1383.59 c 1316s | 26 | 17604181 | 11128052 | 2027 12736 | 56 | 129 1385.08/1385.59 c 1318s | 26 | 17631250 | 11144752 | 2027 12752 | 56 | 129 1387.09/1387.59 c 1320s | 26 | 17661528 | 11162752 | 2027 12768 | 56 | 129 1389.09/1389.59 c 1322s | 26 | 17688867 | 11180052 | 2027 12784 | 56 | 129 1391.09/1391.60 c 1324s | 26 | 17716104 | 11197452 | 2027 12800 | 56 | 129 1393.19/1393.60 c 1326s | 26 | 17743068 | 11214752 | 2027 12815 | 56 | 129 1395.19/1395.61 c 1328s | 26 | 17769828 | 11231552 | 2027 12831 | 56 | 129 1397.18/1397.62 c 1330s | 26 | 17794365 | 11247452 | 2027 12845 | 56 | 129 1399.18/1399.62 c 1332s | 26 | 17818668 | 11262852 | 2027 12859 | 56 | 129 1401.18/1401.63 c 1334s | 26 | 17843899 | 11278652 | 2027 12873 | 56 | 129 1403.19/1403.64 c 1336s | 26 | 17867864 | 11293852 | 2027 12887 | 56 | 129 1405.18/1405.65 c 1338s | 26 | 17893718 | 11310052 | 2027 12902 | 56 | 129 1407.18/1407.66 c 1340s | 26 | 17918922 | 11325752 | 2027 12916 | 56 | 129 1409.18/1409.68 c 1342s | 26 | 17942935 | 11341252 | 2027 12931 | 56 | 129 1411.18/1411.68 c 1344s | 26 | 17965979 | 11356252 | 2027 12944 | 56 | 129 1413.19/1413.69 c 1346s | 26 | 17989494 | 11371352 | 2027 12958 | 56 | 129 1415.18/1415.69 c 1348s | 26 | 18013413 | 11386752 | 2027 12972 | 56 | 129 1416.58/1417.02 c 1349s | 27 | 18028649 | 11396733 | 2027 12981 | 56 | 129 1418.59/1419.03 c 1351s | 27 | 18058444 | 11414033 | 2027 12997 | 56 | 129 1420.58/1421.04 c 1353s | 27 | 18085725 | 11430133 | 2027 13012 | 56 | 129 1422.58/1423.05 c 1355s | 27 | 18114264 | 11446333 | 2027 13026 | 56 | 129 1424.58/1425.05 c 1357s | 27 | 18140544 | 11461333 | 2027 13040 | 56 | 129 1426.58/1427.06 c 1359s | 27 | 18167244 | 11476533 | 2027 13054 | 56 | 129 1428.59/1429.06 c 1361s | 27 | 18193720 | 11491433 | 2027 13067 | 56 | 129 1430.58/1431.07 c 1363s | 27 | 18220069 | 11506733 | 2027 13081 | 56 | 129 1432.58/1433.08 c 1365s | 27 | 18245494 | 11521633 | 2027 13095 | 56 | 129 1434.58/1435.09 c 1367s | 27 | 18272636 | 11537133 | 2027 13109 | 56 | 129 1436.58/1437.10 c 1369s | 27 | 18297797 | 11552233 | 2027 13122 | 56 | 129 1438.68/1439.11 c 1371s | 27 | 18322872 | 11567333 | 2027 13136 | 56 | 129 1440.69/1441.12 c 1373s | 27 | 18345360 | 11581333 | 2027 13149 | 56 | 129 1442.68/1443.14 c 1375s | 27 | 18368399 | 11595233 | 2027 13162 | 56 | 129 1444.68/1445.14 c 1377s | 27 | 18391390 | 11609033 | 2027 13174 | 56 | 129 1446.68/1447.14 c 1379s | 27 | 18415241 | 11623033 | 2027 13187 | 56 | 129 1448.68/1449.15 c 1381s | 27 | 18439685 | 11637633 | 2027 13200 | 56 | 129 1450.68/1451.15 c 1383s | 27 | 18463979 | 11651633 | 2027 13213 | 56 | 129 1452.68/1453.16 c 1385s | 27 | 18488637 | 11665733 | 2027 13226 | 56 | 129 1454.68/1455.18 c 1387s | 27 | 18512366 | 11680033 | 2027 13239 | 56 | 129 1456.67/1457.18 c 1389s | 27 | 18537434 | 11695133 | 2027 13252 | 56 | 129 1458.67/1459.19 c 1391s | 27 | 18561746 | 11709833 | 2027 13266 | 56 | 129 1460.77/1461.20 c 1393s | 27 | 18585504 | 11723633 | 2027 13278 | 56 | 129 1462.77/1463.21 c 1395s | 27 | 18608845 | 11737633 | 2027 13291 | 56 | 129 1464.78/1465.21 c 1398s | 27 | 18633191 | 11752033 | 2027 13304 | 56 | 129 1466.77/1467.23 c 1400s | 27 | 18656642 | 11765733 | 2027 13316 | 56 | 129 1468.77/1469.23 c 1402s | 27 | 18678772 | 11779033 | 2027 13329 | 56 | 129 1470.77/1471.25 c 1404s | 27 | 18706405 | 11794733 | 2027 13343 | 56 | 129 1472.77/1473.25 c 1406s | 27 | 18729279 | 11808233 | 2027 13355 | 56 | 129 1474.78/1475.26 c 1408s | 27 | 18753344 | 11822233 | 2027 13368 | 56 | 129 1476.77/1477.26 c 1410s | 27 | 18779904 | 11837133 | 2027 13381 | 56 | 129 1478.77/1479.27 c 1412s | 27 | 18803482 | 11850633 | 2027 13394 | 56 | 129 1480.77/1481.27 c 1414s | 27 | 18825796 | 11863833 | 2027 13406 | 56 | 129 1482.77/1483.28 c 1416s | 27 | 18849449 | 11877633 | 2027 13418 | 56 | 129 1484.87/1485.30 c 1418s | 27 | 18870996 | 11890333 | 2027 13430 | 56 | 129 1486.87/1487.31 c 1420s | 27 | 18891987 | 11902833 | 2027 13441 | 56 | 129 1488.87/1489.33 c 1422s | 27 | 18912647 | 11915133 | 2027 13452 | 56 | 129 1490.87/1491.33 c 1424s | 27 | 18936738 | 11930233 | 2027 13466 | 56 | 129 1492.87/1493.33 c 1426s | 27 | 18961202 | 11945333 | 2027 13480 | 56 | 129 1494.87/1495.34 c 1428s | 27 | 18986178 | 11961233 | 2027 13494 | 56 | 129 1496.87/1497.34 c 1430s | 27 | 19009062 | 11976633 | 2027 13508 | 56 | 129 1498.87/1499.34 c 1432s | 27 | 19042908 | 11998733 | 2027 13529 | 56 | 129 1500.86/1501.34 c 1434s | 27 | 19072570 | 12017233 | 2027 13546 | 56 | 129 1502.86/1503.35 c 1436s | 27 | 19104747 | 12035833 | 2027 13563 | 56 | 129 1504.86/1505.35 c 1438s | 27 | 19133258 | 12053533 | 2027 13580 | 56 | 129 1506.87/1507.36 c 1440s | 27 | 19161232 | 12071033 | 2027 13596 | 56 | 129 1508.88/1509.36 c 1442s | 27 | 19191230 | 12089633 | 2027 13613 | 56 | 129 1510.87/1511.37 c 1444s | 27 | 19218213 | 12107133 | 2027 13630 | 56 | 129 1512.87/1513.37 c 1446s | 27 | 19247172 | 12125233 | 2027 13646 | 56 | 129 1514.87/1515.38 c 1448s | 27 | 19273261 | 12141633 | 2027 13662 | 56 | 129 1516.87/1517.39 c 1450s | 27 | 19297581 | 12157233 | 2027 13676 | 56 | 129 1518.87/1519.39 c 1452s | 27 | 19321896 | 12173433 | 2027 13691 | 56 | 129 1520.87/1521.40 c 1454s | 27 | 19346586 | 12189033 | 2027 13706 | 56 | 129 1522.96/1523.41 c 1456s | 27 | 19371392 | 12205333 | 2027 13721 | 56 | 129 1524.96/1525.42 c 1458s | 27 | 19396446 | 12221133 | 2027 13735 | 56 | 129 1526.96/1527.42 c 1460s | 27 | 19419297 | 12235533 | 2027 13749 | 56 | 129 1528.96/1529.42 c 1462s | 27 | 19442269 | 12250333 | 2027 13763 | 56 | 129 1530.96/1531.43 c 1464s | 27 | 19466959 | 12266133 | 2027 13777 | 56 | 129 1532.97/1533.44 c 1466s | 27 | 19490271 | 12281133 | 2027 13791 | 56 | 129 1534.96/1535.45 c 1468s | 27 | 19513498 | 12296633 | 2027 13806 | 56 | 129 1536.96/1537.45 c 1470s | 27 | 19534792 | 12310733 | 2027 13819 | 56 | 129 1538.96/1539.46 c 1472s | 27 | 19559121 | 12326533 | 2027 13834 | 56 | 129 1540.96/1541.46 c 1474s | 27 | 19584164 | 12343133 | 2027 13849 | 56 | 129 1542.96/1543.48 c 1476s | 27 | 19607961 | 12358733 | 2027 13863 | 56 | 129 1544.96/1545.48 c 1478s | 27 | 19632116 | 12374233 | 2027 13878 | 56 | 129 1546.96/1547.49 c 1480s | 27 | 19658013 | 12390233 | 2027 13893 | 56 | 129 1548.96/1549.49 c 1482s | 27 | 19681323 | 12405233 | 2027 13907 | 56 | 129 1550.96/1551.49 c 1484s | 27 | 19705845 | 12421133 | 2027 13922 | 56 | 129 1553.06/1553.50 c 1486s | 27 | 19731125 | 12436933 | 2027 13936 | 56 | 129 1555.06/1555.51 c 1488s | 27 | 19755237 | 12452433 | 2027 13951 | 56 | 129 1557.05/1557.51 c 1490s | 27 | 19779338 | 12467533 | 2027 13965 | 56 | 129 1559.05/1559.52 c 1492s | 27 | 19801986 | 12482433 | 2027 13979 | 56 | 129 1561.05/1561.52 c 1494s | 27 | 19824747 | 12497533 | 2027 13993 | 56 | 129 1563.05/1563.53 c 1496s | 27 | 19846895 | 12512433 | 2027 14006 | 56 | 129 1565.06/1565.54 c 1498s | 27 | 19870307 | 12527633 | 2027 14021 | 56 | 129 1567.07/1567.55 c 1500s | 27 | 19892318 | 12541733 | 2027 14034 | 56 | 129 1569.06/1569.55 c 1502s | 27 | 19916476 | 12557233 | 2027 14048 | 56 | 129 1571.06/1571.55 c 1504s | 27 | 19939153 | 12572133 | 2027 14062 | 56 | 129 1573.06/1573.55 c 1506s | 27 | 19962809 | 12586833 | 2027 14076 | 56 | 129 1575.06/1575.56 c 1508s | 27 | 19986386 | 12601833 | 2027 14090 | 56 | 129 1577.07/1577.57 c 1510s | 27 | 20011499 | 12618333 | 2027 14105 | 56 | 129 1579.06/1579.58 c 1512s | 27 | 20035064 | 12633733 | 2027 14119 | 56 | 129 1581.06/1581.59 c 1514s | 27 | 20058264 | 12648633 | 2027 14133 | 56 | 129 1583.16/1583.61 c 1516s | 27 | 20081130 | 12663633 | 2027 14147 | 56 | 129 1585.16/1585.61 c 1518s | 27 | 20104330 | 12678633 | 2027 14161 | 56 | 129 1587.16/1587.61 c 1520s | 27 | 20126674 | 12693433 | 2027 14175 | 56 | 129 1589.16/1589.63 c 1522s | 27 | 20148393 | 12707833 | 2027 14188 | 56 | 129 1591.16/1591.63 c 1524s | 27 | 20173886 | 12723633 | 2027 14203 | 56 | 129 1593.16/1593.63 c 1526s | 27 | 20197816 | 12739133 | 2027 14217 | 56 | 129 1595.15/1595.64 c 1528s | 27 | 20222987 | 12755033 | 2027 14232 | 56 | 129 1597.15/1597.65 c 1530s | 27 | 20247159 | 12770333 | 2027 14246 | 56 | 129 1599.15/1599.67 c 1532s | 27 | 20270777 | 12785433 | 2027 14261 | 56 | 129 1601.16/1601.68 c 1534s | 27 | 20294803 | 12800633 | 2027 14275 | 56 | 129 1603.15/1603.68 c 1536s | 27 | 20316347 | 12814933 | 2027 14288 | 56 | 129 1605.15/1605.69 c 1538s | 27 | 20340080 | 12830133 | 2027 14302 | 56 | 129 1607.25/1607.70 c 1540s | 27 | 20362944 | 12844733 | 2027 14316 | 56 | 129 1609.25/1609.70 c 1542s | 27 | 20384950 | 12858533 | 2027 14329 | 56 | 129 1611.25/1611.71 c 1544s | 27 | 20407184 | 12873033 | 2027 14342 | 56 | 129 1613.25/1613.71 c 1546s | 27 | 20428642 | 12887433 | 2027 14355 | 56 | 129 1615.25/1615.71 c 1548s | 27 | 20450700 | 12901833 | 2027 14369 | 56 | 129 1617.25/1617.72 c 1550s | 27 | 20471714 | 12915833 | 2027 14382 | 56 | 129 1619.25/1619.72 c 1552s | 27 | 20497257 | 12931833 | 2027 14397 | 56 | 129 1621.24/1621.72 c 1554s | 27 | 20520917 | 12946633 | 2027 14411 | 56 | 129 1623.25/1623.73 c 1556s | 27 | 20544938 | 12961933 | 2027 14425 | 56 | 129 1625.24/1625.74 c 1558s | 27 | 20567039 | 12976533 | 2027 14438 | 56 | 129 1627.24/1627.75 c 1560s | 27 | 20591179 | 12991933 | 2027 14453 | 56 | 129 1629.24/1629.75 c 1562s | 27 | 20616733 | 13007833 | 2027 14467 | 56 | 129 1631.24/1631.75 c 1564s | 27 | 20638424 | 13022033 | 2027 14481 | 56 | 129 1633.24/1633.75 c 1566s | 27 | 20662057 | 13037333 | 2027 14495 | 56 | 129 1635.26/1635.76 c 1568s | 27 | 20684789 | 13051933 | 2027 14508 | 56 | 129 1637.25/1637.78 c 1570s | 27 | 20708427 | 13067133 | 2027 14523 | 56 | 129 1639.25/1639.78 c 1572s | 27 | 20732239 | 13082133 | 2027 14536 | 56 | 129 1641.25/1641.79 c 1574s | 27 | 20755778 | 13096933 | 2027 14550 | 56 | 129 1643.25/1643.79 c 1576s | 27 | 20778064 | 13111433 | 2027 14564 | 56 | 129 1645.35/1645.80 c 1578s | 27 | 20800869 | 13125933 | 2027 14577 | 56 | 129 1647.35/1647.81 c 1580s | 27 | 20821904 | 13139133 | 2027 14590 | 56 | 129 1649.35/1649.82 c 1582s | 27 | 20842736 | 13152733 | 2027 14602 | 56 | 129 1651.35/1651.83 c 1584s | 27 | 20864677 | 13167133 | 2027 14616 | 56 | 129 1653.35/1653.84 c 1586s | 27 | 20888860 | 13182433 | 2027 14630 | 56 | 129 1655.35/1655.84 c 1588s | 27 | 20910572 | 13196533 | 2027 14643 | 56 | 129 1657.35/1657.84 c 1590s | 27 | 20933393 | 13211133 | 2027 14656 | 56 | 129 1659.34/1659.85 c 1592s | 27 | 20960404 | 13228833 | 2027 14673 | 56 | 129 1661.34/1661.85 c 1594s | 27 | 20991726 | 13248933 | 2027 14692 | 56 | 129 1663.34/1663.86 c 1596s | 27 | 21019778 | 13266833 | 2027 14708 | 56 | 129 1665.34/1665.86 c 1598s | 27 | 21048745 | 13285833 | 2027 14726 | 56 | 129 1667.34/1667.87 c 1600s | 27 | 21074720 | 13302833 | 2027 14741 | 56 | 129 1669.35/1669.87 c 1602s | 27 | 21098803 | 13318733 | 2027 14755 | 56 | 129 1671.34/1671.87 c 1604s | 27 | 21123018 | 13334633 | 2027 14769 | 56 | 129 1673.34/1673.87 c 1606s | 27 | 21147073 | 13350433 | 2027 14783 | 56 | 129 1675.34/1675.88 c 1608s | 27 | 21168510 | 13365033 | 2027 14797 | 56 | 129 1677.34/1677.89 c 1610s | 27 | 21191934 | 13380833 | 2027 14811 | 56 | 129 1679.35/1679.89 c 1612s | 27 | 21214559 | 13395933 | 2027 14824 | 56 | 129 1681.44/1681.90 c 1614s | 27 | 21238621 | 13411933 | 2027 14839 | 56 | 129 1683.44/1683.91 c 1616s | 27 | 21261319 | 13426933 | 2027 14852 | 56 | 129 1685.44/1685.91 c 1618s | 27 | 21286138 | 13442533 | 2027 14866 | 56 | 129 1687.44/1687.91 c 1620s | 27 | 21309201 | 13457133 | 2027 14879 | 56 | 129 1689.44/1689.92 c 1622s | 27 | 21332308 | 13472433 | 2027 14893 | 56 | 129 1690.04/1690.51 c 1623s | 27 | 21339222 | 13476713 | 2027 14897 | 56 | 129 1690.04/1690.51 c #cpu_time = 1618.939s 1690.04/1690.51 c #wall_clock_time = 1623.299s 1690.04/1690.51 c #decision = 21339222 1690.04/1690.51 c #random_decision = 89073 1690.04/1690.51 c #conflict = 13476713 1690.04/1690.51 c #restart = 27 1690.04/1690.51 o 56 1690.04/1690.51 c BCD2: updating upper bound: 58 -> 55 1690.04/1690.51 c BCD2: 46 <= obj <= 55 1690.04/1690.51 c BCD2: #cores=18, #unrelaxed=5, #relaxed=220, #hardened=0 1690.04/1690.51 c BCD2: #sat=4 #unsat=47 bias=47/51 1690.04/1690.51 c Solving starts ... 1690.04/1690.51 c ============================[ Search Statistics ]============================ 1690.04/1690.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1690.04/1690.51 c | | | | Limit GC | Var | Constra 1690.04/1690.51 c ============================================================================= 1690.04/1690.51 c 0.0s | 0 | 0 | 0 | 2027 0 | 56 | 130 1690.04/1690.52 c 0.0s | 1 | 173 | 100 | 2027 0 | 56 | 130 1690.04/1690.54 c 0.0s | 2 | 481 | 250 | 2027 0 | 56 | 130 1690.04/1690.56 c 0.1s | 3 | 899 | 475 | 2027 0 | 56 | 130 1690.14/1690.60 c 0.1s | 4 | 1489 | 813 | 2027 0 | 56 | 130 1690.14/1690.66 c 0.1s | 5 | 2324 | 1320 | 2027 1 | 56 | 130 1690.24/1690.74 c 0.2s | 6 | 3650 | 2081 | 2027 2 | 56 | 130 1690.34/1690.84 c 0.3s | 7 | 5630 | 3223 | 2027 3 | 56 | 130 1690.54/1691.05 c 0.5s | 8 | 8545 | 4936 | 2027 4 | 56 | 130 1690.84/1691.31 c 0.8s | 9 | 13170 | 7506 | 2027 7 | 56 | 130 1691.24/1691.70 c 1.2s | 10 | 19943 | 11361 | 2027 10 | 56 | 130 1691.74/1692.29 c 1.8s | 11 | 30039 | 17144 | 2027 16 | 56 | 130 1692.64/1693.18 c 2.7s | 12 | 45803 | 25819 | 2027 24 | 56 | 130 1693.93/1694.49 c 4.0s | 13 | 70001 | 38832 | 2027 36 | 56 | 130 1695.93/1696.46 c 6.0s | 14 | 107555 | 58352 | 2027 54 | 56 | 130 1697.94/1698.47 c 8.0s | 14 | 143002 | 77952 | 2027 72 | 56 | 130 1698.93/1699.42 c 8.9s | 15 | 160691 | 87632 | 2027 81 | 56 | 130 1700.93/1701.42 c 10.9s | 15 | 200984 | 108332 | 2027 101 | 56 | 130 1702.93/1703.43 c 12.9s | 15 | 238422 | 127832 | 2027 119 | 56 | 130 1703.33/1703.83 c 13.3s | 16 | 245663 | 131552 | 2027 123 | 56 | 130 1705.33/1705.83 c 15.3s | 16 | 281432 | 151352 | 2027 141 | 56 | 130 1707.33/1707.84 c 17.3s | 16 | 310659 | 169352 | 2027 158 | 56 | 130 1709.33/1709.84 c 19.3s | 16 | 334580 | 185352 | 2027 172 | 56 | 130 1710.63/1711.17 c 20.7s | 17 | 355791 | 197432 | 2027 183 | 56 | 130 1712.63/1713.17 c 22.7s | 17 | 390640 | 216432 | 2027 201 | 56 | 130 1714.63/1715.18 c 24.7s | 17 | 425489 | 235132 | 2027 218 | 56 | 130 1716.64/1717.19 c 26.7s | 17 | 464782 | 255032 | 2027 237 | 56 | 130 1718.64/1719.19 c 28.7s | 17 | 498662 | 274432 | 2027 255 | 56 | 130 1720.64/1721.20 c 30.7s | 17 | 525260 | 292532 | 2027 272 | 56 | 130 1721.04/1721.52 c 31.0s | 18 | 530993 | 296252 | 2027 275 | 56 | 130 1723.04/1723.53 c 33.0s | 18 | 561069 | 315452 | 2027 292 | 56 | 130 1725.03/1725.54 c 35.0s | 18 | 583398 | 330552 | 2027 306 | 56 | 130 1727.03/1727.55 c 37.0s | 18 | 605603 | 345552 | 2027 320 | 56 | 130 1729.03/1729.55 c 39.0s | 18 | 628363 | 360752 | 2027 333 | 56 | 130 1731.04/1731.56 c 41.0s | 18 | 651485 | 376052 | 2027 347 | 56 | 130 1733.03/1733.56 c 43.1s | 18 | 674859 | 391352 | 2027 361 | 56 | 130 1735.03/1735.57 c 45.1s | 18 | 698141 | 406852 | 2027 375 | 56 | 130 1737.03/1737.58 c 47.1s | 18 | 720461 | 421352 | 2027 388 | 56 | 130 1739.13/1739.60 c 49.1s | 18 | 742994 | 436352 | 2027 402 | 56 | 130 1740.23/1740.72 c 50.2s | 19 | 755645 | 444482 | 2027 409 | 56 | 130 1742.23/1742.72 c 52.2s | 19 | 786910 | 463682 | 2027 427 | 56 | 130 1744.23/1744.73 c 54.2s | 19 | 818306 | 482882 | 2027 445 | 56 | 130 1746.23/1746.73 c 56.2s | 19 | 849377 | 501382 | 2027 462 | 56 | 130 1748.23/1748.74 c 58.2s | 19 | 880148 | 519982 | 2027 480 | 56 | 130 1750.23/1750.74 c 60.2s | 19 | 908835 | 537382 | 2027 496 | 56 | 130 1752.23/1752.75 c 62.2s | 19 | 937993 | 554982 | 2027 512 | 56 | 130 1754.23/1754.76 c 64.2s | 19 | 967923 | 572782 | 2027 529 | 56 | 130 1756.23/1756.76 c 66.3s | 19 | 1001534 | 591882 | 2027 547 | 56 | 130 1758.23/1758.76 c 68.3s | 19 | 1032008 | 610282 | 2027 564 | 56 | 130 1760.22/1760.77 c 70.3s | 19 | 1057481 | 626782 | 2027 579 | 56 | 130 1762.23/1762.77 c 72.3s | 19 | 1083973 | 643982 | 2027 595 | 56 | 130 1764.23/1764.78 c 74.3s | 19 | 1119391 | 666182 | 2027 616 | 56 | 130 1764.33/1764.84 c 74.3s | 20 | 1120298 | 666827 | 2027 616 | 56 | 130 1766.33/1766.84 c 76.3s | 20 | 1153573 | 687727 | 2027 636 | 56 | 130 1768.33/1768.84 c 78.3s | 20 | 1182370 | 705227 | 2027 652 | 56 | 130 1770.33/1770.85 c 80.3s | 20 | 1215053 | 725027 | 2027 670 | 56 | 130 1772.33/1772.85 c 82.3s | 20 | 1238898 | 740627 | 2027 684 | 56 | 130 1774.33/1774.85 c 84.3s | 20 | 1262890 | 756327 | 2027 699 | 56 | 130 1776.33/1776.86 c 86.3s | 20 | 1286944 | 771527 | 2027 713 | 56 | 130 1778.33/1778.87 c 88.4s | 20 | 1310623 | 786827 | 2027 727 | 56 | 130 1780.32/1780.87 c 90.4s | 20 | 1337033 | 802527 | 2027 741 | 56 | 130 1782.32/1782.87 c 92.4s | 20 | 1361120 | 817727 | 2027 755 | 56 | 130 1784.32/1784.88 c 94.4s | 20 | 1385519 | 832827 | 2027 769 | 56 | 130 1786.32/1786.89 c 96.4s | 20 | 1409412 | 847727 | 2027 783 | 56 | 130 1788.42/1788.90 c 98.4s | 20 | 1432662 | 862427 | 2027 796 | 56 | 130 1790.43/1790.91 c 100s | 20 | 1456990 | 877127 | 2027 809 | 56 | 130 1792.42/1792.92 c 102s | 20 | 1480280 | 892027 | 2027 823 | 56 | 130 1794.42/1794.92 c 104s | 20 | 1509499 | 909927 | 2027 840 | 56 | 130 1796.42/1796.93 c 106s | 20 | 1539256 | 927627 | 2027 856 | 56 | 130 1798.42/1798.93 c 108s | 20 | 1566898 | 944627 | 2027 872 | 56 | 130
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-4079558-1465233319/watcher-4079558-1465233319 -o /tmp/evaluation-result-4079558-1465233319/solver-4079558-1465233319 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079558-1465233319.opb pid=1277 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.22 2.25 2.19 4/179 1280 /proc/meminfo: memFree=29274124/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=504252 CPUtime=0 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 1843 0 0 0 0 0 0 0 20 0 4 0 105265476 516354048 1694 33554432000 4194304 16246674 140733305800480 140733305799904 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 126831 1704 441 2943 0 123725 0 [pid=1280/tid=1281] ppid=1277 vsize=778684 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 797372416 2769 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=784828 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 803663872 2788 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=788924 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105265476 807858176 2805 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100193 s] /proc/loadavg: 2.22 2.25 2.19 4/179 1280 /proc/meminfo: memFree=29274124/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 23744 0 0 0 6 3 0 0 20 0 4 0 105265476 1247350784 23581 33554432000 4194304 16246674 140733305800480 140733305799904 5665836 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 304529 23589 783 2943 0 301423 0 [pid=1280/tid=1281] ppid=1277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1247350784 23593 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1247350784 23600 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105265476 1247350784 23605 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200448 s] /proc/loadavg: 2.22 2.25 2.19 4/179 1280 /proc/meminfo: memFree=29274124/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 45080 0 0 0 12 7 0 0 20 0 4 0 105265476 1247350784 44917 33554432000 4194304 16246674 140733305800480 140733305799904 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 304529 44925 783 2943 0 301423 0 [pid=1280/tid=1281] ppid=1277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1247350784 44933 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1247350784 44937 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105265476 1247350784 44943 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300472 s] /proc/loadavg: 2.22 2.25 2.19 4/179 1280 /proc/meminfo: memFree=29274124/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 67168 0 0 0 19 10 0 0 20 0 4 0 105265476 1247350784 67005 33554432000 4194304 16246674 140733305800480 140733305799904 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 304529 67021 783 2943 0 301423 0 [pid=1280/tid=1281] ppid=1277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1247350784 67032 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1247350784 67041 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105265476 1247350784 67045 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700349 s] /proc/loadavg: 2.22 2.25 2.19 4/179 1280 /proc/meminfo: memFree=29274124/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 157526 0 0 0 45 24 0 0 20 0 4 0 105265476 1247350784 157363 33554432000 4194304 16246674 140733305800480 140733305799904 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 304529 157375 783 2943 0 301423 0 [pid=1280/tid=1281] ppid=1277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1247350784 157379 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1247350784 157388 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105265476 1247350784 157394 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.29 2.26 2.19 3/183 1284 /proc/meminfo: memFree=28291972/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1219140 CPUtime=1.49 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 245799 0 0 0 112 37 0 0 20 0 4 0 105265476 1248399360 245614 33554432000 4194304 16246674 140733305800480 140733305799792 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 304785 245614 843 2943 0 301679 0 [pid=1280/tid=1281] ppid=1277 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1248399360 245614 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1248399360 245614 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1248399360 245614 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.1004 s] /proc/loadavg: 2.29 2.26 2.19 3/183 1284 /proc/meminfo: memFree=28205544/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1307204 CPUtime=3.09 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 267644 0 0 0 269 40 0 0 20 0 4 0 105265476 1338576896 267459 33554432000 4194304 16246674 140733305800480 140733305783480 5652976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 326801 267459 843 2943 0 323695 0 [pid=1280/tid=1281] ppid=1277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1338576896 267459 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1338576896 267459 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1338576896 267459 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30041 s] /proc/loadavg: 2.29 2.26 2.19 4/175 1329 /proc/meminfo: memFree=29309912/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 267646 0 0 0 589 40 0 0 20 0 4 0 105265476 1338576896 267461 33554432000 4194304 16246674 140733305800480 140733305782400 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 326801 267461 844 2943 0 323695 0 [pid=1280/tid=1281] ppid=1277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1338576896 267461 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1338576896 267461 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1338576896 267461 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.24 2.25 2.19 3/183 1502 /proc/meminfo: memFree=29064604/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1309252 CPUtime=12.69 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 268397 0 0 0 1228 41 0 0 20 0 4 0 105265476 1340674048 268212 33554432000 4194304 16246674 140733305800480 140733305783480 5722600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 327313 268212 844 2943 0 324207 0 [pid=1280/tid=1281] ppid=1277 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1340674048 268212 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1340674048 268212 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1340674048 268212 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1309252 [startup+25.5005 s] /proc/loadavg: 2.28 2.26 2.19 3/183 1502 /proc/meminfo: memFree=29065092/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1309252 CPUtime=25.49 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 268404 0 0 0 2508 41 0 0 20 0 4 0 105265476 1340674048 268219 33554432000 4194304 16246674 140733305800480 140733305782400 5673024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 327313 268219 844 2943 0 324207 0 [pid=1280/tid=1281] ppid=1277 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1340674048 268219 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1340674048 268219 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1340674048 268219 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1309252 [startup+51.1005 s] /proc/loadavg: 2.24 2.25 2.19 3/183 1502 /proc/meminfo: memFree=28207196/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1310276 CPUtime=51.09 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 268661 0 0 0 5067 42 0 0 20 0 4 0 105265476 1341722624 268731 33554432000 4194304 16246674 140733305800480 140733305782400 6073563 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 327569 268731 844 2943 0 324463 0 [pid=1280/tid=1281] ppid=1277 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1341722624 268731 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1341722624 268731 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1341722624 268731 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1310276 [startup+102.3 s] /proc/loadavg: 2.20 2.24 2.19 4/183 1503 /proc/meminfo: memFree=28148304/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1312324 CPUtime=102.27 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 269190 0 0 0 10185 42 0 0 20 0 4 0 105265476 1343819776 269246 33554432000 4194304 16246674 140733305800480 140733305782400 5711416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 328081 269246 847 2943 0 324975 0 [pid=1280/tid=1281] ppid=1277 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1343819776 269246 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1343819776 269246 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1343819776 269246 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1312324 ################ # More data... # ################ /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1355354112 272063 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1323588 [startup+1362.3 s] /proc/loadavg: 2.37 2.34 2.24 3/183 1539 /proc/meminfo: memFree=28069868/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1323588 CPUtime=1361.89 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 272320 0 0 0 136123 66 0 0 20 0 4 0 105265476 1355354112 272063 33554432000 4194304 16246674 140733305800480 140733305783480 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 330897 272063 848 2943 0 327791 0 [pid=1280/tid=1281] ppid=1277 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1355354112 272063 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1355354112 272063 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1355354112 272063 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1323588 [startup+1422.3 s] /proc/loadavg: 2.28 2.32 2.24 3/183 1540 /proc/meminfo: memFree=27996980/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1323588 CPUtime=1421.89 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 272320 0 0 0 142121 68 0 0 20 0 4 0 105265476 1355354112 272063 33554432000 4194304 16246674 140733305800480 140733305783480 5822722 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 330897 272063 848 2943 0 327791 0 [pid=1280/tid=1281] ppid=1277 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1355354112 272063 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1355354112 272063 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1355354112 272063 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1323588 [startup+1482.3 s] /proc/loadavg: 2.30 2.31 2.24 3/183 1541 /proc/meminfo: memFree=27971988/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1323588 CPUtime=1481.87 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 272320 0 0 0 148119 68 0 0 20 0 4 0 105265476 1355354112 272063 33554432000 4194304 16246674 140733305800480 140733305782400 13759520 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 330897 272063 848 2943 0 327791 0 [pid=1280/tid=1281] ppid=1277 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1355354112 272063 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1355354112 272063 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1355354112 272063 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1323588 [startup+1542.31 s] /proc/loadavg: 2.31 2.31 2.24 4/183 1548 /proc/meminfo: memFree=27945856/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1325636 CPUtime=1541.86 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 272832 0 0 0 154117 69 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 140733305783480 13963995 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 331409 272575 848 2943 0 328303 0 [pid=1280/tid=1281] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1325636 [startup+1602.3 s] /proc/loadavg: 2.22 2.28 2.24 3/183 1549 /proc/meminfo: memFree=27825276/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1325636 CPUtime=1601.85 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 272832 0 0 0 160115 70 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 140733305783480 5823131 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 331409 272575 848 2943 0 328303 0 [pid=1280/tid=1281] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1325636 [startup+1662.3 s] /proc/loadavg: 2.43 2.32 2.25 3/183 1550 /proc/meminfo: memFree=27810896/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1325636 CPUtime=1661.84 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 272832 0 0 0 166113 71 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 140733305783480 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 331409 272575 848 2943 0 328303 0 [pid=1280/tid=1281] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1325636 [startup+1722.3 s] /proc/loadavg: 2.29 2.30 2.25 3/183 1551 /proc/meminfo: memFree=27772028/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1325636 CPUtime=1721.84 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 272832 0 0 0 172112 72 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 140733305782400 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 331409 272575 848 2943 0 328303 0 [pid=1280/tid=1281] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1325636 [startup+1782.3 s] /proc/loadavg: 2.19 2.27 2.24 3/183 1552 /proc/meminfo: memFree=27716856/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1325636 CPUtime=1781.82 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 272832 0 0 0 178109 73 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 140733305783480 5822500 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 331409 272575 848 2943 0 328303 0 [pid=1280/tid=1281] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1325636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.14 2.26 2.24 3/183 1552 /proc/meminfo: memFree=27653000/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1325636 CPUtime=1800.02 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 272832 0 0 0 179929 73 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 140733305783480 4220912 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 331409 272575 848 2943 0 328303 0 [pid=1280/tid=1281] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 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 1280 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.14 2.26 2.24 3/183 1552 /proc/meminfo: memFree=27653000/32872528 swapFree=16080/1655368 [pid=1280] ppid=1277 vsize=1325636 CPUtime=1800.02 cores=0,2,4,6 /proc/1280/stat : 1280 (toysat) R 1277 1280 32454 0 -1 4202496 272832 0 0 0 179929 73 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 140733305783480 4220912 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1280/statm: 331409 272575 848 2943 0 328303 0 [pid=1280/tid=1281] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1281/stat : 1281 (toysat) S 1277 1280 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940219301104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1280/tid=1282] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1282/stat : 1282 (toysat) S 1277 1280 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940208811248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1280/tid=1283] ppid=1277 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/1280/task/1283/stat : 1283 (toysat) S 1277 1280 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105265476 1357451264 272575 33554432000 4194304 16246674 140733305800480 139940198337712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1325636 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.3 CPU system time (s): 0.738887 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 1325636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.3 system time used= 0.738887 maximum resident set size= 1090300 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272832 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= 341 involuntary context switches= 1954 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.51231 second user time and 7.00893 second system time The end
Begin job on node122 at 2016-06-06 19:15:19 IDJOB=4079558 IDBENCH=2214 IDSOLVER=2542 FILE ID=node122/4079558-1465233319 RUNJOBID= node122-1465218907-32470 PBS_JOBID= 19843205 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079558-1465233319/watcher-4079558-1465233319 -o /tmp/evaluation-result-4079558-1465233319/solver-4079558-1465233319 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079558-1465233319.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 28425c3b4907da9ba10ee31a4de63042 RANDOM SEED=703045714 node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29274132 kB Buffers: 30692 kB Cached: 98896 kB SwapCached: 860 kB Active: 1187428 kB Inactive: 53112 kB Active(anon): 1111672 kB Inactive(anon): 1584 kB Active(file): 75756 kB Inactive(file): 51528 kB Unevictable: 1655368 kB Mlocked: 16080 kB SwapTotal: 67108856 kB SwapFree: 67099464 kB Dirty: 16364 kB Writeback: 0 kB AnonPages: 2765848 kB Mapped: 10868 kB Shmem: 0 kB Slab: 567628 kB SReclaimable: 11620 kB SUnreclaim: 556008 kB KernelStack: 1464 kB PageTables: 9660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2910344 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2361344 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= 71708 MiB End job on node122 at 2016-06-06 19:45:20