0.00/0.00 c 2016-06-07T02:04:31+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-4080151-1465257871.opb"]
0.00/0.01 c use --random-gen="1421198947 4163584947 1688514205 2122880838 1467865380 260187801 3014254338 3285679222 1423824136 3603908856 3198032330 3745889337 195389275 1144576701 2564629428 2430402291 3924711442 789895080 1840221430 4226126023 1489697094 2269370793 3362478731 4055890886 2351208701 2038469075 2358399922 2364984975 1288073310 439981030 146312703 3109395488 3017522734 1961435027 1535421440 3202492930 3781283034 1588168785 2900377826 322855065 2534443953 3303716906 1505961068 3562465072 2410215557 234352065 3315390373 3922744649 1775938000 233230082 4174332869 4289646127 3225088595 2403307281 3464569161 198211626 1865362092 2762881399 3277959842 1437415489 2485818306 1547724532 2661669370 3074302487 835808110 2483235259 962332264 2271576449 727597653 387854977 396644851 2871577395 4262627964 525164624 3070957534 1670243110 1302587962 3699454492 615839031 4167870903 4007230262 3798565689 255571151 3900256036 420655862 3703675267 1338331363 2413123996 3855380144 4205547222 3883997701 1672418380 2290150409 645491579 3643250491 4252348888 2368781186 3937926628 1033053539 1207612614 3770434638 25105573 2569102105 2497647390 1714128280 659922154 65213736 2996434035 100125958 573591285 3475191568 2903871384 1050001729 2048571245 3240281058 1763388140 1874642286 1001071168 1768465872 4189725336 1838443203 3481719353 3450141778 949938949 331182839 3610310222 3809454801 3952979118 3010329437 1521399641 268723144 515084749 3233173256 751300454 3459386789 1193828942 862358185 1280244460 1885089196 2019521311 1799124633 4155368702 2202673524 3495227236 3181253801 3630285338 2767016002 394568223 1062280498 2303028360 1659595079 1086090110 4124845449 171538994 393730133 2273023996 4081203797 3625576391 2048945420 3928914406 847310853 3278944472 369348967 3003047347 1002775941 2572582739 2502985642 3128015461 3892497289 3314961150 2136598830 2057183963 1976641975 3314939736 534474817 1838830996 2409489128 1380697098 2816923411 328672201 1658879264 439295657 706158501 1742907031 3400469594 2794868515 4024976374 506201614 85233896 1441793554 3081556660 256348836 3837556783 2966785176 872165505 4132648564 3081821010 3041236046 4269389350 269094067 3315204129 2347194994 2547159239 1457970951 4042090213 4129977980 3619952271 311571935 2811041112 2257647459 13037567 624707219 3177802454 2896802144 2462558073 810555131 3486667996 191186468 38627303 237713273 1978951767 2140693372 3681297703 369214439 544910569 2294060551 2356039599 2973110205 3213418890 332798236 868098087 1006290422 2033265284 155634977 1940918305 988298997 1252662743 317921313 534446832 3035528977 1518371708 645149679 1451057749 2736009303 1417580172 501112073 2387079007 1453045023 3654104954 4229804563 2109804663 3568571339 2618939561 861873419 1494909110 3567481268 255 362436" option to reproduce the execution
0.00/0.01 c #vars 100
0.00/0.01 c #constraints 100
0.00/0.03 c BCD2: Hardening is enabled.
0.00/0.03 c BCD2: BiasedSearch is enabled.
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 873 0 | 630 | 0
0.00/0.03 c 0.0s | 0 | 22 | 0 | 873 0 | 630 | 1260
0.00/0.03 c #cpu_time = 0.003s
0.00/0.03 c #wall_clock_time = 0.003s
0.00/0.03 c #decision = 22
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 o -22
0.00/0.03 c BCD2: updating upper bound: 100 -> 77
0.00/0.03 c BCD2: 0 <= obj <= 77
0.00/0.03 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 873 0 | 630 | 1260
0.00/0.03 c 0.0s | 0 | 2 | 0 | 873 0 | 630 | 1260
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 2
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.03 c lower bound updated to -99
0.00/0.03 c BCD2: 1 <= obj <= 77
0.00/0.03 c BCD2: #cores=1, #unrelaxed=98, #relaxed=2, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 873 0 | 630 | 1261
0.00/0.04 c 0.0s | 0 | 5 | 0 | 873 0 | 630 | 1261
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 5
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -98
0.00/0.04 c BCD2: 2 <= obj <= 77
0.00/0.04 c BCD2: #cores=2, #unrelaxed=96, #relaxed=4, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 873 0 | 630 | 1262
0.00/0.04 c 0.0s | 0 | 6 | 0 | 873 0 | 630 | 1262
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 6
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -97
0.00/0.04 c BCD2: 3 <= obj <= 77
0.00/0.04 c BCD2: #cores=3, #unrelaxed=94, #relaxed=6, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=4 bias=4/5
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 873 0 | 630 | 1263
0.00/0.04 c 0.0s | 0 | 6 | 0 | 873 0 | 630 | 1263
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 6
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -96
0.00/0.04 c BCD2: 4 <= obj <= 77
0.00/0.04 c BCD2: #cores=4, #unrelaxed=92, #relaxed=8, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=5 bias=5/6
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 873 0 | 630 | 1264
0.00/0.04 c 0.0s | 0 | 6 | 0 | 873 0 | 630 | 1264
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 6
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.04 c lower bound updated to -95
0.00/0.04 c BCD2: 5 <= obj <= 77
0.00/0.04 c BCD2: #cores=4, #unrelaxed=90, #relaxed=10, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=6 bias=6/7
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 873 0 | 631 | 1264
0.00/0.04 c 0.0s | 0 | 11 | 1 | 873 0 | 631 | 1265
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 11
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 1 and merging with 3 cores into a new core of size 7: cost of the new core is >=4
0.00/0.04 c lower bound updated to -94
0.00/0.04 c BCD2: 6 <= obj <= 77
0.00/0.04 c BCD2: #cores=2, #unrelaxed=89, #relaxed=11, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=7 bias=7/8
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 873 0 | 634 | 1265
0.00/0.04 c 0.0s | 0 | 7 | 1 | 873 0 | 634 | 1268
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 7
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 5 and merging with 2 cores into a new core of size 16: cost of the new core is >=7
0.00/0.04 c lower bound updated to -93
0.00/0.04 c BCD2: 7 <= obj <= 77
0.00/0.04 c BCD2: #cores=1, #unrelaxed=84, #relaxed=16, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=8 bias=8/9
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 873 0 | 636 | 1268
0.00/0.04 c 0.0s | 0 | 3 | 0 | 873 0 | 636 | 1270
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 3
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -92
0.00/0.04 c BCD2: 8 <= obj <= 77
0.00/0.04 c BCD2: #cores=2, #unrelaxed=82, #relaxed=18, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=9 bias=9/10
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 873 0 | 636 | 1271
0.00/0.04 c 0.0s | 0 | 5 | 0 | 873 0 | 636 | 1271
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 5
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -91
0.00/0.04 c BCD2: 9 <= obj <= 77
0.00/0.04 c BCD2: #cores=3, #unrelaxed=80, #relaxed=20, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=10 bias=10/11
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 873 0 | 636 | 1272
0.00/0.04 c 0.0s | 0 | 5 | 0 | 873 0 | 636 | 1272
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 5
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -90
0.00/0.04 c BCD2: 10 <= obj <= 77
0.00/0.04 c BCD2: #cores=4, #unrelaxed=78, #relaxed=22, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=11 bias=11/12
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 873 0 | 636 | 1273
0.00/0.05 c 0.0s | 0 | 7 | 0 | 873 0 | 636 | 1273
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 7
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.05 c lower bound updated to -89
0.00/0.05 c BCD2: 11 <= obj <= 77
0.00/0.05 c BCD2: #cores=4, #unrelaxed=76, #relaxed=24, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=12 bias=12/13
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 873 0 | 637 | 1273
0.00/0.05 c 0.0s | 0 | 6 | 0 | 873 0 | 637 | 1274
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 6
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.05 c lower bound updated to -88
0.00/0.05 c BCD2: 12 <= obj <= 77
0.00/0.05 c BCD2: #cores=5, #unrelaxed=74, #relaxed=26, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=13 bias=13/14
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 873 0 | 637 | 1275
0.00/0.05 c 0.0s | 0 | 6 | 0 | 873 0 | 637 | 1275
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 6
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.05 c lower bound updated to -87
0.00/0.05 c BCD2: 13 <= obj <= 77
0.00/0.05 c BCD2: #cores=5, #unrelaxed=72, #relaxed=28, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=14 bias=14/15
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 873 0 | 638 | 1275
0.00/0.05 c 0.0s | 0 | 7 | 0 | 873 0 | 638 | 1276
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 7
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.05 c lower bound updated to -86
0.00/0.05 c BCD2: 14 <= obj <= 77
0.00/0.05 c BCD2: #cores=6, #unrelaxed=70, #relaxed=30, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=15 bias=15/16
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 873 0 | 638 | 1277
0.00/0.05 c 0.0s | 0 | 11 | 1 | 873 0 | 638 | 1277
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 11
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 5: cost of the new core is >=3
0.00/0.05 c lower bound updated to -85
0.00/0.05 c BCD2: 15 <= obj <= 77
0.00/0.05 c BCD2: #cores=5, #unrelaxed=69, #relaxed=31, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=16 bias=16/17
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 873 0 | 640 | 1277
0.00/0.05 c 0.0s | 0 | 8 | 0 | 873 0 | 640 | 1279
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 8
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 8: cost of the new core is >=3
0.00/0.05 c lower bound updated to -84
0.00/0.05 c BCD2: 16 <= obj <= 77
0.00/0.05 c BCD2: #cores=5, #unrelaxed=65, #relaxed=35, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=17 bias=17/18
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 873 0 | 641 | 1279
0.00/0.05 c 0.0s | 0 | 9 | 0 | 873 0 | 641 | 1280
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 9
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.05 c lower bound updated to -83
0.00/0.05 c BCD2: 17 <= obj <= 77
0.00/0.05 c BCD2: #cores=5, #unrelaxed=63, #relaxed=37, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=18 bias=18/19
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 873 0 | 642 | 1280
0.00/0.05 c 0.0s | 0 | 11 | 2 | 873 0 | 642 | 1281
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 11
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 2
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 5 and merging with 3 cores into a new core of size 30: cost of the new core is >=13
0.00/0.05 c lower bound updated to -82
0.00/0.05 c BCD2: 18 <= obj <= 77
0.00/0.05 c BCD2: #cores=3, #unrelaxed=58, #relaxed=42, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=19 bias=19/20
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 873 0 | 645 | 1281
0.00/0.05 c 0.0s | 0 | 7 | 1 | 873 0 | 645 | 1284
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 7
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=3
0.00/0.05 c lower bound updated to -81
0.00/0.05 c BCD2: 19 <= obj <= 77
0.00/0.05 c BCD2: #cores=3, #unrelaxed=57, #relaxed=43, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=20 bias=20/21
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 873 0 | 646 | 1284
0.00/0.05 c 0.0s | 0 | 4 | 0 | 873 0 | 646 | 1285
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 4
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.05 c lower bound updated to -80
0.00/0.05 c BCD2: 20 <= obj <= 77
0.00/0.05 c BCD2: #cores=4, #unrelaxed=55, #relaxed=45, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=21 bias=21/22
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 873 0 | 646 | 1286
0.00/0.06 c 0.0s | 0 | 7 | 0 | 873 0 | 646 | 1286
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 7
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -79
0.00/0.06 c BCD2: 21 <= obj <= 77
0.00/0.06 c BCD2: #cores=5, #unrelaxed=53, #relaxed=47, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=22 bias=22/23
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 873 0 | 646 | 1287
0.00/0.06 c 0.0s | 0 | 12 | 1 | 873 0 | 646 | 1287
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 12
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 1
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 9: cost of the new core is >=5
0.00/0.06 c lower bound updated to -78
0.00/0.06 c BCD2: 22 <= obj <= 77
0.00/0.06 c BCD2: #cores=4, #unrelaxed=51, #relaxed=49, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=23 bias=23/24
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 873 0 | 648 | 1287
0.00/0.06 c 0.0s | 0 | 6 | 0 | 873 0 | 648 | 1289
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 6
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -77
0.00/0.06 c BCD2: 23 <= obj <= 77
0.00/0.06 c BCD2: #cores=5, #unrelaxed=49, #relaxed=51, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=24 bias=24/25
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 873 0 | 648 | 1290
0.00/0.06 c 0.0s | 0 | 8 | 0 | 873 0 | 648 | 1290
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 8
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -76
0.00/0.06 c BCD2: 24 <= obj <= 77
0.00/0.06 c BCD2: #cores=6, #unrelaxed=47, #relaxed=53, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=25 bias=25/26
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 873 0 | 648 | 1291
0.00/0.06 c 0.0s | 0 | 9 | 0 | 873 0 | 648 | 1291
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 9
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -75
0.00/0.06 c BCD2: 25 <= obj <= 77
0.00/0.06 c BCD2: #cores=7, #unrelaxed=45, #relaxed=55, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=26 bias=26/27
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 873 0 | 648 | 1292
0.00/0.06 c 0.0s | 0 | 13 | 1 | 873 0 | 648 | 1292
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 13
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 1
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.06 c lower bound updated to -74
0.00/0.06 c BCD2: 26 <= obj <= 77
0.00/0.06 c BCD2: #cores=7, #unrelaxed=44, #relaxed=56, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=27 bias=27/28
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 873 0 | 649 | 1292
0.00/0.06 c 0.0s | 0 | 10 | 0 | 873 0 | 649 | 1293
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 10
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 12: cost of the new core is >=4
0.00/0.06 c lower bound updated to -73
0.00/0.06 c BCD2: 27 <= obj <= 77
0.00/0.06 c BCD2: #cores=7, #unrelaxed=40, #relaxed=60, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=28 bias=28/29
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 873 0 | 650 | 1293
0.00/0.06 c 0.0s | 0 | 10 | 0 | 873 0 | 650 | 1294
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 10
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -72
0.00/0.06 c BCD2: 28 <= obj <= 77
0.00/0.06 c BCD2: #cores=8, #unrelaxed=38, #relaxed=62, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=29 bias=29/30
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 873 0 | 650 | 1295
0.00/0.06 c 0.0s | 0 | 11 | 0 | 873 0 | 650 | 1295
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 11
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -71
0.00/0.06 c BCD2: 29 <= obj <= 77
0.00/0.06 c BCD2: #cores=9, #unrelaxed=36, #relaxed=64, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=30 bias=30/31
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 873 0 | 650 | 1296
0.00/0.07 c 0.0s | 0 | 11 | 0 | 873 0 | 650 | 1296
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 11
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 2 and merging with 4 cores into a new core of size 10: cost of the new core is >=5
0.00/0.07 c lower bound updated to -70
0.00/0.07 c BCD2: 30 <= obj <= 77
0.00/0.07 c BCD2: #cores=6, #unrelaxed=34, #relaxed=66, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=31 bias=31/32
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 873 0 | 654 | 1296
0.00/0.07 c 0.0s | 0 | 9 | 0 | 873 0 | 654 | 1300
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 9
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.07 c lower bound updated to -69
0.00/0.07 c BCD2: 31 <= obj <= 77
0.00/0.07 c BCD2: #cores=6, #unrelaxed=32, #relaxed=68, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=32 bias=32/33
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 873 0 | 655 | 1300
0.00/0.07 c 0.0s | 0 | 11 | 1 | 873 0 | 655 | 1301
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 11
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 1
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 4 and merging with 2 cores into a new core of size 17: cost of the new core is >=8
0.00/0.07 c lower bound updated to -68
0.00/0.07 c BCD2: 32 <= obj <= 77
0.00/0.07 c BCD2: #cores=5, #unrelaxed=28, #relaxed=72, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=33 bias=33/34
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 873 0 | 657 | 1301
0.00/0.07 c 0.0s | 0 | 9 | 0 | 873 0 | 657 | 1303
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 9
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -67
0.00/0.07 c BCD2: 33 <= obj <= 77
0.00/0.07 c BCD2: #cores=6, #unrelaxed=26, #relaxed=74, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=34 bias=34/35
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 873 0 | 657 | 1304
0.00/0.07 c 0.0s | 0 | 11 | 0 | 873 0 | 657 | 1304
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 11
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 6: cost of the new core is >=3
0.00/0.07 c lower bound updated to -66
0.00/0.07 c BCD2: 34 <= obj <= 77
0.00/0.07 c BCD2: #cores=6, #unrelaxed=23, #relaxed=77, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=35 bias=35/36
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 873 0 | 658 | 1304
0.00/0.07 c 0.0s | 0 | 11 | 0 | 873 0 | 658 | 1305
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 11
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -65
0.00/0.07 c BCD2: 35 <= obj <= 77
0.00/0.07 c BCD2: #cores=7, #unrelaxed=21, #relaxed=79, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=36 bias=36/37
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 873 0 | 658 | 1306
0.00/0.07 c 0.0s | 0 | 11 | 0 | 873 0 | 658 | 1306
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 11
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -64
0.00/0.07 c BCD2: 36 <= obj <= 77
0.00/0.07 c BCD2: #cores=8, #unrelaxed=19, #relaxed=81, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=37 bias=37/38
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 873 0 | 658 | 1307
0.00/0.07 c 0.0s | 0 | 11 | 0 | 873 0 | 658 | 1307
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 11
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -63
0.00/0.07 c BCD2: 37 <= obj <= 77
0.00/0.07 c BCD2: #cores=9, #unrelaxed=17, #relaxed=83, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=38 bias=38/39
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 873 0 | 658 | 1308
0.00/0.07 c 0.0s | 0 | 21 | 1 | 873 0 | 658 | 1308
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 21
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 1
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.07 c lower bound updated to -62
0.00/0.07 c BCD2: 38 <= obj <= 77
0.00/0.07 c BCD2: #cores=9, #unrelaxed=16, #relaxed=84, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=39 bias=39/40
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 873 0 | 659 | 1308
0.00/0.08 c 0.0s | 0 | 15 | 0 | 873 0 | 659 | 1309
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 15
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -61
0.00/0.08 c BCD2: 39 <= obj <= 77
0.00/0.08 c BCD2: #cores=10, #unrelaxed=14, #relaxed=86, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=40 bias=40/41
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 873 0 | 659 | 1310
0.00/0.08 c 0.0s | 0 | 16 | 0 | 873 0 | 659 | 1310
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 16
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -60
0.00/0.08 c BCD2: 40 <= obj <= 77
0.00/0.08 c BCD2: #cores=11, #unrelaxed=12, #relaxed=88, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=41 bias=41/42
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 873 0 | 659 | 1311
0.00/0.08 c 0.0s | 0 | 17 | 2 | 873 0 | 659 | 1311
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 17
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 2
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 21: cost of the new core is >=9
0.00/0.08 c lower bound updated to -59
0.00/0.08 c BCD2: 41 <= obj <= 77
0.00/0.08 c BCD2: #cores=11, #unrelaxed=8, #relaxed=92, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=42 bias=42/43
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 873 0 | 660 | 1311
0.00/0.08 c 0.0s | 0 | 15 | 1 | 873 0 | 660 | 1312
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 15
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 4 and merging with 3 cores into a new core of size 14: cost of the new core is >=6
0.00/0.08 c lower bound updated to -58
0.00/0.08 c BCD2: 42 <= obj <= 77
0.00/0.08 c BCD2: #cores=9, #unrelaxed=4, #relaxed=96, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=43 bias=43/44
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 873 0 | 663 | 1312
0.00/0.08 c 0.0s | 0 | 27 | 11 | 873 0 | 663 | 1315
0.00/0.08 c #cpu_time = 0.002s
0.00/0.08 c #wall_clock_time = 0.002s
0.00/0.08 c #decision = 27
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 11
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 4 and merging with 6 cores into a new core of size 56: cost of the new core is >=25
0.00/0.08 c lower bound updated to -57
0.00/0.08 c BCD2: 43 <= obj <= 77
0.00/0.08 c BCD2: #cores=4, #unrelaxed=0, #relaxed=100, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=44 bias=44/45
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 873 0 | 669 | 1315
0.09/0.10 c 0.0s | 1 | 128 | 100 | 961 0 | 669 | 1321
0.09/0.13 c 0.0s | 2 | 369 | 250 | 1058 0 | 669 | 1321
0.09/0.18 c 0.1s | 3 | 664 | 475 | 1164 0 | 669 | 1321
0.19/0.26 c 0.2s | 4 | 1058 | 813 | 1281 0 | 669 | 1321
0.29/0.39 c 0.3s | 5 | 1648 | 1320 | 1410 0 | 669 | 1321
0.59/0.61 c 0.5s | 6 | 2518 | 2081 | 1552 0 | 669 | 1321
0.89/0.97 c 0.9s | 7 | 3772 | 3223 | 1708 1 | 669 | 1321
1.29/1.36 c 1.3s | 8 | 5614 | 4936 | 1879 3 | 669 | 1321
1.78/1.87 c 1.8s | 9 | 8335 | 7506 | 2067 4 | 669 | 1321
2.58/2.68 c 2.6s | 10 | 12486 | 11361 | 2274 7 | 669 | 1321
3.99/4.08 c 4.0s | 11 | 18723 | 17144 | 2502 11 | 669 | 1321
5.89/5.98 c 5.9s | 12 | 28087 | 25819 | 2753 16 | 669 | 1321
7.89/7.98 c 7.9s | 12 | 38146 | 35319 | 2753 21 | 669 | 1321
8.80/8.87 c 8.8s | 13 | 41877 | 38832 | 3029 23 | 669 | 1321
10.79/10.87 c 10.8s | 13 | 50396 | 46832 | 3029 28 | 669 | 1321
12.79/12.89 c 12.8s | 13 | 58787 | 54832 | 3029 32 | 669 | 1321
13.79/13.86 c 13.8s | 14 | 62533 | 58352 | 3332 34 | 669 | 1321
15.79/15.86 c 15.8s | 14 | 71161 | 66452 | 3332 38 | 669 | 1321
17.79/17.87 c 17.8s | 14 | 78971 | 73752 | 3332 41 | 669 | 1321
19.79/19.89 c 19.8s | 14 | 87518 | 81752 | 3332 45 | 669 | 1321
21.29/21.37 c 21.3s | 15 | 93849 | 87632 | 3666 48 | 669 | 1321
23.29/23.37 c 23.3s | 15 | 101946 | 95132 | 3666 51 | 669 | 1321
25.29/25.38 c 25.3s | 15 | 110148 | 102832 | 3666 55 | 669 | 1321
27.28/27.38 c 27.3s | 15 | 117848 | 110032 | 3666 58 | 669 | 1321
29.28/29.38 c 29.3s | 15 | 125305 | 116932 | 3666 61 | 669 | 1321
31.28/31.39 c 31.3s | 15 | 132909 | 124132 | 3666 65 | 669 | 1321
33.38/33.40 c 33.3s | 15 | 140243 | 131132 | 4033 68 | 669 | 1321
33.38/33.49 c 33.4s | 16 | 140695 | 131552 | 4033 68 | 669 | 1321
35.48/35.50 c 35.4s | 16 | 147899 | 138152 | 4033 70 | 669 | 1321
37.49/37.52 c 37.4s | 16 | 155251 | 145052 | 4033 73 | 669 | 1321
39.49/39.55 c 39.5s | 16 | 162083 | 151352 | 4033 76 | 669 | 1321
41.48/41.56 c 41.5s | 16 | 168871 | 157752 | 4033 79 | 669 | 1321
43.48/43.57 c 43.5s | 16 | 175760 | 164252 | 4033 81 | 669 | 1321
45.48/45.58 c 45.5s | 16 | 183237 | 171252 | 4033 84 | 669 | 1321
47.48/47.59 c 47.5s | 16 | 190310 | 177952 | 4033 87 | 669 | 1321
49.49/49.60 c 49.5s | 16 | 197764 | 185052 | 4033 90 | 669 | 1321
51.58/51.61 c 51.5s | 16 | 204713 | 191652 | 4033 93 | 669 | 1321
53.18/53.21 c 53.1s | 17 | 210787 | 197432 | 4437 95 | 669 | 1321
55.18/55.22 c 55.1s | 17 | 217877 | 204132 | 4437 98 | 669 | 1321
57.19/57.23 c 57.1s | 17 | 225303 | 211132 | 4437 101 | 669 | 1321
59.18/59.24 c 59.2s | 17 | 232245 | 217632 | 4437 103 | 669 | 1321
61.18/61.24 c 61.2s | 17 | 239812 | 224632 | 4437 106 | 669 | 1321
63.18/63.28 c 63.2s | 17 | 247559 | 231832 | 4437 109 | 669 | 1321
65.18/65.29 c 65.2s | 17 | 255317 | 239032 | 4437 111 | 669 | 1321
67.28/67.31 c 67.2s | 17 | 262422 | 245732 | 4437 114 | 669 | 1321
69.29/69.33 c 69.2s | 17 | 269665 | 252532 | 4437 117 | 669 | 1321
71.28/71.34 c 71.3s | 17 | 276683 | 258932 | 4437 119 | 669 | 1321
73.28/73.36 c 73.3s | 17 | 284555 | 266232 | 4437 122 | 669 | 1321
75.28/75.37 c 75.3s | 17 | 291889 | 272932 | 4437 124 | 669 | 1321
77.28/77.39 c 77.3s | 17 | 298982 | 279432 | 4437 127 | 669 | 1321
79.38/79.42 c 79.3s | 17 | 306046 | 286032 | 4437 130 | 669 | 1321
80.08/80.15 c 80.1s | 17 | 308863 | 288611 | 4437 130 | 669 | 1321
80.08/80.15 c #cpu_time = 79.865s
80.08/80.15 c #wall_clock_time = 80.071s
80.08/80.15 c #decision = 308863
80.08/80.15 c #random_decision = 576
80.08/80.15 c #conflict = 288611
80.08/80.15 c #restart = 17
80.08/80.15 o -25
80.08/80.15 c BCD2: updating upper bound: 77 -> 74
80.08/80.15 c BCD2: 43 <= obj <= 74
80.08/80.15 c BCD2: #cores=4, #unrelaxed=0, #relaxed=100, #hardened=0
80.08/80.15 c BCD2: #sat=2 #unsat=44 bias=44/46
80.08/80.15 c Solving starts ...
80.08/80.15 c ============================[ Search Statistics ]============================
80.08/80.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
80.08/80.15 c | | | | Limit GC | Var | Constra
80.08/80.15 c =============================================================================
80.08/80.15 c 0.0s | 0 | 0 | 0 | 4437 0 | 669 | 1322
80.18/80.27 c 0.1s | 1 | 129 | 100 | 4437 1 | 669 | 1322
80.28/80.31 c 0.2s | 2 | 310 | 250 | 4437 1 | 669 | 1322
80.28/80.36 c 0.2s | 3 | 570 | 475 | 4437 1 | 669 | 1322
80.38/80.44 c 0.3s | 4 | 940 | 813 | 4437 1 | 669 | 1322
80.48/80.59 c 0.4s | 5 | 1494 | 1320 | 4437 1 | 669 | 1322
80.78/80.83 c 0.7s | 6 | 2309 | 2081 | 4437 1 | 669 | 1322
81.18/81.23 c 1.1s | 7 | 3556 | 3223 | 4437 2 | 669 | 1322
81.68/81.73 c 1.6s | 8 | 5471 | 4936 | 4437 2 | 669 | 1322
82.48/82.57 c 2.4s | 9 | 8261 | 7506 | 4881 3 | 669 | 1322
83.98/84.00 c 3.8s | 10 | 12409 | 11361 | 4881 5 | 669 | 1322
85.88/85.95 c 5.8s | 11 | 18590 | 17144 | 4881 7 | 669 | 1322
87.87/87.97 c 7.8s | 11 | 25159 | 23344 | 4881 9 | 669 | 1322
88.77/88.85 c 8.7s | 12 | 27780 | 25819 | 4881 10 | 669 | 1322
90.77/90.87 c 10.7s | 12 | 33694 | 31319 | 4881 12 | 669 | 1322
92.77/92.89 c 12.7s | 12 | 39565 | 36919 | 4881 14 | 669 | 1322
93.48/93.58 c 13.4s | 13 | 41535 | 38832 | 4881 14 | 669 | 1322
95.47/95.59 c 15.4s | 13 | 47452 | 44432 | 4881 16 | 669 | 1322
97.57/97.62 c 17.5s | 13 | 53284 | 50032 | 4881 18 | 669 | 1322
99.57/99.63 c 19.5s | 13 | 59203 | 55632 | 4881 20 | 669 | 1322
100.47/100.57 c 20.4s | 14 | 62039 | 58352 | 4881 21 | 669 | 1322
102.47/102.58 c 22.4s | 14 | 68343 | 64152 | 4881 23 | 669 | 1322
104.48/104.60 c 24.4s | 14 | 74066 | 69552 | 4881 25 | 669 | 1322
106.57/106.65 c 26.5s | 14 | 80499 | 75652 | 4881 28 | 669 | 1322
108.57/108.69 c 28.5s | 14 | 86124 | 81052 | 4881 29 | 669 | 1322
110.67/110.72 c 30.6s | 14 | 92018 | 86652 | 4881 31 | 669 | 1322
110.97/111.08 c 30.9s | 15 | 93035 | 87632 | 4881 32 | 669 | 1322
113.07/113.10 c 32.9s | 15 | 99554 | 93832 | 4881 34 | 669 | 1322
115.07/115.12 c 35.0s | 15 | 105532 | 99532 | 4881 36 | 669 | 1322
117.07/117.14 c 37.0s | 15 | 111861 | 105532 | 4881 38 | 669 | 1322
119.07/119.14 c 39.0s | 15 | 118086 | 111432 | 4881 40 | 669 | 1322
121.08/121.15 c 41.0s | 15 | 123691 | 116732 | 4881 42 | 669 | 1322
123.07/123.15 c 43.0s | 15 | 129240 | 122032 | 4881 44 | 669 | 1322
125.07/125.18 c 45.0s | 15 | 135186 | 127732 | 4881 46 | 669 | 1322
126.37/126.43 c 46.3s | 16 | 139278 | 131552 | 4881 47 | 669 | 1322
128.37/128.46 c 48.3s | 16 | 145300 | 137152 | 4881 49 | 669 | 1322
130.47/130.50 c 50.3s | 16 | 151616 | 143052 | 4881 52 | 669 | 1322
132.47/132.52 c 52.4s | 16 | 157673 | 148852 | 4881 54 | 669 | 1322
134.47/134.55 c 54.4s | 16 | 163565 | 154552 | 5370 55 | 669 | 1322
136.48/136.59 c 56.4s | 16 | 169082 | 159752 | 5370 57 | 669 | 1322
138.47/138.59 c 58.4s | 16 | 174552 | 164952 | 5370 59 | 669 | 1322
140.47/140.60 c 60.4s | 16 | 180302 | 170352 | 5370 61 | 669 | 1322
141.37/141.41 c 61.3s | 16 | 182642 | 172590 | 5370 61 | 669 | 1322
141.37/141.41 c #cpu_time = 61.097s
141.37/141.41 c #wall_clock_time = 61.254s
141.37/141.41 c #decision = 182642
141.37/141.41 c #random_decision = 560
141.37/141.41 c #conflict = 172590
141.37/141.41 c #restart = 16
141.37/141.41 c BCD2: relaxing 0 and merging with 4 cores into a new core of size 100: cost of the new core is >=44
141.37/141.41 c lower bound updated to -56
141.37/141.41 c BCD2: 44 <= obj <= 74
141.37/141.41 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0
141.37/141.41 c BCD2: #sat=2 #unsat=45 bias=45/47
141.37/141.41 c Solving starts ...
141.37/141.41 c ============================[ Search Statistics ]============================
141.37/141.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
141.37/141.41 c | | | | Limit GC | Var | Constra
141.37/141.41 c =============================================================================
141.37/141.41 c 0.0s | 0 | 0 | 0 | 5370 0 | 676 | 1322
141.47/141.50 c 0.1s | 1 | 136 | 100 | 5370 0 | 676 | 1332
141.47/141.57 c 0.2s | 2 | 342 | 250 | 5370 0 | 676 | 1332
141.57/141.61 c 0.2s | 3 | 622 | 475 | 5370 0 | 676 | 1332
141.57/141.67 c 0.3s | 4 | 1018 | 813 | 5370 0 | 676 | 1332
141.67/141.78 c 0.4s | 5 | 1588 | 1320 | 5370 0 | 676 | 1332
141.88/141.97 c 0.6s | 6 | 2401 | 2081 | 5370 0 | 676 | 1332
142.27/142.30 c 0.9s | 7 | 3604 | 3223 | 5370 0 | 676 | 1332
142.77/142.85 c 1.4s | 8 | 5377 | 4936 | 5370 0 | 676 | 1332
143.77/143.80 c 2.4s | 9 | 8025 | 7506 | 5370 1 | 676 | 1332
145.17/145.20 c 3.8s | 10 | 11974 | 11361 | 5370 2 | 676 | 1332
147.17/147.21 c 5.8s | 10 | 17459 | 16761 | 5370 4 | 676 | 1332
147.27/147.33 c 5.9s | 11 | 17851 | 17144 | 5370 4 | 676 | 1332
149.27/149.34 c 7.9s | 11 | 23257 | 22444 | 5370 6 | 676 | 1332
150.37/150.49 c 9.1s | 12 | 26673 | 25819 | 5370 7 | 676 | 1332
152.37/152.49 c 11.1s | 12 | 32193 | 31219 | 5370 9 | 676 | 1332
154.47/154.52 c 13.1s | 12 | 37669 | 36619 | 5370 10 | 676 | 1332
155.27/155.34 c 13.9s | 13 | 39901 | 38832 | 5370 11 | 676 | 1332
157.27/157.36 c 15.9s | 13 | 45819 | 44632 | 5370 13 | 676 | 1332
159.26/159.38 c 18.0s | 13 | 51659 | 50432 | 5370 15 | 676 | 1332
161.36/161.40 c 20.0s | 13 | 57222 | 55932 | 5370 17 | 676 | 1332
162.46/162.50 c 21.1s | 14 | 59662 | 58352 | 5370 18 | 676 | 1332
164.46/164.52 c 23.1s | 14 | 65858 | 64452 | 5370 20 | 676 | 1332
166.46/166.52 c 25.1s | 14 | 71310 | 69852 | 5370 21 | 676 | 1332
168.46/168.55 c 27.1s | 14 | 77077 | 75552 | 5370 23 | 676 | 1332
170.47/170.58 c 29.2s | 14 | 82936 | 81352 | 5370 25 | 676 | 1332
172.56/172.60 c 31.2s | 14 | 88992 | 87252 | 5370 27 | 676 | 1332
172.86/172.93 c 31.5s | 15 | 89372 | 87632 | 5370 27 | 676 | 1332
174.87/174.95 c 33.5s | 15 | 95069 | 93232 | 5370 29 | 676 | 1332
176.86/176.95 c 35.5s | 15 | 100925 | 99032 | 5370 31 | 676 | 1332
178.86/178.97 c 37.6s | 15 | 106702 | 104732 | 5370 33 | 676 | 1332
180.86/180.99 c 39.6s | 15 | 112375 | 110332 | 5370 35 | 676 | 1332
182.96/183.02 c 41.6s | 15 | 118061 | 115932 | 5370 36 | 676 | 1332
184.96/185.04 c 43.6s | 15 | 123709 | 121532 | 5370 38 | 676 | 1332
187.06/187.14 c 45.7s | 15 | 129334 | 127132 | 5370 40 | 676 | 1332
188.66/188.75 c 47.3s | 16 | 133791 | 131552 | 5370 42 | 676 | 1332
190.65/190.79 c 49.4s | 16 | 139460 | 137152 | 5370 43 | 676 | 1332
192.66/192.79 c 51.4s | 16 | 144997 | 142652 | 5370 45 | 676 | 1332
194.77/194.81 c 53.4s | 16 | 150667 | 148252 | 5370 47 | 676 | 1332
196.76/196.81 c 55.4s | 16 | 156414 | 153952 | 5370 49 | 676 | 1332
198.76/198.82 c 57.4s | 16 | 161801 | 159252 | 5370 51 | 676 | 1332
200.76/200.85 c 59.4s | 16 | 167419 | 164752 | 5370 52 | 676 | 1332
202.76/202.85 c 61.4s | 16 | 173080 | 170352 | 5370 54 | 676 | 1332
204.76/204.87 c 63.5s | 16 | 178806 | 176052 | 5370 56 | 676 | 1332
206.76/206.89 c 65.5s | 16 | 184365 | 181552 | 5370 58 | 676 | 1332
208.86/208.90 c 67.5s | 16 | 190040 | 187152 | 5370 60 | 676 | 1332
210.86/210.93 c 69.5s | 16 | 195797 | 192852 | 5370 62 | 676 | 1332
212.46/212.53 c 71.1s | 17 | 200434 | 197432 | 5370 63 | 676 | 1332
214.46/214.55 c 73.1s | 17 | 205730 | 202632 | 5908 65 | 676 | 1332
216.46/216.56 c 75.2s | 17 | 211370 | 208232 | 5908 66 | 676 | 1332
218.45/218.57 c 77.2s | 17 | 216539 | 213332 | 5908 68 | 676 | 1332
220.55/220.60 c 79.2s | 17 | 222092 | 218832 | 5908 69 | 676 | 1332
222.55/222.63 c 81.2s | 17 | 228067 | 224732 | 5908 71 | 676 | 1332
224.55/224.66 c 83.3s | 17 | 233401 | 230032 | 5908 73 | 676 | 1332
226.56/226.67 c 85.3s | 17 | 238848 | 235432 | 5908 74 | 676 | 1332
228.55/228.68 c 87.3s | 17 | 244604 | 241032 | 5908 76 | 676 | 1332
230.55/230.69 c 89.3s | 17 | 249583 | 245932 | 5908 78 | 676 | 1332
232.66/232.72 c 91.3s | 17 | 255068 | 251332 | 5908 79 | 676 | 1332
234.66/234.73 c 93.3s | 17 | 260743 | 256932 | 5908 81 | 676 | 1332
236.66/236.75 c 95.3s | 17 | 266224 | 262332 | 5908 83 | 676 | 1332
238.66/238.77 c 97.4s | 17 | 272085 | 268132 | 5908 84 | 676 | 1332
240.65/240.78 c 99.4s | 17 | 276857 | 272832 | 5908 86 | 676 | 1332
242.65/242.79 c 101s | 17 | 282787 | 278732 | 5908 87 | 676 | 1332
244.65/244.79 c 103s | 17 | 287906 | 283832 | 5908 89 | 676 | 1332
246.85/246.90 c 105s | 17 | 293325 | 289232 | 5908 91 | 676 | 1332
248.85/248.91 c 107s | 17 | 299068 | 294932 | 5908 92 | 676 | 1332
249.25/249.37 c 107s | 18 | 300390 | 296252 | 5908 93 | 676 | 1332
251.25/251.39 c 109s | 18 | 305685 | 301452 | 5908 94 | 676 | 1332
253.35/253.41 c 112s | 18 | 311162 | 306852 | 5908 96 | 676 | 1332
255.35/255.43 c 114s | 18 | 316345 | 311952 | 5908 97 | 676 | 1332
257.35/257.44 c 116s | 18 | 321486 | 317052 | 5908 99 | 676 | 1332
259.34/259.45 c 118s | 18 | 326739 | 322252 | 5908 101 | 676 | 1332
261.34/261.47 c 120s | 18 | 332403 | 327852 | 5908 102 | 676 | 1332
263.34/263.47 c 122s | 18 | 337960 | 333352 | 5908 104 | 676 | 1332
265.45/265.51 c 124s | 18 | 343244 | 338552 | 5908 105 | 676 | 1332
267.45/267.51 c 126s | 18 | 348599 | 343852 | 5908 107 | 676 | 1332
269.46/269.51 c 128s | 18 | 353958 | 349152 | 5908 109 | 676 | 1332
271.45/271.52 c 130s | 18 | 359538 | 354652 | 5908 110 | 676 | 1332
273.45/273.54 c 132s | 18 | 364680 | 359752 | 5908 112 | 676 | 1332
275.45/275.57 c 134s | 18 | 370155 | 365152 | 5908 113 | 676 | 1332
277.45/277.58 c 136s | 18 | 375551 | 370452 | 5908 115 | 676 | 1332
279.45/279.58 c 138s | 18 | 381130 | 375952 | 5908 117 | 676 | 1332
281.45/281.60 c 140s | 18 | 386533 | 381252 | 5908 118 | 676 | 1332
283.55/283.60 c 142s | 18 | 392603 | 387252 | 5908 120 | 676 | 1332
285.55/285.61 c 144s | 18 | 397898 | 392452 | 5908 122 | 676 | 1332
287.54/287.64 c 146s | 18 | 402750 | 397252 | 5908 123 | 676 | 1332
289.54/289.66 c 148s | 18 | 408170 | 402552 | 5908 125 | 676 | 1332
291.55/291.67 c 150s | 18 | 414042 | 408352 | 5908 126 | 676 | 1332
293.54/293.68 c 152s | 18 | 419002 | 413252 | 5908 128 | 676 | 1332
295.64/295.70 c 154s | 18 | 424960 | 419152 | 5908 130 | 676 | 1332
297.64/297.73 c 156s | 18 | 430195 | 424352 | 5908 131 | 676 | 1332
299.64/299.73 c 158s | 18 | 435745 | 429852 | 5908 133 | 676 | 1332
301.64/301.74 c 160s | 18 | 441009 | 435052 | 5908 134 | 676 | 1332
303.64/303.74 c 162s | 18 | 446275 | 440252 | 5908 136 | 676 | 1332
305.24/305.33 c 163s | 19 | 450581 | 444482 | 5908 137 | 676 | 1332
307.24/307.35 c 165s | 19 | 455866 | 449682 | 5908 139 | 676 | 1332
309.34/309.40 c 167s | 19 | 461507 | 455282 | 5908 141 | 676 | 1332
311.35/311.44 c 170s | 19 | 467279 | 460982 | 5908 142 | 676 | 1332
313.34/313.45 c 172s | 19 | 472647 | 466282 | 5908 144 | 676 | 1332
315.34/315.47 c 174s | 19 | 477895 | 471482 | 5908 145 | 676 | 1332
317.34/317.49 c 176s | 19 | 483814 | 477282 | 5908 147 | 676 | 1332
319.44/319.60 c 178s | 19 | 488997 | 482382 | 5908 149 | 676 | 1332
321.54/321.61 c 180s | 19 | 494791 | 488082 | 5908 150 | 676 | 1332
323.54/323.63 c 182s | 19 | 500054 | 493282 | 5908 152 | 676 | 1332
325.55/325.63 c 184s | 19 | 505822 | 498982 | 5908 154 | 676 | 1332
327.54/327.64 c 186s | 19 | 511225 | 504282 | 5908 155 | 676 | 1332
329.54/329.67 c 188s | 19 | 516414 | 509382 | 5908 157 | 676 | 1332
331.64/331.75 c 190s | 19 | 522298 | 515182 | 5908 159 | 676 | 1332
333.64/333.77 c 192s | 19 | 527484 | 520282 | 5908 160 | 676 | 1332
335.64/335.78 c 194s | 19 | 533168 | 525882 | 5908 162 | 676 | 1332
337.74/337.80 c 196s | 19 | 538542 | 531182 | 5908 163 | 676 | 1332
339.73/339.82 c 198s | 19 | 543411 | 535982 | 6499 165 | 676 | 1332
341.73/341.82 c 200s | 19 | 548371 | 540882 | 6499 166 | 676 | 1332
343.73/343.85 c 202s | 19 | 554025 | 546482 | 6499 167 | 676 | 1332
345.73/345.88 c 204s | 19 | 559254 | 551682 | 6499 169 | 676 | 1332
347.73/347.89 c 206s | 19 | 564292 | 556682 | 6499 170 | 676 | 1332
349.84/349.91 c 208s | 19 | 569254 | 561582 | 6499 172 | 676 | 1332
351.83/351.92 c 210s | 19 | 574922 | 567182 | 6499 173 | 676 | 1332
353.83/353.93 c 212s | 19 | 580010 | 572182 | 6499 175 | 676 | 1332
355.83/355.93 c 214s | 19 | 584750 | 576882 | 6499 176 | 676 | 1332
357.83/357.96 c 216s | 19 | 590620 | 582682 | 6499 177 | 676 | 1332
359.83/359.98 c 218s | 19 | 596088 | 588082 | 6499 179 | 676 | 1332
361.94/362.01 c 220s | 19 | 601265 | 593182 | 6499 180 | 676 | 1332
363.93/364.02 c 222s | 19 | 606554 | 598382 | 6499 182 | 676 | 1332
365.93/366.03 c 224s | 19 | 611908 | 603682 | 6499 183 | 676 | 1332
367.94/368.05 c 226s | 19 | 617072 | 608782 | 6499 185 | 676 | 1332
369.94/370.06 c 228s | 19 | 622446 | 614082 | 6499 186 | 676 | 1332
371.94/372.09 c 230s | 19 | 627388 | 618982 | 6499 187 | 676 | 1332
374.04/374.10 c 232s | 19 | 632264 | 623782 | 6499 189 | 676 | 1332
376.03/376.12 c 234s | 19 | 637520 | 628982 | 6499 190 | 676 | 1332
378.03/378.13 c 236s | 19 | 642570 | 633982 | 6499 192 | 676 | 1332
380.03/380.13 c 238s | 19 | 647837 | 639182 | 6499 193 | 676 | 1332
382.03/382.13 c 240s | 19 | 652868 | 644182 | 6499 194 | 676 | 1332
384.03/384.15 c 242s | 19 | 658132 | 649382 | 6499 196 | 676 | 1332
386.03/386.15 c 244s | 19 | 663184 | 654382 | 6499 197 | 676 | 1332
388.02/388.18 c 246s | 19 | 668647 | 659782 | 6499 199 | 676 | 1332
390.13/390.21 c 248s | 19 | 674133 | 665182 | 6499 200 | 676 | 1332
390.73/390.85 c 249s | 20 | 675789 | 666827 | 6499 201 | 676 | 1332
392.74/392.85 c 251s | 20 | 681099 | 672027 | 6499 202 | 676 | 1332
394.84/394.91 c 253s | 20 | 686139 | 677027 | 6499 204 | 676 | 1332
396.83/396.93 c 255s | 20 | 691784 | 682627 | 6499 205 | 676 | 1332
398.83/398.93 c 257s | 20 | 696829 | 687627 | 6499 206 | 676 | 1332
400.83/400.95 c 259s | 20 | 701656 | 692427 | 6499 208 | 676 | 1332
402.83/402.97 c 261s | 20 | 707033 | 697727 | 6499 209 | 676 | 1332
404.84/405.00 c 263s | 20 | 711682 | 702327 | 6499 211 | 676 | 1332
406.83/407.00 c 265s | 20 | 716841 | 707427 | 6499 212 | 676 | 1332
408.93/409.02 c 267s | 20 | 721510 | 712027 | 6499 213 | 676 | 1332
410.93/411.03 c 269s | 20 | 726859 | 717327 | 6499 215 | 676 | 1332
413.03/413.13 c 271s | 20 | 732237 | 722627 | 6499 216 | 676 | 1332
415.02/415.13 c 273s | 20 | 737487 | 727827 | 6499 218 | 676 | 1332
417.02/417.17 c 275s | 20 | 742844 | 733127 | 6499 219 | 676 | 1332
419.03/419.20 c 277s | 20 | 747617 | 737827 | 6499 220 | 676 | 1332
421.12/421.21 c 279s | 20 | 753173 | 743327 | 6499 222 | 676 | 1332
423.12/423.25 c 281s | 20 | 758312 | 748427 | 6499 223 | 676 | 1332
425.22/425.30 c 283s | 20 | 763042 | 753127 | 6499 225 | 676 | 1332
427.22/427.32 c 285s | 20 | 768679 | 758727 | 6499 226 | 676 | 1332
429.22/429.35 c 287s | 20 | 773821 | 763827 | 6499 227 | 676 | 1332
431.23/431.36 c 289s | 20 | 779040 | 769027 | 6499 229 | 676 | 1332
433.32/433.40 c 291s | 20 | 784499 | 774427 | 6499 230 | 676 | 1332
435.52/435.68 c 294s | 20 | 790176 | 780027 | 6499 232 | 676 | 1332
437.62/437.70 c 296s | 20 | 795050 | 784827 | 6499 233 | 676 | 1332
439.62/439.73 c 298s | 20 | 800401 | 790127 | 6499 235 | 676 | 1332
441.62/441.75 c 300s | 20 | 805266 | 794927 | 6499 236 | 676 | 1332
443.62/443.78 c 302s | 20 | 810631 | 800227 | 6499 238 | 676 | 1332
445.62/445.79 c 304s | 20 | 815576 | 805127 | 6499 239 | 676 | 1332
447.73/447.81 c 306s | 20 | 820579 | 810027 | 6499 240 | 676 | 1332
449.72/449.81 c 308s | 20 | 825960 | 815327 | 6499 242 | 676 | 1332
451.72/451.83 c 310s | 20 | 831121 | 820427 | 6499 243 | 676 | 1332
453.72/453.84 c 312s | 20 | 836487 | 825727 | 6499 245 | 676 | 1332
455.72/455.86 c 314s | 20 | 841971 | 831127 | 6499 246 | 676 | 1332
457.72/457.87 c 316s | 20 | 846545 | 835627 | 6499 247 | 676 | 1332
459.73/459.87 c 318s | 20 | 851990 | 841027 | 6499 249 | 676 | 1332
461.82/461.90 c 320s | 20 | 856121 | 845127 | 6499 250 | 676 | 1332
463.82/463.91 c 322s | 20 | 861687 | 850627 | 6499 251 | 676 | 1332
465.82/465.92 c 324s | 20 | 866768 | 855627 | 6499 253 | 676 | 1332
467.81/467.93 c 326s | 20 | 872559 | 861327 | 6499 254 | 676 | 1332
469.82/469.98 c 328s | 20 | 877001 | 865727 | 6499 256 | 676 | 1332
471.82/471.99 c 330s | 20 | 882750 | 871427 | 6499 257 | 676 | 1332
473.91/474.04 c 332s | 20 | 887309 | 875927 | 6499 258 | 676 | 1332
476.11/476.21 c 334s | 20 | 891653 | 880227 | 6499 260 | 676 | 1332
478.11/478.23 c 336s | 20 | 897590 | 886127 | 6499 261 | 676 | 1332
480.11/480.26 c 338s | 20 | 902455 | 890927 | 6499 263 | 676 | 1332
482.31/482.40 c 340s | 20 | 908131 | 896527 | 6499 264 | 676 | 1332
484.32/484.41 c 343s | 20 | 913072 | 901427 | 6499 265 | 676 | 1332
486.32/486.41 c 345s | 20 | 918536 | 906827 | 6499 267 | 676 | 1332
488.32/488.44 c 347s | 20 | 923093 | 911327 | 6499 268 | 676 | 1332
490.31/490.46 c 349s | 20 | 928456 | 916627 | 6499 270 | 676 | 1332
492.31/492.49 c 351s | 20 | 933713 | 921827 | 6499 271 | 676 | 1332
494.41/494.51 c 353s | 20 | 938794 | 926827 | 6499 272 | 676 | 1332
496.41/496.52 c 355s | 20 | 943646 | 931627 | 6499 274 | 676 | 1332
498.41/498.54 c 357s | 20 | 948509 | 936427 | 6499 275 | 676 | 1332
500.42/500.58 c 359s | 20 | 953665 | 941527 | 6499 277 | 676 | 1332
502.41/502.59 c 361s | 20 | 958587 | 946327 | 6499 278 | 676 | 1332
504.51/504.60 c 363s | 20 | 963783 | 951427 | 6499 279 | 676 | 1332
506.51/506.60 c 365s | 20 | 968954 | 956527 | 6499 281 | 676 | 1332
508.51/508.61 c 367s | 20 | 974124 | 961627 | 6499 282 | 676 | 1332
510.51/510.62 c 369s | 20 | 978977 | 966427 | 6499 283 | 676 | 1332
512.52/512.65 c 371s | 20 | 983629 | 971027 | 6499 285 | 676 | 1332
514.51/514.66 c 373s | 20 | 989200 | 976527 | 6499 286 | 676 | 1332
516.51/516.68 c 375s | 20 | 993954 | 981227 | 6499 287 | 676 | 1332
518.61/518.77 c 377s | 20 | 999311 | 986527 | 6499 289 | 676 | 1332
520.61/520.77 c 379s | 20 | 1003871 | 991027 | 6499 290 | 676 | 1332
522.61/522.78 c 381s | 20 | 1009474 | 996527 | 6499 292 | 676 | 1332
524.11/524.25 c 382s | 21 | 1013314 | 1000345 | 6499 293 | 676 | 1332
526.11/526.27 c 384s | 21 | 1017983 | 1004945 | 6499 294 | 676 | 1332
528.21/528.30 c 386s | 21 | 1023429 | 1010345 | 6499 296 | 676 | 1332
530.22/530.32 c 388s | 21 | 1028676 | 1015545 | 6499 297 | 676 | 1332
532.21/532.34 c 390s | 21 | 1033446 | 1020245 | 6499 298 | 676 | 1332
534.21/534.34 c 392s | 21 | 1037987 | 1024745 | 6499 300 | 676 | 1332
536.21/536.37 c 394s | 21 | 1043004 | 1029745 | 7149 301 | 676 | 1332
538.21/538.39 c 396s | 21 | 1047823 | 1034545 | 7149 302 | 676 | 1332
540.50/540.62 c 399s | 21 | 1052870 | 1039545 | 7149 303 | 676 | 1332
542.50/542.65 c 401s | 21 | 1057503 | 1044145 | 7149 304 | 676 | 1332
544.51/544.65 c 403s | 21 | 1062535 | 1049145 | 7149 306 | 676 | 1332
546.50/546.68 c 405s | 21 | 1067486 | 1054045 | 7149 307 | 676 | 1332
548.60/548.71 c 407s | 21 | 1071521 | 1058045 | 7149 308 | 676 | 1332
550.60/550.74 c 409s | 21 | 1076558 | 1063045 | 7149 309 | 676 | 1332
552.60/552.75 c 411s | 21 | 1081123 | 1067545 | 7149 310 | 676 | 1332
554.70/554.80 c 413s | 21 | 1085781 | 1072145 | 7149 312 | 676 | 1332
556.70/556.83 c 415s | 21 | 1091027 | 1077345 | 7149 313 | 676 | 1332
558.71/558.85 c 417s | 21 | 1095976 | 1082245 | 7149 314 | 676 | 1332
560.70/560.86 c 419s | 21 | 1101142 | 1087345 | 7149 315 | 676 | 1332
562.70/562.86 c 421s | 21 | 1105586 | 1091745 | 7149 316 | 676 | 1332
564.70/564.89 c 423s | 21 | 1110524 | 1096645 | 7149 318 | 676 | 1332
566.70/566.89 c 425s | 21 | 1115285 | 1101345 | 7149 319 | 676 | 1332
568.80/568.92 c 427s | 21 | 1120515 | 1106545 | 7149 320 | 676 | 1332
570.80/570.95 c 429s | 21 | 1125364 | 1111345 | 7149 321 | 676 | 1332
572.80/572.96 c 431s | 21 | 1129909 | 1115845 | 7149 323 | 676 | 1332
574.80/574.98 c 433s | 21 | 1134256 | 1120145 | 7149 324 | 676 | 1332
576.90/577.00 c 435s | 21 | 1139426 | 1125245 | 7149 325 | 676 | 1332
578.90/579.02 c 437s | 21 | 1143887 | 1129645 | 7149 326 | 676 | 1332
580.89/581.04 c 439s | 21 | 1148740 | 1134445 | 7149 327 | 676 | 1332
582.91/583.06 c 441s | 21 | 1153491 | 1139145 | 7149 328 | 676 | 1332
584.90/585.09 c 443s | 21 | 1157055 | 1142645 | 7149 329 | 676 | 1332
587.00/587.11 c 445s | 21 | 1162277 | 1147845 | 7149 331 | 676 | 1332
589.00/589.13 c 447s | 21 | 1167250 | 1152745 | 7149 332 | 676 | 1332
591.00/591.17 c 449s | 21 | 1171697 | 1157145 | 7149 333 | 676 | 1332
593.10/593.20 c 451s | 21 | 1176634 | 1162045 | 7149 334 | 676 | 1332
595.11/595.24 c 453s | 21 | 1181570 | 1166945 | 7149 336 | 676 | 1332
597.10/597.26 c 455s | 21 | 1186051 | 1171345 | 7149 337 | 676 | 1332
599.10/599.29 c 457s | 21 | 1191036 | 1176245 | 7149 338 | 676 | 1332
601.20/601.30 c 459s | 21 | 1196175 | 1181345 | 7149 339 | 676 | 1332
603.70/603.80 c 462s | 21 | 1201385 | 1186445 | 7149 340 | 676 | 1332
605.70/605.80 c 464s | 21 | 1206895 | 1191845 | 7149 342 | 676 | 1332
607.70/607.82 c 466s | 21 | 1211474 | 1196345 | 7149 343 | 676 | 1332
609.70/609.85 c 468s | 21 | 1216196 | 1201045 | 7149 344 | 676 | 1332
611.69/611.85 c 470s | 21 | 1220944 | 1205745 | 7149 345 | 676 | 1332
613.70/613.86 c 472s | 21 | 1226029 | 1210745 | 7149 347 | 676 | 1332
615.69/615.86 c 474s | 21 | 1230710 | 1215345 | 7149 348 | 676 | 1332
617.79/617.90 c 476s | 21 | 1235379 | 1219945 | 7149 349 | 676 | 1332
619.79/619.90 c 478s | 21 | 1240518 | 1225045 | 7149 350 | 676 | 1332
621.79/621.94 c 480s | 21 | 1245394 | 1229845 | 7149 351 | 676 | 1332
623.79/623.97 c 482s | 21 | 1249217 | 1233645 | 7149 352 | 676 | 1332
626.09/626.24 c 484s | 21 | 1254670 | 1239045 | 7149 354 | 676 | 1332
628.10/628.27 c 486s | 21 | 1259335 | 1243645 | 7149 355 | 676 | 1332
630.20/630.32 c 488s | 21 | 1264594 | 1248845 | 7149 356 | 676 | 1332
632.29/632.41 c 490s | 21 | 1269553 | 1253745 | 7149 358 | 676 | 1332
634.29/634.42 c 493s | 21 | 1274292 | 1258445 | 7149 359 | 676 | 1332
636.29/636.44 c 495s | 21 | 1279238 | 1263345 | 7149 360 | 676 | 1332
638.29/638.47 c 497s | 21 | 1283406 | 1267445 | 7149 361 | 676 | 1332
640.29/640.47 c 499s | 21 | 1288644 | 1272645 | 7149 362 | 676 | 1332
642.29/642.47 c 501s | 21 | 1293286 | 1277245 | 7149 363 | 676 | 1332
644.29/644.48 c 503s | 21 | 1298021 | 1281945 | 7149 365 | 676 | 1332
646.38/646.51 c 505s | 21 | 1302769 | 1286645 | 7149 366 | 676 | 1332
648.38/648.53 c 507s | 21 | 1308042 | 1291845 | 7149 367 | 676 | 1332
650.79/650.94 c 509s | 21 | 1312410 | 1296145 | 7149 368 | 676 | 1332
652.79/652.98 c 511s | 21 | 1317455 | 1301145 | 7149 370 | 676 | 1332
654.89/655.00 c 513s | 21 | 1322279 | 1305945 | 7149 371 | 676 | 1332
656.89/657.04 c 515s | 21 | 1327536 | 1311145 | 7149 372 | 676 | 1332
658.90/659.05 c 517s | 21 | 1332097 | 1315645 | 7149 373 | 676 | 1332
660.89/661.06 c 519s | 21 | 1336649 | 1320145 | 7149 374 | 676 | 1332
662.99/663.10 c 521s | 21 | 1341392 | 1324845 | 7149 376 | 676 | 1332
664.99/665.10 c 523s | 21 | 1345730 | 1329145 | 7149 377 | 676 | 1332
666.99/667.15 c 525s | 21 | 1350563 | 1333945 | 7149 378 | 676 | 1332
668.99/669.16 c 527s | 21 | 1354187 | 1337545 | 7149 379 | 676 | 1332
670.99/671.19 c 529s | 21 | 1358727 | 1342045 | 7149 380 | 676 | 1332
672.98/673.20 c 531s | 21 | 1362697 | 1345945 | 7149 381 | 676 | 1332
675.08/675.23 c 533s | 21 | 1367217 | 1350445 | 7149 382 | 676 | 1332
677.08/677.26 c 535s | 21 | 1371976 | 1355145 | 7149 383 | 676 | 1332
679.08/679.28 c 537s | 21 | 1376939 | 1360045 | 7149 384 | 676 | 1332
681.08/681.28 c 539s | 21 | 1381958 | 1364945 | 7149 386 | 676 | 1332
683.08/683.29 c 541s | 21 | 1386424 | 1369345 | 7149 387 | 676 | 1332
685.07/685.29 c 543s | 21 | 1391291 | 1374145 | 7149 388 | 676 | 1332
687.17/687.30 c 545s | 21 | 1396102 | 1378845 | 7149 389 | 676 | 1332
689.18/689.33 c 547s | 21 | 1400373 | 1383045 | 7149 390 | 676 | 1332
691.18/691.37 c 549s | 21 | 1405222 | 1387845 | 7149 391 | 676 | 1332
693.28/693.40 c 551s | 21 | 1410380 | 1392945 | 7149 393 | 676 | 1332
695.28/695.41 c 554s | 21 | 1415433 | 1397945 | 7149 394 | 676 | 1332
697.28/697.44 c 556s | 21 | 1420486 | 1402945 | 7149 395 | 676 | 1332
699.28/699.45 c 558s | 21 | 1424852 | 1407245 | 7149 396 | 676 | 1332
701.27/701.47 c 560s | 21 | 1429510 | 1411845 | 7149 398 | 676 | 1332
703.27/703.47 c 562s | 21 | 1433666 | 1415945 | 7149 399 | 676 | 1332
705.37/705.51 c 564s | 21 | 1438990 | 1421245 | 7149 400 | 676 | 1332
707.37/707.51 c 566s | 21 | 1443721 | 1425945 | 7149 401 | 676 | 1332
709.38/709.54 c 568s | 21 | 1448261 | 1430445 | 7149 402 | 676 | 1332
711.37/711.55 c 570s | 21 | 1453206 | 1435345 | 7149 404 | 676 | 1332
713.36/713.55 c 572s | 21 | 1457944 | 1440045 | 7149 405 | 676 | 1332
715.37/715.59 c 574s | 21 | 1463275 | 1445345 | 7149 406 | 676 | 1332
717.46/717.61 c 576s | 21 | 1468125 | 1450145 | 7149 407 | 676 | 1332
719.46/719.63 c 578s | 21 | 1472163 | 1454145 | 7149 408 | 676 | 1332
721.47/721.64 c 580s | 21 | 1477089 | 1459045 | 7149 410 | 676 | 1332
723.46/723.66 c 582s | 21 | 1482049 | 1463945 | 7149 411 | 676 | 1332
725.46/725.68 c 584s | 21 | 1486903 | 1468745 | 7149 412 | 676 | 1332
727.56/727.72 c 586s | 21 | 1491804 | 1473545 | 7149 413 | 676 | 1332
729.56/729.72 c 588s | 21 | 1496660 | 1478345 | 7149 414 | 676 | 1332
731.57/731.77 c 590s | 21 | 1501932 | 1483545 | 7149 416 | 676 | 1332
733.57/733.80 c 592s | 21 | 1507509 | 1489045 | 7149 417 | 676 | 1332
735.66/735.81 c 594s | 21 | 1511596 | 1493045 | 7149 418 | 676 | 1332
737.66/737.83 c 596s | 21 | 1516709 | 1498045 | 7149 419 | 676 | 1332
738.66/738.81 c 597s | 22 | 1519339 | 1500622 | 7149 420 | 676 | 1332
740.66/740.84 c 599s | 22 | 1523926 | 1505122 | 7149 421 | 676 | 1332
742.66/742.87 c 601s | 22 | 1529051 | 1510222 | 7149 422 | 676 | 1332
744.66/744.88 c 603s | 22 | 1533514 | 1514622 | 7149 424 | 676 | 1332
746.66/746.90 c 605s | 22 | 1538486 | 1519522 | 7149 425 | 676 | 1332
748.76/748.92 c 607s | 22 | 1543543 | 1524522 | 7149 426 | 676 | 1332
750.76/750.94 c 609s | 22 | 1548318 | 1529222 | 7149 427 | 676 | 1332
752.75/752.97 c 611s | 22 | 1553262 | 1534122 | 7149 429 | 676 | 1332
754.75/754.98 c 613s | 22 | 1557517 | 1538322 | 7149 430 | 676 | 1332
756.85/757.00 c 615s | 22 | 1562288 | 1543022 | 7149 431 | 676 | 1332
758.86/759.01 c 617s | 22 | 1566650 | 1547322 | 7149 432 | 676 | 1332
760.85/761.04 c 619s | 22 | 1571993 | 1552622 | 7149 433 | 676 | 1332
762.85/763.07 c 621s | 22 | 1577171 | 1557722 | 7149 435 | 676 | 1332
764.85/765.09 c 623s | 22 | 1582764 | 1563222 | 7149 436 | 676 | 1332
766.95/767.14 c 625s | 22 | 1587752 | 1568122 | 7149 437 | 676 | 1332
768.95/769.14 c 627s | 22 | 1592318 | 1572622 | 7149 438 | 676 | 1332
770.96/771.15 c 629s | 22 | 1597387 | 1577622 | 7149 440 | 676 | 1332
772.95/773.19 c 631s | 22 | 1601631 | 1581822 | 7149 441 | 676 | 1332
775.05/775.20 c 633s | 22 | 1605585 | 1585722 | 7149 442 | 676 | 1332
777.05/777.22 c 635s | 22 | 1610728 | 1590822 | 7149 443 | 676 | 1332
779.05/779.25 c 637s | 22 | 1615469 | 1595522 | 7149 444 | 676 | 1332
781.05/781.26 c 639s | 22 | 1620302 | 1600322 | 7149 445 | 676 | 1332
783.05/783.27 c 641s | 22 | 1625120 | 1605122 | 7149 447 | 676 | 1332
785.05/785.29 c 643s | 22 | 1630069 | 1610022 | 7149 448 | 676 | 1332
787.15/787.33 c 645s | 22 | 1635216 | 1615122 | 7149 449 | 676 | 1332
789.15/789.34 c 647s | 22 | 1640678 | 1620522 | 7149 450 | 676 | 1332
791.24/791.40 c 649s | 22 | 1645026 | 1624822 | 7149 452 | 676 | 1332
793.24/793.42 c 652s | 22 | 1650268 | 1630022 | 7149 453 | 676 | 1332
795.25/795.43 c 654s | 22 | 1655226 | 1634922 | 7149 454 | 676 | 1332
797.24/797.48 c 656s | 22 | 1660160 | 1639822 | 7149 455 | 676 | 1332
799.34/799.50 c 658s | 22 | 1665739 | 1645322 | 7149 457 | 676 | 1332
801.34/801.51 c 660s | 22 | 1670096 | 1649622 | 7149 458 | 676 | 1332
803.34/803.51 c 662s | 22 | 1675193 | 1654622 | 7149 459 | 676 | 1332
805.33/805.54 c 664s | 22 | 1680534 | 1659922 | 7149 460 | 676 | 1332
807.34/807.57 c 666s | 22 | 1686097 | 1665422 | 7149 462 | 676 | 1332
809.33/809.58 c 668s | 22 | 1690432 | 1669722 | 7149 463 | 676 | 1332
811.43/811.60 c 670s | 22 | 1695794 | 1675022 | 7149 464 | 676 | 1332
813.42/813.61 c 672s | 22 | 1700831 | 1680022 | 7149 466 | 676 | 1332
815.42/815.62 c 674s | 22 | 1705281 | 1684422 | 7149 467 | 676 | 1332
817.62/817.89 c 676s | 22 | 1710556 | 1689622 | 7149 468 | 676 | 1332
819.62/819.89 c 678s | 22 | 1716188 | 1695222 | 7149 469 | 676 | 1332
821.72/821.91 c 680s | 22 | 1721063 | 1700022 | 7149 471 | 676 | 1332
823.73/823.94 c 682s | 22 | 1726204 | 1705122 | 7149 472 | 676 | 1332
825.72/825.96 c 684s | 22 | 1731412 | 1710222 | 7149 473 | 676 | 1332
827.72/827.99 c 686s | 22 | 1735968 | 1714722 | 7149 474 | 676 | 1332
829.82/830.03 c 688s | 22 | 1740624 | 1719322 | 7149 475 | 676 | 1332
831.82/832.04 c 690s | 22 | 1745854 | 1724522 | 7149 477 | 676 | 1332
833.83/834.06 c 692s | 22 | 1751242 | 1729822 | 7149 478 | 676 | 1332
835.83/836.07 c 694s | 22 | 1756395 | 1734922 | 7149 479 | 676 | 1332
837.82/838.08 c 696s | 22 | 1761763 | 1740222 | 7149 481 | 676 | 1332
839.82/840.08 c 698s | 22 | 1766395 | 1744822 | 7149 482 | 676 | 1332
842.02/842.24 c 700s | 22 | 1771261 | 1749622 | 7149 483 | 676 | 1332
844.02/844.28 c 702s | 22 | 1776586 | 1754922 | 7149 484 | 676 | 1332
846.02/846.29 c 704s | 22 | 1781324 | 1759622 | 7149 486 | 676 | 1332
848.12/848.32 c 706s | 22 | 1786668 | 1764922 | 7149 487 | 676 | 1332
850.12/850.34 c 708s | 22 | 1792148 | 1770322 | 7149 488 | 676 | 1332
852.11/852.37 c 710s | 22 | 1796803 | 1774922 | 7864 489 | 676 | 1332
854.21/854.42 c 713s | 22 | 1801472 | 1779522 | 7864 490 | 676 | 1332
856.21/856.43 c 715s | 22 | 1806031 | 1784022 | 7864 491 | 676 | 1332
858.21/858.45 c 717s | 22 | 1810699 | 1788622 | 7864 493 | 676 | 1332
860.21/860.47 c 719s | 22 | 1815264 | 1793122 | 7864 494 | 676 | 1332
862.32/862.51 c 721s | 22 | 1820699 | 1798522 | 7864 495 | 676 | 1332
864.71/864.92 c 723s | 22 | 1826171 | 1803922 | 7864 496 | 676 | 1332
866.91/867.19 c 725s | 22 | 1831323 | 1809022 | 7864 497 | 676 | 1332
869.01/869.21 c 727s | 22 | 1836489 | 1814122 | 7864 498 | 676 | 1332
871.01/871.30 c 729s | 22 | 1840950 | 1818522 | 7864 500 | 676 | 1332
873.10/873.30 c 731s | 22 | 1845189 | 1822722 | 7864 500 | 676 | 1332
875.10/875.37 c 733s | 22 | 1849743 | 1827222 | 7864 502 | 676 | 1332
877.10/877.38 c 735s | 22 | 1853897 | 1831322 | 7864 502 | 676 | 1332
879.10/879.38 c 737s | 22 | 1858038 | 1835422 | 7864 503 | 676 | 1332
881.10/881.39 c 739s | 22 | 1862591 | 1839922 | 7864 504 | 676 | 1332
883.20/883.42 c 742s | 22 | 1867558 | 1844822 | 7864 506 | 676 | 1332
885.20/885.42 c 744s | 22 | 1872126 | 1849322 | 7864 507 | 676 | 1332
887.20/887.46 c 746s | 22 | 1877603 | 1854722 | 7864 508 | 676 | 1332
889.20/889.48 c 748s | 22 | 1881745 | 1858822 | 7864 509 | 676 | 1332
891.30/891.53 c 750s | 22 | 1886894 | 1863922 | 7864 510 | 676 | 1332
893.30/893.55 c 752s | 22 | 1892114 | 1869022 | 7864 511 | 676 | 1332
895.30/895.56 c 754s | 22 | 1897608 | 1874422 | 7864 512 | 676 | 1332
897.29/897.60 c 756s | 22 | 1902053 | 1878822 | 7864 514 | 676 | 1332
899.49/899.75 c 758s | 22 | 1907219 | 1883922 | 7864 515 | 676 | 1332
901.49/901.79 c 760s | 22 | 1912678 | 1889322 | 7864 516 | 676 | 1332
903.59/903.82 c 762s | 22 | 1916734 | 1893322 | 7864 517 | 676 | 1332
905.59/905.85 c 764s | 22 | 1922388 | 1898922 | 7864 518 | 676 | 1332
907.59/907.87 c 766s | 22 | 1927237 | 1903722 | 7864 519 | 676 | 1332
909.60/909.89 c 768s | 22 | 1932285 | 1908722 | 7864 520 | 676 | 1332
911.59/911.90 c 770s | 22 | 1936648 | 1913022 | 7864 521 | 676 | 1332
913.89/914.17 c 772s | 22 | 1941812 | 1918122 | 7864 523 | 676 | 1332
915.98/916.21 c 774s | 22 | 1947257 | 1923522 | 7864 524 | 676 | 1332
917.98/918.23 c 776s | 22 | 1952599 | 1928722 | 7864 525 | 676 | 1332
919.98/920.26 c 778s | 22 | 1957881 | 1933922 | 7864 526 | 676 | 1332
921.98/922.29 c 780s | 22 | 1962744 | 1938722 | 7864 527 | 676 | 1332
924.28/924.55 c 783s | 22 | 1967433 | 1943322 | 7864 528 | 676 | 1332
926.28/926.55 c 785s | 22 | 1972688 | 1948522 | 7864 530 | 676 | 1332
928.28/928.57 c 787s | 22 | 1977735 | 1953522 | 7864 531 | 676 | 1332
930.28/930.57 c 789s | 22 | 1982231 | 1957922 | 7864 532 | 676 | 1332
932.28/932.57 c 791s | 22 | 1987292 | 1962922 | 7864 533 | 676 | 1332
934.38/934.60 c 793s | 22 | 1992070 | 1967622 | 7864 534 | 676 | 1332
936.38/936.60 c 795s | 22 | 1996427 | 1971922 | 7864 535 | 676 | 1332
938.37/938.63 c 797s | 22 | 2001278 | 1976722 | 7864 536 | 676 | 1332
940.38/940.64 c 799s | 22 | 2006685 | 1982022 | 7864 537 | 676 | 1332
942.37/942.67 c 801s | 22 | 2010032 | 1985322 | 7864 538 | 676 | 1332
944.47/944.72 c 803s | 22 | 2015178 | 1990422 | 7864 539 | 676 | 1332
946.57/946.86 c 805s | 22 | 2019936 | 1995122 | 7864 541 | 676 | 1332
948.57/948.86 c 807s | 22 | 2025398 | 2000522 | 7864 542 | 676 | 1332
950.57/950.87 c 809s | 22 | 2030156 | 2005222 | 7864 543 | 676 | 1332
952.77/953.09 c 811s | 22 | 2035444 | 2010422 | 7864 544 | 676 | 1332
954.77/955.09 c 813s | 22 | 2040092 | 2015022 | 7864 545 | 676 | 1332
956.87/957.11 c 815s | 22 | 2044948 | 2019822 | 7864 546 | 676 | 1332
958.87/959.14 c 817s | 22 | 2049818 | 2024622 | 7864 547 | 676 | 1332
960.87/961.14 c 819s | 22 | 2054353 | 2029122 | 7864 548 | 676 | 1332
962.86/963.17 c 821s | 22 | 2059002 | 2033722 | 7864 550 | 676 | 1332
964.86/965.19 c 823s | 22 | 2063959 | 2038622 | 7864 551 | 676 | 1332
966.96/967.22 c 825s | 22 | 2069210 | 2043822 | 7864 552 | 676 | 1332
968.97/969.23 c 827s | 22 | 2073786 | 2048322 | 7864 553 | 676 | 1332
970.96/971.26 c 829s | 22 | 2079080 | 2053522 | 7864 554 | 676 | 1332
972.96/973.29 c 831s | 22 | 2084363 | 2058722 | 7864 555 | 676 | 1332
974.96/975.30 c 833s | 22 | 2087930 | 2062222 | 7864 556 | 676 | 1332
977.06/977.32 c 835s | 22 | 2093386 | 2067622 | 7864 557 | 676 | 1332
979.16/979.43 c 838s | 22 | 2098355 | 2072522 | 7864 559 | 676 | 1332
981.16/981.47 c 840s | 22 | 2103527 | 2077622 | 7864 560 | 676 | 1332
983.16/983.48 c 842s | 22 | 2108193 | 2082222 | 7864 561 | 676 | 1332
985.15/985.49 c 844s | 22 | 2112748 | 2086722 | 7864 562 | 676 | 1332
987.25/987.51 c 846s | 22 | 2116867 | 2090822 | 7864 563 | 676 | 1332
989.25/989.52 c 848s | 22 | 2122209 | 2096122 | 7864 564 | 676 | 1332
991.25/991.55 c 850s | 22 | 2127058 | 2100922 | 7864 565 | 676 | 1332
993.25/993.55 c 852s | 22 | 2131608 | 2105422 | 7864 566 | 676 | 1332
995.25/995.57 c 854s | 22 | 2137043 | 2110822 | 7864 567 | 676 | 1332
997.25/997.58 c 856s | 22 | 2141415 | 2115122 | 7864 568 | 676 | 1332
999.35/999.61 c 858s | 22 | 2147014 | 2120622 | 7864 570 | 676 | 1332
1001.35/1001.63 c 860s | 22 | 2152279 | 2125822 | 7864 571 | 676 | 1332
1003.35/1003.65 c 862s | 22 | 2156559 | 2130022 | 7864 572 | 676 | 1332
1005.35/1005.66 c 864s | 22 | 2161415 | 2134822 | 7864 573 | 676 | 1332
1007.35/1007.67 c 866s | 22 | 2166883 | 2140222 | 7864 574 | 676 | 1332
1009.35/1009.67 c 868s | 22 | 2171719 | 2145022 | 7864 575 | 676 | 1332
1011.44/1011.73 c 870s | 22 | 2176783 | 2150022 | 7864 577 | 676 | 1332
1013.44/1013.77 c 872s | 22 | 2181042 | 2154222 | 7864 577 | 676 | 1332
1015.44/1015.78 c 874s | 22 | 2186307 | 2159422 | 7864 579 | 676 | 1332
1017.54/1017.80 c 876s | 22 | 2191814 | 2164822 | 7864 580 | 676 | 1332
1019.54/1019.83 c 878s | 22 | 2196787 | 2169722 | 7864 581 | 676 | 1332
1021.53/1021.85 c 880s | 22 | 2202368 | 2175222 | 7864 582 | 676 | 1332
1023.54/1023.89 c 882s | 22 | 2205621 | 2178422 | 7864 583 | 676 | 1332
1025.64/1025.92 c 884s | 22 | 2211199 | 2183922 | 7864 584 | 676 | 1332
1027.63/1027.93 c 886s | 22 | 2215249 | 2187922 | 7864 585 | 676 | 1332
1029.63/1029.96 c 888s | 22 | 2220038 | 2192622 | 7864 586 | 676 | 1332
1031.64/1031.96 c 890s | 22 | 2225192 | 2197722 | 7864 588 | 676 | 1332
1033.63/1033.97 c 892s | 22 | 2230301 | 2202722 | 7864 589 | 676 | 1332
1035.73/1036.00 c 894s | 22 | 2236155 | 2208422 | 7864 590 | 676 | 1332
1037.73/1038.01 c 896s | 22 | 2240668 | 2212822 | 7864 591 | 676 | 1332
1039.74/1040.03 c 898s | 22 | 2245578 | 2217622 | 7864 592 | 676 | 1332
1041.74/1042.04 c 900s | 22 | 2249786 | 2221722 | 7864 593 | 676 | 1332
1043.74/1044.07 c 902s | 22 | 2255277 | 2227122 | 7864 594 | 676 | 1332
1045.74/1046.09 c 904s | 22 | 2259282 | 2231022 | 7864 595 | 676 | 1332
1047.83/1048.11 c 906s | 22 | 2264652 | 2236322 | 7864 597 | 676 | 1332
1049.83/1050.13 c 908s | 22 | 2270271 | 2241822 | 7864 598 | 676 | 1332
1051.83/1052.14 c 910s | 22 | 2274960 | 2246422 | 7864 599 | 676 | 1332
1053.83/1054.19 c 912s | 23 | 2279670 | 2251038 | 7864 600 | 676 | 1332
1055.93/1056.22 c 914s | 23 | 2285297 | 2256538 | 7864 601 | 676 | 1332
1057.93/1058.26 c 916s | 23 | 2290575 | 2261738 | 7864 602 | 676 | 1332
1059.92/1060.26 c 918s | 23 | 2295645 | 2266738 | 7864 604 | 676 | 1332
1061.92/1062.29 c 920s | 23 | 2298986 | 2270038 | 7864 604 | 676 | 1332
1064.02/1064.31 c 922s | 23 | 2304369 | 2275338 | 7864 606 | 676 | 1332
1066.02/1066.31 c 924s | 23 | 2309343 | 2280238 | 7864 607 | 676 | 1332
1068.02/1068.34 c 926s | 23 | 2314807 | 2285638 | 7864 608 | 676 | 1332
1070.03/1070.34 c 928s | 23 | 2319168 | 2289938 | 7864 609 | 676 | 1332
1072.02/1072.36 c 930s | 23 | 2324469 | 2295138 | 7864 610 | 676 | 1332
1074.01/1074.36 c 932s | 23 | 2328847 | 2299438 | 7864 611 | 676 | 1332
1076.01/1076.37 c 934s | 23 | 2333838 | 2304338 | 7864 612 | 676 | 1332
1078.12/1078.40 c 936s | 23 | 2339107 | 2309538 | 7864 614 | 676 | 1332
1080.42/1080.75 c 939s | 23 | 2344066 | 2314438 | 7864 615 | 676 | 1332
1082.42/1082.75 c 941s | 23 | 2349741 | 2320038 | 7864 616 | 676 | 1332
1084.42/1084.77 c 943s | 23 | 2354900 | 2325138 | 7864 617 | 676 | 1332
1086.41/1086.77 c 945s | 23 | 2359872 | 2330038 | 7864 618 | 676 | 1332
1088.41/1088.78 c 947s | 23 | 2365348 | 2335438 | 7864 620 | 676 | 1332
1090.51/1090.80 c 949s | 23 | 2370016 | 2340038 | 7864 621 | 676 | 1332
1092.51/1092.82 c 951s | 23 | 2375521 | 2345438 | 7864 622 | 676 | 1332
1094.51/1094.84 c 953s | 23 | 2380422 | 2350238 | 7864 623 | 676 | 1332
1096.51/1096.87 c 955s | 23 | 2385699 | 2355438 | 7864 624 | 676 | 1332
1098.51/1098.88 c 957s | 23 | 2390477 | 2360138 | 7864 625 | 676 | 1332
1100.51/1100.89 c 959s | 23 | 2395380 | 2364938 | 7864 626 | 676 | 1332
1102.61/1102.92 c 961s | 23 | 2399685 | 2369138 | 7864 627 | 676 | 1332
1104.61/1104.94 c 963s | 23 | 2405246 | 2374638 | 7864 629 | 676 | 1332
1106.61/1106.96 c 965s | 23 | 2410711 | 2380038 | 7864 630 | 676 | 1332
1108.61/1108.98 c 967s | 23 | 2415233 | 2384438 | 7864 631 | 676 | 1332
1110.60/1110.99 c 969s | 23 | 2420700 | 2389838 | 7864 632 | 676 | 1332
1112.70/1113.02 c 971s | 23 | 2425296 | 2394338 | 7864 633 | 676 | 1332
1114.70/1115.05 c 973s | 23 | 2429506 | 2398438 | 7864 634 | 676 | 1332
1116.70/1117.06 c 975s | 23 | 2435178 | 2404038 | 7864 636 | 676 | 1332
1118.80/1119.14 c 977s | 23 | 2439871 | 2408638 | 7864 637 | 676 | 1332
1120.80/1121.16 c 979s | 23 | 2445445 | 2414138 | 7864 638 | 676 | 1332
1123.00/1123.31 c 981s | 23 | 2450184 | 2418838 | 7864 639 | 676 | 1332
1125.01/1125.33 c 983s | 23 | 2455744 | 2424338 | 7864 640 | 676 | 1332
1127.00/1127.36 c 985s | 23 | 2460828 | 2429338 | 7864 641 | 676 | 1332
1129.00/1129.39 c 987s | 23 | 2465483 | 2433938 | 7864 642 | 676 | 1332
1131.30/1131.65 c 990s | 23 | 2470437 | 2438838 | 7864 644 | 676 | 1332
1133.29/1133.67 c 992s | 23 | 2476330 | 2444638 | 7864 645 | 676 | 1332
1135.29/1135.69 c 994s | 23 | 2480726 | 2448938 | 7864 646 | 676 | 1332
1137.39/1137.70 c 996s | 23 | 2486299 | 2454438 | 7864 647 | 676 | 1332
1139.40/1139.73 c 998s | 23 | 2491198 | 2459238 | 7864 648 | 676 | 1332
1141.39/1141.75 c 1000s | 23 | 2496378 | 2464338 | 7864 650 | 676 | 1332
1143.39/1143.76 c 1002s | 23 | 2501474 | 2469338 | 7864 651 | 676 | 1332
1145.39/1145.79 c 1004s | 23 | 2506251 | 2474038 | 7864 652 | 676 | 1332
1147.49/1147.81 c 1006s | 23 | 2512051 | 2479738 | 7864 653 | 676 | 1332
1149.79/1150.16 c 1008s | 23 | 2517064 | 2484638 | 7864 654 | 676 | 1332
1151.88/1152.24 c 1010s | 23 | 2522533 | 2490038 | 7864 656 | 676 | 1332
1153.88/1154.26 c 1012s | 23 | 2527323 | 2494738 | 7864 657 | 676 | 1332
1155.89/1156.29 c 1014s | 23 | 2532601 | 2499938 | 7864 658 | 676 | 1332
1157.99/1158.31 c 1016s | 23 | 2537066 | 2504338 | 7864 659 | 676 | 1332
1159.99/1160.33 c 1018s | 23 | 2542441 | 2509638 | 7864 660 | 676 | 1332
1161.98/1162.33 c 1020s | 23 | 2547615 | 2514738 | 7864 661 | 676 | 1332
1163.98/1164.35 c 1022s | 23 | 2552395 | 2519438 | 7864 662 | 676 | 1332
1165.98/1166.39 c 1024s | 23 | 2557368 | 2524338 | 7864 663 | 676 | 1332
1168.08/1168.42 c 1027s | 23 | 2562013 | 2528938 | 7864 665 | 676 | 1332
1170.09/1170.45 c 1029s | 23 | 2567365 | 2534238 | 7864 666 | 676 | 1332
1172.08/1172.48 c 1031s | 23 | 2573226 | 2540038 | 7864 667 | 676 | 1332
1174.08/1174.49 c 1033s | 23 | 2578325 | 2545038 | 7864 668 | 676 | 1332
1176.18/1176.54 c 1035s | 23 | 2583185 | 2549838 | 7864 669 | 676 | 1332
1178.17/1178.54 c 1037s | 23 | 2587655 | 2554238 | 7864 670 | 676 | 1332
1180.18/1180.57 c 1039s | 23 | 2592917 | 2559438 | 7864 672 | 676 | 1332
1182.37/1182.70 c 1041s | 23 | 2597793 | 2564238 | 7864 673 | 676 | 1332
1184.38/1184.72 c 1043s | 23 | 2602853 | 2569238 | 7864 674 | 676 | 1332
1186.37/1186.74 c 1045s | 23 | 2608603 | 2574938 | 7864 675 | 676 | 1332
1188.37/1188.76 c 1047s | 23 | 2613873 | 2580138 | 7864 676 | 676 | 1332
1190.37/1190.78 c 1049s | 23 | 2619063 | 2585238 | 7864 678 | 676 | 1332
1192.46/1192.83 c 1051s | 23 | 2624035 | 2590138 | 7864 679 | 676 | 1332
1194.46/1194.86 c 1053s | 23 | 2629817 | 2595838 | 7864 680 | 676 | 1332
1196.66/1197.07 c 1055s | 23 | 2635210 | 2601138 | 7864 681 | 676 | 1332
1198.67/1199.09 c 1057s | 23 | 2640156 | 2606038 | 7864 682 | 676 | 1332
1200.66/1201.09 c 1059s | 23 | 2645548 | 2611338 | 7864 684 | 676 | 1332
1202.86/1203.28 c 1061s | 23 | 2650981 | 2616638 | 7864 685 | 676 | 1332
1204.86/1205.28 c 1063s | 23 | 2655663 | 2621238 | 7864 686 | 676 | 1332
1206.86/1207.29 c 1065s | 23 | 2661425 | 2626938 | 7864 687 | 676 | 1332
1208.86/1209.29 c 1067s | 23 | 2664754 | 2630238 | 7864 688 | 676 | 1332
1210.96/1211.31 c 1069s | 23 | 2670733 | 2636138 | 7864 689 | 676 | 1332
1212.97/1213.33 c 1071s | 23 | 2676520 | 2641838 | 7864 691 | 676 | 1332
1214.96/1215.35 c 1073s | 23 | 2681940 | 2647138 | 7864 692 | 676 | 1332
1216.96/1217.37 c 1075s | 23 | 2685588 | 2650738 | 7864 693 | 676 | 1332
1218.96/1219.40 c 1077s | 23 | 2690791 | 2655838 | 7864 694 | 676 | 1332
1221.06/1221.41 c 1080s | 23 | 2695860 | 2660838 | 7864 695 | 676 | 1332
1223.05/1223.44 c 1082s | 23 | 2700753 | 2665638 | 7864 696 | 676 | 1332
1225.06/1225.44 c 1084s | 23 | 2705845 | 2670638 | 7864 697 | 676 | 1332
1227.05/1227.46 c 1086s | 23 | 2711701 | 2676338 | 7864 699 | 676 | 1332
1229.05/1229.48 c 1088s | 23 | 2715566 | 2680138 | 7864 700 | 676 | 1332
1231.15/1231.51 c 1090s | 23 | 2721547 | 2686038 | 7864 701 | 676 | 1332
1233.14/1233.53 c 1092s | 23 | 2726316 | 2690738 | 7864 702 | 676 | 1332
1235.44/1235.86 c 1094s | 23 | 2732101 | 2696438 | 7864 703 | 676 | 1332
1237.45/1237.87 c 1096s | 23 | 2738275 | 2702538 | 7864 705 | 676 | 1332
1239.45/1239.89 c 1098s | 23 | 2743572 | 2707738 | 7864 706 | 676 | 1332
1241.55/1241.91 c 1100s | 23 | 2748063 | 2712138 | 7864 707 | 676 | 1332
1243.54/1243.93 c 1102s | 23 | 2753726 | 2717738 | 7864 708 | 676 | 1332
1245.54/1245.94 c 1104s | 23 | 2758294 | 2722238 | 7864 709 | 676 | 1332
1247.54/1247.96 c 1106s | 23 | 2763263 | 2727138 | 7864 711 | 676 | 1332
1249.54/1249.98 c 1108s | 23 | 2767818 | 2731638 | 7864 712 | 676 | 1332
1251.63/1252.01 c 1110s | 23 | 2772877 | 2736638 | 7864 713 | 676 | 1332
1253.63/1254.03 c 1112s | 23 | 2778261 | 2741938 | 7864 714 | 676 | 1332
1255.63/1256.06 c 1114s | 23 | 2783856 | 2747438 | 7864 715 | 676 | 1332
1257.64/1258.08 c 1116s | 23 | 2788842 | 2752338 | 7864 716 | 676 | 1332
1259.73/1260.11 c 1118s | 23 | 2793726 | 2757138 | 7864 718 | 676 | 1332
1261.83/1262.23 c 1120s | 23 | 2798994 | 2762338 | 7864 719 | 676 | 1332
1263.83/1264.25 c 1122s | 23 | 2803350 | 2766638 | 7864 720 | 676 | 1332
1265.83/1266.27 c 1124s | 23 | 2809404 | 2772538 | 7864 721 | 676 | 1332
1267.83/1268.27 c 1126s | 23 | 2814366 | 2777438 | 7864 722 | 676 | 1332
1269.83/1270.28 c 1128s | 23 | 2819355 | 2782338 | 7864 723 | 676 | 1332
1271.92/1272.31 c 1130s | 23 | 2825344 | 2788238 | 7864 725 | 676 | 1332
1273.92/1274.31 c 1132s | 23 | 2829502 | 2792338 | 7864 726 | 676 | 1332
1275.92/1276.32 c 1134s | 23 | 2835184 | 2797938 | 7864 727 | 676 | 1332
1277.92/1278.32 c 1136s | 23 | 2840072 | 2802738 | 7864 728 | 676 | 1332
1279.92/1280.32 c 1138s | 23 | 2844125 | 2806738 | 7864 729 | 676 | 1332
1281.91/1282.34 c 1140s | 23 | 2849891 | 2812438 | 7864 730 | 676 | 1332
1283.92/1284.35 c 1142s | 23 | 2854860 | 2817338 | 7864 732 | 676 | 1332
1285.92/1286.36 c 1144s | 23 | 2859832 | 2822238 | 7864 733 | 676 | 1332
1287.92/1288.37 c 1146s | 23 | 2865813 | 2828138 | 7864 734 | 676 | 1332
1289.92/1290.37 c 1148s | 23 | 2871047 | 2833338 | 7864 735 | 676 | 1332
1291.91/1292.39 c 1150s | 23 | 2875283 | 2837538 | 7864 736 | 676 | 1332
1293.91/1294.39 c 1152s | 23 | 2880946 | 2843138 | 7864 738 | 676 | 1332
1296.01/1296.40 c 1154s | 23 | 2885684 | 2847838 | 7864 739 | 676 | 1332
1298.01/1298.41 c 1156s | 23 | 2891541 | 2853638 | 7864 740 | 676 | 1332
1300.01/1300.46 c 1159s | 23 | 2896409 | 2858438 | 7864 741 | 676 | 1332
1302.02/1302.47 c 1161s | 23 | 2900770 | 2862738 | 7864 742 | 676 | 1332
1304.01/1304.47 c 1163s | 23 | 2906442 | 2868338 | 7864 743 | 676 | 1332
1306.01/1306.48 c 1165s | 23 | 2911327 | 2873138 | 7864 745 | 676 | 1332
1308.01/1308.49 c 1167s | 23 | 2916706 | 2878438 | 7864 746 | 676 | 1332
1310.11/1310.50 c 1169s | 23 | 2922097 | 2883738 | 7864 747 | 676 | 1332
1312.50/1312.90 c 1171s | 23 | 2927605 | 2889138 | 7864 748 | 676 | 1332
1314.50/1314.91 c 1173s | 23 | 2932692 | 2894138 | 8651 749 | 676 | 1332
1316.50/1316.94 c 1175s | 23 | 2938171 | 2899538 | 8651 750 | 676 | 1332
1318.52/1318.97 c 1177s | 23 | 2943035 | 2904338 | 8651 751 | 676 | 1332
1320.61/1321.03 c 1179s | 23 | 2948208 | 2909438 | 8651 753 | 676 | 1332
1322.60/1323.07 c 1181s | 23 | 2952920 | 2914038 | 8651 753 | 676 | 1332
1325.11/1325.51 c 1184s | 23 | 2956863 | 2917938 | 8651 754 | 676 | 1332
1327.10/1327.54 c 1186s | 23 | 2962311 | 2923338 | 8651 755 | 676 | 1332
1329.10/1329.57 c 1188s | 23 | 2967070 | 2928038 | 8651 756 | 676 | 1332
1331.10/1331.58 c 1190s | 23 | 2971634 | 2932538 | 8651 757 | 676 | 1332
1333.20/1333.60 c 1192s | 23 | 2976289 | 2937138 | 8651 758 | 676 | 1332
1335.20/1335.66 c 1194s | 23 | 2981551 | 2942338 | 8651 760 | 676 | 1332
1337.21/1337.69 c 1196s | 23 | 2985701 | 2946438 | 8651 760 | 676 | 1332
1339.30/1339.71 c 1198s | 23 | 2989948 | 2950638 | 8651 761 | 676 | 1332
1341.30/1341.71 c 1200s | 23 | 2995418 | 2956038 | 8651 762 | 676 | 1332
1343.40/1343.82 c 1202s | 23 | 2999398 | 2959938 | 8651 763 | 676 | 1332
1345.40/1345.83 c 1204s | 23 | 3004161 | 2964638 | 8651 764 | 676 | 1332
1347.40/1347.87 c 1206s | 23 | 3008498 | 2968938 | 8651 765 | 676 | 1332
1349.50/1349.91 c 1208s | 23 | 3013866 | 2974238 | 8651 766 | 676 | 1332
1351.51/1351.91 c 1210s | 23 | 3018892 | 2979238 | 8651 767 | 676 | 1332
1353.50/1353.94 c 1212s | 23 | 3022440 | 2982738 | 8651 768 | 676 | 1332
1355.50/1355.96 c 1214s | 23 | 3027578 | 2987838 | 8651 769 | 676 | 1332
1357.50/1357.97 c 1216s | 23 | 3032531 | 2992738 | 8651 770 | 676 | 1332
1359.60/1360.00 c 1218s | 23 | 3037397 | 2997538 | 8651 771 | 676 | 1332
1361.60/1362.01 c 1220s | 23 | 3041440 | 3001538 | 8651 772 | 676 | 1332
1363.60/1364.03 c 1222s | 23 | 3046869 | 3006938 | 8651 773 | 676 | 1332
1365.59/1366.05 c 1224s | 23 | 3051851 | 3011838 | 8651 774 | 676 | 1332
1367.59/1368.07 c 1226s | 23 | 3056400 | 3016338 | 8651 775 | 676 | 1332
1369.59/1370.09 c 1228s | 23 | 3061026 | 3020938 | 8651 776 | 676 | 1332
1371.69/1372.12 c 1230s | 23 | 3066267 | 3026138 | 8651 777 | 676 | 1332
1373.69/1374.15 c 1232s | 23 | 3071129 | 3030938 | 8651 778 | 676 | 1332
1375.70/1376.18 c 1234s | 23 | 3076567 | 3036338 | 8651 780 | 676 | 1332
1378.40/1378.88 c 1237s | 23 | 3081239 | 3040938 | 8651 781 | 676 | 1332
1380.50/1380.91 c 1239s | 23 | 3087318 | 3046938 | 8651 782 | 676 | 1332
1382.50/1382.93 c 1241s | 23 | 3091995 | 3051538 | 8651 783 | 676 | 1332
1384.61/1385.04 c 1243s | 23 | 3096532 | 3056038 | 8651 784 | 676 | 1332
1386.60/1387.07 c 1245s | 23 | 3101085 | 3060538 | 8651 785 | 676 | 1332
1388.60/1389.09 c 1247s | 23 | 3106555 | 3065938 | 8651 786 | 676 | 1332
1390.70/1391.15 c 1249s | 23 | 3111612 | 3070938 | 8651 787 | 676 | 1332
1392.80/1393.23 c 1251s | 23 | 3116401 | 3075638 | 8651 788 | 676 | 1332
1394.80/1395.26 c 1253s | 23 | 3121966 | 3081138 | 8651 789 | 676 | 1332
1397.20/1397.66 c 1256s | 23 | 3127009 | 3086138 | 8651 790 | 676 | 1332
1399.20/1399.68 c 1258s | 23 | 3132580 | 3091638 | 8651 791 | 676 | 1332
1401.70/1402.15 c 1260s | 23 | 3136922 | 3095938 | 8651 792 | 676 | 1332
1403.69/1404.16 c 1262s | 23 | 3142374 | 3101338 | 8651 793 | 676 | 1332
1405.69/1406.19 c 1264s | 23 | 3147618 | 3106538 | 8651 794 | 676 | 1332
1407.79/1408.20 c 1266s | 23 | 3152443 | 3111338 | 8651 795 | 676 | 1332
1409.80/1410.22 c 1268s | 23 | 3157301 | 3116138 | 8651 797 | 676 | 1332
1411.79/1412.22 c 1270s | 23 | 3161755 | 3120538 | 8651 797 | 676 | 1332
1413.79/1414.25 c 1272s | 23 | 3166134 | 3124838 | 8651 798 | 676 | 1332
1415.79/1416.29 c 1274s | 23 | 3171609 | 3130238 | 8651 800 | 676 | 1332
1417.89/1418.31 c 1276s | 23 | 3176566 | 3135138 | 8651 801 | 676 | 1332
1419.89/1420.32 c 1278s | 23 | 3181271 | 3139738 | 8651 802 | 676 | 1332
1421.89/1422.33 c 1280s | 23 | 3186345 | 3144738 | 8651 803 | 676 | 1332
1423.88/1424.36 c 1282s | 23 | 3191130 | 3149438 | 8651 804 | 676 | 1332
1426.09/1426.51 c 1285s | 23 | 3195518 | 3153738 | 8651 805 | 676 | 1332
1428.19/1428.61 c 1287s | 23 | 3200813 | 3158938 | 8651 806 | 676 | 1332
1430.19/1430.64 c 1289s | 23 | 3206075 | 3164138 | 8651 807 | 676 | 1332
1432.19/1432.65 c 1291s | 23 | 3211021 | 3169038 | 8651 808 | 676 | 1332
1434.19/1434.68 c 1293s | 23 | 3215555 | 3173538 | 8651 809 | 676 | 1332
1436.29/1436.77 c 1295s | 23 | 3221004 | 3178938 | 8651 810 | 676 | 1332
1438.39/1438.81 c 1297s | 23 | 3226693 | 3184538 | 8651 811 | 676 | 1332
1440.39/1440.84 c 1299s | 23 | 3230846 | 3188638 | 8651 812 | 676 | 1332
1442.38/1442.86 c 1301s | 23 | 3235494 | 3193238 | 8651 813 | 676 | 1332
1444.38/1444.89 c 1303s | 23 | 3241344 | 3199038 | 8651 814 | 676 | 1332
1446.48/1446.94 c 1305s | 23 | 3246224 | 3203838 | 8651 815 | 676 | 1332
1448.48/1448.97 c 1307s | 23 | 3250992 | 3208538 | 8651 816 | 676 | 1332
1450.49/1450.97 c 1309s | 23 | 3256261 | 3213738 | 8651 817 | 676 | 1332
1452.58/1453.01 c 1311s | 23 | 3261031 | 3218438 | 8651 818 | 676 | 1332
1454.58/1455.01 c 1313s | 23 | 3265783 | 3223138 | 8651 819 | 676 | 1332
1456.88/1457.39 c 1315s | 23 | 3271078 | 3228338 | 8651 820 | 676 | 1332
1458.88/1459.39 c 1317s | 23 | 3276489 | 3233638 | 8651 822 | 676 | 1332
1460.98/1461.40 c 1319s | 23 | 3281347 | 3238438 | 8651 823 | 676 | 1332
1462.98/1463.42 c 1322s | 23 | 3286125 | 3243138 | 8651 824 | 676 | 1332
1464.98/1465.43 c 1324s | 23 | 3291584 | 3248538 | 8651 825 | 676 | 1332
1466.99/1467.46 c 1326s | 23 | 3296034 | 3252938 | 8651 826 | 676 | 1332
1468.98/1469.48 c 1328s | 23 | 3301505 | 3258338 | 8651 827 | 676 | 1332
1471.38/1471.84 c 1330s | 23 | 3305981 | 3262738 | 8651 828 | 676 | 1332
1473.38/1473.84 c 1332s | 23 | 3311780 | 3268438 | 8651 829 | 676 | 1332
1475.38/1475.86 c 1334s | 23 | 3315443 | 3272038 | 8651 830 | 676 | 1332
1477.38/1477.89 c 1336s | 23 | 3321319 | 3277838 | 8651 831 | 676 | 1332
1479.38/1479.89 c 1338s | 23 | 3327013 | 3283438 | 8651 832 | 676 | 1332
1481.48/1481.92 c 1340s | 23 | 3332070 | 3288438 | 8651 833 | 676 | 1332
1484.38/1484.82 c 1343s | 23 | 3336830 | 3293138 | 8651 834 | 676 | 1332
1486.38/1486.85 c 1345s | 23 | 3342784 | 3299038 | 8651 835 | 676 | 1332
1488.38/1488.85 c 1347s | 23 | 3348270 | 3304438 | 8651 837 | 676 | 1332
1490.38/1490.86 c 1349s | 23 | 3351923 | 3308038 | 8651 837 | 676 | 1332
1492.48/1492.90 c 1351s | 23 | 3357297 | 3313338 | 8651 839 | 676 | 1332
1494.58/1495.09 c 1353s | 23 | 3360961 | 3316938 | 8651 839 | 676 | 1332
1496.68/1497.11 c 1355s | 23 | 3365995 | 3321938 | 8651 840 | 676 | 1332
1498.68/1499.11 c 1357s | 23 | 3371142 | 3327038 | 8651 841 | 676 | 1332
1500.68/1501.11 c 1359s | 23 | 3376089 | 3331938 | 8651 842 | 676 | 1332
1502.68/1503.18 c 1361s | 23 | 3381031 | 3336838 | 8651 844 | 676 | 1332
1504.78/1505.20 c 1363s | 23 | 3385777 | 3341538 | 8651 845 | 676 | 1332
1506.78/1507.28 c 1365s | 23 | 3390543 | 3346238 | 8651 846 | 676 | 1332
1508.88/1509.31 c 1367s | 23 | 3396097 | 3351738 | 8651 847 | 676 | 1332
1510.87/1511.32 c 1369s | 23 | 3400245 | 3355838 | 8651 848 | 676 | 1332
1512.87/1513.35 c 1371s | 23 | 3406086 | 3361638 | 8651 849 | 676 | 1332
1514.87/1515.37 c 1373s | 23 | 3410551 | 3366038 | 8651 850 | 676 | 1332
1516.87/1517.39 c 1375s | 23 | 3414599 | 3370038 | 8651 851 | 676 | 1332
1518.98/1519.41 c 1378s | 23 | 3419353 | 3374738 | 8651 852 | 676 | 1332
1519.58/1520.08 c 1378s | 24 | 3421286 | 3376662 | 8651 852 | 676 | 1332
1521.68/1522.11 c 1380s | 24 | 3426056 | 3381362 | 8651 853 | 676 | 1332
1523.68/1524.13 c 1382s | 24 | 3431238 | 3386462 | 8651 854 | 676 | 1332
1525.68/1526.14 c 1384s | 24 | 3435597 | 3390762 | 8651 855 | 676 | 1332
1527.77/1528.25 c 1386s | 24 | 3440295 | 3395362 | 8651 856 | 676 | 1332
1529.78/1530.27 c 1388s | 24 | 3445935 | 3400862 | 8651 857 | 676 | 1332
1531.77/1532.28 c 1390s | 24 | 3449748 | 3404562 | 8651 858 | 676 | 1332
1533.77/1534.28 c 1392s | 24 | 3455432 | 3410162 | 8651 859 | 676 | 1332
1535.87/1536.32 c 1394s | 24 | 3460840 | 3415462 | 8651 860 | 676 | 1332
1537.87/1538.34 c 1396s | 24 | 3464415 | 3418962 | 8651 861 | 676 | 1332
1539.87/1540.36 c 1398s | 24 | 3469200 | 3423662 | 8651 862 | 676 | 1332
1541.88/1542.38 c 1400s | 24 | 3474678 | 3429062 | 8651 863 | 676 | 1332
1543.98/1544.41 c 1403s | 24 | 3479977 | 3434162 | 8651 864 | 676 | 1332
1545.97/1546.44 c 1405s | 24 | 3484562 | 3438662 | 8651 865 | 676 | 1332
1548.37/1548.81 c 1407s | 24 | 3488433 | 3442462 | 8651 866 | 676 | 1332
1550.36/1550.82 c 1409s | 24 | 3494133 | 3448062 | 8651 867 | 676 | 1332
1552.37/1552.84 c 1411s | 24 | 3498081 | 3451962 | 8651 868 | 676 | 1332
1554.37/1554.85 c 1413s | 24 | 3503520 | 3457362 | 8651 869 | 676 | 1332
1556.37/1556.86 c 1415s | 24 | 3508569 | 3462362 | 8651 870 | 676 | 1332
1558.38/1558.86 c 1417s | 24 | 3513540 | 3467262 | 8651 871 | 676 | 1332
1560.37/1560.87 c 1419s | 24 | 3517675 | 3471362 | 8651 872 | 676 | 1332
1562.47/1562.90 c 1421s | 24 | 3523373 | 3476962 | 8651 873 | 676 | 1332
1564.47/1564.93 c 1423s | 24 | 3528096 | 3481562 | 8651 874 | 676 | 1332
1566.47/1566.95 c 1425s | 24 | 3533036 | 3486362 | 8651 875 | 676 | 1332
1568.47/1568.99 c 1427s | 24 | 3537736 | 3490962 | 8651 876 | 676 | 1332
1570.67/1571.18 c 1429s | 24 | 3543214 | 3496262 | 8651 877 | 676 | 1332
1572.76/1573.21 c 1431s | 24 | 3547706 | 3500662 | 8651 878 | 676 | 1332
1574.77/1575.24 c 1433s | 24 | 3552749 | 3505662 | 8651 879 | 676 | 1332
1576.76/1577.25 c 1435s | 24 | 3557839 | 3510662 | 8651 880 | 676 | 1332
1578.76/1579.26 c 1437s | 24 | 3562313 | 3515062 | 8651 881 | 676 | 1332
1580.77/1581.26 c 1439s | 24 | 3566735 | 3519462 | 8651 882 | 676 | 1332
1582.77/1583.27 c 1441s | 24 | 3571891 | 3524562 | 8651 883 | 676 | 1332
1584.77/1585.29 c 1443s | 24 | 3576259 | 3528862 | 8651 884 | 676 | 1332
1586.76/1587.30 c 1445s | 24 | 3581021 | 3533562 | 8651 885 | 676 | 1332
1588.86/1589.33 c 1447s | 24 | 3585655 | 3538162 | 8651 886 | 676 | 1332
1590.86/1591.35 c 1449s | 24 | 3591117 | 3543562 | 8651 887 | 676 | 1332
1592.86/1593.39 c 1451s | 24 | 3595982 | 3548362 | 8651 889 | 676 | 1332
1594.86/1595.39 c 1453s | 24 | 3600547 | 3552862 | 8651 889 | 676 | 1332
1596.96/1597.43 c 1456s | 24 | 3605532 | 3557762 | 8651 891 | 676 | 1332
1599.16/1599.66 c 1458s | 24 | 3610401 | 3562562 | 8651 892 | 676 | 1332
1601.17/1601.68 c 1460s | 24 | 3616006 | 3568062 | 8651 893 | 676 | 1332
1603.76/1604.27 c 1462s | 24 | 3620680 | 3572662 | 8651 894 | 676 | 1332
1605.76/1606.29 c 1464s | 24 | 3626464 | 3578362 | 8651 895 | 676 | 1332
1607.86/1608.32 c 1466s | 24 | 3631549 | 3583362 | 8651 896 | 676 | 1332
1609.86/1610.32 c 1468s | 24 | 3636003 | 3587762 | 8651 897 | 676 | 1332
1611.86/1612.32 c 1470s | 24 | 3640171 | 3591862 | 8651 898 | 676 | 1332
1613.86/1614.36 c 1472s | 24 | 3645750 | 3597362 | 8651 899 | 676 | 1332
1615.86/1616.39 c 1474s | 24 | 3650798 | 3602362 | 8651 900 | 676 | 1332
1617.96/1618.42 c 1477s | 24 | 3655747 | 3607262 | 8651 901 | 676 | 1332
1619.97/1620.44 c 1479s | 24 | 3660408 | 3611862 | 8651 902 | 676 | 1332
1621.96/1622.46 c 1481s | 24 | 3663844 | 3615262 | 8651 903 | 676 | 1332
1623.96/1624.47 c 1483s | 24 | 3668492 | 3619862 | 8651 904 | 676 | 1332
1626.16/1626.64 c 1485s | 24 | 3673121 | 3624462 | 8651 905 | 676 | 1332
1628.26/1628.71 c 1487s | 24 | 3678067 | 3629362 | 8651 906 | 676 | 1332
1630.26/1630.74 c 1489s | 24 | 3683650 | 3634862 | 8651 907 | 676 | 1332
1632.26/1632.76 c 1491s | 24 | 3688412 | 3639562 | 8651 908 | 676 | 1332
1634.26/1634.77 c 1493s | 24 | 3692860 | 3643962 | 8651 909 | 676 | 1332
1636.26/1636.79 c 1495s | 24 | 3697006 | 3648062 | 8651 910 | 676 | 1332
1638.26/1638.79 c 1497s | 24 | 3702564 | 3653562 | 8651 911 | 676 | 1332
1640.76/1641.25 c 1499s | 24 | 3707236 | 3658162 | 8651 912 | 676 | 1332
1642.75/1643.28 c 1501s | 24 | 3713042 | 3663862 | 8651 913 | 676 | 1332
1644.75/1645.29 c 1503s | 24 | 3717823 | 3668562 | 8651 914 | 676 | 1332
1646.75/1647.29 c 1505s | 24 | 3722676 | 3673362 | 8651 915 | 676 | 1332
1648.85/1649.32 c 1507s | 24 | 3727329 | 3677962 | 8651 916 | 676 | 1332
1650.86/1651.32 c 1509s | 24 | 3731991 | 3682562 | 8651 917 | 676 | 1332
1652.86/1653.32 c 1511s | 24 | 3735444 | 3685962 | 8651 918 | 676 | 1332
1654.86/1655.36 c 1513s | 24 | 3741119 | 3691562 | 8651 919 | 676 | 1332
1656.86/1657.38 c 1515s | 24 | 3746288 | 3696662 | 8651 920 | 676 | 1332
1658.86/1659.39 c 1517s | 24 | 3751537 | 3701862 | 8651 921 | 676 | 1332
1660.96/1661.40 c 1519s | 24 | 3755691 | 3705962 | 8651 922 | 676 | 1332
1662.96/1663.43 c 1522s | 24 | 3761144 | 3711362 | 8651 923 | 676 | 1332
1664.96/1665.46 c 1524s | 24 | 3766018 | 3716162 | 8651 924 | 676 | 1332
1666.95/1667.47 c 1526s | 24 | 3769465 | 3719562 | 8651 925 | 676 | 1332
1668.95/1669.49 c 1528s | 24 | 3775159 | 3725162 | 8651 926 | 676 | 1332
1671.05/1671.50 c 1530s | 24 | 3780116 | 3730062 | 8651 927 | 676 | 1332
1673.05/1673.53 c 1532s | 24 | 3785285 | 3735162 | 8651 928 | 676 | 1332
1675.05/1675.56 c 1534s | 24 | 3789577 | 3739362 | 8651 929 | 676 | 1332
1677.05/1677.59 c 1536s | 24 | 3794274 | 3743962 | 8651 930 | 676 | 1332
1679.15/1679.60 c 1538s | 24 | 3799773 | 3749362 | 8651 931 | 676 | 1332
1681.14/1681.61 c 1540s | 24 | 3803734 | 3753262 | 8651 932 | 676 | 1332
1683.15/1683.62 c 1542s | 24 | 3808619 | 3758062 | 8651 933 | 676 | 1332
1685.15/1685.62 c 1544s | 24 | 3813175 | 3762562 | 8651 934 | 676 | 1332
1687.15/1687.63 c 1546s | 24 | 3817442 | 3766762 | 8651 935 | 676 | 1332
1689.16/1689.66 c 1548s | 24 | 3822533 | 3771762 | 8651 936 | 676 | 1332
1691.15/1691.68 c 1550s | 24 | 3827342 | 3776462 | 8651 937 | 676 | 1332
1693.15/1693.69 c 1552s | 24 | 3833028 | 3782062 | 8651 938 | 676 | 1332
1695.25/1695.74 c 1554s | 24 | 3836169 | 3785162 | 8651 939 | 676 | 1332
1697.25/1697.77 c 1556s | 24 | 3841639 | 3790562 | 8651 940 | 676 | 1332
1699.25/1699.78 c 1558s | 24 | 3846309 | 3795162 | 8651 941 | 676 | 1332
1701.25/1701.78 c 1560s | 24 | 3851348 | 3800162 | 8651 942 | 676 | 1332
1703.24/1703.79 c 1562s | 24 | 3856126 | 3804862 | 8651 943 | 676 | 1332
1705.34/1705.80 c 1564s | 24 | 3860791 | 3809462 | 8651 944 | 676 | 1332
1707.34/1707.81 c 1566s | 24 | 3866107 | 3814762 | 8651 945 | 676 | 1332
1709.34/1709.83 c 1568s | 24 | 3870459 | 3819062 | 8651 946 | 676 | 1332
1711.35/1711.85 c 1570s | 24 | 3873585 | 3822162 | 8651 947 | 676 | 1332
1713.35/1713.86 c 1572s | 24 | 3879166 | 3827662 | 8651 948 | 676 | 1332
1715.35/1715.88 c 1574s | 24 | 3883605 | 3832062 | 8651 949 | 676 | 1332
1717.45/1717.91 c 1576s | 24 | 3888157 | 3836562 | 8651 950 | 676 | 1332
1719.65/1720.11 c 1578s | 24 | 3893307 | 3841662 | 8651 951 | 676 | 1332
1721.64/1722.14 c 1580s | 24 | 3898855 | 3847162 | 8651 952 | 676 | 1332
1723.64/1724.16 c 1582s | 24 | 3903312 | 3851562 | 8651 953 | 676 | 1332
1725.64/1726.18 c 1584s | 24 | 3908768 | 3856962 | 8651 954 | 676 | 1332
1727.65/1728.19 c 1586s | 24 | 3912798 | 3860962 | 8651 955 | 676 | 1332
1729.64/1730.19 c 1588s | 24 | 3918140 | 3866262 | 8651 956 | 676 | 1332
1731.74/1732.22 c 1590s | 24 | 3923094 | 3871162 | 8651 957 | 676 | 1332
1734.04/1734.56 c 1593s | 24 | 3927269 | 3875262 | 8651 958 | 676 | 1332
1736.04/1736.58 c 1595s | 24 | 3932829 | 3880762 | 8651 959 | 676 | 1332
1738.04/1738.59 c 1597s | 24 | 3938094 | 3885962 | 8651 960 | 676 | 1332
1740.04/1740.60 c 1599s | 24 | 3941630 | 3889462 | 8651 961 | 676 | 1332
1742.14/1742.60 c 1601s | 24 | 3946486 | 3894262 | 8651 962 | 676 | 1332
1744.15/1744.62 c 1603s | 24 | 3951769 | 3899462 | 8651 963 | 676 | 1332
1746.14/1746.64 c 1605s | 24 | 3956732 | 3904362 | 8651 964 | 676 | 1332
1748.34/1748.88 c 1607s | 24 | 3960867 | 3908462 | 8651 965 | 676 | 1332
1750.44/1750.92 c 1609s | 24 | 3966437 | 3913962 | 8651 966 | 676 | 1332
1752.44/1752.95 c 1611s | 24 | 3971716 | 3919162 | 8651 967 | 676 | 1332
1754.44/1754.97 c 1613s | 24 | 3977362 | 3924662 | 8651 969 | 676 | 1332
1756.44/1756.99 c 1615s | 24 | 3981413 | 3928662 | 8651 969 | 676 | 1332
1758.54/1759.00 c 1617s | 24 | 3986103 | 3933262 | 8651 970 | 676 | 1332
1760.53/1761.02 c 1619s | 24 | 3989178 | 3936262 | 8651 971 | 676 | 1332
1762.53/1763.04 c 1621s | 24 | 3994893 | 3941862 | 8651 972 | 676 | 1332
1764.53/1765.05 c 1623s | 24 | 3999644 | 3946562 | 8651 973 | 676 | 1332
1766.53/1767.06 c 1625s | 24 | 4004513 | 3951362 | 8651 974 | 676 | 1332
1768.53/1769.08 c 1627s | 24 | 4009222 | 3955962 | 8651 975 | 676 | 1332
1770.54/1771.09 c 1629s | 24 | 4013764 | 3960462 | 8651 976 | 676 | 1332
1772.53/1773.09 c 1631s | 24 | 4018426 | 3965062 | 8651 977 | 676 | 1332
1774.64/1775.10 c 1633s | 24 | 4022610 | 3969162 | 8651 978 | 676 | 1332
1776.64/1777.13 c 1635s | 24 | 4028021 | 3974462 | 8651 979 | 676 | 1332
1778.64/1779.18 c 1637s | 24 | 4032797 | 3979162 | 8651 980 | 676 | 1332
1780.63/1781.19 c 1639s | 24 | 4036952 | 3983262 | 8651 981 | 676 | 1332
1782.74/1783.21 c 1641s | 24 | 4041844 | 3988062 | 8651 982 | 676 | 1332
1784.73/1785.22 c 1643s | 24 | 4047353 | 3993462 | 8651 983 | 676 | 1332
1786.73/1787.24 c 1645s | 24 | 4051070 | 3997062 | 8651 984 | 676 | 1332
1788.73/1789.28 c 1647s | 24 | 4056590 | 4002462 | 8651 985 | 676 | 1332
1790.73/1791.28 c 1649s | 24 | 4059555 | 4005362 | 8651 986 | 676 | 1332
1792.73/1793.29 c 1651s | 24 | 4065000 | 4010762 | 8651 987 | 676 | 1332
1794.74/1795.29 c 1653s | 24 | 4070285 | 4015962 | 8651 988 | 676 | 1332
1796.83/1797.31 c 1655s | 24 | 4074753 | 4020362 | 8651 989 | 676 | 1332
1798.83/1799.32 c 1657s | 24 | 4079532 | 4025062 | 8651 990 | 676 | 1332
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-4080151-1465257871/watcher-4080151-1465257871 -o /tmp/evaluation-result-4080151-1465257871/solver-4080151-1465257871 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31672 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080151-1465257871.opb
pid=3096
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.24 2.20 3/179 3099
/proc/meminfo: memFree=29211368/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=668092 CPUtime=0 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 2481 0 0 0 0 0 0 0 20 0 4 0 107720268 684126208 2843 33554432000 4194304 16246674 140736303084624 140736303083560 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 167535 2851 441 2943 0 164429 0
[pid=3099/tid=3100] ppid=3096 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 729214976 3017 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 733409280 3034 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=721340 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 738652160 3051 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[startup+0.100179 s]
/proc/loadavg: 2.16 2.24 2.20 3/179 3099
/proc/meminfo: memFree=29211368/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 23991 0 0 0 6 3 0 0 20 0 4 0 107720268 1247350784 24339 33554432000 4194304 16246674 140736303084624 140736303083560 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 304529 24349 791 2943 0 301423 0
[pid=3099/tid=3100] ppid=3096 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1247350784 24357 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1247350784 24365 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1247350784 24374 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200598 s]
/proc/loadavg: 2.16 2.24 2.20 3/179 3099
/proc/meminfo: memFree=29211368/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 47856 0 0 0 13 6 0 0 20 0 4 0 107720268 1247350784 48203 33554432000 4194304 16246674 140736303084624 140736303083560 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 304529 48212 791 2943 0 301423 0
[pid=3099/tid=3100] ppid=3096 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1247350784 48215 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1247350784 48220 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1247350784 48224 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300506 s]
/proc/loadavg: 2.16 2.24 2.20 3/179 3099
/proc/meminfo: memFree=29211368/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 71900 0 0 0 20 9 0 0 20 0 4 0 107720268 1247350784 72250 33554432000 4194304 16246674 140736303084624 140736303083560 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 304529 72267 791 2943 0 301423 0
[pid=3099/tid=3100] ppid=3096 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1247350784 72272 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1247350784 72278 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1247350784 72284 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700426 s]
/proc/loadavg: 2.16 2.24 2.20 3/179 3099
/proc/meminfo: memFree=29211368/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 165224 0 0 0 46 23 0 0 20 0 4 0 107720268 1247350784 165571 33554432000 4194304 16246674 140736303084624 140736303083560 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 304529 165579 791 2943 0 301423 0
[pid=3099/tid=3100] ppid=3096 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1247350784 165585 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1247350784 165589 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1247350784 165600 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50044 s]
/proc/loadavg: 2.16 2.24 2.20 3/183 3103
/proc/meminfo: memFree=28225688/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 246248 0 0 0 116 33 0 0 20 0 4 0 107720268 1250496512 246574 33554432000 4194304 16246674 140736303084624 140736303083936 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 305297 246574 851 2943 0 302191 0
[pid=3099/tid=3100] ppid=3096 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1250496512 246574 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1250496512 246574 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1250496512 246574 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188
[startup+3.10051 s]
/proc/loadavg: 2.16 2.24 2.20 3/183 3103
/proc/meminfo: memFree=28138888/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1308228 CPUtime=3.08 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 268025 0 0 0 273 35 0 0 20 0 4 0 107720268 1339625472 268351 33554432000 4194304 16246674 140736303084624 140736303066496 13950218 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 327057 268351 852 2943 0 323951 0
[pid=3099/tid=3100] ppid=3096 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1339625472 268351 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1339625472 268351 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1339625472 268351 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1308228
[startup+6.30043 s]
/proc/loadavg: 2.22 2.25 2.20 3/183 3103
/proc/meminfo: memFree=28131592/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1314372 CPUtime=6.29 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 269690 0 0 0 593 36 0 0 20 0 4 0 107720268 1345916928 270016 33554432000 4194304 16246674 140736303084624 140736303066496 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 328593 270016 853 2943 0 325487 0
[pid=3099/tid=3100] ppid=3096 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1345916928 270016 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1345916928 270016 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1345916928 270016 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372
[startup+12.7004 s]
/proc/loadavg: 2.21 2.25 2.20 3/183 3103
/proc/meminfo: memFree=28131756/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1314372 CPUtime=12.69 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 269692 0 0 0 1233 36 0 0 20 0 4 0 107720268 1345916928 270018 33554432000 4194304 16246674 140736303084624 140736303066496 5823131 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 328593 270018 855 2943 0 325487 0
[pid=3099/tid=3100] ppid=3096 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1345916928 270018 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1345916928 270018 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1345916928 270018 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372
[startup+25.5005 s]
/proc/loadavg: 2.16 2.24 2.20 3/183 3103
/proc/meminfo: memFree=28131916/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1314372 CPUtime=25.49 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 269692 0 0 0 2513 36 0 0 20 0 4 0 107720268 1345916928 270018 33554432000 4194304 16246674 140736303084624 140736303066496 5545832 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 328593 270018 855 2943 0 325487 0
[pid=3099/tid=3100] ppid=3096 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1345916928 270018 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1345916928 270018 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1345916928 270018 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372
[startup+51.1005 s]
/proc/loadavg: 2.17 2.23 2.20 3/183 3103
/proc/meminfo: memFree=28128972/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1317444 CPUtime=51.08 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 270460 0 0 0 5071 37 0 0 20 0 4 0 107720268 1349062656 270786 33554432000 4194304 16246674 140736303084624 140736303066496 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 329361 270786 855 2943 0 326255 0
[pid=3099/tid=3100] ppid=3096 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1349062656 270786 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1349062656 270786 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1349062656 270786 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1317444
[startup+102.301 s]
/proc/loadavg: 2.07 2.19 2.18 3/183 3104
/proc/meminfo: memFree=28125268/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1320516 CPUtime=102.28 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 271228 0 0 0 10191 37 0 0 20 0 4 0 107720268 1352208384 271554 33554432000 4194304 16246674 140736303084624 140736303066496 6045315 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 330129 271554 855 2943 0 327023 0
[pid=3099/tid=3100] ppid=3096 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1352208384 271554 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1352208384 271554 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1352208384 271554 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516
################
# More data... #
################
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1339972
[startup+1362.3 s]
/proc/loadavg: 2.29 2.21 2.19 3/183 3282
/proc/meminfo: memFree=28075724/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1339972 CPUtime=1361.9 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 276470 0 0 0 136121 69 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 140736303066496 5673195 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 334993 276676 856 2943 0 331887 0
[pid=3099/tid=3100] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1339972
[startup+1422.3 s]
/proc/loadavg: 2.32 2.23 2.19 3/183 3283
/proc/meminfo: memFree=28073992/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1339972 CPUtime=1421.89 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 276470 0 0 0 142119 70 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 140736303066496 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 334993 276676 856 2943 0 331887 0
[pid=3099/tid=3100] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1339972
[startup+1482.3 s]
/proc/loadavg: 2.33 2.25 2.19 3/183 3285
/proc/meminfo: memFree=28074124/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1339972 CPUtime=1481.87 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 276470 0 0 0 148116 71 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 140736303067624 5722908 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 334993 276676 856 2943 0 331887 0
[pid=3099/tid=3100] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1339972
[startup+1542.31 s]
/proc/loadavg: 2.28 2.25 2.19 3/184 3289
/proc/meminfo: memFree=28073464/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1339972 CPUtime=1541.88 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 276470 0 0 0 154115 73 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 140736303066496 12483276 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 334993 276676 856 2943 0 331887 0
[pid=3099/tid=3100] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1339972
[startup+1602.3 s]
/proc/loadavg: 2.27 2.26 2.20 3/183 3290
/proc/meminfo: memFree=28074484/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1339972 CPUtime=1601.86 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 276470 0 0 0 160111 75 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 140736303066496 5673375 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 334993 276676 856 2943 0 331887 0
[pid=3099/tid=3100] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1339972
[startup+1662.3 s]
/proc/loadavg: 2.47 2.31 2.22 3/183 3291
/proc/meminfo: memFree=28057880/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1339972 CPUtime=1661.86 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 276470 0 0 0 166109 77 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 140736303066496 13198352 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 334993 276676 856 2943 0 331887 0
[pid=3099/tid=3100] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1339972
[startup+1722.3 s]
/proc/loadavg: 2.38 2.32 2.22 3/183 3292
/proc/meminfo: memFree=28042468/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1339972 CPUtime=1721.84 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 276470 0 0 0 172105 79 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 140736303066496 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 334993 276676 856 2943 0 331887 0
[pid=3099/tid=3100] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1339972
[startup+1782.3 s]
/proc/loadavg: 2.24 2.29 2.21 3/183 3294
/proc/meminfo: memFree=28042008/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1339972 CPUtime=1781.84 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 276470 0 0 0 178103 81 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 140736303083720 5721571 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 334993 276676 856 2943 0 331887 0
[pid=3099/tid=3100] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1339972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.24 2.28 2.21 3/183 3294
/proc/meminfo: memFree=28041932/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1339972 CPUtime=1800.03 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 276470 0 0 0 179921 82 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 140736303066496 5677667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 334993 276676 856 2943 0 331887 0
[pid=3099/tid=3100] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1339972
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 3099 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.24 2.28 2.21 3/183 3294
/proc/meminfo: memFree=28041932/32872528 swapFree=17892/1720544
[pid=3099] ppid=3096 vsize=1339972 CPUtime=1800.03 cores=1,3,5,7
/proc/3099/stat : 3099 (toysat) R 3096 3099 31655 0 -1 4202496 276470 0 0 0 179921 82 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 140736303066496 5677667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3099/statm: 334993 276676 856 2943 0 331887 0
[pid=3099/tid=3100] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3100/stat : 3100 (toysat) S 3096 3099 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823458266352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3099/tid=3101] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3101/stat : 3101 (toysat) S 3096 3099 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823447776496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3099/tid=3102] ppid=3096 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3099/task/3102/stat : 3102 (toysat) S 3096 3099 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107720268 1372131328 276676 33554432000 4194304 16246674 140736303084624 139823331404976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1339972
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.22
CPU system time (s): 0.823874
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 1339972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 0.823874
maximum resident set size= 1106704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276470
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= 391
involuntary context switches= 1836
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.843 second user time and 16.3345 second system time
The end