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.04 | 1800.51 |
| Name | normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb |
| MD5SUM | 457d573eb873a5d33dddcaaf7d992dd1 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 61123 |
| Best CPU time to get the best result obtained on this benchmark | 1800.75 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 3945 |
| Total number of constraints | 8604 |
| Number of constraints which are clauses | 8604 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 59 |
| Number of terms in the objective function | 1872 |
| Biggest coefficient in the objective function | 2110 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 3036193 |
| Number of bits of the sum of numbers in the objective function | 22 |
| Biggest number in a constraint | 2110 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 3036193 |
| Number of bits of the biggest sum of numbers | 22 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-07T00:54:40+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-4079108-1465253680.opb"] 0.00/0.01 c use --random-gen="576717950 330890095 4286673476 3835372295 3503888843 3048825322 1811996294 3918035087 297221988 2044589266 2504538470 3864010780 3505372663 2653170116 3631493930 1178865973 2021174465 901317634 1633154991 1817922698 3221209471 2803920321 1292982653 1777533465 3760359076 602401449 373605005 343301033 3427515081 139397821 2031018107 2699891916 1583156292 4078905520 2151100657 1100757643 3937620599 1448334265 2861546573 546745229 508918749 153588658 750904785 2319019738 1581508936 2446256659 1431628558 497325441 3021420351 2000023508 1990770863 582937794 1386214843 652246614 715118787 2158431758 3890341248 517216137 3717553601 2022819616 3065415054 749835511 3748764146 851070850 1582561362 357345045 3476267249 3414228419 2537642024 363200993 3975688685 1554900733 846035995 934906361 1057878938 3603482963 4064398068 3615519403 247795694 1025286721 609614727 3094070184 3092366923 1911138528 3832394198 4006360255 1201222979 2797369898 2918295758 631316261 1213750900 4050760646 2253861559 3467492368 4181886287 1611576610 2539126084 2249628702 2237845163 2117864439 2239652317 2636216651 3021989511 2678916087 256469788 182107206 1230924482 1750445693 570946983 4015359663 3463843304 310050732 454523697 3168042540 147341863 3195419580 3521400434 443943875 3407036847 1675166699 3980942489 150533365 3837330017 1143680179 1720042921 2405285721 4147689370 3670125635 612353124 1866375337 4274365752 4012532042 852911660 707575746 601439597 2327949661 3162443900 2667850890 2958193596 1969460701 2670086896 2322479085 1070971457 3240438918 4033769037 2690293536 3073173347 2920167938 910250227 4189544908 3292350966 2893175311 4286882371 92748956 2691969048 1234609784 731402327 341153663 696800246 2393328059 2303555680 2463580964 2011348327 1764173481 1521374601 4159838494 1177109182 964337929 3590886393 1280082458 123204562 4229914410 268475080 1441063395 1146581110 2834343265 1106953410 1270371571 3619373951 1526497836 3992667057 2039931227 492102506 1410161104 3423250998 981775788 831574921 1800920595 1082734292 3087063066 2305995591 3299123406 1231593118 1697794594 1096298521 2697997668 1481318801 1393677958 3883164302 1697232201 1399489407 3004205050 3679715223 2985978299 723591391 3947841946 2634003593 3496941414 2760372330 702079022 3951566554 272215980 4240635056 2369646358 423831324 4227941507 1814985390 1517329088 3151193125 1952816548 4284084159 44187106 2570457034 3033127035 2448446111 3445696868 2005244501 1466664522 3059496887 2180839281 1053109478 4025584142 316300103 2733542689 2847201588 1662469294 2127018393 4141525214 2918641348 2126507387 2469226158 4116635193 1840959063 2602056679 503038441 1050027075 666432070 1962359347 970529462 4262126745 3072330145 506315346 1268711907 1328503108 2377010127 1783301817 255 362436" option to reproduce the execution 0.00/0.07 c #vars 3945 0.00/0.07 c #constraints 8604 0.09/0.19 c BCD2: Hardening is enabled. 0.09/0.19 c BCD2: BiasedSearch is enabled. 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 | 4174 0 | 5 | 0 0.19/0.21 c 0.0s | 0 | 1974 | 0 | 4174 0 | 5 | 1061 0.19/0.21 c #cpu_time = 0.019s 0.19/0.21 c #wall_clock_time = 0.019s 0.19/0.21 c #decision = 1974 0.19/0.21 c #random_decision = 12 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 o 3036193 0.19/0.28 c BCD2: refineUB: 3036192 -> 3035113 0.19/0.28 c BCD2: updating upper bound: 3036193 -> 3035113 0.29/0.30 c BCD2: 0 <= obj <= 3035113 0.29/0.30 c BCD2: #cores=0, #unrelaxed=1872, #relaxed=0, #hardened=0 0.29/0.30 c BCD2: #sat=1 #unsat=1 bias=1/2 0.29/0.30 c Solving starts ... 0.29/0.30 c ============================[ Search Statistics ]============================ 0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.30 c | | | | Limit GC | Var | Constra 0.29/0.30 c ============================================================================= 0.29/0.30 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 0.29/0.30 c 0.0s | 0 | 10 | 0 | 4174 0 | 5 | 1061 0.29/0.30 c #cpu_time = 0.005s 0.29/0.30 c #wall_clock_time = 0.005s 0.29/0.30 c #decision = 10 0.29/0.30 c #random_decision = 0 0.29/0.30 c #conflict = 0 0.29/0.30 c #restart = 0 0.29/0.30 c BCD2: found a new core of size 6: cost of the new core is >=1288 0.29/0.30 c lower bound updated to 1288 0.29/0.36 c BCD2: refineUB: 3036192 -> 3035113 0.29/0.36 c BCD2: 1288 <= obj <= 3035113 0.29/0.36 c BCD2: #cores=1, #unrelaxed=1866, #relaxed=6, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=2 bias=2/3 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 | 4174 0 | 5 | 1061 0.29/0.37 c 0.0s | 0 | 14 | 0 | 4174 0 | 5 | 1061 0.29/0.37 c #cpu_time = 0.004s 0.29/0.37 c #wall_clock_time = 0.004s 0.29/0.37 c #decision = 14 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 1: cost of the new core is >=1540 0.29/0.37 c lower bound updated to 2828 0.38/0.40 c BCD2: refineUB: 3036192 -> 3035113 0.38/0.40 c BCD2: 2828 <= obj <= 3035113 0.38/0.40 c BCD2: #cores=2, #unrelaxed=1865, #relaxed=7, #hardened=0 0.38/0.40 c BCD2: #sat=1 #unsat=3 bias=3/4 0.38/0.40 c Solving starts ... 0.38/0.40 c ============================[ Search Statistics ]============================ 0.38/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.40 c | | | | Limit GC | Var | Constra 0.38/0.40 c ============================================================================= 0.38/0.40 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 0.38/0.41 c 0.0s | 0 | 15 | 0 | 4174 0 | 5 | 1061 0.38/0.41 c #cpu_time = 0.015s 0.38/0.41 c #wall_clock_time = 0.015s 0.38/0.41 c #decision = 15 0.38/0.42 c #random_decision = 0 0.38/0.42 c #conflict = 0 0.38/0.42 c #restart = 0 0.38/0.42 c BCD2: found a new core of size 1: cost of the new core is >=1262 0.38/0.42 c lower bound updated to 4090 0.38/0.45 c BCD2: refineUB: 3036192 -> 3035113 0.38/0.45 c BCD2: 4090 <= obj <= 3035113 0.38/0.45 c BCD2: #cores=3, #unrelaxed=1864, #relaxed=8, #hardened=0 0.38/0.45 c BCD2: #sat=1 #unsat=4 bias=4/5 0.38/0.45 c Solving starts ... 0.38/0.45 c ============================[ Search Statistics ]============================ 0.38/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.45 c | | | | Limit GC | Var | Constra 0.38/0.45 c ============================================================================= 0.38/0.45 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 0.38/0.45 c 0.0s | 0 | 35 | 0 | 4174 0 | 5 | 1061 0.38/0.45 c #cpu_time = 0.003s 0.38/0.45 c #wall_clock_time = 0.003s 0.38/0.45 c #decision = 35 0.38/0.45 c #random_decision = 0 0.38/0.45 c #conflict = 0 0.38/0.45 c #restart = 0 0.38/0.45 c BCD2: found a new core of size 3: cost of the new core is >=1618 0.38/0.45 c lower bound updated to 5708 0.38/0.49 c BCD2: refineUB: 3036192 -> 3035113 0.38/0.49 c BCD2: 5708 <= obj <= 3035113 0.38/0.49 c BCD2: #cores=4, #unrelaxed=1861, #relaxed=11, #hardened=0 0.38/0.49 c BCD2: #sat=1 #unsat=5 bias=5/6 0.38/0.49 c Solving starts ... 0.38/0.49 c ============================[ Search Statistics ]============================ 0.38/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.49 c | | | | Limit GC | Var | Constra 0.38/0.49 c ============================================================================= 0.38/0.49 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 0.38/0.49 c 0.0s | 0 | 50 | 0 | 4174 0 | 5 | 1061 0.38/0.49 c #cpu_time = 0.004s 0.38/0.49 c #wall_clock_time = 0.004s 0.38/0.49 c #decision = 50 0.38/0.49 c #random_decision = 0 0.38/0.49 c #conflict = 0 0.38/0.49 c #restart = 0 0.38/0.49 c BCD2: found a new core of size 3: cost of the new core is >=1314 0.38/0.49 c lower bound updated to 7022 0.49/0.52 c BCD2: refineUB: 3036192 -> 3035113 0.49/0.52 c BCD2: 7022 <= obj <= 3035113 0.49/0.52 c BCD2: #cores=5, #unrelaxed=1858, #relaxed=14, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=6 bias=6/7 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 | 4174 0 | 5 | 1061 0.49/0.53 c 0.0s | 0 | 145 | 0 | 4174 0 | 5 | 1061 0.49/0.53 c #cpu_time = 0.004s 0.49/0.53 c #wall_clock_time = 0.004s 0.49/0.53 c #decision = 145 0.49/0.53 c #random_decision = 0 0.49/0.53 c #conflict = 0 0.49/0.53 c #restart = 0 0.49/0.53 c BCD2: found a new core of size 3: cost of the new core is >=1618 0.49/0.53 c lower bound updated to 8640 0.49/0.58 c BCD2: refineUB: 3036192 -> 3035113 0.49/0.58 c BCD2: 8640 <= obj <= 3035113 0.49/0.58 c BCD2: #cores=6, #unrelaxed=1855, #relaxed=17, #hardened=0 0.49/0.58 c BCD2: #sat=1 #unsat=7 bias=7/8 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 | 4174 0 | 5 | 1061 0.49/0.59 c 0.0s | 0 | 146 | 0 | 4174 0 | 5 | 1061 0.49/0.59 c #cpu_time = 0.015s 0.49/0.59 c #wall_clock_time = 0.016s 0.49/0.59 c #decision = 146 0.49/0.59 c #random_decision = 0 0.49/0.59 c #conflict = 0 0.49/0.59 c #restart = 0 0.49/0.59 c BCD2: found a new core of size 3: cost of the new core is >=1384 0.49/0.59 c lower bound updated to 10024 0.59/0.63 c BCD2: refineUB: 3036192 -> 3035113 0.59/0.63 c BCD2: 10024 <= obj <= 3035113 0.59/0.63 c BCD2: #cores=7, #unrelaxed=1852, #relaxed=20, #hardened=0 0.59/0.63 c BCD2: #sat=1 #unsat=8 bias=8/9 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 | 4174 0 | 5 | 1061 0.59/0.63 c 0.0s | 0 | 147 | 0 | 4174 0 | 5 | 1061 0.59/0.63 c #cpu_time = 0.004s 0.59/0.63 c #wall_clock_time = 0.004s 0.59/0.63 c #decision = 147 0.59/0.63 c #random_decision = 0 0.59/0.63 c #conflict = 0 0.59/0.63 c #restart = 0 0.59/0.63 c BCD2: found a new core of size 3: cost of the new core is >=1645 0.59/0.63 c lower bound updated to 11669 0.59/0.66 c BCD2: refineUB: 3036192 -> 3035113 0.59/0.66 c BCD2: 11669 <= obj <= 3035113 0.59/0.66 c BCD2: #cores=8, #unrelaxed=1849, #relaxed=23, #hardened=0 0.59/0.66 c BCD2: #sat=1 #unsat=9 bias=9/10 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 | 4174 0 | 5 | 1061 0.59/0.67 c 0.0s | 0 | 231 | 0 | 4174 0 | 5 | 1061 0.59/0.67 c #cpu_time = 0.004s 0.59/0.67 c #wall_clock_time = 0.004s 0.59/0.67 c #decision = 231 0.59/0.67 c #random_decision = 0 0.59/0.67 c #conflict = 0 0.59/0.67 c #restart = 0 0.59/0.67 c BCD2: found a new core of size 20: cost of the new core is >=1210 0.59/0.67 c lower bound updated to 12879 0.69/0.70 c BCD2: refineUB: 3036192 -> 3035113 0.69/0.70 c BCD2: 12879 <= obj <= 3035113 0.69/0.70 c BCD2: #cores=9, #unrelaxed=1829, #relaxed=43, #hardened=0 0.69/0.70 c BCD2: #sat=1 #unsat=10 bias=10/11 0.69/0.70 c Solving starts ... 0.69/0.70 c ============================[ Search Statistics ]============================ 0.69/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.70 c | | | | Limit GC | Var | Constra 0.69/0.70 c ============================================================================= 0.69/0.70 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 0.69/0.71 c 0.0s | 0 | 228 | 0 | 4174 0 | 5 | 1061 0.69/0.71 c #cpu_time = 0.004s 0.69/0.71 c #wall_clock_time = 0.004s 0.69/0.71 c #decision = 228 0.69/0.71 c #random_decision = 0 0.69/0.71 c #conflict = 0 0.69/0.71 c #restart = 0 0.69/0.71 c BCD2: found a new core of size 5: cost of the new core is >=1340 0.69/0.71 c lower bound updated to 14219 0.69/0.74 c BCD2: refineUB: 3036192 -> 3035113 0.69/0.74 c BCD2: 14219 <= obj <= 3035113 0.69/0.74 c BCD2: #cores=10, #unrelaxed=1824, #relaxed=48, #hardened=0 0.69/0.74 c BCD2: #sat=1 #unsat=11 bias=11/12 0.69/0.74 c Solving starts ... 0.69/0.74 c ============================[ Search Statistics ]============================ 0.69/0.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.74 c | | | | Limit GC | Var | Constra 0.69/0.74 c ============================================================================= 0.69/0.74 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 0.69/0.74 c 0.0s | 0 | 245 | 0 | 4174 0 | 5 | 1061 0.69/0.74 c #cpu_time = 0.004s 0.69/0.74 c #wall_clock_time = 0.004s 0.69/0.74 c #decision = 245 0.69/0.74 c #random_decision = 0 0.69/0.74 c #conflict = 0 0.69/0.74 c #restart = 0 0.69/0.74 c BCD2: found a new core of size 37: cost of the new core is >=1262 0.69/0.74 c lower bound updated to 15481 0.69/0.78 c BCD2: refineUB: 3036192 -> 3035113 0.69/0.78 c BCD2: 15481 <= obj <= 3035113 0.69/0.78 c BCD2: #cores=11, #unrelaxed=1787, #relaxed=85, #hardened=0 0.69/0.78 c BCD2: #sat=1 #unsat=12 bias=12/13 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 | 4174 0 | 5 | 1061 0.69/0.79 c 0.0s | 0 | 430 | 0 | 4174 0 | 5 | 1061 0.69/0.79 c #cpu_time = 0.004s 0.69/0.79 c #wall_clock_time = 0.004s 0.69/0.79 c #decision = 430 0.69/0.79 c #random_decision = 0 0.69/0.79 c #conflict = 0 0.69/0.79 c #restart = 0 0.69/0.79 c BCD2: found a new core of size 179: cost of the new core is >=1184 0.69/0.79 c lower bound updated to 16665 0.79/0.82 c BCD2: refineUB: 3036192 -> 3035113 0.79/0.82 c BCD2: 16665 <= obj <= 3035113 0.79/0.82 c BCD2: #cores=12, #unrelaxed=1608, #relaxed=264, #hardened=0 0.79/0.82 c BCD2: #sat=1 #unsat=13 bias=13/14 0.79/0.82 c Solving starts ... 0.79/0.82 c ============================[ Search Statistics ]============================ 0.79/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.82 c | | | | Limit GC | Var | Constra 0.79/0.82 c ============================================================================= 0.79/0.82 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 0.79/0.83 c 0.0s | 0 | 389 | 0 | 4174 0 | 5 | 1061 0.79/0.83 c #cpu_time = 0.004s 0.79/0.83 c #wall_clock_time = 0.004s 0.79/0.83 c #decision = 389 0.79/0.83 c #random_decision = 0 0.79/0.83 c #conflict = 0 0.79/0.83 c #restart = 0 0.79/0.83 c BCD2: found a new core of size 163: cost of the new core is >=1262 0.79/0.83 c lower bound updated to 17927 0.79/0.86 c BCD2: refineUB: 3036192 -> 3035113 0.79/0.86 c BCD2: 17927 <= obj <= 3035113 0.79/0.86 c BCD2: #cores=13, #unrelaxed=1445, #relaxed=427, #hardened=0 0.79/0.86 c BCD2: #sat=1 #unsat=14 bias=14/15 0.79/0.86 c Solving starts ... 0.79/0.86 c ============================[ Search Statistics ]============================ 0.79/0.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.86 c | | | | Limit GC | Var | Constra 0.79/0.86 c ============================================================================= 0.79/0.86 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 0.79/0.87 c 0.0s | 0 | 256 | 0 | 4174 0 | 5 | 1061 0.79/0.87 c #cpu_time = 0.004s 0.79/0.87 c #wall_clock_time = 0.004s 0.79/0.87 c #decision = 256 0.79/0.87 c #random_decision = 0 0.79/0.87 c #conflict = 0 0.79/0.87 c #restart = 0 0.79/0.87 c BCD2: found a new core of size 7: cost of the new core is >=1448 0.79/0.87 c lower bound updated to 19375 0.89/0.90 c BCD2: refineUB: 3036192 -> 3035113 0.89/0.90 c BCD2: 19375 <= obj <= 3035113 0.89/0.90 c BCD2: #cores=14, #unrelaxed=1438, #relaxed=434, #hardened=0 0.89/0.90 c BCD2: #sat=1 #unsat=15 bias=15/16 0.99/1.01 c Solving starts ... 0.99/1.01 c ============================[ Search Statistics ]============================ 0.99/1.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.01 c | | | | Limit GC | Var | Constra 0.99/1.01 c ============================================================================= 0.99/1.01 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 0.99/1.01 c 0.0s | 0 | 449 | 0 | 4174 0 | 5 | 1061 0.99/1.01 c #cpu_time = 0.007s 0.99/1.01 c #wall_clock_time = 0.007s 0.99/1.01 c #decision = 449 0.99/1.01 c #random_decision = 0 0.99/1.01 c #conflict = 0 0.99/1.01 c #restart = 0 0.99/1.01 c BCD2: found a new core of size 100: cost of the new core is >=1158 0.99/1.01 c lower bound updated to 20533 0.99/1.01 c BCD2: refineUB: 3036192 -> 3035113 0.99/1.01 c BCD2: 20533 <= obj <= 3035113 0.99/1.01 c BCD2: #cores=15, #unrelaxed=1338, #relaxed=534, #hardened=0 0.99/1.01 c BCD2: #sat=1 #unsat=16 bias=16/17 0.99/1.01 c Solving starts ... 0.99/1.01 c ============================[ Search Statistics ]============================ 0.99/1.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.01 c | | | | Limit GC | Var | Constra 0.99/1.01 c ============================================================================= 0.99/1.01 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 0.99/1.01 c 0.0s | 0 | 439 | 0 | 4174 0 | 5 | 1061 0.99/1.01 c #cpu_time = 0.004s 0.99/1.01 c #wall_clock_time = 0.004s 0.99/1.01 c #decision = 439 0.99/1.01 c #random_decision = 0 0.99/1.01 c #conflict = 0 0.99/1.01 c #restart = 0 0.99/1.01 c BCD2: found a new core of size 113: cost of the new core is >=1236 0.99/1.01 c lower bound updated to 21769 0.99/1.02 c BCD2: refineUB: 3036192 -> 3035113 0.99/1.02 c BCD2: 21769 <= obj <= 3035113 0.99/1.02 c BCD2: #cores=16, #unrelaxed=1225, #relaxed=647, #hardened=0 0.99/1.02 c BCD2: #sat=1 #unsat=17 bias=17/18 0.99/1.03 c Solving starts ... 0.99/1.03 c ============================[ Search Statistics ]============================ 0.99/1.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.03 c | | | | Limit GC | Var | Constra 0.99/1.03 c ============================================================================= 0.99/1.03 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 0.99/1.03 c 0.0s | 0 | 360 | 0 | 4174 0 | 5 | 1061 0.99/1.03 c #cpu_time = 0.004s 0.99/1.03 c #wall_clock_time = 0.004s 0.99/1.03 c #decision = 360 0.99/1.03 c #random_decision = 0 0.99/1.03 c #conflict = 0 0.99/1.03 c #restart = 0 0.99/1.03 c BCD2: found a new core of size 65: cost of the new core is >=1288 0.99/1.03 c lower bound updated to 23057 0.99/1.06 c BCD2: refineUB: 3036192 -> 3035113 0.99/1.06 c BCD2: 23057 <= obj <= 3035113 0.99/1.06 c BCD2: #cores=17, #unrelaxed=1160, #relaxed=712, #hardened=0 0.99/1.06 c BCD2: #sat=1 #unsat=18 bias=18/19 0.99/1.08 c Solving starts ... 0.99/1.08 c ============================[ Search Statistics ]============================ 0.99/1.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.08 c | | | | Limit GC | Var | Constra 0.99/1.08 c ============================================================================= 0.99/1.08 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 0.99/1.09 c 0.0s | 0 | 460 | 0 | 4174 0 | 5 | 1061 0.99/1.09 c #cpu_time = 0.005s 0.99/1.09 c #wall_clock_time = 0.005s 0.99/1.09 c #decision = 460 0.99/1.09 c #random_decision = 0 0.99/1.09 c #conflict = 0 0.99/1.09 c #restart = 0 0.99/1.09 c BCD2: found a new core of size 15: cost of the new core is >=1132 0.99/1.09 c lower bound updated to 24189 1.09/1.12 c BCD2: refineUB: 3036192 -> 3035113 1.09/1.12 c BCD2: 24189 <= obj <= 3035113 1.09/1.12 c BCD2: #cores=18, #unrelaxed=1145, #relaxed=727, #hardened=0 1.09/1.12 c BCD2: #sat=1 #unsat=19 bias=19/20 1.09/1.13 c Solving starts ... 1.09/1.13 c ============================[ Search Statistics ]============================ 1.09/1.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.13 c | | | | Limit GC | Var | Constra 1.09/1.13 c ============================================================================= 1.09/1.13 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 1.09/1.14 c 0.0s | 0 | 489 | 0 | 4174 0 | 5 | 1061 1.09/1.14 c #cpu_time = 0.005s 1.09/1.14 c #wall_clock_time = 0.005s 1.09/1.14 c #decision = 489 1.09/1.14 c #random_decision = 0 1.09/1.14 c #conflict = 0 1.09/1.14 c #restart = 0 1.09/1.14 c BCD2: found a new core of size 15: cost of the new core is >=1262 1.09/1.14 c lower bound updated to 25451 1.09/1.17 c BCD2: refineUB: 3036192 -> 3035113 1.09/1.17 c BCD2: 25451 <= obj <= 3035113 1.09/1.17 c BCD2: #cores=19, #unrelaxed=1130, #relaxed=742, #hardened=0 1.09/1.17 c BCD2: #sat=1 #unsat=20 bias=20/21 1.09/1.18 c Solving starts ... 1.09/1.18 c ============================[ Search Statistics ]============================ 1.09/1.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.18 c | | | | Limit GC | Var | Constra 1.09/1.18 c ============================================================================= 1.09/1.18 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 1.09/1.19 c 0.0s | 0 | 534 | 0 | 4174 0 | 5 | 1061 1.09/1.19 c #cpu_time = 0.010s 1.09/1.19 c #wall_clock_time = 0.010s 1.09/1.19 c #decision = 534 1.09/1.19 c #random_decision = 0 1.09/1.19 c #conflict = 0 1.09/1.19 c #restart = 0 1.09/1.19 c BCD2: found a new core of size 67: cost of the new core is >=1280 1.09/1.19 c lower bound updated to 26731 1.19/1.22 c BCD2: refineUB: 3036192 -> 3035113 1.19/1.22 c BCD2: 26731 <= obj <= 3035113 1.19/1.22 c BCD2: #cores=20, #unrelaxed=1063, #relaxed=809, #hardened=0 1.19/1.22 c BCD2: #sat=1 #unsat=21 bias=21/22 1.19/1.23 c Solving starts ... 1.19/1.23 c ============================[ Search Statistics ]============================ 1.19/1.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.23 c | | | | Limit GC | Var | Constra 1.19/1.23 c ============================================================================= 1.19/1.23 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 1.19/1.23 c 0.0s | 0 | 528 | 0 | 4174 0 | 5 | 1061 1.19/1.23 c #cpu_time = 0.005s 1.19/1.23 c #wall_clock_time = 0.005s 1.19/1.23 c #decision = 528 1.19/1.23 c #random_decision = 0 1.19/1.23 c #conflict = 0 1.19/1.23 c #restart = 0 1.19/1.23 c BCD2: found a new core of size 69: cost of the new core is >=1210 1.19/1.23 c lower bound updated to 27941 1.19/1.27 c BCD2: refineUB: 3036192 -> 3035113 1.19/1.27 c BCD2: 27941 <= obj <= 3035113 1.19/1.27 c BCD2: #cores=21, #unrelaxed=994, #relaxed=878, #hardened=0 1.19/1.27 c BCD2: #sat=1 #unsat=22 bias=22/23 1.19/1.28 c Solving starts ... 1.19/1.28 c ============================[ Search Statistics ]============================ 1.19/1.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.28 c | | | | Limit GC | Var | Constra 1.19/1.28 c ============================================================================= 1.19/1.28 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 1.19/1.29 c 0.0s | 0 | 645 | 0 | 4174 0 | 5 | 1061 1.19/1.29 c #cpu_time = 0.006s 1.19/1.29 c #wall_clock_time = 0.006s 1.19/1.29 c #decision = 645 1.19/1.29 c #random_decision = 0 1.19/1.29 c #conflict = 0 1.19/1.29 c #restart = 0 1.19/1.29 c BCD2: found a new core of size 61: cost of the new core is >=1210 1.19/1.29 c lower bound updated to 29151 1.29/1.32 c BCD2: refineUB: 3036192 -> 3035113 1.29/1.32 c BCD2: 29151 <= obj <= 3035113 1.29/1.32 c BCD2: #cores=22, #unrelaxed=933, #relaxed=939, #hardened=0 1.29/1.32 c BCD2: #sat=1 #unsat=23 bias=23/24 1.29/1.34 c Solving starts ... 1.29/1.34 c ============================[ Search Statistics ]============================ 1.29/1.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.34 c | | | | Limit GC | Var | Constra 1.29/1.34 c ============================================================================= 1.29/1.34 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 1.29/1.34 c 0.0s | 0 | 610 | 0 | 4174 0 | 5 | 1061 1.29/1.34 c #cpu_time = 0.006s 1.29/1.34 c #wall_clock_time = 0.006s 1.29/1.34 c #decision = 610 1.29/1.34 c #random_decision = 0 1.29/1.34 c #conflict = 0 1.29/1.34 c #restart = 0 1.29/1.34 c BCD2: found a new core of size 3: cost of the new core is >=1106 1.29/1.34 c lower bound updated to 30257 1.29/1.37 c BCD2: refineUB: 3036192 -> 3035113 1.29/1.38 c BCD2: 30257 <= obj <= 3035113 1.29/1.38 c BCD2: #cores=23, #unrelaxed=930, #relaxed=942, #hardened=0 1.29/1.38 c BCD2: #sat=1 #unsat=24 bias=24/25 1.29/1.39 c Solving starts ... 1.29/1.39 c ============================[ Search Statistics ]============================ 1.29/1.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.39 c | | | | Limit GC | Var | Constra 1.29/1.39 c ============================================================================= 1.29/1.39 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 1.29/1.39 c 0.0s | 0 | 661 | 0 | 4174 0 | 5 | 1061 1.29/1.39 c #cpu_time = 0.006s 1.29/1.39 c #wall_clock_time = 0.006s 1.29/1.39 c #decision = 661 1.29/1.39 c #random_decision = 0 1.29/1.39 c #conflict = 0 1.29/1.39 c #restart = 0 1.29/1.39 c BCD2: found a new core of size 82: cost of the new core is >=1236 1.29/1.39 c lower bound updated to 31493 1.39/1.43 c BCD2: refineUB: 3036192 -> 3035113 1.39/1.43 c BCD2: 31493 <= obj <= 3035113 1.39/1.43 c BCD2: #cores=24, #unrelaxed=848, #relaxed=1024, #hardened=0 1.39/1.43 c BCD2: #sat=1 #unsat=25 bias=25/26 1.39/1.45 c Solving starts ... 1.39/1.45 c ============================[ Search Statistics ]============================ 1.39/1.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.45 c | | | | Limit GC | Var | Constra 1.39/1.45 c ============================================================================= 1.39/1.45 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 1.39/1.45 c 0.0s | 0 | 603 | 0 | 4174 0 | 5 | 1061 1.39/1.45 c #cpu_time = 0.005s 1.39/1.45 c #wall_clock_time = 0.005s 1.39/1.45 c #decision = 603 1.39/1.45 c #random_decision = 0 1.39/1.45 c #conflict = 0 1.39/1.45 c #restart = 0 1.39/1.45 c BCD2: found a new core of size 47: cost of the new core is >=1288 1.39/1.45 c lower bound updated to 32781 1.39/1.48 c BCD2: refineUB: 3036192 -> 3035113 1.39/1.48 c BCD2: 32781 <= obj <= 3035113 1.39/1.48 c BCD2: #cores=25, #unrelaxed=801, #relaxed=1071, #hardened=0 1.39/1.48 c BCD2: #sat=1 #unsat=26 bias=26/27 1.49/1.51 c Solving starts ... 1.49/1.51 c ============================[ Search Statistics ]============================ 1.49/1.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.51 c | | | | Limit GC | Var | Constra 1.49/1.51 c ============================================================================= 1.49/1.51 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 1.49/1.52 c 0.0s | 0 | 626 | 0 | 4174 0 | 5 | 1061 1.49/1.52 c #cpu_time = 0.006s 1.49/1.52 c #wall_clock_time = 0.006s 1.49/1.52 c #decision = 626 1.49/1.52 c #random_decision = 0 1.49/1.52 c #conflict = 0 1.49/1.52 c #restart = 0 1.49/1.52 c BCD2: found a new core of size 78: cost of the new core is >=1196 1.49/1.52 c lower bound updated to 33977 1.49/1.55 c BCD2: refineUB: 3036192 -> 3035113 1.49/1.55 c BCD2: 33977 <= obj <= 3035113 1.49/1.55 c BCD2: #cores=26, #unrelaxed=723, #relaxed=1149, #hardened=0 1.49/1.55 c BCD2: #sat=1 #unsat=27 bias=27/28 1.49/1.58 c Solving starts ... 1.49/1.58 c ============================[ Search Statistics ]============================ 1.49/1.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.58 c | | | | Limit GC | Var | Constra 1.49/1.58 c ============================================================================= 1.49/1.58 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 1.49/1.58 c 0.0s | 0 | 631 | 0 | 4174 0 | 5 | 1061 1.49/1.58 c #cpu_time = 0.006s 1.49/1.58 c #wall_clock_time = 0.006s 1.49/1.58 c #decision = 631 1.49/1.58 c #random_decision = 0 1.49/1.58 c #conflict = 0 1.49/1.58 c #restart = 0 1.49/1.58 c BCD2: found a new core of size 17: cost of the new core is >=1506 1.49/1.58 c lower bound updated to 35483 1.59/1.63 c BCD2: refineUB: 3036192 -> 3035113 1.59/1.63 c BCD2: 35483 <= obj <= 3035113 1.59/1.63 c BCD2: #cores=27, #unrelaxed=706, #relaxed=1166, #hardened=0 1.59/1.63 c BCD2: #sat=1 #unsat=28 bias=28/29 1.59/1.67 c Solving starts ... 1.59/1.67 c ============================[ Search Statistics ]============================ 1.59/1.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.67 c | | | | Limit GC | Var | Constra 1.59/1.67 c ============================================================================= 1.59/1.67 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 1.59/1.68 c 0.0s | 0 | 707 | 0 | 4174 0 | 5 | 1061 1.59/1.68 c #cpu_time = 0.009s 1.59/1.68 c #wall_clock_time = 0.009s 1.59/1.68 c #decision = 707 1.59/1.68 c #random_decision = 0 1.59/1.68 c #conflict = 0 1.59/1.68 c #restart = 0 1.59/1.68 c BCD2: found a new core of size 73: cost of the new core is >=1210 1.59/1.68 c lower bound updated to 36693 1.69/1.75 c BCD2: refineUB: 3036192 -> 3035113 1.69/1.75 c BCD2: 36693 <= obj <= 3035113 1.69/1.75 c BCD2: #cores=28, #unrelaxed=633, #relaxed=1239, #hardened=0 1.69/1.75 c BCD2: #sat=1 #unsat=29 bias=29/30 1.69/1.78 c Solving starts ... 1.69/1.78 c ============================[ Search Statistics ]============================ 1.69/1.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.78 c | | | | Limit GC | Var | Constra 1.69/1.78 c ============================================================================= 1.69/1.78 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 1.69/1.79 c 0.0s | 0 | 2048 | 0 | 4174 0 | 5 | 1061 1.69/1.79 c #cpu_time = 0.011s 1.69/1.79 c #wall_clock_time = 0.011s 1.69/1.79 c #decision = 2048 1.69/1.79 c #random_decision = 2 1.69/1.79 c #conflict = 0 1.69/1.79 c #restart = 0 1.69/1.79 o 72242 1.69/1.79 c BCD2: updating upper bound: 3035113 -> 72241 1.79/1.80 c BCD2: 36693 <= obj <= 72241 1.79/1.80 c BCD2: #cores=28, #unrelaxed=633, #relaxed=1239, #hardened=0 1.79/1.80 c BCD2: #sat=2 #unsat=29 bias=29/31 3.09/3.14 c Solving starts ... 3.09/3.14 c ============================[ Search Statistics ]============================ 3.09/3.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.09/3.14 c | | | | Limit GC | Var | Constra 3.09/3.14 c ============================================================================= 3.09/3.14 c 0.0s | 0 | 0 | 0 | 4174 0 | 5 | 1061 3.09/3.14 c 0.0s | 0 | 57 | 0 | 4174 0 | 5 | 1061 3.09/3.14 c #cpu_time = 0.007s 3.09/3.14 c #wall_clock_time = 0.007s 3.09/3.14 c #decision = 57 3.09/3.14 c #random_decision = 0 3.09/3.14 c #conflict = 0 3.09/3.14 c #restart = 0 3.09/3.14 c BCD2: relaxing 2 and merging with 3 cores into a new core of size 13: cost of the new core is >=4273 3.09/3.14 c lower bound updated to 36694 3.09/3.14 c BCD2: 36694 <= obj <= 72241 3.09/3.14 c BCD2: #cores=26, #unrelaxed=631, #relaxed=1241, #hardened=0 3.09/3.14 c BCD2: #sat=2 #unsat=30 bias=30/32 5.60/5.64 c Solving starts ... 5.60/5.64 c ============================[ Search Statistics ]============================ 5.60/5.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.60/5.64 c | | | | Limit GC | Var | Constra 5.60/5.64 c ============================================================================= 5.60/5.64 c 0.0s | 0 | 0 | 0 | 4174 0 | 74 | 1061 5.60/5.65 c 0.0s | 0 | 333 | 0 | 4174 0 | 74 | 1196 5.60/5.65 c #cpu_time = 0.007s 5.60/5.65 c #wall_clock_time = 0.007s 5.60/5.65 c #decision = 333 5.60/5.65 c #random_decision = 0 5.60/5.65 c #conflict = 0 5.60/5.65 c #restart = 0 5.60/5.65 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 17: cost of the new core is >=1314 5.60/5.65 c BCD2: refineLB: 1311 -> 1314 5.60/5.65 c lower bound updated to 36746 5.60/5.65 c BCD2: 36746 <= obj <= 72241 5.60/5.65 c BCD2: #cores=26, #unrelaxed=629, #relaxed=1243, #hardened=0 5.60/5.65 c BCD2: #sat=2 #unsat=31 bias=31/33 7.99/8.00 c Solving starts ... 7.99/8.00 c ============================[ Search Statistics ]============================ 7.99/8.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.99/8.00 c | | | | Limit GC | Var | Constra 7.99/8.00 c ============================================================================= 7.99/8.00 c 0.0s | 0 | 0 | 0 | 4174 0 | 85 | 1196 7.99/8.01 c 0.0s | 0 | 454 | 0 | 4174 0 | 85 | 1217 7.99/8.01 c #cpu_time = 0.007s 7.99/8.01 c #wall_clock_time = 0.007s 7.99/8.01 c #decision = 454 7.99/8.01 c #random_decision = 0 7.99/8.01 c #conflict = 0 7.99/8.01 c #restart = 0 7.99/8.01 c BCD2: relaxing 10 and merging with 1 cores into a new core of size 71: cost of the new core is >=1314 7.99/8.01 c BCD2: refineLB: 1308 -> 1314 7.99/8.01 c lower bound updated to 36850 7.99/8.01 c BCD2: 36850 <= obj <= 72241 7.99/8.01 c BCD2: #cores=26, #unrelaxed=619, #relaxed=1253, #hardened=0 7.99/8.01 c BCD2: #sat=2 #unsat=32 bias=32/34 11.10/11.18 c Solving starts ... 11.10/11.18 c ============================[ Search Statistics ]============================ 11.10/11.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.10/11.18 c | | | | Limit GC | Var | Constra 11.10/11.18 c ============================================================================= 11.10/11.18 c 0.0s | 0 | 0 | 0 | 4174 0 | 93 | 1217 11.10/11.18 c 0.0s | 0 | 480 | 0 | 4174 0 | 93 | 1232 11.10/11.18 c #cpu_time = 0.008s 11.10/11.18 c #wall_clock_time = 0.008s 11.10/11.18 c #decision = 480 11.10/11.18 c #random_decision = 0 11.10/11.18 c #conflict = 0 11.10/11.18 c #restart = 0 11.10/11.19 c BCD2: relaxing 16 and merging with 4 cores into a new core of size 110: cost of the new core is >=5015 11.10/11.19 c lower bound updated to 36851 11.10/11.19 c BCD2: 36851 <= obj <= 72241 11.10/11.19 c BCD2: #cores=23, #unrelaxed=603, #relaxed=1269, #hardened=0 11.10/11.19 c BCD2: #sat=2 #unsat=33 bias=33/35 14.49/14.51 c Solving starts ... 14.49/14.51 c ============================[ Search Statistics ]============================ 14.49/14.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 14.49/14.51 c | | | | Limit GC | Var | Constra 14.49/14.51 c ============================================================================= 14.49/14.51 c 0.0s | 0 | 0 | 0 | 4174 0 | 164 | 1232 14.49/14.57 c 0.1s | 1 | 2874 | 100 | 4174 0 | 164 | 1376 14.59/14.68 c 0.2s | 2 | 5724 | 250 | 4592 0 | 164 | 1376 14.79/14.85 c 0.3s | 3 | 7636 | 475 | 5052 0 | 164 | 1376 14.99/15.03 c 0.5s | 4 | 9806 | 813 | 5558 0 | 164 | 1376 15.09/15.10 c 0.6s | 4 | 10757 | 870 | 6114 0 | 164 | 1376 15.09/15.10 c #cpu_time = 0.582s 15.09/15.10 c #wall_clock_time = 0.584s 15.09/15.10 c #decision = 10757 15.09/15.10 c #random_decision = 18 15.09/15.10 c #conflict = 870 15.09/15.10 c #restart = 4 15.09/15.10 o 63966 15.09/15.10 c BCD2: updating upper bound: 72241 -> 63965 15.09/15.11 c BCD2: 36851 <= obj <= 63965 15.09/15.11 c BCD2: #cores=23, #unrelaxed=603, #relaxed=1269, #hardened=0 15.09/15.11 c BCD2: #sat=3 #unsat=33 bias=33/36 16.60/16.65 c Solving starts ... 16.60/16.65 c ============================[ Search Statistics ]============================ 16.60/16.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 16.60/16.65 c | | | | Limit GC | Var | Constra 16.60/16.65 c ============================================================================= 16.60/16.65 c 0.0s | 0 | 0 | 0 | 6114 0 | 164 | 1377 16.60/16.66 c 0.0s | 0 | 316 | 0 | 6114 0 | 164 | 1377 16.60/16.66 c #cpu_time = 0.011s 16.60/16.66 c #wall_clock_time = 0.011s 16.60/16.66 c #decision = 316 16.60/16.66 c #random_decision = 0 16.60/16.66 c #conflict = 0 16.60/16.66 c #restart = 0 16.60/16.66 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 18: cost of the new core is >=1262 16.60/16.66 c BCD2: refineLB: 1252 -> 1262 16.60/16.66 c lower bound updated to 36981 16.60/16.66 c BCD2: 36981 <= obj <= 63965 16.60/16.66 c BCD2: #cores=23, #unrelaxed=600, #relaxed=1272, #hardened=0 16.60/16.66 c BCD2: #sat=3 #unsat=34 bias=34/37 17.99/18.00 c Solving starts ... 17.99/18.00 c ============================[ Search Statistics ]============================ 17.99/18.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 17.99/18.00 c | | | | Limit GC | Var | Constra 17.99/18.00 c ============================================================================= 17.99/18.00 c 0.0s | 0 | 0 | 0 | 6114 0 | 180 | 1377 17.99/18.02 c 0.0s | 0 | 559 | 2 | 6114 0 | 180 | 1411 17.99/18.02 c #cpu_time = 0.014s 17.99/18.02 c #wall_clock_time = 0.014s 17.99/18.02 c #decision = 559 17.99/18.02 c #random_decision = 0 17.99/18.02 c #conflict = 2 17.99/18.02 c #restart = 0 17.99/18.02 c BCD2: relaxing 0 and merging with 3 cores into a new core of size 33: cost of the new core is >=7398 17.99/18.02 c lower bound updated to 36982 17.99/18.02 c BCD2: 36982 <= obj <= 63965 17.99/18.02 c BCD2: #cores=21, #unrelaxed=600, #relaxed=1272, #hardened=0 17.99/18.02 c BCD2: #sat=3 #unsat=35 bias=35/38 20.19/20.29 c Solving starts ... 20.19/20.29 c ============================[ Search Statistics ]============================ 20.19/20.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 20.19/20.29 c | | | | Limit GC | Var | Constra 20.19/20.29 c ============================================================================= 20.19/20.29 c 0.0s | 0 | 0 | 0 | 6114 0 | 220 | 1411 20.29/20.35 c 0.1s | 1 | 1066 | 100 | 6114 0 | 220 | 1493 20.29/20.37 c 0.1s | 1 | 1785 | 111 | 6114 0 | 220 | 1493 20.29/20.37 c #cpu_time = 0.083s 20.29/20.37 c #wall_clock_time = 0.084s 20.29/20.37 c #decision = 1785 20.29/20.37 c #random_decision = 0 20.29/20.37 c #conflict = 111 20.29/20.37 c #restart = 1 20.29/20.37 c BCD2: relaxing 38 and merging with 6 cores into a new core of size 243: cost of the new core is >=11709 20.29/20.37 c lower bound updated to 36983 20.29/20.37 c BCD2: 36983 <= obj <= 63965 20.29/20.37 c BCD2: #cores=16, #unrelaxed=562, #relaxed=1310, #hardened=0 20.29/20.37 c BCD2: #sat=3 #unsat=36 bias=36/39 21.89/21.95 c Solving starts ... 21.89/21.95 c ============================[ Search Statistics ]============================ 21.89/21.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 21.89/21.95 c | | | | Limit GC | Var | Constra 21.89/21.95 c ============================================================================= 21.89/21.95 c 0.0s | 0 | 0 | 0 | 6114 0 | 301 | 1493 21.99/22.01 c 0.1s | 1 | 1675 | 100 | 6114 0 | 301 | 1661 22.09/22.11 c 0.2s | 2 | 4736 | 250 | 6114 0 | 301 | 1661 22.19/22.24 c 0.3s | 3 | 6279 | 475 | 6726 0 | 301 | 1661 22.39/22.43 c 0.5s | 4 | 9325 | 813 | 6726 0 | 301 | 1661 22.59/22.68 c 0.7s | 5 | 12773 | 1320 | 7399 0 | 301 | 1661 23.09/23.13 c 1.2s | 6 | 17269 | 2081 | 7399 0 | 301 | 1661 23.79/23.83 c 1.9s | 7 | 26199 | 3223 | 8139 0 | 301 | 1661 24.89/24.92 c 3.0s | 8 | 39864 | 4936 | 8953 0 | 301 | 1661 26.58/26.65 c 4.7s | 9 | 65982 | 7506 | 9849 0 | 301 | 1661 28.59/28.66 c 6.7s | 9 | 89428 | 10106 | 9849 0 | 301 | 1661 29.58/29.64 c 7.7s | 10 | 99081 | 11361 | 10834 0 | 301 | 1661 31.68/31.70 c 9.8s | 10 | 119378 | 14061 | 10834 1 | 301 | 1661 33.68/33.72 c 11.8s | 10 | 139035 | 16461 | 11918 1 | 301 | 1661 34.19/34.26 c 12.3s | 11 | 144143 | 17144 | 11918 1 | 301 | 1661 36.19/36.27 c 14.3s | 11 | 163721 | 19544 | 11918 1 | 301 | 1661 38.19/38.29 c 16.3s | 11 | 181489 | 22244 | 11918 2 | 301 | 1661 40.29/40.37 c 18.4s | 11 | 201072 | 24944 | 13110 2 | 301 | 1661 41.09/41.12 c 19.2s | 12 | 207907 | 25819 | 13110 2 | 301 | 1661 43.08/43.14 c 21.2s | 12 | 228665 | 28119 | 13110 3 | 301 | 1661 45.09/45.17 c 23.2s | 12 | 251691 | 30919 | 13110 3 | 301 | 1661 47.08/47.18 c 25.2s | 12 | 271759 | 33719 | 13110 3 | 301 | 1661 49.18/49.23 c 27.3s | 12 | 292828 | 36219 | 13110 4 | 301 | 1661 51.19/51.26 c 29.3s | 12 | 313942 | 38819 | 14422 4 | 301 | 1661 51.19/51.28 c 29.3s | 13 | 313996 | 38832 | 14422 4 | 301 | 1661 53.28/53.33 c 31.4s | 13 | 331843 | 41332 | 14422 4 | 301 | 1661 55.38/55.42 c 33.5s | 13 | 350298 | 43732 | 14422 4 | 301 | 1661 57.38/57.45 c 35.5s | 13 | 369520 | 46232 | 14422 5 | 301 | 1661 59.49/59.52 c 37.6s | 13 | 387082 | 48832 | 14422 5 | 301 | 1661 61.48/61.54 c 39.6s | 13 | 404690 | 51432 | 14422 5 | 301 | 1661 63.48/63.59 c 41.6s | 13 | 420023 | 54032 | 14422 6 | 301 | 1661 65.58/65.63 c 43.7s | 13 | 439236 | 56532 | 14422 6 | 301 | 1661 67.57/67.67 c 45.7s | 13 | 450528 | 58132 | 15865 6 | 301 | 1661 67.78/67.85 c 45.9s | 14 | 451260 | 58352 | 15865 6 | 301 | 1661 69.77/69.87 c 47.9s | 14 | 469657 | 60652 | 15865 6 | 301 | 1661 71.78/71.89 c 49.9s | 14 | 482520 | 63252 | 15865 7 | 301 | 1661 73.88/73.97 c 52.0s | 14 | 498212 | 66152 | 15865 7 | 301 | 1661 75.98/76.03 c 54.1s | 14 | 511831 | 68752 | 15865 7 | 301 | 1661 78.09/78.10 c 56.2s | 14 | 523862 | 71052 | 15865 7 | 301 | 1661 80.08/80.13 c 58.2s | 14 | 540998 | 73452 | 15865 8 | 301 | 1661 82.07/82.16 c 60.2s | 14 | 558209 | 76252 | 15865 8 | 301 | 1661 84.07/84.19 c 62.2s | 14 | 578031 | 79152 | 15865 8 | 301 | 1661 86.17/86.21 c 64.3s | 14 | 588250 | 81352 | 15865 9 | 301 | 1661 88.18/88.23 c 66.3s | 14 | 608003 | 83952 | 15865 9 | 301 | 1661 90.19/90.26 c 68.3s | 14 | 622894 | 85752 | 15865 9 | 301 | 1661 91.88/91.94 c 70.0s | 15 | 632679 | 87632 | 17452 9 | 301 | 1661 94.17/94.24 c 72.3s | 15 | 642432 | 89632 | 17452 9 | 301 | 1661 96.17/96.28 c 74.3s | 15 | 656828 | 92032 | 17452 10 | 301 | 1661 98.18/98.29 c 76.3s | 15 | 667088 | 94232 | 17452 10 | 301 | 1661 100.28/100.30 c 78.3s | 15 | 679702 | 96532 | 17452 10 | 301 | 1661 102.28/102.36 c 80.4s | 15 | 697571 | 99032 | 17452 10 | 301 | 1661 104.38/104.43 c 82.5s | 15 | 714547 | 101432 | 17452 10 | 301 | 1661 106.37/106.48 c 84.5s | 15 | 727405 | 103932 | 17452 11 | 301 | 1661 108.47/108.50 c 86.6s | 15 | 745472 | 106432 | 17452 11 | 301 | 1661 110.47/110.56 c 88.6s | 15 | 764924 | 108932 | 17452 11 | 301 | 1661 112.57/112.61 c 90.7s | 15 | 781275 | 111332 | 17452 11 | 301 | 1661 114.57/114.68 c 92.7s | 15 | 797056 | 113532 | 17452 12 | 301 | 1661 116.58/116.70 c 94.8s | 15 | 817108 | 116032 | 17452 12 | 301 | 1661 118.67/118.76 c 96.8s | 15 | 834132 | 118332 | 17452 12 | 301 | 1661 120.77/120.83 c 98.9s | 15 | 852316 | 120532 | 17452 12 | 301 | 1661 122.87/122.95 c 100s | 15 | 863042 | 122432 | 17452 13 | 301 | 1661 124.87/124.99 c 103s | 15 | 882032 | 124832 | 17452 13 | 301 | 1661 126.97/127.06 c 105s | 15 | 900479 | 127432 | 17452 13 | 301 | 1661 128.97/129.06 c 107s | 15 | 916277 | 129732 | 19198 13 | 301 | 1661 130.57/130.69 c 108s | 16 | 930312 | 131552 | 19198 13 | 301 | 1661 132.67/132.76 c 110s | 16 | 939298 | 133152 | 19198 14 | 301 | 1661 134.77/134.82 c 112s | 16 | 948456 | 134652 | 19198 14 | 301 | 1661 136.87/136.91 c 114s | 16 | 967689 | 137052 | 19198 14 | 301 | 1661 138.87/138.93 c 116s | 16 | 981769 | 138952 | 19198 14 | 301 | 1661 140.87/140.98 c 119s | 16 | 1000410 | 141052 | 19198 14 | 301 | 1661 142.87/142.99 c 121s | 16 | 1019537 | 143352 | 19198 15 | 301 | 1661 144.96/145.09 c 123s | 16 | 1044647 | 145952 | 19198 15 | 301 | 1661 147.06/147.10 c 125s | 16 | 1069128 | 148352 | 19198 15 | 301 | 1661 149.06/149.17 c 127s | 16 | 1090697 | 150852 | 19198 15 | 301 | 1661 151.17/151.22 c 129s | 16 | 1105681 | 152952 | 19198 15 | 301 | 1661 153.17/153.23 c 131s | 16 | 1125472 | 155052 | 19198 16 | 301 | 1661 155.26/155.31 c 133s | 16 | 1142820 | 157252 | 19198 16 | 301 | 1661 157.27/157.36 c 135s | 16 | 1159813 | 159252 | 19198 16 | 301 | 1661 159.36/159.43 c 137s | 16 | 1180936 | 161652 | 19198 16 | 301 | 1661 161.46/161.50 c 139s | 16 | 1199173 | 163952 | 19198 16 | 301 | 1661 163.46/163.57 c 141s | 16 | 1219678 | 166052 | 19198 17 | 301 | 1661 165.56/165.61 c 143s | 16 | 1237482 | 168352 | 19198 17 | 301 | 1661 167.66/167.72 c 145s | 16 | 1253362 | 170452 | 19198 17 | 301 | 1661 169.76/169.80 c 147s | 16 | 1269840 | 172552 | 19198 17 | 301 | 1661 171.75/171.82 c 149s | 16 | 1282292 | 174552 | 19198 17 | 301 | 1661 173.76/173.85 c 151s | 16 | 1299006 | 176452 | 19198 18 | 301 | 1661 175.85/175.90 c 153s | 16 | 1320720 | 178952 | 19198 18 | 301 | 1661 177.85/177.98 c 156s | 16 | 1339592 | 181352 | 19198 18 | 301 | 1661 179.95/180.00 c 158s | 16 | 1353525 | 183452 | 19198 18 | 301 | 1661 181.95/182.05 c 160s | 16 | 1371914 | 185552 | 19198 18 | 301 | 1661 183.95/184.05 c 162s | 16 | 1391931 | 187752 | 19198 19 | 301 | 1661 185.96/186.09 c 164s | 16 | 1409554 | 190052 | 19198 19 | 301 | 1661 187.95/188.09 c 166s | 16 | 1422547 | 192152 | 19198 19 | 301 | 1661 190.05/190.17 c 168s | 16 | 1438878 | 194352 | 19198 19 | 301 | 1661 192.15/192.22 c 170s | 16 | 1458483 | 196552 | 21118 19 | 301 | 1661 193.05/193.10 c 171s | 17 | 1464848 | 197432 | 21118 19 | 301 | 1661 195.04/195.12 c 173s | 17 | 1477836 | 198832 | 21118 20 | 301 | 1661 197.05/197.16 c 175s | 17 | 1496478 | 201232 | 21118 20 | 301 | 1661 199.06/199.18 c 177s | 17 | 1509023 | 203332 | 21118 20 | 301 | 1661 201.15/201.27 c 179s | 17 | 1524796 | 205632 | 21118 20 | 301 | 1661 203.25/203.31 c 181s | 17 | 1545983 | 207932 | 21118 20 | 301 | 1661 205.25/205.31 c 183s | 17 | 1564427 | 209932 | 21118 20 | 301 | 1661 207.45/207.51 c 185s | 17 | 1583999 | 212332 | 21118 21 | 301 | 1661 209.45/209.55 c 187s | 17 | 1600228 | 214632 | 21118 21 | 301 | 1661 211.55/211.63 c 189s | 17 | 1618486 | 217132 | 21118 21 | 301 | 1661 213.55/213.68 c 191s | 17 | 1635634 | 219532 | 21118 21 | 301 | 1661 215.65/215.77 c 193s | 17 | 1650645 | 221832 | 21118 22 | 301 | 1661 218.54/218.64 c 196s | 17 | 1664026 | 224232 | 21118 22 | 301 | 1661 220.54/220.64 c 198s | 17 | 1680765 | 226332 | 21118 22 | 301 | 1661 222.54/222.65 c 200s | 17 | 1700220 | 228832 | 21118 22 | 301 | 1661 224.54/224.67 c 202s | 17 | 1719173 | 231232 | 21118 22 | 301 | 1661 226.55/226.70 c 204s | 17 | 1733495 | 233332 | 21118 22 | 301 | 1661 228.64/228.72 c 206s | 17 | 1751567 | 235732 | 21118 23 | 301 | 1661 230.64/230.79 c 208s | 17 | 1768008 | 238132 | 21118 23 | 301 | 1661 232.74/232.85 c 210s | 17 | 1781890 | 240132 | 21118 23 | 301 | 1661 234.74/234.89 c 212s | 17 | 1797031 | 242132 | 21118 23 | 301 | 1661 236.83/236.91 c 214s | 17 | 1815331 | 244132 | 21118 23 | 301 | 1661 238.83/238.97 c 217s | 17 | 1826781 | 246032 | 21118 24 | 301 | 1661 240.94/241.03 c 219s | 17 | 1844900 | 248432 | 21118 24 | 301 | 1661 243.04/243.12 c 221s | 17 | 1860613 | 250732 | 21118 24 | 301 | 1661 245.03/245.16 c 223s | 17 | 1876777 | 252932 | 21118 24 | 301 | 1661 247.12/247.20 c 225s | 17 | 1889885 | 254932 | 21118 24 | 301 | 1661 249.13/249.23 c 227s | 17 | 1906185 | 256832 | 21118 24 | 301 | 1661 251.12/251.24 c 229s | 17 | 1922155 | 258732 | 21118 25 | 301 | 1661 253.12/253.28 c 231s | 17 | 1936323 | 261132 | 21118 25 | 301 | 1661 255.23/255.30 c 233s | 17 | 1949613 | 263232 | 21118 25 | 301 | 1661 257.21/257.39 c 235s | 17 | 1962630 | 265232 | 21118 25 | 301 | 1661 259.31/259.40 c 237s | 17 | 1978069 | 267532 | 21118 25 | 301 | 1661 261.31/261.47 c 239s | 17 | 1991748 | 269732 | 21118 26 | 301 | 1661 263.41/263.50 c 241s | 17 | 2002799 | 271932 | 21118 26 | 301 | 1661 265.42/265.58 c 243s | 17 | 2016828 | 274032 | 21118 26 | 301 | 1661 267.51/267.67 c 245s | 17 | 2028286 | 276432 | 21118 26 | 301 | 1661 269.61/269.75 c 247s | 17 | 2040151 | 278632 | 21118 26 | 301 | 1661 271.62/271.79 c 249s | 17 | 2054413 | 280632 | 21118 26 | 301 | 1661 273.71/273.82 c 251s | 17 | 2070861 | 282832 | 21118 27 | 301 | 1661 275.71/275.89 c 253s | 17 | 2087145 | 285132 | 21118 27 | 301 | 1661 277.81/277.97 c 256s | 17 | 2101296 | 287432 | 21118 27 | 301 | 1661 279.91/280.00 c 258s | 17 | 2118192 | 289832 | 21118 27 | 301 | 1661 281.91/282.09 c 260s | 17 | 2134250 | 291932 | 21118 27 | 301 | 1661 284.01/284.15 c 262s | 17 | 2146557 | 294032 | 23230 28 | 301 | 1661 286.01/286.18 c 264s | 17 | 2156909 | 296232 | 23230 28 | 301 | 1661 286.10/286.20 c 264s | 18 | 2156940 | 296252 | 23230 28 | 301 | 1661 288.30/288.43 c 266s | 18 | 2161713 | 297152 | 23230 28 | 301 | 1661 290.31/290.50 c 268s | 18 | 2178602 | 299252 | 23230 28 | 301 | 1661 292.41/292.60 c 270s | 18 | 2194570 | 301452 | 23230 28 | 301 | 1661 294.51/294.62 c 272s | 18 | 2207060 | 303752 | 23230 28 | 301 | 1661 296.51/296.63 c 274s | 18 | 2216995 | 305852 | 23230 28 | 301 | 1661 298.50/298.64 c 276s | 18 | 2234606 | 308152 | 23230 29 | 301 | 1661 300.60/300.74 c 278s | 18 | 2249315 | 310352 | 23230 29 | 301 | 1661 302.60/302.78 c 280s | 18 | 2264451 | 312552 | 23230 29 | 301 | 1661 304.71/304.84 c 282s | 18 | 2277362 | 314652 | 23230 29 | 301 | 1661 306.69/306.89 c 284s | 18 | 2293211 | 316752 | 23230 29 | 301 | 1661 308.79/308.91 c 286s | 18 | 2299738 | 318052 | 23230 29 | 301 | 1661 310.80/310.97 c 289s | 18 | 2312103 | 319952 | 23230 30 | 301 | 1661 312.90/313.03 c 291s | 18 | 2326439 | 322352 | 23230 30 | 301 | 1661 315.00/315.11 c 293s | 18 | 2339692 | 324552 | 23230 30 | 301 | 1661 317.39/317.54 c 295s | 18 | 2344684 | 325752 | 23230 30 | 301 | 1661 319.49/319.65 c 297s | 18 | 2359836 | 328152 | 23230 30 | 301 | 1661 321.49/321.67 c 299s | 18 | 2371461 | 330252 | 23230 30 | 301 | 1661 323.59/323.70 c 301s | 18 | 2383425 | 332252 | 23230 31 | 301 | 1661 325.60/325.73 c 303s | 18 | 2393735 | 334352 | 23230 31 | 301 | 1661 327.59/327.76 c 305s | 18 | 2405243 | 336752 | 23230 31 | 301 | 1661 329.59/329.78 c 307s | 18 | 2416078 | 338952 | 23230 31 | 301 | 1661 331.68/331.86 c 309s | 18 | 2430383 | 341252 | 23230 31 | 301 | 1661 333.68/333.88 c 311s | 18 | 2442071 | 342952 | 23230 31 | 301 | 1661 335.79/335.94 c 313s | 18 | 2455146 | 344952 | 23230 32 | 301 | 1661 337.78/337.97 c 316s | 18 | 2464437 | 346952 | 23230 32 | 301 | 1661 339.89/340.02 c 318s | 18 | 2471060 | 348352 | 23230 32 | 301 | 1661 341.88/342.08 c 320s | 18 | 2485042 | 350552 | 23230 32 | 301 | 1661 343.98/344.15 c 322s | 18 | 2497160 | 352652 | 23230 32 | 301 | 1661 345.98/346.18 c 324s | 18 | 2509386 | 354552 | 23230 32 | 301 | 1661 348.08/348.22 c 326s | 18 | 2518537 | 356452 | 23230 32 | 301 | 1661 350.07/350.24 c 328s | 18 | 2530376 | 358352 | 23230 33 | 301 | 1661 352.88/353.07 c 331s | 18 | 2542009 | 359952 | 23230 33 | 301 | 1661 355.18/355.35 c 333s | 18 | 2556033 | 362352 | 23230 33 | 301 | 1661 357.17/357.38 c 335s | 18 | 2569013 | 364452 | 23230 33 | 301 | 1661 359.27/359.46 c 337s | 18 | 2583236 | 366652 | 23230 33 | 301 | 1661 361.37/361.50 c 339s | 18 | 2595648 | 368752 | 23230 33 | 301 | 1661 363.37/363.54 c 341s | 18 | 2610798 | 370652 | 23230 34 | 301 | 1661 365.47/365.60 c 343s | 18 | 2624832 | 373152 | 23230 34 | 301 | 1661 367.47/367.67 c 345s | 18 | 2637731 | 375552 | 23230 34 | 301 | 1661 369.57/369.71 c 347s | 18 | 2648743 | 378052 | 23230 34 | 301 | 1661 371.57/371.74 c 349s | 18 | 2662238 | 380052 | 23230 34 | 301 | 1661 373.57/373.78 c 351s | 18 | 2677291 | 382152 | 23230 34 | 301 | 1661 375.56/375.79 c 353s | 18 | 2691023 | 384452 | 23230 35 | 301 | 1661 377.66/377.83 c 355s | 18 | 2708724 | 386952 | 23230 35 | 301 | 1661 379.76/379.94 c 357s | 18 | 2723465 | 389252 | 23230 35 | 301 | 1661 381.76/381.96 c 360s | 18 | 2736236 | 391252 | 23230 35 | 301 | 1661 383.86/384.02 c 362s | 18 | 2750849 | 393352 | 23230 35 | 301 | 1661 385.85/386.03 c 364s | 18 | 2757929 | 395052 | 23230 35 | 301 | 1661 387.85/388.07 c 366s | 18 | 2769796 | 396552 | 23230 36 | 301 | 1661 389.95/390.10 c 368s | 18 | 2784433 | 398752 | 23230 36 | 301 | 1661 391.95/392.17 c 370s | 18 | 2798421 | 400952 | 23230 36 | 301 | 1661 394.05/394.24 c 372s | 18 | 2810336 | 403252 | 23230 36 | 301 | 1661 396.05/396.26 c 374s | 18 | 2824829 | 405352 | 23230 36 | 301 | 1661 398.25/398.40 c 376s | 18 | 2836335 | 407452 | 23230 36 | 301 | 1661 400.26/400.41 c 378s | 18 | 2847975 | 409352 | 23230 37 | 301 | 1661 402.25/402.43 c 380s | 18 | 2861798 | 411652 | 23230 37 | 301 | 1661 404.35/404.51 c 382s | 18 | 2875750 | 413952 | 23230 37 | 301 | 1661 406.35/406.53 c 384s | 18 | 2887232 | 415952 | 23230 37 | 301 | 1661 408.35/408.56 c 386s | 18 | 2900144 | 418052 | 23230 37 | 301 | 1661 410.45/410.68 c 388s | 18 | 2912918 | 420052 | 23230 37 | 301 | 1661 412.55/412.75 c 390s | 18 | 2924857 | 422052 | 23230 38 | 301 | 1661 414.65/414.84 c 392s | 18 | 2940343 | 424252 | 23230 38 | 301 | 1661 416.64/416.87 c 394s | 18 | 2950834 | 426452 | 23230 38 | 301 | 1661 418.64/418.87 c 396s | 18 | 2965338 | 428352 | 23230 38 | 301 | 1661 420.74/420.99 c 399s | 18 | 2978126 | 430452 | 23230 38 | 301 | 1661 422.84/423.03 c 401s | 18 | 2990563 | 432352 | 23230 38 | 301 | 1661 424.84/425.08 c 403s | 18 | 2999892 | 434252 | 23230 39 | 301 | 1661 426.93/427.14 c 405s | 18 | 3014356 | 436652 | 23230 39 | 301 | 1661 428.94/429.19 c 407s | 18 | 3023909 | 438752 | 23230 39 | 301 | 1661 431.43/431.63 c 409s | 18 | 3032619 | 440152 | 23230 39 | 301 | 1661 433.53/433.72 c 411s | 18 | 3045349 | 441952 | 25554 39 | 301 | 1661 435.53/435.77 c 413s | 18 | 3061552 | 443852 | 25554 39 | 301 | 1661 436.12/436.39 c 414s | 19 | 3066029 | 444482 | 25554 39 | 301 | 1661 438.22/438.41 c 416s | 19 | 3080758 | 446582 | 25554 39 | 301 | 1661 440.22/440.46 c 418s | 19 | 3094268 | 448482 | 25554 39 | 301 | 1661 442.52/442.72 c 420s | 19 | 3100180 | 449682 | 25554 40 | 301 | 1661 444.52/444.78 c 422s | 19 | 3114923 | 451782 | 25554 40 | 301 | 1661 446.62/446.86 c 424s | 19 | 3126859 | 453682 | 25554 40 | 301 | 1661 448.72/448.94 c 426s | 19 | 3138325 | 455682 | 25554 40 | 301 | 1661 450.82/451.01 c 429s | 19 | 3153136 | 457782 | 25554 40 | 301 | 1661 452.92/453.11 c 431s | 19 | 3167668 | 459682 | 25554 40 | 301 | 1661 454.91/455.15 c 433s | 19 | 3181380 | 461882 | 25554 40 | 301 | 1661 456.91/457.19 c 435s | 19 | 3192294 | 463782 | 25554 41 | 301 | 1661 459.01/459.24 c 437s | 19 | 3207560 | 465982 | 25554 41 | 301 | 1661 461.02/461.25 c 439s | 19 | 3222827 | 468182 | 25554 41 | 301 | 1661 463.02/463.26 c 441s | 19 | 3238934 | 470182 | 25554 41 | 301 | 1661 465.02/465.27 c 443s | 19 | 3256553 | 472382 | 25554 41 | 301 | 1661 467.11/467.38 c 445s | 19 | 3270358 | 474182 | 25554 41 | 301 | 1661 469.21/469.40 c 447s | 19 | 3283071 | 475882 | 25554 41 | 301 | 1661 471.31/471.55 c 449s | 19 | 3290024 | 477282 | 25554 41 | 301 | 1661 473.31/473.59 c 451s | 19 | 3300829 | 479182 | 25554 42 | 301 | 1661 475.41/475.60 c 453s | 19 | 3312112 | 480982 | 25554 42 | 301 | 1661 477.41/477.64 c 455s | 19 | 3326018 | 483082 | 25554 42 | 301 | 1661 479.51/479.77 c 457s | 19 | 3336117 | 484982 | 25554 42 | 301 | 1661 481.61/481.81 c 459s | 19 | 3346740 | 486882 | 25554 42 | 301 | 1661 483.60/483.81 c 461s | 19 | 3357861 | 488882 | 25554 42 | 301 | 1661 485.60/485.86 c 463s | 19 | 3367880 | 490882 | 25554 42 | 301 | 1661 487.70/487.93 c 465s | 19 | 3378039 | 492782 | 25554 43 | 301 | 1661 489.70/489.98 c 468s | 19 | 3393487 | 495182 | 25554 43 | 301 | 1661 491.80/492.04 c 470s | 19 | 3405310 | 497382 | 25554 43 | 301 | 1661 493.81/494.08 c 472s | 19 | 3415828 | 499582 | 25554 43 | 301 | 1661 495.91/496.14 c 474s | 19 | 3429221 | 501082 | 25554 43 | 301 | 1661 498.21/498.44 c 476s | 19 | 3433271 | 501582 | 25554 43 | 301 | 1661 500.20/500.44 c 478s | 19 | 3452068 | 503682 | 25554 43 | 301 | 1661 502.70/502.93 c 480s | 19 | 3467897 | 505582 | 25554 44 | 301 | 1661 504.71/504.98 c 483s | 19 | 3485340 | 507682 | 25554 44 | 301 | 1661 506.70/506.99 c 485s | 19 | 3504649 | 509882 | 25554 44 | 301 | 1661 508.79/509.01 c 487s | 19 | 3519545 | 512082 | 25554 44 | 301 | 1661 510.79/511.08 c 489s | 19 | 3528972 | 514082 | 25554 44 | 301 | 1661 512.89/513.13 c 491s | 19 | 3541213 | 515982 | 25554 44 | 301 | 1661 514.99/515.23 c 493s | 19 | 3558290 | 518082 | 25554 44 | 301 | 1661 516.99/517.29 c 495s | 19 | 3568036 | 519482 | 25554 45 | 301 | 1661 519.09/519.38 c 497s | 19 | 3582159 | 521582 | 25554 45 | 301 | 1661 521.19/521.47 c 499s | 19 | 3599433 | 523682 | 25554 45 | 301 | 1661 523.39/523.61 c 501s | 19 | 3611924 | 525682 | 25554 45 | 301 | 1661 525.39/525.62 c 503s | 19 | 3620688 | 527382 | 25554 45 | 301 | 1661 527.38/527.66 c 505s | 19 | 3631612 | 529282 | 25554 45 | 301 | 1661 529.48/529.77 c 507s | 19 | 3641835 | 531182 | 25554 45 | 301 | 1661 531.48/531.78 c 509s | 19 | 3650836 | 532682 | 25554 45 | 301 | 1661 533.68/533.91 c 511s | 19 | 3661661 | 534382 | 25554 46 | 301 | 1661 535.68/535.96 c 514s | 19 | 3672265 | 536382 | 25554 46 | 301 | 1661 537.78/538.07 c 516s | 19 | 3683091 | 538282 | 25554 46 | 301 | 1661 539.78/540.08 c 518s | 19 | 3694875 | 540182 | 25554 46 | 301 | 1661 541.87/542.16 c 520s | 19 | 3705868 | 541982 | 25554 46 | 301 | 1661 543.98/544.27 c 522s | 19 | 3718609 | 543682 | 25554 46 | 301 | 1661 545.97/546.29 c 524s | 19 | 3723012 | 544382 | 25554 46 | 301 | 1661 548.07/548.39 c 526s | 19 | 3734370 | 545982 | 25554 46 | 301 | 1661 550.17/550.43 c 528s | 19 | 3743058 | 547782 | 25554 47 | 301 | 1661 552.28/552.52 c 530s | 19 | 3754758 | 549382 | 25554 47 | 301 | 1661 554.28/554.57 c 532s | 19 | 3770487 | 551582 | 25554 47 | 301 | 1661 556.38/556.62 c 534s | 19 | 3786298 | 553982 | 25554 47 | 301 | 1661 558.47/558.70 c 536s | 19 | 3796295 | 555982 | 25554 47 | 301 | 1661 560.47/560.70 c 538s | 19 | 3808361 | 557782 | 25554 47 | 301 | 1661 564.18/564.47 c 542s | 19 | 3816240 | 558982 | 25554 47 | 301 | 1661 566.28/566.55 c 544s | 19 | 3830888 | 560782 | 25554 47 | 301 | 1661 568.27/568.58 c 546s | 19 | 3846309 | 563082 | 25554 48 | 301 | 1661 570.37/570.65 c 548s | 19 | 3865795 | 565682 | 25554 48 | 301 | 1661 572.47/572.72 c 550s | 19 | 3877079 | 567282 | 25554 48 | 301 | 1661 574.47/574.72 c 552s | 19 | 3893193 | 569582 | 25554 48 | 301 | 1661 576.46/576.78 c 554s | 19 | 3908810 | 571882 | 25554 48 | 301 | 1661 578.57/578.84 c 556s | 19 | 3920491 | 573382 | 25554 48 | 301 | 1661 580.57/580.88 c 558s | 19 | 3935406 | 575182 | 25554 49 | 301 | 1661 582.56/582.88 c 560s | 19 | 3953123 | 577582 | 25554 49 | 301 | 1661 584.56/584.89 c 562s | 19 | 3971182 | 579982 | 25554 49 | 301 | 1661 586.66/586.90 c 564s | 19 | 3991280 | 582282 | 25554 49 | 301 | 1661 588.67/588.98 c 567s | 19 | 4003369 | 583882 | 25554 49 | 301 | 1661 590.76/591.02 c 569s | 19 | 4020137 | 585682 | 25554 49 | 301 | 1661 592.77/593.07 c 571s | 19 | 4034493 | 587582 | 25554 49 | 301 | 1661 594.87/595.13 c 573s | 19 | 4049580 | 589482 | 25554 50 | 301 | 1661 596.87/597.17 c 575s | 19 | 4063541 | 591682 | 25554 50 | 301 | 1661 598.87/599.19 c 577s | 19 | 4078779 | 593882 | 25554 50 | 301 | 1661 600.96/601.23 c 579s | 19 | 4093772 | 595982 | 25554 50 | 301 | 1661 603.06/603.32 c 581s | 19 | 4106119 | 597982 | 25554 50 | 301 | 1661 605.07/605.35 c 583s | 19 | 4119203 | 600182 | 25554 50 | 301 | 1661 607.07/607.36 c 585s | 19 | 4127326 | 601882 | 25554 50 | 301 | 1661 609.06/609.38 c 587s | 19 | 4144987 | 603682 | 25554 51 | 301 | 1661 611.16/611.45 c 589s | 19 | 4158073 | 605982 | 25554 51 | 301 | 1661 613.16/613.46 c 591s | 19 | 4170975 | 608282 | 25554 51 | 301 | 1661 615.26/615.53 c 593s | 19 | 4185408 | 610382 | 25554 51 | 301 | 1661 617.26/617.54 c 595s | 19 | 4196311 | 612582 | 25554 51 | 301 | 1661 619.26/619.57 c 597s | 19 | 4211084 | 614482 | 25554 51 | 301 | 1661 621.36/621.64 c 599s | 19 | 4223739 | 616482 | 25554 51 | 301 | 1661 623.35/623.70 c 601s | 19 | 4234934 | 618682 | 25554 52 | 301 | 1661 625.45/625.70 c 603s | 19 | 4247021 | 620382 | 25554 52 | 301 | 1661 627.45/627.73 c 605s | 19 | 4265116 | 622782 | 25554 52 | 301 | 1661 629.45/629.74 c 607s | 19 | 4283951 | 625082 | 25554 52 | 301 | 1661 632.15/632.44 c 610s | 19 | 4292702 | 626282 | 25554 52 | 301 | 1661 634.15/634.49 c 612s | 19 | 4302685 | 627782 | 25554 52 | 301 | 1661 636.34/636.60 c 614s | 19 | 4314014 | 629482 | 25554 52 | 301 | 1661 638.44/638.70 c 616s | 19 | 4322963 | 630982 | 25554 53 | 301 | 1661 640.44/640.79 c 618s | 19 | 4336707 | 633182 | 25554 53 | 301 | 1661 642.64/642.96 c 621s | 19 | 4351443 | 635282 | 25554 53 | 301 | 1661 644.74/645.02 c 623s | 19 | 4365007 | 637182 | 25554 53 | 301 | 1661 646.94/647.22 c 625s | 19 | 4377470 | 639082 | 25554 53 | 301 | 1661 649.04/649.35 c 627s | 19 | 4393935 | 641282 | 25554 53 | 301 | 1661 651.05/651.40 c 629s | 19 | 4405903 | 643182 | 25554 53 | 301 | 1661 653.14/653.41 c 631s | 19 | 4419938 | 644882 | 25554 54 | 301 | 1661 655.14/655.42 c 633s | 19 | 4435168 | 647082 | 25554 54 | 301 | 1661 657.14/657.44 c 635s | 19 | 4448578 | 649082 | 25554 54 | 301 | 1661 659.24/659.50 c 637s | 19 | 4461124 | 650982 | 25554 54 | 301 | 1661 661.24/661.55 c 639s | 19 | 4472509 | 652982 | 25554 54 | 301 | 1661 663.34/663.60 c 641s | 19 | 4484934 | 654782 | 25554 54 | 301 | 1661 665.34/665.67 c 643s | 19 | 4494913 | 656482 | 25554 54 | 301 | 1661 667.33/667.68 c 645s | 19 | 4506394 | 657982 | 25554 54 | 301 | 1661 669.53/669.82 c 647s | 19 | 4514236 | 659082 | 25554 55 | 301 | 1661 671.53/671.89 c 649s | 19 | 4527944 | 661282 | 28110 55 | 301 | 1661 673.73/674.00 c 652s | 19 | 4540179 | 663582 | 28110 55 | 301 | 1661 675.73/676.04 c 654s | 19 | 4551901 | 665582 | 28110 55 | 301 | 1661 677.03/677.31 c 655s | 20 | 4559830 | 666827 | 28110 55 | 301 | 1661 679.03/679.35 c 657s | 20 | 4575445 | 668827 | 28110 55 | 301 | 1661 681.03/681.36 c 659s | 20 | 4587007 | 670827 | 28110 55 | 301 | 1661 683.13/683.40 c 661s | 20 | 4597715 | 672727 | 28110 55 | 301 | 1661 685.14/685.46 c 663s | 20 | 4606188 | 674427 | 28110 55 | 301 | 1661 687.34/687.63 c 665s | 20 | 4610192 | 675327 | 28110 56 | 301 | 1661 689.33/689.65 c 667s | 20 | 4618879 | 676927 | 28110 56 | 301 | 1661 691.33/691.67 c 669s | 20 | 4636722 | 679227 | 28110 56 | 301 | 1661 693.43/693.73 c 671s | 20 | 4650948 | 681427 | 28110 56 | 301 | 1661 695.52/695.82 c 673s | 20 | 4666120 | 683627 | 28110 56 | 301 | 1661 697.52/697.89 c 675s | 20 | 4680233 | 685627 | 28110 56 | 301 | 1661 699.62/699.92 c 677s | 20 | 4692498 | 687427 | 28110 56 | 301 | 1661 701.62/701.95 c 680s | 20 | 4709526 | 689627 | 28110 56 | 301 | 1661 703.62/703.97 c 682s | 20 | 4718981 | 691327 | 28110 57 | 301 | 1661 705.72/706.04 c 684s | 20 | 4733644 | 693227 | 28110 57 | 301 | 1661 707.82/708.16 c 686s | 20 | 4748262 | 695027 | 28110 57 | 301 | 1661 709.92/710.20 c 688s | 20 | 4758817 | 696827 | 28110 57 | 301 | 1661 711.92/712.25 c 690s | 20 | 4772990 | 698727 | 28110 57 | 301 | 1661 713.92/714.25 c 692s | 20 | 4785266 | 700427 | 28110 57 | 301 | 1661 716.02/716.30 c 694s | 20 | 4798592 | 702127 | 28110 57 | 301 | 1661 718.02/718.34 c 696s | 20 | 4806399 | 703727 | 28110 57 | 301 | 1661 720.12/720.45 c 698s | 20 | 4815920 | 705227 | 28110 57 | 301 | 1661 722.12/722.45 c 700s | 20 | 4826265 | 706527 | 28110 58 | 301 | 1661 724.12/724.47 c 702s | 20 | 4839763 | 708427 | 28110 58 | 301 | 1661 726.11/726.49 c 704s | 20 | 4855612 | 710227 | 28110 58 | 301 | 1661 728.21/728.50 c 706s | 20 | 4867160 | 712027 | 28110 58 | 301 | 1661 730.22/730.57 c 708s | 20 | 4879577 | 713827 | 28110 58 | 301 | 1661 732.32/732.67 c 710s | 20 | 4892396 | 715727 | 28110 58 | 301 | 1661 734.41/734.72 c 712s | 20 | 4900949 | 717727 | 28110 58 | 301 | 1661 736.51/736.84 c 714s | 20 | 4910335 | 719627 | 28110 58 | 301 | 1661 738.51/738.89 c 716s | 20 | 4920094 | 721327 | 28110 59 | 301 | 1661 740.61/740.92 c 718s | 20 | 4935132 | 723227 | 28110 59 | 301 | 1661 742.61/742.98 c 721s | 20 | 4948330 | 725327 | 28110 59 | 301 | 1661 744.71/745.01 c 723s | 20 | 4963192 | 727427 | 28110 59 | 301 | 1661 746.71/747.01 c 725s | 20 | 4977662 | 729227 | 28110 59 | 301 | 1661 748.81/749.12 c 727s | 20 | 4990164 | 731127 | 28110 59 | 301 | 1661 750.90/751.25 c 729s | 20 | 5001596 | 732427 | 28110 59 | 301 | 1661 752.90/753.26 c 731s | 20 | 5014702 | 734227 | 28110 59 | 301 | 1661 755.00/755.33 c 733s | 20 | 5027012 | 736027 | 28110 59 | 301 | 1661 757.10/757.41 c 735s | 20 | 5034174 | 736927 | 28110 60 | 301 | 1661 759.20/759.53 c 737s | 20 | 5040344 | 737727 | 28110 60 | 301 | 1661 761.30/761.61 c 739s | 20 | 5057002 | 740027 | 28110 60 | 301 | 1661 763.30/763.67 c 741s | 20 | 5068890 | 742527 | 28110 60 | 301 | 1661 765.31/765.69 c 743s | 20 | 5082252 | 744727 | 28110 60 | 301 | 1661 767.40/767.72 c 745s | 20 | 5096203 | 746827 | 28110 60 | 301 | 1661 769.50/769.89 c 747s | 20 | 5100203 | 747427 | 28110 60 | 301 | 1661 771.60/771.95 c 749s | 20 | 5113233 | 749227 | 28110 60 | 301 | 1661 773.70/774.00 c 752s | 20 | 5122770 | 750827 | 28110 60 | 301 | 1661 775.69/776.02 c 754s | 20 | 5135530 | 752327 | 28110 61 | 301 | 1661 777.79/778.12 c 756s | 20 | 5152869 | 754427 | 28110 61 | 301 | 1661 779.79/780.18 c 758s | 20 | 5166530 | 756427 | 28110 61 | 301 | 1661 781.90/782.23 c 760s | 20 | 5179951 | 758427 | 28110 61 | 301 | 1661 783.99/784.33 c 762s | 20 | 5192348 | 760227 | 28110 61 | 301 | 1661 785.98/786.36 c 764s | 20 | 5209576 | 762027 | 28110 61 | 301 | 1661 788.08/788.41 c 766s | 20 | 5227031 | 763727 | 28110 61 | 301 | 1661 790.09/790.47 c 768s | 20 | 5245976 | 765527 | 28110 61 | 301 | 1661 792.09/792.48 c 770s | 20 | 5261775 | 767127 | 28110 62 | 301 | 1661 794.19/794.50 c 772s | 20 | 5274473 | 769027 | 28110 62 | 301 | 1661 796.20/796.56 c 774s | 20 | 5285503 | 770927 | 28110 62 | 301 | 1661 798.29/798.67 c 776s | 20 | 5297545 | 772727 | 28110 62 | 301 | 1661 800.39/800.72 c 778s | 20 | 5310647 | 774427 | 28110 62 | 301 | 1661 802.39/802.73 c 780s | 20 | 5320056 | 776027 | 28110 62 | 301 | 1661 804.39/804.73 c 782s | 20 | 5328746 | 777527 | 28110 62 | 301 | 1661 806.38/806.75 c 784s | 20 | 5336908 | 779027 | 28110 62 | 301 | 1661 808.38/808.77 c 786s | 20 | 5346394 | 780727 | 28110 62 | 301 | 1661 810.39/810.79 c 788s | 20 | 5356890 | 782427 | 28110 63 | 301 | 1661 812.48/812.84 c 790s | 20 | 5370998 | 784727 | 28110 63 | 301 | 1661 814.48/814.87 c 792s | 20 | 5383915 | 786827 | 28110 63 | 301 | 1661 816.48/816.89 c 794s | 20 | 5399326 | 788927 | 28110 63 | 301 | 1661 818.58/818.95 c 797s | 20 | 5417647 | 791027 | 28110 63 | 301 | 1661 820.68/821.00 c 799s | 20 | 5432558 | 792827 | 28110 63 | 301 | 1661 822.68/823.06 c 801s | 20 | 5444014 | 794627 | 28110 63 | 301 | 1661 824.69/825.09 c 803s | 20 | 5453285 | 796427 | 28110 63 | 301 | 1661 826.78/827.16 c 805s | 20 | 5463099 | 798127 | 28110 64 | 301 | 1661 828.78/829.17 c 807s | 20 | 5475946 | 800027 | 28110 64 | 301 | 1661 830.88/831.25 c 809s | 20 | 5486192 | 801927 | 28110 64 | 301 | 1661 832.98/833.32 c 811s | 20 | 5496598 | 803827 | 28110 64 | 301 | 1661 834.98/835.33 c 813s | 20 | 5507571 | 805627 | 28110 64 | 301 | 1661 837.08/837.40 c 815s | 20 | 5517567 | 807227 | 28110 64 | 301 | 1661 839.08/839.49 c 817s | 20 | 5528055 | 808927 | 28110 64 | 301 | 1661 841.18/841.57 c 819s | 20 | 5536540 | 810627 | 28110 64 | 301 | 1661 843.27/843.68 c 821s | 20 | 5544631 | 812127 | 28110 64 | 301 | 1661 845.37/845.73 c 823s | 20 | 5554570 | 813827 | 28110 65 | 301 | 1661 847.37/847.73 c 825s | 20 | 5565858 | 815727 | 28110 65 | 301 | 1661 849.47/849.83 c 827s | 20 | 5577687 | 817727 | 28110 65 | 301 | 1661 851.47/851.84 c 829s | 20 | 5586889 | 819627 | 28110 65 | 301 | 1661 853.47/853.87 c 831s | 20 | 5597291 | 821427 | 28110 65 | 301 | 1661 855.58/855.98 c 834s | 20 | 5608029 | 823127 | 28110 65 | 301 | 1661 857.68/858.07 c 836s | 20 | 5618416 | 824927 | 28110 65 | 301 | 1661 859.67/860.08 c 838s | 20 | 5626225 | 826427 | 28110 65 | 301 | 1661 861.77/862.12 c 840s | 20 | 5633289 | 827927 | 28110 66 | 301 | 1661 863.77/864.13 c 842s | 20 | 5642769 | 829827 | 28110 66 | 301 | 1661 865.87/866.20 c 844s | 20 | 5652738 | 831827 | 28110 66 | 301 | 1661 867.97/868.31 c 846s | 20 | 5664129 | 833727 | 28110 66 | 301 | 1661 870.67/871.02 c 849s | 20 | 5665698 | 833927 | 28110 66 | 301 | 1661 873.07/873.48 c 851s | 20 | 5668054 | 834427 | 28110 66 | 301 | 1661 875.17/875.55 c 853s | 20 | 5680437 | 836527 | 28110 66 | 301 | 1661 877.16/877.59 c 855s | 20 | 5686551 | 837627 | 28110 66 | 301 | 1661 880.36/880.79 c 858s | 20 | 5697596 | 839427 | 28110 66 | 301 | 1661 882.46/882.80 c 860s | 20 | 5707140 | 841427 | 28110 66 | 301 | 1661 884.66/885.09 c 863s | 20 | 5718755 | 843327 | 28110 67 | 301 | 1661 886.77/887.17 c 865s | 20 | 5735594 | 845727 | 28110 67 | 301 | 1661 888.87/889.21 c 867s | 20 | 5755390 | 847927 | 28110 67 | 301 | 1661 890.87/891.26 c 869s | 20 | 5769646 | 850127 | 28110 67 | 301 | 1661 892.87/893.27 c 871s | 20 | 5781115 | 852027 | 28110 67 | 301 | 1661 894.87/895.29 c 873s | 20 | 5791805 | 854027 | 28110 67 | 301 | 1661 896.97/897.34 c 875s | 20 | 5802497 | 856027 | 28110 67 | 301 | 1661 899.06/899.47 c 877s | 20 | 5811057 | 858027 | 28110 67 | 301 | 1661 901.36/901.72 c 879s | 20 | 5820659 | 859927 | 28110 68 | 301 | 1661 903.37/903.75 c 881s | 20 | 5831261 | 861427 | 28110 68 | 301 | 1661 905.37/905.75 c 883s | 20 | 5844879 | 863227 | 28110 68 | 301 | 1661 907.47/907.84 c 885s | 20 | 5855573 | 865327 | 28110 68 | 301 | 1661 909.56/909.98 c 888s | 20 | 5867379 | 867027 | 28110 68 | 301 | 1661 911.67/912.01 c 890s | 20 | 5876850 | 868527 | 28110 68 | 301 | 1661 913.66/914.03 c 892s | 20 | 5887308 | 870027 | 28110 68 | 301 | 1661 915.66/916.07 c 894s | 20 | 5896372 | 871527 | 28110 68 | 301 | 1661 917.76/918.11 c 896s | 20 | 5906592 | 872927 | 28110 68 | 301 | 1661 919.76/920.11 c 898s | 20 | 5913113 | 874427 | 28110 69 | 301 | 1661 921.77/922.15 c 900s | 20 | 5924962 | 876327 | 28110 69 | 301 | 1661 923.77/924.19 c 902s | 20 | 5934607 | 878027 | 28110 69 | 301 | 1661 925.87/926.28 c 904s | 20 | 5944243 | 879827 | 28110 69 | 301 | 1661 927.96/928.32 c 906s | 20 | 5957717 | 881527 | 28110 69 | 301 | 1661 929.96/930.32 c 908s | 20 | 5968234 | 883127 | 28110 69 | 301 | 1661 932.06/932.45 c 910s | 20 | 5976796 | 884727 | 28110 69 | 301 | 1661 934.16/934.55 c 912s | 20 | 5985200 | 886227 | 28110 69 | 301 | 1661 936.26/936.62 c 914s | 20 | 5992292 | 887827 | 28110 69 | 301 | 1661 938.26/938.65 c 916s | 20 | 5999038 | 889227 | 28110 70 | 301 | 1661 940.76/941.15 c 919s | 20 | 6003496 | 889927 | 28110 70 | 301 | 1661 943.06/943.42 c 921s | 20 | 6007865 | 890827 | 28110 70 | 301 | 1661 945.06/945.48 c 923s | 20 | 6019557 | 892627 | 28110 70 | 301 | 1661 947.16/947.56 c 925s | 20 | 6031571 | 894627 | 28110 70 | 301 | 1661 949.26/949.63 c 927s | 20 | 6044594 | 896527 | 28110 70 | 301 | 1661 951.36/951.72 c 929s | 20 | 6055696 | 898427 | 28110 70 | 301 | 1661 953.36/953.79 c 931s | 20 | 6064831 | 900127 | 28110 70 | 301 | 1661 955.46/955.81 c 933s | 20 | 6074146 | 901627 | 28110 70 | 301 | 1661 957.46/957.85 c 935s | 20 | 6084641 | 903227 | 28110 70 | 301 | 1661 959.46/959.89 c 937s | 20 | 6095508 | 904527 | 28110 71 | 301 | 1661 961.56/961.96 c 940s | 20 | 6106908 | 906627 | 28110 71 | 301 | 1661 963.66/964.03 c 942s | 20 | 6119187 | 908527 | 28110 71 | 301 | 1661 965.65/966.07 c 944s | 20 | 6130117 | 910227 | 28110 71 | 301 | 1661 967.76/968.16 c 946s | 20 | 6146621 | 912127 | 28110 71 | 301 | 1661 969.86/970.23 c 948s | 20 | 6158019 | 913827 | 28110 71 | 301 | 1661 971.85/972.25 c 950s | 20 | 6168864 | 915527 | 28110 71 | 301 | 1661 973.95/974.31 c 952s | 20 | 6179519 | 917127 | 28110 71 | 301 | 1661 976.05/976.44 c 954s | 20 | 6190499 | 918727 | 28110 71 | 301 | 1661 978.15/978.52 c 956s | 20 | 6203320 | 920427 | 28110 72 | 301 | 1661 980.15/980.55 c 958s | 20 | 6216184 | 922427 | 28110 72 | 301 | 1661 982.25/982.62 c 960s | 20 | 6228031 | 924327 | 28110 72 | 301 | 1661 984.35/984.72 c 962s | 20 | 6239736 | 926127 | 28110 72 | 301 | 1661 986.35/986.76 c 964s | 20 | 6251905 | 927927 | 28110 72 | 301 | 1661 988.35/988.79 c 966s | 20 | 6261796 | 929527 | 28110 72 | 301 | 1661 990.45/990.88 c 968s | 20 | 6270971 | 931127 | 28110 72 | 301 | 1661 992.55/992.94 c 970s | 20 | 6281129 | 932627 | 28110 72 | 301 | 1661 994.55/994.94 c 972s | 20 | 6290242 | 934127 | 28110 72 | 301 | 1661 996.55/996.95 c 975s | 20 | 6300351 | 935127 | 28110 73 | 301 | 1661 998.55/998.96 c 977s | 20 | 6316199 | 936927 | 28110 73 | 301 | 1661 1000.55/1000.97 c 979s | 20 | 6329710 | 938627 | 28110 73 | 301 | 1661 1002.65/1003.02 c 981s | 20 | 6340101 | 940427 | 28110 73 | 301 | 1661 1004.65/1005.08 c 983s | 20 | 6350006 | 942227 | 28110 73 | 301 | 1661 1006.75/1007.18 c 985s | 20 | 6360289 | 944127 | 28110 73 | 301 | 1661 1008.85/1009.20 c 987s | 20 | 6371705 | 945927 | 28110 73 | 301 | 1661 1010.85/1011.20 c 989s | 20 | 6382139 | 947627 | 28110 73 | 301 | 1661 1012.85/1013.21 c 991s | 20 | 6390360 | 949127 | 28110 73 | 301 | 1661 1014.84/1015.25 c 993s | 20 | 6401625 | 950827 | 28110 74 | 301 | 1661 1016.85/1017.27 c 995s | 20 | 6412539 | 952727 | 28110 74 | 301 | 1661 1018.95/1019.32 c 997s | 20 | 6426480 | 954727 | 28110 74 | 301 | 1661 1020.95/1021.33 c 999s | 20 | 6442071 | 956727 | 28110 74 | 301 | 1661 1022.95/1023.34 c 1001s | 20 | 6455034 | 958627 | 28110 74 | 301 | 1661 1024.96/1025.39 c 1003s | 20 | 6465764 | 960327 | 28110 74 | 301 | 1661 1027.05/1027.49 c 1005s | 20 | 6476885 | 962027 | 28110 74 | 301 | 1661 1029.15/1029.56 c 1007s | 20 | 6487367 | 963727 | 28110 74 | 301 | 1661 1031.24/1031.64 c 1009s | 20 | 6500146 | 965427 | 28110 75 | 301 | 1661 1033.24/1033.66 c 1011s | 20 | 6515534 | 967527 | 28110 75 | 301 | 1661 1035.34/1035.73 c 1013s | 20 | 6530895 | 969627 | 28110 75 | 301 | 1661 1037.44/1037.81 c 1015s | 20 | 6545775 | 971627 | 28110 75 | 301 | 1661 1039.44/1039.82 c 1017s | 20 | 6555333 | 973227 | 28110 75 | 301 | 1661 1041.45/1041.90 c 1019s | 20 | 6563396 | 975127 | 28110 75 | 301 | 1661 1044.04/1044.48 c 1022s | 20 | 6565771 | 975727 | 28110 75 | 301 | 1661 1046.14/1046.55 c 1024s | 20 | 6570793 | 976427 | 28110 75 | 301 | 1661 1048.64/1049.05 c 1027s | 20 | 6582949 | 978027 | 28110 75 | 301 | 1661 1050.64/1051.09 c 1029s | 20 | 6593261 | 979627 | 28110 75 | 301 | 1661 1052.74/1053.13 c 1031s | 20 | 6603209 | 981227 | 28110 76 | 301 | 1661 1054.84/1055.29 c 1033s | 20 | 6617811 | 983227 | 28110 76 | 301 | 1661 1056.85/1057.29 c 1035s | 20 | 6625073 | 984527 | 28110 76 | 301 | 1661 1058.95/1059.33 c 1037s | 20 | 6634623 | 986427 | 28110 76 | 301 | 1661 1060.94/1061.34 c 1039s | 20 | 6644644 | 988127 | 28110 76 | 301 | 1661 1063.04/1063.44 c 1041s | 20 | 6653789 | 989427 | 28110 76 | 301 | 1661 1065.04/1065.45 c 1043s | 20 | 6669333 | 991427 | 28110 76 | 301 | 1661 1067.14/1067.53 c 1045s | 20 | 6685689 | 993527 | 30922 76 | 301 | 1661 1069.24/1069.60 c 1047s | 20 | 6702183 | 995527 | 30922 76 | 301 | 1661 1071.24/1071.65 c 1049s | 20 | 6717761 | 997527 | 30922 76 | 301 | 1661 1073.35/1073.71 c 1051s | 20 | 6727554 | 999027 | 30922 77 | 301 | 1661 1075.34/1075.79 c 1053s | 20 | 6736040 | 1000227 | 30922 77 | 301 | 1661 1075.45/1075.89 c 1053s | 21 | 6736559 | 1000345 | 30922 77 | 301 | 1661 1077.53/1077.97 c 1056s | 21 | 6749215 | 1001445 | 30922 77 | 301 | 1661 1079.63/1080.07 c 1058s | 21 | 6764348 | 1003345 | 30922 77 | 301 | 1661 1081.73/1082.15 c 1060s | 21 | 6774412 | 1005045 | 30922 77 | 301 | 1661 1083.93/1084.30 c 1062s | 21 | 6785847 | 1006745 | 30922 77 | 301 | 1661 1085.93/1086.31 c 1064s | 21 | 6793943 | 1008245 | 30922 77 | 301 | 1661 1087.94/1088.32 c 1066s | 21 | 6804698 | 1009645 | 30922 77 | 301 | 1661 1089.94/1090.37 c 1068s | 21 | 6813112 | 1011245 | 30922 77 | 301 | 1661 1092.05/1092.45 c 1070s | 21 | 6821737 | 1012845 | 30922 77 | 301 | 1661 1094.14/1094.57 c 1072s | 21 | 6826911 | 1013545 | 30922 77 | 301 | 1661 1096.24/1096.65 c 1074s | 21 | 6841222 | 1015245 | 30922 78 | 301 | 1661 1098.24/1098.65 c 1076s | 21 | 6855926 | 1017245 | 30922 78 | 301 | 1661 1100.53/1100.91 c 1078s | 21 | 6874206 | 1018745 | 30922 78 | 301 | 1661 1102.54/1102.96 c 1081s | 21 | 6893814 | 1020945 | 30922 78 | 301 | 1661 1104.64/1105.00 c 1083s | 21 | 6902190 | 1022145 | 30922 78 | 301 | 1661 1106.64/1107.09 c 1085s | 21 | 6914677 | 1024145 | 30922 78 | 301 | 1661 1108.74/1109.19 c 1087s | 21 | 6925186 | 1026045 | 30922 78 | 301 | 1661 1110.84/1111.20 c 1089s | 21 | 6935306 | 1028045 | 30922 78 | 301 | 1661 1112.84/1113.28 c 1091s | 21 | 6948487 | 1029845 | 30922 78 | 301 | 1661 1114.93/1115.37 c 1093s | 21 | 6962623 | 1031845 | 30922 79 | 301 | 1661 1116.93/1117.40 c 1095s | 21 | 6977119 | 1033845 | 30922 79 | 301 | 1661 1119.03/1119.48 c 1097s | 21 | 6999895 | 1035945 | 30922 79 | 301 | 1661 1121.13/1121.50 c 1099s | 21 | 7019963 | 1038145 | 30922 79 | 301 | 1661 1123.13/1123.58 c 1101s | 21 | 7030448 | 1039945 | 30922 79 | 301 | 1661 1125.24/1125.61 c 1103s | 21 | 7043185 | 1041745 | 30922 79 | 301 | 1661 1127.24/1127.63 c 1105s | 21 | 7053358 | 1043445 | 30922 79 | 301 | 1661 1129.23/1129.69 c 1107s | 21 | 7063834 | 1045045 | 30922 79 | 301 | 1661 1131.43/1131.82 c 1109s | 21 | 7072885 | 1046545 | 30922 79 | 301 | 1661 1133.43/1133.84 c 1111s | 21 | 7081412 | 1047945 | 30922 79 | 301 | 1661 1135.53/1135.92 c 1113s | 21 | 7090821 | 1049545 | 30922 80 | 301 | 1661 1137.53/1137.99 c 1116s | 21 | 7100019 | 1051445 | 30922 80 | 301 | 1661 1139.63/1140.08 c 1118s | 21 | 7111363 | 1053245 | 30922 80 | 301 | 1661 1141.73/1142.15 c 1120s | 21 | 7126661 | 1055145 | 30922 80 | 301 | 1661 1143.83/1144.24 c 1122s | 21 | 7140430 | 1056945 | 30922 80 | 301 | 1661 1145.93/1146.34 c 1124s | 21 | 7153235 | 1058745 | 30922 80 | 301 | 1661 1147.92/1148.40 c 1126s | 21 | 7161601 | 1060445 | 30922 80 | 301 | 1661 1150.12/1150.52 c 1128s | 21 | 7173123 | 1062045 | 30922 80 | 301 | 1661 1152.22/1152.64 c 1130s | 21 | 7181539 | 1063445 | 30922 80 | 301 | 1661 1154.32/1154.72 c 1132s | 21 | 7190503 | 1064845 | 30922 81 | 301 | 1661 1156.42/1156.81 c 1134s | 21 | 7202125 | 1066645 | 30922 81 | 301 | 1661 1158.43/1158.86 c 1136s | 21 | 7214822 | 1068345 | 30922 81 | 301 | 1661 1160.43/1160.88 c 1138s | 21 | 7222865 | 1070045 | 30922 81 | 301 | 1661 1162.53/1162.91 c 1140s | 21 | 7234392 | 1071845 | 30922 81 | 301 | 1661 1164.53/1164.98 c 1143s | 21 | 7244246 | 1073145 | 30922 81 | 301 | 1661 1166.63/1167.03 c 1145s | 21 | 7258316 | 1075145 | 30922 81 | 301 | 1661 1168.62/1169.08 c 1147s | 21 | 7261398 | 1075545 | 30922 81 | 301 | 1661 1170.73/1171.10 c 1149s | 21 | 7275278 | 1077345 | 30922 81 | 301 | 1661 1172.73/1173.12 c 1151s | 21 | 7288931 | 1079445 | 30922 81 | 301 | 1661 1174.72/1175.18 c 1153s | 21 | 7299094 | 1080845 | 30922 81 | 301 | 1661 1176.92/1177.33 c 1155s | 21 | 7306839 | 1082145 | 30922 82 | 301 | 1661 1179.02/1179.44 c 1157s | 21 | 7314939 | 1083945 | 30922 82 | 301 | 1661 1181.13/1181.51 c 1159s | 21 | 7325282 | 1085945 | 30922 82 | 301 | 1661 1183.12/1183.55 c 1161s | 21 | 7338076 | 1087945 | 30922 82 | 301 | 1661 1185.12/1185.59 c 1163s | 21 | 7346809 | 1089445 | 30922 82 | 301 | 1661 1187.22/1187.67 c 1165s | 21 | 7361826 | 1091645 | 30922 82 | 301 | 1661 1189.32/1189.71 c 1167s | 21 | 7371798 | 1093445 | 30922 82 | 301 | 1661 1191.32/1191.74 c 1169s | 21 | 7382600 | 1095045 | 30922 82 | 301 | 1661 1193.32/1193.75 c 1171s | 21 | 7394630 | 1096745 | 30922 82 | 301 | 1661 1195.42/1195.85 c 1173s | 21 | 7409833 | 1098545 | 30922 83 | 301 | 1661 1197.42/1197.89 c 1175s | 21 | 7423263 | 1100245 | 30922 83 | 301 | 1661 1199.52/1199.90 c 1177s | 21 | 7436978 | 1102245 | 30922 83 | 301 | 1661 1201.62/1202.00 c 1180s | 21 | 7448874 | 1104145 | 30922 83 | 301 | 1661 1203.62/1204.09 c 1182s | 21 | 7459234 | 1105945 | 30922 83 | 301 | 1661 1205.71/1206.14 c 1184s | 21 | 7473352 | 1107945 | 30922 83 | 301 | 1661 1207.71/1208.17 c 1186s | 21 | 7487486 | 1109745 | 30922 83 | 301 | 1661 1209.81/1210.26 c 1188s | 21 | 7499571 | 1111545 | 30922 83 | 301 | 1661 1211.92/1212.30 c 1190s | 21 | 7507648 | 1113145 | 30922 83 | 301 | 1661 1214.02/1214.42 c 1192s | 21 | 7514707 | 1114645 | 30922 83 | 301 | 1661 1216.02/1216.45 c 1194s | 21 | 7523310 | 1116145 | 30922 84 | 301 | 1661 1218.12/1218.58 c 1196s | 21 | 7533629 | 1118145 | 30922 84 | 301 | 1661 1220.12/1220.59 c 1198s | 21 | 7540499 | 1119745 | 30922 84 | 301 | 1661 1222.21/1222.66 c 1200s | 21 | 7550785 | 1121145 | 30922 84 | 301 | 1661 1224.21/1224.67 c 1202s | 21 | 7567972 | 1123245 | 30922 84 | 301 | 1661 1226.31/1226.72 c 1204s | 21 | 7584219 | 1125245 | 30922 84 | 301 | 1661 1228.32/1228.76 c 1206s | 21 | 7597208 | 1127145 | 30922 84 | 301 | 1661 1230.42/1230.83 c 1208s | 21 | 7607861 | 1128945 | 30922 84 | 301 | 1661 1232.41/1232.85 c 1210s | 21 | 7618716 | 1130545 | 30922 84 | 301 | 1661 1234.51/1234.97 c 1213s | 21 | 7631572 | 1132245 | 30922 85 | 301 | 1661 1236.62/1237.02 c 1215s | 21 | 7645609 | 1133745 | 30922 85 | 301 | 1661 1238.72/1239.10 c 1217s | 21 | 7662156 | 1135645 | 30922 85 | 301 | 1661 1240.82/1241.23 c 1219s | 21 | 7680624 | 1137845 | 30922 85 | 301 | 1661 1243.82/1244.23 c 1222s | 21 | 7690928 | 1139245 | 30922 85 | 301 | 1661 1245.81/1246.30 c 1224s | 21 | 7705890 | 1141445 | 30922 85 | 301 | 1661 1247.91/1248.31 c 1226s | 21 | 7723340 | 1143345 | 30922 85 | 301 | 1661 1250.01/1250.40 c 1228s | 21 | 7738436 | 1145345 | 30922 85 | 301 | 1661 1252.01/1252.45 c 1230s | 21 | 7752413 | 1147245 | 30922 85 | 301 | 1661 1254.01/1254.49 c 1232s | 21 | 7760525 | 1148545 | 30922 86 | 301 | 1661 1256.11/1256.50 c 1234s | 21 | 7770565 | 1150545 | 30922 86 | 301 | 1661 1258.11/1258.57 c 1236s | 21 | 7782464 | 1152645 | 30922 86 | 301 | 1661 1260.21/1260.65 c 1238s | 21 | 7791523 | 1154645 | 30922 86 | 301 | 1661 1262.31/1262.72 c 1240s | 21 | 7800487 | 1156345 | 30922 86 | 301 | 1661 1264.41/1264.82 c 1242s | 21 | 7804857 | 1157445 | 30922 86 | 301 | 1661 1266.41/1266.89 c 1244s | 21 | 7816412 | 1159245 | 30922 86 | 301 | 1661 1268.51/1268.90 c 1246s | 21 | 7826550 | 1160845 | 30922 86 | 301 | 1661 1270.61/1271.00 c 1249s | 21 | 7839409 | 1162745 | 30922 86 | 301 | 1661 1272.71/1273.11 c 1251s | 21 | 7852594 | 1164645 | 30922 86 | 301 | 1661 1274.91/1275.34 c 1253s | 21 | 7861499 | 1165745 | 30922 87 | 301 | 1661 1276.91/1277.36 c 1255s | 21 | 7878022 | 1167845 | 30922 87 | 301 | 1661 1278.92/1279.37 c 1257s | 21 | 7890811 | 1170045 | 30922 87 | 301 | 1661 1281.01/1281.45 c 1259s | 21 | 7905686 | 1172045 | 30922 87 | 301 | 1661 1283.11/1283.53 c 1261s | 21 | 7918907 | 1173945 | 30922 87 | 301 | 1661 1285.11/1285.53 c 1263s | 21 | 7932151 | 1175845 | 30922 87 | 301 | 1661 1287.21/1287.63 c 1265s | 21 | 7950414 | 1177845 | 30922 87 | 301 | 1661 1289.31/1289.72 c 1267s | 21 | 7963028 | 1179745 | 30922 87 | 301 | 1661 1292.00/1292.47 c 1270s | 21 | 7973175 | 1181245 | 30922 87 | 301 | 1661 1294.10/1294.55 c 1272s | 21 | 7979994 | 1182245 | 30922 88 | 301 | 1661 1296.31/1296.70 c 1274s | 21 | 7992569 | 1184145 | 30922 88 | 301 | 1661 1298.31/1298.71 c 1276s | 21 | 8007104 | 1186045 | 30922 88 | 301 | 1661 1300.31/1300.73 c 1278s | 21 | 8019733 | 1187545 | 30922 88 | 301 | 1661 1302.41/1302.80 c 1280s | 21 | 8031776 | 1189445 | 30922 88 | 301 | 1661 1304.41/1304.83 c 1282s | 21 | 8043312 | 1191145 | 30922 88 | 301 | 1661 1306.51/1306.90 c 1284s | 21 | 8057614 | 1193045 | 30922 88 | 301 | 1661 1308.50/1308.93 c 1286s | 21 | 8068558 | 1194645 | 30922 88 | 301 | 1661 1310.60/1311.02 c 1289s | 21 | 8077224 | 1196045 | 30922 88 | 301 | 1661 1312.60/1313.04 c 1291s | 21 | 8082829 | 1196845 | 30922 88 | 301 | 1661 1315.80/1316.29 c 1294s | 21 | 8088511 | 1198245 | 30922 89 | 301 | 1661 1317.90/1318.31 c 1296s | 21 | 8100409 | 1200045 | 30922 89 | 301 | 1661 1320.50/1320.97 c 1299s | 21 | 8113599 | 1201745 | 30922 89 | 301 | 1661 1322.60/1323.02 c 1301s | 21 | 8123638 | 1203645 | 30922 89 | 301 | 1661 1324.70/1325.11 c 1303s | 21 | 8134652 | 1205745 | 30922 89 | 301 | 1661 1326.80/1327.21 c 1305s | 21 | 8145470 | 1207645 | 30922 89 | 301 | 1661 1328.80/1329.30 c 1307s | 21 | 8156227 | 1209345 | 30922 89 | 301 | 1661 1330.90/1331.38 c 1309s | 21 | 8167556 | 1211245 | 30922 89 | 301 | 1661 1333.10/1333.52 c 1311s | 21 | 8177123 | 1212945 | 30922 89 | 301 | 1661 1335.20/1335.61 c 1313s | 21 | 8184906 | 1214545 | 30922 89 | 301 | 1661 1337.20/1337.66 c 1315s | 21 | 8198703 | 1216445 | 30922 90 | 301 | 1661 1339.29/1339.71 c 1317s | 21 | 8210610 | 1218045 | 30922 90 | 301 | 1661 1341.29/1341.72 c 1319s | 21 | 8223789 | 1219745 | 30922 90 | 301 | 1661 1343.30/1343.73 c 1321s | 21 | 8225869 | 1220045 | 30922 90 | 301 | 1661 1345.30/1345.75 c 1323s | 21 | 8238919 | 1222245 | 30922 90 | 301 | 1661 1347.30/1347.76 c 1325s | 21 | 8252182 | 1224445 | 30922 90 | 301 | 1661 1349.30/1349.79 c 1327s | 21 | 8260625 | 1226245 | 30922 90 | 301 | 1661 1351.40/1351.81 c 1329s | 21 | 8270975 | 1228045 | 30922 90 | 301 | 1661 1353.50/1353.90 c 1331s | 21 | 8281259 | 1229845 | 30922 90 | 301 | 1661 1355.60/1356.05 c 1334s | 21 | 8287520 | 1231545 | 30922 91 | 301 | 1661 1357.59/1358.07 c 1336s | 21 | 8298379 | 1233445 | 30922 91 | 301 | 1661 1359.69/1360.15 c 1338s | 21 | 8306967 | 1234645 | 30922 91 | 301 | 1661 1361.79/1362.22 c 1340s | 21 | 8318397 | 1236245 | 30922 91 | 301 | 1661 1363.79/1364.28 c 1342s | 21 | 8331552 | 1238245 | 30922 91 | 301 | 1661 1365.90/1366.38 c 1344s | 21 | 8338640 | 1239345 | 30922 91 | 301 | 1661 1368.00/1368.46 c 1346s | 21 | 8353254 | 1241845 | 30922 91 | 301 | 1661 1369.99/1370.48 c 1348s | 21 | 8364398 | 1243745 | 30922 91 | 301 | 1661 1372.09/1372.58 c 1350s | 21 | 8374821 | 1245645 | 30922 91 | 301 | 1661 1374.09/1374.59 c 1352s | 21 | 8388436 | 1247345 | 30922 91 | 301 | 1661 1376.49/1376.93 c 1354s | 21 | 8397311 | 1248845 | 30922 92 | 301 | 1661 1378.49/1378.94 c 1356s | 21 | 8405677 | 1250345 | 30922 92 | 301 | 1661 1380.49/1380.95 c 1359s | 21 | 8414032 | 1251845 | 30922 92 | 301 | 1661 1382.59/1383.02 c 1361s | 21 | 8423479 | 1253445 | 30922 92 | 301 | 1661 1384.60/1385.05 c 1363s | 21 | 8431844 | 1255045 | 30922 92 | 301 | 1661 1386.59/1387.09 c 1365s | 21 | 8441496 | 1256645 | 30922 92 | 301 | 1661 1388.90/1389.34 c 1367s | 21 | 8448348 | 1257745 | 30922 92 | 301 | 1661 1390.89/1391.36 c 1369s | 21 | 8460334 | 1259945 | 30922 92 | 301 | 1661 1392.89/1393.36 c 1371s | 21 | 8467029 | 1261045 | 30922 92 | 301 | 1661 1394.99/1395.43 c 1373s | 21 | 8479074 | 1263045 | 30922 92 | 301 | 1661 1397.38/1397.84 c 1375s | 21 | 8487350 | 1264745 | 30922 93 | 301 | 1661 1399.49/1399.96 c 1378s | 21 | 8496209 | 1266245 | 30922 93 | 301 | 1661 1401.59/1402.00 c 1380s | 21 | 8511317 | 1268545 | 30922 93 | 301 | 1661 1403.58/1404.05 c 1382s | 21 | 8526494 | 1270645 | 30922 93 | 301 | 1661 1405.68/1406.13 c 1384s | 21 | 8538532 | 1272645 | 30922 93 | 301 | 1661 1407.79/1408.22 c 1386s | 21 | 8552050 | 1274645 | 30922 93 | 301 | 1661 1409.90/1410.31 c 1388s | 21 | 8566937 | 1276845 | 30922 93 | 301 | 1661 1412.00/1412.42 c 1390s | 21 | 8578919 | 1278745 | 30922 93 | 301 | 1661 1413.99/1414.49 c 1392s | 21 | 8590420 | 1280445 | 30922 93 | 301 | 1661 1416.09/1416.58 c 1394s | 21 | 8598998 | 1281945 | 30922 94 | 301 | 1661 1418.18/1418.67 c 1396s | 21 | 8607705 | 1283745 | 30922 94 | 301 | 1661 1420.39/1420.85 c 1398s | 21 | 8617981 | 1285845 | 30922 94 | 301 | 1661 1422.39/1422.87 c 1400s | 21 | 8631815 | 1287645 | 30922 94 | 301 | 1661 1424.49/1424.96 c 1403s | 21 | 8643354 | 1289645 | 30922 94 | 301 | 1661 1426.49/1426.97 c 1405s | 21 | 8652888 | 1291345 | 30922 94 | 301 | 1661 1428.60/1429.07 c 1407s | 21 | 8661540 | 1292945 | 30922 94 | 301 | 1661 1430.69/1431.11 c 1409s | 21 | 8669269 | 1294245 | 30922 94 | 301 | 1661 1432.68/1433.11 c 1411s | 21 | 8678227 | 1296045 | 30922 94 | 301 | 1661 1434.69/1435.13 c 1413s | 21 | 8686366 | 1297645 | 30922 94 | 301 | 1661 1436.68/1437.13 c 1415s | 21 | 8695640 | 1299045 | 30922 95 | 301 | 1661 1438.68/1439.20 c 1417s | 21 | 8704857 | 1300245 | 30922 95 | 301 | 1661 1440.78/1441.21 c 1419s | 21 | 8712206 | 1301745 | 30922 95 | 301 | 1661 1442.78/1443.26 c 1421s | 21 | 8725820 | 1303945 | 30922 95 | 301 | 1661 1444.78/1445.29 c 1423s | 21 | 8738246 | 1306045 | 30922 95 | 301 | 1661 1446.89/1447.33 c 1425s | 21 | 8755344 | 1308545 | 30922 95 | 301 | 1661 1448.98/1449.42 c 1427s | 21 | 8768045 | 1310845 | 30922 95 | 301 | 1661 1450.98/1451.45 c 1429s | 21 | 8779061 | 1312945 | 30922 95 | 301 | 1661 1452.98/1453.47 c 1431s | 21 | 8789831 | 1314745 | 30922 96 | 301 | 1661 1455.08/1455.53 c 1433s | 21 | 8800193 | 1316845 | 30922 96 | 301 | 1661 1457.19/1457.67 c 1435s | 21 | 8805016 | 1317745 | 30922 96 | 301 | 1661 1459.18/1459.68 c 1437s | 21 | 8821749 | 1319945 | 30922 96 | 301 | 1661 1461.28/1461.72 c 1439s | 21 | 8836961 | 1322045 | 30922 96 | 301 | 1661 1463.28/1463.72 c 1441s | 21 | 8852909 | 1324045 | 30922 96 | 301 | 1661 1465.28/1465.79 c 1443s | 21 | 8861847 | 1325945 | 30922 96 | 301 | 1661 1467.38/1467.87 c 1445s | 21 | 8873453 | 1327945 | 30922 96 | 301 | 1661 1469.38/1469.88 c 1447s | 21 | 8884479 | 1329745 | 30922 96 | 301 | 1661 1471.49/1471.94 c 1449s | 21 | 8896458 | 1331445 | 30922 97 | 301 | 1661 1473.48/1473.95 c 1452s | 21 | 8905971 | 1333445 | 30922 97 | 301 | 1661 1475.48/1475.98 c 1454s | 21 | 8914336 | 1334745 | 30922 97 | 301 | 1661 1477.58/1478.03 c 1456s | 21 | 8926079 | 1336845 | 30922 97 | 301 | 1661 1479.58/1480.04 c 1458s | 21 | 8938074 | 1338645 | 30922 97 | 301 | 1661 1481.58/1482.06 c 1460s | 21 | 8951802 | 1340545 | 30922 97 | 301 | 1661 1483.58/1484.06 c 1462s | 21 | 8962584 | 1342445 | 30922 97 | 301 | 1661 1485.68/1486.19 c 1464s | 21 | 8974904 | 1344345 | 30922 97 | 301 | 1661 1487.78/1488.28 c 1466s | 21 | 8987416 | 1346145 | 30922 97 | 301 | 1661 1490.18/1490.65 c 1468s | 21 | 8998917 | 1347945 | 30922 98 | 301 | 1661 1492.67/1493.16 c 1471s | 21 | 9005785 | 1349145 | 30922 98 | 301 | 1661 1494.67/1495.19 c 1473s | 21 | 9020164 | 1351245 | 30922 98 | 301 | 1661 1496.68/1497.20 c 1475s | 21 | 9034742 | 1353145 | 30922 98 | 301 | 1661 1498.78/1499.21 c 1477s | 21 | 9043167 | 1354845 | 30922 98 | 301 | 1661 1500.78/1501.23 c 1479s | 21 | 9055862 | 1356845 | 30922 98 | 301 | 1661 1502.78/1503.24 c 1481s | 21 | 9068448 | 1358845 | 30922 98 | 301 | 1661 1504.78/1505.26 c 1483s | 21 | 9081344 | 1360745 | 30922 98 | 301 | 1661 1506.88/1507.31 c 1485s | 21 | 9093331 | 1362745 | 30922 98 | 301 | 1661 1508.88/1509.35 c 1487s | 21 | 9100331 | 1364545 | 30922 98 | 301 | 1661 1510.88/1511.40 c 1489s | 21 | 9112252 | 1366345 | 30922 99 | 301 | 1661 1512.98/1513.42 c 1491s | 21 | 9123184 | 1368545 | 30922 99 | 301 | 1661 1514.98/1515.43 c 1493s | 21 | 9135680 | 1370145 | 30922 99 | 301 | 1661 1516.98/1517.46 c 1495s | 21 | 9149915 | 1372045 | 30922 99 | 301 | 1661 1519.08/1519.54 c 1497s | 21 | 9161579 | 1374045 | 30922 99 | 301 | 1661 1521.08/1521.58 c 1499s | 21 | 9173995 | 1375845 | 30922 99 | 301 | 1661 1523.18/1523.68 c 1501s | 21 | 9186998 | 1377545 | 30922 99 | 301 | 1661 1525.28/1525.79 c 1503s | 21 | 9198594 | 1379445 | 30922 99 | 301 | 1661 1527.37/1527.87 c 1505s | 21 | 9207259 | 1381045 | 30922 99 | 301 | 1661 1529.47/1529.91 c 1507s | 21 | 9215535 | 1382745 | 30922 100 | 301 | 1661 1531.57/1532.00 c 1510s | 21 | 9228181 | 1384845 | 30922 100 | 301 | 1661 1533.57/1534.03 c 1512s | 21 | 9237013 | 1386345 | 30922 100 | 301 | 1661 1535.67/1536.11 c 1514s | 21 | 9246835 | 1388045 | 30922 100 | 301 | 1661 1537.77/1538.21 c 1516s | 21 | 9257004 | 1389845 | 30922 100 | 301 | 1661 1539.77/1540.23 c 1518s | 21 | 9268749 | 1391645 | 30922 100 | 301 | 1661 1541.88/1542.32 c 1520s | 21 | 9273348 | 1392445 | 30922 100 | 301 | 1661 1543.87/1544.36 c 1522s | 21 | 9279535 | 1393545 | 30922 100 | 301 | 1661 1545.87/1546.38 c 1524s | 21 | 9294383 | 1395845 | 30922 100 | 301 | 1661 1547.97/1548.46 c 1526s | 21 | 9308965 | 1397945 | 30922 101 | 301 | 1661 1549.97/1550.47 c 1528s | 21 | 9318773 | 1399545 | 30922 101 | 301 | 1661 1552.46/1552.99 c 1531s | 21 | 9329342 | 1401145 | 30922 101 | 301 | 1661 1554.57/1555.05 c 1533s | 21 | 9331010 | 1401545 | 30922 101 | 301 | 1661 1556.67/1557.11 c 1535s | 21 | 9344671 | 1403745 | 30922 101 | 301 | 1661 1558.77/1559.22 c 1537s | 21 | 9357477 | 1405745 | 30922 101 | 301 | 1661 1560.87/1561.31 c 1539s | 21 | 9374804 | 1407645 | 30922 101 | 301 | 1661 1562.86/1563.39 c 1541s | 21 | 9388712 | 1409745 | 30922 101 | 301 | 1661 1565.06/1565.51 c 1543s | 21 | 9402093 | 1411745 | 30922 101 | 301 | 1661 1567.07/1567.52 c 1545s | 21 | 9417316 | 1413445 | 30922 101 | 301 | 1661 1569.37/1569.81 c 1547s | 21 | 9427719 | 1414845 | 30922 102 | 301 | 1661 1571.36/1571.81 c 1549s | 21 | 9437937 | 1416445 | 30922 102 | 301 | 1661 1573.36/1573.87 c 1551s | 21 | 9447925 | 1418645 | 30922 102 | 301 | 1661 1575.36/1575.88 c 1553s | 21 | 9458433 | 1420445 | 30922 102 | 301 | 1661 1577.46/1577.98 c 1556s | 21 | 9473821 | 1422545 | 30922 102 | 301 | 1661 1579.57/1580.05 c 1558s | 21 | 9482203 | 1424645 | 30922 102 | 301 | 1661 1581.67/1582.11 c 1560s | 21 | 9497822 | 1426645 | 30922 102 | 301 | 1661 1583.67/1584.14 c 1562s | 21 | 9509008 | 1428445 | 30922 102 | 301 | 1661 1585.77/1586.24 c 1564s | 21 | 9520454 | 1430345 | 30922 102 | 301 | 1661 1587.76/1588.26 c 1566s | 21 | 9530839 | 1432445 | 30922 103 | 301 | 1661 1589.86/1590.31 c 1568s | 21 | 9550544 | 1434545 | 30922 103 | 301 | 1661 1591.86/1592.32 c 1570s | 21 | 9571610 | 1436545 | 30922 103 | 301 | 1661 1593.96/1594.44 c 1572s | 21 | 9588172 | 1438845 | 30922 103 | 301 | 1661 1596.15/1596.68 c 1574s | 21 | 9596108 | 1440145 | 30922 103 | 301 | 1661 1598.16/1598.68 c 1576s | 21 | 9612417 | 1442145 | 30922 103 | 301 | 1661 1600.26/1600.74 c 1578s | 21 | 9629976 | 1444245 | 30922 103 | 301 | 1661 1602.37/1602.81 c 1580s | 21 | 9643017 | 1446245 | 30922 103 | 301 | 1661 1604.36/1604.87 c 1582s | 21 | 9656261 | 1448145 | 30922 104 | 301 | 1661 1606.55/1607.07 c 1585s | 21 | 9665575 | 1449245 | 30922 104 | 301 | 1661 1608.66/1609.15 c 1587s | 21 | 9676443 | 1451045 | 30922 104 | 301 | 1661 1610.76/1611.26 c 1589s | 21 | 9687539 | 1453045 | 30922 104 | 301 | 1661 1612.85/1613.34 c 1591s | 21 | 9689495 | 1453445 | 30922 104 | 301 | 1661 1614.86/1615.37 c 1593s | 21 | 9699368 | 1455145 | 30922 104 | 301 | 1661 1616.86/1617.38 c 1595s | 21 | 9711924 | 1457145 | 30922 104 | 301 | 1661 1618.86/1619.39 c 1597s | 21 | 9728291 | 1459345 | 30922 104 | 301 | 1661 1620.96/1621.41 c 1599s | 21 | 9740883 | 1461345 | 30922 104 | 301 | 1661 1622.95/1623.42 c 1601s | 21 | 9751398 | 1463345 | 30922 104 | 301 | 1661 1624.96/1625.47 c 1603s | 21 | 9762102 | 1465245 | 30922 105 | 301 | 1661 1626.96/1627.48 c 1605s | 21 | 9773094 | 1467345 | 30922 105 | 301 | 1661 1629.05/1629.56 c 1607s | 21 | 9777833 | 1468345 | 30922 105 | 301 | 1661 1631.15/1631.64 c 1609s | 21 | 9794285 | 1470745 | 30922 105 | 301 | 1661 1633.55/1634.08 c 1612s | 21 | 9799717 | 1471645 | 30922 105 | 301 | 1661 1635.55/1636.09 c 1614s | 21 | 9815684 | 1473845 | 30922 105 | 301 | 1661 1637.65/1638.16 c 1616s | 21 | 9827643 | 1476045 | 30922 105 | 301 | 1661 1639.76/1640.22 c 1618s | 21 | 9844297 | 1478345 | 30922 105 | 301 | 1661 1641.75/1642.28 c 1620s | 21 | 9858478 | 1480545 | 30922 105 | 301 | 1661 1643.86/1644.34 c 1622s | 21 | 9869798 | 1482545 | 30922 106 | 301 | 1661 1645.95/1646.40 c 1624s | 21 | 9877156 | 1484045 | 30922 106 | 301 | 1661 1647.95/1648.48 c 1626s | 21 | 9890413 | 1485845 | 30922 106 | 301 | 1661 1650.05/1650.55 c 1628s | 21 | 9911367 | 1487845 | 30922 106 | 301 | 1661 1652.15/1652.62 c 1630s | 21 | 9927378 | 1489745 | 34015 106 | 301 | 1661 1654.15/1654.66 c 1632s | 21 | 9938999 | 1491545 | 34015 106 | 301 | 1661 1656.16/1656.68 c 1634s | 21 | 9948964 | 1493245 | 34015 106 | 301 | 1661 1658.36/1658.83 c 1636s | 21 | 9961000 | 1494845 | 34015 106 | 301 | 1661 1660.35/1660.83 c 1638s | 21 | 9967861 | 1496245 | 34015 106 | 301 | 1661 1662.45/1662.90 c 1640s | 21 | 9978503 | 1497745 | 34015 106 | 301 | 1661 1664.96/1665.49 c 1643s | 21 | 9986924 | 1498745 | 34015 106 | 301 | 1661 1667.05/1667.59 c 1645s | 22 | 10003311 | 1500622 | 34015 106 | 301 | 1661 1671.85/1672.36 c 1650s | 22 | 10009984 | 1501522 | 34015 107 | 301 | 1661 1673.94/1674.41 c 1652s | 22 | 10027788 | 1503722 | 34015 107 | 301 | 1661 1675.96/1676.41 c 1654s | 22 | 10037193 | 1504922 | 34015 107 | 301 | 1661 1677.95/1678.43 c 1656s | 22 | 10049144 | 1506222 | 34015 107 | 301 | 1661 1679.95/1680.49 c 1658s | 22 | 10063162 | 1508122 | 34015 107 | 301 | 1661 1682.05/1682.50 c 1660s | 22 | 10079727 | 1510222 | 34015 107 | 301 | 1661 1684.04/1684.51 c 1662s | 22 | 10090100 | 1511922 | 34015 107 | 301 | 1661 1686.14/1686.61 c 1664s | 22 | 10105665 | 1513822 | 34015 107 | 301 | 1661 1688.15/1688.62 c 1666s | 22 | 10120138 | 1515622 | 34015 107 | 301 | 1661 1690.14/1690.65 c 1668s | 22 | 10134079 | 1517522 | 34015 107 | 301 | 1661 1692.14/1692.66 c 1670s | 22 | 10150767 | 1519422 | 34015 108 | 301 | 1661 1694.14/1694.68 c 1672s | 22 | 10167145 | 1521522 | 34015 108 | 301 | 1661 1697.54/1698.08 c 1676s | 22 | 10175615 | 1522422 | 34015 108 | 301 | 1661 1699.65/1700.17 c 1678s | 22 | 10187324 | 1524022 | 34015 108 | 301 | 1661 1701.75/1702.21 c 1680s | 22 | 10200466 | 1526022 | 34015 108 | 301 | 1661 1703.74/1704.24 c 1682s | 22 | 10215125 | 1528022 | 34015 108 | 301 | 1661 1705.84/1706.34 c 1684s | 22 | 10229230 | 1529922 | 34015 108 | 301 | 1661 1707.85/1708.39 c 1686s | 22 | 10244321 | 1531522 | 34015 108 | 301 | 1661 1709.94/1710.48 c 1688s | 22 | 10257498 | 1533222 | 34015 108 | 301 | 1661 1711.94/1712.48 c 1690s | 22 | 10269944 | 1534722 | 34015 108 | 301 | 1661 1714.04/1714.50 c 1692s | 22 | 10280939 | 1536122 | 34015 108 | 301 | 1661 1716.04/1716.52 c 1694s | 22 | 10291801 | 1537422 | 34015 109 | 301 | 1661 1718.04/1718.57 c 1696s | 22 | 10304426 | 1539522 | 34015 109 | 301 | 1661 1720.05/1720.59 c 1698s | 22 | 10317539 | 1541222 | 34015 109 | 301 | 1661 1722.15/1722.66 c 1700s | 22 | 10330614 | 1542922 | 34015 109 | 301 | 1661 1724.24/1724.70 c 1702s | 22 | 10342101 | 1544822 | 34015 109 | 301 | 1661 1726.24/1726.72 c 1704s | 22 | 10350358 | 1546022 | 34015 109 | 301 | 1661 1728.24/1728.72 c 1706s | 22 | 10361772 | 1547722 | 34015 109 | 301 | 1661 1730.24/1730.76 c 1708s | 22 | 10372246 | 1549522 | 34015 109 | 301 | 1661 1732.34/1732.85 c 1710s | 22 | 10386036 | 1551322 | 34015 109 | 301 | 1661 1734.34/1734.89 c 1712s | 22 | 10395772 | 1553122 | 34015 109 | 301 | 1661 1736.54/1737.01 c 1715s | 22 | 10404936 | 1554722 | 34015 109 | 301 | 1661 1739.63/1740.15 c 1718s | 22 | 10414058 | 1556122 | 34015 110 | 301 | 1661 1741.64/1742.15 c 1720s | 22 | 10429604 | 1558022 | 34015 110 | 301 | 1661 1743.64/1744.17 c 1722s | 22 | 10443622 | 1559722 | 34015 110 | 301 | 1661 1745.73/1746.22 c 1724s | 22 | 10459178 | 1561622 | 34015 110 | 301 | 1661 1747.83/1748.32 c 1726s | 22 | 10473483 | 1563722 | 34015 110 | 301 | 1661 1749.93/1750.40 c 1728s | 22 | 10488028 | 1565422 | 34015 110 | 301 | 1661 1751.94/1752.44 c 1730s | 22 | 10500027 | 1567222 | 34015 110 | 301 | 1661 1754.04/1754.50 c 1732s | 22 | 10512873 | 1569122 | 34015 110 | 301 | 1661 1756.03/1756.55 c 1734s | 22 | 10523588 | 1570622 | 34015 110 | 301 | 1661 1758.03/1758.56 c 1736s | 22 | 10535374 | 1572422 | 34015 110 | 301 | 1661 1760.14/1760.63 c 1738s | 22 | 10544585 | 1573922 | 34015 111 | 301 | 1661 1762.14/1762.66 c 1740s | 22 | 10554221 | 1575522 | 34015 111 | 301 | 1661 1764.14/1764.66 c 1742s | 22 | 10563061 | 1577422 | 34015 111 | 301 | 1661 1766.14/1766.69 c 1744s | 22 | 10574014 | 1579122 | 34015 111 | 301 | 1661 1768.23/1768.75 c 1746s | 22 | 10588660 | 1581222 | 34015 111 | 301 | 1661 1770.23/1770.76 c 1748s | 22 | 10602630 | 1583022 | 34015 111 | 301 | 1661 1772.33/1772.85 c 1750s | 22 | 10612027 | 1584422 | 34015 111 | 301 | 1661 1774.43/1774.93 c 1752s | 22 | 10622268 | 1586122 | 34015 111 | 301 | 1661 1776.43/1776.97 c 1755s | 22 | 10632399 | 1587622 | 34015 111 | 301 | 1661 1778.43/1778.99 c 1757s | 22 | 10643794 | 1589322 | 34015 111 | 301 | 1661 1780.54/1781.09 c 1759s | 22 | 10653245 | 1590922 | 34015 111 | 301 | 1661 1782.64/1783.16 c 1761s | 22 | 10662381 | 1592422 | 34015 112 | 301 | 1661 1784.73/1785.23 c 1763s | 22 | 10673014 | 1594422 | 34015 112 | 301 | 1661 1786.73/1787.28 c 1765s | 22 | 10684418 | 1596422 | 34015 112 | 301 | 1661 1788.83/1789.32 c 1767s | 22 | 10694212 | 1598222 | 34015 112 | 301 | 1661 1791.33/1791.87 c 1769s | 22 | 10697104 | 1598722 | 34015 112 | 301 | 1661 1793.43/1793.91 c 1771s | 22 | 10704268 | 1600122 | 34015 112 | 301 | 1661 1795.43/1795.94 c 1773s | 22 | 10723545 | 1602422 | 34015 112 | 301 | 1661 1797.43/1797.94 c 1775s | 22 | 10738153 | 1604522 | 34015 112 | 301 | 1661 1799.43/1799.98 c 1778s | 22 | 10750619 | 1606622 | 34015 112 | 301 | 1661
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-4079108-1465253680/watcher-4079108-1465253680 -o /tmp/evaluation-result-4079108-1465253680/solver-4079108-1465253680 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079108-1465253680.opb pid=8647 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.00 3/179 8650 /proc/meminfo: memFree=30621804/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=674236 CPUtime=0 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 2508 0 0 0 0 0 0 0 20 0 4 0 107302660 690417664 3379 33554432000 4194304 16246674 140733815686928 140733815686352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 169327 3387 441 2943 0 166221 0 [pid=8650/tid=8651] ppid=8647 vsize=692668 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 709292032 3450 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=696764 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 713486336 3467 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=700860 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107302660 717680640 3483 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100216 s] /proc/loadavg: 2.00 2.02 2.00 3/179 8650 /proc/meminfo: memFree=30621804/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1221188 CPUtime=0.09 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 23355 0 0 0 6 3 0 0 20 0 4 0 107302660 1250496512 24164 33554432000 4194304 16246674 140733815686928 140733815668800 5741135 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 305297 24171 832 2943 0 302191 0 [pid=8650/tid=8651] ppid=8647 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1250496512 24176 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1250496512 24182 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107302660 1250496512 24188 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200513 s] /proc/loadavg: 2.00 2.02 2.00 3/179 8650 /proc/meminfo: memFree=30621804/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1221188 CPUtime=0.19 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 40653 0 0 0 14 5 0 0 20 0 4 0 107302660 1250496512 41462 33554432000 4194304 16246674 140733815686928 140733815668800 5532301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 305297 41469 867 2943 0 302191 0 [pid=8650/tid=8651] ppid=8647 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1250496512 41473 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1250496512 41478 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107302660 1250496512 41482 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1221188 [startup+0.300471 s] /proc/loadavg: 2.00 2.02 2.00 3/179 8650 /proc/meminfo: memFree=30621804/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1300036 CPUtime=0.29 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 66306 0 0 0 21 8 0 0 20 0 4 0 107302660 1331236864 67115 33554432000 4194304 16246674 140733815686928 140733815686240 6934971 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 325009 67125 883 2943 0 321903 0 [pid=8650/tid=8651] ppid=8647 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1331236864 67133 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1331236864 67140 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1331236864 67149 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1300036 [startup+0.700411 s] /proc/loadavg: 2.00 2.02 2.00 3/179 8650 /proc/meminfo: memFree=30621804/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1306180 CPUtime=0.69 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 99456 0 0 0 57 12 0 0 20 0 4 0 107302660 1337528320 100265 33554432000 4194304 16246674 140733815686928 140733815686240 12654389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 326545 100265 900 2943 0 323439 0 [pid=8650/tid=8651] ppid=8647 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1337528320 100265 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1337528320 100265 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1337528320 100265 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1306180 [startup+1.50041 s] /proc/loadavg: 2.00 2.02 2.00 3/183 8654 /proc/meminfo: memFree=30111932/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1307204 CPUtime=1.49 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 126965 0 0 0 134 15 0 0 20 0 4 0 107302660 1338576896 127774 33554432000 4194304 16246674 140733815686928 140733815668800 5563447 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 326801 127774 901 2943 0 323695 0 [pid=8650/tid=8651] ppid=8647 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1338576896 127774 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1338576896 127774 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1338576896 127774 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.10041 s] /proc/loadavg: 2.00 2.02 2.00 3/183 8654 /proc/meminfo: memFree=29923452/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1314372 CPUtime=3.09 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 269550 0 0 0 275 34 0 0 20 0 4 0 107302660 1345916928 270359 33554432000 4194304 16246674 140733815686928 140733815668800 12655193 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 328593 270359 901 2943 0 325487 0 [pid=8650/tid=8651] ppid=8647 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1345916928 270359 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1345916928 270359 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1345916928 270359 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1314372 [startup+6.30041 s] /proc/loadavg: 2.00 2.02 2.00 3/183 8654 /proc/meminfo: memFree=29540540/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1314372 CPUtime=6.29 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 269788 0 0 0 595 34 0 0 20 0 4 0 107302660 1345916928 270597 33554432000 4194304 16246674 140733815686928 140733815668800 12654296 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 328593 270597 901 2943 0 325487 0 [pid=8650/tid=8651] ppid=8647 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1345916928 270597 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1345916928 270597 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1345916928 270597 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1314372 [startup+12.7004 s] /proc/loadavg: 2.00 2.02 2.00 3/183 8654 /proc/meminfo: memFree=29540888/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1314372 CPUtime=12.69 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 269788 0 0 0 1235 34 0 0 20 0 4 0 107302660 1345916928 270597 33554432000 4194304 16246674 140733815686928 140733815668800 12371230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 328593 270597 901 2943 0 325487 0 [pid=8650/tid=8651] ppid=8647 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1345916928 270597 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1345916928 270597 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1345916928 270597 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1314372 [startup+25.5005 s] /proc/loadavg: 2.00 2.02 2.00 3/183 8654 /proc/meminfo: memFree=29538300/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1317444 CPUtime=25.48 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 270569 0 0 0 2514 34 0 0 20 0 4 0 107302660 1349062656 271378 33554432000 4194304 16246674 140733815686928 140733815668800 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 329361 271378 914 2943 0 326255 0 [pid=8650/tid=8651] ppid=8647 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1349062656 271378 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1349062656 271378 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1349062656 271378 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1317444 [startup+51.1005 s] /proc/loadavg: 2.00 2.02 2.00 3/183 8654 /proc/meminfo: memFree=29530744/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1325636 CPUtime=51.09 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 272431 0 0 0 5073 36 0 0 20 0 4 0 107302660 1357451264 273240 33554432000 4194304 16246674 140733815686928 140733815668800 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 331409 273240 918 2943 0 328303 0 [pid=8650/tid=8651] ppid=8647 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1357451264 273240 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1357451264 273240 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1357451264 273240 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1325636 [startup+102.3 s] /proc/loadavg: 2.08 2.03 2.01 3/183 8655 /proc/meminfo: memFree=29529916/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1325636 CPUtime=102.28 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 272622 0 0 0 10184 44 0 0 20 0 4 0 107302660 1357451264 273431 33554432000 4194304 16246674 140733815686928 140733815668800 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 331409 273431 919 2943 0 328303 0 [pid=8650/tid=8651] ppid=8647 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1357451264 273431 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1357451264 273431 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1357451264 273431 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1325636 ################ # More data... # ################ /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1370692 [startup+1362.3 s] /proc/loadavg: 2.06 2.05 2.01 3/183 8757 /proc/meminfo: memFree=29525020/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1370692 CPUtime=1361.89 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 284178 0 0 0 136014 175 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 140733815668800 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 342673 284702 919 2943 0 339567 0 [pid=8650/tid=8651] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1370692 [startup+1422.3 s] /proc/loadavg: 2.05 2.05 2.01 3/183 8758 /proc/meminfo: memFree=29524904/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1370692 CPUtime=1421.9 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 284178 0 0 0 142005 185 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 140733815668800 13781188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 342673 284702 919 2943 0 339567 0 [pid=8650/tid=8651] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1370692 [startup+1482.3 s] /proc/loadavg: 2.08 2.06 2.01 3/183 8760 /proc/meminfo: memFree=29524660/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1370692 CPUtime=1481.88 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 284178 0 0 0 147992 196 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 140733815668800 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 342673 284702 919 2943 0 339567 0 [pid=8650/tid=8651] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1370692 [startup+1542.31 s] /proc/loadavg: 2.03 2.05 2.00 3/184 8764 /proc/meminfo: memFree=29524540/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1370692 CPUtime=1541.88 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 284178 0 0 0 153987 201 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 140733815668800 5822472 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 342673 284702 919 2943 0 339567 0 [pid=8650/tid=8651] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1370692 [startup+1602.3 s] /proc/loadavg: 2.13 2.07 2.01 3/183 8765 /proc/meminfo: memFree=29524772/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1370692 CPUtime=1601.86 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 284178 0 0 0 159975 211 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 140733815668800 5823807 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 342673 284702 919 2943 0 339567 0 [pid=8650/tid=8651] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1370692 [startup+1662.3 s] /proc/loadavg: 2.16 2.09 2.02 3/183 8766 /proc/meminfo: memFree=29489104/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1370692 CPUtime=1661.85 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 284178 0 0 0 165964 221 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 140733815668800 5712550 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 342673 284702 919 2943 0 339567 0 [pid=8650/tid=8651] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1370692 [startup+1722.3 s] /proc/loadavg: 2.10 2.09 2.02 3/183 8767 /proc/meminfo: memFree=29489208/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1370692 CPUtime=1721.84 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 284178 0 0 0 171944 240 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 140733815668800 5711956 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 342673 284702 919 2943 0 339567 0 [pid=8650/tid=8651] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1370692 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1403588608 284702 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1370692 [startup+1782.3 s] /proc/loadavg: 2.03 2.07 2.01 3/182 8768 /proc/meminfo: memFree=29474564/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1385028 CPUtime=1781.83 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 287705 0 0 0 177938 245 0 0 20 0 4 0 107302660 1418268672 288229 33554432000 4194304 16246674 140733815686928 140733815668800 5824498 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 346257 288229 919 2943 0 343151 0 [pid=8650/tid=8651] ppid=8647 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1418268672 288229 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1418268672 288229 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1418268672 288229 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1385028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.02 2.06 2.01 3/183 8770 /proc/meminfo: memFree=29474440/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1385028 CPUtime=1800.03 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 287705 0 0 0 179753 250 0 0 20 0 4 0 107302660 1418268672 288229 33554432000 4194304 16246674 140733815686928 140733815669928 5672257 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 346257 288229 919 2943 0 343151 0 [pid=8650/tid=8651] ppid=8647 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1418268672 288229 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1418268672 288229 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1418268672 288229 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1385028 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 8650 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.02 2.06 2.01 3/183 8770 /proc/meminfo: memFree=29474440/32872528 swapFree=11372/178980 [pid=8650] ppid=8647 vsize=1385028 CPUtime=1800.03 cores=0,2,4,6 /proc/8650/stat : 8650 (toysat) R 8647 8650 4590 0 -1 4202496 287705 0 0 0 179753 250 0 0 20 0 4 0 107302660 1418268672 288229 33554432000 4194304 16246674 140733815686928 140733815669928 5672257 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8650/statm: 346257 288229 919 2943 0 343151 0 [pid=8650/tid=8651] ppid=8647 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8651/stat : 8651 (toysat) S 8647 8650 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107302660 1418268672 288229 33554432000 4194304 16246674 140733815686928 139846144208112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8650/tid=8652] ppid=8647 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8652/stat : 8652 (toysat) S 8647 8650 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107302660 1418268672 288229 33554432000 4194304 16246674 140733815686928 139846133718256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8650/tid=8653] ppid=8647 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/8650/task/8653/stat : 8653 (toysat) S 8647 8650 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107302660 1418268672 288229 33554432000 4194304 16246674 140733815686928 139846014201008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1385028 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1797.54 CPU system time (s): 2.50262 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 1385028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.54 system time used= 2.50262 maximum resident set size= 1152916 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 287705 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= 306 involuntary context switches= 1848 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.43433 second user time and 7.12192 second system time The end
Begin job on node105 at 2016-06-07 00:54:40 IDJOB=4079108 IDBENCH=25048 IDSOLVER=2542 FILE ID=node105/4079108-1465253680 RUNJOBID= node105-1465220657-4606 PBS_JOBID= 19843223 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079108-1465253680/watcher-4079108-1465253680 -o /tmp/evaluation-result-4079108-1465253680/solver-4079108-1465253680 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079108-1465253680.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 457d573eb873a5d33dddcaaf7d992dd1 RANDOM SEED=1283729533 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.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.62 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.813 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.813 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.813 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.813 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.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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.813 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: 30621968 kB Buffers: 62300 kB Cached: 146488 kB SwapCached: 1756 kB Active: 1259792 kB Inactive: 107888 kB Active(anon): 1159900 kB Inactive(anon): 1508 kB Active(file): 99892 kB Inactive(file): 106380 kB Unevictable: 178980 kB Mlocked: 11372 kB SwapTotal: 67108856 kB SwapFree: 67098464 kB Dirty: 16732 kB Writeback: 0 kB AnonPages: 1464188 kB Mapped: 10748 kB Shmem: 0 kB Slab: 570068 kB SReclaimable: 13624 kB SUnreclaim: 556444 kB KernelStack: 1520 kB PageTables: 7180 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1480472 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1445888 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= 71712 MiB End job on node105 at 2016-06-07 01:24:41