0.00/0.00 c 2016-06-29T17:33:38+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-4117555-1467214418.opb"]
0.00/0.01 c use --random-gen="4028391225 1687789078 2068948183 1816574473 2515684739 3743544258 2967852391 3478798123 2613966128 547656171 4190055481 186019967 3182816964 566476755 449955268 263398769 2878751093 2690557665 2426393323 73390567 220276049 1608420284 3275122192 3967316832 4024831957 3390683733 4065169153 1238979579 2613441405 3690909429 3618505467 4009519367 3507913716 45152613 1608020757 3066800282 4206630577 1917977459 1892387902 18392607 2407492914 3172960382 3348980728 4283955913 2814451416 3762074938 1326601441 2060791010 2409415990 3218911715 834892956 4070903671 4183982675 1967924879 467248004 2820590253 1675331173 253000796 3034548600 2858428352 1652973400 103460330 784075039 3617372898 1688871621 2960851111 479779263 1034839301 1263761192 954908835 932899172 3982970174 3894837049 1557875419 4025851859 2396389057 1579075060 2244263201 2166689428 2275684287 813258732 1485009201 610155038 1388138365 1838623146 525860505 2191963488 821916470 2270843112 1344421920 1494343209 1691968823 564497706 298094083 2858992586 4019568353 2136351028 648537159 2688781908 323888502 1346419761 3724655021 2132035888 913323978 3947238487 1083891094 3635429306 3649780638 1389000838 2050817988 1475351987 337683685 3430108389 1879677072 3151024054 404718888 1766569693 1063661797 2915530387 2117265418 2734927163 3866921199 263346916 996017382 2040589078 2872850512 520304390 1910336937 2844691045 1027510766 3923637865 759171369 348245200 2016904119 3410437219 3742760216 286141308 1860322160 3966084839 3215817482 716915055 3296404970 3823610966 2688546565 3910738668 3046399034 2457297215 191223188 1928207246 1804717403 3592515455 3118688070 1401279730 3972859345 2888018268 2716300892 1543090402 3526916121 3894574214 2381550629 4225634782 3086085566 106201892 3917441180 1197884191 1644763644 825445092 1378912735 164598174 1930722156 2763883754 1305990585 2487249649 2063060780 428983256 3969884558 3596771086 2085609615 2705396657 1201336121 2765865225 2407566302 3281185225 3011177027 1667115565 693997392 2637004105 2420668384 440181745 2146737943 2033168372 1395196357 3238861852 287634765 1654811620 621171550 1624340963 1989745871 1839722130 1756856083 173750900 1838662475 246106131 3053503809 1525646646 4126579717 1841996824 485027683 3206346664 1035974879 2086125478 435779536 2325172004 2342915709 3922395339 1495502485 4294762704 1397929362 3779010400 2345676616 1892099898 2316070833 212615022 3784450934 3591266992 3474613984 492279373 1532374319 2842067414 1041610871 1045340044 3479915170 3527966916 2528316667 659510497 874334156 3313462503 134597215 3377059871 2657604212 1408344258 1142014303 3115522052 2676837978 3990624415 3583147783 925628841 1544676349 545673063 476604869 391537080 3199484485 1652204948 2477561659 1547335401 909220416 255 362436" option to reproduce the execution
0.00/0.01 c #vars 256
0.00/0.01 c #constraints 94
0.00/0.02 c BCD2: Hardening is enabled.
0.00/0.02 c BCD2: BiasedSearch is enabled.
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 141 0 | 23 | 0
0.00/0.02 c 0.0s | 0 | 46 | 10 | 141 0 | 23 | 0
0.00/0.02 c #cpu_time = 0.002s
0.00/0.02 c #wall_clock_time = 0.002s
0.00/0.02 c #decision = 46
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 10
0.00/0.02 c #restart = 0
0.00/0.02 o 115
0.00/0.02 c BCD2: updating upper bound: 256 -> 114
0.00/0.02 c BCD2: 0 <= obj <= 114
0.00/0.02 c BCD2: #cores=0, #unrelaxed=256, #relaxed=0, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 141 0 | 23 | 0
0.00/0.02 c 0.0s | 0 | 0 | 0 | 141 0 | 23 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 0
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 1
0.00/0.02 c BCD2: 1 <= obj <= 114
0.00/0.02 c BCD2: #cores=1, #unrelaxed=255, #relaxed=1, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 141 0 | 23 | 0
0.00/0.02 c 0.0s | 0 | 6 | 0 | 141 0 | 23 | 0
0.00/0.02 c #cpu_time = 0.001s
0.00/0.02 c #wall_clock_time = 0.001s
0.00/0.02 c #decision = 6
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.02 c lower bound updated to 2
0.00/0.02 c BCD2: 2 <= obj <= 114
0.00/0.02 c BCD2: #cores=2, #unrelaxed=249, #relaxed=7, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 141 0 | 23 | 0
0.00/0.02 c 0.0s | 0 | 7 | 1 | 141 0 | 23 | 0
0.00/0.02 c #cpu_time = 0.001s
0.00/0.02 c #wall_clock_time = 0.001s
0.00/0.02 c #decision = 7
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 1
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.02 c lower bound updated to 3
0.00/0.02 c BCD2: 3 <= obj <= 114
0.00/0.02 c BCD2: #cores=2, #unrelaxed=244, #relaxed=12, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=4 bias=4/5
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 141 0 | 24 | 0
0.00/0.03 c 0.0s | 0 | 2 | 0 | 141 0 | 24 | 1
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 2
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.03 c lower bound updated to 4
0.00/0.03 c BCD2: 4 <= obj <= 114
0.00/0.03 c BCD2: #cores=3, #unrelaxed=243, #relaxed=13, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=5 bias=5/6
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 141 0 | 24 | 1
0.00/0.03 c 0.0s | 0 | 8 | 0 | 141 0 | 24 | 1
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 8
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.03 c lower bound updated to 5
0.00/0.03 c BCD2: 5 <= obj <= 114
0.00/0.03 c BCD2: #cores=4, #unrelaxed=237, #relaxed=19, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=6 bias=6/7
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 141 0 | 24 | 1
0.00/0.03 c 0.0s | 0 | 9 | 1 | 141 0 | 24 | 1
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 9
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.03 c lower bound updated to 6
0.00/0.03 c BCD2: 6 <= obj <= 114
0.00/0.03 c BCD2: #cores=4, #unrelaxed=232, #relaxed=24, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=7 bias=7/8
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 141 0 | 25 | 1
0.00/0.03 c 0.0s | 0 | 6 | 0 | 141 0 | 25 | 2
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 6
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.03 c lower bound updated to 7
0.00/0.03 c BCD2: 7 <= obj <= 114
0.00/0.03 c BCD2: #cores=5, #unrelaxed=231, #relaxed=25, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=8 bias=8/9
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 141 0 | 25 | 2
0.00/0.03 c 0.0s | 0 | 15 | 0 | 141 0 | 25 | 2
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 15
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.03 c lower bound updated to 8
0.00/0.03 c BCD2: 8 <= obj <= 114
0.00/0.03 c BCD2: #cores=6, #unrelaxed=222, #relaxed=34, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=9 bias=9/10
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 141 0 | 25 | 2
0.00/0.03 c 0.0s | 0 | 22 | 0 | 141 0 | 25 | 2
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 22
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 12: cost of the new core is >=1
0.00/0.03 c lower bound updated to 9
0.00/0.03 c BCD2: 9 <= obj <= 114
0.00/0.03 c BCD2: #cores=7, #unrelaxed=210, #relaxed=46, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=10 bias=10/11
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 141 0 | 25 | 2
0.00/0.03 c 0.0s | 0 | 25 | 0 | 141 0 | 25 | 2
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 25
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.03 c lower bound updated to 10
0.00/0.03 c BCD2: 10 <= obj <= 114
0.00/0.03 c BCD2: #cores=8, #unrelaxed=202, #relaxed=54, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=11 bias=11/12
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 141 0 | 25 | 2
0.00/0.03 c 0.0s | 0 | 26 | 1 | 141 0 | 25 | 2
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 26
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 15: cost of the new core is >=2
0.00/0.03 c lower bound updated to 11
0.00/0.03 c BCD2: 11 <= obj <= 114
0.00/0.03 c BCD2: #cores=8, #unrelaxed=195, #relaxed=61, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=12 bias=12/13
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 141 0 | 26 | 2
0.00/0.03 c 0.0s | 0 | 29 | 0 | 141 0 | 26 | 3
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 29
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 10: cost of the new core is >=1
0.00/0.03 c lower bound updated to 12
0.00/0.03 c BCD2: 12 <= obj <= 114
0.00/0.03 c BCD2: #cores=9, #unrelaxed=185, #relaxed=71, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=13 bias=13/14
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 141 0 | 26 | 3
0.00/0.04 c 0.0s | 0 | 35 | 0 | 141 0 | 26 | 3
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 35
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.04 c lower bound updated to 13
0.00/0.04 c BCD2: 13 <= obj <= 114
0.00/0.04 c BCD2: #cores=10, #unrelaxed=176, #relaxed=80, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=14 bias=14/15
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 141 0 | 26 | 3
0.00/0.04 c 0.0s | 0 | 35 | 1 | 141 0 | 26 | 3
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 35
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 14 and merging with 1 cores into a new core of size 25: cost of the new core is >=3
0.00/0.04 c lower bound updated to 14
0.00/0.04 c BCD2: 14 <= obj <= 114
0.00/0.04 c BCD2: #cores=10, #unrelaxed=162, #relaxed=94, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=15 bias=15/16
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 141 0 | 27 | 3
0.00/0.04 c 0.0s | 0 | 33 | 0 | 141 0 | 27 | 4
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 33
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 13: cost of the new core is >=1
0.00/0.04 c lower bound updated to 15
0.00/0.04 c BCD2: 15 <= obj <= 114
0.00/0.04 c BCD2: #cores=11, #unrelaxed=149, #relaxed=107, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=16 bias=16/17
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 141 0 | 27 | 4
0.00/0.04 c 0.0s | 0 | 35 | 0 | 141 0 | 27 | 4
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 35
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 11: cost of the new core is >=1
0.00/0.04 c lower bound updated to 16
0.00/0.04 c BCD2: 16 <= obj <= 114
0.00/0.04 c BCD2: #cores=12, #unrelaxed=138, #relaxed=118, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=17 bias=17/18
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 141 0 | 27 | 4
0.00/0.04 c 0.0s | 0 | 39 | 0 | 141 0 | 27 | 4
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 39
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.04 c lower bound updated to 17
0.00/0.04 c BCD2: 17 <= obj <= 114
0.00/0.04 c BCD2: #cores=13, #unrelaxed=129, #relaxed=127, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=18 bias=18/19
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 141 0 | 27 | 4
0.00/0.04 c 0.0s | 0 | 51 | 0 | 141 0 | 27 | 4
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 51
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 13: cost of the new core is >=1
0.00/0.04 c lower bound updated to 18
0.00/0.04 c BCD2: 18 <= obj <= 114
0.00/0.04 c BCD2: #cores=14, #unrelaxed=116, #relaxed=140, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=19 bias=19/20
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 141 0 | 27 | 4
0.00/0.04 c 0.0s | 0 | 50 | 0 | 141 0 | 27 | 4
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 50
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.04 c lower bound updated to 19
0.00/0.04 c BCD2: 19 <= obj <= 114
0.00/0.04 c BCD2: #cores=15, #unrelaxed=108, #relaxed=148, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=20 bias=20/21
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 141 0 | 27 | 4
0.00/0.04 c 0.0s | 0 | 55 | 1 | 141 0 | 27 | 4
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 55
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 11: cost of the new core is >=1
0.00/0.04 c lower bound updated to 20
0.00/0.04 c BCD2: 20 <= obj <= 114
0.00/0.04 c BCD2: #cores=16, #unrelaxed=97, #relaxed=159, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=21 bias=21/22
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 141 0 | 27 | 4
0.00/0.05 c 0.0s | 0 | 41 | 0 | 141 0 | 27 | 4
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 41
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.05 c lower bound updated to 21
0.00/0.05 c BCD2: 21 <= obj <= 114
0.00/0.05 c BCD2: #cores=17, #unrelaxed=96, #relaxed=160, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=22 bias=22/23
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 141 0 | 27 | 4
0.00/0.05 c 0.0s | 0 | 53 | 1 | 141 0 | 27 | 4
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 53
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 14 and merging with 1 cores into a new core of size 22: cost of the new core is >=2
0.00/0.05 c lower bound updated to 22
0.00/0.05 c BCD2: 22 <= obj <= 114
0.00/0.05 c BCD2: #cores=17, #unrelaxed=82, #relaxed=174, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=23 bias=23/24
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 141 0 | 28 | 4
0.00/0.05 c 0.0s | 0 | 40 | 0 | 141 0 | 28 | 5
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 40
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.05 c lower bound updated to 23
0.00/0.05 c BCD2: 23 <= obj <= 114
0.00/0.05 c BCD2: #cores=18, #unrelaxed=75, #relaxed=181, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=24 bias=24/25
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 141 0 | 28 | 5
0.00/0.05 c 0.0s | 0 | 36 | 0 | 141 0 | 28 | 5
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 36
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.05 c lower bound updated to 24
0.00/0.05 c BCD2: 24 <= obj <= 114
0.00/0.05 c BCD2: #cores=19, #unrelaxed=74, #relaxed=182, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=25 bias=25/26
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 141 0 | 28 | 5
0.00/0.05 c 0.0s | 0 | 43 | 0 | 141 0 | 28 | 5
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 43
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.05 c lower bound updated to 25
0.00/0.05 c BCD2: 25 <= obj <= 114
0.00/0.05 c BCD2: #cores=20, #unrelaxed=68, #relaxed=188, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=26 bias=26/27
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 141 0 | 28 | 5
0.00/0.05 c 0.0s | 0 | 44 | 1 | 141 0 | 28 | 5
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 44
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.05 c lower bound updated to 26
0.00/0.05 c BCD2: 26 <= obj <= 114
0.00/0.05 c BCD2: #cores=20, #unrelaxed=63, #relaxed=193, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=27 bias=27/28
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 141 0 | 29 | 5
0.00/0.05 c 0.0s | 0 | 40 | 0 | 141 0 | 29 | 6
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 40
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.05 c lower bound updated to 27
0.00/0.05 c BCD2: 27 <= obj <= 114
0.00/0.05 c BCD2: #cores=21, #unrelaxed=62, #relaxed=194, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=28 bias=28/29
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 141 0 | 29 | 6
0.00/0.05 c 0.0s | 0 | 50 | 0 | 141 0 | 29 | 6
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 50
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.05 c lower bound updated to 28
0.00/0.05 c BCD2: 28 <= obj <= 114
0.00/0.05 c BCD2: #cores=22, #unrelaxed=53, #relaxed=203, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=29 bias=29/30
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 141 0 | 29 | 6
0.00/0.05 c 0.0s | 0 | 45 | 0 | 141 0 | 29 | 6
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 45
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.05 c lower bound updated to 29
0.00/0.06 c BCD2: 29 <= obj <= 114
0.00/0.06 c BCD2: #cores=23, #unrelaxed=52, #relaxed=204, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=30 bias=30/31
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 141 0 | 29 | 6
0.00/0.06 c 0.0s | 0 | 54 | 0 | 141 0 | 29 | 6
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 54
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.06 c lower bound updated to 30
0.00/0.06 c BCD2: 30 <= obj <= 114
0.00/0.06 c BCD2: #cores=24, #unrelaxed=45, #relaxed=211, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=31 bias=31/32
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 141 0 | 29 | 6
0.00/0.06 c 0.0s | 0 | 50 | 0 | 141 0 | 29 | 6
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 50
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.06 c lower bound updated to 31
0.00/0.06 c BCD2: 31 <= obj <= 114
0.00/0.06 c BCD2: #cores=25, #unrelaxed=40, #relaxed=216, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=32 bias=32/33
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 141 0 | 29 | 6
0.00/0.06 c 0.0s | 0 | 47 | 0 | 141 0 | 29 | 6
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 47
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.06 c lower bound updated to 32
0.00/0.06 c BCD2: 32 <= obj <= 114
0.00/0.06 c BCD2: #cores=26, #unrelaxed=39, #relaxed=217, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=33 bias=33/34
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 141 0 | 29 | 6
0.00/0.06 c 0.0s | 0 | 48 | 0 | 141 0 | 29 | 6
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 48
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.06 c lower bound updated to 33
0.00/0.06 c BCD2: 33 <= obj <= 114
0.00/0.06 c BCD2: #cores=27, #unrelaxed=35, #relaxed=221, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=34 bias=34/35
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 141 0 | 29 | 7
0.00/0.06 c 0.0s | 0 | 46 | 0 | 141 0 | 29 | 7
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 46
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to 34
0.00/0.06 c BCD2: 34 <= obj <= 114
0.00/0.06 c BCD2: #cores=28, #unrelaxed=33, #relaxed=223, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=35 bias=35/36
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 141 0 | 29 | 8
0.00/0.06 c 0.0s | 0 | 159 | 55 | 141 0 | 29 | 8
0.00/0.06 c #cpu_time = 0.003s
0.00/0.06 c #wall_clock_time = 0.003s
0.00/0.06 c #decision = 159
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 55
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.00/0.06 c lower bound updated to 35
0.00/0.06 c BCD2: 35 <= obj <= 114
0.00/0.06 c BCD2: #cores=28, #unrelaxed=29, #relaxed=227, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=36 bias=36/37
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 141 0 | 30 | 8
0.00/0.07 c 0.0s | 1 | 196 | 100 | 156 0 | 30 | 9
0.00/0.08 c 0.0s | 1 | 312 | 170 | 156 0 | 30 | 9
0.00/0.08 c #cpu_time = 0.011s
0.00/0.08 c #wall_clock_time = 0.011s
0.00/0.08 c #decision = 312
0.00/0.08 c #random_decision = 1
0.00/0.08 c #conflict = 170
0.00/0.08 c #restart = 1
0.00/0.08 c BCD2: relaxing 6 and merging with 5 cores into a new core of size 40: cost of the new core is >=6
0.00/0.08 c lower bound updated to 36
0.00/0.08 c BCD2: 36 <= obj <= 114
0.00/0.08 c BCD2: #cores=24, #unrelaxed=23, #relaxed=233, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=37 bias=37/38
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 156 0 | 35 | 9
0.00/0.08 c 0.0s | 1 | 175 | 100 | 172 0 | 35 | 14
0.00/0.09 c 0.0s | 1 | 221 | 115 | 172 0 | 35 | 14
0.00/0.09 c #cpu_time = 0.009s
0.00/0.09 c #wall_clock_time = 0.009s
0.00/0.09 c #decision = 221
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 115
0.00/0.09 c #restart = 1
0.00/0.09 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 15: cost of the new core is >=2
0.00/0.09 c lower bound updated to 37
0.00/0.09 c BCD2: 37 <= obj <= 114
0.00/0.09 c BCD2: #cores=24, #unrelaxed=21, #relaxed=235, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=38 bias=38/39
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 172 0 | 36 | 14
0.00/0.09 c 0.0s | 0 | 210 | 91 | 172 0 | 37 | 16
0.00/0.09 c #cpu_time = 0.006s
0.00/0.09 c #wall_clock_time = 0.006s
0.00/0.09 c #decision = 210
0.00/0.09 c #random_decision = 1
0.00/0.09 c #conflict = 91
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: updating lower bound of a core
0.00/0.09 c lower bound updated to 38
0.00/0.09 c BCD2: 38 <= obj <= 114
0.00/0.09 c BCD2: #cores=24, #unrelaxed=21, #relaxed=235, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=39 bias=39/40
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 172 0 | 37 | 17
0.09/0.11 c 0.0s | 1 | 194 | 100 | 190 0 | 37 | 17
0.09/0.14 c 0.0s | 2 | 442 | 250 | 190 0 | 37 | 17
0.09/0.17 c 0.1s | 3 | 774 | 475 | 210 2 | 37 | 17
0.19/0.21 c 0.1s | 4 | 1297 | 813 | 210 4 | 37 | 17
0.19/0.27 c 0.2s | 5 | 2002 | 1320 | 232 7 | 37 | 17
0.29/0.31 c 0.2s | 6 | 2800 | 2081 | 256 12 | 37 | 17
0.29/0.37 c 0.3s | 7 | 4000 | 3223 | 282 18 | 37 | 17
0.39/0.46 c 0.4s | 7 | 5750 | 4747 | 311 27 | 38 | 18
0.39/0.46 c #cpu_time = 0.364s
0.39/0.46 c #wall_clock_time = 0.365s
0.39/0.46 c #decision = 5750
0.39/0.46 c #random_decision = 14
0.39/0.46 c #conflict = 4747
0.39/0.46 c #restart = 7
0.39/0.46 c BCD2: updating lower bound of a core
0.39/0.46 c lower bound updated to 44
0.39/0.46 c BCD2: 44 <= obj <= 114
0.39/0.46 c BCD2: #cores=24, #unrelaxed=21, #relaxed=235, #hardened=0
0.39/0.46 c BCD2: #sat=1 #unsat=40 bias=40/41
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 | 311 0 | 38 | 19
0.39/0.47 c 0.0s | 1 | 192 | 100 | 311 0 | 38 | 19
0.39/0.47 c 0.0s | 1 | 400 | 172 | 311 0 | 38 | 19
0.39/0.47 c #cpu_time = 0.015s
0.39/0.47 c #wall_clock_time = 0.015s
0.39/0.47 c #decision = 400
0.39/0.47 c #random_decision = 1
0.39/0.47 c #conflict = 172
0.39/0.47 c #restart = 1
0.39/0.47 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 12: cost of the new core is >=2
0.39/0.47 c lower bound updated to 45
0.39/0.47 c BCD2: 45 <= obj <= 114
0.39/0.47 c BCD2: #cores=24, #unrelaxed=19, #relaxed=237, #hardened=0
0.39/0.47 c BCD2: #sat=1 #unsat=41 bias=41/42
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 | 311 0 | 39 | 19
0.39/0.48 c 0.0s | 0 | 137 | 55 | 311 0 | 40 | 21
0.39/0.48 c #cpu_time = 0.004s
0.39/0.48 c #wall_clock_time = 0.004s
0.39/0.48 c #decision = 137
0.39/0.48 c #random_decision = 0
0.39/0.48 c #conflict = 55
0.39/0.48 c #restart = 0
0.39/0.48 c BCD2: updating lower bound of a core
0.39/0.48 c lower bound updated to 46
0.39/0.48 c BCD2: 46 <= obj <= 114
0.39/0.48 c BCD2: #cores=24, #unrelaxed=19, #relaxed=237, #hardened=0
0.39/0.48 c BCD2: #sat=1 #unsat=42 bias=42/43
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 | 311 0 | 40 | 22
0.39/0.50 c 0.0s | 1 | 186 | 100 | 311 0 | 40 | 22
0.49/0.52 c 0.0s | 2 | 493 | 250 | 311 0 | 40 | 22
0.49/0.56 c 0.1s | 3 | 832 | 475 | 311 1 | 40 | 22
0.59/0.61 c 0.1s | 4 | 1434 | 813 | 311 3 | 40 | 22
0.59/0.69 c 0.2s | 5 | 2144 | 1320 | 311 5 | 40 | 22
0.79/0.81 c 0.3s | 6 | 3101 | 2081 | 343 9 | 40 | 22
0.89/0.98 c 0.5s | 7 | 4556 | 3223 | 343 14 | 40 | 22
1.20/1.22 c 0.7s | 8 | 6753 | 4936 | 343 21 | 40 | 22
1.29/1.39 c 0.9s | 9 | 9839 | 7506 | 378 32 | 40 | 22
1.79/1.85 c 1.4s | 10 | 14662 | 11361 | 378 48 | 40 | 22
2.20/2.26 c 1.8s | 11 | 20796 | 17144 | 416 70 | 40 | 22
3.09/3.18 c 2.7s | 12 | 31291 | 25819 | 458 101 | 40 | 22
4.50/4.56 c 4.1s | 13 | 47481 | 38832 | 504 147 | 40 | 22
6.49/6.53 c 6.1s | 14 | 70747 | 58352 | 555 211 | 40 | 22
8.49/8.54 c 8.1s | 14 | 93806 | 76752 | 555 266 | 40 | 22
9.69/9.76 c 9.3s | 15 | 106825 | 87632 | 611 298 | 40 | 22
10.00/10.01 c 9.5s | 15 | 109633 | 90019 | 611 304 | 40 | 22
10.00/10.01 c #cpu_time = 9.510s
10.00/10.01 c #wall_clock_time = 9.535s
10.00/10.01 c #decision = 109633
10.00/10.01 c #random_decision = 422
10.00/10.01 c #conflict = 90019
10.00/10.04 c #restart = 15
10.00/10.04 c BCD2: relaxing 3 and merging with 14 cores into a new core of size 190: cost of the new core is >=32
10.00/10.04 c lower bound updated to 47
10.00/10.04 c BCD2: 47 <= obj <= 114
10.00/10.04 c BCD2: #cores=11, #unrelaxed=16, #relaxed=240, #hardened=0
10.00/10.04 c BCD2: #sat=1 #unsat=43 bias=43/44
10.00/10.04 c Solving starts ...
10.00/10.04 c ============================[ Search Statistics ]============================
10.00/10.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
10.00/10.04 c | | | | Limit GC | Var | Constra
10.00/10.04 c =============================================================================
10.00/10.04 c 0.0s | 0 | 0 | 0 | 611 0 | 54 | 22
10.00/10.04 c 0.0s | 1 | 158 | 100 | 611 0 | 54 | 36
10.00/10.05 c 0.0s | 2 | 372 | 250 | 611 0 | 54 | 36
10.00/10.09 c 0.1s | 3 | 716 | 475 | 611 0 | 54 | 36
10.09/10.16 c 0.1s | 4 | 1177 | 813 | 611 1 | 54 | 36
10.19/10.26 c 0.2s | 5 | 1818 | 1320 | 611 2 | 54 | 36
10.39/10.41 c 0.4s | 6 | 2781 | 2081 | 611 4 | 54 | 36
10.59/10.64 c 0.6s | 7 | 4183 | 3223 | 611 7 | 54 | 36
10.89/10.97 c 1.0s | 8 | 6202 | 4936 | 611 11 | 54 | 36
11.39/11.49 c 1.5s | 9 | 9229 | 7506 | 611 18 | 54 | 36
12.29/12.33 c 2.3s | 10 | 13575 | 11361 | 611 28 | 54 | 36
13.39/13.49 c 3.5s | 11 | 20312 | 17144 | 611 43 | 54 | 36
15.19/15.25 c 5.2s | 12 | 30543 | 25819 | 611 66 | 54 | 36
17.19/17.27 c 7.3s | 12 | 41330 | 35419 | 673 92 | 54 | 36
17.99/18.00 c 8.0s | 13 | 45219 | 38832 | 673 101 | 54 | 36
19.99/20.01 c 10.0s | 13 | 56557 | 48532 | 673 124 | 54 | 36
21.99/22.01 c 12.0s | 13 | 67536 | 58032 | 673 148 | 54 | 36
21.99/22.07 c 12.1s | 14 | 67885 | 58352 | 673 148 | 54 | 36
23.98/24.08 c 14.1s | 14 | 79221 | 68152 | 673 173 | 54 | 36
26.08/26.10 c 16.1s | 14 | 90460 | 77452 | 673 196 | 54 | 36
28.08/28.10 c 18.1s | 14 | 101029 | 86552 | 673 219 | 54 | 36
28.28/28.32 c 18.3s | 15 | 102289 | 87632 | 673 221 | 54 | 36
30.29/30.33 c 20.3s | 15 | 114096 | 97832 | 673 246 | 54 | 36
32.29/32.34 c 22.3s | 15 | 125835 | 107932 | 741 270 | 54 | 36
34.29/34.35 c 24.3s | 15 | 136564 | 117332 | 741 292 | 54 | 36
36.29/36.36 c 26.3s | 15 | 147309 | 126532 | 741 313 | 54 | 36
37.39/37.47 c 27.5s | 16 | 153126 | 131552 | 741 324 | 54 | 36
39.39/39.49 c 29.5s | 16 | 163793 | 140552 | 741 344 | 54 | 36
41.49/41.51 c 31.5s | 16 | 173974 | 149252 | 741 363 | 54 | 36
43.49/43.53 c 33.5s | 16 | 182409 | 156652 | 741 380 | 54 | 36
45.48/45.55 c 35.5s | 16 | 191523 | 164652 | 741 397 | 54 | 36
47.48/47.56 c 37.5s | 16 | 201769 | 173352 | 741 417 | 54 | 36
49.49/49.57 c 39.6s | 16 | 212227 | 182252 | 741 437 | 54 | 36
51.48/51.59 c 41.6s | 16 | 221630 | 190352 | 741 455 | 54 | 36
53.28/53.35 c 43.3s | 17 | 229976 | 197432 | 741 471 | 54 | 36
55.28/55.38 c 45.4s | 17 | 241442 | 207132 | 816 491 | 54 | 36
57.29/57.39 c 47.4s | 17 | 252826 | 216732 | 816 510 | 54 | 36
59.28/59.39 c 49.4s | 17 | 265088 | 227232 | 816 532 | 54 | 36
61.28/61.40 c 51.4s | 17 | 275350 | 236132 | 816 551 | 54 | 36
63.38/63.40 c 53.4s | 17 | 285704 | 245132 | 816 569 | 54 | 36
65.38/65.41 c 55.4s | 17 | 295580 | 253732 | 816 587 | 54 | 36
67.38/67.42 c 57.4s | 17 | 305867 | 262532 | 816 605 | 54 | 36
69.38/69.43 c 59.4s | 17 | 315852 | 271132 | 816 623 | 54 | 36
71.38/71.45 c 61.4s | 17 | 326853 | 280632 | 816 643 | 54 | 36
73.38/73.45 c 63.4s | 17 | 337820 | 290132 | 816 662 | 54 | 36
74.78/74.86 c 64.8s | 18 | 345005 | 296252 | 816 675 | 54 | 36
76.77/76.87 c 66.9s | 18 | 355751 | 305352 | 816 694 | 54 | 36
78.77/78.89 c 68.9s | 18 | 366332 | 314352 | 816 713 | 54 | 36
80.88/80.90 c 70.9s | 18 | 376617 | 323152 | 816 731 | 54 | 36
82.88/82.91 c 72.9s | 18 | 386368 | 331652 | 816 748 | 54 | 36
84.88/84.93 c 74.9s | 18 | 395855 | 339952 | 816 765 | 54 | 36
86.89/86.95 c 76.9s | 18 | 405810 | 348552 | 898 783 | 54 | 36
88.88/88.95 c 78.9s | 18 | 416091 | 357352 | 898 800 | 54 | 36
90.88/90.97 c 81.0s | 18 | 425975 | 365752 | 898 816 | 54 | 36
92.88/92.99 c 83.0s | 18 | 435749 | 374152 | 898 832 | 54 | 36
94.98/95.01 c 85.0s | 18 | 445978 | 382852 | 898 848 | 54 | 36
96.98/97.01 c 87.0s | 18 | 455808 | 391352 | 898 865 | 54 | 36
98.99/99.02 c 89.0s | 18 | 465676 | 399952 | 898 881 | 54 | 36
100.98/101.05 c 91.0s | 18 | 474758 | 407852 | 898 896 | 54 | 36
102.98/103.05 c 93.0s | 18 | 484227 | 416052 | 898 911 | 54 | 36
104.98/105.08 c 95.1s | 18 | 494340 | 424652 | 898 928 | 54 | 36
106.98/107.09 c 97.1s | 18 | 504358 | 433152 | 898 944 | 54 | 36
109.08/109.10 c 99.1s | 18 | 514479 | 441752 | 898 960 | 54 | 36
109.68/109.72 c 99.7s | 19 | 517735 | 444482 | 898 965 | 54 | 36
111.68/111.72 c 101s | 19 | 527974 | 452882 | 898 982 | 54 | 36
113.68/113.74 c 103s | 19 | 537418 | 460882 | 898 997 | 54 | 36
115.68/115.77 c 105s | 19 | 545829 | 468082 | 898 1011 | 54 | 36
117.68/117.77 c 107s | 19 | 554279 | 475382 | 898 1025 | 54 | 36
119.67/119.78 c 109s | 19 | 563646 | 483182 | 898 1040 | 54 | 36
121.67/121.79 c 111s | 19 | 573156 | 491082 | 898 1055 | 54 | 36
123.77/123.80 c 113s | 19 | 581847 | 498482 | 898 1069 | 54 | 36
125.77/125.81 c 115s | 19 | 593270 | 507682 | 898 1087 | 54 | 36
127.77/127.83 c 117s | 19 | 603083 | 515982 | 898 1103 | 54 | 36
129.78/129.83 c 119s | 19 | 612909 | 524282 | 898 1119 | 54 | 36
131.77/131.83 c 121s | 19 | 621546 | 531582 | 898 1133 | 54 | 36
133.77/133.85 c 123s | 19 | 629434 | 538382 | 898 1146 | 54 | 36
135.77/135.86 c 125s | 19 | 637890 | 545582 | 898 1160 | 54 | 36
137.77/137.86 c 127s | 19 | 646636 | 553182 | 898 1175 | 54 | 36
139.77/139.88 c 129s | 19 | 656314 | 561182 | 898 1190 | 54 | 36
141.77/141.90 c 131s | 19 | 665152 | 568682 | 988 1204 | 54 | 36
143.87/143.91 c 133s | 19 | 673939 | 576182 | 988 1218 | 54 | 36
145.86/145.92 c 135s | 19 | 682373 | 583482 | 988 1230 | 54 | 36
147.86/147.93 c 137s | 19 | 690720 | 590782 | 988 1243 | 54 | 36
149.87/149.95 c 139s | 19 | 698703 | 597782 | 988 1256 | 54 | 36
151.88/151.96 c 141s | 19 | 706312 | 604482 | 988 1268 | 54 | 36
153.87/153.97 c 143s | 19 | 715023 | 611882 | 988 1281 | 54 | 36
155.87/155.99 c 145s | 19 | 723420 | 618982 | 988 1294 | 54 | 36
157.97/158.00 c 147s | 19 | 732657 | 626682 | 988 1307 | 54 | 36
159.97/160.02 c 149s | 19 | 740989 | 633882 | 988 1320 | 54 | 36
161.97/162.02 c 152s | 19 | 749915 | 641582 | 988 1334 | 54 | 36
163.98/164.02 c 154s | 19 | 758270 | 648882 | 988 1347 | 54 | 36
165.97/166.04 c 156s | 19 | 766433 | 655982 | 988 1359 | 54 | 36
167.97/168.05 c 158s | 19 | 774588 | 662982 | 988 1372 | 54 | 36
169.07/169.15 c 159s | 20 | 778914 | 666827 | 988 1379 | 54 | 36
171.07/171.18 c 161s | 20 | 788252 | 674927 | 988 1393 | 54 | 36
173.07/173.19 c 163s | 20 | 797038 | 682727 | 988 1406 | 54 | 36
175.17/175.20 c 165s | 20 | 805596 | 690327 | 988 1419 | 54 | 36
177.17/177.23 c 167s | 20 | 813925 | 697727 | 988 1432 | 54 | 36
179.16/179.24 c 169s | 20 | 822889 | 705527 | 988 1445 | 54 | 36
181.16/181.24 c 171s | 20 | 831406 | 713027 | 988 1458 | 54 | 36
183.16/183.26 c 173s | 20 | 840032 | 720627 | 988 1471 | 54 | 36
185.16/185.26 c 175s | 20 | 848558 | 728227 | 988 1484 | 54 | 36
187.16/187.27 c 177s | 20 | 857583 | 736127 | 988 1498 | 54 | 36
189.17/189.28 c 179s | 20 | 867176 | 744427 | 988 1512 | 54 | 36
191.26/191.30 c 181s | 20 | 876108 | 752227 | 988 1526 | 54 | 36
193.26/193.31 c 183s | 20 | 884752 | 759827 | 988 1539 | 54 | 36
195.26/195.32 c 185s | 20 | 894142 | 767927 | 988 1553 | 54 | 36
197.26/197.32 c 187s | 20 | 903175 | 775827 | 988 1566 | 54 | 36
199.26/199.34 c 189s | 20 | 911783 | 783427 | 988 1579 | 54 | 36
201.27/201.34 c 191s | 20 | 920395 | 791027 | 988 1592 | 54 | 36
203.26/203.36 c 193s | 20 | 928770 | 798427 | 988 1605 | 54 | 36
205.26/205.38 c 195s | 20 | 938001 | 806527 | 988 1619 | 54 | 36
207.36/207.40 c 197s | 20 | 947120 | 814527 | 988 1633 | 54 | 36
209.36/209.41 c 199s | 20 | 956331 | 822627 | 988 1647 | 54 | 36
211.36/211.42 c 201s | 20 | 965121 | 830327 | 988 1660 | 54 | 36
213.36/213.43 c 203s | 20 | 973759 | 837927 | 988 1674 | 54 | 36
215.36/215.43 c 205s | 20 | 982546 | 845627 | 988 1687 | 54 | 36
217.36/217.46 c 207s | 20 | 991577 | 853527 | 988 1701 | 54 | 36
219.35/219.48 c 209s | 20 | 1000608 | 861327 | 988 1714 | 54 | 36
221.35/221.49 c 211s | 20 | 1009302 | 869027 | 988 1727 | 54 | 36
223.36/223.49 c 213s | 20 | 1017675 | 876427 | 988 1740 | 54 | 36
225.46/225.51 c 215s | 20 | 1026930 | 884527 | 988 1754 | 54 | 36
227.45/227.52 c 217s | 20 | 1035960 | 892427 | 988 1768 | 54 | 36
229.46/229.53 c 219s | 20 | 1044961 | 900227 | 1087 1781 | 54 | 36
231.46/231.54 c 221s | 20 | 1053733 | 907927 | 1087 1793 | 54 | 36
233.46/233.57 c 223s | 20 | 1062614 | 915427 | 1087 1806 | 54 | 36
235.46/235.59 c 225s | 20 | 1071019 | 922727 | 1087 1817 | 54 | 36
237.56/237.61 c 227s | 20 | 1079397 | 930027 | 1087 1829 | 54 | 36
239.56/239.63 c 229s | 20 | 1088791 | 937927 | 1087 1842 | 54 | 36
241.56/241.64 c 231s | 20 | 1097907 | 945827 | 1087 1855 | 54 | 36
243.55/243.67 c 233s | 20 | 1106815 | 953427 | 1087 1867 | 54 | 36
245.55/245.67 c 235s | 20 | 1115612 | 961127 | 1087 1879 | 54 | 36
247.56/247.68 c 237s | 20 | 1124010 | 968427 | 1087 1891 | 54 | 36
249.66/249.70 c 239s | 20 | 1132937 | 976227 | 1087 1904 | 54 | 36
251.65/251.71 c 241s | 20 | 1141691 | 983827 | 1087 1916 | 54 | 36
253.65/253.71 c 243s | 20 | 1150699 | 991527 | 1087 1929 | 54 | 36
255.65/255.73 c 245s | 20 | 1159107 | 998827 | 1087 1940 | 54 | 36
256.05/256.14 c 246s | 21 | 1160833 | 1000345 | 1087 1943 | 54 | 36
258.05/258.16 c 248s | 21 | 1170799 | 1008945 | 1087 1957 | 54 | 36
260.05/260.17 c 250s | 21 | 1180148 | 1017245 | 1087 1970 | 54 | 36
262.05/262.19 c 252s | 21 | 1188975 | 1025045 | 1087 1982 | 54 | 36
264.15/264.20 c 254s | 21 | 1198175 | 1033045 | 1087 1995 | 54 | 36
266.15/266.21 c 256s | 21 | 1207286 | 1041045 | 1087 2008 | 54 | 36
268.15/268.23 c 258s | 21 | 1216531 | 1049145 | 1087 2021 | 54 | 36
270.15/270.24 c 260s | 21 | 1225389 | 1057045 | 1087 2033 | 54 | 36
272.15/272.25 c 262s | 21 | 1234766 | 1065345 | 1087 2047 | 54 | 36
274.14/274.27 c 264s | 21 | 1244077 | 1073545 | 1087 2060 | 54 | 36
276.16/276.27 c 266s | 21 | 1253193 | 1081545 | 1087 2072 | 54 | 36
278.15/278.29 c 268s | 21 | 1262411 | 1089545 | 1087 2085 | 54 | 36
280.25/280.30 c 270s | 21 | 1271051 | 1097245 | 1087 2097 | 54 | 36
282.25/282.31 c 272s | 21 | 1280301 | 1105345 | 1087 2110 | 54 | 36
284.25/284.33 c 274s | 21 | 1289098 | 1113045 | 1087 2122 | 54 | 36
286.25/286.34 c 276s | 21 | 1297928 | 1120745 | 1087 2135 | 54 | 36
288.26/288.36 c 278s | 21 | 1307118 | 1128445 | 1087 2147 | 54 | 36
290.25/290.37 c 280s | 21 | 1315727 | 1135945 | 1087 2159 | 54 | 36
292.25/292.38 c 282s | 21 | 1324523 | 1143645 | 1087 2171 | 54 | 36
294.35/294.40 c 284s | 21 | 1333724 | 1151545 | 1087 2184 | 54 | 36
296.35/296.42 c 286s | 21 | 1342848 | 1159545 | 1087 2197 | 54 | 36
298.35/298.43 c 288s | 21 | 1351611 | 1167245 | 1087 2209 | 54 | 36
300.35/300.46 c 290s | 21 | 1360684 | 1175145 | 1087 2221 | 54 | 36
302.35/302.47 c 292s | 21 | 1369636 | 1183045 | 1087 2234 | 54 | 36
304.34/304.49 c 294s | 21 | 1378519 | 1190945 | 1087 2247 | 54 | 36
306.44/306.50 c 296s | 21 | 1387275 | 1198645 | 1087 2259 | 54 | 36
308.44/308.51 c 298s | 21 | 1396567 | 1206645 | 1087 2272 | 54 | 36
310.44/310.52 c 300s | 21 | 1405920 | 1214645 | 1087 2285 | 54 | 36
312.45/312.54 c 302s | 21 | 1415090 | 1222545 | 1087 2298 | 54 | 36
314.44/314.56 c 304s | 21 | 1424279 | 1230545 | 1087 2310 | 54 | 36
316.44/316.56 c 306s | 21 | 1433809 | 1238845 | 1087 2324 | 54 | 36
318.44/318.59 c 308s | 21 | 1442689 | 1246445 | 1087 2336 | 54 | 36
320.44/320.59 c 310s | 21 | 1451443 | 1254045 | 1087 2348 | 54 | 36
322.54/322.60 c 312s | 21 | 1460412 | 1261945 | 1087 2361 | 54 | 36
324.55/324.61 c 314s | 21 | 1469162 | 1269545 | 1087 2373 | 54 | 36
326.54/326.61 c 316s | 21 | 1478426 | 1277645 | 1087 2386 | 54 | 36
328.54/328.64 c 318s | 21 | 1487075 | 1285245 | 1087 2398 | 54 | 36
330.54/330.66 c 320s | 21 | 1495792 | 1292845 | 1087 2410 | 54 | 36
332.54/332.68 c 322s | 21 | 1505615 | 1301445 | 1087 2424 | 54 | 36
334.54/334.70 c 324s | 21 | 1514538 | 1309145 | 1087 2436 | 54 | 36
336.64/336.72 c 326s | 21 | 1523697 | 1316945 | 1087 2448 | 54 | 36
338.64/338.72 c 328s | 21 | 1532516 | 1324645 | 1087 2461 | 54 | 36
340.64/340.73 c 330s | 21 | 1541834 | 1332645 | 1087 2473 | 54 | 36
342.64/342.74 c 332s | 21 | 1550544 | 1340245 | 1087 2485 | 54 | 36
344.64/344.76 c 334s | 21 | 1559679 | 1348145 | 1087 2498 | 54 | 36
346.64/346.77 c 336s | 21 | 1568684 | 1355945 | 1087 2511 | 54 | 36
348.64/348.78 c 338s | 21 | 1577457 | 1363645 | 1087 2523 | 54 | 36
350.63/350.78 c 340s | 21 | 1585989 | 1371045 | 1087 2535 | 54 | 36
352.63/352.79 c 342s | 21 | 1593968 | 1378145 | 1087 2546 | 54 | 36
354.63/354.79 c 344s | 21 | 1602961 | 1385845 | 1087 2558 | 54 | 36
356.73/356.82 c 346s | 21 | 1611423 | 1393245 | 1087 2570 | 54 | 36
358.73/358.83 c 348s | 21 | 1620948 | 1401545 | 1196 2583 | 54 | 36
360.74/360.85 c 350s | 21 | 1630698 | 1409945 | 1196 2595 | 54 | 36
362.73/362.87 c 352s | 21 | 1639013 | 1417245 | 1196 2605 | 54 | 36
364.73/364.87 c 354s | 21 | 1647266 | 1424545 | 1196 2616 | 54 | 36
366.73/366.88 c 356s | 21 | 1656091 | 1432145 | 1196 2627 | 54 | 36
368.83/368.90 c 358s | 21 | 1665139 | 1439845 | 1196 2638 | 54 | 36
370.83/370.91 c 360s | 21 | 1674031 | 1447545 | 1196 2650 | 54 | 36
372.84/372.94 c 362s | 21 | 1682480 | 1454845 | 1196 2661 | 54 | 36
374.83/374.97 c 364s | 21 | 1691067 | 1462345 | 1196 2672 | 54 | 36
376.84/376.98 c 366s | 21 | 1699761 | 1469945 | 1196 2683 | 54 | 36
378.84/378.99 c 368s | 21 | 1708291 | 1477345 | 1196 2694 | 54 | 36
380.94/381.00 c 370s | 21 | 1716563 | 1484645 | 1196 2704 | 54 | 36
382.94/383.01 c 372s | 21 | 1725181 | 1492145 | 1196 2716 | 54 | 36
384.94/385.02 c 375s | 21 | 1734785 | 1500345 | 1196 2728 | 54 | 36
384.94/385.08 c 375s | 22 | 1735090 | 1500622 | 1196 2728 | 54 | 36
387.03/387.10 c 377s | 22 | 1745118 | 1509322 | 1196 2741 | 54 | 36
389.03/389.12 c 379s | 22 | 1754462 | 1517622 | 1196 2753 | 54 | 36
391.03/391.13 c 381s | 22 | 1763261 | 1525522 | 1196 2764 | 54 | 36
393.03/393.14 c 383s | 22 | 1771927 | 1533222 | 1196 2776 | 54 | 36
395.03/395.16 c 385s | 22 | 1780688 | 1540922 | 1196 2787 | 54 | 36
397.04/397.16 c 387s | 22 | 1789241 | 1548522 | 1196 2798 | 54 | 36
399.03/399.16 c 389s | 22 | 1798112 | 1556322 | 1196 2809 | 54 | 36
401.03/401.17 c 391s | 22 | 1807079 | 1564122 | 1196 2821 | 54 | 36
403.13/403.20 c 393s | 22 | 1815749 | 1571722 | 1196 2832 | 54 | 36
405.13/405.21 c 395s | 22 | 1824383 | 1579422 | 1196 2843 | 54 | 36
407.13/407.21 c 397s | 22 | 1833069 | 1587122 | 1196 2854 | 54 | 36
409.13/409.22 c 399s | 22 | 1842246 | 1595222 | 1196 2866 | 54 | 36
411.13/411.24 c 401s | 22 | 1851587 | 1603422 | 1196 2878 | 54 | 36
413.13/413.26 c 403s | 22 | 1860758 | 1611522 | 1196 2890 | 54 | 36
415.13/415.26 c 405s | 22 | 1869704 | 1619422 | 1196 2902 | 54 | 36
417.13/417.27 c 407s | 22 | 1878757 | 1627422 | 1196 2914 | 54 | 36
419.13/419.28 c 409s | 22 | 1887461 | 1635122 | 1196 2925 | 54 | 36
421.23/421.30 c 411s | 22 | 1896557 | 1643222 | 1196 2937 | 54 | 36
423.22/423.31 c 413s | 22 | 1905794 | 1651322 | 1196 2949 | 54 | 36
425.22/425.31 c 415s | 22 | 1914700 | 1659222 | 1196 2961 | 54 | 36
427.22/427.33 c 417s | 22 | 1923684 | 1667122 | 1196 2973 | 54 | 36
429.22/429.35 c 419s | 22 | 1932412 | 1674822 | 1196 2984 | 54 | 36
431.23/431.36 c 421s | 22 | 1941057 | 1682422 | 1196 2995 | 54 | 36
433.22/433.36 c 423s | 22 | 1949946 | 1690122 | 1196 3007 | 54 | 36
435.22/435.38 c 425s | 22 | 1958858 | 1697922 | 1196 3018 | 54 | 36
437.22/437.39 c 427s | 22 | 1967891 | 1705822 | 1196 3030 | 54 | 36
439.32/439.41 c 429s | 22 | 1976431 | 1713422 | 1196 3041 | 54 | 36
441.32/441.43 c 431s | 22 | 1985306 | 1721322 | 1196 3053 | 54 | 36
443.33/443.44 c 433s | 22 | 1994165 | 1729022 | 1196 3064 | 54 | 36
445.32/445.46 c 435s | 22 | 2003272 | 1736922 | 1196 3076 | 54 | 36
447.32/447.47 c 437s | 22 | 2012375 | 1744822 | 1196 3088 | 54 | 36
449.32/449.49 c 439s | 22 | 2021807 | 1753122 | 1196 3100 | 54 | 36
451.42/451.51 c 441s | 22 | 2031174 | 1761322 | 1196 3112 | 54 | 36
453.42/453.51 c 443s | 22 | 2040100 | 1769222 | 1196 3124 | 54 | 36
455.42/455.53 c 445s | 22 | 2049409 | 1777522 | 1196 3136 | 54 | 36
457.42/457.53 c 447s | 22 | 2058666 | 1785622 | 1196 3148 | 54 | 36
459.42/459.54 c 449s | 22 | 2067800 | 1793622 | 1196 3160 | 54 | 36
461.42/461.56 c 451s | 22 | 2076836 | 1801422 | 1196 3172 | 54 | 36
463.42/463.57 c 453s | 22 | 2085478 | 1809022 | 1196 3183 | 54 | 36
465.42/465.58 c 455s | 22 | 2094167 | 1816722 | 1196 3194 | 54 | 36
467.43/467.59 c 457s | 22 | 2102376 | 1824022 | 1196 3205 | 54 | 36
469.52/469.62 c 459s | 22 | 2111041 | 1831622 | 1196 3216 | 54 | 36
471.52/471.63 c 461s | 22 | 2119561 | 1839122 | 1196 3227 | 54 | 36
473.52/473.64 c 463s | 22 | 2128273 | 1846722 | 1196 3238 | 54 | 36
475.52/475.66 c 465s | 22 | 2137178 | 1854622 | 1196 3250 | 54 | 36
477.52/477.68 c 467s | 22 | 2145982 | 1862422 | 1196 3261 | 54 | 36
479.63/479.71 c 469s | 22 | 2154454 | 1869922 | 1196 3272 | 54 | 36
481.62/481.72 c 471s | 22 | 2163576 | 1877922 | 1196 3284 | 54 | 36
483.62/483.75 c 473s | 22 | 2172723 | 1885822 | 1196 3296 | 54 | 36
485.62/485.77 c 475s | 22 | 2181451 | 1893322 | 1196 3307 | 54 | 36
487.62/487.77 c 477s | 22 | 2190312 | 1901022 | 1196 3318 | 54 | 36
489.62/489.80 c 479s | 22 | 2199326 | 1908822 | 1196 3330 | 54 | 36
491.72/491.82 c 481s | 22 | 2207705 | 1916222 | 1196 3341 | 54 | 36
493.72/493.82 c 483s | 22 | 2216244 | 1923722 | 1196 3352 | 54 | 36
495.72/495.82 c 485s | 22 | 2224715 | 1931122 | 1196 3363 | 54 | 36
497.72/497.83 c 487s | 22 | 2233263 | 1938722 | 1196 3374 | 54 | 36
499.72/499.85 c 489s | 22 | 2241996 | 1946422 | 1196 3385 | 54 | 36
501.72/501.85 c 491s | 22 | 2250517 | 1953922 | 1196 3397 | 54 | 36
503.72/503.87 c 493s | 22 | 2259555 | 1961822 | 1196 3408 | 54 | 36
505.72/505.89 c 495s | 22 | 2268661 | 1969822 | 1196 3420 | 54 | 36
507.71/507.89 c 497s | 22 | 2277802 | 1977922 | 1196 3432 | 54 | 36
509.81/509.90 c 499s | 22 | 2286862 | 1985822 | 1196 3444 | 54 | 36
511.81/511.92 c 501s | 22 | 2296076 | 1993822 | 1196 3456 | 54 | 36
513.81/513.92 c 503s | 22 | 2305293 | 2001922 | 1196 3468 | 54 | 36
515.82/515.94 c 505s | 22 | 2314069 | 2009622 | 1196 3479 | 54 | 36
517.81/517.96 c 507s | 22 | 2322844 | 2017322 | 1196 3491 | 54 | 36
519.81/519.97 c 509s | 22 | 2331866 | 2025322 | 1196 3502 | 54 | 36
521.81/521.99 c 511s | 22 | 2340959 | 2033322 | 1196 3514 | 54 | 36
523.91/524.01 c 513s | 22 | 2349884 | 2041222 | 1196 3526 | 54 | 36
525.91/526.04 c 516s | 22 | 2358431 | 2048722 | 1196 3537 | 54 | 36
527.91/528.04 c 518s | 22 | 2367193 | 2056322 | 1196 3548 | 54 | 36
529.91/530.07 c 520s | 22 | 2375931 | 2064022 | 1196 3559 | 54 | 36
531.91/532.08 c 522s | 22 | 2384814 | 2071722 | 1196 3571 | 54 | 36
533.91/534.09 c 524s | 22 | 2393802 | 2079522 | 1196 3582 | 54 | 36
535.91/536.10 c 526s | 22 | 2402757 | 2087322 | 1196 3594 | 54 | 36
538.01/538.11 c 528s | 22 | 2411435 | 2094922 | 1196 3605 | 54 | 36
540.01/540.12 c 530s | 22 | 2419887 | 2102222 | 1196 3616 | 54 | 36
542.00/542.12 c 532s | 22 | 2428294 | 2109622 | 1196 3627 | 54 | 36
544.00/544.12 c 534s | 22 | 2436599 | 2116922 | 1196 3637 | 54 | 36
546.00/546.14 c 536s | 22 | 2445293 | 2124422 | 1196 3648 | 54 | 36
548.00/548.14 c 538s | 22 | 2453745 | 2131822 | 1196 3659 | 54 | 36
550.01/550.16 c 540s | 22 | 2462376 | 2139322 | 1196 3670 | 54 | 36
552.00/552.17 c 542s | 22 | 2470646 | 2146622 | 1316 3680 | 54 | 36
554.00/554.17 c 544s | 22 | 2479089 | 2154022 | 1316 3690 | 54 | 36
556.00/556.19 c 546s | 22 | 2487862 | 2161822 | 1316 3701 | 54 | 36
558.10/558.20 c 548s | 22 | 2496505 | 2169422 | 1316 3711 | 54 | 36
560.10/560.22 c 550s | 22 | 2504891 | 2176822 | 1316 3721 | 54 | 36
562.11/562.22 c 552s | 22 | 2513674 | 2184422 | 1316 3731 | 54 | 36
564.10/564.23 c 554s | 22 | 2522007 | 2191822 | 1316 3741 | 54 | 36
566.10/566.25 c 556s | 22 | 2530812 | 2199422 | 1316 3752 | 54 | 36
568.10/568.27 c 558s | 22 | 2539230 | 2206822 | 1316 3762 | 54 | 36
570.10/570.29 c 560s | 22 | 2547542 | 2214122 | 1316 3772 | 54 | 36
572.10/572.29 c 562s | 22 | 2556098 | 2221622 | 1316 3782 | 54 | 36
574.21/574.32 c 564s | 22 | 2564940 | 2229322 | 1316 3792 | 54 | 36
576.21/576.33 c 566s | 22 | 2573754 | 2236922 | 1316 3803 | 54 | 36
578.21/578.36 c 568s | 22 | 2582927 | 2244622 | 1316 3813 | 54 | 36
579.91/580.06 c 570s | 23 | 2590289 | 2251038 | 1316 3822 | 54 | 36
581.91/582.07 c 572s | 23 | 2599437 | 2258838 | 1316 3832 | 54 | 36
583.91/584.09 c 574s | 23 | 2608571 | 2266738 | 1316 3843 | 54 | 36
586.00/586.10 c 576s | 23 | 2617736 | 2274538 | 1316 3854 | 54 | 36
588.00/588.12 c 578s | 23 | 2626737 | 2282238 | 1316 3864 | 54 | 36
590.00/590.13 c 580s | 23 | 2635749 | 2290038 | 1316 3875 | 54 | 36
592.00/592.14 c 582s | 23 | 2644368 | 2297638 | 1316 3885 | 54 | 36
594.01/594.14 c 584s | 23 | 2652956 | 2305138 | 1316 3895 | 54 | 36
596.00/596.15 c 586s | 23 | 2661847 | 2312838 | 1316 3906 | 54 | 36
598.00/598.17 c 588s | 23 | 2670666 | 2320438 | 1316 3916 | 54 | 36
600.00/600.18 c 590s | 23 | 2679161 | 2327838 | 1316 3926 | 54 | 36
602.00/602.19 c 592s | 23 | 2688487 | 2335938 | 1316 3937 | 54 | 36
604.10/604.20 c 594s | 23 | 2697489 | 2343738 | 1316 3948 | 54 | 36
606.11/606.22 c 596s | 23 | 2706527 | 2351638 | 1316 3959 | 54 | 36
608.10/608.23 c 598s | 23 | 2715445 | 2359438 | 1316 3969 | 54 | 36
610.10/610.25 c 600s | 23 | 2724580 | 2367338 | 1316 3980 | 54 | 36
612.10/612.25 c 602s | 23 | 2733318 | 2375038 | 1316 3991 | 54 | 36
614.10/614.25 c 604s | 23 | 2742027 | 2382738 | 1316 4001 | 54 | 36
616.10/616.25 c 606s | 23 | 2750657 | 2390338 | 1316 4012 | 54 | 36
618.10/618.26 c 608s | 23 | 2759199 | 2397838 | 1316 4022 | 54 | 36
620.09/620.26 c 610s | 23 | 2768036 | 2405438 | 1316 4032 | 54 | 36
622.09/622.27 c 612s | 23 | 2776815 | 2413138 | 1316 4043 | 54 | 36
624.09/624.27 c 614s | 23 | 2785856 | 2420938 | 1316 4053 | 54 | 36
626.09/626.28 c 616s | 23 | 2794794 | 2428838 | 1316 4064 | 54 | 36
628.09/628.29 c 618s | 23 | 2803717 | 2436638 | 1316 4075 | 54 | 36
630.08/630.30 c 620s | 23 | 2812330 | 2444238 | 1316 4085 | 54 | 36
632.18/632.32 c 622s | 23 | 2821096 | 2451838 | 1316 4095 | 54 | 36
634.18/634.32 c 624s | 23 | 2829769 | 2459438 | 1316 4106 | 54 | 36
636.18/636.33 c 626s | 23 | 2838644 | 2467138 | 1316 4116 | 54 | 36
638.17/638.35 c 628s | 23 | 2847700 | 2475038 | 1316 4127 | 54 | 36
640.18/640.36 c 630s | 23 | 2856233 | 2482538 | 1316 4137 | 54 | 36
642.17/642.38 c 632s | 23 | 2865048 | 2490238 | 1316 4148 | 54 | 36
644.17/644.39 c 634s | 23 | 2873752 | 2497938 | 1316 4158 | 54 | 36
646.18/646.39 c 636s | 23 | 2882371 | 2505538 | 1316 4169 | 54 | 36
648.28/648.41 c 638s | 23 | 2891345 | 2513338 | 1316 4179 | 54 | 36
650.28/650.43 c 640s | 23 | 2899428 | 2520538 | 1316 4189 | 54 | 36
652.28/652.44 c 642s | 23 | 2907768 | 2527838 | 1316 4199 | 54 | 36
654.27/654.45 c 644s | 23 | 2916239 | 2535338 | 1316 4210 | 54 | 36
656.27/656.48 c 646s | 23 | 2925081 | 2543138 | 1316 4220 | 54 | 36
658.37/658.51 c 648s | 23 | 2934530 | 2551238 | 1316 4231 | 54 | 36
660.37/660.52 c 650s | 23 | 2943356 | 2558938 | 1316 4242 | 54 | 36
662.37/662.55 c 652s | 23 | 2952152 | 2566638 | 1316 4253 | 54 | 36
664.38/664.55 c 654s | 23 | 2961163 | 2574238 | 1316 4263 | 54 | 36
666.37/666.56 c 656s | 23 | 2969343 | 2581338 | 1316 4273 | 54 | 36
668.37/668.56 c 658s | 23 | 2978052 | 2588738 | 1316 4283 | 54 | 36
670.37/670.57 c 660s | 23 | 2986903 | 2596338 | 1316 4293 | 54 | 36
672.36/672.58 c 662s | 23 | 2995491 | 2603738 | 1316 4303 | 54 | 36
674.36/674.59 c 664s | 23 | 3003988 | 2611038 | 1316 4313 | 54 | 36
676.37/676.60 c 666s | 23 | 3013479 | 2619138 | 1316 4324 | 54 | 36
678.46/678.61 c 668s | 23 | 3022059 | 2626638 | 1316 4334 | 54 | 36
680.46/680.61 c 670s | 23 | 3030684 | 2634138 | 1316 4344 | 54 | 36
682.46/682.63 c 672s | 23 | 3039093 | 2641438 | 1316 4354 | 54 | 36
684.46/684.63 c 674s | 23 | 3047136 | 2648538 | 1316 4364 | 54 | 36
686.46/686.66 c 676s | 23 | 3055664 | 2656038 | 1316 4374 | 54 | 36
688.46/688.66 c 678s | 23 | 3064460 | 2663738 | 1316 4385 | 54 | 36
690.45/690.67 c 680s | 23 | 3072984 | 2671038 | 1316 4395 | 54 | 36
692.45/692.67 c 682s | 23 | 3081765 | 2678638 | 1316 4405 | 54 | 36
694.45/694.67 c 684s | 23 | 3091161 | 2686738 | 1316 4416 | 54 | 36
696.45/696.69 c 686s | 23 | 3099719 | 2694338 | 1316 4426 | 54 | 36
698.45/698.70 c 688s | 23 | 3108356 | 2701838 | 1316 4437 | 54 | 36
700.55/700.72 c 690s | 23 | 3117177 | 2709338 | 1316 4447 | 54 | 36
702.55/702.74 c 692s | 23 | 3125735 | 2716638 | 1316 4457 | 54 | 36
704.54/704.75 c 694s | 23 | 3134635 | 2724138 | 1316 4467 | 54 | 36
706.54/706.76 c 696s | 23 | 3143659 | 2731838 | 1316 4477 | 54 | 36
708.54/708.78 c 698s | 23 | 3152213 | 2739238 | 1316 4488 | 54 | 36
710.55/710.79 c 700s | 23 | 3160406 | 2746338 | 1316 4497 | 54 | 36
712.54/712.80 c 702s | 23 | 3169273 | 2754038 | 1316 4507 | 54 | 36
714.65/714.81 c 704s | 23 | 3177751 | 2761438 | 1316 4517 | 54 | 36
716.65/716.85 c 706s | 23 | 3186388 | 2768938 | 1316 4528 | 54 | 36
718.64/718.87 c 708s | 23 | 3194756 | 2776238 | 1316 4537 | 54 | 36
720.64/720.88 c 710s | 23 | 3206872 | 2785938 | 1316 4551 | 54 | 36
722.65/722.88 c 712s | 23 | 3215172 | 2793138 | 1316 4560 | 54 | 36
724.64/724.90 c 714s | 23 | 3223331 | 2800238 | 1316 4570 | 54 | 36
726.74/726.91 c 716s | 23 | 3231752 | 2807638 | 1316 4580 | 54 | 36
728.74/728.92 c 718s | 23 | 3242457 | 2816438 | 1316 4592 | 54 | 36
730.74/730.93 c 720s | 23 | 3250330 | 2823438 | 1316 4601 | 54 | 36
732.74/732.93 c 722s | 23 | 3258486 | 2830538 | 1316 4611 | 54 | 36
734.74/734.96 c 724s | 23 | 3267937 | 2838538 | 1316 4622 | 54 | 36
736.74/736.99 c 726s | 23 | 3278063 | 2847238 | 1316 4634 | 54 | 36
738.83/739.00 c 728s | 23 | 3286107 | 2854238 | 1316 4644 | 54 | 36
740.83/741.00 c 730s | 23 | 3294782 | 2861738 | 1316 4654 | 54 | 36
742.83/743.01 c 732s | 23 | 3303436 | 2869238 | 1316 4664 | 54 | 36
744.83/745.02 c 735s | 23 | 3312159 | 2876738 | 1316 4674 | 54 | 36
746.83/747.02 c 737s | 23 | 3320822 | 2884038 | 1316 4684 | 54 | 36
748.82/749.04 c 739s | 23 | 3329801 | 2891538 | 1316 4694 | 54 | 36
750.82/751.04 c 741s | 23 | 3338796 | 2899238 | 1316 4705 | 54 | 36
752.82/753.05 c 743s | 23 | 3347406 | 2906638 | 1316 4715 | 54 | 36
754.82/755.06 c 745s | 23 | 3356091 | 2914038 | 1316 4725 | 54 | 36
756.82/757.07 c 747s | 23 | 3364290 | 2921238 | 1316 4735 | 54 | 36
758.82/759.08 c 749s | 23 | 3372762 | 2928538 | 1316 4745 | 54 | 36
760.82/761.09 c 751s | 23 | 3381391 | 2935938 | 1316 4755 | 54 | 36
762.92/763.11 c 753s | 23 | 3390147 | 2943438 | 1316 4765 | 54 | 36
764.91/765.12 c 755s | 23 | 3398704 | 2950738 | 1316 4775 | 54 | 36
766.91/767.15 c 757s | 23 | 3406998 | 2957938 | 1316 4785 | 54 | 36
768.91/769.15 c 759s | 23 | 3415801 | 2965438 | 1316 4795 | 54 | 36
770.91/771.17 c 761s | 23 | 3424660 | 2973038 | 1316 4805 | 54 | 36
772.91/773.18 c 763s | 23 | 3432836 | 2980238 | 1316 4815 | 54 | 36
775.01/775.20 c 765s | 23 | 3441191 | 2987538 | 1316 4825 | 54 | 36
777.00/777.22 c 767s | 23 | 3449885 | 2995038 | 1316 4835 | 54 | 36
779.00/779.23 c 769s | 23 | 3458912 | 3002738 | 1316 4846 | 54 | 36
781.00/781.25 c 771s | 23 | 3468235 | 3010538 | 1316 4856 | 54 | 36
783.01/783.25 c 773s | 23 | 3477621 | 3018338 | 1316 4867 | 54 | 36
785.00/785.26 c 775s | 23 | 3486540 | 3026038 | 1316 4877 | 54 | 36
787.00/787.26 c 777s | 23 | 3495504 | 3033738 | 1316 4888 | 54 | 36
789.00/789.28 c 779s | 23 | 3504390 | 3041338 | 1316 4898 | 54 | 36
790.99/791.28 c 781s | 23 | 3512790 | 3048738 | 1316 4908 | 54 | 36
793.09/793.30 c 783s | 23 | 3521578 | 3056338 | 1316 4918 | 54 | 36
795.10/795.32 c 785s | 23 | 3530179 | 3063938 | 1316 4929 | 54 | 36
797.09/797.33 c 787s | 23 | 3538715 | 3071338 | 1316 4939 | 54 | 36
799.09/799.34 c 789s | 23 | 3547333 | 3078738 | 1316 4949 | 54 | 36
801.09/801.35 c 791s | 23 | 3555989 | 3086238 | 1316 4959 | 54 | 36
803.09/803.38 c 793s | 23 | 3564610 | 3093638 | 1316 4969 | 54 | 36
805.10/805.40 c 795s | 23 | 3572998 | 3101038 | 1316 4979 | 54 | 36
807.08/807.40 c 797s | 23 | 3581258 | 3108138 | 1316 4988 | 54 | 36
809.18/809.41 c 799s | 23 | 3589611 | 3115338 | 1316 4998 | 54 | 36
811.18/811.41 c 801s | 23 | 3598194 | 3122738 | 1316 5008 | 54 | 36
813.18/813.42 c 803s | 23 | 3606354 | 3129838 | 1316 5018 | 54 | 36
815.18/815.42 c 805s | 23 | 3614219 | 3136738 | 1316 5027 | 54 | 36
817.19/817.43 c 807s | 23 | 3622666 | 3143938 | 1316 5037 | 54 | 36
819.19/819.45 c 809s | 23 | 3631290 | 3151338 | 1316 5047 | 54 | 36
821.19/821.46 c 811s | 23 | 3639874 | 3158938 | 1316 5057 | 54 | 36
823.19/823.48 c 813s | 23 | 3648528 | 3166638 | 1316 5067 | 54 | 36
825.19/825.48 c 815s | 23 | 3657665 | 3174438 | 1316 5078 | 54 | 36
827.18/827.49 c 817s | 23 | 3666108 | 3181738 | 1316 5088 | 54 | 36
829.29/829.50 c 819s | 23 | 3674981 | 3189338 | 1316 5098 | 54 | 36
831.28/831.53 c 821s | 23 | 3683639 | 3196938 | 1316 5108 | 54 | 36
833.28/833.53 c 823s | 23 | 3691754 | 3204038 | 1316 5118 | 54 | 36
835.28/835.55 c 825s | 23 | 3700403 | 3211438 | 1316 5128 | 54 | 36
837.28/837.57 c 827s | 23 | 3708908 | 3218838 | 1316 5138 | 54 | 36
839.28/839.59 c 829s | 23 | 3717220 | 3226038 | 1316 5148 | 54 | 36
841.38/841.62 c 831s | 23 | 3725728 | 3233438 | 1316 5158 | 54 | 36
843.37/843.63 c 833s | 23 | 3734068 | 3240738 | 1316 5167 | 54 | 36
845.37/845.65 c 835s | 23 | 3743004 | 3248438 | 1316 5178 | 54 | 36
847.37/847.65 c 837s | 23 | 3751826 | 3255938 | 1316 5188 | 54 | 36
849.37/849.66 c 839s | 23 | 3759987 | 3263038 | 1448 5197 | 54 | 36
851.37/851.68 c 841s | 23 | 3767918 | 3269938 | 1448 5205 | 54 | 36
853.48/853.70 c 843s | 23 | 3776053 | 3277038 | 1448 5214 | 54 | 36
855.47/855.73 c 845s | 23 | 3784434 | 3284238 | 1448 5223 | 54 | 36
857.46/857.74 c 847s | 23 | 3793264 | 3291638 | 1448 5232 | 54 | 36
859.46/859.75 c 849s | 23 | 3801580 | 3298938 | 1448 5241 | 54 | 36
861.46/861.75 c 851s | 23 | 3809703 | 3306138 | 1448 5250 | 54 | 36
863.46/863.77 c 853s | 23 | 3817858 | 3313238 | 1448 5259 | 54 | 36
865.47/865.77 c 855s | 23 | 3825830 | 3320038 | 1448 5267 | 54 | 36
867.56/867.80 c 857s | 23 | 3833425 | 3326738 | 1448 5275 | 54 | 36
869.56/869.81 c 859s | 23 | 3841151 | 3333538 | 1448 5284 | 54 | 36
871.56/871.83 c 861s | 23 | 3849089 | 3340438 | 1448 5292 | 54 | 36
873.56/873.84 c 863s | 23 | 3856686 | 3347138 | 1448 5300 | 54 | 36
875.56/875.84 c 865s | 23 | 3864741 | 3354238 | 1448 5309 | 54 | 36
877.56/877.85 c 867s | 23 | 3873158 | 3361438 | 1448 5318 | 54 | 36
879.55/879.86 c 869s | 23 | 3881666 | 3368538 | 1448 5327 | 54 | 36
881.55/881.89 c 871s | 23 | 3890146 | 3375738 | 1448 5336 | 54 | 36
881.85/882.13 c 872s | 24 | 3891267 | 3376662 | 1448 5337 | 54 | 36
883.85/884.13 c 874s | 24 | 3900954 | 3384662 | 1448 5347 | 54 | 36
885.85/886.15 c 876s | 24 | 3909166 | 3391462 | 1448 5355 | 54 | 36
887.84/888.17 c 878s | 24 | 3916598 | 3397862 | 1448 5363 | 54 | 36
889.84/890.18 c 880s | 24 | 3924344 | 3404462 | 1448 5371 | 54 | 36
891.85/892.18 c 882s | 24 | 3931608 | 3410762 | 1448 5379 | 54 | 36
893.94/894.21 c 884s | 24 | 3938491 | 3416762 | 1448 5386 | 54 | 36
895.94/896.21 c 886s | 24 | 3946058 | 3423362 | 1448 5395 | 54 | 36
897.94/898.22 c 888s | 24 | 3952752 | 3429262 | 1448 5402 | 54 | 36
899.94/900.24 c 890s | 24 | 3960189 | 3435662 | 1448 5410 | 54 | 36
901.94/902.26 c 892s | 24 | 3967659 | 3442062 | 1448 5418 | 54 | 36
903.94/904.29 c 894s | 24 | 3975547 | 3448662 | 1448 5426 | 54 | 36
905.94/906.30 c 896s | 24 | 3983174 | 3455062 | 1448 5434 | 54 | 36
908.03/908.30 c 898s | 24 | 3991055 | 3461662 | 1448 5442 | 54 | 36
910.03/910.32 c 900s | 24 | 3998714 | 3468062 | 1448 5450 | 54 | 36
912.03/912.35 c 902s | 24 | 4007061 | 3475062 | 1448 5458 | 54 | 36
914.03/914.35 c 904s | 24 | 4014362 | 3481362 | 1448 5466 | 54 | 36
916.04/916.38 c 906s | 24 | 4022079 | 3487962 | 1448 5474 | 54 | 36
918.02/918.39 c 908s | 24 | 4030191 | 3494762 | 1448 5483 | 54 | 36
920.02/920.39 c 910s | 24 | 4036898 | 3500662 | 1448 5490 | 54 | 36
922.12/922.40 c 912s | 24 | 4043937 | 3506862 | 1448 5498 | 54 | 36
924.12/924.42 c 914s | 24 | 4052041 | 3513662 | 1448 5506 | 54 | 36
926.13/926.44 c 916s | 24 | 4059498 | 3519962 | 1448 5514 | 54 | 36
928.13/928.47 c 918s | 24 | 4066752 | 3526262 | 1448 5522 | 54 | 36
930.12/930.47 c 920s | 24 | 4074594 | 3532862 | 1448 5530 | 54 | 36
932.12/932.48 c 922s | 24 | 4083051 | 3539862 | 1448 5539 | 54 | 36
934.12/934.49 c 924s | 24 | 4090429 | 3546162 | 1448 5546 | 54 | 36
936.22/936.53 c 926s | 24 | 4098012 | 3552662 | 1448 5555 | 54 | 36
938.22/938.56 c 928s | 24 | 4105194 | 3558762 | 1448 5562 | 54 | 36
940.23/940.56 c 930s | 24 | 4112360 | 3564962 | 1448 5570 | 54 | 36
942.22/942.58 c 932s | 24 | 4120246 | 3571762 | 1448 5578 | 54 | 36
944.32/944.61 c 934s | 24 | 4127111 | 3577762 | 1448 5585 | 54 | 36
946.32/946.63 c 936s | 24 | 4133940 | 3583662 | 1448 5593 | 54 | 36
948.31/948.66 c 938s | 24 | 4140944 | 3589562 | 1448 5600 | 54 | 36
950.31/950.68 c 940s | 24 | 4147400 | 3595162 | 1448 5607 | 54 | 36
952.32/952.70 c 942s | 24 | 4154159 | 3600962 | 1448 5614 | 54 | 36
954.41/954.72 c 944s | 24 | 4162076 | 3607562 | 1448 5622 | 54 | 36
956.41/956.74 c 946s | 24 | 4169731 | 3614162 | 1448 5630 | 54 | 36
958.40/958.74 c 948s | 24 | 4177875 | 3621062 | 1448 5639 | 54 | 36
960.40/960.77 c 950s | 24 | 4185759 | 3627662 | 1448 5647 | 54 | 36
962.40/962.77 c 952s | 24 | 4193568 | 3634162 | 1448 5655 | 54 | 36
964.41/964.79 c 954s | 24 | 4202083 | 3641262 | 1448 5664 | 54 | 36
966.50/966.82 c 956s | 24 | 4210077 | 3648062 | 1448 5673 | 54 | 36
968.50/968.82 c 958s | 24 | 4217013 | 3654162 | 1448 5680 | 54 | 36
970.50/970.83 c 960s | 24 | 4223827 | 3660062 | 1448 5687 | 54 | 36
972.50/972.84 c 962s | 24 | 4231010 | 3666162 | 1448 5695 | 54 | 36
974.50/974.85 c 964s | 24 | 4238277 | 3672362 | 1448 5703 | 54 | 36
976.51/976.85 c 966s | 24 | 4246641 | 3679362 | 1448 5711 | 54 | 36
978.50/978.88 c 968s | 24 | 4253933 | 3685562 | 1448 5719 | 54 | 36
980.60/980.91 c 970s | 24 | 4261660 | 3692062 | 1448 5727 | 54 | 36
982.60/982.91 c 972s | 24 | 4268835 | 3698162 | 1448 5734 | 54 | 36
984.60/984.92 c 974s | 24 | 4275875 | 3704262 | 1448 5742 | 54 | 36
986.59/986.95 c 976s | 24 | 4283517 | 3710762 | 1448 5750 | 54 | 36
988.60/988.95 c 978s | 24 | 4290461 | 3716762 | 1448 5758 | 54 | 36
990.59/990.98 c 980s | 24 | 4297607 | 3722862 | 1448 5765 | 54 | 36
992.69/993.00 c 982s | 24 | 4304524 | 3728862 | 1448 5773 | 54 | 36
994.69/995.04 c 985s | 24 | 4312144 | 3735262 | 1448 5781 | 54 | 36
996.69/997.06 c 987s | 24 | 4320225 | 3742162 | 1448 5789 | 54 | 36
998.68/999.06 c 989s | 24 | 4328308 | 3748962 | 1448 5798 | 54 | 36
1000.69/1001.07 c 991s | 24 | 4336265 | 3755762 | 1448 5806 | 54 | 36
1002.68/1003.08 c 993s | 24 | 4343712 | 3762262 | 1448 5814 | 54 | 36
1004.78/1005.10 c 995s | 24 | 4351219 | 3768662 | 1448 5822 | 54 | 36
1006.78/1007.13 c 997s | 24 | 4358783 | 3775162 | 1448 5830 | 54 | 36
1008.78/1009.13 c 999s | 24 | 4365545 | 3781062 | 1448 5838 | 54 | 36
1010.78/1011.14 c 1001s | 24 | 4372751 | 3787362 | 1448 5846 | 54 | 36
1012.78/1013.16 c 1003s | 24 | 4379969 | 3793662 | 1448 5854 | 54 | 36
1014.77/1015.18 c 1005s | 24 | 4387677 | 3800262 | 1448 5862 | 54 | 36
1016.87/1017.21 c 1007s | 24 | 4395561 | 3807062 | 1448 5871 | 54 | 36
1018.87/1019.23 c 1009s | 24 | 4402900 | 3813362 | 1448 5878 | 54 | 36
1020.87/1021.24 c 1011s | 24 | 4410486 | 3819762 | 1448 5887 | 54 | 36
1022.87/1023.26 c 1013s | 24 | 4418642 | 3826562 | 1448 5895 | 54 | 36
1024.87/1025.27 c 1015s | 24 | 4426530 | 3833162 | 1448 5903 | 54 | 36
1026.86/1027.29 c 1017s | 24 | 4433791 | 3839462 | 1448 5911 | 54 | 36
1028.96/1029.32 c 1019s | 24 | 4441037 | 3845662 | 1448 5919 | 54 | 36
1030.96/1031.34 c 1021s | 24 | 4448215 | 3851862 | 1448 5926 | 54 | 36
1032.96/1033.34 c 1023s | 24 | 4455995 | 3858562 | 1448 5935 | 54 | 36
1034.96/1035.35 c 1025s | 24 | 4463699 | 3865262 | 1448 5943 | 54 | 36
1036.96/1037.37 c 1027s | 24 | 4470957 | 3871562 | 1448 5951 | 54 | 36
1038.95/1039.38 c 1029s | 24 | 4478439 | 3878062 | 1448 5959 | 54 | 36
1041.06/1041.40 c 1031s | 24 | 4485735 | 3884462 | 1448 5967 | 54 | 36
1043.06/1043.41 c 1033s | 24 | 4492469 | 3890462 | 1448 5974 | 54 | 36
1045.06/1045.44 c 1035s | 24 | 4499801 | 3896762 | 1448 5982 | 54 | 36
1047.05/1047.45 c 1037s | 24 | 4506965 | 3902962 | 1448 5990 | 54 | 36
1049.06/1049.46 c 1039s | 24 | 4513495 | 3908662 | 1448 5997 | 54 | 36
1051.05/1051.48 c 1041s | 24 | 4520605 | 3914862 | 1448 6004 | 54 | 36
1053.05/1053.49 c 1043s | 24 | 4527404 | 3920862 | 1448 6012 | 54 | 36
1055.15/1055.53 c 1045s | 24 | 4533818 | 3926662 | 1448 6019 | 54 | 36
1057.14/1057.56 c 1047s | 24 | 4540732 | 3932662 | 1448 6026 | 54 | 36
1059.14/1059.58 c 1049s | 24 | 4547774 | 3938762 | 1448 6034 | 54 | 36
1061.15/1061.59 c 1051s | 24 | 4555193 | 3945062 | 1448 6042 | 54 | 36
1063.24/1063.61 c 1053s | 24 | 4562215 | 3951162 | 1448 6049 | 54 | 36
1065.24/1065.64 c 1055s | 24 | 4569152 | 3957262 | 1448 6057 | 54 | 36
1067.23/1067.66 c 1057s | 24 | 4576919 | 3963862 | 1448 6065 | 54 | 36
1069.23/1069.68 c 1059s | 24 | 4585040 | 3970662 | 1448 6073 | 54 | 36
1071.33/1071.70 c 1061s | 24 | 4592556 | 3976962 | 1448 6081 | 54 | 36
1073.34/1073.74 c 1063s | 24 | 4599959 | 3983462 | 1448 6089 | 54 | 36
1075.33/1075.77 c 1065s | 24 | 4607196 | 3989862 | 1448 6097 | 54 | 36
1077.33/1077.77 c 1067s | 24 | 4614142 | 3995862 | 1448 6105 | 54 | 36
1079.33/1079.79 c 1069s | 24 | 4621491 | 4002262 | 1448 6113 | 54 | 36
1081.43/1081.82 c 1071s | 24 | 4628998 | 4008662 | 1448 6121 | 54 | 36
1083.42/1083.85 c 1073s | 24 | 4636665 | 4015162 | 1448 6129 | 54 | 36
1085.43/1085.86 c 1075s | 24 | 4643598 | 4021062 | 1448 6136 | 54 | 36
1087.42/1087.87 c 1077s | 24 | 4650660 | 4027162 | 1448 6144 | 54 | 36
1089.42/1089.88 c 1079s | 24 | 4658270 | 4033662 | 1448 6152 | 54 | 36
1091.52/1091.90 c 1081s | 24 | 4665341 | 4039862 | 1448 6160 | 54 | 36
1093.52/1093.92 c 1083s | 24 | 4672766 | 4046162 | 1448 6168 | 54 | 36
1095.52/1095.96 c 1085s | 24 | 4680526 | 4052862 | 1448 6176 | 54 | 36
1097.52/1097.99 c 1087s | 24 | 4687512 | 4058862 | 1448 6183 | 54 | 36
1099.62/1100.02 c 1090s | 24 | 4694875 | 4065162 | 1448 6191 | 54 | 36
1101.61/1102.02 c 1092s | 24 | 4702448 | 4071462 | 1448 6199 | 54 | 36
1103.61/1104.03 c 1094s | 24 | 4710349 | 4078062 | 1448 6207 | 54 | 36
1105.61/1106.04 c 1096s | 24 | 4717936 | 4084562 | 1448 6215 | 54 | 36
1107.60/1108.04 c 1098s | 24 | 4724933 | 4090462 | 1448 6223 | 54 | 36
1109.61/1110.05 c 1100s | 24 | 4732773 | 4097162 | 1448 6231 | 54 | 36
1111.60/1112.08 c 1102s | 24 | 4740925 | 4103962 | 1448 6239 | 54 | 36
1113.70/1114.10 c 1104s | 24 | 4748292 | 4110262 | 1448 6247 | 54 | 36
1115.70/1116.13 c 1106s | 24 | 4755625 | 4116462 | 1448 6255 | 54 | 36
1117.69/1118.15 c 1108s | 24 | 4762495 | 4122462 | 1448 6262 | 54 | 36
1119.69/1120.15 c 1110s | 24 | 4770715 | 4129362 | 1448 6270 | 54 | 36
1121.70/1122.16 c 1112s | 24 | 4782068 | 4139162 | 1448 6283 | 54 | 36
1123.69/1124.18 c 1114s | 24 | 4790243 | 4146062 | 1448 6291 | 54 | 36
1125.69/1126.19 c 1116s | 24 | 4798581 | 4152962 | 1448 6300 | 54 | 36
1127.79/1128.23 c 1118s | 24 | 4806703 | 4159662 | 1448 6308 | 54 | 36
1129.80/1130.24 c 1120s | 24 | 4813878 | 4165762 | 1448 6316 | 54 | 36
1131.80/1132.26 c 1122s | 24 | 4821701 | 4172162 | 1448 6324 | 54 | 36
1133.80/1134.29 c 1124s | 24 | 4829241 | 4178462 | 1448 6331 | 54 | 36
1135.90/1136.31 c 1126s | 24 | 4836299 | 4184362 | 1448 6339 | 54 | 36
1137.89/1138.32 c 1128s | 24 | 4843052 | 4190162 | 1448 6346 | 54 | 36
1139.89/1140.33 c 1130s | 24 | 4850548 | 4196562 | 1448 6353 | 54 | 36
1141.89/1142.33 c 1132s | 24 | 4857582 | 4202562 | 1448 6361 | 54 | 36
1143.89/1144.34 c 1134s | 24 | 4864605 | 4208562 | 1448 6368 | 54 | 36
1145.90/1146.35 c 1136s | 24 | 4870859 | 4213962 | 1448 6375 | 54 | 36
1147.89/1148.36 c 1138s | 24 | 4877460 | 4219662 | 1448 6382 | 54 | 36
1149.89/1150.39 c 1140s | 24 | 4885234 | 4226062 | 1448 6389 | 54 | 36
1151.98/1152.41 c 1142s | 24 | 4892184 | 4231962 | 1448 6397 | 54 | 36
1153.98/1154.42 c 1144s | 24 | 4898614 | 4237562 | 1448 6404 | 54 | 36
1155.98/1156.47 c 1146s | 24 | 4907021 | 4244662 | 1448 6413 | 54 | 36
1158.08/1158.50 c 1148s | 24 | 4914402 | 4250862 | 1448 6420 | 54 | 36
1160.09/1160.51 c 1150s | 24 | 4921150 | 4256662 | 1448 6427 | 54 | 36
1162.08/1162.54 c 1152s | 24 | 4928693 | 4263062 | 1448 6435 | 54 | 36
1164.08/1164.56 c 1154s | 24 | 4936699 | 4269762 | 1448 6444 | 54 | 36
1166.08/1166.58 c 1156s | 24 | 4944753 | 4276462 | 1448 6452 | 54 | 36
1168.17/1168.61 c 1158s | 24 | 4952969 | 4283162 | 1448 6460 | 54 | 36
1170.17/1170.64 c 1160s | 24 | 4959899 | 4289262 | 1448 6468 | 54 | 36
1172.18/1172.66 c 1162s | 24 | 4967166 | 4295562 | 1448 6476 | 54 | 36
1174.17/1174.69 c 1164s | 24 | 4974491 | 4301862 | 1448 6484 | 54 | 36
1176.17/1176.69 c 1166s | 24 | 4982096 | 4308262 | 1448 6492 | 54 | 36
1178.27/1178.71 c 1168s | 24 | 4988805 | 4313962 | 1448 6499 | 54 | 36
1180.27/1180.73 c 1170s | 24 | 4995983 | 4320162 | 1448 6506 | 54 | 36
1182.27/1182.75 c 1172s | 24 | 5002784 | 4326162 | 1448 6514 | 54 | 36
1184.27/1184.77 c 1174s | 24 | 5010167 | 4332562 | 1448 6522 | 54 | 36
1186.26/1186.78 c 1176s | 24 | 5017618 | 4338862 | 1448 6530 | 54 | 36
1188.26/1188.79 c 1178s | 24 | 5024856 | 4345062 | 1448 6538 | 54 | 36
1190.26/1190.79 c 1180s | 24 | 5032090 | 4351262 | 1448 6545 | 54 | 36
1192.36/1192.82 c 1182s | 24 | 5039415 | 4357662 | 1448 6553 | 54 | 36
1194.36/1194.85 c 1184s | 24 | 5046641 | 4363862 | 1448 6561 | 54 | 36
1196.36/1196.86 c 1186s | 24 | 5053617 | 4369762 | 1448 6569 | 54 | 36
1198.35/1198.86 c 1188s | 24 | 5060842 | 4375962 | 1448 6576 | 54 | 36
1200.35/1200.88 c 1190s | 24 | 5067791 | 4381862 | 1448 6584 | 54 | 36
1202.45/1202.90 c 1192s | 24 | 5074350 | 4387562 | 1448 6591 | 54 | 36
1204.45/1204.91 c 1194s | 24 | 5080951 | 4393162 | 1448 6598 | 54 | 36
1206.45/1206.92 c 1196s | 24 | 5087620 | 4398762 | 1448 6605 | 54 | 36
1208.45/1208.93 c 1198s | 24 | 5094690 | 4404762 | 1448 6613 | 54 | 36
1210.44/1210.95 c 1200s | 24 | 5101368 | 4410462 | 1448 6620 | 54 | 36
1212.44/1212.97 c 1202s | 24 | 5109241 | 4416962 | 1448 6628 | 54 | 36
1214.44/1214.99 c 1204s | 24 | 5116565 | 4423262 | 1448 6635 | 54 | 36
1216.54/1217.00 c 1206s | 24 | 5123405 | 4429162 | 1448 6643 | 54 | 36
1218.53/1219.01 c 1208s | 24 | 5130276 | 4435162 | 1448 6650 | 54 | 36
1220.54/1221.01 c 1210s | 24 | 5137266 | 4441162 | 1448 6657 | 54 | 36
1222.53/1223.04 c 1213s | 24 | 5144300 | 4447162 | 1448 6665 | 54 | 36
1224.53/1225.04 c 1215s | 24 | 5150508 | 4452662 | 1448 6671 | 54 | 36
1226.53/1227.06 c 1217s | 24 | 5157088 | 4458362 | 1448 6679 | 54 | 36
1228.53/1229.09 c 1219s | 24 | 5163740 | 4464062 | 1448 6686 | 54 | 36
1230.63/1231.12 c 1221s | 24 | 5170053 | 4469462 | 1448 6692 | 54 | 36
1232.63/1233.14 c 1223s | 24 | 5175412 | 4474262 | 1448 6698 | 54 | 36
1234.63/1235.17 c 1225s | 24 | 5181557 | 4479662 | 1448 6705 | 54 | 36
1236.63/1237.17 c 1227s | 24 | 5188649 | 4485562 | 1448 6712 | 54 | 36
1238.72/1239.20 c 1229s | 24 | 5195377 | 4491362 | 1448 6719 | 54 | 36
1240.72/1241.21 c 1231s | 24 | 5202465 | 4497362 | 1448 6727 | 54 | 36
1242.73/1243.24 c 1233s | 24 | 5209251 | 4503162 | 1448 6734 | 54 | 36
1244.73/1245.26 c 1235s | 24 | 5216156 | 4508962 | 1448 6741 | 54 | 36
1246.73/1247.27 c 1237s | 24 | 5223349 | 4514962 | 1448 6748 | 54 | 36
1248.72/1249.27 c 1239s | 24 | 5229602 | 4520362 | 1448 6755 | 54 | 36
1250.82/1251.31 c 1241s | 24 | 5236576 | 4526362 | 1448 6762 | 54 | 36
1252.82/1253.33 c 1243s | 24 | 5242711 | 4531662 | 1448 6769 | 54 | 36
1254.82/1255.34 c 1245s | 24 | 5248060 | 4536362 | 1448 6775 | 54 | 36
1256.82/1257.36 c 1247s | 24 | 5254560 | 4542062 | 1448 6781 | 54 | 36
1258.81/1259.39 c 1249s | 24 | 5260760 | 4547462 | 1448 6788 | 54 | 36
1260.81/1261.39 c 1251s | 24 | 5268256 | 4553862 | 1448 6796 | 54 | 36
1262.91/1263.40 c 1253s | 24 | 5275182 | 4559862 | 1448 6803 | 54 | 36
1264.91/1265.42 c 1255s | 24 | 5282681 | 4566062 | 1448 6811 | 54 | 36
1266.91/1267.43 c 1257s | 24 | 5289677 | 4571962 | 1448 6818 | 54 | 36
1268.92/1269.45 c 1259s | 24 | 5296940 | 4578062 | 1448 6826 | 54 | 36
1270.91/1271.47 c 1261s | 24 | 5304238 | 4584262 | 1448 6833 | 54 | 36
1272.91/1273.49 c 1263s | 24 | 5311827 | 4590662 | 1448 6841 | 54 | 36
1275.01/1275.51 c 1265s | 24 | 5319233 | 4597062 | 1448 6849 | 54 | 36
1277.01/1277.53 c 1267s | 24 | 5330270 | 4606162 | 1448 6860 | 54 | 36
1279.01/1279.54 c 1269s | 24 | 5341820 | 4615862 | 1448 6872 | 54 | 36
1281.01/1281.54 c 1271s | 24 | 5352951 | 4625362 | 1448 6884 | 54 | 36
1283.01/1283.54 c 1273s | 24 | 5363408 | 4634562 | 1448 6895 | 54 | 36
1285.00/1285.56 c 1275s | 24 | 5369739 | 4640062 | 1448 6902 | 54 | 36
1287.00/1287.58 c 1277s | 24 | 5375932 | 4645462 | 1448 6908 | 54 | 36
1289.10/1289.61 c 1279s | 24 | 5382788 | 4651262 | 1448 6916 | 54 | 36
1291.10/1291.64 c 1281s | 24 | 5389917 | 4657362 | 1448 6923 | 54 | 36
1293.11/1293.66 c 1283s | 24 | 5397087 | 4663462 | 1448 6931 | 54 | 36
1295.10/1295.66 c 1285s | 24 | 5404355 | 4669762 | 1448 6938 | 54 | 36
1297.10/1297.68 c 1287s | 24 | 5411273 | 4675562 | 1448 6945 | 54 | 36
1299.20/1299.72 c 1289s | 24 | 5418169 | 4681462 | 1448 6953 | 54 | 36
1301.20/1301.73 c 1291s | 24 | 5425104 | 4687362 | 1448 6960 | 54 | 36
1303.20/1303.74 c 1293s | 24 | 5432234 | 4693362 | 1448 6967 | 54 | 36
1305.21/1305.76 c 1295s | 24 | 5439512 | 4699462 | 1448 6975 | 54 | 36
1307.20/1307.77 c 1297s | 24 | 5445670 | 4704762 | 1448 6981 | 54 | 36
1309.20/1309.78 c 1299s | 24 | 5452951 | 4710862 | 1448 6989 | 54 | 36
1311.30/1311.80 c 1301s | 24 | 5461563 | 4718162 | 1448 6997 | 54 | 36
1313.30/1313.83 c 1303s | 24 | 5468935 | 4724562 | 1448 7005 | 54 | 36
1315.30/1315.84 c 1305s | 24 | 5476994 | 4731262 | 1448 7014 | 54 | 36
1317.30/1317.84 c 1307s | 24 | 5484710 | 4737762 | 1448 7022 | 54 | 36
1319.29/1319.84 c 1309s | 24 | 5491030 | 4743362 | 1448 7028 | 54 | 36
1321.29/1321.85 c 1311s | 24 | 5499017 | 4750062 | 1448 7037 | 54 | 36
1323.29/1323.86 c 1313s | 24 | 5506857 | 4756762 | 1448 7045 | 54 | 36
1325.29/1325.89 c 1315s | 24 | 5516618 | 4765062 | 1448 7055 | 54 | 36
1327.30/1327.89 c 1317s | 24 | 5523332 | 4770862 | 1448 7062 | 54 | 36
1329.29/1329.90 c 1319s | 24 | 5531193 | 4777362 | 1448 7070 | 54 | 36
1331.39/1331.92 c 1321s | 24 | 5540352 | 4785162 | 1448 7080 | 54 | 36
1333.39/1333.94 c 1323s | 24 | 5546776 | 4790662 | 1448 7087 | 54 | 36
1335.39/1335.95 c 1325s | 24 | 5553673 | 4796562 | 1448 7094 | 54 | 36
1337.39/1337.96 c 1327s | 24 | 5560044 | 4802162 | 1448 7101 | 54 | 36
1339.40/1339.97 c 1329s | 24 | 5566743 | 4808062 | 1448 7108 | 54 | 36
1341.39/1341.99 c 1331s | 24 | 5573074 | 4813662 | 1448 7115 | 54 | 36
1343.49/1344.00 c 1333s | 24 | 5578819 | 4818662 | 1448 7121 | 54 | 36
1345.49/1346.02 c 1336s | 24 | 5585268 | 4824262 | 1448 7128 | 54 | 36
1347.49/1348.03 c 1338s | 24 | 5592055 | 4830062 | 1448 7135 | 54 | 36
1349.49/1350.04 c 1340s | 24 | 5598402 | 4835562 | 1448 7142 | 54 | 36
1351.50/1352.07 c 1342s | 24 | 5604278 | 4840762 | 1448 7148 | 54 | 36
1353.49/1354.08 c 1344s | 24 | 5610907 | 4846362 | 1448 7155 | 54 | 36
1355.59/1356.11 c 1346s | 24 | 5617384 | 4851962 | 1448 7162 | 54 | 36
1357.59/1358.12 c 1348s | 24 | 5623667 | 4857362 | 1448 7168 | 54 | 36
1359.59/1360.13 c 1350s | 24 | 5629758 | 4862562 | 1448 7175 | 54 | 36
1361.59/1362.14 c 1352s | 24 | 5635730 | 4867762 | 1448 7181 | 54 | 36
1363.59/1364.16 c 1354s | 24 | 5642762 | 4873962 | 1448 7189 | 54 | 36
1365.59/1366.19 c 1356s | 24 | 5649888 | 4880062 | 1448 7196 | 54 | 36
1367.69/1368.23 c 1358s | 24 | 5656603 | 4885962 | 1448 7204 | 54 | 36
1369.70/1370.26 c 1360s | 24 | 5663181 | 4891662 | 1448 7211 | 54 | 36
1371.70/1372.29 c 1362s | 24 | 5669879 | 4897362 | 1448 7218 | 54 | 36
1373.80/1374.30 c 1364s | 24 | 5676058 | 4902762 | 1448 7224 | 54 | 36
1375.79/1376.33 c 1366s | 24 | 5683076 | 4908862 | 1448 7232 | 54 | 36
1377.80/1378.34 c 1368s | 24 | 5690557 | 4915262 | 1448 7239 | 54 | 36
1379.79/1380.36 c 1370s | 24 | 5697582 | 4921462 | 1448 7247 | 54 | 36
1381.79/1382.36 c 1372s | 24 | 5704279 | 4927262 | 1448 7254 | 54 | 36
1383.79/1384.38 c 1374s | 24 | 5710766 | 4932962 | 1448 7261 | 54 | 36
1385.79/1386.38 c 1376s | 24 | 5716860 | 4938262 | 1593 7267 | 54 | 36
1387.89/1388.41 c 1378s | 24 | 5723052 | 4943662 | 1593 7273 | 54 | 36
1389.90/1390.43 c 1380s | 24 | 5729566 | 4949362 | 1593 7280 | 54 | 36
1391.89/1392.45 c 1382s | 24 | 5735792 | 4954862 | 1593 7286 | 54 | 36
1393.89/1394.46 c 1384s | 24 | 5742245 | 4960562 | 1593 7292 | 54 | 36
1395.89/1396.48 c 1386s | 24 | 5748694 | 4966162 | 1593 7299 | 54 | 36
1397.89/1398.49 c 1388s | 24 | 5755265 | 4971862 | 1593 7305 | 54 | 36
1399.90/1400.49 c 1390s | 24 | 5762096 | 4977662 | 1593 7311 | 54 | 36
1402.00/1402.50 c 1392s | 24 | 5769255 | 4983662 | 1593 7318 | 54 | 36
1403.99/1404.51 c 1394s | 24 | 5775747 | 4989262 | 1593 7325 | 54 | 36
1405.99/1406.52 c 1396s | 24 | 5782267 | 4994962 | 1593 7331 | 54 | 36
1407.99/1408.54 c 1398s | 24 | 5788341 | 5000462 | 1593 7337 | 54 | 36
1409.99/1410.55 c 1400s | 24 | 5794687 | 5006062 | 1593 7343 | 54 | 36
1411.99/1412.57 c 1402s | 24 | 5801394 | 5011862 | 1593 7350 | 54 | 36
1413.99/1414.57 c 1404s | 24 | 5807691 | 5017462 | 1593 7356 | 54 | 36
1415.99/1416.58 c 1406s | 24 | 5813976 | 5022962 | 1593 7363 | 54 | 36
1417.99/1418.59 c 1408s | 24 | 5819915 | 5028262 | 1593 7369 | 54 | 36
1420.09/1420.62 c 1410s | 24 | 5825663 | 5033462 | 1593 7375 | 54 | 36
1422.09/1422.63 c 1412s | 24 | 5831753 | 5038862 | 1593 7381 | 54 | 36
1424.09/1424.65 c 1414s | 24 | 5837759 | 5044162 | 1593 7387 | 54 | 36
1426.09/1426.65 c 1416s | 24 | 5843557 | 5049362 | 1593 7393 | 54 | 36
1428.08/1428.68 c 1418s | 24 | 5849746 | 5054762 | 1593 7399 | 54 | 36
1430.18/1430.70 c 1420s | 24 | 5856034 | 5060262 | 1593 7405 | 54 | 36
1431.79/1432.34 c 1422s | 25 | 5861590 | 5065098 | 1593 7411 | 54 | 36
1433.78/1434.36 c 1424s | 25 | 5870187 | 5072298 | 1593 7419 | 54 | 36
1435.78/1436.37 c 1426s | 25 | 5878362 | 5079398 | 1593 7427 | 54 | 36
1437.88/1438.40 c 1428s | 25 | 5886525 | 5086498 | 1593 7435 | 54 | 36
1439.88/1440.43 c 1430s | 25 | 5894129 | 5093098 | 1593 7443 | 54 | 36
1441.88/1442.44 c 1432s | 25 | 5901373 | 5099498 | 1593 7450 | 54 | 36
1443.89/1444.46 c 1434s | 25 | 5909156 | 5106198 | 1593 7458 | 54 | 36
1445.88/1446.47 c 1436s | 25 | 5916704 | 5112798 | 1593 7465 | 54 | 36
1447.88/1448.47 c 1438s | 25 | 5923959 | 5119198 | 1593 7472 | 54 | 36
1449.88/1450.49 c 1440s | 25 | 5931407 | 5125698 | 1593 7480 | 54 | 36
1451.98/1452.52 c 1442s | 25 | 5939010 | 5132298 | 1593 7487 | 54 | 36
1453.98/1454.54 c 1444s | 25 | 5946600 | 5138798 | 1593 7495 | 54 | 36
1455.98/1456.54 c 1446s | 25 | 5954457 | 5145598 | 1593 7503 | 54 | 36
1457.97/1458.56 c 1448s | 25 | 5962488 | 5152498 | 1593 7511 | 54 | 36
1459.97/1460.59 c 1450s | 25 | 5970184 | 5159098 | 1593 7518 | 54 | 36
1462.08/1462.60 c 1452s | 25 | 5977597 | 5165598 | 1593 7526 | 54 | 36
1464.08/1464.62 c 1454s | 25 | 5985089 | 5172198 | 1593 7533 | 54 | 36
1466.08/1466.65 c 1456s | 25 | 5992739 | 5178798 | 1593 7541 | 54 | 36
1468.09/1468.67 c 1458s | 25 | 6000552 | 5185498 | 1593 7548 | 54 | 36
1470.08/1470.69 c 1460s | 25 | 6007556 | 5191698 | 1593 7555 | 54 | 36
1472.08/1472.69 c 1462s | 25 | 6014618 | 5197898 | 1593 7563 | 54 | 36
1474.18/1474.72 c 1464s | 25 | 6022224 | 5204498 | 1593 7570 | 54 | 36
1476.18/1476.74 c 1466s | 25 | 6029654 | 5210998 | 1593 7578 | 54 | 36
1478.18/1478.76 c 1468s | 25 | 6037464 | 5217698 | 1593 7585 | 54 | 36
1480.18/1480.78 c 1470s | 25 | 6045100 | 5224298 | 1593 7593 | 54 | 36
1482.18/1482.80 c 1472s | 25 | 6052840 | 5230998 | 1593 7600 | 54 | 36
1484.28/1484.82 c 1474s | 25 | 6060486 | 5237698 | 1593 7608 | 54 | 36
1486.28/1486.86 c 1476s | 25 | 6067885 | 5244098 | 1593 7616 | 54 | 36
1488.28/1488.89 c 1478s | 25 | 6074947 | 5250198 | 1593 7623 | 54 | 36
1490.37/1490.91 c 1480s | 25 | 6082955 | 5257098 | 1593 7630 | 54 | 36
1492.37/1492.91 c 1482s | 25 | 6090449 | 5263598 | 1593 7638 | 54 | 36
1494.38/1494.94 c 1484s | 25 | 6098061 | 5270198 | 1593 7646 | 54 | 36
1496.37/1496.96 c 1486s | 25 | 6105308 | 5276498 | 1593 7653 | 54 | 36
1498.37/1498.98 c 1488s | 25 | 6112522 | 5282798 | 1593 7660 | 54 | 36
1500.37/1500.98 c 1490s | 25 | 6119926 | 5289198 | 1593 7667 | 54 | 36
1502.47/1503.00 c 1492s | 25 | 6127828 | 5295998 | 1593 7675 | 54 | 36
1504.47/1505.02 c 1495s | 25 | 6135475 | 5302698 | 1593 7683 | 54 | 36
1506.48/1507.04 c 1497s | 25 | 6143107 | 5309298 | 1593 7690 | 54 | 36
1508.47/1509.07 c 1499s | 25 | 6150681 | 5315798 | 1593 7698 | 54 | 36
1510.47/1511.08 c 1501s | 25 | 6158382 | 5322298 | 1593 7705 | 54 | 36
1512.47/1513.09 c 1503s | 25 | 6165772 | 5328498 | 1593 7712 | 54 | 36
1514.57/1515.10 c 1505s | 25 | 6173279 | 5335098 | 1593 7720 | 54 | 36
1516.57/1517.13 c 1507s | 25 | 6181153 | 5341898 | 1593 7728 | 54 | 36
1518.58/1519.17 c 1509s | 25 | 6188983 | 5348598 | 1593 7736 | 54 | 36
1520.67/1521.20 c 1511s | 25 | 6196414 | 5355098 | 1593 7743 | 54 | 36
1522.67/1523.20 c 1513s | 25 | 6203996 | 5361698 | 1593 7750 | 54 | 36
1524.67/1525.21 c 1515s | 25 | 6211749 | 5368398 | 1593 7758 | 54 | 36
1526.67/1527.23 c 1517s | 25 | 6219767 | 5374998 | 1593 7766 | 54 | 36
1528.67/1529.24 c 1519s | 25 | 6227141 | 5381298 | 1593 7773 | 54 | 36
1530.67/1531.24 c 1521s | 25 | 6234403 | 5387598 | 1593 7780 | 54 | 36
1532.67/1533.25 c 1523s | 25 | 6241309 | 5393598 | 1593 7787 | 54 | 36
1534.66/1535.25 c 1525s | 25 | 6248577 | 5399798 | 1593 7794 | 54 | 36
1536.66/1537.25 c 1527s | 25 | 6256016 | 5406198 | 1593 7801 | 54 | 36
1538.66/1539.27 c 1529s | 25 | 6263810 | 5412998 | 1593 7809 | 54 | 36
1540.67/1541.29 c 1531s | 25 | 6271481 | 5419698 | 1593 7817 | 54 | 36
1542.77/1543.32 c 1533s | 25 | 6279328 | 5426598 | 1593 7825 | 54 | 36
1544.76/1545.34 c 1535s | 25 | 6287342 | 5433598 | 1593 7833 | 54 | 36
1546.76/1547.35 c 1537s | 25 | 6295476 | 5440598 | 1593 7841 | 54 | 36
1548.76/1549.35 c 1539s | 25 | 6303667 | 5447698 | 1593 7849 | 54 | 36
1550.76/1551.37 c 1541s | 25 | 6312061 | 5454998 | 1593 7857 | 54 | 36
1552.87/1553.40 c 1543s | 25 | 6320203 | 5462098 | 1593 7865 | 54 | 36
1554.87/1555.41 c 1545s | 25 | 6327982 | 5468798 | 1593 7873 | 54 | 36
1556.87/1557.41 c 1547s | 25 | 6335368 | 5475198 | 1593 7880 | 54 | 36
1558.86/1559.42 c 1549s | 25 | 6342925 | 5481898 | 1593 7888 | 54 | 36
1560.86/1561.46 c 1551s | 25 | 6350512 | 5488498 | 1593 7896 | 54 | 36
1562.86/1563.47 c 1553s | 25 | 6358522 | 5495398 | 1593 7903 | 54 | 36
1564.87/1565.49 c 1555s | 25 | 6366152 | 5502098 | 1593 7911 | 54 | 36
1566.97/1567.51 c 1557s | 25 | 6374124 | 5508898 | 1593 7919 | 54 | 36
1568.96/1569.54 c 1559s | 25 | 6382358 | 5515998 | 1593 7927 | 54 | 36
1570.96/1571.55 c 1561s | 25 | 6390193 | 5522798 | 1593 7935 | 54 | 36
1572.96/1573.56 c 1563s | 25 | 6397893 | 5529498 | 1593 7942 | 54 | 36
1574.96/1575.58 c 1565s | 25 | 6405847 | 5536298 | 1593 7950 | 54 | 36
1576.97/1577.58 c 1567s | 25 | 6413134 | 5542598 | 1593 7958 | 54 | 36
1579.07/1579.60 c 1569s | 25 | 6420963 | 5549398 | 1593 7965 | 54 | 36
1581.06/1581.62 c 1571s | 25 | 6428666 | 5556098 | 1593 7973 | 54 | 36
1583.06/1583.63 c 1573s | 25 | 6436186 | 5562598 | 1593 7980 | 54 | 36
1585.06/1585.64 c 1575s | 25 | 6443302 | 5568998 | 1593 7988 | 54 | 36
1587.06/1587.67 c 1577s | 25 | 6451252 | 5575998 | 1593 7996 | 54 | 36
1589.06/1589.67 c 1579s | 25 | 6459144 | 5582998 | 1593 8004 | 54 | 36
1591.06/1591.68 c 1581s | 25 | 6466727 | 5589798 | 1593 8012 | 54 | 36
1593.16/1593.71 c 1583s | 25 | 6474484 | 5596698 | 1593 8020 | 54 | 36
1595.16/1595.73 c 1585s | 25 | 6482054 | 5603298 | 1593 8027 | 54 | 36
1597.16/1597.73 c 1587s | 25 | 6489453 | 5609798 | 1593 8035 | 54 | 36
1599.16/1599.75 c 1589s | 25 | 6497010 | 5616498 | 1593 8042 | 54 | 36
1601.16/1601.78 c 1591s | 25 | 6504267 | 5622898 | 1593 8050 | 54 | 36
1603.26/1603.80 c 1593s | 25 | 6511699 | 5629398 | 1593 8057 | 54 | 36
1605.26/1605.81 c 1595s | 25 | 6519162 | 5635798 | 1593 8064 | 54 | 36
1607.25/1607.82 c 1597s | 25 | 6526381 | 5642098 | 1593 8071 | 54 | 36
1609.25/1609.85 c 1599s | 25 | 6534135 | 5648898 | 1593 8079 | 54 | 36
1611.25/1611.87 c 1601s | 25 | 6542209 | 5655698 | 1593 8087 | 54 | 36
1613.26/1613.87 c 1603s | 25 | 6549565 | 5662098 | 1593 8094 | 54 | 36
1615.25/1615.88 c 1605s | 25 | 6556815 | 5668398 | 1593 8102 | 54 | 36
1617.25/1617.89 c 1607s | 25 | 6564333 | 5674998 | 1593 8109 | 54 | 36
1619.35/1619.90 c 1609s | 25 | 6572098 | 5681798 | 1593 8117 | 54 | 36
1621.35/1621.92 c 1611s | 25 | 6580017 | 5688798 | 1593 8125 | 54 | 36
1623.35/1623.94 c 1613s | 25 | 6587969 | 5695698 | 1593 8133 | 54 | 36
1625.36/1625.96 c 1615s | 25 | 6595720 | 5702498 | 1593 8141 | 54 | 36
1627.35/1627.97 c 1617s | 25 | 6603569 | 5709298 | 1593 8149 | 54 | 36
1629.35/1629.97 c 1619s | 25 | 6611017 | 5715998 | 1593 8156 | 54 | 36
1631.35/1631.98 c 1621s | 25 | 6618476 | 5722598 | 1593 8164 | 54 | 36
1633.45/1634.01 c 1623s | 25 | 6626134 | 5729298 | 1593 8172 | 54 | 36
1635.45/1636.02 c 1626s | 25 | 6633433 | 5735698 | 1593 8179 | 54 | 36
1637.45/1638.03 c 1628s | 25 | 6640839 | 5742198 | 1593 8186 | 54 | 36
1639.45/1640.04 c 1630s | 25 | 6648162 | 5748698 | 1593 8194 | 54 | 36
1641.45/1642.06 c 1632s | 25 | 6655707 | 5755298 | 1593 8201 | 54 | 36
1643.45/1644.08 c 1634s | 25 | 6663537 | 5762098 | 1593 8209 | 54 | 36
1645.44/1646.09 c 1636s | 25 | 6671163 | 5768798 | 1593 8217 | 54 | 36
1647.54/1648.11 c 1638s | 25 | 6678652 | 5775298 | 1593 8224 | 54 | 36
1649.55/1650.14 c 1640s | 25 | 6686267 | 5781998 | 1593 8232 | 54 | 36
1651.54/1652.14 c 1642s | 25 | 6693829 | 5788598 | 1593 8240 | 54 | 36
1653.54/1654.16 c 1644s | 25 | 6701778 | 5795498 | 1593 8248 | 54 | 36
1655.54/1656.19 c 1646s | 25 | 6709289 | 5802198 | 1593 8255 | 54 | 36
1657.54/1658.19 c 1648s | 25 | 6716522 | 5808598 | 1593 8263 | 54 | 36
1659.64/1660.22 c 1650s | 25 | 6723709 | 5814898 | 1593 8270 | 54 | 36
1661.65/1662.24 c 1652s | 25 | 6731299 | 5821598 | 1593 8278 | 54 | 36
1663.64/1664.26 c 1654s | 25 | 6738958 | 5828298 | 1593 8285 | 54 | 36
1665.65/1666.26 c 1656s | 25 | 6746653 | 5834998 | 1593 8293 | 54 | 36
1667.65/1668.28 c 1658s | 25 | 6753830 | 5841298 | 1593 8300 | 54 | 36
1669.65/1670.29 c 1660s | 25 | 6761464 | 5847898 | 1593 8308 | 54 | 36
1671.75/1672.30 c 1662s | 25 | 6768661 | 5854298 | 1593 8315 | 54 | 36
1673.76/1674.31 c 1664s | 25 | 6775997 | 5860798 | 1593 8323 | 54 | 36
1675.75/1676.32 c 1666s | 25 | 6782987 | 5866998 | 1593 8330 | 54 | 36
1677.75/1678.33 c 1668s | 25 | 6790454 | 5873598 | 1593 8337 | 54 | 36
1679.75/1680.36 c 1670s | 25 | 6797683 | 5879998 | 1593 8344 | 54 | 36
1681.75/1682.37 c 1672s | 25 | 6805119 | 5886598 | 1593 8352 | 54 | 36
1683.85/1684.40 c 1674s | 25 | 6812776 | 5893298 | 1593 8360 | 54 | 36
1685.75/1686.40 c 1676s | 25 | 6820251 | 5899898 | 1593 8367 | 54 | 36
1687.85/1688.42 c 1678s | 25 | 6827782 | 5906398 | 1593 8375 | 54 | 36
1689.85/1690.42 c 1680s | 25 | 6835231 | 5912898 | 1593 8382 | 54 | 36
1691.84/1692.45 c 1682s | 25 | 6842751 | 5919398 | 1593 8390 | 54 | 36
1693.84/1694.47 c 1684s | 25 | 6849870 | 5925698 | 1593 8397 | 54 | 36
1695.84/1696.47 c 1686s | 25 | 6857043 | 5931998 | 1593 8404 | 54 | 36
1697.85/1698.48 c 1688s | 25 | 6864260 | 5938298 | 1593 8411 | 54 | 36
1699.84/1700.49 c 1690s | 25 | 6871809 | 5944798 | 1593 8419 | 54 | 36
1701.94/1702.51 c 1692s | 25 | 6879298 | 5951298 | 1593 8426 | 54 | 36
1703.94/1704.52 c 1694s | 25 | 6886597 | 5957698 | 1593 8434 | 54 | 36
1705.94/1706.54 c 1696s | 25 | 6894282 | 5964498 | 1593 8441 | 54 | 36
1707.94/1708.54 c 1698s | 25 | 6901493 | 5970998 | 1593 8449 | 54 | 36
1709.95/1710.55 c 1700s | 25 | 6909057 | 5977698 | 1593 8456 | 54 | 36
1711.94/1712.55 c 1702s | 25 | 6916590 | 5984298 | 1593 8464 | 54 | 36
1713.94/1714.57 c 1704s | 25 | 6924270 | 5990898 | 1593 8471 | 54 | 36
1715.94/1716.59 c 1706s | 25 | 6932134 | 5997798 | 1593 8479 | 54 | 36
1718.04/1718.61 c 1708s | 25 | 6939792 | 6004398 | 1593 8487 | 54 | 36
1720.04/1720.63 c 1710s | 25 | 6947927 | 6011198 | 1593 8495 | 54 | 36
1722.05/1722.65 c 1712s | 25 | 6955609 | 6017798 | 1593 8502 | 54 | 36
1724.04/1724.65 c 1714s | 25 | 6963223 | 6024498 | 1593 8510 | 54 | 36
1726.04/1726.67 c 1716s | 25 | 6971028 | 6031298 | 1593 8518 | 54 | 36
1728.04/1728.69 c 1718s | 25 | 6979234 | 6038298 | 1593 8526 | 54 | 36
1730.04/1730.69 c 1720s | 25 | 6987156 | 6045198 | 1593 8534 | 54 | 36
1732.04/1732.69 c 1722s | 25 | 6994818 | 6051898 | 1593 8541 | 54 | 36
1734.04/1734.70 c 1724s | 25 | 7002069 | 6058298 | 1593 8549 | 54 | 36
1736.13/1736.72 c 1726s | 25 | 7009627 | 6064898 | 1593 8556 | 54 | 36
1738.13/1738.73 c 1728s | 25 | 7017949 | 6071998 | 1593 8564 | 54 | 36
1740.13/1740.74 c 1730s | 25 | 7025976 | 6078898 | 1593 8572 | 54 | 36
1742.13/1742.76 c 1732s | 25 | 7034293 | 6086098 | 1593 8581 | 54 | 36
1744.14/1744.77 c 1734s | 25 | 7042006 | 6092898 | 1593 8588 | 54 | 36
1746.13/1746.78 c 1736s | 25 | 7050037 | 6099898 | 1593 8596 | 54 | 36
1748.13/1748.79 c 1738s | 25 | 7058121 | 6106898 | 1593 8604 | 54 | 36
1750.13/1750.79 c 1740s | 25 | 7065834 | 6113698 | 1593 8612 | 54 | 36
1752.23/1752.81 c 1742s | 25 | 7073416 | 6120398 | 1593 8620 | 54 | 36
1754.23/1754.84 c 1744s | 25 | 7081479 | 6127298 | 1593 8628 | 54 | 36
1756.24/1756.86 c 1746s | 25 | 7089268 | 6134098 | 1593 8635 | 54 | 36
1758.23/1758.88 c 1748s | 25 | 7097214 | 6141098 | 1593 8643 | 54 | 36
1760.33/1760.91 c 1750s | 25 | 7105348 | 6148198 | 1593 8652 | 54 | 36
1762.33/1762.92 c 1752s | 25 | 7113178 | 6154998 | 1593 8659 | 54 | 36
1764.34/1764.92 c 1754s | 25 | 7121422 | 6161998 | 1593 8667 | 54 | 36
1766.34/1766.94 c 1756s | 25 | 7129238 | 6168898 | 1593 8675 | 54 | 36
1768.34/1768.96 c 1758s | 25 | 7136999 | 6175698 | 1593 8683 | 54 | 36
1770.33/1770.97 c 1760s | 25 | 7145361 | 6182898 | 1593 8691 | 54 | 36
1772.43/1773.00 c 1762s | 25 | 7153447 | 6189898 | 1593 8699 | 54 | 36
1774.43/1775.02 c 1765s | 25 | 7161828 | 6197198 | 1593 8708 | 54 | 36
1776.43/1777.04 c 1767s | 25 | 7169942 | 6204398 | 1593 8716 | 54 | 36
1778.43/1779.04 c 1769s | 25 | 7178112 | 6211498 | 1593 8724 | 54 | 36
1780.44/1781.07 c 1771s | 25 | 7185555 | 6218098 | 1593 8732 | 54 | 36
1782.43/1783.08 c 1773s | 25 | 7193274 | 6224798 | 1593 8739 | 54 | 36
1784.43/1785.09 c 1775s | 25 | 7200914 | 6231498 | 1593 8747 | 54 | 36
1786.53/1787.12 c 1777s | 25 | 7208246 | 6237998 | 1593 8755 | 54 | 36
1788.53/1789.15 c 1779s | 25 | 7216044 | 6244898 | 1593 8763 | 54 | 36
1790.53/1791.16 c 1781s | 25 | 7223613 | 6251598 | 1593 8770 | 54 | 36
1792.54/1793.17 c 1783s | 25 | 7231477 | 6258398 | 1593 8778 | 54 | 36
1794.53/1795.18 c 1785s | 25 | 7239073 | 6265098 | 1593 8786 | 54 | 36
1796.53/1797.19 c 1787s | 25 | 7246640 | 6271798 | 1593 8793 | 54 | 36
1798.63/1799.21 c 1789s | 25 | 7254655 | 6278798 | 1593 8801 | 54 | 36
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-4117555-1467214418/watcher-4117555-1467214418 -o /tmp/evaluation-result-4117555-1467214418/solver-4117555-1467214418 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467208982-19136 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117555-1467214418.opb
pid=19612
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.37 2.27 2.20 2/174 19615
/proc/meminfo: memFree=29620808/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 2713 0 0 0 0 0 0 0 20 0 4 0 11470363 743895040 2562 33554432000 4194304 16246674 140735469550640 140735469550064 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 182383 2571 441 2943 0 179277 0
[pid=19615/tid=19616] ppid=19612 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 760672256 2626 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 765915136 2646 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11470363 771158016 2664 33554432000 4194304 16246674 140735469550640 140090184551600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100148 s]
/proc/loadavg: 2.37 2.27 2.20 2/174 19615
/proc/meminfo: memFree=29620808/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 23718 0 0 0 6 3 0 0 20 0 4 0 11470363 1247350784 23554 33554432000 4194304 16246674 140735469550640 140735469533640 6021055 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 304529 23561 785 2943 0 301423 0
[pid=19615/tid=19616] ppid=19612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1247350784 23569 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1247350784 23575 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11470363 1247350784 23580 33554432000 4194304 16246674 140735469550640 140090184551600 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) 1218116
[startup+0.200465 s]
/proc/loadavg: 2.37 2.27 2.20 2/174 19615
/proc/meminfo: memFree=29620808/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 43931 0 0 0 13 6 0 0 20 0 4 0 11470363 1247350784 43767 33554432000 4194304 16246674 140735469550640 140735469533640 5518965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 304529 43774 785 2943 0 301423 0
[pid=19615/tid=19616] ppid=19612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1247350784 43780 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1247350784 43786 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11470363 1247350784 43795 33554432000 4194304 16246674 140735469550640 140090184551600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300468 s]
/proc/loadavg: 2.37 2.27 2.20 2/174 19615
/proc/meminfo: memFree=29620808/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 64172 0 0 0 20 9 0 0 20 0 4 0 11470363 1247350784 64008 33554432000 4194304 16246674 140735469550640 140735469533640 12483009 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 304529 64015 785 2943 0 301423 0
[pid=19615/tid=19616] ppid=19612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1247350784 64021 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1247350784 64025 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11470363 1247350784 64030 33554432000 4194304 16246674 140735469550640 140090184551600 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) 1218116
[startup+0.700418 s]
/proc/loadavg: 2.37 2.27 2.20 2/174 19615
/proc/meminfo: memFree=29620808/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 140124 0 0 0 49 20 0 0 20 0 4 0 11470363 1247350784 139961 33554432000 4194304 16246674 140735469550640 140735469533640 13191638 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 304529 139968 786 2943 0 301423 0
[pid=19615/tid=19616] ppid=19612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1247350784 139974 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1247350784 139979 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11470363 1247350784 139984 33554432000 4194304 16246674 140735469550640 140090184551600 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) 1218116
[startup+1.50041 s]
/proc/loadavg: 2.37 2.27 2.20 3/183 19668
/proc/meminfo: memFree=28111476/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 245733 0 0 0 114 35 0 0 20 0 4 0 11470363 1248399360 245547 33554432000 4194304 16246674 140735469550640 140735469549952 5545993 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 304785 245547 846 2943 0 301679 0
[pid=19615/tid=19616] ppid=19612 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1248399360 245547 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1248399360 245547 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1248399360 245547 33554432000 4194304 16246674 140735469550640 140090184551600 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) 1219140
[startup+3.1004 s]
/proc/loadavg: 2.37 2.27 2.20 3/183 19668
/proc/meminfo: memFree=27569976/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 267483 0 0 0 270 39 0 0 20 0 4 0 11470363 1337528320 267297 33554432000 4194304 16246674 140735469550640 140735469532544 6861625 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 326545 267297 846 2943 0 323439 0
[pid=19615/tid=19616] ppid=19612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1337528320 267297 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1337528320 267297 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1337528320 267297 33554432000 4194304 16246674 140735469550640 140090184551600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180
[startup+6.30032 s]
/proc/loadavg: 2.34 2.27 2.20 3/174 19851
/proc/meminfo: memFree=28552116/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 267489 0 0 0 590 39 0 0 20 0 4 0 11470363 1337528320 267303 33554432000 4194304 16246674 140735469550640 140735469533640 6021268 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 326545 267303 846 2943 0 323439 0
[pid=19615/tid=19616] ppid=19612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1337528320 267303 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1337528320 267303 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1337528320 267303 33554432000 4194304 16246674 140735469550640 140090184551600 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) 1306180
[startup+12.7004 s]
/proc/loadavg: 2.31 2.26 2.19 3/183 19962
/proc/meminfo: memFree=27479168/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 267599 0 0 0 1230 39 0 0 20 0 4 0 11470363 1337528320 267413 33554432000 4194304 16246674 140735469550640 140735469532544 5827682 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 326545 267413 846 2943 0 323439 0
[pid=19615/tid=19616] ppid=19612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1337528320 267413 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1337528320 267413 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1337528320 267413 33554432000 4194304 16246674 140735469550640 140090184551600 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) 1306180
[startup+25.5005 s]
/proc/loadavg: 2.31 2.27 2.20 4/183 19962
/proc/meminfo: memFree=27479888/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 267600 0 0 0 2509 39 0 0 20 0 4 0 11470363 1337528320 267414 33554432000 4194304 16246674 140735469550640 140735469532544 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 326545 267414 847 2943 0 323439 0
[pid=19615/tid=19616] ppid=19612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1337528320 267414 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1337528320 267414 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1337528320 267414 33554432000 4194304 16246674 140735469550640 140090184551600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180
[startup+51.1005 s]
/proc/loadavg: 2.28 2.26 2.19 3/183 19962
/proc/meminfo: memFree=27479032/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 267861 0 0 0 5068 40 0 0 20 0 4 0 11470363 1338576896 267675 33554432000 4194304 16246674 140735469550640 140735469532544 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 326801 267675 849 2943 0 323695 0
[pid=19615/tid=19616] ppid=19612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1338576896 267675 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1338576896 267675 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1338576896 267675 33554432000 4194304 16246674 140735469550640 140090184551600 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) 1307204
[startup+102.3 s]
/proc/loadavg: 2.26 2.26 2.20 3/183 19964
/proc/meminfo: memFree=27478200/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1307204 CPUtime=102.29 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 267896 0 0 0 10188 41 0 0 20 0 4 0 11470363 1338576896 267710 33554432000 4194304 16246674 140735469550640 140735469532544 5723137 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 326801 267710 849 2943 0 323695 0
[pid=19615/tid=19616] ppid=19612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1338576896 267710 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1338576896 267710 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1338576896 267710 33554432000 4194304 16246674 140735469550640 140090184551600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1307204
################
# More data... #
################
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090184551600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1308228
[startup+1302.3 s]
/proc/loadavg: 2.26 2.24 2.21 3/183 20287
/proc/meminfo: memFree=27468456/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1308228 CPUtime=1301.8 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 268377 0 0 0 130126 54 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140735469532544 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 327057 267979 850 2943 0 323951 0
[pid=19615/tid=19616] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090184551600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 1308228
[startup+1362.3 s]
/proc/loadavg: 2.41 2.28 2.22 3/183 20288
/proc/meminfo: memFree=27468192/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1308228 CPUtime=1361.79 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 268377 0 0 0 136125 54 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140735469533640 6842264 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 327057 267979 850 2943 0 323951 0
[pid=19615/tid=19616] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090184551600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1308228
[startup+1422.3 s]
/proc/loadavg: 2.35 2.29 2.22 4/183 20289
/proc/meminfo: memFree=27467860/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1308228 CPUtime=1421.79 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 268377 0 0 0 142124 55 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140735469532544 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 327057 267979 850 2943 0 323951 0
[pid=19615/tid=19616] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090184551600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1308228
[startup+1482.3 s]
/proc/loadavg: 2.39 2.31 2.23 4/183 20290
/proc/meminfo: memFree=27466788/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1308228 CPUtime=1481.78 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 268377 0 0 0 148122 56 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140735469532544 5861275 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 327057 267979 850 2943 0 323951 0
[pid=19615/tid=19616] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090184551600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1308228
[startup+1542.31 s]
/proc/loadavg: 2.23 2.28 2.23 3/183 20291
/proc/meminfo: memFree=27466572/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1308228 CPUtime=1541.77 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 268377 0 0 0 154121 56 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140735469532544 5599998 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 327057 267979 850 2943 0 323951 0
[pid=19615/tid=19616] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090184551600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1308228
[startup+1602.3 s]
/proc/loadavg: 2.41 2.32 2.24 4/184 20296
/proc/meminfo: memFree=27466320/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1308228 CPUtime=1601.76 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 268377 0 0 0 160119 57 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140735469532544 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 327057 267979 850 2943 0 323951 0
[pid=19615/tid=19616] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090184551600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1308228
[startup+1662.3 s]
/proc/loadavg: 2.32 2.30 2.24 3/184 20320
/proc/meminfo: memFree=27466888/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1308228 CPUtime=1661.74 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 268377 0 0 0 166117 57 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140735469533640 5808141 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 327057 267979 850 2943 0 323951 0
[pid=19615/tid=19616] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090184551600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1308228
[startup+1722.3 s]
/proc/loadavg: 2.39 2.32 2.25 3/183 20321
/proc/meminfo: memFree=27466832/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1308228 CPUtime=1721.74 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 268377 0 0 0 172116 58 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140735469532544 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 327057 267979 850 2943 0 323951 0
[pid=19615/tid=19616] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090184551600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1308228
[startup+1782.3 s]
/proc/loadavg: 2.30 2.31 2.25 4/183 20322
/proc/meminfo: memFree=27465996/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1308228 CPUtime=1781.73 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 268377 0 0 0 178114 59 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140735469533640 5661902 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 327057 267979 850 2943 0 323951 0
[pid=19615/tid=19616] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090184551600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1308228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.30 2.31 2.25 3/183 20323
/proc/meminfo: memFree=27465852/32872528 swapFree=1394328/1580332
[pid=19615] ppid=19612 vsize=1308228 CPUtime=1800.03 cores=1,3,5,7
/proc/19615/stat : 19615 (toysat) R 19612 19615 19119 0 -1 4202496 268377 0 0 0 179944 59 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140735469532544 5823619 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19615/statm: 327057 267979 850 2943 0 323951 0
[pid=19615/tid=19616] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19616/stat : 19616 (toysat) S 19612 19615 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090205514992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19615/tid=19617] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19617/stat : 19617 (toysat) S 19612 19615 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090195025136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19615/tid=19618] ppid=19612 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19615/task/19618/stat : 19618 (toysat) S 19612 19615 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11470363 1339625472 267979 33554432000 4194304 16246674 140735469550640 140090184551600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1308228
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 19615 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.04
CPU user time (s): 1799.45
CPU system time (s): 0.59191
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 1308228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.59191
maximum resident set size= 1071916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268377
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= 483
involuntary context switches= 1936
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53831 second user time and 7.00293 second system time
The end