0.00/0.00 c 2016-06-18T05:30:28+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-4101097-1466220628.opb"]
0.00/0.01 c use --random-gen="492030281 3782997230 3258949771 1500516255 320383114 2843590750 1189849820 1073100428 3640004287 1962093871 3877742093 976467228 3946023590 2227449813 3886274651 276888912 2095761438 214579949 4273377887 2298206759 2872183041 1146429688 4201589155 811459981 3971732782 936734218 2086555421 3802755481 4269856077 1637261662 3063229216 3103453852 4271415528 4135489580 2814553971 2132753099 24933017 2011718903 2724189839 1541611373 244653335 1594345462 1735301110 143856887 1059205215 3049450377 3842691485 3452596097 746211571 4230516815 3852783888 499347495 2852072503 1180796064 2472455935 2201819278 2812948527 4053792034 3687825856 1153645424 2715689550 1377334889 4277001247 131750111 3059120807 3974321266 906958203 1534549453 1380940493 2871662041 2748221330 1351125402 3442780107 2674422651 2317816910 2585496410 4103458398 1673148092 1978969304 3463032236 2315279254 2415427632 2841911988 3437014154 2343869608 651001816 2561367531 1982056444 3315474157 547254327 3320322926 384773269 145427186 3731361398 2341616142 2594671511 2503300720 2160882053 1774925755 1304189841 1270330152 3864609396 3720581211 2171228369 2430125161 2229509055 728170200 1477027140 3888004150 2897165548 694647247 3484956534 2991179314 368750400 228495368 2135622831 439971877 348124408 2655938323 900934906 3463773240 3722676581 1491686081 165747539 2029096425 2427419631 2006024075 2547177602 1213621612 3232926259 686233000 109762224 3327917892 3190096981 3448751515 2503888985 1653462867 3085592727 3866187376 185077234 3731480357 2288118306 1269904693 2176989527 1575448617 209292912 1975104053 1750723440 3290681917 1010110879 2496206865 3271583048 2661232238 3730596866 2008177463 4274991316 1415956203 8022290 3580733112 2551696328 559667954 1811278397 2978085967 793099795 3066893678 907084556 4055037163 2170259402 457597973 3838346430 2545121510 790889430 1037656928 1663598949 169078105 2969260290 401937867 1814294780 1027292623 4001597503 1808776168 870063430 607873432 3439413827 743528502 2062509164 1367471207 3622016014 2935736755 3480292815 2407460337 4019450034 2370189577 96148506 1178171783 3510890473 3486791073 1073361802 2174398124 217311765 31650699 2197799083 3373546599 270791138 2072995890 176677926 2843527816 3109497641 1082471024 3084098949 2132495948 529382679 2988176229 3086534542 1739741979 3687654150 2091728802 2304146242 1945416936 458812550 2869744483 1478441249 2109781053 1034328840 1835089576 1364981220 1518343167 3033492117 869248331 2446666328 3693163258 4265571966 3497182090 2065026313 2168486642 2343617517 1701879874 2360609634 2230925842 2732262793 3427918092 2581400603 1623531918 1394010134 625744367 2189682357 984829340 833689388 4056821141 2535047863 4255454890 802788975 2195554580 2302254789 1840914247 3203050076 255 362436" option to reproduce the execution
0.00/0.01 c #vars 960
0.00/0.01 c #constraints 27
0.00/0.04 c BCD2: Hardening is enabled.
0.00/0.04 c BCD2: BiasedSearch is enabled.
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 331 0 | 326 | 0
0.00/0.06 c 0.0s | 1 | 130 | 100 | 331 0 | 333 | 0
0.19/0.20 c 0.2s | 2 | 474 | 250 | 365 0 | 333 | 0
0.28/0.32 c 0.3s | 3 | 1665 | 475 | 402 0 | 333 | 0
0.28/0.34 c 0.3s | 3 | 1968 | 548 | 443 0 | 333 | 0
0.28/0.34 c #cpu_time = 0.300s
0.28/0.34 c #wall_clock_time = 0.301s
0.28/0.34 c #decision = 1968
0.28/0.34 c #random_decision = 4
0.28/0.34 c #conflict = 548
0.28/0.34 c #restart = 3
0.28/0.34 o -14
0.28/0.37 c BCD2: hardening fixes 2 literals
0.28/0.37 c BCD2: updating upper bound: 524394 -> 80050
0.28/0.37 c BCD2: 0 <= obj <= 80050
0.28/0.37 c BCD2: #cores=0, #unrelaxed=148, #relaxed=0, #hardened=2
0.28/0.37 c BCD2: #sat=1 #unsat=1 bias=1/2
0.28/0.37 c Solving starts ...
0.28/0.37 c ============================[ Search Statistics ]============================
0.28/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.28/0.37 c | | | | Limit GC | Var | Constra
0.28/0.37 c =============================================================================
0.28/0.37 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
0.28/0.38 c 0.0s | 0 | 35 | 1 | 443 0 | 335 | 0
0.28/0.38 c #cpu_time = 0.004s
0.28/0.38 c #wall_clock_time = 0.004s
0.28/0.38 c #decision = 35
0.28/0.38 c #random_decision = 0
0.28/0.38 c #conflict = 1
0.28/0.38 c #restart = 0
0.28/0.38 c BCD2: found a new core of size 12: cost of the new core is >=1
0.28/0.38 c lower bound updated to -80064
0.39/0.41 c BCD2: 1 <= obj <= 80050
0.39/0.41 c BCD2: #cores=1, #unrelaxed=136, #relaxed=12, #hardened=2
0.39/0.41 c BCD2: #sat=1 #unsat=2 bias=2/3
0.39/0.41 c Solving starts ...
0.39/0.41 c ============================[ Search Statistics ]============================
0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.41 c | | | | Limit GC | Var | Constra
0.39/0.41 c =============================================================================
0.39/0.41 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
0.39/0.41 c 0.0s | 0 | 25 | 1 | 443 0 | 335 | 0
0.39/0.41 c #cpu_time = 0.004s
0.39/0.41 c #wall_clock_time = 0.004s
0.39/0.41 c #decision = 25
0.39/0.41 c #random_decision = 0
0.39/0.41 c #conflict = 1
0.39/0.41 c #restart = 0
0.39/0.41 c BCD2: found a new core of size 6: cost of the new core is >=1
0.39/0.41 c lower bound updated to -80063
0.39/0.44 c BCD2: 2 <= obj <= 80050
0.39/0.44 c BCD2: #cores=2, #unrelaxed=130, #relaxed=18, #hardened=2
0.39/0.44 c BCD2: #sat=1 #unsat=3 bias=3/4
0.39/0.44 c Solving starts ...
0.39/0.44 c ============================[ Search Statistics ]============================
0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.44 c | | | | Limit GC | Var | Constra
0.39/0.44 c =============================================================================
0.39/0.44 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
0.39/0.45 c 0.0s | 0 | 20 | 0 | 443 0 | 335 | 0
0.39/0.45 c #cpu_time = 0.004s
0.39/0.45 c #wall_clock_time = 0.004s
0.39/0.45 c #decision = 20
0.39/0.45 c #random_decision = 0
0.39/0.45 c #conflict = 0
0.39/0.45 c #restart = 0
0.39/0.45 c BCD2: found a new core of size 1: cost of the new core is >=5
0.39/0.45 c lower bound updated to -80058
0.39/0.48 c BCD2: 7 <= obj <= 80050
0.39/0.48 c BCD2: #cores=3, #unrelaxed=129, #relaxed=19, #hardened=2
0.39/0.48 c BCD2: #sat=1 #unsat=4 bias=4/5
0.39/0.48 c Solving starts ...
0.39/0.48 c ============================[ Search Statistics ]============================
0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.48 c | | | | Limit GC | Var | Constra
0.39/0.48 c =============================================================================
0.39/0.48 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
0.39/0.48 c 0.0s | 0 | 21 | 0 | 443 0 | 335 | 0
0.39/0.48 c #cpu_time = 0.004s
0.39/0.48 c #wall_clock_time = 0.004s
0.39/0.48 c #decision = 21
0.39/0.48 c #random_decision = 0
0.39/0.48 c #conflict = 0
0.39/0.48 c #restart = 0
0.39/0.48 c BCD2: found a new core of size 1: cost of the new core is >=9
0.39/0.48 c lower bound updated to -80049
0.49/0.51 c BCD2: 16 <= obj <= 80050
0.49/0.51 c BCD2: #cores=4, #unrelaxed=128, #relaxed=20, #hardened=2
0.49/0.51 c BCD2: #sat=1 #unsat=5 bias=5/6
0.49/0.51 c Solving starts ...
0.49/0.51 c ============================[ Search Statistics ]============================
0.49/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.51 c | | | | Limit GC | Var | Constra
0.49/0.51 c =============================================================================
0.49/0.51 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
0.49/0.52 c 0.0s | 0 | 22 | 0 | 443 0 | 335 | 0
0.49/0.52 c #cpu_time = 0.004s
0.49/0.52 c #wall_clock_time = 0.004s
0.49/0.52 c #decision = 22
0.49/0.52 c #random_decision = 0
0.49/0.52 c #conflict = 0
0.49/0.52 c #restart = 0
0.49/0.52 c BCD2: found a new core of size 1: cost of the new core is >=18
0.49/0.52 c lower bound updated to -80031
0.49/0.55 c BCD2: 34 <= obj <= 80050
0.49/0.55 c BCD2: #cores=5, #unrelaxed=127, #relaxed=21, #hardened=2
0.49/0.55 c BCD2: #sat=1 #unsat=6 bias=6/7
0.49/0.55 c Solving starts ...
0.49/0.55 c ============================[ Search Statistics ]============================
0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.55 c | | | | Limit GC | Var | Constra
0.49/0.55 c =============================================================================
0.49/0.55 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
0.49/0.55 c 0.0s | 0 | 23 | 0 | 443 0 | 335 | 0
0.49/0.55 c #cpu_time = 0.004s
0.49/0.55 c #wall_clock_time = 0.004s
0.49/0.55 c #decision = 23
0.49/0.55 c #random_decision = 0
0.49/0.55 c #conflict = 0
0.49/0.55 c #restart = 0
0.49/0.55 c BCD2: found a new core of size 1: cost of the new core is >=35
0.49/0.55 c lower bound updated to -79996
0.49/0.58 c BCD2: 69 <= obj <= 80050
0.49/0.58 c BCD2: #cores=6, #unrelaxed=126, #relaxed=22, #hardened=2
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 | 443 0 | 335 | 0
0.49/0.59 c 0.0s | 0 | 24 | 0 | 443 0 | 335 | 0
0.49/0.59 c #cpu_time = 0.004s
0.49/0.59 c #wall_clock_time = 0.004s
0.49/0.59 c #decision = 24
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 1: cost of the new core is >=70
0.49/0.59 c lower bound updated to -79926
0.58/0.62 c BCD2: 139 <= obj <= 80050
0.58/0.62 c BCD2: #cores=7, #unrelaxed=125, #relaxed=23, #hardened=2
0.58/0.62 c BCD2: #sat=1 #unsat=8 bias=8/9
0.58/0.62 c Solving starts ...
0.58/0.62 c ============================[ Search Statistics ]============================
0.58/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.58/0.62 c | | | | Limit GC | Var | Constra
0.58/0.62 c =============================================================================
0.58/0.62 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
0.58/0.62 c 0.0s | 0 | 25 | 0 | 443 0 | 335 | 0
0.58/0.62 c #cpu_time = 0.004s
0.58/0.62 c #wall_clock_time = 0.004s
0.58/0.62 c #decision = 25
0.58/0.62 c #random_decision = 0
0.58/0.62 c #conflict = 0
0.58/0.62 c #restart = 0
0.58/0.62 c BCD2: found a new core of size 1: cost of the new core is >=139
0.58/0.62 c lower bound updated to -79787
0.58/0.65 c BCD2: 278 <= obj <= 80050
0.58/0.65 c BCD2: #cores=8, #unrelaxed=124, #relaxed=24, #hardened=2
0.58/0.65 c BCD2: #sat=1 #unsat=9 bias=9/10
0.58/0.65 c Solving starts ...
0.58/0.65 c ============================[ Search Statistics ]============================
0.58/0.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.58/0.65 c | | | | Limit GC | Var | Constra
0.58/0.65 c =============================================================================
0.58/0.65 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
0.58/0.65 c 0.0s | 0 | 26 | 0 | 443 0 | 335 | 0
0.58/0.65 c #cpu_time = 0.004s
0.58/0.65 c #wall_clock_time = 0.004s
0.58/0.66 c #decision = 26
0.58/0.66 c #random_decision = 0
0.58/0.66 c #conflict = 0
0.58/0.66 c #restart = 0
0.58/0.66 c BCD2: found a new core of size 1: cost of the new core is >=278
0.58/0.66 c lower bound updated to -79509
0.58/0.69 c BCD2: 556 <= obj <= 80050
0.58/0.69 c BCD2: #cores=9, #unrelaxed=123, #relaxed=25, #hardened=2
0.58/0.69 c BCD2: #sat=1 #unsat=10 bias=10/11
0.58/0.69 c Solving starts ...
0.58/0.69 c ============================[ Search Statistics ]============================
0.58/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.58/0.69 c | | | | Limit GC | Var | Constra
0.58/0.69 c =============================================================================
0.58/0.69 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
0.58/0.69 c 0.0s | 0 | 27 | 0 | 443 0 | 335 | 0
0.58/0.69 c #cpu_time = 0.004s
0.58/0.69 c #wall_clock_time = 0.004s
0.58/0.69 c #decision = 27
0.58/0.69 c #random_decision = 0
0.58/0.69 c #conflict = 0
0.58/0.69 c #restart = 0
0.58/0.69 c BCD2: found a new core of size 1: cost of the new core is >=556
0.58/0.69 c lower bound updated to -78953
0.69/0.72 c BCD2: 1112 <= obj <= 80050
0.69/0.72 c BCD2: #cores=10, #unrelaxed=122, #relaxed=26, #hardened=2
0.69/0.72 c BCD2: #sat=1 #unsat=11 bias=11/12
0.69/0.72 c Solving starts ...
0.69/0.72 c ============================[ Search Statistics ]============================
0.69/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.72 c | | | | Limit GC | Var | Constra
0.69/0.72 c =============================================================================
0.69/0.72 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
0.69/0.72 c 0.0s | 0 | 28 | 0 | 443 0 | 335 | 0
0.69/0.72 c #cpu_time = 0.004s
0.69/0.72 c #wall_clock_time = 0.004s
0.69/0.72 c #decision = 28
0.69/0.72 c #random_decision = 0
0.69/0.72 c #conflict = 0
0.69/0.72 c #restart = 0
0.69/0.72 c BCD2: found a new core of size 1: cost of the new core is >=1111
0.69/0.72 c lower bound updated to -77842
0.69/0.75 c BCD2: 2223 <= obj <= 80050
0.69/0.75 c BCD2: #cores=11, #unrelaxed=121, #relaxed=27, #hardened=2
0.69/0.75 c BCD2: #sat=1 #unsat=12 bias=12/13
0.69/0.75 c Solving starts ...
0.69/0.76 c ============================[ Search Statistics ]============================
0.69/0.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.76 c | | | | Limit GC | Var | Constra
0.69/0.76 c =============================================================================
0.69/0.76 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
0.69/0.76 c 0.0s | 0 | 29 | 0 | 443 0 | 335 | 0
0.69/0.76 c #cpu_time = 0.004s
0.69/0.76 c #wall_clock_time = 0.004s
0.69/0.76 c #decision = 29
0.69/0.76 c #random_decision = 0
0.69/0.76 c #conflict = 0
0.69/0.76 c #restart = 0
0.69/0.76 c BCD2: found a new core of size 1: cost of the new core is >=2222
0.69/0.76 c lower bound updated to -75620
0.69/0.79 c BCD2: 4445 <= obj <= 80050
0.69/0.79 c BCD2: #cores=12, #unrelaxed=120, #relaxed=28, #hardened=2
0.69/0.79 c BCD2: #sat=1 #unsat=13 bias=13/14
0.69/0.79 c Solving starts ...
0.69/0.79 c ============================[ Search Statistics ]============================
0.69/0.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.79 c | | | | Limit GC | Var | Constra
0.69/0.79 c =============================================================================
0.69/0.79 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
0.69/0.79 c 0.0s | 0 | 30 | 0 | 443 0 | 335 | 0
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 = 30
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 1: cost of the new core is >=4444
0.69/0.79 c lower bound updated to -71176
0.79/0.82 c BCD2: 8889 <= obj <= 80050
0.79/0.82 c BCD2: #cores=13, #unrelaxed=119, #relaxed=29, #hardened=2
0.79/0.82 c BCD2: #sat=1 #unsat=14 bias=14/15
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 | 443 0 | 335 | 0
0.79/0.83 c 0.0s | 0 | 31 | 0 | 443 0 | 335 | 0
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 = 31
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 1: cost of the new core is >=8887
0.79/0.83 c lower bound updated to -62289
0.79/0.86 c BCD2: 17776 <= obj <= 80050
0.79/0.86 c BCD2: #cores=14, #unrelaxed=118, #relaxed=30, #hardened=2
0.79/0.86 c BCD2: #sat=1 #unsat=15 bias=15/16
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 | 443 0 | 335 | 0
0.79/0.86 c 0.0s | 0 | 49 | 0 | 443 0 | 335 | 0
0.79/0.86 c #cpu_time = 0.004s
0.79/0.86 c #wall_clock_time = 0.004s
0.79/0.86 c #decision = 49
0.79/0.86 c #random_decision = 0
0.79/0.86 c #conflict = 0
0.79/0.86 c #restart = 0
0.79/0.86 c BCD2: found a new core of size 15: cost of the new core is >=1
0.79/0.86 c lower bound updated to -62288
0.79/0.89 c BCD2: 17777 <= obj <= 80050
0.79/0.89 c BCD2: #cores=15, #unrelaxed=103, #relaxed=45, #hardened=2
0.79/0.89 c BCD2: #sat=1 #unsat=16 bias=16/17
0.79/0.89 c Solving starts ...
0.79/0.89 c ============================[ Search Statistics ]============================
0.79/0.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.89 c | | | | Limit GC | Var | Constra
0.79/0.89 c =============================================================================
0.79/0.89 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
0.89/0.90 c 0.0s | 0 | 36 | 0 | 443 0 | 335 | 0
0.89/0.90 c #cpu_time = 0.004s
0.89/0.90 c #wall_clock_time = 0.004s
0.89/0.90 c #decision = 36
0.89/0.90 c #random_decision = 0
0.89/0.90 c #conflict = 0
0.89/0.90 c #restart = 0
0.89/0.90 c BCD2: found a new core of size 1: cost of the new core is >=4
0.89/0.90 c lower bound updated to -62284
0.89/0.93 c BCD2: 17781 <= obj <= 80050
0.89/0.93 c BCD2: #cores=16, #unrelaxed=102, #relaxed=46, #hardened=2
0.89/0.93 c BCD2: #sat=1 #unsat=17 bias=17/18
0.89/0.93 c Solving starts ...
0.89/0.93 c ============================[ Search Statistics ]============================
0.89/0.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.93 c | | | | Limit GC | Var | Constra
0.89/0.93 c =============================================================================
0.89/0.93 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
0.89/0.93 c 0.0s | 0 | 37 | 0 | 443 0 | 335 | 0
0.89/0.93 c #cpu_time = 0.004s
0.89/0.93 c #wall_clock_time = 0.004s
0.89/0.93 c #decision = 37
0.89/0.93 c #random_decision = 0
0.89/0.93 c #conflict = 0
0.89/0.93 c #restart = 0
0.89/0.93 c BCD2: found a new core of size 1: cost of the new core is >=7
0.89/0.93 c lower bound updated to -62277
0.89/0.96 c BCD2: 17788 <= obj <= 80050
0.89/0.96 c BCD2: #cores=17, #unrelaxed=101, #relaxed=47, #hardened=2
0.89/0.96 c BCD2: #sat=1 #unsat=18 bias=18/19
0.89/0.96 c Solving starts ...
0.89/0.96 c ============================[ Search Statistics ]============================
0.89/0.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.96 c | | | | Limit GC | Var | Constra
0.89/0.96 c =============================================================================
0.89/0.96 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
0.89/0.97 c 0.0s | 0 | 38 | 0 | 443 0 | 335 | 0
0.89/0.97 c #cpu_time = 0.004s
0.89/0.97 c #wall_clock_time = 0.004s
0.89/0.97 c #decision = 38
0.89/0.97 c #random_decision = 0
0.89/0.97 c #conflict = 0
0.89/0.97 c #restart = 0
0.89/0.97 c BCD2: found a new core of size 1: cost of the new core is >=14
0.89/0.97 c lower bound updated to -62263
0.99/1.00 c BCD2: 17802 <= obj <= 80050
0.99/1.00 c BCD2: #cores=18, #unrelaxed=100, #relaxed=48, #hardened=2
0.99/1.00 c BCD2: #sat=1 #unsat=19 bias=19/20
0.99/1.00 c Solving starts ...
0.99/1.00 c ============================[ Search Statistics ]============================
0.99/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.00 c | | | | Limit GC | Var | Constra
0.99/1.00 c =============================================================================
0.99/1.00 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
0.99/1.00 c 0.0s | 0 | 39 | 0 | 443 0 | 335 | 0
0.99/1.00 c #cpu_time = 0.004s
0.99/1.00 c #wall_clock_time = 0.004s
0.99/1.00 c #decision = 39
0.99/1.00 c #random_decision = 0
0.99/1.00 c #conflict = 0
0.99/1.00 c #restart = 0
0.99/1.00 c BCD2: found a new core of size 1: cost of the new core is >=28
0.99/1.00 c lower bound updated to -62235
0.99/1.03 c BCD2: 17830 <= obj <= 80050
0.99/1.03 c BCD2: #cores=19, #unrelaxed=99, #relaxed=49, #hardened=2
0.99/1.03 c BCD2: #sat=1 #unsat=20 bias=20/21
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 | 443 0 | 335 | 0
0.99/1.03 c 0.0s | 0 | 40 | 0 | 443 0 | 335 | 0
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 = 40
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 1: cost of the new core is >=56
0.99/1.03 c lower bound updated to -62179
0.99/1.07 c BCD2: 17886 <= obj <= 80050
0.99/1.07 c BCD2: #cores=20, #unrelaxed=98, #relaxed=50, #hardened=2
0.99/1.07 c BCD2: #sat=1 #unsat=21 bias=21/22
0.99/1.07 c Solving starts ...
0.99/1.07 c ============================[ Search Statistics ]============================
0.99/1.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.07 c | | | | Limit GC | Var | Constra
0.99/1.07 c =============================================================================
0.99/1.07 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
0.99/1.07 c 0.0s | 0 | 41 | 0 | 443 0 | 335 | 0
0.99/1.07 c #cpu_time = 0.004s
0.99/1.07 c #wall_clock_time = 0.004s
0.99/1.07 c #decision = 41
0.99/1.07 c #random_decision = 0
0.99/1.07 c #conflict = 0
0.99/1.07 c #restart = 0
0.99/1.07 c BCD2: found a new core of size 1: cost of the new core is >=112
0.99/1.07 c lower bound updated to -62067
0.99/1.10 c BCD2: 17998 <= obj <= 80050
0.99/1.10 c BCD2: #cores=21, #unrelaxed=97, #relaxed=51, #hardened=2
0.99/1.10 c BCD2: #sat=1 #unsat=22 bias=22/23
0.99/1.10 c Solving starts ...
0.99/1.10 c ============================[ Search Statistics ]============================
0.99/1.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.10 c | | | | Limit GC | Var | Constra
0.99/1.10 c =============================================================================
0.99/1.10 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.09/1.10 c 0.0s | 0 | 42 | 0 | 443 0 | 335 | 0
1.09/1.10 c #cpu_time = 0.004s
1.09/1.10 c #wall_clock_time = 0.004s
1.09/1.10 c #decision = 42
1.09/1.10 c #random_decision = 0
1.09/1.10 c #conflict = 0
1.09/1.10 c #restart = 0
1.09/1.10 c BCD2: found a new core of size 1: cost of the new core is >=223
1.09/1.10 c lower bound updated to -61844
1.09/1.14 c BCD2: 18221 <= obj <= 80050
1.09/1.14 c BCD2: #cores=22, #unrelaxed=96, #relaxed=52, #hardened=2
1.09/1.14 c BCD2: #sat=1 #unsat=23 bias=23/24
1.09/1.14 c Solving starts ...
1.09/1.14 c ============================[ Search Statistics ]============================
1.09/1.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.14 c | | | | Limit GC | Var | Constra
1.09/1.14 c =============================================================================
1.09/1.14 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.09/1.15 c 0.0s | 0 | 43 | 0 | 443 0 | 335 | 0
1.09/1.15 c #cpu_time = 0.002s
1.09/1.15 c #wall_clock_time = 0.002s
1.09/1.15 c #decision = 43
1.09/1.15 c #random_decision = 0
1.09/1.15 c #conflict = 0
1.09/1.15 c #restart = 0
1.09/1.15 c BCD2: found a new core of size 1: cost of the new core is >=445
1.09/1.15 c lower bound updated to -61399
1.09/1.17 c BCD2: 18666 <= obj <= 80050
1.09/1.17 c BCD2: #cores=23, #unrelaxed=95, #relaxed=53, #hardened=2
1.09/1.17 c BCD2: #sat=1 #unsat=24 bias=24/25
1.09/1.17 c Solving starts ...
1.09/1.17 c ============================[ Search Statistics ]============================
1.09/1.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.17 c | | | | Limit GC | Var | Constra
1.09/1.17 c =============================================================================
1.09/1.17 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.09/1.17 c 0.0s | 0 | 44 | 0 | 443 0 | 335 | 0
1.09/1.17 c #cpu_time = 0.002s
1.09/1.17 c #wall_clock_time = 0.002s
1.09/1.17 c #decision = 44
1.09/1.17 c #random_decision = 0
1.09/1.17 c #conflict = 0
1.09/1.17 c #restart = 0
1.09/1.17 c BCD2: found a new core of size 1: cost of the new core is >=889
1.09/1.17 c lower bound updated to -60510
1.09/1.19 c BCD2: 19555 <= obj <= 80050
1.09/1.19 c BCD2: #cores=24, #unrelaxed=94, #relaxed=54, #hardened=2
1.09/1.19 c BCD2: #sat=1 #unsat=25 bias=25/26
1.09/1.19 c Solving starts ...
1.09/1.19 c ============================[ Search Statistics ]============================
1.09/1.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.19 c | | | | Limit GC | Var | Constra
1.09/1.19 c =============================================================================
1.09/1.19 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.09/1.19 c 0.0s | 0 | 45 | 0 | 443 0 | 335 | 0
1.09/1.19 c #cpu_time = 0.002s
1.09/1.19 c #wall_clock_time = 0.002s
1.09/1.19 c #decision = 45
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 1: cost of the new core is >=1778
1.09/1.19 c lower bound updated to -58732
1.20/1.21 c BCD2: 21333 <= obj <= 80050
1.20/1.21 c BCD2: #cores=25, #unrelaxed=93, #relaxed=55, #hardened=2
1.20/1.21 c BCD2: #sat=1 #unsat=26 bias=26/27
1.20/1.21 c Solving starts ...
1.20/1.21 c ============================[ Search Statistics ]============================
1.20/1.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.20/1.21 c | | | | Limit GC | Var | Constra
1.20/1.21 c =============================================================================
1.20/1.21 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.20/1.21 c 0.0s | 0 | 46 | 0 | 443 0 | 335 | 0
1.20/1.21 c #cpu_time = 0.002s
1.20/1.21 c #wall_clock_time = 0.002s
1.20/1.21 c #decision = 46
1.20/1.21 c #random_decision = 0
1.20/1.21 c #conflict = 0
1.20/1.21 c #restart = 0
1.20/1.21 c BCD2: found a new core of size 1: cost of the new core is >=3555
1.20/1.21 c lower bound updated to -55177
1.20/1.23 c BCD2: hardening fixes 1 literals
1.20/1.23 c BCD2: 24888 <= obj <= 80050
1.20/1.23 c BCD2: #cores=26, #unrelaxed=91, #relaxed=56, #hardened=3
1.20/1.23 c BCD2: #sat=1 #unsat=27 bias=27/28
1.20/1.23 c Solving starts ...
1.20/1.23 c ============================[ Search Statistics ]============================
1.20/1.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.20/1.23 c | | | | Limit GC | Var | Constra
1.20/1.23 c =============================================================================
1.20/1.23 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.20/1.23 c 0.0s | 0 | 47 | 0 | 443 0 | 335 | 0
1.20/1.23 c #cpu_time = 0.002s
1.20/1.23 c #wall_clock_time = 0.002s
1.20/1.23 c #decision = 47
1.20/1.23 c #random_decision = 0
1.20/1.23 c #conflict = 0
1.20/1.23 c #restart = 0
1.20/1.23 c BCD2: found a new core of size 1: cost of the new core is >=7109
1.20/1.23 c lower bound updated to -48068
1.20/1.25 c BCD2: 31997 <= obj <= 80050
1.20/1.25 c BCD2: #cores=27, #unrelaxed=90, #relaxed=57, #hardened=3
1.20/1.25 c BCD2: #sat=1 #unsat=28 bias=28/29
1.20/1.25 c Solving starts ...
1.20/1.25 c ============================[ Search Statistics ]============================
1.20/1.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.20/1.25 c | | | | Limit GC | Var | Constra
1.20/1.25 c =============================================================================
1.20/1.25 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.20/1.26 c 0.0s | 0 | 67 | 1 | 443 0 | 335 | 0
1.20/1.26 c #cpu_time = 0.002s
1.20/1.26 c #wall_clock_time = 0.002s
1.20/1.26 c #decision = 67
1.20/1.26 c #random_decision = 0
1.20/1.26 c #conflict = 1
1.20/1.26 c #restart = 0
1.20/1.26 c BCD2: found a new core of size 18: cost of the new core is >=1
1.20/1.26 c lower bound updated to -48067
1.20/1.28 c BCD2: 31998 <= obj <= 80050
1.20/1.28 c BCD2: #cores=28, #unrelaxed=72, #relaxed=75, #hardened=3
1.20/1.28 c BCD2: #sat=1 #unsat=29 bias=29/30
1.20/1.28 c Solving starts ...
1.20/1.28 c ============================[ Search Statistics ]============================
1.20/1.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.20/1.28 c | | | | Limit GC | Var | Constra
1.20/1.28 c =============================================================================
1.20/1.28 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.20/1.28 c 0.0s | 0 | 51 | 0 | 443 0 | 335 | 0
1.20/1.28 c #cpu_time = 0.002s
1.20/1.28 c #wall_clock_time = 0.002s
1.20/1.28 c #decision = 51
1.20/1.28 c #random_decision = 0
1.20/1.28 c #conflict = 0
1.20/1.28 c #restart = 0
1.20/1.28 c BCD2: found a new core of size 1: cost of the new core is >=27
1.20/1.28 c lower bound updated to -48040
1.29/1.30 c BCD2: 32025 <= obj <= 80050
1.29/1.30 c BCD2: #cores=29, #unrelaxed=71, #relaxed=76, #hardened=3
1.29/1.30 c BCD2: #sat=1 #unsat=30 bias=30/31
1.29/1.30 c Solving starts ...
1.29/1.30 c ============================[ Search Statistics ]============================
1.29/1.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.29/1.30 c | | | | Limit GC | Var | Constra
1.29/1.30 c =============================================================================
1.29/1.30 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.29/1.30 c 0.0s | 0 | 52 | 0 | 443 0 | 335 | 0
1.29/1.30 c #cpu_time = 0.002s
1.29/1.30 c #wall_clock_time = 0.002s
1.29/1.30 c #decision = 52
1.29/1.30 c #random_decision = 0
1.29/1.30 c #conflict = 0
1.29/1.30 c #restart = 0
1.29/1.30 c BCD2: found a new core of size 1: cost of the new core is >=53
1.29/1.30 c lower bound updated to -47987
1.29/1.32 c BCD2: 32078 <= obj <= 80050
1.29/1.32 c BCD2: #cores=30, #unrelaxed=70, #relaxed=77, #hardened=3
1.29/1.32 c BCD2: #sat=1 #unsat=31 bias=31/32
1.29/1.32 c Solving starts ...
1.29/1.32 c ============================[ Search Statistics ]============================
1.29/1.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.29/1.32 c | | | | Limit GC | Var | Constra
1.29/1.32 c =============================================================================
1.29/1.32 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.29/1.32 c 0.0s | 0 | 53 | 0 | 443 0 | 335 | 0
1.29/1.32 c #cpu_time = 0.002s
1.29/1.32 c #wall_clock_time = 0.002s
1.29/1.32 c #decision = 53
1.29/1.32 c #random_decision = 0
1.29/1.32 c #conflict = 0
1.29/1.32 c #restart = 0
1.29/1.32 c BCD2: found a new core of size 1: cost of the new core is >=105
1.29/1.32 c lower bound updated to -47882
1.29/1.34 c BCD2: 32183 <= obj <= 80050
1.29/1.34 c BCD2: #cores=31, #unrelaxed=69, #relaxed=78, #hardened=3
1.29/1.34 c BCD2: #sat=1 #unsat=32 bias=32/33
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 | 443 0 | 335 | 0
1.29/1.34 c 0.0s | 0 | 54 | 0 | 443 0 | 335 | 0
1.29/1.34 c #cpu_time = 0.002s
1.29/1.34 c #wall_clock_time = 0.002s
1.29/1.34 c #decision = 54
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 1: cost of the new core is >=209
1.29/1.34 c lower bound updated to -47673
1.29/1.36 c BCD2: 32392 <= obj <= 80050
1.29/1.36 c BCD2: #cores=32, #unrelaxed=68, #relaxed=79, #hardened=3
1.29/1.36 c BCD2: #sat=1 #unsat=33 bias=33/34
1.29/1.36 c Solving starts ...
1.29/1.36 c ============================[ Search Statistics ]============================
1.29/1.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.29/1.36 c | | | | Limit GC | Var | Constra
1.29/1.36 c =============================================================================
1.29/1.36 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.29/1.37 c 0.0s | 0 | 55 | 0 | 443 0 | 335 | 0
1.29/1.37 c #cpu_time = 0.002s
1.29/1.37 c #wall_clock_time = 0.002s
1.29/1.37 c #decision = 55
1.29/1.37 c #random_decision = 0
1.29/1.37 c #conflict = 0
1.29/1.37 c #restart = 0
1.29/1.37 c BCD2: found a new core of size 1: cost of the new core is >=417
1.29/1.37 c lower bound updated to -47256
1.29/1.39 c BCD2: 32809 <= obj <= 80050
1.29/1.39 c BCD2: #cores=33, #unrelaxed=67, #relaxed=80, #hardened=3
1.29/1.39 c BCD2: #sat=1 #unsat=34 bias=34/35
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 | 443 0 | 335 | 0
1.29/1.39 c 0.0s | 0 | 56 | 0 | 443 0 | 335 | 0
1.29/1.39 c #cpu_time = 0.002s
1.29/1.39 c #wall_clock_time = 0.002s
1.29/1.39 c #decision = 56
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 1: cost of the new core is >=834
1.29/1.39 c lower bound updated to -46422
1.39/1.41 c BCD2: 33643 <= obj <= 80050
1.39/1.41 c BCD2: #cores=34, #unrelaxed=66, #relaxed=81, #hardened=3
1.39/1.41 c BCD2: #sat=1 #unsat=35 bias=35/36
1.39/1.41 c Solving starts ...
1.39/1.41 c ============================[ Search Statistics ]============================
1.39/1.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.39/1.41 c | | | | Limit GC | Var | Constra
1.39/1.41 c =============================================================================
1.39/1.41 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.39/1.41 c 0.0s | 0 | 57 | 0 | 443 0 | 335 | 0
1.39/1.41 c #cpu_time = 0.002s
1.39/1.41 c #wall_clock_time = 0.002s
1.39/1.41 c #decision = 57
1.39/1.41 c #random_decision = 0
1.39/1.41 c #conflict = 0
1.39/1.41 c #restart = 0
1.39/1.41 c BCD2: found a new core of size 1: cost of the new core is >=1667
1.39/1.41 c lower bound updated to -44755
1.39/1.43 c BCD2: 35310 <= obj <= 80050
1.39/1.43 c BCD2: #cores=35, #unrelaxed=65, #relaxed=82, #hardened=3
1.39/1.43 c BCD2: #sat=1 #unsat=36 bias=36/37
1.39/1.43 c Solving starts ...
1.39/1.43 c ============================[ Search Statistics ]============================
1.39/1.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.39/1.43 c | | | | Limit GC | Var | Constra
1.39/1.43 c =============================================================================
1.39/1.43 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.39/1.43 c 0.0s | 0 | 58 | 0 | 443 0 | 335 | 0
1.39/1.43 c #cpu_time = 0.002s
1.39/1.43 c #wall_clock_time = 0.002s
1.39/1.43 c #decision = 58
1.39/1.43 c #random_decision = 0
1.39/1.43 c #conflict = 0
1.39/1.43 c #restart = 0
1.39/1.43 c BCD2: found a new core of size 1: cost of the new core is >=3333
1.39/1.43 c lower bound updated to -41422
1.39/1.45 c BCD2: 38643 <= obj <= 80050
1.39/1.45 c BCD2: #cores=36, #unrelaxed=64, #relaxed=83, #hardened=3
1.39/1.45 c BCD2: #sat=1 #unsat=37 bias=37/38
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 | 443 0 | 335 | 0
1.39/1.46 c 0.0s | 0 | 59 | 0 | 443 0 | 335 | 0
1.39/1.46 c #cpu_time = 0.002s
1.39/1.46 c #wall_clock_time = 0.002s
1.39/1.46 c #decision = 59
1.39/1.46 c #random_decision = 0
1.39/1.46 c #conflict = 0
1.39/1.46 c #restart = 0
1.39/1.46 c BCD2: found a new core of size 1: cost of the new core is >=6665
1.39/1.46 c lower bound updated to -34757
1.39/1.48 c BCD2: 45308 <= obj <= 80050
1.39/1.48 c BCD2: #cores=37, #unrelaxed=63, #relaxed=84, #hardened=3
1.39/1.48 c BCD2: #sat=1 #unsat=38 bias=38/39
1.39/1.48 c Solving starts ...
1.39/1.48 c ============================[ Search Statistics ]============================
1.39/1.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.39/1.48 c | | | | Limit GC | Var | Constra
1.39/1.48 c =============================================================================
1.39/1.48 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.39/1.48 c 0.0s | 0 | 60 | 0 | 443 0 | 335 | 0
1.39/1.48 c #cpu_time = 0.002s
1.39/1.48 c #wall_clock_time = 0.002s
1.39/1.48 c #decision = 60
1.39/1.48 c #random_decision = 0
1.39/1.48 c #conflict = 0
1.39/1.48 c #restart = 0
1.39/1.48 c BCD2: found a new core of size 1: cost of the new core is >=13330
1.39/1.48 c lower bound updated to -21427
1.49/1.50 c BCD2: hardening fixes 1 literals
1.49/1.50 c BCD2: 58638 <= obj <= 80050
1.49/1.50 c BCD2: #cores=38, #unrelaxed=61, #relaxed=85, #hardened=4
1.49/1.50 c BCD2: #sat=1 #unsat=39 bias=39/40
1.49/1.50 c Solving starts ...
1.49/1.50 c ============================[ Search Statistics ]============================
1.49/1.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.49/1.50 c | | | | Limit GC | Var | Constra
1.49/1.50 c =============================================================================
1.49/1.50 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.49/1.50 c 0.0s | 0 | 79 | 0 | 443 0 | 335 | 0
1.49/1.50 c #cpu_time = 0.002s
1.49/1.50 c #wall_clock_time = 0.002s
1.49/1.50 c #decision = 79
1.49/1.50 c #random_decision = 0
1.49/1.50 c #conflict = 0
1.49/1.50 c #restart = 0
1.49/1.50 c BCD2: found a new core of size 7: cost of the new core is >=1
1.49/1.50 c lower bound updated to -21426
1.49/1.52 c BCD2: 58639 <= obj <= 80050
1.49/1.52 c BCD2: #cores=39, #unrelaxed=54, #relaxed=92, #hardened=4
1.49/1.52 c BCD2: #sat=1 #unsat=40 bias=40/41
1.49/1.52 c Solving starts ...
1.49/1.52 c ============================[ Search Statistics ]============================
1.49/1.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.49/1.52 c | | | | Limit GC | Var | Constra
1.49/1.52 c =============================================================================
1.49/1.52 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.49/1.52 c 0.0s | 0 | 74 | 0 | 443 0 | 335 | 0
1.49/1.52 c #cpu_time = 0.002s
1.49/1.52 c #wall_clock_time = 0.002s
1.49/1.52 c #decision = 74
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 1: cost of the new core is >=11
1.49/1.52 c lower bound updated to -21415
1.49/1.54 c BCD2: 58650 <= obj <= 80050
1.49/1.54 c BCD2: #cores=40, #unrelaxed=53, #relaxed=93, #hardened=4
1.49/1.54 c BCD2: #sat=1 #unsat=41 bias=41/42
1.49/1.54 c Solving starts ...
1.49/1.54 c ============================[ Search Statistics ]============================
1.49/1.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.49/1.54 c | | | | Limit GC | Var | Constra
1.49/1.54 c =============================================================================
1.49/1.54 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.49/1.54 c 0.0s | 0 | 75 | 0 | 443 0 | 335 | 0
1.49/1.54 c #cpu_time = 0.002s
1.49/1.54 c #wall_clock_time = 0.002s
1.49/1.54 c #decision = 75
1.49/1.54 c #random_decision = 0
1.49/1.54 c #conflict = 0
1.49/1.54 c #restart = 0
1.49/1.54 c BCD2: found a new core of size 1: cost of the new core is >=21
1.49/1.54 c lower bound updated to -21394
1.49/1.56 c BCD2: 58671 <= obj <= 80050
1.49/1.56 c BCD2: #cores=41, #unrelaxed=52, #relaxed=94, #hardened=4
1.49/1.56 c BCD2: #sat=1 #unsat=42 bias=42/43
1.49/1.56 c Solving starts ...
1.49/1.56 c ============================[ Search Statistics ]============================
1.49/1.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.49/1.56 c | | | | Limit GC | Var | Constra
1.49/1.56 c =============================================================================
1.49/1.56 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.49/1.57 c 0.0s | 0 | 76 | 0 | 443 0 | 335 | 0
1.49/1.57 c #cpu_time = 0.002s
1.49/1.57 c #wall_clock_time = 0.002s
1.49/1.57 c #decision = 76
1.49/1.57 c #random_decision = 0
1.49/1.57 c #conflict = 0
1.49/1.57 c #restart = 0
1.49/1.57 c BCD2: found a new core of size 1: cost of the new core is >=42
1.49/1.57 c lower bound updated to -21352
1.49/1.59 c BCD2: 58713 <= obj <= 80050
1.49/1.59 c BCD2: #cores=42, #unrelaxed=51, #relaxed=95, #hardened=4
1.49/1.59 c BCD2: #sat=1 #unsat=43 bias=43/44
1.49/1.59 c Solving starts ...
1.49/1.59 c ============================[ Search Statistics ]============================
1.49/1.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.49/1.59 c | | | | Limit GC | Var | Constra
1.49/1.59 c =============================================================================
1.49/1.59 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.49/1.59 c 0.0s | 0 | 77 | 0 | 443 0 | 335 | 0
1.49/1.59 c #cpu_time = 0.002s
1.49/1.59 c #wall_clock_time = 0.002s
1.49/1.59 c #decision = 77
1.49/1.59 c #random_decision = 0
1.49/1.59 c #conflict = 0
1.49/1.59 c #restart = 0
1.49/1.59 c BCD2: found a new core of size 1: cost of the new core is >=84
1.49/1.59 c lower bound updated to -21268
1.59/1.61 c BCD2: 58797 <= obj <= 80050
1.59/1.61 c BCD2: #cores=43, #unrelaxed=50, #relaxed=96, #hardened=4
1.59/1.61 c BCD2: #sat=1 #unsat=44 bias=44/45
1.59/1.61 c Solving starts ...
1.59/1.61 c ============================[ Search Statistics ]============================
1.59/1.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.59/1.61 c | | | | Limit GC | Var | Constra
1.59/1.61 c =============================================================================
1.59/1.61 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.59/1.61 c 0.0s | 0 | 78 | 0 | 443 0 | 335 | 0
1.59/1.61 c #cpu_time = 0.002s
1.59/1.61 c #wall_clock_time = 0.002s
1.59/1.61 c #decision = 78
1.59/1.61 c #random_decision = 0
1.59/1.61 c #conflict = 0
1.59/1.61 c #restart = 0
1.59/1.61 c BCD2: found a new core of size 1: cost of the new core is >=167
1.59/1.61 c lower bound updated to -21101
1.59/1.63 c BCD2: 58964 <= obj <= 80050
1.59/1.63 c BCD2: #cores=44, #unrelaxed=49, #relaxed=97, #hardened=4
1.59/1.63 c BCD2: #sat=1 #unsat=45 bias=45/46
1.59/1.63 c Solving starts ...
1.59/1.63 c ============================[ Search Statistics ]============================
1.59/1.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.59/1.63 c | | | | Limit GC | Var | Constra
1.59/1.63 c =============================================================================
1.59/1.63 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.59/1.63 c 0.0s | 0 | 79 | 0 | 443 0 | 335 | 0
1.59/1.63 c #cpu_time = 0.002s
1.59/1.63 c #wall_clock_time = 0.002s
1.59/1.63 c #decision = 79
1.59/1.63 c #random_decision = 0
1.59/1.63 c #conflict = 0
1.59/1.63 c #restart = 0
1.59/1.63 c BCD2: found a new core of size 1: cost of the new core is >=334
1.59/1.63 c lower bound updated to -20767
1.59/1.65 c BCD2: 59298 <= obj <= 80050
1.59/1.65 c BCD2: #cores=45, #unrelaxed=48, #relaxed=98, #hardened=4
1.59/1.65 c BCD2: #sat=1 #unsat=46 bias=46/47
1.59/1.65 c Solving starts ...
1.59/1.65 c ============================[ Search Statistics ]============================
1.59/1.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.59/1.65 c | | | | Limit GC | Var | Constra
1.59/1.65 c =============================================================================
1.59/1.65 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.59/1.65 c 0.0s | 0 | 80 | 0 | 443 0 | 335 | 0
1.59/1.65 c #cpu_time = 0.002s
1.59/1.65 c #wall_clock_time = 0.002s
1.59/1.65 c #decision = 80
1.59/1.66 c #random_decision = 0
1.59/1.66 c #conflict = 0
1.59/1.66 c #restart = 0
1.59/1.66 c BCD2: found a new core of size 1: cost of the new core is >=667
1.59/1.66 c lower bound updated to -20100
1.59/1.67 c BCD2: 59965 <= obj <= 80050
1.59/1.67 c BCD2: #cores=46, #unrelaxed=47, #relaxed=99, #hardened=4
1.59/1.67 c BCD2: #sat=1 #unsat=47 bias=47/48
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.68 c | | | | Limit GC | Var | Constra
1.59/1.68 c =============================================================================
1.59/1.68 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.59/1.68 c 0.0s | 0 | 81 | 0 | 443 0 | 335 | 0
1.59/1.68 c #cpu_time = 0.002s
1.59/1.68 c #wall_clock_time = 0.002s
1.59/1.68 c #decision = 81
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 1: cost of the new core is >=1333
1.59/1.68 c lower bound updated to -18767
1.69/1.70 c BCD2: 61298 <= obj <= 80050
1.69/1.70 c BCD2: #cores=47, #unrelaxed=46, #relaxed=100, #hardened=4
1.69/1.70 c BCD2: #sat=1 #unsat=48 bias=48/49
1.69/1.70 c Solving starts ...
1.69/1.70 c ============================[ Search Statistics ]============================
1.69/1.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.69/1.70 c | | | | Limit GC | Var | Constra
1.69/1.70 c =============================================================================
1.69/1.70 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.69/1.70 c 0.0s | 0 | 82 | 0 | 443 0 | 335 | 0
1.69/1.70 c #cpu_time = 0.002s
1.69/1.70 c #wall_clock_time = 0.002s
1.69/1.70 c #decision = 82
1.69/1.70 c #random_decision = 0
1.69/1.70 c #conflict = 0
1.69/1.70 c #restart = 0
1.69/1.70 c BCD2: found a new core of size 1: cost of the new core is >=2666
1.69/1.70 c lower bound updated to -16101
1.69/1.72 c BCD2: 63964 <= obj <= 80050
1.69/1.72 c BCD2: #cores=48, #unrelaxed=45, #relaxed=101, #hardened=4
1.69/1.72 c BCD2: #sat=1 #unsat=49 bias=49/50
1.69/1.72 c Solving starts ...
1.69/1.72 c ============================[ Search Statistics ]============================
1.69/1.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.69/1.72 c | | | | Limit GC | Var | Constra
1.69/1.72 c =============================================================================
1.69/1.72 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.69/1.72 c 0.0s | 0 | 83 | 0 | 443 0 | 335 | 0
1.69/1.72 c #cpu_time = 0.002s
1.69/1.72 c #wall_clock_time = 0.002s
1.69/1.72 c #decision = 83
1.69/1.72 c #random_decision = 0
1.69/1.72 c #conflict = 0
1.69/1.72 c #restart = 0
1.69/1.72 c BCD2: found a new core of size 1: cost of the new core is >=5332
1.69/1.72 c lower bound updated to -10769
1.69/1.75 c BCD2: hardening fixes 1 literals
1.69/1.75 c BCD2: 69296 <= obj <= 80050
1.69/1.75 c BCD2: #cores=49, #unrelaxed=43, #relaxed=102, #hardened=5
1.69/1.75 c BCD2: #sat=1 #unsat=50 bias=50/51
1.69/1.75 c Solving starts ...
1.69/1.75 c ============================[ Search Statistics ]============================
1.69/1.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.69/1.75 c | | | | Limit GC | Var | Constra
1.69/1.75 c =============================================================================
1.69/1.75 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.69/1.76 c 0.0s | 0 | 84 | 0 | 443 0 | 335 | 0
1.69/1.76 c #cpu_time = 0.003s
1.69/1.76 c #wall_clock_time = 0.003s
1.69/1.76 c #decision = 84
1.69/1.76 c #random_decision = 0
1.69/1.76 c #conflict = 0
1.69/1.76 c #restart = 0
1.69/1.76 c BCD2: found a new core of size 1: cost of the new core is >=10664
1.69/1.76 c lower bound updated to -105
1.69/1.79 c BCD2: hardening fixes 7 literals
1.69/1.79 c BCD2: 79960 <= obj <= 80050
1.69/1.79 c BCD2: #cores=50, #unrelaxed=35, #relaxed=103, #hardened=12
1.69/1.79 c BCD2: #sat=1 #unsat=51 bias=51/52
1.69/1.79 c Solving starts ...
1.69/1.79 c ============================[ Search Statistics ]============================
1.69/1.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.69/1.79 c | | | | Limit GC | Var | Constra
1.69/1.79 c =============================================================================
1.69/1.79 c 0.0s | 0 | 0 | 0 | 443 0 | 335 | 0
1.79/1.80 c 0.0s | 1 | 285 | 100 | 443 0 | 335 | 0
1.79/1.82 c 0.0s | 2 | 707 | 250 | 443 0 | 335 | 0
1.79/1.85 c 0.1s | 3 | 1045 | 475 | 488 1 | 335 | 0
1.79/1.89 c 0.1s | 4 | 1494 | 813 | 537 1 | 335 | 0
1.88/1.97 c 0.2s | 5 | 2247 | 1320 | 537 2 | 335 | 0
2.08/2.11 c 0.3s | 6 | 4451 | 2081 | 591 4 | 335 | 0
2.29/2.30 c 0.5s | 7 | 6413 | 3223 | 651 6 | 335 | 0
2.58/2.60 c 0.8s | 8 | 9958 | 4936 | 717 9 | 335 | 0
2.98/3.04 c 1.3s | 9 | 14015 | 7506 | 789 13 | 335 | 0
3.68/3.75 c 2.0s | 10 | 20763 | 11361 | 868 19 | 335 | 0
5.29/5.36 c 3.6s | 11 | 27589 | 17144 | 955 28 | 335 | 0
7.29/7.39 c 5.6s | 11 | 35846 | 25044 | 955 39 | 335 | 0
7.59/7.61 c 5.8s | 12 | 36646 | 25819 | 1051 40 | 335 | 0
9.59/9.62 c 7.8s | 12 | 49847 | 36719 | 1051 54 | 335 | 0
9.90/9.98 c 8.2s | 13 | 52037 | 38832 | 1157 56 | 335 | 0
11.89/11.98 c 10.2s | 13 | 68863 | 52032 | 1157 73 | 335 | 0
12.89/12.92 c 11.1s | 14 | 76322 | 58352 | 1273 80 | 335 | 0
14.89/14.93 c 13.1s | 14 | 90921 | 69352 | 1273 93 | 335 | 0
16.89/16.93 c 15.1s | 14 | 101826 | 77652 | 1273 102 | 335 | 0
18.89/18.94 c 17.1s | 14 | 110060 | 84752 | 1273 110 | 335 | 0
19.69/19.73 c 17.9s | 15 | 113377 | 87632 | 1401 113 | 335 | 0
21.69/21.74 c 19.9s | 15 | 126331 | 98032 | 1401 124 | 335 | 0
23.69/23.75 c 22.0s | 15 | 140503 | 109332 | 1401 135 | 335 | 0
25.69/25.77 c 24.0s | 15 | 153709 | 118732 | 1401 145 | 335 | 0
27.79/27.80 c 26.0s | 15 | 165128 | 128832 | 1401 156 | 335 | 0
28.59/28.68 c 26.9s | 16 | 168630 | 131552 | 1542 158 | 335 | 0
30.59/30.68 c 28.9s | 16 | 182001 | 142952 | 1542 169 | 335 | 0
32.59/32.69 c 30.9s | 16 | 194430 | 153752 | 1542 180 | 335 | 0
34.58/34.69 c 32.9s | 16 | 209839 | 165552 | 1542 191 | 335 | 0
36.68/36.71 c 34.9s | 16 | 224406 | 177252 | 1542 203 | 335 | 0
38.68/38.72 c 36.9s | 16 | 238345 | 188552 | 1542 214 | 335 | 0
40.69/40.73 c 38.9s | 16 | 247766 | 196152 | 1697 221 | 335 | 0
40.98/41.07 c 39.3s | 17 | 249055 | 197432 | 1697 222 | 335 | 0
42.99/43.07 c 41.3s | 17 | 261932 | 208532 | 1697 232 | 335 | 0
44.98/45.09 c 43.3s | 17 | 274742 | 219532 | 1697 242 | 335 | 0
46.98/47.09 c 45.3s | 17 | 287115 | 231032 | 1697 253 | 335 | 0
49.08/49.10 c 47.3s | 17 | 298880 | 241832 | 1697 263 | 335 | 0
51.08/51.11 c 49.3s | 17 | 310812 | 252132 | 1697 273 | 335 | 0
53.08/53.11 c 51.3s | 17 | 322698 | 262532 | 1697 282 | 335 | 0
55.09/55.13 c 53.3s | 17 | 335110 | 274132 | 1697 293 | 335 | 0
57.08/57.14 c 55.4s | 17 | 345214 | 283532 | 1697 302 | 335 | 0
59.08/59.15 c 57.4s | 17 | 359067 | 294732 | 1867 312 | 335 | 0
59.38/59.43 c 57.6s | 18 | 360918 | 296252 | 1867 313 | 335 | 0
61.37/61.45 c 59.7s | 18 | 368414 | 303152 | 1867 319 | 335 | 0
63.37/63.45 c 61.7s | 18 | 375024 | 309452 | 1867 324 | 335 | 0
65.38/65.46 c 63.7s | 18 | 382194 | 315652 | 1867 330 | 335 | 0
67.38/67.47 c 65.7s | 18 | 389932 | 322752 | 1867 336 | 335 | 0
69.39/69.47 c 67.7s | 18 | 397531 | 328552 | 1867 341 | 335 | 0
71.49/71.51 c 69.7s | 18 | 404587 | 334552 | 1867 346 | 335 | 0
73.48/73.51 c 71.7s | 18 | 412696 | 341352 | 1867 351 | 335 | 0
75.48/75.52 c 73.7s | 18 | 419664 | 347052 | 1867 356 | 335 | 0
77.48/77.53 c 75.7s | 18 | 427836 | 353652 | 1867 362 | 335 | 0
79.48/79.55 c 77.8s | 18 | 435499 | 359752 | 1867 367 | 335 | 0
81.49/81.57 c 79.8s | 18 | 442824 | 366052 | 1867 372 | 335 | 0
83.59/83.61 c 81.8s | 18 | 450902 | 372952 | 1867 378 | 335 | 0
85.58/85.62 c 83.8s | 18 | 457879 | 379252 | 1867 383 | 335 | 0
87.58/87.63 c 85.8s | 18 | 465259 | 385652 | 1867 389 | 335 | 0
89.58/89.64 c 87.8s | 18 | 474061 | 392652 | 1867 395 | 335 | 0
91.58/91.66 c 89.9s | 18 | 481974 | 398852 | 1867 400 | 335 | 0
93.58/93.67 c 91.9s | 18 | 490005 | 405252 | 1867 405 | 335 | 0
95.58/95.67 c 93.9s | 18 | 497441 | 411752 | 1867 411 | 335 | 0
97.58/97.69 c 95.9s | 18 | 505300 | 418552 | 1867 416 | 335 | 0
99.68/99.72 c 97.9s | 18 | 513051 | 425052 | 1867 422 | 335 | 0
101.68/101.74 c 100.0s | 18 | 521368 | 431652 | 1867 427 | 335 | 0
103.68/103.74 c 101s | 18 | 528096 | 437652 | 1867 432 | 335 | 0
105.68/105.75 c 103s | 18 | 535266 | 444052 | 2054 438 | 335 | 0
105.77/105.86 c 104s | 19 | 535804 | 444482 | 2054 438 | 335 | 0
107.78/107.86 c 106s | 19 | 549536 | 454482 | 2054 446 | 335 | 0
109.77/109.88 c 108s | 19 | 564730 | 465682 | 2054 454 | 335 | 0
111.87/111.90 c 110s | 19 | 578312 | 476682 | 2054 463 | 335 | 0
113.87/113.91 c 112s | 19 | 592861 | 487582 | 2054 472 | 335 | 0
115.87/115.91 c 114s | 19 | 605226 | 497282 | 2054 479 | 335 | 0
117.87/117.91 c 116s | 19 | 621172 | 509682 | 2054 489 | 335 | 0
119.88/119.92 c 118s | 19 | 636337 | 522182 | 2054 499 | 335 | 0
121.87/121.93 c 120s | 19 | 650733 | 533082 | 2054 507 | 335 | 0
123.87/123.93 c 122s | 19 | 668784 | 544682 | 2054 517 | 335 | 0
125.87/125.95 c 124s | 19 | 683075 | 555882 | 2054 525 | 335 | 0
127.87/127.97 c 126s | 19 | 696000 | 566882 | 2054 534 | 335 | 0
129.88/129.98 c 128s | 19 | 709411 | 577882 | 2054 543 | 335 | 0
131.87/131.99 c 130s | 19 | 723369 | 589182 | 2054 552 | 335 | 0
133.97/134.01 c 132s | 19 | 736307 | 600182 | 2054 561 | 335 | 0
135.97/136.01 c 134s | 19 | 749175 | 610782 | 2054 569 | 335 | 0
137.97/138.03 c 136s | 19 | 761841 | 621382 | 2054 577 | 335 | 0
139.97/140.05 c 138s | 19 | 774792 | 632482 | 2054 586 | 335 | 0
141.97/142.05 c 140s | 19 | 788285 | 643582 | 2054 595 | 335 | 0
143.97/144.07 c 142s | 19 | 801738 | 654982 | 2054 604 | 335 | 0
145.96/146.09 c 144s | 19 | 813970 | 665682 | 2260 612 | 335 | 0
146.27/146.33 c 144s | 20 | 815274 | 666827 | 2260 613 | 335 | 0
148.26/148.34 c 146s | 20 | 828202 | 677327 | 2260 621 | 335 | 0
150.26/150.36 c 148s | 20 | 840970 | 687627 | 2260 628 | 335 | 0
152.26/152.37 c 150s | 20 | 853731 | 698127 | 2260 636 | 335 | 0
154.26/154.38 c 152s | 20 | 865633 | 708227 | 2260 644 | 335 | 0
156.36/156.40 c 154s | 20 | 878587 | 719327 | 2260 652 | 335 | 0
158.37/158.40 c 156s | 20 | 890694 | 729727 | 2260 660 | 335 | 0
160.37/160.41 c 158s | 20 | 903221 | 740027 | 2260 667 | 335 | 0
162.37/162.42 c 160s | 20 | 916459 | 751327 | 2260 676 | 335 | 0
164.37/164.43 c 162s | 20 | 929668 | 762327 | 2260 684 | 335 | 0
166.37/166.43 c 164s | 20 | 942443 | 772527 | 2260 691 | 335 | 0
168.37/168.44 c 166s | 20 | 955076 | 783127 | 2260 699 | 335 | 0
170.37/170.45 c 168s | 20 | 967184 | 793227 | 2260 706 | 335 | 0
172.37/172.46 c 170s | 20 | 981269 | 804527 | 2260 715 | 335 | 0
174.36/174.48 c 172s | 20 | 993594 | 815227 | 2260 723 | 335 | 0
176.36/176.49 c 174s | 20 | 1006057 | 825827 | 2260 731 | 335 | 0
178.46/178.50 c 176s | 20 | 1019209 | 836527 | 2260 738 | 335 | 0
180.37/180.50 c 178s | 20 | 1031901 | 847027 | 2260 746 | 335 | 0
182.46/182.52 c 180s | 20 | 1038479 | 853127 | 2260 751 | 335 | 0
184.46/184.54 c 182s | 20 | 1044323 | 858627 | 2260 755 | 335 | 0
186.46/186.54 c 184s | 20 | 1055412 | 867527 | 2260 761 | 335 | 0
188.46/188.55 c 186s | 20 | 1068759 | 878527 | 2260 769 | 335 | 0
190.46/190.55 c 188s | 20 | 1081082 | 889227 | 2260 777 | 335 | 0
192.46/192.56 c 190s | 20 | 1093720 | 900227 | 2260 785 | 335 | 0
194.46/194.56 c 192s | 20 | 1106254 | 911227 | 2260 794 | 335 | 0
196.46/196.56 c 194s | 20 | 1118961 | 922327 | 2260 802 | 335 | 0
198.45/198.57 c 196s | 20 | 1126155 | 928927 | 2260 806 | 335 | 0
200.45/200.57 c 198s | 20 | 1133747 | 935527 | 2260 811 | 335 | 0
202.47/202.57 c 200s | 20 | 1142527 | 942827 | 2260 817 | 335 | 0
204.46/204.59 c 202s | 20 | 1153613 | 952027 | 2260 823 | 335 | 0
206.56/206.61 c 204s | 20 | 1163104 | 959327 | 2260 828 | 335 | 0
208.56/208.63 c 206s | 20 | 1171804 | 966327 | 2260 834 | 335 | 0
210.56/210.64 c 208s | 20 | 1179168 | 972927 | 2260 838 | 335 | 0
212.56/212.64 c 210s | 20 | 1187743 | 979927 | 2260 843 | 335 | 0
214.57/214.64 c 212s | 20 | 1197032 | 986927 | 2260 848 | 335 | 0
216.56/216.66 c 214s | 20 | 1204296 | 993427 | 2486 853 | 335 | 0
218.56/218.69 c 216s | 20 | 1211327 | 999727 | 2486 857 | 335 | 0
218.76/218.86 c 217s | 21 | 1212049 | 1000345 | 2486 858 | 335 | 0
220.76/220.88 c 219s | 21 | 1226078 | 1011245 | 2486 865 | 335 | 0
222.76/222.88 c 221s | 21 | 1239369 | 1021345 | 2486 872 | 335 | 0
224.75/224.88 c 223s | 21 | 1256855 | 1031645 | 2486 879 | 335 | 0
226.85/226.90 c 225s | 21 | 1269007 | 1041145 | 2486 885 | 335 | 0
228.86/228.91 c 227s | 21 | 1283588 | 1052145 | 2486 892 | 335 | 0
230.85/230.91 c 229s | 21 | 1297960 | 1061445 | 2486 898 | 335 | 0
232.85/232.92 c 231s | 21 | 1311426 | 1071945 | 2486 905 | 335 | 0
234.85/234.93 c 233s | 21 | 1322558 | 1081645 | 2486 912 | 335 | 0
236.85/236.94 c 235s | 21 | 1338143 | 1091845 | 2486 919 | 335 | 0
238.85/238.95 c 237s | 21 | 1351407 | 1101945 | 2486 926 | 335 | 0
240.86/240.97 c 239s | 21 | 1364259 | 1111945 | 2486 932 | 335 | 0
242.85/242.98 c 241s | 21 | 1378086 | 1121645 | 2486 939 | 335 | 0
244.85/244.98 c 243s | 21 | 1392861 | 1131845 | 2486 946 | 335 | 0
246.86/246.99 c 245s | 21 | 1405808 | 1142845 | 2486 953 | 335 | 0
248.96/249.00 c 247s | 21 | 1418037 | 1153745 | 2486 960 | 335 | 0
250.95/251.00 c 249s | 21 | 1429798 | 1164245 | 2486 967 | 335 | 0
252.96/253.01 c 251s | 21 | 1440571 | 1173845 | 2486 974 | 335 | 0
254.95/255.04 c 253s | 21 | 1458354 | 1184245 | 2486 981 | 335 | 0
256.95/257.04 c 255s | 21 | 1478413 | 1192445 | 2486 986 | 335 | 0
258.95/259.06 c 257s | 21 | 1492155 | 1202845 | 2486 993 | 335 | 0
260.95/261.07 c 259s | 21 | 1512690 | 1211845 | 2486 999 | 335 | 0
262.96/263.07 c 261s | 21 | 1534681 | 1220245 | 2486 1005 | 335 | 0
264.95/265.09 c 263s | 21 | 1555045 | 1228445 | 2486 1010 | 335 | 0
267.05/267.10 c 265s | 21 | 1574121 | 1236345 | 2486 1015 | 335 | 0
269.05/269.11 c 267s | 21 | 1589626 | 1245345 | 2486 1021 | 335 | 0
271.05/271.13 c 269s | 21 | 1603365 | 1256145 | 2486 1029 | 335 | 0
273.05/273.16 c 271s | 21 | 1616102 | 1266645 | 2486 1036 | 335 | 0
275.05/275.16 c 273s | 21 | 1627942 | 1276945 | 2486 1042 | 335 | 0
277.04/277.16 c 275s | 21 | 1639222 | 1286845 | 2486 1049 | 335 | 0
279.04/279.17 c 277s | 21 | 1650896 | 1296745 | 2486 1056 | 335 | 0
281.04/281.17 c 279s | 21 | 1662998 | 1306845 | 2486 1062 | 335 | 0
283.04/283.18 c 281s | 21 | 1675098 | 1317245 | 2486 1069 | 335 | 0
285.04/285.19 c 283s | 21 | 1686080 | 1326945 | 2486 1076 | 335 | 0
287.05/287.20 c 285s | 21 | 1697389 | 1336645 | 2486 1082 | 335 | 0
289.14/289.21 c 287s | 21 | 1708297 | 1346045 | 2486 1089 | 335 | 0
291.15/291.22 c 289s | 21 | 1719289 | 1355945 | 2486 1095 | 335 | 0
293.15/293.22 c 291s | 21 | 1729096 | 1364945 | 2486 1101 | 335 | 0
295.15/295.24 c 293s | 21 | 1741636 | 1375645 | 2486 1108 | 335 | 0
297.15/297.24 c 295s | 21 | 1754331 | 1386045 | 2486 1115 | 335 | 0
299.15/299.24 c 297s | 21 | 1766618 | 1396345 | 2486 1122 | 335 | 0
301.15/301.26 c 299s | 21 | 1778695 | 1406645 | 2486 1129 | 335 | 0
303.15/303.28 c 301s | 21 | 1790906 | 1416745 | 2486 1136 | 335 | 0
305.25/305.30 c 303s | 21 | 1802940 | 1426845 | 2486 1143 | 335 | 0
307.25/307.32 c 305s | 21 | 1815795 | 1437145 | 2486 1150 | 335 | 0
309.25/309.33 c 307s | 21 | 1827820 | 1447645 | 2486 1157 | 335 | 0
311.25/311.34 c 309s | 21 | 1839774 | 1457345 | 2486 1163 | 335 | 0
313.24/313.34 c 311s | 21 | 1851523 | 1467245 | 2486 1170 | 335 | 0
315.24/315.35 c 313s | 21 | 1863089 | 1476945 | 2486 1176 | 335 | 0
317.24/317.36 c 315s | 21 | 1875145 | 1486745 | 2486 1183 | 335 | 0
319.24/319.36 c 317s | 21 | 1887183 | 1496745 | 2735 1189 | 335 | 0
320.05/320.10 c 318s | 22 | 1891952 | 1500622 | 2735 1191 | 335 | 0
322.04/322.12 c 320s | 22 | 1899456 | 1506622 | 2735 1195 | 335 | 0
324.04/324.13 c 322s | 22 | 1906915 | 1512822 | 2735 1199 | 335 | 0
326.04/326.13 c 324s | 22 | 1913484 | 1518522 | 2735 1202 | 335 | 0
328.04/328.16 c 326s | 22 | 1919637 | 1523922 | 2735 1206 | 335 | 0
330.04/330.19 c 328s | 22 | 1926192 | 1529422 | 2735 1209 | 335 | 0
332.04/332.20 c 330s | 22 | 1933013 | 1535022 | 2735 1212 | 335 | 0
334.14/334.22 c 332s | 22 | 1940045 | 1540622 | 2735 1216 | 335 | 0
336.14/336.25 c 334s | 22 | 1947185 | 1546622 | 2735 1220 | 335 | 0
338.14/338.28 c 336s | 22 | 1953940 | 1552422 | 2735 1223 | 335 | 0
340.24/340.31 c 338s | 22 | 1960174 | 1557922 | 2735 1226 | 335 | 0
342.24/342.33 c 340s | 22 | 1966449 | 1563322 | 2735 1230 | 335 | 0
344.24/344.35 c 342s | 22 | 1973080 | 1569122 | 2735 1233 | 335 | 0
346.23/346.37 c 344s | 22 | 1980898 | 1575322 | 2735 1237 | 335 | 0
348.23/348.39 c 346s | 22 | 1987378 | 1580522 | 2735 1240 | 335 | 0
350.33/350.42 c 348s | 22 | 1994235 | 1586322 | 2735 1244 | 335 | 0
352.33/352.44 c 350s | 22 | 2000717 | 1592022 | 2735 1247 | 335 | 0
354.33/354.45 c 352s | 22 | 2007336 | 1597522 | 2735 1251 | 335 | 0
356.33/356.46 c 354s | 22 | 2014605 | 1603522 | 2735 1254 | 335 | 0
358.33/358.47 c 356s | 22 | 2021063 | 1608522 | 2735 1257 | 335 | 0
360.33/360.48 c 358s | 22 | 2028140 | 1614122 | 2735 1261 | 335 | 0
362.43/362.50 c 360s | 22 | 2034702 | 1619722 | 2735 1264 | 335 | 0
364.42/364.53 c 362s | 22 | 2041675 | 1625422 | 2735 1268 | 335 | 0
366.42/366.54 c 364s | 22 | 2048064 | 1630922 | 2735 1271 | 335 | 0
368.43/368.58 c 366s | 22 | 2054669 | 1636922 | 2735 1275 | 335 | 0
370.52/370.60 c 368s | 22 | 2062104 | 1643022 | 2735 1279 | 335 | 0
372.52/372.63 c 370s | 22 | 2069814 | 1648622 | 2735 1282 | 335 | 0
374.51/374.64 c 372s | 22 | 2078703 | 1654522 | 2735 1286 | 335 | 0
376.51/376.66 c 374s | 22 | 2085201 | 1660122 | 2735 1289 | 335 | 0
378.51/378.66 c 376s | 22 | 2091397 | 1665622 | 2735 1292 | 335 | 0
380.52/380.67 c 378s | 22 | 2097636 | 1670722 | 2735 1295 | 335 | 0
382.62/382.70 c 380s | 22 | 2104194 | 1676222 | 2735 1299 | 335 | 0
384.62/384.74 c 382s | 22 | 2109685 | 1681422 | 2735 1302 | 335 | 0
386.62/386.76 c 384s | 22 | 2115880 | 1687022 | 2735 1305 | 335 | 0
388.62/388.79 c 387s | 22 | 2122478 | 1692522 | 2735 1309 | 335 | 0
390.72/390.84 c 389s | 22 | 2130000 | 1698422 | 2735 1312 | 335 | 0
392.72/392.87 c 391s | 22 | 2137356 | 1703922 | 2735 1316 | 335 | 0
394.71/394.87 c 393s | 22 | 2144021 | 1709322 | 2735 1319 | 335 | 0
396.71/396.88 c 395s | 22 | 2151129 | 1715222 | 2735 1323 | 335 | 0
398.71/398.89 c 397s | 22 | 2157912 | 1720922 | 2735 1326 | 335 | 0
400.81/400.90 c 399s | 22 | 2165317 | 1727022 | 2735 1330 | 335 | 0
402.81/402.93 c 401s | 22 | 2172074 | 1732322 | 2735 1333 | 335 | 0
404.82/404.94 c 403s | 22 | 2178557 | 1737422 | 2735 1336 | 335 | 0
406.81/406.96 c 405s | 22 | 2186045 | 1743522 | 2735 1340 | 335 | 0
408.81/408.96 c 407s | 22 | 2193221 | 1749222 | 2735 1343 | 335 | 0
410.81/410.97 c 409s | 22 | 2201057 | 1755322 | 2735 1347 | 335 | 0
412.91/413.01 c 411s | 22 | 2207337 | 1760522 | 2735 1350 | 335 | 0
414.90/415.04 c 413s | 22 | 2214118 | 1766322 | 2735 1354 | 335 | 0
416.91/417.08 c 415s | 22 | 2219749 | 1771322 | 2735 1357 | 335 | 0
419.01/419.12 c 417s | 22 | 2226731 | 1777222 | 2735 1361 | 335 | 0
421.00/421.15 c 419s | 22 | 2234118 | 1783022 | 2735 1364 | 335 | 0
423.00/423.18 c 421s | 22 | 2240953 | 1788722 | 2735 1368 | 335 | 0
425.10/425.21 c 423s | 22 | 2248348 | 1794422 | 2735 1371 | 335 | 0
427.10/427.22 c 425s | 22 | 2256202 | 1800422 | 2735 1375 | 335 | 0
429.09/429.25 c 427s | 22 | 2263455 | 1806022 | 2735 1378 | 335 | 0
431.10/431.28 c 429s | 22 | 2269824 | 1811222 | 2735 1381 | 335 | 0
433.09/433.29 c 431s | 22 | 2277292 | 1817322 | 2735 1385 | 335 | 0
435.19/435.33 c 433s | 22 | 2284718 | 1823422 | 2735 1389 | 335 | 0
437.19/437.35 c 435s | 22 | 2292393 | 1829422 | 2735 1392 | 335 | 0
439.19/439.37 c 437s | 22 | 2299216 | 1835522 | 2735 1396 | 335 | 0
441.29/441.40 c 439s | 22 | 2305494 | 1841222 | 2735 1400 | 335 | 0
443.30/443.42 c 441s | 22 | 2312070 | 1846922 | 2735 1403 | 335 | 0
445.29/445.46 c 443s | 22 | 2318493 | 1852422 | 2735 1406 | 335 | 0
447.29/447.47 c 445s | 22 | 2325836 | 1858522 | 2735 1410 | 335 | 0
449.38/449.51 c 447s | 22 | 2331434 | 1863422 | 2735 1413 | 335 | 0
451.38/451.52 c 449s | 22 | 2338215 | 1869122 | 2735 1417 | 335 | 0
453.38/453.54 c 451s | 22 | 2345915 | 1875422 | 2735 1421 | 335 | 0
455.39/455.57 c 453s | 22 | 2353082 | 1881422 | 2735 1424 | 335 | 0
457.38/457.57 c 455s | 22 | 2360737 | 1887522 | 2735 1428 | 335 | 0
459.38/459.59 c 457s | 22 | 2368689 | 1893822 | 2735 1432 | 335 | 0
461.48/461.61 c 459s | 22 | 2375375 | 1899122 | 2735 1435 | 335 | 0
463.48/463.63 c 461s | 22 | 2382460 | 1904422 | 2735 1438 | 335 | 0
465.48/465.66 c 463s | 22 | 2389535 | 1910222 | 2735 1442 | 335 | 0
467.48/467.69 c 465s | 22 | 2397132 | 1916122 | 2735 1445 | 335 | 0
469.58/469.71 c 467s | 22 | 2403580 | 1922022 | 2735 1449 | 335 | 0
471.58/471.73 c 469s | 22 | 2409421 | 1927422 | 2735 1452 | 335 | 0
473.59/473.76 c 471s | 22 | 2416058 | 1932722 | 2735 1456 | 335 | 0
475.58/475.76 c 473s | 22 | 2422897 | 1938922 | 2735 1459 | 335 | 0
477.68/477.86 c 476s | 22 | 2429743 | 1945022 | 2735 1463 | 335 | 0
479.68/479.89 c 478s | 22 | 2436328 | 1950722 | 2735 1467 | 335 | 0
481.79/481.92 c 480s | 22 | 2442227 | 1956222 | 2735 1470 | 335 | 0
483.78/483.95 c 482s | 22 | 2447628 | 1961422 | 2735 1473 | 335 | 0
485.78/485.98 c 484s | 22 | 2453859 | 1967422 | 2735 1477 | 335 | 0
487.77/487.98 c 486s | 22 | 2459216 | 1972722 | 2735 1480 | 335 | 0
489.87/490.00 c 488s | 22 | 2464869 | 1978222 | 2735 1483 | 335 | 0
491.87/492.03 c 490s | 22 | 2470347 | 1983622 | 2735 1487 | 335 | 0
493.87/494.06 c 492s | 22 | 2475829 | 1989022 | 2735 1490 | 335 | 0
495.87/496.07 c 494s | 22 | 2481858 | 1994622 | 2735 1493 | 335 | 0
497.87/498.09 c 496s | 22 | 2487964 | 2000422 | 2735 1497 | 335 | 0
499.87/500.09 c 498s | 22 | 2493552 | 2005722 | 2735 1500 | 335 | 0
501.96/502.12 c 500s | 22 | 2500334 | 2011022 | 2735 1503 | 335 | 0
503.96/504.13 c 502s | 22 | 2506308 | 2015522 | 2735 1506 | 335 | 0
505.97/506.15 c 504s | 22 | 2512602 | 2020522 | 2735 1509 | 335 | 0
507.96/508.19 c 506s | 22 | 2518730 | 2025022 | 2735 1512 | 335 | 0
510.07/510.20 c 508s | 22 | 2524515 | 2029222 | 2735 1515 | 335 | 0
512.06/512.21 c 510s | 22 | 2531387 | 2035422 | 2735 1518 | 335 | 0
514.06/514.23 c 512s | 22 | 2537107 | 2040422 | 2735 1521 | 335 | 0
516.06/516.26 c 514s | 22 | 2542981 | 2045522 | 2735 1525 | 335 | 0
518.07/518.28 c 516s | 22 | 2549056 | 2051022 | 2735 1528 | 335 | 0
520.06/520.28 c 518s | 22 | 2555628 | 2056522 | 2735 1531 | 335 | 0
522.06/522.28 c 520s | 22 | 2562391 | 2062022 | 2735 1535 | 335 | 0
524.15/524.31 c 522s | 22 | 2569841 | 2067722 | 2735 1538 | 335 | 0
526.15/526.34 c 524s | 22 | 2576681 | 2073422 | 2735 1542 | 335 | 0
528.15/528.34 c 526s | 22 | 2583470 | 2079022 | 2735 1545 | 335 | 0
530.16/530.36 c 528s | 22 | 2590550 | 2084822 | 2735 1549 | 335 | 0
532.15/532.37 c 530s | 22 | 2597791 | 2090722 | 2735 1552 | 335 | 0
534.15/534.39 c 532s | 22 | 2605387 | 2096322 | 2735 1556 | 335 | 0
536.25/536.43 c 534s | 22 | 2612598 | 2101822 | 2735 1559 | 335 | 0
538.25/538.47 c 536s | 22 | 2620253 | 2107422 | 2735 1562 | 335 | 0
540.25/540.47 c 538s | 22 | 2626533 | 2112622 | 2735 1566 | 335 | 0
542.26/542.49 c 540s | 22 | 2634689 | 2118122 | 2735 1569 | 335 | 0
544.35/544.52 c 542s | 22 | 2642193 | 2123422 | 2735 1572 | 335 | 0
546.34/546.55 c 544s | 22 | 2649284 | 2128722 | 2735 1575 | 335 | 0
548.34/548.58 c 546s | 22 | 2655153 | 2133722 | 2735 1578 | 335 | 0
550.34/550.58 c 548s | 22 | 2661055 | 2139422 | 2735 1582 | 335 | 0
552.44/552.60 c 550s | 22 | 2668320 | 2145222 | 2735 1585 | 335 | 0
554.44/554.63 c 552s | 22 | 2675009 | 2150722 | 2735 1589 | 335 | 0
556.44/556.63 c 554s | 22 | 2682106 | 2156722 | 2735 1592 | 335 | 0
558.43/558.66 c 556s | 22 | 2688457 | 2162122 | 2735 1596 | 335 | 0
560.43/560.69 c 558s | 22 | 2694628 | 2167522 | 2735 1599 | 335 | 0
562.53/562.71 c 560s | 22 | 2700771 | 2172722 | 2735 1602 | 335 | 0
564.53/564.72 c 562s | 22 | 2707286 | 2178222 | 2735 1606 | 335 | 0
566.53/566.72 c 564s | 22 | 2713391 | 2183522 | 2735 1609 | 335 | 0
568.54/568.75 c 566s | 22 | 2719946 | 2189022 | 2735 1612 | 335 | 0
570.53/570.77 c 568s | 22 | 2726091 | 2194322 | 2735 1616 | 335 | 0
572.53/572.79 c 571s | 22 | 2732762 | 2199822 | 2735 1619 | 335 | 0
574.62/574.82 c 573s | 22 | 2739424 | 2205822 | 2735 1623 | 335 | 0
576.62/576.83 c 575s | 22 | 2745513 | 2211022 | 2735 1626 | 335 | 0
578.62/578.85 c 577s | 22 | 2752291 | 2216722 | 2735 1629 | 335 | 0
580.63/580.87 c 579s | 22 | 2758422 | 2222222 | 2735 1633 | 335 | 0
582.62/582.89 c 581s | 22 | 2764701 | 2227922 | 2735 1636 | 335 | 0
584.62/584.89 c 583s | 22 | 2770282 | 2233322 | 2735 1639 | 335 | 0
586.72/586.92 c 585s | 22 | 2777015 | 2239022 | 3009 1643 | 335 | 0
588.71/588.94 c 587s | 22 | 2783345 | 2244322 | 3009 1646 | 335 | 0
590.71/590.97 c 589s | 22 | 2789517 | 2249722 | 3009 1649 | 335 | 0
591.21/591.43 c 589s | 23 | 2791034 | 2251038 | 3009 1649 | 335 | 0
593.21/593.46 c 591s | 23 | 2800831 | 2258838 | 3009 1653 | 335 | 0
595.21/595.48 c 593s | 23 | 2809939 | 2266538 | 3009 1657 | 335 | 0
597.31/597.51 c 595s | 23 | 2819495 | 2274738 | 3009 1662 | 335 | 0
599.31/599.53 c 597s | 23 | 2830156 | 2283338 | 3009 1666 | 335 | 0
601.32/601.56 c 599s | 23 | 2840092 | 2291638 | 3009 1670 | 335 | 0
603.32/603.57 c 601s | 23 | 2848729 | 2298938 | 3009 1674 | 335 | 0
605.41/605.62 c 603s | 23 | 2859555 | 2307438 | 3009 1679 | 335 | 0
607.41/607.62 c 605s | 23 | 2870914 | 2316238 | 3009 1683 | 335 | 0
609.41/609.63 c 607s | 23 | 2881384 | 2324738 | 3009 1688 | 335 | 0
611.42/611.65 c 609s | 23 | 2890782 | 2332538 | 3009 1692 | 335 | 0
613.41/613.65 c 611s | 23 | 2902309 | 2341438 | 3009 1696 | 335 | 0
615.41/615.67 c 613s | 23 | 2912481 | 2350438 | 3009 1701 | 335 | 0
617.41/617.68 c 615s | 23 | 2921777 | 2358938 | 3009 1705 | 335 | 0
619.41/619.69 c 617s | 23 | 2930787 | 2366538 | 3009 1709 | 335 | 0
621.51/621.70 c 619s | 23 | 2941316 | 2374838 | 3009 1714 | 335 | 0
623.51/623.73 c 621s | 23 | 2951881 | 2383538 | 3009 1718 | 335 | 0
625.50/625.74 c 623s | 23 | 2962362 | 2392138 | 3009 1723 | 335 | 0
627.50/627.76 c 625s | 23 | 2972747 | 2400538 | 3009 1727 | 335 | 0
629.50/629.77 c 627s | 23 | 2981962 | 2408438 | 3009 1731 | 335 | 0
631.50/631.79 c 630s | 23 | 2991062 | 2416238 | 3009 1735 | 335 | 0
633.60/633.80 c 632s | 23 | 2999957 | 2423738 | 3009 1739 | 335 | 0
635.60/635.82 c 634s | 23 | 3008103 | 2431138 | 3009 1743 | 335 | 0
637.59/637.83 c 636s | 23 | 3016319 | 2438438 | 3009 1747 | 335 | 0
639.59/639.85 c 638s | 23 | 3026745 | 2447138 | 3009 1751 | 335 | 0
641.59/641.86 c 640s | 23 | 3035800 | 2454938 | 3009 1756 | 335 | 0
643.59/643.89 c 642s | 23 | 3045230 | 2462638 | 3009 1760 | 335 | 0
645.69/645.91 c 644s | 23 | 3055134 | 2470738 | 3009 1764 | 335 | 0
647.70/647.93 c 646s | 23 | 3066047 | 2479938 | 3009 1769 | 335 | 0
649.69/649.94 c 648s | 23 | 3076278 | 2488238 | 3009 1773 | 335 | 0
651.69/651.95 c 650s | 23 | 3086820 | 2496738 | 3009 1777 | 335 | 0
653.69/653.99 c 652s | 23 | 3097455 | 2505638 | 3009 1782 | 335 | 0
655.78/656.00 c 654s | 23 | 3108280 | 2514238 | 3009 1786 | 335 | 0
657.78/658.02 c 656s | 23 | 3116682 | 2522038 | 3009 1791 | 335 | 0
659.78/660.04 c 658s | 23 | 3124903 | 2529038 | 3009 1794 | 335 | 0
661.79/662.05 c 660s | 23 | 3132732 | 2536038 | 3009 1798 | 335 | 0
663.79/664.07 c 662s | 23 | 3142379 | 2543838 | 3009 1802 | 335 | 0
665.78/666.07 c 664s | 23 | 3152361 | 2552238 | 3009 1806 | 335 | 0
667.78/668.08 c 666s | 23 | 3162735 | 2560338 | 3009 1810 | 335 | 0
669.79/670.09 c 668s | 23 | 3172573 | 2567838 | 3009 1814 | 335 | 0
671.89/672.11 c 670s | 23 | 3181858 | 2575638 | 3009 1818 | 335 | 0
673.88/674.12 c 672s | 23 | 3192599 | 2583938 | 3009 1823 | 335 | 0
675.87/676.14 c 674s | 23 | 3202705 | 2592138 | 3009 1827 | 335 | 0
677.87/678.14 c 676s | 23 | 3214068 | 2600538 | 3009 1831 | 335 | 0
679.87/680.15 c 678s | 23 | 3224601 | 2608938 | 3009 1836 | 335 | 0
681.88/682.16 c 680s | 23 | 3233109 | 2616238 | 3009 1840 | 335 | 0
683.87/684.16 c 682s | 23 | 3242656 | 2624438 | 3009 1844 | 335 | 0
685.87/686.17 c 684s | 23 | 3252198 | 2632038 | 3009 1848 | 335 | 0
687.87/688.17 c 686s | 23 | 3263234 | 2640338 | 3009 1852 | 335 | 0
689.97/690.20 c 688s | 23 | 3274528 | 2648438 | 3009 1857 | 335 | 0
691.96/692.21 c 690s | 23 | 3283718 | 2656438 | 3009 1861 | 335 | 0
693.97/694.23 c 692s | 23 | 3292601 | 2664038 | 3009 1865 | 335 | 0
695.96/696.25 c 694s | 23 | 3303583 | 2672738 | 3009 1869 | 335 | 0
697.96/698.26 c 696s | 23 | 3313556 | 2680638 | 3009 1873 | 335 | 0
699.96/700.30 c 698s | 23 | 3323887 | 2688638 | 3009 1878 | 335 | 0
702.06/702.31 c 700s | 23 | 3333510 | 2697038 | 3009 1882 | 335 | 0
704.06/704.32 c 702s | 23 | 3343580 | 2705138 | 3009 1886 | 335 | 0
706.07/706.33 c 704s | 23 | 3353242 | 2713238 | 3009 1890 | 335 | 0
708.06/708.34 c 706s | 23 | 3362753 | 2720638 | 3009 1894 | 335 | 0
710.06/710.35 c 708s | 23 | 3372133 | 2728638 | 3009 1898 | 335 | 0
712.06/712.36 c 710s | 23 | 3380483 | 2735738 | 3009 1902 | 335 | 0
714.05/714.36 c 712s | 23 | 3389232 | 2743538 | 3009 1906 | 335 | 0
716.05/716.36 c 714s | 23 | 3397107 | 2750338 | 3009 1910 | 335 | 0
718.06/718.38 c 716s | 23 | 3405480 | 2757638 | 3009 1914 | 335 | 0
720.15/720.41 c 718s | 23 | 3414515 | 2765438 | 3009 1918 | 335 | 0
722.15/722.41 c 720s | 23 | 3422391 | 2772438 | 3009 1921 | 335 | 0
724.14/724.41 c 722s | 23 | 3431483 | 2780338 | 3009 1925 | 335 | 0
726.14/726.43 c 724s | 23 | 3441264 | 2788638 | 3009 1930 | 335 | 0
728.14/728.44 c 726s | 23 | 3451608 | 2796538 | 3009 1934 | 335 | 0
730.15/730.44 c 728s | 23 | 3462027 | 2804538 | 3009 1938 | 335 | 0
732.14/732.44 c 730s | 23 | 3471007 | 2812238 | 3009 1942 | 335 | 0
734.14/734.46 c 732s | 23 | 3481384 | 2820138 | 3009 1946 | 335 | 0
736.14/736.46 c 734s | 23 | 3491308 | 2827938 | 3009 1950 | 335 | 0
738.14/738.47 c 736s | 23 | 3500972 | 2836038 | 3009 1955 | 335 | 0
740.15/740.49 c 738s | 23 | 3511161 | 2844638 | 3009 1959 | 335 | 0
742.25/742.50 c 740s | 23 | 3520065 | 2852338 | 3009 1963 | 335 | 0
744.24/744.53 c 742s | 23 | 3530264 | 2860238 | 3009 1967 | 335 | 0
746.24/746.53 c 744s | 23 | 3539856 | 2868338 | 3009 1971 | 335 | 0
748.24/748.56 c 746s | 23 | 3549172 | 2876138 | 3009 1975 | 335 | 0
750.23/750.57 c 748s | 23 | 3558615 | 2883938 | 3009 1980 | 335 | 0
752.24/752.58 c 750s | 23 | 3569569 | 2892438 | 3009 1984 | 335 | 0
754.23/754.60 c 752s | 23 | 3580115 | 2900838 | 3009 1988 | 335 | 0
756.33/756.63 c 754s | 23 | 3589705 | 2908638 | 3009 1992 | 335 | 0
758.33/758.65 c 756s | 23 | 3599748 | 2916638 | 3009 1997 | 335 | 0
760.33/760.67 c 758s | 23 | 3611181 | 2925338 | 3009 2001 | 335 | 0
762.33/762.68 c 760s | 23 | 3621553 | 2933838 | 3009 2006 | 335 | 0
764.33/764.68 c 762s | 23 | 3631726 | 2942438 | 3009 2010 | 335 | 0
766.32/766.70 c 764s | 23 | 3641265 | 2950138 | 3009 2014 | 335 | 0
768.42/768.72 c 766s | 23 | 3651427 | 2959038 | 3009 2019 | 335 | 0
770.52/770.86 c 769s | 23 | 3661541 | 2968038 | 3009 2024 | 335 | 0
772.52/772.89 c 771s | 23 | 3669551 | 2975738 | 3009 2028 | 335 | 0
774.61/774.91 c 773s | 23 | 3678084 | 2983638 | 3009 2032 | 335 | 0
776.62/776.92 c 775s | 23 | 3688810 | 2993238 | 3009 2037 | 335 | 0
778.63/778.92 c 777s | 23 | 3699252 | 3001238 | 3009 2041 | 335 | 0
780.62/780.93 c 779s | 23 | 3711649 | 3009338 | 3009 2045 | 335 | 0
782.62/782.95 c 781s | 23 | 3723441 | 3017838 | 3009 2050 | 335 | 0
784.62/784.96 c 783s | 23 | 3736445 | 3026638 | 3009 2054 | 335 | 0
786.62/786.96 c 785s | 23 | 3747046 | 3034138 | 3009 2058 | 335 | 0
788.62/788.97 c 787s | 23 | 3757450 | 3041538 | 3009 2062 | 335 | 0
790.62/790.99 c 789s | 23 | 3767373 | 3049938 | 3009 2066 | 335 | 0
792.61/793.00 c 791s | 23 | 3776232 | 3057738 | 3009 2070 | 335 | 0
794.71/795.01 c 793s | 23 | 3785008 | 3065538 | 3009 2074 | 335 | 0
796.71/797.03 c 795s | 23 | 3795406 | 3074038 | 3009 2079 | 335 | 0
798.71/799.05 c 797s | 23 | 3804840 | 3081938 | 3009 2083 | 335 | 0
800.71/801.07 c 799s | 23 | 3813788 | 3089738 | 3009 2087 | 335 | 0
802.71/803.08 c 801s | 23 | 3823071 | 3097638 | 3009 2091 | 335 | 0
804.70/805.09 c 803s | 23 | 3831562 | 3105238 | 3009 2095 | 335 | 0
806.70/807.09 c 805s | 23 | 3840168 | 3112838 | 3009 2099 | 335 | 0
808.80/809.11 c 807s | 23 | 3849617 | 3121038 | 3009 2103 | 335 | 0
810.80/811.18 c 809s | 23 | 3858686 | 3129138 | 3009 2108 | 335 | 0
812.80/813.19 c 811s | 23 | 3868297 | 3137438 | 3009 2112 | 335 | 0
814.90/815.22 c 813s | 23 | 3877635 | 3145238 | 3009 2116 | 335 | 0
816.90/817.24 c 815s | 23 | 3886282 | 3152838 | 3009 2120 | 335 | 0
818.90/819.25 c 817s | 23 | 3894405 | 3160238 | 3009 2124 | 335 | 0
820.90/821.26 c 819s | 23 | 3902424 | 3167238 | 3009 2128 | 335 | 0
822.90/823.26 c 821s | 23 | 3912222 | 3175138 | 3009 2132 | 335 | 0
825.00/825.31 c 823s | 23 | 3920807 | 3182338 | 3009 2136 | 335 | 0
827.01/827.33 c 825s | 23 | 3930450 | 3190238 | 3009 2140 | 335 | 0
829.00/829.35 c 827s | 23 | 3939702 | 3197938 | 3009 2144 | 335 | 0
830.99/831.37 c 829s | 23 | 3950578 | 3206738 | 3009 2148 | 335 | 0
832.99/833.40 c 831s | 23 | 3960430 | 3214738 | 3009 2152 | 335 | 0
835.09/835.41 c 833s | 23 | 3970326 | 3223038 | 3009 2157 | 335 | 0
837.09/837.42 c 835s | 23 | 3979936 | 3231138 | 3009 2161 | 335 | 0
839.09/839.44 c 837s | 23 | 3988777 | 3238838 | 3009 2165 | 335 | 0
841.09/841.46 c 839s | 23 | 3998313 | 3247038 | 3009 2169 | 335 | 0
843.08/843.46 c 841s | 23 | 4007229 | 3254638 | 3009 2173 | 335 | 0
845.08/845.47 c 843s | 23 | 4015880 | 3262238 | 3009 2177 | 335 | 0
847.09/847.48 c 845s | 23 | 4024475 | 3269338 | 3009 2181 | 335 | 0
849.18/849.50 c 847s | 23 | 4033596 | 3277038 | 3009 2185 | 335 | 0
851.19/851.58 c 849s | 23 | 4042353 | 3284538 | 3009 2189 | 335 | 0
853.18/853.58 c 851s | 23 | 4051374 | 3292338 | 3009 2193 | 335 | 0
855.18/855.58 c 853s | 23 | 4059358 | 3299338 | 3009 2197 | 335 | 0
857.28/857.63 c 855s | 23 | 4068380 | 3306838 | 3009 2201 | 335 | 0
859.28/859.64 c 857s | 23 | 4076009 | 3313538 | 3009 2204 | 335 | 0
861.28/861.66 c 859s | 23 | 4084785 | 3321038 | 3009 2208 | 335 | 0
863.29/863.68 c 861s | 23 | 4092659 | 3328038 | 3009 2212 | 335 | 0
865.28/865.69 c 863s | 23 | 4100633 | 3335338 | 3009 2215 | 335 | 0
867.38/867.70 c 865s | 23 | 4108245 | 3341938 | 3009 2219 | 335 | 0
869.38/869.71 c 867s | 23 | 4116284 | 3349138 | 3009 2223 | 335 | 0
871.37/871.75 c 869s | 23 | 4123175 | 3355238 | 3310 2226 | 335 | 0
873.37/873.76 c 871s | 23 | 4130177 | 3361438 | 3310 2229 | 335 | 0
875.47/875.80 c 874s | 23 | 4138305 | 3368438 | 3310 2232 | 335 | 0
877.47/877.80 c 876s | 23 | 4147282 | 3376138 | 3310 2236 | 335 | 0
877.67/878.07 c 876s | 24 | 4147981 | 3376662 | 3310 2236 | 335 | 0
879.67/880.08 c 878s | 24 | 4159134 | 3386162 | 3310 2241 | 335 | 0
881.67/882.09 c 880s | 24 | 4171154 | 3396362 | 3310 2246 | 335 | 0
883.76/884.10 c 882s | 24 | 4182626 | 3406362 | 3310 2252 | 335 | 0
885.76/886.12 c 884s | 24 | 4194676 | 3417162 | 3310 2258 | 335 | 0
887.77/888.13 c 886s | 24 | 4205929 | 3426662 | 3310 2263 | 335 | 0
889.77/890.14 c 888s | 24 | 4216918 | 3436162 | 3310 2268 | 335 | 0
891.77/892.15 c 890s | 24 | 4227643 | 3445562 | 3310 2273 | 335 | 0
893.77/894.15 c 892s | 24 | 4238526 | 3454462 | 3310 2277 | 335 | 0
895.76/896.16 c 894s | 24 | 4250306 | 3464062 | 3310 2283 | 335 | 0
897.76/898.17 c 896s | 24 | 4261688 | 3473562 | 3310 2288 | 335 | 0
899.76/900.18 c 898s | 24 | 4272358 | 3482862 | 3310 2293 | 335 | 0
901.76/902.18 c 900s | 24 | 4283887 | 3492562 | 3310 2298 | 335 | 0
903.76/904.19 c 902s | 24 | 4295275 | 3502162 | 3310 2303 | 335 | 0
905.85/906.20 c 904s | 24 | 4306981 | 3511962 | 3310 2308 | 335 | 0
907.85/908.21 c 906s | 24 | 4318458 | 3521762 | 3310 2313 | 335 | 0
909.85/910.22 c 908s | 24 | 4329067 | 3530762 | 3310 2318 | 335 | 0
911.84/912.25 c 910s | 24 | 4339998 | 3539962 | 3310 2323 | 335 | 0
913.85/914.27 c 912s | 24 | 4346891 | 3545962 | 3310 2326 | 335 | 0
915.84/916.30 c 914s | 24 | 4352784 | 3550962 | 3310 2329 | 335 | 0
917.94/918.32 c 916s | 24 | 4358797 | 3556262 | 3310 2331 | 335 | 0
919.94/920.36 c 918s | 24 | 4365040 | 3561562 | 3310 2334 | 335 | 0
921.94/922.38 c 920s | 24 | 4371013 | 3567162 | 3310 2337 | 335 | 0
923.93/924.39 c 922s | 24 | 4377522 | 3572762 | 3310 2340 | 335 | 0
925.94/926.39 c 924s | 24 | 4383956 | 3578362 | 3310 2343 | 335 | 0
927.93/928.39 c 926s | 24 | 4390367 | 3583962 | 3310 2346 | 335 | 0
930.03/930.41 c 928s | 24 | 4396643 | 3589462 | 3310 2349 | 335 | 0
932.03/932.45 c 930s | 24 | 4403314 | 3595062 | 3310 2352 | 335 | 0
934.03/934.48 c 932s | 24 | 4408564 | 3599962 | 3310 2354 | 335 | 0
936.03/936.49 c 934s | 24 | 4414426 | 3605762 | 3310 2357 | 335 | 0
938.14/938.50 c 936s | 24 | 4419662 | 3610362 | 3310 2359 | 335 | 0
940.14/940.51 c 938s | 24 | 4426329 | 3616162 | 3310 2362 | 335 | 0
942.13/942.54 c 940s | 24 | 4431774 | 3621362 | 3310 2365 | 335 | 0
944.13/944.54 c 942s | 24 | 4438160 | 3626762 | 3310 2368 | 335 | 0
946.13/946.55 c 944s | 24 | 4443793 | 3631662 | 3310 2370 | 335 | 0
948.13/948.56 c 946s | 24 | 4449569 | 3636962 | 3310 2373 | 335 | 0
950.14/950.57 c 948s | 24 | 4455931 | 3642362 | 3310 2376 | 335 | 0
952.13/952.57 c 950s | 24 | 4460855 | 3646862 | 3310 2378 | 335 | 0
954.23/954.62 c 952s | 24 | 4465976 | 3651462 | 3310 2381 | 335 | 0
956.23/956.64 c 954s | 24 | 4471880 | 3656462 | 3310 2383 | 335 | 0
958.23/958.64 c 956s | 24 | 4478391 | 3661562 | 3310 2386 | 335 | 0
960.23/960.69 c 958s | 24 | 4484286 | 3667162 | 3310 2389 | 335 | 0
962.33/962.71 c 960s | 24 | 4490662 | 3672762 | 3310 2392 | 335 | 0
964.33/964.73 c 962s | 24 | 4495726 | 3677562 | 3310 2394 | 335 | 0
966.32/966.73 c 964s | 24 | 4501862 | 3683062 | 3310 2397 | 335 | 0
968.32/968.75 c 966s | 24 | 4506866 | 3687662 | 3310 2400 | 335 | 0
970.32/970.79 c 968s | 24 | 4512164 | 3692362 | 3310 2402 | 335 | 0
972.42/972.82 c 971s | 24 | 4517961 | 3697562 | 3310 2405 | 335 | 0
974.42/974.84 c 973s | 24 | 4524059 | 3702862 | 3310 2407 | 335 | 0
976.43/976.88 c 975s | 24 | 4529828 | 3708162 | 3310 2410 | 335 | 0
978.52/978.90 c 977s | 24 | 4536766 | 3713562 | 3310 2413 | 335 | 0
980.52/980.93 c 979s | 24 | 4542135 | 3718062 | 3310 2415 | 335 | 0
982.52/982.94 c 981s | 24 | 4547650 | 3722662 | 3310 2418 | 335 | 0
984.52/984.95 c 983s | 24 | 4553654 | 3727662 | 3310 2420 | 335 | 0
986.52/986.95 c 985s | 24 | 4560781 | 3733062 | 3310 2423 | 335 | 0
988.53/988.97 c 987s | 24 | 4566324 | 3737962 | 3310 2426 | 335 | 0
990.52/990.99 c 989s | 24 | 4572294 | 3742862 | 3310 2428 | 335 | 0
992.62/993.00 c 991s | 24 | 4578420 | 3747662 | 3310 2431 | 335 | 0
994.62/995.02 c 993s | 24 | 4585537 | 3753362 | 3310 2434 | 335 | 0
996.62/997.04 c 995s | 24 | 4591972 | 3758562 | 3310 2436 | 335 | 0
998.62/999.05 c 997s | 24 | 4598107 | 3763562 | 3310 2439 | 335 | 0
1000.62/1001.05 c 999s | 24 | 4604319 | 3768362 | 3310 2441 | 335 | 0
1002.61/1003.06 c 1001s | 24 | 4609656 | 3773162 | 3310 2444 | 335 | 0
1004.61/1005.10 c 1003s | 24 | 4615180 | 3778162 | 3310 2446 | 335 | 0
1006.71/1007.12 c 1005s | 24 | 4621258 | 3783462 | 3310 2449 | 335 | 0
1008.71/1009.13 c 1007s | 24 | 4626998 | 3788662 | 3310 2452 | 335 | 0
1010.71/1011.16 c 1009s | 24 | 4633202 | 3794162 | 3310 2455 | 335 | 0
1012.72/1013.17 c 1011s | 24 | 4639278 | 3799762 | 3310 2458 | 335 | 0
1014.81/1015.20 c 1013s | 24 | 4646320 | 3805562 | 3310 2461 | 335 | 0
1016.81/1017.23 c 1015s | 24 | 4652523 | 3810862 | 3310 2463 | 335 | 0
1018.81/1019.25 c 1017s | 24 | 4659239 | 3816462 | 3310 2466 | 335 | 0
1020.81/1021.25 c 1019s | 24 | 4665358 | 3821862 | 3310 2469 | 335 | 0
1022.81/1023.26 c 1021s | 24 | 4670138 | 3825962 | 3310 2471 | 335 | 0
1024.82/1025.29 c 1023s | 24 | 4675288 | 3830662 | 3310 2474 | 335 | 0
1026.91/1027.33 c 1025s | 24 | 4680967 | 3835762 | 3310 2476 | 335 | 0
1028.91/1029.35 c 1027s | 24 | 4686801 | 3840662 | 3310 2479 | 335 | 0
1030.91/1031.38 c 1029s | 24 | 4692863 | 3846062 | 3310 2482 | 335 | 0
1032.91/1033.39 c 1031s | 24 | 4699951 | 3851962 | 3310 2485 | 335 | 0
1035.01/1035.40 c 1033s | 24 | 4706768 | 3857662 | 3310 2488 | 335 | 0
1037.01/1037.43 c 1035s | 24 | 4713559 | 3862762 | 3310 2490 | 335 | 0
1039.01/1039.44 c 1037s | 24 | 4719405 | 3867862 | 3310 2493 | 335 | 0
1041.01/1041.45 c 1039s | 24 | 4725953 | 3873162 | 3310 2496 | 335 | 0
1043.01/1043.46 c 1041s | 24 | 4732273 | 3878662 | 3310 2498 | 335 | 0
1045.01/1045.46 c 1043s | 24 | 4738866 | 3884062 | 3310 2501 | 335 | 0
1047.01/1047.49 c 1045s | 24 | 4745504 | 3889662 | 3310 2504 | 335 | 0
1049.11/1049.51 c 1047s | 24 | 4751760 | 3894862 | 3310 2507 | 335 | 0
1051.11/1051.52 c 1049s | 24 | 4758033 | 3900062 | 3310 2510 | 335 | 0
1053.10/1053.53 c 1051s | 24 | 4764222 | 3905762 | 3310 2513 | 335 | 0
1055.10/1055.53 c 1053s | 24 | 4769936 | 3911262 | 3310 2515 | 335 | 0
1057.10/1057.56 c 1055s | 24 | 4776210 | 3916762 | 3310 2518 | 335 | 0
1059.10/1059.57 c 1057s | 24 | 4782672 | 3921862 | 3310 2521 | 335 | 0
1061.11/1061.59 c 1059s | 24 | 4789179 | 3927062 | 3310 2524 | 335 | 0
1063.20/1063.61 c 1061s | 24 | 4796197 | 3932762 | 3310 2527 | 335 | 0
1065.20/1065.61 c 1063s | 24 | 4802612 | 3938062 | 3310 2529 | 335 | 0
1067.20/1067.63 c 1065s | 24 | 4809746 | 3943662 | 3310 2532 | 335 | 0
1069.20/1069.66 c 1067s | 24 | 4817312 | 3949662 | 3310 2535 | 335 | 0
1071.20/1071.66 c 1069s | 24 | 4823820 | 3954862 | 3310 2538 | 335 | 0
1073.21/1073.69 c 1071s | 24 | 4830472 | 3960062 | 3310 2541 | 335 | 0
1075.30/1075.72 c 1073s | 24 | 4836600 | 3965062 | 3310 2543 | 335 | 0
1077.30/1077.74 c 1075s | 24 | 4842346 | 3970362 | 3310 2546 | 335 | 0
1079.30/1079.77 c 1077s | 24 | 4848823 | 3975962 | 3310 2549 | 335 | 0
1081.30/1081.78 c 1079s | 24 | 4855582 | 3981462 | 3310 2552 | 335 | 0
1083.40/1083.81 c 1082s | 24 | 4862310 | 3986962 | 3310 2555 | 335 | 0
1085.41/1085.81 c 1084s | 24 | 4868777 | 3992462 | 3310 2558 | 335 | 0
1087.40/1087.84 c 1086s | 24 | 4874727 | 3997662 | 3310 2560 | 335 | 0
1089.40/1089.87 c 1088s | 24 | 4882347 | 4003662 | 3310 2563 | 335 | 0
1091.40/1091.89 c 1090s | 24 | 4889291 | 4009162 | 3310 2566 | 335 | 0
1093.50/1093.97 c 1092s | 24 | 4895890 | 4014162 | 3310 2569 | 335 | 0
1095.50/1095.97 c 1094s | 24 | 4902833 | 4019862 | 3310 2572 | 335 | 0
1097.60/1098.00 c 1096s | 24 | 4908644 | 4025162 | 3310 2575 | 335 | 0
1099.60/1100.03 c 1098s | 24 | 4914622 | 4030662 | 3310 2577 | 335 | 0
1101.60/1102.06 c 1100s | 24 | 4919863 | 4035462 | 3310 2580 | 335 | 0
1103.70/1104.10 c 1102s | 24 | 4925455 | 4040662 | 3310 2583 | 335 | 0
1105.69/1106.12 c 1104s | 24 | 4930614 | 4045262 | 3310 2585 | 335 | 0
1107.69/1108.16 c 1106s | 24 | 4936603 | 4050762 | 3310 2588 | 335 | 0
1109.79/1110.20 c 1108s | 24 | 4943320 | 4056562 | 3310 2591 | 335 | 0
1111.71/1112.20 c 1110s | 24 | 4948497 | 4061362 | 3310 2593 | 335 | 0
1113.80/1114.23 c 1112s | 24 | 4954746 | 4067062 | 3310 2596 | 335 | 0
1115.80/1116.26 c 1114s | 24 | 4960584 | 4072362 | 3310 2599 | 335 | 0
1117.80/1118.26 c 1116s | 24 | 4966690 | 4077662 | 3310 2602 | 335 | 0
1119.80/1120.28 c 1118s | 24 | 4972541 | 4082862 | 3310 2604 | 335 | 0
1121.80/1122.29 c 1120s | 24 | 4978504 | 4088162 | 3310 2607 | 335 | 0
1123.81/1124.30 c 1122s | 24 | 4985952 | 4093262 | 3310 2610 | 335 | 0
1125.90/1126.31 c 1124s | 24 | 4991897 | 4098462 | 3310 2613 | 335 | 0
1127.90/1128.34 c 1126s | 24 | 4997732 | 4103862 | 3310 2615 | 335 | 0
1129.90/1130.35 c 1128s | 24 | 5003925 | 4109462 | 3310 2618 | 335 | 0
1131.90/1132.36 c 1130s | 24 | 5009498 | 4114262 | 3310 2621 | 335 | 0
1133.90/1134.40 c 1132s | 24 | 5016308 | 4119962 | 3310 2624 | 335 | 0
1136.00/1136.41 c 1134s | 24 | 5022536 | 4125262 | 3310 2626 | 335 | 0
1138.00/1138.44 c 1136s | 24 | 5029785 | 4131062 | 3310 2629 | 335 | 0
1139.99/1140.47 c 1138s | 24 | 5036696 | 4136862 | 3310 2632 | 335 | 0
1141.99/1142.49 c 1140s | 24 | 5043046 | 4142062 | 3310 2635 | 335 | 0
1144.09/1144.50 c 1142s | 24 | 5049804 | 4147762 | 3310 2638 | 335 | 0
1146.09/1146.51 c 1144s | 24 | 5056733 | 4153462 | 3310 2641 | 335 | 0
1148.10/1148.52 c 1146s | 24 | 5063176 | 4159062 | 3310 2644 | 335 | 0
1150.09/1150.52 c 1148s | 24 | 5068723 | 4163662 | 3310 2646 | 335 | 0
1152.09/1152.52 c 1150s | 24 | 5074208 | 4168562 | 3310 2649 | 335 | 0
1154.09/1154.54 c 1152s | 24 | 5079634 | 4173462 | 3310 2651 | 335 | 0
1156.09/1156.56 c 1154s | 24 | 5085121 | 4178562 | 3310 2654 | 335 | 0
1158.09/1158.58 c 1156s | 24 | 5090248 | 4183462 | 3310 2657 | 335 | 0
1160.10/1160.60 c 1158s | 24 | 5095675 | 4188562 | 3310 2659 | 335 | 0
1162.19/1162.62 c 1160s | 24 | 5100874 | 4193462 | 3310 2662 | 335 | 0
1164.19/1164.65 c 1162s | 24 | 5107438 | 4198862 | 3310 2665 | 335 | 0
1166.19/1166.66 c 1164s | 24 | 5113520 | 4203962 | 3310 2667 | 335 | 0
1168.19/1168.68 c 1166s | 24 | 5119890 | 4209462 | 3310 2670 | 335 | 0
1170.29/1170.72 c 1168s | 24 | 5126677 | 4214962 | 3310 2673 | 335 | 0
1172.30/1172.72 c 1170s | 24 | 5131741 | 4219462 | 3310 2675 | 335 | 0
1174.29/1174.76 c 1172s | 24 | 5138779 | 4225262 | 3310 2678 | 335 | 0
1176.29/1176.79 c 1175s | 24 | 5145004 | 4230862 | 3310 2681 | 335 | 0
1178.39/1178.83 c 1177s | 24 | 5152064 | 4236762 | 3310 2684 | 335 | 0
1180.39/1180.85 c 1179s | 24 | 5158810 | 4242462 | 3310 2687 | 335 | 0
1182.39/1182.87 c 1181s | 24 | 5164239 | 4247462 | 3310 2690 | 335 | 0
1184.39/1184.87 c 1183s | 24 | 5170291 | 4252662 | 3310 2693 | 335 | 0
1186.38/1186.87 c 1185s | 24 | 5177231 | 4258362 | 3310 2696 | 335 | 0
1188.38/1188.89 c 1187s | 24 | 5182947 | 4263562 | 3310 2698 | 335 | 0
1190.48/1190.92 c 1189s | 24 | 5188227 | 4268462 | 3310 2701 | 335 | 0
1192.48/1192.92 c 1191s | 24 | 5193407 | 4273462 | 3310 2703 | 335 | 0
1194.48/1194.95 c 1193s | 24 | 5199651 | 4278762 | 3310 2706 | 335 | 0
1196.49/1196.96 c 1195s | 24 | 5205624 | 4283862 | 3310 2709 | 335 | 0
1198.48/1198.99 c 1197s | 24 | 5211854 | 4288862 | 3310 2711 | 335 | 0
1200.48/1200.99 c 1199s | 24 | 5217387 | 4293462 | 3310 2714 | 335 | 0
1202.58/1203.00 c 1201s | 24 | 5224035 | 4298562 | 3310 2716 | 335 | 0
1204.58/1205.01 c 1203s | 24 | 5229789 | 4303862 | 3310 2719 | 335 | 0
1206.58/1207.02 c 1205s | 24 | 5236043 | 4309162 | 3310 2722 | 335 | 0
1208.59/1209.09 c 1207s | 24 | 5242240 | 4314162 | 3310 2725 | 335 | 0
1210.69/1211.12 c 1209s | 24 | 5248072 | 4319162 | 3310 2727 | 335 | 0
1212.69/1213.12 c 1211s | 24 | 5255281 | 4324962 | 3310 2730 | 335 | 0
1214.69/1215.12 c 1213s | 24 | 5262086 | 4330262 | 3310 2733 | 335 | 0
1216.69/1217.16 c 1215s | 24 | 5268355 | 4334962 | 3310 2735 | 335 | 0
1218.68/1219.19 c 1217s | 24 | 5274147 | 4339962 | 3310 2738 | 335 | 0
1220.69/1221.19 c 1219s | 24 | 5279458 | 4344362 | 3310 2740 | 335 | 0
1222.68/1223.19 c 1221s | 24 | 5285074 | 4348762 | 3310 2742 | 335 | 0
1224.78/1225.23 c 1223s | 24 | 5290145 | 4352862 | 3310 2745 | 335 | 0
1226.78/1227.25 c 1225s | 24 | 5296911 | 4358462 | 3310 2748 | 335 | 0
1228.78/1229.28 c 1227s | 24 | 5302699 | 4363462 | 3310 2750 | 335 | 0
1230.88/1231.30 c 1229s | 24 | 5308775 | 4368462 | 3310 2753 | 335 | 0
1232.88/1233.32 c 1231s | 24 | 5314406 | 4373262 | 3310 2755 | 335 | 0
1234.89/1235.33 c 1233s | 24 | 5320935 | 4378662 | 3310 2758 | 335 | 0
1236.88/1237.34 c 1235s | 24 | 5327073 | 4383862 | 3310 2761 | 335 | 0
1238.88/1239.38 c 1237s | 24 | 5333016 | 4388662 | 3310 2763 | 335 | 0
1240.98/1241.41 c 1239s | 24 | 5338715 | 4393462 | 3310 2766 | 335 | 0
1242.98/1243.42 c 1241s | 24 | 5344959 | 4398462 | 3310 2768 | 335 | 0
1244.98/1245.43 c 1243s | 24 | 5350828 | 4403262 | 3310 2771 | 335 | 0
1246.98/1247.48 c 1245s | 24 | 5356370 | 4407762 | 3310 2773 | 335 | 0
1249.07/1249.50 c 1247s | 24 | 5362106 | 4412462 | 3310 2775 | 335 | 0
1251.07/1251.51 c 1249s | 24 | 5368850 | 4417862 | 3310 2778 | 335 | 0
1253.07/1253.52 c 1251s | 24 | 5375763 | 4423662 | 3310 2781 | 335 | 0
1255.07/1255.55 c 1253s | 24 | 5382797 | 4429362 | 3310 2784 | 335 | 0
1257.07/1257.58 c 1255s | 24 | 5388791 | 4434362 | 3310 2787 | 335 | 0
1259.08/1259.59 c 1257s | 24 | 5394362 | 4438962 | 3310 2789 | 335 | 0
1261.18/1261.60 c 1259s | 24 | 5401331 | 4444262 | 3310 2792 | 335 | 0
1263.18/1263.62 c 1261s | 24 | 5407870 | 4449562 | 3310 2795 | 335 | 0
1265.18/1265.64 c 1263s | 24 | 5414152 | 4454762 | 3310 2797 | 335 | 0
1267.18/1267.65 c 1265s | 24 | 5420200 | 4460162 | 3310 2800 | 335 | 0
1269.18/1269.68 c 1267s | 24 | 5425379 | 4464762 | 3310 2803 | 335 | 0
1271.29/1271.72 c 1269s | 24 | 5431900 | 4470162 | 3310 2805 | 335 | 0
1273.28/1273.75 c 1271s | 24 | 5438819 | 4475762 | 3310 2808 | 335 | 0
1275.28/1275.78 c 1273s | 24 | 5445521 | 4481162 | 3310 2811 | 335 | 0
1277.38/1277.80 c 1276s | 24 | 5451781 | 4486462 | 3310 2814 | 335 | 0
1279.38/1279.82 c 1278s | 24 | 5458233 | 4491862 | 3310 2817 | 335 | 0
1281.38/1281.83 c 1280s | 24 | 5463379 | 4496462 | 3310 2819 | 335 | 0
1283.38/1283.88 c 1282s | 24 | 5468707 | 4501362 | 3310 2822 | 335 | 0
1285.38/1285.89 c 1284s | 24 | 5474865 | 4506562 | 3310 2824 | 335 | 0
1287.48/1287.91 c 1286s | 24 | 5481337 | 4512262 | 3310 2827 | 335 | 0
1289.48/1289.92 c 1288s | 24 | 5487782 | 4517962 | 3310 2830 | 335 | 0
1291.47/1291.95 c 1290s | 24 | 5493818 | 4522862 | 3310 2833 | 335 | 0
1293.47/1293.98 c 1292s | 24 | 5499741 | 4528262 | 3310 2836 | 335 | 0
1295.48/1295.99 c 1294s | 24 | 5505075 | 4533262 | 3310 2838 | 335 | 0
1297.58/1298.00 c 1296s | 24 | 5511405 | 4538762 | 3310 2841 | 335 | 0
1299.57/1300.01 c 1298s | 24 | 5516867 | 4543662 | 3310 2844 | 335 | 0
1301.57/1302.03 c 1300s | 24 | 5523714 | 4549262 | 3310 2846 | 335 | 0
1303.57/1304.06 c 1302s | 24 | 5529733 | 4554662 | 3310 2849 | 335 | 0
1305.67/1306.11 c 1304s | 24 | 5534922 | 4559362 | 3310 2852 | 335 | 0
1307.67/1308.12 c 1306s | 24 | 5541684 | 4565262 | 3310 2855 | 335 | 0
1309.68/1310.17 c 1308s | 24 | 5547727 | 4570562 | 3310 2858 | 335 | 0
1311.67/1312.19 c 1310s | 24 | 5553694 | 4575662 | 3310 2860 | 335 | 0
1313.77/1314.22 c 1312s | 24 | 5560547 | 4581462 | 3310 2863 | 335 | 0
1315.77/1316.25 c 1314s | 24 | 5566567 | 4586662 | 3310 2866 | 335 | 0
1317.77/1318.28 c 1316s | 24 | 5571899 | 4591762 | 3310 2869 | 335 | 0
1319.87/1320.33 c 1318s | 24 | 5578867 | 4597562 | 3310 2872 | 335 | 0
1321.87/1322.35 c 1320s | 24 | 5585297 | 4602762 | 3310 2874 | 335 | 0
1323.86/1324.35 c 1322s | 24 | 5591712 | 4608262 | 3310 2877 | 335 | 0
1325.86/1326.35 c 1324s | 24 | 5598104 | 4613562 | 3310 2880 | 335 | 0
1327.86/1328.38 c 1326s | 24 | 5604593 | 4618762 | 3310 2883 | 335 | 0
1329.96/1330.40 c 1328s | 24 | 5610632 | 4623962 | 3310 2885 | 335 | 0
1331.96/1332.40 c 1330s | 24 | 5616725 | 4629062 | 3310 2888 | 335 | 0
1333.97/1334.44 c 1332s | 24 | 5623035 | 4634162 | 3310 2891 | 335 | 0
1335.96/1336.45 c 1334s | 24 | 5629184 | 4639462 | 3310 2893 | 335 | 0
1337.96/1338.48 c 1336s | 24 | 5634352 | 4644162 | 3310 2896 | 335 | 0
1340.06/1340.50 c 1338s | 24 | 5640717 | 4649162 | 3310 2898 | 335 | 0
1342.06/1342.53 c 1340s | 24 | 5647005 | 4654362 | 3310 2901 | 335 | 0
1344.06/1344.56 c 1342s | 24 | 5653217 | 4659162 | 3310 2904 | 335 | 0
1346.07/1346.60 c 1344s | 24 | 5659097 | 4664062 | 3310 2906 | 335 | 0
1348.17/1348.61 c 1346s | 24 | 5664233 | 4668862 | 3310 2909 | 335 | 0
1350.16/1350.63 c 1348s | 24 | 5669026 | 4673162 | 3310 2911 | 335 | 0
1352.16/1352.63 c 1350s | 24 | 5675017 | 4678062 | 3310 2913 | 335 | 0
1354.16/1354.66 c 1352s | 24 | 5681300 | 4682462 | 3310 2916 | 335 | 0
1356.17/1356.67 c 1354s | 24 | 5687168 | 4687162 | 3310 2918 | 335 | 0
1358.17/1358.68 c 1356s | 24 | 5693114 | 4691762 | 3310 2920 | 335 | 0
1360.17/1360.69 c 1358s | 24 | 5699507 | 4696662 | 3310 2923 | 335 | 0
1362.26/1362.73 c 1360s | 24 | 5706196 | 4701462 | 3310 2925 | 335 | 0
1364.26/1364.76 c 1362s | 24 | 5711970 | 4706362 | 3310 2928 | 335 | 0
1366.36/1366.81 c 1365s | 24 | 5717278 | 4710962 | 3310 2930 | 335 | 0
1368.36/1368.81 c 1367s | 24 | 5722714 | 4715562 | 3310 2933 | 335 | 0
1370.36/1370.85 c 1369s | 24 | 5728088 | 4720362 | 3310 2935 | 335 | 0
1372.37/1372.89 c 1371s | 24 | 5734392 | 4725562 | 3310 2938 | 335 | 0
1374.46/1374.91 c 1373s | 24 | 5740001 | 4730462 | 3310 2941 | 335 | 0
1376.46/1376.91 c 1375s | 24 | 5745108 | 4735262 | 3310 2943 | 335 | 0
1378.46/1378.96 c 1377s | 24 | 5750796 | 4739862 | 3310 2945 | 335 | 0
1380.46/1380.98 c 1379s | 24 | 5756960 | 4745262 | 3310 2948 | 335 | 0
1382.56/1383.00 c 1381s | 24 | 5762895 | 4750362 | 3310 2951 | 335 | 0
1384.57/1385.04 c 1383s | 24 | 5768956 | 4755362 | 3310 2953 | 335 | 0
1386.56/1387.05 c 1385s | 24 | 5774835 | 4760662 | 3310 2956 | 335 | 0
1388.56/1389.05 c 1387s | 24 | 5780295 | 4765762 | 3310 2959 | 335 | 0
1390.56/1391.08 c 1389s | 24 | 5785308 | 4770562 | 3310 2961 | 335 | 0
1392.66/1393.11 c 1391s | 24 | 5792078 | 4775662 | 3310 2964 | 335 | 0
1394.66/1395.12 c 1393s | 24 | 5799090 | 4780762 | 3310 2967 | 335 | 0
1396.66/1397.14 c 1395s | 24 | 5806381 | 4785862 | 3310 2969 | 335 | 0
1398.66/1399.19 c 1397s | 24 | 5811685 | 4790462 | 3310 2972 | 335 | 0
1400.66/1401.19 c 1399s | 24 | 5817073 | 4794462 | 3310 2974 | 335 | 0
1402.75/1403.23 c 1401s | 24 | 5822491 | 4798362 | 3310 2976 | 335 | 0
1404.75/1405.27 c 1403s | 24 | 5828232 | 4802562 | 3310 2978 | 335 | 0
1406.85/1407.30 c 1405s | 24 | 5833191 | 4807362 | 3310 2980 | 335 | 0
1408.85/1409.33 c 1407s | 24 | 5837766 | 4811662 | 3310 2983 | 335 | 0
1410.86/1411.36 c 1409s | 24 | 5844338 | 4816762 | 3310 2985 | 335 | 0
1412.95/1413.40 c 1411s | 24 | 5849854 | 4821362 | 3310 2988 | 335 | 0
1414.95/1415.43 c 1413s | 24 | 5855548 | 4826562 | 3310 2990 | 335 | 0
1416.95/1417.48 c 1415s | 24 | 5860160 | 4830962 | 3310 2993 | 335 | 0
1418.95/1419.49 c 1417s | 24 | 5865787 | 4835962 | 3310 2995 | 335 | 0
1421.05/1421.51 c 1419s | 24 | 5872524 | 4841862 | 3310 2998 | 335 | 0
1423.06/1423.53 c 1421s | 24 | 5878305 | 4847062 | 3310 3001 | 335 | 0
1425.05/1425.54 c 1423s | 24 | 5883138 | 4851662 | 3310 3003 | 335 | 0
1427.05/1427.55 c 1425s | 24 | 5889375 | 4856662 | 3310 3006 | 335 | 0
1429.05/1429.58 c 1427s | 24 | 5895473 | 4861762 | 3310 3009 | 335 | 0
1431.05/1431.59 c 1429s | 24 | 5901200 | 4866562 | 3310 3011 | 335 | 0
1433.15/1433.60 c 1431s | 24 | 5906356 | 4871362 | 3310 3014 | 335 | 0
1435.15/1435.66 c 1433s | 24 | 5912595 | 4876562 | 3310 3016 | 335 | 0
1437.15/1437.70 c 1435s | 24 | 5917357 | 4881062 | 3310 3019 | 335 | 0
1439.25/1439.75 c 1437s | 24 | 5923151 | 4886662 | 3310 3022 | 335 | 0
1441.34/1441.81 c 1440s | 24 | 5928480 | 4891662 | 3310 3024 | 335 | 0
1443.34/1443.85 c 1442s | 24 | 5933825 | 4896362 | 3310 3027 | 335 | 0
1445.34/1445.88 c 1444s | 24 | 5939242 | 4901062 | 3310 3029 | 335 | 0
1447.34/1447.88 c 1446s | 24 | 5944536 | 4905662 | 3310 3031 | 335 | 0
1449.45/1449.91 c 1448s | 24 | 5951722 | 4911262 | 3310 3034 | 335 | 0
1451.44/1451.93 c 1450s | 24 | 5957863 | 4916962 | 3310 3037 | 335 | 0
1453.44/1453.95 c 1452s | 24 | 5963944 | 4922262 | 3310 3040 | 335 | 0
1455.44/1455.96 c 1454s | 24 | 5970181 | 4927962 | 3310 3043 | 335 | 0
1457.44/1457.97 c 1456s | 24 | 5975302 | 4932762 | 3310 3045 | 335 | 0
1459.44/1459.98 c 1458s | 24 | 5982279 | 4938562 | 3310 3048 | 335 | 0
1461.55/1462.01 c 1460s | 24 | 5989421 | 4944262 | 3310 3051 | 335 | 0
1463.55/1464.01 c 1462s | 24 | 5994804 | 4948862 | 3310 3054 | 335 | 0
1465.55/1466.02 c 1464s | 24 | 6000475 | 4953562 | 3310 3056 | 335 | 0
1467.55/1468.04 c 1466s | 24 | 6006014 | 4957962 | 3310 3058 | 335 | 0
1469.55/1470.06 c 1468s | 24 | 6012327 | 4963762 | 3310 3062 | 335 | 0
1471.55/1472.09 c 1470s | 24 | 6018630 | 4969062 | 3310 3064 | 335 | 0
1473.66/1474.14 c 1472s | 24 | 6024826 | 4974262 | 3310 3067 | 335 | 0
1475.65/1476.18 c 1474s | 24 | 6031102 | 4979162 | 3310 3070 | 335 | 0
1477.65/1478.19 c 1476s | 24 | 6038304 | 4984462 | 3310 3072 | 335 | 0
1479.75/1480.21 c 1478s | 24 | 6044901 | 4989762 | 3310 3075 | 335 | 0
1481.75/1482.21 c 1480s | 24 | 6050942 | 4994762 | 3310 3078 | 335 | 0
1483.75/1484.26 c 1482s | 24 | 6056392 | 4999762 | 3310 3080 | 335 | 0
1485.75/1486.28 c 1484s | 24 | 6062078 | 5004662 | 3310 3083 | 335 | 0
1487.85/1488.31 c 1486s | 24 | 6068435 | 5009962 | 3310 3086 | 335 | 0
1489.84/1490.31 c 1488s | 24 | 6074487 | 5015062 | 3310 3088 | 335 | 0
1491.84/1492.32 c 1490s | 24 | 6080332 | 5019962 | 3310 3091 | 335 | 0
1493.84/1494.34 c 1492s | 24 | 6086352 | 5025162 | 3310 3093 | 335 | 0
1495.84/1496.37 c 1494s | 24 | 6092589 | 5030462 | 3642 3096 | 335 | 0
1497.85/1498.39 c 1496s | 24 | 6098809 | 5035562 | 3642 3098 | 335 | 0
1499.95/1500.41 c 1498s | 24 | 6104791 | 5040562 | 3642 3101 | 335 | 0
1501.94/1502.42 c 1500s | 24 | 6110127 | 5045562 | 3642 3103 | 335 | 0
1503.94/1504.42 c 1502s | 24 | 6115333 | 5050362 | 3642 3106 | 335 | 0
1505.94/1506.42 c 1504s | 24 | 6120437 | 5054862 | 3642 3108 | 335 | 0
1507.94/1508.43 c 1506s | 24 | 6125861 | 5059662 | 3642 3110 | 335 | 0
1509.94/1510.44 c 1508s | 24 | 6131706 | 5064662 | 3642 3112 | 335 | 0
1510.14/1510.62 c 1508s | 25 | 6132176 | 5065098 | 3642 3113 | 335 | 0
1512.14/1512.64 c 1510s | 25 | 6141460 | 5072898 | 3642 3116 | 335 | 0
1514.13/1514.67 c 1512s | 25 | 6149803 | 5080298 | 3642 3119 | 335 | 0
1516.13/1516.68 c 1514s | 25 | 6161763 | 5088298 | 3642 3123 | 335 | 0
1518.13/1518.69 c 1516s | 25 | 6173023 | 5096198 | 3642 3126 | 335 | 0
1520.23/1520.70 c 1518s | 25 | 6182865 | 5104998 | 3642 3130 | 335 | 0
1522.23/1522.72 c 1520s | 25 | 6192436 | 5113898 | 3642 3134 | 335 | 0
1524.24/1524.75 c 1522s | 25 | 6201295 | 5121398 | 3642 3138 | 335 | 0
1526.23/1526.76 c 1524s | 25 | 6209805 | 5128198 | 3642 3141 | 335 | 0
1528.23/1528.77 c 1526s | 25 | 6218029 | 5134898 | 3642 3144 | 335 | 0
1530.23/1530.78 c 1528s | 25 | 6226359 | 5141998 | 3642 3147 | 335 | 0
1532.33/1532.80 c 1531s | 25 | 6236029 | 5149898 | 3642 3151 | 335 | 0
1534.33/1534.81 c 1533s | 25 | 6244567 | 5157498 | 3642 3154 | 335 | 0
1536.34/1536.81 c 1535s | 25 | 6253076 | 5164898 | 3642 3157 | 335 | 0
1538.33/1538.90 c 1537s | 25 | 6261693 | 5172498 | 3642 3161 | 335 | 0
1540.43/1540.91 c 1539s | 25 | 6270238 | 5179898 | 3642 3164 | 335 | 0
1542.44/1542.94 c 1541s | 25 | 6278389 | 5187198 | 3642 3167 | 335 | 0
1544.44/1544.94 c 1543s | 25 | 6286931 | 5194398 | 3642 3171 | 335 | 0
1546.44/1546.95 c 1545s | 25 | 6295293 | 5201798 | 3642 3174 | 335 | 0
1548.44/1548.95 c 1547s | 25 | 6303440 | 5209098 | 3642 3177 | 335 | 0
1550.44/1550.96 c 1549s | 25 | 6310657 | 5215798 | 3642 3180 | 335 | 0
1552.44/1552.97 c 1551s | 25 | 6318172 | 5222498 | 3642 3183 | 335 | 0
1554.43/1554.98 c 1553s | 25 | 6327812 | 5229898 | 3642 3187 | 335 | 0
1556.43/1556.99 c 1555s | 25 | 6336676 | 5237698 | 3642 3190 | 335 | 0
1558.43/1558.99 c 1557s | 25 | 6343045 | 5243598 | 3642 3193 | 335 | 0
1560.54/1561.02 c 1559s | 25 | 6351797 | 5250998 | 3642 3196 | 335 | 0
1562.53/1563.05 c 1561s | 25 | 6358983 | 5257598 | 3642 3199 | 335 | 0
1564.53/1565.08 c 1563s | 25 | 6368685 | 5265198 | 3642 3202 | 335 | 0
1566.53/1567.09 c 1565s | 25 | 6379134 | 5273098 | 3642 3206 | 335 | 0
1568.63/1569.10 c 1567s | 25 | 6387013 | 5280298 | 3642 3209 | 335 | 0
1570.63/1571.11 c 1569s | 25 | 6394951 | 5287598 | 3642 3212 | 335 | 0
1572.64/1573.12 c 1571s | 25 | 6403481 | 5294898 | 3642 3216 | 335 | 0
1574.63/1575.13 c 1573s | 25 | 6411757 | 5302198 | 3642 3219 | 335 | 0
1576.63/1577.14 c 1575s | 25 | 6422280 | 5309498 | 3642 3222 | 335 | 0
1578.63/1579.17 c 1577s | 25 | 6431104 | 5316698 | 3642 3225 | 335 | 0
1580.63/1581.18 c 1579s | 25 | 6440873 | 5324398 | 3642 3229 | 335 | 0
1582.63/1583.18 c 1581s | 25 | 6449855 | 5331898 | 3642 3232 | 335 | 0
1584.63/1585.20 c 1583s | 25 | 6457212 | 5338598 | 3642 3235 | 335 | 0
1586.72/1587.22 c 1585s | 25 | 6465729 | 5345698 | 3642 3239 | 335 | 0
1588.72/1589.23 c 1587s | 25 | 6474000 | 5352898 | 3642 3242 | 335 | 0
1590.72/1591.23 c 1589s | 25 | 6482098 | 5360098 | 3642 3245 | 335 | 0
1592.72/1593.25 c 1591s | 25 | 6489948 | 5367298 | 3642 3248 | 335 | 0
1594.72/1595.26 c 1593s | 25 | 6498428 | 5375198 | 3642 3252 | 335 | 0
1596.73/1597.28 c 1595s | 25 | 6506546 | 5382298 | 3642 3255 | 335 | 0
1598.72/1599.28 c 1597s | 25 | 6515887 | 5390198 | 3642 3259 | 335 | 0
1600.72/1601.29 c 1599s | 25 | 6525101 | 5397998 | 3642 3262 | 335 | 0
1602.82/1603.31 c 1601s | 25 | 6533614 | 5405298 | 3642 3265 | 335 | 0
1604.82/1605.32 c 1603s | 25 | 6542633 | 5412898 | 3642 3269 | 335 | 0
1606.82/1607.32 c 1605s | 25 | 6550993 | 5420198 | 3642 3272 | 335 | 0
1608.83/1609.34 c 1607s | 25 | 6559694 | 5427298 | 3642 3275 | 335 | 0
1610.82/1611.35 c 1609s | 25 | 6568303 | 5434498 | 3642 3278 | 335 | 0
1612.82/1613.39 c 1611s | 25 | 6576594 | 5441398 | 3642 3282 | 335 | 0
1614.92/1615.42 c 1613s | 25 | 6585368 | 5448998 | 3642 3285 | 335 | 0
1617.02/1617.54 c 1615s | 25 | 6594486 | 5455998 | 3642 3288 | 335 | 0
1619.02/1619.56 c 1617s | 25 | 6603746 | 5463898 | 3642 3292 | 335 | 0
1621.03/1621.56 c 1619s | 25 | 6611492 | 5470798 | 3642 3295 | 335 | 0
1623.03/1623.58 c 1621s | 25 | 6619386 | 5477898 | 3642 3298 | 335 | 0
1625.13/1625.61 c 1623s | 25 | 6627030 | 5484898 | 3642 3301 | 335 | 0
1627.12/1627.61 c 1625s | 25 | 6635301 | 5492098 | 3642 3304 | 335 | 0
1629.12/1629.63 c 1627s | 25 | 6643321 | 5499298 | 3642 3308 | 335 | 0
1631.12/1631.66 c 1629s | 25 | 6652798 | 5506998 | 3642 3311 | 335 | 0
1633.13/1633.67 c 1631s | 25 | 6661559 | 5514698 | 3642 3314 | 335 | 0
1635.12/1635.68 c 1633s | 25 | 6669335 | 5521798 | 3642 3318 | 335 | 0
1637.12/1637.68 c 1635s | 25 | 6676772 | 5528198 | 3642 3320 | 335 | 0
1639.22/1639.70 c 1637s | 25 | 6684377 | 5535198 | 3642 3324 | 335 | 0
1641.22/1641.72 c 1639s | 25 | 6691912 | 5542198 | 3642 3327 | 335 | 0
1643.22/1643.75 c 1641s | 25 | 6699299 | 5548898 | 3642 3330 | 335 | 0
1645.22/1645.76 c 1643s | 25 | 6706507 | 5555698 | 3642 3333 | 335 | 0
1647.22/1647.78 c 1645s | 25 | 6713837 | 5562498 | 3642 3336 | 335 | 0
1649.22/1649.78 c 1647s | 25 | 6720890 | 5569098 | 3642 3339 | 335 | 0
1651.32/1651.80 c 1650s | 25 | 6728750 | 5576298 | 3642 3342 | 335 | 0
1653.31/1653.81 c 1652s | 25 | 6736333 | 5583398 | 3642 3345 | 335 | 0
1655.31/1655.83 c 1654s | 25 | 6743861 | 5590598 | 3642 3349 | 335 | 0
1657.32/1657.86 c 1656s | 25 | 6750782 | 5597198 | 3642 3351 | 335 | 0
1659.31/1659.87 c 1658s | 25 | 6757661 | 5603598 | 3642 3354 | 335 | 0
1661.31/1661.90 c 1660s | 25 | 6764470 | 5610098 | 3642 3357 | 335 | 0
1663.41/1663.91 c 1662s | 25 | 6772121 | 5617198 | 3642 3360 | 335 | 0
1665.41/1665.95 c 1664s | 25 | 6779684 | 5623998 | 3642 3364 | 335 | 0
1667.41/1667.96 c 1666s | 25 | 6788426 | 5631698 | 3642 3367 | 335 | 0
1669.42/1669.99 c 1668s | 25 | 6797303 | 5639598 | 3642 3371 | 335 | 0
1671.52/1672.00 c 1670s | 25 | 6805163 | 5646998 | 3642 3374 | 335 | 0
1673.51/1674.01 c 1672s | 25 | 6813435 | 5654598 | 3642 3377 | 335 | 0
1675.51/1676.02 c 1674s | 25 | 6821535 | 5661998 | 3642 3381 | 335 | 0
1677.51/1678.04 c 1676s | 25 | 6829598 | 5669598 | 3642 3384 | 335 | 0
1679.52/1680.04 c 1678s | 25 | 6838131 | 5676998 | 3642 3387 | 335 | 0
1681.62/1682.19 c 1680s | 25 | 6846720 | 5684498 | 3642 3391 | 335 | 0
1683.62/1684.19 c 1682s | 25 | 6855757 | 5692498 | 3642 3394 | 335 | 0
1685.71/1686.23 c 1684s | 25 | 6864101 | 5699698 | 3642 3398 | 335 | 0
1687.71/1688.24 c 1686s | 25 | 6871397 | 5706498 | 3642 3401 | 335 | 0
1689.71/1690.25 c 1688s | 25 | 6879066 | 5713098 | 3642 3404 | 335 | 0
1691.71/1692.26 c 1690s | 25 | 6887526 | 5720198 | 3642 3407 | 335 | 0
1693.71/1694.27 c 1692s | 25 | 6895793 | 5727498 | 3642 3410 | 335 | 0
1695.71/1696.28 c 1694s | 25 | 6903445 | 5734398 | 3642 3413 | 335 | 0
1697.81/1698.30 c 1696s | 25 | 6911331 | 5741198 | 3642 3416 | 335 | 0
1699.81/1700.31 c 1698s | 25 | 6919136 | 5747998 | 3642 3419 | 335 | 0
1701.81/1702.32 c 1700s | 25 | 6928726 | 5755798 | 3642 3423 | 335 | 0
1703.81/1704.32 c 1702s | 25 | 6936861 | 5762898 | 3642 3426 | 335 | 0
1705.80/1706.34 c 1704s | 25 | 6944094 | 5769698 | 3642 3429 | 335 | 0
1707.81/1708.34 c 1706s | 25 | 6951902 | 5775998 | 3642 3432 | 335 | 0
1709.80/1710.36 c 1708s | 25 | 6960475 | 5783098 | 3642 3435 | 335 | 0
1711.80/1712.38 c 1710s | 25 | 6969952 | 5790398 | 3642 3438 | 335 | 0
1713.80/1714.39 c 1712s | 25 | 6978965 | 5797498 | 3642 3442 | 335 | 0
1715.90/1716.40 c 1714s | 25 | 6987641 | 5804998 | 3642 3445 | 335 | 0
1717.90/1718.42 c 1716s | 25 | 6995636 | 5811998 | 3642 3448 | 335 | 0
1719.91/1720.42 c 1718s | 25 | 7003121 | 5818598 | 3642 3451 | 335 | 0
1721.91/1722.42 c 1720s | 25 | 7010728 | 5825298 | 3642 3454 | 335 | 0
1723.91/1724.43 c 1722s | 25 | 7019146 | 5832498 | 3642 3457 | 335 | 0
1725.91/1726.44 c 1724s | 25 | 7026806 | 5838998 | 3642 3460 | 335 | 0
1727.91/1728.47 c 1726s | 25 | 7037289 | 5846498 | 3642 3464 | 335 | 0
1730.11/1730.62 c 1728s | 25 | 7047206 | 5854098 | 3642 3467 | 335 | 0
1732.11/1732.62 c 1730s | 25 | 7057460 | 5861498 | 3642 3470 | 335 | 0
1734.11/1734.65 c 1732s | 25 | 7066306 | 5868498 | 3642 3473 | 335 | 0
1736.10/1736.67 c 1734s | 25 | 7074981 | 5875598 | 3642 3477 | 335 | 0
1738.10/1738.69 c 1736s | 25 | 7082950 | 5881898 | 3642 3479 | 335 | 0
1740.10/1740.69 c 1738s | 25 | 7091788 | 5888398 | 3642 3482 | 335 | 0
1742.20/1742.70 c 1740s | 25 | 7101902 | 5895698 | 3642 3486 | 335 | 0
1744.21/1744.72 c 1742s | 25 | 7110383 | 5901998 | 3642 3489 | 335 | 0
1746.20/1746.75 c 1744s | 25 | 7118954 | 5908698 | 3642 3492 | 335 | 0
1748.20/1748.77 c 1746s | 25 | 7128707 | 5916298 | 3642 3495 | 335 | 0
1750.30/1750.80 c 1749s | 25 | 7137765 | 5924098 | 3642 3498 | 335 | 0
1752.30/1752.82 c 1751s | 25 | 7149919 | 5932798 | 3642 3502 | 335 | 0
1754.30/1754.84 c 1753s | 25 | 7161886 | 5940498 | 3642 3506 | 335 | 0
1756.31/1756.86 c 1755s | 25 | 7171776 | 5947198 | 3642 3509 | 335 | 0
1758.30/1758.88 c 1757s | 25 | 7182221 | 5954298 | 3642 3512 | 335 | 0
1760.30/1760.89 c 1759s | 25 | 7193878 | 5961398 | 3642 3515 | 335 | 0
1762.40/1762.92 c 1761s | 25 | 7204162 | 5968698 | 3642 3518 | 335 | 0
1764.40/1764.95 c 1763s | 25 | 7215010 | 5975398 | 3642 3522 | 335 | 0
1766.40/1767.00 c 1765s | 25 | 7225151 | 5982098 | 3642 3525 | 335 | 0
1768.50/1769.00 c 1767s | 25 | 7234353 | 5989198 | 3642 3528 | 335 | 0
1770.50/1771.02 c 1769s | 25 | 7243104 | 5996498 | 3642 3531 | 335 | 0
1772.50/1773.04 c 1771s | 25 | 7251344 | 6003498 | 3642 3534 | 335 | 0
1774.49/1775.06 c 1773s | 25 | 7259187 | 6010498 | 3642 3537 | 335 | 0
1776.49/1777.07 c 1775s | 25 | 7267192 | 6017098 | 3642 3540 | 335 | 0
1778.49/1779.07 c 1777s | 25 | 7275345 | 6023398 | 3642 3543 | 335 | 0
1780.59/1781.11 c 1779s | 25 | 7284228 | 6031098 | 3642 3547 | 335 | 0
1782.60/1783.12 c 1781s | 25 | 7292327 | 6038098 | 3642 3550 | 335 | 0
1784.59/1785.13 c 1783s | 25 | 7300430 | 6045098 | 3642 3553 | 335 | 0
1786.59/1787.16 c 1785s | 25 | 7309060 | 6052698 | 3642 3556 | 335 | 0
1788.59/1789.16 c 1787s | 25 | 7317866 | 6059698 | 3642 3559 | 335 | 0
1790.70/1791.21 c 1789s | 25 | 7326472 | 6066798 | 3642 3563 | 335 | 0
1792.70/1793.22 c 1791s | 25 | 7334472 | 6073598 | 3642 3566 | 335 | 0
1794.71/1795.22 c 1793s | 25 | 7342555 | 6080698 | 3642 3569 | 335 | 0
1796.70/1797.24 c 1795s | 25 | 7349940 | 6087398 | 3642 3572 | 335 | 0
1798.70/1799.25 c 1797s | 25 | 7356279 | 6093298 | 3642 3574 | 335 | 0
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-4101097-1466220628/watcher-4101097-1466220628 -o /tmp/evaluation-result-4101097-1466220628/solver-4101097-1466220628 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-596 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101097-1466220628.opb
pid=3198
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.29 2.25 2.19 3/180 3201
/proc/meminfo: memFree=28850296/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 2772 0 0 0 0 0 0 0 20 0 4 0 24109898 760672256 3133 33554432000 4194304 16246674 140733671931408 140733671930832 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 186223 3143 441 2943 0 183117 0
[pid=3201/tid=3202] ppid=3198 vsize=760252 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 778498048 3201 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 782692352 3218 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=768444 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24109898 786886656 3235 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[startup+0.100176 s]
/proc/loadavg: 2.29 2.25 2.19 3/180 3201
/proc/meminfo: memFree=28850296/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 20936 0 0 0 6 3 0 0 20 0 4 0 24109898 1247350784 21286 33554432000 4194304 16246674 140733671931408 140733671930832 5712452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 304529 21288 744 2943 0 301423 0
[pid=3201/tid=3202] ppid=3198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1247350784 21290 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1247350784 21291 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24109898 1247350784 21293 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200537 s]
/proc/loadavg: 2.29 2.25 2.19 3/180 3201
/proc/meminfo: memFree=28850296/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 29318 0 0 0 15 4 0 0 20 0 4 0 24109898 1247350784 29667 33554432000 4194304 16246674 140733671931408 140733671930832 5712452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 304529 29670 744 2943 0 301423 0
[pid=3201/tid=3202] ppid=3198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1247350784 29671 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1247350784 29673 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24109898 1247350784 29674 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300492 s]
/proc/loadavg: 2.29 2.25 2.19 3/180 3201
/proc/meminfo: memFree=28850296/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 38015 0 0 0 23 5 0 0 20 0 4 0 24109898 1247350784 38365 33554432000 4194304 16246674 140733671931408 140733671930832 5662594 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 304529 38371 744 2943 0 301423 0
[pid=3201/tid=3202] ppid=3198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1247350784 38372 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1247350784 38374 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24109898 1247350784 38375 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116
[startup+0.700371 s]
/proc/loadavg: 2.29 2.25 2.19 3/180 3201
/proc/meminfo: memFree=28850296/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 134902 0 0 0 52 17 0 0 20 0 4 0 24109898 1247350784 135251 33554432000 4194304 16246674 140733671931408 140733671930832 12429797 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 304529 135264 787 2943 0 301423 0
[pid=3201/tid=3202] ppid=3198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1247350784 135270 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1247350784 135277 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24109898 1247350784 135284 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50043 s]
/proc/loadavg: 2.29 2.25 2.19 3/184 3205
/proc/meminfo: memFree=27895408/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1225284 CPUtime=1.49 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 247339 0 0 0 117 32 0 0 20 0 4 0 24109898 1254690816 247665 33554432000 4194304 16246674 140733671931408 140733671930720 12429162 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 306321 247665 841 2943 0 303215 0
[pid=3201/tid=3202] ppid=3198 vsize=1225284 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1254690816 247665 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1225284 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1254690816 247665 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1225284 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1254690816 247665 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1225284
[startup+3.10041 s]
/proc/loadavg: 2.29 2.25 2.19 3/184 3205
/proc/meminfo: memFree=27782444/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 267576 0 0 0 274 34 0 0 20 0 4 0 24109898 1337528320 267902 33554432000 4194304 16246674 140733671931408 140733671913280 5600376 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 326545 267902 850 2943 0 323439 0
[pid=3201/tid=3202] ppid=3198 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1337528320 267902 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1337528320 267902 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1337528320 267902 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180
[startup+6.30043 s]
/proc/loadavg: 2.27 2.25 2.19 3/184 3205
/proc/meminfo: memFree=27778516/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 267704 0 0 0 594 35 0 0 20 0 4 0 24109898 1338576896 268030 33554432000 4194304 16246674 140733671931408 140733671913280 12477709 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 326801 268030 850 2943 0 323695 0
[pid=3201/tid=3202] ppid=3198 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1338576896 268030 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1338576896 268030 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1338576896 268030 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204
[startup+12.7004 s]
/proc/loadavg: 2.25 2.25 2.19 3/184 3205
/proc/meminfo: memFree=27776324/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1309252 CPUtime=12.69 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 268195 0 0 0 1234 35 0 0 20 0 4 0 24109898 1340674048 268521 33554432000 4194304 16246674 140733671931408 140733671913280 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 327313 268521 853 2943 0 324207 0
[pid=3201/tid=3202] ppid=3198 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1340674048 268521 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1340674048 268521 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1340674048 268521 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252
[startup+25.5005 s]
/proc/loadavg: 2.33 2.26 2.19 3/184 3205
/proc/meminfo: memFree=27768380/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1315396 CPUtime=25.49 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 269944 0 0 0 2513 36 0 0 20 0 4 0 24109898 1346965504 270270 33554432000 4194304 16246674 140733671931408 140733671913280 6021684 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 328849 270270 853 2943 0 325743 0
[pid=3201/tid=3202] ppid=3198 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1346965504 270270 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1346965504 270270 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1346965504 270270 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1315396
[startup+51.1005 s]
/proc/loadavg: 2.34 2.27 2.20 3/183 3205
/proc/meminfo: memFree=27765632/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1318468 CPUtime=51.08 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 270712 0 0 0 5072 36 0 0 20 0 4 0 24109898 1350111232 271038 33554432000 4194304 16246674 140733671931408 140733671913280 5711496 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 329617 271038 853 2943 0 326511 0
[pid=3201/tid=3202] ppid=3198 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1350111232 271038 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1350111232 271038 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1350111232 271038 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468
[startup+102.301 s]
/proc/loadavg: 2.28 2.26 2.19 3/183 3206
/proc/meminfo: memFree=27761376/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1322564 CPUtime=102.28 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 271736 0 0 0 10191 37 0 0 20 0 4 0 24109898 1354305536 272062 33554432000 4194304 16246674 140733671931408 140733671913280 5599912 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 330641 272062 853 2943 0 327535 0
[pid=3201/tid=3202] ppid=3198 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1354305536 272062 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1354305536 272062 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1354305536 272062 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1322564
################
# More data... #
################
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1331780
[startup+1362.3 s]
/proc/loadavg: 2.19 2.23 2.18 3/183 3285
/proc/meminfo: memFree=27819388/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1331780 CPUtime=1361.86 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 274442 0 0 0 136129 57 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 140733671913280 13760056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 332945 274624 854 2943 0 329839 0
[pid=3201/tid=3202] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1331780
[startup+1422.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/183 3287
/proc/meminfo: memFree=27819692/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1331780 CPUtime=1421.86 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 274442 0 0 0 142129 57 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 140733671913280 5754712 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 332945 274624 854 2943 0 329839 0
[pid=3201/tid=3202] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1331780
[startup+1482.3 s]
/proc/loadavg: 2.26 2.25 2.19 3/183 3288
/proc/meminfo: memFree=27819340/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1331780 CPUtime=1481.85 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 274442 0 0 0 148127 58 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 140733671913280 5711904 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 332945 274624 854 2943 0 329839 0
[pid=3201/tid=3202] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1331780
[startup+1542.31 s]
/proc/loadavg: 2.26 2.24 2.19 4/183 3289
/proc/meminfo: memFree=27819508/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1331780 CPUtime=1541.84 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 274442 0 0 0 154125 59 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 140733671913280 5721540 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 332945 274624 854 2943 0 329839 0
[pid=3201/tid=3202] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1331780
[startup+1602.3 s]
/proc/loadavg: 2.32 2.26 2.19 3/183 3290
/proc/meminfo: memFree=27819376/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1331780 CPUtime=1601.82 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 274442 0 0 0 160123 59 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 140733671913280 5823611 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 332945 274624 854 2943 0 329839 0
[pid=3201/tid=3202] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1331780
[startup+1662.3 s]
/proc/loadavg: 2.18 2.22 2.18 4/183 3291
/proc/meminfo: memFree=27819400/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1331780 CPUtime=1661.81 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 274442 0 0 0 166121 60 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 140733671913280 5827686 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 332945 274624 854 2943 0 329839 0
[pid=3201/tid=3202] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1331780
[startup+1722.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 3293
/proc/meminfo: memFree=27819676/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1331780 CPUtime=1721.81 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 274442 0 0 0 172119 62 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 140733671913280 5673957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 332945 274624 854 2943 0 329839 0
[pid=3201/tid=3202] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1331780
[startup+1782.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/184 3297
/proc/meminfo: memFree=27818936/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1331780 CPUtime=1781.79 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 274442 0 0 0 178117 62 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 140733671913280 5823258 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 332945 274624 854 2943 0 329839 0
[pid=3201/tid=3202] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1331780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.28 2.24 2.19 4/184 3298
/proc/meminfo: memFree=27819048/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1331780 CPUtime=1800 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 274442 0 0 0 179937 63 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 140733671913280 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 332945 274624 854 2943 0 329839 0
[pid=3201/tid=3202] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1331780
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 3201 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.28 2.24 2.19 4/184 3298
/proc/meminfo: memFree=27819048/32872528 swapFree=17888/1798212
[pid=3201] ppid=3198 vsize=1331780 CPUtime=1800 cores=1,3,5,7
/proc/3201/stat : 3201 (toysat) R 3198 3201 579 0 -1 4202496 274442 0 0 0 179937 63 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 140733671913280 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3201/statm: 332945 274624 854 2943 0 329839 0
[pid=3201/tid=3202] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3202/stat : 3202 (toysat) S 3198 3201 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794360282352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3201/tid=3203] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3203/stat : 3203 (toysat) S 3198 3201 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794273250544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3201/tid=3204] ppid=3198 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/3201/task/3204/stat : 3204 (toysat) S 3198 3201 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24109898 1363742720 274624 33554432000 4194304 16246674 140733671931408 139794262777008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1331780
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.38
CPU system time (s): 0.632903
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 1331780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.632903
maximum resident set size= 1098496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274442
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= 413
involuntary context switches= 1834
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.75228 second user time and 6.80797 second system time
The end