Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-20.opb |
| MD5SUM | f8fcb3375756150bbf7abfd66b9ecade |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 147 |
| Best CPU time to get the best result obtained on this benchmark | 48.0467 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 60 |
| Total number of constraints | 20 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 20 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 570 |
| Biggest coefficient in the objective function | 19 |
| Number of bits for the biggest coefficient in the objective function | 5 |
| Sum of the numbers in the objective function | 3990 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 19 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 3990 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 570 |
| Sum of products size (including duplicates) | 1140 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-30T05:35:08+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-4119412-1467257708.opb"] 0.00/0.01 c use --random-gen="5329223 863810655 1199333061 124177496 3240558656 2796196146 2838975046 3643192313 2690034455 2851739938 1708971027 2717411335 2043877336 4293705357 1559415041 4156795171 4000643023 2908517864 1845353032 431175792 37604697 947124342 1508596367 3373697960 2008372471 3185502120 3802845948 2841852775 3472554016 1100035466 328960138 3874308312 3654242669 1792691581 92014811 2485984992 722106416 3563428033 4259494145 1561355881 1652736889 4222316106 853837819 1536473218 964668754 2632569627 183844602 498788078 1745608222 426864569 3744260475 648589822 2351836593 180634407 2749015158 2958626800 12717008 3673409913 79273907 573570657 3571753310 1286444035 3697123217 4061720441 1044919455 3565826497 1869882046 3849034499 1148965362 1430037589 1866893528 2686262469 3677045571 389300454 1592045432 1278288665 931543065 2047718837 1819364332 155974080 804513567 2496379224 3492755527 3849033982 529996842 475015527 4170459891 2026712006 733718125 1327280262 4113933811 209208094 1430876192 3029644407 2770297659 2416602419 2788398669 2460161224 3788933303 1409867964 3881569546 2505136837 2608177169 1277665518 1114883591 2531034638 2502746114 2850015477 1197931435 2840764771 1793947963 3899045479 1719668406 1699215976 4181542779 1871390123 3686494242 1441415146 347227463 2411726933 1309371087 2865469365 1099863099 4206943511 564509718 1632364462 1988059093 3795389615 2548324155 4208323908 2503181018 2401391777 4107416316 1153019460 2921063712 3859366050 1900453282 3174972924 1459739927 1111993018 1109378838 2277349476 542998508 2021464636 1995443554 3552006339 975606646 3448827768 3789906589 4112310216 3316532255 2865387264 2544080967 933734298 3370301617 4102215631 3825531205 2188897763 3663191505 526457409 2838741957 1942878928 2300320705 492743754 1340532674 2428561688 1334098234 3626169637 3935039812 618767620 3249647769 4282768058 445533785 599214817 2031609179 3802164174 4201911812 2073866079 3956859301 795817415 2805343813 2771131620 1140199853 3830741948 2707677874 3230671817 4035817598 3627232896 1520836673 1688397033 562749110 1932766274 4137952440 3342885378 3629854207 2887491748 3031980025 2080569038 3989650063 939597071 948229641 2342867313 2766532586 3068824957 1374829715 1959454578 3730604772 2935217236 19524442 807051377 3763903891 1762989956 1237365573 3111989649 2935820248 96677672 4078066039 4120455220 1183747194 2768223627 683462331 1410010710 1026669720 144243401 1130799552 1859850395 2174241218 3915790313 650346110 1731934175 3629904336 3229266331 3385159920 4287031452 1644262320 2104293125 335659319 3985858349 3130654032 1487207462 1072813789 1379004970 1715585829 1591025215 937110541 1167465408 924462923 2739380582 1602004145 3924937013 392447257 3789220508 2315687255 218432641 3635957770 302036845 255 362436" option to reproduce the execution 0.00/0.01 c #vars 60 0.00/0.01 c #constraints 20 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 413 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 590 | 0 | 413 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.002s 0.00/0.02 c #wall_clock_time = 0.002s 0.00/0.02 c #decision = 590 0.00/0.02 c #random_decision = 3 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 1140 0.00/0.02 c BCD2: updating upper bound: 3990 -> 1139 0.00/0.02 c BCD2: 0 <= obj <= 1139 0.00/0.02 c BCD2: #cores=0, #unrelaxed=570, #relaxed=0, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 413 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 575 | 6 | 413 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.002s 0.00/0.02 c #wall_clock_time = 0.002s 0.00/0.02 c #decision = 575 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 6 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 27: cost of the new core is >=1 0.00/0.02 c lower bound updated to 1 0.00/0.02 c BCD2: 1 <= obj <= 1139 0.00/0.02 c BCD2: #cores=1, #unrelaxed=543, #relaxed=27, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 413 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 719 | 14 | 413 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.002s 0.00/0.03 c #wall_clock_time = 0.002s 0.00/0.03 c #decision = 719 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 14 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 28: cost of the new core is >=1 0.00/0.03 c lower bound updated to 2 0.00/0.03 c BCD2: 2 <= obj <= 1139 0.00/0.03 c BCD2: #cores=2, #unrelaxed=515, #relaxed=55, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 413 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 620 | 12 | 413 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.002s 0.00/0.03 c #wall_clock_time = 0.002s 0.00/0.03 c #decision = 620 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 12 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 41: cost of the new core is >=1 0.00/0.03 c lower bound updated to 3 0.00/0.03 c BCD2: 3 <= obj <= 1139 0.00/0.03 c BCD2: #cores=3, #unrelaxed=474, #relaxed=96, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 413 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 879 | 23 | 413 0 | 0 | 0 0.00/0.04 c #cpu_time = 0.003s 0.00/0.04 c #wall_clock_time = 0.003s 0.00/0.04 c #decision = 879 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 23 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 39: cost of the new core is >=1 0.00/0.04 c lower bound updated to 4 0.00/0.04 c BCD2: 4 <= obj <= 1139 0.00/0.04 c BCD2: #cores=4, #unrelaxed=435, #relaxed=135, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 413 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 606 | 7 | 413 0 | 0 | 0 0.00/0.04 c #cpu_time = 0.002s 0.00/0.04 c #wall_clock_time = 0.002s 0.00/0.04 c #decision = 606 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 7 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 33: cost of the new core is >=1 0.00/0.04 c lower bound updated to 5 0.00/0.04 c BCD2: 5 <= obj <= 1139 0.00/0.04 c BCD2: #cores=5, #unrelaxed=402, #relaxed=168, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 413 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 682 | 14 | 413 0 | 0 | 0 0.00/0.04 c #cpu_time = 0.003s 0.00/0.04 c #wall_clock_time = 0.003s 0.00/0.04 c #decision = 682 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 14 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 44: cost of the new core is >=1 0.00/0.04 c lower bound updated to 6 0.00/0.04 c BCD2: 6 <= obj <= 1139 0.00/0.04 c BCD2: #cores=6, #unrelaxed=358, #relaxed=212, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 413 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 637 | 16 | 413 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.003s 0.00/0.05 c #wall_clock_time = 0.003s 0.00/0.05 c #decision = 637 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 16 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 38: cost of the new core is >=1 0.00/0.05 c lower bound updated to 7 0.00/0.05 c BCD2: 7 <= obj <= 1139 0.00/0.05 c BCD2: #cores=7, #unrelaxed=320, #relaxed=250, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 413 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 390 | 13 | 455 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.002s 0.00/0.05 c #wall_clock_time = 0.002s 0.00/0.05 c #decision = 390 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 13 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 48: cost of the new core is >=1 0.00/0.05 c lower bound updated to 8 0.00/0.05 c BCD2: 8 <= obj <= 1139 0.00/0.05 c BCD2: #cores=8, #unrelaxed=272, #relaxed=298, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 455 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 418 | 15 | 455 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.003s 0.00/0.06 c #wall_clock_time = 0.003s 0.00/0.06 c #decision = 418 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 15 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 54: cost of the new core is >=1 0.00/0.06 c lower bound updated to 9 0.00/0.06 c BCD2: 9 <= obj <= 1139 0.00/0.06 c BCD2: #cores=9, #unrelaxed=218, #relaxed=352, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=10 bias=10/11 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 455 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 261 | 7 | 455 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.002s 0.00/0.06 c #wall_clock_time = 0.002s 0.00/0.06 c #decision = 261 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 7 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 29: cost of the new core is >=1 0.00/0.06 c lower bound updated to 10 0.00/0.06 c BCD2: 10 <= obj <= 1139 0.00/0.06 c BCD2: #cores=10, #unrelaxed=189, #relaxed=381, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=11 bias=11/12 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 455 0 | 0 | 0 0.00/0.07 c 0.0s | 0 | 272 | 10 | 455 0 | 0 | 0 0.00/0.07 c #cpu_time = 0.002s 0.00/0.07 c #wall_clock_time = 0.002s 0.00/0.07 c #decision = 272 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 10 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 47: cost of the new core is >=1 0.00/0.07 c lower bound updated to 11 0.00/0.07 c BCD2: 11 <= obj <= 1139 0.00/0.07 c BCD2: #cores=11, #unrelaxed=142, #relaxed=428, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=12 bias=12/13 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 455 0 | 0 | 0 0.00/0.08 c 0.0s | 0 | 298 | 10 | 455 0 | 0 | 0 0.00/0.08 c #cpu_time = 0.002s 0.00/0.08 c #wall_clock_time = 0.002s 0.00/0.08 c #decision = 298 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 10 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 37: cost of the new core is >=1 0.00/0.08 c lower bound updated to 12 0.00/0.08 c BCD2: 12 <= obj <= 1139 0.00/0.08 c BCD2: #cores=12, #unrelaxed=105, #relaxed=465, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=13 bias=13/14 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 455 0 | 0 | 0 0.00/0.08 c 0.0s | 0 | 556 | 0 | 455 0 | 0 | 0 0.00/0.08 c #cpu_time = 0.002s 0.00/0.08 c #wall_clock_time = 0.002s 0.00/0.08 c #decision = 556 0.00/0.08 c #random_decision = 2 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 o 391 0.00/0.08 c BCD2: updating upper bound: 1139 -> 390 0.00/0.08 c BCD2: 12 <= obj <= 390 0.00/0.08 c BCD2: #cores=12, #unrelaxed=105, #relaxed=465, #hardened=0 0.00/0.08 c BCD2: #sat=2 #unsat=13 bias=13/15 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 455 0 | 0 | 1 0.00/0.09 c 0.0s | 0 | 198 | 4 | 455 0 | 0 | 1 0.00/0.09 c #cpu_time = 0.004s 0.00/0.09 c #wall_clock_time = 0.004s 0.00/0.09 c #decision = 198 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 4 0.00/0.09 c #restart = 0 0.00/0.09 o 376 0.00/0.09 c BCD2: updating upper bound: 390 -> 375 0.00/0.09 c BCD2: 12 <= obj <= 375 0.00/0.09 c BCD2: #cores=12, #unrelaxed=105, #relaxed=465, #hardened=0 0.00/0.09 c BCD2: #sat=3 #unsat=13 bias=13/16 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 455 0 | 0 | 2 0.09/0.10 c 0.0s | 0 | 154 | 25 | 455 0 | 0 | 2 0.09/0.10 c #cpu_time = 0.005s 0.09/0.10 c #wall_clock_time = 0.005s 0.09/0.10 c #decision = 154 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 25 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: relaxing 66 and merging with 6 cores into a new core of size 275: cost of the new core is >=7 0.09/0.10 c lower bound updated to 13 0.09/0.10 c BCD2: 13 <= obj <= 375 0.09/0.10 c BCD2: #cores=7, #unrelaxed=39, #relaxed=531, #hardened=0 0.09/0.10 c BCD2: #sat=3 #unsat=14 bias=14/17 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 455 0 | 58 | 2 0.09/0.13 c 0.0s | 1 | 263 | 100 | 501 0 | 58 | 112 0.09/0.17 c 0.1s | 2 | 566 | 250 | 501 0 | 58 | 112 0.19/0.24 c 0.1s | 3 | 1016 | 475 | 552 0 | 58 | 112 0.29/0.34 c 0.2s | 4 | 1616 | 813 | 608 1 | 58 | 112 0.39/0.49 c 0.4s | 5 | 2483 | 1320 | 669 2 | 58 | 112 0.69/0.73 c 0.6s | 6 | 3753 | 2081 | 736 4 | 58 | 112 0.99/1.10 c 1.0s | 7 | 5661 | 3223 | 810 6 | 58 | 112 1.59/1.64 c 1.5s | 8 | 8490 | 4936 | 892 10 | 58 | 112 2.20/2.23 c 2.1s | 9 | 12726 | 7506 | 982 15 | 58 | 112 2.99/3.09 c 3.0s | 10 | 19082 | 11361 | 1081 21 | 58 | 112 4.29/4.39 c 4.3s | 11 | 28374 | 17144 | 1190 30 | 58 | 112 6.39/6.40 c 6.3s | 11 | 42153 | 25744 | 1309 43 | 58 | 112 6.39/6.42 c 6.3s | 12 | 42263 | 25819 | 1309 43 | 58 | 112 8.39/8.43 c 8.3s | 12 | 56640 | 34819 | 1309 55 | 58 | 112 9.29/9.39 c 9.3s | 13 | 62888 | 38832 | 1440 61 | 58 | 112 11.39/11.41 c 11.3s | 13 | 77225 | 47732 | 1440 72 | 58 | 112 13.39/13.43 c 13.3s | 13 | 90889 | 56532 | 1440 83 | 58 | 112 13.79/13.89 c 13.8s | 14 | 93642 | 58352 | 1585 85 | 58 | 112 15.89/15.91 c 15.8s | 14 | 106575 | 66552 | 1585 94 | 58 | 112 17.89/17.93 c 17.8s | 14 | 118946 | 74352 | 1585 103 | 58 | 112 19.90/19.94 c 19.8s | 14 | 131526 | 82452 | 1585 112 | 58 | 112 21.29/21.34 c 21.2s | 15 | 139609 | 87632 | 1744 118 | 58 | 112 23.29/23.34 c 23.2s | 15 | 150418 | 94632 | 1744 125 | 58 | 112 25.29/25.36 c 25.3s | 15 | 161280 | 101532 | 1744 133 | 58 | 112 27.29/27.36 c 27.3s | 15 | 172355 | 108532 | 1744 140 | 58 | 112 29.29/29.36 c 29.3s | 15 | 183467 | 115732 | 1744 148 | 58 | 112 31.29/31.37 c 31.3s | 15 | 194501 | 122732 | 1744 155 | 58 | 112 33.28/33.38 c 33.3s | 15 | 206953 | 130532 | 1919 163 | 58 | 112 33.58/33.64 c 33.5s | 16 | 208560 | 131552 | 1919 164 | 58 | 112 35.58/35.65 c 35.5s | 16 | 220093 | 138952 | 1919 171 | 58 | 112 37.58/37.65 c 37.5s | 16 | 231839 | 146652 | 1919 179 | 58 | 112 39.59/39.65 c 39.6s | 16 | 244296 | 154552 | 1919 186 | 58 | 112 41.58/41.66 c 41.6s | 16 | 256895 | 162452 | 1919 194 | 58 | 112 43.58/43.66 c 43.6s | 16 | 267808 | 169552 | 1919 201 | 58 | 112 45.58/45.68 c 45.6s | 16 | 278262 | 176352 | 1919 207 | 58 | 112 47.69/47.70 c 47.6s | 16 | 288783 | 183352 | 1919 214 | 58 | 112 49.69/49.71 c 49.6s | 16 | 300205 | 190852 | 1919 221 | 58 | 112 51.39/51.41 c 51.3s | 17 | 310649 | 197432 | 2111 227 | 58 | 112 53.39/53.43 c 53.3s | 17 | 323291 | 205332 | 2111 234 | 58 | 112 55.39/55.45 c 55.3s | 17 | 335945 | 213232 | 2111 241 | 58 | 112 57.39/57.46 c 57.4s | 17 | 347005 | 220632 | 2111 248 | 58 | 112 59.39/59.49 c 59.4s | 17 | 359166 | 228432 | 2111 255 | 58 | 112 61.48/61.51 c 61.4s | 17 | 370371 | 235832 | 2111 261 | 58 | 112 63.48/63.52 c 63.4s | 17 | 381185 | 243232 | 2111 268 | 58 | 112 65.48/65.53 c 65.4s | 17 | 392336 | 250832 | 2111 274 | 58 | 112 67.48/67.55 c 67.4s | 17 | 403373 | 258232 | 2111 281 | 58 | 112 69.48/69.56 c 69.5s | 17 | 414885 | 265832 | 2111 287 | 58 | 112 71.49/71.59 c 71.5s | 17 | 425439 | 273032 | 2111 294 | 58 | 112 73.58/73.60 c 73.5s | 17 | 436459 | 280532 | 2111 300 | 58 | 112 75.58/75.61 c 75.5s | 17 | 447061 | 287632 | 2111 307 | 58 | 112 77.58/77.62 c 77.5s | 17 | 457895 | 294732 | 2323 313 | 58 | 112 77.98/78.08 c 78.0s | 18 | 460068 | 296252 | 2323 314 | 58 | 112 80.08/80.10 c 80.0s | 18 | 469496 | 302652 | 2323 319 | 58 | 112 82.08/82.11 c 82.0s | 18 | 478413 | 308852 | 2323 324 | 58 | 112 84.08/84.11 c 84.0s | 18 | 487347 | 315352 | 2323 329 | 58 | 112 86.08/86.12 c 86.0s | 18 | 497057 | 322152 | 2323 335 | 58 | 112 88.09/88.15 c 88.0s | 18 | 507610 | 329352 | 2323 341 | 58 | 112 90.08/90.16 c 90.1s | 18 | 519768 | 337152 | 2323 347 | 58 | 112 92.08/92.16 c 92.1s | 18 | 532007 | 344952 | 2323 353 | 58 | 112 94.08/94.17 c 94.1s | 18 | 542791 | 352152 | 2323 359 | 58 | 112 96.08/96.18 c 96.1s | 18 | 553379 | 359352 | 2323 365 | 58 | 112 98.18/98.21 c 98.1s | 18 | 564283 | 366652 | 2323 371 | 58 | 112 100.18/100.23 c 100s | 18 | 574801 | 373752 | 2323 376 | 58 | 112 102.18/102.27 c 102s | 18 | 586107 | 380952 | 2323 382 | 58 | 112 104.18/104.29 c 104s | 18 | 596672 | 388052 | 2323 388 | 58 | 112 106.18/106.29 c 106s | 18 | 607332 | 394952 | 2323 393 | 58 | 112 108.28/108.32 c 108s | 18 | 617475 | 401652 | 2323 399 | 58 | 112 110.28/110.33 c 110s | 18 | 627040 | 407952 | 2323 404 | 58 | 112 112.28/112.35 c 112s | 18 | 637554 | 414952 | 2323 409 | 58 | 112 114.27/114.38 c 114s | 18 | 648422 | 422252 | 2323 415 | 58 | 112 116.27/116.39 c 116s | 18 | 660278 | 429752 | 2323 421 | 58 | 112 118.27/118.39 c 118s | 18 | 671536 | 437252 | 2323 427 | 58 | 112 120.27/120.34 c 120s | 19 | 683100 | 444482 | 2556 433 | 58 | 112 122.27/122.34 c 122s | 19 | 694498 | 451582 | 2556 438 | 58 | 112 124.28/124.36 c 124s | 19 | 706110 | 458982 | 2556 443 | 58 | 112 126.27/126.37 c 126s | 19 | 718196 | 466482 | 2556 449 | 58 | 112 128.27/128.38 c 128s | 19 | 730698 | 474282 | 2556 455 | 58 | 112 130.37/130.40 c 130s | 19 | 742487 | 482182 | 2556 460 | 58 | 112 132.37/132.43 c 132s | 19 | 753746 | 489582 | 2556 466 | 58 | 112 134.37/134.43 c 134s | 19 | 765177 | 497082 | 2556 471 | 58 | 112 136.38/136.46 c 136s | 19 | 775709 | 504182 | 2556 477 | 58 | 112 138.37/138.47 c 138s | 19 | 786700 | 511382 | 2556 482 | 58 | 112 140.37/140.48 c 140s | 19 | 797756 | 518482 | 2556 487 | 58 | 112 142.37/142.49 c 142s | 19 | 808925 | 525582 | 2556 492 | 58 | 112 144.47/144.51 c 144s | 19 | 818816 | 532182 | 2556 497 | 58 | 112 146.47/146.53 c 146s | 19 | 828395 | 538482 | 2556 502 | 58 | 112 148.47/148.53 c 148s | 19 | 837995 | 544882 | 2556 507 | 58 | 112 150.47/150.54 c 150s | 19 | 846853 | 550982 | 2556 511 | 58 | 112 152.47/152.54 c 152s | 19 | 854933 | 556782 | 2556 515 | 58 | 112 154.47/154.56 c 154s | 19 | 864256 | 563082 | 2556 520 | 58 | 112 156.47/156.58 c 156s | 19 | 873415 | 569282 | 2556 525 | 58 | 112 158.57/158.60 c 158s | 19 | 882778 | 575582 | 2556 529 | 58 | 112 160.57/160.60 c 160s | 19 | 892620 | 582182 | 2556 534 | 58 | 112 162.57/162.62 c 162s | 19 | 903027 | 588982 | 2556 539 | 58 | 112 164.56/164.63 c 164s | 19 | 913218 | 595682 | 2556 544 | 58 | 112 166.56/166.64 c 166s | 19 | 922576 | 602282 | 2556 549 | 58 | 112 168.56/168.65 c 168s | 19 | 931670 | 608482 | 2556 553 | 58 | 112 170.57/170.67 c 170s | 19 | 941023 | 614682 | 2556 558 | 58 | 112 172.56/172.69 c 172s | 19 | 950148 | 620882 | 2556 563 | 58 | 112 174.66/174.71 c 174s | 19 | 959553 | 627282 | 2556 567 | 58 | 112 176.66/176.72 c 176s | 19 | 968528 | 633482 | 2556 572 | 58 | 112 178.66/178.72 c 178s | 19 | 980230 | 641082 | 2556 577 | 58 | 112 180.66/180.72 c 180s | 19 | 990740 | 648182 | 2556 583 | 58 | 112 182.67/182.74 c 182s | 19 | 1001845 | 655282 | 2556 588 | 58 | 112 184.66/184.76 c 184s | 19 | 1012130 | 662082 | 2812 593 | 58 | 112 186.16/186.22 c 186s | 20 | 1019071 | 666827 | 2812 596 | 58 | 112 188.17/188.23 c 188s | 20 | 1029691 | 673727 | 2812 601 | 58 | 112 190.16/190.26 c 190s | 20 | 1040456 | 680927 | 2812 605 | 58 | 112 192.16/192.28 c 192s | 20 | 1051052 | 687927 | 2812 610 | 58 | 112 194.26/194.31 c 194s | 20 | 1060940 | 694627 | 2812 615 | 58 | 112 196.26/196.33 c 196s | 20 | 1069870 | 700827 | 2812 619 | 58 | 112 198.26/198.36 c 198s | 20 | 1077740 | 706427 | 2812 623 | 58 | 112 200.26/200.38 c 200s | 20 | 1087645 | 712927 | 2812 627 | 58 | 112 202.36/202.41 c 202s | 20 | 1097374 | 719627 | 2812 631 | 58 | 112 204.36/204.41 c 204s | 20 | 1107262 | 726227 | 2812 636 | 58 | 112 206.36/206.42 c 206s | 20 | 1116934 | 732927 | 2812 640 | 58 | 112 208.35/208.42 c 208s | 20 | 1126955 | 739727 | 2812 645 | 58 | 112 210.35/210.44 c 210s | 20 | 1135823 | 746027 | 2812 649 | 58 | 112 212.36/212.46 c 212s | 20 | 1145009 | 752327 | 2812 653 | 58 | 112 214.35/214.47 c 214s | 20 | 1154689 | 759027 | 2812 658 | 58 | 112 216.45/216.50 c 216s | 20 | 1164879 | 765827 | 2812 663 | 58 | 112 218.45/218.51 c 218s | 20 | 1173597 | 771827 | 2812 667 | 58 | 112 220.45/220.54 c 220s | 20 | 1183298 | 778627 | 2812 671 | 58 | 112 222.45/222.55 c 222s | 20 | 1194128 | 785627 | 2812 676 | 58 | 112 224.46/224.56 c 224s | 20 | 1205298 | 792827 | 2812 681 | 58 | 112 226.45/226.57 c 226s | 20 | 1215734 | 799527 | 2812 685 | 58 | 112 228.45/228.57 c 228s | 20 | 1227661 | 807127 | 2812 690 | 58 | 112 230.45/230.57 c 230s | 20 | 1239104 | 814527 | 2812 695 | 58 | 112 232.46/232.60 c 232s | 20 | 1249281 | 821327 | 2812 700 | 58 | 112 234.56/234.61 c 234s | 20 | 1259648 | 828027 | 2812 704 | 58 | 112 236.57/236.62 c 236s | 20 | 1269163 | 834327 | 2812 709 | 58 | 112 238.56/238.64 c 238s | 20 | 1278641 | 840727 | 2812 713 | 58 | 112 240.56/240.66 c 240s | 20 | 1288932 | 847327 | 2812 717 | 58 | 112 242.56/242.67 c 242s | 20 | 1298892 | 854027 | 2812 722 | 58 | 112 244.56/244.68 c 244s | 20 | 1310962 | 861527 | 2812 727 | 58 | 112 246.65/246.70 c 246s | 20 | 1321560 | 868327 | 2812 732 | 58 | 112 248.66/248.72 c 248s | 20 | 1331814 | 875127 | 2812 736 | 58 | 112 250.65/250.73 c 250s | 20 | 1341860 | 881727 | 2812 741 | 58 | 112 252.65/252.74 c 252s | 20 | 1352168 | 888427 | 2812 745 | 58 | 112 254.65/254.77 c 254s | 20 | 1363197 | 895427 | 2812 750 | 58 | 112 256.65/256.77 c 256s | 20 | 1373531 | 902327 | 2812 754 | 58 | 112 258.75/258.80 c 258s | 20 | 1383313 | 908827 | 2812 759 | 58 | 112 260.76/260.81 c 260s | 20 | 1393240 | 915327 | 2812 763 | 58 | 112 262.75/262.83 c 262s | 20 | 1403038 | 921827 | 2812 768 | 58 | 112 264.75/264.84 c 264s | 20 | 1412197 | 928027 | 2812 772 | 58 | 112 266.75/266.86 c 266s | 20 | 1422807 | 934927 | 2812 776 | 58 | 112 268.75/268.87 c 268s | 20 | 1432983 | 941727 | 2812 781 | 58 | 112 270.75/270.88 c 270s | 20 | 1442934 | 948427 | 2812 785 | 58 | 112 272.75/272.90 c 272s | 20 | 1453186 | 955327 | 2812 790 | 58 | 112 274.85/274.90 c 274s | 20 | 1463499 | 962227 | 2812 795 | 58 | 112 276.85/276.91 c 276s | 20 | 1473734 | 969127 | 2812 799 | 58 | 112 278.85/278.93 c 278s | 20 | 1483600 | 975727 | 2812 804 | 58 | 112 280.85/280.94 c 280s | 20 | 1493104 | 982027 | 2812 808 | 58 | 112 282.85/282.95 c 282s | 20 | 1501858 | 988127 | 2812 812 | 58 | 112 284.85/284.96 c 284s | 20 | 1510510 | 994127 | 3094 816 | 58 | 112 286.85/286.94 c 286s | 21 | 1519878 | 1000345 | 3094 820 | 58 | 112 288.85/288.96 c 288s | 21 | 1531415 | 1007645 | 3094 824 | 58 | 112 290.84/290.97 c 290s | 21 | 1542402 | 1014745 | 3094 829 | 58 | 112 292.84/292.99 c 292s | 21 | 1553845 | 1021945 | 3094 833 | 58 | 112 294.85/294.99 c 294s | 21 | 1564579 | 1028845 | 3094 837 | 58 | 112 296.84/296.99 c 296s | 21 | 1575813 | 1035845 | 3094 842 | 58 | 112 298.94/299.01 c 298s | 21 | 1587390 | 1042645 | 3094 846 | 58 | 112 300.94/301.02 c 300s | 21 | 1598355 | 1049645 | 3094 850 | 58 | 112 302.94/303.03 c 302s | 21 | 1607855 | 1055945 | 3094 854 | 58 | 112 304.94/305.05 c 304s | 21 | 1617873 | 1062545 | 3094 858 | 58 | 112 306.95/307.06 c 306s | 21 | 1627888 | 1069145 | 3094 862 | 58 | 112 308.94/309.08 c 308s | 21 | 1637652 | 1075545 | 3094 866 | 58 | 112 311.04/311.10 c 310s | 21 | 1647843 | 1082045 | 3094 870 | 58 | 112 313.04/313.11 c 313s | 21 | 1656922 | 1088145 | 3094 874 | 58 | 112 315.04/315.11 c 315s | 21 | 1666676 | 1094545 | 3094 878 | 58 | 112 317.04/317.12 c 317s | 21 | 1675881 | 1101045 | 3094 882 | 58 | 112 319.05/319.14 c 319s | 21 | 1685794 | 1107745 | 3094 886 | 58 | 112 321.04/321.16 c 321s | 21 | 1695435 | 1114245 | 3094 890 | 58 | 112 323.04/323.16 c 323s | 21 | 1705692 | 1121145 | 3094 894 | 58 | 112 325.04/325.18 c 325s | 21 | 1715620 | 1127845 | 3094 898 | 58 | 112 327.04/327.19 c 327s | 21 | 1724817 | 1134245 | 3094 902 | 58 | 112 329.14/329.20 c 329s | 21 | 1735200 | 1141045 | 3094 906 | 58 | 112 331.14/331.20 c 331s | 21 | 1745229 | 1147745 | 3094 910 | 58 | 112 333.14/333.20 c 333s | 21 | 1755689 | 1154745 | 3094 915 | 58 | 112 335.14/335.23 c 335s | 21 | 1765508 | 1161445 | 3094 919 | 58 | 112 337.13/337.24 c 337s | 21 | 1775712 | 1168345 | 3094 923 | 58 | 112 339.13/339.24 c 339s | 21 | 1786638 | 1175445 | 3094 927 | 58 | 112 341.13/341.25 c 341s | 21 | 1796960 | 1182145 | 3094 931 | 58 | 112 343.14/343.26 c 343s | 21 | 1807843 | 1189045 | 3094 936 | 58 | 112 345.13/345.28 c 345s | 21 | 1818161 | 1196145 | 3094 940 | 58 | 112 347.14/347.29 c 347s | 21 | 1828557 | 1203145 | 3094 944 | 58 | 112 349.24/349.32 c 349s | 21 | 1838785 | 1210045 | 3094 948 | 58 | 112 351.24/351.33 c 351s | 21 | 1848707 | 1216845 | 3094 953 | 58 | 112 353.24/353.33 c 353s | 21 | 1858822 | 1223545 | 3094 957 | 58 | 112 355.25/355.34 c 355s | 21 | 1868768 | 1230345 | 3094 961 | 58 | 112 357.24/357.35 c 357s | 21 | 1879034 | 1237045 | 3094 965 | 58 | 112 359.24/359.37 c 359s | 21 | 1888668 | 1243545 | 3094 969 | 58 | 112 361.24/361.38 c 361s | 21 | 1897815 | 1249745 | 3094 973 | 58 | 112 363.34/363.40 c 363s | 21 | 1907426 | 1256345 | 3094 977 | 58 | 112 365.34/365.45 c 365s | 21 | 1918898 | 1263645 | 3094 981 | 58 | 112 367.34/367.46 c 367s | 21 | 1930385 | 1271145 | 3094 986 | 58 | 112 369.34/369.49 c 369s | 21 | 1941224 | 1278445 | 3094 990 | 58 | 112 371.44/371.50 c 371s | 21 | 1952661 | 1285845 | 3094 995 | 58 | 112 373.44/373.51 c 373s | 21 | 1965150 | 1293745 | 3094 1000 | 58 | 112 375.44/375.52 c 375s | 21 | 1976116 | 1300845 | 3094 1004 | 58 | 112 377.44/377.52 c 377s | 21 | 1986590 | 1307745 | 3094 1008 | 58 | 112 379.44/379.54 c 379s | 21 | 1997654 | 1314945 | 3094 1013 | 58 | 112 381.44/381.56 c 381s | 21 | 2009084 | 1322245 | 3094 1017 | 58 | 112 383.44/383.57 c 383s | 21 | 2019669 | 1329245 | 3094 1022 | 58 | 112 385.44/385.59 c 385s | 21 | 2030304 | 1336345 | 3094 1026 | 58 | 112 387.54/387.60 c 387s | 21 | 2040097 | 1342845 | 3094 1030 | 58 | 112 389.53/389.61 c 389s | 21 | 2050722 | 1349945 | 3094 1034 | 58 | 112 391.54/391.61 c 391s | 21 | 2060408 | 1356545 | 3094 1038 | 58 | 112 393.53/393.64 c 393s | 21 | 2070628 | 1363445 | 3094 1043 | 58 | 112 394.73/394.87 c 394s | 21 | 2077214 | 1367811 | 3094 1045 | 58 | 112 394.73/394.87 c #cpu_time = 394.790s 394.73/394.87 c #wall_clock_time = 394.768s 394.73/394.87 c #decision = 2077214 394.73/394.87 c #random_decision = 8542 394.73/394.87 c #conflict = 1367811 394.73/394.87 c #restart = 21 394.73/394.87 o 247 394.73/394.87 c BCD2: updating upper bound: 375 -> 246 394.73/394.87 c BCD2: 13 <= obj <= 246 394.73/394.87 c BCD2: #cores=7, #unrelaxed=39, #relaxed=531, #hardened=0 394.73/394.87 c BCD2: #sat=4 #unsat=14 bias=14/18 394.73/394.87 c Solving starts ... 394.73/394.87 c ============================[ Search Statistics ]============================ 394.73/394.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 394.73/394.87 c | | | | Limit GC | Var | Constra 394.73/394.87 c ============================================================================= 394.73/394.87 c 0.0s | 0 | 0 | 0 | 3094 0 | 58 | 113 394.84/394.95 c 0.1s | 1 | 226 | 100 | 3094 0 | 58 | 113 394.94/395.00 c 0.1s | 2 | 516 | 250 | 3094 0 | 58 | 113 394.94/395.09 c 0.2s | 3 | 965 | 475 | 3094 1 | 58 | 113 395.03/395.19 c 0.3s | 4 | 1500 | 813 | 3094 1 | 58 | 113 395.23/395.33 c 0.5s | 5 | 2342 | 1320 | 3094 1 | 58 | 113 395.43/395.58 c 0.7s | 6 | 3494 | 2081 | 3094 2 | 58 | 113 395.83/395.90 c 1.0s | 7 | 5227 | 3223 | 3094 2 | 58 | 113 396.33/396.44 c 1.6s | 8 | 7843 | 4936 | 3094 3 | 58 | 113 397.04/397.17 c 2.3s | 9 | 11729 | 7506 | 3094 5 | 58 | 113 398.03/398.15 c 3.3s | 10 | 17890 | 11361 | 3094 7 | 58 | 113 399.53/399.65 c 4.8s | 11 | 26479 | 17144 | 3094 11 | 58 | 113 401.54/401.66 c 6.8s | 11 | 38436 | 24844 | 3094 15 | 58 | 113 401.83/401.90 c 7.0s | 12 | 39840 | 25819 | 3094 16 | 58 | 113 403.83/403.92 c 9.0s | 12 | 51048 | 33219 | 3094 21 | 58 | 113 405.33/405.47 c 10.6s | 13 | 59593 | 38832 | 3094 24 | 58 | 113 407.33/407.48 c 12.6s | 13 | 71509 | 46532 | 3094 29 | 58 | 113 409.33/409.48 c 14.6s | 13 | 82929 | 54332 | 3094 33 | 58 | 113 410.43/410.54 c 15.7s | 14 | 88903 | 58352 | 3094 36 | 58 | 113 412.44/412.55 c 17.7s | 14 | 100002 | 65952 | 3094 41 | 58 | 113 414.43/414.55 c 19.7s | 14 | 111010 | 73552 | 3094 45 | 58 | 113 415.63/415.73 c 20.9s | 14 | 117404 | 77784 | 3094 48 | 58 | 113 415.63/415.73 c #cpu_time = 20.862s 415.63/415.73 c #wall_clock_time = 20.861s 415.63/415.73 c #decision = 117404 415.63/415.73 c #random_decision = 488 415.63/415.73 c #conflict = 77784 415.63/415.73 c #restart = 14 415.63/415.73 o 202 415.63/415.73 c BCD2: updating upper bound: 246 -> 201 415.63/415.74 c BCD2: 13 <= obj <= 201 415.63/415.74 c BCD2: #cores=7, #unrelaxed=39, #relaxed=531, #hardened=0 415.63/415.74 c BCD2: #sat=5 #unsat=14 bias=14/19 415.63/415.74 c Solving starts ... 415.63/415.74 c ============================[ Search Statistics ]============================ 415.63/415.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 415.63/415.74 c | | | | Limit GC | Var | Constra 415.63/415.74 c ============================================================================= 415.63/415.74 c 0.0s | 0 | 0 | 0 | 3094 0 | 58 | 114 415.63/415.77 c 0.0s | 1 | 174 | 100 | 3094 0 | 58 | 114 415.63/415.79 c 0.0s | 1 | 260 | 134 | 3094 0 | 58 | 114 415.63/415.79 c #cpu_time = 0.047s 415.63/415.79 c #wall_clock_time = 0.047s 415.63/415.79 c #decision = 260 415.63/415.79 c #random_decision = 3 415.63/415.79 c #conflict = 134 415.63/415.79 c #restart = 1 415.63/415.79 c BCD2: relaxing 39 and merging with 7 cores into a new core of size 570: cost of the new core is >=14 415.63/415.79 c lower bound updated to 14 415.63/415.79 c BCD2: 14 <= obj <= 201 415.63/415.79 c BCD2: #cores=1, #unrelaxed=0, #relaxed=570, #hardened=0 415.63/415.79 c BCD2: #sat=5 #unsat=15 bias=15/20 415.63/415.79 c Solving starts ... 415.63/415.79 c ============================[ Search Statistics ]============================ 415.63/415.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 415.63/415.79 c | | | | Limit GC | Var | Constra 415.63/415.79 c ============================================================================= 415.63/415.79 c 0.0s | 0 | 0 | 0 | 3094 0 | 121 | 114 415.74/415.84 c 0.0s | 1 | 295 | 100 | 3094 0 | 121 | 237 415.84/415.91 c 0.1s | 2 | 603 | 250 | 3094 0 | 121 | 237 415.93/416.02 c 0.2s | 3 | 1033 | 475 | 3094 0 | 121 | 237 416.03/416.17 c 0.4s | 4 | 1672 | 813 | 3094 0 | 121 | 237 416.23/416.39 c 0.6s | 5 | 2437 | 1320 | 3094 0 | 121 | 237 416.63/416.72 c 0.9s | 6 | 3645 | 2081 | 3094 0 | 121 | 237 417.13/417.22 c 1.4s | 7 | 5472 | 3223 | 3094 1 | 121 | 237 417.83/417.98 c 2.2s | 8 | 8089 | 4936 | 3094 2 | 121 | 237 418.93/419.05 c 3.3s | 9 | 11827 | 7506 | 3094 3 | 121 | 237 420.63/420.70 c 4.9s | 10 | 17825 | 11361 | 3094 6 | 121 | 237 422.63/422.74 c 6.9s | 10 | 25536 | 16161 | 3094 8 | 121 | 237 423.03/423.10 c 7.3s | 11 | 27344 | 17144 | 3094 9 | 121 | 237 425.03/425.11 c 9.3s | 11 | 35086 | 22044 | 3094 12 | 121 | 237 426.53/426.61 c 10.8s | 12 | 41139 | 25819 | 3094 14 | 121 | 237 428.53/428.62 c 12.8s | 12 | 48704 | 30619 | 3094 17 | 121 | 237 430.53/430.63 c 14.8s | 12 | 56873 | 35519 | 3094 20 | 121 | 237 431.83/431.98 c 16.2s | 13 | 62400 | 38832 | 3094 22 | 121 | 237 433.93/434.00 c 18.2s | 13 | 70784 | 43632 | 3094 25 | 121 | 237 435.93/436.03 c 20.2s | 13 | 79964 | 49132 | 3404 28 | 121 | 237 437.93/438.04 c 22.2s | 13 | 88316 | 54232 | 3404 31 | 121 | 237 439.53/439.62 c 23.8s | 14 | 95266 | 58352 | 3404 34 | 121 | 237 441.53/441.62 c 25.8s | 14 | 103945 | 63652 | 3404 37 | 121 | 237 443.53/443.65 c 27.9s | 14 | 112618 | 68952 | 3404 40 | 121 | 237 445.63/445.71 c 29.9s | 14 | 121557 | 74252 | 3404 43 | 121 | 237 447.63/447.72 c 31.9s | 14 | 130642 | 79852 | 3404 46 | 121 | 237 449.62/449.76 c 34.0s | 14 | 139632 | 85352 | 3404 49 | 121 | 237 450.52/450.62 c 34.8s | 15 | 143374 | 87632 | 3404 50 | 121 | 237 452.52/452.63 c 36.8s | 15 | 151506 | 92632 | 3404 53 | 121 | 237 454.52/454.66 c 38.9s | 15 | 160223 | 98032 | 3404 56 | 121 | 237 456.53/456.67 c 40.9s | 15 | 169366 | 103632 | 3404 59 | 121 | 237 458.52/458.69 c 42.9s | 15 | 178625 | 109232 | 3404 62 | 121 | 237 460.62/460.72 c 44.9s | 15 | 187958 | 114832 | 3404 65 | 121 | 237 462.62/462.73 c 46.9s | 15 | 197164 | 120332 | 3404 68 | 121 | 237 464.62/464.75 c 49.0s | 15 | 205308 | 125432 | 3404 71 | 121 | 237 466.62/466.78 c 51.0s | 15 | 214103 | 130432 | 3404 74 | 121 | 237 467.02/467.18 c 51.4s | 16 | 216053 | 131552 | 3404 75 | 121 | 237 469.02/469.18 c 53.4s | 16 | 225003 | 136852 | 3404 78 | 121 | 237 471.02/471.19 c 55.4s | 16 | 234208 | 142252 | 3404 81 | 121 | 237 473.12/473.20 c 57.4s | 16 | 243154 | 147752 | 3404 84 | 121 | 237 475.12/475.21 c 59.4s | 16 | 251902 | 153152 | 3404 87 | 121 | 237 477.12/477.22 c 61.4s | 16 | 261180 | 158652 | 3404 90 | 121 | 237 479.12/479.24 c 63.5s | 16 | 269459 | 163752 | 3404 93 | 121 | 237 481.12/481.25 c 65.5s | 16 | 277956 | 168952 | 3404 96 | 121 | 237 483.12/483.27 c 67.5s | 16 | 287007 | 174352 | 3404 99 | 121 | 237 485.22/485.30 c 69.5s | 16 | 296697 | 180152 | 3404 102 | 121 | 237 487.22/487.31 c 71.5s | 16 | 305451 | 185552 | 3404 105 | 121 | 237 489.22/489.32 c 73.5s | 16 | 314206 | 190752 | 3404 108 | 121 | 237 491.22/491.35 c 75.6s | 16 | 323862 | 196452 | 3404 111 | 121 | 237 491.52/491.70 c 75.9s | 17 | 325524 | 197432 | 3404 112 | 121 | 237 493.62/493.74 c 77.9s | 17 | 334894 | 203032 | 3404 115 | 121 | 237 495.61/495.76 c 80.0s | 17 | 344012 | 208432 | 3404 118 | 121 | 237 497.61/497.77 c 82.0s | 17 | 353527 | 214032 | 3404 121 | 121 | 237 499.61/499.79 c 84.0s | 17 | 362516 | 219632 | 3404 124 | 121 | 237 501.71/501.81 c 86.0s | 17 | 370913 | 224932 | 3404 127 | 121 | 237 503.72/503.83 c 88.0s | 17 | 379228 | 230132 | 3404 130 | 121 | 237 505.71/505.86 c 90.1s | 17 | 387612 | 235232 | 3404 133 | 121 | 237 507.71/507.88 c 92.1s | 17 | 396502 | 240632 | 3404 136 | 121 | 237 509.81/509.92 c 94.1s | 17 | 404622 | 245532 | 3404 139 | 121 | 237 511.81/511.92 c 96.1s | 17 | 412739 | 250732 | 3404 142 | 121 | 237 513.81/513.93 c 98.1s | 17 | 421256 | 255832 | 3404 145 | 121 | 237 515.82/515.94 c 100s | 17 | 430580 | 261232 | 3404 148 | 121 | 237 517.81/517.95 c 102s | 17 | 439498 | 266532 | 3404 151 | 121 | 237 519.81/519.97 c 104s | 17 | 448246 | 271832 | 3404 154 | 121 | 237 521.81/521.99 c 106s | 17 | 456674 | 277032 | 3404 157 | 121 | 237 523.91/524.02 c 108s | 17 | 465850 | 282332 | 3404 160 | 121 | 237 525.91/526.03 c 110s | 17 | 474276 | 287532 | 3404 162 | 121 | 237 527.91/528.07 c 112s | 17 | 483107 | 292732 | 3404 165 | 121 | 237 529.31/529.42 c 113s | 18 | 489132 | 296252 | 3404 167 | 121 | 237 531.31/531.43 c 115s | 18 | 496714 | 300952 | 3404 170 | 121 | 237 533.31/533.46 c 117s | 18 | 504951 | 305952 | 3404 173 | 121 | 237 535.31/535.47 c 119s | 18 | 512844 | 310852 | 3404 176 | 121 | 237 537.41/537.51 c 121s | 18 | 521202 | 315752 | 3404 178 | 121 | 237 539.41/539.54 c 123s | 18 | 529507 | 320952 | 3404 181 | 121 | 237 541.40/541.56 c 125s | 18 | 538022 | 325952 | 3404 184 | 121 | 237 543.41/543.57 c 127s | 18 | 546687 | 331252 | 3404 187 | 121 | 237 545.40/545.57 c 129s | 18 | 556069 | 336752 | 3404 190 | 121 | 237 547.50/547.61 c 131s | 18 | 565187 | 342152 | 3404 193 | 121 | 237 549.50/549.64 c 133s | 18 | 573639 | 347352 | 3404 196 | 121 | 237 551.50/551.65 c 135s | 18 | 581822 | 352552 | 3404 199 | 121 | 237 553.50/553.65 c 137s | 18 | 589635 | 357552 | 3404 202 | 121 | 237 555.51/555.67 c 139s | 18 | 598296 | 363152 | 3404 205 | 121 | 237 557.50/557.68 c 141s | 18 | 607583 | 368852 | 3404 208 | 121 | 237 559.50/559.69 c 143s | 18 | 616771 | 374352 | 3404 211 | 121 | 237 561.60/561.72 c 145s | 18 | 625591 | 379952 | 3404 214 | 121 | 237 563.60/563.72 c 147s | 18 | 634550 | 385252 | 3404 217 | 121 | 237 565.60/565.75 c 149s | 18 | 643117 | 390452 | 3404 220 | 121 | 237 567.61/567.75 c 151s | 18 | 651821 | 395752 | 3404 223 | 121 | 237 569.60/569.75 c 153s | 18 | 660723 | 401152 | 3404 226 | 121 | 237 571.60/571.76 c 155s | 18 | 669553 | 406452 | 3404 229 | 121 | 237 573.60/573.78 c 157s | 18 | 678380 | 411852 | 3404 232 | 121 | 237 575.70/575.81 c 160s | 18 | 687125 | 417152 | 3404 235 | 121 | 237 577.70/577.83 c 162s | 18 | 696319 | 422652 | 3404 238 | 121 | 237 579.71/579.84 c 164s | 18 | 705481 | 428152 | 3404 242 | 121 | 237 581.71/581.87 c 166s | 18 | 714498 | 433552 | 3404 245 | 121 | 237 583.81/583.90 c 168s | 18 | 723626 | 439052 | 3404 248 | 121 | 237 585.71/585.84 c 170s | 19 | 732324 | 444482 | 3404 251 | 121 | 237 587.71/587.86 c 172s | 19 | 740126 | 449482 | 3404 254 | 121 | 237 589.71/589.87 c 174s | 19 | 749112 | 454982 | 3404 257 | 121 | 237 591.81/591.91 c 176s | 19 | 758052 | 460482 | 3404 260 | 121 | 237 593.80/593.92 c 178s | 19 | 766428 | 465782 | 3404 263 | 121 | 237 595.80/595.94 c 180s | 19 | 775091 | 471082 | 3404 266 | 121 | 237 597.80/597.96 c 182s | 19 | 784112 | 476482 | 3404 269 | 121 | 237 599.80/599.97 c 184s | 19 | 791887 | 481482 | 3404 272 | 121 | 237 601.80/601.99 c 186s | 19 | 800481 | 486782 | 3404 274 | 121 | 237 603.91/604.03 c 188s | 19 | 809044 | 492082 | 3404 277 | 121 | 237 605.90/606.06 c 190s | 19 | 817456 | 497382 | 3404 280 | 121 | 237 607.90/608.07 c 192s | 19 | 826226 | 502782 | 3404 283 | 121 | 237 609.90/610.08 c 194s | 19 | 835535 | 508282 | 3404 287 | 121 | 237 611.90/612.09 c 196s | 19 | 844447 | 513682 | 3404 290 | 121 | 237 613.90/614.10 c 198s | 19 | 852643 | 518682 | 3404 292 | 121 | 237 616.01/616.12 c 200s | 19 | 861486 | 523882 | 3404 295 | 121 | 237 618.00/618.15 c 202s | 19 | 870253 | 529182 | 3404 298 | 121 | 237 620.00/620.18 c 204s | 19 | 879219 | 534582 | 3404 301 | 121 | 237 622.00/622.19 c 206s | 19 | 888616 | 540082 | 3404 304 | 121 | 237 624.00/624.19 c 208s | 19 | 897405 | 545382 | 3404 307 | 121 | 237 626.10/626.23 c 210s | 19 | 906592 | 550882 | 3404 311 | 121 | 237 628.11/628.24 c 212s | 19 | 916168 | 556682 | 3404 314 | 121 | 237 630.10/630.27 c 214s | 19 | 925632 | 562282 | 3404 317 | 121 | 237 632.20/632.30 c 216s | 19 | 934639 | 567682 | 3404 320 | 121 | 237 634.20/634.32 c 218s | 19 | 943770 | 573082 | 3404 323 | 121 | 237 636.20/636.34 c 220s | 19 | 952434 | 578582 | 3404 326 | 121 | 237 638.20/638.37 c 222s | 19 | 961471 | 584082 | 3404 329 | 121 | 237 640.20/640.37 c 224s | 19 | 970005 | 589382 | 3404 332 | 121 | 237 642.20/642.40 c 226s | 19 | 978577 | 594582 | 3404 335 | 121 | 237 644.30/644.42 c 228s | 19 | 987187 | 599882 | 3404 338 | 121 | 237 646.29/646.46 c 230s | 19 | 996230 | 605182 | 3404 341 | 121 | 237 648.29/648.47 c 232s | 19 | 1004617 | 610282 | 3404 344 | 121 | 237 650.29/650.49 c 234s | 19 | 1013702 | 615682 | 3404 347 | 121 | 237 652.39/652.53 c 236s | 19 | 1022290 | 620982 | 3404 350 | 121 | 237 654.40/654.55 c 238s | 19 | 1030963 | 626382 | 3404 353 | 121 | 237 656.39/656.56 c 240s | 19 | 1040028 | 631882 | 3404 356 | 121 | 237 658.39/658.57 c 242s | 19 | 1049019 | 637382 | 3404 359 | 121 | 237 660.39/660.57 c 244s | 19 | 1058123 | 642982 | 3404 362 | 121 | 237 662.39/662.58 c 246s | 19 | 1066859 | 648282 | 3404 365 | 121 | 237 664.40/664.58 c 248s | 19 | 1075604 | 653482 | 3404 368 | 121 | 237 666.50/666.62 c 250s | 19 | 1084174 | 658582 | 3404 371 | 121 | 237 668.49/668.64 c 252s | 19 | 1092397 | 663782 | 3404 374 | 121 | 237 669.59/669.71 c 253s | 20 | 1097445 | 666827 | 3404 376 | 121 | 237 671.59/671.74 c 255s | 20 | 1105911 | 672127 | 3404 379 | 121 | 237 673.59/673.74 c 257s | 20 | 1114872 | 677727 | 3404 382 | 121 | 237 675.59/675.76 c 259s | 20 | 1123387 | 683027 | 3404 385 | 121 | 237 677.60/677.78 c 261s | 20 | 1132137 | 688427 | 3404 388 | 121 | 237 679.59/679.79 c 264s | 20 | 1140726 | 693827 | 3404 391 | 121 | 237 681.69/681.82 c 266s | 20 | 1150736 | 699827 | 3404 394 | 121 | 237 683.69/683.82 c 268s | 20 | 1160142 | 705527 | 3404 398 | 121 | 237 685.69/685.82 c 270s | 20 | 1169003 | 710827 | 3404 401 | 121 | 237 687.69/687.84 c 272s | 20 | 1178483 | 716327 | 3404 404 | 121 | 237 689.69/689.87 c 274s | 20 | 1187511 | 721727 | 3404 407 | 121 | 237 691.69/691.88 c 276s | 20 | 1195835 | 726927 | 3404 410 | 121 | 237 693.79/693.91 c 278s | 20 | 1205104 | 732427 | 3404 413 | 121 | 237 695.78/695.91 c 280s | 20 | 1213908 | 738027 | 3404 416 | 121 | 237 697.78/697.93 c 282s | 20 | 1223922 | 743927 | 3404 419 | 121 | 237 699.78/699.95 c 284s | 20 | 1233547 | 749527 | 3404 422 | 121 | 237 701.79/701.98 c 286s | 20 | 1242652 | 755127 | 3404 425 | 121 | 237 703.78/703.99 c 288s | 20 | 1251546 | 760527 | 3404 428 | 121 | 237 705.88/706.02 c 290s | 20 | 1259392 | 765427 | 3404 431 | 121 | 237 707.88/708.03 c 292s | 20 | 1268167 | 770727 | 3404 434 | 121 | 237 709.88/710.04 c 294s | 20 | 1276675 | 775927 | 3404 437 | 121 | 237 711.88/712.06 c 296s | 20 | 1285694 | 781327 | 3404 440 | 121 | 237 713.89/714.09 c 298s | 20 | 1294598 | 786827 | 3404 443 | 121 | 237 715.98/716.12 c 300s | 20 | 1304116 | 792527 | 3745 446 | 121 | 237 717.98/718.13 c 302s | 20 | 1312943 | 798027 | 3745 449 | 121 | 237 719.98/720.13 c 304s | 20 | 1322262 | 803827 | 3745 452 | 121 | 237 721.98/722.14 c 306s | 20 | 1332039 | 809827 | 3745 455 | 121 | 237 723.98/724.17 c 308s | 20 | 1341881 | 815827 | 3745 458 | 121 | 237 725.98/726.18 c 310s | 20 | 1350967 | 821327 | 3745 461 | 121 | 237 728.07/728.20 c 312s | 20 | 1359389 | 826627 | 3745 464 | 121 | 237 730.07/730.25 c 314s | 20 | 1368483 | 832027 | 3745 467 | 121 | 237 732.07/732.26 c 316s | 20 | 1376750 | 837127 | 3745 469 | 121 | 237 734.07/734.28 c 318s | 20 | 1385552 | 842527 | 3745 472 | 121 | 237 736.06/736.28 c 320s | 20 | 1394009 | 847727 | 3745 475 | 121 | 237 738.16/738.31 c 322s | 20 | 1402818 | 853227 | 3745 477 | 121 | 237 740.17/740.32 c 324s | 20 | 1411968 | 858727 | 3745 480 | 121 | 237 742.16/742.34 c 326s | 20 | 1420434 | 863827 | 3745 483 | 121 | 237 744.16/744.37 c 328s | 20 | 1429249 | 869127 | 3745 486 | 121 | 237 746.16/746.37 c 330s | 20 | 1438505 | 874627 | 3745 488 | 121 | 237 748.16/748.39 c 332s | 20 | 1447351 | 880027 | 3745 491 | 121 | 237 750.26/750.42 c 334s | 20 | 1456547 | 885727 | 3745 494 | 121 | 237 752.26/752.44 c 336s | 20 | 1466061 | 891527 | 3745 497 | 121 | 237 754.26/754.44 c 338s | 20 | 1475414 | 897027 | 3745 500 | 121 | 237 756.25/756.45 c 340s | 20 | 1484819 | 902527 | 3745 503 | 121 | 237 758.25/758.45 c 342s | 20 | 1493957 | 907927 | 3745 505 | 121 | 237 760.25/760.48 c 344s | 20 | 1502578 | 913027 | 3745 508 | 121 | 237 762.26/762.49 c 346s | 20 | 1511731 | 918727 | 3745 511 | 121 | 237 764.35/764.54 c 348s | 20 | 1519837 | 923727 | 3745 514 | 121 | 237 766.35/766.55 c 350s | 20 | 1528660 | 929027 | 3745 516 | 121 | 237 768.35/768.55 c 352s | 20 | 1536876 | 933927 | 3745 519 | 121 | 237 770.35/770.56 c 354s | 20 | 1545055 | 939027 | 3745 521 | 121 | 237 772.35/772.57 c 356s | 20 | 1553850 | 944527 | 3745 524 | 121 | 237 774.35/774.57 c 358s | 20 | 1562808 | 950027 | 3745 527 | 121 | 237 776.45/776.61 c 360s | 20 | 1572522 | 955927 | 3745 530 | 121 | 237 778.44/778.61 c 362s | 20 | 1582308 | 961527 | 3745 533 | 121 | 237 780.44/780.63 c 364s | 20 | 1591614 | 967127 | 3745 536 | 121 | 237 782.45/782.66 c 366s | 20 | 1600613 | 972627 | 3745 539 | 121 | 237 784.45/784.69 c 368s | 20 | 1609819 | 978227 | 3745 542 | 121 | 237 786.55/786.71 c 370s | 20 | 1618892 | 983727 | 3745 544 | 121 | 237 788.55/788.71 c 372s | 20 | 1627717 | 989227 | 3745 547 | 121 | 237 790.55/790.73 c 374s | 20 | 1637649 | 995027 | 3745 550 | 121 | 237 792.55/792.73 c 376s | 21 | 1646303 | 1000345 | 3745 553 | 121 | 237 794.55/794.76 c 378s | 21 | 1655045 | 1005745 | 3745 556 | 121 | 237 796.64/796.81 c 381s | 21 | 1663846 | 1011245 | 3745 559 | 121 | 237 798.64/798.81 c 383s | 21 | 1673861 | 1017145 | 3745 562 | 121 | 237 800.65/800.84 c 385s | 21 | 1683087 | 1022745 | 3745 564 | 121 | 237 802.64/802.85 c 387s | 21 | 1692354 | 1028345 | 3745 567 | 121 | 237 804.64/804.86 c 389s | 21 | 1701183 | 1033745 | 3745 570 | 121 | 237 806.64/806.86 c 391s | 21 | 1710514 | 1039445 | 3745 573 | 121 | 237 808.64/808.87 c 393s | 21 | 1719131 | 1044845 | 3745 576 | 121 | 237 810.65/810.88 c 395s | 21 | 1728327 | 1050345 | 3745 579 | 121 | 237 812.64/812.89 c 397s | 21 | 1737567 | 1055945 | 3745 581 | 121 | 237 814.64/814.89 c 399s | 21 | 1746278 | 1061345 | 3745 584 | 121 | 237 816.74/816.91 c 401s | 21 | 1755686 | 1067045 | 3745 587 | 121 | 237 818.74/818.95 c 403s | 21 | 1765215 | 1072745 | 3745 590 | 121 | 237 820.74/820.97 c 405s | 21 | 1773929 | 1078045 | 3745 593 | 121 | 237 822.74/822.98 c 407s | 21 | 1782462 | 1083345 | 3745 596 | 121 | 237 824.73/824.99 c 409s | 21 | 1790538 | 1088545 | 3745 598 | 121 | 237 826.83/827.00 c 411s | 21 | 1798808 | 1093645 | 3745 601 | 121 | 237 828.83/829.01 c 413s | 21 | 1807468 | 1099045 | 3745 604 | 121 | 237 830.83/831.01 c 415s | 21 | 1816321 | 1104445 | 3745 606 | 121 | 237 832.83/833.04 c 417s | 21 | 1825124 | 1109945 | 3745 609 | 121 | 237 834.84/835.07 c 419s | 21 | 1834379 | 1115545 | 3745 612 | 121 | 237 836.83/837.09 c 421s | 21 | 1843664 | 1121245 | 3745 615 | 121 | 237 838.93/839.13 c 423s | 21 | 1852821 | 1126845 | 3745 618 | 121 | 237 840.93/841.16 c 425s | 21 | 1860623 | 1131745 | 3745 620 | 121 | 237 842.93/843.19 c 427s | 21 | 1869741 | 1137145 | 3745 623 | 121 | 237 845.03/845.21 c 429s | 21 | 1879389 | 1142645 | 3745 626 | 121 | 237 847.03/847.23 c 431s | 21 | 1888502 | 1148245 | 3745 629 | 121 | 237 849.03/849.25 c 433s | 21 | 1896997 | 1153545 | 3745 632 | 121 | 237 851.03/851.27 c 435s | 21 | 1905689 | 1159045 | 3745 634 | 121 | 237 853.03/853.29 c 437s | 21 | 1914963 | 1164545 | 3745 637 | 121 | 237 855.12/855.32 c 439s | 21 | 1923195 | 1169645 | 3745 640 | 121 | 237 857.12/857.35 c 441s | 21 | 1931387 | 1174745 | 3745 643 | 121 | 237 859.12/859.37 c 443s | 21 | 1939917 | 1180045 | 3745 645 | 121 | 237 861.13/861.39 c 445s | 21 | 1947769 | 1184945 | 3745 648 | 121 | 237 863.22/863.41 c 447s | 21 | 1956335 | 1190345 | 3745 651 | 121 | 237 865.22/865.43 c 449s | 21 | 1964449 | 1195445 | 3745 653 | 121 | 237 867.22/867.44 c 451s | 21 | 1972927 | 1200545 | 3745 656 | 121 | 237 869.22/869.46 c 453s | 21 | 1981258 | 1205745 | 3745 658 | 121 | 237 871.21/871.49 c 455s | 21 | 1989641 | 1211045 | 3745 661 | 121 | 237 873.32/873.52 c 457s | 21 | 1997674 | 1216245 | 3745 664 | 121 | 237 875.31/875.54 c 459s | 21 | 2005734 | 1221245 | 3745 666 | 121 | 237 877.31/877.58 c 461s | 21 | 2014368 | 1226445 | 3745 669 | 121 | 237 879.31/879.59 c 463s | 21 | 2022414 | 1231545 | 3745 672 | 121 | 237 881.41/881.61 c 465s | 21 | 2031057 | 1236745 | 3745 674 | 121 | 237 883.41/883.63 c 467s | 21 | 2039573 | 1241845 | 3745 677 | 121 | 237 885.41/885.64 c 469s | 21 | 2048852 | 1247245 | 3745 680 | 121 | 237 887.40/887.65 c 471s | 21 | 2057782 | 1252645 | 3745 682 | 121 | 237 889.40/889.68 c 473s | 21 | 2066901 | 1258045 | 3745 685 | 121 | 237 891.50/891.71 c 475s | 21 | 2076118 | 1263445 | 3745 688 | 121 | 237 893.50/893.74 c 477s | 21 | 2085157 | 1268745 | 3745 691 | 121 | 237 895.50/895.78 c 479s | 21 | 2094283 | 1274145 | 3745 694 | 121 | 237 897.50/897.79 c 481s | 21 | 2103182 | 1279545 | 3745 696 | 121 | 237 899.60/899.81 c 484s | 21 | 2111902 | 1284745 | 3745 699 | 121 | 237 901.60/901.84 c 486s | 21 | 2121279 | 1290245 | 3745 702 | 121 | 237 903.60/903.84 c 488s | 21 | 2129658 | 1295445 | 3745 704 | 121 | 237 905.59/905.88 c 490s | 21 | 2138432 | 1300845 | 3745 707 | 121 | 237 907.69/907.91 c 492s | 21 | 2147698 | 1306445 | 3745 710 | 121 | 237 909.69/909.92 c 494s | 21 | 2156836 | 1312045 | 3745 713 | 121 | 237 911.71/911.95 c 496s | 21 | 2165189 | 1317345 | 3745 716 | 121 | 237 913.70/913.98 c 498s | 21 | 2173344 | 1322445 | 3745 718 | 121 | 237 915.69/915.99 c 500s | 21 | 2181841 | 1327645 | 3745 721 | 121 | 237 917.79/918.00 c 502s | 21 | 2190198 | 1332645 | 3745 724 | 121 | 237 919.79/920.03 c 504s | 21 | 2199103 | 1338145 | 3745 726 | 121 | 237 921.79/922.04 c 506s | 21 | 2208276 | 1343745 | 3745 729 | 121 | 237 923.80/924.04 c 508s | 21 | 2217515 | 1349245 | 3745 732 | 121 | 237 925.79/926.05 c 510s | 21 | 2226702 | 1354745 | 3745 735 | 121 | 237 927.79/928.07 c 512s | 21 | 2234514 | 1359645 | 3745 737 | 121 | 237 929.79/930.08 c 514s | 21 | 2243030 | 1364745 | 3745 740 | 121 | 237 931.79/932.08 c 516s | 21 | 2251321 | 1369745 | 3745 743 | 121 | 237 933.80/934.08 c 518s | 21 | 2259044 | 1374645 | 3745 745 | 121 | 237 935.79/936.09 c 520s | 21 | 2268056 | 1380045 | 3745 748 | 121 | 237 937.88/938.10 c 522s | 21 | 2276795 | 1385345 | 3745 751 | 121 | 237 939.88/940.11 c 524s | 21 | 2285096 | 1390445 | 3745 753 | 121 | 237 941.88/942.12 c 526s | 21 | 2293860 | 1395645 | 3745 756 | 121 | 237 943.88/944.13 c 528s | 21 | 2302450 | 1400845 | 3745 759 | 121 | 237 945.89/946.15 c 530s | 21 | 2311505 | 1406445 | 3745 761 | 121 | 237 947.88/948.15 c 532s | 21 | 2319741 | 1411545 | 3745 764 | 121 | 237 949.98/950.20 c 534s | 21 | 2327680 | 1416445 | 3745 767 | 121 | 237 951.98/952.22 c 536s | 21 | 2336566 | 1421645 | 3745 769 | 121 | 237 953.98/954.24 c 538s | 21 | 2344822 | 1426645 | 3745 772 | 121 | 237 955.97/956.27 c 540s | 21 | 2353132 | 1431845 | 3745 774 | 121 | 237 958.07/958.30 c 542s | 21 | 2361738 | 1436945 | 3745 777 | 121 | 237 960.08/960.33 c 544s | 21 | 2370489 | 1442245 | 3745 780 | 121 | 237 962.07/962.36 c 546s | 21 | 2379071 | 1447445 | 3745 783 | 121 | 237 964.07/964.36 c 548s | 21 | 2387996 | 1452845 | 3745 785 | 121 | 237 966.07/966.39 c 550s | 21 | 2396498 | 1458045 | 3745 788 | 121 | 237 968.17/968.40 c 552s | 21 | 2404131 | 1463145 | 3745 791 | 121 | 237 970.17/970.43 c 554s | 21 | 2412148 | 1468345 | 3745 793 | 121 | 237 972.17/972.44 c 556s | 21 | 2420840 | 1473545 | 3745 796 | 121 | 237 974.17/974.46 c 558s | 21 | 2429724 | 1478745 | 3745 799 | 121 | 237 976.16/976.48 c 560s | 21 | 2437886 | 1483445 | 3745 801 | 121 | 237 978.26/978.50 c 562s | 21 | 2446194 | 1488745 | 3745 804 | 121 | 237 980.26/980.53 c 564s | 21 | 2455123 | 1494245 | 3745 807 | 121 | 237 982.26/982.55 c 566s | 21 | 2463801 | 1499645 | 3745 809 | 121 | 237 982.66/982.90 c 567s | 22 | 2465416 | 1500622 | 3745 810 | 121 | 237 984.66/984.92 c 569s | 22 | 2472915 | 1505222 | 3745 812 | 121 | 237 986.66/986.94 c 571s | 22 | 2481415 | 1510522 | 3745 815 | 121 | 237 988.66/988.97 c 573s | 22 | 2489826 | 1515722 | 3745 818 | 121 | 237 990.66/990.97 c 575s | 22 | 2498163 | 1521122 | 3745 820 | 121 | 237 992.66/992.99 c 577s | 22 | 2506526 | 1526422 | 3745 823 | 121 | 237 994.75/995.00 c 579s | 22 | 2514885 | 1531422 | 3745 826 | 121 | 237 996.75/997.01 c 581s | 22 | 2523840 | 1537022 | 3745 829 | 121 | 237 998.75/999.04 c 583s | 22 | 2532932 | 1542622 | 3745 831 | 121 | 237 1000.76/1001.04 c 585s | 22 | 2541368 | 1547722 | 3745 834 | 121 | 237 1002.75/1003.05 c 587s | 22 | 2550201 | 1553022 | 3745 837 | 121 | 237 1004.75/1005.08 c 589s | 22 | 2558679 | 1558422 | 3745 840 | 121 | 237 1006.75/1007.09 c 591s | 22 | 2567182 | 1563522 | 3745 842 | 121 | 237 1008.85/1009.12 c 593s | 22 | 2575933 | 1568922 | 3745 845 | 121 | 237 1010.85/1011.17 c 595s | 22 | 2585461 | 1574522 | 3745 848 | 121 | 237 1012.85/1013.20 c 597s | 22 | 2593660 | 1579622 | 3745 850 | 121 | 237 1014.94/1015.23 c 599s | 22 | 2602169 | 1585022 | 3745 853 | 121 | 237 1016.94/1017.26 c 601s | 22 | 2610766 | 1590322 | 3745 856 | 121 | 237 1018.94/1019.27 c 603s | 22 | 2619202 | 1595422 | 3745 858 | 121 | 237 1020.94/1021.27 c 605s | 22 | 2627105 | 1600222 | 3745 861 | 121 | 237 1022.94/1023.29 c 607s | 22 | 2635807 | 1605422 | 3745 864 | 121 | 237 1024.94/1025.30 c 609s | 22 | 2644306 | 1610522 | 3745 866 | 121 | 237 1027.03/1027.32 c 611s | 22 | 2652681 | 1615522 | 3745 869 | 121 | 237 1029.03/1029.34 c 613s | 22 | 2660688 | 1620422 | 3745 871 | 121 | 237 1031.03/1031.34 c 615s | 22 | 2669478 | 1625522 | 3745 874 | 121 | 237 1033.03/1033.35 c 617s | 22 | 2677786 | 1630522 | 3745 876 | 121 | 237 1035.03/1035.36 c 619s | 22 | 2685592 | 1635322 | 3745 879 | 121 | 237 1037.04/1037.39 c 621s | 22 | 2693840 | 1640322 | 3745 882 | 121 | 237 1039.13/1039.42 c 623s | 22 | 2702071 | 1645322 | 3745 884 | 121 | 237 1041.13/1041.44 c 625s | 22 | 2710558 | 1650622 | 3745 887 | 121 | 237 1043.13/1043.45 c 627s | 22 | 2719425 | 1655822 | 3745 889 | 121 | 237 1045.12/1045.49 c 629s | 22 | 2727628 | 1660822 | 3745 892 | 121 | 237 1047.22/1047.52 c 631s | 22 | 2735892 | 1665822 | 3745 895 | 121 | 237 1049.23/1049.56 c 633s | 22 | 2744006 | 1670922 | 3745 897 | 121 | 237 1051.22/1051.59 c 635s | 22 | 2752182 | 1676022 | 3745 900 | 121 | 237 1053.32/1053.60 c 637s | 22 | 2760227 | 1681122 | 3745 902 | 121 | 237 1055.32/1055.63 c 639s | 22 | 2768661 | 1686322 | 3745 905 | 121 | 237 1057.32/1057.64 c 641s | 22 | 2777259 | 1691422 | 3745 908 | 121 | 237 1059.32/1059.66 c 643s | 22 | 2786348 | 1696822 | 3745 911 | 121 | 237 1061.32/1061.67 c 645s | 22 | 2793875 | 1701722 | 3745 913 | 121 | 237 1063.31/1063.69 c 647s | 22 | 2802097 | 1706822 | 3745 916 | 121 | 237 1065.42/1065.71 c 649s | 22 | 2809723 | 1711722 | 3745 918 | 121 | 237 1067.42/1067.75 c 651s | 22 | 2817812 | 1716822 | 3745 921 | 121 | 237 1069.42/1069.77 c 653s | 22 | 2826020 | 1721922 | 3745 923 | 121 | 237 1071.42/1071.77 c 655s | 22 | 2833761 | 1726922 | 3745 926 | 121 | 237 1073.52/1073.80 c 658s | 22 | 2841654 | 1731922 | 3745 929 | 121 | 237 1075.52/1075.81 c 660s | 22 | 2849461 | 1736822 | 3745 931 | 121 | 237 1077.51/1077.82 c 662s | 22 | 2857127 | 1741722 | 3745 934 | 121 | 237 1079.51/1079.83 c 664s | 22 | 2865650 | 1747022 | 3745 936 | 121 | 237 1081.51/1081.84 c 666s | 22 | 2873823 | 1752022 | 3745 939 | 121 | 237 1083.51/1083.84 c 668s | 22 | 2882300 | 1757122 | 3745 941 | 121 | 237 1085.51/1085.85 c 670s | 22 | 2891047 | 1762422 | 3745 944 | 121 | 237 1087.51/1087.86 c 672s | 22 | 2899756 | 1767722 | 3745 947 | 121 | 237 1089.51/1089.88 c 674s | 22 | 2908505 | 1772922 | 3745 950 | 121 | 237 1091.61/1091.90 c 676s | 22 | 2917034 | 1778222 | 3745 952 | 121 | 237 1093.61/1093.93 c 678s | 22 | 2924910 | 1783322 | 3745 955 | 121 | 237 1095.60/1095.94 c 680s | 22 | 2933517 | 1788522 | 3745 958 | 121 | 237 1097.61/1097.94 c 682s | 22 | 2942372 | 1793922 | 3745 960 | 121 | 237 1099.60/1099.97 c 684s | 22 | 2951656 | 1799422 | 3745 963 | 121 | 237 1101.60/1101.98 c 686s | 22 | 2961165 | 1804922 | 3745 966 | 121 | 237 1103.70/1104.00 c 688s | 22 | 2969356 | 1809922 | 3745 969 | 121 | 237 1105.70/1106.01 c 690s | 22 | 2978204 | 1815122 | 3745 971 | 121 | 237 1107.70/1108.02 c 692s | 22 | 2986609 | 1820122 | 3745 974 | 121 | 237 1109.70/1110.02 c 694s | 22 | 2995000 | 1825222 | 3745 976 | 121 | 237 1111.70/1112.05 c 696s | 22 | 3003415 | 1830322 | 3745 979 | 121 | 237 1113.70/1114.06 c 698s | 22 | 3011500 | 1835522 | 3745 982 | 121 | 237 1115.69/1116.09 c 700s | 22 | 3019958 | 1840622 | 3745 984 | 121 | 237 1117.79/1118.11 c 702s | 22 | 3027562 | 1845222 | 3745 987 | 121 | 237 1119.79/1120.13 c 704s | 22 | 3035675 | 1850222 | 3745 989 | 121 | 237 1121.80/1122.15 c 706s | 22 | 3044324 | 1855522 | 3745 992 | 121 | 237 1123.79/1124.17 c 708s | 22 | 3052603 | 1860622 | 3745 995 | 121 | 237 1125.88/1126.20 c 710s | 22 | 3061073 | 1865722 | 3745 997 | 121 | 237 1127.88/1128.23 c 712s | 22 | 3069314 | 1870822 | 3745 1000 | 121 | 237 1129.88/1130.23 c 714s | 22 | 3077402 | 1875722 | 3745 1002 | 121 | 237 1131.88/1132.27 c 716s | 22 | 3086116 | 1881022 | 3745 1005 | 121 | 237 1133.89/1134.29 c 718s | 22 | 3094323 | 1886122 | 3745 1008 | 121 | 237 1135.99/1136.31 c 720s | 22 | 3102307 | 1891122 | 3745 1010 | 121 | 237 1137.98/1138.34 c 722s | 22 | 3110032 | 1895922 | 3745 1013 | 121 | 237 1139.98/1140.35 c 724s | 22 | 3118206 | 1900822 | 3745 1015 | 121 | 237 1141.98/1142.37 c 726s | 22 | 3126527 | 1905622 | 3745 1018 | 121 | 237 1143.98/1144.39 c 728s | 22 | 3135406 | 1910822 | 4120 1020 | 121 | 237 1146.08/1146.43 c 730s | 22 | 3144331 | 1915922 | 4120 1022 | 121 | 237 1148.08/1148.47 c 732s | 22 | 3152798 | 1920922 | 4120 1025 | 121 | 237 1150.08/1150.49 c 734s | 22 | 3161148 | 1926022 | 4120 1027 | 121 | 237 1152.17/1152.53 c 736s | 22 | 3169144 | 1931022 | 4120 1029 | 121 | 237 1154.17/1154.54 c 738s | 22 | 3176563 | 1935522 | 4120 1032 | 121 | 237 1156.17/1156.54 c 740s | 22 | 3184154 | 1940122 | 4120 1034 | 121 | 237 1158.17/1158.56 c 742s | 22 | 3191926 | 1944822 | 4120 1036 | 121 | 237 1160.17/1160.59 c 744s | 22 | 3200309 | 1949822 | 4120 1038 | 121 | 237 1162.27/1162.61 c 746s | 22 | 3208056 | 1954522 | 4120 1040 | 121 | 237 1164.27/1164.62 c 748s | 22 | 3216562 | 1959422 | 4120 1043 | 121 | 237 1166.27/1166.63 c 750s | 22 | 3224994 | 1964522 | 4120 1045 | 121 | 237 1168.27/1168.66 c 752s | 22 | 3233237 | 1969422 | 4120 1047 | 121 | 237 1170.27/1170.68 c 754s | 22 | 3241627 | 1974422 | 4120 1050 | 121 | 237 1172.37/1172.75 c 756s | 22 | 3249985 | 1979322 | 4120 1052 | 121 | 237 1174.36/1174.78 c 758s | 22 | 3257801 | 1984022 | 4120 1054 | 121 | 237 1176.46/1176.82 c 761s | 22 | 3266034 | 1988922 | 4120 1057 | 121 | 237 1178.46/1178.86 c 763s | 22 | 3274099 | 1993722 | 4120 1059 | 121 | 237 1180.46/1180.88 c 765s | 22 | 3281776 | 1998422 | 4120 1061 | 121 | 237 1182.56/1182.90 c 767s | 22 | 3290018 | 2003322 | 4120 1063 | 121 | 237 1184.55/1184.92 c 769s | 22 | 3298681 | 2008522 | 4120 1066 | 121 | 237 1186.56/1186.95 c 771s | 22 | 3307478 | 2013822 | 4120 1068 | 121 | 237 1188.55/1188.98 c 773s | 22 | 3315452 | 2018722 | 4120 1070 | 121 | 237 1190.65/1191.00 c 775s | 22 | 3323140 | 2023422 | 4120 1073 | 121 | 237 1192.65/1193.01 c 777s | 22 | 3331857 | 2028522 | 4120 1075 | 121 | 237 1194.65/1195.04 c 779s | 22 | 3340786 | 2033822 | 4120 1078 | 121 | 237 1196.65/1197.04 c 781s | 22 | 3348603 | 2038622 | 4120 1080 | 121 | 237 1198.65/1199.08 c 783s | 22 | 3356772 | 2043622 | 4120 1082 | 121 | 237 1200.75/1201.11 c 785s | 22 | 3364768 | 2048422 | 4120 1084 | 121 | 237 1202.75/1203.13 c 787s | 22 | 3372917 | 2053322 | 4120 1087 | 121 | 237 1204.74/1205.15 c 789s | 22 | 3380970 | 2058022 | 4120 1089 | 121 | 237 1206.74/1207.18 c 791s | 22 | 3389900 | 2063222 | 4120 1091 | 121 | 237 1208.74/1209.19 c 793s | 22 | 3398188 | 2068122 | 4120 1094 | 121 | 237 1210.85/1211.20 c 795s | 22 | 3406780 | 2073422 | 4120 1096 | 121 | 237 1212.84/1213.20 c 797s | 22 | 3415104 | 2078322 | 4120 1098 | 121 | 237 1214.83/1215.22 c 799s | 22 | 3422942 | 2083322 | 4120 1101 | 121 | 237 1216.83/1217.25 c 801s | 22 | 3431424 | 2088422 | 4120 1103 | 121 | 237 1218.83/1219.28 c 803s | 22 | 3439271 | 2093322 | 4120 1105 | 121 | 237 1220.83/1221.28 c 805s | 22 | 3447083 | 2098022 | 4120 1108 | 121 | 237 1222.84/1223.30 c 807s | 22 | 3454948 | 2103122 | 4120 1110 | 121 | 237 1224.93/1225.32 c 809s | 22 | 3463085 | 2108022 | 4120 1112 | 121 | 237 1226.93/1227.34 c 811s | 22 | 3471194 | 2113022 | 4120 1115 | 121 | 237 1228.93/1229.34 c 813s | 22 | 3478612 | 2117722 | 4120 1117 | 121 | 237 1230.93/1231.39 c 815s | 22 | 3487311 | 2122822 | 4120 1119 | 121 | 237 1233.03/1233.41 c 817s | 22 | 3496044 | 2127822 | 4120 1122 | 121 | 237 1235.03/1235.45 c 819s | 22 | 3504777 | 2132922 | 4120 1124 | 121 | 237 1237.02/1237.46 c 821s | 22 | 3513720 | 2138222 | 4120 1126 | 121 | 237 1239.02/1239.48 c 823s | 22 | 3521818 | 2143222 | 4120 1129 | 121 | 237 1241.12/1241.51 c 825s | 22 | 3530407 | 2148422 | 4120 1131 | 121 | 237 1243.12/1243.52 c 827s | 22 | 3539009 | 2153522 | 4120 1134 | 121 | 237 1245.12/1245.54 c 829s | 22 | 3547673 | 2158722 | 4120 1136 | 121 | 237 1247.12/1247.57 c 831s | 22 | 3555982 | 2163822 | 4120 1138 | 121 | 237 1249.12/1249.57 c 833s | 22 | 3563074 | 2168422 | 4120 1141 | 121 | 237 1251.21/1251.60 c 835s | 22 | 3570747 | 2173122 | 4120 1143 | 121 | 237 1253.21/1253.62 c 837s | 22 | 3579567 | 2178222 | 4120 1145 | 121 | 237 1255.21/1255.66 c 839s | 22 | 3588335 | 2183422 | 4120 1148 | 121 | 237 1257.21/1257.67 c 841s | 22 | 3597186 | 2188622 | 4120 1150 | 121 | 237 1259.31/1259.70 c 843s | 22 | 3606000 | 2193822 | 4120 1152 | 121 | 237 1261.31/1261.75 c 845s | 22 | 3614038 | 2198822 | 4120 1155 | 121 | 237 1263.31/1263.77 c 847s | 22 | 3622756 | 2203822 | 4120 1157 | 121 | 237 1265.32/1265.79 c 850s | 22 | 3631133 | 2208822 | 4120 1159 | 121 | 237 1267.42/1267.81 c 852s | 22 | 3639017 | 2213722 | 4120 1162 | 121 | 237 1269.42/1269.83 c 854s | 22 | 3647168 | 2218422 | 4120 1164 | 121 | 237 1271.41/1271.87 c 856s | 22 | 3655381 | 2223422 | 4120 1166 | 121 | 237 1273.42/1273.87 c 858s | 22 | 3663487 | 2228322 | 4120 1169 | 121 | 237 1275.51/1275.91 c 860s | 22 | 3671747 | 2233322 | 4120 1171 | 121 | 237 1277.51/1277.93 c 862s | 22 | 3680151 | 2238322 | 4120 1173 | 121 | 237 1279.51/1279.95 c 864s | 22 | 3688135 | 2243122 | 4120 1176 | 121 | 237 1281.61/1282.00 c 866s | 22 | 3696290 | 2248022 | 4120 1178 | 121 | 237 1282.81/1283.22 c 867s | 23 | 3701225 | 2251038 | 4120 1179 | 121 | 237 1284.80/1285.26 c 869s | 23 | 3707951 | 2255338 | 4120 1181 | 121 | 237 1286.80/1287.27 c 871s | 23 | 3716382 | 2260338 | 4120 1184 | 121 | 237 1288.81/1289.28 c 873s | 23 | 3724571 | 2265438 | 4120 1186 | 121 | 237 1290.90/1291.31 c 875s | 23 | 3733164 | 2270738 | 4120 1188 | 121 | 237 1292.90/1293.34 c 877s | 23 | 3740731 | 2275538 | 4120 1191 | 121 | 237 1294.90/1295.34 c 879s | 23 | 3748403 | 2280238 | 4120 1193 | 121 | 237 1296.90/1297.37 c 881s | 23 | 3756563 | 2285138 | 4120 1195 | 121 | 237 1298.90/1299.37 c 883s | 23 | 3764396 | 2289938 | 4120 1197 | 121 | 237 1300.90/1301.38 c 885s | 23 | 3773163 | 2295238 | 4120 1200 | 121 | 237 1302.90/1303.39 c 887s | 23 | 3781323 | 2300138 | 4120 1202 | 121 | 237 1304.99/1305.44 c 889s | 23 | 3789349 | 2305038 | 4120 1205 | 121 | 237 1306.99/1307.47 c 891s | 23 | 3797366 | 2309838 | 4120 1207 | 121 | 237 1309.09/1309.50 c 893s | 23 | 3804475 | 2314238 | 4120 1209 | 121 | 237 1311.09/1311.55 c 895s | 23 | 3812059 | 2318738 | 4120 1211 | 121 | 237 1313.10/1313.58 c 897s | 23 | 3820214 | 2323638 | 4120 1213 | 121 | 237 1315.08/1315.58 c 899s | 23 | 3828460 | 2328838 | 4120 1216 | 121 | 237 1317.18/1317.60 c 901s | 23 | 3837415 | 2334038 | 4120 1218 | 121 | 237 1319.18/1319.61 c 903s | 23 | 3844713 | 2338738 | 4120 1220 | 121 | 237 1321.18/1321.61 c 905s | 23 | 3851696 | 2343338 | 4120 1222 | 121 | 237 1323.18/1323.65 c 907s | 23 | 3859939 | 2348238 | 4120 1225 | 121 | 237 1325.18/1325.67 c 909s | 23 | 3866914 | 2352838 | 4120 1227 | 121 | 237 1327.18/1327.69 c 911s | 23 | 3873763 | 2357238 | 4120 1229 | 121 | 237 1329.28/1329.73 c 913s | 23 | 3881662 | 2362138 | 4120 1231 | 121 | 237 1331.28/1331.74 c 915s | 23 | 3890273 | 2367238 | 4120 1234 | 121 | 237 1333.28/1333.74 c 917s | 23 | 3898387 | 2372038 | 4120 1236 | 121 | 237 1335.27/1335.76 c 919s | 23 | 3905638 | 2376538 | 4120 1238 | 121 | 237 1337.28/1337.77 c 921s | 23 | 3913481 | 2381438 | 4120 1240 | 121 | 237 1339.27/1339.79 c 924s | 23 | 3921371 | 2386238 | 4120 1243 | 121 | 237 1341.27/1341.80 c 926s | 23 | 3929758 | 2391238 | 4120 1245 | 121 | 237 1343.37/1343.83 c 928s | 23 | 3938314 | 2396238 | 4120 1247 | 121 | 237 1345.37/1345.87 c 930s | 23 | 3946085 | 2401138 | 4120 1249 | 121 | 237 1347.37/1347.89 c 932s | 23 | 3953966 | 2406038 | 4120 1252 | 121 | 237 1349.46/1349.92 c 934s | 23 | 3961971 | 2411038 | 4120 1254 | 121 | 237 1351.47/1351.95 c 936s | 23 | 3969195 | 2415738 | 4120 1256 | 121 | 237 1353.46/1353.98 c 938s | 23 | 3976587 | 2420438 | 4120 1259 | 121 | 237 1355.56/1356.01 c 940s | 23 | 3984703 | 2425438 | 4120 1261 | 121 | 237 1357.56/1358.03 c 942s | 23 | 3992572 | 2430338 | 4120 1263 | 121 | 237 1359.56/1360.08 c 944s | 23 | 4000607 | 2435338 | 4120 1266 | 121 | 237 1361.66/1362.11 c 946s | 23 | 4008357 | 2440138 | 4120 1268 | 121 | 237 1363.67/1364.13 c 948s | 23 | 4015875 | 2444938 | 4120 1270 | 121 | 237 1365.65/1366.17 c 950s | 23 | 4023654 | 2449738 | 4120 1272 | 121 | 237 1367.65/1368.19 c 952s | 23 | 4031970 | 2454738 | 4120 1275 | 121 | 237 1369.75/1370.22 c 954s | 23 | 4039884 | 2459638 | 4120 1277 | 121 | 237 1371.75/1372.24 c 956s | 23 | 4047335 | 2464338 | 4120 1279 | 121 | 237 1373.75/1374.26 c 958s | 23 | 4055380 | 2469138 | 4120 1281 | 121 | 237 1375.76/1376.27 c 960s | 23 | 4063129 | 2474038 | 4120 1284 | 121 | 237 1377.86/1378.30 c 962s | 23 | 4071092 | 2478738 | 4120 1286 | 121 | 237 1379.85/1380.31 c 964s | 23 | 4077655 | 2482938 | 4120 1288 | 121 | 237 1381.85/1382.34 c 966s | 23 | 4085140 | 2487938 | 4120 1290 | 121 | 237 1383.85/1384.39 c 968s | 23 | 4093140 | 2492938 | 4120 1293 | 121 | 237 1385.85/1386.39 c 970s | 23 | 4102338 | 2498338 | 4120 1295 | 121 | 237 1387.95/1388.40 c 972s | 23 | 4109917 | 2503038 | 4120 1297 | 121 | 237 1389.95/1390.41 c 974s | 23 | 4118309 | 2508038 | 4120 1300 | 121 | 237 1391.95/1392.42 c 976s | 23 | 4126114 | 2512738 | 4120 1302 | 121 | 237 1393.95/1394.42 c 978s | 23 | 4134159 | 2517638 | 4120 1304 | 121 | 237 1395.95/1396.43 c 980s | 23 | 4141752 | 2522338 | 4120 1306 | 121 | 237 1397.95/1398.44 c 982s | 23 | 4149934 | 2527338 | 4120 1309 | 121 | 237 1400.05/1400.53 c 984s | 23 | 4157452 | 2532138 | 4120 1311 | 121 | 237 1402.05/1402.55 c 986s | 23 | 4163982 | 2536338 | 4120 1313 | 121 | 237 1404.05/1404.57 c 988s | 23 | 4171752 | 2541138 | 4120 1315 | 121 | 237 1406.15/1406.61 c 990s | 23 | 4179694 | 2546038 | 4120 1317 | 121 | 237 1408.15/1408.67 c 992s | 23 | 4186854 | 2550538 | 4120 1320 | 121 | 237 1410.14/1410.69 c 994s | 23 | 4193705 | 2554938 | 4120 1322 | 121 | 237 1412.14/1412.69 c 996s | 23 | 4201509 | 2559538 | 4120 1324 | 121 | 237 1414.15/1414.70 c 998s | 23 | 4209418 | 2564238 | 4120 1326 | 121 | 237 1416.24/1416.70 c 1000s | 23 | 4216865 | 2568638 | 4120 1328 | 121 | 237 1418.24/1418.74 c 1002s | 23 | 4224133 | 2573138 | 4120 1330 | 121 | 237 1420.24/1420.74 c 1004s | 23 | 4231924 | 2577938 | 4120 1332 | 121 | 237 1422.24/1422.76 c 1006s | 23 | 4239802 | 2582638 | 4120 1335 | 121 | 237 1424.24/1424.77 c 1008s | 23 | 4248289 | 2587738 | 4120 1337 | 121 | 237 1426.25/1426.79 c 1011s | 23 | 4256460 | 2592738 | 4120 1339 | 121 | 237 1428.34/1428.82 c 1013s | 23 | 4264001 | 2597538 | 4120 1342 | 121 | 237 1430.34/1430.88 c 1015s | 23 | 4272119 | 2602438 | 4120 1344 | 121 | 237 1432.34/1432.88 c 1017s | 23 | 4279580 | 2607038 | 4120 1346 | 121 | 237 1434.44/1434.91 c 1019s | 23 | 4287544 | 2611838 | 4120 1348 | 121 | 237 1436.44/1436.92 c 1021s | 23 | 4295607 | 2616738 | 4120 1351 | 121 | 237 1438.44/1438.93 c 1023s | 23 | 4303561 | 2621538 | 4120 1353 | 121 | 237 1440.44/1440.97 c 1025s | 23 | 4311801 | 2626438 | 4120 1355 | 121 | 237 1442.54/1443.00 c 1027s | 23 | 4319946 | 2631238 | 4120 1357 | 121 | 237 1444.54/1445.01 c 1029s | 23 | 4327801 | 2636038 | 4120 1360 | 121 | 237 1446.54/1447.05 c 1031s | 23 | 4336138 | 2641038 | 4120 1362 | 121 | 237 1448.53/1449.05 c 1033s | 23 | 4344277 | 2645938 | 4120 1364 | 121 | 237 1450.54/1451.07 c 1035s | 23 | 4352974 | 2651138 | 4120 1367 | 121 | 237 1452.53/1453.10 c 1037s | 23 | 4360728 | 2656038 | 4120 1369 | 121 | 237 1454.63/1455.11 c 1039s | 23 | 4368430 | 2660838 | 4120 1371 | 121 | 237 1456.63/1457.11 c 1041s | 23 | 4376571 | 2665838 | 4120 1374 | 121 | 237 1458.63/1459.15 c 1043s | 23 | 4383881 | 2670338 | 4120 1376 | 121 | 237 1460.63/1461.18 c 1045s | 23 | 4391778 | 2675238 | 4120 1378 | 121 | 237 1462.73/1463.22 c 1047s | 23 | 4398708 | 2679738 | 4120 1380 | 121 | 237 1464.74/1465.24 c 1049s | 23 | 4405744 | 2684238 | 4120 1382 | 121 | 237 1466.73/1467.26 c 1051s | 23 | 4413653 | 2689038 | 4120 1384 | 121 | 237 1468.74/1469.27 c 1053s | 23 | 4421332 | 2693838 | 4120 1387 | 121 | 237 1470.84/1471.30 c 1055s | 23 | 4429249 | 2698938 | 4120 1389 | 121 | 237 1472.84/1473.34 c 1057s | 23 | 4437035 | 2703838 | 4120 1391 | 121 | 237 1474.84/1475.34 c 1059s | 23 | 4444306 | 2708538 | 4120 1394 | 121 | 237 1476.85/1477.36 c 1061s | 23 | 4451606 | 2713138 | 4120 1396 | 121 | 237 1478.94/1479.40 c 1063s | 23 | 4459474 | 2717938 | 4120 1398 | 121 | 237 1480.94/1481.41 c 1065s | 23 | 4467301 | 2722938 | 4120 1400 | 121 | 237 1482.94/1483.44 c 1067s | 23 | 4474939 | 2727538 | 4120 1402 | 121 | 237 1484.94/1485.47 c 1069s | 23 | 4482385 | 2732138 | 4120 1405 | 121 | 237 1486.94/1487.47 c 1071s | 23 | 4489489 | 2736538 | 4120 1407 | 121 | 237 1488.94/1489.50 c 1073s | 23 | 4497153 | 2741438 | 4120 1409 | 121 | 237 1491.04/1491.52 c 1075s | 23 | 4505084 | 2746438 | 4120 1411 | 121 | 237 1493.04/1493.52 c 1077s | 23 | 4512368 | 2750938 | 4120 1413 | 121 | 237 1495.04/1495.53 c 1079s | 23 | 4520211 | 2755738 | 4120 1416 | 121 | 237 1497.04/1497.55 c 1081s | 23 | 4527257 | 2760238 | 4120 1418 | 121 | 237 1499.04/1499.56 c 1083s | 23 | 4534322 | 2764638 | 4120 1420 | 121 | 237 1501.04/1501.59 c 1085s | 23 | 4542505 | 2769738 | 4120 1422 | 121 | 237 1503.13/1503.61 c 1087s | 23 | 4551148 | 2775038 | 4120 1425 | 121 | 237 1505.13/1505.64 c 1089s | 23 | 4559350 | 2780038 | 4120 1427 | 121 | 237 1507.13/1507.65 c 1091s | 23 | 4566703 | 2784738 | 4120 1429 | 121 | 237 1509.23/1509.70 c 1093s | 23 | 4574693 | 2789638 | 4120 1432 | 121 | 237 1511.23/1511.73 c 1095s | 23 | 4582835 | 2794538 | 4120 1434 | 121 | 237 1513.24/1513.76 c 1097s | 23 | 4591248 | 2799738 | 4120 1436 | 121 | 237 1515.23/1515.80 c 1100s | 23 | 4599433 | 2804938 | 4120 1439 | 121 | 237 1517.33/1517.81 c 1102s | 23 | 4606773 | 2809738 | 4120 1441 | 121 | 237 1519.33/1519.84 c 1104s | 23 | 4614929 | 2814838 | 4120 1443 | 121 | 237 1521.33/1521.84 c 1106s | 23 | 4623065 | 2819838 | 4120 1446 | 121 | 237 1523.33/1523.87 c 1108s | 23 | 4630470 | 2824338 | 4120 1448 | 121 | 237 1525.34/1525.88 c 1110s | 23 | 4637767 | 2828938 | 4120 1450 | 121 | 237 1527.33/1527.88 c 1112s | 23 | 4645108 | 2833638 | 4120 1452 | 121 | 237 1529.33/1529.89 c 1114s | 23 | 4653034 | 2838338 | 4120 1454 | 121 | 237 1531.43/1531.93 c 1116s | 23 | 4660319 | 2843038 | 4120 1457 | 121 | 237 1533.43/1533.94 c 1118s | 23 | 4668142 | 2847938 | 4120 1459 | 121 | 237 1535.43/1535.99 c 1120s | 23 | 4676385 | 2852938 | 4120 1461 | 121 | 237 1537.53/1538.04 c 1122s | 23 | 4684260 | 2857838 | 4120 1464 | 121 | 237 1539.53/1540.07 c 1124s | 23 | 4691891 | 2862538 | 4120 1466 | 121 | 237 1541.63/1542.10 c 1126s | 23 | 4699655 | 2867338 | 4120 1468 | 121 | 237 1543.63/1544.12 c 1128s | 23 | 4707753 | 2872438 | 4120 1470 | 121 | 237 1545.63/1546.14 c 1130s | 23 | 4714852 | 2877038 | 4120 1473 | 121 | 237 1547.63/1548.16 c 1132s | 23 | 4721858 | 2881638 | 4120 1475 | 121 | 237 1549.63/1550.18 c 1134s | 23 | 4729786 | 2886638 | 4120 1477 | 121 | 237 1551.63/1552.18 c 1136s | 23 | 4737026 | 2891438 | 4120 1479 | 121 | 237 1553.72/1554.22 c 1138s | 23 | 4744624 | 2896238 | 4120 1482 | 121 | 237 1555.72/1556.25 c 1140s | 23 | 4751836 | 2901038 | 4120 1484 | 121 | 237 1557.72/1558.28 c 1142s | 23 | 4759458 | 2905938 | 4120 1486 | 121 | 237 1559.72/1560.29 c 1144s | 23 | 4767164 | 2910838 | 4120 1488 | 121 | 237 1561.82/1562.32 c 1146s | 23 | 4774751 | 2915538 | 4120 1491 | 121 | 237 1563.83/1564.36 c 1148s | 23 | 4782308 | 2920238 | 4120 1493 | 121 | 237 1565.82/1566.38 c 1150s | 23 | 4790320 | 2924938 | 4120 1495 | 121 | 237 1567.92/1568.41 c 1152s | 23 | 4798399 | 2930038 | 4120 1497 | 121 | 237 1569.92/1570.42 c 1154s | 23 | 4806259 | 2934938 | 4120 1500 | 121 | 237 1571.92/1572.46 c 1156s | 23 | 4814369 | 2939838 | 4120 1502 | 121 | 237 1573.92/1574.48 c 1158s | 23 | 4821683 | 2944438 | 4120 1504 | 121 | 237 1576.02/1576.52 c 1160s | 23 | 4828756 | 2949038 | 4120 1506 | 121 | 237 1578.03/1578.53 c 1162s | 23 | 4836566 | 2953838 | 4120 1509 | 121 | 237 1580.02/1580.55 c 1164s | 23 | 4844231 | 2958638 | 4120 1511 | 121 | 237 1582.02/1582.57 c 1166s | 23 | 4851981 | 2963538 | 4120 1513 | 121 | 237 1584.02/1584.58 c 1168s | 23 | 4859715 | 2968338 | 4120 1515 | 121 | 237 1586.12/1586.61 c 1170s | 23 | 4867764 | 2973238 | 4120 1518 | 121 | 237 1588.12/1588.61 c 1172s | 23 | 4875234 | 2977938 | 4120 1520 | 121 | 237 1590.13/1590.61 c 1174s | 23 | 4883093 | 2982638 | 4120 1522 | 121 | 237 1592.12/1592.62 c 1176s | 23 | 4891215 | 2987338 | 4120 1524 | 121 | 237 1594.12/1594.64 c 1178s | 23 | 4898644 | 2991738 | 4120 1526 | 121 | 237 1596.12/1596.64 c 1180s | 23 | 4905774 | 2996138 | 4120 1528 | 121 | 237 1598.12/1598.67 c 1182s | 23 | 4913439 | 3000738 | 4120 1530 | 121 | 237 1600.22/1600.70 c 1184s | 23 | 4921158 | 3005438 | 4120 1533 | 121 | 237 1602.22/1602.73 c 1186s | 23 | 4928679 | 3010038 | 4120 1535 | 121 | 237 1604.22/1604.73 c 1188s | 23 | 4936726 | 3014938 | 4120 1537 | 121 | 237 1606.22/1606.75 c 1190s | 23 | 4944458 | 3019638 | 4120 1539 | 121 | 237 1608.22/1608.75 c 1192s | 23 | 4952468 | 3024438 | 4120 1542 | 121 | 237 1610.22/1610.77 c 1194s | 23 | 4960099 | 3029138 | 4120 1544 | 121 | 237 1612.22/1612.80 c 1197s | 23 | 4967872 | 3034038 | 4120 1546 | 121 | 237 1614.32/1614.81 c 1199s | 23 | 4975581 | 3038738 | 4120 1548 | 121 | 237 1616.32/1616.83 c 1201s | 23 | 4983350 | 3043338 | 4120 1550 | 121 | 237 1618.32/1618.84 c 1203s | 23 | 4991182 | 3047938 | 4120 1553 | 121 | 237 1620.31/1620.88 c 1205s | 23 | 4998988 | 3052838 | 4120 1555 | 121 | 237 1622.41/1622.91 c 1207s | 23 | 5006506 | 3057638 | 4120 1557 | 121 | 237 1624.41/1624.92 c 1209s | 23 | 5013743 | 3061938 | 4120 1559 | 121 | 237 1626.42/1626.95 c 1211s | 23 | 5020991 | 3066538 | 4120 1561 | 121 | 237 1628.41/1628.98 c 1213s | 23 | 5028434 | 3070938 | 4120 1563 | 121 | 237 1630.51/1631.01 c 1215s | 23 | 5036189 | 3075638 | 4120 1566 | 121 | 237 1632.51/1633.03 c 1217s | 23 | 5043644 | 3080238 | 4120 1568 | 121 | 237 1634.51/1635.06 c 1219s | 23 | 5051739 | 3085038 | 4120 1570 | 121 | 237 1636.61/1637.10 c 1221s | 23 | 5059940 | 3090238 | 4120 1572 | 121 | 237 1638.62/1639.12 c 1223s | 23 | 5068295 | 3095238 | 4120 1575 | 121 | 237 1640.61/1641.17 c 1225s | 23 | 5074791 | 3099238 | 4120 1577 | 121 | 237 1642.61/1643.19 c 1227s | 23 | 5082405 | 3103938 | 4120 1579 | 121 | 237 1644.71/1645.21 c 1229s | 23 | 5090581 | 3108638 | 4120 1581 | 121 | 237 1646.71/1647.23 c 1231s | 23 | 5098471 | 3113338 | 4120 1583 | 121 | 237 1648.71/1649.27 c 1233s | 23 | 5106258 | 3118038 | 4120 1586 | 121 | 237 1650.72/1651.28 c 1235s | 23 | 5114162 | 3122938 | 4120 1588 | 121 | 237 1652.81/1653.31 c 1237s | 23 | 5121977 | 3127738 | 4120 1590 | 121 | 237 1654.81/1655.33 c 1239s | 23 | 5129275 | 3132238 | 4120 1592 | 121 | 237 1656.81/1657.36 c 1241s | 23 | 5136500 | 3136738 | 4120 1594 | 121 | 237 1658.81/1659.39 c 1243s | 23 | 5143376 | 3141238 | 4120 1596 | 121 | 237 1660.91/1661.41 c 1245s | 23 | 5150961 | 3146138 | 4120 1599 | 121 | 237 1662.91/1663.44 c 1247s | 23 | 5158096 | 3150638 | 4120 1601 | 121 | 237 1664.91/1665.47 c 1249s | 23 | 5165448 | 3155438 | 4120 1603 | 121 | 237 1667.01/1667.52 c 1251s | 23 | 5172393 | 3160038 | 4120 1605 | 121 | 237 1669.01/1669.54 c 1253s | 23 | 5179582 | 3164438 | 4120 1607 | 121 | 237 1671.11/1671.60 c 1255s | 23 | 5187326 | 3169238 | 4120 1610 | 121 | 237 1673.11/1673.62 c 1257s | 23 | 5194737 | 3174038 | 4120 1612 | 121 | 237 1675.11/1675.62 c 1259s | 23 | 5202557 | 3178838 | 4120 1614 | 121 | 237 1677.11/1677.66 c 1261s | 23 | 5210197 | 3183738 | 4120 1616 | 121 | 237 1679.10/1679.67 c 1263s | 23 | 5217894 | 3188738 | 4120 1619 | 121 | 237 1681.10/1681.69 c 1265s | 23 | 5224877 | 3193238 | 4120 1621 | 121 | 237 1683.20/1683.73 c 1267s | 23 | 5231687 | 3197538 | 4120 1623 | 121 | 237 1685.20/1685.76 c 1269s | 23 | 5239893 | 3202638 | 4120 1625 | 121 | 237 1687.20/1687.78 c 1271s | 23 | 5247255 | 3207438 | 4120 1627 | 121 | 237 1689.21/1689.79 c 1273s | 23 | 5253930 | 3212138 | 4120 1630 | 121 | 237 1691.20/1691.79 c 1276s | 23 | 5260789 | 3216638 | 4120 1632 | 121 | 237 1693.30/1693.81 c 1278s | 23 | 5267765 | 3221038 | 4120 1634 | 121 | 237 1695.30/1695.82 c 1280s | 23 | 5273772 | 3225138 | 4120 1636 | 121 | 237 1697.30/1697.85 c 1282s | 23 | 5279907 | 3229238 | 4120 1638 | 121 | 237 1699.30/1699.88 c 1284s | 23 | 5285787 | 3233338 | 4120 1640 | 121 | 237 1701.31/1701.88 c 1286s | 23 | 5291911 | 3237438 | 4120 1642 | 121 | 237 1703.30/1703.88 c 1288s | 23 | 5299030 | 3241938 | 4120 1644 | 121 | 237 1705.30/1705.90 c 1290s | 23 | 5307189 | 3247038 | 4120 1646 | 121 | 237 1707.40/1707.92 c 1292s | 23 | 5315093 | 3251938 | 4120 1648 | 121 | 237 1709.40/1709.94 c 1294s | 23 | 5322747 | 3256838 | 4120 1651 | 121 | 237 1711.40/1711.96 c 1296s | 23 | 5330811 | 3261938 | 4120 1653 | 121 | 237 1713.41/1713.97 c 1298s | 23 | 5337700 | 3266638 | 4120 1655 | 121 | 237 1715.40/1715.98 c 1300s | 23 | 5344934 | 3271438 | 4120 1657 | 121 | 237 1717.49/1718.00 c 1302s | 23 | 5352567 | 3276338 | 4120 1660 | 121 | 237 1719.49/1720.01 c 1304s | 23 | 5360759 | 3281038 | 4120 1662 | 121 | 237 1721.49/1722.04 c 1306s | 23 | 5368149 | 3286038 | 4120 1664 | 121 | 237 1723.49/1724.08 c 1308s | 23 | 5375625 | 3290638 | 4120 1666 | 121 | 237 1725.59/1726.11 c 1310s | 23 | 5382735 | 3295138 | 4120 1669 | 121 | 237 1727.60/1728.12 c 1312s | 23 | 5389964 | 3299738 | 4120 1671 | 121 | 237 1729.59/1730.15 c 1314s | 23 | 5397453 | 3304538 | 4120 1673 | 121 | 237 1731.59/1732.17 c 1316s | 23 | 5404611 | 3309038 | 4120 1675 | 121 | 237 1733.69/1734.20 c 1318s | 23 | 5411375 | 3313238 | 4120 1677 | 121 | 237 1735.69/1736.20 c 1320s | 23 | 5419092 | 3318138 | 4120 1679 | 121 | 237 1737.69/1738.22 c 1322s | 23 | 5427471 | 3323138 | 4120 1682 | 121 | 237 1739.70/1740.23 c 1324s | 23 | 5435715 | 3328138 | 4120 1684 | 121 | 237 1741.69/1742.25 c 1326s | 23 | 5443145 | 3332838 | 4120 1686 | 121 | 237 1743.69/1744.27 c 1328s | 23 | 5451066 | 3337738 | 4120 1689 | 121 | 237 1745.79/1746.30 c 1330s | 23 | 5458872 | 3342338 | 4120 1691 | 121 | 237 1747.79/1748.32 c 1332s | 23 | 5466680 | 3347138 | 4120 1693 | 121 | 237 1749.79/1750.35 c 1334s | 23 | 5473976 | 3351738 | 4120 1695 | 121 | 237 1751.79/1752.39 c 1336s | 23 | 5482251 | 3356938 | 4120 1698 | 121 | 237 1753.89/1754.42 c 1338s | 23 | 5489730 | 3361738 | 4120 1700 | 121 | 237 1755.89/1756.44 c 1340s | 23 | 5496465 | 3366438 | 4120 1702 | 121 | 237 1757.89/1758.48 c 1342s | 23 | 5504399 | 3371338 | 4120 1704 | 121 | 237 1760.00/1760.50 c 1344s | 23 | 5512161 | 3376138 | 4120 1707 | 121 | 237 1760.10/1760.68 c 1344s | 24 | 5512985 | 3376662 | 4120 1707 | 121 | 237 1762.10/1762.69 c 1346s | 24 | 5519583 | 3380862 | 4120 1709 | 121 | 237 1764.20/1764.71 c 1348s | 24 | 5526895 | 3385362 | 4120 1711 | 121 | 237 1766.20/1766.72 c 1350s | 24 | 5535567 | 3390462 | 4120 1713 | 121 | 237 1768.20/1768.74 c 1352s | 24 | 5542914 | 3394962 | 4120 1715 | 121 | 237 1770.19/1770.75 c 1354s | 24 | 5550205 | 3399562 | 4120 1717 | 121 | 237 1772.19/1772.78 c 1356s | 24 | 5557927 | 3404262 | 4120 1720 | 121 | 237 1774.19/1774.79 c 1358s | 24 | 5565867 | 3408962 | 4120 1722 | 121 | 237 1776.29/1776.80 c 1361s | 24 | 5573726 | 3413662 | 4120 1724 | 121 | 237 1778.30/1778.80 c 1363s | 24 | 5580562 | 3417962 | 4120 1726 | 121 | 237 1780.29/1780.82 c 1365s | 24 | 5587743 | 3422362 | 4120 1728 | 121 | 237 1782.29/1782.83 c 1367s | 24 | 5594937 | 3426962 | 4120 1730 | 121 | 237 1784.29/1784.85 c 1369s | 24 | 5602472 | 3431462 | 4120 1732 | 121 | 237 1786.29/1786.88 c 1371s | 24 | 5609957 | 3436062 | 4120 1735 | 121 | 237 1788.39/1788.92 c 1373s | 24 | 5617679 | 3440662 | 4120 1737 | 121 | 237 1790.40/1790.92 c 1375s | 24 | 5625713 | 3445362 | 4120 1739 | 121 | 237 1792.39/1792.93 c 1377s | 24 | 5633387 | 3450062 | 4120 1741 | 121 | 237 1794.39/1794.94 c 1379s | 24 | 5641311 | 3454762 | 4120 1743 | 121 | 237 1796.39/1796.96 c 1381s | 24 | 5648177 | 3458962 | 4120 1745 | 121 | 237 1798.39/1798.98 c 1383s | 24 | 5655037 | 3463262 | 4120 1747 | 121 | 237
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-4119412-1467257708/watcher-4119412-1467257708 -o /tmp/evaluation-result-4119412-1467257708/solver-4119412-1467257708 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467246683-10282 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119412-1467257708.opb pid=11489 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.30 2.19 2.11 3/177 11492 /proc/meminfo: memFree=29776816/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=690756 CPUtime=0 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 2575 0 0 0 0 0 0 0 20 0 4 0 6874544 707334144 2935 33554432000 4194304 16246674 140733212088240 140733212087664 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 173457 2944 442 2943 0 170351 0 [pid=11492/tid=11493] ppid=11489 vsize=709188 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 726208512 3006 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=713284 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 730402816 3021 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=717380 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6874545 734597120 3036 33554432000 4194304 16246674 140733212088240 140621073337520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 2.30 2.19 2.11 3/177 11492 /proc/meminfo: memFree=29776816/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 19994 0 0 0 6 3 0 0 20 0 4 0 6874544 1249447936 20319 33554432000 4194304 16246674 140733212088240 140733212071008 13906983 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 305041 20319 850 2943 0 301935 0 [pid=11492/tid=11493] ppid=11489 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1249447936 20319 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1249447936 20319 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1249447936 20319 33554432000 4194304 16246674 140733212088240 140621073337520 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) 1220164 [startup+0.20048 s] /proc/loadavg: 2.30 2.19 2.11 3/177 11492 /proc/meminfo: memFree=29776816/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1220164 CPUtime=0.19 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 28011 0 0 0 15 4 0 0 20 0 4 0 6874544 1249447936 28336 33554432000 4194304 16246674 140733212088240 140733212071008 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 305041 28338 851 2943 0 301935 0 [pid=11492/tid=11493] ppid=11489 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1249447936 28343 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1249447936 28349 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1249447936 28354 33554432000 4194304 16246674 140733212088240 140621073337520 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) 1220164 [startup+0.300461 s] /proc/loadavg: 2.30 2.19 2.11 3/177 11492 /proc/meminfo: memFree=29776816/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1220164 CPUtime=0.29 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 42927 0 0 0 23 6 0 0 20 0 4 0 6874544 1249447936 43252 33554432000 4194304 16246674 140733212088240 140733212071232 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 305041 43257 851 2943 0 301935 0 [pid=11492/tid=11493] ppid=11489 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1249447936 43261 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1249447936 43264 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1249447936 43269 33554432000 4194304 16246674 140733212088240 140621073337520 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) 1220164 [startup+0.70038 s] /proc/loadavg: 2.30 2.19 2.11 3/177 11492 /proc/meminfo: memFree=29776816/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1220164 CPUtime=0.69 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 104060 0 0 0 55 14 0 0 20 0 4 0 6874544 1249447936 104385 33554432000 4194304 16246674 140733212088240 140733212071232 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 305041 104393 851 2943 0 301935 0 [pid=11492/tid=11493] ppid=11489 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1249447936 104396 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1249447936 104402 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1249447936 104408 33554432000 4194304 16246674 140733212088240 140621073337520 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) 1220164 [startup+1.50038 s] /proc/loadavg: 2.30 2.19 2.11 3/181 11496 /proc/meminfo: memFree=29118636/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1220164 CPUtime=1.49 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 225606 0 0 0 117 32 0 0 20 0 4 0 6874544 1249447936 225931 33554432000 4194304 16246674 140733212088240 140733212070144 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 305041 225948 852 2943 0 301935 0 [pid=11492/tid=11493] ppid=11489 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1249447936 225956 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1249447936 225962 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1249447936 225967 33554432000 4194304 16246674 140733212088240 140621073337520 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) 1220164 [startup+3.10033 s] /proc/loadavg: 2.30 2.19 2.11 3/181 11496 /proc/meminfo: memFree=28709420/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 267647 0 0 0 269 40 0 0 20 0 4 0 6874544 1337528320 267972 33554432000 4194304 16246674 140733212088240 140733212070144 13774432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 326545 267972 856 2943 0 323439 0 [pid=11492/tid=11493] ppid=11489 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1337528320 267972 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1337528320 267972 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1337528320 267972 33554432000 4194304 16246674 140733212088240 140621073337520 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) 1306180 [startup+6.30039 s] /proc/loadavg: 2.35 2.20 2.12 3/181 11496 /proc/meminfo: memFree=28705096/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 267647 0 0 0 589 40 0 0 20 0 4 0 6874544 1337528320 267972 33554432000 4194304 16246674 140733212088240 140733212070144 5995317 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 326545 267972 856 2943 0 323439 0 [pid=11492/tid=11493] ppid=11489 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1337528320 267972 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1337528320 267972 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1337528320 267972 33554432000 4194304 16246674 140733212088240 140621073337520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.32 2.20 2.12 3/181 11496 /proc/meminfo: memFree=28702884/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1307204 CPUtime=12.69 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 267710 0 0 0 1229 40 0 0 20 0 4 0 6874544 1338576896 268035 33554432000 4194304 16246674 140733212088240 140733212071240 13966739 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 326801 268035 858 2943 0 323695 0 [pid=11492/tid=11493] ppid=11489 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1338576896 268035 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1338576896 268035 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1338576896 268035 33554432000 4194304 16246674 140733212088240 140621073337520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.25 2.18 2.11 4/181 11496 /proc/meminfo: memFree=28700060/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1308228 CPUtime=25.49 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 268162 0 0 0 2509 40 0 0 20 0 4 0 6874544 1339625472 268487 33554432000 4194304 16246674 140733212088240 140733212070144 12483481 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 327057 268487 859 2943 0 323951 0 [pid=11492/tid=11493] ppid=11489 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1339625472 268487 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1339625472 268487 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1339625472 268487 33554432000 4194304 16246674 140733212088240 140621073337520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.16 2.17 2.11 3/180 11496 /proc/meminfo: memFree=28691856/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1314372 CPUtime=51.09 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 269617 0 0 0 5068 41 0 0 20 0 4 0 6874544 1345916928 269942 33554432000 4194304 16246674 140733212088240 140733212070144 5669575 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 328593 269942 860 2943 0 325487 0 [pid=11492/tid=11493] ppid=11489 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1345916928 269942 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1345916928 269942 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1345916928 269942 33554432000 4194304 16246674 140733212088240 140621073337520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1314372 [startup+102.3 s] /proc/loadavg: 2.07 2.14 2.10 3/181 11498 /proc/meminfo: memFree=28691028/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1314372 CPUtime=102.28 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 269699 0 0 0 10187 41 0 0 20 0 4 0 6874544 1345916928 270024 33554432000 4194304 16246674 140733212088240 140733212070144 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 328593 270024 860 2943 0 325487 0 [pid=11492/tid=11493] ppid=11489 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1345916928 270024 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1345916928 270024 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1345916928 270024 33554432000 4194304 16246674 140733212088240 140621073337520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1314372 ################ # More data... # ################ /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272332 33554432000 4194304 16246674 140733212088240 140621073337520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1323588 [startup+1302.3 s] /proc/loadavg: 2.03 2.05 2.06 3/181 11528 /proc/meminfo: memFree=28669204/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1323588 CPUtime=1301.9 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 272342 0 0 0 130142 48 0 0 20 0 4 0 6874544 1355354112 272332 33554432000 4194304 16246674 140733212088240 140733212071240 5601733 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 330897 272332 861 2943 0 327791 0 [pid=11492/tid=11493] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272332 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272332 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272332 33554432000 4194304 16246674 140733212088240 140621073337520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1323588 [startup+1362.3 s] /proc/loadavg: 2.06 2.05 2.06 3/181 11529 /proc/meminfo: memFree=28668668/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1323588 CPUtime=1361.86 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 272383 0 0 0 136138 48 0 0 20 0 4 0 6874544 1355354112 272333 33554432000 4194304 16246674 140733212088240 140733212070144 13759567 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 330897 272333 861 2943 0 327791 0 [pid=11492/tid=11493] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621073337520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1323588 [startup+1422.3 s] /proc/loadavg: 2.06 2.05 2.06 3/181 11530 /proc/meminfo: memFree=28669280/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1323588 CPUtime=1421.85 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 272389 0 0 0 142137 48 0 0 20 0 4 0 6874544 1355354112 272333 33554432000 4194304 16246674 140733212088240 140733212070144 12415665 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 330897 272333 861 2943 0 327791 0 [pid=11492/tid=11493] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621073337520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1323588 [startup+1482.3 s] /proc/loadavg: 2.09 2.06 2.06 3/181 11531 /proc/meminfo: memFree=28669400/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1323588 CPUtime=1481.84 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 272389 0 0 0 148135 49 0 0 20 0 4 0 6874544 1355354112 272333 33554432000 4194304 16246674 140733212088240 140733212070144 5711576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 330897 272333 861 2943 0 327791 0 [pid=11492/tid=11493] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621073337520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1323588 [startup+1542.31 s] /proc/loadavg: 2.07 2.06 2.06 3/182 11535 /proc/meminfo: memFree=28669124/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1323588 CPUtime=1541.83 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 272389 0 0 0 154134 49 0 0 20 0 4 0 6874544 1355354112 272333 33554432000 4194304 16246674 140733212088240 140733212070144 5598165 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 330897 272333 861 2943 0 327791 0 [pid=11492/tid=11493] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621073337520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1323588 [startup+1602.3 s] /proc/loadavg: 2.11 2.08 2.07 3/182 11560 /proc/meminfo: memFree=28669092/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1323588 CPUtime=1601.82 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 272389 0 0 0 160133 49 0 0 20 0 4 0 6874544 1355354112 272333 33554432000 4194304 16246674 140733212088240 140733212070144 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 330897 272333 861 2943 0 327791 0 [pid=11492/tid=11493] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621073337520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1323588 [startup+1662.3 s] /proc/loadavg: 2.10 2.08 2.07 4/181 11609 /proc/meminfo: memFree=28695868/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1323588 CPUtime=1661.81 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 272389 0 0 0 166132 49 0 0 20 0 4 0 6874544 1355354112 272333 33554432000 4194304 16246674 140733212088240 140733212070144 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 330897 272333 861 2943 0 327791 0 [pid=11492/tid=11493] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621073337520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1323588 [startup+1722.3 s] /proc/loadavg: 2.04 2.06 2.06 3/181 11610 /proc/meminfo: memFree=28695452/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1323588 CPUtime=1721.79 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 272389 0 0 0 172130 49 0 0 20 0 4 0 6874544 1355354112 272333 33554432000 4194304 16246674 140733212088240 140733212070144 5598711 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 330897 272333 861 2943 0 327791 0 [pid=11492/tid=11493] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621073337520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1323588 [startup+1782.3 s] /proc/loadavg: 2.06 2.06 2.06 3/181 11611 /proc/meminfo: memFree=28695100/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1323588 CPUtime=1781.79 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 272389 0 0 0 178129 50 0 0 20 0 4 0 6874544 1355354112 272333 33554432000 4194304 16246674 140733212088240 140733212070144 5709714 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 330897 272333 861 2943 0 327791 0 [pid=11492/tid=11493] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621073337520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1323588 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.04 2.05 2.06 3/181 11611 /proc/meminfo: memFree=28695108/32872528 swapFree=447588/480292 [pid=11492] ppid=11489 vsize=1323588 CPUtime=1800.09 cores=1,3,5,7 /proc/11492/stat : 11492 (toysat) R 11489 11492 10265 0 -1 4202496 272389 0 0 0 179959 50 0 0 20 0 4 0 6874544 1355354112 272333 33554432000 4194304 16246674 140733212088240 140733212070144 13781188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11492/statm: 330897 272333 861 2943 0 327791 0 [pid=11492/tid=11493] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11493/stat : 11493 (toysat) S 11489 11492 10265 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621094300912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11492/tid=11494] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11494/stat : 11494 (toysat) S 11489 11492 10265 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621083811056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11492/tid=11495] ppid=11489 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/11492/task/11495/stat : 11495 (toysat) S 11489 11492 10265 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6874545 1355354112 272333 33554432000 4194304 16246674 140733212088240 140621073337520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1323588 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 11492 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.6 CPU system time (s): 0.504923 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 1323588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.6 system time used= 0.504923 maximum resident set size= 1089332 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272389 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= 402 involuntary context switches= 1980 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.55316 second user time and 7.31289 second system time The end
Begin job on node104 at 2016-06-30 05:35:08 IDJOB=4119412 IDBENCH=111724 IDSOLVER=2542 FILE ID=node104/4119412-1467257708 RUNJOBID= node104-1467246683-10282 PBS_JOBID= 20004479 Free space on /tmp= 71704 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-20.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119412-1467257708/watcher-4119412-1467257708 -o /tmp/evaluation-result-4119412-1467257708/solver-4119412-1467257708 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467246683-10282 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119412-1467257708.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f8fcb3375756150bbf7abfd66b9ecade RANDOM SEED=98809119 node104.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.334 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.66 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.334 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.334 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.334 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.334 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.334 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.334 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.54 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.334 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29777460 kB Buffers: 157644 kB Cached: 618896 kB SwapCached: 0 kB Active: 1310552 kB Inactive: 565980 kB Active(anon): 1102420 kB Inactive(anon): 0 kB Active(file): 208132 kB Inactive(file): 565980 kB Unevictable: 480292 kB Mlocked: 447588 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 16324 kB Writeback: 0 kB AnonPages: 1661828 kB Mapped: 16524 kB Shmem: 204 kB Slab: 606720 kB SReclaimable: 51124 kB SUnreclaim: 555596 kB KernelStack: 1504 kB PageTables: 7112 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1706384 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 116736 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= 71688 MiB End job on node104 at 2016-06-30 06:05:09