0.00/0.00 c 2016-06-29T17:06:27+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-4117501-1467212787.opb"]
0.00/0.01 c use --random-gen="3416657384 161574268 3046620014 159294290 2742008993 4283464896 2965068487 735871399 201238837 2896372113 991466744 2650622415 1093206287 16029673 3079546235 433152800 2606742425 1137736139 2791790577 429138269 4028191098 66149599 664262067 2162914903 1577916824 2581911428 1376649896 2032893519 2970674680 3199632970 1609179551 1589756288 3432383819 960486267 2322716828 708543855 4124339509 3693465739 2735044015 3044445680 1229757485 3921127824 3160273388 4243491753 3240773666 2441644810 2411622385 3959013142 754234255 1198405549 2261458464 159729152 4151303352 2732582177 3641582669 1198358589 3898999548 569061803 1136746304 3203931549 2816982210 2381197332 2566659651 1683071547 588238738 1969093678 3741860952 61026132 621660089 3800220876 144307870 2157256770 3683848788 3548000320 1071335786 3201084911 3181080415 629834203 1179030635 1189548325 2888274086 109973055 3937891988 1220938539 3168021924 1709566951 613342955 3466577861 3223477079 3325969129 969921863 1530590251 2848004049 23129191 889846199 351612772 3002349227 698414704 4065999316 3442466200 2519411450 1763303683 3732303699 1925645077 613741204 3932111164 2091288722 1488709198 514456444 95752241 1947638711 2226960106 1215762799 3123373009 3004678949 2511298083 32201762 3815448996 67777310 2299527663 914621075 154275820 3733214156 3357463580 4122434538 3062034919 2989494583 971347103 278542392 2735441663 12092918 1573726554 3523943662 2770447850 3120116501 2972238739 1424340223 4120405739 1851501723 418932030 4280272439 1381484485 3862033783 1911560792 2466326782 504720999 557985026 1326161984 4226930494 1081431828 1005481573 1736389744 2750895274 3511166579 2212723200 674558955 2829994237 1256669612 2186091912 811982827 2506688935 1435984762 1714838657 2382236058 2618840750 2096477884 875795311 603446324 2176982842 346156957 2966647281 3862932609 3180823526 2452078162 2178245571 2038912246 3149284387 1078777385 3553825586 186856393 3089341167 1722327521 2058914864 4197154643 1460343307 3212223613 404236758 663187993 168871624 3438570910 1678710014 3856998810 667928813 3615968381 528836687 852524448 1439090986 2811846701 212842081 2058646607 3280900541 3170288213 3473275530 3107294415 3779472138 2376590812 606901408 803496727 2388134832 1274949074 595254547 725928686 831850299 941811384 1774096096 1836884553 2460850404 1293415292 637316328 354672424 490965932 102754560 616598304 3795621818 1274258948 236597318 1185872199 3337398843 4182980344 90172004 72130294 1034137947 3087154868 161001720 2433226602 935342950 39648807 699142644 3541484257 2155370737 3770583149 4250853049 1043078234 305377719 1772165682 1046801233 2645631393 1402818568 3334108021 2837067482 2755351469 4284260870 2038801316 1869925258 1467664602 2185025802 255 362436" option to reproduce the execution
0.00/0.01 c #vars 144
0.00/0.01 c #constraints 70
0.00/0.01 c BCD2: Hardening is enabled.
0.00/0.01 c BCD2: BiasedSearch is enabled.
0.00/0.01 c Solving starts ...
0.00/0.01 c ============================[ Search Statistics ]============================
0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.01 c | | | | Limit GC | Var | Constra
0.00/0.01 c =============================================================================
0.00/0.01 c 0.0s | 0 | 0 | 0 | 87 0 | 25 | 0
0.00/0.02 c 0.0s | 0 | 45 | 22 | 87 0 | 25 | 0
0.00/0.02 c #cpu_time = 0.003s
0.00/0.02 c #wall_clock_time = 0.003s
0.00/0.02 c #decision = 45
0.00/0.02 c #random_decision = 1
0.00/0.02 c #conflict = 22
0.00/0.02 c #restart = 0
0.00/0.02 o 70
0.00/0.02 c BCD2: updating upper bound: 144 -> 69
0.00/0.02 c BCD2: 0 <= obj <= 69
0.00/0.02 c BCD2: #cores=0, #unrelaxed=144, #relaxed=0, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 87 0 | 25 | 0
0.00/0.02 c 0.0s | 0 | 0 | 0 | 87 0 | 25 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 0
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 1
0.00/0.02 c BCD2: 1 <= obj <= 69
0.00/0.02 c BCD2: #cores=1, #unrelaxed=143, #relaxed=1, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 87 0 | 25 | 0
0.00/0.02 c 0.0s | 0 | 5 | 0 | 87 0 | 25 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 5
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.02 c lower bound updated to 2
0.00/0.02 c BCD2: 2 <= obj <= 69
0.00/0.02 c BCD2: #cores=2, #unrelaxed=138, #relaxed=6, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 87 0 | 25 | 0
0.00/0.02 c 0.0s | 0 | 5 | 0 | 87 0 | 25 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 5
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 3
0.00/0.02 c BCD2: 3 <= obj <= 69
0.00/0.02 c BCD2: #cores=3, #unrelaxed=137, #relaxed=7, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=4 bias=4/5
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 87 0 | 25 | 0
0.00/0.02 c 0.0s | 0 | 6 | 0 | 87 0 | 25 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 6
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 4
0.00/0.02 c BCD2: 4 <= obj <= 69
0.00/0.02 c BCD2: #cores=4, #unrelaxed=136, #relaxed=8, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=5 bias=5/6
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 87 0 | 25 | 0
0.00/0.02 c 0.0s | 0 | 7 | 0 | 87 0 | 25 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 7
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 5
0.00/0.02 c BCD2: 5 <= obj <= 69
0.00/0.02 c BCD2: #cores=5, #unrelaxed=135, #relaxed=9, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=6 bias=6/7
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 87 0 | 25 | 0
0.00/0.02 c 0.0s | 0 | 13 | 1 | 87 0 | 25 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 13
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 1
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.02 c lower bound updated to 6
0.00/0.02 c BCD2: 6 <= obj <= 69
0.00/0.02 c BCD2: #cores=5, #unrelaxed=129, #relaxed=15, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=7 bias=7/8
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 87 0 | 26 | 0
0.00/0.02 c 0.0s | 0 | 8 | 0 | 87 0 | 26 | 1
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 8
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.02 c lower bound updated to 7
0.00/0.02 c BCD2: 7 <= obj <= 69
0.00/0.02 c BCD2: #cores=6, #unrelaxed=125, #relaxed=19, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=8 bias=8/9
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 87 0 | 26 | 1
0.00/0.02 c 0.0s | 0 | 9 | 1 | 87 0 | 26 | 1
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 9
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 1
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 7: cost of the new core is >=2
0.00/0.02 c lower bound updated to 8
0.00/0.02 c BCD2: 8 <= obj <= 69
0.00/0.02 c BCD2: #cores=6, #unrelaxed=122, #relaxed=22, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=9 bias=9/10
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 87 0 | 27 | 1
0.00/0.02 c 0.0s | 0 | 6 | 0 | 87 0 | 27 | 2
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 6
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 9
0.00/0.03 c BCD2: 9 <= obj <= 69
0.00/0.03 c BCD2: #cores=7, #unrelaxed=121, #relaxed=23, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=10 bias=10/11
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 87 0 | 27 | 2
0.00/0.03 c 0.0s | 0 | 15 | 0 | 87 0 | 27 | 2
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 15
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.03 c lower bound updated to 10
0.00/0.03 c BCD2: 10 <= obj <= 69
0.00/0.03 c BCD2: #cores=8, #unrelaxed=112, #relaxed=32, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=11 bias=11/12
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 87 0 | 27 | 2
0.00/0.03 c 0.0s | 0 | 18 | 0 | 87 0 | 27 | 2
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 18
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.03 c lower bound updated to 11
0.00/0.03 c BCD2: 11 <= obj <= 69
0.00/0.03 c BCD2: #cores=9, #unrelaxed=104, #relaxed=40, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=12 bias=12/13
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 87 0 | 27 | 2
0.00/0.03 c 0.0s | 0 | 22 | 0 | 87 0 | 27 | 2
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 22
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.03 c lower bound updated to 12
0.00/0.03 c BCD2: 12 <= obj <= 69
0.00/0.03 c BCD2: #cores=10, #unrelaxed=95, #relaxed=49, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=13 bias=13/14
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 87 0 | 27 | 2
0.00/0.03 c 0.0s | 0 | 27 | 0 | 87 0 | 27 | 2
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 27
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.03 c lower bound updated to 13
0.00/0.03 c BCD2: 13 <= obj <= 69
0.00/0.03 c BCD2: #cores=11, #unrelaxed=87, #relaxed=57, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=14 bias=14/15
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 87 0 | 27 | 2
0.00/0.03 c 0.0s | 0 | 23 | 0 | 87 0 | 27 | 2
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 23
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.03 c lower bound updated to 14
0.00/0.03 c BCD2: 14 <= obj <= 69
0.00/0.03 c BCD2: #cores=12, #unrelaxed=83, #relaxed=61, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=15 bias=15/16
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 87 0 | 27 | 2
0.00/0.03 c 0.0s | 0 | 28 | 0 | 87 0 | 27 | 2
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 28
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.03 c lower bound updated to 15
0.00/0.03 c BCD2: 15 <= obj <= 69
0.00/0.03 c BCD2: #cores=13, #unrelaxed=76, #relaxed=68, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=16 bias=16/17
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 87 0 | 27 | 2
0.00/0.03 c 0.0s | 0 | 39 | 1 | 87 0 | 27 | 2
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 39
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.00/0.03 c lower bound updated to 16
0.00/0.03 c BCD2: 16 <= obj <= 69
0.00/0.03 c BCD2: #cores=13, #unrelaxed=72, #relaxed=72, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=17 bias=17/18
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 87 0 | 28 | 2
0.00/0.03 c 0.0s | 0 | 23 | 0 | 87 0 | 28 | 3
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 23
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.03 c lower bound updated to 17
0.00/0.03 c BCD2: 17 <= obj <= 69
0.00/0.03 c BCD2: #cores=14, #unrelaxed=69, #relaxed=75, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=18 bias=18/19
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 87 0 | 28 | 3
0.00/0.03 c 0.0s | 0 | 26 | 0 | 87 0 | 28 | 3
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 26
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.03 c lower bound updated to 18
0.00/0.03 c BCD2: 18 <= obj <= 69
0.00/0.03 c BCD2: #cores=15, #unrelaxed=64, #relaxed=80, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=19 bias=19/20
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 87 0 | 28 | 3
0.00/0.03 c 0.0s | 0 | 27 | 1 | 87 0 | 28 | 3
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 27
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=2
0.00/0.03 c lower bound updated to 19
0.00/0.03 c BCD2: 19 <= obj <= 69
0.00/0.03 c BCD2: #cores=15, #unrelaxed=60, #relaxed=84, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=20 bias=20/21
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 87 0 | 29 | 3
0.00/0.04 c 0.0s | 0 | 31 | 0 | 87 0 | 29 | 4
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 31
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.04 c lower bound updated to 20
0.00/0.04 c BCD2: 20 <= obj <= 69
0.00/0.04 c BCD2: #cores=16, #unrelaxed=53, #relaxed=91, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=21 bias=21/22
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 87 0 | 29 | 4
0.00/0.04 c 0.0s | 0 | 29 | 0 | 87 0 | 29 | 4
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 29
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.04 c lower bound updated to 21
0.00/0.04 c BCD2: 21 <= obj <= 69
0.00/0.04 c BCD2: #cores=17, #unrelaxed=52, #relaxed=92, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=22 bias=22/23
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 87 0 | 29 | 4
0.00/0.04 c 0.0s | 0 | 35 | 0 | 87 0 | 29 | 4
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 35
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.04 c lower bound updated to 22
0.00/0.04 c BCD2: 22 <= obj <= 69
0.00/0.04 c BCD2: #cores=18, #unrelaxed=46, #relaxed=98, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=23 bias=23/24
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 87 0 | 29 | 4
0.00/0.04 c 0.0s | 0 | 33 | 1 | 87 0 | 29 | 4
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 33
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 12 and merging with 2 cores into a new core of size 28: cost of the new core is >=4
0.00/0.04 c lower bound updated to 23
0.00/0.04 c BCD2: 23 <= obj <= 69
0.00/0.04 c BCD2: #cores=17, #unrelaxed=34, #relaxed=110, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=24 bias=24/25
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 87 0 | 31 | 4
0.00/0.04 c 0.0s | 0 | 20 | 0 | 87 0 | 31 | 6
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 20
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.04 c lower bound updated to 24
0.00/0.04 c BCD2: 24 <= obj <= 69
0.00/0.04 c BCD2: #cores=18, #unrelaxed=33, #relaxed=111, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=25 bias=25/26
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 87 0 | 31 | 6
0.00/0.04 c 0.0s | 0 | 21 | 0 | 87 0 | 31 | 6
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 21
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.04 c lower bound updated to 25
0.00/0.04 c BCD2: 25 <= obj <= 69
0.00/0.04 c BCD2: #cores=19, #unrelaxed=32, #relaxed=112, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=26 bias=26/27
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 87 0 | 31 | 6
0.00/0.04 c 0.0s | 0 | 26 | 0 | 87 0 | 31 | 6
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 26
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.04 c lower bound updated to 26
0.00/0.04 c BCD2: 26 <= obj <= 69
0.00/0.04 c BCD2: #cores=20, #unrelaxed=27, #relaxed=117, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=27 bias=27/28
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 87 0 | 31 | 6
0.00/0.04 c 0.0s | 0 | 25 | 0 | 87 0 | 31 | 6
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 25
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.04 c lower bound updated to 27
0.00/0.04 c BCD2: 27 <= obj <= 69
0.00/0.04 c BCD2: #cores=21, #unrelaxed=26, #relaxed=118, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=28 bias=28/29
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 87 0 | 31 | 6
0.00/0.04 c 0.0s | 0 | 26 | 0 | 87 0 | 31 | 6
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 26
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.04 c lower bound updated to 28
0.00/0.04 c BCD2: 28 <= obj <= 69
0.00/0.04 c BCD2: #cores=22, #unrelaxed=25, #relaxed=119, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=29 bias=29/30
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 87 0 | 31 | 6
0.00/0.04 c 0.0s | 0 | 27 | 0 | 87 0 | 31 | 6
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 27
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.04 c lower bound updated to 29
0.00/0.04 c BCD2: 29 <= obj <= 69
0.00/0.04 c BCD2: #cores=23, #unrelaxed=24, #relaxed=120, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=30 bias=30/31
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 87 0 | 31 | 6
0.00/0.04 c 0.0s | 0 | 29 | 1 | 87 0 | 31 | 6
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 29
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 8: cost of the new core is >=2
0.00/0.04 c lower bound updated to 30
0.00/0.04 c BCD2: 30 <= obj <= 69
0.00/0.04 c BCD2: #cores=23, #unrelaxed=21, #relaxed=123, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=31 bias=31/32
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 87 0 | 32 | 6
0.00/0.05 c 0.0s | 0 | 28 | 0 | 87 0 | 32 | 7
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 28
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.05 c lower bound updated to 31
0.00/0.05 c BCD2: 31 <= obj <= 69
0.00/0.05 c BCD2: #cores=24, #unrelaxed=18, #relaxed=126, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=32 bias=32/33
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 87 0 | 32 | 7
0.00/0.05 c 0.0s | 0 | 28 | 0 | 87 0 | 32 | 7
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 28
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.05 c lower bound updated to 32
0.00/0.05 c BCD2: 32 <= obj <= 69
0.00/0.05 c BCD2: #cores=25, #unrelaxed=17, #relaxed=127, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=33 bias=33/34
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 87 0 | 32 | 7
0.00/0.05 c 0.0s | 0 | 29 | 0 | 87 0 | 32 | 7
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 29
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.05 c lower bound updated to 33
0.00/0.05 c BCD2: 33 <= obj <= 69
0.00/0.05 c BCD2: #cores=26, #unrelaxed=16, #relaxed=128, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=34 bias=34/35
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 87 0 | 32 | 7
0.00/0.05 c 0.0s | 0 | 30 | 0 | 87 0 | 32 | 7
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 30
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.05 c lower bound updated to 34
0.00/0.05 c BCD2: 34 <= obj <= 69
0.00/0.05 c BCD2: #cores=27, #unrelaxed=15, #relaxed=129, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=35 bias=35/36
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 87 0 | 32 | 7
0.00/0.05 c 0.0s | 0 | 117 | 17 | 87 0 | 32 | 7
0.00/0.05 c #cpu_time = 0.002s
0.00/0.05 c #wall_clock_time = 0.002s
0.00/0.05 c #decision = 117
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 17
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.05 c lower bound updated to 35
0.00/0.05 c BCD2: 35 <= obj <= 69
0.00/0.05 c BCD2: #cores=27, #unrelaxed=14, #relaxed=130, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=36 bias=36/37
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 87 0 | 33 | 7
0.00/0.06 c 0.0s | 0 | 123 | 82 | 96 0 | 33 | 8
0.00/0.06 c #cpu_time = 0.007s
0.00/0.06 c #wall_clock_time = 0.007s
0.00/0.06 c #decision = 123
0.00/0.06 c #random_decision = 2
0.00/0.06 c #conflict = 82
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 3 and merging with 7 cores into a new core of size 53: cost of the new core is >=12
0.00/0.06 c lower bound updated to 36
0.00/0.06 c BCD2: 36 <= obj <= 69
0.00/0.06 c BCD2: #cores=21, #unrelaxed=11, #relaxed=133, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=37 bias=37/38
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 96 0 | 40 | 8
0.00/0.07 c 0.0s | 1 | 147 | 100 | 96 0 | 40 | 15
0.09/0.10 c 0.0s | 2 | 379 | 250 | 106 1 | 40 | 15
0.09/0.13 c 0.1s | 3 | 654 | 475 | 117 4 | 40 | 15
0.19/0.33 c 0.1s | 4 | 1112 | 813 | 129 7 | 40 | 15
0.19/0.33 c 0.2s | 5 | 1752 | 1320 | 142 12 | 40 | 15
0.19/0.33 c 0.3s | 6 | 2741 | 2081 | 157 19 | 40 | 15
0.19/0.43 c 0.4s | 7 | 4107 | 3223 | 173 29 | 40 | 15
0.19/0.63 c 0.6s | 8 | 6130 | 4936 | 191 43 | 40 | 15
0.81/0.89 c 0.8s | 9 | 9249 | 7506 | 211 62 | 40 | 15
1.29/1.31 c 1.2s | 10 | 13909 | 11361 | 233 89 | 40 | 15
1.39/1.47 c 1.4s | 10 | 16223 | 13299 | 233 102 | 40 | 15
1.39/1.47 c #cpu_time = 1.407s
1.39/1.47 c #wall_clock_time = 1.407s
1.39/1.47 c #decision = 16223
1.39/1.47 c #random_decision = 59
1.39/1.47 c #conflict = 13299
1.39/1.47 c #restart = 10
1.39/1.47 c BCD2: relaxing 0 and merging with 7 cores into a new core of size 119: cost of the new core is >=23
1.39/1.47 c lower bound updated to 37
1.39/1.47 c BCD2: 37 <= obj <= 69
1.39/1.47 c BCD2: #cores=15, #unrelaxed=11, #relaxed=133, #hardened=0
1.39/1.47 c BCD2: #sat=1 #unsat=38 bias=38/39
1.39/1.47 c Solving starts ...
1.39/1.47 c ============================[ Search Statistics ]============================
1.39/1.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.39/1.47 c | | | | Limit GC | Var | Constra
1.39/1.47 c =============================================================================
1.39/1.47 c 0.0s | 0 | 0 | 0 | 233 0 | 47 | 15
1.39/1.48 c 0.0s | 1 | 156 | 100 | 233 0 | 47 | 22
1.49/1.50 c 0.0s | 2 | 351 | 250 | 233 0 | 47 | 22
1.49/1.52 c 0.1s | 3 | 658 | 475 | 233 1 | 47 | 22
1.49/1.56 c 0.1s | 4 | 1082 | 813 | 233 3 | 47 | 22
1.60/1.63 c 0.2s | 5 | 1698 | 1320 | 233 6 | 47 | 22
1.70/1.73 c 0.3s | 6 | 2537 | 2081 | 233 11 | 47 | 22
1.79/1.88 c 0.4s | 7 | 3802 | 3223 | 233 19 | 47 | 22
2.09/2.11 c 0.6s | 8 | 5716 | 4936 | 257 29 | 47 | 22
2.39/2.48 c 1.0s | 9 | 8562 | 7506 | 257 43 | 47 | 22
2.89/2.99 c 1.5s | 10 | 12939 | 11361 | 257 65 | 47 | 22
3.69/3.75 c 2.3s | 11 | 19326 | 17144 | 283 96 | 47 | 22
4.79/4.89 c 3.4s | 12 | 28989 | 25819 | 312 142 | 47 | 22
6.69/6.74 c 5.3s | 13 | 43121 | 38832 | 312 205 | 47 | 22
8.69/8.75 c 7.3s | 13 | 58975 | 53232 | 344 273 | 47 | 22
9.49/9.50 c 8.0s | 14 | 64605 | 58352 | 344 297 | 47 | 22
11.50/11.51 c 10.0s | 14 | 81065 | 73152 | 344 365 | 47 | 22
13.49/13.51 c 12.0s | 15 | 97203 | 87632 | 379 426 | 47 | 22
15.49/15.51 c 14.0s | 15 | 114038 | 102632 | 379 489 | 47 | 22
17.48/17.52 c 16.1s | 15 | 130220 | 117032 | 379 550 | 47 | 22
19.48/19.53 c 18.1s | 15 | 145922 | 131032 | 417 605 | 47 | 22
19.58/19.61 c 18.1s | 16 | 146468 | 131552 | 417 607 | 47 | 22
21.58/21.61 c 20.1s | 16 | 162888 | 146352 | 417 666 | 47 | 22
23.59/23.62 c 22.2s | 16 | 179498 | 161152 | 417 724 | 47 | 22
25.58/25.63 c 24.2s | 16 | 196289 | 176052 | 417 783 | 47 | 22
27.58/27.64 c 26.2s | 16 | 211746 | 190052 | 459 836 | 47 | 22
28.58/28.66 c 27.2s | 17 | 220011 | 197432 | 459 863 | 47 | 22
30.59/30.66 c 29.2s | 17 | 235096 | 211132 | 459 912 | 47 | 22
32.59/32.67 c 31.2s | 17 | 250623 | 225132 | 459 963 | 47 | 22
34.59/34.67 c 33.2s | 17 | 265705 | 238732 | 459 1012 | 47 | 22
36.58/36.68 c 35.2s | 17 | 280394 | 252132 | 459 1061 | 47 | 22
38.58/38.68 c 37.2s | 17 | 295494 | 265832 | 459 1110 | 47 | 22
40.58/40.69 c 39.2s | 17 | 311110 | 279832 | 459 1161 | 47 | 22
42.58/42.69 c 41.2s | 17 | 326202 | 293532 | 505 1208 | 47 | 22
42.98/43.08 c 41.6s | 18 | 329267 | 296252 | 505 1217 | 47 | 22
44.98/45.08 c 43.6s | 18 | 344272 | 309752 | 505 1262 | 47 | 22
46.98/47.09 c 45.6s | 18 | 359464 | 323452 | 505 1308 | 47 | 22
48.99/49.09 c 47.6s | 18 | 374717 | 337252 | 505 1354 | 47 | 22
50.98/51.10 c 49.6s | 18 | 389834 | 350852 | 505 1399 | 47 | 22
53.07/53.11 c 51.6s | 18 | 404749 | 364352 | 505 1444 | 47 | 22
55.07/55.12 c 53.6s | 18 | 418923 | 377252 | 505 1487 | 47 | 22
57.08/57.13 c 55.7s | 18 | 433565 | 390552 | 505 1532 | 47 | 22
59.08/59.13 c 57.7s | 18 | 449025 | 404452 | 505 1578 | 47 | 22
61.09/61.14 c 59.7s | 18 | 463978 | 417952 | 505 1624 | 47 | 22
63.08/63.14 c 61.7s | 18 | 478394 | 430952 | 556 1666 | 47 | 22
65.08/65.14 c 63.7s | 18 | 492730 | 443852 | 556 1706 | 47 | 22
65.18/65.24 c 63.8s | 19 | 493425 | 444482 | 556 1708 | 47 | 22
67.18/67.25 c 65.8s | 19 | 509483 | 458682 | 556 1752 | 47 | 22
69.18/69.25 c 67.8s | 19 | 524793 | 472082 | 556 1794 | 47 | 22
71.18/71.27 c 69.8s | 19 | 540099 | 485682 | 556 1836 | 47 | 22
73.19/73.28 c 71.8s | 19 | 555412 | 499282 | 556 1879 | 47 | 22
75.18/75.28 c 73.8s | 19 | 570429 | 512582 | 556 1919 | 47 | 22
77.18/77.28 c 75.8s | 19 | 585413 | 525982 | 556 1961 | 47 | 22
79.18/79.28 c 77.8s | 19 | 600303 | 539282 | 556 2002 | 47 | 22
81.18/81.29 c 79.8s | 19 | 615173 | 552582 | 556 2043 | 47 | 22
83.28/83.30 c 81.8s | 19 | 629916 | 565882 | 556 2085 | 47 | 22
85.28/85.31 c 83.8s | 19 | 645228 | 579682 | 556 2128 | 47 | 22
87.27/87.32 c 85.8s | 19 | 659943 | 592982 | 556 2169 | 47 | 22
89.27/89.33 c 87.9s | 19 | 675314 | 606782 | 556 2212 | 47 | 22
91.27/91.34 c 89.9s | 19 | 690890 | 620782 | 556 2256 | 47 | 22
93.27/93.34 c 91.9s | 19 | 705410 | 633982 | 556 2297 | 47 | 22
95.27/95.35 c 93.9s | 19 | 721113 | 647982 | 556 2341 | 47 | 22
97.28/97.36 c 95.9s | 19 | 735951 | 661382 | 612 2380 | 47 | 22
98.08/98.18 c 96.7s | 20 | 742021 | 666827 | 612 2395 | 47 | 22
100.08/100.19 c 98.7s | 20 | 757339 | 680627 | 612 2435 | 47 | 22
102.08/102.19 c 100s | 20 | 772323 | 694127 | 612 2473 | 47 | 22
104.18/104.20 c 102s | 20 | 787376 | 707627 | 612 2512 | 47 | 22
106.18/106.21 c 104s | 20 | 802869 | 721427 | 612 2551 | 47 | 22
108.17/108.22 c 106s | 20 | 817585 | 734627 | 612 2589 | 47 | 22
110.17/110.23 c 108s | 20 | 832276 | 747727 | 612 2626 | 47 | 22
112.17/112.23 c 110s | 20 | 847296 | 761227 | 612 2665 | 47 | 22
114.17/114.24 c 112s | 20 | 862431 | 774727 | 612 2704 | 47 | 22
116.17/116.25 c 114s | 20 | 876976 | 787927 | 612 2741 | 47 | 22
118.18/118.25 c 116s | 20 | 891230 | 800727 | 612 2778 | 47 | 22
120.17/120.27 c 118s | 20 | 906126 | 814127 | 612 2816 | 47 | 22
122.17/122.28 c 120s | 20 | 920977 | 827427 | 612 2855 | 47 | 22
124.17/124.29 c 122s | 20 | 934963 | 840227 | 612 2892 | 47 | 22
126.17/126.30 c 124s | 20 | 949100 | 853027 | 612 2928 | 47 | 22
128.27/128.30 c 126s | 20 | 963573 | 866127 | 612 2966 | 47 | 22
130.17/130.30 c 128s | 20 | 977836 | 878927 | 612 3003 | 47 | 22
132.27/132.31 c 130s | 20 | 992226 | 891927 | 612 3040 | 47 | 22
134.26/134.32 c 132s | 20 | 1006115 | 904627 | 612 3076 | 47 | 22
136.26/136.33 c 134s | 20 | 1020077 | 917427 | 612 3112 | 47 | 22
138.26/138.34 c 136s | 20 | 1034622 | 930627 | 612 3150 | 47 | 22
140.27/140.35 c 138s | 20 | 1049015 | 943627 | 612 3187 | 47 | 22
142.26/142.36 c 140s | 20 | 1063596 | 956727 | 612 3225 | 47 | 22
144.26/144.37 c 142s | 20 | 1077679 | 969527 | 612 3262 | 47 | 22
146.27/146.37 c 144s | 20 | 1092691 | 983027 | 674 3299 | 47 | 22
148.27/148.39 c 146s | 20 | 1106851 | 995827 | 674 3333 | 47 | 22
148.97/149.10 c 147s | 21 | 1111879 | 1000345 | 674 3345 | 47 | 22
151.07/151.11 c 149s | 21 | 1126556 | 1013645 | 674 3379 | 47 | 22
153.07/153.11 c 151s | 21 | 1141100 | 1026745 | 674 3413 | 47 | 22
155.07/155.11 c 153s | 21 | 1154990 | 1039345 | 674 3446 | 47 | 22
157.07/157.12 c 155s | 21 | 1168526 | 1051645 | 674 3478 | 47 | 22
159.06/159.14 c 157s | 21 | 1182174 | 1064045 | 674 3511 | 47 | 22
161.07/161.15 c 159s | 21 | 1196257 | 1076845 | 674 3544 | 47 | 22
163.06/163.15 c 161s | 21 | 1210500 | 1089745 | 674 3578 | 47 | 22
165.06/165.16 c 163s | 21 | 1225011 | 1102845 | 674 3612 | 47 | 22
167.06/167.17 c 165s | 21 | 1239620 | 1116045 | 674 3646 | 47 | 22
169.06/169.17 c 167s | 21 | 1254109 | 1129145 | 674 3680 | 47 | 22
171.07/171.18 c 169s | 21 | 1268646 | 1142245 | 674 3715 | 47 | 22
173.06/173.19 c 171s | 21 | 1282592 | 1154945 | 674 3748 | 47 | 22
175.16/175.20 c 173s | 21 | 1297308 | 1168145 | 674 3782 | 47 | 22
177.16/177.21 c 175s | 21 | 1311887 | 1181445 | 674 3817 | 47 | 22
179.16/179.22 c 177s | 21 | 1325978 | 1194245 | 674 3850 | 47 | 22
181.16/181.23 c 179s | 21 | 1340589 | 1207345 | 674 3885 | 47 | 22
183.17/183.24 c 181s | 21 | 1354928 | 1220445 | 674 3919 | 47 | 22
185.16/185.25 c 183s | 21 | 1368980 | 1233245 | 674 3952 | 47 | 22
187.16/187.27 c 185s | 21 | 1384077 | 1246845 | 674 3988 | 47 | 22
189.16/189.27 c 187s | 21 | 1398657 | 1260045 | 674 4022 | 47 | 22
191.15/191.28 c 189s | 21 | 1413165 | 1273145 | 674 4057 | 47 | 22
193.16/193.28 c 191s | 21 | 1427821 | 1286345 | 674 4091 | 47 | 22
195.16/195.29 c 193s | 21 | 1442135 | 1299345 | 674 4125 | 47 | 22
197.15/197.30 c 195s | 21 | 1456669 | 1312445 | 674 4159 | 47 | 22
199.25/199.31 c 197s | 21 | 1471525 | 1325745 | 674 4194 | 47 | 22
201.25/201.32 c 199s | 21 | 1485882 | 1338645 | 674 4228 | 47 | 22
203.25/203.32 c 201s | 21 | 1500065 | 1351345 | 674 4261 | 47 | 22
205.25/205.32 c 203s | 21 | 1514183 | 1364045 | 674 4295 | 47 | 22
207.26/207.33 c 205s | 21 | 1528691 | 1377145 | 674 4329 | 47 | 22
209.26/209.34 c 207s | 21 | 1543952 | 1390745 | 674 4365 | 47 | 22
211.26/211.35 c 209s | 21 | 1558320 | 1403645 | 674 4399 | 47 | 22
213.26/213.35 c 211s | 21 | 1572470 | 1416345 | 674 4433 | 47 | 22
215.26/215.36 c 213s | 21 | 1586593 | 1428945 | 674 4466 | 47 | 22
217.27/217.36 c 215s | 21 | 1600443 | 1441345 | 674 4499 | 47 | 22
219.26/219.36 c 217s | 21 | 1613845 | 1453445 | 674 4531 | 47 | 22
221.26/221.38 c 219s | 21 | 1627871 | 1466045 | 674 4564 | 47 | 22
223.26/223.39 c 221s | 21 | 1641716 | 1478545 | 742 4596 | 47 | 22
225.36/225.40 c 223s | 21 | 1654966 | 1490545 | 742 4625 | 47 | 22
226.96/227.06 c 225s | 22 | 1666125 | 1500622 | 742 4649 | 47 | 22
228.96/229.08 c 227s | 22 | 1680202 | 1513222 | 742 4679 | 47 | 22
230.95/231.08 c 229s | 22 | 1694643 | 1526122 | 742 4710 | 47 | 22
232.95/233.09 c 231s | 22 | 1708427 | 1538622 | 742 4740 | 47 | 22
235.05/235.10 c 233s | 22 | 1721742 | 1550722 | 742 4769 | 47 | 22
237.06/237.11 c 235s | 22 | 1734959 | 1562822 | 742 4798 | 47 | 22
239.05/239.11 c 237s | 22 | 1748382 | 1575022 | 742 4827 | 47 | 22
241.05/241.12 c 239s | 22 | 1761996 | 1587322 | 742 4857 | 47 | 22
243.05/243.13 c 241s | 22 | 1775889 | 1599822 | 742 4887 | 47 | 22
245.05/245.14 c 243s | 22 | 1789563 | 1612122 | 742 4917 | 47 | 22
247.05/247.14 c 245s | 22 | 1803526 | 1624622 | 742 4947 | 47 | 22
249.06/249.15 c 247s | 22 | 1816933 | 1636822 | 742 4976 | 47 | 22
251.05/251.17 c 249s | 22 | 1831070 | 1649622 | 742 5008 | 47 | 22
253.05/253.18 c 251s | 22 | 1844686 | 1662022 | 742 5037 | 47 | 22
255.05/255.19 c 253s | 22 | 1858112 | 1674122 | 742 5066 | 47 | 22
257.15/257.20 c 255s | 22 | 1872106 | 1686722 | 742 5097 | 47 | 22
259.15/259.20 c 257s | 22 | 1885946 | 1699222 | 742 5127 | 47 | 22
261.16/261.22 c 259s | 22 | 1900070 | 1712122 | 742 5158 | 47 | 22
263.15/263.23 c 261s | 22 | 1914252 | 1724922 | 742 5189 | 47 | 22
265.15/265.24 c 263s | 22 | 1928332 | 1737622 | 742 5219 | 47 | 22
267.15/267.25 c 265s | 22 | 1941197 | 1749422 | 742 5247 | 47 | 22
269.15/269.25 c 267s | 22 | 1954116 | 1761222 | 742 5276 | 47 | 22
271.15/271.27 c 269s | 22 | 1967077 | 1773122 | 742 5304 | 47 | 22
273.15/273.27 c 271s | 22 | 1980408 | 1785122 | 742 5333 | 47 | 22
275.15/275.28 c 273s | 22 | 1993401 | 1797022 | 742 5362 | 47 | 22
277.15/277.29 c 275s | 22 | 2006780 | 1809122 | 742 5391 | 47 | 22
279.25/279.30 c 277s | 22 | 2020035 | 1821122 | 742 5420 | 47 | 22
281.25/281.31 c 279s | 22 | 2032760 | 1832822 | 742 5448 | 47 | 22
283.25/283.32 c 281s | 22 | 2045619 | 1844522 | 742 5476 | 47 | 22
285.24/285.33 c 283s | 22 | 2058412 | 1856322 | 742 5504 | 47 | 22
287.24/287.34 c 285s | 22 | 2072199 | 1868822 | 742 5534 | 47 | 22
289.24/289.35 c 287s | 22 | 2086116 | 1881422 | 742 5565 | 47 | 22
291.24/291.35 c 289s | 22 | 2099810 | 1893822 | 742 5595 | 47 | 22
293.24/293.36 c 291s | 22 | 2113189 | 1906022 | 742 5624 | 47 | 22
295.25/295.37 c 293s | 22 | 2126560 | 1918222 | 742 5654 | 47 | 22
297.24/297.38 c 295s | 22 | 2140148 | 1930522 | 742 5683 | 47 | 22
299.25/299.39 c 297s | 22 | 2154161 | 1943122 | 742 5714 | 47 | 22
301.25/301.39 c 299s | 22 | 2167361 | 1955022 | 742 5742 | 47 | 22
303.34/303.40 c 301s | 22 | 2180599 | 1967022 | 742 5771 | 47 | 22
305.34/305.41 c 303s | 22 | 2193909 | 1979022 | 742 5800 | 47 | 22
307.35/307.43 c 305s | 22 | 2207189 | 1991022 | 742 5828 | 47 | 22
309.34/309.44 c 307s | 22 | 2221025 | 2003522 | 742 5858 | 47 | 22
311.34/311.45 c 309s | 22 | 2234389 | 2015622 | 742 5887 | 47 | 22
313.34/313.46 c 311s | 22 | 2247717 | 2027822 | 742 5917 | 47 | 22
315.34/315.47 c 313s | 22 | 2261129 | 2040022 | 742 5946 | 47 | 22
317.35/317.47 c 316s | 22 | 2274341 | 2052022 | 742 5975 | 47 | 22
319.34/319.48 c 318s | 22 | 2287503 | 2064022 | 742 6004 | 47 | 22
321.34/321.48 c 320s | 22 | 2300910 | 2076222 | 742 6033 | 47 | 22
323.44/323.50 c 322s | 22 | 2314280 | 2088422 | 742 6062 | 47 | 22
325.44/325.51 c 324s | 22 | 2327022 | 2100022 | 742 6090 | 47 | 22
327.44/327.53 c 326s | 22 | 2339914 | 2111822 | 742 6119 | 47 | 22
329.44/329.53 c 328s | 22 | 2353011 | 2123722 | 742 6147 | 47 | 22
331.43/331.54 c 330s | 22 | 2366506 | 2136022 | 742 6177 | 47 | 22
333.44/333.54 c 332s | 22 | 2379365 | 2147822 | 742 6205 | 47 | 22
335.44/335.56 c 334s | 22 | 2392714 | 2159922 | 742 6234 | 47 | 22
337.44/337.57 c 336s | 22 | 2406396 | 2172222 | 742 6264 | 47 | 22
339.44/339.57 c 338s | 22 | 2419969 | 2184522 | 742 6294 | 47 | 22
341.45/341.58 c 340s | 22 | 2433290 | 2196622 | 742 6324 | 47 | 22
343.44/343.58 c 342s | 22 | 2446677 | 2208822 | 742 6353 | 47 | 22
345.44/345.59 c 344s | 22 | 2460607 | 2221322 | 742 6383 | 47 | 22
347.54/347.61 c 346s | 22 | 2474329 | 2233722 | 817 6410 | 47 | 22
349.54/349.61 c 348s | 22 | 2487778 | 2245822 | 817 6437 | 47 | 22
350.44/350.50 c 349s | 23 | 2493502 | 2251038 | 817 6449 | 47 | 22
352.34/352.50 c 351s | 23 | 2506884 | 2263038 | 817 6475 | 47 | 22
354.44/354.51 c 353s | 23 | 2520644 | 2275338 | 817 6502 | 47 | 22
356.43/356.51 c 355s | 23 | 2534173 | 2287538 | 817 6529 | 47 | 22
358.43/358.52 c 357s | 23 | 2547328 | 2299338 | 817 6555 | 47 | 22
360.43/360.53 c 359s | 23 | 2561179 | 2311638 | 817 6583 | 47 | 22
362.44/362.54 c 361s | 23 | 2574963 | 2324038 | 817 6610 | 47 | 22
364.43/364.55 c 363s | 23 | 2588061 | 2335938 | 817 6636 | 47 | 22
366.43/366.55 c 365s | 23 | 2600880 | 2347638 | 817 6662 | 47 | 22
368.43/368.57 c 367s | 23 | 2614080 | 2359638 | 817 6688 | 47 | 22
370.43/370.58 c 369s | 23 | 2627416 | 2371638 | 817 6714 | 47 | 22
372.43/372.60 c 371s | 23 | 2640879 | 2383638 | 817 6741 | 47 | 22
374.44/374.60 c 373s | 23 | 2654080 | 2395438 | 817 6767 | 47 | 22
376.53/376.61 c 375s | 23 | 2667280 | 2407438 | 817 6793 | 47 | 22
378.53/378.63 c 377s | 23 | 2680690 | 2419538 | 817 6820 | 47 | 22
380.53/380.64 c 379s | 23 | 2693422 | 2431138 | 817 6846 | 47 | 22
382.53/382.65 c 381s | 23 | 2707436 | 2443638 | 817 6873 | 47 | 22
384.53/384.65 c 383s | 23 | 2721274 | 2456038 | 817 6901 | 47 | 22
386.54/386.66 c 385s | 23 | 2734113 | 2467638 | 817 6926 | 47 | 22
388.53/388.67 c 387s | 23 | 2747435 | 2479638 | 817 6953 | 47 | 22
390.53/390.68 c 389s | 23 | 2761339 | 2492038 | 817 6981 | 47 | 22
392.63/392.70 c 391s | 23 | 2775087 | 2504438 | 817 7008 | 47 | 22
394.63/394.71 c 393s | 23 | 2788210 | 2516338 | 817 7035 | 47 | 22
396.63/396.73 c 395s | 23 | 2801292 | 2528138 | 817 7061 | 47 | 22
398.64/398.74 c 397s | 23 | 2814495 | 2540138 | 817 7087 | 47 | 22
400.63/400.75 c 399s | 23 | 2828274 | 2552638 | 817 7115 | 47 | 22
402.63/402.76 c 401s | 23 | 2841403 | 2564538 | 817 7141 | 47 | 22
404.63/404.77 c 403s | 23 | 2854241 | 2576138 | 817 7167 | 47 | 22
406.63/406.78 c 405s | 23 | 2867304 | 2587938 | 817 7193 | 47 | 22
408.64/408.80 c 407s | 23 | 2880540 | 2599938 | 817 7219 | 47 | 22
410.63/410.80 c 409s | 23 | 2893431 | 2611538 | 817 7245 | 47 | 22
412.73/412.80 c 411s | 23 | 2906623 | 2623538 | 817 7271 | 47 | 22
414.73/414.81 c 413s | 23 | 2919535 | 2635238 | 817 7297 | 47 | 22
416.73/416.82 c 415s | 23 | 2932420 | 2646938 | 817 7323 | 47 | 22
418.73/418.82 c 417s | 23 | 2945190 | 2658438 | 817 7348 | 47 | 22
420.73/420.83 c 419s | 23 | 2957985 | 2670038 | 817 7374 | 47 | 22
422.72/422.85 c 421s | 23 | 2970830 | 2681638 | 817 7400 | 47 | 22
424.72/424.85 c 423s | 23 | 2983924 | 2693438 | 817 7426 | 47 | 22
426.72/426.87 c 425s | 23 | 2996338 | 2704738 | 817 7451 | 47 | 22
428.72/428.88 c 427s | 23 | 3009116 | 2716338 | 817 7476 | 47 | 22
430.72/430.89 c 429s | 23 | 3021454 | 2727738 | 817 7502 | 47 | 22
432.73/432.89 c 431s | 23 | 3034074 | 2739238 | 817 7527 | 47 | 22
434.82/434.90 c 433s | 23 | 3046744 | 2750638 | 817 7552 | 47 | 22
436.82/436.91 c 435s | 23 | 3059324 | 2762038 | 817 7577 | 47 | 22
438.82/438.93 c 437s | 23 | 3071973 | 2773638 | 817 7603 | 47 | 22
440.82/440.95 c 439s | 23 | 3084532 | 2785038 | 817 7628 | 47 | 22
442.82/442.95 c 441s | 23 | 3096595 | 2796138 | 817 7653 | 47 | 22
444.83/444.95 c 443s | 23 | 3109011 | 2807538 | 817 7678 | 47 | 22
446.82/446.96 c 445s | 23 | 3121727 | 2819138 | 817 7703 | 47 | 22
448.82/448.97 c 447s | 23 | 3134439 | 2830538 | 817 7729 | 47 | 22
450.82/450.97 c 449s | 23 | 3146938 | 2841838 | 817 7754 | 47 | 22
452.81/452.98 c 451s | 23 | 3159545 | 2853238 | 817 7779 | 47 | 22
454.83/454.99 c 453s | 23 | 3172761 | 2865138 | 817 7805 | 47 | 22
456.82/457.00 c 455s | 23 | 3185676 | 2876838 | 817 7831 | 47 | 22
458.92/459.01 c 457s | 23 | 3198182 | 2888138 | 817 7856 | 47 | 22
460.92/461.01 c 459s | 23 | 3210311 | 2899238 | 817 7881 | 47 | 22
462.92/463.01 c 461s | 23 | 3222306 | 2910238 | 817 7905 | 47 | 22
464.92/465.03 c 463s | 23 | 3235096 | 2921838 | 817 7931 | 47 | 22
466.93/467.03 c 465s | 23 | 3247878 | 2933338 | 817 7956 | 47 | 22
468.92/469.04 c 467s | 23 | 3261243 | 2945438 | 817 7983 | 47 | 22
470.92/471.05 c 469s | 23 | 3274985 | 2957838 | 817 8010 | 47 | 22
472.92/473.06 c 471s | 23 | 3288201 | 2969838 | 817 8037 | 47 | 22
474.92/475.06 c 473s | 23 | 3301001 | 2981538 | 817 8062 | 47 | 22
476.92/477.07 c 475s | 23 | 3314043 | 2993238 | 817 8088 | 47 | 22
478.92/479.09 c 477s | 23 | 3326750 | 3004738 | 817 8114 | 47 | 22
480.91/481.09 c 479s | 23 | 3339516 | 3016338 | 817 8140 | 47 | 22
483.01/483.10 c 481s | 23 | 3352458 | 3028038 | 817 8165 | 47 | 22
485.01/485.11 c 483s | 23 | 3365655 | 3039938 | 817 8192 | 47 | 22
487.01/487.12 c 485s | 23 | 3378922 | 3051838 | 817 8218 | 47 | 22
489.01/489.13 c 487s | 23 | 3392583 | 3064138 | 817 8245 | 47 | 22
491.02/491.13 c 489s | 23 | 3406128 | 3076338 | 817 8272 | 47 | 22
493.01/493.13 c 491s | 23 | 3419409 | 3088438 | 817 8299 | 47 | 22
495.01/495.14 c 493s | 23 | 3432470 | 3100338 | 817 8325 | 47 | 22
497.02/497.16 c 495s | 23 | 3445274 | 3111938 | 817 8351 | 47 | 22
499.02/499.16 c 497s | 23 | 3457942 | 3123438 | 817 8376 | 47 | 22
501.02/501.17 c 499s | 23 | 3470779 | 3135138 | 817 8402 | 47 | 22
503.02/503.18 c 501s | 23 | 3484048 | 3147138 | 817 8428 | 47 | 22
505.02/505.19 c 503s | 23 | 3496962 | 3158938 | 817 8455 | 47 | 22
507.01/507.19 c 505s | 23 | 3509930 | 3170738 | 817 8481 | 47 | 22
509.11/509.20 c 507s | 23 | 3522827 | 3182338 | 817 8506 | 47 | 22
511.11/511.22 c 509s | 23 | 3535353 | 3193738 | 817 8532 | 47 | 22
513.12/513.23 c 511s | 23 | 3548198 | 3205438 | 817 8557 | 47 | 22
515.11/515.24 c 513s | 23 | 3561256 | 3217238 | 817 8583 | 47 | 22
517.11/517.26 c 515s | 23 | 3573910 | 3228738 | 817 8609 | 47 | 22
519.11/519.26 c 517s | 23 | 3586627 | 3240338 | 817 8634 | 47 | 22
521.11/521.28 c 519s | 23 | 3599113 | 3251738 | 817 8660 | 47 | 22
523.11/523.29 c 521s | 23 | 3612603 | 3263938 | 817 8687 | 47 | 22
525.11/525.30 c 523s | 23 | 3626240 | 3276238 | 817 8714 | 47 | 22
527.21/527.30 c 525s | 23 | 3639134 | 3287938 | 817 8740 | 47 | 22
529.21/529.30 c 527s | 23 | 3651754 | 3299438 | 817 8765 | 47 | 22
531.21/531.31 c 529s | 23 | 3664700 | 3311138 | 817 8791 | 47 | 22
533.21/533.32 c 531s | 23 | 3677594 | 3322738 | 817 8817 | 47 | 22
535.20/535.33 c 533s | 23 | 3690350 | 3334338 | 817 8843 | 47 | 22
537.21/537.34 c 535s | 23 | 3703257 | 3346038 | 899 8867 | 47 | 22
539.20/539.35 c 537s | 23 | 3716257 | 3357738 | 899 8891 | 47 | 22
541.20/541.36 c 539s | 23 | 3729021 | 3369238 | 899 8914 | 47 | 22
542.40/542.59 c 541s | 24 | 3737296 | 3376662 | 899 8929 | 47 | 22
544.40/544.59 c 543s | 24 | 3750377 | 3388462 | 899 8953 | 47 | 22
546.50/546.60 c 545s | 24 | 3763171 | 3399962 | 899 8976 | 47 | 22
548.50/548.60 c 547s | 24 | 3776478 | 3411862 | 899 9000 | 47 | 22
550.41/550.60 c 549s | 24 | 3789675 | 3423662 | 899 9024 | 47 | 22
552.50/552.61 c 551s | 24 | 3802318 | 3435262 | 899 9048 | 47 | 22
554.50/554.62 c 553s | 24 | 3814808 | 3446762 | 899 9071 | 47 | 22
556.51/556.63 c 555s | 24 | 3828371 | 3458962 | 899 9096 | 47 | 22
558.51/558.63 c 557s | 24 | 3841560 | 3470862 | 899 9120 | 47 | 22
560.51/560.64 c 559s | 24 | 3854685 | 3482662 | 899 9144 | 47 | 22
562.51/562.65 c 561s | 24 | 3867771 | 3494462 | 899 9168 | 47 | 22
564.51/564.65 c 563s | 24 | 3881735 | 3506962 | 899 9193 | 47 | 22
566.50/566.66 c 565s | 24 | 3895793 | 3519562 | 899 9219 | 47 | 22
568.50/568.67 c 567s | 24 | 3908876 | 3531462 | 899 9243 | 47 | 22
570.50/570.67 c 569s | 24 | 3922269 | 3543562 | 899 9268 | 47 | 22
572.51/572.69 c 571s | 24 | 3935772 | 3555662 | 899 9293 | 47 | 22
574.50/574.70 c 573s | 24 | 3949122 | 3567762 | 899 9317 | 47 | 22
576.60/576.71 c 575s | 24 | 3962791 | 3579962 | 899 9342 | 47 | 22
578.60/578.71 c 577s | 24 | 3976113 | 3591962 | 899 9366 | 47 | 22
580.60/580.72 c 579s | 24 | 3989297 | 3603862 | 899 9390 | 47 | 22
582.60/582.73 c 581s | 24 | 4002657 | 3615962 | 899 9415 | 47 | 22
584.61/584.74 c 583s | 24 | 4015941 | 3627962 | 899 9439 | 47 | 22
586.60/586.74 c 585s | 24 | 4029364 | 3640062 | 899 9464 | 47 | 22
588.60/588.75 c 587s | 24 | 4042073 | 3651562 | 899 9487 | 47 | 22
590.60/590.76 c 589s | 24 | 4055241 | 3663362 | 899 9511 | 47 | 22
592.60/592.77 c 591s | 24 | 4067986 | 3674962 | 899 9534 | 47 | 22
594.60/594.77 c 593s | 24 | 4081115 | 3686862 | 899 9559 | 47 | 22
596.60/596.78 c 595s | 24 | 4093862 | 3698362 | 899 9582 | 47 | 22
598.60/598.80 c 597s | 24 | 4106516 | 3709862 | 899 9605 | 47 | 22
600.70/600.81 c 599s | 24 | 4119211 | 3721362 | 899 9629 | 47 | 22
602.70/602.82 c 601s | 24 | 4132267 | 3733162 | 899 9652 | 47 | 22
604.70/604.83 c 603s | 24 | 4144904 | 3744662 | 899 9676 | 47 | 22
606.70/606.84 c 605s | 24 | 4157667 | 3756162 | 899 9699 | 47 | 22
608.70/608.84 c 607s | 24 | 4170826 | 3767962 | 899 9723 | 47 | 22
610.69/610.84 c 609s | 24 | 4183984 | 3779762 | 899 9747 | 47 | 22
612.69/612.84 c 611s | 24 | 4196131 | 3790862 | 899 9770 | 47 | 22
614.69/614.86 c 613s | 24 | 4209254 | 3802662 | 899 9794 | 47 | 22
616.69/616.87 c 615s | 24 | 4222163 | 3814362 | 899 9817 | 47 | 22
618.70/618.88 c 617s | 24 | 4235198 | 3826062 | 899 9841 | 47 | 22
620.69/620.88 c 619s | 24 | 4247964 | 3837662 | 899 9865 | 47 | 22
622.69/622.89 c 621s | 24 | 4260808 | 3849362 | 899 9888 | 47 | 22
624.79/624.90 c 623s | 24 | 4273567 | 3860962 | 899 9912 | 47 | 22
626.79/626.90 c 625s | 24 | 4286075 | 3872362 | 899 9935 | 47 | 22
628.79/628.92 c 627s | 24 | 4298705 | 3883862 | 899 9959 | 47 | 22
630.80/630.93 c 629s | 24 | 4311637 | 3895562 | 899 9982 | 47 | 22
632.79/632.94 c 631s | 24 | 4324451 | 3907062 | 899 10006 | 47 | 22
634.79/634.94 c 633s | 24 | 4336963 | 3918362 | 899 10029 | 47 | 22
636.79/636.95 c 635s | 24 | 4349662 | 3929862 | 899 10052 | 47 | 22
638.79/638.95 c 637s | 24 | 4362102 | 3941262 | 899 10075 | 47 | 22
640.79/640.96 c 639s | 24 | 4374868 | 3952762 | 899 10099 | 47 | 22
642.80/642.98 c 641s | 24 | 4387511 | 3964262 | 899 10122 | 47 | 22
644.79/644.98 c 643s | 24 | 4399967 | 3975562 | 899 10145 | 47 | 22
646.79/646.98 c 645s | 24 | 4412820 | 3987262 | 899 10169 | 47 | 22
648.79/648.99 c 647s | 24 | 4426372 | 3999562 | 899 10194 | 47 | 22
650.79/650.99 c 649s | 24 | 4439599 | 4011462 | 899 10218 | 47 | 22
652.89/653.01 c 651s | 24 | 4452302 | 4023062 | 899 10242 | 47 | 22
654.90/655.03 c 653s | 24 | 4464908 | 4034662 | 899 10265 | 47 | 22
656.89/657.04 c 655s | 24 | 4477372 | 4045962 | 899 10288 | 47 | 22
658.89/659.05 c 657s | 24 | 4489593 | 4057162 | 899 10311 | 47 | 22
660.89/661.05 c 659s | 24 | 4502229 | 4068662 | 899 10335 | 47 | 22
662.89/663.07 c 661s | 24 | 4515038 | 4080262 | 899 10358 | 47 | 22
664.90/665.08 c 663s | 24 | 4527657 | 4091662 | 899 10382 | 47 | 22
666.89/667.10 c 665s | 24 | 4540100 | 4102862 | 899 10405 | 47 | 22
668.99/669.11 c 667s | 24 | 4552308 | 4113962 | 899 10427 | 47 | 22
670.99/671.12 c 669s | 24 | 4564779 | 4125362 | 899 10450 | 47 | 22
672.99/673.13 c 671s | 24 | 4577468 | 4136862 | 899 10474 | 47 | 22
674.99/675.14 c 673s | 24 | 4589799 | 4148162 | 899 10497 | 47 | 22
676.99/677.14 c 675s | 24 | 4601835 | 4159062 | 899 10519 | 47 | 22
678.98/679.16 c 677s | 24 | 4614006 | 4170162 | 899 10542 | 47 | 22
680.98/681.16 c 679s | 24 | 4625813 | 4180962 | 899 10564 | 47 | 22
682.98/683.16 c 681s | 24 | 4638336 | 4192362 | 899 10587 | 47 | 22
684.98/685.18 c 683s | 24 | 4651444 | 4204262 | 899 10611 | 47 | 22
686.98/687.19 c 685s | 24 | 4663787 | 4215462 | 899 10634 | 47 | 22
688.99/689.20 c 687s | 24 | 4676594 | 4227062 | 899 10658 | 47 | 22
691.08/691.21 c 689s | 24 | 4689178 | 4238462 | 899 10681 | 47 | 22
693.08/693.21 c 691s | 24 | 4701775 | 4249862 | 899 10704 | 47 | 22
695.08/695.22 c 693s | 24 | 4714363 | 4261162 | 899 10727 | 47 | 22
697.08/697.23 c 695s | 24 | 4726724 | 4272362 | 899 10750 | 47 | 22
699.08/699.25 c 697s | 24 | 4738812 | 4283462 | 899 10772 | 47 | 22
701.09/701.26 c 699s | 24 | 4751256 | 4294762 | 899 10795 | 47 | 22
703.08/703.26 c 701s | 24 | 4763227 | 4305762 | 899 10817 | 47 | 22
705.08/705.28 c 703s | 24 | 4775671 | 4317062 | 899 10840 | 47 | 22
707.08/707.28 c 705s | 24 | 4787636 | 4328062 | 899 10862 | 47 | 22
709.08/709.28 c 707s | 24 | 4799616 | 4339062 | 899 10884 | 47 | 22
711.18/711.30 c 709s | 24 | 4811634 | 4350062 | 899 10906 | 47 | 22
713.18/713.31 c 711s | 24 | 4823909 | 4361162 | 899 10929 | 47 | 22
715.18/715.32 c 713s | 24 | 4836067 | 4372262 | 899 10951 | 47 | 22
717.18/717.33 c 715s | 24 | 4848012 | 4383262 | 899 10973 | 47 | 22
719.17/719.34 c 717s | 24 | 4860403 | 4394562 | 899 10996 | 47 | 22
721.18/721.35 c 719s | 24 | 4872636 | 4405762 | 899 11019 | 47 | 22
723.19/723.36 c 721s | 24 | 4884761 | 4416862 | 899 11041 | 47 | 22
725.18/725.37 c 723s | 24 | 4897372 | 4428362 | 899 11064 | 47 | 22
727.18/727.38 c 725s | 24 | 4909850 | 4439762 | 899 11087 | 47 | 22
729.18/729.39 c 727s | 24 | 4922622 | 4451362 | 899 11110 | 47 | 22
731.18/731.39 c 729s | 24 | 4934818 | 4462462 | 899 11133 | 47 | 22
733.18/733.39 c 731s | 24 | 4946587 | 4473262 | 899 11155 | 47 | 22
735.19/735.40 c 733s | 24 | 4959099 | 4484462 | 899 11177 | 47 | 22
737.28/737.41 c 735s | 24 | 4971298 | 4495562 | 899 11200 | 47 | 22
739.28/739.41 c 737s | 24 | 4983083 | 4506362 | 899 11221 | 47 | 22
741.28/741.41 c 739s | 24 | 4995166 | 4517362 | 899 11244 | 47 | 22
743.28/743.41 c 741s | 24 | 5007176 | 4528362 | 899 11266 | 47 | 22
745.28/745.43 c 743s | 24 | 5019299 | 4539462 | 899 11289 | 47 | 22
747.28/747.43 c 745s | 24 | 5031203 | 4550262 | 899 11310 | 47 | 22
749.28/749.44 c 747s | 24 | 5043149 | 4561062 | 899 11332 | 47 | 22
751.28/751.45 c 749s | 24 | 5055073 | 4571962 | 899 11354 | 47 | 22
753.28/753.46 c 751s | 24 | 5066829 | 4582762 | 899 11376 | 47 | 22
755.27/755.48 c 754s | 24 | 5078764 | 4593662 | 899 11398 | 47 | 22
757.28/757.49 c 756s | 24 | 5091035 | 4604862 | 899 11420 | 47 | 22
759.27/759.49 c 758s | 24 | 5102938 | 4615762 | 899 11442 | 47 | 22
761.37/761.50 c 760s | 24 | 5114770 | 4626462 | 899 11464 | 47 | 22
763.37/763.52 c 762s | 24 | 5126636 | 4637362 | 899 11486 | 47 | 22
765.37/765.52 c 764s | 24 | 5138645 | 4648262 | 899 11508 | 47 | 22
767.37/767.54 c 766s | 24 | 5150748 | 4659162 | 899 11530 | 47 | 22
769.38/769.55 c 768s | 24 | 5162582 | 4669962 | 899 11552 | 47 | 22
771.37/771.56 c 770s | 24 | 5174792 | 4680962 | 899 11574 | 47 | 22
773.37/773.57 c 772s | 24 | 5186368 | 4691462 | 899 11595 | 47 | 22
775.37/775.58 c 774s | 24 | 5197960 | 4701962 | 899 11616 | 47 | 22
777.37/777.59 c 776s | 24 | 5209704 | 4712562 | 899 11638 | 47 | 22
779.47/779.60 c 778s | 24 | 5222336 | 4723862 | 899 11660 | 47 | 22
781.47/781.61 c 780s | 24 | 5234473 | 4734862 | 899 11683 | 47 | 22
783.46/783.62 c 782s | 24 | 5246270 | 4745562 | 899 11704 | 47 | 22
785.47/785.64 c 784s | 24 | 5258677 | 4756762 | 899 11727 | 47 | 22
787.47/787.65 c 786s | 24 | 5270972 | 4767862 | 899 11749 | 47 | 22
789.47/789.67 c 788s | 24 | 5283286 | 4778962 | 899 11772 | 47 | 22
791.47/791.67 c 790s | 24 | 5295462 | 4790062 | 899 11794 | 47 | 22
793.48/793.67 c 792s | 24 | 5308179 | 4801462 | 899 11817 | 47 | 22
795.47/795.69 c 794s | 24 | 5320679 | 4812762 | 899 11840 | 47 | 22
797.47/797.69 c 796s | 24 | 5332878 | 4823762 | 899 11863 | 47 | 22
799.57/799.70 c 798s | 24 | 5345320 | 4834962 | 899 11885 | 47 | 22
801.57/801.71 c 800s | 24 | 5357816 | 4846262 | 899 11908 | 47 | 22
803.57/803.73 c 802s | 24 | 5370462 | 4857862 | 899 11932 | 47 | 22
805.58/805.75 c 804s | 24 | 5383067 | 4869362 | 899 11955 | 47 | 22
807.57/807.76 c 806s | 24 | 5395497 | 4880662 | 899 11978 | 47 | 22
809.57/809.77 c 808s | 24 | 5407504 | 4891662 | 899 12000 | 47 | 22
811.57/811.78 c 810s | 24 | 5419709 | 4902762 | 899 12023 | 47 | 22
813.57/813.78 c 812s | 24 | 5431879 | 4913862 | 899 12045 | 47 | 22
815.67/815.80 c 814s | 24 | 5444676 | 4925362 | 899 12069 | 47 | 22
817.67/817.81 c 816s | 24 | 5456713 | 4936262 | 899 12090 | 47 | 22
819.66/819.82 c 818s | 24 | 5468780 | 4947262 | 899 12113 | 47 | 22
821.66/821.83 c 820s | 24 | 5480925 | 4958362 | 899 12135 | 47 | 22
823.66/823.85 c 822s | 24 | 5493013 | 4969362 | 899 12157 | 47 | 22
825.66/825.85 c 824s | 24 | 5504720 | 4979962 | 899 12179 | 47 | 22
827.67/827.86 c 826s | 24 | 5516785 | 4990862 | 899 12201 | 47 | 22
829.66/829.86 c 828s | 24 | 5528653 | 5001662 | 899 12223 | 47 | 22
831.66/831.87 c 830s | 24 | 5540762 | 5012762 | 899 12245 | 47 | 22
833.66/833.88 c 832s | 24 | 5552853 | 5023762 | 989 12266 | 47 | 22
835.66/835.88 c 834s | 24 | 5564402 | 5034362 | 989 12286 | 47 | 22
837.66/837.89 c 836s | 24 | 5576083 | 5045062 | 989 12306 | 47 | 22
839.66/839.89 c 838s | 24 | 5587865 | 5055862 | 989 12326 | 47 | 22
841.36/841.59 c 840s | 25 | 5598032 | 5065098 | 989 12343 | 47 | 22
843.46/843.60 c 842s | 25 | 5611236 | 5076998 | 989 12365 | 47 | 22
845.46/845.61 c 844s | 25 | 5623985 | 5088498 | 989 12386 | 47 | 22
847.47/847.62 c 846s | 25 | 5636595 | 5099898 | 989 12408 | 47 | 22
849.46/849.63 c 848s | 25 | 5649228 | 5111398 | 989 12429 | 47 | 22
851.46/851.63 c 850s | 25 | 5661605 | 5122698 | 989 12450 | 47 | 22
853.46/853.64 c 852s | 25 | 5673987 | 5133998 | 989 12471 | 47 | 22
855.46/855.64 c 854s | 25 | 5686673 | 5145498 | 989 12492 | 47 | 22
857.46/857.66 c 856s | 25 | 5699395 | 5157098 | 989 12514 | 47 | 22
859.47/859.66 c 858s | 25 | 5712002 | 5168598 | 989 12535 | 47 | 22
861.46/861.67 c 860s | 25 | 5724098 | 5179598 | 989 12555 | 47 | 22
863.46/863.68 c 862s | 25 | 5736059 | 5190398 | 989 12575 | 47 | 22
865.46/865.69 c 864s | 25 | 5747991 | 5201298 | 989 12595 | 47 | 22
867.56/867.71 c 866s | 25 | 5760483 | 5212598 | 989 12616 | 47 | 22
869.56/869.73 c 868s | 25 | 5772793 | 5223698 | 989 12636 | 47 | 22
871.56/871.74 c 870s | 25 | 5784663 | 5234498 | 989 12656 | 47 | 22
873.55/873.76 c 872s | 25 | 5796692 | 5245398 | 989 12677 | 47 | 22
875.55/875.77 c 874s | 25 | 5809020 | 5256598 | 989 12697 | 47 | 22
877.55/877.77 c 876s | 25 | 5821533 | 5267898 | 989 12718 | 47 | 22
879.55/879.78 c 878s | 25 | 5834142 | 5279298 | 989 12740 | 47 | 22
881.56/881.80 c 880s | 25 | 5846291 | 5290398 | 989 12760 | 47 | 22
883.66/883.81 c 882s | 25 | 5858409 | 5301398 | 989 12780 | 47 | 22
885.65/885.81 c 884s | 25 | 5870597 | 5312398 | 989 12801 | 47 | 22
887.65/887.82 c 886s | 25 | 5883395 | 5323898 | 989 12822 | 47 | 22
889.65/889.83 c 888s | 25 | 5896044 | 5335398 | 989 12844 | 47 | 22
891.65/891.83 c 890s | 25 | 5908271 | 5346598 | 989 12864 | 47 | 22
893.66/893.84 c 892s | 25 | 5920745 | 5357898 | 989 12885 | 47 | 22
895.65/895.84 c 894s | 25 | 5932949 | 5368998 | 989 12906 | 47 | 22
897.65/897.86 c 896s | 25 | 5946045 | 5380898 | 989 12928 | 47 | 22
899.66/899.87 c 898s | 25 | 5958433 | 5392198 | 989 12949 | 47 | 22
901.66/901.89 c 900s | 25 | 5970823 | 5403498 | 989 12970 | 47 | 22
903.75/903.91 c 902s | 25 | 5983430 | 5414998 | 989 12992 | 47 | 22
905.76/905.91 c 904s | 25 | 5995469 | 5425998 | 989 13012 | 47 | 22
907.75/907.91 c 906s | 25 | 6008075 | 5437398 | 989 13033 | 47 | 22
909.75/909.92 c 908s | 25 | 6020250 | 5448498 | 989 13054 | 47 | 22
911.75/911.94 c 910s | 25 | 6033043 | 5459998 | 989 13075 | 47 | 22
913.75/913.94 c 912s | 25 | 6045313 | 5471198 | 989 13096 | 47 | 22
915.75/915.95 c 914s | 25 | 6057193 | 5482098 | 989 13116 | 47 | 22
917.76/917.96 c 916s | 25 | 6069359 | 5493198 | 989 13137 | 47 | 22
919.75/919.96 c 918s | 25 | 6081419 | 5504198 | 989 13157 | 47 | 22
921.75/921.98 c 920s | 25 | 6093262 | 5514998 | 989 13177 | 47 | 22
923.75/923.99 c 922s | 25 | 6105368 | 5525998 | 989 13198 | 47 | 22
925.85/926.01 c 924s | 25 | 6117750 | 5537198 | 989 13219 | 47 | 22
927.85/928.01 c 926s | 25 | 6129843 | 5548198 | 989 13239 | 47 | 22
929.85/930.01 c 928s | 25 | 6142027 | 5559198 | 989 13260 | 47 | 22
931.85/932.02 c 930s | 25 | 6153846 | 5569998 | 989 13280 | 47 | 22
933.85/934.02 c 932s | 25 | 6166231 | 5581198 | 989 13300 | 47 | 22
935.84/936.02 c 934s | 25 | 6178119 | 5591998 | 989 13320 | 47 | 22
937.84/938.03 c 936s | 25 | 6190348 | 5603098 | 989 13341 | 47 | 22
939.85/940.04 c 938s | 25 | 6202609 | 5614298 | 989 13362 | 47 | 22
941.84/942.04 c 940s | 25 | 6215036 | 5625598 | 989 13383 | 47 | 22
943.84/944.04 c 942s | 25 | 6227397 | 5636798 | 989 13404 | 47 | 22
945.84/946.05 c 944s | 25 | 6239629 | 5647998 | 989 13424 | 47 | 22
947.84/948.06 c 946s | 25 | 6251930 | 5659198 | 989 13445 | 47 | 22
949.84/950.07 c 948s | 25 | 6264035 | 5670098 | 989 13466 | 47 | 22
951.85/952.07 c 950s | 25 | 6276349 | 5681298 | 989 13487 | 47 | 22
953.84/954.08 c 952s | 25 | 6288464 | 5692398 | 989 13507 | 47 | 22
955.85/956.09 c 954s | 25 | 6300515 | 5703398 | 989 13528 | 47 | 22
957.95/958.10 c 956s | 25 | 6312775 | 5714598 | 989 13548 | 47 | 22
959.95/960.12 c 958s | 25 | 6325026 | 5725698 | 989 13569 | 47 | 22
961.95/962.13 c 960s | 25 | 6337231 | 5736798 | 989 13589 | 47 | 22
963.95/964.13 c 962s | 25 | 6349443 | 5747898 | 989 13610 | 47 | 22
965.95/966.14 c 964s | 25 | 6361262 | 5758798 | 989 13630 | 47 | 22
967.94/968.14 c 966s | 25 | 6373595 | 5769898 | 989 13651 | 47 | 22
969.94/970.15 c 968s | 25 | 6386605 | 5781498 | 989 13672 | 47 | 22
971.94/972.15 c 970s | 25 | 6399611 | 5793198 | 989 13694 | 47 | 22
973.95/974.16 c 972s | 25 | 6412145 | 5804598 | 989 13715 | 47 | 22
975.94/976.17 c 974s | 25 | 6424027 | 5815498 | 989 13736 | 47 | 22
977.94/978.17 c 976s | 25 | 6435563 | 5826098 | 989 13755 | 47 | 22
979.94/980.18 c 978s | 25 | 6447184 | 5836798 | 989 13775 | 47 | 22
981.94/982.19 c 980s | 25 | 6459087 | 5847598 | 989 13795 | 47 | 22
984.04/984.20 c 982s | 25 | 6471058 | 5858398 | 989 13815 | 47 | 22
985.95/986.20 c 984s | 25 | 6482969 | 5869298 | 989 13835 | 47 | 22
988.04/988.20 c 986s | 25 | 6494662 | 5879998 | 989 13855 | 47 | 22
990.04/990.21 c 988s | 25 | 6506914 | 5891098 | 989 13876 | 47 | 22
992.04/992.22 c 990s | 25 | 6518824 | 5901998 | 989 13896 | 47 | 22
994.04/994.22 c 992s | 25 | 6530909 | 5912998 | 989 13916 | 47 | 22
996.04/996.23 c 994s | 25 | 6542924 | 5923898 | 989 13936 | 47 | 22
998.04/998.24 c 996s | 25 | 6555082 | 5934998 | 989 13957 | 47 | 22
1000.03/1000.24 c 998s | 25 | 6566879 | 5945698 | 989 13977 | 47 | 22
1002.03/1002.24 c 1000s | 25 | 6578914 | 5956598 | 989 13997 | 47 | 22
1004.03/1004.26 c 1002s | 25 | 6590959 | 5967498 | 989 14017 | 47 | 22
1006.03/1006.27 c 1004s | 25 | 6603042 | 5978498 | 989 14037 | 47 | 22
1008.04/1008.28 c 1006s | 25 | 6615520 | 5989698 | 989 14058 | 47 | 22
1010.03/1010.29 c 1008s | 25 | 6627417 | 6000498 | 989 14078 | 47 | 22
1012.13/1012.30 c 1010s | 25 | 6639456 | 6011398 | 989 14098 | 47 | 22
1014.13/1014.30 c 1012s | 25 | 6651564 | 6022298 | 989 14118 | 47 | 22
1016.13/1016.32 c 1014s | 25 | 6663967 | 6033598 | 989 14140 | 47 | 22
1018.13/1018.32 c 1016s | 25 | 6676675 | 6045098 | 989 14161 | 47 | 22
1020.14/1020.33 c 1018s | 25 | 6688534 | 6055898 | 989 14181 | 47 | 22
1022.13/1022.33 c 1020s | 25 | 6700383 | 6066798 | 989 14201 | 47 | 22
1024.13/1024.35 c 1022s | 25 | 6712520 | 6077798 | 989 14222 | 47 | 22
1026.13/1026.36 c 1024s | 25 | 6724235 | 6088398 | 989 14241 | 47 | 22
1028.14/1028.37 c 1026s | 25 | 6736021 | 6099198 | 989 14261 | 47 | 22
1030.14/1030.37 c 1028s | 25 | 6747806 | 6109998 | 989 14282 | 47 | 22
1032.14/1032.39 c 1030s | 25 | 6760325 | 6121398 | 989 14303 | 47 | 22
1034.23/1034.40 c 1032s | 25 | 6772871 | 6132798 | 989 14324 | 47 | 22
1036.23/1036.42 c 1034s | 25 | 6785602 | 6144298 | 989 14345 | 47 | 22
1038.23/1038.42 c 1036s | 25 | 6798467 | 6155898 | 989 14367 | 47 | 22
1040.23/1040.44 c 1038s | 25 | 6810638 | 6166998 | 989 14387 | 47 | 22
1042.23/1042.45 c 1040s | 25 | 6823051 | 6178298 | 989 14408 | 47 | 22
1044.24/1044.46 c 1042s | 25 | 6836152 | 6190098 | 989 14430 | 47 | 22
1046.23/1046.46 c 1044s | 25 | 6849112 | 6201798 | 989 14452 | 47 | 22
1048.23/1048.47 c 1046s | 25 | 6862364 | 6213798 | 989 14474 | 47 | 22
1050.23/1050.47 c 1049s | 25 | 6874399 | 6224798 | 989 14495 | 47 | 22
1052.23/1052.47 c 1051s | 25 | 6886825 | 6235998 | 989 14516 | 47 | 22
1054.24/1054.49 c 1053s | 25 | 6899054 | 6247098 | 989 14536 | 47 | 22
1056.23/1056.50 c 1055s | 25 | 6911515 | 6258398 | 989 14557 | 47 | 22
1058.33/1058.51 c 1057s | 25 | 6923507 | 6269298 | 989 14577 | 47 | 22
1060.33/1060.52 c 1059s | 25 | 6935886 | 6280598 | 989 14598 | 47 | 22
1062.33/1062.53 c 1061s | 25 | 6948036 | 6291698 | 989 14619 | 47 | 22
1064.33/1064.53 c 1063s | 25 | 6959942 | 6302598 | 989 14639 | 47 | 22
1066.33/1066.54 c 1065s | 25 | 6972564 | 6313998 | 989 14661 | 47 | 22
1068.33/1068.55 c 1067s | 25 | 6985700 | 6325798 | 989 14682 | 47 | 22
1070.33/1070.57 c 1069s | 25 | 6998688 | 6337598 | 989 14704 | 47 | 22
1072.33/1072.57 c 1071s | 25 | 7010872 | 6348598 | 989 14725 | 47 | 22
1074.32/1074.58 c 1073s | 25 | 7023114 | 6359698 | 989 14745 | 47 | 22
1076.42/1076.60 c 1075s | 25 | 7034965 | 6370498 | 989 14765 | 47 | 22
1078.43/1078.61 c 1077s | 25 | 7047408 | 6381698 | 989 14786 | 47 | 22
1080.42/1080.62 c 1079s | 25 | 7059770 | 6392798 | 989 14807 | 47 | 22
1082.42/1082.62 c 1081s | 25 | 7072054 | 6403798 | 989 14828 | 47 | 22
1084.42/1084.63 c 1083s | 25 | 7084405 | 6414998 | 989 14848 | 47 | 22
1086.42/1086.64 c 1085s | 25 | 7096080 | 6425698 | 989 14868 | 47 | 22
1088.42/1088.65 c 1087s | 25 | 7108075 | 6436698 | 989 14889 | 47 | 22
1090.43/1090.66 c 1089s | 25 | 7120152 | 6447698 | 989 14909 | 47 | 22
1092.42/1092.67 c 1091s | 25 | 7132324 | 6458798 | 989 14930 | 47 | 22
1094.42/1094.69 c 1093s | 25 | 7144808 | 6470098 | 989 14951 | 47 | 22
1096.52/1096.70 c 1095s | 25 | 7157085 | 6481198 | 989 14972 | 47 | 22
1098.52/1098.72 c 1097s | 25 | 7168584 | 6491798 | 989 14992 | 47 | 22
1100.52/1100.72 c 1099s | 25 | 7180139 | 6502298 | 989 15011 | 47 | 22
1102.52/1102.73 c 1101s | 25 | 7192030 | 6513098 | 989 15032 | 47 | 22
1104.52/1104.75 c 1103s | 25 | 7203644 | 6523598 | 989 15051 | 47 | 22
1106.52/1106.76 c 1105s | 25 | 7215638 | 6534498 | 989 15072 | 47 | 22
1108.52/1108.76 c 1107s | 25 | 7227883 | 6545598 | 989 15092 | 47 | 22
1110.52/1110.77 c 1109s | 25 | 7240691 | 6557198 | 989 15114 | 47 | 22
1112.52/1112.78 c 1111s | 25 | 7254102 | 6569198 | 989 15136 | 47 | 22
1114.51/1114.79 c 1113s | 25 | 7267047 | 6580798 | 989 15158 | 47 | 22
1116.61/1116.81 c 1115s | 25 | 7279665 | 6592198 | 989 15179 | 47 | 22
1118.61/1118.81 c 1117s | 25 | 7292870 | 6603998 | 989 15201 | 47 | 22
1120.61/1120.82 c 1119s | 25 | 7305511 | 6615398 | 989 15222 | 47 | 22
1122.61/1122.83 c 1121s | 25 | 7318336 | 6626898 | 989 15244 | 47 | 22
1124.62/1124.84 c 1123s | 25 | 7331092 | 6638398 | 989 15265 | 47 | 22
1126.62/1126.84 c 1125s | 25 | 7343730 | 6649798 | 989 15286 | 47 | 22
1128.62/1128.86 c 1127s | 25 | 7356448 | 6661198 | 989 15308 | 47 | 22
1130.62/1130.88 c 1129s | 25 | 7369166 | 6672698 | 989 15329 | 47 | 22
1132.62/1132.90 c 1131s | 25 | 7381780 | 6684198 | 989 15351 | 47 | 22
1134.72/1134.91 c 1133s | 25 | 7394602 | 6695898 | 989 15372 | 47 | 22
1136.73/1136.93 c 1135s | 25 | 7407066 | 6707198 | 989 15393 | 47 | 22
1138.72/1138.93 c 1137s | 25 | 7419364 | 6718398 | 989 15414 | 47 | 22
1140.72/1140.93 c 1139s | 25 | 7431920 | 6729798 | 989 15435 | 47 | 22
1142.71/1142.93 c 1141s | 25 | 7444449 | 6741098 | 989 15456 | 47 | 22
1144.71/1144.95 c 1143s | 25 | 7456874 | 6752398 | 989 15477 | 47 | 22
1146.71/1146.96 c 1145s | 25 | 7469402 | 6763698 | 989 15498 | 47 | 22
1148.72/1148.97 c 1147s | 25 | 7482043 | 6775098 | 989 15520 | 47 | 22
1150.71/1150.97 c 1149s | 25 | 7494044 | 6786098 | 989 15540 | 47 | 22
1152.71/1152.97 c 1151s | 25 | 7506473 | 6797398 | 989 15561 | 47 | 22
1154.71/1154.98 c 1153s | 25 | 7518648 | 6808398 | 989 15582 | 47 | 22
1156.71/1156.99 c 1155s | 25 | 7530554 | 6819298 | 989 15602 | 47 | 22
1158.81/1159.00 c 1157s | 25 | 7542299 | 6830098 | 989 15622 | 47 | 22
1160.81/1161.02 c 1159s | 25 | 7554135 | 6840998 | 989 15642 | 47 | 22
1162.81/1163.02 c 1161s | 25 | 7566073 | 6851898 | 989 15663 | 47 | 22
1164.82/1165.02 c 1163s | 25 | 7577924 | 6862698 | 989 15683 | 47 | 22
1166.81/1167.03 c 1165s | 25 | 7590127 | 6873798 | 989 15703 | 47 | 22
1168.81/1169.04 c 1167s | 25 | 7601968 | 6884498 | 989 15724 | 47 | 22
1170.82/1171.04 c 1169s | 25 | 7613953 | 6895398 | 989 15744 | 47 | 22
1172.81/1173.05 c 1171s | 25 | 7625852 | 6906198 | 989 15764 | 47 | 22
1174.81/1175.05 c 1173s | 25 | 7637763 | 6916998 | 989 15784 | 47 | 22
1176.81/1177.06 c 1175s | 25 | 7649501 | 6927698 | 989 15804 | 47 | 22
1178.81/1179.07 c 1177s | 25 | 7661183 | 6938298 | 989 15824 | 47 | 22
1180.81/1181.07 c 1179s | 25 | 7673429 | 6949398 | 989 15845 | 47 | 22
1182.82/1183.08 c 1181s | 25 | 7685219 | 6960198 | 989 15865 | 47 | 22
1184.81/1185.09 c 1183s | 25 | 7697443 | 6971298 | 989 15885 | 47 | 22
1186.91/1187.11 c 1185s | 25 | 7709912 | 6982498 | 989 15906 | 47 | 22
1188.91/1189.12 c 1187s | 25 | 7722544 | 6993998 | 989 15928 | 47 | 22
1190.91/1191.13 c 1189s | 25 | 7735415 | 7005598 | 989 15949 | 47 | 22
1192.91/1193.15 c 1191s | 25 | 7747574 | 7016598 | 989 15970 | 47 | 22
1194.92/1195.15 c 1193s | 25 | 7759858 | 7027798 | 989 15991 | 47 | 22
1196.91/1197.16 c 1195s | 25 | 7772238 | 7038998 | 989 16011 | 47 | 22
1198.91/1199.17 c 1197s | 25 | 7784475 | 7050098 | 989 16032 | 47 | 22
1200.91/1201.18 c 1199s | 25 | 7796706 | 7061298 | 989 16053 | 47 | 22
1203.01/1203.20 c 1201s | 25 | 7808962 | 7072398 | 989 16074 | 47 | 22
1205.01/1205.20 c 1203s | 25 | 7821874 | 7083998 | 989 16096 | 47 | 22
1206.91/1207.20 c 1205s | 25 | 7833820 | 7094798 | 989 16116 | 47 | 22
1209.01/1209.21 c 1207s | 25 | 7846069 | 7105898 | 989 16137 | 47 | 22
1211.00/1211.22 c 1209s | 25 | 7857418 | 7116398 | 989 16156 | 47 | 22
1213.01/1213.23 c 1211s | 25 | 7869514 | 7127298 | 989 16177 | 47 | 22
1215.00/1215.24 c 1213s | 25 | 7881827 | 7138398 | 989 16197 | 47 | 22
1217.01/1217.26 c 1215s | 25 | 7894151 | 7149598 | 989 16218 | 47 | 22
1219.00/1219.27 c 1217s | 25 | 7906202 | 7160498 | 989 16239 | 47 | 22
1221.00/1221.28 c 1219s | 25 | 7917708 | 7171098 | 989 16259 | 47 | 22
1223.00/1223.29 c 1221s | 25 | 7929727 | 7182098 | 989 16279 | 47 | 22
1225.10/1225.30 c 1223s | 25 | 7941713 | 7193098 | 989 16300 | 47 | 22
1227.10/1227.31 c 1225s | 25 | 7953768 | 7204098 | 989 16320 | 47 | 22
1229.10/1229.32 c 1227s | 25 | 7965982 | 7215198 | 989 16341 | 47 | 22
1231.09/1231.34 c 1229s | 25 | 7978362 | 7226398 | 989 16362 | 47 | 22
1233.09/1233.35 c 1231s | 25 | 7990433 | 7237298 | 989 16382 | 47 | 22
1235.09/1235.36 c 1233s | 25 | 8002182 | 7247998 | 989 16402 | 47 | 22
1237.09/1237.36 c 1235s | 25 | 8014561 | 7259198 | 989 16423 | 47 | 22
1239.09/1239.38 c 1237s | 25 | 8026940 | 7270498 | 989 16444 | 47 | 22
1241.09/1241.38 c 1239s | 25 | 8039377 | 7281898 | 989 16465 | 47 | 22
1243.08/1243.39 c 1241s | 25 | 8051811 | 7293198 | 989 16486 | 47 | 22
1245.08/1245.39 c 1243s | 25 | 8064271 | 7304498 | 989 16507 | 47 | 22
1247.18/1247.40 c 1245s | 25 | 8076794 | 7315798 | 989 16528 | 47 | 22
1249.18/1249.40 c 1247s | 25 | 8088872 | 7326798 | 989 16549 | 47 | 22
1251.18/1251.42 c 1249s | 25 | 8101040 | 7337898 | 989 16569 | 47 | 22
1253.18/1253.44 c 1251s | 25 | 8113823 | 7349398 | 989 16590 | 47 | 22
1255.18/1255.45 c 1253s | 25 | 8126540 | 7360798 | 989 16612 | 47 | 22
1257.17/1257.45 c 1255s | 25 | 8138353 | 7371598 | 989 16632 | 47 | 22
1259.17/1259.45 c 1257s | 25 | 8150224 | 7382398 | 989 16652 | 47 | 22
1261.17/1261.46 c 1259s | 25 | 8162935 | 7393798 | 989 16673 | 47 | 22
1263.19/1263.47 c 1262s | 25 | 8175790 | 7405398 | 989 16694 | 47 | 22
1265.18/1265.48 c 1264s | 25 | 8188213 | 7416598 | 989 16715 | 47 | 22
1267.28/1267.50 c 1266s | 25 | 8200510 | 7427698 | 989 16736 | 47 | 22
1269.27/1269.51 c 1268s | 25 | 8213002 | 7438898 | 989 16757 | 47 | 22
1271.27/1271.52 c 1270s | 25 | 8225551 | 7450298 | 989 16778 | 47 | 22
1273.27/1273.54 c 1272s | 25 | 8238119 | 7461698 | 989 16799 | 47 | 22
1275.28/1275.55 c 1274s | 25 | 8250337 | 7472798 | 989 16819 | 47 | 22
1277.27/1277.56 c 1276s | 25 | 8262736 | 7483998 | 989 16840 | 47 | 22
1279.26/1279.56 c 1278s | 25 | 8274812 | 7494898 | 989 16861 | 47 | 22
1281.26/1281.56 c 1280s | 25 | 8287172 | 7505998 | 989 16881 | 47 | 22
1283.26/1283.57 c 1282s | 25 | 8299589 | 7517198 | 989 16902 | 47 | 22
1285.26/1285.58 c 1284s | 25 | 8312144 | 7528598 | 989 16923 | 47 | 22
1287.27/1287.60 c 1286s | 25 | 8324224 | 7539598 | 1088 16942 | 47 | 22
1289.36/1289.61 c 1288s | 25 | 8336703 | 7550898 | 1088 16961 | 47 | 22
1291.36/1291.61 c 1290s | 25 | 8349002 | 7562098 | 1088 16980 | 47 | 22
1293.36/1293.62 c 1292s | 25 | 8361432 | 7573398 | 1088 17000 | 47 | 22
1295.35/1295.63 c 1294s | 25 | 8373531 | 7584398 | 1088 17018 | 47 | 22
1297.35/1297.65 c 1296s | 25 | 8385823 | 7595498 | 1088 17037 | 47 | 22
1297.75/1298.07 c 1296s | 26 | 8388315 | 7597752 | 1088 17041 | 47 | 22
1299.75/1300.07 c 1298s | 26 | 8400388 | 7608752 | 1088 17060 | 47 | 22
1301.75/1302.08 c 1300s | 26 | 8412743 | 7619952 | 1088 17079 | 47 | 22
1303.75/1304.09 c 1302s | 26 | 8424670 | 7630752 | 1088 17097 | 47 | 22
1305.84/1306.11 c 1304s | 26 | 8436884 | 7641852 | 1088 17116 | 47 | 22
1307.84/1308.12 c 1306s | 26 | 8448678 | 7652552 | 1088 17134 | 47 | 22
1309.84/1310.12 c 1308s | 26 | 8460274 | 7663152 | 1088 17152 | 47 | 22
1311.84/1312.13 c 1310s | 26 | 8471812 | 7673652 | 1088 17170 | 47 | 22
1313.84/1314.15 c 1312s | 26 | 8483689 | 7684452 | 1088 17188 | 47 | 22
1315.85/1316.16 c 1314s | 26 | 8496241 | 7695752 | 1088 17207 | 47 | 22
1317.84/1318.17 c 1316s | 26 | 8509177 | 7707352 | 1088 17227 | 47 | 22
1319.83/1320.18 c 1318s | 26 | 8521739 | 7718652 | 1088 17246 | 47 | 22
1321.83/1322.18 c 1320s | 26 | 8533726 | 7729552 | 1088 17265 | 47 | 22
1323.83/1324.19 c 1322s | 26 | 8546255 | 7740852 | 1088 17284 | 47 | 22
1325.93/1326.20 c 1324s | 26 | 8558341 | 7751752 | 1088 17303 | 47 | 22
1327.94/1328.21 c 1326s | 26 | 8570753 | 7763052 | 1088 17322 | 47 | 22
1329.93/1330.23 c 1328s | 26 | 8583188 | 7774252 | 1088 17341 | 47 | 22
1331.93/1332.25 c 1330s | 26 | 8595828 | 7785652 | 1088 17360 | 47 | 22
1333.93/1334.27 c 1332s | 26 | 8607967 | 7796552 | 1088 17379 | 47 | 22
1335.94/1336.27 c 1334s | 26 | 8619761 | 7807252 | 1088 17397 | 47 | 22
1337.94/1338.28 c 1336s | 26 | 8631804 | 7818152 | 1088 17415 | 47 | 22
1339.93/1340.30 c 1338s | 26 | 8643871 | 7829152 | 1088 17434 | 47 | 22
1342.03/1342.30 c 1340s | 26 | 8655962 | 7840052 | 1088 17452 | 47 | 22
1344.03/1344.32 c 1342s | 26 | 8668014 | 7851052 | 1088 17471 | 47 | 22
1346.03/1346.32 c 1344s | 26 | 8679904 | 7861952 | 1088 17490 | 47 | 22
1348.03/1348.33 c 1346s | 26 | 8691447 | 7872552 | 1088 17508 | 47 | 22
1350.03/1350.34 c 1348s | 26 | 8702959 | 7883052 | 1088 17525 | 47 | 22
1352.02/1352.34 c 1350s | 26 | 8714794 | 7893852 | 1088 17544 | 47 | 22
1354.02/1354.35 c 1352s | 26 | 8726706 | 7904552 | 1088 17562 | 47 | 22
1356.02/1356.37 c 1354s | 26 | 8738399 | 7915152 | 1088 17580 | 47 | 22
1358.02/1358.38 c 1356s | 26 | 8750295 | 7925852 | 1088 17598 | 47 | 22
1360.12/1360.40 c 1358s | 26 | 8762030 | 7936452 | 1088 17616 | 47 | 22
1362.13/1362.41 c 1360s | 26 | 8773593 | 7946952 | 1088 17634 | 47 | 22
1364.12/1364.41 c 1362s | 26 | 8785004 | 7957352 | 1088 17651 | 47 | 22
1366.12/1366.43 c 1364s | 26 | 8796357 | 7967752 | 1088 17669 | 47 | 22
1368.12/1368.45 c 1366s | 26 | 8807818 | 7978152 | 1088 17687 | 47 | 22
1370.11/1370.45 c 1368s | 26 | 8819059 | 7988452 | 1088 17704 | 47 | 22
1372.11/1372.46 c 1370s | 26 | 8830667 | 7998952 | 1088 17722 | 47 | 22
1374.12/1374.47 c 1373s | 26 | 8842230 | 8009552 | 1088 17740 | 47 | 22
1376.11/1376.48 c 1375s | 26 | 8853793 | 8020052 | 1088 17758 | 47 | 22
1378.21/1378.50 c 1377s | 26 | 8865221 | 8030452 | 1088 17776 | 47 | 22
1380.21/1380.51 c 1379s | 26 | 8877104 | 8041252 | 1088 17794 | 47 | 22
1382.20/1382.52 c 1381s | 26 | 8888552 | 8051652 | 1088 17812 | 47 | 22
1384.20/1384.53 c 1383s | 26 | 8900358 | 8062452 | 1088 17830 | 47 | 22
1386.21/1386.55 c 1385s | 26 | 8912120 | 8073152 | 1088 17848 | 47 | 22
1388.20/1388.57 c 1387s | 26 | 8923728 | 8083652 | 1088 17866 | 47 | 22
1390.20/1390.58 c 1389s | 26 | 8935283 | 8094152 | 1088 17884 | 47 | 22
1392.20/1392.60 c 1391s | 26 | 8946471 | 8104352 | 1088 17901 | 47 | 22
1394.30/1394.60 c 1393s | 26 | 8958167 | 8114952 | 1088 17919 | 47 | 22
1396.30/1396.62 c 1395s | 26 | 8969435 | 8125352 | 1088 17937 | 47 | 22
1398.30/1398.63 c 1397s | 26 | 8980714 | 8135652 | 1088 17955 | 47 | 22
1400.29/1400.64 c 1399s | 26 | 8992363 | 8146252 | 1088 17973 | 47 | 22
1402.29/1402.65 c 1401s | 26 | 9004489 | 8157252 | 1088 17991 | 47 | 22
1404.29/1404.66 c 1403s | 26 | 9016406 | 8168152 | 1088 18010 | 47 | 22
1406.29/1406.67 c 1405s | 26 | 9028750 | 8179252 | 1088 18029 | 47 | 22
1408.29/1408.67 c 1407s | 26 | 9040517 | 8189952 | 1088 18047 | 47 | 22
1410.29/1410.68 c 1409s | 26 | 9052516 | 8200852 | 1088 18066 | 47 | 22
1412.29/1412.69 c 1411s | 26 | 9064299 | 8211652 | 1088 18084 | 47 | 22
1414.29/1414.69 c 1413s | 26 | 9076469 | 8222652 | 1088 18103 | 47 | 22
1416.39/1416.70 c 1415s | 26 | 9088757 | 8233752 | 1088 18122 | 47 | 22
1418.39/1418.72 c 1417s | 26 | 9101440 | 8245152 | 1088 18141 | 47 | 22
1420.40/1420.72 c 1419s | 26 | 9113274 | 8255852 | 1088 18159 | 47 | 22
1422.39/1422.73 c 1421s | 26 | 9125230 | 8266552 | 1088 18177 | 47 | 22
1424.39/1424.73 c 1423s | 26 | 9137268 | 8277552 | 1088 18196 | 47 | 22
1426.39/1426.75 c 1425s | 26 | 9149096 | 8288352 | 1088 18214 | 47 | 22
1428.38/1428.75 c 1427s | 26 | 9160846 | 8299052 | 1088 18232 | 47 | 22
1430.38/1430.76 c 1429s | 26 | 9172946 | 8310052 | 1088 18251 | 47 | 22
1432.39/1432.77 c 1431s | 26 | 9184329 | 8320452 | 1088 18269 | 47 | 22
1434.38/1434.78 c 1433s | 26 | 9195863 | 8331052 | 1088 18287 | 47 | 22
1436.38/1436.79 c 1435s | 26 | 9207627 | 8341852 | 1088 18305 | 47 | 22
1438.48/1438.81 c 1437s | 26 | 9219396 | 8352552 | 1088 18323 | 47 | 22
1440.48/1440.81 c 1439s | 26 | 9231768 | 8363652 | 1088 18342 | 47 | 22
1442.48/1442.82 c 1441s | 26 | 9244202 | 8374852 | 1088 18361 | 47 | 22
1444.48/1444.83 c 1443s | 26 | 9256467 | 8385852 | 1088 18380 | 47 | 22
1446.47/1446.84 c 1445s | 26 | 9268737 | 8397052 | 1088 18399 | 47 | 22
1448.47/1448.85 c 1447s | 26 | 9280432 | 8407752 | 1088 18418 | 47 | 22
1450.47/1450.86 c 1449s | 26 | 9292759 | 8418952 | 1088 18437 | 47 | 22
1452.47/1452.87 c 1451s | 26 | 9304847 | 8429952 | 1088 18455 | 47 | 22
1454.48/1454.89 c 1453s | 26 | 9316904 | 8440852 | 1088 18474 | 47 | 22
1456.47/1456.90 c 1455s | 26 | 9328706 | 8451552 | 1088 18492 | 47 | 22
1458.57/1458.91 c 1457s | 26 | 9340372 | 8462152 | 1088 18510 | 47 | 22
1460.57/1460.92 c 1459s | 26 | 9352011 | 8472752 | 1088 18528 | 47 | 22
1462.57/1462.92 c 1461s | 26 | 9364083 | 8483652 | 1088 18547 | 47 | 22
1464.57/1464.92 c 1463s | 26 | 9376117 | 8494452 | 1088 18565 | 47 | 22
1466.57/1466.94 c 1465s | 26 | 9387794 | 8505052 | 1088 18583 | 47 | 22
1468.56/1468.95 c 1467s | 26 | 9399213 | 8515452 | 1088 18601 | 47 | 22
1470.56/1470.96 c 1469s | 26 | 9410583 | 8525752 | 1088 18619 | 47 | 22
1472.56/1472.97 c 1471s | 26 | 9422379 | 8536452 | 1088 18637 | 47 | 22
1474.56/1474.98 c 1473s | 26 | 9434451 | 8547352 | 1088 18656 | 47 | 22
1476.56/1476.98 c 1475s | 26 | 9446187 | 8558052 | 1088 18674 | 47 | 22
1478.56/1479.00 c 1477s | 26 | 9458064 | 8568852 | 1088 18692 | 47 | 22
1480.65/1481.00 c 1479s | 26 | 9469880 | 8579552 | 1088 18710 | 47 | 22
1482.65/1483.00 c 1481s | 26 | 9481855 | 8590352 | 1088 18729 | 47 | 22
1484.65/1485.01 c 1483s | 26 | 9493303 | 8600752 | 1088 18746 | 47 | 22
1486.65/1487.01 c 1485s | 26 | 9505211 | 8611452 | 1088 18765 | 47 | 22
1488.65/1489.01 c 1487s | 26 | 9516554 | 8621752 | 1088 18782 | 47 | 22
1490.65/1491.02 c 1489s | 26 | 9528620 | 8632652 | 1088 18801 | 47 | 22
1492.65/1493.03 c 1491s | 26 | 9540598 | 8643552 | 1088 18819 | 47 | 22
1494.64/1495.05 c 1493s | 26 | 9552201 | 8654252 | 1088 18838 | 47 | 22
1496.64/1497.05 c 1495s | 26 | 9564040 | 8665052 | 1088 18856 | 47 | 22
1498.64/1499.05 c 1497s | 26 | 9576141 | 8676052 | 1088 18875 | 47 | 22
1500.64/1501.06 c 1499s | 26 | 9587900 | 8686752 | 1088 18893 | 47 | 22
1502.64/1503.08 c 1501s | 26 | 9599619 | 8697452 | 1088 18911 | 47 | 22
1504.64/1505.08 c 1503s | 26 | 9611181 | 8707952 | 1088 18929 | 47 | 22
1506.73/1507.10 c 1505s | 26 | 9622550 | 8718352 | 1088 18947 | 47 | 22
1508.73/1509.11 c 1507s | 26 | 9634352 | 8729052 | 1088 18965 | 47 | 22
1510.73/1511.11 c 1509s | 26 | 9646306 | 8739852 | 1088 18984 | 47 | 22
1512.74/1513.11 c 1511s | 26 | 9658469 | 8750852 | 1088 19002 | 47 | 22
1514.73/1515.12 c 1513s | 26 | 9670113 | 8761452 | 1088 19021 | 47 | 22
1516.73/1517.13 c 1515s | 26 | 9681708 | 8771952 | 1088 19038 | 47 | 22
1518.72/1519.14 c 1517s | 26 | 9693315 | 8782452 | 1088 19056 | 47 | 22
1520.72/1521.15 c 1519s | 26 | 9705027 | 8793052 | 1088 19074 | 47 | 22
1522.72/1523.16 c 1521s | 26 | 9716745 | 8803652 | 1088 19092 | 47 | 22
1524.74/1525.18 c 1523s | 26 | 9728230 | 8814052 | 1088 19110 | 47 | 22
1526.73/1527.18 c 1525s | 26 | 9739994 | 8824552 | 1088 19128 | 47 | 22
1528.72/1529.19 c 1527s | 26 | 9751272 | 8834852 | 1088 19146 | 47 | 22
1530.82/1531.20 c 1529s | 26 | 9762450 | 8845052 | 1088 19163 | 47 | 22
1532.82/1533.20 c 1531s | 26 | 9773487 | 8855152 | 1088 19180 | 47 | 22
1534.82/1535.21 c 1533s | 26 | 9784793 | 8865352 | 1088 19197 | 47 | 22
1536.83/1537.22 c 1535s | 26 | 9796531 | 8875952 | 1088 19215 | 47 | 22
1538.81/1539.23 c 1537s | 26 | 9808508 | 8886752 | 1088 19234 | 47 | 22
1540.81/1541.23 c 1539s | 26 | 9820139 | 8897252 | 1088 19252 | 47 | 22
1542.81/1543.24 c 1541s | 26 | 9831790 | 8907752 | 1088 19270 | 47 | 22
1544.81/1545.24 c 1543s | 26 | 9843660 | 8918552 | 1088 19288 | 47 | 22
1546.82/1547.24 c 1545s | 26 | 9855522 | 8929352 | 1088 19307 | 47 | 22
1548.81/1549.27 c 1547s | 26 | 9867782 | 8940452 | 1088 19326 | 47 | 22
1550.81/1551.27 c 1549s | 26 | 9879775 | 8951252 | 1088 19344 | 47 | 22
1552.80/1553.27 c 1551s | 26 | 9891388 | 8961752 | 1088 19362 | 47 | 22
1554.80/1555.27 c 1553s | 26 | 9903019 | 8972352 | 1088 19380 | 47 | 22
1556.80/1557.29 c 1555s | 26 | 9914504 | 8982852 | 1088 19397 | 47 | 22
1558.80/1559.29 c 1557s | 26 | 9926022 | 8993452 | 1088 19415 | 47 | 22
1560.89/1561.31 c 1559s | 26 | 9937823 | 9004152 | 1088 19434 | 47 | 22
1562.89/1563.33 c 1561s | 26 | 9949820 | 9015052 | 1088 19452 | 47 | 22
1564.89/1565.34 c 1563s | 26 | 9961777 | 9025852 | 1088 19471 | 47 | 22
1566.89/1567.34 c 1565s | 26 | 9973833 | 9036752 | 1088 19489 | 47 | 22
1568.89/1569.35 c 1567s | 26 | 9985827 | 9047652 | 1088 19508 | 47 | 22
1570.89/1571.36 c 1569s | 26 | 9997820 | 9058452 | 1088 19526 | 47 | 22
1572.89/1573.37 c 1571s | 26 | 10009771 | 9069252 | 1088 19545 | 47 | 22
1574.89/1575.38 c 1573s | 26 | 10021526 | 9079852 | 1088 19563 | 47 | 22
1576.89/1577.39 c 1575s | 26 | 10033842 | 9090852 | 1088 19582 | 47 | 22
1578.88/1579.39 c 1577s | 26 | 10045388 | 9101352 | 1088 19599 | 47 | 22
1580.89/1581.39 c 1579s | 26 | 10056963 | 9111852 | 1088 19617 | 47 | 22
1582.88/1583.40 c 1581s | 26 | 10068624 | 9122452 | 1088 19635 | 47 | 22
1584.98/1585.42 c 1583s | 26 | 10080294 | 9133052 | 1088 19653 | 47 | 22
1586.99/1587.42 c 1585s | 26 | 10091711 | 9143452 | 1088 19671 | 47 | 22
1588.98/1589.44 c 1587s | 26 | 10103307 | 9153952 | 1088 19689 | 47 | 22
1590.98/1591.44 c 1589s | 26 | 10114956 | 9164352 | 1088 19707 | 47 | 22
1592.99/1593.44 c 1591s | 26 | 10126435 | 9174752 | 1088 19725 | 47 | 22
1594.98/1595.46 c 1593s | 26 | 10138737 | 9185852 | 1088 19744 | 47 | 22
1596.98/1597.47 c 1596s | 26 | 10150778 | 9196752 | 1088 19762 | 47 | 22
1598.98/1599.49 c 1598s | 26 | 10162791 | 9207552 | 1088 19781 | 47 | 22
1600.98/1601.49 c 1600s | 26 | 10174355 | 9218052 | 1088 19799 | 47 | 22
1603.08/1603.50 c 1602s | 26 | 10186697 | 9229152 | 1088 19818 | 47 | 22
1605.08/1605.51 c 1604s | 26 | 10198909 | 9240152 | 1088 19837 | 47 | 22
1607.08/1607.52 c 1606s | 26 | 10210882 | 9250952 | 1088 19855 | 47 | 22
1609.07/1609.53 c 1608s | 26 | 10222256 | 9261252 | 1088 19873 | 47 | 22
1611.07/1611.53 c 1610s | 26 | 10233838 | 9271752 | 1088 19891 | 47 | 22
1613.07/1613.53 c 1612s | 26 | 10245419 | 9282252 | 1088 19908 | 47 | 22
1615.07/1615.53 c 1614s | 26 | 10257043 | 9292852 | 1088 19926 | 47 | 22
1617.08/1617.55 c 1616s | 26 | 10268571 | 9303352 | 1088 19944 | 47 | 22
1619.06/1619.57 c 1618s | 26 | 10279832 | 9313552 | 1088 19962 | 47 | 22
1621.06/1621.58 c 1620s | 26 | 10291665 | 9324252 | 1088 19980 | 47 | 22
1623.16/1623.60 c 1622s | 26 | 10302867 | 9334452 | 1088 19997 | 47 | 22
1625.16/1625.60 c 1624s | 26 | 10314423 | 9344652 | 1088 20015 | 47 | 22
1627.16/1627.62 c 1626s | 26 | 10326131 | 9355152 | 1088 20032 | 47 | 22
1629.16/1629.63 c 1628s | 26 | 10337862 | 9365652 | 1088 20050 | 47 | 22
1631.16/1631.64 c 1630s | 26 | 10349375 | 9376052 | 1088 20068 | 47 | 22
1633.15/1633.65 c 1632s | 26 | 10361046 | 9386652 | 1088 20086 | 47 | 22
1635.16/1635.65 c 1634s | 26 | 10372378 | 9396852 | 1088 20103 | 47 | 22
1637.15/1637.66 c 1636s | 26 | 10383949 | 9407252 | 1088 20121 | 47 | 22
1639.16/1639.68 c 1638s | 26 | 10395451 | 9417552 | 1088 20138 | 47 | 22
1641.15/1641.69 c 1640s | 26 | 10407303 | 9428252 | 1088 20157 | 47 | 22
1643.15/1643.70 c 1642s | 26 | 10419230 | 9439152 | 1088 20175 | 47 | 22
1645.25/1645.70 c 1644s | 26 | 10430777 | 9449652 | 1088 20193 | 47 | 22
1647.25/1647.71 c 1646s | 26 | 10442322 | 9460052 | 1088 20211 | 47 | 22
1649.24/1649.71 c 1648s | 26 | 10453814 | 9470452 | 1088 20228 | 47 | 22
1651.25/1651.72 c 1650s | 26 | 10465599 | 9481152 | 1088 20247 | 47 | 22
1653.24/1653.73 c 1652s | 26 | 10477493 | 9491952 | 1088 20265 | 47 | 22
1655.25/1655.73 c 1654s | 26 | 10489104 | 9502552 | 1088 20283 | 47 | 22
1657.25/1657.74 c 1656s | 26 | 10500319 | 9512752 | 1088 20300 | 47 | 22
1659.24/1659.76 c 1658s | 26 | 10513453 | 9524452 | 1088 20320 | 47 | 22
1661.24/1661.77 c 1660s | 26 | 10525743 | 9535452 | 1088 20339 | 47 | 22
1663.25/1663.77 c 1662s | 26 | 10537343 | 9545952 | 1088 20357 | 47 | 22
1665.24/1665.78 c 1664s | 26 | 10549601 | 9556952 | 1088 20376 | 47 | 22
1667.24/1667.78 c 1666s | 26 | 10561608 | 9567852 | 1088 20394 | 47 | 22
1669.24/1669.79 c 1668s | 26 | 10572709 | 9578052 | 1088 20412 | 47 | 22
1671.24/1671.79 c 1670s | 26 | 10584259 | 9588652 | 1088 20430 | 47 | 22
1673.24/1673.79 c 1672s | 26 | 10595605 | 9599052 | 1088 20447 | 47 | 22
1675.23/1675.80 c 1674s | 26 | 10607003 | 9609352 | 1088 20465 | 47 | 22
1677.33/1677.81 c 1676s | 26 | 10618361 | 9619652 | 1088 20482 | 47 | 22
1679.33/1679.82 c 1678s | 26 | 10629656 | 9629952 | 1088 20500 | 47 | 22
1681.33/1681.82 c 1680s | 26 | 10641264 | 9640452 | 1088 20518 | 47 | 22
1683.33/1683.82 c 1682s | 26 | 10652878 | 9650952 | 1088 20536 | 47 | 22
1685.33/1685.84 c 1684s | 26 | 10664668 | 9661552 | 1088 20554 | 47 | 22
1687.33/1687.84 c 1686s | 26 | 10676571 | 9672252 | 1088 20572 | 47 | 22
1689.32/1689.85 c 1688s | 26 | 10688313 | 9682852 | 1088 20590 | 47 | 22
1691.32/1691.87 c 1690s | 26 | 10700314 | 9693652 | 1088 20608 | 47 | 22
1693.32/1693.87 c 1692s | 26 | 10712013 | 9704152 | 1088 20626 | 47 | 22
1695.32/1695.88 c 1694s | 26 | 10723884 | 9714552 | 1088 20644 | 47 | 22
1697.33/1697.89 c 1696s | 26 | 10735412 | 9724852 | 1088 20662 | 47 | 22
1699.41/1699.90 c 1698s | 26 | 10747234 | 9735452 | 1088 20680 | 47 | 22
1701.41/1701.90 c 1700s | 26 | 10759034 | 9746152 | 1088 20698 | 47 | 22
1703.41/1703.90 c 1702s | 26 | 10771507 | 9757152 | 1088 20717 | 47 | 22
1705.41/1705.91 c 1704s | 26 | 10783380 | 9767752 | 1088 20735 | 47 | 22
1707.41/1707.93 c 1706s | 26 | 10795472 | 9778552 | 1088 20753 | 47 | 22
1709.41/1709.94 c 1708s | 26 | 10806532 | 9788652 | 1088 20771 | 47 | 22
1711.41/1711.94 c 1710s | 26 | 10817637 | 9798752 | 1088 20788 | 47 | 22
1713.41/1713.95 c 1712s | 26 | 10829158 | 9809052 | 1088 20805 | 47 | 22
1715.41/1715.96 c 1714s | 26 | 10840620 | 9819552 | 1088 20823 | 47 | 22
1717.41/1717.97 c 1716s | 26 | 10851945 | 9829752 | 1088 20841 | 47 | 22
1719.41/1719.98 c 1718s | 26 | 10863428 | 9840152 | 1088 20858 | 47 | 22
1721.40/1721.99 c 1720s | 26 | 10875110 | 9850652 | 1088 20876 | 47 | 22
1723.50/1724.01 c 1722s | 26 | 10886556 | 9861052 | 1088 20894 | 47 | 22
1725.50/1726.02 c 1724s | 26 | 10898073 | 9871452 | 1088 20912 | 47 | 22
1727.50/1728.03 c 1726s | 26 | 10909824 | 9882052 | 1088 20930 | 47 | 22
1729.50/1730.03 c 1728s | 26 | 10922338 | 9893252 | 1088 20949 | 47 | 22
1731.50/1732.04 c 1730s | 26 | 10934007 | 9903752 | 1088 20967 | 47 | 22
1733.49/1734.04 c 1732s | 26 | 10945179 | 9913952 | 1088 20984 | 47 | 22
1735.49/1736.05 c 1734s | 26 | 10956462 | 9924252 | 1088 21002 | 47 | 22
1737.49/1738.05 c 1736s | 26 | 10968068 | 9934652 | 1088 21020 | 47 | 22
1739.49/1740.06 c 1738s | 26 | 10978980 | 9944652 | 1088 21037 | 47 | 22
1741.49/1742.07 c 1740s | 26 | 10989762 | 9954452 | 1088 21054 | 47 | 22
1743.50/1744.08 c 1742s | 26 | 11001020 | 9964652 | 1088 21071 | 47 | 22
1745.59/1746.10 c 1744s | 26 | 11011891 | 9974652 | 1088 21088 | 47 | 22
1747.59/1748.10 c 1746s | 26 | 11022559 | 9984352 | 1088 21104 | 47 | 22
1749.58/1750.11 c 1748s | 26 | 11033015 | 9993952 | 1088 21121 | 47 | 22
1751.58/1752.12 c 1750s | 26 | 11043829 | 10003852 | 1088 21138 | 47 | 22
1753.58/1754.13 c 1752s | 26 | 11054572 | 10013652 | 1088 21154 | 47 | 22
1755.59/1756.14 c 1754s | 26 | 11066007 | 10024052 | 1088 21172 | 47 | 22
1757.58/1758.15 c 1756s | 26 | 11076997 | 10034052 | 1088 21189 | 47 | 22
1759.58/1760.16 c 1758s | 26 | 11087705 | 10043852 | 1088 21206 | 47 | 22
1761.58/1762.17 c 1760s | 26 | 11099350 | 10054352 | 1088 21224 | 47 | 22
1763.58/1764.18 c 1762s | 26 | 11110475 | 10064452 | 1088 21241 | 47 | 22
1765.58/1766.18 c 1764s | 26 | 11121176 | 10074152 | 1088 21257 | 47 | 22
1767.58/1768.20 c 1766s | 26 | 11132098 | 10084152 | 1088 21274 | 47 | 22
1769.67/1770.20 c 1768s | 26 | 11143163 | 10094152 | 1088 21291 | 47 | 22
1771.67/1772.21 c 1770s | 26 | 11154305 | 10104352 | 1088 21309 | 47 | 22
1773.67/1774.22 c 1772s | 26 | 11165190 | 10114252 | 1088 21325 | 47 | 22
1775.67/1776.24 c 1774s | 26 | 11176091 | 10124252 | 1088 21342 | 47 | 22
1777.68/1778.24 c 1776s | 26 | 11186901 | 10134152 | 1088 21359 | 47 | 22
1779.66/1780.25 c 1778s | 26 | 11197627 | 10143952 | 1088 21376 | 47 | 22
1781.66/1782.26 c 1780s | 26 | 11208691 | 10154052 | 1088 21393 | 47 | 22
1783.66/1784.28 c 1782s | 26 | 11219571 | 10163952 | 1088 21410 | 47 | 22
1785.66/1786.28 c 1784s | 26 | 11230888 | 10174152 | 1088 21427 | 47 | 22
1787.66/1788.28 c 1786s | 26 | 11242198 | 10184452 | 1088 21445 | 47 | 22
1789.67/1790.30 c 1788s | 26 | 11253533 | 10194752 | 1088 21462 | 47 | 22
1791.76/1792.30 c 1790s | 26 | 11264939 | 10205052 | 1088 21480 | 47 | 22
1793.76/1794.32 c 1792s | 26 | 11276402 | 10215452 | 1088 21498 | 47 | 22
1795.76/1796.32 c 1794s | 26 | 11287137 | 10225252 | 1088 21514 | 47 | 22
1797.76/1798.34 c 1796s | 26 | 11297982 | 10235152 | 1088 21531 | 47 | 22
1799.75/1800.34 c 1798s | 26 | 11308708 | 10244952 | 1088 21548 | 47 | 22
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-4117501-1467212787/watcher-4117501-1467212787 -o /tmp/evaluation-result-4117501-1467212787/solver-4117501-1467212787 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467209132-3988 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117501-1467212787.opb
pid=4419
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.19 2.24 3/179 4422
/proc/meminfo: memFree=23990072/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=717380 CPUtime=0 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 2679 0 0 0 0 0 0 0 20 0 4 0 2239510 734597120 3039 33554432000 4194304 16246674 140736982574064 140736982573488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 180113 3048 442 2943 0 177007 0
[pid=4422/tid=4423] ppid=4419 vsize=734788 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 752422912 3108 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=739908 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 757665792 3124 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=744004 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 761860096 3144 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[startup+0.100121 s]
/proc/loadavg: 2.08 2.19 2.24 3/179 4422
/proc/meminfo: memFree=23990072/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 22748 0 0 0 7 2 0 0 20 0 4 0 2239510 1247350784 23095 33554432000 4194304 16246674 140736982574064 140736982573488 5523709 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 304529 23101 784 2943 0 301423 0
[pid=4422/tid=4423] ppid=4419 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1247350784 23106 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1247350784 23112 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1247350784 23120 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200421 s]
/proc/loadavg: 2.08 2.19 2.24 3/179 4422
/proc/meminfo: memFree=23990072/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 41872 0 0 0 15 4 0 0 20 0 4 0 2239510 1247350784 42220 33554432000 4194304 16246674 140736982574064 140736982573488 5668801 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 304529 42228 784 2943 0 301423 0
[pid=4422/tid=4423] ppid=4419 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1247350784 42233 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1247350784 42239 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1247350784 42244 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.826941 s]
/proc/loadavg: 2.08 2.19 2.24 3/179 4422
/proc/meminfo: memFree=23990072/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1218116 CPUtime=0.81 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 163548 0 0 0 61 20 0 0 20 0 4 0 2239510 1247350784 163895 33554432000 4194304 16246674 140736982574064 140736982555968 5997438 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 304529 163904 785 2943 0 301423 0
[pid=4422/tid=4423] ppid=4419 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1247350784 163912 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1247350784 163916 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1247350784 163922 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 1218116
[startup+0.90048 s]
/proc/loadavg: 2.08 2.19 2.24 3/179 4422
/proc/meminfo: memFree=23990072/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1218116 CPUtime=0.89 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 177931 0 0 0 67 22 0 0 20 0 4 0 2239510 1247350784 178278 33554432000 4194304 16246674 140736982574064 140736982555968 5669490 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 304529 178286 785 2943 0 301423 0
[pid=4422/tid=4423] ppid=4419 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1247350784 178291 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1247350784 178296 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1247350784 178300 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 1218116
[startup+1.50043 s]
/proc/loadavg: 2.08 2.19 2.24 3/179 4422
/proc/meminfo: memFree=23990072/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 245630 0 0 0 117 32 0 0 20 0 4 0 2239510 1248399360 245955 33554432000 4194304 16246674 140736982574064 140736982573376 5822275 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 304785 245955 847 2943 0 301679 0
[pid=4422/tid=4423] ppid=4419 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1248399360 245955 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1248399360 245955 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1248399360 245955 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140
[startup+3.10041 s]
/proc/loadavg: 2.08 2.19 2.24 3/183 4426
/proc/meminfo: memFree=22448608/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 267479 0 0 0 274 35 0 0 20 0 4 0 2239510 1337528320 267804 33554432000 4194304 16246674 140736982574064 140736982555968 5523236 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 326545 267804 847 2943 0 323439 0
[pid=4422/tid=4423] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267804 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267804 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267804 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180
[startup+6.30045 s]
/proc/loadavg: 2.07 2.19 2.23 3/183 4426
/proc/meminfo: memFree=22448164/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 267480 0 0 0 594 35 0 0 20 0 4 0 2239510 1337528320 267805 33554432000 4194304 16246674 140736982574064 140736982555968 6842471 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 326545 267805 847 2943 0 323439 0
[pid=4422/tid=4423] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267805 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267805 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267805 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180
[startup+12.7076 s]
/proc/loadavg: 2.07 2.18 2.23 3/183 4426
/proc/meminfo: memFree=22448480/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1306180 CPUtime=12.7 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 267489 0 0 0 1235 35 0 0 20 0 4 0 2239510 1337528320 267814 33554432000 4194304 16246674 140736982574064 140736982555968 5754856 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 326545 267814 847 2943 0 323439 0
[pid=4422/tid=4423] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267814 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267814 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267814 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 1306180
[startup+25.5004 s]
/proc/loadavg: 2.05 2.17 2.23 3/183 4426
/proc/meminfo: memFree=22448844/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 267510 0 0 0 2513 35 0 0 20 0 4 0 2239510 1337528320 267835 33554432000 4194304 16246674 140736982574064 140736982555968 13943729 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 326545 267835 849 2943 0 323439 0
[pid=4422/tid=4423] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267835 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267835 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267835 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180
[startup+51.1004 s]
/proc/loadavg: 2.16 2.19 2.23 3/183 4426
/proc/meminfo: memFree=22448488/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 267563 0 0 0 5072 36 0 0 20 0 4 0 2239510 1337528320 267888 33554432000 4194304 16246674 140736982574064 140736982555968 6012041 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 326545 267888 851 2943 0 323439 0
[pid=4422/tid=4423] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267888 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267888 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267888 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180
[startup+102.3 s]
/proc/loadavg: 2.12 2.17 2.22 3/183 4427
/proc/meminfo: memFree=22448124/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 267564 0 0 0 10190 38 0 0 20 0 4 0 2239510 1337528320 267889 33554432000 4194304 16246674 140736982574064 140736982555968 5667484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 326545 267889 851 2943 0 323439 0
[pid=4422/tid=4423] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267889 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267889 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1337528320 267889 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180
################
# More data... #
################
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1307204
[startup+1362.3 s]
/proc/loadavg: 2.29 2.27 2.22 3/183 4458
/proc/meminfo: memFree=22440316/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1307204 CPUtime=1362.02 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 267925 0 0 0 136145 57 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140736982557064 5666933 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 326801 268412 852 2943 0 323695 0
[pid=4422/tid=4423] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1307204
[startup+1422.3 s]
/proc/loadavg: 2.19 2.24 2.21 3/184 4462
/proc/meminfo: memFree=22439776/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1307204 CPUtime=1421.99 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 267963 0 0 0 142141 58 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140736982555968 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 326801 268412 852 2943 0 323695 0
[pid=4422/tid=4423] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1307204
[startup+1482.31 s]
/proc/loadavg: 2.39 2.28 2.23 4/183 4464
/proc/meminfo: memFree=22440008/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1307204 CPUtime=1481.96 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 268003 0 0 0 148138 58 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140736982557064 5707625 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 326801 268412 852 2943 0 323695 0
[pid=4422/tid=4423] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1307204
[startup+1542.3 s]
/proc/loadavg: 2.27 2.26 2.22 3/183 4465
/proc/meminfo: memFree=22440284/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1307204 CPUtime=1541.91 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 268046 0 0 0 154132 59 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140736982555968 5666300 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 326801 268412 852 2943 0 323695 0
[pid=4422/tid=4423] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1307204
[startup+1602.3 s]
/proc/loadavg: 2.25 2.26 2.22 3/183 4466
/proc/meminfo: memFree=22440612/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1307204 CPUtime=1601.88 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 268087 0 0 0 160128 60 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140736982555968 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 326801 268412 852 2943 0 323695 0
[pid=4422/tid=4423] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1307204
[startup+1662.3 s]
/proc/loadavg: 2.34 2.28 2.23 3/182 4467
/proc/meminfo: memFree=22440924/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1307204 CPUtime=1661.84 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 268130 0 0 0 166123 61 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140736982555968 5813080 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 326801 268412 852 2943 0 323695 0
[pid=4422/tid=4423] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1307204
[startup+1722.3 s]
/proc/loadavg: 2.18 2.24 2.22 3/183 4469
/proc/meminfo: memFree=22440600/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1307204 CPUtime=1721.8 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 268175 0 0 0 172119 61 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140736982555968 5717604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 326801 268412 852 2943 0 323695 0
[pid=4422/tid=4423] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1307204
[startup+1782.3 s]
/proc/loadavg: 2.17 2.23 2.21 3/183 4471
/proc/meminfo: memFree=22440260/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1307204 CPUtime=1781.76 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 268217 0 0 0 178115 61 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140736982555968 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 326801 268412 852 2943 0 323695 0
[pid=4422/tid=4423] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1307204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.19 2.23 2.21 2/175 4479
/proc/meminfo: memFree=23513956/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1307204 CPUtime=1800.05 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 268232 0 0 0 179943 62 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140736982557064 5823647 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 326801 268412 852 2943 0 323695 0
[pid=4422/tid=4423] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1307204
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 4422 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.19 2.23 2.21 2/175 4479
/proc/meminfo: memFree=23513956/32872528 swapFree=1253612/1390560
[pid=4422] ppid=4419 vsize=1307204 CPUtime=1800.05 cores=1,3,5,7
/proc/4422/stat : 4422 (toysat) R 4419 4422 3971 0 -1 4202496 268232 0 0 0 179943 62 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140736982557064 5823647 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4422/statm: 326801 268412 852 2943 0 323695 0
[pid=4422/tid=4423] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4423/stat : 4423 (toysat) S 4419 4422 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036963020016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4422/tid=4424] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4424/stat : 4424 (toysat) S 4419 4422 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036952530160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4422/tid=4425] ppid=4419 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4422/task/4425/stat : 4425 (toysat) S 4419 4422 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2239510 1338576896 268412 33554432000 4194304 16246674 140736982574064 140036871810224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1307204
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.44
CPU system time (s): 0.623905
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 1307204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.623905
maximum resident set size= 1073648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268232
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= 414
involuntary context switches= 1837
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1222 second user time and 16.2685 second system time
The end