0.00/0.00 c 2016-06-18T13:42:44+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-4105545-1466250164.opb"]
0.00/0.01 c use --random-gen="3656072288 2816906222 363750395 2589863429 4050029529 3905173889 1444793140 1994530277 1608487994 3675537364 548507436 3064236960 1093051150 1048868996 976637096 1955163438 2338260940 371921187 3483994338 151582175 304386241 448394424 675107005 1332789014 1153847001 2164429121 44157311 1358048676 1923255949 403047792 1172137913 3331924865 3259049393 204049841 2069846565 3867736542 517024547 3705770457 668292857 239781459 3260957327 283991730 358326416 2156459628 3778970063 1085134568 1997846486 2853347636 4077904488 1680794681 2624809472 2846935431 928538140 2594440480 1975586889 1854743741 1138814234 2667263870 1887831766 352943579 1795952964 4085243309 1019284975 1358450756 3135132998 3353798705 181038862 2671328926 3822756539 197527299 139218301 1435487899 1760821868 2785032074 1366292676 1917503216 243109254 176977195 1068937371 481461578 403614481 3805407739 865211735 1605998831 3774547813 3932624752 3511816106 3675999041 657412520 1458309077 4051520920 1786954565 701520258 2828284195 1035353052 2951458908 2316617691 4028909072 4033658150 450659737 2632499319 2308989147 3737695236 3066426731 4294516409 1556254275 2222581560 3987186073 3173600850 1882399924 4226713895 3492056167 807759595 599846221 217703102 1523238059 1142544298 2233268837 3811582142 3572970563 1880196677 178356769 2836329848 4214417535 3222949041 247100255 3433138936 1250097394 966791899 3186827845 760509273 2656378447 1513487641 743214508 203611396 19556092 125278622 2556909701 2999332396 2394588996 2337074296 740408131 4109918074 549009184 3826676501 4157236171 1294950359 258969609 1013891952 3692469890 4099757584 733455459 1267834204 2500252847 33794977 1457044281 3796021480 2259056259 3745768843 2886286902 919684018 3652400376 2164608780 890765673 278060419 4077856527 157581394 4067546295 2777575903 1371813368 3284438600 55466621 2485075085 2708737124 1133891608 3533291830 550066590 245607243 2450562280 66155058 4292838734 2817114690 1509892455 3967735550 647499379 513354893 1593929287 50100874 3048817462 4094929352 2346326479 3811107964 1427522426 843296906 2232709304 3086102509 1274099231 940297456 2571859562 2551920537 1833583667 2597426757 1926052770 2236618718 4252586588 2828888814 2215933663 4091860780 2674479954 651814155 1808589124 3550810264 2821998769 605350448 790007182 1012027128 2253290707 1002070503 3565458212 2130127649 2891825119 3422853321 454412619 1758373215 2451207061 3770952443 1591078619 235977076 3742094879 3498632765 1962546298 1452852562 1572981844 3838780128 2848445096 104815234 2572906255 3221163110 3720130019 4020755225 2864922557 1545008395 520504416 89092433 2010497117 1237398602 2563740035 3180724545 2024275733 1971296374 600201361 1003020499 238475933 1630907358 3162999135 259090889 255 362436" option to reproduce the execution
0.19/0.29 c #vars 1821
0.19/0.29 c #constraints 4706
0.59/0.63 c BCD2: Hardening is enabled.
0.59/0.63 c BCD2: BiasedSearch is enabled.
0.59/0.63 c Solving starts ...
0.59/0.63 c ============================[ Search Statistics ]============================
0.59/0.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.63 c | | | | Limit GC | Var | Constra
0.59/0.63 c =============================================================================
0.59/0.63 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 0
0.59/0.65 c 0.0s | 0 | 1801 | 0 | 2097 0 | 20 | 6
0.59/0.65 c #cpu_time = 0.024s
0.59/0.65 c #wall_clock_time = 0.024s
0.59/0.65 c #decision = 1801
0.59/0.65 c #random_decision = 10
0.59/0.65 c #conflict = 0
0.59/0.65 c #restart = 0
0.59/0.65 o 1821
0.59/0.66 c BCD2: updating upper bound: 1821 -> 1820
0.59/0.66 c BCD2: 0 <= obj <= 1820
0.59/0.66 c BCD2: #cores=0, #unrelaxed=1821, #relaxed=0, #hardened=0
0.59/0.66 c BCD2: #sat=1 #unsat=1 bias=1/2
0.59/0.66 c Solving starts ...
0.59/0.66 c ============================[ Search Statistics ]============================
0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.66 c | | | | Limit GC | Var | Constra
0.59/0.66 c =============================================================================
0.59/0.66 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 6
0.59/0.68 c 0.0s | 0 | 12 | 0 | 2097 0 | 20 | 6
0.59/0.68 c #cpu_time = 0.018s
0.59/0.68 c #wall_clock_time = 0.018s
0.59/0.68 c #decision = 12
0.59/0.68 c #random_decision = 0
0.59/0.68 c #conflict = 0
0.59/0.68 c #restart = 0
0.59/0.68 c BCD2: found a new core of size 1: cost of the new core is >=1
0.59/0.68 c lower bound updated to 1
0.69/0.71 c BCD2: 1 <= obj <= 1820
0.69/0.71 c BCD2: #cores=1, #unrelaxed=1820, #relaxed=1, #hardened=0
0.69/0.71 c BCD2: #sat=1 #unsat=2 bias=2/3
0.69/0.71 c Solving starts ...
0.69/0.71 c ============================[ Search Statistics ]============================
0.69/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.71 c | | | | Limit GC | Var | Constra
0.69/0.71 c =============================================================================
0.69/0.71 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 6
0.69/0.72 c 0.0s | 0 | 60 | 0 | 2097 0 | 20 | 6
0.69/0.72 c #cpu_time = 0.011s
0.69/0.72 c #wall_clock_time = 0.011s
0.69/0.72 c #decision = 60
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 >=1
0.69/0.72 c lower bound updated to 2
0.69/0.72 c BCD2: 2 <= obj <= 1820
0.69/0.72 c BCD2: #cores=2, #unrelaxed=1819, #relaxed=2, #hardened=0
0.69/0.72 c BCD2: #sat=1 #unsat=3 bias=3/4
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 | 2097 0 | 20 | 6
0.69/0.74 c 0.0s | 0 | 62 | 0 | 2097 0 | 20 | 6
0.69/0.74 c #cpu_time = 0.011s
0.69/0.74 c #wall_clock_time = 0.011s
0.69/0.74 c #decision = 62
0.69/0.74 c #random_decision = 0
0.69/0.74 c #conflict = 0
0.69/0.74 c #restart = 0
0.69/0.74 c BCD2: found a new core of size 1: cost of the new core is >=1
0.69/0.74 c lower bound updated to 3
0.69/0.74 c BCD2: 3 <= obj <= 1820
0.69/0.74 c BCD2: #cores=3, #unrelaxed=1818, #relaxed=3, #hardened=0
0.69/0.74 c BCD2: #sat=1 #unsat=4 bias=4/5
0.69/0.74 c Solving starts ...
0.69/0.74 c ============================[ Search Statistics ]============================
0.69/0.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.74 c | | | | Limit GC | Var | Constra
0.69/0.74 c =============================================================================
0.69/0.74 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 6
0.69/0.75 c 0.0s | 0 | 67 | 0 | 2097 0 | 20 | 6
0.69/0.75 c #cpu_time = 0.011s
0.69/0.75 c #wall_clock_time = 0.011s
0.69/0.75 c #decision = 67
0.69/0.75 c #random_decision = 0
0.69/0.75 c #conflict = 0
0.69/0.75 c #restart = 0
0.69/0.75 c BCD2: found a new core of size 1: cost of the new core is >=1
0.69/0.75 c lower bound updated to 4
0.69/0.75 c BCD2: 4 <= obj <= 1820
0.69/0.75 c BCD2: #cores=4, #unrelaxed=1817, #relaxed=4, #hardened=0
0.69/0.75 c BCD2: #sat=1 #unsat=5 bias=5/6
0.69/0.75 c Solving starts ...
0.69/0.75 c ============================[ Search Statistics ]============================
0.69/0.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.75 c | | | | Limit GC | Var | Constra
0.69/0.75 c =============================================================================
0.69/0.75 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 6
0.69/0.76 c 0.0s | 0 | 108 | 0 | 2097 0 | 20 | 6
0.69/0.76 c #cpu_time = 0.011s
0.69/0.76 c #wall_clock_time = 0.011s
0.69/0.76 c #decision = 108
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 >=1
0.69/0.76 c lower bound updated to 5
0.69/0.76 c BCD2: 5 <= obj <= 1820
0.69/0.76 c BCD2: #cores=5, #unrelaxed=1816, #relaxed=5, #hardened=0
0.69/0.76 c BCD2: #sat=1 #unsat=6 bias=6/7
0.69/0.76 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 | 2097 0 | 20 | 6
0.69/0.77 c 0.0s | 0 | 116 | 0 | 2097 0 | 20 | 6
0.69/0.77 c #cpu_time = 0.011s
0.69/0.77 c #wall_clock_time = 0.011s
0.69/0.77 c #decision = 116
0.69/0.77 c #random_decision = 0
0.69/0.77 c #conflict = 0
0.69/0.77 c #restart = 0
0.69/0.77 c BCD2: found a new core of size 1: cost of the new core is >=1
0.69/0.77 c lower bound updated to 6
0.69/0.77 c BCD2: 6 <= obj <= 1820
0.69/0.77 c BCD2: #cores=6, #unrelaxed=1815, #relaxed=6, #hardened=0
0.69/0.77 c BCD2: #sat=1 #unsat=7 bias=7/8
0.69/0.77 c Solving starts ...
0.69/0.77 c ============================[ Search Statistics ]============================
0.69/0.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.77 c | | | | Limit GC | Var | Constra
0.69/0.77 c =============================================================================
0.69/0.77 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 6
0.69/0.78 c 0.0s | 0 | 130 | 0 | 2097 0 | 20 | 6
0.69/0.78 c #cpu_time = 0.011s
0.69/0.78 c #wall_clock_time = 0.011s
0.69/0.78 c #decision = 130
0.69/0.78 c #random_decision = 0
0.69/0.78 c #conflict = 0
0.69/0.78 c #restart = 0
0.69/0.78 c BCD2: found a new core of size 1: cost of the new core is >=1
0.69/0.78 c lower bound updated to 7
0.69/0.78 c BCD2: 7 <= obj <= 1820
0.69/0.78 c BCD2: #cores=7, #unrelaxed=1814, #relaxed=7, #hardened=0
0.69/0.78 c BCD2: #sat=1 #unsat=8 bias=8/9
0.69/0.78 c Solving starts ...
0.69/0.78 c ============================[ Search Statistics ]============================
0.69/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.78 c | | | | Limit GC | Var | Constra
0.69/0.78 c =============================================================================
0.69/0.78 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 6
0.69/0.80 c 0.0s | 0 | 140 | 0 | 2097 0 | 20 | 6
0.69/0.80 c #cpu_time = 0.011s
0.69/0.80 c #wall_clock_time = 0.011s
0.69/0.80 c #decision = 140
0.69/0.80 c #random_decision = 0
0.69/0.80 c #conflict = 0
0.69/0.80 c #restart = 0
0.69/0.80 c BCD2: found a new core of size 7: cost of the new core is >=1
0.69/0.80 c lower bound updated to 8
0.79/0.81 c BCD2: 8 <= obj <= 1820
0.79/0.81 c BCD2: #cores=8, #unrelaxed=1807, #relaxed=14, #hardened=0
0.79/0.81 c BCD2: #sat=1 #unsat=9 bias=9/10
0.79/0.81 c Solving starts ...
0.79/0.81 c ============================[ Search Statistics ]============================
0.79/0.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.81 c | | | | Limit GC | Var | Constra
0.79/0.81 c =============================================================================
0.79/0.81 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 7
0.79/0.82 c 0.0s | 0 | 152 | 0 | 2097 0 | 20 | 7
0.79/0.82 c #cpu_time = 0.010s
0.79/0.82 c #wall_clock_time = 0.010s
0.79/0.82 c #decision = 152
0.79/0.82 c #random_decision = 0
0.79/0.82 c #conflict = 0
0.79/0.82 c #restart = 0
0.79/0.82 c BCD2: found a new core of size 1: cost of the new core is >=1
0.79/0.82 c lower bound updated to 9
0.79/0.82 c BCD2: 9 <= obj <= 1820
0.79/0.82 c BCD2: #cores=9, #unrelaxed=1806, #relaxed=15, #hardened=0
0.79/0.82 c BCD2: #sat=1 #unsat=10 bias=10/11
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 | 2097 0 | 20 | 7
0.79/0.84 c 0.0s | 0 | 154 | 0 | 2097 0 | 20 | 7
0.79/0.84 c #cpu_time = 0.011s
0.79/0.84 c #wall_clock_time = 0.011s
0.79/0.84 c #decision = 154
0.79/0.84 c #random_decision = 0
0.79/0.84 c #conflict = 0
0.79/0.84 c #restart = 0
0.79/0.84 c BCD2: found a new core of size 1: cost of the new core is >=1
0.79/0.84 c lower bound updated to 10
0.79/0.84 c BCD2: 10 <= obj <= 1820
0.79/0.84 c BCD2: #cores=10, #unrelaxed=1805, #relaxed=16, #hardened=0
0.79/0.84 c BCD2: #sat=1 #unsat=11 bias=11/12
0.79/0.84 c Solving starts ...
0.79/0.84 c ============================[ Search Statistics ]============================
0.79/0.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.84 c | | | | Limit GC | Var | Constra
0.79/0.84 c =============================================================================
0.79/0.84 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 7
0.79/0.85 c 0.0s | 0 | 271 | 0 | 2097 0 | 20 | 7
0.79/0.85 c #cpu_time = 0.010s
0.79/0.85 c #wall_clock_time = 0.010s
0.79/0.85 c #decision = 271
0.79/0.85 c #random_decision = 0
0.79/0.85 c #conflict = 0
0.79/0.85 c #restart = 0
0.79/0.85 c BCD2: found a new core of size 1: cost of the new core is >=1
0.79/0.85 c lower bound updated to 11
0.79/0.85 c BCD2: 11 <= obj <= 1820
0.79/0.85 c BCD2: #cores=11, #unrelaxed=1804, #relaxed=17, #hardened=0
0.79/0.85 c BCD2: #sat=1 #unsat=12 bias=12/13
0.79/0.85 c Solving starts ...
0.79/0.85 c ============================[ Search Statistics ]============================
0.79/0.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.85 c | | | | Limit GC | Var | Constra
0.79/0.85 c =============================================================================
0.79/0.85 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 7
0.79/0.86 c 0.0s | 0 | 272 | 0 | 2097 0 | 20 | 7
0.79/0.86 c #cpu_time = 0.010s
0.79/0.86 c #wall_clock_time = 0.010s
0.79/0.86 c #decision = 272
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 1: cost of the new core is >=1
0.79/0.86 c lower bound updated to 12
0.79/0.86 c BCD2: 12 <= obj <= 1820
0.79/0.86 c BCD2: #cores=12, #unrelaxed=1803, #relaxed=18, #hardened=0
0.79/0.86 c BCD2: #sat=1 #unsat=13 bias=13/14
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 | 2097 0 | 20 | 7
0.79/0.87 c 0.0s | 0 | 273 | 0 | 2097 0 | 20 | 7
0.79/0.87 c #cpu_time = 0.010s
0.79/0.87 c #wall_clock_time = 0.010s
0.79/0.87 c #decision = 273
0.79/0.87 c #random_decision = 0
0.79/0.87 c #conflict = 0
0.79/0.87 c #restart = 0
0.79/0.87 c BCD2: found a new core of size 1: cost of the new core is >=1
0.79/0.87 c lower bound updated to 13
0.79/0.87 c BCD2: 13 <= obj <= 1820
0.79/0.87 c BCD2: #cores=13, #unrelaxed=1802, #relaxed=19, #hardened=0
0.79/0.87 c BCD2: #sat=1 #unsat=14 bias=14/15
0.79/0.87 c Solving starts ...
0.79/0.87 c ============================[ Search Statistics ]============================
0.79/0.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.87 c | | | | Limit GC | Var | Constra
0.79/0.87 c =============================================================================
0.79/0.87 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 7
0.79/0.88 c 0.0s | 0 | 309 | 0 | 2097 0 | 20 | 7
0.79/0.88 c #cpu_time = 0.010s
0.79/0.88 c #wall_clock_time = 0.010s
0.79/0.88 c #decision = 309
0.79/0.88 c #random_decision = 0
0.79/0.88 c #conflict = 0
0.79/0.88 c #restart = 0
0.79/0.88 c BCD2: found a new core of size 14: cost of the new core is >=1
0.79/0.88 c lower bound updated to 14
0.79/0.88 c BCD2: 14 <= obj <= 1820
0.79/0.88 c BCD2: #cores=14, #unrelaxed=1788, #relaxed=33, #hardened=0
0.79/0.88 c BCD2: #sat=1 #unsat=15 bias=15/16
0.79/0.88 c Solving starts ...
0.79/0.88 c ============================[ Search Statistics ]============================
0.79/0.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.88 c | | | | Limit GC | Var | Constra
0.79/0.88 c =============================================================================
0.79/0.88 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 7
0.79/0.89 c 0.0s | 0 | 301 | 0 | 2097 0 | 20 | 7
0.79/0.89 c #cpu_time = 0.010s
0.79/0.89 c #wall_clock_time = 0.010s
0.79/0.89 c #decision = 301
0.79/0.89 c #random_decision = 0
0.79/0.89 c #conflict = 0
0.79/0.89 c #restart = 0
0.79/0.89 c BCD2: found a new core of size 1: cost of the new core is >=1
0.79/0.89 c lower bound updated to 15
0.79/0.89 c BCD2: 15 <= obj <= 1820
0.79/0.89 c BCD2: #cores=15, #unrelaxed=1787, #relaxed=34, #hardened=0
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.89/0.91 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 7
0.89/0.92 c 0.0s | 0 | 334 | 0 | 2097 0 | 20 | 7
0.89/0.92 c #cpu_time = 0.011s
0.89/0.92 c #wall_clock_time = 0.011s
0.89/0.92 c #decision = 334
0.89/0.92 c #random_decision = 0
0.89/0.92 c #conflict = 0
0.89/0.92 c #restart = 0
0.89/0.92 c BCD2: found a new core of size 1: cost of the new core is >=1
0.89/0.92 c lower bound updated to 16
0.89/0.92 c BCD2: 16 <= obj <= 1820
0.89/0.92 c BCD2: #cores=16, #unrelaxed=1786, #relaxed=35, #hardened=0
0.89/0.92 c BCD2: #sat=1 #unsat=17 bias=17/18
0.89/0.92 c Solving starts ...
0.89/0.92 c ============================[ Search Statistics ]============================
0.89/0.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.92 c | | | | Limit GC | Var | Constra
0.89/0.92 c =============================================================================
0.89/0.92 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 7
0.89/0.93 c 0.0s | 0 | 340 | 0 | 2097 0 | 20 | 7
0.89/0.93 c #cpu_time = 0.012s
0.89/0.93 c #wall_clock_time = 0.012s
0.89/0.93 c #decision = 340
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 >=1
0.89/0.93 c lower bound updated to 17
0.89/0.93 c BCD2: 17 <= obj <= 1820
0.89/0.93 c BCD2: #cores=17, #unrelaxed=1785, #relaxed=36, #hardened=0
0.89/0.93 c BCD2: #sat=1 #unsat=18 bias=18/19
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 | 2097 0 | 20 | 7
0.89/0.95 c 0.0s | 0 | 468 | 0 | 2097 0 | 20 | 7
0.89/0.95 c #cpu_time = 0.011s
0.89/0.95 c #wall_clock_time = 0.011s
0.89/0.95 c #decision = 468
0.89/0.95 c #random_decision = 0
0.89/0.95 c #conflict = 0
0.89/0.95 c #restart = 0
0.89/0.95 c BCD2: found a new core of size 4: cost of the new core is >=1
0.89/0.95 c lower bound updated to 18
0.89/0.95 c BCD2: 18 <= obj <= 1820
0.89/0.95 c BCD2: #cores=18, #unrelaxed=1781, #relaxed=40, #hardened=0
0.89/0.95 c BCD2: #sat=1 #unsat=19 bias=19/20
0.89/0.95 c Solving starts ...
0.89/0.95 c ============================[ Search Statistics ]============================
0.89/0.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.95 c | | | | Limit GC | Var | Constra
0.89/0.95 c =============================================================================
0.89/0.95 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 8
0.89/0.96 c 0.0s | 0 | 529 | 0 | 2097 0 | 20 | 8
0.89/0.96 c #cpu_time = 0.011s
0.89/0.96 c #wall_clock_time = 0.011s
0.89/0.96 c #decision = 529
0.89/0.96 c #random_decision = 0
0.89/0.96 c #conflict = 0
0.89/0.96 c #restart = 0
0.89/0.96 c BCD2: found a new core of size 4: cost of the new core is >=1
0.89/0.96 c lower bound updated to 19
0.89/0.96 c BCD2: 19 <= obj <= 1820
0.89/0.96 c BCD2: #cores=19, #unrelaxed=1777, #relaxed=44, #hardened=0
0.89/0.96 c BCD2: #sat=1 #unsat=20 bias=20/21
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 | 2097 0 | 20 | 12
0.89/0.97 c 0.0s | 0 | 540 | 0 | 2097 0 | 20 | 12
0.89/0.97 c #cpu_time = 0.011s
0.89/0.97 c #wall_clock_time = 0.011s
0.89/0.97 c #decision = 540
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 4: cost of the new core is >=1
0.89/0.97 c lower bound updated to 20
0.89/0.97 c BCD2: 20 <= obj <= 1820
0.89/0.97 c BCD2: #cores=20, #unrelaxed=1773, #relaxed=48, #hardened=0
0.89/0.97 c BCD2: #sat=1 #unsat=21 bias=21/22
0.89/0.97 c Solving starts ...
0.89/0.97 c ============================[ Search Statistics ]============================
0.89/0.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.97 c | | | | Limit GC | Var | Constra
0.89/0.97 c =============================================================================
0.89/0.97 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 14
0.89/0.98 c 0.0s | 0 | 540 | 0 | 2097 0 | 20 | 14
0.89/0.98 c #cpu_time = 0.011s
0.89/0.98 c #wall_clock_time = 0.011s
0.89/0.98 c #decision = 540
0.89/0.98 c #random_decision = 0
0.89/0.98 c #conflict = 0
0.89/0.98 c #restart = 0
0.89/0.98 c BCD2: found a new core of size 1: cost of the new core is >=1
0.89/0.98 c lower bound updated to 21
0.89/0.98 c BCD2: 21 <= obj <= 1820
0.89/0.98 c BCD2: #cores=21, #unrelaxed=1772, #relaxed=49, #hardened=0
0.89/0.98 c BCD2: #sat=1 #unsat=22 bias=22/23
0.89/0.98 c Solving starts ...
0.89/0.98 c ============================[ Search Statistics ]============================
0.89/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.98 c | | | | Limit GC | Var | Constra
0.89/0.98 c =============================================================================
0.89/0.98 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 14
0.89/0.99 c 0.0s | 0 | 603 | 0 | 2097 0 | 20 | 14
0.89/0.99 c #cpu_time = 0.011s
0.89/0.99 c #wall_clock_time = 0.011s
0.89/0.99 c #decision = 603
0.89/0.99 c #random_decision = 0
0.89/0.99 c #conflict = 0
0.89/0.99 c #restart = 0
0.89/0.99 c BCD2: found a new core of size 1: cost of the new core is >=1
0.89/0.99 c lower bound updated to 22
0.89/1.00 c BCD2: 22 <= obj <= 1820
0.89/1.00 c BCD2: #cores=22, #unrelaxed=1771, #relaxed=50, #hardened=0
0.89/1.00 c BCD2: #sat=1 #unsat=23 bias=23/24
0.89/1.00 c Solving starts ...
0.89/1.00 c ============================[ Search Statistics ]============================
0.89/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/1.00 c | | | | Limit GC | Var | Constra
0.89/1.00 c =============================================================================
0.99/1.00 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 14
0.99/1.01 c 0.0s | 0 | 640 | 0 | 2097 0 | 20 | 14
0.99/1.01 c #cpu_time = 0.011s
0.99/1.01 c #wall_clock_time = 0.011s
0.99/1.01 c #decision = 640
0.99/1.01 c #random_decision = 0
0.99/1.01 c #conflict = 0
0.99/1.01 c #restart = 0
0.99/1.01 c BCD2: found a new core of size 4: cost of the new core is >=1
0.99/1.01 c lower bound updated to 23
0.99/1.01 c BCD2: 23 <= obj <= 1820
0.99/1.01 c BCD2: #cores=23, #unrelaxed=1767, #relaxed=54, #hardened=0
0.99/1.01 c BCD2: #sat=1 #unsat=24 bias=24/25
0.99/1.01 c Solving starts ...
0.99/1.01 c ============================[ Search Statistics ]============================
0.99/1.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.01 c | | | | Limit GC | Var | Constra
0.99/1.01 c =============================================================================
0.99/1.01 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 16
0.99/1.02 c 0.0s | 0 | 727 | 0 | 2097 0 | 20 | 16
0.99/1.02 c #cpu_time = 0.011s
0.99/1.02 c #wall_clock_time = 0.011s
0.99/1.02 c #decision = 727
0.99/1.02 c #random_decision = 0
0.99/1.02 c #conflict = 0
0.99/1.02 c #restart = 0
0.99/1.02 c BCD2: found a new core of size 8: cost of the new core is >=1
0.99/1.02 c lower bound updated to 24
0.99/1.02 c BCD2: 24 <= obj <= 1820
0.99/1.02 c BCD2: #cores=24, #unrelaxed=1759, #relaxed=62, #hardened=0
0.99/1.02 c BCD2: #sat=1 #unsat=25 bias=25/26
0.99/1.02 c Solving starts ...
0.99/1.02 c ============================[ Search Statistics ]============================
0.99/1.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.02 c | | | | Limit GC | Var | Constra
0.99/1.02 c =============================================================================
0.99/1.02 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 18
0.99/1.03 c 0.0s | 0 | 729 | 0 | 2097 0 | 20 | 18
0.99/1.03 c #cpu_time = 0.011s
0.99/1.03 c #wall_clock_time = 0.011s
0.99/1.03 c #decision = 729
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 3: cost of the new core is >=1
0.99/1.03 c lower bound updated to 25
0.99/1.03 c BCD2: 25 <= obj <= 1820
0.99/1.03 c BCD2: #cores=25, #unrelaxed=1756, #relaxed=65, #hardened=0
0.99/1.03 c BCD2: #sat=1 #unsat=26 bias=26/27
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 | 2097 0 | 20 | 20
0.99/1.05 c 0.0s | 0 | 848 | 1 | 2097 0 | 20 | 20
0.99/1.05 c #cpu_time = 0.011s
0.99/1.05 c #wall_clock_time = 0.011s
0.99/1.05 c #decision = 848
0.99/1.05 c #random_decision = 0
0.99/1.05 c #conflict = 1
0.99/1.05 c #restart = 0
0.99/1.05 c BCD2: found a new core of size 34: cost of the new core is >=1
0.99/1.05 c lower bound updated to 26
0.99/1.05 c BCD2: 26 <= obj <= 1820
0.99/1.05 c BCD2: #cores=26, #unrelaxed=1722, #relaxed=99, #hardened=0
0.99/1.05 c BCD2: #sat=1 #unsat=27 bias=27/28
0.99/1.05 c Solving starts ...
0.99/1.05 c ============================[ Search Statistics ]============================
0.99/1.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.05 c | | | | Limit GC | Var | Constra
0.99/1.05 c =============================================================================
0.99/1.05 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 20
0.99/1.06 c 0.0s | 0 | 790 | 0 | 2097 0 | 20 | 20
0.99/1.06 c #cpu_time = 0.011s
0.99/1.06 c #wall_clock_time = 0.011s
0.99/1.06 c #decision = 790
0.99/1.06 c #random_decision = 0
0.99/1.06 c #conflict = 0
0.99/1.06 c #restart = 0
0.99/1.06 c BCD2: found a new core of size 3: cost of the new core is >=1
0.99/1.06 c lower bound updated to 27
0.99/1.06 c BCD2: 27 <= obj <= 1820
0.99/1.06 c BCD2: #cores=27, #unrelaxed=1719, #relaxed=102, #hardened=0
0.99/1.06 c BCD2: #sat=1 #unsat=28 bias=28/29
0.99/1.06 c Solving starts ...
0.99/1.06 c ============================[ Search Statistics ]============================
0.99/1.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.06 c | | | | Limit GC | Var | Constra
0.99/1.06 c =============================================================================
0.99/1.06 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 22
0.99/1.07 c 0.0s | 0 | 790 | 0 | 2097 0 | 20 | 22
0.99/1.07 c #cpu_time = 0.011s
0.99/1.07 c #wall_clock_time = 0.011s
0.99/1.07 c #decision = 790
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 5: cost of the new core is >=1
0.99/1.07 c lower bound updated to 28
0.99/1.07 c BCD2: 28 <= obj <= 1820
0.99/1.07 c BCD2: #cores=28, #unrelaxed=1714, #relaxed=107, #hardened=0
0.99/1.07 c BCD2: #sat=1 #unsat=29 bias=29/30
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 | 2097 0 | 20 | 24
0.99/1.08 c 0.0s | 0 | 825 | 0 | 2097 0 | 20 | 24
0.99/1.08 c #cpu_time = 0.011s
0.99/1.08 c #wall_clock_time = 0.011s
0.99/1.08 c #decision = 825
0.99/1.08 c #random_decision = 0
0.99/1.08 c #conflict = 0
0.99/1.08 c #restart = 0
0.99/1.08 c BCD2: found a new core of size 7: cost of the new core is >=1
0.99/1.08 c lower bound updated to 29
0.99/1.08 c BCD2: 29 <= obj <= 1820
0.99/1.08 c BCD2: #cores=29, #unrelaxed=1707, #relaxed=114, #hardened=0
0.99/1.08 c BCD2: #sat=1 #unsat=30 bias=30/31
0.99/1.08 c Solving starts ...
0.99/1.08 c ============================[ Search Statistics ]============================
0.99/1.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.08 c | | | | Limit GC | Var | Constra
0.99/1.08 c =============================================================================
0.99/1.09 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 25
0.99/1.10 c 0.0s | 0 | 932 | 0 | 2097 0 | 20 | 25
0.99/1.10 c #cpu_time = 0.011s
0.99/1.10 c #wall_clock_time = 0.011s
0.99/1.10 c #decision = 932
0.99/1.10 c #random_decision = 0
0.99/1.10 c #conflict = 0
0.99/1.10 c #restart = 0
0.99/1.10 c BCD2: found a new core of size 1: cost of the new core is >=1
0.99/1.10 c lower bound updated to 30
0.99/1.10 c BCD2: 30 <= obj <= 1820
0.99/1.10 c BCD2: #cores=30, #unrelaxed=1706, #relaxed=115, #hardened=0
0.99/1.10 c BCD2: #sat=1 #unsat=31 bias=31/32
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 | 2097 0 | 20 | 25
1.09/1.11 c 0.0s | 0 | 1039 | 0 | 2097 0 | 20 | 25
1.09/1.11 c #cpu_time = 0.011s
1.09/1.11 c #wall_clock_time = 0.011s
1.09/1.11 c #decision = 1039
1.09/1.11 c #random_decision = 0
1.09/1.11 c #conflict = 0
1.09/1.11 c #restart = 0
1.09/1.11 c BCD2: found a new core of size 19: cost of the new core is >=1
1.09/1.11 c lower bound updated to 31
1.09/1.11 c BCD2: 31 <= obj <= 1820
1.09/1.11 c BCD2: #cores=31, #unrelaxed=1687, #relaxed=134, #hardened=0
1.09/1.11 c BCD2: #sat=1 #unsat=32 bias=32/33
1.09/1.11 c Solving starts ...
1.09/1.11 c ============================[ Search Statistics ]============================
1.09/1.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.11 c | | | | Limit GC | Var | Constra
1.09/1.11 c =============================================================================
1.09/1.11 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 27
1.09/1.12 c 0.0s | 0 | 1027 | 0 | 2097 0 | 20 | 27
1.09/1.12 c #cpu_time = 0.012s
1.09/1.12 c #wall_clock_time = 0.012s
1.09/1.12 c #decision = 1027
1.09/1.12 c #random_decision = 0
1.09/1.12 c #conflict = 0
1.09/1.12 c #restart = 0
1.09/1.12 c BCD2: found a new core of size 2: cost of the new core is >=1
1.09/1.12 c lower bound updated to 32
1.09/1.12 c BCD2: 32 <= obj <= 1820
1.09/1.12 c BCD2: #cores=32, #unrelaxed=1685, #relaxed=136, #hardened=0
1.09/1.12 c BCD2: #sat=1 #unsat=33 bias=33/34
1.09/1.12 c Solving starts ...
1.09/1.12 c ============================[ Search Statistics ]============================
1.09/1.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.12 c | | | | Limit GC | Var | Constra
1.09/1.12 c =============================================================================
1.09/1.12 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 69
1.09/1.14 c 0.0s | 0 | 1135 | 0 | 2097 0 | 20 | 69
1.09/1.14 c #cpu_time = 0.011s
1.09/1.14 c #wall_clock_time = 0.011s
1.09/1.14 c #decision = 1135
1.09/1.14 c #random_decision = 0
1.09/1.14 c #conflict = 0
1.09/1.14 c #restart = 0
1.09/1.14 c BCD2: found a new core of size 1: cost of the new core is >=1
1.09/1.14 c lower bound updated to 33
1.09/1.14 c BCD2: 33 <= obj <= 1820
1.09/1.14 c BCD2: #cores=33, #unrelaxed=1684, #relaxed=137, #hardened=0
1.09/1.14 c BCD2: #sat=1 #unsat=34 bias=34/35
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 | 2097 0 | 20 | 69
1.09/1.15 c 0.0s | 0 | 1168 | 0 | 2097 0 | 20 | 69
1.09/1.15 c #cpu_time = 0.011s
1.09/1.15 c #wall_clock_time = 0.011s
1.09/1.15 c #decision = 1168
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 >=1
1.09/1.15 c lower bound updated to 34
1.09/1.15 c BCD2: 34 <= obj <= 1820
1.09/1.15 c BCD2: #cores=34, #unrelaxed=1683, #relaxed=138, #hardened=0
1.09/1.15 c BCD2: #sat=1 #unsat=35 bias=35/36
1.09/1.15 c Solving starts ...
1.09/1.15 c ============================[ Search Statistics ]============================
1.09/1.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.15 c | | | | Limit GC | Var | Constra
1.09/1.15 c =============================================================================
1.09/1.15 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 69
1.09/1.16 c 0.0s | 0 | 1210 | 0 | 2097 0 | 20 | 69
1.09/1.16 c #cpu_time = 0.011s
1.09/1.16 c #wall_clock_time = 0.011s
1.09/1.16 c #decision = 1210
1.09/1.16 c #random_decision = 0
1.09/1.16 c #conflict = 0
1.09/1.16 c #restart = 0
1.09/1.16 c BCD2: found a new core of size 6: cost of the new core is >=1
1.09/1.16 c lower bound updated to 35
1.09/1.16 c BCD2: 35 <= obj <= 1820
1.09/1.16 c BCD2: #cores=35, #unrelaxed=1677, #relaxed=144, #hardened=0
1.09/1.16 c BCD2: #sat=1 #unsat=36 bias=36/37
1.09/1.16 c Solving starts ...
1.09/1.16 c ============================[ Search Statistics ]============================
1.09/1.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.16 c | | | | Limit GC | Var | Constra
1.09/1.16 c =============================================================================
1.09/1.16 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 123
1.09/1.18 c 0.0s | 0 | 1854 | 1 | 2097 0 | 20 | 123
1.09/1.18 c #cpu_time = 0.012s
1.09/1.18 c #wall_clock_time = 0.012s
1.09/1.18 c #decision = 1854
1.09/1.18 c #random_decision = 0
1.09/1.18 c #conflict = 1
1.09/1.18 c #restart = 0
1.09/1.18 c BCD2: found a new core of size 11: cost of the new core is >=1
1.09/1.18 c lower bound updated to 36
1.09/1.18 c BCD2: 36 <= obj <= 1820
1.09/1.18 c BCD2: #cores=36, #unrelaxed=1666, #relaxed=155, #hardened=0
1.09/1.18 c BCD2: #sat=1 #unsat=37 bias=37/38
1.09/1.18 c Solving starts ...
1.09/1.18 c ============================[ Search Statistics ]============================
1.09/1.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.18 c | | | | Limit GC | Var | Constra
1.09/1.18 c =============================================================================
1.09/1.18 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 123
1.09/1.19 c 0.0s | 0 | 1371 | 0 | 2097 0 | 20 | 123
1.09/1.19 c #cpu_time = 0.012s
1.09/1.19 c #wall_clock_time = 0.012s
1.09/1.19 c #decision = 1371
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 39: cost of the new core is >=1
1.09/1.19 c lower bound updated to 37
1.09/1.19 c BCD2: 37 <= obj <= 1820
1.09/1.19 c BCD2: #cores=37, #unrelaxed=1627, #relaxed=194, #hardened=0
1.09/1.19 c BCD2: #sat=1 #unsat=38 bias=38/39
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 | 2097 0 | 20 | 125
1.09/1.20 c 0.0s | 0 | 1345 | 0 | 2097 0 | 20 | 125
1.09/1.20 c #cpu_time = 0.011s
1.09/1.20 c #wall_clock_time = 0.011s
1.09/1.20 c #decision = 1345
1.09/1.20 c #random_decision = 0
1.09/1.20 c #conflict = 0
1.09/1.20 c #restart = 0
1.09/1.20 c BCD2: found a new core of size 28: cost of the new core is >=1
1.09/1.20 c lower bound updated to 38
1.19/1.20 c BCD2: 38 <= obj <= 1820
1.19/1.20 c BCD2: #cores=38, #unrelaxed=1599, #relaxed=222, #hardened=0
1.19/1.20 c BCD2: #sat=1 #unsat=39 bias=39/40
1.19/1.20 c Solving starts ...
1.19/1.20 c ============================[ Search Statistics ]============================
1.19/1.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.20 c | | | | Limit GC | Var | Constra
1.19/1.20 c =============================================================================
1.19/1.20 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 126
1.19/1.22 c 0.0s | 0 | 1332 | 0 | 2097 0 | 20 | 126
1.19/1.22 c #cpu_time = 0.012s
1.19/1.22 c #wall_clock_time = 0.012s
1.19/1.22 c #decision = 1332
1.19/1.22 c #random_decision = 0
1.19/1.22 c #conflict = 0
1.19/1.22 c #restart = 0
1.19/1.22 c BCD2: found a new core of size 18: cost of the new core is >=1
1.19/1.22 c lower bound updated to 39
1.19/1.22 c BCD2: 39 <= obj <= 1820
1.19/1.22 c BCD2: #cores=39, #unrelaxed=1581, #relaxed=240, #hardened=0
1.19/1.22 c BCD2: #sat=1 #unsat=40 bias=40/41
1.19/1.22 c Solving starts ...
1.19/1.22 c ============================[ Search Statistics ]============================
1.19/1.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.22 c | | | | Limit GC | Var | Constra
1.19/1.22 c =============================================================================
1.19/1.22 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 128
1.19/1.23 c 0.0s | 0 | 1318 | 0 | 2097 0 | 20 | 128
1.19/1.23 c #cpu_time = 0.011s
1.19/1.23 c #wall_clock_time = 0.011s
1.19/1.23 c #decision = 1318
1.19/1.23 c #random_decision = 0
1.19/1.23 c #conflict = 0
1.19/1.23 c #restart = 0
1.19/1.23 c BCD2: found a new core of size 38: cost of the new core is >=1
1.19/1.23 c lower bound updated to 40
1.19/1.23 c BCD2: 40 <= obj <= 1820
1.19/1.23 c BCD2: #cores=40, #unrelaxed=1543, #relaxed=278, #hardened=0
1.19/1.23 c BCD2: #sat=1 #unsat=41 bias=41/42
1.19/1.23 c Solving starts ...
1.19/1.23 c ============================[ Search Statistics ]============================
1.19/1.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.23 c | | | | Limit GC | Var | Constra
1.19/1.23 c =============================================================================
1.19/1.23 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 129
1.19/1.24 c 0.0s | 0 | 1347 | 0 | 2097 0 | 20 | 129
1.19/1.24 c #cpu_time = 0.011s
1.19/1.24 c #wall_clock_time = 0.011s
1.19/1.24 c #decision = 1347
1.19/1.24 c #random_decision = 0
1.19/1.24 c #conflict = 0
1.19/1.24 c #restart = 0
1.19/1.24 c BCD2: found a new core of size 7: cost of the new core is >=1
1.19/1.24 c lower bound updated to 41
1.19/1.24 c BCD2: 41 <= obj <= 1820
1.19/1.24 c BCD2: #cores=41, #unrelaxed=1536, #relaxed=285, #hardened=0
1.19/1.24 c BCD2: #sat=1 #unsat=42 bias=42/43
1.19/1.24 c Solving starts ...
1.19/1.24 c ============================[ Search Statistics ]============================
1.19/1.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.24 c | | | | Limit GC | Var | Constra
1.19/1.24 c =============================================================================
1.19/1.24 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 131
1.19/1.26 c 0.0s | 0 | 1373 | 0 | 2097 0 | 20 | 131
1.19/1.26 c #cpu_time = 0.011s
1.19/1.26 c #wall_clock_time = 0.011s
1.19/1.26 c #decision = 1373
1.19/1.26 c #random_decision = 0
1.19/1.26 c #conflict = 0
1.19/1.26 c #restart = 0
1.19/1.26 c BCD2: found a new core of size 7: cost of the new core is >=1
1.19/1.26 c lower bound updated to 42
1.19/1.26 c BCD2: 42 <= obj <= 1820
1.19/1.26 c BCD2: #cores=42, #unrelaxed=1529, #relaxed=292, #hardened=0
1.19/1.26 c BCD2: #sat=1 #unsat=43 bias=43/44
1.19/1.26 c Solving starts ...
1.19/1.26 c ============================[ Search Statistics ]============================
1.19/1.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.26 c | | | | Limit GC | Var | Constra
1.19/1.26 c =============================================================================
1.19/1.26 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 141
1.19/1.27 c 0.0s | 0 | 1433 | 0 | 2097 0 | 20 | 141
1.19/1.27 c #cpu_time = 0.011s
1.19/1.27 c #wall_clock_time = 0.011s
1.19/1.27 c #decision = 1433
1.19/1.27 c #random_decision = 0
1.19/1.27 c #conflict = 0
1.19/1.27 c #restart = 0
1.19/1.27 c BCD2: found a new core of size 18: cost of the new core is >=1
1.19/1.27 c lower bound updated to 43
1.19/1.27 c BCD2: 43 <= obj <= 1820
1.19/1.27 c BCD2: #cores=43, #unrelaxed=1511, #relaxed=310, #hardened=0
1.19/1.27 c BCD2: #sat=1 #unsat=44 bias=44/45
1.19/1.27 c Solving starts ...
1.19/1.27 c ============================[ Search Statistics ]============================
1.19/1.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.27 c | | | | Limit GC | Var | Constra
1.19/1.27 c =============================================================================
1.19/1.27 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 155
1.19/1.28 c 0.0s | 0 | 1466 | 0 | 2097 0 | 20 | 155
1.19/1.28 c #cpu_time = 0.011s
1.19/1.28 c #wall_clock_time = 0.011s
1.19/1.28 c #decision = 1466
1.19/1.28 c #random_decision = 0
1.19/1.28 c #conflict = 0
1.19/1.28 c #restart = 0
1.19/1.28 c BCD2: found a new core of size 17: cost of the new core is >=1
1.19/1.28 c lower bound updated to 44
1.19/1.29 c BCD2: 44 <= obj <= 1820
1.19/1.29 c BCD2: #cores=44, #unrelaxed=1494, #relaxed=327, #hardened=0
1.19/1.29 c BCD2: #sat=1 #unsat=45 bias=45/46
1.19/1.29 c Solving starts ...
1.19/1.29 c ============================[ Search Statistics ]============================
1.19/1.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.29 c | | | | Limit GC | Var | Constra
1.19/1.29 c =============================================================================
1.19/1.29 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 157
1.28/1.30 c 0.0s | 0 | 1461 | 0 | 2097 0 | 20 | 157
1.28/1.30 c #cpu_time = 0.011s
1.28/1.30 c #wall_clock_time = 0.011s
1.28/1.30 c #decision = 1461
1.28/1.30 c #random_decision = 0
1.28/1.30 c #conflict = 0
1.28/1.30 c #restart = 0
1.28/1.30 c BCD2: found a new core of size 26: cost of the new core is >=1
1.28/1.30 c lower bound updated to 45
1.28/1.30 c BCD2: 45 <= obj <= 1820
1.28/1.30 c BCD2: #cores=45, #unrelaxed=1468, #relaxed=353, #hardened=0
1.28/1.30 c BCD2: #sat=1 #unsat=46 bias=46/47
1.28/1.30 c Solving starts ...
1.28/1.30 c ============================[ Search Statistics ]============================
1.28/1.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.28/1.30 c | | | | Limit GC | Var | Constra
1.28/1.30 c =============================================================================
1.28/1.30 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 163
1.28/1.31 c 0.0s | 0 | 1445 | 0 | 2097 0 | 20 | 163
1.28/1.31 c #cpu_time = 0.012s
1.28/1.31 c #wall_clock_time = 0.012s
1.28/1.31 c #decision = 1445
1.28/1.31 c #random_decision = 0
1.28/1.31 c #conflict = 0
1.28/1.31 c #restart = 0
1.28/1.31 c BCD2: found a new core of size 26: cost of the new core is >=1
1.28/1.31 c lower bound updated to 46
1.28/1.31 c BCD2: 46 <= obj <= 1820
1.28/1.31 c BCD2: #cores=46, #unrelaxed=1442, #relaxed=379, #hardened=0
1.28/1.31 c BCD2: #sat=1 #unsat=47 bias=47/48
1.28/1.31 c Solving starts ...
1.28/1.31 c ============================[ Search Statistics ]============================
1.28/1.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.28/1.31 c | | | | Limit GC | Var | Constra
1.28/1.31 c =============================================================================
1.28/1.31 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 165
1.28/1.33 c 0.0s | 0 | 1425 | 0 | 2097 0 | 20 | 165
1.28/1.33 c #cpu_time = 0.011s
1.28/1.33 c #wall_clock_time = 0.011s
1.28/1.33 c #decision = 1425
1.28/1.33 c #random_decision = 0
1.28/1.33 c #conflict = 0
1.28/1.33 c #restart = 0
1.28/1.33 c BCD2: found a new core of size 12: cost of the new core is >=1
1.28/1.33 c lower bound updated to 47
1.28/1.33 c BCD2: 47 <= obj <= 1820
1.28/1.33 c BCD2: #cores=47, #unrelaxed=1430, #relaxed=391, #hardened=0
1.28/1.33 c BCD2: #sat=1 #unsat=48 bias=48/49
1.28/1.33 c Solving starts ...
1.28/1.33 c ============================[ Search Statistics ]============================
1.28/1.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.28/1.33 c | | | | Limit GC | Var | Constra
1.28/1.33 c =============================================================================
1.28/1.33 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 198
1.28/1.34 c 0.0s | 0 | 1416 | 0 | 2097 0 | 20 | 198
1.28/1.34 c #cpu_time = 0.011s
1.28/1.34 c #wall_clock_time = 0.011s
1.28/1.34 c #decision = 1416
1.28/1.34 c #random_decision = 0
1.28/1.34 c #conflict = 0
1.28/1.34 c #restart = 0
1.28/1.34 c BCD2: found a new core of size 3: cost of the new core is >=1
1.28/1.34 c lower bound updated to 48
1.28/1.34 c BCD2: 48 <= obj <= 1820
1.28/1.34 c BCD2: #cores=48, #unrelaxed=1427, #relaxed=394, #hardened=0
1.28/1.34 c BCD2: #sat=1 #unsat=49 bias=49/50
1.28/1.34 c Solving starts ...
1.28/1.34 c ============================[ Search Statistics ]============================
1.28/1.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.28/1.34 c | | | | Limit GC | Var | Constra
1.28/1.34 c =============================================================================
1.28/1.34 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 200
1.28/1.35 c 0.0s | 0 | 1437 | 0 | 2097 0 | 20 | 200
1.28/1.35 c #cpu_time = 0.012s
1.28/1.35 c #wall_clock_time = 0.012s
1.28/1.35 c #decision = 1437
1.28/1.35 c #random_decision = 0
1.28/1.35 c #conflict = 0
1.28/1.35 c #restart = 0
1.28/1.35 c BCD2: found a new core of size 7: cost of the new core is >=1
1.28/1.35 c lower bound updated to 49
1.28/1.35 c BCD2: 49 <= obj <= 1820
1.28/1.35 c BCD2: #cores=49, #unrelaxed=1420, #relaxed=401, #hardened=0
1.28/1.35 c BCD2: #sat=1 #unsat=50 bias=50/51
1.28/1.36 c Solving starts ...
1.28/1.36 c ============================[ Search Statistics ]============================
1.28/1.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.28/1.36 c | | | | Limit GC | Var | Constra
1.28/1.36 c =============================================================================
1.28/1.36 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 258
1.28/1.37 c 0.0s | 0 | 1444 | 0 | 2097 0 | 20 | 258
1.28/1.37 c #cpu_time = 0.012s
1.28/1.37 c #wall_clock_time = 0.012s
1.28/1.37 c #decision = 1444
1.28/1.37 c #random_decision = 0
1.28/1.37 c #conflict = 0
1.28/1.37 c #restart = 0
1.28/1.37 c BCD2: found a new core of size 68: cost of the new core is >=1
1.28/1.37 c lower bound updated to 50
1.28/1.37 c BCD2: 50 <= obj <= 1820
1.28/1.37 c BCD2: #cores=50, #unrelaxed=1352, #relaxed=469, #hardened=0
1.28/1.37 c BCD2: #sat=1 #unsat=51 bias=51/52
1.28/1.37 c Solving starts ...
1.28/1.37 c ============================[ Search Statistics ]============================
1.28/1.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.28/1.37 c | | | | Limit GC | Var | Constra
1.28/1.37 c =============================================================================
1.28/1.37 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 258
1.28/1.38 c 0.0s | 0 | 1775 | 1 | 2097 0 | 20 | 258
1.28/1.38 c #cpu_time = 0.014s
1.28/1.38 c #wall_clock_time = 0.014s
1.28/1.38 c #decision = 1775
1.28/1.38 c #random_decision = 1
1.28/1.38 c #conflict = 1
1.28/1.38 c #restart = 0
1.28/1.38 o 104
1.28/1.38 c BCD2: updating upper bound: 1820 -> 103
1.28/1.39 c BCD2: 50 <= obj <= 103
1.28/1.39 c BCD2: #cores=50, #unrelaxed=1352, #relaxed=469, #hardened=0
1.28/1.39 c BCD2: #sat=2 #unsat=51 bias=51/53
1.28/1.39 c Solving starts ...
1.28/1.39 c ============================[ Search Statistics ]============================
1.28/1.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.28/1.39 c | | | | Limit GC | Var | Constra
1.28/1.39 c =============================================================================
1.28/1.39 c 0.0s | 0 | 0 | 0 | 2097 0 | 20 | 259
1.38/1.40 c 0.0s | 0 | 1058 | 0 | 2097 0 | 20 | 259
1.38/1.40 c #cpu_time = 0.011s
1.38/1.40 c #wall_clock_time = 0.011s
1.38/1.40 c #decision = 1058
1.38/1.40 c #random_decision = 0
1.38/1.40 c #conflict = 0
1.38/1.40 c #restart = 0
1.38/1.40 c BCD2: relaxing 12 and merging with 1 cores into a new core of size 20: cost of the new core is >=2
1.38/1.40 c lower bound updated to 51
1.38/1.40 c BCD2: 51 <= obj <= 103
1.38/1.40 c BCD2: #cores=50, #unrelaxed=1340, #relaxed=481, #hardened=0
1.38/1.40 c BCD2: #sat=2 #unsat=52 bias=52/54
1.38/1.40 c Solving starts ...
1.38/1.40 c ============================[ Search Statistics ]============================
1.38/1.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.38/1.40 c | | | | Limit GC | Var | Constra
1.38/1.40 c =============================================================================
1.38/1.40 c 0.0s | 0 | 0 | 0 | 2097 0 | 22 | 259
1.38/1.42 c 0.0s | 0 | 1495 | 5 | 2097 0 | 22 | 262
1.38/1.42 c #cpu_time = 0.014s
1.38/1.42 c #wall_clock_time = 0.014s
1.38/1.42 c #decision = 1495
1.38/1.42 c #random_decision = 0
1.38/1.42 c #conflict = 5
1.38/1.42 c #restart = 0
1.38/1.42 c BCD2: relaxing 20 and merging with 1 cores into a new core of size 54: cost of the new core is >=2
1.38/1.42 c lower bound updated to 52
1.38/1.42 c BCD2: 52 <= obj <= 103
1.38/1.42 c BCD2: #cores=50, #unrelaxed=1320, #relaxed=501, #hardened=0
1.38/1.42 c BCD2: #sat=2 #unsat=53 bias=53/55
1.38/1.42 c Solving starts ...
1.38/1.42 c ============================[ Search Statistics ]============================
1.38/1.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.38/1.42 c | | | | Limit GC | Var | Constra
1.38/1.42 c =============================================================================
1.38/1.42 c 0.0s | 0 | 0 | 0 | 2097 0 | 25 | 262
1.38/1.46 c 0.0s | 1 | 3156 | 100 | 2307 0 | 25 | 267
1.48/1.52 c 0.1s | 2 | 5262 | 250 | 2538 0 | 25 | 267
1.48/1.60 c 0.2s | 3 | 8912 | 475 | 2792 0 | 25 | 267
1.68/1.70 c 0.3s | 4 | 11184 | 813 | 3072 0 | 25 | 267
1.88/1.93 c 0.5s | 5 | 13340 | 1320 | 3380 0 | 25 | 267
2.38/2.42 c 1.0s | 6 | 16832 | 2081 | 3719 0 | 25 | 267
3.18/3.26 c 1.8s | 7 | 22360 | 3223 | 4091 0 | 25 | 267
4.39/4.45 c 3.0s | 8 | 27653 | 4936 | 4501 0 | 25 | 267
6.09/6.19 c 4.8s | 9 | 35392 | 7506 | 4952 1 | 25 | 267
8.19/8.23 c 6.8s | 9 | 43378 | 10806 | 4952 2 | 25 | 267
8.59/8.60 c 7.2s | 10 | 44303 | 11361 | 5448 2 | 25 | 267
10.59/10.62 c 9.2s | 10 | 51864 | 14561 | 5448 3 | 25 | 267
12.59/12.60 c 11.2s | 11 | 57465 | 17144 | 5993 4 | 25 | 267
14.58/14.66 c 13.2s | 11 | 62193 | 18944 | 5993 4 | 25 | 267
16.68/16.72 c 15.3s | 11 | 65295 | 20444 | 5993 5 | 25 | 267
18.79/18.82 c 17.4s | 11 | 68126 | 22544 | 5993 5 | 25 | 267
20.89/20.92 c 19.5s | 11 | 70070 | 24044 | 5993 6 | 25 | 267
22.99/23.00 c 21.6s | 11 | 71921 | 25544 | 5993 6 | 25 | 267
23.39/23.45 c 22.0s | 12 | 72252 | 25819 | 6593 6 | 25 | 267
25.39/25.47 c 24.0s | 12 | 78275 | 28319 | 6593 7 | 25 | 267
27.49/27.52 c 26.1s | 12 | 83459 | 31119 | 6593 7 | 25 | 267
29.48/29.59 c 28.2s | 12 | 87262 | 33719 | 6593 8 | 25 | 267
31.58/31.61 c 30.2s | 12 | 90978 | 36119 | 6593 9 | 25 | 267
33.28/33.33 c 31.9s | 13 | 94534 | 38832 | 7253 9 | 25 | 267
35.29/35.36 c 33.9s | 13 | 103930 | 41732 | 7253 10 | 25 | 267
37.28/37.38 c 36.0s | 13 | 107314 | 44032 | 7253 11 | 25 | 267
39.38/39.46 c 38.0s | 13 | 112374 | 47132 | 7253 11 | 25 | 267
41.48/41.51 c 40.1s | 13 | 115342 | 49132 | 7253 12 | 25 | 267
43.48/43.52 c 42.1s | 13 | 118854 | 51532 | 7253 12 | 25 | 267
45.48/45.58 c 44.2s | 13 | 122080 | 53732 | 7253 13 | 25 | 267
47.58/47.67 c 46.2s | 13 | 125245 | 55932 | 7253 13 | 25 | 267
49.78/49.82 c 48.4s | 13 | 127592 | 57732 | 7253 14 | 25 | 267
50.38/50.48 c 49.1s | 14 | 128418 | 58352 | 7979 14 | 25 | 267
52.48/52.55 c 51.1s | 14 | 136188 | 61152 | 7979 14 | 25 | 267
54.48/54.58 c 53.2s | 14 | 139745 | 62752 | 7979 15 | 25 | 267
56.58/56.66 c 55.2s | 14 | 143598 | 65052 | 7979 15 | 25 | 267
58.68/58.70 c 57.3s | 14 | 146149 | 66752 | 7979 15 | 25 | 267
60.68/60.74 c 59.3s | 14 | 149505 | 68452 | 7979 16 | 25 | 267
62.87/62.91 c 61.5s | 14 | 151981 | 69952 | 7979 16 | 25 | 267
64.89/64.96 c 63.5s | 14 | 155216 | 71752 | 7979 17 | 25 | 267
66.98/67.04 c 65.6s | 14 | 160008 | 74452 | 7979 17 | 25 | 267
69.08/69.12 c 67.7s | 14 | 164266 | 76452 | 7979 18 | 25 | 267
71.08/71.18 c 69.8s | 14 | 168862 | 78952 | 7979 18 | 25 | 267
73.48/73.56 c 72.1s | 14 | 172930 | 81252 | 7979 19 | 25 | 267
75.48/75.57 c 74.1s | 14 | 176418 | 83652 | 7979 19 | 25 | 267
77.88/77.90 c 76.5s | 14 | 180116 | 86052 | 7979 20 | 25 | 267
79.37/79.43 c 78.0s | 15 | 182380 | 87632 | 8777 20 | 25 | 267
81.38/81.50 c 80.1s | 15 | 188072 | 90132 | 8777 20 | 25 | 267
83.47/83.58 c 82.2s | 15 | 191074 | 91932 | 8777 21 | 25 | 267
85.57/85.63 c 84.2s | 15 | 195297 | 94032 | 8777 21 | 25 | 267
87.58/87.69 c 86.3s | 15 | 199572 | 96232 | 8777 21 | 25 | 267
89.67/89.78 c 88.4s | 15 | 202804 | 98032 | 8777 22 | 25 | 267
91.67/91.80 c 90.4s | 15 | 206065 | 100032 | 8777 22 | 25 | 267
94.17/94.26 c 92.8s | 15 | 208881 | 101832 | 8777 23 | 25 | 267
96.27/96.30 c 94.9s | 15 | 211247 | 103432 | 8777 23 | 25 | 267
98.27/98.37 c 97.0s | 15 | 213217 | 104832 | 8777 23 | 25 | 267
100.27/100.39 c 99.0s | 15 | 214768 | 106032 | 8777 23 | 25 | 267
102.47/102.52 c 101s | 15 | 215975 | 106932 | 8777 24 | 25 | 267
104.48/104.54 c 103s | 15 | 218967 | 108532 | 8777 24 | 25 | 267
106.57/106.67 c 105s | 15 | 221807 | 110132 | 8777 24 | 25 | 267
108.67/108.77 c 107s | 15 | 224238 | 111632 | 8777 24 | 25 | 267
110.77/110.83 c 109s | 15 | 226879 | 112932 | 8777 25 | 25 | 267
112.87/112.94 c 111s | 15 | 229591 | 114532 | 8777 25 | 25 | 267
114.97/115.04 c 113s | 15 | 232840 | 116232 | 8777 25 | 25 | 267
117.07/117.16 c 115s | 15 | 234777 | 117332 | 8777 26 | 25 | 267
119.06/119.19 c 117s | 15 | 238721 | 119032 | 8777 26 | 25 | 267
121.17/121.27 c 119s | 15 | 241892 | 121132 | 8777 26 | 25 | 267
123.37/123.42 c 122s | 15 | 243868 | 122332 | 8777 27 | 25 | 267
125.48/125.52 c 124s | 15 | 246604 | 123932 | 8777 27 | 25 | 267
127.46/127.59 c 126s | 15 | 248860 | 125332 | 8777 27 | 25 | 267
129.67/129.71 c 128s | 15 | 250986 | 126632 | 8777 27 | 25 | 267
131.67/131.75 c 130s | 15 | 253009 | 127832 | 8777 28 | 25 | 267
133.77/133.82 c 132s | 15 | 257045 | 130232 | 8777 28 | 25 | 267
135.07/135.12 c 133s | 16 | 259196 | 131552 | 9655 28 | 25 | 267
137.47/137.58 c 136s | 16 | 264635 | 133452 | 9655 29 | 25 | 267
139.57/139.60 c 138s | 16 | 268748 | 135752 | 9655 29 | 25 | 267
141.56/141.60 c 140s | 16 | 272728 | 137952 | 9655 29 | 25 | 267
143.67/143.70 c 142s | 16 | 275918 | 139652 | 9655 30 | 25 | 267
145.67/145.73 c 144s | 16 | 279815 | 141852 | 9655 30 | 25 | 267
147.67/147.79 c 146s | 16 | 283337 | 143752 | 9655 30 | 25 | 267
149.77/149.82 c 148s | 16 | 285862 | 145152 | 9655 31 | 25 | 267
151.77/151.89 c 150s | 16 | 288978 | 147152 | 9655 31 | 25 | 267
153.86/153.90 c 152s | 16 | 292955 | 149152 | 9655 31 | 25 | 267
155.86/155.92 c 154s | 16 | 295573 | 150652 | 9655 32 | 25 | 267
157.86/157.99 c 156s | 16 | 298738 | 152752 | 9655 32 | 25 | 267
160.06/160.11 c 158s | 16 | 302550 | 154752 | 9655 32 | 25 | 267
162.06/162.16 c 160s | 16 | 304919 | 156152 | 9655 33 | 25 | 267
164.17/164.20 c 162s | 16 | 308114 | 158052 | 9655 33 | 25 | 267
166.17/166.26 c 164s | 16 | 311433 | 159852 | 9655 33 | 25 | 267
168.16/168.26 c 166s | 16 | 315949 | 161352 | 9655 34 | 25 | 267
170.26/170.31 c 168s | 16 | 325397 | 164452 | 9655 34 | 25 | 267
172.67/172.78 c 171s | 16 | 329548 | 166952 | 9655 35 | 25 | 267
174.76/174.88 c 173s | 16 | 331946 | 168552 | 9655 35 | 25 | 267
176.86/176.91 c 175s | 16 | 333859 | 169952 | 9655 35 | 25 | 267
178.86/178.96 c 177s | 16 | 334909 | 170652 | 9655 35 | 25 | 267
180.96/181.07 c 179s | 16 | 335690 | 171252 | 9655 35 | 25 | 267
183.16/183.26 c 181s | 16 | 336386 | 171852 | 9655 35 | 25 | 267
185.26/185.35 c 183s | 16 | 337237 | 172552 | 9655 36 | 25 | 267
187.25/187.38 c 185s | 16 | 339719 | 173752 | 9655 36 | 25 | 267
189.36/189.48 c 188s | 16 | 344714 | 176252 | 9655 36 | 25 | 267
191.76/191.82 c 190s | 16 | 349497 | 178052 | 9655 37 | 25 | 267
194.06/194.10 c 192s | 16 | 353096 | 179952 | 9655 37 | 25 | 267
196.06/196.14 c 194s | 16 | 355517 | 181652 | 9655 37 | 25 | 267
198.25/198.30 c 196s | 16 | 357533 | 183052 | 9655 37 | 25 | 267
200.26/200.34 c 198s | 16 | 358952 | 184052 | 9655 38 | 25 | 267
202.47/202.51 c 201s | 16 | 360757 | 185452 | 9655 38 | 25 | 267
204.46/204.54 c 203s | 16 | 362310 | 186652 | 9655 38 | 25 | 267
206.45/206.58 c 205s | 16 | 364315 | 188052 | 9655 38 | 25 | 267
208.55/208.63 c 207s | 16 | 365890 | 189252 | 9655 39 | 25 | 267
210.55/210.65 c 209s | 16 | 367750 | 190552 | 9655 39 | 25 | 267
212.56/212.68 c 211s | 16 | 369368 | 191752 | 9655 39 | 25 | 267
214.66/214.71 c 213s | 16 | 370898 | 192852 | 9655 39 | 25 | 267
216.76/216.81 c 215s | 16 | 373637 | 194452 | 9655 39 | 25 | 267
218.75/218.86 c 217s | 16 | 375168 | 195452 | 9655 40 | 25 | 267
220.85/220.91 c 219s | 16 | 377082 | 196752 | 10621 40 | 25 | 267
222.05/222.20 c 220s | 17 | 378073 | 197432 | 10621 40 | 25 | 267
224.15/224.27 c 222s | 17 | 384484 | 199932 | 10621 40 | 25 | 267
226.25/226.39 c 224s | 17 | 387846 | 201432 | 10621 41 | 25 | 267
228.35/228.47 c 227s | 17 | 392474 | 203332 | 10621 41 | 25 | 267
230.45/230.52 c 229s | 17 | 397394 | 205232 | 10621 41 | 25 | 267
232.55/232.61 c 231s | 17 | 402318 | 207032 | 10621 41 | 25 | 267
234.55/234.63 c 233s | 17 | 405666 | 208432 | 10621 42 | 25 | 267
236.55/236.64 c 235s | 17 | 411305 | 211232 | 10621 42 | 25 | 267
238.55/238.65 c 237s | 17 | 415665 | 213232 | 10621 42 | 25 | 267
240.55/240.67 c 239s | 17 | 419101 | 214832 | 10621 43 | 25 | 267
242.55/242.69 c 241s | 17 | 422586 | 216832 | 10621 43 | 25 | 267
244.75/244.81 c 243s | 17 | 427075 | 218732 | 10621 43 | 25 | 267
246.75/246.83 c 245s | 17 | 431045 | 220132 | 10621 44 | 25 | 267
248.75/248.87 c 247s | 17 | 434664 | 222132 | 10621 44 | 25 | 267
250.86/250.97 c 249s | 17 | 438033 | 223732 | 10621 44 | 25 | 267
252.85/252.98 c 251s | 17 | 442785 | 225432 | 10621 44 | 25 | 267
254.85/254.98 c 253s | 17 | 446034 | 226632 | 10621 45 | 25 | 267
257.05/257.13 c 255s | 17 | 448777 | 227732 | 10621 45 | 25 | 267
259.05/259.15 c 257s | 17 | 453451 | 229432 | 10621 45 | 25 | 267
261.15/261.24 c 259s | 17 | 459080 | 231032 | 10621 45 | 25 | 267
263.15/263.29 c 261s | 17 | 462556 | 232832 | 10621 46 | 25 | 267
265.25/265.37 c 263s | 17 | 465708 | 235132 | 10621 46 | 25 | 267
267.35/267.46 c 266s | 17 | 468320 | 237132 | 10621 46 | 25 | 267
269.34/269.50 c 268s | 17 | 470595 | 238632 | 10621 47 | 25 | 267
271.45/271.53 c 270s | 17 | 473867 | 240732 | 10621 47 | 25 | 267
273.55/273.62 c 272s | 17 | 476910 | 242532 | 10621 47 | 25 | 267
275.55/275.65 c 274s | 17 | 478712 | 243732 | 10621 48 | 25 | 267
277.55/277.69 c 276s | 17 | 481395 | 245632 | 10621 48 | 25 | 267
279.64/279.73 c 278s | 17 | 486106 | 248332 | 10621 48 | 25 | 267
281.65/281.74 c 280s | 17 | 488562 | 249832 | 10621 49 | 25 | 267
283.75/283.81 c 282s | 17 | 491861 | 251632 | 10621 49 | 25 | 267
285.74/285.85 c 284s | 17 | 495032 | 253632 | 10621 49 | 25 | 267
287.74/287.89 c 286s | 17 | 498222 | 255532 | 10621 49 | 25 | 267
289.85/289.93 c 288s | 17 | 500503 | 256832 | 10621 50 | 25 | 267
291.84/291.99 c 290s | 17 | 503628 | 258532 | 10621 50 | 25 | 267
293.94/294.01 c 292s | 17 | 506816 | 260132 | 10621 50 | 25 | 267
295.95/296.02 c 294s | 17 | 509867 | 261532 | 10621 50 | 25 | 267
297.94/298.06 c 296s | 17 | 512945 | 263132 | 10621 51 | 25 | 267
300.04/300.12 c 298s | 17 | 516158 | 265432 | 10621 51 | 25 | 267
302.04/302.19 c 300s | 17 | 518028 | 266832 | 10621 51 | 25 | 267
304.13/304.26 c 302s | 17 | 520477 | 268332 | 10621 52 | 25 | 267
306.24/306.32 c 304s | 17 | 523323 | 270132 | 10621 52 | 25 | 267
308.34/308.41 c 306s | 17 | 526023 | 271532 | 10621 52 | 25 | 267
310.33/310.41 c 308s | 17 | 529093 | 273632 | 10621 52 | 25 | 267
312.34/312.41 c 310s | 17 | 531740 | 275332 | 10621 53 | 25 | 267
314.43/314.52 c 313s | 17 | 534574 | 277332 | 10621 53 | 25 | 267
316.53/316.61 c 315s | 17 | 537140 | 278832 | 10621 53 | 25 | 267
318.63/318.73 c 317s | 17 | 539497 | 280132 | 10621 54 | 25 | 267
320.73/320.84 c 319s | 17 | 542758 | 281832 | 10621 54 | 25 | 267
322.84/322.90 c 321s | 17 | 547143 | 283332 | 10621 54 | 25 | 267
324.93/325.09 c 323s | 17 | 553744 | 286032 | 10621 55 | 25 | 267
327.03/327.17 c 325s | 17 | 559602 | 288632 | 10621 55 | 25 | 267
329.13/329.23 c 327s | 17 | 564353 | 290732 | 10621 55 | 25 | 267
331.14/331.25 c 329s | 17 | 568117 | 292132 | 10621 56 | 25 | 267
333.13/333.26 c 331s | 17 | 571489 | 293532 | 10621 56 | 25 | 267
335.23/335.35 c 333s | 17 | 576941 | 295432 | 11684 56 | 25 | 267
336.33/336.43 c 335s | 18 | 579336 | 296252 | 11684 56 | 25 | 267
338.34/338.45 c 337s | 18 | 583400 | 297952 | 11684 56 | 25 | 267
340.44/340.51 c 339s | 18 | 585307 | 299352 | 11684 57 | 25 | 267
342.44/342.57 c 341s | 18 | 588223 | 301452 | 11684 57 | 25 | 267
344.63/344.71 c 343s | 18 | 590744 | 303052 | 11684 57 | 25 | 267
346.63/346.76 c 345s | 18 | 593853 | 304352 | 11684 57 | 25 | 267
349.33/349.48 c 348s | 18 | 596915 | 305952 | 11684 58 | 25 | 267
351.43/351.59 c 350s | 18 | 600128 | 308052 | 11684 58 | 25 | 267
353.63/353.70 c 352s | 18 | 602710 | 309752 | 11684 58 | 25 | 267
355.73/355.81 c 354s | 18 | 605129 | 311252 | 11684 58 | 25 | 267
357.82/358.00 c 356s | 18 | 607624 | 312452 | 11684 59 | 25 | 267
359.93/360.01 c 358s | 18 | 610082 | 313952 | 11684 59 | 25 | 267
361.94/362.04 c 360s | 18 | 612729 | 315452 | 11684 59 | 25 | 267
364.03/364.14 c 362s | 18 | 615631 | 317352 | 11684 59 | 25 | 267
366.03/366.14 c 364s | 18 | 617556 | 318752 | 11684 59 | 25 | 267
368.12/368.27 c 366s | 18 | 619075 | 319752 | 11684 60 | 25 | 267
370.23/370.37 c 368s | 18 | 621231 | 321152 | 11684 60 | 25 | 267
372.32/372.41 c 370s | 18 | 623453 | 322752 | 11684 60 | 25 | 267
374.32/374.49 c 373s | 18 | 625402 | 324252 | 11684 60 | 25 | 267
377.12/377.28 c 375s | 18 | 627401 | 325652 | 11684 61 | 25 | 267
379.22/379.35 c 377s | 18 | 628983 | 326852 | 11684 61 | 25 | 267
381.32/381.47 c 380s | 18 | 631346 | 328452 | 11684 61 | 25 | 267
383.42/383.59 c 382s | 18 | 634059 | 330352 | 11684 61 | 25 | 267
385.52/385.65 c 384s | 18 | 636518 | 332052 | 11684 61 | 25 | 267
387.51/387.65 c 386s | 18 | 639174 | 333852 | 11684 62 | 25 | 267
389.52/389.67 c 388s | 18 | 642389 | 336252 | 11684 62 | 25 | 267
391.52/391.68 c 390s | 18 | 645575 | 338552 | 11684 62 | 25 | 267
393.61/393.78 c 392s | 18 | 648034 | 340352 | 11684 63 | 25 | 267
395.92/396.03 c 394s | 18 | 650792 | 342252 | 11684 63 | 25 | 267
397.91/398.05 c 396s | 18 | 653660 | 344252 | 11684 63 | 25 | 267
399.91/400.09 c 398s | 18 | 655472 | 345552 | 11684 64 | 25 | 267
402.01/402.15 c 400s | 18 | 658050 | 347452 | 11684 64 | 25 | 267
404.01/404.16 c 402s | 18 | 660974 | 349652 | 11684 64 | 25 | 267
406.01/406.17 c 404s | 18 | 664330 | 351452 | 11684 64 | 25 | 267
408.11/408.23 c 406s | 18 | 666906 | 352752 | 11684 65 | 25 | 267
410.10/410.24 c 408s | 18 | 670023 | 354952 | 11684 65 | 25 | 267
412.20/412.36 c 410s | 18 | 672638 | 356952 | 11684 65 | 25 | 267
414.31/414.46 c 413s | 18 | 674656 | 358452 | 11684 65 | 25 | 267
416.41/416.56 c 415s | 18 | 676511 | 359852 | 11684 66 | 25 | 267
418.50/418.66 c 417s | 18 | 678546 | 361452 | 11684 66 | 25 | 267
420.50/420.68 c 419s | 18 | 680385 | 362952 | 11684 66 | 25 | 267
422.59/422.78 c 421s | 18 | 682395 | 364452 | 11684 66 | 25 | 267
424.61/424.78 c 423s | 18 | 684445 | 365652 | 11684 67 | 25 | 267
426.70/426.82 c 425s | 18 | 686630 | 367352 | 11684 67 | 25 | 267
428.69/428.83 c 427s | 18 | 688718 | 368952 | 11684 67 | 25 | 267
430.80/430.91 c 429s | 18 | 690567 | 370452 | 11684 67 | 25 | 267
433.10/433.25 c 431s | 18 | 692493 | 371752 | 11684 68 | 25 | 267
435.29/435.44 c 434s | 18 | 694531 | 373352 | 11684 68 | 25 | 267
437.29/437.44 c 436s | 18 | 696484 | 374952 | 11684 68 | 25 | 267
439.38/439.52 c 438s | 18 | 698034 | 376252 | 11684 68 | 25 | 267
441.49/441.68 c 440s | 18 | 699695 | 377652 | 11684 68 | 25 | 267
443.49/443.68 c 442s | 18 | 700816 | 378552 | 11684 69 | 25 | 267
445.89/446.02 c 444s | 18 | 702693 | 379152 | 11684 69 | 25 | 267
447.88/448.03 c 446s | 18 | 707519 | 381452 | 11684 69 | 25 | 267
449.99/450.10 c 448s | 18 | 712534 | 383852 | 11684 69 | 25 | 267
451.99/452.14 c 450s | 18 | 715274 | 385152 | 11684 70 | 25 | 267
454.08/454.27 c 452s | 18 | 719990 | 387252 | 11684 70 | 25 | 267
456.18/456.31 c 454s | 18 | 723246 | 388752 | 11684 70 | 25 | 267
458.17/458.34 c 456s | 18 | 726482 | 390252 | 11684 70 | 25 | 267
460.48/460.67 c 459s | 18 | 729367 | 391552 | 11684 71 | 25 | 267
462.58/462.70 c 461s | 18 | 732192 | 392752 | 11684 71 | 25 | 267
464.58/464.71 c 463s | 18 | 736220 | 395252 | 11684 71 | 25 | 267
466.57/466.78 c 465s | 18 | 741481 | 396952 | 11684 71 | 25 | 267
468.87/469.00 c 467s | 18 | 744975 | 398052 | 11684 72 | 25 | 267
470.87/471.06 c 469s | 18 | 748591 | 399452 | 11684 72 | 25 | 267
472.88/473.10 c 471s | 18 | 753366 | 400852 | 11684 72 | 25 | 267
474.97/475.14 c 473s | 18 | 757919 | 402752 | 11684 72 | 25 | 267
477.28/477.48 c 476s | 18 | 760603 | 404652 | 11684 73 | 25 | 267
479.57/479.76 c 478s | 18 | 763477 | 406752 | 11684 73 | 25 | 267
481.67/481.82 c 480s | 18 | 766221 | 408652 | 11684 73 | 25 | 267
483.76/483.93 c 482s | 18 | 769329 | 410752 | 11684 73 | 25 | 267
485.76/485.96 c 484s | 18 | 770983 | 411952 | 11684 74 | 25 | 267
487.86/488.05 c 486s | 18 | 773080 | 413452 | 11684 74 | 25 | 267
489.86/490.09 c 488s | 18 | 775338 | 415052 | 11684 74 | 25 | 267
492.06/492.25 c 490s | 18 | 777849 | 416652 | 11684 74 | 25 | 267
494.46/494.69 c 493s | 18 | 779659 | 417952 | 11684 75 | 25 | 267
496.56/496.74 c 495s | 18 | 782167 | 419652 | 11684 75 | 25 | 267
498.66/498.81 c 497s | 18 | 785474 | 421952 | 11684 75 | 25 | 267
500.65/500.83 c 499s | 18 | 788543 | 423752 | 11684 75 | 25 | 267
502.75/502.92 c 501s | 18 | 790531 | 424952 | 11684 76 | 25 | 267
504.76/504.94 c 503s | 18 | 792812 | 426552 | 11684 76 | 25 | 267
506.75/506.97 c 505s | 18 | 794930 | 428052 | 11684 76 | 25 | 267
508.74/508.97 c 507s | 18 | 796938 | 429552 | 11684 76 | 25 | 267
510.85/511.02 c 509s | 18 | 798594 | 430852 | 11684 76 | 25 | 267
512.95/513.13 c 511s | 18 | 800157 | 432052 | 11684 77 | 25 | 267
515.05/515.22 c 513s | 18 | 802445 | 433652 | 11684 77 | 25 | 267
517.04/517.24 c 515s | 18 | 805047 | 435452 | 11684 77 | 25 | 267
519.15/519.31 c 517s | 18 | 807906 | 437252 | 11684 77 | 25 | 267
521.14/521.40 c 519s | 18 | 809363 | 438352 | 11684 78 | 25 | 267
523.24/523.43 c 522s | 18 | 811381 | 439752 | 11684 78 | 25 | 267
525.24/525.44 c 524s | 18 | 813212 | 441152 | 11684 78 | 25 | 267
527.33/527.54 c 526s | 18 | 815096 | 442452 | 12853 78 | 25 | 267
529.34/529.58 c 528s | 18 | 816836 | 443752 | 12853 78 | 25 | 267
530.53/530.74 c 529s | 19 | 817739 | 444482 | 12853 78 | 25 | 267
532.83/533.02 c 531s | 19 | 821234 | 445282 | 12853 79 | 25 | 267
534.83/535.06 c 533s | 19 | 826671 | 447682 | 12853 79 | 25 | 267
536.82/537.07 c 535s | 19 | 831860 | 450282 | 12853 79 | 25 | 267
539.13/539.38 c 537s | 19 | 835373 | 452182 | 12853 80 | 25 | 267
541.23/541.44 c 540s | 19 | 838827 | 454282 | 12853 80 | 25 | 267
543.34/543.54 c 542s | 19 | 842990 | 456582 | 12853 80 | 25 | 267
545.33/545.56 c 544s | 19 | 846410 | 458282 | 12853 80 | 25 | 267
547.42/547.63 c 546s | 19 | 848077 | 459482 | 12853 81 | 25 | 267
549.42/549.69 c 548s | 19 | 850037 | 461082 | 12853 81 | 25 | 267
551.52/551.78 c 550s | 19 | 852310 | 462782 | 12853 81 | 25 | 267
553.62/553.88 c 552s | 19 | 854910 | 464782 | 12853 81 | 25 | 267
555.72/555.95 c 554s | 19 | 856337 | 465882 | 12853 81 | 25 | 267
557.91/558.16 c 556s | 19 | 857235 | 466582 | 12853 82 | 25 | 267
560.01/560.21 c 558s | 19 | 859344 | 467982 | 12853 82 | 25 | 267
562.12/562.32 c 560s | 19 | 861425 | 469382 | 12853 82 | 25 | 267
564.12/564.35 c 562s | 19 | 862960 | 470582 | 12853 82 | 25 | 267
566.12/566.37 c 564s | 19 | 864585 | 471782 | 12853 82 | 25 | 267
568.31/568.53 c 567s | 19 | 866419 | 472982 | 12853 82 | 25 | 267
570.41/570.66 c 569s | 19 | 867472 | 473782 | 12853 83 | 25 | 267
572.51/572.75 c 571s | 19 | 869320 | 475082 | 12853 83 | 25 | 267
574.61/574.82 c 573s | 19 | 871367 | 476582 | 12853 83 | 25 | 267
576.71/576.95 c 575s | 19 | 873382 | 477982 | 12853 83 | 25 | 267
578.71/578.99 c 577s | 19 | 874658 | 478982 | 12853 83 | 25 | 267
580.81/581.07 c 579s | 19 | 876149 | 479982 | 12853 83 | 25 | 267
583.51/583.79 c 582s | 19 | 877482 | 480882 | 12853 84 | 25 | 267
585.61/585.81 c 584s | 19 | 879480 | 482282 | 12853 84 | 25 | 267
587.60/587.85 c 586s | 19 | 881254 | 483582 | 12853 84 | 25 | 267
589.70/589.91 c 588s | 19 | 885856 | 485982 | 12853 84 | 25 | 267
591.70/591.99 c 590s | 19 | 889263 | 487982 | 12853 84 | 25 | 267
593.90/594.10 c 592s | 19 | 890232 | 488682 | 12853 85 | 25 | 267
595.89/596.17 c 594s | 19 | 891893 | 489882 | 12853 85 | 25 | 267
598.00/598.24 c 596s | 19 | 893197 | 490882 | 12853 85 | 25 | 267
600.09/600.31 c 598s | 19 | 894947 | 492182 | 12853 85 | 25 | 267
602.09/602.38 c 600s | 19 | 897132 | 493882 | 12853 85 | 25 | 267
604.19/604.49 c 603s | 19 | 898883 | 495082 | 12853 85 | 25 | 267
606.29/606.54 c 605s | 19 | 899977 | 495882 | 12853 86 | 25 | 267
608.49/608.72 c 607s | 19 | 901774 | 497082 | 12853 86 | 25 | 267
610.48/610.73 c 609s | 19 | 903121 | 498082 | 12853 86 | 25 | 267
612.50/612.77 c 611s | 19 | 904912 | 499082 | 12853 86 | 25 | 267
614.49/614.79 c 613s | 19 | 907448 | 500882 | 12853 86 | 25 | 267
617.39/617.68 c 616s | 19 | 909868 | 502482 | 12853 87 | 25 | 267
619.58/619.82 c 618s | 19 | 911691 | 503682 | 12853 87 | 25 | 267
621.98/622.23 c 620s | 19 | 913824 | 505282 | 12853 87 | 25 | 267
624.09/624.35 c 622s | 19 | 915810 | 506382 | 12853 87 | 25 | 267
626.18/626.41 c 624s | 19 | 920175 | 508682 | 12853 87 | 25 | 267
628.18/628.48 c 627s | 19 | 922903 | 510282 | 12853 88 | 25 | 267
630.28/630.53 c 629s | 19 | 926364 | 512282 | 12853 88 | 25 | 267
632.29/632.53 c 631s | 19 | 930062 | 514282 | 12853 88 | 25 | 267
634.28/634.54 c 633s | 19 | 932840 | 515982 | 12853 88 | 25 | 267
636.38/636.65 c 635s | 19 | 935672 | 517482 | 12853 89 | 25 | 267
638.47/638.70 c 637s | 19 | 938566 | 519182 | 12853 89 | 25 | 267
640.47/640.78 c 639s | 19 | 940801 | 520582 | 12853 89 | 25 | 267
642.58/642.80 c 641s | 19 | 943039 | 521982 | 12853 89 | 25 | 267
644.58/644.86 c 643s | 19 | 945510 | 523382 | 12853 89 | 25 | 267
646.68/646.91 c 645s | 19 | 947190 | 524382 | 12853 90 | 25 | 267
648.67/648.98 c 647s | 19 | 949977 | 525982 | 12853 90 | 25 | 267
650.77/651.03 c 649s | 19 | 954439 | 528282 | 12853 90 | 25 | 267
652.87/653.10 c 651s | 19 | 957337 | 529782 | 12853 90 | 25 | 267
654.87/655.16 c 653s | 19 | 960498 | 531482 | 12853 91 | 25 | 267
656.97/657.20 c 655s | 19 | 965274 | 534382 | 12853 91 | 25 | 267
658.96/659.29 c 657s | 19 | 969446 | 536582 | 12853 91 | 25 | 267
661.66/661.92 c 660s | 19 | 972788 | 538382 | 12853 92 | 25 | 267
663.66/663.98 c 662s | 19 | 976077 | 540282 | 12853 92 | 25 | 267
665.76/666.04 c 664s | 19 | 979629 | 542382 | 12853 92 | 25 | 267
667.86/668.18 c 666s | 19 | 982717 | 544182 | 12853 92 | 25 | 267
670.06/670.32 c 668s | 19 | 985316 | 545582 | 12853 93 | 25 | 267
672.06/672.34 c 670s | 19 | 989107 | 547382 | 12853 93 | 25 | 267
674.17/674.40 c 672s | 19 | 992887 | 549382 | 12853 93 | 25 | 267
676.16/676.50 c 675s | 19 | 995767 | 550882 | 12853 93 | 25 | 267
678.35/678.64 c 677s | 19 | 998384 | 552382 | 12853 93 | 25 | 267
680.66/680.91 c 679s | 19 | 1000149 | 553482 | 12853 94 | 25 | 267
682.66/682.97 c 681s | 19 | 1004004 | 555382 | 12853 94 | 25 | 267
684.86/685.10 c 683s | 19 | 1007596 | 557382 | 12853 94 | 25 | 267
686.85/687.19 c 685s | 19 | 1010415 | 558982 | 12853 94 | 25 | 267
688.95/689.27 c 687s | 19 | 1012697 | 560082 | 12853 95 | 25 | 267
690.95/691.28 c 689s | 19 | 1015902 | 561682 | 12853 95 | 25 | 267
693.15/693.41 c 691s | 19 | 1018369 | 563082 | 12853 95 | 25 | 267
695.25/695.51 c 694s | 19 | 1021896 | 564682 | 12853 95 | 25 | 267
697.34/697.62 c 696s | 19 | 1024808 | 566182 | 12853 95 | 25 | 267
699.45/699.73 c 698s | 19 | 1026858 | 567182 | 12853 96 | 25 | 267
701.54/701.85 c 700s | 19 | 1029097 | 568482 | 12853 96 | 25 | 267
703.65/703.98 c 702s | 19 | 1031065 | 569382 | 12853 96 | 25 | 267
705.74/706.03 c 704s | 19 | 1035189 | 571882 | 12853 96 | 25 | 267
707.74/708.06 c 706s | 19 | 1038621 | 573782 | 12853 96 | 25 | 267
709.84/710.18 c 708s | 19 | 1041170 | 575182 | 12853 97 | 25 | 267
711.94/712.23 c 710s | 19 | 1043754 | 576782 | 12853 97 | 25 | 267
714.04/714.36 c 712s | 19 | 1046481 | 578182 | 12853 97 | 25 | 267
716.13/716.42 c 715s | 19 | 1049578 | 579682 | 12853 97 | 25 | 267
718.33/718.65 c 717s | 19 | 1052642 | 581382 | 12853 97 | 25 | 267
720.35/720.67 c 719s | 19 | 1054515 | 582382 | 12853 98 | 25 | 267
722.45/722.74 c 721s | 19 | 1058963 | 584082 | 12853 98 | 25 | 267
724.54/724.82 c 723s | 19 | 1061918 | 585682 | 12853 98 | 25 | 267
726.54/726.87 c 725s | 19 | 1064702 | 587182 | 12853 98 | 25 | 267
729.15/729.43 c 728s | 19 | 1067756 | 588682 | 12853 99 | 25 | 267
731.24/731.54 c 730s | 19 | 1070171 | 590082 | 12853 99 | 25 | 267
733.23/733.58 c 732s | 19 | 1072953 | 591582 | 12853 99 | 25 | 267
735.33/735.61 c 734s | 19 | 1075987 | 593082 | 12853 99 | 25 | 267
737.43/737.73 c 736s | 19 | 1079372 | 595082 | 12853 99 | 25 | 267
739.53/739.81 c 738s | 19 | 1082084 | 596782 | 12853 100 | 25 | 267
741.54/741.87 c 740s | 19 | 1084887 | 598582 | 12853 100 | 25 | 267
743.63/743.91 c 742s | 19 | 1086585 | 599882 | 12853 100 | 25 | 267
745.64/745.99 c 744s | 19 | 1088772 | 601282 | 12853 100 | 25 | 267
747.74/748.02 c 746s | 19 | 1090757 | 602582 | 12853 100 | 25 | 267
749.83/750.10 c 748s | 19 | 1093240 | 603982 | 12853 101 | 25 | 267
751.84/752.16 c 750s | 19 | 1096081 | 605782 | 12853 101 | 25 | 267
753.94/754.22 c 752s | 19 | 1098765 | 607682 | 12853 101 | 25 | 267
755.93/756.26 c 754s | 19 | 1101426 | 609682 | 12853 101 | 25 | 267
758.03/758.35 c 756s | 19 | 1103280 | 611082 | 12853 102 | 25 | 267
760.13/760.42 c 758s | 19 | 1105825 | 612982 | 12853 102 | 25 | 267
762.14/762.44 c 761s | 19 | 1108117 | 614682 | 12853 102 | 25 | 267
764.23/764.54 c 763s | 19 | 1111776 | 616682 | 12853 102 | 25 | 267
766.33/766.64 c 765s | 19 | 1113536 | 617782 | 12853 103 | 25 | 267
768.43/768.72 c 767s | 19 | 1115837 | 619282 | 12853 103 | 25 | 267
770.53/770.81 c 769s | 19 | 1117920 | 620682 | 12853 103 | 25 | 267
772.53/772.89 c 771s | 19 | 1120781 | 622382 | 12853 103 | 25 | 267
774.63/774.92 c 773s | 19 | 1123013 | 623882 | 12853 103 | 25 | 267
776.63/776.95 c 775s | 19 | 1124754 | 625082 | 12853 104 | 25 | 267
778.63/778.95 c 777s | 19 | 1127041 | 626582 | 12853 104 | 25 | 267
780.73/781.10 c 779s | 19 | 1129129 | 627982 | 12853 104 | 25 | 267
782.93/783.23 c 781s | 19 | 1131452 | 629382 | 12853 104 | 25 | 267
785.03/785.32 c 783s | 19 | 1133215 | 630782 | 12853 104 | 25 | 267
787.03/787.35 c 785s | 19 | 1134533 | 631782 | 12853 105 | 25 | 267
789.13/789.40 c 787s | 19 | 1137126 | 633382 | 12853 105 | 25 | 267
791.12/791.41 c 789s | 19 | 1139153 | 634782 | 12853 105 | 25 | 267
793.12/793.46 c 792s | 19 | 1142039 | 636682 | 12853 105 | 25 | 267
795.23/795.56 c 794s | 19 | 1143739 | 637882 | 12853 105 | 25 | 267
797.33/797.61 c 796s | 19 | 1145045 | 638882 | 12853 106 | 25 | 267
799.33/799.63 c 798s | 19 | 1147312 | 640382 | 12853 106 | 25 | 267
801.52/801.88 c 800s | 19 | 1149423 | 641782 | 12853 106 | 25 | 267
803.52/803.89 c 802s | 19 | 1152567 | 643882 | 12853 106 | 25 | 267
805.52/805.89 c 804s | 19 | 1155570 | 645782 | 12853 106 | 25 | 267
807.63/807.97 c 806s | 19 | 1156615 | 646582 | 12853 107 | 25 | 267
809.63/809.97 c 808s | 19 | 1159387 | 648382 | 12853 107 | 25 | 267
811.73/812.00 c 810s | 19 | 1162192 | 650182 | 12853 107 | 25 | 267
813.83/814.13 c 812s | 19 | 1164447 | 651782 | 12853 107 | 25 | 267
816.12/816.44 c 815s | 19 | 1166350 | 653082 | 12853 108 | 25 | 267
818.13/818.46 c 817s | 19 | 1168959 | 654682 | 12853 108 | 25 | 267
820.12/820.46 c 819s | 19 | 1171216 | 656282 | 12853 108 | 25 | 267
822.32/822.61 c 821s | 19 | 1173212 | 657682 | 12853 108 | 25 | 267
824.32/824.66 c 823s | 19 | 1175095 | 658982 | 12853 108 | 25 | 267
826.72/827.09 c 825s | 19 | 1176934 | 660282 | 12853 109 | 25 | 267
828.82/829.16 c 827s | 19 | 1179565 | 662082 | 12853 109 | 25 | 267
830.92/831.22 c 829s | 19 | 1181572 | 663582 | 14139 109 | 25 | 267
833.02/833.34 c 831s | 19 | 1183558 | 665082 | 14139 109 | 25 | 267
835.12/835.46 c 834s | 19 | 1185586 | 666582 | 14139 109 | 25 | 267
835.52/835.82 c 834s | 20 | 1185883 | 666827 | 14139 109 | 25 | 267
838.03/838.39 c 836s | 20 | 1190281 | 668627 | 14139 110 | 25 | 267
840.13/840.44 c 839s | 20 | 1194405 | 670727 | 14139 110 | 25 | 267
842.12/842.46 c 841s | 20 | 1197910 | 672627 | 14139 110 | 25 | 267
844.12/844.47 c 843s | 20 | 1200805 | 674327 | 14139 110 | 25 | 267
846.22/846.53 c 845s | 20 | 1204367 | 676227 | 14139 110 | 25 | 267
848.22/848.59 c 847s | 20 | 1206009 | 677327 | 14139 111 | 25 | 267
850.31/850.66 c 849s | 20 | 1208366 | 678727 | 14139 111 | 25 | 267
852.42/852.79 c 851s | 20 | 1210909 | 680227 | 14139 111 | 25 | 267
854.53/854.81 c 853s | 20 | 1213483 | 681627 | 14139 111 | 25 | 267
856.63/856.93 c 855s | 20 | 1215232 | 682727 | 14139 111 | 25 | 267
858.62/858.99 c 857s | 20 | 1217319 | 683927 | 14139 111 | 25 | 267
860.72/861.05 c 859s | 20 | 1218353 | 684527 | 14139 112 | 25 | 267
862.81/863.10 c 861s | 20 | 1221031 | 685927 | 14139 112 | 25 | 267
864.81/865.17 c 863s | 20 | 1224462 | 687727 | 14139 112 | 25 | 267
866.82/867.18 c 865s | 20 | 1227244 | 689227 | 14139 112 | 25 | 267
868.92/869.30 c 867s | 20 | 1229905 | 690627 | 14139 112 | 25 | 267
871.12/871.49 c 870s | 20 | 1231892 | 691927 | 14139 112 | 25 | 267
873.23/873.52 c 872s | 20 | 1233127 | 692727 | 14139 113 | 25 | 267
875.22/875.55 c 874s | 20 | 1235146 | 693927 | 14139 113 | 25 | 267
877.21/877.57 c 876s | 20 | 1237118 | 695127 | 14139 113 | 25 | 267
879.21/879.58 c 878s | 20 | 1239166 | 696327 | 14139 113 | 25 | 267
881.22/881.59 c 880s | 20 | 1241934 | 697627 | 14139 113 | 25 | 267
883.31/883.66 c 882s | 20 | 1244704 | 698927 | 14139 113 | 25 | 267
885.81/886.17 c 884s | 20 | 1246736 | 699927 | 14139 114 | 25 | 267
887.91/888.26 c 886s | 20 | 1249624 | 701427 | 14139 114 | 25 | 267
889.91/890.28 c 888s | 20 | 1252842 | 702927 | 14139 114 | 25 | 267
892.01/892.34 c 890s | 20 | 1255639 | 704327 | 14139 114 | 25 | 267
894.02/894.40 c 892s | 20 | 1258913 | 705827 | 14139 114 | 25 | 267
896.11/896.40 c 894s | 20 | 1261832 | 707127 | 14139 114 | 25 | 267
898.11/898.46 c 897s | 20 | 1263491 | 707927 | 14139 115 | 25 | 267
900.31/900.62 c 899s | 20 | 1266519 | 709427 | 14139 115 | 25 | 267
902.51/902.89 c 901s | 20 | 1269993 | 711027 | 14139 115 | 25 | 267
904.71/905.03 c 903s | 20 | 1272808 | 712527 | 14139 115 | 25 | 267
906.81/907.11 c 905s | 20 | 1275679 | 713827 | 14139 115 | 25 | 267
908.81/909.19 c 907s | 20 | 1278372 | 715227 | 14139 115 | 25 | 267
910.91/911.22 c 909s | 20 | 1279868 | 716127 | 14139 116 | 25 | 267
913.01/913.35 c 911s | 20 | 1282670 | 717627 | 14139 116 | 25 | 267
915.01/915.38 c 913s | 20 | 1285016 | 718927 | 14139 116 | 25 | 267
917.01/917.39 c 915s | 20 | 1287054 | 720027 | 14139 116 | 25 | 267
919.11/919.40 c 917s | 20 | 1289900 | 721227 | 14139 116 | 25 | 267
921.11/921.48 c 920s | 20 | 1293224 | 722527 | 14139 116 | 25 | 267
923.40/923.70 c 922s | 20 | 1295378 | 723427 | 14139 117 | 25 | 267
925.50/925.85 c 924s | 20 | 1297665 | 724627 | 14139 117 | 25 | 267
927.71/928.03 c 926s | 20 | 1300531 | 726027 | 14139 117 | 25 | 267
929.81/930.12 c 928s | 20 | 1303095 | 727327 | 14139 117 | 25 | 267
931.81/932.20 c 930s | 20 | 1304886 | 728527 | 14139 117 | 25 | 267
933.90/934.23 c 932s | 20 | 1306201 | 729427 | 14139 117 | 25 | 267
936.00/936.36 c 934s | 20 | 1307691 | 730427 | 14139 117 | 25 | 267
938.41/938.76 c 937s | 20 | 1309244 | 731227 | 14139 118 | 25 | 267
940.41/940.77 c 939s | 20 | 1311696 | 732427 | 14139 118 | 25 | 267
942.41/942.77 c 941s | 20 | 1313913 | 733527 | 14139 118 | 25 | 267
944.50/944.81 c 943s | 20 | 1316063 | 734727 | 14139 118 | 25 | 267
946.50/946.87 c 945s | 20 | 1318405 | 735927 | 14139 118 | 25 | 267
948.61/948.91 c 947s | 20 | 1320413 | 737027 | 14139 118 | 25 | 267
950.60/950.98 c 949s | 20 | 1322175 | 738027 | 14139 118 | 25 | 267
952.60/953.00 c 951s | 20 | 1323832 | 738827 | 14139 118 | 25 | 267
954.70/955.09 c 953s | 20 | 1324970 | 739527 | 14139 119 | 25 | 267
956.81/957.13 c 955s | 20 | 1326887 | 740527 | 14139 119 | 25 | 267
958.90/959.25 c 957s | 20 | 1330425 | 741927 | 14139 119 | 25 | 267
960.90/961.27 c 959s | 20 | 1332400 | 743027 | 14139 119 | 25 | 267
963.10/963.45 c 962s | 20 | 1334233 | 744127 | 14139 119 | 25 | 267
965.20/965.50 c 964s | 20 | 1336338 | 745227 | 14139 119 | 25 | 267
967.20/967.59 c 966s | 20 | 1338017 | 746227 | 14139 119 | 25 | 267
969.30/969.60 c 968s | 20 | 1339315 | 746927 | 14139 120 | 25 | 267
971.29/971.67 c 970s | 20 | 1341811 | 748227 | 14139 120 | 25 | 267
973.40/973.72 c 972s | 20 | 1343968 | 749427 | 14139 120 | 25 | 267
975.60/975.92 c 974s | 20 | 1345883 | 750527 | 14139 120 | 25 | 267
977.70/978.05 c 976s | 20 | 1347919 | 751627 | 14139 120 | 25 | 267
979.81/980.18 c 978s | 20 | 1349733 | 752627 | 14139 120 | 25 | 267
981.90/982.30 c 980s | 20 | 1353016 | 754127 | 14139 120 | 25 | 267
984.00/984.39 c 982s | 20 | 1354502 | 754827 | 14139 121 | 25 | 267
986.20/986.56 c 985s | 20 | 1357671 | 756427 | 14139 121 | 25 | 267
988.29/988.60 c 987s | 20 | 1360501 | 757827 | 14139 121 | 25 | 267
990.29/990.62 c 989s | 20 | 1362664 | 759027 | 14139 121 | 25 | 267
992.29/992.64 c 991s | 20 | 1365286 | 760227 | 14139 121 | 25 | 267
994.30/994.67 c 993s | 20 | 1368000 | 761527 | 14139 121 | 25 | 267
996.70/997.05 c 995s | 20 | 1370200 | 762527 | 14139 122 | 25 | 267
998.90/999.21 c 997s | 20 | 1372901 | 763927 | 14139 122 | 25 | 267
1000.90/1001.24 c 999s | 20 | 1375204 | 765227 | 14139 122 | 25 | 267
1002.90/1003.30 c 1001s | 20 | 1377871 | 766527 | 14139 122 | 25 | 267
1004.99/1005.37 c 1003s | 20 | 1379908 | 767627 | 14139 122 | 25 | 267
1007.19/1007.56 c 1006s | 20 | 1382021 | 768827 | 14139 122 | 25 | 267
1009.30/1009.62 c 1008s | 20 | 1384456 | 770027 | 14139 122 | 25 | 267
1011.40/1011.79 c 1010s | 20 | 1385992 | 770827 | 14139 123 | 25 | 267
1013.49/1013.81 c 1012s | 20 | 1388263 | 772027 | 14139 123 | 25 | 267
1016.29/1016.64 c 1015s | 20 | 1390413 | 773127 | 14139 123 | 25 | 267
1018.39/1018.71 c 1017s | 20 | 1394033 | 774527 | 14139 123 | 25 | 267
1020.49/1020.83 c 1019s | 20 | 1396849 | 775927 | 14139 123 | 25 | 267
1022.59/1022.91 c 1021s | 20 | 1399426 | 777227 | 14139 123 | 25 | 267
1024.90/1025.21 c 1023s | 20 | 1401470 | 778127 | 14139 124 | 25 | 267
1026.89/1027.27 c 1025s | 20 | 1404196 | 779427 | 14139 124 | 25 | 267
1028.99/1029.32 c 1027s | 20 | 1406807 | 780827 | 14139 124 | 25 | 267
1031.09/1031.44 c 1030s | 20 | 1408901 | 782027 | 14139 124 | 25 | 267
1033.19/1033.53 c 1032s | 20 | 1411468 | 783227 | 14139 124 | 25 | 267
1035.29/1035.61 c 1034s | 20 | 1413523 | 784327 | 14139 124 | 25 | 267
1037.29/1037.67 c 1036s | 20 | 1416201 | 785627 | 14139 124 | 25 | 267
1039.39/1039.74 c 1038s | 20 | 1417891 | 786427 | 14139 125 | 25 | 267
1041.40/1041.78 c 1040s | 20 | 1420499 | 787727 | 14139 125 | 25 | 267
1043.39/1043.78 c 1042s | 20 | 1422775 | 788927 | 14139 125 | 25 | 267
1045.49/1045.87 c 1044s | 20 | 1424845 | 790027 | 14139 125 | 25 | 267
1047.49/1047.88 c 1046s | 20 | 1426005 | 790727 | 14139 125 | 25 | 267
1049.49/1049.88 c 1048s | 20 | 1428275 | 791927 | 14139 125 | 25 | 267
1051.58/1051.91 c 1050s | 20 | 1430828 | 793227 | 14139 125 | 25 | 267
1053.68/1054.02 c 1052s | 20 | 1432089 | 793927 | 14139 126 | 25 | 267
1055.70/1056.05 c 1054s | 20 | 1434621 | 795327 | 14139 126 | 25 | 267
1057.79/1058.14 c 1056s | 20 | 1437561 | 796727 | 14139 126 | 25 | 267
1059.99/1060.32 c 1058s | 20 | 1440246 | 798227 | 14139 126 | 25 | 267
1061.98/1062.39 c 1060s | 20 | 1442126 | 799327 | 14139 126 | 25 | 267
1064.28/1064.60 c 1063s | 20 | 1443901 | 800327 | 14139 126 | 25 | 267
1066.29/1066.61 c 1065s | 20 | 1445705 | 801527 | 14139 126 | 25 | 267
1068.29/1068.66 c 1067s | 20 | 1447028 | 802327 | 14139 127 | 25 | 267
1070.29/1070.67 c 1069s | 20 | 1449749 | 803627 | 14139 127 | 25 | 267
1072.48/1072.81 c 1071s | 20 | 1452625 | 805127 | 14139 127 | 25 | 267
1074.58/1074.91 c 1073s | 20 | 1455128 | 806527 | 14139 127 | 25 | 267
1076.69/1077.02 c 1075s | 20 | 1457627 | 807827 | 14139 127 | 25 | 267
1078.79/1079.13 c 1077s | 20 | 1459561 | 808927 | 14139 127 | 25 | 267
1080.88/1081.26 c 1079s | 20 | 1461205 | 809627 | 14139 128 | 25 | 267
1082.98/1083.34 c 1081s | 20 | 1463574 | 810627 | 14139 128 | 25 | 267
1085.08/1085.42 c 1083s | 20 | 1465686 | 811727 | 14139 128 | 25 | 267
1087.19/1087.58 c 1086s | 20 | 1467517 | 812727 | 14139 128 | 25 | 267
1089.28/1089.67 c 1088s | 20 | 1470473 | 814027 | 14139 128 | 25 | 267
1091.38/1091.72 c 1090s | 20 | 1473963 | 815427 | 14139 128 | 25 | 267
1093.38/1093.79 c 1092s | 20 | 1477133 | 816627 | 14139 128 | 25 | 267
1095.58/1095.97 c 1094s | 20 | 1478490 | 817327 | 14139 129 | 25 | 267
1097.68/1098.10 c 1096s | 20 | 1480563 | 818427 | 14139 129 | 25 | 267
1099.69/1100.10 c 1098s | 20 | 1482325 | 819427 | 14139 129 | 25 | 267
1101.77/1102.12 c 1100s | 20 | 1484263 | 820427 | 14139 129 | 25 | 267
1103.78/1104.15 c 1102s | 20 | 1486322 | 821427 | 14139 129 | 25 | 267
1105.88/1106.24 c 1104s | 20 | 1488357 | 822527 | 14139 129 | 25 | 267
1107.88/1108.29 c 1106s | 20 | 1490680 | 823727 | 14139 129 | 25 | 267
1109.98/1110.34 c 1108s | 20 | 1492886 | 824727 | 14139 129 | 25 | 267
1112.08/1112.43 c 1111s | 20 | 1494316 | 825327 | 14139 130 | 25 | 267
1114.28/1114.62 c 1113s | 20 | 1496171 | 826327 | 14139 130 | 25 | 267
1116.47/1116.81 c 1115s | 20 | 1498728 | 827527 | 14139 130 | 25 | 267
1118.57/1118.95 c 1117s | 20 | 1500628 | 828427 | 14139 130 | 25 | 267
1120.69/1121.01 c 1119s | 20 | 1502310 | 829227 | 14139 130 | 25 | 267
1122.79/1123.11 c 1121s | 20 | 1504014 | 830027 | 14139 130 | 25 | 267
1124.98/1125.38 c 1123s | 20 | 1505669 | 830827 | 14139 130 | 25 | 267
1127.18/1127.51 c 1126s | 20 | 1507477 | 831527 | 14139 130 | 25 | 267
1129.17/1129.53 c 1128s | 20 | 1509692 | 832627 | 14139 130 | 25 | 267
1131.28/1131.68 c 1130s | 20 | 1510990 | 833327 | 14139 131 | 25 | 267
1133.38/1133.77 c 1132s | 20 | 1513691 | 834827 | 14139 131 | 25 | 267
1135.67/1136.00 c 1134s | 20 | 1516630 | 836527 | 14139 131 | 25 | 267
1137.67/1138.09 c 1136s | 20 | 1518839 | 837827 | 14139 131 | 25 | 267
1139.87/1140.26 c 1138s | 20 | 1520935 | 839127 | 14139 131 | 25 | 267
1142.07/1142.46 c 1141s | 20 | 1522832 | 840227 | 14139 131 | 25 | 267
1144.27/1144.61 c 1143s | 20 | 1524301 | 841027 | 14139 132 | 25 | 267
1146.28/1146.65 c 1145s | 20 | 1526814 | 842227 | 14139 132 | 25 | 267
1148.27/1148.66 c 1147s | 20 | 1529217 | 843327 | 14139 132 | 25 | 267
1150.28/1150.67 c 1149s | 20 | 1531586 | 844427 | 14139 132 | 25 | 267
1152.37/1152.74 c 1151s | 20 | 1534694 | 845727 | 14139 132 | 25 | 267
1154.57/1154.90 c 1153s | 20 | 1538145 | 847027 | 14139 132 | 25 | 267
1156.57/1156.96 c 1155s | 20 | 1540467 | 848127 | 14139 132 | 25 | 267
1158.67/1159.08 c 1157s | 20 | 1541845 | 848827 | 14139 133 | 25 | 267
1160.77/1161.10 c 1159s | 20 | 1543652 | 849827 | 14139 133 | 25 | 267
1162.87/1163.20 c 1161s | 20 | 1545764 | 851027 | 14139 133 | 25 | 267
1164.97/1165.31 c 1163s | 20 | 1548201 | 852227 | 14139 133 | 25 | 267
1166.97/1167.39 c 1165s | 20 | 1550130 | 853327 | 14139 133 | 25 | 267
1169.07/1169.46 c 1168s | 20 | 1552434 | 854427 | 14139 133 | 25 | 267
1171.17/1171.56 c 1170s | 20 | 1554448 | 855427 | 14139 133 | 25 | 267
1173.27/1173.63 c 1172s | 20 | 1556082 | 856227 | 14139 133 | 25 | 267
1175.27/1175.65 c 1174s | 20 | 1557307 | 856827 | 14139 134 | 25 | 267
1177.37/1177.76 c 1176s | 20 | 1559558 | 857927 | 14139 134 | 25 | 267
1179.47/1179.80 c 1178s | 20 | 1561751 | 859027 | 14139 134 | 25 | 267
1181.57/1181.95 c 1180s | 20 | 1564920 | 860727 | 14139 134 | 25 | 267
1183.67/1184.03 c 1182s | 20 | 1567549 | 862527 | 14139 134 | 25 | 267
1186.57/1186.93 c 1185s | 20 | 1569820 | 864127 | 14139 135 | 25 | 267
1188.57/1188.97 c 1187s | 20 | 1571898 | 865527 | 14139 135 | 25 | 267
1190.66/1191.03 c 1189s | 20 | 1573983 | 866927 | 14139 135 | 25 | 267
1192.76/1193.16 c 1191s | 20 | 1575978 | 868327 | 14139 135 | 25 | 267
1194.86/1195.25 c 1193s | 20 | 1577936 | 869727 | 14139 135 | 25 | 267
1196.97/1197.35 c 1195s | 20 | 1580440 | 871027 | 14139 135 | 25 | 267
1199.07/1199.43 c 1198s | 20 | 1582001 | 871927 | 14139 136 | 25 | 267
1201.17/1201.50 c 1200s | 20 | 1585386 | 873527 | 14139 136 | 25 | 267
1203.26/1203.61 c 1202s | 20 | 1589244 | 875327 | 14139 136 | 25 | 267
1205.37/1205.71 c 1204s | 20 | 1591716 | 876727 | 14139 136 | 25 | 267
1207.47/1207.81 c 1206s | 20 | 1593922 | 878027 | 14139 136 | 25 | 267
1209.56/1209.94 c 1208s | 20 | 1595568 | 879127 | 14139 136 | 25 | 267
1211.76/1212.14 c 1210s | 20 | 1596663 | 879827 | 14139 137 | 25 | 267
1213.97/1214.32 c 1212s | 20 | 1598541 | 880927 | 14139 137 | 25 | 267
1216.07/1216.41 c 1214s | 20 | 1600995 | 882227 | 14139 137 | 25 | 267
1218.16/1218.51 c 1217s | 20 | 1603232 | 883427 | 14139 137 | 25 | 267
1220.16/1220.53 c 1219s | 20 | 1606060 | 885027 | 14139 137 | 25 | 267
1222.26/1222.67 c 1221s | 20 | 1608119 | 886327 | 14139 137 | 25 | 267
1224.26/1224.68 c 1223s | 20 | 1609861 | 887527 | 14139 137 | 25 | 267
1226.36/1226.73 c 1225s | 20 | 1611371 | 888327 | 14139 138 | 25 | 267
1228.46/1228.83 c 1227s | 20 | 1613313 | 889527 | 14139 138 | 25 | 267
1230.46/1230.86 c 1229s | 20 | 1615462 | 890827 | 14139 138 | 25 | 267
1232.66/1233.01 c 1231s | 20 | 1617406 | 892127 | 14139 138 | 25 | 267
1234.66/1235.01 c 1233s | 20 | 1618897 | 893227 | 14139 138 | 25 | 267
1236.76/1237.14 c 1235s | 20 | 1620575 | 894327 | 14139 138 | 25 | 267
1239.66/1240.03 c 1238s | 20 | 1622307 | 895427 | 14139 139 | 25 | 267
1241.67/1242.06 c 1240s | 20 | 1624210 | 896427 | 14139 139 | 25 | 267
1243.76/1244.19 c 1242s | 20 | 1626149 | 897627 | 14139 139 | 25 | 267
1245.86/1246.26 c 1244s | 20 | 1627891 | 898727 | 14139 139 | 25 | 267
1248.16/1248.51 c 1247s | 20 | 1629351 | 899727 | 14139 139 | 25 | 267
1250.15/1250.56 c 1249s | 20 | 1631318 | 900827 | 14139 139 | 25 | 267
1252.15/1252.59 c 1251s | 20 | 1633343 | 902027 | 14139 139 | 25 | 267
1254.26/1254.66 c 1253s | 20 | 1635037 | 903127 | 14139 139 | 25 | 267
1256.36/1256.77 c 1255s | 20 | 1635899 | 903727 | 14139 140 | 25 | 267
1258.36/1258.77 c 1257s | 20 | 1637758 | 904927 | 14139 140 | 25 | 267
1260.37/1260.78 c 1259s | 20 | 1639674 | 906027 | 14139 140 | 25 | 267
1262.56/1262.96 c 1261s | 20 | 1641765 | 907527 | 14139 140 | 25 | 267
1264.66/1265.07 c 1263s | 20 | 1643758 | 908727 | 14139 140 | 25 | 267
1266.86/1267.22 c 1265s | 20 | 1645327 | 909827 | 14139 140 | 25 | 267
1269.55/1269.98 c 1268s | 20 | 1646907 | 911027 | 14139 141 | 25 | 267
1271.55/1271.99 c 1270s | 20 | 1648676 | 912327 | 14139 141 | 25 | 267
1273.66/1274.01 c 1272s | 20 | 1650106 | 913327 | 14139 141 | 25 | 267
1275.66/1276.08 c 1274s | 20 | 1652035 | 914527 | 14139 141 | 25 | 267
1277.75/1278.16 c 1276s | 20 | 1654259 | 915727 | 14139 141 | 25 | 267
1279.85/1280.26 c 1278s | 20 | 1656228 | 916827 | 14139 141 | 25 | 267
1281.95/1282.34 c 1280s | 20 | 1657688 | 917827 | 14139 141 | 25 | 267
1284.35/1284.80 c 1283s | 20 | 1659193 | 918827 | 14139 142 | 25 | 267
1286.46/1286.88 c 1285s | 20 | 1661487 | 920027 | 14139 142 | 25 | 267
1288.65/1289.08 c 1287s | 20 | 1663712 | 921327 | 14139 142 | 25 | 267
1290.95/1291.31 c 1289s | 20 | 1664924 | 922027 | 14139 142 | 25 | 267
1292.95/1293.36 c 1291s | 20 | 1666848 | 923227 | 14139 142 | 25 | 267
1294.95/1295.39 c 1293s | 20 | 1668749 | 924527 | 14139 142 | 25 | 267
1297.05/1297.46 c 1296s | 20 | 1670470 | 925727 | 14139 142 | 25 | 267
1299.25/1299.62 c 1298s | 20 | 1671920 | 926627 | 14139 143 | 25 | 267
1301.34/1301.70 c 1300s | 20 | 1674050 | 927927 | 14139 143 | 25 | 267
1303.44/1303.83 c 1302s | 20 | 1675606 | 928927 | 14139 143 | 25 | 267
1305.55/1305.99 c 1304s | 20 | 1676971 | 929927 | 14139 143 | 25 | 267
1307.66/1308.01 c 1306s | 20 | 1678770 | 931127 | 14139 143 | 25 | 267
1309.65/1310.06 c 1308s | 20 | 1680385 | 932327 | 14139 143 | 25 | 267
1311.75/1312.19 c 1310s | 20 | 1681857 | 933427 | 14139 143 | 25 | 267
1314.55/1314.92 c 1313s | 20 | 1683091 | 934427 | 14139 144 | 25 | 267
1316.55/1316.97 c 1315s | 20 | 1684805 | 935727 | 14139 144 | 25 | 267
1318.55/1318.97 c 1317s | 20 | 1686370 | 936827 | 14139 144 | 25 | 267
1320.75/1321.13 c 1319s | 20 | 1687717 | 937827 | 14139 144 | 25 | 267
1322.75/1323.13 c 1321s | 20 | 1689276 | 938927 | 14139 144 | 25 | 267
1324.85/1325.29 c 1323s | 20 | 1690892 | 940127 | 14139 144 | 25 | 267
1327.05/1327.45 c 1326s | 20 | 1692391 | 941227 | 14139 144 | 25 | 267
1329.75/1330.16 c 1328s | 20 | 1693835 | 942227 | 14139 145 | 25 | 267
1331.85/1332.28 c 1330s | 20 | 1695705 | 943427 | 14139 145 | 25 | 267
1333.95/1334.40 c 1332s | 20 | 1697300 | 944427 | 14139 145 | 25 | 267
1336.16/1336.51 c 1335s | 20 | 1699442 | 945827 | 14139 145 | 25 | 267
1338.25/1338.61 c 1337s | 20 | 1701076 | 947027 | 14139 145 | 25 | 267
1340.25/1340.62 c 1339s | 20 | 1703227 | 948327 | 14139 145 | 25 | 267
1342.25/1342.64 c 1341s | 20 | 1705991 | 949827 | 14139 145 | 25 | 267
1344.25/1344.67 c 1343s | 20 | 1707486 | 950727 | 14139 146 | 25 | 267
1346.45/1346.80 c 1345s | 20 | 1709422 | 952027 | 14139 146 | 25 | 267
1348.44/1348.81 c 1347s | 20 | 1711266 | 953127 | 14139 146 | 25 | 267
1350.64/1351.03 c 1349s | 20 | 1713525 | 954327 | 14139 146 | 25 | 267
1352.75/1353.18 c 1351s | 20 | 1715936 | 955827 | 14139 146 | 25 | 267
1354.85/1355.23 c 1353s | 20 | 1717923 | 957027 | 14139 146 | 25 | 267
1357.34/1357.72 c 1356s | 20 | 1719470 | 957927 | 14139 147 | 25 | 267
1359.35/1359.74 c 1358s | 20 | 1721573 | 959227 | 14139 147 | 25 | 267
1361.44/1361.81 c 1360s | 20 | 1723332 | 960427 | 14139 147 | 25 | 267
1363.44/1363.83 c 1362s | 20 | 1725239 | 961527 | 14139 147 | 25 | 267
1365.53/1365.96 c 1364s | 20 | 1727114 | 962827 | 14139 147 | 25 | 267
1367.54/1367.99 c 1366s | 20 | 1728433 | 963827 | 14139 147 | 25 | 267
1369.74/1370.12 c 1368s | 20 | 1729774 | 964827 | 14139 147 | 25 | 267
1371.74/1372.19 c 1370s | 20 | 1730903 | 965727 | 14139 148 | 25 | 267
1373.83/1374.27 c 1372s | 20 | 1733374 | 967227 | 14139 148 | 25 | 267
1375.93/1376.33 c 1374s | 20 | 1735755 | 968727 | 14139 148 | 25 | 267
1378.04/1378.45 c 1377s | 20 | 1737523 | 970027 | 14139 148 | 25 | 267
1380.04/1380.45 c 1379s | 20 | 1739262 | 971227 | 14139 148 | 25 | 267
1382.35/1382.75 c 1381s | 20 | 1740614 | 972227 | 14139 148 | 25 | 267
1384.44/1384.82 c 1383s | 20 | 1742701 | 973427 | 14139 148 | 25 | 267
1386.43/1386.88 c 1385s | 20 | 1743647 | 974027 | 14139 149 | 25 | 267
1388.43/1388.89 c 1387s | 20 | 1745590 | 975327 | 14139 149 | 25 | 267
1391.24/1391.67 c 1390s | 20 | 1747322 | 976527 | 14139 149 | 25 | 267
1393.23/1393.68 c 1392s | 20 | 1750365 | 978127 | 14139 149 | 25 | 267
1395.33/1395.76 c 1394s | 20 | 1752736 | 979627 | 14139 149 | 25 | 267
1397.44/1397.86 c 1396s | 20 | 1754837 | 980827 | 14139 149 | 25 | 267
1399.54/1399.90 c 1398s | 20 | 1756223 | 981527 | 14139 150 | 25 | 267
1401.64/1402.04 c 1400s | 20 | 1759152 | 983027 | 14139 150 | 25 | 267
1403.73/1404.17 c 1402s | 20 | 1761449 | 984427 | 14139 150 | 25 | 267
1405.83/1406.27 c 1404s | 20 | 1764029 | 985827 | 14139 150 | 25 | 267
1407.93/1408.36 c 1406s | 20 | 1766352 | 987027 | 14139 150 | 25 | 267
1410.03/1410.46 c 1409s | 20 | 1768055 | 988127 | 14139 150 | 25 | 267
1412.04/1412.50 c 1411s | 20 | 1769804 | 989127 | 14139 150 | 25 | 267
1414.13/1414.51 c 1413s | 20 | 1770850 | 989727 | 14139 151 | 25 | 267
1416.13/1416.56 c 1415s | 20 | 1772778 | 990827 | 14139 151 | 25 | 267
1418.23/1418.70 c 1417s | 20 | 1774836 | 992027 | 14139 151 | 25 | 267
1420.43/1420.83 c 1419s | 20 | 1776670 | 993127 | 14139 151 | 25 | 267
1422.53/1422.95 c 1421s | 20 | 1778374 | 994127 | 15553 151 | 25 | 267
1424.53/1424.95 c 1423s | 20 | 1779868 | 995027 | 15553 151 | 25 | 267
1426.63/1427.09 c 1425s | 20 | 1781836 | 996327 | 15553 151 | 25 | 267
1428.73/1429.17 c 1427s | 20 | 1783799 | 997527 | 15553 151 | 25 | 267
1431.53/1431.95 c 1430s | 20 | 1785223 | 998427 | 15553 152 | 25 | 267
1433.63/1434.02 c 1432s | 20 | 1787390 | 999627 | 15553 152 | 25 | 267
1434.53/1434.92 c 1433s | 21 | 1788890 | 1000345 | 15553 152 | 25 | 267
1436.53/1436.99 c 1435s | 21 | 1791852 | 1001245 | 15553 152 | 25 | 267
1438.63/1439.01 c 1437s | 21 | 1794218 | 1002545 | 15553 152 | 25 | 267
1440.64/1441.03 c 1439s | 21 | 1795901 | 1003645 | 15553 152 | 25 | 267
1443.02/1443.40 c 1441s | 21 | 1797151 | 1004545 | 15553 152 | 25 | 267
1445.03/1445.45 c 1444s | 21 | 1798560 | 1005645 | 15553 152 | 25 | 267
1447.23/1447.64 c 1446s | 21 | 1800438 | 1006845 | 15553 152 | 25 | 267
1449.44/1449.84 c 1448s | 21 | 1801157 | 1007445 | 15553 153 | 25 | 267
1451.43/1451.88 c 1450s | 21 | 1802329 | 1008345 | 15553 153 | 25 | 267
1453.53/1453.98 c 1452s | 21 | 1803885 | 1009445 | 15553 153 | 25 | 267
1455.62/1456.06 c 1454s | 21 | 1805992 | 1010845 | 15553 153 | 25 | 267
1457.72/1458.14 c 1456s | 21 | 1808107 | 1012445 | 15553 153 | 25 | 267
1459.82/1460.22 c 1458s | 21 | 1810424 | 1013945 | 15553 153 | 25 | 267
1461.92/1462.38 c 1460s | 21 | 1812179 | 1015145 | 15553 153 | 25 | 267
1464.02/1464.41 c 1462s | 21 | 1812876 | 1015645 | 15553 154 | 25 | 267
1466.12/1466.52 c 1465s | 21 | 1814476 | 1016845 | 15553 154 | 25 | 267
1468.14/1468.53 c 1467s | 21 | 1816075 | 1018045 | 15553 154 | 25 | 267
1470.13/1470.54 c 1469s | 21 | 1817914 | 1019445 | 15553 154 | 25 | 267
1472.33/1472.71 c 1471s | 21 | 1819712 | 1020745 | 15553 154 | 25 | 267
1474.42/1474.88 c 1473s | 21 | 1821659 | 1022045 | 15553 154 | 25 | 267
1476.52/1476.96 c 1475s | 21 | 1823138 | 1023145 | 15553 154 | 25 | 267
1479.13/1479.58 c 1478s | 21 | 1824155 | 1023945 | 15553 155 | 25 | 267
1481.22/1481.63 c 1480s | 21 | 1825703 | 1025045 | 15553 155 | 25 | 267
1483.32/1483.71 c 1482s | 21 | 1827481 | 1026245 | 15553 155 | 25 | 267
1485.32/1485.74 c 1484s | 21 | 1829027 | 1027445 | 15553 155 | 25 | 267
1487.32/1487.75 c 1486s | 21 | 1830120 | 1028345 | 15553 155 | 25 | 267
1489.32/1489.76 c 1488s | 21 | 1831900 | 1029445 | 15553 155 | 25 | 267
1491.32/1491.80 c 1490s | 21 | 1833751 | 1030745 | 15553 155 | 25 | 267
1493.53/1493.92 c 1492s | 21 | 1835512 | 1032045 | 15553 155 | 25 | 267
1495.52/1496.00 c 1494s | 21 | 1836481 | 1032745 | 15553 156 | 25 | 267
1497.62/1498.07 c 1496s | 21 | 1838166 | 1034045 | 15553 156 | 25 | 267
1499.72/1500.16 c 1498s | 21 | 1839884 | 1035345 | 15553 156 | 25 | 267
1502.23/1502.62 c 1501s | 21 | 1841297 | 1036445 | 15553 156 | 25 | 267
1504.32/1504.72 c 1503s | 21 | 1843084 | 1037745 | 15553 156 | 25 | 267
1506.42/1506.81 c 1505s | 21 | 1844683 | 1038945 | 15553 156 | 25 | 267
1508.52/1508.99 c 1507s | 21 | 1846433 | 1040245 | 15553 156 | 25 | 267
1510.82/1511.25 c 1509s | 21 | 1847548 | 1041045 | 15553 157 | 25 | 267
1512.92/1513.38 c 1511s | 21 | 1848946 | 1042145 | 15553 157 | 25 | 267
1515.01/1515.40 c 1513s | 21 | 1850550 | 1043345 | 15553 157 | 25 | 267
1517.01/1517.43 c 1516s | 21 | 1852072 | 1044445 | 15553 157 | 25 | 267
1519.21/1519.61 c 1518s | 21 | 1853617 | 1045645 | 15553 157 | 25 | 267
1521.31/1521.74 c 1520s | 21 | 1854958 | 1046745 | 15553 157 | 25 | 267
1523.51/1523.96 c 1522s | 21 | 1856468 | 1047845 | 15553 157 | 25 | 267
1525.82/1526.29 c 1524s | 21 | 1857418 | 1048645 | 15553 157 | 25 | 267
1528.22/1528.66 c 1527s | 21 | 1858697 | 1049545 | 15553 158 | 25 | 267
1530.32/1530.77 c 1529s | 21 | 1860319 | 1050745 | 15553 158 | 25 | 267
1532.32/1532.78 c 1531s | 21 | 1862297 | 1052145 | 15553 158 | 25 | 267
1534.51/1534.96 c 1533s | 21 | 1864080 | 1053445 | 15553 158 | 25 | 267
1536.51/1536.98 c 1535s | 21 | 1865177 | 1054345 | 15553 158 | 25 | 267
1538.71/1539.12 c 1537s | 21 | 1866230 | 1055145 | 15553 158 | 25 | 267
1540.82/1541.22 c 1539s | 21 | 1867769 | 1056245 | 15553 158 | 25 | 267
1542.92/1543.35 c 1541s | 21 | 1869403 | 1057345 | 15553 158 | 25 | 267
1545.62/1546.02 c 1544s | 21 | 1870500 | 1058145 | 15553 159 | 25 | 267
1547.72/1548.16 c 1546s | 21 | 1871859 | 1059245 | 15553 159 | 25 | 267
1549.71/1550.18 c 1548s | 21 | 1873446 | 1060445 | 15553 159 | 25 | 267
1551.91/1552.32 c 1550s | 21 | 1875176 | 1061645 | 15553 159 | 25 | 267
1554.02/1554.46 c 1553s | 21 | 1876753 | 1062745 | 15553 159 | 25 | 267
1556.21/1556.66 c 1555s | 21 | 1878450 | 1064045 | 15553 159 | 25 | 267
1558.31/1558.75 c 1557s | 21 | 1880039 | 1065245 | 15553 159 | 25 | 267
1560.31/1560.75 c 1559s | 21 | 1881407 | 1066245 | 15553 159 | 25 | 267
1562.31/1562.76 c 1561s | 21 | 1882218 | 1066845 | 15553 160 | 25 | 267
1564.41/1564.81 c 1563s | 21 | 1883731 | 1068045 | 15553 160 | 25 | 267
1566.41/1566.82 c 1565s | 21 | 1885402 | 1068945 | 15553 160 | 25 | 267
1568.51/1568.90 c 1567s | 21 | 1888956 | 1071045 | 15553 160 | 25 | 267
1570.52/1570.96 c 1569s | 21 | 1891600 | 1072745 | 15553 160 | 25 | 267
1572.62/1573.09 c 1571s | 21 | 1893985 | 1074545 | 15553 160 | 25 | 267
1574.71/1575.14 c 1573s | 21 | 1895161 | 1075445 | 15553 161 | 25 | 267
1576.81/1577.20 c 1575s | 21 | 1897883 | 1077145 | 15553 161 | 25 | 267
1578.90/1579.32 c 1577s | 21 | 1900074 | 1078645 | 15553 161 | 25 | 267
1581.00/1581.50 c 1580s | 21 | 1901893 | 1079945 | 15553 161 | 25 | 267
1583.10/1583.51 c 1582s | 21 | 1903390 | 1081045 | 15553 161 | 25 | 267
1585.10/1585.58 c 1584s | 21 | 1905409 | 1082445 | 15553 161 | 25 | 267
1588.21/1588.64 c 1587s | 21 | 1907162 | 1083745 | 15553 162 | 25 | 267
1590.21/1590.66 c 1589s | 21 | 1909009 | 1085145 | 15553 162 | 25 | 267
1592.41/1592.82 c 1591s | 21 | 1910793 | 1086445 | 15553 162 | 25 | 267
1594.50/1594.96 c 1593s | 21 | 1912101 | 1087445 | 15553 162 | 25 | 267
1596.50/1596.99 c 1595s | 21 | 1913659 | 1088545 | 15553 162 | 25 | 267
1598.60/1599.06 c 1597s | 21 | 1915485 | 1089945 | 15553 162 | 25 | 267
1600.70/1601.14 c 1599s | 21 | 1917216 | 1091245 | 15553 162 | 25 | 267
1603.20/1603.63 c 1602s | 21 | 1918580 | 1092245 | 15553 163 | 25 | 267
1605.20/1605.67 c 1604s | 21 | 1920687 | 1093645 | 15553 163 | 25 | 267
1607.30/1607.79 c 1606s | 21 | 1923092 | 1095145 | 15553 163 | 25 | 267
1609.41/1609.87 c 1608s | 21 | 1925096 | 1096445 | 15553 163 | 25 | 267
1611.50/1611.93 c 1610s | 21 | 1926653 | 1097645 | 15553 163 | 25 | 267
1613.70/1614.16 c 1612s | 21 | 1928018 | 1098745 | 15553 163 | 25 | 267
1615.90/1616.33 c 1614s | 21 | 1929554 | 1099945 | 15553 163 | 25 | 267
1618.30/1618.79 c 1617s | 21 | 1930576 | 1100745 | 15553 164 | 25 | 267
1620.40/1620.87 c 1619s | 21 | 1932006 | 1101845 | 15553 164 | 25 | 267
1622.60/1623.02 c 1621s | 21 | 1933920 | 1103145 | 15553 164 | 25 | 267
1624.60/1625.03 c 1623s | 21 | 1935777 | 1104445 | 15553 164 | 25 | 267
1626.69/1627.10 c 1625s | 21 | 1937161 | 1105545 | 15553 164 | 25 | 267
1628.80/1629.25 c 1627s | 21 | 1938315 | 1106445 | 15553 164 | 25 | 267
1631.60/1632.03 c 1630s | 21 | 1939544 | 1107345 | 15553 164 | 25 | 267
1633.60/1634.05 c 1632s | 21 | 1941648 | 1108845 | 15553 164 | 25 | 267
1635.80/1636.28 c 1634s | 21 | 1942802 | 1109645 | 15553 165 | 25 | 267
1638.10/1638.54 c 1637s | 21 | 1944860 | 1111245 | 15553 165 | 25 | 267
1640.90/1641.36 c 1639s | 21 | 1946887 | 1112645 | 15553 165 | 25 | 267
1642.90/1643.40 c 1641s | 21 | 1949357 | 1114245 | 15553 165 | 25 | 267
1645.00/1645.41 c 1643s | 21 | 1951041 | 1115445 | 15553 165 | 25 | 267
1647.09/1647.52 c 1646s | 21 | 1952798 | 1116645 | 15553 165 | 25 | 267
1649.99/1650.40 c 1648s | 21 | 1954263 | 1117745 | 15553 166 | 25 | 267
1651.99/1652.44 c 1651s | 21 | 1956100 | 1119045 | 15553 166 | 25 | 267
1654.10/1654.57 c 1653s | 21 | 1957809 | 1120345 | 15553 166 | 25 | 267
1656.20/1656.66 c 1655s | 21 | 1959412 | 1121545 | 15553 166 | 25 | 267
1658.41/1658.81 c 1657s | 21 | 1962017 | 1122945 | 15553 166 | 25 | 267
1660.50/1660.93 c 1659s | 21 | 1963915 | 1124145 | 15553 166 | 25 | 267
1662.70/1663.13 c 1661s | 21 | 1965910 | 1125545 | 15553 166 | 25 | 267
1664.80/1665.21 c 1663s | 21 | 1967030 | 1126345 | 15553 167 | 25 | 267
1666.79/1667.22 c 1665s | 21 | 1969069 | 1127745 | 15553 167 | 25 | 267
1668.79/1669.25 c 1667s | 21 | 1970377 | 1128745 | 15553 167 | 25 | 267
1670.79/1671.27 c 1669s | 21 | 1971932 | 1129945 | 15553 167 | 25 | 267
1672.89/1673.38 c 1671s | 21 | 1974115 | 1131645 | 15553 167 | 25 | 267
1675.00/1675.46 c 1674s | 21 | 1975531 | 1132745 | 15553 167 | 25 | 267
1677.20/1677.61 c 1676s | 21 | 1977549 | 1134145 | 15553 167 | 25 | 267
1679.29/1679.75 c 1678s | 21 | 1978581 | 1134845 | 15553 168 | 25 | 267
1681.50/1681.91 c 1680s | 21 | 1980739 | 1136345 | 15553 168 | 25 | 267
1684.39/1684.81 c 1683s | 21 | 1982879 | 1137745 | 15553 168 | 25 | 267
1686.49/1686.96 c 1685s | 21 | 1984920 | 1139245 | 15553 168 | 25 | 267
1688.59/1689.09 c 1687s | 21 | 1988014 | 1141045 | 15553 168 | 25 | 267
1690.79/1691.24 c 1689s | 21 | 1990069 | 1142445 | 15553 168 | 25 | 267
1692.99/1693.42 c 1691s | 21 | 1991402 | 1143345 | 15553 169 | 25 | 267
1695.09/1695.54 c 1694s | 21 | 1993180 | 1144645 | 15553 169 | 25 | 267
1697.09/1697.58 c 1696s | 21 | 1995440 | 1146145 | 15553 169 | 25 | 267
1699.29/1699.75 c 1698s | 21 | 1997660 | 1147645 | 15553 169 | 25 | 267
1701.29/1701.78 c 1700s | 21 | 1999660 | 1148845 | 15553 169 | 25 | 267
1703.39/1703.85 c 1702s | 21 | 2001512 | 1150145 | 15553 169 | 25 | 267
1705.39/1705.87 c 1704s | 21 | 2003077 | 1151345 | 15553 169 | 25 | 267
1707.48/1707.99 c 1706s | 21 | 2004115 | 1152145 | 15553 170 | 25 | 267
1709.88/1710.32 c 1708s | 21 | 2005304 | 1152945 | 15553 170 | 25 | 267
1711.88/1712.38 c 1710s | 21 | 2007966 | 1154745 | 15553 170 | 25 | 267
1713.99/1714.48 c 1713s | 21 | 2009986 | 1156245 | 15553 170 | 25 | 267
1716.09/1716.54 c 1715s | 21 | 2011807 | 1157545 | 15553 170 | 25 | 267
1718.29/1718.71 c 1717s | 21 | 2013475 | 1158745 | 15553 170 | 25 | 267
1720.29/1720.71 c 1719s | 21 | 2014917 | 1159845 | 15553 170 | 25 | 267
1722.30/1722.76 c 1721s | 21 | 2015900 | 1160545 | 15553 171 | 25 | 267
1724.28/1724.79 c 1723s | 21 | 2017344 | 1161545 | 15553 171 | 25 | 267
1726.38/1726.84 c 1725s | 21 | 2019809 | 1163045 | 15553 171 | 25 | 267
1728.49/1728.97 c 1727s | 21 | 2021533 | 1164245 | 15553 171 | 25 | 267
1730.69/1731.12 c 1729s | 21 | 2023003 | 1165345 | 15553 171 | 25 | 267
1732.88/1733.35 c 1731s | 21 | 2024685 | 1166545 | 15553 171 | 25 | 267
1734.98/1735.44 c 1734s | 21 | 2026066 | 1167545 | 15553 171 | 25 | 267
1737.19/1737.61 c 1736s | 21 | 2027679 | 1168645 | 15553 171 | 25 | 267
1739.18/1739.65 c 1738s | 21 | 2028547 | 1169245 | 15553 172 | 25 | 267
1741.28/1741.70 c 1740s | 21 | 2030026 | 1170345 | 15553 172 | 25 | 267
1743.78/1744.28 c 1742s | 21 | 2031057 | 1171145 | 15553 172 | 25 | 267
1745.78/1746.28 c 1744s | 21 | 2032588 | 1172345 | 15553 172 | 25 | 267
1747.89/1748.31 c 1746s | 21 | 2033909 | 1173345 | 15553 172 | 25 | 267
1750.08/1750.53 c 1749s | 21 | 2035412 | 1174545 | 15553 172 | 25 | 267
1752.18/1752.62 c 1751s | 21 | 2036811 | 1175545 | 15553 172 | 25 | 267
1754.28/1754.74 c 1753s | 21 | 2037958 | 1176445 | 15553 172 | 25 | 267
1757.49/1757.95 c 1756s | 21 | 2039090 | 1177345 | 15553 173 | 25 | 267
1759.47/1759.99 c 1758s | 21 | 2040240 | 1178245 | 15553 173 | 25 | 267
1761.78/1762.22 c 1760s | 21 | 2041457 | 1179145 | 15553 173 | 25 | 267
1763.87/1764.37 c 1762s | 21 | 2043364 | 1180445 | 15553 173 | 25 | 267
1766.08/1766.54 c 1765s | 21 | 2044948 | 1181645 | 15553 173 | 25 | 267
1768.18/1768.61 c 1767s | 21 | 2046348 | 1182745 | 15553 173 | 25 | 267
1770.18/1770.69 c 1769s | 21 | 2047823 | 1183845 | 15553 173 | 25 | 267
1772.37/1772.85 c 1771s | 21 | 2049199 | 1184845 | 15553 173 | 25 | 267
1775.37/1775.84 c 1774s | 21 | 2050505 | 1185845 | 15553 174 | 25 | 267
1778.08/1778.56 c 1777s | 21 | 2051351 | 1186345 | 15553 174 | 25 | 267
1780.07/1780.57 c 1779s | 21 | 2053369 | 1187645 | 15553 174 | 25 | 267
1782.18/1782.60 c 1781s | 21 | 2055367 | 1189145 | 15553 174 | 25 | 267
1784.18/1784.64 c 1783s | 21 | 2056999 | 1190345 | 15553 174 | 25 | 267
1786.28/1786.78 c 1785s | 21 | 2058538 | 1191645 | 15553 174 | 25 | 267
1788.38/1788.86 c 1787s | 21 | 2060366 | 1192845 | 15553 174 | 25 | 267
1790.48/1790.99 c 1789s | 21 | 2061753 | 1193945 | 15553 174 | 25 | 267
1792.58/1793.05 c 1791s | 21 | 2062825 | 1194745 | 15553 175 | 25 | 267
1794.57/1795.09 c 1793s | 21 | 2064039 | 1195745 | 15553 175 | 25 | 267
1796.67/1797.11 c 1795s | 21 | 2065600 | 1196845 | 15553 175 | 25 | 267
1798.77/1799.28 c 1797s | 21 | 2067066 | 1198045 | 15553 175 | 25 | 267
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-4105545-1466250164/watcher-4105545-1466250164 -o /tmp/evaluation-result-4105545-1466250164/solver-4105545-1466250164 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105545-1466250164.opb
pid=23359
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.06 2.05 2.00 3/179 23362
/proc/meminfo: memFree=30574984/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=704956 CPUtime=0 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 2625 0 0 0 0 0 0 0 20 0 4 0 27066363 721874944 2987 33554432000 4194304 16246674 140737486788576 140737486788000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 176751 2997 441 2943 0 173645 0
[pid=23362/tid=23363] ppid=23359 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 739700736 3055 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 743895040 3071 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27066363 748089344 3089 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100172 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 23362
/proc/meminfo: memFree=30574984/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 29407 0 0 0 5 4 0 0 20 0 4 0 27066363 1249447936 29706 33554432000 4194304 16246674 140737486788576 140737486770496 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 305041 29706 800 2943 0 301935 0
[pid=23362/tid=23363] ppid=23359 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1249447936 29706 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1249447936 29706 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1249447936 29706 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164
[startup+0.20054 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 23362
/proc/meminfo: memFree=30574984/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 51906 0 0 0 12 7 0 0 20 0 4 0 27066363 1344868352 52716 33554432000 4194304 16246674 140737486788576 140737486770496 7378087 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 328337 52716 800 2943 0 325231 0
[pid=23362/tid=23363] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 52716 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 52716 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 52716 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348
[startup+0.300513 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 23362
/proc/meminfo: memFree=30574984/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 61642 0 0 0 20 8 0 0 20 0 4 0 27066363 1344868352 62452 33554432000 4194304 16246674 140737486788576 140737486770496 6970666 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 328337 62452 833 2943 0 325231 0
[pid=23362/tid=23363] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 62452 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 62452 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 62452 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348
[startup+0.700421 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 23362
/proc/meminfo: memFree=30574984/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 141629 0 0 0 51 18 0 0 20 0 4 0 27066363 1344868352 142439 33554432000 4194304 16246674 140737486788576 140737486770496 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 328337 142439 891 2943 0 325231 0
[pid=23362/tid=23363] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 142439 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 142439 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 142439 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348
[startup+1.5004 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 23366
/proc/meminfo: memFree=30006284/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1313348 CPUtime=1.48 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 141650 0 0 0 130 18 0 0 20 0 4 0 27066363 1344868352 142460 33554432000 4194304 16246674 140737486788576 140737486771576 5711346 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 328337 142460 908 2943 0 325231 0
[pid=23362/tid=23363] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 142460 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 142460 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 142460 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348
[startup+3.10037 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 23366
/proc/meminfo: memFree=30005912/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1313348 CPUtime=3.08 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 141652 0 0 0 290 18 0 0 20 0 4 0 27066363 1344868352 142462 33554432000 4194304 16246674 140737486788576 140737486770496 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 328337 142462 910 2943 0 325231 0
[pid=23362/tid=23363] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 142462 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 142462 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 142462 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1313348
[startup+6.30042 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 23366
/proc/meminfo: memFree=30005048/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 141656 0 0 0 610 19 0 0 20 0 4 0 27066363 1344868352 142466 33554432000 4194304 16246674 140737486788576 140737486786880 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 328337 142466 914 2943 0 325231 0
[pid=23362/tid=23363] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 142466 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 142466 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1344868352 142466 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348
[startup+12.7004 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 23366
/proc/meminfo: memFree=30002120/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1316420 CPUtime=12.69 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 142425 0 0 0 1250 19 0 0 20 0 4 0 27066363 1348014080 143235 33554432000 4194304 16246674 140737486788576 140737486770496 5754872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 329105 143235 915 2943 0 325999 0
[pid=23362/tid=23363] ppid=23359 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1348014080 143235 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1348014080 143235 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1348014080 143235 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1316420
[startup+25.5005 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 23415
/proc/meminfo: memFree=30006324/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1317444 CPUtime=25.49 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 142522 0 0 0 2529 20 0 0 20 0 4 0 27066363 1349062656 143332 33554432000 4194304 16246674 140737486788576 140737486770496 6021024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 329361 143332 916 2943 0 326255 0
[pid=23362/tid=23363] ppid=23359 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1349062656 143332 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1349062656 143332 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1349062656 143332 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1317444
[startup+51.1005 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 23415
/proc/meminfo: memFree=29793232/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1322564 CPUtime=51.08 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 190771 0 0 0 5081 27 0 0 20 0 4 0 27066363 1354305536 196621 33554432000 4194304 16246674 140737486788576 140737486787752 5553629 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 330641 196621 916 2943 0 327535 0
[pid=23362/tid=23363] ppid=23359 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1354305536 196621 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1354305536 196621 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1354305536 196621 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1322564
[startup+102.301 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 23416
/proc/meminfo: memFree=29712180/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1322564 CPUtime=102.27 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 190771 0 0 0 10197 30 0 0 20 0 4 0 27066363 1354305536 216781 33554432000 4194304 16246674 140737486788576 140737486770496 7250064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 330641 216781 916 2943 0 327535 0
[pid=23362/tid=23363] ppid=23359 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1354305536 216781 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1354305536 216781 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1354305536 216781 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1322564
################
# More data... #
################
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1331780
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 23471
/proc/meminfo: memFree=29475228/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1331780 CPUtime=1361.94 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 232552 0 0 0 136058 136 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 140737486787752 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 332945 274459 916 2943 0 329839 0
[pid=23362/tid=23363] ppid=23359 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1331780
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 23472
/proc/meminfo: memFree=29475316/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1331780 CPUtime=1421.94 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 232552 0 0 0 142053 141 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 140737486787752 13191364 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 332945 274459 916 2943 0 329839 0
[pid=23362/tid=23363] ppid=23359 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1331780
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23473
/proc/meminfo: memFree=29475444/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1331780 CPUtime=1481.92 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 232552 0 0 0 148048 144 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 140737486770496 5546243 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 332945 274459 916 2943 0 329839 0
[pid=23362/tid=23363] ppid=23359 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1331780
[startup+1542.31 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 23474
/proc/meminfo: memFree=29475568/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1331780 CPUtime=1541.92 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 232552 0 0 0 154045 147 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 140737486770496 5723504 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 332945 274459 916 2943 0 329839 0
[pid=23362/tid=23363] ppid=23359 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1331780
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 23475
/proc/meminfo: memFree=29475816/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1331780 CPUtime=1601.9 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 232552 0 0 0 160040 150 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 140737486787752 6021684 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 332945 274459 916 2943 0 329839 0
[pid=23362/tid=23363] ppid=23359 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1363742720 274459 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1331780
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/184 23480
/proc/meminfo: memFree=29474552/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1332804 CPUtime=1661.9 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 232809 0 0 0 166037 153 0 0 20 0 4 0 27066363 1364791296 274715 33554432000 4194304 16246674 140737486788576 140737486770496 5726344 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 333201 274715 916 2943 0 330095 0
[pid=23362/tid=23363] ppid=23359 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1364791296 274715 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1364791296 274715 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1364791296 274715 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1332804
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 23481
/proc/meminfo: memFree=29474468/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1332804 CPUtime=1721.89 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 232809 0 0 0 172034 155 0 0 20 0 4 0 27066363 1364791296 274715 33554432000 4194304 16246674 140737486788576 140737486770496 5808141 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 333201 274715 916 2943 0 330095 0
[pid=23362/tid=23363] ppid=23359 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1364791296 274715 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1364791296 274715 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1364791296 274715 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1332804
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23482
/proc/meminfo: memFree=29471740/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1335876 CPUtime=1781.87 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 233458 0 0 0 178027 160 0 0 20 0 4 0 27066363 1367937024 275364 33554432000 4194304 16246674 140737486788576 140737486770496 12477817 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 333969 275364 916 2943 0 330863 0
[pid=23362/tid=23363] ppid=23359 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1367937024 275364 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1367937024 275364 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1367937024 275364 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1335876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 23482
/proc/meminfo: memFree=29471864/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1335876 CPUtime=1800.07 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 233458 0 0 0 179846 161 0 0 20 0 4 0 27066363 1367937024 275364 33554432000 4194304 16246674 140737486788576 140737486770496 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 333969 275364 916 2943 0 330863 0
[pid=23362/tid=23363] ppid=23359 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1367937024 275364 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1367937024 275364 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1367937024 275364 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1335876
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 23362 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 23482
/proc/meminfo: memFree=29471864/32872528 swapFree=163656/177964
[pid=23362] ppid=23359 vsize=1335876 CPUtime=1800.07 cores=1,3,5,7
/proc/23362/stat : 23362 (toysat) R 23359 23362 20760 0 -1 4202496 233458 0 0 0 179846 161 0 0 20 0 4 0 27066363 1367937024 275364 33554432000 4194304 16246674 140737486788576 140737486770496 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23362/statm: 333969 275364 916 2943 0 330863 0
[pid=23362/tid=23363] ppid=23359 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23363/stat : 23363 (toysat) S 23359 23362 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27066363 1367937024 275364 33554432000 4194304 16246674 140737486788576 139902754729200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23362/tid=23364] ppid=23359 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23364/stat : 23364 (toysat) S 23359 23362 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27066363 1367937024 275364 33554432000 4194304 16246674 140737486788576 139902744239344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23362/tid=23365] ppid=23359 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/23362/task/23365/stat : 23365 (toysat) S 23359 23362 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27066363 1367937024 275364 33554432000 4194304 16246674 140737486788576 139902733765808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1335876
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1798.47
CPU system time (s): 1.61775
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 1335876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.47
system time used= 1.61775
maximum resident set size= 1101456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233458
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= 246
involuntary context switches= 1866
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01509 second user time and 8.34173 second system time
The end