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.1 | 1800.61 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb |
| MD5SUM | 3aa00837dd74901ce1879f04fea91920 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1751040 |
| Best CPU time to get the best result obtained on this benchmark | 1800.12 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1751040 |
| Optimality of the best value was proved | NO |
| Number of variables | 3100 |
| Total number of constraints | 120 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 120 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 300 |
| Number of terms in the objective function | 3100 |
| Biggest coefficient in the objective function | 4831838208 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 550843571711 |
| Number of bits of the sum of numbers in the objective function | 40 |
| Biggest number in a constraint | 4831838208 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 550843571711 |
| Number of bits of the biggest sum of numbers | 40 |
| 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-18T09:05:33+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-4103181-1466233533.opb"] 0.00/0.01 c use --random-gen="3156800593 83823856 2994965509 2639889468 4002023011 3708173824 2616167137 2440584072 753130821 2743212917 3976678927 4271223136 1625544738 1369797572 3290157997 375137414 1503138936 832918667 2783511099 1228766852 4131898925 2279622031 2370390588 3524332341 2173672160 2834782461 1989612113 2881156036 1453389412 3484415016 1351242632 3477484178 1618492221 3757939141 3188266221 3192620227 3840390211 963039772 4181155467 143734227 1644068708 3346267200 2191829431 3902413119 1410018137 1018530257 200029622 1807859370 537092300 1308247760 1789263322 3268186894 170934365 1309026243 3665997401 468488651 2812472843 153877265 2747628138 1325850813 3625880002 3816844590 408325201 1201542320 3599113026 1649470882 4130139060 467676651 1963493727 4284964414 2069830290 813599652 3156032886 2372275833 3753744948 3892919173 232239289 3670934620 2033924925 1081792962 159542565 2324404716 2076567006 1925572356 542890532 3578349389 1007362130 3346805136 2150085602 937458689 546797903 2568844899 1942244085 2086053133 3404356677 4287220696 1441796711 3280720385 4204824568 1854991505 3872593591 4294390939 1354159280 2191207464 2049444147 568877751 2064470028 538140285 3899132911 3620787932 1797324347 3900269796 751343598 2217578713 2000326123 661743820 4158908505 2790007670 586889036 1741520205 1796658669 460760683 3837924033 3602399649 325276306 80264598 1840403432 84628060 961584250 2365520429 2327504236 3764018455 4056796293 2014124772 2414263355 2390546310 3910293854 111794958 2526813173 945264935 3997686215 791308345 3342921283 2805837937 1831932867 332066655 3451612789 1135730827 3323167259 796776943 2388024315 3514986031 3874435522 3754635345 1260340580 2127136395 3487150929 1745523046 3044795157 313464229 791340512 114091648 191977126 2850639747 2298720310 543710805 2602480268 520861152 3208770576 78073276 492422291 3434091127 2830080239 1031010141 1417738274 794639289 1525771175 2560184445 1036447741 3186665620 3210445714 389805859 3013210793 2293056101 1517706703 4258683421 3626821917 981453521 517848162 4155863494 760512078 561003008 2963045787 3468118596 373026155 306977757 3680113206 1773861428 2010291827 3968998621 2922392561 938178449 1346951750 404007158 564538273 3202273848 2634654883 1420291818 1005006764 3714449547 481534979 3847260420 4019787461 3905564259 1327908173 2508565081 1235249861 1583311013 2457864764 289176422 1580874435 3653880425 1754917681 1167627881 4149829226 1894561643 2112790232 1531073950 4253595150 1712267666 3370407848 3882195881 3547247544 3931416303 2120250786 3492989469 2897795171 3544962385 1149842422 2876374637 369160200 3522174922 4220871379 3681309465 3141612800 2575007769 1283586113 1590936224 3508982877 3596519645 2204895775 475845826 3146698653 963102936 858368620 2336540381 255 362436" option to reproduce the execution 0.00/0.04 c #vars 3100 0.00/0.04 c #constraints 120 0.09/0.14 c BCD2: Hardening is enabled. 0.09/0.14 c BCD2: BiasedSearch is enabled. 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 0.09/0.15 c 0.0s | 0 | 192 | 0 | 1080 0 | 1682 | 0 0.09/0.15 c #cpu_time = 0.013s 0.09/0.15 c #wall_clock_time = 0.013s 0.09/0.15 c #decision = 192 0.09/0.15 c #random_decision = 1 0.09/0.15 c #conflict = 0 0.09/0.15 c #restart = 0 0.09/0.15 o 14475267 1.69/1.71 c BCD2: hardening fixes 792 literals 1.69/1.71 c BCD2: updating upper bound: 550843571711 -> 14475266 1.69/1.72 c BCD2: 0 <= obj <= 14475266 1.69/1.72 c BCD2: #cores=0, #unrelaxed=2308, #relaxed=0, #hardened=792 1.69/1.72 c BCD2: #sat=1 #unsat=1 bias=1/2 1.69/1.72 c Solving starts ... 1.69/1.72 c ============================[ Search Statistics ]============================ 1.69/1.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.72 c | | | | Limit GC | Var | Constra 1.69/1.72 c ============================================================================= 1.69/1.72 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 1.69/1.72 c 0.0s | 0 | 9 | 1 | 1080 0 | 1682 | 0 1.69/1.72 c #cpu_time = 0.002s 1.69/1.72 c #wall_clock_time = 0.002s 1.69/1.72 c #decision = 9 1.69/1.72 c #random_decision = 0 1.69/1.72 c #conflict = 1 1.69/1.72 c #restart = 0 1.69/1.72 c BCD2: found a new core of size 9: cost of the new core is >=38912 1.69/1.72 c lower bound updated to 38912 2.59/2.61 c BCD2: 38912 <= obj <= 14475266 2.59/2.61 c BCD2: #cores=1, #unrelaxed=2299, #relaxed=9, #hardened=792 2.59/2.61 c BCD2: #sat=1 #unsat=2 bias=2/3 2.59/2.61 c Solving starts ... 2.59/2.61 c ============================[ Search Statistics ]============================ 2.59/2.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.59/2.61 c | | | | Limit GC | Var | Constra 2.59/2.61 c ============================================================================= 2.59/2.61 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 2.59/2.61 c 0.0s | 0 | 12 | 1 | 1080 0 | 1682 | 0 2.59/2.61 c #cpu_time = 0.002s 2.59/2.61 c #wall_clock_time = 0.002s 2.59/2.61 c #decision = 12 2.59/2.61 c #random_decision = 0 2.59/2.61 c #conflict = 1 2.59/2.61 c #restart = 0 2.59/2.61 c BCD2: found a new core of size 9: cost of the new core is >=78848 2.59/2.61 c lower bound updated to 117760 3.69/3.75 c BCD2: 117760 <= obj <= 14475266 3.69/3.75 c BCD2: #cores=2, #unrelaxed=2290, #relaxed=18, #hardened=792 3.69/3.75 c BCD2: #sat=1 #unsat=3 bias=3/4 3.69/3.75 c Solving starts ... 3.69/3.75 c ============================[ Search Statistics ]============================ 3.69/3.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.69/3.75 c | | | | Limit GC | Var | Constra 3.69/3.75 c ============================================================================= 3.69/3.75 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 3.69/3.75 c 0.0s | 0 | 14 | 1 | 1080 0 | 1682 | 0 3.69/3.75 c #cpu_time = 0.002s 3.69/3.75 c #wall_clock_time = 0.002s 3.69/3.75 c #decision = 14 3.69/3.75 c #random_decision = 0 3.69/3.75 c #conflict = 1 3.69/3.75 c #restart = 0 3.69/3.75 c BCD2: found a new core of size 8: cost of the new core is >=49152 3.69/3.75 c lower bound updated to 166912 4.59/4.65 c BCD2: 166912 <= obj <= 14475266 4.59/4.65 c BCD2: #cores=3, #unrelaxed=2282, #relaxed=26, #hardened=792 4.59/4.65 c BCD2: #sat=1 #unsat=4 bias=4/5 4.59/4.65 c Solving starts ... 4.59/4.65 c ============================[ Search Statistics ]============================ 4.59/4.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.59/4.65 c | | | | Limit GC | Var | Constra 4.59/4.65 c ============================================================================= 4.89/4.92 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 4.89/4.92 c 0.0s | 0 | 19 | 1 | 1080 0 | 1682 | 0 4.89/4.92 c #cpu_time = 0.002s 4.89/4.92 c #wall_clock_time = 0.002s 4.89/4.92 c #decision = 19 4.89/4.92 c #random_decision = 0 4.89/4.92 c #conflict = 1 4.89/4.92 c #restart = 0 4.89/4.92 c BCD2: found a new core of size 9: cost of the new core is >=52224 4.89/4.92 c lower bound updated to 219136 5.69/5.78 c BCD2: 219136 <= obj <= 14475266 5.69/5.78 c BCD2: #cores=4, #unrelaxed=2273, #relaxed=35, #hardened=792 5.69/5.78 c BCD2: #sat=1 #unsat=5 bias=5/6 5.69/5.78 c Solving starts ... 5.69/5.78 c ============================[ Search Statistics ]============================ 5.69/5.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.69/5.78 c | | | | Limit GC | Var | Constra 5.69/5.78 c ============================================================================= 5.69/5.78 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 5.69/5.78 c 0.0s | 0 | 22 | 1 | 1080 0 | 1682 | 0 5.69/5.78 c #cpu_time = 0.002s 5.69/5.78 c #wall_clock_time = 0.002s 5.69/5.78 c #decision = 22 5.69/5.78 c #random_decision = 0 5.69/5.78 c #conflict = 1 5.69/5.78 c #restart = 0 5.69/5.78 c BCD2: found a new core of size 9: cost of the new core is >=38912 5.69/5.78 c lower bound updated to 258048 6.60/6.67 c BCD2: 258048 <= obj <= 14475266 6.60/6.67 c BCD2: #cores=5, #unrelaxed=2264, #relaxed=44, #hardened=792 6.60/6.67 c BCD2: #sat=1 #unsat=6 bias=6/7 6.60/6.67 c Solving starts ... 6.60/6.67 c ============================[ Search Statistics ]============================ 6.60/6.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.60/6.67 c | | | | Limit GC | Var | Constra 6.60/6.67 c ============================================================================= 6.60/6.67 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 6.60/6.68 c 0.0s | 0 | 25 | 1 | 1080 0 | 1682 | 0 6.60/6.68 c #cpu_time = 0.002s 6.60/6.68 c #wall_clock_time = 0.002s 6.60/6.68 c #decision = 25 6.60/6.68 c #random_decision = 0 6.60/6.68 c #conflict = 1 6.60/6.68 c #restart = 0 6.60/6.68 c BCD2: found a new core of size 9: cost of the new core is >=41984 6.60/6.68 c lower bound updated to 300032 7.79/7.81 c BCD2: 300032 <= obj <= 14475266 7.79/7.81 c BCD2: #cores=6, #unrelaxed=2255, #relaxed=53, #hardened=792 7.79/7.81 c BCD2: #sat=1 #unsat=7 bias=7/8 7.79/7.81 c Solving starts ... 7.79/7.81 c ============================[ Search Statistics ]============================ 7.79/7.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.79/7.81 c | | | | Limit GC | Var | Constra 7.79/7.81 c ============================================================================= 7.79/7.81 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 7.79/7.82 c 0.0s | 0 | 28 | 1 | 1080 0 | 1682 | 0 7.79/7.82 c #cpu_time = 0.002s 7.79/7.82 c #wall_clock_time = 0.002s 7.79/7.82 c #decision = 28 7.79/7.82 c #random_decision = 0 7.79/7.82 c #conflict = 1 7.79/7.82 c #restart = 0 7.79/7.82 c BCD2: found a new core of size 9: cost of the new core is >=64512 7.79/7.82 c lower bound updated to 364544 8.69/8.71 c BCD2: 364544 <= obj <= 14475266 8.69/8.71 c BCD2: #cores=7, #unrelaxed=2246, #relaxed=62, #hardened=792 8.69/8.71 c BCD2: #sat=1 #unsat=8 bias=8/9 8.69/8.71 c Solving starts ... 8.69/8.71 c ============================[ Search Statistics ]============================ 8.69/8.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.69/8.71 c | | | | Limit GC | Var | Constra 8.69/8.71 c ============================================================================= 8.69/8.71 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 8.69/8.71 c 0.0s | 0 | 31 | 1 | 1080 0 | 1682 | 0 8.69/8.71 c #cpu_time = 0.002s 8.69/8.71 c #wall_clock_time = 0.002s 8.69/8.71 c #decision = 31 8.69/8.71 c #random_decision = 0 8.69/8.71 c #conflict = 1 8.69/8.71 c #restart = 0 8.69/8.71 c BCD2: found a new core of size 9: cost of the new core is >=34816 8.69/8.71 c lower bound updated to 399360 9.79/9.85 c BCD2: 399360 <= obj <= 14475266 9.79/9.85 c BCD2: #cores=8, #unrelaxed=2237, #relaxed=71, #hardened=792 9.79/9.85 c BCD2: #sat=1 #unsat=9 bias=9/10 9.79/9.85 c Solving starts ... 9.79/9.85 c ============================[ Search Statistics ]============================ 9.79/9.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.79/9.85 c | | | | Limit GC | Var | Constra 9.79/9.85 c ============================================================================= 9.79/9.85 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 9.79/9.85 c 0.0s | 0 | 34 | 0 | 1080 0 | 1682 | 0 9.79/9.85 c #cpu_time = 0.002s 9.79/9.85 c #wall_clock_time = 0.002s 9.79/9.85 c #decision = 34 9.79/9.85 c #random_decision = 0 9.79/9.85 c #conflict = 0 9.79/9.85 c #restart = 0 9.79/9.85 c BCD2: found a new core of size 10: cost of the new core is >=55296 9.79/9.85 c lower bound updated to 454656 10.69/10.75 c BCD2: 454656 <= obj <= 14475266 10.69/10.75 c BCD2: #cores=9, #unrelaxed=2227, #relaxed=81, #hardened=792 10.69/10.75 c BCD2: #sat=1 #unsat=10 bias=10/11 10.69/10.75 c Solving starts ... 10.69/10.75 c ============================[ Search Statistics ]============================ 10.69/10.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.69/10.75 c | | | | Limit GC | Var | Constra 10.69/10.75 c ============================================================================= 10.69/10.75 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 10.69/10.75 c 0.0s | 0 | 27 | 1 | 1080 0 | 1682 | 0 10.69/10.75 c #cpu_time = 0.002s 10.69/10.75 c #wall_clock_time = 0.002s 10.69/10.75 c #decision = 27 10.69/10.75 c #random_decision = 0 10.69/10.75 c #conflict = 1 10.69/10.75 c #restart = 0 10.69/10.75 c BCD2: found a new core of size 9: cost of the new core is >=52224 10.69/10.75 c lower bound updated to 506880 11.79/11.89 c BCD2: 506880 <= obj <= 14475266 11.79/11.89 c BCD2: #cores=10, #unrelaxed=2218, #relaxed=90, #hardened=792 11.79/11.89 c BCD2: #sat=1 #unsat=11 bias=11/12 11.79/11.89 c Solving starts ... 11.79/11.89 c ============================[ Search Statistics ]============================ 11.79/11.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.79/11.89 c | | | | Limit GC | Var | Constra 11.79/11.89 c ============================================================================= 11.79/11.89 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 11.79/11.89 c 0.0s | 0 | 115 | 1 | 1080 0 | 1682 | 0 11.79/11.89 c #cpu_time = 0.003s 11.79/11.89 c #wall_clock_time = 0.003s 11.79/11.89 c #decision = 115 11.79/11.89 c #random_decision = 0 11.79/11.89 c #conflict = 1 11.79/11.89 c #restart = 0 11.79/11.89 c BCD2: found a new core of size 39: cost of the new core is >=512 11.79/11.89 c lower bound updated to 507392 12.69/12.78 c BCD2: 507392 <= obj <= 14475266 12.69/12.78 c BCD2: #cores=11, #unrelaxed=2179, #relaxed=129, #hardened=792 12.69/12.78 c BCD2: #sat=1 #unsat=12 bias=12/13 12.69/12.78 c Solving starts ... 12.69/12.78 c ============================[ Search Statistics ]============================ 12.69/12.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.69/12.78 c | | | | Limit GC | Var | Constra 12.69/12.78 c ============================================================================= 12.69/12.78 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 12.69/12.79 c 0.0s | 0 | 231 | 0 | 1080 0 | 1682 | 0 12.69/12.79 c #cpu_time = 0.003s 12.69/12.79 c #wall_clock_time = 0.003s 12.69/12.79 c #decision = 231 12.69/12.79 c #random_decision = 0 12.69/12.79 c #conflict = 0 12.69/12.79 c #restart = 0 12.69/12.79 c BCD2: found a new core of size 93: cost of the new core is >=3 12.69/12.79 c lower bound updated to 507395 13.88/13.92 c BCD2: 507395 <= obj <= 14475266 13.88/13.92 c BCD2: #cores=12, #unrelaxed=2086, #relaxed=222, #hardened=792 13.88/13.92 c BCD2: #sat=1 #unsat=13 bias=13/14 13.98/14.01 c Solving starts ... 13.98/14.01 c ============================[ Search Statistics ]============================ 13.98/14.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 13.98/14.01 c | | | | Limit GC | Var | Constra 13.98/14.01 c ============================================================================= 13.98/14.01 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 13.98/14.01 c 0.0s | 0 | 272 | 0 | 1080 0 | 1682 | 0 13.98/14.01 c #cpu_time = 0.003s 13.98/14.01 c #wall_clock_time = 0.003s 13.98/14.01 c #decision = 272 13.98/14.01 c #random_decision = 0 13.98/14.01 c #conflict = 0 13.98/14.01 c #restart = 0 13.98/14.01 c BCD2: found a new core of size 97: cost of the new core is >=2 13.98/14.01 c lower bound updated to 507397 15.18/15.23 c BCD2: 507397 <= obj <= 14475266 15.18/15.23 c BCD2: #cores=13, #unrelaxed=1989, #relaxed=319, #hardened=792 15.18/15.23 c BCD2: #sat=1 #unsat=14 bias=14/15 15.58/15.66 c Solving starts ... 15.58/15.66 c ============================[ Search Statistics ]============================ 15.58/15.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 15.58/15.66 c | | | | Limit GC | Var | Constra 15.58/15.66 c ============================================================================= 15.58/15.66 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 15.58/15.66 c 0.0s | 0 | 326 | 1 | 1080 0 | 1682 | 0 15.58/15.66 c #cpu_time = 0.003s 15.58/15.66 c #wall_clock_time = 0.003s 15.58/15.66 c #decision = 326 15.58/15.66 c #random_decision = 0 15.58/15.66 c #conflict = 1 15.58/15.66 c #restart = 0 15.58/15.66 c BCD2: found a new core of size 49: cost of the new core is >=128 15.58/15.66 c lower bound updated to 507525 16.59/16.66 c BCD2: 507525 <= obj <= 14475266 16.59/16.66 c BCD2: #cores=14, #unrelaxed=1940, #relaxed=368, #hardened=792 16.59/16.66 c BCD2: #sat=1 #unsat=15 bias=15/16 17.18/17.21 c Solving starts ... 17.18/17.21 c ============================[ Search Statistics ]============================ 17.18/17.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 17.18/17.21 c | | | | Limit GC | Var | Constra 17.18/17.21 c ============================================================================= 17.18/17.21 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 17.18/17.21 c 0.0s | 0 | 425 | 1 | 1080 0 | 1682 | 0 17.18/17.21 c #cpu_time = 0.003s 17.18/17.21 c #wall_clock_time = 0.003s 17.18/17.21 c #decision = 425 17.18/17.21 c #random_decision = 0 17.18/17.21 c #conflict = 1 17.18/17.21 c #restart = 0 17.18/17.21 c BCD2: found a new core of size 50: cost of the new core is >=128 17.18/17.21 c lower bound updated to 507653 18.08/18.10 c BCD2: 507653 <= obj <= 14475266 18.08/18.10 c BCD2: #cores=15, #unrelaxed=1890, #relaxed=418, #hardened=792 18.08/18.10 c BCD2: #sat=1 #unsat=16 bias=16/17 18.18/18.22 c Solving starts ... 18.18/18.22 c ============================[ Search Statistics ]============================ 18.18/18.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 18.18/18.22 c | | | | Limit GC | Var | Constra 18.18/18.22 c ============================================================================= 18.18/18.22 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 18.18/18.22 c 0.0s | 0 | 508 | 1 | 1080 0 | 1682 | 0 18.18/18.22 c #cpu_time = 0.004s 18.18/18.22 c #wall_clock_time = 0.004s 18.18/18.22 c #decision = 508 18.18/18.22 c #random_decision = 0 18.18/18.22 c #conflict = 1 18.18/18.22 c #restart = 0 18.18/18.22 c BCD2: found a new core of size 96: cost of the new core is >=5 18.18/18.22 c lower bound updated to 507658 19.28/19.32 c BCD2: 507658 <= obj <= 14475266 19.28/19.32 c BCD2: #cores=16, #unrelaxed=1794, #relaxed=514, #hardened=792 19.28/19.32 c BCD2: #sat=1 #unsat=17 bias=17/18 19.68/19.78 c Solving starts ... 19.68/19.78 c ============================[ Search Statistics ]============================ 19.68/19.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.68/19.78 c | | | | Limit GC | Var | Constra 19.68/19.78 c ============================================================================= 19.68/19.78 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 19.68/19.78 c 0.0s | 0 | 562 | 1 | 1080 0 | 1682 | 0 19.68/19.78 c #cpu_time = 0.004s 19.68/19.78 c #wall_clock_time = 0.004s 19.68/19.78 c #decision = 562 19.68/19.78 c #random_decision = 0 19.68/19.78 c #conflict = 1 19.68/19.78 c #restart = 0 19.68/19.78 c BCD2: found a new core of size 98: cost of the new core is >=1 19.68/19.78 c lower bound updated to 507659 20.78/20.87 c BCD2: 507659 <= obj <= 14475266 20.78/20.87 c BCD2: #cores=17, #unrelaxed=1696, #relaxed=612, #hardened=792 20.78/20.87 c BCD2: #sat=1 #unsat=18 bias=18/19 21.68/21.77 c Solving starts ... 21.68/21.77 c ============================[ Search Statistics ]============================ 21.68/21.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 21.68/21.77 c | | | | Limit GC | Var | Constra 21.68/21.77 c ============================================================================= 21.68/21.77 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 21.68/21.77 c 0.0s | 0 | 617 | 0 | 1080 0 | 1682 | 0 21.68/21.77 c #cpu_time = 0.004s 21.68/21.77 c #wall_clock_time = 0.004s 21.68/21.77 c #decision = 617 21.68/21.77 c #random_decision = 0 21.68/21.77 c #conflict = 0 21.68/21.77 c #restart = 0 21.68/21.77 c BCD2: found a new core of size 44: cost of the new core is >=256 21.68/21.77 c lower bound updated to 507915 22.78/22.88 c BCD2: 507915 <= obj <= 14475266 22.78/22.88 c BCD2: #cores=18, #unrelaxed=1652, #relaxed=656, #hardened=792 22.78/22.88 c BCD2: #sat=1 #unsat=19 bias=19/20 23.58/23.66 c Solving starts ... 23.58/23.66 c ============================[ Search Statistics ]============================ 23.58/23.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 23.58/23.66 c | | | | Limit GC | Var | Constra 23.58/23.66 c ============================================================================= 23.58/23.66 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 23.58/23.67 c 0.0s | 0 | 616 | 2 | 1080 0 | 1682 | 0 23.58/23.67 c #cpu_time = 0.005s 23.58/23.67 c #wall_clock_time = 0.005s 23.58/23.67 c #decision = 616 23.58/23.67 c #random_decision = 0 23.58/23.67 c #conflict = 2 23.58/23.67 c #restart = 0 23.58/23.67 c BCD2: found a new core of size 304: cost of the new core is >=1 23.58/23.67 c lower bound updated to 507916 24.48/24.55 c BCD2: 507916 <= obj <= 14475266 24.48/24.55 c BCD2: #cores=19, #unrelaxed=1348, #relaxed=960, #hardened=792 24.48/24.55 c BCD2: #sat=1 #unsat=20 bias=20/21 24.98/25.07 c Solving starts ... 24.98/25.07 c ============================[ Search Statistics ]============================ 24.98/25.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 24.98/25.07 c | | | | Limit GC | Var | Constra 24.98/25.07 c ============================================================================= 24.98/25.07 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 24.98/25.08 c 0.0s | 0 | 438 | 0 | 1080 0 | 1682 | 0 24.98/25.08 c #cpu_time = 0.003s 24.98/25.08 c #wall_clock_time = 0.003s 24.98/25.08 c #decision = 438 24.98/25.08 c #random_decision = 0 24.98/25.08 c #conflict = 0 24.98/25.08 c #restart = 0 24.98/25.08 c BCD2: found a new core of size 116: cost of the new core is >=1 24.98/25.08 c lower bound updated to 507917 25.88/25.92 c BCD2: 507917 <= obj <= 14475266 25.88/25.92 c BCD2: #cores=20, #unrelaxed=1232, #relaxed=1076, #hardened=792 25.88/25.92 c BCD2: #sat=1 #unsat=21 bias=21/22 26.88/26.95 c Solving starts ... 26.88/26.95 c ============================[ Search Statistics ]============================ 26.88/26.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 26.88/26.95 c | | | | Limit GC | Var | Constra 26.88/26.95 c ============================================================================= 26.88/26.95 c 0.0s | 0 | 0 | 0 | 1080 0 | 1682 | 0 26.88/26.95 c 0.0s | 0 | 324 | 0 | 1080 0 | 1682 | 0 26.88/26.95 c #cpu_time = 0.004s 26.88/26.95 c #wall_clock_time = 0.004s 26.88/26.95 c #decision = 324 26.88/26.95 c #random_decision = 0 26.88/26.95 c #conflict = 0 26.88/26.95 c #restart = 0 26.88/26.95 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 117: cost of the new core is >=2 26.88/26.95 c lower bound updated to 507918 27.88/27.98 c BCD2: 507918 <= obj <= 14475266 27.88/27.98 c BCD2: #cores=20, #unrelaxed=1231, #relaxed=1077, #hardened=792 27.88/27.98 c BCD2: #sat=1 #unsat=22 bias=22/23 28.98/29.00 c Solving starts ... 28.98/29.00 c ============================[ Search Statistics ]============================ 28.98/29.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 28.98/29.00 c | | | | Limit GC | Var | Constra 28.98/29.00 c ============================================================================= 28.98/29.00 c 0.0s | 0 | 0 | 0 | 1080 0 | 1683 | 0 28.98/29.03 c 0.0s | 1 | 761 | 100 | 1188 0 | 1683 | 1 29.08/29.12 c 0.1s | 2 | 1689 | 250 | 1307 0 | 1683 | 1 29.18/29.22 c 0.2s | 3 | 2641 | 475 | 1438 0 | 1683 | 1 29.18/29.29 c 0.3s | 3 | 3504 | 520 | 1438 0 | 1683 | 1 29.18/29.29 c #cpu_time = 0.293s 29.18/29.29 c #wall_clock_time = 0.294s 29.18/29.29 c #decision = 3504 29.18/29.29 c #random_decision = 9 29.18/29.29 c #conflict = 520 29.18/29.29 c #restart = 3 29.18/29.29 o 10550307 32.88/32.92 c BCD2: hardening fixes 34 literals 32.88/32.92 c BCD2: updating upper bound: 14475266 -> 10550306 33.98/34.05 c BCD2: 507918 <= obj <= 10550306 33.98/34.05 c BCD2: #cores=20, #unrelaxed=1197, #relaxed=1077, #hardened=826 33.98/34.05 c BCD2: #sat=2 #unsat=22 bias=22/24 34.68/34.78 c Solving starts ... 34.68/34.78 c ============================[ Search Statistics ]============================ 34.68/34.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 34.68/34.78 c | | | | Limit GC | Var | Constra 34.68/34.78 c ============================================================================= 34.68/34.78 c 0.0s | 0 | 0 | 0 | 1438 0 | 1683 | 2 34.78/34.82 c 0.0s | 1 | 704 | 100 | 1438 0 | 1683 | 2 34.78/34.88 c 0.1s | 2 | 1262 | 250 | 1438 0 | 1683 | 2 34.88/34.96 c 0.2s | 3 | 1883 | 475 | 1582 0 | 1683 | 2 35.08/35.11 c 0.3s | 4 | 2947 | 813 | 1741 0 | 1683 | 2 35.19/35.30 c 0.5s | 5 | 3897 | 1320 | 1741 0 | 1683 | 2 35.48/35.52 c 0.7s | 6 | 5025 | 2081 | 1916 0 | 1683 | 2 35.88/35.90 c 1.1s | 7 | 6648 | 3223 | 2108 0 | 1683 | 2 36.58/36.63 c 1.9s | 8 | 8924 | 4936 | 2319 1 | 1683 | 2 37.68/37.71 c 2.9s | 9 | 12196 | 7506 | 2551 2 | 1683 | 2 39.38/39.44 c 4.7s | 10 | 16460 | 11361 | 2807 3 | 1683 | 2 41.38/41.44 c 6.7s | 10 | 20757 | 15261 | 2807 5 | 1683 | 2 42.48/42.55 c 7.8s | 11 | 22643 | 17144 | 3088 5 | 1683 | 2 43.68/43.78 c 9.0s | 11 | 25647 | 19335 | 3088 6 | 1683 | 2 43.68/43.78 c #cpu_time = 8.982s 43.68/43.78 c #wall_clock_time = 9.005s 43.68/43.78 c #decision = 25647 43.68/43.78 c #random_decision = 62 43.68/43.78 c #conflict = 19335 43.68/43.78 c #restart = 11 43.68/43.78 o 8809017 44.58/44.67 c BCD2: hardening fixes 56 literals 44.58/44.67 c BCD2: updating upper bound: 10550306 -> 8809016 44.98/45.05 c BCD2: 507918 <= obj <= 8809016 44.98/45.05 c BCD2: #cores=20, #unrelaxed=1141, #relaxed=1077, #hardened=882 44.98/45.05 c BCD2: #sat=3 #unsat=22 bias=22/25 46.68/46.77 c Solving starts ... 46.68/46.77 c ============================[ Search Statistics ]============================ 46.68/46.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 46.68/46.77 c | | | | Limit GC | Var | Constra 46.68/46.77 c ============================================================================= 46.68/46.77 c 0.0s | 0 | 0 | 0 | 3088 0 | 1683 | 3 46.78/46.82 c 0.0s | 1 | 479 | 100 | 3088 0 | 1683 | 3 46.78/46.89 c 0.1s | 2 | 1008 | 250 | 3088 0 | 1683 | 3 46.98/47.01 c 0.2s | 3 | 1610 | 475 | 3088 1 | 1683 | 3 47.08/47.13 c 0.4s | 4 | 2530 | 813 | 3088 1 | 1683 | 3 47.48/47.51 c 0.7s | 5 | 3673 | 1320 | 3088 1 | 1683 | 3 47.78/47.83 c 1.1s | 6 | 4867 | 2081 | 3088 1 | 1683 | 3 48.18/48.29 c 1.5s | 7 | 6383 | 3223 | 3088 1 | 1683 | 3 49.08/49.11 c 2.3s | 8 | 8479 | 4936 | 3088 2 | 1683 | 3 50.48/50.53 c 3.8s | 9 | 11538 | 7506 | 3397 3 | 1683 | 3 52.28/52.32 c 5.5s | 10 | 15885 | 11361 | 3397 4 | 1683 | 3 54.28/54.37 c 7.6s | 10 | 20614 | 15661 | 3397 6 | 1683 | 3 55.18/55.28 c 8.5s | 11 | 22115 | 17144 | 3397 6 | 1683 | 3 57.28/57.30 c 10.5s | 11 | 27451 | 21544 | 3737 7 | 1683 | 3 58.48/58.59 c 11.8s | 11 | 31245 | 24356 | 3737 8 | 1683 | 3 58.48/58.59 c #cpu_time = 11.790s 58.48/58.59 c #wall_clock_time = 11.820s 58.48/58.59 c #decision = 31245 58.48/58.59 c #random_decision = 63 58.48/58.59 c #conflict = 24356 58.48/58.59 c #restart = 11 58.48/58.59 o 7257328 135.16/135.21 c BCD2: hardening fixes 10 literals 135.16/135.21 c BCD2: updating upper bound: 8809016 -> 7257327 187.16/187.26 c BCD2: 507918 <= obj <= 7257327 187.16/187.26 c BCD2: #cores=20, #unrelaxed=1131, #relaxed=1077, #hardened=892 187.16/187.26 c BCD2: #sat=4 #unsat=22 bias=22/26 188.66/188.72 c Solving starts ... 188.66/188.72 c ============================[ Search Statistics ]============================ 188.66/188.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 188.66/188.72 c | | | | Limit GC | Var | Constra 188.66/188.72 c ============================================================================= 188.66/188.72 c 0.0s | 0 | 0 | 0 | 3737 0 | 1683 | 4 188.66/188.75 c 0.0s | 0 | 10 | 1 | 3737 0 | 1683 | 4 188.66/188.75 c #cpu_time = 0.023s 188.66/188.75 c #wall_clock_time = 0.023s 188.66/188.75 c #decision = 10 188.66/188.75 c #random_decision = 0 188.66/188.75 c #conflict = 1 188.66/188.75 c #restart = 0 188.66/188.75 c BCD2: relaxing 0 and merging with 10 cores into a new core of size 987: cost of the new core is >=4537 188.66/188.75 c lower bound updated to 511417 263.96/264.08 c BCD2: 511417 <= obj <= 7257327 263.96/264.08 c BCD2: #cores=11, #unrelaxed=1131, #relaxed=1077, #hardened=892 263.96/264.08 c BCD2: #sat=4 #unsat=23 bias=23/27 264.25/264.39 c Solving starts ... 264.25/264.39 c ============================[ Search Statistics ]============================ 264.25/264.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 264.25/264.39 c | | | | Limit GC | Var | Constra 264.25/264.39 c ============================================================================= 264.25/264.39 c 0.0s | 0 | 0 | 0 | 3737 0 | 1777 | 4 264.45/264.54 c 0.1s | 1 | 665 | 100 | 3737 0 | 1777 | 182 264.55/264.65 c 0.3s | 2 | 1365 | 250 | 3737 0 | 1777 | 182 264.75/264.82 c 0.4s | 3 | 2175 | 475 | 3737 0 | 1777 | 182 264.95/265.03 c 0.6s | 4 | 3078 | 813 | 3737 0 | 1777 | 182 265.25/265.37 c 1.0s | 5 | 4360 | 1320 | 3737 0 | 1777 | 182 265.75/265.89 c 1.5s | 6 | 6237 | 2081 | 3737 0 | 1777 | 182 266.65/266.72 c 2.3s | 7 | 8940 | 3223 | 3737 0 | 1777 | 182 267.95/268.03 c 3.6s | 8 | 12267 | 4936 | 3737 0 | 1777 | 182 269.95/270.04 c 5.6s | 8 | 17147 | 7436 | 3737 1 | 1777 | 182 269.95/270.09 c 5.7s | 9 | 17267 | 7506 | 3737 1 | 1777 | 182 272.05/272.12 c 7.7s | 9 | 21811 | 9906 | 3737 2 | 1777 | 182 273.05/273.11 c 8.7s | 10 | 24042 | 11361 | 3737 2 | 1777 | 182 275.06/275.16 c 10.8s | 10 | 28587 | 13861 | 4111 3 | 1777 | 182 277.05/277.17 c 12.8s | 10 | 32087 | 16261 | 4111 4 | 1777 | 182 277.75/277.89 c 13.5s | 11 | 33564 | 17144 | 4111 4 | 1777 | 182 279.85/279.94 c 15.5s | 11 | 38918 | 19944 | 4111 5 | 1777 | 182 281.85/281.99 c 17.6s | 11 | 42889 | 22444 | 4111 6 | 1777 | 182 283.95/284.05 c 19.7s | 11 | 47089 | 25144 | 4111 6 | 1777 | 182 284.55/284.63 c 20.2s | 12 | 48147 | 25819 | 4111 7 | 1777 | 182 286.65/286.70 c 22.3s | 12 | 52875 | 28519 | 4111 7 | 1777 | 182 288.65/288.73 c 24.3s | 12 | 57071 | 31019 | 4111 8 | 1777 | 182 290.64/290.75 c 26.4s | 12 | 61111 | 33519 | 4111 9 | 1777 | 182 292.65/292.76 c 28.4s | 12 | 64872 | 35819 | 4111 10 | 1777 | 182 294.75/294.82 c 30.4s | 12 | 69262 | 38419 | 4111 10 | 1777 | 182 295.04/295.19 c 30.8s | 13 | 70021 | 38832 | 4111 11 | 1777 | 182 297.14/297.27 c 32.9s | 13 | 74622 | 41332 | 4111 11 | 1777 | 182 299.25/299.34 c 34.9s | 13 | 78955 | 44032 | 4523 12 | 1777 | 182 301.25/301.39 c 37.0s | 13 | 82032 | 46032 | 4523 13 | 1777 | 182 303.35/303.41 c 39.0s | 13 | 85921 | 48432 | 4523 13 | 1777 | 182 305.34/305.44 c 41.0s | 13 | 89965 | 50832 | 4523 14 | 1777 | 182 307.35/307.49 c 43.1s | 13 | 93570 | 53032 | 4523 15 | 1777 | 182 309.44/309.58 c 45.2s | 13 | 97504 | 55432 | 4523 15 | 1777 | 182 311.44/311.59 c 47.2s | 13 | 101480 | 58032 | 4523 16 | 1777 | 182 311.64/311.79 c 47.4s | 14 | 102028 | 58352 | 4523 16 | 1777 | 182 313.75/313.84 c 49.5s | 14 | 108131 | 61452 | 4523 17 | 1777 | 182 315.85/315.91 c 51.5s | 14 | 112775 | 64352 | 4523 18 | 1777 | 182 317.85/317.91 c 53.5s | 14 | 117268 | 67052 | 4523 18 | 1777 | 182 319.84/319.96 c 55.6s | 14 | 119869 | 69452 | 4523 19 | 1777 | 182 321.94/322.02 c 57.6s | 14 | 121754 | 71252 | 4523 20 | 1777 | 182 324.04/324.12 c 59.7s | 14 | 123530 | 72952 | 4523 20 | 1777 | 182 326.04/326.17 c 61.8s | 14 | 126410 | 75052 | 4523 21 | 1777 | 182 328.14/328.23 c 63.8s | 14 | 129368 | 77152 | 4523 21 | 1777 | 182 330.14/330.26 c 65.9s | 14 | 132038 | 79052 | 4523 22 | 1777 | 182 332.15/332.26 c 67.9s | 14 | 134650 | 80952 | 4523 22 | 1777 | 182 334.24/334.33 c 69.9s | 14 | 137278 | 82852 | 4523 23 | 1777 | 182 336.34/336.42 c 72.0s | 14 | 139787 | 84652 | 4523 23 | 1777 | 182 338.34/338.45 c 74.1s | 14 | 142007 | 86552 | 4976 24 | 1777 | 182 339.54/339.62 c 75.2s | 15 | 143186 | 87632 | 4976 24 | 1777 | 182 341.54/341.69 c 77.3s | 15 | 146949 | 89732 | 4976 24 | 1777 | 182 343.74/343.81 c 79.4s | 15 | 149368 | 91532 | 4976 25 | 1777 | 182 345.74/345.82 c 81.4s | 15 | 152124 | 93332 | 4976 25 | 1777 | 182 347.84/347.93 c 83.5s | 15 | 154741 | 95132 | 4976 26 | 1777 | 182 349.85/349.94 c 85.5s | 15 | 157126 | 96832 | 4976 26 | 1777 | 182 351.95/352.04 c 87.6s | 15 | 159462 | 98532 | 4976 27 | 1777 | 182 354.04/354.11 c 89.7s | 15 | 161722 | 100132 | 4976 27 | 1777 | 182 356.04/356.14 c 91.7s | 15 | 164052 | 101732 | 4976 28 | 1777 | 182 358.14/358.25 c 93.9s | 15 | 166601 | 103432 | 4976 28 | 1777 | 182 360.24/360.31 c 95.9s | 15 | 169005 | 105232 | 4976 28 | 1777 | 182 362.24/362.39 c 98.0s | 15 | 171565 | 107032 | 4976 29 | 1777 | 182 364.34/364.45 c 100s | 15 | 173545 | 108532 | 4976 29 | 1777 | 182 366.34/366.48 c 102s | 15 | 176075 | 110232 | 4976 30 | 1777 | 182 368.44/368.51 c 104s | 15 | 178198 | 111832 | 4976 30 | 1777 | 182 370.43/370.52 c 106s | 15 | 180497 | 113432 | 4976 31 | 1777 | 182 372.53/372.64 c 108s | 15 | 182682 | 115132 | 4976 31 | 1777 | 182 374.63/374.73 c 110s | 15 | 185306 | 116932 | 4976 31 | 1777 | 182 376.63/376.79 c 112s | 15 | 187478 | 118632 | 4976 32 | 1777 | 182 378.73/378.81 c 114s | 15 | 189318 | 120132 | 4976 32 | 1777 | 182 380.73/380.87 c 116s | 15 | 191265 | 121632 | 4976 33 | 1777 | 182 382.84/382.95 c 118s | 15 | 194496 | 123432 | 4976 33 | 1777 | 182 384.83/384.99 c 120s | 15 | 197526 | 125432 | 4976 34 | 1777 | 182 386.93/387.05 c 122s | 15 | 200927 | 127632 | 4976 34 | 1777 | 182 389.03/389.11 c 124s | 15 | 203753 | 129532 | 4976 35 | 1777 | 182 391.03/391.18 c 126s | 15 | 206500 | 131532 | 4976 35 | 1777 | 182 391.13/391.21 c 126s | 16 | 206521 | 131552 | 4976 35 | 1777 | 182 393.13/393.27 c 128s | 16 | 209338 | 133352 | 4976 36 | 1777 | 182 395.13/395.27 c 130s | 16 | 211840 | 135052 | 4976 36 | 1777 | 182 397.23/397.30 c 132s | 16 | 213929 | 136652 | 4976 37 | 1777 | 182 399.24/399.33 c 134s | 16 | 216553 | 138452 | 4976 37 | 1777 | 182 401.33/401.43 c 137s | 16 | 219156 | 140252 | 4976 38 | 1777 | 182 403.33/403.47 c 139s | 16 | 221453 | 141952 | 4976 38 | 1777 | 182 405.43/405.52 c 141s | 16 | 223817 | 143652 | 4976 38 | 1777 | 182 407.43/407.59 c 143s | 16 | 227093 | 145852 | 4976 39 | 1777 | 182 409.53/409.64 c 145s | 16 | 230055 | 147852 | 4976 40 | 1777 | 182 411.53/411.67 c 147s | 16 | 232590 | 149652 | 4976 40 | 1777 | 182 413.64/413.77 c 149s | 16 | 235606 | 151552 | 4976 41 | 1777 | 182 415.73/415.83 c 151s | 16 | 238603 | 153452 | 5474 41 | 1777 | 182 417.73/417.87 c 153s | 16 | 240919 | 155052 | 5474 41 | 1777 | 182 419.83/419.97 c 155s | 16 | 243595 | 157052 | 5474 42 | 1777 | 182 421.83/421.99 c 157s | 16 | 246473 | 158952 | 5474 42 | 1777 | 182 423.93/424.00 c 159s | 16 | 248794 | 160652 | 5474 43 | 1777 | 182 425.93/426.07 c 161s | 16 | 251457 | 162352 | 5474 43 | 1777 | 182 428.03/428.19 c 163s | 16 | 254314 | 164252 | 5474 44 | 1777 | 182 430.13/430.26 c 165s | 16 | 256844 | 166152 | 5474 44 | 1777 | 182 432.23/432.39 c 167s | 16 | 259471 | 167952 | 5474 44 | 1777 | 182 434.32/434.42 c 170s | 16 | 262869 | 170052 | 5474 45 | 1777 | 182 436.32/436.42 c 172s | 16 | 265825 | 171952 | 5474 45 | 1777 | 182 438.32/438.43 c 174s | 16 | 268242 | 173652 | 5474 46 | 1777 | 182 440.42/440.56 c 176s | 16 | 271576 | 175652 | 5474 46 | 1777 | 182 442.52/442.62 c 178s | 16 | 273983 | 177252 | 5474 47 | 1777 | 182 444.52/444.64 c 180s | 16 | 276144 | 178752 | 5474 47 | 1777 | 182 446.63/446.74 c 182s | 16 | 279101 | 180552 | 5474 47 | 1777 | 182 448.62/448.77 c 184s | 16 | 281556 | 182252 | 5474 48 | 1777 | 182 450.72/450.80 c 186s | 16 | 284332 | 184152 | 5474 48 | 1777 | 182 452.72/452.88 c 188s | 16 | 287436 | 186052 | 5474 49 | 1777 | 182 454.82/454.91 c 190s | 16 | 290015 | 187752 | 5474 49 | 1777 | 182 456.82/456.97 c 192s | 16 | 292799 | 189652 | 5474 50 | 1777 | 182 458.92/459.03 c 194s | 16 | 295651 | 191552 | 5474 50 | 1777 | 182 461.02/461.12 c 196s | 16 | 298399 | 193352 | 5474 51 | 1777 | 182 463.12/463.23 c 198s | 16 | 301025 | 195152 | 5474 51 | 1777 | 182 465.12/465.26 c 200s | 16 | 303721 | 196852 | 5474 51 | 1777 | 182 465.92/466.01 c 201s | 17 | 304522 | 197432 | 5474 52 | 1777 | 182 467.92/468.05 c 203s | 17 | 307259 | 199132 | 5474 52 | 1777 | 182 470.02/470.13 c 205s | 17 | 310084 | 200932 | 5474 52 | 1777 | 182 472.12/472.23 c 207s | 17 | 312747 | 202632 | 5474 53 | 1777 | 182 474.22/474.32 c 209s | 17 | 314873 | 204032 | 5474 53 | 1777 | 182 476.22/476.32 c 211s | 17 | 318756 | 206232 | 5474 54 | 1777 | 182 478.22/478.34 c 213s | 17 | 322228 | 208432 | 5474 54 | 1777 | 182 480.22/480.35 c 215s | 17 | 325589 | 210632 | 5474 55 | 1777 | 182 482.21/482.37 c 217s | 17 | 328849 | 212732 | 5474 55 | 1777 | 182 484.21/484.39 c 220s | 17 | 332128 | 214832 | 5474 56 | 1777 | 182 486.31/486.45 c 222s | 17 | 335898 | 216932 | 5474 56 | 1777 | 182 488.42/488.53 c 224s | 17 | 338867 | 218932 | 5474 57 | 1777 | 182 490.41/490.55 c 226s | 17 | 341922 | 220932 | 5474 57 | 1777 | 182 492.41/492.58 c 228s | 17 | 345297 | 222932 | 5474 58 | 1777 | 182 494.41/494.58 c 230s | 17 | 348632 | 224832 | 5474 58 | 1777 | 182 496.51/496.64 c 232s | 17 | 352124 | 227032 | 5474 59 | 1777 | 182 498.51/498.65 c 234s | 17 | 355453 | 229132 | 5474 59 | 1777 | 182 500.52/500.68 c 236s | 17 | 358457 | 231032 | 5474 60 | 1777 | 182 502.62/502.77 c 238s | 17 | 362176 | 233332 | 5474 60 | 1777 | 182 504.71/504.82 c 240s | 17 | 365407 | 235432 | 5474 61 | 1777 | 182 506.81/506.94 c 242s | 17 | 368636 | 237332 | 5474 61 | 1777 | 182 508.81/508.95 c 244s | 17 | 371572 | 239132 | 5474 62 | 1777 | 182 510.81/510.97 c 246s | 17 | 374673 | 241132 | 5474 62 | 1777 | 182 512.90/513.02 c 248s | 17 | 378047 | 243132 | 5474 63 | 1777 | 182 514.90/515.08 c 250s | 17 | 381471 | 245332 | 5474 63 | 1777 | 182 517.01/517.15 c 252s | 17 | 384537 | 247332 | 5474 64 | 1777 | 182 519.00/519.20 c 254s | 17 | 387845 | 249432 | 5474 64 | 1777 | 182 521.10/521.29 c 256s | 17 | 390966 | 251332 | 6022 65 | 1777 | 182 523.20/523.30 c 258s | 17 | 394324 | 253332 | 6022 65 | 1777 | 182 525.20/525.35 c 260s | 17 | 397784 | 255332 | 6022 65 | 1777 | 182 527.30/527.43 c 263s | 17 | 400740 | 257132 | 6022 66 | 1777 | 182 529.40/529.54 c 265s | 17 | 403591 | 258932 | 6022 66 | 1777 | 182 531.40/531.58 c 267s | 17 | 406440 | 260632 | 6022 67 | 1777 | 182 533.50/533.69 c 269s | 17 | 409657 | 262532 | 6022 67 | 1777 | 182 535.60/535.73 c 271s | 17 | 412308 | 264132 | 6022 67 | 1777 | 182 537.59/537.78 c 273s | 17 | 414914 | 265732 | 6022 68 | 1777 | 182 539.79/539.91 c 275s | 17 | 417782 | 267532 | 6022 68 | 1777 | 182 541.79/541.94 c 277s | 17 | 419995 | 269032 | 6022 69 | 1777 | 182 543.79/543.98 c 279s | 17 | 422170 | 270532 | 6022 69 | 1777 | 182 545.89/546.00 c 281s | 17 | 424571 | 272032 | 6022 69 | 1777 | 182 547.89/548.06 c 283s | 17 | 426875 | 273532 | 6022 70 | 1777 | 182 550.00/550.11 c 285s | 17 | 429114 | 275032 | 6022 70 | 1777 | 182 551.99/552.19 c 287s | 17 | 431247 | 276532 | 6022 70 | 1777 | 182 554.09/554.26 c 289s | 17 | 433830 | 278132 | 6022 71 | 1777 | 182 556.19/556.36 c 291s | 17 | 437466 | 280232 | 6022 71 | 1777 | 182 558.29/558.40 c 294s | 17 | 440589 | 282232 | 6022 72 | 1777 | 182 560.29/560.48 c 296s | 17 | 443199 | 284032 | 6022 72 | 1777 | 182 562.48/562.61 c 298s | 17 | 446168 | 285932 | 6022 72 | 1777 | 182 564.48/564.68 c 300s | 17 | 449046 | 287732 | 6022 73 | 1777 | 182 566.58/566.70 c 302s | 17 | 452431 | 289632 | 6022 73 | 1777 | 182 568.59/568.75 c 304s | 17 | 455007 | 291432 | 6022 74 | 1777 | 182 570.68/570.87 c 306s | 17 | 458273 | 293232 | 6022 74 | 1777 | 182 572.78/572.93 c 308s | 17 | 461412 | 295032 | 6022 74 | 1777 | 182 574.08/574.28 c 309s | 18 | 463653 | 296252 | 6022 75 | 1777 | 182 576.18/576.39 c 311s | 18 | 467127 | 297952 | 6022 75 | 1777 | 182 578.19/578.39 c 313s | 18 | 470357 | 299752 | 6022 76 | 1777 | 182 580.28/580.41 c 316s | 18 | 473524 | 301652 | 6022 76 | 1777 | 182 582.28/582.45 c 318s | 18 | 476452 | 303352 | 6022 76 | 1777 | 182 584.38/584.55 c 320s | 18 | 478518 | 304852 | 6022 77 | 1777 | 182 586.38/586.56 c 322s | 18 | 481015 | 306452 | 6022 77 | 1777 | 182 588.39/588.58 c 324s | 18 | 484111 | 308252 | 6022 77 | 1777 | 182 590.59/590.71 c 326s | 18 | 487014 | 309952 | 6022 78 | 1777 | 182 592.68/592.80 c 328s | 18 | 489662 | 311652 | 6022 78 | 1777 | 182 594.78/594.96 c 330s | 18 | 493200 | 313652 | 6022 79 | 1777 | 182 596.88/597.06 c 332s | 18 | 496455 | 315552 | 6022 79 | 1777 | 182 598.98/599.10 c 334s | 18 | 498984 | 317152 | 6022 79 | 1777 | 182 600.97/601.11 c 336s | 18 | 501727 | 318852 | 6022 80 | 1777 | 182 602.97/603.16 c 338s | 18 | 505042 | 320652 | 6022 80 | 1777 | 182 604.98/605.18 c 340s | 18 | 508297 | 322452 | 6022 81 | 1777 | 182 607.08/607.29 c 342s | 18 | 510822 | 324052 | 6022 81 | 1777 | 182 609.17/609.34 c 344s | 18 | 513217 | 325552 | 6022 81 | 1777 | 182 611.27/611.44 c 347s | 18 | 515436 | 326952 | 6022 82 | 1777 | 182 613.26/613.45 c 349s | 18 | 518173 | 328652 | 6022 82 | 1777 | 182 615.36/615.52 c 351s | 18 | 520789 | 330352 | 6022 82 | 1777 | 182 617.36/617.58 c 353s | 18 | 523107 | 331852 | 6022 83 | 1777 | 182 619.46/619.62 c 355s | 18 | 525632 | 333452 | 6022 83 | 1777 | 182 621.56/621.77 c 357s | 18 | 527903 | 334852 | 6022 83 | 1777 | 182 623.66/623.85 c 359s | 18 | 530195 | 336252 | 6022 84 | 1777 | 182 625.66/625.87 c 361s | 18 | 532717 | 337752 | 6022 84 | 1777 | 182 627.76/627.91 c 363s | 18 | 535345 | 339252 | 6022 84 | 1777 | 182 629.76/629.94 c 365s | 18 | 537352 | 340552 | 6022 85 | 1777 | 182 631.86/632.05 c 367s | 18 | 539706 | 341852 | 6022 85 | 1777 | 182 633.95/634.15 c 369s | 18 | 542098 | 343352 | 6022 85 | 1777 | 182 635.95/636.17 c 371s | 18 | 544323 | 344752 | 6022 86 | 1777 | 182 638.05/638.24 c 373s | 18 | 546997 | 346352 | 6022 86 | 1777 | 182 640.16/640.35 c 375s | 18 | 549648 | 347952 | 6022 86 | 1777 | 182 642.26/642.47 c 378s | 18 | 551981 | 349552 | 6022 87 | 1777 | 182 644.34/644.60 c 380s | 18 | 554493 | 351152 | 6022 87 | 1777 | 182 646.44/646.64 c 382s | 18 | 556598 | 352552 | 6022 88 | 1777 | 182 648.54/648.73 c 384s | 18 | 558512 | 353952 | 6022 88 | 1777 | 182 650.54/650.76 c 386s | 18 | 560302 | 355252 | 6022 88 | 1777 | 182 652.54/652.79 c 388s | 18 | 562335 | 356552 | 6022 88 | 1777 | 182 654.64/654.83 c 390s | 18 | 564831 | 357952 | 6022 89 | 1777 | 182 656.64/656.88 c 392s | 18 | 567410 | 359552 | 6022 89 | 1777 | 182 658.74/658.95 c 394s | 18 | 570770 | 361652 | 6022 90 | 1777 | 182 660.74/660.96 c 396s | 18 | 574181 | 363752 | 6022 90 | 1777 | 182 662.84/663.01 c 398s | 18 | 577392 | 365752 | 6022 91 | 1777 | 182 664.84/665.08 c 400s | 18 | 581326 | 368152 | 6022 91 | 1777 | 182 666.93/667.17 c 402s | 18 | 584393 | 370052 | 6022 92 | 1777 | 182 669.03/669.22 c 404s | 18 | 587451 | 371952 | 6022 92 | 1777 | 182 671.03/671.29 c 406s | 18 | 590474 | 373752 | 6022 92 | 1777 | 182 673.04/673.30 c 408s | 18 | 592638 | 375152 | 6022 93 | 1777 | 182 675.13/675.30 c 410s | 18 | 595610 | 377252 | 6022 93 | 1777 | 182 677.13/677.31 c 412s | 18 | 599107 | 379252 | 6022 94 | 1777 | 182 679.13/679.37 c 414s | 18 | 602825 | 381352 | 6022 94 | 1777 | 182 681.23/681.40 c 417s | 18 | 605798 | 383252 | 6022 95 | 1777 | 182 683.22/683.43 c 419s | 18 | 609370 | 385352 | 6022 95 | 1777 | 182 685.23/685.47 c 421s | 18 | 612856 | 387352 | 6022 95 | 1777 | 182 687.33/687.55 c 423s | 18 | 616169 | 389252 | 6022 96 | 1777 | 182 689.42/689.65 c 425s | 18 | 619550 | 391152 | 6022 96 | 1777 | 182 691.52/691.75 c 427s | 18 | 622208 | 392752 | 6022 97 | 1777 | 182 693.72/693.90 c 429s | 18 | 624992 | 394352 | 6022 97 | 1777 | 182 695.72/695.92 c 431s | 18 | 627515 | 395952 | 6022 97 | 1777 | 182 697.72/697.98 c 433s | 18 | 630081 | 397652 | 6625 98 | 1777 | 182 699.82/700.02 c 435s | 18 | 633670 | 399852 | 6625 98 | 1777 | 182 701.82/702.04 c 437s | 18 | 636630 | 401652 | 6625 99 | 1777 | 182 703.93/704.10 c 439s | 18 | 639851 | 403652 | 6625 99 | 1777 | 182 705.92/706.16 c 441s | 18 | 642567 | 405452 | 6625 99 | 1777 | 182 707.92/708.18 c 443s | 18 | 644968 | 407152 | 6625 100 | 1777 | 182 710.02/710.20 c 445s | 18 | 647355 | 408852 | 6625 100 | 1777 | 182 712.02/712.20 c 447s | 18 | 650009 | 410652 | 6625 100 | 1777 | 182 714.01/714.24 c 449s | 18 | 652948 | 412352 | 6625 101 | 1777 | 182 716.02/716.26 c 451s | 18 | 655105 | 413852 | 6625 101 | 1777 | 182 718.12/718.32 c 453s | 18 | 657710 | 415552 | 6625 101 | 1777 | 182 720.21/720.41 c 456s | 18 | 660747 | 417552 | 6625 102 | 1777 | 182 722.21/722.43 c 458s | 18 | 663934 | 419652 | 6625 102 | 1777 | 182 724.21/724.44 c 460s | 18 | 666611 | 421552 | 6625 103 | 1777 | 182 726.31/726.52 c 462s | 18 | 669629 | 423652 | 6625 103 | 1777 | 182 728.31/728.57 c 464s | 18 | 672609 | 425652 | 6625 104 | 1777 | 182 730.41/730.63 c 466s | 18 | 675299 | 427552 | 6625 104 | 1777 | 182 732.51/732.70 c 468s | 18 | 678341 | 429552 | 6625 104 | 1777 | 182 734.50/734.75 c 470s | 18 | 681281 | 431452 | 6625 105 | 1777 | 182 736.60/736.82 c 472s | 18 | 683619 | 433152 | 6625 105 | 1777 | 182 738.70/738.90 c 474s | 18 | 686438 | 434952 | 6625 106 | 1777 | 182 740.70/740.95 c 476s | 18 | 688937 | 436752 | 6625 106 | 1777 | 182 742.80/743.04 c 478s | 18 | 691979 | 438752 | 6625 106 | 1777 | 182 744.90/745.10 c 480s | 18 | 694847 | 440652 | 6625 107 | 1777 | 182 746.90/747.17 c 482s | 18 | 697822 | 442552 | 6625 107 | 1777 | 182 749.00/749.29 c 484s | 18 | 700466 | 444352 | 6625 108 | 1777 | 182 749.20/749.47 c 485s | 19 | 700632 | 444482 | 6625 108 | 1777 | 182 751.30/751.55 c 487s | 19 | 703529 | 446182 | 6625 108 | 1777 | 182 753.40/753.61 c 489s | 19 | 706283 | 447982 | 6625 108 | 1777 | 182 755.39/755.62 c 491s | 19 | 708700 | 449682 | 6625 109 | 1777 | 182 757.39/757.68 c 493s | 19 | 711318 | 451482 | 6625 109 | 1777 | 182 759.49/759.70 c 495s | 19 | 713819 | 453182 | 6625 109 | 1777 | 182 761.49/761.75 c 497s | 19 | 716271 | 454982 | 6625 110 | 1777 | 182 763.49/763.76 c 499s | 19 | 718967 | 456782 | 6625 110 | 1777 | 182 765.49/765.79 c 501s | 19 | 721980 | 458682 | 6625 111 | 1777 | 182 767.48/767.80 c 503s | 19 | 724585 | 460482 | 6625 111 | 1777 | 182 769.58/769.84 c 505s | 19 | 726978 | 462282 | 6625 111 | 1777 | 182 771.58/771.86 c 507s | 19 | 729195 | 463882 | 6625 112 | 1777 | 182 773.58/773.89 c 509s | 19 | 731648 | 465582 | 6625 112 | 1777 | 182 775.78/776.01 c 511s | 19 | 734511 | 467482 | 6625 112 | 1777 | 182 777.78/778.03 c 513s | 19 | 736798 | 469182 | 6625 113 | 1777 | 182 779.88/780.11 c 515s | 19 | 739426 | 470982 | 6625 113 | 1777 | 182 781.89/782.17 c 517s | 19 | 741877 | 472682 | 6625 114 | 1777 | 182 783.88/784.19 c 519s | 19 | 744446 | 474482 | 6625 114 | 1777 | 182 785.98/786.28 c 521s | 19 | 746983 | 476282 | 6625 114 | 1777 | 182 787.98/788.29 c 523s | 19 | 749264 | 477982 | 6625 115 | 1777 | 182 790.08/790.34 c 525s | 19 | 751949 | 479882 | 6625 115 | 1777 | 182 792.08/792.38 c 527s | 19 | 754653 | 481682 | 6625 115 | 1777 | 182 794.18/794.46 c 530s | 19 | 757182 | 483482 | 6625 116 | 1777 | 182 796.29/796.54 c 532s | 19 | 759615 | 485182 | 6625 116 | 1777 | 182 798.39/798.63 c 534s | 19 | 762084 | 486882 | 6625 117 | 1777 | 182 800.38/800.64 c 536s | 19 | 765263 | 488982 | 6625 117 | 1777 | 182 802.38/802.67 c 538s | 19 | 768477 | 491082 | 6625 117 | 1777 | 182 804.47/804.74 c 540s | 19 | 771709 | 493182 | 6625 118 | 1777 | 182 806.47/806.76 c 542s | 19 | 774874 | 495282 | 6625 118 | 1777 | 182 808.57/808.83 c 544s | 19 | 777930 | 497282 | 6625 119 | 1777 | 182 810.58/810.88 c 546s | 19 | 780569 | 499082 | 6625 119 | 1777 | 182 812.68/812.94 c 548s | 19 | 783548 | 500982 | 6625 120 | 1777 | 182 814.77/815.03 c 550s | 19 | 786226 | 502882 | 6625 120 | 1777 | 182 816.77/817.09 c 552s | 19 | 789172 | 504882 | 6625 120 | 1777 | 182 818.88/819.16 c 554s | 19 | 792119 | 506882 | 6625 121 | 1777 | 182 820.98/821.26 c 556s | 19 | 794762 | 508782 | 6625 121 | 1777 | 182 823.08/823.32 c 558s | 19 | 797229 | 510582 | 6625 122 | 1777 | 182 825.18/825.41 c 561s | 19 | 800206 | 512582 | 6625 122 | 1777 | 182 827.18/827.46 c 563s | 19 | 802880 | 514482 | 6625 122 | 1777 | 182 829.28/829.53 c 565s | 19 | 805498 | 516382 | 6625 123 | 1777 | 182 831.28/831.53 c 567s | 19 | 807828 | 518082 | 6625 123 | 1777 | 182 833.37/833.62 c 569s | 19 | 810129 | 519882 | 6625 124 | 1777 | 182 835.47/835.70 c 571s | 19 | 812631 | 521782 | 6625 124 | 1777 | 182 837.47/837.73 c 573s | 19 | 815534 | 523682 | 6625 124 | 1777 | 182 839.57/839.81 c 575s | 19 | 817611 | 525282 | 6625 125 | 1777 | 182 841.57/841.84 c 577s | 19 | 820146 | 527082 | 6625 125 | 1777 | 182 843.67/843.94 c 579s | 19 | 822922 | 529082 | 6625 125 | 1777 | 182 845.67/845.96 c 581s | 19 | 825339 | 530882 | 6625 126 | 1777 | 182 847.77/848.07 c 583s | 19 | 828291 | 532882 | 6625 126 | 1777 | 182 849.77/850.09 c 585s | 19 | 830765 | 534682 | 6625 127 | 1777 | 182 851.97/852.22 c 587s | 19 | 833452 | 536682 | 6625 127 | 1777 | 182 853.96/854.26 c 589s | 19 | 836245 | 538582 | 6625 127 | 1777 | 182 856.06/856.36 c 591s | 19 | 838751 | 540382 | 6625 128 | 1777 | 182 858.26/858.54 c 594s | 19 | 841312 | 542282 | 6625 128 | 1777 | 182 860.36/860.61 c 596s | 19 | 843509 | 543982 | 6625 129 | 1777 | 182 862.36/862.64 c 598s | 19 | 846079 | 545782 | 6625 129 | 1777 | 182 864.46/864.77 c 600s | 19 | 849023 | 547782 | 6625 129 | 1777 | 182 866.56/866.83 c 602s | 19 | 851620 | 549582 | 6625 130 | 1777 | 182 868.65/868.91 c 604s | 19 | 854420 | 551582 | 6625 130 | 1777 | 182 870.65/870.93 c 606s | 19 | 856776 | 553282 | 6625 131 | 1777 | 182 872.65/872.93 c 608s | 19 | 859698 | 555182 | 6625 131 | 1777 | 182 874.65/874.94 c 610s | 19 | 862024 | 556882 | 6625 131 | 1777 | 182 876.65/876.98 c 612s | 19 | 864475 | 558482 | 6625 132 | 1777 | 182 878.66/878.99 c 614s | 19 | 867057 | 560382 | 6625 132 | 1777 | 182 880.75/881.04 c 616s | 19 | 869594 | 562182 | 6625 132 | 1777 | 182 882.74/883.06 c 618s | 19 | 872024 | 563882 | 6625 133 | 1777 | 182 884.84/885.12 c 620s | 19 | 874495 | 565682 | 6625 133 | 1777 | 182 886.94/887.22 c 622s | 19 | 876794 | 567482 | 6625 134 | 1777 | 182 888.94/889.26 c 624s | 19 | 879471 | 569382 | 6625 134 | 1777 | 182 890.94/891.28 c 626s | 19 | 882106 | 571182 | 6625 134 | 1777 | 182 893.05/893.39 c 628s | 19 | 884326 | 572882 | 6625 135 | 1777 | 182 895.15/895.48 c 631s | 19 | 887029 | 574682 | 6625 135 | 1777 | 182 897.24/897.54 c 633s | 19 | 889225 | 576382 | 6625 135 | 1777 | 182 899.34/899.67 c 635s | 19 | 891471 | 578082 | 6625 136 | 1777 | 182 901.44/901.77 c 637s | 19 | 893597 | 579582 | 6625 136 | 1777 | 182 903.43/903.80 c 639s | 19 | 896185 | 581482 | 6625 137 | 1777 | 182 905.53/905.89 c 641s | 19 | 899101 | 583582 | 6625 137 | 1777 | 182 907.63/907.93 c 643s | 19 | 902315 | 585682 | 6625 137 | 1777 | 182 909.63/909.97 c 645s | 19 | 904879 | 587582 | 6625 138 | 1777 | 182 911.64/912.00 c 647s | 19 | 907803 | 589582 | 6625 138 | 1777 | 182 913.73/914.10 c 649s | 19 | 910537 | 591582 | 6625 139 | 1777 | 182 915.83/916.12 c 651s | 19 | 913284 | 593582 | 6625 139 | 1777 | 182 917.93/918.24 c 653s | 19 | 916147 | 595582 | 6625 140 | 1777 | 182 919.93/920.27 c 655s | 19 | 919492 | 597782 | 6625 140 | 1777 | 182 922.02/922.33 c 657s | 19 | 922683 | 599782 | 6625 140 | 1777 | 182 924.02/924.33 c 659s | 19 | 925067 | 601582 | 6625 141 | 1777 | 182 926.12/926.42 c 662s | 19 | 927734 | 603482 | 6625 141 | 1777 | 182 928.13/928.48 c 664s | 19 | 930473 | 605482 | 6625 142 | 1777 | 182 930.22/930.54 c 666s | 19 | 933433 | 607582 | 6625 142 | 1777 | 182 932.32/932.60 c 668s | 19 | 936414 | 609582 | 6625 142 | 1777 | 182 934.32/934.62 c 670s | 19 | 938655 | 611282 | 6625 143 | 1777 | 182 936.31/936.69 c 672s | 19 | 941832 | 613382 | 6625 143 | 1777 | 182 938.41/938.75 c 674s | 19 | 944675 | 615382 | 6625 144 | 1777 | 182 940.51/940.83 c 676s | 19 | 947382 | 617282 | 6625 144 | 1777 | 182 942.61/942.97 c 678s | 19 | 949554 | 619082 | 7288 144 | 1777 | 182 944.71/945.03 c 680s | 19 | 951866 | 620782 | 7288 145 | 1777 | 182 946.81/947.14 c 682s | 19 | 954096 | 622482 | 7288 145 | 1777 | 182 948.81/949.19 c 684s | 19 | 956237 | 624082 | 7288 145 | 1777 | 182 950.91/951.23 c 686s | 19 | 958233 | 625682 | 7288 146 | 1777 | 182 952.90/953.25 c 688s | 19 | 960320 | 627282 | 7288 146 | 1777 | 182 955.00/955.34 c 690s | 19 | 962571 | 628982 | 7288 146 | 1777 | 182 957.00/957.39 c 692s | 19 | 964582 | 630482 | 7288 147 | 1777 | 182 959.10/959.46 c 695s | 19 | 966779 | 632182 | 7288 147 | 1777 | 182 961.21/961.56 c 697s | 19 | 969161 | 633882 | 7288 147 | 1777 | 182 963.20/963.60 c 699s | 19 | 971303 | 635382 | 7288 148 | 1777 | 182 965.40/965.74 c 701s | 19 | 973253 | 636782 | 7288 148 | 1777 | 182 967.40/967.78 c 703s | 19 | 975365 | 638382 | 7288 148 | 1777 | 182 969.49/969.83 c 705s | 19 | 977255 | 639882 | 7288 148 | 1777 | 182 971.49/971.89 c 707s | 19 | 979298 | 641482 | 7288 149 | 1777 | 182 973.59/973.97 c 709s | 19 | 981353 | 643082 | 7288 149 | 1777 | 182 975.69/976.08 c 711s | 19 | 983346 | 644682 | 7288 149 | 1777 | 182 977.79/978.13 c 713s | 19 | 985239 | 646182 | 7288 150 | 1777 | 182 979.79/980.17 c 715s | 19 | 987543 | 647882 | 7288 150 | 1777 | 182 981.89/982.22 c 717s | 19 | 989455 | 649382 | 7288 150 | 1777 | 182 983.88/984.22 c 719s | 19 | 991356 | 650682 | 7288 151 | 1777 | 182 985.98/986.31 c 721s | 19 | 993495 | 652282 | 7288 151 | 1777 | 182 988.08/988.44 c 724s | 19 | 995503 | 653782 | 7288 151 | 1777 | 182 990.18/990.53 c 726s | 19 | 997265 | 655182 | 7288 151 | 1777 | 182 992.18/992.55 c 728s | 19 | 998930 | 656482 | 7288 152 | 1777 | 182 994.28/994.61 c 730s | 19 | 1000894 | 657882 | 7288 152 | 1777 | 182 996.38/996.72 c 732s | 19 | 1002806 | 659282 | 7288 152 | 1777 | 182 998.48/998.84 c 734s | 19 | 1004695 | 660682 | 7288 153 | 1777 | 182 1000.47/1000.87 c 736s | 19 | 1006545 | 662082 | 7288 153 | 1777 | 182 1002.58/1002.97 c 738s | 19 | 1008411 | 663382 | 7288 153 | 1777 | 182 1004.68/1005.03 c 740s | 19 | 1010601 | 664982 | 7288 153 | 1777 | 182 1006.68/1007.09 c 742s | 19 | 1012502 | 666382 | 7288 154 | 1777 | 182 1007.28/1007.67 c 743s | 20 | 1013057 | 666827 | 7288 154 | 1777 | 182 1009.37/1009.75 c 745s | 20 | 1015810 | 668527 | 7288 154 | 1777 | 182 1011.37/1011.79 c 747s | 20 | 1018489 | 670427 | 7288 154 | 1777 | 182 1013.47/1013.85 c 749s | 20 | 1021281 | 672327 | 7288 155 | 1777 | 182 1015.57/1015.94 c 751s | 20 | 1024168 | 674427 | 7288 155 | 1777 | 182 1017.57/1017.99 c 753s | 20 | 1026824 | 676327 | 7288 156 | 1777 | 182 1019.67/1020.00 c 755s | 20 | 1029395 | 678227 | 7288 156 | 1777 | 182 1021.68/1022.07 c 757s | 20 | 1031688 | 679927 | 7288 156 | 1777 | 182 1023.77/1024.13 c 759s | 20 | 1034107 | 681727 | 7288 157 | 1777 | 182 1025.87/1026.21 c 761s | 20 | 1036772 | 683727 | 7288 157 | 1777 | 182 1027.86/1028.23 c 763s | 20 | 1039263 | 685527 | 7288 157 | 1777 | 182 1029.96/1030.32 c 765s | 20 | 1041920 | 687327 | 7288 158 | 1777 | 182 1031.96/1032.35 c 767s | 20 | 1044414 | 689127 | 7288 158 | 1777 | 182 1034.06/1034.44 c 770s | 20 | 1046708 | 690927 | 7288 158 | 1777 | 182 1036.16/1036.53 c 772s | 20 | 1049161 | 692827 | 7288 159 | 1777 | 182 1038.17/1038.57 c 774s | 20 | 1051987 | 694727 | 7288 159 | 1777 | 182 1040.26/1040.63 c 776s | 20 | 1054401 | 696427 | 7288 160 | 1777 | 182 1042.26/1042.64 c 778s | 20 | 1056644 | 698127 | 7288 160 | 1777 | 182 1044.35/1044.71 c 780s | 20 | 1058890 | 699827 | 7288 160 | 1777 | 182 1046.45/1046.81 c 782s | 20 | 1061056 | 701427 | 7288 161 | 1777 | 182 1048.55/1048.92 c 784s | 20 | 1063810 | 703427 | 7288 161 | 1777 | 182 1050.65/1051.04 c 786s | 20 | 1066118 | 705227 | 7288 161 | 1777 | 182 1052.75/1053.12 c 788s | 20 | 1068178 | 706827 | 7288 162 | 1777 | 182 1054.75/1055.15 c 790s | 20 | 1070374 | 708427 | 7288 162 | 1777 | 182 1056.76/1057.16 c 792s | 20 | 1072482 | 709927 | 7288 162 | 1777 | 182 1058.85/1059.28 c 794s | 20 | 1074629 | 711427 | 7288 163 | 1777 | 182 1061.05/1061.43 c 797s | 20 | 1076701 | 713127 | 7288 163 | 1777 | 182 1063.14/1063.52 c 799s | 20 | 1079398 | 715027 | 7288 163 | 1777 | 182 1065.24/1065.61 c 801s | 20 | 1081362 | 716527 | 7288 164 | 1777 | 182 1067.34/1067.72 c 803s | 20 | 1083786 | 718327 | 7288 164 | 1777 | 182 1069.44/1069.83 c 805s | 20 | 1086304 | 720027 | 7288 164 | 1777 | 182 1071.54/1071.91 c 807s | 20 | 1088436 | 721627 | 7288 165 | 1777 | 182 1073.64/1074.03 c 809s | 20 | 1090893 | 723427 | 7288 165 | 1777 | 182 1075.64/1076.03 c 811s | 20 | 1093708 | 725327 | 7288 165 | 1777 | 182 1077.75/1078.12 c 813s | 20 | 1096877 | 727327 | 7288 166 | 1777 | 182 1079.74/1080.12 c 815s | 20 | 1099382 | 729227 | 7288 166 | 1777 | 182 1081.74/1082.17 c 817s | 20 | 1102025 | 731127 | 7288 166 | 1777 | 182 1083.83/1084.24 c 819s | 20 | 1104566 | 733027 | 7288 167 | 1777 | 182 1085.93/1086.35 c 821s | 20 | 1106885 | 734827 | 7288 167 | 1777 | 182 1088.03/1088.42 c 824s | 20 | 1109588 | 736727 | 7288 167 | 1777 | 182 1090.13/1090.52 c 826s | 20 | 1111923 | 738527 | 7288 168 | 1777 | 182 1092.23/1092.61 c 828s | 20 | 1114118 | 740227 | 7288 168 | 1777 | 182 1094.23/1094.66 c 830s | 20 | 1116549 | 741927 | 7288 169 | 1777 | 182 1096.23/1096.69 c 832s | 20 | 1118907 | 743627 | 7288 169 | 1777 | 182 1098.33/1098.79 c 834s | 20 | 1122138 | 745627 | 7288 169 | 1777 | 182 1100.33/1100.79 c 836s | 20 | 1124755 | 747427 | 7288 170 | 1777 | 182 1102.43/1102.80 c 838s | 20 | 1127120 | 749127 | 7288 170 | 1777 | 182 1104.42/1104.81 c 840s | 20 | 1129504 | 750827 | 7288 170 | 1777 | 182 1106.42/1106.88 c 842s | 20 | 1131982 | 752527 | 7288 171 | 1777 | 182 1108.43/1108.89 c 844s | 20 | 1134750 | 754327 | 7288 171 | 1777 | 182 1110.52/1111.00 c 846s | 20 | 1137915 | 756227 | 7288 171 | 1777 | 182 1112.62/1113.09 c 848s | 20 | 1140517 | 757827 | 7288 172 | 1777 | 182 1114.62/1115.09 c 850s | 20 | 1143128 | 759527 | 7288 172 | 1777 | 182 1116.72/1117.12 c 852s | 20 | 1145473 | 761127 | 7288 172 | 1777 | 182 1118.82/1119.22 c 854s | 20 | 1147949 | 763027 | 7288 173 | 1777 | 182 1120.81/1121.26 c 856s | 20 | 1150419 | 764927 | 7288 173 | 1777 | 182 1122.91/1123.32 c 858s | 20 | 1153083 | 766727 | 7288 173 | 1777 | 182 1124.92/1125.33 c 860s | 20 | 1155406 | 768327 | 7288 174 | 1777 | 182 1127.01/1127.42 c 863s | 20 | 1158360 | 770127 | 7288 174 | 1777 | 182 1129.01/1129.42 c 865s | 20 | 1160887 | 771727 | 7288 174 | 1777 | 182 1131.01/1131.43 c 867s | 20 | 1162857 | 773127 | 7288 175 | 1777 | 182 1133.00/1133.46 c 869s | 20 | 1165017 | 774727 | 7288 175 | 1777 | 182 1135.10/1135.56 c 871s | 20 | 1167654 | 776727 | 7288 175 | 1777 | 182 1137.20/1137.61 c 873s | 20 | 1170172 | 778327 | 7288 176 | 1777 | 182 1139.21/1139.62 c 875s | 20 | 1171962 | 779727 | 7288 176 | 1777 | 182 1141.20/1141.66 c 877s | 20 | 1173956 | 781327 | 7288 176 | 1777 | 182 1143.20/1143.67 c 879s | 20 | 1175925 | 782727 | 7288 177 | 1777 | 182 1145.40/1145.80 c 881s | 20 | 1177980 | 784327 | 7288 177 | 1777 | 182 1147.40/1147.86 c 883s | 20 | 1180774 | 786127 | 7288 177 | 1777 | 182 1149.40/1149.88 c 885s | 20 | 1183758 | 787927 | 7288 178 | 1777 | 182 1151.50/1151.91 c 887s | 20 | 1186133 | 789627 | 7288 178 | 1777 | 182 1153.50/1153.99 c 889s | 20 | 1188617 | 791227 | 7288 178 | 1777 | 182 1155.59/1156.03 c 891s | 20 | 1190904 | 792727 | 7288 179 | 1777 | 182 1157.59/1158.07 c 893s | 20 | 1193824 | 794527 | 7288 179 | 1777 | 182 1159.69/1160.13 c 895s | 20 | 1196277 | 796127 | 7288 179 | 1777 | 182 1161.79/1162.25 c 897s | 20 | 1198695 | 797727 | 7288 180 | 1777 | 182 1163.79/1164.26 c 899s | 20 | 1201389 | 799427 | 7288 180 | 1777 | 182 1165.78/1166.29 c 901s | 20 | 1204060 | 801027 | 7288 180 | 1777 | 182 1167.89/1168.36 c 903s | 20 | 1206442 | 802627 | 7288 180 | 1777 | 182 1169.88/1170.39 c 905s | 20 | 1208938 | 804227 | 7288 181 | 1777 | 182 1171.88/1172.40 c 908s | 20 | 1211586 | 805827 | 7288 181 | 1777 | 182 1174.08/1174.50 c 910s | 20 | 1214180 | 807527 | 7288 181 | 1777 | 182 1176.08/1176.52 c 912s | 20 | 1216307 | 809027 | 7288 182 | 1777 | 182 1178.08/1178.56 c 914s | 20 | 1218409 | 810527 | 7288 182 | 1777 | 182 1180.19/1180.62 c 916s | 20 | 1220355 | 812027 | 7288 182 | 1777 | 182 1182.29/1182.70 c 918s | 20 | 1222613 | 813627 | 7288 183 | 1777 | 182 1184.30/1184.77 c 920s | 20 | 1225280 | 815327 | 7288 183 | 1777 | 182 1186.39/1186.81 c 922s | 20 | 1227977 | 817027 | 7288 183 | 1777 | 182 1188.49/1188.90 c 924s | 20 | 1230341 | 818627 | 7288 184 | 1777 | 182 1190.49/1190.91 c 926s | 20 | 1233123 | 820327 | 7288 184 | 1777 | 182 1192.49/1192.96 c 928s | 20 | 1235764 | 822027 | 7288 184 | 1777 | 182 1194.59/1195.05 c 930s | 20 | 1238363 | 823627 | 7288 185 | 1777 | 182 1196.69/1197.17 c 932s | 20 | 1241504 | 825427 | 7288 185 | 1777 | 182 1198.69/1199.18 c 934s | 20 | 1244242 | 827127 | 7288 185 | 1777 | 182 1200.79/1201.22 c 936s | 20 | 1246652 | 828627 | 7288 186 | 1777 | 182 1202.89/1203.36 c 938s | 20 | 1248952 | 830227 | 7288 186 | 1777 | 182 1204.98/1205.42 c 941s | 20 | 1251476 | 831827 | 7288 186 | 1777 | 182 1207.18/1207.60 c 943s | 20 | 1253552 | 833227 | 7288 187 | 1777 | 182 1209.18/1209.70 c 945s | 20 | 1255765 | 834727 | 7288 187 | 1777 | 182 1211.38/1211.83 c 947s | 20 | 1258165 | 836327 | 7288 187 | 1777 | 182 1213.38/1213.86 c 949s | 20 | 1260713 | 837927 | 7288 187 | 1777 | 182 1215.38/1215.89 c 951s | 20 | 1262914 | 839427 | 7288 188 | 1777 | 182 1217.68/1218.11 c 953s | 20 | 1265158 | 841027 | 7288 188 | 1777 | 182 1219.68/1220.16 c 955s | 20 | 1267275 | 842527 | 7288 188 | 1777 | 182 1221.69/1222.18 c 957s | 20 | 1269757 | 844127 | 7288 189 | 1777 | 182 1223.78/1224.20 c 959s | 20 | 1272468 | 845827 | 7288 189 | 1777 | 182 1225.88/1226.30 c 961s | 20 | 1275188 | 847527 | 7288 189 | 1777 | 182 1227.88/1228.31 c 963s | 20 | 1277937 | 849227 | 7288 190 | 1777 | 182 1229.88/1230.36 c 965s | 20 | 1280343 | 851027 | 7288 190 | 1777 | 182 1231.98/1232.42 c 968s | 20 | 1282877 | 852927 | 7288 190 | 1777 | 182 1234.08/1234.50 c 970s | 20 | 1285292 | 854727 | 7288 191 | 1777 | 182 1236.18/1236.61 c 972s | 20 | 1287687 | 856527 | 7288 191 | 1777 | 182 1238.18/1238.62 c 974s | 20 | 1289737 | 858027 | 7288 191 | 1777 | 182 1240.18/1240.64 c 976s | 20 | 1291767 | 859527 | 7288 192 | 1777 | 182 1242.28/1242.70 c 978s | 20 | 1293954 | 861127 | 7288 192 | 1777 | 182 1244.28/1244.71 c 980s | 20 | 1295941 | 862627 | 7288 192 | 1777 | 182 1246.28/1246.78 c 982s | 20 | 1298026 | 864127 | 7288 193 | 1777 | 182 1248.38/1248.85 c 984s | 20 | 1300277 | 865727 | 7288 193 | 1777 | 182 1250.38/1250.85 c 986s | 20 | 1302659 | 867327 | 7288 193 | 1777 | 182 1252.38/1252.86 c 988s | 20 | 1305163 | 869027 | 7288 194 | 1777 | 182 1254.38/1254.87 c 990s | 20 | 1307491 | 870627 | 7288 194 | 1777 | 182 1256.48/1256.93 c 992s | 20 | 1309738 | 872227 | 7288 194 | 1777 | 182 1258.47/1258.98 c 994s | 20 | 1312098 | 873827 | 7288 194 | 1777 | 182 1260.67/1261.10 c 996s | 20 | 1314067 | 875327 | 7288 195 | 1777 | 182 1262.77/1263.20 c 998s | 20 | 1316108 | 876827 | 7288 195 | 1777 | 182 1264.77/1265.20 c 1000s | 20 | 1318205 | 878327 | 7288 195 | 1777 | 182 1266.78/1267.26 c 1002s | 20 | 1320145 | 879727 | 7288 196 | 1777 | 182 1268.87/1269.39 c 1004s | 20 | 1322085 | 881227 | 7288 196 | 1777 | 182 1270.97/1271.44 c 1007s | 20 | 1323974 | 882627 | 7288 196 | 1777 | 182 1273.07/1273.50 c 1009s | 20 | 1325811 | 884027 | 7288 196 | 1777 | 182 1275.07/1275.52 c 1011s | 20 | 1327682 | 885527 | 7288 197 | 1777 | 182 1277.07/1277.54 c 1013s | 20 | 1329694 | 887127 | 7288 197 | 1777 | 182 1279.07/1279.57 c 1015s | 20 | 1331613 | 888627 | 7288 197 | 1777 | 182 1281.18/1281.61 c 1017s | 20 | 1333450 | 890127 | 7288 198 | 1777 | 182 1283.17/1283.62 c 1019s | 20 | 1335324 | 891627 | 7288 198 | 1777 | 182 1285.27/1285.73 c 1021s | 20 | 1337316 | 893127 | 7288 198 | 1777 | 182 1287.37/1287.84 c 1023s | 20 | 1339471 | 894727 | 7288 199 | 1777 | 182 1289.47/1289.98 c 1025s | 20 | 1341532 | 896327 | 7288 199 | 1777 | 182 1291.67/1292.11 c 1027s | 20 | 1343407 | 897827 | 7288 199 | 1777 | 182 1293.77/1294.21 c 1029s | 20 | 1345307 | 899327 | 7288 199 | 1777 | 182 1295.77/1296.24 c 1031s | 20 | 1347058 | 900727 | 7288 200 | 1777 | 182 1297.76/1298.28 c 1033s | 20 | 1348805 | 902027 | 7288 200 | 1777 | 182 1300.06/1300.52 c 1036s | 20 | 1350400 | 903327 | 7288 200 | 1777 | 182 1302.07/1302.53 c 1038s | 20 | 1352530 | 904927 | 7288 201 | 1777 | 182 1304.06/1304.56 c 1040s | 20 | 1354980 | 906627 | 7288 201 | 1777 | 182 1306.16/1306.65 c 1042s | 20 | 1357183 | 908327 | 7288 201 | 1777 | 182 1308.26/1308.74 c 1044s | 20 | 1359022 | 909727 | 7288 201 | 1777 | 182 1310.36/1310.80 c 1046s | 20 | 1361188 | 911227 | 7288 202 | 1777 | 182 1312.46/1312.92 c 1048s | 20 | 1363448 | 912827 | 7288 202 | 1777 | 182 1314.56/1315.02 c 1050s | 20 | 1365826 | 914427 | 7288 202 | 1777 | 182 1316.56/1317.06 c 1052s | 20 | 1368309 | 916027 | 7288 203 | 1777 | 182 1318.57/1319.06 c 1054s | 20 | 1370723 | 917627 | 7288 203 | 1777 | 182 1320.56/1321.07 c 1056s | 20 | 1372652 | 919127 | 7288 203 | 1777 | 182 1322.66/1323.15 c 1058s | 20 | 1374578 | 920527 | 7288 204 | 1777 | 182 1324.66/1325.19 c 1060s | 20 | 1376245 | 921927 | 7288 204 | 1777 | 182 1326.76/1327.23 c 1062s | 20 | 1378123 | 923327 | 7288 204 | 1777 | 182 1328.86/1329.35 c 1064s | 20 | 1380125 | 924827 | 7288 204 | 1777 | 182 1330.86/1331.39 c 1066s | 20 | 1382095 | 926227 | 7288 205 | 1777 | 182 1333.06/1333.53 c 1069s | 20 | 1384037 | 927727 | 7288 205 | 1777 | 182 1335.06/1335.55 c 1071s | 20 | 1386259 | 929227 | 7288 205 | 1777 | 182 1337.16/1337.67 c 1073s | 20 | 1387891 | 930527 | 7288 206 | 1777 | 182 1339.26/1339.73 c 1075s | 20 | 1390364 | 932327 | 7288 206 | 1777 | 182 1341.36/1341.86 c 1077s | 20 | 1392817 | 934027 | 7288 206 | 1777 | 182 1343.45/1343.91 c 1079s | 20 | 1394887 | 935527 | 7288 207 | 1777 | 182 1345.45/1345.91 c 1081s | 20 | 1397087 | 937027 | 7288 207 | 1777 | 182 1347.45/1347.93 c 1083s | 20 | 1399169 | 938527 | 7288 207 | 1777 | 182 1349.55/1350.02 c 1085s | 20 | 1401246 | 940027 | 7288 207 | 1777 | 182 1351.65/1352.12 c 1087s | 20 | 1403335 | 941527 | 7288 208 | 1777 | 182 1353.66/1354.15 c 1089s | 20 | 1405314 | 943027 | 7288 208 | 1777 | 182 1355.75/1356.24 c 1091s | 20 | 1407359 | 944527 | 7288 208 | 1777 | 182 1357.85/1358.31 c 1093s | 20 | 1409315 | 945927 | 7288 209 | 1777 | 182 1359.85/1360.33 c 1095s | 20 | 1411410 | 947427 | 7288 209 | 1777 | 182 1361.95/1362.45 c 1098s | 20 | 1413542 | 948927 | 7288 209 | 1777 | 182 1364.05/1364.53 c 1100s | 20 | 1415891 | 950527 | 8017 209 | 1777 | 182 1366.25/1366.70 c 1102s | 20 | 1418036 | 952027 | 8017 210 | 1777 | 182 1368.25/1368.77 c 1104s | 20 | 1420371 | 953627 | 8017 210 | 1777 | 182 1370.35/1370.89 c 1106s | 20 | 1422791 | 955327 | 8017 210 | 1777 | 182 1372.46/1372.98 c 1108s | 20 | 1424928 | 956927 | 8017 211 | 1777 | 182 1374.56/1375.04 c 1110s | 20 | 1427326 | 958527 | 8017 211 | 1777 | 182 1376.55/1377.08 c 1112s | 20 | 1429695 | 960227 | 8017 211 | 1777 | 182 1378.65/1379.11 c 1114s | 20 | 1431863 | 961727 | 8017 211 | 1777 | 182 1380.65/1381.13 c 1116s | 20 | 1433705 | 963127 | 8017 212 | 1777 | 182 1382.75/1383.23 c 1118s | 20 | 1435668 | 964627 | 8017 212 | 1777 | 182 1384.85/1385.30 c 1120s | 20 | 1437621 | 966227 | 8017 212 | 1777 | 182 1386.85/1387.35 c 1122s | 20 | 1439294 | 967627 | 8017 212 | 1777 | 182 1388.96/1389.43 c 1125s | 20 | 1440902 | 968927 | 8017 213 | 1777 | 182 1391.06/1391.53 c 1127s | 20 | 1442792 | 970427 | 8017 213 | 1777 | 182 1393.06/1393.53 c 1129s | 20 | 1445178 | 972027 | 8017 213 | 1777 | 182 1395.06/1395.59 c 1131s | 20 | 1447190 | 973427 | 8017 214 | 1777 | 182 1397.16/1397.62 c 1133s | 20 | 1449208 | 974827 | 8017 214 | 1777 | 182 1399.16/1399.65 c 1135s | 20 | 1451404 | 976427 | 8017 214 | 1777 | 182 1401.16/1401.68 c 1137s | 20 | 1453827 | 978127 | 8017 214 | 1777 | 182 1403.26/1403.76 c 1139s | 20 | 1456302 | 979827 | 8017 215 | 1777 | 182 1405.36/1405.86 c 1141s | 20 | 1458561 | 981427 | 8017 215 | 1777 | 182 1407.45/1407.94 c 1143s | 20 | 1460973 | 983127 | 8017 215 | 1777 | 182 1409.55/1410.07 c 1145s | 20 | 1462976 | 984727 | 8017 216 | 1777 | 182 1411.65/1412.17 c 1147s | 20 | 1464990 | 986327 | 8017 216 | 1777 | 182 1413.65/1414.19 c 1149s | 20 | 1467271 | 987927 | 8017 216 | 1777 | 182 1415.75/1416.23 c 1151s | 20 | 1469576 | 989527 | 8017 216 | 1777 | 182 1417.75/1418.28 c 1153s | 20 | 1471909 | 991327 | 8017 217 | 1777 | 182 1419.85/1420.32 c 1155s | 20 | 1474093 | 993027 | 8017 217 | 1777 | 182 1421.86/1422.40 c 1158s | 20 | 1476381 | 994827 | 8017 217 | 1777 | 182 1423.95/1424.43 c 1160s | 20 | 1478713 | 996427 | 8017 218 | 1777 | 182 1426.05/1426.51 c 1162s | 20 | 1480807 | 998027 | 8017 218 | 1777 | 182 1428.05/1428.53 c 1164s | 20 | 1483300 | 999627 | 8017 218 | 1777 | 182 1428.95/1429.40 c 1165s | 21 | 1484329 | 1000345 | 8017 218 | 1777 | 182 1430.95/1431.43 c 1167s | 21 | 1486744 | 1001745 | 8017 219 | 1777 | 182 1432.96/1433.45 c 1169s | 21 | 1489430 | 1003545 | 8017 219 | 1777 | 182 1435.05/1435.54 c 1171s | 21 | 1492106 | 1005345 | 8017 219 | 1777 | 182 1437.15/1437.66 c 1173s | 21 | 1494493 | 1007045 | 8017 220 | 1777 | 182 1439.15/1439.68 c 1175s | 21 | 1497173 | 1008845 | 8017 220 | 1777 | 182 1441.25/1441.74 c 1177s | 21 | 1499601 | 1010445 | 8017 220 | 1777 | 182 1443.25/1443.79 c 1179s | 21 | 1501686 | 1011945 | 8017 221 | 1777 | 182 1445.35/1445.83 c 1181s | 21 | 1504248 | 1013645 | 8017 221 | 1777 | 182 1447.45/1447.97 c 1183s | 21 | 1507170 | 1015445 | 8017 221 | 1777 | 182 1449.54/1450.02 c 1185s | 21 | 1509633 | 1016945 | 8017 222 | 1777 | 182 1451.65/1452.10 c 1187s | 21 | 1512480 | 1018645 | 8017 222 | 1777 | 182 1453.64/1454.18 c 1189s | 21 | 1516051 | 1020645 | 8017 222 | 1777 | 182 1455.74/1456.21 c 1191s | 21 | 1519110 | 1022345 | 8017 223 | 1777 | 182 1457.74/1458.27 c 1193s | 21 | 1521846 | 1024045 | 8017 223 | 1777 | 182 1459.74/1460.27 c 1195s | 21 | 1524698 | 1025645 | 8017 223 | 1777 | 182 1461.84/1462.31 c 1197s | 21 | 1527426 | 1027445 | 8017 223 | 1777 | 182 1463.84/1464.32 c 1199s | 21 | 1530103 | 1029145 | 8017 224 | 1777 | 182 1465.95/1466.40 c 1202s | 21 | 1532894 | 1031045 | 8017 224 | 1777 | 182 1467.94/1468.46 c 1204s | 21 | 1535503 | 1032845 | 8017 224 | 1777 | 182 1470.04/1470.57 c 1206s | 21 | 1538306 | 1034545 | 8017 225 | 1777 | 182 1472.14/1472.67 c 1208s | 21 | 1540920 | 1036245 | 8017 225 | 1777 | 182 1474.24/1474.75 c 1210s | 21 | 1543486 | 1038045 | 8017 225 | 1777 | 182 1476.44/1476.90 c 1212s | 21 | 1545879 | 1039545 | 8017 226 | 1777 | 182 1478.54/1479.00 c 1214s | 21 | 1548162 | 1041045 | 8017 226 | 1777 | 182 1480.54/1481.04 c 1216s | 21 | 1550369 | 1042645 | 8017 226 | 1777 | 182 1482.64/1483.15 c 1218s | 21 | 1552589 | 1044145 | 8017 227 | 1777 | 182 1484.74/1485.22 c 1220s | 21 | 1555319 | 1045945 | 8017 227 | 1777 | 182 1486.74/1487.23 c 1222s | 21 | 1557986 | 1047745 | 8017 227 | 1777 | 182 1488.74/1489.29 c 1224s | 21 | 1560655 | 1049445 | 8017 227 | 1777 | 182 1490.94/1491.46 c 1227s | 21 | 1563073 | 1051045 | 8017 228 | 1777 | 182 1493.04/1493.55 c 1229s | 21 | 1565623 | 1052745 | 8017 228 | 1777 | 182 1495.03/1495.57 c 1231s | 21 | 1568165 | 1054445 | 8017 228 | 1777 | 182 1497.13/1497.65 c 1233s | 21 | 1570303 | 1055945 | 8017 229 | 1777 | 182 1499.13/1499.68 c 1235s | 21 | 1572833 | 1057645 | 8017 229 | 1777 | 182 1501.23/1501.72 c 1237s | 21 | 1575378 | 1059345 | 8017 229 | 1777 | 182 1503.24/1503.79 c 1239s | 21 | 1577784 | 1060945 | 8017 230 | 1777 | 182 1505.33/1505.85 c 1241s | 21 | 1580376 | 1062645 | 8017 230 | 1777 | 182 1507.33/1507.89 c 1243s | 21 | 1582923 | 1064345 | 8017 230 | 1777 | 182 1509.43/1509.98 c 1245s | 21 | 1585639 | 1066045 | 8017 231 | 1777 | 182 1511.63/1512.10 c 1247s | 21 | 1588248 | 1067745 | 8017 231 | 1777 | 182 1513.63/1514.15 c 1249s | 21 | 1591076 | 1069545 | 8017 231 | 1777 | 182 1515.73/1516.20 c 1251s | 21 | 1593931 | 1071345 | 8017 231 | 1777 | 182 1517.73/1518.20 c 1253s | 21 | 1596155 | 1072745 | 8017 232 | 1777 | 182 1519.84/1520.32 c 1255s | 21 | 1598767 | 1074445 | 8017 232 | 1777 | 182 1521.94/1522.43 c 1258s | 21 | 1601199 | 1075945 | 8017 232 | 1777 | 182 1524.03/1524.50 c 1260s | 21 | 1603525 | 1077345 | 8017 233 | 1777 | 182 1526.03/1526.57 c 1262s | 21 | 1606234 | 1079045 | 8017 233 | 1777 | 182 1528.13/1528.64 c 1264s | 21 | 1608926 | 1080845 | 8017 233 | 1777 | 182 1530.13/1530.67 c 1266s | 21 | 1611209 | 1082345 | 8017 234 | 1777 | 182 1532.33/1532.81 c 1268s | 21 | 1614012 | 1084145 | 8017 234 | 1777 | 182 1534.33/1534.83 c 1270s | 21 | 1616401 | 1085745 | 8017 234 | 1777 | 182 1536.43/1536.93 c 1272s | 21 | 1618919 | 1087445 | 8017 234 | 1777 | 182 1538.43/1539.00 c 1274s | 21 | 1621695 | 1089145 | 8017 235 | 1777 | 182 1540.53/1541.09 c 1276s | 21 | 1624288 | 1090845 | 8017 235 | 1777 | 182 1542.63/1543.13 c 1278s | 21 | 1626585 | 1092445 | 8017 235 | 1777 | 182 1544.63/1545.18 c 1280s | 21 | 1628369 | 1093845 | 8017 236 | 1777 | 182 1546.72/1547.27 c 1282s | 21 | 1630493 | 1095445 | 8017 236 | 1777 | 182 1548.82/1549.34 c 1284s | 21 | 1632862 | 1097045 | 8017 236 | 1777 | 182 1551.02/1551.57 c 1287s | 21 | 1635314 | 1098745 | 8017 237 | 1777 | 182 1553.22/1553.70 c 1289s | 21 | 1637725 | 1100445 | 8017 237 | 1777 | 182 1555.22/1555.72 c 1291s | 21 | 1639588 | 1101745 | 8017 237 | 1777 | 182 1557.23/1557.78 c 1293s | 21 | 1642228 | 1103345 | 8017 237 | 1777 | 182 1559.33/1559.90 c 1295s | 21 | 1644651 | 1104945 | 8017 238 | 1777 | 182 1561.42/1561.95 c 1297s | 21 | 1647536 | 1106645 | 8017 238 | 1777 | 182 1563.52/1564.09 c 1299s | 21 | 1650088 | 1108345 | 8017 238 | 1777 | 182 1565.62/1566.17 c 1301s | 21 | 1652258 | 1109745 | 8017 239 | 1777 | 182 1567.72/1568.20 c 1303s | 21 | 1654686 | 1111345 | 8017 239 | 1777 | 182 1569.93/1570.43 c 1306s | 21 | 1656715 | 1113245 | 8017 239 | 1777 | 182 1572.13/1572.62 c 1308s | 21 | 1659110 | 1115145 | 8017 240 | 1777 | 182 1574.23/1574.74 c 1310s | 21 | 1661319 | 1116845 | 8017 240 | 1777 | 182 1576.23/1576.74 c 1312s | 21 | 1663728 | 1118645 | 8017 240 | 1777 | 182 1578.23/1578.78 c 1314s | 21 | 1666040 | 1120445 | 8017 240 | 1777 | 182 1580.33/1580.88 c 1316s | 21 | 1668229 | 1122145 | 8017 241 | 1777 | 182 1582.43/1582.98 c 1318s | 21 | 1670256 | 1123845 | 8017 241 | 1777 | 182 1584.53/1585.07 c 1320s | 21 | 1672203 | 1125445 | 8017 241 | 1777 | 182 1586.62/1587.11 c 1322s | 21 | 1674225 | 1126945 | 8017 242 | 1777 | 182 1588.62/1589.16 c 1324s | 21 | 1676189 | 1128545 | 8017 242 | 1777 | 182 1590.72/1591.21 c 1326s | 21 | 1678268 | 1130145 | 8017 242 | 1777 | 182 1592.82/1593.30 c 1328s | 21 | 1680108 | 1131645 | 8017 243 | 1777 | 182 1594.82/1595.38 c 1330s | 21 | 1681974 | 1133245 | 8017 243 | 1777 | 182 1596.83/1597.38 c 1332s | 21 | 1684080 | 1134945 | 8017 243 | 1777 | 182 1598.93/1599.44 c 1335s | 21 | 1686101 | 1136645 | 8017 243 | 1777 | 182 1601.02/1601.55 c 1337s | 21 | 1688162 | 1138345 | 8017 244 | 1777 | 182 1603.12/1603.66 c 1339s | 21 | 1690177 | 1139945 | 8017 244 | 1777 | 182 1605.12/1605.67 c 1341s | 21 | 1692242 | 1141545 | 8017 244 | 1777 | 182 1607.22/1607.73 c 1343s | 21 | 1694081 | 1143045 | 8017 245 | 1777 | 182 1609.32/1609.80 c 1345s | 21 | 1695827 | 1144545 | 8017 245 | 1777 | 182 1611.32/1611.80 c 1347s | 21 | 1697562 | 1146045 | 8017 245 | 1777 | 182 1613.33/1613.85 c 1349s | 21 | 1699459 | 1147545 | 8017 245 | 1777 | 182 1615.43/1615.98 c 1351s | 21 | 1701185 | 1148945 | 8017 246 | 1777 | 182 1617.52/1618.03 c 1353s | 21 | 1703113 | 1150445 | 8017 246 | 1777 | 182 1619.52/1620.09 c 1355s | 21 | 1705000 | 1151945 | 8017 246 | 1777 | 182 1621.82/1622.32 c 1357s | 21 | 1706662 | 1153345 | 8017 247 | 1777 | 182 1623.82/1624.38 c 1359s | 21 | 1708880 | 1155045 | 8017 247 | 1777 | 182 1625.82/1626.39 c 1362s | 21 | 1710892 | 1156645 | 8017 247 | 1777 | 182 1627.92/1628.49 c 1364s | 21 | 1712690 | 1158145 | 8017 247 | 1777 | 182 1630.02/1630.50 c 1366s | 21 | 1714180 | 1159445 | 8017 248 | 1777 | 182 1632.12/1632.62 c 1368s | 21 | 1716199 | 1161045 | 8017 248 | 1777 | 182 1634.12/1634.68 c 1370s | 21 | 1718981 | 1163045 | 8017 248 | 1777 | 182 1636.22/1636.74 c 1372s | 21 | 1720827 | 1164545 | 8017 249 | 1777 | 182 1638.32/1638.80 c 1374s | 21 | 1723080 | 1166345 | 8017 249 | 1777 | 182 1640.41/1640.93 c 1376s | 21 | 1725176 | 1168045 | 8017 249 | 1777 | 182 1642.41/1642.98 c 1378s | 21 | 1727094 | 1169545 | 8017 249 | 1777 | 182 1644.41/1644.99 c 1380s | 21 | 1729073 | 1171045 | 8017 250 | 1777 | 182 1646.51/1647.08 c 1382s | 21 | 1731102 | 1172645 | 8017 250 | 1777 | 182 1648.61/1649.19 c 1384s | 21 | 1732894 | 1174145 | 8017 250 | 1777 | 182 1650.81/1651.35 c 1386s | 21 | 1734951 | 1175745 | 8017 251 | 1777 | 182 1652.82/1653.36 c 1388s | 21 | 1736840 | 1177345 | 8017 251 | 1777 | 182 1654.91/1655.44 c 1391s | 21 | 1738590 | 1178845 | 8017 251 | 1777 | 182 1657.01/1657.52 c 1393s | 21 | 1740566 | 1180545 | 8017 251 | 1777 | 182 1659.11/1659.64 c 1395s | 21 | 1742693 | 1182245 | 8017 252 | 1777 | 182 1661.11/1661.69 c 1397s | 21 | 1744906 | 1184045 | 8017 252 | 1777 | 182 1663.21/1663.78 c 1399s | 21 | 1746976 | 1185745 | 8017 252 | 1777 | 182 1665.31/1665.86 c 1401s | 21 | 1748852 | 1187345 | 8017 253 | 1777 | 182 1667.31/1667.86 c 1403s | 21 | 1750736 | 1188945 | 8017 253 | 1777 | 182 1669.32/1669.89 c 1405s | 21 | 1753089 | 1190745 | 8017 253 | 1777 | 182 1671.41/1671.94 c 1407s | 21 | 1755288 | 1192345 | 8017 254 | 1777 | 182 1673.41/1673.98 c 1409s | 21 | 1757400 | 1194045 | 8017 254 | 1777 | 182 1675.51/1676.08 c 1411s | 21 | 1759586 | 1195945 | 8017 254 | 1777 | 182 1677.61/1678.19 c 1413s | 21 | 1761374 | 1197545 | 8017 255 | 1777 | 182 1679.81/1680.32 c 1415s | 21 | 1763367 | 1199245 | 8017 255 | 1777 | 182 1681.81/1682.36 c 1417s | 21 | 1765221 | 1200845 | 8017 255 | 1777 | 182 1684.01/1684.55 c 1420s | 21 | 1767428 | 1202545 | 8017 256 | 1777 | 182 1686.10/1686.67 c 1422s | 21 | 1769541 | 1204245 | 8017 256 | 1777 | 182 1688.20/1688.75 c 1424s | 21 | 1771631 | 1205945 | 8017 256 | 1777 | 182 1690.31/1690.85 c 1426s | 21 | 1773343 | 1207445 | 8017 256 | 1777 | 182 1692.41/1692.93 c 1428s | 21 | 1775182 | 1208945 | 8017 257 | 1777 | 182 1694.50/1695.02 c 1430s | 21 | 1777266 | 1210545 | 8017 257 | 1777 | 182 1696.60/1697.11 c 1432s | 21 | 1779310 | 1212145 | 8017 257 | 1777 | 182 1698.60/1699.19 c 1434s | 21 | 1781597 | 1213845 | 8017 258 | 1777 | 182 1700.70/1701.20 c 1436s | 21 | 1783911 | 1215445 | 8017 258 | 1777 | 182 1702.80/1703.31 c 1438s | 21 | 1786128 | 1217145 | 8017 258 | 1777 | 182 1704.90/1705.45 c 1441s | 21 | 1788169 | 1218745 | 8017 258 | 1777 | 182 1707.10/1707.68 c 1443s | 21 | 1790334 | 1220345 | 8017 259 | 1777 | 182 1709.20/1709.79 c 1445s | 21 | 1792832 | 1222245 | 8017 259 | 1777 | 182 1711.30/1711.80 c 1447s | 21 | 1794894 | 1223845 | 8017 259 | 1777 | 182 1713.31/1713.89 c 1449s | 21 | 1796971 | 1225445 | 8017 260 | 1777 | 182 1715.40/1715.92 c 1451s | 21 | 1799030 | 1226945 | 8017 260 | 1777 | 182 1717.50/1718.04 c 1453s | 21 | 1801529 | 1228645 | 8017 260 | 1777 | 182 1719.60/1720.13 c 1455s | 21 | 1803394 | 1230045 | 8017 261 | 1777 | 182 1721.60/1722.16 c 1457s | 21 | 1805190 | 1231545 | 8017 261 | 1777 | 182 1723.70/1724.20 c 1459s | 21 | 1807099 | 1233045 | 8017 261 | 1777 | 182 1725.70/1726.24 c 1461s | 21 | 1809022 | 1234545 | 8017 261 | 1777 | 182 1727.80/1728.31 c 1463s | 21 | 1811036 | 1236045 | 8017 262 | 1777 | 182 1729.90/1730.48 c 1466s | 21 | 1812796 | 1237445 | 8017 262 | 1777 | 182 1732.00/1732.52 c 1468s | 21 | 1814612 | 1239045 | 8017 262 | 1777 | 182 1734.00/1734.53 c 1470s | 21 | 1816344 | 1240545 | 8017 262 | 1777 | 182 1736.00/1736.59 c 1472s | 21 | 1818252 | 1242045 | 8017 263 | 1777 | 182 1737.99/1738.59 c 1474s | 21 | 1820129 | 1243545 | 8017 263 | 1777 | 182 1740.19/1740.70 c 1476s | 21 | 1821691 | 1244945 | 8017 263 | 1777 | 182 1742.19/1742.73 c 1478s | 21 | 1823153 | 1246245 | 8017 264 | 1777 | 182 1744.29/1744.81 c 1480s | 21 | 1825478 | 1248045 | 8017 264 | 1777 | 182 1746.40/1746.94 c 1482s | 21 | 1827550 | 1249745 | 8017 264 | 1777 | 182 1748.50/1749.05 c 1484s | 21 | 1829758 | 1251445 | 8017 264 | 1777 | 182 1750.59/1751.10 c 1486s | 21 | 1831774 | 1253045 | 8017 265 | 1777 | 182 1752.59/1753.19 c 1488s | 21 | 1833819 | 1254645 | 8017 265 | 1777 | 182 1754.69/1755.26 c 1490s | 21 | 1836026 | 1256345 | 8017 265 | 1777 | 182 1756.69/1757.29 c 1492s | 21 | 1837855 | 1257845 | 8017 266 | 1777 | 182 1758.89/1759.40 c 1495s | 21 | 1839688 | 1259445 | 8017 266 | 1777 | 182 1760.89/1761.40 c 1497s | 21 | 1841562 | 1261045 | 8017 266 | 1777 | 182 1762.99/1763.54 c 1499s | 21 | 1843683 | 1262745 | 8017 267 | 1777 | 182 1765.00/1765.59 c 1501s | 21 | 1845785 | 1264445 | 8017 267 | 1777 | 182 1767.20/1767.71 c 1503s | 21 | 1848313 | 1266345 | 8017 267 | 1777 | 182 1769.19/1769.75 c 1505s | 21 | 1850450 | 1268045 | 8017 267 | 1777 | 182 1771.29/1771.82 c 1507s | 21 | 1852294 | 1269545 | 8017 268 | 1777 | 182 1773.29/1773.83 c 1509s | 21 | 1854216 | 1271045 | 8017 268 | 1777 | 182 1775.29/1775.87 c 1511s | 21 | 1855993 | 1272545 | 8017 268 | 1777 | 182 1777.29/1777.88 c 1513s | 21 | 1857668 | 1273945 | 8017 269 | 1777 | 182 1779.40/1779.95 c 1515s | 21 | 1860160 | 1275645 | 8017 269 | 1777 | 182 1781.50/1782.04 c 1517s | 21 | 1862237 | 1277245 | 8017 269 | 1777 | 182 1783.59/1784.11 c 1519s | 21 | 1864042 | 1278745 | 8017 269 | 1777 | 182 1785.60/1786.13 c 1521s | 21 | 1866825 | 1280445 | 8017 270 | 1777 | 182 1787.70/1788.23 c 1523s | 21 | 1869156 | 1282245 | 8017 270 | 1777 | 182 1789.70/1790.27 c 1525s | 21 | 1871297 | 1283945 | 8017 270 | 1777 | 182 1791.70/1792.28 c 1527s | 21 | 1873908 | 1285645 | 8017 271 | 1777 | 182 1793.80/1794.39 c 1530s | 21 | 1876113 | 1287345 | 8017 271 | 1777 | 182 1795.80/1796.40 c 1532s | 21 | 1878284 | 1288945 | 8017 271 | 1777 | 182 1798.00/1798.50 c 1534s | 21 | 1880158 | 1290545 | 8017 272 | 1777 | 182 1799.99/1800.52 c 1536s | 21 | 1882431 | 1292245 | 8017 272 | 1777 | 182
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-4103181-1466233533/watcher-4103181-1466233533 -o /tmp/evaluation-result-4103181-1466233533/solver-4103181-1466233533 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103181-1466233533.opb pid=18763 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.13 2.21 2.18 4/179 18766 /proc/meminfo: memFree=19049212/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=606652 CPUtime=0 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 2242 0 0 0 0 0 0 0 20 0 4 0 25399955 621211648 2603 33554432000 4194304 16246674 140733773299120 140733773298544 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 152431 2611 441 2943 0 149325 0 [pid=18766/tid=18767] ppid=18763 vsize=625084 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 640086016 2674 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=629180 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 644280320 2690 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=633276 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25399955 648474624 2707 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100126 s] /proc/loadavg: 2.13 2.21 2.18 4/179 18766 /proc/meminfo: memFree=19049212/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 26920 0 0 0 6 3 0 0 20 0 4 0 25399955 1249447936 27218 33554432000 4194304 16246674 140733773299120 140733773298432 13007928 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 305041 27231 832 2943 0 301935 0 [pid=18766/tid=18767] ppid=18763 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 1249447936 27241 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 1249447936 27251 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 1249447936 27261 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200507 s] /proc/loadavg: 2.13 2.21 2.18 4/179 18766 /proc/meminfo: memFree=19049212/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=1302084 CPUtime=0.18 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 49132 0 0 0 13 5 0 0 20 0 4 0 25399955 1333334016 49431 33554432000 4194304 16246674 140733773299120 140733773298432 12449399 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 325521 49444 870 2943 0 322415 0 [pid=18766/tid=18767] ppid=18763 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 1333334016 49453 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 1333334016 49462 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 1333334016 49471 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1302084 [startup+0.300475 s] /proc/loadavg: 2.13 2.21 2.18 4/179 18766 /proc/meminfo: memFree=19049212/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=1302084 CPUtime=0.29 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 60125 0 0 0 21 8 0 0 20 0 4 0 25399955 1333334016 60423 33554432000 4194304 16246674 140733773299120 140733773298432 12653060 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 325521 60423 870 2943 0 322415 0 [pid=18766/tid=18767] ppid=18763 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 1333334016 60423 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 1333334016 60423 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 1333334016 60423 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1302084 [startup+0.700398 s] /proc/loadavg: 2.13 2.21 2.18 4/179 18766 /proc/meminfo: memFree=19049212/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=1302084 CPUtime=0.69 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 143069 0 0 0 50 19 0 0 20 0 4 0 25399955 1333334016 143367 33554432000 4194304 16246674 140733773299120 140733773298432 12684188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 325521 143373 870 2943 0 322415 0 [pid=18766/tid=18767] ppid=18763 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 1333334016 143377 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 1333334016 143381 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 1333334016 143385 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1302084 [startup+1.50038 s] /proc/loadavg: 2.13 2.21 2.18 4/183 18770 /proc/meminfo: memFree=18037880/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=1439300 CPUtime=1.49 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 300979 0 0 0 109 40 0 0 20 0 4 0 25399955 1473843200 301277 33554432000 4194304 16246674 140733773299120 140733773296976 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 359825 301283 870 2943 0 356719 0 [pid=18766/tid=18767] ppid=18763 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 1473843200 301286 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 1473843200 301289 33554432000 4194304 16246674 140733773299120 140486811556880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=1440324 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 1474891776 301295 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1439300 [startup+3.1004 s] /proc/loadavg: 2.20 2.22 2.18 3/183 18770 /proc/meminfo: memFree=17766444/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=1517124 CPUtime=3.09 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 320487 0 0 0 266 43 0 0 20 0 4 0 25399955 1553534976 320785 33554432000 4194304 16246674 140733773299120 140733773296960 12371164 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 379281 320785 908 2943 0 376175 0 [pid=18766/tid=18767] ppid=18763 vsize=1517124 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 1553534976 320785 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=1517124 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 1553534976 320785 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=1517124 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 1553534976 320785 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1517124 [startup+6.30042 s] /proc/loadavg: 2.20 2.22 2.18 3/183 18770 /proc/meminfo: memFree=17766516/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=1517124 CPUtime=6.29 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 320487 0 0 0 586 43 0 0 20 0 4 0 25399955 1553534976 320785 33554432000 4194304 16246674 140733773299120 140733773296960 4220514 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 379281 320785 908 2943 0 376175 0 [pid=18766/tid=18767] ppid=18763 vsize=1517124 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 1553534976 320785 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=1517124 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 1553534976 320785 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=1517124 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 1553534976 320785 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1517124 [startup+12.7004 s] /proc/loadavg: 2.25 2.23 2.18 3/183 18770 /proc/meminfo: memFree=17766400/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=1517124 CPUtime=12.69 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 320488 0 0 0 1226 43 0 0 20 0 4 0 25399955 1553534976 320786 33554432000 4194304 16246674 140733773299120 140733773281024 12429095 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 379281 320786 909 2943 0 376175 0 [pid=18766/tid=18767] ppid=18763 vsize=1517124 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 1553534976 320786 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=1517124 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 1553534976 320786 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=1517124 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 1553534976 320786 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1517124 [startup+25.5004 s] /proc/loadavg: 2.29 2.24 2.19 4/183 18770 /proc/meminfo: memFree=17767100/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=1517124 CPUtime=25.48 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 320491 0 0 0 2505 43 0 0 20 0 4 0 25399955 1553534976 320789 33554432000 4194304 16246674 140733773299120 140733773281024 12654401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 379281 320789 912 2943 0 376175 0 [pid=18766/tid=18767] ppid=18763 vsize=1517124 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 1553534976 320789 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=1517124 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 1553534976 320789 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=1517124 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 1553534976 320789 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1517124 [startup+51.1005 s] /proc/loadavg: 2.26 2.23 2.18 3/183 18770 /proc/meminfo: memFree=16904628/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=1517124 CPUtime=51.08 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 320499 0 0 0 5065 43 0 0 20 0 4 0 25399955 1553534976 320797 33554432000 4194304 16246674 140733773299120 140733773281024 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 379281 320797 920 2943 0 376175 0 [pid=18766/tid=18767] ppid=18763 vsize=1517124 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 1553534976 320797 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=1517124 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 1553534976 320797 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=1517124 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 1553534976 320797 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1517124 [startup+102.3 s] /proc/loadavg: 2.29 2.25 2.19 3/183 18771 /proc/meminfo: memFree=13474368/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=2202180 CPUtime=102.28 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 491768 0 0 0 10162 66 0 0 20 0 4 0 25399955 2255032320 492066 33554432000 4194304 16246674 140733773299120 140733773297024 4221023 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 550545 492066 924 2943 0 547439 0 [pid=18766/tid=18767] ppid=18763 vsize=2202180 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 2255032320 492066 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=2202180 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 2255032320 492066 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=2202180 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 2255032320 492066 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 2202180 ################ # More data... # ################ /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 2216516 [startup+1302.3 s] /proc/loadavg: 2.16 2.17 2.17 3/183 18947 /proc/meminfo: memFree=25739232/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=2216516 CPUtime=1301.86 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 527222 0 0 0 130102 84 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140733773281024 13963975 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 554129 495652 926 2943 0 551023 0 [pid=18766/tid=18767] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 2216516 [startup+1362.3 s] /proc/loadavg: 2.26 2.19 2.18 3/183 18948 /proc/meminfo: memFree=25738788/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=2216516 CPUtime=1361.85 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 527222 0 0 0 136101 84 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140733773281024 13192416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 554129 495652 926 2943 0 551023 0 [pid=18766/tid=18767] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 2216516 [startup+1422.3 s] /proc/loadavg: 2.26 2.21 2.18 3/182 18949 /proc/meminfo: memFree=25738960/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=2216516 CPUtime=1421.86 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 527222 0 0 0 142101 85 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140733773281024 6021162 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 554129 495652 926 2943 0 551023 0 [pid=18766/tid=18767] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 2216516 [startup+1482.3 s] /proc/loadavg: 2.20 2.20 2.18 3/184 18954 /proc/meminfo: memFree=25739064/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=2216516 CPUtime=1481.84 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 527222 0 0 0 148099 85 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140733773281024 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 554129 495652 926 2943 0 551023 0 [pid=18766/tid=18767] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 2216516 [startup+1542.31 s] /proc/loadavg: 2.13 2.18 2.17 3/183 18955 /proc/meminfo: memFree=25739124/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=2216516 CPUtime=1541.83 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 527222 0 0 0 154098 85 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140733773281024 5600224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 554129 495652 926 2943 0 551023 0 [pid=18766/tid=18767] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 2216516 [startup+1602.3 s] /proc/loadavg: 2.30 2.21 2.18 4/183 18956 /proc/meminfo: memFree=25738672/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=2216516 CPUtime=1601.82 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 527222 0 0 0 160096 86 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140733773281024 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 554129 495652 926 2943 0 551023 0 [pid=18766/tid=18767] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 2216516 [startup+1662.3 s] /proc/loadavg: 2.32 2.23 2.19 4/183 18957 /proc/meminfo: memFree=25738412/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=2216516 CPUtime=1661.81 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 527222 0 0 0 166095 86 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140733773281024 5822687 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 554129 495652 926 2943 0 551023 0 [pid=18766/tid=18767] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 2216516 [startup+1722.3 s] /proc/loadavg: 2.22 2.22 2.18 3/183 18958 /proc/meminfo: memFree=25738192/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=2216516 CPUtime=1721.8 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 527222 0 0 0 172094 86 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140733773281024 5722604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 554129 495652 926 2943 0 551023 0 [pid=18766/tid=18767] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 2216516 [startup+1782.3 s] /proc/loadavg: 2.26 2.23 2.19 3/183 18960 /proc/meminfo: memFree=25737324/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=2216516 CPUtime=1781.79 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 527222 0 0 0 178093 86 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140733773281024 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 554129 495652 926 2943 0 551023 0 [pid=18766/tid=18767] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 2216516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.36 2.25 2.19 3/183 18960 /proc/meminfo: memFree=25737664/32872528 swapFree=1191052/1305516 [pid=18766] ppid=18763 vsize=2216516 CPUtime=1800.09 cores=0,2,4,6 /proc/18766/stat : 18766 (toysat) R 18763 18766 14522 0 -1 4202496 527222 0 0 0 179922 87 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140733773281024 13774452 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18766/statm: 554129 495652 926 2943 0 551023 0 [pid=18766/tid=18767] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18767/stat : 18767 (toysat) S 18763 18766 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486822046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=18766/tid=18768] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18768/stat : 18768 (toysat) S 18763 18766 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486811557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=18766/tid=18769] ppid=18763 vsize=2216516 CPUtime=0 cores=0,2,4,6 /proc/18766/task/18769/stat : 18769 (toysat) S 18763 18766 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25399955 2269712384 495652 33554432000 4194304 16246674 140733773299120 140486801083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 2216516 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 18766 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.23 CPU system time (s): 0.869867 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 2216516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.23 system time used= 0.869867 maximum resident set size= 1982608 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 527222 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= 891 involuntary context switches= 2331 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.55031 second user time and 6.97494 second system time The end
Begin job on node127 at 2016-06-18 09:05:33 IDJOB=4103181 IDBENCH=2291 IDSOLVER=2542 FILE ID=node127/4103181-1466233533 RUNJOBID= node127-1466206072-14538 PBS_JOBID= 19918150 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103181-1466233533/watcher-4103181-1466233533 -o /tmp/evaluation-result-4103181-1466233533/solver-4103181-1466233533 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103181-1466233533.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3aa00837dd74901ce1879f04fea91920 RANDOM SEED=1404651122 node127.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.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 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.769 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.769 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.56 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.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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.769 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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: 19049484 kB Buffers: 42500 kB Cached: 94128 kB SwapCached: 344 kB Active: 11697016 kB Inactive: 64532 kB Active(anon): 11623468 kB Inactive(anon): 3560 kB Active(file): 73548 kB Inactive(file): 60972 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100260 kB Dirty: 16328 kB Writeback: 0 kB AnonPages: 13036052 kB Mapped: 10720 kB Shmem: 0 kB Slab: 600772 kB SReclaimable: 44888 kB SUnreclaim: 555884 kB KernelStack: 1520 kB PageTables: 28984 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 13075824 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node127 at 2016-06-18 09:35:34