0.00/0.00 c 2016-06-18T05:03:13+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-4100953-1466218993.opb"]
0.00/0.01 c use --random-gen="4138496293 3159876728 2464752508 2262490302 840263729 4088646437 159852374 2672571535 1561827452 3013271119 2205509519 863192353 2373803988 4235425404 1821819338 2913508626 3975725017 3466417096 1498079671 2026711809 3742264978 1719015013 2825582889 966617413 1615255649 3819531436 2110308261 2399645137 1428922507 3047691812 2401969604 3888458846 796981494 1578067311 26620017 1941239187 1309752264 3409103415 3275803990 1667472596 2394889205 1335519901 3887581690 763116472 1910715811 1156946184 51755693 4130005888 3675903824 2352759002 3321666591 3836645254 2795534369 4008327120 2344803887 2025664447 4137037302 811434622 1055721415 2569762432 1369638186 2483594485 153666644 396080210 2177999174 3078962886 3282372658 1943098063 114386775 3095880041 3255043703 3656772313 3739204217 2608918790 2483879066 2465546193 1352621441 2455262907 4241585167 386584530 1471272633 2082527606 1511621794 3089700079 3475779331 3703470750 4031721522 1729920104 1847635798 2326215323 1010436405 2624982669 2610805709 1385317085 2600115876 898797567 939697649 3565108458 3799181411 3749406781 209724612 2096390781 2495537607 3244120374 2104362606 1811000980 1382288395 2386062825 473941660 2781970707 71465392 2306108034 4273460120 3022115941 966879006 2787227632 2502690281 1540853284 2609208565 78787297 1163416103 43826189 3166360974 653970029 810454665 3003555314 3837093978 188989996 534417107 3164484033 1218390221 3423756319 3773170023 2593428588 3542008434 997406218 489294991 3589876106 1001016750 4093024365 1456442105 2219255882 3419231348 1927258608 3892235578 2210393987 1067339392 1953665669 4274345200 518644945 3040197317 90540003 10356449 423326080 2855866427 4105162841 3637234246 3022323921 502708993 3429504335 3986647738 1546961219 2920062448 2409962133 1726143549 4146129584 511478959 1271086833 4013735770 1456534490 1911523463 3911596926 215571175 941439267 727226884 1565147867 4063264385 1079677061 2640341153 2697434281 1571492606 3008878127 613452657 275599675 1767135855 2420754613 3200874521 2920552055 2024353274 3497465916 928483161 3055636991 523492220 735491321 3195725107 2306076945 3183768494 1875840966 1267627079 1258892609 107806810 3220068152 3876710860 1444649042 1100461954 786267607 2751293984 3927800797 3593823337 2864035800 120409963 287414056 2501771682 1413805118 2498914607 1695862945 3645211621 1275296727 1981397583 27918059 2902937946 2332827310 3402436899 3425331288 4018319808 3009950287 2077627204 1988239290 1206331081 762311826 4152667865 541991475 3423596821 2583849627 3040155643 3698051577 3532941505 905433008 1245714174 298421496 54599842 2754471926 3530879512 2924015932 459419763 2864416120 32450687 471712110 2909666534 3076471107 995465096 1312113742 506679040 674155235 181794493 2682524172 255 362436" option to reproduce the execution
0.00/0.02 c #vars 1440
0.00/0.02 c #constraints 49
0.00/0.05 c BCD2: Hardening is enabled.
0.00/0.05 c BCD2: BiasedSearch is enabled.
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 | 503 0 | 393 | 0
0.00/0.07 c 0.0s | 1 | 481 | 100 | 503 0 | 436 | 0
0.00/0.10 c 0.0s | 2 | 730 | 250 | 554 0 | 436 | 0
0.08/0.13 c 0.1s | 3 | 964 | 475 | 610 0 | 436 | 0
0.29/0.32 c 0.3s | 4 | 1417 | 813 | 671 0 | 436 | 0
0.29/0.38 c 0.3s | 4 | 1764 | 879 | 739 0 | 436 | 0
0.29/0.38 c #cpu_time = 0.332s
0.29/0.38 c #wall_clock_time = 0.332s
0.29/0.38 c #decision = 1764
0.29/0.38 c #random_decision = 4
0.29/0.38 c #conflict = 879
0.29/0.38 c #restart = 4
0.29/0.38 o 0
0.29/0.38 c BCD2: updating upper bound: 524317 -> 524316
0.29/0.38 c BCD2: 0 <= obj <= 524316
0.29/0.38 c BCD2: #cores=0, #unrelaxed=30, #relaxed=0, #hardened=0
0.29/0.38 c BCD2: #sat=1 #unsat=1 bias=1/2
0.29/0.38 c Solving starts ...
0.29/0.38 c ============================[ Search Statistics ]============================
0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.38 c | | | | Limit GC | Var | Constra
0.29/0.38 c =============================================================================
0.29/0.38 c 0.0s | 0 | 0 | 0 | 739 0 | 436 | 0
0.29/0.39 c 0.0s | 0 | 19 | 1 | 739 0 | 436 | 0
0.29/0.39 c #cpu_time = 0.005s
0.29/0.39 c #wall_clock_time = 0.005s
0.29/0.39 c #decision = 19
0.29/0.39 c #random_decision = 0
0.29/0.39 c #conflict = 1
0.29/0.39 c #restart = 0
0.29/0.39 c BCD2: found a new core of size 3: cost of the new core is >=33
0.29/0.39 c lower bound updated to -524284
0.29/0.39 c BCD2: 33 <= obj <= 524316
0.29/0.39 c BCD2: #cores=1, #unrelaxed=27, #relaxed=3, #hardened=0
0.29/0.39 c BCD2: #sat=1 #unsat=2 bias=2/3
0.29/0.39 c Solving starts ...
0.29/0.39 c ============================[ Search Statistics ]============================
0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.39 c | | | | Limit GC | Var | Constra
0.29/0.39 c =============================================================================
0.29/0.39 c 0.0s | 0 | 0 | 0 | 739 0 | 436 | 0
0.29/0.39 c 0.0s | 0 | 17 | 0 | 739 0 | 436 | 0
0.29/0.39 c #cpu_time = 0.005s
0.29/0.39 c #wall_clock_time = 0.005s
0.29/0.39 c #decision = 17
0.29/0.39 c #random_decision = 0
0.29/0.39 c #conflict = 0
0.29/0.39 c #restart = 0
0.29/0.39 c BCD2: found a new core of size 1: cost of the new core is >=257
0.29/0.39 c lower bound updated to -524027
0.29/0.39 c BCD2: 290 <= obj <= 524316
0.29/0.39 c BCD2: #cores=2, #unrelaxed=26, #relaxed=4, #hardened=0
0.29/0.39 c BCD2: #sat=1 #unsat=3 bias=3/4
0.29/0.39 c Solving starts ...
0.29/0.39 c ============================[ Search Statistics ]============================
0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.39 c | | | | Limit GC | Var | Constra
0.29/0.39 c =============================================================================
0.29/0.39 c 0.0s | 0 | 0 | 0 | 739 0 | 436 | 0
0.29/0.40 c 0.0s | 0 | 18 | 0 | 739 0 | 436 | 0
0.29/0.40 c #cpu_time = 0.005s
0.29/0.40 c #wall_clock_time = 0.005s
0.29/0.40 c #decision = 18
0.29/0.40 c #random_decision = 0
0.29/0.40 c #conflict = 0
0.29/0.40 c #restart = 0
0.29/0.40 c BCD2: found a new core of size 1: cost of the new core is >=513
0.29/0.40 c lower bound updated to -523514
0.39/0.40 c BCD2: 803 <= obj <= 524316
0.39/0.40 c BCD2: #cores=3, #unrelaxed=25, #relaxed=5, #hardened=0
0.39/0.40 c BCD2: #sat=1 #unsat=4 bias=4/5
0.39/0.40 c Solving starts ...
0.39/0.40 c ============================[ Search Statistics ]============================
0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.40 c | | | | Limit GC | Var | Constra
0.39/0.40 c =============================================================================
0.39/0.40 c 0.0s | 0 | 0 | 0 | 739 0 | 436 | 0
0.39/0.40 c 0.0s | 0 | 19 | 0 | 739 0 | 436 | 0
0.39/0.40 c #cpu_time = 0.005s
0.39/0.40 c #wall_clock_time = 0.005s
0.39/0.40 c #decision = 19
0.39/0.40 c #random_decision = 0
0.39/0.40 c #conflict = 0
0.39/0.40 c #restart = 0
0.39/0.40 c BCD2: found a new core of size 1: cost of the new core is >=1025
0.39/0.40 c lower bound updated to -522489
0.39/0.40 c BCD2: 1828 <= obj <= 524316
0.39/0.40 c BCD2: #cores=4, #unrelaxed=24, #relaxed=6, #hardened=0
0.39/0.40 c BCD2: #sat=1 #unsat=5 bias=5/6
0.39/0.40 c Solving starts ...
0.39/0.40 c ============================[ Search Statistics ]============================
0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.40 c | | | | Limit GC | Var | Constra
0.39/0.40 c =============================================================================
0.39/0.40 c 0.0s | 0 | 0 | 0 | 739 0 | 436 | 0
0.39/0.41 c 0.0s | 0 | 20 | 0 | 739 0 | 436 | 0
0.39/0.41 c #cpu_time = 0.005s
0.39/0.41 c #wall_clock_time = 0.005s
0.39/0.41 c #decision = 20
0.39/0.41 c #random_decision = 0
0.39/0.41 c #conflict = 0
0.39/0.41 c #restart = 0
0.39/0.41 c BCD2: found a new core of size 1: cost of the new core is >=2049
0.39/0.41 c lower bound updated to -520440
0.39/0.41 c BCD2: 3877 <= obj <= 524316
0.39/0.41 c BCD2: #cores=5, #unrelaxed=23, #relaxed=7, #hardened=0
0.39/0.41 c BCD2: #sat=1 #unsat=6 bias=6/7
0.39/0.41 c Solving starts ...
0.39/0.41 c ============================[ Search Statistics ]============================
0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.41 c | | | | Limit GC | Var | Constra
0.39/0.41 c =============================================================================
0.39/0.41 c 0.0s | 0 | 0 | 0 | 739 0 | 436 | 0
0.39/0.41 c 0.0s | 0 | 21 | 0 | 739 0 | 436 | 0
0.39/0.41 c #cpu_time = 0.005s
0.39/0.41 c #wall_clock_time = 0.005s
0.39/0.41 c #decision = 21
0.39/0.41 c #random_decision = 0
0.39/0.41 c #conflict = 0
0.39/0.41 c #restart = 0
0.39/0.41 c BCD2: found a new core of size 1: cost of the new core is >=4097
0.39/0.41 c lower bound updated to -516343
0.39/0.41 c BCD2: 7974 <= obj <= 524316
0.39/0.41 c BCD2: #cores=6, #unrelaxed=22, #relaxed=8, #hardened=0
0.39/0.41 c BCD2: #sat=1 #unsat=7 bias=7/8
0.39/0.41 c Solving starts ...
0.39/0.41 c ============================[ Search Statistics ]============================
0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.41 c | | | | Limit GC | Var | Constra
0.39/0.41 c =============================================================================
0.39/0.41 c 0.0s | 0 | 0 | 0 | 739 0 | 436 | 0
0.39/0.42 c 0.0s | 0 | 22 | 0 | 739 0 | 436 | 0
0.39/0.42 c #cpu_time = 0.005s
0.39/0.42 c #wall_clock_time = 0.005s
0.39/0.42 c #decision = 22
0.39/0.42 c #random_decision = 0
0.39/0.42 c #conflict = 0
0.39/0.42 c #restart = 0
0.39/0.42 c BCD2: found a new core of size 1: cost of the new core is >=8193
0.39/0.42 c lower bound updated to -508150
0.39/0.42 c BCD2: 16167 <= obj <= 524316
0.39/0.42 c BCD2: #cores=7, #unrelaxed=21, #relaxed=9, #hardened=0
0.39/0.42 c BCD2: #sat=1 #unsat=8 bias=8/9
0.39/0.42 c Solving starts ...
0.39/0.42 c ============================[ Search Statistics ]============================
0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.42 c | | | | Limit GC | Var | Constra
0.39/0.42 c =============================================================================
0.39/0.42 c 0.0s | 0 | 0 | 0 | 739 0 | 436 | 0
0.39/0.42 c 0.0s | 0 | 23 | 0 | 739 0 | 436 | 0
0.39/0.42 c #cpu_time = 0.005s
0.39/0.42 c #wall_clock_time = 0.005s
0.39/0.42 c #decision = 23
0.39/0.42 c #random_decision = 0
0.39/0.42 c #conflict = 0
0.39/0.42 c #restart = 0
0.39/0.42 c BCD2: found a new core of size 1: cost of the new core is >=16385
0.39/0.42 c lower bound updated to -491765
0.39/0.42 c BCD2: 32552 <= obj <= 524316
0.39/0.42 c BCD2: #cores=8, #unrelaxed=20, #relaxed=10, #hardened=0
0.39/0.42 c BCD2: #sat=1 #unsat=9 bias=9/10
0.39/0.42 c Solving starts ...
0.39/0.42 c ============================[ Search Statistics ]============================
0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.42 c | | | | Limit GC | Var | Constra
0.39/0.42 c =============================================================================
0.39/0.42 c 0.0s | 0 | 0 | 0 | 739 0 | 436 | 0
0.39/0.43 c 0.0s | 0 | 24 | 0 | 739 0 | 436 | 0
0.39/0.43 c #cpu_time = 0.005s
0.39/0.43 c #wall_clock_time = 0.005s
0.39/0.43 c #decision = 24
0.39/0.43 c #random_decision = 0
0.39/0.43 c #conflict = 0
0.39/0.43 c #restart = 0
0.39/0.43 c BCD2: found a new core of size 1: cost of the new core is >=32769
0.39/0.43 c lower bound updated to -458996
0.39/0.43 c BCD2: 65321 <= obj <= 524316
0.39/0.43 c BCD2: #cores=9, #unrelaxed=19, #relaxed=11, #hardened=0
0.39/0.43 c BCD2: #sat=1 #unsat=10 bias=10/11
0.39/0.43 c Solving starts ...
0.39/0.43 c ============================[ Search Statistics ]============================
0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.43 c | | | | Limit GC | Var | Constra
0.39/0.43 c =============================================================================
0.39/0.43 c 0.0s | 0 | 0 | 0 | 739 0 | 436 | 0
0.39/0.43 c 0.0s | 0 | 25 | 0 | 739 0 | 436 | 0
0.39/0.43 c #cpu_time = 0.005s
0.39/0.43 c #wall_clock_time = 0.005s
0.39/0.43 c #decision = 25
0.39/0.43 c #random_decision = 0
0.39/0.43 c #conflict = 0
0.39/0.43 c #restart = 0
0.39/0.43 c BCD2: found a new core of size 1: cost of the new core is >=65537
0.39/0.43 c lower bound updated to -393459
0.39/0.43 c BCD2: 130858 <= obj <= 524316
0.39/0.43 c BCD2: #cores=10, #unrelaxed=18, #relaxed=12, #hardened=0
0.39/0.43 c BCD2: #sat=1 #unsat=11 bias=11/12
0.39/0.43 c Solving starts ...
0.39/0.43 c ============================[ Search Statistics ]============================
0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.43 c | | | | Limit GC | Var | Constra
0.39/0.43 c =============================================================================
0.39/0.43 c 0.0s | 0 | 0 | 0 | 739 0 | 436 | 0
0.39/0.44 c 0.0s | 0 | 26 | 0 | 739 0 | 436 | 0
0.39/0.44 c #cpu_time = 0.005s
0.39/0.44 c #wall_clock_time = 0.005s
0.39/0.44 c #decision = 26
0.39/0.44 c #random_decision = 0
0.39/0.44 c #conflict = 0
0.39/0.44 c #restart = 0
0.39/0.44 c BCD2: found a new core of size 1: cost of the new core is >=131073
0.39/0.44 c lower bound updated to -262386
0.39/0.44 c BCD2: 261931 <= obj <= 524316
0.39/0.44 c BCD2: #cores=11, #unrelaxed=17, #relaxed=13, #hardened=0
0.39/0.44 c BCD2: #sat=1 #unsat=12 bias=12/13
0.39/0.44 c Solving starts ...
0.39/0.44 c ============================[ Search Statistics ]============================
0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.44 c | | | | Limit GC | Var | Constra
0.39/0.44 c =============================================================================
0.39/0.44 c 0.0s | 0 | 0 | 0 | 739 0 | 436 | 0
0.39/0.44 c 0.0s | 0 | 27 | 0 | 739 0 | 436 | 0
0.39/0.44 c #cpu_time = 0.005s
0.39/0.44 c #wall_clock_time = 0.005s
0.39/0.44 c #decision = 27
0.39/0.44 c #random_decision = 0
0.39/0.44 c #conflict = 0
0.39/0.44 c #restart = 0
0.39/0.44 c BCD2: found a new core of size 1: cost of the new core is >=262145
0.39/0.44 c lower bound updated to -241
0.39/0.44 c BCD2: 524076 <= obj <= 524316
0.39/0.44 c BCD2: #cores=12, #unrelaxed=16, #relaxed=14, #hardened=0
0.39/0.44 c BCD2: #sat=1 #unsat=13 bias=13/14
0.39/0.44 c Solving starts ...
0.39/0.44 c ============================[ Search Statistics ]============================
0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.44 c | | | | Limit GC | Var | Constra
0.39/0.44 c =============================================================================
0.39/0.44 c 0.0s | 0 | 0 | 0 | 739 0 | 436 | 0
0.39/0.47 c 0.0s | 1 | 394 | 100 | 739 0 | 436 | 0
0.49/0.51 c 0.1s | 2 | 656 | 250 | 739 0 | 436 | 0
0.49/0.56 c 0.1s | 3 | 946 | 475 | 813 1 | 436 | 0
0.59/0.64 c 0.2s | 4 | 1446 | 813 | 813 1 | 436 | 0
0.69/0.73 c 0.3s | 5 | 1997 | 1320 | 895 2 | 436 | 0
0.79/0.85 c 0.4s | 6 | 2810 | 2081 | 895 3 | 436 | 0
0.99/1.07 c 0.6s | 7 | 4567 | 3223 | 985 4 | 436 | 0
1.29/1.32 c 0.9s | 8 | 7552 | 4936 | 1084 5 | 448 | 0
1.69/1.78 c 1.3s | 9 | 11139 | 7506 | 1193 8 | 448 | 0
2.29/2.35 c 1.9s | 10 | 16014 | 11361 | 1313 12 | 448 | 0
3.09/3.18 c 2.7s | 11 | 22523 | 17144 | 1445 18 | 448 | 0
4.40/4.47 c 4.0s | 12 | 31925 | 25819 | 1590 27 | 448 | 0
6.41/6.48 c 6.0s | 12 | 46565 | 37619 | 1590 38 | 448 | 0
6.60/6.67 c 6.2s | 13 | 48001 | 38832 | 1750 39 | 448 | 0
8.59/8.68 c 8.2s | 13 | 62914 | 51432 | 1750 50 | 450 | 0
10.09/10.11 c 9.7s | 14 | 70290 | 58352 | 1926 56 | 450 | 0
12.10/12.12 c 11.7s | 14 | 83617 | 70452 | 1926 66 | 450 | 0
14.09/14.12 c 13.7s | 14 | 96894 | 82052 | 1926 75 | 450 | 0
14.89/14.99 c 14.5s | 15 | 103057 | 87632 | 2119 80 | 450 | 0
16.89/16.99 c 16.5s | 15 | 115523 | 98332 | 2119 88 | 450 | 0
18.99/19.00 c 18.6s | 15 | 128621 | 109832 | 2119 97 | 450 | 0
20.99/21.01 c 20.6s | 15 | 142846 | 122532 | 2119 106 | 450 | 0
22.49/22.51 c 22.1s | 16 | 153106 | 131552 | 2331 113 | 450 | 0
24.49/24.52 c 24.1s | 16 | 166922 | 142752 | 2331 121 | 450 | 0
26.49/26.54 c 26.1s | 16 | 179993 | 153852 | 2331 129 | 450 | 0
28.48/28.56 c 28.1s | 16 | 193921 | 164452 | 2331 136 | 450 | 0
30.48/30.57 c 30.1s | 16 | 207515 | 175652 | 2331 144 | 450 | 0
32.48/32.57 c 32.1s | 16 | 221950 | 186252 | 2331 151 | 450 | 0
34.58/34.60 c 34.2s | 16 | 235429 | 197052 | 2565 159 | 450 | 0
34.58/34.65 c 34.2s | 17 | 235887 | 197432 | 2565 159 | 450 | 0
36.58/36.67 c 36.2s | 17 | 247685 | 207232 | 2565 165 | 450 | 0
38.59/38.67 c 38.2s | 17 | 260163 | 218232 | 2565 172 | 450 | 0
38.78/38.87 c 38.4s | 17 | 261379 | 219126 | 2565 173 | 450 | 0
38.78/38.87 c #cpu_time = 38.329s
38.78/38.87 c #wall_clock_time = 38.428s
38.78/38.87 c #decision = 261379
38.78/38.87 c #random_decision = 1273
38.78/38.87 c #conflict = 219126
38.78/38.87 c #restart = 17
38.78/38.87 c BCD2: relaxing 16 and merging with 1 cores into a new core of size 19: cost of the new core is >=34
38.78/38.87 c lower bound updated to -240
38.78/38.87 c BCD2: 524077 <= obj <= 524316
38.78/38.87 c BCD2: #cores=12, #unrelaxed=0, #relaxed=30, #hardened=0
38.78/38.87 c BCD2: #sat=1 #unsat=14 bias=14/15
38.78/38.87 c Solving starts ...
38.78/38.87 c ============================[ Search Statistics ]============================
38.78/38.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
38.78/38.87 c | | | | Limit GC | Var | Constra
38.78/38.87 c =============================================================================
38.78/38.87 c 0.0s | 0 | 0 | 0 | 2565 0 | 462 | 0
38.88/38.98 c 0.1s | 1 | 156 | 100 | 2565 0 | 462 | 23
38.88/39.00 c 0.1s | 2 | 329 | 250 | 2565 0 | 462 | 23
38.98/39.02 c 0.1s | 3 | 577 | 475 | 2565 0 | 462 | 23
38.98/39.09 c 0.2s | 4 | 976 | 813 | 2565 0 | 462 | 23
39.08/39.15 c 0.3s | 5 | 1558 | 1320 | 2565 1 | 462 | 23
39.18/39.24 c 0.4s | 6 | 2410 | 2081 | 2565 1 | 462 | 23
39.59/39.61 c 0.7s | 7 | 4683 | 3223 | 2565 1 | 462 | 23
39.78/39.86 c 1.0s | 8 | 7435 | 4936 | 2565 3 | 464 | 23
40.08/40.19 c 1.3s | 9 | 10268 | 7506 | 2565 4 | 464 | 23
40.88/40.98 c 2.1s | 10 | 14361 | 11361 | 2565 7 | 464 | 23
42.89/42.98 c 4.1s | 10 | 21152 | 16861 | 2565 9 | 465 | 23
43.08/43.11 c 4.2s | 11 | 21604 | 17144 | 2565 9 | 465 | 23
44.88/44.91 c 6.0s | 12 | 31931 | 25819 | 2565 14 | 465 | 23
46.88/46.98 c 8.1s | 12 | 40563 | 33019 | 2565 19 | 465 | 23
48.48/48.58 c 9.7s | 13 | 46787 | 38832 | 2565 22 | 465 | 23
50.48/50.59 c 11.7s | 13 | 53296 | 44532 | 2565 25 | 465 | 23
52.58/52.65 c 13.8s | 13 | 58362 | 49232 | 2565 28 | 465 | 23
54.68/54.71 c 15.8s | 13 | 63956 | 54132 | 2565 30 | 465 | 23
56.38/56.44 c 17.6s | 14 | 68378 | 58352 | 2565 33 | 465 | 23
58.39/58.49 c 19.6s | 14 | 73514 | 62652 | 2565 35 | 465 | 23
60.49/60.52 c 21.6s | 14 | 77480 | 66152 | 2565 37 | 465 | 23
62.48/62.53 c 23.7s | 14 | 81204 | 69552 | 2565 39 | 465 | 23
64.58/64.61 c 25.7s | 14 | 85353 | 73052 | 2565 41 | 465 | 23
66.58/66.61 c 27.7s | 14 | 89079 | 76352 | 2822 42 | 465 | 23
68.58/68.66 c 29.8s | 14 | 92512 | 79652 | 2822 44 | 465 | 23
70.68/70.70 c 31.8s | 14 | 95705 | 82752 | 2822 45 | 465 | 23
72.69/72.76 c 33.9s | 14 | 98879 | 85852 | 2822 47 | 465 | 23
73.98/74.00 c 35.1s | 15 | 100707 | 87632 | 2822 48 | 465 | 23
75.99/76.01 c 37.1s | 15 | 116281 | 99032 | 2822 55 | 474 | 23
77.98/78.02 c 39.2s | 15 | 128753 | 109732 | 2822 61 | 474 | 23
79.98/80.10 c 41.2s | 15 | 137696 | 117632 | 2822 66 | 474 | 23
82.08/82.10 c 43.2s | 15 | 147151 | 126232 | 2822 71 | 474 | 23
83.08/83.14 c 44.3s | 16 | 153092 | 131552 | 2822 74 | 474 | 23
85.08/85.15 c 46.3s | 16 | 164512 | 141652 | 2822 80 | 474 | 23
87.08/87.17 c 48.3s | 16 | 172872 | 149752 | 2822 84 | 474 | 23
89.08/89.18 c 50.3s | 16 | 180799 | 156752 | 2822 88 | 474 | 23
91.18/91.20 c 52.3s | 16 | 189081 | 163852 | 2822 92 | 474 | 23
93.17/93.21 c 54.3s | 16 | 196681 | 170852 | 2822 96 | 474 | 23
95.17/95.23 c 56.4s | 16 | 204757 | 177952 | 2822 100 | 474 | 23
97.17/97.24 c 58.4s | 16 | 211568 | 184352 | 2822 104 | 474 | 23
99.17/99.26 c 60.4s | 16 | 219491 | 191452 | 2822 108 | 474 | 23
100.67/100.78 c 61.9s | 17 | 226494 | 197432 | 2822 111 | 474 | 23
102.67/102.79 c 63.9s | 17 | 237880 | 207332 | 2822 117 | 474 | 23
104.77/104.81 c 65.9s | 17 | 245802 | 214732 | 2822 122 | 474 | 23
106.78/106.82 c 67.9s | 17 | 253973 | 222432 | 3105 126 | 474 | 23
108.77/108.84 c 70.0s | 17 | 264013 | 231332 | 3105 131 | 474 | 23
110.77/110.86 c 72.0s | 17 | 272600 | 239132 | 3105 135 | 474 | 23
112.78/112.87 c 74.0s | 17 | 282281 | 247732 | 3105 140 | 474 | 23
114.78/114.88 c 76.0s | 17 | 294462 | 257632 | 3105 145 | 474 | 23
116.78/116.88 c 78.0s | 17 | 307266 | 267632 | 3105 151 | 474 | 23
118.78/118.89 c 80.0s | 17 | 317209 | 276632 | 3105 155 | 475 | 23
120.77/120.89 c 82.0s | 17 | 326250 | 284332 | 3105 159 | 475 | 23
122.87/122.90 c 84.0s | 17 | 331630 | 288832 | 3105 161 | 475 | 23
124.87/124.90 c 86.0s | 17 | 336067 | 292732 | 3105 163 | 475 | 23
126.87/126.98 c 88.1s | 17 | 340316 | 296232 | 3105 165 | 475 | 23
126.87/126.99 c 88.1s | 18 | 340336 | 296252 | 3105 165 | 475 | 23
128.97/129.01 c 90.1s | 18 | 347713 | 302952 | 3105 168 | 475 | 23
130.98/131.02 c 92.1s | 18 | 354864 | 309352 | 3105 171 | 475 | 23
132.97/133.02 c 94.1s | 18 | 366428 | 318452 | 3105 176 | 481 | 23
134.97/135.06 c 96.2s | 18 | 378354 | 328052 | 3105 182 | 481 | 23
136.97/137.07 c 98.2s | 18 | 389339 | 337252 | 3105 187 | 481 | 23
138.97/139.08 c 100s | 18 | 402883 | 348352 | 3105 192 | 481 | 23
140.97/141.09 c 102s | 18 | 416628 | 359352 | 3105 198 | 481 | 23
142.97/143.09 c 104s | 18 | 430786 | 370452 | 3105 204 | 481 | 23
145.07/145.10 c 106s | 18 | 444711 | 381052 | 3105 210 | 481 | 23
147.07/147.11 c 108s | 18 | 457590 | 391652 | 3105 216 | 481 | 23
149.07/149.12 c 110s | 18 | 468157 | 400952 | 3105 221 | 481 | 23
151.07/151.13 c 112s | 18 | 482851 | 411952 | 3105 227 | 481 | 23
153.07/153.14 c 114s | 18 | 496045 | 422152 | 3105 232 | 481 | 23
155.07/155.14 c 116s | 18 | 510313 | 432352 | 3105 238 | 481 | 23
157.07/157.15 c 118s | 18 | 519968 | 441052 | 3105 243 | 481 | 23
157.77/157.88 c 119s | 19 | 523755 | 444482 | 3416 244 | 481 | 23
159.86/159.90 c 121s | 19 | 530864 | 450282 | 3416 247 | 481 | 23
161.86/161.91 c 123s | 19 | 536313 | 455182 | 3416 249 | 481 | 23
163.87/163.93 c 125s | 19 | 541711 | 459982 | 3416 251 | 481 | 23
165.86/165.98 c 127s | 19 | 545411 | 462982 | 3416 253 | 481 | 23
167.96/168.01 c 129s | 19 | 548454 | 465682 | 3416 254 | 481 | 23
169.96/170.05 c 131s | 19 | 551622 | 468582 | 3416 255 | 481 | 23
171.96/172.05 c 133s | 19 | 554948 | 471582 | 3416 257 | 481 | 23
174.06/174.12 c 135s | 19 | 558938 | 475182 | 3416 258 | 481 | 23
176.07/176.14 c 137s | 19 | 562573 | 478482 | 3416 260 | 481 | 23
178.06/178.14 c 139s | 19 | 566222 | 481982 | 3416 261 | 481 | 23
180.16/180.23 c 141s | 19 | 569513 | 485182 | 3416 263 | 481 | 23
182.16/182.24 c 143s | 19 | 576116 | 490682 | 3416 266 | 481 | 23
184.16/184.26 c 145s | 19 | 580919 | 494382 | 3416 267 | 481 | 23
186.26/186.31 c 147s | 19 | 584625 | 497782 | 3416 269 | 481 | 23
188.26/188.33 c 149s | 19 | 589241 | 501382 | 3416 271 | 481 | 23
190.26/190.34 c 151s | 19 | 594991 | 505282 | 3416 272 | 481 | 23
192.26/192.37 c 153s | 19 | 599164 | 508582 | 3416 274 | 481 | 23
194.35/194.44 c 155s | 19 | 603191 | 511882 | 3416 276 | 481 | 23
196.35/196.46 c 157s | 19 | 607321 | 515382 | 3416 277 | 481 | 23
198.45/198.51 c 159s | 19 | 611274 | 518782 | 3416 279 | 481 | 23
200.45/200.54 c 161s | 19 | 615675 | 522382 | 3416 280 | 481 | 23
202.47/202.56 c 163s | 19 | 619943 | 526082 | 3416 282 | 481 | 23
204.46/204.58 c 165s | 19 | 626578 | 529882 | 3416 284 | 481 | 23
206.56/206.63 c 167s | 19 | 629806 | 532882 | 3416 285 | 481 | 23
208.56/208.67 c 169s | 19 | 633776 | 536382 | 3416 287 | 481 | 23
210.66/210.72 c 171s | 19 | 638013 | 539982 | 3416 289 | 481 | 23
212.66/212.74 c 173s | 19 | 642018 | 543382 | 3416 290 | 481 | 23
214.66/214.78 c 175s | 19 | 645728 | 546682 | 3416 292 | 481 | 23
216.77/216.82 c 177s | 19 | 649696 | 549982 | 3416 293 | 481 | 23
218.76/218.89 c 180s | 19 | 656059 | 554982 | 3416 296 | 481 | 23
220.86/220.95 c 182s | 19 | 658976 | 557782 | 3416 297 | 481 | 23
222.96/223.01 c 184s | 19 | 661949 | 560582 | 3416 298 | 481 | 23
224.96/225.09 c 186s | 19 | 665299 | 563682 | 3416 300 | 481 | 23
226.96/227.09 c 188s | 19 | 668755 | 566982 | 3416 301 | 481 | 23
229.06/229.12 c 190s | 19 | 672625 | 570482 | 3416 303 | 481 | 23
231.06/231.18 c 192s | 19 | 676573 | 574182 | 3416 305 | 481 | 23
233.16/233.21 c 194s | 19 | 679766 | 577282 | 3416 306 | 481 | 23
235.16/235.24 c 196s | 19 | 683027 | 580382 | 3416 308 | 481 | 23
237.16/237.29 c 198s | 19 | 686393 | 583682 | 3416 309 | 481 | 23
239.15/239.30 c 200s | 19 | 689699 | 586982 | 3416 311 | 481 | 23
241.25/241.32 c 202s | 19 | 696477 | 593282 | 3416 314 | 481 | 23
243.25/243.33 c 204s | 19 | 705322 | 600482 | 3416 317 | 481 | 23
245.26/245.35 c 206s | 19 | 713266 | 607482 | 3416 320 | 481 | 23
247.25/247.36 c 208s | 19 | 721140 | 614582 | 3416 323 | 481 | 23
249.25/249.37 c 210s | 19 | 728635 | 621482 | 3416 326 | 481 | 23
251.25/251.38 c 212s | 19 | 736040 | 627882 | 3416 329 | 481 | 23
253.35/253.40 c 214s | 19 | 742999 | 632882 | 3416 332 | 481 | 23
255.35/255.45 c 216s | 19 | 747360 | 636582 | 3416 333 | 481 | 23
257.36/257.50 c 218s | 19 | 750918 | 639782 | 3416 335 | 481 | 23
259.45/259.53 c 220s | 19 | 754006 | 642682 | 3416 336 | 481 | 23
261.45/261.57 c 222s | 19 | 757185 | 645782 | 3416 338 | 481 | 23
263.45/263.58 c 224s | 19 | 760613 | 648982 | 3416 339 | 481 | 23
265.45/265.60 c 226s | 19 | 764146 | 652382 | 3416 341 | 481 | 23
267.55/267.62 c 228s | 19 | 769295 | 656882 | 3416 343 | 481 | 23
269.56/269.66 c 230s | 19 | 773680 | 660582 | 3416 345 | 481 | 23
271.55/271.69 c 232s | 19 | 778065 | 664382 | 3416 347 | 481 | 23
272.95/273.09 c 234s | 20 | 780852 | 666827 | 3416 348 | 481 | 23
275.05/275.11 c 236s | 20 | 792719 | 676427 | 3416 352 | 481 | 23
277.05/277.12 c 238s | 20 | 802759 | 685427 | 3416 357 | 481 | 23
279.05/279.13 c 240s | 20 | 812071 | 694227 | 3416 361 | 481 | 23
281.05/281.14 c 242s | 20 | 830389 | 702827 | 3416 365 | 481 | 23
283.04/283.14 c 244s | 20 | 858501 | 711327 | 3416 370 | 481 | 23
285.04/285.15 c 246s | 20 | 885008 | 719727 | 3416 374 | 481 | 23
287.05/287.16 c 248s | 20 | 910114 | 729027 | 3416 378 | 481 | 23
289.04/289.19 c 250s | 20 | 917648 | 735327 | 3416 381 | 481 | 23
291.14/291.21 c 252s | 20 | 924407 | 740927 | 3416 384 | 481 | 23
293.14/293.22 c 254s | 20 | 932061 | 746727 | 3416 387 | 481 | 23
295.14/295.26 c 256s | 20 | 937790 | 751727 | 3416 389 | 481 | 23
297.14/297.28 c 258s | 20 | 944629 | 757127 | 3416 391 | 481 | 23
299.25/299.32 c 260s | 20 | 950706 | 762127 | 3416 394 | 481 | 23
301.24/301.34 c 262s | 20 | 957066 | 767527 | 3416 396 | 481 | 23
303.24/303.37 c 264s | 20 | 963469 | 772727 | 3416 399 | 481 | 23
305.34/305.40 c 266s | 20 | 969781 | 778027 | 3758 401 | 481 | 23
307.34/307.43 c 268s | 20 | 975508 | 783027 | 3758 403 | 481 | 23
309.34/309.46 c 270s | 20 | 982927 | 789227 | 3758 406 | 481 | 23
311.35/311.47 c 272s | 20 | 990866 | 795627 | 3758 408 | 481 | 23
313.34/313.49 c 274s | 20 | 999001 | 802027 | 3758 411 | 481 | 23
315.44/315.51 c 276s | 20 | 1007073 | 808327 | 3758 414 | 481 | 23
317.44/317.53 c 278s | 20 | 1014307 | 814327 | 3758 416 | 481 | 23
319.44/319.56 c 280s | 20 | 1023264 | 821527 | 3758 419 | 481 | 23
321.44/321.57 c 282s | 20 | 1031426 | 828127 | 3758 422 | 481 | 23
323.54/323.60 c 284s | 20 | 1039848 | 834827 | 3758 425 | 481 | 23
325.54/325.60 c 286s | 20 | 1047015 | 840927 | 3758 428 | 481 | 23
327.54/327.61 c 288s | 20 | 1053700 | 846627 | 3758 430 | 481 | 23
329.54/329.64 c 290s | 20 | 1061584 | 853127 | 3758 433 | 481 | 23
331.54/331.66 c 292s | 20 | 1070186 | 860127 | 3758 436 | 481 | 23
333.54/333.67 c 294s | 20 | 1077453 | 865827 | 3758 438 | 481 | 23
335.63/335.70 c 296s | 20 | 1085231 | 872127 | 3758 441 | 481 | 23
337.64/337.71 c 298s | 20 | 1092467 | 878227 | 3758 444 | 481 | 23
339.63/339.73 c 300s | 20 | 1099745 | 884527 | 3758 446 | 481 | 23
341.63/341.75 c 302s | 20 | 1107185 | 890727 | 3758 449 | 481 | 23
343.63/343.76 c 304s | 20 | 1114634 | 897127 | 3758 452 | 481 | 23
345.63/345.79 c 306s | 20 | 1122083 | 903227 | 3758 454 | 481 | 23
347.73/347.82 c 308s | 20 | 1129698 | 909627 | 3758 457 | 481 | 23
349.74/349.84 c 310s | 20 | 1137094 | 915727 | 3758 460 | 481 | 23
351.74/351.86 c 312s | 20 | 1144205 | 921827 | 3758 462 | 481 | 23
353.74/353.87 c 314s | 20 | 1151170 | 927827 | 3758 465 | 481 | 23
355.74/355.90 c 317s | 20 | 1158010 | 933627 | 3758 468 | 481 | 23
357.84/357.92 c 319s | 20 | 1165287 | 939827 | 3758 470 | 481 | 23
359.84/359.94 c 321s | 20 | 1172746 | 946027 | 3758 473 | 481 | 23
361.85/361.97 c 323s | 20 | 1179600 | 951927 | 3758 475 | 481 | 23
363.94/364.00 c 325s | 20 | 1187207 | 958227 | 3758 478 | 481 | 23
365.94/366.02 c 327s | 20 | 1193834 | 963827 | 3758 480 | 481 | 23
367.94/368.02 c 329s | 20 | 1199607 | 968627 | 3758 483 | 481 | 23
369.94/370.05 c 331s | 20 | 1205751 | 973527 | 3758 485 | 481 | 23
371.94/372.07 c 333s | 20 | 1212119 | 978727 | 3758 487 | 481 | 23
373.94/374.08 c 335s | 20 | 1217849 | 983327 | 3758 489 | 481 | 23
375.94/376.08 c 337s | 20 | 1223857 | 988627 | 3758 491 | 481 | 23
377.94/378.09 c 339s | 20 | 1229825 | 993727 | 3758 493 | 481 | 23
380.04/380.12 c 341s | 20 | 1235980 | 998827 | 3758 496 | 481 | 23
380.54/380.69 c 341s | 21 | 1237765 | 1000345 | 3758 496 | 481 | 23
382.63/382.71 c 343s | 21 | 1248070 | 1008045 | 3758 500 | 487 | 23
384.63/384.73 c 345s | 21 | 1260673 | 1017645 | 3758 504 | 487 | 23
386.63/386.74 c 347s | 21 | 1271096 | 1026745 | 3758 509 | 487 | 23
388.63/388.74 c 349s | 21 | 1281464 | 1035645 | 3758 513 | 487 | 23
390.63/390.75 c 351s | 21 | 1291319 | 1043945 | 3758 517 | 487 | 23
392.64/392.76 c 353s | 21 | 1302135 | 1053445 | 3758 521 | 487 | 23
394.63/394.77 c 355s | 21 | 1312114 | 1061945 | 3758 525 | 487 | 23
396.63/396.77 c 357s | 21 | 1323715 | 1071645 | 3758 529 | 487 | 23
398.63/398.78 c 359s | 21 | 1335331 | 1081645 | 3758 534 | 487 | 23
400.73/400.80 c 361s | 21 | 1345621 | 1090545 | 3758 538 | 487 | 23
402.73/402.81 c 363s | 21 | 1355952 | 1099145 | 3758 542 | 487 | 23
404.74/404.81 c 365s | 21 | 1365119 | 1106745 | 3758 546 | 487 | 23
406.73/406.83 c 367s | 21 | 1375426 | 1116045 | 3758 550 | 487 | 23
408.73/408.83 c 369s | 21 | 1384957 | 1124545 | 3758 554 | 487 | 23
410.73/410.85 c 371s | 21 | 1394725 | 1133045 | 3758 558 | 487 | 23
412.73/412.89 c 374s | 21 | 1405936 | 1142745 | 3758 562 | 487 | 23
414.74/414.89 c 376s | 21 | 1416879 | 1151845 | 3758 567 | 487 | 23
416.84/416.90 c 378s | 21 | 1427345 | 1160545 | 3758 571 | 487 | 23
418.83/418.92 c 380s | 21 | 1438590 | 1169945 | 3758 575 | 487 | 23
420.83/420.93 c 382s | 21 | 1449714 | 1179445 | 3758 579 | 487 | 23
422.83/422.93 c 384s | 21 | 1460459 | 1188645 | 3758 584 | 487 | 23
424.83/424.96 c 386s | 21 | 1471754 | 1198145 | 3758 588 | 487 | 23
426.83/426.96 c 388s | 21 | 1482702 | 1207545 | 3758 592 | 487 | 23
428.83/428.96 c 390s | 21 | 1493901 | 1217345 | 3758 597 | 487 | 23
430.93/431.00 c 392s | 21 | 1504497 | 1226245 | 3758 601 | 487 | 23
432.93/433.02 c 394s | 21 | 1515442 | 1235745 | 3758 606 | 487 | 23
434.92/435.04 c 396s | 21 | 1527491 | 1245545 | 3758 610 | 487 | 23
436.92/437.04 c 398s | 21 | 1537878 | 1254545 | 3758 614 | 487 | 23
438.93/439.04 c 400s | 21 | 1547732 | 1262945 | 3758 618 | 487 | 23
440.92/441.08 c 402s | 21 | 1559450 | 1272945 | 4134 623 | 487 | 23
442.92/443.09 c 404s | 21 | 1570500 | 1282145 | 4134 626 | 487 | 23
445.02/445.11 c 406s | 21 | 1580444 | 1290645 | 4134 630 | 487 | 23
447.02/447.12 c 408s | 21 | 1590549 | 1298745 | 4134 634 | 487 | 23
449.02/449.12 c 410s | 21 | 1601305 | 1307545 | 4134 637 | 487 | 23
451.03/451.14 c 412s | 21 | 1611105 | 1316045 | 4134 641 | 487 | 23
453.02/453.15 c 414s | 21 | 1623183 | 1326145 | 4134 645 | 487 | 23
455.02/455.16 c 416s | 21 | 1632233 | 1334245 | 4134 649 | 487 | 23
457.02/457.18 c 418s | 21 | 1642161 | 1342345 | 4134 652 | 487 | 23
459.02/459.18 c 420s | 21 | 1652079 | 1350945 | 4134 656 | 487 | 23
461.12/461.20 c 422s | 21 | 1662507 | 1359445 | 4134 659 | 487 | 23
463.13/463.21 c 424s | 21 | 1674283 | 1369445 | 4134 664 | 487 | 23
465.12/465.22 c 426s | 21 | 1683112 | 1377245 | 4134 667 | 487 | 23
467.12/467.24 c 428s | 21 | 1693601 | 1385945 | 4134 671 | 487 | 23
469.12/469.25 c 430s | 21 | 1705322 | 1395845 | 4134 675 | 487 | 23
471.12/471.27 c 432s | 21 | 1715359 | 1403745 | 4134 678 | 487 | 23
473.12/473.28 c 434s | 21 | 1726432 | 1412745 | 4134 682 | 487 | 23
475.22/475.38 c 436s | 21 | 1735830 | 1420645 | 4134 686 | 487 | 23
477.32/477.42 c 438s | 21 | 1746445 | 1429845 | 4134 690 | 487 | 23
479.32/479.42 c 440s | 21 | 1756840 | 1438945 | 4134 693 | 487 | 23
481.31/481.43 c 442s | 21 | 1767599 | 1448245 | 4134 697 | 487 | 23
483.31/483.44 c 444s | 21 | 1776107 | 1455645 | 4134 701 | 487 | 23
485.31/485.48 c 446s | 21 | 1785380 | 1463545 | 4134 704 | 487 | 23
487.32/487.49 c 448s | 21 | 1795372 | 1471745 | 4134 707 | 487 | 23
489.42/489.51 c 450s | 21 | 1803811 | 1479145 | 4134 711 | 487 | 23
491.41/491.51 c 452s | 21 | 1814892 | 1488445 | 4134 715 | 487 | 23
493.41/493.53 c 454s | 21 | 1825842 | 1497645 | 4134 718 | 487 | 23
494.01/494.17 c 455s | 22 | 1829522 | 1500622 | 4134 720 | 487 | 23
496.02/496.18 c 457s | 22 | 1841666 | 1510822 | 4134 724 | 487 | 23
498.02/498.19 c 459s | 22 | 1852280 | 1519822 | 4134 728 | 487 | 23
500.12/500.21 c 461s | 22 | 1862484 | 1528622 | 4134 731 | 487 | 23
502.12/502.21 c 463s | 22 | 1870578 | 1535922 | 4134 734 | 487 | 23
504.12/504.23 c 465s | 22 | 1880104 | 1543622 | 4134 738 | 487 | 23
506.12/506.25 c 467s | 22 | 1889883 | 1550822 | 4134 741 | 487 | 23
508.12/508.26 c 469s | 22 | 1899717 | 1558722 | 4134 744 | 487 | 23
510.11/510.27 c 471s | 22 | 1909803 | 1566222 | 4134 747 | 487 | 23
512.11/512.28 c 473s | 22 | 1920709 | 1575022 | 4134 751 | 487 | 23
514.11/514.28 c 475s | 22 | 1930609 | 1583222 | 4134 754 | 487 | 23
516.21/516.30 c 477s | 22 | 1939131 | 1590622 | 4134 757 | 487 | 23
518.21/518.31 c 479s | 22 | 1947642 | 1598922 | 4134 761 | 487 | 23
520.22/520.33 c 481s | 22 | 1956415 | 1606722 | 4134 764 | 487 | 23
522.21/522.39 c 483s | 22 | 1962843 | 1612722 | 4134 766 | 487 | 23
524.31/524.41 c 485s | 22 | 1973506 | 1621922 | 4134 770 | 487 | 23
526.31/526.43 c 487s | 22 | 1980473 | 1627522 | 4134 772 | 487 | 23
528.31/528.45 c 489s | 22 | 1991208 | 1635822 | 4134 776 | 487 | 23
530.31/530.46 c 491s | 22 | 2000470 | 1643222 | 4134 779 | 487 | 23
532.31/532.49 c 493s | 22 | 2010457 | 1651522 | 4134 782 | 487 | 23
534.31/534.49 c 495s | 22 | 2021487 | 1660422 | 4134 786 | 487 | 23
536.41/536.51 c 497s | 22 | 2033346 | 1669822 | 4134 790 | 487 | 23
538.41/538.53 c 499s | 22 | 2045067 | 1678522 | 4134 794 | 487 | 23
540.40/540.53 c 501s | 22 | 2056539 | 1686822 | 4134 797 | 487 | 23
542.40/542.56 c 503s | 22 | 2065582 | 1695522 | 4134 801 | 487 | 23
544.51/544.68 c 505s | 22 | 2071684 | 1700322 | 4134 803 | 487 | 23
546.61/546.70 c 507s | 22 | 2080873 | 1707922 | 4134 806 | 487 | 23
548.60/548.70 c 509s | 22 | 2089009 | 1715122 | 4134 809 | 487 | 23
550.60/550.73 c 511s | 22 | 2096106 | 1721622 | 4134 812 | 487 | 23
552.60/552.75 c 513s | 22 | 2103135 | 1726722 | 4134 814 | 487 | 23
554.60/554.75 c 515s | 22 | 2107747 | 1730722 | 4134 815 | 487 | 23
556.61/556.79 c 517s | 22 | 2111979 | 1734022 | 4134 817 | 487 | 23
558.71/558.80 c 519s | 22 | 2116215 | 1737322 | 4134 818 | 487 | 23
560.70/560.84 c 521s | 22 | 2120005 | 1740722 | 4134 819 | 487 | 23
562.71/562.89 c 524s | 22 | 2123965 | 1743922 | 4134 821 | 487 | 23
564.81/564.94 c 526s | 22 | 2127876 | 1747422 | 4134 822 | 487 | 23
566.81/566.98 c 528s | 22 | 2131811 | 1750522 | 4134 824 | 487 | 23
568.91/569.01 c 530s | 22 | 2136163 | 1754422 | 4134 825 | 487 | 23
570.91/571.02 c 532s | 22 | 2140166 | 1758122 | 4134 827 | 487 | 23
572.91/573.02 c 534s | 22 | 2144474 | 1761822 | 4134 828 | 487 | 23
574.91/575.04 c 536s | 22 | 2148496 | 1765522 | 4134 830 | 487 | 23
576.91/577.04 c 538s | 22 | 2152565 | 1769022 | 4134 831 | 487 | 23
578.91/579.04 c 540s | 22 | 2156660 | 1772722 | 4134 833 | 487 | 23
580.90/581.05 c 542s | 22 | 2160652 | 1776322 | 4134 834 | 487 | 23
582.91/583.09 c 544s | 22 | 2165112 | 1780022 | 4134 836 | 487 | 23
585.00/585.14 c 546s | 22 | 2168486 | 1783022 | 4134 837 | 487 | 23
587.00/587.16 c 548s | 22 | 2172339 | 1786522 | 4134 838 | 487 | 23
589.10/589.21 c 550s | 22 | 2176899 | 1790222 | 4134 840 | 487 | 23
591.10/591.21 c 552s | 22 | 2180858 | 1793822 | 4134 841 | 487 | 23
593.10/593.27 c 554s | 22 | 2185045 | 1797422 | 4134 843 | 487 | 23
595.11/595.28 c 556s | 22 | 2189762 | 1801022 | 4134 844 | 487 | 23
597.10/597.29 c 558s | 22 | 2193866 | 1804322 | 4134 846 | 487 | 23
599.20/599.34 c 560s | 22 | 2197988 | 1808122 | 4134 847 | 487 | 23
601.20/601.35 c 562s | 22 | 2203293 | 1812422 | 4134 849 | 487 | 23
603.20/603.38 c 564s | 22 | 2208628 | 1816822 | 4134 851 | 487 | 23
605.30/605.40 c 566s | 22 | 2213654 | 1820822 | 4134 853 | 487 | 23
607.30/607.42 c 568s | 22 | 2219051 | 1825322 | 4134 855 | 487 | 23
609.31/609.43 c 570s | 22 | 2225189 | 1829722 | 4134 856 | 487 | 23
611.30/611.45 c 572s | 22 | 2231980 | 1834322 | 4134 858 | 487 | 23
613.30/613.47 c 574s | 22 | 2238035 | 1839022 | 4134 860 | 487 | 23
615.40/615.50 c 576s | 22 | 2245268 | 1844122 | 4134 862 | 487 | 23
617.40/617.52 c 578s | 22 | 2253598 | 1849422 | 4134 865 | 487 | 23
619.40/619.54 c 580s | 22 | 2261088 | 1854922 | 4134 867 | 487 | 23
621.40/621.55 c 582s | 22 | 2268309 | 1860422 | 4134 869 | 487 | 23
623.40/623.55 c 584s | 22 | 2275586 | 1865622 | 4134 871 | 487 | 23
625.39/625.58 c 586s | 22 | 2283564 | 1871122 | 4134 874 | 487 | 23
627.39/627.58 c 588s | 22 | 2291964 | 1876922 | 4134 876 | 487 | 23
629.49/629.61 c 590s | 22 | 2298711 | 1881722 | 4134 878 | 487 | 23
631.49/631.64 c 592s | 22 | 2306570 | 1887322 | 4134 880 | 487 | 23
633.50/633.67 c 594s | 22 | 2314114 | 1892722 | 4134 883 | 487 | 23
635.49/635.68 c 596s | 22 | 2322330 | 1898522 | 4134 885 | 487 | 23
637.49/637.68 c 598s | 22 | 2329397 | 1903722 | 4134 887 | 487 | 23
639.59/639.71 c 600s | 22 | 2337382 | 1909422 | 4134 889 | 487 | 23
641.59/641.75 c 602s | 22 | 2344465 | 1914622 | 4134 892 | 487 | 23
643.69/643.80 c 604s | 22 | 2350502 | 1919322 | 4134 894 | 487 | 23
645.69/645.81 c 606s | 22 | 2359162 | 1925222 | 4134 896 | 487 | 23
647.69/647.82 c 608s | 22 | 2366355 | 1930622 | 4134 898 | 487 | 23
649.69/649.82 c 610s | 22 | 2373120 | 1935622 | 4134 900 | 487 | 23
651.69/651.83 c 612s | 22 | 2379076 | 1940222 | 4134 902 | 487 | 23
653.69/653.85 c 614s | 22 | 2386917 | 1945922 | 4134 905 | 487 | 23
655.69/655.88 c 617s | 22 | 2394273 | 1951422 | 4134 907 | 487 | 23
657.69/657.89 c 619s | 22 | 2401133 | 1956522 | 4134 909 | 487 | 23
659.78/659.92 c 621s | 22 | 2408615 | 1962222 | 4134 911 | 487 | 23
661.78/661.95 c 623s | 22 | 2415592 | 1967722 | 4134 914 | 487 | 23
663.78/663.95 c 625s | 22 | 2423121 | 1973322 | 4134 916 | 487 | 23
665.78/665.99 c 627s | 22 | 2429930 | 1978122 | 4134 918 | 487 | 23
667.88/668.00 c 629s | 22 | 2437025 | 1983422 | 4134 920 | 487 | 23
669.89/670.01 c 631s | 22 | 2443685 | 1988322 | 4134 922 | 487 | 23
671.88/672.03 c 633s | 22 | 2451750 | 1993922 | 4134 924 | 487 | 23
673.89/674.06 c 635s | 22 | 2458988 | 1999122 | 4134 927 | 487 | 23
675.89/676.07 c 637s | 22 | 2466905 | 2004722 | 4134 929 | 487 | 23
677.89/678.08 c 639s | 22 | 2474009 | 2009822 | 4134 931 | 487 | 23
679.99/680.12 c 641s | 22 | 2481671 | 2015422 | 4548 933 | 487 | 23
681.99/682.14 c 643s | 22 | 2488511 | 2020422 | 4548 935 | 487 | 23
683.99/684.16 c 645s | 22 | 2495545 | 2025622 | 4548 937 | 487 | 23
685.99/686.18 c 647s | 22 | 2501889 | 2030122 | 4548 939 | 487 | 23
688.09/688.21 c 649s | 22 | 2508965 | 2035222 | 4548 941 | 487 | 23
690.09/690.23 c 651s | 22 | 2515660 | 2040022 | 4548 943 | 487 | 23
692.09/692.25 c 653s | 22 | 2522727 | 2045422 | 4548 945 | 487 | 23
694.09/694.26 c 655s | 22 | 2529612 | 2050322 | 4548 947 | 487 | 23
696.08/696.26 c 657s | 22 | 2534330 | 2054022 | 4548 948 | 487 | 23
698.08/698.28 c 659s | 22 | 2541575 | 2059122 | 4548 950 | 487 | 23
700.08/700.29 c 661s | 22 | 2548404 | 2064122 | 4548 952 | 487 | 23
702.08/702.29 c 663s | 22 | 2555978 | 2069622 | 4548 954 | 487 | 23
704.18/704.30 c 665s | 22 | 2561706 | 2074122 | 4548 956 | 487 | 23
706.19/706.34 c 667s | 22 | 2569237 | 2079822 | 4548 958 | 487 | 23
708.18/708.36 c 669s | 22 | 2576115 | 2084822 | 4548 960 | 487 | 23
710.18/710.36 c 671s | 22 | 2581975 | 2089322 | 4548 961 | 487 | 23
712.18/712.38 c 673s | 22 | 2588222 | 2093922 | 4548 963 | 487 | 23
714.28/714.42 c 675s | 22 | 2596294 | 2099622 | 4548 965 | 487 | 23
716.28/716.42 c 677s | 22 | 2602855 | 2104622 | 4548 967 | 487 | 23
718.28/718.44 c 679s | 22 | 2609521 | 2109122 | 4548 969 | 487 | 23
720.28/720.44 c 681s | 22 | 2616869 | 2114422 | 4548 971 | 487 | 23
722.28/722.44 c 683s | 22 | 2623058 | 2119222 | 4548 973 | 487 | 23
724.28/724.45 c 685s | 22 | 2627787 | 2123122 | 4548 974 | 487 | 23
726.28/726.47 c 687s | 22 | 2634635 | 2128222 | 4548 976 | 487 | 23
728.38/728.50 c 689s | 22 | 2642231 | 2133822 | 4548 978 | 487 | 23
730.38/730.52 c 691s | 22 | 2648206 | 2138422 | 4548 980 | 487 | 23
732.37/732.54 c 693s | 22 | 2654665 | 2143422 | 4548 982 | 487 | 23
734.37/734.57 c 695s | 22 | 2661465 | 2148322 | 4548 984 | 487 | 23
736.37/736.57 c 697s | 22 | 2668804 | 2153622 | 4548 986 | 487 | 23
738.37/738.57 c 699s | 22 | 2674903 | 2158022 | 4548 988 | 487 | 23
740.38/740.57 c 701s | 22 | 2680703 | 2162422 | 4548 989 | 487 | 23
742.39/742.59 c 703s | 22 | 2686385 | 2166922 | 4548 991 | 487 | 23
744.68/744.83 c 705s | 22 | 2691648 | 2171222 | 4548 993 | 487 | 23
746.68/746.83 c 707s | 22 | 2699757 | 2176922 | 4548 995 | 487 | 23
748.68/748.85 c 709s | 22 | 2706761 | 2182122 | 4548 997 | 487 | 23
750.87/751.09 c 712s | 22 | 2713471 | 2187022 | 4548 999 | 487 | 23
752.97/753.10 c 714s | 22 | 2721285 | 2192422 | 4548 1001 | 487 | 23
754.97/755.11 c 716s | 22 | 2727851 | 2197322 | 4548 1003 | 487 | 23
756.97/757.12 c 718s | 22 | 2734551 | 2202222 | 4548 1004 | 487 | 23
758.98/759.14 c 720s | 22 | 2740993 | 2206722 | 4548 1006 | 487 | 23
760.97/761.17 c 722s | 22 | 2746751 | 2211122 | 4548 1008 | 487 | 23
762.97/763.18 c 724s | 22 | 2753308 | 2215922 | 4548 1010 | 487 | 23
764.97/765.19 c 726s | 22 | 2760063 | 2220722 | 4548 1012 | 487 | 23
767.07/767.21 c 728s | 22 | 2767100 | 2225822 | 4548 1013 | 487 | 23
769.07/769.24 c 730s | 22 | 2773845 | 2230722 | 4548 1015 | 487 | 23
771.07/771.28 c 732s | 22 | 2779265 | 2234622 | 4548 1017 | 487 | 23
773.07/773.29 c 734s | 22 | 2785239 | 2239122 | 4548 1019 | 487 | 23
775.17/775.33 c 736s | 22 | 2789929 | 2243122 | 4548 1020 | 487 | 23
777.17/777.33 c 738s | 22 | 2794837 | 2247122 | 4548 1022 | 487 | 23
778.68/778.88 c 740s | 23 | 2800317 | 2251038 | 4548 1023 | 487 | 23
780.67/780.89 c 742s | 23 | 2810050 | 2259338 | 4548 1026 | 487 | 23
782.77/782.92 c 744s | 23 | 2817924 | 2266638 | 4548 1029 | 487 | 23
784.77/784.94 c 746s | 23 | 2825544 | 2273638 | 4548 1032 | 487 | 23
786.77/786.97 c 748s | 23 | 2832536 | 2280038 | 4548 1034 | 487 | 23
788.77/788.97 c 750s | 23 | 2840069 | 2286838 | 4548 1037 | 487 | 23
790.78/790.97 c 752s | 23 | 2848229 | 2294338 | 4548 1040 | 487 | 23
792.77/792.98 c 754s | 23 | 2856133 | 2301338 | 4548 1043 | 487 | 23
794.77/794.98 c 756s | 23 | 2864433 | 2308938 | 4548 1046 | 487 | 23
796.77/797.00 c 758s | 23 | 2874142 | 2317338 | 4548 1049 | 487 | 23
798.87/799.01 c 760s | 23 | 2884607 | 2325638 | 4548 1052 | 487 | 23
800.87/801.03 c 762s | 23 | 2894626 | 2334438 | 4548 1056 | 487 | 23
802.88/803.06 c 764s | 23 | 2904398 | 2342838 | 4548 1059 | 487 | 23
804.87/805.06 c 766s | 23 | 2912580 | 2350438 | 4548 1062 | 487 | 23
806.87/807.06 c 768s | 23 | 2920425 | 2357938 | 4548 1065 | 487 | 23
808.87/809.07 c 770s | 23 | 2929375 | 2365638 | 4548 1068 | 487 | 23
810.87/811.08 c 772s | 23 | 2938353 | 2373438 | 4548 1071 | 487 | 23
812.87/813.08 c 774s | 23 | 2947749 | 2381638 | 4548 1074 | 487 | 23
814.87/815.08 c 776s | 23 | 2957217 | 2389538 | 4548 1077 | 487 | 23
816.96/817.10 c 778s | 23 | 2964944 | 2396838 | 4548 1080 | 487 | 23
818.96/819.13 c 780s | 23 | 2971903 | 2403338 | 4548 1082 | 487 | 23
820.96/821.14 c 782s | 23 | 2978371 | 2409538 | 4548 1085 | 487 | 23
822.96/823.16 c 784s | 23 | 2987906 | 2417838 | 4548 1088 | 487 | 23
824.97/825.16 c 786s | 23 | 2997631 | 2426238 | 4548 1091 | 487 | 23
826.96/827.17 c 788s | 23 | 3008488 | 2435238 | 4548 1095 | 487 | 23
828.96/829.19 c 790s | 23 | 3018971 | 2443938 | 4548 1098 | 487 | 23
831.06/831.20 c 792s | 23 | 3027934 | 2451938 | 4548 1101 | 487 | 23
833.06/833.22 c 794s | 23 | 3035758 | 2459238 | 4548 1104 | 487 | 23
835.06/835.23 c 796s | 23 | 3042963 | 2465838 | 4548 1107 | 487 | 23
837.07/837.26 c 798s | 23 | 3051272 | 2473238 | 4548 1110 | 487 | 23
839.06/839.26 c 800s | 23 | 3059743 | 2480638 | 4548 1112 | 487 | 23
841.06/841.29 c 802s | 23 | 3069225 | 2488538 | 4548 1116 | 487 | 23
843.16/843.31 c 804s | 23 | 3077645 | 2496038 | 4548 1118 | 487 | 23
845.16/845.33 c 806s | 23 | 3085474 | 2503138 | 4548 1121 | 487 | 23
847.16/847.36 c 808s | 23 | 3092282 | 2509638 | 4548 1124 | 487 | 23
849.16/849.39 c 810s | 23 | 3098522 | 2515538 | 4548 1126 | 487 | 23
851.16/851.40 c 812s | 23 | 3106987 | 2523238 | 4548 1129 | 487 | 23
853.26/853.41 c 814s | 23 | 3116221 | 2531238 | 4548 1132 | 487 | 23
855.26/855.42 c 816s | 23 | 3126214 | 2538838 | 4548 1135 | 487 | 23
857.26/857.44 c 818s | 23 | 3135858 | 2547238 | 4548 1138 | 487 | 23
859.26/859.47 c 820s | 23 | 3143076 | 2553938 | 4548 1141 | 487 | 23
861.27/861.48 c 822s | 23 | 3153779 | 2562238 | 4548 1144 | 487 | 23
863.37/863.51 c 824s | 23 | 3163276 | 2570738 | 4548 1148 | 487 | 23
865.36/865.51 c 826s | 23 | 3172080 | 2578438 | 4548 1151 | 487 | 23
867.36/867.52 c 828s | 23 | 3181973 | 2586238 | 4548 1154 | 487 | 23
869.36/869.58 c 830s | 23 | 3190921 | 2593838 | 4548 1157 | 487 | 23
871.36/871.60 c 832s | 23 | 3199648 | 2601838 | 4548 1160 | 487 | 23
873.46/873.60 c 834s | 23 | 3209022 | 2609338 | 4548 1163 | 487 | 23
875.46/875.62 c 836s | 23 | 3218149 | 2616938 | 4548 1166 | 487 | 23
877.46/877.62 c 838s | 23 | 3227408 | 2624738 | 4548 1169 | 487 | 23
879.46/879.64 c 840s | 23 | 3237297 | 2632838 | 4548 1172 | 487 | 23
881.46/881.66 c 842s | 23 | 3245764 | 2640438 | 4548 1175 | 487 | 23
883.45/883.68 c 844s | 23 | 3253553 | 2647338 | 4548 1177 | 487 | 23
885.46/885.68 c 846s | 23 | 3260104 | 2653238 | 4548 1180 | 487 | 23
887.56/887.71 c 848s | 23 | 3269439 | 2661338 | 4548 1183 | 487 | 23
889.55/889.71 c 850s | 23 | 3280946 | 2670838 | 4548 1187 | 487 | 23
891.55/891.73 c 852s | 23 | 3291422 | 2679438 | 4548 1190 | 487 | 23
893.55/893.74 c 854s | 23 | 3300745 | 2687338 | 4548 1193 | 487 | 23
895.55/895.74 c 856s | 23 | 3308692 | 2694538 | 4548 1196 | 487 | 23
897.56/897.74 c 858s | 23 | 3319055 | 2703038 | 4548 1199 | 487 | 23
899.55/899.77 c 860s | 23 | 3329242 | 2711538 | 4548 1202 | 487 | 23
901.55/901.79 c 862s | 23 | 3337278 | 2718638 | 4548 1205 | 487 | 23
903.55/903.79 c 864s | 23 | 3345523 | 2725938 | 4548 1208 | 487 | 23
905.65/905.82 c 866s | 23 | 3355059 | 2734138 | 4548 1211 | 487 | 23
907.65/907.87 c 868s | 23 | 3362302 | 2740838 | 4548 1214 | 487 | 23
909.66/909.89 c 871s | 23 | 3369426 | 2747338 | 4548 1216 | 487 | 23
911.65/911.89 c 873s | 23 | 3376622 | 2753738 | 4548 1219 | 487 | 23
913.75/913.92 c 875s | 23 | 3384212 | 2760638 | 4548 1221 | 487 | 23
915.75/915.94 c 877s | 23 | 3393333 | 2768838 | 4548 1225 | 487 | 23
917.75/917.97 c 879s | 23 | 3402226 | 2776138 | 4548 1228 | 487 | 23
919.75/919.99 c 881s | 23 | 3412087 | 2783638 | 4548 1230 | 487 | 23
921.75/922.00 c 883s | 23 | 3422071 | 2791038 | 4548 1233 | 487 | 23
923.85/924.04 c 885s | 23 | 3431486 | 2799238 | 4548 1237 | 487 | 23
925.84/926.06 c 887s | 23 | 3439142 | 2806238 | 4548 1239 | 487 | 23
927.84/928.07 c 889s | 23 | 3446544 | 2812638 | 4548 1242 | 487 | 23
929.84/930.08 c 891s | 23 | 3454624 | 2819638 | 4548 1244 | 487 | 23
931.84/932.08 c 893s | 23 | 3464549 | 2827538 | 4548 1248 | 487 | 23
933.94/934.10 c 895s | 23 | 3473897 | 2835738 | 4548 1251 | 487 | 23
935.95/936.12 c 897s | 23 | 3484261 | 2844238 | 4548 1254 | 487 | 23
937.94/938.13 c 899s | 23 | 3494029 | 2852438 | 4548 1257 | 487 | 23
939.94/940.14 c 901s | 23 | 3502571 | 2860038 | 4548 1260 | 487 | 23
941.94/942.15 c 903s | 23 | 3510879 | 2867238 | 4548 1263 | 487 | 23
943.94/944.17 c 905s | 23 | 3520328 | 2874938 | 4548 1266 | 487 | 23
945.95/946.19 c 907s | 23 | 3530491 | 2883438 | 4548 1269 | 487 | 23
948.05/948.21 c 909s | 23 | 3538232 | 2890538 | 4548 1272 | 487 | 23
950.04/950.23 c 911s | 23 | 3547647 | 2898438 | 4548 1275 | 487 | 23
952.04/952.24 c 913s | 23 | 3560362 | 2907238 | 4548 1279 | 487 | 23
954.04/954.25 c 915s | 23 | 3571850 | 2915638 | 4548 1282 | 487 | 23
956.05/956.26 c 917s | 23 | 3582208 | 2923538 | 4548 1285 | 487 | 23
958.05/958.26 c 919s | 23 | 3591762 | 2931138 | 4548 1288 | 487 | 23
960.05/960.28 c 921s | 23 | 3601559 | 2939138 | 4548 1291 | 487 | 23
962.15/962.30 c 923s | 23 | 3609107 | 2945738 | 4548 1294 | 487 | 23
964.15/964.31 c 925s | 23 | 3615898 | 2951438 | 4548 1296 | 487 | 23
966.15/966.32 c 927s | 23 | 3622350 | 2957738 | 4548 1298 | 487 | 23
968.14/968.35 c 929s | 23 | 3628335 | 2963238 | 4548 1301 | 487 | 23
970.15/970.38 c 931s | 23 | 3637019 | 2970638 | 4548 1303 | 487 | 23
972.14/972.39 c 933s | 23 | 3645316 | 2977838 | 4548 1306 | 487 | 23
974.24/974.42 c 935s | 23 | 3654585 | 2985638 | 4548 1309 | 487 | 23
976.24/976.43 c 937s | 23 | 3664362 | 2994038 | 4548 1312 | 487 | 23
978.24/978.43 c 939s | 23 | 3674148 | 3002338 | 4548 1316 | 487 | 23
980.24/980.44 c 941s | 23 | 3683411 | 3010038 | 4548 1319 | 487 | 23
982.34/982.54 c 943s | 23 | 3692386 | 3017738 | 4548 1322 | 487 | 23
984.34/984.55 c 945s | 23 | 3702870 | 3026338 | 4548 1325 | 487 | 23
986.34/986.56 c 947s | 23 | 3713346 | 3034638 | 4548 1328 | 487 | 23
988.34/988.57 c 949s | 23 | 3721704 | 3042538 | 4548 1331 | 487 | 23
990.74/990.92 c 952s | 23 | 3729846 | 3050138 | 4548 1334 | 487 | 23
992.74/992.93 c 954s | 23 | 3738684 | 3057838 | 4548 1337 | 487 | 23
994.73/994.93 c 956s | 23 | 3748166 | 3066138 | 4548 1341 | 487 | 23
996.73/996.95 c 958s | 23 | 3756480 | 3073438 | 4548 1343 | 487 | 23
998.74/998.96 c 960s | 23 | 3765306 | 3080938 | 4548 1346 | 487 | 23
1000.84/1001.07 c 962s | 23 | 3775317 | 3089638 | 4548 1350 | 487 | 23
1002.84/1003.07 c 964s | 23 | 3783129 | 3096438 | 4548 1352 | 487 | 23
1004.84/1005.09 c 966s | 23 | 3792193 | 3104438 | 4548 1355 | 487 | 23
1006.84/1007.09 c 968s | 23 | 3800833 | 3112138 | 4548 1358 | 487 | 23
1008.84/1009.10 c 970s | 23 | 3808898 | 3119138 | 4548 1361 | 487 | 23
1010.94/1011.11 c 972s | 23 | 3817952 | 3127238 | 4548 1364 | 487 | 23
1012.94/1013.14 c 974s | 23 | 3827293 | 3135138 | 5003 1367 | 487 | 23
1014.94/1015.15 c 976s | 23 | 3835322 | 3142238 | 5003 1370 | 487 | 23
1016.94/1017.16 c 978s | 23 | 3843107 | 3149538 | 5003 1372 | 487 | 23
1019.03/1019.21 c 980s | 23 | 3852205 | 3157438 | 5003 1375 | 487 | 23
1021.03/1021.22 c 982s | 23 | 3861857 | 3165338 | 5003 1378 | 487 | 23
1023.03/1023.27 c 984s | 23 | 3871246 | 3173338 | 5003 1381 | 487 | 23
1025.04/1025.29 c 986s | 23 | 3881315 | 3182038 | 5003 1384 | 487 | 23
1027.14/1027.32 c 988s | 23 | 3889782 | 3189338 | 5003 1387 | 487 | 23
1029.14/1029.34 c 990s | 23 | 3898567 | 3197038 | 5003 1389 | 487 | 23
1031.14/1031.35 c 992s | 23 | 3906608 | 3204138 | 5003 1392 | 487 | 23
1033.14/1033.36 c 994s | 23 | 3914006 | 3210638 | 5003 1394 | 487 | 23
1035.13/1035.37 c 996s | 23 | 3923308 | 3219038 | 5003 1397 | 487 | 23
1037.14/1037.38 c 998s | 23 | 3930110 | 3225238 | 5003 1400 | 487 | 23
1039.13/1039.38 c 1000s | 23 | 3938216 | 3232738 | 5003 1402 | 487 | 23
1041.23/1041.44 c 1002s | 23 | 3946509 | 3239838 | 5003 1405 | 487 | 23
1043.23/1043.45 c 1004s | 23 | 3955923 | 3247438 | 5003 1408 | 487 | 23
1045.23/1045.46 c 1006s | 23 | 3964728 | 3254938 | 5003 1410 | 487 | 23
1047.33/1047.57 c 1008s | 23 | 3972921 | 3261938 | 5003 1413 | 487 | 23
1049.43/1049.60 c 1010s | 23 | 3983148 | 3270638 | 5003 1416 | 487 | 23
1051.43/1051.61 c 1012s | 23 | 3990500 | 3277138 | 5003 1418 | 487 | 23
1053.43/1053.63 c 1014s | 23 | 3999260 | 3284738 | 5003 1421 | 487 | 23
1055.43/1055.64 c 1016s | 23 | 4007812 | 3291938 | 5003 1424 | 487 | 23
1057.42/1057.64 c 1018s | 23 | 4016325 | 3299538 | 5003 1426 | 487 | 23
1059.42/1059.65 c 1020s | 23 | 4024533 | 3306638 | 5003 1429 | 487 | 23
1061.43/1061.66 c 1022s | 23 | 4034422 | 3315238 | 5003 1432 | 487 | 23
1063.42/1063.66 c 1024s | 23 | 4043754 | 3323238 | 5003 1435 | 487 | 23
1065.42/1065.67 c 1026s | 23 | 4053024 | 3331238 | 5003 1438 | 487 | 23
1067.43/1067.68 c 1028s | 23 | 4062500 | 3339038 | 5003 1440 | 487 | 23
1069.43/1069.69 c 1030s | 23 | 4071952 | 3347338 | 5003 1443 | 487 | 23
1071.53/1071.71 c 1032s | 23 | 4079525 | 3354138 | 5003 1446 | 487 | 23
1073.53/1073.75 c 1034s | 23 | 4090159 | 3363038 | 5003 1449 | 487 | 23
1075.53/1075.78 c 1036s | 23 | 4098725 | 3370638 | 5003 1452 | 487 | 23
1077.13/1077.36 c 1038s | 24 | 4105446 | 3376662 | 5003 1454 | 487 | 23
1079.13/1079.38 c 1040s | 24 | 4114813 | 3384262 | 5003 1457 | 487 | 23
1081.13/1081.38 c 1042s | 24 | 4123445 | 3391162 | 5003 1459 | 487 | 23
1083.23/1083.40 c 1044s | 24 | 4131319 | 3398162 | 5003 1461 | 487 | 23
1085.23/1085.44 c 1046s | 24 | 4136669 | 3402962 | 5003 1463 | 487 | 23
1087.23/1087.47 c 1048s | 24 | 4143876 | 3409362 | 5003 1465 | 487 | 23
1089.33/1089.50 c 1050s | 24 | 4149916 | 3414762 | 5003 1467 | 487 | 23
1091.33/1091.54 c 1052s | 24 | 4155589 | 3419562 | 5003 1469 | 487 | 23
1093.33/1093.56 c 1054s | 24 | 4162051 | 3424962 | 5003 1470 | 487 | 23
1095.32/1095.56 c 1056s | 24 | 4167013 | 3429362 | 5003 1472 | 487 | 23
1097.42/1097.61 c 1058s | 24 | 4172464 | 3434062 | 5003 1473 | 487 | 23
1099.42/1099.67 c 1060s | 24 | 4177102 | 3438262 | 5003 1475 | 487 | 23
1101.52/1101.70 c 1062s | 24 | 4185060 | 3445162 | 5003 1477 | 487 | 23
1103.52/1103.70 c 1064s | 24 | 4191679 | 3450862 | 5003 1479 | 487 | 23
1105.52/1105.72 c 1066s | 24 | 4199202 | 3457862 | 5003 1482 | 487 | 23
1107.63/1107.89 c 1069s | 24 | 4205352 | 3463762 | 5003 1484 | 487 | 23
1109.73/1109.94 c 1071s | 24 | 4214532 | 3470462 | 5003 1486 | 487 | 23
1111.72/1111.96 c 1073s | 24 | 4221781 | 3476862 | 5003 1488 | 487 | 23
1113.72/1113.97 c 1075s | 24 | 4227794 | 3482162 | 5003 1490 | 487 | 23
1115.82/1116.00 c 1077s | 24 | 4236412 | 3489562 | 5003 1492 | 487 | 23
1117.82/1118.01 c 1079s | 24 | 4241772 | 3493862 | 5003 1494 | 487 | 23
1119.82/1120.02 c 1081s | 24 | 4246353 | 3497862 | 5003 1495 | 487 | 23
1121.82/1122.03 c 1083s | 24 | 4251198 | 3501462 | 5003 1496 | 487 | 23
1123.81/1124.07 c 1085s | 24 | 4255496 | 3505162 | 5003 1498 | 487 | 23
1125.91/1126.11 c 1087s | 24 | 4259421 | 3508762 | 5003 1499 | 487 | 23
1127.91/1128.12 c 1089s | 24 | 4263526 | 3512062 | 5003 1500 | 487 | 23
1129.91/1130.14 c 1091s | 24 | 4268143 | 3515862 | 5003 1501 | 487 | 23
1132.01/1132.21 c 1093s | 24 | 4272763 | 3519762 | 5003 1503 | 487 | 23
1134.02/1134.26 c 1095s | 24 | 4276637 | 3523162 | 5003 1504 | 487 | 23
1136.01/1136.26 c 1097s | 24 | 4281120 | 3526862 | 5003 1505 | 487 | 23
1138.11/1138.31 c 1099s | 24 | 4285459 | 3530662 | 5003 1506 | 487 | 23
1140.11/1140.32 c 1101s | 24 | 4289597 | 3534262 | 5003 1507 | 487 | 23
1142.12/1142.32 c 1103s | 24 | 4296800 | 3540562 | 5003 1510 | 487 | 23
1144.12/1144.33 c 1105s | 24 | 4305415 | 3547962 | 5003 1512 | 487 | 23
1146.13/1146.36 c 1107s | 24 | 4312759 | 3554162 | 5003 1514 | 487 | 23
1148.12/1148.38 c 1109s | 24 | 4319040 | 3559762 | 5003 1516 | 487 | 23
1150.22/1150.41 c 1111s | 24 | 4326171 | 3566162 | 5003 1518 | 487 | 23
1152.22/1152.42 c 1113s | 24 | 4333066 | 3572462 | 5003 1520 | 487 | 23
1154.22/1154.44 c 1115s | 24 | 4339804 | 3578462 | 5003 1522 | 487 | 23
1156.21/1156.47 c 1117s | 24 | 4346313 | 3584162 | 5003 1524 | 487 | 23
1158.31/1158.51 c 1119s | 24 | 4350965 | 3588262 | 5003 1526 | 487 | 23
1160.32/1160.52 c 1121s | 24 | 4355260 | 3592162 | 5003 1527 | 487 | 23
1162.31/1162.54 c 1123s | 24 | 4359293 | 3595862 | 5003 1528 | 487 | 23
1164.31/1164.57 c 1125s | 24 | 4363422 | 3599662 | 5003 1530 | 487 | 23
1166.31/1166.58 c 1127s | 24 | 4367424 | 3603262 | 5003 1531 | 487 | 23
1168.41/1168.61 c 1129s | 24 | 4371624 | 3606962 | 5003 1532 | 487 | 23
1170.41/1170.64 c 1131s | 24 | 4375341 | 3610362 | 5003 1533 | 487 | 23
1172.41/1172.69 c 1133s | 24 | 4379643 | 3614262 | 5003 1535 | 487 | 23
1174.51/1174.74 c 1135s | 24 | 4384249 | 3618362 | 5003 1536 | 487 | 23
1176.51/1176.77 c 1137s | 24 | 4388058 | 3621762 | 5003 1537 | 487 | 23
1178.60/1178.82 c 1139s | 24 | 4392624 | 3625962 | 5003 1539 | 487 | 23
1180.60/1180.85 c 1141s | 24 | 4396907 | 3629862 | 5003 1540 | 487 | 23
1182.70/1182.91 c 1144s | 24 | 4401764 | 3634162 | 5003 1541 | 487 | 23
1184.70/1184.94 c 1146s | 24 | 4406092 | 3638062 | 5003 1543 | 487 | 23
1186.71/1186.97 c 1148s | 24 | 4410698 | 3641962 | 5003 1544 | 487 | 23
1188.70/1188.98 c 1150s | 24 | 4414999 | 3645962 | 5003 1545 | 487 | 23
1190.80/1191.02 c 1152s | 24 | 4418626 | 3649362 | 5003 1547 | 487 | 23
1192.80/1193.02 c 1154s | 24 | 4422377 | 3652962 | 5003 1548 | 487 | 23
1194.80/1195.06 c 1156s | 24 | 4426265 | 3656662 | 5003 1549 | 487 | 23
1196.80/1197.09 c 1158s | 24 | 4430081 | 3660262 | 5003 1550 | 487 | 23
1198.90/1199.10 c 1160s | 24 | 4433897 | 3663762 | 5003 1551 | 487 | 23
1200.90/1201.13 c 1162s | 24 | 4437580 | 3667162 | 5003 1553 | 487 | 23
1202.90/1203.14 c 1164s | 24 | 4442013 | 3670762 | 5003 1554 | 487 | 23
1204.90/1205.16 c 1166s | 24 | 4446744 | 3674462 | 5003 1555 | 487 | 23
1206.89/1207.18 c 1168s | 24 | 4451247 | 3678362 | 5003 1556 | 487 | 23
1208.99/1209.23 c 1170s | 24 | 4455242 | 3681762 | 5003 1558 | 487 | 23
1211.00/1211.25 c 1172s | 24 | 4459589 | 3685662 | 5003 1559 | 487 | 23
1212.99/1213.30 c 1174s | 24 | 4463602 | 3689162 | 5003 1560 | 487 | 23
1215.09/1215.34 c 1176s | 24 | 4467893 | 3692862 | 5003 1561 | 487 | 23
1217.09/1217.37 c 1178s | 24 | 4471747 | 3696162 | 5003 1562 | 487 | 23
1219.19/1219.40 c 1180s | 24 | 4476194 | 3699862 | 5003 1564 | 487 | 23
1221.19/1221.41 c 1182s | 24 | 4480744 | 3704062 | 5003 1565 | 487 | 23
1223.19/1223.42 c 1184s | 24 | 4488478 | 3710962 | 5003 1567 | 487 | 23
1225.20/1225.44 c 1186s | 24 | 4495762 | 3717262 | 5003 1570 | 487 | 23
1227.19/1227.45 c 1188s | 24 | 4501340 | 3722262 | 5003 1571 | 487 | 23
1229.19/1229.47 c 1190s | 24 | 4508338 | 3728062 | 5003 1573 | 487 | 23
1231.29/1231.51 c 1192s | 24 | 4516030 | 3734262 | 5003 1575 | 487 | 23
1233.29/1233.55 c 1194s | 24 | 4522804 | 3740062 | 5003 1577 | 487 | 23
1235.28/1235.58 c 1196s | 24 | 4528729 | 3745162 | 5003 1579 | 487 | 23
1237.29/1237.59 c 1198s | 24 | 4534825 | 3750362 | 5003 1581 | 487 | 23
1239.38/1239.62 c 1200s | 24 | 4540328 | 3755462 | 5003 1583 | 487 | 23
1241.38/1241.64 c 1202s | 24 | 4546455 | 3760762 | 5003 1584 | 487 | 23
1243.38/1243.68 c 1204s | 24 | 4551985 | 3765962 | 5003 1586 | 487 | 23
1245.48/1245.71 c 1206s | 24 | 4557961 | 3771262 | 5003 1588 | 487 | 23
1247.47/1247.75 c 1208s | 24 | 4563471 | 3775962 | 5003 1590 | 487 | 23
1249.48/1249.76 c 1210s | 24 | 4570193 | 3781562 | 5003 1591 | 487 | 23
1251.47/1251.76 c 1212s | 24 | 4576669 | 3787262 | 5003 1593 | 487 | 23
1253.47/1253.77 c 1214s | 24 | 4581313 | 3791562 | 5003 1595 | 487 | 23
1255.47/1255.79 c 1216s | 24 | 4586560 | 3796162 | 5003 1596 | 487 | 23
1257.57/1257.80 c 1218s | 24 | 4591448 | 3800562 | 5003 1598 | 487 | 23
1259.57/1259.85 c 1220s | 24 | 4595945 | 3804562 | 5003 1599 | 487 | 23
1261.58/1261.88 c 1223s | 24 | 4601104 | 3808962 | 5003 1601 | 487 | 23
1263.68/1263.91 c 1225s | 24 | 4606812 | 3813662 | 5003 1602 | 487 | 23
1265.68/1265.94 c 1227s | 24 | 4613446 | 3819362 | 5003 1604 | 487 | 23
1267.67/1267.96 c 1229s | 24 | 4623989 | 3824162 | 5003 1606 | 487 | 23
1269.67/1269.97 c 1231s | 24 | 4631670 | 3828962 | 5003 1608 | 487 | 23
1271.67/1271.98 c 1233s | 24 | 4638251 | 3834462 | 5003 1609 | 487 | 23
1273.77/1274.00 c 1235s | 24 | 4644519 | 3839562 | 5003 1611 | 487 | 23
1275.77/1276.01 c 1237s | 24 | 4650993 | 3844762 | 5003 1613 | 487 | 23
1277.76/1278.01 c 1239s | 24 | 4658009 | 3850462 | 5003 1615 | 487 | 23
1279.76/1280.03 c 1241s | 24 | 4664505 | 3855662 | 5003 1617 | 487 | 23
1281.76/1282.03 c 1243s | 24 | 4669668 | 3860262 | 5003 1618 | 487 | 23
1283.76/1284.04 c 1245s | 24 | 4675804 | 3864962 | 5003 1620 | 487 | 23
1285.77/1286.07 c 1247s | 24 | 4681800 | 3869862 | 5003 1621 | 487 | 23
1287.76/1288.09 c 1249s | 24 | 4687896 | 3875262 | 5003 1623 | 487 | 23
1289.86/1290.11 c 1251s | 24 | 4694072 | 3880562 | 5003 1625 | 487 | 23
1291.86/1292.12 c 1253s | 24 | 4699398 | 3885362 | 5003 1627 | 487 | 23
1293.86/1294.13 c 1255s | 24 | 4705361 | 3890662 | 5003 1629 | 487 | 23
1295.85/1296.16 c 1257s | 24 | 4710948 | 3895462 | 5003 1630 | 487 | 23
1297.86/1298.17 c 1259s | 24 | 4716929 | 3900862 | 5003 1632 | 487 | 23
1299.85/1300.18 c 1261s | 24 | 4722307 | 3905762 | 5003 1634 | 487 | 23
1301.95/1302.20 c 1263s | 24 | 4728050 | 3911162 | 5003 1635 | 487 | 23
1303.95/1304.24 c 1265s | 24 | 4733722 | 3916262 | 5003 1637 | 487 | 23
1305.95/1306.26 c 1267s | 24 | 4738559 | 3920862 | 5003 1639 | 487 | 23
1308.05/1308.35 c 1269s | 24 | 4744823 | 3925962 | 5003 1641 | 487 | 23
1310.05/1310.35 c 1271s | 24 | 4751734 | 3931562 | 5003 1642 | 487 | 23
1312.15/1312.43 c 1273s | 24 | 4757095 | 3936162 | 5003 1644 | 487 | 23
1314.15/1314.46 c 1275s | 24 | 4762012 | 3940262 | 5003 1645 | 487 | 23
1316.24/1316.50 c 1277s | 24 | 4766599 | 3944462 | 5003 1647 | 487 | 23
1318.24/1318.54 c 1279s | 24 | 4772837 | 3949662 | 5003 1649 | 487 | 23
1320.34/1320.60 c 1281s | 24 | 4776948 | 3953362 | 5003 1650 | 487 | 23
1322.34/1322.63 c 1283s | 24 | 4781093 | 3957062 | 5003 1651 | 487 | 23
1324.34/1324.63 c 1285s | 24 | 4785204 | 3960762 | 5003 1652 | 487 | 23
1326.45/1326.76 c 1287s | 24 | 4789036 | 3964262 | 5003 1654 | 487 | 23
1328.44/1328.77 c 1289s | 24 | 4796129 | 3969662 | 5003 1655 | 487 | 23
1330.44/1330.78 c 1291s | 24 | 4801589 | 3974062 | 5003 1657 | 487 | 23
1332.54/1332.80 c 1293s | 24 | 4807203 | 3978362 | 5003 1658 | 487 | 23
1334.54/1334.81 c 1295s | 24 | 4811587 | 3982562 | 5003 1660 | 487 | 23
1336.53/1336.82 c 1297s | 24 | 4815928 | 3986562 | 5003 1661 | 487 | 23
1338.54/1338.85 c 1299s | 24 | 4819646 | 3990162 | 5003 1662 | 487 | 23
1340.53/1340.88 c 1302s | 24 | 4824161 | 3994062 | 5003 1664 | 487 | 23
1342.63/1342.92 c 1304s | 24 | 4830174 | 3998862 | 5003 1665 | 487 | 23
1344.73/1345.04 c 1306s | 24 | 4834519 | 4002762 | 5003 1667 | 487 | 23
1346.73/1347.06 c 1308s | 24 | 4839162 | 4006762 | 5003 1668 | 487 | 23
1348.73/1349.07 c 1310s | 24 | 4843989 | 4010762 | 5003 1669 | 487 | 23
1350.73/1351.08 c 1312s | 24 | 4848331 | 4014762 | 5003 1671 | 487 | 23
1352.83/1353.11 c 1314s | 24 | 4852029 | 4018162 | 5003 1672 | 487 | 23
1354.83/1355.13 c 1316s | 24 | 4855379 | 4021062 | 5003 1673 | 487 | 23
1356.83/1357.15 c 1318s | 24 | 4863509 | 4027762 | 5003 1675 | 487 | 23
1358.83/1359.17 c 1320s | 24 | 4870381 | 4033762 | 5003 1677 | 487 | 23
1360.83/1361.18 c 1322s | 24 | 4876975 | 4039662 | 5003 1679 | 487 | 23
1362.92/1363.20 c 1324s | 24 | 4883907 | 4045162 | 5003 1681 | 487 | 23
1364.93/1365.22 c 1326s | 24 | 4891429 | 4051162 | 5003 1683 | 487 | 23
1366.92/1367.23 c 1328s | 24 | 4899564 | 4057462 | 5003 1685 | 487 | 23
1368.92/1369.26 c 1330s | 24 | 4908257 | 4064462 | 5003 1688 | 487 | 23
1370.92/1371.26 c 1332s | 24 | 4915380 | 4070362 | 5003 1690 | 487 | 23
1372.93/1373.27 c 1334s | 24 | 4922233 | 4076162 | 5003 1692 | 487 | 23
1374.93/1375.28 c 1336s | 24 | 4930369 | 4082462 | 5003 1694 | 487 | 23
1376.94/1377.29 c 1338s | 24 | 4938665 | 4089062 | 5003 1696 | 487 | 23
1379.03/1379.30 c 1340s | 24 | 4944632 | 4094262 | 5003 1698 | 487 | 23
1381.03/1381.33 c 1342s | 24 | 4950372 | 4099362 | 5003 1699 | 487 | 23
1383.03/1383.33 c 1344s | 24 | 4956317 | 4104462 | 5003 1701 | 487 | 23
1385.03/1385.34 c 1346s | 24 | 4962367 | 4109662 | 5003 1703 | 487 | 23
1387.02/1387.34 c 1348s | 24 | 4968250 | 4115062 | 5003 1705 | 487 | 23
1389.03/1389.36 c 1350s | 24 | 4974659 | 4120862 | 5003 1707 | 487 | 23
1391.02/1391.38 c 1352s | 24 | 4979417 | 4124562 | 5003 1708 | 487 | 23
1393.12/1393.43 c 1354s | 24 | 4984119 | 4128462 | 5003 1709 | 487 | 23
1395.12/1395.45 c 1356s | 24 | 4989312 | 4132962 | 5003 1711 | 487 | 23
1397.12/1397.47 c 1358s | 24 | 4995121 | 4138062 | 5003 1713 | 487 | 23
1399.12/1399.49 c 1360s | 24 | 5002982 | 4144762 | 5003 1715 | 487 | 23
1401.12/1401.50 c 1362s | 24 | 5009925 | 4150862 | 5003 1717 | 487 | 23
1403.21/1403.51 c 1364s | 24 | 5017158 | 4157262 | 5003 1719 | 487 | 23
1405.21/1405.52 c 1366s | 24 | 5023718 | 4162962 | 5003 1721 | 487 | 23
1407.21/1407.53 c 1368s | 24 | 5029696 | 4168362 | 5003 1723 | 487 | 23
1409.21/1409.54 c 1370s | 24 | 5034655 | 4172862 | 5003 1725 | 487 | 23
1411.21/1411.54 c 1372s | 24 | 5041360 | 4178762 | 5003 1727 | 487 | 23
1413.21/1413.55 c 1374s | 24 | 5048226 | 4184762 | 5003 1729 | 487 | 23
1415.30/1415.60 c 1376s | 24 | 5054842 | 4190562 | 5003 1731 | 487 | 23
1417.31/1417.61 c 1378s | 24 | 5061546 | 4196662 | 5003 1733 | 487 | 23
1419.31/1419.63 c 1380s | 24 | 5069096 | 4203362 | 5003 1735 | 487 | 23
1421.31/1421.64 c 1382s | 24 | 5075241 | 4208762 | 5003 1737 | 487 | 23
1423.31/1423.65 c 1384s | 24 | 5082199 | 4214562 | 5003 1739 | 487 | 23
1425.31/1425.68 c 1386s | 24 | 5088949 | 4220562 | 5003 1741 | 487 | 23
1427.30/1427.68 c 1388s | 24 | 5096208 | 4226362 | 5003 1743 | 487 | 23
1429.40/1429.71 c 1390s | 24 | 5103364 | 4232462 | 5003 1745 | 487 | 23
1431.50/1431.86 c 1392s | 24 | 5109717 | 4237962 | 5003 1747 | 487 | 23
1433.50/1433.87 c 1394s | 24 | 5116349 | 4243462 | 5003 1749 | 487 | 23
1435.50/1435.89 c 1397s | 24 | 5123275 | 4249162 | 5003 1750 | 487 | 23
1437.59/1437.92 c 1399s | 24 | 5130499 | 4254962 | 5003 1752 | 487 | 23
1439.60/1439.95 c 1401s | 24 | 5136825 | 4260262 | 5003 1754 | 487 | 23
1441.59/1441.96 c 1403s | 24 | 5144204 | 4266362 | 5003 1756 | 487 | 23
1443.59/1443.96 c 1405s | 24 | 5151014 | 4272462 | 5003 1758 | 487 | 23
1445.69/1446.00 c 1407s | 24 | 5157031 | 4277662 | 5003 1760 | 487 | 23
1447.69/1448.02 c 1409s | 24 | 5163293 | 4282962 | 5003 1762 | 487 | 23
1449.69/1450.05 c 1411s | 24 | 5169930 | 4288662 | 5003 1764 | 487 | 23
1451.69/1452.08 c 1413s | 24 | 5175670 | 4293562 | 5003 1766 | 487 | 23
1453.79/1454.10 c 1415s | 24 | 5181451 | 4298362 | 5003 1767 | 487 | 23
1455.79/1456.11 c 1417s | 24 | 5186828 | 4302762 | 5003 1769 | 487 | 23
1457.78/1458.12 c 1419s | 24 | 5192659 | 4307862 | 5003 1770 | 487 | 23
1459.78/1460.14 c 1421s | 24 | 5201540 | 4315762 | 5003 1773 | 487 | 23
1461.78/1462.16 c 1423s | 24 | 5209405 | 4322462 | 5003 1775 | 487 | 23
1463.89/1464.22 c 1425s | 24 | 5216026 | 4328562 | 5003 1778 | 487 | 23
1465.88/1466.23 c 1427s | 24 | 5221630 | 4333762 | 5003 1779 | 487 | 23
1467.88/1468.24 c 1429s | 24 | 5227351 | 4339062 | 5003 1781 | 487 | 23
1470.08/1470.46 c 1431s | 24 | 5232737 | 4344162 | 5003 1783 | 487 | 23
1472.08/1472.48 c 1433s | 24 | 5237993 | 4349162 | 5003 1785 | 487 | 23
1474.18/1474.50 c 1435s | 24 | 5244038 | 4354262 | 5003 1786 | 487 | 23
1476.17/1476.53 c 1437s | 24 | 5250178 | 4359762 | 5003 1788 | 487 | 23
1478.18/1478.53 c 1439s | 24 | 5256101 | 4365262 | 5003 1790 | 487 | 23
1480.17/1480.55 c 1441s | 24 | 5262039 | 4370362 | 5003 1792 | 487 | 23
1482.17/1482.57 c 1443s | 24 | 5268731 | 4376262 | 5003 1794 | 487 | 23
1484.17/1484.57 c 1445s | 24 | 5274622 | 4381762 | 5003 1796 | 487 | 23
1486.17/1486.59 c 1447s | 24 | 5280152 | 4386662 | 5003 1797 | 487 | 23
1488.27/1488.62 c 1449s | 24 | 5286140 | 4391662 | 5003 1799 | 487 | 23
1490.28/1490.63 c 1451s | 24 | 5292688 | 4397562 | 5003 1801 | 487 | 23
1492.28/1492.65 c 1453s | 24 | 5299579 | 4403962 | 5003 1803 | 487 | 23
1494.28/1494.67 c 1455s | 24 | 5304949 | 4408762 | 5003 1805 | 487 | 23
1496.27/1496.69 c 1457s | 24 | 5310185 | 4413162 | 5003 1806 | 487 | 23
1498.37/1498.70 c 1459s | 24 | 5315497 | 4417562 | 5003 1808 | 487 | 23
1500.37/1500.74 c 1461s | 24 | 5320030 | 4421662 | 5003 1809 | 487 | 23
1502.47/1502.81 c 1463s | 24 | 5324182 | 4425462 | 5003 1811 | 487 | 23
1504.48/1504.85 c 1465s | 24 | 5328351 | 4429262 | 5003 1812 | 487 | 23
1506.47/1506.85 c 1467s | 24 | 5332362 | 4432962 | 5003 1813 | 487 | 23
1508.47/1508.90 c 1470s | 24 | 5336991 | 4437162 | 5003 1815 | 487 | 23
1510.66/1511.01 c 1472s | 24 | 5340760 | 4440562 | 5003 1816 | 487 | 23
1512.66/1513.01 c 1474s | 24 | 5344650 | 4443462 | 5003 1817 | 487 | 23
1514.66/1515.05 c 1476s | 24 | 5348678 | 4447062 | 5003 1818 | 487 | 23
1516.67/1517.06 c 1478s | 24 | 5352248 | 4450162 | 5003 1819 | 487 | 23
1518.77/1519.12 c 1480s | 24 | 5355928 | 4453262 | 5003 1820 | 487 | 23
1520.76/1521.15 c 1482s | 24 | 5363343 | 4459962 | 5003 1822 | 487 | 23
1522.76/1523.15 c 1484s | 24 | 5370730 | 4466462 | 5003 1825 | 487 | 23
1524.76/1525.16 c 1486s | 24 | 5379111 | 4473062 | 5003 1827 | 487 | 23
1526.76/1527.19 c 1488s | 24 | 5386758 | 4479462 | 5003 1829 | 487 | 23
1528.76/1529.19 c 1490s | 24 | 5393907 | 4485562 | 5003 1831 | 487 | 23
1530.86/1531.21 c 1492s | 24 | 5401420 | 4491762 | 5003 1833 | 487 | 23
1532.85/1533.27 c 1494s | 24 | 5409333 | 4498262 | 5003 1836 | 487 | 23
1534.95/1535.30 c 1496s | 24 | 5416652 | 4504162 | 5003 1838 | 487 | 23
1536.95/1537.38 c 1498s | 24 | 5423519 | 4510362 | 5003 1840 | 487 | 23
1539.05/1539.40 c 1500s | 24 | 5431538 | 4516662 | 5003 1842 | 487 | 23
1541.05/1541.43 c 1502s | 24 | 5439648 | 4523462 | 5003 1844 | 487 | 23
1543.25/1543.64 c 1504s | 24 | 5446992 | 4529762 | 5003 1846 | 487 | 23
1545.26/1545.65 c 1506s | 24 | 5454615 | 4536362 | 5003 1849 | 487 | 23
1547.25/1547.67 c 1508s | 24 | 5463472 | 4544562 | 5003 1851 | 487 | 23
1549.25/1549.69 c 1510s | 24 | 5471602 | 4551262 | 5003 1854 | 487 | 23
1551.35/1551.73 c 1512s | 24 | 5478590 | 4557162 | 5003 1856 | 487 | 23
1553.35/1553.74 c 1514s | 24 | 5485407 | 4562862 | 5003 1858 | 487 | 23
1555.35/1555.75 c 1516s | 24 | 5494569 | 4570362 | 5003 1860 | 487 | 23
1557.45/1557.80 c 1518s | 24 | 5501696 | 4576662 | 5003 1863 | 487 | 23
1559.45/1559.81 c 1520s | 24 | 5508724 | 4582562 | 5003 1865 | 487 | 23
1561.44/1561.81 c 1522s | 24 | 5516049 | 4588762 | 5003 1867 | 487 | 23
1563.44/1563.83 c 1524s | 24 | 5524179 | 4595062 | 5003 1869 | 487 | 23
1565.44/1565.85 c 1526s | 24 | 5531884 | 4601762 | 5003 1871 | 487 | 23
1567.44/1567.88 c 1529s | 24 | 5539022 | 4607662 | 5003 1873 | 487 | 23
1569.54/1569.93 c 1531s | 24 | 5545202 | 4613062 | 5003 1875 | 487 | 23
1571.55/1571.97 c 1533s | 24 | 5551412 | 4618262 | 5003 1877 | 487 | 23
1573.54/1573.98 c 1535s | 24 | 5558707 | 4624862 | 5003 1879 | 487 | 23
1575.64/1576.00 c 1537s | 24 | 5565484 | 4630662 | 5003 1881 | 487 | 23
1577.64/1578.02 c 1539s | 24 | 5572675 | 4636862 | 5003 1883 | 487 | 23
1579.64/1580.06 c 1541s | 24 | 5580057 | 4643362 | 5003 1886 | 487 | 23
1581.64/1582.07 c 1543s | 24 | 5587588 | 4649762 | 5003 1888 | 487 | 23
1583.64/1584.10 c 1545s | 24 | 5595915 | 4656762 | 5003 1890 | 487 | 23
1585.74/1586.11 c 1547s | 24 | 5604404 | 4663762 | 5003 1893 | 487 | 23
1587.73/1588.12 c 1549s | 24 | 5611557 | 4670062 | 5003 1895 | 487 | 23
1589.73/1590.13 c 1551s | 24 | 5619734 | 4675662 | 5003 1896 | 487 | 23
1591.73/1592.15 c 1553s | 24 | 5629283 | 4682162 | 5003 1899 | 487 | 23
1593.73/1594.17 c 1555s | 24 | 5637621 | 4688462 | 5003 1901 | 487 | 23
1595.74/1596.20 c 1557s | 24 | 5644796 | 4693562 | 5003 1903 | 487 | 23
1597.83/1598.22 c 1559s | 24 | 5652876 | 4699262 | 5003 1904 | 487 | 23
1599.83/1600.27 c 1561s | 24 | 5661320 | 4705262 | 5003 1906 | 487 | 23
1601.83/1602.29 c 1563s | 24 | 5669884 | 4711162 | 5003 1908 | 487 | 23
1603.93/1604.31 c 1565s | 24 | 5678592 | 4717462 | 5003 1911 | 487 | 23
1605.92/1606.33 c 1567s | 24 | 5684944 | 4723062 | 5003 1912 | 487 | 23
1607.93/1608.37 c 1569s | 24 | 5690546 | 4727862 | 5003 1914 | 487 | 23
1609.92/1610.37 c 1571s | 24 | 5695411 | 4732362 | 5003 1916 | 487 | 23
1612.02/1612.40 c 1573s | 24 | 5701213 | 4737162 | 5003 1917 | 487 | 23
1614.02/1614.45 c 1575s | 24 | 5706316 | 4741362 | 5003 1919 | 487 | 23
1616.01/1616.46 c 1577s | 24 | 5711652 | 4746062 | 5003 1920 | 487 | 23
1618.01/1618.48 c 1579s | 24 | 5715953 | 4750162 | 5003 1921 | 487 | 23
1620.12/1620.52 c 1581s | 24 | 5722485 | 4755862 | 5003 1923 | 487 | 23
1622.13/1622.53 c 1583s | 24 | 5730460 | 4762262 | 5003 1926 | 487 | 23
1624.12/1624.55 c 1585s | 24 | 5738749 | 4769262 | 5003 1928 | 487 | 23
1626.12/1626.58 c 1587s | 24 | 5746853 | 4775562 | 5003 1930 | 487 | 23
1628.22/1628.60 c 1589s | 24 | 5753983 | 4782262 | 5003 1932 | 487 | 23
1630.21/1630.62 c 1591s | 24 | 5760237 | 4787762 | 5003 1934 | 487 | 23
1632.21/1632.62 c 1593s | 24 | 5766444 | 4792962 | 5003 1936 | 487 | 23
1634.22/1634.63 c 1595s | 24 | 5773507 | 4798562 | 5003 1938 | 487 | 23
1636.21/1636.68 c 1597s | 24 | 5780017 | 4803862 | 5003 1940 | 487 | 23
1638.21/1638.69 c 1599s | 24 | 5787500 | 4810062 | 5504 1941 | 487 | 23
1640.31/1640.71 c 1601s | 24 | 5794488 | 4816162 | 5504 1943 | 487 | 23
1642.31/1642.72 c 1603s | 24 | 5801295 | 4821462 | 5504 1945 | 487 | 23
1644.31/1644.74 c 1605s | 24 | 5807777 | 4826562 | 5504 1947 | 487 | 23
1646.31/1646.76 c 1607s | 24 | 5813888 | 4832062 | 5504 1948 | 487 | 23
1648.30/1648.78 c 1609s | 24 | 5821895 | 4838662 | 5504 1950 | 487 | 23
1650.40/1650.80 c 1611s | 24 | 5828035 | 4844062 | 5504 1952 | 487 | 23
1652.40/1652.83 c 1613s | 24 | 5835271 | 4850362 | 5504 1954 | 487 | 23
1654.40/1654.84 c 1615s | 24 | 5841556 | 4855662 | 5504 1956 | 487 | 23
1656.39/1656.87 c 1617s | 24 | 5847761 | 4861362 | 5504 1957 | 487 | 23
1658.40/1658.88 c 1620s | 24 | 5853448 | 4866662 | 5504 1959 | 487 | 23
1660.49/1660.90 c 1622s | 24 | 5860100 | 4871862 | 5504 1961 | 487 | 23
1662.49/1662.90 c 1624s | 24 | 5870262 | 4879462 | 5504 1963 | 487 | 23
1664.49/1664.94 c 1626s | 24 | 5877065 | 4885162 | 5504 1965 | 487 | 23
1666.49/1666.94 c 1628s | 24 | 5884054 | 4891462 | 5504 1967 | 487 | 23
1668.49/1668.95 c 1630s | 24 | 5890869 | 4896862 | 5504 1968 | 487 | 23
1670.49/1670.98 c 1632s | 24 | 5898504 | 4903562 | 5504 1970 | 487 | 23
1672.59/1673.00 c 1634s | 24 | 5905304 | 4909962 | 5504 1972 | 487 | 23
1674.58/1675.02 c 1636s | 24 | 5910242 | 4914562 | 5504 1974 | 487 | 23
1676.58/1677.02 c 1638s | 24 | 5917075 | 4921062 | 5504 1976 | 487 | 23
1678.58/1679.02 c 1640s | 24 | 5922531 | 4926262 | 5504 1977 | 487 | 23
1680.58/1681.04 c 1642s | 24 | 5928637 | 4931462 | 5504 1979 | 487 | 23
1682.59/1683.08 c 1644s | 24 | 5934916 | 4936562 | 5504 1981 | 487 | 23
1684.68/1685.10 c 1646s | 24 | 5942193 | 4942762 | 5504 1983 | 487 | 23
1686.68/1687.13 c 1648s | 24 | 5948938 | 4948662 | 5504 1984 | 487 | 23
1688.68/1689.14 c 1650s | 24 | 5953852 | 4953162 | 5504 1986 | 487 | 23
1690.68/1691.15 c 1652s | 24 | 5959780 | 4958762 | 5504 1987 | 487 | 23
1692.68/1693.16 c 1654s | 24 | 5966348 | 4963862 | 5504 1989 | 487 | 23
1694.79/1695.22 c 1656s | 24 | 5972437 | 4968862 | 5504 1991 | 487 | 23
1696.78/1697.24 c 1658s | 24 | 5979059 | 4975162 | 5504 1993 | 487 | 23
1698.88/1699.30 c 1660s | 24 | 5985458 | 4981362 | 5504 1995 | 487 | 23
1700.88/1701.30 c 1662s | 24 | 5989504 | 4985362 | 5504 1996 | 487 | 23
1702.87/1703.32 c 1664s | 24 | 5994280 | 4990062 | 5504 1997 | 487 | 23
1704.87/1705.33 c 1666s | 24 | 6000693 | 4995362 | 5504 1999 | 487 | 23
1706.88/1707.35 c 1668s | 24 | 6007832 | 5001262 | 5504 2001 | 487 | 23
1708.87/1709.35 c 1670s | 24 | 6014899 | 5007062 | 5504 2002 | 487 | 23
1710.87/1711.36 c 1672s | 24 | 6022803 | 5013262 | 5504 2004 | 487 | 23
1712.87/1713.39 c 1674s | 24 | 6029885 | 5019362 | 5504 2006 | 487 | 23
1714.97/1715.40 c 1676s | 24 | 6035867 | 5024762 | 5504 2008 | 487 | 23
1716.96/1717.42 c 1678s | 24 | 6043034 | 5030662 | 5504 2010 | 487 | 23
1718.97/1719.47 c 1680s | 24 | 6049936 | 5036262 | 5504 2012 | 487 | 23
1720.96/1721.48 c 1682s | 24 | 6057206 | 5042162 | 5504 2013 | 487 | 23
1722.96/1723.49 c 1684s | 24 | 6066349 | 5048062 | 5504 2015 | 487 | 23
1725.06/1725.50 c 1686s | 24 | 6072690 | 5053262 | 5504 2017 | 487 | 23
1727.06/1727.52 c 1688s | 24 | 6080164 | 5059162 | 5504 2019 | 487 | 23
1728.96/1729.49 c 1690s | 25 | 6087544 | 5065098 | 5504 2020 | 487 | 23
1730.96/1731.50 c 1692s | 25 | 6095849 | 5072298 | 5504 2023 | 494 | 23
1733.06/1733.51 c 1694s | 25 | 6104269 | 5079298 | 5504 2025 | 494 | 23
1735.06/1735.53 c 1696s | 25 | 6111412 | 5085698 | 5504 2027 | 494 | 23
1737.06/1737.55 c 1698s | 25 | 6119653 | 5091998 | 5504 2029 | 494 | 23
1739.06/1739.55 c 1700s | 25 | 6126777 | 5097398 | 5504 2031 | 494 | 23
1741.06/1741.56 c 1702s | 25 | 6134510 | 5103698 | 5504 2033 | 494 | 23
1743.06/1743.58 c 1704s | 25 | 6141587 | 5109698 | 5504 2035 | 494 | 23
1745.16/1745.60 c 1706s | 25 | 6149364 | 5116298 | 5504 2037 | 494 | 23
1747.15/1747.60 c 1708s | 25 | 6155840 | 5121798 | 5504 2039 | 494 | 23
1749.15/1749.60 c 1710s | 25 | 6163926 | 5128798 | 5504 2041 | 494 | 23
1751.15/1751.60 c 1712s | 25 | 6171007 | 5134598 | 5504 2043 | 494 | 23
1753.15/1753.62 c 1714s | 25 | 6179220 | 5141198 | 5504 2045 | 494 | 23
1755.16/1755.64 c 1716s | 25 | 6185763 | 5146898 | 5504 2047 | 494 | 23
1757.15/1757.65 c 1718s | 25 | 6193362 | 5153098 | 5504 2049 | 494 | 23
1759.15/1759.66 c 1720s | 25 | 6201788 | 5159998 | 5504 2051 | 494 | 23
1761.15/1761.67 c 1722s | 25 | 6210602 | 5167298 | 5504 2054 | 494 | 23
1763.25/1763.70 c 1724s | 25 | 6218279 | 5173798 | 5504 2056 | 494 | 23
1765.25/1765.79 c 1726s | 25 | 6225722 | 5180498 | 5504 2058 | 494 | 23
1767.25/1767.79 c 1728s | 25 | 6233866 | 5186998 | 5504 2060 | 494 | 23
1769.34/1769.80 c 1730s | 25 | 6242279 | 5193598 | 5504 2062 | 494 | 23
1771.34/1771.83 c 1732s | 25 | 6250857 | 5199998 | 5504 2064 | 494 | 23
1773.34/1773.87 c 1734s | 25 | 6258971 | 5206498 | 5504 2067 | 494 | 23
1775.34/1775.89 c 1737s | 25 | 6267665 | 5213498 | 5504 2069 | 494 | 23
1777.44/1777.90 c 1739s | 25 | 6274514 | 5219398 | 5504 2071 | 494 | 23
1779.45/1779.92 c 1741s | 25 | 6281343 | 5225298 | 5504 2073 | 494 | 23
1781.44/1781.94 c 1743s | 25 | 6289019 | 5231698 | 5504 2075 | 494 | 23
1783.44/1783.96 c 1745s | 25 | 6296361 | 5237898 | 5504 2077 | 494 | 23
1785.44/1785.97 c 1747s | 25 | 6304183 | 5244598 | 5504 2079 | 494 | 23
1787.43/1787.97 c 1749s | 25 | 6311313 | 5250898 | 5504 2081 | 494 | 23
1789.43/1789.98 c 1751s | 25 | 6318135 | 5256898 | 5504 2083 | 494 | 23
1791.44/1791.98 c 1753s | 25 | 6324308 | 5262198 | 5504 2085 | 494 | 23
1793.53/1794.01 c 1755s | 25 | 6331606 | 5268798 | 5504 2087 | 494 | 23
1795.53/1796.02 c 1757s | 25 | 6338825 | 5274798 | 5504 2089 | 494 | 23
1797.53/1798.04 c 1759s | 25 | 6345227 | 5280298 | 5504 2091 | 494 | 23
1799.53/1800.08 c 1761s | 25 | 6352674 | 5286598 | 5504 2093 | 494 | 23
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-4100953-1466218993/watcher-4100953-1466218993 -o /tmp/evaluation-result-4100953-1466218993/solver-4100953-1466218993 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100953-1466218993.opb
pid=17041
running on 4 cores: 0,2,4,6
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.21 2.28 2.25 3/179 17044
/proc/meminfo: memFree=29466980/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=600508 CPUtime=0 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 2217 0 0 0 0 0 0 0 20 0 4 0 23945896 614920192 2577 33554432000 4194304 16246674 140736612807472 140736612806896 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 150639 2585 441 2943 0 147533 0
[pid=17044/tid=17045] ppid=17041 vsize=616892 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 631697408 2645 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=620988 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 635891712 2661 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=625084 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23945896 640086016 2677 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100168 s]
/proc/loadavg: 2.21 2.28 2.25 3/179 17044
/proc/meminfo: memFree=29466980/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 21521 0 0 0 6 2 0 0 20 0 4 0 23945896 1247350784 21869 33554432000 4194304 16246674 140736612807472 140736612806896 5582293 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 304529 21871 752 2943 0 301423 0
[pid=17044/tid=17045] ppid=17041 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1247350784 21872 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1247350784 21873 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23945896 1247350784 21874 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116
[startup+0.200503 s]
/proc/loadavg: 2.21 2.28 2.25 3/179 17044
/proc/meminfo: memFree=29466980/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 34921 0 0 0 14 5 0 0 20 0 4 0 23945896 1247350784 35269 33554432000 4194304 16246674 140736612807472 140736612806896 6021007 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 304529 35274 752 2943 0 301423 0
[pid=17044/tid=17045] ppid=17041 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1247350784 35278 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1247350784 35287 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23945896 1247350784 35294 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300464 s]
/proc/loadavg: 2.21 2.28 2.25 3/179 17044
/proc/meminfo: memFree=29466980/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 48844 0 0 0 23 6 0 0 20 0 4 0 23945896 1247350784 49193 33554432000 4194304 16246674 140736612807472 140736612806896 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 304529 49204 752 2943 0 301423 0
[pid=17044/tid=17045] ppid=17041 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1247350784 49208 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1247350784 49211 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23945896 1247350784 49216 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700396 s]
/proc/loadavg: 2.21 2.28 2.25 3/179 17044
/proc/meminfo: memFree=29466980/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 118009 0 0 0 53 16 0 0 20 0 4 0 23945896 1247350784 118357 33554432000 4194304 16246674 140736612807472 140736612806896 5589685 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 304529 118373 791 2943 0 301423 0
[pid=17044/tid=17045] ppid=17041 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1247350784 118384 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1247350784 118395 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23945896 1247350784 118405 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50039 s]
/proc/loadavg: 2.21 2.28 2.25 3/183 17048
/proc/meminfo: memFree=28923128/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1222212 CPUtime=1.48 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 147565 0 0 0 130 18 0 0 20 0 4 0 23945896 1251545088 147891 33554432000 4194304 16246674 140736612807472 140736612806784 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 305553 147895 846 2943 0 302447 0
[pid=17044/tid=17045] ppid=17041 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1251545088 147899 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1251545088 147904 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1251545088 147908 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1222212
[startup+3.10041 s]
/proc/loadavg: 2.21 2.28 2.25 3/183 17048
/proc/meminfo: memFree=28444984/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1301060 CPUtime=3.09 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 266118 0 0 0 273 36 0 0 20 0 4 0 23945896 1332285440 266443 33554432000 4194304 16246674 140736612807472 140736612789376 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 325265 266443 846 2943 0 322159 0
[pid=17044/tid=17045] ppid=17041 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1332285440 266443 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1332285440 266443 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1332285440 266443 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1301060
[startup+6.3004 s]
/proc/loadavg: 2.19 2.28 2.25 3/183 17048
/proc/meminfo: memFree=28392532/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1309252 CPUtime=6.29 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 268405 0 0 0 592 37 0 0 20 0 4 0 23945896 1340674048 268730 33554432000 4194304 16246674 140736612807472 140736612789376 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 327313 268730 849 2943 0 324207 0
[pid=17044/tid=17045] ppid=17041 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1340674048 268730 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1340674048 268730 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1340674048 268730 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252
[startup+12.7004 s]
/proc/loadavg: 2.18 2.27 2.25 3/183 17048
/proc/meminfo: memFree=28383240/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1318468 CPUtime=12.69 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 270709 0 0 0 1232 37 0 0 20 0 4 0 23945896 1350111232 271034 33554432000 4194304 16246674 140736612807472 140736612789376 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 329617 271034 849 2943 0 326511 0
[pid=17044/tid=17045] ppid=17041 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1350111232 271034 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1350111232 271034 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1350111232 271034 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1318468
[startup+25.5005 s]
/proc/loadavg: 2.29 2.29 2.26 3/183 17048
/proc/meminfo: memFree=28383784/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1318468 CPUtime=25.49 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 270709 0 0 0 2512 37 0 0 20 0 4 0 23945896 1350111232 271034 33554432000 4194304 16246674 140736612807472 140736612789376 13191988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 329617 271034 849 2943 0 326511 0
[pid=17044/tid=17045] ppid=17041 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1350111232 271034 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1350111232 271034 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1350111232 271034 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1318468
[startup+51.1005 s]
/proc/loadavg: 2.40 2.31 2.27 3/183 17048
/proc/meminfo: memFree=28378896/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1323588 CPUtime=51.08 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 271991 0 0 0 5071 37 0 0 20 0 4 0 23945896 1355354112 272316 33554432000 4194304 16246674 140736612807472 140736612789376 5677768 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 330897 272316 850 2943 0 327791 0
[pid=17044/tid=17045] ppid=17041 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1355354112 272316 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1355354112 272316 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1355354112 272316 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1323588
[startup+102.3 s]
/proc/loadavg: 2.22 2.28 2.26 3/182 17049
/proc/meminfo: memFree=28373076/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1328708 CPUtime=102.28 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 273271 0 0 0 10190 38 0 0 20 0 4 0 23945896 1360596992 273596 33554432000 4194304 16246674 140736612807472 140736612789376 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 332177 273596 850 2943 0 329071 0
[pid=17044/tid=17045] ppid=17041 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1360596992 273596 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1360596992 273596 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1360596992 273596 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1328708
################
# More data... #
################
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1362694144 274365 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1330756
[startup+1362.3 s]
/proc/loadavg: 2.12 2.22 2.25 3/183 17082
/proc/meminfo: memFree=28350344/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1330756 CPUtime=1362.03 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 273894 0 0 0 136150 53 0 0 20 0 4 0 23945896 1362694144 274365 33554432000 4194304 16246674 140736612807472 140736612789376 12415751 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 332689 274365 851 2943 0 329583 0
[pid=17044/tid=17045] ppid=17041 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1362694144 274365 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1362694144 274365 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1362694144 274365 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 1330756
[startup+1422.3 s]
/proc/loadavg: 2.21 2.22 2.25 3/183 17083
/proc/meminfo: memFree=28350008/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1330756 CPUtime=1422.01 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 273929 0 0 0 142146 55 0 0 20 0 4 0 23945896 1362694144 274365 33554432000 4194304 16246674 140736612807472 140736612789376 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 332689 274365 851 2943 0 329583 0
[pid=17044/tid=17045] ppid=17041 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1362694144 274365 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1362694144 274365 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1362694144 274365 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1330756
[startup+1482.3 s]
/proc/loadavg: 2.16 2.21 2.24 3/183 17084
/proc/meminfo: memFree=28350040/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1330756 CPUtime=1481.97 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 273967 0 0 0 148142 55 0 0 20 0 4 0 23945896 1362694144 274365 33554432000 4194304 16246674 140736612807472 140736612789376 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 332689 274365 851 2943 0 329583 0
[pid=17044/tid=17045] ppid=17041 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1362694144 274365 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1362694144 274365 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1362694144 274365 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1330756
[startup+1542.31 s]
/proc/loadavg: 2.13 2.20 2.23 3/183 17085
/proc/meminfo: memFree=28344144/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1335876 CPUtime=1541.96 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 275287 0 0 0 154140 56 0 0 20 0 4 0 23945896 1367937024 275645 33554432000 4194304 16246674 140736612807472 140736612789376 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 333969 275645 851 2943 0 330863 0
[pid=17044/tid=17045] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275645 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275645 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275645 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1335876
[startup+1602.3 s]
/proc/loadavg: 2.27 2.22 2.24 3/183 17135
/proc/meminfo: memFree=28393260/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1335876 CPUtime=1601.93 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 275328 0 0 0 160136 57 0 0 20 0 4 0 23945896 1367937024 275645 33554432000 4194304 16246674 140736612807472 140736612789376 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 333969 275645 851 2943 0 330863 0
[pid=17044/tid=17045] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275645 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275645 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275645 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1335876
[startup+1662.3 s]
/proc/loadavg: 2.30 2.23 2.24 3/184 17140
/proc/meminfo: memFree=28393064/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1335876 CPUtime=1661.89 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 275371 0 0 0 166131 58 0 0 20 0 4 0 23945896 1367937024 275645 33554432000 4194304 16246674 140736612807472 140736612789376 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 333969 275645 851 2943 0 330863 0
[pid=17044/tid=17045] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275645 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275645 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275645 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1335876
[startup+1722.3 s]
/proc/loadavg: 2.23 2.21 2.23 4/183 17141
/proc/meminfo: memFree=28393104/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1335876 CPUtime=1721.86 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 275414 0 0 0 172127 59 0 0 20 0 4 0 23945896 1367937024 275645 33554432000 4194304 16246674 140736612807472 140736612805312 5823655 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17044/statm: 333969 275645 851 2943 0 330863 0
[pid=17044/tid=17045] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275645 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275645 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275645 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1335876
[startup+1782.3 s]
/proc/loadavg: 2.28 2.23 2.23 3/183 17142
/proc/meminfo: memFree=28367092/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1335876 CPUtime=1781.84 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 275454 0 0 0 178124 60 0 0 20 0 4 0 23945896 1367937024 275647 33554432000 4194304 16246674 140736612807472 140736612790464 5600241 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17044/statm: 333969 275647 851 2943 0 330863 0
[pid=17044/tid=17045] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275647 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275647 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275647 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1335876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.20 2.22 2.23 3/183 17142
/proc/meminfo: memFree=28367184/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1335876 CPUtime=1800.03 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 275464 0 0 0 179943 60 0 0 20 0 4 0 23945896 1367937024 275647 33554432000 4194304 16246674 140736612807472 140736612790464 5711688 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17044/statm: 333969 275647 851 2943 0 330863 0
[pid=17044/tid=17045] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275647 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275647 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275647 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1335876
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 17044 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.20 2.22 2.23 3/183 17142
/proc/meminfo: memFree=28367184/32872528 swapFree=1191052/1305516
[pid=17044] ppid=17041 vsize=1335876 CPUtime=1800.03 cores=0,2,4,6
/proc/17044/stat : 17044 (toysat) R 17041 17044 14522 0 -1 4202496 275464 0 0 0 179943 60 0 0 20 0 4 0 23945896 1367937024 275647 33554432000 4194304 16246674 140736612807472 140736612790464 5711688 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17044/statm: 333969 275647 851 2943 0 330863 0
[pid=17044/tid=17045] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17045/stat : 17045 (toysat) S 17041 17044 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275647 33554432000 4194304 16246674 140736612807472 139657250581744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17044/tid=17046] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17046/stat : 17046 (toysat) S 17041 17044 14522 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275647 33554432000 4194304 16246674 140736612807472 139657169841392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17044/tid=17047] ppid=17041 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17047/stat : 17047 (toysat) S 17041 17044 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23945896 1367937024 275647 33554432000 4194304 16246674 140736612807472 139657159367856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1335876
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.44
CPU system time (s): 0.608907
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 1335876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.608907
maximum resident set size= 1102588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275464
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= 413
involuntary context switches= 1906
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42033 second user time and 7.10192 second system time
The end