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.43 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir10_area_partials.opb |
| MD5SUM | 8e58fdc516472c37b974ebbf77c2a4fa |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 52 |
| Best CPU time to get the best result obtained on this benchmark | 0.130979 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 52 |
| Optimality of the best value was proved | YES |
| Number of variables | 2091 |
| Total number of constraints | 7288 |
| Number of constraints which are clauses | 7288 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 124 |
| Number of terms in the objective function | 486 |
| 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 | 486 |
| 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 | 486 |
| 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-07T00:30:18+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-4079815-1465252218.opb"] 0.00/0.01 c use --random-gen="2012900985 1994258748 1685225442 4010146842 4207891466 2473851160 1403762219 254800340 2619661377 699498559 3266635493 1342477260 1716115293 2381728189 4099869924 3485518908 2099435475 168440101 264792273 3803755332 863281088 3428009404 4136190681 619493228 3570478148 2304964396 4130882807 3726983600 2877962179 972715302 2197519737 440124042 1325040867 1690961295 84928943 3168957150 212472666 2059136551 1989214875 4019584398 3886331466 1945261456 1806908108 3692033949 2369552468 1916075271 119998331 1086793553 3670214459 3600978837 3267244076 2547768796 1524223167 408051394 74397829 957190348 611138799 1123024710 1029814312 872586468 2211751814 3726007716 3270914706 1597701818 2568991886 1241430444 93883882 710712126 4020727857 1045401616 1467883486 894526248 3598621720 273530800 335714691 4249028468 9193878 1823050362 3363587971 2711636234 567641767 777545846 4046880086 1458238508 950870463 1636790393 3288300833 1253714692 2414546 2576234428 3877973668 815099913 868052049 1054060257 3675437260 2387096853 3265724507 2317183980 2731830022 531799852 1734060688 734759897 1304429078 2486773456 32872793 3734737848 867032269 4215024834 576247252 2303905550 1470501095 3584717786 653025457 2208342402 926543715 4049263836 3578853295 2016215535 2068213532 1161020741 2866154126 396226454 42215108 1593171848 664812265 1943314257 785545098 2555089570 3044755498 1600596226 2404786208 3165715043 3335568685 589042201 2671314385 16560784 4113506796 451577363 1106337634 3776146929 339267719 1638463059 4142654058 2552198069 1968992909 2516029868 380370753 163885966 1723838108 619823236 2199371597 3003818901 3539651729 3356416952 1324960689 762085549 2980205261 909942229 178017975 2043807591 3004368613 901876949 774120980 4274826805 157978225 3164896173 1547807417 708314163 2750109807 1517518166 4089546787 3662845870 3844726684 1547500348 3598890426 1514664983 63515104 3443983259 3003088553 4161114769 3344047133 3985403648 3500221749 2913581921 2041976791 4178337793 822377741 515582809 2544179142 3370708769 1323188476 3915986019 1281882581 3231997106 467182320 1158523207 3185652845 4104349304 2471180438 4090819829 1485915451 1045301794 3469648503 2184132805 2798962028 1764937975 3371786547 2988642864 4023874436 1261111333 2790733738 693008819 2640824109 4215631713 2062586039 18769402 3492277471 586671006 1163073431 3697351065 1730362042 899669549 4116345175 574830804 2865588190 2538565575 1638587107 959172993 1751820058 3871750421 1234169615 2729887416 411062257 2658334191 447674876 2052973032 1428865684 3209817531 2167465201 1381263243 3814148169 1866383416 2060445110 4145990470 330685445 339622608 1691448766 2418364881 864299191 4016821362 515544588 2851996928 3348095457 2466056305 2512364049 3755358515 255 362436" option to reproduce the execution 0.00/0.06 c #vars 2091 0.00/0.06 c #constraints 7288 0.09/0.16 c BCD2: Hardening is enabled. 0.09/0.16 c BCD2: BiasedSearch is enabled. 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.09/0.17 c 0.0s | 0 | 424 | 0 | 3111 0 | 46 | 0 0.09/0.17 c #cpu_time = 0.011s 0.09/0.17 c #wall_clock_time = 0.011s 0.09/0.17 c #decision = 424 0.09/0.17 c #random_decision = 4 0.09/0.17 c #conflict = 0 0.09/0.17 c #restart = 0 0.09/0.17 o 486 0.09/0.17 c BCD2: updating upper bound: 486 -> 485 0.09/0.17 c BCD2: 0 <= obj <= 485 0.09/0.17 c BCD2: #cores=0, #unrelaxed=486, #relaxed=0, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.09/0.18 c 0.0s | 0 | 375 | 0 | 3111 0 | 46 | 0 0.09/0.18 c #cpu_time = 0.008s 0.09/0.18 c #wall_clock_time = 0.008s 0.09/0.18 c #decision = 375 0.09/0.18 c #random_decision = 0 0.09/0.18 c #conflict = 0 0.09/0.18 c #restart = 0 0.09/0.18 c BCD2: found a new core of size 58: cost of the new core is >=1 0.09/0.18 c lower bound updated to 1 0.09/0.18 c BCD2: 1 <= obj <= 485 0.09/0.18 c BCD2: #cores=1, #unrelaxed=428, #relaxed=58, #hardened=0 0.09/0.18 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.09/0.19 c 0.0s | 0 | 352 | 0 | 3111 0 | 46 | 0 0.09/0.19 c #cpu_time = 0.008s 0.09/0.19 c #wall_clock_time = 0.008s 0.09/0.19 c #decision = 352 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: found a new core of size 62: cost of the new core is >=1 0.09/0.19 c lower bound updated to 2 0.09/0.19 c BCD2: 2 <= obj <= 485 0.09/0.19 c BCD2: #cores=2, #unrelaxed=366, #relaxed=120, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.19/0.20 c 0.0s | 0 | 292 | 0 | 3111 0 | 46 | 0 0.19/0.20 c #cpu_time = 0.007s 0.19/0.20 c #wall_clock_time = 0.007s 0.19/0.20 c #decision = 292 0.19/0.20 c #random_decision = 0 0.19/0.20 c #conflict = 0 0.19/0.20 c #restart = 0 0.19/0.20 c BCD2: found a new core of size 63: cost of the new core is >=1 0.19/0.20 c lower bound updated to 3 0.19/0.20 c BCD2: 3 <= obj <= 485 0.19/0.20 c BCD2: #cores=3, #unrelaxed=303, #relaxed=183, #hardened=0 0.19/0.20 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.20 c Solving starts ... 0.19/0.20 c ============================[ Search Statistics ]============================ 0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.20 c | | | | Limit GC | Var | Constra 0.19/0.20 c ============================================================================= 0.19/0.20 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.19/0.21 c 0.0s | 0 | 260 | 0 | 3111 0 | 46 | 0 0.19/0.21 c #cpu_time = 0.008s 0.19/0.21 c #wall_clock_time = 0.008s 0.19/0.21 c #decision = 260 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.21 c lower bound updated to 4 0.19/0.21 c BCD2: 4 <= obj <= 485 0.19/0.21 c BCD2: #cores=4, #unrelaxed=302, #relaxed=184, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=5 bias=5/6 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.19/0.22 c 0.0s | 0 | 261 | 0 | 3111 0 | 46 | 0 0.19/0.22 c #cpu_time = 0.008s 0.19/0.22 c #wall_clock_time = 0.008s 0.19/0.22 c #decision = 261 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 0 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.22 c lower bound updated to 5 0.19/0.22 c BCD2: 5 <= obj <= 485 0.19/0.22 c BCD2: #cores=5, #unrelaxed=301, #relaxed=185, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=6 bias=6/7 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.19/0.23 c 0.0s | 0 | 262 | 0 | 3111 0 | 46 | 0 0.19/0.23 c #cpu_time = 0.008s 0.19/0.23 c #wall_clock_time = 0.008s 0.19/0.23 c #decision = 262 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 0 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.23 c lower bound updated to 6 0.19/0.23 c BCD2: 6 <= obj <= 485 0.19/0.23 c BCD2: #cores=6, #unrelaxed=300, #relaxed=186, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=7 bias=7/8 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.19/0.24 c 0.0s | 0 | 263 | 0 | 3111 0 | 46 | 0 0.19/0.24 c #cpu_time = 0.008s 0.19/0.24 c #wall_clock_time = 0.008s 0.19/0.24 c #decision = 263 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 0 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.24 c lower bound updated to 7 0.19/0.24 c BCD2: 7 <= obj <= 485 0.19/0.24 c BCD2: #cores=7, #unrelaxed=299, #relaxed=187, #hardened=0 0.19/0.24 c BCD2: #sat=1 #unsat=8 bias=8/9 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.19/0.25 c 0.0s | 0 | 264 | 0 | 3111 0 | 46 | 0 0.19/0.25 c #cpu_time = 0.008s 0.19/0.25 c #wall_clock_time = 0.008s 0.19/0.25 c #decision = 264 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 0 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.25 c lower bound updated to 8 0.19/0.25 c BCD2: 8 <= obj <= 485 0.19/0.25 c BCD2: #cores=8, #unrelaxed=298, #relaxed=188, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=9 bias=9/10 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.19/0.26 c 0.0s | 0 | 265 | 0 | 3111 0 | 46 | 0 0.19/0.26 c #cpu_time = 0.008s 0.19/0.26 c #wall_clock_time = 0.008s 0.19/0.26 c #decision = 265 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.26 c lower bound updated to 9 0.19/0.27 c BCD2: 9 <= obj <= 485 0.19/0.27 c BCD2: #cores=9, #unrelaxed=297, #relaxed=189, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=10 bias=10/11 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.19/0.28 c 0.0s | 0 | 266 | 0 | 3111 0 | 46 | 0 0.19/0.28 c #cpu_time = 0.006s 0.19/0.28 c #wall_clock_time = 0.006s 0.19/0.28 c #decision = 266 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.28 c lower bound updated to 10 0.19/0.28 c BCD2: 10 <= obj <= 485 0.19/0.28 c BCD2: #cores=10, #unrelaxed=296, #relaxed=190, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=11 bias=11/12 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.19/0.29 c 0.0s | 0 | 267 | 0 | 3111 0 | 46 | 0 0.19/0.29 c #cpu_time = 0.006s 0.19/0.29 c #wall_clock_time = 0.006s 0.19/0.29 c #decision = 267 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.29 c lower bound updated to 11 0.19/0.29 c BCD2: 11 <= obj <= 485 0.19/0.29 c BCD2: #cores=11, #unrelaxed=295, #relaxed=191, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=12 bias=12/13 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.19/0.29 c 0.0s | 0 | 268 | 0 | 3111 0 | 46 | 0 0.19/0.29 c #cpu_time = 0.006s 0.19/0.29 c #wall_clock_time = 0.006s 0.19/0.29 c #decision = 268 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.29 c lower bound updated to 12 0.19/0.29 c BCD2: 12 <= obj <= 485 0.19/0.29 c BCD2: #cores=12, #unrelaxed=294, #relaxed=192, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=13 bias=13/14 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.29/0.30 c 0.0s | 0 | 269 | 0 | 3111 0 | 46 | 0 0.29/0.30 c #cpu_time = 0.006s 0.29/0.30 c #wall_clock_time = 0.006s 0.29/0.30 c #decision = 269 0.29/0.30 c #random_decision = 0 0.29/0.30 c #conflict = 0 0.29/0.30 c #restart = 0 0.29/0.30 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.30 c lower bound updated to 13 0.29/0.30 c BCD2: 13 <= obj <= 485 0.29/0.30 c BCD2: #cores=13, #unrelaxed=293, #relaxed=193, #hardened=0 0.29/0.30 c BCD2: #sat=1 #unsat=14 bias=14/15 0.29/0.30 c Solving starts ... 0.29/0.30 c ============================[ Search Statistics ]============================ 0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.30 c | | | | Limit GC | Var | Constra 0.29/0.30 c ============================================================================= 0.29/0.30 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.29/0.31 c 0.0s | 0 | 270 | 0 | 3111 0 | 46 | 0 0.29/0.31 c #cpu_time = 0.006s 0.29/0.31 c #wall_clock_time = 0.006s 0.29/0.31 c #decision = 270 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 0 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.31 c lower bound updated to 14 0.29/0.31 c BCD2: 14 <= obj <= 485 0.29/0.31 c BCD2: #cores=14, #unrelaxed=292, #relaxed=194, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=15 bias=15/16 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.29/0.31 c 0.0s | 0 | 271 | 0 | 3111 0 | 46 | 0 0.29/0.31 c #cpu_time = 0.006s 0.29/0.31 c #wall_clock_time = 0.006s 0.29/0.31 c #decision = 271 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 0 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.31 c lower bound updated to 15 0.29/0.31 c BCD2: 15 <= obj <= 485 0.29/0.31 c BCD2: #cores=15, #unrelaxed=291, #relaxed=195, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=16 bias=16/17 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.29/0.32 c 0.0s | 0 | 272 | 0 | 3111 0 | 46 | 0 0.29/0.32 c #cpu_time = 0.006s 0.29/0.32 c #wall_clock_time = 0.006s 0.29/0.32 c #decision = 272 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.32 c lower bound updated to 16 0.29/0.32 c BCD2: 16 <= obj <= 485 0.29/0.32 c BCD2: #cores=16, #unrelaxed=290, #relaxed=196, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=17 bias=17/18 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.29/0.33 c 0.0s | 0 | 273 | 0 | 3111 0 | 46 | 0 0.29/0.33 c #cpu_time = 0.006s 0.29/0.33 c #wall_clock_time = 0.006s 0.29/0.33 c #decision = 273 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 0 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.33 c lower bound updated to 17 0.29/0.33 c BCD2: 17 <= obj <= 485 0.29/0.33 c BCD2: #cores=17, #unrelaxed=289, #relaxed=197, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=18 bias=18/19 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.29/0.34 c 0.0s | 0 | 274 | 0 | 3111 0 | 46 | 0 0.29/0.34 c #cpu_time = 0.006s 0.29/0.34 c #wall_clock_time = 0.006s 0.29/0.34 c #decision = 274 0.29/0.34 c #random_decision = 0 0.29/0.34 c #conflict = 0 0.29/0.34 c #restart = 0 0.29/0.34 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.34 c lower bound updated to 18 0.29/0.34 c BCD2: 18 <= obj <= 485 0.29/0.34 c BCD2: #cores=18, #unrelaxed=288, #relaxed=198, #hardened=0 0.29/0.34 c BCD2: #sat=1 #unsat=19 bias=19/20 0.29/0.34 c Solving starts ... 0.29/0.34 c ============================[ Search Statistics ]============================ 0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.34 c | | | | Limit GC | Var | Constra 0.29/0.34 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.29/0.34 c 0.0s | 0 | 275 | 0 | 3111 0 | 46 | 0 0.29/0.34 c #cpu_time = 0.006s 0.29/0.34 c #wall_clock_time = 0.006s 0.29/0.34 c #decision = 275 0.29/0.34 c #random_decision = 0 0.29/0.34 c #conflict = 0 0.29/0.34 c #restart = 0 0.29/0.34 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.34 c lower bound updated to 19 0.29/0.34 c BCD2: 19 <= obj <= 485 0.29/0.34 c BCD2: #cores=19, #unrelaxed=287, #relaxed=199, #hardened=0 0.29/0.34 c BCD2: #sat=1 #unsat=20 bias=20/21 0.29/0.34 c Solving starts ... 0.29/0.34 c ============================[ Search Statistics ]============================ 0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.34 c | | | | Limit GC | Var | Constra 0.29/0.34 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.29/0.35 c 0.0s | 0 | 276 | 0 | 3111 0 | 46 | 0 0.29/0.35 c #cpu_time = 0.006s 0.29/0.35 c #wall_clock_time = 0.006s 0.29/0.35 c #decision = 276 0.29/0.35 c #random_decision = 0 0.29/0.35 c #conflict = 0 0.29/0.35 c #restart = 0 0.29/0.35 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.35 c lower bound updated to 20 0.29/0.35 c BCD2: 20 <= obj <= 485 0.29/0.35 c BCD2: #cores=20, #unrelaxed=286, #relaxed=200, #hardened=0 0.29/0.35 c BCD2: #sat=1 #unsat=21 bias=21/22 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.29/0.36 c 0.0s | 0 | 277 | 0 | 3111 0 | 46 | 0 0.29/0.36 c #cpu_time = 0.006s 0.29/0.36 c #wall_clock_time = 0.006s 0.29/0.36 c #decision = 277 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 0 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.36 c lower bound updated to 21 0.29/0.36 c BCD2: 21 <= obj <= 485 0.29/0.36 c BCD2: #cores=21, #unrelaxed=285, #relaxed=201, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=22 bias=22/23 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.29/0.36 c 0.0s | 0 | 278 | 0 | 3111 0 | 46 | 0 0.29/0.36 c #cpu_time = 0.006s 0.29/0.36 c #wall_clock_time = 0.006s 0.29/0.36 c #decision = 278 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 0 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.36 c lower bound updated to 22 0.29/0.36 c BCD2: 22 <= obj <= 485 0.29/0.36 c BCD2: #cores=22, #unrelaxed=284, #relaxed=202, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=23 bias=23/24 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.29/0.37 c 0.0s | 0 | 279 | 0 | 3111 0 | 46 | 0 0.29/0.37 c #cpu_time = 0.005s 0.29/0.37 c #wall_clock_time = 0.005s 0.29/0.37 c #decision = 279 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.37 c lower bound updated to 23 0.29/0.37 c BCD2: 23 <= obj <= 485 0.29/0.37 c BCD2: #cores=23, #unrelaxed=283, #relaxed=203, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=24 bias=24/25 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.29/0.38 c 0.0s | 0 | 280 | 0 | 3111 0 | 46 | 0 0.29/0.38 c #cpu_time = 0.005s 0.29/0.38 c #wall_clock_time = 0.005s 0.29/0.38 c #decision = 280 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.38 c lower bound updated to 24 0.29/0.38 c BCD2: 24 <= obj <= 485 0.29/0.38 c BCD2: #cores=24, #unrelaxed=282, #relaxed=204, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=25 bias=25/26 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.29/0.38 c 0.0s | 0 | 281 | 0 | 3111 0 | 46 | 0 0.29/0.38 c #cpu_time = 0.005s 0.29/0.38 c #wall_clock_time = 0.005s 0.29/0.38 c #decision = 281 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.38 c lower bound updated to 25 0.29/0.38 c BCD2: 25 <= obj <= 485 0.29/0.38 c BCD2: #cores=25, #unrelaxed=281, #relaxed=205, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=26 bias=26/27 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.29/0.39 c 0.0s | 0 | 282 | 0 | 3111 0 | 46 | 0 0.29/0.39 c #cpu_time = 0.004s 0.29/0.39 c #wall_clock_time = 0.004s 0.29/0.39 c #decision = 282 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 0 0.29/0.39 c #restart = 0 0.29/0.39 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.39 c lower bound updated to 26 0.29/0.39 c BCD2: 26 <= obj <= 485 0.29/0.39 c BCD2: #cores=26, #unrelaxed=280, #relaxed=206, #hardened=0 0.29/0.39 c BCD2: #sat=1 #unsat=27 bias=27/28 0.29/0.39 c Solving starts ... 0.29/0.39 c ============================[ Search Statistics ]============================ 0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.39 c | | | | Limit GC | Var | Constra 0.29/0.39 c ============================================================================= 0.39/0.40 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.40 c 0.0s | 0 | 283 | 0 | 3111 0 | 46 | 0 0.39/0.40 c #cpu_time = 0.005s 0.39/0.40 c #wall_clock_time = 0.005s 0.39/0.40 c #decision = 283 0.39/0.40 c #random_decision = 0 0.39/0.40 c #conflict = 0 0.39/0.40 c #restart = 0 0.39/0.40 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.40 c lower bound updated to 27 0.39/0.40 c BCD2: 27 <= obj <= 485 0.39/0.40 c BCD2: #cores=27, #unrelaxed=279, #relaxed=207, #hardened=0 0.39/0.40 c BCD2: #sat=1 #unsat=28 bias=28/29 0.39/0.40 c Solving starts ... 0.39/0.40 c ============================[ Search Statistics ]============================ 0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.40 c | | | | Limit GC | Var | Constra 0.39/0.40 c ============================================================================= 0.39/0.40 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.41 c 0.0s | 0 | 284 | 0 | 3111 0 | 46 | 0 0.39/0.41 c #cpu_time = 0.004s 0.39/0.41 c #wall_clock_time = 0.004s 0.39/0.41 c #decision = 284 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 0 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.41 c lower bound updated to 28 0.39/0.41 c BCD2: 28 <= obj <= 485 0.39/0.41 c BCD2: #cores=28, #unrelaxed=278, #relaxed=208, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=29 bias=29/30 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.41 c 0.0s | 0 | 285 | 0 | 3111 0 | 46 | 0 0.39/0.41 c #cpu_time = 0.004s 0.39/0.41 c #wall_clock_time = 0.004s 0.39/0.41 c #decision = 285 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 0 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.41 c lower bound updated to 29 0.39/0.41 c BCD2: 29 <= obj <= 485 0.39/0.41 c BCD2: #cores=29, #unrelaxed=277, #relaxed=209, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=30 bias=30/31 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.42 c 0.0s | 0 | 286 | 0 | 3111 0 | 46 | 0 0.39/0.42 c #cpu_time = 0.005s 0.39/0.42 c #wall_clock_time = 0.005s 0.39/0.42 c #decision = 286 0.39/0.42 c #random_decision = 0 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.42 c lower bound updated to 30 0.39/0.42 c BCD2: 30 <= obj <= 485 0.39/0.42 c BCD2: #cores=30, #unrelaxed=276, #relaxed=210, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=31 bias=31/32 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.42 c 0.0s | 0 | 287 | 0 | 3111 0 | 46 | 0 0.39/0.42 c #cpu_time = 0.004s 0.39/0.42 c #wall_clock_time = 0.004s 0.39/0.42 c #decision = 287 0.39/0.42 c #random_decision = 0 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.42 c lower bound updated to 31 0.39/0.42 c BCD2: 31 <= obj <= 485 0.39/0.42 c BCD2: #cores=31, #unrelaxed=275, #relaxed=211, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=32 bias=32/33 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.43 c 0.0s | 0 | 288 | 0 | 3111 0 | 46 | 0 0.39/0.43 c #cpu_time = 0.004s 0.39/0.43 c #wall_clock_time = 0.004s 0.39/0.43 c #decision = 288 0.39/0.43 c #random_decision = 0 0.39/0.43 c #conflict = 0 0.39/0.43 c #restart = 0 0.39/0.43 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.43 c lower bound updated to 32 0.39/0.43 c BCD2: 32 <= obj <= 485 0.39/0.43 c BCD2: #cores=32, #unrelaxed=274, #relaxed=212, #hardened=0 0.39/0.43 c BCD2: #sat=1 #unsat=33 bias=33/34 0.39/0.43 c Solving starts ... 0.39/0.43 c ============================[ Search Statistics ]============================ 0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.43 c | | | | Limit GC | Var | Constra 0.39/0.43 c ============================================================================= 0.39/0.43 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.43 c 0.0s | 0 | 289 | 0 | 3111 0 | 46 | 0 0.39/0.43 c #cpu_time = 0.004s 0.39/0.43 c #wall_clock_time = 0.004s 0.39/0.43 c #decision = 289 0.39/0.43 c #random_decision = 0 0.39/0.43 c #conflict = 0 0.39/0.43 c #restart = 0 0.39/0.43 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.43 c lower bound updated to 33 0.39/0.43 c BCD2: 33 <= obj <= 485 0.39/0.43 c BCD2: #cores=33, #unrelaxed=273, #relaxed=213, #hardened=0 0.39/0.43 c BCD2: #sat=1 #unsat=34 bias=34/35 0.39/0.43 c Solving starts ... 0.39/0.43 c ============================[ Search Statistics ]============================ 0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.43 c | | | | Limit GC | Var | Constra 0.39/0.43 c ============================================================================= 0.39/0.43 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.44 c 0.0s | 0 | 290 | 0 | 3111 0 | 46 | 0 0.39/0.44 c #cpu_time = 0.004s 0.39/0.44 c #wall_clock_time = 0.004s 0.39/0.44 c #decision = 290 0.39/0.44 c #random_decision = 0 0.39/0.44 c #conflict = 0 0.39/0.44 c #restart = 0 0.39/0.44 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.44 c lower bound updated to 34 0.39/0.44 c BCD2: 34 <= obj <= 485 0.39/0.44 c BCD2: #cores=34, #unrelaxed=272, #relaxed=214, #hardened=0 0.39/0.44 c BCD2: #sat=1 #unsat=35 bias=35/36 0.39/0.44 c Solving starts ... 0.39/0.44 c ============================[ Search Statistics ]============================ 0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.44 c | | | | Limit GC | Var | Constra 0.39/0.44 c ============================================================================= 0.39/0.44 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.44 c 0.0s | 0 | 291 | 0 | 3111 0 | 46 | 0 0.39/0.44 c #cpu_time = 0.004s 0.39/0.44 c #wall_clock_time = 0.004s 0.39/0.44 c #decision = 291 0.39/0.44 c #random_decision = 0 0.39/0.44 c #conflict = 0 0.39/0.44 c #restart = 0 0.39/0.44 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.44 c lower bound updated to 35 0.39/0.45 c BCD2: 35 <= obj <= 485 0.39/0.45 c BCD2: #cores=35, #unrelaxed=271, #relaxed=215, #hardened=0 0.39/0.45 c BCD2: #sat=1 #unsat=36 bias=36/37 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.45 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.45 c 0.0s | 0 | 292 | 0 | 3111 0 | 46 | 0 0.39/0.45 c #cpu_time = 0.004s 0.39/0.45 c #wall_clock_time = 0.004s 0.39/0.45 c #decision = 292 0.39/0.45 c #random_decision = 0 0.39/0.45 c #conflict = 0 0.39/0.45 c #restart = 0 0.39/0.45 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.45 c lower bound updated to 36 0.39/0.45 c BCD2: 36 <= obj <= 485 0.39/0.45 c BCD2: #cores=36, #unrelaxed=270, #relaxed=216, #hardened=0 0.39/0.45 c BCD2: #sat=1 #unsat=37 bias=37/38 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.45 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.46 c 0.0s | 0 | 293 | 0 | 3111 0 | 46 | 0 0.39/0.46 c #cpu_time = 0.004s 0.39/0.46 c #wall_clock_time = 0.004s 0.39/0.46 c #decision = 293 0.39/0.46 c #random_decision = 0 0.39/0.46 c #conflict = 0 0.39/0.46 c #restart = 0 0.39/0.46 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.46 c lower bound updated to 37 0.39/0.46 c BCD2: 37 <= obj <= 485 0.39/0.46 c BCD2: #cores=37, #unrelaxed=269, #relaxed=217, #hardened=0 0.39/0.46 c BCD2: #sat=1 #unsat=38 bias=38/39 0.39/0.46 c Solving starts ... 0.39/0.46 c ============================[ Search Statistics ]============================ 0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.46 c | | | | Limit GC | Var | Constra 0.39/0.46 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.46 c 0.0s | 0 | 294 | 0 | 3111 0 | 46 | 0 0.39/0.46 c #cpu_time = 0.004s 0.39/0.46 c #wall_clock_time = 0.004s 0.39/0.46 c #decision = 294 0.39/0.46 c #random_decision = 0 0.39/0.46 c #conflict = 0 0.39/0.46 c #restart = 0 0.39/0.46 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.46 c lower bound updated to 38 0.39/0.46 c BCD2: 38 <= obj <= 485 0.39/0.46 c BCD2: #cores=38, #unrelaxed=268, #relaxed=218, #hardened=0 0.39/0.46 c BCD2: #sat=1 #unsat=39 bias=39/40 0.39/0.46 c Solving starts ... 0.39/0.46 c ============================[ Search Statistics ]============================ 0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.46 c | | | | Limit GC | Var | Constra 0.39/0.46 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.47 c 0.0s | 0 | 295 | 0 | 3111 0 | 46 | 0 0.39/0.47 c #cpu_time = 0.004s 0.39/0.47 c #wall_clock_time = 0.004s 0.39/0.47 c #decision = 295 0.39/0.47 c #random_decision = 0 0.39/0.47 c #conflict = 0 0.39/0.47 c #restart = 0 0.39/0.47 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.47 c lower bound updated to 39 0.39/0.47 c BCD2: 39 <= obj <= 485 0.39/0.47 c BCD2: #cores=39, #unrelaxed=267, #relaxed=219, #hardened=0 0.39/0.47 c BCD2: #sat=1 #unsat=40 bias=40/41 0.39/0.47 c Solving starts ... 0.39/0.47 c ============================[ Search Statistics ]============================ 0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.47 c | | | | Limit GC | Var | Constra 0.39/0.47 c ============================================================================= 0.39/0.47 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.47 c 0.0s | 0 | 296 | 0 | 3111 0 | 46 | 0 0.39/0.47 c #cpu_time = 0.004s 0.39/0.47 c #wall_clock_time = 0.004s 0.39/0.47 c #decision = 296 0.39/0.47 c #random_decision = 0 0.39/0.47 c #conflict = 0 0.39/0.47 c #restart = 0 0.39/0.47 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.47 c lower bound updated to 40 0.39/0.47 c BCD2: 40 <= obj <= 485 0.39/0.47 c BCD2: #cores=40, #unrelaxed=266, #relaxed=220, #hardened=0 0.39/0.47 c BCD2: #sat=1 #unsat=41 bias=41/42 0.39/0.47 c Solving starts ... 0.39/0.47 c ============================[ Search Statistics ]============================ 0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.47 c | | | | Limit GC | Var | Constra 0.39/0.47 c ============================================================================= 0.39/0.47 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.48 c 0.0s | 0 | 297 | 0 | 3111 0 | 46 | 0 0.39/0.48 c #cpu_time = 0.005s 0.39/0.48 c #wall_clock_time = 0.005s 0.39/0.48 c #decision = 297 0.39/0.48 c #random_decision = 0 0.39/0.48 c #conflict = 0 0.39/0.48 c #restart = 0 0.39/0.48 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.48 c lower bound updated to 41 0.39/0.48 c BCD2: 41 <= obj <= 485 0.39/0.48 c BCD2: #cores=41, #unrelaxed=265, #relaxed=221, #hardened=0 0.39/0.48 c BCD2: #sat=1 #unsat=42 bias=42/43 0.39/0.48 c Solving starts ... 0.39/0.48 c ============================[ Search Statistics ]============================ 0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.48 c | | | | Limit GC | Var | Constra 0.39/0.48 c ============================================================================= 0.39/0.48 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.48 c 0.0s | 0 | 298 | 0 | 3111 0 | 46 | 0 0.39/0.48 c #cpu_time = 0.004s 0.39/0.48 c #wall_clock_time = 0.004s 0.39/0.48 c #decision = 298 0.39/0.48 c #random_decision = 0 0.39/0.48 c #conflict = 0 0.39/0.48 c #restart = 0 0.39/0.48 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.48 c lower bound updated to 42 0.39/0.48 c BCD2: 42 <= obj <= 485 0.39/0.48 c BCD2: #cores=42, #unrelaxed=264, #relaxed=222, #hardened=0 0.39/0.48 c BCD2: #sat=1 #unsat=43 bias=43/44 0.39/0.48 c Solving starts ... 0.39/0.48 c ============================[ Search Statistics ]============================ 0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.48 c | | | | Limit GC | Var | Constra 0.39/0.48 c ============================================================================= 0.39/0.48 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.49 c 0.0s | 0 | 299 | 0 | 3111 0 | 46 | 0 0.39/0.49 c #cpu_time = 0.004s 0.39/0.49 c #wall_clock_time = 0.004s 0.39/0.49 c #decision = 299 0.39/0.49 c #random_decision = 0 0.39/0.49 c #conflict = 0 0.39/0.49 c #restart = 0 0.39/0.49 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.49 c lower bound updated to 43 0.39/0.49 c BCD2: 43 <= obj <= 485 0.39/0.49 c BCD2: #cores=43, #unrelaxed=263, #relaxed=223, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=44 bias=44/45 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.39/0.49 c 0.0s | 0 | 300 | 0 | 3111 0 | 46 | 0 0.39/0.49 c #cpu_time = 0.004s 0.39/0.49 c #wall_clock_time = 0.004s 0.39/0.49 c #decision = 300 0.39/0.49 c #random_decision = 0 0.39/0.49 c #conflict = 0 0.39/0.49 c #restart = 0 0.39/0.49 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.49 c lower bound updated to 44 0.39/0.49 c BCD2: 44 <= obj <= 485 0.39/0.49 c BCD2: #cores=44, #unrelaxed=262, #relaxed=224, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=45 bias=45/46 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.49/0.50 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.49/0.51 c 0.0s | 0 | 301 | 0 | 3111 0 | 46 | 0 0.49/0.51 c #cpu_time = 0.005s 0.49/0.51 c #wall_clock_time = 0.005s 0.49/0.51 c #decision = 301 0.49/0.51 c #random_decision = 0 0.49/0.51 c #conflict = 0 0.49/0.51 c #restart = 0 0.49/0.51 c BCD2: found a new core of size 1: cost of the new core is >=1 0.49/0.51 c lower bound updated to 45 0.49/0.51 c BCD2: 45 <= obj <= 485 0.49/0.51 c BCD2: #cores=45, #unrelaxed=261, #relaxed=225, #hardened=0 0.49/0.51 c BCD2: #sat=1 #unsat=46 bias=46/47 0.49/0.51 c Solving starts ... 0.49/0.51 c ============================[ Search Statistics ]============================ 0.49/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.51 c | | | | Limit GC | Var | Constra 0.49/0.51 c ============================================================================= 0.49/0.51 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.49/0.51 c 0.0s | 0 | 302 | 0 | 3111 0 | 46 | 0 0.49/0.51 c #cpu_time = 0.005s 0.49/0.51 c #wall_clock_time = 0.005s 0.49/0.51 c #decision = 302 0.49/0.51 c #random_decision = 0 0.49/0.51 c #conflict = 0 0.49/0.51 c #restart = 0 0.49/0.51 c BCD2: found a new core of size 1: cost of the new core is >=1 0.49/0.51 c lower bound updated to 46 0.49/0.51 c BCD2: 46 <= obj <= 485 0.49/0.51 c BCD2: #cores=46, #unrelaxed=260, #relaxed=226, #hardened=0 0.49/0.51 c BCD2: #sat=1 #unsat=47 bias=47/48 0.49/0.51 c Solving starts ... 0.49/0.51 c ============================[ Search Statistics ]============================ 0.49/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.51 c | | | | Limit GC | Var | Constra 0.49/0.51 c ============================================================================= 0.49/0.51 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.49/0.52 c 0.0s | 0 | 303 | 0 | 3111 0 | 46 | 0 0.49/0.52 c #cpu_time = 0.005s 0.49/0.52 c #wall_clock_time = 0.005s 0.49/0.52 c #decision = 303 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 0 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 1: cost of the new core is >=1 0.49/0.52 c lower bound updated to 47 0.49/0.52 c BCD2: 47 <= obj <= 485 0.49/0.52 c BCD2: #cores=47, #unrelaxed=259, #relaxed=227, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=48 bias=48/49 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.49/0.52 c 0.0s | 0 | 304 | 0 | 3111 0 | 46 | 0 0.49/0.52 c #cpu_time = 0.004s 0.49/0.52 c #wall_clock_time = 0.004s 0.49/0.52 c #decision = 304 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 0 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 1: cost of the new core is >=1 0.49/0.52 c lower bound updated to 48 0.49/0.52 c BCD2: 48 <= obj <= 485 0.49/0.52 c BCD2: #cores=48, #unrelaxed=258, #relaxed=228, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=49 bias=49/50 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.49/0.53 c 0.0s | 0 | 305 | 0 | 3111 0 | 46 | 0 0.49/0.53 c #cpu_time = 0.005s 0.49/0.53 c #wall_clock_time = 0.005s 0.49/0.53 c #decision = 305 0.49/0.53 c #random_decision = 0 0.49/0.53 c #conflict = 0 0.49/0.53 c #restart = 0 0.49/0.53 c BCD2: found a new core of size 1: cost of the new core is >=1 0.49/0.53 c lower bound updated to 49 0.49/0.53 c BCD2: 49 <= obj <= 485 0.49/0.53 c BCD2: #cores=49, #unrelaxed=257, #relaxed=229, #hardened=0 0.49/0.53 c BCD2: #sat=1 #unsat=50 bias=50/51 0.49/0.53 c Solving starts ... 0.49/0.53 c ============================[ Search Statistics ]============================ 0.49/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.53 c | | | | Limit GC | Var | Constra 0.49/0.53 c ============================================================================= 0.49/0.53 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 0 0.49/0.54 c 0.0s | 0 | 505 | 0 | 3111 0 | 46 | 0 0.49/0.54 c #cpu_time = 0.006s 0.49/0.54 c #wall_clock_time = 0.006s 0.49/0.54 c #decision = 505 0.49/0.54 c #random_decision = 0 0.49/0.54 c #conflict = 0 0.49/0.54 c #restart = 0 0.49/0.54 o 68 0.49/0.54 c BCD2: updating upper bound: 485 -> 67 0.49/0.54 c BCD2: 49 <= obj <= 67 0.49/0.54 c BCD2: #cores=49, #unrelaxed=257, #relaxed=229, #hardened=0 0.49/0.54 c BCD2: #sat=2 #unsat=50 bias=50/52 0.49/0.54 c Solving starts ... 0.49/0.54 c ============================[ Search Statistics ]============================ 0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.54 c | | | | Limit GC | Var | Constra 0.49/0.54 c ============================================================================= 0.49/0.54 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 1 0.49/0.55 c 0.0s | 0 | 415 | 11 | 3111 0 | 46 | 1 0.49/0.55 c #cpu_time = 0.008s 0.49/0.55 c #wall_clock_time = 0.008s 0.49/0.55 c #decision = 415 0.49/0.55 c #random_decision = 0 0.49/0.55 c #conflict = 11 0.49/0.55 c #restart = 0 0.49/0.55 o 65 0.49/0.55 c BCD2: updating upper bound: 67 -> 64 0.49/0.55 c BCD2: 49 <= obj <= 64 0.49/0.55 c BCD2: #cores=49, #unrelaxed=257, #relaxed=229, #hardened=0 0.49/0.55 c BCD2: #sat=3 #unsat=50 bias=50/53 0.49/0.55 c Solving starts ... 0.49/0.55 c ============================[ Search Statistics ]============================ 0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.55 c | | | | Limit GC | Var | Constra 0.49/0.55 c ============================================================================= 0.49/0.55 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 2 0.49/0.56 c 0.0s | 0 | 353 | 1 | 3111 0 | 46 | 2 0.49/0.56 c #cpu_time = 0.007s 0.49/0.56 c #wall_clock_time = 0.007s 0.49/0.56 c #decision = 353 0.49/0.56 c #random_decision = 0 0.49/0.56 c #conflict = 1 0.49/0.56 c #restart = 0 0.49/0.56 o 63 0.49/0.56 c BCD2: updating upper bound: 64 -> 62 0.49/0.56 c BCD2: 49 <= obj <= 62 0.49/0.56 c BCD2: #cores=49, #unrelaxed=257, #relaxed=229, #hardened=0 0.49/0.56 c BCD2: #sat=4 #unsat=50 bias=50/54 0.49/0.56 c Solving starts ... 0.49/0.56 c ============================[ Search Statistics ]============================ 0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.56 c | | | | Limit GC | Var | Constra 0.49/0.56 c ============================================================================= 0.49/0.56 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 3 0.49/0.57 c 0.0s | 0 | 371 | 1 | 3111 0 | 46 | 3 0.49/0.57 c #cpu_time = 0.007s 0.49/0.57 c #wall_clock_time = 0.007s 0.49/0.57 c #decision = 371 0.49/0.57 c #random_decision = 0 0.49/0.57 c #conflict = 1 0.49/0.57 c #restart = 0 0.49/0.57 o 61 0.49/0.57 c BCD2: updating upper bound: 62 -> 60 0.49/0.57 c BCD2: 49 <= obj <= 60 0.49/0.57 c BCD2: #cores=49, #unrelaxed=257, #relaxed=229, #hardened=0 0.49/0.57 c BCD2: #sat=5 #unsat=50 bias=50/55 0.49/0.57 c Solving starts ... 0.49/0.57 c ============================[ Search Statistics ]============================ 0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.57 c | | | | Limit GC | Var | Constra 0.49/0.57 c ============================================================================= 0.49/0.57 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 4 0.49/0.58 c 0.0s | 0 | 355 | 1 | 3111 0 | 46 | 4 0.49/0.58 c #cpu_time = 0.007s 0.49/0.58 c #wall_clock_time = 0.007s 0.49/0.58 c #decision = 355 0.49/0.58 c #random_decision = 0 0.49/0.58 c #conflict = 1 0.49/0.58 c #restart = 0 0.49/0.58 o 59 0.49/0.58 c BCD2: updating upper bound: 60 -> 58 0.49/0.58 c BCD2: 49 <= obj <= 58 0.49/0.58 c BCD2: #cores=49, #unrelaxed=257, #relaxed=229, #hardened=0 0.49/0.58 c BCD2: #sat=6 #unsat=50 bias=50/56 0.49/0.58 c Solving starts ... 0.49/0.58 c ============================[ Search Statistics ]============================ 0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.58 c | | | | Limit GC | Var | Constra 0.49/0.58 c ============================================================================= 0.49/0.58 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 5 0.49/0.59 c 0.0s | 0 | 345 | 3 | 3111 0 | 46 | 5 0.49/0.59 c #cpu_time = 0.007s 0.49/0.59 c #wall_clock_time = 0.007s 0.49/0.59 c #decision = 345 0.49/0.59 c #random_decision = 0 0.49/0.59 c #conflict = 3 0.49/0.59 c #restart = 0 0.49/0.59 o 57 0.49/0.59 c BCD2: updating upper bound: 58 -> 56 0.49/0.59 c BCD2: 49 <= obj <= 56 0.49/0.59 c BCD2: #cores=49, #unrelaxed=257, #relaxed=229, #hardened=0 0.49/0.59 c BCD2: #sat=7 #unsat=50 bias=50/57 0.49/0.59 c Solving starts ... 0.49/0.59 c ============================[ Search Statistics ]============================ 0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.59 c | | | | Limit GC | Var | Constra 0.49/0.59 c ============================================================================= 0.49/0.59 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 6 0.59/0.60 c 0.0s | 0 | 317 | 0 | 3111 0 | 46 | 6 0.59/0.60 c #cpu_time = 0.006s 0.59/0.60 c #wall_clock_time = 0.006s 0.59/0.60 c #decision = 317 0.59/0.60 c #random_decision = 0 0.59/0.60 c #conflict = 0 0.59/0.60 c #restart = 0 0.59/0.60 o 56 0.59/0.60 c BCD2: updating upper bound: 56 -> 55 0.59/0.60 c BCD2: 49 <= obj <= 55 0.59/0.60 c BCD2: #cores=49, #unrelaxed=257, #relaxed=229, #hardened=0 0.59/0.60 c BCD2: #sat=8 #unsat=50 bias=50/58 0.59/0.60 c Solving starts ... 0.59/0.60 c ============================[ Search Statistics ]============================ 0.59/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.60 c | | | | Limit GC | Var | Constra 0.59/0.60 c ============================================================================= 0.59/0.60 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 7 0.59/0.61 c 0.0s | 0 | 316 | 1 | 3111 0 | 46 | 7 0.59/0.61 c #cpu_time = 0.007s 0.59/0.61 c #wall_clock_time = 0.007s 0.59/0.61 c #decision = 316 0.59/0.61 c #random_decision = 0 0.59/0.61 c #conflict = 1 0.59/0.61 c #restart = 0 0.59/0.61 o 55 0.59/0.61 c BCD2: updating upper bound: 55 -> 54 0.59/0.61 c BCD2: 49 <= obj <= 54 0.59/0.61 c BCD2: #cores=49, #unrelaxed=257, #relaxed=229, #hardened=0 0.59/0.61 c BCD2: #sat=9 #unsat=50 bias=50/59 0.59/0.61 c Solving starts ... 0.59/0.61 c ============================[ Search Statistics ]============================ 0.59/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.61 c | | | | Limit GC | Var | Constra 0.59/0.61 c ============================================================================= 0.59/0.61 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 8 0.59/0.62 c 0.0s | 0 | 342 | 7 | 3111 0 | 46 | 8 0.59/0.62 c #cpu_time = 0.010s 0.59/0.62 c #wall_clock_time = 0.010s 0.59/0.62 c #decision = 342 0.59/0.62 c #random_decision = 0 0.59/0.62 c #conflict = 7 0.59/0.62 c #restart = 0 0.59/0.62 o 54 0.59/0.62 c BCD2: updating upper bound: 54 -> 53 0.59/0.63 c BCD2: 49 <= obj <= 53 0.59/0.63 c BCD2: #cores=49, #unrelaxed=257, #relaxed=229, #hardened=0 0.59/0.63 c BCD2: #sat=10 #unsat=50 bias=50/60 0.59/0.63 c Solving starts ... 0.59/0.63 c ============================[ Search Statistics ]============================ 0.59/0.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.63 c | | | | Limit GC | Var | Constra 0.59/0.63 c ============================================================================= 0.59/0.63 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 9 0.59/0.64 c 0.0s | 0 | 443 | 16 | 3111 0 | 46 | 9 0.59/0.64 c #cpu_time = 0.014s 0.59/0.64 c #wall_clock_time = 0.014s 0.59/0.64 c #decision = 443 0.59/0.64 c #random_decision = 0 0.59/0.64 c #conflict = 16 0.59/0.64 c #restart = 0 0.59/0.64 o 53 0.59/0.64 c BCD2: updating upper bound: 53 -> 52 0.59/0.64 c BCD2: 49 <= obj <= 52 0.59/0.64 c BCD2: #cores=49, #unrelaxed=257, #relaxed=229, #hardened=0 0.59/0.64 c BCD2: #sat=11 #unsat=50 bias=50/61 0.59/0.64 c Solving starts ... 0.59/0.64 c ============================[ Search Statistics ]============================ 0.59/0.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.64 c | | | | Limit GC | Var | Constra 0.59/0.64 c ============================================================================= 0.59/0.64 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 10 0.59/0.66 c 0.0s | 0 | 375 | 8 | 3111 0 | 46 | 10 0.59/0.66 c #cpu_time = 0.012s 0.59/0.66 c #wall_clock_time = 0.012s 0.59/0.66 c #decision = 375 0.59/0.66 c #random_decision = 0 0.59/0.66 c #conflict = 8 0.59/0.66 c #restart = 0 0.59/0.66 o 52 0.59/0.66 c BCD2: updating upper bound: 52 -> 51 0.59/0.66 c BCD2: 49 <= obj <= 51 0.59/0.66 c BCD2: #cores=49, #unrelaxed=257, #relaxed=229, #hardened=0 0.59/0.66 c BCD2: #sat=12 #unsat=50 bias=50/62 0.59/0.66 c Solving starts ... 0.59/0.66 c ============================[ Search Statistics ]============================ 0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.66 c | | | | Limit GC | Var | Constra 0.59/0.66 c ============================================================================= 0.59/0.66 c 0.0s | 0 | 0 | 0 | 3111 0 | 46 | 11 0.59/0.67 c 0.0s | 0 | 315 | 5 | 3111 0 | 46 | 11 0.59/0.67 c #cpu_time = 0.008s 0.59/0.67 c #wall_clock_time = 0.008s 0.59/0.67 c #decision = 315 0.59/0.67 c #random_decision = 0 0.59/0.67 c #conflict = 5 0.59/0.67 c #restart = 0 0.59/0.67 c BCD2: relaxing 227 and merging with 3 cores into a new core of size 410: cost of the new core is >=4 0.59/0.67 c lower bound updated to 50 0.59/0.67 c BCD2: 50 <= obj <= 51 0.59/0.67 c BCD2: #cores=47, #unrelaxed=30, #relaxed=456, #hardened=0 0.59/0.67 c BCD2: #sat=12 #unsat=51 bias=51/63 0.59/0.67 c Solving starts ... 0.59/0.67 c ============================[ Search Statistics ]============================ 0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.67 c | | | | Limit GC | Var | Constra 0.59/0.67 c ============================================================================= 0.59/0.67 c 0.0s | 0 | 0 | 0 | 3111 0 | 96 | 11 0.69/0.76 c 0.1s | 1 | 3645 | 100 | 3423 0 | 96 | 108 0.79/0.89 c 0.2s | 2 | 5564 | 250 | 3766 0 | 96 | 108 0.99/1.07 c 0.4s | 3 | 9227 | 475 | 4143 0 | 96 | 108 1.28/1.31 c 0.6s | 4 | 13670 | 813 | 4558 0 | 96 | 108 1.69/1.72 c 1.1s | 5 | 22193 | 1320 | 5014 0 | 96 | 108 2.20/2.27 c 1.6s | 6 | 32695 | 2081 | 5516 0 | 96 | 108 3.09/3.18 c 2.5s | 7 | 48199 | 3223 | 6068 0 | 96 | 108 4.69/4.74 c 4.1s | 8 | 69674 | 4936 | 6675 0 | 96 | 108 6.78/6.85 c 6.2s | 8 | 85008 | 6936 | 6675 0 | 96 | 108 7.38/7.42 c 6.8s | 9 | 88343 | 7506 | 7343 0 | 96 | 108 9.38/9.46 c 8.8s | 9 | 107610 | 9706 | 7343 1 | 96 | 108 10.78/10.87 c 10.2s | 10 | 119968 | 11361 | 8078 1 | 96 | 108 12.78/12.89 c 12.2s | 10 | 138818 | 13461 | 8078 2 | 96 | 108 14.88/14.98 c 14.3s | 10 | 169967 | 15761 | 8078 2 | 96 | 108 15.98/16.04 c 15.4s | 11 | 189842 | 17144 | 8886 2 | 96 | 108 17.98/18.07 c 17.4s | 11 | 221489 | 19644 | 8886 3 | 96 | 108 20.08/20.13 c 19.5s | 11 | 239494 | 22244 | 8886 3 | 96 | 108 22.08/22.18 c 21.5s | 11 | 279052 | 24844 | 8886 4 | 96 | 108 22.78/22.89 c 22.2s | 12 | 293785 | 25819 | 9775 4 | 96 | 108 24.78/24.89 c 24.2s | 12 | 320371 | 28419 | 9775 5 | 96 | 108 26.88/26.94 c 26.3s | 12 | 357187 | 31219 | 9775 5 | 96 | 108 28.88/28.94 c 28.3s | 12 | 377075 | 33719 | 9775 6 | 96 | 108 30.98/31.00 c 30.3s | 12 | 398137 | 36119 | 9775 6 | 96 | 108 32.99/33.05 c 32.4s | 12 | 424661 | 38119 | 9775 6 | 96 | 108 33.68/33.72 c 33.0s | 13 | 434222 | 38832 | 10753 6 | 96 | 108 35.68/35.73 c 35.1s | 13 | 455403 | 40732 | 10753 7 | 96 | 108 37.68/37.73 c 37.1s | 13 | 482680 | 42532 | 10753 7 | 96 | 108 39.78/39.85 c 39.2s | 13 | 500523 | 44332 | 10753 7 | 96 | 108 41.89/41.92 c 41.2s | 13 | 523532 | 46232 | 10753 8 | 96 | 108 43.88/43.94 c 43.3s | 13 | 536064 | 48432 | 10753 8 | 96 | 108 45.88/45.99 c 45.3s | 13 | 565640 | 50932 | 10753 8 | 96 | 108 47.98/48.02 c 47.4s | 13 | 589425 | 53132 | 10753 9 | 96 | 108 49.98/50.04 c 49.4s | 13 | 606921 | 55232 | 10753 9 | 96 | 108 51.98/52.05 c 51.4s | 13 | 631395 | 57232 | 10753 10 | 96 | 108 52.98/53.05 c 52.4s | 14 | 643744 | 58352 | 11829 10 | 96 | 108 54.99/55.08 c 54.4s | 14 | 660769 | 60452 | 11829 10 | 96 | 108 57.07/57.18 c 56.5s | 14 | 682025 | 62252 | 11829 10 | 96 | 108 59.17/59.24 c 58.6s | 14 | 708583 | 64252 | 11829 11 | 96 | 108 61.17/61.25 c 60.6s | 14 | 735696 | 66652 | 11829 11 | 96 | 108 63.27/63.37 c 62.7s | 14 | 753381 | 68652 | 11829 11 | 96 | 108 65.27/65.38 c 64.7s | 14 | 776577 | 70452 | 11829 12 | 96 | 108 67.37/67.41 c 66.7s | 14 | 811928 | 72852 | 11829 12 | 96 | 108 69.38/69.49 c 68.8s | 14 | 839286 | 75452 | 11829 12 | 96 | 108 71.48/71.52 c 70.8s | 14 | 856575 | 77252 | 11829 13 | 96 | 108 73.47/73.57 c 72.9s | 14 | 881566 | 79452 | 11829 13 | 96 | 108 75.47/75.57 c 74.9s | 14 | 897793 | 81452 | 11829 13 | 96 | 108 77.47/77.58 c 76.9s | 14 | 913880 | 83352 | 11829 14 | 96 | 108 79.57/79.62 c 78.9s | 14 | 945004 | 85652 | 11829 14 | 96 | 108 81.17/81.29 c 80.6s | 15 | 966186 | 87632 | 13012 14 | 96 | 108 83.27/83.39 c 82.7s | 15 | 983911 | 89732 | 13012 14 | 96 | 108 85.37/85.50 c 84.8s | 15 | 998201 | 91232 | 13012 15 | 96 | 108 87.57/87.62 c 86.9s | 15 | 1019849 | 93332 | 13012 15 | 96 | 108 89.57/89.68 c 89.0s | 15 | 1042387 | 94932 | 13012 15 | 96 | 108 91.67/91.73 c 91.1s | 15 | 1065971 | 97032 | 13012 15 | 96 | 108 93.77/93.83 c 93.2s | 15 | 1092517 | 99432 | 13012 16 | 96 | 108 95.87/95.93 c 95.3s | 15 | 1114731 | 101432 | 13012 16 | 96 | 108 97.97/98.01 c 97.3s | 15 | 1138283 | 103332 | 13012 16 | 96 | 108 99.97/100.04 c 99.4s | 15 | 1161150 | 105532 | 13012 17 | 96 | 108 102.07/102.12 c 101s | 15 | 1180265 | 107632 | 13012 17 | 96 | 108 104.07/104.13 c 103s | 15 | 1199119 | 109432 | 13012 17 | 96 | 108 106.16/106.23 c 105s | 15 | 1215369 | 111132 | 13012 17 | 96 | 108 108.16/108.26 c 107s | 15 | 1235005 | 113532 | 13012 18 | 96 | 108 110.26/110.31 c 109s | 15 | 1248384 | 115732 | 13012 18 | 96 | 108 112.27/112.33 c 111s | 15 | 1266414 | 117632 | 13012 18 | 96 | 108 114.26/114.35 c 113s | 15 | 1281095 | 119532 | 13012 19 | 96 | 108 116.36/116.43 c 115s | 15 | 1303430 | 121632 | 13012 19 | 96 | 108 118.46/118.53 c 117s | 15 | 1321503 | 123532 | 13012 19 | 96 | 108 120.46/120.54 c 119s | 15 | 1333210 | 125432 | 13012 20 | 96 | 108 122.46/122.59 c 121s | 15 | 1350368 | 127532 | 13012 20 | 96 | 108 124.56/124.68 c 124s | 15 | 1369336 | 129732 | 13012 20 | 96 | 108 126.36/126.41 c 125s | 16 | 1384843 | 131552 | 14314 20 | 96 | 108 128.36/128.43 c 127s | 16 | 1396674 | 133152 | 14314 20 | 96 | 108 130.36/130.45 c 129s | 16 | 1408506 | 134852 | 14314 21 | 96 | 108 132.36/132.46 c 131s | 16 | 1422105 | 137152 | 14314 21 | 96 | 108 134.36/134.46 c 133s | 16 | 1437850 | 139052 | 14314 21 | 96 | 108 136.47/136.58 c 135s | 16 | 1454718 | 141152 | 14314 21 | 96 | 108 138.57/138.65 c 137s | 16 | 1471181 | 143352 | 14314 22 | 96 | 108 140.67/140.72 c 140s | 16 | 1488619 | 145452 | 14314 22 | 96 | 108 142.77/142.83 c 142s | 16 | 1503828 | 147552 | 14314 22 | 96 | 108 144.77/144.89 c 144s | 16 | 1517222 | 149552 | 14314 23 | 96 | 108 146.87/146.90 c 146s | 16 | 1532384 | 151752 | 14314 23 | 96 | 108 148.86/148.97 c 148s | 16 | 1553016 | 154152 | 14314 23 | 96 | 108 150.96/151.02 c 150s | 16 | 1567107 | 156352 | 14314 23 | 96 | 108 153.06/153.10 c 152s | 16 | 1583065 | 158452 | 14314 24 | 96 | 108 155.07/155.11 c 154s | 16 | 1598486 | 160752 | 14314 24 | 96 | 108 157.06/157.16 c 156s | 16 | 1611980 | 162752 | 14314 24 | 96 | 108 159.06/159.17 c 158s | 16 | 1624330 | 164752 | 14314 25 | 96 | 108 161.06/161.19 c 160s | 16 | 1637350 | 167152 | 14314 25 | 96 | 108 163.16/163.27 c 162s | 16 | 1650989 | 169552 | 14314 25 | 96 | 108 165.26/165.32 c 164s | 16 | 1663556 | 171752 | 14314 25 | 96 | 108 167.27/167.39 c 166s | 16 | 1673709 | 173452 | 14314 26 | 96 | 108 169.37/169.45 c 168s | 16 | 1682326 | 174852 | 14314 26 | 96 | 108 171.46/171.51 c 170s | 16 | 1705754 | 177252 | 14314 26 | 96 | 108 173.46/173.52 c 172s | 16 | 1716206 | 179052 | 14314 26 | 96 | 108 175.55/175.69 c 175s | 16 | 1732113 | 181052 | 14314 27 | 96 | 108 177.65/177.74 c 177s | 16 | 1749748 | 183252 | 14314 27 | 96 | 108 179.65/179.75 c 179s | 16 | 1765570 | 185552 | 14314 27 | 96 | 108 181.75/181.84 c 181s | 16 | 1779738 | 187752 | 14314 27 | 96 | 108 183.85/183.90 c 183s | 16 | 1797153 | 189752 | 14314 28 | 96 | 108 185.86/185.92 c 185s | 16 | 1813525 | 192152 | 14314 28 | 96 | 108 187.85/187.99 c 187s | 16 | 1827056 | 194352 | 14314 28 | 96 | 108 189.95/190.05 c 189s | 16 | 1841213 | 195952 | 14314 29 | 96 | 108 191.65/191.78 c 191s | 17 | 1857633 | 197432 | 15746 29 | 96 | 108 193.75/193.87 c 193s | 17 | 1875357 | 199132 | 15746 29 | 96 | 108 195.95/196.01 c 195s | 17 | 1899235 | 201232 | 15746 29 | 96 | 108 197.96/198.03 c 197s | 17 | 1917380 | 202832 | 15746 29 | 96 | 108 199.95/200.04 c 199s | 17 | 1938804 | 204732 | 15746 30 | 96 | 108 202.05/202.10 c 201s | 17 | 1958675 | 207232 | 15746 30 | 96 | 108 204.05/204.11 c 203s | 17 | 1976557 | 209232 | 15746 30 | 96 | 108 206.05/206.16 c 205s | 17 | 1996690 | 210832 | 15746 30 | 96 | 108 208.05/208.18 c 207s | 17 | 2008909 | 212432 | 15746 30 | 96 | 108 210.15/210.22 c 209s | 17 | 2025609 | 214332 | 15746 31 | 96 | 108 212.25/212.31 c 211s | 17 | 2056457 | 216532 | 15746 31 | 96 | 108 214.25/214.39 c 213s | 17 | 2081997 | 218432 | 15746 31 | 96 | 108 216.35/216.41 c 215s | 17 | 2105723 | 220032 | 15746 31 | 96 | 108 218.35/218.48 c 217s | 17 | 2123652 | 221932 | 15746 32 | 96 | 108 220.45/220.53 c 219s | 17 | 2140392 | 224132 | 15746 32 | 96 | 108 222.45/222.53 c 221s | 17 | 2160807 | 226132 | 15746 32 | 96 | 108 224.45/224.56 c 223s | 17 | 2175109 | 228232 | 15746 32 | 96 | 108 226.55/226.61 c 225s | 17 | 2193115 | 230232 | 15746 33 | 96 | 108 228.54/228.63 c 227s | 17 | 2207479 | 232432 | 15746 33 | 96 | 108 230.54/230.63 c 229s | 17 | 2224801 | 234132 | 15746 33 | 96 | 108 232.54/232.69 c 232s | 17 | 2245352 | 236032 | 15746 33 | 96 | 108 234.74/234.81 c 234s | 17 | 2260965 | 238232 | 15746 34 | 96 | 108 236.74/236.85 c 236s | 17 | 2278523 | 240132 | 15746 34 | 96 | 108 238.84/238.90 c 238s | 17 | 2295860 | 241932 | 15746 34 | 96 | 108 240.85/240.93 c 240s | 17 | 2311547 | 243732 | 15746 34 | 96 | 108 242.84/242.99 c 242s | 17 | 2326786 | 245732 | 15746 34 | 96 | 108 244.95/245.08 c 244s | 17 | 2348154 | 247732 | 15746 35 | 96 | 108 247.05/247.14 c 246s | 17 | 2371147 | 249932 | 15746 35 | 96 | 108 249.05/249.16 c 248s | 17 | 2384801 | 251832 | 15746 35 | 96 | 108 251.15/251.25 c 250s | 17 | 2402507 | 253632 | 15746 35 | 96 | 108 253.25/253.33 c 252s | 17 | 2416804 | 255832 | 15746 36 | 96 | 108 255.26/255.33 c 254s | 17 | 2431825 | 257932 | 15746 36 | 96 | 108 257.25/257.35 c 256s | 17 | 2444563 | 259832 | 15746 36 | 96 | 108 259.35/259.41 c 258s | 17 | 2459207 | 261632 | 15746 36 | 96 | 108 261.35/261.44 c 260s | 17 | 2472117 | 263532 | 15746 37 | 96 | 108 263.45/263.55 c 262s | 17 | 2490694 | 265732 | 15746 37 | 96 | 108 265.45/265.59 c 264s | 17 | 2502085 | 267832 | 15746 37 | 96 | 108 267.55/267.65 c 266s | 17 | 2514972 | 269532 | 15746 37 | 96 | 108 269.55/269.68 c 269s | 17 | 2528956 | 271432 | 15746 37 | 96 | 108 271.55/271.69 c 271s | 17 | 2543001 | 273532 | 15746 38 | 96 | 108 273.65/273.74 c 273s | 17 | 2555687 | 275732 | 15746 38 | 96 | 108 275.74/275.83 c 275s | 17 | 2569719 | 277832 | 15746 38 | 96 | 108 277.84/277.94 c 277s | 17 | 2583254 | 279832 | 15746 38 | 96 | 108 279.84/279.98 c 279s | 17 | 2596472 | 281832 | 15746 39 | 96 | 108 281.94/282.02 c 281s | 17 | 2612851 | 284032 | 15746 39 | 96 | 108 283.94/284.09 c 283s | 17 | 2625436 | 286332 | 15746 39 | 96 | 108 285.95/286.09 c 285s | 17 | 2636027 | 288532 | 15746 39 | 96 | 108 288.04/288.17 c 287s | 17 | 2647780 | 290632 | 15746 40 | 96 | 108 291.04/291.19 c 290s | 17 | 2657358 | 292132 | 15746 40 | 96 | 108 293.14/293.29 c 292s | 17 | 2671291 | 294432 | 17321 40 | 96 | 108 295.04/295.14 c 294s | 18 | 2684006 | 296252 | 17321 40 | 96 | 108 297.04/297.19 c 296s | 18 | 2695650 | 297952 | 17321 40 | 96 | 108 299.14/299.22 c 298s | 18 | 2709950 | 299952 | 17321 41 | 96 | 108 301.14/301.23 c 300s | 18 | 2721681 | 301752 | 17321 41 | 96 | 108 303.13/303.26 c 302s | 18 | 2735096 | 303452 | 17321 41 | 96 | 108 305.23/305.36 c 304s | 18 | 2747939 | 305052 | 17321 41 | 96 | 108 307.63/307.75 c 307s | 18 | 2755653 | 306252 | 17321 41 | 96 | 108 309.84/309.93 c 309s | 18 | 2764068 | 307152 | 17321 42 | 96 | 108 311.84/311.93 c 311s | 18 | 2785032 | 308752 | 17321 42 | 96 | 108 313.84/314.00 c 313s | 18 | 2800842 | 310652 | 17321 42 | 96 | 108 315.94/316.04 c 315s | 18 | 2816706 | 312552 | 17321 42 | 96 | 108 318.04/318.16 c 317s | 18 | 2831051 | 314452 | 17321 42 | 96 | 108 320.14/320.28 c 319s | 18 | 2844919 | 316152 | 17321 42 | 96 | 108 322.24/322.39 c 321s | 18 | 2863151 | 318052 | 17321 43 | 96 | 108 324.34/324.47 c 323s | 18 | 2877757 | 320352 | 17321 43 | 96 | 108 326.44/326.57 c 325s | 18 | 2893246 | 322552 | 17321 43 | 96 | 108 328.54/328.65 c 327s | 18 | 2908965 | 324252 | 17321 43 | 96 | 108 330.53/330.69 c 330s | 18 | 2922198 | 325852 | 17321 44 | 96 | 108 332.63/332.75 c 332s | 18 | 2938655 | 327952 | 17321 44 | 96 | 108 334.73/334.81 c 334s | 18 | 2960491 | 330452 | 17321 44 | 96 | 108 336.73/336.88 c 336s | 18 | 2982171 | 332452 | 17321 44 | 96 | 108 338.84/338.94 c 338s | 18 | 2998715 | 334652 | 17321 44 | 96 | 108 340.83/340.99 c 340s | 18 | 3014968 | 336752 | 17321 45 | 96 | 108 342.83/342.99 c 342s | 18 | 3030676 | 339052 | 17321 45 | 96 | 108 344.93/345.02 c 344s | 18 | 3051630 | 341352 | 17321 45 | 96 | 108 346.93/347.06 c 346s | 18 | 3064081 | 343252 | 17321 45 | 96 | 108 348.93/349.07 c 348s | 18 | 3080632 | 345252 | 17321 46 | 96 | 108 351.03/351.14 c 350s | 18 | 3100497 | 347552 | 17321 46 | 96 | 108 353.04/353.20 c 352s | 18 | 3113726 | 349552 | 17321 46 | 96 | 108 355.13/355.26 c 354s | 18 | 3128726 | 351552 | 17321 46 | 96 | 108 357.23/357.33 c 356s | 18 | 3143371 | 353752 | 17321 47 | 96 | 108 359.33/359.43 c 358s | 18 | 3156984 | 355752 | 17321 47 | 96 | 108 361.43/361.53 c 360s | 18 | 3170844 | 357752 | 17321 47 | 96 | 108 363.43/363.56 c 362s | 18 | 3181755 | 359652 | 17321 47 | 96 | 108 365.53/365.64 c 364s | 18 | 3193264 | 361552 | 17321 47 | 96 | 108 367.53/367.64 c 366s | 18 | 3203519 | 363152 | 17321 48 | 96 | 108 369.63/369.72 c 369s | 18 | 3217054 | 365252 | 17321 48 | 96 | 108 371.63/371.80 c 371s | 18 | 3226916 | 367652 | 17321 48 | 96 | 108 373.73/373.81 c 373s | 18 | 3239865 | 369352 | 17321 48 | 96 | 108 375.73/375.84 c 375s | 18 | 3251227 | 371152 | 17321 48 | 96 | 108 377.83/377.92 c 377s | 18 | 3264219 | 373052 | 17321 49 | 96 | 108 379.93/380.03 c 379s | 18 | 3280564 | 375252 | 17321 49 | 96 | 108 381.92/382.08 c 381s | 18 | 3295034 | 377252 | 17321 49 | 96 | 108 384.02/384.11 c 383s | 18 | 3309526 | 379252 | 17321 49 | 96 | 108 386.03/386.13 c 385s | 18 | 3322368 | 381352 | 17321 50 | 96 | 108 388.02/388.16 c 387s | 18 | 3335503 | 383952 | 17321 50 | 96 | 108 390.02/390.17 c 389s | 18 | 3344272 | 386052 | 17321 50 | 96 | 108 392.12/392.27 c 391s | 18 | 3348349 | 386752 | 17321 50 | 96 | 108 394.22/394.35 c 393s | 18 | 3359380 | 388352 | 17321 50 | 96 | 108 396.32/396.45 c 395s | 18 | 3374839 | 390252 | 17321 51 | 96 | 108 398.32/398.47 c 397s | 18 | 3398505 | 392852 | 17321 51 | 96 | 108 400.43/400.56 c 399s | 18 | 3419524 | 395152 | 17321 51 | 96 | 108 402.53/402.65 c 401s | 18 | 3438691 | 397552 | 17321 51 | 96 | 108 404.62/404.73 c 404s | 18 | 3455704 | 399652 | 17321 52 | 96 | 108 406.72/406.81 c 406s | 18 | 3472338 | 402052 | 17321 52 | 96 | 108 408.72/408.89 c 408s | 18 | 3485786 | 403752 | 17321 52 | 96 | 108 410.82/410.98 c 410s | 18 | 3495817 | 405552 | 17321 52 | 96 | 108 412.92/413.04 c 412s | 18 | 3510139 | 407452 | 17321 52 | 96 | 108 414.92/415.09 c 414s | 18 | 3521830 | 409152 | 17321 53 | 96 | 108 417.02/417.11 c 416s | 18 | 3531447 | 410852 | 17321 53 | 96 | 108 419.02/419.12 c 418s | 18 | 3548771 | 413052 | 17321 53 | 96 | 108 421.12/421.25 c 420s | 18 | 3564119 | 415052 | 17321 53 | 96 | 108 423.22/423.30 c 422s | 18 | 3574982 | 416752 | 17321 53 | 96 | 108 425.22/425.32 c 424s | 18 | 3585704 | 418652 | 17321 54 | 96 | 108 427.21/427.35 c 426s | 18 | 3599647 | 420452 | 17321 54 | 96 | 108 429.21/429.36 c 428s | 18 | 3613486 | 422252 | 17321 54 | 96 | 108 431.31/431.43 c 430s | 18 | 3627860 | 424252 | 17321 54 | 96 | 108 433.42/433.51 c 432s | 18 | 3641725 | 425952 | 17321 54 | 96 | 108 435.41/435.55 c 434s | 18 | 3651724 | 427452 | 17321 55 | 96 | 108 437.51/437.61 c 436s | 18 | 3666143 | 429752 | 17321 55 | 96 | 108 439.51/439.68 c 439s | 18 | 3676727 | 431852 | 17321 55 | 96 | 108 441.61/441.71 c 441s | 18 | 3688793 | 433852 | 17321 55 | 96 | 108 443.61/443.78 c 443s | 18 | 3698816 | 435852 | 17321 55 | 96 | 108 445.71/445.83 c 445s | 18 | 3708561 | 437952 | 17321 56 | 96 | 108 447.72/447.85 c 447s | 18 | 3719421 | 439852 | 17321 56 | 96 | 108 449.82/449.95 c 449s | 18 | 3728515 | 441752 | 19054 56 | 96 | 108 451.91/452.00 c 451s | 18 | 3736546 | 443452 | 19054 56 | 96 | 108 453.92/454.09 c 453s | 18 | 3742344 | 443952 | 19054 56 | 96 | 108 454.42/454.53 c 453s | 19 | 3747576 | 444482 | 19054 56 | 96 | 108 456.42/456.59 c 455s | 19 | 3765548 | 446282 | 19054 56 | 96 | 108 458.42/458.59 c 457s | 19 | 3787243 | 448282 | 19054 57 | 96 | 108 460.52/460.64 c 459s | 19 | 3805275 | 450482 | 19054 57 | 96 | 108 462.61/462.71 c 462s | 19 | 3823084 | 452182 | 19054 57 | 96 | 108 464.61/464.79 c 464s | 19 | 3836289 | 453982 | 19054 57 | 96 | 108 466.81/466.90 c 466s | 19 | 3850464 | 455682 | 19054 57 | 96 | 108 468.81/468.95 c 468s | 19 | 3870102 | 457282 | 19054 58 | 96 | 108 470.91/471.05 c 470s | 19 | 3887412 | 459582 | 19054 58 | 96 | 108 472.92/473.05 c 472s | 19 | 3902097 | 461482 | 19054 58 | 96 | 108 475.01/475.11 c 474s | 19 | 3916541 | 463382 | 19054 58 | 96 | 108 477.01/477.16 c 476s | 19 | 3929565 | 465082 | 19054 58 | 96 | 108 479.11/479.20 c 478s | 19 | 3942119 | 466682 | 19054 58 | 96 | 108 481.11/481.27 c 480s | 19 | 3955400 | 468482 | 19054 59 | 96 | 108 483.31/483.40 c 482s | 19 | 3968652 | 470382 | 19054 59 | 96 | 108 485.41/485.52 c 484s | 19 | 3979544 | 472082 | 19054 59 | 96 | 108 487.51/487.62 c 486s | 19 | 3996172 | 473582 | 19054 59 | 96 | 108 489.52/489.64 c 488s | 19 | 4005881 | 475082 | 19054 59 | 96 | 108 491.62/491.73 c 491s | 19 | 4017012 | 476482 | 19054 59 | 96 | 108 493.71/493.84 c 493s | 19 | 4029701 | 478282 | 19054 60 | 96 | 108 495.71/495.86 c 495s | 19 | 4044827 | 479782 | 19054 60 | 96 | 108 497.81/497.95 c 497s | 19 | 4065922 | 481882 | 19054 60 | 96 | 108 499.91/500.00 c 499s | 19 | 4087877 | 483782 | 19054 60 | 96 | 108 501.91/502.02 c 501s | 19 | 4099656 | 485282 | 19054 60 | 96 | 108 504.01/504.14 c 503s | 19 | 4112904 | 486582 | 19054 61 | 96 | 108 506.11/506.20 c 505s | 19 | 4130513 | 489082 | 19054 61 | 96 | 108 508.11/508.26 c 507s | 19 | 4147314 | 490982 | 19054 61 | 96 | 108 510.11/510.29 c 509s | 19 | 4161397 | 492482 | 19054 61 | 96 | 108 512.21/512.39 c 511s | 19 | 4176960 | 494082 | 19054 61 | 96 | 108 514.30/514.48 c 513s | 19 | 4193742 | 495782 | 19054 61 | 96 | 108 516.40/516.53 c 515s | 19 | 4204153 | 497382 | 19054 62 | 96 | 108 518.50/518.60 c 517s | 19 | 4220427 | 499082 | 19054 62 | 96 | 108 520.50/520.69 c 520s | 19 | 4238380 | 500982 | 19054 62 | 96 | 108 522.60/522.70 c 522s | 19 | 4255628 | 503082 | 19054 62 | 96 | 108 524.71/524.83 c 524s | 19 | 4263781 | 504782 | 19054 62 | 96 | 108 526.70/526.85 c 526s | 19 | 4273865 | 506382 | 19054 62 | 96 | 108 528.70/528.88 c 528s | 19 | 4285724 | 508282 | 19054 63 | 96 | 108 530.80/530.95 c 530s | 19 | 4300524 | 510282 | 19054 63 | 96 | 108 532.90/533.01 c 532s | 19 | 4313269 | 511982 | 19054 63 | 96 | 108 534.90/535.07 c 534s | 19 | 4330713 | 514082 | 19054 63 | 96 | 108 536.90/537.10 c 536s | 19 | 4343128 | 515882 | 19054 63 | 96 | 108 539.01/539.13 c 538s | 19 | 4353616 | 517782 | 19054 64 | 96 | 108 541.11/541.21 c 540s | 19 | 4362472 | 519282 | 19054 64 | 96 | 108 543.10/543.28 c 542s | 19 | 4376315 | 520382 | 19054 64 | 96 | 108 545.20/545.30 c 544s | 19 | 4392882 | 522082 | 19054 64 | 96 | 108 547.20/547.36 c 546s | 19 | 4404338 | 523382 | 19054 64 | 96 | 108 549.30/549.42 c 548s | 19 | 4419070 | 525082 | 19054 64 | 96 | 108 551.40/551.51 c 550s | 19 | 4435236 | 526782 | 19054 64 | 96 | 108 553.40/553.53 c 552s | 19 | 4450273 | 528582 | 19054 65 | 96 | 108 555.51/555.61 c 554s | 19 | 4466042 | 530582 | 19054 65 | 96 | 108 557.50/557.62 c 556s | 19 | 4483346 | 532482 | 19054 65 | 96 | 108 559.50/559.67 c 559s | 19 | 4501103 | 534282 | 19054 65 | 96 | 108 561.60/561.70 c 561s | 19 | 4517896 | 536182 | 19054 65 | 96 | 108 563.60/563.73 c 563s | 19 | 4535623 | 537882 | 19054 66 | 96 | 108 565.70/565.81 c 565s | 19 | 4553008 | 539982 | 19054 66 | 96 | 108 567.70/567.84 c 567s | 19 | 4568212 | 541882 | 19054 66 | 96 | 108 569.70/569.90 c 569s | 19 | 4580630 | 543582 | 19054 66 | 96 | 108 571.80/571.92 c 571s | 19 | 4596388 | 545182 | 19054 66 | 96 | 108 573.79/573.93 c 573s | 19 | 4612895 | 546982 | 19054 66 | 96 | 108 575.79/575.98 c 575s | 19 | 4633579 | 548882 | 19054 67 | 96 | 108 577.89/578.05 c 577s | 19 | 4653877 | 551082 | 19054 67 | 96 | 108 579.89/580.06 c 579s | 19 | 4669074 | 552982 | 19054 67 | 96 | 108 581.90/582.09 c 581s | 19 | 4688277 | 555082 | 19054 67 | 96 | 108 584.00/584.20 c 583s | 19 | 4704765 | 557182 | 19054 68 | 96 | 108 586.09/586.27 c 585s | 19 | 4725421 | 559382 | 19054 68 | 96 | 108 588.19/588.32 c 587s | 19 | 4746485 | 561582 | 19054 68 | 96 | 108 590.29/590.41 c 589s | 19 | 4761614 | 563882 | 19054 68 | 96 | 108 592.29/592.42 c 591s | 19 | 4774140 | 565482 | 19054 68 | 96 | 108 594.29/594.45 c 593s | 19 | 4790521 | 567182 | 19054 69 | 96 | 108 596.29/596.46 c 595s | 19 | 4804229 | 569082 | 19054 69 | 96 | 108 598.30/598.47 c 597s | 19 | 4819599 | 571082 | 19054 69 | 96 | 108 600.29/600.49 c 599s | 19 | 4830820 | 572782 | 19054 69 | 96 | 108 602.39/602.60 c 601s | 19 | 4842693 | 574382 | 19054 69 | 96 | 108 604.49/604.67 c 604s | 19 | 4855230 | 576182 | 19054 69 | 96 | 108 606.49/606.68 c 606s | 19 | 4868980 | 578082 | 19054 70 | 96 | 108 608.69/608.83 c 608s | 19 | 4882810 | 580382 | 19054 70 | 96 | 108 610.69/610.85 c 610s | 19 | 4894794 | 581982 | 19054 70 | 96 | 108 612.69/612.88 c 612s | 19 | 4908743 | 583882 | 19054 70 | 96 | 108 614.69/614.90 c 614s | 19 | 4921918 | 585582 | 19054 70 | 96 | 108 616.79/616.92 c 616s | 19 | 4931861 | 587482 | 19054 71 | 96 | 108 618.78/618.94 c 618s | 19 | 4943333 | 589582 | 19054 71 | 96 | 108 620.78/620.95 c 620s | 19 | 4957014 | 591682 | 19054 71 | 96 | 108 622.88/623.05 c 622s | 19 | 4971890 | 593782 | 19054 71 | 96 | 108 624.88/625.07 c 624s | 19 | 4981952 | 595382 | 19054 71 | 96 | 108 626.99/627.14 c 626s | 19 | 4992264 | 597182 | 19054 71 | 96 | 108 629.09/629.22 c 628s | 19 | 5005747 | 599282 | 19054 72 | 96 | 108 631.18/631.30 c 630s | 19 | 5016270 | 601282 | 19054 72 | 96 | 108 633.18/633.32 c 632s | 19 | 5027605 | 603182 | 19054 72 | 96 | 108 635.18/635.39 c 634s | 19 | 5037467 | 605082 | 19054 72 | 96 | 108 637.28/637.46 c 636s | 19 | 5048306 | 606982 | 19054 72 | 96 | 108 639.98/640.13 c 639s | 19 | 5055417 | 608282 | 19054 73 | 96 | 108 641.98/642.18 c 641s | 19 | 5067319 | 610082 | 19054 73 | 96 | 108 644.18/644.37 c 643s | 19 | 5073692 | 611182 | 19054 73 | 96 | 108 646.28/646.41 c 645s | 19 | 5086575 | 612282 | 19054 73 | 96 | 108 648.28/648.41 c 647s | 19 | 5100338 | 613482 | 19054 73 | 96 | 108 650.28/650.42 c 649s | 19 | 5114462 | 615082 | 19054 73 | 96 | 108 652.38/652.50 c 651s | 19 | 5129114 | 616482 | 19054 73 | 96 | 108 654.38/654.51 c 653s | 19 | 5140816 | 618082 | 19054 74 | 96 | 108 656.38/656.57 c 655s | 19 | 5159941 | 620182 | 19054 74 | 96 | 108 658.48/658.60 c 657s | 19 | 5170720 | 622082 | 19054 74 | 96 | 108 660.48/660.60 c 659s | 19 | 5185094 | 623982 | 19054 74 | 96 | 108 662.48/662.63 c 661s | 19 | 5196144 | 625782 | 19054 74 | 96 | 108 664.49/664.68 c 664s | 19 | 5205343 | 627382 | 19054 75 | 96 | 108 666.49/666.69 c 666s | 19 | 5222471 | 629182 | 19054 75 | 96 | 108 668.58/668.75 c 668s | 19 | 5248369 | 631582 | 19054 75 | 96 | 108 670.68/670.83 c 670s | 19 | 5271627 | 633882 | 19054 75 | 96 | 108 672.78/672.91 c 672s | 19 | 5285867 | 635782 | 19054 75 | 96 | 108 674.78/674.93 c 674s | 19 | 5309333 | 637782 | 19054 76 | 96 | 108 676.78/677.00 c 676s | 19 | 5325852 | 639982 | 19054 76 | 96 | 108 678.98/679.11 c 678s | 19 | 5343107 | 641982 | 19054 76 | 96 | 108 680.98/681.13 c 680s | 19 | 5357368 | 643682 | 19054 76 | 96 | 108 682.99/683.16 c 682s | 19 | 5373051 | 645282 | 19054 76 | 96 | 108 685.08/685.20 c 684s | 19 | 5387626 | 646882 | 19054 76 | 96 | 108 687.08/687.20 c 686s | 19 | 5406459 | 648882 | 19054 77 | 96 | 108 689.08/689.28 c 688s | 19 | 5426270 | 651082 | 19054 77 | 96 | 108 691.48/691.60 c 690s | 19 | 5438463 | 652782 | 19054 77 | 96 | 108 693.48/693.65 c 692s | 19 | 5454736 | 654282 | 19054 77 | 96 | 108 695.48/695.68 c 695s | 19 | 5467883 | 655882 | 19054 77 | 96 | 108 697.58/697.79 c 697s | 19 | 5483334 | 657282 | 19054 78 | 96 | 108 699.77/699.93 c 699s | 19 | 5501729 | 659082 | 19054 78 | 96 | 108 701.87/702.02 c 701s | 19 | 5517680 | 660882 | 19054 78 | 96 | 108 703.88/704.07 c 703s | 19 | 5535520 | 662582 | 20960 78 | 96 | 108 705.87/706.08 c 705s | 19 | 5547179 | 664182 | 20960 78 | 96 | 108 707.97/708.15 c 707s | 19 | 5561814 | 665982 | 20960 78 | 96 | 108 708.97/709.11 c 708s | 20 | 5568126 | 666827 | 20960 78 | 96 | 108 710.97/711.16 c 710s | 20 | 5573916 | 668327 | 20960 78 | 96 | 108 713.07/713.25 c 712s | 20 | 5593408 | 670027 | 20960 79 | 96 | 108 715.07/715.28 c 714s | 20 | 5605510 | 672027 | 20960 79 | 96 | 108 717.18/717.31 c 716s | 20 | 5623894 | 674127 | 20960 79 | 96 | 108 719.17/719.32 c 718s | 20 | 5641747 | 675927 | 20960 79 | 96 | 108 721.17/721.39 c 720s | 20 | 5657799 | 677927 | 20960 79 | 96 | 108 723.27/723.49 c 722s | 20 | 5676508 | 679827 | 20960 79 | 96 | 108 725.37/725.56 c 724s | 20 | 5686929 | 681327 | 20960 80 | 96 | 108 727.47/727.61 c 726s | 20 | 5703808 | 683327 | 20960 80 | 96 | 108 729.47/729.64 c 728s | 20 | 5718802 | 685227 | 20960 80 | 96 | 108 731.57/731.74 c 731s | 20 | 5733895 | 687027 | 20960 80 | 96 | 108 733.58/733.75 c 733s | 20 | 5747313 | 688527 | 20960 80 | 96 | 108 735.57/735.77 c 735s | 20 | 5759564 | 690127 | 20960 80 | 96 | 108 737.67/737.89 c 737s | 20 | 5771719 | 691627 | 20960 81 | 96 | 108 739.77/739.94 c 739s | 20 | 5780622 | 693327 | 20960 81 | 96 | 108 741.87/742.05 c 741s | 20 | 5795215 | 695227 | 20960 81 | 96 | 108 744.27/744.48 c 743s | 20 | 5801222 | 696227 | 20960 81 | 96 | 108 746.37/746.52 c 745s | 20 | 5819531 | 697927 | 20960 81 | 96 | 108 748.37/748.54 c 747s | 20 | 5834777 | 699827 | 20960 81 | 96 | 108 750.47/750.60 c 749s | 20 | 5847640 | 701527 | 20960 82 | 96 | 108 752.47/752.64 c 751s | 20 | 5867768 | 703527 | 20960 82 | 96 | 108 754.58/754.72 c 754s | 20 | 5885965 | 705627 | 20960 82 | 96 | 108 756.68/756.81 c 756s | 20 | 5905557 | 707527 | 20960 82 | 96 | 108 758.77/758.93 c 758s | 20 | 5921214 | 709327 | 20960 82 | 96 | 108 760.77/760.93 c 760s | 20 | 5929329 | 710727 | 20960 82 | 96 | 108 762.77/762.98 c 762s | 20 | 5941881 | 712327 | 20960 82 | 96 | 108 764.87/765.02 c 764s | 20 | 5954054 | 713727 | 20960 83 | 96 | 108 766.87/767.05 c 766s | 20 | 5973132 | 715727 | 20960 83 | 96 | 108 768.87/769.05 c 768s | 20 | 5984766 | 717527 | 20960 83 | 96 | 108 770.97/771.12 c 770s | 20 | 5997071 | 718927 | 20960 83 | 96 | 108 773.06/773.21 c 772s | 20 | 6011810 | 720427 | 20960 83 | 96 | 108 775.06/775.28 c 774s | 20 | 6023119 | 722327 | 20960 83 | 96 | 108 777.16/777.38 c 776s | 20 | 6030161 | 723427 | 20960 84 | 96 | 108 779.26/779.43 c 778s | 20 | 6044690 | 725527 | 20960 84 | 96 | 108 781.46/781.62 c 780s | 20 | 6056769 | 727027 | 20960 84 | 96 | 108 783.46/783.62 c 782s | 20 | 6076267 | 728827 | 20960 84 | 96 | 108 785.56/785.75 c 785s | 20 | 6086789 | 730627 | 20960 84 | 96 | 108 787.66/787.86 c 787s | 20 | 6096676 | 731927 | 20960 84 | 96 | 108 789.67/789.89 c 789s | 20 | 6109899 | 733427 | 20960 84 | 96 | 108 791.76/791.97 c 791s | 20 | 6122949 | 735227 | 20960 85 | 96 | 108 793.96/794.11 c 793s | 20 | 6136902 | 737127 | 20960 85 | 96 | 108 795.96/796.16 c 795s | 20 | 6147581 | 738627 | 20960 85 | 96 | 108 798.06/798.25 c 797s | 20 | 6162218 | 740327 | 20960 85 | 96 | 108 800.16/800.30 c 799s | 20 | 6184419 | 742527 | 20960 85 | 96 | 108 802.26/802.42 c 801s | 20 | 6196891 | 744527 | 20960 85 | 96 | 108 804.26/804.44 c 803s | 20 | 6209572 | 746227 | 20960 86 | 96 | 108 806.36/806.51 c 805s | 20 | 6222977 | 748527 | 20960 86 | 96 | 108 808.36/808.55 c 807s | 20 | 6236901 | 750727 | 20960 86 | 96 | 108 810.36/810.58 c 809s | 20 | 6246320 | 752627 | 20960 86 | 96 | 108 812.46/812.63 c 811s | 20 | 6255524 | 754427 | 20960 86 | 96 | 108 814.46/814.68 c 814s | 20 | 6266946 | 756327 | 20960 86 | 96 | 108 816.55/816.70 c 816s | 20 | 6281172 | 758227 | 20960 87 | 96 | 108 818.55/818.72 c 818s | 20 | 6293578 | 760127 | 20960 87 | 96 | 108 820.56/820.76 c 820s | 20 | 6310674 | 762127 | 20960 87 | 96 | 108 822.66/822.82 c 822s | 20 | 6323190 | 764127 | 20960 87 | 96 | 108 824.75/824.95 c 824s | 20 | 6336069 | 766027 | 20960 87 | 96 | 108 826.85/827.01 c 826s | 20 | 6350127 | 767527 | 20960 87 | 96 | 108 828.85/829.03 c 828s | 20 | 6362241 | 769227 | 20960 88 | 96 | 108 830.85/831.09 c 830s | 20 | 6373650 | 771327 | 20960 88 | 96 | 108 832.95/833.15 c 832s | 20 | 6386094 | 773327 | 20960 88 | 96 | 108 834.95/835.16 c 834s | 20 | 6400335 | 775227 | 20960 88 | 96 | 108 836.96/837.19 c 836s | 20 | 6415970 | 777327 | 20960 88 | 96 | 108 839.06/839.27 c 838s | 20 | 6421034 | 778027 | 20960 88 | 96 | 108 841.16/841.32 c 840s | 20 | 6441906 | 779727 | 20960 89 | 96 | 108 843.16/843.32 c 842s | 20 | 6462374 | 782227 | 20960 89 | 96 | 108 845.16/845.34 c 844s | 20 | 6481389 | 784427 | 20960 89 | 96 | 108 847.26/847.42 c 846s | 20 | 6498324 | 786627 | 20960 89 | 96 | 108 849.26/849.47 c 848s | 20 | 6513838 | 788527 | 20960 89 | 96 | 108 851.36/851.55 c 850s | 20 | 6528575 | 790427 | 20960 90 | 96 | 108 853.36/853.58 c 852s | 20 | 6543712 | 792427 | 20960 90 | 96 | 108 855.46/855.63 c 854s | 20 | 6560096 | 794327 | 20960 90 | 96 | 108 857.55/857.75 c 857s | 20 | 6570110 | 796027 | 20960 90 | 96 | 108 859.55/859.79 c 859s | 20 | 6583051 | 797627 | 20960 90 | 96 | 108 861.65/861.89 c 861s | 20 | 6592793 | 798927 | 20960 90 | 96 | 108 864.05/864.21 c 863s | 20 | 6600882 | 800027 | 20960 91 | 96 | 108 866.05/866.27 c 865s | 20 | 6614999 | 801727 | 20960 91 | 96 | 108 868.05/868.27 c 867s | 20 | 6628316 | 803427 | 20960 91 | 96 | 108 870.25/870.42 c 869s | 20 | 6639682 | 804827 | 20960 91 | 96 | 108 872.26/872.48 c 871s | 20 | 6655302 | 806127 | 20960 91 | 96 | 108 874.36/874.54 c 873s | 20 | 6665675 | 807727 | 20960 91 | 96 | 108 876.45/876.64 c 875s | 20 | 6674140 | 809327 | 20960 91 | 96 | 108 878.55/878.70 c 878s | 20 | 6681731 | 810727 | 20960 92 | 96 | 108 880.55/880.80 c 880s | 20 | 6695381 | 812527 | 20960 92 | 96 | 108 882.65/882.86 c 882s | 20 | 6708611 | 814527 | 20960 92 | 96 | 108 884.75/884.93 c 884s | 20 | 6724348 | 816327 | 20960 92 | 96 | 108 886.75/886.97 c 886s | 20 | 6742811 | 818227 | 20960 92 | 96 | 108 888.85/889.01 c 888s | 20 | 6754899 | 820027 | 20960 92 | 96 | 108 890.85/891.01 c 890s | 20 | 6766980 | 821627 | 20960 92 | 96 | 108 892.85/893.09 c 892s | 20 | 6783736 | 823427 | 20960 93 | 96 | 108 894.95/895.10 c 894s | 20 | 6797824 | 825427 | 20960 93 | 96 | 108 896.95/897.16 c 896s | 20 | 6812930 | 827227 | 20960 93 | 96 | 108 899.05/899.21 c 898s | 20 | 6829546 | 829127 | 20960 93 | 96 | 108 901.05/901.25 c 900s | 20 | 6841312 | 831027 | 20960 93 | 96 | 108 903.15/903.36 c 902s | 20 | 6852700 | 832827 | 20960 93 | 96 | 108 905.15/905.39 c 904s | 20 | 6865530 | 834727 | 20960 94 | 96 | 108 907.25/907.42 c 906s | 20 | 6880969 | 836727 | 20960 94 | 96 | 108 909.24/909.43 c 908s | 20 | 6895502 | 838727 | 20960 94 | 96 | 108 911.34/911.51 c 910s | 20 | 6909214 | 840127 | 20960 94 | 96 | 108 913.34/913.58 c 912s | 20 | 6928955 | 842127 | 20960 94 | 96 | 108 915.64/915.85 c 915s | 20 | 6944213 | 844027 | 20960 95 | 96 | 108 917.74/917.90 c 917s | 20 | 6961881 | 846027 | 20960 95 | 96 | 108 919.74/919.94 c 919s | 20 | 6978972 | 848127 | 20960 95 | 96 | 108 921.84/922.02 c 921s | 20 | 6992174 | 850127 | 20960 95 | 96 | 108 923.95/924.11 c 923s | 20 | 7004049 | 851627 | 20960 95 | 96 | 108 925.94/926.19 c 925s | 20 | 7020076 | 853427 | 20960 95 | 96 | 108 928.04/928.22 c 927s | 20 | 7031714 | 855027 | 20960 96 | 96 | 108 930.04/930.26 c 929s | 20 | 7045756 | 857127 | 20960 96 | 96 | 108 932.04/932.29 c 931s | 20 | 7057560 | 859027 | 20960 96 | 96 | 108 934.14/934.30 c 933s | 20 | 7068500 | 860527 | 20960 96 | 96 | 108 936.14/936.33 c 935s | 20 | 7079163 | 861727 | 20960 96 | 96 | 108 938.25/938.43 c 937s | 20 | 7092010 | 863127 | 20960 96 | 96 | 108 940.24/940.45 c 939s | 20 | 7107234 | 864627 | 20960 96 | 96 | 108 942.34/942.55 c 941s | 20 | 7120122 | 866127 | 20960 97 | 96 | 108 944.34/944.55 c 943s | 20 | 7137234 | 868027 | 20960 97 | 96 | 108 946.44/946.62 c 945s | 20 | 7154878 | 870027 | 20960 97 | 96 | 108 948.44/948.68 c 948s | 20 | 7169457 | 871927 | 20960 97 | 96 | 108 950.64/950.82 c 950s | 20 | 7186966 | 873827 | 20960 97 | 96 | 108 952.64/952.82 c 952s | 20 | 7200305 | 875527 | 20960 97 | 96 | 108 954.64/954.83 c 954s | 20 | 7214782 | 877227 | 20960 98 | 96 | 108 956.74/956.92 c 956s | 20 | 7229095 | 879227 | 20960 98 | 96 | 108 958.74/958.95 c 958s | 20 | 7244394 | 881227 | 20960 98 | 96 | 108 960.83/961.05 c 960s | 20 | 7259788 | 883327 | 20960 98 | 96 | 108 962.93/963.15 c 962s | 20 | 7281208 | 885427 | 20960 98 | 96 | 108 964.93/965.17 c 964s | 20 | 7296815 | 887327 | 20960 98 | 96 | 108 966.93/967.18 c 966s | 20 | 7310068 | 889127 | 20960 99 | 96 | 108 969.04/969.25 c 968s | 20 | 7323865 | 891227 | 20960 99 | 96 | 108 971.24/971.42 c 970s | 20 | 7336545 | 893027 | 20960 99 | 96 | 108 973.34/973.54 c 972s | 20 | 7346714 | 894127 | 20960 99 | 96 | 108 975.33/975.59 c 974s | 20 | 7358540 | 895727 | 20960 99 | 96 | 108 977.53/977.71 c 977s | 20 | 7377425 | 897527 | 20960 99 | 96 | 108 979.53/979.77 c 979s | 20 | 7391762 | 899027 | 20960 100 | 96 | 108 981.63/981.84 c 981s | 20 | 7410750 | 901027 | 20960 100 | 96 | 108 983.73/983.92 c 983s | 20 | 7429131 | 902927 | 20960 100 | 96 | 108 985.83/986.01 c 985s | 20 | 7450219 | 904927 | 20960 100 | 96 | 108 987.83/988.03 c 987s | 20 | 7468929 | 907127 | 20960 100 | 96 | 108 989.94/990.11 c 989s | 20 | 7482309 | 908627 | 20960 100 | 96 | 108 991.93/992.18 c 991s | 20 | 7504394 | 910427 | 20960 101 | 96 | 108 994.03/994.26 c 993s | 20 | 7517752 | 912427 | 20960 101 | 96 | 108 996.13/996.30 c 995s | 20 | 7538213 | 914427 | 20960 101 | 96 | 108 998.13/998.34 c 997s | 20 | 7552924 | 916527 | 20960 101 | 96 | 108 1000.13/1000.37 c 999s | 20 | 7566530 | 918327 | 20960 101 | 96 | 108 1002.23/1002.45 c 1001s | 20 | 7580111 | 920027 | 20960 101 | 96 | 108 1004.23/1004.48 c 1003s | 20 | 7593337 | 921727 | 20960 102 | 96 | 108 1006.33/1006.55 c 1005s | 20 | 7605683 | 923527 | 20960 102 | 96 | 108 1008.43/1008.64 c 1007s | 20 | 7620376 | 925827 | 20960 102 | 96 | 108 1010.53/1010.72 c 1010s | 20 | 7636273 | 927927 | 20960 102 | 96 | 108 1012.63/1012.82 c 1012s | 20 | 7650542 | 929627 | 20960 102 | 96 | 108 1014.72/1014.92 c 1014s | 20 | 7663192 | 931527 | 20960 102 | 96 | 108 1016.72/1016.95 c 1016s | 20 | 7677951 | 933427 | 20960 103 | 96 | 108 1018.82/1019.00 c 1018s | 20 | 7695807 | 935627 | 20960 103 | 96 | 108 1020.82/1021.07 c 1020s | 20 | 7713321 | 937727 | 20960 103 | 96 | 108 1022.93/1023.14 c 1022s | 20 | 7728829 | 939827 | 20960 103 | 96 | 108 1024.92/1025.17 c 1024s | 20 | 7745045 | 941927 | 20960 103 | 96 | 108 1027.02/1027.23 c 1026s | 20 | 7762141 | 943927 | 20960 104 | 96 | 108 1029.02/1029.25 c 1028s | 20 | 7770257 | 945727 | 20960 104 | 96 | 108 1031.12/1031.34 c 1030s | 20 | 7782660 | 947627 | 20960 104 | 96 | 108 1033.22/1033.40 c 1032s | 20 | 7798210 | 949427 | 20960 104 | 96 | 108 1035.32/1035.53 c 1034s | 20 | 7809889 | 951227 | 20960 104 | 96 | 108 1037.52/1037.73 c 1037s | 20 | 7823573 | 952727 | 20960 104 | 96 | 108 1039.52/1039.76 c 1039s | 20 | 7836365 | 954727 | 20960 105 | 96 | 108 1041.72/1041.91 c 1041s | 20 | 7846721 | 956327 | 20960 105 | 96 | 108 1043.73/1043.93 c 1043s | 20 | 7863066 | 957927 | 20960 105 | 96 | 108 1045.72/1045.94 c 1045s | 20 | 7876031 | 959927 | 20960 105 | 96 | 108 1047.82/1048.07 c 1047s | 20 | 7887018 | 961627 | 20960 105 | 96 | 108 1049.82/1050.08 c 1049s | 20 | 7896562 | 963127 | 20960 105 | 96 | 108 1052.02/1052.20 c 1051s | 20 | 7905639 | 964427 | 20960 105 | 96 | 108 1054.02/1054.21 c 1053s | 20 | 7912326 | 965727 | 20960 106 | 96 | 108 1056.02/1056.23 c 1055s | 20 | 7927628 | 967127 | 20960 106 | 96 | 108 1058.12/1058.33 c 1057s | 20 | 7940453 | 968627 | 20960 106 | 96 | 108 1060.12/1060.33 c 1059s | 20 | 7950754 | 970027 | 20960 106 | 96 | 108 1062.22/1062.42 c 1061s | 20 | 7963959 | 971527 | 20960 106 | 96 | 108 1064.32/1064.57 c 1063s | 20 | 7972844 | 972927 | 20960 106 | 96 | 108 1066.41/1066.61 c 1065s | 20 | 7986701 | 974827 | 20960 106 | 96 | 108 1068.41/1068.63 c 1067s | 20 | 7995404 | 976027 | 20960 107 | 96 | 108 1070.41/1070.63 c 1069s | 20 | 8003419 | 977827 | 20960 107 | 96 | 108 1072.51/1072.73 c 1072s | 20 | 8014887 | 979527 | 20960 107 | 96 | 108 1074.52/1074.79 c 1074s | 20 | 8031790 | 981627 | 20960 107 | 96 | 108 1076.61/1076.89 c 1076s | 20 | 8048150 | 983827 | 20960 107 | 96 | 108 1078.71/1078.96 c 1078s | 20 | 8064666 | 985427 | 20960 107 | 96 | 108 1080.81/1081.03 c 1080s | 20 | 8077575 | 987127 | 20960 108 | 96 | 108 1082.81/1083.05 c 1082s | 20 | 8091085 | 988927 | 20960 108 | 96 | 108 1084.81/1085.06 c 1084s | 20 | 8104474 | 990427 | 20960 108 | 96 | 108 1086.81/1087.07 c 1086s | 20 | 8116582 | 992227 | 20960 108 | 96 | 108 1088.92/1089.13 c 1088s | 20 | 8126865 | 993927 | 23057 108 | 96 | 108 1091.02/1091.23 c 1090s | 20 | 8144256 | 995927 | 23057 108 | 96 | 108 1093.11/1093.30 c 1092s | 20 | 8156245 | 997127 | 23057 108 | 96 | 108 1095.31/1095.52 c 1094s | 20 | 8168696 | 998327 | 23057 108 | 96 | 108 1097.41/1097.67 c 1097s | 20 | 8180635 | 999827 | 23057 109 | 96 | 108 1097.91/1098.16 c 1097s | 21 | 8184795 | 1000345 | 23057 109 | 96 | 108 1100.01/1100.25 c 1099s | 21 | 8199702 | 1002245 | 23057 109 | 96 | 108 1102.02/1102.29 c 1101s | 21 | 8216377 | 1004145 | 23057 109 | 96 | 108 1104.11/1104.39 c 1103s | 21 | 8231579 | 1006145 | 23057 109 | 96 | 108 1106.31/1106.52 c 1105s | 21 | 8244696 | 1007645 | 23057 109 | 96 | 108 1108.31/1108.52 c 1107s | 21 | 8256980 | 1009545 | 23057 109 | 96 | 108 1110.31/1110.60 c 1109s | 21 | 8271743 | 1011345 | 23057 109 | 96 | 108 1112.41/1112.64 c 1111s | 21 | 8283592 | 1013045 | 23057 110 | 96 | 108 1114.41/1114.69 c 1114s | 21 | 8292210 | 1014545 | 23057 110 | 96 | 108 1116.51/1116.70 c 1116s | 21 | 8306059 | 1015845 | 23057 110 | 96 | 108 1118.51/1118.77 c 1118s | 21 | 8320315 | 1017345 | 23057 110 | 96 | 108 1120.71/1120.95 c 1120s | 21 | 8333717 | 1019145 | 23057 110 | 96 | 108 1122.71/1122.96 c 1122s | 21 | 8347720 | 1020745 | 23057 110 | 96 | 108 1124.81/1125.00 c 1124s | 21 | 8360134 | 1022245 | 23057 110 | 96 | 108 1126.90/1127.13 c 1126s | 21 | 8371178 | 1023845 | 23057 111 | 96 | 108 1128.90/1129.19 c 1128s | 21 | 8388264 | 1025945 | 23057 111 | 96 | 108 1131.00/1131.26 c 1130s | 21 | 8402826 | 1028145 | 23057 111 | 96 | 108 1133.10/1133.37 c 1132s | 21 | 8416957 | 1030045 | 23057 111 | 96 | 108 1135.11/1135.38 c 1134s | 21 | 8430421 | 1031945 | 23057 111 | 96 | 108 1137.32/1137.52 c 1136s | 21 | 8442875 | 1033745 | 23057 111 | 96 | 108 1139.31/1139.55 c 1138s | 21 | 8456829 | 1035545 | 23057 111 | 96 | 108 1141.62/1141.82 c 1141s | 21 | 8464952 | 1036845 | 23057 112 | 96 | 108 1143.61/1143.84 c 1143s | 21 | 8474809 | 1037745 | 23057 112 | 96 | 108 1145.71/1145.94 c 1145s | 21 | 8494726 | 1039145 | 23057 112 | 96 | 108 1147.71/1147.98 c 1147s | 21 | 8504710 | 1040645 | 23057 112 | 96 | 108 1149.91/1150.13 c 1149s | 21 | 8513095 | 1042145 | 23057 112 | 96 | 108 1151.91/1152.15 c 1151s | 21 | 8535137 | 1044045 | 23057 112 | 96 | 108 1154.01/1154.24 c 1153s | 21 | 8549916 | 1045945 | 23057 112 | 96 | 108 1156.11/1156.38 c 1155s | 21 | 8562021 | 1047445 | 23057 112 | 96 | 108 1158.11/1158.40 c 1157s | 21 | 8572569 | 1048745 | 23057 113 | 96 | 108 1160.21/1160.47 c 1159s | 21 | 8586504 | 1050845 | 23057 113 | 96 | 108 1162.31/1162.53 c 1161s | 21 | 8606572 | 1052845 | 23057 113 | 96 | 108 1164.31/1164.56 c 1163s | 21 | 8621438 | 1054945 | 23057 113 | 96 | 108 1166.41/1166.61 c 1165s | 21 | 8634633 | 1056545 | 23057 113 | 96 | 108 1168.41/1168.62 c 1167s | 21 | 8644180 | 1058245 | 23057 113 | 96 | 108 1170.41/1170.65 c 1169s | 21 | 8657261 | 1059945 | 23057 113 | 96 | 108 1172.51/1172.73 c 1172s | 21 | 8669875 | 1061845 | 23057 114 | 96 | 108 1174.50/1174.78 c 1174s | 21 | 8683844 | 1063545 | 23057 114 | 96 | 108 1176.60/1176.84 c 1176s | 21 | 8697017 | 1065645 | 23057 114 | 96 | 108 1178.60/1178.87 c 1178s | 21 | 8711244 | 1067545 | 23057 114 | 96 | 108 1180.70/1180.97 c 1180s | 21 | 8725309 | 1069445 | 23057 114 | 96 | 108 1183.00/1183.20 c 1182s | 21 | 8735657 | 1070945 | 23057 114 | 96 | 108 1185.00/1185.29 c 1184s | 21 | 8749929 | 1072645 | 23057 115 | 96 | 108 1187.20/1187.43 c 1186s | 21 | 8761520 | 1074245 | 23057 115 | 96 | 108 1189.20/1189.46 c 1188s | 21 | 8773935 | 1075545 | 23057 115 | 96 | 108 1191.30/1191.53 c 1190s | 21 | 8785991 | 1076845 | 23057 115 | 96 | 108 1193.41/1193.62 c 1192s | 21 | 8800629 | 1078545 | 23057 115 | 96 | 108 1195.40/1195.69 c 1195s | 21 | 8813200 | 1080345 | 23057 115 | 96 | 108 1197.40/1197.69 c 1197s | 21 | 8824967 | 1081745 | 23057 115 | 96 | 108 1199.60/1199.82 c 1199s | 21 | 8835206 | 1083445 | 23057 115 | 96 | 108 1201.60/1201.89 c 1201s | 21 | 8848871 | 1085145 | 23057 116 | 96 | 108 1203.70/1203.96 c 1203s | 21 | 8862207 | 1086745 | 23057 116 | 96 | 108 1205.80/1206.09 c 1205s | 21 | 8877468 | 1088645 | 23057 116 | 96 | 108 1207.90/1208.12 c 1207s | 21 | 8887547 | 1089945 | 23057 116 | 96 | 108 1210.00/1210.22 c 1209s | 21 | 8900761 | 1091545 | 23057 116 | 96 | 108 1212.10/1212.33 c 1211s | 21 | 8912770 | 1093245 | 23057 116 | 96 | 108 1214.20/1214.41 c 1213s | 21 | 8925107 | 1094645 | 23057 116 | 96 | 108 1216.40/1216.62 c 1215s | 21 | 8938390 | 1096245 | 23057 117 | 96 | 108 1218.40/1218.70 c 1218s | 21 | 8950253 | 1098145 | 23057 117 | 96 | 108 1220.50/1220.75 c 1220s | 21 | 8963950 | 1099945 | 23057 117 | 96 | 108 1222.60/1222.81 c 1222s | 21 | 8975191 | 1101845 | 23057 117 | 96 | 108 1224.59/1224.86 c 1224s | 21 | 8987480 | 1103745 | 23057 117 | 96 | 108 1226.59/1226.88 c 1226s | 21 | 8996947 | 1105345 | 23057 117 | 96 | 108 1228.79/1229.05 c 1228s | 21 | 9007515 | 1106945 | 23057 117 | 96 | 108 1230.89/1231.18 c 1230s | 21 | 9019372 | 1108445 | 23057 117 | 96 | 108 1232.90/1233.19 c 1232s | 21 | 9028821 | 1110145 | 23057 118 | 96 | 108 1234.99/1235.22 c 1234s | 21 | 9039347 | 1111845 | 23057 118 | 96 | 108 1236.99/1237.29 c 1236s | 21 | 9049996 | 1113645 | 23057 118 | 96 | 108 1239.09/1239.35 c 1238s | 21 | 9061055 | 1115445 | 23057 118 | 96 | 108 1241.09/1241.36 c 1240s | 21 | 9071881 | 1117145 | 23057 118 | 96 | 108 1243.09/1243.38 c 1242s | 21 | 9082504 | 1118745 | 23057 118 | 96 | 108 1245.10/1245.39 c 1244s | 21 | 9089438 | 1120245 | 23057 118 | 96 | 108 1247.20/1247.49 c 1246s | 21 | 9097384 | 1121845 | 23057 119 | 96 | 108 1249.29/1249.56 c 1248s | 21 | 9106656 | 1123845 | 23057 119 | 96 | 108 1251.49/1251.76 c 1251s | 21 | 9113933 | 1125045 | 23057 119 | 96 | 108 1253.59/1253.80 c 1253s | 21 | 9128375 | 1126445 | 23057 119 | 96 | 108 1255.59/1255.85 c 1255s | 21 | 9143002 | 1127945 | 23057 119 | 96 | 108 1257.59/1257.88 c 1257s | 21 | 9157803 | 1129845 | 23057 119 | 96 | 108 1259.69/1259.96 c 1259s | 21 | 9171676 | 1131745 | 23057 119 | 96 | 108 1261.69/1261.98 c 1261s | 21 | 9179578 | 1133245 | 23057 120 | 96 | 108 1263.69/1263.99 c 1263s | 21 | 9197269 | 1135045 | 23057 120 | 96 | 108 1265.79/1266.03 c 1265s | 21 | 9209321 | 1136845 | 23057 120 | 96 | 108 1267.89/1268.10 c 1267s | 21 | 9220870 | 1138645 | 23057 120 | 96 | 108 1269.89/1270.10 c 1269s | 21 | 9231089 | 1140345 | 23057 120 | 96 | 108 1271.88/1272.16 c 1271s | 21 | 9241609 | 1141745 | 23057 120 | 96 | 108 1273.98/1274.24 c 1273s | 21 | 9251656 | 1143445 | 23057 120 | 96 | 108 1276.08/1276.31 c 1275s | 21 | 9262313 | 1145045 | 23057 121 | 96 | 108 1278.09/1278.38 c 1277s | 21 | 9274964 | 1146845 | 23057 121 | 96 | 108 1280.19/1280.42 c 1279s | 21 | 9291413 | 1149045 | 23057 121 | 96 | 108 1282.18/1282.46 c 1281s | 21 | 9301353 | 1150645 | 23057 121 | 96 | 108 1284.18/1284.48 c 1283s | 21 | 9312269 | 1152145 | 23057 121 | 96 | 108 1286.28/1286.54 c 1285s | 21 | 9323849 | 1153545 | 23057 121 | 96 | 108 1288.28/1288.56 c 1287s | 21 | 9333049 | 1154845 | 23057 121 | 96 | 108 1290.38/1290.69 c 1290s | 21 | 9343452 | 1156145 | 23057 121 | 96 | 108 1292.48/1292.78 c 1292s | 21 | 9355168 | 1157445 | 23057 122 | 96 | 108 1294.49/1294.78 c 1294s | 21 | 9372073 | 1159145 | 23057 122 | 96 | 108 1296.58/1296.88 c 1296s | 21 | 9385356 | 1160945 | 23057 122 | 96 | 108 1298.68/1298.96 c 1298s | 21 | 9403599 | 1162745 | 23057 122 | 96 | 108 1300.78/1301.04 c 1300s | 21 | 9419323 | 1164345 | 23057 122 | 96 | 108 1302.88/1303.15 c 1302s | 21 | 9435866 | 1166045 | 23057 122 | 96 | 108 1304.98/1305.22 c 1304s | 21 | 9449087 | 1167645 | 23057 122 | 96 | 108 1306.98/1307.28 c 1306s | 21 | 9461406 | 1169245 | 23057 123 | 96 | 108 1309.08/1309.33 c 1308s | 21 | 9480120 | 1171245 | 23057 123 | 96 | 108 1311.09/1311.36 c 1310s | 21 | 9494927 | 1173345 | 23057 123 | 96 | 108 1313.19/1313.42 c 1312s | 21 | 9508380 | 1175345 | 23057 123 | 96 | 108 1315.18/1315.48 c 1314s | 21 | 9521133 | 1177345 | 23057 123 | 96 | 108 1317.28/1317.52 c 1316s | 21 | 9536886 | 1179345 | 23057 123 | 96 | 108 1319.38/1319.60 c 1318s | 21 | 9552213 | 1181345 | 23057 123 | 96 | 108 1321.38/1321.69 c 1321s | 21 | 9563052 | 1183145 | 23057 124 | 96 | 108 1323.58/1323.81 c 1323s | 21 | 9575169 | 1184845 | 23057 124 | 96 | 108 1326.18/1326.48 c 1325s | 21 | 9585856 | 1186245 | 23057 124 | 96 | 108 1328.28/1328.50 c 1327s | 21 | 9606604 | 1188245 | 23057 124 | 96 | 108 1330.27/1330.55 c 1329s | 21 | 9623326 | 1190145 | 23057 124 | 96 | 108 1332.37/1332.62 c 1331s | 21 | 9644701 | 1192045 | 23057 124 | 96 | 108 1334.37/1334.68 c 1334s | 21 | 9663214 | 1193945 | 23057 125 | 96 | 108 1336.47/1336.73 c 1336s | 21 | 9682145 | 1195945 | 23057 125 | 96 | 108 1338.58/1338.81 c 1338s | 21 | 9700886 | 1197945 | 23057 125 | 96 | 108 1340.57/1340.83 c 1340s | 21 | 9715744 | 1199945 | 23057 125 | 96 | 108 1342.57/1342.85 c 1342s | 21 | 9724563 | 1201645 | 23057 125 | 96 | 108 1344.57/1344.85 c 1344s | 21 | 9742157 | 1203645 | 23057 125 | 96 | 108 1346.67/1346.92 c 1346s | 21 | 9760442 | 1205545 | 23057 125 | 96 | 108 1348.67/1348.93 c 1348s | 21 | 9773053 | 1207445 | 23057 126 | 96 | 108 1350.77/1351.01 c 1350s | 21 | 9792407 | 1209545 | 23057 126 | 96 | 108 1352.77/1353.10 c 1352s | 21 | 9809451 | 1211445 | 23057 126 | 96 | 108 1354.87/1355.15 c 1354s | 21 | 9828269 | 1213145 | 23057 126 | 96 | 108 1356.96/1357.20 c 1356s | 21 | 9843915 | 1214845 | 23057 126 | 96 | 108 1359.06/1359.32 c 1358s | 21 | 9855442 | 1216245 | 23057 126 | 96 | 108 1361.16/1361.42 c 1360s | 21 | 9874922 | 1217945 | 23057 127 | 96 | 108 1363.26/1363.50 c 1362s | 21 | 9893471 | 1220145 | 23057 127 | 96 | 108 1365.26/1365.58 c 1364s | 21 | 9906619 | 1222045 | 23057 127 | 96 | 108 1367.36/1367.67 c 1367s | 21 | 9920618 | 1223945 | 23057 127 | 96 | 108 1369.45/1369.70 c 1369s | 21 | 9936821 | 1225845 | 23057 127 | 96 | 108 1371.46/1371.73 c 1371s | 21 | 9951474 | 1227745 | 23057 127 | 96 | 108 1373.55/1373.85 c 1373s | 21 | 9961755 | 1229645 | 23057 127 | 96 | 108 1375.55/1375.89 c 1375s | 21 | 9979759 | 1231545 | 23057 128 | 96 | 108 1377.65/1377.91 c 1377s | 21 | 9998545 | 1233745 | 23057 128 | 96 | 108 1379.65/1379.95 c 1379s | 21 | 10016832 | 1235845 | 23057 128 | 96 | 108 1381.75/1382.00 c 1381s | 21 | 10033742 | 1237845 | 23057 128 | 96 | 108 1383.75/1384.08 c 1383s | 21 | 10048872 | 1239745 | 23057 128 | 96 | 108 1385.85/1386.14 c 1385s | 21 | 10063308 | 1241545 | 23057 128 | 96 | 108 1387.85/1388.19 c 1387s | 21 | 10080280 | 1243545 | 23057 129 | 96 | 108 1389.94/1390.24 c 1389s | 21 | 10093060 | 1245445 | 23057 129 | 96 | 108 1392.04/1392.31 c 1391s | 21 | 10109038 | 1247445 | 23057 129 | 96 | 108 1394.04/1394.37 c 1393s | 21 | 10121529 | 1249545 | 23057 129 | 96 | 108 1396.04/1396.38 c 1395s | 21 | 10135285 | 1251445 | 23057 129 | 96 | 108 1398.25/1398.57 c 1397s | 21 | 10149482 | 1253345 | 23057 129 | 96 | 108 1400.45/1400.72 c 1400s | 21 | 10157533 | 1254845 | 23057 130 | 96 | 108 1402.44/1402.76 c 1402s | 21 | 10167505 | 1256245 | 23057 130 | 96 | 108 1404.64/1404.93 c 1404s | 21 | 10177969 | 1257345 | 23057 130 | 96 | 108 1409.84/1410.14 c 1409s | 21 | 10190013 | 1258345 | 23057 130 | 96 | 108 1412.83/1413.17 c 1412s | 21 | 10191317 | 1258445 | 23057 130 | 96 | 108 1415.14/1415.49 c 1414s | 21 | 10194378 | 1258645 | 23057 130 | 96 | 108 1417.23/1417.55 c 1416s | 21 | 10206466 | 1259345 | 23057 130 | 96 | 108 1419.43/1419.78 c 1419s | 21 | 10223145 | 1260445 | 23057 130 | 96 | 108 1421.43/1421.78 c 1421s | 21 | 10238093 | 1262345 | 23057 130 | 96 | 108 1424.54/1424.85 c 1424s | 21 | 10249317 | 1263645 | 23057 130 | 96 | 108 1426.64/1426.90 c 1426s | 21 | 10258668 | 1264545 | 23057 130 | 96 | 108 1428.64/1428.98 c 1428s | 21 | 10273852 | 1266145 | 23057 131 | 96 | 108 1430.73/1431.00 c 1430s | 21 | 10305197 | 1268245 | 23057 131 | 96 | 108 1432.73/1433.08 c 1432s | 21 | 10332236 | 1270745 | 23057 131 | 96 | 108 1434.83/1435.16 c 1434s | 21 | 10345733 | 1273145 | 23057 131 | 96 | 108 1436.93/1437.28 c 1436s | 21 | 10363341 | 1274945 | 23057 131 | 96 | 108 1439.03/1439.37 c 1438s | 21 | 10380309 | 1276845 | 23057 131 | 96 | 108 1441.03/1441.37 c 1440s | 21 | 10394865 | 1278345 | 23057 132 | 96 | 108 1443.13/1443.40 c 1442s | 21 | 10415830 | 1280245 | 23057 132 | 96 | 108 1445.14/1445.43 c 1444s | 21 | 10432033 | 1281745 | 23057 132 | 96 | 108 1447.13/1447.43 c 1446s | 21 | 10446345 | 1283045 | 23057 132 | 96 | 108 1449.13/1449.46 c 1448s | 21 | 10472426 | 1285045 | 23057 132 | 96 | 108 1451.23/1451.51 c 1450s | 21 | 10487624 | 1287345 | 23057 132 | 96 | 108 1453.23/1453.55 c 1452s | 21 | 10498495 | 1289345 | 23057 132 | 96 | 108 1455.33/1455.64 c 1454s | 21 | 10514564 | 1291545 | 23057 133 | 96 | 108 1457.43/1457.70 c 1457s | 21 | 10536954 | 1293345 | 23057 133 | 96 | 108 1459.43/1459.73 c 1459s | 21 | 10554492 | 1295145 | 23057 133 | 96 | 108 1461.43/1461.75 c 1461s | 21 | 10577455 | 1297045 | 23057 133 | 96 | 108 1463.43/1463.78 c 1463s | 21 | 10590370 | 1298845 | 23057 133 | 96 | 108 1465.63/1465.93 c 1465s | 21 | 10604887 | 1300445 | 23057 133 | 96 | 108 1467.72/1468.04 c 1467s | 21 | 10618471 | 1301845 | 23057 133 | 96 | 108 1469.72/1470.05 c 1469s | 21 | 10627879 | 1303345 | 23057 134 | 96 | 108 1471.82/1472.15 c 1471s | 21 | 10644223 | 1305545 | 23057 134 | 96 | 108 1473.92/1474.22 c 1473s | 21 | 10664603 | 1307545 | 23057 134 | 96 | 108 1476.03/1476.31 c 1475s | 21 | 10680821 | 1309545 | 23057 134 | 96 | 108 1478.02/1478.37 c 1477s | 21 | 10692665 | 1311145 | 23057 134 | 96 | 108 1480.12/1480.44 c 1479s | 21 | 10709764 | 1312945 | 23057 134 | 96 | 108 1482.12/1482.46 c 1481s | 21 | 10723138 | 1314645 | 23057 135 | 96 | 108 1484.22/1484.56 c 1483s | 21 | 10739743 | 1316645 | 23057 135 | 96 | 108 1486.22/1486.59 c 1485s | 21 | 10753179 | 1318545 | 23057 135 | 96 | 108 1488.32/1488.61 c 1487s | 21 | 10773095 | 1320645 | 23057 135 | 96 | 108 1490.32/1490.65 c 1489s | 21 | 10787105 | 1322645 | 23057 135 | 96 | 108 1492.32/1492.66 c 1491s | 21 | 10805293 | 1324445 | 23057 135 | 96 | 108 1494.41/1494.73 c 1494s | 21 | 10818094 | 1326045 | 23057 135 | 96 | 108 1496.51/1496.81 c 1496s | 21 | 10833566 | 1328045 | 23057 136 | 96 | 108 1498.61/1498.91 c 1498s | 21 | 10855750 | 1330345 | 23057 136 | 96 | 108 1500.61/1500.92 c 1500s | 21 | 10873502 | 1332545 | 23057 136 | 96 | 108 1502.61/1502.98 c 1502s | 21 | 10891227 | 1334545 | 23057 136 | 96 | 108 1504.71/1505.01 c 1504s | 21 | 10909073 | 1336845 | 23057 136 | 96 | 108 1506.72/1507.03 c 1506s | 21 | 10921991 | 1338845 | 23057 137 | 96 | 108 1508.71/1509.04 c 1508s | 21 | 10937912 | 1341245 | 23057 137 | 96 | 108 1510.71/1511.05 c 1510s | 21 | 10955216 | 1343245 | 23057 137 | 96 | 108 1512.81/1513.13 c 1512s | 21 | 10972858 | 1345445 | 23057 137 | 96 | 108 1514.81/1515.14 c 1514s | 21 | 10986783 | 1347445 | 23057 137 | 96 | 108 1516.81/1517.20 c 1516s | 21 | 11003084 | 1349245 | 23057 137 | 96 | 108 1518.91/1519.27 c 1518s | 21 | 11016431 | 1351145 | 23057 138 | 96 | 108 1521.01/1521.33 c 1520s | 21 | 11030744 | 1353345 | 23057 138 | 96 | 108 1523.00/1523.35 c 1522s | 21 | 11044828 | 1355445 | 23057 138 | 96 | 108 1525.00/1525.39 c 1524s | 21 | 11057913 | 1357445 | 23057 138 | 96 | 108 1527.10/1527.40 c 1526s | 21 | 11074575 | 1359445 | 23057 138 | 96 | 108 1529.10/1529.43 c 1528s | 21 | 11089984 | 1361445 | 23057 138 | 96 | 108 1531.20/1531.54 c 1530s | 21 | 11101525 | 1363345 | 23057 139 | 96 | 108 1533.21/1533.59 c 1532s | 21 | 11120267 | 1365645 | 23057 139 | 96 | 108 1535.31/1535.64 c 1534s | 21 | 11133064 | 1367945 | 23057 139 | 96 | 108 1537.51/1537.88 c 1537s | 21 | 11141971 | 1369445 | 23057 139 | 96 | 108 1539.60/1539.94 c 1539s | 21 | 11153526 | 1370945 | 23057 139 | 96 | 108 1541.79/1542.10 c 1541s | 21 | 11165512 | 1372745 | 23057 139 | 96 | 108 1543.99/1544.39 c 1543s | 21 | 11173091 | 1373845 | 23057 139 | 96 | 108 1546.09/1546.41 c 1545s | 21 | 11182630 | 1374845 | 23057 140 | 96 | 108 1548.50/1548.81 c 1548s | 21 | 11191658 | 1375545 | 23057 140 | 96 | 108 1550.50/1550.88 c 1550s | 21 | 11199059 | 1376245 | 23057 140 | 96 | 108 1552.60/1552.93 c 1552s | 21 | 11215829 | 1378245 | 23057 140 | 96 | 108 1554.69/1555.00 c 1554s | 21 | 11234674 | 1380245 | 23057 140 | 96 | 108 1556.69/1557.03 c 1556s | 21 | 11250777 | 1382045 | 23057 140 | 96 | 108 1558.79/1559.11 c 1558s | 21 | 11266128 | 1383945 | 23057 140 | 96 | 108 1560.89/1561.20 c 1560s | 21 | 11277395 | 1385445 | 23057 140 | 96 | 108 1562.90/1563.29 c 1562s | 21 | 11286973 | 1386445 | 23057 140 | 96 | 108 1565.00/1565.39 c 1564s | 21 | 11306306 | 1388045 | 23057 141 | 96 | 108 1567.09/1567.43 c 1566s | 21 | 11327602 | 1390045 | 23057 141 | 96 | 108 1569.19/1569.54 c 1568s | 21 | 11347171 | 1391745 | 23057 141 | 96 | 108 1571.29/1571.61 c 1570s | 21 | 11364585 | 1393745 | 23057 141 | 96 | 108 1573.39/1573.75 c 1573s | 21 | 11378582 | 1395645 | 23057 141 | 96 | 108 1575.49/1575.82 c 1575s | 21 | 11391678 | 1397345 | 23057 141 | 96 | 108 1577.59/1577.97 c 1577s | 21 | 11403393 | 1398745 | 23057 141 | 96 | 108 1579.69/1580.03 c 1579s | 21 | 11416819 | 1400445 | 23057 142 | 96 | 108 1581.69/1582.06 c 1581s | 21 | 11432786 | 1402845 | 23057 142 | 96 | 108 1583.69/1584.06 c 1583s | 21 | 11446374 | 1404845 | 23057 142 | 96 | 108 1585.89/1586.21 c 1585s | 21 | 11456824 | 1406745 | 23057 142 | 96 | 108 1587.98/1588.31 c 1587s | 21 | 11467927 | 1408345 | 23057 142 | 96 | 108 1589.98/1590.33 c 1589s | 21 | 11477287 | 1409945 | 23057 142 | 96 | 108 1591.98/1592.38 c 1591s | 21 | 11491221 | 1412045 | 23057 143 | 96 | 108 1594.08/1594.42 c 1593s | 21 | 11505592 | 1414445 | 23057 143 | 96 | 108 1596.08/1596.47 c 1595s | 21 | 11519132 | 1416545 | 23057 143 | 96 | 108 1598.09/1598.49 c 1597s | 21 | 11532088 | 1418645 | 23057 143 | 96 | 108 1600.18/1600.54 c 1599s | 21 | 11543669 | 1420445 | 23057 143 | 96 | 108 1602.28/1602.66 c 1601s | 21 | 11555282 | 1421945 | 23057 143 | 96 | 108 1604.28/1604.67 c 1604s | 21 | 11564756 | 1423645 | 23057 144 | 96 | 108 1606.38/1606.70 c 1606s | 21 | 11576574 | 1425745 | 23057 144 | 96 | 108 1608.38/1608.76 c 1608s | 21 | 11587247 | 1427545 | 23057 144 | 96 | 108 1610.37/1610.79 c 1610s | 21 | 11599207 | 1429445 | 23057 144 | 96 | 108 1612.47/1612.89 c 1612s | 21 | 11610259 | 1431345 | 23057 144 | 96 | 108 1614.58/1614.97 c 1614s | 21 | 11621525 | 1433345 | 23057 144 | 96 | 108 1616.78/1617.12 c 1616s | 21 | 11632575 | 1435245 | 23057 145 | 96 | 108 1618.77/1619.20 c 1618s | 21 | 11645084 | 1437545 | 23057 145 | 96 | 108 1620.87/1621.21 c 1620s | 21 | 11656503 | 1439645 | 23057 145 | 96 | 108 1622.87/1623.27 c 1622s | 21 | 11668235 | 1441745 | 23057 145 | 96 | 108 1624.97/1625.38 c 1624s | 21 | 11677367 | 1443945 | 23057 145 | 96 | 108 1627.17/1627.57 c 1626s | 21 | 11686174 | 1445445 | 23057 145 | 96 | 108 1629.76/1630.14 c 1629s | 21 | 11690941 | 1446245 | 23057 145 | 96 | 108 1631.76/1632.18 c 1631s | 21 | 11706121 | 1448045 | 23057 146 | 96 | 108 1633.86/1634.22 c 1633s | 21 | 11733810 | 1450545 | 23057 146 | 96 | 108 1635.86/1636.27 c 1635s | 21 | 11764864 | 1452945 | 23057 146 | 96 | 108 1637.96/1638.34 c 1637s | 21 | 11787977 | 1455445 | 23057 146 | 96 | 108 1639.96/1640.39 c 1639s | 21 | 11799125 | 1457545 | 23057 146 | 96 | 108 1642.07/1642.46 c 1641s | 21 | 11812852 | 1459645 | 23057 147 | 96 | 108 1644.06/1644.48 c 1643s | 21 | 11836254 | 1461845 | 23057 147 | 96 | 108 1646.16/1646.53 c 1645s | 21 | 11871842 | 1464245 | 23057 147 | 96 | 108 1648.16/1648.56 c 1647s | 21 | 11888947 | 1466245 | 23057 147 | 96 | 108 1650.25/1650.65 c 1649s | 21 | 11904610 | 1468245 | 23057 147 | 96 | 108 1652.36/1652.76 c 1652s | 21 | 11917203 | 1470045 | 23057 147 | 96 | 108 1654.36/1654.76 c 1654s | 21 | 11929447 | 1471945 | 23057 148 | 96 | 108 1656.46/1656.80 c 1656s | 21 | 11943188 | 1473545 | 23057 148 | 96 | 108 1658.57/1658.93 c 1658s | 21 | 11956297 | 1475145 | 23057 148 | 96 | 108 1660.56/1660.96 c 1660s | 21 | 11970243 | 1476445 | 23057 148 | 96 | 108 1662.66/1663.05 c 1662s | 21 | 11980946 | 1477845 | 23057 148 | 96 | 108 1664.76/1665.11 c 1664s | 21 | 11993669 | 1479245 | 23057 148 | 96 | 108 1666.76/1667.16 c 1666s | 21 | 12016095 | 1481045 | 23057 148 | 96 | 108 1668.86/1669.28 c 1668s | 21 | 12038946 | 1482845 | 23057 149 | 96 | 108 1670.96/1671.36 c 1670s | 21 | 12055585 | 1485345 | 23057 149 | 96 | 108 1673.05/1673.46 c 1672s | 21 | 12070609 | 1487545 | 23057 149 | 96 | 108 1675.06/1675.48 c 1674s | 21 | 12084262 | 1489345 | 23057 149 | 96 | 108 1677.26/1677.63 c 1676s | 21 | 12097378 | 1491145 | 25363 149 | 96 | 108 1679.25/1679.67 c 1679s | 21 | 12105631 | 1492445 | 25363 149 | 96 | 108 1681.45/1681.80 c 1681s | 21 | 12121493 | 1493945 | 25363 149 | 96 | 108 1683.45/1683.88 c 1683s | 21 | 12130886 | 1495245 | 25363 149 | 96 | 108 1685.65/1686.00 c 1685s | 21 | 12138870 | 1496445 | 25363 149 | 96 | 108 1687.65/1688.10 c 1687s | 21 | 12152629 | 1498045 | 25363 150 | 96 | 108 1689.74/1690.11 c 1689s | 21 | 12165455 | 1499645 | 25363 150 | 96 | 108 1691.04/1691.43 c 1690s | 22 | 12173838 | 1500622 | 25363 150 | 96 | 108 1693.14/1693.52 c 1692s | 22 | 12184096 | 1502222 | 25363 150 | 96 | 108 1695.14/1695.57 c 1694s | 22 | 12200660 | 1503922 | 25363 150 | 96 | 108 1697.14/1697.58 c 1696s | 22 | 12223768 | 1505922 | 25363 150 | 96 | 108 1699.15/1699.59 c 1698s | 22 | 12243311 | 1507822 | 25363 150 | 96 | 108 1701.24/1701.62 c 1700s | 22 | 12256471 | 1509722 | 25363 150 | 96 | 108 1703.24/1703.64 c 1702s | 22 | 12270445 | 1511622 | 25363 151 | 96 | 108 1705.24/1705.65 c 1704s | 22 | 12285245 | 1513322 | 25363 151 | 96 | 108 1707.24/1707.66 c 1706s | 22 | 12297864 | 1514822 | 25363 151 | 96 | 108 1709.34/1709.72 c 1709s | 22 | 12312080 | 1516422 | 25363 151 | 96 | 108 1711.44/1711.80 c 1711s | 22 | 12326010 | 1518222 | 25363 151 | 96 | 108 1713.45/1713.81 c 1713s | 22 | 12348226 | 1519922 | 25363 151 | 96 | 108 1715.54/1715.90 c 1715s | 22 | 12366800 | 1521722 | 25363 151 | 96 | 108 1717.74/1718.13 c 1717s | 22 | 12375038 | 1523522 | 25363 152 | 96 | 108 1719.74/1720.15 c 1719s | 22 | 12390890 | 1525322 | 25363 152 | 96 | 108 1721.84/1722.22 c 1721s | 22 | 12406212 | 1527022 | 25363 152 | 96 | 108 1723.83/1724.28 c 1723s | 22 | 12422785 | 1528722 | 25363 152 | 96 | 108 1725.93/1726.32 c 1725s | 22 | 12435737 | 1530322 | 25363 152 | 96 | 108 1727.93/1728.34 c 1727s | 22 | 12449307 | 1531822 | 25363 152 | 96 | 108 1730.04/1730.41 c 1729s | 22 | 12461919 | 1533222 | 25363 152 | 96 | 108 1732.03/1732.47 c 1731s | 22 | 12472815 | 1534922 | 25363 152 | 96 | 108 1734.13/1734.54 c 1733s | 22 | 12484268 | 1536422 | 25363 152 | 96 | 108 1736.23/1736.63 c 1735s | 22 | 12494757 | 1538022 | 25363 153 | 96 | 108 1738.23/1738.66 c 1737s | 22 | 12514502 | 1540322 | 25363 153 | 96 | 108 1740.32/1740.71 c 1740s | 22 | 12523753 | 1542322 | 25363 153 | 96 | 108 1742.32/1742.73 c 1742s | 22 | 12535051 | 1544022 | 25363 153 | 96 | 108 1744.33/1744.78 c 1744s | 22 | 12546294 | 1545422 | 25363 153 | 96 | 108 1746.43/1746.84 c 1746s | 22 | 12562338 | 1547122 | 25363 153 | 96 | 108 1748.42/1748.84 c 1748s | 22 | 12577957 | 1548922 | 25363 153 | 96 | 108 1750.42/1750.88 c 1750s | 22 | 12588314 | 1550522 | 25363 154 | 96 | 108 1752.52/1752.90 c 1752s | 22 | 12598357 | 1552022 | 25363 154 | 96 | 108 1754.62/1755.01 c 1754s | 22 | 12608405 | 1553822 | 25363 154 | 96 | 108 1756.62/1757.06 c 1756s | 22 | 12620510 | 1555322 | 25363 154 | 96 | 108 1758.71/1759.15 c 1758s | 22 | 12629690 | 1556822 | 25363 154 | 96 | 108 1760.82/1761.28 c 1760s | 22 | 12641871 | 1558422 | 25363 154 | 96 | 108 1762.92/1763.33 c 1762s | 22 | 12654949 | 1560222 | 25363 154 | 96 | 108 1765.01/1765.49 c 1764s | 22 | 12665265 | 1561822 | 25363 154 | 96 | 108 1767.21/1767.65 c 1766s | 22 | 12672696 | 1563022 | 25363 154 | 96 | 108 1769.31/1769.72 c 1769s | 22 | 12682596 | 1564522 | 25363 155 | 96 | 108 1771.31/1771.77 c 1771s | 22 | 12696161 | 1566322 | 25363 155 | 96 | 108 1773.41/1773.84 c 1773s | 22 | 12707496 | 1568122 | 25363 155 | 96 | 108 1775.41/1775.87 c 1775s | 22 | 12722498 | 1570022 | 25363 155 | 96 | 108 1777.50/1777.91 c 1777s | 22 | 12736465 | 1572022 | 25363 155 | 96 | 108 1779.60/1780.03 c 1779s | 22 | 12746339 | 1573822 | 25363 155 | 96 | 108 1781.61/1782.10 c 1781s | 22 | 12757875 | 1575722 | 25363 155 | 96 | 108 1783.70/1784.15 c 1783s | 22 | 12766034 | 1577322 | 25363 156 | 96 | 108 1785.80/1786.20 c 1785s | 22 | 12777752 | 1579122 | 25363 156 | 96 | 108 1787.80/1788.26 c 1787s | 22 | 12787053 | 1580922 | 25363 156 | 96 | 108 1789.90/1790.32 c 1789s | 22 | 12796219 | 1582622 | 25363 156 | 96 | 108 1791.90/1792.35 c 1791s | 22 | 12809138 | 1584422 | 25363 156 | 96 | 108 1794.00/1794.43 c 1793s | 22 | 12821238 | 1586222 | 25363 156 | 96 | 108 1796.00/1796.45 c 1795s | 22 | 12832027 | 1588022 | 25363 156 | 96 | 108 1798.00/1798.47 c 1797s | 22 | 12841585 | 1589522 | 25363 156 | 96 | 108
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-4079815-1465252218/watcher-4079815-1465252218 -o /tmp/evaluation-result-4079815-1465252218/solver-4079815-1465252218 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079815-1465252218.opb pid=6074 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.31 1.24 1.45 2/180 6077 /proc/meminfo: memFree=29469340/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=718268 CPUtime=0 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 2680 0 0 0 0 0 0 0 20 0 4 0 107154976 735506432 2529 33554432000 4194304 16246674 140733309112320 140733309095312 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 180335 2538 441 2943 0 177229 0 [pid=6077/tid=6078] ppid=6074 vsize=736700 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 754380800 2600 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=740796 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 758575104 2617 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=744892 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107154976 762769408 2634 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100161 s] /proc/loadavg: 1.31 1.24 1.45 2/180 6077 /proc/meminfo: memFree=29469340/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 23588 0 0 0 7 2 0 0 20 0 4 0 107154976 1249447936 23375 33554432000 4194304 16246674 140733309112320 140733309111632 6156109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 305041 23384 833 2943 0 301935 0 [pid=6077/tid=6078] ppid=6074 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1249447936 23390 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1249447936 23395 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107154976 1249447936 23401 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200536 s] /proc/loadavg: 1.31 1.24 1.45 2/180 6077 /proc/meminfo: memFree=29469340/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1220164 CPUtime=0.19 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 40782 0 0 0 14 5 0 0 20 0 4 0 107154976 1249447936 40569 33554432000 4194304 16246674 140733309112320 140733309111632 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 305041 40577 890 2943 0 301935 0 [pid=6077/tid=6078] ppid=6074 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1249447936 40581 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1249447936 40586 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107154976 1249447936 40590 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1220164 [startup+0.300463 s] /proc/loadavg: 1.31 1.24 1.45 2/180 6077 /proc/meminfo: memFree=29469340/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1301060 CPUtime=0.29 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 56268 0 0 0 21 8 0 0 20 0 4 0 107154976 1332285440 56055 33554432000 4194304 16246674 140733309112320 140733309111632 5532218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 325265 56066 891 2943 0 322159 0 [pid=6077/tid=6078] ppid=6074 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1332285440 56073 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1332285440 56080 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1332285440 56087 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1301060 [startup+0.700424 s] /proc/loadavg: 1.31 1.24 1.45 2/180 6077 /proc/meminfo: memFree=29469340/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1307204 CPUtime=0.69 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 72212 0 0 0 59 10 0 0 20 0 4 0 107154976 1338576896 71999 33554432000 4194304 16246674 140733309112320 140733309111632 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 326801 71999 906 2943 0 323695 0 [pid=6077/tid=6078] ppid=6074 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1338576896 71999 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1338576896 71999 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1338576896 71999 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.50042 s] /proc/loadavg: 1.31 1.24 1.45 3/184 6081 /proc/meminfo: memFree=29078708/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1307204 CPUtime=1.49 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 158473 0 0 0 128 21 0 0 20 0 4 0 107154976 1338576896 158260 33554432000 4194304 16246674 140733309112320 140733309094208 6024617 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 326801 158262 906 2943 0 323695 0 [pid=6077/tid=6078] ppid=6074 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1338576896 158262 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1338576896 158263 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1338576896 158264 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.10043 s] /proc/loadavg: 1.31 1.24 1.45 3/184 6081 /proc/meminfo: memFree=28413812/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 268008 0 0 0 274 35 0 0 20 0 4 0 107154976 1338576896 267795 33554432000 4194304 16246674 140733309112320 140733309094208 12483624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 326801 267795 908 2943 0 323695 0 [pid=6077/tid=6078] ppid=6074 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1338576896 267795 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1338576896 267795 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1338576896 267795 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30043 s] /proc/loadavg: 1.37 1.25 1.45 4/184 6081 /proc/meminfo: memFree=28398888/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1307204 CPUtime=6.28 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 268008 0 0 0 592 36 0 0 20 0 4 0 107154976 1338576896 267795 33554432000 4194304 16246674 140733309112320 140733309094208 5667777 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 326801 267795 908 2943 0 323695 0 [pid=6077/tid=6078] ppid=6074 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1338576896 267795 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1338576896 267795 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1338576896 267795 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 1.42 1.26 1.45 4/184 6081 /proc/meminfo: memFree=28399548/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1308228 CPUtime=12.68 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 268071 0 0 0 1232 36 0 0 20 0 4 0 107154976 1339625472 267858 33554432000 4194304 16246674 140733309112320 140733309094208 5711576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 327057 267858 913 2943 0 323951 0 [pid=6077/tid=6078] ppid=6074 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1339625472 267858 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1339625472 267858 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1339625472 267858 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 1.55 1.30 1.46 3/184 6081 /proc/meminfo: memFree=28396152/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1311300 CPUtime=25.48 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 269037 0 0 0 2512 36 0 0 20 0 4 0 107154976 1342771200 268824 33554432000 4194304 16246674 140733309112320 140733309094208 5822989 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 327825 268824 913 2943 0 324719 0 [pid=6077/tid=6078] ppid=6074 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1342771200 268824 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1342771200 268824 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1342771200 268824 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 1.70 1.36 1.47 3/183 6081 /proc/meminfo: memFree=28396296/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1311300 CPUtime=51.08 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 269037 0 0 0 5071 37 0 0 20 0 4 0 107154976 1342771200 268824 33554432000 4194304 16246674 140733309112320 140733309094208 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 327825 268824 913 2943 0 324719 0 [pid=6077/tid=6078] ppid=6074 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1342771200 268824 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1342771200 268824 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1342771200 268824 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1311300 [startup+102.3 s] /proc/loadavg: 1.99 1.48 1.51 3/183 6082 /proc/meminfo: memFree=28392508/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1315396 CPUtime=102.27 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 270062 0 0 0 10190 37 0 0 20 0 4 0 107154976 1346965504 269849 33554432000 4194304 16246674 140733309112320 140733309094208 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 328849 269849 914 2943 0 325743 0 [pid=6077/tid=6078] ppid=6074 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1346965504 269849 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1346965504 269849 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1346965504 269849 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1315396 ################ # More data... # ################ /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1370034176 275482 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 1337924 [startup+1302.3 s] /proc/loadavg: 2.22 2.20 1.97 3/183 6112 /proc/meminfo: memFree=28365116/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1337924 CPUtime=1302.08 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 275695 0 0 0 130163 45 0 0 20 0 4 0 107154976 1370034176 275482 33554432000 4194304 16246674 140733309112320 140733309094208 5822989 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 334481 275482 915 2943 0 331375 0 [pid=6077/tid=6078] ppid=6074 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1370034176 275482 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1370034176 275482 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1370034176 275482 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 1337924 [startup+1362.3 s] /proc/loadavg: 2.32 2.23 2.00 3/183 6113 /proc/meminfo: memFree=28364540/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1337924 CPUtime=1362.06 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 275713 0 0 0 136161 45 0 0 20 0 4 0 107154976 1370034176 275738 33554432000 4194304 16246674 140733309112320 140733309094208 5667556 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 334481 275738 915 2943 0 331375 0 [pid=6077/tid=6078] ppid=6074 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1370034176 275738 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1370034176 275738 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1370034176 275738 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 1337924 [startup+1422.3 s] /proc/loadavg: 2.18 2.20 2.00 3/183 6114 /proc/meminfo: memFree=28333048/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1369668 CPUtime=1422.04 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 283690 0 0 0 142156 48 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 140733309094208 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 342417 283674 915 2943 0 339311 0 [pid=6077/tid=6078] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 1369668 [startup+1482.3 s] /proc/loadavg: 2.27 2.22 2.02 4/183 6116 /proc/meminfo: memFree=28332932/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1369668 CPUtime=1482.02 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 283713 0 0 0 148153 49 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 140733309094208 5674496 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 342417 283674 915 2943 0 339311 0 [pid=6077/tid=6078] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 1369668 [startup+1542.31 s] /proc/loadavg: 2.33 2.24 2.04 3/183 6117 /proc/meminfo: memFree=28332816/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1369668 CPUtime=1542 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 283743 0 0 0 154151 49 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 140733309110144 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 342417 283674 915 2943 0 339311 0 [pid=6077/tid=6078] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 1369668 [startup+1602.3 s] /proc/loadavg: 2.26 2.23 2.04 3/183 6118 /proc/meminfo: memFree=28332684/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1369668 CPUtime=1601.98 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 283758 0 0 0 160148 50 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 140733309094208 6010147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 342417 283674 915 2943 0 339311 0 [pid=6077/tid=6078] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 1369668 [startup+1662.3 s] /proc/loadavg: 2.21 2.22 2.04 3/183 6119 /proc/meminfo: memFree=28332444/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1369668 CPUtime=1661.96 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 283782 0 0 0 166145 51 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 140733309094208 5829344 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 342417 283674 915 2943 0 339311 0 [pid=6077/tid=6078] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 1369668 [startup+1722.3 s] /proc/loadavg: 2.44 2.28 2.08 4/183 6120 /proc/meminfo: memFree=28332324/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1369668 CPUtime=1721.94 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 283803 0 0 0 172143 51 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 140733309094208 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 342417 283674 915 2943 0 339311 0 [pid=6077/tid=6078] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 1369668 [startup+1782.3 s] /proc/loadavg: 2.33 2.27 2.09 3/183 6122 /proc/meminfo: memFree=28331956/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1369668 CPUtime=1781.9 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 283841 0 0 0 178139 51 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 140733309094208 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 342417 283674 915 2943 0 339311 0 [pid=6077/tid=6078] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1369668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.33 2.27 2.09 3/184 6174 /proc/meminfo: memFree=28369652/32872528 swapFree=16252/1391864 [pid=6077] ppid=6074 vsize=1369668 CPUtime=1800 cores=1,3,5,7 /proc/6077/stat : 6077 (toysat) R 6074 6077 5783 0 -1 4202496 283851 0 0 0 179949 51 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 140733309094208 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6077/statm: 342417 283674 915 2943 0 339311 0 [pid=6077/tid=6078] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6078/stat : 6078 (toysat) S 6074 6077 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687611051248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6077/tid=6079] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6079/stat : 6079 (toysat) S 6074 6077 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687600561392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6077/tid=6080] ppid=6074 vsize=1369668 CPUtime=0 cores=1,3,5,7 /proc/6077/task/6080/stat : 6080 (toysat) S 6074 6077 5783 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107154976 1402540032 283674 33554432000 4194304 16246674 140733309112320 139687590087856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1369668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6077 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.43 CPU time (s): 1800.03 CPU user time (s): 1799.5 CPU system time (s): 0.534918 CPU usage (%): 99.978 Max. virtual memory (cumulated for all children) (KiB): 1369668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.5 system time used= 0.534918 maximum resident set size= 1134696 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 283851 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= 234 involuntary context switches= 2026 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6163 second user time and 6.92195 second system time The end
Begin job on node119 at 2016-06-07 00:30:18 IDJOB=4079815 IDBENCH=25029 IDSOLVER=2542 FILE ID=node119/4079815-1465252218 RUNJOBID= node119-1465252213-5800 PBS_JOBID= 19843259 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079815-1465252218/watcher-4079815-1465252218 -o /tmp/evaluation-result-4079815-1465252218/solver-4079815-1465252218 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079815-1465252218.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e58fdc516472c37b974ebbf77c2a4fa RANDOM SEED=1285402656 node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 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: 29469720 kB Buffers: 46264 kB Cached: 155248 kB SwapCached: 856 kB Active: 1220140 kB Inactive: 86112 kB Active(anon): 1105384 kB Inactive(anon): 1640 kB Active(file): 114756 kB Inactive(file): 84472 kB Unevictable: 1391864 kB Mlocked: 16252 kB SwapTotal: 67108856 kB SwapFree: 67100136 kB Dirty: 38716 kB Writeback: 0 kB AnonPages: 2495980 kB Mapped: 10728 kB Shmem: 0 kB Slab: 569776 kB SReclaimable: 12588 kB SUnreclaim: 557188 kB KernelStack: 1480 kB PageTables: 8992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2638288 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1384448 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= 71704 MiB End job on node119 at 2016-06-07 01:00:19