0.00/0.00 c 2016-06-18T09:07:52+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-4103213-1466233672.opb"]
0.00/0.01 c use --random-gen="3286412252 1270496174 1822958927 3989391770 3697402402 702076510 1635178827 2402306243 3594993731 286076784 1842769726 827034744 4265240160 3044911970 4191187535 2976004912 3192278661 2587918348 3082967091 1124181210 2003350270 898307852 3043795561 1068761692 3830746572 2989773048 1272493055 4257625042 1981502512 3899330509 368417484 2915220843 1839900947 2890778733 1228174304 4250530578 793032084 2269598644 3072934613 941703282 1952006486 1397642448 2670169162 1693641441 3272737406 2288149343 651120455 2284745545 3892538905 222949478 3666342395 2192786497 655952498 795507575 3866653956 1914725453 2093581359 1217800996 1493049028 2638061066 1005500034 908153870 3223635130 1384842515 3696637545 4189156938 3911356586 511405048 1614585564 2510134399 1372716557 355215079 2061364699 3824367659 1605228001 2481705469 3003035136 471480691 3185494311 2577174915 203389320 3796763528 3192587869 1823813631 3935706903 117768703 2157769902 1255175185 2855199066 3640208707 4229381748 2124698204 1113249484 2529316049 2264217050 3349097025 2174243608 3728461259 1568888814 3281624399 1713843182 1916639461 486411325 683941812 3023147838 1689297862 2510939792 4223010977 4176307248 2736503117 176090811 1563537397 3932821039 3319431784 2376809622 2636330189 1213845310 1976110328 3625236613 2685247892 3812651848 1800640000 1769263444 2288762119 2750984100 1102023394 1402957580 3074498748 2633497141 3157699438 866073041 1799950579 1131463491 965773961 3600845939 2317653352 355676259 1933906562 3773334311 1320103800 661310910 350493256 212052953 2491772555 717905987 968608623 3083342146 718803296 628149921 2265115092 707986746 1030027681 3032861625 3716134926 3312235995 255971214 2259462584 343546522 3139453269 3594917713 3652034187 1560562768 2230380336 2104098433 1196220918 2982163075 3806897311 518523668 1848960718 2617575252 2867673905 2549836784 1905311112 2616149783 805724830 665372245 1204181763 507901747 2573350346 1588654718 877051738 3614205055 3326810503 1439748939 2395201381 3609763490 1694389596 2609769908 2455511105 2670286696 205695969 1516291799 1066380540 1625615117 2539973244 2872332427 4143908248 403965443 1582203353 2453094932 1921014926 1805268392 3815421458 91381939 1491928596 413412989 961257452 667398655 3407556543 4028327229 1834309678 57102601 1178517348 56853277 2939767021 2618639964 3120804961 62031803 2611193680 1713987941 2754530287 3641216941 4216535168 256231914 2393233265 1853494488 975797341 3811441141 4153968816 609305178 1577764863 3220595126 166915165 3759112942 913417483 2935933404 3312200452 1944069200 2450507826 4039420743 1329411033 2796905599 2294256676 2885867618 3624078271 2498045511 1090960641 1527417156 2002069275 3462939200 2060103639 2154121859 2008435944 1121292823 3809479207 2042411311 255 362436" option to reproduce the execution
0.00/0.08 c #vars 7936
0.00/0.08 c #constraints 296
0.19/0.24 c BCD2: Hardening is enabled.
0.19/0.24 c BCD2: BiasedSearch is enabled.
0.19/0.24 c Solving starts ...
0.19/0.24 c ============================[ Search Statistics ]============================
0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.24 c | | | | Limit GC | Var | Constra
0.19/0.24 c =============================================================================
0.19/0.24 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
0.19/0.29 c 0.0s | 0 | 347 | 0 | 2757 0 | 4187 | 0
0.19/0.29 c #cpu_time = 0.046s
0.19/0.29 c #wall_clock_time = 0.046s
0.19/0.29 c #decision = 347
0.19/0.29 c #random_decision = 0
0.19/0.29 c #conflict = 0
0.19/0.29 c #restart = 0
0.19/0.29 o 46828544
6.88/6.94 c BCD2: hardening fixes 1605 literals
6.88/6.94 c BCD2: updating upper bound: 1548380176990 -> 46828543
6.88/6.95 c BCD2: 0 <= obj <= 46828543
6.88/6.95 c BCD2: #cores=0, #unrelaxed=6331, #relaxed=0, #hardened=1605
6.88/6.95 c BCD2: #sat=1 #unsat=1 bias=1/2
6.88/6.96 c Solving starts ...
6.88/6.96 c ============================[ Search Statistics ]============================
6.88/6.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
6.88/6.96 c | | | | Limit GC | Var | Constra
6.88/6.96 c =============================================================================
6.88/6.96 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
6.88/6.97 c 0.0s | 0 | 35 | 1 | 2757 0 | 4187 | 0
6.88/6.97 c #cpu_time = 0.006s
6.88/6.97 c #wall_clock_time = 0.006s
6.88/6.97 c #decision = 35
6.88/6.97 c #random_decision = 0
6.88/6.97 c #conflict = 1
6.88/6.97 c #restart = 0
6.88/6.97 c BCD2: found a new core of size 28: cost of the new core is >=68608
6.88/6.97 c lower bound updated to 68608
13.38/13.46 c BCD2: 68608 <= obj <= 46828543
13.38/13.46 c BCD2: #cores=1, #unrelaxed=6303, #relaxed=28, #hardened=1605
13.38/13.46 c BCD2: #sat=1 #unsat=2 bias=2/3
13.38/13.46 c Solving starts ...
13.38/13.46 c ============================[ Search Statistics ]============================
13.38/13.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
13.38/13.46 c | | | | Limit GC | Var | Constra
13.38/13.46 c =============================================================================
13.38/13.46 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
13.38/13.47 c 0.0s | 0 | 44 | 0 | 2757 0 | 4187 | 0
13.38/13.47 c #cpu_time = 0.005s
13.38/13.47 c #wall_clock_time = 0.005s
13.38/13.47 c #decision = 44
13.38/13.47 c #random_decision = 0
13.38/13.47 c #conflict = 0
13.38/13.47 c #restart = 0
13.38/13.47 c BCD2: found a new core of size 30: cost of the new core is >=83968
13.38/13.47 c lower bound updated to 152576
19.89/19.93 c BCD2: 152576 <= obj <= 46828543
19.89/19.93 c BCD2: #cores=2, #unrelaxed=6273, #relaxed=58, #hardened=1605
19.89/19.93 c BCD2: #sat=1 #unsat=3 bias=3/4
19.89/19.93 c Solving starts ...
19.89/19.93 c ============================[ Search Statistics ]============================
19.89/19.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
19.89/19.93 c | | | | Limit GC | Var | Constra
19.89/19.93 c =============================================================================
19.89/19.93 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
19.89/19.94 c 0.0s | 0 | 56 | 1 | 2757 0 | 4187 | 0
19.89/19.94 c #cpu_time = 0.006s
19.89/19.94 c #wall_clock_time = 0.006s
19.89/19.94 c #decision = 56
19.89/19.94 c #random_decision = 0
19.89/19.94 c #conflict = 1
19.89/19.94 c #restart = 0
19.89/19.94 c BCD2: found a new core of size 27: cost of the new core is >=68608
19.89/19.94 c lower bound updated to 221184
26.28/26.35 c BCD2: 221184 <= obj <= 46828543
26.28/26.35 c BCD2: #cores=3, #unrelaxed=6246, #relaxed=85, #hardened=1605
26.28/26.35 c BCD2: #sat=1 #unsat=4 bias=4/5
26.28/26.35 c Solving starts ...
26.28/26.35 c ============================[ Search Statistics ]============================
26.28/26.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
26.28/26.35 c | | | | Limit GC | Var | Constra
26.28/26.35 c =============================================================================
26.28/26.35 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
26.28/26.36 c 0.0s | 0 | 68 | 1 | 2757 0 | 4187 | 0
26.28/26.36 c #cpu_time = 0.006s
26.28/26.36 c #wall_clock_time = 0.006s
26.28/26.36 c #decision = 68
26.28/26.36 c #random_decision = 0
26.28/26.36 c #conflict = 1
26.28/26.36 c #restart = 0
26.28/26.36 c BCD2: found a new core of size 30: cost of the new core is >=72704
26.28/26.36 c lower bound updated to 293888
32.78/32.83 c BCD2: 293888 <= obj <= 46828543
32.78/32.83 c BCD2: #cores=4, #unrelaxed=6216, #relaxed=115, #hardened=1605
32.78/32.83 c BCD2: #sat=1 #unsat=5 bias=5/6
32.78/32.83 c Solving starts ...
32.78/32.83 c ============================[ Search Statistics ]============================
32.78/32.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
32.78/32.83 c | | | | Limit GC | Var | Constra
32.78/32.83 c =============================================================================
32.78/32.83 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
32.78/32.83 c 0.0s | 0 | 74 | 1 | 2757 0 | 4187 | 0
32.78/32.83 c #cpu_time = 0.006s
32.78/32.83 c #wall_clock_time = 0.006s
32.78/32.83 c #decision = 74
32.78/32.83 c #random_decision = 0
32.78/32.83 c #conflict = 1
32.78/32.83 c #restart = 0
32.78/32.83 c BCD2: found a new core of size 30: cost of the new core is >=76800
32.78/32.83 c lower bound updated to 370688
39.38/39.41 c BCD2: 370688 <= obj <= 46828543
39.38/39.41 c BCD2: #cores=5, #unrelaxed=6186, #relaxed=145, #hardened=1605
39.38/39.41 c BCD2: #sat=1 #unsat=6 bias=6/7
39.38/39.41 c Solving starts ...
39.38/39.41 c ============================[ Search Statistics ]============================
39.38/39.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
39.38/39.41 c | | | | Limit GC | Var | Constra
39.38/39.41 c =============================================================================
39.38/39.41 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
39.38/39.42 c 0.0s | 0 | 80 | 1 | 2757 0 | 4187 | 0
39.38/39.42 c #cpu_time = 0.006s
39.38/39.42 c #wall_clock_time = 0.006s
39.38/39.42 c #decision = 80
39.38/39.42 c #random_decision = 0
39.38/39.42 c #conflict = 1
39.38/39.42 c #restart = 0
39.38/39.42 c BCD2: found a new core of size 30: cost of the new core is >=95232
39.38/39.42 c lower bound updated to 465920
45.87/45.97 c BCD2: 465920 <= obj <= 46828543
45.87/45.97 c BCD2: #cores=6, #unrelaxed=6156, #relaxed=175, #hardened=1605
45.87/45.97 c BCD2: #sat=1 #unsat=7 bias=7/8
45.87/45.97 c Solving starts ...
45.87/45.97 c ============================[ Search Statistics ]============================
45.87/45.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
45.87/45.97 c | | | | Limit GC | Var | Constra
45.87/45.97 c =============================================================================
45.87/45.97 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
45.87/45.98 c 0.0s | 0 | 81 | 1 | 2757 0 | 4187 | 0
45.87/45.98 c #cpu_time = 0.007s
45.87/45.98 c #wall_clock_time = 0.007s
45.87/45.98 c #decision = 81
45.87/45.98 c #random_decision = 0
45.87/45.98 c #conflict = 1
45.87/45.98 c #restart = 0
45.87/45.98 c BCD2: found a new core of size 29: cost of the new core is >=76800
45.87/45.98 c lower bound updated to 542720
52.57/52.60 c BCD2: 542720 <= obj <= 46828543
52.57/52.60 c BCD2: #cores=7, #unrelaxed=6127, #relaxed=204, #hardened=1605
52.57/52.60 c BCD2: #sat=1 #unsat=8 bias=8/9
52.57/52.60 c Solving starts ...
52.57/52.60 c ============================[ Search Statistics ]============================
52.57/52.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
52.57/52.60 c | | | | Limit GC | Var | Constra
52.57/52.60 c =============================================================================
52.57/52.60 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
52.57/52.61 c 0.0s | 0 | 60 | 1 | 2757 0 | 4187 | 0
52.57/52.61 c #cpu_time = 0.007s
52.57/52.61 c #wall_clock_time = 0.007s
52.57/52.61 c #decision = 60
52.57/52.61 c #random_decision = 0
52.57/52.61 c #conflict = 1
52.57/52.61 c #restart = 0
52.57/52.61 c BCD2: found a new core of size 30: cost of the new core is >=68608
52.57/52.61 c lower bound updated to 611328
59.07/59.10 c BCD2: 611328 <= obj <= 46828543
59.07/59.10 c BCD2: #cores=8, #unrelaxed=6097, #relaxed=234, #hardened=1605
59.07/59.10 c BCD2: #sat=1 #unsat=9 bias=9/10
59.07/59.10 c Solving starts ...
59.07/59.10 c ============================[ Search Statistics ]============================
59.07/59.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
59.07/59.10 c | | | | Limit GC | Var | Constra
59.07/59.10 c =============================================================================
59.07/59.10 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
59.07/59.11 c 0.0s | 0 | 57 | 0 | 2757 0 | 4187 | 0
59.07/59.11 c #cpu_time = 0.005s
59.07/59.11 c #wall_clock_time = 0.005s
59.07/59.11 c #decision = 57
59.07/59.11 c #random_decision = 0
59.07/59.11 c #conflict = 0
59.07/59.11 c #restart = 0
59.07/59.11 c BCD2: found a new core of size 8: cost of the new core is >=65536
59.07/59.11 c lower bound updated to 676864
65.58/65.63 c BCD2: 676864 <= obj <= 46828543
65.58/65.63 c BCD2: #cores=9, #unrelaxed=6089, #relaxed=242, #hardened=1605
65.58/65.63 c BCD2: #sat=1 #unsat=10 bias=10/11
65.58/65.63 c Solving starts ...
65.58/65.63 c ============================[ Search Statistics ]============================
65.58/65.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
65.58/65.63 c | | | | Limit GC | Var | Constra
65.58/65.63 c =============================================================================
65.58/65.63 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
65.58/65.64 c 0.0s | 0 | 65 | 0 | 2757 0 | 4187 | 0
65.58/65.64 c #cpu_time = 0.005s
65.58/65.64 c #wall_clock_time = 0.005s
65.58/65.64 c #decision = 65
65.58/65.64 c #random_decision = 0
65.58/65.64 c #conflict = 0
65.58/65.64 c #restart = 0
65.58/65.64 c BCD2: found a new core of size 8: cost of the new core is >=8192
65.58/65.64 c lower bound updated to 685056
72.07/72.12 c BCD2: 685056 <= obj <= 46828543
72.07/72.12 c BCD2: #cores=10, #unrelaxed=6081, #relaxed=250, #hardened=1605
72.07/72.12 c BCD2: #sat=1 #unsat=11 bias=11/12
72.07/72.12 c Solving starts ...
72.07/72.12 c ============================[ Search Statistics ]============================
72.07/72.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
72.07/72.12 c | | | | Limit GC | Var | Constra
72.07/72.12 c =============================================================================
72.07/72.12 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
72.07/72.13 c 0.0s | 0 | 428 | 2 | 2757 0 | 4187 | 0
72.07/72.13 c #cpu_time = 0.007s
72.07/72.13 c #wall_clock_time = 0.007s
72.07/72.13 c #decision = 428
72.07/72.13 c #random_decision = 0
72.07/72.13 c #conflict = 2
72.07/72.13 c #restart = 0
72.07/72.13 c BCD2: found a new core of size 183: cost of the new core is >=128
72.07/72.13 c lower bound updated to 685184
78.67/78.72 c BCD2: 685184 <= obj <= 46828543
78.67/78.72 c BCD2: #cores=11, #unrelaxed=5898, #relaxed=433, #hardened=1605
78.67/78.72 c BCD2: #sat=1 #unsat=12 bias=12/13
78.67/78.72 c Solving starts ...
78.67/78.72 c ============================[ Search Statistics ]============================
78.67/78.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
78.67/78.72 c | | | | Limit GC | Var | Constra
78.67/78.72 c =============================================================================
78.67/78.72 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
78.67/78.73 c 0.0s | 0 | 803 | 0 | 2757 0 | 4187 | 0
78.67/78.73 c #cpu_time = 0.006s
78.67/78.73 c #wall_clock_time = 0.006s
78.67/78.73 c #decision = 803
78.67/78.73 c #random_decision = 0
78.67/78.73 c #conflict = 0
78.67/78.73 c #restart = 0
78.67/78.73 c BCD2: found a new core of size 395: cost of the new core is >=2
78.67/78.73 c lower bound updated to 685186
85.07/85.19 c BCD2: 685186 <= obj <= 46828543
85.07/85.19 c BCD2: #cores=12, #unrelaxed=5503, #relaxed=828, #hardened=1605
85.07/85.19 c BCD2: #sat=1 #unsat=13 bias=13/14
85.07/85.19 c Solving starts ...
85.07/85.19 c ============================[ Search Statistics ]============================
85.07/85.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
85.07/85.19 c | | | | Limit GC | Var | Constra
85.07/85.19 c =============================================================================
85.07/85.19 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
85.17/85.20 c 0.0s | 0 | 847 | 1 | 2757 0 | 4187 | 0
85.17/85.20 c #cpu_time = 0.007s
85.17/85.20 c #wall_clock_time = 0.007s
85.17/85.20 c #decision = 847
85.17/85.20 c #random_decision = 0
85.17/85.20 c #conflict = 1
85.17/85.20 c #restart = 0
85.17/85.20 c BCD2: found a new core of size 173: cost of the new core is >=64
85.17/85.20 c lower bound updated to 685250
91.57/91.64 c BCD2: 685250 <= obj <= 46828543
91.57/91.64 c BCD2: #cores=13, #unrelaxed=5330, #relaxed=1001, #hardened=1605
91.57/91.64 c BCD2: #sat=1 #unsat=14 bias=14/15
91.57/91.65 c Solving starts ...
91.57/91.65 c ============================[ Search Statistics ]============================
91.57/91.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
91.57/91.65 c | | | | Limit GC | Var | Constra
91.57/91.65 c =============================================================================
91.57/91.65 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
91.57/91.66 c 0.0s | 0 | 1301 | 1 | 2757 0 | 4187 | 0
91.57/91.66 c #cpu_time = 0.008s
91.57/91.66 c #wall_clock_time = 0.008s
91.57/91.66 c #decision = 1301
91.57/91.66 c #random_decision = 0
91.57/91.66 c #conflict = 1
91.57/91.66 c #restart = 0
91.57/91.66 c BCD2: found a new core of size 395: cost of the new core is >=1
91.57/91.66 c lower bound updated to 685251
98.17/98.24 c BCD2: 685251 <= obj <= 46828543
98.17/98.24 c BCD2: #cores=14, #unrelaxed=4935, #relaxed=1396, #hardened=1605
98.17/98.24 c BCD2: #sat=1 #unsat=15 bias=15/16
98.17/98.25 c Solving starts ...
98.17/98.25 c ============================[ Search Statistics ]============================
98.17/98.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
98.17/98.25 c | | | | Limit GC | Var | Constra
98.17/98.25 c =============================================================================
98.17/98.25 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
98.17/98.26 c 0.0s | 0 | 1382 | 0 | 2757 0 | 4187 | 0
98.17/98.26 c #cpu_time = 0.007s
98.17/98.26 c #wall_clock_time = 0.007s
98.17/98.26 c #decision = 1382
98.17/98.26 c #random_decision = 0
98.17/98.26 c #conflict = 0
98.17/98.26 c #restart = 0
98.17/98.26 c BCD2: found a new core of size 396: cost of the new core is >=1
98.17/98.26 c lower bound updated to 685252
104.76/104.85 c BCD2: 685252 <= obj <= 46828543
104.76/104.85 c BCD2: #cores=15, #unrelaxed=4539, #relaxed=1792, #hardened=1605
104.76/104.85 c BCD2: #sat=1 #unsat=16 bias=16/17
104.76/104.87 c Solving starts ...
104.76/104.87 c ============================[ Search Statistics ]============================
104.76/104.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
104.76/104.87 c | | | | Limit GC | Var | Constra
104.76/104.87 c =============================================================================
104.76/104.87 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
104.76/104.88 c 0.0s | 0 | 1466 | 0 | 2757 0 | 4187 | 0
104.76/104.88 c #cpu_time = 0.008s
104.76/104.88 c #wall_clock_time = 0.008s
104.76/104.88 c #decision = 1466
104.76/104.88 c #random_decision = 0
104.76/104.88 c #conflict = 0
104.76/104.88 c #restart = 0
104.76/104.88 c BCD2: found a new core of size 396: cost of the new core is >=1
104.76/104.88 c lower bound updated to 685253
111.26/111.33 c BCD2: 685253 <= obj <= 46828543
111.26/111.33 c BCD2: #cores=16, #unrelaxed=4143, #relaxed=2188, #hardened=1605
111.26/111.33 c BCD2: #sat=1 #unsat=17 bias=17/18
111.46/111.50 c Solving starts ...
111.46/111.50 c ============================[ Search Statistics ]============================
111.46/111.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
111.46/111.50 c | | | | Limit GC | Var | Constra
111.46/111.50 c =============================================================================
111.46/111.50 c 0.0s | 0 | 0 | 0 | 2757 0 | 4187 | 0
111.46/111.51 c 0.0s | 0 | 1072 | 0 | 2757 0 | 4187 | 0
111.46/111.51 c #cpu_time = 0.008s
111.46/111.51 c #wall_clock_time = 0.008s
111.46/111.51 c #decision = 1072
111.46/111.51 c #random_decision = 0
111.46/111.51 c #conflict = 0
111.46/111.51 c #restart = 0
111.46/111.51 c BCD2: relaxing 94 and merging with 3 cores into a new core of size 1281: cost of the new core is >=8
111.46/111.51 c lower bound updated to 685257
118.07/118.10 c BCD2: 685257 <= obj <= 46828543
118.07/118.10 c BCD2: #cores=14, #unrelaxed=4049, #relaxed=2282, #hardened=1605
118.07/118.10 c BCD2: #sat=1 #unsat=18 bias=18/19
118.27/118.30 c Solving starts ...
118.27/118.30 c ============================[ Search Statistics ]============================
118.27/118.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
118.27/118.30 c | | | | Limit GC | Var | Constra
118.27/118.30 c =============================================================================
118.27/118.30 c 0.0s | 0 | 0 | 0 | 2757 0 | 4195 | 0
118.27/118.31 c 0.0s | 0 | 1416 | 0 | 2757 0 | 4195 | 13
118.27/118.31 c #cpu_time = 0.010s
118.27/118.31 c #wall_clock_time = 0.010s
118.27/118.31 c #decision = 1416
118.27/118.31 c #random_decision = 0
118.27/118.31 c #conflict = 0
118.27/118.31 c #restart = 0
118.27/118.31 c BCD2: found a new core of size 49: cost of the new core is >=128
118.27/118.31 c lower bound updated to 685385
124.66/124.75 c BCD2: 685385 <= obj <= 46828543
124.66/124.75 c BCD2: #cores=15, #unrelaxed=4000, #relaxed=2331, #hardened=1605
124.66/124.75 c BCD2: #sat=1 #unsat=19 bias=19/20
124.76/124.85 c Solving starts ...
124.76/124.85 c ============================[ Search Statistics ]============================
124.76/124.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
124.76/124.85 c | | | | Limit GC | Var | Constra
124.76/124.85 c =============================================================================
124.76/124.85 c 0.0s | 0 | 0 | 0 | 2757 0 | 4195 | 13
124.96/125.04 c 0.2s | 1 | 2400 | 100 | 3033 0 | 4195 | 13
125.56/125.62 c 0.8s | 2 | 4428 | 250 | 3337 0 | 4195 | 13
126.47/126.57 c 1.7s | 3 | 6241 | 475 | 3671 0 | 4195 | 13
127.86/127.93 c 3.1s | 4 | 8639 | 813 | 4039 0 | 4195 | 13
129.16/129.28 c 4.4s | 5 | 11483 | 1320 | 4443 0 | 4195 | 13
131.56/131.64 c 6.8s | 5 | 14715 | 2020 | 4443 0 | 4195 | 13
131.86/131.98 c 7.1s | 6 | 14788 | 2081 | 4888 0 | 4195 | 13
134.27/134.35 c 9.5s | 6 | 16932 | 2481 | 4888 0 | 4195 | 13
136.56/136.66 c 11.8s | 6 | 18379 | 3081 | 4888 0 | 4195 | 13
137.16/137.24 c 12.4s | 7 | 18775 | 3223 | 5377 0 | 4195 | 13
139.16/139.25 c 14.4s | 7 | 22721 | 4023 | 5377 0 | 4195 | 13
141.66/141.74 c 16.9s | 7 | 23827 | 4623 | 5377 0 | 4195 | 13
142.56/142.60 c 17.8s | 8 | 24614 | 4936 | 5915 0 | 4195 | 13
144.66/144.72 c 19.9s | 8 | 27516 | 5536 | 5915 0 | 4195 | 13
146.86/146.92 c 22.1s | 8 | 28930 | 6136 | 5915 0 | 4195 | 13
148.96/149.02 c 24.2s | 8 | 30938 | 6836 | 5915 0 | 4195 | 13
150.96/151.07 c 26.2s | 8 | 32178 | 7336 | 5915 0 | 4195 | 13
151.86/151.94 c 27.1s | 9 | 32414 | 7506 | 6507 0 | 4195 | 13
154.15/154.29 c 29.4s | 9 | 35850 | 8306 | 6507 0 | 4195 | 13
156.45/156.59 c 31.7s | 9 | 37399 | 9006 | 6507 0 | 4195 | 13
158.75/158.85 c 34.0s | 9 | 38401 | 9606 | 6507 0 | 4195 | 13
160.95/161.02 c 36.2s | 9 | 39601 | 10206 | 6507 0 | 4195 | 13
163.05/163.11 c 38.3s | 9 | 41260 | 10906 | 6507 0 | 4195 | 13
164.96/165.02 c 40.2s | 10 | 41912 | 11361 | 7158 0 | 4195 | 13
167.26/167.35 c 42.5s | 10 | 44610 | 11861 | 7158 1 | 4195 | 13
169.36/169.43 c 44.6s | 10 | 46525 | 12561 | 7158 1 | 4195 | 13
171.75/171.84 c 47.0s | 10 | 47918 | 13261 | 7158 1 | 4195 | 13
173.76/173.86 c 49.0s | 10 | 48976 | 13761 | 7158 1 | 4195 | 13
175.96/176.09 c 51.2s | 10 | 50249 | 14361 | 7158 1 | 4195 | 13
178.26/178.37 c 53.5s | 10 | 50799 | 14861 | 7158 1 | 4195 | 13
180.36/180.49 c 55.6s | 10 | 52239 | 15561 | 7158 1 | 4195 | 13
182.45/182.51 c 57.7s | 10 | 54487 | 16361 | 7158 1 | 4195 | 13
184.45/184.53 c 59.7s | 10 | 55850 | 16961 | 7158 1 | 4195 | 13
185.05/185.18 c 60.3s | 11 | 56172 | 17144 | 7874 1 | 4195 | 13
187.45/187.51 c 62.7s | 11 | 58554 | 17644 | 7874 1 | 4195 | 13
189.65/189.76 c 64.9s | 11 | 60318 | 18344 | 7874 1 | 4195 | 13
191.95/192.02 c 67.2s | 11 | 61666 | 18944 | 7874 1 | 4195 | 13
194.15/194.24 c 69.4s | 11 | 62701 | 19444 | 7874 1 | 4195 | 13
196.25/196.30 c 71.5s | 11 | 63885 | 19944 | 7874 2 | 4195 | 13
198.25/198.39 c 73.5s | 11 | 65626 | 20644 | 7874 2 | 4195 | 13
200.35/200.49 c 75.6s | 11 | 66726 | 21244 | 7874 2 | 4195 | 13
202.65/202.75 c 77.9s | 11 | 68160 | 21944 | 7874 2 | 4195 | 13
204.65/204.76 c 79.9s | 11 | 70696 | 22844 | 7874 2 | 4195 | 13
206.75/206.89 c 82.0s | 11 | 71725 | 23844 | 7874 2 | 4195 | 13
208.85/208.96 c 84.1s | 11 | 72782 | 24844 | 7874 2 | 4195 | 13
210.95/211.05 c 86.2s | 12 | 73820 | 25819 | 8662 2 | 4195 | 13
213.04/213.10 c 88.3s | 12 | 76494 | 26819 | 8662 3 | 4195 | 13
215.05/215.16 c 90.3s | 12 | 77690 | 28019 | 8662 3 | 4195 | 13
217.15/217.28 c 92.4s | 12 | 78896 | 29219 | 8662 3 | 4195 | 13
219.25/219.31 c 94.5s | 12 | 79999 | 30319 | 8662 3 | 4195 | 13
221.25/221.39 c 96.5s | 12 | 81101 | 31419 | 8662 3 | 4195 | 13
223.45/223.54 c 98.7s | 12 | 82202 | 32519 | 8662 3 | 4195 | 13
225.46/225.56 c 100s | 12 | 83209 | 33519 | 8662 3 | 4195 | 13
227.55/227.63 c 102s | 12 | 84112 | 34419 | 8662 4 | 4195 | 13
229.55/229.64 c 104s | 12 | 85127 | 35419 | 8662 4 | 4195 | 13
231.65/231.74 c 106s | 12 | 86133 | 36419 | 8662 4 | 4195 | 13
233.75/233.80 c 108s | 12 | 87140 | 37419 | 8662 4 | 4195 | 13
235.75/235.85 c 111s | 12 | 88153 | 38419 | 8662 4 | 4195 | 13
236.56/236.68 c 111s | 13 | 88567 | 38832 | 9529 4 | 4195 | 13
238.65/238.78 c 113s | 13 | 90700 | 39532 | 9529 4 | 4195 | 13
240.95/241.07 c 116s | 13 | 91497 | 40332 | 9529 4 | 4195 | 13
243.05/243.12 c 118s | 13 | 92197 | 41032 | 9529 4 | 4195 | 13
245.04/245.20 c 120s | 13 | 92902 | 41732 | 9529 4 | 4195 | 13
247.34/247.46 c 122s | 13 | 93598 | 42432 | 9529 5 | 4195 | 13
249.54/249.63 c 124s | 13 | 94309 | 43132 | 9529 5 | 4195 | 13
251.64/251.77 c 126s | 13 | 95008 | 43832 | 9529 5 | 4195 | 13
253.84/253.95 c 129s | 13 | 95705 | 44532 | 9529 5 | 4195 | 13
256.04/256.18 c 131s | 13 | 96409 | 45232 | 9529 5 | 4195 | 13
258.24/258.37 c 133s | 13 | 97119 | 45932 | 9529 5 | 4195 | 13
260.44/260.55 c 135s | 13 | 97814 | 46632 | 9529 5 | 4195 | 13
262.64/262.75 c 137s | 13 | 98530 | 47332 | 9529 5 | 4195 | 13
264.74/264.84 c 139s | 13 | 99224 | 48032 | 9529 5 | 4195 | 13
266.94/267.01 c 142s | 13 | 99937 | 48732 | 9529 5 | 4195 | 13
269.14/269.20 c 144s | 13 | 100638 | 49432 | 9529 5 | 4195 | 13
271.14/271.23 c 146s | 13 | 101231 | 50032 | 9529 6 | 4195 | 13
273.24/273.33 c 148s | 13 | 101936 | 50732 | 9529 6 | 4195 | 13
275.34/275.47 c 150s | 13 | 102630 | 51432 | 9529 6 | 4195 | 13
277.44/277.59 c 152s | 13 | 103351 | 52132 | 9529 6 | 4195 | 13
279.54/279.68 c 154s | 13 | 104044 | 52832 | 9529 6 | 4195 | 13
281.74/281.88 c 157s | 13 | 104752 | 53532 | 9529 6 | 4195 | 13
283.94/284.07 c 159s | 13 | 105448 | 54232 | 9529 6 | 4195 | 13
286.24/286.31 c 161s | 13 | 106157 | 54932 | 9529 6 | 4195 | 13
288.54/288.64 c 163s | 13 | 106860 | 55632 | 9529 6 | 4195 | 13
290.54/290.66 c 165s | 13 | 107462 | 56232 | 9529 6 | 4195 | 13
292.84/292.90 c 168s | 13 | 108154 | 56932 | 9529 6 | 4195 | 13
295.04/295.13 c 170s | 13 | 108861 | 57632 | 9529 6 | 4195 | 13
297.14/297.20 c 172s | 13 | 109467 | 58232 | 10482 7 | 4195 | 13
297.44/297.57 c 172s | 14 | 109583 | 58352 | 10482 7 | 4195 | 13
299.63/299.75 c 174s | 14 | 111314 | 58652 | 10482 7 | 4195 | 13
301.93/302.04 c 177s | 14 | 112002 | 59352 | 10482 7 | 4195 | 13
304.13/304.26 c 179s | 14 | 112816 | 60152 | 10482 7 | 4195 | 13
306.33/306.49 c 181s | 14 | 113617 | 60952 | 10482 7 | 4195 | 13
308.53/308.66 c 183s | 14 | 114416 | 61752 | 10482 7 | 4195 | 13
310.53/310.66 c 185s | 14 | 115135 | 62452 | 10482 7 | 4195 | 13
312.73/312.81 c 187s | 14 | 115947 | 63252 | 10482 7 | 4195 | 13
314.83/314.92 c 190s | 14 | 116752 | 64052 | 10482 7 | 4195 | 13
316.84/316.93 c 192s | 14 | 117465 | 64752 | 10482 7 | 4195 | 13
319.04/319.16 c 194s | 14 | 118291 | 65552 | 10482 7 | 4195 | 13
321.24/321.39 c 196s | 14 | 119081 | 66352 | 10482 7 | 4195 | 13
323.43/323.56 c 198s | 14 | 119878 | 67152 | 10482 8 | 4195 | 13
325.53/325.66 c 200s | 14 | 120680 | 67952 | 10482 8 | 4195 | 13
327.63/327.79 c 202s | 14 | 121481 | 68752 | 10482 8 | 4195 | 13
329.73/329.82 c 204s | 14 | 122282 | 69552 | 10482 8 | 4195 | 13
331.73/331.89 c 207s | 14 | 123086 | 70352 | 10482 8 | 4195 | 13
333.83/333.96 c 209s | 14 | 123887 | 71152 | 10482 8 | 4195 | 13
335.93/336.08 c 211s | 14 | 124689 | 71952 | 10482 8 | 4195 | 13
338.13/338.26 c 213s | 14 | 125492 | 72752 | 10482 8 | 4195 | 13
340.23/340.31 c 215s | 14 | 126300 | 73552 | 10482 8 | 4195 | 13
342.33/342.43 c 217s | 14 | 127107 | 74352 | 10482 8 | 4195 | 13
344.52/344.68 c 219s | 14 | 127899 | 75152 | 10482 9 | 4195 | 13
346.72/346.81 c 221s | 14 | 128700 | 75952 | 10482 9 | 4195 | 13
348.82/348.99 c 224s | 14 | 129604 | 76852 | 10482 9 | 4195 | 13
351.12/351.22 c 226s | 14 | 130500 | 77752 | 10482 9 | 4195 | 13
353.32/353.44 c 228s | 14 | 131409 | 78652 | 10482 9 | 4195 | 13
355.62/355.73 c 230s | 14 | 132207 | 79452 | 10482 9 | 4195 | 13
357.92/358.01 c 233s | 14 | 133013 | 80252 | 10482 9 | 4195 | 13
359.92/360.03 c 235s | 14 | 133735 | 80952 | 10482 9 | 4195 | 13
362.02/362.18 c 237s | 14 | 134518 | 81752 | 10482 9 | 4195 | 13
364.13/364.27 c 239s | 14 | 135223 | 82452 | 10482 9 | 4195 | 13
366.23/366.38 c 241s | 14 | 135928 | 83152 | 10482 10 | 4195 | 13
368.44/368.52 c 243s | 14 | 136721 | 83952 | 10482 10 | 4195 | 13
370.53/370.63 c 245s | 14 | 137549 | 84752 | 10482 10 | 4195 | 13
372.53/372.63 c 247s | 14 | 138227 | 85452 | 10482 10 | 4195 | 13
374.53/374.65 c 249s | 14 | 138935 | 86152 | 10482 10 | 4195 | 13
376.63/376.72 c 251s | 14 | 139636 | 86852 | 10482 10 | 4195 | 13
378.63/378.77 c 253s | 14 | 140340 | 87552 | 11531 10 | 4195 | 13
378.83/378.99 c 254s | 15 | 140414 | 87632 | 11531 10 | 4195 | 13
381.13/381.29 c 256s | 15 | 142435 | 88232 | 11531 10 | 4195 | 13
383.42/383.54 c 258s | 15 | 143038 | 88832 | 11531 10 | 4195 | 13
385.62/385.76 c 260s | 15 | 143652 | 89432 | 11531 10 | 4195 | 13
387.92/388.01 c 263s | 15 | 144266 | 90032 | 11531 10 | 4195 | 13
390.12/390.21 c 265s | 15 | 144864 | 90632 | 11531 10 | 4195 | 13
392.42/392.58 c 267s | 15 | 145469 | 91232 | 11531 10 | 4195 | 13
394.42/394.59 c 269s | 15 | 145987 | 91732 | 11531 10 | 4195 | 13
396.42/396.59 c 271s | 15 | 146478 | 92232 | 11531 10 | 4195 | 13
398.53/398.65 c 273s | 15 | 146983 | 92732 | 11531 11 | 4195 | 13
400.53/400.68 c 275s | 15 | 147482 | 93232 | 11531 11 | 4195 | 13
402.72/402.87 c 278s | 15 | 148098 | 93832 | 11531 11 | 4195 | 13
404.92/405.06 c 280s | 15 | 148702 | 94432 | 11531 11 | 4195 | 13
407.12/407.28 c 282s | 15 | 149302 | 95032 | 11531 11 | 4195 | 13
409.42/409.57 c 284s | 15 | 149922 | 95632 | 11531 11 | 4195 | 13
411.62/411.78 c 286s | 15 | 150527 | 96232 | 11531 11 | 4195 | 13
414.02/414.18 c 289s | 15 | 151124 | 96832 | 11531 11 | 4195 | 13
416.32/416.47 c 291s | 15 | 151728 | 97432 | 11531 11 | 4195 | 13
418.72/418.86 c 294s | 15 | 152354 | 98032 | 11531 11 | 4195 | 13
420.72/420.87 c 296s | 15 | 152860 | 98532 | 11531 11 | 4195 | 13
422.81/422.98 c 298s | 15 | 153357 | 99032 | 11531 11 | 4195 | 13
425.21/425.40 c 300s | 15 | 153972 | 99632 | 11531 11 | 4195 | 13
427.32/427.48 c 302s | 15 | 154471 | 100132 | 11531 11 | 4195 | 13
429.72/429.84 c 304s | 15 | 155078 | 100732 | 11531 11 | 4195 | 13
432.02/432.10 c 307s | 15 | 155597 | 101232 | 11531 12 | 4195 | 13
434.12/434.29 c 309s | 15 | 156206 | 101832 | 11531 12 | 4195 | 13
436.51/436.63 c 311s | 15 | 156814 | 102432 | 11531 12 | 4195 | 13
438.51/438.65 c 313s | 15 | 157315 | 102932 | 11531 12 | 4195 | 13
440.51/440.67 c 315s | 15 | 157819 | 103432 | 11531 12 | 4195 | 13
442.91/443.03 c 318s | 15 | 158432 | 104032 | 11531 12 | 4195 | 13
445.22/445.38 c 320s | 15 | 159046 | 104632 | 11531 12 | 4195 | 13
447.42/447.55 c 322s | 15 | 159549 | 105132 | 11531 12 | 4195 | 13
449.72/449.89 c 325s | 15 | 160158 | 105732 | 11531 12 | 4195 | 13
452.02/452.11 c 327s | 15 | 160770 | 106332 | 11531 12 | 4195 | 13
454.32/454.43 c 329s | 15 | 161380 | 106932 | 11531 12 | 4195 | 13
456.31/456.44 c 331s | 15 | 161884 | 107432 | 11531 12 | 4195 | 13
458.62/458.72 c 333s | 15 | 162501 | 108032 | 11531 12 | 4195 | 13
460.92/461.07 c 336s | 15 | 163110 | 108632 | 11531 12 | 4195 | 13
463.31/463.42 c 338s | 15 | 163716 | 109232 | 11531 12 | 4195 | 13
465.32/465.47 c 340s | 15 | 164213 | 109732 | 11531 12 | 4195 | 13
467.71/467.84 c 342s | 15 | 164717 | 110232 | 11531 13 | 4195 | 13
470.11/470.22 c 345s | 15 | 165325 | 110832 | 11531 13 | 4195 | 13
472.31/472.43 c 347s | 15 | 165834 | 111332 | 11531 13 | 4195 | 13
474.71/474.81 c 349s | 15 | 166438 | 111932 | 11531 13 | 4195 | 13
477.01/477.17 c 352s | 15 | 167057 | 112532 | 11531 13 | 4195 | 13
479.01/479.19 c 354s | 15 | 167561 | 113032 | 11531 13 | 4195 | 13
481.41/481.50 c 356s | 15 | 168181 | 113632 | 11531 13 | 4195 | 13
483.41/483.58 c 358s | 15 | 168697 | 114132 | 11531 13 | 4195 | 13
485.61/485.74 c 360s | 15 | 169201 | 114632 | 11531 13 | 4195 | 13
487.71/487.86 c 363s | 15 | 169713 | 115132 | 11531 13 | 4195 | 13
490.01/490.12 c 365s | 15 | 170316 | 115732 | 11531 13 | 4195 | 13
492.31/492.40 c 367s | 15 | 170843 | 116232 | 11531 13 | 4195 | 13
494.41/494.59 c 369s | 15 | 171352 | 116732 | 11531 13 | 4195 | 13
496.81/496.95 c 372s | 15 | 171858 | 117232 | 11531 13 | 4195 | 13
498.91/499.08 c 374s | 15 | 172367 | 117732 | 11531 13 | 4195 | 13
501.20/501.35 c 376s | 15 | 172874 | 118232 | 11531 13 | 4195 | 13
503.50/503.64 c 378s | 15 | 173289 | 118632 | 11531 14 | 4195 | 13
505.70/505.86 c 381s | 15 | 173788 | 119132 | 11531 14 | 4195 | 13
507.80/507.94 c 383s | 15 | 174305 | 119632 | 11531 14 | 4195 | 13
509.80/509.99 c 385s | 15 | 174819 | 120132 | 11531 14 | 4195 | 13
511.90/512.02 c 387s | 15 | 175326 | 120632 | 11531 14 | 4195 | 13
514.00/514.14 c 389s | 15 | 175836 | 121132 | 11531 14 | 4195 | 13
516.10/516.24 c 391s | 15 | 176347 | 121632 | 11531 14 | 4195 | 13
518.21/518.38 c 393s | 15 | 176857 | 122132 | 11531 14 | 4195 | 13
520.40/520.54 c 395s | 15 | 177378 | 122632 | 11531 14 | 4195 | 13
522.41/522.56 c 397s | 15 | 177886 | 123132 | 11531 14 | 4195 | 13
524.50/524.63 c 399s | 15 | 178391 | 123632 | 11531 14 | 4195 | 13
526.70/526.84 c 401s | 15 | 178903 | 124132 | 11531 14 | 4195 | 13
528.70/528.89 c 404s | 15 | 179432 | 124632 | 11531 14 | 4195 | 13
531.00/531.10 c 406s | 15 | 179934 | 125132 | 11531 14 | 4195 | 13
533.21/533.33 c 408s | 15 | 180448 | 125632 | 11531 14 | 4195 | 13
535.50/535.68 c 410s | 15 | 180965 | 126132 | 11531 14 | 4195 | 13
537.91/538.03 c 413s | 15 | 181486 | 126632 | 11531 14 | 4195 | 13
540.20/540.30 c 415s | 15 | 181991 | 127132 | 11531 14 | 4195 | 13
542.40/542.58 c 417s | 15 | 182409 | 127532 | 11531 15 | 4195 | 13
544.50/544.68 c 419s | 15 | 182912 | 128032 | 11531 15 | 4195 | 13
546.60/546.77 c 421s | 15 | 183419 | 128532 | 11531 15 | 4195 | 13
549.09/549.21 c 424s | 15 | 184031 | 129132 | 11531 15 | 4195 | 13
551.20/551.37 c 426s | 15 | 184557 | 129632 | 11531 15 | 4195 | 13
553.40/553.50 c 428s | 15 | 185075 | 130132 | 11531 15 | 4195 | 13
555.60/555.70 c 430s | 15 | 185579 | 130632 | 11531 15 | 4195 | 13
557.80/557.97 c 433s | 15 | 186102 | 131132 | 12685 15 | 4195 | 13
559.70/559.88 c 435s | 16 | 186551 | 131552 | 12685 15 | 4195 | 13
562.90/563.07 c 438s | 16 | 188081 | 131652 | 12685 15 | 4195 | 13
565.31/565.45 c 440s | 16 | 188689 | 132252 | 12685 15 | 4195 | 13
567.50/567.69 c 442s | 16 | 189295 | 132852 | 12685 15 | 4195 | 13
569.80/569.99 c 445s | 16 | 189910 | 133452 | 12685 15 | 4195 | 13
572.10/572.20 c 447s | 16 | 190528 | 134052 | 12685 15 | 4195 | 13
574.40/574.59 c 449s | 16 | 191137 | 134652 | 12685 15 | 4195 | 13
576.50/576.67 c 451s | 16 | 191649 | 135152 | 12685 15 | 4195 | 13
578.60/578.72 c 453s | 16 | 192151 | 135652 | 12685 15 | 4195 | 13
580.59/580.75 c 455s | 16 | 192666 | 136152 | 12685 15 | 4195 | 13
582.69/582.82 c 457s | 16 | 193158 | 136652 | 12685 15 | 4195 | 13
585.49/585.63 c 460s | 16 | 193774 | 137252 | 12685 16 | 4195 | 13
587.69/587.85 c 463s | 16 | 194393 | 137852 | 12685 16 | 4195 | 13
589.79/589.97 c 465s | 16 | 194995 | 138452 | 12685 16 | 4195 | 13
591.99/592.13 c 467s | 16 | 195596 | 139052 | 12685 16 | 4195 | 13
594.29/594.42 c 469s | 16 | 196217 | 139652 | 12685 16 | 4195 | 13
596.39/596.59 c 471s | 16 | 196830 | 140252 | 12685 16 | 4195 | 13
598.69/598.82 c 473s | 16 | 197448 | 140852 | 12685 16 | 4195 | 13
600.99/601.12 c 476s | 16 | 198073 | 141452 | 12685 16 | 4195 | 13
603.29/603.41 c 478s | 16 | 198681 | 142052 | 12685 16 | 4195 | 13
605.59/605.72 c 480s | 16 | 199294 | 142652 | 12685 16 | 4195 | 13
607.59/607.74 c 482s | 16 | 199806 | 143152 | 12685 16 | 4195 | 13
609.79/609.97 c 485s | 16 | 200205 | 143552 | 12685 16 | 4195 | 13
612.09/612.21 c 487s | 16 | 200827 | 144152 | 12685 16 | 4195 | 13
614.29/614.49 c 489s | 16 | 201419 | 144752 | 12685 16 | 4195 | 13
616.69/616.85 c 492s | 16 | 202048 | 145352 | 12685 16 | 4195 | 13
619.09/619.20 c 494s | 16 | 202646 | 145952 | 12685 16 | 4195 | 13
621.39/621.54 c 496s | 16 | 203252 | 146552 | 12685 16 | 4195 | 13
623.59/623.73 c 498s | 16 | 203774 | 147052 | 12685 17 | 4195 | 13
625.58/625.74 c 500s | 16 | 204262 | 147552 | 12685 17 | 4195 | 13
627.88/628.03 c 503s | 16 | 204862 | 148152 | 12685 17 | 4195 | 13
630.29/630.42 c 505s | 16 | 205472 | 148752 | 12685 17 | 4195 | 13
632.28/632.48 c 507s | 16 | 205982 | 149252 | 12685 17 | 4195 | 13
634.69/634.86 c 510s | 16 | 206587 | 149852 | 12685 17 | 4195 | 13
637.08/637.23 c 512s | 16 | 207204 | 150452 | 12685 17 | 4195 | 13
639.39/639.56 c 514s | 16 | 207817 | 151052 | 12685 17 | 4195 | 13
641.59/641.71 c 516s | 16 | 208321 | 151552 | 12685 17 | 4195 | 13
643.89/644.08 c 519s | 16 | 208918 | 152152 | 12685 17 | 4195 | 13
646.29/646.41 c 521s | 16 | 209547 | 152752 | 12685 17 | 4195 | 13
648.68/648.81 c 523s | 16 | 210148 | 153352 | 12685 17 | 4195 | 13
650.68/650.85 c 526s | 16 | 210648 | 153852 | 12685 17 | 4195 | 13
652.77/652.92 c 528s | 16 | 211145 | 154352 | 12685 17 | 4195 | 13
654.87/655.08 c 530s | 16 | 211662 | 154852 | 12685 17 | 4195 | 13
656.97/657.10 c 532s | 16 | 212167 | 155352 | 12685 17 | 4195 | 13
658.97/659.17 c 534s | 16 | 212670 | 155852 | 12685 17 | 4195 | 13
661.38/661.56 c 536s | 16 | 213190 | 156352 | 12685 18 | 4195 | 13
663.78/663.97 c 539s | 16 | 213782 | 156952 | 12685 18 | 4195 | 13
665.87/666.05 c 541s | 16 | 214286 | 157452 | 12685 18 | 4195 | 13
667.97/668.14 c 543s | 16 | 214801 | 157952 | 12685 18 | 4195 | 13
669.97/670.15 c 545s | 16 | 215288 | 158452 | 12685 18 | 4195 | 13
672.27/672.45 c 547s | 16 | 215506 | 158652 | 12685 18 | 4195 | 13
674.47/674.66 c 549s | 16 | 216101 | 159252 | 12685 18 | 4195 | 13
676.47/676.68 c 551s | 16 | 216628 | 159752 | 12685 18 | 4195 | 13
678.86/679.09 c 554s | 16 | 217241 | 160352 | 12685 18 | 4195 | 13
680.96/681.16 c 556s | 16 | 217757 | 160852 | 12685 18 | 4195 | 13
682.97/683.19 c 558s | 16 | 218261 | 161352 | 12685 18 | 4195 | 13
685.06/685.22 c 560s | 16 | 218762 | 161852 | 12685 18 | 4195 | 13
687.16/687.31 c 562s | 16 | 219280 | 162352 | 12685 18 | 4195 | 13
689.56/689.80 c 564s | 16 | 219894 | 162952 | 12685 18 | 4195 | 13
691.77/691.96 c 567s | 16 | 220489 | 163552 | 12685 18 | 4195 | 13
693.97/694.18 c 569s | 16 | 221088 | 164152 | 12685 18 | 4195 | 13
696.36/696.50 c 571s | 16 | 221705 | 164752 | 12685 18 | 4195 | 13
699.16/699.34 c 574s | 16 | 222309 | 165352 | 12685 19 | 4195 | 13
701.16/701.37 c 576s | 16 | 222815 | 165852 | 12685 19 | 4195 | 13
703.46/703.60 c 578s | 16 | 223419 | 166452 | 12685 19 | 4195 | 13
705.66/705.80 c 580s | 16 | 224031 | 167052 | 12685 19 | 4195 | 13
707.86/708.02 c 583s | 16 | 224650 | 167652 | 12685 19 | 4195 | 13
710.26/710.41 c 585s | 16 | 225255 | 168252 | 12685 19 | 4195 | 13
712.46/712.68 c 587s | 16 | 225855 | 168852 | 12685 19 | 4195 | 13
714.86/715.06 c 590s | 16 | 226468 | 169452 | 12685 19 | 4195 | 13
716.95/717.11 c 592s | 16 | 226962 | 169952 | 12685 19 | 4195 | 13
719.26/719.47 c 594s | 16 | 227577 | 170552 | 12685 19 | 4195 | 13
721.66/721.88 c 597s | 16 | 228182 | 171152 | 12685 19 | 4195 | 13
723.67/723.90 c 599s | 16 | 228700 | 171652 | 12685 19 | 4195 | 13
725.76/725.90 c 601s | 16 | 229191 | 172152 | 12685 19 | 4195 | 13
727.75/727.93 c 603s | 16 | 229710 | 172652 | 12685 19 | 4195 | 13
729.75/729.95 c 605s | 16 | 230210 | 173152 | 12685 19 | 4195 | 13
731.85/732.07 c 607s | 16 | 230721 | 173652 | 12685 19 | 4195 | 13
734.05/734.26 c 609s | 16 | 231233 | 174152 | 12685 19 | 4195 | 13
736.55/736.76 c 611s | 16 | 231745 | 174652 | 12685 20 | 4195 | 13
739.06/739.29 c 614s | 16 | 232162 | 175052 | 12685 20 | 4195 | 13
741.36/741.55 c 616s | 16 | 232758 | 175652 | 12685 20 | 4195 | 13
743.66/743.85 c 619s | 16 | 233361 | 176252 | 12685 20 | 4195 | 13
745.95/746.11 c 621s | 16 | 233984 | 176852 | 12685 20 | 4195 | 13
748.25/748.47 c 623s | 16 | 234601 | 177452 | 12685 20 | 4195 | 13
750.55/750.72 c 625s | 16 | 235205 | 178052 | 12685 20 | 4195 | 13
752.85/753.07 c 628s | 16 | 235820 | 178652 | 12685 20 | 4195 | 13
754.85/755.09 c 630s | 16 | 236331 | 179152 | 12685 20 | 4195 | 13
757.25/757.43 c 632s | 16 | 236939 | 179752 | 12685 20 | 4195 | 13
759.45/759.66 c 634s | 16 | 237555 | 180352 | 12685 20 | 4195 | 13
761.75/761.96 c 637s | 16 | 238173 | 180952 | 12685 20 | 4195 | 13
763.75/763.97 c 639s | 16 | 238686 | 181452 | 12685 20 | 4195 | 13
766.05/766.28 c 641s | 16 | 239295 | 182052 | 12685 20 | 4195 | 13
768.45/768.66 c 643s | 16 | 239915 | 182652 | 12685 20 | 4195 | 13
770.45/770.68 c 645s | 16 | 240420 | 183152 | 12685 20 | 4195 | 13
772.45/772.69 c 647s | 16 | 240941 | 183652 | 12685 20 | 4195 | 13
774.84/775.05 c 650s | 16 | 241450 | 184152 | 12685 21 | 4195 | 13
777.14/777.34 c 652s | 16 | 242062 | 184752 | 12685 21 | 4195 | 13
779.44/779.67 c 654s | 16 | 242666 | 185352 | 12685 21 | 4195 | 13
782.34/782.51 c 657s | 16 | 243276 | 185952 | 12685 21 | 4195 | 13
784.34/784.53 c 659s | 16 | 243784 | 186452 | 12685 21 | 4195 | 13
786.34/786.55 c 661s | 16 | 244286 | 186952 | 12685 21 | 4195 | 13
788.43/788.62 c 663s | 16 | 244796 | 187452 | 12685 21 | 4195 | 13
790.63/790.86 c 666s | 16 | 245401 | 188052 | 12685 21 | 4195 | 13
793.04/793.25 c 668s | 16 | 246010 | 188652 | 12685 21 | 4195 | 13
795.14/795.32 c 670s | 16 | 246539 | 189152 | 12685 21 | 4195 | 13
797.23/797.43 c 672s | 16 | 247041 | 189652 | 12685 21 | 4195 | 13
799.33/799.57 c 674s | 16 | 247547 | 190152 | 12685 21 | 4195 | 13
801.53/801.71 c 676s | 16 | 248061 | 190652 | 12685 21 | 4195 | 13
803.53/803.78 c 678s | 16 | 248563 | 191152 | 12685 21 | 4195 | 13
805.83/806.07 c 681s | 16 | 249088 | 191652 | 12685 21 | 4195 | 13
808.02/808.21 c 683s | 16 | 249609 | 192152 | 12685 21 | 4195 | 13
810.22/810.46 c 685s | 16 | 250144 | 192652 | 12685 21 | 4195 | 13
812.42/812.65 c 687s | 16 | 250649 | 193152 | 12685 21 | 4195 | 13
814.52/814.73 c 689s | 16 | 251068 | 193552 | 12685 22 | 4195 | 13
816.52/816.76 c 691s | 16 | 251582 | 194052 | 12685 22 | 4195 | 13
818.82/819.02 c 694s | 16 | 252092 | 194552 | 12685 22 | 4195 | 13
821.12/821.33 c 696s | 16 | 252723 | 195152 | 12685 22 | 4195 | 13
823.42/823.60 c 698s | 16 | 253331 | 195752 | 12685 22 | 4195 | 13
825.72/825.95 c 701s | 16 | 253948 | 196352 | 13954 22 | 4195 | 13
827.82/828.06 c 703s | 16 | 254462 | 196852 | 13954 22 | 4195 | 13
829.91/830.12 c 705s | 16 | 254963 | 197352 | 13954 22 | 4195 | 13
830.21/830.43 c 705s | 17 | 255046 | 197432 | 13954 22 | 4195 | 13
836.62/836.85 c 712s | 17 | 256985 | 197932 | 13954 22 | 4195 | 13
838.81/839.09 c 714s | 17 | 257593 | 198532 | 13954 22 | 4195 | 13
841.21/841.44 c 716s | 17 | 258199 | 199132 | 13954 22 | 4195 | 13
843.52/843.72 c 718s | 17 | 258803 | 199732 | 13954 22 | 4195 | 13
845.61/845.87 c 721s | 17 | 259319 | 200232 | 13954 22 | 4195 | 13
848.02/848.25 c 723s | 17 | 259928 | 200832 | 13954 22 | 4195 | 13
850.31/850.58 c 725s | 17 | 260529 | 201432 | 13954 22 | 4195 | 13
852.71/852.94 c 728s | 17 | 261145 | 202032 | 13954 22 | 4195 | 13
854.71/854.95 c 730s | 17 | 261657 | 202532 | 13954 22 | 4195 | 13
856.81/857.06 c 732s | 17 | 262166 | 203032 | 13954 22 | 4195 | 13
859.01/859.22 c 734s | 17 | 262688 | 203532 | 13954 22 | 4195 | 13
861.00/861.24 c 736s | 17 | 263088 | 203932 | 13954 23 | 4195 | 13
863.30/863.51 c 738s | 17 | 263600 | 204432 | 13954 23 | 4195 | 13
865.50/865.80 c 740s | 17 | 264201 | 205032 | 13954 23 | 4195 | 13
867.80/868.04 c 743s | 17 | 264511 | 205332 | 13954 23 | 4195 | 13
870.09/870.37 c 745s | 17 | 265120 | 205932 | 13954 23 | 4195 | 13
872.39/872.66 c 747s | 17 | 265731 | 206532 | 13954 23 | 4195 | 13
874.40/874.68 c 749s | 17 | 266251 | 207032 | 13954 23 | 4195 | 13
876.69/876.97 c 752s | 17 | 266855 | 207632 | 13954 23 | 4195 | 13
878.69/878.99 c 754s | 17 | 267364 | 208132 | 13954 23 | 4195 | 13
880.79/881.02 c 756s | 17 | 267867 | 208632 | 13954 23 | 4195 | 13
882.79/883.02 c 758s | 17 | 268385 | 209132 | 13954 23 | 4195 | 13
884.79/885.08 c 760s | 17 | 268889 | 209632 | 13954 23 | 4195 | 13
886.79/887.09 c 762s | 17 | 269399 | 210132 | 13954 23 | 4195 | 13
888.99/889.23 c 764s | 17 | 269917 | 210632 | 13954 23 | 4195 | 13
891.09/891.38 c 766s | 17 | 270423 | 211132 | 13954 23 | 4195 | 13
893.49/893.74 c 768s | 17 | 270936 | 211632 | 13954 23 | 4195 | 13
895.68/895.95 c 771s | 17 | 271447 | 212132 | 13954 23 | 4195 | 13
897.88/898.11 c 773s | 17 | 271949 | 212632 | 13954 23 | 4195 | 13
900.09/900.33 c 775s | 17 | 272463 | 213132 | 13954 23 | 4195 | 13
902.39/902.62 c 777s | 17 | 272976 | 213632 | 13954 23 | 4195 | 13
904.48/904.79 c 779s | 17 | 273393 | 214032 | 13954 24 | 4195 | 13
906.58/906.80 c 781s | 17 | 273909 | 214532 | 13954 24 | 4195 | 13
908.68/908.95 c 784s | 17 | 274216 | 214832 | 13954 24 | 4195 | 13
911.08/911.31 c 786s | 17 | 274824 | 215432 | 13954 24 | 4195 | 13
913.08/913.35 c 788s | 17 | 275330 | 215932 | 13954 24 | 4195 | 13
915.08/915.38 c 790s | 17 | 275850 | 216432 | 13954 24 | 4195 | 13
917.28/917.53 c 792s | 17 | 276358 | 216932 | 13954 24 | 4195 | 13
919.39/919.62 c 794s | 17 | 276861 | 217432 | 13954 24 | 4195 | 13
921.48/921.75 c 796s | 17 | 277381 | 217932 | 13954 24 | 4195 | 13
923.79/924.02 c 799s | 17 | 277898 | 218432 | 13954 24 | 4195 | 13
925.88/926.19 c 801s | 17 | 278395 | 218932 | 13954 24 | 4195 | 13
927.98/928.26 c 803s | 17 | 278911 | 219432 | 13954 24 | 4195 | 13
930.07/930.30 c 805s | 17 | 279426 | 219932 | 13954 24 | 4195 | 13
932.07/932.36 c 807s | 17 | 279924 | 220432 | 13954 24 | 4195 | 13
934.18/934.41 c 809s | 17 | 280429 | 220932 | 13954 24 | 4195 | 13
936.38/936.66 c 811s | 17 | 280948 | 221432 | 13954 24 | 4195 | 13
938.48/938.78 c 813s | 17 | 281460 | 221932 | 13954 24 | 4195 | 13
940.68/940.98 c 816s | 17 | 281970 | 222432 | 13954 24 | 4195 | 13
942.77/943.09 c 818s | 17 | 282480 | 222932 | 13954 24 | 4195 | 13
944.97/945.20 c 820s | 17 | 283002 | 223432 | 13954 24 | 4195 | 13
947.57/947.83 c 822s | 17 | 283505 | 223932 | 13954 25 | 4195 | 13
949.88/950.19 c 825s | 17 | 284123 | 224532 | 13954 25 | 4195 | 13
951.88/952.20 c 827s | 17 | 284639 | 225032 | 13954 25 | 4195 | 13
954.28/954.50 c 829s | 17 | 285240 | 225632 | 13954 25 | 4195 | 13
956.78/957.09 c 832s | 17 | 285846 | 226232 | 13954 25 | 4195 | 13
958.87/959.12 c 834s | 17 | 286359 | 226732 | 13954 25 | 4195 | 13
960.87/961.13 c 836s | 17 | 286860 | 227232 | 13954 25 | 4195 | 13
962.97/963.21 c 838s | 17 | 287376 | 227732 | 13954 25 | 4195 | 13
965.07/965.34 c 840s | 17 | 287907 | 228232 | 13954 25 | 4195 | 13
967.38/967.66 c 842s | 17 | 288510 | 228832 | 13954 25 | 4195 | 13
969.47/969.71 c 844s | 17 | 289027 | 229332 | 13954 25 | 4195 | 13
971.47/971.79 c 846s | 17 | 289520 | 229832 | 13954 25 | 4195 | 13
973.57/973.84 c 848s | 17 | 290023 | 230332 | 13954 25 | 4195 | 13
975.77/976.06 c 851s | 17 | 290537 | 230832 | 13954 25 | 4195 | 13
977.97/978.23 c 853s | 17 | 291044 | 231332 | 13954 25 | 4195 | 13
980.37/980.61 c 855s | 17 | 291552 | 231832 | 13954 25 | 4195 | 13
982.67/982.97 c 858s | 17 | 292051 | 232332 | 13954 25 | 4195 | 13
984.97/985.22 c 860s | 17 | 292568 | 232832 | 13954 25 | 4195 | 13
987.27/987.54 c 862s | 17 | 293076 | 233332 | 13954 25 | 4195 | 13
989.66/989.95 c 865s | 17 | 293577 | 233832 | 13954 25 | 4195 | 13
991.76/992.08 c 867s | 17 | 293991 | 234232 | 13954 26 | 4195 | 13
994.06/994.32 c 869s | 17 | 294507 | 234732 | 13954 26 | 4195 | 13
996.25/996.53 c 871s | 17 | 295103 | 235332 | 13954 26 | 4195 | 13
998.26/998.55 c 873s | 17 | 295620 | 235832 | 13954 26 | 4195 | 13
1000.36/1000.68 c 875s | 17 | 296126 | 236332 | 13954 26 | 4195 | 13
1002.56/1002.88 c 878s | 17 | 296635 | 236832 | 13954 26 | 4195 | 13
1004.66/1004.99 c 880s | 17 | 297149 | 237332 | 13954 26 | 4195 | 13
1006.86/1007.11 c 882s | 17 | 297660 | 237832 | 13954 26 | 4195 | 13
1009.05/1009.30 c 884s | 17 | 298161 | 238332 | 13954 26 | 4195 | 13
1011.15/1011.46 c 886s | 17 | 298682 | 238832 | 13954 26 | 4195 | 13
1013.35/1013.67 c 888s | 17 | 299202 | 239332 | 13954 26 | 4195 | 13
1015.75/1016.07 c 891s | 17 | 299730 | 239832 | 13954 26 | 4195 | 13
1017.95/1018.24 c 893s | 17 | 300246 | 240332 | 13954 26 | 4195 | 13
1020.15/1020.49 c 895s | 17 | 300743 | 240832 | 13954 26 | 4195 | 13
1022.45/1022.79 c 897s | 17 | 301255 | 241332 | 13954 26 | 4195 | 13
1024.74/1025.04 c 900s | 17 | 301762 | 241832 | 13954 26 | 4195 | 13
1027.04/1027.37 c 902s | 17 | 302274 | 242332 | 13954 26 | 4195 | 13
1029.46/1029.74 c 904s | 17 | 302786 | 242832 | 13954 26 | 4195 | 13
1031.75/1032.05 c 907s | 17 | 303307 | 243332 | 13954 26 | 4195 | 13
1034.15/1034.40 c 909s | 17 | 303821 | 243832 | 13954 26 | 4195 | 13
1036.45/1036.79 c 911s | 17 | 304325 | 244332 | 13954 27 | 4195 | 13
1038.65/1038.92 c 914s | 17 | 304828 | 244832 | 13954 27 | 4195 | 13
1040.64/1040.96 c 916s | 17 | 305237 | 245232 | 13954 27 | 4195 | 13
1042.84/1043.12 c 918s | 17 | 305748 | 245732 | 13954 27 | 4195 | 13
1044.85/1045.15 c 920s | 17 | 306262 | 246232 | 13954 27 | 4195 | 13
1046.95/1047.30 c 922s | 17 | 306779 | 246732 | 13954 27 | 4195 | 13
1049.15/1049.45 c 924s | 17 | 307285 | 247232 | 13954 27 | 4195 | 13
1051.45/1051.71 c 926s | 17 | 307798 | 247732 | 13954 27 | 4195 | 13
1053.64/1053.92 c 929s | 17 | 308299 | 248232 | 13954 27 | 4195 | 13
1055.85/1056.14 c 931s | 17 | 308806 | 248732 | 13954 27 | 4195 | 13
1060.44/1060.78 c 935s | 17 | 309215 | 249132 | 13954 27 | 4195 | 13
1062.44/1062.80 c 937s | 17 | 309417 | 249332 | 13954 27 | 4195 | 13
1064.84/1065.17 c 940s | 17 | 310022 | 249932 | 13954 27 | 4195 | 13
1067.23/1067.54 c 942s | 17 | 310632 | 250532 | 13954 27 | 4195 | 13
1069.34/1069.65 c 944s | 17 | 311150 | 251032 | 13954 27 | 4195 | 13
1071.54/1071.85 c 947s | 17 | 311662 | 251532 | 13954 27 | 4195 | 13
1073.64/1073.93 c 949s | 17 | 312171 | 252032 | 13954 27 | 4195 | 13
1076.04/1076.33 c 951s | 17 | 312772 | 252632 | 13954 27 | 4195 | 13
1078.14/1078.43 c 953s | 17 | 313291 | 253132 | 13954 27 | 4195 | 13
1080.24/1080.51 c 955s | 17 | 313790 | 253632 | 13954 27 | 4195 | 13
1082.54/1082.81 c 957s | 17 | 314218 | 254032 | 13954 28 | 4195 | 13
1084.54/1084.83 c 959s | 17 | 314713 | 254532 | 13954 28 | 4195 | 13
1086.83/1087.13 c 962s | 17 | 315318 | 255132 | 13954 28 | 4195 | 13
1088.84/1089.15 c 964s | 17 | 315842 | 255632 | 13954 28 | 4195 | 13
1090.83/1091.15 c 966s | 17 | 316364 | 256132 | 13954 28 | 4195 | 13
1092.93/1093.20 c 968s | 17 | 316872 | 256632 | 13954 28 | 4195 | 13
1094.93/1095.25 c 970s | 17 | 317380 | 257132 | 13954 28 | 4195 | 13
1097.04/1097.38 c 972s | 17 | 317914 | 257632 | 13954 28 | 4195 | 13
1099.14/1099.45 c 974s | 17 | 318412 | 258132 | 13954 28 | 4195 | 13
1101.33/1101.61 c 976s | 17 | 318934 | 258632 | 13954 28 | 4195 | 13
1103.43/1103.75 c 978s | 17 | 319427 | 259132 | 13954 28 | 4195 | 13
1105.63/1105.97 c 981s | 17 | 319958 | 259632 | 13954 28 | 4195 | 13
1107.83/1108.11 c 983s | 17 | 320457 | 260132 | 13954 28 | 4195 | 13
1109.93/1110.27 c 985s | 17 | 320964 | 260632 | 13954 28 | 4195 | 13
1112.03/1112.39 c 987s | 17 | 321481 | 261132 | 13954 28 | 4195 | 13
1114.33/1114.67 c 989s | 17 | 321983 | 261632 | 13954 28 | 4195 | 13
1116.73/1117.05 c 992s | 17 | 322486 | 262132 | 13954 28 | 4195 | 13
1118.94/1119.28 c 994s | 17 | 322989 | 262632 | 13954 28 | 4195 | 13
1121.23/1121.56 c 996s | 17 | 323488 | 263132 | 13954 28 | 4195 | 13
1123.63/1123.92 c 999s | 17 | 323999 | 263632 | 13954 28 | 4195 | 13
1125.83/1126.19 c 1001s | 17 | 324405 | 264032 | 13954 29 | 4195 | 13
1127.93/1128.25 c 1003s | 17 | 324910 | 264532 | 13954 29 | 4195 | 13
1130.03/1130.37 c 1005s | 17 | 325416 | 265032 | 13954 29 | 4195 | 13
1133.33/1133.60 c 1008s | 17 | 325832 | 265432 | 13954 29 | 4195 | 13
1135.43/1135.77 c 1010s | 17 | 326433 | 266032 | 13954 29 | 4195 | 13
1137.73/1138.03 c 1013s | 17 | 327040 | 266632 | 13954 29 | 4195 | 13
1139.93/1140.26 c 1015s | 17 | 327656 | 267232 | 13954 29 | 4195 | 13
1142.23/1142.54 c 1017s | 17 | 328262 | 267832 | 13954 29 | 4195 | 13
1144.53/1144.80 c 1019s | 17 | 328869 | 268432 | 13954 29 | 4195 | 13
1146.83/1147.10 c 1022s | 17 | 329490 | 269032 | 13954 29 | 4195 | 13
1149.02/1149.38 c 1024s | 17 | 330108 | 269632 | 13954 29 | 4195 | 13
1151.12/1151.45 c 1026s | 17 | 330627 | 270132 | 13954 29 | 4195 | 13
1153.42/1153.79 c 1028s | 17 | 331239 | 270732 | 13954 29 | 4195 | 13
1155.62/1155.95 c 1031s | 17 | 331751 | 271232 | 13954 29 | 4195 | 13
1157.83/1158.11 c 1033s | 17 | 332257 | 271732 | 13954 29 | 4195 | 13
1160.02/1160.33 c 1035s | 17 | 332769 | 272232 | 13954 29 | 4195 | 13
1162.32/1162.66 c 1037s | 17 | 333281 | 272732 | 13954 29 | 4195 | 13
1164.62/1164.95 c 1040s | 17 | 333784 | 273232 | 13954 29 | 4195 | 13
1167.01/1167.35 c 1042s | 17 | 334298 | 273732 | 13954 29 | 4195 | 13
1169.21/1169.54 c 1044s | 17 | 334710 | 274132 | 13954 30 | 4195 | 13
1171.31/1171.66 c 1046s | 17 | 335217 | 274632 | 13954 30 | 4195 | 13
1173.52/1173.89 c 1049s | 17 | 335726 | 275132 | 13954 30 | 4195 | 13
1175.51/1175.90 c 1051s | 17 | 336236 | 275632 | 13954 30 | 4195 | 13
1177.61/1177.93 c 1053s | 17 | 336743 | 276132 | 13954 30 | 4195 | 13
1179.61/1179.96 c 1055s | 17 | 337256 | 276632 | 13954 30 | 4195 | 13
1182.01/1182.35 c 1057s | 17 | 337844 | 277232 | 13954 30 | 4195 | 13
1184.41/1184.71 c 1059s | 17 | 338455 | 277832 | 13954 30 | 4195 | 13
1186.80/1187.12 c 1062s | 17 | 339057 | 278432 | 13954 30 | 4195 | 13
1188.81/1189.17 c 1064s | 17 | 339567 | 278932 | 13954 30 | 4195 | 13
1190.90/1191.25 c 1066s | 17 | 340076 | 279432 | 13954 30 | 4195 | 13
1193.00/1193.39 c 1068s | 17 | 340576 | 279932 | 13954 30 | 4195 | 13
1195.20/1195.57 c 1070s | 17 | 341088 | 280432 | 13954 30 | 4195 | 13
1197.49/1197.84 c 1072s | 17 | 341604 | 280932 | 13954 30 | 4195 | 13
1199.70/1200.03 c 1075s | 17 | 342115 | 281432 | 13954 30 | 4195 | 13
1202.00/1202.32 c 1077s | 17 | 342636 | 281932 | 13954 30 | 4195 | 13
1204.20/1204.58 c 1079s | 17 | 343139 | 282432 | 13954 30 | 4195 | 13
1206.59/1206.92 c 1082s | 17 | 343648 | 282932 | 13954 30 | 4195 | 13
1208.69/1209.07 c 1084s | 17 | 344165 | 283432 | 13954 30 | 4195 | 13
1210.99/1211.32 c 1086s | 17 | 344577 | 283832 | 13954 31 | 4195 | 13
1213.18/1213.54 c 1088s | 17 | 345088 | 284332 | 13954 31 | 4195 | 13
1215.48/1215.80 c 1090s | 17 | 345502 | 284732 | 13954 31 | 4195 | 13
1217.49/1217.87 c 1093s | 17 | 346013 | 285232 | 13954 31 | 4195 | 13
1219.59/1219.90 c 1095s | 17 | 346521 | 285732 | 13954 31 | 4195 | 13
1221.69/1222.00 c 1097s | 17 | 347031 | 286232 | 13954 31 | 4195 | 13
1223.78/1224.12 c 1099s | 17 | 347534 | 286732 | 13954 31 | 4195 | 13
1225.78/1226.19 c 1101s | 17 | 348044 | 287232 | 13954 31 | 4195 | 13
1227.98/1228.32 c 1103s | 17 | 348537 | 287732 | 13954 31 | 4195 | 13
1230.08/1230.48 c 1105s | 17 | 349052 | 288232 | 13954 31 | 4195 | 13
1232.27/1232.66 c 1107s | 17 | 349568 | 288732 | 13954 31 | 4195 | 13
1234.57/1234.91 c 1110s | 17 | 350082 | 289232 | 13954 31 | 4195 | 13
1236.78/1237.10 c 1112s | 17 | 350585 | 289732 | 13954 31 | 4195 | 13
1238.97/1239.39 c 1114s | 17 | 351111 | 290232 | 13954 31 | 4195 | 13
1241.37/1241.75 c 1116s | 17 | 351618 | 290732 | 13954 31 | 4195 | 13
1243.67/1244.02 c 1119s | 17 | 352122 | 291232 | 13954 31 | 4195 | 13
1245.97/1246.33 c 1121s | 17 | 352641 | 291732 | 13954 31 | 4195 | 13
1248.28/1248.63 c 1123s | 17 | 353136 | 292232 | 13954 31 | 4195 | 13
1250.57/1250.98 c 1126s | 17 | 353643 | 292732 | 13954 31 | 4195 | 13
1252.87/1253.24 c 1128s | 17 | 354152 | 293232 | 13954 31 | 4195 | 13
1255.27/1255.61 c 1130s | 17 | 354668 | 293732 | 13954 31 | 4195 | 13
1257.27/1257.64 c 1132s | 17 | 354969 | 294032 | 13954 32 | 4195 | 13
1259.66/1260.01 c 1135s | 17 | 355577 | 294632 | 15350 32 | 4195 | 13
1262.06/1262.40 c 1137s | 17 | 356180 | 295232 | 15350 32 | 4195 | 13
1264.25/1264.64 c 1139s | 17 | 356687 | 295732 | 15350 32 | 4195 | 13
1266.25/1266.61 c 1141s | 18 | 357232 | 296252 | 15350 32 | 4195 | 13
1268.55/1268.98 c 1144s | 18 | 359155 | 296752 | 15350 32 | 4195 | 13
1270.76/1271.10 c 1146s | 18 | 359677 | 297252 | 15350 32 | 4195 | 13
1272.85/1273.21 c 1148s | 18 | 360178 | 297752 | 15350 32 | 4195 | 13
1274.95/1275.38 c 1150s | 18 | 360691 | 298252 | 15350 32 | 4195 | 13
1277.25/1277.65 c 1152s | 18 | 361207 | 298752 | 15350 32 | 4195 | 13
1279.45/1279.84 c 1154s | 18 | 361722 | 299252 | 15350 32 | 4195 | 13
1281.64/1282.01 c 1157s | 18 | 362236 | 299752 | 15350 32 | 4195 | 13
1283.84/1284.24 c 1159s | 18 | 362747 | 300252 | 15350 32 | 4195 | 13
1286.05/1286.44 c 1161s | 18 | 363261 | 300752 | 15350 32 | 4195 | 13
1288.35/1288.78 c 1163s | 18 | 363765 | 301252 | 15350 32 | 4195 | 13
1290.74/1291.11 c 1166s | 18 | 364274 | 301752 | 15350 32 | 4195 | 13
1293.04/1293.41 c 1168s | 18 | 364812 | 302252 | 15350 32 | 4195 | 13
1295.34/1295.77 c 1170s | 18 | 365328 | 302752 | 15350 32 | 4195 | 13
1297.34/1297.79 c 1172s | 18 | 365740 | 303152 | 15350 32 | 4195 | 13
1299.74/1300.17 c 1175s | 18 | 366252 | 303652 | 15350 32 | 4195 | 13
1302.14/1302.53 c 1177s | 18 | 366769 | 304152 | 15350 32 | 4195 | 13
1304.53/1304.90 c 1180s | 18 | 367319 | 304652 | 15350 32 | 4195 | 13
1306.83/1307.27 c 1182s | 18 | 367864 | 305152 | 15350 32 | 4195 | 13
1308.83/1309.27 c 1184s | 18 | 368194 | 305452 | 15350 33 | 4195 | 13
1311.13/1311.56 c 1186s | 18 | 368717 | 305952 | 15350 33 | 4195 | 13
1313.33/1313.78 c 1188s | 18 | 369241 | 306452 | 15350 33 | 4195 | 13
1315.53/1315.98 c 1191s | 18 | 369738 | 306952 | 15350 33 | 4195 | 13
1317.73/1318.16 c 1193s | 18 | 370257 | 307452 | 15350 33 | 4195 | 13
1319.92/1320.38 c 1195s | 18 | 370770 | 307952 | 15350 33 | 4195 | 13
1322.22/1322.66 c 1197s | 18 | 371276 | 308452 | 15350 33 | 4195 | 13
1326.12/1326.52 c 1201s | 18 | 371835 | 308952 | 15350 33 | 4195 | 13
1328.44/1328.80 c 1203s | 18 | 372447 | 309552 | 15350 33 | 4195 | 13
1330.73/1331.19 c 1206s | 18 | 373054 | 310152 | 15350 33 | 4195 | 13
1333.22/1333.60 c 1208s | 18 | 373669 | 310752 | 15350 33 | 4195 | 13
1335.42/1335.84 c 1210s | 18 | 374176 | 311252 | 15350 33 | 4195 | 13
1337.62/1338.07 c 1213s | 18 | 374685 | 311752 | 15350 33 | 4195 | 13
1339.92/1340.32 c 1215s | 18 | 375187 | 312252 | 15350 33 | 4195 | 13
1342.02/1342.47 c 1217s | 18 | 375710 | 312752 | 15350 33 | 4195 | 13
1344.21/1344.68 c 1219s | 18 | 376214 | 313252 | 15350 33 | 4195 | 13
1346.51/1346.99 c 1222s | 18 | 376711 | 313752 | 15350 33 | 4195 | 13
1349.51/1349.94 c 1225s | 18 | 377227 | 314252 | 15350 33 | 4195 | 13
1351.81/1352.20 c 1227s | 18 | 377738 | 314752 | 15350 33 | 4195 | 13
1354.01/1354.44 c 1229s | 18 | 378259 | 315252 | 15350 33 | 4195 | 13
1356.31/1356.75 c 1231s | 18 | 378670 | 315652 | 15350 33 | 4195 | 13
1358.81/1359.21 c 1234s | 18 | 379076 | 316052 | 15350 34 | 4195 | 13
1360.91/1361.36 c 1236s | 18 | 379580 | 316552 | 15350 34 | 4195 | 13
1363.02/1363.47 c 1238s | 18 | 380092 | 317052 | 15350 34 | 4195 | 13
1365.22/1365.64 c 1240s | 18 | 380594 | 317552 | 15350 34 | 4195 | 13
1367.41/1367.88 c 1243s | 18 | 381100 | 318052 | 15350 34 | 4195 | 13
1369.61/1370.07 c 1245s | 18 | 381612 | 318552 | 15350 34 | 4195 | 13
1371.61/1372.08 c 1247s | 18 | 382014 | 318952 | 15350 34 | 4195 | 13
1373.81/1374.22 c 1249s | 18 | 382522 | 319452 | 15350 34 | 4195 | 13
1375.91/1376.37 c 1251s | 18 | 382925 | 319852 | 15350 34 | 4195 | 13
1378.11/1378.56 c 1253s | 18 | 383438 | 320352 | 15350 34 | 4195 | 13
1380.40/1380.83 c 1255s | 18 | 383942 | 320852 | 15350 34 | 4195 | 13
1382.80/1383.26 c 1258s | 18 | 384459 | 321352 | 15350 34 | 4195 | 13
1385.01/1385.49 c 1260s | 18 | 384962 | 321852 | 15350 34 | 4195 | 13
1387.41/1387.85 c 1263s | 18 | 385476 | 322352 | 15350 34 | 4195 | 13
1389.70/1390.15 c 1265s | 18 | 385990 | 322852 | 15350 34 | 4195 | 13
1391.70/1392.17 c 1267s | 18 | 386289 | 323152 | 15350 34 | 4195 | 13
1394.00/1394.42 c 1269s | 18 | 386799 | 323652 | 15350 34 | 4195 | 13
1396.20/1396.66 c 1271s | 18 | 387314 | 324152 | 15350 34 | 4195 | 13
1398.40/1398.89 c 1274s | 18 | 387827 | 324652 | 15350 34 | 4195 | 13
1400.70/1401.17 c 1276s | 18 | 388333 | 325152 | 15350 34 | 4195 | 13
1402.99/1403.43 c 1278s | 18 | 388852 | 325652 | 15350 34 | 4195 | 13
1405.40/1405.82 c 1280s | 18 | 389363 | 326152 | 15350 34 | 4195 | 13
1407.79/1408.28 c 1283s | 18 | 389770 | 326552 | 15350 35 | 4195 | 13
1410.20/1410.62 c 1285s | 18 | 390287 | 327052 | 15350 35 | 4195 | 13
1412.30/1412.72 c 1287s | 18 | 390797 | 327552 | 15350 35 | 4195 | 13
1414.30/1414.78 c 1289s | 18 | 391318 | 328052 | 15350 35 | 4195 | 13
1416.89/1417.30 c 1292s | 18 | 391721 | 328452 | 15350 35 | 4195 | 13
1418.99/1419.46 c 1294s | 18 | 392223 | 328952 | 15350 35 | 4195 | 13
1421.19/1421.61 c 1296s | 18 | 392725 | 329452 | 15350 35 | 4195 | 13
1423.29/1423.72 c 1298s | 18 | 393235 | 329952 | 15350 35 | 4195 | 13
1425.39/1425.82 c 1300s | 18 | 393749 | 330452 | 15350 35 | 4195 | 13
1427.50/1427.98 c 1303s | 18 | 394255 | 330952 | 15350 35 | 4195 | 13
1429.79/1430.24 c 1305s | 18 | 394771 | 331452 | 15350 35 | 4195 | 13
1431.99/1432.44 c 1307s | 18 | 395274 | 331952 | 15350 35 | 4195 | 13
1434.19/1434.67 c 1309s | 18 | 395788 | 332452 | 15350 35 | 4195 | 13
1436.38/1436.85 c 1312s | 18 | 396292 | 332952 | 15350 35 | 4195 | 13
1438.39/1438.86 c 1314s | 18 | 396691 | 333352 | 15350 35 | 4195 | 13
1440.69/1441.14 c 1316s | 18 | 397193 | 333852 | 15350 35 | 4195 | 13
1442.79/1443.29 c 1318s | 18 | 397709 | 334352 | 15350 35 | 4195 | 13
1445.28/1445.73 c 1320s | 18 | 398214 | 334852 | 15350 35 | 4195 | 13
1447.58/1448.05 c 1323s | 18 | 398725 | 335352 | 15350 35 | 4195 | 13
1449.98/1450.40 c 1325s | 18 | 399250 | 335852 | 15350 35 | 4195 | 13
1452.29/1452.74 c 1327s | 18 | 399749 | 336352 | 15350 35 | 4195 | 13
1454.59/1455.01 c 1330s | 18 | 400245 | 336852 | 15350 35 | 4195 | 13
1456.79/1457.29 c 1332s | 18 | 400645 | 337252 | 15350 36 | 4195 | 13
1458.98/1459.45 c 1334s | 18 | 401151 | 337752 | 15350 36 | 4195 | 13
1461.28/1461.75 c 1336s | 18 | 401656 | 338252 | 15350 36 | 4195 | 13
1463.28/1463.75 c 1338s | 18 | 402065 | 338652 | 15350 36 | 4195 | 13
1465.39/1465.89 c 1341s | 18 | 402583 | 339152 | 15350 36 | 4195 | 13
1467.69/1468.10 c 1343s | 18 | 403092 | 339652 | 15350 36 | 4195 | 13
1469.89/1470.32 c 1345s | 18 | 403622 | 340152 | 15350 36 | 4195 | 13
1472.29/1472.70 c 1347s | 18 | 404110 | 340652 | 15350 36 | 4195 | 13
1474.49/1474.97 c 1350s | 18 | 404621 | 341152 | 15350 36 | 4195 | 13
1476.99/1477.41 c 1352s | 18 | 405132 | 341652 | 15350 36 | 4195 | 13
1479.28/1479.70 c 1354s | 18 | 405641 | 342152 | 15350 36 | 4195 | 13
1481.49/1481.95 c 1357s | 18 | 406143 | 342652 | 15350 36 | 4195 | 13
1483.88/1484.33 c 1359s | 18 | 406663 | 343152 | 15350 36 | 4195 | 13
1486.28/1486.73 c 1361s | 18 | 407165 | 343652 | 15350 36 | 4195 | 13
1488.78/1489.21 c 1364s | 18 | 407684 | 344152 | 15350 36 | 4195 | 13
1490.78/1491.24 c 1366s | 18 | 408075 | 344552 | 15350 36 | 4195 | 13
1493.18/1493.65 c 1368s | 18 | 408504 | 344952 | 15350 36 | 4195 | 13
1495.58/1496.10 c 1371s | 18 | 408994 | 345452 | 15350 36 | 4195 | 13
1497.98/1498.48 c 1373s | 18 | 409392 | 345852 | 15350 36 | 4195 | 13
1500.08/1500.53 c 1375s | 18 | 409807 | 346252 | 15350 36 | 4195 | 13
1502.38/1502.83 c 1377s | 18 | 410339 | 346752 | 15350 36 | 4195 | 13
1504.39/1504.83 c 1379s | 18 | 410730 | 347152 | 15350 36 | 4195 | 13
1506.38/1506.85 c 1382s | 18 | 411144 | 347552 | 15350 36 | 4195 | 13
1508.79/1509.29 c 1384s | 18 | 411544 | 347952 | 15350 37 | 4195 | 13
1510.99/1511.49 c 1386s | 18 | 412051 | 348452 | 15350 37 | 4195 | 13
1512.98/1513.49 c 1388s | 18 | 412563 | 348952 | 15350 37 | 4195 | 13
1515.18/1515.64 c 1390s | 18 | 413075 | 349452 | 15350 37 | 4195 | 13
1517.28/1517.78 c 1392s | 18 | 413592 | 349952 | 15350 37 | 4195 | 13
1519.48/1519.92 c 1395s | 18 | 414105 | 350452 | 15350 37 | 4195 | 13
1521.68/1522.19 c 1397s | 18 | 414613 | 350952 | 15350 37 | 4195 | 13
1523.98/1524.44 c 1399s | 18 | 415133 | 351452 | 15350 37 | 4195 | 13
1526.28/1526.76 c 1401s | 18 | 415634 | 351952 | 15350 37 | 4195 | 13
1528.68/1529.11 c 1404s | 18 | 416141 | 352452 | 15350 37 | 4195 | 13
1530.97/1531.44 c 1406s | 18 | 416644 | 352952 | 15350 37 | 4195 | 13
1532.98/1533.44 c 1408s | 18 | 417069 | 353352 | 15350 37 | 4195 | 13
1535.18/1535.61 c 1410s | 18 | 417575 | 353852 | 15350 37 | 4195 | 13
1537.38/1537.86 c 1413s | 18 | 418083 | 354352 | 15350 37 | 4195 | 13
1539.58/1540.03 c 1415s | 18 | 418582 | 354852 | 15350 37 | 4195 | 13
1541.78/1542.26 c 1417s | 18 | 419088 | 355352 | 15350 37 | 4195 | 13
1543.98/1544.42 c 1419s | 18 | 419605 | 355852 | 15350 37 | 4195 | 13
1546.18/1546.66 c 1421s | 18 | 420120 | 356352 | 15350 37 | 4195 | 13
1548.48/1548.98 c 1424s | 18 | 420622 | 356852 | 15350 37 | 4195 | 13
1550.87/1551.33 c 1426s | 18 | 421140 | 357352 | 15350 37 | 4195 | 13
1553.17/1553.64 c 1428s | 18 | 421648 | 357852 | 15350 37 | 4195 | 13
1555.47/1555.97 c 1431s | 18 | 422155 | 358352 | 15350 37 | 4195 | 13
1557.77/1558.29 c 1433s | 18 | 422557 | 358752 | 15350 38 | 4195 | 13
1559.87/1560.37 c 1435s | 18 | 422960 | 359152 | 15350 38 | 4195 | 13
1561.97/1562.43 c 1437s | 18 | 423480 | 359652 | 15350 38 | 4195 | 13
1564.07/1564.60 c 1439s | 18 | 423986 | 360152 | 15350 38 | 4195 | 13
1566.27/1566.77 c 1441s | 18 | 424498 | 360652 | 15350 38 | 4195 | 13
1568.57/1569.04 c 1444s | 18 | 425021 | 361152 | 15350 38 | 4195 | 13
1570.97/1571.40 c 1446s | 18 | 425523 | 361652 | 15350 38 | 4195 | 13
1573.27/1573.74 c 1448s | 18 | 426039 | 362152 | 15350 38 | 4195 | 13
1575.57/1576.07 c 1451s | 18 | 426550 | 362652 | 15350 38 | 4195 | 13
1577.77/1578.25 c 1453s | 18 | 427057 | 363152 | 15350 38 | 4195 | 13
1579.96/1580.45 c 1455s | 18 | 427576 | 363652 | 15350 38 | 4195 | 13
1582.16/1582.64 c 1457s | 18 | 428068 | 364152 | 15350 38 | 4195 | 13
1584.46/1584.97 c 1460s | 18 | 428578 | 364652 | 15350 38 | 4195 | 13
1586.77/1587.23 c 1462s | 18 | 429089 | 365152 | 15350 38 | 4195 | 13
1589.17/1589.67 c 1464s | 18 | 429602 | 365652 | 15350 38 | 4195 | 13
1591.37/1591.88 c 1467s | 18 | 430107 | 366152 | 15350 38 | 4195 | 13
1593.87/1594.32 c 1469s | 18 | 430619 | 366652 | 15350 38 | 4195 | 13
1596.27/1596.70 c 1471s | 18 | 431027 | 367052 | 15350 38 | 4195 | 13
1598.46/1598.99 c 1474s | 18 | 431549 | 367552 | 15350 38 | 4195 | 13
1600.66/1601.15 c 1476s | 18 | 432055 | 368052 | 15350 38 | 4195 | 13
1603.06/1603.55 c 1478s | 18 | 432575 | 368552 | 15350 38 | 4195 | 13
1605.57/1606.04 c 1481s | 18 | 433087 | 369052 | 15350 38 | 4195 | 13
1608.26/1608.72 c 1483s | 18 | 433500 | 369452 | 15350 39 | 4195 | 13
1610.26/1610.78 c 1485s | 18 | 434011 | 369952 | 15350 39 | 4195 | 13
1612.36/1612.85 c 1488s | 18 | 434512 | 370452 | 15350 39 | 4195 | 13
1614.47/1614.95 c 1490s | 18 | 435032 | 370952 | 15350 39 | 4195 | 13
1616.76/1617.26 c 1492s | 18 | 435552 | 371452 | 15350 39 | 4195 | 13
1618.96/1619.41 c 1494s | 18 | 436050 | 371952 | 15350 39 | 4195 | 13
1621.16/1621.66 c 1496s | 18 | 436556 | 372452 | 15350 39 | 4195 | 13
1623.46/1623.97 c 1499s | 18 | 437073 | 372952 | 15350 39 | 4195 | 13
1625.76/1626.28 c 1501s | 18 | 437579 | 373452 | 15350 39 | 4195 | 13
1628.16/1628.61 c 1503s | 18 | 438089 | 373952 | 15350 39 | 4195 | 13
1630.36/1630.89 c 1506s | 18 | 438610 | 374452 | 15350 39 | 4195 | 13
1632.86/1633.36 c 1508s | 18 | 439116 | 374952 | 15350 39 | 4195 | 13
1635.16/1635.70 c 1510s | 18 | 439325 | 375152 | 15350 39 | 4195 | 13
1637.26/1637.76 c 1512s | 18 | 439720 | 375552 | 15350 39 | 4195 | 13
1639.66/1640.13 c 1515s | 18 | 440233 | 376052 | 15350 39 | 4195 | 13
1641.96/1642.47 c 1517s | 18 | 440746 | 376552 | 15350 39 | 4195 | 13
1644.36/1644.81 c 1519s | 18 | 441250 | 377052 | 15350 39 | 4195 | 13
1646.66/1647.14 c 1522s | 18 | 441772 | 377552 | 15350 39 | 4195 | 13
1648.96/1649.46 c 1524s | 18 | 442272 | 378052 | 15350 39 | 4195 | 13
1651.26/1651.79 c 1526s | 18 | 442783 | 378552 | 15350 39 | 4195 | 13
1653.35/1653.80 c 1528s | 18 | 443188 | 378952 | 15350 39 | 4195 | 13
1655.35/1655.82 c 1530s | 18 | 443594 | 379352 | 15350 39 | 4195 | 13
1657.36/1657.85 c 1533s | 18 | 444000 | 379752 | 15350 39 | 4195 | 13
1659.46/1659.90 c 1535s | 18 | 444319 | 380052 | 15350 40 | 4195 | 13
1661.66/1662.15 c 1537s | 18 | 444815 | 380552 | 15350 40 | 4195 | 13
1663.86/1664.34 c 1539s | 18 | 445225 | 380952 | 15350 40 | 4195 | 13
1666.16/1666.61 c 1541s | 18 | 445736 | 381452 | 15350 40 | 4195 | 13
1668.26/1668.80 c 1543s | 18 | 446237 | 381952 | 15350 40 | 4195 | 13
1670.46/1671.00 c 1546s | 18 | 446754 | 382452 | 15350 40 | 4195 | 13
1672.55/1673.04 c 1548s | 18 | 447250 | 382952 | 15350 40 | 4195 | 13
1674.76/1675.25 c 1550s | 18 | 447763 | 383452 | 15350 40 | 4195 | 13
1677.06/1677.56 c 1552s | 18 | 448275 | 383952 | 15350 40 | 4195 | 13
1679.45/1679.90 c 1555s | 18 | 448801 | 384452 | 15350 40 | 4195 | 13
1681.65/1682.17 c 1557s | 18 | 449308 | 384952 | 15350 40 | 4195 | 13
1684.05/1684.51 c 1559s | 18 | 449807 | 385452 | 15350 40 | 4195 | 13
1686.35/1686.89 c 1562s | 18 | 450329 | 385952 | 15350 40 | 4195 | 13
1688.75/1689.28 c 1564s | 18 | 450834 | 386452 | 15350 40 | 4195 | 13
1691.15/1691.61 c 1566s | 18 | 451336 | 386952 | 15350 40 | 4195 | 13
1693.56/1694.03 c 1569s | 18 | 451844 | 387452 | 15350 40 | 4195 | 13
1695.95/1696.42 c 1571s | 18 | 452357 | 387952 | 15350 40 | 4195 | 13
1697.96/1698.45 c 1573s | 18 | 452761 | 388352 | 15350 40 | 4195 | 13
1699.95/1700.49 c 1575s | 18 | 453165 | 388752 | 15350 40 | 4195 | 13
1702.45/1702.94 c 1578s | 18 | 453676 | 389252 | 15350 40 | 4195 | 13
1704.65/1705.14 c 1580s | 18 | 454086 | 389652 | 15350 40 | 4195 | 13
1706.75/1707.26 c 1582s | 18 | 454501 | 390052 | 15350 40 | 4195 | 13
1708.84/1709.36 c 1584s | 18 | 454913 | 390452 | 15350 40 | 4195 | 13
1711.35/1711.89 c 1587s | 18 | 455315 | 390852 | 15350 41 | 4195 | 13
1713.95/1714.40 c 1589s | 18 | 455834 | 391352 | 15350 41 | 4195 | 13
1716.35/1716.84 c 1591s | 18 | 456341 | 391852 | 15350 41 | 4195 | 13
1718.64/1719.19 c 1594s | 18 | 456846 | 392352 | 15350 41 | 4195 | 13
1721.05/1721.56 c 1596s | 18 | 457344 | 392852 | 15350 41 | 4195 | 13
1723.35/1723.87 c 1599s | 18 | 457851 | 393352 | 15350 41 | 4195 | 13
1725.84/1726.30 c 1601s | 18 | 458361 | 393852 | 15350 41 | 4195 | 13
1727.94/1728.42 c 1603s | 18 | 458782 | 394252 | 15350 41 | 4195 | 13
1730.25/1730.76 c 1605s | 18 | 459286 | 394752 | 15350 41 | 4195 | 13
1732.44/1732.90 c 1608s | 18 | 459604 | 395052 | 15350 41 | 4195 | 13
1734.84/1735.33 c 1610s | 18 | 460107 | 395552 | 15350 41 | 4195 | 13
1737.24/1737.70 c 1612s | 18 | 460622 | 396052 | 15350 41 | 4195 | 13
1739.64/1740.17 c 1615s | 18 | 461130 | 396552 | 15350 41 | 4195 | 13
1742.14/1742.62 c 1617s | 18 | 461659 | 397052 | 15350 41 | 4195 | 13
1744.15/1744.68 c 1619s | 18 | 462057 | 397452 | 15350 41 | 4195 | 13
1746.64/1747.10 c 1622s | 18 | 462569 | 397952 | 15350 41 | 4195 | 13
1748.65/1749.12 c 1624s | 18 | 462974 | 398352 | 15350 41 | 4195 | 13
1750.64/1751.20 c 1626s | 18 | 463397 | 398752 | 15350 41 | 4195 | 13
1752.64/1753.20 c 1628s | 18 | 463803 | 399152 | 15350 41 | 4195 | 13
1754.74/1755.24 c 1630s | 18 | 464212 | 399552 | 15350 41 | 4195 | 13
1756.84/1757.33 c 1632s | 18 | 464613 | 399952 | 15350 41 | 4195 | 13
1758.94/1759.42 c 1634s | 18 | 465016 | 400352 | 15350 41 | 4195 | 13
1761.04/1761.52 c 1636s | 18 | 465426 | 400752 | 15350 41 | 4195 | 13
1763.34/1763.89 c 1639s | 18 | 465834 | 401152 | 15350 41 | 4195 | 13
1765.53/1766.01 c 1641s | 18 | 466139 | 401452 | 15350 42 | 4195 | 13
1767.93/1768.40 c 1643s | 18 | 466671 | 401952 | 15350 42 | 4195 | 13
1770.33/1770.87 c 1646s | 18 | 467170 | 402452 | 15350 42 | 4195 | 13
1772.75/1773.28 c 1648s | 18 | 467683 | 402952 | 15350 42 | 4195 | 13
1774.84/1775.32 c 1650s | 18 | 468089 | 403352 | 15350 42 | 4195 | 13
1776.94/1777.40 c 1652s | 18 | 468495 | 403752 | 15350 42 | 4195 | 13
1779.03/1779.56 c 1654s | 18 | 468894 | 404152 | 15350 42 | 4195 | 13
1781.43/1781.91 c 1657s | 18 | 469296 | 404552 | 15350 42 | 4195 | 13
1783.74/1784.29 c 1659s | 18 | 469812 | 405052 | 15350 42 | 4195 | 13
1786.33/1786.81 c 1661s | 18 | 470330 | 405552 | 15350 42 | 4195 | 13
1788.63/1789.18 c 1664s | 18 | 470839 | 406052 | 15350 42 | 4195 | 13
1790.93/1791.44 c 1666s | 18 | 471342 | 406552 | 15350 42 | 4195 | 13
1793.13/1793.66 c 1668s | 18 | 471751 | 406952 | 15350 42 | 4195 | 13
1795.43/1795.91 c 1671s | 18 | 472262 | 407452 | 15350 42 | 4195 | 13
1797.73/1798.24 c 1673s | 18 | 472757 | 407952 | 15350 42 | 4195 | 13
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-4103213-1466233672/watcher-4103213-1466233672 -o /tmp/evaluation-result-4103213-1466233672/solver-4103213-1466233672 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10370 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103213-1466233672.opb
pid=15188
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.01 2.07 2.08 3/179 15191
/proc/meminfo: memFree=30210476/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=570812 CPUtime=0 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 2103 0 0 0 0 0 0 0 20 0 4 0 25412869 584511488 2464 33554432000 4194304 16246674 140734228761680 140734228761104 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15191/statm: 143215 2472 441 2943 0 140109 0
[pid=15191/tid=15192] ppid=15188 vsize=589244 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 603385856 2532 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=593340 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 607580160 2550 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=597436 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 611774464 2566 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100165 s]
/proc/loadavg: 2.01 2.07 2.08 3/179 15191
/proc/meminfo: memFree=30210476/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=1304132 CPUtime=0.09 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 28329 0 0 0 5 4 0 0 20 0 4 0 25412869 1335431168 28628 33554432000 4194304 16246674 140734228761680 140734228760992 5561295 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15191/statm: 326033 28640 827 2943 0 322927 0
[pid=15191/tid=15192] ppid=15188 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 1335431168 28647 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 1335431168 28654 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 1335431168 28661 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132
[startup+0.200549 s]
/proc/loadavg: 2.01 2.07 2.08 3/179 15191
/proc/meminfo: memFree=30210476/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 32601 0 0 0 14 5 0 0 20 0 4 0 25412869 1342771200 32900 33554432000 4194304 16246674 140734228761680 140734228760992 12652953 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15191/statm: 327825 32900 832 2943 0 324719 0
[pid=15191/tid=15192] ppid=15188 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 1342771200 32900 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 1342771200 32900 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 1342771200 32900 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300
[startup+0.300514 s]
/proc/loadavg: 2.01 2.07 2.08 3/179 15191
/proc/meminfo: memFree=30210476/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=1311300 CPUtime=0.29 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 39962 0 0 0 23 6 0 0 20 0 4 0 25412869 1342771200 40261 33554432000 4194304 16246674 140734228761680 140734228760992 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15191/statm: 327825 40261 868 2943 0 324719 0
[pid=15191/tid=15192] ppid=15188 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 1342771200 40261 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 1342771200 40261 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 1342771200 40261 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300
[startup+0.700423 s]
/proc/loadavg: 2.01 2.07 2.08 3/179 15191
/proc/meminfo: memFree=30210476/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=1311300 CPUtime=0.69 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 111021 0 0 0 53 16 0 0 20 0 4 0 25412869 1342771200 111320 33554432000 4194304 16246674 140734228761680 140734228743552 12371445 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 327825 111333 868 2943 0 324719 0
[pid=15191/tid=15192] ppid=15188 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 1342771200 111341 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 1342771200 111348 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 1342771200 111355 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1311300
[startup+1.50041 s]
/proc/loadavg: 2.01 2.07 2.08 3/183 15195
/proc/meminfo: memFree=29403380/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=1380932 CPUtime=1.48 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 286270 0 0 0 112 36 0 0 20 0 4 0 25412869 1414074368 286569 33554432000 4194304 16246674 140734228761680 140734228760344 4221016 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 345233 286576 869 2943 0 342127 0
[pid=15191/tid=15192] ppid=15188 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 1414074368 286579 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 1414074368 286583 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 1414074368 286586 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1380932
[startup+3.10044 s]
/proc/loadavg: 2.01 2.07 2.08 3/183 15195
/proc/meminfo: memFree=28845132/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=1600068 CPUtime=3.08 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 341183 0 0 0 264 44 0 0 20 0 4 0 25412869 1638469632 341482 33554432000 4194304 16246674 140734228761680 140734228760896 12371187 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 400017 341482 869 2943 0 396911 0
[pid=15191/tid=15192] ppid=15188 vsize=1600068 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 1638469632 341482 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=1600068 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 1638469632 341482 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=1600068 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 1638469632 341482 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1600068
[startup+6.30043 s]
/proc/loadavg: 2.01 2.07 2.08 3/183 15195
/proc/meminfo: memFree=28845332/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=1636932 CPUtime=6.28 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 350377 0 0 0 583 45 0 0 20 0 4 0 25412869 1676218368 350676 33554432000 4194304 16246674 140734228761680 140734228760856 4221016 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 409233 350684 869 2943 0 406127 0
[pid=15191/tid=15192] ppid=15188 vsize=1636932 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 1676218368 350691 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=1636932 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 1676218368 350695 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=1637956 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 1677266944 350702 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1636932
[startup+12.7004 s]
/proc/loadavg: 2.01 2.07 2.08 3/183 15195
/proc/meminfo: memFree=28412508/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=2032196 CPUtime=12.68 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 449251 0 0 0 1210 58 0 0 20 0 4 0 25412869 2080968704 449550 33554432000 4194304 16246674 140734228761680 140734228759552 4221129 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 508049 449550 905 2943 0 504943 0
[pid=15191/tid=15192] ppid=15188 vsize=2032196 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 2080968704 449550 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=2032196 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 2080968704 449550 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=2032196 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 2080968704 449550 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2032196
[startup+25.5005 s]
/proc/loadavg: 2.01 2.06 2.07 4/182 15195
/proc/meminfo: memFree=28412752/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=2032196 CPUtime=25.48 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 449251 0 0 0 2489 59 0 0 20 0 4 0 25412869 2080968704 449550 33554432000 4194304 16246674 140734228761680 140734228760776 4220815 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 508049 449550 905 2943 0 504943 0
[pid=15191/tid=15192] ppid=15188 vsize=2032196 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 2080968704 449550 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=2032196 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 2080968704 449550 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=2032196 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 2080968704 449550 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2032196
[startup+51.1005 s]
/proc/loadavg: 2.00 2.06 2.07 3/183 15196
/proc/meminfo: memFree=28412572/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=2032196 CPUtime=51.07 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 449251 0 0 0 5048 59 0 0 20 0 4 0 25412869 2080968704 449550 33554432000 4194304 16246674 140734228761680 140734228759488 12652953 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 508049 449550 905 2943 0 504943 0
[pid=15191/tid=15192] ppid=15188 vsize=2032196 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 2080968704 449550 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=2032196 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 2080968704 449550 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=2032196 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 2080968704 449550 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2032196
[startup+102.301 s]
/proc/loadavg: 2.05 2.06 2.07 3/183 15197
/proc/meminfo: memFree=28412448/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=2032196 CPUtime=102.27 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 449255 0 0 0 10167 60 0 0 20 0 4 0 25412869 2080968704 449554 33554432000 4194304 16246674 140734228761680 140734228759440 4220897 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 508049 449554 909 2943 0 504943 0
[pid=15191/tid=15192] ppid=15188 vsize=2032196 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 2080968704 449554 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=2032196 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 2080968704 449554 33554432000 4194304 16246674 140734228761680 140520335580176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=2032196 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 2080968704 449554 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2032196
################
# More data... #
################
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 2045508
[startup+1362.3 s]
/proc/loadavg: 2.08 2.04 2.03 3/184 15280
/proc/meminfo: memFree=28370900/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=2045508 CPUtime=1361.91 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 452838 0 0 0 136082 109 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140734228743552 13781168 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 511377 453150 921 2943 0 508271 0
[pid=15191/tid=15192] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 2045508
[startup+1422.3 s]
/proc/loadavg: 2.03 2.03 2.02 3/183 15281
/proc/meminfo: memFree=28371032/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=2045508 CPUtime=1421.89 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 452867 0 0 0 142077 112 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140734228743552 5711980 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 511377 453150 921 2943 0 508271 0
[pid=15191/tid=15192] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 2045508
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.02 4/183 15282
/proc/meminfo: memFree=28371216/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=2045508 CPUtime=1481.89 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 452867 0 0 0 148073 116 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140734228743552 5546248 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 511377 453150 921 2943 0 508271 0
[pid=15191/tid=15192] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 2045508
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.01 3/183 15283
/proc/meminfo: memFree=28370252/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=2045508 CPUtime=1541.88 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 452867 0 0 0 154069 119 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140734228760856 5546181 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 511377 453150 921 2943 0 508271 0
[pid=15191/tid=15192] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 2045508
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/183 15285
/proc/meminfo: memFree=28370528/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=2045508 CPUtime=1601.86 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 452867 0 0 0 160065 121 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140734228760776 5546214 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 511377 453150 921 2943 0 508271 0
[pid=15191/tid=15192] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 2045508
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15286
/proc/meminfo: memFree=28370192/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=2045508 CPUtime=1661.86 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 452867 0 0 0 166061 125 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140734228760856 5600808 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 511377 453150 921 2943 0 508271 0
[pid=15191/tid=15192] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 2045508
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15287
/proc/meminfo: memFree=28370844/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=2045508 CPUtime=1721.84 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 452867 0 0 0 172056 128 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140734228743552 5712760 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 511377 453150 921 2943 0 508271 0
[pid=15191/tid=15192] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 2045508
[startup+1782.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/183 15336
/proc/meminfo: memFree=28379540/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=2045508 CPUtime=1781.83 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 452867 0 0 0 178052 131 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140734228743552 12483276 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 511377 453150 921 2943 0 508271 0
[pid=15191/tid=15192] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 2045508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.16 2.04 2.01 3/183 15336
/proc/meminfo: memFree=28378216/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=2045508 CPUtime=1800.03 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 452867 0 0 0 179871 132 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140734228743552 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 511377 453150 921 2943 0 508271 0
[pid=15191/tid=15192] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2045508
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 15191 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.16 2.04 2.01 3/183 15336
/proc/meminfo: memFree=28378216/32872528 swapFree=534252/566956
[pid=15191] ppid=15188 vsize=2045508 CPUtime=1800.03 cores=1,3,5,7
/proc/15191/stat : 15191 (toysat) R 15188 15191 10353 0 -1 4202496 452867 0 0 0 179871 132 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140734228743552 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15191/statm: 511377 453150 921 2943 0 508271 0
[pid=15191/tid=15192] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15192/stat : 15192 (toysat) S 15188 15191 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520346070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15191/tid=15193] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15193/stat : 15193 (toysat) S 15188 15191 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520335580400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15191/tid=15194] ppid=15188 vsize=2045508 CPUtime=0 cores=1,3,5,7
/proc/15191/task/15194/stat : 15194 (toysat) S 15188 15191 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25412869 2094600192 453150 33554432000 4194304 16246674 140734228761680 140520256957616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2045508
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1798.72
CPU system time (s): 1.3228
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 2045508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.72
system time used= 1.3228
maximum resident set size= 1812600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 452867
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= 667
involuntary context switches= 3419
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5733 second user time and 6.95094 second system time
The end