0.00/0.00 c 2016-06-06T23:28:24+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-4079847-1465248504.opb"]
0.00/0.01 c use --random-gen="3295974911 1422624136 985799039 2702151620 2064022148 4078969005 224520368 266303195 2834595888 3084954118 1505522154 1346697397 1373178105 1283622502 1803101735 275385187 1474155078 4145880117 2141739952 3685904557 719153661 1649816092 3127492720 3276300260 1481096544 2538382279 2919411990 501545276 570691518 2051186459 3223965844 2028720028 2009686402 2023604568 1287718919 3749500627 4246998690 3741775561 563528352 1508545310 1167389626 4187951015 193268408 1562864334 1755170183 98283706 1661139309 816447672 2745050433 3087234936 4199679299 2135051402 3982670488 2478129297 301278005 2097234342 1565045771 1369401336 2055601713 2608429308 1230148761 2447043304 3768084175 512865710 1548138595 2983366923 2143985361 794172412 2236721112 1916231022 1414831846 617206507 1469052306 1401331560 2019856393 724956831 1662399961 2564750679 3579966245 3755019695 1887941105 2984427522 1922370915 2152262141 375067877 2173858755 1884577867 880218275 4054744154 1967394462 2727828141 546112212 2659142011 3804681856 695939091 2450794626 417694549 848791866 1383101942 3109395300 280198823 3346086422 3789963470 1217635845 3704715932 3771171064 338420744 2521646873 26854516 1874641883 494896470 2479415274 317283720 3887386764 3586812227 3502162984 2441447507 3422119034 2919350555 3634072021 1708937122 4005277776 203807435 2567748631 3934612735 1060585280 743448760 1249017275 2219064815 1963754319 3518822189 2505324561 2849689836 1322808047 1172804389 1648302238 2059646930 124100312 2115971802 713856916 184355914 3922564517 3625916469 1510986337 4129340672 19260688 958697312 3699542361 816141978 1894940492 458561663 1918949542 3611138875 242632904 2350057807 3586062712 303117143 199744317 1532538645 1361731675 1998028108 3269949314 1906854688 1198010391 2335996100 929649148 3034235348 380728627 658516957 3737639004 2612486404 3875228923 856686999 2153556273 2239872577 3186955981 1173701143 3583943131 4156007674 3727903237 1304288455 1728056808 1741860924 1352528635 3059950856 3976153131 3332147991 1269087416 472525015 1802447112 2441055669 4294720335 2449164352 790047882 273614116 2722306585 2141144733 2230020776 133154324 722058545 1855080876 3926933089 1147361320 3821313267 115722709 4237533171 3890751996 3805437137 79253975 3319441465 3202883423 2753047880 2432696834 3277859773 1390993844 4065634225 2007914209 1895939878 4145544107 1852693150 12594078 2424939407 2388799603 1365246381 467962161 761566304 3802324905 4129859564 1868403952 1573318107 3543250319 2301240155 3449333252 2625127765 2101216947 1243801735 3318684769 143981168 2124200177 376619995 3222805709 420547269 2461168617 3849706229 225087860 1039397713 210863226 1999987070 3806085654 4105178789 3914427074 2303600781 797446744 4053904634 1841708343 309012927 255 362436" option to reproduce the execution
0.08/0.10 c #vars 4427
0.08/0.10 c #constraints 12661
0.08/0.31 c BCD2: Hardening is enabled.
0.08/0.31 c BCD2: BiasedSearch is enabled.
0.08/0.31 c Solving starts ...
0.08/0.31 c ============================[ Search Statistics ]============================
0.08/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.31 c | | | | Limit GC | Var | Constra
0.08/0.31 c =============================================================================
0.08/0.31 c 0.0s | 0 | 0 | 0 | 5638 0 | 331 | 0
0.08/0.31 c 0.0s | 0 | 1354 | 0 | 5638 0 | 331 | 1389
0.08/0.31 c #cpu_time = 0.021s
0.08/0.31 c #wall_clock_time = 0.021s
0.08/0.31 c #decision = 1354
0.08/0.31 c #random_decision = 5
0.08/0.31 c #conflict = 0
0.08/0.31 c #restart = 0
0.08/0.31 o 1356
0.08/0.31 c BCD2: updating upper bound: 2136 -> 1355
0.08/0.31 c BCD2: 0 <= obj <= 1355
0.08/0.31 c BCD2: #cores=0, #unrelaxed=2136, #relaxed=0, #hardened=0
0.08/0.31 c BCD2: #sat=1 #unsat=1 bias=1/2
0.08/0.31 c Solving starts ...
0.08/0.31 c ============================[ Search Statistics ]============================
0.08/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.31 c | | | | Limit GC | Var | Constra
0.08/0.31 c =============================================================================
0.08/0.31 c 0.0s | 0 | 0 | 0 | 5638 0 | 331 | 1389
0.08/0.31 c 0.0s | 0 | 4 | 0 | 5638 0 | 331 | 1389
0.08/0.31 c #cpu_time = 0.005s
0.08/0.31 c #wall_clock_time = 0.005s
0.08/0.31 c #decision = 4
0.08/0.31 c #random_decision = 0
0.08/0.31 c #conflict = 0
0.08/0.31 c #restart = 0
0.08/0.31 c BCD2: found a new core of size 1: cost of the new core is >=1
0.08/0.31 c lower bound updated to 1
0.08/0.31 c BCD2: 1 <= obj <= 1355
0.08/0.31 c BCD2: #cores=1, #unrelaxed=2135, #relaxed=1, #hardened=0
0.08/0.31 c BCD2: #sat=1 #unsat=2 bias=2/3
0.08/0.31 c Solving starts ...
0.08/0.32 c ============================[ Search Statistics ]============================
0.08/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.32 c | | | | Limit GC | Var | Constra
0.08/0.32 c =============================================================================
0.08/0.32 c 0.0s | 0 | 0 | 0 | 5638 0 | 331 | 1389
0.08/0.33 c 0.0s | 0 | 5 | 0 | 5638 0 | 331 | 1389
0.08/0.33 c #cpu_time = 0.005s
0.08/0.33 c #wall_clock_time = 0.005s
0.08/0.33 c #decision = 5
0.08/0.33 c #random_decision = 0
0.08/0.33 c #conflict = 0
0.08/0.33 c #restart = 0
0.08/0.33 c BCD2: found a new core of size 3: cost of the new core is >=1
0.08/0.33 c lower bound updated to 2
0.08/0.33 c BCD2: 2 <= obj <= 1355
0.08/0.33 c BCD2: #cores=2, #unrelaxed=2132, #relaxed=4, #hardened=0
0.08/0.33 c BCD2: #sat=1 #unsat=3 bias=3/4
0.08/0.33 c Solving starts ...
0.08/0.33 c ============================[ Search Statistics ]============================
0.08/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.33 c | | | | Limit GC | Var | Constra
0.08/0.33 c =============================================================================
0.08/0.33 c 0.0s | 0 | 0 | 0 | 5638 0 | 331 | 1389
0.08/0.33 c 0.0s | 0 | 13 | 0 | 5638 0 | 331 | 1389
0.08/0.33 c #cpu_time = 0.005s
0.08/0.33 c #wall_clock_time = 0.005s
0.08/0.33 c #decision = 13
0.08/0.33 c #random_decision = 0
0.08/0.33 c #conflict = 0
0.08/0.33 c #restart = 0
0.08/0.33 c BCD2: found a new core of size 9: cost of the new core is >=1
0.08/0.33 c lower bound updated to 3
0.08/0.33 c BCD2: 3 <= obj <= 1355
0.08/0.33 c BCD2: #cores=3, #unrelaxed=2123, #relaxed=13, #hardened=0
0.08/0.33 c BCD2: #sat=1 #unsat=4 bias=4/5
0.08/0.33 c Solving starts ...
0.08/0.33 c ============================[ Search Statistics ]============================
0.08/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.33 c | | | | Limit GC | Var | Constra
0.08/0.33 c =============================================================================
0.08/0.33 c 0.0s | 0 | 0 | 0 | 5638 0 | 331 | 1389
0.08/0.34 c 0.0s | 0 | 66 | 0 | 5638 0 | 331 | 1389
0.08/0.34 c #cpu_time = 0.006s
0.08/0.34 c #wall_clock_time = 0.006s
0.08/0.34 c #decision = 66
0.08/0.34 c #random_decision = 0
0.08/0.34 c #conflict = 0
0.08/0.34 c #restart = 0
0.08/0.34 c BCD2: found a new core of size 3: cost of the new core is >=1
0.08/0.34 c lower bound updated to 4
0.08/0.34 c BCD2: 4 <= obj <= 1355
0.08/0.34 c BCD2: #cores=4, #unrelaxed=2120, #relaxed=16, #hardened=0
0.08/0.34 c BCD2: #sat=1 #unsat=5 bias=5/6
0.08/0.34 c Solving starts ...
0.08/0.34 c ============================[ Search Statistics ]============================
0.08/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.34 c | | | | Limit GC | Var | Constra
0.08/0.34 c =============================================================================
0.08/0.35 c 0.0s | 0 | 0 | 0 | 5638 0 | 331 | 1389
0.08/0.36 c 0.0s | 0 | 154 | 0 | 5638 0 | 331 | 1389
0.08/0.36 c #cpu_time = 0.006s
0.08/0.36 c #wall_clock_time = 0.006s
0.08/0.36 c #decision = 154
0.08/0.36 c #random_decision = 0
0.08/0.36 c #conflict = 0
0.08/0.36 c #restart = 0
0.08/0.36 c BCD2: found a new core of size 3: cost of the new core is >=1
0.08/0.36 c lower bound updated to 5
0.08/0.36 c BCD2: 5 <= obj <= 1355
0.08/0.36 c BCD2: #cores=5, #unrelaxed=2117, #relaxed=19, #hardened=0
0.08/0.36 c BCD2: #sat=1 #unsat=6 bias=6/7
0.08/0.36 c Solving starts ...
0.08/0.36 c ============================[ Search Statistics ]============================
0.08/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.36 c | | | | Limit GC | Var | Constra
0.08/0.36 c =============================================================================
0.08/0.36 c 0.0s | 0 | 0 | 0 | 5638 0 | 331 | 1389
0.08/0.37 c 0.0s | 0 | 353 | 0 | 5638 0 | 331 | 1389
0.08/0.37 c #cpu_time = 0.006s
0.08/0.37 c #wall_clock_time = 0.006s
0.08/0.37 c #decision = 353
0.08/0.37 c #random_decision = 0
0.08/0.37 c #conflict = 0
0.08/0.37 c #restart = 0
0.08/0.37 c BCD2: relaxing 78 and merging with 1 cores into a new core of size 81: cost of the new core is >=2
0.08/0.37 c lower bound updated to 6
0.08/0.37 c BCD2: 6 <= obj <= 1355
0.08/0.37 c BCD2: #cores=5, #unrelaxed=2039, #relaxed=97, #hardened=0
0.08/0.37 c BCD2: #sat=1 #unsat=7 bias=7/8
0.08/0.37 c Solving starts ...
0.08/0.37 c ============================[ Search Statistics ]============================
0.08/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.37 c | | | | Limit GC | Var | Constra
0.08/0.37 c =============================================================================
0.08/0.37 c 0.0s | 0 | 0 | 0 | 5638 0 | 332 | 1389
0.08/0.38 c 0.0s | 0 | 349 | 0 | 5638 0 | 332 | 1390
0.08/0.38 c #cpu_time = 0.006s
0.08/0.38 c #wall_clock_time = 0.006s
0.08/0.38 c #decision = 349
0.08/0.38 c #random_decision = 0
0.08/0.38 c #conflict = 0
0.08/0.38 c #restart = 0
0.08/0.38 c BCD2: found a new core of size 9: cost of the new core is >=1
0.08/0.38 c lower bound updated to 7
0.08/0.38 c BCD2: 7 <= obj <= 1355
0.08/0.38 c BCD2: #cores=6, #unrelaxed=2030, #relaxed=106, #hardened=0
0.08/0.38 c BCD2: #sat=1 #unsat=8 bias=8/9
0.08/0.38 c Solving starts ...
0.08/0.38 c ============================[ Search Statistics ]============================
0.08/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.38 c | | | | Limit GC | Var | Constra
0.08/0.38 c =============================================================================
0.08/0.38 c 0.0s | 0 | 0 | 0 | 5638 0 | 332 | 1390
0.08/0.38 c 0.0s | 0 | 373 | 0 | 5638 0 | 332 | 1390
0.08/0.38 c #cpu_time = 0.007s
0.08/0.38 c #wall_clock_time = 0.007s
0.08/0.38 c #decision = 373
0.08/0.38 c #random_decision = 0
0.08/0.38 c #conflict = 0
0.08/0.38 c #restart = 0
0.08/0.38 c BCD2: found a new core of size 33: cost of the new core is >=1
0.08/0.38 c lower bound updated to 8
0.08/0.38 c BCD2: 8 <= obj <= 1355
0.08/0.38 c BCD2: #cores=7, #unrelaxed=1997, #relaxed=139, #hardened=0
0.08/0.38 c BCD2: #sat=1 #unsat=9 bias=9/10
0.08/0.38 c Solving starts ...
0.08/0.38 c ============================[ Search Statistics ]============================
0.08/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.38 c | | | | Limit GC | Var | Constra
0.08/0.38 c =============================================================================
0.08/0.39 c 0.0s | 0 | 0 | 0 | 5638 0 | 332 | 1390
0.08/0.39 c 0.0s | 0 | 435 | 0 | 5638 0 | 332 | 1390
0.08/0.39 c #cpu_time = 0.005s
0.08/0.39 c #wall_clock_time = 0.005s
0.08/0.39 c #decision = 435
0.08/0.39 c #random_decision = 0
0.08/0.39 c #conflict = 0
0.08/0.39 c #restart = 0
0.08/0.39 c BCD2: found a new core of size 52: cost of the new core is >=1
0.08/0.39 c lower bound updated to 9
0.08/0.39 c BCD2: 9 <= obj <= 1355
0.08/0.39 c BCD2: #cores=8, #unrelaxed=1945, #relaxed=191, #hardened=0
0.08/0.39 c BCD2: #sat=1 #unsat=10 bias=10/11
0.08/0.39 c Solving starts ...
0.08/0.39 c ============================[ Search Statistics ]============================
0.08/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.39 c | | | | Limit GC | Var | Constra
0.08/0.39 c =============================================================================
0.08/0.39 c 0.0s | 0 | 0 | 0 | 5638 0 | 332 | 1390
0.08/0.40 c 0.0s | 0 | 831 | 0 | 5638 0 | 332 | 1390
0.08/0.40 c #cpu_time = 0.006s
0.08/0.40 c #wall_clock_time = 0.007s
0.08/0.40 c #decision = 831
0.08/0.40 c #random_decision = 0
0.08/0.40 c #conflict = 0
0.08/0.40 c #restart = 0
0.08/0.40 c BCD2: found a new core of size 96: cost of the new core is >=1
0.08/0.40 c lower bound updated to 10
0.08/0.40 c BCD2: 10 <= obj <= 1355
0.08/0.40 c BCD2: #cores=9, #unrelaxed=1849, #relaxed=287, #hardened=0
0.08/0.40 c BCD2: #sat=1 #unsat=11 bias=11/12
0.08/0.40 c Solving starts ...
0.08/0.40 c ============================[ Search Statistics ]============================
0.08/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.40 c | | | | Limit GC | Var | Constra
0.08/0.40 c =============================================================================
0.08/0.40 c 0.0s | 0 | 0 | 0 | 5638 0 | 332 | 1390
0.08/0.41 c 0.0s | 0 | 1055 | 0 | 5638 0 | 332 | 1390
0.08/0.41 c #cpu_time = 0.007s
0.08/0.41 c #wall_clock_time = 0.007s
0.08/0.41 c #decision = 1055
0.08/0.41 c #random_decision = 0
0.08/0.41 c #conflict = 0
0.08/0.41 c #restart = 0
0.08/0.41 c BCD2: found a new core of size 47: cost of the new core is >=1
0.08/0.41 c lower bound updated to 11
0.08/0.41 c BCD2: 11 <= obj <= 1355
0.08/0.41 c BCD2: #cores=10, #unrelaxed=1802, #relaxed=334, #hardened=0
0.08/0.41 c BCD2: #sat=1 #unsat=12 bias=12/13
0.08/0.41 c Solving starts ...
0.08/0.41 c ============================[ Search Statistics ]============================
0.08/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.41 c | | | | Limit GC | Var | Constra
0.08/0.41 c =============================================================================
0.08/0.41 c 0.0s | 0 | 0 | 0 | 5638 0 | 332 | 1390
0.08/0.42 c 0.0s | 0 | 1029 | 0 | 5638 0 | 332 | 1390
0.08/0.42 c #cpu_time = 0.007s
0.08/0.42 c #wall_clock_time = 0.007s
0.08/0.42 c #decision = 1029
0.08/0.42 c #random_decision = 0
0.08/0.42 c #conflict = 0
0.08/0.42 c #restart = 0
0.08/0.42 c BCD2: found a new core of size 3: cost of the new core is >=1
0.08/0.42 c lower bound updated to 12
0.08/0.42 c BCD2: 12 <= obj <= 1355
0.08/0.42 c BCD2: #cores=11, #unrelaxed=1799, #relaxed=337, #hardened=0
0.08/0.42 c BCD2: #sat=1 #unsat=13 bias=13/14
0.08/0.42 c Solving starts ...
0.08/0.42 c ============================[ Search Statistics ]============================
0.08/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.42 c | | | | Limit GC | Var | Constra
0.08/0.42 c =============================================================================
0.08/0.42 c 0.0s | 0 | 0 | 0 | 5638 0 | 332 | 1390
0.42/0.43 c 0.0s | 0 | 1080 | 0 | 5638 0 | 332 | 1390
0.42/0.43 c #cpu_time = 0.007s
0.42/0.43 c #wall_clock_time = 0.007s
0.42/0.43 c #decision = 1080
0.42/0.43 c #random_decision = 0
0.42/0.43 c #conflict = 0
0.42/0.43 c #restart = 0
0.42/0.43 c BCD2: found a new core of size 33: cost of the new core is >=1
0.42/0.43 c lower bound updated to 13
0.42/0.43 c BCD2: 13 <= obj <= 1355
0.42/0.43 c BCD2: #cores=12, #unrelaxed=1766, #relaxed=370, #hardened=0
0.42/0.43 c BCD2: #sat=1 #unsat=14 bias=14/15
0.42/0.43 c Solving starts ...
0.42/0.43 c ============================[ Search Statistics ]============================
0.42/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.42/0.43 c | | | | Limit GC | Var | Constra
0.42/0.43 c =============================================================================
0.42/0.43 c 0.0s | 0 | 0 | 0 | 5638 0 | 332 | 1390
0.42/0.44 c 0.0s | 0 | 1178 | 0 | 5638 0 | 332 | 1390
0.42/0.44 c #cpu_time = 0.007s
0.42/0.44 c #wall_clock_time = 0.007s
0.42/0.44 c #decision = 1178
0.42/0.44 c #random_decision = 0
0.42/0.44 c #conflict = 0
0.42/0.44 c #restart = 0
0.42/0.44 c BCD2: found a new core of size 33: cost of the new core is >=1
0.42/0.44 c lower bound updated to 14
0.42/0.44 c BCD2: 14 <= obj <= 1355
0.42/0.44 c BCD2: #cores=13, #unrelaxed=1733, #relaxed=403, #hardened=0
0.42/0.44 c BCD2: #sat=1 #unsat=15 bias=15/16
0.42/0.44 c Solving starts ...
0.42/0.44 c ============================[ Search Statistics ]============================
0.42/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.42/0.44 c | | | | Limit GC | Var | Constra
0.42/0.44 c =============================================================================
0.42/0.44 c 0.0s | 0 | 0 | 0 | 5638 0 | 332 | 1390
0.42/0.45 c 0.0s | 0 | 1263 | 0 | 5638 0 | 332 | 1390
0.42/0.45 c #cpu_time = 0.007s
0.42/0.45 c #wall_clock_time = 0.007s
0.42/0.45 c #decision = 1263
0.42/0.45 c #random_decision = 0
0.42/0.45 c #conflict = 0
0.42/0.45 c #restart = 0
0.42/0.45 c BCD2: found a new core of size 69: cost of the new core is >=1
0.42/0.45 c lower bound updated to 15
0.42/0.45 c BCD2: 15 <= obj <= 1355
0.42/0.45 c BCD2: #cores=14, #unrelaxed=1664, #relaxed=472, #hardened=0
0.42/0.45 c BCD2: #sat=1 #unsat=16 bias=16/17
0.42/0.45 c Solving starts ...
0.42/0.45 c ============================[ Search Statistics ]============================
0.42/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.42/0.45 c | | | | Limit GC | Var | Constra
0.42/0.45 c =============================================================================
0.42/0.45 c 0.0s | 0 | 0 | 0 | 5638 0 | 332 | 1390
0.42/0.46 c 0.0s | 0 | 1234 | 0 | 5638 0 | 332 | 1390
0.42/0.46 c #cpu_time = 0.007s
0.42/0.46 c #wall_clock_time = 0.007s
0.42/0.46 c #decision = 1234
0.42/0.46 c #random_decision = 0
0.42/0.46 c #conflict = 0
0.42/0.46 c #restart = 0
0.42/0.46 c BCD2: found a new core of size 9: cost of the new core is >=1
0.42/0.46 c lower bound updated to 16
0.42/0.46 c BCD2: 16 <= obj <= 1355
0.42/0.46 c BCD2: #cores=15, #unrelaxed=1655, #relaxed=481, #hardened=0
0.42/0.46 c BCD2: #sat=1 #unsat=17 bias=17/18
0.42/0.46 c Solving starts ...
0.42/0.46 c ============================[ Search Statistics ]============================
0.42/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.42/0.46 c | | | | Limit GC | Var | Constra
0.42/0.46 c =============================================================================
0.42/0.46 c 0.0s | 0 | 0 | 0 | 5638 0 | 332 | 1390
0.42/0.47 c 0.0s | 0 | 1343 | 0 | 5638 0 | 332 | 1390
0.42/0.47 c #cpu_time = 0.007s
0.42/0.47 c #wall_clock_time = 0.007s
0.42/0.47 c #decision = 1343
0.42/0.47 c #random_decision = 0
0.42/0.47 c #conflict = 0
0.42/0.47 c #restart = 0
0.42/0.47 c BCD2: found a new core of size 53: cost of the new core is >=1
0.42/0.47 c lower bound updated to 17
0.42/0.47 c BCD2: 17 <= obj <= 1355
0.42/0.47 c BCD2: #cores=16, #unrelaxed=1602, #relaxed=534, #hardened=0
0.42/0.47 c BCD2: #sat=1 #unsat=18 bias=18/19
0.42/0.47 c Solving starts ...
0.42/0.47 c ============================[ Search Statistics ]============================
0.42/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.42/0.47 c | | | | Limit GC | Var | Constra
0.42/0.47 c =============================================================================
0.42/0.47 c 0.0s | 0 | 0 | 0 | 5638 0 | 332 | 1390
0.42/0.48 c 0.0s | 0 | 1450 | 0 | 5638 0 | 332 | 1390
0.42/0.48 c #cpu_time = 0.007s
0.42/0.48 c #wall_clock_time = 0.007s
0.42/0.48 c #decision = 1450
0.42/0.48 c #random_decision = 0
0.42/0.48 c #conflict = 0
0.42/0.48 c #restart = 0
0.42/0.48 c BCD2: found a new core of size 86: cost of the new core is >=1
0.42/0.48 c lower bound updated to 18
0.42/0.48 c BCD2: 18 <= obj <= 1355
0.42/0.48 c BCD2: #cores=17, #unrelaxed=1516, #relaxed=620, #hardened=0
0.42/0.48 c BCD2: #sat=1 #unsat=19 bias=19/20
0.42/0.48 c Solving starts ...
0.42/0.48 c ============================[ Search Statistics ]============================
0.42/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.42/0.48 c | | | | Limit GC | Var | Constra
0.42/0.48 c =============================================================================
0.42/0.48 c 0.0s | 0 | 0 | 0 | 5638 0 | 332 | 1390
0.42/0.49 c 0.0s | 0 | 1917 | 0 | 5638 0 | 332 | 1390
0.42/0.49 c #cpu_time = 0.010s
0.42/0.49 c #wall_clock_time = 0.010s
0.42/0.49 c #decision = 1917
0.42/0.49 c #random_decision = 1
0.42/0.49 c #conflict = 0
0.42/0.49 c #restart = 0
0.42/0.49 o 30
0.42/0.49 c BCD2: updating upper bound: 1355 -> 29
0.49/0.50 c BCD2: 18 <= obj <= 29
0.49/0.50 c BCD2: #cores=17, #unrelaxed=1516, #relaxed=620, #hardened=0
0.49/0.50 c BCD2: #sat=2 #unsat=19 bias=19/21
0.49/0.50 c Solving starts ...
0.49/0.50 c ============================[ Search Statistics ]============================
0.49/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.50 c | | | | Limit GC | Var | Constra
0.49/0.50 c =============================================================================
0.49/0.50 c 0.0s | 0 | 0 | 0 | 5638 0 | 332 | 1391
0.49/0.57 c 0.1s | 1 | 16444 | 100 | 5638 0 | 332 | 1391
0.49/0.58 c 0.1s | 1 | 18656 | 104 | 6202 0 | 332 | 1391
0.49/0.58 c #cpu_time = 0.075s
0.49/0.58 c #wall_clock_time = 0.076s
0.49/0.58 c #decision = 18656
0.49/0.58 c #random_decision = 4
0.49/0.58 c #conflict = 104
0.49/0.58 c #restart = 1
0.49/0.58 c BCD2: relaxing 101 and merging with 13 cores into a new core of size 537: cost of the new core is >=14
0.49/0.58 c lower bound updated to 19
0.49/0.58 c BCD2: 19 <= obj <= 29
0.49/0.58 c BCD2: #cores=5, #unrelaxed=1415, #relaxed=721, #hardened=0
0.49/0.58 c BCD2: #sat=2 #unsat=20 bias=20/22
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.49/0.59 c 0.0s | 0 | 0 | 0 | 6202 0 | 365 | 1391
0.59/0.66 c 0.1s | 1 | 1755 | 100 | 6202 0 | 365 | 1444
0.69/0.78 c 0.2s | 2 | 4311 | 250 | 6823 0 | 365 | 1444
0.89/0.97 c 0.4s | 3 | 8324 | 475 | 7506 0 | 365 | 1444
1.19/1.28 c 0.7s | 4 | 12351 | 813 | 8257 0 | 365 | 1444
1.69/1.74 c 1.2s | 5 | 17900 | 1320 | 9083 0 | 365 | 1444
2.39/2.47 c 1.9s | 6 | 25370 | 2081 | 9992 0 | 365 | 1444
3.28/3.32 c 2.7s | 7 | 31984 | 3223 | 10992 0 | 365 | 1444
4.60/4.67 c 4.1s | 8 | 45881 | 4936 | 12092 0 | 365 | 1444
6.59/6.69 c 6.1s | 8 | 58963 | 7436 | 13302 0 | 365 | 1444
6.69/6.76 c 6.2s | 9 | 59819 | 7506 | 13302 0 | 365 | 1444
8.69/8.77 c 8.2s | 9 | 76807 | 9506 | 13302 0 | 365 | 1444
10.59/10.68 c 10.1s | 10 | 91737 | 11361 | 14633 0 | 365 | 1444
12.69/12.72 c 12.1s | 10 | 103896 | 13161 | 14633 0 | 365 | 1444
14.79/14.86 c 14.3s | 10 | 123344 | 14961 | 14633 0 | 365 | 1444
16.99/17.00 c 16.4s | 10 | 136377 | 16261 | 14633 0 | 365 | 1444
18.09/18.10 c 17.5s | 11 | 143943 | 17144 | 16097 0 | 365 | 1444
20.10/20.12 c 19.5s | 11 | 154824 | 18644 | 16097 1 | 365 | 1444
22.09/22.19 c 21.6s | 11 | 167522 | 20344 | 16097 1 | 365 | 1444
24.19/24.20 c 23.6s | 11 | 175127 | 21844 | 16097 1 | 365 | 1444
26.29/26.31 c 25.7s | 11 | 186235 | 23444 | 16097 1 | 365 | 1444
28.29/28.37 c 27.8s | 11 | 197543 | 24944 | 16097 1 | 365 | 1444
29.59/29.64 c 29.1s | 12 | 205549 | 25819 | 17707 1 | 365 | 1444
31.59/31.66 c 31.1s | 12 | 220358 | 27319 | 17707 1 | 365 | 1444
33.68/33.76 c 33.2s | 12 | 231954 | 28819 | 17707 1 | 365 | 1444
35.68/35.78 c 35.2s | 12 | 240846 | 30219 | 17707 2 | 365 | 1444
37.70/37.78 c 37.2s | 12 | 251042 | 31719 | 17707 2 | 365 | 1444
39.79/39.81 c 39.2s | 12 | 265250 | 33219 | 17707 2 | 365 | 1444
41.78/41.85 c 41.3s | 12 | 278101 | 34519 | 17707 2 | 365 | 1444
43.88/43.96 c 43.4s | 12 | 292641 | 36019 | 17707 2 | 365 | 1444
45.88/45.98 c 45.4s | 12 | 303208 | 37519 | 17707 2 | 365 | 1444
47.59/47.62 c 47.0s | 13 | 313404 | 38832 | 19478 2 | 365 | 1444
49.58/49.65 c 49.1s | 13 | 328298 | 40432 | 19478 3 | 365 | 1444
51.68/51.73 c 51.1s | 13 | 337546 | 42132 | 19478 3 | 365 | 1444
53.88/53.91 c 53.3s | 13 | 347345 | 43632 | 19478 3 | 365 | 1444
55.98/56.04 c 55.5s | 13 | 361756 | 45332 | 19478 3 | 365 | 1444
57.98/58.04 c 57.5s | 13 | 373818 | 46632 | 19478 3 | 365 | 1444
60.08/60.11 c 59.5s | 13 | 386032 | 48132 | 19478 3 | 365 | 1444
62.08/62.17 c 61.6s | 13 | 396262 | 49732 | 19478 3 | 365 | 1444
64.09/64.19 c 63.6s | 13 | 408720 | 51332 | 19478 3 | 365 | 1444
66.19/66.29 c 65.7s | 13 | 421479 | 53032 | 19478 4 | 365 | 1444
68.28/68.38 c 67.8s | 13 | 434022 | 54532 | 19478 4 | 365 | 1444
70.38/70.49 c 69.9s | 13 | 449670 | 56332 | 19478 4 | 365 | 1444
72.58/72.61 c 72.0s | 13 | 460900 | 58132 | 21426 4 | 365 | 1444
72.78/72.90 c 72.3s | 14 | 462721 | 58352 | 21426 4 | 365 | 1444
74.88/75.00 c 74.4s | 14 | 478863 | 59952 | 21426 4 | 365 | 1444
76.98/77.03 c 76.4s | 14 | 487970 | 61452 | 21426 4 | 365 | 1444
79.18/79.24 c 78.7s | 14 | 498478 | 63052 | 21426 4 | 365 | 1444
81.27/81.36 c 80.8s | 14 | 511400 | 64552 | 21426 4 | 365 | 1444
83.37/83.44 c 82.9s | 14 | 522939 | 66152 | 21426 5 | 365 | 1444
85.47/85.50 c 84.9s | 14 | 534415 | 67752 | 21426 5 | 365 | 1444
87.47/87.55 c 87.0s | 14 | 547127 | 69452 | 21426 5 | 365 | 1444
89.57/89.65 c 89.1s | 14 | 557079 | 71052 | 21426 5 | 365 | 1444
91.58/91.69 c 91.1s | 14 | 568234 | 72652 | 21426 5 | 365 | 1444
93.68/93.73 c 93.1s | 14 | 576542 | 73952 | 21426 5 | 365 | 1444
95.78/95.83 c 95.2s | 14 | 580170 | 74452 | 21426 5 | 365 | 1444
97.98/98.00 c 97.4s | 14 | 588825 | 75552 | 21426 5 | 365 | 1444
100.08/100.17 c 99.6s | 14 | 598362 | 76552 | 21426 5 | 365 | 1444
102.08/102.18 c 101s | 14 | 609754 | 78052 | 21426 6 | 365 | 1444
104.18/104.27 c 103s | 14 | 621616 | 79652 | 21426 6 | 365 | 1444
106.27/106.36 c 105s | 14 | 630209 | 81052 | 21426 6 | 365 | 1444
108.47/108.52 c 107s | 14 | 640425 | 82452 | 21426 6 | 365 | 1444
110.57/110.61 c 110s | 14 | 650684 | 84052 | 21426 6 | 365 | 1444
112.57/112.64 c 112s | 14 | 658336 | 85252 | 21426 6 | 365 | 1444
114.58/114.67 c 114s | 14 | 669465 | 86852 | 21426 6 | 365 | 1444
115.68/115.77 c 115s | 15 | 676824 | 87632 | 23569 6 | 365 | 1444
117.77/117.89 c 117s | 15 | 686624 | 89132 | 23569 6 | 365 | 1444
119.87/119.90 c 119s | 15 | 697292 | 90432 | 23569 6 | 365 | 1444
121.97/122.02 c 121s | 15 | 706862 | 91532 | 23569 7 | 365 | 1444
123.97/124.09 c 123s | 15 | 717843 | 92932 | 23569 7 | 365 | 1444
126.07/126.13 c 125s | 15 | 730847 | 94432 | 23569 7 | 365 | 1444
128.17/128.24 c 127s | 15 | 742882 | 95932 | 23569 7 | 365 | 1444
130.27/130.31 c 129s | 15 | 754682 | 97732 | 23569 7 | 365 | 1444
132.37/132.41 c 131s | 15 | 768267 | 99232 | 23569 7 | 365 | 1444
134.38/134.45 c 133s | 15 | 777882 | 100532 | 23569 7 | 365 | 1444
136.47/136.58 c 135s | 15 | 786411 | 101832 | 23569 7 | 365 | 1444
138.57/138.63 c 138s | 15 | 797202 | 103232 | 23569 7 | 365 | 1444
140.67/140.79 c 140s | 15 | 809001 | 104632 | 23569 7 | 365 | 1444
142.67/142.79 c 142s | 15 | 820685 | 105932 | 23569 8 | 365 | 1444
144.77/144.84 c 144s | 15 | 832296 | 107732 | 23569 8 | 365 | 1444
146.77/146.87 c 146s | 15 | 842247 | 109132 | 23569 8 | 365 | 1444
148.87/148.90 c 148s | 15 | 848408 | 109932 | 23569 8 | 365 | 1444
150.88/150.97 c 150s | 15 | 863005 | 111332 | 23569 8 | 365 | 1444
152.96/153.04 c 152s | 15 | 876262 | 112832 | 23569 8 | 365 | 1444
155.06/155.18 c 154s | 15 | 885719 | 114332 | 23569 8 | 365 | 1444
157.16/157.25 c 156s | 15 | 893307 | 115732 | 23569 8 | 365 | 1444
159.26/159.35 c 158s | 15 | 900485 | 116932 | 23569 8 | 365 | 1444
161.26/161.38 c 160s | 15 | 908339 | 118032 | 23569 9 | 365 | 1444
163.36/163.43 c 162s | 15 | 919480 | 119732 | 23569 9 | 365 | 1444
165.36/165.48 c 164s | 15 | 932176 | 121432 | 23569 9 | 365 | 1444
167.47/167.53 c 166s | 15 | 945980 | 122832 | 23569 9 | 365 | 1444
169.46/169.60 c 169s | 15 | 961757 | 124532 | 23569 9 | 365 | 1444
171.56/171.67 c 171s | 15 | 970210 | 125932 | 23569 9 | 365 | 1444
173.66/173.74 c 173s | 15 | 983504 | 127632 | 23569 9 | 365 | 1444
175.76/175.85 c 175s | 15 | 995561 | 129332 | 23569 9 | 365 | 1444
177.86/177.91 c 177s | 15 | 1005066 | 130832 | 25926 9 | 365 | 1444
178.86/178.97 c 178s | 16 | 1010419 | 131552 | 25926 9 | 365 | 1444
181.06/181.10 c 180s | 16 | 1021885 | 132952 | 25926 10 | 365 | 1444
183.06/183.18 c 182s | 16 | 1034004 | 134552 | 25926 10 | 365 | 1444
185.16/185.26 c 184s | 16 | 1042635 | 135852 | 25926 10 | 365 | 1444
187.17/187.29 c 186s | 16 | 1053062 | 137552 | 25926 10 | 365 | 1444
189.26/189.39 c 188s | 16 | 1061959 | 138952 | 25926 10 | 365 | 1444
191.36/191.42 c 190s | 16 | 1071961 | 140452 | 25926 10 | 365 | 1444
193.46/193.53 c 192s | 16 | 1082101 | 142052 | 25926 10 | 365 | 1444
195.46/195.57 c 194s | 16 | 1091414 | 143652 | 25926 10 | 365 | 1444
197.56/197.63 c 197s | 16 | 1099941 | 145052 | 25926 10 | 365 | 1444
199.66/199.71 c 199s | 16 | 1107534 | 146352 | 25926 10 | 365 | 1444
201.76/201.80 c 201s | 16 | 1116206 | 147752 | 25926 11 | 365 | 1444
203.77/203.89 c 203s | 16 | 1126928 | 149252 | 25926 11 | 365 | 1444
205.86/205.94 c 205s | 16 | 1135264 | 150852 | 25926 11 | 365 | 1444
207.96/208.01 c 207s | 16 | 1142754 | 152452 | 25926 11 | 365 | 1444
209.96/210.05 c 209s | 16 | 1152810 | 153852 | 25926 11 | 365 | 1444
212.05/212.12 c 211s | 16 | 1159928 | 155152 | 25926 11 | 365 | 1444
214.15/214.23 c 213s | 16 | 1169078 | 156652 | 25926 11 | 365 | 1444
216.35/216.48 c 215s | 16 | 1177753 | 157852 | 25926 11 | 365 | 1444
218.45/218.54 c 217s | 16 | 1189368 | 159252 | 25926 11 | 365 | 1444
220.45/220.57 c 219s | 16 | 1196730 | 160252 | 25926 11 | 365 | 1444
222.55/222.60 c 222s | 16 | 1205195 | 161252 | 25926 11 | 365 | 1444
224.66/224.72 c 224s | 16 | 1216507 | 162652 | 25926 12 | 365 | 1444
226.65/226.74 c 226s | 16 | 1230974 | 164152 | 25926 12 | 365 | 1444
228.75/228.88 c 228s | 16 | 1239171 | 165552 | 25926 12 | 365 | 1444
230.85/230.91 c 230s | 16 | 1250723 | 166752 | 25926 12 | 365 | 1444
232.85/232.94 c 232s | 16 | 1263107 | 168252 | 25926 12 | 365 | 1444
234.95/235.02 c 234s | 16 | 1273991 | 169652 | 25926 12 | 365 | 1444
237.05/237.14 c 236s | 16 | 1282241 | 171052 | 25926 12 | 365 | 1444
239.25/239.33 c 238s | 16 | 1290413 | 172052 | 25926 12 | 365 | 1444
241.25/241.38 c 240s | 16 | 1298201 | 173052 | 25926 12 | 365 | 1444
243.36/243.47 c 242s | 16 | 1306200 | 174252 | 25926 12 | 365 | 1444
245.65/245.73 c 245s | 16 | 1315893 | 175352 | 25926 12 | 365 | 1444
247.65/247.74 c 247s | 16 | 1322700 | 176352 | 25926 13 | 365 | 1444
249.75/249.82 c 249s | 16 | 1333445 | 177852 | 25926 13 | 365 | 1444
251.85/251.95 c 251s | 16 | 1347139 | 179452 | 25926 13 | 365 | 1444
253.95/254.04 c 253s | 16 | 1354817 | 180852 | 25926 13 | 365 | 1444
256.05/256.12 c 255s | 16 | 1365801 | 182352 | 25926 13 | 365 | 1444
258.04/258.16 c 257s | 16 | 1375454 | 183752 | 25926 13 | 365 | 1444
260.14/260.25 c 259s | 16 | 1383782 | 185152 | 25926 13 | 365 | 1444
262.14/262.29 c 261s | 16 | 1390186 | 186552 | 25926 13 | 365 | 1444
264.25/264.39 c 263s | 16 | 1399684 | 187752 | 25926 13 | 365 | 1444
266.45/266.57 c 265s | 16 | 1409506 | 188952 | 25926 13 | 365 | 1444
268.65/268.72 c 268s | 16 | 1418697 | 190152 | 25926 13 | 365 | 1444
270.64/270.74 c 270s | 16 | 1431605 | 191752 | 25926 14 | 365 | 1444
272.74/272.80 c 272s | 16 | 1444617 | 193452 | 25926 14 | 365 | 1444
274.84/274.94 c 274s | 16 | 1455665 | 195052 | 25926 14 | 365 | 1444
276.94/277.02 c 276s | 16 | 1467862 | 196552 | 28519 14 | 365 | 1444
278.14/278.25 c 277s | 17 | 1476225 | 197432 | 28519 14 | 365 | 1444
280.24/280.32 c 279s | 17 | 1486501 | 198832 | 28519 14 | 365 | 1444
282.24/282.39 c 281s | 17 | 1499116 | 200232 | 28519 14 | 365 | 1444
284.34/284.48 c 283s | 17 | 1511530 | 201732 | 28519 14 | 365 | 1444
286.44/286.51 c 285s | 17 | 1522764 | 203032 | 28519 14 | 365 | 1444
288.54/288.61 c 288s | 17 | 1534658 | 204532 | 28519 14 | 365 | 1444
290.65/290.71 c 290s | 17 | 1545331 | 205932 | 28519 14 | 365 | 1444
292.75/292.82 c 292s | 17 | 1555718 | 207232 | 28519 14 | 365 | 1444
294.74/294.88 c 294s | 17 | 1567535 | 208732 | 28519 15 | 365 | 1444
296.74/296.88 c 296s | 17 | 1579660 | 210332 | 28519 15 | 365 | 1444
298.84/298.94 c 298s | 17 | 1587435 | 211732 | 28519 15 | 365 | 1444
300.85/300.95 c 300s | 17 | 1594612 | 213032 | 28519 15 | 365 | 1444
302.95/303.00 c 302s | 17 | 1608259 | 214532 | 28519 15 | 365 | 1444
304.95/305.04 c 304s | 17 | 1615874 | 215432 | 28519 15 | 365 | 1444
307.05/307.11 c 306s | 17 | 1625699 | 216632 | 28519 15 | 365 | 1444
309.04/309.13 c 308s | 17 | 1636004 | 218032 | 28519 15 | 365 | 1444
311.14/311.24 c 310s | 17 | 1646901 | 219332 | 28519 15 | 365 | 1444
313.24/313.32 c 312s | 17 | 1656651 | 220632 | 28519 15 | 365 | 1444
315.34/315.47 c 314s | 17 | 1662736 | 221832 | 28519 15 | 365 | 1444
317.44/317.53 c 316s | 17 | 1670571 | 223032 | 28519 15 | 365 | 1444
319.44/319.56 c 318s | 17 | 1679599 | 224432 | 28519 16 | 365 | 1444
321.53/321.61 c 321s | 17 | 1689154 | 225832 | 28519 16 | 365 | 1444
323.54/323.69 c 323s | 17 | 1697499 | 227332 | 28519 16 | 365 | 1444
325.63/325.74 c 325s | 17 | 1709908 | 228932 | 28519 16 | 365 | 1444
327.63/327.77 c 327s | 17 | 1717844 | 230132 | 28519 16 | 365 | 1444
329.73/329.86 c 329s | 17 | 1729755 | 231632 | 28519 16 | 365 | 1444
331.83/331.92 c 331s | 17 | 1738773 | 233132 | 28519 16 | 365 | 1444
333.93/334.08 c 333s | 17 | 1750874 | 234632 | 28519 16 | 365 | 1444
336.03/336.16 c 335s | 17 | 1760818 | 236132 | 28519 16 | 365 | 1444
338.13/338.20 c 337s | 17 | 1770385 | 237532 | 28519 16 | 365 | 1444
340.14/340.29 c 339s | 17 | 1778696 | 239032 | 28519 16 | 365 | 1444
342.34/342.45 c 341s | 17 | 1788143 | 240332 | 28519 17 | 365 | 1444
344.33/344.46 c 343s | 17 | 1797546 | 241532 | 28519 17 | 365 | 1444
346.43/346.52 c 345s | 17 | 1806064 | 243032 | 28519 17 | 365 | 1444
348.43/348.53 c 347s | 17 | 1815645 | 244432 | 28519 17 | 365 | 1444
350.43/350.55 c 349s | 17 | 1824189 | 245732 | 28519 17 | 365 | 1444
352.54/352.67 c 352s | 17 | 1832913 | 247232 | 28519 17 | 365 | 1444
354.54/354.69 c 354s | 17 | 1840680 | 248732 | 28519 17 | 365 | 1444
356.65/356.76 c 356s | 17 | 1849571 | 249832 | 28519 17 | 365 | 1444
358.75/358.85 c 358s | 17 | 1857205 | 251132 | 28519 17 | 365 | 1444
360.84/360.90 c 360s | 17 | 1864607 | 252432 | 28519 17 | 365 | 1444
362.84/362.90 c 362s | 17 | 1871636 | 253532 | 28519 17 | 365 | 1444
364.84/364.92 c 364s | 17 | 1876725 | 254632 | 28519 17 | 365 | 1444
366.84/366.95 c 366s | 17 | 1884123 | 255832 | 28519 18 | 365 | 1444
368.94/369.03 c 368s | 17 | 1893023 | 257432 | 28519 18 | 365 | 1444
371.63/371.72 c 371s | 17 | 1895951 | 257932 | 28519 18 | 365 | 1444
373.63/373.79 c 373s | 17 | 1906107 | 259532 | 28519 18 | 365 | 1444
375.73/375.88 c 375s | 17 | 1920082 | 261232 | 28519 18 | 365 | 1444
377.93/378.01 c 377s | 17 | 1932336 | 263032 | 28519 18 | 365 | 1444
379.93/380.03 c 379s | 17 | 1942121 | 264432 | 28519 18 | 365 | 1444
382.03/382.16 c 381s | 17 | 1953372 | 266032 | 28519 18 | 365 | 1444
384.04/384.17 c 383s | 17 | 1965768 | 267632 | 28519 18 | 365 | 1444
386.13/386.25 c 385s | 17 | 1974453 | 269032 | 28519 18 | 365 | 1444
388.23/388.30 c 387s | 17 | 1982345 | 270432 | 28519 18 | 365 | 1444
390.23/390.35 c 389s | 17 | 1988576 | 271332 | 28519 19 | 365 | 1444
392.43/392.51 c 391s | 17 | 1998134 | 272732 | 28519 19 | 365 | 1444
394.53/394.63 c 394s | 17 | 2009196 | 274232 | 28519 19 | 365 | 1444
396.62/396.73 c 396s | 17 | 2016447 | 275532 | 28519 19 | 365 | 1444
398.72/398.89 c 398s | 17 | 2025373 | 276832 | 28519 19 | 365 | 1444
400.92/401.06 c 400s | 17 | 2034192 | 278132 | 28519 19 | 365 | 1444
403.02/403.10 c 402s | 17 | 2041733 | 279332 | 28519 19 | 365 | 1444
405.03/405.12 c 404s | 17 | 2047767 | 280532 | 28519 19 | 365 | 1444
407.23/407.31 c 406s | 17 | 2053188 | 281732 | 28519 19 | 365 | 1444
409.22/409.31 c 408s | 17 | 2059408 | 282832 | 28519 19 | 365 | 1444
411.22/411.38 c 410s | 17 | 2067339 | 283832 | 28519 19 | 365 | 1444
413.32/413.41 c 412s | 17 | 2075562 | 285232 | 28519 19 | 365 | 1444
415.32/415.50 c 414s | 17 | 2082929 | 286532 | 28519 19 | 365 | 1444
417.42/417.57 c 416s | 17 | 2091006 | 287632 | 28519 20 | 365 | 1444
419.52/419.60 c 419s | 17 | 2100330 | 288932 | 28519 20 | 365 | 1444
421.62/421.71 c 421s | 17 | 2110478 | 290432 | 28519 20 | 365 | 1444
423.73/423.83 c 423s | 17 | 2121482 | 292132 | 28519 20 | 365 | 1444
425.83/425.91 c 425s | 17 | 2129557 | 293432 | 28519 20 | 365 | 1444
427.82/427.91 c 427s | 17 | 2136420 | 294632 | 31371 20 | 365 | 1444
429.92/430.00 c 429s | 17 | 2145043 | 296032 | 31371 20 | 365 | 1444
430.12/430.30 c 429s | 18 | 2145864 | 296252 | 31371 20 | 365 | 1444
432.22/432.35 c 431s | 18 | 2154059 | 297452 | 31371 20 | 365 | 1444
434.32/434.41 c 433s | 18 | 2161309 | 298652 | 31371 20 | 365 | 1444
436.32/436.42 c 435s | 18 | 2169736 | 300052 | 31371 20 | 365 | 1444
438.32/438.46 c 437s | 18 | 2179326 | 301552 | 31371 20 | 365 | 1444
440.42/440.56 c 439s | 18 | 2190444 | 302952 | 31371 20 | 365 | 1444
442.62/442.74 c 442s | 18 | 2197314 | 304152 | 31371 20 | 365 | 1444
444.72/444.86 c 444s | 18 | 2206280 | 305452 | 31371 20 | 365 | 1444
446.72/446.87 c 446s | 18 | 2215494 | 306752 | 31371 21 | 365 | 1444
448.92/449.04 c 448s | 18 | 2225804 | 308352 | 31371 21 | 365 | 1444
451.02/451.11 c 450s | 18 | 2234706 | 309752 | 31371 21 | 365 | 1444
453.02/453.15 c 452s | 18 | 2244391 | 311052 | 31371 21 | 365 | 1444
455.11/455.21 c 454s | 18 | 2254484 | 312552 | 31371 21 | 365 | 1444
457.21/457.33 c 456s | 18 | 2264187 | 314052 | 31371 21 | 365 | 1444
459.31/459.46 c 458s | 18 | 2272942 | 315352 | 31371 21 | 365 | 1444
461.51/461.60 c 461s | 18 | 2282444 | 316752 | 31371 21 | 365 | 1444
463.61/463.70 c 463s | 18 | 2289761 | 317952 | 31371 21 | 365 | 1444
465.61/465.75 c 465s | 18 | 2297385 | 319152 | 31371 21 | 365 | 1444
467.72/467.85 c 467s | 18 | 2304510 | 320252 | 31371 21 | 365 | 1444
469.82/469.94 c 469s | 18 | 2310730 | 321252 | 31371 21 | 365 | 1444
471.81/471.96 c 471s | 18 | 2317580 | 322352 | 31371 21 | 365 | 1444
474.01/474.12 c 473s | 18 | 2324760 | 323052 | 31371 22 | 365 | 1444
476.01/476.18 c 475s | 18 | 2338599 | 324752 | 31371 22 | 365 | 1444
478.11/478.28 c 477s | 18 | 2355959 | 326352 | 31371 22 | 365 | 1444
480.31/480.42 c 479s | 18 | 2370391 | 328152 | 31371 22 | 365 | 1444
482.31/482.44 c 481s | 18 | 2385579 | 329752 | 31371 22 | 365 | 1444
484.41/484.50 c 483s | 18 | 2398603 | 331352 | 31371 22 | 365 | 1444
486.42/486.56 c 485s | 18 | 2409170 | 332752 | 31371 22 | 365 | 1444
488.52/488.65 c 488s | 18 | 2421506 | 334152 | 31371 22 | 365 | 1444
490.51/490.68 c 490s | 18 | 2432097 | 335652 | 31371 22 | 365 | 1444
492.51/492.69 c 492s | 18 | 2441872 | 337052 | 31371 22 | 365 | 1444
497.52/497.66 c 497s | 18 | 2443316 | 337252 | 31371 22 | 365 | 1444
499.52/499.68 c 499s | 18 | 2454209 | 338552 | 31371 22 | 365 | 1444
501.61/501.71 c 501s | 18 | 2464956 | 339852 | 31371 22 | 365 | 1444
503.71/503.80 c 503s | 18 | 2476009 | 341352 | 31371 23 | 365 | 1444
505.81/505.95 c 505s | 18 | 2487641 | 342752 | 31371 23 | 365 | 1444
507.81/507.97 c 507s | 18 | 2499590 | 344252 | 31371 23 | 365 | 1444
509.91/510.06 c 509s | 18 | 2511878 | 345852 | 31371 23 | 365 | 1444
511.91/512.09 c 511s | 18 | 2521465 | 347352 | 31371 23 | 365 | 1444
514.01/514.18 c 513s | 18 | 2535652 | 349152 | 31371 23 | 365 | 1444
516.02/516.19 c 515s | 18 | 2546954 | 350652 | 31371 23 | 365 | 1444
518.11/518.23 c 517s | 18 | 2555661 | 352252 | 31371 23 | 365 | 1444
520.21/520.36 c 519s | 18 | 2567209 | 353752 | 31371 23 | 365 | 1444
522.31/522.47 c 521s | 18 | 2578612 | 355252 | 31371 23 | 365 | 1444
524.41/524.58 c 523s | 18 | 2587302 | 356752 | 31371 23 | 365 | 1444
526.51/526.64 c 526s | 18 | 2598202 | 358052 | 31371 24 | 365 | 1444
528.51/528.67 c 528s | 18 | 2608076 | 359452 | 31371 24 | 365 | 1444
530.61/530.70 c 530s | 18 | 2615693 | 360852 | 31371 24 | 365 | 1444
532.62/532.77 c 532s | 18 | 2627050 | 362352 | 31371 24 | 365 | 1444
534.72/534.84 c 534s | 18 | 2638734 | 363552 | 31371 24 | 365 | 1444
536.81/536.93 c 536s | 18 | 2648172 | 364952 | 31371 24 | 365 | 1444
538.91/539.04 c 538s | 18 | 2657813 | 366252 | 31371 24 | 365 | 1444
540.91/541.09 c 540s | 18 | 2669386 | 367652 | 31371 24 | 365 | 1444
543.01/543.14 c 542s | 18 | 2681051 | 368952 | 31371 24 | 365 | 1444
545.21/545.33 c 544s | 18 | 2691936 | 370252 | 31371 24 | 365 | 1444
547.30/547.41 c 546s | 18 | 2701215 | 371452 | 31371 24 | 365 | 1444
549.30/549.46 c 548s | 18 | 2711087 | 372852 | 31371 24 | 365 | 1444
551.50/551.67 c 551s | 18 | 2719577 | 374152 | 31371 24 | 365 | 1444
553.60/553.76 c 553s | 18 | 2729213 | 375452 | 31371 25 | 365 | 1444
555.71/555.86 c 555s | 18 | 2739440 | 376952 | 31371 25 | 365 | 1444
557.70/557.87 c 557s | 18 | 2746530 | 378152 | 31371 25 | 365 | 1444
559.70/559.89 c 559s | 18 | 2753585 | 379252 | 31371 25 | 365 | 1444
561.80/561.97 c 561s | 18 | 2761799 | 380652 | 31371 25 | 365 | 1444
563.90/564.04 c 563s | 18 | 2772529 | 382152 | 31371 25 | 365 | 1444
566.00/566.19 c 565s | 18 | 2782108 | 383252 | 31371 25 | 365 | 1444
568.10/568.22 c 567s | 18 | 2793569 | 384552 | 31371 25 | 365 | 1444
570.10/570.24 c 569s | 18 | 2803138 | 385952 | 31371 25 | 365 | 1444
572.21/572.32 c 571s | 18 | 2809195 | 387152 | 31371 25 | 365 | 1444
574.31/574.42 c 573s | 18 | 2818007 | 388452 | 31371 25 | 365 | 1444
576.40/576.50 c 575s | 18 | 2825960 | 389752 | 31371 25 | 365 | 1444
578.40/578.52 c 577s | 18 | 2834694 | 390852 | 31371 25 | 365 | 1444
580.50/580.66 c 580s | 18 | 2841915 | 392052 | 31371 26 | 365 | 1444
582.60/582.76 c 582s | 18 | 2853835 | 393552 | 31371 26 | 365 | 1444
584.70/584.84 c 584s | 18 | 2864152 | 395052 | 31371 26 | 365 | 1444
586.79/586.91 c 586s | 18 | 2872830 | 396452 | 31371 26 | 365 | 1444
588.79/588.97 c 588s | 18 | 2880883 | 397652 | 31371 26 | 365 | 1444
590.80/591.00 c 590s | 18 | 2890682 | 398952 | 31371 26 | 365 | 1444
592.89/593.05 c 592s | 18 | 2898362 | 400352 | 31371 26 | 365 | 1444
594.99/595.14 c 594s | 18 | 2906695 | 401652 | 31371 26 | 365 | 1444
597.09/597.23 c 596s | 18 | 2916621 | 403052 | 31371 26 | 365 | 1444
599.09/599.24 c 598s | 18 | 2928260 | 404452 | 31371 26 | 365 | 1444
601.19/601.38 c 600s | 18 | 2937523 | 405852 | 31371 26 | 365 | 1444
603.29/603.44 c 602s | 18 | 2944899 | 407152 | 31371 26 | 365 | 1444
605.39/605.54 c 604s | 18 | 2953250 | 408352 | 31371 26 | 365 | 1444
607.49/607.67 c 607s | 18 | 2961752 | 409752 | 31371 27 | 365 | 1444
609.70/609.83 c 609s | 18 | 2969916 | 410952 | 31371 27 | 365 | 1444
611.81/611.97 c 611s | 18 | 2981436 | 412352 | 31371 27 | 365 | 1444
613.91/614.10 c 613s | 18 | 2990599 | 413752 | 31371 27 | 365 | 1444
616.00/616.15 c 615s | 18 | 2999471 | 415152 | 31371 27 | 365 | 1444
618.10/618.28 c 617s | 18 | 3007870 | 416452 | 31371 27 | 365 | 1444
620.20/620.32 c 619s | 18 | 3013279 | 417552 | 31371 27 | 365 | 1444
622.20/622.37 c 621s | 18 | 3019601 | 418752 | 31371 27 | 365 | 1444
624.30/624.42 c 623s | 18 | 3025511 | 419952 | 31371 27 | 365 | 1444
626.30/626.43 c 625s | 18 | 3031917 | 421052 | 31371 27 | 365 | 1444
628.39/628.51 c 627s | 18 | 3039513 | 422252 | 31371 27 | 365 | 1444
630.40/630.57 c 629s | 18 | 3047663 | 423552 | 31371 27 | 365 | 1444
632.49/632.64 c 632s | 18 | 3056808 | 424752 | 31371 27 | 365 | 1444
634.49/634.67 c 634s | 18 | 3063889 | 425852 | 31371 27 | 365 | 1444
636.59/636.70 c 636s | 18 | 3070498 | 426852 | 31371 28 | 365 | 1444
638.69/638.82 c 638s | 18 | 3081513 | 428152 | 31371 28 | 365 | 1444
640.79/640.91 c 640s | 18 | 3090709 | 429652 | 31371 28 | 365 | 1444
642.79/642.94 c 642s | 18 | 3098694 | 431052 | 31371 28 | 365 | 1444
644.80/644.99 c 644s | 18 | 3107049 | 432352 | 31371 28 | 365 | 1444
646.79/647.00 c 646s | 18 | 3113503 | 433452 | 31371 28 | 365 | 1444
648.89/649.05 c 648s | 18 | 3122455 | 434652 | 31371 28 | 365 | 1444
650.89/651.09 c 650s | 18 | 3131722 | 435852 | 31371 28 | 365 | 1444
652.99/653.15 c 652s | 18 | 3139428 | 436952 | 31371 28 | 365 | 1444
655.19/655.34 c 654s | 18 | 3145902 | 438052 | 31371 28 | 365 | 1444
657.39/657.57 c 656s | 18 | 3151751 | 439152 | 31371 28 | 365 | 1444
659.48/659.67 c 659s | 18 | 3159558 | 440352 | 31371 28 | 365 | 1444
661.58/661.72 c 661s | 18 | 3167284 | 441452 | 34509 28 | 365 | 1444
663.68/663.83 c 663s | 18 | 3175507 | 442752 | 34509 28 | 365 | 1444
665.69/665.87 c 665s | 18 | 3182592 | 444052 | 34509 28 | 365 | 1444
666.38/666.56 c 665s | 19 | 3186272 | 444482 | 34509 28 | 365 | 1444
668.48/668.67 c 668s | 19 | 3194468 | 445482 | 34509 29 | 365 | 1444
674.39/674.56 c 673s | 19 | 3203239 | 446882 | 34509 29 | 365 | 1444
677.29/677.46 c 676s | 19 | 3203619 | 446982 | 34509 29 | 365 | 1444
679.39/679.50 c 678s | 19 | 3211090 | 448482 | 34509 29 | 365 | 1444
681.39/681.54 c 680s | 19 | 3219448 | 449982 | 34509 29 | 365 | 1444
683.39/683.58 c 682s | 19 | 3227076 | 451582 | 34509 29 | 365 | 1444
685.50/685.65 c 685s | 19 | 3236911 | 452982 | 34509 29 | 365 | 1444
687.59/687.77 c 687s | 19 | 3247587 | 454482 | 34509 29 | 365 | 1444
689.68/689.81 c 689s | 19 | 3259654 | 455882 | 34509 29 | 365 | 1444
692.18/692.36 c 691s | 19 | 3267043 | 457082 | 34509 29 | 365 | 1444
694.19/694.36 c 693s | 19 | 3276962 | 458482 | 34509 29 | 365 | 1444
696.28/696.42 c 695s | 19 | 3287977 | 459982 | 34509 29 | 365 | 1444
698.38/698.52 c 697s | 19 | 3297881 | 461182 | 34509 29 | 365 | 1444
700.48/700.61 c 700s | 19 | 3307068 | 462382 | 34509 29 | 365 | 1444
702.48/702.63 c 702s | 19 | 3316178 | 463782 | 34509 29 | 365 | 1444
704.58/704.73 c 704s | 19 | 3322458 | 465182 | 34509 30 | 365 | 1444
706.68/706.81 c 706s | 19 | 3334146 | 466882 | 34509 30 | 365 | 1444
708.78/708.91 c 708s | 19 | 3344338 | 468482 | 34509 30 | 365 | 1444
710.79/710.99 c 710s | 19 | 3352195 | 469882 | 34509 30 | 365 | 1444
712.89/713.05 c 712s | 19 | 3364722 | 471482 | 34509 30 | 365 | 1444
714.98/715.19 c 714s | 19 | 3375083 | 473082 | 34509 30 | 365 | 1444
717.18/717.35 c 716s | 19 | 3383669 | 474382 | 34509 30 | 365 | 1444
719.38/719.50 c 718s | 19 | 3391736 | 475782 | 34509 30 | 365 | 1444
721.38/721.54 c 720s | 19 | 3399595 | 476982 | 34509 30 | 365 | 1444
723.38/723.56 c 722s | 19 | 3405541 | 477982 | 34509 30 | 365 | 1444
725.38/725.57 c 724s | 19 | 3412782 | 478982 | 34509 30 | 365 | 1444
727.48/727.62 c 727s | 19 | 3420930 | 480382 | 34509 30 | 365 | 1444
729.58/729.71 c 729s | 19 | 3427633 | 481682 | 34509 30 | 365 | 1444
731.58/731.74 c 731s | 19 | 3434468 | 482682 | 34509 30 | 365 | 1444
733.68/733.80 c 733s | 19 | 3444003 | 484182 | 34509 31 | 365 | 1444
735.77/735.92 c 735s | 19 | 3454756 | 485682 | 34509 31 | 365 | 1444
737.87/738.02 c 737s | 19 | 3462276 | 487082 | 34509 31 | 365 | 1444
739.97/740.17 c 739s | 19 | 3470042 | 488482 | 34509 31 | 365 | 1444
742.07/742.24 c 741s | 19 | 3479518 | 489882 | 34509 31 | 365 | 1444
744.17/744.31 c 743s | 19 | 3488062 | 491182 | 34509 31 | 365 | 1444
746.17/746.37 c 745s | 19 | 3497677 | 492582 | 34509 31 | 365 | 1444
748.27/748.45 c 747s | 19 | 3505770 | 493882 | 34509 31 | 365 | 1444
750.28/750.45 c 749s | 19 | 3513612 | 495082 | 34509 31 | 365 | 1444
752.37/752.54 c 751s | 19 | 3520985 | 496582 | 34509 31 | 365 | 1444
754.37/754.56 c 753s | 19 | 3527627 | 497882 | 34509 31 | 365 | 1444
757.26/757.42 c 756s | 19 | 3529526 | 498182 | 34509 31 | 365 | 1444
759.27/759.48 c 758s | 19 | 3536457 | 499582 | 34509 31 | 365 | 1444
761.38/761.51 c 760s | 19 | 3544975 | 500882 | 34509 31 | 365 | 1444
763.37/763.55 c 762s | 19 | 3552893 | 501882 | 34509 32 | 365 | 1444
765.47/765.61 c 765s | 19 | 3562402 | 503282 | 34509 32 | 365 | 1444
767.47/767.63 c 767s | 19 | 3572004 | 504882 | 34509 32 | 365 | 1444
769.97/770.16 c 769s | 19 | 3582283 | 506182 | 34509 32 | 365 | 1444
772.07/772.26 c 771s | 19 | 3588100 | 507182 | 34509 32 | 365 | 1444
774.06/774.29 c 773s | 19 | 3596358 | 508382 | 34509 32 | 365 | 1444
776.16/776.33 c 775s | 19 | 3604209 | 509582 | 34509 32 | 365 | 1444
778.16/778.38 c 777s | 19 | 3611986 | 510782 | 34509 32 | 365 | 1444
780.36/780.50 c 779s | 19 | 3618900 | 511782 | 34509 32 | 365 | 1444
782.46/782.61 c 782s | 19 | 3626747 | 513082 | 34509 32 | 365 | 1444
784.56/784.74 c 784s | 19 | 3636320 | 514482 | 34509 32 | 365 | 1444
786.67/786.83 c 786s | 19 | 3642584 | 515582 | 34509 32 | 365 | 1444
788.87/789.03 c 788s | 19 | 3650370 | 516582 | 34509 32 | 365 | 1444
790.86/791.03 c 790s | 19 | 3656949 | 517582 | 34509 32 | 365 | 1444
792.86/793.05 c 792s | 19 | 3664589 | 518682 | 34509 32 | 365 | 1444
794.96/795.13 c 794s | 19 | 3670209 | 519782 | 34509 32 | 365 | 1444
796.96/797.13 c 796s | 19 | 3676081 | 520982 | 34509 33 | 365 | 1444
799.26/799.41 c 798s | 19 | 3685042 | 522282 | 34509 33 | 365 | 1444
801.26/801.44 c 800s | 19 | 3691348 | 523482 | 34509 33 | 365 | 1444
803.26/803.48 c 802s | 19 | 3700992 | 524782 | 34509 33 | 365 | 1444
805.36/805.57 c 804s | 19 | 3707479 | 525982 | 34509 33 | 365 | 1444
807.46/807.62 c 807s | 19 | 3713207 | 527182 | 34509 33 | 365 | 1444
809.55/809.71 c 809s | 19 | 3721729 | 528382 | 34509 33 | 365 | 1444
811.55/811.75 c 811s | 19 | 3729583 | 529582 | 34509 33 | 365 | 1444
813.65/813.88 c 813s | 19 | 3736301 | 530682 | 34509 33 | 365 | 1444
815.85/816.06 c 815s | 19 | 3743935 | 531982 | 34509 33 | 365 | 1444
818.04/818.22 c 817s | 19 | 3752607 | 533282 | 34509 33 | 365 | 1444
820.14/820.30 c 819s | 19 | 3760920 | 534382 | 34509 33 | 365 | 1444
822.24/822.42 c 821s | 19 | 3767296 | 535582 | 34509 33 | 365 | 1444
824.24/824.48 c 823s | 19 | 3773906 | 536682 | 34509 33 | 365 | 1444
826.44/826.63 c 826s | 19 | 3781629 | 537782 | 34509 33 | 365 | 1444
828.54/828.77 c 828s | 19 | 3788283 | 538782 | 34509 33 | 365 | 1444
830.65/830.82 c 830s | 19 | 3797038 | 539982 | 34509 34 | 365 | 1444
832.85/833.06 c 832s | 19 | 3806090 | 541282 | 34509 34 | 365 | 1444
834.95/835.15 c 834s | 19 | 3816533 | 542682 | 34509 34 | 365 | 1444
837.04/837.24 c 836s | 19 | 3826570 | 544082 | 34509 34 | 365 | 1444
839.04/839.27 c 838s | 19 | 3832450 | 545382 | 34509 34 | 365 | 1444
841.24/841.44 c 840s | 19 | 3840871 | 546582 | 34509 34 | 365 | 1444
843.24/843.46 c 842s | 19 | 3847587 | 547682 | 34509 34 | 365 | 1444
845.24/845.46 c 844s | 19 | 3852907 | 548782 | 34509 34 | 365 | 1444
847.34/847.53 c 846s | 19 | 3860619 | 550082 | 34509 34 | 365 | 1444
849.44/849.63 c 849s | 19 | 3868446 | 551382 | 34509 34 | 365 | 1444
851.45/851.66 c 851s | 19 | 3875445 | 552582 | 34509 34 | 365 | 1444
853.54/853.81 c 853s | 19 | 3880996 | 553682 | 34509 34 | 365 | 1444
855.64/855.81 c 855s | 19 | 3888496 | 554782 | 34509 34 | 365 | 1444
857.64/857.84 c 857s | 19 | 3894940 | 555882 | 34509 34 | 365 | 1444
859.74/859.93 c 859s | 19 | 3900394 | 556982 | 34509 34 | 365 | 1444
861.84/862.02 c 861s | 19 | 3906309 | 558082 | 34509 34 | 365 | 1444
863.83/864.05 c 863s | 19 | 3912180 | 559182 | 34509 35 | 365 | 1444
865.84/866.05 c 865s | 19 | 3920119 | 560282 | 34509 35 | 365 | 1444
867.94/868.12 c 867s | 19 | 3929039 | 561682 | 34509 35 | 365 | 1444
870.03/870.24 c 869s | 19 | 3939265 | 563082 | 34509 35 | 365 | 1444
872.13/872.38 c 871s | 19 | 3948349 | 564482 | 34509 35 | 365 | 1444
874.23/874.49 c 873s | 19 | 3955326 | 565682 | 34509 35 | 365 | 1444
876.43/876.69 c 876s | 19 | 3964507 | 566882 | 34509 35 | 365 | 1444
878.63/878.84 c 878s | 19 | 3971903 | 567982 | 34509 35 | 365 | 1444
880.63/880.86 c 880s | 19 | 3980700 | 569382 | 34509 35 | 365 | 1444
882.73/882.94 c 882s | 19 | 3990650 | 570882 | 34509 35 | 365 | 1444
884.73/885.00 c 884s | 19 | 3996676 | 572182 | 34509 35 | 365 | 1444
886.83/887.03 c 886s | 19 | 4003847 | 573482 | 34509 35 | 365 | 1444
888.94/889.14 c 888s | 19 | 4013237 | 574882 | 34509 35 | 365 | 1444
891.03/891.21 c 890s | 19 | 4019582 | 576082 | 34509 35 | 365 | 1444
893.13/893.32 c 892s | 19 | 4028430 | 577282 | 34509 36 | 365 | 1444
895.12/895.39 c 894s | 19 | 4035437 | 578482 | 34509 36 | 365 | 1444
897.22/897.45 c 896s | 19 | 4044720 | 579782 | 34509 36 | 365 | 1444
899.32/899.57 c 898s | 19 | 4052832 | 581082 | 34509 36 | 365 | 1444
901.52/901.70 c 901s | 19 | 4062733 | 582482 | 34509 36 | 365 | 1444
903.51/903.79 c 903s | 19 | 4070602 | 583782 | 34509 36 | 365 | 1444
905.61/905.82 c 905s | 19 | 4077036 | 584982 | 34509 36 | 365 | 1444
907.63/907.88 c 907s | 19 | 4083098 | 586382 | 34509 36 | 365 | 1444
909.72/909.91 c 909s | 19 | 4090407 | 587882 | 34509 36 | 365 | 1444
911.81/912.03 c 911s | 19 | 4097734 | 589082 | 34509 36 | 365 | 1444
913.91/914.20 c 913s | 19 | 4103519 | 590082 | 34509 36 | 365 | 1444
916.01/916.25 c 915s | 19 | 4111348 | 591282 | 34509 36 | 365 | 1444
918.01/918.28 c 917s | 19 | 4119736 | 592782 | 34509 36 | 365 | 1444
920.21/920.44 c 919s | 19 | 4127389 | 594182 | 34509 36 | 365 | 1444
922.31/922.59 c 922s | 19 | 4135843 | 595582 | 34509 36 | 365 | 1444
924.51/924.71 c 924s | 19 | 4143238 | 596982 | 34509 37 | 365 | 1444
926.61/926.83 c 926s | 19 | 4151888 | 598482 | 34509 37 | 365 | 1444
928.71/928.90 c 928s | 19 | 4160784 | 599782 | 34509 37 | 365 | 1444
930.81/931.02 c 930s | 19 | 4167416 | 601082 | 34509 37 | 365 | 1444
932.81/933.03 c 932s | 19 | 4174950 | 602282 | 34509 37 | 365 | 1444
934.90/935.16 c 934s | 19 | 4182034 | 603482 | 34509 37 | 365 | 1444
936.90/937.18 c 936s | 19 | 4189870 | 604682 | 34509 37 | 365 | 1444
939.00/939.24 c 938s | 19 | 4196511 | 605982 | 34509 37 | 365 | 1444
941.11/941.35 c 940s | 19 | 4204554 | 607382 | 34509 37 | 365 | 1444
943.10/943.37 c 942s | 19 | 4211396 | 608482 | 34509 37 | 365 | 1444
945.20/945.40 c 944s | 19 | 4219295 | 609682 | 34509 37 | 365 | 1444
947.30/947.56 c 946s | 19 | 4223956 | 610782 | 34509 37 | 365 | 1444
949.50/949.71 c 949s | 19 | 4230206 | 611782 | 34509 37 | 365 | 1444
951.51/951.72 c 951s | 19 | 4236240 | 612682 | 34509 37 | 365 | 1444
953.50/953.74 c 953s | 19 | 4244050 | 613882 | 34509 37 | 365 | 1444
955.69/955.93 c 955s | 19 | 4251406 | 615082 | 34509 38 | 365 | 1444
957.69/957.99 c 957s | 19 | 4258774 | 616282 | 34509 38 | 365 | 1444
959.79/960.01 c 959s | 19 | 4267444 | 617682 | 34509 38 | 365 | 1444
961.89/962.10 c 961s | 19 | 4274790 | 619082 | 34509 38 | 365 | 1444
963.99/964.25 c 963s | 19 | 4283933 | 620582 | 34509 38 | 365 | 1444
966.09/966.30 c 965s | 19 | 4292560 | 621882 | 34509 38 | 365 | 1444
968.19/968.41 c 967s | 19 | 4302036 | 623182 | 34509 38 | 365 | 1444
970.20/970.50 c 969s | 19 | 4311449 | 624582 | 34509 38 | 365 | 1444
972.29/972.54 c 971s | 19 | 4319102 | 625982 | 34509 38 | 365 | 1444
974.38/974.60 c 974s | 19 | 4325896 | 627282 | 34509 38 | 365 | 1444
976.48/976.71 c 976s | 19 | 4332686 | 628482 | 34509 38 | 365 | 1444
978.48/978.74 c 978s | 19 | 4340408 | 629782 | 34509 38 | 365 | 1444
980.48/980.74 c 980s | 19 | 4347990 | 630982 | 34509 38 | 365 | 1444
982.78/983.06 c 982s | 19 | 4351968 | 631882 | 34509 38 | 365 | 1444
985.58/985.88 c 985s | 19 | 4355377 | 632582 | 34509 38 | 365 | 1444
987.67/987.93 c 987s | 19 | 4362463 | 633782 | 34509 39 | 365 | 1444
989.77/990.01 c 989s | 19 | 4368861 | 634882 | 34509 39 | 365 | 1444
991.87/992.17 c 991s | 19 | 4375577 | 636282 | 34509 39 | 365 | 1444
994.06/994.30 c 993s | 19 | 4382204 | 637582 | 34509 39 | 365 | 1444
996.06/996.37 c 995s | 19 | 4388901 | 639082 | 34509 39 | 365 | 1444
998.26/998.57 c 997s | 19 | 4394775 | 640282 | 34509 39 | 365 | 1444
1000.36/1000.60 c 1000s | 19 | 4399979 | 641282 | 34509 39 | 365 | 1444
1002.46/1002.77 c 1002s | 19 | 4405064 | 642482 | 34509 39 | 365 | 1444
1004.66/1004.93 c 1004s | 19 | 4410425 | 643682 | 34509 39 | 365 | 1444
1006.76/1007.07 c 1006s | 19 | 4416091 | 645082 | 34509 39 | 365 | 1444
1008.86/1009.10 c 1008s | 19 | 4421226 | 646282 | 34509 39 | 365 | 1444
1010.97/1011.25 c 1010s | 19 | 4428589 | 647482 | 34509 39 | 365 | 1444
1012.96/1013.28 c 1012s | 19 | 4434487 | 648382 | 34509 39 | 365 | 1444
1015.15/1015.46 c 1014s | 19 | 4442434 | 649682 | 34509 39 | 365 | 1444
1017.25/1017.56 c 1016s | 19 | 4450874 | 651082 | 34509 39 | 365 | 1444
1019.35/1019.62 c 1019s | 19 | 4459812 | 652082 | 34509 39 | 365 | 1444
1021.45/1021.71 c 1021s | 19 | 4466757 | 653282 | 34509 40 | 365 | 1444
1023.55/1023.85 c 1023s | 19 | 4477843 | 654982 | 34509 40 | 365 | 1444
1025.55/1025.86 c 1025s | 19 | 4485312 | 656282 | 34509 40 | 365 | 1444
1027.54/1027.86 c 1027s | 19 | 4494599 | 657682 | 34509 40 | 365 | 1444
1029.66/1029.94 c 1029s | 19 | 4503961 | 659182 | 34509 40 | 365 | 1444
1031.64/1032.00 c 1031s | 19 | 4512566 | 660682 | 34509 40 | 365 | 1444
1033.74/1034.02 c 1033s | 19 | 4521894 | 661982 | 34509 40 | 365 | 1444
1035.74/1036.04 c 1035s | 19 | 4529660 | 663182 | 37960 40 | 365 | 1444
1037.74/1038.07 c 1037s | 19 | 4538388 | 664482 | 37960 40 | 365 | 1444
1039.84/1040.13 c 1039s | 19 | 4548375 | 665882 | 37960 40 | 365 | 1444
1041.24/1041.57 c 1040s | 20 | 4553931 | 666827 | 37960 40 | 365 | 1444
1043.34/1043.63 c 1043s | 20 | 4559954 | 668027 | 37960 40 | 365 | 1444
1045.44/1045.76 c 1045s | 20 | 4566577 | 669127 | 37960 40 | 365 | 1444
1047.53/1047.87 c 1047s | 20 | 4572742 | 670427 | 37960 40 | 365 | 1444
1049.53/1049.87 c 1049s | 20 | 4579596 | 671527 | 37960 40 | 365 | 1444
1051.64/1051.93 c 1051s | 20 | 4584911 | 672827 | 37960 40 | 365 | 1444
1053.63/1053.99 c 1053s | 20 | 4591575 | 673927 | 37960 40 | 365 | 1444
1055.73/1056.05 c 1055s | 20 | 4598749 | 675027 | 37960 41 | 365 | 1444
1057.83/1058.19 c 1057s | 20 | 4605930 | 676327 | 37960 41 | 365 | 1444
1060.03/1060.36 c 1059s | 20 | 4612057 | 677627 | 37960 41 | 365 | 1444
1064.53/1064.83 c 1064s | 20 | 4616057 | 678427 | 37960 41 | 365 | 1444
1066.63/1066.90 c 1066s | 20 | 4622838 | 679427 | 37960 41 | 365 | 1444
1068.83/1069.12 c 1068s | 20 | 4632252 | 680527 | 37960 41 | 365 | 1444
1071.03/1071.32 c 1070s | 20 | 4640173 | 681527 | 37960 41 | 365 | 1444
1073.03/1073.35 c 1072s | 20 | 4644825 | 682327 | 37960 41 | 365 | 1444
1075.12/1075.46 c 1074s | 20 | 4652808 | 683227 | 37960 41 | 365 | 1444
1077.22/1077.54 c 1076s | 20 | 4658732 | 684127 | 37960 41 | 365 | 1444
1079.32/1079.62 c 1079s | 20 | 4664092 | 685127 | 37960 41 | 365 | 1444
1081.42/1081.75 c 1081s | 20 | 4673941 | 686227 | 37960 41 | 365 | 1444
1083.62/1083.96 c 1083s | 20 | 4684013 | 687327 | 37960 41 | 365 | 1444
1085.73/1086.03 c 1085s | 20 | 4692729 | 688327 | 37960 41 | 365 | 1444
1087.93/1088.23 c 1087s | 20 | 4702738 | 689427 | 37960 41 | 365 | 1444
1090.13/1090.42 c 1089s | 20 | 4711562 | 690427 | 37960 41 | 365 | 1444
1092.12/1092.42 c 1091s | 20 | 4717345 | 691227 | 37960 41 | 365 | 1444
1094.11/1094.46 c 1093s | 20 | 4722548 | 692027 | 37960 41 | 365 | 1444
1096.31/1096.68 c 1096s | 20 | 4729084 | 693027 | 37960 41 | 365 | 1444
1098.51/1098.83 c 1098s | 20 | 4736121 | 693827 | 37960 41 | 365 | 1444
1100.71/1101.04 c 1100s | 20 | 4743955 | 694727 | 37960 41 | 365 | 1444
1102.81/1103.14 c 1102s | 20 | 4751244 | 695727 | 37960 42 | 365 | 1444
1104.81/1105.14 c 1104s | 20 | 4761563 | 697127 | 37960 42 | 365 | 1444
1106.91/1107.26 c 1106s | 20 | 4773068 | 698527 | 37960 42 | 365 | 1444
1109.01/1109.39 c 1108s | 20 | 4784591 | 699927 | 37960 42 | 365 | 1444
1111.11/1111.40 c 1110s | 20 | 4793615 | 701127 | 37960 42 | 365 | 1444
1113.11/1113.45 c 1112s | 20 | 4800957 | 702327 | 37960 42 | 365 | 1444
1115.21/1115.56 c 1114s | 20 | 4805467 | 703527 | 37960 42 | 365 | 1444
1117.41/1117.74 c 1117s | 20 | 4811594 | 704827 | 37960 42 | 365 | 1444
1119.50/1119.88 c 1119s | 20 | 4820731 | 705927 | 37960 42 | 365 | 1444
1121.60/1121.98 c 1121s | 20 | 4829342 | 707027 | 37960 42 | 365 | 1444
1123.70/1124.06 c 1123s | 20 | 4835019 | 707927 | 37960 42 | 365 | 1444
1125.70/1126.06 c 1125s | 20 | 4839382 | 708727 | 37960 42 | 365 | 1444
1127.80/1128.13 c 1127s | 20 | 4847267 | 709727 | 37960 42 | 365 | 1444
1130.00/1130.30 c 1129s | 20 | 4855030 | 710827 | 37960 42 | 365 | 1444
1132.30/1132.61 c 1132s | 20 | 4862423 | 711727 | 37960 42 | 365 | 1444
1134.39/1134.79 c 1134s | 20 | 4867767 | 712627 | 37960 42 | 365 | 1444
1136.49/1136.88 c 1136s | 20 | 4874115 | 713727 | 37960 42 | 365 | 1444
1138.79/1139.10 c 1138s | 20 | 4881370 | 714927 | 37960 42 | 365 | 1444
1141.09/1141.47 c 1140s | 20 | 4886210 | 715727 | 37960 43 | 365 | 1444
1143.19/1143.57 c 1142s | 20 | 4890741 | 716727 | 37960 43 | 365 | 1444
1145.29/1145.68 c 1145s | 20 | 4897300 | 718027 | 37960 43 | 365 | 1444
1147.39/1147.71 c 1147s | 20 | 4905838 | 719227 | 37960 43 | 365 | 1444
1149.50/1149.83 c 1149s | 20 | 4913454 | 720527 | 37960 43 | 365 | 1444
1151.59/1151.97 c 1151s | 20 | 4923183 | 721827 | 37960 43 | 365 | 1444
1153.68/1154.08 c 1153s | 20 | 4930796 | 723127 | 37960 43 | 365 | 1444
1155.78/1156.12 c 1155s | 20 | 4938818 | 724327 | 37960 43 | 365 | 1444
1157.88/1158.26 c 1157s | 20 | 4945780 | 725627 | 37960 43 | 365 | 1444
1159.98/1160.34 c 1159s | 20 | 4953813 | 726827 | 37960 43 | 365 | 1444
1162.08/1162.42 c 1161s | 20 | 4960738 | 728027 | 37960 43 | 365 | 1444
1164.17/1164.50 c 1163s | 20 | 4968793 | 729227 | 37960 43 | 365 | 1444
1166.27/1166.63 c 1166s | 20 | 4976983 | 730427 | 37960 43 | 365 | 1444
1168.37/1168.73 c 1168s | 20 | 4984259 | 731727 | 37960 43 | 365 | 1444
1170.47/1170.83 c 1170s | 20 | 4992137 | 732927 | 37960 43 | 365 | 1444
1172.58/1172.93 c 1172s | 20 | 5001478 | 734127 | 37960 43 | 365 | 1444
1174.67/1175.04 c 1174s | 20 | 5012063 | 735327 | 37960 43 | 365 | 1444
1176.67/1177.09 c 1176s | 20 | 5020619 | 736427 | 37960 44 | 365 | 1444
1178.66/1179.09 c 1178s | 20 | 5030279 | 738027 | 37960 44 | 365 | 1444
1180.76/1181.14 c 1180s | 20 | 5041109 | 739527 | 37960 44 | 365 | 1444
1182.76/1183.15 c 1182s | 20 | 5050058 | 740827 | 37960 44 | 365 | 1444
1184.76/1185.19 c 1184s | 20 | 5061429 | 742227 | 37960 44 | 365 | 1444
1186.87/1187.25 c 1186s | 20 | 5071047 | 743627 | 37960 44 | 365 | 1444
1188.97/1189.31 c 1188s | 20 | 5081425 | 744927 | 37960 44 | 365 | 1444
1190.96/1191.37 c 1190s | 20 | 5090029 | 746227 | 37960 44 | 365 | 1444
1192.96/1193.39 c 1192s | 20 | 5099989 | 747527 | 37960 44 | 365 | 1444
1195.15/1195.54 c 1194s | 20 | 5109136 | 748827 | 37960 44 | 365 | 1444
1197.25/1197.64 c 1197s | 20 | 5119363 | 750127 | 37960 44 | 365 | 1444
1199.35/1199.73 c 1199s | 20 | 5129907 | 751427 | 37960 44 | 365 | 1444
1201.35/1201.77 c 1201s | 20 | 5138790 | 752627 | 37960 44 | 365 | 1444
1203.55/1203.95 c 1203s | 20 | 5148004 | 753927 | 37960 44 | 365 | 1444
1205.75/1206.11 c 1205s | 20 | 5155546 | 755027 | 37960 44 | 365 | 1444
1207.85/1208.23 c 1207s | 20 | 5164176 | 756127 | 37960 44 | 365 | 1444
1210.15/1210.51 c 1209s | 20 | 5169024 | 756727 | 37960 45 | 365 | 1444
1212.16/1212.57 c 1211s | 20 | 5176658 | 757727 | 37960 45 | 365 | 1444
1214.25/1214.63 c 1214s | 20 | 5186461 | 758927 | 37960 45 | 365 | 1444
1216.25/1216.65 c 1216s | 20 | 5194317 | 760027 | 37960 45 | 365 | 1444
1218.34/1218.72 c 1218s | 20 | 5205412 | 761427 | 37960 45 | 365 | 1444
1220.34/1220.76 c 1220s | 20 | 5216793 | 763027 | 37960 45 | 365 | 1444
1222.44/1222.80 c 1222s | 20 | 5226711 | 764127 | 37960 45 | 365 | 1444
1225.04/1225.44 c 1224s | 20 | 5227599 | 764227 | 37960 45 | 365 | 1444
1227.04/1227.48 c 1226s | 20 | 5237811 | 765427 | 37960 45 | 365 | 1444
1229.24/1229.61 c 1229s | 20 | 5251220 | 766827 | 37960 45 | 365 | 1444
1231.24/1231.62 c 1231s | 20 | 5259220 | 767927 | 37960 45 | 365 | 1444
1233.34/1233.77 c 1233s | 20 | 5268430 | 769027 | 37960 45 | 365 | 1444
1235.43/1235.83 c 1235s | 20 | 5276925 | 770127 | 37960 45 | 365 | 1444
1237.44/1237.87 c 1237s | 20 | 5284062 | 771027 | 37960 45 | 365 | 1444
1239.54/1240.00 c 1239s | 20 | 5292348 | 772327 | 37960 45 | 365 | 1444
1241.75/1242.12 c 1241s | 20 | 5300275 | 773427 | 37960 45 | 365 | 1444
1243.74/1244.15 c 1243s | 20 | 5306556 | 774227 | 37960 45 | 365 | 1444
1245.94/1246.36 c 1245s | 20 | 5312345 | 775027 | 37960 45 | 365 | 1444
1248.04/1248.40 c 1247s | 20 | 5317540 | 775727 | 37960 45 | 365 | 1444
1250.04/1250.45 c 1249s | 20 | 5326275 | 776627 | 37960 45 | 365 | 1444
1252.24/1252.69 c 1252s | 20 | 5331862 | 777327 | 37960 46 | 365 | 1444
1254.34/1254.71 c 1254s | 20 | 5339188 | 778327 | 37960 46 | 365 | 1444
1256.34/1256.72 c 1256s | 20 | 5345755 | 779527 | 37960 46 | 365 | 1444
1258.35/1258.79 c 1258s | 20 | 5353108 | 780627 | 37960 46 | 365 | 1444
1260.44/1260.90 c 1260s | 20 | 5361179 | 782027 | 37960 46 | 365 | 1444
1262.54/1262.92 c 1262s | 20 | 5367959 | 783127 | 37960 46 | 365 | 1444
1264.53/1264.99 c 1264s | 20 | 5378099 | 784427 | 37960 46 | 365 | 1444
1266.63/1267.00 c 1266s | 20 | 5384503 | 785627 | 37960 46 | 365 | 1444
1268.73/1269.10 c 1268s | 20 | 5393299 | 786827 | 37960 46 | 365 | 1444
1270.73/1271.17 c 1270s | 20 | 5403103 | 787927 | 37960 46 | 365 | 1444
1272.93/1273.35 c 1272s | 20 | 5411409 | 789127 | 37960 46 | 365 | 1444
1274.93/1275.36 c 1274s | 20 | 5421458 | 790227 | 37960 46 | 365 | 1444
1276.94/1277.39 c 1276s | 20 | 5430335 | 791327 | 37960 46 | 365 | 1444
1279.13/1279.56 c 1278s | 20 | 5440557 | 792727 | 37960 46 | 365 | 1444
1281.23/1281.69 c 1281s | 20 | 5448712 | 793827 | 37960 46 | 365 | 1444
1283.42/1283.86 c 1283s | 20 | 5456788 | 794927 | 37960 46 | 365 | 1444
1285.62/1286.00 c 1285s | 20 | 5464119 | 796027 | 37960 46 | 365 | 1444
1287.82/1288.22 c 1287s | 20 | 5471140 | 797027 | 37960 46 | 365 | 1444
1289.82/1290.28 c 1289s | 20 | 5478789 | 798027 | 37960 47 | 365 | 1444
1291.92/1292.37 c 1291s | 20 | 5487431 | 799227 | 37960 47 | 365 | 1444
1294.02/1294.42 c 1293s | 20 | 5494455 | 800427 | 37960 47 | 365 | 1444
1296.42/1296.86 c 1296s | 20 | 5503010 | 801427 | 37960 47 | 365 | 1444
1298.52/1298.92 c 1298s | 20 | 5512100 | 802827 | 37960 47 | 365 | 1444
1300.62/1301.08 c 1300s | 20 | 5521976 | 804027 | 37960 47 | 365 | 1444
1302.82/1303.29 c 1302s | 20 | 5529722 | 805227 | 37960 47 | 365 | 1444
1304.92/1305.32 c 1304s | 20 | 5537276 | 806327 | 37960 47 | 365 | 1444
1306.92/1307.34 c 1306s | 20 | 5545557 | 807427 | 37960 47 | 365 | 1444
1308.93/1309.34 c 1308s | 20 | 5552689 | 808327 | 37960 47 | 365 | 1444
1311.02/1311.49 c 1310s | 20 | 5560214 | 809227 | 37960 47 | 365 | 1444
1313.11/1313.52 c 1312s | 20 | 5566992 | 810127 | 37960 47 | 365 | 1444
1315.11/1315.58 c 1314s | 20 | 5573130 | 811027 | 37960 47 | 365 | 1444
1317.21/1317.62 c 1317s | 20 | 5580984 | 811927 | 37960 47 | 365 | 1444
1319.31/1319.75 c 1319s | 20 | 5591106 | 813427 | 37960 47 | 365 | 1444
1321.31/1321.77 c 1321s | 20 | 5599353 | 814327 | 37960 47 | 365 | 1444
1323.41/1323.82 c 1323s | 20 | 5606825 | 815227 | 37960 47 | 365 | 1444
1325.61/1326.03 c 1325s | 20 | 5613639 | 816327 | 37960 47 | 365 | 1444
1327.81/1328.25 c 1327s | 20 | 5618574 | 817327 | 37960 47 | 365 | 1444
1330.11/1330.53 c 1329s | 20 | 5626746 | 818427 | 37960 48 | 365 | 1444
1332.11/1332.58 c 1331s | 20 | 5632585 | 819527 | 37960 48 | 365 | 1444
1334.30/1334.74 c 1334s | 20 | 5642703 | 820727 | 37960 48 | 365 | 1444
1336.41/1336.88 c 1336s | 20 | 5651296 | 822027 | 37960 48 | 365 | 1444
1338.51/1338.97 c 1338s | 20 | 5659674 | 823227 | 37960 48 | 365 | 1444
1340.60/1341.08 c 1340s | 20 | 5670177 | 824427 | 37960 48 | 365 | 1444
1342.70/1343.13 c 1342s | 20 | 5677147 | 825627 | 37960 48 | 365 | 1444
1344.70/1345.18 c 1344s | 20 | 5685783 | 826727 | 37960 48 | 365 | 1444
1346.80/1347.22 c 1346s | 20 | 5695379 | 827827 | 37960 48 | 365 | 1444
1349.00/1349.41 c 1348s | 20 | 5702842 | 829027 | 37960 48 | 365 | 1444
1351.00/1351.47 c 1350s | 20 | 5710014 | 830127 | 37960 48 | 365 | 1444
1353.10/1353.50 c 1352s | 20 | 5719363 | 831227 | 37960 48 | 365 | 1444
1355.10/1355.55 c 1354s | 20 | 5727023 | 832327 | 37960 48 | 365 | 1444
1357.20/1357.69 c 1357s | 20 | 5736150 | 833427 | 37960 48 | 365 | 1444
1359.29/1359.79 c 1359s | 20 | 5743824 | 834527 | 37960 48 | 365 | 1444
1361.49/1361.90 c 1361s | 20 | 5750314 | 835627 | 37960 48 | 365 | 1444
1363.49/1363.99 c 1363s | 20 | 5757467 | 836627 | 37960 48 | 365 | 1444
1365.69/1366.17 c 1365s | 20 | 5766024 | 837727 | 37960 48 | 365 | 1444
1367.69/1368.19 c 1367s | 20 | 5773037 | 838727 | 37960 48 | 365 | 1444
1369.89/1370.30 c 1369s | 20 | 5780491 | 839927 | 37960 49 | 365 | 1444
1371.99/1372.43 c 1371s | 20 | 5790328 | 841327 | 37960 49 | 365 | 1444
1373.98/1374.46 c 1373s | 20 | 5799693 | 842627 | 37960 49 | 365 | 1444
1376.08/1376.55 c 1375s | 20 | 5810198 | 843727 | 37960 49 | 365 | 1444
1378.19/1378.65 c 1378s | 20 | 5816908 | 844927 | 37960 49 | 365 | 1444
1380.29/1380.73 c 1380s | 20 | 5822085 | 846027 | 37960 49 | 365 | 1444
1382.38/1382.80 c 1382s | 20 | 5830321 | 847227 | 37960 49 | 365 | 1444
1384.48/1384.92 c 1384s | 20 | 5837437 | 848327 | 37960 49 | 365 | 1444
1386.48/1386.99 c 1386s | 20 | 5845770 | 849427 | 37960 49 | 365 | 1444
1388.58/1389.00 c 1388s | 20 | 5855866 | 850627 | 37960 49 | 365 | 1444
1390.68/1391.20 c 1390s | 20 | 5864549 | 851827 | 37960 49 | 365 | 1444
1392.88/1393.34 c 1392s | 20 | 5872691 | 853027 | 37960 49 | 365 | 1444
1394.88/1395.39 c 1394s | 20 | 5881179 | 854227 | 37960 49 | 365 | 1444
1396.98/1397.50 c 1396s | 20 | 5888945 | 855327 | 37960 49 | 365 | 1444
1399.18/1399.61 c 1399s | 20 | 5895284 | 856427 | 37960 49 | 365 | 1444
1401.29/1401.72 c 1401s | 20 | 5900941 | 857627 | 37960 49 | 365 | 1444
1403.58/1404.00 c 1403s | 20 | 5907171 | 858627 | 37960 49 | 365 | 1444
1405.69/1406.14 c 1405s | 20 | 5912582 | 859427 | 37960 50 | 365 | 1444
1407.78/1408.21 c 1407s | 20 | 5917496 | 860327 | 37960 50 | 365 | 1444
1409.87/1410.30 c 1409s | 20 | 5925540 | 861627 | 37960 50 | 365 | 1444
1411.87/1412.31 c 1411s | 20 | 5932539 | 862727 | 37960 50 | 365 | 1444
1413.87/1414.39 c 1413s | 20 | 5941567 | 863827 | 37960 50 | 365 | 1444
1415.97/1416.42 c 1415s | 20 | 5950576 | 865027 | 37960 50 | 365 | 1444
1418.07/1418.57 c 1417s | 20 | 5960838 | 866427 | 37960 50 | 365 | 1444
1420.17/1420.67 c 1420s | 20 | 5968531 | 867627 | 37960 50 | 365 | 1444
1422.27/1422.71 c 1422s | 20 | 5976140 | 868727 | 37960 50 | 365 | 1444
1424.28/1424.77 c 1424s | 20 | 5987309 | 870127 | 37960 50 | 365 | 1444
1426.48/1426.91 c 1426s | 20 | 5995610 | 871327 | 37960 50 | 365 | 1444
1428.47/1428.92 c 1428s | 20 | 6001996 | 872527 | 37960 50 | 365 | 1444
1430.47/1430.96 c 1430s | 20 | 6007693 | 873627 | 37960 50 | 365 | 1444
1432.47/1432.97 c 1432s | 20 | 6014478 | 874727 | 37960 50 | 365 | 1444
1434.57/1435.06 c 1434s | 20 | 6022010 | 875827 | 37960 50 | 365 | 1444
1436.87/1437.30 c 1436s | 20 | 6027996 | 877027 | 37960 50 | 365 | 1444
1439.07/1439.53 c 1438s | 20 | 6032634 | 877927 | 37960 50 | 365 | 1444
1441.07/1441.54 c 1440s | 20 | 6038561 | 878927 | 37960 50 | 365 | 1444
1443.97/1444.48 c 1443s | 20 | 6046060 | 880027 | 37960 51 | 365 | 1444
1446.17/1446.62 c 1446s | 20 | 6056254 | 881427 | 37960 51 | 365 | 1444
1448.17/1448.69 c 1448s | 20 | 6065421 | 882627 | 37960 51 | 365 | 1444
1450.27/1450.75 c 1450s | 20 | 6074966 | 883827 | 37960 51 | 365 | 1444
1452.27/1452.79 c 1452s | 20 | 6085111 | 885027 | 37960 51 | 365 | 1444
1454.36/1454.90 c 1454s | 20 | 6098023 | 886427 | 37960 51 | 365 | 1444
1456.57/1457.00 c 1456s | 20 | 6106778 | 887727 | 37960 51 | 365 | 1444
1458.67/1459.18 c 1458s | 20 | 6113974 | 888827 | 37960 51 | 365 | 1444
1460.77/1461.22 c 1460s | 20 | 6121574 | 890027 | 37960 51 | 365 | 1444
1462.88/1463.31 c 1462s | 20 | 6128049 | 891227 | 37960 51 | 365 | 1444
1464.98/1465.41 c 1464s | 20 | 6135252 | 892327 | 37960 51 | 365 | 1444
1467.07/1467.52 c 1466s | 20 | 6141042 | 893427 | 37960 51 | 365 | 1444
1469.17/1469.66 c 1469s | 20 | 6149228 | 894527 | 37960 51 | 365 | 1444
1471.37/1471.85 c 1471s | 20 | 6158349 | 895627 | 37960 51 | 365 | 1444
1473.57/1474.00 c 1473s | 20 | 6165640 | 896727 | 37960 51 | 365 | 1444
1475.67/1476.17 c 1475s | 20 | 6173298 | 897827 | 37960 51 | 365 | 1444
1477.67/1478.19 c 1477s | 20 | 6181439 | 898827 | 37960 51 | 365 | 1444
1479.87/1480.34 c 1479s | 20 | 6188250 | 899927 | 37960 51 | 365 | 1444
1481.87/1482.37 c 1481s | 20 | 6192118 | 900527 | 37960 52 | 365 | 1444
1483.97/1484.47 c 1483s | 20 | 6202852 | 901927 | 37960 52 | 365 | 1444
1486.07/1486.58 c 1485s | 20 | 6210187 | 903227 | 37960 52 | 365 | 1444
1488.27/1488.72 c 1488s | 20 | 6220125 | 904727 | 37960 52 | 365 | 1444
1490.28/1490.78 c 1490s | 20 | 6230278 | 906027 | 37960 52 | 365 | 1444
1492.27/1492.78 c 1492s | 20 | 6239923 | 907327 | 37960 52 | 365 | 1444
1494.47/1494.94 c 1494s | 20 | 6247586 | 908727 | 37960 52 | 365 | 1444
1496.47/1496.99 c 1496s | 20 | 6256154 | 910027 | 37960 52 | 365 | 1444
1498.57/1499.03 c 1498s | 20 | 6266063 | 911327 | 37960 52 | 365 | 1444
1500.67/1501.12 c 1500s | 20 | 6274479 | 912527 | 37960 52 | 365 | 1444
1502.77/1503.21 c 1502s | 20 | 6281751 | 913727 | 37960 52 | 365 | 1444
1504.77/1505.28 c 1504s | 20 | 6289336 | 915027 | 37960 52 | 365 | 1444
1506.88/1507.33 c 1506s | 20 | 6296892 | 916227 | 37960 52 | 365 | 1444
1509.08/1509.51 c 1508s | 20 | 6304445 | 917527 | 37960 52 | 365 | 1444
1511.17/1511.62 c 1511s | 20 | 6312926 | 918727 | 37960 52 | 365 | 1444
1513.26/1513.78 c 1513s | 20 | 6321702 | 920027 | 37960 52 | 365 | 1444
1515.57/1516.10 c 1515s | 20 | 6328550 | 921027 | 37960 53 | 365 | 1444
1517.66/1518.13 c 1517s | 20 | 6336866 | 922427 | 37960 53 | 365 | 1444
1519.66/1520.16 c 1519s | 20 | 6344424 | 923727 | 37960 53 | 365 | 1444
1521.66/1522.19 c 1521s | 20 | 6354667 | 925027 | 37960 53 | 365 | 1444
1523.86/1524.32 c 1523s | 20 | 6360565 | 926127 | 37960 53 | 365 | 1444
1526.46/1526.92 c 1526s | 20 | 6366128 | 927127 | 37960 53 | 365 | 1444
1528.56/1529.09 c 1528s | 20 | 6373134 | 928027 | 37960 53 | 365 | 1444
1530.66/1531.11 c 1530s | 20 | 6379729 | 929027 | 37960 53 | 365 | 1444
1532.86/1533.34 c 1532s | 20 | 6386134 | 929927 | 37960 53 | 365 | 1444
1535.06/1535.59 c 1535s | 20 | 6394895 | 930927 | 37960 53 | 365 | 1444
1537.16/1537.69 c 1537s | 20 | 6403076 | 931927 | 37960 53 | 365 | 1444
1539.36/1539.86 c 1539s | 20 | 6411349 | 932827 | 37960 53 | 365 | 1444
1541.46/1541.95 c 1541s | 20 | 6416713 | 933627 | 37960 53 | 365 | 1444
1543.66/1544.17 c 1543s | 20 | 6422305 | 934527 | 37960 53 | 365 | 1444
1545.86/1546.32 c 1545s | 20 | 6427534 | 935327 | 37960 53 | 365 | 1444
1547.96/1548.44 c 1547s | 20 | 6433048 | 936027 | 37960 53 | 365 | 1444
1550.06/1550.59 c 1549s | 20 | 6438043 | 936727 | 37960 53 | 365 | 1444
1552.16/1552.69 c 1552s | 20 | 6444357 | 937527 | 37960 53 | 365 | 1444
1554.26/1554.74 c 1554s | 20 | 6448962 | 938227 | 37960 53 | 365 | 1444
1556.27/1556.80 c 1556s | 20 | 6453669 | 938927 | 37960 53 | 365 | 1444
1558.36/1558.83 c 1558s | 20 | 6459207 | 939627 | 37960 53 | 365 | 1444
1560.67/1561.17 c 1560s | 20 | 6464237 | 940527 | 37960 53 | 365 | 1444
1562.76/1563.20 c 1562s | 20 | 6469149 | 941127 | 37960 53 | 365 | 1444
1564.76/1565.27 c 1564s | 20 | 6472817 | 941727 | 37960 54 | 365 | 1444
1566.96/1567.40 c 1566s | 20 | 6480407 | 942827 | 37960 54 | 365 | 1444
1568.96/1569.46 c 1568s | 20 | 6486180 | 943927 | 37960 54 | 365 | 1444
1571.06/1571.52 c 1570s | 20 | 6493152 | 944927 | 37960 54 | 365 | 1444
1573.15/1573.66 c 1573s | 20 | 6503182 | 946127 | 37960 54 | 365 | 1444
1575.15/1575.67 c 1575s | 20 | 6510239 | 947127 | 37960 54 | 365 | 1444
1577.45/1577.93 c 1577s | 20 | 6520866 | 948427 | 37960 54 | 365 | 1444
1579.65/1580.10 c 1579s | 20 | 6528812 | 949427 | 37960 54 | 365 | 1444
1581.66/1582.11 c 1581s | 20 | 6536521 | 950327 | 37960 54 | 365 | 1444
1583.65/1584.15 c 1583s | 20 | 6544787 | 951227 | 37960 54 | 365 | 1444
1585.65/1586.16 c 1585s | 20 | 6552331 | 952227 | 37960 54 | 365 | 1444
1587.65/1588.16 c 1587s | 20 | 6559122 | 953027 | 37960 54 | 365 | 1444
1589.85/1590.40 c 1589s | 20 | 6566662 | 953927 | 37960 54 | 365 | 1444
1592.05/1592.59 c 1592s | 20 | 6573461 | 954927 | 37960 54 | 365 | 1444
1594.15/1594.69 c 1594s | 20 | 6579927 | 955827 | 37960 54 | 365 | 1444
1596.25/1596.70 c 1596s | 20 | 6586006 | 956727 | 37960 54 | 365 | 1444
1598.35/1598.88 c 1598s | 20 | 6593161 | 957727 | 37960 54 | 365 | 1444
1600.55/1601.00 c 1600s | 20 | 6599290 | 958627 | 37960 54 | 365 | 1444
1602.75/1603.20 c 1602s | 20 | 6607188 | 959627 | 37960 54 | 365 | 1444
1604.76/1605.22 c 1604s | 20 | 6614974 | 960727 | 37960 54 | 365 | 1444
1606.86/1607.37 c 1606s | 20 | 6619968 | 961827 | 37960 54 | 365 | 1444
1608.95/1609.42 c 1608s | 20 | 6626805 | 962727 | 37960 55 | 365 | 1444
1611.05/1611.56 c 1610s | 20 | 6635451 | 963927 | 37960 55 | 365 | 1444
1613.05/1613.58 c 1612s | 20 | 6645309 | 965227 | 37960 55 | 365 | 1444
1615.25/1615.74 c 1615s | 20 | 6655232 | 966527 | 37960 55 | 365 | 1444
1617.35/1617.86 c 1617s | 20 | 6667021 | 967827 | 37960 55 | 365 | 1444
1619.45/1619.94 c 1619s | 20 | 6678297 | 969027 | 37960 55 | 365 | 1444
1621.55/1622.09 c 1621s | 20 | 6687708 | 970227 | 37960 55 | 365 | 1444
1623.65/1624.14 c 1623s | 20 | 6694151 | 971227 | 37960 55 | 365 | 1444
1625.66/1626.14 c 1625s | 20 | 6703502 | 972327 | 37960 55 | 365 | 1444
1627.75/1628.30 c 1627s | 20 | 6712475 | 973527 | 37960 55 | 365 | 1444
1629.95/1630.45 c 1629s | 20 | 6720658 | 974627 | 37960 55 | 365 | 1444
1632.15/1632.62 c 1632s | 20 | 6730002 | 975727 | 37960 55 | 365 | 1444
1634.14/1634.69 c 1634s | 20 | 6736760 | 976727 | 37960 55 | 365 | 1444
1636.34/1636.85 c 1636s | 20 | 6747750 | 977827 | 37960 55 | 365 | 1444
1638.54/1639.06 c 1638s | 20 | 6757051 | 978927 | 37960 55 | 365 | 1444
1640.64/1641.11 c 1640s | 20 | 6763653 | 979927 | 37960 55 | 365 | 1444
1642.64/1643.17 c 1642s | 20 | 6771361 | 980927 | 37960 55 | 365 | 1444
1644.64/1645.19 c 1644s | 20 | 6780470 | 982127 | 37960 55 | 365 | 1444
1646.74/1647.23 c 1646s | 20 | 6787774 | 983027 | 37960 56 | 365 | 1444
1648.84/1649.32 c 1648s | 20 | 6799093 | 984327 | 37960 56 | 365 | 1444
1650.95/1651.46 c 1650s | 20 | 6809928 | 985627 | 37960 56 | 365 | 1444
1652.94/1653.50 c 1652s | 20 | 6820454 | 986827 | 37960 56 | 365 | 1444
1655.14/1655.61 c 1655s | 20 | 6830540 | 988027 | 37960 56 | 365 | 1444
1657.14/1657.63 c 1657s | 20 | 6839335 | 989327 | 37960 56 | 365 | 1444
1659.14/1659.69 c 1659s | 20 | 6848943 | 990627 | 37960 56 | 365 | 1444
1661.24/1661.74 c 1661s | 20 | 6857982 | 991827 | 37960 56 | 365 | 1444
1663.34/1663.80 c 1663s | 20 | 6867496 | 993227 | 41756 56 | 365 | 1444
1665.44/1665.97 c 1665s | 20 | 6876806 | 994427 | 41756 56 | 365 | 1444
1667.54/1668.05 c 1667s | 20 | 6884414 | 995627 | 41756 56 | 365 | 1444
1669.54/1670.10 c 1669s | 20 | 6891564 | 996727 | 41756 56 | 365 | 1444
1671.74/1672.24 c 1671s | 20 | 6898284 | 997827 | 41756 56 | 365 | 1444
1673.84/1674.40 c 1673s | 20 | 6904420 | 999027 | 41756 56 | 365 | 1444
1675.94/1676.45 c 1675s | 20 | 6910341 | 1000127 | 41756 56 | 365 | 1444
1676.34/1676.87 c 1676s | 21 | 6912309 | 1000345 | 41756 56 | 365 | 1444
1678.45/1678.94 c 1678s | 21 | 6918800 | 1001245 | 41756 56 | 365 | 1444
1680.54/1681.02 c 1680s | 21 | 6925738 | 1002145 | 41756 56 | 365 | 1444
1682.53/1683.03 c 1682s | 21 | 6931359 | 1003145 | 41756 56 | 365 | 1444
1684.73/1685.22 c 1684s | 21 | 6937770 | 1004245 | 41756 56 | 365 | 1444
1686.73/1687.23 c 1686s | 21 | 6944374 | 1005245 | 41756 56 | 365 | 1444
1689.34/1689.90 c 1689s | 21 | 6949476 | 1005945 | 41756 56 | 365 | 1444
1693.93/1694.47 c 1693s | 21 | 6949883 | 1006045 | 41756 56 | 365 | 1444
1696.33/1696.82 c 1696s | 21 | 6952776 | 1006345 | 41756 56 | 365 | 1444
1698.43/1698.93 c 1698s | 21 | 6959293 | 1007145 | 41756 57 | 365 | 1444
1700.53/1701.07 c 1700s | 21 | 6965794 | 1008245 | 41756 57 | 365 | 1444
1703.34/1703.82 c 1703s | 21 | 6969775 | 1008845 | 41756 57 | 365 | 1444
1706.33/1706.81 c 1706s | 21 | 6973116 | 1009345 | 41756 57 | 365 | 1444
1708.33/1708.84 c 1708s | 21 | 6981441 | 1010345 | 41756 57 | 365 | 1444
1710.53/1711.03 c 1710s | 21 | 6987968 | 1011545 | 41756 57 | 365 | 1444
1712.63/1713.17 c 1712s | 21 | 6995196 | 1012645 | 41756 57 | 365 | 1444
1714.64/1715.20 c 1714s | 21 | 6999923 | 1013645 | 41756 57 | 365 | 1444
1716.73/1717.25 c 1716s | 21 | 7006777 | 1014645 | 41756 57 | 365 | 1444
1718.73/1719.29 c 1718s | 21 | 7009950 | 1015145 | 41756 57 | 365 | 1444
1720.93/1721.40 c 1720s | 21 | 7015890 | 1016245 | 41756 57 | 365 | 1444
1723.03/1723.56 c 1722s | 21 | 7023623 | 1017345 | 41756 57 | 365 | 1444
1729.63/1730.12 c 1729s | 21 | 7030494 | 1018345 | 41756 57 | 365 | 1444
1731.73/1732.28 c 1731s | 21 | 7038424 | 1019345 | 41756 57 | 365 | 1444
1733.73/1734.29 c 1733s | 21 | 7049358 | 1020545 | 41756 57 | 365 | 1444
1735.83/1736.39 c 1735s | 21 | 7058189 | 1021845 | 41756 57 | 365 | 1444
1738.03/1738.52 c 1737s | 21 | 7064967 | 1022845 | 41756 57 | 365 | 1444
1740.04/1740.56 c 1739s | 21 | 7070575 | 1023745 | 41756 57 | 365 | 1444
1742.14/1742.64 c 1742s | 21 | 7077226 | 1024845 | 41756 57 | 365 | 1444
1744.13/1744.67 c 1744s | 21 | 7083089 | 1025745 | 41756 57 | 365 | 1444
1746.23/1746.71 c 1746s | 21 | 7090175 | 1026645 | 41756 57 | 365 | 1444
1748.23/1748.76 c 1748s | 21 | 7097564 | 1027645 | 41756 57 | 365 | 1444
1750.33/1750.87 c 1750s | 21 | 7103729 | 1028645 | 41756 57 | 365 | 1444
1752.73/1753.25 c 1752s | 21 | 7111615 | 1029545 | 41756 58 | 365 | 1444
1754.73/1755.26 c 1754s | 21 | 7119938 | 1030745 | 41756 58 | 365 | 1444
1756.82/1757.34 c 1756s | 21 | 7127947 | 1032045 | 41756 58 | 365 | 1444
1758.92/1759.44 c 1758s | 21 | 7136553 | 1033445 | 41756 58 | 365 | 1444
1761.03/1761.53 c 1760s | 21 | 7144047 | 1034845 | 41756 58 | 365 | 1444
1763.14/1763.67 c 1763s | 21 | 7149541 | 1036245 | 41756 58 | 365 | 1444
1765.23/1765.73 c 1765s | 21 | 7154548 | 1037445 | 41756 58 | 365 | 1444
1767.43/1767.92 c 1767s | 21 | 7161249 | 1038745 | 41756 58 | 365 | 1444
1769.52/1770.01 c 1769s | 21 | 7166619 | 1039945 | 41756 58 | 365 | 1444
1771.52/1772.02 c 1771s | 21 | 7172031 | 1041045 | 41756 58 | 365 | 1444
1773.62/1774.13 c 1773s | 21 | 7177028 | 1042145 | 41756 58 | 365 | 1444
1775.72/1776.24 c 1775s | 21 | 7183892 | 1043245 | 41756 58 | 365 | 1444
1777.82/1778.37 c 1777s | 21 | 7191552 | 1044545 | 41756 58 | 365 | 1444
1780.02/1780.50 c 1779s | 21 | 7201814 | 1045745 | 41756 58 | 365 | 1444
1782.12/1782.63 c 1782s | 21 | 7210417 | 1046945 | 41756 58 | 365 | 1444
1784.12/1784.67 c 1784s | 21 | 7221578 | 1047945 | 41756 58 | 365 | 1444
1786.32/1786.87 c 1786s | 21 | 7229381 | 1048945 | 41756 58 | 365 | 1444
1788.43/1788.91 c 1788s | 21 | 7238808 | 1050045 | 41756 58 | 365 | 1444
1790.53/1791.08 c 1790s | 21 | 7246876 | 1051045 | 41756 58 | 365 | 1444
1792.73/1793.26 c 1792s | 21 | 7254441 | 1051945 | 41756 59 | 365 | 1444
1794.82/1795.40 c 1794s | 21 | 7261799 | 1053045 | 41756 59 | 365 | 1444
1797.02/1797.54 c 1796s | 21 | 7272751 | 1054445 | 41756 59 | 365 | 1444
1799.12/1799.60 c 1799s | 21 | 7282166 | 1055645 | 41756 59 | 365 | 1444
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-4079847-1465248504/watcher-4079847-1465248504 -o /tmp/evaluation-result-4079847-1465248504/solver-4079847-1465248504 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079847-1465248504.opb
pid=1576
running on 8 cores: 4-7,12-15
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.09 2.07 2.02 3/261 1579
/proc/meminfo: memFree=30860204/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=829884 CPUtime=0 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 3114 0 0 0 0 0 0 0 20 0 4 0 106692461 849801216 3474 33554432000 4194304 16246674 140736698087280 140736698086704 13880264 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 207983 3482 441 2943 0 204877 0
[pid=1579/tid=1580] ppid=1576 vsize=1142204 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1169616896 4697 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1147324 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1174859776 4717 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1151420 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106692461 1179054080 4733 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
[startup+0.100167 s]
/proc/loadavg: 2.09 2.07 2.02 3/261 1579
/proc/meminfo: memFree=30860204/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1301060 CPUtime=0.08 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 27321 0 0 0 6 2 0 0 20 0 4 0 106692461 1332285440 27619 33554432000 4194304 16246674 140736698087280 140736698086592 7364033 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 325265 27635 800 2943 0 322159 0
[pid=1579/tid=1580] ppid=1576 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1332285440 27647 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1332285440 27657 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1332285440 27669 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060
[startup+0.431569 s]
/proc/loadavg: 2.09 2.07 2.02 3/261 1579
/proc/meminfo: memFree=30860204/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1311300 CPUtime=0.42 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 50678 0 0 0 37 5 0 0 20 0 4 0 106692461 1342771200 50976 33554432000 4194304 16246674 140736698087280 140736698086592 6073417 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 327825 50976 897 2943 0 324719 0
[pid=1579/tid=1580] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 50976 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 50976 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 50976 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 1311300
[startup+0.50047 s]
/proc/loadavg: 2.09 2.07 2.02 3/261 1579
/proc/meminfo: memFree=30860204/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1311300 CPUtime=0.49 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 50679 0 0 0 44 5 0 0 20 0 4 0 106692461 1342771200 50977 33554432000 4194304 16246674 140736698087280 140736698086592 13898695 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 327825 50977 897 2943 0 324719 0
[pid=1579/tid=1580] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 50977 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 50977 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 50977 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 1311300
[startup+0.70043 s]
/proc/loadavg: 2.09 2.07 2.02 3/261 1579
/proc/meminfo: memFree=30860204/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1311300 CPUtime=0.69 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 50689 0 0 0 64 5 0 0 20 0 4 0 106692461 1342771200 50987 33554432000 4194304 16246674 140736698087280 140736698086592 5712608 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 327825 50987 907 2943 0 324719 0
[pid=1579/tid=1580] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 50987 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 50987 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 50987 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1311300
[startup+1.5005 s]
/proc/loadavg: 2.09 2.07 2.02 3/265 1583
/proc/meminfo: memFree=30392920/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1311300 CPUtime=1.48 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 146090 0 0 0 130 18 0 0 20 0 4 0 106692461 1342771200 146389 33554432000 4194304 16246674 140736698087280 140736698069184 5828874 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 327825 146402 907 2943 0 324719 0
[pid=1579/tid=1580] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 146408 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 146411 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 146414 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1311300
[startup+3.10046 s]
/proc/loadavg: 2.09 2.07 2.02 3/265 1583
/proc/meminfo: memFree=29783336/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1311300 CPUtime=3.08 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 269034 0 0 0 272 36 0 0 20 0 4 0 106692461 1342771200 269332 33554432000 4194304 16246674 140736698087280 140736698069184 6023032 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 327825 269332 909 2943 0 324719 0
[pid=1579/tid=1580] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 269332 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 269332 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 269332 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1311300
[startup+6.30042 s]
/proc/loadavg: 2.09 2.07 2.01 3/265 1583
/proc/meminfo: memFree=29783604/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1311300 CPUtime=6.29 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 269034 0 0 0 592 37 0 0 20 0 4 0 106692461 1342771200 269332 33554432000 4194304 16246674 140736698087280 140736698069184 5754966 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 327825 269332 909 2943 0 324719 0
[pid=1579/tid=1580] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 269332 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 269332 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 269332 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300
[startup+12.7004 s]
/proc/loadavg: 2.08 2.07 2.01 3/265 1583
/proc/meminfo: memFree=29784484/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1311300 CPUtime=12.69 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 269034 0 0 0 1232 37 0 0 20 0 4 0 106692461 1342771200 269332 33554432000 4194304 16246674 140736698087280 140736698069184 5712608 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 327825 269332 909 2943 0 324719 0
[pid=1579/tid=1580] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 269332 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 269332 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1311300 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1342771200 269332 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300
[startup+25.5004 s]
/proc/loadavg: 2.06 2.06 2.01 3/265 1583
/proc/meminfo: memFree=29781948/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1313348 CPUtime=25.49 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 269552 0 0 0 2512 37 0 0 20 0 4 0 106692461 1344868352 269850 33554432000 4194304 16246674 140736698087280 140736698069184 5673747 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 328337 269850 915 2943 0 325231 0
[pid=1579/tid=1580] ppid=1576 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1344868352 269850 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1344868352 269850 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1344868352 269850 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348
[startup+51.1004 s]
/proc/loadavg: 2.11 2.07 2.02 3/265 1583
/proc/meminfo: memFree=29781916/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1313348 CPUtime=51.08 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 269552 0 0 0 5071 37 0 0 20 0 4 0 106692461 1344868352 269850 33554432000 4194304 16246674 140736698087280 140736698069184 13780600 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 328337 269850 915 2943 0 325231 0
[pid=1579/tid=1580] ppid=1576 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1344868352 269850 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1344868352 269850 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1344868352 269850 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348
[startup+102.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/266 1589
/proc/meminfo: memFree=29764644/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1329732 CPUtime=102.28 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 273645 0 0 0 10190 38 0 0 20 0 4 0 106692461 1361645568 273943 33554432000 4194304 16246674 140736698087280 140736698069184 12415781 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 332433 273943 915 2943 0 329327 0
[pid=1579/tid=1580] ppid=1576 vsize=1329732 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1361645568 273943 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1329732 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1361645568 273943 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1329732 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1361645568 273943 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1329732
################
# More data... #
################
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1372740
[startup+1362.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/265 1637
/proc/meminfo: memFree=29639592/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1372740 CPUtime=1361.89 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 284675 0 0 0 136142 47 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140736698069184 5712628 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 343185 284698 915 2943 0 340079 0
[pid=1579/tid=1580] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1372740
[startup+1422.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/265 1638
/proc/meminfo: memFree=29639048/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1372740 CPUtime=1421.87 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 284693 0 0 0 142140 47 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140736698069184 5754966 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 343185 284698 915 2943 0 340079 0
[pid=1579/tid=1580] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1372740
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/266 1652
/proc/meminfo: memFree=29636720/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1372740 CPUtime=1481.87 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 284694 0 0 0 148139 48 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140736698086456 12478333 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 343185 284698 915 2943 0 340079 0
[pid=1579/tid=1580] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1372740
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/265 1653
/proc/meminfo: memFree=29637724/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1372740 CPUtime=1541.86 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 284694 0 0 0 154138 48 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140736698069184 5822604 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 343185 284698 915 2943 0 340079 0
[pid=1579/tid=1580] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1372740
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/265 1654
/proc/meminfo: memFree=29637464/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1372740 CPUtime=1601.85 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 284694 0 0 0 160137 48 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140736698069184 5822252 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 343185 284698 915 2943 0 340079 0
[pid=1579/tid=1580] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284698 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1372740
[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/265 1704
/proc/meminfo: memFree=29719080/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1372740 CPUtime=1661.85 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 284695 0 0 0 166137 48 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140736698069184 5827966 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 343185 284701 915 2943 0 340079 0
[pid=1579/tid=1580] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1372740
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/265 1705
/proc/meminfo: memFree=29719084/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1372740 CPUtime=1721.83 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 284695 0 0 0 172133 50 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140736698069184 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 343185 284701 915 2943 0 340079 0
[pid=1579/tid=1580] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1372740
[startup+1782.31 s]
/proc/loadavg: 2.08 2.05 2.01 3/265 1706
/proc/meminfo: memFree=29718460/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1372740 CPUtime=1781.83 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 284695 0 0 0 178132 51 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140736698069184 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 343185 284701 915 2943 0 340079 0
[pid=1579/tid=1580] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1372740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.06 2.05 2.00 3/265 1707
/proc/meminfo: memFree=29717960/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1372740 CPUtime=1800.02 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 284695 0 0 0 179951 51 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140736698069184 13198536 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 343185 284701 915 2943 0 340079 0
[pid=1579/tid=1580] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1372740
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 1579 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.06 2.05 2.00 3/265 1707
/proc/meminfo: memFree=29717960/32872528 swapFree=9196/9196
[pid=1579] ppid=1576 vsize=1372740 CPUtime=1800.02 cores=4-7,12-15
/proc/1579/stat : 1579 (toysat) R 1576 1579 25889 0 -1 4202496 284695 0 0 0 179951 51 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140736698069184 13198536 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/1579/statm: 343185 284701 915 2943 0 340079 0
[pid=1579/tid=1580] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1580/stat : 1580 (toysat) S 1576 1579 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140618510609648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=1579/tid=1581] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1581/stat : 1581 (toysat) S 1576 1579 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140618500119792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=1579/tid=1582] ppid=1576 vsize=1372740 CPUtime=0 cores=4-7,12-15
/proc/1579/task/1582/stat : 1582 (toysat) S 1576 1579 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106692461 1405685760 284701 33554432000 4194304 16246674 140736698087280 140618489646256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1372740
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.52
CPU system time (s): 0.514921
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1372740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.514921
maximum resident set size= 1138804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284695
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= 311
involuntary context switches= 1835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5078 second user time and 16.5645 second system time
The end
Begin job on node132 at 2016-06-06 23:28:24
IDJOB=4079847
IDBENCH=24983
IDSOLVER=2542
FILE ID=node132/4079847-1465248504
RUNJOBID= node132-1465216787-25906
PBS_JOBID= 19843203
Free space on /tmp= 71728 MiB
SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079847-1465248504/watcher-4079847-1465248504 -o /tmp/evaluation-result-4079847-1465248504/solver-4079847-1465248504 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079847-1465248504.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8
MD5SUM BENCH= b63b2d912c01ff826a63051b401330db
RANDOM SEED=1553461135
node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.41
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.51
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.51
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.51
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.56
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 4
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 4
apicid : 3
initial apicid : 3
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 4
apicid : 5
initial apicid : 5
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 7
initial apicid : 7
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 4
apicid : 17
initial apicid : 17
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.56
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 4
apicid : 19
initial apicid : 19
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 4
apicid : 21
initial apicid : 21
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 4
apicid : 23
initial apicid : 23
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32872528 kB
MemFree: 30860244 kB
Buffers: 57044 kB
Cached: 107692 kB
SwapCached: 3208 kB
Active: 1196000 kB
Inactive: 93512 kB
Active(anon): 1124440 kB
Inactive(anon): 3236 kB
Active(file): 71560 kB
Inactive(file): 90276 kB
Unevictable: 9196 kB
Mlocked: 9196 kB
SwapTotal: 67108856 kB
SwapFree: 67094544 kB
Dirty: 16980 kB
Writeback: 0 kB
AnonPages: 1233728 kB
Mapped: 11092 kB
Shmem: 0 kB
Slab: 574188 kB
SReclaimable: 14572 kB
SUnreclaim: 559616 kB
KernelStack: 2240 kB
PageTables: 6244 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545120 kB
Committed_AS: 1276200 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346412 kB
VmallocChunk: 34341987140 kB
HardwareCorrupted: 0 kB
AnonHugePages: 106496 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7552 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 71712 MiB
End job on node132 at 2016-06-06 23:58:25