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.03 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-fout.r.opb |
| MD5SUM | 40b50d0e4bc3f1ba5675c1e65f55a1d7 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 38 |
| Best CPU time to get the best result obtained on this benchmark | 0.231963 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 38 |
| Optimality of the best value was proved | YES |
| Number of variables | 431 |
| Total number of constraints | 177 |
| Number of constraints which are clauses | 177 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 26 |
| Number of terms in the objective function | 431 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 431 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 431 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T12:23:13+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-4105449-1466245393.opb"] 0.00/0.01 c use --random-gen="1905060052 2127486266 2327872122 2458568473 824490153 3008338495 3283027623 4266239914 745594745 1395822777 2093867239 3779782718 2194969086 3596420399 994635672 3724832252 3127932633 3200449952 2490165165 607458149 1172831871 4169530331 3644499930 2964948122 1651652156 1138533813 2304575625 242665139 536954031 345391321 1110902268 619682 1792651298 3981257102 1078671770 1114966162 715681373 2953991978 3750158291 135449348 1299981167 558276478 3905281756 1128146536 4274348262 2924763830 1684661616 3625278258 2252183230 3182342428 2737443532 650713764 2360756073 3634653840 4220095458 763295474 1920677834 761191765 510368645 4179388385 1546358776 4286689424 3525632578 3754578092 936655016 938929826 1524516852 2089800909 1090738784 3767267334 3658506877 2232370822 664766190 2443067594 1954087641 1022984892 1613614895 1724533684 2875549174 3881342452 1418621872 647252443 552624612 2595440408 408630325 520415784 974915571 3299623148 3279149296 3076226898 4201377886 834526757 3614309093 3798501368 489975147 708333096 4240609569 4174190554 3152455738 1419040995 3787374872 2103157763 3348071700 1238051769 701456042 539124628 1517808847 4063107651 3206517048 2731878943 3467645048 2551844851 4075908055 56410976 231672248 3782715179 2375088510 1044323187 3229049522 1739690024 2181905358 1550214474 1114279982 3181126205 2725042042 983170034 3399930356 3697608340 3514939247 4178449784 748308025 2310419286 1724393587 332522948 2814730275 2334603397 212332965 2399811248 3844875281 2873159477 1768352470 2561745174 1344150385 1208083630 2130420966 1853945261 3148711474 3249125933 2762125596 2892298585 3353938515 185933833 2210437195 3504686355 2214125237 2092204831 299364631 19166688 2422791680 2938112344 770463795 1639242730 2882086878 933379670 1516100160 2688552920 6692750 3040358945 3080347842 4031680967 2297426881 3328920557 2598102243 2336762314 1076971143 3780981095 907762145 2291218944 2478700514 4042776631 3208730564 554365905 2148612299 3870082661 43939093 3401557968 1105006130 993294230 2273752085 3261585180 882500008 3859577999 1498236770 3170269488 1127847343 1538802713 3639340868 864107617 1472172382 1227397415 3802420528 2063490991 2004189688 893105146 231794287 3190202923 3683939826 2336761063 2237059950 4221280624 1347925326 2529373790 2343031952 160184808 3142150944 801189316 449087906 650602608 1984687001 78781922 2771603447 3196538253 1488264793 515847547 2357456639 1073791859 893166544 2827847240 2333391435 451665438 4166520827 3816147592 3296458340 2459559898 2610303139 2272238661 3353925919 3933680548 3389272363 2078872965 141551689 1767006943 3539721476 3000363139 1362208536 1917089750 2287604516 3363363048 3479718649 934217910 4045157683 3838960092 2892565780 3700461064 293148675 940077476 255 362436" option to reproduce the execution 0.00/0.01 c #vars 431 0.00/0.01 c #constraints 177 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 | 202 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 431 | 0 | 202 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 431 0.00/0.02 c #random_decision = 1 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 431 0.00/0.02 c BCD2: updating upper bound: 431 -> 430 0.00/0.02 c BCD2: 0 <= obj <= 430 0.00/0.02 c BCD2: #cores=0, #unrelaxed=431, #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 | 202 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 21 | 0 | 202 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 21 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 2: 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 <= 430 0.00/0.02 c BCD2: #cores=1, #unrelaxed=429, #relaxed=2, #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 | 202 0 | 0 | 2 0.00/0.02 c 0.0s | 0 | 59 | 0 | 202 0 | 0 | 2 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 59 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.02 c lower bound updated to 2 0.00/0.03 c BCD2: 2 <= obj <= 430 0.00/0.03 c BCD2: #cores=2, #unrelaxed=425, #relaxed=6, #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 | 202 0 | 0 | 3 0.00/0.03 c 0.0s | 0 | 58 | 0 | 202 0 | 0 | 3 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 58 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 6: 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 <= 430 0.00/0.03 c BCD2: #cores=3, #unrelaxed=419, #relaxed=12, #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 | 202 0 | 0 | 4 0.00/0.03 c 0.0s | 0 | 62 | 0 | 202 0 | 0 | 4 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 62 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.03 c lower bound updated to 4 0.00/0.03 c BCD2: 4 <= obj <= 430 0.00/0.03 c BCD2: #cores=4, #unrelaxed=415, #relaxed=16, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=5 bias=5/6 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 | 202 0 | 0 | 5 0.00/0.03 c 0.0s | 0 | 81 | 0 | 202 0 | 0 | 5 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 81 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to 5 0.00/0.03 c BCD2: 5 <= obj <= 430 0.00/0.03 c BCD2: #cores=5, #unrelaxed=412, #relaxed=19, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=6 bias=6/7 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 | 202 0 | 0 | 7 0.00/0.03 c 0.0s | 0 | 84 | 0 | 202 0 | 0 | 7 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 84 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.03 c lower bound updated to 6 0.00/0.03 c BCD2: 6 <= obj <= 430 0.00/0.03 c BCD2: #cores=6, #unrelaxed=408, #relaxed=23, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=7 bias=7/8 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 | 202 0 | 0 | 9 0.00/0.03 c 0.0s | 0 | 104 | 0 | 202 0 | 0 | 9 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 104 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.03 c lower bound updated to 7 0.00/0.03 c BCD2: 7 <= obj <= 430 0.00/0.03 c BCD2: #cores=7, #unrelaxed=404, #relaxed=27, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=8 bias=8/9 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 | 202 0 | 0 | 10 0.00/0.03 c 0.0s | 0 | 111 | 0 | 202 0 | 0 | 10 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 111 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 13: cost of the new core is >=1 0.00/0.03 c lower bound updated to 8 0.00/0.03 c BCD2: 8 <= obj <= 430 0.00/0.03 c BCD2: #cores=8, #unrelaxed=391, #relaxed=40, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=9 bias=9/10 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 | 202 0 | 0 | 11 0.00/0.03 c 0.0s | 0 | 111 | 0 | 202 0 | 0 | 11 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 111 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 8: cost of the new core is >=1 0.00/0.03 c lower bound updated to 9 0.00/0.03 c BCD2: 9 <= obj <= 430 0.00/0.03 c BCD2: #cores=9, #unrelaxed=383, #relaxed=48, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=10 bias=10/11 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 202 0 | 0 | 12 0.00/0.03 c 0.0s | 0 | 112 | 0 | 202 0 | 0 | 12 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 112 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.03 c lower bound updated to 10 0.00/0.03 c BCD2: 10 <= obj <= 430 0.00/0.03 c BCD2: #cores=10, #unrelaxed=379, #relaxed=52, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=11 bias=11/12 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 202 0 | 0 | 13 0.00/0.04 c 0.0s | 0 | 111 | 0 | 202 0 | 0 | 13 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 111 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.04 c lower bound updated to 11 0.00/0.04 c BCD2: 11 <= obj <= 430 0.00/0.04 c BCD2: #cores=11, #unrelaxed=375, #relaxed=56, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=12 bias=12/13 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 | 202 0 | 0 | 15 0.00/0.04 c 0.0s | 0 | 124 | 0 | 202 0 | 0 | 15 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 124 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 6: cost of the new core is >=1 0.00/0.04 c lower bound updated to 12 0.00/0.04 c BCD2: 12 <= obj <= 430 0.00/0.04 c BCD2: #cores=12, #unrelaxed=369, #relaxed=62, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=13 bias=13/14 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 | 202 0 | 0 | 16 0.00/0.04 c 0.0s | 0 | 194 | 0 | 202 0 | 0 | 16 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 194 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 8: cost of the new core is >=1 0.00/0.04 c lower bound updated to 13 0.00/0.04 c BCD2: 13 <= obj <= 430 0.00/0.04 c BCD2: #cores=13, #unrelaxed=361, #relaxed=70, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=14 bias=14/15 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 | 202 0 | 0 | 18 0.00/0.04 c 0.0s | 0 | 212 | 0 | 202 0 | 0 | 18 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 212 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.04 c lower bound updated to 14 0.00/0.04 c BCD2: 14 <= obj <= 430 0.00/0.04 c BCD2: #cores=14, #unrelaxed=350, #relaxed=81, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=15 bias=15/16 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 | 202 0 | 0 | 19 0.00/0.04 c 0.0s | 0 | 208 | 0 | 202 0 | 0 | 19 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 208 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.04 c lower bound updated to 15 0.00/0.04 c BCD2: 15 <= obj <= 430 0.00/0.04 c BCD2: #cores=15, #unrelaxed=339, #relaxed=92, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=16 bias=16/17 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 | 202 0 | 0 | 20 0.00/0.04 c 0.0s | 0 | 210 | 0 | 202 0 | 0 | 20 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 210 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.04 c lower bound updated to 16 0.00/0.04 c BCD2: 16 <= obj <= 430 0.00/0.04 c BCD2: #cores=16, #unrelaxed=334, #relaxed=97, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=17 bias=17/18 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 | 202 0 | 0 | 21 0.00/0.04 c 0.0s | 0 | 207 | 0 | 202 0 | 0 | 21 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 207 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to 17 0.00/0.04 c BCD2: 17 <= obj <= 430 0.00/0.04 c BCD2: #cores=17, #unrelaxed=332, #relaxed=99, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=18 bias=18/19 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 | 202 0 | 0 | 24 0.00/0.04 c 0.0s | 0 | 215 | 0 | 202 0 | 0 | 24 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 215 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.04 c lower bound updated to 18 0.00/0.04 c BCD2: 18 <= obj <= 430 0.00/0.04 c BCD2: #cores=18, #unrelaxed=321, #relaxed=110, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=19 bias=19/20 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 | 202 0 | 0 | 25 0.00/0.05 c 0.0s | 0 | 206 | 0 | 202 0 | 0 | 25 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 206 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to 19 0.00/0.05 c BCD2: 19 <= obj <= 430 0.00/0.05 c BCD2: #cores=19, #unrelaxed=319, #relaxed=112, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=20 bias=20/21 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 | 202 0 | 0 | 27 0.00/0.05 c 0.0s | 0 | 215 | 0 | 202 0 | 0 | 27 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 215 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.05 c lower bound updated to 20 0.00/0.05 c BCD2: 20 <= obj <= 430 0.00/0.05 c BCD2: #cores=20, #unrelaxed=309, #relaxed=122, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=21 bias=21/22 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 | 202 0 | 0 | 28 0.00/0.05 c 0.0s | 0 | 244 | 0 | 202 0 | 0 | 28 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 244 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.05 c lower bound updated to 21 0.00/0.05 c BCD2: 21 <= obj <= 430 0.00/0.05 c BCD2: #cores=21, #unrelaxed=298, #relaxed=133, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=22 bias=22/23 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 | 202 0 | 0 | 29 0.00/0.05 c 0.0s | 0 | 241 | 0 | 202 0 | 0 | 29 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 241 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 7: cost of the new core is >=1 0.00/0.05 c lower bound updated to 22 0.00/0.05 c BCD2: 22 <= obj <= 430 0.00/0.05 c BCD2: #cores=22, #unrelaxed=291, #relaxed=140, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=23 bias=23/24 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 | 202 0 | 0 | 30 0.00/0.05 c 0.0s | 0 | 238 | 0 | 202 0 | 0 | 30 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 238 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.05 c lower bound updated to 23 0.00/0.05 c BCD2: 23 <= obj <= 430 0.00/0.05 c BCD2: #cores=23, #unrelaxed=287, #relaxed=144, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=24 bias=24/25 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 | 202 0 | 0 | 32 0.00/0.05 c 0.0s | 0 | 238 | 0 | 202 0 | 0 | 32 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 238 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 13: cost of the new core is >=1 0.00/0.05 c lower bound updated to 24 0.00/0.05 c BCD2: 24 <= obj <= 430 0.00/0.05 c BCD2: #cores=24, #unrelaxed=274, #relaxed=157, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=25 bias=25/26 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 | 202 0 | 0 | 33 0.00/0.06 c 0.0s | 0 | 234 | 0 | 202 0 | 0 | 33 0.00/0.06 c #cpu_time = 0.000s 0.00/0.06 c #wall_clock_time = 0.000s 0.00/0.06 c #decision = 234 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.06 c lower bound updated to 25 0.00/0.06 c BCD2: 25 <= obj <= 430 0.00/0.06 c BCD2: #cores=25, #unrelaxed=271, #relaxed=160, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=26 bias=26/27 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 | 202 0 | 0 | 35 0.00/0.06 c 0.0s | 0 | 236 | 0 | 202 0 | 0 | 35 0.00/0.06 c #cpu_time = 0.000s 0.00/0.06 c #wall_clock_time = 0.000s 0.00/0.06 c #decision = 236 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 6: cost of the new core is >=1 0.00/0.06 c lower bound updated to 26 0.00/0.06 c BCD2: 26 <= obj <= 430 0.00/0.06 c BCD2: #cores=26, #unrelaxed=265, #relaxed=166, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=27 bias=27/28 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 | 202 0 | 0 | 36 0.00/0.06 c 0.0s | 0 | 236 | 0 | 202 0 | 0 | 36 0.00/0.06 c #cpu_time = 0.000s 0.00/0.06 c #wall_clock_time = 0.000s 0.00/0.06 c #decision = 236 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.06 c lower bound updated to 27 0.00/0.06 c BCD2: 27 <= obj <= 430 0.00/0.06 c BCD2: #cores=27, #unrelaxed=260, #relaxed=171, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=28 bias=28/29 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 | 202 0 | 0 | 38 0.00/0.06 c 0.0s | 0 | 254 | 0 | 202 0 | 0 | 38 0.00/0.06 c #cpu_time = 0.000s 0.00/0.06 c #wall_clock_time = 0.000s 0.00/0.06 c #decision = 254 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.06 c lower bound updated to 28 0.00/0.06 c BCD2: 28 <= obj <= 430 0.00/0.06 c BCD2: #cores=28, #unrelaxed=258, #relaxed=173, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=29 bias=29/30 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 | 202 0 | 0 | 41 0.00/0.06 c 0.0s | 0 | 255 | 0 | 202 0 | 0 | 41 0.00/0.06 c #cpu_time = 0.000s 0.00/0.06 c #wall_clock_time = 0.000s 0.00/0.06 c #decision = 255 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 6: cost of the new core is >=1 0.00/0.06 c lower bound updated to 29 0.00/0.06 c BCD2: 29 <= obj <= 430 0.00/0.06 c BCD2: #cores=29, #unrelaxed=252, #relaxed=179, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=30 bias=30/31 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 | 202 0 | 0 | 42 0.00/0.06 c 0.0s | 0 | 263 | 0 | 202 0 | 0 | 42 0.00/0.06 c #cpu_time = 0.000s 0.00/0.06 c #wall_clock_time = 0.000s 0.00/0.06 c #decision = 263 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.06 c lower bound updated to 30 0.00/0.06 c BCD2: 30 <= obj <= 430 0.00/0.06 c BCD2: #cores=30, #unrelaxed=241, #relaxed=190, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=31 bias=31/32 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 | 202 0 | 0 | 43 0.00/0.06 c 0.0s | 0 | 255 | 0 | 202 0 | 0 | 43 0.00/0.06 c #cpu_time = 0.000s 0.00/0.06 c #wall_clock_time = 0.000s 0.00/0.06 c #decision = 255 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 8: cost of the new core is >=1 0.00/0.06 c lower bound updated to 31 0.00/0.06 c BCD2: 31 <= obj <= 430 0.00/0.06 c BCD2: #cores=31, #unrelaxed=233, #relaxed=198, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=32 bias=32/33 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 | 202 0 | 0 | 44 0.00/0.06 c 0.0s | 0 | 253 | 0 | 202 0 | 0 | 44 0.00/0.06 c #cpu_time = 0.000s 0.00/0.06 c #wall_clock_time = 0.000s 0.00/0.06 c #decision = 253 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 9: cost of the new core is >=1 0.00/0.06 c lower bound updated to 32 0.00/0.06 c BCD2: 32 <= obj <= 430 0.00/0.06 c BCD2: #cores=32, #unrelaxed=224, #relaxed=207, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=33 bias=33/34 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 | 202 0 | 0 | 45 0.00/0.06 c 0.0s | 0 | 255 | 0 | 202 0 | 0 | 45 0.00/0.06 c #cpu_time = 0.000s 0.00/0.06 c #wall_clock_time = 0.000s 0.00/0.06 c #decision = 255 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 13: cost of the new core is >=1 0.00/0.06 c lower bound updated to 33 0.00/0.06 c BCD2: 33 <= obj <= 430 0.00/0.06 c BCD2: #cores=33, #unrelaxed=211, #relaxed=220, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=34 bias=34/35 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 | 202 0 | 0 | 46 0.00/0.06 c 0.0s | 0 | 424 | 0 | 202 0 | 0 | 46 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 424 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 o 58 0.00/0.06 c BCD2: updating upper bound: 430 -> 57 0.00/0.06 c BCD2: 33 <= obj <= 57 0.00/0.06 c BCD2: #cores=33, #unrelaxed=211, #relaxed=220, #hardened=0 0.00/0.06 c BCD2: #sat=2 #unsat=34 bias=34/36 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 | 202 0 | 0 | 47 0.00/0.07 c 0.0s | 0 | 622 | 46 | 202 0 | 0 | 47 0.00/0.07 c #cpu_time = 0.004s 0.00/0.07 c #wall_clock_time = 0.004s 0.00/0.07 c #decision = 622 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 46 0.00/0.07 c #restart = 0 0.00/0.07 o 42 0.00/0.07 c BCD2: updating upper bound: 57 -> 41 0.00/0.07 c BCD2: 33 <= obj <= 41 0.00/0.07 c BCD2: #cores=33, #unrelaxed=211, #relaxed=220, #hardened=0 0.00/0.07 c BCD2: #sat=3 #unsat=34 bias=34/37 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 | 202 0 | 0 | 48 0.00/0.07 c 0.0s | 0 | 218 | 2 | 202 0 | 0 | 48 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 218 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 2 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 33 and merging with 7 cores into a new core of size 92: cost of the new core is >=8 0.00/0.07 c lower bound updated to 34 0.00/0.07 c BCD2: 34 <= obj <= 41 0.00/0.07 c BCD2: #cores=27, #unrelaxed=178, #relaxed=253, #hardened=0 0.00/0.07 c BCD2: #sat=3 #unsat=35 bias=35/38 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 | 202 0 | 20 | 48 0.00/0.07 c 0.0s | 0 | 227 | 2 | 202 0 | 20 | 81 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 227 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 2 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 24 and merging with 2 cores into a new core of size 43: cost of the new core is >=3 0.00/0.07 c lower bound updated to 35 0.00/0.07 c BCD2: 35 <= obj <= 41 0.00/0.07 c BCD2: #cores=26, #unrelaxed=154, #relaxed=277, #hardened=0 0.00/0.07 c BCD2: #sat=3 #unsat=36 bias=36/39 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 | 202 0 | 25 | 81 0.00/0.08 c 0.0s | 1 | 453 | 100 | 223 0 | 25 | 89 0.08/0.10 c 0.0s | 2 | 1016 | 250 | 246 0 | 25 | 89 0.08/0.13 c 0.1s | 3 | 1805 | 475 | 271 1 | 25 | 89 0.08/0.17 c 0.1s | 4 | 2751 | 813 | 299 2 | 25 | 89 0.19/0.24 c 0.2s | 5 | 4153 | 1320 | 329 4 | 25 | 89 0.29/0.34 c 0.3s | 6 | 6240 | 2081 | 362 7 | 25 | 89 0.49/0.50 c 0.4s | 7 | 9804 | 3223 | 399 11 | 25 | 89 0.69/0.75 c 0.7s | 8 | 15146 | 4936 | 439 16 | 25 | 89 1.10/1.11 c 1.0s | 9 | 22940 | 7506 | 483 24 | 25 | 89 1.49/1.58 c 1.5s | 10 | 34809 | 11361 | 532 34 | 25 | 89 2.09/2.20 c 2.1s | 11 | 52347 | 17144 | 586 49 | 25 | 89 3.09/3.16 c 3.1s | 12 | 80295 | 25819 | 645 70 | 25 | 89 3.59/3.61 c 3.5s | 12 | 92565 | 29983 | 645 80 | 25 | 89 3.59/3.61 c #cpu_time = 3.521s 3.59/3.61 c #wall_clock_time = 3.531s 3.59/3.61 c #decision = 92565 3.59/3.61 c #random_decision = 255 3.59/3.61 c #conflict = 29983 3.59/3.61 c #restart = 12 3.59/3.61 o 40 3.69/3.71 c BCD2: updating upper bound: 41 -> 39 3.69/3.71 c BCD2: 35 <= obj <= 39 3.69/3.71 c BCD2: #cores=26, #unrelaxed=154, #relaxed=277, #hardened=0 3.69/3.71 c BCD2: #sat=4 #unsat=36 bias=36/40 3.69/3.71 c Solving starts ... 3.69/3.71 c ============================[ Search Statistics ]============================ 3.69/3.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.69/3.71 c | | | | Limit GC | Var | Constra 3.69/3.71 c ============================================================================= 3.69/3.71 c 0.0s | 0 | 0 | 0 | 645 0 | 25 | 90 3.69/3.71 c 0.0s | 1 | 425 | 100 | 645 0 | 25 | 90 3.69/3.71 c 0.0s | 2 | 986 | 250 | 645 1 | 25 | 90 3.69/3.71 c 0.1s | 3 | 1800 | 475 | 645 1 | 25 | 90 3.69/3.71 c 0.1s | 4 | 2981 | 813 | 645 2 | 25 | 90 3.69/3.75 c 0.1s | 5 | 4341 | 1320 | 645 3 | 25 | 90 3.79/3.83 c 0.2s | 6 | 6794 | 2081 | 645 5 | 25 | 90 3.89/3.96 c 0.4s | 7 | 10120 | 3223 | 645 8 | 25 | 90 4.09/4.15 c 0.5s | 8 | 15420 | 4936 | 645 12 | 25 | 90 4.40/4.45 c 0.8s | 9 | 23905 | 7506 | 645 18 | 25 | 90 4.79/4.88 c 1.3s | 10 | 35164 | 11361 | 710 26 | 25 | 90 5.50/5.54 c 1.9s | 11 | 57784 | 17144 | 710 38 | 25 | 90 6.49/6.54 c 2.9s | 12 | 88603 | 25819 | 710 56 | 25 | 90 8.19/8.20 c 4.6s | 13 | 133447 | 38832 | 782 82 | 25 | 90 10.19/10.21 c 6.6s | 13 | 189239 | 56232 | 782 116 | 25 | 90 10.39/10.46 c 6.9s | 14 | 195694 | 58352 | 861 120 | 25 | 90 12.39/12.47 c 8.9s | 14 | 253914 | 76252 | 861 153 | 25 | 90 13.78/13.88 c 10.3s | 15 | 292361 | 87632 | 861 173 | 25 | 90 15.78/15.89 c 12.3s | 15 | 344430 | 104132 | 948 202 | 25 | 90 17.78/17.89 c 14.3s | 15 | 388361 | 119532 | 948 227 | 25 | 90 19.48/19.58 c 16.0s | 16 | 423370 | 131552 | 948 247 | 25 | 90 21.48/21.59 c 18.0s | 16 | 479471 | 148852 | 948 276 | 25 | 90 23.49/23.59 c 20.0s | 16 | 534555 | 165652 | 948 304 | 25 | 90 25.59/25.60 c 22.0s | 16 | 585737 | 182152 | 1043 330 | 25 | 90 27.39/27.49 c 23.9s | 17 | 633734 | 197432 | 1043 354 | 25 | 90 29.39/29.49 c 25.9s | 17 | 685057 | 214632 | 1043 381 | 25 | 90 31.49/31.50 c 27.9s | 17 | 734686 | 231332 | 1043 407 | 25 | 90 33.49/33.51 c 29.9s | 17 | 781703 | 247632 | 1043 433 | 25 | 90 35.48/35.51 c 31.9s | 17 | 828281 | 263532 | 1043 457 | 25 | 90 37.49/37.51 c 33.9s | 17 | 865264 | 277132 | 1148 477 | 25 | 90 39.48/39.52 c 35.9s | 17 | 902504 | 290732 | 1148 497 | 25 | 90 40.28/40.31 c 36.7s | 18 | 917302 | 296252 | 1148 505 | 25 | 90 42.28/42.32 c 38.7s | 18 | 954413 | 309352 | 1148 524 | 25 | 90 44.28/44.32 c 40.7s | 18 | 1002258 | 324052 | 1148 545 | 25 | 90 46.29/46.33 c 42.7s | 18 | 1051414 | 338552 | 1148 566 | 25 | 90 48.28/48.34 c 44.7s | 18 | 1102982 | 353052 | 1148 587 | 25 | 90 50.28/50.34 c 46.7s | 18 | 1147208 | 366952 | 1148 607 | 25 | 90 52.28/52.35 c 48.7s | 18 | 1192842 | 380052 | 1148 626 | 25 | 90 54.28/54.35 c 50.7s | 18 | 1235816 | 392752 | 1148 644 | 25 | 90 56.28/56.36 c 52.8s | 18 | 1283837 | 406152 | 1148 663 | 25 | 90 58.28/58.37 c 54.8s | 18 | 1321970 | 418452 | 1263 680 | 25 | 90 60.28/60.37 c 56.8s | 18 | 1355802 | 430452 | 1263 696 | 25 | 90 62.28/62.38 c 58.8s | 18 | 1392979 | 442252 | 1263 712 | 25 | 90 62.68/62.80 c 59.2s | 19 | 1398843 | 444482 | 1263 715 | 25 | 90 64.78/64.81 c 61.2s | 19 | 1439181 | 459382 | 1263 735 | 25 | 90 66.78/66.83 c 63.2s | 19 | 1485147 | 475482 | 1263 756 | 25 | 90 68.78/68.84 c 65.2s | 19 | 1533025 | 491282 | 1263 777 | 25 | 90 70.78/70.85 c 67.2s | 19 | 1572426 | 504782 | 1263 795 | 25 | 90 72.77/72.85 c 69.2s | 19 | 1614264 | 519882 | 1263 815 | 25 | 90 74.78/74.86 c 71.2s | 19 | 1655146 | 534782 | 1263 835 | 25 | 90 76.77/76.86 c 73.3s | 19 | 1689966 | 549082 | 1263 853 | 25 | 90 78.77/78.87 c 75.3s | 19 | 1730714 | 563882 | 1263 871 | 25 | 90 80.77/80.88 c 77.3s | 19 | 1765057 | 578182 | 1263 889 | 25 | 90 82.78/82.89 c 79.3s | 19 | 1801093 | 592882 | 1263 908 | 25 | 90 84.79/84.89 c 81.3s | 19 | 1835196 | 606682 | 1263 925 | 25 | 90 86.89/86.91 c 83.3s | 19 | 1870759 | 619782 | 1263 943 | 25 | 90 88.88/88.91 c 85.3s | 19 | 1912819 | 635082 | 1390 963 | 25 | 90 90.88/90.92 c 87.3s | 19 | 1952897 | 648982 | 1390 980 | 25 | 90 92.88/92.92 c 89.3s | 19 | 1991343 | 663282 | 1390 997 | 25 | 90 93.38/93.43 c 89.8s | 20 | 2001282 | 666827 | 1390 1002 | 25 | 90 95.37/95.44 c 91.8s | 20 | 2043860 | 681627 | 1390 1020 | 25 | 90 97.37/97.45 c 93.8s | 20 | 2087493 | 696327 | 1390 1038 | 25 | 90 99.37/99.46 c 95.9s | 20 | 2126274 | 711427 | 1390 1056 | 25 | 90 101.37/101.46 c 97.9s | 20 | 2167080 | 725727 | 1390 1074 | 25 | 90 103.38/103.48 c 99.9s | 20 | 2205666 | 739427 | 1390 1091 | 25 | 90 105.37/105.49 c 101s | 20 | 2240651 | 752527 | 1390 1107 | 25 | 90 107.37/107.49 c 103s | 20 | 2272135 | 764427 | 1390 1122 | 25 | 90 109.47/109.50 c 105s | 20 | 2305153 | 776727 | 1390 1137 | 25 | 90 111.47/111.51 c 107s | 20 | 2342679 | 790027 | 1390 1153 | 25 | 90 113.47/113.52 c 109s | 20 | 2383916 | 804427 | 1390 1171 | 25 | 90 115.48/115.53 c 111s | 20 | 2421378 | 818027 | 1390 1187 | 25 | 90 117.47/117.54 c 113s | 20 | 2456252 | 831727 | 1390 1204 | 25 | 90 119.47/119.54 c 115s | 20 | 2491739 | 845227 | 1390 1221 | 25 | 90 121.47/121.55 c 117s | 20 | 2524145 | 857527 | 1390 1236 | 25 | 90 123.47/123.56 c 119s | 20 | 2555714 | 869727 | 1390 1251 | 25 | 90 125.47/125.57 c 121s | 20 | 2585010 | 881327 | 1390 1265 | 25 | 90 127.46/127.57 c 123s | 20 | 2609666 | 891827 | 1390 1278 | 25 | 90 129.46/129.57 c 125s | 20 | 2643283 | 904227 | 1390 1294 | 25 | 90 131.46/131.58 c 127s | 20 | 2683542 | 919427 | 1390 1312 | 25 | 90 133.46/133.58 c 129s | 20 | 2721201 | 933727 | 1390 1330 | 25 | 90 135.47/135.59 c 131s | 20 | 2763865 | 947927 | 1390 1347 | 25 | 90 137.48/137.60 c 133s | 20 | 2807309 | 962827 | 1390 1366 | 25 | 90 139.57/139.60 c 135s | 20 | 2844803 | 977427 | 1530 1382 | 25 | 90 141.57/141.61 c 138s | 20 | 2885467 | 991127 | 1530 1398 | 25 | 90 142.87/143.00 c 139s | 21 | 2910228 | 1000345 | 1530 1408 | 25 | 90 144.97/145.01 c 141s | 21 | 2958008 | 1015245 | 1530 1425 | 25 | 90 146.97/147.02 c 143s | 21 | 3003318 | 1029445 | 1530 1441 | 25 | 90 148.97/149.02 c 145s | 21 | 3049223 | 1044045 | 1530 1457 | 25 | 90 150.97/151.02 c 147s | 21 | 3097114 | 1058645 | 1530 1474 | 25 | 90 152.97/153.03 c 149s | 21 | 3140105 | 1072845 | 1530 1490 | 25 | 90 154.97/155.03 c 151s | 21 | 3184921 | 1087345 | 1530 1506 | 25 | 90 156.97/157.04 c 153s | 21 | 3232604 | 1102045 | 1530 1523 | 25 | 90 158.97/159.04 c 155s | 21 | 3281454 | 1118245 | 1530 1541 | 25 | 90 160.96/161.05 c 157s | 21 | 3326857 | 1132845 | 1530 1558 | 25 | 90 162.96/163.05 c 159s | 21 | 3370067 | 1146645 | 1530 1573 | 25 | 90 164.97/165.06 c 161s | 21 | 3412367 | 1160245 | 1530 1589 | 25 | 90 166.96/167.06 c 163s | 21 | 3456518 | 1173745 | 1530 1604 | 25 | 90 168.96/169.07 c 165s | 21 | 3498458 | 1187345 | 1530 1619 | 25 | 90 170.96/171.07 c 167s | 21 | 3541524 | 1200945 | 1530 1635 | 25 | 90 172.96/173.08 c 169s | 21 | 3576591 | 1212745 | 1530 1648 | 25 | 90 174.97/175.09 c 171s | 21 | 3617025 | 1225845 | 1530 1663 | 25 | 90 177.07/177.10 c 173s | 21 | 3660829 | 1239745 | 1530 1679 | 25 | 90 179.06/179.12 c 175s | 21 | 3701738 | 1253745 | 1530 1694 | 25 | 90 181.06/181.13 c 177s | 21 | 3741494 | 1267045 | 1530 1709 | 25 | 90 183.06/183.13 c 179s | 21 | 3784896 | 1280445 | 1530 1724 | 25 | 90 185.06/185.14 c 181s | 21 | 3832996 | 1295345 | 1530 1741 | 25 | 90 187.06/187.15 c 183s | 21 | 3874717 | 1309445 | 1530 1757 | 25 | 90 189.06/189.16 c 185s | 21 | 3913358 | 1322045 | 1530 1771 | 25 | 90 191.06/191.16 c 187s | 21 | 3947911 | 1334445 | 1530 1785 | 25 | 90 193.06/193.18 c 189s | 21 | 3980351 | 1346245 | 1530 1799 | 25 | 90 195.06/195.18 c 191s | 21 | 4012099 | 1356845 | 1530 1811 | 25 | 90 197.06/197.19 c 193s | 21 | 4044817 | 1367545 | 1530 1823 | 25 | 90 199.06/199.20 c 195s | 21 | 4083445 | 1380545 | 1530 1838 | 25 | 90 201.15/201.21 c 197s | 21 | 4121587 | 1392645 | 1530 1851 | 25 | 90 203.16/203.21 c 199s | 21 | 4158032 | 1403945 | 1530 1864 | 25 | 90 205.16/205.22 c 201s | 21 | 4196148 | 1415645 | 1530 1877 | 25 | 90 207.16/207.24 c 203s | 21 | 4236492 | 1428445 | 1530 1892 | 25 | 90 209.16/209.25 c 205s | 21 | 4279758 | 1442345 | 1530 1907 | 25 | 90 211.16/211.26 c 207s | 21 | 4326521 | 1457345 | 1530 1924 | 25 | 90 213.16/213.27 c 209s | 21 | 4374543 | 1472545 | 1684 1940 | 25 | 90 215.16/215.28 c 211s | 21 | 4409627 | 1483845 | 1684 1952 | 25 | 90 217.25/217.30 c 213s | 21 | 4444554 | 1495245 | 1684 1964 | 25 | 90 218.15/218.29 c 214s | 22 | 4462143 | 1500622 | 1684 1970 | 25 | 90 220.25/220.30 c 216s | 22 | 4502739 | 1514122 | 1684 1984 | 25 | 90 222.16/222.30 c 218s | 22 | 4539480 | 1527522 | 1684 1997 | 25 | 90 224.25/224.30 c 220s | 22 | 4576980 | 1541122 | 1684 2012 | 25 | 90 226.25/226.31 c 222s | 22 | 4615610 | 1554622 | 1684 2026 | 25 | 90 228.25/228.32 c 224s | 22 | 4650430 | 1567022 | 1684 2039 | 25 | 90 230.25/230.33 c 226s | 22 | 4680285 | 1578522 | 1684 2051 | 25 | 90 232.25/232.34 c 228s | 22 | 4712253 | 1590422 | 1684 2063 | 25 | 90 234.26/234.34 c 230s | 22 | 4744476 | 1602522 | 1684 2075 | 25 | 90 236.25/236.35 c 232s | 22 | 4774661 | 1614122 | 1684 2088 | 25 | 90 238.25/238.36 c 234s | 22 | 4807957 | 1627122 | 1684 2101 | 25 | 90 240.25/240.37 c 236s | 22 | 4839638 | 1639522 | 1684 2114 | 25 | 90 242.25/242.39 c 238s | 22 | 4873425 | 1651922 | 1684 2127 | 25 | 90 244.35/244.41 c 240s | 22 | 4904681 | 1663122 | 1684 2139 | 25 | 90 246.35/246.42 c 242s | 22 | 4933715 | 1673822 | 1684 2150 | 25 | 90 248.35/248.43 c 244s | 22 | 4965614 | 1685722 | 1684 2162 | 25 | 90 250.35/250.44 c 246s | 22 | 4999617 | 1697422 | 1684 2174 | 25 | 90 252.35/252.45 c 248s | 22 | 5031812 | 1709322 | 1684 2187 | 25 | 90 254.35/254.46 c 250s | 22 | 5060246 | 1720322 | 1684 2198 | 25 | 90 256.36/256.46 c 252s | 22 | 5089365 | 1730722 | 1684 2209 | 25 | 90 258.35/258.47 c 254s | 22 | 5122577 | 1743122 | 1684 2222 | 25 | 90 260.35/260.47 c 256s | 22 | 5161016 | 1756622 | 1684 2236 | 25 | 90 262.35/262.48 c 258s | 22 | 5203286 | 1770522 | 1684 2250 | 25 | 90 264.35/264.48 c 260s | 22 | 5243013 | 1783722 | 1684 2264 | 25 | 90 266.35/266.49 c 262s | 22 | 5283885 | 1796822 | 1684 2278 | 25 | 90 268.35/268.50 c 264s | 22 | 5318004 | 1809622 | 1684 2291 | 25 | 90 270.44/270.50 c 266s | 22 | 5351829 | 1821722 | 1684 2304 | 25 | 90 272.44/272.50 c 268s | 22 | 5387095 | 1834822 | 1684 2317 | 25 | 90 274.44/274.51 c 270s | 22 | 5422087 | 1848122 | 1684 2331 | 25 | 90 276.43/276.52 c 272s | 22 | 5457162 | 1862222 | 1684 2346 | 25 | 90 278.43/278.52 c 274s | 22 | 5493602 | 1876222 | 1684 2360 | 25 | 90 280.44/280.53 c 276s | 22 | 5527515 | 1888322 | 1684 2373 | 25 | 90 282.43/282.54 c 278s | 22 | 5560362 | 1899422 | 1684 2384 | 25 | 90 284.43/284.54 c 280s | 22 | 5592643 | 1910822 | 1684 2396 | 25 | 90 286.43/286.56 c 282s | 22 | 5623386 | 1922022 | 1684 2408 | 25 | 90 288.43/288.57 c 284s | 22 | 5658944 | 1935622 | 1684 2422 | 25 | 90 290.43/290.58 c 286s | 22 | 5694206 | 1948622 | 1684 2436 | 25 | 90 292.43/292.58 c 288s | 22 | 5728078 | 1960522 | 1684 2448 | 25 | 90 294.43/294.59 c 290s | 22 | 5759643 | 1972822 | 1684 2461 | 25 | 90 296.52/296.60 c 292s | 22 | 5795068 | 1985722 | 1684 2474 | 25 | 90 298.52/298.61 c 295s | 22 | 5829346 | 1998722 | 1684 2488 | 25 | 90 300.52/300.62 c 297s | 22 | 5862140 | 2011522 | 1684 2501 | 25 | 90 302.53/302.64 c 299s | 22 | 5899449 | 2024922 | 1684 2515 | 25 | 90 304.52/304.64 c 301s | 22 | 5938467 | 2039022 | 1684 2530 | 25 | 90 306.52/306.66 c 303s | 22 | 5975958 | 2051922 | 1684 2543 | 25 | 90 308.53/308.66 c 305s | 22 | 6008767 | 2064222 | 1684 2556 | 25 | 90 310.53/310.66 c 307s | 22 | 6041864 | 2077022 | 1684 2569 | 25 | 90 312.53/312.67 c 309s | 22 | 6080477 | 2089522 | 1684 2582 | 25 | 90 314.53/314.67 c 311s | 22 | 6117144 | 2102722 | 1684 2596 | 25 | 90 316.52/316.68 c 313s | 22 | 6147337 | 2114922 | 1684 2609 | 25 | 90 318.52/318.69 c 315s | 22 | 6177304 | 2127022 | 1684 2622 | 25 | 90 320.52/320.69 c 317s | 22 | 6208339 | 2138622 | 1684 2634 | 25 | 90 322.52/322.69 c 319s | 22 | 6236110 | 2150022 | 1684 2646 | 25 | 90 324.62/324.71 c 321s | 22 | 6275742 | 2163022 | 1684 2659 | 25 | 90 326.63/326.72 c 323s | 22 | 6317766 | 2176422 | 1684 2673 | 25 | 90 328.62/328.72 c 325s | 22 | 6355352 | 2190122 | 1684 2687 | 25 | 90 330.62/330.72 c 327s | 22 | 6389004 | 2202322 | 1684 2700 | 25 | 90 332.62/332.73 c 329s | 22 | 6423212 | 2214022 | 1853 2711 | 25 | 90 334.62/334.73 c 331s | 22 | 6454932 | 2225322 | 1853 2722 | 25 | 90 336.62/336.73 c 333s | 22 | 6484719 | 2236022 | 1853 2732 | 25 | 90 338.61/338.75 c 335s | 22 | 6517673 | 2247022 | 1853 2743 | 25 | 90 339.41/339.52 c 335s | 23 | 6529396 | 2251038 | 1853 2747 | 25 | 90 341.41/341.52 c 337s | 23 | 6571647 | 2264738 | 1853 2760 | 25 | 90 343.41/343.53 c 339s | 23 | 6615032 | 2278838 | 1853 2773 | 25 | 90 345.42/345.53 c 341s | 23 | 6657922 | 2292938 | 1853 2787 | 25 | 90 347.41/347.55 c 343s | 23 | 6702258 | 2307238 | 1853 2800 | 25 | 90 349.41/349.56 c 345s | 23 | 6744094 | 2320538 | 1853 2813 | 25 | 90 351.41/351.58 c 347s | 23 | 6784595 | 2333138 | 1853 2825 | 25 | 90 353.41/353.59 c 349s | 23 | 6825979 | 2345838 | 1853 2837 | 25 | 90 355.41/355.60 c 351s | 23 | 6866940 | 2358838 | 1853 2850 | 25 | 90 357.41/357.60 c 353s | 23 | 6905129 | 2372038 | 1853 2862 | 25 | 90 359.51/359.61 c 355s | 23 | 6940795 | 2384838 | 1853 2875 | 25 | 90 361.52/361.62 c 358s | 23 | 6977842 | 2397438 | 1853 2887 | 25 | 90 363.51/363.63 c 360s | 23 | 7014559 | 2409438 | 1853 2898 | 25 | 90 365.51/365.64 c 362s | 23 | 7046881 | 2421038 | 1853 2909 | 25 | 90 367.51/367.64 c 364s | 23 | 7082895 | 2433538 | 1853 2921 | 25 | 90 369.52/369.65 c 366s | 23 | 7118774 | 2445538 | 1853 2933 | 25 | 90 371.51/371.66 c 368s | 23 | 7153506 | 2457838 | 1853 2944 | 25 | 90 373.51/373.68 c 370s | 23 | 7190160 | 2469238 | 1853 2955 | 25 | 90 375.50/375.68 c 372s | 23 | 7232375 | 2482438 | 1853 2968 | 25 | 90 377.50/377.69 c 374s | 23 | 7271925 | 2494938 | 1853 2980 | 25 | 90 379.51/379.69 c 376s | 23 | 7314993 | 2507838 | 1853 2992 | 25 | 90 381.61/381.71 c 378s | 23 | 7350658 | 2520638 | 1853 3005 | 25 | 90 383.60/383.71 c 380s | 23 | 7383476 | 2533238 | 1853 3017 | 25 | 90 385.59/385.72 c 382s | 23 | 7422185 | 2547538 | 1853 3030 | 25 | 90 387.59/387.73 c 384s | 23 | 7464744 | 2561338 | 1853 3043 | 25 | 90 389.59/389.73 c 386s | 23 | 7504106 | 2574038 | 1853 3056 | 25 | 90 391.60/391.74 c 388s | 23 | 7541025 | 2586538 | 1853 3068 | 25 | 90 393.59/393.75 c 390s | 23 | 7579838 | 2599038 | 1853 3079 | 25 | 90 395.59/395.75 c 392s | 23 | 7616219 | 2610438 | 1853 3090 | 25 | 90 397.59/397.76 c 394s | 23 | 7650366 | 2622138 | 1853 3102 | 25 | 90 399.59/399.79 c 396s | 23 | 7688169 | 2634638 | 1853 3114 | 25 | 90 401.59/401.79 c 398s | 23 | 7723097 | 2646838 | 1853 3125 | 25 | 90 403.59/403.80 c 400s | 23 | 7760342 | 2658838 | 1853 3137 | 25 | 90 405.68/405.81 c 402s | 23 | 7798168 | 2670538 | 1853 3148 | 25 | 90 407.68/407.81 c 404s | 23 | 7829357 | 2681638 | 1853 3158 | 25 | 90 409.68/409.83 c 406s | 23 | 7861117 | 2692838 | 1853 3169 | 25 | 90 411.68/411.83 c 408s | 23 | 7894390 | 2703938 | 1853 3180 | 25 | 90 413.68/413.84 c 410s | 23 | 7934929 | 2716438 | 1853 3192 | 25 | 90 415.69/415.85 c 412s | 23 | 7978249 | 2730138 | 1853 3205 | 25 | 90 417.68/417.87 c 414s | 23 | 8023296 | 2743438 | 1853 3218 | 25 | 90 419.69/419.87 c 416s | 23 | 8065429 | 2756838 | 1853 3230 | 25 | 90 421.69/421.87 c 418s | 23 | 8100676 | 2768638 | 1853 3242 | 25 | 90 423.68/423.88 c 420s | 23 | 8136510 | 2781038 | 1853 3254 | 25 | 90 425.69/425.89 c 422s | 23 | 8170179 | 2792838 | 1853 3265 | 25 | 90 427.79/427.91 c 424s | 23 | 8199281 | 2803938 | 1853 3275 | 25 | 90 429.78/429.92 c 426s | 23 | 8234467 | 2815038 | 1853 3286 | 25 | 90 431.78/431.94 c 428s | 23 | 8267495 | 2826038 | 1853 3297 | 25 | 90 433.78/433.95 c 430s | 23 | 8298220 | 2836838 | 1853 3307 | 25 | 90 435.78/435.95 c 432s | 23 | 8326816 | 2847338 | 1853 3317 | 25 | 90 437.78/437.96 c 434s | 23 | 8361976 | 2858738 | 1853 3328 | 25 | 90 439.78/439.97 c 436s | 23 | 8398815 | 2871138 | 1853 3340 | 25 | 90 441.78/441.97 c 438s | 23 | 8435476 | 2884238 | 1853 3352 | 25 | 90 443.78/443.98 c 440s | 23 | 8469338 | 2896138 | 1853 3364 | 25 | 90 445.77/445.98 c 442s | 23 | 8509313 | 2909238 | 1853 3376 | 25 | 90 447.77/447.99 c 444s | 23 | 8545718 | 2922038 | 1853 3388 | 25 | 90 449.78/450.00 c 446s | 23 | 8582855 | 2934438 | 1853 3400 | 25 | 90 451.87/452.01 c 448s | 23 | 8620503 | 2946938 | 1853 3412 | 25 | 90 453.87/454.01 c 450s | 23 | 8656097 | 2959338 | 1853 3424 | 25 | 90 455.87/456.02 c 452s | 23 | 8693070 | 2971638 | 1853 3436 | 25 | 90 457.87/458.03 c 454s | 23 | 8731188 | 2983538 | 1853 3447 | 25 | 90 459.87/460.03 c 456s | 23 | 8764389 | 2995138 | 1853 3458 | 25 | 90 461.87/462.04 c 458s | 23 | 8804518 | 3008538 | 1853 3471 | 25 | 90 463.87/464.05 c 460s | 23 | 8844137 | 3021938 | 1853 3484 | 25 | 90 465.86/466.05 c 462s | 23 | 8882612 | 3035338 | 1853 3497 | 25 | 90 467.86/468.05 c 464s | 23 | 8921378 | 3048038 | 1853 3509 | 25 | 90 469.86/470.06 c 466s | 23 | 8951789 | 3058738 | 1853 3519 | 25 | 90 471.87/472.06 c 468s | 23 | 8983024 | 3070038 | 1853 3530 | 25 | 90 473.86/474.07 c 470s | 23 | 9013625 | 3081138 | 1853 3541 | 25 | 90 475.86/476.07 c 472s | 23 | 9043084 | 3092238 | 1853 3551 | 25 | 90 477.86/478.09 c 474s | 23 | 9076235 | 3103938 | 1853 3563 | 25 | 90 479.96/480.10 c 476s | 23 | 9106718 | 3115038 | 1853 3573 | 25 | 90 481.95/482.11 c 478s | 23 | 9136260 | 3125338 | 1853 3583 | 25 | 90 483.96/484.13 c 480s | 23 | 9165053 | 3135738 | 1853 3593 | 25 | 90 485.95/486.14 c 482s | 23 | 9191682 | 3145338 | 1853 3602 | 25 | 90 487.95/488.15 c 484s | 23 | 9229354 | 3158938 | 1853 3615 | 25 | 90 489.95/490.15 c 486s | 23 | 9265055 | 3172238 | 1853 3628 | 25 | 90 491.95/492.17 c 488s | 23 | 9303497 | 3185238 | 1853 3640 | 25 | 90 493.95/494.18 c 490s | 23 | 9341154 | 3198938 | 1853 3653 | 25 | 90 495.95/496.19 c 492s | 23 | 9378929 | 3211338 | 1853 3665 | 25 | 90 498.05/498.20 c 494s | 23 | 9416792 | 3223238 | 1853 3677 | 25 | 90 500.05/500.21 c 496s | 23 | 9451003 | 3235138 | 1853 3688 | 25 | 90 502.05/502.22 c 498s | 23 | 9488587 | 3248838 | 1853 3701 | 25 | 90 504.05/504.24 c 500s | 23 | 9528346 | 3262138 | 1853 3714 | 25 | 90 506.04/506.24 c 502s | 23 | 9563060 | 3274038 | 1853 3725 | 25 | 90 508.05/508.25 c 504s | 23 | 9598036 | 3286338 | 1853 3737 | 25 | 90 510.04/510.25 c 506s | 23 | 9630447 | 3298038 | 1853 3748 | 25 | 90 512.04/512.26 c 508s | 23 | 9661862 | 3309338 | 1853 3759 | 25 | 90 514.04/514.27 c 510s | 23 | 9701643 | 3321338 | 1853 3770 | 25 | 90 516.03/516.28 c 512s | 23 | 9739605 | 3333638 | 2039 3781 | 25 | 90 518.04/518.29 c 514s | 23 | 9772162 | 3345238 | 2039 3791 | 25 | 90 520.03/520.30 c 516s | 23 | 9806791 | 3357138 | 2039 3802 | 25 | 90 522.13/522.31 c 518s | 23 | 9839439 | 3368938 | 2039 3812 | 25 | 90 523.44/523.65 c 520s | 24 | 9860672 | 3376662 | 2039 3819 | 25 | 90 525.43/525.66 c 522s | 24 | 9893599 | 3388262 | 2039 3829 | 25 | 90 527.43/527.67 c 524s | 24 | 9928209 | 3400662 | 2039 3840 | 25 | 90 529.44/529.68 c 526s | 24 | 9963871 | 3412862 | 2039 3851 | 25 | 90 531.44/531.70 c 528s | 24 | 9998274 | 3424762 | 2039 3861 | 25 | 90 533.54/533.71 c 530s | 24 | 10033401 | 3437262 | 2039 3872 | 25 | 90 535.54/535.72 c 532s | 24 | 10071018 | 3449462 | 2039 3883 | 25 | 90 537.53/537.74 c 534s | 24 | 10110471 | 3461562 | 2039 3893 | 25 | 90 539.53/539.74 c 536s | 24 | 10143332 | 3473262 | 2039 3904 | 25 | 90 541.53/541.76 c 538s | 24 | 10174144 | 3484462 | 2039 3913 | 25 | 90 543.53/543.77 c 540s | 24 | 10210711 | 3495962 | 2039 3924 | 25 | 90 545.53/545.77 c 542s | 24 | 10252191 | 3508162 | 2039 3934 | 25 | 90 547.52/547.78 c 544s | 24 | 10288379 | 3519362 | 2039 3944 | 25 | 90 549.52/549.78 c 546s | 24 | 10325345 | 3530262 | 2039 3954 | 25 | 90 551.62/551.80 c 548s | 24 | 10366421 | 3543262 | 2039 3965 | 25 | 90 553.62/553.81 c 550s | 24 | 10401976 | 3554862 | 2039 3975 | 25 | 90 555.62/555.82 c 552s | 24 | 10441116 | 3566362 | 2039 3985 | 25 | 90 557.63/557.82 c 554s | 24 | 10481008 | 3577962 | 2039 3996 | 25 | 90 559.62/559.82 c 556s | 24 | 10510546 | 3588462 | 2039 4005 | 25 | 90 561.62/561.84 c 558s | 24 | 10541436 | 3599162 | 2039 4014 | 25 | 90 563.62/563.84 c 560s | 24 | 10575265 | 3611462 | 2039 4025 | 25 | 90 565.61/565.86 c 562s | 24 | 10612519 | 3623862 | 2039 4036 | 25 | 90 567.61/567.86 c 564s | 24 | 10653084 | 3636562 | 2039 4047 | 25 | 90 569.62/569.87 c 566s | 24 | 10696201 | 3650462 | 2039 4059 | 25 | 90 571.61/571.89 c 568s | 24 | 10735268 | 3662762 | 2039 4070 | 25 | 90 573.61/573.89 c 570s | 24 | 10772234 | 3674862 | 2039 4081 | 25 | 90 575.71/575.90 c 572s | 24 | 10807771 | 3686762 | 2039 4091 | 25 | 90 577.71/577.91 c 574s | 24 | 10841941 | 3698062 | 2039 4101 | 25 | 90 579.70/579.92 c 576s | 24 | 10878281 | 3709262 | 2039 4111 | 25 | 90 581.71/581.92 c 578s | 24 | 10912123 | 3721362 | 2039 4121 | 25 | 90 583.70/583.92 c 580s | 24 | 10948937 | 3733362 | 2039 4132 | 25 | 90 585.10/585.35 c 581s | 24 | 10972184 | 3741757 | 2039 4139 | 25 | 90 585.10/585.35 c #cpu_time = 580.145s 585.10/585.35 c #wall_clock_time = 581.745s 585.10/585.35 c #decision = 10972184 585.10/585.35 c #random_decision = 45633 585.10/585.35 c #conflict = 3741757 585.10/585.35 c #restart = 24 585.10/585.35 o 38 585.10/585.35 c BCD2: updating upper bound: 39 -> 37 585.10/585.35 c BCD2: 35 <= obj <= 37 585.10/585.35 c BCD2: #cores=26, #unrelaxed=154, #relaxed=277, #hardened=0 585.10/585.35 c BCD2: #sat=5 #unsat=36 bias=36/41 585.10/585.35 c Solving starts ... 585.10/585.35 c ============================[ Search Statistics ]============================ 585.10/585.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 585.10/585.35 c | | | | Limit GC | Var | Constra 585.10/585.35 c ============================================================================= 585.10/585.35 c 0.0s | 0 | 0 | 0 | 2039 0 | 25 | 91 585.10/585.38 c 0.0s | 1 | 585 | 100 | 2039 1 | 25 | 91 585.20/585.40 c 0.0s | 2 | 1133 | 250 | 2039 1 | 25 | 91 585.20/585.43 c 0.1s | 3 | 1858 | 475 | 2039 1 | 25 | 91 585.20/585.47 c 0.1s | 4 | 2915 | 813 | 2039 1 | 25 | 91 585.30/585.54 c 0.2s | 5 | 4452 | 1320 | 2039 2 | 25 | 91 585.40/585.64 c 0.3s | 6 | 6756 | 2081 | 2039 2 | 25 | 91 585.60/585.82 c 0.5s | 7 | 9704 | 3223 | 2039 3 | 25 | 91 585.80/586.06 c 0.7s | 8 | 14210 | 4936 | 2039 5 | 25 | 91 586.10/586.39 c 1.0s | 9 | 21355 | 7506 | 2039 7 | 25 | 91 586.70/586.93 c 1.6s | 10 | 31213 | 11361 | 2039 10 | 25 | 91 587.50/587.72 c 2.4s | 11 | 47250 | 17144 | 2039 15 | 25 | 91 588.60/588.87 c 3.5s | 12 | 70430 | 25819 | 2039 23 | 25 | 91 590.40/590.64 c 5.3s | 13 | 104318 | 38832 | 2039 34 | 25 | 91 592.40/592.64 c 7.3s | 13 | 146851 | 53532 | 2039 47 | 25 | 91 593.09/593.33 c 8.0s | 14 | 160189 | 58352 | 2039 52 | 25 | 91 595.09/595.35 c 10.0s | 14 | 202688 | 73152 | 2039 64 | 25 | 91 597.10/597.36 c 12.0s | 14 | 241325 | 87452 | 2039 77 | 25 | 91 597.10/597.39 c 12.0s | 15 | 241773 | 87632 | 2039 77 | 25 | 91 599.09/599.39 c 14.0s | 15 | 284906 | 102132 | 2039 90 | 25 | 91 601.19/601.40 c 16.0s | 15 | 324038 | 115832 | 2039 102 | 25 | 91 603.19/603.41 c 18.1s | 15 | 364112 | 129332 | 2039 114 | 25 | 91 603.49/603.77 c 18.4s | 16 | 369781 | 131552 | 2039 116 | 25 | 91 605.48/605.78 c 20.4s | 16 | 409497 | 146752 | 2039 129 | 25 | 91 607.58/607.80 c 22.4s | 16 | 447290 | 161252 | 2039 141 | 25 | 91 609.58/609.80 c 24.4s | 16 | 486069 | 175852 | 2039 154 | 25 | 91 611.58/611.80 c 26.4s | 16 | 525834 | 190052 | 2039 167 | 25 | 91 612.68/612.91 c 27.6s | 17 | 546458 | 197432 | 2039 173 | 25 | 91 614.70/614.93 c 29.6s | 17 | 584752 | 211632 | 2039 186 | 25 | 91 616.69/616.94 c 31.6s | 17 | 624445 | 225932 | 2039 198 | 25 | 91 618.69/618.94 c 33.6s | 17 | 666439 | 240632 | 2039 211 | 25 | 91 620.69/620.95 c 35.6s | 17 | 703558 | 254732 | 2039 223 | 25 | 91 622.69/622.95 c 37.6s | 17 | 741588 | 268532 | 2039 235 | 25 | 91 624.69/624.96 c 39.6s | 17 | 779214 | 281732 | 2039 247 | 25 | 91 626.68/626.97 c 41.6s | 17 | 817827 | 295232 | 2039 259 | 25 | 91 626.89/627.12 c 41.8s | 18 | 820680 | 296252 | 2039 260 | 25 | 91 628.88/629.13 c 43.8s | 18 | 857162 | 309852 | 2039 272 | 25 | 91 630.88/631.13 c 45.8s | 18 | 894734 | 323252 | 2039 283 | 25 | 91 632.88/633.13 c 47.8s | 18 | 934110 | 336952 | 2039 295 | 25 | 91 634.28/634.51 c 49.2s | 18 | 958784 | 346348 | 2039 304 | 25 | 91 634.28/634.51 c #cpu_time = 49.016s 634.28/634.51 c #wall_clock_time = 49.157s 634.28/634.51 c #decision = 958784 634.28/634.51 c #random_decision = 2669 634.28/634.51 c #conflict = 346348 634.28/634.51 c #restart = 18 634.28/634.51 c BCD2: relaxing 41 and merging with 2 cores into a new core of size 146: cost of the new core is >=10 634.28/634.51 c lower bound updated to 36 634.28/634.52 c BCD2: 36 <= obj <= 37 634.28/634.52 c BCD2: #cores=25, #unrelaxed=113, #relaxed=318, #hardened=0 634.28/634.52 c BCD2: #sat=5 #unsat=37 bias=37/42 634.28/634.52 c Solving starts ... 634.28/634.52 c ============================[ Search Statistics ]============================ 634.28/634.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 634.28/634.52 c | | | | Limit GC | Var | Constra 634.28/634.52 c ============================================================================= 634.28/634.52 c 0.0s | 0 | 0 | 0 | 2039 0 | 33 | 91 634.28/634.54 c 0.0s | 1 | 632 | 100 | 2039 0 | 33 | 105 634.28/634.56 c 0.0s | 2 | 1289 | 250 | 2039 0 | 33 | 105 634.28/634.59 c 0.1s | 3 | 2169 | 475 | 2039 0 | 33 | 105 634.38/634.63 c 0.1s | 4 | 3224 | 813 | 2039 0 | 33 | 105 634.49/634.71 c 0.2s | 5 | 5535 | 1320 | 2039 0 | 33 | 105 634.59/634.84 c 0.3s | 6 | 8241 | 2081 | 2039 0 | 33 | 105 634.78/635.02 c 0.5s | 7 | 12647 | 3223 | 2039 1 | 33 | 105 634.98/635.28 c 0.8s | 8 | 17532 | 4936 | 2039 3 | 33 | 105 635.38/635.67 c 1.2s | 9 | 26083 | 7506 | 2039 5 | 33 | 105 635.98/636.26 c 1.7s | 10 | 41082 | 11361 | 2039 9 | 33 | 105 636.88/637.13 c 2.6s | 11 | 61313 | 17144 | 2039 14 | 33 | 105 638.18/638.43 c 3.9s | 12 | 90433 | 25819 | 2039 22 | 33 | 105 640.18/640.44 c 5.9s | 12 | 134293 | 38419 | 2039 33 | 33 | 105 640.18/640.49 c 6.0s | 13 | 135544 | 38832 | 2039 33 | 33 | 105 642.18/642.49 c 8.0s | 13 | 176938 | 51532 | 2039 44 | 33 | 105 643.28/643.59 c 9.1s | 14 | 199444 | 58352 | 2039 50 | 33 | 105 645.37/645.60 c 11.1s | 14 | 242597 | 70952 | 2039 62 | 33 | 105 647.37/647.61 c 13.1s | 14 | 287722 | 84252 | 2039 73 | 33 | 105 647.78/648.09 c 13.6s | 15 | 297408 | 87632 | 2039 76 | 33 | 105 649.77/650.10 c 15.6s | 15 | 337369 | 99932 | 2039 87 | 33 | 105 651.87/652.10 c 17.6s | 15 | 378558 | 111932 | 2039 98 | 33 | 105 653.87/654.11 c 19.6s | 15 | 419353 | 124132 | 2039 109 | 33 | 105 655.17/655.40 c 20.9s | 16 | 443562 | 131552 | 2039 115 | 33 | 105 657.17/657.41 c 22.9s | 16 | 480978 | 143752 | 2039 126 | 33 | 105 659.16/659.43 c 24.9s | 16 | 518233 | 155452 | 2039 137 | 33 | 105 661.16/661.44 c 26.9s | 16 | 555069 | 167352 | 2039 147 | 33 | 105 663.17/663.44 c 28.9s | 16 | 593759 | 179852 | 2039 158 | 33 | 105 665.16/665.45 c 30.9s | 16 | 635792 | 192352 | 2039 170 | 33 | 105 665.96/666.23 c 31.7s | 17 | 649994 | 197432 | 2039 174 | 33 | 105 667.96/668.24 c 33.7s | 17 | 685437 | 210132 | 2039 185 | 33 | 105 669.96/670.24 c 35.7s | 17 | 724537 | 222132 | 2039 196 | 33 | 105 671.97/672.25 c 37.7s | 17 | 760693 | 235032 | 2039 208 | 33 | 105 673.96/674.26 c 39.7s | 17 | 796275 | 247732 | 2039 219 | 33 | 105 675.96/676.27 c 41.7s | 17 | 835306 | 260832 | 2039 230 | 33 | 105 677.96/678.28 c 43.8s | 17 | 876422 | 273332 | 2039 242 | 33 | 105 680.06/680.30 c 45.8s | 17 | 917478 | 285732 | 2039 253 | 33 | 105 681.76/682.01 c 47.5s | 18 | 948905 | 296252 | 2039 262 | 33 | 105 683.76/684.02 c 49.5s | 18 | 986665 | 308452 | 2039 273 | 33 | 105 685.75/686.03 c 51.5s | 18 | 1025337 | 320952 | 2039 284 | 33 | 105 687.75/688.05 c 53.5s | 18 | 1064101 | 333652 | 2039 295 | 33 | 105 689.75/690.06 c 55.5s | 18 | 1103553 | 346752 | 2039 307 | 33 | 105 691.76/692.06 c 57.5s | 18 | 1143059 | 359152 | 2039 318 | 33 | 105 693.75/694.08 c 59.6s | 18 | 1181097 | 371552 | 2039 329 | 33 | 105 695.75/696.08 c 61.6s | 18 | 1220278 | 384452 | 2039 340 | 33 | 105 697.75/698.08 c 63.6s | 18 | 1256976 | 397452 | 2039 352 | 33 | 105 699.75/700.09 c 65.6s | 18 | 1298250 | 410352 | 2039 363 | 33 | 105 701.85/702.10 c 67.6s | 18 | 1331965 | 422552 | 2039 374 | 33 | 105 703.85/704.11 c 69.6s | 18 | 1372434 | 435652 | 2039 386 | 33 | 105 705.14/705.43 c 70.9s | 19 | 1401127 | 444482 | 2039 394 | 33 | 105 707.15/707.43 c 72.9s | 19 | 1447131 | 458282 | 2039 406 | 33 | 105 709.14/709.45 c 74.9s | 19 | 1491693 | 471782 | 2039 418 | 33 | 105 711.14/711.46 c 76.9s | 19 | 1531202 | 484782 | 2039 430 | 33 | 105 713.14/713.46 c 78.9s | 19 | 1573397 | 497682 | 2039 441 | 33 | 105 715.14/715.49 c 81.0s | 19 | 1614691 | 510482 | 2039 453 | 33 | 105 717.14/717.49 c 83.0s | 19 | 1654223 | 522982 | 2039 464 | 33 | 105 719.14/719.50 c 85.0s | 19 | 1699734 | 535882 | 2039 475 | 33 | 105 721.23/721.50 c 87.0s | 19 | 1740743 | 547882 | 2039 486 | 33 | 105 723.23/723.50 c 89.0s | 19 | 1787788 | 560782 | 2039 497 | 33 | 105 725.23/725.51 c 91.0s | 19 | 1832483 | 573382 | 2039 508 | 33 | 105 727.23/727.52 c 93.0s | 19 | 1878179 | 585582 | 2039 519 | 33 | 105 729.23/729.53 c 95.0s | 19 | 1922529 | 598182 | 2039 531 | 33 | 105 731.24/731.54 c 97.0s | 19 | 1963952 | 610282 | 2039 541 | 33 | 105 733.23/733.55 c 99.0s | 19 | 2008632 | 622582 | 2039 552 | 33 | 105 735.23/735.55 c 101s | 19 | 2050503 | 635382 | 2039 564 | 33 | 105 737.22/737.55 c 103s | 19 | 2095896 | 648282 | 2039 575 | 33 | 105 739.22/739.56 c 105s | 19 | 2136879 | 660682 | 2039 586 | 33 | 105 740.22/740.56 c 106s | 20 | 2158845 | 666827 | 2039 592 | 33 | 105 742.23/742.57 c 108s | 20 | 2199679 | 678427 | 2039 602 | 33 | 105 744.23/744.58 c 110s | 20 | 2236364 | 690027 | 2039 612 | 33 | 105 746.23/746.59 c 112s | 20 | 2271147 | 701227 | 2039 622 | 33 | 105 748.23/748.59 c 114s | 20 | 2307171 | 712627 | 2039 631 | 33 | 105 750.33/750.61 c 116s | 20 | 2343911 | 724327 | 2039 641 | 33 | 105 752.33/752.61 c 118s | 20 | 2378632 | 735827 | 2039 651 | 33 | 105 754.33/754.63 c 120s | 20 | 2412862 | 746827 | 2039 661 | 33 | 105 756.32/756.64 c 122s | 20 | 2446051 | 757927 | 2039 670 | 33 | 105 758.32/758.66 c 124s | 20 | 2481621 | 769927 | 2039 681 | 33 | 105 760.32/760.68 c 126s | 20 | 2517246 | 782127 | 2039 691 | 33 | 105 762.32/762.68 c 128s | 20 | 2553534 | 793627 | 2039 701 | 33 | 105 764.33/764.69 c 130s | 20 | 2587528 | 804627 | 2039 710 | 33 | 105 766.32/766.70 c 132s | 20 | 2623944 | 816327 | 2039 720 | 33 | 105 768.42/768.71 c 134s | 20 | 2656655 | 827327 | 2039 730 | 33 | 105 770.42/770.71 c 136s | 20 | 2689522 | 838927 | 2039 740 | 33 | 105 772.42/772.72 c 138s | 20 | 2721373 | 849827 | 2039 749 | 33 | 105 774.42/774.74 c 140s | 20 | 2753192 | 861127 | 2039 759 | 33 | 105 776.42/776.76 c 142s | 20 | 2784212 | 872027 | 2039 768 | 33 | 105 778.41/778.77 c 144s | 20 | 2817763 | 883527 | 2039 778 | 33 | 105 780.41/780.78 c 146s | 20 | 2852222 | 895027 | 2039 788 | 33 | 105 782.41/782.78 c 148s | 20 | 2885637 | 906127 | 2039 797 | 33 | 105 784.41/784.79 c 150s | 20 | 2918129 | 917127 | 2243 806 | 33 | 105 786.51/786.81 c 152s | 20 | 2948857 | 927827 | 2243 815 | 33 | 105 788.52/788.83 c 154s | 20 | 2978102 | 938327 | 2243 823 | 33 | 105 790.51/790.84 c 156s | 20 | 3007251 | 948827 | 2243 831 | 33 | 105 792.51/792.84 c 158s | 20 | 3039230 | 959327 | 2243 840 | 33 | 105 794.51/794.86 c 160s | 20 | 3068328 | 969527 | 2243 848 | 33 | 105 796.50/796.87 c 162s | 20 | 3095951 | 979327 | 2243 855 | 33 | 105 798.50/798.88 c 164s | 20 | 3124490 | 989227 | 2243 863 | 33 | 105 800.51/800.89 c 166s | 20 | 3152182 | 998527 | 2243 870 | 33 | 105 800.90/801.22 c 166s | 21 | 3157629 | 1000345 | 2243 872 | 33 | 105 802.90/803.22 c 168s | 21 | 3204627 | 1012645 | 2243 882 | 33 | 105 804.90/805.26 c 170s | 21 | 3249223 | 1024945 | 2243 892 | 33 | 105 806.90/807.26 c 172s | 21 | 3291735 | 1037745 | 2243 902 | 33 | 105 808.90/809.27 c 174s | 21 | 3334986 | 1050045 | 2243 912 | 33 | 105 810.90/811.28 c 176s | 21 | 3379621 | 1061845 | 2243 922 | 33 | 105 812.90/813.30 c 178s | 21 | 3419597 | 1073445 | 2243 931 | 33 | 105 814.99/815.31 c 180s | 21 | 3464872 | 1085645 | 2243 941 | 33 | 105 817.00/817.31 c 182s | 21 | 3503541 | 1097945 | 2243 951 | 33 | 105 818.99/819.36 c 184s | 21 | 3543743 | 1110745 | 2243 962 | 33 | 105 820.99/821.37 c 186s | 21 | 3583579 | 1123245 | 2243 972 | 33 | 105 822.99/823.38 c 188s | 21 | 3624105 | 1135445 | 2243 982 | 33 | 105 824.99/825.39 c 190s | 21 | 3663964 | 1147845 | 2243 992 | 33 | 105 826.99/827.39 c 192s | 21 | 3705718 | 1160045 | 2243 1002 | 33 | 105 829.09/829.41 c 194s | 21 | 3742193 | 1172445 | 2243 1012 | 33 | 105 831.08/831.41 c 196s | 21 | 3778571 | 1185545 | 2243 1023 | 33 | 105 833.08/833.43 c 198s | 21 | 3816470 | 1198045 | 2243 1033 | 33 | 105 835.08/835.43 c 200s | 21 | 3852747 | 1210845 | 2243 1044 | 33 | 105 837.08/837.44 c 202s | 21 | 3887072 | 1223045 | 2243 1054 | 33 | 105 839.08/839.45 c 204s | 21 | 3927448 | 1234645 | 2243 1063 | 33 | 105 841.08/841.45 c 206s | 21 | 3970552 | 1246445 | 2243 1073 | 33 | 105 843.09/843.47 c 208s | 21 | 4013529 | 1258545 | 2243 1083 | 33 | 105 845.08/845.48 c 210s | 21 | 4051093 | 1270145 | 2243 1092 | 33 | 105 847.08/847.48 c 212s | 21 | 4091177 | 1282345 | 2243 1102 | 33 | 105 849.08/849.49 c 214s | 21 | 4124134 | 1294345 | 2243 1112 | 33 | 105 851.09/851.50 c 216s | 21 | 4158403 | 1306445 | 2243 1122 | 33 | 105 853.18/853.50 c 218s | 21 | 4197309 | 1319245 | 2243 1132 | 33 | 105 855.18/855.51 c 220s | 21 | 4235855 | 1330845 | 2243 1141 | 33 | 105 857.17/857.51 c 222s | 21 | 4274430 | 1343145 | 2243 1152 | 33 | 105 859.17/859.52 c 225s | 21 | 4310955 | 1355345 | 2243 1161 | 33 | 105 861.17/861.53 c 227s | 21 | 4350472 | 1367145 | 2243 1171 | 33 | 105 863.18/863.53 c 229s | 21 | 4390112 | 1379845 | 2243 1181 | 33 | 105 865.17/865.53 c 231s | 21 | 4429040 | 1391745 | 2243 1191 | 33 | 105 867.17/867.54 c 233s | 21 | 4470700 | 1403245 | 2243 1201 | 33 | 105 869.16/869.55 c 235s | 21 | 4510677 | 1415945 | 2243 1211 | 33 | 105 871.16/871.55 c 237s | 21 | 4553071 | 1428245 | 2243 1221 | 33 | 105 873.17/873.56 c 239s | 21 | 4593795 | 1440145 | 2243 1231 | 33 | 105 875.27/875.61 c 241s | 21 | 4633070 | 1452345 | 2243 1241 | 33 | 105 877.26/877.61 c 243s | 21 | 4672739 | 1464845 | 2243 1251 | 33 | 105 879.26/879.62 c 245s | 21 | 4708816 | 1476545 | 2243 1260 | 33 | 105 881.26/881.62 c 247s | 21 | 4743390 | 1488245 | 2243 1270 | 33 | 105 883.26/883.63 c 249s | 21 | 4780958 | 1500445 | 2243 1280 | 33 | 105 883.26/883.65 c 249s | 22 | 4781562 | 1500622 | 2243 1280 | 33 | 105 885.26/885.66 c 251s | 22 | 4821110 | 1512822 | 2243 1290 | 33 | 105 887.25/887.66 c 253s | 22 | 4858833 | 1525122 | 2243 1300 | 33 | 105 889.25/889.67 c 255s | 22 | 4896625 | 1537922 | 2243 1310 | 33 | 105 891.25/891.68 c 257s | 22 | 4932494 | 1550522 | 2243 1321 | 33 | 105 893.25/893.68 c 259s | 22 | 4974213 | 1564022 | 2243 1332 | 33 | 105 895.25/895.68 c 261s | 22 | 5016639 | 1575822 | 2243 1341 | 33 | 105 897.26/897.68 c 263s | 22 | 5056463 | 1588722 | 2243 1352 | 33 | 105 899.25/899.69 c 265s | 22 | 5094549 | 1601722 | 2243 1363 | 33 | 105 901.25/901.69 c 267s | 22 | 5129057 | 1614222 | 2243 1373 | 33 | 105 903.25/903.69 c 269s | 22 | 5168383 | 1627122 | 2243 1383 | 33 | 105 905.35/905.70 c 271s | 22 | 5208448 | 1640022 | 2243 1394 | 33 | 105 907.35/907.70 c 273s | 22 | 5248039 | 1652522 | 2243 1404 | 33 | 105 909.35/909.70 c 275s | 22 | 5289101 | 1665022 | 2243 1414 | 33 | 105 911.35/911.71 c 277s | 22 | 5331766 | 1677722 | 2243 1425 | 33 | 105 913.35/913.72 c 279s | 22 | 5373732 | 1690022 | 2243 1435 | 33 | 105 915.35/915.72 c 281s | 22 | 5415508 | 1702622 | 2243 1445 | 33 | 105 917.35/917.74 c 283s | 22 | 5454988 | 1715422 | 2243 1455 | 33 | 105 919.35/919.75 c 285s | 22 | 5498137 | 1728822 | 2243 1466 | 33 | 105 921.35/921.76 c 287s | 22 | 5540456 | 1741422 | 2243 1476 | 33 | 105 923.34/923.78 c 289s | 22 | 5578926 | 1753822 | 2243 1487 | 33 | 105 925.34/925.78 c 291s | 22 | 5617816 | 1766722 | 2243 1497 | 33 | 105 927.34/927.79 c 293s | 22 | 5659542 | 1779722 | 2243 1508 | 33 | 105 929.44/929.80 c 295s | 22 | 5694501 | 1792322 | 2243 1518 | 33 | 105 931.45/931.81 c 297s | 22 | 5730065 | 1804622 | 2243 1528 | 33 | 105 933.44/933.82 c 299s | 22 | 5769375 | 1817622 | 2243 1539 | 33 | 105 935.44/935.83 c 301s | 22 | 5810348 | 1830422 | 2243 1549 | 33 | 105 937.44/937.88 c 303s | 22 | 5849705 | 1843722 | 2243 1560 | 33 | 105 939.44/939.88 c 305s | 22 | 5890330 | 1857122 | 2243 1571 | 33 | 105 941.44/941.89 c 307s | 22 | 5929028 | 1870322 | 2243 1582 | 33 | 105 943.55/943.95 c 309s | 22 | 5965648 | 1883222 | 2243 1592 | 33 | 105 945.55/945.95 c 311s | 22 | 6002332 | 1895722 | 2243 1602 | 33 | 105 947.55/947.95 c 313s | 22 | 6039673 | 1908322 | 2243 1613 | 33 | 105 949.55/949.96 c 315s | 22 | 6076712 | 1920622 | 2243 1623 | 33 | 105 951.55/951.96 c 317s | 22 | 6116567 | 1933522 | 2243 1633 | 33 | 105 953.55/953.98 c 319s | 22 | 6156696 | 1945322 | 2243 1643 | 33 | 105 955.55/955.99 c 321s | 22 | 6197140 | 1957022 | 2243 1653 | 33 | 105 957.65/958.02 c 323s | 22 | 6239095 | 1969322 | 2243 1663 | 33 | 105 959.65/960.03 c 325s | 22 | 6278349 | 1982322 | 2243 1673 | 33 | 105 961.64/962.04 c 327s | 22 | 6316493 | 1994722 | 2243 1683 | 33 | 105 963.64/964.06 c 329s | 22 | 6355349 | 2007422 | 2243 1694 | 33 | 105 965.64/966.08 c 331s | 22 | 6393882 | 2020022 | 2243 1704 | 33 | 105 967.65/968.08 c 333s | 22 | 6428543 | 2032222 | 2243 1714 | 33 | 105 969.64/970.10 c 335s | 22 | 6464495 | 2044822 | 2243 1724 | 33 | 105 971.74/972.10 c 337s | 22 | 6503531 | 2057922 | 2243 1735 | 33 | 105 973.74/974.11 c 339s | 22 | 6542505 | 2070822 | 2243 1745 | 33 | 105 975.74/976.12 c 341s | 22 | 6579611 | 2082622 | 2243 1755 | 33 | 105 977.74/978.12 c 343s | 22 | 6616900 | 2094522 | 2243 1765 | 33 | 105 979.75/980.12 c 345s | 22 | 6659266 | 2106922 | 2243 1775 | 33 | 105 981.74/982.12 c 347s | 22 | 6701155 | 2119222 | 2243 1785 | 33 | 105 983.74/984.13 c 349s | 22 | 6741654 | 2132022 | 2243 1795 | 33 | 105 985.74/986.13 c 351s | 22 | 6776310 | 2143722 | 2243 1805 | 33 | 105 987.74/988.14 c 353s | 22 | 6816059 | 2156222 | 2243 1815 | 33 | 105 989.74/990.16 c 355s | 22 | 6856113 | 2168422 | 2243 1825 | 33 | 105 991.74/992.17 c 357s | 22 | 6897370 | 2181222 | 2243 1835 | 33 | 105 993.74/994.17 c 359s | 22 | 6935195 | 2194222 | 2243 1846 | 33 | 105 995.74/996.19 c 361s | 22 | 6974068 | 2207222 | 2243 1857 | 33 | 105 997.83/998.20 c 363s | 22 | 7011895 | 2219922 | 2243 1867 | 33 | 105 999.83/1000.21 c 365s | 22 | 7051751 | 2232922 | 2243 1878 | 33 | 105 1001.84/1002.21 c 367s | 22 | 7091815 | 2246222 | 2243 1888 | 33 | 105 1002.63/1003.00 c 368s | 23 | 7106419 | 2251038 | 2243 1892 | 33 | 105 1004.63/1005.01 c 370s | 23 | 7147497 | 2263738 | 2243 1903 | 33 | 105 1006.63/1007.02 c 372s | 23 | 7188732 | 2276938 | 2243 1914 | 33 | 105 1008.63/1009.02 c 374s | 23 | 7226043 | 2289438 | 2243 1924 | 33 | 105 1010.64/1011.03 c 376s | 23 | 7266576 | 2302338 | 2243 1934 | 33 | 105 1012.63/1013.04 c 378s | 23 | 7304142 | 2315038 | 2243 1945 | 33 | 105 1014.63/1015.06 c 380s | 23 | 7342425 | 2327838 | 2243 1955 | 33 | 105 1016.63/1017.07 c 382s | 23 | 7379732 | 2340538 | 2243 1965 | 33 | 105 1018.63/1019.08 c 384s | 23 | 7415892 | 2352938 | 2243 1976 | 33 | 105 1020.63/1021.08 c 386s | 23 | 7455146 | 2366138 | 2243 1986 | 33 | 105 1022.64/1023.08 c 388s | 23 | 7495378 | 2379338 | 2243 1997 | 33 | 105 1024.63/1025.09 c 390s | 23 | 7533782 | 2392138 | 2243 2008 | 33 | 105 1026.73/1027.11 c 392s | 23 | 7574174 | 2405438 | 2243 2018 | 33 | 105 1028.73/1029.12 c 394s | 23 | 7613787 | 2418938 | 2243 2029 | 33 | 105 1030.74/1031.13 c 396s | 23 | 7649756 | 2431438 | 2243 2040 | 33 | 105 1032.74/1033.14 c 398s | 23 | 7693079 | 2444338 | 2243 2050 | 33 | 105 1034.74/1035.15 c 400s | 23 | 7735115 | 2457038 | 2243 2060 | 33 | 105 1036.73/1037.16 c 402s | 23 | 7773719 | 2468538 | 2243 2070 | 33 | 105 1038.73/1039.16 c 404s | 23 | 7812564 | 2480938 | 2243 2080 | 33 | 105 1040.73/1041.17 c 406s | 23 | 7851611 | 2493438 | 2243 2090 | 33 | 105 1042.73/1043.17 c 408s | 23 | 7890168 | 2505338 | 2243 2100 | 33 | 105 1044.74/1045.17 c 410s | 23 | 7930446 | 2517938 | 2243 2110 | 33 | 105 1046.73/1047.18 c 412s | 23 | 7974041 | 2531138 | 2243 2121 | 33 | 105 1048.73/1049.18 c 414s | 23 | 8014862 | 2543638 | 2243 2131 | 33 | 105 1050.73/1051.18 c 416s | 23 | 8056271 | 2556438 | 2243 2141 | 33 | 105 1052.73/1053.19 c 418s | 23 | 8095687 | 2568938 | 2243 2152 | 33 | 105 1054.83/1055.20 c 420s | 23 | 8133331 | 2581438 | 2243 2162 | 33 | 105 1056.84/1057.20 c 422s | 23 | 8171691 | 2593838 | 2243 2172 | 33 | 105 1058.83/1059.20 c 424s | 23 | 8207781 | 2605738 | 2243 2182 | 33 | 105 1060.83/1061.21 c 426s | 23 | 8244939 | 2618238 | 2243 2192 | 33 | 105 1062.83/1063.21 c 428s | 23 | 8282264 | 2630738 | 2243 2202 | 33 | 105 1064.83/1065.23 c 430s | 23 | 8323843 | 2643638 | 2243 2213 | 33 | 105 1066.82/1067.24 c 432s | 23 | 8363295 | 2656338 | 2243 2223 | 33 | 105 1068.83/1069.24 c 434s | 23 | 8402707 | 2669438 | 2243 2234 | 33 | 105 1070.82/1071.25 c 436s | 23 | 8444043 | 2682738 | 2243 2244 | 33 | 105 1072.92/1073.33 c 438s | 23 | 8483107 | 2695538 | 2243 2255 | 33 | 105 1074.92/1075.33 c 440s | 23 | 8521585 | 2708138 | 2243 2265 | 33 | 105 1076.92/1077.34 c 442s | 23 | 8558186 | 2720138 | 2243 2275 | 33 | 105 1078.92/1079.35 c 444s | 23 | 8597033 | 2732738 | 2243 2285 | 33 | 105 1080.93/1081.35 c 446s | 23 | 8636295 | 2745238 | 2243 2296 | 33 | 105 1082.92/1083.35 c 448s | 23 | 8675150 | 2757638 | 2243 2306 | 33 | 105 1084.92/1085.36 c 450s | 23 | 8716763 | 2770838 | 2243 2316 | 33 | 105 1086.92/1087.37 c 452s | 23 | 8758973 | 2783738 | 2243 2327 | 33 | 105 1088.92/1089.37 c 454s | 23 | 8797862 | 2795738 | 2243 2337 | 33 | 105 1090.93/1091.39 c 456s | 23 | 8837218 | 2808438 | 2243 2347 | 33 | 105 1092.92/1093.40 c 458s | 23 | 8877179 | 2821238 | 2243 2357 | 33 | 105 1095.02/1095.41 c 460s | 23 | 8915483 | 2833538 | 2243 2368 | 33 | 105 1097.02/1097.42 c 462s | 23 | 8954718 | 2846038 | 2243 2378 | 33 | 105 1099.02/1099.43 c 464s | 23 | 8993070 | 2858938 | 2243 2388 | 33 | 105 1101.02/1101.44 c 466s | 23 | 9029531 | 2870838 | 2243 2398 | 33 | 105 1103.02/1103.45 c 468s | 23 | 9070879 | 2884038 | 2243 2409 | 33 | 105 1105.02/1105.46 c 470s | 23 | 9108157 | 2896038 | 2243 2419 | 33 | 105 1107.02/1107.47 c 472s | 23 | 9146720 | 2908538 | 2243 2429 | 33 | 105 1109.02/1109.49 c 474s | 23 | 9183350 | 2920638 | 2243 2439 | 33 | 105 1111.02/1111.49 c 476s | 23 | 9221546 | 2932838 | 2243 2449 | 33 | 105 1113.11/1113.51 c 478s | 23 | 9257238 | 2944638 | 2243 2458 | 33 | 105 1115.12/1115.52 c 480s | 23 | 9294641 | 2957638 | 2243 2469 | 33 | 105 1117.11/1117.53 c 483s | 23 | 9331668 | 2970038 | 2243 2479 | 33 | 105 1119.11/1119.54 c 485s | 23 | 9370586 | 2982638 | 2243 2489 | 33 | 105 1121.11/1121.54 c 487s | 23 | 9406199 | 2995038 | 2243 2499 | 33 | 105 1123.11/1123.54 c 489s | 23 | 9445127 | 3007238 | 2243 2509 | 33 | 105 1125.11/1125.56 c 491s | 23 | 9484822 | 3019938 | 2243 2520 | 33 | 105 1127.12/1127.57 c 493s | 23 | 9523048 | 3032538 | 2243 2530 | 33 | 105 1129.11/1129.57 c 495s | 23 | 9561730 | 3044838 | 2243 2540 | 33 | 105 1131.11/1131.58 c 497s | 23 | 9602017 | 3057738 | 2243 2551 | 33 | 105 1133.12/1133.59 c 499s | 23 | 9639799 | 3070038 | 2243 2561 | 33 | 105 1135.22/1135.63 c 501s | 23 | 9677328 | 3082138 | 2243 2571 | 33 | 105 1137.22/1137.66 c 503s | 23 | 9713514 | 3094938 | 2243 2581 | 33 | 105 1139.22/1139.69 c 505s | 23 | 9755589 | 3108238 | 2243 2592 | 33 | 105 1141.21/1141.69 c 507s | 23 | 9792472 | 3120238 | 2243 2602 | 33 | 105 1143.31/1143.70 c 509s | 23 | 9830686 | 3132138 | 2243 2611 | 33 | 105 1145.31/1145.70 c 511s | 23 | 9871774 | 3144638 | 2243 2622 | 33 | 105 1147.31/1147.72 c 513s | 23 | 9911282 | 3157538 | 2243 2632 | 33 | 105 1149.31/1149.74 c 515s | 23 | 9951698 | 3170338 | 2243 2643 | 33 | 105 1151.32/1151.75 c 517s | 23 | 9990655 | 3183038 | 2243 2653 | 33 | 105 1153.31/1153.75 c 519s | 23 | 10034365 | 3195238 | 2243 2663 | 33 | 105 1155.31/1155.77 c 521s | 23 | 10074868 | 3207238 | 2243 2673 | 33 | 105 1157.31/1157.78 c 523s | 23 | 10114749 | 3219738 | 2243 2683 | 33 | 105 1159.31/1159.78 c 525s | 23 | 10152294 | 3231938 | 2243 2693 | 33 | 105 1161.32/1161.79 c 527s | 23 | 10193662 | 3244638 | 2243 2703 | 33 | 105 1163.31/1163.79 c 529s | 23 | 10232796 | 3257338 | 2243 2713 | 33 | 105 1165.41/1165.80 c 531s | 23 | 10277172 | 3269638 | 2243 2724 | 33 | 105 1167.41/1167.81 c 533s | 23 | 10318932 | 3281838 | 2243 2733 | 33 | 105 1169.41/1169.81 c 535s | 23 | 10362163 | 3294638 | 2243 2744 | 33 | 105 1171.41/1171.82 c 537s | 23 | 10404104 | 3307238 | 2243 2754 | 33 | 105 1173.42/1173.82 c 539s | 23 | 10444970 | 3319138 | 2243 2764 | 33 | 105 1175.41/1175.83 c 541s | 23 | 10487597 | 3331338 | 2243 2774 | 33 | 105 1177.41/1177.85 c 543s | 23 | 10530783 | 3343938 | 2243 2784 | 33 | 105 1179.41/1179.85 c 545s | 23 | 10570634 | 3356338 | 2243 2794 | 33 | 105 1181.41/1181.86 c 547s | 23 | 10610812 | 3368838 | 2243 2804 | 33 | 105 1182.71/1183.12 c 548s | 24 | 10635594 | 3376662 | 2243 2811 | 33 | 105 1184.71/1185.13 c 550s | 24 | 10676185 | 3389862 | 2243 2822 | 33 | 105 1186.71/1187.14 c 552s | 24 | 10717778 | 3402662 | 2243 2832 | 33 | 105 1188.72/1189.15 c 554s | 24 | 10759894 | 3415462 | 2243 2842 | 33 | 105 1190.71/1191.16 c 556s | 24 | 10798559 | 3428162 | 2468 2852 | 33 | 105 1192.71/1193.16 c 558s | 24 | 10836773 | 3440162 | 2468 2861 | 33 | 105 1194.71/1195.17 c 560s | 24 | 10876442 | 3452862 | 2468 2871 | 33 | 105 1196.71/1197.17 c 562s | 24 | 10915499 | 3464562 | 2468 2880 | 33 | 105 1198.71/1199.18 c 564s | 24 | 10952610 | 3476862 | 2468 2889 | 33 | 105 1200.70/1201.18 c 566s | 24 | 10990376 | 3489062 | 2468 2898 | 33 | 105 1202.80/1203.25 c 568s | 24 | 11027748 | 3500262 | 2468 2906 | 33 | 105 1204.80/1205.25 c 570s | 24 | 11066933 | 3512562 | 2468 2915 | 33 | 105 1206.80/1207.26 c 572s | 24 | 11103934 | 3523962 | 2468 2924 | 33 | 105 1208.80/1209.26 c 574s | 24 | 11142197 | 3535162 | 2468 2932 | 33 | 105 1210.81/1211.28 c 576s | 24 | 11184111 | 3547562 | 2468 2942 | 33 | 105 1212.80/1213.28 c 578s | 24 | 11223293 | 3559562 | 2468 2951 | 33 | 105 1214.80/1215.28 c 580s | 24 | 11261814 | 3571262 | 2468 2959 | 33 | 105 1216.90/1217.30 c 582s | 24 | 11299937 | 3582662 | 2468 2968 | 33 | 105 1218.91/1219.31 c 584s | 24 | 11340179 | 3593862 | 2468 2976 | 33 | 105 1220.91/1221.32 c 586s | 24 | 11377020 | 3605762 | 2468 2985 | 33 | 105 1222.91/1223.32 c 588s | 24 | 11415562 | 3617662 | 2468 2994 | 33 | 105 1224.91/1225.32 c 590s | 24 | 11453869 | 3629762 | 2468 3003 | 33 | 105 1226.90/1227.34 c 592s | 24 | 11491126 | 3641762 | 2468 3012 | 33 | 105 1228.90/1229.35 c 594s | 24 | 11529499 | 3653862 | 2468 3021 | 33 | 105 1230.90/1231.35 c 596s | 24 | 11569333 | 3665962 | 2468 3030 | 33 | 105 1232.90/1233.36 c 598s | 24 | 11610372 | 3677762 | 2468 3039 | 33 | 105 1234.91/1235.37 c 600s | 24 | 11648578 | 3689962 | 2468 3048 | 33 | 105 1236.90/1237.37 c 602s | 24 | 11684103 | 3701762 | 2468 3057 | 33 | 105 1238.90/1239.38 c 604s | 24 | 11721746 | 3713262 | 2468 3065 | 33 | 105 1240.90/1241.39 c 606s | 24 | 11759529 | 3724562 | 2468 3074 | 33 | 105 1242.90/1243.40 c 608s | 24 | 11796527 | 3736362 | 2468 3082 | 33 | 105 1245.00/1245.42 c 610s | 24 | 11833659 | 3748262 | 2468 3091 | 33 | 105 1247.01/1247.42 c 612s | 24 | 11872703 | 3759762 | 2468 3100 | 33 | 105 1249.00/1249.42 c 614s | 24 | 11908254 | 3771562 | 2468 3109 | 33 | 105 1251.00/1251.44 c 616s | 24 | 11948749 | 3783962 | 2468 3118 | 33 | 105 1253.00/1253.44 c 618s | 24 | 11989845 | 3796162 | 2468 3127 | 33 | 105 1255.00/1255.45 c 620s | 24 | 12028248 | 3808562 | 2468 3136 | 33 | 105 1257.00/1257.46 c 622s | 24 | 12067589 | 3821062 | 2468 3146 | 33 | 105 1259.00/1259.47 c 624s | 24 | 12104032 | 3832962 | 2468 3155 | 33 | 105 1261.00/1261.47 c 626s | 24 | 12143748 | 3845462 | 2468 3164 | 33 | 105 1263.00/1263.47 c 628s | 24 | 12180183 | 3857462 | 2468 3173 | 33 | 105 1264.99/1265.48 c 630s | 24 | 12221176 | 3870462 | 2468 3183 | 33 | 105 1267.09/1267.52 c 633s | 24 | 12260220 | 3882462 | 2468 3192 | 33 | 105 1269.10/1269.53 c 635s | 24 | 12305062 | 3894662 | 2468 3201 | 33 | 105 1271.09/1271.54 c 637s | 24 | 12343828 | 3906762 | 2468 3210 | 33 | 105 1273.10/1273.54 c 639s | 24 | 12382053 | 3918662 | 2468 3219 | 33 | 105 1275.10/1275.55 c 641s | 24 | 12419684 | 3930462 | 2468 3227 | 33 | 105 1277.10/1277.57 c 643s | 24 | 12458407 | 3942362 | 2468 3236 | 33 | 105 1279.10/1279.57 c 645s | 24 | 12497905 | 3953762 | 2468 3245 | 33 | 105 1281.10/1281.57 c 647s | 24 | 12535485 | 3965562 | 2468 3254 | 33 | 105 1283.10/1283.58 c 649s | 24 | 12576104 | 3977262 | 2468 3262 | 33 | 105 1285.10/1285.58 c 651s | 24 | 12613636 | 3989162 | 2468 3271 | 33 | 105 1287.10/1287.58 c 653s | 24 | 12654642 | 4001362 | 2468 3280 | 33 | 105 1289.09/1289.59 c 655s | 24 | 12694361 | 4013162 | 2468 3289 | 33 | 105 1291.10/1291.59 c 657s | 24 | 12734669 | 4024862 | 2468 3298 | 33 | 105 1293.20/1293.62 c 659s | 24 | 12777273 | 4037862 | 2468 3308 | 33 | 105 1295.19/1295.62 c 661s | 24 | 12817074 | 4050062 | 2468 3317 | 33 | 105 1297.19/1297.64 c 663s | 24 | 12851756 | 4061062 | 2468 3325 | 33 | 105 1299.19/1299.65 c 665s | 24 | 12893004 | 4073862 | 2468 3334 | 33 | 105 1301.19/1301.67 c 667s | 24 | 12931212 | 4085962 | 2468 3343 | 33 | 105 1303.20/1303.67 c 669s | 24 | 12971867 | 4097762 | 2468 3352 | 33 | 105 1305.19/1305.68 c 671s | 24 | 13011903 | 4109162 | 2468 3361 | 33 | 105 1307.19/1307.69 c 673s | 24 | 13049055 | 4120562 | 2468 3369 | 33 | 105 1309.19/1309.69 c 675s | 24 | 13090687 | 4132262 | 2468 3378 | 33 | 105 1311.29/1311.70 c 677s | 24 | 13131900 | 4144362 | 2468 3387 | 33 | 105 1313.29/1313.75 c 679s | 24 | 13169588 | 4155662 | 2468 3396 | 33 | 105 1315.30/1315.76 c 681s | 24 | 13210775 | 4167562 | 2468 3404 | 33 | 105 1317.29/1317.76 c 683s | 24 | 13252142 | 4179462 | 2468 3413 | 33 | 105 1319.29/1319.78 c 685s | 24 | 13292986 | 4191762 | 2468 3422 | 33 | 105 1321.29/1321.78 c 687s | 24 | 13333000 | 4203962 | 2468 3432 | 33 | 105 1323.29/1323.78 c 689s | 24 | 13373787 | 4215562 | 2468 3440 | 33 | 105 1325.29/1325.79 c 691s | 24 | 13413048 | 4227362 | 2468 3449 | 33 | 105 1327.30/1327.80 c 693s | 24 | 13451123 | 4238962 | 2468 3458 | 33 | 105 1329.39/1329.81 c 695s | 24 | 13491424 | 4250762 | 2468 3467 | 33 | 105 1331.39/1331.81 c 697s | 24 | 13529079 | 4261562 | 2468 3475 | 33 | 105 1333.39/1333.82 c 699s | 24 | 13571459 | 4273462 | 2468 3483 | 33 | 105 1335.39/1335.84 c 701s | 24 | 13607104 | 4284862 | 2468 3492 | 33 | 105 1337.39/1337.85 c 703s | 24 | 13644608 | 4296362 | 2468 3501 | 33 | 105 1339.39/1339.85 c 705s | 24 | 13683571 | 4307962 | 2468 3509 | 33 | 105 1341.39/1341.86 c 707s | 24 | 13722204 | 4319462 | 2468 3518 | 33 | 105 1343.39/1343.87 c 709s | 24 | 13759365 | 4331362 | 2468 3527 | 33 | 105 1345.38/1345.88 c 711s | 24 | 13797494 | 4344262 | 2468 3536 | 33 | 105 1347.38/1347.89 c 713s | 24 | 13833355 | 4356162 | 2468 3545 | 33 | 105 1349.48/1349.90 c 715s | 24 | 13868256 | 4367462 | 2468 3554 | 33 | 105 1351.49/1351.90 c 717s | 24 | 13906739 | 4379962 | 2468 3563 | 33 | 105 1353.48/1353.92 c 719s | 24 | 13943858 | 4391962 | 2468 3572 | 33 | 105 1355.48/1355.94 c 721s | 24 | 13980206 | 4403862 | 2468 3581 | 33 | 105 1357.48/1357.97 c 723s | 24 | 14020113 | 4415362 | 2468 3590 | 33 | 105 1359.48/1359.98 c 725s | 24 | 14060216 | 4427362 | 2468 3598 | 33 | 105 1361.49/1361.99 c 727s | 24 | 14098101 | 4439562 | 2468 3608 | 33 | 105 1363.48/1364.00 c 729s | 24 | 14131872 | 4451562 | 2468 3617 | 33 | 105 1365.58/1366.00 c 731s | 24 | 14168322 | 4463962 | 2468 3626 | 33 | 105 1367.58/1368.01 c 733s | 24 | 14207962 | 4476062 | 2468 3635 | 33 | 105 1369.58/1370.02 c 735s | 24 | 14245096 | 4488262 | 2468 3644 | 33 | 105 1371.58/1372.03 c 737s | 24 | 14281804 | 4500362 | 2468 3653 | 33 | 105 1373.59/1374.04 c 739s | 24 | 14322030 | 4513162 | 2468 3663 | 33 | 105 1375.58/1376.05 c 741s | 24 | 14358848 | 4525162 | 2468 3672 | 33 | 105 1377.58/1378.06 c 743s | 24 | 14397542 | 4537562 | 2468 3681 | 33 | 105 1379.58/1380.06 c 745s | 24 | 14432752 | 4548062 | 2468 3689 | 33 | 105 1381.58/1382.07 c 747s | 24 | 14474742 | 4560362 | 2468 3698 | 33 | 105 1383.58/1384.07 c 749s | 24 | 14514661 | 4572462 | 2468 3707 | 33 | 105 1385.59/1386.08 c 751s | 24 | 14556729 | 4584862 | 2468 3716 | 33 | 105 1387.58/1388.08 c 753s | 24 | 14602225 | 4597462 | 2468 3726 | 33 | 105 1389.58/1390.09 c 755s | 24 | 14642937 | 4609562 | 2468 3735 | 33 | 105 1391.68/1392.10 c 757s | 24 | 14683184 | 4621962 | 2468 3744 | 33 | 105 1393.68/1394.10 c 759s | 24 | 14721489 | 4634062 | 2468 3753 | 33 | 105 1395.68/1396.12 c 761s | 24 | 14761859 | 4646762 | 2468 3762 | 33 | 105 1397.68/1398.15 c 763s | 24 | 14800344 | 4658962 | 2468 3772 | 33 | 105 1399.68/1400.16 c 765s | 24 | 14841675 | 4670962 | 2468 3781 | 33 | 105 1401.67/1402.17 c 767s | 24 | 14877318 | 4683162 | 2468 3790 | 33 | 105 1403.67/1404.17 c 769s | 24 | 14914816 | 4695562 | 2468 3799 | 33 | 105 1405.67/1406.18 c 771s | 24 | 14948801 | 4706562 | 2468 3807 | 33 | 105 1407.77/1408.20 c 773s | 24 | 14989397 | 4719462 | 2468 3817 | 33 | 105 1409.67/1410.20 c 775s | 24 | 15028861 | 4731862 | 2468 3826 | 33 | 105 1411.77/1412.21 c 777s | 24 | 15067028 | 4744562 | 2468 3835 | 33 | 105 1413.77/1414.21 c 779s | 24 | 15101588 | 4756262 | 2468 3844 | 33 | 105 1415.77/1416.23 c 781s | 24 | 15141157 | 4768662 | 2468 3854 | 33 | 105 1417.77/1418.24 c 783s | 24 | 15182885 | 4780562 | 2468 3862 | 33 | 105 1419.78/1420.24 c 785s | 24 | 15222350 | 4792962 | 2468 3872 | 33 | 105 1421.77/1422.25 c 787s | 24 | 15259259 | 4805462 | 2468 3881 | 33 | 105 1423.77/1424.25 c 789s | 24 | 15295369 | 4818162 | 2468 3890 | 33 | 105 1425.77/1426.27 c 791s | 24 | 15328728 | 4829862 | 2468 3899 | 33 | 105 1427.77/1428.28 c 793s | 24 | 15365647 | 4841962 | 2468 3908 | 33 | 105 1429.87/1430.31 c 795s | 24 | 15406144 | 4854362 | 2468 3918 | 33 | 105 1431.88/1432.32 c 797s | 24 | 15445974 | 4866162 | 2468 3926 | 33 | 105 1433.88/1434.34 c 799s | 24 | 15483694 | 4878962 | 2468 3936 | 33 | 105 1435.87/1436.34 c 801s | 24 | 15521463 | 4890962 | 2468 3945 | 33 | 105 1437.87/1438.35 c 803s | 24 | 15562101 | 4903662 | 2468 3954 | 33 | 105 1439.87/1440.36 c 805s | 24 | 15602321 | 4915962 | 2468 3964 | 33 | 105 1441.87/1442.37 c 807s | 24 | 15640664 | 4927162 | 2468 3972 | 33 | 105 1443.88/1444.37 c 809s | 24 | 15680354 | 4938962 | 2468 3981 | 33 | 105 1445.97/1446.41 c 811s | 24 | 15716860 | 4951262 | 2468 3990 | 33 | 105 1447.97/1448.41 c 813s | 24 | 15750910 | 4963362 | 2468 3999 | 33 | 105 1449.97/1450.42 c 815s | 24 | 15784209 | 4974462 | 2468 4007 | 33 | 105 1451.97/1452.43 c 817s | 24 | 15822556 | 4986562 | 2468 4016 | 33 | 105 1453.97/1454.43 c 819s | 24 | 15857417 | 4998662 | 2468 4025 | 33 | 105 1455.97/1456.45 c 821s | 24 | 15896818 | 5010762 | 2468 4034 | 33 | 105 1457.96/1458.46 c 823s | 24 | 15938102 | 5022762 | 2468 4043 | 33 | 105 1459.97/1460.47 c 825s | 24 | 15977371 | 5034562 | 2468 4052 | 33 | 105 1461.97/1462.49 c 827s | 24 | 16015290 | 5045762 | 2468 4061 | 33 | 105 1464.07/1464.50 c 829s | 24 | 16057559 | 5057562 | 2468 4069 | 33 | 105 1465.27/1465.70 c 831s | 25 | 16084661 | 5065098 | 2468 4075 | 33 | 105 1467.27/1467.71 c 833s | 25 | 16122692 | 5076698 | 2468 4084 | 33 | 105 1469.27/1469.77 c 835s | 25 | 16160354 | 5088398 | 2468 4092 | 33 | 105 1471.26/1471.78 c 837s | 25 | 16206074 | 5101298 | 2468 4102 | 33 | 105 1473.26/1473.79 c 839s | 25 | 16252411 | 5113898 | 2468 4111 | 33 | 105 1475.36/1475.80 c 841s | 25 | 16296547 | 5126698 | 2468 4121 | 33 | 105 1477.36/1477.81 c 843s | 25 | 16334894 | 5138598 | 2468 4130 | 33 | 105 1479.36/1479.81 c 845s | 25 | 16372218 | 5150298 | 2468 4139 | 33 | 105 1481.37/1481.82 c 847s | 25 | 16413111 | 5162398 | 2468 4148 | 33 | 105 1483.36/1483.82 c 849s | 25 | 16451199 | 5173898 | 2468 4156 | 33 | 105 1485.36/1485.82 c 851s | 25 | 16491648 | 5185798 | 2468 4165 | 33 | 105 1487.36/1487.82 c 853s | 25 | 16525533 | 5196798 | 2468 4173 | 33 | 105 1489.36/1489.82 c 855s | 25 | 16560613 | 5208598 | 2468 4182 | 33 | 105 1491.36/1491.82 c 857s | 25 | 16599478 | 5219698 | 2468 4190 | 33 | 105 1493.37/1493.83 c 859s | 25 | 16639425 | 5231498 | 2468 4199 | 33 | 105 1495.36/1495.85 c 861s | 25 | 16680038 | 5242898 | 2468 4208 | 33 | 105 1497.36/1497.85 c 863s | 25 | 16720272 | 5254898 | 2468 4217 | 33 | 105 1499.37/1499.86 c 865s | 25 | 16765434 | 5266798 | 2468 4226 | 33 | 105 1501.36/1501.87 c 867s | 25 | 16802222 | 5278498 | 2468 4234 | 33 | 105 1503.37/1503.88 c 869s | 25 | 16839522 | 5290398 | 2468 4243 | 33 | 105 1505.36/1505.89 c 871s | 25 | 16876234 | 5301698 | 2468 4252 | 33 | 105 1507.46/1507.90 c 873s | 25 | 16913779 | 5312798 | 2468 4260 | 33 | 105 1509.46/1509.90 c 875s | 25 | 16952147 | 5324698 | 2468 4269 | 33 | 105 1511.46/1511.91 c 877s | 25 | 16987210 | 5335698 | 2468 4277 | 33 | 105 1513.46/1513.91 c 879s | 25 | 17025339 | 5347098 | 2468 4285 | 33 | 105 1515.47/1515.93 c 881s | 25 | 17064233 | 5359098 | 2468 4294 | 33 | 105 1517.46/1517.94 c 883s | 25 | 17102481 | 5371098 | 2468 4303 | 33 | 105 1519.46/1519.95 c 885s | 25 | 17139506 | 5383198 | 2468 4312 | 33 | 105 1521.46/1521.95 c 887s | 25 | 17175653 | 5395398 | 2468 4321 | 33 | 105 1523.46/1523.96 c 889s | 25 | 17213670 | 5407498 | 2468 4330 | 33 | 105 1525.46/1525.97 c 891s | 25 | 17251620 | 5419298 | 2468 4339 | 33 | 105 1527.46/1527.98 c 893s | 25 | 17288782 | 5430998 | 2468 4348 | 33 | 105 1529.46/1529.99 c 895s | 25 | 17325161 | 5442898 | 2468 4357 | 33 | 105 1531.56/1532.00 c 897s | 25 | 17361313 | 5454598 | 2468 4366 | 33 | 105 1533.56/1534.01 c 899s | 25 | 17400018 | 5466598 | 2468 4375 | 33 | 105 1535.56/1536.03 c 901s | 25 | 17438285 | 5479598 | 2468 4384 | 33 | 105 1537.56/1538.05 c 903s | 25 | 17478312 | 5491098 | 2468 4393 | 33 | 105 1539.56/1540.05 c 905s | 25 | 17521177 | 5503198 | 2468 4402 | 33 | 105 1541.55/1542.05 c 907s | 25 | 17561775 | 5514798 | 2468 4411 | 33 | 105 1543.55/1544.09 c 909s | 25 | 17605551 | 5526798 | 2468 4420 | 33 | 105 1545.55/1546.09 c 911s | 25 | 17644416 | 5538598 | 2468 4428 | 33 | 105 1547.65/1548.10 c 913s | 25 | 17679463 | 5549698 | 2468 4437 | 33 | 105 1549.65/1550.12 c 915s | 25 | 17720900 | 5561598 | 2468 4446 | 33 | 105 1551.66/1552.12 c 917s | 25 | 17761252 | 5573398 | 2468 4454 | 33 | 105 1553.65/1554.13 c 919s | 25 | 17798661 | 5584798 | 2468 4463 | 33 | 105 1555.65/1556.14 c 921s | 25 | 17834450 | 5596498 | 2468 4472 | 33 | 105 1557.65/1558.16 c 923s | 25 | 17873782 | 5608498 | 2468 4481 | 33 | 105 1559.65/1560.16 c 925s | 25 | 17912619 | 5619598 | 2468 4489 | 33 | 105 1561.66/1562.17 c 927s | 25 | 17948325 | 5629798 | 2468 4497 | 33 | 105 1563.65/1564.18 c 929s | 25 | 17982682 | 5640698 | 2468 4505 | 33 | 105 1565.75/1566.20 c 931s | 25 | 18016661 | 5651898 | 2468 4513 | 33 | 105 1567.75/1568.20 c 933s | 25 | 18055519 | 5663698 | 2468 4522 | 33 | 105 1569.75/1570.22 c 935s | 25 | 18092756 | 5675198 | 2468 4530 | 33 | 105 1571.75/1572.22 c 937s | 25 | 18127186 | 5686398 | 2468 4539 | 33 | 105 1573.75/1574.24 c 939s | 25 | 18163009 | 5697698 | 2468 4547 | 33 | 105 1575.75/1576.24 c 941s | 25 | 18196994 | 5707998 | 2468 4555 | 33 | 105 1577.75/1578.25 c 943s | 25 | 18230772 | 5719198 | 2468 4563 | 33 | 105 1579.74/1580.26 c 945s | 25 | 18262308 | 5729798 | 2468 4571 | 33 | 105 1581.74/1582.27 c 947s | 25 | 18304819 | 5741698 | 2468 4580 | 33 | 105 1583.74/1584.27 c 949s | 25 | 18339564 | 5752198 | 2468 4588 | 33 | 105 1585.75/1586.29 c 951s | 25 | 18372802 | 5763598 | 2468 4597 | 33 | 105 1587.84/1588.31 c 953s | 25 | 18408265 | 5775398 | 2468 4605 | 33 | 105 1589.84/1590.31 c 955s | 25 | 18448020 | 5787898 | 2468 4615 | 33 | 105 1591.84/1592.32 c 957s | 25 | 18480742 | 5799198 | 2468 4623 | 33 | 105 1593.84/1594.32 c 959s | 25 | 18514838 | 5810098 | 2468 4631 | 33 | 105 1595.84/1596.33 c 961s | 25 | 18549605 | 5820398 | 2468 4639 | 33 | 105 1597.85/1598.34 c 963s | 25 | 18586917 | 5830798 | 2468 4647 | 33 | 105 1599.85/1600.35 c 965s | 25 | 18621795 | 5841398 | 2468 4655 | 33 | 105 1601.85/1602.35 c 967s | 25 | 18660067 | 5852398 | 2468 4663 | 33 | 105 1603.85/1604.36 c 969s | 25 | 18698223 | 5863698 | 2468 4671 | 33 | 105 1605.85/1606.37 c 971s | 25 | 18738416 | 5874598 | 2468 4679 | 33 | 105 1607.86/1608.38 c 973s | 25 | 18781711 | 5885798 | 2468 4688 | 33 | 105 1609.85/1610.39 c 975s | 25 | 18823313 | 5897298 | 2468 4696 | 33 | 105 1611.85/1612.39 c 977s | 25 | 18862471 | 5908898 | 2468 4705 | 33 | 105 1613.94/1614.40 c 979s | 25 | 18896392 | 5920198 | 2468 4714 | 33 | 105 1615.94/1616.41 c 981s | 25 | 18926845 | 5930798 | 2468 4721 | 33 | 105 1617.94/1618.42 c 983s | 25 | 18957951 | 5941498 | 2468 4729 | 33 | 105 1619.95/1620.46 c 985s | 25 | 18986405 | 5951498 | 2468 4736 | 33 | 105 1621.94/1622.46 c 987s | 25 | 19014771 | 5961898 | 2468 4744 | 33 | 105 1623.94/1624.46 c 989s | 25 | 19044252 | 5971998 | 2468 4751 | 33 | 105 1625.94/1626.47 c 991s | 25 | 19071732 | 5982098 | 2468 4759 | 33 | 105 1627.94/1628.48 c 993s | 25 | 19101280 | 5993398 | 2468 4767 | 33 | 105 1629.94/1630.48 c 995s | 25 | 19129040 | 6003398 | 2468 4774 | 33 | 105 1631.94/1632.49 c 997s | 25 | 19163422 | 6014398 | 2468 4782 | 33 | 105 1634.04/1634.50 c 999s | 25 | 19195583 | 6025098 | 2468 4790 | 33 | 105 1636.04/1636.51 c 1001s | 25 | 19228792 | 6036098 | 2468 4798 | 33 | 105 1638.04/1638.53 c 1004s | 25 | 19260929 | 6047598 | 2468 4807 | 33 | 105 1640.03/1640.53 c 1006s | 25 | 19292878 | 6058598 | 2468 4815 | 33 | 105 1642.03/1642.53 c 1008s | 25 | 19324079 | 6069598 | 2468 4823 | 33 | 105 1644.04/1644.55 c 1010s | 25 | 19353347 | 6080698 | 2468 4831 | 33 | 105 1646.03/1646.56 c 1012s | 25 | 19383092 | 6091498 | 2468 4839 | 33 | 105 1648.03/1648.57 c 1014s | 25 | 19415241 | 6102198 | 2468 4846 | 33 | 105 1650.03/1650.57 c 1016s | 25 | 19443537 | 6112398 | 2468 4854 | 33 | 105 1652.03/1652.58 c 1018s | 25 | 19475827 | 6123298 | 2468 4862 | 33 | 105 1654.04/1654.58 c 1020s | 25 | 19503244 | 6133198 | 2468 4869 | 33 | 105 1656.03/1656.60 c 1022s | 25 | 19532112 | 6143698 | 2468 4877 | 33 | 105 1658.14/1658.61 c 1024s | 25 | 19560874 | 6154398 | 2468 4885 | 33 | 105 1660.14/1660.62 c 1026s | 25 | 19589957 | 6164498 | 2468 4892 | 33 | 105 1662.14/1662.63 c 1028s | 25 | 19619006 | 6175298 | 2468 4900 | 33 | 105 1664.14/1664.64 c 1030s | 25 | 19650398 | 6185698 | 2468 4907 | 33 | 105 1666.15/1666.65 c 1032s | 25 | 19679467 | 6195698 | 2468 4915 | 33 | 105 1668.14/1668.66 c 1034s | 25 | 19711648 | 6206698 | 2468 4923 | 33 | 105 1670.14/1670.68 c 1036s | 25 | 19743536 | 6217798 | 2468 4931 | 33 | 105 1672.14/1672.68 c 1038s | 25 | 19772112 | 6228398 | 2468 4939 | 33 | 105 1674.14/1674.68 c 1040s | 25 | 19805364 | 6238598 | 2468 4946 | 33 | 105 1676.24/1676.70 c 1042s | 25 | 19837050 | 6248598 | 2468 4953 | 33 | 105 1678.24/1678.71 c 1044s | 25 | 19866418 | 6258798 | 2468 4961 | 33 | 105 1680.23/1680.71 c 1046s | 25 | 19897908 | 6269198 | 2468 4968 | 33 | 105 1682.23/1682.73 c 1048s | 25 | 19927399 | 6279898 | 2468 4976 | 33 | 105 1684.23/1684.73 c 1050s | 25 | 19956709 | 6289998 | 2468 4984 | 33 | 105 1686.23/1686.74 c 1052s | 25 | 19985797 | 6299898 | 2468 4991 | 33 | 105 1688.23/1688.74 c 1054s | 25 | 20015181 | 6310498 | 2468 4999 | 33 | 105 1690.24/1690.75 c 1056s | 25 | 20042428 | 6320698 | 2468 5006 | 33 | 105 1692.23/1692.75 c 1058s | 25 | 20071024 | 6330598 | 2468 5013 | 33 | 105 1694.23/1694.76 c 1060s | 25 | 20098349 | 6341098 | 2468 5021 | 33 | 105 1696.23/1696.77 c 1062s | 25 | 20125545 | 6350998 | 2468 5028 | 33 | 105 1698.23/1698.79 c 1064s | 25 | 20160117 | 6360998 | 2468 5036 | 33 | 105 1700.33/1700.80 c 1066s | 25 | 20191510 | 6370898 | 2468 5043 | 33 | 105 1702.34/1702.81 c 1068s | 25 | 20226729 | 6381598 | 2468 5051 | 33 | 105 1704.33/1704.82 c 1070s | 25 | 20259287 | 6391898 | 2468 5058 | 33 | 105 1706.33/1706.83 c 1072s | 25 | 20292516 | 6402098 | 2468 5066 | 33 | 105 1708.33/1708.84 c 1074s | 25 | 20320772 | 6411598 | 2468 5073 | 33 | 105 1710.33/1710.86 c 1076s | 25 | 20351250 | 6421698 | 2468 5080 | 33 | 105 1712.33/1712.86 c 1078s | 25 | 20377366 | 6430798 | 2468 5087 | 33 | 105 1714.33/1714.88 c 1080s | 25 | 20409101 | 6441798 | 2468 5095 | 33 | 105 1716.33/1716.89 c 1082s | 25 | 20440016 | 6451398 | 2468 5102 | 33 | 105 1718.42/1718.90 c 1084s | 25 | 20468821 | 6461698 | 2468 5109 | 33 | 105 1720.42/1720.91 c 1086s | 25 | 20498413 | 6471798 | 2468 5116 | 33 | 105 1722.42/1722.91 c 1088s | 25 | 20526239 | 6482098 | 2468 5124 | 33 | 105 1724.43/1724.92 c 1090s | 25 | 20556598 | 6492998 | 2468 5132 | 33 | 105 1726.42/1726.93 c 1092s | 25 | 20584665 | 6503198 | 2468 5139 | 33 | 105 1728.42/1728.94 c 1094s | 25 | 20614119 | 6513498 | 2468 5147 | 33 | 105 1730.43/1730.95 c 1096s | 25 | 20640165 | 6523098 | 2468 5154 | 33 | 105 1732.43/1732.99 c 1098s | 25 | 20667150 | 6533198 | 2468 5161 | 33 | 105 1734.53/1735.00 c 1100s | 25 | 20694961 | 6543098 | 2468 5169 | 33 | 105 1736.54/1737.01 c 1102s | 25 | 20722133 | 6553298 | 2468 5176 | 33 | 105 1738.53/1739.01 c 1104s | 25 | 20749788 | 6562998 | 2468 5183 | 33 | 105 1740.53/1741.02 c 1106s | 25 | 20776696 | 6572098 | 2468 5190 | 33 | 105 1742.53/1743.02 c 1108s | 25 | 20803532 | 6581398 | 2468 5197 | 33 | 105 1744.53/1745.03 c 1110s | 25 | 20832027 | 6591098 | 2468 5204 | 33 | 105 1746.53/1747.03 c 1112s | 25 | 20863523 | 6600798 | 2468 5211 | 33 | 105 1748.53/1749.05 c 1114s | 25 | 20896128 | 6611798 | 2468 5219 | 33 | 105 1750.53/1751.08 c 1116s | 25 | 20927989 | 6622298 | 2468 5227 | 33 | 105 1752.53/1753.09 c 1118s | 25 | 20956462 | 6632598 | 2468 5234 | 33 | 105 1754.62/1755.10 c 1120s | 25 | 20984478 | 6643098 | 2468 5242 | 33 | 105 1756.62/1757.10 c 1122s | 25 | 21012651 | 6652998 | 2468 5249 | 33 | 105 1758.62/1759.12 c 1124s | 25 | 21041581 | 6662898 | 2468 5256 | 33 | 105 1760.63/1761.14 c 1126s | 25 | 21067656 | 6672298 | 2468 5263 | 33 | 105 1762.62/1763.16 c 1128s | 25 | 21097518 | 6681898 | 2468 5270 | 33 | 105 1764.62/1765.16 c 1130s | 25 | 21125440 | 6691298 | 2468 5277 | 33 | 105 1766.62/1767.17 c 1132s | 25 | 21153197 | 6701298 | 2468 5284 | 33 | 105 1768.62/1769.19 c 1134s | 25 | 21178852 | 6710498 | 2468 5291 | 33 | 105 1770.72/1771.20 c 1136s | 25 | 21207055 | 6720298 | 2468 5298 | 33 | 105 1772.72/1773.20 c 1138s | 25 | 21235109 | 6729698 | 2468 5305 | 33 | 105 1774.72/1775.21 c 1140s | 25 | 21264705 | 6740698 | 2468 5313 | 33 | 105 1776.71/1777.21 c 1142s | 25 | 21296788 | 6752398 | 2468 5322 | 33 | 105 1778.71/1779.22 c 1144s | 25 | 21328585 | 6764098 | 2468 5330 | 33 | 105 1780.71/1781.22 c 1146s | 25 | 21360801 | 6775298 | 2468 5338 | 33 | 105 1782.72/1783.24 c 1148s | 25 | 21392694 | 6786398 | 2468 5346 | 33 | 105 1784.72/1785.24 c 1150s | 25 | 21422288 | 6797298 | 2468 5354 | 33 | 105 1786.72/1787.26 c 1152s | 25 | 21452904 | 6808598 | 2468 5363 | 33 | 105 1788.72/1789.27 c 1154s | 25 | 21484494 | 6819998 | 2468 5371 | 33 | 105 1790.72/1791.28 c 1156s | 25 | 21513875 | 6831098 | 2468 5379 | 33 | 105 1792.72/1793.29 c 1158s | 25 | 21545470 | 6841498 | 2468 5387 | 33 | 105 1794.82/1795.31 c 1160s | 25 | 21576446 | 6852198 | 2468 5395 | 33 | 105 1796.82/1797.33 c 1162s | 25 | 21606403 | 6862898 | 2468 5402 | 33 | 105 1798.82/1799.35 c 1164s | 25 | 21634344 | 6873498 | 2468 5410 | 33 | 105
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-4105449-1466245393/watcher-4105449-1466245393 -o /tmp/evaluation-result-4105449-1466245393/solver-4105449-1466245393 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105449-1466245393.opb pid=4933 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.07 2.02 3/179 4936 /proc/meminfo: memFree=30142360/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=582076 CPUtime=0 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 2144 0 0 0 0 0 0 0 20 0 4 0 26589427 596045824 2505 33554432000 4194304 16246674 140736732553232 140736732552656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 146031 2515 441 2943 0 142925 0 [pid=4936/tid=4937] ppid=4933 vsize=627132 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 642183168 2680 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=632252 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 647426048 2701 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=636348 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26589427 651620352 2718 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100156 s] /proc/loadavg: 2.00 2.07 2.02 3/179 4936 /proc/meminfo: memFree=30142360/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1219140 CPUtime=0.08 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 17601 0 0 0 6 2 0 0 20 0 4 0 26589427 1248399360 17926 33554432000 4194304 16246674 140736732553232 140736732536000 12478070 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 304785 17937 837 2943 0 301679 0 [pid=4936/tid=4937] ppid=4933 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1248399360 17941 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1248399360 17944 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1248399360 17951 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1219140 [startup+0.200514 s] /proc/loadavg: 2.00 2.07 2.02 3/179 4936 /proc/meminfo: memFree=30142360/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1219140 CPUtime=0.19 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 36069 0 0 0 13 6 0 0 20 0 4 0 26589427 1248399360 36395 33554432000 4194304 16246674 140736732553232 140736732536000 5546500 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 304785 36406 837 2943 0 301679 0 [pid=4936/tid=4937] ppid=4933 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1248399360 36410 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1248399360 36415 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1248399360 36424 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1219140 [startup+0.300475 s] /proc/loadavg: 2.00 2.07 2.02 3/179 4936 /proc/meminfo: memFree=30142360/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1219140 CPUtime=0.29 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 54834 0 0 0 21 8 0 0 20 0 4 0 26589427 1248399360 55160 33554432000 4194304 16246674 140736732553232 140736732536000 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 304785 55172 837 2943 0 301679 0 [pid=4936/tid=4937] ppid=4933 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1248399360 55177 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1248399360 55180 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1248399360 55188 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1219140 [startup+0.700403 s] /proc/loadavg: 2.00 2.07 2.02 3/179 4936 /proc/meminfo: memFree=30142360/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1219140 CPUtime=0.69 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 131810 0 0 0 50 19 0 0 20 0 4 0 26589427 1248399360 132135 33554432000 4194304 16246674 140736732553232 140736732535104 13191638 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 304785 132145 837 2943 0 301679 0 [pid=4936/tid=4937] ppid=4933 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1248399360 132151 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1248399360 132154 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1248399360 132162 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1219140 [startup+1.5004 s] /proc/loadavg: 2.00 2.07 2.02 4/183 4940 /proc/meminfo: memFree=29309240/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1305156 CPUtime=1.49 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 267210 0 0 0 112 37 0 0 20 0 4 0 26589427 1336479744 267535 33554432000 4194304 16246674 140736732553232 140736732535104 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 326289 267535 839 2943 0 323183 0 [pid=4936/tid=4937] ppid=4933 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1336479744 267535 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1336479744 267535 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1336479744 267535 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1305156 [startup+3.1004 s] /proc/loadavg: 2.00 2.07 2.02 3/183 4940 /proc/meminfo: memFree=29073004/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 267485 0 0 0 272 37 0 0 20 0 4 0 26589427 1337528320 267810 33554432000 4194304 16246674 140736732553232 140736732535104 13943668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 326545 267810 839 2943 0 323439 0 [pid=4936/tid=4937] ppid=4933 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1337528320 267810 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1337528320 267810 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1337528320 267810 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30036 s] /proc/loadavg: 2.16 2.10 2.03 3/183 4940 /proc/meminfo: memFree=29070832/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 267656 0 0 0 592 37 0 0 20 0 4 0 26589427 1338576896 267981 33554432000 4194304 16246674 140736732553232 140736732536232 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 326801 267981 842 2943 0 323695 0 [pid=4936/tid=4937] ppid=4933 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1338576896 267981 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1338576896 267981 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1338576896 267981 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.15 2.10 2.03 3/183 4940 /proc/meminfo: memFree=29070600/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1307204 CPUtime=12.69 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 267887 0 0 0 1232 37 0 0 20 0 4 0 26589427 1338576896 268212 33554432000 4194304 16246674 140736732553232 140736732536232 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 326801 268212 843 2943 0 323695 0 [pid=4936/tid=4937] ppid=4933 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1338576896 268212 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1338576896 268212 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1338576896 268212 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.11 2.09 2.03 3/183 4940 /proc/meminfo: memFree=29069772/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1308228 CPUtime=25.49 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 268143 0 0 0 2511 38 0 0 20 0 4 0 26589427 1339625472 268468 33554432000 4194304 16246674 140736732553232 140736732536232 5677884 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 327057 268468 843 2943 0 323951 0 [pid=4936/tid=4937] ppid=4933 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1339625472 268468 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1339625472 268468 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1339625472 268468 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.07 2.08 2.03 4/183 4940 /proc/meminfo: memFree=29066768/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1311300 CPUtime=51.08 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 268913 0 0 0 5070 38 0 0 20 0 4 0 26589427 1342771200 269238 33554432000 4194304 16246674 140736732553232 140736732536232 5661838 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 327825 269238 845 2943 0 324719 0 [pid=4936/tid=4937] ppid=4933 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1342771200 269238 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1342771200 269238 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1342771200 269238 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1311300 [startup+102.3 s] /proc/loadavg: 2.16 2.10 2.03 3/183 4941 /proc/meminfo: memFree=29038624/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1312324 CPUtime=102.28 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 269169 0 0 0 10189 39 0 0 20 0 4 0 26589427 1343819776 269494 33554432000 4194304 16246674 140736732553232 140736732536232 5822989 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 328081 269494 845 2943 0 324975 0 [pid=4936/tid=4937] ppid=4933 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1343819776 269494 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1343819776 269494 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1343819776 269494 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1312324 ################ # More data... # ################ /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1333828 [startup+1362.3 s] /proc/loadavg: 2.16 2.18 2.11 3/183 5020 /proc/meminfo: memFree=29075524/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1333828 CPUtime=1361.88 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 274906 0 0 0 136132 56 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140736732535104 5822548 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 333457 274876 846 2943 0 330351 0 [pid=4936/tid=4937] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1333828 [startup+1422.3 s] /proc/loadavg: 2.16 2.17 2.11 3/183 5021 /proc/meminfo: memFree=29075776/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1333828 CPUtime=1421.88 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 274906 0 0 0 142131 57 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140736732536232 13774452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 333457 274876 846 2943 0 330351 0 [pid=4936/tid=4937] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1333828 [startup+1482.3 s] /proc/loadavg: 2.12 2.15 2.10 3/183 5023 /proc/meminfo: memFree=29075424/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1333828 CPUtime=1481.86 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 274906 0 0 0 148127 59 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140736732535104 13820864 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 333457 274876 846 2943 0 330351 0 [pid=4936/tid=4937] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1333828 [startup+1542.31 s] /proc/loadavg: 2.13 2.15 2.10 3/183 5024 /proc/meminfo: memFree=29071956/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1333828 CPUtime=1541.86 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 274906 0 0 0 154126 60 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140736732536232 5822286 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 333457 274876 846 2943 0 330351 0 [pid=4936/tid=4937] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1333828 [startup+1602.3 s] /proc/loadavg: 2.08 2.14 2.10 3/183 5025 /proc/meminfo: memFree=29071096/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1333828 CPUtime=1601.85 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 274906 0 0 0 160124 61 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140736732536232 5677422 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 333457 274876 846 2943 0 330351 0 [pid=4936/tid=4937] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1333828 [startup+1662.3 s] /proc/loadavg: 2.09 2.12 2.09 3/184 5029 /proc/meminfo: memFree=29071020/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1333828 CPUtime=1661.84 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 274906 0 0 0 166122 62 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140736732536232 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 333457 274876 846 2943 0 330351 0 [pid=4936/tid=4937] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1333828 [startup+1722.3 s] /proc/loadavg: 2.12 2.13 2.09 3/183 5030 /proc/meminfo: memFree=29071036/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1333828 CPUtime=1721.82 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 274906 0 0 0 172120 62 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140736732535104 5518406 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 333457 274876 846 2943 0 330351 0 [pid=4936/tid=4937] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1333828 [startup+1782.3 s] /proc/loadavg: 2.26 2.16 2.10 3/183 5032 /proc/meminfo: memFree=29070796/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1333828 CPUtime=1781.81 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 274906 0 0 0 178118 63 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140736732536232 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 333457 274876 846 2943 0 330351 0 [pid=4936/tid=4937] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1333828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.19 2.15 2.10 3/183 5033 /proc/meminfo: memFree=29070056/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1333828 CPUtime=1800.02 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 274906 0 0 0 179938 64 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140736732535104 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 333457 274876 846 2943 0 330351 0 [pid=4936/tid=4937] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1333828 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 4936 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.19 2.15 2.10 3/183 5033 /proc/meminfo: memFree=29070056/32872528 swapFree=526336/559040 [pid=4936] ppid=4933 vsize=1333828 CPUtime=1800.02 cores=0,2,4,6 /proc/4936/stat : 4936 (toysat) R 4933 4936 28898 0 -1 4202496 274906 0 0 0 179938 64 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140736732535104 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4936/statm: 333457 274876 846 2943 0 330351 0 [pid=4936/tid=4937] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4937/stat : 4937 (toysat) S 4933 4936 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699068509424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4936/tid=4938] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4938/stat : 4938 (toysat) S 4933 4936 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699058019568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4936/tid=4939] ppid=4933 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/4936/task/4939/stat : 4939 (toysat) S 4933 4936 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26589427 1365839872 274876 33554432000 4194304 16246674 140736732553232 140699047546032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1333828 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.39 CPU system time (s): 0.644901 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 1333828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.39 system time used= 0.644901 maximum resident set size= 1099504 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274906 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= 374 involuntary context switches= 1979 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.31634 second user time and 7.2049 second system time The end
Begin job on node106 at 2016-06-18 12:23:13 IDJOB=4105449 IDBENCH=2867 IDSOLVER=2542 FILE ID=node106/4105449-1466245393 RUNJOBID= node106-1466241787-28914 PBS_JOBID= 19918214 Free space on /tmp= 71680 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-fout.r.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105449-1466245393/watcher-4105449-1466245393 -o /tmp/evaluation-result-4105449-1466245393/solver-4105449-1466245393 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105449-1466245393.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 40b50d0e4bc3f1ba5675c1e65f55a1d7 RANDOM SEED=1698810817 node106.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 : 2667.073 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 : 5334.14 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 : 2667.073 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 : 2667.073 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 : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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 : 2667.073 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.56 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 : 2667.073 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.38 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 : 2667.073 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: 30142632 kB Buffers: 87856 kB Cached: 214596 kB SwapCached: 1868 kB Active: 1214752 kB Inactive: 209124 kB Active(anon): 1120648 kB Inactive(anon): 3048 kB Active(file): 94104 kB Inactive(file): 206076 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16452 kB Writeback: 0 kB AnonPages: 1679776 kB Mapped: 10776 kB Shmem: 0 kB Slab: 612596 kB SReclaimable: 55812 kB SUnreclaim: 556784 kB KernelStack: 1456 kB PageTables: 7372 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1822996 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 821248 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= 71668 MiB End job on node106 at 2016-06-18 12:53:14