0.00/0.00 c 2016-06-06T23:28:47+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-4079846-1465248527.opb"]
0.00/0.01 c use --random-gen="2840924102 1643175157 4224660755 2119766418 2885891927 2249530145 3813035630 4194449072 3613711964 2001730507 425567984 540894284 2719227025 3779746545 3638542522 1669741921 2155908862 1189789841 2364536098 2966250731 1030997677 4176590356 3377172999 202905217 2480164108 1956410201 1194001147 1613126954 651203366 654364370 1539332631 2803017577 4278819054 966307305 945026092 647754001 2030518056 4218400144 2074801780 2072224864 3060963055 3981141247 3524869816 2418976488 2985699877 1868893905 1944646011 747475436 124496413 3932241145 2448477886 104194887 3870482130 764153860 1517716387 2294258742 2358292061 2046102476 3504964345 1234716660 752152768 214466807 1675009327 4071530989 3562549866 2403593429 1402481886 599151513 3222712204 3066205097 304454149 113621979 2014845257 1234631792 3084495855 450128006 3323127929 2368403561 4286454286 3457844882 521581964 2950040314 2931065678 2633371298 473082509 2033904555 174312774 832450777 2054444989 3763721011 476183044 1803836372 2323095517 1079575912 2414127069 391207716 3927121441 3499569706 1134684472 2443284894 192551522 440457527 4047592270 1942426481 3733029111 3674082750 3172759000 1888234712 1192180804 212289530 1067439611 2277891789 3280210400 4199875466 2130470474 3735693563 2203750987 1011632269 2802006792 351671007 537139738 240471039 679163468 4002513153 1437572765 3123919048 66534204 3022537939 1882836272 191487166 2404096453 3283246438 2728698439 4225883973 134575492 1909127311 2198328901 954401271 3269509419 3715090468 3087056063 374025066 1388953157 1455699591 1356515719 721708698 2818098229 2961816572 945221563 3340630593 1005611708 3689141851 3131282825 1668561791 3135015936 864688944 3959960390 20845930 1475348248 135169058 1872036190 3245500705 2591932315 1311743333 681970273 3318964176 2514002955 594853139 1370514388 1087403888 1384370120 1457628182 188236910 769591590 28213455 2781407712 323979870 1153025207 1290548126 714194620 865090711 1174043080 3482702161 1053702617 1923392252 1142283166 2085301340 3317296207 1263272480 1015041834 3661604462 2291514165 1352322370 2648383303 1616148968 862827105 2553425376 1116385603 3133025509 1564912155 2405018841 4012253084 972158461 1079861247 2639517891 2387492639 1692404793 956801753 909386132 2023354484 1644322453 1332285415 1893518266 3665578466 2609247765 1865564679 606870867 2215100884 1652696956 3980392796 3446252617 3197627811 202162490 1618376106 3102061531 3592111527 3694572933 857425473 3391197560 1342436388 4269683037 134634674 3035830151 3935437872 3890577658 1361083708 1435913928 251759221 1007930976 173850208 2878939169 3371208031 335853479 4275670498 1939713641 1318467742 912404518 2919170633 708944309 2781901437 549005223 1795719130 1109523404 1892265340 2684796907 1492727991 255 362436" option to reproduce the execution
0.09/0.16 c #vars 7437
0.09/0.16 c #constraints 23270
0.38/0.44 c BCD2: Hardening is enabled.
0.38/0.44 c BCD2: BiasedSearch is enabled.
0.38/0.44 c Solving starts ...
0.38/0.44 c ============================[ Search Statistics ]============================
0.38/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.38/0.44 c | | | | Limit GC | Var | Constra
0.38/0.44 c =============================================================================
0.38/0.44 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 0
0.38/0.50 c 0.1s | 0 | 1740 | 0 | 10037 0 | 1191 | 2760
0.38/0.50 c #cpu_time = 0.052s
0.38/0.50 c #wall_clock_time = 0.052s
0.38/0.50 c #decision = 1740
0.38/0.50 c #random_decision = 2
0.38/0.50 c #conflict = 0
0.38/0.50 c #restart = 0
0.49/0.50 o 1741
0.49/0.50 c BCD2: updating upper bound: 3612 -> 1740
0.49/0.54 c BCD2: 0 <= obj <= 1740
0.49/0.54 c BCD2: #cores=0, #unrelaxed=3612, #relaxed=0, #hardened=0
0.49/0.54 c BCD2: #sat=1 #unsat=1 bias=1/2
0.49/0.54 c Solving starts ...
0.49/0.54 c ============================[ Search Statistics ]============================
0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.54 c | | | | Limit GC | Var | Constra
0.49/0.54 c =============================================================================
0.49/0.55 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.49/0.55 c 0.0s | 0 | 1 | 0 | 10037 0 | 1191 | 2760
0.49/0.55 c #cpu_time = 0.010s
0.49/0.55 c #wall_clock_time = 0.010s
0.49/0.55 c #decision = 1
0.49/0.55 c #random_decision = 0
0.49/0.55 c #conflict = 0
0.49/0.55 c #restart = 0
0.49/0.55 c BCD2: found a new core of size 2: cost of the new core is >=1
0.49/0.55 c lower bound updated to 1
0.49/0.58 c BCD2: 1 <= obj <= 1740
0.49/0.58 c BCD2: #cores=1, #unrelaxed=3610, #relaxed=2, #hardened=0
0.49/0.58 c BCD2: #sat=1 #unsat=2 bias=2/3
0.49/0.58 c Solving starts ...
0.49/0.58 c ============================[ Search Statistics ]============================
0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.58 c | | | | Limit GC | Var | Constra
0.49/0.58 c =============================================================================
0.49/0.58 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.49/0.59 c 0.0s | 0 | 2 | 0 | 10037 0 | 1191 | 2760
0.49/0.59 c #cpu_time = 0.009s
0.49/0.59 c #wall_clock_time = 0.009s
0.49/0.59 c #decision = 2
0.49/0.59 c #random_decision = 0
0.49/0.59 c #conflict = 0
0.49/0.59 c #restart = 0
0.49/0.59 c BCD2: found a new core of size 2: cost of the new core is >=1
0.49/0.59 c lower bound updated to 2
0.49/0.59 c BCD2: 2 <= obj <= 1740
0.49/0.59 c BCD2: #cores=2, #unrelaxed=3608, #relaxed=4, #hardened=0
0.49/0.59 c BCD2: #sat=1 #unsat=3 bias=3/4
0.49/0.59 c Solving starts ...
0.49/0.59 c ============================[ Search Statistics ]============================
0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.59 c | | | | Limit GC | Var | Constra
0.49/0.59 c =============================================================================
0.59/0.61 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.59/0.62 c 0.0s | 0 | 26 | 0 | 10037 0 | 1191 | 2760
0.59/0.62 c #cpu_time = 0.008s
0.59/0.62 c #wall_clock_time = 0.008s
0.59/0.62 c #decision = 26
0.59/0.62 c #random_decision = 0
0.59/0.62 c #conflict = 0
0.59/0.62 c #restart = 0
0.59/0.62 c BCD2: found a new core of size 8: cost of the new core is >=1
0.59/0.62 c lower bound updated to 3
0.59/0.62 c BCD2: 3 <= obj <= 1740
0.59/0.62 c BCD2: #cores=3, #unrelaxed=3600, #relaxed=12, #hardened=0
0.59/0.62 c BCD2: #sat=1 #unsat=4 bias=4/5
0.59/0.62 c Solving starts ...
0.59/0.62 c ============================[ Search Statistics ]============================
0.59/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.62 c | | | | Limit GC | Var | Constra
0.59/0.62 c =============================================================================
0.59/0.62 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.59/0.63 c 0.0s | 0 | 64 | 0 | 10037 0 | 1191 | 2760
0.59/0.63 c #cpu_time = 0.009s
0.59/0.63 c #wall_clock_time = 0.009s
0.59/0.63 c #decision = 64
0.59/0.63 c #random_decision = 0
0.59/0.63 c #conflict = 0
0.59/0.63 c #restart = 0
0.59/0.63 c BCD2: found a new core of size 9: cost of the new core is >=1
0.59/0.63 c lower bound updated to 4
0.59/0.63 c BCD2: 4 <= obj <= 1740
0.59/0.63 c BCD2: #cores=4, #unrelaxed=3591, #relaxed=21, #hardened=0
0.59/0.63 c BCD2: #sat=1 #unsat=5 bias=5/6
0.59/0.63 c Solving starts ...
0.59/0.63 c ============================[ Search Statistics ]============================
0.59/0.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.63 c | | | | Limit GC | Var | Constra
0.59/0.63 c =============================================================================
0.59/0.63 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.59/0.64 c 0.0s | 0 | 278 | 0 | 10037 0 | 1191 | 2760
0.59/0.64 c #cpu_time = 0.010s
0.59/0.64 c #wall_clock_time = 0.010s
0.59/0.64 c #decision = 278
0.59/0.64 c #random_decision = 0
0.59/0.64 c #conflict = 0
0.59/0.64 c #restart = 0
0.59/0.64 c BCD2: found a new core of size 39: cost of the new core is >=1
0.59/0.64 c lower bound updated to 5
0.59/0.65 c BCD2: 5 <= obj <= 1740
0.59/0.65 c BCD2: #cores=5, #unrelaxed=3552, #relaxed=60, #hardened=0
0.59/0.65 c BCD2: #sat=1 #unsat=6 bias=6/7
0.59/0.65 c Solving starts ...
0.59/0.65 c ============================[ Search Statistics ]============================
0.59/0.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.65 c | | | | Limit GC | Var | Constra
0.59/0.65 c =============================================================================
0.59/0.65 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.59/0.66 c 0.0s | 0 | 253 | 0 | 10037 0 | 1191 | 2760
0.59/0.66 c #cpu_time = 0.007s
0.59/0.66 c #wall_clock_time = 0.007s
0.59/0.66 c #decision = 253
0.59/0.66 c #random_decision = 0
0.59/0.66 c #conflict = 0
0.59/0.66 c #restart = 0
0.59/0.66 c BCD2: found a new core of size 31: cost of the new core is >=1
0.59/0.66 c lower bound updated to 6
0.59/0.66 c BCD2: 6 <= obj <= 1740
0.59/0.66 c BCD2: #cores=6, #unrelaxed=3521, #relaxed=91, #hardened=0
0.59/0.66 c BCD2: #sat=1 #unsat=7 bias=7/8
0.59/0.66 c Solving starts ...
0.59/0.66 c ============================[ Search Statistics ]============================
0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.66 c | | | | Limit GC | Var | Constra
0.59/0.66 c =============================================================================
0.59/0.66 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.59/0.67 c 0.0s | 0 | 365 | 0 | 10037 0 | 1191 | 2760
0.59/0.67 c #cpu_time = 0.008s
0.59/0.67 c #wall_clock_time = 0.008s
0.59/0.67 c #decision = 365
0.59/0.67 c #random_decision = 0
0.59/0.67 c #conflict = 0
0.59/0.67 c #restart = 0
0.59/0.67 c BCD2: found a new core of size 36: cost of the new core is >=1
0.59/0.67 c lower bound updated to 7
0.59/0.67 c BCD2: 7 <= obj <= 1740
0.59/0.67 c BCD2: #cores=7, #unrelaxed=3485, #relaxed=127, #hardened=0
0.59/0.67 c BCD2: #sat=1 #unsat=8 bias=8/9
0.59/0.67 c Solving starts ...
0.59/0.67 c ============================[ Search Statistics ]============================
0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.67 c | | | | Limit GC | Var | Constra
0.59/0.67 c =============================================================================
0.59/0.67 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.59/0.68 c 0.0s | 0 | 368 | 0 | 10037 0 | 1191 | 2760
0.59/0.68 c #cpu_time = 0.010s
0.59/0.68 c #wall_clock_time = 0.010s
0.59/0.68 c #decision = 368
0.59/0.68 c #random_decision = 0
0.59/0.68 c #conflict = 0
0.59/0.68 c #restart = 0
0.59/0.68 c BCD2: found a new core of size 48: cost of the new core is >=1
0.59/0.68 c lower bound updated to 8
0.59/0.68 c BCD2: 8 <= obj <= 1740
0.59/0.68 c BCD2: #cores=8, #unrelaxed=3437, #relaxed=175, #hardened=0
0.59/0.68 c BCD2: #sat=1 #unsat=9 bias=9/10
0.59/0.68 c Solving starts ...
0.59/0.68 c ============================[ Search Statistics ]============================
0.59/0.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.68 c | | | | Limit GC | Var | Constra
0.59/0.68 c =============================================================================
0.59/0.68 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.59/0.69 c 0.0s | 0 | 425 | 0 | 10037 0 | 1191 | 2760
0.59/0.69 c #cpu_time = 0.007s
0.59/0.69 c #wall_clock_time = 0.007s
0.59/0.69 c #decision = 425
0.59/0.69 c #random_decision = 0
0.59/0.69 c #conflict = 0
0.59/0.69 c #restart = 0
0.59/0.69 c BCD2: found a new core of size 3: cost of the new core is >=1
0.59/0.69 c lower bound updated to 9
0.59/0.69 c BCD2: 9 <= obj <= 1740
0.59/0.69 c BCD2: #cores=9, #unrelaxed=3434, #relaxed=178, #hardened=0
0.59/0.69 c BCD2: #sat=1 #unsat=10 bias=10/11
0.59/0.69 c Solving starts ...
0.59/0.69 c ============================[ Search Statistics ]============================
0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.69 c | | | | Limit GC | Var | Constra
0.59/0.69 c =============================================================================
0.59/0.69 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.69/0.70 c 0.0s | 0 | 776 | 0 | 10037 0 | 1191 | 2760
0.69/0.70 c #cpu_time = 0.009s
0.69/0.70 c #wall_clock_time = 0.009s
0.69/0.70 c #decision = 776
0.69/0.70 c #random_decision = 0
0.69/0.70 c #conflict = 0
0.69/0.70 c #restart = 0
0.69/0.70 c BCD2: found a new core of size 11: cost of the new core is >=1
0.69/0.70 c lower bound updated to 10
0.69/0.70 c BCD2: 10 <= obj <= 1740
0.69/0.70 c BCD2: #cores=10, #unrelaxed=3423, #relaxed=189, #hardened=0
0.69/0.70 c BCD2: #sat=1 #unsat=11 bias=11/12
0.69/0.70 c Solving starts ...
0.69/0.70 c ============================[ Search Statistics ]============================
0.69/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.70 c | | | | Limit GC | Var | Constra
0.69/0.70 c =============================================================================
0.69/0.70 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.69/0.71 c 0.0s | 0 | 919 | 0 | 10037 0 | 1191 | 2760
0.69/0.71 c #cpu_time = 0.008s
0.69/0.71 c #wall_clock_time = 0.008s
0.69/0.71 c #decision = 919
0.69/0.71 c #random_decision = 0
0.69/0.71 c #conflict = 0
0.69/0.71 c #restart = 0
0.69/0.71 c BCD2: found a new core of size 96: cost of the new core is >=1
0.69/0.71 c lower bound updated to 11
0.69/0.71 c BCD2: 11 <= obj <= 1740
0.69/0.71 c BCD2: #cores=11, #unrelaxed=3327, #relaxed=285, #hardened=0
0.69/0.71 c BCD2: #sat=1 #unsat=12 bias=12/13
0.69/0.71 c Solving starts ...
0.69/0.71 c ============================[ Search Statistics ]============================
0.69/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.71 c | | | | Limit GC | Var | Constra
0.69/0.71 c =============================================================================
0.69/0.71 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.69/0.72 c 0.0s | 0 | 993 | 0 | 10037 0 | 1191 | 2760
0.69/0.72 c #cpu_time = 0.009s
0.69/0.72 c #wall_clock_time = 0.009s
0.69/0.72 c #decision = 993
0.69/0.72 c #random_decision = 0
0.69/0.72 c #conflict = 0
0.69/0.72 c #restart = 0
0.69/0.72 c BCD2: found a new core of size 33: cost of the new core is >=1
0.69/0.72 c lower bound updated to 12
0.69/0.72 c BCD2: 12 <= obj <= 1740
0.69/0.72 c BCD2: #cores=12, #unrelaxed=3294, #relaxed=318, #hardened=0
0.69/0.72 c BCD2: #sat=1 #unsat=13 bias=13/14
0.69/0.72 c Solving starts ...
0.69/0.72 c ============================[ Search Statistics ]============================
0.69/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.72 c | | | | Limit GC | Var | Constra
0.69/0.72 c =============================================================================
0.69/0.72 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.69/0.74 c 0.0s | 0 | 1381 | 0 | 10037 0 | 1191 | 2760
0.69/0.74 c #cpu_time = 0.010s
0.69/0.74 c #wall_clock_time = 0.010s
0.69/0.74 c #decision = 1381
0.69/0.74 c #random_decision = 0
0.69/0.74 c #conflict = 0
0.69/0.74 c #restart = 0
0.69/0.74 c BCD2: found a new core of size 52: cost of the new core is >=1
0.69/0.74 c lower bound updated to 13
0.69/0.74 c BCD2: 13 <= obj <= 1740
0.69/0.74 c BCD2: #cores=13, #unrelaxed=3242, #relaxed=370, #hardened=0
0.69/0.74 c BCD2: #sat=1 #unsat=14 bias=14/15
0.69/0.74 c Solving starts ...
0.69/0.74 c ============================[ Search Statistics ]============================
0.69/0.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.74 c | | | | Limit GC | Var | Constra
0.69/0.74 c =============================================================================
0.69/0.74 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.69/0.75 c 0.0s | 0 | 1389 | 0 | 10037 0 | 1191 | 2760
0.69/0.75 c #cpu_time = 0.008s
0.69/0.75 c #wall_clock_time = 0.008s
0.69/0.75 c #decision = 1389
0.69/0.75 c #random_decision = 0
0.69/0.75 c #conflict = 0
0.69/0.75 c #restart = 0
0.69/0.75 c BCD2: found a new core of size 56: cost of the new core is >=1
0.69/0.75 c lower bound updated to 14
0.69/0.75 c BCD2: 14 <= obj <= 1740
0.69/0.75 c BCD2: #cores=14, #unrelaxed=3186, #relaxed=426, #hardened=0
0.69/0.75 c BCD2: #sat=1 #unsat=15 bias=15/16
0.69/0.75 c Solving starts ...
0.69/0.75 c ============================[ Search Statistics ]============================
0.69/0.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.75 c | | | | Limit GC | Var | Constra
0.69/0.75 c =============================================================================
0.69/0.75 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.69/0.76 c 0.0s | 0 | 1365 | 0 | 10037 0 | 1191 | 2760
0.69/0.76 c #cpu_time = 0.010s
0.69/0.76 c #wall_clock_time = 0.010s
0.69/0.76 c #decision = 1365
0.69/0.76 c #random_decision = 0
0.69/0.76 c #conflict = 0
0.69/0.76 c #restart = 0
0.69/0.76 c BCD2: found a new core of size 27: cost of the new core is >=1
0.69/0.76 c lower bound updated to 15
0.69/0.77 c BCD2: 15 <= obj <= 1740
0.69/0.77 c BCD2: #cores=15, #unrelaxed=3159, #relaxed=453, #hardened=0
0.69/0.77 c BCD2: #sat=1 #unsat=16 bias=16/17
0.69/0.77 c Solving starts ...
0.69/0.77 c ============================[ Search Statistics ]============================
0.69/0.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.77 c | | | | Limit GC | Var | Constra
0.69/0.77 c =============================================================================
0.69/0.77 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.69/0.78 c 0.0s | 0 | 2381 | 0 | 10037 0 | 1191 | 2760
0.69/0.78 c #cpu_time = 0.011s
0.69/0.78 c #wall_clock_time = 0.011s
0.69/0.78 c #decision = 2381
0.69/0.78 c #random_decision = 0
0.69/0.78 c #conflict = 0
0.69/0.78 c #restart = 0
0.69/0.78 c BCD2: found a new core of size 116: cost of the new core is >=1
0.69/0.78 c lower bound updated to 16
0.69/0.78 c BCD2: 16 <= obj <= 1740
0.69/0.78 c BCD2: #cores=16, #unrelaxed=3043, #relaxed=569, #hardened=0
0.69/0.78 c BCD2: #sat=1 #unsat=17 bias=17/18
0.69/0.78 c Solving starts ...
0.69/0.78 c ============================[ Search Statistics ]============================
0.69/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.78 c | | | | Limit GC | Var | Constra
0.69/0.78 c =============================================================================
0.69/0.78 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.69/0.79 c 0.0s | 0 | 2306 | 0 | 10037 0 | 1191 | 2760
0.69/0.79 c #cpu_time = 0.012s
0.69/0.79 c #wall_clock_time = 0.012s
0.69/0.79 c #decision = 2306
0.69/0.79 c #random_decision = 0
0.69/0.79 c #conflict = 0
0.69/0.79 c #restart = 0
0.69/0.79 c BCD2: found a new core of size 9: cost of the new core is >=1
0.69/0.79 c lower bound updated to 17
0.69/0.79 c BCD2: 17 <= obj <= 1740
0.69/0.79 c BCD2: #cores=17, #unrelaxed=3034, #relaxed=578, #hardened=0
0.69/0.79 c BCD2: #sat=1 #unsat=18 bias=18/19
0.69/0.79 c Solving starts ...
0.69/0.79 c ============================[ Search Statistics ]============================
0.69/0.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.79 c | | | | Limit GC | Var | Constra
0.69/0.79 c =============================================================================
0.69/0.79 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.79/0.81 c 0.0s | 0 | 2360 | 0 | 10037 0 | 1191 | 2760
0.79/0.81 c #cpu_time = 0.014s
0.79/0.81 c #wall_clock_time = 0.014s
0.79/0.81 c #decision = 2360
0.79/0.81 c #random_decision = 0
0.79/0.81 c #conflict = 0
0.79/0.81 c #restart = 0
0.79/0.81 c BCD2: found a new core of size 49: cost of the new core is >=1
0.79/0.81 c lower bound updated to 18
0.79/0.81 c BCD2: 18 <= obj <= 1740
0.79/0.81 c BCD2: #cores=18, #unrelaxed=2985, #relaxed=627, #hardened=0
0.79/0.81 c BCD2: #sat=1 #unsat=19 bias=19/20
0.79/0.81 c Solving starts ...
0.79/0.81 c ============================[ Search Statistics ]============================
0.79/0.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.81 c | | | | Limit GC | Var | Constra
0.79/0.81 c =============================================================================
0.79/0.81 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.79/0.82 c 0.0s | 0 | 2406 | 0 | 10037 0 | 1191 | 2760
0.79/0.82 c #cpu_time = 0.010s
0.79/0.82 c #wall_clock_time = 0.010s
0.79/0.82 c #decision = 2406
0.79/0.82 c #random_decision = 0
0.79/0.82 c #conflict = 0
0.79/0.82 c #restart = 0
0.79/0.82 c BCD2: found a new core of size 42: cost of the new core is >=1
0.79/0.82 c lower bound updated to 19
0.79/0.82 c BCD2: 19 <= obj <= 1740
0.79/0.82 c BCD2: #cores=19, #unrelaxed=2943, #relaxed=669, #hardened=0
0.79/0.82 c BCD2: #sat=1 #unsat=20 bias=20/21
0.79/0.83 c Solving starts ...
0.79/0.83 c ============================[ Search Statistics ]============================
0.79/0.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.83 c | | | | Limit GC | Var | Constra
0.79/0.83 c =============================================================================
0.79/0.83 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2760
0.79/0.84 c 0.0s | 0 | 2939 | 0 | 10037 0 | 1191 | 2760
0.79/0.84 c #cpu_time = 0.016s
0.79/0.84 c #wall_clock_time = 0.016s
0.79/0.84 c #decision = 2939
0.79/0.84 c #random_decision = 0
0.79/0.84 c #conflict = 0
0.79/0.84 c #restart = 0
0.79/0.84 o 40
0.79/0.85 c BCD2: updating upper bound: 1740 -> 39
0.79/0.86 c BCD2: 19 <= obj <= 39
0.79/0.86 c BCD2: #cores=19, #unrelaxed=2943, #relaxed=669, #hardened=0
0.79/0.86 c BCD2: #sat=2 #unsat=20 bias=20/22
0.79/0.86 c Solving starts ...
0.79/0.86 c ============================[ Search Statistics ]============================
0.79/0.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.86 c | | | | Limit GC | Var | Constra
0.79/0.86 c =============================================================================
0.79/0.86 c 0.0s | 0 | 0 | 0 | 10037 0 | 1191 | 2761
0.89/0.93 c 0.1s | 1 | 8426 | 100 | 10037 0 | 1191 | 2761
0.99/1.07 c 0.2s | 2 | 11134 | 250 | 11041 0 | 1191 | 2761
1.10/1.14 c 0.3s | 2 | 14712 | 322 | 12146 0 | 1191 | 2761
1.10/1.14 c #cpu_time = 0.275s
1.10/1.14 c #wall_clock_time = 0.275s
1.10/1.14 c #decision = 14712
1.10/1.14 c #random_decision = 0
1.10/1.14 c #conflict = 322
1.10/1.14 c #restart = 2
1.10/1.14 c BCD2: relaxing 145 and merging with 13 cores into a new core of size 569: cost of the new core is >=14
1.10/1.14 c lower bound updated to 20
1.10/1.14 c BCD2: 20 <= obj <= 39
1.10/1.14 c BCD2: #cores=7, #unrelaxed=2798, #relaxed=814, #hardened=0
1.10/1.14 c BCD2: #sat=2 #unsat=21 bias=21/23
1.10/1.14 c Solving starts ...
1.10/1.14 c ============================[ Search Statistics ]============================
1.10/1.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.10/1.14 c | | | | Limit GC | Var | Constra
1.10/1.14 c =============================================================================
1.10/1.14 c 0.0s | 0 | 0 | 0 | 12146 0 | 1232 | 2761
1.20/1.29 c 0.1s | 1 | 3243 | 100 | 12146 0 | 1232 | 2830
1.49/1.52 c 0.4s | 2 | 9698 | 250 | 13361 0 | 1232 | 2830
1.79/1.81 c 0.7s | 3 | 16310 | 475 | 13361 0 | 1232 | 2830
2.19/2.29 c 1.1s | 4 | 22418 | 813 | 14698 0 | 1232 | 2830
2.98/3.04 c 1.9s | 5 | 33288 | 1320 | 16168 0 | 1232 | 2830
3.88/3.98 c 2.8s | 6 | 48588 | 2081 | 17785 0 | 1232 | 2830
5.18/5.22 c 4.1s | 7 | 64892 | 3223 | 19564 0 | 1232 | 2830
7.08/7.11 c 6.0s | 8 | 85108 | 4936 | 21521 0 | 1233 | 3586
9.18/9.21 c 8.1s | 8 | 109166 | 6736 | 21521 0 | 1233 | 3586
9.99/10.09 c 8.9s | 9 | 117529 | 7506 | 23674 0 | 1233 | 3586
12.20/12.21 c 11.1s | 9 | 132609 | 9106 | 23674 0 | 1233 | 3586
14.19/14.24 c 13.1s | 9 | 147694 | 10606 | 23674 0 | 1233 | 3586
15.29/15.35 c 14.2s | 10 | 154702 | 11361 | 26042 0 | 1233 | 3586
17.39/17.42 c 16.3s | 10 | 168302 | 12861 | 26042 0 | 1233 | 3586
19.39/19.45 c 18.3s | 10 | 179292 | 14261 | 26042 0 | 1233 | 3586
21.49/21.57 c 20.4s | 10 | 193546 | 15661 | 26042 0 | 1233 | 3586
23.69/23.71 c 22.6s | 10 | 206011 | 17061 | 28647 0 | 1233 | 3586
23.79/23.84 c 22.7s | 11 | 206562 | 17144 | 28647 0 | 1233 | 3586
25.79/25.87 c 24.7s | 11 | 214753 | 18444 | 28647 0 | 1233 | 3586
27.89/27.99 c 26.9s | 11 | 226824 | 19844 | 28647 0 | 1233 | 3586
30.09/30.15 c 29.0s | 11 | 237622 | 21144 | 28647 0 | 1233 | 3586
32.19/32.23 c 31.1s | 11 | 245724 | 22544 | 28647 0 | 1233 | 3586
34.39/34.43 c 33.3s | 11 | 254982 | 23544 | 28647 0 | 1233 | 3586
36.49/36.51 c 35.4s | 11 | 265866 | 24644 | 28647 0 | 1233 | 3586
38.60/38.68 c 37.5s | 11 | 274525 | 25744 | 31512 0 | 1233 | 3586
38.79/38.84 c 37.7s | 12 | 274841 | 25819 | 31512 0 | 1233 | 3586
40.89/40.90 c 39.8s | 12 | 282508 | 26919 | 31512 0 | 1233 | 3586
42.99/43.03 c 41.9s | 12 | 287732 | 28019 | 31512 0 | 1233 | 3586
45.19/45.21 c 44.1s | 12 | 294311 | 29019 | 31512 0 | 1233 | 3586
47.19/47.26 c 46.1s | 12 | 300757 | 29919 | 31512 0 | 1233 | 3586
49.39/49.45 c 48.3s | 12 | 309174 | 30819 | 31512 0 | 1233 | 3586
51.49/51.51 c 50.4s | 12 | 315423 | 31619 | 31512 0 | 1233 | 3586
53.59/53.61 c 52.5s | 12 | 323495 | 32519 | 31512 0 | 1233 | 3586
55.59/55.68 c 54.5s | 12 | 332504 | 33519 | 31512 0 | 1233 | 3586
57.69/57.80 c 56.7s | 12 | 338900 | 34519 | 31512 0 | 1233 | 3586
59.88/59.91 c 58.8s | 12 | 347692 | 35519 | 31512 0 | 1233 | 3586
62.08/62.16 c 61.0s | 12 | 355502 | 36619 | 31512 0 | 1233 | 3586
64.18/64.28 c 63.1s | 12 | 360551 | 37619 | 31512 1 | 1233 | 3586
66.28/66.36 c 65.2s | 12 | 368326 | 38819 | 34664 1 | 1233 | 3586
66.28/66.38 c 65.2s | 13 | 368448 | 38832 | 34664 1 | 1233 | 3586
68.48/68.51 c 67.4s | 13 | 376671 | 40032 | 34664 1 | 1233 | 3586
70.68/70.74 c 69.6s | 13 | 383956 | 41132 | 34664 1 | 1233 | 3586
72.69/72.76 c 71.6s | 13 | 394261 | 42232 | 34664 1 | 1233 | 3586
74.79/74.86 c 73.7s | 13 | 399051 | 43332 | 34664 1 | 1233 | 3586
76.99/77.03 c 75.9s | 13 | 409423 | 44732 | 34664 1 | 1233 | 3586
79.08/79.19 c 78.0s | 13 | 417376 | 46032 | 34664 1 | 1233 | 3586
81.18/81.30 c 80.2s | 13 | 426411 | 47232 | 34664 1 | 1233 | 3586
83.28/83.31 c 82.2s | 13 | 433926 | 48432 | 34664 1 | 1233 | 3586
85.38/85.46 c 84.3s | 13 | 440886 | 49532 | 34664 1 | 1233 | 3586
87.38/87.48 c 86.3s | 13 | 446778 | 50732 | 34664 1 | 1233 | 3586
89.58/89.68 c 88.5s | 13 | 453834 | 51832 | 34664 1 | 1233 | 3586
91.68/91.79 c 90.6s | 13 | 460480 | 52832 | 34664 1 | 1233 | 3586
93.78/93.81 c 92.7s | 13 | 466461 | 53832 | 34664 1 | 1233 | 3586
95.88/95.93 c 94.8s | 13 | 472707 | 54932 | 34664 1 | 1233 | 3586
97.99/98.04 c 96.9s | 13 | 478032 | 56032 | 34664 1 | 1233 | 3586
100.08/100.15 c 99.0s | 13 | 483732 | 57132 | 34664 1 | 1233 | 3586
102.08/102.19 c 101s | 13 | 488364 | 58132 | 38131 1 | 1233 | 3586
102.48/102.57 c 101s | 14 | 489289 | 58352 | 38131 1 | 1233 | 3586
104.58/104.66 c 103s | 14 | 498273 | 59652 | 38131 2 | 1233 | 3586
106.68/106.79 c 105s | 14 | 506837 | 61052 | 38131 2 | 1233 | 3586
108.77/108.83 c 107s | 14 | 512013 | 62452 | 38131 2 | 1233 | 3586
110.87/110.93 c 109s | 14 | 520016 | 63952 | 38131 2 | 1233 | 3586
112.97/113.01 c 111s | 14 | 528707 | 65352 | 38131 2 | 1233 | 3586
115.07/115.10 c 113s | 14 | 533903 | 66152 | 38131 2 | 1233 | 3586
117.17/117.27 c 116s | 14 | 543255 | 67452 | 38131 2 | 1233 | 3586
119.27/119.33 c 118s | 14 | 550770 | 68652 | 38131 2 | 1233 | 3586
121.47/121.50 c 120s | 14 | 560163 | 69852 | 38131 2 | 1233 | 3586
123.47/123.52 c 122s | 14 | 569132 | 70952 | 38131 2 | 1233 | 3586
125.48/125.53 c 124s | 14 | 575605 | 72052 | 38131 2 | 1233 | 3586
127.47/127.54 c 126s | 14 | 584133 | 73152 | 38131 2 | 1233 | 3586
129.67/129.70 c 128s | 14 | 592026 | 74452 | 38131 2 | 1233 | 3586
131.67/131.76 c 130s | 14 | 600009 | 75552 | 38131 2 | 1233 | 3586
133.77/133.83 c 132s | 14 | 607597 | 76652 | 38131 2 | 1233 | 3586
135.87/135.92 c 134s | 14 | 614420 | 77852 | 38131 2 | 1233 | 3586
138.07/138.10 c 136s | 14 | 621905 | 79052 | 38131 2 | 1233 | 3586
140.07/140.13 c 138s | 14 | 627901 | 80152 | 38131 2 | 1233 | 3586
142.17/142.21 c 141s | 14 | 634804 | 81252 | 38131 2 | 1233 | 3586
144.17/144.29 c 143s | 14 | 643427 | 82452 | 38131 2 | 1233 | 3586
146.46/146.52 c 145s | 14 | 649615 | 83752 | 38131 3 | 1233 | 3586
148.57/148.65 c 147s | 14 | 660854 | 85252 | 38131 3 | 1233 | 3586
150.67/150.71 c 149s | 14 | 670469 | 86752 | 41945 3 | 1233 | 3586
151.87/151.95 c 150s | 15 | 675096 | 87632 | 41945 3 | 1233 | 3586
153.97/154.05 c 152s | 15 | 687756 | 89232 | 41945 3 | 1233 | 3586
158.17/158.27 c 157s | 15 | 698300 | 90632 | 41945 3 | 1233 | 3586
160.27/160.30 c 159s | 15 | 707495 | 92032 | 41945 3 | 1233 | 3586
162.27/162.37 c 161s | 15 | 717289 | 93432 | 41945 3 | 1233 | 3586
164.37/164.45 c 163s | 15 | 727260 | 94932 | 41945 3 | 1233 | 3586
166.47/166.53 c 165s | 15 | 737471 | 96232 | 41945 3 | 1233 | 3586
168.57/168.67 c 167s | 15 | 747617 | 97732 | 41945 3 | 1233 | 3586
170.77/170.82 c 169s | 15 | 756226 | 99032 | 41945 3 | 1233 | 3586
172.87/172.90 c 171s | 15 | 766937 | 100332 | 41945 3 | 1233 | 3586
174.97/175.03 c 173s | 15 | 776732 | 101632 | 41945 3 | 1233 | 3586
177.07/177.14 c 176s | 15 | 787071 | 103032 | 41945 3 | 1233 | 3586
179.17/179.26 c 178s | 15 | 796564 | 104132 | 41945 3 | 1233 | 3586
181.27/181.38 c 180s | 15 | 805422 | 105532 | 41945 3 | 1233 | 3586
183.37/183.47 c 182s | 15 | 815687 | 106732 | 41945 3 | 1233 | 3586
185.46/185.51 c 184s | 15 | 823753 | 107932 | 41945 3 | 1233 | 3586
187.56/187.66 c 186s | 15 | 827840 | 108632 | 41945 4 | 1233 | 3586
189.56/189.69 c 188s | 15 | 837475 | 109732 | 41945 4 | 1233 | 3586
191.76/191.80 c 190s | 15 | 847667 | 111032 | 41945 4 | 1233 | 3586
193.76/193.84 c 192s | 15 | 855693 | 112232 | 41945 4 | 1233 | 3586
195.87/195.97 c 194s | 15 | 864467 | 113632 | 41945 4 | 1233 | 3586
197.86/197.99 c 196s | 15 | 872681 | 114732 | 41945 4 | 1233 | 3586
199.96/200.08 c 198s | 15 | 881136 | 116032 | 41945 4 | 1233 | 3586
202.06/202.16 c 201s | 15 | 892456 | 117432 | 41945 4 | 1233 | 3586
204.26/204.32 c 203s | 15 | 900015 | 118732 | 41945 4 | 1233 | 3586
206.46/206.50 c 205s | 15 | 907863 | 120032 | 41945 4 | 1233 | 3586
208.46/208.52 c 207s | 15 | 914675 | 121432 | 41945 4 | 1233 | 3586
210.46/210.55 c 209s | 15 | 922387 | 122732 | 41945 4 | 1233 | 3586
212.46/212.59 c 211s | 15 | 927778 | 123632 | 41945 4 | 1233 | 3586
214.66/214.71 c 213s | 15 | 934293 | 124532 | 41945 4 | 1233 | 3586
216.76/216.84 c 215s | 15 | 940970 | 125332 | 41945 4 | 1233 | 3586
218.86/218.99 c 217s | 15 | 947127 | 126232 | 41945 4 | 1233 | 3586
220.95/221.01 c 219s | 15 | 953779 | 127032 | 41945 4 | 1233 | 3586
222.95/223.08 c 221s | 15 | 960351 | 127832 | 41945 4 | 1233 | 3586
225.15/225.22 c 224s | 15 | 965733 | 128632 | 41945 4 | 1233 | 3586
227.15/227.27 c 226s | 15 | 974936 | 129632 | 41945 4 | 1233 | 3586
229.25/229.34 c 228s | 15 | 985077 | 130932 | 46140 4 | 1233 | 3586
230.25/230.32 c 229s | 16 | 988644 | 131552 | 46140 4 | 1233 | 3586
232.25/232.38 c 231s | 16 | 999537 | 132452 | 46140 4 | 1233 | 3586
234.66/234.75 c 233s | 16 | 1006567 | 133452 | 46140 4 | 1233 | 3586
236.66/236.77 c 235s | 16 | 1011896 | 134352 | 46140 4 | 1233 | 3586
238.76/238.88 c 237s | 16 | 1021168 | 135352 | 46140 4 | 1233 | 3586
240.76/240.89 c 239s | 16 | 1026290 | 136252 | 46140 4 | 1233 | 3586
243.16/243.26 c 242s | 16 | 1033582 | 136852 | 46140 5 | 1233 | 3586
245.26/245.36 c 244s | 16 | 1045177 | 138352 | 46140 5 | 1233 | 3586
247.35/247.40 c 246s | 16 | 1056635 | 139552 | 46140 5 | 1233 | 3586
249.45/249.53 c 248s | 16 | 1067346 | 140852 | 46140 5 | 1233 | 3586
251.55/251.68 c 250s | 16 | 1077664 | 142152 | 46140 5 | 1233 | 3586
253.75/253.80 c 252s | 16 | 1083357 | 143152 | 46140 5 | 1233 | 3586
255.85/255.91 c 254s | 16 | 1096294 | 144552 | 46140 5 | 1233 | 3586
257.85/257.96 c 256s | 16 | 1103882 | 145852 | 46140 5 | 1233 | 3586
259.85/259.97 c 258s | 16 | 1112418 | 147252 | 46140 5 | 1233 | 3586
261.86/261.99 c 260s | 16 | 1127048 | 148652 | 46140 5 | 1233 | 3586
263.95/264.04 c 262s | 16 | 1139541 | 150052 | 46140 5 | 1233 | 3586
265.95/266.08 c 264s | 16 | 1149102 | 151352 | 46140 5 | 1233 | 3586
268.15/268.22 c 267s | 16 | 1155737 | 152652 | 46140 5 | 1233 | 3586
270.25/270.30 c 269s | 16 | 1162933 | 153652 | 46140 5 | 1233 | 3586
272.25/272.32 c 271s | 16 | 1169082 | 154552 | 46140 5 | 1233 | 3586
274.25/274.33 c 273s | 16 | 1174572 | 155452 | 46140 5 | 1233 | 3586
276.35/276.49 c 275s | 16 | 1184409 | 156552 | 46140 5 | 1233 | 3586
278.45/278.51 c 277s | 16 | 1190271 | 157652 | 46140 5 | 1233 | 3586
280.65/280.77 c 279s | 16 | 1196413 | 158652 | 46140 5 | 1233 | 3586
282.85/282.90 c 281s | 16 | 1202407 | 159452 | 46140 5 | 1233 | 3586
284.95/285.09 c 283s | 16 | 1207050 | 160352 | 46140 5 | 1233 | 3586
287.15/287.27 c 286s | 16 | 1214650 | 161352 | 46140 5 | 1233 | 3586
289.25/289.32 c 288s | 16 | 1219396 | 162252 | 46140 5 | 1233 | 3586
291.34/291.49 c 290s | 16 | 1226117 | 163052 | 46140 6 | 1233 | 3586
293.44/293.53 c 292s | 16 | 1233145 | 164152 | 46140 6 | 1233 | 3586
295.54/295.60 c 294s | 16 | 1240790 | 165352 | 46140 6 | 1233 | 3586
297.64/297.79 c 296s | 16 | 1248914 | 166552 | 46140 6 | 1233 | 3586
299.64/299.79 c 298s | 16 | 1256765 | 167652 | 46140 6 | 1233 | 3586
301.84/301.90 c 300s | 16 | 1263787 | 168752 | 46140 6 | 1233 | 3586
303.84/303.99 c 302s | 16 | 1271565 | 169752 | 46140 6 | 1233 | 3586
306.04/306.13 c 304s | 16 | 1280059 | 170852 | 46140 6 | 1233 | 3586
308.24/308.30 c 307s | 16 | 1289921 | 172052 | 46140 6 | 1233 | 3586
310.25/310.34 c 309s | 16 | 1294753 | 172752 | 46140 6 | 1233 | 3586
312.24/312.35 c 311s | 16 | 1303879 | 173852 | 46140 6 | 1233 | 3586
314.24/314.36 c 313s | 16 | 1313106 | 174952 | 46140 6 | 1233 | 3586
316.44/316.58 c 315s | 16 | 1320715 | 176052 | 46140 6 | 1233 | 3586
318.64/318.74 c 317s | 16 | 1327154 | 177052 | 46140 6 | 1233 | 3586
320.64/320.79 c 319s | 16 | 1334262 | 177952 | 46140 6 | 1233 | 3586
322.74/322.84 c 321s | 16 | 1339728 | 178852 | 46140 6 | 1233 | 3586
324.94/325.04 c 323s | 16 | 1343720 | 179652 | 46140 6 | 1233 | 3586
327.04/327.12 c 325s | 16 | 1353165 | 180652 | 46140 6 | 1233 | 3586
329.14/329.28 c 328s | 16 | 1359835 | 181652 | 46140 6 | 1233 | 3586
331.23/331.36 c 330s | 16 | 1366089 | 182552 | 46140 6 | 1233 | 3586
333.43/333.56 c 332s | 16 | 1371257 | 183452 | 46140 6 | 1233 | 3586
335.63/335.75 c 334s | 16 | 1378134 | 184352 | 46140 6 | 1233 | 3586
337.83/337.98 c 336s | 16 | 1384426 | 185352 | 46140 6 | 1233 | 3586
340.03/340.16 c 339s | 16 | 1390106 | 186252 | 46140 6 | 1233 | 3586
342.14/342.21 c 341s | 16 | 1396888 | 187152 | 46140 6 | 1233 | 3586
344.24/344.38 c 343s | 16 | 1402302 | 188152 | 46140 6 | 1233 | 3586
346.34/346.43 c 345s | 16 | 1407204 | 188952 | 46140 7 | 1233 | 3586
348.34/348.46 c 347s | 16 | 1412696 | 190052 | 46140 7 | 1233 | 3586
350.44/350.55 c 349s | 16 | 1422109 | 191252 | 46140 7 | 1233 | 3586
352.54/352.66 c 351s | 16 | 1430458 | 192452 | 46140 7 | 1233 | 3586
354.64/354.71 c 353s | 16 | 1436385 | 193552 | 46140 7 | 1233 | 3586
356.74/356.82 c 355s | 16 | 1443351 | 194752 | 46140 7 | 1233 | 3586
358.74/358.82 c 357s | 16 | 1448985 | 195852 | 50755 7 | 1233 | 3586
360.85/360.98 c 359s | 16 | 1457465 | 197152 | 50755 7 | 1233 | 3586
361.44/361.53 c 360s | 17 | 1458928 | 197432 | 50755 7 | 1233 | 3586
363.54/363.67 c 362s | 17 | 1465024 | 198432 | 50755 7 | 1233 | 3586
365.64/365.72 c 364s | 17 | 1469469 | 199632 | 50755 7 | 1233 | 3586
367.64/367.76 c 366s | 17 | 1473835 | 200432 | 50755 7 | 1233 | 3586
369.83/369.92 c 368s | 17 | 1479652 | 201532 | 50755 7 | 1233 | 3586
371.84/371.96 c 370s | 17 | 1483729 | 202332 | 50755 7 | 1233 | 3586
374.04/374.11 c 372s | 17 | 1490297 | 203532 | 50755 7 | 1233 | 3586
376.14/376.25 c 375s | 17 | 1498415 | 204732 | 50755 7 | 1233 | 3586
378.13/378.29 c 377s | 17 | 1501368 | 205632 | 50755 7 | 1233 | 3586
380.13/380.29 c 379s | 17 | 1506218 | 206532 | 50755 7 | 1233 | 3586
382.33/382.44 c 381s | 17 | 1511314 | 207432 | 50755 7 | 1233 | 3586
384.33/384.45 c 383s | 17 | 1517232 | 208232 | 50755 7 | 1233 | 3586
386.53/386.63 c 385s | 17 | 1523740 | 209132 | 50755 7 | 1233 | 3586
388.53/388.64 c 387s | 17 | 1527990 | 209832 | 50755 7 | 1233 | 3586
390.83/390.97 c 389s | 17 | 1531070 | 210532 | 50755 7 | 1233 | 3586
393.03/393.10 c 391s | 17 | 1534887 | 211332 | 50755 7 | 1233 | 3586
395.23/395.34 c 394s | 17 | 1541582 | 212332 | 50755 7 | 1233 | 3586
397.33/397.44 c 396s | 17 | 1548230 | 213232 | 50755 7 | 1233 | 3586
399.43/399.57 c 398s | 17 | 1554661 | 214132 | 50755 7 | 1233 | 3586
401.63/401.74 c 400s | 17 | 1561831 | 215132 | 50755 7 | 1233 | 3586
403.63/403.76 c 402s | 17 | 1567338 | 216032 | 50755 7 | 1233 | 3586
405.72/405.90 c 404s | 17 | 1573998 | 216932 | 50755 7 | 1233 | 3586
407.82/407.92 c 406s | 17 | 1578560 | 217732 | 50755 7 | 1233 | 3586
409.92/410.07 c 408s | 17 | 1582924 | 218632 | 50755 7 | 1233 | 3586
411.92/412.08 c 410s | 17 | 1586114 | 219232 | 50755 7 | 1233 | 3586
414.12/414.23 c 413s | 17 | 1589358 | 219732 | 50755 8 | 1233 | 3586
416.22/416.31 c 415s | 17 | 1594020 | 220632 | 50755 8 | 1233 | 3586
418.52/418.69 c 417s | 17 | 1596659 | 221032 | 50755 8 | 1233 | 3586
420.72/420.82 c 419s | 17 | 1602416 | 221832 | 50755 8 | 1233 | 3586
422.72/422.88 c 421s | 17 | 1610159 | 222932 | 50755 8 | 1233 | 3586
424.82/424.96 c 423s | 17 | 1616294 | 223932 | 50755 8 | 1233 | 3586
426.92/427.01 c 425s | 17 | 1626966 | 225032 | 50755 8 | 1233 | 3586
429.03/429.13 c 427s | 17 | 1633498 | 226032 | 50755 8 | 1233 | 3586
431.32/431.44 c 430s | 17 | 1638898 | 226832 | 50755 8 | 1233 | 3586
433.62/433.71 c 432s | 17 | 1645246 | 227432 | 50755 8 | 1233 | 3586
435.82/435.93 c 434s | 17 | 1650992 | 228132 | 50755 8 | 1233 | 3586
437.92/438.07 c 436s | 17 | 1658875 | 229032 | 50755 8 | 1233 | 3586
440.03/440.18 c 439s | 17 | 1665698 | 230032 | 50755 8 | 1233 | 3586
442.02/442.19 c 441s | 17 | 1670426 | 230932 | 50755 8 | 1233 | 3586
444.12/444.22 c 443s | 17 | 1677973 | 231832 | 50755 8 | 1233 | 3586
446.22/446.38 c 445s | 17 | 1684077 | 232732 | 50755 8 | 1233 | 3586
448.52/448.65 c 447s | 17 | 1689149 | 233432 | 50755 8 | 1233 | 3586
450.52/450.68 c 449s | 17 | 1694018 | 234032 | 50755 8 | 1233 | 3586
452.52/452.69 c 451s | 17 | 1700975 | 234832 | 50755 8 | 1233 | 3586
454.61/454.70 c 453s | 17 | 1704068 | 235532 | 50755 8 | 1233 | 3586
456.61/456.73 c 455s | 17 | 1706346 | 236232 | 50755 8 | 1233 | 3586
458.72/458.82 c 457s | 17 | 1714410 | 237132 | 50755 8 | 1233 | 3586
460.82/460.91 c 459s | 17 | 1719142 | 238032 | 50755 8 | 1233 | 3586
462.81/462.96 c 461s | 17 | 1725732 | 238932 | 50755 8 | 1233 | 3586
465.11/465.30 c 464s | 17 | 1730676 | 239632 | 50755 8 | 1233 | 3586
467.31/467.40 c 466s | 17 | 1735517 | 240232 | 50755 8 | 1233 | 3586
469.31/469.48 c 468s | 17 | 1741765 | 240932 | 50755 8 | 1233 | 3586
471.61/471.70 c 470s | 17 | 1745782 | 241732 | 50755 8 | 1233 | 3586
473.81/473.92 c 472s | 17 | 1751460 | 242532 | 50755 8 | 1233 | 3586
475.91/476.07 c 474s | 17 | 1756955 | 243132 | 50755 8 | 1233 | 3586
478.21/478.30 c 477s | 17 | 1762378 | 244032 | 50755 8 | 1233 | 3586
480.21/480.38 c 479s | 17 | 1766642 | 244532 | 50755 8 | 1233 | 3586
482.30/482.47 c 481s | 17 | 1772205 | 245332 | 50755 8 | 1233 | 3586
484.60/484.70 c 483s | 17 | 1776261 | 246032 | 50755 8 | 1233 | 3586
486.70/486.84 c 485s | 17 | 1780757 | 246632 | 50755 8 | 1233 | 3586
488.70/488.87 c 487s | 17 | 1784898 | 247232 | 50755 8 | 1233 | 3586
491.00/491.18 c 490s | 17 | 1789141 | 247932 | 50755 8 | 1233 | 3586
493.10/493.23 c 492s | 17 | 1796823 | 248832 | 50755 9 | 1233 | 3586
495.10/495.24 c 494s | 17 | 1805252 | 249932 | 50755 9 | 1233 | 3586
497.11/497.29 c 496s | 17 | 1814442 | 251032 | 50755 9 | 1233 | 3586
499.31/499.40 c 498s | 17 | 1822000 | 252032 | 50755 9 | 1233 | 3586
501.30/501.45 c 500s | 17 | 1828686 | 253132 | 50755 9 | 1233 | 3586
503.30/503.47 c 502s | 17 | 1835134 | 254232 | 50755 9 | 1233 | 3586
505.40/505.55 c 504s | 17 | 1841857 | 255332 | 50755 9 | 1233 | 3586
507.70/507.80 c 506s | 17 | 1849427 | 256432 | 50755 9 | 1233 | 3586
509.90/510.03 c 508s | 17 | 1855482 | 257432 | 50755 9 | 1233 | 3586
512.00/512.18 c 511s | 17 | 1864236 | 258532 | 50755 9 | 1233 | 3586
514.19/514.34 c 513s | 17 | 1871732 | 259632 | 50755 9 | 1233 | 3586
516.39/516.59 c 515s | 17 | 1876901 | 260732 | 50755 9 | 1233 | 3586
519.29/519.42 c 518s | 17 | 1883775 | 261432 | 50755 9 | 1233 | 3586
521.30/521.45 c 520s | 17 | 1887475 | 261832 | 50755 9 | 1233 | 3586
523.29/523.49 c 522s | 17 | 1893069 | 262632 | 50755 9 | 1233 | 3586
525.49/525.65 c 524s | 17 | 1898723 | 263432 | 50755 9 | 1233 | 3586
527.59/527.71 c 526s | 17 | 1902648 | 263932 | 50755 9 | 1233 | 3586
529.59/529.79 c 528s | 17 | 1909570 | 264632 | 50755 9 | 1233 | 3586
531.69/531.82 c 530s | 17 | 1915955 | 265432 | 50755 9 | 1233 | 3586
533.89/534.04 c 532s | 17 | 1921302 | 266232 | 50755 9 | 1233 | 3586
535.99/536.17 c 535s | 17 | 1928943 | 267132 | 50755 9 | 1233 | 3586
538.09/538.24 c 537s | 17 | 1936712 | 268132 | 50755 9 | 1233 | 3586
540.39/540.50 c 539s | 17 | 1942719 | 269332 | 50755 9 | 1233 | 3586
542.49/542.69 c 541s | 17 | 1949446 | 270032 | 50755 9 | 1233 | 3586
544.50/544.69 c 543s | 17 | 1955469 | 270932 | 50755 9 | 1233 | 3586
546.69/546.82 c 545s | 17 | 1961098 | 271632 | 50755 9 | 1233 | 3586
548.89/549.09 c 547s | 17 | 1965381 | 272332 | 50755 9 | 1233 | 3586
551.09/551.26 c 550s | 17 | 1969967 | 273232 | 50755 9 | 1233 | 3586
553.09/553.26 c 552s | 17 | 1972728 | 273932 | 50755 9 | 1233 | 3586
555.39/555.50 c 554s | 17 | 1976370 | 274532 | 50755 9 | 1233 | 3586
557.59/557.75 c 556s | 17 | 1979837 | 275132 | 50755 9 | 1233 | 3586
559.59/559.79 c 558s | 17 | 1983405 | 275632 | 50755 9 | 1233 | 3586
561.88/562.10 c 560s | 17 | 1988070 | 276332 | 50755 9 | 1233 | 3586
564.08/564.22 c 563s | 17 | 1993276 | 277232 | 50755 10 | 1233 | 3586
566.18/566.35 c 565s | 17 | 2000105 | 278432 | 50755 10 | 1233 | 3586
568.28/568.44 c 567s | 17 | 2005320 | 279532 | 50755 10 | 1233 | 3586
570.48/570.60 c 569s | 17 | 2011670 | 280532 | 50755 10 | 1233 | 3586
572.48/572.65 c 571s | 17 | 2017652 | 281632 | 50755 10 | 1233 | 3586
574.48/574.66 c 573s | 17 | 2025612 | 282732 | 50755 10 | 1233 | 3586
576.58/576.78 c 575s | 17 | 2032922 | 283832 | 50755 10 | 1233 | 3586
578.78/578.91 c 577s | 17 | 2038283 | 284932 | 50755 10 | 1233 | 3586
580.78/580.94 c 579s | 17 | 2045275 | 285732 | 50755 10 | 1233 | 3586
582.88/583.01 c 581s | 17 | 2057770 | 287132 | 50755 10 | 1233 | 3586
584.88/585.03 c 583s | 17 | 2068459 | 288432 | 50755 10 | 1233 | 3586
586.98/587.16 c 586s | 17 | 2076158 | 289732 | 50755 10 | 1233 | 3586
589.18/589.38 c 588s | 17 | 2085178 | 290832 | 50755 10 | 1233 | 3586
591.27/591.40 c 590s | 17 | 2092356 | 291732 | 50755 10 | 1233 | 3586
593.27/593.45 c 592s | 17 | 2098382 | 292632 | 50755 10 | 1233 | 3586
595.37/595.52 c 594s | 17 | 2103901 | 293432 | 50755 10 | 1233 | 3586
597.47/597.68 c 596s | 17 | 2109962 | 294332 | 55831 10 | 1233 | 3586
599.57/599.78 c 598s | 17 | 2120083 | 295632 | 55831 10 | 1233 | 3586
600.67/600.88 c 599s | 18 | 2122770 | 296252 | 55831 10 | 1233 | 3586
602.68/602.90 c 601s | 18 | 2131958 | 297452 | 55831 10 | 1233 | 3586
604.77/604.90 c 603s | 18 | 2138463 | 298752 | 55831 10 | 1233 | 3586
606.87/607.03 c 605s | 18 | 2144587 | 300052 | 55831 10 | 1233 | 3586
608.87/609.05 c 607s | 18 | 2148685 | 300552 | 55831 10 | 1233 | 3586
611.17/611.34 c 610s | 18 | 2155158 | 301352 | 55831 10 | 1233 | 3586
613.57/613.76 c 612s | 18 | 2158628 | 301952 | 55831 10 | 1233 | 3586
617.76/617.94 c 616s | 18 | 2163722 | 302652 | 55831 10 | 1233 | 3586
619.96/620.10 c 618s | 18 | 2175814 | 303852 | 55831 10 | 1233 | 3586
621.96/622.11 c 620s | 18 | 2183827 | 304952 | 55831 10 | 1233 | 3586
623.96/624.16 c 623s | 18 | 2188773 | 306152 | 55831 10 | 1233 | 3586
626.16/626.38 c 625s | 18 | 2195676 | 307052 | 55831 10 | 1233 | 3586
628.46/628.62 c 627s | 18 | 2198889 | 307752 | 55831 10 | 1233 | 3586
630.56/630.70 c 629s | 18 | 2203841 | 308352 | 55831 10 | 1233 | 3586
632.56/632.78 c 631s | 18 | 2206403 | 308852 | 55831 10 | 1233 | 3586
634.86/635.06 c 633s | 18 | 2209010 | 309452 | 55831 10 | 1233 | 3586
636.97/637.19 c 636s | 18 | 2215116 | 310052 | 55831 11 | 1233 | 3586
639.17/639.30 c 638s | 18 | 2222816 | 311052 | 55831 11 | 1233 | 3586
641.36/641.58 c 640s | 18 | 2226998 | 311452 | 55831 11 | 1233 | 3586
643.47/643.63 c 642s | 18 | 2233357 | 312552 | 55831 11 | 1233 | 3586
645.46/645.68 c 644s | 18 | 2238555 | 313452 | 55831 11 | 1233 | 3586
647.66/647.85 c 646s | 18 | 2243689 | 314452 | 55831 11 | 1233 | 3586
649.76/649.95 c 648s | 18 | 2252091 | 315552 | 55831 11 | 1233 | 3586
651.76/651.98 c 650s | 18 | 2261245 | 316752 | 55831 11 | 1233 | 3586
653.76/653.98 c 652s | 18 | 2266051 | 317752 | 55831 11 | 1233 | 3586
655.96/656.13 c 654s | 18 | 2273832 | 318752 | 55831 11 | 1233 | 3586
658.06/658.20 c 657s | 18 | 2280452 | 319752 | 55831 11 | 1233 | 3586
660.06/660.27 c 659s | 18 | 2285952 | 320552 | 55831 11 | 1233 | 3586
662.17/662.39 c 661s | 18 | 2291981 | 321452 | 55831 11 | 1233 | 3586
664.37/664.54 c 663s | 18 | 2298657 | 322552 | 55831 11 | 1233 | 3586
666.36/666.58 c 665s | 18 | 2308306 | 323752 | 55831 11 | 1233 | 3586
668.46/668.64 c 667s | 18 | 2314778 | 324952 | 55831 11 | 1233 | 3586
670.66/670.81 c 669s | 18 | 2321922 | 325952 | 55831 11 | 1233 | 3586
672.75/672.93 c 671s | 18 | 2329609 | 326952 | 55831 11 | 1233 | 3586
674.75/674.98 c 673s | 18 | 2338307 | 328052 | 55831 11 | 1233 | 3586
676.95/677.15 c 676s | 18 | 2345824 | 329052 | 55831 11 | 1233 | 3586
679.15/679.37 c 678s | 18 | 2352872 | 329952 | 55831 11 | 1233 | 3586
681.25/681.47 c 680s | 18 | 2357526 | 330852 | 55831 11 | 1233 | 3586
683.35/683.55 c 682s | 18 | 2363102 | 331652 | 55831 11 | 1233 | 3586
685.35/685.57 c 684s | 18 | 2368488 | 332552 | 55831 11 | 1233 | 3586
687.46/687.61 c 686s | 18 | 2374821 | 333452 | 55831 11 | 1233 | 3586
689.56/689.73 c 688s | 18 | 2382776 | 334552 | 55831 11 | 1233 | 3586
691.65/691.84 c 690s | 18 | 2388738 | 335452 | 55831 11 | 1233 | 3586
693.65/693.84 c 692s | 18 | 2394990 | 336252 | 55831 11 | 1233 | 3586
695.85/696.07 c 694s | 18 | 2401873 | 337152 | 55831 11 | 1233 | 3586
698.05/698.20 c 697s | 18 | 2407995 | 338052 | 55831 11 | 1233 | 3586
700.15/700.30 c 699s | 18 | 2414858 | 338852 | 55831 11 | 1233 | 3586
702.15/702.38 c 701s | 18 | 2420662 | 339752 | 55831 11 | 1233 | 3586
704.25/704.42 c 703s | 18 | 2426904 | 340552 | 55831 11 | 1233 | 3586
706.35/706.58 c 705s | 18 | 2432938 | 341552 | 55831 12 | 1233 | 3586
708.45/708.65 c 707s | 18 | 2437404 | 342452 | 55831 12 | 1233 | 3586
710.45/710.68 c 709s | 18 | 2443935 | 343652 | 55831 12 | 1233 | 3586
712.54/712.78 c 711s | 18 | 2453146 | 344952 | 55831 12 | 1233 | 3586
714.74/714.94 c 713s | 18 | 2462000 | 346252 | 55831 12 | 1233 | 3586
716.74/716.97 c 715s | 18 | 2470537 | 347452 | 55831 12 | 1233 | 3586
718.94/719.13 c 717s | 18 | 2479938 | 348652 | 55831 12 | 1233 | 3586
720.94/721.20 c 720s | 18 | 2488247 | 349752 | 55831 12 | 1233 | 3586
723.04/723.22 c 722s | 18 | 2496666 | 350852 | 55831 12 | 1233 | 3586
725.14/725.39 c 724s | 18 | 2504558 | 351952 | 55831 12 | 1233 | 3586
727.34/727.51 c 726s | 18 | 2512075 | 353052 | 55831 12 | 1233 | 3586
729.44/729.62 c 728s | 18 | 2517179 | 353952 | 55831 12 | 1233 | 3586
731.44/731.67 c 730s | 18 | 2522064 | 354852 | 55831 12 | 1233 | 3586
733.43/733.69 c 732s | 18 | 2528470 | 355752 | 55831 12 | 1233 | 3586
735.63/735.90 c 734s | 18 | 2534413 | 356852 | 55831 12 | 1233 | 3586
737.94/738.18 c 737s | 18 | 2540221 | 357752 | 55831 12 | 1233 | 3586
740.03/740.28 c 739s | 18 | 2544454 | 358552 | 55831 12 | 1233 | 3586
742.23/742.47 c 741s | 18 | 2549269 | 359552 | 55831 12 | 1233 | 3586
744.43/744.69 c 743s | 18 | 2555906 | 360452 | 55831 12 | 1233 | 3586
746.53/746.76 c 745s | 18 | 2561162 | 361352 | 55831 12 | 1233 | 3586
748.63/748.85 c 747s | 18 | 2567530 | 362252 | 55831 12 | 1233 | 3586
750.73/750.91 c 749s | 18 | 2572993 | 363352 | 55831 12 | 1233 | 3586
752.94/753.13 c 751s | 18 | 2577842 | 364352 | 55831 12 | 1233 | 3586
755.04/755.23 c 754s | 18 | 2583186 | 365252 | 55831 12 | 1233 | 3586
757.14/757.37 c 756s | 18 | 2590295 | 366452 | 55831 12 | 1233 | 3586
759.34/759.53 c 758s | 18 | 2592846 | 367352 | 55831 12 | 1233 | 3586
761.44/761.65 c 760s | 18 | 2596092 | 368352 | 55831 12 | 1233 | 3586
763.53/763.77 c 762s | 18 | 2600973 | 369452 | 55831 12 | 1233 | 3586
765.73/765.91 c 764s | 18 | 2604167 | 370352 | 55831 12 | 1233 | 3586
767.83/768.01 c 766s | 18 | 2609155 | 371152 | 55831 12 | 1233 | 3586
769.94/770.14 c 768s | 18 | 2614546 | 371752 | 55831 13 | 1233 | 3586
773.03/773.22 c 772s | 18 | 2619122 | 372552 | 55831 13 | 1233 | 3586
775.02/775.27 c 774s | 18 | 2624784 | 373052 | 55831 13 | 1233 | 3586
777.12/777.36 c 776s | 18 | 2636511 | 374452 | 55831 13 | 1233 | 3586
779.32/779.51 c 778s | 18 | 2646323 | 375852 | 55831 13 | 1233 | 3586
781.42/781.62 c 780s | 18 | 2653351 | 377252 | 55831 13 | 1233 | 3586
783.82/784.05 c 782s | 18 | 2660731 | 378152 | 55831 13 | 1233 | 3586
786.02/786.29 c 785s | 18 | 2665975 | 379052 | 55831 13 | 1233 | 3586
790.12/790.33 c 789s | 18 | 2670738 | 379652 | 55831 13 | 1233 | 3586
792.51/792.70 c 791s | 18 | 2674559 | 380152 | 55831 13 | 1233 | 3586
794.71/794.94 c 793s | 18 | 2681811 | 380852 | 55831 13 | 1233 | 3586
796.81/797.08 c 795s | 18 | 2688979 | 381652 | 55831 13 | 1233 | 3586
799.11/799.38 c 798s | 18 | 2692077 | 382252 | 55831 13 | 1233 | 3586
801.21/801.44 c 800s | 18 | 2698348 | 383052 | 55831 13 | 1233 | 3586
803.31/803.55 c 802s | 18 | 2705989 | 383852 | 55831 13 | 1233 | 3586
805.31/805.58 c 804s | 18 | 2711607 | 384452 | 55831 13 | 1233 | 3586
807.61/807.87 c 806s | 18 | 2715665 | 385152 | 55831 13 | 1233 | 3586
809.82/810.07 c 808s | 18 | 2723069 | 385952 | 55831 13 | 1233 | 3586
811.81/812.09 c 810s | 18 | 2728561 | 386752 | 55831 13 | 1233 | 3586
813.92/814.11 c 812s | 18 | 2733159 | 387452 | 55831 13 | 1233 | 3586
816.12/816.38 c 815s | 18 | 2737235 | 387952 | 55831 13 | 1233 | 3586
818.32/818.55 c 817s | 18 | 2741279 | 388452 | 55831 13 | 1233 | 3586
820.31/820.60 c 819s | 18 | 2745786 | 389052 | 55831 13 | 1233 | 3586
822.80/823.00 c 821s | 18 | 2750499 | 389552 | 55831 13 | 1233 | 3586
824.81/825.03 c 823s | 18 | 2753490 | 389952 | 55831 13 | 1233 | 3586
827.11/827.34 c 826s | 18 | 2756497 | 390452 | 55831 13 | 1233 | 3586
829.21/829.44 c 828s | 18 | 2758910 | 390952 | 55831 13 | 1233 | 3586
831.41/831.63 c 830s | 18 | 2761167 | 391352 | 55831 13 | 1233 | 3586
833.40/833.66 c 832s | 18 | 2765109 | 391752 | 55831 13 | 1233 | 3586
835.50/835.79 c 834s | 18 | 2770635 | 392352 | 55831 13 | 1233 | 3586
837.90/838.13 c 836s | 18 | 2776596 | 393252 | 55831 13 | 1233 | 3586
840.30/840.51 c 839s | 18 | 2780088 | 393852 | 55831 13 | 1233 | 3586
842.40/842.68 c 841s | 18 | 2782672 | 394152 | 55831 13 | 1233 | 3586
844.89/845.18 c 844s | 18 | 2787156 | 394552 | 55831 13 | 1233 | 3586
847.19/847.40 c 846s | 18 | 2790368 | 394952 | 55831 13 | 1233 | 3586
849.19/849.40 c 848s | 18 | 2794601 | 395552 | 55831 13 | 1233 | 3586
851.30/851.53 c 850s | 18 | 2799024 | 396152 | 55831 13 | 1233 | 3586
853.50/853.79 c 852s | 18 | 2801928 | 396752 | 55831 13 | 1233 | 3586
855.99/856.21 c 855s | 18 | 2805755 | 397152 | 55831 13 | 1233 | 3586
858.29/858.54 c 857s | 18 | 2810624 | 397652 | 55831 13 | 1233 | 3586
860.29/860.56 c 859s | 18 | 2814013 | 398052 | 55831 13 | 1233 | 3586
862.58/862.81 c 861s | 18 | 2816787 | 398552 | 55831 13 | 1233 | 3586
864.88/865.11 c 863s | 18 | 2819916 | 399052 | 55831 13 | 1233 | 3586
867.18/867.46 c 866s | 18 | 2823409 | 399452 | 55831 13 | 1233 | 3586
869.48/869.73 c 868s | 18 | 2827894 | 399952 | 55831 13 | 1233 | 3586
871.58/871.85 c 870s | 18 | 2831911 | 400652 | 55831 13 | 1233 | 3586
874.08/874.38 c 873s | 18 | 2836454 | 401152 | 55831 13 | 1233 | 3586
876.28/876.52 c 875s | 18 | 2840076 | 401552 | 55831 13 | 1233 | 3586
878.48/878.73 c 877s | 18 | 2842808 | 402052 | 55831 13 | 1233 | 3586
880.58/880.88 c 879s | 18 | 2845431 | 402452 | 55831 13 | 1233 | 3586
882.77/883.00 c 881s | 18 | 2849127 | 402952 | 55831 14 | 1233 | 3586
884.87/885.13 c 883s | 18 | 2856682 | 403952 | 55831 14 | 1233 | 3586
886.97/887.28 c 886s | 18 | 2865014 | 405152 | 55831 14 | 1233 | 3586
889.07/889.34 c 888s | 18 | 2873458 | 406252 | 55831 14 | 1233 | 3586
891.07/891.37 c 890s | 18 | 2882976 | 407252 | 55831 14 | 1233 | 3586
893.08/893.38 c 892s | 18 | 2889857 | 408252 | 55831 14 | 1233 | 3586
895.18/895.41 c 894s | 18 | 2896802 | 409352 | 55831 14 | 1233 | 3586
897.38/897.64 c 896s | 18 | 2902069 | 410552 | 55831 14 | 1233 | 3586
899.47/899.71 c 898s | 18 | 2908995 | 411552 | 55831 14 | 1233 | 3586
901.46/901.72 c 900s | 18 | 2916015 | 412552 | 55831 14 | 1233 | 3586
903.46/903.77 c 902s | 18 | 2921317 | 413552 | 55831 14 | 1233 | 3586
905.56/905.84 c 904s | 18 | 2929364 | 414452 | 55831 14 | 1233 | 3586
907.56/907.86 c 906s | 18 | 2936106 | 415452 | 55831 14 | 1233 | 3586
911.06/911.32 c 910s | 18 | 2940572 | 416052 | 55831 14 | 1233 | 3586
913.26/913.52 c 912s | 18 | 2946054 | 416852 | 55831 14 | 1233 | 3586
915.46/915.71 c 914s | 18 | 2948534 | 417552 | 55831 14 | 1233 | 3586
917.56/917.80 c 916s | 18 | 2959610 | 418752 | 55831 14 | 1233 | 3586
919.56/919.87 c 918s | 18 | 2971827 | 420052 | 55831 14 | 1233 | 3586
921.66/921.95 c 920s | 18 | 2982440 | 421352 | 55831 14 | 1233 | 3586
923.76/924.03 c 922s | 18 | 2990967 | 422452 | 55831 14 | 1233 | 3586
925.85/926.17 c 925s | 18 | 2998513 | 423552 | 55831 14 | 1233 | 3586
927.95/928.24 c 927s | 18 | 3006136 | 424452 | 55831 14 | 1233 | 3586
929.95/930.27 c 929s | 18 | 3011779 | 425352 | 55831 14 | 1233 | 3586
932.15/932.45 c 931s | 18 | 3021581 | 426352 | 55831 14 | 1233 | 3586
934.25/934.55 c 933s | 18 | 3028281 | 427452 | 55831 14 | 1233 | 3586
936.35/936.61 c 935s | 18 | 3040821 | 428552 | 55831 14 | 1233 | 3586
938.35/938.64 c 937s | 18 | 3052150 | 429652 | 55831 14 | 1233 | 3586
940.45/940.76 c 939s | 18 | 3061533 | 430752 | 55831 14 | 1233 | 3586
942.55/942.88 c 941s | 18 | 3067362 | 431752 | 55831 14 | 1233 | 3586
944.65/944.91 c 943s | 18 | 3074821 | 432652 | 55831 14 | 1233 | 3586
946.95/947.25 c 946s | 18 | 3081314 | 433452 | 55831 15 | 1233 | 3586
949.15/949.41 c 948s | 18 | 3089423 | 434452 | 55831 15 | 1233 | 3586
951.13/951.45 c 950s | 18 | 3101188 | 435752 | 55831 15 | 1233 | 3586
953.13/953.48 c 952s | 18 | 3112786 | 437152 | 55831 15 | 1233 | 3586
955.23/955.56 c 954s | 18 | 3119857 | 438452 | 55831 15 | 1233 | 3586
957.33/957.61 c 956s | 18 | 3127797 | 439652 | 55831 15 | 1233 | 3586
959.63/959.93 c 958s | 18 | 3134425 | 440352 | 55831 15 | 1233 | 3586
961.63/961.97 c 960s | 18 | 3143675 | 441452 | 61415 15 | 1233 | 3586
963.63/963.99 c 962s | 18 | 3155688 | 442752 | 61415 15 | 1233 | 3586
965.73/966.04 c 964s | 18 | 3166234 | 444052 | 61415 15 | 1233 | 3586
966.43/966.75 c 965s | 19 | 3169628 | 444482 | 61415 15 | 1233 | 3586
968.43/968.75 c 967s | 19 | 3177632 | 445482 | 61415 15 | 1233 | 3586
970.53/970.89 c 969s | 19 | 3184465 | 446782 | 61415 15 | 1233 | 3586
972.73/973.03 c 971s | 19 | 3188991 | 447982 | 61415 15 | 1233 | 3586
974.73/975.04 c 973s | 19 | 3194842 | 448582 | 61415 15 | 1233 | 3586
976.93/977.23 c 976s | 19 | 3199983 | 449782 | 61415 15 | 1233 | 3586
978.93/979.25 c 978s | 19 | 3203007 | 450482 | 61415 15 | 1233 | 3586
981.04/981.31 c 980s | 19 | 3206800 | 451382 | 61415 15 | 1233 | 3586
983.03/983.33 c 982s | 19 | 3210080 | 452282 | 61415 15 | 1233 | 3586
985.34/985.61 c 984s | 19 | 3217196 | 453182 | 61415 15 | 1233 | 3586
987.53/987.88 c 986s | 19 | 3222131 | 453782 | 61415 15 | 1233 | 3586
989.63/989.99 c 988s | 19 | 3224905 | 454382 | 61415 15 | 1233 | 3586
991.73/992.07 c 990s | 19 | 3228141 | 454982 | 61415 15 | 1233 | 3586
993.83/994.12 c 992s | 19 | 3233806 | 455682 | 61415 15 | 1233 | 3586
995.93/996.30 c 995s | 19 | 3238946 | 456182 | 61415 15 | 1233 | 3586
998.13/998.44 c 997s | 19 | 3244205 | 456882 | 61415 15 | 1233 | 3586
1000.13/1000.48 c 999s | 19 | 3247712 | 457682 | 61415 15 | 1233 | 3586
1003.03/1003.33 c 1002s | 19 | 3252749 | 458382 | 61415 15 | 1233 | 3586
1005.42/1005.76 c 1004s | 19 | 3258910 | 459182 | 61415 15 | 1233 | 3586
1007.62/1007.99 c 1006s | 19 | 3260926 | 459682 | 61415 15 | 1233 | 3586
1010.22/1010.59 c 1009s | 19 | 3263315 | 460182 | 61415 15 | 1233 | 3586
1012.51/1012.81 c 1011s | 19 | 3268061 | 460782 | 61415 15 | 1233 | 3586
1014.51/1014.85 c 1013s | 19 | 3272565 | 461382 | 61415 15 | 1233 | 3586
1016.91/1017.29 c 1016s | 19 | 3276430 | 461982 | 61415 15 | 1233 | 3586
1019.21/1019.51 c 1018s | 19 | 3279457 | 462582 | 61415 15 | 1233 | 3586
1021.21/1021.55 c 1020s | 19 | 3286418 | 463382 | 61415 15 | 1233 | 3586
1023.31/1023.60 c 1022s | 19 | 3295272 | 464382 | 61415 15 | 1233 | 3586
1025.41/1025.79 c 1024s | 19 | 3304281 | 465382 | 61415 15 | 1233 | 3586
1027.71/1028.02 c 1026s | 19 | 3308971 | 466382 | 61415 15 | 1233 | 3586
1029.91/1030.25 c 1029s | 19 | 3314715 | 467382 | 61415 15 | 1233 | 3586
1032.21/1032.59 c 1031s | 19 | 3320857 | 468182 | 61415 15 | 1233 | 3586
1034.41/1034.71 c 1033s | 19 | 3324391 | 468582 | 61415 15 | 1233 | 3586
1036.81/1037.18 c 1036s | 19 | 3327180 | 468982 | 61415 15 | 1233 | 3586
1038.81/1039.19 c 1038s | 19 | 3328591 | 469282 | 61415 15 | 1233 | 3586
1041.10/1041.40 c 1040s | 19 | 3330041 | 469582 | 61415 15 | 1233 | 3586
1043.10/1043.41 c 1042s | 19 | 3331228 | 469882 | 61415 15 | 1233 | 3586
1045.30/1045.60 c 1044s | 19 | 3333418 | 470382 | 61415 16 | 1233 | 3586
1047.30/1047.69 c 1046s | 19 | 3340153 | 471282 | 61415 16 | 1233 | 3586
1049.50/1049.85 c 1048s | 19 | 3345371 | 472082 | 61415 16 | 1233 | 3586
1051.70/1052.07 c 1050s | 19 | 3352217 | 472982 | 61415 16 | 1233 | 3586
1053.80/1054.19 c 1053s | 19 | 3358720 | 473782 | 61415 16 | 1233 | 3586
1056.00/1056.36 c 1055s | 19 | 3364114 | 474482 | 61415 16 | 1233 | 3586
1058.10/1058.45 c 1057s | 19 | 3367308 | 475182 | 61415 16 | 1233 | 3586
1060.11/1060.46 c 1059s | 19 | 3376707 | 476082 | 61415 16 | 1233 | 3586
1062.10/1062.46 c 1061s | 19 | 3385477 | 477082 | 61415 16 | 1233 | 3586
1064.10/1064.46 c 1063s | 19 | 3391228 | 478082 | 61415 16 | 1233 | 3586
1066.20/1066.58 c 1065s | 19 | 3396967 | 479082 | 61415 16 | 1233 | 3586
1068.40/1068.72 c 1067s | 19 | 3404494 | 479982 | 61415 16 | 1233 | 3586
1070.60/1070.91 c 1069s | 19 | 3408494 | 480782 | 61415 16 | 1233 | 3586
1072.70/1073.08 c 1071s | 19 | 3412532 | 481482 | 61415 16 | 1233 | 3586
1074.80/1075.13 c 1073s | 19 | 3417496 | 482082 | 61415 16 | 1233 | 3586
1076.80/1077.14 c 1075s | 19 | 3423337 | 482782 | 61415 16 | 1233 | 3586
1078.90/1079.21 c 1078s | 19 | 3427308 | 483482 | 61415 16 | 1233 | 3586
1080.90/1081.29 c 1080s | 19 | 3432957 | 484282 | 61415 16 | 1233 | 3586
1083.00/1083.32 c 1082s | 19 | 3441644 | 485282 | 61415 16 | 1233 | 3586
1085.00/1085.38 c 1084s | 19 | 3450177 | 486282 | 61415 16 | 1233 | 3586
1087.20/1087.59 c 1086s | 19 | 3455033 | 487282 | 61415 16 | 1233 | 3586
1089.50/1089.87 c 1088s | 19 | 3459611 | 488282 | 61415 16 | 1233 | 3586
1091.70/1092.04 c 1090s | 19 | 3463699 | 488882 | 61415 16 | 1233 | 3586
1093.99/1094.36 c 1093s | 19 | 3466235 | 489482 | 61415 16 | 1233 | 3586
1096.40/1096.71 c 1095s | 19 | 3468523 | 490082 | 61415 16 | 1233 | 3586
1098.49/1098.83 c 1097s | 19 | 3475721 | 490882 | 61415 16 | 1233 | 3586
1100.59/1100.94 c 1099s | 19 | 3483502 | 491682 | 61415 16 | 1233 | 3586
1102.69/1103.04 c 1101s | 19 | 3489105 | 492482 | 61415 16 | 1233 | 3586
1104.99/1105.34 c 1104s | 19 | 3494399 | 493082 | 61415 16 | 1233 | 3586
1107.19/1107.57 c 1106s | 19 | 3498427 | 493682 | 61415 16 | 1233 | 3586
1109.39/1109.78 c 1108s | 19 | 3500989 | 494282 | 61415 16 | 1233 | 3586
1111.49/1111.82 c 1110s | 19 | 3504442 | 494782 | 61415 16 | 1233 | 3586
1113.79/1114.13 c 1112s | 19 | 3507025 | 495382 | 61415 16 | 1233 | 3586
1115.99/1116.31 c 1115s | 19 | 3509832 | 495882 | 61415 16 | 1233 | 3586
1118.09/1118.43 c 1117s | 19 | 3516394 | 496582 | 61415 16 | 1233 | 3586
1120.19/1120.56 c 1119s | 19 | 3521720 | 497282 | 61415 16 | 1233 | 3586
1122.49/1122.80 c 1121s | 19 | 3526940 | 497982 | 61415 16 | 1233 | 3586
1124.49/1124.83 c 1123s | 19 | 3530569 | 498482 | 61415 16 | 1233 | 3586
1126.89/1127.28 c 1126s | 19 | 3534750 | 499082 | 61415 16 | 1233 | 3586
1128.99/1129.38 c 1128s | 19 | 3537523 | 499582 | 61415 16 | 1233 | 3586
1130.99/1131.38 c 1130s | 19 | 3542689 | 500182 | 61415 16 | 1233 | 3586
1133.29/1133.60 c 1132s | 19 | 3548151 | 500982 | 61415 16 | 1233 | 3586
1135.59/1135.93 c 1134s | 19 | 3552294 | 501782 | 61415 16 | 1233 | 3586
1137.99/1138.36 c 1137s | 19 | 3556654 | 502382 | 61415 16 | 1233 | 3586
1140.19/1140.55 c 1139s | 19 | 3559162 | 502882 | 61415 16 | 1233 | 3586
1142.39/1142.78 c 1141s | 19 | 3562114 | 503382 | 61415 16 | 1233 | 3586
1144.69/1145.02 c 1143s | 19 | 3568838 | 504082 | 61415 17 | 1233 | 3586
1146.89/1147.23 c 1146s | 19 | 3573363 | 505182 | 61415 17 | 1233 | 3586
1148.99/1149.37 c 1148s | 19 | 3579710 | 506082 | 61415 17 | 1233 | 3586
1151.29/1151.60 c 1150s | 19 | 3585966 | 506982 | 61415 17 | 1233 | 3586
1153.38/1153.76 c 1152s | 19 | 3593491 | 507882 | 61415 17 | 1233 | 3586
1155.38/1155.78 c 1154s | 19 | 3598942 | 508782 | 61415 17 | 1233 | 3586
1157.48/1157.86 c 1156s | 19 | 3604447 | 509682 | 61415 17 | 1233 | 3586
1159.58/1159.93 c 1158s | 19 | 3610253 | 510582 | 61415 17 | 1233 | 3586
1161.78/1162.13 c 1160s | 19 | 3616377 | 511582 | 61415 17 | 1233 | 3586
1163.88/1164.22 c 1163s | 19 | 3621926 | 512482 | 61415 17 | 1233 | 3586
1165.98/1166.37 c 1165s | 19 | 3626334 | 513382 | 61415 17 | 1233 | 3586
1168.08/1168.44 c 1167s | 19 | 3633317 | 514182 | 61415 17 | 1233 | 3586
1170.28/1170.67 c 1169s | 19 | 3639048 | 515082 | 61415 17 | 1233 | 3586
1172.39/1172.73 c 1171s | 19 | 3644557 | 515882 | 61415 17 | 1233 | 3586
1174.59/1174.96 c 1173s | 19 | 3652615 | 516882 | 61415 17 | 1233 | 3586
1176.79/1177.18 c 1176s | 19 | 3658125 | 517782 | 61415 17 | 1233 | 3586
1178.99/1179.33 c 1178s | 19 | 3663972 | 518682 | 61415 17 | 1233 | 3586
1181.09/1181.44 c 1180s | 19 | 3669235 | 519482 | 61415 17 | 1233 | 3586
1183.08/1183.49 c 1182s | 19 | 3674902 | 520182 | 61415 17 | 1233 | 3586
1185.18/1185.55 c 1184s | 19 | 3680281 | 520982 | 61415 17 | 1233 | 3586
1187.38/1187.74 c 1186s | 19 | 3684411 | 521882 | 61415 17 | 1233 | 3586
1189.48/1189.88 c 1188s | 19 | 3689141 | 522682 | 61415 17 | 1233 | 3586
1191.58/1191.97 c 1190s | 19 | 3693911 | 523482 | 61415 17 | 1233 | 3586
1193.68/1194.02 c 1192s | 19 | 3698411 | 524182 | 61415 17 | 1233 | 3586
1195.68/1196.07 c 1194s | 19 | 3703259 | 524982 | 61415 17 | 1233 | 3586
1197.88/1198.23 c 1197s | 19 | 3707490 | 525782 | 61415 17 | 1233 | 3586
1200.08/1200.40 c 1199s | 19 | 3712235 | 526582 | 61415 17 | 1233 | 3586
1202.08/1202.41 c 1201s | 19 | 3716338 | 527382 | 61415 17 | 1233 | 3586
1204.08/1204.43 c 1203s | 19 | 3720808 | 528182 | 61415 17 | 1233 | 3586
1206.28/1206.70 c 1205s | 19 | 3725496 | 528982 | 61415 17 | 1233 | 3586
1208.48/1208.87 c 1207s | 19 | 3728778 | 529782 | 61415 17 | 1233 | 3586
1210.68/1211.06 c 1209s | 19 | 3733597 | 530582 | 61415 17 | 1233 | 3586
1212.78/1213.12 c 1211s | 19 | 3737093 | 531382 | 61415 17 | 1233 | 3586
1215.08/1215.42 c 1214s | 19 | 3740783 | 532182 | 61415 17 | 1233 | 3586
1217.28/1217.66 c 1216s | 19 | 3745220 | 532782 | 61415 17 | 1233 | 3586
1219.37/1219.74 c 1218s | 19 | 3747869 | 533382 | 61415 17 | 1233 | 3586
1221.47/1221.82 c 1220s | 19 | 3752082 | 533982 | 61415 17 | 1233 | 3586
1223.67/1224.00 c 1222s | 19 | 3756452 | 534682 | 61415 17 | 1233 | 3586
1225.77/1226.19 c 1225s | 19 | 3760210 | 535382 | 61415 17 | 1233 | 3586
1228.17/1228.55 c 1227s | 19 | 3764134 | 536082 | 61415 17 | 1233 | 3586
1230.37/1230.75 c 1229s | 19 | 3767514 | 536682 | 61415 17 | 1233 | 3586
1232.47/1232.81 c 1231s | 19 | 3771552 | 537182 | 61415 17 | 1233 | 3586
1234.57/1235.00 c 1233s | 19 | 3774490 | 537782 | 61415 18 | 1233 | 3586
1236.87/1237.21 c 1236s | 19 | 3777584 | 538382 | 61415 18 | 1233 | 3586
1240.47/1240.85 c 1239s | 19 | 3778594 | 538482 | 61415 18 | 1233 | 3586
1242.47/1242.88 c 1241s | 19 | 3784958 | 539282 | 61415 18 | 1233 | 3586
1245.07/1245.42 c 1244s | 19 | 3789305 | 540082 | 61415 18 | 1233 | 3586
1250.38/1250.80 c 1249s | 19 | 3790620 | 540182 | 61415 18 | 1233 | 3586
1252.47/1252.81 c 1251s | 19 | 3799036 | 541282 | 61415 18 | 1233 | 3586
1254.57/1254.99 c 1253s | 19 | 3805630 | 542382 | 61415 18 | 1233 | 3586
1256.77/1257.18 c 1256s | 19 | 3815126 | 543482 | 61415 18 | 1233 | 3586
1258.87/1259.24 c 1258s | 19 | 3818588 | 544382 | 61415 18 | 1233 | 3586
1260.97/1261.31 c 1260s | 19 | 3822704 | 545082 | 61415 18 | 1233 | 3586
1263.27/1263.61 c 1262s | 19 | 3828233 | 545982 | 61415 18 | 1233 | 3586
1265.37/1265.79 c 1264s | 19 | 3831815 | 546782 | 61415 18 | 1233 | 3586
1267.47/1267.83 c 1266s | 19 | 3839267 | 547582 | 61415 18 | 1233 | 3586
1269.57/1269.91 c 1268s | 19 | 3843883 | 548382 | 61415 18 | 1233 | 3586
1271.77/1272.15 c 1271s | 19 | 3850035 | 549282 | 61415 18 | 1233 | 3586
1273.87/1274.20 c 1273s | 19 | 3854493 | 549982 | 61415 18 | 1233 | 3586
1275.97/1276.30 c 1275s | 19 | 3862199 | 550782 | 61415 18 | 1233 | 3586
1278.07/1278.46 c 1277s | 19 | 3866902 | 551582 | 61415 18 | 1233 | 3586
1280.17/1280.54 c 1279s | 19 | 3872462 | 552482 | 61415 18 | 1233 | 3586
1282.17/1282.60 c 1281s | 19 | 3877243 | 553282 | 61415 18 | 1233 | 3586
1284.47/1284.81 c 1283s | 19 | 3882403 | 553982 | 61415 18 | 1233 | 3586
1286.67/1287.10 c 1285s | 19 | 3886194 | 554682 | 61415 18 | 1233 | 3586
1288.97/1289.34 c 1288s | 19 | 3892739 | 555582 | 61415 18 | 1233 | 3586
1290.96/1291.36 c 1290s | 19 | 3897033 | 556482 | 61415 18 | 1233 | 3586
1293.06/1293.40 c 1292s | 19 | 3904233 | 557382 | 61415 18 | 1233 | 3586
1295.16/1295.51 c 1294s | 19 | 3908172 | 558282 | 61415 18 | 1233 | 3586
1297.16/1297.52 c 1296s | 19 | 3912823 | 558982 | 61415 18 | 1233 | 3586
1299.26/1299.62 c 1298s | 19 | 3916594 | 559782 | 61415 18 | 1233 | 3586
1301.56/1301.98 c 1300s | 19 | 3920070 | 560382 | 61415 18 | 1233 | 3586
1304.06/1304.43 c 1303s | 19 | 3923500 | 560982 | 61415 18 | 1233 | 3586
1306.26/1306.65 c 1305s | 19 | 3928432 | 561482 | 61415 18 | 1233 | 3586
1308.36/1308.75 c 1307s | 19 | 3932127 | 561982 | 61415 18 | 1233 | 3586
1310.46/1310.82 c 1309s | 19 | 3935217 | 562582 | 61415 18 | 1233 | 3586
1312.46/1312.90 c 1311s | 19 | 3938718 | 563282 | 61415 18 | 1233 | 3586
1314.76/1315.13 c 1313s | 19 | 3941713 | 563882 | 61415 18 | 1233 | 3586
1316.86/1317.27 c 1316s | 19 | 3946900 | 564582 | 61415 18 | 1233 | 3586
1319.06/1319.47 c 1318s | 19 | 3950970 | 565182 | 61415 18 | 1233 | 3586
1321.36/1321.73 c 1320s | 19 | 3955350 | 565682 | 61415 18 | 1233 | 3586
1323.46/1323.83 c 1322s | 19 | 3960404 | 566382 | 61415 18 | 1233 | 3586
1325.66/1326.02 c 1324s | 19 | 3963615 | 566982 | 61415 18 | 1233 | 3586
1327.66/1328.03 c 1326s | 19 | 3966911 | 567482 | 61415 18 | 1233 | 3586
1329.76/1330.13 c 1328s | 19 | 3971935 | 568182 | 61415 18 | 1233 | 3586
1332.06/1332.42 c 1331s | 19 | 3975960 | 568782 | 61415 18 | 1233 | 3586
1334.16/1334.59 c 1333s | 19 | 3978443 | 569382 | 61415 18 | 1233 | 3586
1336.26/1336.64 c 1335s | 19 | 3984198 | 570082 | 61415 18 | 1233 | 3586
1338.36/1338.77 c 1337s | 19 | 3989160 | 570682 | 61415 18 | 1233 | 3586
1340.66/1341.01 c 1339s | 19 | 3991755 | 571282 | 61415 18 | 1233 | 3586
1342.66/1343.03 c 1341s | 19 | 3995974 | 572082 | 61415 19 | 1233 | 3586
1344.76/1345.12 c 1343s | 19 | 4003972 | 573182 | 61415 19 | 1233 | 3586
1346.86/1347.28 c 1346s | 19 | 4011747 | 574282 | 61415 19 | 1233 | 3586
1349.05/1349.45 c 1348s | 19 | 4019087 | 575482 | 61415 19 | 1233 | 3586
1351.05/1351.47 c 1350s | 19 | 4026429 | 576582 | 61415 19 | 1233 | 3586
1353.15/1353.56 c 1352s | 19 | 4034164 | 577782 | 61415 19 | 1233 | 3586
1355.35/1355.74 c 1354s | 19 | 4040930 | 578882 | 61415 19 | 1233 | 3586
1357.45/1357.81 c 1356s | 19 | 4047488 | 579882 | 61415 19 | 1233 | 3586
1359.45/1359.87 c 1358s | 19 | 4052934 | 580882 | 61415 19 | 1233 | 3586
1361.65/1362.07 c 1360s | 19 | 4059517 | 581982 | 61415 19 | 1233 | 3586
1363.66/1364.10 c 1362s | 19 | 4065050 | 582782 | 61415 19 | 1233 | 3586
1366.75/1367.14 c 1365s | 19 | 4067935 | 583082 | 61415 19 | 1233 | 3586
1368.75/1369.16 c 1368s | 19 | 4073724 | 583782 | 61415 19 | 1233 | 3586
1370.95/1371.31 c 1370s | 19 | 4077839 | 584682 | 61415 19 | 1233 | 3586
1373.05/1373.47 c 1372s | 19 | 4083030 | 585482 | 61415 19 | 1233 | 3586
1375.45/1375.81 c 1374s | 19 | 4088222 | 586182 | 61415 19 | 1233 | 3586
1377.45/1377.82 c 1376s | 19 | 4093115 | 586782 | 61415 19 | 1233 | 3586
1379.65/1380.04 c 1378s | 19 | 4099517 | 587582 | 61415 19 | 1233 | 3586
1381.85/1382.23 c 1381s | 19 | 4104202 | 588382 | 61415 19 | 1233 | 3586
1384.05/1384.45 c 1383s | 19 | 4108661 | 588982 | 61415 19 | 1233 | 3586
1386.25/1386.60 c 1385s | 19 | 4112700 | 589682 | 61415 19 | 1233 | 3586
1388.25/1388.67 c 1387s | 19 | 4118417 | 590382 | 61415 19 | 1233 | 3586
1390.25/1390.67 c 1389s | 19 | 4121499 | 591082 | 61415 19 | 1233 | 3586
1392.35/1392.77 c 1391s | 19 | 4124451 | 591782 | 61415 19 | 1233 | 3586
1394.45/1394.82 c 1393s | 19 | 4130550 | 592482 | 61415 19 | 1233 | 3586
1396.45/1396.83 c 1395s | 19 | 4133700 | 593182 | 61415 19 | 1233 | 3586
1398.65/1399.04 c 1397s | 19 | 4139173 | 593782 | 61415 19 | 1233 | 3586
1400.75/1401.11 c 1399s | 19 | 4144785 | 594382 | 61415 19 | 1233 | 3586
1402.84/1403.20 c 1402s | 19 | 4149101 | 594982 | 61415 19 | 1233 | 3586
1404.84/1405.24 c 1404s | 19 | 4152360 | 595582 | 61415 19 | 1233 | 3586
1407.04/1407.46 c 1406s | 19 | 4156291 | 596182 | 61415 19 | 1233 | 3586
1409.14/1409.55 c 1408s | 19 | 4160137 | 596682 | 61415 19 | 1233 | 3586
1411.24/1411.69 c 1410s | 19 | 4164083 | 597282 | 61415 19 | 1233 | 3586
1413.54/1413.92 c 1412s | 19 | 4170825 | 598082 | 61415 19 | 1233 | 3586
1415.64/1416.05 c 1414s | 19 | 4174994 | 598782 | 61415 19 | 1233 | 3586
1418.04/1418.42 c 1417s | 19 | 4178145 | 599482 | 61415 19 | 1233 | 3586
1420.04/1420.44 c 1419s | 19 | 4183050 | 599982 | 61415 19 | 1233 | 3586
1422.14/1422.53 c 1421s | 19 | 4186900 | 600482 | 61415 19 | 1233 | 3586
1424.25/1424.64 c 1423s | 19 | 4190027 | 601082 | 61415 19 | 1233 | 3586
1426.24/1426.69 c 1425s | 19 | 4194174 | 601582 | 61415 19 | 1233 | 3586
1428.55/1428.93 c 1427s | 19 | 4198777 | 602182 | 61415 19 | 1233 | 3586
1430.54/1430.93 c 1429s | 19 | 4202569 | 602682 | 61415 19 | 1233 | 3586
1432.84/1433.25 c 1432s | 19 | 4205504 | 603382 | 61415 19 | 1233 | 3586
1435.15/1435.54 c 1434s | 19 | 4209408 | 603982 | 61415 19 | 1233 | 3586
1437.35/1437.78 c 1436s | 19 | 4213813 | 604582 | 61415 19 | 1233 | 3586
1439.65/1440.02 c 1438s | 19 | 4217499 | 605082 | 61415 20 | 1233 | 3586
1441.75/1442.14 c 1441s | 19 | 4225984 | 606282 | 61415 20 | 1233 | 3586
1443.84/1444.30 c 1443s | 19 | 4234125 | 607582 | 61415 20 | 1233 | 3586
1446.04/1446.48 c 1445s | 19 | 4240944 | 608782 | 61415 20 | 1233 | 3586
1448.24/1448.60 c 1447s | 19 | 4249583 | 609982 | 61415 20 | 1233 | 3586
1450.24/1450.69 c 1449s | 19 | 4256430 | 611182 | 61415 20 | 1233 | 3586
1452.34/1452.70 c 1451s | 19 | 4262235 | 612382 | 61415 20 | 1233 | 3586
1454.44/1454.84 c 1453s | 19 | 4268445 | 613582 | 61415 20 | 1233 | 3586
1456.54/1456.91 c 1455s | 19 | 4273615 | 614782 | 61415 20 | 1233 | 3586
1458.54/1458.94 c 1457s | 19 | 4279354 | 615982 | 61415 20 | 1233 | 3586
1460.64/1461.09 c 1459s | 19 | 4285046 | 617282 | 61415 20 | 1233 | 3586
1462.83/1463.28 c 1462s | 19 | 4290492 | 618382 | 61415 20 | 1233 | 3586
1465.03/1465.48 c 1464s | 19 | 4296628 | 619482 | 61415 20 | 1233 | 3586
1467.33/1467.73 c 1466s | 19 | 4301283 | 620482 | 61415 20 | 1233 | 3586
1469.34/1469.78 c 1468s | 19 | 4305216 | 621582 | 61415 20 | 1233 | 3586
1471.54/1471.92 c 1470s | 19 | 4309518 | 622582 | 61415 20 | 1233 | 3586
1473.64/1474.02 c 1472s | 19 | 4314476 | 623582 | 61415 20 | 1233 | 3586
1475.94/1476.30 c 1475s | 19 | 4317284 | 623782 | 61415 20 | 1233 | 3586
1478.14/1478.52 c 1477s | 19 | 4325337 | 624682 | 61415 20 | 1233 | 3586
1480.34/1480.71 c 1479s | 19 | 4330934 | 625582 | 61415 20 | 1233 | 3586
1482.33/1482.75 c 1481s | 19 | 4339949 | 626482 | 61415 20 | 1233 | 3586
1484.53/1484.90 c 1483s | 19 | 4346536 | 627382 | 61415 20 | 1233 | 3586
1486.63/1487.01 c 1485s | 19 | 4351157 | 628282 | 61415 20 | 1233 | 3586
1488.63/1489.01 c 1487s | 19 | 4355637 | 629082 | 61415 20 | 1233 | 3586
1490.63/1491.02 c 1489s | 19 | 4363956 | 629882 | 61415 20 | 1233 | 3586
1492.63/1493.07 c 1491s | 19 | 4372892 | 630782 | 61415 20 | 1233 | 3586
1494.83/1495.24 c 1494s | 19 | 4377482 | 631582 | 61415 20 | 1233 | 3586
1497.03/1497.40 c 1496s | 19 | 4386386 | 632482 | 61415 20 | 1233 | 3586
1499.23/1499.63 c 1498s | 19 | 4393958 | 633382 | 61415 20 | 1233 | 3586
1501.33/1501.73 c 1500s | 19 | 4398648 | 634182 | 61415 20 | 1233 | 3586
1503.43/1503.88 c 1502s | 19 | 4402415 | 634782 | 61415 20 | 1233 | 3586
1505.53/1505.98 c 1504s | 19 | 4410269 | 635582 | 61415 20 | 1233 | 3586
1507.73/1508.15 c 1507s | 19 | 4421893 | 636782 | 61415 20 | 1233 | 3586
1509.82/1510.27 c 1509s | 19 | 4427740 | 637982 | 61415 20 | 1233 | 3586
1511.92/1512.39 c 1511s | 19 | 4431530 | 638982 | 61415 21 | 1233 | 3586
1514.02/1514.42 c 1513s | 19 | 4436615 | 640182 | 61415 21 | 1233 | 3586
1516.12/1516.51 c 1515s | 19 | 4442889 | 641582 | 61415 21 | 1233 | 3586
1518.52/1518.99 c 1517s | 19 | 4448636 | 643082 | 61415 21 | 1233 | 3586
1520.82/1521.20 c 1520s | 19 | 4454071 | 643882 | 61415 21 | 1233 | 3586
1522.82/1523.23 c 1522s | 19 | 4459479 | 644782 | 61415 21 | 1233 | 3586
1524.92/1525.30 c 1524s | 19 | 4465060 | 645682 | 61415 21 | 1233 | 3586
1527.02/1527.41 c 1526s | 19 | 4469755 | 646582 | 61415 21 | 1233 | 3586
1529.12/1529.57 c 1528s | 19 | 4480398 | 647582 | 61415 21 | 1233 | 3586
1531.12/1531.58 c 1530s | 19 | 4487895 | 648682 | 61415 21 | 1233 | 3586
1533.22/1533.60 c 1532s | 19 | 4495849 | 649682 | 61415 21 | 1233 | 3586
1535.33/1535.72 c 1534s | 19 | 4505089 | 650682 | 61415 21 | 1233 | 3586
1537.43/1537.86 c 1536s | 19 | 4513947 | 651682 | 61415 21 | 1233 | 3586
1539.52/1539.94 c 1538s | 19 | 4518885 | 652682 | 61415 21 | 1233 | 3586
1541.62/1542.07 c 1540s | 19 | 4527305 | 653582 | 61415 21 | 1233 | 3586
1543.82/1544.28 c 1543s | 19 | 4537443 | 654582 | 61415 21 | 1233 | 3586
1545.92/1546.30 c 1545s | 19 | 4543927 | 655582 | 61415 21 | 1233 | 3586
1547.92/1548.32 c 1547s | 19 | 4549579 | 656382 | 61415 21 | 1233 | 3586
1549.92/1550.35 c 1549s | 19 | 4558876 | 657182 | 61415 21 | 1233 | 3586
1551.92/1552.35 c 1551s | 19 | 4565899 | 657982 | 61415 21 | 1233 | 3586
1553.92/1554.40 c 1553s | 19 | 4571141 | 658782 | 61415 21 | 1233 | 3586
1556.12/1556.57 c 1555s | 19 | 4576210 | 659682 | 61415 21 | 1233 | 3586
1558.32/1558.75 c 1557s | 19 | 4585332 | 660482 | 61415 21 | 1233 | 3586
1560.41/1560.87 c 1559s | 19 | 4592373 | 661282 | 61415 21 | 1233 | 3586
1562.72/1563.17 c 1562s | 19 | 4599756 | 662082 | 67557 21 | 1233 | 3586
1564.81/1565.22 c 1564s | 19 | 4606202 | 662782 | 67557 21 | 1233 | 3586
1567.01/1567.45 c 1566s | 19 | 4612448 | 663582 | 67557 21 | 1233 | 3586
1569.11/1569.56 c 1568s | 19 | 4616715 | 664282 | 67557 21 | 1233 | 3586
1571.11/1571.59 c 1570s | 19 | 4619669 | 664882 | 67557 21 | 1233 | 3586
1573.21/1573.60 c 1572s | 19 | 4627099 | 665682 | 67557 21 | 1233 | 3586
1575.21/1575.64 c 1574s | 19 | 4637064 | 666682 | 67557 21 | 1233 | 3586
1575.51/1575.94 c 1574s | 20 | 4638121 | 666827 | 67557 21 | 1233 | 3586
1577.81/1578.21 c 1577s | 20 | 4645152 | 667827 | 67557 21 | 1233 | 3586
1579.91/1580.31 c 1579s | 20 | 4649950 | 668827 | 67557 21 | 1233 | 3586
1582.41/1582.84 c 1581s | 20 | 4654493 | 669627 | 67557 21 | 1233 | 3586
1584.82/1585.25 c 1584s | 20 | 4657263 | 670127 | 67557 21 | 1233 | 3586
1586.92/1587.33 c 1586s | 20 | 4658520 | 670527 | 67557 21 | 1233 | 3586
1589.72/1590.15 c 1589s | 20 | 4658968 | 670627 | 67557 21 | 1233 | 3586
1594.52/1594.93 c 1593s | 20 | 4663992 | 671027 | 67557 21 | 1233 | 3586
1596.52/1596.95 c 1595s | 20 | 4669280 | 671927 | 67557 21 | 1233 | 3586
1598.72/1599.19 c 1598s | 20 | 4678203 | 672727 | 67557 21 | 1233 | 3586
1600.81/1601.25 c 1600s | 20 | 4686112 | 673427 | 67557 21 | 1233 | 3586
1603.21/1603.63 c 1602s | 20 | 4692616 | 674227 | 67557 21 | 1233 | 3586
1605.41/1605.81 c 1604s | 20 | 4699158 | 675127 | 67557 21 | 1233 | 3586
1607.51/1607.95 c 1606s | 20 | 4703904 | 675827 | 67557 21 | 1233 | 3586
1609.71/1610.14 c 1608s | 20 | 4713022 | 676627 | 67557 21 | 1233 | 3586
1611.91/1612.30 c 1611s | 20 | 4719454 | 677427 | 67557 21 | 1233 | 3586
1614.01/1614.48 c 1613s | 20 | 4726061 | 678127 | 67557 21 | 1233 | 3586
1616.81/1617.27 c 1616s | 20 | 4730996 | 678627 | 67557 22 | 1233 | 3586
1619.01/1619.45 c 1618s | 20 | 4738205 | 679627 | 67557 22 | 1233 | 3586
1621.21/1621.66 c 1620s | 20 | 4745365 | 680327 | 67557 22 | 1233 | 3586
1623.31/1623.78 c 1622s | 20 | 4752599 | 681327 | 67557 22 | 1233 | 3586
1625.41/1625.90 c 1624s | 20 | 4758374 | 682027 | 67557 22 | 1233 | 3586
1627.61/1628.08 c 1626s | 20 | 4763436 | 682727 | 67557 22 | 1233 | 3586
1629.71/1630.16 c 1629s | 20 | 4772508 | 683827 | 67557 22 | 1233 | 3586
1631.81/1632.27 c 1631s | 20 | 4781711 | 684927 | 67557 22 | 1233 | 3586
1633.81/1634.28 c 1633s | 20 | 4789622 | 685827 | 67557 22 | 1233 | 3586
1636.01/1636.42 c 1635s | 20 | 4797707 | 686827 | 67557 22 | 1233 | 3586
1638.11/1638.55 c 1637s | 20 | 4805699 | 687827 | 67557 22 | 1233 | 3586
1640.20/1640.60 c 1639s | 20 | 4810803 | 688427 | 67557 22 | 1233 | 3586
1642.20/1642.61 c 1641s | 20 | 4813564 | 688927 | 67557 22 | 1233 | 3586
1644.30/1644.79 c 1643s | 20 | 4821335 | 689727 | 67557 22 | 1233 | 3586
1646.50/1646.92 c 1645s | 20 | 4828849 | 690827 | 67557 22 | 1233 | 3586
1648.51/1648.98 c 1647s | 20 | 4836674 | 691827 | 67557 22 | 1233 | 3586
1650.60/1651.00 c 1649s | 20 | 4844531 | 692827 | 67557 22 | 1233 | 3586
1652.60/1653.04 c 1651s | 20 | 4850326 | 693727 | 67557 22 | 1233 | 3586
1654.80/1655.20 c 1654s | 20 | 4857306 | 694727 | 67557 22 | 1233 | 3586
1656.90/1657.34 c 1656s | 20 | 4864597 | 695627 | 67557 22 | 1233 | 3586
1659.00/1659.43 c 1658s | 20 | 4872716 | 696727 | 67557 22 | 1233 | 3586
1661.20/1661.64 c 1660s | 20 | 4880353 | 697727 | 67557 22 | 1233 | 3586
1663.30/1663.76 c 1662s | 20 | 4884256 | 698627 | 67557 22 | 1233 | 3586
1665.60/1666.03 c 1664s | 20 | 4890745 | 699627 | 67557 22 | 1233 | 3586
1667.60/1668.07 c 1666s | 20 | 4897876 | 700427 | 67557 22 | 1233 | 3586
1669.80/1670.23 c 1669s | 20 | 4907532 | 701427 | 67557 22 | 1233 | 3586
1671.90/1672.33 c 1671s | 20 | 4912835 | 702527 | 67557 22 | 1233 | 3586
1674.00/1674.41 c 1673s | 20 | 4916561 | 703527 | 67557 22 | 1233 | 3586
1676.11/1676.53 c 1675s | 20 | 4922207 | 704427 | 67557 22 | 1233 | 3586
1678.40/1678.81 c 1677s | 20 | 4928769 | 705327 | 67557 22 | 1233 | 3586
1680.41/1680.89 c 1679s | 20 | 4934330 | 706127 | 67557 22 | 1233 | 3586
1682.50/1682.99 c 1681s | 20 | 4942061 | 706927 | 67557 22 | 1233 | 3586
1684.80/1685.26 c 1684s | 20 | 4951792 | 707827 | 67557 22 | 1233 | 3586
1686.90/1687.33 c 1686s | 20 | 4959213 | 708627 | 67557 22 | 1233 | 3586
1689.10/1689.55 c 1688s | 20 | 4967212 | 709527 | 67557 22 | 1233 | 3586
1691.20/1691.61 c 1690s | 20 | 4971416 | 710427 | 67557 22 | 1233 | 3586
1693.20/1693.63 c 1692s | 20 | 4975942 | 711127 | 67557 22 | 1233 | 3586
1695.20/1695.68 c 1694s | 20 | 4981095 | 711927 | 67557 22 | 1233 | 3586
1697.40/1697.87 c 1696s | 20 | 4988091 | 712727 | 67557 22 | 1233 | 3586
1699.50/1699.95 c 1698s | 20 | 4995350 | 713527 | 67557 22 | 1233 | 3586
1701.60/1702.00 c 1700s | 20 | 5002812 | 714327 | 67557 22 | 1233 | 3586
1703.60/1704.03 c 1702s | 20 | 5006742 | 715027 | 67557 22 | 1233 | 3586
1705.70/1706.19 c 1705s | 20 | 5011319 | 715627 | 67557 23 | 1233 | 3586
1707.90/1708.31 c 1707s | 20 | 5019987 | 716727 | 67557 23 | 1233 | 3586
1709.99/1710.43 c 1709s | 20 | 5031780 | 717827 | 67557 23 | 1233 | 3586
1711.99/1712.49 c 1711s | 20 | 5040227 | 718927 | 67557 23 | 1233 | 3586
1714.09/1714.53 c 1713s | 20 | 5047528 | 719927 | 67557 23 | 1233 | 3586
1716.09/1716.58 c 1715s | 20 | 5058059 | 720927 | 67557 23 | 1233 | 3586
1718.39/1718.81 c 1717s | 20 | 5066066 | 722027 | 67557 23 | 1233 | 3586
1720.39/1720.88 c 1719s | 20 | 5075392 | 723027 | 67557 23 | 1233 | 3586
1722.39/1722.89 c 1721s | 20 | 5084423 | 724027 | 67557 23 | 1233 | 3586
1724.50/1724.93 c 1723s | 20 | 5091750 | 724827 | 67557 23 | 1233 | 3586
1726.60/1727.06 c 1725s | 20 | 5101775 | 725927 | 67557 23 | 1233 | 3586
1728.59/1729.08 c 1727s | 20 | 5107844 | 726827 | 67557 23 | 1233 | 3586
1730.69/1731.10 c 1729s | 20 | 5117485 | 727827 | 67557 23 | 1233 | 3586
1732.79/1733.25 c 1732s | 20 | 5126129 | 728827 | 67557 23 | 1233 | 3586
1734.99/1735.41 c 1734s | 20 | 5132656 | 729827 | 67557 23 | 1233 | 3586
1737.19/1737.64 c 1736s | 20 | 5141235 | 730827 | 67557 23 | 1233 | 3586
1739.39/1739.85 c 1738s | 20 | 5146577 | 731827 | 67557 23 | 1233 | 3586
1741.39/1741.86 c 1740s | 20 | 5150768 | 732427 | 67557 23 | 1233 | 3586
1743.59/1744.06 c 1742s | 20 | 5155995 | 733127 | 67557 23 | 1233 | 3586
1745.59/1746.07 c 1744s | 20 | 5160088 | 733827 | 67557 23 | 1233 | 3586
1747.69/1748.19 c 1747s | 20 | 5167131 | 734427 | 67557 23 | 1233 | 3586
1749.89/1750.31 c 1749s | 20 | 5177078 | 735427 | 67557 23 | 1233 | 3586
1752.09/1752.52 c 1751s | 20 | 5184849 | 736427 | 67557 23 | 1233 | 3586
1754.19/1754.61 c 1753s | 20 | 5189632 | 737327 | 67557 23 | 1233 | 3586
1756.59/1757.02 c 1755s | 20 | 5194089 | 738127 | 67557 23 | 1233 | 3586
1758.69/1759.17 c 1758s | 20 | 5198217 | 738427 | 67557 23 | 1233 | 3586
1760.80/1761.21 c 1760s | 20 | 5202686 | 738927 | 67557 23 | 1233 | 3586
1762.90/1763.31 c 1762s | 20 | 5207215 | 739427 | 67557 23 | 1233 | 3586
1764.99/1765.43 c 1764s | 20 | 5210288 | 739827 | 67557 23 | 1233 | 3586
1767.19/1767.67 c 1766s | 20 | 5214336 | 740427 | 67557 23 | 1233 | 3586
1769.39/1769.81 c 1768s | 20 | 5217509 | 740927 | 67557 23 | 1233 | 3586
1771.80/1772.25 c 1771s | 20 | 5220845 | 741327 | 67557 23 | 1233 | 3586
1774.69/1775.18 c 1774s | 20 | 5223286 | 741627 | 67557 23 | 1233 | 3586
1776.79/1777.21 c 1776s | 20 | 5224653 | 741827 | 67557 23 | 1233 | 3586
1778.99/1779.44 c 1778s | 20 | 5225811 | 742027 | 67557 23 | 1233 | 3586
1781.09/1781.56 c 1780s | 20 | 5227130 | 742227 | 67557 23 | 1233 | 3586
1783.49/1783.95 c 1782s | 20 | 5228216 | 742427 | 67557 23 | 1233 | 3586
1785.89/1786.32 c 1785s | 20 | 5228998 | 742627 | 67557 23 | 1233 | 3586
1788.20/1788.62 c 1787s | 20 | 5229709 | 742827 | 67557 23 | 1233 | 3586
1790.39/1790.82 c 1789s | 20 | 5230306 | 743027 | 67557 23 | 1233 | 3586
1792.99/1793.48 c 1792s | 20 | 5231298 | 743227 | 67557 23 | 1233 | 3586
1795.19/1795.67 c 1794s | 20 | 5232418 | 743427 | 67557 23 | 1233 | 3586
1797.39/1797.86 c 1796s | 20 | 5233493 | 743627 | 67557 23 | 1233 | 3586
1799.59/1800.00 c 1798s | 20 | 5234228 | 743827 | 67557 23 | 1233 | 3586
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-4079846-1465248527/watcher-4079846-1465248527 -o /tmp/evaluation-result-4079846-1465248527/solver-4079846-1465248527 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079846-1465248527.opb
pid=4609
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.20 2.22 2.18 2/179 4612
/proc/meminfo: memFree=29161432/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 2727 0 0 0 0 0 0 0 20 0 4 0 106785734 748089344 3088 33554432000 4194304 16246674 140737152454016 140737152453440 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 183407 3096 441 2943 0 180301 0
[pid=4612/tid=4613] ppid=4609 vsize=748988 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 766963712 3156 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 771158016 3174 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=756156 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106785734 774303744 3188 33554432000 4194304 16246674 140737152454016 139701719653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100176 s]
/proc/loadavg: 2.20 2.22 2.18 2/179 4612
/proc/meminfo: memFree=29161432/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1222212 CPUtime=0.09 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 25983 0 0 0 5 4 0 0 20 0 4 0 106785734 1251545088 26282 33554432000 4194304 16246674 140737152454016 140737152453328 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 305553 26282 800 2943 0 302447 0
[pid=4612/tid=4613] ppid=4609 vsize=1225284 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1254690816 26294 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1229380 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1258885120 26308 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1233476 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1263079424 26323 33554432000 4194304 16246674 140737152454016 139701719653552 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) 1222212
[startup+0.200525 s]
/proc/loadavg: 2.20 2.22 2.18 2/179 4612
/proc/meminfo: memFree=29161432/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 49130 0 0 0 12 7 0 0 20 0 4 0 106785734 1345916928 49429 33554432000 4194304 16246674 140737152454016 140737152453328 12368693 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 328593 49429 832 2943 0 325487 0
[pid=4612/tid=4613] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 49429 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 49429 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 49429 33554432000 4194304 16246674 140737152454016 139701719653552 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) 1314372
[startup+0.300491 s]
/proc/loadavg: 2.20 2.22 2.18 2/179 4612
/proc/meminfo: memFree=29161432/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 49138 0 0 0 22 7 0 0 20 0 4 0 106785734 1345916928 49437 33554432000 4194304 16246674 140737152454016 140737152453328 12368963 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 328593 49437 832 2943 0 325487 0
[pid=4612/tid=4613] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 49437 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 49437 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 49437 33554432000 4194304 16246674 140737152454016 139701719653552 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) 1314372
[startup+0.700403 s]
/proc/loadavg: 2.20 2.22 2.18 2/179 4612
/proc/meminfo: memFree=29161432/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 80712 0 0 0 58 11 0 0 20 0 4 0 106785734 1345916928 81011 33554432000 4194304 16246674 140737152454016 140737152435904 5531896 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 328593 81011 896 2943 0 325487 0
[pid=4612/tid=4613] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 81011 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 81011 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 81011 33554432000 4194304 16246674 140737152454016 139701719653552 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) 1314372
[startup+1.50042 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 4616
/proc/meminfo: memFree=28838820/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 88703 0 0 0 137 12 0 0 20 0 4 0 106785734 1345916928 89002 33554432000 4194304 16246674 140737152454016 140737152435904 5712004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 328593 89002 908 2943 0 325487 0
[pid=4612/tid=4613] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 89002 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 89002 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 89002 33554432000 4194304 16246674 140737152454016 139701719653552 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) 1314372
[startup+3.10042 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 4616
/proc/meminfo: memFree=28481328/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1314372 CPUtime=3.08 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 269800 0 0 0 273 35 0 0 20 0 4 0 106785734 1345916928 270099 33554432000 4194304 16246674 140737152454016 140737152435904 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 328593 270099 908 2943 0 325487 0
[pid=4612/tid=4613] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270099 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270099 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270099 33554432000 4194304 16246674 140737152454016 139701719653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1314372
[startup+6.30038 s]
/proc/loadavg: 2.18 2.21 2.18 4/183 4616
/proc/meminfo: memFree=28082668/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1314372 CPUtime=6.28 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 269800 0 0 0 593 35 0 0 20 0 4 0 106785734 1345916928 270099 33554432000 4194304 16246674 140737152454016 140737152435904 5662193 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 328593 270099 908 2943 0 325487 0
[pid=4612/tid=4613] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270099 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270099 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270099 33554432000 4194304 16246674 140737152454016 139701719653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1314372
[startup+12.7004 s]
/proc/loadavg: 2.23 2.22 2.18 4/183 4616
/proc/meminfo: memFree=28082200/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1314372 CPUtime=12.69 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 269800 0 0 0 1233 36 0 0 20 0 4 0 106785734 1345916928 270099 33554432000 4194304 16246674 140737152454016 140737152435904 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 328593 270099 908 2943 0 325487 0
[pid=4612/tid=4613] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270099 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270099 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270099 33554432000 4194304 16246674 140737152454016 139701719653552 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) 1314372
[startup+25.5005 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 4616
/proc/meminfo: memFree=28082832/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1314372 CPUtime=25.49 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 269804 0 0 0 2513 36 0 0 20 0 4 0 106785734 1345916928 270103 33554432000 4194304 16246674 140737152454016 140737152435904 12477827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 328593 270103 912 2943 0 325487 0
[pid=4612/tid=4613] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270103 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270103 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270103 33554432000 4194304 16246674 140737152454016 139701719653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372
[startup+51.1005 s]
/proc/loadavg: 2.29 2.23 2.19 3/183 4616
/proc/meminfo: memFree=28082664/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1314372 CPUtime=51.09 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 269804 0 0 0 5073 36 0 0 20 0 4 0 106785734 1345916928 270103 33554432000 4194304 16246674 140737152454016 140737152435904 5827984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 328593 270103 912 2943 0 325487 0
[pid=4612/tid=4613] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270103 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270103 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270103 33554432000 4194304 16246674 140737152454016 139701719653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1314372
[startup+102.3 s]
/proc/loadavg: 2.28 2.23 2.19 3/184 4620
/proc/meminfo: memFree=28082564/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 269806 0 0 0 10192 36 0 0 20 0 4 0 106785734 1345916928 270105 33554432000 4194304 16246674 140737152454016 140737152435904 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 328593 270105 914 2943 0 325487 0
[pid=4612/tid=4613] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270105 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270105 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1345916928 270105 33554432000 4194304 16246674 140737152454016 139701719653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372
################
# More data... #
################
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 139701719653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1369668
[startup+1362.3 s]
/proc/loadavg: 2.18 2.23 2.20 3/183 4652
/proc/meminfo: memFree=27981872/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1369668 CPUtime=1361.95 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 283639 0 0 0 136149 46 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 140737152435904 13781188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 342417 283979 915 2943 0 339311 0
[pid=4612/tid=4613] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 139701719653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1369668
[startup+1422.3 s]
/proc/loadavg: 2.31 2.26 2.21 3/183 4653
/proc/meminfo: memFree=27981752/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1369668 CPUtime=1421.95 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 283639 0 0 0 142149 46 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 140737152435904 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 342417 283979 915 2943 0 339311 0
[pid=4612/tid=4613] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 139701719653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1369668
[startup+1482.3 s]
/proc/loadavg: 2.23 2.25 2.21 3/184 4712
/proc/meminfo: memFree=28054284/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1369668 CPUtime=1481.93 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 283639 0 0 0 148147 46 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 140737152435904 5711318 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 342417 283979 915 2943 0 339311 0
[pid=4612/tid=4613] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 139701719653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1369668
[startup+1542.31 s]
/proc/loadavg: 2.20 2.24 2.20 3/183 4713
/proc/meminfo: memFree=28053932/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1369668 CPUtime=1541.92 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 283639 0 0 0 154146 46 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 140737152435904 5711318 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 342417 283979 915 2943 0 339311 0
[pid=4612/tid=4613] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 139701719653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1369668
[startup+1602.3 s]
/proc/loadavg: 2.27 2.25 2.21 3/183 4714
/proc/meminfo: memFree=28047612/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1369668 CPUtime=1601.91 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 283639 0 0 0 160144 47 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 140737152435904 5712004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 342417 283979 915 2943 0 339311 0
[pid=4612/tid=4613] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 283979 33554432000 4194304 16246674 140737152454016 139701719653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1369668
[startup+1662.3 s]
/proc/loadavg: 2.15 2.22 2.19 3/183 4716
/proc/meminfo: memFree=28047004/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1369668 CPUtime=1661.9 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 283846 0 0 0 166143 47 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 140737152435904 5677584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 342417 284186 915 2943 0 339311 0
[pid=4612/tid=4613] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 139701719653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1369668
[startup+1722.3 s]
/proc/loadavg: 2.16 2.21 2.19 3/183 4717
/proc/meminfo: memFree=28046760/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1369668 CPUtime=1721.89 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 283846 0 0 0 172142 47 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 140737152435904 5712547 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 342417 284186 915 2943 0 339311 0
[pid=4612/tid=4613] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 139701719653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1369668
[startup+1782.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/183 4718
/proc/meminfo: memFree=28046260/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1369668 CPUtime=1781.89 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 283846 0 0 0 178141 48 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 140737152435904 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 342417 284186 915 2943 0 339311 0
[pid=4612/tid=4613] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 139701719653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1369668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.12 2.18 2.18 4/183 4718
/proc/meminfo: memFree=28046516/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1369668 CPUtime=1800.09 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 283846 0 0 0 179961 48 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 140737152435904 5827950 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 342417 284186 915 2943 0 339311 0
[pid=4612/tid=4613] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 139701719653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1369668
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 4612 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.12 2.18 2.18 4/183 4718
/proc/meminfo: memFree=28046516/32872528 swapFree=16384/1696552
[pid=4612] ppid=4609 vsize=1369668 CPUtime=1800.09 cores=1,3,5,7
/proc/4612/stat : 4612 (toysat) R 4609 4612 1166 0 -1 4202496 283846 0 0 0 179961 48 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 140737152435904 5827950 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4612/statm: 342417 284186 915 2943 0 339311 0
[pid=4612/tid=4613] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4613/stat : 4613 (toysat) S 4609 4612 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 139701810867440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4612/tid=4614] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4614/stat : 4614 (toysat) S 4609 4612 1166 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 139701730127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4612/tid=4615] ppid=4609 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/4612/task/4615/stat : 4615 (toysat) S 4609 4612 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106785734 1402540032 284186 33554432000 4194304 16246674 140737152454016 139701719653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1369668
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1799.62
CPU system time (s): 0.481926
CPU usage (%): 99.9772
Max. virtual memory (cumulated for all children) (KiB): 1369668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.481926
maximum resident set size= 1136744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283846
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= 230
involuntary context switches= 1962
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54131 second user time and 6.97094 second system time
The end