0.00/0.00 c 2016-06-07T07:49:52+0200
0.00/0.00 c version = 0.5.0
0.00/0.00 c githash = 1a49202
0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00 c arch = x86_64
0.00/0.00 c os = linux
0.00/0.00 c compiler = ghc 7.10
0.00/0.00 c packages:
0.00/0.00 c OptDir-0.0.3
0.00/0.00 c array-0.5.1.0
0.00/0.00 c base-4.8.2.0
0.00/0.00 c bytestring-0.10.6.0
0.00/0.00 c bytestring-builder-0.10.6.0.0
0.00/0.00 c clock-0.7.2
0.00/0.00 c containers-0.5.6.2
0.00/0.00 c data-default-0.5.3
0.00/0.00 c data-default-class-0.0.1
0.00/0.00 c data-interval-1.2.0
0.00/0.00 c deepseq-1.4.1.1
0.00/0.00 c directory-1.2.2.0
0.00/0.00 c exceptions-0.8.2.1
0.00/0.00 c extended-reals-0.2.1.0
0.00/0.00 c filepath-1.4.0.0
0.00/0.00 c finite-field-0.8.0
0.00/0.00 c hashable-1.2.4.0
0.00/0.00 c heaps-0.3.3
0.00/0.00 c intern-0.9.1.4
0.00/0.00 c loop-0.3.0
0.00/0.00 c mtl-2.2.1
0.00/0.00 c multiset-0.3.2
0.00/0.00 c mwc-random-0.13.3.2
0.00/0.00 c parse_dimacs-1.3
0.00/0.00 c parsec-3.1.9
0.00/0.00 c prettyclass-1.0.0.0
0.00/0.00 c primes-0.2.1.0
0.00/0.00 c primitive-0.6.1.0
0.00/0.00 c process-1.2.3.0
0.00/0.00 c pseudo-boolean-0.1.3.0
0.00/0.01 c queue-0.1.2
0.00/0.01 c semigroups-0.18.1
0.00/0.01 c sign-0.4.3
0.00/0.01 c stm-2.4.4.1
0.00/0.01 c template-haskell-2.10.0.0
0.00/0.01 c temporary-1.2.0.4
0.00/0.01 c time-1.5.0.1
0.00/0.01 c transformers-0.4.2.0
0.00/0.01 c transformers-compat-0.5.1.4
0.00/0.01 c type-level-numbers-0.1.1.1
0.00/0.01 c unbounded-delays-0.1.0.9
0.00/0.01 c unordered-containers-0.2.6.0
0.00/0.01 c vector-0.11.0.0
0.00/0.01 c vector-space-0.10.3
0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079995-1465278592.opb"]
0.00/0.01 c use --random-gen="2596109043 971125425 3842125001 3973110241 1241095605 2232989083 3890743864 561602114 4215146367 3133448727 2380515032 1737278720 1152820360 1260379923 3666210463 2392838762 2816298838 4101823850 746299957 3643471861 812503345 714036846 868587286 1588529584 87302409 3088558771 2337219019 2128911112 2596900017 1480954037 3218235899 2316900632 4115770718 3334732475 3897543798 839780204 2863328860 1601910734 164006556 2455707853 3848226520 668856506 2399918505 2315565213 1075511302 3250692534 827560963 4067194719 967210289 172579461 2952063502 3868796749 4223676378 1625195211 366456904 1216231892 3356258499 3318155472 3456249453 584850359 1248712708 3150622166 1257415985 3542439505 1321783057 2800859036 861089671 3599745440 3267098314 386677580 1251207388 108264832 3128889543 1442275135 1173278889 1061954620 3781962055 4171056739 1799606733 2588862333 2403586730 2409263139 3269247152 2180741362 2854988602 2087841686 1247243511 740349147 1108901928 2949897170 2264256170 1747139388 1788430315 1066826614 924263099 2899607752 2784748986 3063365490 2930245110 1142096069 4124875070 1809417062 614922586 2617042751 3857759340 3825888986 684805888 698361005 3809030624 4001448625 1454664394 1576835966 3983579784 1324431342 3591893893 2707112403 404499531 3361357386 22748964 1401022352 3721762121 3113136221 1249058984 3496051820 4227812932 324030966 1205884705 3698072657 1030481067 1290465455 2128059418 1765878428 3088295010 1447964095 4251332027 1758687822 46629764 3658625570 3798152089 1075442278 145378201 710407793 2440968938 2008617958 220407164 91110615 2432797018 1893384457 3035385279 4243554645 3001257603 3680124469 4174656843 2908332350 1589117822 1108415328 458453600 711918809 2904615532 4035859084 1132479304 618087153 777802401 485929304 3612050803 1096393776 2888678240 3158358873 1998754442 2151917940 2702129286 3709402459 660325056 1413228734 1879989605 1848083341 3138100450 3106977547 142202627 2833846203 3027143563 334778513 3230674207 3380545385 2527484879 1040743442 2833911484 327016976 3864317582 3499776412 1650833423 4213562763 4235135341 484891732 3904511606 2510583027 4096190076 1994867614 2490950816 325418043 764273151 4215762490 663620923 463203608 708498928 2267398836 2003662393 1510003509 3500118127 3156633536 2455214178 4073393941 2805622312 348140152 2889620757 1178621510 32297251 225830775 640740775 2322819010 1842379345 583476584 2708006856 2148310977 2228340104 3939800964 4150724909 1953631507 1001888261 2418697800 2642472528 516914807 4205118197 3392937230 580713002 3804312543 3751692129 4030281480 237754659 4172731617 3064001741 3573426534 3628475270 3909570596 1984118434 1162538941 1654210231 1971849798 1770875655 2851846430 2001651630 3196036600 1864941049 760845904 1510983112 2187910828 255 362436" option to reproduce the execution
0.09/0.15 c #vars 736
0.09/0.15 c #constraints 7201
0.29/0.37 c BCD2: Hardening is enabled.
0.29/0.37 c BCD2: BiasedSearch is enabled.
0.29/0.37 c Solving starts ...
0.29/0.37 c ============================[ Search Statistics ]============================
0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.37 c | | | | Limit GC | Var | Constra
0.29/0.37 c =============================================================================
0.29/0.37 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 0
0.29/0.38 c 0.0s | 0 | 736 | 0 | 2645 0 | 0 | 0
0.29/0.38 c #cpu_time = 0.012s
0.29/0.38 c #wall_clock_time = 0.012s
0.29/0.38 c #decision = 736
0.29/0.38 c #random_decision = 5
0.29/0.38 c #conflict = 0
0.29/0.38 c #restart = 0
0.29/0.38 o 736
0.29/0.39 c BCD2: updating upper bound: 736 -> 735
0.29/0.39 c BCD2: 0 <= obj <= 735
0.29/0.39 c BCD2: #cores=0, #unrelaxed=736, #relaxed=0, #hardened=0
0.29/0.39 c BCD2: #sat=1 #unsat=1 bias=1/2
0.29/0.39 c Solving starts ...
0.29/0.39 c ============================[ Search Statistics ]============================
0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.39 c | | | | Limit GC | Var | Constra
0.29/0.39 c =============================================================================
0.29/0.39 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 0
0.39/0.40 c 0.0s | 0 | 444 | 0 | 2645 0 | 0 | 0
0.39/0.40 c #cpu_time = 0.012s
0.39/0.40 c #wall_clock_time = 0.012s
0.39/0.40 c #decision = 444
0.39/0.40 c #random_decision = 0
0.39/0.40 c #conflict = 0
0.39/0.40 c #restart = 0
0.39/0.40 c BCD2: found a new core of size 10: cost of the new core is >=1
0.39/0.40 c lower bound updated to 1
0.39/0.40 c BCD2: 1 <= obj <= 735
0.39/0.40 c BCD2: #cores=1, #unrelaxed=726, #relaxed=10, #hardened=0
0.39/0.40 c BCD2: #sat=1 #unsat=2 bias=2/3
0.39/0.42 c Solving starts ...
0.39/0.42 c ============================[ Search Statistics ]============================
0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.42 c | | | | Limit GC | Var | Constra
0.39/0.42 c =============================================================================
0.39/0.42 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 1
0.39/0.43 c 0.0s | 0 | 440 | 0 | 2645 0 | 0 | 1
0.39/0.43 c #cpu_time = 0.005s
0.39/0.43 c #wall_clock_time = 0.005s
0.39/0.43 c #decision = 440
0.39/0.43 c #random_decision = 0
0.39/0.43 c #conflict = 0
0.39/0.43 c #restart = 0
0.39/0.43 c BCD2: found a new core of size 10: cost of the new core is >=1
0.39/0.43 c lower bound updated to 2
0.39/0.43 c BCD2: 2 <= obj <= 735
0.39/0.43 c BCD2: #cores=2, #unrelaxed=716, #relaxed=20, #hardened=0
0.39/0.43 c BCD2: #sat=1 #unsat=3 bias=3/4
0.39/0.43 c Solving starts ...
0.39/0.43 c ============================[ Search Statistics ]============================
0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.43 c | | | | Limit GC | Var | Constra
0.39/0.43 c =============================================================================
0.39/0.43 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 2
0.39/0.44 c 0.0s | 0 | 575 | 0 | 2645 0 | 0 | 2
0.39/0.44 c #cpu_time = 0.005s
0.39/0.44 c #wall_clock_time = 0.005s
0.39/0.44 c #decision = 575
0.39/0.44 c #random_decision = 0
0.39/0.44 c #conflict = 0
0.39/0.44 c #restart = 0
0.39/0.44 c BCD2: found a new core of size 10: cost of the new core is >=1
0.39/0.44 c lower bound updated to 3
0.39/0.44 c BCD2: 3 <= obj <= 735
0.39/0.44 c BCD2: #cores=3, #unrelaxed=706, #relaxed=30, #hardened=0
0.39/0.44 c BCD2: #sat=1 #unsat=4 bias=4/5
0.39/0.44 c Solving starts ...
0.39/0.44 c ============================[ Search Statistics ]============================
0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.44 c | | | | Limit GC | Var | Constra
0.39/0.44 c =============================================================================
0.39/0.44 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 3
0.39/0.44 c 0.0s | 0 | 569 | 0 | 2645 0 | 0 | 3
0.39/0.44 c #cpu_time = 0.005s
0.39/0.44 c #wall_clock_time = 0.005s
0.39/0.44 c #decision = 569
0.39/0.44 c #random_decision = 0
0.39/0.44 c #conflict = 0
0.39/0.44 c #restart = 0
0.39/0.44 c BCD2: found a new core of size 10: cost of the new core is >=1
0.39/0.44 c lower bound updated to 4
0.39/0.44 c BCD2: 4 <= obj <= 735
0.39/0.44 c BCD2: #cores=4, #unrelaxed=696, #relaxed=40, #hardened=0
0.39/0.44 c BCD2: #sat=1 #unsat=5 bias=5/6
0.39/0.44 c Solving starts ...
0.39/0.44 c ============================[ Search Statistics ]============================
0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.44 c | | | | Limit GC | Var | Constra
0.39/0.44 c =============================================================================
0.39/0.44 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 4
0.39/0.45 c 0.0s | 0 | 563 | 0 | 2645 0 | 0 | 4
0.39/0.45 c #cpu_time = 0.005s
0.39/0.45 c #wall_clock_time = 0.005s
0.39/0.45 c #decision = 563
0.39/0.45 c #random_decision = 0
0.39/0.45 c #conflict = 0
0.39/0.45 c #restart = 0
0.39/0.45 c BCD2: found a new core of size 10: cost of the new core is >=1
0.39/0.45 c lower bound updated to 5
0.39/0.45 c BCD2: 5 <= obj <= 735
0.39/0.45 c BCD2: #cores=5, #unrelaxed=686, #relaxed=50, #hardened=0
0.39/0.45 c BCD2: #sat=1 #unsat=6 bias=6/7
0.39/0.45 c Solving starts ...
0.39/0.45 c ============================[ Search Statistics ]============================
0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.45 c | | | | Limit GC | Var | Constra
0.39/0.45 c =============================================================================
0.39/0.45 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 5
0.39/0.46 c 0.0s | 0 | 559 | 0 | 2645 0 | 0 | 5
0.39/0.46 c #cpu_time = 0.005s
0.39/0.46 c #wall_clock_time = 0.005s
0.39/0.46 c #decision = 559
0.39/0.46 c #random_decision = 0
0.39/0.46 c #conflict = 0
0.39/0.46 c #restart = 0
0.39/0.46 c BCD2: found a new core of size 10: cost of the new core is >=1
0.39/0.46 c lower bound updated to 6
0.39/0.46 c BCD2: 6 <= obj <= 735
0.39/0.46 c BCD2: #cores=6, #unrelaxed=676, #relaxed=60, #hardened=0
0.39/0.46 c BCD2: #sat=1 #unsat=7 bias=7/8
0.39/0.46 c Solving starts ...
0.39/0.46 c ============================[ Search Statistics ]============================
0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.46 c | | | | Limit GC | Var | Constra
0.39/0.46 c =============================================================================
0.39/0.46 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 6
0.39/0.46 c 0.0s | 0 | 575 | 0 | 2645 0 | 0 | 6
0.39/0.46 c #cpu_time = 0.005s
0.39/0.46 c #wall_clock_time = 0.005s
0.39/0.46 c #decision = 575
0.39/0.46 c #random_decision = 0
0.39/0.46 c #conflict = 0
0.39/0.46 c #restart = 0
0.39/0.46 c BCD2: found a new core of size 10: cost of the new core is >=1
0.39/0.46 c lower bound updated to 7
0.39/0.46 c BCD2: 7 <= obj <= 735
0.39/0.46 c BCD2: #cores=7, #unrelaxed=666, #relaxed=70, #hardened=0
0.39/0.46 c BCD2: #sat=1 #unsat=8 bias=8/9
0.39/0.46 c Solving starts ...
0.39/0.46 c ============================[ Search Statistics ]============================
0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.46 c | | | | Limit GC | Var | Constra
0.39/0.46 c =============================================================================
0.39/0.46 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 7
0.39/0.47 c 0.0s | 0 | 570 | 0 | 2645 0 | 0 | 7
0.39/0.47 c #cpu_time = 0.005s
0.39/0.47 c #wall_clock_time = 0.005s
0.39/0.47 c #decision = 570
0.39/0.47 c #random_decision = 0
0.39/0.47 c #conflict = 0
0.39/0.47 c #restart = 0
0.39/0.47 c BCD2: found a new core of size 10: cost of the new core is >=1
0.39/0.47 c lower bound updated to 8
0.39/0.47 c BCD2: 8 <= obj <= 735
0.39/0.47 c BCD2: #cores=8, #unrelaxed=656, #relaxed=80, #hardened=0
0.39/0.47 c BCD2: #sat=1 #unsat=9 bias=9/10
0.39/0.47 c Solving starts ...
0.39/0.47 c ============================[ Search Statistics ]============================
0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.47 c | | | | Limit GC | Var | Constra
0.39/0.47 c =============================================================================
0.39/0.47 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 8
0.39/0.48 c 0.0s | 0 | 571 | 0 | 2645 0 | 0 | 8
0.39/0.48 c #cpu_time = 0.005s
0.39/0.48 c #wall_clock_time = 0.005s
0.39/0.48 c #decision = 571
0.39/0.48 c #random_decision = 0
0.39/0.48 c #conflict = 0
0.39/0.48 c #restart = 0
0.39/0.48 c BCD2: found a new core of size 10: cost of the new core is >=1
0.39/0.48 c lower bound updated to 9
0.39/0.48 c BCD2: 9 <= obj <= 735
0.39/0.48 c BCD2: #cores=9, #unrelaxed=646, #relaxed=90, #hardened=0
0.39/0.48 c BCD2: #sat=1 #unsat=10 bias=10/11
0.39/0.48 c Solving starts ...
0.39/0.48 c ============================[ Search Statistics ]============================
0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.48 c | | | | Limit GC | Var | Constra
0.39/0.48 c =============================================================================
0.39/0.48 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 9
0.39/0.48 c 0.0s | 0 | 574 | 0 | 2645 0 | 0 | 9
0.39/0.48 c #cpu_time = 0.005s
0.39/0.48 c #wall_clock_time = 0.005s
0.39/0.48 c #decision = 574
0.39/0.48 c #random_decision = 0
0.39/0.48 c #conflict = 0
0.39/0.48 c #restart = 0
0.39/0.48 c BCD2: found a new core of size 10: cost of the new core is >=1
0.39/0.48 c lower bound updated to 10
0.39/0.48 c BCD2: 10 <= obj <= 735
0.39/0.48 c BCD2: #cores=10, #unrelaxed=636, #relaxed=100, #hardened=0
0.39/0.48 c BCD2: #sat=1 #unsat=11 bias=11/12
0.39/0.48 c Solving starts ...
0.39/0.48 c ============================[ Search Statistics ]============================
0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.48 c | | | | Limit GC | Var | Constra
0.39/0.48 c =============================================================================
0.39/0.48 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 10
0.39/0.49 c 0.0s | 0 | 579 | 0 | 2645 0 | 0 | 10
0.39/0.49 c #cpu_time = 0.005s
0.39/0.49 c #wall_clock_time = 0.005s
0.39/0.49 c #decision = 579
0.39/0.49 c #random_decision = 0
0.39/0.49 c #conflict = 0
0.39/0.49 c #restart = 0
0.39/0.49 c BCD2: found a new core of size 10: cost of the new core is >=1
0.39/0.49 c lower bound updated to 11
0.39/0.49 c BCD2: 11 <= obj <= 735
0.39/0.49 c BCD2: #cores=11, #unrelaxed=626, #relaxed=110, #hardened=0
0.39/0.49 c BCD2: #sat=1 #unsat=12 bias=12/13
0.39/0.49 c Solving starts ...
0.39/0.49 c ============================[ Search Statistics ]============================
0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.49 c | | | | Limit GC | Var | Constra
0.39/0.49 c =============================================================================
0.39/0.49 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 11
0.49/0.50 c 0.0s | 0 | 572 | 0 | 2645 0 | 0 | 11
0.49/0.50 c #cpu_time = 0.005s
0.49/0.50 c #wall_clock_time = 0.005s
0.49/0.50 c #decision = 572
0.49/0.50 c #random_decision = 0
0.49/0.50 c #conflict = 0
0.49/0.50 c #restart = 0
0.49/0.50 c BCD2: found a new core of size 10: cost of the new core is >=1
0.49/0.50 c lower bound updated to 12
0.49/0.50 c BCD2: 12 <= obj <= 735
0.49/0.50 c BCD2: #cores=12, #unrelaxed=616, #relaxed=120, #hardened=0
0.49/0.50 c BCD2: #sat=1 #unsat=13 bias=13/14
0.49/0.50 c Solving starts ...
0.49/0.50 c ============================[ Search Statistics ]============================
0.49/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.50 c | | | | Limit GC | Var | Constra
0.49/0.50 c =============================================================================
0.49/0.50 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 12
0.49/0.50 c 0.0s | 0 | 572 | 0 | 2645 0 | 0 | 12
0.49/0.50 c #cpu_time = 0.005s
0.49/0.50 c #wall_clock_time = 0.005s
0.49/0.50 c #decision = 572
0.49/0.50 c #random_decision = 0
0.49/0.50 c #conflict = 0
0.49/0.50 c #restart = 0
0.49/0.50 c BCD2: found a new core of size 10: cost of the new core is >=1
0.49/0.50 c lower bound updated to 13
0.49/0.50 c BCD2: 13 <= obj <= 735
0.49/0.50 c BCD2: #cores=13, #unrelaxed=606, #relaxed=130, #hardened=0
0.49/0.50 c BCD2: #sat=1 #unsat=14 bias=14/15
0.49/0.50 c Solving starts ...
0.49/0.50 c ============================[ Search Statistics ]============================
0.49/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.50 c | | | | Limit GC | Var | Constra
0.49/0.50 c =============================================================================
0.49/0.50 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 13
0.49/0.51 c 0.0s | 0 | 568 | 0 | 2645 0 | 0 | 13
0.49/0.51 c #cpu_time = 0.005s
0.49/0.51 c #wall_clock_time = 0.005s
0.49/0.51 c #decision = 568
0.49/0.51 c #random_decision = 0
0.49/0.51 c #conflict = 0
0.49/0.51 c #restart = 0
0.49/0.51 c BCD2: found a new core of size 10: cost of the new core is >=1
0.49/0.51 c lower bound updated to 14
0.49/0.51 c BCD2: 14 <= obj <= 735
0.49/0.51 c BCD2: #cores=14, #unrelaxed=596, #relaxed=140, #hardened=0
0.49/0.51 c BCD2: #sat=1 #unsat=15 bias=15/16
0.49/0.51 c Solving starts ...
0.49/0.51 c ============================[ Search Statistics ]============================
0.49/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.51 c | | | | Limit GC | Var | Constra
0.49/0.51 c =============================================================================
0.49/0.51 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 14
0.49/0.52 c 0.0s | 0 | 571 | 0 | 2645 0 | 0 | 14
0.49/0.52 c #cpu_time = 0.005s
0.49/0.52 c #wall_clock_time = 0.005s
0.49/0.52 c #decision = 571
0.49/0.52 c #random_decision = 0
0.49/0.52 c #conflict = 0
0.49/0.52 c #restart = 0
0.49/0.52 c BCD2: found a new core of size 10: cost of the new core is >=1
0.49/0.52 c lower bound updated to 15
0.49/0.52 c BCD2: 15 <= obj <= 735
0.49/0.52 c BCD2: #cores=15, #unrelaxed=586, #relaxed=150, #hardened=0
0.49/0.52 c BCD2: #sat=1 #unsat=16 bias=16/17
0.49/0.52 c Solving starts ...
0.49/0.52 c ============================[ Search Statistics ]============================
0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.52 c | | | | Limit GC | Var | Constra
0.49/0.52 c =============================================================================
0.49/0.52 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 15
0.49/0.52 c 0.0s | 0 | 570 | 0 | 2645 0 | 0 | 15
0.49/0.52 c #cpu_time = 0.005s
0.49/0.52 c #wall_clock_time = 0.005s
0.49/0.52 c #decision = 570
0.49/0.52 c #random_decision = 0
0.49/0.52 c #conflict = 0
0.49/0.52 c #restart = 0
0.49/0.52 c BCD2: found a new core of size 10: cost of the new core is >=1
0.49/0.52 c lower bound updated to 16
0.49/0.53 c BCD2: 16 <= obj <= 735
0.49/0.53 c BCD2: #cores=16, #unrelaxed=576, #relaxed=160, #hardened=0
0.49/0.53 c BCD2: #sat=1 #unsat=17 bias=17/18
0.49/0.53 c Solving starts ...
0.49/0.53 c ============================[ Search Statistics ]============================
0.49/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.53 c | | | | Limit GC | Var | Constra
0.49/0.53 c =============================================================================
0.49/0.53 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 16
0.49/0.53 c 0.0s | 0 | 584 | 0 | 2645 0 | 0 | 16
0.49/0.53 c #cpu_time = 0.006s
0.49/0.53 c #wall_clock_time = 0.006s
0.49/0.53 c #decision = 584
0.49/0.53 c #random_decision = 0
0.49/0.53 c #conflict = 0
0.49/0.53 c #restart = 0
0.49/0.53 c BCD2: found a new core of size 10: cost of the new core is >=1
0.49/0.53 c lower bound updated to 17
0.49/0.53 c BCD2: 17 <= obj <= 735
0.49/0.53 c BCD2: #cores=17, #unrelaxed=566, #relaxed=170, #hardened=0
0.49/0.53 c BCD2: #sat=1 #unsat=18 bias=18/19
0.49/0.53 c Solving starts ...
0.49/0.53 c ============================[ Search Statistics ]============================
0.49/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.53 c | | | | Limit GC | Var | Constra
0.49/0.53 c =============================================================================
0.49/0.53 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 17
0.49/0.54 c 0.0s | 0 | 725 | 0 | 2645 0 | 0 | 17
0.49/0.54 c #cpu_time = 0.007s
0.49/0.54 c #wall_clock_time = 0.007s
0.49/0.54 c #decision = 725
0.49/0.54 c #random_decision = 0
0.49/0.54 c #conflict = 0
0.49/0.54 c #restart = 0
0.49/0.54 o 51
0.49/0.54 c BCD2: updating upper bound: 735 -> 50
0.49/0.56 c BCD2: 17 <= obj <= 50
0.49/0.56 c BCD2: #cores=17, #unrelaxed=566, #relaxed=170, #hardened=0
0.49/0.56 c BCD2: #sat=2 #unsat=18 bias=18/20
0.49/0.56 c Solving starts ...
0.49/0.56 c ============================[ Search Statistics ]============================
0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.56 c | | | | Limit GC | Var | Constra
0.49/0.56 c =============================================================================
0.49/0.56 c 0.0s | 0 | 0 | 0 | 2645 0 | 0 | 18
0.49/0.57 c 0.0s | 0 | 591 | 3 | 2645 0 | 0 | 18
0.49/0.57 c #cpu_time = 0.009s
0.49/0.57 c #wall_clock_time = 0.009s
0.49/0.57 c #decision = 591
0.49/0.57 c #random_decision = 0
0.49/0.57 c #conflict = 3
0.49/0.57 c #restart = 0
0.49/0.57 c BCD2: relaxing 35 and merging with 5 cores into a new core of size 85: cost of the new core is >=6
0.49/0.57 c lower bound updated to 18
0.49/0.57 c BCD2: 18 <= obj <= 50
0.49/0.57 c BCD2: #cores=13, #unrelaxed=531, #relaxed=205, #hardened=0
0.49/0.57 c BCD2: #sat=2 #unsat=19 bias=19/21
0.49/0.57 c Solving starts ...
0.49/0.57 c ============================[ Search Statistics ]============================
0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.57 c | | | | Limit GC | Var | Constra
0.49/0.57 c =============================================================================
0.49/0.57 c 0.0s | 0 | 0 | 0 | 2645 0 | 14 | 18
0.49/0.59 c 0.0s | 1 | 733 | 100 | 2910 0 | 14 | 41
0.59/0.61 c 0.0s | 2 | 1591 | 250 | 3202 0 | 14 | 41
0.59/0.65 c 0.1s | 3 | 2510 | 475 | 3523 0 | 14 | 41
0.69/0.70 c 0.1s | 4 | 3545 | 813 | 3876 0 | 14 | 41
0.69/0.78 c 0.2s | 5 | 5210 | 1320 | 4264 0 | 14 | 41
0.89/0.91 c 0.3s | 6 | 7027 | 2081 | 4691 0 | 14 | 41
1.10/1.20 c 0.6s | 7 | 9383 | 3223 | 5161 0 | 14 | 41
1.69/1.75 c 1.2s | 8 | 13123 | 4936 | 5678 0 | 14 | 41
2.38/2.41 c 1.8s | 9 | 18079 | 7506 | 6246 1 | 14 | 41
3.39/3.45 c 2.9s | 10 | 25240 | 11361 | 6871 2 | 14 | 41
4.89/5.00 c 4.4s | 11 | 35511 | 17144 | 7559 3 | 14 | 41
6.99/7.01 c 6.4s | 11 | 47634 | 24144 | 7559 5 | 14 | 41
7.49/7.53 c 7.0s | 12 | 50461 | 25819 | 8315 5 | 14 | 41
9.49/9.54 c 9.0s | 12 | 61871 | 32219 | 8315 7 | 14 | 41
11.49/11.55 c 11.0s | 12 | 72995 | 38719 | 9147 8 | 14 | 41
11.59/11.60 c 11.0s | 13 | 73158 | 38832 | 9147 8 | 14 | 41
13.59/13.63 c 13.1s | 13 | 85038 | 45032 | 9147 9 | 14 | 41
15.59/15.67 c 15.1s | 13 | 94068 | 50432 | 9147 10 | 14 | 41
17.59/17.70 c 17.1s | 13 | 102741 | 55632 | 9147 11 | 14 | 41
18.79/18.85 c 18.3s | 14 | 107039 | 58352 | 10062 12 | 14 | 41
20.78/20.88 c 20.3s | 14 | 120425 | 65352 | 10062 13 | 14 | 41
22.88/22.90 c 22.3s | 14 | 131338 | 71452 | 10062 14 | 14 | 41
24.89/24.93 c 24.4s | 14 | 141991 | 77352 | 10062 15 | 14 | 41
26.89/26.95 c 26.4s | 14 | 151674 | 82852 | 10062 16 | 14 | 41
28.69/28.71 c 28.1s | 15 | 160260 | 87632 | 11069 17 | 14 | 41
30.68/30.72 c 30.2s | 15 | 171453 | 93632 | 11069 18 | 14 | 41
32.68/32.75 c 32.2s | 15 | 181505 | 99132 | 11069 19 | 14 | 41
34.68/34.78 c 34.2s | 15 | 191616 | 104532 | 11069 20 | 14 | 41
36.78/36.80 c 36.2s | 15 | 202753 | 110332 | 11069 21 | 14 | 41
38.78/38.82 c 38.3s | 15 | 213264 | 116132 | 11069 22 | 14 | 41
40.79/40.83 c 40.3s | 15 | 223700 | 121532 | 11069 23 | 14 | 41
42.78/42.84 c 42.3s | 15 | 232452 | 126532 | 11069 24 | 14 | 41
44.68/44.77 c 44.2s | 16 | 241590 | 131552 | 12176 25 | 14 | 41
46.78/46.80 c 46.2s | 16 | 252546 | 137052 | 12176 25 | 14 | 41
48.78/48.83 c 48.3s | 16 | 264748 | 143152 | 12176 26 | 14 | 41
50.78/50.85 c 50.3s | 16 | 274843 | 148652 | 12176 27 | 14 | 41
52.79/52.87 c 52.3s | 16 | 283644 | 153952 | 12176 28 | 14 | 41
54.78/54.88 c 54.3s | 16 | 296058 | 159852 | 12176 29 | 14 | 41
56.88/56.90 c 56.3s | 16 | 308795 | 166152 | 12176 30 | 14 | 41
58.88/58.93 c 58.4s | 16 | 322109 | 172052 | 12176 31 | 14 | 41
60.98/61.02 c 60.5s | 16 | 331422 | 176452 | 12176 32 | 14 | 41
62.98/63.04 c 62.5s | 16 | 342958 | 181952 | 12176 32 | 14 | 41
64.98/65.05 c 64.5s | 16 | 353818 | 187652 | 12176 33 | 14 | 41
66.98/67.06 c 66.5s | 16 | 364354 | 193152 | 12176 34 | 14 | 41
68.68/68.73 c 68.2s | 17 | 372595 | 197432 | 13394 35 | 14 | 41
70.68/70.76 c 70.2s | 17 | 384448 | 203432 | 13394 36 | 14 | 41
72.68/72.77 c 72.2s | 17 | 396409 | 209532 | 13394 37 | 14 | 41
74.67/74.79 c 74.2s | 17 | 407311 | 215032 | 13394 37 | 14 | 41
76.77/76.81 c 76.2s | 17 | 416955 | 220332 | 13394 38 | 14 | 41
78.78/78.82 c 78.3s | 17 | 424591 | 224632 | 13394 39 | 14 | 41
80.78/80.83 c 80.3s | 17 | 436651 | 230532 | 13394 40 | 14 | 41
82.78/82.84 c 82.3s | 17 | 447613 | 236332 | 13394 40 | 14 | 41
84.79/84.86 c 84.3s | 17 | 456229 | 241232 | 13394 41 | 14 | 41
86.78/86.87 c 86.3s | 17 | 465083 | 246432 | 13394 42 | 14 | 41
88.78/88.89 c 88.3s | 17 | 476031 | 251932 | 13394 43 | 14 | 41
90.88/90.91 c 90.3s | 17 | 482723 | 255732 | 13394 43 | 14 | 41
92.88/92.91 c 92.3s | 17 | 492694 | 260832 | 13394 44 | 14 | 41
94.88/94.93 c 94.4s | 17 | 502207 | 265732 | 13394 45 | 14 | 41
96.88/96.93 c 96.4s | 17 | 512996 | 271132 | 13394 45 | 14 | 41
98.87/98.95 c 98.4s | 17 | 521984 | 275932 | 13394 46 | 14 | 41
100.97/101.02 c 100s | 17 | 532315 | 281132 | 13394 47 | 14 | 41
102.97/103.03 c 102s | 17 | 541167 | 286132 | 13394 47 | 14 | 41
104.97/105.04 c 104s | 17 | 548531 | 289932 | 13394 48 | 14 | 41
106.97/107.09 c 106s | 17 | 557806 | 294832 | 14734 49 | 14 | 41
107.57/107.61 c 107s | 18 | 560278 | 296252 | 14734 49 | 14 | 41
109.57/109.64 c 109s | 18 | 570185 | 301552 | 14734 49 | 14 | 41
111.57/111.64 c 111s | 18 | 579480 | 306652 | 14734 50 | 14 | 41
113.57/113.65 c 113s | 18 | 587456 | 311052 | 14734 51 | 14 | 41
115.58/115.66 c 115s | 18 | 596120 | 315652 | 14734 51 | 14 | 41
117.57/117.68 c 117s | 18 | 605767 | 320652 | 14734 52 | 14 | 41
119.57/119.69 c 119s | 18 | 613528 | 324852 | 14734 53 | 14 | 41
121.67/121.70 c 121s | 18 | 622602 | 329652 | 14734 53 | 14 | 41
123.77/123.87 c 123s | 18 | 628372 | 332852 | 14734 54 | 14 | 41
125.87/125.91 c 125s | 18 | 639093 | 338852 | 14734 54 | 14 | 41
127.87/127.94 c 127s | 18 | 646802 | 343252 | 14734 55 | 14 | 41
129.97/130.02 c 129s | 18 | 654949 | 347752 | 14734 56 | 14 | 41
131.98/132.04 c 131s | 18 | 661957 | 351652 | 14734 56 | 14 | 41
133.97/134.04 c 133s | 18 | 669309 | 355652 | 14734 57 | 14 | 41
135.97/136.07 c 135s | 18 | 674906 | 358552 | 14734 57 | 14 | 41
138.07/138.11 c 137s | 18 | 683947 | 363152 | 14734 58 | 14 | 41
140.07/140.12 c 139s | 18 | 693460 | 367752 | 14734 58 | 14 | 41
142.07/142.12 c 141s | 18 | 701701 | 372352 | 14734 59 | 14 | 41
144.08/144.13 c 143s | 18 | 710332 | 376752 | 14734 59 | 14 | 41
146.07/146.15 c 145s | 18 | 716380 | 380052 | 14734 60 | 14 | 41
148.07/148.18 c 147s | 18 | 723695 | 384152 | 14734 60 | 14 | 41
150.07/150.19 c 149s | 18 | 730488 | 388052 | 14734 61 | 14 | 41
152.17/152.25 c 151s | 18 | 741572 | 393852 | 14734 62 | 14 | 41
154.17/154.26 c 153s | 18 | 753956 | 400452 | 14734 62 | 14 | 41
156.17/156.26 c 155s | 18 | 764026 | 405352 | 14734 63 | 14 | 41
158.16/158.29 c 157s | 18 | 772742 | 410252 | 14734 64 | 14 | 41
160.17/160.29 c 159s | 18 | 783776 | 416252 | 14734 64 | 14 | 41
162.27/162.31 c 161s | 18 | 793912 | 421552 | 14734 65 | 14 | 41
164.27/164.32 c 163s | 18 | 802185 | 426052 | 14734 66 | 14 | 41
166.37/166.41 c 165s | 18 | 808073 | 429452 | 14734 66 | 14 | 41
168.37/168.43 c 167s | 18 | 818027 | 434052 | 14734 67 | 14 | 41
170.37/170.45 c 169s | 18 | 830042 | 439652 | 14734 67 | 14 | 41
172.26/172.36 c 171s | 19 | 840054 | 444482 | 16208 68 | 14 | 41
174.26/174.37 c 173s | 19 | 852229 | 450282 | 16208 69 | 14 | 41
176.36/176.40 c 175s | 19 | 862557 | 455682 | 16208 69 | 14 | 41
178.36/178.41 c 177s | 19 | 872426 | 460782 | 16208 70 | 14 | 41
180.37/180.44 c 179s | 19 | 879842 | 464582 | 16208 70 | 14 | 41
182.37/182.46 c 181s | 19 | 887997 | 469082 | 16208 71 | 14 | 41
184.46/184.54 c 183s | 19 | 897953 | 474082 | 16208 72 | 14 | 41
186.46/186.56 c 185s | 19 | 908999 | 479482 | 16208 72 | 14 | 41
188.46/188.59 c 188s | 19 | 918640 | 484082 | 16208 73 | 14 | 41
190.56/190.60 c 190s | 19 | 930523 | 489982 | 16208 73 | 14 | 41
192.56/192.62 c 192s | 19 | 941170 | 495482 | 16208 74 | 14 | 41
194.56/194.64 c 194s | 19 | 950520 | 499982 | 16208 75 | 14 | 41
196.56/196.64 c 196s | 19 | 959722 | 505082 | 16208 75 | 14 | 41
198.56/198.66 c 198s | 19 | 968358 | 509582 | 16208 76 | 14 | 41
200.56/200.69 c 200s | 19 | 977897 | 514382 | 16208 76 | 14 | 41
202.66/202.70 c 202s | 19 | 984918 | 517982 | 16208 77 | 14 | 41
204.66/204.73 c 204s | 19 | 994432 | 523182 | 16208 77 | 14 | 41
206.66/206.75 c 206s | 19 | 1003331 | 527482 | 16208 78 | 14 | 41
208.66/208.79 c 208s | 19 | 1011602 | 532082 | 16208 78 | 14 | 41
210.76/210.80 c 210s | 19 | 1020206 | 536482 | 16208 79 | 14 | 41
212.75/212.88 c 212s | 19 | 1028732 | 541382 | 16208 80 | 14 | 41
214.76/214.89 c 214s | 19 | 1038136 | 546682 | 16208 80 | 14 | 41
216.86/216.91 c 216s | 19 | 1046632 | 551082 | 16208 81 | 14 | 41
218.87/218.93 c 218s | 19 | 1056757 | 556582 | 16208 81 | 14 | 41
220.86/220.93 c 220s | 19 | 1065632 | 561482 | 16208 82 | 14 | 41
223.06/223.10 c 222s | 19 | 1075347 | 566582 | 16208 83 | 14 | 41
225.06/225.10 c 224s | 19 | 1085187 | 571582 | 16208 83 | 14 | 41
227.06/227.14 c 226s | 19 | 1094765 | 576582 | 16208 84 | 14 | 41
229.06/229.14 c 228s | 19 | 1103732 | 581082 | 16208 84 | 14 | 41
231.06/231.15 c 230s | 19 | 1112712 | 585782 | 16208 85 | 14 | 41
233.06/233.15 c 232s | 19 | 1121336 | 590382 | 16208 85 | 14 | 41
235.05/235.17 c 234s | 19 | 1127096 | 593182 | 16208 86 | 14 | 41
237.05/237.19 c 236s | 19 | 1136500 | 598082 | 16208 86 | 14 | 41
239.16/239.20 c 238s | 19 | 1142990 | 601882 | 16208 87 | 14 | 41
241.15/241.21 c 240s | 19 | 1151347 | 606482 | 16208 87 | 14 | 41
243.16/243.23 c 242s | 19 | 1159527 | 611082 | 16208 88 | 14 | 41
245.15/245.24 c 244s | 19 | 1168776 | 615982 | 16208 88 | 14 | 41
247.15/247.25 c 246s | 19 | 1175101 | 619282 | 16208 89 | 14 | 41
249.15/249.25 c 248s | 19 | 1187207 | 625582 | 16208 90 | 14 | 41
251.15/251.26 c 250s | 19 | 1196300 | 630682 | 16208 90 | 14 | 41
253.15/253.26 c 252s | 19 | 1203526 | 634682 | 16208 91 | 14 | 41
255.15/255.28 c 254s | 19 | 1211521 | 639082 | 16208 91 | 14 | 41
257.15/257.29 c 256s | 19 | 1220064 | 643382 | 16208 92 | 14 | 41
259.25/259.32 c 258s | 19 | 1229705 | 648382 | 16208 92 | 14 | 41
261.25/261.37 c 260s | 19 | 1236648 | 652182 | 16208 93 | 14 | 41
263.25/263.38 c 262s | 19 | 1245365 | 656582 | 16208 93 | 14 | 41
265.25/265.39 c 264s | 19 | 1252935 | 659982 | 16208 94 | 14 | 41
267.35/267.41 c 266s | 19 | 1263023 | 664782 | 17829 94 | 14 | 41
268.25/268.30 c 267s | 20 | 1267392 | 666827 | 17829 94 | 14 | 41
270.25/270.32 c 269s | 20 | 1275615 | 670627 | 17829 95 | 14 | 41
272.25/272.32 c 271s | 20 | 1284950 | 675227 | 17829 95 | 14 | 41
274.25/274.34 c 273s | 20 | 1292763 | 679327 | 17829 96 | 14 | 41
276.25/276.34 c 275s | 20 | 1300474 | 683427 | 17829 96 | 14 | 41
278.35/278.46 c 277s | 20 | 1308039 | 687427 | 17829 97 | 14 | 41
280.45/280.57 c 279s | 20 | 1316183 | 692027 | 17829 97 | 14 | 41
282.54/282.65 c 282s | 20 | 1325700 | 696627 | 17829 98 | 14 | 41
284.54/284.66 c 284s | 20 | 1330832 | 699627 | 17829 98 | 14 | 41
286.64/286.71 c 286s | 20 | 1340089 | 704727 | 17829 98 | 14 | 41
288.64/288.74 c 288s | 20 | 1346771 | 708427 | 17829 99 | 14 | 41
290.64/290.75 c 290s | 20 | 1353944 | 712727 | 17829 99 | 14 | 41
292.74/292.82 c 292s | 20 | 1361130 | 716727 | 17829 100 | 14 | 41
294.74/294.84 c 294s | 20 | 1367855 | 720627 | 17829 100 | 14 | 41
296.84/296.96 c 296s | 20 | 1374257 | 724327 | 17829 101 | 14 | 41
298.84/298.97 c 298s | 20 | 1382440 | 729027 | 17829 101 | 14 | 41
300.93/301.00 c 300s | 20 | 1389098 | 732927 | 17829 101 | 14 | 41
302.93/303.04 c 302s | 20 | 1395029 | 736327 | 17829 102 | 14 | 41
305.03/305.12 c 304s | 20 | 1399987 | 739327 | 17829 102 | 14 | 41
307.03/307.13 c 306s | 20 | 1410711 | 744927 | 17829 103 | 14 | 41
309.04/309.16 c 308s | 20 | 1417989 | 749127 | 17829 103 | 14 | 41
311.03/311.17 c 310s | 20 | 1426249 | 753627 | 17829 104 | 14 | 41
313.03/313.19 c 312s | 20 | 1431111 | 756627 | 17829 104 | 14 | 41
315.13/315.25 c 314s | 20 | 1439077 | 761127 | 17829 105 | 14 | 41
317.13/317.27 c 316s | 20 | 1447085 | 764927 | 17829 105 | 14 | 41
319.23/319.30 c 318s | 20 | 1455735 | 769627 | 17829 105 | 14 | 41
321.24/321.31 c 320s | 20 | 1463068 | 773727 | 17829 106 | 14 | 41
323.23/323.33 c 322s | 20 | 1470202 | 777927 | 17829 106 | 14 | 41
325.22/325.36 c 324s | 20 | 1477478 | 782227 | 17829 107 | 14 | 41
327.23/327.36 c 326s | 20 | 1485907 | 787027 | 17829 107 | 14 | 41
329.22/329.38 c 328s | 20 | 1492126 | 790427 | 17829 108 | 14 | 41
329.72/329.81 c 329s | 20 | 1494366 | 791528 | 17829 108 | 14 | 41
329.72/329.81 c #cpu_time = 329.219s
329.72/329.81 c #wall_clock_time = 329.245s
329.72/329.81 c #decision = 1494366
329.72/329.81 c #random_decision = 3155
329.72/329.81 c #conflict = 791528
329.72/329.81 c #restart = 20
329.72/329.81 c BCD2: relaxing 474 and merging with 13 cores into a new core of size 679: cost of the new core is >=19
329.72/329.81 c lower bound updated to 19
329.72/329.82 c BCD2: 19 <= obj <= 50
329.72/329.82 c BCD2: #cores=1, #unrelaxed=57, #relaxed=679, #hardened=0
329.72/329.82 c BCD2: #sat=2 #unsat=20 bias=20/22
329.72/329.82 c Solving starts ...
329.72/329.82 c ============================[ Search Statistics ]============================
329.72/329.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
329.72/329.82 c | | | | Limit GC | Var | Constra
329.72/329.82 c =============================================================================
329.72/329.82 c 0.0s | 0 | 0 | 0 | 17829 0 | 43 | 41
329.93/330.09 c 0.3s | 1 | 760 | 100 | 17829 0 | 43 | 86
330.22/330.36 c 0.5s | 2 | 1451 | 250 | 17829 0 | 43 | 86
330.32/330.45 c 0.6s | 3 | 2342 | 475 | 17829 0 | 43 | 86
330.52/330.61 c 0.8s | 4 | 3689 | 813 | 17829 0 | 43 | 86
330.72/330.83 c 1.0s | 5 | 5478 | 1320 | 17829 0 | 43 | 86
331.03/331.17 c 1.3s | 6 | 7548 | 2081 | 17829 0 | 43 | 86
331.63/331.72 c 1.9s | 7 | 10656 | 3223 | 17829 0 | 43 | 86
332.53/332.62 c 2.8s | 8 | 15506 | 4936 | 17829 0 | 43 | 86
334.23/334.37 c 4.6s | 9 | 23344 | 7506 | 17829 0 | 43 | 86
336.32/336.42 c 6.6s | 9 | 33509 | 11006 | 17829 0 | 43 | 86
336.53/336.66 c 6.8s | 10 | 34490 | 11361 | 17829 0 | 43 | 86
338.52/338.69 c 8.9s | 10 | 42408 | 14061 | 17829 0 | 43 | 86
340.62/340.77 c 11.0s | 10 | 49949 | 16661 | 17829 0 | 43 | 86
341.02/341.14 c 11.3s | 11 | 51699 | 17144 | 17829 0 | 43 | 86
343.02/343.14 c 13.3s | 11 | 60191 | 20044 | 17829 1 | 43 | 86
345.02/345.19 c 15.4s | 11 | 70202 | 23644 | 17829 1 | 43 | 86
346.43/346.53 c 16.7s | 12 | 77183 | 25819 | 17829 1 | 43 | 86
348.42/348.56 c 18.7s | 12 | 86699 | 29219 | 17829 2 | 43 | 86
350.52/350.63 c 20.8s | 12 | 97432 | 32719 | 17829 2 | 43 | 86
352.52/352.66 c 22.8s | 12 | 107936 | 36319 | 17829 3 | 43 | 86
353.72/353.88 c 24.1s | 13 | 115275 | 38832 | 17829 3 | 43 | 86
355.82/355.90 c 26.1s | 13 | 125756 | 42532 | 17829 3 | 43 | 86
357.81/357.91 c 28.1s | 13 | 135517 | 46032 | 17829 4 | 43 | 86
359.81/359.92 c 30.1s | 13 | 146526 | 49932 | 17829 4 | 43 | 86
361.91/362.04 c 32.2s | 13 | 158783 | 54032 | 17829 5 | 43 | 86
363.91/364.05 c 34.2s | 13 | 169350 | 58032 | 17829 5 | 43 | 86
364.02/364.19 c 34.4s | 14 | 170119 | 58352 | 17829 5 | 43 | 86
366.11/366.23 c 36.4s | 14 | 178978 | 61752 | 17829 5 | 43 | 86
368.11/368.24 c 38.4s | 14 | 189238 | 65352 | 17829 6 | 43 | 86
370.11/370.27 c 40.5s | 14 | 200600 | 69452 | 17829 6 | 43 | 86
372.21/372.30 c 42.5s | 14 | 210195 | 73052 | 17829 7 | 43 | 86
374.21/374.33 c 44.5s | 14 | 221000 | 76852 | 17829 7 | 43 | 86
376.21/376.33 c 46.5s | 14 | 232597 | 80652 | 17829 7 | 43 | 86
378.20/378.37 c 48.6s | 14 | 242387 | 84252 | 17829 8 | 43 | 86
380.00/380.10 c 50.3s | 15 | 252100 | 87632 | 17829 8 | 43 | 86
382.00/382.14 c 52.3s | 15 | 260140 | 90532 | 17829 9 | 43 | 86
384.01/384.18 c 54.4s | 15 | 271877 | 94332 | 17829 9 | 43 | 86
386.01/386.18 c 56.4s | 15 | 282418 | 98432 | 17829 9 | 43 | 86
388.10/388.20 c 58.4s | 15 | 292920 | 102032 | 17829 10 | 43 | 86
390.10/390.21 c 60.4s | 15 | 304339 | 106032 | 17829 10 | 43 | 86
392.10/392.24 c 62.4s | 15 | 315153 | 109632 | 17829 11 | 43 | 86
394.10/394.28 c 64.5s | 15 | 327012 | 113632 | 17829 11 | 43 | 86
396.10/396.29 c 66.5s | 15 | 337203 | 117232 | 17829 12 | 43 | 86
398.21/398.31 c 68.5s | 15 | 347654 | 120932 | 17829 12 | 43 | 86
400.20/400.31 c 70.5s | 15 | 357950 | 124832 | 17829 12 | 43 | 86
402.20/402.34 c 72.5s | 15 | 366305 | 127932 | 17829 13 | 43 | 86
404.20/404.35 c 74.5s | 15 | 377243 | 131532 | 17829 13 | 43 | 86
404.20/404.36 c 74.5s | 16 | 377335 | 131552 | 17829 13 | 43 | 86
406.20/406.39 c 76.6s | 16 | 383109 | 133952 | 17829 13 | 43 | 86
408.29/408.44 c 78.6s | 16 | 393674 | 137452 | 17829 14 | 43 | 86
410.49/410.70 c 80.9s | 16 | 404742 | 141652 | 17829 14 | 43 | 86
412.59/412.71 c 82.9s | 16 | 415614 | 145152 | 17829 15 | 43 | 86
414.59/414.71 c 84.9s | 16 | 425555 | 148852 | 17829 15 | 43 | 86
416.59/416.73 c 86.9s | 16 | 436012 | 152652 | 17829 15 | 43 | 86
418.59/418.77 c 89.0s | 16 | 447737 | 156652 | 17829 16 | 43 | 86
420.69/420.80 c 91.0s | 16 | 457966 | 160452 | 17829 16 | 43 | 86
422.69/422.84 c 93.0s | 16 | 468686 | 164352 | 17829 17 | 43 | 86
424.69/424.84 c 95.0s | 16 | 477810 | 168652 | 17829 17 | 43 | 86
426.69/426.89 c 97.1s | 16 | 486647 | 172552 | 17829 18 | 43 | 86
428.78/428.90 c 99.1s | 16 | 496480 | 176852 | 17829 18 | 43 | 86
430.78/430.92 c 101s | 16 | 506019 | 180952 | 17829 19 | 43 | 86
432.78/432.95 c 103s | 16 | 515289 | 184752 | 17829 19 | 43 | 86
434.78/434.95 c 105s | 16 | 524720 | 188652 | 17829 19 | 43 | 86
436.78/436.97 c 107s | 16 | 534597 | 192452 | 17829 20 | 43 | 86
438.79/439.00 c 109s | 16 | 545995 | 196352 | 17829 20 | 43 | 86
439.38/439.56 c 109s | 17 | 549146 | 197432 | 17829 20 | 43 | 86
441.47/441.60 c 111s | 17 | 557454 | 200832 | 17829 21 | 43 | 86
443.47/443.63 c 113s | 17 | 568008 | 204732 | 19612 21 | 43 | 86
445.48/445.65 c 115s | 17 | 578636 | 208432 | 19612 21 | 43 | 86
447.47/447.66 c 117s | 17 | 589179 | 212132 | 19612 22 | 43 | 86
449.47/449.66 c 119s | 17 | 598730 | 215732 | 19612 22 | 43 | 86
451.57/451.70 c 121s | 17 | 610086 | 219432 | 19612 23 | 43 | 86
453.57/453.73 c 123s | 17 | 620669 | 223432 | 19612 23 | 43 | 86
455.56/455.76 c 125s | 17 | 631277 | 227332 | 19612 23 | 43 | 86
457.66/457.80 c 127s | 17 | 640844 | 230732 | 19612 24 | 43 | 86
459.67/459.84 c 130s | 17 | 649528 | 234432 | 19612 24 | 43 | 86
461.76/461.97 c 132s | 17 | 659462 | 238432 | 19612 25 | 43 | 86
463.86/464.00 c 134s | 17 | 669200 | 242632 | 19612 25 | 43 | 86
465.86/466.03 c 136s | 17 | 679366 | 246732 | 19612 25 | 43 | 86
467.86/468.05 c 138s | 17 | 687867 | 250432 | 19612 26 | 43 | 86
469.86/470.08 c 140s | 17 | 698275 | 254332 | 19612 26 | 43 | 86
472.05/472.22 c 142s | 17 | 708091 | 258132 | 19612 27 | 43 | 86
474.06/474.23 c 144s | 17 | 715661 | 260632 | 19612 27 | 43 | 86
476.06/476.24 c 146s | 17 | 726617 | 264532 | 19612 27 | 43 | 86
478.16/478.37 c 148s | 17 | 736450 | 268032 | 19612 28 | 43 | 86
480.16/480.39 c 150s | 17 | 747217 | 271832 | 19612 28 | 43 | 86
482.25/482.41 c 152s | 17 | 758151 | 275732 | 19612 28 | 43 | 86
484.25/484.41 c 154s | 17 | 767979 | 279332 | 19612 29 | 43 | 86
486.25/486.47 c 156s | 17 | 778233 | 282632 | 19612 29 | 43 | 86
488.36/488.51 c 158s | 17 | 788161 | 286432 | 19612 29 | 43 | 86
490.35/490.55 c 160s | 17 | 798068 | 290032 | 19612 30 | 43 | 86
492.35/492.56 c 162s | 17 | 807984 | 294032 | 19612 30 | 43 | 86
493.65/493.84 c 164s | 18 | 813786 | 296252 | 19612 30 | 43 | 86
495.65/495.84 c 166s | 18 | 822805 | 299352 | 19612 31 | 43 | 86
497.65/497.88 c 168s | 18 | 831533 | 302852 | 19612 31 | 43 | 86
500.35/500.52 c 170s | 18 | 841380 | 306352 | 19612 31 | 43 | 86
502.34/502.56 c 172s | 18 | 851117 | 309452 | 19612 32 | 43 | 86
504.34/504.57 c 174s | 18 | 861606 | 313052 | 19612 32 | 43 | 86
506.34/506.58 c 176s | 18 | 872861 | 316752 | 19612 32 | 43 | 86
508.44/508.61 c 178s | 18 | 882556 | 320052 | 19612 33 | 43 | 86
510.44/510.67 c 180s | 18 | 894174 | 323852 | 19612 33 | 43 | 86
512.54/512.77 c 182s | 18 | 904574 | 327352 | 19612 34 | 43 | 86
514.64/514.81 c 184s | 18 | 914855 | 331052 | 19612 34 | 43 | 86
516.64/516.82 c 187s | 18 | 925292 | 334552 | 19612 34 | 43 | 86
518.63/518.85 c 189s | 18 | 935320 | 337952 | 19612 35 | 43 | 86
520.63/520.87 c 191s | 18 | 946959 | 341752 | 19612 35 | 43 | 86
522.63/522.87 c 193s | 18 | 956441 | 345152 | 19612 35 | 43 | 86
524.64/524.88 c 195s | 18 | 966616 | 348352 | 19612 36 | 43 | 86
526.74/526.92 c 197s | 18 | 976570 | 351652 | 19612 36 | 43 | 86
528.73/528.96 c 199s | 18 | 986148 | 355252 | 19612 36 | 43 | 86
530.83/531.03 c 201s | 18 | 995379 | 358652 | 19612 37 | 43 | 86
532.83/533.08 c 203s | 18 | 1006505 | 362152 | 19612 37 | 43 | 86
534.93/535.11 c 205s | 18 | 1016843 | 365652 | 19612 37 | 43 | 86
536.93/537.12 c 207s | 18 | 1028212 | 369052 | 19612 38 | 43 | 86
539.32/539.55 c 209s | 18 | 1036090 | 371652 | 19612 38 | 43 | 86
541.33/541.59 c 211s | 18 | 1040685 | 373452 | 19612 38 | 43 | 86
543.33/543.59 c 213s | 18 | 1050670 | 376852 | 19612 39 | 43 | 86
545.43/545.65 c 215s | 18 | 1060571 | 380452 | 19612 39 | 43 | 86
547.53/547.71 c 217s | 18 | 1071543 | 384552 | 19612 39 | 43 | 86
549.52/549.72 c 219s | 18 | 1081890 | 387952 | 19612 40 | 43 | 86
551.52/551.73 c 221s | 18 | 1093361 | 391752 | 19612 40 | 43 | 86
553.52/553.76 c 223s | 18 | 1102105 | 395252 | 19612 40 | 43 | 86
555.52/555.78 c 225s | 18 | 1109788 | 398152 | 19612 41 | 43 | 86
557.72/557.90 c 228s | 18 | 1116959 | 401152 | 19612 41 | 43 | 86
559.72/559.91 c 230s | 18 | 1126994 | 404752 | 19612 41 | 43 | 86
561.72/561.94 c 232s | 18 | 1137183 | 408452 | 19612 42 | 43 | 86
563.72/563.96 c 234s | 18 | 1149271 | 412552 | 19612 42 | 43 | 86
565.82/566.05 c 236s | 18 | 1159105 | 416352 | 19612 43 | 43 | 86
567.81/568.08 c 238s | 18 | 1168095 | 419852 | 19612 43 | 43 | 86
569.92/570.12 c 240s | 18 | 1177042 | 423552 | 19612 43 | 43 | 86
571.92/572.16 c 242s | 18 | 1186967 | 426752 | 19612 44 | 43 | 86
573.91/574.19 c 244s | 18 | 1197212 | 430252 | 19612 44 | 43 | 86
576.01/576.24 c 246s | 18 | 1207448 | 434152 | 19612 44 | 43 | 86
578.01/578.26 c 248s | 18 | 1218012 | 437652 | 19612 45 | 43 | 86
580.11/580.30 c 250s | 18 | 1229021 | 441452 | 19612 45 | 43 | 86
581.61/581.86 c 252s | 19 | 1238907 | 444482 | 19612 45 | 43 | 86
583.71/583.90 c 254s | 19 | 1247564 | 447782 | 19612 46 | 43 | 86
585.71/585.94 c 256s | 19 | 1257830 | 451682 | 19612 46 | 43 | 86
587.71/587.99 c 258s | 19 | 1268849 | 455582 | 19612 46 | 43 | 86
589.81/590.00 c 260s | 19 | 1277369 | 459182 | 19612 47 | 43 | 86
591.81/592.01 c 262s | 19 | 1286525 | 462482 | 19612 47 | 43 | 86
593.81/594.06 c 264s | 19 | 1297451 | 466282 | 19612 48 | 43 | 86
595.81/596.08 c 266s | 19 | 1307465 | 470282 | 19612 48 | 43 | 86
597.90/598.10 c 268s | 19 | 1315834 | 473482 | 19612 48 | 43 | 86
599.90/600.12 c 270s | 19 | 1323311 | 476282 | 19612 49 | 43 | 86
601.90/602.16 c 272s | 19 | 1332086 | 479482 | 19612 49 | 43 | 86
604.00/604.20 c 274s | 19 | 1341903 | 482982 | 19612 49 | 43 | 86
606.00/606.24 c 276s | 19 | 1350417 | 486282 | 19612 50 | 43 | 86
608.10/608.31 c 278s | 19 | 1358670 | 489682 | 19612 50 | 43 | 86
610.09/610.34 c 280s | 19 | 1368060 | 493082 | 19612 50 | 43 | 86
612.09/612.38 c 282s | 19 | 1376718 | 496182 | 19612 51 | 43 | 86
614.19/614.42 c 284s | 19 | 1387157 | 499782 | 19612 51 | 43 | 86
616.19/616.49 c 286s | 19 | 1397051 | 503282 | 19612 51 | 43 | 86
618.29/618.54 c 288s | 19 | 1406114 | 506682 | 19612 52 | 43 | 86
620.29/620.56 c 290s | 19 | 1416020 | 510182 | 19612 52 | 43 | 86
622.39/622.61 c 292s | 19 | 1425566 | 513682 | 19612 52 | 43 | 86
624.38/624.63 c 294s | 19 | 1434700 | 517082 | 19612 53 | 43 | 86
626.38/626.64 c 296s | 19 | 1443874 | 520682 | 19612 53 | 43 | 86
628.38/628.66 c 298s | 19 | 1453655 | 524182 | 19612 53 | 43 | 86
630.39/630.66 c 300s | 19 | 1459321 | 526182 | 19612 54 | 43 | 86
632.39/632.68 c 302s | 19 | 1465151 | 528282 | 19612 54 | 43 | 86
634.59/634.88 c 305s | 19 | 1474591 | 531882 | 19612 54 | 43 | 86
636.58/636.88 c 307s | 19 | 1483742 | 535182 | 19612 55 | 43 | 86
638.68/638.92 c 309s | 19 | 1494535 | 539182 | 19612 55 | 43 | 86
640.68/640.94 c 311s | 19 | 1504601 | 542982 | 19612 55 | 43 | 86
642.68/642.98 c 313s | 19 | 1514572 | 546582 | 19612 56 | 43 | 86
644.68/644.99 c 315s | 19 | 1524875 | 550282 | 19612 56 | 43 | 86
646.78/647.00 c 317s | 19 | 1533385 | 553882 | 19612 56 | 43 | 86
648.79/649.02 c 319s | 19 | 1542997 | 557282 | 19612 57 | 43 | 86
650.78/651.05 c 321s | 19 | 1551168 | 561082 | 19612 57 | 43 | 86
652.88/653.15 c 323s | 19 | 1559382 | 564682 | 19612 58 | 43 | 86
654.88/655.15 c 325s | 19 | 1568573 | 568182 | 19612 58 | 43 | 86
657.17/657.44 c 327s | 19 | 1577896 | 571582 | 19612 58 | 43 | 86
659.17/659.44 c 329s | 19 | 1584705 | 574182 | 19612 58 | 43 | 86
661.17/661.46 c 331s | 19 | 1594414 | 577582 | 19612 59 | 43 | 86
663.27/663.50 c 333s | 19 | 1605264 | 581782 | 19612 59 | 43 | 86
665.28/665.51 c 335s | 19 | 1613882 | 585282 | 19612 60 | 43 | 86
667.27/667.51 c 337s | 19 | 1624981 | 589282 | 19612 60 | 43 | 86
669.27/669.59 c 339s | 19 | 1632835 | 592482 | 19612 60 | 43 | 86
671.37/671.60 c 341s | 19 | 1641475 | 595782 | 19612 61 | 43 | 86
673.37/673.65 c 343s | 19 | 1650377 | 599382 | 19612 61 | 43 | 86
675.37/675.69 c 345s | 19 | 1659784 | 602782 | 19612 61 | 43 | 86
677.38/677.70 c 347s | 19 | 1667572 | 605782 | 19612 62 | 43 | 86
679.46/679.72 c 349s | 19 | 1677924 | 609582 | 19612 62 | 43 | 86
681.46/681.72 c 351s | 19 | 1688240 | 613382 | 19612 62 | 43 | 86
683.46/683.77 c 353s | 19 | 1697595 | 617182 | 19612 63 | 43 | 86
685.57/685.80 c 355s | 19 | 1706805 | 620482 | 19612 63 | 43 | 86
687.57/687.88 c 358s | 19 | 1716637 | 623982 | 19612 64 | 43 | 86
689.58/689.90 c 360s | 19 | 1726751 | 627782 | 19612 64 | 43 | 86
691.68/691.94 c 362s | 19 | 1736804 | 631382 | 19612 64 | 43 | 86
693.67/693.94 c 364s | 19 | 1746459 | 634682 | 19612 65 | 43 | 86
695.66/695.98 c 366s | 19 | 1756372 | 638282 | 19612 65 | 43 | 86
697.67/697.98 c 368s | 19 | 1762926 | 640982 | 19612 65 | 43 | 86
699.86/700.11 c 370s | 19 | 1770191 | 643782 | 19612 66 | 43 | 86
701.86/702.11 c 372s | 19 | 1780109 | 647682 | 19612 66 | 43 | 86
703.87/704.13 c 374s | 19 | 1789596 | 651482 | 19612 66 | 43 | 86
705.86/706.16 c 376s | 19 | 1799544 | 655182 | 19612 67 | 43 | 86
707.96/708.27 c 378s | 19 | 1809929 | 658682 | 19612 67 | 43 | 86
710.06/710.33 c 380s | 19 | 1819649 | 662182 | 19612 67 | 43 | 86
712.06/712.33 c 382s | 19 | 1828650 | 665382 | 19612 68 | 43 | 86
712.86/713.18 c 383s | 20 | 1832414 | 666827 | 19612 68 | 43 | 86
714.96/715.21 c 385s | 20 | 1842071 | 670427 | 19612 68 | 43 | 86
716.96/717.24 c 387s | 20 | 1849296 | 673227 | 19612 68 | 43 | 86
718.95/719.26 c 389s | 20 | 1859167 | 677027 | 19612 69 | 43 | 86
721.04/721.31 c 391s | 20 | 1868009 | 680327 | 19612 69 | 43 | 86
723.04/723.31 c 393s | 20 | 1877900 | 683727 | 19612 70 | 43 | 86
725.04/725.35 c 395s | 20 | 1887988 | 686827 | 19612 70 | 43 | 86
727.04/727.39 c 397s | 20 | 1897595 | 690727 | 19612 70 | 43 | 86
729.05/729.39 c 399s | 20 | 1905853 | 694527 | 19612 71 | 43 | 86
731.15/731.44 c 401s | 20 | 1915592 | 698227 | 19612 71 | 43 | 86
733.15/733.45 c 403s | 20 | 1927585 | 701927 | 21574 71 | 43 | 86
735.15/735.47 c 405s | 20 | 1937302 | 705227 | 21574 72 | 43 | 86
737.24/737.51 c 407s | 20 | 1947063 | 708627 | 21574 72 | 43 | 86
739.24/739.56 c 409s | 20 | 1957236 | 712327 | 21574 72 | 43 | 86
741.34/741.62 c 411s | 20 | 1965911 | 715527 | 21574 72 | 43 | 86
743.35/743.66 c 413s | 20 | 1975004 | 718927 | 21574 73 | 43 | 86
745.34/745.68 c 415s | 20 | 1984463 | 722427 | 21574 73 | 43 | 86
747.44/747.72 c 417s | 20 | 1994787 | 726027 | 21574 73 | 43 | 86
749.43/749.79 c 419s | 20 | 2003825 | 729227 | 21574 74 | 43 | 86
751.53/751.81 c 421s | 20 | 2012733 | 732927 | 21574 74 | 43 | 86
753.53/753.85 c 424s | 20 | 2022869 | 736527 | 21574 74 | 43 | 86
755.54/755.86 c 426s | 20 | 2032205 | 739927 | 21574 75 | 43 | 86
757.53/757.87 c 428s | 20 | 2041014 | 743527 | 21574 75 | 43 | 86
759.53/759.87 c 430s | 20 | 2049175 | 746827 | 21574 75 | 43 | 86
761.63/761.90 c 432s | 20 | 2057789 | 750227 | 21574 76 | 43 | 86
763.63/763.93 c 434s | 20 | 2067534 | 753927 | 21574 76 | 43 | 86
765.63/765.97 c 436s | 20 | 2076498 | 757427 | 21574 76 | 43 | 86
767.73/768.00 c 438s | 20 | 2085199 | 760527 | 21574 77 | 43 | 86
769.63/770.00 c 440s | 20 | 2092163 | 763027 | 21574 77 | 43 | 86
771.73/772.05 c 442s | 20 | 2100841 | 766427 | 21574 77 | 43 | 86
773.73/774.06 c 444s | 20 | 2109182 | 769927 | 21574 77 | 43 | 86
775.72/776.06 c 446s | 20 | 2115654 | 772427 | 21574 78 | 43 | 86
777.73/778.07 c 448s | 20 | 2124286 | 775527 | 21574 78 | 43 | 86
779.74/780.09 c 450s | 20 | 2133612 | 779127 | 21574 78 | 43 | 86
781.83/782.12 c 452s | 20 | 2140127 | 781727 | 21574 79 | 43 | 86
783.82/784.15 c 454s | 20 | 2149135 | 785427 | 21574 79 | 43 | 86
785.82/786.17 c 456s | 20 | 2160196 | 789327 | 21574 79 | 43 | 86
787.93/788.20 c 458s | 20 | 2168979 | 793027 | 21574 80 | 43 | 86
789.93/790.23 c 460s | 20 | 2177275 | 795927 | 21574 80 | 43 | 86
791.93/792.27 c 462s | 20 | 2188054 | 800127 | 21574 80 | 43 | 86
793.93/794.27 c 464s | 20 | 2197361 | 803627 | 21574 81 | 43 | 86
796.02/796.31 c 466s | 20 | 2207872 | 807427 | 21574 81 | 43 | 86
798.02/798.32 c 468s | 20 | 2216466 | 810927 | 21574 81 | 43 | 86
800.01/800.36 c 470s | 20 | 2224676 | 814027 | 21574 82 | 43 | 86
802.02/802.36 c 472s | 20 | 2232720 | 817327 | 21574 82 | 43 | 86
804.02/804.36 c 474s | 20 | 2241580 | 820927 | 21574 82 | 43 | 86
806.13/806.41 c 476s | 20 | 2250313 | 824427 | 21574 82 | 43 | 86
808.11/808.42 c 478s | 20 | 2258700 | 827927 | 21574 83 | 43 | 86
810.11/810.43 c 480s | 20 | 2265503 | 831527 | 21574 83 | 43 | 86
812.11/812.46 c 482s | 20 | 2272594 | 835127 | 21574 83 | 43 | 86
814.21/814.50 c 484s | 20 | 2280052 | 838427 | 21574 84 | 43 | 86
816.22/816.53 c 486s | 20 | 2288587 | 842227 | 21574 84 | 43 | 86
818.22/818.60 c 488s | 20 | 2296431 | 845727 | 21574 84 | 43 | 86
820.31/820.70 c 490s | 20 | 2301295 | 848427 | 21574 85 | 43 | 86
822.41/822.74 c 492s | 20 | 2309630 | 851627 | 21574 85 | 43 | 86
824.50/824.80 c 494s | 20 | 2319477 | 855427 | 21574 85 | 43 | 86
826.51/826.84 c 497s | 20 | 2329559 | 858927 | 21574 86 | 43 | 86
828.51/828.88 c 499s | 20 | 2338945 | 862627 | 21574 86 | 43 | 86
830.61/830.94 c 501s | 20 | 2347978 | 866327 | 21574 86 | 43 | 86
832.70/833.08 c 503s | 20 | 2355441 | 869727 | 21574 87 | 43 | 86
834.80/835.10 c 505s | 20 | 2363888 | 873727 | 21574 87 | 43 | 86
836.81/837.11 c 507s | 20 | 2371356 | 876827 | 21574 87 | 43 | 86
838.80/839.13 c 509s | 20 | 2380694 | 880227 | 21574 88 | 43 | 86
840.80/841.18 c 511s | 20 | 2388343 | 883327 | 21574 88 | 43 | 86
842.90/843.22 c 513s | 20 | 2397170 | 886927 | 21574 88 | 43 | 86
844.89/845.27 c 515s | 20 | 2404901 | 890227 | 21574 89 | 43 | 86
847.00/847.30 c 517s | 20 | 2415138 | 894127 | 21574 89 | 43 | 86
849.01/849.33 c 519s | 20 | 2423534 | 897827 | 21574 89 | 43 | 86
851.10/851.42 c 521s | 20 | 2431934 | 900827 | 21574 90 | 43 | 86
853.09/853.44 c 523s | 20 | 2442368 | 904627 | 21574 90 | 43 | 86
855.09/855.46 c 525s | 20 | 2452449 | 908327 | 21574 90 | 43 | 86
857.19/857.52 c 527s | 20 | 2461510 | 911627 | 21574 91 | 43 | 86
859.19/859.53 c 529s | 20 | 2472226 | 915227 | 21574 91 | 43 | 86
861.28/861.61 c 531s | 20 | 2480718 | 918527 | 21574 91 | 43 | 86
863.29/863.65 c 533s | 20 | 2490122 | 922227 | 21574 91 | 43 | 86
865.39/865.76 c 535s | 20 | 2497374 | 925227 | 21574 92 | 43 | 86
867.38/867.76 c 537s | 20 | 2506030 | 928527 | 21574 92 | 43 | 86
869.48/869.80 c 539s | 20 | 2515650 | 932027 | 21574 92 | 43 | 86
871.48/871.84 c 542s | 20 | 2524461 | 935227 | 21574 93 | 43 | 86
873.48/873.85 c 544s | 20 | 2533018 | 938527 | 21574 93 | 43 | 86
875.48/875.89 c 546s | 20 | 2543378 | 942227 | 21574 93 | 43 | 86
877.58/877.94 c 548s | 20 | 2550928 | 945427 | 21574 94 | 43 | 86
879.57/879.96 c 550s | 20 | 2560118 | 948827 | 21574 94 | 43 | 86
881.57/881.98 c 552s | 20 | 2568277 | 952227 | 21574 94 | 43 | 86
883.67/884.03 c 554s | 20 | 2576992 | 955327 | 21574 95 | 43 | 86
885.67/886.08 c 556s | 20 | 2587561 | 959127 | 21574 95 | 43 | 86
887.67/888.09 c 558s | 20 | 2596184 | 962427 | 21574 95 | 43 | 86
889.76/890.18 c 560s | 20 | 2602329 | 965827 | 21574 96 | 43 | 86
892.06/892.40 c 562s | 20 | 2610584 | 969427 | 21574 96 | 43 | 86
894.07/894.44 c 564s | 20 | 2619526 | 973227 | 21574 96 | 43 | 86
896.06/896.48 c 566s | 20 | 2629403 | 976727 | 21574 97 | 43 | 86
898.06/898.49 c 568s | 20 | 2639353 | 980427 | 21574 97 | 43 | 86
900.16/900.52 c 570s | 20 | 2651303 | 984327 | 21574 97 | 43 | 86
902.25/902.62 c 572s | 20 | 2659946 | 987527 | 21574 98 | 43 | 86
904.25/904.63 c 574s | 20 | 2668599 | 990527 | 21574 98 | 43 | 86
906.25/906.67 c 576s | 20 | 2677811 | 993927 | 21574 98 | 43 | 86
908.36/908.73 c 578s | 20 | 2683798 | 996227 | 21574 98 | 43 | 86
910.35/910.77 c 580s | 20 | 2693901 | 999527 | 21574 99 | 43 | 86
910.85/911.25 c 581s | 21 | 2696373 | 1000345 | 21574 99 | 43 | 86
912.85/913.29 c 583s | 21 | 2706670 | 1003845 | 21574 99 | 43 | 86
914.96/915.34 c 585s | 21 | 2716596 | 1007645 | 21574 99 | 43 | 86
916.95/917.37 c 587s | 21 | 2725445 | 1011545 | 21574 100 | 43 | 86
918.95/919.38 c 589s | 21 | 2734453 | 1015245 | 21574 100 | 43 | 86
921.05/921.42 c 591s | 21 | 2743502 | 1018845 | 21574 100 | 43 | 86
923.05/923.43 c 593s | 21 | 2752937 | 1022145 | 21574 101 | 43 | 86
925.05/925.46 c 595s | 21 | 2763663 | 1025745 | 21574 101 | 43 | 86
927.05/927.46 c 597s | 21 | 2773849 | 1029145 | 21574 101 | 43 | 86
929.15/929.52 c 599s | 21 | 2783292 | 1032645 | 21574 102 | 43 | 86
931.14/931.57 c 601s | 21 | 2791539 | 1035745 | 21574 102 | 43 | 86
933.24/933.60 c 603s | 21 | 2799947 | 1038845 | 21574 102 | 43 | 86
935.25/935.62 c 605s | 21 | 2807618 | 1041645 | 21574 102 | 43 | 86
937.25/937.65 c 607s | 21 | 2813727 | 1043945 | 21574 103 | 43 | 86
939.25/939.69 c 609s | 21 | 2823208 | 1047345 | 21574 103 | 43 | 86
941.35/941.71 c 611s | 21 | 2832913 | 1050945 | 21574 103 | 43 | 86
943.35/943.73 c 613s | 21 | 2842202 | 1053945 | 21574 104 | 43 | 86
945.35/945.74 c 615s | 21 | 2851614 | 1057245 | 21574 104 | 43 | 86
947.35/947.79 c 617s | 21 | 2862073 | 1060745 | 21574 104 | 43 | 86
949.44/949.84 c 620s | 21 | 2870605 | 1063745 | 21574 105 | 43 | 86
951.44/951.88 c 622s | 21 | 2880621 | 1067445 | 21574 105 | 43 | 86
953.54/953.90 c 624s | 21 | 2890046 | 1070745 | 21574 105 | 43 | 86
955.55/955.91 c 626s | 21 | 2898416 | 1073945 | 21574 105 | 43 | 86
957.54/957.97 c 628s | 21 | 2906842 | 1076645 | 21574 106 | 43 | 86
959.64/960.01 c 630s | 21 | 2914989 | 1079645 | 21574 106 | 43 | 86
961.64/962.01 c 632s | 21 | 2923924 | 1083045 | 21574 106 | 43 | 86
963.64/964.05 c 634s | 21 | 2932958 | 1086245 | 21574 107 | 43 | 86
965.64/966.05 c 636s | 21 | 2943208 | 1089845 | 21574 107 | 43 | 86
967.64/968.09 c 638s | 21 | 2953717 | 1093245 | 21574 107 | 43 | 86
969.73/970.11 c 640s | 21 | 2962530 | 1096345 | 21574 108 | 43 | 86
971.73/972.11 c 642s | 21 | 2972109 | 1099745 | 21574 108 | 43 | 86
973.73/974.11 c 644s | 21 | 2976454 | 1101245 | 21574 108 | 43 | 86
975.73/976.17 c 646s | 21 | 2986243 | 1104745 | 21574 108 | 43 | 86
977.73/978.18 c 648s | 21 | 2995486 | 1107945 | 21574 109 | 43 | 86
979.73/980.18 c 650s | 21 | 3004420 | 1111045 | 21574 109 | 43 | 86
981.82/982.20 c 652s | 21 | 3013108 | 1114145 | 21574 109 | 43 | 86
983.82/984.26 c 654s | 21 | 3022383 | 1117545 | 21574 109 | 43 | 86
985.82/986.26 c 656s | 21 | 3030805 | 1120545 | 21574 110 | 43 | 86
987.82/988.27 c 658s | 21 | 3039804 | 1123445 | 21574 110 | 43 | 86
989.82/990.29 c 660s | 21 | 3048718 | 1126545 | 21574 110 | 43 | 86
991.92/992.31 c 662s | 21 | 3057408 | 1129645 | 21574 111 | 43 | 86
993.91/994.35 c 664s | 21 | 3066226 | 1133145 | 21574 111 | 43 | 86
995.91/996.38 c 666s | 21 | 3074848 | 1136245 | 21574 111 | 43 | 86
998.01/998.40 c 668s | 21 | 3082946 | 1139045 | 21574 111 | 43 | 86
1000.01/1000.40 c 670s | 21 | 3091694 | 1142145 | 21574 112 | 43 | 86
1002.02/1002.44 c 672s | 21 | 3101170 | 1145245 | 21574 112 | 43 | 86
1004.03/1004.45 c 674s | 21 | 3110483 | 1148245 | 21574 112 | 43 | 86
1006.02/1006.47 c 676s | 21 | 3118224 | 1151045 | 21574 113 | 43 | 86
1008.12/1008.51 c 678s | 21 | 3128576 | 1154345 | 21574 113 | 43 | 86
1010.12/1010.56 c 680s | 21 | 3137814 | 1157645 | 21574 113 | 43 | 86
1012.22/1012.60 c 682s | 21 | 3146275 | 1160845 | 21574 113 | 43 | 86
1014.21/1014.64 c 684s | 21 | 3149022 | 1161945 | 21574 114 | 43 | 86
1016.21/1016.65 c 686s | 21 | 3155839 | 1164545 | 21574 114 | 43 | 86
1018.22/1018.68 c 688s | 21 | 3164838 | 1168045 | 21574 114 | 43 | 86
1020.31/1020.71 c 690s | 21 | 3170314 | 1170145 | 21574 114 | 43 | 86
1022.31/1022.72 c 692s | 21 | 3177553 | 1172845 | 21574 115 | 43 | 86
1024.31/1024.76 c 694s | 21 | 3187759 | 1176445 | 21574 115 | 43 | 86
1026.41/1026.80 c 696s | 21 | 3197189 | 1179945 | 21574 115 | 43 | 86
1028.61/1029.01 c 699s | 21 | 3205635 | 1183145 | 21574 116 | 43 | 86
1030.61/1031.02 c 701s | 21 | 3214774 | 1186545 | 21574 116 | 43 | 86
1032.61/1033.03 c 703s | 21 | 3224932 | 1190045 | 21574 116 | 43 | 86
1034.61/1035.04 c 705s | 21 | 3234647 | 1193445 | 21574 116 | 43 | 86
1037.02/1037.46 c 707s | 21 | 3242669 | 1196445 | 21574 117 | 43 | 86
1039.12/1039.51 c 709s | 21 | 3252282 | 1199745 | 21574 117 | 43 | 86
1041.10/1041.56 c 711s | 21 | 3260737 | 1202945 | 21574 117 | 43 | 86
1043.11/1043.56 c 713s | 21 | 3269527 | 1206045 | 21574 118 | 43 | 86
1045.11/1045.59 c 715s | 21 | 3279020 | 1209645 | 21574 118 | 43 | 86
1047.21/1047.61 c 717s | 21 | 3289202 | 1213345 | 21574 118 | 43 | 86
1049.21/1049.61 c 719s | 21 | 3296186 | 1215945 | 21574 119 | 43 | 86
1051.22/1051.66 c 721s | 21 | 3305949 | 1219645 | 21574 119 | 43 | 86
1053.31/1053.72 c 723s | 21 | 3316648 | 1223145 | 21574 119 | 43 | 86
1055.31/1055.72 c 725s | 21 | 3325114 | 1226245 | 21574 119 | 43 | 86
1057.30/1057.72 c 727s | 21 | 3332078 | 1228545 | 21574 120 | 43 | 86
1059.31/1059.75 c 729s | 21 | 3341603 | 1231845 | 21574 120 | 43 | 86
1061.31/1061.77 c 731s | 21 | 3350896 | 1235145 | 21574 120 | 43 | 86
1063.41/1063.81 c 733s | 21 | 3358876 | 1238045 | 21574 121 | 43 | 86
1065.41/1065.84 c 736s | 21 | 3368329 | 1241345 | 21574 121 | 43 | 86
1067.41/1067.88 c 738s | 21 | 3378415 | 1244745 | 21574 121 | 43 | 86
1069.41/1069.89 c 740s | 21 | 3387228 | 1248045 | 21574 121 | 43 | 86
1071.50/1071.90 c 742s | 21 | 3396383 | 1251245 | 21574 122 | 43 | 86
1073.50/1073.95 c 744s | 21 | 3405683 | 1254545 | 21574 122 | 43 | 86
1075.51/1075.97 c 746s | 21 | 3416092 | 1257845 | 21574 122 | 43 | 86
1077.61/1078.02 c 748s | 21 | 3424604 | 1260745 | 21574 123 | 43 | 86
1079.60/1080.03 c 750s | 21 | 3434151 | 1263745 | 21574 123 | 43 | 86
1081.60/1082.04 c 752s | 21 | 3441851 | 1266745 | 21574 123 | 43 | 86
1083.70/1084.11 c 754s | 21 | 3450859 | 1269845 | 21574 123 | 43 | 86
1085.70/1086.12 c 756s | 21 | 3458337 | 1272745 | 21574 124 | 43 | 86
1087.70/1088.17 c 758s | 21 | 3467513 | 1276245 | 21574 124 | 43 | 86
1089.81/1090.22 c 760s | 21 | 3474053 | 1278445 | 21574 124 | 43 | 86
1091.80/1092.24 c 762s | 21 | 3481191 | 1280945 | 21574 125 | 43 | 86
1093.90/1094.34 c 764s | 21 | 3487682 | 1283445 | 21574 125 | 43 | 86
1095.90/1096.38 c 766s | 21 | 3497056 | 1286845 | 21574 125 | 43 | 86
1098.00/1098.42 c 768s | 21 | 3506728 | 1290345 | 21574 125 | 43 | 86
1100.00/1100.47 c 770s | 21 | 3516065 | 1293645 | 21574 126 | 43 | 86
1102.10/1102.52 c 772s | 21 | 3524365 | 1296545 | 21574 126 | 43 | 86
1104.11/1104.54 c 774s | 21 | 3533268 | 1299545 | 21574 126 | 43 | 86
1106.10/1106.56 c 776s | 21 | 3542090 | 1302645 | 21574 126 | 43 | 86
1108.20/1108.65 c 778s | 21 | 3550682 | 1305645 | 21574 127 | 43 | 86
1110.20/1110.67 c 780s | 21 | 3559592 | 1309045 | 21574 127 | 43 | 86
1112.20/1112.68 c 782s | 21 | 3567491 | 1311945 | 21574 127 | 43 | 86
1114.30/1114.73 c 784s | 21 | 3576757 | 1314945 | 21574 128 | 43 | 86
1116.30/1116.77 c 786s | 21 | 3584344 | 1317945 | 21574 128 | 43 | 86
1118.30/1118.79 c 788s | 21 | 3592765 | 1321045 | 21574 128 | 43 | 86
1120.29/1120.79 c 790s | 21 | 3600641 | 1323945 | 21574 128 | 43 | 86
1122.40/1122.80 c 792s | 21 | 3608865 | 1326745 | 21574 129 | 43 | 86
1124.40/1124.81 c 794s | 21 | 3617730 | 1329845 | 21574 129 | 43 | 86
1126.40/1126.84 c 797s | 21 | 3626993 | 1333045 | 21574 129 | 43 | 86
1128.40/1128.86 c 799s | 21 | 3635148 | 1335745 | 21574 130 | 43 | 86
1130.40/1130.89 c 801s | 21 | 3639655 | 1337245 | 21574 130 | 43 | 86
1132.49/1132.94 c 803s | 21 | 3648122 | 1340245 | 21574 130 | 43 | 86
1134.49/1134.99 c 805s | 21 | 3658471 | 1343845 | 21574 130 | 43 | 86
1136.59/1137.07 c 807s | 21 | 3667350 | 1346945 | 21574 131 | 43 | 86
1138.70/1139.11 c 809s | 21 | 3675602 | 1350145 | 21574 131 | 43 | 86
1140.70/1141.12 c 811s | 21 | 3684959 | 1353545 | 21574 131 | 43 | 86
1142.70/1143.13 c 813s | 21 | 3693820 | 1356745 | 21574 131 | 43 | 86
1144.70/1145.18 c 815s | 21 | 3701140 | 1359445 | 21574 132 | 43 | 86
1146.79/1147.23 c 817s | 21 | 3710920 | 1362845 | 21574 132 | 43 | 86
1148.79/1149.24 c 819s | 21 | 3719682 | 1366045 | 21574 132 | 43 | 86
1150.79/1151.27 c 821s | 21 | 3726882 | 1368745 | 21574 133 | 43 | 86
1152.89/1153.31 c 823s | 21 | 3736379 | 1371845 | 21574 133 | 43 | 86
1154.89/1155.35 c 825s | 21 | 3745918 | 1375245 | 21574 133 | 43 | 86
1156.90/1157.39 c 827s | 21 | 3754891 | 1378545 | 21574 133 | 43 | 86
1159.00/1159.42 c 829s | 21 | 3763263 | 1381245 | 21574 134 | 43 | 86
1160.99/1161.48 c 831s | 21 | 3772262 | 1384545 | 21574 134 | 43 | 86
1163.09/1163.51 c 833s | 21 | 3781038 | 1387745 | 21574 134 | 43 | 86
1165.09/1165.51 c 835s | 21 | 3790225 | 1390845 | 21574 135 | 43 | 86
1167.09/1167.58 c 837s | 21 | 3798022 | 1393845 | 21574 135 | 43 | 86
1169.19/1169.60 c 839s | 21 | 3808481 | 1396745 | 21574 135 | 43 | 86
1171.19/1171.63 c 841s | 21 | 3812939 | 1398345 | 21574 135 | 43 | 86
1173.18/1173.65 c 843s | 21 | 3818610 | 1400245 | 21574 135 | 43 | 86
1175.19/1175.69 c 845s | 21 | 3826176 | 1403345 | 21574 136 | 43 | 86
1177.29/1177.71 c 847s | 21 | 3836074 | 1407045 | 21574 136 | 43 | 86
1179.29/1179.75 c 849s | 21 | 3845527 | 1410745 | 21574 136 | 43 | 86
1181.29/1181.77 c 851s | 21 | 3854801 | 1414245 | 21574 137 | 43 | 86
1183.39/1183.80 c 853s | 21 | 3863367 | 1417945 | 21574 137 | 43 | 86
1185.39/1185.83 c 856s | 21 | 3871380 | 1421545 | 21574 137 | 43 | 86
1187.38/1187.87 c 858s | 21 | 3879498 | 1425145 | 21574 138 | 43 | 86
1189.39/1189.89 c 860s | 21 | 3889002 | 1428345 | 21574 138 | 43 | 86
1191.49/1191.92 c 862s | 21 | 3898858 | 1431845 | 21574 138 | 43 | 86
1193.49/1193.95 c 864s | 21 | 3906598 | 1434445 | 21574 139 | 43 | 86
1195.58/1196.05 c 866s | 21 | 3917499 | 1437945 | 21574 139 | 43 | 86
1197.59/1198.07 c 868s | 21 | 3927983 | 1441445 | 21574 139 | 43 | 86
1199.58/1200.09 c 870s | 21 | 3936103 | 1444245 | 23732 139 | 43 | 86
1201.59/1202.10 c 872s | 21 | 3944125 | 1447245 | 23732 140 | 43 | 86
1203.69/1204.12 c 874s | 21 | 3953784 | 1450745 | 23732 140 | 43 | 86
1205.69/1206.15 c 876s | 21 | 3962926 | 1454245 | 23732 140 | 43 | 86
1207.69/1208.16 c 878s | 21 | 3971180 | 1457445 | 23732 140 | 43 | 86
1209.69/1210.16 c 880s | 21 | 3978479 | 1460145 | 23732 141 | 43 | 86
1211.69/1212.17 c 882s | 21 | 3987965 | 1463345 | 23732 141 | 43 | 86
1213.68/1214.19 c 884s | 21 | 3997457 | 1466745 | 23732 141 | 43 | 86
1215.88/1216.36 c 886s | 21 | 4005918 | 1470045 | 23732 142 | 43 | 86
1217.88/1218.37 c 888s | 21 | 4016414 | 1473645 | 23732 142 | 43 | 86
1219.88/1220.39 c 890s | 21 | 4023627 | 1476845 | 23732 142 | 43 | 86
1221.98/1222.42 c 892s | 21 | 4031639 | 1480245 | 23732 142 | 43 | 86
1223.99/1224.44 c 894s | 21 | 4041859 | 1483845 | 23732 143 | 43 | 86
1225.98/1226.44 c 896s | 21 | 4051543 | 1487145 | 23732 143 | 43 | 86
1227.98/1228.48 c 898s | 21 | 4060496 | 1490845 | 23732 143 | 43 | 86
1230.08/1230.51 c 900s | 21 | 4069502 | 1494045 | 23732 144 | 43 | 86
1232.08/1232.54 c 902s | 21 | 4077136 | 1497445 | 23732 144 | 43 | 86
1233.78/1234.25 c 904s | 22 | 4085935 | 1500622 | 23732 144 | 43 | 86
1235.78/1236.29 c 906s | 22 | 4094909 | 1504022 | 23732 144 | 43 | 86
1237.88/1238.32 c 908s | 22 | 4104166 | 1507622 | 23732 145 | 43 | 86
1239.87/1240.36 c 910s | 22 | 4115594 | 1511622 | 23732 145 | 43 | 86
1241.98/1242.41 c 912s | 22 | 4125731 | 1515122 | 23732 145 | 43 | 86
1243.97/1244.45 c 914s | 22 | 4135001 | 1518322 | 23732 146 | 43 | 86
1246.08/1246.50 c 916s | 22 | 4144186 | 1521722 | 23732 146 | 43 | 86
1248.09/1248.52 c 918s | 22 | 4153960 | 1525222 | 23732 146 | 43 | 86
1250.08/1250.56 c 920s | 22 | 4164262 | 1528522 | 23732 146 | 43 | 86
1252.18/1252.62 c 922s | 22 | 4171706 | 1531422 | 23732 147 | 43 | 86
1254.18/1254.66 c 924s | 22 | 4181662 | 1534922 | 23732 147 | 43 | 86
1256.18/1256.70 c 926s | 22 | 4190922 | 1538322 | 23732 147 | 43 | 86
1258.27/1258.72 c 928s | 22 | 4199992 | 1541522 | 23732 147 | 43 | 86
1260.28/1260.76 c 930s | 22 | 4207884 | 1544422 | 23732 148 | 43 | 86
1262.27/1262.79 c 932s | 22 | 4217725 | 1547722 | 23732 148 | 43 | 86
1264.27/1264.79 c 934s | 22 | 4226827 | 1550822 | 23732 148 | 43 | 86
1266.37/1266.82 c 937s | 22 | 4235052 | 1553922 | 23732 149 | 43 | 86
1268.37/1268.89 c 939s | 22 | 4245086 | 1557622 | 23732 149 | 43 | 86
1270.47/1270.92 c 941s | 22 | 4250649 | 1559722 | 23732 149 | 43 | 86
1272.47/1272.95 c 943s | 22 | 4259751 | 1563122 | 23732 149 | 43 | 86
1274.58/1275.02 c 945s | 22 | 4266702 | 1565522 | 23732 149 | 43 | 86
1276.57/1277.04 c 947s | 22 | 4273807 | 1567922 | 23732 150 | 43 | 86
1278.57/1279.09 c 949s | 22 | 4283342 | 1571222 | 23732 150 | 43 | 86
1280.67/1281.11 c 951s | 22 | 4292378 | 1574722 | 23732 150 | 43 | 86
1282.67/1283.19 c 953s | 22 | 4301212 | 1577622 | 23732 151 | 43 | 86
1284.77/1285.21 c 955s | 22 | 4310881 | 1580722 | 23732 151 | 43 | 86
1286.77/1287.23 c 957s | 22 | 4319170 | 1583822 | 23732 151 | 43 | 86
1288.77/1289.26 c 959s | 22 | 4327673 | 1587122 | 23732 151 | 43 | 86
1290.87/1291.30 c 961s | 22 | 4335972 | 1589822 | 23732 152 | 43 | 86
1292.87/1293.32 c 963s | 22 | 4346257 | 1593222 | 23732 152 | 43 | 86
1294.87/1295.34 c 965s | 22 | 4355616 | 1596522 | 23732 152 | 43 | 86
1296.87/1297.34 c 967s | 22 | 4364621 | 1599422 | 23732 152 | 43 | 86
1298.97/1299.40 c 969s | 22 | 4373267 | 1602322 | 23732 153 | 43 | 86
1300.98/1301.45 c 971s | 22 | 4382432 | 1605622 | 23732 153 | 43 | 86
1303.08/1303.51 c 973s | 22 | 4391539 | 1608622 | 23732 153 | 43 | 86
1305.07/1305.54 c 975s | 22 | 4399987 | 1611722 | 23732 153 | 43 | 86
1307.07/1307.57 c 977s | 22 | 4407770 | 1614622 | 23732 154 | 43 | 86
1309.17/1309.61 c 979s | 22 | 4417156 | 1618022 | 23732 154 | 43 | 86
1311.17/1311.61 c 981s | 22 | 4426015 | 1621422 | 23732 154 | 43 | 86
1313.17/1313.63 c 983s | 22 | 4434854 | 1624622 | 23732 154 | 43 | 86
1315.17/1315.69 c 985s | 22 | 4445139 | 1628022 | 23732 155 | 43 | 86
1317.26/1317.70 c 987s | 22 | 4454326 | 1630922 | 23732 155 | 43 | 86
1319.26/1319.77 c 989s | 22 | 4462841 | 1633922 | 23732 155 | 43 | 86
1321.36/1321.82 c 991s | 22 | 4471378 | 1636822 | 23732 155 | 43 | 86
1323.36/1323.84 c 994s | 22 | 4478945 | 1639222 | 23732 156 | 43 | 86
1325.37/1325.87 c 996s | 22 | 4487310 | 1642122 | 23732 156 | 43 | 86
1327.37/1327.88 c 998s | 22 | 4496863 | 1645522 | 23732 156 | 43 | 86
1329.47/1329.93 c 1000s | 22 | 4504324 | 1648322 | 23732 156 | 43 | 86
1331.46/1331.99 c 1002s | 22 | 4511157 | 1650522 | 23732 157 | 43 | 86
1333.56/1334.02 c 1004s | 22 | 4521007 | 1653922 | 23732 157 | 43 | 86
1335.56/1336.03 c 1006s | 22 | 4530270 | 1657222 | 23732 157 | 43 | 86
1337.57/1338.03 c 1008s | 22 | 4538584 | 1660022 | 23732 157 | 43 | 86
1339.57/1340.04 c 1010s | 22 | 4546999 | 1662922 | 23732 158 | 43 | 86
1341.57/1342.08 c 1012s | 22 | 4556418 | 1666422 | 23732 158 | 43 | 86
1343.66/1344.11 c 1014s | 22 | 4566635 | 1669922 | 23732 158 | 43 | 86
1345.76/1346.20 c 1016s | 22 | 4574680 | 1673122 | 23732 159 | 43 | 86
1347.76/1348.25 c 1018s | 22 | 4583936 | 1676622 | 23732 159 | 43 | 86
1349.76/1350.30 c 1020s | 22 | 4593292 | 1679922 | 23732 159 | 43 | 86
1351.86/1352.34 c 1022s | 22 | 4601722 | 1683022 | 23732 159 | 43 | 86
1353.86/1354.36 c 1024s | 22 | 4609719 | 1686022 | 23732 160 | 43 | 86
1355.96/1356.41 c 1026s | 22 | 4619179 | 1689522 | 23732 160 | 43 | 86
1357.96/1358.42 c 1028s | 22 | 4628606 | 1692822 | 23732 160 | 43 | 86
1359.96/1360.47 c 1030s | 22 | 4636893 | 1696022 | 23732 160 | 43 | 86
1362.06/1362.50 c 1032s | 22 | 4645425 | 1699122 | 23732 161 | 43 | 86
1364.06/1364.52 c 1034s | 22 | 4654334 | 1702222 | 23732 161 | 43 | 86
1366.06/1366.53 c 1036s | 22 | 4663449 | 1705622 | 23732 161 | 43 | 86
1368.07/1368.58 c 1038s | 22 | 4670756 | 1708322 | 23732 161 | 43 | 86
1370.17/1370.62 c 1040s | 22 | 4676092 | 1710422 | 23732 162 | 43 | 86
1372.16/1372.64 c 1042s | 22 | 4684212 | 1713322 | 23732 162 | 43 | 86
1374.26/1374.71 c 1044s | 22 | 4686826 | 1714322 | 23732 162 | 43 | 86
1376.26/1376.71 c 1046s | 22 | 4696316 | 1717422 | 23732 162 | 43 | 86
1378.26/1378.75 c 1048s | 22 | 4706149 | 1720822 | 23732 162 | 43 | 86
1380.26/1380.79 c 1050s | 22 | 4714959 | 1724122 | 23732 163 | 43 | 86
1382.36/1382.82 c 1053s | 22 | 4723524 | 1727322 | 23732 163 | 43 | 86
1384.36/1384.88 c 1055s | 22 | 4731646 | 1730122 | 23732 163 | 43 | 86
1386.46/1386.92 c 1057s | 22 | 4740199 | 1733122 | 23732 164 | 43 | 86
1388.46/1388.94 c 1059s | 22 | 4750911 | 1736922 | 23732 164 | 43 | 86
1390.46/1390.95 c 1061s | 22 | 4760536 | 1740322 | 23732 164 | 43 | 86
1392.46/1392.97 c 1063s | 22 | 4771402 | 1743722 | 23732 164 | 43 | 86
1394.46/1394.98 c 1065s | 22 | 4780555 | 1746822 | 23732 165 | 43 | 86
1396.46/1396.99 c 1067s | 22 | 4789209 | 1750022 | 23732 165 | 43 | 86
1398.56/1399.03 c 1069s | 22 | 4797170 | 1752922 | 23732 165 | 43 | 86
1400.66/1401.20 c 1071s | 22 | 4803360 | 1755322 | 23732 165 | 43 | 86
1402.75/1403.21 c 1073s | 22 | 4807606 | 1756922 | 23732 166 | 43 | 86
1404.75/1405.25 c 1075s | 22 | 4816096 | 1760122 | 23732 166 | 43 | 86
1406.75/1407.25 c 1077s | 22 | 4824230 | 1763022 | 23732 166 | 43 | 86
1408.85/1409.31 c 1079s | 22 | 4832778 | 1766222 | 23732 166 | 43 | 86
1410.86/1411.32 c 1081s | 22 | 4840700 | 1769122 | 23732 167 | 43 | 86
1412.86/1413.36 c 1083s | 22 | 4849190 | 1772022 | 23732 167 | 43 | 86
1414.95/1415.40 c 1085s | 22 | 4858384 | 1775122 | 23732 167 | 43 | 86
1416.95/1417.45 c 1087s | 22 | 4866280 | 1778222 | 23732 167 | 43 | 86
1418.95/1419.50 c 1089s | 22 | 4872526 | 1780722 | 23732 168 | 43 | 86
1421.05/1421.56 c 1091s | 22 | 4881184 | 1783822 | 23732 168 | 43 | 86
1423.06/1423.59 c 1093s | 22 | 4889016 | 1786922 | 23732 168 | 43 | 86
1425.16/1425.62 c 1095s | 22 | 4895868 | 1789622 | 23732 168 | 43 | 86
1427.15/1427.63 c 1097s | 22 | 4903671 | 1792722 | 23732 169 | 43 | 86
1429.15/1429.65 c 1099s | 22 | 4912183 | 1795522 | 23732 169 | 43 | 86
1431.15/1431.68 c 1101s | 22 | 4920818 | 1798522 | 23732 169 | 43 | 86
1433.25/1433.74 c 1103s | 22 | 4929591 | 1801622 | 23732 169 | 43 | 86
1435.34/1435.83 c 1106s | 22 | 4936851 | 1804522 | 23732 170 | 43 | 86
1437.36/1437.86 c 1108s | 22 | 4945709 | 1807722 | 23732 170 | 43 | 86
1439.35/1439.87 c 1110s | 22 | 4955011 | 1810822 | 23732 170 | 43 | 86
1441.45/1441.90 c 1112s | 22 | 4963217 | 1813822 | 23732 170 | 43 | 86
1443.45/1443.97 c 1114s | 22 | 4970736 | 1816622 | 23732 171 | 43 | 86
1445.45/1445.98 c 1116s | 22 | 4979439 | 1819822 | 23732 171 | 43 | 86
1447.85/1448.37 c 1118s | 22 | 4986590 | 1822522 | 23732 171 | 43 | 86
1449.85/1450.39 c 1120s | 22 | 4996135 | 1825822 | 23732 171 | 43 | 86
1452.34/1452.80 c 1122s | 22 | 5004101 | 1828622 | 23732 172 | 43 | 86
1454.35/1454.83 c 1125s | 22 | 5012635 | 1831822 | 23732 172 | 43 | 86
1456.34/1456.86 c 1127s | 22 | 5020799 | 1835322 | 23732 172 | 43 | 86
1458.44/1458.91 c 1129s | 22 | 5030341 | 1839022 | 23732 172 | 43 | 86
1460.45/1460.91 c 1131s | 22 | 5039299 | 1842122 | 23732 173 | 43 | 86
1462.45/1462.94 c 1133s | 22 | 5048984 | 1845522 | 23732 173 | 43 | 86
1464.45/1464.99 c 1135s | 22 | 5060447 | 1849422 | 23732 173 | 43 | 86
1466.55/1467.04 c 1137s | 22 | 5068571 | 1852722 | 23732 174 | 43 | 86
1468.54/1469.07 c 1139s | 22 | 5076005 | 1855522 | 23732 174 | 43 | 86
1470.54/1471.09 c 1141s | 22 | 5084110 | 1858522 | 23732 174 | 43 | 86
1472.64/1473.12 c 1143s | 22 | 5091466 | 1861622 | 23732 174 | 43 | 86
1474.65/1475.17 c 1145s | 22 | 5098537 | 1864322 | 23732 175 | 43 | 86
1476.74/1477.20 c 1147s | 22 | 5100650 | 1865022 | 23732 175 | 43 | 86
1478.74/1479.24 c 1149s | 22 | 5110854 | 1868322 | 23732 175 | 43 | 86
1480.74/1481.26 c 1151s | 22 | 5119770 | 1871622 | 23732 175 | 43 | 86
1482.74/1483.29 c 1153s | 22 | 5128210 | 1874622 | 23732 175 | 43 | 86
1484.84/1485.30 c 1155s | 22 | 5135924 | 1877422 | 23732 176 | 43 | 86
1486.94/1487.48 c 1157s | 22 | 5144587 | 1880622 | 23732 176 | 43 | 86
1489.05/1489.53 c 1159s | 22 | 5153523 | 1883722 | 23732 176 | 43 | 86
1491.04/1491.54 c 1161s | 22 | 5160955 | 1886722 | 23732 176 | 43 | 86
1493.04/1493.58 c 1163s | 22 | 5168812 | 1889522 | 23732 177 | 43 | 86
1495.04/1495.59 c 1165s | 22 | 5176360 | 1892422 | 23732 177 | 43 | 86
1497.04/1497.59 c 1167s | 22 | 5184231 | 1895422 | 23732 177 | 43 | 86
1499.14/1499.68 c 1169s | 22 | 5193554 | 1898522 | 23732 177 | 43 | 86
1501.24/1501.71 c 1171s | 22 | 5201622 | 1901322 | 23732 178 | 43 | 86
1503.24/1503.71 c 1173s | 22 | 5210813 | 1904522 | 23732 178 | 43 | 86
1505.24/1505.74 c 1175s | 22 | 5218340 | 1907422 | 23732 178 | 43 | 86
1507.24/1507.76 c 1177s | 22 | 5225805 | 1910222 | 23732 178 | 43 | 86
1509.34/1509.80 c 1179s | 22 | 5233507 | 1912922 | 23732 179 | 43 | 86
1511.34/1511.86 c 1182s | 22 | 5242226 | 1916122 | 23732 179 | 43 | 86
1513.43/1513.93 c 1184s | 22 | 5245116 | 1917122 | 23732 179 | 43 | 86
1515.45/1515.95 c 1186s | 22 | 5254585 | 1920322 | 23732 179 | 43 | 86
1517.54/1518.01 c 1188s | 22 | 5263036 | 1923422 | 23732 179 | 43 | 86
1519.54/1520.04 c 1190s | 22 | 5270769 | 1926522 | 23732 180 | 43 | 86
1521.54/1522.06 c 1192s | 22 | 5279448 | 1929722 | 23732 180 | 43 | 86
1523.53/1524.07 c 1194s | 22 | 5288590 | 1932922 | 23732 180 | 43 | 86
1525.63/1526.18 c 1196s | 22 | 5296455 | 1935922 | 23732 181 | 43 | 86
1527.63/1528.19 c 1198s | 22 | 5304621 | 1939022 | 23732 181 | 43 | 86
1529.74/1530.23 c 1200s | 22 | 5312912 | 1942122 | 23732 181 | 43 | 86
1531.73/1532.28 c 1202s | 22 | 5320968 | 1945222 | 23732 181 | 43 | 86
1533.83/1534.37 c 1204s | 22 | 5322526 | 1945822 | 23732 181 | 43 | 86
1535.83/1536.39 c 1206s | 22 | 5330120 | 1948922 | 23732 182 | 43 | 86
1538.03/1538.54 c 1208s | 22 | 5338019 | 1952122 | 23732 182 | 43 | 86
1540.23/1540.78 c 1210s | 22 | 5346475 | 1955422 | 23732 182 | 43 | 86
1542.33/1542.81 c 1212s | 22 | 5354961 | 1958522 | 23732 182 | 43 | 86
1544.33/1544.85 c 1215s | 22 | 5363103 | 1961522 | 23732 183 | 43 | 86
1546.33/1546.88 c 1217s | 22 | 5371004 | 1965122 | 23732 183 | 43 | 86
1548.43/1548.91 c 1219s | 22 | 5377687 | 1967922 | 23732 183 | 43 | 86
1550.43/1550.92 c 1221s | 22 | 5384827 | 1970822 | 23732 183 | 43 | 86
1552.43/1552.94 c 1223s | 22 | 5391953 | 1973822 | 23732 184 | 43 | 86
1554.43/1554.97 c 1225s | 22 | 5398932 | 1976822 | 23732 184 | 43 | 86
1556.53/1557.01 c 1227s | 22 | 5407041 | 1979922 | 23732 184 | 43 | 86
1558.53/1559.03 c 1229s | 22 | 5415514 | 1982922 | 23732 184 | 43 | 86
1560.54/1561.07 c 1231s | 22 | 5423854 | 1985922 | 23732 185 | 43 | 86
1562.63/1563.14 c 1233s | 22 | 5432060 | 1989022 | 23732 185 | 43 | 86
1564.63/1565.15 c 1235s | 22 | 5440396 | 1992322 | 23732 185 | 43 | 86
1566.63/1567.19 c 1237s | 22 | 5448641 | 1995422 | 23732 185 | 43 | 86
1568.73/1569.24 c 1239s | 22 | 5456333 | 1998622 | 23732 186 | 43 | 86
1570.73/1571.26 c 1241s | 22 | 5463038 | 2001522 | 23732 186 | 43 | 86
1572.72/1573.28 c 1243s | 22 | 5468697 | 2003622 | 23732 186 | 43 | 86
1574.83/1575.32 c 1245s | 22 | 5473868 | 2005822 | 23732 186 | 43 | 86
1576.82/1577.33 c 1247s | 22 | 5479995 | 2008422 | 23732 187 | 43 | 86
1578.83/1579.35 c 1249s | 22 | 5487831 | 2011722 | 23732 187 | 43 | 86
1580.83/1581.36 c 1251s | 22 | 5495662 | 2014922 | 23732 187 | 43 | 86
1582.83/1583.38 c 1253s | 22 | 5503647 | 2018222 | 23732 187 | 43 | 86
1584.93/1585.43 c 1255s | 22 | 5510150 | 2020922 | 23732 188 | 43 | 86
1586.93/1587.43 c 1257s | 22 | 5518047 | 2024122 | 23732 188 | 43 | 86
1588.93/1589.44 c 1259s | 22 | 5526141 | 2027522 | 23732 188 | 43 | 86
1590.93/1591.47 c 1261s | 22 | 5534190 | 2030822 | 23732 188 | 43 | 86
1593.03/1593.56 c 1263s | 22 | 5541241 | 2033622 | 23732 189 | 43 | 86
1595.02/1595.59 c 1265s | 22 | 5548711 | 2036522 | 23732 189 | 43 | 86
1597.12/1597.65 c 1267s | 22 | 5556120 | 2039522 | 23732 189 | 43 | 86
1599.12/1599.66 c 1269s | 22 | 5563243 | 2042722 | 23732 189 | 43 | 86
1601.13/1601.69 c 1271s | 22 | 5569739 | 2045422 | 23732 190 | 43 | 86
1603.22/1603.71 c 1273s | 22 | 5576874 | 2048322 | 23732 190 | 43 | 86
1605.22/1605.74 c 1275s | 22 | 5585366 | 2051722 | 23732 190 | 43 | 86
1607.22/1607.78 c 1277s | 22 | 5592929 | 2054822 | 23732 190 | 43 | 86
1609.43/1609.98 c 1280s | 22 | 5597136 | 2056522 | 23732 191 | 43 | 86
1611.52/1612.01 c 1282s | 22 | 5600307 | 2057622 | 23732 191 | 43 | 86
1613.52/1614.06 c 1284s | 22 | 5606800 | 2060022 | 23732 191 | 43 | 86
1615.62/1616.11 c 1286s | 22 | 5614299 | 2062822 | 23732 191 | 43 | 86
1617.63/1618.16 c 1288s | 22 | 5622125 | 2065722 | 23732 191 | 43 | 86
1619.72/1620.21 c 1290s | 22 | 5629223 | 2068222 | 23732 192 | 43 | 86
1621.72/1622.25 c 1292s | 22 | 5635904 | 2070822 | 23732 192 | 43 | 86
1623.72/1624.28 c 1294s | 22 | 5642786 | 2073422 | 23732 192 | 43 | 86
1625.82/1626.32 c 1296s | 22 | 5649516 | 2076222 | 23732 192 | 43 | 86
1627.82/1628.38 c 1298s | 22 | 5657453 | 2079122 | 23732 192 | 43 | 86
1629.92/1630.40 c 1300s | 22 | 5662309 | 2081122 | 23732 193 | 43 | 86
1631.93/1632.41 c 1302s | 22 | 5670092 | 2084022 | 23732 193 | 43 | 86
1633.92/1634.42 c 1304s | 22 | 5677306 | 2086922 | 23732 193 | 43 | 86
1636.02/1636.56 c 1306s | 22 | 5684265 | 2089622 | 23732 193 | 43 | 86
1638.02/1638.56 c 1308s | 22 | 5691112 | 2092022 | 23732 194 | 43 | 86
1640.11/1640.61 c 1310s | 22 | 5698684 | 2095122 | 23732 194 | 43 | 86
1642.11/1642.63 c 1312s | 22 | 5706200 | 2098122 | 23732 194 | 43 | 86
1644.12/1644.68 c 1314s | 22 | 5711462 | 2100322 | 23732 194 | 43 | 86
1646.52/1647.02 c 1317s | 22 | 5719904 | 2103422 | 23732 195 | 43 | 86
1648.52/1649.05 c 1319s | 22 | 5726646 | 2106122 | 23732 195 | 43 | 86
1650.51/1651.07 c 1321s | 22 | 5734124 | 2109022 | 23732 195 | 43 | 86
1652.61/1653.10 c 1323s | 22 | 5743372 | 2112422 | 23732 195 | 43 | 86
1654.62/1655.13 c 1325s | 22 | 5752074 | 2115422 | 23732 196 | 43 | 86
1657.01/1657.59 c 1327s | 22 | 5755265 | 2116522 | 23732 196 | 43 | 86
1659.12/1659.63 c 1329s | 22 | 5761722 | 2118822 | 23732 196 | 43 | 86
1661.12/1661.64 c 1331s | 22 | 5770760 | 2122322 | 23732 196 | 43 | 86
1663.12/1663.64 c 1333s | 22 | 5780347 | 2125722 | 23732 196 | 43 | 86
1665.12/1665.69 c 1335s | 22 | 5788656 | 2128822 | 23732 197 | 43 | 86
1667.22/1667.74 c 1337s | 22 | 5797840 | 2132122 | 23732 197 | 43 | 86
1669.22/1669.76 c 1339s | 22 | 5807203 | 2135522 | 23732 197 | 43 | 86
1671.32/1671.81 c 1341s | 22 | 5817006 | 2138922 | 23732 197 | 43 | 86
1673.31/1673.85 c 1344s | 22 | 5825768 | 2142122 | 23732 198 | 43 | 86
1675.31/1675.89 c 1346s | 22 | 5834909 | 2145422 | 23732 198 | 43 | 86
1677.41/1677.93 c 1348s | 22 | 5844144 | 2148722 | 23732 198 | 43 | 86
1679.41/1679.95 c 1350s | 22 | 5852067 | 2151822 | 23732 199 | 43 | 86
1681.42/1681.98 c 1352s | 22 | 5861107 | 2155022 | 23732 199 | 43 | 86
1683.41/1683.99 c 1354s | 22 | 5870290 | 2158322 | 23732 199 | 43 | 86
1685.51/1686.02 c 1356s | 22 | 5879932 | 2161622 | 23732 199 | 43 | 86
1687.51/1688.03 c 1358s | 22 | 5887822 | 2164622 | 23732 200 | 43 | 86
1689.51/1690.05 c 1360s | 22 | 5897084 | 2168122 | 23732 200 | 43 | 86
1691.51/1692.08 c 1362s | 22 | 5905839 | 2171522 | 23732 200 | 43 | 86
1693.51/1694.08 c 1364s | 22 | 5914288 | 2174722 | 23732 200 | 43 | 86
1695.61/1696.10 c 1366s | 22 | 5922296 | 2177822 | 23732 201 | 43 | 86
1697.61/1698.15 c 1368s | 22 | 5930163 | 2181122 | 23732 201 | 43 | 86
1700.91/1701.43 c 1371s | 22 | 5934798 | 2183022 | 23732 201 | 43 | 86
1702.91/1703.47 c 1373s | 22 | 5940964 | 2185422 | 23732 201 | 43 | 86
1705.01/1705.54 c 1375s | 22 | 5946586 | 2187622 | 23732 202 | 43 | 86
1707.01/1707.57 c 1377s | 22 | 5955208 | 2190722 | 23732 202 | 43 | 86
1709.02/1709.58 c 1379s | 22 | 5963754 | 2194022 | 23732 202 | 43 | 86
1711.12/1711.63 c 1381s | 22 | 5971340 | 2197422 | 23732 202 | 43 | 86
1713.21/1713.72 c 1383s | 22 | 5973917 | 2198722 | 23732 203 | 43 | 86
1715.21/1715.77 c 1385s | 22 | 5979820 | 2200622 | 23732 203 | 43 | 86
1717.21/1717.79 c 1387s | 22 | 5989113 | 2204022 | 23732 203 | 43 | 86
1719.30/1719.83 c 1390s | 22 | 5998514 | 2207522 | 23732 203 | 43 | 86
1721.30/1721.85 c 1392s | 22 | 6006141 | 2210322 | 23732 203 | 43 | 86
1723.31/1723.89 c 1394s | 22 | 6013327 | 2212822 | 23732 204 | 43 | 86
1725.30/1725.90 c 1396s | 22 | 6022469 | 2216022 | 23732 204 | 43 | 86
1727.40/1727.94 c 1398s | 22 | 6030442 | 2218822 | 23732 204 | 43 | 86
1730.00/1730.57 c 1400s | 22 | 6036039 | 2220822 | 23732 204 | 43 | 86
1732.01/1732.59 c 1402s | 22 | 6044829 | 2223922 | 23732 205 | 43 | 86
1734.21/1734.77 c 1404s | 22 | 6054578 | 2227222 | 23732 205 | 43 | 86
1736.30/1736.81 c 1406s | 22 | 6063244 | 2230222 | 23732 205 | 43 | 86
1738.30/1738.82 c 1409s | 22 | 6072299 | 2233222 | 23732 205 | 43 | 86
1740.30/1740.87 c 1411s | 22 | 6080597 | 2236222 | 23732 206 | 43 | 86
1742.30/1742.87 c 1413s | 22 | 6089892 | 2239422 | 23732 206 | 43 | 86
1744.30/1744.88 c 1415s | 22 | 6098627 | 2242622 | 23732 206 | 43 | 86
1746.70/1747.26 c 1417s | 22 | 6104542 | 2244822 | 23732 206 | 43 | 86
1748.70/1749.29 c 1419s | 22 | 6113038 | 2247722 | 23732 207 | 43 | 86
1750.70/1751.27 c 1421s | 23 | 6122235 | 2251038 | 23732 207 | 43 | 86
1752.80/1753.32 c 1423s | 23 | 6128826 | 2253438 | 23732 207 | 43 | 86
1754.80/1755.36 c 1425s | 23 | 6137933 | 2256638 | 23732 207 | 43 | 86
1756.80/1757.37 c 1427s | 23 | 6145615 | 2259338 | 23732 208 | 43 | 86
1758.80/1759.39 c 1429s | 23 | 6152916 | 2262038 | 23732 208 | 43 | 86
1760.90/1761.43 c 1431s | 23 | 6159499 | 2265038 | 23732 208 | 43 | 86
1762.90/1763.48 c 1433s | 23 | 6168427 | 2268138 | 23732 208 | 43 | 86
1765.00/1765.57 c 1435s | 23 | 6176467 | 2270838 | 23732 209 | 43 | 86
1766.99/1767.57 c 1437s | 23 | 6184031 | 2273638 | 23732 209 | 43 | 86
1768.99/1769.59 c 1439s | 23 | 6191672 | 2276738 | 23732 209 | 43 | 86
1771.09/1771.63 c 1441s | 23 | 6200093 | 2279838 | 23732 209 | 43 | 86
1773.09/1773.67 c 1443s | 23 | 6207933 | 2282538 | 23732 210 | 43 | 86
1775.09/1775.70 c 1445s | 23 | 6216478 | 2285738 | 23732 210 | 43 | 86
1777.20/1777.72 c 1447s | 23 | 6226124 | 2289138 | 23732 210 | 43 | 86
1779.19/1779.77 c 1449s | 23 | 6233790 | 2292138 | 23732 210 | 43 | 86
1781.30/1781.81 c 1451s | 23 | 6242310 | 2294838 | 23732 211 | 43 | 86
1783.30/1783.81 c 1453s | 23 | 6251824 | 2298138 | 23732 211 | 43 | 86
1785.29/1785.82 c 1455s | 23 | 6258873 | 2300738 | 23732 211 | 43 | 86
1787.29/1787.82 c 1458s | 23 | 6267688 | 2303538 | 23732 211 | 43 | 86
1789.39/1789.99 c 1460s | 23 | 6273639 | 2305638 | 23732 211 | 43 | 86
1791.50/1792.03 c 1462s | 23 | 6282130 | 2308538 | 23732 212 | 43 | 86
1793.50/1794.04 c 1464s | 23 | 6290406 | 2311938 | 23732 212 | 43 | 86
1795.60/1796.10 c 1466s | 23 | 6299379 | 2315338 | 23732 212 | 43 | 86
1797.79/1798.35 c 1468s | 23 | 6306802 | 2318238 | 23732 213 | 43 | 86
1799.80/1800.36 c 1470s | 23 | 6313313 | 2320838 | 23732 213 | 43 | 86
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-4079995-1465278592/watcher-4079995-1465278592 -o /tmp/evaluation-result-4079995-1465278592/solver-4079995-1465278592 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12854 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079995-1465278592.opb
pid=16169
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.10 2.08 2.09 3/179 16172
/proc/meminfo: memFree=29330564/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=736836 CPUtime=0 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 2751 0 0 0 0 0 0 0 20 0 4 0 109792624 754520064 3112 33554432000 4194304 16246674 140734617521024 140734617520448 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16172/statm: 184721 3122 442 2943 0 181615 0
[pid=16172/tid=16173] ppid=16169 vsize=754244 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 772345856 3182 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=758340 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 776540160 3198 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=763460 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 781783040 3216 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100172 s]
/proc/loadavg: 2.10 2.08 2.09 3/179 16172
/proc/meminfo: memFree=29330564/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 25998 0 0 0 5 4 0 0 20 0 4 0 109792624 1332285440 26297 33554432000 4194304 16246674 140734617521024 140734617520336 7371468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16172/statm: 325265 26313 800 2943 0 322159 0
[pid=16172/tid=16173] ppid=16169 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1332285440 26324 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1332285440 26335 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1332285440 26347 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060
[startup+0.200532 s]
/proc/loadavg: 2.10 2.08 2.09 3/179 16172
/proc/meminfo: memFree=29330564/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1302084 CPUtime=0.18 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 48955 0 0 0 12 6 0 0 20 0 4 0 109792624 1333334016 49254 33554432000 4194304 16246674 140734617521024 140734617520336 5516226 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16172/statm: 325521 49265 832 2943 0 322415 0
[pid=16172/tid=16173] ppid=16169 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1333334016 49273 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1333334016 49280 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1333334016 49287 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1302084
[startup+0.300494 s]
/proc/loadavg: 2.10 2.08 2.09 3/179 16172
/proc/meminfo: memFree=29330564/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 72899 0 0 0 20 9 0 0 20 0 4 0 109792624 1333334016 73198 33554432000 4194304 16246674 140734617521024 140734617520336 6757465 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16172/statm: 325521 73210 832 2943 0 322415 0
[pid=16172/tid=16173] ppid=16169 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1333334016 73217 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1333334016 73224 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1333334016 73231 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084
[startup+0.700427 s]
/proc/loadavg: 2.10 2.08 2.09 3/179 16172
/proc/meminfo: memFree=29330564/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1310276 CPUtime=0.69 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 99939 0 0 0 56 13 0 0 20 0 4 0 109792624 1341722624 100238 33554432000 4194304 16246674 140734617521024 140734617504016 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16172/statm: 327569 100238 905 2943 0 324463 0
[pid=16172/tid=16173] ppid=16169 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1341722624 100238 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1341722624 100238 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1341722624 100238 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1310276
[startup+1.50041 s]
/proc/loadavg: 2.10 2.08 2.09 3/183 16176
/proc/meminfo: memFree=28751776/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1310276 CPUtime=1.49 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 219526 0 0 0 119 30 0 0 20 0 4 0 109792624 1341722624 219825 33554432000 4194304 16246674 140734617521024 140734617502912 6045692 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16172/statm: 327569 219840 905 2943 0 324463 0
[pid=16172/tid=16173] ppid=16169 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1341722624 219847 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1341722624 219851 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1341722624 219852 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1310276
[startup+3.10043 s]
/proc/loadavg: 2.10 2.08 2.09 3/183 16176
/proc/meminfo: memFree=28255644/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1310276 CPUtime=3.08 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 268777 0 0 0 271 37 0 0 20 0 4 0 109792624 1341722624 269076 33554432000 4194304 16246674 140734617521024 140734617502912 5545898 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16172/statm: 327569 269076 913 2943 0 324463 0
[pid=16172/tid=16173] ppid=16169 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1341722624 269076 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1341722624 269076 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1341722624 269076 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1310276
[startup+6.30043 s]
/proc/loadavg: 2.17 2.10 2.09 3/183 16176
/proc/meminfo: memFree=28246140/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1328708 CPUtime=6.29 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 273265 0 0 0 591 38 0 0 20 0 4 0 109792624 1360596992 273564 33554432000 4194304 16246674 140734617521024 140734617504024 5677392 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16172/statm: 332177 273564 913 2943 0 329071 0
[pid=16172/tid=16173] ppid=16169 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1360596992 273564 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1360596992 273564 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1360596992 273564 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1328708
[startup+12.7004 s]
/proc/loadavg: 2.15 2.10 2.09 3/184 16179
/proc/meminfo: memFree=28236700/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1328708 CPUtime=12.69 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 273386 0 0 0 1231 38 0 0 20 0 4 0 109792624 1360596992 273685 33554432000 4194304 16246674 140734617521024 140734617502912 13198352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16172/statm: 332177 273685 914 2943 0 329071 0
[pid=16172/tid=16173] ppid=16169 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1360596992 273685 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1360596992 273685 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1360596992 273685 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1328708
[startup+25.5005 s]
/proc/loadavg: 2.27 2.12 2.10 3/184 16179
/proc/meminfo: memFree=28232384/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1334852 CPUtime=25.49 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 274922 0 0 0 2510 39 0 0 20 0 4 0 109792624 1366888448 275221 33554432000 4194304 16246674 140734617521024 140734617504024 14628944 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16172/statm: 333713 275221 914 2943 0 330607 0
[pid=16172/tid=16173] ppid=16169 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1366888448 275221 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1366888448 275221 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1366888448 275221 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1334852
[startup+51.1005 s]
/proc/loadavg: 2.18 2.11 2.09 3/184 16179
/proc/meminfo: memFree=28224976/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1342020 CPUtime=51.08 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 276714 0 0 0 5068 40 0 0 20 0 4 0 109792624 1374228480 277013 33554432000 4194304 16246674 140734617521024 140734617502912 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16172/statm: 335505 277013 914 2943 0 332399 0
[pid=16172/tid=16173] ppid=16169 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1374228480 277013 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1374228480 277013 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1374228480 277013 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1342020
[startup+102.301 s]
/proc/loadavg: 2.17 2.12 2.09 3/183 16180
/proc/meminfo: memFree=28165096/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1356356 CPUtime=102.28 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 280298 0 0 0 10186 42 0 0 20 0 4 0 109792624 1388908544 280597 33554432000 4194304 16246674 140734617521024 140734617502912 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16172/statm: 339089 280597 914 2943 0 335983 0
[pid=16172/tid=16173] ppid=16169 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1388908544 280597 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1388908544 280597 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1388908544 280597 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1356356
################
# More data... #
################
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1388908544 280858 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1356356
[startup+1362.3 s]
/proc/loadavg: 2.08 2.07 2.08 3/183 16284
/proc/meminfo: memFree=29399976/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1363524 CPUtime=1361.86 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 282391 0 0 0 136037 149 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140734617502912 6020678 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16172/statm: 340881 282650 916 2943 0 337775 0
[pid=16172/tid=16173] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1363524
[startup+1422.3 s]
/proc/loadavg: 2.06 2.07 2.08 3/183 16285
/proc/meminfo: memFree=29400132/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1363524 CPUtime=1421.86 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 282391 0 0 0 142034 152 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140734617502912 5822484 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16172/statm: 340881 282650 916 2943 0 337775 0
[pid=16172/tid=16173] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1363524
[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.07 3/183 16286
/proc/meminfo: memFree=29399916/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1363524 CPUtime=1481.84 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 282391 0 0 0 148026 158 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140734617502912 5677589 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16172/statm: 340881 282650 916 2943 0 337775 0
[pid=16172/tid=16173] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1363524
[startup+1542.31 s]
/proc/loadavg: 2.01 2.04 2.06 3/183 16287
/proc/meminfo: memFree=29399568/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1363524 CPUtime=1541.84 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 282391 0 0 0 154019 165 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140734617502912 5675950 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16172/statm: 340881 282650 916 2943 0 337775 0
[pid=16172/tid=16173] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1363524
[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.06 3/183 16288
/proc/meminfo: memFree=29399224/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1363524 CPUtime=1601.83 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 282391 0 0 0 160011 172 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140734617502912 5822252 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16172/statm: 340881 282650 916 2943 0 337775 0
[pid=16172/tid=16173] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1363524
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.06 3/183 16290
/proc/meminfo: memFree=29399476/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1363524 CPUtime=1661.82 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 282391 0 0 0 166000 182 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140734617502912 5823891 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16172/statm: 340881 282650 916 2943 0 337775 0
[pid=16172/tid=16173] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1363524
[startup+1722.3 s]
/proc/loadavg: 2.09 2.04 2.06 3/183 16291
/proc/meminfo: memFree=29399596/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1363524 CPUtime=1721.8 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 282391 0 0 0 171997 183 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140734617502912 5661892 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16172/statm: 340881 282650 916 2943 0 337775 0
[pid=16172/tid=16173] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1363524
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/183 16292
/proc/meminfo: memFree=29399344/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1363524 CPUtime=1781.8 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 282391 0 0 0 177992 188 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140734617502912 5711439 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16172/statm: 340881 282650 916 2943 0 337775 0
[pid=16172/tid=16173] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1363524
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 16292
/proc/meminfo: memFree=29399348/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1363524 CPUtime=1800 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 282391 0 0 0 179808 192 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140734617502912 5553672 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16172/statm: 340881 282650 916 2943 0 337775 0
[pid=16172/tid=16173] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1363524
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 16172 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 16292
/proc/meminfo: memFree=29399348/32872528 swapFree=11196/354588
[pid=16172] ppid=16169 vsize=1363524 CPUtime=1800 cores=1,3,5,7
/proc/16172/stat : 16172 (toysat) R 16169 16172 12837 0 -1 4202496 282391 0 0 0 179808 192 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140734617502912 5553672 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16172/statm: 340881 282650 916 2943 0 337775 0
[pid=16172/tid=16173] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16173/stat : 16173 (toysat) S 16169 16172 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247554829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16172/tid=16174] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16174/stat : 16174 (toysat) S 16169 16172 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247544339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16172/tid=16175] ppid=16169 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/16172/task/16175/stat : 16175 (toysat) S 16169 16172 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109792624 1396248576 282650 33554432000 4194304 16246674 140734617521024 140247459425456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1363524
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1798.09
CPU system time (s): 1.92171
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 1363524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.09
system time used= 1.92171
maximum resident set size= 1130600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282391
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= 314
involuntary context switches= 2421
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6093 second user time and 6.91295 second system time
The end