0.00/0.00 c 2016-06-18T07:59:15+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-4102025-1466229555.opb"]
0.00/0.01 c use --random-gen="4210254775 1599210572 2758210791 676669163 3623915783 90049883 683907094 1966454877 1263263813 281351941 991723647 420654470 3588335114 1518677479 2343466297 251194155 2817734319 1308050021 654469744 2759662734 325375764 3299516089 1692786725 918471122 3381962531 2801522999 2634262043 4158715051 2224017828 2595019047 3885178122 1435550843 2134498611 3390665883 1420490012 3075997926 1422852254 1364282949 3338050665 3264083738 1149657345 3243678334 3501815011 3226395291 2247688155 2273840967 282477640 3816274619 2815772078 4907403 1540786857 3785182583 3577006144 1578164439 245557115 1685587893 1648211259 1315470409 3882116570 88133936 1026016342 3792153267 3870148408 4119414584 552021614 603166294 3349224663 3423708348 874433895 3170075357 2403913400 1692636151 2339183226 1504816453 3678884641 3366383547 1749376178 2758466619 3675793565 3821622959 3370297715 3880446125 3727413079 2152212090 1919948117 3583673172 2859216415 946214892 1616229641 1913654887 427406689 592780489 1747438788 3572287024 4265681471 1538798968 1714313664 3868434510 89748226 1960672230 750214099 3403620650 3643293256 1712695643 3907809231 490811011 338147115 1285171567 3670910602 3643898249 2193746239 1902247580 2991336518 2597475047 1762223817 4256034333 1218562928 1927532488 3413550257 3521300197 3583072532 2431134480 1455111735 4030741121 1109299236 2372366617 2629434253 1783779956 457213118 508470877 1982743391 2889044052 1000857050 2467540259 238478696 2883189321 3314188626 4243990693 76689782 1282700761 3869770121 1729276059 258943256 428206846 1524133244 3270223668 3436589027 512562800 1023288747 947659962 1249736122 182901028 3196736447 770735645 3714793780 3235953245 1042550599 253478148 2524469437 3173919170 4230874269 559169028 1389698021 171405667 4036277082 461737991 1283644360 1518386572 421160200 1438033074 2025773219 941171994 3723987686 2024226359 2727214810 2452727836 3352872400 3799807300 1950243465 2586024781 198284682 3752623658 206190063 2025461059 4213998951 1309149843 1720222078 2053180665 1116805630 3405424971 1246330266 1381487919 1199606168 3852498602 2171843023 3729149685 3116341369 1756392632 355808622 991145188 653619118 339510056 3042287315 2441243650 2009407517 1966539059 749799848 1109289467 3990719097 3816354862 1050959931 2935205322 425190817 3576106414 3851050162 1254771415 1307024955 2319392459 4085188268 4086264718 23320216 241454739 3250945459 3357404102 3291043317 1553589727 2555009250 1231316628 3306604914 286134036 228080604 1934135232 3451188357 124264616 663574905 341594187 2697032807 3007636616 819140590 3298047716 3900988142 2129905033 2281641623 2466875674 1046456873 1372867684 2898398131 3312373417 3649635752 3155867818 2269941211 2488952508 3955179264 1406350873 3149146961 1278606230 255 362436" option to reproduce the execution
0.00/0.04 c #vars 1800
0.00/0.04 c #constraints 215
0.00/0.08 c BCD2: Hardening is enabled.
0.00/0.08 c BCD2: BiasedSearch is enabled.
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 710 0 | 200 | 0
0.09/0.15 c 0.1s | 1 | 330 | 100 | 710 0 | 200 | 0
0.19/0.23 c 0.2s | 2 | 799 | 250 | 782 0 | 200 | 0
0.19/0.46 c 0.3s | 3 | 1484 | 475 | 861 0 | 200 | 0
0.19/0.54 c 0.5s | 3 | 1869 | 654 | 948 0 | 200 | 0
0.19/0.54 c #cpu_time = 0.462s
0.19/0.54 c #wall_clock_time = 0.462s
0.19/0.54 c #decision = 1869
0.19/0.54 c #random_decision = 2
0.19/0.54 c #conflict = 654
0.19/0.54 c #restart = 3
0.19/0.54 o 1034
0.19/0.54 c BCD2: updating upper bound: 41700 -> 1033
0.19/0.55 c BCD2: 0 <= obj <= 1033
0.19/0.55 c BCD2: #cores=0, #unrelaxed=1800, #relaxed=0, #hardened=0
0.19/0.55 c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.55 c Solving starts ...
0.19/0.55 c ============================[ Search Statistics ]============================
0.19/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.55 c | | | | Limit GC | Var | Constra
0.19/0.55 c =============================================================================
0.19/0.55 c 0.0s | 0 | 0 | 0 | 948 0 | 200 | 0
0.55/0.56 c 0.0s | 0 | 289 | 10 | 948 0 | 200 | 0
0.55/0.56 c #cpu_time = 0.011s
0.55/0.56 c #wall_clock_time = 0.011s
0.55/0.56 c #decision = 289
0.55/0.56 c #random_decision = 0
0.55/0.56 c #conflict = 10
0.55/0.56 c #restart = 0
0.55/0.56 c BCD2: found a new core of size 137: cost of the new core is >=6
0.55/0.56 c lower bound updated to 6
0.55/0.56 c BCD2: 6 <= obj <= 1033
0.55/0.56 c BCD2: #cores=1, #unrelaxed=1663, #relaxed=137, #hardened=0
0.55/0.56 c BCD2: #sat=1 #unsat=2 bias=2/3
0.55/0.56 c Solving starts ...
0.55/0.56 c ============================[ Search Statistics ]============================
0.55/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.55/0.56 c | | | | Limit GC | Var | Constra
0.55/0.56 c =============================================================================
0.55/0.56 c 0.0s | 0 | 0 | 0 | 948 0 | 200 | 0
0.55/0.57 c 0.0s | 0 | 491 | 10 | 948 0 | 200 | 0
0.55/0.57 c #cpu_time = 0.011s
0.55/0.57 c #wall_clock_time = 0.011s
0.55/0.57 c #decision = 491
0.55/0.57 c #random_decision = 0
0.55/0.57 c #conflict = 10
0.55/0.57 c #restart = 0
0.55/0.57 c BCD2: found a new core of size 105: cost of the new core is >=5
0.55/0.57 c lower bound updated to 11
0.55/0.57 c BCD2: 11 <= obj <= 1033
0.55/0.57 c BCD2: #cores=2, #unrelaxed=1558, #relaxed=242, #hardened=0
0.55/0.57 c BCD2: #sat=1 #unsat=3 bias=3/4
0.55/0.57 c Solving starts ...
0.55/0.57 c ============================[ Search Statistics ]============================
0.55/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.55/0.57 c | | | | Limit GC | Var | Constra
0.55/0.57 c =============================================================================
0.55/0.57 c 0.0s | 0 | 0 | 0 | 948 0 | 200 | 0
0.55/0.59 c 0.0s | 0 | 429 | 9 | 948 0 | 200 | 0
0.55/0.59 c #cpu_time = 0.010s
0.55/0.59 c #wall_clock_time = 0.010s
0.55/0.59 c #decision = 429
0.55/0.59 c #random_decision = 0
0.55/0.59 c #conflict = 9
0.55/0.59 c #restart = 0
0.55/0.59 c BCD2: found a new core of size 125: cost of the new core is >=4
0.55/0.59 c lower bound updated to 15
0.55/0.59 c BCD2: 15 <= obj <= 1033
0.55/0.59 c BCD2: #cores=3, #unrelaxed=1433, #relaxed=367, #hardened=0
0.55/0.59 c BCD2: #sat=1 #unsat=4 bias=4/5
0.55/0.59 c Solving starts ...
0.55/0.59 c ============================[ Search Statistics ]============================
0.55/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.55/0.59 c | | | | Limit GC | Var | Constra
0.55/0.59 c =============================================================================
0.55/0.59 c 0.0s | 0 | 0 | 0 | 948 0 | 200 | 0
0.59/0.60 c 0.0s | 0 | 505 | 8 | 948 0 | 200 | 0
0.59/0.60 c #cpu_time = 0.011s
0.59/0.60 c #wall_clock_time = 0.011s
0.59/0.60 c #decision = 505
0.59/0.60 c #random_decision = 0
0.59/0.60 c #conflict = 8
0.59/0.60 c #restart = 0
0.59/0.60 c BCD2: found a new core of size 140: cost of the new core is >=11
0.59/0.60 c lower bound updated to 26
0.59/0.60 c BCD2: 26 <= obj <= 1033
0.59/0.60 c BCD2: #cores=4, #unrelaxed=1293, #relaxed=507, #hardened=0
0.59/0.60 c BCD2: #sat=1 #unsat=5 bias=5/6
0.59/0.60 c Solving starts ...
0.59/0.60 c ============================[ Search Statistics ]============================
0.59/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.60 c | | | | Limit GC | Var | Constra
0.59/0.60 c =============================================================================
0.59/0.60 c 0.0s | 0 | 0 | 0 | 948 0 | 200 | 0
0.59/0.61 c 0.0s | 0 | 572 | 8 | 948 0 | 200 | 0
0.59/0.61 c #cpu_time = 0.011s
0.59/0.61 c #wall_clock_time = 0.011s
0.59/0.61 c #decision = 572
0.59/0.61 c #random_decision = 0
0.59/0.61 c #conflict = 8
0.59/0.61 c #restart = 0
0.59/0.62 c BCD2: found a new core of size 88: cost of the new core is >=10
0.59/0.62 c lower bound updated to 36
0.59/0.62 c BCD2: 36 <= obj <= 1033
0.59/0.62 c BCD2: #cores=5, #unrelaxed=1205, #relaxed=595, #hardened=0
0.59/0.62 c BCD2: #sat=1 #unsat=6 bias=6/7
0.59/0.62 c Solving starts ...
0.59/0.62 c ============================[ Search Statistics ]============================
0.59/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.62 c | | | | Limit GC | Var | Constra
0.59/0.62 c =============================================================================
0.59/0.62 c 0.0s | 0 | 0 | 0 | 948 0 | 200 | 0
0.59/0.63 c 0.0s | 0 | 758 | 8 | 948 0 | 200 | 0
0.59/0.63 c #cpu_time = 0.011s
0.59/0.63 c #wall_clock_time = 0.011s
0.59/0.63 c #decision = 758
0.59/0.63 c #random_decision = 0
0.59/0.63 c #conflict = 8
0.59/0.63 c #restart = 0
0.59/0.63 c BCD2: found a new core of size 108: cost of the new core is >=9
0.59/0.63 c lower bound updated to 45
0.59/0.63 c BCD2: 45 <= obj <= 1033
0.59/0.63 c BCD2: #cores=6, #unrelaxed=1097, #relaxed=703, #hardened=0
0.59/0.63 c BCD2: #sat=1 #unsat=7 bias=7/8
0.59/0.64 c Solving starts ...
0.59/0.64 c ============================[ Search Statistics ]============================
0.59/0.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.64 c | | | | Limit GC | Var | Constra
0.59/0.64 c =============================================================================
0.59/0.64 c 0.0s | 0 | 0 | 0 | 948 0 | 200 | 0
0.59/0.65 c 0.0s | 0 | 764 | 8 | 948 0 | 200 | 0
0.59/0.65 c #cpu_time = 0.011s
0.59/0.65 c #wall_clock_time = 0.011s
0.59/0.65 c #decision = 764
0.59/0.65 c #random_decision = 0
0.59/0.65 c #conflict = 8
0.59/0.65 c #restart = 0
0.59/0.65 c BCD2: found a new core of size 140: cost of the new core is >=8
0.59/0.65 c lower bound updated to 53
0.59/0.65 c BCD2: 53 <= obj <= 1033
0.59/0.65 c BCD2: #cores=7, #unrelaxed=957, #relaxed=843, #hardened=0
0.59/0.65 c BCD2: #sat=1 #unsat=8 bias=8/9
0.59/0.66 c Solving starts ...
0.59/0.66 c ============================[ Search Statistics ]============================
0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.66 c | | | | Limit GC | Var | Constra
0.59/0.66 c =============================================================================
0.59/0.66 c 0.0s | 0 | 0 | 0 | 948 0 | 200 | 0
0.59/0.67 c 0.0s | 0 | 743 | 8 | 948 0 | 200 | 0
0.59/0.67 c #cpu_time = 0.012s
0.59/0.67 c #wall_clock_time = 0.012s
0.59/0.67 c #decision = 743
0.59/0.67 c #random_decision = 0
0.59/0.67 c #conflict = 8
0.59/0.67 c #restart = 0
0.59/0.67 c BCD2: found a new core of size 130: cost of the new core is >=6
0.59/0.67 c lower bound updated to 59
0.59/0.67 c BCD2: 59 <= obj <= 1033
0.59/0.67 c BCD2: #cores=8, #unrelaxed=827, #relaxed=973, #hardened=0
0.59/0.67 c BCD2: #sat=1 #unsat=9 bias=9/10
0.59/0.67 c Solving starts ...
0.59/0.67 c ============================[ Search Statistics ]============================
0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.67 c | | | | Limit GC | Var | Constra
0.59/0.67 c =============================================================================
0.59/0.67 c 0.0s | 0 | 0 | 0 | 948 0 | 200 | 0
0.59/0.69 c 0.0s | 0 | 1899 | 36 | 948 0 | 200 | 0
0.59/0.69 c #cpu_time = 0.017s
0.59/0.69 c #wall_clock_time = 0.017s
0.59/0.69 c #decision = 1899
0.59/0.69 c #random_decision = 1
0.59/0.69 c #conflict = 36
0.59/0.69 c #restart = 0
0.59/0.69 c BCD2: relaxing 102 and merging with 1 cores into a new core of size 190: cost of the new core is >=19
0.59/0.69 c lower bound updated to 68
0.68/0.70 c BCD2: 68 <= obj <= 1033
0.68/0.70 c BCD2: #cores=8, #unrelaxed=725, #relaxed=1075, #hardened=0
0.68/0.70 c BCD2: #sat=1 #unsat=10 bias=10/11
0.68/0.70 c Solving starts ...
0.68/0.70 c ============================[ Search Statistics ]============================
0.68/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.68/0.70 c | | | | Limit GC | Var | Constra
0.68/0.70 c =============================================================================
0.68/0.70 c 0.0s | 0 | 0 | 0 | 948 0 | 204 | 0
0.68/0.73 c 0.0s | 1 | 787 | 100 | 1043 0 | 204 | 7
0.68/0.77 c 0.1s | 2 | 1586 | 250 | 1043 0 | 204 | 7
0.79/0.83 c 0.1s | 3 | 2492 | 475 | 1043 0 | 204 | 7
0.88/0.91 c 0.2s | 4 | 3628 | 813 | 1148 0 | 204 | 7
0.98/1.00 c 0.3s | 4 | 4441 | 1001 | 1148 1 | 204 | 7
0.98/1.00 c #cpu_time = 0.295s
0.98/1.00 c #wall_clock_time = 0.295s
0.98/1.00 c #decision = 4441
0.98/1.00 c #random_decision = 7
0.98/1.00 c #conflict = 1001
0.98/1.00 c #restart = 4
0.98/1.00 c BCD2: relaxing 70 and merging with 1 cores into a new core of size 200: cost of the new core is >=12
0.98/1.00 c lower bound updated to 74
0.98/1.00 c BCD2: 74 <= obj <= 1033
0.98/1.00 c BCD2: #cores=8, #unrelaxed=655, #relaxed=1145, #hardened=0
0.98/1.00 c BCD2: #sat=1 #unsat=11 bias=11/12
0.98/1.01 c Solving starts ...
0.98/1.01 c ============================[ Search Statistics ]============================
0.98/1.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.01 c | | | | Limit GC | Var | Constra
0.98/1.01 c =============================================================================
0.98/1.01 c 0.0s | 0 | 0 | 0 | 1148 0 | 206 | 7
0.98/1.07 c 0.1s | 1 | 794 | 100 | 1148 0 | 206 | 10
1.08/1.10 c 0.1s | 1 | 2275 | 215 | 1148 0 | 206 | 10
1.08/1.10 c #cpu_time = 0.089s
1.08/1.10 c #wall_clock_time = 0.089s
1.08/1.10 c #decision = 2275
1.08/1.10 c #random_decision = 4
1.08/1.10 c #conflict = 215
1.08/1.10 c #restart = 1
1.08/1.10 c BCD2: relaxing 95 and merging with 1 cores into a new core of size 200: cost of the new core is >=9
1.08/1.10 c lower bound updated to 78
1.08/1.11 c BCD2: 78 <= obj <= 1033
1.08/1.11 c BCD2: #cores=8, #unrelaxed=560, #relaxed=1240, #hardened=0
1.08/1.11 c BCD2: #sat=1 #unsat=12 bias=12/13
1.08/1.12 c Solving starts ...
1.08/1.12 c ============================[ Search Statistics ]============================
1.08/1.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.08/1.12 c | | | | Limit GC | Var | Constra
1.08/1.12 c =============================================================================
1.08/1.12 c 0.0s | 0 | 0 | 0 | 1148 0 | 212 | 10
1.08/1.15 c 0.0s | 1 | 611 | 100 | 1148 0 | 212 | 21
1.19/1.20 c 0.1s | 2 | 1357 | 250 | 1263 0 | 212 | 21
1.19/1.28 c 0.2s | 3 | 2264 | 475 | 1263 0 | 212 | 21
1.29/1.39 c 0.3s | 4 | 3194 | 813 | 1263 0 | 212 | 21
1.39/1.48 c 0.4s | 4 | 3893 | 1034 | 1263 0 | 212 | 21
1.39/1.48 c #cpu_time = 0.360s
1.39/1.48 c #wall_clock_time = 0.360s
1.39/1.48 c #decision = 3893
1.39/1.48 c #random_decision = 4
1.39/1.48 c #conflict = 1034
1.39/1.48 c #restart = 4
1.39/1.48 c BCD2: relaxing 60 and merging with 1 cores into a new core of size 200: cost of the new core is >=15
1.39/1.48 c lower bound updated to 85
1.39/1.48 c BCD2: 85 <= obj <= 1033
1.39/1.48 c BCD2: #cores=8, #unrelaxed=500, #relaxed=1300, #hardened=0
1.39/1.48 c BCD2: #sat=1 #unsat=13 bias=13/14
1.39/1.48 c Solving starts ...
1.39/1.48 c ============================[ Search Statistics ]============================
1.39/1.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.39/1.48 c | | | | Limit GC | Var | Constra
1.39/1.48 c =============================================================================
1.39/1.48 c 0.0s | 0 | 0 | 0 | 1263 0 | 215 | 21
1.49/1.54 c 0.1s | 1 | 638 | 100 | 1263 0 | 215 | 26
1.59/1.61 c 0.1s | 2 | 1454 | 250 | 1390 0 | 215 | 26
1.59/1.66 c 0.2s | 2 | 2293 | 404 | 1390 0 | 215 | 26
1.59/1.66 c #cpu_time = 0.173s
1.59/1.66 c #wall_clock_time = 0.173s
1.59/1.66 c #decision = 2293
1.59/1.66 c #random_decision = 2
1.59/1.66 c #conflict = 404
1.59/1.66 c #restart = 2
1.59/1.66 c BCD2: relaxing 75 and merging with 1 cores into a new core of size 200: cost of the new core is >=7
1.59/1.66 c lower bound updated to 88
1.59/1.66 c BCD2: 88 <= obj <= 1033
1.59/1.66 c BCD2: #cores=8, #unrelaxed=425, #relaxed=1375, #hardened=0
1.59/1.66 c BCD2: #sat=1 #unsat=14 bias=14/15
1.59/1.66 c Solving starts ...
1.59/1.66 c ============================[ Search Statistics ]============================
1.59/1.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.59/1.66 c | | | | Limit GC | Var | Constra
1.59/1.66 c =============================================================================
1.59/1.66 c 0.0s | 0 | 0 | 0 | 1390 0 | 218 | 26
1.69/1.70 c 0.0s | 1 | 448 | 100 | 1390 0 | 218 | 31
1.69/1.77 c 0.1s | 2 | 1103 | 250 | 1390 0 | 218 | 31
1.79/1.83 c 0.2s | 3 | 1881 | 475 | 1390 0 | 218 | 31
1.89/1.90 c 0.2s | 4 | 2869 | 813 | 1390 0 | 218 | 31
1.89/1.96 c 0.3s | 4 | 3898 | 1018 | 1390 0 | 218 | 31
1.89/1.96 c #cpu_time = 0.297s
1.89/1.96 c #wall_clock_time = 0.297s
1.89/1.96 c #decision = 3898
1.89/1.96 c #random_decision = 6
1.89/1.96 c #conflict = 1018
1.89/1.96 c #restart = 4
1.89/1.96 c BCD2: relaxing 92 and merging with 1 cores into a new core of size 200: cost of the new core is >=17
1.89/1.96 c lower bound updated to 96
1.89/1.96 c BCD2: 96 <= obj <= 1033
1.89/1.96 c BCD2: #cores=8, #unrelaxed=333, #relaxed=1467, #hardened=0
1.89/1.96 c BCD2: #sat=1 #unsat=15 bias=15/16
1.89/1.97 c Solving starts ...
1.89/1.97 c ============================[ Search Statistics ]============================
1.89/1.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.97 c | | | | Limit GC | Var | Constra
1.89/1.97 c =============================================================================
1.89/1.97 c 0.0s | 0 | 0 | 0 | 1390 0 | 223 | 31
1.99/2.00 c 0.0s | 1 | 408 | 100 | 1390 0 | 223 | 40
1.99/2.06 c 0.1s | 2 | 948 | 250 | 1390 1 | 223 | 40
2.09/2.13 c 0.2s | 3 | 1526 | 475 | 1390 1 | 223 | 40
2.19/2.21 c 0.2s | 4 | 2269 | 813 | 1530 1 | 223 | 40
2.29/2.38 c 0.4s | 5 | 3371 | 1320 | 1530 1 | 223 | 40
2.59/2.60 c 0.6s | 6 | 5103 | 2081 | 1530 2 | 223 | 40
2.79/2.89 c 0.9s | 7 | 6833 | 3223 | 1684 3 | 223 | 40
3.39/3.45 c 1.5s | 8 | 9201 | 4936 | 1684 5 | 223 | 40
3.79/3.88 c 1.9s | 8 | 10850 | 6056 | 1684 6 | 223 | 40
3.79/3.88 c #cpu_time = 1.916s
3.79/3.88 c #wall_clock_time = 1.916s
3.79/3.88 c #decision = 10850
3.79/3.88 c #random_decision = 29
3.79/3.88 c #conflict = 6056
3.79/3.88 c #restart = 8
3.79/3.88 c BCD2: relaxing 60 and merging with 1 cores into a new core of size 200: cost of the new core is >=21
3.79/3.88 c lower bound updated to 106
3.79/3.88 c BCD2: 106 <= obj <= 1033
3.79/3.88 c BCD2: #cores=8, #unrelaxed=273, #relaxed=1527, #hardened=0
3.79/3.88 c BCD2: #sat=1 #unsat=16 bias=16/17
3.79/3.88 c Solving starts ...
3.79/3.88 c ============================[ Search Statistics ]============================
3.79/3.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.79/3.88 c | | | | Limit GC | Var | Constra
3.79/3.88 c =============================================================================
3.79/3.88 c 0.0s | 0 | 0 | 0 | 1684 0 | 233 | 40
3.89/3.93 c 0.0s | 1 | 376 | 100 | 1684 0 | 233 | 59
3.89/3.97 c 0.1s | 2 | 760 | 250 | 1684 0 | 233 | 59
3.99/4.03 c 0.1s | 3 | 1145 | 475 | 1684 0 | 233 | 59
4.09/4.11 c 0.2s | 4 | 1715 | 813 | 1684 0 | 233 | 59
4.19/4.25 c 0.4s | 5 | 2499 | 1320 | 1853 0 | 233 | 59
4.49/4.51 c 0.6s | 6 | 3630 | 2081 | 1853 1 | 233 | 59
4.89/4.91 c 1.0s | 7 | 5258 | 3223 | 1853 2 | 233 | 59
4.89/4.93 c 1.0s | 7 | 5391 | 3254 | 1853 2 | 233 | 59
4.89/4.93 c #cpu_time = 1.049s
4.89/4.93 c #wall_clock_time = 1.049s
4.89/4.93 c #decision = 5391
4.89/4.93 c #random_decision = 19
4.89/4.93 c #conflict = 3254
4.89/4.93 c #restart = 7
4.89/4.93 c BCD2: relaxing 63 and merging with 1 cores into a new core of size 200: cost of the new core is >=11
4.89/4.93 c lower bound updated to 111
4.89/4.93 c BCD2: 111 <= obj <= 1033
4.89/4.93 c BCD2: #cores=8, #unrelaxed=210, #relaxed=1590, #hardened=0
4.89/4.93 c BCD2: #sat=1 #unsat=17 bias=17/18
4.89/4.94 c Solving starts ...
4.89/4.94 c ============================[ Search Statistics ]============================
4.89/4.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
4.89/4.94 c | | | | Limit GC | Var | Constra
4.89/4.94 c =============================================================================
4.89/4.94 c 0.0s | 0 | 0 | 0 | 1853 0 | 244 | 59
4.89/5.00 c 0.1s | 1 | 343 | 100 | 1853 0 | 244 | 80
4.99/5.04 c 0.1s | 2 | 722 | 250 | 1853 0 | 244 | 80
5.09/5.10 c 0.2s | 3 | 1383 | 475 | 1853 0 | 244 | 80
5.09/5.19 c 0.3s | 4 | 1956 | 813 | 1853 0 | 244 | 80
5.29/5.35 c 0.4s | 5 | 2930 | 1320 | 1853 0 | 244 | 80
5.49/5.53 c 0.6s | 6 | 4391 | 2081 | 1853 1 | 244 | 80
5.89/5.97 c 1.0s | 7 | 6657 | 3223 | 1853 1 | 244 | 80
6.39/6.49 c 1.5s | 8 | 9685 | 4936 | 2039 2 | 244 | 80
7.18/7.20 c 2.3s | 9 | 13848 | 7506 | 2039 4 | 244 | 80
8.78/8.88 c 3.9s | 10 | 19897 | 11361 | 2039 6 | 244 | 80
10.88/10.91 c 6.0s | 10 | 26771 | 16061 | 2243 9 | 244 | 80
11.38/11.40 c 6.5s | 11 | 28426 | 17144 | 2243 10 | 244 | 80
13.39/13.43 c 8.5s | 11 | 35283 | 22344 | 2243 12 | 244 | 80
14.98/15.09 c 10.2s | 12 | 40136 | 25819 | 2468 14 | 244 | 80
17.08/17.11 c 12.2s | 12 | 49086 | 31119 | 2468 17 | 244 | 80
19.08/19.13 c 14.2s | 12 | 55648 | 35319 | 2468 19 | 244 | 80
20.48/20.60 c 15.7s | 13 | 61086 | 38832 | 2468 22 | 244 | 80
22.58/22.62 c 17.7s | 13 | 69661 | 43932 | 2468 24 | 244 | 80
24.58/24.65 c 19.7s | 13 | 77841 | 49432 | 2715 27 | 244 | 80
26.59/26.68 c 21.7s | 13 | 86345 | 55132 | 2715 30 | 244 | 80
27.88/27.93 c 23.0s | 14 | 91055 | 58352 | 2715 32 | 244 | 80
29.89/29.97 c 25.0s | 14 | 99610 | 63952 | 2715 34 | 244 | 80
31.98/32.01 c 27.1s | 14 | 104187 | 67452 | 2715 36 | 244 | 80
33.98/34.04 c 29.1s | 14 | 109705 | 71152 | 2715 38 | 244 | 80
35.98/36.06 c 31.1s | 14 | 114416 | 74352 | 2987 39 | 244 | 80
37.98/38.07 c 33.1s | 14 | 119642 | 78252 | 2987 41 | 244 | 80
40.08/40.10 c 35.2s | 14 | 124187 | 81852 | 2987 43 | 244 | 80
42.08/42.14 c 37.2s | 14 | 128856 | 85252 | 2987 44 | 244 | 80
43.58/43.61 c 38.7s | 15 | 132034 | 87632 | 2987 46 | 244 | 80
45.58/45.64 c 40.7s | 15 | 140381 | 93132 | 2987 48 | 244 | 80
47.58/47.67 c 42.7s | 15 | 145474 | 96732 | 2987 50 | 244 | 80
49.58/49.69 c 44.8s | 15 | 150255 | 100332 | 2987 52 | 244 | 80
51.68/51.75 c 46.8s | 15 | 155745 | 104232 | 2987 54 | 244 | 80
53.68/53.76 c 48.8s | 15 | 161333 | 108332 | 2987 55 | 244 | 80
55.68/55.76 c 50.8s | 15 | 167296 | 112232 | 2987 57 | 244 | 80
57.68/57.76 c 52.8s | 15 | 172877 | 116132 | 2987 59 | 244 | 80
59.69/59.77 c 54.8s | 15 | 177916 | 119832 | 3286 61 | 244 | 80
61.79/61.82 c 56.9s | 15 | 182308 | 123332 | 3286 62 | 244 | 80
63.78/63.86 c 58.9s | 15 | 187312 | 127232 | 3286 64 | 244 | 80
65.78/65.87 c 60.9s | 15 | 192749 | 131132 | 3286 66 | 244 | 80
66.08/66.14 c 61.2s | 16 | 193226 | 131552 | 3286 66 | 244 | 80
68.08/68.16 c 63.2s | 16 | 200211 | 136152 | 3286 68 | 244 | 80
70.18/70.20 c 65.3s | 16 | 207220 | 141052 | 3286 70 | 244 | 80
72.18/72.23 c 67.3s | 16 | 214140 | 146052 | 3286 72 | 244 | 80
74.18/74.26 c 69.3s | 16 | 221508 | 150852 | 3286 75 | 244 | 80
76.28/76.31 c 71.4s | 16 | 227340 | 154952 | 3286 76 | 244 | 80
78.29/78.31 c 73.4s | 16 | 232354 | 158552 | 3286 78 | 244 | 80
80.28/80.31 c 75.4s | 16 | 237952 | 162652 | 3286 80 | 244 | 80
82.28/82.33 c 77.4s | 16 | 245096 | 167252 | 3286 82 | 244 | 80
84.28/84.36 c 79.4s | 16 | 252198 | 171952 | 3286 84 | 244 | 80
86.28/86.37 c 81.4s | 16 | 258830 | 176452 | 3286 86 | 244 | 80
88.38/88.40 c 83.5s | 16 | 264687 | 180552 | 3286 88 | 244 | 80
90.38/90.42 c 85.5s | 16 | 271580 | 185152 | 3615 90 | 244 | 80
92.38/92.45 c 87.5s | 16 | 277840 | 189052 | 3615 92 | 244 | 80
94.37/94.49 c 89.6s | 16 | 284547 | 193552 | 3615 93 | 244 | 80
96.17/96.25 c 91.3s | 17 | 290086 | 197432 | 3615 95 | 244 | 80
98.18/98.29 c 93.4s | 17 | 297334 | 202432 | 3615 97 | 244 | 80
100.17/100.30 c 95.4s | 17 | 302519 | 205932 | 3615 99 | 244 | 80
102.27/102.33 c 97.4s | 17 | 308583 | 209732 | 3615 100 | 244 | 80
104.27/104.33 c 99.4s | 17 | 313014 | 213332 | 3615 102 | 244 | 80
106.27/106.33 c 101s | 17 | 318428 | 217132 | 3615 103 | 244 | 80
108.27/108.34 c 103s | 17 | 323825 | 220832 | 3615 105 | 244 | 80
110.28/110.39 c 105s | 17 | 329333 | 224632 | 3615 106 | 244 | 80
112.38/112.43 c 107s | 17 | 334979 | 228632 | 3615 108 | 244 | 80
114.37/114.43 c 109s | 17 | 340992 | 232632 | 3615 109 | 244 | 80
116.37/116.45 c 111s | 17 | 346097 | 236232 | 3615 111 | 244 | 80
118.37/118.45 c 113s | 17 | 350650 | 239732 | 3615 112 | 244 | 80
120.37/120.46 c 115s | 17 | 354654 | 242632 | 3615 114 | 244 | 80
122.38/122.49 c 117s | 17 | 359019 | 245632 | 3615 115 | 244 | 80
124.48/124.53 c 119s | 17 | 364250 | 248832 | 3615 116 | 244 | 80
126.47/126.54 c 121s | 17 | 369309 | 252032 | 3615 118 | 244 | 80
128.47/128.55 c 123s | 17 | 374828 | 255932 | 3615 119 | 244 | 80
130.47/130.55 c 125s | 17 | 379902 | 259432 | 3615 121 | 244 | 80
132.47/132.57 c 127s | 17 | 385337 | 263332 | 3615 122 | 244 | 80
134.47/134.59 c 129s | 17 | 389685 | 266532 | 3615 123 | 244 | 80
136.57/136.63 c 131s | 17 | 394763 | 270132 | 3615 125 | 244 | 80
138.56/138.64 c 133s | 17 | 401548 | 274632 | 3615 127 | 244 | 80
140.56/140.68 c 135s | 17 | 406744 | 278632 | 3615 128 | 244 | 80
142.56/142.69 c 137s | 17 | 412448 | 282632 | 3977 130 | 244 | 80
144.66/144.74 c 139s | 17 | 417471 | 286532 | 3977 131 | 244 | 80
146.66/146.78 c 141s | 17 | 422749 | 290332 | 3977 133 | 244 | 80
148.77/148.82 c 143s | 17 | 428175 | 294232 | 3977 134 | 244 | 80
149.77/149.87 c 144s | 18 | 430754 | 296252 | 3977 135 | 244 | 80
151.76/151.88 c 146s | 18 | 439217 | 301652 | 3977 137 | 244 | 80
153.86/153.90 c 148s | 18 | 446647 | 306652 | 3977 139 | 244 | 80
155.86/155.92 c 150s | 18 | 453855 | 311452 | 3977 141 | 244 | 80
157.86/157.94 c 153s | 18 | 461526 | 316552 | 3977 143 | 244 | 80
159.86/159.97 c 155s | 18 | 468707 | 321152 | 3977 145 | 244 | 80
161.86/162.00 c 157s | 18 | 475690 | 325752 | 3977 147 | 244 | 80
163.96/164.01 c 159s | 18 | 482089 | 330452 | 3977 148 | 244 | 80
165.96/166.03 c 161s | 18 | 490855 | 336352 | 3977 151 | 244 | 80
167.95/168.06 c 163s | 18 | 498159 | 341652 | 3977 153 | 244 | 80
169.95/170.07 c 165s | 18 | 506360 | 346852 | 3977 155 | 244 | 80
172.06/172.11 c 167s | 18 | 511781 | 350952 | 3977 156 | 244 | 80
174.07/174.15 c 169s | 18 | 516015 | 354352 | 3977 158 | 244 | 80
176.17/176.21 c 171s | 18 | 520819 | 357852 | 3977 159 | 244 | 80
178.15/178.25 c 173s | 18 | 525930 | 361652 | 3977 160 | 244 | 80
180.15/180.25 c 175s | 18 | 530277 | 364852 | 3977 162 | 244 | 80
182.25/182.32 c 177s | 18 | 534521 | 368152 | 3977 163 | 244 | 80
184.25/184.32 c 179s | 18 | 538238 | 370952 | 3977 164 | 244 | 80
186.25/186.36 c 181s | 18 | 544155 | 375152 | 3977 166 | 244 | 80
188.36/188.41 c 183s | 18 | 549351 | 378952 | 3977 167 | 244 | 80
190.35/190.43 c 185s | 18 | 554241 | 382652 | 3977 168 | 244 | 80
192.35/192.45 c 187s | 18 | 559266 | 386552 | 3977 170 | 244 | 80
194.35/194.47 c 189s | 18 | 565210 | 390852 | 3977 172 | 244 | 80
196.45/196.52 c 191s | 18 | 571007 | 395452 | 3977 173 | 244 | 80
198.45/198.53 c 193s | 18 | 577304 | 400052 | 3977 175 | 244 | 80
200.45/200.59 c 195s | 18 | 583221 | 404352 | 3977 177 | 244 | 80
202.55/202.61 c 197s | 18 | 588798 | 408752 | 3977 178 | 244 | 80
204.54/204.62 c 199s | 18 | 593853 | 412752 | 3977 180 | 244 | 80
206.54/206.67 c 201s | 18 | 598600 | 416352 | 3977 181 | 244 | 80
208.64/208.74 c 203s | 18 | 603424 | 419952 | 3977 183 | 244 | 80
210.64/210.78 c 205s | 18 | 609060 | 424152 | 3977 184 | 244 | 80
212.74/212.80 c 207s | 18 | 614722 | 428452 | 4375 186 | 244 | 80
214.75/214.83 c 209s | 18 | 620581 | 433052 | 4375 188 | 244 | 80
216.74/216.84 c 211s | 18 | 626319 | 437252 | 4375 189 | 244 | 80
218.74/218.86 c 213s | 18 | 632279 | 441252 | 4375 191 | 244 | 80
219.94/220.07 c 215s | 19 | 637699 | 444482 | 4375 192 | 244 | 80
222.03/222.12 c 217s | 19 | 645666 | 449682 | 4375 194 | 244 | 80
224.03/224.12 c 219s | 19 | 651386 | 453882 | 4375 195 | 244 | 80
226.03/226.14 c 221s | 19 | 656628 | 457882 | 4375 197 | 244 | 80
228.03/228.16 c 223s | 19 | 662442 | 462382 | 4375 198 | 244 | 80
230.14/230.20 c 225s | 19 | 669396 | 467282 | 4375 200 | 244 | 80
232.13/232.24 c 227s | 19 | 676365 | 472282 | 4375 202 | 244 | 80
234.13/234.27 c 229s | 19 | 682318 | 476982 | 4375 203 | 244 | 80
236.13/236.29 c 231s | 19 | 688291 | 481482 | 4375 205 | 244 | 80
238.23/238.33 c 233s | 19 | 693839 | 485982 | 4375 206 | 244 | 80
240.23/240.37 c 235s | 19 | 699682 | 490582 | 4375 208 | 244 | 80
242.23/242.37 c 237s | 19 | 704488 | 494282 | 4375 209 | 244 | 80
244.22/244.37 c 239s | 19 | 709220 | 497882 | 4375 211 | 244 | 80
246.22/246.38 c 241s | 19 | 713964 | 501382 | 4375 212 | 244 | 80
248.22/248.38 c 243s | 19 | 719676 | 505382 | 4375 213 | 244 | 80
250.32/250.42 c 245s | 19 | 724272 | 509082 | 4375 215 | 244 | 80
252.32/252.47 c 247s | 19 | 729182 | 512982 | 4375 216 | 244 | 80
254.33/254.49 c 249s | 19 | 733960 | 516682 | 4375 217 | 244 | 80
256.43/256.55 c 251s | 19 | 738450 | 520182 | 4375 219 | 244 | 80
258.42/258.58 c 253s | 19 | 744641 | 524682 | 4375 220 | 244 | 80
260.42/260.58 c 255s | 19 | 749752 | 528682 | 4375 222 | 244 | 80
262.42/262.59 c 257s | 19 | 755048 | 532582 | 4375 223 | 244 | 80
264.52/264.60 c 259s | 19 | 761319 | 536982 | 4375 225 | 244 | 80
266.52/266.62 c 261s | 19 | 767215 | 541482 | 4375 226 | 244 | 80
268.52/268.63 c 263s | 19 | 773155 | 545482 | 4375 228 | 244 | 80
270.51/270.67 c 265s | 19 | 779749 | 549682 | 4375 229 | 244 | 80
272.61/272.70 c 267s | 19 | 785950 | 554082 | 4375 231 | 244 | 80
274.61/274.72 c 269s | 19 | 791467 | 558382 | 4375 232 | 244 | 80
276.61/276.72 c 271s | 19 | 795868 | 561782 | 4375 233 | 244 | 80
278.61/278.75 c 273s | 19 | 802552 | 566682 | 4375 235 | 244 | 80
280.62/280.76 c 275s | 19 | 806598 | 569882 | 4375 236 | 244 | 80
282.61/282.78 c 277s | 19 | 812085 | 574082 | 4375 238 | 244 | 80
284.71/284.82 c 279s | 19 | 817772 | 578482 | 4375 239 | 244 | 80
286.71/286.82 c 281s | 19 | 822814 | 582382 | 4375 241 | 244 | 80
288.71/288.83 c 283s | 19 | 828672 | 586982 | 4375 242 | 244 | 80
290.70/290.87 c 285s | 19 | 835914 | 592282 | 4375 244 | 244 | 80
292.81/292.92 c 287s | 19 | 841989 | 596882 | 4375 246 | 244 | 80
294.80/294.94 c 290s | 19 | 847078 | 600582 | 4375 247 | 244 | 80
296.80/296.96 c 292s | 19 | 852192 | 604482 | 4375 249 | 244 | 80
298.80/298.97 c 294s | 19 | 857843 | 608782 | 4375 250 | 244 | 80
300.90/301.01 c 296s | 19 | 862639 | 612682 | 4375 251 | 244 | 80
302.90/303.02 c 298s | 19 | 867447 | 616382 | 4375 253 | 244 | 80
304.91/305.05 c 300s | 19 | 872268 | 620382 | 4375 254 | 244 | 80
306.90/307.09 c 302s | 19 | 877345 | 624282 | 4375 255 | 244 | 80
309.00/309.10 c 304s | 19 | 882135 | 628082 | 4375 257 | 244 | 80
311.00/311.11 c 306s | 19 | 887593 | 632382 | 4375 258 | 244 | 80
313.00/313.13 c 308s | 19 | 892593 | 636182 | 4375 260 | 244 | 80
315.00/315.15 c 310s | 19 | 897638 | 640182 | 4375 261 | 244 | 80
317.00/317.16 c 312s | 19 | 902737 | 644082 | 4375 262 | 244 | 80
319.10/319.21 c 314s | 19 | 908093 | 648082 | 4375 264 | 244 | 80
321.09/321.22 c 316s | 19 | 914454 | 652982 | 4813 265 | 244 | 80
323.09/323.24 c 318s | 19 | 920466 | 657782 | 4813 267 | 244 | 80
325.09/325.25 c 320s | 19 | 925347 | 661682 | 4813 268 | 244 | 80
327.09/327.29 c 322s | 19 | 930853 | 666082 | 4813 270 | 244 | 80
327.49/327.64 c 322s | 20 | 931701 | 666827 | 4813 270 | 244 | 80
329.49/329.66 c 324s | 20 | 938067 | 671327 | 4813 271 | 244 | 80
331.49/331.69 c 326s | 20 | 942889 | 674927 | 4813 273 | 244 | 80
333.59/333.73 c 328s | 20 | 948456 | 678927 | 4813 274 | 244 | 80
335.59/335.77 c 330s | 20 | 954105 | 682827 | 4813 275 | 244 | 80
337.68/337.80 c 332s | 20 | 959296 | 686927 | 4813 277 | 244 | 80
339.68/339.80 c 334s | 20 | 965323 | 691427 | 4813 278 | 244 | 80
341.68/341.82 c 336s | 20 | 969530 | 694927 | 4813 279 | 244 | 80
343.68/343.85 c 338s | 20 | 974564 | 698827 | 4813 280 | 244 | 80
345.68/345.88 c 340s | 20 | 979536 | 702427 | 4813 282 | 244 | 80
347.78/347.92 c 342s | 20 | 983707 | 705727 | 4813 283 | 244 | 80
349.77/349.92 c 344s | 20 | 988590 | 709527 | 4813 284 | 244 | 80
351.77/351.92 c 346s | 20 | 994436 | 713827 | 4813 285 | 244 | 80
353.77/353.96 c 349s | 20 | 1000670 | 718227 | 4813 287 | 244 | 80
355.77/355.99 c 351s | 20 | 1007223 | 722627 | 4813 288 | 244 | 80
357.87/358.07 c 353s | 20 | 1012982 | 726827 | 4813 290 | 244 | 80
359.97/360.11 c 355s | 20 | 1017927 | 730527 | 4813 291 | 244 | 80
361.98/362.11 c 357s | 20 | 1023618 | 734727 | 4813 292 | 244 | 80
363.97/364.15 c 359s | 20 | 1028793 | 738227 | 4813 293 | 244 | 80
366.07/366.21 c 361s | 20 | 1034237 | 742527 | 4813 295 | 244 | 80
368.07/368.23 c 363s | 20 | 1040272 | 746927 | 4813 296 | 244 | 80
370.07/370.26 c 365s | 20 | 1046239 | 751227 | 4813 298 | 244 | 80
372.07/372.27 c 367s | 20 | 1052087 | 755727 | 4813 299 | 244 | 80
374.17/374.32 c 369s | 20 | 1058317 | 760127 | 4813 301 | 244 | 80
376.16/376.36 c 371s | 20 | 1063309 | 763927 | 4813 302 | 244 | 80
378.16/378.37 c 373s | 20 | 1067116 | 766727 | 4813 303 | 244 | 80
380.17/380.37 c 375s | 20 | 1072127 | 770427 | 4813 304 | 244 | 80
382.17/382.38 c 377s | 20 | 1076353 | 773627 | 4813 305 | 244 | 80
384.27/384.45 c 379s | 20 | 1080791 | 776827 | 4813 306 | 244 | 80
386.28/386.48 c 381s | 20 | 1085838 | 780427 | 4813 307 | 244 | 80
388.37/388.51 c 383s | 20 | 1091225 | 784327 | 4813 308 | 244 | 80
390.36/390.52 c 385s | 20 | 1096832 | 788227 | 4813 310 | 244 | 80
392.36/392.53 c 387s | 20 | 1101494 | 791727 | 4813 311 | 244 | 80
394.36/394.55 c 389s | 20 | 1105585 | 794727 | 4813 312 | 244 | 80
396.36/396.58 c 391s | 20 | 1110053 | 797827 | 4813 313 | 244 | 80
398.46/398.60 c 393s | 20 | 1115082 | 801227 | 4813 314 | 244 | 80
400.46/400.61 c 395s | 20 | 1120309 | 804727 | 4813 315 | 244 | 80
402.46/402.64 c 397s | 20 | 1125519 | 808127 | 4813 316 | 244 | 80
404.46/404.64 c 399s | 20 | 1130311 | 811727 | 4813 317 | 244 | 80
406.46/406.69 c 401s | 20 | 1134825 | 815027 | 4813 319 | 244 | 80
408.55/408.75 c 403s | 20 | 1138485 | 817827 | 4813 319 | 244 | 80
410.55/410.77 c 405s | 20 | 1141824 | 820427 | 4813 320 | 244 | 80
412.66/412.82 c 407s | 20 | 1145194 | 823127 | 4813 321 | 244 | 80
414.65/414.87 c 409s | 20 | 1149169 | 825927 | 4813 322 | 244 | 80
416.65/416.87 c 411s | 20 | 1153330 | 828727 | 4813 323 | 244 | 80
418.75/418.90 c 413s | 20 | 1157321 | 831627 | 4813 324 | 244 | 80
420.75/420.93 c 415s | 20 | 1161932 | 835127 | 4813 325 | 244 | 80
422.75/422.95 c 418s | 20 | 1166370 | 838527 | 4813 326 | 244 | 80
424.85/425.02 c 420s | 20 | 1170885 | 841927 | 4813 327 | 244 | 80
426.85/427.06 c 422s | 20 | 1175072 | 844927 | 4813 328 | 244 | 80
428.84/429.09 c 424s | 20 | 1179362 | 847527 | 4813 329 | 244 | 80
430.94/431.12 c 426s | 20 | 1183261 | 850527 | 4813 330 | 244 | 80
432.94/433.14 c 428s | 20 | 1187960 | 853927 | 4813 331 | 244 | 80
434.94/435.17 c 430s | 20 | 1192068 | 857127 | 4813 332 | 244 | 80
436.94/437.17 c 432s | 20 | 1196472 | 860227 | 4813 334 | 244 | 80
439.04/439.21 c 434s | 20 | 1202673 | 864327 | 4813 335 | 244 | 80
441.04/441.25 c 436s | 20 | 1208874 | 868727 | 4813 336 | 244 | 80
443.03/443.27 c 438s | 20 | 1213144 | 871927 | 4813 337 | 244 | 80
445.13/445.30 c 440s | 20 | 1218109 | 875227 | 4813 339 | 244 | 80
447.13/447.33 c 442s | 20 | 1224240 | 879127 | 4813 340 | 244 | 80
449.13/449.33 c 444s | 20 | 1230332 | 882727 | 4813 341 | 244 | 80
451.14/451.34 c 446s | 20 | 1235658 | 886727 | 4813 342 | 244 | 80
453.24/453.41 c 448s | 20 | 1240790 | 890427 | 4813 344 | 244 | 80
455.23/455.42 c 450s | 20 | 1245386 | 894027 | 4813 345 | 244 | 80
457.22/457.45 c 452s | 20 | 1250504 | 897427 | 4813 346 | 244 | 80
459.22/459.46 c 454s | 20 | 1254981 | 900827 | 4813 347 | 244 | 80
461.22/461.49 c 456s | 20 | 1260703 | 904827 | 4813 348 | 244 | 80
463.32/463.50 c 458s | 20 | 1265743 | 908627 | 4813 350 | 244 | 80
465.33/465.54 c 460s | 20 | 1270767 | 912627 | 4813 351 | 244 | 80
467.33/467.58 c 462s | 20 | 1274887 | 916027 | 4813 352 | 244 | 80
469.43/469.61 c 464s | 20 | 1280120 | 919927 | 4813 353 | 244 | 80
471.43/471.67 c 466s | 20 | 1286033 | 924127 | 4813 355 | 244 | 80
473.43/473.69 c 468s | 20 | 1290635 | 927627 | 4813 356 | 244 | 80
475.52/475.71 c 470s | 20 | 1296444 | 931527 | 4813 357 | 244 | 80
477.53/477.71 c 472s | 20 | 1302740 | 935927 | 4813 358 | 244 | 80
479.52/479.75 c 474s | 20 | 1307768 | 939627 | 4813 360 | 244 | 80
481.52/481.75 c 476s | 20 | 1312993 | 943727 | 4813 361 | 244 | 80
483.52/483.79 c 478s | 20 | 1318438 | 947927 | 4813 362 | 244 | 80
485.62/485.82 c 480s | 20 | 1325050 | 952627 | 4813 364 | 244 | 80
487.61/487.86 c 482s | 20 | 1331126 | 956927 | 4813 365 | 244 | 80
489.62/489.87 c 484s | 20 | 1336457 | 960927 | 4813 367 | 244 | 80
491.61/491.88 c 486s | 20 | 1341396 | 964827 | 4813 368 | 244 | 80
493.71/493.93 c 488s | 20 | 1346355 | 968527 | 4813 369 | 244 | 80
495.81/496.00 c 491s | 20 | 1351093 | 972227 | 4813 371 | 244 | 80
497.81/498.05 c 493s | 20 | 1356150 | 975827 | 4813 372 | 244 | 80
499.81/500.06 c 495s | 20 | 1360596 | 979327 | 4813 373 | 244 | 80
501.90/502.12 c 497s | 20 | 1365911 | 982927 | 5295 374 | 244 | 80
503.91/504.12 c 499s | 20 | 1371185 | 986327 | 5295 375 | 244 | 80
505.91/506.18 c 501s | 20 | 1375794 | 989527 | 5295 376 | 244 | 80
508.00/508.23 c 503s | 20 | 1379803 | 992127 | 5295 377 | 244 | 80
510.00/510.26 c 505s | 20 | 1384021 | 995227 | 5295 378 | 244 | 80
512.00/512.27 c 507s | 20 | 1389469 | 999127 | 5295 379 | 244 | 80
512.60/512.81 c 507s | 21 | 1391543 | 1000345 | 5295 379 | 244 | 80
514.60/514.84 c 509s | 21 | 1398229 | 1005045 | 5295 381 | 244 | 80
516.60/516.87 c 511s | 21 | 1402392 | 1008245 | 5295 382 | 244 | 80
518.59/518.88 c 513s | 21 | 1407864 | 1012445 | 5295 383 | 244 | 80
520.69/520.91 c 515s | 21 | 1414092 | 1016645 | 5295 384 | 244 | 80
522.69/522.95 c 518s | 21 | 1420286 | 1021045 | 5295 386 | 244 | 80
524.70/524.98 c 520s | 21 | 1425422 | 1025045 | 5295 387 | 244 | 80
526.69/526.99 c 522s | 21 | 1429965 | 1028445 | 5295 388 | 244 | 80
528.78/529.01 c 524s | 21 | 1434139 | 1031945 | 5295 389 | 244 | 80
530.78/531.04 c 526s | 21 | 1438644 | 1035645 | 5295 390 | 244 | 80
532.78/533.10 c 528s | 21 | 1442991 | 1039045 | 5295 391 | 244 | 80
534.88/535.10 c 530s | 21 | 1446250 | 1041645 | 5295 392 | 244 | 80
536.89/537.11 c 532s | 21 | 1452528 | 1045845 | 5295 393 | 244 | 80
538.89/539.12 c 534s | 21 | 1459417 | 1050645 | 5295 395 | 244 | 80
540.89/541.13 c 536s | 21 | 1464927 | 1054945 | 5295 396 | 244 | 80
542.99/543.20 c 538s | 21 | 1469872 | 1058645 | 5295 397 | 244 | 80
544.99/545.21 c 540s | 21 | 1474312 | 1061945 | 5295 398 | 244 | 80
546.98/547.22 c 542s | 21 | 1479298 | 1065645 | 5295 399 | 244 | 80
548.99/549.22 c 544s | 21 | 1483558 | 1069145 | 5295 400 | 244 | 80
550.98/551.24 c 546s | 21 | 1488382 | 1073045 | 5295 401 | 244 | 80
553.08/553.31 c 548s | 21 | 1492869 | 1076445 | 5295 403 | 244 | 80
555.08/555.32 c 550s | 21 | 1497834 | 1080445 | 5295 404 | 244 | 80
557.08/557.34 c 552s | 21 | 1502835 | 1084445 | 5295 405 | 244 | 80
559.08/559.35 c 554s | 21 | 1507770 | 1088145 | 5295 406 | 244 | 80
561.17/561.47 c 556s | 21 | 1513456 | 1092645 | 5295 408 | 244 | 80
563.18/563.49 c 558s | 21 | 1518817 | 1096745 | 5295 409 | 244 | 80
565.27/565.51 c 560s | 21 | 1525846 | 1101245 | 5295 410 | 244 | 80
567.27/567.59 c 562s | 21 | 1531383 | 1105445 | 5295 412 | 244 | 80
569.37/569.60 c 564s | 21 | 1538009 | 1109945 | 5295 413 | 244 | 80
571.37/571.63 c 566s | 21 | 1544246 | 1114845 | 5295 414 | 244 | 80
573.37/573.69 c 568s | 21 | 1549291 | 1118545 | 5295 416 | 244 | 80
575.47/575.71 c 570s | 21 | 1555424 | 1122945 | 5295 417 | 244 | 80
577.47/577.74 c 572s | 21 | 1561931 | 1127545 | 5295 418 | 244 | 80
579.47/579.77 c 574s | 21 | 1568115 | 1132145 | 5295 420 | 244 | 80
581.47/581.78 c 576s | 21 | 1573362 | 1136145 | 5295 421 | 244 | 80
583.47/583.79 c 578s | 21 | 1578726 | 1140345 | 5295 422 | 244 | 80
585.57/585.84 c 580s | 21 | 1584912 | 1144845 | 5295 424 | 244 | 80
587.56/587.87 c 582s | 21 | 1590477 | 1148845 | 5295 425 | 244 | 80
589.67/589.92 c 584s | 21 | 1596144 | 1152845 | 5295 426 | 244 | 80
591.66/591.95 c 587s | 21 | 1601491 | 1156645 | 5295 427 | 244 | 80
593.66/593.99 c 589s | 21 | 1608037 | 1161245 | 5295 429 | 244 | 80
595.66/595.99 c 591s | 21 | 1613752 | 1165345 | 5295 430 | 244 | 80
597.76/598.00 c 593s | 21 | 1619843 | 1169445 | 5295 431 | 244 | 80
599.76/600.04 c 595s | 21 | 1626174 | 1173845 | 5295 432 | 244 | 80
601.86/602.10 c 597s | 21 | 1630236 | 1177045 | 5295 433 | 244 | 80
603.86/604.14 c 599s | 21 | 1634030 | 1179945 | 5295 434 | 244 | 80
605.86/606.19 c 601s | 21 | 1638316 | 1183545 | 5295 435 | 244 | 80
607.95/608.22 c 603s | 21 | 1642768 | 1186745 | 5295 436 | 244 | 80
609.95/610.25 c 605s | 21 | 1647094 | 1190245 | 5295 437 | 244 | 80
612.05/612.30 c 607s | 21 | 1651447 | 1193645 | 5295 438 | 244 | 80
614.05/614.32 c 609s | 21 | 1656917 | 1197245 | 5295 440 | 244 | 80
616.06/616.36 c 611s | 21 | 1661687 | 1200845 | 5295 441 | 244 | 80
618.15/618.42 c 613s | 21 | 1667448 | 1205245 | 5295 442 | 244 | 80
620.15/620.43 c 615s | 21 | 1672513 | 1209245 | 5295 443 | 244 | 80
622.15/622.44 c 617s | 21 | 1677819 | 1213045 | 5295 445 | 244 | 80
624.15/624.46 c 619s | 21 | 1684948 | 1217745 | 5295 446 | 244 | 80
626.15/626.49 c 621s | 21 | 1689968 | 1221745 | 5295 447 | 244 | 80
628.15/628.50 c 623s | 21 | 1695073 | 1226045 | 5295 448 | 244 | 80
630.25/630.51 c 625s | 21 | 1703469 | 1231245 | 5295 450 | 244 | 80
632.24/632.53 c 627s | 21 | 1708453 | 1234945 | 5295 451 | 244 | 80
634.24/634.57 c 629s | 21 | 1713176 | 1238445 | 5295 452 | 244 | 80
636.24/636.59 c 631s | 21 | 1719100 | 1242945 | 5295 454 | 244 | 80
638.34/638.61 c 633s | 21 | 1724982 | 1247645 | 5295 455 | 244 | 80
640.33/640.62 c 635s | 21 | 1730400 | 1251945 | 5295 457 | 244 | 80
642.34/642.67 c 637s | 21 | 1737888 | 1257245 | 5295 458 | 244 | 80
644.43/644.70 c 639s | 21 | 1743071 | 1261245 | 5295 459 | 244 | 80
646.43/646.72 c 641s | 21 | 1747764 | 1264945 | 5295 460 | 244 | 80
648.43/648.75 c 643s | 21 | 1752404 | 1268545 | 5295 462 | 244 | 80
650.43/650.79 c 645s | 21 | 1760381 | 1273945 | 5295 463 | 244 | 80
652.53/652.82 c 647s | 21 | 1767328 | 1278945 | 5295 465 | 244 | 80
654.54/654.83 c 649s | 21 | 1773530 | 1283445 | 5295 466 | 244 | 80
656.53/656.86 c 651s | 21 | 1779814 | 1287645 | 5295 468 | 244 | 80
658.62/658.90 c 653s | 21 | 1785873 | 1292045 | 5295 469 | 244 | 80
660.62/660.92 c 655s | 21 | 1793476 | 1297345 | 5295 471 | 244 | 80
662.63/662.95 c 658s | 21 | 1799618 | 1301645 | 5295 472 | 244 | 80
664.62/664.96 c 660s | 21 | 1805486 | 1305845 | 5295 473 | 244 | 80
666.72/667.02 c 662s | 21 | 1813034 | 1310945 | 5295 475 | 244 | 80
668.73/669.02 c 664s | 21 | 1820488 | 1316245 | 5295 477 | 244 | 80
670.72/671.03 c 666s | 21 | 1826375 | 1320745 | 5295 478 | 244 | 80
672.72/673.05 c 668s | 21 | 1832242 | 1325145 | 5295 479 | 244 | 80
674.72/675.07 c 670s | 21 | 1838210 | 1329445 | 5295 481 | 244 | 80
676.72/677.08 c 672s | 21 | 1844789 | 1334345 | 5295 482 | 244 | 80
678.81/679.12 c 674s | 21 | 1850801 | 1338945 | 5295 484 | 244 | 80
680.82/681.15 c 676s | 21 | 1856595 | 1343245 | 5295 485 | 244 | 80
682.81/683.19 c 678s | 21 | 1862167 | 1347245 | 5295 486 | 244 | 80
684.91/685.24 c 680s | 21 | 1868384 | 1351945 | 5295 488 | 244 | 80
686.91/687.28 c 682s | 21 | 1874684 | 1356745 | 5295 489 | 244 | 80
688.91/689.29 c 684s | 21 | 1880737 | 1361345 | 5295 490 | 244 | 80
691.01/691.30 c 686s | 21 | 1886477 | 1365745 | 5295 492 | 244 | 80
693.02/693.33 c 688s | 21 | 1892170 | 1370245 | 5295 493 | 244 | 80
695.01/695.34 c 690s | 21 | 1896419 | 1373845 | 5295 494 | 244 | 80
697.00/697.37 c 692s | 21 | 1902773 | 1378445 | 5295 496 | 244 | 80
699.00/699.38 c 694s | 21 | 1908643 | 1383145 | 5295 497 | 244 | 80
701.10/701.42 c 696s | 21 | 1915493 | 1388245 | 5295 499 | 244 | 80
703.10/703.44 c 698s | 21 | 1920928 | 1392845 | 5295 500 | 244 | 80
705.11/705.46 c 700s | 21 | 1925955 | 1396845 | 5295 502 | 244 | 80
707.09/707.49 c 702s | 21 | 1931823 | 1401345 | 5295 503 | 244 | 80
709.09/709.49 c 704s | 21 | 1936427 | 1405145 | 5295 504 | 244 | 80
711.09/711.49 c 706s | 21 | 1941738 | 1409245 | 5295 506 | 244 | 80
713.19/713.54 c 708s | 21 | 1947514 | 1413945 | 5295 507 | 244 | 80
715.19/715.58 c 710s | 21 | 1953306 | 1418445 | 5295 508 | 244 | 80
717.29/717.63 c 712s | 21 | 1957913 | 1422345 | 5295 510 | 244 | 80
719.30/719.66 c 714s | 21 | 1963411 | 1426645 | 5295 511 | 244 | 80
721.29/721.67 c 716s | 21 | 1972374 | 1432145 | 5295 513 | 244 | 80
723.29/723.67 c 718s | 21 | 1980151 | 1437345 | 5295 514 | 244 | 80
725.39/725.70 c 720s | 21 | 1987992 | 1442045 | 5295 516 | 244 | 80
727.38/727.74 c 722s | 21 | 1994572 | 1446645 | 5295 517 | 244 | 80
729.38/729.76 c 724s | 21 | 2000962 | 1450945 | 5295 519 | 244 | 80
731.39/731.76 c 726s | 21 | 2006952 | 1454945 | 5295 520 | 244 | 80
733.38/733.79 c 728s | 21 | 2013062 | 1459345 | 5295 521 | 244 | 80
735.48/735.80 c 730s | 21 | 2017851 | 1462945 | 5295 522 | 244 | 80
737.49/737.81 c 732s | 21 | 2023806 | 1467245 | 5295 524 | 244 | 80
739.49/739.83 c 734s | 21 | 2030359 | 1471945 | 5295 525 | 244 | 80
741.49/741.86 c 736s | 21 | 2035521 | 1475845 | 5295 526 | 244 | 80
743.50/743.90 c 738s | 21 | 2040006 | 1479345 | 5825 527 | 244 | 80
745.59/745.94 c 741s | 21 | 2044382 | 1482345 | 5825 528 | 244 | 80
747.59/747.99 c 743s | 21 | 2049081 | 1486045 | 5825 529 | 244 | 80
749.69/750.03 c 745s | 21 | 2053595 | 1489345 | 5825 530 | 244 | 80
751.68/752.06 c 747s | 21 | 2059932 | 1493645 | 5825 531 | 244 | 80
753.68/754.08 c 749s | 21 | 2065302 | 1497545 | 5825 533 | 244 | 80
755.18/755.50 c 750s | 22 | 2069559 | 1500622 | 5825 533 | 244 | 80
757.18/757.52 c 752s | 22 | 2077843 | 1505722 | 5825 535 | 244 | 80
759.18/759.56 c 754s | 22 | 2084568 | 1510622 | 5825 536 | 244 | 80
761.19/761.59 c 756s | 22 | 2089690 | 1514622 | 5825 537 | 244 | 80
763.29/763.61 c 758s | 22 | 2094683 | 1518422 | 5825 538 | 244 | 80
765.28/765.65 c 760s | 22 | 2099523 | 1522122 | 5825 539 | 244 | 80
767.27/767.65 c 762s | 22 | 2103972 | 1525622 | 5825 540 | 244 | 80
769.37/769.70 c 764s | 22 | 2109073 | 1529422 | 5825 541 | 244 | 80
771.37/771.72 c 766s | 22 | 2112538 | 1532322 | 5825 542 | 244 | 80
773.37/773.76 c 768s | 22 | 2116255 | 1535122 | 5825 543 | 244 | 80
775.38/775.77 c 770s | 22 | 2120990 | 1538522 | 5825 544 | 244 | 80
777.37/777.78 c 772s | 22 | 2125355 | 1541922 | 5825 545 | 244 | 80
779.47/779.81 c 774s | 22 | 2130199 | 1545522 | 5825 546 | 244 | 80
781.47/781.82 c 776s | 22 | 2134179 | 1548722 | 5825 547 | 244 | 80
783.47/783.85 c 778s | 22 | 2138949 | 1552422 | 5825 548 | 244 | 80
785.57/785.91 c 780s | 22 | 2142963 | 1555622 | 5825 549 | 244 | 80
787.57/787.95 c 783s | 22 | 2146400 | 1558422 | 5825 550 | 244 | 80
789.56/789.96 c 785s | 22 | 2150228 | 1561322 | 5825 551 | 244 | 80
791.56/791.97 c 787s | 22 | 2154421 | 1564722 | 5825 552 | 244 | 80
793.66/794.04 c 789s | 22 | 2159471 | 1568422 | 5825 553 | 244 | 80
795.66/796.06 c 791s | 22 | 2163145 | 1571322 | 5825 553 | 244 | 80
797.66/798.09 c 793s | 22 | 2167725 | 1574722 | 5825 554 | 244 | 80
799.76/800.14 c 795s | 22 | 2172592 | 1578622 | 5825 555 | 244 | 80
801.87/802.21 c 797s | 22 | 2176256 | 1581522 | 5825 556 | 244 | 80
803.86/804.26 c 799s | 22 | 2179597 | 1584222 | 5825 557 | 244 | 80
805.96/806.32 c 801s | 22 | 2184000 | 1587622 | 5825 558 | 244 | 80
807.96/808.33 c 803s | 22 | 2189006 | 1591522 | 5825 559 | 244 | 80
809.96/810.38 c 805s | 22 | 2194449 | 1595522 | 5825 560 | 244 | 80
812.06/812.40 c 807s | 22 | 2199150 | 1599122 | 5825 561 | 244 | 80
814.06/814.42 c 809s | 22 | 2204506 | 1603022 | 5825 562 | 244 | 80
816.06/816.44 c 811s | 22 | 2210048 | 1607422 | 5825 564 | 244 | 80
818.05/818.44 c 813s | 22 | 2215090 | 1611322 | 5825 565 | 244 | 80
820.05/820.48 c 815s | 22 | 2220727 | 1615422 | 5825 566 | 244 | 80
822.15/822.51 c 817s | 22 | 2225914 | 1619422 | 5825 567 | 244 | 80
824.15/824.54 c 819s | 22 | 2230279 | 1622622 | 5825 568 | 244 | 80
826.15/826.57 c 821s | 22 | 2235245 | 1626622 | 5825 569 | 244 | 80
828.26/828.62 c 823s | 22 | 2238673 | 1629422 | 5825 570 | 244 | 80
830.25/830.70 c 825s | 22 | 2242162 | 1632022 | 5825 571 | 244 | 80
832.35/832.76 c 827s | 22 | 2245768 | 1635022 | 5825 571 | 244 | 80
834.35/834.77 c 829s | 22 | 2249151 | 1637722 | 5825 572 | 244 | 80
836.35/836.79 c 831s | 22 | 2253114 | 1640622 | 5825 573 | 244 | 80
838.45/838.80 c 833s | 22 | 2257028 | 1643422 | 5825 574 | 244 | 80
840.45/840.84 c 835s | 22 | 2262433 | 1647322 | 5825 575 | 244 | 80
842.46/842.89 c 837s | 22 | 2265884 | 1650122 | 5825 576 | 244 | 80
844.45/844.89 c 839s | 22 | 2267988 | 1651922 | 5825 576 | 244 | 80
846.45/846.89 c 841s | 22 | 2272096 | 1655022 | 5825 577 | 244 | 80
848.55/848.91 c 843s | 22 | 2276987 | 1659022 | 5825 578 | 244 | 80
850.55/850.94 c 846s | 22 | 2281341 | 1662422 | 5825 579 | 244 | 80
852.55/852.97 c 848s | 22 | 2285664 | 1665922 | 5825 580 | 244 | 80
854.55/854.97 c 850s | 22 | 2289692 | 1669122 | 5825 581 | 244 | 80
856.55/856.99 c 852s | 22 | 2294122 | 1672622 | 5825 582 | 244 | 80
858.65/859.03 c 854s | 22 | 2300061 | 1676722 | 5825 583 | 244 | 80
860.65/861.03 c 856s | 22 | 2305296 | 1680822 | 5825 584 | 244 | 80
862.65/863.07 c 858s | 22 | 2309675 | 1684422 | 5825 585 | 244 | 80
864.75/865.12 c 860s | 22 | 2314084 | 1687922 | 5825 586 | 244 | 80
866.75/867.18 c 862s | 22 | 2318463 | 1691422 | 5825 587 | 244 | 80
868.74/869.18 c 864s | 22 | 2322904 | 1694822 | 5825 588 | 244 | 80
870.74/871.19 c 866s | 22 | 2327159 | 1698222 | 5825 589 | 244 | 80
872.84/873.20 c 868s | 22 | 2331561 | 1701722 | 5825 590 | 244 | 80
874.84/875.26 c 870s | 22 | 2336352 | 1705522 | 5825 591 | 244 | 80
876.84/877.28 c 872s | 22 | 2340691 | 1709022 | 5825 592 | 244 | 80
878.94/879.33 c 874s | 22 | 2345038 | 1712322 | 5825 593 | 244 | 80
880.95/881.37 c 876s | 22 | 2348972 | 1715422 | 5825 594 | 244 | 80
882.94/883.37 c 878s | 22 | 2353234 | 1718722 | 5825 595 | 244 | 80
884.94/885.37 c 880s | 22 | 2357598 | 1722222 | 5825 596 | 244 | 80
886.94/887.38 c 882s | 22 | 2361613 | 1725222 | 5825 597 | 244 | 80
889.04/889.43 c 884s | 22 | 2366590 | 1728822 | 5825 598 | 244 | 80
891.04/891.45 c 886s | 22 | 2371738 | 1732422 | 5825 599 | 244 | 80
893.05/893.49 c 888s | 22 | 2376852 | 1736522 | 5825 600 | 244 | 80
895.14/895.51 c 890s | 22 | 2380929 | 1739822 | 5825 601 | 244 | 80
897.14/897.56 c 892s | 22 | 2384464 | 1742622 | 5825 602 | 244 | 80
899.14/899.58 c 894s | 22 | 2387837 | 1745222 | 5825 602 | 244 | 80
901.24/901.64 c 896s | 22 | 2392111 | 1748722 | 5825 603 | 244 | 80
903.24/903.66 c 898s | 22 | 2395743 | 1751722 | 5825 604 | 244 | 80
905.34/905.72 c 900s | 22 | 2401275 | 1756022 | 5825 606 | 244 | 80
907.35/907.74 c 902s | 22 | 2406137 | 1759822 | 5825 607 | 244 | 80
909.34/909.75 c 904s | 22 | 2411995 | 1764522 | 5825 608 | 244 | 80
911.34/911.75 c 906s | 22 | 2417406 | 1768722 | 5825 609 | 244 | 80
913.34/913.76 c 908s | 22 | 2422097 | 1772622 | 5825 610 | 244 | 80
915.34/915.77 c 910s | 22 | 2427578 | 1776922 | 5825 612 | 244 | 80
917.35/917.78 c 912s | 22 | 2432772 | 1781022 | 5825 613 | 244 | 80
919.44/919.81 c 914s | 22 | 2440051 | 1786022 | 5825 614 | 244 | 80
921.44/921.84 c 916s | 22 | 2446729 | 1790822 | 5825 616 | 244 | 80
923.44/923.85 c 918s | 22 | 2452985 | 1795322 | 5825 617 | 244 | 80
925.44/925.89 c 920s | 22 | 2458317 | 1799222 | 5825 618 | 244 | 80
927.54/927.91 c 922s | 22 | 2462926 | 1802822 | 5825 619 | 244 | 80
929.54/929.94 c 925s | 22 | 2467830 | 1806622 | 5825 620 | 244 | 80
931.54/931.94 c 927s | 22 | 2473960 | 1811322 | 5825 621 | 244 | 80
933.54/933.98 c 929s | 22 | 2480352 | 1815722 | 5825 623 | 244 | 80
935.53/935.98 c 931s | 22 | 2486288 | 1820022 | 5825 624 | 244 | 80
937.53/937.98 c 933s | 22 | 2492491 | 1824822 | 5825 625 | 244 | 80
939.63/940.00 c 935s | 22 | 2498927 | 1829322 | 5825 627 | 244 | 80
941.63/942.01 c 937s | 22 | 2505086 | 1833722 | 5825 628 | 244 | 80
943.64/944.01 c 939s | 22 | 2509954 | 1837322 | 5825 629 | 244 | 80
945.63/946.04 c 941s | 22 | 2516551 | 1841722 | 5825 630 | 244 | 80
947.63/948.04 c 943s | 22 | 2521989 | 1845922 | 5825 631 | 244 | 80
949.63/950.06 c 945s | 22 | 2526333 | 1849522 | 5825 632 | 244 | 80
951.63/952.08 c 947s | 22 | 2533370 | 1854322 | 5825 634 | 244 | 80
953.73/954.13 c 949s | 22 | 2538645 | 1858422 | 5825 635 | 244 | 80
955.74/956.16 c 951s | 22 | 2543835 | 1862422 | 5825 636 | 244 | 80
957.73/958.18 c 953s | 22 | 2548893 | 1866122 | 5825 637 | 244 | 80
959.83/960.21 c 955s | 22 | 2553737 | 1869722 | 5825 638 | 244 | 80
961.83/962.24 c 957s | 22 | 2560851 | 1874522 | 5825 639 | 244 | 80
963.83/964.26 c 959s | 22 | 2566460 | 1878622 | 5825 641 | 244 | 80
965.83/966.27 c 961s | 22 | 2572337 | 1883022 | 5825 642 | 244 | 80
967.84/968.29 c 963s | 22 | 2579268 | 1887522 | 5825 643 | 244 | 80
969.93/970.32 c 965s | 22 | 2586290 | 1892422 | 5825 645 | 244 | 80
971.93/972.33 c 967s | 22 | 2591154 | 1896122 | 5825 646 | 244 | 80
973.93/974.34 c 969s | 22 | 2595717 | 1899622 | 5825 647 | 244 | 80
975.93/976.38 c 971s | 22 | 2600003 | 1902822 | 5825 648 | 244 | 80
977.93/978.39 c 973s | 22 | 2604126 | 1905822 | 5825 648 | 244 | 80
980.04/980.42 c 975s | 22 | 2609464 | 1909922 | 5825 650 | 244 | 80
982.03/982.44 c 977s | 22 | 2614321 | 1913722 | 5825 651 | 244 | 80
984.03/984.46 c 979s | 22 | 2618827 | 1917322 | 5825 652 | 244 | 80
986.03/986.49 c 981s | 22 | 2626726 | 1922622 | 5825 653 | 244 | 80
988.13/988.52 c 983s | 22 | 2633313 | 1927222 | 5825 655 | 244 | 80
990.13/990.55 c 985s | 22 | 2640676 | 1932422 | 5825 656 | 244 | 80
992.13/992.58 c 987s | 22 | 2646953 | 1936822 | 5825 657 | 244 | 80
994.13/994.58 c 989s | 22 | 2653297 | 1941522 | 5825 659 | 244 | 80
996.13/996.59 c 991s | 22 | 2659337 | 1946322 | 5825 660 | 244 | 80
998.23/998.61 c 993s | 22 | 2664478 | 1950322 | 5825 661 | 244 | 80
1000.23/1000.65 c 995s | 22 | 2669958 | 1954522 | 5825 662 | 244 | 80
1002.22/1002.69 c 997s | 22 | 2675754 | 1958922 | 5825 663 | 244 | 80
1004.32/1004.71 c 999s | 22 | 2680247 | 1962422 | 5825 664 | 244 | 80
1006.33/1006.75 c 1001s | 22 | 2684949 | 1965822 | 5825 665 | 244 | 80
1008.42/1008.80 c 1003s | 22 | 2690329 | 1969522 | 5825 666 | 244 | 80
1010.42/1010.81 c 1005s | 22 | 2695708 | 1973422 | 5825 667 | 244 | 80
1012.42/1012.86 c 1007s | 22 | 2700086 | 1976922 | 5825 668 | 244 | 80
1014.42/1014.89 c 1009s | 22 | 2705435 | 1980922 | 5825 670 | 244 | 80
1016.52/1016.92 c 1011s | 22 | 2710583 | 1985122 | 5825 671 | 244 | 80
1018.53/1018.95 c 1014s | 22 | 2715207 | 1988522 | 5825 672 | 244 | 80
1020.52/1020.95 c 1016s | 22 | 2719686 | 1992022 | 5825 673 | 244 | 80
1022.52/1022.97 c 1018s | 22 | 2724446 | 1995722 | 5825 674 | 244 | 80
1024.52/1024.99 c 1020s | 22 | 2728759 | 1999122 | 5825 675 | 244 | 80
1026.62/1027.02 c 1022s | 22 | 2733183 | 2002722 | 5825 676 | 244 | 80
1028.62/1029.04 c 1024s | 22 | 2737354 | 2006122 | 5825 677 | 244 | 80
1030.63/1031.09 c 1026s | 22 | 2741466 | 2009522 | 5825 678 | 244 | 80
1032.73/1033.14 c 1028s | 22 | 2745562 | 2012722 | 5825 679 | 244 | 80
1034.72/1035.17 c 1030s | 22 | 2750126 | 2016322 | 5825 680 | 244 | 80
1036.82/1037.23 c 1032s | 22 | 2754900 | 2019622 | 5825 681 | 244 | 80
1038.82/1039.26 c 1034s | 22 | 2759269 | 2023022 | 5825 682 | 244 | 80
1040.92/1041.30 c 1036s | 22 | 2763109 | 2026122 | 5825 683 | 244 | 80
1042.92/1043.31 c 1038s | 22 | 2767606 | 2029222 | 5825 683 | 244 | 80
1044.92/1045.38 c 1040s | 22 | 2772697 | 2032922 | 5825 684 | 244 | 80
1047.02/1047.45 c 1042s | 22 | 2776904 | 2036322 | 5825 685 | 244 | 80
1049.02/1049.45 c 1044s | 22 | 2781823 | 2039922 | 5825 686 | 244 | 80
1051.02/1051.48 c 1046s | 22 | 2786240 | 2043322 | 5825 687 | 244 | 80
1053.11/1053.54 c 1048s | 22 | 2790398 | 2046622 | 5825 688 | 244 | 80
1055.21/1055.61 c 1050s | 22 | 2795053 | 2050122 | 5825 689 | 244 | 80
1057.21/1057.65 c 1052s | 22 | 2799915 | 2053622 | 5825 690 | 244 | 80
1059.22/1059.65 c 1054s | 22 | 2803586 | 2056422 | 5825 691 | 244 | 80
1061.21/1061.67 c 1056s | 22 | 2808114 | 2059922 | 5825 692 | 244 | 80
1063.31/1063.73 c 1058s | 22 | 2813352 | 2064122 | 5825 693 | 244 | 80
1065.31/1065.75 c 1060s | 22 | 2818309 | 2067922 | 5825 694 | 244 | 80
1067.31/1067.78 c 1062s | 22 | 2822884 | 2071422 | 5825 695 | 244 | 80
1069.41/1069.81 c 1064s | 22 | 2826636 | 2074622 | 5825 696 | 244 | 80
1071.41/1071.82 c 1066s | 22 | 2831065 | 2078122 | 5825 697 | 244 | 80
1073.42/1073.82 c 1068s | 22 | 2835017 | 2081422 | 5825 698 | 244 | 80
1075.41/1075.83 c 1070s | 22 | 2839220 | 2084722 | 5825 699 | 244 | 80
1077.41/1077.85 c 1072s | 22 | 2844257 | 2088722 | 5825 700 | 244 | 80
1079.41/1079.89 c 1074s | 22 | 2848610 | 2092222 | 5825 701 | 244 | 80
1081.51/1081.92 c 1076s | 22 | 2854063 | 2096322 | 5825 702 | 244 | 80
1083.51/1083.92 c 1078s | 22 | 2858505 | 2099922 | 5825 703 | 244 | 80
1085.52/1085.93 c 1080s | 22 | 2862004 | 2102722 | 5825 704 | 244 | 80
1087.61/1088.00 c 1083s | 22 | 2866078 | 2105922 | 5825 705 | 244 | 80
1089.61/1090.04 c 1085s | 22 | 2869751 | 2108822 | 5825 706 | 244 | 80
1091.61/1092.07 c 1087s | 22 | 2873668 | 2111922 | 5825 707 | 244 | 80
1093.71/1094.11 c 1089s | 22 | 2878060 | 2115322 | 5825 708 | 244 | 80
1095.71/1096.15 c 1091s | 22 | 2882025 | 2118422 | 5825 709 | 244 | 80
1097.72/1098.16 c 1093s | 22 | 2887737 | 2122822 | 5825 710 | 244 | 80
1099.71/1100.16 c 1095s | 22 | 2892692 | 2126722 | 5825 711 | 244 | 80
1101.81/1102.20 c 1097s | 22 | 2897647 | 2130622 | 5825 712 | 244 | 80
1103.81/1104.22 c 1099s | 22 | 2902024 | 2133822 | 5825 713 | 244 | 80
1105.81/1106.24 c 1101s | 22 | 2906460 | 2137422 | 5825 714 | 244 | 80
1107.91/1108.32 c 1103s | 22 | 2911781 | 2141222 | 5825 715 | 244 | 80
1109.91/1110.33 c 1105s | 22 | 2915105 | 2144022 | 5825 716 | 244 | 80
1111.92/1112.37 c 1107s | 22 | 2920528 | 2148222 | 5825 717 | 244 | 80
1113.91/1114.40 c 1109s | 22 | 2925170 | 2151922 | 5825 718 | 244 | 80
1116.01/1116.45 c 1111s | 22 | 2930418 | 2156022 | 5825 719 | 244 | 80
1118.01/1118.49 c 1113s | 22 | 2935015 | 2159722 | 5825 720 | 244 | 80
1120.11/1120.52 c 1115s | 22 | 2940237 | 2163822 | 5825 721 | 244 | 80
1122.11/1122.53 c 1117s | 22 | 2944326 | 2167122 | 5825 722 | 244 | 80
1124.12/1124.56 c 1119s | 22 | 2948997 | 2170722 | 5825 723 | 244 | 80
1126.11/1126.57 c 1121s | 22 | 2953521 | 2174522 | 5825 724 | 244 | 80
1128.11/1128.58 c 1123s | 22 | 2959205 | 2178822 | 5825 726 | 244 | 80
1130.11/1130.59 c 1125s | 22 | 2964258 | 2182922 | 5825 727 | 244 | 80
1132.21/1132.63 c 1127s | 22 | 2970216 | 2187822 | 5825 728 | 244 | 80
1134.21/1134.63 c 1129s | 22 | 2975298 | 2191922 | 5825 729 | 244 | 80
1136.22/1136.67 c 1131s | 22 | 2980854 | 2196322 | 5825 731 | 244 | 80
1138.21/1138.68 c 1133s | 22 | 2985941 | 2200522 | 5825 732 | 244 | 80
1140.31/1140.73 c 1135s | 22 | 2990192 | 2203722 | 5825 733 | 244 | 80
1142.31/1142.73 c 1137s | 22 | 2994703 | 2206922 | 5825 734 | 244 | 80
1144.41/1144.82 c 1139s | 22 | 2998882 | 2210222 | 5825 735 | 244 | 80
1146.41/1146.86 c 1141s | 22 | 3002608 | 2213222 | 5825 735 | 244 | 80
1148.41/1148.87 c 1143s | 22 | 3005926 | 2215922 | 5825 736 | 244 | 80
1150.51/1150.95 c 1146s | 22 | 3008242 | 2217722 | 5825 737 | 244 | 80
1152.61/1153.04 c 1148s | 22 | 3010510 | 2219622 | 5825 737 | 244 | 80
1154.70/1155.11 c 1150s | 22 | 3013336 | 2221722 | 6408 738 | 244 | 80
1156.80/1157.20 c 1152s | 22 | 3017618 | 2224922 | 6408 739 | 244 | 80
1158.80/1159.20 c 1154s | 22 | 3021444 | 2228022 | 6408 739 | 244 | 80
1160.80/1161.26 c 1156s | 22 | 3024789 | 2230422 | 6408 740 | 244 | 80
1162.90/1163.32 c 1158s | 22 | 3029316 | 2233522 | 6408 741 | 244 | 80
1164.90/1165.37 c 1160s | 22 | 3033185 | 2236422 | 6408 742 | 244 | 80
1166.91/1167.38 c 1162s | 22 | 3037545 | 2239122 | 6408 742 | 244 | 80
1169.00/1169.48 c 1164s | 22 | 3040983 | 2241622 | 6408 743 | 244 | 80
1171.10/1171.55 c 1166s | 22 | 3044501 | 2244022 | 6408 744 | 244 | 80
1173.20/1173.61 c 1168s | 22 | 3048034 | 2246522 | 6408 744 | 244 | 80
1175.20/1175.65 c 1170s | 22 | 3052190 | 2249522 | 6408 745 | 244 | 80
1176.10/1176.52 c 1171s | 23 | 3054229 | 2251038 | 6408 745 | 244 | 80
1178.10/1178.53 c 1173s | 23 | 3061672 | 2255838 | 6408 747 | 244 | 80
1180.11/1180.56 c 1175s | 23 | 3067924 | 2260338 | 6408 748 | 244 | 80
1182.10/1182.59 c 1177s | 23 | 3072110 | 2263538 | 6408 749 | 244 | 80
1184.20/1184.60 c 1179s | 23 | 3076586 | 2266738 | 6408 750 | 244 | 80
1186.20/1186.61 c 1181s | 23 | 3081115 | 2270238 | 6408 750 | 244 | 80
1188.20/1188.63 c 1183s | 23 | 3085700 | 2273538 | 6408 751 | 244 | 80
1190.20/1190.68 c 1185s | 23 | 3090751 | 2277038 | 6408 752 | 244 | 80
1192.30/1192.72 c 1187s | 23 | 3095871 | 2280638 | 6408 753 | 244 | 80
1194.30/1194.76 c 1189s | 23 | 3100811 | 2284338 | 6408 754 | 244 | 80
1196.39/1196.80 c 1191s | 23 | 3104914 | 2287438 | 6408 755 | 244 | 80
1198.39/1198.81 c 1193s | 23 | 3109643 | 2290738 | 6408 756 | 244 | 80
1200.39/1200.86 c 1195s | 23 | 3114474 | 2294438 | 6408 757 | 244 | 80
1202.49/1202.91 c 1197s | 23 | 3119459 | 2297838 | 6408 758 | 244 | 80
1204.49/1204.99 c 1200s | 23 | 3123437 | 2300738 | 6408 758 | 244 | 80
1206.60/1207.01 c 1202s | 23 | 3126990 | 2303138 | 6408 759 | 244 | 80
1208.59/1209.02 c 1204s | 23 | 3132105 | 2306438 | 6408 760 | 244 | 80
1210.59/1211.04 c 1206s | 23 | 3136257 | 2309738 | 6408 761 | 244 | 80
1212.69/1213.11 c 1208s | 23 | 3140061 | 2312738 | 6408 762 | 244 | 80
1214.69/1215.16 c 1210s | 23 | 3143795 | 2315438 | 6408 762 | 244 | 80
1216.79/1217.24 c 1212s | 23 | 3147490 | 2318238 | 6408 763 | 244 | 80
1218.79/1219.26 c 1214s | 23 | 3151642 | 2321138 | 6408 764 | 244 | 80
1220.80/1221.29 c 1216s | 23 | 3156037 | 2324038 | 6408 764 | 244 | 80
1222.79/1223.29 c 1218s | 23 | 3160041 | 2326738 | 6408 765 | 244 | 80
1224.79/1225.29 c 1220s | 23 | 3165689 | 2330438 | 6408 766 | 244 | 80
1226.79/1227.29 c 1222s | 23 | 3171288 | 2334638 | 6408 767 | 244 | 80
1228.89/1229.32 c 1224s | 23 | 3176179 | 2338338 | 6408 768 | 244 | 80
1230.89/1231.34 c 1226s | 23 | 3180925 | 2341638 | 6408 769 | 244 | 80
1232.89/1233.36 c 1228s | 23 | 3186107 | 2345538 | 6408 770 | 244 | 80
1234.99/1235.41 c 1230s | 23 | 3192056 | 2349638 | 6408 771 | 244 | 80
1236.99/1237.45 c 1232s | 23 | 3198843 | 2353738 | 6408 772 | 244 | 80
1238.99/1239.49 c 1234s | 23 | 3204150 | 2357838 | 6408 773 | 244 | 80
1241.09/1241.53 c 1236s | 23 | 3209044 | 2361438 | 6408 774 | 244 | 80
1243.09/1243.54 c 1238s | 23 | 3213269 | 2364538 | 6408 775 | 244 | 80
1245.09/1245.57 c 1240s | 23 | 3217915 | 2367838 | 6408 776 | 244 | 80
1247.09/1247.57 c 1242s | 23 | 3222483 | 2371338 | 6408 777 | 244 | 80
1249.19/1249.63 c 1244s | 23 | 3227309 | 2374838 | 6408 778 | 244 | 80
1251.18/1251.67 c 1246s | 23 | 3232316 | 2378138 | 6408 779 | 244 | 80
1253.28/1253.71 c 1248s | 23 | 3237235 | 2381438 | 6408 779 | 244 | 80
1255.28/1255.72 c 1250s | 23 | 3242477 | 2384838 | 6408 780 | 244 | 80
1257.28/1257.74 c 1252s | 23 | 3247993 | 2388638 | 6408 781 | 244 | 80
1259.29/1259.76 c 1254s | 23 | 3255053 | 2393238 | 6408 782 | 244 | 80
1261.38/1261.81 c 1256s | 23 | 3259329 | 2396638 | 6408 783 | 244 | 80
1263.38/1263.87 c 1258s | 23 | 3263184 | 2399738 | 6408 784 | 244 | 80
1265.48/1265.90 c 1260s | 23 | 3266866 | 2402538 | 6408 785 | 244 | 80
1267.48/1267.94 c 1263s | 23 | 3271038 | 2405438 | 6408 786 | 244 | 80
1269.48/1269.96 c 1265s | 23 | 3275085 | 2408438 | 6408 787 | 244 | 80
1271.58/1272.00 c 1267s | 23 | 3279069 | 2411338 | 6408 787 | 244 | 80
1273.48/1274.00 c 1269s | 23 | 3283140 | 2414038 | 6408 788 | 244 | 80
1275.58/1276.02 c 1271s | 23 | 3288519 | 2417338 | 6408 789 | 244 | 80
1277.58/1278.08 c 1273s | 23 | 3294486 | 2421238 | 6408 790 | 244 | 80
1279.68/1280.11 c 1275s | 23 | 3298981 | 2424738 | 6408 791 | 244 | 80
1281.68/1282.14 c 1277s | 23 | 3302863 | 2427838 | 6408 792 | 244 | 80
1283.78/1284.25 c 1279s | 23 | 3306776 | 2430738 | 6408 792 | 244 | 80
1285.88/1286.32 c 1281s | 23 | 3309850 | 2433038 | 6408 793 | 244 | 80
1287.89/1288.35 c 1283s | 23 | 3313671 | 2435938 | 6408 794 | 244 | 80
1289.88/1290.38 c 1285s | 23 | 3317277 | 2438538 | 6408 795 | 244 | 80
1291.98/1292.41 c 1287s | 23 | 3323207 | 2442638 | 6408 796 | 244 | 80
1293.98/1294.43 c 1289s | 23 | 3327396 | 2446038 | 6408 797 | 244 | 80
1295.98/1296.46 c 1291s | 23 | 3332995 | 2449738 | 6408 797 | 244 | 80
1297.98/1298.49 c 1293s | 23 | 3337668 | 2453538 | 6408 799 | 244 | 80
1300.08/1300.51 c 1295s | 23 | 3342908 | 2457038 | 6408 799 | 244 | 80
1302.08/1302.53 c 1297s | 23 | 3347510 | 2460338 | 6408 800 | 244 | 80
1304.08/1304.57 c 1299s | 23 | 3353141 | 2463938 | 6408 801 | 244 | 80
1306.18/1306.60 c 1301s | 23 | 3358213 | 2467138 | 6408 802 | 244 | 80
1308.18/1308.66 c 1303s | 23 | 3363654 | 2471138 | 6408 803 | 244 | 80
1310.18/1310.67 c 1305s | 23 | 3368032 | 2474338 | 6408 804 | 244 | 80
1312.28/1312.73 c 1307s | 23 | 3372637 | 2477738 | 6408 805 | 244 | 80
1314.28/1314.78 c 1309s | 23 | 3376607 | 2480238 | 6408 806 | 244 | 80
1316.27/1316.79 c 1311s | 23 | 3380510 | 2482838 | 6408 806 | 244 | 80
1318.37/1318.82 c 1313s | 23 | 3385007 | 2486138 | 6408 807 | 244 | 80
1320.37/1320.89 c 1315s | 23 | 3389034 | 2489438 | 6408 808 | 244 | 80
1322.47/1322.92 c 1317s | 23 | 3393384 | 2492538 | 6408 809 | 244 | 80
1324.47/1324.93 c 1319s | 23 | 3397443 | 2495538 | 6408 810 | 244 | 80
1326.48/1326.94 c 1322s | 23 | 3401709 | 2498738 | 6408 810 | 244 | 80
1328.47/1328.96 c 1324s | 23 | 3406769 | 2502138 | 6408 811 | 244 | 80
1330.57/1331.00 c 1326s | 23 | 3411055 | 2505538 | 6408 812 | 244 | 80
1332.57/1333.01 c 1328s | 23 | 3414966 | 2508638 | 6408 813 | 244 | 80
1334.57/1335.05 c 1330s | 23 | 3418512 | 2511538 | 6408 814 | 244 | 80
1336.57/1337.06 c 1332s | 23 | 3422794 | 2514138 | 6408 815 | 244 | 80
1338.67/1339.10 c 1334s | 23 | 3430201 | 2519038 | 6408 816 | 244 | 80
1340.68/1341.10 c 1336s | 23 | 3437065 | 2523838 | 6408 817 | 244 | 80
1342.67/1343.11 c 1338s | 23 | 3442087 | 2527538 | 6408 818 | 244 | 80
1344.67/1345.14 c 1340s | 23 | 3446362 | 2530738 | 6408 819 | 244 | 80
1346.67/1347.18 c 1342s | 23 | 3451985 | 2534838 | 6408 820 | 244 | 80
1348.77/1349.20 c 1344s | 23 | 3456841 | 2538438 | 6408 821 | 244 | 80
1350.77/1351.25 c 1346s | 23 | 3461693 | 2542038 | 6408 822 | 244 | 80
1352.77/1353.26 c 1348s | 23 | 3466117 | 2545138 | 6408 823 | 244 | 80
1354.77/1355.26 c 1350s | 23 | 3470354 | 2548238 | 6408 824 | 244 | 80
1356.77/1357.26 c 1352s | 23 | 3476981 | 2553038 | 6408 825 | 244 | 80
1358.77/1359.28 c 1354s | 23 | 3482271 | 2557038 | 6408 826 | 244 | 80
1360.87/1361.33 c 1356s | 23 | 3486618 | 2560338 | 6408 827 | 244 | 80
1362.87/1363.36 c 1358s | 23 | 3492068 | 2563938 | 6408 828 | 244 | 80
1364.87/1365.39 c 1360s | 23 | 3499122 | 2568538 | 6408 829 | 244 | 80
1366.97/1367.40 c 1362s | 23 | 3505080 | 2572538 | 6408 830 | 244 | 80
1368.96/1369.44 c 1364s | 23 | 3510494 | 2576538 | 6408 831 | 244 | 80
1370.96/1371.49 c 1366s | 23 | 3515586 | 2580438 | 6408 832 | 244 | 80
1373.06/1373.51 c 1368s | 23 | 3520070 | 2583838 | 6408 833 | 244 | 80
1375.06/1375.55 c 1370s | 23 | 3523332 | 2586438 | 6408 834 | 244 | 80
1377.17/1377.60 c 1372s | 23 | 3528668 | 2590038 | 6408 835 | 244 | 80
1379.18/1379.67 c 1374s | 23 | 3533539 | 2593938 | 6408 836 | 244 | 80
1381.27/1381.70 c 1376s | 23 | 3539412 | 2598338 | 6408 837 | 244 | 80
1383.27/1383.75 c 1378s | 23 | 3544500 | 2602438 | 6408 838 | 244 | 80
1385.37/1385.80 c 1380s | 23 | 3548442 | 2605538 | 6408 839 | 244 | 80
1387.37/1387.82 c 1382s | 23 | 3552693 | 2608638 | 6408 839 | 244 | 80
1389.37/1389.87 c 1384s | 23 | 3556432 | 2611338 | 6408 840 | 244 | 80
1391.38/1391.87 c 1386s | 23 | 3560035 | 2614038 | 6408 841 | 244 | 80
1393.37/1393.87 c 1388s | 23 | 3564263 | 2617238 | 6408 842 | 244 | 80
1395.47/1395.90 c 1390s | 23 | 3568110 | 2620338 | 6408 842 | 244 | 80
1397.47/1397.96 c 1393s | 23 | 3571849 | 2623538 | 6408 843 | 244 | 80
1399.57/1400.02 c 1395s | 23 | 3578330 | 2627838 | 6408 844 | 244 | 80
1401.57/1402.04 c 1397s | 23 | 3583532 | 2631338 | 6408 845 | 244 | 80
1403.57/1404.04 c 1399s | 23 | 3587876 | 2634738 | 6408 846 | 244 | 80
1405.58/1406.08 c 1401s | 23 | 3591713 | 2637438 | 6408 847 | 244 | 80
1407.57/1408.09 c 1403s | 23 | 3595056 | 2639938 | 6408 848 | 244 | 80
1409.67/1410.13 c 1405s | 23 | 3597784 | 2642138 | 6408 848 | 244 | 80
1411.67/1412.15 c 1407s | 23 | 3603393 | 2646238 | 6408 849 | 244 | 80
1413.77/1414.20 c 1409s | 23 | 3609280 | 2650338 | 6408 850 | 244 | 80
1415.77/1416.24 c 1411s | 23 | 3615041 | 2654338 | 6408 851 | 244 | 80
1417.77/1418.24 c 1413s | 23 | 3619666 | 2657938 | 6408 852 | 244 | 80
1419.77/1420.25 c 1415s | 23 | 3624190 | 2661038 | 6408 853 | 244 | 80
1421.77/1422.26 c 1417s | 23 | 3628982 | 2664338 | 6408 854 | 244 | 80
1423.87/1424.31 c 1419s | 23 | 3633533 | 2667638 | 6408 855 | 244 | 80
1425.87/1426.37 c 1421s | 23 | 3638397 | 2670938 | 6408 856 | 244 | 80
1427.86/1428.38 c 1423s | 23 | 3644011 | 2674538 | 6408 857 | 244 | 80
1429.96/1430.41 c 1425s | 23 | 3650518 | 2678538 | 6408 858 | 244 | 80
1431.97/1432.43 c 1427s | 23 | 3656739 | 2682238 | 6408 859 | 244 | 80
1433.96/1434.44 c 1429s | 23 | 3663135 | 2686538 | 6408 860 | 244 | 80
1435.96/1436.47 c 1431s | 23 | 3669944 | 2691238 | 6408 861 | 244 | 80
1437.96/1438.48 c 1433s | 23 | 3677317 | 2696038 | 6408 863 | 244 | 80
1440.06/1440.50 c 1435s | 23 | 3684259 | 2700638 | 6408 864 | 244 | 80
1442.06/1442.52 c 1437s | 23 | 3689530 | 2704938 | 6408 865 | 244 | 80
1444.17/1444.60 c 1439s | 23 | 3693168 | 2707938 | 6408 866 | 244 | 80
1446.16/1446.64 c 1441s | 23 | 3697220 | 2711338 | 6408 867 | 244 | 80
1448.16/1448.68 c 1443s | 23 | 3700983 | 2714338 | 6408 867 | 244 | 80
1450.26/1450.71 c 1445s | 23 | 3704379 | 2717138 | 6408 868 | 244 | 80
1452.26/1452.75 c 1447s | 23 | 3708715 | 2720538 | 6408 869 | 244 | 80
1454.26/1454.79 c 1449s | 23 | 3712467 | 2723538 | 6408 870 | 244 | 80
1456.36/1456.81 c 1451s | 23 | 3716940 | 2726738 | 6408 871 | 244 | 80
1458.36/1458.85 c 1453s | 23 | 3721603 | 2730238 | 6408 872 | 244 | 80
1460.36/1460.88 c 1455s | 23 | 3724827 | 2732938 | 6408 872 | 244 | 80
1462.46/1462.90 c 1457s | 23 | 3729023 | 2736138 | 6408 873 | 244 | 80
1464.46/1464.98 c 1460s | 23 | 3733756 | 2739538 | 6408 874 | 244 | 80
1466.56/1467.07 c 1462s | 23 | 3737080 | 2742238 | 6408 875 | 244 | 80
1468.55/1469.08 c 1464s | 23 | 3741838 | 2745538 | 6408 876 | 244 | 80
1470.66/1471.10 c 1466s | 23 | 3748584 | 2750138 | 6408 877 | 244 | 80
1472.66/1473.11 c 1468s | 23 | 3753291 | 2753838 | 6408 878 | 244 | 80
1474.65/1475.16 c 1470s | 23 | 3757702 | 2757338 | 6408 879 | 244 | 80
1476.65/1477.17 c 1472s | 23 | 3761269 | 2760438 | 6408 880 | 244 | 80
1478.75/1479.22 c 1474s | 23 | 3765398 | 2763638 | 6408 880 | 244 | 80
1480.75/1481.23 c 1476s | 23 | 3770093 | 2766838 | 6408 881 | 244 | 80
1482.75/1483.25 c 1478s | 23 | 3773546 | 2769638 | 6408 882 | 244 | 80
1484.76/1485.25 c 1480s | 23 | 3776741 | 2772138 | 6408 883 | 244 | 80
1486.85/1487.31 c 1482s | 23 | 3780186 | 2774738 | 6408 883 | 244 | 80
1488.85/1489.33 c 1484s | 23 | 3783787 | 2777238 | 6408 884 | 244 | 80
1490.85/1491.36 c 1486s | 23 | 3788200 | 2780238 | 6408 885 | 244 | 80
1492.85/1493.38 c 1488s | 23 | 3794679 | 2783938 | 6408 886 | 244 | 80
1494.95/1495.43 c 1490s | 23 | 3798584 | 2787338 | 6408 887 | 244 | 80
1496.96/1497.46 c 1492s | 23 | 3802103 | 2790138 | 6408 887 | 244 | 80
1498.95/1499.47 c 1494s | 23 | 3805698 | 2793038 | 6408 888 | 244 | 80
1500.95/1501.48 c 1496s | 23 | 3809877 | 2796138 | 6408 889 | 244 | 80
1503.05/1503.52 c 1498s | 23 | 3813939 | 2799438 | 6408 890 | 244 | 80
1505.05/1505.57 c 1500s | 23 | 3819417 | 2803038 | 6408 891 | 244 | 80
1507.04/1507.57 c 1502s | 23 | 3822825 | 2806038 | 6408 892 | 244 | 80
1509.14/1509.63 c 1504s | 23 | 3826898 | 2809338 | 6408 893 | 244 | 80
1511.15/1511.64 c 1506s | 23 | 3830837 | 2812438 | 6408 893 | 244 | 80
1513.14/1513.67 c 1508s | 23 | 3835893 | 2816138 | 6408 894 | 244 | 80
1515.14/1515.68 c 1510s | 23 | 3839251 | 2818938 | 6408 895 | 244 | 80
1517.14/1517.68 c 1512s | 23 | 3843219 | 2822038 | 6408 896 | 244 | 80
1519.24/1519.73 c 1514s | 23 | 3846743 | 2824838 | 6408 897 | 244 | 80
1521.24/1521.79 c 1516s | 23 | 3850238 | 2827538 | 6408 897 | 244 | 80
1523.35/1523.83 c 1518s | 23 | 3854060 | 2830538 | 6408 898 | 244 | 80
1525.34/1525.84 c 1520s | 23 | 3857567 | 2833338 | 6408 899 | 244 | 80
1527.34/1527.87 c 1522s | 23 | 3860913 | 2835738 | 6408 899 | 244 | 80
1529.44/1529.92 c 1524s | 23 | 3865294 | 2839238 | 6408 900 | 244 | 80
1531.44/1531.95 c 1527s | 23 | 3869618 | 2842538 | 6408 901 | 244 | 80
1533.44/1534.00 c 1529s | 23 | 3872774 | 2845038 | 6408 902 | 244 | 80
1535.54/1536.00 c 1531s | 23 | 3875971 | 2847538 | 6408 903 | 244 | 80
1537.55/1538.05 c 1533s | 23 | 3878860 | 2849738 | 6408 903 | 244 | 80
1539.54/1540.09 c 1535s | 23 | 3880730 | 2851338 | 6408 904 | 244 | 80
1541.64/1542.13 c 1537s | 23 | 3884062 | 2853938 | 6408 904 | 244 | 80
1543.64/1544.18 c 1539s | 23 | 3888435 | 2856938 | 6408 905 | 244 | 80
1545.74/1546.20 c 1541s | 23 | 3892163 | 2859838 | 6408 906 | 244 | 80
1547.74/1548.27 c 1543s | 23 | 3897185 | 2863338 | 6408 907 | 244 | 80
1549.84/1550.34 c 1545s | 23 | 3900401 | 2866038 | 6408 907 | 244 | 80
1551.95/1552.41 c 1547s | 23 | 3903136 | 2868438 | 6408 908 | 244 | 80
1553.94/1554.46 c 1549s | 23 | 3905557 | 2870438 | 6408 909 | 244 | 80
1556.04/1556.55 c 1551s | 23 | 3908754 | 2872938 | 6408 909 | 244 | 80
1558.04/1558.57 c 1553s | 23 | 3911399 | 2875138 | 6408 910 | 244 | 80
1560.04/1560.59 c 1555s | 23 | 3914560 | 2877838 | 6408 911 | 244 | 80
1562.14/1562.60 c 1557s | 23 | 3918236 | 2880838 | 6408 911 | 244 | 80
1564.24/1564.71 c 1559s | 23 | 3921583 | 2883438 | 6408 912 | 244 | 80
1566.24/1566.77 c 1561s | 23 | 3924547 | 2885638 | 6408 913 | 244 | 80
1568.34/1568.83 c 1563s | 23 | 3927389 | 2888038 | 6408 913 | 244 | 80
1570.33/1570.86 c 1565s | 23 | 3930198 | 2890338 | 6408 914 | 244 | 80
1572.34/1572.88 c 1567s | 23 | 3933689 | 2892938 | 6408 915 | 244 | 80
1574.44/1574.90 c 1569s | 23 | 3938101 | 2896438 | 6408 916 | 244 | 80
1576.44/1576.93 c 1571s | 23 | 3942734 | 2900038 | 6408 917 | 244 | 80
1578.44/1578.96 c 1574s | 23 | 3947300 | 2903438 | 6408 917 | 244 | 80
1580.45/1581.00 c 1576s | 23 | 3950991 | 2906338 | 6408 918 | 244 | 80
1582.54/1583.05 c 1578s | 23 | 3954571 | 2909038 | 6408 919 | 244 | 80
1584.64/1585.10 c 1580s | 23 | 3957598 | 2911538 | 6408 920 | 244 | 80
1586.64/1587.16 c 1582s | 23 | 3960537 | 2913938 | 6408 920 | 244 | 80
1588.74/1589.22 c 1584s | 23 | 3963407 | 2916238 | 6408 921 | 244 | 80
1590.74/1591.23 c 1586s | 23 | 3966636 | 2918938 | 6408 921 | 244 | 80
1592.74/1593.24 c 1588s | 23 | 3969848 | 2921438 | 6408 922 | 244 | 80
1594.75/1595.26 c 1590s | 23 | 3973082 | 2923738 | 6408 923 | 244 | 80
1596.84/1597.32 c 1592s | 23 | 3976945 | 2926438 | 6408 924 | 244 | 80
1598.84/1599.36 c 1594s | 23 | 3980648 | 2929438 | 6408 924 | 244 | 80
1600.84/1601.39 c 1596s | 23 | 3984239 | 2932238 | 6408 925 | 244 | 80
1602.94/1603.43 c 1598s | 23 | 3987324 | 2934738 | 6408 926 | 244 | 80
1605.04/1605.50 c 1600s | 23 | 3990166 | 2936838 | 6408 926 | 244 | 80
1607.04/1607.54 c 1602s | 23 | 3993007 | 2938838 | 6408 927 | 244 | 80
1609.04/1609.56 c 1604s | 23 | 3996971 | 2941638 | 6408 927 | 244 | 80
1611.14/1611.62 c 1606s | 23 | 3999829 | 2944038 | 6408 928 | 244 | 80
1613.14/1613.63 c 1608s | 23 | 4003635 | 2947238 | 6408 929 | 244 | 80
1615.13/1615.69 c 1610s | 23 | 4006929 | 2950038 | 6408 930 | 244 | 80
1617.24/1617.75 c 1612s | 23 | 4010348 | 2952838 | 6408 930 | 244 | 80
1619.23/1619.76 c 1614s | 23 | 4013412 | 2955438 | 6408 931 | 244 | 80
1621.33/1621.82 c 1616s | 23 | 4017026 | 2958238 | 6408 932 | 244 | 80
1623.34/1623.84 c 1618s | 23 | 4019840 | 2960638 | 6408 932 | 244 | 80
1625.33/1625.86 c 1620s | 23 | 4022906 | 2963138 | 6408 933 | 244 | 80
1627.33/1627.89 c 1622s | 23 | 4026287 | 2965838 | 6408 934 | 244 | 80
1629.43/1629.93 c 1624s | 23 | 4029835 | 2968838 | 6408 935 | 244 | 80
1631.43/1631.99 c 1627s | 23 | 4033341 | 2971638 | 6408 935 | 244 | 80
1633.53/1634.07 c 1629s | 23 | 4037278 | 2974738 | 6408 936 | 244 | 80
1635.63/1636.10 c 1631s | 23 | 4041866 | 2978038 | 6408 937 | 244 | 80
1637.64/1638.12 c 1633s | 23 | 4044954 | 2980738 | 6408 938 | 244 | 80
1639.63/1640.16 c 1635s | 23 | 4048522 | 2983638 | 6408 938 | 244 | 80
1641.73/1642.20 c 1637s | 23 | 4051622 | 2986238 | 6408 939 | 244 | 80
1643.73/1644.23 c 1639s | 23 | 4055992 | 2989238 | 6408 940 | 244 | 80
1645.73/1646.24 c 1641s | 23 | 4059081 | 2991838 | 6408 941 | 244 | 80
1647.73/1648.29 c 1643s | 23 | 4062440 | 2994538 | 6408 941 | 244 | 80
1649.84/1650.34 c 1645s | 23 | 4065604 | 2997138 | 6408 942 | 244 | 80
1651.93/1652.41 c 1647s | 23 | 4068390 | 2999538 | 6408 943 | 244 | 80
1653.93/1654.48 c 1649s | 23 | 4071314 | 3001938 | 6408 943 | 244 | 80
1656.03/1656.52 c 1651s | 23 | 4074007 | 3004238 | 6408 944 | 244 | 80
1658.03/1658.54 c 1653s | 23 | 4077333 | 3006938 | 6408 945 | 244 | 80
1660.03/1660.57 c 1655s | 23 | 4080224 | 3009338 | 6408 945 | 244 | 80
1662.13/1662.60 c 1657s | 23 | 4082903 | 3011538 | 6408 946 | 244 | 80
1664.13/1664.65 c 1659s | 23 | 4085465 | 3013738 | 6408 947 | 244 | 80
1666.13/1666.66 c 1661s | 23 | 4088815 | 3016138 | 6408 947 | 244 | 80
1668.13/1668.67 c 1663s | 23 | 4091707 | 3018438 | 6408 948 | 244 | 80
1670.13/1670.68 c 1665s | 23 | 4094894 | 3020938 | 6408 948 | 244 | 80
1672.22/1672.72 c 1667s | 23 | 4097580 | 3023338 | 6408 949 | 244 | 80
1674.22/1674.73 c 1669s | 23 | 4101645 | 3026338 | 6408 950 | 244 | 80
1676.32/1676.83 c 1671s | 23 | 4105129 | 3028838 | 6408 951 | 244 | 80
1678.33/1678.83 c 1673s | 23 | 4108596 | 3031438 | 6408 951 | 244 | 80
1680.32/1680.88 c 1675s | 23 | 4112392 | 3034438 | 6408 952 | 244 | 80
1682.42/1682.90 c 1677s | 23 | 4116504 | 3037638 | 6408 953 | 244 | 80
1684.42/1684.92 c 1679s | 23 | 4119830 | 3040338 | 6408 954 | 244 | 80
1686.42/1686.99 c 1682s | 23 | 4123494 | 3043438 | 6408 954 | 244 | 80
1688.52/1689.03 c 1684s | 23 | 4126960 | 3046238 | 6408 955 | 244 | 80
1690.62/1691.15 c 1686s | 23 | 4130393 | 3048838 | 6408 956 | 244 | 80
1692.63/1693.18 c 1688s | 23 | 4134731 | 3051938 | 6408 957 | 244 | 80
1694.72/1695.23 c 1690s | 23 | 4138840 | 3055138 | 6408 957 | 244 | 80
1696.72/1697.26 c 1692s | 23 | 4141574 | 3057538 | 6408 958 | 244 | 80
1698.82/1699.30 c 1694s | 23 | 4144655 | 3060038 | 6408 959 | 244 | 80
1700.82/1701.32 c 1696s | 23 | 4148142 | 3062738 | 6408 959 | 244 | 80
1702.82/1703.38 c 1698s | 23 | 4151328 | 3065338 | 6408 960 | 244 | 80
1704.92/1705.44 c 1700s | 23 | 4154164 | 3067638 | 6408 961 | 244 | 80
1707.12/1707.60 c 1702s | 23 | 4157147 | 3069938 | 6408 961 | 244 | 80
1709.13/1709.66 c 1704s | 23 | 4160295 | 3072538 | 6408 962 | 244 | 80
1711.12/1711.67 c 1706s | 23 | 4164555 | 3075338 | 6408 963 | 244 | 80
1713.22/1713.73 c 1708s | 23 | 4167381 | 3077738 | 6408 963 | 244 | 80
1715.22/1715.79 c 1710s | 23 | 4171316 | 3080638 | 6408 964 | 244 | 80
1717.22/1717.79 c 1712s | 23 | 4174780 | 3083138 | 6408 965 | 244 | 80
1719.32/1719.83 c 1714s | 23 | 4179524 | 3086438 | 6408 966 | 244 | 80
1721.32/1721.87 c 1716s | 23 | 4183064 | 3089538 | 6408 967 | 244 | 80
1723.32/1723.89 c 1718s | 23 | 4186132 | 3092238 | 6408 967 | 244 | 80
1725.42/1725.91 c 1720s | 23 | 4189407 | 3094938 | 6408 968 | 244 | 80
1727.42/1727.94 c 1722s | 23 | 4192710 | 3097438 | 6408 969 | 244 | 80
1729.42/1729.99 c 1725s | 23 | 4195532 | 3099838 | 6408 969 | 244 | 80
1731.52/1732.02 c 1727s | 23 | 4199601 | 3102838 | 6408 970 | 244 | 80
1733.62/1734.11 c 1729s | 23 | 4202814 | 3105438 | 6408 971 | 244 | 80
1735.62/1736.18 c 1731s | 23 | 4206002 | 3108038 | 6408 971 | 244 | 80
1737.61/1738.20 c 1733s | 23 | 4209186 | 3110838 | 6408 972 | 244 | 80
1739.71/1740.26 c 1735s | 23 | 4212433 | 3113638 | 6408 973 | 244 | 80
1741.71/1742.27 c 1737s | 23 | 4215940 | 3116338 | 6408 974 | 244 | 80
1743.81/1744.33 c 1739s | 23 | 4219067 | 3118838 | 6408 974 | 244 | 80
1745.81/1746.35 c 1741s | 23 | 4222035 | 3121338 | 6408 975 | 244 | 80
1747.81/1748.39 c 1743s | 23 | 4225631 | 3123738 | 6408 976 | 244 | 80
1749.92/1750.45 c 1745s | 23 | 4229073 | 3126438 | 6408 976 | 244 | 80
1751.91/1752.48 c 1747s | 23 | 4232628 | 3128938 | 6408 977 | 244 | 80
1754.01/1754.51 c 1749s | 23 | 4235789 | 3131438 | 6408 978 | 244 | 80
1756.01/1756.52 c 1751s | 23 | 4239307 | 3133938 | 6408 978 | 244 | 80
1758.01/1758.52 c 1753s | 23 | 4242440 | 3136338 | 6408 979 | 244 | 80
1760.01/1760.53 c 1755s | 23 | 4246042 | 3138838 | 6408 980 | 244 | 80
1762.02/1762.53 c 1757s | 23 | 4250579 | 3141738 | 6408 980 | 244 | 80
1764.01/1764.58 c 1759s | 23 | 4254614 | 3144738 | 6408 981 | 244 | 80
1766.11/1766.64 c 1761s | 23 | 4257756 | 3147438 | 6408 982 | 244 | 80
1768.11/1768.64 c 1763s | 23 | 4261478 | 3150338 | 6408 983 | 244 | 80
1770.11/1770.65 c 1765s | 23 | 4264456 | 3152938 | 6408 983 | 244 | 80
1772.11/1772.68 c 1767s | 23 | 4267069 | 3155238 | 6408 984 | 244 | 80
1774.12/1774.69 c 1769s | 23 | 4270048 | 3157438 | 6408 984 | 244 | 80
1776.21/1776.74 c 1771s | 23 | 4273148 | 3159938 | 6408 985 | 244 | 80
1778.21/1778.75 c 1773s | 23 | 4276159 | 3162338 | 6408 986 | 244 | 80
1780.21/1780.78 c 1775s | 23 | 4279069 | 3164838 | 6408 986 | 244 | 80
1782.31/1782.81 c 1777s | 23 | 4282149 | 3167338 | 6408 987 | 244 | 80
1784.31/1784.84 c 1779s | 23 | 4285475 | 3170038 | 6408 988 | 244 | 80
1786.31/1786.89 c 1781s | 23 | 4288889 | 3172838 | 6408 989 | 244 | 80
1788.41/1788.90 c 1783s | 23 | 4292335 | 3175638 | 6408 989 | 244 | 80
1790.40/1790.91 c 1785s | 23 | 4295187 | 3178038 | 6408 990 | 244 | 80
1792.40/1792.93 c 1787s | 23 | 4297885 | 3180238 | 6408 990 | 244 | 80
1794.40/1794.98 c 1790s | 23 | 4300542 | 3181938 | 6408 991 | 244 | 80
1796.50/1797.06 c 1792s | 23 | 4303666 | 3184438 | 6408 992 | 244 | 80
1798.50/1799.06 c 1794s | 23 | 4306481 | 3186838 | 6408 992 | 244 | 80
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-4102025-1466229555/watcher-4102025-1466229555 -o /tmp/evaluation-result-4102025-1466229555/solver-4102025-1466229555 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102025-1466229555.opb
pid=16101
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.36 2.33 2.28 2/179 16104
/proc/meminfo: memFree=29112696/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=698812 CPUtime=0 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 2604 0 0 0 0 0 0 0 20 0 4 0 25002291 715583488 2964 33554432000 4194304 16246674 140734710224672 140734710224096 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 175471 2973 441 2943 0 172365 0
[pid=16104/tid=16105] ppid=16101 vsize=716220 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 733409280 3031 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 737603584 3049 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25002291 741797888 3064 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100173 s]
/proc/loadavg: 2.36 2.33 2.28 2/179 16104
/proc/meminfo: memFree=29112696/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 32095 0 0 0 4 5 0 0 20 0 4 0 25002291 1247350784 32443 33554432000 4194304 16246674 140734710224672 140734710224096 6010789 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 304529 32453 733 2943 0 301423 0
[pid=16104/tid=16105] ppid=16101 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1247350784 32459 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1247350784 32465 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25002291 1247350784 32469 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200495 s]
/proc/loadavg: 2.36 2.33 2.28 2/179 16104
/proc/meminfo: memFree=29112696/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 61006 0 0 0 9 10 0 0 20 0 4 0 25002291 1249447936 61332 33554432000 4194304 16246674 140734710224672 140734710224096 4221418 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 305041 61336 771 2943 0 301935 0
[pid=16104/tid=16105] ppid=16101 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1249447936 61339 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1249447936 61342 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25002291 1249447936 61345 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164
[startup+0.559121 s]
/proc/loadavg: 2.36 2.33 2.28 2/179 16104
/proc/meminfo: memFree=29112696/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1307204 CPUtime=0.55 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 82879 0 0 0 42 13 0 0 20 0 4 0 25002291 1338576896 83204 33554432000 4194304 16246674 140734710224672 140734710223984 5530837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 326801 83204 839 2943 0 323695 0
[pid=16104/tid=16105] ppid=16101 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1338576896 83204 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1338576896 83204 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1338576896 83204 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 1307204
[startup+0.70039 s]
/proc/loadavg: 2.36 2.33 2.28 2/179 16104
/proc/meminfo: memFree=29112696/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1307204 CPUtime=0.68 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 83129 0 0 0 55 13 0 0 20 0 4 0 25002291 1338576896 83454 33554432000 4194304 16246674 140734710224672 140734710223984 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 326801 83454 848 2943 0 323695 0
[pid=16104/tid=16105] ppid=16101 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1338576896 83454 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1338576896 83454 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1338576896 83454 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1307204
[startup+1.50048 s]
/proc/loadavg: 2.36 2.33 2.28 3/183 16108
/proc/meminfo: memFree=28444116/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 208035 0 0 0 119 30 0 0 20 0 4 0 25002291 1339625472 208361 33554432000 4194304 16246674 140734710224672 140734710206592 5531957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 327057 208376 851 2943 0 323951 0
[pid=16104/tid=16105] ppid=16101 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1339625472 208386 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1339625472 208396 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1339625472 208403 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228
[startup+3.10041 s]
/proc/loadavg: 2.33 2.32 2.27 3/183 16108
/proc/meminfo: memFree=28038884/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1309252 CPUtime=3.09 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 268409 0 0 0 272 37 0 0 20 0 4 0 25002291 1340674048 268734 33554432000 4194304 16246674 140734710224672 140734710206592 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 327313 268734 851 2943 0 324207 0
[pid=16104/tid=16105] ppid=16101 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1340674048 268734 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1340674048 268734 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1340674048 268734 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1309252
[startup+6.3004 s]
/proc/loadavg: 2.33 2.32 2.27 3/183 16108
/proc/meminfo: memFree=28038824/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1309252 CPUtime=6.29 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 268411 0 0 0 592 37 0 0 20 0 4 0 25002291 1340674048 268736 33554432000 4194304 16246674 140734710224672 140734710206592 6012004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 327313 268736 852 2943 0 324207 0
[pid=16104/tid=16105] ppid=16101 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1340674048 268736 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1340674048 268736 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1340674048 268736 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252
[startup+12.7004 s]
/proc/loadavg: 2.28 2.31 2.27 3/183 16108
/proc/meminfo: memFree=28038216/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1309252 CPUtime=12.68 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 268412 0 0 0 1231 37 0 0 20 0 4 0 25002291 1340674048 268737 33554432000 4194304 16246674 140734710224672 140734710206592 5722668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 327313 268737 853 2943 0 324207 0
[pid=16104/tid=16105] ppid=16101 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1340674048 268737 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1340674048 268737 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1340674048 268737 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1309252
[startup+25.5004 s]
/proc/loadavg: 2.32 2.32 2.27 4/183 16108
/proc/meminfo: memFree=28039216/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1309252 CPUtime=25.49 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 268412 0 0 0 2512 37 0 0 20 0 4 0 25002291 1340674048 268737 33554432000 4194304 16246674 140734710224672 140734710206592 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 327313 268737 853 2943 0 324207 0
[pid=16104/tid=16105] ppid=16101 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1340674048 268737 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1340674048 268737 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1340674048 268737 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252
[startup+51.1004 s]
/proc/loadavg: 2.27 2.31 2.27 3/184 16112
/proc/meminfo: memFree=28036188/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 269003 0 0 0 5071 37 0 0 20 0 4 0 25002291 1343819776 269328 33554432000 4194304 16246674 140734710224672 140734710206592 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 328081 269328 853 2943 0 324975 0
[pid=16104/tid=16105] ppid=16101 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1343819776 269328 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1343819776 269328 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1343819776 269328 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324
[startup+102.3 s]
/proc/loadavg: 2.22 2.29 2.27 3/184 16113
/proc/meminfo: memFree=28035312/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1312324 CPUtime=102.27 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 269180 0 0 0 10189 38 0 0 20 0 4 0 25002291 1343819776 269505 33554432000 4194304 16246674 140734710224672 140734710222528 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 328081 269505 853 2943 0 324975 0
[pid=16104/tid=16105] ppid=16101 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1343819776 269505 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1343819776 269505 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1343819776 269505 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1312324
################
# More data... #
################
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1319492
[startup+1362.3 s]
/proc/loadavg: 2.26 2.29 2.27 3/183 16459
/proc/meminfo: memFree=28289528/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1319492 CPUtime=1361.87 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 271395 0 0 0 136143 44 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 140734710206592 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 329873 271302 855 2943 0 326767 0
[pid=16104/tid=16105] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1319492
[startup+1422.3 s]
/proc/loadavg: 2.22 2.28 2.27 4/183 16460
/proc/meminfo: memFree=28289680/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1319492 CPUtime=1421.87 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 271395 0 0 0 142142 45 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 140734710206528 5661115 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 329873 271302 855 2943 0 326767 0
[pid=16104/tid=16105] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1319492
[startup+1482.3 s]
/proc/loadavg: 2.31 2.30 2.27 3/183 16461
/proc/meminfo: memFree=28289988/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1319492 CPUtime=1481.85 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 271395 0 0 0 148140 45 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 140734710206592 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 329873 271302 855 2943 0 326767 0
[pid=16104/tid=16105] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1319492
[startup+1542.3 s]
/proc/loadavg: 2.20 2.27 2.26 3/183 16462
/proc/meminfo: memFree=28290408/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1319492 CPUtime=1541.84 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 271395 0 0 0 154139 45 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 140734710206592 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 329873 271302 855 2943 0 326767 0
[pid=16104/tid=16105] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1319492
[startup+1602.3 s]
/proc/loadavg: 2.24 2.28 2.27 4/183 16464
/proc/meminfo: memFree=28290288/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1319492 CPUtime=1601.84 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 271395 0 0 0 160138 46 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 140734710206592 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 329873 271302 855 2943 0 326767 0
[pid=16104/tid=16105] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1319492
[startup+1662.3 s]
/proc/loadavg: 2.29 2.29 2.27 3/183 16465
/proc/meminfo: memFree=28290176/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1319492 CPUtime=1661.83 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 271395 0 0 0 166137 46 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 140734710206592 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 329873 271302 855 2943 0 326767 0
[pid=16104/tid=16105] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1319492
[startup+1722.3 s]
/proc/loadavg: 2.25 2.28 2.27 3/183 16466
/proc/meminfo: memFree=28290304/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1319492 CPUtime=1721.82 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 271395 0 0 0 172136 46 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 140734710206592 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 329873 271302 855 2943 0 326767 0
[pid=16104/tid=16105] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1319492
[startup+1782.31 s]
/proc/loadavg: 2.23 2.27 2.27 4/183 16467
/proc/meminfo: memFree=28289684/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1319492 CPUtime=1781.81 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 271395 0 0 0 178135 46 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 140734710206592 5546160 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 329873 271302 855 2943 0 326767 0
[pid=16104/tid=16105] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1319492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.24 2.27 2.27 3/183 16468
/proc/meminfo: memFree=28289676/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1319492 CPUtime=1800 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 271395 0 0 0 179954 46 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 140734710206592 5523360 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 329873 271302 855 2943 0 326767 0
[pid=16104/tid=16105] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1319492
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 16104 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.24 2.27 2.27 3/183 16468
/proc/meminfo: memFree=28289676/32872528 swapFree=1286400/1433568
[pid=16104] ppid=16101 vsize=1319492 CPUtime=1800 cores=0,2,4,6
/proc/16104/stat : 16104 (toysat) R 16101 16104 12983 0 -1 4202496 271395 0 0 0 179954 46 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 140734710206592 5523360 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16104/statm: 329873 271302 855 2943 0 326767 0
[pid=16104/tid=16105] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16105/stat : 16105 (toysat) S 16101 16104 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949607202032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16104/tid=16106] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16106/stat : 16106 (toysat) S 16101 16104 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949596712176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16104/tid=16107] ppid=16101 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/16104/task/16107/stat : 16107 (toysat) S 16101 16104 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002291 1351159808 271302 33554432000 4194304 16246674 140734710224672 139949586238640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1319492
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.55
CPU system time (s): 0.466929
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 1319492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.466929
maximum resident set size= 1085208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271395
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= 433
involuntary context switches= 1839
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6642 second user time and 17.6333 second system time
The end