Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.53 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-sporttournament12.lin.opb |
| MD5SUM | 5cb211b3bc341dd745e6cb19ab700d55 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -34 |
| Best CPU time to get the best result obtained on this benchmark | 0.009997 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 186 |
| Total number of constraints | 240 |
| Number of constraints which are clauses | 120 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 120 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 166 |
| Biggest coefficient in the objective function | 2 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 178 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 178 |
| 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-29T21:51:53+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-4118529-1467229913.opb"] 0.00/0.01 c use --random-gen="2073020306 1383868861 725477421 2823902685 1616030617 2500094761 1979723899 2600714267 3629713712 3046965556 2469908326 2253608136 2724057808 2063887167 34814155 2988359765 807284901 3520347778 1503847807 1502934068 2988049551 1569614618 561136950 1712402478 1073880758 2777834511 2887353757 1896243715 2548998342 1540215647 1191553078 2927069070 121670452 57980132 3155975310 1038186599 783729732 659383054 2897326186 850062252 3047682196 294113879 2574447061 957570254 3985835656 3763804640 3992706720 1620349823 2003857845 3514802123 2431431838 1852641824 3457312352 4011149903 3434916414 2988847430 2980597430 2305433648 1454345469 4073151711 1707215825 2544297431 53884738 460364495 884582607 180990304 940962926 1866178785 1657848723 251182377 3847576818 2078703846 2195584875 2726412344 3506368635 1380114277 1497574508 3451675934 3882392783 1713831551 3707937450 3421196677 1953429757 188948110 388246181 3537575136 2947425361 2984401156 4198181072 459676299 2315783563 745114954 4284280970 1147798146 3907653069 1726931961 1910725405 309129161 2255919634 1550859689 4253208945 1889885336 3069666426 3004963382 684386081 2910545231 4045523396 854722277 2319471422 1525240679 3920027420 976377128 2789249433 1198678782 2899688639 3519540594 1723989419 298092463 2583081405 4138149549 91529455 1354862689 835044897 243771504 888401201 466630505 615315738 1120252695 3780568509 1131991580 1641947737 4089764397 3490790485 2887911038 1833483126 1997826366 3682283554 1587296969 1435881136 1517823982 878314484 2267248929 705685276 1799168777 2346215234 1710953706 1517875632 3444617436 3712733093 3081623935 3191534019 840825736 1433208551 2278419783 658824940 3148180903 3631428845 37033163 3283155547 937954072 3800709547 2326914460 1743712412 2298054361 205703172 1950298133 4292634590 3896870035 728563803 3655054438 2309610887 2337972330 1903415069 3864391289 2641259848 1657968019 4068662235 769802047 2812485894 860595844 2863774399 1632571769 1416669463 2666926289 2089622262 2565323783 1480833851 82473557 2770118902 3736994596 246388591 3474080282 1407655902 1678430061 3108541440 2704143756 3592537609 2586915633 2032401854 539401425 1559094081 927678924 2950999819 864607144 3054722892 958729385 1001930034 3881225859 870785660 2605614981 3247092736 1516476149 3721826913 381627445 567718618 2776327078 3363326797 4026767987 1559347609 3637976185 3563847386 1284060313 718405122 2437140195 68006432 3143118320 147233031 1576595177 147526198 3297017859 710892273 654995397 3776235308 260142362 1836685695 1723592126 3902745548 3902805428 1274100972 1545161709 492081215 2318137019 2029629190 2786849508 3682385063 1774103892 3417573316 3601411101 3257639620 2720649340 3250824351 1273339357 2638649726 2321993285 1054040774 3127038373 255 362436" option to reproduce the execution 0.00/0.01 c #vars 186 0.00/0.01 c #constraints 240 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 142 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 60 | 0 | 142 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 = 60 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 o 0 0.00/0.02 c BCD2: updating upper bound: 178 -> 88 0.00/0.02 c BCD2: 0 <= obj <= 88 0.00/0.02 c BCD2: #cores=0, #unrelaxed=166, #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 | 142 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 92 | 0 | 142 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 = 92 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 -88 0.00/0.02 c BCD2: 1 <= obj <= 88 0.00/0.02 c BCD2: #cores=1, #unrelaxed=163, #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 | 142 0 | 0 | 1 0.00/0.02 c 0.0s | 0 | 93 | 0 | 142 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 = 93 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 -87 0.00/0.02 c BCD2: 2 <= obj <= 88 0.00/0.02 c BCD2: #cores=2, #unrelaxed=160, #relaxed=6, #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 | 142 0 | 0 | 2 0.00/0.02 c 0.0s | 0 | 92 | 0 | 142 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 = 92 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 -86 0.00/0.02 c BCD2: 3 <= obj <= 88 0.00/0.02 c BCD2: #cores=3, #unrelaxed=157, #relaxed=9, #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 | 142 0 | 0 | 3 0.00/0.02 c 0.0s | 0 | 91 | 0 | 142 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 = 91 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: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.02 c lower bound updated to -85 0.00/0.02 c BCD2: 4 <= obj <= 88 0.00/0.02 c BCD2: #cores=3, #unrelaxed=155, #relaxed=11, #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 | 142 0 | 1 | 3 0.00/0.02 c 0.0s | 0 | 91 | 0 | 142 0 | 1 | 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 = 91 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 -84 0.00/0.02 c BCD2: 5 <= obj <= 88 0.00/0.02 c BCD2: #cores=4, #unrelaxed=152, #relaxed=14, #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 | 142 0 | 1 | 5 0.00/0.02 c 0.0s | 0 | 90 | 0 | 142 0 | 1 | 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 = 90 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: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.02 c lower bound updated to -83 0.00/0.02 c BCD2: 6 <= obj <= 88 0.00/0.02 c BCD2: #cores=4, #unrelaxed=150, #relaxed=16, #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 | 142 0 | 2 | 5 0.00/0.02 c 0.0s | 0 | 90 | 0 | 142 0 | 2 | 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 = 90 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 -82 0.00/0.02 c BCD2: 7 <= obj <= 88 0.00/0.02 c BCD2: #cores=5, #unrelaxed=147, #relaxed=19, #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 | 142 0 | 2 | 7 0.00/0.02 c 0.0s | 0 | 87 | 0 | 142 0 | 2 | 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 = 87 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: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.02 c lower bound updated to -81 0.00/0.02 c BCD2: 8 <= obj <= 88 0.00/0.02 c BCD2: #cores=5, #unrelaxed=145, #relaxed=21, #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 | 142 0 | 3 | 7 0.00/0.02 c 0.0s | 0 | 89 | 0 | 142 0 | 3 | 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 = 89 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 -80 0.00/0.03 c BCD2: 9 <= obj <= 88 0.00/0.03 c BCD2: #cores=6, #unrelaxed=142, #relaxed=24, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=10 bias=10/11 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 | 142 0 | 3 | 9 0.00/0.03 c 0.0s | 0 | 84 | 0 | 142 0 | 3 | 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 = 84 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: relaxing 3 and merging with 2 cores into a new core of size 11: cost of the new core is >=4 0.00/0.03 c lower bound updated to -79 0.00/0.03 c BCD2: 10 <= obj <= 88 0.00/0.03 c BCD2: #cores=5, #unrelaxed=139, #relaxed=27, #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 | 142 0 | 5 | 9 0.00/0.03 c 0.0s | 0 | 86 | 0 | 142 0 | 5 | 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 = 86 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: relaxing 4 and merging with 1 cores into a new core of size 7: cost of the new core is >=2 0.00/0.03 c lower bound updated to -78 0.00/0.03 c BCD2: 11 <= obj <= 88 0.00/0.03 c BCD2: #cores=5, #unrelaxed=135, #relaxed=31, #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 | 142 0 | 6 | 11 0.00/0.03 c 0.0s | 0 | 85 | 0 | 142 0 | 6 | 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 = 85 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 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to -77 0.00/0.03 c BCD2: 12 <= obj <= 88 0.00/0.03 c BCD2: #cores=6, #unrelaxed=132, #relaxed=34, #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 | 142 0 | 6 | 13 0.00/0.03 c 0.0s | 0 | 86 | 0 | 142 0 | 6 | 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 = 86 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 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to -76 0.00/0.03 c BCD2: 13 <= obj <= 88 0.00/0.03 c BCD2: #cores=7, #unrelaxed=129, #relaxed=37, #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 | 142 0 | 6 | 14 0.00/0.03 c 0.0s | 0 | 83 | 0 | 142 0 | 6 | 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 = 83 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: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.03 c lower bound updated to -75 0.00/0.03 c BCD2: 14 <= obj <= 88 0.00/0.03 c BCD2: #cores=7, #unrelaxed=127, #relaxed=39, #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 | 142 0 | 7 | 14 0.00/0.03 c 0.0s | 0 | 85 | 0 | 142 0 | 7 | 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 = 85 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 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to -74 0.00/0.03 c BCD2: 15 <= obj <= 88 0.00/0.03 c BCD2: #cores=8, #unrelaxed=124, #relaxed=42, #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 | 142 0 | 7 | 16 0.00/0.03 c 0.0s | 0 | 110 | 1 | 142 0 | 7 | 16 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 110 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 17: cost of the new core is >=6 0.00/0.03 c lower bound updated to -73 0.00/0.03 c BCD2: 16 <= obj <= 88 0.00/0.03 c BCD2: #cores=7, #unrelaxed=121, #relaxed=45, #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 | 142 0 | 9 | 16 0.00/0.03 c 0.0s | 0 | 160 | 1 | 142 0 | 9 | 18 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 160 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 7: cost of the new core is >=3 0.00/0.03 c lower bound updated to -72 0.00/0.03 c BCD2: 17 <= obj <= 88 0.00/0.03 c BCD2: #cores=7, #unrelaxed=119, #relaxed=47, #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 | 142 0 | 10 | 18 0.00/0.03 c 0.0s | 0 | 81 | 0 | 142 0 | 10 | 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 = 81 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 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to -71 0.00/0.03 c BCD2: 18 <= obj <= 88 0.00/0.03 c BCD2: #cores=8, #unrelaxed=116, #relaxed=50, #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 | 142 0 | 10 | 20 0.00/0.03 c 0.0s | 0 | 80 | 0 | 142 0 | 10 | 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 = 80 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 3: cost of the new core is >=1 0.00/0.04 c lower bound updated to -70 0.00/0.04 c BCD2: 19 <= obj <= 88 0.00/0.04 c BCD2: #cores=9, #unrelaxed=113, #relaxed=53, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=20 bias=20/21 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 | 142 0 | 10 | 21 0.00/0.04 c 0.0s | 0 | 78 | 0 | 142 0 | 10 | 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 = 78 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: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.04 c lower bound updated to -69 0.00/0.04 c BCD2: 20 <= obj <= 88 0.00/0.04 c BCD2: #cores=9, #unrelaxed=111, #relaxed=55, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=21 bias=21/22 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 | 142 0 | 11 | 21 0.00/0.04 c 0.0s | 0 | 79 | 1 | 142 0 | 11 | 22 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 79 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 1 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 23: cost of the new core is >=7 0.00/0.04 c lower bound updated to -68 0.00/0.04 c BCD2: 21 <= obj <= 88 0.00/0.04 c BCD2: #cores=9, #unrelaxed=105, #relaxed=61, #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 | 142 0 | 12 | 22 0.00/0.04 c 0.0s | 0 | 74 | 0 | 142 0 | 12 | 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 = 74 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 3: cost of the new core is >=1 0.00/0.04 c lower bound updated to -67 0.00/0.04 c BCD2: 22 <= obj <= 88 0.00/0.04 c BCD2: #cores=10, #unrelaxed=102, #relaxed=64, #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 | 142 0 | 12 | 24 0.00/0.04 c 0.0s | 0 | 75 | 0 | 142 0 | 12 | 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 = 75 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 3: cost of the new core is >=1 0.00/0.04 c lower bound updated to -66 0.00/0.04 c BCD2: 23 <= obj <= 88 0.00/0.04 c BCD2: #cores=11, #unrelaxed=99, #relaxed=67, #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 | 142 0 | 12 | 25 0.00/0.04 c 0.0s | 0 | 76 | 1 | 142 0 | 12 | 25 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 76 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 1 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 9 and merging with 5 cores into a new core of size 36: cost of the new core is >=11 0.00/0.04 c lower bound updated to -65 0.00/0.04 c BCD2: 24 <= obj <= 88 0.00/0.04 c BCD2: #cores=7, #unrelaxed=90, #relaxed=76, #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 | 142 0 | 17 | 25 0.00/0.04 c 0.0s | 0 | 64 | 1 | 142 0 | 17 | 30 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 = 1 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 12 and merging with 4 cores into a new core of size 44: cost of the new core is >=11 0.00/0.04 c lower bound updated to -64 0.00/0.04 c BCD2: 25 <= obj <= 88 0.00/0.04 c BCD2: #cores=4, #unrelaxed=78, #relaxed=88, #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 | 142 0 | 21 | 30 0.00/0.04 c 0.0s | 0 | 51 | 0 | 142 0 | 21 | 34 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 = 51 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 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -63 0.00/0.04 c BCD2: 26 <= obj <= 88 0.00/0.04 c BCD2: #cores=5, #unrelaxed=76, #relaxed=90, #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 | 142 0 | 21 | 34 0.00/0.04 c 0.0s | 0 | 51 | 0 | 142 0 | 21 | 34 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 = 51 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: relaxing 3 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.04 c lower bound updated to -62 0.00/0.04 c BCD2: 27 <= obj <= 88 0.00/0.04 c BCD2: #cores=5, #unrelaxed=73, #relaxed=93, #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 | 142 0 | 22 | 34 0.00/0.04 c 0.0s | 0 | 50 | 0 | 142 0 | 22 | 35 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 = 50 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 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -61 0.00/0.04 c BCD2: 28 <= obj <= 88 0.00/0.04 c BCD2: #cores=6, #unrelaxed=71, #relaxed=95, #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.05 c 0.0s | 0 | 0 | 0 | 142 0 | 22 | 35 0.00/0.05 c 0.0s | 0 | 50 | 0 | 142 0 | 22 | 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 = 50 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 3: cost of the new core is >=1 0.00/0.05 c lower bound updated to -60 0.00/0.05 c BCD2: 29 <= obj <= 88 0.00/0.05 c BCD2: #cores=7, #unrelaxed=68, #relaxed=98, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=30 bias=30/31 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 | 142 0 | 22 | 35 0.00/0.05 c 0.0s | 0 | 51 | 0 | 142 0 | 22 | 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 = 51 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 3: cost of the new core is >=1 0.00/0.05 c lower bound updated to -59 0.00/0.05 c BCD2: 30 <= obj <= 88 0.00/0.05 c BCD2: #cores=8, #unrelaxed=65, #relaxed=101, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=31 bias=31/32 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 | 142 0 | 22 | 35 0.00/0.05 c 0.0s | 0 | 50 | 0 | 142 0 | 22 | 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 = 50 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 3: cost of the new core is >=1 0.00/0.05 c lower bound updated to -58 0.00/0.05 c BCD2: 31 <= obj <= 88 0.00/0.05 c BCD2: #cores=9, #unrelaxed=62, #relaxed=104, #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 | 142 0 | 22 | 35 0.00/0.05 c 0.0s | 0 | 49 | 0 | 142 0 | 22 | 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 = 49 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 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -57 0.00/0.05 c BCD2: 32 <= obj <= 88 0.00/0.05 c BCD2: #cores=10, #unrelaxed=60, #relaxed=106, #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 | 142 0 | 22 | 35 0.00/0.05 c 0.0s | 0 | 49 | 0 | 142 0 | 22 | 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 = 49 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: relaxing 3 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.05 c lower bound updated to -56 0.00/0.05 c BCD2: 33 <= obj <= 88 0.00/0.05 c BCD2: #cores=10, #unrelaxed=57, #relaxed=109, #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 | 142 0 | 23 | 35 0.00/0.05 c 0.0s | 0 | 48 | 1 | 142 0 | 23 | 36 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 48 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 1 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 6 and merging with 5 cores into a new core of size 26: cost of the new core is >=9 0.00/0.05 c lower bound updated to -55 0.00/0.05 c BCD2: 34 <= obj <= 88 0.00/0.05 c BCD2: #cores=6, #unrelaxed=51, #relaxed=115, #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 | 142 0 | 28 | 36 0.00/0.05 c 0.0s | 0 | 40 | 0 | 142 0 | 28 | 41 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 = 40 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 3: cost of the new core is >=1 0.00/0.05 c lower bound updated to -54 0.00/0.05 c BCD2: 35 <= obj <= 88 0.00/0.05 c BCD2: #cores=7, #unrelaxed=48, #relaxed=118, #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 | 142 0 | 28 | 41 0.00/0.05 c 0.0s | 0 | 39 | 0 | 142 0 | 28 | 41 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 = 39 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 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -53 0.00/0.05 c BCD2: 36 <= obj <= 88 0.00/0.05 c BCD2: #cores=8, #unrelaxed=46, #relaxed=120, #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 | 142 0 | 28 | 41 0.00/0.05 c 0.0s | 0 | 40 | 0 | 142 0 | 28 | 41 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 = 40 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 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -52 0.00/0.05 c BCD2: 37 <= obj <= 88 0.00/0.05 c BCD2: #cores=9, #unrelaxed=44, #relaxed=122, #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 | 142 0 | 28 | 41 0.00/0.05 c 0.0s | 0 | 40 | 0 | 142 0 | 28 | 41 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 = 40 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: relaxing 3 and merging with 2 cores into a new core of size 7: cost of the new core is >=3 0.00/0.05 c lower bound updated to -51 0.00/0.05 c BCD2: 38 <= obj <= 88 0.00/0.05 c BCD2: #cores=8, #unrelaxed=41, #relaxed=125, #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 | 142 0 | 30 | 41 0.00/0.06 c 0.0s | 0 | 37 | 0 | 142 0 | 30 | 43 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 = 37 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: relaxing 3 and merging with 1 cores into a new core of size 6: cost of the new core is >=2 0.00/0.06 c lower bound updated to -50 0.00/0.06 c BCD2: 39 <= obj <= 88 0.00/0.06 c BCD2: #cores=8, #unrelaxed=38, #relaxed=128, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=40 bias=40/41 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 | 142 0 | 31 | 43 0.00/0.06 c 0.0s | 0 | 37 | 0 | 142 0 | 31 | 44 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 = 37 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 3: cost of the new core is >=1 0.00/0.06 c lower bound updated to -49 0.00/0.06 c BCD2: 40 <= obj <= 88 0.00/0.06 c BCD2: #cores=9, #unrelaxed=35, #relaxed=131, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=41 bias=41/42 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 | 142 0 | 31 | 44 0.00/0.06 c 0.0s | 0 | 38 | 0 | 142 0 | 31 | 44 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 = 38 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 3: cost of the new core is >=1 0.00/0.06 c lower bound updated to -48 0.00/0.06 c BCD2: 41 <= obj <= 88 0.00/0.06 c BCD2: #cores=10, #unrelaxed=32, #relaxed=134, #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 | 142 0 | 31 | 44 0.00/0.06 c 0.0s | 0 | 39 | 0 | 142 0 | 31 | 44 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 = 39 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 3: cost of the new core is >=1 0.00/0.06 c lower bound updated to -47 0.00/0.06 c BCD2: 42 <= obj <= 88 0.00/0.06 c BCD2: #cores=11, #unrelaxed=29, #relaxed=137, #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 | 142 0 | 31 | 44 0.00/0.06 c 0.0s | 0 | 99 | 21 | 142 0 | 31 | 44 0.00/0.06 c #cpu_time = 0.003s 0.00/0.06 c #wall_clock_time = 0.003s 0.00/0.06 c #decision = 99 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 21 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 11 and merging with 5 cores into a new core of size 52: cost of the new core is >=15 0.00/0.06 c lower bound updated to -46 0.00/0.06 c BCD2: 43 <= obj <= 88 0.00/0.06 c BCD2: #cores=7, #unrelaxed=18, #relaxed=148, #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 | 142 0 | 36 | 44 0.00/0.06 c 0.0s | 0 | 94 | 5 | 142 0 | 36 | 49 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 = 94 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 5 0.00/0.06 c #restart = 0 0.00/0.06 o -22 0.00/0.06 c BCD2: updating upper bound: 88 -> 66 0.00/0.06 c BCD2: 43 <= obj <= 66 0.00/0.06 c BCD2: #cores=7, #unrelaxed=18, #relaxed=148, #hardened=0 0.00/0.06 c BCD2: #sat=2 #unsat=44 bias=44/46 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 | 142 0 | 36 | 50 0.00/0.07 c 0.0s | 0 | 120 | 48 | 142 0 | 36 | 50 0.00/0.07 c #cpu_time = 0.006s 0.00/0.07 c #wall_clock_time = 0.006s 0.00/0.07 c #decision = 120 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 48 0.00/0.07 c #restart = 0 0.00/0.07 o -25 0.00/0.07 c BCD2: updating upper bound: 66 -> 63 0.00/0.07 c BCD2: 43 <= obj <= 63 0.00/0.07 c BCD2: #cores=7, #unrelaxed=18, #relaxed=148, #hardened=0 0.00/0.07 c BCD2: #sat=3 #unsat=44 bias=44/47 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 | 142 0 | 36 | 51 0.00/0.08 c 0.0s | 1 | 156 | 100 | 157 0 | 36 | 51 0.09/0.10 c 0.0s | 2 | 437 | 250 | 173 1 | 36 | 51 0.09/0.14 c 0.1s | 3 | 808 | 475 | 191 2 | 36 | 51 0.09/0.19 c 0.1s | 3 | 1292 | 774 | 211 4 | 36 | 51 0.09/0.19 c #cpu_time = 0.116s 0.09/0.19 c #wall_clock_time = 0.116s 0.09/0.19 c #decision = 1292 0.09/0.19 c #random_decision = 6 0.09/0.19 c #conflict = 774 0.09/0.19 c #restart = 3 0.09/0.19 o -28 0.09/0.19 c BCD2: updating upper bound: 63 -> 60 0.09/0.19 c BCD2: 43 <= obj <= 60 0.09/0.19 c BCD2: #cores=7, #unrelaxed=18, #relaxed=148, #hardened=0 0.09/0.19 c BCD2: #sat=4 #unsat=44 bias=44/48 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 211 0 | 36 | 52 0.19/0.21 c 0.0s | 1 | 163 | 100 | 211 0 | 36 | 52 0.19/0.23 c 0.0s | 2 | 410 | 250 | 211 1 | 36 | 52 0.19/0.26 c 0.1s | 3 | 732 | 475 | 233 3 | 36 | 52 0.29/0.31 c 0.1s | 4 | 1158 | 813 | 233 4 | 36 | 52 0.29/0.38 c 0.2s | 5 | 1818 | 1320 | 257 7 | 36 | 52 0.49/0.50 c 0.3s | 6 | 2778 | 2081 | 257 11 | 36 | 52 0.59/0.67 c 0.5s | 7 | 4228 | 3223 | 283 17 | 36 | 52 0.89/0.96 c 0.8s | 8 | 6483 | 4936 | 312 25 | 36 | 52 1.28/1.36 c 1.2s | 9 | 9786 | 7506 | 344 36 | 36 | 52 1.78/1.82 c 1.6s | 10 | 14664 | 11361 | 379 53 | 36 | 52 2.49/2.52 c 2.3s | 11 | 22399 | 17144 | 417 75 | 36 | 52 3.19/3.23 c 3.0s | 11 | 31129 | 23706 | 417 100 | 36 | 52 3.19/3.23 c #cpu_time = 3.039s 3.19/3.23 c #wall_clock_time = 3.039s 3.19/3.23 c #decision = 31129 3.19/3.23 c #random_decision = 92 3.19/3.23 c #conflict = 23706 3.19/3.23 c #restart = 11 3.19/3.23 o -31 3.19/3.23 c BCD2: updating upper bound: 60 -> 57 3.19/3.23 c BCD2: 43 <= obj <= 57 3.19/3.23 c BCD2: #cores=7, #unrelaxed=18, #relaxed=148, #hardened=0 3.19/3.23 c BCD2: #sat=5 #unsat=44 bias=44/49 3.19/3.23 c Solving starts ... 3.19/3.23 c ============================[ Search Statistics ]============================ 3.19/3.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.19/3.23 c | | | | Limit GC | Var | Constra 3.19/3.23 c ============================================================================= 3.19/3.23 c 0.0s | 0 | 0 | 0 | 417 0 | 36 | 53 3.19/3.24 c 0.0s | 1 | 164 | 100 | 417 0 | 36 | 53 3.19/3.26 c 0.0s | 2 | 406 | 250 | 417 1 | 36 | 53 3.19/3.28 c 0.1s | 3 | 720 | 475 | 417 1 | 36 | 53 3.30/3.32 c 0.1s | 4 | 1178 | 813 | 417 3 | 36 | 53 3.30/3.38 c 0.1s | 5 | 1899 | 1320 | 459 4 | 36 | 53 3.40/3.46 c 0.2s | 6 | 2931 | 2081 | 459 7 | 36 | 53 3.49/3.59 c 0.4s | 7 | 4379 | 3223 | 459 11 | 36 | 53 3.69/3.79 c 0.6s | 8 | 6497 | 4936 | 459 17 | 36 | 53 3.99/4.08 c 0.8s | 9 | 9771 | 7506 | 459 26 | 36 | 53 4.50/4.53 c 1.3s | 10 | 14739 | 11361 | 459 39 | 36 | 53 5.09/5.17 c 1.9s | 11 | 22167 | 17144 | 505 58 | 36 | 53 6.09/6.11 c 2.9s | 12 | 33683 | 25819 | 505 86 | 36 | 53 7.59/7.63 c 4.4s | 13 | 50619 | 38832 | 556 126 | 36 | 53 9.59/9.63 c 6.4s | 13 | 71517 | 56032 | 556 177 | 36 | 53 9.89/9.91 c 6.7s | 14 | 74196 | 58352 | 556 184 | 36 | 53 11.88/11.92 c 8.7s | 14 | 96112 | 75152 | 612 231 | 36 | 53 13.38/13.44 c 10.2s | 15 | 111636 | 87632 | 612 265 | 36 | 53 15.39/15.45 c 12.2s | 15 | 132213 | 104032 | 612 309 | 36 | 53 15.68/15.77 c 12.5s | 15 | 135680 | 106513 | 674 316 | 36 | 53 15.68/15.77 c #cpu_time = 12.542s 15.68/15.77 c #wall_clock_time = 12.542s 15.68/15.77 c #decision = 135680 15.68/15.77 c #random_decision = 433 15.68/15.77 c #conflict = 106513 15.68/15.77 c #restart = 15 15.68/15.77 c BCD2: relaxing 11 and merging with 6 cores into a new core of size 115: cost of the new core is >=33 15.68/15.77 c lower bound updated to -45 15.68/15.77 c BCD2: 44 <= obj <= 57 15.68/15.77 c BCD2: #cores=2, #unrelaxed=7, #relaxed=159, #hardened=0 15.68/15.77 c BCD2: #sat=5 #unsat=45 bias=45/50 15.68/15.77 c Solving starts ... 15.68/15.77 c ============================[ Search Statistics ]============================ 15.68/15.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 15.68/15.77 c | | | | Limit GC | Var | Constra 15.68/15.77 c ============================================================================= 15.68/15.77 c 0.0s | 0 | 0 | 0 | 674 0 | 50 | 53 15.68/15.79 c 0.0s | 1 | 158 | 100 | 674 0 | 50 | 75 15.78/15.81 c 0.0s | 2 | 354 | 250 | 674 0 | 50 | 75 15.78/15.83 c 0.1s | 3 | 663 | 475 | 674 0 | 50 | 75 15.78/15.88 c 0.1s | 4 | 1065 | 813 | 674 0 | 50 | 75 15.88/15.95 c 0.2s | 5 | 1736 | 1320 | 674 2 | 50 | 75 15.98/16.05 c 0.3s | 6 | 2614 | 2081 | 674 4 | 50 | 75 16.18/16.21 c 0.4s | 7 | 4073 | 3223 | 674 6 | 50 | 75 16.38/16.45 c 0.7s | 8 | 6032 | 4936 | 674 11 | 50 | 75 16.78/16.81 c 1.0s | 9 | 8931 | 7506 | 674 17 | 50 | 75 17.28/17.35 c 1.6s | 10 | 13176 | 11361 | 674 27 | 50 | 75 18.08/18.11 c 2.3s | 11 | 20051 | 17144 | 674 41 | 50 | 75 19.18/19.26 c 3.5s | 12 | 29883 | 25819 | 674 63 | 50 | 75 21.08/21.10 c 5.3s | 13 | 43933 | 38832 | 674 95 | 50 | 75 23.09/23.11 c 7.3s | 13 | 59991 | 53932 | 674 133 | 50 | 75 23.68/23.70 c 7.9s | 14 | 65309 | 58352 | 674 144 | 50 | 75 25.68/25.71 c 9.9s | 14 | 81825 | 72952 | 742 179 | 50 | 75 27.68/27.72 c 11.9s | 14 | 98653 | 87352 | 742 212 | 50 | 75 27.68/27.76 c 12.0s | 15 | 98938 | 87632 | 742 213 | 50 | 75 29.69/29.76 c 14.0s | 15 | 115309 | 102032 | 742 246 | 50 | 75 31.68/31.77 c 16.0s | 15 | 130911 | 116732 | 742 280 | 50 | 75 33.68/33.78 c 18.0s | 15 | 146344 | 131132 | 742 313 | 50 | 75 33.78/33.83 c 18.1s | 16 | 146831 | 131552 | 742 314 | 50 | 75 35.79/35.83 c 20.1s | 16 | 162031 | 145652 | 742 347 | 50 | 75 37.79/37.84 c 22.1s | 16 | 176836 | 159152 | 742 378 | 50 | 75 39.79/39.85 c 24.1s | 16 | 191400 | 172552 | 817 407 | 50 | 75 41.79/41.85 c 26.1s | 16 | 205982 | 186052 | 817 435 | 50 | 75 43.38/43.49 c 27.7s | 17 | 217944 | 197432 | 817 460 | 50 | 75 45.48/45.51 c 29.7s | 17 | 233621 | 212232 | 817 491 | 50 | 75 47.48/47.51 c 31.7s | 17 | 248919 | 226632 | 817 521 | 50 | 75 49.49/49.53 c 33.8s | 17 | 265651 | 241332 | 817 553 | 50 | 75 51.48/51.54 c 35.8s | 17 | 281928 | 256032 | 817 584 | 50 | 75 53.48/53.55 c 37.8s | 17 | 298196 | 270832 | 817 615 | 50 | 75 55.48/55.56 c 39.8s | 17 | 313753 | 285332 | 817 646 | 50 | 75 56.98/57.07 c 41.3s | 18 | 325675 | 296252 | 817 669 | 50 | 75 58.98/59.08 c 43.3s | 18 | 342685 | 311052 | 899 700 | 50 | 75 60.98/61.09 c 45.3s | 18 | 360977 | 326152 | 899 729 | 50 | 75 63.08/63.10 c 47.3s | 18 | 377832 | 340752 | 899 757 | 50 | 75 65.08/65.10 c 49.3s | 18 | 394037 | 354852 | 899 785 | 50 | 75 66.97/67.10 c 51.3s | 18 | 409789 | 369152 | 899 813 | 50 | 75 69.07/69.11 c 53.3s | 18 | 425937 | 383252 | 899 840 | 50 | 75 71.07/71.13 c 55.4s | 18 | 442026 | 396952 | 899 867 | 50 | 75 73.07/73.14 c 57.4s | 18 | 458277 | 410852 | 899 894 | 50 | 75 75.07/75.15 c 59.4s | 18 | 473659 | 424852 | 899 922 | 50 | 75 77.08/77.17 c 61.4s | 18 | 489514 | 439152 | 899 950 | 50 | 75 77.87/77.91 c 62.1s | 19 | 496556 | 444482 | 899 960 | 50 | 75 79.87/79.92 c 64.1s | 19 | 514398 | 458782 | 899 988 | 50 | 75 81.88/81.93 c 66.2s | 19 | 531479 | 473382 | 899 1016 | 50 | 75 83.88/83.94 c 68.2s | 19 | 547595 | 487282 | 899 1043 | 50 | 75 85.89/85.95 c 70.2s | 19 | 565156 | 501382 | 899 1070 | 50 | 75 87.88/87.96 c 72.2s | 19 | 582656 | 515482 | 899 1098 | 50 | 75 89.88/89.96 c 74.2s | 19 | 600473 | 529882 | 899 1126 | 50 | 75 91.88/91.97 c 76.2s | 19 | 617159 | 543682 | 989 1150 | 50 | 75 93.88/93.97 c 78.2s | 19 | 634659 | 557782 | 989 1175 | 50 | 75 95.88/95.97 c 80.2s | 19 | 651316 | 571682 | 989 1200 | 50 | 75 97.88/97.98 c 82.2s | 19 | 668483 | 585582 | 989 1225 | 50 | 75 99.87/99.99 c 84.2s | 19 | 685339 | 599482 | 989 1250 | 50 | 75 101.87/101.99 c 86.2s | 19 | 701143 | 612982 | 989 1274 | 50 | 75 103.87/103.99 c 88.2s | 19 | 716853 | 626582 | 989 1298 | 50 | 75 105.97/106.00 c 90.2s | 19 | 732409 | 640282 | 989 1322 | 50 | 75 107.97/108.02 c 92.2s | 19 | 748874 | 654282 | 989 1348 | 50 | 75 109.77/109.86 c 94.1s | 20 | 763097 | 666827 | 989 1370 | 50 | 75 111.77/111.87 c 96.1s | 20 | 779492 | 680527 | 989 1395 | 50 | 75 113.77/113.88 c 98.1s | 20 | 795131 | 694327 | 989 1419 | 50 | 75 115.77/115.89 c 100s | 20 | 812096 | 708427 | 989 1445 | 50 | 75 117.78/117.90 c 102s | 20 | 828936 | 722527 | 989 1470 | 50 | 75 119.88/119.91 c 104s | 20 | 845223 | 736527 | 989 1495 | 50 | 75 121.87/121.92 c 106s | 20 | 861303 | 750727 | 989 1520 | 50 | 75 123.87/123.94 c 108s | 20 | 877342 | 764627 | 989 1545 | 50 | 75 125.87/125.94 c 110s | 20 | 894298 | 779027 | 989 1571 | 50 | 75 127.87/127.95 c 112s | 20 | 911207 | 793227 | 989 1597 | 50 | 75 129.87/129.96 c 114s | 20 | 927828 | 807527 | 989 1622 | 50 | 75 131.86/131.97 c 116s | 20 | 942965 | 821227 | 989 1647 | 50 | 75 133.86/133.97 c 118s | 20 | 958564 | 835327 | 989 1672 | 50 | 75 135.86/135.97 c 120s | 20 | 973915 | 848627 | 989 1696 | 50 | 75 137.87/137.99 c 122s | 20 | 990151 | 862327 | 1088 1721 | 50 | 75 139.97/140.00 c 124s | 20 | 1006032 | 875827 | 1088 1743 | 50 | 75 141.98/142.02 c 126s | 20 | 1021106 | 888827 | 1088 1764 | 50 | 75 143.97/144.03 c 128s | 20 | 1036467 | 902527 | 1088 1787 | 50 | 75 145.97/146.03 c 130s | 20 | 1052617 | 916627 | 1088 1810 | 50 | 75 147.97/148.04 c 132s | 20 | 1069356 | 930927 | 1088 1834 | 50 | 75 149.97/150.05 c 134s | 20 | 1084611 | 944927 | 1088 1857 | 50 | 75 151.97/152.06 c 136s | 20 | 1100441 | 958927 | 1088 1880 | 50 | 75 153.97/154.07 c 138s | 20 | 1116699 | 973027 | 1088 1903 | 50 | 75 155.96/156.08 c 140s | 20 | 1131370 | 986327 | 1088 1925 | 50 | 75 157.96/158.09 c 142s | 20 | 1146480 | 999427 | 1088 1947 | 50 | 75 158.16/158.21 c 142s | 21 | 1147446 | 1000345 | 1088 1948 | 50 | 75 160.16/160.22 c 144s | 21 | 1163291 | 1014245 | 1088 1971 | 50 | 75 162.16/162.22 c 146s | 21 | 1180828 | 1028445 | 1088 1995 | 50 | 75 164.16/164.23 c 148s | 21 | 1196930 | 1042445 | 1088 2018 | 50 | 75 166.17/166.25 c 150s | 21 | 1213044 | 1056345 | 1088 2041 | 50 | 75 168.16/168.25 c 152s | 21 | 1228551 | 1070045 | 1088 2063 | 50 | 75 170.16/170.26 c 154s | 21 | 1244542 | 1083945 | 1088 2086 | 50 | 75 172.16/172.27 c 156s | 21 | 1259883 | 1097545 | 1088 2108 | 50 | 75 174.16/174.28 c 158s | 21 | 1275830 | 1111345 | 1088 2131 | 50 | 75 176.26/176.30 c 160s | 21 | 1292731 | 1124945 | 1088 2154 | 50 | 75 178.16/178.30 c 162s | 21 | 1309649 | 1138645 | 1088 2176 | 50 | 75 180.26/180.31 c 164s | 21 | 1326406 | 1152645 | 1088 2199 | 50 | 75 182.26/182.32 c 166s | 21 | 1342383 | 1166045 | 1088 2221 | 50 | 75 184.26/184.33 c 168s | 21 | 1358216 | 1179845 | 1088 2244 | 50 | 75 186.25/186.33 c 170s | 21 | 1373029 | 1193445 | 1088 2267 | 50 | 75 188.25/188.34 c 172s | 21 | 1388757 | 1207045 | 1088 2289 | 50 | 75 190.26/190.36 c 174s | 21 | 1403993 | 1220545 | 1088 2311 | 50 | 75 192.26/192.36 c 176s | 21 | 1418988 | 1233645 | 1088 2333 | 50 | 75 194.26/194.38 c 178s | 21 | 1434617 | 1247345 | 1088 2356 | 50 | 75 196.26/196.39 c 180s | 21 | 1450126 | 1260745 | 1088 2378 | 50 | 75 198.26/198.39 c 182s | 21 | 1465016 | 1273745 | 1088 2399 | 50 | 75 200.36/200.41 c 184s | 21 | 1480022 | 1287645 | 1088 2422 | 50 | 75 202.37/202.41 c 186s | 21 | 1495119 | 1301345 | 1088 2445 | 50 | 75 204.36/204.43 c 188s | 21 | 1509483 | 1314545 | 1088 2467 | 50 | 75 206.36/206.43 c 190s | 21 | 1524181 | 1327945 | 1088 2489 | 50 | 75 208.36/208.44 c 192s | 21 | 1539618 | 1341445 | 1088 2511 | 50 | 75 210.36/210.46 c 194s | 21 | 1555023 | 1354945 | 1088 2534 | 50 | 75 212.36/212.46 c 196s | 21 | 1571229 | 1368145 | 1197 2554 | 50 | 75 214.36/214.48 c 198s | 21 | 1585719 | 1381045 | 1197 2574 | 50 | 75 216.36/216.49 c 200s | 21 | 1601156 | 1394245 | 1197 2594 | 50 | 75 218.46/218.51 c 202s | 21 | 1615746 | 1407445 | 1197 2614 | 50 | 75 220.46/220.51 c 204s | 21 | 1630661 | 1420345 | 1197 2633 | 50 | 75 222.46/222.52 c 206s | 21 | 1645940 | 1433745 | 1197 2653 | 50 | 75 224.46/224.52 c 208s | 21 | 1661832 | 1447145 | 1197 2674 | 50 | 75 226.45/226.54 c 210s | 21 | 1676924 | 1460445 | 1197 2694 | 50 | 75 228.45/228.54 c 212s | 21 | 1692413 | 1473845 | 1197 2714 | 50 | 75 230.45/230.55 c 214s | 21 | 1707218 | 1487045 | 1197 2734 | 50 | 75 232.45/232.55 c 216s | 21 | 1722044 | 1500545 | 1197 2755 | 50 | 75 232.45/232.56 c 216s | 22 | 1722127 | 1500622 | 1197 2755 | 50 | 75 234.45/234.56 c 218s | 22 | 1737420 | 1514022 | 1197 2775 | 50 | 75 236.46/236.57 c 220s | 22 | 1753744 | 1527722 | 1197 2796 | 50 | 75 238.45/238.57 c 222s | 22 | 1770407 | 1541622 | 1197 2816 | 50 | 75 240.45/240.58 c 224s | 22 | 1786361 | 1555022 | 1197 2837 | 50 | 75 242.45/242.59 c 226s | 22 | 1802333 | 1568822 | 1197 2857 | 50 | 75 244.45/244.59 c 228s | 22 | 1818089 | 1582322 | 1197 2878 | 50 | 75 246.55/246.60 c 230s | 22 | 1833787 | 1595822 | 1197 2898 | 50 | 75 248.55/248.62 c 232s | 22 | 1849413 | 1609522 | 1197 2919 | 50 | 75 250.55/250.62 c 234s | 22 | 1864507 | 1623122 | 1197 2939 | 50 | 75 252.55/252.63 c 236s | 22 | 1880289 | 1636822 | 1197 2960 | 50 | 75 254.55/254.64 c 238s | 22 | 1895718 | 1650222 | 1197 2981 | 50 | 75 256.55/256.64 c 240s | 22 | 1911286 | 1664022 | 1197 3002 | 50 | 75 258.55/258.66 c 242s | 22 | 1926616 | 1677822 | 1197 3022 | 50 | 75 260.55/260.66 c 244s | 22 | 1942288 | 1691522 | 1197 3043 | 50 | 75 262.55/262.67 c 246s | 22 | 1957955 | 1705322 | 1197 3064 | 50 | 75 264.55/264.68 c 248s | 22 | 1973247 | 1719022 | 1197 3085 | 50 | 75 266.55/266.68 c 250s | 22 | 1989343 | 1732822 | 1197 3106 | 50 | 75 268.55/268.69 c 252s | 22 | 2005606 | 1746622 | 1197 3127 | 50 | 75 270.56/270.69 c 254s | 22 | 2020575 | 1760122 | 1197 3147 | 50 | 75 272.65/272.70 c 256s | 22 | 2035291 | 1773622 | 1197 3167 | 50 | 75 274.65/274.71 c 258s | 22 | 2050921 | 1787222 | 1197 3188 | 50 | 75 276.65/276.72 c 260s | 22 | 2067240 | 1800822 | 1197 3209 | 50 | 75 278.65/278.72 c 262s | 22 | 2083335 | 1814422 | 1197 3229 | 50 | 75 280.65/280.73 c 264s | 22 | 2098260 | 1827822 | 1197 3249 | 50 | 75 282.65/282.75 c 266s | 22 | 2114045 | 1841622 | 1197 3270 | 50 | 75 284.64/284.75 c 268s | 22 | 2128219 | 1854622 | 1197 3290 | 50 | 75 286.64/286.76 c 270s | 22 | 2143159 | 1867922 | 1197 3310 | 50 | 75 288.64/288.76 c 272s | 22 | 2159462 | 1881222 | 1197 3330 | 50 | 75 290.64/290.77 c 274s | 22 | 2174368 | 1894322 | 1197 3350 | 50 | 75 292.65/292.77 c 276s | 22 | 2188830 | 1907522 | 1197 3370 | 50 | 75 294.64/294.78 c 279s | 22 | 2203077 | 1920322 | 1197 3389 | 50 | 75 296.64/296.79 c 281s | 22 | 2219069 | 1933922 | 1197 3410 | 50 | 75 298.74/298.80 c 283s | 22 | 2233958 | 1947022 | 1197 3430 | 50 | 75 300.74/300.81 c 285s | 22 | 2249823 | 1960722 | 1197 3450 | 50 | 75 302.74/302.81 c 287s | 22 | 2266409 | 1974422 | 1197 3471 | 50 | 75 304.75/304.81 c 289s | 22 | 2282798 | 1988022 | 1197 3492 | 50 | 75 306.74/306.82 c 291s | 22 | 2297810 | 2001322 | 1197 3512 | 50 | 75 308.74/308.83 c 293s | 22 | 2312575 | 2014622 | 1197 3532 | 50 | 75 310.74/310.83 c 295s | 22 | 2326609 | 2027422 | 1197 3551 | 50 | 75 312.74/312.83 c 297s | 22 | 2341090 | 2040222 | 1197 3571 | 50 | 75 314.74/314.85 c 299s | 22 | 2356499 | 2053422 | 1197 3591 | 50 | 75 316.74/316.85 c 301s | 22 | 2372274 | 2066722 | 1197 3611 | 50 | 75 318.73/318.85 c 303s | 22 | 2387551 | 2079722 | 1197 3630 | 50 | 75 320.74/320.86 c 305s | 22 | 2403095 | 2092922 | 1197 3650 | 50 | 75 322.74/322.86 c 307s | 22 | 2419102 | 2106122 | 1317 3669 | 50 | 75 324.74/324.87 c 309s | 22 | 2434934 | 2119022 | 1317 3687 | 50 | 75 326.75/326.87 c 311s | 22 | 2449945 | 2131522 | 1317 3704 | 50 | 75 328.74/328.88 c 313s | 22 | 2465010 | 2143822 | 1317 3721 | 50 | 75 330.74/330.88 c 315s | 22 | 2478842 | 2156422 | 1317 3739 | 50 | 75 332.74/332.88 c 317s | 22 | 2493658 | 2169522 | 1317 3757 | 50 | 75 334.74/334.89 c 319s | 22 | 2508709 | 2182822 | 1317 3775 | 50 | 75 336.84/336.90 c 321s | 22 | 2524003 | 2195922 | 1317 3793 | 50 | 75 338.84/338.92 c 323s | 22 | 2539246 | 2208922 | 1317 3811 | 50 | 75 340.83/340.93 c 325s | 22 | 2553668 | 2221322 | 1317 3828 | 50 | 75 342.83/342.93 c 327s | 22 | 2568572 | 2234422 | 1317 3847 | 50 | 75 344.83/344.95 c 329s | 22 | 2583018 | 2247422 | 1317 3865 | 50 | 75 345.44/345.53 c 329s | 23 | 2586966 | 2251038 | 1317 3870 | 50 | 75 347.43/347.54 c 331s | 23 | 2603391 | 2264138 | 1317 3888 | 50 | 75 349.43/349.54 c 333s | 23 | 2619050 | 2277338 | 1317 3906 | 50 | 75 351.43/351.55 c 335s | 23 | 2634656 | 2289938 | 1317 3923 | 50 | 75 353.43/353.57 c 337s | 23 | 2651102 | 2303238 | 1317 3942 | 50 | 75 355.43/355.58 c 339s | 23 | 2666222 | 2316038 | 1317 3959 | 50 | 75 357.44/357.59 c 341s | 23 | 2681194 | 2329038 | 1317 3977 | 50 | 75 359.43/359.59 c 343s | 23 | 2696694 | 2342038 | 1317 3995 | 50 | 75 361.43/361.59 c 345s | 23 | 2713661 | 2355438 | 1317 4014 | 50 | 75 363.53/363.60 c 347s | 23 | 2730552 | 2368838 | 1317 4032 | 50 | 75 365.53/365.62 c 349s | 23 | 2745556 | 2382138 | 1317 4051 | 50 | 75 367.53/367.63 c 351s | 23 | 2761326 | 2395538 | 1317 4069 | 50 | 75 369.53/369.64 c 353s | 23 | 2777046 | 2409038 | 1317 4088 | 50 | 75 371.53/371.64 c 355s | 23 | 2792763 | 2422038 | 1317 4106 | 50 | 75 373.54/373.66 c 357s | 23 | 2808530 | 2435038 | 1317 4124 | 50 | 75 375.53/375.66 c 359s | 23 | 2824390 | 2448038 | 1317 4142 | 50 | 75 377.53/377.66 c 361s | 23 | 2838610 | 2461038 | 1317 4159 | 50 | 75 379.54/379.68 c 363s | 23 | 2853032 | 2474038 | 1317 4177 | 50 | 75 381.53/381.70 c 365s | 23 | 2868440 | 2487238 | 1317 4196 | 50 | 75 383.63/383.70 c 367s | 23 | 2883055 | 2500138 | 1317 4214 | 50 | 75 385.63/385.70 c 369s | 23 | 2898792 | 2513538 | 1317 4232 | 50 | 75 387.63/387.72 c 371s | 23 | 2914939 | 2526838 | 1317 4251 | 50 | 75 389.63/389.72 c 373s | 23 | 2930522 | 2539838 | 1317 4268 | 50 | 75 391.64/391.73 c 375s | 23 | 2945606 | 2553138 | 1317 4287 | 50 | 75 393.63/393.74 c 377s | 23 | 2959805 | 2566038 | 1317 4305 | 50 | 75 395.63/395.75 c 379s | 23 | 2974419 | 2579038 | 1317 4323 | 50 | 75 397.63/397.75 c 381s | 23 | 2989601 | 2592438 | 1317 4341 | 50 | 75 399.63/399.76 c 383s | 23 | 3005827 | 2606138 | 1317 4360 | 50 | 75 401.63/401.78 c 386s | 23 | 3021948 | 2619338 | 1317 4378 | 50 | 75 403.63/403.78 c 388s | 23 | 3037944 | 2632738 | 1317 4397 | 50 | 75 405.63/405.78 c 390s | 23 | 3054123 | 2646638 | 1317 4416 | 50 | 75 407.62/407.79 c 392s | 23 | 3069361 | 2660138 | 1317 4435 | 50 | 75 409.72/409.80 c 394s | 23 | 3084826 | 2673638 | 1317 4453 | 50 | 75 411.72/411.81 c 396s | 23 | 3101677 | 2687638 | 1317 4473 | 50 | 75 413.72/413.81 c 398s | 23 | 3118664 | 2701638 | 1317 4492 | 50 | 75 415.73/415.82 c 400s | 23 | 3134509 | 2715038 | 1317 4510 | 50 | 75 417.72/417.83 c 402s | 23 | 3150875 | 2728938 | 1317 4530 | 50 | 75 419.72/419.84 c 404s | 23 | 3166789 | 2742238 | 1317 4548 | 50 | 75 421.72/421.85 c 406s | 23 | 3182955 | 2755438 | 1317 4566 | 50 | 75 423.72/423.86 c 408s | 23 | 3198929 | 2768738 | 1317 4585 | 50 | 75 425.73/425.86 c 410s | 23 | 3214548 | 2781838 | 1317 4603 | 50 | 75 427.72/427.88 c 412s | 23 | 3230740 | 2795338 | 1317 4621 | 50 | 75 429.72/429.88 c 414s | 23 | 3246533 | 2808638 | 1317 4640 | 50 | 75 431.72/431.89 c 416s | 23 | 3263538 | 2822338 | 1317 4659 | 50 | 75 433.82/433.90 c 418s | 23 | 3278921 | 2835538 | 1317 4677 | 50 | 75 435.82/435.91 c 420s | 23 | 3295128 | 2848738 | 1317 4695 | 50 | 75 437.83/437.92 c 422s | 23 | 3311300 | 2861938 | 1317 4714 | 50 | 75 439.83/439.93 c 424s | 23 | 3327822 | 2875338 | 1317 4732 | 50 | 75 441.82/441.93 c 426s | 23 | 3344371 | 2888738 | 1317 4751 | 50 | 75 443.82/443.94 c 428s | 23 | 3360675 | 2902638 | 1317 4770 | 50 | 75 445.82/445.95 c 430s | 23 | 3376518 | 2916338 | 1317 4789 | 50 | 75 447.82/447.95 c 432s | 23 | 3391744 | 2929738 | 1317 4807 | 50 | 75 449.82/449.96 c 434s | 23 | 3407946 | 2943138 | 1317 4826 | 50 | 75 451.82/451.97 c 436s | 23 | 3423740 | 2956438 | 1317 4844 | 50 | 75 453.82/453.98 c 438s | 23 | 3439821 | 2969938 | 1317 4863 | 50 | 75 455.81/455.98 c 440s | 23 | 3456150 | 2983738 | 1317 4882 | 50 | 75 457.82/457.99 c 442s | 23 | 3470686 | 2996838 | 1317 4900 | 50 | 75 459.83/459.99 c 444s | 23 | 3484539 | 3009738 | 1317 4918 | 50 | 75 461.82/462.00 c 446s | 23 | 3500301 | 3023138 | 1317 4936 | 50 | 75 463.92/464.00 c 448s | 23 | 3516899 | 3036738 | 1317 4955 | 50 | 75 465.92/466.01 c 450s | 23 | 3533188 | 3050438 | 1317 4974 | 50 | 75 467.92/468.02 c 452s | 23 | 3548745 | 3063738 | 1317 4992 | 50 | 75 469.92/470.03 c 454s | 23 | 3562568 | 3076438 | 1317 5010 | 50 | 75 471.93/472.03 c 456s | 23 | 3577836 | 3089638 | 1317 5028 | 50 | 75 473.92/474.04 c 458s | 23 | 3593948 | 3102538 | 1317 5046 | 50 | 75 475.92/476.04 c 460s | 23 | 3610241 | 3115638 | 1317 5064 | 50 | 75 477.92/478.04 c 462s | 23 | 3626363 | 3128838 | 1317 5082 | 50 | 75 479.92/480.04 c 464s | 23 | 3641834 | 3141838 | 1317 5100 | 50 | 75 481.91/482.05 c 466s | 23 | 3657686 | 3154938 | 1317 5118 | 50 | 75 483.92/484.06 c 468s | 23 | 3673769 | 3167638 | 1317 5136 | 50 | 75 485.91/486.07 c 470s | 23 | 3690127 | 3180838 | 1317 5154 | 50 | 75 487.91/488.07 c 472s | 23 | 3704850 | 3193538 | 1317 5172 | 50 | 75 489.91/490.08 c 474s | 23 | 3720298 | 3205938 | 1317 5189 | 50 | 75 491.91/492.08 c 476s | 23 | 3735335 | 3218238 | 1317 5206 | 50 | 75 493.91/494.09 c 478s | 23 | 3751213 | 3231438 | 1449 5223 | 50 | 75 495.92/496.10 c 480s | 23 | 3766173 | 3243938 | 1449 5239 | 50 | 75 498.02/498.10 c 482s | 23 | 3781168 | 3256538 | 1449 5255 | 50 | 75 500.02/500.11 c 484s | 23 | 3797742 | 3269638 | 1449 5271 | 50 | 75 502.01/502.12 c 486s | 23 | 3814899 | 3282838 | 1449 5288 | 50 | 75 504.01/504.12 c 488s | 23 | 3830521 | 3295338 | 1449 5304 | 50 | 75 506.02/506.13 c 490s | 23 | 3844873 | 3307838 | 1449 5320 | 50 | 75 508.01/508.13 c 492s | 23 | 3859904 | 3320238 | 1449 5335 | 50 | 75 510.01/510.14 c 494s | 23 | 3875038 | 3333038 | 1449 5352 | 50 | 75 512.01/512.14 c 496s | 23 | 3891174 | 3346638 | 1449 5369 | 50 | 75 514.01/514.15 c 498s | 23 | 3908113 | 3360138 | 1449 5386 | 50 | 75 516.01/516.15 c 500s | 23 | 3925141 | 3373838 | 1449 5403 | 50 | 75 516.41/516.56 c 500s | 24 | 3928492 | 3376662 | 1449 5407 | 50 | 75 518.41/518.57 c 502s | 24 | 3944953 | 3390062 | 1449 5424 | 50 | 75 520.41/520.58 c 504s | 24 | 3960830 | 3403462 | 1449 5441 | 50 | 75 522.41/522.59 c 506s | 24 | 3977218 | 3417062 | 1449 5458 | 50 | 75 524.51/524.60 c 508s | 24 | 3994610 | 3430762 | 1449 5475 | 50 | 75 526.51/526.60 c 510s | 24 | 4010181 | 3443562 | 1449 5491 | 50 | 75 528.51/528.61 c 512s | 24 | 4026648 | 3456762 | 1449 5508 | 50 | 75 530.51/530.62 c 514s | 24 | 4042869 | 3470062 | 1449 5525 | 50 | 75 532.51/532.63 c 516s | 24 | 4058593 | 3483262 | 1449 5542 | 50 | 75 534.51/534.64 c 518s | 24 | 4073841 | 3496462 | 1449 5558 | 50 | 75 536.50/536.65 c 520s | 24 | 4088134 | 3509362 | 1449 5575 | 50 | 75 538.51/538.66 c 522s | 24 | 4102908 | 3522062 | 1449 5591 | 50 | 75 540.51/540.66 c 524s | 24 | 4119341 | 3535562 | 1449 5608 | 50 | 75 542.51/542.67 c 526s | 24 | 4135442 | 3548662 | 1449 5624 | 50 | 75 544.51/544.68 c 528s | 24 | 4150719 | 3561562 | 1449 5641 | 50 | 75 546.51/546.68 c 530s | 24 | 4165445 | 3575062 | 1449 5658 | 50 | 75 548.61/548.70 c 532s | 24 | 4180134 | 3588062 | 1449 5674 | 50 | 75 550.61/550.70 c 534s | 24 | 4194513 | 3600662 | 1449 5690 | 50 | 75 552.61/552.71 c 536s | 24 | 4209669 | 3613662 | 1449 5707 | 50 | 75 554.60/554.72 c 538s | 24 | 4225711 | 3626962 | 1449 5723 | 50 | 75 556.61/556.72 c 540s | 24 | 4241682 | 3640462 | 1449 5740 | 50 | 75 558.60/558.73 c 542s | 24 | 4258129 | 3653962 | 1449 5758 | 50 | 75 560.60/560.74 c 544s | 24 | 4273384 | 3666862 | 1449 5774 | 50 | 75 562.60/562.75 c 546s | 24 | 4287397 | 3679662 | 1449 5790 | 50 | 75 564.60/564.76 c 548s | 24 | 4301747 | 3692362 | 1449 5806 | 50 | 75 566.60/566.77 c 550s | 24 | 4316183 | 3705062 | 1449 5822 | 50 | 75 568.61/568.79 c 553s | 24 | 4331804 | 3718462 | 1449 5839 | 50 | 75 570.60/570.79 c 555s | 24 | 4347608 | 3731562 | 1449 5856 | 50 | 75 572.60/572.80 c 557s | 24 | 4362654 | 3744662 | 1449 5872 | 50 | 75 574.70/574.80 c 559s | 24 | 4378395 | 3757662 | 1449 5889 | 50 | 75 576.70/576.80 c 561s | 24 | 4394522 | 3771462 | 1449 5906 | 50 | 75 578.70/578.81 c 563s | 24 | 4411156 | 3785362 | 1449 5924 | 50 | 75 580.70/580.82 c 565s | 24 | 4426145 | 3798462 | 1449 5940 | 50 | 75 582.69/582.83 c 567s | 24 | 4441211 | 3811462 | 1449 5956 | 50 | 75 584.69/584.84 c 569s | 24 | 4457984 | 3824762 | 1449 5973 | 50 | 75 586.69/586.85 c 571s | 24 | 4474967 | 3838362 | 1449 5991 | 50 | 75 588.70/588.85 c 573s | 24 | 4491963 | 3852262 | 1449 6008 | 50 | 75 590.71/590.87 c 575s | 24 | 4508800 | 3865462 | 1449 6025 | 50 | 75 592.70/592.87 c 577s | 24 | 4525852 | 3878962 | 1449 6042 | 50 | 75 594.70/594.88 c 579s | 24 | 4542741 | 3892362 | 1449 6059 | 50 | 75 596.70/596.88 c 581s | 24 | 4558543 | 3905062 | 1449 6075 | 50 | 75 598.70/598.88 c 583s | 24 | 4574043 | 3917962 | 1449 6091 | 50 | 75 600.70/600.89 c 585s | 24 | 4588909 | 3930862 | 1449 6107 | 50 | 75 602.81/602.90 c 587s | 24 | 4603432 | 3943162 | 1449 6123 | 50 | 75 604.80/604.91 c 589s | 24 | 4618085 | 3955762 | 1449 6139 | 50 | 75 606.80/606.91 c 591s | 24 | 4632876 | 3968562 | 1449 6155 | 50 | 75 608.80/608.92 c 593s | 24 | 4647707 | 3981562 | 1449 6171 | 50 | 75 610.80/610.92 c 595s | 24 | 4662798 | 3994562 | 1449 6188 | 50 | 75 612.80/612.93 c 597s | 24 | 4678302 | 4007962 | 1449 6205 | 50 | 75 614.80/614.93 c 599s | 24 | 4694218 | 4021362 | 1449 6222 | 50 | 75 616.79/616.95 c 601s | 24 | 4710819 | 4034962 | 1449 6239 | 50 | 75 618.79/618.96 c 603s | 24 | 4726942 | 4048562 | 1449 6256 | 50 | 75 620.79/620.97 c 605s | 24 | 4743172 | 4062262 | 1449 6273 | 50 | 75 622.79/622.98 c 607s | 24 | 4758642 | 4075262 | 1449 6290 | 50 | 75 624.80/624.99 c 609s | 24 | 4772816 | 4087862 | 1449 6306 | 50 | 75 626.90/627.02 c 611s | 24 | 4786469 | 4100462 | 1449 6321 | 50 | 75 628.89/629.03 c 613s | 24 | 4800043 | 4113062 | 1449 6337 | 50 | 75 630.89/631.03 c 615s | 24 | 4814089 | 4125962 | 1449 6354 | 50 | 75 632.89/633.04 c 617s | 24 | 4828230 | 4138662 | 1449 6370 | 50 | 75 634.89/635.04 c 619s | 24 | 4842719 | 4151462 | 1449 6386 | 50 | 75 636.90/637.05 c 621s | 24 | 4856753 | 4164262 | 1449 6402 | 50 | 75 638.89/639.06 c 623s | 24 | 4870582 | 4176862 | 1449 6418 | 50 | 75 640.89/641.06 c 625s | 24 | 4884041 | 4189062 | 1449 6433 | 50 | 75 642.89/643.07 c 627s | 24 | 4898983 | 4202062 | 1449 6450 | 50 | 75 644.88/645.08 c 629s | 24 | 4914418 | 4215362 | 1449 6467 | 50 | 75 646.89/647.09 c 631s | 24 | 4929312 | 4228462 | 1449 6483 | 50 | 75 648.90/649.09 c 633s | 24 | 4944838 | 4241262 | 1449 6499 | 50 | 75 650.99/651.11 c 635s | 24 | 4959144 | 4253762 | 1449 6515 | 50 | 75 652.99/653.11 c 637s | 24 | 4973360 | 4266962 | 1449 6532 | 50 | 75 654.99/655.12 c 639s | 24 | 4987829 | 4280062 | 1449 6549 | 50 | 75 656.99/657.13 c 641s | 24 | 5002626 | 4292662 | 1449 6564 | 50 | 75 658.99/659.13 c 643s | 24 | 5016724 | 4305462 | 1449 6581 | 50 | 75 660.99/661.15 c 645s | 24 | 5031290 | 4318362 | 1449 6597 | 50 | 75 662.99/663.16 c 647s | 24 | 5045960 | 4331462 | 1449 6614 | 50 | 75 664.99/665.17 c 649s | 24 | 5060475 | 4344562 | 1449 6630 | 50 | 75 666.98/667.19 c 651s | 24 | 5075095 | 4357362 | 1449 6646 | 50 | 75 668.98/669.19 c 653s | 24 | 5089775 | 4369962 | 1449 6662 | 50 | 75 671.08/671.20 c 655s | 24 | 5104614 | 4382362 | 1449 6678 | 50 | 75 672.98/673.20 c 657s | 24 | 5118910 | 4394862 | 1449 6694 | 50 | 75 675.08/675.21 c 659s | 24 | 5133183 | 4407662 | 1449 6710 | 50 | 75 677.08/677.22 c 661s | 24 | 5146504 | 4420062 | 1449 6726 | 50 | 75 679.08/679.23 c 663s | 24 | 5160219 | 4432662 | 1449 6742 | 50 | 75 681.08/681.24 c 665s | 24 | 5173256 | 4444762 | 1449 6757 | 50 | 75 683.09/683.25 c 667s | 24 | 5187334 | 4457562 | 1449 6773 | 50 | 75 685.08/685.25 c 669s | 24 | 5201572 | 4470462 | 1449 6790 | 50 | 75 687.08/687.25 c 671s | 24 | 5216475 | 4483362 | 1449 6806 | 50 | 75 689.08/689.27 c 673s | 24 | 5230944 | 4496462 | 1449 6823 | 50 | 75 691.08/691.27 c 675s | 24 | 5245759 | 4509162 | 1449 6839 | 50 | 75 693.08/693.27 c 677s | 24 | 5262176 | 4522762 | 1449 6856 | 50 | 75 695.08/695.28 c 679s | 24 | 5276738 | 4535662 | 1449 6872 | 50 | 75 697.08/697.28 c 681s | 24 | 5291870 | 4548962 | 1449 6889 | 50 | 75 699.08/699.29 c 683s | 24 | 5307427 | 4561762 | 1449 6905 | 50 | 75 701.18/701.30 c 685s | 24 | 5322054 | 4574362 | 1449 6921 | 50 | 75 703.18/703.31 c 687s | 24 | 5338438 | 4587662 | 1449 6938 | 50 | 75 705.18/705.32 c 689s | 24 | 5353947 | 4601062 | 1449 6955 | 50 | 75 707.19/707.32 c 691s | 24 | 5368278 | 4613462 | 1449 6971 | 50 | 75 709.18/709.32 c 693s | 24 | 5382426 | 4626062 | 1449 6987 | 50 | 75 711.18/711.33 c 695s | 24 | 5397495 | 4639362 | 1449 7004 | 50 | 75 713.18/713.34 c 697s | 24 | 5411935 | 4652262 | 1449 7020 | 50 | 75 715.18/715.35 c 699s | 24 | 5427031 | 4665362 | 1449 7037 | 50 | 75 717.19/717.37 c 701s | 24 | 5442679 | 4679062 | 1449 7054 | 50 | 75 719.18/719.37 c 703s | 24 | 5457226 | 4691662 | 1449 7070 | 50 | 75 721.18/721.38 c 705s | 24 | 5471355 | 4704662 | 1449 7087 | 50 | 75 723.18/723.39 c 707s | 24 | 5486350 | 4717962 | 1449 7103 | 50 | 75 725.28/725.40 c 709s | 24 | 5501312 | 4731062 | 1449 7120 | 50 | 75 727.28/727.41 c 711s | 24 | 5517042 | 4744262 | 1449 7137 | 50 | 75 729.28/729.42 c 713s | 24 | 5532205 | 4757562 | 1449 7154 | 50 | 75 731.27/731.42 c 715s | 24 | 5547854 | 4770962 | 1449 7171 | 50 | 75 733.27/733.43 c 717s | 24 | 5562676 | 4784262 | 1449 7187 | 50 | 75 735.27/735.43 c 719s | 24 | 5576787 | 4797062 | 1449 7204 | 50 | 75 737.27/737.43 c 721s | 24 | 5590767 | 4809862 | 1449 7220 | 50 | 75 739.27/739.44 c 723s | 24 | 5604486 | 4822062 | 1449 7235 | 50 | 75 741.28/741.44 c 725s | 24 | 5618101 | 4834562 | 1449 7251 | 50 | 75 743.27/743.45 c 727s | 24 | 5631421 | 4846762 | 1449 7267 | 50 | 75 745.27/745.46 c 729s | 24 | 5645539 | 4859562 | 1449 7283 | 50 | 75 747.27/747.47 c 731s | 24 | 5660986 | 4872662 | 1449 7299 | 50 | 75 749.27/749.47 c 733s | 24 | 5676065 | 4885662 | 1449 7316 | 50 | 75 751.27/751.47 c 735s | 24 | 5691615 | 4898762 | 1594 7332 | 50 | 75 753.27/753.49 c 737s | 24 | 5706264 | 4912162 | 1594 7348 | 50 | 75 755.38/755.50 c 739s | 24 | 5720820 | 4925062 | 1594 7363 | 50 | 75 757.38/757.50 c 741s | 24 | 5734544 | 4937662 | 1594 7377 | 50 | 75 759.38/759.52 c 743s | 24 | 5749025 | 4950062 | 1594 7392 | 50 | 75 761.38/761.52 c 745s | 24 | 5763156 | 4962562 | 1594 7406 | 50 | 75 763.38/763.53 c 747s | 24 | 5777363 | 4975062 | 1594 7421 | 50 | 75 765.37/765.54 c 749s | 24 | 5792167 | 4988262 | 1594 7436 | 50 | 75 767.37/767.54 c 751s | 24 | 5807113 | 5001562 | 1594 7452 | 50 | 75 769.37/769.54 c 753s | 24 | 5822030 | 5014062 | 1594 7466 | 50 | 75 771.37/771.56 c 755s | 24 | 5837471 | 5027262 | 1594 7481 | 50 | 75 773.37/773.56 c 757s | 24 | 5853457 | 5040462 | 1594 7497 | 50 | 75 775.37/775.58 c 759s | 24 | 5868616 | 5053562 | 1594 7512 | 50 | 75 777.27/777.45 c 761s | 25 | 5881718 | 5065098 | 1594 7525 | 50 | 75 779.27/779.46 c 763s | 25 | 5897445 | 5078198 | 1594 7540 | 50 | 75 781.26/781.46 c 765s | 25 | 5912324 | 5091198 | 1594 7556 | 50 | 75 783.26/783.46 c 767s | 25 | 5926803 | 5103398 | 1594 7570 | 50 | 75 785.27/785.47 c 769s | 25 | 5941268 | 5115798 | 1594 7584 | 50 | 75 787.26/787.48 c 771s | 25 | 5955694 | 5128598 | 1594 7599 | 50 | 75 789.37/789.50 c 773s | 25 | 5971446 | 5141498 | 1594 7614 | 50 | 75 791.37/791.50 c 775s | 25 | 5986150 | 5154298 | 1594 7629 | 50 | 75 793.37/793.50 c 777s | 25 | 6001330 | 5166798 | 1594 7643 | 50 | 75 795.37/795.51 c 779s | 25 | 6016627 | 5179298 | 1594 7657 | 50 | 75 797.38/797.52 c 781s | 25 | 6033461 | 5192498 | 1594 7673 | 50 | 75 799.37/799.54 c 783s | 25 | 6049251 | 5205498 | 1594 7688 | 50 | 75 801.37/801.54 c 785s | 25 | 6064517 | 5218498 | 1594 7703 | 50 | 75 803.37/803.55 c 787s | 25 | 6079853 | 5231198 | 1594 7718 | 50 | 75 805.37/805.55 c 789s | 25 | 6094820 | 5243998 | 1594 7732 | 50 | 75 807.37/807.56 c 791s | 25 | 6109870 | 5257398 | 1594 7748 | 50 | 75 809.37/809.59 c 793s | 25 | 6124733 | 5270698 | 1594 7764 | 50 | 75 811.46/811.60 c 795s | 25 | 6140210 | 5284298 | 1594 7779 | 50 | 75 813.46/813.61 c 797s | 25 | 6155601 | 5297298 | 1594 7794 | 50 | 75 815.46/815.63 c 799s | 25 | 6170431 | 5310298 | 1594 7809 | 50 | 75 817.46/817.64 c 801s | 25 | 6185816 | 5323198 | 1594 7824 | 50 | 75 819.47/819.64 c 803s | 25 | 6200554 | 5335298 | 1594 7838 | 50 | 75 821.46/821.66 c 805s | 25 | 6215235 | 5348298 | 1594 7853 | 50 | 75 823.46/823.67 c 807s | 25 | 6229430 | 5360698 | 1594 7868 | 50 | 75 825.46/825.68 c 809s | 25 | 6244548 | 5373698 | 1594 7883 | 50 | 75 827.46/827.69 c 811s | 25 | 6259922 | 5386498 | 1594 7898 | 50 | 75 829.56/829.70 c 813s | 25 | 6275447 | 5399398 | 1594 7913 | 50 | 75 831.46/831.70 c 815s | 25 | 6290275 | 5411898 | 1594 7927 | 50 | 75 833.56/833.71 c 817s | 25 | 6305888 | 5424598 | 1594 7942 | 50 | 75 835.56/835.71 c 819s | 25 | 6321524 | 5436998 | 1594 7956 | 50 | 75 837.56/837.73 c 821s | 25 | 6336669 | 5450398 | 1594 7972 | 50 | 75 839.56/839.74 c 823s | 25 | 6352600 | 5463598 | 1594 7987 | 50 | 75 841.56/841.74 c 825s | 25 | 6367524 | 5476298 | 1594 8001 | 50 | 75 843.57/843.74 c 827s | 25 | 6381806 | 5488898 | 1594 8016 | 50 | 75 845.56/845.75 c 829s | 25 | 6396551 | 5501898 | 1594 8031 | 50 | 75 847.56/847.76 c 831s | 25 | 6410853 | 5514098 | 1594 8045 | 50 | 75 849.56/849.78 c 834s | 25 | 6423931 | 5526398 | 1594 8060 | 50 | 75 851.56/851.79 c 836s | 25 | 6437513 | 5538998 | 1594 8074 | 50 | 75 853.56/853.79 c 838s | 25 | 6450725 | 5551398 | 1594 8089 | 50 | 75 855.56/855.79 c 840s | 25 | 6464133 | 5563798 | 1594 8103 | 50 | 75 857.65/857.80 c 842s | 25 | 6478568 | 5576398 | 1594 8118 | 50 | 75 859.65/859.81 c 844s | 25 | 6493290 | 5589498 | 1594 8133 | 50 | 75 861.65/861.82 c 846s | 25 | 6507862 | 5602198 | 1594 8147 | 50 | 75 863.65/863.82 c 848s | 25 | 6522598 | 5614898 | 1594 8162 | 50 | 75 865.66/865.84 c 850s | 25 | 6536725 | 5627298 | 1594 8177 | 50 | 75 867.65/867.85 c 852s | 25 | 6551145 | 5639998 | 1594 8191 | 50 | 75 869.65/869.85 c 854s | 25 | 6564929 | 5652198 | 1594 8205 | 50 | 75 871.65/871.85 c 856s | 25 | 6579042 | 5664298 | 1594 8219 | 50 | 75 873.65/873.87 c 858s | 25 | 6594178 | 5677198 | 1594 8234 | 50 | 75 875.65/875.88 c 860s | 25 | 6607798 | 5689398 | 1594 8249 | 50 | 75 877.66/877.89 c 862s | 25 | 6621488 | 5701898 | 1594 8263 | 50 | 75 879.66/879.89 c 864s | 25 | 6635448 | 5714598 | 1594 8278 | 50 | 75 881.66/881.89 c 866s | 25 | 6648814 | 5726998 | 1594 8292 | 50 | 75 883.76/883.90 c 868s | 25 | 6661726 | 5738998 | 1594 8306 | 50 | 75 885.76/885.91 c 870s | 25 | 6674866 | 5751098 | 1594 8320 | 50 | 75 887.75/887.91 c 872s | 25 | 6687467 | 5763098 | 1594 8334 | 50 | 75 889.76/889.92 c 874s | 25 | 6700233 | 5775098 | 1594 8348 | 50 | 75 891.75/891.92 c 876s | 25 | 6713608 | 5787198 | 1594 8362 | 50 | 75 893.75/893.93 c 878s | 25 | 6726937 | 5799598 | 1594 8376 | 50 | 75 895.75/895.93 c 880s | 25 | 6740263 | 5811598 | 1594 8390 | 50 | 75 897.75/897.95 c 882s | 25 | 6753036 | 5823598 | 1594 8404 | 50 | 75 899.76/899.96 c 884s | 25 | 6766225 | 5835998 | 1594 8419 | 50 | 75 901.75/901.97 c 886s | 25 | 6780967 | 5848298 | 1594 8433 | 50 | 75 903.75/903.98 c 888s | 25 | 6794570 | 5860498 | 1594 8447 | 50 | 75 905.75/905.98 c 890s | 25 | 6808877 | 5872898 | 1594 8461 | 50 | 75 907.75/907.99 c 892s | 25 | 6823268 | 5885198 | 1594 8476 | 50 | 75 909.85/910.00 c 894s | 25 | 6836803 | 5897098 | 1594 8490 | 50 | 75 911.85/912.02 c 896s | 25 | 6850522 | 5909098 | 1594 8503 | 50 | 75 913.85/914.02 c 898s | 25 | 6863625 | 5920898 | 1594 8517 | 50 | 75 915.84/916.04 c 900s | 25 | 6878374 | 5933698 | 1594 8532 | 50 | 75 917.84/918.05 c 902s | 25 | 6892528 | 5946198 | 1594 8546 | 50 | 75 919.84/920.06 c 904s | 25 | 6906697 | 5958698 | 1594 8561 | 50 | 75 921.85/922.07 c 906s | 25 | 6921369 | 5971698 | 1594 8576 | 50 | 75 923.86/924.08 c 908s | 25 | 6935894 | 5984498 | 1594 8591 | 50 | 75 925.85/926.08 c 910s | 25 | 6950374 | 5997398 | 1594 8606 | 50 | 75 927.85/928.09 c 912s | 25 | 6965357 | 6010598 | 1594 8621 | 50 | 75 929.84/930.09 c 914s | 25 | 6979843 | 6023398 | 1594 8636 | 50 | 75 931.94/932.11 c 916s | 25 | 6994276 | 6036198 | 1594 8651 | 50 | 75 933.94/934.13 c 918s | 25 | 7009300 | 6048798 | 1594 8665 | 50 | 75 935.95/936.13 c 920s | 25 | 7025661 | 6061198 | 1594 8680 | 50 | 75 937.94/938.14 c 922s | 25 | 7039926 | 6073798 | 1594 8694 | 50 | 75 939.94/940.14 c 924s | 25 | 7054407 | 6086398 | 1594 8709 | 50 | 75 941.94/942.14 c 926s | 25 | 7070611 | 6098898 | 1594 8723 | 50 | 75 943.94/944.15 c 928s | 25 | 7086180 | 6111098 | 1594 8737 | 50 | 75 945.95/946.16 c 930s | 25 | 7102245 | 6122998 | 1594 8751 | 50 | 75 947.94/948.17 c 932s | 25 | 7118194 | 6136098 | 1594 8766 | 50 | 75 949.94/950.18 c 934s | 25 | 7133176 | 6148898 | 1594 8781 | 50 | 75 951.94/952.19 c 936s | 25 | 7148699 | 6161998 | 1594 8796 | 50 | 75 954.04/954.20 c 938s | 25 | 7161717 | 6173998 | 1594 8810 | 50 | 75 956.04/956.21 c 940s | 25 | 7174520 | 6185898 | 1594 8824 | 50 | 75 958.04/958.22 c 942s | 25 | 7188307 | 6198598 | 1594 8839 | 50 | 75 960.04/960.23 c 944s | 25 | 7201582 | 6210798 | 1594 8853 | 50 | 75 962.04/962.24 c 946s | 25 | 7214810 | 6223098 | 1594 8867 | 50 | 75 964.04/964.25 c 948s | 25 | 7227892 | 6234998 | 1594 8881 | 50 | 75 966.04/966.25 c 950s | 25 | 7240648 | 6246998 | 1594 8895 | 50 | 75 968.04/968.26 c 952s | 25 | 7253702 | 6258698 | 1594 8909 | 50 | 75 970.05/970.27 c 954s | 25 | 7266672 | 6270698 | 1594 8923 | 50 | 75 972.04/972.27 c 956s | 25 | 7280036 | 6282898 | 1594 8937 | 50 | 75 974.04/974.28 c 958s | 25 | 7294063 | 6295598 | 1594 8952 | 50 | 75 976.04/976.29 c 960s | 25 | 7308956 | 6308398 | 1594 8966 | 50 | 75 978.14/978.31 c 962s | 25 | 7322465 | 6320798 | 1594 8981 | 50 | 75 980.14/980.32 c 964s | 25 | 7336255 | 6333398 | 1594 8995 | 50 | 75 982.14/982.32 c 966s | 25 | 7350374 | 6345698 | 1594 9010 | 50 | 75 984.13/984.33 c 968s | 25 | 7364315 | 6358198 | 1594 9024 | 50 | 75 986.13/986.35 c 970s | 25 | 7378389 | 6370498 | 1594 9039 | 50 | 75 988.13/988.36 c 972s | 25 | 7393118 | 6383598 | 1594 9054 | 50 | 75 990.13/990.38 c 974s | 25 | 7406884 | 6396098 | 1594 9068 | 50 | 75 992.14/992.39 c 976s | 25 | 7420716 | 6408198 | 1594 9083 | 50 | 75 994.13/994.39 c 978s | 25 | 7434335 | 6420398 | 1594 9097 | 50 | 75 996.13/996.39 c 980s | 25 | 7448079 | 6432998 | 1594 9111 | 50 | 75 998.23/998.41 c 982s | 25 | 7462203 | 6445498 | 1594 9126 | 50 | 75 1000.23/1000.42 c 984s | 25 | 7475852 | 6457798 | 1594 9140 | 50 | 75 1002.23/1002.44 c 986s | 25 | 7489528 | 6470198 | 1594 9154 | 50 | 75 1004.24/1004.45 c 988s | 25 | 7502690 | 6482398 | 1594 9168 | 50 | 75 1006.23/1006.46 c 990s | 25 | 7516998 | 6495098 | 1594 9183 | 50 | 75 1008.23/1008.46 c 992s | 25 | 7531038 | 6507698 | 1594 9197 | 50 | 75 1010.23/1010.47 c 994s | 25 | 7545361 | 6520098 | 1594 9212 | 50 | 75 1012.24/1012.49 c 996s | 25 | 7558824 | 6532198 | 1594 9226 | 50 | 75 1014.34/1014.50 c 998s | 25 | 7573225 | 6544898 | 1594 9240 | 50 | 75 1016.34/1016.51 c 1000s | 25 | 7587264 | 6557398 | 1594 9255 | 50 | 75 1018.34/1018.52 c 1002s | 25 | 7601773 | 6570098 | 1594 9270 | 50 | 75 1020.34/1020.53 c 1004s | 25 | 7616355 | 6582798 | 1594 9284 | 50 | 75 1022.33/1022.53 c 1006s | 25 | 7630512 | 6595398 | 1594 9299 | 50 | 75 1024.33/1024.55 c 1008s | 25 | 7644818 | 6607898 | 1594 9313 | 50 | 75 1026.33/1026.55 c 1010s | 25 | 7658385 | 6620198 | 1594 9327 | 50 | 75 1028.34/1028.56 c 1012s | 25 | 7672267 | 6632498 | 1594 9342 | 50 | 75 1030.33/1030.58 c 1014s | 25 | 7686841 | 6644898 | 1594 9356 | 50 | 75 1032.33/1032.59 c 1016s | 25 | 7700650 | 6657098 | 1594 9370 | 50 | 75 1034.43/1034.60 c 1018s | 25 | 7713927 | 6669098 | 1594 9384 | 50 | 75 1036.43/1036.61 c 1020s | 25 | 7727008 | 6680898 | 1594 9398 | 50 | 75 1038.43/1038.62 c 1022s | 25 | 7740617 | 6692698 | 1594 9411 | 50 | 75 1040.43/1040.63 c 1024s | 25 | 7754673 | 6704698 | 1594 9425 | 50 | 75 1042.43/1042.64 c 1026s | 25 | 7767963 | 6716398 | 1594 9439 | 50 | 75 1044.43/1044.65 c 1028s | 25 | 7781624 | 6728898 | 1594 9453 | 50 | 75 1046.42/1046.65 c 1030s | 25 | 7794911 | 6740898 | 1594 9467 | 50 | 75 1048.42/1048.65 c 1032s | 25 | 7808587 | 6752898 | 1594 9481 | 50 | 75 1050.43/1050.66 c 1034s | 25 | 7821836 | 6764698 | 1594 9495 | 50 | 75 1052.42/1052.66 c 1036s | 25 | 7835423 | 6776998 | 1594 9509 | 50 | 75 1054.42/1054.67 c 1038s | 25 | 7848574 | 6789098 | 1594 9523 | 50 | 75 1056.42/1056.68 c 1040s | 25 | 7862364 | 6801798 | 1594 9538 | 50 | 75 1058.43/1058.69 c 1042s | 25 | 7876203 | 6814198 | 1594 9552 | 50 | 75 1060.53/1060.70 c 1044s | 25 | 7890567 | 6826998 | 1594 9567 | 50 | 75 1062.54/1062.72 c 1046s | 25 | 7904089 | 6839198 | 1594 9581 | 50 | 75 1064.53/1064.72 c 1048s | 25 | 7917430 | 6851198 | 1594 9595 | 50 | 75 1066.53/1066.73 c 1050s | 25 | 7930913 | 6863198 | 1594 9609 | 50 | 75 1068.53/1068.73 c 1052s | 25 | 7944942 | 6874798 | 1594 9622 | 50 | 75 1070.53/1070.74 c 1054s | 25 | 7959870 | 6887498 | 1594 9637 | 50 | 75 1072.53/1072.75 c 1056s | 25 | 7974261 | 6899998 | 1594 9651 | 50 | 75 1074.53/1074.76 c 1058s | 25 | 7989075 | 6912698 | 1594 9666 | 50 | 75 1076.52/1076.77 c 1060s | 25 | 8003304 | 6925198 | 1594 9681 | 50 | 75 1078.52/1078.77 c 1063s | 25 | 8017574 | 6937898 | 1594 9695 | 50 | 75 1080.52/1080.78 c 1065s | 25 | 8032117 | 6950598 | 1594 9710 | 50 | 75 1082.52/1082.79 c 1067s | 25 | 8046065 | 6962998 | 1594 9724 | 50 | 75 1084.53/1084.80 c 1069s | 25 | 8060324 | 6975598 | 1594 9739 | 50 | 75 1086.63/1086.82 c 1071s | 25 | 8075910 | 6987798 | 1594 9753 | 50 | 75 1088.62/1088.82 c 1073s | 25 | 8091274 | 7000298 | 1594 9767 | 50 | 75 1090.62/1090.84 c 1075s | 25 | 8105894 | 7012598 | 1594 9782 | 50 | 75 1092.62/1092.85 c 1077s | 25 | 8120063 | 7025498 | 1594 9797 | 50 | 75 1094.62/1094.87 c 1079s | 25 | 8134378 | 7038298 | 1594 9811 | 50 | 75 1096.63/1096.88 c 1081s | 25 | 8148142 | 7050398 | 1594 9825 | 50 | 75 1098.62/1098.88 c 1083s | 25 | 8163034 | 7063298 | 1594 9840 | 50 | 75 1100.62/1100.90 c 1085s | 25 | 8177535 | 7076098 | 1594 9855 | 50 | 75 1102.72/1102.91 c 1087s | 25 | 8192492 | 7089198 | 1594 9870 | 50 | 75 1104.72/1104.93 c 1089s | 25 | 8207640 | 7102298 | 1594 9886 | 50 | 75 1106.72/1106.93 c 1091s | 25 | 8222394 | 7114998 | 1594 9900 | 50 | 75 1108.72/1108.93 c 1093s | 25 | 8237023 | 7127698 | 1594 9915 | 50 | 75 1110.72/1110.93 c 1095s | 25 | 8251866 | 7140298 | 1594 9930 | 50 | 75 1112.71/1112.94 c 1097s | 25 | 8267499 | 7153298 | 1594 9945 | 50 | 75 1114.71/1114.95 c 1099s | 25 | 8282686 | 7166298 | 1594 9960 | 50 | 75 1116.71/1116.97 c 1101s | 25 | 8297966 | 7178598 | 1594 9974 | 50 | 75 1118.72/1118.97 c 1103s | 25 | 8312916 | 7191498 | 1594 9989 | 50 | 75 1120.73/1120.98 c 1105s | 25 | 8326480 | 7203598 | 1594 10003 | 50 | 75 1122.72/1122.99 c 1107s | 25 | 8339978 | 7215998 | 1594 10017 | 50 | 75 1124.82/1125.01 c 1109s | 25 | 8353842 | 7227698 | 1594 10031 | 50 | 75 1126.82/1127.02 c 1111s | 25 | 8367599 | 7239898 | 1594 10045 | 50 | 75 1128.82/1129.03 c 1113s | 25 | 8380720 | 7251998 | 1594 10059 | 50 | 75 1130.82/1131.04 c 1115s | 25 | 8394547 | 7263998 | 1594 10073 | 50 | 75 1132.82/1133.05 c 1117s | 25 | 8409668 | 7276498 | 1594 10087 | 50 | 75 1134.81/1135.06 c 1119s | 25 | 8423912 | 7288498 | 1594 10101 | 50 | 75 1136.81/1137.08 c 1121s | 25 | 8439008 | 7300998 | 1594 10116 | 50 | 75 1138.81/1139.09 c 1123s | 25 | 8453562 | 7313398 | 1594 10130 | 50 | 75 1140.81/1141.09 c 1125s | 25 | 8467111 | 7325498 | 1594 10144 | 50 | 75 1142.82/1143.09 c 1127s | 25 | 8480266 | 7337798 | 1594 10158 | 50 | 75 1144.81/1145.10 c 1129s | 25 | 8493834 | 7350298 | 1594 10173 | 50 | 75 1146.91/1147.10 c 1131s | 25 | 8507129 | 7362598 | 1594 10187 | 50 | 75 1148.91/1149.11 c 1133s | 25 | 8521422 | 7375198 | 1594 10202 | 50 | 75 1150.91/1151.11 c 1135s | 25 | 8535866 | 7387698 | 1594 10216 | 50 | 75 1152.91/1153.12 c 1137s | 25 | 8549031 | 7399698 | 1594 10230 | 50 | 75 1154.92/1155.13 c 1139s | 25 | 8562938 | 7411898 | 1594 10244 | 50 | 75 1156.91/1157.13 c 1141s | 25 | 8576537 | 7424298 | 1754 10257 | 50 | 75 1158.91/1159.13 c 1143s | 25 | 8590127 | 7436698 | 1754 10270 | 50 | 75 1160.91/1161.13 c 1145s | 25 | 8604027 | 7449398 | 1754 10284 | 50 | 75 1162.91/1163.15 c 1147s | 25 | 8618231 | 7461598 | 1754 10297 | 50 | 75 1164.91/1165.15 c 1149s | 25 | 8631612 | 7473598 | 1754 10310 | 50 | 75 1166.91/1167.17 c 1151s | 25 | 8645385 | 7485698 | 1754 10323 | 50 | 75 1168.91/1169.18 c 1153s | 25 | 8658767 | 7497498 | 1754 10335 | 50 | 75 1171.01/1171.20 c 1155s | 25 | 8671640 | 7508898 | 1754 10347 | 50 | 75 1173.01/1173.22 c 1157s | 25 | 8685296 | 7520298 | 1754 10359 | 50 | 75 1175.00/1175.22 c 1159s | 25 | 8698485 | 7532198 | 1754 10372 | 50 | 75 1177.00/1177.23 c 1161s | 25 | 8711844 | 7544198 | 1754 10385 | 50 | 75 1179.01/1179.23 c 1163s | 25 | 8724149 | 7555598 | 1754 10397 | 50 | 75 1181.00/1181.24 c 1165s | 25 | 8736793 | 7567298 | 1754 10409 | 50 | 75 1183.00/1183.25 c 1167s | 25 | 8749668 | 7578998 | 1754 10422 | 50 | 75 1185.00/1185.27 c 1169s | 25 | 8763477 | 7590998 | 1754 10434 | 50 | 75 1186.11/1186.36 c 1170s | 26 | 8771138 | 7597752 | 1754 10441 | 50 | 75 1188.11/1188.37 c 1172s | 26 | 8784839 | 7609452 | 1754 10454 | 50 | 75 1190.12/1190.38 c 1174s | 26 | 8798893 | 7621352 | 1754 10466 | 50 | 75 1192.11/1192.38 c 1176s | 26 | 8812874 | 7633252 | 1754 10479 | 50 | 75 1194.21/1194.40 c 1178s | 26 | 8826570 | 7644852 | 1754 10491 | 50 | 75 1196.21/1196.40 c 1180s | 26 | 8840276 | 7656852 | 1754 10504 | 50 | 75 1198.21/1198.41 c 1182s | 26 | 8853499 | 7668752 | 1754 10516 | 50 | 75 1200.21/1200.41 c 1184s | 26 | 8866952 | 7680552 | 1754 10529 | 50 | 75 1202.21/1202.43 c 1186s | 26 | 8880766 | 7692452 | 1754 10541 | 50 | 75 1204.21/1204.44 c 1188s | 26 | 8894269 | 7704252 | 1754 10553 | 50 | 75 1206.21/1206.45 c 1190s | 26 | 8907235 | 7715652 | 1754 10566 | 50 | 75 1208.21/1208.46 c 1192s | 26 | 8919865 | 7726852 | 1754 10577 | 50 | 75 1210.20/1210.46 c 1194s | 26 | 8934169 | 7738652 | 1754 10590 | 50 | 75 1212.20/1212.47 c 1196s | 26 | 8948380 | 7750652 | 1754 10602 | 50 | 75 1214.21/1214.48 c 1198s | 26 | 8962005 | 7762252 | 1754 10615 | 50 | 75 1216.20/1216.48 c 1200s | 26 | 8977249 | 7774652 | 1754 10628 | 50 | 75 1218.20/1218.49 c 1202s | 26 | 8991952 | 7786752 | 1754 10641 | 50 | 75 1220.30/1220.50 c 1204s | 26 | 9006001 | 7798852 | 1754 10653 | 50 | 75 1222.30/1222.51 c 1206s | 26 | 9020303 | 7810452 | 1754 10666 | 50 | 75 1224.30/1224.52 c 1208s | 26 | 9033500 | 7822052 | 1754 10678 | 50 | 75 1226.31/1226.52 c 1210s | 26 | 9047681 | 7833952 | 1754 10691 | 50 | 75 1228.30/1228.53 c 1212s | 26 | 9061951 | 7845852 | 1754 10703 | 50 | 75 1230.30/1230.55 c 1214s | 26 | 9075067 | 7857152 | 1754 10715 | 50 | 75 1232.30/1232.55 c 1216s | 26 | 9089718 | 7869052 | 1754 10728 | 50 | 75 1234.30/1234.55 c 1218s | 26 | 9103810 | 7880552 | 1754 10740 | 50 | 75 1236.30/1236.56 c 1220s | 26 | 9117966 | 7892052 | 1754 10752 | 50 | 75 1238.29/1238.57 c 1222s | 26 | 9132296 | 7903652 | 1754 10764 | 50 | 75 1240.29/1240.58 c 1224s | 26 | 9146657 | 7915252 | 1754 10777 | 50 | 75 1242.29/1242.59 c 1226s | 26 | 9160810 | 7927052 | 1754 10789 | 50 | 75 1244.39/1244.60 c 1228s | 26 | 9174833 | 7938952 | 1754 10802 | 50 | 75 1246.39/1246.61 c 1230s | 26 | 9188206 | 7950552 | 1754 10814 | 50 | 75 1248.40/1248.62 c 1232s | 26 | 9201749 | 7962252 | 1754 10826 | 50 | 75 1250.39/1250.62 c 1234s | 26 | 9215599 | 7974352 | 1754 10839 | 50 | 75 1252.39/1252.63 c 1236s | 26 | 9229675 | 7986552 | 1754 10852 | 50 | 75 1254.40/1254.64 c 1238s | 26 | 9244044 | 7999052 | 1754 10865 | 50 | 75 1256.40/1256.65 c 1240s | 26 | 9259021 | 8011752 | 1754 10879 | 50 | 75 1258.40/1258.65 c 1242s | 26 | 9272932 | 8023552 | 1754 10891 | 50 | 75 1260.40/1260.66 c 1244s | 26 | 9287087 | 8035552 | 1754 10904 | 50 | 75 1262.40/1262.68 c 1246s | 26 | 9300751 | 8047352 | 1754 10916 | 50 | 75 1264.39/1264.69 c 1248s | 26 | 9314979 | 8059452 | 1754 10929 | 50 | 75 1266.49/1266.70 c 1250s | 26 | 9329272 | 8071152 | 1754 10942 | 50 | 75 1268.49/1268.70 c 1252s | 26 | 9343455 | 8083052 | 1754 10954 | 50 | 75 1270.49/1270.71 c 1254s | 26 | 9358423 | 8095052 | 1754 10967 | 50 | 75 1272.50/1272.72 c 1256s | 26 | 9373131 | 8107052 | 1754 10979 | 50 | 75 1274.49/1274.73 c 1258s | 26 | 9387092 | 8118452 | 1754 10992 | 50 | 75 1276.49/1276.73 c 1260s | 26 | 9401559 | 8130652 | 1754 11004 | 50 | 75 1278.49/1278.74 c 1262s | 26 | 9416137 | 8142552 | 1754 11017 | 50 | 75 1280.49/1280.75 c 1264s | 26 | 9429228 | 8153652 | 1754 11029 | 50 | 75 1282.50/1282.75 c 1266s | 26 | 9443200 | 8165652 | 1754 11042 | 50 | 75 1284.49/1284.76 c 1268s | 26 | 9457590 | 8177652 | 1754 11054 | 50 | 75 1286.49/1286.76 c 1270s | 26 | 9472105 | 8189852 | 1754 11067 | 50 | 75 1288.49/1288.76 c 1272s | 26 | 9485823 | 8201452 | 1754 11080 | 50 | 75 1290.49/1290.77 c 1274s | 26 | 9500226 | 8213352 | 1754 11092 | 50 | 75 1292.49/1292.77 c 1276s | 26 | 9512847 | 8224252 | 1754 11104 | 50 | 75 1294.50/1294.77 c 1279s | 26 | 9526439 | 8236052 | 1754 11116 | 50 | 75 1296.49/1296.78 c 1281s | 26 | 9540439 | 8247752 | 1754 11129 | 50 | 75 1298.49/1298.79 c 1283s | 26 | 9555692 | 8259752 | 1754 11141 | 50 | 75 1300.49/1300.79 c 1285s | 26 | 9571638 | 8272152 | 1754 11154 | 50 | 75 1302.59/1302.80 c 1287s | 26 | 9586819 | 8284252 | 1754 11167 | 50 | 75 1304.58/1304.81 c 1289s | 26 | 9602005 | 8296452 | 1754 11180 | 50 | 75 1306.59/1306.82 c 1291s | 26 | 9617475 | 8308752 | 1754 11193 | 50 | 75 1308.58/1308.83 c 1293s | 26 | 9632438 | 8321052 | 1754 11206 | 50 | 75 1310.58/1310.84 c 1295s | 26 | 9646731 | 8333052 | 1754 11219 | 50 | 75 1312.58/1312.86 c 1297s | 26 | 9661455 | 8344752 | 1754 11231 | 50 | 75 1314.58/1314.86 c 1299s | 26 | 9676090 | 8356852 | 1754 11244 | 50 | 75 1316.59/1316.87 c 1301s | 26 | 9690072 | 8369152 | 1754 11257 | 50 | 75 1318.58/1318.88 c 1303s | 26 | 9704842 | 8381152 | 1754 11270 | 50 | 75 1320.58/1320.89 c 1305s | 26 | 9720048 | 8393552 | 1754 11283 | 50 | 75 1322.69/1322.93 c 1307s | 26 | 9735293 | 8405752 | 1754 11296 | 50 | 75 1324.69/1324.94 c 1309s | 26 | 9749507 | 8417652 | 1754 11309 | 50 | 75 1326.69/1326.95 c 1311s | 26 | 9764183 | 8430252 | 1754 11322 | 50 | 75 1328.70/1328.96 c 1313s | 26 | 9778967 | 8442652 | 1754 11335 | 50 | 75 1330.69/1330.96 c 1315s | 26 | 9792891 | 8454352 | 1754 11347 | 50 | 75 1332.69/1332.96 c 1317s | 26 | 9806382 | 8466052 | 1754 11360 | 50 | 75 1334.69/1334.97 c 1319s | 26 | 9820212 | 8478252 | 1754 11373 | 50 | 75 1336.68/1336.99 c 1321s | 26 | 9834047 | 8489752 | 1754 11385 | 50 | 75 1338.78/1339.00 c 1323s | 26 | 9846642 | 8500952 | 1754 11397 | 50 | 75 1340.79/1341.01 c 1325s | 26 | 9860475 | 8512752 | 1754 11409 | 50 | 75 1342.78/1343.02 c 1327s | 26 | 9875056 | 8524752 | 1754 11422 | 50 | 75 1344.78/1345.04 c 1329s | 26 | 9890087 | 8536952 | 1754 11435 | 50 | 75 1346.78/1347.04 c 1331s | 26 | 9904859 | 8549052 | 1754 11448 | 50 | 75 1348.78/1349.05 c 1333s | 26 | 9919460 | 8561052 | 1754 11461 | 50 | 75 1350.78/1351.07 c 1335s | 26 | 9933983 | 8572952 | 1754 11473 | 50 | 75 1352.78/1353.08 c 1337s | 26 | 9948260 | 8584852 | 1754 11486 | 50 | 75 1354.78/1355.09 c 1339s | 26 | 9962341 | 8596652 | 1754 11499 | 50 | 75 1356.78/1357.09 c 1341s | 26 | 9977587 | 8608752 | 1754 11511 | 50 | 75 1358.88/1359.11 c 1343s | 26 | 9992758 | 8621152 | 1754 11525 | 50 | 75 1360.88/1361.12 c 1345s | 26 | 10007395 | 8633352 | 1754 11537 | 50 | 75 1362.88/1363.12 c 1347s | 26 | 10020653 | 8645152 | 1754 11550 | 50 | 75 1364.89/1365.13 c 1349s | 26 | 10034535 | 8656952 | 1754 11563 | 50 | 75 1366.88/1367.14 c 1351s | 26 | 10048942 | 8668852 | 1754 11575 | 50 | 75 1368.88/1369.14 c 1353s | 26 | 10063090 | 8680752 | 1754 11588 | 50 | 75 1370.88/1371.16 c 1355s | 26 | 10076829 | 8692452 | 1754 11600 | 50 | 75 1372.88/1373.17 c 1357s | 26 | 10090465 | 8704252 | 1754 11613 | 50 | 75 1374.88/1375.17 c 1359s | 26 | 10104715 | 8716352 | 1754 11626 | 50 | 75 1376.87/1377.18 c 1361s | 26 | 10119010 | 8728252 | 1754 11638 | 50 | 75 1378.87/1379.19 c 1363s | 26 | 10132726 | 8740152 | 1754 11651 | 50 | 75 1380.97/1381.20 c 1365s | 26 | 10146572 | 8751952 | 1754 11663 | 50 | 75 1382.97/1383.20 c 1367s | 26 | 10160063 | 8763752 | 1754 11676 | 50 | 75 1384.97/1385.20 c 1369s | 26 | 10173961 | 8775152 | 1754 11688 | 50 | 75 1386.97/1387.21 c 1371s | 26 | 10187934 | 8786452 | 1754 11700 | 50 | 75 1388.97/1389.22 c 1373s | 26 | 10203387 | 8798752 | 1754 11713 | 50 | 75 1390.96/1391.23 c 1375s | 26 | 10218623 | 8811252 | 1754 11726 | 50 | 75 1392.96/1393.24 c 1377s | 26 | 10233630 | 8823652 | 1754 11740 | 50 | 75 1394.97/1395.25 c 1379s | 26 | 10248694 | 8835952 | 1754 11753 | 50 | 75 1396.97/1397.25 c 1381s | 26 | 10263560 | 8848452 | 1754 11766 | 50 | 75 1398.98/1399.26 c 1383s | 26 | 10278480 | 8860752 | 1754 11779 | 50 | 75 1400.97/1401.27 c 1385s | 26 | 10292904 | 8872752 | 1754 11792 | 50 | 75 1402.97/1403.27 c 1387s | 26 | 10307792 | 8885052 | 1754 11805 | 50 | 75 1404.97/1405.28 c 1389s | 26 | 10322618 | 8897452 | 1754 11818 | 50 | 75 1406.97/1407.29 c 1391s | 26 | 10336973 | 8909452 | 1754 11831 | 50 | 75 1409.07/1409.31 c 1393s | 26 | 10351018 | 8921552 | 1754 11843 | 50 | 75 1411.07/1411.31 c 1395s | 26 | 10365023 | 8933152 | 1754 11856 | 50 | 75 1413.06/1413.32 c 1397s | 26 | 10378839 | 8944952 | 1754 11868 | 50 | 75 1415.06/1415.33 c 1399s | 26 | 10393159 | 8956852 | 1754 11881 | 50 | 75 1417.06/1417.34 c 1401s | 26 | 10407656 | 8969152 | 1754 11894 | 50 | 75 1419.06/1419.36 c 1403s | 26 | 10422130 | 8981252 | 1754 11907 | 50 | 75 1421.07/1421.37 c 1405s | 26 | 10436162 | 8993252 | 1754 11919 | 50 | 75 1423.06/1423.38 c 1407s | 26 | 10451092 | 9005652 | 1754 11932 | 50 | 75 1425.15/1425.40 c 1409s | 26 | 10465848 | 9018052 | 1754 11946 | 50 | 75 1427.15/1427.40 c 1411s | 26 | 10480050 | 9030752 | 1754 11959 | 50 | 75 1429.15/1429.41 c 1413s | 26 | 10495121 | 9043452 | 1754 11973 | 50 | 75 1431.15/1431.42 c 1415s | 26 | 10510656 | 9055852 | 1754 11986 | 50 | 75 1433.16/1433.44 c 1417s | 26 | 10524602 | 9067952 | 1754 11999 | 50 | 75 1435.14/1435.46 c 1419s | 26 | 10538528 | 9079952 | 1754 12011 | 50 | 75 1437.14/1437.47 c 1421s | 26 | 10552638 | 9091952 | 1754 12024 | 50 | 75 1439.14/1439.47 c 1423s | 26 | 10567281 | 9103952 | 1754 12037 | 50 | 75 1441.14/1441.47 c 1425s | 26 | 10580914 | 9115452 | 1754 12049 | 50 | 75 1443.14/1443.49 c 1427s | 26 | 10595167 | 9126852 | 1754 12061 | 50 | 75 1445.14/1445.50 c 1429s | 26 | 10609344 | 9138552 | 1754 12073 | 50 | 75 1447.24/1447.50 c 1431s | 26 | 10623459 | 9150252 | 1754 12086 | 50 | 75 1449.23/1449.51 c 1433s | 26 | 10637579 | 9162052 | 1754 12098 | 50 | 75 1451.23/1451.51 c 1435s | 26 | 10652652 | 9174152 | 1754 12111 | 50 | 75 1453.24/1453.52 c 1437s | 26 | 10667119 | 9186152 | 1754 12124 | 50 | 75 1455.24/1455.53 c 1439s | 26 | 10682543 | 9198852 | 1754 12137 | 50 | 75 1457.24/1457.54 c 1441s | 26 | 10696304 | 9211052 | 1754 12150 | 50 | 75 1459.23/1459.56 c 1443s | 26 | 10710536 | 9223352 | 1754 12163 | 50 | 75 1461.23/1461.56 c 1445s | 26 | 10724132 | 9235052 | 1754 12176 | 50 | 75 1463.23/1463.57 c 1447s | 26 | 10738510 | 9247152 | 1754 12189 | 50 | 75 1465.23/1465.59 c 1449s | 26 | 10753615 | 9259352 | 1754 12202 | 50 | 75 1467.33/1467.60 c 1451s | 26 | 10767570 | 9271052 | 1754 12214 | 50 | 75 1469.33/1469.61 c 1453s | 26 | 10782860 | 9283052 | 1754 12227 | 50 | 75 1471.33/1471.62 c 1455s | 26 | 10798083 | 9295552 | 1754 12240 | 50 | 75 1473.32/1473.63 c 1457s | 26 | 10812811 | 9307552 | 1754 12253 | 50 | 75 1475.32/1475.64 c 1459s | 26 | 10826953 | 9319752 | 1754 12266 | 50 | 75 1477.32/1477.65 c 1461s | 26 | 10840749 | 9331952 | 1754 12279 | 50 | 75 1479.32/1479.66 c 1463s | 26 | 10854177 | 9343252 | 1754 12291 | 50 | 75 1481.32/1481.67 c 1465s | 26 | 10867829 | 9355052 | 1754 12303 | 50 | 75 1483.32/1483.67 c 1467s | 26 | 10881560 | 9366452 | 1754 12315 | 50 | 75 1485.32/1485.68 c 1469s | 26 | 10895112 | 9378352 | 1754 12328 | 50 | 75 1487.42/1487.70 c 1471s | 26 | 10908389 | 9389752 | 1754 12340 | 50 | 75 1489.42/1489.70 c 1473s | 26 | 10921524 | 9400952 | 1754 12352 | 50 | 75 1491.43/1491.72 c 1475s | 26 | 10934330 | 9412352 | 1754 12364 | 50 | 75 1493.41/1493.72 c 1477s | 26 | 10947597 | 9424252 | 1754 12377 | 50 | 75 1495.41/1495.74 c 1479s | 26 | 10959942 | 9435452 | 1754 12389 | 50 | 75 1497.41/1497.74 c 1481s | 26 | 10972270 | 9446552 | 1754 12400 | 50 | 75 1499.41/1499.74 c 1483s | 26 | 10984758 | 9457552 | 1754 12412 | 50 | 75 1501.41/1501.74 c 1485s | 26 | 10998059 | 9469252 | 1754 12425 | 50 | 75 1503.41/1503.75 c 1487s | 26 | 11011523 | 9480552 | 1754 12437 | 50 | 75 1505.41/1505.76 c 1489s | 26 | 11025914 | 9492352 | 1754 12449 | 50 | 75 1507.41/1507.76 c 1491s | 26 | 11039495 | 9503952 | 1754 12461 | 50 | 75 1509.41/1509.76 c 1493s | 26 | 11053116 | 9515552 | 1754 12474 | 50 | 75 1511.41/1511.78 c 1496s | 26 | 11067478 | 9527452 | 1754 12486 | 50 | 75 1513.41/1513.78 c 1498s | 26 | 11081416 | 9539052 | 1754 12499 | 50 | 75 1515.40/1515.78 c 1500s | 26 | 11095453 | 9550952 | 1754 12511 | 50 | 75 1517.40/1517.79 c 1502s | 26 | 11108765 | 9562652 | 1754 12524 | 50 | 75 1519.50/1519.80 c 1504s | 26 | 11122712 | 9574452 | 1754 12536 | 50 | 75 1521.50/1521.80 c 1506s | 26 | 11136726 | 9586552 | 1754 12549 | 50 | 75 1523.49/1523.81 c 1508s | 26 | 11151392 | 9598952 | 1754 12562 | 50 | 75 1525.50/1525.81 c 1510s | 26 | 11166139 | 9611452 | 1754 12575 | 50 | 75 1527.49/1527.81 c 1512s | 26 | 11180464 | 9623752 | 1754 12588 | 50 | 75 1529.50/1529.82 c 1514s | 26 | 11194911 | 9636052 | 1754 12601 | 50 | 75 1531.50/1531.84 c 1516s | 26 | 11209308 | 9648152 | 1754 12614 | 50 | 75 1533.49/1533.85 c 1518s | 26 | 11223446 | 9660252 | 1754 12627 | 50 | 75 1535.49/1535.85 c 1520s | 26 | 11237773 | 9672552 | 1754 12640 | 50 | 75 1537.50/1537.87 c 1522s | 26 | 11253116 | 9684952 | 1754 12653 | 50 | 75 1539.49/1539.88 c 1524s | 26 | 11267636 | 9697052 | 1754 12666 | 50 | 75 1541.49/1541.88 c 1526s | 26 | 11281924 | 9709152 | 1754 12679 | 50 | 75 1543.49/1543.90 c 1528s | 26 | 11295803 | 9720652 | 1754 12691 | 50 | 75 1545.59/1545.90 c 1530s | 26 | 11309875 | 9732452 | 1754 12704 | 50 | 75 1547.58/1547.92 c 1532s | 26 | 11323853 | 9744552 | 1754 12716 | 50 | 75 1549.59/1549.93 c 1534s | 26 | 11337786 | 9756652 | 1754 12729 | 50 | 75 1551.58/1551.93 c 1536s | 26 | 11352242 | 9768552 | 1754 12742 | 50 | 75 1553.58/1553.94 c 1538s | 26 | 11367746 | 9780452 | 1754 12754 | 50 | 75 1555.58/1555.94 c 1540s | 26 | 11382152 | 9792052 | 1754 12767 | 50 | 75 1557.58/1557.94 c 1542s | 26 | 11396179 | 9803652 | 1754 12779 | 50 | 75 1559.58/1559.96 c 1544s | 26 | 11410022 | 9815252 | 1754 12791 | 50 | 75 1561.57/1561.96 c 1546s | 26 | 11425405 | 9827452 | 1754 12804 | 50 | 75 1563.57/1563.96 c 1548s | 26 | 11440154 | 9839552 | 1754 12817 | 50 | 75 1565.57/1565.97 c 1550s | 26 | 11454450 | 9851652 | 1754 12830 | 50 | 75 1567.57/1567.98 c 1552s | 26 | 11469198 | 9863752 | 1754 12843 | 50 | 75 1569.57/1569.98 c 1554s | 26 | 11483142 | 9875652 | 1754 12855 | 50 | 75 1571.57/1571.99 c 1556s | 26 | 11497802 | 9887752 | 1754 12868 | 50 | 75 1573.66/1574.01 c 1558s | 26 | 11511511 | 9899452 | 1754 12880 | 50 | 75 1575.66/1576.01 c 1560s | 26 | 11524438 | 9910952 | 1754 12893 | 50 | 75 1577.66/1578.02 c 1562s | 26 | 11537315 | 9922652 | 1754 12905 | 50 | 75 1579.66/1580.03 c 1564s | 26 | 11551040 | 9934352 | 1754 12917 | 50 | 75 1581.66/1582.04 c 1566s | 26 | 11563806 | 9945352 | 1754 12929 | 50 | 75 1583.66/1584.05 c 1568s | 26 | 11575969 | 9956252 | 1754 12941 | 50 | 75 1585.66/1586.08 c 1570s | 26 | 11590135 | 9968452 | 1754 12953 | 50 | 75 1587.66/1588.09 c 1572s | 26 | 11604425 | 9980352 | 1754 12966 | 50 | 75 1589.66/1590.09 c 1574s | 26 | 11618773 | 9992652 | 1754 12979 | 50 | 75 1591.76/1592.10 c 1576s | 26 | 11632591 | 10004652 | 1754 12992 | 50 | 75 1593.76/1594.11 c 1578s | 26 | 11646065 | 10016152 | 1754 13004 | 50 | 75 1595.76/1596.13 c 1580s | 26 | 11660252 | 10028152 | 1754 13017 | 50 | 75 1597.76/1598.15 c 1582s | 26 | 11673819 | 10039852 | 1754 13029 | 50 | 75 1599.76/1600.16 c 1584s | 26 | 11687510 | 10051652 | 1754 13042 | 50 | 75 1601.76/1602.18 c 1586s | 26 | 11701368 | 10063752 | 1754 13054 | 50 | 75 1603.75/1604.19 c 1588s | 26 | 11716340 | 10075952 | 1754 13067 | 50 | 75 1605.76/1606.19 c 1590s | 26 | 11729868 | 10087552 | 1754 13080 | 50 | 75 1607.86/1608.20 c 1592s | 26 | 11744765 | 10099352 | 1754 13092 | 50 | 75 1609.85/1610.22 c 1594s | 26 | 11758199 | 10110752 | 1754 13104 | 50 | 75 1611.85/1612.22 c 1596s | 26 | 11771636 | 10122452 | 1754 13116 | 50 | 75 1613.84/1614.23 c 1598s | 26 | 11784974 | 10133752 | 1754 13128 | 50 | 75 1615.84/1616.24 c 1600s | 26 | 11798930 | 10145652 | 1754 13141 | 50 | 75 1617.85/1618.24 c 1602s | 26 | 11812514 | 10157452 | 1754 13154 | 50 | 75 1619.84/1620.24 c 1604s | 26 | 11825931 | 10169052 | 1754 13166 | 50 | 75 1621.84/1622.25 c 1606s | 26 | 11839262 | 10180452 | 1754 13178 | 50 | 75 1623.84/1624.26 c 1608s | 26 | 11852412 | 10191752 | 1754 13190 | 50 | 75 1625.84/1626.27 c 1610s | 26 | 11865995 | 10203152 | 1754 13202 | 50 | 75 1627.84/1628.27 c 1612s | 26 | 11878989 | 10214352 | 1754 13214 | 50 | 75 1629.84/1630.28 c 1614s | 26 | 11892479 | 10225752 | 1754 13226 | 50 | 75 1631.84/1632.29 c 1616s | 26 | 11906644 | 10237352 | 1754 13238 | 50 | 75 1633.83/1634.29 c 1618s | 26 | 11919944 | 10248952 | 1754 13251 | 50 | 75 1635.83/1636.29 c 1620s | 26 | 11933510 | 10260652 | 1754 13263 | 50 | 75 1637.93/1638.31 c 1622s | 26 | 11946016 | 10271652 | 1754 13275 | 50 | 75 1639.93/1640.32 c 1624s | 26 | 11958075 | 10282452 | 1754 13286 | 50 | 75 1641.94/1642.34 c 1626s | 26 | 11970860 | 10293452 | 1754 13298 | 50 | 75 1643.93/1644.35 c 1628s | 26 | 11984987 | 10304752 | 1754 13310 | 50 | 75 1645.93/1646.36 c 1630s | 26 | 11998655 | 10316152 | 1754 13322 | 50 | 75 1647.92/1648.36 c 1632s | 26 | 12012285 | 10327652 | 1754 13334 | 50 | 75 1649.92/1650.37 c 1634s | 26 | 12025409 | 10339252 | 1754 13346 | 50 | 75 1651.94/1652.38 c 1636s | 26 | 12038372 | 10350252 | 1754 13358 | 50 | 75 1653.93/1654.38 c 1638s | 26 | 12051076 | 10361052 | 1754 13369 | 50 | 75 1655.93/1656.38 c 1640s | 26 | 12064282 | 10371952 | 1754 13381 | 50 | 75 1658.03/1658.40 c 1642s | 26 | 12078314 | 10383152 | 1754 13393 | 50 | 75 1660.02/1660.40 c 1644s | 26 | 12091887 | 10394352 | 1754 13405 | 50 | 75 1662.02/1662.41 c 1646s | 26 | 12105631 | 10405652 | 1754 13417 | 50 | 75 1664.02/1664.43 c 1648s | 26 | 12118666 | 10416752 | 1754 13429 | 50 | 75 1666.01/1666.43 c 1650s | 26 | 12130877 | 10427352 | 1754 13440 | 50 | 75 1668.01/1668.44 c 1652s | 26 | 12143654 | 10438152 | 1754 13451 | 50 | 75 1670.01/1670.45 c 1654s | 26 | 12155805 | 10448452 | 1754 13462 | 50 | 75 1672.01/1672.45 c 1656s | 26 | 12169754 | 10460052 | 1754 13475 | 50 | 75 1674.01/1674.46 c 1658s | 26 | 12183659 | 10471752 | 1754 13487 | 50 | 75 1676.01/1676.47 c 1660s | 26 | 12197367 | 10483352 | 1754 13499 | 50 | 75 1678.00/1678.47 c 1662s | 26 | 12210829 | 10494652 | 1754 13511 | 50 | 75 1680.00/1680.47 c 1664s | 26 | 12224582 | 10506352 | 1754 13524 | 50 | 75 1682.00/1682.48 c 1666s | 26 | 12238005 | 10518052 | 1754 13536 | 50 | 75 1684.01/1684.49 c 1668s | 26 | 12251722 | 10529552 | 1754 13548 | 50 | 75 1686.11/1686.50 c 1670s | 26 | 12264897 | 10541252 | 1754 13561 | 50 | 75 1688.01/1688.50 c 1672s | 26 | 12276948 | 10552152 | 1754 13572 | 50 | 75 1690.11/1690.51 c 1674s | 26 | 12289665 | 10563452 | 1754 13584 | 50 | 75 1692.10/1692.52 c 1676s | 26 | 12302899 | 10574852 | 1754 13596 | 50 | 75 1694.10/1694.52 c 1678s | 26 | 12315747 | 10585752 | 1754 13608 | 50 | 75 1696.10/1696.53 c 1680s | 26 | 12329209 | 10597252 | 1754 13620 | 50 | 75 1698.10/1698.53 c 1682s | 26 | 12342147 | 10608552 | 1754 13632 | 50 | 75 1700.10/1700.53 c 1684s | 26 | 12355353 | 10620152 | 1754 13644 | 50 | 75 1702.10/1702.54 c 1686s | 26 | 12366947 | 10630952 | 1754 13656 | 50 | 75 1704.09/1704.56 c 1688s | 26 | 12378308 | 10641652 | 1754 13667 | 50 | 75 1706.09/1706.56 c 1690s | 26 | 12389951 | 10652552 | 1754 13679 | 50 | 75 1708.09/1708.56 c 1692s | 26 | 12402719 | 10664252 | 1754 13691 | 50 | 75 1710.10/1710.58 c 1694s | 26 | 12415723 | 10676252 | 1754 13704 | 50 | 75 1712.09/1712.59 c 1696s | 26 | 12428672 | 10687352 | 1754 13715 | 50 | 75 1714.09/1714.59 c 1698s | 26 | 12442632 | 10699052 | 1754 13728 | 50 | 75 1716.19/1716.60 c 1700s | 26 | 12455763 | 10709852 | 1754 13739 | 50 | 75 1718.19/1718.61 c 1702s | 26 | 12469601 | 10721252 | 1754 13751 | 50 | 75 1720.19/1720.62 c 1704s | 26 | 12482321 | 10732052 | 1754 13763 | 50 | 75 1722.19/1722.63 c 1706s | 26 | 12495140 | 10743252 | 1754 13775 | 50 | 75 1724.18/1724.65 c 1708s | 26 | 12507423 | 10754152 | 1754 13786 | 50 | 75 1726.18/1726.65 c 1710s | 26 | 12519827 | 10765152 | 1754 13798 | 50 | 75 1728.18/1728.66 c 1712s | 26 | 12533295 | 10776852 | 1754 13810 | 50 | 75 1730.18/1730.66 c 1714s | 26 | 12546735 | 10788552 | 1754 13823 | 50 | 75 1732.19/1732.68 c 1716s | 26 | 12559970 | 10800252 | 1754 13835 | 50 | 75 1734.18/1734.69 c 1718s | 26 | 12572966 | 10811752 | 1754 13847 | 50 | 75 1736.28/1736.71 c 1720s | 26 | 12585946 | 10823252 | 1754 13860 | 50 | 75 1738.28/1738.72 c 1722s | 26 | 12598875 | 10834652 | 1754 13872 | 50 | 75 1740.28/1740.72 c 1724s | 26 | 12611537 | 10846052 | 1754 13884 | 50 | 75 1742.28/1742.73 c 1726s | 26 | 12625486 | 10857652 | 1754 13896 | 50 | 75 1744.28/1744.74 c 1728s | 26 | 12638530 | 10868952 | 1754 13908 | 50 | 75 1746.27/1746.75 c 1730s | 26 | 12651781 | 10880652 | 1754 13920 | 50 | 75 1748.27/1748.75 c 1732s | 26 | 12665443 | 10891952 | 1754 13932 | 50 | 75 1750.27/1750.76 c 1734s | 26 | 12678932 | 10904052 | 1754 13945 | 50 | 75 1752.27/1752.80 c 1737s | 26 | 12691510 | 10915752 | 1754 13958 | 50 | 75 1754.36/1754.81 c 1739s | 26 | 12704702 | 10927152 | 1754 13970 | 50 | 75 1756.37/1756.81 c 1741s | 26 | 12718004 | 10938752 | 1754 13982 | 50 | 75 1758.36/1758.82 c 1743s | 26 | 12731261 | 10950352 | 1754 13994 | 50 | 75 1760.36/1760.85 c 1745s | 26 | 12743732 | 10962052 | 1754 14007 | 50 | 75 1762.36/1762.86 c 1747s | 26 | 12756759 | 10973652 | 1754 14019 | 50 | 75 1764.36/1764.87 c 1749s | 26 | 12769634 | 10984552 | 1754 14031 | 50 | 75 1766.36/1766.89 c 1751s | 26 | 12783731 | 10995852 | 1754 14043 | 50 | 75 1768.36/1768.89 c 1753s | 26 | 12796709 | 11006852 | 1754 14054 | 50 | 75 1770.46/1770.91 c 1755s | 26 | 12809673 | 11017952 | 1754 14066 | 50 | 75 1772.46/1772.92 c 1757s | 26 | 12822812 | 11028952 | 1754 14078 | 50 | 75 1774.46/1774.93 c 1759s | 26 | 12834982 | 11040352 | 1754 14090 | 50 | 75 1776.46/1776.94 c 1761s | 26 | 12847235 | 11051452 | 1754 14101 | 50 | 75 1778.45/1778.96 c 1763s | 26 | 12861071 | 11062852 | 1754 14114 | 50 | 75 1780.46/1780.96 c 1765s | 26 | 12874041 | 11073952 | 1754 14125 | 50 | 75 1782.45/1782.97 c 1767s | 26 | 12886910 | 11085152 | 1754 14137 | 50 | 75 1784.46/1784.97 c 1769s | 26 | 12900182 | 11096852 | 1754 14150 | 50 | 75 1786.46/1786.98 c 1771s | 26 | 12913046 | 11108052 | 1754 14161 | 50 | 75 1788.46/1788.98 c 1773s | 26 | 12925697 | 11118952 | 1754 14173 | 50 | 75 1790.46/1790.98 c 1775s | 26 | 12938822 | 11129852 | 1754 14185 | 50 | 75 1792.45/1792.99 c 1777s | 26 | 12952914 | 11141652 | 1754 14197 | 50 | 75 1794.55/1795.01 c 1779s | 26 | 12966849 | 11153252 | 1754 14209 | 50 | 75 1796.55/1797.01 c 1781s | 26 | 12980598 | 11165152 | 1754 14222 | 50 | 75 1798.55/1799.01 c 1783s | 26 | 12994641 | 11176752 | 1754 14234 | 50 | 75
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-4118529-1467229913/watcher-4118529-1467229913 -o /tmp/evaluation-result-4118529-1467229913/solver-4118529-1467229913 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1467215373-3684 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118529-1467229913.opb pid=5145 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.31 2.29 2.27 3/179 5148 /proc/meminfo: memFree=27428364/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=693692 CPUtime=0 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 2581 0 0 0 0 0 0 0 20 0 4 0 2017310 710340608 2942 33554432000 4194304 16246674 140735837960800 140735837960224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 173935 2952 441 2943 0 170829 0 [pid=5148/tid=5149] ppid=5145 vsize=711100 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 728166400 3012 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=715196 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 732360704 3028 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=720316 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 737603584 3045 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100122 s] /proc/loadavg: 2.31 2.29 2.27 3/179 5148 /proc/meminfo: memFree=27428364/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 20543 0 0 0 6 3 0 0 20 0 4 0 2017310 1247350784 20889 33554432000 4194304 16246674 140735837960800 140735837960224 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 304529 20897 791 2943 0 301423 0 [pid=5148/tid=5149] ppid=5145 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1247350784 20902 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1247350784 20904 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1247350784 20909 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200524 s] /proc/loadavg: 2.31 2.29 2.27 3/179 5148 /proc/meminfo: memFree=27428364/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 38380 0 0 0 13 6 0 0 20 0 4 0 2017310 1247350784 38726 33554432000 4194304 16246674 140735837960800 140735837960224 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 304529 38733 791 2943 0 301423 0 [pid=5148/tid=5149] ppid=5145 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1247350784 38737 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1247350784 38743 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1247350784 38748 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300478 s] /proc/loadavg: 2.31 2.29 2.27 3/179 5148 /proc/meminfo: memFree=27428364/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 56132 0 0 0 21 8 0 0 20 0 4 0 2017310 1247350784 56478 33554432000 4194304 16246674 140735837960800 140735837960224 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 304529 56484 791 2943 0 301423 0 [pid=5148/tid=5149] ppid=5145 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1247350784 56492 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1247350784 56499 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1247350784 56502 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700391 s] /proc/loadavg: 2.31 2.29 2.27 3/179 5148 /proc/meminfo: memFree=27428364/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1218116 CPUtime=0.68 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 128436 0 0 0 51 17 0 0 20 0 4 0 2017310 1247350784 128782 33554432000 4194304 16246674 140735837960800 140735837943800 6024617 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 304529 128796 791 2943 0 301423 0 [pid=5148/tid=5149] ppid=5145 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1247350784 128802 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1247350784 128806 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1247350784 128809 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.28 2.28 2.27 3/183 5152 /proc/meminfo: memFree=26597452/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1219140 CPUtime=1.48 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 245812 0 0 0 115 33 0 0 20 0 4 0 2017310 1248399360 246137 33554432000 4194304 16246674 140735837960800 140735837960112 6012244 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 304785 246137 847 2943 0 301679 0 [pid=5148/tid=5149] ppid=5145 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1248399360 246137 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1248399360 246137 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1248399360 246137 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1219140 [startup+3.10043 s] /proc/loadavg: 2.28 2.28 2.27 3/183 5152 /proc/meminfo: memFree=26442576/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1305156 CPUtime=3.09 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 267303 0 0 0 273 36 0 0 20 0 4 0 2017310 1336479744 267628 33554432000 4194304 16246674 140735837960800 140735837943800 6012330 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 326289 267628 847 2943 0 323183 0 [pid=5148/tid=5149] ppid=5145 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1336479744 267628 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1336479744 267628 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1336479744 267628 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1305156 [startup+6.30037 s] /proc/loadavg: 2.28 2.28 2.27 3/183 5152 /proc/meminfo: memFree=26357840/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 267498 0 0 0 593 36 0 0 20 0 4 0 2017310 1337528320 267823 33554432000 4194304 16246674 140735837960800 140735837942720 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 326545 267823 848 2943 0 323439 0 [pid=5148/tid=5149] ppid=5145 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1337528320 267823 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1337528320 267823 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1337528320 267823 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.39 2.31 2.28 3/183 5152 /proc/meminfo: memFree=26357272/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1306180 CPUtime=12.68 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 267574 0 0 0 1232 36 0 0 20 0 4 0 2017310 1337528320 267899 33554432000 4194304 16246674 140735837960800 140735837942720 13760237 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 326545 267899 848 2943 0 323439 0 [pid=5148/tid=5149] ppid=5145 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1337528320 267899 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1337528320 267899 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1337528320 267899 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.41 2.31 2.28 3/183 5152 /proc/meminfo: memFree=26356664/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1307204 CPUtime=25.48 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 267894 0 0 0 2512 36 0 0 20 0 4 0 2017310 1338576896 268219 33554432000 4194304 16246674 140735837960800 140735837943800 12483286 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 326801 268219 849 2943 0 323695 0 [pid=5148/tid=5149] ppid=5145 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1338576896 268219 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1338576896 268219 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1338576896 268219 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1307204 [startup+51.1005 s] /proc/loadavg: 2.27 2.29 2.27 3/183 5152 /proc/meminfo: memFree=26356300/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1307204 CPUtime=51.08 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 267894 0 0 0 5071 37 0 0 20 0 4 0 2017310 1338576896 268219 33554432000 4194304 16246674 140735837960800 140735837942720 5717656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 326801 268219 849 2943 0 323695 0 [pid=5148/tid=5149] ppid=5145 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1338576896 268219 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1338576896 268219 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1338576896 268219 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1307204 [startup+102.301 s] /proc/loadavg: 2.35 2.30 2.27 3/183 5153 /proc/meminfo: memFree=26352416/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1309252 CPUtime=102.28 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 268409 0 0 0 10190 38 0 0 20 0 4 0 2017310 1340674048 268734 33554432000 4194304 16246674 140735837960800 140735837942720 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 327313 268734 852 2943 0 324207 0 [pid=5148/tid=5149] ppid=5145 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1340674048 268734 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1340674048 268734 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1340674048 268734 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272063 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1322564 [startup+1362.3 s] /proc/loadavg: 2.36 2.34 2.28 4/183 5207 /proc/meminfo: memFree=26330604/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1322564 CPUtime=1362.08 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 271738 0 0 0 136145 63 0 0 20 0 4 0 2017310 1354305536 272063 33554432000 4194304 16246674 140735837960800 140735837942720 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 330641 272063 853 2943 0 327535 0 [pid=5148/tid=5149] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272063 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272063 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272063 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1322564 [startup+1422.3 s] /proc/loadavg: 2.29 2.32 2.27 3/183 5208 /proc/meminfo: memFree=26329632/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1322564 CPUtime=1422.07 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 271760 0 0 0 142143 64 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140735837942720 12483532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 330641 272319 853 2943 0 327535 0 [pid=5148/tid=5149] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 1322564 [startup+1482.3 s] /proc/loadavg: 2.22 2.30 2.27 4/183 5210 /proc/meminfo: memFree=26329892/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1322564 CPUtime=1482.02 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 271805 0 0 0 148136 66 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140735837942720 12415785 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 330641 272319 853 2943 0 327535 0 [pid=5148/tid=5149] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 1322564 [startup+1542.31 s] /proc/loadavg: 2.20 2.27 2.26 4/183 5211 /proc/meminfo: memFree=26329772/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1322564 CPUtime=1542 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 271848 0 0 0 154133 67 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140735837943800 5712192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 330641 272319 853 2943 0 327535 0 [pid=5148/tid=5149] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 1322564 [startup+1602.3 s] /proc/loadavg: 2.24 2.27 2.26 3/183 5212 /proc/meminfo: memFree=26329028/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1322564 CPUtime=1601.96 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 271891 0 0 0 160128 68 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140735837942720 5822286 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 330641 272319 853 2943 0 327535 0 [pid=5148/tid=5149] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 1322564 [startup+1662.3 s] /proc/loadavg: 2.19 2.25 2.25 3/183 5213 /proc/meminfo: memFree=26329296/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1322564 CPUtime=1661.92 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 271932 0 0 0 166123 69 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140735837942720 5824690 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 330641 272319 853 2943 0 327535 0 [pid=5148/tid=5149] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1322564 [startup+1722.3 s] /proc/loadavg: 2.31 2.27 2.26 4/184 5265 /proc/meminfo: memFree=26317916/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1322564 CPUtime=1721.89 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 271973 0 0 0 172118 71 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140735837942720 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 330641 272319 853 2943 0 327535 0 [pid=5148/tid=5149] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 1322564 [startup+1782.3 s] /proc/loadavg: 2.25 2.25 2.26 3/183 5267 /proc/meminfo: memFree=26313100/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1322564 CPUtime=1781.85 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 272007 0 0 0 178113 72 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140735837942720 5827577 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 330641 272319 853 2943 0 327535 0 [pid=5148/tid=5149] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1322564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.35 2.27 2.26 3/183 5268 /proc/meminfo: memFree=26312364/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1322564 CPUtime=1800.05 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 272020 0 0 0 179932 73 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140735837943800 6021251 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 330641 272319 853 2943 0 327535 0 [pid=5148/tid=5149] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1322564 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 5148 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.35 2.27 2.26 3/183 5268 /proc/meminfo: memFree=26312364/32872528 swapFree=1631852/1795372 [pid=5148] ppid=5145 vsize=1322564 CPUtime=1800.05 cores=1,3,5,7 /proc/5148/stat : 5148 (toysat) R 5145 5148 1867 0 -1 4202496 272020 0 0 0 179932 73 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140735837943800 6021251 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5148/statm: 330641 272319 853 2943 0 327535 0 [pid=5148/tid=5149] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5149/stat : 5149 (toysat) S 5145 5148 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373922917616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5148/tid=5150] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5150/stat : 5150 (toysat) S 5145 5148 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373912427760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5148/tid=5151] ppid=5145 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5148/task/5151/stat : 5151 (toysat) S 5145 5148 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2017310 1354305536 272319 33554432000 4194304 16246674 140735837960800 140373825416368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1322564 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.08 CPU user time (s): 1799.33 CPU system time (s): 0.754885 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 1322564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.33 system time used= 0.754885 maximum resident set size= 1089276 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272020 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= 295 involuntary context switches= 2075 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.80327 second user time and 7.43787 second system time The end
Begin job on node123 at 2016-06-29 21:51:53 IDJOB=4118529 IDBENCH=111504 IDSOLVER=2542 FILE ID=node123/4118529-1467229913 RUNJOBID= node123-1467215373-3684 PBS_JOBID= 19997595 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament12.lin.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118529-1467229913/watcher-4118529-1467229913 -o /tmp/evaluation-result-4118529-1467229913/solver-4118529-1467229913 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1467215373-3684 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118529-1467229913.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5cb211b3bc341dd745e6cb19ab700d55 RANDOM SEED=1075526792 node123.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.387 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.77 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.387 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.387 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.387 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.387 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.54 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.387 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.387 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.387 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: 27428620 kB Buffers: 92908 kB Cached: 1757232 kB SwapCached: 0 kB Active: 1228300 kB Inactive: 1707972 kB Active(anon): 1088564 kB Inactive(anon): 0 kB Active(file): 139736 kB Inactive(file): 1707972 kB Unevictable: 1795372 kB Mlocked: 1631852 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 16396 kB Writeback: 0 kB AnonPages: 2881196 kB Mapped: 17364 kB Shmem: 204 kB Slab: 578220 kB SReclaimable: 22620 kB SUnreclaim: 555600 kB KernelStack: 1480 kB PageTables: 9424 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3018908 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 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= 71700 MiB End job on node123 at 2016-06-29 22:21:53