0.00/0.00 c 2016-06-07T08:36:55+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-4080019-1465281413.opb"]
0.00/0.01 c use --random-gen="2840898718 3483521440 2880760207 1685512980 3314538284 1350154515 3125133432 4161601997 3622654809 1092643283 3352439844 315137052 2838906548 1948555527 3904754419 1721181929 3913379170 3118761868 1760783320 2727241910 1586321753 81145075 2111987102 982852188 2081152749 3090427180 2162351475 373297192 2141615961 3348765115 3993548705 342659985 2388251561 2563503488 2244364979 3484244684 153192925 1900560945 2654976890 701079929 3461127805 829474082 2375186868 184971988 4084742839 2707851232 3113412645 2345332509 3659577111 3438169861 3175925186 699260692 3066346529 731980164 2971459535 465813237 1457157945 299441101 1544357293 3785716651 898642373 596273343 2369803933 3040689120 4236902333 4045467749 525181627 2341243227 2737091844 2328543302 1854288116 399748320 2565135915 1206223507 1282950073 2392872111 1913989453 2491700166 3352541648 2977605126 237939123 2604191675 1472512709 3967010951 2228321239 4027371027 2585350893 1908832590 889985525 2196656721 1109663312 3396793881 526911856 1302899851 987084703 2083226620 108214175 627479098 2838494294 358089300 1734886356 3531158298 3202014185 931419661 2009869814 884587891 401817708 3453903108 2713800015 2840693706 732360370 560870046 1252045921 3887791523 4138321865 300523358 4224809076 203485231 2272269813 3146132287 2355891384 2927957438 3782368791 171328320 4184591492 2304927904 133271410 3011967720 682568284 3193141033 2623130502 58129703 4251571980 1967164399 1760971630 3425892983 3400823239 824814399 3256693555 196820727 3044990625 2112849021 932594222 3583678324 1017397791 2156386244 70958236 3522361730 744214692 2878672727 3508694720 416193536 96636325 230095963 3631777193 643584836 1533084268 1485322216 519368411 3154635065 176013209 601486479 2516696217 2164766759 1821169840 3089882116 2625166124 1580538350 3557259187 4014692536 1661479502 897793271 1740203426 1232302797 2275894669 270071304 2473305478 1317564407 1583053644 3306143521 2414723066 707027975 1594945158 4289317879 3995681013 1187804254 3915318085 60324124 71158099 2884434788 728385021 118386546 841124942 326734226 238474878 1527699840 1612642251 6063893 3166520488 3643669091 2439182206 1403296688 4002755630 975035171 870487171 2016893006 4167459371 3837161291 3730123470 1101462982 3815551709 1997671726 3497738817 2599017250 2822581287 1788775573 3968018467 2401042059 2680995804 1852531394 3600165310 46848171 1362627696 847458261 544859640 2051872405 1144830694 2370439033 642872556 1179280586 155576398 1196476589 2781406308 4125035842 555305231 1074281882 1476437728 644908210 4134571080 118008745 1896932851 568324937 3460041928 4000276666 22470100 2089738404 2701652548 3188241312 3414269035 1778061967 1185169885 2474125539 1109250298 965412030 203669002 3129477564 255 362436" option to reproduce the execution
8.78/8.83 c #vars 14300
8.78/8.83 c #constraints 65280
25.69/25.71 c BCD2: Hardening is enabled.
25.69/25.71 c BCD2: BiasedSearch is enabled.
25.69/25.71 c Solving starts ...
25.69/25.71 c ============================[ Search Statistics ]============================
25.69/25.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
25.69/25.71 c | | | | Limit GC | Var | Constra
25.69/25.71 c =============================================================================
25.69/25.71 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 0
25.99/26.08 c 0.4s | 0 | 14300 | 0 | 26526 0 | 0 | 0
25.99/26.08 c #cpu_time = 0.369s
25.99/26.08 c #wall_clock_time = 0.369s
25.99/26.08 c #decision = 14300
25.99/26.08 c #random_decision = 78
25.99/26.08 c #conflict = 0
25.99/26.08 c #restart = 0
25.99/26.08 o 14300
26.09/26.10 c BCD2: updating upper bound: 14300 -> 14299
26.09/26.14 c BCD2: 0 <= obj <= 14299
26.09/26.15 c BCD2: #cores=0, #unrelaxed=14300, #relaxed=0, #hardened=0
26.09/26.15 c BCD2: #sat=1 #unsat=1 bias=1/2
26.09/26.15 c Solving starts ...
26.09/26.15 c ============================[ Search Statistics ]============================
26.09/26.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
26.09/26.15 c | | | | Limit GC | Var | Constra
26.09/26.15 c =============================================================================
26.09/26.15 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 0
26.49/26.51 c 0.4s | 0 | 3640 | 0 | 26526 0 | 0 | 0
26.49/26.51 c #cpu_time = 0.360s
26.49/26.51 c #wall_clock_time = 0.360s
26.49/26.51 c #decision = 3640
26.49/26.51 c #random_decision = 0
26.49/26.51 c #conflict = 0
26.49/26.51 c #restart = 0
26.49/26.51 c BCD2: found a new core of size 65: cost of the new core is >=1
26.49/26.51 c lower bound updated to 1
26.49/26.53 c BCD2: 1 <= obj <= 14299
26.49/26.53 c BCD2: #cores=1, #unrelaxed=14235, #relaxed=65, #hardened=0
26.49/26.53 c BCD2: #sat=1 #unsat=2 bias=2/3
26.49/26.53 c Solving starts ...
26.49/26.53 c ============================[ Search Statistics ]============================
26.49/26.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
26.49/26.53 c | | | | Limit GC | Var | Constra
26.49/26.53 c =============================================================================
26.49/26.53 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 1
26.79/26.89 c 0.4s | 0 | 3577 | 0 | 26526 0 | 0 | 1
26.79/26.89 c #cpu_time = 0.358s
26.79/26.89 c #wall_clock_time = 0.358s
26.79/26.89 c #decision = 3577
26.79/26.89 c #random_decision = 0
26.79/26.89 c #conflict = 0
26.79/26.89 c #restart = 0
26.79/26.89 c BCD2: found a new core of size 65: cost of the new core is >=1
26.79/26.89 c lower bound updated to 2
26.89/26.91 c BCD2: 2 <= obj <= 14299
26.89/26.91 c BCD2: #cores=2, #unrelaxed=14170, #relaxed=130, #hardened=0
26.89/26.91 c BCD2: #sat=1 #unsat=3 bias=3/4
26.89/26.91 c Solving starts ...
26.89/26.91 c ============================[ Search Statistics ]============================
26.89/26.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
26.89/26.91 c | | | | Limit GC | Var | Constra
26.89/26.91 c =============================================================================
26.89/26.91 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 2
27.18/27.27 c 0.4s | 0 | 3514 | 0 | 26526 0 | 0 | 2
27.18/27.27 c #cpu_time = 0.360s
27.18/27.27 c #wall_clock_time = 0.360s
27.18/27.27 c #decision = 3514
27.18/27.27 c #random_decision = 0
27.18/27.27 c #conflict = 0
27.18/27.27 c #restart = 0
27.18/27.27 c BCD2: found a new core of size 65: cost of the new core is >=1
27.18/27.27 c lower bound updated to 3
27.18/27.29 c BCD2: 3 <= obj <= 14299
27.18/27.29 c BCD2: #cores=3, #unrelaxed=14105, #relaxed=195, #hardened=0
27.18/27.29 c BCD2: #sat=1 #unsat=4 bias=4/5
27.18/27.29 c Solving starts ...
27.18/27.29 c ============================[ Search Statistics ]============================
27.18/27.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.18/27.29 c | | | | Limit GC | Var | Constra
27.18/27.29 c =============================================================================
27.18/27.29 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 3
27.58/27.65 c 0.4s | 0 | 3451 | 0 | 26526 0 | 0 | 3
27.58/27.65 c #cpu_time = 0.360s
27.58/27.65 c #wall_clock_time = 0.360s
27.58/27.65 c #decision = 3451
27.58/27.65 c #random_decision = 0
27.58/27.65 c #conflict = 0
27.58/27.65 c #restart = 0
27.58/27.65 c BCD2: found a new core of size 65: cost of the new core is >=1
27.58/27.65 c lower bound updated to 4
27.58/27.67 c BCD2: 4 <= obj <= 14299
27.58/27.67 c BCD2: #cores=4, #unrelaxed=14040, #relaxed=260, #hardened=0
27.58/27.67 c BCD2: #sat=1 #unsat=5 bias=5/6
27.58/27.67 c Solving starts ...
27.58/27.67 c ============================[ Search Statistics ]============================
27.58/27.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.58/27.67 c | | | | Limit GC | Var | Constra
27.58/27.67 c =============================================================================
27.58/27.67 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 4
27.99/28.03 c 0.4s | 0 | 7028 | 0 | 26526 0 | 0 | 4
27.99/28.03 c #cpu_time = 0.363s
27.99/28.03 c #wall_clock_time = 0.363s
27.99/28.03 c #decision = 7028
27.99/28.03 c #random_decision = 0
27.99/28.03 c #conflict = 0
27.99/28.03 c #restart = 0
27.99/28.03 c BCD2: found a new core of size 65: cost of the new core is >=1
27.99/28.03 c lower bound updated to 5
27.99/28.05 c BCD2: 5 <= obj <= 14299
27.99/28.05 c BCD2: #cores=5, #unrelaxed=13975, #relaxed=325, #hardened=0
27.99/28.05 c BCD2: #sat=1 #unsat=6 bias=6/7
27.99/28.05 c Solving starts ...
27.99/28.05 c ============================[ Search Statistics ]============================
27.99/28.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.99/28.05 c | | | | Limit GC | Var | Constra
27.99/28.05 c =============================================================================
27.99/28.05 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 5
28.38/28.42 c 0.4s | 0 | 6965 | 0 | 26526 0 | 0 | 5
28.38/28.42 c #cpu_time = 0.361s
28.38/28.42 c #wall_clock_time = 0.361s
28.38/28.42 c #decision = 6965
28.38/28.42 c #random_decision = 0
28.38/28.42 c #conflict = 0
28.38/28.42 c #restart = 0
28.38/28.42 c BCD2: found a new core of size 65: cost of the new core is >=1
28.38/28.42 c lower bound updated to 6
28.38/28.44 c BCD2: 6 <= obj <= 14299
28.38/28.44 c BCD2: #cores=6, #unrelaxed=13910, #relaxed=390, #hardened=0
28.38/28.44 c BCD2: #sat=1 #unsat=7 bias=7/8
28.38/28.44 c Solving starts ...
28.38/28.44 c ============================[ Search Statistics ]============================
28.38/28.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.38/28.44 c | | | | Limit GC | Var | Constra
28.38/28.44 c =============================================================================
28.38/28.44 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 6
28.78/28.80 c 0.4s | 0 | 6902 | 0 | 26526 0 | 0 | 6
28.78/28.80 c #cpu_time = 0.362s
28.78/28.80 c #wall_clock_time = 0.362s
28.78/28.80 c #decision = 6902
28.78/28.80 c #random_decision = 0
28.78/28.80 c #conflict = 0
28.78/28.80 c #restart = 0
28.78/28.80 c BCD2: found a new core of size 65: cost of the new core is >=1
28.78/28.80 c lower bound updated to 7
28.78/28.82 c BCD2: 7 <= obj <= 14299
28.78/28.82 c BCD2: #cores=7, #unrelaxed=13845, #relaxed=455, #hardened=0
28.78/28.82 c BCD2: #sat=1 #unsat=8 bias=8/9
28.78/28.82 c Solving starts ...
28.78/28.82 c ============================[ Search Statistics ]============================
28.78/28.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.78/28.82 c | | | | Limit GC | Var | Constra
28.78/28.82 c =============================================================================
28.78/28.82 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 7
29.09/29.19 c 0.4s | 0 | 6839 | 0 | 26526 0 | 0 | 7
29.09/29.19 c #cpu_time = 0.361s
29.09/29.19 c #wall_clock_time = 0.361s
29.09/29.19 c #decision = 6839
29.09/29.19 c #random_decision = 0
29.09/29.19 c #conflict = 0
29.09/29.19 c #restart = 0
29.09/29.19 c BCD2: found a new core of size 65: cost of the new core is >=1
29.09/29.19 c lower bound updated to 8
29.18/29.20 c BCD2: 8 <= obj <= 14299
29.18/29.20 c BCD2: #cores=8, #unrelaxed=13780, #relaxed=520, #hardened=0
29.18/29.20 c BCD2: #sat=1 #unsat=9 bias=9/10
29.18/29.21 c Solving starts ...
29.18/29.21 c ============================[ Search Statistics ]============================
29.18/29.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.18/29.21 c | | | | Limit GC | Var | Constra
29.18/29.21 c =============================================================================
29.18/29.21 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 8
29.48/29.57 c 0.4s | 0 | 8568 | 0 | 26526 0 | 0 | 8
29.48/29.57 c #cpu_time = 0.363s
29.48/29.57 c #wall_clock_time = 0.363s
29.48/29.57 c #decision = 8568
29.48/29.57 c #random_decision = 0
29.48/29.57 c #conflict = 0
29.48/29.57 c #restart = 0
29.48/29.57 c BCD2: found a new core of size 65: cost of the new core is >=1
29.48/29.57 c lower bound updated to 9
29.48/29.59 c BCD2: 9 <= obj <= 14299
29.48/29.59 c BCD2: #cores=9, #unrelaxed=13715, #relaxed=585, #hardened=0
29.48/29.59 c BCD2: #sat=1 #unsat=10 bias=10/11
29.48/29.59 c Solving starts ...
29.48/29.59 c ============================[ Search Statistics ]============================
29.48/29.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.48/29.59 c | | | | Limit GC | Var | Constra
29.48/29.59 c =============================================================================
29.48/29.59 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 9
29.89/29.96 c 0.4s | 0 | 8505 | 0 | 26526 0 | 0 | 9
29.89/29.96 c #cpu_time = 0.363s
29.89/29.96 c #wall_clock_time = 0.363s
29.89/29.96 c #decision = 8505
29.89/29.96 c #random_decision = 0
29.89/29.96 c #conflict = 0
29.89/29.96 c #restart = 0
29.89/29.96 c BCD2: found a new core of size 65: cost of the new core is >=1
29.89/29.96 c lower bound updated to 10
29.89/29.98 c BCD2: 10 <= obj <= 14299
29.89/29.98 c BCD2: #cores=10, #unrelaxed=13650, #relaxed=650, #hardened=0
29.89/29.98 c BCD2: #sat=1 #unsat=11 bias=11/12
29.89/29.98 c Solving starts ...
29.89/29.98 c ============================[ Search Statistics ]============================
29.89/29.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.89/29.98 c | | | | Limit GC | Var | Constra
29.89/29.98 c =============================================================================
29.89/29.98 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 10
30.29/30.35 c 0.4s | 0 | 10234 | 0 | 26526 0 | 0 | 10
30.29/30.35 c #cpu_time = 0.365s
30.29/30.35 c #wall_clock_time = 0.365s
30.29/30.35 c #decision = 10234
30.29/30.35 c #random_decision = 0
30.29/30.35 c #conflict = 0
30.29/30.35 c #restart = 0
30.29/30.35 c BCD2: found a new core of size 65: cost of the new core is >=1
30.29/30.35 c lower bound updated to 11
30.29/30.37 c BCD2: 11 <= obj <= 14299
30.29/30.37 c BCD2: #cores=11, #unrelaxed=13585, #relaxed=715, #hardened=0
30.29/30.37 c BCD2: #sat=1 #unsat=12 bias=12/13
30.29/30.37 c Solving starts ...
30.29/30.37 c ============================[ Search Statistics ]============================
30.29/30.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
30.29/30.37 c | | | | Limit GC | Var | Constra
30.29/30.37 c =============================================================================
30.29/30.37 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 11
30.69/30.74 c 0.4s | 0 | 10171 | 0 | 26526 0 | 0 | 11
30.69/30.74 c #cpu_time = 0.364s
30.69/30.74 c #wall_clock_time = 0.364s
30.69/30.74 c #decision = 10171
30.69/30.74 c #random_decision = 0
30.69/30.74 c #conflict = 0
30.69/30.74 c #restart = 0
30.69/30.74 c BCD2: found a new core of size 65: cost of the new core is >=1
30.69/30.74 c lower bound updated to 12
30.69/30.76 c BCD2: 12 <= obj <= 14299
30.69/30.76 c BCD2: #cores=12, #unrelaxed=13520, #relaxed=780, #hardened=0
30.69/30.76 c BCD2: #sat=1 #unsat=13 bias=13/14
30.69/30.76 c Solving starts ...
30.69/30.76 c ============================[ Search Statistics ]============================
30.69/30.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
30.69/30.76 c | | | | Limit GC | Var | Constra
30.69/30.76 c =============================================================================
30.69/30.76 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 12
31.10/31.13 c 0.4s | 0 | 10880 | 0 | 26526 0 | 0 | 12
31.10/31.13 c #cpu_time = 0.365s
31.10/31.13 c #wall_clock_time = 0.365s
31.10/31.13 c #decision = 10880
31.10/31.13 c #random_decision = 0
31.10/31.13 c #conflict = 0
31.10/31.13 c #restart = 0
31.10/31.13 c BCD2: found a new core of size 68: cost of the new core is >=1
31.10/31.13 c lower bound updated to 13
31.10/31.15 c BCD2: 13 <= obj <= 14299
31.10/31.15 c BCD2: #cores=13, #unrelaxed=13452, #relaxed=848, #hardened=0
31.10/31.15 c BCD2: #sat=1 #unsat=14 bias=14/15
31.10/31.15 c Solving starts ...
31.10/31.15 c ============================[ Search Statistics ]============================
31.10/31.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
31.10/31.15 c | | | | Limit GC | Var | Constra
31.10/31.15 c =============================================================================
31.10/31.15 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 13
31.49/31.52 c 0.4s | 0 | 10816 | 0 | 26526 0 | 0 | 13
31.49/31.52 c #cpu_time = 0.366s
31.49/31.52 c #wall_clock_time = 0.366s
31.49/31.52 c #decision = 10816
31.49/31.52 c #random_decision = 0
31.49/31.52 c #conflict = 0
31.49/31.52 c #restart = 0
31.49/31.52 c BCD2: found a new core of size 68: cost of the new core is >=1
31.49/31.52 c lower bound updated to 14
31.49/31.54 c BCD2: 14 <= obj <= 14299
31.49/31.54 c BCD2: #cores=14, #unrelaxed=13384, #relaxed=916, #hardened=0
31.49/31.54 c BCD2: #sat=1 #unsat=15 bias=15/16
31.49/31.54 c Solving starts ...
31.49/31.54 c ============================[ Search Statistics ]============================
31.49/31.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
31.49/31.54 c | | | | Limit GC | Var | Constra
31.49/31.54 c =============================================================================
31.49/31.54 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 14
31.88/31.91 c 0.4s | 0 | 11522 | 0 | 26526 0 | 0 | 14
31.88/31.91 c #cpu_time = 0.367s
31.88/31.91 c #wall_clock_time = 0.367s
31.88/31.91 c #decision = 11522
31.88/31.91 c #random_decision = 0
31.88/31.91 c #conflict = 0
31.88/31.91 c #restart = 0
31.88/31.91 c BCD2: found a new core of size 68: cost of the new core is >=1
31.88/31.91 c lower bound updated to 15
31.88/31.93 c BCD2: 15 <= obj <= 14299
31.88/31.93 c BCD2: #cores=15, #unrelaxed=13316, #relaxed=984, #hardened=0
31.88/31.93 c BCD2: #sat=1 #unsat=16 bias=16/17
31.88/31.93 c Solving starts ...
31.88/31.93 c ============================[ Search Statistics ]============================
31.88/31.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
31.88/31.93 c | | | | Limit GC | Var | Constra
31.88/31.93 c =============================================================================
31.88/31.93 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 15
32.19/32.30 c 0.4s | 0 | 11456 | 0 | 26526 0 | 0 | 15
32.19/32.30 c #cpu_time = 0.366s
32.19/32.30 c #wall_clock_time = 0.366s
32.19/32.30 c #decision = 11456
32.19/32.30 c #random_decision = 0
32.19/32.30 c #conflict = 0
32.19/32.30 c #restart = 0
32.19/32.30 c BCD2: found a new core of size 68: cost of the new core is >=1
32.19/32.30 c lower bound updated to 16
32.29/32.32 c BCD2: 16 <= obj <= 14299
32.29/32.32 c BCD2: #cores=16, #unrelaxed=13248, #relaxed=1052, #hardened=0
32.29/32.32 c BCD2: #sat=1 #unsat=17 bias=17/18
32.29/32.32 c Solving starts ...
32.29/32.32 c ============================[ Search Statistics ]============================
32.29/32.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
32.29/32.32 c | | | | Limit GC | Var | Constra
32.29/32.32 c =============================================================================
32.29/32.32 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 16
32.58/32.68 c 0.4s | 0 | 12085 | 0 | 26526 0 | 0 | 16
32.58/32.68 c #cpu_time = 0.363s
32.58/32.68 c #wall_clock_time = 0.363s
32.58/32.68 c #decision = 12085
32.58/32.68 c #random_decision = 0
32.58/32.68 c #conflict = 0
32.58/32.68 c #restart = 0
32.58/32.68 c BCD2: found a new core of size 73: cost of the new core is >=1
32.58/32.69 c lower bound updated to 17
32.68/32.70 c BCD2: 17 <= obj <= 14299
32.68/32.70 c BCD2: #cores=17, #unrelaxed=13175, #relaxed=1125, #hardened=0
32.68/32.70 c BCD2: #sat=1 #unsat=18 bias=18/19
32.68/32.70 c Solving starts ...
32.68/32.70 c ============================[ Search Statistics ]============================
32.68/32.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
32.68/32.70 c | | | | Limit GC | Var | Constra
32.68/32.70 c =============================================================================
32.68/32.70 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 17
32.98/33.07 c 0.4s | 0 | 12701 | 0 | 26526 0 | 0 | 17
32.98/33.07 c #cpu_time = 0.361s
32.98/33.07 c #wall_clock_time = 0.361s
32.98/33.07 c #decision = 12701
32.98/33.07 c #random_decision = 0
32.98/33.07 c #conflict = 0
32.98/33.07 c #restart = 0
32.98/33.07 c BCD2: found a new core of size 73: cost of the new core is >=1
32.98/33.07 c lower bound updated to 18
32.98/33.08 c BCD2: 18 <= obj <= 14299
32.98/33.08 c BCD2: #cores=18, #unrelaxed=13102, #relaxed=1198, #hardened=0
32.98/33.08 c BCD2: #sat=1 #unsat=19 bias=19/20
32.98/33.08 c Solving starts ...
32.98/33.08 c ============================[ Search Statistics ]============================
32.98/33.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
32.98/33.08 c | | | | Limit GC | Var | Constra
32.98/33.08 c =============================================================================
32.98/33.08 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 18
33.39/33.45 c 0.4s | 0 | 12804 | 0 | 26526 0 | 0 | 18
33.39/33.45 c #cpu_time = 0.362s
33.39/33.45 c #wall_clock_time = 0.362s
33.39/33.45 c #decision = 12804
33.39/33.45 c #random_decision = 0
33.39/33.45 c #conflict = 0
33.39/33.45 c #restart = 0
33.39/33.45 c BCD2: found a new core of size 74: cost of the new core is >=1
33.39/33.45 c lower bound updated to 19
33.39/33.47 c BCD2: 19 <= obj <= 14299
33.39/33.47 c BCD2: #cores=19, #unrelaxed=13028, #relaxed=1272, #hardened=0
33.39/33.47 c BCD2: #sat=1 #unsat=20 bias=20/21
33.39/33.47 c Solving starts ...
33.39/33.47 c ============================[ Search Statistics ]============================
33.39/33.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
33.39/33.47 c | | | | Limit GC | Var | Constra
33.39/33.47 c =============================================================================
33.39/33.47 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 19
33.79/33.84 c 0.4s | 0 | 12904 | 0 | 26526 0 | 0 | 19
33.79/33.84 c #cpu_time = 0.364s
33.79/33.84 c #wall_clock_time = 0.364s
33.79/33.84 c #decision = 12904
33.79/33.84 c #random_decision = 0
33.79/33.84 c #conflict = 0
33.79/33.84 c #restart = 0
33.79/33.84 c BCD2: found a new core of size 74: cost of the new core is >=1
33.79/33.84 c lower bound updated to 20
33.79/33.85 c BCD2: 20 <= obj <= 14299
33.79/33.85 c BCD2: #cores=20, #unrelaxed=12954, #relaxed=1346, #hardened=0
33.79/33.85 c BCD2: #sat=1 #unsat=21 bias=21/22
33.79/33.86 c Solving starts ...
33.79/33.86 c ============================[ Search Statistics ]============================
33.79/33.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
33.79/33.86 c | | | | Limit GC | Var | Constra
33.79/33.86 c =============================================================================
33.79/33.86 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 20
34.18/34.22 c 0.4s | 0 | 12834 | 0 | 26526 0 | 0 | 20
34.18/34.22 c #cpu_time = 0.361s
34.18/34.22 c #wall_clock_time = 0.361s
34.18/34.22 c #decision = 12834
34.18/34.22 c #random_decision = 0
34.18/34.22 c #conflict = 0
34.18/34.22 c #restart = 0
34.18/34.22 c BCD2: found a new core of size 74: cost of the new core is >=1
34.18/34.22 c lower bound updated to 21
34.18/34.24 c BCD2: 21 <= obj <= 14299
34.18/34.24 c BCD2: #cores=21, #unrelaxed=12880, #relaxed=1420, #hardened=0
34.18/34.24 c BCD2: #sat=1 #unsat=22 bias=22/23
34.18/34.24 c Solving starts ...
34.18/34.24 c ============================[ Search Statistics ]============================
34.18/34.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
34.18/34.24 c | | | | Limit GC | Var | Constra
34.18/34.24 c =============================================================================
34.18/34.24 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 21
34.58/34.63 c 0.4s | 0 | 12872 | 0 | 26526 0 | 0 | 21
34.58/34.63 c #cpu_time = 0.388s
34.58/34.63 c #wall_clock_time = 0.388s
34.58/34.63 c #decision = 12872
34.58/34.63 c #random_decision = 0
34.58/34.63 c #conflict = 0
34.58/34.63 c #restart = 0
34.58/34.64 c BCD2: found a new core of size 68: cost of the new core is >=1
34.58/34.64 c lower bound updated to 22
34.58/34.65 c BCD2: 22 <= obj <= 14299
34.58/34.65 c BCD2: #cores=22, #unrelaxed=12812, #relaxed=1488, #hardened=0
34.58/34.65 c BCD2: #sat=1 #unsat=23 bias=23/24
34.58/34.65 c Solving starts ...
34.58/34.65 c ============================[ Search Statistics ]============================
34.58/34.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
34.58/34.65 c | | | | Limit GC | Var | Constra
34.58/34.65 c =============================================================================
34.58/34.65 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 22
34.98/35.03 c 0.4s | 0 | 12809 | 0 | 26526 0 | 0 | 22
34.98/35.03 c #cpu_time = 0.367s
34.98/35.03 c #wall_clock_time = 0.367s
34.98/35.03 c #decision = 12809
34.98/35.03 c #random_decision = 0
34.98/35.03 c #conflict = 0
34.98/35.03 c #restart = 0
34.98/35.03 c BCD2: found a new core of size 68: cost of the new core is >=1
34.98/35.03 c lower bound updated to 23
34.98/35.04 c BCD2: 23 <= obj <= 14299
34.98/35.04 c BCD2: #cores=23, #unrelaxed=12744, #relaxed=1556, #hardened=0
34.98/35.04 c BCD2: #sat=1 #unsat=24 bias=24/25
34.98/35.04 c Solving starts ...
34.98/35.04 c ============================[ Search Statistics ]============================
34.98/35.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
34.98/35.04 c | | | | Limit GC | Var | Constra
34.98/35.04 c =============================================================================
34.98/35.04 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 23
35.39/35.43 c 0.4s | 0 | 12757 | 0 | 26526 0 | 0 | 23
35.39/35.43 c #cpu_time = 0.381s
35.39/35.43 c #wall_clock_time = 0.381s
35.39/35.43 c #decision = 12757
35.39/35.43 c #random_decision = 0
35.39/35.43 c #conflict = 0
35.39/35.43 c #restart = 0
35.39/35.43 c BCD2: found a new core of size 68: cost of the new core is >=1
35.39/35.43 c lower bound updated to 24
35.39/35.45 c BCD2: 24 <= obj <= 14299
35.39/35.45 c BCD2: #cores=24, #unrelaxed=12676, #relaxed=1624, #hardened=0
35.39/35.45 c BCD2: #sat=1 #unsat=25 bias=25/26
35.39/35.45 c Solving starts ...
35.39/35.45 c ============================[ Search Statistics ]============================
35.39/35.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
35.39/35.45 c | | | | Limit GC | Var | Constra
35.39/35.45 c =============================================================================
35.39/35.45 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 24
35.78/35.88 c 0.4s | 0 | 14276 | 0 | 26526 0 | 0 | 24
35.78/35.88 c #cpu_time = 0.418s
35.78/35.88 c #wall_clock_time = 0.418s
35.78/35.88 c #decision = 14276
35.78/35.88 c #random_decision = 1
35.78/35.88 c #conflict = 0
35.78/35.88 c #restart = 0
35.78/35.88 o 137
35.78/35.88 c BCD2: updating upper bound: 14299 -> 136
35.88/35.95 c BCD2: 24 <= obj <= 136
35.88/35.95 c BCD2: #cores=24, #unrelaxed=12676, #relaxed=1624, #hardened=0
35.88/35.95 c BCD2: #sat=2 #unsat=25 bias=25/27
35.88/35.96 c Solving starts ...
35.88/35.96 c ============================[ Search Statistics ]============================
35.88/35.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
35.88/35.96 c | | | | Limit GC | Var | Constra
35.88/35.96 c =============================================================================
35.88/35.96 c 0.0s | 0 | 0 | 0 | 26526 0 | 0 | 25
36.29/36.34 c 0.4s | 0 | 13074 | 16 | 26526 0 | 0 | 25
36.29/36.34 c #cpu_time = 0.376s
36.29/36.34 c #wall_clock_time = 0.376s
36.29/36.34 c #decision = 13074
36.29/36.34 c #random_decision = 1
36.29/36.34 c #conflict = 16
36.29/36.34 c #restart = 0
36.29/36.34 c BCD2: relaxing 349 and merging with 2 cores into a new core of size 479: cost of the new core is >=3
36.29/36.34 c lower bound updated to 25
36.29/36.35 c BCD2: 25 <= obj <= 136
36.29/36.35 c BCD2: #cores=23, #unrelaxed=12327, #relaxed=1973, #hardened=0
36.29/36.35 c BCD2: #sat=2 #unsat=26 bias=26/28
36.29/36.35 c Solving starts ...
36.29/36.35 c ============================[ Search Statistics ]============================
36.29/36.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
36.29/36.35 c | | | | Limit GC | Var | Constra
36.29/36.35 c =============================================================================
36.29/36.35 c 0.0s | 0 | 0 | 0 | 26526 0 | 21 | 25
36.69/36.78 c 0.4s | 1 | 13957 | 100 | 29179 0 | 21 | 65
37.18/37.25 c 0.9s | 2 | 27268 | 250 | 32097 0 | 21 | 65
37.69/37.73 c 1.4s | 3 | 40495 | 475 | 35307 0 | 21 | 65
38.49/38.51 c 2.2s | 4 | 56459 | 813 | 38838 0 | 21 | 65
39.19/39.29 c 2.9s | 5 | 71585 | 1320 | 42722 0 | 21 | 65
40.38/40.43 c 4.1s | 6 | 91349 | 2081 | 46995 0 | 21 | 65
42.18/42.24 c 5.9s | 7 | 115531 | 3223 | 51695 0 | 21 | 65
44.18/44.30 c 7.9s | 7 | 138664 | 4823 | 51695 0 | 21 | 65
44.39/44.41 c 8.1s | 8 | 139916 | 4936 | 56865 0 | 21 | 65
46.38/46.43 c 10.1s | 8 | 166560 | 6336 | 56865 0 | 21 | 65
47.98/48.05 c 11.7s | 9 | 176905 | 7506 | 62552 0 | 21 | 65
50.07/50.13 c 13.8s | 9 | 196953 | 8706 | 62552 0 | 21 | 65
52.08/52.14 c 15.8s | 9 | 205373 | 10406 | 62552 0 | 21 | 65
53.18/53.29 c 16.9s | 10 | 215332 | 11361 | 68808 0 | 21 | 65
55.28/55.31 c 19.0s | 10 | 241596 | 12561 | 68808 0 | 21 | 65
57.27/57.35 c 21.0s | 10 | 247961 | 13561 | 68808 0 | 21 | 65
59.27/59.39 c 23.0s | 10 | 258233 | 15161 | 68808 0 | 21 | 65
61.37/61.43 c 25.1s | 10 | 270295 | 16961 | 68808 0 | 21 | 65
61.57/61.64 c 25.3s | 11 | 272012 | 17144 | 75689 0 | 21 | 65
63.57/63.66 c 27.3s | 11 | 294916 | 18244 | 75689 0 | 21 | 65
65.57/65.67 c 29.3s | 11 | 309053 | 19644 | 75689 0 | 21 | 65
67.67/67.71 c 31.4s | 11 | 324908 | 21144 | 75689 0 | 21 | 65
69.77/69.81 c 33.5s | 11 | 339286 | 22744 | 75689 0 | 21 | 65
71.78/71.86 c 35.5s | 11 | 347552 | 24044 | 75689 0 | 21 | 65
73.86/73.91 c 37.6s | 11 | 357754 | 25244 | 75689 0 | 21 | 65
74.66/74.71 c 38.4s | 12 | 362464 | 25819 | 83258 0 | 21 | 65
76.66/76.76 c 40.4s | 12 | 384128 | 26919 | 83258 0 | 21 | 65
78.77/78.85 c 42.5s | 12 | 389921 | 28219 | 83258 0 | 21 | 65
80.87/80.96 c 44.6s | 12 | 398425 | 29619 | 83258 0 | 21 | 65
82.97/83.01 c 46.7s | 12 | 408464 | 30819 | 83258 0 | 21 | 65
84.97/85.04 c 48.7s | 12 | 415796 | 32019 | 83258 0 | 21 | 65
86.96/87.08 c 50.7s | 12 | 420412 | 33219 | 83258 0 | 21 | 65
89.06/89.10 c 52.7s | 12 | 424941 | 34419 | 83258 0 | 21 | 65
91.06/91.19 c 54.8s | 12 | 429216 | 35519 | 83258 0 | 21 | 65
93.26/93.38 c 57.0s | 12 | 433852 | 36519 | 83258 0 | 21 | 65
95.36/95.43 c 59.1s | 12 | 438130 | 37619 | 83258 0 | 21 | 65
97.26/97.34 c 61.0s | 13 | 443615 | 38832 | 91584 0 | 21 | 65
99.36/99.47 c 63.1s | 13 | 459669 | 39932 | 91584 0 | 21 | 65
101.36/101.50 c 65.1s | 13 | 464932 | 41332 | 91584 0 | 21 | 65
103.46/103.54 c 67.2s | 13 | 471390 | 42532 | 91584 0 | 21 | 65
105.46/105.55 c 69.2s | 13 | 475515 | 43832 | 91584 0 | 21 | 65
107.65/107.72 c 71.4s | 13 | 479931 | 45032 | 91584 0 | 21 | 65
109.65/109.74 c 73.4s | 13 | 485839 | 46232 | 91584 0 | 21 | 65
111.75/111.80 c 75.4s | 13 | 490968 | 47432 | 91584 0 | 21 | 65
113.95/114.02 c 77.7s | 13 | 496640 | 48532 | 91584 0 | 21 | 65
116.05/116.15 c 79.8s | 13 | 501670 | 49532 | 91584 0 | 21 | 65
118.06/118.16 c 81.8s | 13 | 506484 | 50432 | 91584 0 | 21 | 65
120.16/120.24 c 83.9s | 13 | 511156 | 50932 | 91584 0 | 21 | 65
122.15/122.29 c 85.9s | 13 | 514867 | 51632 | 91584 0 | 21 | 65
124.25/124.32 c 88.0s | 13 | 519988 | 52532 | 91584 0 | 21 | 65
126.35/126.49 c 90.1s | 13 | 524398 | 53532 | 91584 0 | 21 | 65
128.55/128.67 c 92.3s | 13 | 529357 | 54432 | 91584 0 | 21 | 65
130.65/130.70 c 94.3s | 13 | 533097 | 55232 | 91584 0 | 21 | 65
132.75/132.89 c 96.5s | 13 | 536471 | 56232 | 91584 0 | 21 | 65
134.95/135.09 c 98.7s | 13 | 542895 | 57032 | 91584 0 | 21 | 65
137.15/137.25 c 100s | 13 | 549397 | 57832 | 91584 0 | 21 | 65
138.65/138.76 c 102s | 14 | 554814 | 58352 | 100743 0 | 21 | 65
140.75/140.81 c 104s | 14 | 570202 | 58852 | 100743 0 | 21 | 65
142.75/142.82 c 106s | 14 | 574769 | 59552 | 100743 0 | 21 | 65
144.95/145.05 c 108s | 14 | 578614 | 60352 | 100743 0 | 21 | 65
147.15/147.27 c 110s | 14 | 581859 | 61152 | 100743 0 | 21 | 65
149.55/149.64 c 113s | 14 | 585532 | 61952 | 100743 0 | 21 | 65
151.75/151.84 c 115s | 14 | 590267 | 62752 | 100743 0 | 21 | 65
153.75/153.89 c 117s | 14 | 594757 | 63452 | 100743 0 | 21 | 65
155.85/155.98 c 119s | 14 | 597040 | 64152 | 100743 0 | 21 | 65
158.15/158.20 c 121s | 14 | 599307 | 64752 | 100743 0 | 21 | 65
160.25/160.33 c 123s | 14 | 604558 | 65552 | 100743 0 | 21 | 65
162.24/162.39 c 126s | 14 | 609993 | 66552 | 100743 0 | 21 | 65
164.54/164.69 c 128s | 14 | 614406 | 67352 | 100743 0 | 21 | 65
166.74/166.82 c 130s | 14 | 617751 | 68052 | 100743 0 | 21 | 65
169.14/169.20 c 132s | 14 | 622258 | 68752 | 100743 0 | 21 | 65
171.24/171.36 c 135s | 14 | 624981 | 69252 | 100743 0 | 21 | 65
173.73/173.82 c 137s | 14 | 627636 | 69952 | 100743 0 | 21 | 65
175.73/175.84 c 139s | 14 | 629627 | 70352 | 100743 0 | 21 | 65
178.03/178.15 c 141s | 14 | 631966 | 70952 | 100743 0 | 21 | 65
180.13/180.20 c 143s | 14 | 638129 | 71752 | 100743 0 | 21 | 65
182.43/182.58 c 146s | 14 | 643457 | 72352 | 100743 0 | 21 | 65
184.53/184.64 c 148s | 14 | 647228 | 72852 | 100743 0 | 21 | 65
186.92/187.08 c 150s | 14 | 650312 | 73452 | 100743 0 | 21 | 65
189.12/189.24 c 152s | 14 | 652141 | 73952 | 100743 0 | 21 | 65
191.42/191.50 c 155s | 14 | 655863 | 74552 | 100743 0 | 21 | 65
193.52/193.66 c 157s | 14 | 657550 | 75152 | 100743 0 | 21 | 65
195.72/195.83 c 159s | 14 | 658897 | 75652 | 100743 0 | 21 | 65
198.02/198.13 c 161s | 14 | 664251 | 76152 | 100743 0 | 21 | 65
200.22/200.32 c 163s | 14 | 669103 | 76752 | 100743 0 | 21 | 65
202.31/202.41 c 166s | 14 | 673411 | 77352 | 100743 0 | 21 | 65
204.61/204.71 c 168s | 14 | 676154 | 77852 | 100743 0 | 21 | 65
206.81/206.92 c 170s | 14 | 680382 | 78452 | 100743 0 | 21 | 65
209.01/209.10 c 172s | 14 | 685950 | 79152 | 100743 0 | 21 | 65
211.22/211.31 c 174s | 14 | 688719 | 79752 | 100743 0 | 21 | 65
213.42/213.55 c 177s | 14 | 692567 | 80252 | 100743 0 | 21 | 65
216.02/216.13 c 179s | 14 | 696415 | 80752 | 100743 0 | 21 | 65
218.72/218.80 c 182s | 14 | 702667 | 81252 | 100743 0 | 21 | 65
221.02/221.20 c 184s | 14 | 706125 | 81852 | 100743 0 | 21 | 65
223.21/223.34 c 186s | 14 | 709695 | 82352 | 100743 0 | 21 | 65
225.61/225.79 c 189s | 14 | 713716 | 82952 | 100743 0 | 21 | 65
227.81/227.97 c 191s | 14 | 715989 | 83352 | 100743 0 | 21 | 65
229.91/230.03 c 193s | 14 | 720409 | 83752 | 100743 0 | 21 | 65
232.01/232.18 c 195s | 14 | 724326 | 84152 | 100743 0 | 21 | 65
234.21/234.36 c 198s | 14 | 729183 | 84652 | 100743 0 | 21 | 65
236.31/236.43 c 200s | 14 | 733134 | 85052 | 100743 0 | 21 | 65
238.51/238.67 c 202s | 14 | 734680 | 85452 | 100743 0 | 21 | 65
240.81/240.98 c 204s | 14 | 738167 | 85952 | 100743 0 | 21 | 65
243.11/243.22 c 206s | 14 | 742493 | 86352 | 100743 0 | 21 | 65
245.51/245.68 c 209s | 14 | 745894 | 86852 | 100743 0 | 21 | 65
247.91/248.09 c 211s | 14 | 749419 | 87252 | 110818 0 | 21 | 65
250.11/250.22 c 213s | 15 | 754322 | 87632 | 110818 0 | 21 | 65
252.50/252.61 c 216s | 15 | 770746 | 87932 | 110818 0 | 21 | 65
255.10/255.24 c 218s | 15 | 773025 | 88332 | 110818 0 | 21 | 65
257.30/257.42 c 221s | 15 | 777271 | 88832 | 110818 0 | 21 | 65
259.60/259.73 c 223s | 15 | 780580 | 89332 | 110818 0 | 21 | 65
261.70/261.86 c 225s | 15 | 782871 | 89832 | 110818 0 | 21 | 65
263.80/263.98 c 227s | 15 | 785088 | 90232 | 110818 0 | 21 | 65
266.40/266.58 c 230s | 15 | 787797 | 90732 | 110818 0 | 21 | 65
268.70/268.82 c 232s | 15 | 790047 | 91232 | 110818 0 | 21 | 65
270.69/270.86 c 234s | 15 | 790903 | 91532 | 110818 0 | 21 | 65
273.00/273.20 c 236s | 15 | 792589 | 91932 | 110818 0 | 21 | 65
275.39/275.50 c 239s | 15 | 797349 | 92532 | 110818 0 | 21 | 65
277.60/277.70 c 241s | 15 | 802767 | 93132 | 110818 0 | 21 | 65
279.89/280.00 c 243s | 15 | 807552 | 93732 | 110818 0 | 21 | 65
281.99/282.11 c 245s | 15 | 812418 | 94332 | 110818 0 | 21 | 65
284.19/284.38 c 248s | 15 | 815352 | 94932 | 110818 0 | 21 | 65
286.30/286.49 c 250s | 15 | 821986 | 95632 | 110818 0 | 21 | 65
288.39/288.56 c 252s | 15 | 827439 | 96132 | 110818 0 | 21 | 65
290.60/290.77 c 254s | 15 | 831254 | 96632 | 110818 0 | 21 | 65
292.59/292.77 c 256s | 15 | 833770 | 97032 | 110818 0 | 21 | 65
295.00/295.18 c 258s | 15 | 836964 | 97732 | 110818 0 | 21 | 65
297.09/297.29 c 260s | 15 | 840237 | 98232 | 110818 0 | 21 | 65
299.59/299.78 c 263s | 15 | 843279 | 98832 | 110818 0 | 21 | 65
301.79/301.99 c 265s | 15 | 846664 | 99432 | 110818 0 | 21 | 65
304.29/304.46 c 268s | 15 | 849286 | 99932 | 110818 0 | 21 | 65
306.48/306.65 c 270s | 15 | 851415 | 100332 | 110818 0 | 21 | 65
308.88/309.08 c 272s | 15 | 854423 | 100832 | 110818 0 | 21 | 65
311.18/311.34 c 274s | 15 | 859073 | 101432 | 110818 0 | 21 | 65
313.58/313.76 c 277s | 15 | 862648 | 102032 | 110818 0 | 21 | 65
315.58/315.77 c 279s | 15 | 865844 | 102532 | 110818 0 | 21 | 65
317.79/317.91 c 281s | 15 | 872023 | 103132 | 110818 0 | 21 | 65
320.09/320.21 c 283s | 15 | 875516 | 103632 | 110818 0 | 21 | 65
322.09/322.26 c 285s | 15 | 877615 | 103932 | 110818 0 | 21 | 65
324.38/324.56 c 288s | 15 | 878548 | 104232 | 110818 0 | 21 | 65
326.89/327.04 c 290s | 15 | 882058 | 104832 | 110818 0 | 21 | 65
329.38/329.53 c 293s | 15 | 885410 | 105332 | 110818 0 | 21 | 65
331.88/332.05 c 295s | 15 | 887183 | 105732 | 110818 0 | 21 | 65
333.98/334.19 c 297s | 15 | 889184 | 106232 | 110818 0 | 21 | 65
336.68/336.87 c 300s | 15 | 893745 | 106732 | 110818 0 | 21 | 65
338.99/339.12 c 302s | 15 | 900147 | 107032 | 110818 0 | 21 | 65
341.48/341.64 c 305s | 15 | 909645 | 107532 | 110818 0 | 21 | 65
343.67/343.87 c 307s | 15 | 914073 | 107932 | 110818 0 | 21 | 65
346.08/346.23 c 309s | 15 | 918012 | 108432 | 110818 0 | 21 | 65
348.17/348.34 c 311s | 15 | 923961 | 108932 | 110818 0 | 21 | 65
350.37/350.51 c 314s | 15 | 927511 | 109432 | 110818 0 | 21 | 65
352.57/352.75 c 316s | 15 | 930179 | 109832 | 110818 0 | 21 | 65
354.66/354.86 c 318s | 15 | 931441 | 110132 | 110818 0 | 21 | 65
356.87/357.09 c 320s | 15 | 934842 | 110632 | 110818 0 | 21 | 65
358.97/359.18 c 322s | 15 | 939090 | 111132 | 110818 0 | 21 | 65
361.67/361.81 c 325s | 15 | 941992 | 111532 | 110818 0 | 21 | 65
363.96/364.11 c 327s | 15 | 945552 | 112032 | 110818 0 | 21 | 65
366.57/366.75 c 330s | 15 | 949486 | 112532 | 110818 0 | 21 | 65
368.67/368.87 c 332s | 15 | 951986 | 112832 | 110818 0 | 21 | 65
371.26/371.43 c 335s | 15 | 954420 | 113232 | 110818 0 | 21 | 65
373.26/373.48 c 337s | 15 | 957193 | 113632 | 110818 0 | 21 | 65
375.37/375.57 c 339s | 15 | 959920 | 113932 | 110818 0 | 21 | 65
377.46/377.64 c 341s | 15 | 961370 | 114232 | 110818 0 | 21 | 65
379.96/380.13 c 343s | 15 | 965108 | 114732 | 110818 0 | 21 | 65
382.46/382.62 c 346s | 15 | 970295 | 115232 | 110818 0 | 21 | 65
384.86/385.03 c 348s | 15 | 972595 | 115732 | 110818 0 | 21 | 65
387.06/387.22 c 350s | 15 | 978362 | 116132 | 110818 0 | 21 | 65
389.36/389.54 c 353s | 15 | 985259 | 116532 | 110818 0 | 21 | 65
392.35/392.56 c 356s | 15 | 988553 | 116932 | 110818 0 | 21 | 65
394.75/394.92 c 358s | 15 | 992297 | 117432 | 110818 0 | 21 | 65
397.25/397.48 c 361s | 15 | 995780 | 117832 | 110818 0 | 21 | 65
399.45/399.61 c 363s | 15 | 999417 | 118232 | 110818 0 | 21 | 65
401.65/401.84 c 365s | 15 | 1003746 | 118632 | 110818 0 | 21 | 65
403.74/403.91 c 367s | 15 | 1010720 | 119132 | 110818 0 | 21 | 65
406.06/406.28 c 369s | 15 | 1014835 | 119632 | 110818 0 | 21 | 65
408.15/408.31 c 371s | 15 | 1017206 | 119932 | 110818 0 | 21 | 65
410.65/410.81 c 374s | 15 | 1021228 | 120332 | 110818 0 | 21 | 65
412.85/413.04 c 376s | 15 | 1026471 | 120832 | 110818 0 | 21 | 65
414.95/415.11 c 378s | 15 | 1030587 | 121232 | 110818 0 | 21 | 65
417.44/417.61 c 381s | 15 | 1036390 | 121632 | 110818 0 | 21 | 65
419.65/419.88 c 383s | 15 | 1042751 | 122132 | 110818 0 | 21 | 65
421.85/422.09 c 385s | 15 | 1045596 | 122532 | 110818 0 | 21 | 65
424.25/424.40 c 388s | 15 | 1048689 | 123032 | 110818 0 | 21 | 65
428.25/428.40 c 392s | 15 | 1051035 | 123332 | 110818 1 | 21 | 65
430.44/430.64 c 394s | 15 | 1054152 | 123632 | 110818 1 | 21 | 65
432.74/432.97 c 396s | 15 | 1056146 | 124032 | 110818 1 | 21 | 65
434.74/434.99 c 398s | 15 | 1062017 | 124632 | 110818 1 | 21 | 65
437.04/437.25 c 400s | 15 | 1066890 | 125232 | 110818 1 | 21 | 65
439.34/439.52 c 403s | 15 | 1073298 | 125832 | 110818 1 | 21 | 65
441.44/441.61 c 405s | 15 | 1078085 | 126432 | 110818 1 | 21 | 65
443.55/443.72 c 407s | 15 | 1083737 | 127032 | 110818 1 | 21 | 65
445.75/445.95 c 409s | 15 | 1086753 | 127732 | 110818 1 | 21 | 65
447.95/448.18 c 411s | 15 | 1093347 | 128432 | 110818 1 | 21 | 65
450.24/450.44 c 414s | 15 | 1100296 | 129132 | 110818 1 | 21 | 65
452.54/452.74 c 416s | 15 | 1107404 | 129732 | 110818 1 | 21 | 65
455.43/455.62 c 419s | 15 | 1108494 | 129832 | 110818 1 | 21 | 65
457.43/457.69 c 421s | 15 | 1116013 | 130632 | 121900 1 | 21 | 65
459.43/459.69 c 423s | 15 | 1122206 | 131432 | 121900 1 | 21 | 65
459.73/459.95 c 423s | 16 | 1124491 | 131552 | 121900 1 | 21 | 65
461.93/462.17 c 425s | 16 | 1141107 | 132052 | 121900 1 | 21 | 65
466.73/466.98 c 430s | 16 | 1141848 | 132152 | 121900 1 | 21 | 65
468.92/469.15 c 432s | 16 | 1147102 | 133052 | 121900 1 | 21 | 65
474.92/475.12 c 438s | 16 | 1151011 | 133752 | 121900 1 | 21 | 65
477.02/477.22 c 440s | 16 | 1161294 | 134952 | 121900 1 | 21 | 65
479.12/479.35 c 442s | 16 | 1170262 | 135852 | 121900 1 | 21 | 65
481.22/481.41 c 445s | 16 | 1178863 | 136752 | 121900 1 | 21 | 65
483.43/483.63 c 447s | 16 | 1184117 | 137452 | 121900 1 | 21 | 65
485.43/485.64 c 449s | 16 | 1190443 | 138252 | 121900 1 | 21 | 65
487.63/487.89 c 451s | 16 | 1195840 | 139052 | 121900 1 | 21 | 65
490.62/490.81 c 454s | 16 | 1199355 | 139852 | 121900 1 | 21 | 65
492.62/492.83 c 456s | 16 | 1204873 | 140752 | 121900 1 | 21 | 65
494.62/494.89 c 458s | 16 | 1215583 | 141852 | 121900 1 | 21 | 65
496.82/497.06 c 460s | 16 | 1220501 | 142752 | 121900 1 | 21 | 65
498.92/499.16 c 462s | 16 | 1226036 | 143652 | 121900 1 | 21 | 65
501.12/501.36 c 465s | 16 | 1230472 | 144452 | 121900 1 | 21 | 65
503.22/503.43 c 467s | 16 | 1236292 | 145252 | 121900 1 | 21 | 65
505.22/505.44 c 469s | 16 | 1243183 | 146052 | 121900 1 | 21 | 65
507.32/507.56 c 471s | 16 | 1251748 | 146752 | 121900 1 | 21 | 65
509.61/509.80 c 473s | 16 | 1259510 | 147352 | 121900 1 | 21 | 65
511.72/511.97 c 475s | 16 | 1264609 | 147852 | 121900 1 | 21 | 65
513.82/514.03 c 477s | 16 | 1270086 | 148452 | 121900 1 | 21 | 65
515.91/516.15 c 479s | 16 | 1275570 | 149052 | 121900 1 | 21 | 65
518.11/518.36 c 482s | 16 | 1284815 | 149852 | 121900 1 | 21 | 65
520.21/520.47 c 484s | 16 | 1291781 | 150552 | 121900 1 | 21 | 65
522.40/522.62 c 486s | 16 | 1299119 | 151352 | 121900 1 | 21 | 65
524.50/524.70 c 488s | 16 | 1303490 | 151952 | 121900 1 | 21 | 65
526.71/526.97 c 490s | 16 | 1308089 | 152652 | 121900 1 | 21 | 65
529.01/529.21 c 492s | 16 | 1311769 | 153252 | 121900 1 | 21 | 65
531.41/531.64 c 495s | 16 | 1316052 | 153852 | 121900 1 | 21 | 65
533.61/533.87 c 497s | 16 | 1321115 | 154552 | 121900 1 | 21 | 65
535.81/536.09 c 499s | 16 | 1326458 | 155152 | 121900 1 | 21 | 65
537.90/538.14 c 501s | 16 | 1331868 | 155652 | 121900 1 | 21 | 65
539.90/540.19 c 503s | 16 | 1334699 | 156052 | 121900 1 | 21 | 65
542.30/542.55 c 506s | 16 | 1336778 | 156552 | 121900 1 | 21 | 65
544.30/544.58 c 508s | 16 | 1339149 | 156952 | 121900 1 | 21 | 65
546.40/546.65 c 510s | 16 | 1346616 | 157652 | 121900 1 | 21 | 65
548.59/548.81 c 512s | 16 | 1354533 | 158452 | 121900 1 | 21 | 65
550.69/550.96 c 514s | 16 | 1358539 | 159052 | 121900 1 | 21 | 65
552.90/553.16 c 516s | 16 | 1364749 | 159752 | 121900 1 | 21 | 65
555.09/555.34 c 518s | 16 | 1370626 | 160252 | 121900 1 | 21 | 65
557.39/557.64 c 521s | 16 | 1375398 | 160852 | 121900 1 | 21 | 65
559.39/559.64 c 523s | 16 | 1377475 | 161252 | 121900 1 | 21 | 65
561.59/561.89 c 525s | 16 | 1381335 | 161852 | 121900 1 | 21 | 65
563.89/564.14 c 527s | 16 | 1383234 | 162352 | 121900 1 | 21 | 65
566.49/566.79 c 530s | 16 | 1385908 | 162752 | 121900 1 | 21 | 65
568.89/569.15 c 532s | 16 | 1387785 | 163052 | 121900 1 | 21 | 65
571.19/571.45 c 535s | 16 | 1391523 | 163552 | 121900 1 | 21 | 65
573.29/573.55 c 537s | 16 | 1397248 | 164152 | 121900 1 | 21 | 65
575.49/575.76 c 539s | 16 | 1402315 | 164752 | 121900 1 | 21 | 65
577.60/577.88 c 541s | 16 | 1408888 | 165352 | 121900 1 | 21 | 65
579.99/580.24 c 543s | 16 | 1414088 | 165852 | 121900 1 | 21 | 65
582.29/582.56 c 546s | 16 | 1419925 | 166452 | 121900 1 | 21 | 65
584.78/585.03 c 548s | 16 | 1422250 | 166852 | 121900 1 | 21 | 65
586.98/587.20 c 550s | 16 | 1425507 | 167352 | 121900 1 | 21 | 65
588.98/589.24 c 552s | 16 | 1427334 | 167752 | 121900 1 | 21 | 65
591.38/591.60 c 555s | 16 | 1431583 | 168352 | 121900 1 | 21 | 65
593.48/593.74 c 557s | 16 | 1435406 | 168852 | 121900 1 | 21 | 65
595.68/595.94 c 559s | 16 | 1438567 | 169352 | 121900 1 | 21 | 65
597.78/598.05 c 561s | 16 | 1441568 | 169852 | 121900 1 | 21 | 65
599.98/600.20 c 563s | 16 | 1443790 | 170352 | 121900 1 | 21 | 65
601.98/602.21 c 565s | 16 | 1445092 | 170652 | 121900 1 | 21 | 65
604.08/604.34 c 567s | 16 | 1446927 | 171152 | 121900 1 | 21 | 65
606.07/606.39 c 570s | 16 | 1451969 | 171752 | 121900 1 | 21 | 65
608.17/608.49 c 572s | 16 | 1454654 | 172152 | 121900 1 | 21 | 65
610.47/610.74 c 574s | 16 | 1459439 | 172652 | 121900 1 | 21 | 65
612.78/613.02 c 576s | 16 | 1463815 | 173252 | 121900 1 | 21 | 65
614.88/615.15 c 578s | 16 | 1473455 | 173952 | 121900 1 | 21 | 65
617.08/617.37 c 581s | 16 | 1479964 | 174752 | 121900 1 | 21 | 65
619.48/619.77 c 583s | 16 | 1483934 | 175352 | 121900 1 | 21 | 65
621.68/621.96 c 585s | 16 | 1487293 | 175952 | 121900 1 | 21 | 65
623.78/624.01 c 587s | 16 | 1491315 | 176452 | 121900 1 | 21 | 65
625.77/626.06 c 589s | 16 | 1495320 | 176852 | 121900 1 | 21 | 65
627.77/628.09 c 591s | 16 | 1500361 | 177352 | 121900 1 | 21 | 65
629.97/630.29 c 593s | 16 | 1505147 | 177952 | 121900 1 | 21 | 65
632.07/632.39 c 596s | 16 | 1508469 | 178452 | 121900 1 | 21 | 65
634.37/634.68 c 598s | 16 | 1512304 | 178952 | 121900 1 | 21 | 65
636.67/636.95 c 600s | 16 | 1515896 | 179452 | 121900 1 | 21 | 65
639.17/639.48 c 603s | 16 | 1520444 | 179852 | 121900 1 | 21 | 65
641.87/642.19 c 605s | 16 | 1523940 | 180252 | 121900 1 | 21 | 65
644.06/644.31 c 607s | 16 | 1526477 | 180552 | 121900 1 | 21 | 65
646.16/646.42 c 610s | 16 | 1528970 | 181052 | 121900 1 | 21 | 65
648.36/648.64 c 612s | 16 | 1532473 | 181652 | 121900 1 | 21 | 65
650.36/650.68 c 614s | 16 | 1534957 | 182252 | 121900 1 | 21 | 65
652.56/652.87 c 616s | 16 | 1536272 | 182752 | 121900 1 | 21 | 65
654.96/655.20 c 618s | 16 | 1541645 | 183252 | 121900 1 | 21 | 65
657.27/657.55 c 621s | 16 | 1546105 | 183852 | 121900 1 | 21 | 65
659.37/659.64 c 623s | 16 | 1547733 | 184252 | 121900 1 | 21 | 65
661.57/661.82 c 625s | 16 | 1548967 | 184752 | 121900 1 | 21 | 65
663.96/664.20 c 627s | 16 | 1551444 | 185252 | 121900 1 | 21 | 65
666.26/666.54 c 630s | 16 | 1554189 | 185752 | 121900 1 | 21 | 65
668.36/668.67 c 632s | 16 | 1557387 | 186252 | 121900 1 | 21 | 65
670.76/671.01 c 634s | 16 | 1560492 | 186852 | 121900 1 | 21 | 65
672.96/673.29 c 636s | 16 | 1562025 | 187252 | 121900 1 | 21 | 65
675.66/675.97 c 639s | 16 | 1563606 | 187652 | 121900 1 | 21 | 65
677.95/678.29 c 641s | 16 | 1566357 | 188252 | 121900 1 | 21 | 65
680.06/680.33 c 643s | 16 | 1569260 | 188752 | 121900 1 | 21 | 65
682.07/682.40 c 646s | 16 | 1571067 | 189152 | 121900 1 | 21 | 65
684.86/685.20 c 648s | 16 | 1572713 | 189552 | 121900 1 | 21 | 65
687.16/687.41 c 651s | 16 | 1578033 | 190052 | 121900 1 | 21 | 65
689.16/689.46 c 653s | 16 | 1581644 | 190452 | 121900 1 | 21 | 65
691.66/691.94 c 655s | 16 | 1585817 | 190952 | 121900 1 | 21 | 65
693.86/694.19 c 657s | 16 | 1588814 | 191352 | 121900 1 | 21 | 65
695.95/696.27 c 659s | 16 | 1591427 | 191752 | 121900 1 | 21 | 65
698.15/698.48 c 662s | 16 | 1592807 | 192052 | 121900 1 | 21 | 65
700.76/701.02 c 664s | 16 | 1596808 | 192352 | 121900 1 | 21 | 65
702.85/703.19 c 666s | 16 | 1599988 | 192852 | 121900 1 | 21 | 65
705.05/705.33 c 668s | 16 | 1601949 | 193252 | 121900 1 | 21 | 65
707.15/707.46 c 671s | 16 | 1603514 | 193552 | 121900 1 | 21 | 65
709.35/709.66 c 673s | 16 | 1605882 | 194052 | 121900 1 | 21 | 65
711.76/712.09 c 675s | 16 | 1609604 | 194652 | 121900 1 | 21 | 65
714.16/714.40 c 678s | 16 | 1614139 | 195052 | 121900 1 | 21 | 65
716.36/716.65 c 680s | 16 | 1618635 | 195552 | 121900 1 | 21 | 65
718.55/718.89 c 682s | 16 | 1621216 | 195952 | 121900 1 | 21 | 65
720.85/721.10 c 684s | 16 | 1624411 | 196352 | 134090 1 | 21 | 65
723.05/723.37 c 687s | 16 | 1627356 | 196752 | 134090 1 | 21 | 65
725.55/725.84 c 689s | 16 | 1629669 | 197152 | 134090 1 | 21 | 65
727.55/727.86 c 691s | 17 | 1630844 | 197432 | 134090 1 | 21 | 65
736.75/737.06 c 700s | 17 | 1643520 | 197532 | 134090 2 | 21 | 65
741.35/741.64 c 705s | 17 | 1644200 | 197732 | 134090 2 | 21 | 65
743.65/743.93 c 707s | 17 | 1645633 | 198232 | 134090 2 | 21 | 65
745.85/746.12 c 709s | 17 | 1648740 | 198832 | 134090 2 | 21 | 65
748.25/748.55 c 712s | 17 | 1649641 | 199032 | 134090 2 | 21 | 65
750.36/750.70 c 714s | 17 | 1651646 | 199732 | 134090 2 | 21 | 65
752.46/752.75 c 716s | 17 | 1653882 | 200232 | 134090 2 | 21 | 65
754.55/754.87 c 718s | 17 | 1656586 | 200732 | 134090 2 | 21 | 65
756.75/757.01 c 720s | 17 | 1659771 | 201732 | 134090 2 | 21 | 65
758.74/759.02 c 722s | 17 | 1663814 | 202532 | 134090 2 | 21 | 65
760.74/761.05 c 724s | 17 | 1667352 | 203432 | 134090 2 | 21 | 65
762.94/763.22 c 726s | 17 | 1671678 | 204232 | 134090 2 | 21 | 65
765.24/765.59 c 729s | 17 | 1675162 | 204932 | 134090 2 | 21 | 65
767.35/767.62 c 731s | 17 | 1677472 | 205632 | 134090 2 | 21 | 65
769.85/770.11 c 733s | 17 | 1680233 | 206432 | 134090 2 | 21 | 65
771.95/772.24 c 735s | 17 | 1681969 | 206932 | 134090 2 | 21 | 65
774.15/774.47 c 738s | 17 | 1684285 | 207332 | 134090 2 | 21 | 65
776.35/776.62 c 740s | 17 | 1686835 | 207932 | 134090 2 | 21 | 65
778.54/778.84 c 742s | 17 | 1688989 | 208432 | 134090 2 | 21 | 65
781.05/781.37 c 745s | 17 | 1690747 | 208832 | 134090 2 | 21 | 65
783.44/783.76 c 747s | 17 | 1693783 | 209532 | 134090 2 | 21 | 65
785.84/786.13 c 749s | 17 | 1697001 | 210232 | 134090 2 | 21 | 65
788.14/788.42 c 752s | 17 | 1698964 | 210832 | 134090 2 | 21 | 65
790.34/790.65 c 754s | 17 | 1703064 | 211432 | 134090 2 | 21 | 65
792.64/792.96 c 756s | 17 | 1705540 | 212032 | 134090 2 | 21 | 65
794.74/795.03 c 758s | 17 | 1710258 | 212732 | 134090 2 | 21 | 65
796.74/797.04 c 760s | 17 | 1713592 | 213332 | 134090 2 | 21 | 65
798.94/799.23 c 762s | 17 | 1716472 | 213932 | 134090 2 | 21 | 65
800.94/801.27 c 764s | 17 | 1719628 | 214432 | 134090 2 | 21 | 65
802.94/803.28 c 766s | 17 | 1721472 | 214832 | 134090 2 | 21 | 65
805.04/805.31 c 768s | 17 | 1724301 | 215332 | 134090 2 | 21 | 65
807.14/807.44 c 771s | 17 | 1727155 | 215732 | 134090 2 | 21 | 65
809.65/809.95 c 773s | 17 | 1728995 | 216132 | 134090 2 | 21 | 65
811.94/812.23 c 775s | 17 | 1732894 | 216632 | 134090 2 | 21 | 65
814.04/814.39 c 778s | 17 | 1737136 | 217232 | 134090 2 | 21 | 65
816.24/816.55 c 780s | 17 | 1740059 | 217732 | 134090 2 | 21 | 65
818.63/818.92 c 782s | 17 | 1742942 | 218232 | 134090 2 | 21 | 65
820.74/821.08 c 784s | 17 | 1745932 | 218932 | 134090 2 | 21 | 65
822.84/823.19 c 786s | 17 | 1748963 | 219632 | 134090 2 | 21 | 65
824.93/825.23 c 788s | 17 | 1752345 | 220132 | 134090 2 | 21 | 65
827.03/827.39 c 791s | 17 | 1754595 | 220732 | 134090 2 | 21 | 65
829.44/829.71 c 793s | 17 | 1756422 | 221332 | 134090 2 | 21 | 65
831.64/831.93 c 795s | 17 | 1760329 | 221932 | 134090 2 | 21 | 65
833.63/833.99 c 797s | 17 | 1763204 | 222532 | 134090 2 | 21 | 65
835.74/836.09 c 799s | 17 | 1767636 | 223132 | 134090 2 | 21 | 65
838.13/838.40 c 802s | 17 | 1771883 | 223732 | 134090 2 | 21 | 65
840.34/840.70 c 804s | 17 | 1774970 | 224232 | 134090 2 | 21 | 65
842.43/842.73 c 806s | 17 | 1777101 | 224632 | 134090 2 | 21 | 65
844.53/844.82 c 808s | 17 | 1779525 | 225032 | 134090 2 | 21 | 65
846.83/847.18 c 810s | 17 | 1781868 | 225632 | 134090 2 | 21 | 65
849.03/849.32 c 812s | 17 | 1784896 | 226132 | 134090 2 | 21 | 65
851.44/851.73 c 815s | 17 | 1787635 | 226632 | 134090 2 | 21 | 65
853.53/853.84 c 817s | 17 | 1789328 | 227032 | 134090 2 | 21 | 65
855.63/855.97 c 819s | 17 | 1791717 | 227632 | 134090 2 | 21 | 65
858.04/858.39 c 822s | 17 | 1792929 | 228032 | 134090 2 | 21 | 65
860.13/860.41 c 824s | 17 | 1797485 | 228632 | 134090 2 | 21 | 65
862.13/862.46 c 826s | 17 | 1800272 | 229232 | 134090 2 | 21 | 65
864.23/864.56 c 828s | 17 | 1802472 | 229732 | 134090 2 | 21 | 65
866.22/866.56 c 830s | 17 | 1805494 | 230332 | 134090 2 | 21 | 65
868.33/868.69 c 832s | 17 | 1807214 | 230832 | 134090 2 | 21 | 65
870.53/870.84 c 834s | 17 | 1810398 | 231432 | 134090 2 | 21 | 65
872.73/873.09 c 836s | 17 | 1812987 | 232032 | 134090 2 | 21 | 65
875.03/875.31 c 838s | 17 | 1814766 | 232532 | 134090 2 | 21 | 65
877.03/877.37 c 841s | 17 | 1816425 | 233132 | 134090 2 | 21 | 65
879.13/879.42 c 843s | 17 | 1818577 | 233632 | 134090 2 | 21 | 65
881.14/881.44 c 845s | 17 | 1820453 | 234032 | 134090 2 | 21 | 65
883.23/883.56 c 847s | 17 | 1823139 | 234432 | 134090 2 | 21 | 65
885.54/885.81 c 849s | 17 | 1826895 | 234832 | 134090 2 | 21 | 65
887.53/887.83 c 851s | 17 | 1829140 | 235432 | 134090 2 | 21 | 65
889.52/889.87 c 853s | 17 | 1832112 | 236032 | 134090 2 | 21 | 65
891.63/891.93 c 855s | 17 | 1834065 | 236532 | 134090 2 | 21 | 65
894.02/894.36 c 858s | 17 | 1837440 | 237132 | 134090 2 | 21 | 65
896.32/896.69 c 860s | 17 | 1840648 | 237632 | 134090 2 | 21 | 65
898.52/898.81 c 862s | 17 | 1843246 | 238032 | 134090 2 | 21 | 65
900.73/901.08 c 864s | 17 | 1845099 | 238432 | 134090 2 | 21 | 65
903.33/903.65 c 867s | 17 | 1847117 | 238732 | 134090 2 | 21 | 65
905.43/905.79 c 869s | 17 | 1849001 | 239032 | 134090 2 | 21 | 65
907.72/908.02 c 871s | 17 | 1851542 | 239432 | 134090 2 | 21 | 65
909.92/910.28 c 873s | 17 | 1855267 | 239732 | 134090 2 | 21 | 65
912.03/912.39 c 876s | 17 | 1860183 | 240232 | 134090 2 | 21 | 65
914.12/914.42 c 878s | 17 | 1862474 | 240632 | 134090 2 | 21 | 65
916.32/916.64 c 880s | 17 | 1865613 | 240932 | 134090 2 | 21 | 65
918.72/919.08 c 882s | 17 | 1869433 | 241332 | 134090 2 | 21 | 65
921.32/921.67 c 885s | 17 | 1871955 | 241732 | 134090 2 | 21 | 65
924.03/924.36 c 888s | 17 | 1874850 | 242132 | 134090 2 | 21 | 65
926.22/926.51 c 890s | 17 | 1876384 | 242432 | 134090 2 | 21 | 65
928.82/929.17 c 892s | 17 | 1877684 | 242732 | 134090 2 | 21 | 65
931.92/932.24 c 895s | 17 | 1878575 | 242932 | 134090 2 | 21 | 65
934.71/935.08 c 898s | 17 | 1880282 | 243232 | 134090 2 | 21 | 65
937.52/937.89 c 901s | 17 | 1883685 | 243732 | 134090 2 | 21 | 65
939.92/940.26 c 903s | 17 | 1886681 | 244132 | 134090 2 | 21 | 65
942.11/942.47 c 906s | 17 | 1890250 | 244532 | 134090 2 | 21 | 65
944.52/944.82 c 908s | 17 | 1892738 | 244932 | 134090 2 | 21 | 65
947.42/947.71 c 911s | 17 | 1895189 | 245232 | 134090 2 | 21 | 65
950.02/950.32 c 913s | 17 | 1897089 | 245532 | 134090 2 | 21 | 65
952.02/952.33 c 915s | 17 | 1901025 | 245932 | 134090 2 | 21 | 65
954.51/954.89 c 918s | 17 | 1905332 | 246432 | 134090 2 | 21 | 65
956.51/956.89 c 920s | 17 | 1906286 | 246732 | 134090 2 | 21 | 65
958.61/958.99 c 922s | 17 | 1907965 | 247032 | 134090 2 | 21 | 65
960.91/961.27 c 924s | 17 | 1910995 | 247332 | 134090 2 | 21 | 65
963.01/963.34 c 926s | 17 | 1914300 | 247732 | 134090 2 | 21 | 65
965.61/965.90 c 929s | 17 | 1916321 | 248132 | 134090 2 | 21 | 65
968.12/968.44 c 932s | 17 | 1919824 | 248532 | 134090 2 | 21 | 65
970.41/970.78 c 934s | 17 | 1922006 | 248832 | 134090 2 | 21 | 65
973.01/973.31 c 936s | 17 | 1923124 | 249132 | 134090 2 | 21 | 65
975.31/975.66 c 939s | 17 | 1925013 | 249432 | 134090 2 | 21 | 65
978.31/978.68 c 942s | 17 | 1926390 | 249732 | 134090 2 | 21 | 65
980.71/981.04 c 944s | 17 | 1927986 | 249932 | 134090 2 | 21 | 65
983.31/983.66 c 947s | 17 | 1931576 | 250332 | 134090 2 | 21 | 65
985.81/986.17 c 949s | 17 | 1932572 | 250632 | 134090 2 | 21 | 65
987.92/988.23 c 951s | 17 | 1933181 | 250832 | 134090 2 | 21 | 65
990.01/990.33 c 953s | 17 | 1934650 | 251032 | 134090 2 | 21 | 65
992.00/992.37 c 956s | 17 | 1935673 | 251232 | 134090 2 | 21 | 65
994.41/994.80 c 958s | 17 | 1936357 | 251432 | 134090 2 | 21 | 65
997.11/997.47 c 961s | 17 | 1937418 | 251732 | 134090 2 | 21 | 65
999.51/999.81 c 963s | 17 | 1938441 | 252032 | 134090 2 | 21 | 65
1001.50/1001.86 c 965s | 17 | 1939500 | 252332 | 134090 2 | 21 | 65
1004.00/1004.34 c 967s | 17 | 1942014 | 252932 | 134090 2 | 21 | 65
1006.41/1006.75 c 970s | 17 | 1943491 | 253432 | 134090 2 | 21 | 65
1008.50/1008.82 c 972s | 17 | 1945282 | 253832 | 134090 2 | 21 | 65
1010.60/1010.98 c 974s | 17 | 1948197 | 254232 | 134090 2 | 21 | 65
1013.21/1013.51 c 977s | 17 | 1951394 | 254732 | 134090 2 | 21 | 65
1016.30/1016.69 c 980s | 17 | 1952551 | 255132 | 134090 2 | 21 | 65
1018.50/1018.87 c 982s | 17 | 1953853 | 255532 | 134090 2 | 21 | 65
1020.70/1021.02 c 984s | 17 | 1955733 | 255932 | 134090 2 | 21 | 65
1023.20/1023.54 c 987s | 17 | 1957197 | 256332 | 134090 2 | 21 | 65
1025.50/1025.88 c 989s | 17 | 1959955 | 256832 | 134090 2 | 21 | 65
1028.00/1028.30 c 991s | 17 | 1962493 | 257332 | 134090 2 | 21 | 65
1030.19/1030.52 c 994s | 17 | 1964001 | 257732 | 134090 2 | 21 | 65
1032.39/1032.72 c 996s | 17 | 1966650 | 258332 | 134090 2 | 21 | 65
1034.90/1035.23 c 998s | 17 | 1968411 | 258932 | 134090 2 | 21 | 65
1037.00/1037.30 c 1000s | 17 | 1970452 | 259332 | 134090 2 | 21 | 65
1039.09/1039.47 c 1003s | 17 | 1972336 | 259732 | 134090 2 | 21 | 65
1041.50/1041.89 c 1005s | 17 | 1973743 | 260132 | 134090 2 | 21 | 65
1043.79/1044.10 c 1007s | 17 | 1974623 | 260432 | 134090 2 | 21 | 65
1046.10/1046.44 c 1010s | 17 | 1976400 | 260932 | 134090 2 | 21 | 65
1048.19/1048.51 c 1012s | 17 | 1977737 | 261332 | 134090 2 | 21 | 65
1050.29/1050.60 c 1014s | 17 | 1979684 | 261732 | 134090 2 | 21 | 65
1052.50/1052.85 c 1016s | 17 | 1982171 | 262232 | 134090 2 | 21 | 65
1055.00/1055.37 c 1019s | 17 | 1983856 | 262732 | 134090 2 | 21 | 65
1057.00/1057.39 c 1021s | 17 | 1985270 | 263032 | 134090 2 | 21 | 65
1059.09/1059.48 c 1023s | 17 | 1986567 | 263532 | 134090 2 | 21 | 65
1061.39/1061.76 c 1025s | 17 | 1987979 | 263932 | 134090 2 | 21 | 65
1063.58/1063.90 c 1027s | 17 | 1991939 | 264532 | 134090 2 | 21 | 65
1065.89/1066.21 c 1029s | 17 | 1995125 | 264932 | 134090 2 | 21 | 65
1067.89/1068.29 c 1031s | 17 | 1996778 | 265332 | 134090 2 | 21 | 65
1070.29/1070.62 c 1034s | 17 | 1999612 | 265732 | 134090 2 | 21 | 65
1072.48/1072.82 c 1036s | 17 | 2001017 | 266132 | 134090 2 | 21 | 65
1074.58/1074.90 c 1038s | 17 | 2005287 | 266632 | 134090 2 | 21 | 65
1076.99/1077.39 c 1041s | 17 | 2008413 | 267132 | 134090 2 | 21 | 65
1079.09/1079.43 c 1043s | 17 | 2012256 | 267632 | 134090 2 | 21 | 65
1081.28/1081.64 c 1045s | 17 | 2014620 | 268032 | 134090 2 | 21 | 65
1083.59/1083.92 c 1047s | 17 | 2016917 | 268532 | 134090 2 | 21 | 65
1086.08/1086.40 c 1050s | 17 | 2019860 | 269032 | 134090 2 | 21 | 65
1088.27/1088.60 c 1052s | 17 | 2022405 | 269432 | 134090 2 | 21 | 65
1090.78/1091.11 c 1054s | 17 | 2024612 | 269932 | 134090 2 | 21 | 65
1093.07/1093.45 c 1057s | 17 | 2026844 | 270232 | 134090 2 | 21 | 65
1095.27/1095.65 c 1059s | 17 | 2029076 | 270732 | 134090 2 | 21 | 65
1097.47/1097.80 c 1061s | 17 | 2031262 | 271132 | 134090 2 | 21 | 65
1099.67/1100.06 c 1063s | 17 | 2032246 | 271532 | 134090 2 | 21 | 65
1102.07/1102.44 c 1066s | 17 | 2033952 | 271932 | 134090 2 | 21 | 65
1104.27/1104.68 c 1068s | 17 | 2035168 | 272232 | 134090 2 | 21 | 65
1106.46/1106.85 c 1070s | 17 | 2036777 | 272532 | 134090 2 | 21 | 65
1108.77/1109.18 c 1072s | 17 | 2038078 | 272832 | 134090 2 | 21 | 65
1110.87/1111.24 c 1074s | 17 | 2039245 | 273132 | 134090 2 | 21 | 65
1113.26/1113.62 c 1077s | 17 | 2040724 | 273532 | 134090 2 | 21 | 65
1115.26/1115.70 c 1079s | 17 | 2041353 | 273732 | 134090 2 | 21 | 65
1117.36/1117.74 c 1081s | 17 | 2042592 | 274032 | 134090 2 | 21 | 65
1119.56/1119.90 c 1083s | 17 | 2044870 | 274432 | 134090 2 | 21 | 65
1121.76/1122.11 c 1085s | 17 | 2047409 | 274832 | 134090 2 | 21 | 65
1123.96/1124.38 c 1088s | 17 | 2049615 | 275232 | 134090 2 | 21 | 65
1126.05/1126.44 c 1090s | 17 | 2050949 | 275632 | 134090 2 | 21 | 65
1131.56/1131.96 c 1095s | 17 | 2055780 | 276232 | 134090 3 | 21 | 65
1133.85/1134.20 c 1097s | 17 | 2059627 | 276832 | 134090 3 | 21 | 65
1135.95/1136.39 c 1100s | 17 | 2061631 | 277332 | 134090 3 | 21 | 65
1138.15/1138.52 c 1102s | 17 | 2064864 | 278032 | 134090 3 | 21 | 65
1140.56/1140.90 c 1104s | 17 | 2067800 | 278732 | 134090 3 | 21 | 65
1142.56/1142.95 c 1106s | 17 | 2070487 | 279532 | 134090 3 | 21 | 65
1144.76/1145.16 c 1108s | 17 | 2073757 | 280232 | 134090 3 | 21 | 65
1147.75/1148.14 c 1111s | 17 | 2076758 | 280932 | 134090 3 | 21 | 65
1150.25/1150.61 c 1114s | 17 | 2081444 | 281632 | 134090 3 | 21 | 65
1152.45/1152.83 c 1116s | 17 | 2084431 | 282432 | 134090 3 | 21 | 65
1154.64/1155.05 c 1118s | 17 | 2086559 | 283032 | 134090 3 | 21 | 65
1156.75/1157.14 c 1120s | 17 | 2089309 | 283732 | 134090 3 | 21 | 65
1158.85/1159.29 c 1122s | 17 | 2092190 | 284532 | 134090 3 | 21 | 65
1160.95/1161.39 c 1125s | 17 | 2095922 | 285232 | 134090 3 | 21 | 65
1163.14/1163.53 c 1127s | 17 | 2098369 | 286032 | 134090 3 | 21 | 65
1165.44/1165.81 c 1129s | 17 | 2100363 | 286832 | 134090 3 | 21 | 65
1171.94/1172.34 c 1135s | 17 | 2100981 | 287032 | 134090 3 | 21 | 65
1174.05/1174.41 c 1138s | 17 | 2105631 | 287732 | 134090 3 | 21 | 65
1176.14/1176.51 c 1140s | 17 | 2108993 | 288432 | 134090 3 | 21 | 65
1178.55/1178.96 c 1142s | 17 | 2113107 | 289032 | 134090 3 | 21 | 65
1180.64/1181.08 c 1144s | 17 | 2116043 | 289732 | 134090 3 | 21 | 65
1182.84/1183.26 c 1146s | 17 | 2118534 | 290332 | 134090 3 | 21 | 65
1185.04/1185.46 c 1149s | 17 | 2120932 | 290932 | 134090 3 | 21 | 65
1187.44/1187.80 c 1151s | 17 | 2125431 | 291532 | 134090 3 | 21 | 65
1189.64/1190.02 c 1153s | 17 | 2132330 | 292232 | 134090 3 | 21 | 65
1191.84/1192.21 c 1155s | 17 | 2137245 | 292832 | 134090 3 | 21 | 65
1194.03/1194.43 c 1158s | 17 | 2141593 | 293432 | 134090 3 | 21 | 65
1196.54/1196.93 c 1160s | 17 | 2144166 | 294032 | 134090 3 | 21 | 65
1198.74/1199.14 c 1162s | 17 | 2147554 | 294932 | 147499 3 | 21 | 65
1200.84/1201.26 c 1164s | 17 | 2151461 | 295732 | 147499 3 | 21 | 65
1202.43/1202.88 c 1166s | 18 | 2153522 | 296252 | 147499 3 | 21 | 65
1204.83/1205.20 c 1168s | 18 | 2166893 | 296552 | 147499 3 | 21 | 65
1207.13/1207.52 c 1171s | 18 | 2169384 | 297152 | 147499 3 | 21 | 65
1209.33/1209.78 c 1173s | 18 | 2172850 | 297852 | 147499 3 | 21 | 65
1211.43/1211.89 c 1175s | 18 | 2175272 | 298552 | 147499 3 | 21 | 65
1213.73/1214.16 c 1177s | 18 | 2179003 | 299252 | 147499 3 | 21 | 65
1215.73/1216.17 c 1179s | 18 | 2187029 | 299852 | 147499 3 | 21 | 65
1218.02/1218.46 c 1182s | 18 | 2190857 | 300552 | 147499 3 | 21 | 65
1220.02/1220.49 c 1184s | 18 | 2195328 | 301252 | 147499 3 | 21 | 65
1222.32/1222.72 c 1186s | 18 | 2198073 | 301852 | 147499 3 | 21 | 65
1224.62/1225.01 c 1188s | 18 | 2200992 | 302452 | 147499 3 | 21 | 65
1226.72/1227.16 c 1190s | 18 | 2202763 | 302852 | 147499 3 | 21 | 65
1229.02/1229.41 c 1193s | 18 | 2205722 | 303552 | 147499 3 | 21 | 65
1231.12/1231.51 c 1195s | 18 | 2208720 | 304152 | 147499 3 | 21 | 65
1233.13/1233.59 c 1197s | 18 | 2211481 | 304852 | 147499 3 | 21 | 65
1235.52/1235.91 c 1199s | 18 | 2213852 | 305552 | 147499 3 | 21 | 65
1237.62/1238.02 c 1201s | 18 | 2216906 | 306352 | 147499 3 | 21 | 65
1239.82/1240.21 c 1203s | 18 | 2218979 | 307052 | 147499 3 | 21 | 65
1241.83/1242.21 c 1205s | 18 | 2221643 | 307752 | 147499 3 | 21 | 65
1243.82/1244.27 c 1207s | 18 | 2225196 | 308552 | 147499 3 | 21 | 65
1246.02/1246.43 c 1210s | 18 | 2228264 | 309252 | 147499 3 | 21 | 65
1248.11/1248.52 c 1212s | 18 | 2236469 | 309952 | 147499 3 | 21 | 65
1250.31/1250.70 c 1214s | 18 | 2242754 | 310652 | 147499 3 | 21 | 65
1252.61/1253.01 c 1216s | 18 | 2249707 | 311352 | 147499 3 | 21 | 65
1254.71/1255.13 c 1218s | 18 | 2256030 | 312052 | 147499 3 | 21 | 65
1256.81/1257.27 c 1220s | 18 | 2264524 | 312752 | 147499 3 | 21 | 65
1259.01/1259.46 c 1223s | 18 | 2269026 | 313452 | 147499 3 | 21 | 65
1261.21/1261.69 c 1225s | 18 | 2272183 | 314152 | 147499 3 | 21 | 65
1263.50/1263.90 c 1227s | 18 | 2275064 | 314852 | 147499 3 | 21 | 65
1265.70/1266.11 c 1229s | 18 | 2280031 | 315552 | 147499 3 | 21 | 65
1267.70/1268.12 c 1231s | 18 | 2282403 | 316052 | 147499 3 | 21 | 65
1270.30/1270.73 c 1234s | 18 | 2284149 | 316452 | 147499 3 | 21 | 65
1272.50/1272.99 c 1236s | 18 | 2285251 | 316852 | 147499 3 | 21 | 65
1275.10/1275.55 c 1239s | 18 | 2287607 | 317352 | 147499 3 | 21 | 65
1277.60/1278.06 c 1241s | 18 | 2289310 | 317752 | 147499 3 | 21 | 65
1279.70/1280.10 c 1243s | 18 | 2292141 | 318252 | 147499 3 | 21 | 65
1282.00/1282.49 c 1246s | 18 | 2294892 | 319052 | 147499 3 | 21 | 65
1284.20/1284.64 c 1248s | 18 | 2298296 | 319752 | 147499 3 | 21 | 65
1286.19/1286.66 c 1250s | 18 | 2300708 | 320552 | 147499 3 | 21 | 65
1288.30/1288.75 c 1252s | 18 | 2303528 | 321052 | 147499 3 | 21 | 65
1290.40/1290.82 c 1254s | 18 | 2306891 | 321452 | 147499 3 | 21 | 65
1293.40/1293.83 c 1257s | 18 | 2308692 | 321752 | 147499 3 | 21 | 65
1295.59/1296.08 c 1259s | 18 | 2318478 | 322352 | 147499 3 | 21 | 65
1297.79/1298.23 c 1261s | 18 | 2321472 | 322752 | 147499 3 | 21 | 65
1299.79/1300.28 c 1263s | 18 | 2328613 | 323352 | 147499 3 | 21 | 65
1302.09/1302.56 c 1266s | 18 | 2334484 | 324052 | 147499 3 | 21 | 65
1304.49/1304.93 c 1268s | 18 | 2342144 | 324652 | 147499 3 | 21 | 65
1306.99/1307.46 c 1271s | 18 | 2348149 | 325152 | 147499 3 | 21 | 65
1309.09/1309.56 c 1273s | 18 | 2352561 | 325552 | 147499 3 | 21 | 65
1311.29/1311.78 c 1275s | 18 | 2356788 | 326052 | 147499 3 | 21 | 65
1313.40/1313.86 c 1277s | 18 | 2360492 | 326452 | 147499 3 | 21 | 65
1315.89/1316.35 c 1279s | 18 | 2361961 | 326952 | 147499 3 | 21 | 65
1318.09/1318.50 c 1282s | 18 | 2363408 | 327252 | 147499 3 | 21 | 65
1320.39/1320.82 c 1284s | 18 | 2367374 | 327652 | 147499 3 | 21 | 65
1323.08/1323.52 c 1287s | 18 | 2369857 | 328052 | 147499 3 | 21 | 65
1325.40/1325.83 c 1289s | 18 | 2371827 | 328452 | 147499 3 | 21 | 65
1327.79/1328.20 c 1291s | 18 | 2374466 | 328852 | 147499 3 | 21 | 65
1330.39/1330.86 c 1294s | 18 | 2378642 | 329252 | 147499 3 | 21 | 65
1332.48/1332.91 c 1296s | 18 | 2380601 | 329552 | 147499 3 | 21 | 65
1334.58/1335.01 c 1298s | 18 | 2382891 | 330052 | 147499 3 | 21 | 65
1337.09/1337.59 c 1301s | 18 | 2385020 | 330452 | 147499 3 | 21 | 65
1339.38/1339.80 c 1303s | 18 | 2386879 | 330752 | 147499 3 | 21 | 65
1341.38/1341.84 c 1305s | 18 | 2388626 | 331052 | 147499 3 | 21 | 65
1344.28/1344.77 c 1308s | 18 | 2390380 | 331352 | 147499 3 | 21 | 65
1346.78/1347.20 c 1310s | 18 | 2392064 | 331752 | 147499 3 | 21 | 65
1348.89/1349.36 c 1313s | 18 | 2393510 | 332152 | 147499 3 | 21 | 65
1351.38/1351.84 c 1315s | 18 | 2395576 | 332552 | 147499 3 | 21 | 65
1353.88/1354.37 c 1318s | 18 | 2397298 | 332952 | 147499 3 | 21 | 65
1356.19/1356.69 c 1320s | 18 | 2400256 | 333552 | 147499 3 | 21 | 65
1358.58/1359.00 c 1322s | 18 | 2402929 | 334252 | 147499 3 | 21 | 65
1360.69/1361.15 c 1324s | 18 | 2405567 | 334952 | 147499 3 | 21 | 65
1362.79/1363.30 c 1326s | 18 | 2408647 | 335552 | 147499 3 | 21 | 65
1365.09/1365.51 c 1329s | 18 | 2411080 | 336152 | 147499 3 | 21 | 65
1367.19/1367.63 c 1331s | 18 | 2413394 | 336652 | 147499 3 | 21 | 65
1369.59/1370.01 c 1333s | 18 | 2415452 | 337252 | 147499 3 | 21 | 65
1371.98/1372.41 c 1336s | 18 | 2418335 | 337852 | 147499 3 | 21 | 65
1374.08/1374.58 c 1338s | 18 | 2421442 | 338352 | 147499 3 | 21 | 65
1376.28/1376.73 c 1340s | 18 | 2423783 | 338952 | 147499 3 | 21 | 65
1378.38/1378.82 c 1342s | 18 | 2425164 | 339452 | 147499 3 | 21 | 65
1380.58/1381.02 c 1344s | 18 | 2426709 | 339952 | 147499 3 | 21 | 65
1382.88/1383.31 c 1346s | 18 | 2428934 | 340352 | 147499 3 | 21 | 65
1384.89/1385.36 c 1349s | 18 | 2431030 | 340952 | 147499 3 | 21 | 65
1386.88/1387.38 c 1351s | 18 | 2433162 | 341452 | 147499 3 | 21 | 65
1389.08/1389.58 c 1353s | 18 | 2435468 | 342052 | 147499 3 | 21 | 65
1391.18/1391.64 c 1355s | 18 | 2436850 | 342552 | 147499 3 | 21 | 65
1393.58/1394.00 c 1357s | 18 | 2439407 | 343052 | 147499 3 | 21 | 65
1395.57/1396.01 c 1359s | 18 | 2442157 | 343552 | 147499 3 | 21 | 65
1398.17/1398.61 c 1362s | 18 | 2444380 | 344052 | 147499 3 | 21 | 65
1400.38/1400.80 c 1364s | 18 | 2447299 | 344552 | 147499 3 | 21 | 65
1402.68/1403.17 c 1366s | 18 | 2450137 | 345252 | 147499 3 | 21 | 65
1404.88/1405.38 c 1369s | 18 | 2452669 | 345752 | 147499 3 | 21 | 65
1407.27/1407.75 c 1371s | 18 | 2455700 | 346352 | 147499 3 | 21 | 65
1409.48/1409.98 c 1373s | 18 | 2457454 | 346952 | 147499 3 | 21 | 65
1411.87/1412.31 c 1375s | 18 | 2458878 | 347452 | 147499 3 | 21 | 65
1413.97/1414.41 c 1378s | 18 | 2460239 | 347852 | 147499 3 | 21 | 65
1416.97/1417.42 c 1381s | 18 | 2463065 | 348352 | 147499 3 | 21 | 65
1419.27/1419.72 c 1383s | 18 | 2466455 | 348852 | 147499 3 | 21 | 65
1421.38/1421.84 c 1385s | 18 | 2468619 | 349252 | 147499 3 | 21 | 65
1427.58/1428.06 c 1391s | 18 | 2470240 | 349652 | 147499 3 | 21 | 65
1429.57/1430.09 c 1393s | 18 | 2471953 | 350052 | 147499 3 | 21 | 65
1432.67/1433.15 c 1396s | 18 | 2473073 | 350452 | 147499 3 | 21 | 65
1434.97/1435.40 c 1399s | 18 | 2474884 | 350952 | 147499 3 | 21 | 65
1436.97/1437.42 c 1401s | 18 | 2476881 | 351352 | 147499 3 | 21 | 65
1439.47/1439.95 c 1403s | 18 | 2480742 | 351952 | 147499 3 | 21 | 65
1441.67/1442.19 c 1405s | 18 | 2484040 | 352452 | 147499 3 | 21 | 65
1444.18/1444.64 c 1408s | 18 | 2484982 | 352752 | 147499 3 | 21 | 65
1446.48/1446.96 c 1410s | 18 | 2488802 | 353152 | 147499 3 | 21 | 65
1448.47/1448.96 c 1412s | 18 | 2490449 | 353452 | 147499 3 | 21 | 65
1450.57/1451.06 c 1414s | 18 | 2493454 | 353952 | 147499 3 | 21 | 65
1453.17/1453.66 c 1417s | 18 | 2494472 | 354252 | 147499 3 | 21 | 65
1456.47/1456.95 c 1420s | 18 | 2496766 | 354652 | 147499 3 | 21 | 65
1458.76/1459.25 c 1422s | 18 | 2498552 | 355052 | 147499 3 | 21 | 65
1460.77/1461.26 c 1424s | 18 | 2500828 | 355352 | 147499 3 | 21 | 65
1462.77/1463.30 c 1426s | 18 | 2502716 | 355752 | 147499 3 | 21 | 65
1465.18/1465.65 c 1429s | 18 | 2504482 | 356152 | 147499 3 | 21 | 65
1467.17/1467.66 c 1431s | 18 | 2507131 | 356552 | 147499 3 | 21 | 65
1469.37/1469.83 c 1433s | 18 | 2508427 | 356952 | 147499 3 | 21 | 65
1471.67/1472.19 c 1435s | 18 | 2509622 | 357352 | 147499 3 | 21 | 65
1474.27/1474.72 c 1438s | 18 | 2512540 | 357752 | 147499 3 | 21 | 65
1476.87/1477.31 c 1440s | 18 | 2515043 | 358252 | 147499 3 | 21 | 65
1478.96/1479.49 c 1443s | 18 | 2516359 | 358652 | 147499 3 | 21 | 65
1481.67/1482.16 c 1445s | 18 | 2517816 | 359152 | 147499 3 | 21 | 65
1484.06/1484.52 c 1448s | 18 | 2520316 | 359652 | 147499 3 | 21 | 65
1486.56/1487.02 c 1450s | 18 | 2521592 | 360052 | 147499 3 | 21 | 65
1489.17/1489.60 c 1453s | 18 | 2523409 | 360452 | 147499 3 | 21 | 65
1491.57/1492.08 c 1455s | 18 | 2525835 | 360852 | 147499 3 | 21 | 65
1493.96/1494.43 c 1458s | 18 | 2527223 | 361252 | 147499 3 | 21 | 65
1496.06/1496.54 c 1460s | 18 | 2529540 | 361652 | 147499 3 | 21 | 65
1498.17/1498.67 c 1462s | 18 | 2531519 | 362052 | 147499 3 | 21 | 65
1500.27/1500.75 c 1464s | 18 | 2533046 | 362552 | 147499 3 | 21 | 65
1505.46/1505.94 c 1469s | 18 | 2534166 | 362852 | 147499 4 | 21 | 65
1507.76/1508.20 c 1471s | 18 | 2535042 | 363152 | 147499 4 | 21 | 65
1509.76/1510.26 c 1473s | 18 | 2537439 | 363952 | 147499 4 | 21 | 65
1514.46/1514.95 c 1478s | 18 | 2543001 | 364752 | 147499 4 | 21 | 65
1516.66/1517.13 c 1480s | 18 | 2547292 | 365552 | 147499 4 | 21 | 65
1518.76/1519.27 c 1482s | 18 | 2552224 | 366652 | 147499 4 | 21 | 65
1521.86/1522.32 c 1485s | 18 | 2555411 | 367652 | 147499 4 | 21 | 65
1524.06/1524.52 c 1488s | 18 | 2560344 | 368552 | 147499 4 | 21 | 65
1526.26/1526.71 c 1490s | 18 | 2563893 | 369552 | 147499 4 | 21 | 65
1528.26/1528.79 c 1492s | 18 | 2566789 | 370352 | 147499 4 | 21 | 65
1530.56/1531.06 c 1494s | 18 | 2570054 | 371152 | 147499 4 | 21 | 65
1532.66/1533.11 c 1496s | 18 | 2574774 | 372052 | 147499 4 | 21 | 65
1534.66/1535.17 c 1498s | 18 | 2580230 | 372952 | 147499 4 | 21 | 65
1536.76/1537.28 c 1500s | 18 | 2583866 | 373752 | 147499 4 | 21 | 65
1538.76/1539.28 c 1502s | 18 | 2586537 | 374452 | 147499 4 | 21 | 65
1540.96/1541.41 c 1505s | 18 | 2590126 | 375452 | 147499 4 | 21 | 65
1543.16/1543.63 c 1507s | 18 | 2595938 | 376352 | 147499 4 | 21 | 65
1545.26/1545.71 c 1509s | 18 | 2601549 | 377252 | 147499 4 | 21 | 65
1547.36/1547.85 c 1511s | 18 | 2605212 | 378152 | 147499 4 | 21 | 65
1549.36/1549.89 c 1513s | 18 | 2608547 | 378952 | 147499 4 | 21 | 65
1551.55/1552.02 c 1515s | 18 | 2611858 | 379552 | 147499 4 | 21 | 65
1553.55/1554.06 c 1517s | 18 | 2615476 | 380452 | 147499 4 | 21 | 65
1555.86/1556.30 c 1519s | 18 | 2618701 | 381452 | 147499 4 | 21 | 65
1557.85/1558.32 c 1521s | 18 | 2621363 | 382352 | 147499 4 | 21 | 65
1559.95/1560.43 c 1524s | 18 | 2625157 | 383252 | 147499 4 | 21 | 65
1562.05/1562.55 c 1526s | 18 | 2627927 | 384152 | 147499 4 | 21 | 65
1564.15/1564.67 c 1528s | 18 | 2630431 | 384952 | 147499 4 | 21 | 65
1566.36/1566.89 c 1530s | 18 | 2632973 | 385752 | 147499 4 | 21 | 65
1568.56/1569.03 c 1532s | 18 | 2642121 | 386752 | 147499 4 | 21 | 65
1570.55/1571.08 c 1534s | 18 | 2645383 | 387652 | 147499 4 | 21 | 65
1572.85/1573.34 c 1536s | 18 | 2647797 | 388452 | 147499 4 | 21 | 65
1575.05/1575.55 c 1539s | 18 | 2650496 | 389252 | 147499 4 | 21 | 65
1577.25/1577.78 c 1541s | 18 | 2653023 | 390152 | 147499 4 | 21 | 65
1579.45/1579.99 c 1543s | 18 | 2656074 | 391052 | 147499 4 | 21 | 65
1581.76/1582.22 c 1545s | 18 | 2658773 | 391952 | 147499 4 | 21 | 65
1583.75/1584.28 c 1547s | 18 | 2660627 | 392752 | 147499 4 | 21 | 65
1585.95/1586.43 c 1550s | 18 | 2662483 | 393452 | 147499 4 | 21 | 65
1588.25/1588.71 c 1552s | 18 | 2664067 | 394152 | 147499 4 | 21 | 65
1590.45/1590.99 c 1554s | 18 | 2665712 | 394852 | 147499 4 | 21 | 65
1598.16/1598.64 c 1562s | 18 | 2665951 | 394952 | 147499 4 | 21 | 65
1600.25/1600.78 c 1564s | 18 | 2668173 | 395452 | 147499 4 | 21 | 65
1602.56/1603.04 c 1566s | 18 | 2670017 | 395852 | 147499 4 | 21 | 65
1604.95/1605.41 c 1569s | 18 | 2672592 | 396352 | 147499 4 | 21 | 65
1607.05/1607.57 c 1571s | 18 | 2673907 | 396652 | 147499 4 | 21 | 65
1609.15/1609.61 c 1573s | 18 | 2676566 | 397152 | 147499 4 | 21 | 65
1611.45/1611.95 c 1575s | 18 | 2679066 | 397652 | 147499 4 | 21 | 65
1613.84/1614.38 c 1578s | 18 | 2681664 | 398052 | 147499 4 | 21 | 65
1616.24/1616.71 c 1580s | 18 | 2685538 | 398552 | 147499 4 | 21 | 65
1618.74/1619.20 c 1582s | 18 | 2687340 | 399052 | 147499 4 | 21 | 65
1622.04/1622.53 c 1586s | 18 | 2689129 | 399552 | 147499 4 | 21 | 65
1624.34/1624.88 c 1588s | 18 | 2692713 | 400052 | 147499 4 | 21 | 65
1626.84/1627.34 c 1590s | 18 | 2695608 | 400652 | 147499 4 | 21 | 65
1629.14/1629.66 c 1593s | 18 | 2696863 | 400952 | 147499 4 | 21 | 65
1631.44/1631.98 c 1595s | 18 | 2698800 | 401352 | 147499 4 | 21 | 65
1633.64/1634.19 c 1597s | 18 | 2701911 | 401852 | 147499 4 | 21 | 65
1636.24/1636.72 c 1600s | 18 | 2704353 | 402352 | 147499 4 | 21 | 65
1638.64/1639.14 c 1602s | 18 | 2706509 | 402852 | 147499 4 | 21 | 65
1641.05/1641.60 c 1605s | 18 | 2708218 | 403352 | 147499 4 | 21 | 65
1643.14/1643.62 c 1607s | 18 | 2709343 | 403752 | 147499 4 | 21 | 65
1645.34/1645.86 c 1609s | 18 | 2711818 | 404152 | 147499 4 | 21 | 65
1647.65/1648.20 c 1611s | 18 | 2713550 | 404552 | 147499 4 | 21 | 65
1649.74/1650.28 c 1613s | 18 | 2717863 | 405052 | 147499 4 | 21 | 65
1651.94/1652.43 c 1616s | 18 | 2719875 | 405452 | 147499 4 | 21 | 65
1654.43/1654.93 c 1618s | 18 | 2722794 | 405852 | 147499 4 | 21 | 65
1656.54/1657.04 c 1620s | 18 | 2724095 | 406052 | 147499 4 | 21 | 65
1658.53/1659.09 c 1622s | 18 | 2725817 | 406352 | 147499 4 | 21 | 65
1660.94/1661.48 c 1625s | 18 | 2729020 | 406852 | 147499 4 | 21 | 65
1663.24/1663.77 c 1627s | 18 | 2730999 | 407252 | 147499 4 | 21 | 65
1665.43/1665.96 c 1629s | 18 | 2733039 | 407652 | 147499 4 | 21 | 65
1667.54/1668.05 c 1631s | 18 | 2736226 | 408052 | 147499 4 | 21 | 65
1669.53/1670.09 c 1633s | 18 | 2738097 | 408352 | 147499 4 | 21 | 65
1671.94/1672.49 c 1636s | 18 | 2740699 | 408752 | 147499 4 | 21 | 65
1674.23/1674.77 c 1638s | 18 | 2743195 | 409152 | 147499 4 | 21 | 65
1677.24/1677.70 c 1641s | 18 | 2744294 | 409452 | 147499 4 | 21 | 65
1679.23/1679.79 c 1643s | 18 | 2745760 | 409652 | 147499 4 | 21 | 65
1681.93/1682.42 c 1646s | 18 | 2748219 | 409952 | 147499 4 | 21 | 65
1684.23/1684.79 c 1648s | 18 | 2749466 | 410252 | 147499 4 | 21 | 65
1686.93/1687.47 c 1651s | 18 | 2751086 | 410552 | 147499 4 | 21 | 65
1689.23/1689.78 c 1653s | 18 | 2753754 | 410952 | 147499 4 | 21 | 65
1691.93/1692.41 c 1656s | 18 | 2755469 | 411352 | 147499 4 | 21 | 65
1694.43/1694.99 c 1658s | 18 | 2756635 | 411652 | 147499 4 | 21 | 65
1697.43/1697.90 c 1661s | 18 | 2757348 | 411952 | 147499 4 | 21 | 65
1699.53/1700.00 c 1663s | 18 | 2759363 | 412252 | 147499 4 | 21 | 65
1701.73/1702.21 c 1665s | 18 | 2760419 | 412552 | 147499 4 | 21 | 65
1704.53/1705.01 c 1668s | 18 | 2762031 | 412952 | 147499 4 | 21 | 65
1706.83/1707.30 c 1670s | 18 | 2763891 | 413352 | 147499 4 | 21 | 65
1708.93/1709.43 c 1673s | 18 | 2765435 | 413752 | 147499 4 | 21 | 65
1711.13/1711.65 c 1675s | 18 | 2766778 | 414052 | 147499 4 | 21 | 65
1713.43/1713.96 c 1677s | 18 | 2768575 | 414352 | 147499 4 | 21 | 65
1715.73/1716.28 c 1679s | 18 | 2771002 | 414752 | 147499 4 | 21 | 65
1717.83/1718.34 c 1681s | 18 | 2772384 | 415052 | 147499 4 | 21 | 65
1720.33/1720.87 c 1684s | 18 | 2776010 | 415452 | 147499 4 | 21 | 65
1722.43/1722.95 c 1686s | 18 | 2779314 | 415852 | 147499 4 | 21 | 65
1724.52/1725.03 c 1688s | 18 | 2781917 | 416252 | 147499 4 | 21 | 65
1726.83/1727.37 c 1691s | 18 | 2784635 | 416652 | 147499 4 | 21 | 65
1729.03/1729.54 c 1693s | 18 | 2786778 | 417052 | 147499 4 | 21 | 65
1731.72/1732.20 c 1695s | 18 | 2789153 | 417452 | 147499 4 | 21 | 65
1734.23/1734.79 c 1698s | 18 | 2792441 | 417852 | 147499 4 | 21 | 65
1737.02/1737.51 c 1701s | 18 | 2794829 | 418152 | 147499 4 | 21 | 65
1739.52/1740.05 c 1703s | 18 | 2800239 | 418552 | 147499 4 | 21 | 65
1742.12/1742.60 c 1706s | 18 | 2803723 | 418852 | 147499 4 | 21 | 65
1744.43/1744.90 c 1708s | 18 | 2810395 | 419352 | 147499 4 | 21 | 65
1747.12/1747.63 c 1711s | 18 | 2812572 | 419752 | 147499 4 | 21 | 65
1749.22/1749.74 c 1713s | 18 | 2817991 | 420152 | 147499 4 | 21 | 65
1751.52/1752.05 c 1715s | 18 | 2822168 | 420552 | 147499 4 | 21 | 65
1753.72/1754.24 c 1717s | 18 | 2827721 | 420952 | 147499 4 | 21 | 65
1755.92/1756.49 c 1720s | 18 | 2831474 | 421352 | 147499 4 | 21 | 65
1758.32/1758.89 c 1722s | 18 | 2833921 | 421752 | 147499 4 | 21 | 65
1760.62/1761.11 c 1724s | 18 | 2837422 | 422252 | 147499 4 | 21 | 65
1763.02/1763.50 c 1727s | 18 | 2843592 | 422752 | 147499 4 | 21 | 65
1765.12/1765.64 c 1729s | 18 | 2847530 | 423052 | 147499 4 | 21 | 65
1767.52/1768.01 c 1731s | 18 | 2850551 | 423452 | 147499 4 | 21 | 65
1769.51/1770.03 c 1733s | 18 | 2854909 | 423852 | 147499 4 | 21 | 65
1772.22/1772.72 c 1736s | 18 | 2856858 | 424252 | 147499 4 | 21 | 65
1774.22/1774.73 c 1738s | 18 | 2858865 | 424552 | 147499 4 | 21 | 65
1776.33/1776.86 c 1740s | 18 | 2862407 | 424952 | 147499 4 | 21 | 65
1778.42/1778.94 c 1742s | 18 | 2863713 | 425252 | 147499 4 | 21 | 65
1780.92/1781.47 c 1745s | 18 | 2866752 | 425652 | 147499 4 | 21 | 65
1783.21/1783.78 c 1747s | 18 | 2868141 | 425952 | 147499 4 | 21 | 65
1785.42/1785.98 c 1749s | 18 | 2871307 | 426352 | 147499 4 | 21 | 65
1788.22/1788.71 c 1752s | 18 | 2872900 | 426752 | 147499 4 | 21 | 65
1790.51/1791.05 c 1754s | 18 | 2875472 | 427152 | 147499 4 | 21 | 65
1792.82/1793.39 c 1757s | 18 | 2877152 | 427552 | 147499 4 | 21 | 65
1794.92/1795.46 c 1759s | 18 | 2879207 | 427852 | 147499 4 | 21 | 65
1797.22/1797.72 c 1761s | 18 | 2879669 | 428052 | 147499 4 | 21 | 65
1799.52/1800.04 c 1763s | 18 | 2881664 | 428452 | 147499 4 | 21 | 65
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-4080019-1465281413/watcher-4080019-1465281413 -o /tmp/evaluation-result-4080019-1465281413/solver-4080019-1465281413 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080019-1465281413.opb
pid=9154
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.05 2.06 2.06 3/179 9157
/proc/meminfo: memFree=30476032/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 2707 0 0 0 0 0 0 0 20 0 4 0 110076221 743895040 3580 33554432000 4194304 16246674 140733293510416 140733293509840 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 182127 3589 441 2943 0 179021 0
[pid=9157/tid=9158] ppid=9154 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 761720832 3647 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=748988 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 766963712 3669 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=752196 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110076222 770248704 3683 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[startup+0.100167 s]
/proc/loadavg: 2.05 2.06 2.06 3/179 9157
/proc/meminfo: memFree=30476032/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 28721 0 0 0 5 4 0 0 20 0 4 0 110076221 1333334016 29532 33554432000 4194304 16246674 140733293510416 140733293509728 8056990 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 325521 29548 800 2943 0 322415 0
[pid=9157/tid=9158] ppid=9154 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 1333334016 29555 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 1333334016 29567 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 1333334016 29576 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084
[startup+0.200568 s]
/proc/loadavg: 2.05 2.06 2.06 3/179 9157
/proc/meminfo: memFree=30476032/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 47673 0 0 0 12 7 0 0 20 0 4 0 110076221 1344868352 48994 33554432000 4194304 16246674 140733293510416 140733293509728 13750852 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 328337 48994 801 2943 0 325231 0
[pid=9157/tid=9158] ppid=9154 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 1344868352 48994 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 1344868352 48994 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 1344868352 48994 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348
[startup+0.300503 s]
/proc/loadavg: 2.05 2.06 2.06 3/179 9157
/proc/meminfo: memFree=30476032/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 62169 0 0 0 20 9 0 0 20 0 4 0 110076221 1344868352 63490 33554432000 4194304 16246674 140733293510416 140733293509728 7376992 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 328337 63490 801 2943 0 325231 0
[pid=9157/tid=9158] ppid=9154 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 1344868352 63490 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 1344868352 63490 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 1344868352 63490 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348
[startup+0.700421 s]
/proc/loadavg: 2.05 2.06 2.06 3/179 9157
/proc/meminfo: memFree=30476032/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=1313348 CPUtime=0.68 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 68199 0 0 0 59 9 0 0 20 0 4 0 110076221 1344868352 69520 33554432000 4194304 16246674 140733293510416 140733293493408 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 328337 69520 802 2943 0 325231 0
[pid=9157/tid=9158] ppid=9154 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 1344868352 69520 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 1344868352 69520 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 1344868352 69520 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348
[startup+1.50042 s]
/proc/loadavg: 2.05 2.06 2.06 4/183 9161
/proc/meminfo: memFree=30156996/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 84598 0 0 0 137 12 0 0 20 0 4 0 110076221 1344868352 85919 33554432000 4194304 16246674 140733293510416 140733293493408 12752365 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 328337 85919 802 2943 0 325231 0
[pid=9157/tid=9158] ppid=9154 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 1344868352 85919 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 1344868352 85919 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 1344868352 85919 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348
[startup+3.1004 s]
/proc/loadavg: 2.05 2.06 2.06 3/183 9161
/proc/meminfo: memFree=29994936/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=1337924 CPUtime=3.08 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 130690 0 0 0 290 18 0 0 20 0 4 0 110076221 1370034176 136610 33554432000 4194304 16246674 140733293510416 140733293493408 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 334481 136610 802 2943 0 331375 0
[pid=9157/tid=9158] ppid=9154 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 1370034176 136610 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 1370034176 136610 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 1370034176 136610 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1337924
[startup+6.30042 s]
/proc/loadavg: 2.13 2.07 2.06 3/183 9161
/proc/meminfo: memFree=29636808/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=1387076 CPUtime=6.29 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 194575 0 0 0 600 29 0 0 20 0 4 0 110076221 1420365824 210715 33554432000 4194304 16246674 140733293510416 140733293493408 7439436 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 346769 210715 802 2943 0 343663 0
[pid=9157/tid=9158] ppid=9154 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 1420365824 210715 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 1420365824 210715 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 1420365824 210715 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1387076
[startup+12.7004 s]
/proc/loadavg: 2.12 2.07 2.06 3/183 9161
/proc/meminfo: memFree=29325012/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=1387076 CPUtime=12.68 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 268985 0 0 0 1229 39 0 0 20 0 4 0 110076221 1420365824 288191 33554432000 4194304 16246674 140733293510416 140733293492288 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 346769 288191 835 2943 0 343663 0
[pid=9157/tid=9158] ppid=9154 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 1420365824 288191 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 1420365824 288191 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 1420365824 288191 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1387076
[startup+25.5004 s]
/proc/loadavg: 2.17 2.08 2.07 3/183 9161
/proc/meminfo: memFree=28586740/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=2119236 CPUtime=25.48 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 452030 0 0 0 2481 67 0 0 20 0 4 0 110076221 2170097664 471243 33554432000 4194304 16246674 140733293510416 140733293509592 12478365 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 529809 471243 837 2943 0 526703 0
[pid=9157/tid=9158] ppid=9154 vsize=2119236 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 2170097664 471243 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=2119236 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 2170097664 471243 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=2119236 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 2170097664 471243 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2119236
[startup+51.1003 s]
/proc/loadavg: 2.11 2.08 2.06 3/183 9161
/proc/meminfo: memFree=28584232/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=2119236 CPUtime=51.08 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 452112 0 0 0 4975 133 0 0 20 0 4 0 110076221 2170097664 471830 33554432000 4194304 16246674 140733293510416 140733293509592 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 529809 471830 912 2943 0 526703 0
[pid=9157/tid=9158] ppid=9154 vsize=2119236 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 2170097664 471830 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=2119236 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 2170097664 471830 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=2119236 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 2170097664 471830 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2119236
[startup+102.3 s]
/proc/loadavg: 2.05 2.06 2.06 3/183 9163
/proc/meminfo: memFree=28377816/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=2324036 CPUtime=102.26 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 503340 0 0 0 10082 144 0 0 20 0 4 0 110076221 2379812864 523035 33554432000 4194304 16246674 140733293510416 140733293492288 5823835 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 581009 523035 916 2943 0 577903 0
[pid=9157/tid=9158] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523035 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523035 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523035 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 2324036
################
# More data... #
################
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 2324036
[startup+1302.3 s]
/proc/loadavg: 2.08 2.07 2.02 3/183 9242
/proc/meminfo: memFree=28456532/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=2324036 CPUtime=1301.89 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 503662 0 0 0 129828 361 0 0 20 0 4 0 110076221 2379812864 523036 33554432000 4194304 16246674 140733293510416 140733293492288 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 581009 523036 917 2943 0 577903 0
[pid=9157/tid=9158] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 2324036
[startup+1362.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/183 9243
/proc/meminfo: memFree=28456036/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=2324036 CPUtime=1361.89 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 503662 0 0 0 135806 383 0 0 20 0 4 0 110076221 2379812864 523036 33554432000 4194304 16246674 140733293510416 140733293509592 4221116 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 581009 523036 917 2943 0 577903 0
[pid=9157/tid=9158] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 2324036
[startup+1422.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/184 9247
/proc/meminfo: memFree=28456936/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=2324036 CPUtime=1421.88 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 503662 0 0 0 141771 417 0 0 20 0 4 0 110076221 2379812864 523036 33554432000 4194304 16246674 140733293510416 140733293509512 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 581009 523036 917 2943 0 577903 0
[pid=9157/tid=9158] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 2324036
[startup+1482.3 s]
/proc/loadavg: 2.03 2.07 2.02 3/184 9271
/proc/meminfo: memFree=28455964/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=2324036 CPUtime=1481.86 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 503662 0 0 0 147765 421 0 0 20 0 4 0 110076221 2379812864 523036 33554432000 4194304 16246674 140733293510416 140733293509592 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 581009 523036 917 2943 0 577903 0
[pid=9157/tid=9158] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 2324036
[startup+1542.3 s]
/proc/loadavg: 2.08 2.07 2.01 4/183 9272
/proc/meminfo: memFree=28455876/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=2324036 CPUtime=1541.85 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 503662 0 0 0 153742 443 0 0 20 0 4 0 110076221 2379812864 523036 33554432000 4194304 16246674 140733293510416 140733293509592 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 581009 523036 917 2943 0 577903 0
[pid=9157/tid=9158] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 2324036
[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/182 9273
/proc/meminfo: memFree=28456160/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=2324036 CPUtime=1601.85 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 503662 0 0 0 159733 452 0 0 20 0 4 0 110076221 2379812864 523036 33554432000 4194304 16246674 140733293510416 140733293509592 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 581009 523036 917 2943 0 577903 0
[pid=9157/tid=9158] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 2324036
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 9275
/proc/meminfo: memFree=28455688/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=2324036 CPUtime=1661.84 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 503662 0 0 0 165703 481 0 0 20 0 4 0 110076221 2379812864 523036 33554432000 4194304 16246674 140733293510416 140733293492288 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 581009 523036 917 2943 0 577903 0
[pid=9157/tid=9158] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 2324036
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 9276
/proc/meminfo: memFree=28455468/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=2324036 CPUtime=1721.82 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 503662 0 0 0 171688 494 0 0 20 0 4 0 110076221 2379812864 523036 33554432000 4194304 16246674 140733293510416 140733293492288 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 581009 523036 917 2943 0 577903 0
[pid=9157/tid=9158] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 2324036
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 9277
/proc/meminfo: memFree=28454872/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=2324036 CPUtime=1781.83 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 503662 0 0 0 177682 501 0 0 20 0 4 0 110076221 2379812864 523036 33554432000 4194304 16246674 140733293510416 140733293509592 5545898 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 581009 523036 917 2943 0 577903 0
[pid=9157/tid=9158] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 2324036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 9277
/proc/meminfo: memFree=28454840/32872528 swapFree=12744/274376
[pid=9157] ppid=9154 vsize=2324036 CPUtime=1800.02 cores=1,3,5,7
/proc/9157/stat : 9157 (toysat) R 9154 9157 5566 0 -1 4202496 503662 0 0 0 179488 514 0 0 20 0 4 0 110076221 2379812864 523036 33554432000 4194304 16246674 140733293510416 140733293509592 13898691 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9157/statm: 581009 523036 917 2943 0 577903 0
[pid=9157/tid=9158] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9158/stat : 9158 (toysat) S 9154 9157 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423433530608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9157/tid=9159] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9159/stat : 9159 (toysat) S 9154 9157 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423351741680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9157/tid=9160] ppid=9154 vsize=2324036 CPUtime=0 cores=1,3,5,7
/proc/9157/task/9160/stat : 9160 (toysat) S 9154 9157 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076222 2379812864 523036 33554432000 4194304 16246674 140733293510416 140423341268144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2324036
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 9157 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1794.88
CPU system time (s): 5.14222
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 2324036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.88
system time used= 5.14222
maximum resident set size= 2092144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 503662
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= 522
involuntary context switches= 1820
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70228 second user time and 6.82496 second system time
The end