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.02 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir08_trarea_ac.opb |
| MD5SUM | 874e364e560c0a35495d4a91ff55ac6f |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1772 |
| Best CPU time to get the best result obtained on this benchmark | 1800.06 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1769 |
| Optimality of the best value was proved | YES |
| Number of variables | 24250 |
| Total number of constraints | 51198 |
| Number of constraints which are clauses | 51198 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 423 |
| Number of terms in the objective function | 12053 |
| Biggest coefficient in the objective function | 56 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 530576 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 56 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 530576 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T15:48:38+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-4105921-1466257718.opb"] 0.00/0.01 c use --random-gen="3839692645 304930214 4265427343 4179372744 3165051631 2065705656 813128409 2385915404 73492036 2104756997 2182803268 497600031 2345088532 2211988408 2528984846 2800596976 3475179469 2593130560 2770108929 1807269145 3800913928 639139899 2981938208 1992327259 1789129301 3864443288 3668473108 4276563685 4243885266 978178466 4066167915 489337069 3725022710 818259550 882539916 3682468220 2411736907 2220802928 1444929852 2490274724 4046109296 1477122886 3836896842 3937566145 440086069 1318725357 4019776772 290989129 3507976702 2664146500 2326235396 1403700265 2005738148 2289354844 991260652 3588622876 1199551308 2688425930 4232338277 1617448260 1218561103 4073971859 3263588033 1049215002 3005748769 579559807 4073249184 3831927329 3010002110 830355397 3418190031 3339577535 1160503443 187238118 1498507528 4110766702 143176072 2992388647 780346629 2054734305 3442888131 3346078111 3397756316 1671598296 416883471 1272869210 2849854071 3092841339 3936710044 2215684838 265154279 101881247 3255108352 2274751027 1274051837 291455298 2547482865 3675928551 22988865 266348068 747188525 2787166514 1431614181 26370893 1965749044 2902507187 2541448506 995166323 939330431 1336965038 3236153924 3050699093 105799702 1877779025 1275656453 1773687972 432333041 3065332940 3981823557 179679284 4156259206 2081632643 3660949602 807167237 2895047951 3080411072 79834422 1613771225 2399554037 2169319577 4077061116 4274482579 3405734345 2478124424 2450747126 4046896147 1185916282 1204495597 2327647140 3347927776 411897074 161180237 3258589588 210982642 436279311 64585866 2920495117 1077500388 2223226740 1704091703 1271586922 2591429411 410479564 3516646218 2006361217 1607975797 57034150 895100559 1350393462 1960556053 1725984185 2075182998 2846907084 306447761 1563014138 1733002667 2431241020 4078316504 3889034944 808993511 1766424433 4183967918 3164905582 270397187 4246711545 901980164 2722360928 2032107663 1663137293 2232124711 1149431317 1291844281 1002791062 3936481522 2942088561 2337757515 2791302186 947511573 2894825265 3378316649 2440722554 1822267782 2525370554 2232727169 1232103310 1085512946 3035843537 2043687880 4082546583 1741185381 296803083 834659747 2856034549 1936653658 1824019163 1339700251 3326560539 2693600006 3701791362 2976017788 1722358799 3860004121 3748085931 3808371211 2058415823 4073280307 3009828105 2028086831 2577897323 1848407950 2232598392 443066506 2705156192 2157286476 2593821738 1953737076 2225161926 1137726498 950684620 2165355498 1815551741 1246138744 2799640408 2265700223 748819035 385109812 1768088222 1981880903 1207994360 3021333655 606634868 1805313076 3567728518 124698487 796541123 1963057749 1624582680 619257899 1414972635 2067315669 4152578257 2604743402 1496279356 3985886903 49875614 1413765186 255 362436" option to reproduce the execution 0.29/0.36 c #vars 24250 0.29/0.36 c #constraints 51198 0.99/1.00 c BCD2: Hardening is enabled. 0.99/1.00 c BCD2: BiasedSearch is enabled. 0.99/1.00 c Solving starts ... 0.99/1.00 c ============================[ Search Statistics ]============================ 0.99/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.00 c | | | | Limit GC | Var | Constra 0.99/1.00 c ============================================================================= 0.99/1.01 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 0 1.19/1.23 c 0.2s | 0 | 12482 | 0 | 25148 0 | 3 | 0 1.19/1.23 c #cpu_time = 0.216s 1.19/1.23 c #wall_clock_time = 0.216s 1.19/1.23 c #decision = 12482 1.19/1.23 c #random_decision = 44 1.19/1.23 c #conflict = 0 1.19/1.23 c #restart = 0 1.19/1.23 o 530576 1.29/1.39 c BCD2: refineUB: 530575 -> 530551 1.29/1.39 c BCD2: updating upper bound: 530576 -> 530551 1.39/1.42 c BCD2: 0 <= obj <= 530551 1.39/1.42 c BCD2: #cores=0, #unrelaxed=12053, #relaxed=0, #hardened=0 1.39/1.42 c BCD2: #sat=1 #unsat=1 bias=1/2 1.39/1.42 c Solving starts ... 1.39/1.42 c ============================[ Search Statistics ]============================ 1.39/1.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.42 c | | | | Limit GC | Var | Constra 1.39/1.42 c ============================================================================= 1.39/1.42 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 0 1.39/1.44 c 0.0s | 0 | 1 | 0 | 25148 0 | 3 | 0 1.39/1.44 c #cpu_time = 0.019s 1.39/1.44 c #wall_clock_time = 0.019s 1.39/1.44 c #decision = 1 1.39/1.44 c #random_decision = 0 1.39/1.44 c #conflict = 0 1.39/1.44 c #restart = 0 1.39/1.44 c BCD2: found a new core of size 2: cost of the new core is >=34 1.39/1.44 c lower bound updated to 34 1.39/1.49 c BCD2: refineUB: 530575 -> 530551 1.39/1.49 c BCD2: 34 <= obj <= 530551 1.39/1.49 c BCD2: #cores=1, #unrelaxed=12051, #relaxed=2, #hardened=0 1.39/1.49 c BCD2: #sat=1 #unsat=2 bias=2/3 1.39/1.49 c Solving starts ... 1.39/1.49 c ============================[ Search Statistics ]============================ 1.39/1.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.49 c | | | | Limit GC | Var | Constra 1.39/1.49 c ============================================================================= 1.39/1.49 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 1 1.49/1.51 c 0.0s | 0 | 1 | 0 | 25148 0 | 3 | 1 1.49/1.51 c #cpu_time = 0.017s 1.49/1.51 c #wall_clock_time = 0.017s 1.49/1.51 c #decision = 1 1.49/1.51 c #random_decision = 0 1.49/1.51 c #conflict = 0 1.49/1.51 c #restart = 0 1.49/1.51 c BCD2: found a new core of size 1: cost of the new core is >=33 1.49/1.51 c lower bound updated to 67 1.49/1.55 c BCD2: refineUB: 530575 -> 530551 1.49/1.55 c BCD2: 67 <= obj <= 530551 1.49/1.55 c BCD2: #cores=2, #unrelaxed=12050, #relaxed=3, #hardened=0 1.49/1.55 c BCD2: #sat=1 #unsat=3 bias=3/4 1.49/1.55 c Solving starts ... 1.49/1.55 c ============================[ Search Statistics ]============================ 1.49/1.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.55 c | | | | Limit GC | Var | Constra 1.49/1.55 c ============================================================================= 1.49/1.55 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 1 1.49/1.57 c 0.0s | 0 | 10 | 0 | 25148 0 | 3 | 1 1.49/1.57 c #cpu_time = 0.017s 1.49/1.57 c #wall_clock_time = 0.017s 1.49/1.57 c #decision = 10 1.49/1.57 c #random_decision = 0 1.49/1.57 c #conflict = 0 1.49/1.57 c #restart = 0 1.49/1.57 c BCD2: found a new core of size 7: cost of the new core is >=32 1.49/1.57 c lower bound updated to 99 1.59/1.61 c BCD2: refineUB: 530575 -> 530551 1.59/1.61 c BCD2: 99 <= obj <= 530551 1.59/1.61 c BCD2: #cores=3, #unrelaxed=12043, #relaxed=10, #hardened=0 1.59/1.61 c BCD2: #sat=1 #unsat=4 bias=4/5 1.59/1.62 c Solving starts ... 1.59/1.62 c ============================[ Search Statistics ]============================ 1.59/1.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.62 c | | | | Limit GC | Var | Constra 1.59/1.62 c ============================================================================= 1.59/1.62 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 1 1.59/1.63 c 0.0s | 0 | 12 | 0 | 25148 0 | 3 | 1 1.59/1.63 c #cpu_time = 0.017s 1.59/1.63 c #wall_clock_time = 0.017s 1.59/1.63 c #decision = 12 1.59/1.63 c #random_decision = 0 1.59/1.63 c #conflict = 0 1.59/1.63 c #restart = 0 1.59/1.63 c BCD2: found a new core of size 1: cost of the new core is >=39 1.59/1.63 c lower bound updated to 138 1.59/1.68 c BCD2: refineUB: 530575 -> 530551 1.59/1.68 c BCD2: 138 <= obj <= 530551 1.59/1.68 c BCD2: #cores=4, #unrelaxed=12042, #relaxed=11, #hardened=0 1.59/1.68 c BCD2: #sat=1 #unsat=5 bias=5/6 1.59/1.68 c Solving starts ... 1.59/1.68 c ============================[ Search Statistics ]============================ 1.59/1.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.68 c | | | | Limit GC | Var | Constra 1.59/1.68 c ============================================================================= 1.59/1.68 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 1 1.69/1.70 c 0.0s | 0 | 19 | 0 | 25148 0 | 3 | 1 1.69/1.70 c #cpu_time = 0.021s 1.69/1.70 c #wall_clock_time = 0.021s 1.69/1.70 c #decision = 19 1.69/1.70 c #random_decision = 0 1.69/1.70 c #conflict = 0 1.69/1.70 c #restart = 0 1.69/1.70 c BCD2: found a new core of size 2: cost of the new core is >=32 1.69/1.70 c lower bound updated to 170 1.69/1.74 c BCD2: refineUB: 530575 -> 530551 1.69/1.74 c BCD2: 170 <= obj <= 530551 1.69/1.74 c BCD2: #cores=5, #unrelaxed=12040, #relaxed=13, #hardened=0 1.69/1.74 c BCD2: #sat=1 #unsat=6 bias=6/7 1.69/1.74 c Solving starts ... 1.69/1.74 c ============================[ Search Statistics ]============================ 1.69/1.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.74 c | | | | Limit GC | Var | Constra 1.69/1.74 c ============================================================================= 1.69/1.74 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 1 1.69/1.76 c 0.0s | 0 | 24 | 0 | 25148 0 | 3 | 1 1.69/1.76 c #cpu_time = 0.018s 1.69/1.76 c #wall_clock_time = 0.018s 1.69/1.76 c #decision = 24 1.69/1.76 c #random_decision = 0 1.69/1.76 c #conflict = 0 1.69/1.76 c #restart = 0 1.69/1.76 c BCD2: found a new core of size 5: cost of the new core is >=34 1.69/1.76 c lower bound updated to 204 1.79/1.80 c BCD2: refineUB: 530575 -> 530551 1.79/1.81 c BCD2: 204 <= obj <= 530551 1.79/1.81 c BCD2: #cores=6, #unrelaxed=12035, #relaxed=18, #hardened=0 1.79/1.81 c BCD2: #sat=1 #unsat=7 bias=7/8 1.79/1.81 c Solving starts ... 1.79/1.81 c ============================[ Search Statistics ]============================ 1.79/1.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.81 c | | | | Limit GC | Var | Constra 1.79/1.81 c ============================================================================= 1.79/1.81 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 1 1.79/1.83 c 0.0s | 0 | 35 | 0 | 25148 0 | 3 | 1 1.79/1.83 c #cpu_time = 0.017s 1.79/1.83 c #wall_clock_time = 0.017s 1.79/1.83 c #decision = 35 1.79/1.83 c #random_decision = 0 1.79/1.83 c #conflict = 0 1.79/1.83 c #restart = 0 1.79/1.83 c BCD2: found a new core of size 1: cost of the new core is >=31 1.79/1.83 c lower bound updated to 235 1.79/1.87 c BCD2: refineUB: 530575 -> 530551 1.79/1.87 c BCD2: 235 <= obj <= 530551 1.79/1.87 c BCD2: #cores=7, #unrelaxed=12034, #relaxed=19, #hardened=0 1.79/1.87 c BCD2: #sat=1 #unsat=8 bias=8/9 1.79/1.87 c Solving starts ... 1.79/1.87 c ============================[ Search Statistics ]============================ 1.79/1.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.87 c | | | | Limit GC | Var | Constra 1.79/1.87 c ============================================================================= 1.79/1.87 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 1 1.79/1.89 c 0.0s | 0 | 40 | 0 | 25148 0 | 3 | 1 1.79/1.89 c #cpu_time = 0.020s 1.79/1.89 c #wall_clock_time = 0.020s 1.79/1.89 c #decision = 40 1.79/1.89 c #random_decision = 0 1.79/1.89 c #conflict = 0 1.79/1.89 c #restart = 0 1.79/1.89 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 7: cost of the new core is >=64 1.79/1.89 c BCD2: refineLB: 63 -> 64 1.79/1.89 c lower bound updated to 267 1.89/1.93 c BCD2: refineUB: 530575 -> 530551 1.89/1.94 c BCD2: 267 <= obj <= 530551 1.89/1.94 c BCD2: #cores=7, #unrelaxed=12029, #relaxed=24, #hardened=0 1.89/1.94 c BCD2: #sat=1 #unsat=9 bias=9/10 1.89/1.94 c Solving starts ... 1.89/1.94 c ============================[ Search Statistics ]============================ 1.89/1.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.94 c | | | | Limit GC | Var | Constra 1.89/1.94 c ============================================================================= 1.89/1.94 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 1 1.89/1.95 c 0.0s | 0 | 41 | 0 | 25148 0 | 5 | 4 1.89/1.95 c #cpu_time = 0.016s 1.89/1.95 c #wall_clock_time = 0.016s 1.89/1.95 c #decision = 41 1.89/1.95 c #random_decision = 0 1.89/1.95 c #conflict = 0 1.89/1.95 c #restart = 0 1.89/1.95 c BCD2: found a new core of size 3: cost of the new core is >=33 1.89/1.95 c lower bound updated to 300 1.99/2.00 c BCD2: refineUB: 530575 -> 530551 1.99/2.00 c BCD2: 300 <= obj <= 530551 1.99/2.00 c BCD2: #cores=8, #unrelaxed=12026, #relaxed=27, #hardened=0 1.99/2.00 c BCD2: #sat=1 #unsat=10 bias=10/11 1.99/2.00 c Solving starts ... 1.99/2.00 c ============================[ Search Statistics ]============================ 1.99/2.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.00 c | | | | Limit GC | Var | Constra 1.99/2.00 c ============================================================================= 1.99/2.00 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 1.99/2.02 c 0.0s | 0 | 61 | 0 | 25148 0 | 5 | 4 1.99/2.02 c #cpu_time = 0.018s 1.99/2.02 c #wall_clock_time = 0.018s 1.99/2.02 c #decision = 61 1.99/2.02 c #random_decision = 0 1.99/2.02 c #conflict = 0 1.99/2.02 c #restart = 0 1.99/2.02 c BCD2: found a new core of size 23: cost of the new core is >=34 1.99/2.02 c lower bound updated to 334 1.99/2.06 c BCD2: refineUB: 530575 -> 530551 1.99/2.06 c BCD2: 334 <= obj <= 530551 1.99/2.06 c BCD2: #cores=9, #unrelaxed=12003, #relaxed=50, #hardened=0 1.99/2.06 c BCD2: #sat=1 #unsat=11 bias=11/12 1.99/2.06 c Solving starts ... 1.99/2.06 c ============================[ Search Statistics ]============================ 1.99/2.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.06 c | | | | Limit GC | Var | Constra 1.99/2.06 c ============================================================================= 1.99/2.06 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 1.99/2.09 c 0.0s | 0 | 91 | 0 | 25148 0 | 5 | 4 1.99/2.09 c #cpu_time = 0.021s 1.99/2.09 c #wall_clock_time = 0.021s 1.99/2.09 c #decision = 91 1.99/2.09 c #random_decision = 0 1.99/2.09 c #conflict = 0 1.99/2.09 c #restart = 0 1.99/2.09 c BCD2: found a new core of size 42: cost of the new core is >=33 1.99/2.09 c lower bound updated to 367 2.09/2.13 c BCD2: refineUB: 530575 -> 530551 2.09/2.13 c BCD2: 367 <= obj <= 530551 2.09/2.13 c BCD2: #cores=10, #unrelaxed=11961, #relaxed=92, #hardened=0 2.09/2.13 c BCD2: #sat=1 #unsat=12 bias=12/13 2.09/2.13 c Solving starts ... 2.09/2.13 c ============================[ Search Statistics ]============================ 2.09/2.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.13 c | | | | Limit GC | Var | Constra 2.09/2.13 c ============================================================================= 2.09/2.13 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 2.09/2.15 c 0.0s | 0 | 93 | 0 | 25148 0 | 5 | 4 2.09/2.15 c #cpu_time = 0.020s 2.09/2.15 c #wall_clock_time = 0.020s 2.09/2.15 c #decision = 93 2.09/2.15 c #random_decision = 0 2.09/2.15 c #conflict = 0 2.09/2.15 c #restart = 0 2.09/2.15 c BCD2: found a new core of size 3: cost of the new core is >=31 2.09/2.15 c lower bound updated to 398 2.09/2.19 c BCD2: refineUB: 530575 -> 530551 2.09/2.19 c BCD2: 398 <= obj <= 530551 2.09/2.19 c BCD2: #cores=11, #unrelaxed=11958, #relaxed=95, #hardened=0 2.09/2.19 c BCD2: #sat=1 #unsat=13 bias=13/14 2.09/2.19 c Solving starts ... 2.09/2.19 c ============================[ Search Statistics ]============================ 2.09/2.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.19 c | | | | Limit GC | Var | Constra 2.09/2.19 c ============================================================================= 2.09/2.20 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 2.20/2.21 c 0.0s | 0 | 111 | 0 | 25148 0 | 5 | 4 2.20/2.21 c #cpu_time = 0.017s 2.20/2.21 c #wall_clock_time = 0.017s 2.20/2.21 c #decision = 111 2.20/2.21 c #random_decision = 0 2.20/2.21 c #conflict = 0 2.20/2.21 c #restart = 0 2.20/2.21 c BCD2: found a new core of size 24: cost of the new core is >=32 2.20/2.21 c lower bound updated to 430 2.20/2.26 c BCD2: refineUB: 530575 -> 530551 2.20/2.26 c BCD2: 430 <= obj <= 530551 2.20/2.26 c BCD2: #cores=12, #unrelaxed=11934, #relaxed=119, #hardened=0 2.20/2.26 c BCD2: #sat=1 #unsat=14 bias=14/15 2.20/2.26 c Solving starts ... 2.20/2.26 c ============================[ Search Statistics ]============================ 2.20/2.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.20/2.26 c | | | | Limit GC | Var | Constra 2.20/2.26 c ============================================================================= 2.20/2.26 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 2.20/2.28 c 0.0s | 0 | 120 | 0 | 25148 0 | 5 | 4 2.20/2.28 c #cpu_time = 0.020s 2.20/2.28 c #wall_clock_time = 0.020s 2.20/2.28 c #decision = 120 2.20/2.28 c #random_decision = 0 2.20/2.28 c #conflict = 0 2.20/2.28 c #restart = 0 2.20/2.28 c BCD2: found a new core of size 15: cost of the new core is >=33 2.20/2.28 c lower bound updated to 463 2.30/2.32 c BCD2: refineUB: 530575 -> 530551 2.30/2.32 c BCD2: 463 <= obj <= 530551 2.30/2.32 c BCD2: #cores=13, #unrelaxed=11919, #relaxed=134, #hardened=0 2.30/2.32 c BCD2: #sat=1 #unsat=15 bias=15/16 2.30/2.33 c Solving starts ... 2.30/2.33 c ============================[ Search Statistics ]============================ 2.30/2.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.30/2.33 c | | | | Limit GC | Var | Constra 2.30/2.33 c ============================================================================= 2.30/2.33 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 2.30/2.34 c 0.0s | 0 | 205 | 0 | 25148 0 | 5 | 4 2.30/2.34 c #cpu_time = 0.017s 2.30/2.34 c #wall_clock_time = 0.017s 2.30/2.34 c #decision = 205 2.30/2.34 c #random_decision = 0 2.30/2.34 c #conflict = 0 2.30/2.34 c #restart = 0 2.30/2.34 c BCD2: found a new core of size 3: cost of the new core is >=41 2.30/2.34 c lower bound updated to 504 2.30/2.39 c BCD2: refineUB: 530575 -> 530551 2.30/2.39 c BCD2: 504 <= obj <= 530551 2.30/2.39 c BCD2: #cores=14, #unrelaxed=11916, #relaxed=137, #hardened=0 2.30/2.39 c BCD2: #sat=1 #unsat=16 bias=16/17 2.30/2.39 c Solving starts ... 2.30/2.39 c ============================[ Search Statistics ]============================ 2.30/2.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.30/2.39 c | | | | Limit GC | Var | Constra 2.30/2.39 c ============================================================================= 2.30/2.39 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 2.39/2.41 c 0.0s | 0 | 326 | 0 | 25148 0 | 5 | 4 2.39/2.41 c #cpu_time = 0.020s 2.39/2.41 c #wall_clock_time = 0.020s 2.39/2.41 c #decision = 326 2.39/2.41 c #random_decision = 0 2.39/2.41 c #conflict = 0 2.39/2.41 c #restart = 0 2.39/2.41 c BCD2: found a new core of size 3: cost of the new core is >=33 2.39/2.41 c lower bound updated to 537 2.39/2.46 c BCD2: refineUB: 530575 -> 530551 2.39/2.46 c BCD2: 537 <= obj <= 530551 2.39/2.46 c BCD2: #cores=15, #unrelaxed=11913, #relaxed=140, #hardened=0 2.39/2.46 c BCD2: #sat=1 #unsat=17 bias=17/18 2.39/2.46 c Solving starts ... 2.39/2.46 c ============================[ Search Statistics ]============================ 2.39/2.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.39/2.46 c | | | | Limit GC | Var | Constra 2.39/2.46 c ============================================================================= 2.39/2.46 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 2.39/2.48 c 0.0s | 0 | 359 | 0 | 25148 0 | 5 | 4 2.39/2.48 c #cpu_time = 0.023s 2.39/2.48 c #wall_clock_time = 0.023s 2.39/2.48 c #decision = 359 2.39/2.48 c #random_decision = 0 2.39/2.48 c #conflict = 0 2.39/2.48 c #restart = 0 2.39/2.48 c BCD2: found a new core of size 9: cost of the new core is >=30 2.39/2.48 c lower bound updated to 567 2.49/2.52 c BCD2: refineUB: 530575 -> 530551 2.49/2.53 c BCD2: 567 <= obj <= 530551 2.49/2.53 c BCD2: #cores=16, #unrelaxed=11904, #relaxed=149, #hardened=0 2.49/2.53 c BCD2: #sat=1 #unsat=18 bias=18/19 2.49/2.53 c Solving starts ... 2.49/2.53 c ============================[ Search Statistics ]============================ 2.49/2.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.49/2.53 c | | | | Limit GC | Var | Constra 2.49/2.53 c ============================================================================= 2.49/2.53 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 2.49/2.55 c 0.0s | 0 | 397 | 0 | 25148 0 | 5 | 4 2.49/2.55 c #cpu_time = 0.019s 2.49/2.55 c #wall_clock_time = 0.019s 2.49/2.55 c #decision = 397 2.49/2.55 c #random_decision = 0 2.49/2.55 c #conflict = 0 2.49/2.55 c #restart = 0 2.49/2.55 c BCD2: found a new core of size 97: cost of the new core is >=31 2.49/2.55 c lower bound updated to 598 2.49/2.59 c BCD2: refineUB: 530575 -> 530551 2.49/2.59 c BCD2: 598 <= obj <= 530551 2.49/2.59 c BCD2: #cores=17, #unrelaxed=11807, #relaxed=246, #hardened=0 2.49/2.59 c BCD2: #sat=1 #unsat=19 bias=19/20 2.49/2.59 c Solving starts ... 2.49/2.59 c ============================[ Search Statistics ]============================ 2.49/2.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.49/2.59 c | | | | Limit GC | Var | Constra 2.49/2.59 c ============================================================================= 2.49/2.59 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 2.59/2.61 c 0.0s | 0 | 564 | 0 | 25148 0 | 5 | 4 2.59/2.61 c #cpu_time = 0.018s 2.59/2.61 c #wall_clock_time = 0.018s 2.59/2.61 c #decision = 564 2.59/2.61 c #random_decision = 0 2.59/2.61 c #conflict = 0 2.59/2.61 c #restart = 0 2.59/2.61 c BCD2: found a new core of size 21: cost of the new core is >=32 2.59/2.61 c lower bound updated to 630 2.59/2.66 c BCD2: refineUB: 530575 -> 530551 2.59/2.66 c BCD2: 630 <= obj <= 530551 2.59/2.66 c BCD2: #cores=18, #unrelaxed=11786, #relaxed=267, #hardened=0 2.59/2.66 c BCD2: #sat=1 #unsat=20 bias=20/21 2.59/2.66 c Solving starts ... 2.59/2.66 c ============================[ Search Statistics ]============================ 2.59/2.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.59/2.66 c | | | | Limit GC | Var | Constra 2.59/2.66 c ============================================================================= 2.59/2.66 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 2.59/2.68 c 0.0s | 0 | 599 | 0 | 25148 0 | 5 | 4 2.59/2.68 c #cpu_time = 0.021s 2.59/2.68 c #wall_clock_time = 0.021s 2.59/2.68 c #decision = 599 2.59/2.68 c #random_decision = 0 2.59/2.68 c #conflict = 0 2.59/2.68 c #restart = 0 2.59/2.68 c BCD2: found a new core of size 164: cost of the new core is >=33 2.59/2.68 c lower bound updated to 663 2.69/2.72 c BCD2: refineUB: 530575 -> 530551 2.69/2.73 c BCD2: 663 <= obj <= 530551 2.69/2.73 c BCD2: #cores=19, #unrelaxed=11622, #relaxed=431, #hardened=0 2.69/2.73 c BCD2: #sat=1 #unsat=21 bias=21/22 2.69/2.73 c Solving starts ... 2.69/2.73 c ============================[ Search Statistics ]============================ 2.69/2.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.69/2.73 c | | | | Limit GC | Var | Constra 2.69/2.73 c ============================================================================= 2.69/2.73 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 2.69/2.75 c 0.0s | 0 | 467 | 0 | 25148 0 | 5 | 4 2.69/2.75 c #cpu_time = 0.017s 2.69/2.75 c #wall_clock_time = 0.017s 2.69/2.75 c #decision = 467 2.69/2.75 c #random_decision = 0 2.69/2.75 c #conflict = 0 2.69/2.75 c #restart = 0 2.69/2.75 c BCD2: found a new core of size 15: cost of the new core is >=34 2.69/2.75 c lower bound updated to 697 2.69/2.79 c BCD2: refineUB: 530575 -> 530551 2.69/2.79 c BCD2: 697 <= obj <= 530551 2.69/2.79 c BCD2: #cores=20, #unrelaxed=11607, #relaxed=446, #hardened=0 2.69/2.79 c BCD2: #sat=1 #unsat=22 bias=22/23 2.69/2.79 c Solving starts ... 2.69/2.79 c ============================[ Search Statistics ]============================ 2.69/2.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.69/2.79 c | | | | Limit GC | Var | Constra 2.69/2.79 c ============================================================================= 2.69/2.79 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 2.79/2.81 c 0.0s | 0 | 503 | 0 | 25148 0 | 5 | 4 2.79/2.81 c #cpu_time = 0.019s 2.79/2.81 c #wall_clock_time = 0.019s 2.79/2.81 c #decision = 503 2.79/2.81 c #random_decision = 0 2.79/2.81 c #conflict = 0 2.79/2.81 c #restart = 0 2.79/2.81 c BCD2: found a new core of size 19: cost of the new core is >=35 2.79/2.81 c lower bound updated to 732 2.79/2.86 c BCD2: refineUB: 530575 -> 530551 2.79/2.86 c BCD2: 732 <= obj <= 530551 2.79/2.86 c BCD2: #cores=21, #unrelaxed=11588, #relaxed=465, #hardened=0 2.79/2.86 c BCD2: #sat=1 #unsat=23 bias=23/24 2.79/2.86 c Solving starts ... 2.79/2.86 c ============================[ Search Statistics ]============================ 2.79/2.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.79/2.86 c | | | | Limit GC | Var | Constra 2.79/2.86 c ============================================================================= 2.79/2.86 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 2.79/2.89 c 0.0s | 0 | 764 | 0 | 25148 0 | 5 | 4 2.79/2.89 c #cpu_time = 0.025s 2.79/2.89 c #wall_clock_time = 0.025s 2.79/2.89 c #decision = 764 2.79/2.89 c #random_decision = 0 2.79/2.89 c #conflict = 0 2.79/2.89 c #restart = 0 2.79/2.89 c BCD2: found a new core of size 3: cost of the new core is >=33 2.79/2.89 c lower bound updated to 765 2.89/2.93 c BCD2: refineUB: 530575 -> 530551 2.89/2.93 c BCD2: 765 <= obj <= 530551 2.89/2.93 c BCD2: #cores=22, #unrelaxed=11585, #relaxed=468, #hardened=0 2.89/2.93 c BCD2: #sat=1 #unsat=24 bias=24/25 2.89/2.93 c Solving starts ... 2.89/2.93 c ============================[ Search Statistics ]============================ 2.89/2.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.89/2.93 c | | | | Limit GC | Var | Constra 2.89/2.93 c ============================================================================= 2.89/2.93 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 2.89/2.95 c 0.0s | 0 | 858 | 0 | 25148 0 | 5 | 4 2.89/2.95 c #cpu_time = 0.021s 2.89/2.95 c #wall_clock_time = 0.021s 2.89/2.95 c #decision = 858 2.89/2.95 c #random_decision = 0 2.89/2.95 c #conflict = 0 2.89/2.95 c #restart = 0 2.89/2.95 c BCD2: found a new core of size 50: cost of the new core is >=29 2.89/2.95 c lower bound updated to 794 2.99/3.00 c BCD2: refineUB: 530575 -> 530551 2.99/3.00 c BCD2: 794 <= obj <= 530551 2.99/3.00 c BCD2: #cores=23, #unrelaxed=11535, #relaxed=518, #hardened=0 2.99/3.00 c BCD2: #sat=1 #unsat=25 bias=25/26 2.99/3.00 c Solving starts ... 2.99/3.00 c ============================[ Search Statistics ]============================ 2.99/3.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.00 c | | | | Limit GC | Var | Constra 2.99/3.00 c ============================================================================= 2.99/3.00 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 2.99/3.03 c 0.0s | 0 | 1254 | 0 | 25148 0 | 5 | 4 2.99/3.03 c #cpu_time = 0.020s 2.99/3.03 c #wall_clock_time = 0.020s 2.99/3.03 c #decision = 1254 2.99/3.03 c #random_decision = 0 2.99/3.03 c #conflict = 0 2.99/3.03 c #restart = 0 2.99/3.03 c BCD2: found a new core of size 3: cost of the new core is >=43 2.99/3.03 c lower bound updated to 837 2.99/3.07 c BCD2: refineUB: 530575 -> 530551 2.99/3.07 c BCD2: 837 <= obj <= 530551 2.99/3.07 c BCD2: #cores=24, #unrelaxed=11532, #relaxed=521, #hardened=0 2.99/3.07 c BCD2: #sat=1 #unsat=26 bias=26/27 2.99/3.07 c Solving starts ... 2.99/3.07 c ============================[ Search Statistics ]============================ 2.99/3.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.07 c | | | | Limit GC | Var | Constra 2.99/3.07 c ============================================================================= 2.99/3.07 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 3.09/3.10 c 0.0s | 0 | 1399 | 0 | 25148 0 | 5 | 4 3.09/3.10 c #cpu_time = 0.026s 3.09/3.10 c #wall_clock_time = 0.026s 3.09/3.10 c #decision = 1399 3.09/3.10 c #random_decision = 0 3.09/3.10 c #conflict = 0 3.09/3.10 c #restart = 0 3.09/3.10 c BCD2: found a new core of size 17: cost of the new core is >=29 3.09/3.10 c lower bound updated to 866 3.09/3.14 c BCD2: refineUB: 530575 -> 530551 3.19/3.21 c BCD2: 866 <= obj <= 530551 3.19/3.21 c BCD2: #cores=25, #unrelaxed=11515, #relaxed=538, #hardened=0 3.19/3.21 c BCD2: #sat=1 #unsat=27 bias=27/28 3.19/3.21 c Solving starts ... 3.19/3.21 c ============================[ Search Statistics ]============================ 3.19/3.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.19/3.21 c | | | | Limit GC | Var | Constra 3.19/3.21 c ============================================================================= 3.19/3.21 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 3.19/3.24 c 0.0s | 0 | 1434 | 0 | 25148 0 | 5 | 4 3.19/3.24 c #cpu_time = 0.029s 3.19/3.24 c #wall_clock_time = 0.029s 3.19/3.24 c #decision = 1434 3.19/3.24 c #random_decision = 0 3.19/3.24 c #conflict = 0 3.19/3.24 c #restart = 0 3.19/3.24 c BCD2: found a new core of size 9: cost of the new core is >=31 3.19/3.24 c lower bound updated to 897 3.19/3.29 c BCD2: refineUB: 530575 -> 530551 3.19/3.29 c BCD2: 897 <= obj <= 530551 3.19/3.29 c BCD2: #cores=26, #unrelaxed=11506, #relaxed=547, #hardened=0 3.19/3.29 c BCD2: #sat=1 #unsat=28 bias=28/29 3.19/3.29 c Solving starts ... 3.19/3.29 c ============================[ Search Statistics ]============================ 3.19/3.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.19/3.29 c | | | | Limit GC | Var | Constra 3.19/3.29 c ============================================================================= 3.19/3.29 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 3.30/3.32 c 0.0s | 0 | 1554 | 0 | 25148 0 | 5 | 4 3.30/3.32 c #cpu_time = 0.029s 3.30/3.32 c #wall_clock_time = 0.029s 3.30/3.32 c #decision = 1554 3.30/3.32 c #random_decision = 0 3.30/3.32 c #conflict = 0 3.30/3.32 c #restart = 0 3.30/3.32 c BCD2: found a new core of size 19: cost of the new core is >=37 3.30/3.32 c lower bound updated to 934 3.30/3.37 c BCD2: refineUB: 530575 -> 530551 3.30/3.37 c BCD2: 934 <= obj <= 530551 3.30/3.37 c BCD2: #cores=27, #unrelaxed=11487, #relaxed=566, #hardened=0 3.30/3.37 c BCD2: #sat=1 #unsat=29 bias=29/30 3.30/3.37 c Solving starts ... 3.30/3.37 c ============================[ Search Statistics ]============================ 3.30/3.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.30/3.37 c | | | | Limit GC | Var | Constra 3.30/3.37 c ============================================================================= 3.30/3.37 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 3.40/3.41 c 0.0s | 0 | 2780 | 0 | 25148 0 | 5 | 4 3.40/3.41 c #cpu_time = 0.038s 3.40/3.41 c #wall_clock_time = 0.038s 3.40/3.41 c #decision = 2780 3.40/3.41 c #random_decision = 0 3.40/3.41 c #conflict = 0 3.40/3.41 c #restart = 0 3.40/3.41 c BCD2: found a new core of size 9: cost of the new core is >=34 3.40/3.41 c lower bound updated to 968 3.40/3.45 c BCD2: refineUB: 530575 -> 530551 3.40/3.45 c BCD2: 968 <= obj <= 530551 3.40/3.45 c BCD2: #cores=28, #unrelaxed=11478, #relaxed=575, #hardened=0 3.40/3.45 c BCD2: #sat=1 #unsat=30 bias=30/31 3.40/3.46 c Solving starts ... 3.40/3.46 c ============================[ Search Statistics ]============================ 3.40/3.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.40/3.46 c | | | | Limit GC | Var | Constra 3.40/3.46 c ============================================================================= 3.40/3.46 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 3.40/3.49 c 0.0s | 0 | 2836 | 0 | 25148 0 | 5 | 4 3.40/3.49 c #cpu_time = 0.032s 3.40/3.49 c #wall_clock_time = 0.032s 3.40/3.49 c #decision = 2836 3.40/3.49 c #random_decision = 0 3.40/3.49 c #conflict = 0 3.40/3.49 c #restart = 0 3.40/3.49 c BCD2: found a new core of size 11: cost of the new core is >=35 3.40/3.49 c lower bound updated to 1003 3.49/3.54 c BCD2: refineUB: 530575 -> 530551 3.49/3.54 c BCD2: 1003 <= obj <= 530551 3.49/3.54 c BCD2: #cores=29, #unrelaxed=11467, #relaxed=586, #hardened=0 3.49/3.54 c BCD2: #sat=1 #unsat=31 bias=31/32 3.49/3.54 c Solving starts ... 3.49/3.54 c ============================[ Search Statistics ]============================ 3.49/3.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.49/3.54 c | | | | Limit GC | Var | Constra 3.49/3.54 c ============================================================================= 3.49/3.54 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 3.49/3.58 c 0.0s | 0 | 3112 | 0 | 25148 0 | 5 | 4 3.49/3.58 c #cpu_time = 0.033s 3.49/3.58 c #wall_clock_time = 0.033s 3.49/3.58 c #decision = 3112 3.49/3.58 c #random_decision = 0 3.49/3.58 c #conflict = 0 3.49/3.58 c #restart = 0 3.49/3.58 c BCD2: found a new core of size 89: cost of the new core is >=31 3.49/3.58 c lower bound updated to 1034 3.59/3.62 c BCD2: refineUB: 530575 -> 530551 3.59/3.62 c BCD2: 1034 <= obj <= 530551 3.59/3.62 c BCD2: #cores=30, #unrelaxed=11378, #relaxed=675, #hardened=0 3.59/3.62 c BCD2: #sat=1 #unsat=32 bias=32/33 3.59/3.63 c Solving starts ... 3.59/3.63 c ============================[ Search Statistics ]============================ 3.59/3.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.59/3.63 c | | | | Limit GC | Var | Constra 3.59/3.63 c ============================================================================= 3.59/3.63 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 3.59/3.67 c 0.0s | 0 | 4118 | 0 | 25148 0 | 5 | 4 3.59/3.67 c #cpu_time = 0.042s 3.59/3.67 c #wall_clock_time = 0.042s 3.59/3.67 c #decision = 4118 3.59/3.67 c #random_decision = 0 3.59/3.67 c #conflict = 0 3.59/3.67 c #restart = 0 3.59/3.67 c BCD2: found a new core of size 504: cost of the new core is >=28 3.59/3.67 c lower bound updated to 1062 3.69/3.71 c BCD2: refineUB: 530575 -> 530551 3.69/3.72 c BCD2: 1062 <= obj <= 530551 3.69/3.72 c BCD2: #cores=31, #unrelaxed=10874, #relaxed=1179, #hardened=0 3.69/3.72 c BCD2: #sat=1 #unsat=33 bias=33/34 3.69/3.73 c Solving starts ... 3.69/3.73 c ============================[ Search Statistics ]============================ 3.69/3.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.69/3.73 c | | | | Limit GC | Var | Constra 3.69/3.73 c ============================================================================= 3.69/3.73 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 3.69/3.77 c 0.0s | 0 | 4331 | 0 | 25148 0 | 5 | 4 3.69/3.77 c #cpu_time = 0.044s 3.69/3.77 c #wall_clock_time = 0.044s 3.69/3.77 c #decision = 4331 3.69/3.77 c #random_decision = 0 3.69/3.77 c #conflict = 0 3.69/3.77 c #restart = 0 3.69/3.77 c BCD2: found a new core of size 82: cost of the new core is >=30 3.69/3.77 c lower bound updated to 1092 3.79/3.81 c BCD2: refineUB: 530575 -> 530551 3.79/3.81 c BCD2: 1092 <= obj <= 530551 3.79/3.81 c BCD2: #cores=32, #unrelaxed=10792, #relaxed=1261, #hardened=0 3.79/3.81 c BCD2: #sat=1 #unsat=34 bias=34/35 3.79/3.82 c Solving starts ... 3.79/3.82 c ============================[ Search Statistics ]============================ 3.79/3.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.79/3.82 c | | | | Limit GC | Var | Constra 3.79/3.82 c ============================================================================= 3.79/3.82 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 3.79/3.88 c 0.1s | 0 | 6852 | 0 | 25148 0 | 5 | 4 3.79/3.88 c #cpu_time = 0.057s 3.79/3.88 c #wall_clock_time = 0.057s 3.79/3.88 c #decision = 6852 3.79/3.88 c #random_decision = 0 3.79/3.88 c #conflict = 0 3.79/3.88 c #restart = 0 3.79/3.89 c BCD2: found a new core of size 4044: cost of the new core is >=27 3.79/3.89 c lower bound updated to 1119 3.89/3.94 c BCD2: refineUB: 530575 -> 530551 3.89/3.94 c BCD2: 1119 <= obj <= 530551 3.89/3.94 c BCD2: #cores=33, #unrelaxed=6748, #relaxed=5305, #hardened=0 3.89/3.94 c BCD2: #sat=1 #unsat=35 bias=35/36 3.89/3.97 c Solving starts ... 3.89/3.97 c ============================[ Search Statistics ]============================ 3.89/3.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.97 c | | | | Limit GC | Var | Constra 3.89/3.97 c ============================================================================= 3.89/3.97 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 3.99/4.01 c 0.0s | 0 | 4488 | 0 | 25148 0 | 5 | 4 3.99/4.01 c #cpu_time = 0.043s 3.99/4.01 c #wall_clock_time = 0.043s 3.99/4.01 c #decision = 4488 3.99/4.01 c #random_decision = 0 3.99/4.01 c #conflict = 0 3.99/4.01 c #restart = 0 3.99/4.02 c BCD2: found a new core of size 486: cost of the new core is >=30 3.99/4.02 c lower bound updated to 1149 3.99/4.06 c BCD2: refineUB: 530575 -> 530551 3.99/4.06 c BCD2: 1149 <= obj <= 530551 3.99/4.06 c BCD2: #cores=34, #unrelaxed=6262, #relaxed=5791, #hardened=0 3.99/4.06 c BCD2: #sat=1 #unsat=36 bias=36/37 3.99/4.09 c Solving starts ... 3.99/4.09 c ============================[ Search Statistics ]============================ 3.99/4.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.99/4.09 c | | | | Limit GC | Var | Constra 3.99/4.09 c ============================================================================= 3.99/4.09 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 4.09/4.13 c 0.0s | 0 | 4079 | 0 | 25148 0 | 5 | 4 4.09/4.13 c #cpu_time = 0.034s 4.09/4.13 c #wall_clock_time = 0.034s 4.09/4.13 c #decision = 4079 4.09/4.13 c #random_decision = 0 4.09/4.13 c #conflict = 0 4.09/4.13 c #restart = 0 4.09/4.13 c BCD2: found a new core of size 7: cost of the new core is >=41 4.09/4.13 c lower bound updated to 1190 4.09/4.18 c BCD2: refineUB: 530575 -> 530551 4.09/4.18 c BCD2: 1190 <= obj <= 530551 4.09/4.18 c BCD2: #cores=35, #unrelaxed=6255, #relaxed=5798, #hardened=0 4.09/4.18 c BCD2: #sat=1 #unsat=37 bias=37/38 4.19/4.21 c Solving starts ... 4.19/4.21 c ============================[ Search Statistics ]============================ 4.19/4.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.19/4.21 c | | | | Limit GC | Var | Constra 4.19/4.21 c ============================================================================= 4.19/4.21 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 4.19/4.25 c 0.0s | 0 | 5031 | 0 | 25148 0 | 5 | 4 4.19/4.25 c #cpu_time = 0.045s 4.19/4.25 c #wall_clock_time = 0.045s 4.19/4.25 c #decision = 5031 4.19/4.25 c #random_decision = 0 4.19/4.25 c #conflict = 0 4.19/4.25 c #restart = 0 4.19/4.25 c BCD2: found a new core of size 9: cost of the new core is >=32 4.19/4.25 c lower bound updated to 1222 4.29/4.30 c BCD2: refineUB: 530575 -> 530551 4.29/4.30 c BCD2: 1222 <= obj <= 530551 4.29/4.30 c BCD2: #cores=36, #unrelaxed=6246, #relaxed=5807, #hardened=0 4.29/4.30 c BCD2: #sat=1 #unsat=38 bias=38/39 4.29/4.33 c Solving starts ... 4.29/4.33 c ============================[ Search Statistics ]============================ 4.29/4.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.29/4.33 c | | | | Limit GC | Var | Constra 4.29/4.33 c ============================================================================= 4.29/4.33 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 4.29/4.38 c 0.0s | 0 | 5056 | 0 | 25148 0 | 5 | 4 4.29/4.38 c #cpu_time = 0.045s 4.29/4.38 c #wall_clock_time = 0.045s 4.29/4.38 c #decision = 5056 4.29/4.38 c #random_decision = 0 4.29/4.38 c #conflict = 0 4.29/4.38 c #restart = 0 4.29/4.38 c BCD2: found a new core of size 39: cost of the new core is >=29 4.29/4.38 c lower bound updated to 1251 4.40/4.42 c BCD2: refineUB: 530575 -> 530551 4.40/4.42 c BCD2: 1251 <= obj <= 530551 4.40/4.42 c BCD2: #cores=37, #unrelaxed=6207, #relaxed=5846, #hardened=0 4.40/4.42 c BCD2: #sat=1 #unsat=39 bias=39/40 4.40/4.45 c Solving starts ... 4.40/4.45 c ============================[ Search Statistics ]============================ 4.40/4.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.40/4.45 c | | | | Limit GC | Var | Constra 4.40/4.45 c ============================================================================= 4.40/4.45 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 4.40/4.50 c 0.1s | 0 | 5283 | 0 | 25148 0 | 5 | 4 4.40/4.50 c #cpu_time = 0.051s 4.40/4.50 c #wall_clock_time = 0.051s 4.40/4.50 c #decision = 5283 4.40/4.50 c #random_decision = 0 4.40/4.50 c #conflict = 0 4.40/4.50 c #restart = 0 4.40/4.50 c BCD2: found a new core of size 7: cost of the new core is >=42 4.40/4.50 c lower bound updated to 1293 4.50/4.54 c BCD2: refineUB: 530575 -> 530551 4.50/4.54 c BCD2: 1293 <= obj <= 530551 4.50/4.54 c BCD2: #cores=38, #unrelaxed=6200, #relaxed=5853, #hardened=0 4.50/4.54 c BCD2: #sat=1 #unsat=40 bias=40/41 4.50/4.57 c Solving starts ... 4.50/4.57 c ============================[ Search Statistics ]============================ 4.50/4.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.50/4.57 c | | | | Limit GC | Var | Constra 4.50/4.57 c ============================================================================= 4.50/4.57 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 4.59/4.63 c 0.1s | 0 | 5346 | 0 | 25148 0 | 5 | 4 4.59/4.63 c #cpu_time = 0.052s 4.59/4.63 c #wall_clock_time = 0.052s 4.59/4.63 c #decision = 5346 4.59/4.63 c #random_decision = 0 4.59/4.63 c #conflict = 0 4.59/4.63 c #restart = 0 4.69/4.78 c BCD2: found a new core of size 39: cost of the new core is >=30 4.69/4.78 c lower bound updated to 1323 4.69/4.78 c BCD2: refineUB: 530575 -> 530551 4.69/4.78 c BCD2: 1323 <= obj <= 530551 4.69/4.78 c BCD2: #cores=39, #unrelaxed=6161, #relaxed=5892, #hardened=0 4.69/4.78 c BCD2: #sat=1 #unsat=41 bias=41/42 4.69/4.78 c Solving starts ... 4.69/4.78 c ============================[ Search Statistics ]============================ 4.69/4.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.69/4.78 c | | | | Limit GC | Var | Constra 4.69/4.78 c ============================================================================= 4.69/4.78 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 4.69/4.78 c 0.1s | 0 | 6193 | 0 | 25148 0 | 5 | 4 4.69/4.78 c #cpu_time = 0.059s 4.69/4.78 c #wall_clock_time = 0.059s 4.69/4.78 c #decision = 6193 4.69/4.78 c #random_decision = 0 4.69/4.78 c #conflict = 0 4.69/4.78 c #restart = 0 4.69/4.78 c BCD2: found a new core of size 537: cost of the new core is >=25 4.69/4.78 c lower bound updated to 1348 4.79/4.80 c BCD2: refineUB: 530575 -> 530551 4.79/4.81 c BCD2: 1348 <= obj <= 530551 4.79/4.81 c BCD2: #cores=40, #unrelaxed=5624, #relaxed=6429, #hardened=0 4.79/4.81 c BCD2: #sat=1 #unsat=42 bias=42/43 4.89/4.93 c Solving starts ... 4.89/4.93 c ============================[ Search Statistics ]============================ 4.89/4.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.89/4.93 c | | | | Limit GC | Var | Constra 4.89/4.93 c ============================================================================= 4.89/4.93 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 4.99/5.03 c 0.1s | 0 | 11520 | 0 | 25148 0 | 5 | 4 4.99/5.03 c #cpu_time = 0.081s 4.99/5.03 c #wall_clock_time = 0.081s 4.99/5.03 c #decision = 11520 4.99/5.03 c #random_decision = 8 4.99/5.03 c #conflict = 0 4.99/5.03 c #restart = 0 4.99/5.03 o 2702 4.99/5.05 c BCD2: updating upper bound: 530551 -> 2701 5.09/5.10 c BCD2: 1348 <= obj <= 2701 5.09/5.10 c BCD2: #cores=40, #unrelaxed=5624, #relaxed=6429, #hardened=0 5.09/5.10 c BCD2: #sat=2 #unsat=42 bias=42/44 5.09/5.15 c Solving starts ... 5.09/5.15 c ============================[ Search Statistics ]============================ 5.09/5.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.09/5.15 c | | | | Limit GC | Var | Constra 5.09/5.15 c ============================================================================= 5.09/5.15 c 0.0s | 0 | 0 | 0 | 25148 0 | 5 | 4 5.19/5.20 c 0.0s | 0 | 54 | 0 | 25148 0 | 5 | 4 5.19/5.20 c #cpu_time = 0.048s 5.19/5.20 c #wall_clock_time = 0.048s 5.19/5.20 c #decision = 54 5.19/5.20 c #random_decision = 0 5.19/5.20 c #conflict = 0 5.19/5.20 c #restart = 0 5.19/5.20 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=32 5.19/5.20 c lower bound updated to 1349 5.19/5.20 c BCD2: 1349 <= obj <= 2701 5.19/5.20 c BCD2: #cores=40, #unrelaxed=5623, #relaxed=6430, #hardened=0 5.19/5.20 c BCD2: #sat=2 #unsat=43 bias=43/45 5.19/5.20 c Solving starts ... 5.19/5.20 c ============================[ Search Statistics ]============================ 5.19/5.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.19/5.20 c | | | | Limit GC | Var | Constra 5.19/5.20 c ============================================================================= 5.19/5.20 c 0.0s | 0 | 0 | 0 | 25148 0 | 10 | 4 5.19/5.24 c 0.0s | 0 | 123 | 0 | 25148 0 | 10 | 13 5.19/5.24 c #cpu_time = 0.041s 5.19/5.24 c #wall_clock_time = 0.041s 5.19/5.24 c #decision = 123 5.19/5.24 c #random_decision = 0 5.19/5.24 c #conflict = 0 5.19/5.24 c #restart = 0 5.19/5.25 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 16: cost of the new core is >=35 5.19/5.25 c lower bound updated to 1350 5.19/5.25 c BCD2: 1350 <= obj <= 2701 5.19/5.25 c BCD2: #cores=40, #unrelaxed=5622, #relaxed=6431, #hardened=0 5.19/5.25 c BCD2: #sat=2 #unsat=44 bias=44/46 5.19/5.25 c Solving starts ... 5.19/5.25 c ============================[ Search Statistics ]============================ 5.19/5.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.19/5.25 c | | | | Limit GC | Var | Constra 5.19/5.25 c ============================================================================= 5.19/5.25 c 0.0s | 0 | 0 | 0 | 25148 0 | 24 | 13 5.29/5.39 c 0.1s | 0 | 23735 | 34 | 25148 0 | 24 | 40 5.29/5.39 c #cpu_time = 0.129s 5.29/5.39 c #wall_clock_time = 0.130s 5.29/5.39 c #decision = 23735 5.29/5.39 c #random_decision = 3 5.29/5.39 c #conflict = 34 5.29/5.39 c #restart = 0 5.29/5.39 c BCD2: relaxing 118 and merging with 8 cores into a new core of size 834: cost of the new core is >=248 5.29/5.39 c lower bound updated to 1351 5.39/5.40 c BCD2: 1351 <= obj <= 2701 5.39/5.40 c BCD2: #cores=33, #unrelaxed=5504, #relaxed=6549, #hardened=0 5.39/5.40 c BCD2: #sat=2 #unsat=45 bias=45/47 5.39/5.41 c Solving starts ... 5.39/5.41 c ============================[ Search Statistics ]============================ 5.39/5.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.39/5.41 c | | | | Limit GC | Var | Constra 5.39/5.41 c ============================================================================= 5.39/5.41 c 0.0s | 0 | 0 | 0 | 25148 0 | 95 | 40 5.89/5.96 c 0.6s | 1 | 11175 | 100 | 27663 0 | 95 | 174 6.70/6.78 c 1.4s | 2 | 26172 | 250 | 30430 0 | 95 | 174 7.99/8.06 c 2.7s | 3 | 40716 | 475 | 33473 0 | 95 | 174 9.49/9.57 c 4.2s | 4 | 52148 | 813 | 36821 0 | 95 | 174 11.68/11.73 c 6.3s | 4 | 73823 | 1313 | 40504 0 | 95 | 174 11.68/11.76 c 6.4s | 5 | 73827 | 1320 | 40504 0 | 95 | 174 13.88/13.99 c 8.6s | 5 | 88162 | 1820 | 40504 0 | 95 | 174 14.88/14.95 c 9.5s | 6 | 108723 | 2081 | 44555 0 | 95 | 174 16.89/16.97 c 11.6s | 6 | 131794 | 2681 | 44555 0 | 95 | 174 18.89/18.91 c 13.5s | 7 | 140886 | 3223 | 49011 0 | 95 | 174 20.99/21.08 c 15.7s | 7 | 153414 | 3723 | 49011 0 | 95 | 174 23.28/23.35 c 17.9s | 7 | 162820 | 4123 | 49011 0 | 95 | 174 25.78/25.81 c 20.4s | 7 | 170022 | 4723 | 49011 0 | 95 | 174 26.58/26.62 c 21.2s | 8 | 174918 | 4936 | 53913 0 | 95 | 174 28.69/28.72 c 23.3s | 8 | 190090 | 5436 | 53913 0 | 95 | 174 30.79/30.84 c 25.4s | 8 | 199785 | 6036 | 53913 0 | 95 | 174 32.88/32.98 c 27.6s | 8 | 203184 | 6436 | 53913 0 | 95 | 174 33.18/33.21 c 27.8s | 8 | 203422 | 6465 | 53913 0 | 95 | 174 33.18/33.21 c #cpu_time = 27.779s 33.18/33.21 c #wall_clock_time = 27.782s 33.18/33.21 c #decision = 203422 33.18/33.21 c #random_decision = 394 33.18/33.21 c #conflict = 6465 33.18/33.21 c #restart = 8 33.18/33.21 o 2456 33.18/33.22 c BCD2: updating upper bound: 2701 -> 2455 33.28/33.30 c BCD2: 1351 <= obj <= 2455 33.28/33.30 c BCD2: #cores=33, #unrelaxed=5504, #relaxed=6549, #hardened=0 33.28/33.30 c BCD2: #sat=3 #unsat=45 bias=45/48 33.38/33.45 c Solving starts ... 33.38/33.45 c ============================[ Search Statistics ]============================ 33.38/33.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 33.38/33.45 c | | | | Limit GC | Var | Constra 33.38/33.45 c ============================================================================= 33.38/33.45 c 0.0s | 0 | 0 | 0 | 53913 0 | 95 | 175 33.48/33.55 c 0.1s | 0 | 64 | 0 | 53913 0 | 95 | 175 33.48/33.55 c #cpu_time = 0.099s 33.48/33.55 c #wall_clock_time = 0.099s 33.48/33.55 c #decision = 64 33.48/33.55 c #random_decision = 0 33.48/33.55 c #conflict = 0 33.48/33.55 c #restart = 0 33.48/33.55 c BCD2: relaxing 4 and merging with 2 cores into a new core of size 36: cost of the new core is >=66 33.48/33.55 c lower bound updated to 1353 33.48/33.55 c BCD2: 1353 <= obj <= 2455 33.48/33.55 c BCD2: #cores=32, #unrelaxed=5500, #relaxed=6553, #hardened=0 33.48/33.55 c BCD2: #sat=3 #unsat=46 bias=46/49 33.48/33.55 c Solving starts ... 33.48/33.55 c ============================[ Search Statistics ]============================ 33.48/33.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 33.48/33.55 c | | | | Limit GC | Var | Constra 33.48/33.55 c ============================================================================= 33.48/33.55 c 0.0s | 0 | 0 | 0 | 53913 0 | 136 | 175 33.58/33.65 c 0.1s | 0 | 236 | 0 | 53913 0 | 136 | 255 33.58/33.65 c #cpu_time = 0.095s 33.58/33.65 c #wall_clock_time = 0.095s 33.58/33.65 c #decision = 236 33.58/33.65 c #random_decision = 0 33.58/33.65 c #conflict = 0 33.58/33.65 c #restart = 0 33.58/33.65 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 20: cost of the new core is >=39 33.58/33.65 c lower bound updated to 1355 33.58/33.65 c BCD2: 1355 <= obj <= 2455 33.58/33.65 c BCD2: #cores=32, #unrelaxed=5499, #relaxed=6554, #hardened=0 33.58/33.65 c BCD2: #sat=3 #unsat=47 bias=47/50 33.58/33.66 c Solving starts ... 33.58/33.66 c ============================[ Search Statistics ]============================ 33.58/33.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 33.58/33.66 c | | | | Limit GC | Var | Constra 33.58/33.66 c ============================================================================= 33.58/33.66 c 0.0s | 0 | 0 | 0 | 53913 0 | 147 | 255 33.68/33.75 c 0.1s | 0 | 529 | 0 | 53913 0 | 147 | 276 33.68/33.75 c #cpu_time = 0.092s 33.68/33.75 c #wall_clock_time = 0.092s 33.68/33.75 c #decision = 529 33.68/33.75 c #random_decision = 0 33.68/33.75 c #conflict = 0 33.68/33.75 c #restart = 0 33.68/33.75 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 94: cost of the new core is >=37 33.68/33.75 c lower bound updated to 1361 33.68/33.76 c BCD2: 1361 <= obj <= 2455 33.68/33.76 c BCD2: #cores=32, #unrelaxed=5494, #relaxed=6559, #hardened=0 33.68/33.76 c BCD2: #sat=3 #unsat=48 bias=48/51 33.68/33.77 c Solving starts ... 33.68/33.77 c ============================[ Search Statistics ]============================ 33.68/33.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 33.68/33.77 c | | | | Limit GC | Var | Constra 33.68/33.77 c ============================================================================= 33.68/33.77 c 0.0s | 0 | 0 | 0 | 53913 0 | 160 | 276 33.78/33.88 c 0.1s | 0 | 4906 | 0 | 53913 0 | 160 | 301 33.78/33.88 c #cpu_time = 0.108s 33.78/33.88 c #wall_clock_time = 0.108s 33.78/33.88 c #decision = 4906 33.78/33.88 c #random_decision = 0 33.78/33.88 c #conflict = 0 33.78/33.88 c #restart = 0 33.78/33.88 c BCD2: relaxing 4 and merging with 3 cores into a new core of size 132: cost of the new core is >=108 33.78/33.88 c lower bound updated to 1367 33.78/33.89 c BCD2: 1367 <= obj <= 2455 33.78/33.89 c BCD2: #cores=30, #unrelaxed=5490, #relaxed=6563, #hardened=0 33.78/33.89 c BCD2: #sat=3 #unsat=49 bias=49/52 33.78/33.89 c Solving starts ... 33.78/33.89 c ============================[ Search Statistics ]============================ 33.78/33.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 33.78/33.89 c | | | | Limit GC | Var | Constra 33.78/33.89 c ============================================================================= 33.78/33.89 c 0.0s | 0 | 0 | 0 | 53913 0 | 178 | 301 34.09/34.16 c 0.3s | 0 | 24983 | 66 | 53913 0 | 178 | 334 34.09/34.16 c #cpu_time = 0.267s 34.09/34.16 c #wall_clock_time = 0.267s 34.09/34.16 c #decision = 24983 34.09/34.16 c #random_decision = 1 34.09/34.16 c #conflict = 66 34.09/34.16 c #restart = 0 34.09/34.16 c BCD2: relaxing 68 and merging with 7 cores into a new core of size 499: cost of the new core is >=311 34.09/34.16 c lower bound updated to 1368 34.09/34.18 c BCD2: 1368 <= obj <= 2455 34.09/34.18 c BCD2: #cores=24, #unrelaxed=5422, #relaxed=6631, #hardened=0 34.09/34.18 c BCD2: #sat=3 #unsat=50 bias=50/53 34.09/34.20 c Solving starts ... 34.09/34.20 c ============================[ Search Statistics ]============================ 34.09/34.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 34.09/34.20 c | | | | Limit GC | Var | Constra 34.09/34.20 c ============================================================================= 34.09/34.20 c 0.0s | 0 | 0 | 0 | 53913 0 | 239 | 334 34.88/34.96 c 0.8s | 1 | 10925 | 100 | 53913 0 | 239 | 449 35.78/35.89 c 1.7s | 2 | 25237 | 250 | 53913 0 | 239 | 449 36.98/37.02 c 2.8s | 3 | 38170 | 475 | 53913 0 | 239 | 449 38.78/38.82 c 4.6s | 4 | 56760 | 813 | 53913 0 | 239 | 449 40.88/40.92 c 6.7s | 4 | 70499 | 1213 | 59305 0 | 239 | 449 41.38/41.43 c 7.2s | 5 | 71559 | 1320 | 59305 0 | 239 | 449 43.58/43.62 c 9.4s | 5 | 97327 | 1720 | 59305 0 | 239 | 449 45.28/45.37 c 11.2s | 6 | 105237 | 2081 | 59305 0 | 239 | 449 47.38/47.40 c 13.2s | 6 | 125630 | 2381 | 59305 0 | 239 | 449 49.48/49.52 c 15.3s | 6 | 136615 | 2781 | 59305 0 | 239 | 449 51.68/51.78 c 17.6s | 6 | 143894 | 3181 | 59305 0 | 239 | 449 51.78/51.88 c 17.7s | 7 | 144939 | 3223 | 59305 0 | 239 | 449 54.18/54.22 c 20.0s | 7 | 161850 | 3623 | 59305 0 | 239 | 449 56.18/56.25 c 22.1s | 7 | 168037 | 4023 | 59305 0 | 239 | 449 58.58/58.68 c 24.5s | 7 | 175896 | 4423 | 59305 0 | 239 | 449 61.28/61.33 c 27.1s | 7 | 191173 | 4923 | 65236 0 | 239 | 449 61.38/61.41 c 27.2s | 8 | 191201 | 4936 | 65236 0 | 239 | 449 63.68/63.77 c 29.6s | 8 | 211467 | 5236 | 65236 0 | 239 | 449 65.78/65.82 c 31.6s | 8 | 225418 | 5636 | 65236 0 | 239 | 449 67.77/67.88 c 33.7s | 8 | 232996 | 6036 | 65236 0 | 239 | 449 70.27/70.39 c 36.2s | 8 | 243463 | 6536 | 65236 0 | 239 | 449 72.58/72.67 c 38.5s | 8 | 266196 | 6936 | 65236 0 | 239 | 449 74.97/75.04 c 40.8s | 8 | 279504 | 7436 | 65236 0 | 239 | 449 75.27/75.38 c 41.2s | 9 | 283561 | 7506 | 65236 0 | 239 | 449 77.57/77.68 c 43.5s | 9 | 298215 | 7906 | 65236 0 | 239 | 449 79.77/79.85 c 45.6s | 9 | 310936 | 8306 | 65236 0 | 239 | 449 82.07/82.19 c 48.0s | 9 | 324295 | 8706 | 65236 0 | 239 | 449 84.17/84.20 c 50.0s | 9 | 341133 | 9106 | 65236 0 | 239 | 449 86.47/86.58 c 52.4s | 9 | 353243 | 9606 | 65236 0 | 239 | 449 88.77/88.90 c 54.7s | 9 | 362962 | 10106 | 65236 0 | 239 | 449 91.17/91.24 c 57.0s | 9 | 375546 | 10606 | 71760 0 | 239 | 449 93.48/93.58 c 59.4s | 9 | 380614 | 11006 | 71760 0 | 239 | 449 95.47/95.52 c 61.3s | 10 | 390034 | 11361 | 71760 0 | 239 | 449 97.47/97.55 c 63.3s | 10 | 399424 | 11661 | 71760 0 | 239 | 449 99.57/99.66 c 65.5s | 10 | 413286 | 12061 | 71760 0 | 239 | 449 102.17/102.22 c 68.0s | 10 | 425795 | 12461 | 71760 0 | 239 | 449 104.67/104.75 c 70.6s | 10 | 433269 | 12861 | 71760 0 | 239 | 449 107.07/107.15 c 72.9s | 10 | 443176 | 13261 | 71760 0 | 239 | 449 109.47/109.56 c 75.4s | 10 | 460157 | 13661 | 71760 0 | 239 | 449 111.96/112.00 c 77.8s | 10 | 471470 | 14061 | 71760 0 | 239 | 449 114.26/114.39 c 80.2s | 10 | 479226 | 14461 | 71760 0 | 239 | 449 116.36/116.42 c 82.2s | 10 | 490434 | 14761 | 71760 0 | 239 | 449 118.87/118.96 c 84.8s | 10 | 500654 | 15261 | 71760 0 | 239 | 449 121.07/121.19 c 87.0s | 10 | 504744 | 15661 | 71760 0 | 239 | 449 123.28/123.32 c 89.1s | 10 | 508749 | 16061 | 71760 0 | 239 | 449 125.27/125.36 c 91.2s | 10 | 513005 | 16461 | 71760 0 | 239 | 449 127.58/127.67 c 93.5s | 10 | 521644 | 16861 | 71760 0 | 239 | 449 128.87/128.99 c 94.8s | 11 | 524294 | 17144 | 71760 0 | 239 | 449 131.17/131.27 c 97.1s | 11 | 536879 | 17544 | 71760 0 | 239 | 449 133.37/133.49 c 99.3s | 11 | 545496 | 18044 | 71760 0 | 239 | 449 135.87/135.97 c 101s | 11 | 557337 | 18444 | 71760 0 | 239 | 449 137.87/137.98 c 103s | 11 | 559594 | 18844 | 71760 0 | 239 | 449 140.07/140.14 c 105s | 11 | 563847 | 19144 | 78936 0 | 239 | 449 142.07/142.19 c 107s | 11 | 566592 | 19844 | 78936 0 | 239 | 449 144.17/144.26 c 110s | 11 | 570864 | 20244 | 78936 0 | 239 | 449 146.37/146.48 c 112s | 11 | 574680 | 20644 | 78936 0 | 239 | 449 148.37/148.49 c 114s | 11 | 587494 | 21144 | 78936 0 | 239 | 449 150.57/150.62 c 116s | 11 | 593773 | 21644 | 78936 0 | 239 | 449 152.56/152.66 c 118s | 11 | 598410 | 22144 | 78936 0 | 239 | 449 155.07/155.17 c 120s | 11 | 605442 | 22644 | 78936 0 | 239 | 449 157.16/157.25 c 123s | 11 | 612921 | 23044 | 78936 0 | 239 | 449 159.36/159.48 c 125s | 11 | 622212 | 23544 | 78936 0 | 239 | 449 161.46/161.53 c 127s | 11 | 630084 | 23944 | 78936 0 | 239 | 449 163.66/163.72 c 129s | 11 | 642103 | 24344 | 78936 0 | 239 | 449 166.17/166.21 c 132s | 11 | 653009 | 24844 | 78936 0 | 239 | 449 168.27/168.39 c 134s | 11 | 665604 | 25344 | 78936 0 | 239 | 449 170.86/170.94 c 136s | 12 | 676408 | 25819 | 78936 0 | 239 | 449 173.16/173.24 c 139s | 12 | 687549 | 26119 | 78936 0 | 239 | 449 175.26/175.35 c 141s | 12 | 694886 | 26519 | 78936 0 | 239 | 449 177.76/177.80 c 143s | 12 | 702351 | 27019 | 78936 0 | 239 | 449 179.96/180.09 c 145s | 12 | 707826 | 27619 | 78936 0 | 239 | 449 182.06/182.10 c 147s | 12 | 710652 | 28019 | 78936 0 | 239 | 449 184.36/184.44 c 150s | 12 | 715066 | 28519 | 78936 0 | 239 | 449 186.56/186.65 c 152s | 12 | 719510 | 28919 | 78936 0 | 239 | 449 188.86/188.94 c 154s | 12 | 728978 | 29219 | 78936 0 | 239 | 449 191.36/191.41 c 157s | 12 | 740125 | 29619 | 78936 0 | 239 | 449 193.56/193.63 c 159s | 12 | 746213 | 30019 | 78936 0 | 239 | 449 195.96/196.08 c 161s | 12 | 752662 | 30419 | 78936 0 | 239 | 449 198.46/198.56 c 164s | 12 | 760200 | 30819 | 78936 0 | 239 | 449 200.76/200.82 c 166s | 12 | 770053 | 31219 | 78936 0 | 239 | 449 203.36/203.46 c 169s | 12 | 780611 | 31819 | 78936 0 | 239 | 449 205.95/206.08 c 171s | 12 | 785115 | 32319 | 86830 0 | 239 | 449 208.55/208.64 c 174s | 12 | 790224 | 32719 | 86830 0 | 239 | 449 210.55/210.69 c 176s | 12 | 793820 | 33119 | 86830 0 | 239 | 449 212.65/212.72 c 178s | 12 | 798880 | 33519 | 86830 0 | 239 | 449 215.35/215.40 c 181s | 12 | 804616 | 33919 | 86830 0 | 239 | 449 217.45/217.55 c 183s | 12 | 807139 | 34219 | 86830 0 | 239 | 449 219.75/219.89 c 185s | 12 | 810164 | 34519 | 86830 0 | 239 | 449 221.95/222.02 c 187s | 12 | 815508 | 34819 | 86830 0 | 239 | 449 224.15/224.22 c 190s | 12 | 824902 | 35219 | 86830 0 | 239 | 449 226.15/226.29 c 192s | 12 | 831590 | 35619 | 86830 0 | 239 | 449 228.35/228.45 c 194s | 12 | 836197 | 35919 | 86830 0 | 239 | 449 230.65/230.72 c 196s | 12 | 846256 | 36319 | 86830 0 | 239 | 449 233.16/233.21 c 199s | 12 | 860507 | 36719 | 86830 0 | 239 | 449 235.36/235.44 c 201s | 12 | 869318 | 37219 | 86830 0 | 239 | 449 237.85/237.93 c 203s | 12 | 876390 | 37719 | 86830 0 | 239 | 449 240.05/240.13 c 205s | 12 | 881384 | 38019 | 86830 0 | 239 | 449 242.06/242.15 c 207s | 12 | 889783 | 38419 | 86830 0 | 239 | 449 244.55/244.65 c 210s | 12 | 895008 | 38819 | 86830 0 | 239 | 449 244.55/244.69 c 210s | 13 | 895031 | 38832 | 86830 0 | 239 | 449 246.85/246.90 c 212s | 13 | 905433 | 39132 | 86830 0 | 239 | 449 249.05/249.17 c 214s | 13 | 908161 | 39632 | 86830 0 | 239 | 449 251.25/251.39 c 217s | 13 | 911049 | 40032 | 86830 0 | 239 | 449 253.85/253.96 c 219s | 13 | 920169 | 40432 | 86830 0 | 239 | 449 256.05/256.11 c 221s | 13 | 925567 | 40732 | 86830 0 | 239 | 449 258.35/258.42 c 224s | 13 | 929415 | 41032 | 86830 0 | 239 | 449 260.65/260.74 c 226s | 13 | 933366 | 41332 | 86830 0 | 239 | 449 263.25/263.33 c 229s | 13 | 937952 | 41732 | 86830 0 | 239 | 449 265.74/265.81 c 231s | 13 | 943970 | 42132 | 86830 0 | 239 | 449 268.04/268.16 c 233s | 13 | 952204 | 42532 | 86830 0 | 239 | 449 270.14/270.22 c 236s | 13 | 955554 | 42832 | 86830 0 | 239 | 449 272.75/272.82 c 238s | 13 | 959243 | 43232 | 86830 0 | 239 | 449 274.84/274.90 c 240s | 13 | 965328 | 43532 | 86830 0 | 239 | 449 276.94/277.03 c 242s | 13 | 970722 | 43832 | 86830 0 | 239 | 449 279.24/279.38 c 245s | 13 | 975209 | 44132 | 86830 0 | 239 | 449 281.44/281.60 c 247s | 13 | 978110 | 44432 | 86830 0 | 239 | 449 283.85/283.95 c 249s | 13 | 980855 | 44732 | 86830 0 | 239 | 449 286.44/286.50 c 252s | 13 | 982858 | 45132 | 86830 0 | 239 | 449 288.74/288.86 c 254s | 13 | 983900 | 45432 | 86830 0 | 239 | 449 291.34/291.47 c 257s | 13 | 988159 | 45832 | 86830 0 | 239 | 449 293.84/293.93 c 259s | 13 | 989514 | 46132 | 86830 0 | 239 | 449 296.04/296.13 c 261s | 13 | 991659 | 46432 | 86830 0 | 239 | 449 298.14/298.25 c 264s | 13 | 994402 | 46732 | 86830 0 | 239 | 449 300.44/300.53 c 266s | 13 | 997280 | 47032 | 86830 0 | 239 | 449 302.54/302.65 c 268s | 13 | 1013883 | 47332 | 86830 0 | 239 | 449 304.74/304.89 c 270s | 13 | 1024830 | 47732 | 86830 0 | 239 | 449 306.94/307.05 c 272s | 13 | 1034991 | 48232 | 86830 0 | 239 | 449 309.14/309.29 c 275s | 13 | 1047478 | 48632 | 86830 0 | 239 | 449 311.53/311.65 c 277s | 13 | 1059213 | 49032 | 86830 0 | 239 | 449 313.73/313.81 c 279s | 13 | 1068676 | 49432 | 86830 0 | 239 | 449 315.93/316.08 c 281s | 13 | 1074263 | 49932 | 86830 0 | 239 | 449 318.13/318.27 c 284s | 13 | 1077760 | 50432 | 86830 0 | 239 | 449 320.73/320.80 c 286s | 13 | 1085534 | 50832 | 86830 0 | 239 | 449 323.03/323.15 c 288s | 13 | 1093401 | 51332 | 86830 0 | 239 | 449 325.03/325.17 c 290s | 13 | 1103085 | 51732 | 95514 0 | 239 | 449 327.33/327.40 c 293s | 13 | 1108043 | 52232 | 95514 0 | 239 | 449 329.73/329.83 c 295s | 13 | 1114483 | 52732 | 95514 0 | 239 | 449 332.14/332.27 c 298s | 13 | 1121617 | 53132 | 95514 0 | 239 | 449 334.34/334.47 c 300s | 13 | 1131279 | 53532 | 95514 0 | 239 | 449 336.43/336.56 c 302s | 13 | 1134011 | 53932 | 95514 0 | 239 | 449 338.93/339.05 c 304s | 13 | 1146875 | 54332 | 95514 0 | 239 | 449 341.33/341.40 c 307s | 13 | 1154510 | 54732 | 95514 0 | 239 | 449 343.33/343.42 c 309s | 13 | 1159528 | 55032 | 95514 0 | 239 | 449 345.34/345.47 c 311s | 13 | 1163452 | 55432 | 95514 0 | 239 | 449 347.43/347.58 c 313s | 13 | 1167877 | 55732 | 95514 0 | 239 | 449 350.03/350.13 c 315s | 13 | 1176270 | 56132 | 95514 0 | 239 | 449 352.03/352.15 c 317s | 13 | 1180959 | 56432 | 95514 0 | 239 | 449 354.33/354.48 c 320s | 13 | 1187772 | 56732 | 95514 0 | 239 | 449 356.53/356.69 c 322s | 13 | 1195438 | 57132 | 95514 0 | 239 | 449 358.63/358.75 c 324s | 13 | 1199993 | 57432 | 95514 0 | 239 | 449 361.23/361.32 c 327s | 13 | 1208733 | 57832 | 95514 0 | 239 | 449 363.33/363.41 c 329s | 13 | 1215668 | 58132 | 95514 0 | 239 | 449 364.63/364.75 c 330s | 14 | 1220438 | 58352 | 95514 0 | 239 | 449 366.83/366.92 c 332s | 14 | 1228558 | 58552 | 95514 0 | 239 | 449 369.23/369.39 c 335s | 14 | 1233442 | 58952 | 95514 0 | 239 | 449 371.74/371.89 c 337s | 14 | 1242946 | 59352 | 95514 0 | 239 | 449 374.43/374.53 c 340s | 14 | 1251811 | 59752 | 95514 0 | 239 | 449 376.73/376.86 c 342s | 14 | 1254717 | 60152 | 95514 0 | 239 | 449 379.54/379.67 c 345s | 14 | 1263224 | 60552 | 95514 0 | 239 | 449 381.64/381.77 c 347s | 14 | 1268283 | 60852 | 95514 0 | 239 | 449 383.94/384.01 c 349s | 14 | 1270606 | 61252 | 95514 0 | 239 | 449 385.93/386.01 c 351s | 14 | 1273471 | 61552 | 95514 0 | 239 | 449 388.24/388.34 c 354s | 14 | 1279834 | 62052 | 95514 0 | 239 | 449 390.83/390.91 c 356s | 14 | 1286154 | 62452 | 95514 0 | 239 | 449 393.63/393.71 c 359s | 14 | 1289527 | 62852 | 95514 0 | 239 | 449 396.13/396.27 c 362s | 14 | 1292543 | 63252 | 95514 0 | 239 | 449 398.83/398.90 c 364s | 14 | 1296284 | 63552 | 95514 0 | 239 | 449 401.23/401.30 c 367s | 14 | 1299769 | 63952 | 95514 0 | 239 | 449 403.22/403.33 c 369s | 14 | 1302965 | 64352 | 95514 0 | 239 | 449 405.42/405.55 c 371s | 14 | 1309705 | 64752 | 95514 0 | 239 | 449 407.62/407.78 c 373s | 14 | 1313434 | 65052 | 95514 0 | 239 | 449 410.23/410.34 c 376s | 14 | 1320441 | 65352 | 95514 0 | 239 | 449 412.53/412.68 c 378s | 14 | 1323611 | 65652 | 95514 0 | 239 | 449 414.63/414.75 c 380s | 14 | 1328714 | 65852 | 95514 0 | 239 | 449 416.62/416.77 c 382s | 14 | 1329538 | 66052 | 95514 0 | 239 | 449 419.13/419.22 c 385s | 14 | 1337478 | 66452 | 95514 0 | 239 | 449 421.12/421.23 c 387s | 14 | 1343905 | 66752 | 95514 0 | 239 | 449 423.32/423.49 c 389s | 14 | 1348997 | 67152 | 95514 0 | 239 | 449 425.52/425.70 c 391s | 14 | 1356685 | 67452 | 95514 0 | 239 | 449 427.93/428.09 c 393s | 14 | 1364792 | 67852 | 95514 0 | 239 | 449 430.22/430.35 c 396s | 14 | 1368902 | 68252 | 95514 0 | 239 | 449 432.33/432.42 c 398s | 14 | 1373824 | 68752 | 95514 0 | 239 | 449 434.92/435.07 c 400s | 14 | 1379023 | 69152 | 95514 0 | 239 | 449 437.42/437.55 c 403s | 14 | 1384307 | 69552 | 95514 0 | 239 | 449 439.42/439.58 c 405s | 14 | 1389069 | 69852 | 95514 0 | 239 | 449 441.72/441.81 c 407s | 14 | 1398433 | 70152 | 95514 0 | 239 | 449 444.52/444.64 c 410s | 14 | 1405227 | 70552 | 95514 0 | 239 | 449 446.72/446.86 c 412s | 14 | 1412514 | 70852 | 95514 0 | 239 | 449 448.72/448.89 c 414s | 14 | 1415747 | 71152 | 95514 0 | 239 | 449 451.12/451.21 c 417s | 14 | 1419707 | 71452 | 95514 0 | 239 | 449 453.72/453.81 c 419s | 14 | 1422372 | 71752 | 95514 0 | 239 | 449 456.12/456.27 c 422s | 14 | 1424333 | 72052 | 95514 0 | 239 | 449 458.62/458.72 c 424s | 14 | 1426763 | 72352 | 95514 0 | 239 | 449 461.21/461.39 c 427s | 14 | 1430443 | 72652 | 95514 0 | 239 | 449 463.91/464.00 c 429s | 14 | 1433045 | 72952 | 95514 0 | 239 | 449 466.61/466.71 c 432s | 14 | 1434810 | 73252 | 95514 0 | 239 | 449 468.62/468.77 c 434s | 14 | 1442167 | 73552 | 95514 0 | 239 | 449 471.11/471.24 c 437s | 14 | 1455333 | 73952 | 95514 0 | 239 | 449 473.41/473.52 c 439s | 14 | 1462119 | 74352 | 95514 0 | 239 | 449 475.71/475.80 c 441s | 14 | 1471548 | 74752 | 95514 0 | 239 | 449 478.01/478.10 c 443s | 14 | 1477072 | 75052 | 95514 0 | 239 | 449 480.62/480.71 c 446s | 14 | 1488417 | 75452 | 95514 0 | 239 | 449 482.61/482.73 c 448s | 14 | 1499621 | 75852 | 95514 0 | 239 | 449 484.61/484.74 c 450s | 14 | 1504156 | 76152 | 95514 0 | 239 | 449 487.11/487.22 c 453s | 14 | 1522033 | 76552 | 95514 0 | 239 | 449 489.31/489.44 c 455s | 14 | 1528525 | 76852 | 95514 0 | 239 | 449 491.62/491.77 c 457s | 14 | 1538061 | 77252 | 95514 0 | 239 | 449 494.31/494.42 c 460s | 14 | 1544571 | 77652 | 95514 0 | 239 | 449 496.41/496.57 c 462s | 14 | 1549432 | 77952 | 95514 0 | 239 | 449 498.41/498.58 c 464s | 14 | 1554603 | 78252 | 95514 0 | 239 | 449 500.41/500.60 c 466s | 14 | 1560501 | 78552 | 95514 0 | 239 | 449 502.91/503.05 c 468s | 14 | 1564790 | 78952 | 95514 0 | 239 | 449 505.31/505.47 c 471s | 14 | 1570159 | 79352 | 95514 0 | 239 | 449 507.90/508.02 c 473s | 14 | 1574271 | 79652 | 95514 0 | 239 | 449 510.41/510.57 c 476s | 14 | 1578175 | 79952 | 95514 0 | 239 | 449 513.10/513.28 c 479s | 14 | 1582583 | 80352 | 95514 0 | 239 | 449 515.30/515.41 c 481s | 14 | 1584422 | 80752 | 105066 0 | 239 | 449 517.40/517.58 c 483s | 14 | 1586592 | 81152 | 105066 0 | 239 | 449 520.00/520.12 c 485s | 14 | 1591271 | 81452 | 105066 0 | 239 | 449 522.10/522.26 c 488s | 14 | 1596358 | 81752 | 105066 0 | 239 | 449 524.20/524.35 c 490s | 14 | 1606265 | 82052 | 105066 0 | 239 | 449 526.60/526.79 c 492s | 14 | 1616505 | 82452 | 105066 0 | 239 | 449 529.11/529.21 c 495s | 14 | 1623615 | 82952 | 105066 0 | 239 | 449 531.40/531.52 c 497s | 14 | 1629670 | 83352 | 105066 0 | 239 | 449 533.41/533.55 c 499s | 14 | 1641956 | 83652 | 105066 0 | 239 | 449 535.61/535.77 c 501s | 14 | 1647413 | 83952 | 105066 0 | 239 | 449 537.70/537.85 c 503s | 14 | 1655991 | 84252 | 105066 0 | 239 | 449 540.01/540.16 c 505s | 14 | 1664157 | 84552 | 105066 0 | 239 | 449 542.40/542.54 c 508s | 14 | 1674993 | 84952 | 105066 0 | 239 | 449 544.90/545.07 c 510s | 14 | 1681700 | 85352 | 105066 0 | 239 | 449 547.40/547.57 c 513s | 14 | 1689122 | 85752 | 105066 0 | 239 | 449 549.80/549.96 c 515s | 14 | 1693888 | 86052 | 105066 0 | 239 | 449 552.10/552.27 c 518s | 14 | 1697447 | 86352 | 105066 0 | 239 | 449 554.90/555.00 c 520s | 14 | 1702434 | 86752 | 105066 0 | 239 | 449 557.10/557.27 c 523s | 14 | 1706662 | 87152 | 105066 0 | 239 | 449 559.60/559.73 c 525s | 14 | 1717844 | 87552 | 105066 0 | 239 | 449 560.20/560.31 c 526s | 15 | 1718291 | 87632 | 105066 0 | 239 | 449 562.80/562.99 c 528s | 15 | 1728715 | 87832 | 105066 0 | 239 | 449 565.10/565.29 c 531s | 15 | 1733475 | 88132 | 105066 0 | 239 | 449 567.50/567.61 c 533s | 15 | 1739850 | 88532 | 105066 0 | 239 | 449 569.59/569.76 c 535s | 15 | 1743694 | 88832 | 105066 0 | 239 | 449 572.29/572.49 c 538s | 15 | 1752671 | 89232 | 105066 0 | 239 | 449 574.49/574.66 c 540s | 15 | 1759104 | 89532 | 105066 0 | 239 | 449 576.80/576.95 c 542s | 15 | 1765850 | 89932 | 105066 0 | 239 | 449 579.10/579.26 c 545s | 15 | 1768572 | 90232 | 105066 0 | 239 | 449 581.50/581.60 c 547s | 15 | 1774898 | 90532 | 105066 0 | 239 | 449 584.01/584.14 c 549s | 15 | 1781949 | 90832 | 105066 0 | 239 | 449 586.31/586.46 c 552s | 15 | 1789414 | 91132 | 105066 0 | 239 | 449 588.51/588.66 c 554s | 15 | 1796256 | 91432 | 105066 0 | 239 | 449 590.61/590.75 c 556s | 15 | 1799649 | 91732 | 105066 0 | 239 | 449 592.81/592.91 c 558s | 15 | 1804806 | 92032 | 105066 0 | 239 | 449 594.80/594.98 c 560s | 15 | 1812299 | 92332 | 105066 0 | 239 | 449 597.31/597.43 c 563s | 15 | 1819241 | 92732 | 105066 0 | 239 | 449 599.40/599.60 c 565s | 15 | 1828233 | 93032 | 105066 0 | 239 | 449 601.80/601.91 c 567s | 15 | 1832521 | 93332 | 105066 0 | 239 | 449 603.80/603.97 c 569s | 15 | 1836084 | 93632 | 105066 0 | 239 | 449 606.10/606.21 c 572s | 15 | 1841619 | 93932 | 105066 0 | 239 | 449 608.20/608.36 c 574s | 15 | 1846909 | 94232 | 105066 0 | 239 | 449 610.80/610.93 c 576s | 15 | 1849257 | 94532 | 105066 0 | 239 | 449 612.89/613.09 c 578s | 15 | 1854575 | 94832 | 105066 0 | 239 | 449 615.49/615.65 c 581s | 15 | 1858018 | 95132 | 105066 0 | 239 | 449 617.69/617.89 c 583s | 15 | 1862099 | 95532 | 105066 0 | 239 | 449 620.49/620.61 c 586s | 15 | 1865864 | 96032 | 105066 0 | 239 | 449 622.79/622.96 c 588s | 15 | 1871142 | 96332 | 105066 0 | 239 | 449 625.39/625.53 c 591s | 15 | 1876006 | 96632 | 105066 0 | 239 | 449 627.69/627.80 c 593s | 15 | 1881288 | 96932 | 105066 0 | 239 | 449 630.20/630.38 c 596s | 15 | 1883586 | 97232 | 105066 0 | 239 | 449 632.29/632.50 c 598s | 15 | 1884482 | 97432 | 105066 0 | 239 | 449 634.39/634.53 c 600s | 15 | 1888799 | 97632 | 105066 0 | 239 | 449 636.79/637.00 c 602s | 15 | 1894841 | 97932 | 105066 0 | 239 | 449 639.29/639.41 c 605s | 15 | 1897399 | 98232 | 105066 0 | 239 | 449 641.49/641.69 c 607s | 15 | 1898601 | 98432 | 105066 0 | 239 | 449 643.69/643.80 c 609s | 15 | 1899450 | 98632 | 105066 0 | 239 | 449 646.38/646.50 c 612s | 15 | 1902918 | 98932 | 105066 0 | 239 | 449 649.18/649.30 c 615s | 15 | 1905649 | 99232 | 105066 0 | 239 | 449 651.68/651.87 c 617s | 15 | 1907486 | 99532 | 105066 0 | 239 | 449 654.28/654.48 c 620s | 15 | 1909732 | 99832 | 105066 0 | 239 | 449 656.98/657.10 c 622s | 15 | 1911779 | 100132 | 105066 0 | 239 | 449 659.08/659.28 c 625s | 15 | 1914530 | 100332 | 105066 0 | 239 | 449 661.18/661.39 c 627s | 15 | 1916538 | 100532 | 105066 0 | 239 | 449 663.98/664.11 c 629s | 15 | 1921111 | 100832 | 105066 0 | 239 | 449 667.08/667.21 c 633s | 15 | 1924294 | 101132 | 105066 0 | 239 | 449 669.38/669.51 c 635s | 15 | 1933435 | 101332 | 105066 0 | 239 | 449 671.48/671.62 c 637s | 15 | 1935090 | 101532 | 105066 0 | 239 | 449 674.29/674.46 c 640s | 15 | 1938206 | 101832 | 105066 0 | 239 | 449 676.28/676.48 c 642s | 15 | 1939502 | 102032 | 105066 0 | 239 | 449 678.69/678.88 c 644s | 15 | 1948244 | 102332 | 105066 0 | 239 | 449 681.08/681.30 c 647s | 15 | 1957267 | 102632 | 105066 0 | 239 | 449 683.58/683.71 c 649s | 15 | 1965400 | 102932 | 105066 0 | 239 | 449 686.08/686.25 c 652s | 15 | 1971569 | 103332 | 105066 0 | 239 | 449 688.28/688.47 c 654s | 15 | 1976992 | 103632 | 105066 0 | 239 | 449 690.68/690.88 c 656s | 15 | 1981891 | 104132 | 105066 0 | 239 | 449 693.18/693.34 c 659s | 15 | 1986126 | 104432 | 105066 0 | 239 | 449 695.58/695.76 c 661s | 15 | 1996918 | 104832 | 105066 0 | 239 | 449 698.08/698.29 c 664s | 15 | 2004419 | 105132 | 105066 0 | 239 | 449 700.48/700.64 c 666s | 15 | 2012067 | 105532 | 105066 0 | 239 | 449 702.68/702.84 c 668s | 15 | 2019282 | 105932 | 105066 0 | 239 | 449 705.27/705.45 c 671s | 15 | 2025423 | 106332 | 105066 0 | 239 | 449 708.07/708.22 c 674s | 15 | 2033314 | 106732 | 105066 0 | 239 | 449 710.07/710.28 c 676s | 15 | 2035814 | 107032 | 105066 0 | 239 | 449 712.68/712.84 c 678s | 15 | 2040600 | 107432 | 105066 0 | 239 | 449 714.88/715.10 c 680s | 15 | 2047075 | 107732 | 105066 0 | 239 | 449 716.97/717.13 c 682s | 15 | 2051364 | 108032 | 105066 0 | 239 | 449 719.77/719.93 c 685s | 15 | 2055409 | 108332 | 105066 0 | 239 | 449 722.17/722.37 c 688s | 15 | 2057956 | 108632 | 105066 0 | 239 | 449 724.37/724.54 c 690s | 15 | 2064836 | 108932 | 105066 0 | 239 | 449 727.27/727.41 c 693s | 15 | 2068205 | 109232 | 105066 0 | 239 | 449 729.47/729.65 c 695s | 15 | 2073022 | 109532 | 105066 0 | 239 | 449 732.27/732.43 c 698s | 15 | 2075903 | 109832 | 105066 0 | 239 | 449 734.97/735.13 c 700s | 15 | 2080859 | 110132 | 105066 0 | 239 | 449 737.07/737.22 c 703s | 15 | 2084199 | 110432 | 105066 0 | 239 | 449 739.87/740.01 c 705s | 15 | 2084940 | 110632 | 105066 1 | 239 | 449 742.77/742.95 c 708s | 15 | 2094871 | 111032 | 105066 1 | 239 | 449 744.88/745.00 c 710s | 15 | 2097708 | 111232 | 105066 1 | 239 | 449 747.28/747.40 c 713s | 15 | 2101280 | 111532 | 105066 1 | 239 | 449 749.68/749.81 c 715s | 15 | 2105704 | 111932 | 105066 1 | 239 | 449 751.67/751.83 c 717s | 15 | 2109081 | 112232 | 105066 1 | 239 | 449 754.48/754.61 c 720s | 15 | 2113605 | 112532 | 105066 1 | 239 | 449 756.57/756.77 c 722s | 15 | 2117108 | 112932 | 105066 1 | 239 | 449 758.57/758.79 c 724s | 15 | 2120195 | 113332 | 105066 1 | 239 | 449 760.97/761.10 c 726s | 15 | 2122310 | 113732 | 105066 1 | 239 | 449 763.27/763.49 c 729s | 15 | 2124224 | 114132 | 105066 1 | 239 | 449 765.57/765.77 c 731s | 15 | 2127094 | 114432 | 105066 1 | 239 | 449 767.56/767.78 c 733s | 15 | 2131175 | 114732 | 105066 1 | 239 | 449 770.16/770.38 c 736s | 15 | 2138674 | 115032 | 105066 1 | 239 | 449 773.16/773.37 c 739s | 15 | 2146760 | 115432 | 105066 1 | 239 | 449 775.46/775.61 c 741s | 15 | 2148923 | 115732 | 105066 1 | 239 | 449 777.46/777.63 c 743s | 15 | 2151430 | 115932 | 105066 1 | 239 | 449 779.66/779.81 c 745s | 15 | 2153807 | 116232 | 105066 1 | 239 | 449 781.75/781.97 c 747s | 15 | 2155436 | 116632 | 105066 1 | 239 | 449 784.45/784.67 c 750s | 15 | 2156961 | 117032 | 105066 1 | 239 | 449 786.85/787.04 c 752s | 15 | 2158637 | 117432 | 105066 1 | 239 | 449 789.25/789.49 c 755s | 15 | 2160231 | 117832 | 105066 1 | 239 | 449 791.95/792.11 c 757s | 15 | 2162360 | 118232 | 105066 1 | 239 | 449 794.25/794.47 c 760s | 15 | 2163980 | 118532 | 105066 1 | 239 | 449 796.85/797.02 c 762s | 15 | 2165964 | 118832 | 105066 1 | 239 | 449 799.45/799.64 c 765s | 15 | 2170333 | 119132 | 105066 1 | 239 | 449 801.55/801.71 c 767s | 15 | 2174616 | 119432 | 105066 1 | 239 | 449 804.65/804.88 c 770s | 15 | 2182329 | 119632 | 105066 1 | 239 | 449 806.85/807.02 c 772s | 15 | 2194297 | 119932 | 105066 1 | 239 | 449 808.95/809.15 c 774s | 15 | 2204353 | 120232 | 105066 1 | 239 | 449 811.05/811.23 c 777s | 15 | 2206969 | 120632 | 105066 1 | 239 | 449 813.25/813.42 c 779s | 15 | 2210411 | 121032 | 105066 1 | 239 | 449 815.25/815.42 c 781s | 15 | 2221061 | 121332 | 105066 1 | 239 | 449 817.44/817.61 c 783s | 15 | 2230252 | 121632 | 105066 1 | 239 | 449 819.74/819.96 c 785s | 15 | 2240743 | 122032 | 105066 1 | 239 | 449 821.94/822.11 c 787s | 15 | 2244752 | 122432 | 105066 1 | 239 | 449 824.14/824.36 c 790s | 15 | 2248565 | 122732 | 105066 1 | 239 | 449 826.24/826.45 c 792s | 15 | 2254927 | 123032 | 105066 1 | 239 | 449 828.54/828.70 c 794s | 15 | 2259308 | 123332 | 105066 1 | 239 | 449 830.64/830.84 c 796s | 15 | 2261444 | 123632 | 105066 1 | 239 | 449 832.84/833.01 c 798s | 15 | 2263480 | 123932 | 105066 1 | 239 | 449 835.24/835.46 c 801s | 15 | 2271993 | 124332 | 115573 1 | 239 | 449 837.74/837.91 c 803s | 15 | 2281069 | 124732 | 115573 1 | 239 | 449 839.84/840.01 c 805s | 15 | 2283038 | 125032 | 115573 1 | 239 | 449 841.94/842.15 c 807s | 15 | 2290229 | 125332 | 115573 1 | 239 | 449 844.34/844.53 c 810s | 15 | 2296850 | 125632 | 115573 1 | 239 | 449 846.84/847.01 c 812s | 15 | 2299474 | 126032 | 115573 1 | 239 | 449 849.23/849.49 c 815s | 15 | 2306826 | 126432 | 115573 1 | 239 | 449 851.34/851.58 c 817s | 15 | 2312199 | 126732 | 115573 1 | 239 | 449 853.44/853.67 c 819s | 15 | 2319572 | 127032 | 115573 1 | 239 | 449 855.64/855.86 c 821s | 15 | 2321549 | 127532 | 115573 1 | 239 | 449 858.33/858.58 c 824s | 15 | 2333884 | 127832 | 115573 1 | 239 | 449 860.83/861.06 c 826s | 15 | 2345103 | 128132 | 115573 1 | 239 | 449 863.53/863.78 c 829s | 15 | 2352340 | 128632 | 115573 1 | 239 | 449 865.83/866.06 c 831s | 15 | 2354575 | 128932 | 115573 1 | 239 | 449 868.03/868.24 c 834s | 15 | 2359707 | 129232 | 115573 1 | 239 | 449 870.42/870.62 c 836s | 15 | 2365349 | 129632 | 115573 1 | 239 | 449 873.02/873.25 c 839s | 15 | 2371928 | 130032 | 115573 1 | 239 | 449 876.02/876.25 c 842s | 15 | 2379266 | 130432 | 115573 1 | 239 | 449 878.32/878.52 c 844s | 15 | 2383534 | 130732 | 115573 1 | 239 | 449 880.62/880.87 c 846s | 15 | 2388871 | 131032 | 115573 1 | 239 | 449 882.72/882.94 c 848s | 15 | 2395673 | 131332 | 115573 1 | 239 | 449 884.23/884.46 c 850s | 16 | 2399505 | 131552 | 115573 1 | 239 | 449 887.22/887.43 c 853s | 16 | 2406221 | 131652 | 115573 1 | 239 | 449 889.92/890.11 c 855s | 16 | 2407353 | 131752 | 115573 1 | 239 | 449 892.22/892.46 c 858s | 16 | 2410976 | 132052 | 115573 1 | 239 | 449 894.42/894.69 c 860s | 16 | 2416770 | 132352 | 115573 1 | 239 | 449 896.72/896.96 c 862s | 16 | 2420399 | 132652 | 115573 1 | 239 | 449 898.92/899.10 c 864s | 16 | 2425301 | 132952 | 115573 1 | 239 | 449 901.22/901.41 c 867s | 16 | 2428372 | 133352 | 115573 1 | 239 | 449 903.22/903.49 c 869s | 16 | 2431717 | 133652 | 115573 1 | 239 | 449 905.52/905.78 c 871s | 16 | 2438436 | 133952 | 115573 1 | 239 | 449 907.82/908.04 c 873s | 16 | 2440520 | 134252 | 115573 1 | 239 | 449 910.21/910.44 c 876s | 16 | 2443540 | 134552 | 115573 1 | 239 | 449 912.82/913.01 c 878s | 16 | 2445028 | 134852 | 115573 1 | 239 | 449 915.31/915.52 c 881s | 16 | 2448091 | 135152 | 115573 1 | 239 | 449 917.91/918.19 c 883s | 16 | 2449389 | 135452 | 115573 1 | 239 | 449 920.62/920.89 c 886s | 16 | 2451918 | 135752 | 115573 1 | 239 | 449 923.11/923.38 c 889s | 16 | 2454544 | 136052 | 115573 1 | 239 | 449 925.71/925.90 c 891s | 16 | 2457518 | 136352 | 115573 1 | 239 | 449 928.91/929.17 c 894s | 16 | 2460023 | 136552 | 115573 1 | 239 | 449 931.41/931.61 c 897s | 16 | 2466054 | 136952 | 115573 1 | 239 | 449 933.71/933.90 c 899s | 16 | 2472982 | 137352 | 115573 1 | 239 | 449 936.20/936.41 c 902s | 16 | 2483163 | 137652 | 115573 1 | 239 | 449 938.40/938.70 c 904s | 16 | 2487358 | 137952 | 115573 1 | 239 | 449 940.80/941.02 c 906s | 16 | 2492120 | 138252 | 115573 1 | 239 | 449 943.00/943.25 c 909s | 16 | 2495876 | 138552 | 115573 1 | 239 | 449 945.40/945.67 c 911s | 16 | 2500174 | 138852 | 115573 1 | 239 | 449 947.90/948.16 c 913s | 16 | 2504787 | 139152 | 115573 1 | 239 | 449 950.40/950.66 c 916s | 16 | 2512811 | 139552 | 115573 1 | 239 | 449 953.10/953.31 c 919s | 16 | 2518111 | 139952 | 115573 1 | 239 | 449 960.90/961.19 c 926s | 16 | 2526742 | 140152 | 115573 1 | 239 | 449 963.10/963.38 c 929s | 16 | 2532106 | 140452 | 115573 1 | 239 | 449 965.60/965.81 c 931s | 16 | 2535244 | 140652 | 115573 1 | 239 | 449 967.90/968.13 c 933s | 16 | 2538768 | 140952 | 115573 1 | 239 | 449 970.39/970.67 c 936s | 16 | 2544374 | 141252 | 115573 1 | 239 | 449 973.49/973.73 c 939s | 16 | 2550071 | 141552 | 115573 1 | 239 | 449 976.29/976.53 c 942s | 16 | 2555829 | 141852 | 115573 1 | 239 | 449 978.80/979.05 c 944s | 16 | 2560752 | 142152 | 115573 1 | 239 | 449 981.59/981.85 c 947s | 16 | 2564313 | 142452 | 115573 1 | 239 | 449 984.29/984.58 c 950s | 16 | 2567654 | 142752 | 115573 1 | 239 | 449 987.19/987.42 c 953s | 16 | 2572614 | 143052 | 115573 1 | 239 | 449 989.89/990.15 c 955s | 16 | 2576246 | 143352 | 115573 1 | 239 | 449 992.99/993.22 c 959s | 16 | 2578077 | 143652 | 115573 1 | 239 | 449 995.98/996.25 c 962s | 16 | 2580013 | 143952 | 115573 1 | 239 | 449 998.28/998.53 c 964s | 16 | 2582042 | 144152 | 115573 1 | 239 | 449 1000.48/1000.78 c 966s | 16 | 2584560 | 144352 | 115573 1 | 239 | 449 1002.68/1002.91 c 968s | 16 | 2586371 | 144552 | 115573 1 | 239 | 449 1005.19/1005.41 c 971s | 16 | 2598678 | 144852 | 115573 1 | 239 | 449 1007.48/1007.77 c 973s | 16 | 2603239 | 145152 | 115573 1 | 239 | 449 1009.68/1009.90 c 975s | 16 | 2607480 | 145452 | 115573 1 | 239 | 449 1012.37/1012.69 c 978s | 16 | 2613785 | 145852 | 115573 1 | 239 | 449 1014.97/1015.22 c 981s | 16 | 2621234 | 146152 | 115573 1 | 239 | 449 1017.77/1018.02 c 983s | 16 | 2626283 | 146452 | 115573 1 | 239 | 449 1020.07/1020.39 c 986s | 16 | 2632033 | 146752 | 115573 1 | 239 | 449 1022.78/1023.04 c 988s | 16 | 2633705 | 147152 | 115573 1 | 239 | 449 1024.98/1025.27 c 991s | 16 | 2638310 | 147452 | 115573 1 | 239 | 449 1027.76/1028.09 c 993s | 16 | 2641709 | 147852 | 115573 1 | 239 | 449 1029.96/1030.28 c 996s | 16 | 2646076 | 148152 | 115573 1 | 239 | 449 1032.16/1032.45 c 998s | 16 | 2649823 | 148452 | 115573 1 | 239 | 449 1034.76/1035.10 c 1000s | 16 | 2661718 | 148752 | 115573 1 | 239 | 449 1037.06/1037.32 c 1003s | 16 | 2665814 | 149152 | 115573 1 | 239 | 449 1039.26/1039.59 c 1005s | 16 | 2669835 | 149452 | 115573 1 | 239 | 449 1041.76/1042.01 c 1007s | 16 | 2675527 | 149752 | 115573 1 | 239 | 449 1043.76/1044.06 c 1009s | 16 | 2679525 | 149952 | 115573 1 | 239 | 449 1046.46/1046.79 c 1012s | 16 | 2682884 | 150252 | 115573 1 | 239 | 449 1049.27/1049.51 c 1015s | 16 | 2688603 | 150552 | 115573 1 | 239 | 449 1052.16/1052.46 c 1018s | 16 | 2692766 | 150852 | 115573 1 | 239 | 449 1054.36/1054.66 c 1020s | 16 | 2698103 | 151052 | 115573 1 | 239 | 449 1057.26/1057.53 c 1023s | 16 | 2702595 | 151352 | 115573 1 | 239 | 449 1059.96/1060.23 c 1026s | 16 | 2706161 | 151652 | 115573 1 | 239 | 449 1062.26/1062.58 c 1028s | 16 | 2709092 | 151852 | 115573 1 | 239 | 449 1064.26/1064.58 c 1030s | 16 | 2712790 | 152052 | 115573 1 | 239 | 449 1067.05/1067.36 c 1033s | 16 | 2717127 | 152352 | 115573 1 | 239 | 449 1069.05/1069.37 c 1035s | 16 | 2720858 | 152552 | 115573 1 | 239 | 449 1071.05/1071.39 c 1037s | 16 | 2722512 | 152752 | 115573 1 | 239 | 449 1074.55/1074.81 c 1040s | 16 | 2726942 | 153052 | 115573 1 | 239 | 449 1076.75/1077.01 c 1042s | 16 | 2730899 | 153252 | 115573 1 | 239 | 449 1078.85/1079.15 c 1044s | 16 | 2732648 | 153452 | 115573 1 | 239 | 449 1080.95/1081.29 c 1047s | 16 | 2733787 | 153652 | 115573 1 | 239 | 449 1083.05/1083.34 c 1049s | 16 | 2737651 | 153852 | 115573 1 | 239 | 449 1085.64/1085.94 c 1051s | 16 | 2739526 | 154052 | 115573 1 | 239 | 449 1088.24/1088.53 c 1054s | 16 | 2741409 | 154352 | 115573 1 | 239 | 449 1090.34/1090.60 c 1056s | 16 | 2742184 | 154552 | 115573 1 | 239 | 449 1092.54/1092.85 c 1058s | 16 | 2749057 | 154752 | 115573 1 | 239 | 449 1095.14/1095.46 c 1061s | 16 | 2754373 | 155052 | 115573 1 | 239 | 449 1097.34/1097.64 c 1063s | 16 | 2765397 | 155352 | 115573 1 | 239 | 449 1099.84/1100.15 c 1065s | 16 | 2773056 | 155652 | 115573 1 | 239 | 449 1102.04/1102.34 c 1068s | 16 | 2781401 | 155952 | 115573 1 | 239 | 449 1104.34/1104.67 c 1070s | 16 | 2783820 | 156252 | 115573 1 | 239 | 449 1106.93/1107.27 c 1073s | 16 | 2797174 | 156552 | 115573 1 | 239 | 449 1109.43/1109.70 c 1075s | 16 | 2807089 | 156852 | 115573 1 | 239 | 449 1112.23/1112.54 c 1078s | 16 | 2813267 | 157152 | 115573 1 | 239 | 449 1114.33/1114.69 c 1080s | 16 | 2816122 | 157452 | 115573 1 | 239 | 449 1116.63/1116.98 c 1082s | 16 | 2820883 | 157752 | 115573 1 | 239 | 449 1119.02/1119.30 c 1085s | 16 | 2831405 | 158052 | 115573 1 | 239 | 449 1121.02/1121.32 c 1087s | 16 | 2837851 | 158352 | 115573 1 | 239 | 449 1123.02/1123.34 c 1089s | 16 | 2847482 | 158652 | 115573 1 | 239 | 449 1125.92/1126.21 c 1092s | 16 | 2855231 | 159052 | 115573 1 | 239 | 449 1128.02/1128.39 c 1094s | 16 | 2862427 | 159352 | 115573 1 | 239 | 449 1130.53/1130.87 c 1096s | 16 | 2870118 | 159652 | 115573 1 | 239 | 449 1133.02/1133.38 c 1099s | 16 | 2876800 | 160052 | 115573 1 | 239 | 449 1135.72/1136.01 c 1101s | 16 | 2881345 | 160352 | 115573 1 | 239 | 449 1138.22/1138.53 c 1104s | 16 | 2891786 | 160652 | 115573 1 | 239 | 449 1140.42/1140.72 c 1106s | 16 | 2896947 | 160952 | 115573 1 | 239 | 449 1142.81/1143.16 c 1108s | 16 | 2904423 | 161252 | 115573 1 | 239 | 449 1145.61/1145.98 c 1111s | 16 | 2911171 | 161552 | 115573 1 | 239 | 449 1148.51/1148.84 c 1114s | 16 | 2915904 | 161852 | 115573 1 | 239 | 449 1150.91/1151.25 c 1117s | 16 | 2922549 | 162152 | 115573 1 | 239 | 449 1153.11/1153.40 c 1119s | 16 | 2927453 | 162452 | 115573 1 | 239 | 449 1155.71/1156.00 c 1121s | 16 | 2933002 | 162752 | 115573 1 | 239 | 449 1157.90/1158.25 c 1124s | 16 | 2940169 | 163052 | 115573 1 | 239 | 449 1160.40/1160.80 c 1126s | 16 | 2948705 | 163352 | 115573 1 | 239 | 449 1163.20/1163.55 c 1129s | 16 | 2956363 | 163752 | 115573 1 | 239 | 449 1165.60/1165.95 c 1131s | 16 | 2962686 | 164052 | 115573 1 | 239 | 449 1168.09/1168.44 c 1134s | 16 | 2968735 | 164452 | 115573 1 | 239 | 449 1170.29/1170.63 c 1136s | 16 | 2972343 | 164752 | 115573 1 | 239 | 449 1172.69/1173.00 c 1138s | 16 | 2976128 | 165052 | 115573 1 | 239 | 449 1175.09/1175.47 c 1141s | 16 | 2982056 | 165352 | 115573 1 | 239 | 449 1177.39/1177.73 c 1143s | 16 | 2986867 | 165652 | 115573 1 | 239 | 449 1179.59/1179.98 c 1145s | 16 | 2990288 | 165952 | 115573 1 | 239 | 449 1182.19/1182.58 c 1148s | 16 | 2993531 | 166252 | 115573 1 | 239 | 449 1184.59/1184.98 c 1150s | 16 | 2995362 | 166552 | 115573 1 | 239 | 449 1186.79/1187.16 c 1152s | 16 | 3002166 | 166852 | 115573 1 | 239 | 449 1189.78/1190.15 c 1155s | 16 | 3004993 | 167252 | 115573 1 | 239 | 449 1192.78/1193.10 c 1158s | 16 | 3008860 | 167552 | 115573 1 | 239 | 449 1195.18/1195.53 c 1161s | 16 | 3012081 | 167852 | 115573 1 | 239 | 449 1197.68/1198.09 c 1163s | 16 | 3017418 | 168152 | 115573 1 | 239 | 449 1199.88/1200.22 c 1166s | 16 | 3021644 | 168452 | 115573 1 | 239 | 449 1201.98/1202.36 c 1168s | 16 | 3025387 | 168752 | 115573 1 | 239 | 449 1204.58/1204.96 c 1170s | 16 | 3030373 | 169052 | 115573 1 | 239 | 449 1207.48/1207.90 c 1173s | 16 | 3036475 | 169352 | 115573 1 | 239 | 449 1209.97/1210.34 c 1176s | 16 | 3041274 | 169652 | 115573 1 | 239 | 449 1212.17/1212.55 c 1178s | 16 | 3043248 | 169952 | 115573 1 | 239 | 449 1214.57/1214.93 c 1180s | 16 | 3044814 | 170252 | 115573 1 | 239 | 449 1217.87/1218.28 c 1184s | 16 | 3049464 | 170552 | 115573 1 | 239 | 449 1220.17/1220.58 c 1186s | 16 | 3054076 | 170752 | 115573 1 | 239 | 449 1222.37/1222.71 c 1188s | 16 | 3056615 | 170952 | 115573 1 | 239 | 449 1224.77/1225.18 c 1190s | 16 | 3064270 | 171252 | 115573 1 | 239 | 449 1227.06/1227.41 c 1193s | 16 | 3067134 | 171552 | 115573 1 | 239 | 449 1229.06/1229.42 c 1195s | 16 | 3069037 | 171752 | 115573 1 | 239 | 449 1231.46/1231.90 c 1197s | 16 | 3071018 | 172052 | 115573 1 | 239 | 449 1233.56/1233.93 c 1199s | 16 | 3072778 | 172252 | 115573 1 | 239 | 449 1235.66/1236.08 c 1201s | 16 | 3074747 | 172452 | 115573 1 | 239 | 449 1237.75/1238.10 c 1203s | 16 | 3076866 | 172652 | 115573 1 | 239 | 449 1240.65/1241.00 c 1206s | 16 | 3080828 | 172952 | 115573 1 | 239 | 449 1242.95/1243.35 c 1209s | 16 | 3084312 | 173252 | 115573 1 | 239 | 449 1245.65/1246.05 c 1211s | 16 | 3091318 | 173552 | 115573 1 | 239 | 449 1248.15/1248.56 c 1214s | 16 | 3102047 | 173852 | 115573 1 | 239 | 449 1250.65/1251.08 c 1216s | 16 | 3112912 | 174152 | 115573 1 | 239 | 449 1253.25/1253.66 c 1219s | 16 | 3130199 | 174552 | 115573 1 | 239 | 449 1255.85/1256.22 c 1222s | 16 | 3137305 | 174852 | 115573 1 | 239 | 449 1258.05/1258.41 c 1224s | 16 | 3142384 | 175152 | 115573 1 | 239 | 449 1260.25/1260.69 c 1226s | 16 | 3146641 | 175552 | 115573 1 | 239 | 449 1262.74/1263.12 c 1228s | 16 | 3151596 | 175852 | 115573 1 | 239 | 449 1264.84/1265.25 c 1231s | 16 | 3154995 | 176152 | 115573 1 | 239 | 449 1267.24/1267.63 c 1233s | 16 | 3160977 | 176452 | 115573 1 | 239 | 449 1269.54/1269.94 c 1235s | 16 | 3165999 | 176752 | 115573 1 | 239 | 449 1272.24/1272.63 c 1238s | 16 | 3170108 | 177052 | 115573 1 | 239 | 449 1274.84/1275.27 c 1241s | 16 | 3180387 | 177352 | 115573 1 | 239 | 449 1277.03/1277.41 c 1243s | 16 | 3185639 | 177652 | 115573 1 | 239 | 449 1279.43/1279.83 c 1245s | 16 | 3193664 | 177952 | 115573 1 | 239 | 449 1281.83/1282.25 c 1248s | 16 | 3199145 | 178252 | 115573 1 | 239 | 449 1284.33/1284.76 c 1250s | 16 | 3207114 | 178552 | 115573 1 | 239 | 449 1286.93/1287.30 c 1253s | 16 | 3213134 | 178852 | 115573 1 | 239 | 449 1289.02/1289.41 c 1255s | 16 | 3220298 | 179052 | 115573 1 | 239 | 449 1291.32/1291.73 c 1257s | 16 | 3227137 | 179352 | 115573 1 | 239 | 449 1293.42/1293.84 c 1259s | 16 | 3231054 | 179652 | 115573 1 | 239 | 449 1296.92/1297.38 c 1263s | 16 | 3234211 | 179752 | 115573 2 | 239 | 449 1299.32/1299.78 c 1265s | 16 | 3238483 | 179952 | 115573 2 | 239 | 449 1302.02/1302.45 c 1268s | 16 | 3244809 | 180352 | 115573 2 | 239 | 449 1304.32/1304.73 c 1270s | 16 | 3252686 | 180652 | 115573 2 | 239 | 449 1309.62/1310.01 c 1275s | 16 | 3265726 | 180852 | 115573 2 | 239 | 449 1311.82/1312.29 c 1278s | 16 | 3276493 | 181152 | 115573 2 | 239 | 449 1314.61/1315.02 c 1280s | 16 | 3286174 | 181552 | 115573 2 | 239 | 449 1316.61/1317.06 c 1282s | 16 | 3292110 | 181852 | 115573 2 | 239 | 449 1319.41/1319.86 c 1285s | 16 | 3298401 | 182252 | 115573 2 | 239 | 449 1321.71/1322.15 c 1287s | 16 | 3301916 | 182552 | 115573 2 | 239 | 449 1324.31/1324.72 c 1290s | 16 | 3307325 | 182952 | 115573 2 | 239 | 449 1326.61/1327.04 c 1292s | 16 | 3312859 | 183252 | 115573 2 | 239 | 449 1328.81/1329.29 c 1295s | 16 | 3319312 | 183552 | 115573 2 | 239 | 449 1331.30/1331.72 c 1297s | 16 | 3322509 | 183952 | 115573 2 | 239 | 449 1334.20/1334.61 c 1300s | 16 | 3330056 | 184452 | 115573 2 | 239 | 449 1336.80/1337.26 c 1303s | 16 | 3334884 | 184852 | 115573 2 | 239 | 449 1338.90/1339.30 c 1305s | 16 | 3342633 | 185152 | 115573 2 | 239 | 449 1341.40/1341.82 c 1307s | 16 | 3346441 | 185452 | 115573 2 | 239 | 449 1343.60/1344.03 c 1309s | 16 | 3351493 | 185752 | 115573 2 | 239 | 449 1345.80/1346.20 c 1312s | 16 | 3354955 | 186052 | 115573 2 | 239 | 449 1348.40/1348.80 c 1314s | 16 | 3360005 | 186452 | 115573 2 | 239 | 449 1350.60/1351.07 c 1316s | 16 | 3363897 | 186752 | 115573 2 | 239 | 449 1353.00/1353.44 c 1319s | 16 | 3370650 | 187052 | 115573 2 | 239 | 449 1355.60/1356.00 c 1321s | 16 | 3373273 | 187352 | 115573 2 | 239 | 449 1358.49/1358.93 c 1324s | 16 | 3378431 | 187652 | 115573 2 | 239 | 449 1361.09/1361.56 c 1327s | 16 | 3383685 | 187952 | 115573 2 | 239 | 449 1363.59/1364.06 c 1329s | 16 | 3386684 | 188252 | 115573 2 | 239 | 449 1365.89/1366.34 c 1332s | 16 | 3390381 | 188552 | 115573 2 | 239 | 449 1367.99/1368.47 c 1334s | 16 | 3395176 | 188852 | 115573 2 | 239 | 449 1370.19/1370.70 c 1336s | 16 | 3396555 | 189052 | 115573 2 | 239 | 449 1372.78/1373.22 c 1339s | 16 | 3400683 | 189352 | 115573 2 | 239 | 449 1375.58/1376.00 c 1341s | 16 | 3405206 | 189752 | 127131 2 | 239 | 449 1378.27/1378.74 c 1344s | 16 | 3410553 | 190052 | 127131 2 | 239 | 449 1380.47/1380.98 c 1346s | 16 | 3413225 | 190352 | 127131 2 | 239 | 449 1383.39/1383.84 c 1349s | 16 | 3417293 | 190652 | 127131 2 | 239 | 449 1386.08/1386.51 c 1352s | 16 | 3420473 | 190952 | 127131 2 | 239 | 449 1388.48/1388.90 c 1354s | 16 | 3422239 | 191252 | 127131 2 | 239 | 449 1390.47/1390.92 c 1356s | 16 | 3422893 | 191452 | 127131 2 | 239 | 449 1392.97/1393.44 c 1359s | 16 | 3434951 | 191852 | 127131 2 | 239 | 449 1395.37/1395.89 c 1361s | 16 | 3445917 | 192152 | 127131 2 | 239 | 449 1397.87/1398.39 c 1364s | 16 | 3456370 | 192552 | 127131 2 | 239 | 449 1399.98/1400.45 c 1366s | 16 | 3463044 | 192952 | 127131 2 | 239 | 449 1402.27/1402.73 c 1368s | 16 | 3467575 | 193252 | 127131 2 | 239 | 449 1404.38/1404.88 c 1370s | 16 | 3479664 | 193552 | 127131 2 | 239 | 449 1406.67/1407.19 c 1372s | 16 | 3484565 | 193852 | 127131 2 | 239 | 449 1409.27/1409.74 c 1375s | 16 | 3490091 | 194252 | 127131 2 | 239 | 449 1411.47/1411.98 c 1377s | 16 | 3492651 | 194552 | 127131 2 | 239 | 449 1413.97/1414.45 c 1380s | 16 | 3498166 | 194952 | 127131 2 | 239 | 449 1416.27/1416.71 c 1382s | 16 | 3503780 | 195252 | 127131 2 | 239 | 449 1418.37/1418.86 c 1384s | 16 | 3509133 | 195552 | 127131 2 | 239 | 449 1420.37/1420.89 c 1386s | 16 | 3513192 | 195852 | 127131 2 | 239 | 449 1422.97/1423.41 c 1389s | 16 | 3518490 | 196152 | 127131 2 | 239 | 449 1425.47/1425.99 c 1391s | 16 | 3522281 | 196552 | 127131 2 | 239 | 449 1427.57/1428.01 c 1393s | 16 | 3526483 | 196852 | 127131 2 | 239 | 449 1430.26/1430.70 c 1396s | 16 | 3533128 | 197152 | 127131 2 | 239 | 449 1432.46/1432.93 c 1398s | 17 | 3538415 | 197432 | 127131 2 | 239 | 449 1434.96/1435.48 c 1401s | 17 | 3545227 | 197532 | 127131 2 | 239 | 449 1444.06/1444.57 c 1410s | 17 | 3546464 | 197732 | 127131 2 | 239 | 449 1446.36/1446.89 c 1412s | 17 | 3552767 | 198032 | 127131 2 | 239 | 449 1448.95/1449.40 c 1415s | 17 | 3556813 | 198432 | 127131 2 | 239 | 449 1451.25/1451.78 c 1417s | 17 | 3560785 | 198732 | 127131 2 | 239 | 449 1453.55/1454.00 c 1419s | 17 | 3562289 | 199032 | 127131 2 | 239 | 449 1455.75/1456.24 c 1422s | 17 | 3566050 | 199332 | 127131 2 | 239 | 449 1458.46/1458.90 c 1424s | 17 | 3571551 | 199632 | 127131 2 | 239 | 449 1460.96/1461.45 c 1427s | 17 | 3580626 | 199932 | 127131 2 | 239 | 449 1463.26/1463.78 c 1429s | 17 | 3584249 | 200232 | 127131 2 | 239 | 449 1465.36/1465.86 c 1431s | 17 | 3585811 | 200432 | 127131 2 | 239 | 449 1467.76/1468.24 c 1434s | 17 | 3593516 | 200732 | 127131 2 | 239 | 449 1473.95/1474.45 c 1440s | 17 | 3594424 | 200832 | 127131 2 | 239 | 449 1476.45/1476.94 c 1442s | 17 | 3601316 | 201132 | 127131 2 | 239 | 449 1479.25/1479.70 c 1445s | 17 | 3607526 | 201432 | 127131 2 | 239 | 449 1481.55/1482.05 c 1447s | 17 | 3611651 | 201732 | 127131 2 | 239 | 449 1484.45/1484.94 c 1450s | 17 | 3618855 | 202032 | 127131 2 | 239 | 449 1486.86/1487.36 c 1453s | 17 | 3626794 | 202332 | 127131 2 | 239 | 449 1489.36/1489.86 c 1455s | 17 | 3634912 | 202632 | 127131 2 | 239 | 449 1492.06/1492.53 c 1458s | 17 | 3642560 | 202932 | 127131 2 | 239 | 449 1494.46/1494.93 c 1460s | 17 | 3651149 | 203232 | 127131 2 | 239 | 449 1497.16/1497.66 c 1463s | 17 | 3656197 | 203532 | 127131 2 | 239 | 449 1499.66/1500.19 c 1465s | 17 | 3660356 | 203832 | 127131 2 | 239 | 449 1502.45/1502.92 c 1468s | 17 | 3663655 | 204132 | 127131 2 | 239 | 449 1505.05/1505.50 c 1471s | 17 | 3667487 | 204432 | 127131 2 | 239 | 449 1507.45/1507.96 c 1473s | 17 | 3670423 | 204732 | 127131 2 | 239 | 449 1510.05/1510.55 c 1476s | 17 | 3674065 | 205032 | 127131 2 | 239 | 449 1513.05/1513.53 c 1479s | 17 | 3678924 | 205332 | 127131 2 | 239 | 449 1515.75/1516.29 c 1482s | 17 | 3682002 | 205632 | 127131 2 | 239 | 449 1518.45/1518.96 c 1484s | 17 | 3686210 | 205932 | 127131 2 | 239 | 449 1520.85/1521.31 c 1487s | 17 | 3689350 | 206232 | 127131 2 | 239 | 449 1522.94/1523.48 c 1489s | 17 | 3692493 | 206432 | 127131 2 | 239 | 449 1525.35/1525.89 c 1491s | 17 | 3697550 | 206732 | 127131 2 | 239 | 449 1528.65/1529.12 c 1494s | 17 | 3699634 | 207032 | 127131 2 | 239 | 449 1530.65/1531.13 c 1496s | 17 | 3701546 | 207232 | 127131 2 | 239 | 449 1533.65/1534.18 c 1499s | 17 | 3704070 | 207532 | 127131 2 | 239 | 449 1535.85/1536.30 c 1502s | 17 | 3705707 | 207732 | 127131 2 | 239 | 449 1538.85/1539.37 c 1505s | 17 | 3707191 | 208032 | 127131 2 | 239 | 449 1541.95/1542.45 c 1508s | 17 | 3709572 | 208332 | 127131 2 | 239 | 449 1544.45/1544.91 c 1510s | 17 | 3710817 | 208532 | 127131 2 | 239 | 449 1546.75/1547.23 c 1513s | 17 | 3713306 | 208732 | 127131 2 | 239 | 449 1549.24/1549.73 c 1515s | 17 | 3715014 | 209032 | 127131 2 | 239 | 449 1551.44/1551.94 c 1517s | 17 | 3715568 | 209332 | 127131 2 | 239 | 449 1554.34/1554.83 c 1520s | 17 | 3716172 | 209632 | 127131 2 | 239 | 449 1556.54/1557.01 c 1522s | 17 | 3716962 | 209832 | 127131 2 | 239 | 449 1600.34/1600.89 c 1566s | 17 | 3720855 | 209932 | 127131 2 | 239 | 449 1602.84/1603.35 c 1569s | 17 | 3729853 | 210232 | 127131 2 | 239 | 449 1605.94/1606.48 c 1572s | 17 | 3735429 | 210532 | 127131 2 | 239 | 449 1608.04/1608.54 c 1574s | 17 | 3739928 | 210732 | 127131 2 | 239 | 449 1610.44/1610.91 c 1576s | 17 | 3742418 | 211032 | 127131 2 | 239 | 449 1612.64/1613.11 c 1578s | 17 | 3745822 | 211232 | 127131 2 | 239 | 449 1615.84/1616.33 c 1582s | 17 | 3751363 | 211532 | 127131 2 | 239 | 449 1618.64/1619.18 c 1584s | 17 | 3755912 | 211832 | 127131 2 | 239 | 449 1620.73/1621.23 c 1587s | 17 | 3763038 | 212032 | 127131 2 | 239 | 449 1622.93/1623.44 c 1589s | 17 | 3766362 | 212232 | 127131 2 | 239 | 449 1625.13/1625.70 c 1591s | 17 | 3768579 | 212432 | 127131 2 | 239 | 449 1627.33/1627.84 c 1593s | 17 | 3771760 | 212632 | 127131 2 | 239 | 449 1629.63/1630.14 c 1595s | 17 | 3776613 | 212832 | 127131 2 | 239 | 449 1631.83/1632.32 c 1598s | 17 | 3784346 | 213132 | 127131 2 | 239 | 449 1633.93/1634.47 c 1600s | 17 | 3791143 | 213432 | 127131 2 | 239 | 449 1636.03/1636.50 c 1602s | 17 | 3798946 | 213732 | 127131 2 | 239 | 449 1638.83/1639.35 c 1605s | 17 | 3806979 | 214032 | 127131 2 | 239 | 449 1641.03/1641.52 c 1607s | 17 | 3810401 | 214332 | 127131 2 | 239 | 449 1643.63/1644.14 c 1609s | 17 | 3814391 | 214732 | 127131 2 | 239 | 449 1646.03/1646.57 c 1612s | 17 | 3818148 | 215032 | 127131 2 | 239 | 449 1648.73/1649.23 c 1615s | 17 | 3822549 | 215332 | 127131 2 | 239 | 449 1651.03/1651.53 c 1617s | 17 | 3826784 | 215632 | 127131 2 | 239 | 449 1653.33/1653.88 c 1619s | 17 | 3834495 | 215932 | 127131 2 | 239 | 449 1655.83/1656.38 c 1622s | 17 | 3842111 | 216232 | 127131 2 | 239 | 449 1658.23/1658.76 c 1624s | 17 | 3846087 | 216532 | 127131 2 | 239 | 449 1661.03/1661.54 c 1627s | 17 | 3852241 | 216832 | 127131 2 | 239 | 449 1663.63/1664.12 c 1629s | 17 | 3855732 | 217132 | 127131 2 | 239 | 449 1665.93/1666.44 c 1632s | 17 | 3861832 | 217432 | 127131 2 | 239 | 449 1668.23/1668.73 c 1634s | 17 | 3868116 | 217732 | 127131 2 | 239 | 449 1670.43/1670.97 c 1636s | 17 | 3872406 | 218032 | 127131 2 | 239 | 449 1672.63/1673.16 c 1638s | 17 | 3876209 | 218332 | 127131 2 | 239 | 449 1675.23/1675.74 c 1641s | 17 | 3882694 | 218632 | 127131 2 | 239 | 449 1677.63/1678.10 c 1643s | 17 | 3887346 | 218932 | 127131 2 | 239 | 449 1679.92/1680.45 c 1646s | 17 | 3891522 | 219232 | 127131 2 | 239 | 449 1682.22/1682.73 c 1648s | 17 | 3896761 | 219532 | 127131 2 | 239 | 449 1684.83/1685.37 c 1651s | 17 | 3903168 | 219932 | 127131 2 | 239 | 449 1688.13/1688.62 c 1654s | 17 | 3908042 | 220232 | 127131 2 | 239 | 449 1690.23/1690.75 c 1656s | 17 | 3913064 | 220532 | 127131 2 | 239 | 449 1692.72/1693.26 c 1659s | 17 | 3920446 | 220832 | 127131 2 | 239 | 449 1695.12/1695.67 c 1661s | 17 | 3928243 | 221132 | 127131 2 | 239 | 449 1697.22/1697.72 c 1663s | 17 | 3935640 | 221432 | 127131 2 | 239 | 449 1699.62/1700.16 c 1665s | 17 | 3940122 | 221732 | 127131 2 | 239 | 449 1702.22/1702.79 c 1668s | 17 | 3944164 | 222032 | 127131 2 | 239 | 449 1704.63/1705.14 c 1670s | 17 | 3949854 | 222332 | 127131 2 | 239 | 449 1707.12/1707.61 c 1673s | 17 | 3956384 | 222632 | 127131 2 | 239 | 449 1709.72/1710.25 c 1676s | 17 | 3961810 | 222932 | 127131 2 | 239 | 449 1712.33/1712.86 c 1678s | 17 | 3968490 | 223232 | 127131 2 | 239 | 449 1714.32/1714.89 c 1680s | 17 | 3972302 | 223432 | 127131 2 | 239 | 449 1716.63/1717.16 c 1682s | 17 | 3981563 | 223732 | 127131 2 | 239 | 449 1718.92/1719.44 c 1685s | 17 | 3985851 | 224032 | 127131 2 | 239 | 449 1721.52/1722.09 c 1687s | 17 | 3989758 | 224332 | 127131 2 | 239 | 449 1724.02/1724.53 c 1690s | 17 | 3995975 | 224632 | 127131 2 | 239 | 449 1726.42/1726.96 c 1692s | 17 | 3999598 | 224932 | 127131 2 | 239 | 449 1728.82/1729.38 c 1695s | 17 | 4002996 | 225232 | 127131 2 | 239 | 449 1731.31/1731.84 c 1697s | 17 | 4004807 | 225532 | 127131 2 | 239 | 449 1733.61/1734.18 c 1699s | 17 | 4010985 | 225832 | 127131 2 | 239 | 449 1735.71/1736.22 c 1702s | 17 | 4019803 | 226132 | 127131 2 | 239 | 449 1738.11/1738.65 c 1704s | 17 | 4023531 | 226432 | 127131 2 | 239 | 449 1740.21/1740.77 c 1706s | 17 | 4024833 | 226732 | 127131 2 | 239 | 449 1742.31/1742.82 c 1708s | 17 | 4028081 | 227032 | 127131 2 | 239 | 449 1744.71/1745.28 c 1711s | 17 | 4032317 | 227332 | 127131 2 | 239 | 449 1746.91/1747.48 c 1713s | 17 | 4041046 | 227632 | 127131 2 | 239 | 449 1749.41/1749.91 c 1715s | 17 | 4046860 | 227932 | 127131 2 | 239 | 449 1751.91/1752.44 c 1718s | 17 | 4060090 | 228232 | 127131 2 | 239 | 449 1754.41/1755.00 c 1720s | 17 | 4064897 | 228532 | 127131 2 | 239 | 449 1756.51/1757.03 c 1722s | 17 | 4068064 | 228732 | 127131 2 | 239 | 449 1759.21/1759.71 c 1725s | 17 | 4074864 | 229132 | 127131 2 | 239 | 449 1761.61/1762.18 c 1727s | 17 | 4080343 | 229432 | 127131 2 | 239 | 449 1764.31/1764.80 c 1730s | 17 | 4085419 | 229732 | 127131 2 | 239 | 449 1766.51/1767.07 c 1732s | 17 | 4092576 | 230032 | 127131 2 | 239 | 449 1769.42/1769.94 c 1735s | 17 | 4099929 | 230332 | 127131 2 | 239 | 449 1772.11/1772.61 c 1738s | 17 | 4103477 | 230632 | 127131 2 | 239 | 449 1774.61/1775.11 c 1740s | 17 | 4105774 | 230932 | 127131 2 | 239 | 449 1777.41/1777.92 c 1743s | 17 | 4113725 | 231232 | 127131 2 | 239 | 449 1779.91/1780.49 c 1746s | 17 | 4118797 | 231532 | 127131 2 | 239 | 449 1782.11/1782.69 c 1748s | 17 | 4122512 | 231832 | 127131 2 | 239 | 449 1784.41/1784.97 c 1750s | 17 | 4128752 | 232232 | 127131 2 | 239 | 449 1786.81/1787.32 c 1753s | 17 | 4136801 | 232632 | 127131 2 | 239 | 449 1789.22/1789.76 c 1755s | 17 | 4143110 | 232932 | 127131 2 | 239 | 449 1791.61/1792.17 c 1757s | 17 | 4150168 | 233232 | 127131 2 | 239 | 449 1794.21/1794.71 c 1760s | 17 | 4154921 | 233532 | 127131 2 | 239 | 449 1796.81/1797.37 c 1763s | 17 | 4158079 | 233932 | 127131 2 | 239 | 449 1799.31/1799.89 c 1765s | 17 | 4162345 | 234232 | 127131 2 | 239 | 449
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-4105921-1466257718/watcher-4105921-1466257718 -o /tmp/evaluation-result-4105921-1466257718/solver-4105921-1466257718 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105921-1466257718.opb pid=25681 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25684 /proc/meminfo: memFree=30594876/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=631228 CPUtime=0 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 2338 0 0 0 0 0 0 0 20 0 4 0 27821721 646377472 3210 33554432000 4194304 16246674 140735810551072 140735810550496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25684/statm: 158319 3218 441 2943 0 155213 0 [pid=25684/tid=25685] ppid=25681 vsize=648636 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 664203264 3278 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=653756 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 669446144 3295 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=657852 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 673640448 3311 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100157 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25684 /proc/meminfo: memFree=30594876/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 28483 0 0 0 5 4 0 0 20 0 4 0 27821721 1333334016 29294 33554432000 4194304 16246674 140735810551072 140735810550384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25684/statm: 325521 29305 800 2943 0 322415 0 [pid=25684/tid=25685] ppid=25681 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1333334016 29307 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1333334016 29318 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1333334016 29328 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200536 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25684 /proc/meminfo: memFree=30594876/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 50431 0 0 0 12 7 0 0 20 0 4 0 27821721 1344868352 51752 33554432000 4194304 16246674 140735810551072 140735810550384 8055400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25684/statm: 328337 51752 800 2943 0 325231 0 [pid=25684/tid=25685] ppid=25681 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1344868352 51752 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1344868352 51752 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1344868352 51752 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300505 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25684 /proc/meminfo: memFree=30594876/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 59191 0 0 0 21 8 0 0 20 0 4 0 27821721 1344868352 60512 33554432000 4194304 16246674 140735810551072 140735810550384 8058235 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25684/statm: 328337 60512 800 2943 0 325231 0 [pid=25684/tid=25685] ppid=25681 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1344868352 60512 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1344868352 60512 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1344868352 60512 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700416 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25684 /proc/meminfo: memFree=30594876/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 91838 0 0 0 56 13 0 0 20 0 4 0 27821721 1344868352 93160 33554432000 4194304 16246674 140735810551072 140735810532992 12855560 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25684/statm: 328337 93169 833 2943 0 325231 0 [pid=25684/tid=25685] ppid=25681 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1344868352 93174 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1344868352 93179 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1344868352 93184 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50042 s] /proc/loadavg: 2.00 2.00 2.00 3/183 25688 /proc/meminfo: memFree=29957672/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1343044 CPUtime=1.49 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 165834 0 0 0 124 25 0 0 20 0 4 0 27821721 1375277056 167155 33554432000 4194304 16246674 140735810551072 140735810532992 12997790 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25684/statm: 335761 167155 906 2943 0 332655 0 [pid=25684/tid=25685] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 167155 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 167155 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 167155 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1343044 [startup+3.10043 s] /proc/loadavg: 2.00 2.00 2.00 3/183 25688 /proc/meminfo: memFree=29928020/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1343044 CPUtime=3.09 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 165836 0 0 0 283 26 0 0 20 0 4 0 27821721 1375277056 167157 33554432000 4194304 16246674 140735810551072 140735810550248 13906976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25684/statm: 335761 167157 908 2943 0 332655 0 [pid=25684/tid=25685] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 167157 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 167157 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 167157 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1343044 [startup+6.30042 s] /proc/loadavg: 2.00 2.00 2.00 3/183 25688 /proc/meminfo: memFree=29927928/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1343044 CPUtime=6.29 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 165844 0 0 0 602 27 0 0 20 0 4 0 27821721 1375277056 167165 33554432000 4194304 16246674 140735810551072 140735810532992 5661064 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25684/statm: 335761 167165 915 2943 0 332655 0 [pid=25684/tid=25685] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 167165 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 167165 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 167165 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1343044 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 25688 /proc/meminfo: memFree=29901304/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1343044 CPUtime=12.68 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 172919 0 0 0 1240 28 0 0 20 0 4 0 27821721 1375277056 174240 33554432000 4194304 16246674 140735810551072 140735810532992 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25684/statm: 335761 174240 915 2943 0 332655 0 [pid=25684/tid=25685] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 174240 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 174240 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 174240 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1343044 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/183 25688 /proc/meminfo: memFree=29486780/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1343044 CPUtime=25.48 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 276461 0 0 0 2506 42 0 0 20 0 4 0 27821721 1375277056 277782 33554432000 4194304 16246674 140735810551072 140735810532992 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25684/statm: 335761 277782 915 2943 0 332655 0 [pid=25684/tid=25685] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 277782 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 277782 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 277782 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1343044 [startup+51.1005 s] /proc/loadavg: 2.00 2.00 2.00 3/183 25688 /proc/meminfo: memFree=29486628/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1343044 CPUtime=51.08 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 276462 0 0 0 5066 42 0 0 20 0 4 0 27821721 1375277056 277783 33554432000 4194304 16246674 140735810551072 140735810532992 5712004 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25684/statm: 335761 277783 916 2943 0 332655 0 [pid=25684/tid=25685] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 277783 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 277783 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 277783 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1343044 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 25692 /proc/meminfo: memFree=29485436/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1343044 CPUtime=102.27 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 276462 0 0 0 10185 42 0 0 20 0 4 0 27821721 1375277056 277783 33554432000 4194304 16246674 140735810551072 140735810532992 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25684/statm: 335761 277783 916 2943 0 332655 0 [pid=25684/tid=25685] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 277783 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 277783 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1375277056 277783 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1343044 ################ # More data... # ################ /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1369668 [startup+1362.3 s] /proc/loadavg: 2.06 2.05 2.00 3/183 25746 /proc/meminfo: memFree=29431592/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1369668 CPUtime=1361.89 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 283420 0 0 0 136136 53 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 140735810532992 5823250 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25684/statm: 342417 284443 920 2943 0 339311 0 [pid=25684/tid=25685] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1369668 [startup+1422.3 s] /proc/loadavg: 2.02 2.04 2.00 3/183 25748 /proc/meminfo: memFree=29431748/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1369668 CPUtime=1421.87 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 283444 0 0 0 142133 54 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 140735810532992 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25684/statm: 342417 284443 920 2943 0 339311 0 [pid=25684/tid=25685] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1369668 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.00 3/183 25749 /proc/meminfo: memFree=29432304/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1369668 CPUtime=1481.85 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 283444 0 0 0 148130 55 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 140735810532992 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25684/statm: 342417 284443 920 2943 0 339311 0 [pid=25684/tid=25685] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1369668 [startup+1542.31 s] /proc/loadavg: 2.04 2.03 2.00 3/183 25750 /proc/meminfo: memFree=29431936/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1369668 CPUtime=1541.85 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 283444 0 0 0 154128 57 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 140735810532992 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25684/statm: 342417 284443 920 2943 0 339311 0 [pid=25684/tid=25685] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1369668 [startup+1602.3 s] /proc/loadavg: 2.07 2.04 2.00 3/183 25751 /proc/meminfo: memFree=29431748/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1369668 CPUtime=1601.84 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 283444 0 0 0 160121 63 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 140735810532992 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25684/statm: 342417 284443 920 2943 0 339311 0 [pid=25684/tid=25685] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1369668 [startup+1662.3 s] /proc/loadavg: 2.09 2.05 2.00 3/183 25752 /proc/meminfo: memFree=29431620/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1369668 CPUtime=1661.83 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 283444 0 0 0 166120 63 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 140735810532992 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25684/statm: 342417 284443 920 2943 0 339311 0 [pid=25684/tid=25685] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1369668 [startup+1722.3 s] /proc/loadavg: 2.08 2.05 2.00 3/183 25754 /proc/meminfo: memFree=29431744/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1369668 CPUtime=1721.82 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 283444 0 0 0 172119 63 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 140735810532992 5711984 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25684/statm: 342417 284443 920 2943 0 339311 0 [pid=25684/tid=25685] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1369668 [startup+1782.3 s] /proc/loadavg: 2.03 2.04 2.00 3/183 25755 /proc/meminfo: memFree=29431368/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1369668 CPUtime=1781.81 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 283444 0 0 0 178117 64 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 140735810532992 13752859 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25684/statm: 342417 284443 920 2943 0 339311 0 [pid=25684/tid=25685] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1369668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.09 2.05 2.00 3/183 25804 /proc/meminfo: memFree=29463184/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1369668 CPUtime=1800.01 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 283444 0 0 0 179937 64 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 140735810532992 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25684/statm: 342417 284443 920 2943 0 339311 0 [pid=25684/tid=25685] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1369668 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 25684 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.09 2.05 2.00 3/183 25804 /proc/meminfo: memFree=29463184/32872528 swapFree=163656/177964 [pid=25684] ppid=25681 vsize=1369668 CPUtime=1800.01 cores=1,3,5,7 /proc/25684/stat : 25684 (toysat) R 25681 25684 20760 0 -1 4202496 283444 0 0 0 179937 64 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 140735810532992 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25684/statm: 342417 284443 920 2943 0 339311 0 [pid=25684/tid=25685] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25685/stat : 25685 (toysat) S 25681 25684 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643204906224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25684/tid=25686] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25686/stat : 25686 (toysat) S 25681 25684 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643194416368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25684/tid=25687] ppid=25681 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/25684/task/25687/stat : 25687 (toysat) S 25681 25684 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27821721 1402540032 284443 33554432000 4194304 16246674 140735810551072 139643076996272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1369668 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.38 CPU system time (s): 0.643902 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 1369668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.38 system time used= 0.643902 maximum resident set size= 1137772 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 283444 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= 336 involuntary context switches= 1855 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.69429 second user time and 6.81896 second system time The end
Begin job on node105 at 2016-06-18 15:48:38 IDJOB=4105921 IDBENCH=24959 IDSOLVER=2542 FILE ID=node105/4105921-1466257718 RUNJOBID= node105-1466229502-20777 PBS_JOBID= 19918174 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir08_trarea_ac.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105921-1466257718/watcher-4105921-1466257718 -o /tmp/evaluation-result-4105921-1466257718/solver-4105921-1466257718 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105921-1466257718.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 874e364e560c0a35495d4a91ff55ac6f RANDOM SEED=379046975 node105.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.561 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.12 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.561 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.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 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.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 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.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30595520 kB Buffers: 72648 kB Cached: 203064 kB SwapCached: 1248 kB Active: 1177556 kB Inactive: 179916 kB Active(anon): 1078808 kB Inactive(anon): 5236 kB Active(file): 98748 kB Inactive(file): 174680 kB Unevictable: 177964 kB Mlocked: 163656 kB SwapTotal: 67108856 kB SwapFree: 67097160 kB Dirty: 34492 kB Writeback: 0 kB AnonPages: 1259832 kB Mapped: 10496 kB Shmem: 0 kB Slab: 605464 kB SReclaimable: 48608 kB SUnreclaim: 556856 kB KernelStack: 1504 kB PageTables: 6480 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1403420 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node105 at 2016-06-18 16:18:39