Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-40.opb |
| MD5SUM | a1abacfb8439dd4c465d8f508db1fcbf |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1183 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 120 |
| Total number of constraints | 40 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 40 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 2340 |
| Biggest coefficient in the objective function | 39 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 31980 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 39 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 31980 |
| Number of bits of the biggest sum of numbers | 15 |
| Number of products (including duplicates) | 2340 |
| Sum of products size (including duplicates) | 4680 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-30T05:01:34+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-4119364-1467255694.opb"] 0.00/0.01 c use --random-gen="3391941362 2707049267 2421607132 2560571216 1081649591 3370448843 268475200 2944788894 3914868844 2023193997 3200703714 3838566423 3923788279 1722050944 4162092330 824441251 1473391632 3800205677 2067113909 377047731 507504567 4043628462 2971461533 1993652989 592229565 4170677050 57960177 3596417937 2753410219 1694340114 3339214940 1853401236 1005624987 938881419 1275837592 2737337344 3977089980 2839567180 837562114 2283600183 1081469750 2696355895 3766421171 2129071289 1407319749 217811628 3386795393 1397500695 1311661535 393110463 2255170239 1570394799 1808521348 2969441135 4156648938 3069807587 1885410405 1946611276 948520878 3426483903 677450028 3669770993 2401192390 1842297391 905146441 2014732559 1525477216 158682597 1564076436 61443072 2084898642 3528045292 3598062664 3072182938 2019700047 2967184301 566920037 927832117 705164482 3918259475 1192237332 3136065415 586729052 757549824 2406292652 2738420278 408129022 2613106771 2917263059 2473201655 2560566803 3459176533 1291567319 4029054761 1266700746 1744654133 1252253002 1075875803 3445461592 41214565 725747788 3375527458 758680909 538365781 2673580917 3766860127 166723610 966356187 2083104815 1184545627 720497739 2003362284 3914345378 1011290936 614633434 31540633 682013063 3650890356 7783572 2408357512 2473735180 2847778884 1602835987 2983670116 2645870089 2507712444 1734473118 1518531990 3879375639 1712678475 1322643775 3574551723 580570275 104422051 1676698142 4168718775 713275115 2719402731 1778343930 4013501272 3424764388 1559307419 2327273766 1538166689 2909698803 192820845 2195367869 2996684724 1249676981 919290514 3067998319 193064389 3769305670 624573706 712585094 937211172 2810322315 3055034937 2693960448 2057755388 2060780386 304058123 252405700 3706693692 3707873144 826664974 3265663215 1850841709 108432991 2068868813 698335174 4132296343 3263389139 2909541433 460929158 2755039571 815575788 1575139164 3987456424 1327520023 1559434557 743525599 3569867510 579467328 653422023 3692091437 2649011732 3740720530 3998109461 3579236648 3302229879 2332453542 2425598292 2000178156 1702072436 2712390400 2180435320 2967243690 4171521355 3091218367 2859884981 173856700 3916027772 468219976 3613170622 3842469910 1853115781 3331088626 672082457 3811934406 2162773214 2560953914 3789985355 4286497717 3619591730 528241931 823561782 2123692523 2211875834 547198266 3062879849 1780933298 3338411806 3341695036 579859631 1164936713 405990403 2661656286 229662074 2478620872 3540017083 1306296700 3942078204 770739972 860539691 307996219 2396353452 2531894601 2082458650 1390681944 303864707 3866523311 4265184768 1985336349 2484783416 1700021999 1825020072 389746525 798800313 1197612247 1159238635 3617514914 263633133 240763315 1402700681 89716760 255 362436" option to reproduce the execution 0.00/0.02 c #vars 120 0.00/0.02 c #constraints 40 0.00/0.05 c BCD2: Hardening is enabled. 0.00/0.05 c BCD2: BiasedSearch is enabled. 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 1626 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 2380 | 0 | 1626 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.006s 0.00/0.06 c #wall_clock_time = 0.006s 0.00/0.06 c #decision = 2380 0.00/0.06 c #random_decision = 8 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 o 9880 0.00/0.07 c BCD2: updating upper bound: 31980 -> 9879 0.00/0.07 c BCD2: 0 <= obj <= 9879 0.00/0.07 c BCD2: #cores=0, #unrelaxed=2340, #relaxed=0, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 1626 0 | 0 | 0 0.00/0.08 c 0.0s | 0 | 2345 | 6 | 1626 0 | 0 | 0 0.00/0.08 c #cpu_time = 0.003s 0.00/0.08 c #wall_clock_time = 0.003s 0.00/0.08 c #decision = 2345 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 6 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 27: cost of the new core is >=1 0.00/0.08 c lower bound updated to 1 0.00/0.08 c BCD2: 1 <= obj <= 9879 0.00/0.08 c BCD2: #cores=1, #unrelaxed=2313, #relaxed=27, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 1626 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 2689 | 14 | 1626 0 | 0 | 0 0.00/0.09 c #cpu_time = 0.006s 0.00/0.09 c #wall_clock_time = 0.006s 0.00/0.09 c #decision = 2689 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 14 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 28: cost of the new core is >=1 0.00/0.09 c lower bound updated to 2 0.00/0.09 c BCD2: 2 <= obj <= 9879 0.00/0.09 c BCD2: #cores=2, #unrelaxed=2285, #relaxed=55, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 1626 0 | 0 | 0 0.09/0.10 c 0.0s | 0 | 2510 | 12 | 1626 0 | 0 | 0 0.09/0.10 c #cpu_time = 0.005s 0.09/0.10 c #wall_clock_time = 0.005s 0.09/0.10 c #decision = 2510 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 12 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 41: cost of the new core is >=1 0.09/0.10 c lower bound updated to 3 0.09/0.10 c BCD2: 3 <= obj <= 9879 0.09/0.10 c BCD2: #cores=3, #unrelaxed=2244, #relaxed=96, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=4 bias=4/5 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 1626 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 3289 | 23 | 1626 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.007s 0.09/0.11 c #wall_clock_time = 0.007s 0.09/0.11 c #decision = 3289 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 23 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 39: cost of the new core is >=1 0.09/0.11 c lower bound updated to 4 0.09/0.11 c BCD2: 4 <= obj <= 9879 0.09/0.11 c BCD2: #cores=4, #unrelaxed=2205, #relaxed=135, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=5 bias=5/6 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 1626 0 | 0 | 0 0.09/0.12 c 0.0s | 0 | 2616 | 7 | 1626 0 | 0 | 0 0.09/0.12 c #cpu_time = 0.005s 0.09/0.12 c #wall_clock_time = 0.005s 0.09/0.12 c #decision = 2616 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 7 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 33: cost of the new core is >=1 0.09/0.12 c lower bound updated to 5 0.09/0.12 c BCD2: 5 <= obj <= 9879 0.09/0.12 c BCD2: #cores=5, #unrelaxed=2172, #relaxed=168, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=6 bias=6/7 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 1626 0 | 0 | 0 0.09/0.13 c 0.0s | 0 | 2536 | 13 | 1626 0 | 0 | 0 0.09/0.13 c #cpu_time = 0.005s 0.09/0.13 c #wall_clock_time = 0.005s 0.09/0.13 c #decision = 2536 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 13 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: found a new core of size 49: cost of the new core is >=1 0.09/0.13 c lower bound updated to 6 0.09/0.13 c BCD2: 6 <= obj <= 9879 0.09/0.13 c BCD2: #cores=6, #unrelaxed=2123, #relaxed=217, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=7 bias=7/8 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 1626 0 | 0 | 0 0.09/0.14 c 0.0s | 0 | 2437 | 17 | 1626 0 | 0 | 0 0.09/0.14 c #cpu_time = 0.004s 0.09/0.14 c #wall_clock_time = 0.004s 0.09/0.14 c #decision = 2437 0.09/0.14 c #random_decision = 0 0.09/0.14 c #conflict = 17 0.09/0.14 c #restart = 0 0.09/0.14 c BCD2: found a new core of size 52: cost of the new core is >=1 0.09/0.14 c lower bound updated to 7 0.09/0.14 c BCD2: 7 <= obj <= 9879 0.09/0.14 c BCD2: #cores=7, #unrelaxed=2071, #relaxed=269, #hardened=0 0.09/0.14 c BCD2: #sat=1 #unsat=8 bias=8/9 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 1626 0 | 0 | 0 0.09/0.15 c 0.0s | 0 | 2974 | 16 | 1789 0 | 0 | 0 0.09/0.15 c #cpu_time = 0.004s 0.09/0.15 c #wall_clock_time = 0.004s 0.09/0.15 c #decision = 2974 0.09/0.15 c #random_decision = 0 0.09/0.15 c #conflict = 16 0.09/0.15 c #restart = 0 0.09/0.15 c BCD2: found a new core of size 29: cost of the new core is >=1 0.09/0.15 c lower bound updated to 8 0.09/0.15 c BCD2: 8 <= obj <= 9879 0.09/0.15 c BCD2: #cores=8, #unrelaxed=2042, #relaxed=298, #hardened=0 0.09/0.15 c BCD2: #sat=1 #unsat=9 bias=9/10 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.15 c 0.0s | 0 | 0 | 0 | 1789 0 | 0 | 0 0.09/0.15 c 0.0s | 0 | 2413 | 7 | 1789 0 | 0 | 0 0.09/0.15 c #cpu_time = 0.003s 0.09/0.15 c #wall_clock_time = 0.003s 0.09/0.15 c #decision = 2413 0.09/0.15 c #random_decision = 0 0.09/0.15 c #conflict = 7 0.09/0.15 c #restart = 0 0.09/0.15 c BCD2: found a new core of size 50: cost of the new core is >=1 0.09/0.15 c lower bound updated to 9 0.09/0.15 c BCD2: 9 <= obj <= 9879 0.09/0.15 c BCD2: #cores=9, #unrelaxed=1992, #relaxed=348, #hardened=0 0.09/0.15 c BCD2: #sat=1 #unsat=10 bias=10/11 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 | 1789 0 | 0 | 0 0.09/0.16 c 0.0s | 0 | 2597 | 12 | 1789 0 | 0 | 0 0.09/0.16 c #cpu_time = 0.004s 0.09/0.16 c #wall_clock_time = 0.004s 0.09/0.16 c #decision = 2597 0.09/0.16 c #random_decision = 0 0.09/0.16 c #conflict = 12 0.09/0.16 c #restart = 0 0.09/0.16 c BCD2: found a new core of size 51: cost of the new core is >=1 0.09/0.16 c lower bound updated to 10 0.09/0.16 c BCD2: 10 <= obj <= 9879 0.09/0.16 c BCD2: #cores=10, #unrelaxed=1941, #relaxed=399, #hardened=0 0.09/0.16 c BCD2: #sat=1 #unsat=11 bias=11/12 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 | 1789 0 | 0 | 0 0.09/0.17 c 0.0s | 0 | 2494 | 13 | 1789 0 | 0 | 0 0.09/0.17 c #cpu_time = 0.004s 0.09/0.17 c #wall_clock_time = 0.004s 0.09/0.17 c #decision = 2494 0.09/0.17 c #random_decision = 0 0.09/0.17 c #conflict = 13 0.09/0.17 c #restart = 0 0.09/0.17 c BCD2: found a new core of size 44: cost of the new core is >=1 0.09/0.17 c lower bound updated to 11 0.09/0.17 c BCD2: 11 <= obj <= 9879 0.09/0.17 c BCD2: #cores=11, #unrelaxed=1897, #relaxed=443, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=12 bias=12/13 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 | 1789 0 | 0 | 0 0.09/0.18 c 0.0s | 0 | 3024 | 17 | 1789 0 | 0 | 0 0.09/0.18 c #cpu_time = 0.005s 0.09/0.18 c #wall_clock_time = 0.005s 0.09/0.18 c #decision = 3024 0.09/0.18 c #random_decision = 0 0.09/0.18 c #conflict = 17 0.09/0.18 c #restart = 0 0.09/0.18 c BCD2: found a new core of size 42: cost of the new core is >=1 0.09/0.18 c lower bound updated to 12 0.09/0.18 c BCD2: 12 <= obj <= 9879 0.09/0.18 c BCD2: #cores=12, #unrelaxed=1855, #relaxed=485, #hardened=0 0.09/0.18 c BCD2: #sat=1 #unsat=13 bias=13/14 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 | 1789 0 | 0 | 0 0.09/0.19 c 0.0s | 0 | 2087 | 14 | 1789 0 | 0 | 0 0.09/0.19 c #cpu_time = 0.004s 0.09/0.19 c #wall_clock_time = 0.004s 0.09/0.19 c #decision = 2087 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 14 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: found a new core of size 52: cost of the new core is >=1 0.09/0.19 c lower bound updated to 13 0.09/0.19 c BCD2: 13 <= obj <= 9879 0.09/0.19 c BCD2: #cores=13, #unrelaxed=1803, #relaxed=537, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=14 bias=14/15 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 | 1789 0 | 0 | 0 0.09/0.19 c 0.0s | 0 | 2677 | 15 | 1789 0 | 0 | 0 0.09/0.19 c #cpu_time = 0.005s 0.09/0.19 c #wall_clock_time = 0.005s 0.09/0.19 c #decision = 2677 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 15 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: found a new core of size 52: cost of the new core is >=1 0.09/0.19 c lower bound updated to 14 0.09/0.20 c BCD2: 14 <= obj <= 9879 0.09/0.20 c BCD2: #cores=14, #unrelaxed=1751, #relaxed=589, #hardened=0 0.09/0.20 c BCD2: #sat=1 #unsat=15 bias=15/16 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 | 1789 0 | 0 | 0 0.19/0.21 c 0.0s | 0 | 1882 | 18 | 1789 0 | 0 | 0 0.19/0.21 c #cpu_time = 0.004s 0.19/0.21 c #wall_clock_time = 0.004s 0.19/0.21 c #decision = 1882 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 18 0.19/0.21 c #restart = 0 0.19/0.21 c BCD2: found a new core of size 66: cost of the new core is >=1 0.19/0.21 c lower bound updated to 15 0.19/0.21 c BCD2: 15 <= obj <= 9879 0.19/0.21 c BCD2: #cores=15, #unrelaxed=1685, #relaxed=655, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=16 bias=16/17 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 | 1789 0 | 0 | 0 0.19/0.22 c 0.0s | 0 | 2702 | 17 | 1789 0 | 0 | 0 0.19/0.22 c #cpu_time = 0.005s 0.19/0.22 c #wall_clock_time = 0.005s 0.19/0.22 c #decision = 2702 0.19/0.22 c #random_decision = 1 0.19/0.22 c #conflict = 17 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: found a new core of size 33: cost of the new core is >=1 0.19/0.22 c lower bound updated to 16 0.19/0.22 c BCD2: 16 <= obj <= 9879 0.19/0.22 c BCD2: #cores=16, #unrelaxed=1652, #relaxed=688, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=17 bias=17/18 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 | 1789 0 | 0 | 0 0.19/0.22 c 0.0s | 0 | 2385 | 16 | 1789 0 | 0 | 0 0.19/0.22 c #cpu_time = 0.005s 0.19/0.22 c #wall_clock_time = 0.005s 0.19/0.22 c #decision = 2385 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 16 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: found a new core of size 72: cost of the new core is >=1 0.19/0.22 c lower bound updated to 17 0.19/0.23 c BCD2: 17 <= obj <= 9879 0.19/0.23 c BCD2: #cores=17, #unrelaxed=1580, #relaxed=760, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=18 bias=18/19 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 | 1789 0 | 0 | 0 0.19/0.23 c 0.0s | 0 | 1730 | 17 | 1968 0 | 0 | 0 0.19/0.23 c #cpu_time = 0.005s 0.19/0.23 c #wall_clock_time = 0.005s 0.19/0.23 c #decision = 1730 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 17 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 62: cost of the new core is >=1 0.19/0.23 c lower bound updated to 18 0.19/0.23 c BCD2: 18 <= obj <= 9879 0.19/0.23 c BCD2: #cores=18, #unrelaxed=1518, #relaxed=822, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=19 bias=19/20 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 | 1968 0 | 0 | 0 0.19/0.25 c 0.0s | 0 | 2303 | 15 | 1968 0 | 0 | 0 0.19/0.25 c #cpu_time = 0.007s 0.19/0.25 c #wall_clock_time = 0.007s 0.19/0.25 c #decision = 2303 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 15 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: found a new core of size 31: cost of the new core is >=1 0.19/0.25 c lower bound updated to 19 0.19/0.25 c BCD2: 19 <= obj <= 9879 0.19/0.25 c BCD2: #cores=19, #unrelaxed=1487, #relaxed=853, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=20 bias=20/21 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 | 1968 0 | 0 | 0 0.19/0.26 c 0.0s | 0 | 1992 | 9 | 1968 0 | 0 | 0 0.19/0.26 c #cpu_time = 0.004s 0.19/0.26 c #wall_clock_time = 0.004s 0.19/0.26 c #decision = 1992 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 9 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 32: cost of the new core is >=1 0.19/0.26 c lower bound updated to 20 0.19/0.26 c BCD2: 20 <= obj <= 9879 0.19/0.26 c BCD2: #cores=20, #unrelaxed=1455, #relaxed=885, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=21 bias=21/22 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 1968 0 | 0 | 0 0.19/0.27 c 0.0s | 0 | 1886 | 14 | 1968 0 | 0 | 0 0.19/0.27 c #cpu_time = 0.005s 0.19/0.27 c #wall_clock_time = 0.005s 0.19/0.27 c #decision = 1886 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 14 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: found a new core of size 56: cost of the new core is >=1 0.19/0.27 c lower bound updated to 21 0.19/0.27 c BCD2: 21 <= obj <= 9879 0.19/0.27 c BCD2: #cores=21, #unrelaxed=1399, #relaxed=941, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=22 bias=22/23 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 | 1968 0 | 0 | 0 0.19/0.28 c 0.0s | 0 | 1480 | 17 | 1968 0 | 0 | 0 0.19/0.28 c #cpu_time = 0.005s 0.19/0.28 c #wall_clock_time = 0.005s 0.19/0.28 c #decision = 1480 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 17 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 48: cost of the new core is >=1 0.19/0.28 c lower bound updated to 22 0.19/0.28 c BCD2: 22 <= obj <= 9879 0.19/0.28 c BCD2: #cores=22, #unrelaxed=1351, #relaxed=989, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=23 bias=23/24 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 | 1968 0 | 0 | 0 0.19/0.29 c 0.0s | 0 | 2048 | 16 | 1968 0 | 0 | 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 = 2048 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 16 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 48: cost of the new core is >=1 0.19/0.29 c lower bound updated to 23 0.19/0.29 c BCD2: 23 <= obj <= 9879 0.19/0.29 c BCD2: #cores=23, #unrelaxed=1303, #relaxed=1037, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=24 bias=24/25 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.29/0.30 c 0.0s | 0 | 0 | 0 | 1968 0 | 0 | 0 0.29/0.31 c 0.0s | 0 | 1353 | 10 | 1968 0 | 0 | 0 0.29/0.31 c #cpu_time = 0.005s 0.29/0.31 c #wall_clock_time = 0.005s 0.29/0.31 c #decision = 1353 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 10 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 42: cost of the new core is >=1 0.29/0.31 c lower bound updated to 24 0.29/0.31 c BCD2: 24 <= obj <= 9879 0.29/0.31 c BCD2: #cores=24, #unrelaxed=1261, #relaxed=1079, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=25 bias=25/26 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 | 1968 0 | 0 | 0 0.29/0.32 c 0.0s | 0 | 1394 | 13 | 1968 0 | 0 | 0 0.29/0.32 c #cpu_time = 0.005s 0.29/0.32 c #wall_clock_time = 0.005s 0.29/0.32 c #decision = 1394 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 13 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 44: cost of the new core is >=1 0.29/0.32 c lower bound updated to 25 0.29/0.32 c BCD2: 25 <= obj <= 9879 0.29/0.32 c BCD2: #cores=25, #unrelaxed=1217, #relaxed=1123, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=26 bias=26/27 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 | 1968 0 | 0 | 0 0.29/0.33 c 0.0s | 0 | 1588 | 18 | 1968 0 | 0 | 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 = 1588 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 18 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 65: cost of the new core is >=1 0.29/0.33 c lower bound updated to 26 0.29/0.33 c BCD2: 26 <= obj <= 9879 0.29/0.33 c BCD2: #cores=26, #unrelaxed=1152, #relaxed=1188, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=27 bias=27/28 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 | 1968 0 | 0 | 0 0.29/0.34 c 0.0s | 0 | 1257 | 12 | 1968 0 | 0 | 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 = 1257 0.29/0.34 c #random_decision = 0 0.29/0.34 c #conflict = 12 0.29/0.34 c #restart = 0 0.29/0.34 c BCD2: found a new core of size 42: cost of the new core is >=1 0.29/0.34 c lower bound updated to 27 0.29/0.34 c BCD2: 27 <= obj <= 9879 0.29/0.34 c BCD2: #cores=27, #unrelaxed=1110, #relaxed=1230, #hardened=0 0.29/0.34 c BCD2: #sat=1 #unsat=28 bias=28/29 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 | 1968 0 | 0 | 0 0.29/0.35 c 0.0s | 0 | 1631 | 18 | 1968 0 | 0 | 0 0.29/0.35 c #cpu_time = 0.007s 0.29/0.35 c #wall_clock_time = 0.007s 0.29/0.35 c #decision = 1631 0.29/0.35 c #random_decision = 0 0.29/0.35 c #conflict = 18 0.29/0.35 c #restart = 0 0.29/0.35 c BCD2: found a new core of size 49: cost of the new core is >=1 0.29/0.35 c lower bound updated to 28 0.29/0.36 c BCD2: 28 <= obj <= 9879 0.29/0.36 c BCD2: #cores=28, #unrelaxed=1061, #relaxed=1279, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=29 bias=29/30 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 | 1968 0 | 0 | 0 0.29/0.37 c 0.0s | 0 | 1910 | 15 | 1968 0 | 0 | 0 0.29/0.37 c #cpu_time = 0.006s 0.29/0.37 c #wall_clock_time = 0.006s 0.29/0.37 c #decision = 1910 0.29/0.37 c #random_decision = 1 0.29/0.37 c #conflict = 15 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 32: cost of the new core is >=1 0.29/0.37 c lower bound updated to 29 0.29/0.37 c BCD2: 29 <= obj <= 9879 0.29/0.37 c BCD2: #cores=29, #unrelaxed=1029, #relaxed=1311, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=30 bias=30/31 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 | 1968 0 | 0 | 0 0.29/0.38 c 0.0s | 0 | 1130 | 11 | 1968 0 | 0 | 0 0.29/0.38 c #cpu_time = 0.006s 0.29/0.38 c #wall_clock_time = 0.006s 0.29/0.38 c #decision = 1130 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 11 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 60: cost of the new core is >=1 0.29/0.38 c lower bound updated to 30 0.29/0.38 c BCD2: 30 <= obj <= 9879 0.29/0.38 c BCD2: #cores=30, #unrelaxed=969, #relaxed=1371, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=31 bias=31/32 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.29/0.39 c 0.0s | 0 | 0 | 0 | 1968 0 | 0 | 0 0.29/0.39 c 0.0s | 0 | 1772 | 16 | 1968 0 | 0 | 0 0.29/0.39 c #cpu_time = 0.007s 0.29/0.39 c #wall_clock_time = 0.007s 0.29/0.39 c #decision = 1772 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 16 0.29/0.39 c #restart = 0 0.29/0.39 c BCD2: found a new core of size 55: cost of the new core is >=1 0.29/0.39 c lower bound updated to 31 0.29/0.39 c BCD2: 31 <= obj <= 9879 0.29/0.39 c BCD2: #cores=31, #unrelaxed=914, #relaxed=1426, #hardened=0 0.29/0.39 c BCD2: #sat=1 #unsat=32 bias=32/33 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 | 1968 0 | 0 | 0 0.39/0.40 c 0.0s | 0 | 1277 | 11 | 1968 0 | 0 | 0 0.39/0.40 c #cpu_time = 0.006s 0.39/0.40 c #wall_clock_time = 0.006s 0.39/0.40 c #decision = 1277 0.39/0.40 c #random_decision = 0 0.39/0.40 c #conflict = 11 0.39/0.40 c #restart = 0 0.39/0.40 c BCD2: found a new core of size 49: cost of the new core is >=1 0.39/0.40 c lower bound updated to 32 0.39/0.41 c BCD2: 32 <= obj <= 9879 0.39/0.41 c BCD2: #cores=32, #unrelaxed=865, #relaxed=1475, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=33 bias=33/34 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 | 1968 0 | 0 | 0 0.39/0.42 c 0.0s | 0 | 1354 | 20 | 1968 0 | 0 | 0 0.39/0.42 c #cpu_time = 0.007s 0.39/0.42 c #wall_clock_time = 0.007s 0.39/0.42 c #decision = 1354 0.39/0.42 c #random_decision = 0 0.39/0.42 c #conflict = 20 0.39/0.42 c #restart = 0 0.39/0.42 c BCD2: found a new core of size 59: cost of the new core is >=1 0.39/0.42 c lower bound updated to 33 0.39/0.42 c BCD2: 33 <= obj <= 9879 0.39/0.42 c BCD2: #cores=33, #unrelaxed=806, #relaxed=1534, #hardened=0 0.39/0.42 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 | 1968 0 | 0 | 0 0.39/0.43 c 0.0s | 0 | 1764 | 12 | 2165 0 | 0 | 0 0.39/0.43 c #cpu_time = 0.008s 0.39/0.43 c #wall_clock_time = 0.008s 0.39/0.43 c #decision = 1764 0.39/0.43 c #random_decision = 1 0.39/0.43 c #conflict = 12 0.39/0.43 c #restart = 0 0.39/0.43 c BCD2: found a new core of size 53: cost of the new core is >=1 0.39/0.43 c lower bound updated to 34 0.39/0.44 c BCD2: 34 <= obj <= 9879 0.39/0.44 c BCD2: #cores=34, #unrelaxed=753, #relaxed=1587, #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 | 2165 0 | 0 | 0 0.39/0.45 c 0.0s | 0 | 1225 | 14 | 2165 0 | 0 | 0 0.39/0.45 c #cpu_time = 0.007s 0.39/0.45 c #wall_clock_time = 0.007s 0.39/0.45 c #decision = 1225 0.39/0.45 c #random_decision = 0 0.39/0.45 c #conflict = 14 0.39/0.45 c #restart = 0 0.39/0.45 c BCD2: found a new core of size 38: cost of the new core is >=2 0.39/0.45 c lower bound updated to 36 0.39/0.45 c BCD2: 36 <= obj <= 9879 0.39/0.45 c BCD2: #cores=35, #unrelaxed=715, #relaxed=1625, #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 | 2165 0 | 0 | 0 0.39/0.46 c 0.0s | 0 | 1891 | 11 | 2165 0 | 0 | 0 0.39/0.46 c #cpu_time = 0.009s 0.39/0.46 c #wall_clock_time = 0.009s 0.39/0.46 c #decision = 1891 0.39/0.46 c #random_decision = 0 0.39/0.46 c #conflict = 11 0.39/0.46 c #restart = 0 0.39/0.46 c BCD2: found a new core of size 38: 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 <= 9879 0.39/0.46 c BCD2: #cores=36, #unrelaxed=677, #relaxed=1663, #hardened=0 0.39/0.46 c BCD2: #sat=1 #unsat=37 bias=37/38 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 | 2165 0 | 0 | 0 0.39/0.48 c 0.0s | 0 | 910 | 17 | 2165 0 | 0 | 0 0.39/0.48 c #cpu_time = 0.010s 0.39/0.48 c #wall_clock_time = 0.010s 0.39/0.48 c #decision = 910 0.39/0.48 c #random_decision = 0 0.39/0.48 c #conflict = 17 0.39/0.48 c #restart = 0 0.39/0.48 c BCD2: found a new core of size 50: cost of the new core is >=2 0.39/0.48 c lower bound updated to 39 0.49/0.50 c BCD2: 39 <= obj <= 9879 0.49/0.50 c BCD2: #cores=37, #unrelaxed=627, #relaxed=1713, #hardened=0 0.49/0.50 c BCD2: #sat=1 #unsat=38 bias=38/39 0.49/0.50 c Solving starts ... 0.49/0.50 c ============================[ Search Statistics ]============================ 0.49/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.50 c | | | | Limit GC | Var | Constra 0.49/0.50 c ============================================================================= 0.49/0.50 c 0.0s | 0 | 0 | 0 | 2165 0 | 0 | 0 0.49/0.51 c 0.0s | 0 | 829 | 10 | 2165 0 | 0 | 0 0.49/0.51 c #cpu_time = 0.007s 0.49/0.51 c #wall_clock_time = 0.007s 0.49/0.51 c #decision = 829 0.49/0.51 c #random_decision = 0 0.49/0.51 c #conflict = 10 0.49/0.51 c #restart = 0 0.49/0.51 c BCD2: found a new core of size 42: cost of the new core is >=1 0.49/0.51 c lower bound updated to 40 0.49/0.51 c BCD2: 40 <= obj <= 9879 0.49/0.51 c BCD2: #cores=38, #unrelaxed=585, #relaxed=1755, #hardened=0 0.49/0.51 c BCD2: #sat=1 #unsat=39 bias=39/40 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 | 2165 0 | 0 | 0 0.49/0.52 c 0.0s | 0 | 1195 | 14 | 2165 0 | 0 | 0 0.49/0.52 c #cpu_time = 0.008s 0.49/0.52 c #wall_clock_time = 0.008s 0.49/0.52 c #decision = 1195 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 14 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 48: cost of the new core is >=2 0.49/0.52 c lower bound updated to 42 0.49/0.52 c BCD2: 42 <= obj <= 9879 0.49/0.52 c BCD2: #cores=39, #unrelaxed=537, #relaxed=1803, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=40 bias=40/41 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 | 2165 0 | 0 | 0 0.49/0.53 c 0.0s | 0 | 982 | 16 | 2165 0 | 0 | 0 0.49/0.53 c #cpu_time = 0.008s 0.49/0.53 c #wall_clock_time = 0.008s 0.49/0.53 c #decision = 982 0.49/0.53 c #random_decision = 0 0.49/0.53 c #conflict = 16 0.49/0.53 c #restart = 0 0.49/0.53 c BCD2: found a new core of size 32: cost of the new core is >=1 0.49/0.53 c lower bound updated to 43 0.49/0.53 c BCD2: 43 <= obj <= 9879 0.49/0.53 c BCD2: #cores=40, #unrelaxed=505, #relaxed=1835, #hardened=0 0.49/0.53 c BCD2: #sat=1 #unsat=41 bias=41/42 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 | 2165 0 | 0 | 0 0.49/0.54 c 0.0s | 0 | 730 | 10 | 2165 0 | 0 | 0 0.49/0.54 c #cpu_time = 0.007s 0.49/0.54 c #wall_clock_time = 0.007s 0.49/0.54 c #decision = 730 0.49/0.54 c #random_decision = 0 0.49/0.54 c #conflict = 10 0.49/0.54 c #restart = 0 0.49/0.54 c BCD2: found a new core of size 41: cost of the new core is >=2 0.49/0.54 c lower bound updated to 45 0.49/0.55 c BCD2: 45 <= obj <= 9879 0.49/0.55 c BCD2: #cores=41, #unrelaxed=464, #relaxed=1876, #hardened=0 0.49/0.55 c BCD2: #sat=1 #unsat=42 bias=42/43 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 | 2165 0 | 0 | 0 0.49/0.56 c 0.0s | 0 | 543 | 15 | 2165 0 | 0 | 0 0.49/0.56 c #cpu_time = 0.008s 0.49/0.56 c #wall_clock_time = 0.008s 0.49/0.56 c #decision = 543 0.49/0.56 c #random_decision = 0 0.49/0.56 c #conflict = 15 0.49/0.56 c #restart = 0 0.49/0.56 c BCD2: found a new core of size 62: cost of the new core is >=1 0.49/0.56 c lower bound updated to 46 0.49/0.56 c BCD2: 46 <= obj <= 9879 0.49/0.56 c BCD2: #cores=42, #unrelaxed=402, #relaxed=1938, #hardened=0 0.49/0.56 c BCD2: #sat=1 #unsat=43 bias=43/44 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 | 2165 0 | 0 | 0 0.49/0.58 c 0.0s | 0 | 521 | 15 | 2165 0 | 0 | 0 0.49/0.58 c #cpu_time = 0.011s 0.49/0.58 c #wall_clock_time = 0.011s 0.49/0.58 c #decision = 521 0.49/0.58 c #random_decision = 1 0.49/0.58 c #conflict = 15 0.49/0.58 c #restart = 0 0.49/0.58 c BCD2: found a new core of size 72: cost of the new core is >=1 0.49/0.58 c lower bound updated to 47 0.49/0.58 c BCD2: 47 <= obj <= 9879 0.49/0.58 c BCD2: #cores=43, #unrelaxed=330, #relaxed=2010, #hardened=0 0.49/0.58 c BCD2: #sat=1 #unsat=44 bias=44/45 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 | 2165 0 | 0 | 0 0.59/0.61 c 0.0s | 0 | 2073 | 11 | 2165 0 | 0 | 0 0.59/0.61 c #cpu_time = 0.023s 0.59/0.61 c #wall_clock_time = 0.023s 0.59/0.61 c #decision = 2073 0.59/0.61 c #random_decision = 8 0.59/0.61 c #conflict = 11 0.59/0.61 c #restart = 0 0.59/0.61 o 3211 0.59/0.61 c BCD2: updating upper bound: 9879 -> 3210 0.59/0.63 c BCD2: 47 <= obj <= 3210 0.59/0.63 c BCD2: #cores=43, #unrelaxed=330, #relaxed=2010, #hardened=0 0.59/0.63 c BCD2: #sat=2 #unsat=44 bias=44/46 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 | 2165 0 | 0 | 1 0.59/0.65 c 0.0s | 0 | 397 | 20 | 2165 0 | 0 | 1 0.59/0.65 c #cpu_time = 0.018s 0.59/0.65 c #wall_clock_time = 0.018s 0.59/0.65 c #decision = 397 0.59/0.65 c #random_decision = 0 0.59/0.65 c #conflict = 20 0.59/0.65 c #restart = 0 0.59/0.65 c BCD2: relaxing 150 and merging with 2 cores into a new core of size 219: cost of the new core is >=4 0.59/0.65 c lower bound updated to 49 0.59/0.65 c BCD2: 49 <= obj <= 3210 0.59/0.65 c BCD2: #cores=42, #unrelaxed=180, #relaxed=2160, #hardened=0 0.59/0.65 c BCD2: #sat=2 #unsat=45 bias=45/47 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 | 2165 0 | 70 | 1 0.69/0.71 c 0.1s | 1 | 402 | 100 | 2165 0 | 70 | 139 0.69/0.75 c 0.1s | 1 | 871 | 139 | 2165 0 | 70 | 139 0.69/0.75 c #cpu_time = 0.090s 0.69/0.75 c #wall_clock_time = 0.090s 0.69/0.75 c #decision = 871 0.69/0.75 c #random_decision = 1 0.69/0.75 c #conflict = 139 0.69/0.75 c #restart = 1 0.69/0.75 o 2772 0.69/0.76 c BCD2: updating upper bound: 3210 -> 2771 0.69/0.77 c BCD2: 49 <= obj <= 2771 0.69/0.77 c BCD2: #cores=42, #unrelaxed=180, #relaxed=2160, #hardened=0 0.69/0.77 c BCD2: #sat=3 #unsat=45 bias=45/48 0.69/0.78 c Solving starts ... 0.69/0.78 c ============================[ Search Statistics ]============================ 0.69/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.78 c | | | | Limit GC | Var | Constra 0.69/0.78 c ============================================================================= 0.69/0.78 c 0.0s | 0 | 0 | 0 | 2165 0 | 70 | 140 0.79/0.83 c 0.1s | 1 | 355 | 100 | 2382 0 | 70 | 140 0.89/0.90 c 0.1s | 2 | 768 | 250 | 2382 0 | 70 | 140 0.89/0.91 c 0.1s | 2 | 999 | 259 | 2382 0 | 70 | 140 0.89/0.91 c #cpu_time = 0.134s 0.89/0.91 c #wall_clock_time = 0.134s 0.89/0.91 c #decision = 999 0.89/0.91 c #random_decision = 0 0.89/0.91 c #conflict = 259 0.89/0.91 c #restart = 2 0.89/0.91 c BCD2: relaxing 126 and merging with 18 cores into a new core of size 1150: cost of the new core is >=22 0.89/0.91 c lower bound updated to 50 0.89/0.93 c BCD2: 50 <= obj <= 2771 0.89/0.93 c BCD2: #cores=25, #unrelaxed=54, #relaxed=2286, #hardened=0 0.89/0.93 c BCD2: #sat=3 #unsat=46 bias=46/49 0.89/0.93 c Solving starts ... 0.89/0.93 c ============================[ Search Statistics ]============================ 0.89/0.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.93 c | | | | Limit GC | Var | Constra 0.89/0.93 c ============================================================================= 0.89/0.93 c 0.0s | 0 | 0 | 0 | 2382 0 | 405 | 140 0.99/1.02 c 0.1s | 1 | 434 | 100 | 2382 0 | 405 | 794 1.10/1.17 c 0.2s | 2 | 820 | 250 | 2382 0 | 405 | 794 1.38/1.47 c 0.5s | 3 | 1269 | 475 | 2621 0 | 405 | 794 1.89/1.99 c 1.1s | 4 | 1936 | 813 | 2621 0 | 405 | 794 2.79/2.89 c 2.0s | 5 | 2839 | 1320 | 2884 0 | 405 | 794 3.89/3.93 c 3.0s | 6 | 4048 | 2081 | 2884 0 | 405 | 794 5.19/5.20 c 4.3s | 7 | 5899 | 3223 | 3173 0 | 405 | 794 6.89/6.99 c 6.1s | 8 | 8645 | 4936 | 3491 1 | 405 | 794 8.99/9.01 c 8.1s | 8 | 11913 | 6936 | 3841 2 | 405 | 794 9.69/9.71 c 8.8s | 9 | 12656 | 7506 | 3841 2 | 405 | 794 11.69/11.75 c 10.8s | 9 | 15172 | 9206 | 3841 3 | 405 | 794 13.79/13.82 c 12.9s | 9 | 18075 | 11106 | 4226 4 | 405 | 794 14.09/14.10 c 13.2s | 10 | 18398 | 11361 | 4226 4 | 405 | 794 16.09/16.14 c 15.2s | 10 | 21665 | 13361 | 4226 4 | 405 | 794 18.08/18.18 c 17.2s | 10 | 24783 | 15461 | 4226 5 | 405 | 794 19.79/19.81 c 18.9s | 11 | 27354 | 17144 | 4649 6 | 405 | 794 21.88/21.90 c 21.0s | 11 | 30623 | 19244 | 4649 7 | 405 | 794 23.88/23.90 c 23.0s | 11 | 34206 | 21544 | 4649 7 | 405 | 794 25.88/25.95 c 25.0s | 11 | 37746 | 23744 | 4649 8 | 405 | 794 27.78/27.89 c 27.0s | 12 | 41189 | 25819 | 5114 9 | 405 | 794 29.88/29.90 c 29.0s | 12 | 44183 | 27619 | 5114 9 | 405 | 794 31.90/32.00 c 31.1s | 12 | 47410 | 29719 | 5114 10 | 405 | 794 33.99/34.09 c 33.2s | 12 | 51184 | 31919 | 5114 11 | 405 | 794 36.09/36.11 c 35.2s | 12 | 54776 | 34119 | 5114 11 | 405 | 794 38.09/38.12 c 37.2s | 12 | 58466 | 36419 | 5114 12 | 405 | 794 40.08/40.16 c 39.2s | 12 | 61985 | 38619 | 5626 13 | 405 | 794 40.28/40.34 c 39.4s | 13 | 62319 | 38832 | 5626 13 | 405 | 794 42.28/42.38 c 41.4s | 13 | 65986 | 40932 | 5626 14 | 405 | 794 44.38/44.44 c 43.5s | 13 | 70185 | 43332 | 5626 14 | 405 | 794 46.38/46.49 c 45.6s | 13 | 73477 | 45432 | 5626 15 | 405 | 794 48.48/48.51 c 47.6s | 13 | 76712 | 47532 | 5626 16 | 405 | 794 50.48/50.52 c 49.6s | 13 | 80174 | 49732 | 5626 16 | 405 | 794 52.47/52.59 c 51.7s | 13 | 83995 | 52032 | 5626 17 | 405 | 794 54.57/54.61 c 53.7s | 13 | 87854 | 54432 | 5626 18 | 405 | 794 56.57/56.64 c 55.7s | 13 | 91460 | 56732 | 5626 18 | 405 | 794 58.07/58.13 c 57.2s | 14 | 94095 | 58352 | 6189 19 | 405 | 794 60.07/60.18 c 59.3s | 14 | 97962 | 60552 | 6189 19 | 405 | 794 62.17/62.21 c 61.3s | 14 | 101479 | 62752 | 6189 20 | 405 | 794 64.17/64.28 c 63.3s | 14 | 105078 | 65052 | 6189 21 | 405 | 794 66.27/66.35 c 65.4s | 14 | 108726 | 67352 | 6189 21 | 405 | 794 68.28/68.36 c 67.4s | 14 | 112737 | 69752 | 6189 22 | 405 | 794 70.27/70.38 c 69.4s | 14 | 116665 | 72152 | 6189 23 | 405 | 794 72.37/72.43 c 71.5s | 14 | 120687 | 74552 | 6189 23 | 405 | 794 74.37/74.43 c 73.5s | 14 | 124133 | 76652 | 6189 24 | 405 | 794 76.37/76.46 c 75.5s | 14 | 127827 | 78952 | 6189 25 | 405 | 794 78.47/78.50 c 77.6s | 14 | 131567 | 81252 | 6189 25 | 405 | 794 80.47/80.54 c 79.6s | 14 | 135477 | 83652 | 6189 26 | 405 | 794 82.57/82.68 c 81.7s | 14 | 139261 | 85952 | 6189 27 | 405 | 794 84.07/84.10 c 83.2s | 15 | 142229 | 87632 | 6808 27 | 405 | 794 86.06/86.16 c 85.2s | 15 | 145544 | 89632 | 6808 28 | 405 | 794 88.16/88.23 c 87.3s | 15 | 148847 | 91732 | 6808 28 | 405 | 794 90.27/90.31 c 89.4s | 15 | 152117 | 93932 | 6808 29 | 405 | 794 92.26/92.32 c 91.4s | 15 | 155239 | 96032 | 6808 29 | 405 | 794 94.26/94.37 c 93.4s | 15 | 158176 | 98032 | 6808 30 | 405 | 794 96.36/96.42 c 95.5s | 15 | 161884 | 100332 | 6808 30 | 405 | 794 98.36/98.45 c 97.5s | 15 | 165905 | 102632 | 6808 31 | 405 | 794 100.45/100.53 c 99.6s | 15 | 170152 | 105132 | 6808 32 | 405 | 794 102.45/102.58 c 101s | 15 | 173831 | 107532 | 6808 32 | 405 | 794 104.46/104.59 c 103s | 15 | 177625 | 109932 | 6808 33 | 405 | 794 106.55/106.64 c 105s | 15 | 181506 | 112232 | 6808 33 | 405 | 794 108.55/108.65 c 107s | 15 | 185493 | 114632 | 6808 34 | 405 | 794 110.55/110.67 c 109s | 15 | 189531 | 117032 | 6808 35 | 405 | 794 112.65/112.73 c 111s | 15 | 193273 | 119432 | 6808 35 | 405 | 794 114.75/114.80 c 113s | 15 | 196856 | 121632 | 6808 36 | 405 | 794 116.75/116.83 c 115s | 15 | 200270 | 123732 | 6808 36 | 405 | 794 118.86/118.91 c 117s | 15 | 204300 | 126232 | 6808 37 | 405 | 794 120.84/120.96 c 120s | 15 | 208054 | 128532 | 6808 38 | 405 | 794 122.94/123.02 c 122s | 15 | 211739 | 130732 | 7489 38 | 405 | 794 123.74/123.88 c 122s | 16 | 212988 | 131552 | 7489 38 | 405 | 794 125.84/125.94 c 125s | 16 | 216215 | 133552 | 7489 39 | 405 | 794 127.94/128.02 c 127s | 16 | 219621 | 135752 | 7489 39 | 405 | 794 129.94/130.06 c 129s | 16 | 223101 | 137952 | 7489 40 | 405 | 794 131.94/132.07 c 131s | 16 | 226188 | 140152 | 7489 40 | 405 | 794 134.04/134.12 c 133s | 16 | 229673 | 142452 | 7489 41 | 405 | 794 136.14/136.21 c 135s | 16 | 232792 | 144552 | 7489 41 | 405 | 794 138.24/138.30 c 137s | 16 | 235802 | 146652 | 7489 42 | 405 | 794 140.23/140.31 c 139s | 16 | 239342 | 148952 | 7489 42 | 405 | 794 142.23/142.32 c 141s | 16 | 242495 | 151052 | 7489 43 | 405 | 794 144.23/144.37 c 143s | 16 | 246786 | 153652 | 7489 44 | 405 | 794 146.24/146.39 c 145s | 16 | 250646 | 156052 | 7489 44 | 405 | 794 148.33/148.41 c 147s | 16 | 253824 | 158152 | 7489 45 | 405 | 794 150.34/150.44 c 149s | 16 | 257975 | 160852 | 7489 45 | 405 | 794 152.34/152.45 c 151s | 16 | 261708 | 163152 | 7489 46 | 405 | 794 154.44/154.50 c 153s | 16 | 264861 | 165352 | 7489 46 | 405 | 794 156.44/156.52 c 155s | 16 | 268249 | 167652 | 7489 47 | 405 | 794 158.44/158.52 c 157s | 16 | 271974 | 169952 | 7489 47 | 405 | 794 160.44/160.54 c 159s | 16 | 275356 | 172152 | 7489 48 | 405 | 794 162.44/162.56 c 161s | 16 | 278590 | 174252 | 7489 49 | 405 | 794 164.44/164.56 c 163s | 16 | 281998 | 176452 | 7489 49 | 405 | 794 166.43/166.60 c 165s | 16 | 285918 | 178752 | 7489 50 | 405 | 794 168.53/168.69 c 167s | 16 | 289897 | 181052 | 7489 50 | 405 | 794 170.63/170.76 c 169s | 16 | 293299 | 183252 | 7489 51 | 405 | 794 172.64/172.76 c 171s | 16 | 296948 | 185552 | 7489 51 | 405 | 794 174.63/174.79 c 173s | 16 | 300607 | 187752 | 7489 52 | 405 | 794 176.63/176.79 c 175s | 16 | 303648 | 189752 | 7489 52 | 405 | 794 178.73/178.81 c 177s | 16 | 307068 | 191952 | 7489 53 | 405 | 794 180.72/180.88 c 179s | 16 | 310788 | 194252 | 7489 53 | 405 | 794 182.82/182.96 c 182s | 16 | 313758 | 196152 | 8238 54 | 405 | 794 184.12/184.23 c 183s | 17 | 315794 | 197432 | 8238 54 | 405 | 794 186.12/186.28 c 185s | 17 | 319420 | 199532 | 8238 54 | 405 | 794 188.22/188.32 c 187s | 17 | 322503 | 201532 | 8238 55 | 405 | 794 190.23/190.39 c 189s | 17 | 326090 | 203832 | 8238 55 | 405 | 794 192.32/192.46 c 191s | 17 | 329559 | 206032 | 8238 56 | 405 | 794 194.32/194.48 c 193s | 17 | 332244 | 207832 | 8238 56 | 405 | 794 196.42/196.52 c 195s | 17 | 334925 | 209732 | 8238 57 | 405 | 794 198.42/198.55 c 197s | 17 | 338219 | 211932 | 8238 57 | 405 | 794 200.51/200.62 c 199s | 17 | 341764 | 214132 | 8238 58 | 405 | 794 202.61/202.71 c 201s | 17 | 345298 | 216332 | 8238 58 | 405 | 794 204.62/204.71 c 203s | 17 | 348661 | 218432 | 8238 59 | 405 | 794 206.61/206.74 c 205s | 17 | 351905 | 220532 | 8238 59 | 405 | 794 208.71/208.85 c 207s | 17 | 355428 | 222732 | 8238 60 | 405 | 794 210.71/210.88 c 209s | 17 | 359054 | 224932 | 8238 60 | 405 | 794 212.81/212.95 c 212s | 17 | 362592 | 227132 | 8238 60 | 405 | 794 214.81/214.97 c 214s | 17 | 366250 | 229332 | 8238 61 | 405 | 794 216.91/217.02 c 216s | 17 | 369599 | 231432 | 8238 61 | 405 | 794 218.91/219.06 c 218s | 17 | 372616 | 233332 | 8238 62 | 405 | 794 221.01/221.12 c 220s | 17 | 375537 | 235332 | 8238 62 | 405 | 794 223.00/223.18 c 222s | 17 | 378737 | 237432 | 8238 63 | 405 | 794 225.10/225.21 c 224s | 17 | 382866 | 239732 | 8238 63 | 405 | 794 227.10/227.28 c 226s | 17 | 386529 | 241932 | 8238 64 | 405 | 794 229.20/229.35 c 228s | 17 | 389946 | 244032 | 8238 64 | 405 | 794 231.19/231.36 c 230s | 17 | 393247 | 246132 | 8238 65 | 405 | 794 233.20/233.39 c 232s | 17 | 396701 | 248432 | 8238 65 | 405 | 794 235.30/235.43 c 234s | 17 | 400211 | 250632 | 8238 66 | 405 | 794 237.39/237.50 c 236s | 17 | 404052 | 253032 | 8238 66 | 405 | 794 239.39/239.58 c 238s | 17 | 407229 | 255132 | 8238 67 | 405 | 794 241.49/241.63 c 240s | 17 | 411046 | 257532 | 8238 67 | 405 | 794 243.59/243.70 c 242s | 17 | 414725 | 259832 | 8238 68 | 405 | 794 245.59/245.75 c 244s | 17 | 418143 | 262032 | 8238 68 | 405 | 794 247.59/247.79 c 246s | 17 | 421644 | 264332 | 8238 69 | 405 | 794 249.69/249.87 c 248s | 17 | 425698 | 266932 | 8238 69 | 405 | 794 251.79/251.92 c 250s | 17 | 429779 | 269332 | 8238 70 | 405 | 794 253.78/253.99 c 253s | 17 | 433969 | 271832 | 8238 70 | 405 | 794 255.88/256.04 c 255s | 17 | 437508 | 273932 | 8238 71 | 405 | 794 257.88/258.09 c 257s | 17 | 441073 | 276132 | 8238 71 | 405 | 794 259.98/260.15 c 259s | 17 | 444483 | 278332 | 8238 72 | 405 | 794 261.98/262.17 c 261s | 17 | 448251 | 280632 | 8238 72 | 405 | 794 264.08/264.22 c 263s | 17 | 451813 | 282832 | 8238 73 | 405 | 794 266.08/266.29 c 265s | 17 | 455151 | 284932 | 8238 73 | 405 | 794 268.18/268.34 c 267s | 17 | 458662 | 287132 | 8238 74 | 405 | 794 270.27/270.40 c 269s | 17 | 462260 | 289432 | 8238 74 | 405 | 794 272.27/272.45 c 271s | 17 | 465539 | 291532 | 8238 75 | 405 | 794 274.37/274.50 c 273s | 17 | 469524 | 293932 | 9062 75 | 405 | 794 276.37/276.59 c 275s | 17 | 473400 | 296232 | 9062 75 | 405 | 794 276.47/276.61 c 275s | 18 | 473445 | 296252 | 9062 75 | 405 | 794 278.47/278.65 c 277s | 18 | 476387 | 298052 | 9062 76 | 405 | 794 280.57/280.75 c 279s | 18 | 479340 | 300052 | 9062 76 | 405 | 794 282.68/282.82 c 281s | 18 | 482545 | 302152 | 9062 77 | 405 | 794 284.67/284.86 c 283s | 18 | 486347 | 304452 | 9062 77 | 405 | 794 286.67/286.88 c 285s | 18 | 489896 | 306652 | 9062 78 | 405 | 794 288.77/288.96 c 288s | 18 | 492866 | 308652 | 9062 78 | 405 | 794 290.86/291.10 c 290s | 18 | 495775 | 310552 | 9062 78 | 405 | 794 292.96/293.16 c 292s | 18 | 499177 | 312652 | 9062 79 | 405 | 794 295.06/295.22 c 294s | 18 | 502834 | 314952 | 9062 79 | 405 | 794 297.06/297.27 c 296s | 18 | 506405 | 317152 | 9062 80 | 405 | 794 299.17/299.33 c 298s | 18 | 510484 | 319652 | 9062 80 | 405 | 794 301.16/301.33 c 300s | 18 | 513972 | 321852 | 9062 81 | 405 | 794 303.26/303.40 c 302s | 18 | 517791 | 324152 | 9062 81 | 405 | 794 305.26/305.42 c 304s | 18 | 520868 | 326052 | 9062 82 | 405 | 794 307.26/307.45 c 306s | 18 | 524167 | 328252 | 9062 82 | 405 | 794 309.26/309.49 c 308s | 18 | 527960 | 330752 | 9062 82 | 405 | 794 311.36/311.52 c 310s | 18 | 531862 | 333252 | 9062 83 | 405 | 794 313.47/313.64 c 312s | 18 | 536278 | 335952 | 9062 84 | 405 | 794 315.46/315.70 c 314s | 18 | 540285 | 338452 | 9062 84 | 405 | 794 317.56/317.75 c 316s | 18 | 544240 | 340952 | 9062 85 | 405 | 794 319.65/319.80 c 318s | 18 | 547706 | 343252 | 9062 85 | 405 | 794 321.65/321.81 c 320s | 18 | 551045 | 345452 | 9062 85 | 405 | 794 323.65/323.88 c 322s | 18 | 555053 | 347852 | 9062 86 | 405 | 794 325.75/325.90 c 324s | 18 | 558763 | 350152 | 9062 86 | 405 | 794 327.76/327.91 c 326s | 18 | 562458 | 352352 | 9062 87 | 405 | 794 329.75/329.97 c 329s | 18 | 566612 | 354752 | 9062 87 | 405 | 794 331.75/331.99 c 331s | 18 | 570418 | 357052 | 9062 88 | 405 | 794 333.85/334.06 c 333s | 18 | 574229 | 359352 | 9062 88 | 405 | 794 335.95/336.13 c 335s | 18 | 578722 | 361852 | 9062 89 | 405 | 794 337.95/338.14 c 337s | 18 | 582858 | 364252 | 9062 89 | 405 | 794 339.94/340.17 c 339s | 18 | 586657 | 366552 | 9062 90 | 405 | 794 342.05/342.25 c 341s | 18 | 591079 | 369052 | 9062 90 | 405 | 794 344.15/344.32 c 343s | 18 | 595104 | 371452 | 9062 91 | 405 | 794 346.14/346.37 c 345s | 18 | 598822 | 373652 | 9062 91 | 405 | 794 348.14/348.39 c 347s | 18 | 601957 | 375752 | 9062 92 | 405 | 794 350.24/350.43 c 349s | 18 | 605184 | 377852 | 9062 92 | 405 | 794 352.24/352.45 c 351s | 18 | 608950 | 380152 | 9062 92 | 405 | 794 354.24/354.46 c 353s | 18 | 612698 | 382352 | 9062 93 | 405 | 794 356.24/356.46 c 355s | 18 | 616258 | 384552 | 9062 93 | 405 | 794 358.33/358.54 c 357s | 18 | 620127 | 386852 | 9062 94 | 405 | 794 360.33/360.55 c 359s | 18 | 623897 | 389152 | 9062 94 | 405 | 794 362.32/362.58 c 361s | 18 | 627587 | 391452 | 9062 95 | 405 | 794 364.42/364.62 c 363s | 18 | 631366 | 393652 | 9062 95 | 405 | 794 366.42/366.63 c 365s | 18 | 635346 | 395952 | 9062 96 | 405 | 794 368.43/368.63 c 367s | 18 | 639336 | 398152 | 9062 96 | 405 | 794 370.52/370.71 c 369s | 18 | 643268 | 400552 | 9062 97 | 405 | 794 372.52/372.73 c 371s | 18 | 647241 | 402852 | 9062 97 | 405 | 794 374.52/374.79 c 373s | 18 | 651025 | 405152 | 9062 97 | 405 | 794 376.61/376.83 c 375s | 18 | 655047 | 407452 | 9062 98 | 405 | 794 378.61/378.84 c 377s | 18 | 658735 | 409652 | 9062 98 | 405 | 794 380.61/380.87 c 379s | 18 | 662326 | 411852 | 9062 99 | 405 | 794 382.72/382.95 c 382s | 18 | 666330 | 414252 | 9062 99 | 405 | 794 384.71/384.98 c 384s | 18 | 670165 | 416652 | 9062 100 | 405 | 794 386.71/386.99 c 386s | 18 | 674294 | 419152 | 9062 100 | 405 | 794 388.81/389.03 c 388s | 18 | 678319 | 421552 | 9062 101 | 405 | 794 390.82/391.08 c 390s | 18 | 682401 | 423952 | 9062 101 | 405 | 794 392.92/393.13 c 392s | 18 | 686417 | 426252 | 9062 102 | 405 | 794 394.92/395.19 c 394s | 18 | 690738 | 428752 | 9062 102 | 405 | 794 397.02/397.22 c 396s | 18 | 694251 | 430852 | 9062 103 | 405 | 794 399.12/399.31 c 398s | 18 | 697662 | 433052 | 9062 103 | 405 | 794 401.11/401.31 c 400s | 18 | 701723 | 435452 | 9062 104 | 405 | 794 403.11/403.36 c 402s | 18 | 705564 | 437852 | 9062 104 | 405 | 794 405.11/405.40 c 404s | 18 | 709226 | 440152 | 9062 105 | 405 | 794 407.21/407.44 c 406s | 18 | 713595 | 442652 | 9969 105 | 405 | 794 408.71/408.99 c 408s | 19 | 716738 | 444482 | 9969 105 | 405 | 794 410.80/411.06 c 410s | 19 | 719901 | 446382 | 9969 106 | 405 | 794 412.80/413.09 c 412s | 19 | 723265 | 448482 | 9969 106 | 405 | 794 414.90/415.10 c 414s | 19 | 726777 | 450682 | 9969 106 | 405 | 794 416.90/417.16 c 416s | 19 | 730459 | 452882 | 9969 107 | 405 | 794 418.91/419.18 c 418s | 19 | 734712 | 455182 | 9969 107 | 405 | 794 420.90/421.18 c 420s | 19 | 738125 | 457282 | 9969 108 | 405 | 794 423.00/423.21 c 422s | 19 | 741449 | 459382 | 9969 108 | 405 | 794 425.00/425.28 c 424s | 19 | 744862 | 461582 | 9969 108 | 405 | 794 427.10/427.33 c 426s | 19 | 748664 | 463882 | 9969 109 | 405 | 794 429.20/429.41 c 428s | 19 | 752937 | 466382 | 9969 109 | 405 | 794 431.19/431.46 c 430s | 19 | 756436 | 468582 | 9969 110 | 405 | 794 433.30/433.54 c 432s | 19 | 760621 | 471082 | 9969 110 | 405 | 794 435.29/435.58 c 434s | 19 | 764277 | 473282 | 9969 111 | 405 | 794 437.29/437.58 c 436s | 19 | 768004 | 475482 | 9969 111 | 405 | 794 439.39/439.62 c 438s | 19 | 771882 | 477882 | 9969 111 | 405 | 794 441.49/441.70 c 440s | 19 | 775571 | 480082 | 9969 112 | 405 | 794 443.49/443.70 c 442s | 19 | 779632 | 482582 | 9969 112 | 405 | 794 445.49/445.72 c 444s | 19 | 783179 | 484782 | 9969 113 | 405 | 794 447.49/447.76 c 446s | 19 | 787199 | 487082 | 9969 113 | 405 | 794 449.48/449.77 c 448s | 19 | 790498 | 489182 | 9969 113 | 405 | 794 451.58/451.81 c 450s | 19 | 793976 | 491382 | 9969 114 | 405 | 794 453.58/453.85 c 452s | 19 | 797803 | 493682 | 9969 114 | 405 | 794 455.68/455.96 c 455s | 19 | 801151 | 495682 | 9969 115 | 405 | 794 457.78/458.03 c 457s | 19 | 804682 | 497782 | 9969 115 | 405 | 794 459.88/460.10 c 459s | 19 | 808121 | 499882 | 9969 115 | 405 | 794 461.88/462.15 c 461s | 19 | 811657 | 501982 | 9969 116 | 405 | 794 463.98/464.20 c 463s | 19 | 815214 | 504182 | 9969 116 | 405 | 794 465.98/466.25 c 465s | 19 | 819305 | 506682 | 9969 117 | 405 | 794 468.08/468.37 c 467s | 19 | 822660 | 508882 | 9969 117 | 405 | 794 470.17/470.42 c 469s | 19 | 826007 | 510982 | 9969 118 | 405 | 794 472.17/472.44 c 471s | 19 | 829652 | 513182 | 9969 118 | 405 | 794 474.17/474.48 c 473s | 19 | 833512 | 515482 | 9969 118 | 405 | 794 476.18/476.49 c 475s | 19 | 837090 | 517682 | 9969 119 | 405 | 794 478.28/478.59 c 477s | 19 | 840889 | 519982 | 9969 119 | 405 | 794 480.37/480.61 c 479s | 19 | 843766 | 521882 | 9969 120 | 405 | 794 482.37/482.66 c 481s | 19 | 847506 | 524182 | 9969 120 | 405 | 794 484.37/484.69 c 483s | 19 | 851140 | 526382 | 9969 120 | 405 | 794 486.46/486.73 c 485s | 19 | 854839 | 528582 | 9969 121 | 405 | 794 488.46/488.73 c 487s | 19 | 858484 | 530782 | 9969 121 | 405 | 794 490.47/490.76 c 489s | 19 | 862126 | 532882 | 9969 122 | 405 | 794 492.57/492.81 c 491s | 19 | 865892 | 535182 | 9969 122 | 405 | 794 494.56/494.82 c 493s | 19 | 869570 | 537482 | 9969 122 | 405 | 794 496.56/496.86 c 495s | 19 | 873589 | 539882 | 9969 123 | 405 | 794 498.66/498.94 c 498s | 19 | 877439 | 542182 | 9969 123 | 405 | 794 500.75/501.01 c 500s | 19 | 881559 | 544582 | 9969 124 | 405 | 794 502.75/503.05 c 502s | 19 | 885705 | 546982 | 9969 124 | 405 | 794 504.85/505.14 c 504s | 19 | 888961 | 548982 | 9969 125 | 405 | 794 506.96/507.21 c 506s | 19 | 892584 | 551182 | 9969 125 | 405 | 794 508.95/509.29 c 508s | 19 | 896072 | 553382 | 9969 125 | 405 | 794 511.04/511.31 c 510s | 19 | 899217 | 555382 | 9969 126 | 405 | 794 513.04/513.31 c 512s | 19 | 902498 | 557382 | 9969 126 | 405 | 794 515.14/515.40 c 514s | 19 | 905784 | 559482 | 9969 126 | 405 | 794 517.14/517.42 c 516s | 19 | 909227 | 561482 | 9969 127 | 405 | 794 519.14/519.47 c 518s | 19 | 913113 | 563782 | 9969 127 | 405 | 794 521.15/521.50 c 520s | 19 | 916904 | 565982 | 9969 128 | 405 | 794 523.24/523.52 c 522s | 19 | 920542 | 568182 | 9969 128 | 405 | 794 525.24/525.57 c 524s | 19 | 924145 | 570382 | 9969 128 | 405 | 794 527.34/527.64 c 526s | 19 | 927870 | 572582 | 9969 129 | 405 | 794 529.43/529.70 c 528s | 19 | 931269 | 574682 | 9969 129 | 405 | 794 531.43/531.74 c 530s | 19 | 934518 | 576682 | 9969 130 | 405 | 794 533.53/533.80 c 532s | 19 | 938089 | 578882 | 9969 130 | 405 | 794 535.54/535.88 c 534s | 19 | 941789 | 581082 | 9969 130 | 405 | 794 537.64/537.92 c 536s | 19 | 945361 | 583182 | 9969 131 | 405 | 794 539.73/540.01 c 539s | 19 | 949085 | 585382 | 9969 131 | 405 | 794 541.73/542.02 c 541s | 19 | 952262 | 587382 | 9969 132 | 405 | 794 543.73/544.05 c 543s | 19 | 955708 | 589582 | 9969 132 | 405 | 794 545.73/546.06 c 545s | 19 | 959039 | 591582 | 9969 132 | 405 | 794 547.72/548.09 c 547s | 19 | 962595 | 593682 | 9969 133 | 405 | 794 549.73/550.09 c 549s | 19 | 966272 | 595982 | 9969 133 | 405 | 794 551.82/552.14 c 551s | 19 | 970013 | 598282 | 9969 134 | 405 | 794 553.82/554.15 c 553s | 19 | 973777 | 600582 | 9969 134 | 405 | 794 555.92/556.22 c 555s | 19 | 977165 | 602782 | 9969 134 | 405 | 794 557.92/558.23 c 557s | 19 | 980623 | 604882 | 9969 135 | 405 | 794 560.01/560.32 c 559s | 19 | 984223 | 607082 | 9969 135 | 405 | 794 562.01/562.33 c 561s | 19 | 987816 | 609082 | 9969 136 | 405 | 794 564.02/564.39 c 563s | 19 | 991958 | 611482 | 9969 136 | 405 | 794 566.11/566.42 c 565s | 19 | 995609 | 613682 | 9969 136 | 405 | 794 568.11/568.44 c 567s | 19 | 999278 | 615882 | 9969 137 | 405 | 794 570.11/570.48 c 569s | 19 | 1002693 | 617882 | 9969 137 | 405 | 794 572.21/572.59 c 571s | 19 | 1005320 | 619682 | 9969 138 | 405 | 794 574.31/574.60 c 573s | 19 | 1008135 | 621482 | 9969 138 | 405 | 794 576.31/576.62 c 575s | 19 | 1011384 | 623482 | 9969 138 | 405 | 794 578.41/578.71 c 577s | 19 | 1014824 | 625482 | 9969 139 | 405 | 794 580.40/580.77 c 579s | 19 | 1018139 | 627682 | 9969 139 | 405 | 794 582.50/582.81 c 581s | 19 | 1021686 | 629882 | 9969 139 | 405 | 794 584.50/584.82 c 583s | 19 | 1024999 | 631882 | 9969 140 | 405 | 794 586.50/586.89 c 585s | 19 | 1028626 | 633982 | 9969 140 | 405 | 794 588.60/588.98 c 588s | 19 | 1032182 | 636182 | 9969 141 | 405 | 794 590.60/590.99 c 590s | 19 | 1035667 | 638182 | 9969 141 | 405 | 794 592.71/593.04 c 592s | 19 | 1038607 | 640082 | 9969 141 | 405 | 794 594.70/595.05 c 594s | 19 | 1041912 | 642082 | 9969 142 | 405 | 794 596.80/597.14 c 596s | 19 | 1045430 | 644182 | 9969 142 | 405 | 794 598.80/599.14 c 598s | 19 | 1048427 | 646182 | 9969 143 | 405 | 794 600.80/601.19 c 600s | 19 | 1052241 | 648482 | 9969 143 | 405 | 794 602.90/603.24 c 602s | 19 | 1055871 | 650782 | 9969 143 | 405 | 794 604.90/605.24 c 604s | 19 | 1059477 | 652982 | 9969 144 | 405 | 794 607.00/607.31 c 606s | 19 | 1062775 | 655082 | 9969 144 | 405 | 794 609.10/609.47 c 608s | 19 | 1065999 | 657082 | 9969 145 | 405 | 794 611.19/611.50 c 610s | 19 | 1069785 | 659282 | 9969 145 | 405 | 794 613.19/613.58 c 612s | 19 | 1073981 | 661782 | 10966 145 | 405 | 794 615.29/615.64 c 614s | 19 | 1077334 | 663982 | 10966 146 | 405 | 794 617.39/617.75 c 616s | 19 | 1080633 | 666082 | 10966 146 | 405 | 794 618.19/618.50 c 617s | 20 | 1081868 | 666827 | 10966 146 | 405 | 794 620.19/620.53 c 619s | 20 | 1085081 | 668627 | 10966 146 | 405 | 794 622.29/622.62 c 621s | 20 | 1088192 | 670627 | 10966 147 | 405 | 794 624.29/624.64 c 623s | 20 | 1091237 | 672527 | 10966 147 | 405 | 794 626.29/626.65 c 625s | 20 | 1094367 | 674527 | 10966 147 | 405 | 794 628.39/628.70 c 627s | 20 | 1097405 | 676527 | 10966 148 | 405 | 794 630.38/630.74 c 629s | 20 | 1100646 | 678527 | 10966 148 | 405 | 794 632.48/632.81 c 631s | 20 | 1103682 | 680427 | 10966 148 | 405 | 794 634.49/634.88 c 633s | 20 | 1106476 | 682327 | 10966 149 | 405 | 794 636.59/636.94 c 636s | 20 | 1109594 | 684327 | 10966 149 | 405 | 794 638.58/638.96 c 638s | 20 | 1112920 | 686427 | 10966 149 | 405 | 794 640.68/641.01 c 640s | 20 | 1116185 | 688527 | 10966 150 | 405 | 794 642.68/643.03 c 642s | 20 | 1119474 | 690527 | 10966 150 | 405 | 794 644.68/645.05 c 644s | 20 | 1122241 | 692327 | 10966 150 | 405 | 794 646.67/647.09 c 646s | 20 | 1125131 | 694227 | 10966 151 | 405 | 794 648.78/649.17 c 648s | 20 | 1128748 | 696427 | 10966 151 | 405 | 794 650.88/651.27 c 650s | 20 | 1131782 | 698427 | 10966 151 | 405 | 794 652.97/653.37 c 652s | 20 | 1135173 | 700527 | 10966 152 | 405 | 794 655.07/655.45 c 654s | 20 | 1138091 | 702527 | 10966 152 | 405 | 794 657.17/657.50 c 656s | 20 | 1141072 | 704527 | 10966 152 | 405 | 794 659.17/659.53 c 658s | 20 | 1143395 | 706127 | 10966 153 | 405 | 794 661.27/661.61 c 660s | 20 | 1146319 | 708127 | 10966 153 | 405 | 794 663.26/663.63 c 662s | 20 | 1149535 | 710127 | 10966 153 | 405 | 794 665.36/665.70 c 664s | 20 | 1152476 | 711927 | 10966 154 | 405 | 794 667.37/667.73 c 666s | 20 | 1155512 | 713827 | 10966 154 | 405 | 794 669.46/669.80 c 668s | 20 | 1158449 | 715727 | 10966 154 | 405 | 794 671.46/671.86 c 670s | 20 | 1161127 | 717427 | 10966 155 | 405 | 794 673.46/673.89 c 672s | 20 | 1164324 | 719427 | 10966 155 | 405 | 794 675.56/675.92 c 674s | 20 | 1167615 | 721427 | 10966 155 | 405 | 794 677.56/677.94 c 677s | 20 | 1170684 | 723227 | 10966 156 | 405 | 794 679.56/679.98 c 679s | 20 | 1174065 | 725227 | 10966 156 | 405 | 794 681.76/682.10 c 681s | 20 | 1176933 | 727027 | 10966 156 | 405 | 794 683.75/684.12 c 683s | 20 | 1179482 | 728727 | 10966 157 | 405 | 794 685.85/686.21 c 685s | 20 | 1182089 | 730427 | 10966 157 | 405 | 794 687.95/688.34 c 687s | 20 | 1185612 | 732527 | 10966 157 | 405 | 794 689.95/690.39 c 689s | 20 | 1188790 | 734427 | 10966 158 | 405 | 794 692.05/692.48 c 691s | 20 | 1192037 | 736427 | 10966 158 | 405 | 794 694.15/694.56 c 693s | 20 | 1195181 | 738427 | 10966 158 | 405 | 794 696.25/696.66 c 695s | 20 | 1198765 | 740527 | 10966 159 | 405 | 794 698.26/698.68 c 697s | 20 | 1201765 | 742327 | 10966 159 | 405 | 794 700.36/700.72 c 699s | 20 | 1204929 | 744327 | 10966 159 | 405 | 794 702.35/702.77 c 701s | 20 | 1208239 | 746327 | 10966 160 | 405 | 794 704.45/704.81 c 703s | 20 | 1211466 | 748427 | 10966 160 | 405 | 794 706.45/706.87 c 705s | 20 | 1214118 | 750127 | 10966 160 | 405 | 794 708.55/708.96 c 708s | 20 | 1216744 | 751827 | 10966 160 | 405 | 794 710.55/710.97 c 710s | 20 | 1219543 | 753627 | 10966 161 | 405 | 794 712.65/713.00 c 712s | 20 | 1222517 | 755427 | 10966 161 | 405 | 794 714.75/715.11 c 714s | 20 | 1225252 | 757227 | 10966 161 | 405 | 794 716.75/717.14 c 716s | 20 | 1227735 | 758827 | 10966 162 | 405 | 794 718.74/719.19 c 718s | 20 | 1230291 | 760527 | 10966 162 | 405 | 794 720.84/721.28 c 720s | 20 | 1233199 | 762327 | 10966 162 | 405 | 794 722.94/723.35 c 722s | 20 | 1236483 | 764227 | 10966 163 | 405 | 794 724.94/725.36 c 724s | 20 | 1239767 | 766227 | 10966 163 | 405 | 794 727.04/727.40 c 726s | 20 | 1243106 | 768127 | 10966 163 | 405 | 794 729.05/729.44 c 728s | 20 | 1246115 | 769927 | 10966 164 | 405 | 794 731.04/731.49 c 730s | 20 | 1249787 | 772027 | 10966 164 | 405 | 794 733.14/733.58 c 732s | 20 | 1253176 | 774027 | 10966 164 | 405 | 794 735.14/735.59 c 734s | 20 | 1256138 | 775827 | 10966 165 | 405 | 794 737.24/737.63 c 736s | 20 | 1259385 | 777827 | 10966 165 | 405 | 794 739.24/739.63 c 738s | 20 | 1262275 | 779727 | 10966 165 | 405 | 794 741.44/741.84 c 740s | 20 | 1265795 | 781727 | 10966 166 | 405 | 794 743.54/743.90 c 742s | 20 | 1268886 | 783527 | 10966 166 | 405 | 794 745.64/746.00 c 745s | 20 | 1272034 | 785427 | 10966 166 | 405 | 794 747.75/748.11 c 747s | 20 | 1275135 | 787327 | 10966 166 | 405 | 794 749.74/750.13 c 749s | 20 | 1278293 | 789227 | 10966 167 | 405 | 794 751.74/752.18 c 751s | 20 | 1281219 | 791127 | 10966 167 | 405 | 794 753.85/754.23 c 753s | 20 | 1284089 | 792827 | 10966 167 | 405 | 794 755.95/756.34 c 755s | 20 | 1286634 | 794427 | 10966 168 | 405 | 794 757.95/758.36 c 757s | 20 | 1289432 | 796227 | 10966 168 | 405 | 794 760.05/760.44 c 759s | 20 | 1292122 | 798027 | 10966 168 | 405 | 794 762.15/762.51 c 761s | 20 | 1294834 | 799627 | 10966 169 | 405 | 794 764.15/764.57 c 763s | 20 | 1298127 | 801527 | 10966 169 | 405 | 794 766.24/766.70 c 765s | 20 | 1301309 | 803327 | 10966 169 | 405 | 794 768.34/768.75 c 767s | 20 | 1304556 | 805127 | 10966 169 | 405 | 794 770.34/770.77 c 769s | 20 | 1307797 | 807027 | 10966 170 | 405 | 794 772.44/772.85 c 771s | 20 | 1311095 | 808927 | 10966 170 | 405 | 794 774.54/774.94 c 774s | 20 | 1313899 | 810727 | 10966 170 | 405 | 794 776.54/776.98 c 776s | 20 | 1316717 | 812327 | 10966 171 | 405 | 794 778.64/779.04 c 778s | 20 | 1319605 | 814127 | 10966 171 | 405 | 794 780.75/781.11 c 780s | 20 | 1322990 | 816027 | 10966 171 | 405 | 794 782.74/783.15 c 782s | 20 | 1325736 | 817727 | 10966 172 | 405 | 794 784.74/785.19 c 784s | 20 | 1329128 | 819827 | 10966 172 | 405 | 794 786.94/787.30 c 786s | 20 | 1331947 | 821627 | 10966 172 | 405 | 794 788.94/789.35 c 788s | 20 | 1334727 | 823327 | 10966 173 | 405 | 794 791.04/791.42 c 790s | 20 | 1337788 | 825127 | 10966 173 | 405 | 794 793.04/793.43 c 792s | 20 | 1340855 | 827027 | 10966 173 | 405 | 794 795.04/795.48 c 794s | 20 | 1344058 | 828827 | 10966 173 | 405 | 794 797.14/797.55 c 796s | 20 | 1347216 | 830627 | 10966 174 | 405 | 794 799.24/799.67 c 798s | 20 | 1349981 | 832327 | 10966 174 | 405 | 794 801.24/801.70 c 800s | 20 | 1352377 | 833827 | 10966 174 | 405 | 794 803.44/803.81 c 802s | 20 | 1354633 | 835327 | 10966 175 | 405 | 794 805.44/805.89 c 804s | 20 | 1357118 | 836927 | 10966 175 | 405 | 794 807.54/807.95 c 807s | 20 | 1359948 | 838627 | 10966 175 | 405 | 794 809.63/810.02 c 809s | 20 | 1362638 | 840427 | 10966 175 | 405 | 794 811.63/812.05 c 811s | 20 | 1365485 | 842227 | 10966 176 | 405 | 794 813.64/814.09 c 813s | 20 | 1368605 | 844127 | 10966 176 | 405 | 794 815.73/816.11 c 815s | 20 | 1372144 | 846227 | 10966 176 | 405 | 794 817.73/818.14 c 817s | 20 | 1374848 | 847927 | 10966 177 | 405 | 794 819.83/820.22 c 819s | 20 | 1377196 | 849627 | 10966 177 | 405 | 794 821.93/822.30 c 821s | 20 | 1380192 | 851527 | 10966 177 | 405 | 794 823.93/824.33 c 823s | 20 | 1382619 | 853127 | 10966 178 | 405 | 794 826.03/826.41 c 825s | 20 | 1385563 | 854927 | 10966 178 | 405 | 794 828.04/828.41 c 827s | 20 | 1388373 | 856727 | 10966 178 | 405 | 794 830.14/830.52 c 829s | 20 | 1391350 | 858427 | 10966 178 | 405 | 794 832.23/832.61 c 831s | 20 | 1393802 | 860127 | 10966 179 | 405 | 794 834.23/834.69 c 833s | 20 | 1396719 | 861927 | 10966 179 | 405 | 794 836.33/836.79 c 835s | 20 | 1399340 | 863627 | 10966 179 | 405 | 794 838.43/838.86 c 837s | 20 | 1402161 | 865327 | 10966 180 | 405 | 794 840.43/840.88 c 839s | 20 | 1405143 | 867127 | 10966 180 | 405 | 794 842.63/843.01 c 842s | 20 | 1407770 | 868827 | 10966 180 | 405 | 794 844.63/845.03 c 844s | 20 | 1410387 | 870327 | 10966 181 | 405 | 794 846.63/847.03 c 846s | 20 | 1413313 | 872127 | 10966 181 | 405 | 794 848.73/849.10 c 848s | 20 | 1416483 | 874127 | 10966 181 | 405 | 794 850.73/851.15 c 850s | 20 | 1419557 | 876027 | 10966 181 | 405 | 794 852.73/853.19 c 852s | 20 | 1422454 | 877927 | 10966 182 | 405 | 794 854.83/855.28 c 854s | 20 | 1425387 | 879927 | 10966 182 | 405 | 794 856.92/857.32 c 856s | 20 | 1427492 | 881227 | 10966 182 | 405 | 794 859.02/859.43 c 858s | 20 | 1430529 | 882927 | 10966 183 | 405 | 794 861.12/861.54 c 860s | 20 | 1432795 | 884427 | 10966 183 | 405 | 794 863.23/863.62 c 862s | 20 | 1435330 | 886127 | 10966 183 | 405 | 794 865.22/865.70 c 864s | 20 | 1438465 | 887927 | 10966 183 | 405 | 794 867.42/867.81 c 866s | 20 | 1441335 | 889727 | 10966 184 | 405 | 794 869.52/869.92 c 868s | 20 | 1444185 | 891527 | 10966 184 | 405 | 794 871.52/871.96 c 871s | 20 | 1446900 | 893227 | 10966 184 | 405 | 794 873.62/874.03 c 873s | 20 | 1449730 | 894927 | 10966 185 | 405 | 794 875.62/876.06 c 875s | 20 | 1452723 | 896827 | 10966 185 | 405 | 794 877.62/878.08 c 877s | 20 | 1455200 | 898427 | 10966 185 | 405 | 794 879.73/880.19 c 879s | 20 | 1457606 | 900027 | 10966 186 | 405 | 794 881.83/882.28 c 881s | 20 | 1460324 | 901827 | 10966 186 | 405 | 794 883.92/884.32 c 883s | 20 | 1463062 | 903627 | 10966 186 | 405 | 794 886.02/886.42 c 885s | 20 | 1465476 | 905127 | 10966 186 | 405 | 794 888.02/888.44 c 887s | 20 | 1467654 | 906627 | 10966 187 | 405 | 794 890.02/890.45 c 889s | 20 | 1470707 | 908327 | 10966 187 | 405 | 794 892.12/892.51 c 891s | 20 | 1473116 | 909927 | 10966 187 | 405 | 794 894.22/894.63 c 893s | 20 | 1475640 | 911627 | 10966 187 | 405 | 794 896.22/896.68 c 895s | 20 | 1478139 | 913227 | 10966 188 | 405 | 794 898.22/898.69 c 897s | 20 | 1480675 | 914827 | 10966 188 | 405 | 794 900.32/900.76 c 899s | 20 | 1483529 | 916527 | 10966 188 | 405 | 794 902.32/902.78 c 901s | 20 | 1486539 | 918227 | 10966 189 | 405 | 794 904.42/904.86 c 903s | 20 | 1489392 | 919927 | 10966 189 | 405 | 794 906.52/906.90 c 905s | 20 | 1492547 | 921827 | 10966 189 | 405 | 794 908.51/908.99 c 908s | 20 | 1495296 | 923627 | 10966 190 | 405 | 794 910.61/911.08 c 910s | 20 | 1497394 | 925027 | 10966 190 | 405 | 794 912.72/913.15 c 912s | 20 | 1500345 | 926927 | 10966 190 | 405 | 794 914.82/915.23 c 914s | 20 | 1503330 | 928827 | 10966 190 | 405 | 794 916.81/917.25 c 916s | 20 | 1505860 | 930427 | 10966 191 | 405 | 794 918.81/919.27 c 918s | 20 | 1508785 | 932127 | 10966 191 | 405 | 794 920.91/921.30 c 920s | 20 | 1511225 | 933727 | 10966 191 | 405 | 794 922.91/923.37 c 922s | 20 | 1513516 | 935227 | 10966 191 | 405 | 794 925.01/925.47 c 924s | 20 | 1515944 | 936827 | 10966 192 | 405 | 794 927.11/927.52 c 926s | 20 | 1518302 | 938427 | 10966 192 | 405 | 794 929.22/929.61 c 928s | 20 | 1520827 | 940027 | 10966 192 | 405 | 794 931.32/931.74 c 930s | 20 | 1523317 | 941627 | 10966 193 | 405 | 794 933.31/933.79 c 932s | 20 | 1526084 | 943327 | 10966 193 | 405 | 794 935.41/935.80 c 934s | 20 | 1529142 | 945127 | 10966 193 | 405 | 794 937.41/937.89 c 936s | 20 | 1532234 | 946927 | 10966 193 | 405 | 794 939.61/940.01 c 939s | 20 | 1534982 | 948627 | 10966 194 | 405 | 794 941.61/942.08 c 941s | 20 | 1537754 | 950227 | 10966 194 | 405 | 794 943.72/944.13 c 943s | 20 | 1540042 | 951627 | 10966 194 | 405 | 794 945.72/946.14 c 945s | 20 | 1542307 | 953127 | 10966 195 | 405 | 794 947.82/948.25 c 947s | 20 | 1544955 | 954827 | 10966 195 | 405 | 794 949.82/950.28 c 949s | 20 | 1547252 | 956327 | 10966 195 | 405 | 794 951.92/952.30 c 951s | 20 | 1549748 | 957927 | 10966 195 | 405 | 794 953.92/954.36 c 953s | 20 | 1552390 | 959527 | 10966 196 | 405 | 794 956.01/956.44 c 955s | 20 | 1554302 | 960827 | 10966 196 | 405 | 794 958.11/958.53 c 957s | 20 | 1556882 | 962627 | 10966 196 | 405 | 794 960.11/960.58 c 959s | 20 | 1559389 | 964427 | 10966 196 | 405 | 794 962.12/962.58 c 961s | 20 | 1562113 | 966127 | 10966 197 | 405 | 794 964.21/964.65 c 963s | 20 | 1564997 | 967827 | 10966 197 | 405 | 794 966.31/966.73 c 965s | 20 | 1567936 | 969627 | 10966 197 | 405 | 794 968.31/968.78 c 967s | 20 | 1570905 | 971327 | 10966 198 | 405 | 794 970.31/970.79 c 969s | 20 | 1573601 | 973127 | 10966 198 | 405 | 794 972.41/972.80 c 971s | 20 | 1576163 | 974827 | 10966 198 | 405 | 794 974.41/974.82 c 973s | 20 | 1578810 | 976527 | 10966 198 | 405 | 794 976.42/976.90 c 975s | 20 | 1581068 | 978127 | 10966 199 | 405 | 794 978.51/978.98 c 978s | 20 | 1583865 | 979927 | 10966 199 | 405 | 794 980.61/981.01 c 980s | 20 | 1586558 | 981627 | 10966 199 | 405 | 794 982.61/983.06 c 982s | 20 | 1589245 | 983327 | 10966 200 | 405 | 794 984.61/985.08 c 984s | 20 | 1592382 | 985227 | 10966 200 | 405 | 794 986.71/987.17 c 986s | 20 | 1595066 | 986927 | 10966 200 | 405 | 794 988.81/989.27 c 988s | 20 | 1597445 | 988527 | 10966 201 | 405 | 794 990.91/991.39 c 990s | 20 | 1599779 | 990127 | 10966 201 | 405 | 794 993.01/993.48 c 992s | 20 | 1602648 | 991927 | 10966 201 | 405 | 794 995.11/995.54 c 994s | 20 | 1605717 | 993827 | 12063 201 | 405 | 794 997.11/997.54 c 996s | 20 | 1608853 | 995727 | 12063 202 | 405 | 794 999.21/999.67 c 998s | 20 | 1612357 | 997827 | 12063 202 | 405 | 794 1001.31/1001.79 c 1000s | 20 | 1615298 | 999727 | 12063 202 | 405 | 794 1002.11/1002.53 c 1001s | 21 | 1616386 | 1000345 | 12063 202 | 405 | 794 1004.11/1004.58 c 1003s | 21 | 1618459 | 1001545 | 12063 202 | 405 | 794 1006.21/1006.65 c 1005s | 21 | 1620767 | 1002945 | 12063 203 | 405 | 794 1008.20/1008.68 c 1007s | 21 | 1623212 | 1004545 | 12063 203 | 405 | 794 1010.30/1010.76 c 1009s | 21 | 1625772 | 1006145 | 12063 203 | 405 | 794 1012.40/1012.80 c 1011s | 21 | 1628027 | 1007545 | 12063 203 | 405 | 794 1014.40/1014.85 c 1013s | 21 | 1630370 | 1009045 | 12063 204 | 405 | 794 1016.50/1016.91 c 1015s | 21 | 1632946 | 1010645 | 12063 204 | 405 | 794 1018.50/1018.96 c 1018s | 21 | 1634976 | 1011945 | 12063 204 | 405 | 794 1020.60/1021.03 c 1020s | 21 | 1637598 | 1013645 | 12063 204 | 405 | 794 1022.71/1023.15 c 1022s | 21 | 1640160 | 1015245 | 12063 205 | 405 | 794 1024.70/1025.16 c 1024s | 21 | 1642979 | 1016945 | 12063 205 | 405 | 794 1026.70/1027.19 c 1026s | 21 | 1645340 | 1018545 | 12063 205 | 405 | 794 1028.80/1029.27 c 1028s | 21 | 1647823 | 1020145 | 12063 205 | 405 | 794 1030.90/1031.36 c 1030s | 21 | 1650494 | 1021845 | 12063 206 | 405 | 794 1033.00/1033.45 c 1032s | 21 | 1653124 | 1023445 | 12063 206 | 405 | 794 1035.00/1035.47 c 1034s | 21 | 1655617 | 1025045 | 12063 206 | 405 | 794 1037.10/1037.58 c 1036s | 21 | 1658040 | 1026645 | 12063 206 | 405 | 794 1039.21/1039.65 c 1038s | 21 | 1660355 | 1028145 | 12063 207 | 405 | 794 1041.41/1041.81 c 1040s | 21 | 1663092 | 1029845 | 12063 207 | 405 | 794 1043.51/1043.91 c 1042s | 21 | 1665832 | 1031645 | 12063 207 | 405 | 794 1045.50/1045.93 c 1044s | 21 | 1668527 | 1033245 | 12063 207 | 405 | 794 1047.50/1047.98 c 1047s | 21 | 1670890 | 1034745 | 12063 208 | 405 | 794 1049.60/1050.10 c 1049s | 21 | 1673392 | 1036245 | 12063 208 | 405 | 794 1051.70/1052.15 c 1051s | 21 | 1676118 | 1037945 | 12063 208 | 405 | 794 1053.80/1054.21 c 1053s | 21 | 1678432 | 1039445 | 12063 208 | 405 | 794 1055.80/1056.22 c 1055s | 21 | 1680690 | 1040845 | 12063 209 | 405 | 794 1057.80/1058.28 c 1057s | 21 | 1683606 | 1042645 | 12063 209 | 405 | 794 1059.90/1060.33 c 1059s | 21 | 1685853 | 1044045 | 12063 209 | 405 | 794 1062.00/1062.46 c 1061s | 21 | 1688166 | 1045545 | 12063 209 | 405 | 794 1064.10/1064.52 c 1063s | 21 | 1690321 | 1046945 | 12063 209 | 405 | 794 1066.09/1066.58 c 1065s | 21 | 1692601 | 1048445 | 12063 210 | 405 | 794 1068.19/1068.62 c 1067s | 21 | 1695157 | 1050145 | 12063 210 | 405 | 794 1070.19/1070.68 c 1069s | 21 | 1697561 | 1051745 | 12063 210 | 405 | 794 1072.29/1072.75 c 1071s | 21 | 1699974 | 1053345 | 12063 210 | 405 | 794 1074.30/1074.76 c 1073s | 21 | 1702757 | 1055045 | 12063 211 | 405 | 794 1076.29/1076.79 c 1075s | 21 | 1705236 | 1056745 | 12063 211 | 405 | 794 1078.39/1078.85 c 1077s | 21 | 1707600 | 1058345 | 12063 211 | 405 | 794 1080.49/1080.94 c 1080s | 21 | 1710168 | 1059945 | 12063 211 | 405 | 794 1082.49/1082.97 c 1082s | 21 | 1713082 | 1061745 | 12063 212 | 405 | 794 1084.59/1085.09 c 1084s | 21 | 1715776 | 1063545 | 12063 212 | 405 | 794 1086.69/1087.16 c 1086s | 21 | 1718458 | 1065245 | 12063 212 | 405 | 794 1088.70/1089.16 c 1088s | 21 | 1720998 | 1066845 | 12063 213 | 405 | 794 1090.80/1091.24 c 1090s | 21 | 1723746 | 1068645 | 12063 213 | 405 | 794 1092.89/1093.31 c 1092s | 21 | 1726893 | 1070545 | 12063 213 | 405 | 794 1094.89/1095.36 c 1094s | 21 | 1730044 | 1072345 | 12063 213 | 405 | 794 1096.99/1097.41 c 1096s | 21 | 1733308 | 1074245 | 12063 214 | 405 | 794 1098.99/1099.43 c 1098s | 21 | 1737268 | 1076445 | 12063 214 | 405 | 794 1101.09/1101.51 c 1100s | 21 | 1740984 | 1078645 | 12063 214 | 405 | 794 1103.09/1103.53 c 1102s | 21 | 1743504 | 1080245 | 12063 215 | 405 | 794 1105.19/1105.61 c 1104s | 21 | 1746582 | 1082145 | 12063 215 | 405 | 794 1107.19/1107.61 c 1106s | 21 | 1749897 | 1084045 | 12063 215 | 405 | 794 1109.19/1109.62 c 1108s | 21 | 1752656 | 1085745 | 12063 215 | 405 | 794 1111.19/1111.69 c 1110s | 21 | 1756169 | 1087745 | 12063 216 | 405 | 794 1113.28/1113.72 c 1112s | 21 | 1759397 | 1089745 | 12063 216 | 405 | 794 1115.28/1115.74 c 1114s | 21 | 1762748 | 1091645 | 12063 216 | 405 | 794 1117.38/1117.80 c 1116s | 21 | 1765026 | 1092945 | 12063 217 | 405 | 794 1119.39/1119.90 c 1118s | 21 | 1767488 | 1094545 | 12063 217 | 405 | 794 1121.48/1121.90 c 1120s | 21 | 1770313 | 1096345 | 12063 217 | 405 | 794 1123.48/1123.96 c 1123s | 21 | 1773494 | 1098245 | 12063 217 | 405 | 794 1125.48/1125.97 c 1125s | 21 | 1776291 | 1100045 | 12063 218 | 405 | 794 1127.58/1128.00 c 1127s | 21 | 1779899 | 1102045 | 12063 218 | 405 | 794 1129.58/1130.01 c 1129s | 21 | 1782875 | 1103845 | 12063 218 | 405 | 794 1131.68/1132.12 c 1131s | 21 | 1785865 | 1105645 | 12063 219 | 405 | 794 1133.69/1134.15 c 1133s | 21 | 1788375 | 1107345 | 12063 219 | 405 | 794 1135.78/1136.27 c 1135s | 21 | 1791725 | 1109245 | 12063 219 | 405 | 794 1137.88/1138.32 c 1137s | 21 | 1794921 | 1111045 | 12063 219 | 405 | 794 1139.88/1140.37 c 1139s | 21 | 1797501 | 1112645 | 12063 220 | 405 | 794 1141.98/1142.47 c 1141s | 21 | 1800351 | 1114445 | 12063 220 | 405 | 794 1144.08/1144.59 c 1143s | 21 | 1803517 | 1116345 | 12063 220 | 405 | 794 1146.18/1146.62 c 1145s | 21 | 1806482 | 1118145 | 12063 220 | 405 | 794 1148.28/1148.72 c 1147s | 21 | 1809056 | 1119745 | 12063 221 | 405 | 794 1150.28/1150.75 c 1149s | 21 | 1811622 | 1121445 | 12063 221 | 405 | 794 1152.28/1152.77 c 1151s | 21 | 1814184 | 1123145 | 12063 221 | 405 | 794 1154.38/1154.82 c 1153s | 21 | 1816591 | 1124745 | 12063 222 | 405 | 794 1156.48/1156.92 c 1155s | 21 | 1819228 | 1126545 | 12063 222 | 405 | 794 1158.48/1158.94 c 1158s | 21 | 1822270 | 1128345 | 12063 222 | 405 | 794 1160.48/1160.96 c 1160s | 21 | 1825224 | 1130145 | 12063 222 | 405 | 794 1162.48/1162.99 c 1162s | 21 | 1827997 | 1131745 | 12063 223 | 405 | 794 1164.59/1165.03 c 1164s | 21 | 1830694 | 1133445 | 12063 223 | 405 | 794 1166.58/1167.04 c 1166s | 21 | 1833302 | 1135045 | 12063 223 | 405 | 794 1168.68/1169.10 c 1168s | 21 | 1835960 | 1136645 | 12063 223 | 405 | 794 1170.68/1171.13 c 1170s | 21 | 1838474 | 1138145 | 12063 224 | 405 | 794 1172.78/1173.20 c 1172s | 21 | 1841624 | 1140145 | 12063 224 | 405 | 794 1174.78/1175.20 c 1174s | 21 | 1844454 | 1141945 | 12063 224 | 405 | 794 1176.88/1177.33 c 1176s | 21 | 1847022 | 1143545 | 12063 224 | 405 | 794 1178.98/1179.41 c 1178s | 21 | 1849700 | 1145145 | 12063 225 | 405 | 794 1181.09/1181.51 c 1180s | 21 | 1852514 | 1146845 | 12063 225 | 405 | 794 1183.08/1183.56 c 1182s | 21 | 1854938 | 1148445 | 12063 225 | 405 | 794 1185.18/1185.61 c 1184s | 21 | 1857904 | 1150245 | 12063 225 | 405 | 794 1187.28/1187.71 c 1186s | 21 | 1859866 | 1151645 | 12063 226 | 405 | 794 1189.28/1189.74 c 1188s | 21 | 1862958 | 1153445 | 12063 226 | 405 | 794 1191.38/1191.80 c 1190s | 21 | 1864828 | 1154745 | 12063 226 | 405 | 794 1193.48/1193.92 c 1192s | 21 | 1867700 | 1156445 | 12063 226 | 405 | 794 1195.58/1196.03 c 1195s | 21 | 1870244 | 1158045 | 12063 227 | 405 | 794 1197.68/1198.14 c 1197s | 21 | 1872607 | 1159545 | 12063 227 | 405 | 794 1199.68/1200.17 c 1199s | 21 | 1875244 | 1161145 | 12063 227 | 405 | 794 1201.78/1202.26 c 1201s | 21 | 1877569 | 1162645 | 12063 227 | 405 | 794 1203.88/1204.37 c 1203s | 21 | 1880141 | 1164145 | 12063 228 | 405 | 794 1205.98/1206.48 c 1205s | 21 | 1882702 | 1165845 | 12063 228 | 405 | 794 1207.98/1208.48 c 1207s | 21 | 1885474 | 1167645 | 12063 228 | 405 | 794 1210.08/1210.52 c 1209s | 21 | 1888185 | 1169445 | 12063 228 | 405 | 794 1212.07/1212.58 c 1211s | 21 | 1890777 | 1171145 | 12063 229 | 405 | 794 1214.17/1214.65 c 1213s | 21 | 1893452 | 1172845 | 12063 229 | 405 | 794 1216.18/1216.66 c 1215s | 21 | 1896428 | 1174745 | 12063 229 | 405 | 794 1218.17/1218.69 c 1217s | 21 | 1899465 | 1176445 | 12063 230 | 405 | 794 1220.17/1220.69 c 1219s | 21 | 1902368 | 1178245 | 12063 230 | 405 | 794 1222.27/1222.74 c 1221s | 21 | 1904764 | 1179845 | 12063 230 | 405 | 794 1224.37/1224.84 c 1223s | 21 | 1907855 | 1181645 | 12063 230 | 405 | 794 1226.37/1226.89 c 1225s | 21 | 1910776 | 1183245 | 12063 231 | 405 | 794 1228.47/1228.92 c 1227s | 21 | 1913714 | 1185045 | 12063 231 | 405 | 794 1230.48/1230.93 c 1229s | 21 | 1916656 | 1186845 | 12063 231 | 405 | 794 1232.57/1233.01 c 1232s | 21 | 1919495 | 1188545 | 12063 231 | 405 | 794 1234.67/1235.11 c 1234s | 21 | 1922459 | 1190245 | 12063 232 | 405 | 794 1236.67/1237.19 c 1236s | 21 | 1926037 | 1192345 | 12063 232 | 405 | 794 1238.77/1239.27 c 1238s | 21 | 1929019 | 1194145 | 12063 232 | 405 | 794 1240.87/1241.33 c 1240s | 21 | 1931626 | 1195745 | 12063 233 | 405 | 794 1242.87/1243.35 c 1242s | 21 | 1934125 | 1197345 | 12063 233 | 405 | 794 1244.97/1245.41 c 1244s | 21 | 1936654 | 1199045 | 12063 233 | 405 | 794 1246.98/1247.48 c 1246s | 21 | 1939127 | 1200645 | 12063 233 | 405 | 794 1249.07/1249.55 c 1248s | 21 | 1941566 | 1202245 | 12063 234 | 405 | 794 1251.07/1251.55 c 1250s | 21 | 1944585 | 1204045 | 12063 234 | 405 | 794 1253.17/1253.63 c 1252s | 21 | 1946757 | 1205545 | 12063 234 | 405 | 794 1255.17/1255.65 c 1254s | 21 | 1949778 | 1207345 | 12063 234 | 405 | 794 1257.27/1257.76 c 1256s | 21 | 1952504 | 1209045 | 12063 235 | 405 | 794 1259.37/1259.85 c 1258s | 21 | 1956019 | 1210945 | 12063 235 | 405 | 794 1261.37/1261.85 c 1260s | 21 | 1958704 | 1212545 | 12063 235 | 405 | 794 1263.37/1263.90 c 1262s | 21 | 1961561 | 1214245 | 12063 235 | 405 | 794 1265.46/1265.96 c 1265s | 21 | 1964505 | 1215945 | 12063 236 | 405 | 794 1267.56/1268.02 c 1267s | 21 | 1967675 | 1217745 | 12063 236 | 405 | 794 1269.56/1270.09 c 1269s | 21 | 1970112 | 1219345 | 12063 236 | 405 | 794 1271.66/1272.11 c 1271s | 21 | 1972439 | 1220845 | 12063 236 | 405 | 794 1273.66/1274.16 c 1273s | 21 | 1974751 | 1222345 | 12063 237 | 405 | 794 1275.67/1276.17 c 1275s | 21 | 1977609 | 1224145 | 12063 237 | 405 | 794 1277.77/1278.21 c 1277s | 21 | 1980706 | 1225945 | 12063 237 | 405 | 794 1279.76/1280.25 c 1279s | 21 | 1983009 | 1227245 | 12063 237 | 405 | 794 1281.86/1282.35 c 1281s | 21 | 1985319 | 1228745 | 12063 238 | 405 | 794 1283.86/1284.39 c 1283s | 21 | 1988508 | 1230845 | 12063 238 | 405 | 794 1285.96/1286.45 c 1285s | 21 | 1991290 | 1232645 | 12063 238 | 405 | 794 1288.06/1288.51 c 1287s | 21 | 1994227 | 1234545 | 12063 239 | 405 | 794 1290.06/1290.56 c 1289s | 21 | 1997507 | 1236645 | 12063 239 | 405 | 794 1292.17/1292.61 c 1291s | 21 | 2000245 | 1238545 | 12063 239 | 405 | 794 1294.16/1294.65 c 1293s | 21 | 2002904 | 1240345 | 12063 239 | 405 | 794 1296.26/1296.75 c 1295s | 21 | 2006338 | 1242345 | 12063 240 | 405 | 794 1298.26/1298.77 c 1297s | 21 | 2009696 | 1244445 | 12063 240 | 405 | 794 1300.46/1300.94 c 1300s | 21 | 2012615 | 1246245 | 12063 240 | 405 | 794 1302.46/1302.95 c 1302s | 21 | 2015581 | 1248145 | 12063 241 | 405 | 794 1304.45/1304.97 c 1304s | 21 | 2017877 | 1249645 | 12063 241 | 405 | 794 1306.46/1306.99 c 1306s | 21 | 2021272 | 1251645 | 12063 241 | 405 | 794 1308.56/1309.07 c 1308s | 21 | 2024980 | 1253745 | 12063 242 | 405 | 794 1310.65/1311.16 c 1310s | 21 | 2028211 | 1255745 | 12063 242 | 405 | 794 1312.65/1313.19 c 1312s | 21 | 2031204 | 1257545 | 12063 242 | 405 | 794 1314.75/1315.28 c 1314s | 21 | 2034244 | 1259345 | 12063 242 | 405 | 794 1316.75/1317.28 c 1316s | 21 | 2037117 | 1261045 | 12063 243 | 405 | 794 1318.85/1319.38 c 1318s | 21 | 2040445 | 1263045 | 12063 243 | 405 | 794 1320.95/1321.43 c 1320s | 21 | 2043557 | 1264745 | 12063 243 | 405 | 794 1323.05/1323.55 c 1322s | 21 | 2046383 | 1266445 | 12063 243 | 405 | 794 1325.16/1325.63 c 1324s | 21 | 2049174 | 1268145 | 12063 244 | 405 | 794 1327.26/1327.73 c 1326s | 21 | 2051998 | 1269945 | 12063 244 | 405 | 794 1329.35/1329.82 c 1328s | 21 | 2054722 | 1271745 | 12063 244 | 405 | 794 1331.35/1331.82 c 1330s | 21 | 2058964 | 1274045 | 12063 245 | 405 | 794 1333.45/1333.91 c 1332s | 21 | 2062316 | 1276145 | 12063 245 | 405 | 794 1335.56/1336.00 c 1335s | 21 | 2065846 | 1278245 | 12063 245 | 405 | 794 1337.56/1338.04 c 1337s | 21 | 2069198 | 1280245 | 12063 246 | 405 | 794 1339.56/1340.08 c 1339s | 21 | 2072345 | 1282145 | 12063 246 | 405 | 794 1341.66/1342.16 c 1341s | 21 | 2075672 | 1284245 | 12063 246 | 405 | 794 1343.66/1344.19 c 1343s | 21 | 2079103 | 1286245 | 12063 247 | 405 | 794 1345.76/1346.25 c 1345s | 21 | 2082788 | 1288445 | 12063 247 | 405 | 794 1347.76/1348.27 c 1347s | 21 | 2085952 | 1290445 | 12063 247 | 405 | 794 1349.86/1350.31 c 1349s | 21 | 2089003 | 1292345 | 12063 247 | 405 | 794 1351.96/1352.40 c 1351s | 21 | 2092366 | 1294445 | 12063 248 | 405 | 794 1353.96/1354.40 c 1353s | 21 | 2095345 | 1296345 | 12063 248 | 405 | 794 1355.96/1356.46 c 1355s | 21 | 2098222 | 1298145 | 12063 248 | 405 | 794 1358.06/1358.54 c 1357s | 21 | 2101246 | 1300045 | 12063 249 | 405 | 794 1360.05/1360.59 c 1359s | 21 | 2104450 | 1302045 | 12063 249 | 405 | 794 1362.15/1362.61 c 1361s | 21 | 2107814 | 1304045 | 12063 249 | 405 | 794 1364.15/1364.65 c 1363s | 21 | 2110824 | 1305945 | 12063 250 | 405 | 794 1366.25/1366.72 c 1365s | 21 | 2113983 | 1307945 | 12063 250 | 405 | 794 1368.35/1368.80 c 1367s | 21 | 2117036 | 1309845 | 12063 250 | 405 | 794 1370.35/1370.86 c 1369s | 21 | 2120137 | 1311745 | 12063 250 | 405 | 794 1372.46/1372.91 c 1371s | 21 | 2122886 | 1313545 | 12063 251 | 405 | 794 1374.45/1375.00 c 1374s | 21 | 2126229 | 1315645 | 12063 251 | 405 | 794 1376.65/1377.10 c 1376s | 21 | 2129248 | 1317445 | 12063 251 | 405 | 794 1378.65/1379.15 c 1378s | 21 | 2132339 | 1319345 | 12063 252 | 405 | 794 1380.75/1381.25 c 1380s | 21 | 2135336 | 1321345 | 12063 252 | 405 | 794 1382.85/1383.32 c 1382s | 21 | 2138295 | 1323245 | 12063 252 | 405 | 794 1384.85/1385.34 c 1384s | 21 | 2141588 | 1325245 | 12063 253 | 405 | 794 1386.95/1387.42 c 1386s | 21 | 2145412 | 1327545 | 12063 253 | 405 | 794 1388.95/1389.42 c 1388s | 21 | 2148316 | 1329345 | 12063 253 | 405 | 794 1391.05/1391.55 c 1390s | 21 | 2151635 | 1331245 | 12063 254 | 405 | 794 1393.05/1393.59 c 1392s | 21 | 2154312 | 1332945 | 12063 254 | 405 | 794 1395.15/1395.66 c 1394s | 21 | 2157330 | 1334745 | 12063 254 | 405 | 794 1397.25/1397.70 c 1396s | 21 | 2160545 | 1336645 | 12063 254 | 405 | 794 1399.25/1399.72 c 1398s | 21 | 2162947 | 1338245 | 12063 255 | 405 | 794 1401.25/1401.75 c 1400s | 21 | 2165596 | 1340045 | 12063 255 | 405 | 794 1403.34/1403.80 c 1402s | 21 | 2168389 | 1341845 | 12063 255 | 405 | 794 1405.35/1405.90 c 1404s | 21 | 2171103 | 1343645 | 12063 255 | 405 | 794 1407.55/1408.02 c 1407s | 21 | 2173877 | 1345345 | 12063 256 | 405 | 794 1409.54/1410.06 c 1409s | 21 | 2176545 | 1346945 | 12063 256 | 405 | 794 1411.64/1412.16 c 1411s | 21 | 2179201 | 1348545 | 12063 256 | 405 | 794 1413.74/1414.26 c 1413s | 21 | 2182178 | 1350345 | 12063 256 | 405 | 794 1415.84/1416.36 c 1415s | 21 | 2185204 | 1352145 | 12063 257 | 405 | 794 1417.94/1418.41 c 1417s | 21 | 2187685 | 1353745 | 12063 257 | 405 | 794 1419.94/1420.45 c 1419s | 21 | 2190146 | 1355345 | 12063 257 | 405 | 794 1421.95/1422.47 c 1421s | 21 | 2192573 | 1356945 | 12063 257 | 405 | 794 1423.94/1424.48 c 1423s | 21 | 2195029 | 1358545 | 12063 258 | 405 | 794 1426.04/1426.52 c 1425s | 21 | 2197814 | 1360345 | 12063 258 | 405 | 794 1428.04/1428.56 c 1427s | 21 | 2200265 | 1361845 | 12063 258 | 405 | 794 1430.14/1430.60 c 1429s | 21 | 2203292 | 1363645 | 12063 259 | 405 | 794 1432.14/1432.63 c 1431s | 21 | 2206921 | 1365745 | 12063 259 | 405 | 794 1434.24/1434.71 c 1433s | 21 | 2210158 | 1367645 | 12063 259 | 405 | 794 1436.24/1436.75 c 1435s | 21 | 2213346 | 1369545 | 12063 259 | 405 | 794 1438.24/1438.78 c 1437s | 21 | 2216832 | 1371645 | 12063 260 | 405 | 794 1440.34/1440.85 c 1439s | 21 | 2220598 | 1373845 | 12063 260 | 405 | 794 1442.33/1442.89 c 1441s | 21 | 2224281 | 1376045 | 12063 260 | 405 | 794 1444.43/1444.95 c 1444s | 21 | 2227644 | 1378145 | 12063 261 | 405 | 794 1446.53/1447.03 c 1446s | 21 | 2231132 | 1380345 | 12063 261 | 405 | 794 1448.53/1449.08 c 1448s | 21 | 2234714 | 1382545 | 12063 261 | 405 | 794 1450.63/1451.13 c 1450s | 21 | 2238496 | 1384645 | 12063 262 | 405 | 794 1452.74/1453.26 c 1452s | 21 | 2241943 | 1386645 | 12063 262 | 405 | 794 1454.84/1455.36 c 1454s | 21 | 2245436 | 1388745 | 12063 262 | 405 | 794 1456.83/1457.38 c 1456s | 21 | 2248672 | 1390645 | 12063 263 | 405 | 794 1458.93/1459.45 c 1458s | 21 | 2252310 | 1392745 | 12063 263 | 405 | 794 1460.93/1461.48 c 1460s | 21 | 2255328 | 1394645 | 12063 263 | 405 | 794 1463.03/1463.51 c 1462s | 21 | 2258382 | 1396545 | 12063 264 | 405 | 794 1465.03/1465.57 c 1464s | 21 | 2261476 | 1398545 | 12063 264 | 405 | 794 1467.13/1467.63 c 1466s | 21 | 2264768 | 1400445 | 12063 264 | 405 | 794 1469.24/1469.72 c 1468s | 21 | 2267798 | 1402245 | 12063 265 | 405 | 794 1471.23/1471.75 c 1470s | 21 | 2270967 | 1404245 | 12063 265 | 405 | 794 1473.33/1473.82 c 1472s | 21 | 2273894 | 1406145 | 12063 265 | 405 | 794 1475.33/1475.83 c 1474s | 21 | 2276682 | 1407845 | 12063 265 | 405 | 794 1477.33/1477.85 c 1476s | 21 | 2279711 | 1409645 | 12063 266 | 405 | 794 1479.33/1479.86 c 1478s | 21 | 2282919 | 1411645 | 12063 266 | 405 | 794 1481.43/1481.93 c 1480s | 21 | 2285839 | 1413545 | 12063 266 | 405 | 794 1483.53/1484.01 c 1483s | 21 | 2288372 | 1415145 | 12063 266 | 405 | 794 1485.53/1486.02 c 1485s | 21 | 2291048 | 1416745 | 12063 267 | 405 | 794 1487.53/1488.09 c 1487s | 21 | 2294389 | 1418645 | 12063 267 | 405 | 794 1489.63/1490.16 c 1489s | 21 | 2297605 | 1420545 | 12063 267 | 405 | 794 1491.73/1492.25 c 1491s | 21 | 2300707 | 1422345 | 12063 268 | 405 | 794 1493.82/1494.35 c 1493s | 21 | 2304004 | 1424245 | 12063 268 | 405 | 794 1495.92/1496.44 c 1495s | 21 | 2307318 | 1426245 | 12063 268 | 405 | 794 1498.12/1498.60 c 1497s | 21 | 2310594 | 1428145 | 12063 269 | 405 | 794 1500.12/1500.61 c 1499s | 21 | 2313426 | 1429845 | 12063 269 | 405 | 794 1502.13/1502.64 c 1501s | 21 | 2316697 | 1431745 | 12063 269 | 405 | 794 1504.22/1504.74 c 1503s | 21 | 2319892 | 1433645 | 12063 269 | 405 | 794 1506.22/1506.77 c 1505s | 21 | 2322799 | 1435345 | 12063 270 | 405 | 794 1508.32/1508.81 c 1507s | 21 | 2325776 | 1437245 | 12063 270 | 405 | 794 1510.32/1510.87 c 1509s | 21 | 2329056 | 1439145 | 12063 270 | 405 | 794 1512.42/1512.91 c 1511s | 21 | 2332098 | 1440845 | 12063 270 | 405 | 794 1514.52/1515.00 c 1514s | 21 | 2335128 | 1442645 | 12063 271 | 405 | 794 1516.53/1517.05 c 1516s | 21 | 2338170 | 1444545 | 12063 271 | 405 | 794 1518.52/1519.09 c 1518s | 21 | 2341767 | 1446645 | 12063 271 | 405 | 794 1520.62/1521.13 c 1520s | 21 | 2344809 | 1448445 | 12063 272 | 405 | 794 1522.63/1523.16 c 1522s | 21 | 2348036 | 1450345 | 12063 272 | 405 | 794 1524.73/1525.26 c 1524s | 21 | 2351595 | 1452345 | 12063 272 | 405 | 794 1526.83/1527.35 c 1526s | 21 | 2354947 | 1454345 | 12063 273 | 405 | 794 1528.83/1529.38 c 1528s | 21 | 2357878 | 1456245 | 12063 273 | 405 | 794 1531.03/1531.50 c 1530s | 21 | 2360690 | 1458145 | 12063 273 | 405 | 794 1533.03/1533.52 c 1532s | 21 | 2363385 | 1459845 | 12063 273 | 405 | 794 1535.03/1535.59 c 1534s | 21 | 2365759 | 1461445 | 12063 274 | 405 | 794 1537.13/1537.67 c 1536s | 21 | 2368610 | 1463145 | 12063 274 | 405 | 794 1539.13/1539.69 c 1538s | 21 | 2371668 | 1464945 | 12063 274 | 405 | 794 1541.33/1541.87 c 1540s | 21 | 2374734 | 1466845 | 12063 275 | 405 | 794 1543.42/1543.94 c 1543s | 21 | 2377813 | 1468745 | 12063 275 | 405 | 794 1545.52/1546.00 c 1545s | 21 | 2380732 | 1470545 | 12063 275 | 405 | 794 1547.52/1548.02 c 1547s | 21 | 2383573 | 1472245 | 12063 275 | 405 | 794 1549.62/1550.10 c 1549s | 21 | 2386437 | 1473945 | 12063 276 | 405 | 794 1551.63/1552.14 c 1551s | 21 | 2389681 | 1475845 | 12063 276 | 405 | 794 1553.62/1554.18 c 1553s | 21 | 2392469 | 1477545 | 12063 276 | 405 | 794 1555.72/1556.21 c 1555s | 21 | 2395281 | 1479245 | 12063 276 | 405 | 794 1557.72/1558.24 c 1557s | 21 | 2397791 | 1480745 | 12063 277 | 405 | 794 1559.72/1560.27 c 1559s | 21 | 2400730 | 1482545 | 12063 277 | 405 | 794 1561.82/1562.37 c 1561s | 21 | 2403949 | 1484545 | 12063 277 | 405 | 794 1563.83/1564.38 c 1563s | 21 | 2406683 | 1486345 | 12063 278 | 405 | 794 1565.82/1566.39 c 1565s | 21 | 2409629 | 1488245 | 12063 278 | 405 | 794 1567.92/1568.40 c 1567s | 21 | 2412811 | 1490145 | 13270 278 | 405 | 794 1569.92/1570.45 c 1569s | 21 | 2416161 | 1492145 | 13270 278 | 405 | 794 1571.92/1572.48 c 1571s | 21 | 2418870 | 1493945 | 13270 279 | 405 | 794 1574.02/1574.50 c 1573s | 21 | 2421890 | 1495845 | 13270 279 | 405 | 794 1576.12/1576.61 c 1575s | 21 | 2424365 | 1497645 | 13270 279 | 405 | 794 1578.12/1578.67 c 1577s | 21 | 2427061 | 1499545 | 13270 279 | 405 | 794 1579.32/1579.80 c 1578s | 22 | 2428729 | 1500622 | 13270 279 | 405 | 794 1581.32/1581.81 c 1580s | 22 | 2430331 | 1501522 | 13270 280 | 405 | 794 1583.41/1583.91 c 1582s | 22 | 2433144 | 1503322 | 13270 280 | 405 | 794 1585.41/1585.99 c 1585s | 22 | 2435358 | 1504822 | 13270 280 | 405 | 794 1587.51/1588.06 c 1587s | 22 | 2437971 | 1506522 | 13270 280 | 405 | 794 1589.61/1590.13 c 1589s | 22 | 2440772 | 1508322 | 13270 281 | 405 | 794 1591.61/1592.17 c 1591s | 22 | 2444049 | 1510222 | 13270 281 | 405 | 794 1593.71/1594.20 c 1593s | 22 | 2446975 | 1512022 | 13270 281 | 405 | 794 1595.72/1596.26 c 1595s | 22 | 2450021 | 1513822 | 13270 281 | 405 | 794 1597.71/1598.28 c 1597s | 22 | 2452967 | 1515622 | 13270 282 | 405 | 794 1599.81/1600.37 c 1599s | 22 | 2455518 | 1517322 | 13270 282 | 405 | 794 1601.91/1602.46 c 1601s | 22 | 2458719 | 1519222 | 13270 282 | 405 | 794 1603.91/1604.48 c 1603s | 22 | 2461962 | 1521122 | 13270 282 | 405 | 794 1606.01/1606.57 c 1605s | 22 | 2464768 | 1522922 | 13270 283 | 405 | 794 1608.11/1608.63 c 1607s | 22 | 2467775 | 1524822 | 13270 283 | 405 | 794 1610.11/1610.67 c 1609s | 22 | 2470753 | 1526722 | 13270 283 | 405 | 794 1612.22/1612.72 c 1611s | 22 | 2473768 | 1528622 | 13270 283 | 405 | 794 1614.21/1614.77 c 1613s | 22 | 2476152 | 1530122 | 13270 284 | 405 | 794 1616.31/1616.81 c 1615s | 22 | 2479873 | 1532222 | 13270 284 | 405 | 794 1618.31/1618.83 c 1617s | 22 | 2483351 | 1534222 | 13270 284 | 405 | 794 1620.41/1620.91 c 1619s | 22 | 2486176 | 1536122 | 13270 285 | 405 | 794 1622.41/1622.99 c 1622s | 22 | 2489400 | 1538322 | 13270 285 | 405 | 794 1624.51/1625.04 c 1624s | 22 | 2492769 | 1540522 | 13270 285 | 405 | 794 1626.61/1627.13 c 1626s | 22 | 2495760 | 1542422 | 13270 285 | 405 | 794 1628.61/1629.18 c 1628s | 22 | 2498583 | 1544222 | 13270 286 | 405 | 794 1630.71/1631.23 c 1630s | 22 | 2501950 | 1546222 | 13270 286 | 405 | 794 1632.70/1633.26 c 1632s | 22 | 2504549 | 1547922 | 13270 286 | 405 | 794 1634.70/1635.27 c 1634s | 22 | 2507215 | 1549722 | 13270 286 | 405 | 794 1636.80/1637.31 c 1636s | 22 | 2509894 | 1551422 | 13270 287 | 405 | 794 1638.80/1639.36 c 1638s | 22 | 2512946 | 1553422 | 13270 287 | 405 | 794 1640.90/1641.45 c 1640s | 22 | 2515740 | 1555322 | 13270 287 | 405 | 794 1643.01/1643.57 c 1642s | 22 | 2518391 | 1557122 | 13270 287 | 405 | 794 1645.11/1645.62 c 1644s | 22 | 2521066 | 1558922 | 13270 288 | 405 | 794 1647.10/1647.65 c 1646s | 22 | 2524479 | 1561122 | 13270 288 | 405 | 794 1649.10/1649.65 c 1648s | 22 | 2527167 | 1563022 | 13270 288 | 405 | 794 1651.20/1651.74 c 1650s | 22 | 2529956 | 1564922 | 13270 289 | 405 | 794 1653.20/1653.75 c 1652s | 22 | 2533254 | 1566922 | 13270 289 | 405 | 794 1655.30/1655.83 c 1654s | 22 | 2536822 | 1569022 | 13270 289 | 405 | 794 1657.31/1657.89 c 1656s | 22 | 2540261 | 1571022 | 13270 289 | 405 | 794 1659.41/1659.91 c 1658s | 22 | 2543007 | 1572822 | 13270 290 | 405 | 794 1661.40/1661.99 c 1661s | 22 | 2545891 | 1574722 | 13270 290 | 405 | 794 1663.50/1664.02 c 1663s | 22 | 2548708 | 1576522 | 13270 290 | 405 | 794 1665.60/1666.10 c 1665s | 22 | 2551633 | 1578322 | 13270 290 | 405 | 794 1667.71/1668.20 c 1667s | 22 | 2554947 | 1580422 | 13270 291 | 405 | 794 1669.71/1670.26 c 1669s | 22 | 2558019 | 1582322 | 13270 291 | 405 | 794 1671.81/1672.32 c 1671s | 22 | 2561325 | 1584222 | 13270 291 | 405 | 794 1673.81/1674.33 c 1673s | 22 | 2564908 | 1586222 | 13270 292 | 405 | 794 1675.81/1676.34 c 1675s | 22 | 2568281 | 1588222 | 13270 292 | 405 | 794 1677.90/1678.42 c 1677s | 22 | 2571656 | 1590322 | 13270 292 | 405 | 794 1679.90/1680.49 c 1679s | 22 | 2575123 | 1592422 | 13270 292 | 405 | 794 1682.00/1682.55 c 1681s | 22 | 2578055 | 1594322 | 13270 293 | 405 | 794 1684.10/1684.65 c 1683s | 22 | 2580574 | 1595822 | 13270 293 | 405 | 794 1686.10/1686.65 c 1685s | 22 | 2583655 | 1597622 | 13270 293 | 405 | 794 1688.30/1688.86 c 1687s | 22 | 2587099 | 1599722 | 13270 294 | 405 | 794 1690.31/1690.90 c 1689s | 22 | 2590216 | 1601622 | 13270 294 | 405 | 794 1692.41/1692.97 c 1692s | 22 | 2593402 | 1603522 | 13270 294 | 405 | 794 1694.50/1695.06 c 1694s | 22 | 2596169 | 1605222 | 13270 294 | 405 | 794 1696.50/1697.06 c 1696s | 22 | 2598739 | 1606722 | 13270 295 | 405 | 794 1698.50/1699.09 c 1698s | 22 | 2601858 | 1608522 | 13270 295 | 405 | 794 1700.50/1701.09 c 1700s | 22 | 2604756 | 1610222 | 13270 295 | 405 | 794 1702.60/1703.14 c 1702s | 22 | 2607307 | 1611822 | 13270 295 | 405 | 794 1704.70/1705.29 c 1704s | 22 | 2610600 | 1613822 | 13270 296 | 405 | 794 1706.71/1707.30 c 1706s | 22 | 2613724 | 1615822 | 13270 296 | 405 | 794 1708.80/1709.32 c 1708s | 22 | 2616273 | 1617322 | 13270 296 | 405 | 794 1710.80/1711.35 c 1710s | 22 | 2619143 | 1619122 | 13270 296 | 405 | 794 1713.00/1713.52 c 1712s | 22 | 2621920 | 1620922 | 13270 297 | 405 | 794 1715.00/1715.55 c 1714s | 22 | 2625271 | 1622922 | 13270 297 | 405 | 794 1717.00/1717.58 c 1716s | 22 | 2628178 | 1624822 | 13270 297 | 405 | 794 1719.10/1719.67 c 1718s | 22 | 2631140 | 1626722 | 13270 297 | 405 | 794 1721.20/1721.76 c 1720s | 22 | 2634135 | 1628622 | 13270 298 | 405 | 794 1723.30/1723.82 c 1722s | 22 | 2637209 | 1630522 | 13270 298 | 405 | 794 1725.29/1725.89 c 1724s | 22 | 2640372 | 1632522 | 13270 298 | 405 | 794 1727.39/1727.96 c 1727s | 22 | 2643409 | 1634422 | 13270 298 | 405 | 794 1729.49/1730.06 c 1729s | 22 | 2646185 | 1636122 | 13270 299 | 405 | 794 1731.59/1732.15 c 1731s | 22 | 2649137 | 1637922 | 13270 299 | 405 | 794 1733.69/1734.22 c 1733s | 22 | 2651982 | 1639722 | 13270 299 | 405 | 794 1735.69/1736.26 c 1735s | 22 | 2654749 | 1641522 | 13270 299 | 405 | 794 1737.79/1738.35 c 1737s | 22 | 2657745 | 1643322 | 13270 300 | 405 | 794 1739.80/1740.37 c 1739s | 22 | 2660941 | 1645222 | 13270 300 | 405 | 794 1741.90/1742.45 c 1741s | 22 | 2663642 | 1647022 | 13270 300 | 405 | 794 1743.89/1744.47 c 1743s | 22 | 2666641 | 1648922 | 13270 300 | 405 | 794 1745.99/1746.54 c 1745s | 22 | 2669169 | 1650422 | 13270 301 | 405 | 794 1747.99/1748.59 c 1747s | 22 | 2672544 | 1652422 | 13270 301 | 405 | 794 1750.09/1750.60 c 1749s | 22 | 2675778 | 1654322 | 13270 301 | 405 | 794 1752.09/1752.60 c 1751s | 22 | 2678837 | 1656222 | 13270 302 | 405 | 794 1754.10/1754.66 c 1753s | 22 | 2681527 | 1657922 | 13270 302 | 405 | 794 1756.09/1756.69 c 1755s | 22 | 2684295 | 1659622 | 13270 302 | 405 | 794 1758.19/1758.73 c 1757s | 22 | 2687394 | 1661522 | 13270 302 | 405 | 794 1760.19/1760.78 c 1759s | 22 | 2690432 | 1663222 | 13270 303 | 405 | 794 1762.29/1762.89 c 1761s | 22 | 2693916 | 1665222 | 13270 303 | 405 | 794 1764.39/1764.94 c 1764s | 22 | 2697201 | 1667122 | 13270 303 | 405 | 794 1766.49/1767.03 c 1766s | 22 | 2699203 | 1668322 | 13270 303 | 405 | 794 1768.59/1769.16 c 1768s | 22 | 2702701 | 1670322 | 13270 304 | 405 | 794 1770.59/1771.17 c 1770s | 22 | 2705517 | 1672122 | 13270 304 | 405 | 794 1772.69/1773.27 c 1772s | 22 | 2708029 | 1673822 | 13270 304 | 405 | 794 1774.78/1775.31 c 1774s | 22 | 2711053 | 1675722 | 13270 304 | 405 | 794 1776.88/1777.41 c 1776s | 22 | 2713769 | 1677522 | 13270 305 | 405 | 794 1778.88/1779.47 c 1778s | 22 | 2716572 | 1679422 | 13270 305 | 405 | 794 1780.98/1781.57 c 1780s | 22 | 2719216 | 1681122 | 13270 305 | 405 | 794 1783.08/1783.66 c 1782s | 22 | 2722692 | 1683122 | 13270 305 | 405 | 794 1785.18/1785.70 c 1784s | 22 | 2725391 | 1684822 | 13270 306 | 405 | 794 1787.18/1787.78 c 1786s | 22 | 2728462 | 1686722 | 13270 306 | 405 | 794 1789.29/1789.83 c 1788s | 22 | 2731637 | 1688622 | 13270 306 | 405 | 794 1791.28/1791.86 c 1790s | 22 | 2734804 | 1690522 | 13270 306 | 405 | 794 1793.28/1793.88 c 1792s | 22 | 2737867 | 1692322 | 13270 307 | 405 | 794 1795.38/1795.96 c 1795s | 22 | 2741355 | 1694422 | 13270 307 | 405 | 794 1797.38/1797.97 c 1797s | 22 | 2744416 | 1696222 | 13270 307 | 405 | 794 1799.38/1799.98 c 1799s | 22 | 2747256 | 1698022 | 13270 307 | 405 | 794
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-4119364-1467255694/watcher-4119364-1467255694 -o /tmp/evaluation-result-4119364-1467255694/solver-4119364-1467255694 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467248489-5466 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119364-1467255694.opb pid=6329 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.09 2.08 2.02 2/174 6332 /proc/meminfo: memFree=31522076/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=689596 CPUtime=0 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 2567 0 0 0 0 0 0 0 20 0 4 0 4600755 706146304 2928 33554432000 4194304 16246674 140735894812448 140735894811872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 173167 2937 441 2943 0 170061 0 [pid=6332/tid=6333] ppid=6329 vsize=707004 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 723972096 2995 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=711100 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 728166400 3013 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=715196 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4600755 732360704 3029 33554432000 4194304 16246674 140735894812448 140483437251760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100218 s] /proc/loadavg: 2.09 2.08 2.02 2/174 6332 /proc/meminfo: memFree=31522076/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1303108 CPUtime=0.09 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 21767 0 0 0 6 3 0 0 20 0 4 0 4600755 1334382592 22093 33554432000 4194304 16246674 140735894812448 140735894811760 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 325777 22102 844 2943 0 322671 0 [pid=6332/tid=6333] ppid=6329 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1334382592 22106 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1334382592 22112 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1334382592 22118 33554432000 4194304 16246674 140735894812448 140483437251760 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) 1303108 [startup+0.200392 s] /proc/loadavg: 2.09 2.08 2.02 2/174 6332 /proc/meminfo: memFree=31522076/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1307204 CPUtime=0.19 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 30716 0 0 0 14 5 0 0 20 0 4 0 4600755 1338576896 31042 33554432000 4194304 16246674 140735894812448 140735894794368 14073233 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 326801 31042 845 2943 0 323695 0 [pid=6332/tid=6333] ppid=6329 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1338576896 31042 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1338576896 31042 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1338576896 31042 33554432000 4194304 16246674 140735894812448 140483437251760 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) 1307204 [startup+0.3004 s] /proc/loadavg: 2.09 2.08 2.02 2/174 6332 /proc/meminfo: memFree=31522076/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1307204 CPUtime=0.29 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 32795 0 0 0 24 5 0 0 20 0 4 0 4600755 1338576896 33121 33554432000 4194304 16246674 140735894812448 140735894794368 4221144 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 326801 33121 845 2943 0 323695 0 [pid=6332/tid=6333] ppid=6329 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1338576896 33121 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1338576896 33121 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1338576896 33121 33554432000 4194304 16246674 140735894812448 140483437251760 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) 1307204 [startup+0.700388 s] /proc/loadavg: 2.09 2.08 2.02 2/174 6332 /proc/meminfo: memFree=31522076/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1308228 CPUtime=0.69 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 38168 0 0 0 63 6 0 0 20 0 4 0 4600755 1339625472 38494 33554432000 4194304 16246674 140735894812448 140735894794368 12415766 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 327057 38494 849 2943 0 323951 0 [pid=6332/tid=6333] ppid=6329 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1339625472 38494 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1339625472 38494 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1339625472 38494 33554432000 4194304 16246674 140735894812448 140483437251760 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) 1308228 [startup+1.5004 s] /proc/loadavg: 2.09 2.08 2.02 3/184 6371 /proc/meminfo: memFree=31086812/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1308228 CPUtime=1.49 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 77473 0 0 0 138 11 0 0 20 0 4 0 4600755 1339625472 77799 33554432000 4194304 16246674 140735894812448 140735894794368 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 327057 77801 849 2943 0 323951 0 [pid=6332/tid=6333] ppid=6329 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1339625472 77803 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1339625472 77804 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1339625472 77804 33554432000 4194304 16246674 140735894812448 140483437251760 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) 1308228 [startup+3.1004 s] /proc/loadavg: 2.08 2.08 2.02 3/184 6371 /proc/meminfo: memFree=30667312/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1308228 CPUtime=3.09 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 228998 0 0 0 279 30 0 0 20 0 4 0 4600755 1339625472 229324 33554432000 4194304 16246674 140735894812448 140735894794368 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 327057 229325 849 2943 0 323951 0 [pid=6332/tid=6333] ppid=6329 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1339625472 229327 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1339625472 229329 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1339625472 229331 33554432000 4194304 16246674 140735894812448 140483437251760 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) 1308228 [startup+6.30041 s] /proc/loadavg: 2.08 2.08 2.02 3/184 6371 /proc/meminfo: memFree=30173320/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1308228 CPUtime=6.29 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 268156 0 0 0 595 34 0 0 20 0 4 0 4600755 1339625472 268482 33554432000 4194304 16246674 140735894812448 140735894794368 6022849 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 327057 268482 853 2943 0 323951 0 [pid=6332/tid=6333] ppid=6329 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1339625472 268482 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1339625472 268482 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1339625472 268482 33554432000 4194304 16246674 140735894812448 140483437251760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.07 2.08 2.02 4/184 6371 /proc/meminfo: memFree=30172900/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1308228 CPUtime=12.69 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 268162 0 0 0 1235 34 0 0 20 0 4 0 4600755 1339625472 268488 33554432000 4194304 16246674 140735894812448 140735894794368 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 327057 268488 859 2943 0 323951 0 [pid=6332/tid=6333] ppid=6329 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1339625472 268488 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1339625472 268488 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1339625472 268488 33554432000 4194304 16246674 140735894812448 140483437251760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.06 2.07 2.02 3/184 6371 /proc/meminfo: memFree=29372160/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1309252 CPUtime=25.48 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 268353 0 0 0 2514 34 0 0 20 0 4 0 4600755 1340674048 268679 33554432000 4194304 16246674 140735894812448 140735894794368 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 327313 268679 859 2943 0 324207 0 [pid=6332/tid=6333] ppid=6329 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1340674048 268679 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1340674048 268679 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1340674048 268679 33554432000 4194304 16246674 140735894812448 140483437251760 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) 1309252 [startup+51.1005 s] /proc/loadavg: 2.04 2.07 2.01 3/183 6371 /proc/meminfo: memFree=29361972/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1311300 CPUtime=51.08 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 268939 0 0 0 5073 35 0 0 20 0 4 0 4600755 1342771200 269256 33554432000 4194304 16246674 140735894812448 140735894794368 12415648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 327825 269256 859 2943 0 324719 0 [pid=6332/tid=6333] ppid=6329 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1342771200 269256 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1342771200 269256 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1342771200 269256 33554432000 4194304 16246674 140735894812448 140483437251760 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.301 s] /proc/loadavg: 2.05 2.07 2.01 3/183 6372 /proc/meminfo: memFree=29344628/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1316420 CPUtime=102.26 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 270235 0 0 0 10191 35 0 0 20 0 4 0 4600755 1348014080 270536 33554432000 4194304 16246674 140735894812448 140735894794368 5600384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 329105 270536 859 2943 0 325999 0 [pid=6332/tid=6333] ppid=6329 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1348014080 270536 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1348014080 270536 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1348014080 270536 33554432000 4194304 16246674 140735894812448 140483437251760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1367937024 275400 33554432000 4194304 16246674 140735894812448 140483437251760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1335876 [startup+1302.3 s] /proc/loadavg: 2.10 2.06 2.01 3/183 6402 /proc/meminfo: memFree=29261848/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1335876 CPUtime=1301.86 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 275460 0 0 0 130144 42 0 0 20 0 4 0 4600755 1367937024 275400 33554432000 4194304 16246674 140735894812448 140735894794368 5808141 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 333969 275400 859 2943 0 330863 0 [pid=6332/tid=6333] ppid=6329 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1367937024 275400 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1367937024 275400 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1367937024 275400 33554432000 4194304 16246674 140735894812448 140483437251760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1335876 [startup+1362.3 s] /proc/loadavg: 2.04 2.05 2.00 3/183 6403 /proc/meminfo: memFree=29261624/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1335876 CPUtime=1361.85 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 275460 0 0 0 136142 43 0 0 20 0 4 0 4600755 1367937024 275400 33554432000 4194304 16246674 140735894812448 140735894794368 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 333969 275400 859 2943 0 330863 0 [pid=6332/tid=6333] ppid=6329 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1367937024 275400 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1367937024 275400 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1367937024 275400 33554432000 4194304 16246674 140735894812448 140483437251760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1335876 [startup+1422.3 s] /proc/loadavg: 2.01 2.04 2.00 3/183 6405 /proc/meminfo: memFree=29261524/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1335876 CPUtime=1421.85 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 275460 0 0 0 142142 43 0 0 20 0 4 0 4600755 1367937024 275400 33554432000 4194304 16246674 140735894812448 140735894794368 5673558 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 333969 275400 859 2943 0 330863 0 [pid=6332/tid=6333] ppid=6329 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1367937024 275400 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1367937024 275400 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1367937024 275400 33554432000 4194304 16246674 140735894812448 140483437251760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1335876 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.00 3/183 6406 /proc/meminfo: memFree=29261588/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1335876 CPUtime=1481.83 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 275460 0 0 0 148140 43 0 0 20 0 4 0 4600755 1367937024 275400 33554432000 4194304 16246674 140735894812448 140735894794368 5724532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 333969 275400 859 2943 0 330863 0 [pid=6332/tid=6333] ppid=6329 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1367937024 275400 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1367937024 275400 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1367937024 275400 33554432000 4194304 16246674 140735894812448 140483437251760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1335876 [startup+1542.31 s] /proc/loadavg: 2.00 2.02 2.00 3/183 6407 /proc/meminfo: memFree=29261428/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1335876 CPUtime=1541.83 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 275461 0 0 0 154139 44 0 0 20 0 4 0 4600755 1367937024 275401 33554432000 4194304 16246674 140735894812448 140735894794368 5673495 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 333969 275401 860 2943 0 330863 0 [pid=6332/tid=6333] ppid=6329 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1367937024 275401 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1367937024 275401 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1367937024 275401 33554432000 4194304 16246674 140735894812448 140483437251760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1335876 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 6408 /proc/meminfo: memFree=29251824/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1345092 CPUtime=1601.81 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 277766 0 0 0 160137 44 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140735894794368 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 336273 277708 860 2943 0 333167 0 [pid=6332/tid=6333] ppid=6329 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140483437251760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1345092 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 6409 /proc/meminfo: memFree=29251512/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1345092 CPUtime=1661.8 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 277766 0 0 0 166136 44 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140735894794368 6011836 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 336273 277708 860 2943 0 333167 0 [pid=6332/tid=6333] ppid=6329 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140483437251760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1345092 [startup+1722.3 s] /proc/loadavg: 2.17 2.05 2.01 3/184 6414 /proc/meminfo: memFree=29251200/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1345092 CPUtime=1721.8 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 277766 0 0 0 172135 45 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140735894794368 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 336273 277708 860 2943 0 333167 0 [pid=6332/tid=6333] ppid=6329 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140483437251760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1345092 [startup+1782.3 s] /proc/loadavg: 2.10 2.05 2.01 3/183 6415 /proc/meminfo: memFree=29251680/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1345092 CPUtime=1781.78 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 277766 0 0 0 178133 45 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140735894794368 6023234 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 336273 277708 860 2943 0 333167 0 [pid=6332/tid=6333] ppid=6329 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140483437251760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1345092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.07 2.05 2.01 3/183 6415 /proc/meminfo: memFree=29251684/32872528 swapFree=170020/176152 [pid=6332] ppid=6329 vsize=1345092 CPUtime=1800.08 cores=1,3,5,7 /proc/6332/stat : 6332 (toysat) R 6329 6332 5284 0 -1 4202496 277766 0 0 0 179963 45 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140735894794368 12875603 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6332/statm: 336273 277708 860 2943 0 333167 0 [pid=6332/tid=6333] ppid=6329 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6333/stat : 6333 (toysat) S 6329 6332 5284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140483458215152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6332/tid=6334] ppid=6329 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6334/stat : 6334 (toysat) S 6329 6332 5284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140483447725296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6332/tid=6335] ppid=6329 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6332/task/6335/stat : 6335 (toysat) S 6329 6332 5284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4600755 1377374208 277708 33554432000 4194304 16246674 140735894812448 140483437251760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1345092 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 6332 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.64 CPU system time (s): 0.45893 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 1345092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.64 system time used= 0.45893 maximum resident set size= 1110832 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277766 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= 400 involuntary context switches= 2397 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.50232 second user time and 7.02493 second system time The end
Begin job on node105 at 2016-06-30 05:01:34 IDJOB=4119364 IDBENCH=111712 IDSOLVER=2542 FILE ID=node105/4119364-1467255694 RUNJOBID= node105-1467248489-5466 PBS_JOBID= 20004478 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-40.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119364-1467255694/watcher-4119364-1467255694 -o /tmp/evaluation-result-4119364-1467255694/solver-4119364-1467255694 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467248489-5466 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119364-1467255694.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a1abacfb8439dd4c465d8f508db1fcbf RANDOM SEED=2022859151 node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.487 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.97 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.487 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.487 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.487 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.487 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.487 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.487 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.487 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31522992 kB Buffers: 114352 kB Cached: 306964 kB SwapCached: 0 kB Active: 164644 kB Inactive: 271864 kB Active(anon): 9128 kB Inactive(anon): 8512 kB Active(file): 155516 kB Inactive(file): 263352 kB Unevictable: 176152 kB Mlocked: 170020 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 16328 kB Writeback: 0 kB AnonPages: 240348 kB Mapped: 13856 kB Shmem: 204 kB Slab: 607936 kB SReclaimable: 52004 kB SUnreclaim: 555932 kB KernelStack: 1528 kB PageTables: 4424 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 285664 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 57344 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= 71696 MiB End job on node105 at 2016-06-30 05:31:35